{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:35GV6ROHFLWSF22Y5AMVYX273U","short_pith_number":"pith:35GV6ROH","schema_version":"1.0","canonical_sha256":"df4d5f45c72aed22eb58e8195c5f5fdd085615894b423cca6bf1bcc767d9c548","source":{"kind":"arxiv","id":"2211.13139","version":1},"attestation_state":"computed","paper":{"title":"Extension of a Method of Gilmer","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Luke Pebody","submitted_at":"2022-11-23T17:12:29Z","abstract_excerpt":"It is a well-known conjecture, sometimes attributed to Frankl, that for any family of sets which is closed under the union operation, there is some element which is contained in at least half of the sets.\n  Gilmer was the first to prove a constant bound, showing that there is some element contained in at least 1\\% of the sets. They state in their paper that the best possible bound achievable by the same method is $\\frac{3-\\sqrt5}2\\approx 38.1\\%$.\n  This note achieves that bound by finding the optimum value, given a binary variable $X$ potentially depending on some other variable $S$ with a giv"},"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":"2211.13139","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CO","submitted_at":"2022-11-23T17:12:29Z","cross_cats_sorted":[],"title_canon_sha256":"98fb4c5b0071ceb1aef04f003589c38324bafed067b7e9b7c8839f64b367aa43","abstract_canon_sha256":"10f2d5f4b8572566ba5861202fda3a9bba2c77f7f0e7e54341a5ab785aa455fb"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:18:58.963955Z","signature_b64":"2WQMCNmw19TeSIZC+nXjjtHrfZXs4qurlOsyHt3N56LRw0TauDzIb7sjGJncRCNfTundCUtD4oyn440bP9O3CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"df4d5f45c72aed22eb58e8195c5f5fdd085615894b423cca6bf1bcc767d9c548","last_reissued_at":"2026-07-05T05:18:58.963592Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:18:58.963592Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Extension of a Method of Gilmer","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Luke Pebody","submitted_at":"2022-11-23T17:12:29Z","abstract_excerpt":"It is a well-known conjecture, sometimes attributed to Frankl, that for any family of sets which is closed under the union operation, there is some element which is contained in at least half of the sets.\n  Gilmer was the first to prove a constant bound, showing that there is some element contained in at least 1\\% of the sets. They state in their paper that the best possible bound achievable by the same method is $\\frac{3-\\sqrt5}2\\approx 38.1\\%$.\n  This note achieves that bound by finding the optimum value, given a binary variable $X$ potentially depending on some other variable $S$ with a giv"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2211.13139","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/2211.13139/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":"2211.13139","created_at":"2026-07-05T05:18:58.963663+00:00"},{"alias_kind":"arxiv_version","alias_value":"2211.13139v1","created_at":"2026-07-05T05:18:58.963663+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2211.13139","created_at":"2026-07-05T05:18:58.963663+00:00"},{"alias_kind":"pith_short_12","alias_value":"35GV6ROHFLWS","created_at":"2026-07-05T05:18:58.963663+00:00"},{"alias_kind":"pith_short_16","alias_value":"35GV6ROHFLWSF22Y","created_at":"2026-07-05T05:18:58.963663+00:00"},{"alias_kind":"pith_short_8","alias_value":"35GV6ROH","created_at":"2026-07-05T05:18:58.963663+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2411.03451","citing_title":"Redundancy Is All You Need (for CSP Sparsification)","ref_index":29,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/35GV6ROHFLWSF22Y5AMVYX273U","json":"https://pith.science/pith/35GV6ROHFLWSF22Y5AMVYX273U.json","graph_json":"https://pith.science/api/pith-number/35GV6ROHFLWSF22Y5AMVYX273U/graph.json","events_json":"https://pith.science/api/pith-number/35GV6ROHFLWSF22Y5AMVYX273U/events.json","paper":"https://pith.science/paper/35GV6ROH"},"agent_actions":{"view_html":"https://pith.science/pith/35GV6ROHFLWSF22Y5AMVYX273U","download_json":"https://pith.science/pith/35GV6ROHFLWSF22Y5AMVYX273U.json","view_paper":"https://pith.science/paper/35GV6ROH","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2211.13139&json=true","fetch_graph":"https://pith.science/api/pith-number/35GV6ROHFLWSF22Y5AMVYX273U/graph.json","fetch_events":"https://pith.science/api/pith-number/35GV6ROHFLWSF22Y5AMVYX273U/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/35GV6ROHFLWSF22Y5AMVYX273U/action/timestamp_anchor","attest_storage":"https://pith.science/pith/35GV6ROHFLWSF22Y5AMVYX273U/action/storage_attestation","attest_author":"https://pith.science/pith/35GV6ROHFLWSF22Y5AMVYX273U/action/author_attestation","sign_citation":"https://pith.science/pith/35GV6ROHFLWSF22Y5AMVYX273U/action/citation_signature","submit_replication":"https://pith.science/pith/35GV6ROHFLWSF22Y5AMVYX273U/action/replication_record"}},"created_at":"2026-07-05T05:18:58.963663+00:00","updated_at":"2026-07-05T05:18:58.963663+00:00"}