{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:PTSMGFNF4Y73TBWYYV4WHEOZ33","short_pith_number":"pith:PTSMGFNF","schema_version":"1.0","canonical_sha256":"7ce4c315a5e63fb986d8c5796391d9decfb396368ad6588a7b8027e3bb08f8c7","source":{"kind":"arxiv","id":"1606.04200","version":2},"attestation_state":"computed","paper":{"title":"The Chasm at Depth Four, and Tensor Rank : Old results, new insights","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"Mrinal Kumar, Ramprasad Saptharishi, Suryajith Chillara, V Vinay","submitted_at":"2016-06-14T04:37:17Z","abstract_excerpt":"Agrawal and Vinay [AV08] showed how any polynomial size arithmetic circuit can be thought of as a depth four arithmetic circuit of subexponential size. The resulting circuit size in this simulation was more carefully analyzed by Korian [Koiran] and subsequently by Tavenas [Tav13]. We provide a simple proof of this chain of results. We then abstract the main ingredient to apply it to formulas and constant depth circuits, and show more structured depth reductions for them.\n  In an apriori surprising result, Raz [Raz10] showed that for any $n$ and $d$, such that $ \\omega(1) \\leq d \\leq O\\left(\\fr"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1606.04200","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-06-14T04:37:17Z","cross_cats_sorted":[],"title_canon_sha256":"544322ab69c78b0163526d574709c9a79829af4c31c2c7f3f7e6f87a5e123095","abstract_canon_sha256":"fe202e352f66dc333899bda12895a2e37d4ce27cafc7f0a3bc82b136bb26e132"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:39:07.139552Z","signature_b64":"noHSs2c8i5tEAModXyl88iBd0sFo4AcJs9pv5RLSZh18Fz+RuDj52MyMOIRprge6MxbXOpaHwQieLCUZ3flgCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7ce4c315a5e63fb986d8c5796391d9decfb396368ad6588a7b8027e3bb08f8c7","last_reissued_at":"2026-05-18T00:39:07.139018Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:39:07.139018Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The Chasm at Depth Four, and Tensor Rank : Old results, new insights","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"Mrinal Kumar, Ramprasad Saptharishi, Suryajith Chillara, V Vinay","submitted_at":"2016-06-14T04:37:17Z","abstract_excerpt":"Agrawal and Vinay [AV08] showed how any polynomial size arithmetic circuit can be thought of as a depth four arithmetic circuit of subexponential size. The resulting circuit size in this simulation was more carefully analyzed by Korian [Koiran] and subsequently by Tavenas [Tav13]. We provide a simple proof of this chain of results. We then abstract the main ingredient to apply it to formulas and constant depth circuits, and show more structured depth reductions for them.\n  In an apriori surprising result, Raz [Raz10] showed that for any $n$ and $d$, such that $ \\omega(1) \\leq d \\leq O\\left(\\fr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.04200","kind":"arxiv","version":2},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1606.04200","created_at":"2026-05-18T00:39:07.139080+00:00"},{"alias_kind":"arxiv_version","alias_value":"1606.04200v2","created_at":"2026-05-18T00:39:07.139080+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.04200","created_at":"2026-05-18T00:39:07.139080+00:00"},{"alias_kind":"pith_short_12","alias_value":"PTSMGFNF4Y73","created_at":"2026-05-18T12:30:39.010887+00:00"},{"alias_kind":"pith_short_16","alias_value":"PTSMGFNF4Y73TBWY","created_at":"2026-05-18T12:30:39.010887+00:00"},{"alias_kind":"pith_short_8","alias_value":"PTSMGFNF","created_at":"2026-05-18T12:30:39.010887+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/PTSMGFNF4Y73TBWYYV4WHEOZ33","json":"https://pith.science/pith/PTSMGFNF4Y73TBWYYV4WHEOZ33.json","graph_json":"https://pith.science/api/pith-number/PTSMGFNF4Y73TBWYYV4WHEOZ33/graph.json","events_json":"https://pith.science/api/pith-number/PTSMGFNF4Y73TBWYYV4WHEOZ33/events.json","paper":"https://pith.science/paper/PTSMGFNF"},"agent_actions":{"view_html":"https://pith.science/pith/PTSMGFNF4Y73TBWYYV4WHEOZ33","download_json":"https://pith.science/pith/PTSMGFNF4Y73TBWYYV4WHEOZ33.json","view_paper":"https://pith.science/paper/PTSMGFNF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1606.04200&json=true","fetch_graph":"https://pith.science/api/pith-number/PTSMGFNF4Y73TBWYYV4WHEOZ33/graph.json","fetch_events":"https://pith.science/api/pith-number/PTSMGFNF4Y73TBWYYV4WHEOZ33/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PTSMGFNF4Y73TBWYYV4WHEOZ33/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PTSMGFNF4Y73TBWYYV4WHEOZ33/action/storage_attestation","attest_author":"https://pith.science/pith/PTSMGFNF4Y73TBWYYV4WHEOZ33/action/author_attestation","sign_citation":"https://pith.science/pith/PTSMGFNF4Y73TBWYYV4WHEOZ33/action/citation_signature","submit_replication":"https://pith.science/pith/PTSMGFNF4Y73TBWYYV4WHEOZ33/action/replication_record"}},"created_at":"2026-05-18T00:39:07.139080+00:00","updated_at":"2026-05-18T00:39:07.139080+00:00"}