{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:QQWETNYOMPNZIZKWAMK2MUYW3Z","short_pith_number":"pith:QQWETNYO","canonical_record":{"source":{"id":"1607.05031","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2016-07-18T11:58:00Z","cross_cats_sorted":["math.AC"],"title_canon_sha256":"dac155b412d8eee01ea136e79c47e48280d8a2671fb705366ed0bdd68c0c1b7c","abstract_canon_sha256":"5b37b123bb24e2fef26594043cb922a4f1678ebe245e04fd0d2e536d2a4d7422"},"schema_version":"1.0"},"canonical_sha256":"842c49b70e63db9465560315a65316de4e5d53db9807cc54cc0e28338ce9ec86","source":{"kind":"arxiv","id":"1607.05031","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.05031","created_at":"2026-05-18T01:10:56Z"},{"alias_kind":"arxiv_version","alias_value":"1607.05031v1","created_at":"2026-05-18T01:10:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.05031","created_at":"2026-05-18T01:10:56Z"},{"alias_kind":"pith_short_12","alias_value":"QQWETNYOMPNZ","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_16","alias_value":"QQWETNYOMPNZIZKW","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_8","alias_value":"QQWETNYO","created_at":"2026-05-18T12:30:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:QQWETNYOMPNZIZKWAMK2MUYW3Z","target":"record","payload":{"canonical_record":{"source":{"id":"1607.05031","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2016-07-18T11:58:00Z","cross_cats_sorted":["math.AC"],"title_canon_sha256":"dac155b412d8eee01ea136e79c47e48280d8a2671fb705366ed0bdd68c0c1b7c","abstract_canon_sha256":"5b37b123bb24e2fef26594043cb922a4f1678ebe245e04fd0d2e536d2a4d7422"},"schema_version":"1.0"},"canonical_sha256":"842c49b70e63db9465560315a65316de4e5d53db9807cc54cc0e28338ce9ec86","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:10:56.093084Z","signature_b64":"NH937mVB8EFti35MRian/5O6gDy3p2oy3kx3Ks7ANNwP2Brqkmj1LLktTQqSrD6ASp6Hiw5ornwpICWJyTrNCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"842c49b70e63db9465560315a65316de4e5d53db9807cc54cc0e28338ce9ec86","last_reissued_at":"2026-05-18T01:10:56.092629Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:10:56.092629Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1607.05031","source_version":1,"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-05-18T01:10:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mJPpAQ5Ig+TdePjE+gJTNVlLnG3CbOq/XPXn1VvB1Lx0nL+v6EECJi6xnfOqGj6aCdQ5A/bvDJ69a8/WNCzmAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T17:56:30.750755Z"},"content_sha256":"2053618985360d3d31d71faf57275ee6f8b5aec3353c797b11c2818ddecdb9f5","schema_version":"1.0","event_id":"sha256:2053618985360d3d31d71faf57275ee6f8b5aec3353c797b11c2818ddecdb9f5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:QQWETNYOMPNZIZKWAMK2MUYW3Z","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Enumerative Aspects of Nullstellensatz Certificates","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AC"],"primary_cat":"math.CO","authors_text":"Bart Sevenster, Jacob Turner","submitted_at":"2016-07-18T11:58:00Z","abstract_excerpt":"Using polynomial equations to model combinatorial problems has been a popular tool both in computational combinatorics as well as an approach to proving new theorems. In this paper, we look at several combinatorics problems modeled by systems of polynomial equations satisfying special properties. If the equations are infeasible, Hilbert's Nullstellensatz gives a certificate of this fact. These certificates have been studied and exhibit combinatorial meaning. In this paper, we generalize some known results and show that the Nullstellensatz certificate can be viewed as enumerating combinatorial "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.05031","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":""},"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-05-18T01:10:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qFqRtkebomNkhNCbecLDgXKN/ZqiQkKG70iGgEGP6L7lpyls6jtD1SVoVoVM3ul12OVNEMM22bH66dYR3pKdDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T17:56:30.751093Z"},"content_sha256":"3c3c833ae26ee340ff3ccaf351f32b217e1a04a282e6dd3c179e0e33184dc9a2","schema_version":"1.0","event_id":"sha256:3c3c833ae26ee340ff3ccaf351f32b217e1a04a282e6dd3c179e0e33184dc9a2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QQWETNYOMPNZIZKWAMK2MUYW3Z/bundle.json","state_url":"https://pith.science/pith/QQWETNYOMPNZIZKWAMK2MUYW3Z/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QQWETNYOMPNZIZKWAMK2MUYW3Z/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-06-26T17:56:30Z","links":{"resolver":"https://pith.science/pith/QQWETNYOMPNZIZKWAMK2MUYW3Z","bundle":"https://pith.science/pith/QQWETNYOMPNZIZKWAMK2MUYW3Z/bundle.json","state":"https://pith.science/pith/QQWETNYOMPNZIZKWAMK2MUYW3Z/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QQWETNYOMPNZIZKWAMK2MUYW3Z/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:QQWETNYOMPNZIZKWAMK2MUYW3Z","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":"5b37b123bb24e2fef26594043cb922a4f1678ebe245e04fd0d2e536d2a4d7422","cross_cats_sorted":["math.AC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2016-07-18T11:58:00Z","title_canon_sha256":"dac155b412d8eee01ea136e79c47e48280d8a2671fb705366ed0bdd68c0c1b7c"},"schema_version":"1.0","source":{"id":"1607.05031","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.05031","created_at":"2026-05-18T01:10:56Z"},{"alias_kind":"arxiv_version","alias_value":"1607.05031v1","created_at":"2026-05-18T01:10:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.05031","created_at":"2026-05-18T01:10:56Z"},{"alias_kind":"pith_short_12","alias_value":"QQWETNYOMPNZ","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_16","alias_value":"QQWETNYOMPNZIZKW","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_8","alias_value":"QQWETNYO","created_at":"2026-05-18T12:30:41Z"}],"graph_snapshots":[{"event_id":"sha256:3c3c833ae26ee340ff3ccaf351f32b217e1a04a282e6dd3c179e0e33184dc9a2","target":"graph","created_at":"2026-05-18T01:10:56Z","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"},"paper":{"abstract_excerpt":"Using polynomial equations to model combinatorial problems has been a popular tool both in computational combinatorics as well as an approach to proving new theorems. In this paper, we look at several combinatorics problems modeled by systems of polynomial equations satisfying special properties. If the equations are infeasible, Hilbert's Nullstellensatz gives a certificate of this fact. These certificates have been studied and exhibit combinatorial meaning. In this paper, we generalize some known results and show that the Nullstellensatz certificate can be viewed as enumerating combinatorial ","authors_text":"Bart Sevenster, Jacob Turner","cross_cats":["math.AC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2016-07-18T11:58:00Z","title":"Enumerative Aspects of Nullstellensatz Certificates"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.05031","kind":"arxiv","version":1},"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:2053618985360d3d31d71faf57275ee6f8b5aec3353c797b11c2818ddecdb9f5","target":"record","created_at":"2026-05-18T01:10:56Z","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":"5b37b123bb24e2fef26594043cb922a4f1678ebe245e04fd0d2e536d2a4d7422","cross_cats_sorted":["math.AC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2016-07-18T11:58:00Z","title_canon_sha256":"dac155b412d8eee01ea136e79c47e48280d8a2671fb705366ed0bdd68c0c1b7c"},"schema_version":"1.0","source":{"id":"1607.05031","kind":"arxiv","version":1}},"canonical_sha256":"842c49b70e63db9465560315a65316de4e5d53db9807cc54cc0e28338ce9ec86","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"842c49b70e63db9465560315a65316de4e5d53db9807cc54cc0e28338ce9ec86","first_computed_at":"2026-05-18T01:10:56.092629Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:10:56.092629Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NH937mVB8EFti35MRian/5O6gDy3p2oy3kx3Ks7ANNwP2Brqkmj1LLktTQqSrD6ASp6Hiw5ornwpICWJyTrNCg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:10:56.093084Z","signed_message":"canonical_sha256_bytes"},"source_id":"1607.05031","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2053618985360d3d31d71faf57275ee6f8b5aec3353c797b11c2818ddecdb9f5","sha256:3c3c833ae26ee340ff3ccaf351f32b217e1a04a282e6dd3c179e0e33184dc9a2"],"state_sha256":"f9ce46a2f4fc1133d60904d1fc9384857ddc66f50dd60f2f413ab1c9d8c2ebbf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XM+1eyQb4eJDUbIf6H9XCPT4J0PDmDJ2CMyfjl8hq9K7A8qkDFgf+re4mfch4GGmybM/iYEYPByYQ18Ju8fOBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T17:56:30.752952Z","bundle_sha256":"3a765ddcbeb7838b6edc7a1b613bd381ad5f7a8febaf3afd17fd2d14a252a89b"}}