{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:6RMZJ7ZSIBZYV3H3SQM3FZ7DEV","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":"46beeccba98882d081b41a844a75e82b5a43fb90393923d4189dd1ab0fe52f8f","cross_cats_sorted":["cs.IT","math.IT","quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2010-04-19T11:52:28Z","title_canon_sha256":"2ff42d954719a061f10d830668ba82e460bbe66072c5748425dea78231aa9458"},"schema_version":"1.0","source":{"id":"1004.3165","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1004.3165","created_at":"2026-05-18T02:48:01Z"},{"alias_kind":"arxiv_version","alias_value":"1004.3165v5","created_at":"2026-05-18T02:48:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1004.3165","created_at":"2026-05-18T02:48:01Z"},{"alias_kind":"pith_short_12","alias_value":"6RMZJ7ZSIBZY","created_at":"2026-05-18T12:26:04Z"},{"alias_kind":"pith_short_16","alias_value":"6RMZJ7ZSIBZYV3H3","created_at":"2026-05-18T12:26:04Z"},{"alias_kind":"pith_short_8","alias_value":"6RMZJ7ZS","created_at":"2026-05-18T12:26:04Z"}],"graph_snapshots":[{"event_id":"sha256:ba5e7b5530dc14a46551dffcc71ee8e98c1306da3c5f96789ea76a17889fce97","target":"graph","created_at":"2026-05-18T02:48:01Z","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 an Omega(sqrt{n}/T) lower bound for the space required by any unidirectional constant-error randomized T-pass streaming algorithm that recognizes whether an expression over two types of parenthesis is well-parenthesized. This proves a conjecture due to Magniez, Mathieu, and Nayak (2009) and rigorously establishes that bidirectional streams are exponentially more efficient in space usage as compared with unidirectional ones. We obtain the lower bound by establishing the minimum amount of information that is necessarily revealed by the players about their respective inputs in a two-party","authors_text":"Ashwin Nayak, Rahul Jain","cross_cats":["cs.IT","math.IT","quant-ph"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2010-04-19T11:52:28Z","title":"The space complexity of recognizing well-parenthesized expressions in the streaming model: the Index function revisited"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1004.3165","kind":"arxiv","version":5},"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:03f3b465807b4533a0d7d699ab71803c5bcfb5fba3bf515f551324c3f364f67b","target":"record","created_at":"2026-05-18T02:48:01Z","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":"46beeccba98882d081b41a844a75e82b5a43fb90393923d4189dd1ab0fe52f8f","cross_cats_sorted":["cs.IT","math.IT","quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2010-04-19T11:52:28Z","title_canon_sha256":"2ff42d954719a061f10d830668ba82e460bbe66072c5748425dea78231aa9458"},"schema_version":"1.0","source":{"id":"1004.3165","kind":"arxiv","version":5}},"canonical_sha256":"f45994ff3240738aecfb9419b2e7e32558dd6ec3b368fc8753dd4db47b7653db","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f45994ff3240738aecfb9419b2e7e32558dd6ec3b368fc8753dd4db47b7653db","first_computed_at":"2026-05-18T02:48:01.218980Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:48:01.218980Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"R+IC+QOByoyVwf8l03OHv9IBxqBktUppg9CwczKvNrzx9vzfs6bz3/Ovs57XC/JrE2pO4AGD2qcDt1shTOORCw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:48:01.219558Z","signed_message":"canonical_sha256_bytes"},"source_id":"1004.3165","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:03f3b465807b4533a0d7d699ab71803c5bcfb5fba3bf515f551324c3f364f67b","sha256:ba5e7b5530dc14a46551dffcc71ee8e98c1306da3c5f96789ea76a17889fce97"],"state_sha256":"11bce5b9ab7a96f1197cb7f9f0d0173ffa773d1650871c56987f8d838b39c55b"}