{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:SRJ42SMVQIC7UMIHSCM6OSZBP7","short_pith_number":"pith:SRJ42SMV","canonical_record":{"source":{"id":"1606.05050","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-06-16T05:01:58Z","cross_cats_sorted":["cs.LO","math.LO"],"title_canon_sha256":"080981f2010e855803e552e1d61a4adafaf4513a86408e60181f2fe544f82380","abstract_canon_sha256":"b5e38ceb4562ae83ab0bfdabe3251fe625dd10a5fdcbb487d07e4d7f24546f9e"},"schema_version":"1.0"},"canonical_sha256":"9453cd49958205fa31079099e74b217fe7aede0692dd2b419cf50d9f23ad59e3","source":{"kind":"arxiv","id":"1606.05050","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.05050","created_at":"2026-05-18T01:12:22Z"},{"alias_kind":"arxiv_version","alias_value":"1606.05050v1","created_at":"2026-05-18T01:12:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.05050","created_at":"2026-05-18T01:12:22Z"},{"alias_kind":"pith_short_12","alias_value":"SRJ42SMVQIC7","created_at":"2026-05-18T12:30:44Z"},{"alias_kind":"pith_short_16","alias_value":"SRJ42SMVQIC7UMIH","created_at":"2026-05-18T12:30:44Z"},{"alias_kind":"pith_short_8","alias_value":"SRJ42SMV","created_at":"2026-05-18T12:30:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:SRJ42SMVQIC7UMIHSCM6OSZBP7","target":"record","payload":{"canonical_record":{"source":{"id":"1606.05050","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-06-16T05:01:58Z","cross_cats_sorted":["cs.LO","math.LO"],"title_canon_sha256":"080981f2010e855803e552e1d61a4adafaf4513a86408e60181f2fe544f82380","abstract_canon_sha256":"b5e38ceb4562ae83ab0bfdabe3251fe625dd10a5fdcbb487d07e4d7f24546f9e"},"schema_version":"1.0"},"canonical_sha256":"9453cd49958205fa31079099e74b217fe7aede0692dd2b419cf50d9f23ad59e3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:12:22.126307Z","signature_b64":"vjjodSeullbVWDKSwcoaNijEcXMxTruMITAMNUeNVLi0KD6pE7xqNAZpgmKxkSVU7FYL9dGriSjNX1D5cGcOBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9453cd49958205fa31079099e74b217fe7aede0692dd2b419cf50d9f23ad59e3","last_reissued_at":"2026-05-18T01:12:22.125843Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:12:22.125843Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1606.05050","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:12:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Vz4sDMEXYo9mAjL8FndL4zdQ+8ZcBG2FLfM2hclsFF1c3oFRfibY9pfY7ayTI6vJpptK1pvigg4t7eaGoXapDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T23:33:47.097579Z"},"content_sha256":"e7f0c22f80823b3efc9717706dc2a4726758581803bc8770da23b9a810c41f16","schema_version":"1.0","event_id":"sha256:e7f0c22f80823b3efc9717706dc2a4726758581803bc8770da23b9a810c41f16"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:SRJ42SMVQIC7UMIHSCM6OSZBP7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proof Complexity Lower Bounds from Algebraic Circuit Complexity","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","math.LO"],"primary_cat":"cs.CC","authors_text":"Amir Shpilka, Avi Wigderson, Iddo Tzameret, Michael A. Forbes","submitted_at":"2016-06-16T05:01:58Z","abstract_excerpt":"We give upper and lower bounds on the power of subsystems of the Ideal Proof System (IPS), the algebraic proof system recently proposed by Grochow and Pitassi, where the circuits comprising the proof come from various restricted algebraic circuit classes. This mimics an established research direction in the boolean setting for subsystems of Extended Frege proofs, where proof-lines are circuits from restricted boolean circuit classes. Except one, all of the subsystems considered in this paper can simulate the well-studied Nullstellensatz proof system, and prior to this work there were no known "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.05050","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:12:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pBnLYlGveGpDfT/KID37pdfRxeKnPMhSddvDMML8HiHFobzB5B0+0Go8JpAeza99YxqOAsHhpU4MvpAEGzAqCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T23:33:47.097919Z"},"content_sha256":"f0ce9aee3b5f2c6dff20099aac7b63fd443bdb4c871a25b4a4e519675a652008","schema_version":"1.0","event_id":"sha256:f0ce9aee3b5f2c6dff20099aac7b63fd443bdb4c871a25b4a4e519675a652008"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SRJ42SMVQIC7UMIHSCM6OSZBP7/bundle.json","state_url":"https://pith.science/pith/SRJ42SMVQIC7UMIHSCM6OSZBP7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SRJ42SMVQIC7UMIHSCM6OSZBP7/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-01T23:33:47Z","links":{"resolver":"https://pith.science/pith/SRJ42SMVQIC7UMIHSCM6OSZBP7","bundle":"https://pith.science/pith/SRJ42SMVQIC7UMIHSCM6OSZBP7/bundle.json","state":"https://pith.science/pith/SRJ42SMVQIC7UMIHSCM6OSZBP7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SRJ42SMVQIC7UMIHSCM6OSZBP7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:SRJ42SMVQIC7UMIHSCM6OSZBP7","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":"b5e38ceb4562ae83ab0bfdabe3251fe625dd10a5fdcbb487d07e4d7f24546f9e","cross_cats_sorted":["cs.LO","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-06-16T05:01:58Z","title_canon_sha256":"080981f2010e855803e552e1d61a4adafaf4513a86408e60181f2fe544f82380"},"schema_version":"1.0","source":{"id":"1606.05050","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.05050","created_at":"2026-05-18T01:12:22Z"},{"alias_kind":"arxiv_version","alias_value":"1606.05050v1","created_at":"2026-05-18T01:12:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.05050","created_at":"2026-05-18T01:12:22Z"},{"alias_kind":"pith_short_12","alias_value":"SRJ42SMVQIC7","created_at":"2026-05-18T12:30:44Z"},{"alias_kind":"pith_short_16","alias_value":"SRJ42SMVQIC7UMIH","created_at":"2026-05-18T12:30:44Z"},{"alias_kind":"pith_short_8","alias_value":"SRJ42SMV","created_at":"2026-05-18T12:30:44Z"}],"graph_snapshots":[{"event_id":"sha256:f0ce9aee3b5f2c6dff20099aac7b63fd443bdb4c871a25b4a4e519675a652008","target":"graph","created_at":"2026-05-18T01:12:22Z","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 give upper and lower bounds on the power of subsystems of the Ideal Proof System (IPS), the algebraic proof system recently proposed by Grochow and Pitassi, where the circuits comprising the proof come from various restricted algebraic circuit classes. This mimics an established research direction in the boolean setting for subsystems of Extended Frege proofs, where proof-lines are circuits from restricted boolean circuit classes. Except one, all of the subsystems considered in this paper can simulate the well-studied Nullstellensatz proof system, and prior to this work there were no known ","authors_text":"Amir Shpilka, Avi Wigderson, Iddo Tzameret, Michael A. Forbes","cross_cats":["cs.LO","math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-06-16T05:01:58Z","title":"Proof Complexity Lower Bounds from Algebraic Circuit Complexity"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.05050","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:e7f0c22f80823b3efc9717706dc2a4726758581803bc8770da23b9a810c41f16","target":"record","created_at":"2026-05-18T01:12:22Z","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":"b5e38ceb4562ae83ab0bfdabe3251fe625dd10a5fdcbb487d07e4d7f24546f9e","cross_cats_sorted":["cs.LO","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-06-16T05:01:58Z","title_canon_sha256":"080981f2010e855803e552e1d61a4adafaf4513a86408e60181f2fe544f82380"},"schema_version":"1.0","source":{"id":"1606.05050","kind":"arxiv","version":1}},"canonical_sha256":"9453cd49958205fa31079099e74b217fe7aede0692dd2b419cf50d9f23ad59e3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9453cd49958205fa31079099e74b217fe7aede0692dd2b419cf50d9f23ad59e3","first_computed_at":"2026-05-18T01:12:22.125843Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:12:22.125843Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vjjodSeullbVWDKSwcoaNijEcXMxTruMITAMNUeNVLi0KD6pE7xqNAZpgmKxkSVU7FYL9dGriSjNX1D5cGcOBw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:12:22.126307Z","signed_message":"canonical_sha256_bytes"},"source_id":"1606.05050","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e7f0c22f80823b3efc9717706dc2a4726758581803bc8770da23b9a810c41f16","sha256:f0ce9aee3b5f2c6dff20099aac7b63fd443bdb4c871a25b4a4e519675a652008"],"state_sha256":"7848ca06362357f11c7ae3e9c780d5a4031d73f493f75f17f6944b45a383b315"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZXDdYHQEFEI4YLfm7xRfTTT8ncziPZ23h4rcm8P3W5Qhwiy6yEEe0rV2CgHIyR+vzXdL2jgz13f4Au1YIHfQDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T23:33:47.099767Z","bundle_sha256":"d0560ceb1c9bac4cbebb2712f6c542cecab3b2607fc395d4dfcf424febab5645"}}