{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:D6ROC2246E4O6N72GPG6PUDVTR","short_pith_number":"pith:D6ROC224","canonical_record":{"source":{"id":"1909.02159","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2019-09-05T00:17:27Z","cross_cats_sorted":["cs.LG","math.CO"],"title_canon_sha256":"2b5e92bc372e2728cd595355389cdab73658f1230bb2f47da9ca69fa35b526e7","abstract_canon_sha256":"48ad2f2e6053ac2ba2ac5ce49d526a6fc133cd1ccc9216fac6d0b994ceacfea0"},"schema_version":"1.0"},"canonical_sha256":"1fa2e16b5cf138ef37fa33cde7d0759c565bd99a9953383bec00685d7485360b","source":{"kind":"arxiv","id":"1909.02159","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1909.02159","created_at":"2026-07-05T01:10:55Z"},{"alias_kind":"arxiv_version","alias_value":"1909.02159v2","created_at":"2026-07-05T01:10:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1909.02159","created_at":"2026-07-05T01:10:55Z"},{"alias_kind":"pith_short_12","alias_value":"D6ROC2246E4O","created_at":"2026-07-05T01:10:55Z"},{"alias_kind":"pith_short_16","alias_value":"D6ROC2246E4O6N72","created_at":"2026-07-05T01:10:55Z"},{"alias_kind":"pith_short_8","alias_value":"D6ROC224","created_at":"2026-07-05T01:10:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:D6ROC2246E4O6N72GPG6PUDVTR","target":"record","payload":{"canonical_record":{"source":{"id":"1909.02159","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2019-09-05T00:17:27Z","cross_cats_sorted":["cs.LG","math.CO"],"title_canon_sha256":"2b5e92bc372e2728cd595355389cdab73658f1230bb2f47da9ca69fa35b526e7","abstract_canon_sha256":"48ad2f2e6053ac2ba2ac5ce49d526a6fc133cd1ccc9216fac6d0b994ceacfea0"},"schema_version":"1.0"},"canonical_sha256":"1fa2e16b5cf138ef37fa33cde7d0759c565bd99a9953383bec00685d7485360b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:10:55.728232Z","signature_b64":"RL4OIUZLddTj12zBKMI3YAv6ek8U/O7EgSEWhmwA8URSW6/CmMRi3XHmwn2/M7BDIpvCW5zXBfZ3MRo+psnqAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1fa2e16b5cf138ef37fa33cde7d0759c565bd99a9953383bec00685d7485360b","last_reissued_at":"2026-07-05T01:10:55.727793Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:10:55.727793Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1909.02159","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T01:10:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"S7aFk609rAg5haKJihmOlRON/E1Z67Dgw/fxykpIzNgnz2Na3RScg+rl4qXcGQk/jVnrNpB3awhECZ2KkFsYDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T17:34:12.522919Z"},"content_sha256":"3a91a42068838ba0af8c60f0b27ee14ce36d16aea30c6489b2f426ddc365d5b6","schema_version":"1.0","event_id":"sha256:3a91a42068838ba0af8c60f0b27ee14ce36d16aea30c6489b2f426ddc365d5b6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:D6ROC2246E4O6N72GPG6PUDVTR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Free resolutions of function classes via order complexes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","math.CO"],"primary_cat":"math.AC","authors_text":"Christopher Eur, Greg Yang, Justin Chen, Mengyuan Zhang","submitted_at":"2019-09-05T00:17:27Z","abstract_excerpt":"Function classes are collections of Boolean functions on a finite set, which are fundamental objects of study in theoretical computer science. We study algebraic properties of ideals associated to function classes previously defined by the third author. We consider the broad family of intersection-closed function classes, and describe cellular free resolutions of their ideals by order complexes of the associated posets. For function classes arising from matroids, polyhedral cell complexes, and more generally interval Cohen-Macaulay posets, we show that the multigraded Betti numbers are pure, a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1909.02159","kind":"arxiv","version":2},"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/1909.02159/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T01:10:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a9GQdrVykgCRAvYs8fdxgvYRxSU4Kb2KNi5nQpa8sDCpzcN5BdVpDEl1M+Kwd7sZhvq7CS2hC4xCN2kRCJZ1Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T17:34:12.523424Z"},"content_sha256":"71f9630f9788317aa46ba137c259f18de69256d42c7f066b2cc0926f295369c5","schema_version":"1.0","event_id":"sha256:71f9630f9788317aa46ba137c259f18de69256d42c7f066b2cc0926f295369c5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/D6ROC2246E4O6N72GPG6PUDVTR/bundle.json","state_url":"https://pith.science/pith/D6ROC2246E4O6N72GPG6PUDVTR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/D6ROC2246E4O6N72GPG6PUDVTR/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-21T17:34:12Z","links":{"resolver":"https://pith.science/pith/D6ROC2246E4O6N72GPG6PUDVTR","bundle":"https://pith.science/pith/D6ROC2246E4O6N72GPG6PUDVTR/bundle.json","state":"https://pith.science/pith/D6ROC2246E4O6N72GPG6PUDVTR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/D6ROC2246E4O6N72GPG6PUDVTR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:D6ROC2246E4O6N72GPG6PUDVTR","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"48ad2f2e6053ac2ba2ac5ce49d526a6fc133cd1ccc9216fac6d0b994ceacfea0","cross_cats_sorted":["cs.LG","math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2019-09-05T00:17:27Z","title_canon_sha256":"2b5e92bc372e2728cd595355389cdab73658f1230bb2f47da9ca69fa35b526e7"},"schema_version":"1.0","source":{"id":"1909.02159","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1909.02159","created_at":"2026-07-05T01:10:55Z"},{"alias_kind":"arxiv_version","alias_value":"1909.02159v2","created_at":"2026-07-05T01:10:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1909.02159","created_at":"2026-07-05T01:10:55Z"},{"alias_kind":"pith_short_12","alias_value":"D6ROC2246E4O","created_at":"2026-07-05T01:10:55Z"},{"alias_kind":"pith_short_16","alias_value":"D6ROC2246E4O6N72","created_at":"2026-07-05T01:10:55Z"},{"alias_kind":"pith_short_8","alias_value":"D6ROC224","created_at":"2026-07-05T01:10:55Z"}],"graph_snapshots":[{"event_id":"sha256:71f9630f9788317aa46ba137c259f18de69256d42c7f066b2cc0926f295369c5","target":"graph","created_at":"2026-07-05T01:10:55Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1909.02159/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Function classes are collections of Boolean functions on a finite set, which are fundamental objects of study in theoretical computer science. We study algebraic properties of ideals associated to function classes previously defined by the third author. We consider the broad family of intersection-closed function classes, and describe cellular free resolutions of their ideals by order complexes of the associated posets. For function classes arising from matroids, polyhedral cell complexes, and more generally interval Cohen-Macaulay posets, we show that the multigraded Betti numbers are pure, a","authors_text":"Christopher Eur, Greg Yang, Justin Chen, Mengyuan Zhang","cross_cats":["cs.LG","math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2019-09-05T00:17:27Z","title":"Free resolutions of function classes via order complexes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1909.02159","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:3a91a42068838ba0af8c60f0b27ee14ce36d16aea30c6489b2f426ddc365d5b6","target":"record","created_at":"2026-07-05T01:10:55Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"48ad2f2e6053ac2ba2ac5ce49d526a6fc133cd1ccc9216fac6d0b994ceacfea0","cross_cats_sorted":["cs.LG","math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2019-09-05T00:17:27Z","title_canon_sha256":"2b5e92bc372e2728cd595355389cdab73658f1230bb2f47da9ca69fa35b526e7"},"schema_version":"1.0","source":{"id":"1909.02159","kind":"arxiv","version":2}},"canonical_sha256":"1fa2e16b5cf138ef37fa33cde7d0759c565bd99a9953383bec00685d7485360b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1fa2e16b5cf138ef37fa33cde7d0759c565bd99a9953383bec00685d7485360b","first_computed_at":"2026-07-05T01:10:55.727793Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:10:55.727793Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RL4OIUZLddTj12zBKMI3YAv6ek8U/O7EgSEWhmwA8URSW6/CmMRi3XHmwn2/M7BDIpvCW5zXBfZ3MRo+psnqAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T01:10:55.728232Z","signed_message":"canonical_sha256_bytes"},"source_id":"1909.02159","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3a91a42068838ba0af8c60f0b27ee14ce36d16aea30c6489b2f426ddc365d5b6","sha256:71f9630f9788317aa46ba137c259f18de69256d42c7f066b2cc0926f295369c5"],"state_sha256":"2a86f0d6c792cd8b3fc23a53bbdd518d1ab5da0deb00f4a77729e1cac34f02af"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0rgeA6CKvfbGcugVz6rA7IzZvRG+qffv0qJ7FiuEmZAljlkcqaVPbSQHG+98Ao4NBNpsl+wp0wI5ERuhOlYyAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-21T17:34:12.528645Z","bundle_sha256":"5537c7752ed14a473a06fc994749a02c95381c978f63c748c75a92f9447aae32"}}