{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:4TODPOPSYVTWHNP6G2IXY6IK5C","short_pith_number":"pith:4TODPOPS","canonical_record":{"source":{"id":"1402.4422","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-02-18T18:01:15Z","cross_cats_sorted":["cs.CC","math.NT"],"title_canon_sha256":"fe2e28137713ed18b071e30d7b4be0c64f764175cce373e0c0f170465ccf9015","abstract_canon_sha256":"2d1a77bcc4eb8009160c939dbbd4aa34efc02760023d42bbe98501aa78c75681"},"schema_version":"1.0"},"canonical_sha256":"e4dc37b9f2c56763b5fe36917c790ae8b4c5c99f22343fe62c669e6a4915f5b5","source":{"kind":"arxiv","id":"1402.4422","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.4422","created_at":"2026-05-18T02:58:43Z"},{"alias_kind":"arxiv_version","alias_value":"1402.4422v1","created_at":"2026-05-18T02:58:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.4422","created_at":"2026-05-18T02:58:43Z"},{"alias_kind":"pith_short_12","alias_value":"4TODPOPSYVTW","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"4TODPOPSYVTWHNP6","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"4TODPOPS","created_at":"2026-05-18T12:28:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:4TODPOPSYVTWHNP6G2IXY6IK5C","target":"record","payload":{"canonical_record":{"source":{"id":"1402.4422","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-02-18T18:01:15Z","cross_cats_sorted":["cs.CC","math.NT"],"title_canon_sha256":"fe2e28137713ed18b071e30d7b4be0c64f764175cce373e0c0f170465ccf9015","abstract_canon_sha256":"2d1a77bcc4eb8009160c939dbbd4aa34efc02760023d42bbe98501aa78c75681"},"schema_version":"1.0"},"canonical_sha256":"e4dc37b9f2c56763b5fe36917c790ae8b4c5c99f22343fe62c669e6a4915f5b5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:58:43.953864Z","signature_b64":"F2sc0VCjwkEQY3DXFWLr2QefuF9KAxeBPLoyMs9oaIsMEyYClxyPllDnwrfoXvIHIAKb9MgQ0JypFvPeVN3ADA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e4dc37b9f2c56763b5fe36917c790ae8b4c5c99f22343fe62c669e6a4915f5b5","last_reissued_at":"2026-05-18T02:58:43.953089Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:58:43.953089Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1402.4422","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-18T02:58:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rTZMFN+c2UZ5MxIq3uBXQ7x+l10j4nXlatUQqKMXC0npT+HzJaTCGwUCUfX/nSdmYpeZ6uHM7psrqojJ7NjBAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T15:20:24.509694Z"},"content_sha256":"548f2236da8592573adf62ad1cc7bf3736b97347a9586ffe849a090c335e1054","schema_version":"1.0","event_id":"sha256:548f2236da8592573adf62ad1cc7bf3736b97347a9586ffe849a090c335e1054"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:4TODPOPSYVTWHNP6G2IXY6IK5C","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Combinatorial Nullstellensatz modulo prime powers and the Parity Argument","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","math.NT"],"primary_cat":"math.CO","authors_text":"L\\'aszl\\'o Varga","submitted_at":"2014-02-18T18:01:15Z","abstract_excerpt":"We present new generalizations of Olson's theorem and of a consequence of Alon's Combinatorial Nullstellensatz. These enable us to extend some of their combinatorial applications with conditions modulo primes to conditions modulo prime powers. We analyze computational search problems corresponding to these kinds of combinatorial questions and we prove that the problem of finding degree-constrained subgraphs modulo $2^d$ such as $2^d$-divisible subgraphs and the search problem corresponding to the Combinatorial Nullstellensatz over $\\mathbb{F}_2$ belong to the complexity class Polynomial Parity"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.4422","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-18T02:58:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ycedSnVHW5/hiH/yHV2ZdaJfQfKVq9A2DUCZQuzlU8xsJ1QdQGSk3cRCoCZ0/UQZ6rGU53Qvte/tfdB0Y+ZVBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T15:20:24.510040Z"},"content_sha256":"25bd9c83490462ba826034747942b12fe26dcb216ac1d5b8312421c5db4b2109","schema_version":"1.0","event_id":"sha256:25bd9c83490462ba826034747942b12fe26dcb216ac1d5b8312421c5db4b2109"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4TODPOPSYVTWHNP6G2IXY6IK5C/bundle.json","state_url":"https://pith.science/pith/4TODPOPSYVTWHNP6G2IXY6IK5C/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4TODPOPSYVTWHNP6G2IXY6IK5C/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-25T15:20:24Z","links":{"resolver":"https://pith.science/pith/4TODPOPSYVTWHNP6G2IXY6IK5C","bundle":"https://pith.science/pith/4TODPOPSYVTWHNP6G2IXY6IK5C/bundle.json","state":"https://pith.science/pith/4TODPOPSYVTWHNP6G2IXY6IK5C/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4TODPOPSYVTWHNP6G2IXY6IK5C/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:4TODPOPSYVTWHNP6G2IXY6IK5C","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":"2d1a77bcc4eb8009160c939dbbd4aa34efc02760023d42bbe98501aa78c75681","cross_cats_sorted":["cs.CC","math.NT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-02-18T18:01:15Z","title_canon_sha256":"fe2e28137713ed18b071e30d7b4be0c64f764175cce373e0c0f170465ccf9015"},"schema_version":"1.0","source":{"id":"1402.4422","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.4422","created_at":"2026-05-18T02:58:43Z"},{"alias_kind":"arxiv_version","alias_value":"1402.4422v1","created_at":"2026-05-18T02:58:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.4422","created_at":"2026-05-18T02:58:43Z"},{"alias_kind":"pith_short_12","alias_value":"4TODPOPSYVTW","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"4TODPOPSYVTWHNP6","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"4TODPOPS","created_at":"2026-05-18T12:28:14Z"}],"graph_snapshots":[{"event_id":"sha256:25bd9c83490462ba826034747942b12fe26dcb216ac1d5b8312421c5db4b2109","target":"graph","created_at":"2026-05-18T02:58:43Z","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":"We present new generalizations of Olson's theorem and of a consequence of Alon's Combinatorial Nullstellensatz. These enable us to extend some of their combinatorial applications with conditions modulo primes to conditions modulo prime powers. We analyze computational search problems corresponding to these kinds of combinatorial questions and we prove that the problem of finding degree-constrained subgraphs modulo $2^d$ such as $2^d$-divisible subgraphs and the search problem corresponding to the Combinatorial Nullstellensatz over $\\mathbb{F}_2$ belong to the complexity class Polynomial Parity","authors_text":"L\\'aszl\\'o Varga","cross_cats":["cs.CC","math.NT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-02-18T18:01:15Z","title":"Combinatorial Nullstellensatz modulo prime powers and the Parity Argument"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.4422","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:548f2236da8592573adf62ad1cc7bf3736b97347a9586ffe849a090c335e1054","target":"record","created_at":"2026-05-18T02:58:43Z","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":"2d1a77bcc4eb8009160c939dbbd4aa34efc02760023d42bbe98501aa78c75681","cross_cats_sorted":["cs.CC","math.NT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-02-18T18:01:15Z","title_canon_sha256":"fe2e28137713ed18b071e30d7b4be0c64f764175cce373e0c0f170465ccf9015"},"schema_version":"1.0","source":{"id":"1402.4422","kind":"arxiv","version":1}},"canonical_sha256":"e4dc37b9f2c56763b5fe36917c790ae8b4c5c99f22343fe62c669e6a4915f5b5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e4dc37b9f2c56763b5fe36917c790ae8b4c5c99f22343fe62c669e6a4915f5b5","first_computed_at":"2026-05-18T02:58:43.953089Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:58:43.953089Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"F2sc0VCjwkEQY3DXFWLr2QefuF9KAxeBPLoyMs9oaIsMEyYClxyPllDnwrfoXvIHIAKb9MgQ0JypFvPeVN3ADA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:58:43.953864Z","signed_message":"canonical_sha256_bytes"},"source_id":"1402.4422","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:548f2236da8592573adf62ad1cc7bf3736b97347a9586ffe849a090c335e1054","sha256:25bd9c83490462ba826034747942b12fe26dcb216ac1d5b8312421c5db4b2109"],"state_sha256":"7d282c2a5606dde23ee74b60365cd2fb5c0e255a78977197cd579b8a5f6862aa"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QS2KOOWBpG4fZJnPQgqZGTOHsU+fnaLC+QYtAJkBRkwqeN2hd5KyYqNdZmZaGuqirRCHCoOEWMBNLrB9kZspDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T15:20:24.512029Z","bundle_sha256":"5adffde65062b47bce58ecd56a6c73e88cf9bc0fa5981f5f4a6c7c1bda6159d3"}}