{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:XRF2AMI2Q5YCD4US6Q3D5A2WT7","short_pith_number":"pith:XRF2AMI2","canonical_record":{"source":{"id":"1311.2358","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2013-11-11T05:38:30Z","cross_cats_sorted":[],"title_canon_sha256":"982f59d0b0b3a81d65237304615e0d7d818297a2bd3bb70c79501d69510e99d1","abstract_canon_sha256":"d0e5b4744fbeb144db5216df1f6d68381b6c5020399da1e0b05d40f0d5e6b3bf"},"schema_version":"1.0"},"canonical_sha256":"bc4ba0311a877021f292f4363e83569ffbd3f15fc92d6c5e9988421746f03552","source":{"kind":"arxiv","id":"1311.2358","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.2358","created_at":"2026-05-18T03:07:32Z"},{"alias_kind":"arxiv_version","alias_value":"1311.2358v1","created_at":"2026-05-18T03:07:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.2358","created_at":"2026-05-18T03:07:32Z"},{"alias_kind":"pith_short_12","alias_value":"XRF2AMI2Q5YC","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_16","alias_value":"XRF2AMI2Q5YCD4US","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_8","alias_value":"XRF2AMI2","created_at":"2026-05-18T12:28:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:XRF2AMI2Q5YCD4US6Q3D5A2WT7","target":"record","payload":{"canonical_record":{"source":{"id":"1311.2358","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2013-11-11T05:38:30Z","cross_cats_sorted":[],"title_canon_sha256":"982f59d0b0b3a81d65237304615e0d7d818297a2bd3bb70c79501d69510e99d1","abstract_canon_sha256":"d0e5b4744fbeb144db5216df1f6d68381b6c5020399da1e0b05d40f0d5e6b3bf"},"schema_version":"1.0"},"canonical_sha256":"bc4ba0311a877021f292f4363e83569ffbd3f15fc92d6c5e9988421746f03552","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:07:32.866519Z","signature_b64":"Qu8bxs59LEj0tHRN9oCVUzR7/SHh5vOZALEF3PWRm3Q6CSBKLZNGxXhEQxFigtsEeoe0DbyCvkiLCce9l56TDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bc4ba0311a877021f292f4363e83569ffbd3f15fc92d6c5e9988421746f03552","last_reissued_at":"2026-05-18T03:07:32.865898Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:07:32.865898Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1311.2358","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-18T03:07:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pKPnnQtwbldCibuF60VLibOCiPhjA4SNr/yxsIPGHtpgwy740XciVaDXOf5hFZvRhh47GP5ZZ7TzTV2iQuK0CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T16:56:19.130992Z"},"content_sha256":"4cd747ebff1aa6d426f2f4cd8c1daf76c13f0856f4d9ffa210679777f79305a5","schema_version":"1.0","event_id":"sha256:4cd747ebff1aa6d426f2f4cd8c1daf76c13f0856f4d9ffa210679777f79305a5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:XRF2AMI2Q5YCD4US6Q3D5A2WT7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Derandomizing Polynomial Identity over Finite Fields Implies Super-Polynomial Circuit Lower Bounds for NEXP","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"Bin Fu","submitted_at":"2013-11-11T05:38:30Z","abstract_excerpt":"We show that derandomizing polynomial identity testing over an arbitrary finite field implies that NEXP does not have polynomial size boolean circuits. In other words, for any finite field F(q) of size q, $PIT_q\\in NSUBEXP\\Rightarrow NEXP\\not\\subseteq P/poly$, where $PIT_q$ is the polynomial identity testing problem over F(q), and NSUBEXP is the nondeterministic subexpoential time class of languages. Our result is in contract to Kabanets and Impagliazzo's existing theorem that derandomizing the polynomial identity testing in the integer ring Z implies that NEXP does have polynomial size boolea"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.2358","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-18T03:07:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rVBgNaGMIFLrYJc4XcPvQIxvGvx0NiKP0A2JD0bHI30v126RbWiI5L2vFLVLmxDJQQd7rjS4bWMw1HjMn9ZjDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T16:56:19.131709Z"},"content_sha256":"893e8d48ab7d2ce5d6d56dc22a41b106a153010b7396c3dc70f4652a81047b50","schema_version":"1.0","event_id":"sha256:893e8d48ab7d2ce5d6d56dc22a41b106a153010b7396c3dc70f4652a81047b50"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XRF2AMI2Q5YCD4US6Q3D5A2WT7/bundle.json","state_url":"https://pith.science/pith/XRF2AMI2Q5YCD4US6Q3D5A2WT7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XRF2AMI2Q5YCD4US6Q3D5A2WT7/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-07T16:56:19Z","links":{"resolver":"https://pith.science/pith/XRF2AMI2Q5YCD4US6Q3D5A2WT7","bundle":"https://pith.science/pith/XRF2AMI2Q5YCD4US6Q3D5A2WT7/bundle.json","state":"https://pith.science/pith/XRF2AMI2Q5YCD4US6Q3D5A2WT7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XRF2AMI2Q5YCD4US6Q3D5A2WT7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:XRF2AMI2Q5YCD4US6Q3D5A2WT7","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":"d0e5b4744fbeb144db5216df1f6d68381b6c5020399da1e0b05d40f0d5e6b3bf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2013-11-11T05:38:30Z","title_canon_sha256":"982f59d0b0b3a81d65237304615e0d7d818297a2bd3bb70c79501d69510e99d1"},"schema_version":"1.0","source":{"id":"1311.2358","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.2358","created_at":"2026-05-18T03:07:32Z"},{"alias_kind":"arxiv_version","alias_value":"1311.2358v1","created_at":"2026-05-18T03:07:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.2358","created_at":"2026-05-18T03:07:32Z"},{"alias_kind":"pith_short_12","alias_value":"XRF2AMI2Q5YC","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_16","alias_value":"XRF2AMI2Q5YCD4US","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_8","alias_value":"XRF2AMI2","created_at":"2026-05-18T12:28:06Z"}],"graph_snapshots":[{"event_id":"sha256:893e8d48ab7d2ce5d6d56dc22a41b106a153010b7396c3dc70f4652a81047b50","target":"graph","created_at":"2026-05-18T03:07:32Z","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 show that derandomizing polynomial identity testing over an arbitrary finite field implies that NEXP does not have polynomial size boolean circuits. In other words, for any finite field F(q) of size q, $PIT_q\\in NSUBEXP\\Rightarrow NEXP\\not\\subseteq P/poly$, where $PIT_q$ is the polynomial identity testing problem over F(q), and NSUBEXP is the nondeterministic subexpoential time class of languages. Our result is in contract to Kabanets and Impagliazzo's existing theorem that derandomizing the polynomial identity testing in the integer ring Z implies that NEXP does have polynomial size boolea","authors_text":"Bin Fu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2013-11-11T05:38:30Z","title":"Derandomizing Polynomial Identity over Finite Fields Implies Super-Polynomial Circuit Lower Bounds for NEXP"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.2358","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:4cd747ebff1aa6d426f2f4cd8c1daf76c13f0856f4d9ffa210679777f79305a5","target":"record","created_at":"2026-05-18T03:07:32Z","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":"d0e5b4744fbeb144db5216df1f6d68381b6c5020399da1e0b05d40f0d5e6b3bf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2013-11-11T05:38:30Z","title_canon_sha256":"982f59d0b0b3a81d65237304615e0d7d818297a2bd3bb70c79501d69510e99d1"},"schema_version":"1.0","source":{"id":"1311.2358","kind":"arxiv","version":1}},"canonical_sha256":"bc4ba0311a877021f292f4363e83569ffbd3f15fc92d6c5e9988421746f03552","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bc4ba0311a877021f292f4363e83569ffbd3f15fc92d6c5e9988421746f03552","first_computed_at":"2026-05-18T03:07:32.865898Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:07:32.865898Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Qu8bxs59LEj0tHRN9oCVUzR7/SHh5vOZALEF3PWRm3Q6CSBKLZNGxXhEQxFigtsEeoe0DbyCvkiLCce9l56TDg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:07:32.866519Z","signed_message":"canonical_sha256_bytes"},"source_id":"1311.2358","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4cd747ebff1aa6d426f2f4cd8c1daf76c13f0856f4d9ffa210679777f79305a5","sha256:893e8d48ab7d2ce5d6d56dc22a41b106a153010b7396c3dc70f4652a81047b50"],"state_sha256":"18fae1efa2313f0dd0f2035e660a346163d8889cb6ce45bb66d8b35bd73485cb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NVgs3nZVpRtK19FZVwdhfh3yUprzAMc6ZWjzJpbpgoSzGY78bYUC9aey3qdkYVWXxMMO57lWbG4CiFs9CyM0Bw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T16:56:19.135811Z","bundle_sha256":"b6009bfa5bdad20594ced058779232c0f73d12ada03e50950a982122e824feb2"}}