{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:C6FKYFHMQRCTAIJAVK43VRRPAO","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":"4b75f4ac54422891ec4192819227004df5a0336f513d1f2501b3cf3b46860f69","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2024-12-27T12:57:06Z","title_canon_sha256":"e9c4e57f42ed0f2e1f8b677a655e725b3f3f251dd052e2e0ee30aaabd28c4cfc"},"schema_version":"1.0","source":{"id":"2412.19623","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.19623","created_at":"2026-07-05T11:24:12Z"},{"alias_kind":"arxiv_version","alias_value":"2412.19623v2","created_at":"2026-07-05T11:24:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.19623","created_at":"2026-07-05T11:24:12Z"},{"alias_kind":"pith_short_12","alias_value":"C6FKYFHMQRCT","created_at":"2026-07-05T11:24:12Z"},{"alias_kind":"pith_short_16","alias_value":"C6FKYFHMQRCTAIJA","created_at":"2026-07-05T11:24:12Z"},{"alias_kind":"pith_short_8","alias_value":"C6FKYFHM","created_at":"2026-07-05T11:24:12Z"}],"graph_snapshots":[{"event_id":"sha256:cd085d72e64850e8140a835955d7b428441271594ed3135ae135b5fc07970aff","target":"graph","created_at":"2026-07-05T11:24:12Z","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/2412.19623/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The theory of Total Function NP (TFNP) and its subclasses says that, even if one is promised an efficiently verifiable proof exists for a problem, finding this proof can be intractable. Despite the success of the theory at showing intractability of problems such as computing Brouwer fixed points and Nash equilibria, subclasses of TFNP remain arguably few and far between. In this work, we define two new subclasses of TFNP borne of the study of complex polynomial systems: Multi-homogeneous Systems (MHS) and Sparse Fundamental Theorem of Algebra (SFTA). The first of these is based on B\\'ezout's t","authors_text":"Dorian Rudolph, Marco Aldi, Sevag Gharibian","cross_cats":["cs.CC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2024-12-27T12:57:06Z","title":"An unholy trinity: TFNP, polynomial systems, and the quantum satisfiability problem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.19623","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:251cdd582c22fd1f6e4a29d8f0365466c79b2e5d4813bcd20dd2898dfd85a94f","target":"record","created_at":"2026-07-05T11:24:12Z","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":"4b75f4ac54422891ec4192819227004df5a0336f513d1f2501b3cf3b46860f69","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2024-12-27T12:57:06Z","title_canon_sha256":"e9c4e57f42ed0f2e1f8b677a655e725b3f3f251dd052e2e0ee30aaabd28c4cfc"},"schema_version":"1.0","source":{"id":"2412.19623","kind":"arxiv","version":2}},"canonical_sha256":"178aac14ec8445302120aab9bac62f03a3c16000a3c5cd467ba2fa8c5d7e6af6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"178aac14ec8445302120aab9bac62f03a3c16000a3c5cd467ba2fa8c5d7e6af6","first_computed_at":"2026-07-05T11:24:12.064329Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:24:12.064329Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/9n9WmbH3OyhlBlN+W07bNX4lKV6lnuwtijJ10/YCej91tD+7yRn5qmqKpCHtUu9Blv7LELVIpq3fq45WHM0Cg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:24:12.064865Z","signed_message":"canonical_sha256_bytes"},"source_id":"2412.19623","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:251cdd582c22fd1f6e4a29d8f0365466c79b2e5d4813bcd20dd2898dfd85a94f","sha256:cd085d72e64850e8140a835955d7b428441271594ed3135ae135b5fc07970aff"],"state_sha256":"94437a020c1d5ddf83c37e38f4b95878771f2ddaeb20678e32b8c63a1e112b75"}