{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:YOOP3GCIHVKMED35YJF3HVKPYX","short_pith_number":"pith:YOOP3GCI","canonical_record":{"source":{"id":"2408.13027","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CC","submitted_at":"2024-08-23T12:30:01Z","cross_cats_sorted":[],"title_canon_sha256":"fd7b211c583db78864b526edbbe28c3de40ea2d1f6d8a7a1c6f4abdc34d0466e","abstract_canon_sha256":"d3691d21b243436165ca564374dd2a8d19b84ed02053f11073401935c22bdb71"},"schema_version":"1.0"},"canonical_sha256":"c39cfd98483d54c20f7dc24bb3d54fc5faa4a47f3aff298289e29132b235527d","source":{"kind":"arxiv","id":"2408.13027","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.13027","created_at":"2026-07-05T09:23:10Z"},{"alias_kind":"arxiv_version","alias_value":"2408.13027v3","created_at":"2026-07-05T09:23:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.13027","created_at":"2026-07-05T09:23:10Z"},{"alias_kind":"pith_short_12","alias_value":"YOOP3GCIHVKM","created_at":"2026-07-05T09:23:10Z"},{"alias_kind":"pith_short_16","alias_value":"YOOP3GCIHVKMED35","created_at":"2026-07-05T09:23:10Z"},{"alias_kind":"pith_short_8","alias_value":"YOOP3GCI","created_at":"2026-07-05T09:23:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:YOOP3GCIHVKMED35YJF3HVKPYX","target":"record","payload":{"canonical_record":{"source":{"id":"2408.13027","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CC","submitted_at":"2024-08-23T12:30:01Z","cross_cats_sorted":[],"title_canon_sha256":"fd7b211c583db78864b526edbbe28c3de40ea2d1f6d8a7a1c6f4abdc34d0466e","abstract_canon_sha256":"d3691d21b243436165ca564374dd2a8d19b84ed02053f11073401935c22bdb71"},"schema_version":"1.0"},"canonical_sha256":"c39cfd98483d54c20f7dc24bb3d54fc5faa4a47f3aff298289e29132b235527d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:23:10.808088Z","signature_b64":"+f7RPYiVy8JRvyvqCAexynKpTyeeBM/QSCQIJFpZ36t1Q1TM2fwOF7pVXQqDYfQKRo1qMNbDzzbxVVpzvBB9BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c39cfd98483d54c20f7dc24bb3d54fc5faa4a47f3aff298289e29132b235527d","last_reissued_at":"2026-07-05T09:23:10.807509Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:23:10.807509Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2408.13027","source_version":3,"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-05T09:23:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9RoD5hZ5p/n4ad+s8j7L5V5M6TrNPu6jkxBbliTm8e6FbdRGjPglzvzQzNYI869/TxxfSFCiWjXGH6FnJx9eBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T14:19:37.032220Z"},"content_sha256":"5b6bccddb690efd93f91493851afea30ad558f2a020d59c15b107cc1c45842a0","schema_version":"1.0","event_id":"sha256:5b6bccddb690efd93f91493851afea30ad558f2a020d59c15b107cc1c45842a0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:YOOP3GCIHVKMED35YJF3HVKPYX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A parametric version of the Hilbert Nullstellensatz","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"James Worrell, Klara Nosan, Mahsa Shirmohammadi, Nikhil Balaji, Rida Ait El Manssour","submitted_at":"2024-08-23T12:30:01Z","abstract_excerpt":"Hilbert's Nullstellensatz is a fundamental result in algebraic geometry that gives a necessary and sufficient condition for a finite collection of multivariate polynomials to have a common zero in an algebraically closed field. Associated with this result, there is the computational problem HN of determining whether a system of polynomials with coefficients in the field of rational numbers has a common zero over the field of algebraic numbers.\n  In an influential paper, Koiran showed that HN can be determined in the polynomial hierarchy assuming the Generalised Riemann Hypothesis (GRH). More p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.13027","kind":"arxiv","version":3},"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/2408.13027/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-05T09:23:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YO9thQE5jOq0mxez+My4bWgq48nQ8Hx1EGvZU4EzMPWXF+Gr7OTjn7lX3o1CeKFvxyoYqzL9KrZ+vZLLgZt5Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T14:19:37.032879Z"},"content_sha256":"78285b66987d9c728978704b1939cabb7773586f4f0906f3d26c20bcbb085e4b","schema_version":"1.0","event_id":"sha256:78285b66987d9c728978704b1939cabb7773586f4f0906f3d26c20bcbb085e4b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YOOP3GCIHVKMED35YJF3HVKPYX/bundle.json","state_url":"https://pith.science/pith/YOOP3GCIHVKMED35YJF3HVKPYX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YOOP3GCIHVKMED35YJF3HVKPYX/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-20T14:19:37Z","links":{"resolver":"https://pith.science/pith/YOOP3GCIHVKMED35YJF3HVKPYX","bundle":"https://pith.science/pith/YOOP3GCIHVKMED35YJF3HVKPYX/bundle.json","state":"https://pith.science/pith/YOOP3GCIHVKMED35YJF3HVKPYX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YOOP3GCIHVKMED35YJF3HVKPYX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:YOOP3GCIHVKMED35YJF3HVKPYX","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":"d3691d21b243436165ca564374dd2a8d19b84ed02053f11073401935c22bdb71","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CC","submitted_at":"2024-08-23T12:30:01Z","title_canon_sha256":"fd7b211c583db78864b526edbbe28c3de40ea2d1f6d8a7a1c6f4abdc34d0466e"},"schema_version":"1.0","source":{"id":"2408.13027","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.13027","created_at":"2026-07-05T09:23:10Z"},{"alias_kind":"arxiv_version","alias_value":"2408.13027v3","created_at":"2026-07-05T09:23:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.13027","created_at":"2026-07-05T09:23:10Z"},{"alias_kind":"pith_short_12","alias_value":"YOOP3GCIHVKM","created_at":"2026-07-05T09:23:10Z"},{"alias_kind":"pith_short_16","alias_value":"YOOP3GCIHVKMED35","created_at":"2026-07-05T09:23:10Z"},{"alias_kind":"pith_short_8","alias_value":"YOOP3GCI","created_at":"2026-07-05T09:23:10Z"}],"graph_snapshots":[{"event_id":"sha256:78285b66987d9c728978704b1939cabb7773586f4f0906f3d26c20bcbb085e4b","target":"graph","created_at":"2026-07-05T09:23:10Z","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/2408.13027/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Hilbert's Nullstellensatz is a fundamental result in algebraic geometry that gives a necessary and sufficient condition for a finite collection of multivariate polynomials to have a common zero in an algebraically closed field. Associated with this result, there is the computational problem HN of determining whether a system of polynomials with coefficients in the field of rational numbers has a common zero over the field of algebraic numbers.\n  In an influential paper, Koiran showed that HN can be determined in the polynomial hierarchy assuming the Generalised Riemann Hypothesis (GRH). More p","authors_text":"James Worrell, Klara Nosan, Mahsa Shirmohammadi, Nikhil Balaji, Rida Ait El Manssour","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CC","submitted_at":"2024-08-23T12:30:01Z","title":"A parametric version of the Hilbert Nullstellensatz"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.13027","kind":"arxiv","version":3},"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:5b6bccddb690efd93f91493851afea30ad558f2a020d59c15b107cc1c45842a0","target":"record","created_at":"2026-07-05T09:23:10Z","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":"d3691d21b243436165ca564374dd2a8d19b84ed02053f11073401935c22bdb71","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CC","submitted_at":"2024-08-23T12:30:01Z","title_canon_sha256":"fd7b211c583db78864b526edbbe28c3de40ea2d1f6d8a7a1c6f4abdc34d0466e"},"schema_version":"1.0","source":{"id":"2408.13027","kind":"arxiv","version":3}},"canonical_sha256":"c39cfd98483d54c20f7dc24bb3d54fc5faa4a47f3aff298289e29132b235527d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c39cfd98483d54c20f7dc24bb3d54fc5faa4a47f3aff298289e29132b235527d","first_computed_at":"2026-07-05T09:23:10.807509Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:23:10.807509Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+f7RPYiVy8JRvyvqCAexynKpTyeeBM/QSCQIJFpZ36t1Q1TM2fwOF7pVXQqDYfQKRo1qMNbDzzbxVVpzvBB9BQ==","signature_status":"signed_v1","signed_at":"2026-07-05T09:23:10.808088Z","signed_message":"canonical_sha256_bytes"},"source_id":"2408.13027","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5b6bccddb690efd93f91493851afea30ad558f2a020d59c15b107cc1c45842a0","sha256:78285b66987d9c728978704b1939cabb7773586f4f0906f3d26c20bcbb085e4b"],"state_sha256":"809505ed050831657d04c815bac52893ee8c75e5e0b006c4a951d942cee2fc28"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LlRKkYZq3QTukAElb7Dtsc7MXhVt+MNhqxQhAJ2gyvkVCK+cs7yJVCC1y3FUgFsEya/kOGUDTFI153BY8IWHDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T14:19:37.037204Z","bundle_sha256":"8721ef93f7b14b6768cbc5c9ceef618c10d55862b2094b4fbc861812033973f5"}}