{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:EN45G7WOXUWE2YP2Q56VN5QUOK","short_pith_number":"pith:EN45G7WO","schema_version":"1.0","canonical_sha256":"2379d37ecebd2c4d61fa877d56f61472a93cfb7a5d3d437f9a5a7f4a0571e99f","source":{"kind":"arxiv","id":"2504.13454","version":1},"attestation_state":"computed","paper":{"title":"On the Averaging Problem of Ideal Families Related to Frankl's Conjecture with Formal Proof by Lean 4","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Kenji Kashiwabara, Masahiro Hachimori","submitted_at":"2025-04-18T04:12:43Z","abstract_excerpt":"Frankl's conjecture, also known as the union-closed sets conjecture, can be equivalently expressed in terms of intersection-closed set families by considering the complements of sets. It posits that any family of sets closed under intersections, and containing both the ground set and the empty set, must have a ``rare vertex'' -- a vertex belonging to at most half of the members of the family. The concept of \\emph{average rarity} describes a set family where the average degree of all the elements is at most half of the number of its members. Average rarity is a stronger property that implies th"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2504.13454","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2025-04-18T04:12:43Z","cross_cats_sorted":[],"title_canon_sha256":"f53ca09d711adccb03222f76e8518935d2a6e92ac5daee41d89177d9d5e47a8c","abstract_canon_sha256":"85661dc15073a77dca73f4bf8c773d31f670b89d663a94e2874479eb3cb4a7cb"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:50:55.117859Z","signature_b64":"IQ5dO80xWmdzZcBzUGy5fk0Z10X3MT3xz0XpecoKGcpp4Mxu306eaHudde8+NZmWRyVEPcUjAqXKxiB1/JjOAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2379d37ecebd2c4d61fa877d56f61472a93cfb7a5d3d437f9a5a7f4a0571e99f","last_reissued_at":"2026-07-05T10:50:55.117271Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:50:55.117271Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On the Averaging Problem of Ideal Families Related to Frankl's Conjecture with Formal Proof by Lean 4","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Kenji Kashiwabara, Masahiro Hachimori","submitted_at":"2025-04-18T04:12:43Z","abstract_excerpt":"Frankl's conjecture, also known as the union-closed sets conjecture, can be equivalently expressed in terms of intersection-closed set families by considering the complements of sets. It posits that any family of sets closed under intersections, and containing both the ground set and the empty set, must have a ``rare vertex'' -- a vertex belonging to at most half of the members of the family. The concept of \\emph{average rarity} describes a set family where the average degree of all the elements is at most half of the number of its members. Average rarity is a stronger property that implies th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.13454","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2504.13454/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2504.13454","created_at":"2026-07-05T10:50:55.117334+00:00"},{"alias_kind":"arxiv_version","alias_value":"2504.13454v1","created_at":"2026-07-05T10:50:55.117334+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.13454","created_at":"2026-07-05T10:50:55.117334+00:00"},{"alias_kind":"pith_short_12","alias_value":"EN45G7WOXUWE","created_at":"2026-07-05T10:50:55.117334+00:00"},{"alias_kind":"pith_short_16","alias_value":"EN45G7WOXUWE2YP2","created_at":"2026-07-05T10:50:55.117334+00:00"},{"alias_kind":"pith_short_8","alias_value":"EN45G7WO","created_at":"2026-07-05T10:50:55.117334+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/EN45G7WOXUWE2YP2Q56VN5QUOK","json":"https://pith.science/pith/EN45G7WOXUWE2YP2Q56VN5QUOK.json","graph_json":"https://pith.science/api/pith-number/EN45G7WOXUWE2YP2Q56VN5QUOK/graph.json","events_json":"https://pith.science/api/pith-number/EN45G7WOXUWE2YP2Q56VN5QUOK/events.json","paper":"https://pith.science/paper/EN45G7WO"},"agent_actions":{"view_html":"https://pith.science/pith/EN45G7WOXUWE2YP2Q56VN5QUOK","download_json":"https://pith.science/pith/EN45G7WOXUWE2YP2Q56VN5QUOK.json","view_paper":"https://pith.science/paper/EN45G7WO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2504.13454&json=true","fetch_graph":"https://pith.science/api/pith-number/EN45G7WOXUWE2YP2Q56VN5QUOK/graph.json","fetch_events":"https://pith.science/api/pith-number/EN45G7WOXUWE2YP2Q56VN5QUOK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EN45G7WOXUWE2YP2Q56VN5QUOK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EN45G7WOXUWE2YP2Q56VN5QUOK/action/storage_attestation","attest_author":"https://pith.science/pith/EN45G7WOXUWE2YP2Q56VN5QUOK/action/author_attestation","sign_citation":"https://pith.science/pith/EN45G7WOXUWE2YP2Q56VN5QUOK/action/citation_signature","submit_replication":"https://pith.science/pith/EN45G7WOXUWE2YP2Q56VN5QUOK/action/replication_record"}},"created_at":"2026-07-05T10:50:55.117334+00:00","updated_at":"2026-07-05T10:50:55.117334+00:00"}