{"id":"https://openalex.org/W2110655906","doi":"https://doi.org/10.1109/tit.2014.2339859","title":"The Space Complexity of Recognizing Well-Parenthesized Expressions in the Streaming Model: The Index Function Revisited","display_name":"The Space Complexity of Recognizing Well-Parenthesized Expressions in the Streaming Model: The Index Function Revisited","publication_year":2014,"publication_date":"2014-07-17","ids":{"openalex":"https://openalex.org/W2110655906","doi":"https://doi.org/10.1109/tit.2014.2339859","mag":"2110655906"},"language":"en","primary_location":{"id":"doi:10.1109/tit.2014.2339859","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tit.2014.2339859","pdf_url":null,"source":{"id":"https://openalex.org/S4502562","display_name":"IEEE Transactions on Information Theory","issn_l":"0018-9448","issn":["0018-9448","1557-9654"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Information Theory","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1004.3165","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5051676245","display_name":"Rahul Jain","orcid":"https://orcid.org/0000-0002-3649-6576"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]},{"id":"https://openalex.org/I115455960","display_name":"Centre for Quantum Technologies","ror":"https://ror.org/01mgdzc49","country_code":"SG","type":"facility","lineage":["https://openalex.org/I115455960"]}],"countries":["SG"],"is_corresponding":true,"raw_author_name":"Rahul Jain","raw_affiliation_strings":["Centre for Quantum Technologies, National University of Singapore, Singapore","Department of Computer ScienceCentre for Quantum Technologies, National University of Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"Centre for Quantum Technologies, National University of Singapore, Singapore","institution_ids":["https://openalex.org/I115455960","https://openalex.org/I165932596"]},{"raw_affiliation_string":"Department of Computer ScienceCentre for Quantum Technologies, National University of Singapore, Singapore","institution_ids":["https://openalex.org/I115455960","https://openalex.org/I165932596"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017951192","display_name":"Ashwin Nayak","orcid":"https://orcid.org/0000-0001-9866-9316"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Ashwin Nayak","raw_affiliation_strings":["Department of Combinatorics and Optimization, University of Waterloo, Waterloo, ON, Canada","Department of Combinatorics and OptimizationInstitute for Quantum Computing, University of Waterloo, Waterloo, ON, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Combinatorics and Optimization, University of Waterloo, Waterloo, ON, Canada","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"Department of Combinatorics and OptimizationInstitute for Quantum Computing, University of Waterloo, Waterloo, ON, Canada","institution_ids":["https://openalex.org/I151746483"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5051676245"],"corresponding_institution_ids":["https://openalex.org/I115455960","https://openalex.org/I165932596"],"apc_list":null,"apc_paid":null,"fwci":0.8457,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.82105441,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"60","issue":"10","first_page":"6646","last_page":"6668"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11612","display_name":"Stochastic Gradient Optimization Techniques","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9912999868392944,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.6800321340560913},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.6341274380683899},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6129637360572815},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.5541547536849976},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5513824224472046},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.5350661277770996},{"id":"https://openalex.org/keywords/index","display_name":"Index (typography)","score":0.45394542813301086},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.4443702697753906},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.440257728099823},{"id":"https://openalex.org/keywords/quantum-information","display_name":"Quantum information","score":0.4159197211265564},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.38722318410873413},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3801789879798889},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3602030873298645}],"concepts":[{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.6800321340560913},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.6341274380683899},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6129637360572815},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.5541547536849976},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5513824224472046},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.5350661277770996},{"id":"https://openalex.org/C2777382242","wikidata":"https://www.wikidata.org/wiki/Q6017816","display_name":"Index (typography)","level":2,"score":0.45394542813301086},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.4443702697753906},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.440257728099823},{"id":"https://openalex.org/C169699857","wikidata":"https://www.wikidata.org/wiki/Q2122243","display_name":"Quantum information","level":3,"score":0.4159197211265564},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.38722318410873413},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3801789879798889},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3602030873298645},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/tit.2014.2339859","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tit.2014.2339859","pdf_url":null,"source":{"id":"https://openalex.org/S4502562","display_name":"IEEE Transactions on Information Theory","issn_l":"0018-9448","issn":["0018-9448","1557-9654"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Information Theory","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1004.3165","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1004.3165","pdf_url":"https://arxiv.org/pdf/1004.3165","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:2110655906","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1004.3165.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1004.3165","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1004.3165","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1004.3165","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1004.3165","pdf_url":"https://arxiv.org/pdf/1004.3165","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[{"score":0.47999998927116394,"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320309949","display_name":"Canadian Institute for Advanced Research","ror":"https://ror.org/01sdtdd95"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W140986276","https://openalex.org/W1501059323","https://openalex.org/W1801581302","https://openalex.org/W1839137787","https://openalex.org/W1965972569","https://openalex.org/W1979450817","https://openalex.org/W1987068280","https://openalex.org/W1987580556","https://openalex.org/W1993344966","https://openalex.org/W2002917701","https://openalex.org/W2009571139","https://openalex.org/W2015389932","https://openalex.org/W2033216491","https://openalex.org/W2035555798","https://openalex.org/W2038255135","https://openalex.org/W2043799052","https://openalex.org/W2052866997","https://openalex.org/W2053966137","https://openalex.org/W2054081892","https://openalex.org/W2070053775","https://openalex.org/W2073639613","https://openalex.org/W2076807569","https://openalex.org/W2088263428","https://openalex.org/W2089797683","https://openalex.org/W2098669997","https://openalex.org/W2099111195","https://openalex.org/W2107917944","https://openalex.org/W2114607430","https://openalex.org/W2116921087","https://openalex.org/W2125841965","https://openalex.org/W2128006942","https://openalex.org/W2131587307","https://openalex.org/W2165461157","https://openalex.org/W2171253836","https://openalex.org/W2568356985","https://openalex.org/W2569895586","https://openalex.org/W3021537373","https://openalex.org/W3104289311","https://openalex.org/W4230909286","https://openalex.org/W4254355229","https://openalex.org/W6600929158","https://openalex.org/W6680876021","https://openalex.org/W6683357420"],"related_works":["https://openalex.org/W2964300546","https://openalex.org/W2053966137","https://openalex.org/W1965972569","https://openalex.org/W37651926","https://openalex.org/W2800973926","https://openalex.org/W1763960172","https://openalex.org/W2950300420","https://openalex.org/W3139077408","https://openalex.org/W3161103151","https://openalex.org/W1969550276","https://openalex.org/W2160856947","https://openalex.org/W3021939903","https://openalex.org/W2277697754","https://openalex.org/W2417744963","https://openalex.org/W1502244627","https://openalex.org/W2255150270","https://openalex.org/W2765381358","https://openalex.org/W2407924029","https://openalex.org/W3093718381","https://openalex.org/W2315420951"],"abstract_inverted_index":{"We":[0,60,95,230,248,330],"show":[1,96,249],"an":[2,21,142,204,333,340],"\u03a9(\u221an/T)":[3],"lower":[4,63,325],"bound":[5,64,326],"for":[6,85,200,210,327,335],"the":[7,62,67,74,89,111,137,145,165,176,222,242,256,265,290,295,299,304,312],"space":[8,53,190,324],"required":[9],"by":[10,65,73,160,183,191],"any":[11,99],"unidirectional":[12,58],"constant-error":[13],"randomized":[14,180],"T-pass":[15],"streaming":[16,192,337],"algorithm":[17],"that":[18,45,69,97,102,150,250,254],"recognizes":[19],"whether":[20],"expression":[22],"over":[23,148],"two":[24],"types":[25],"of":[26,88,164,179,186,207,234,241,245,292,314],"parenthesis":[27],"is":[28,70,158,289],"well":[29],"parenthesized.":[30],"This":[31],"proves":[32],"a":[33,81,86,161,214,232,323],"conjecture":[34],"due":[35],"to":[36,152,322],"Magniez,":[37],"Mathieu,":[38],"and":[39,42,168,175,221],"Nayak":[40],"(2009)":[41],"rigorously":[43],"establishes":[44],"bidirectional":[46],"streams":[47],"are":[48,139,301],"exponentially":[49],"more":[50],"efficient":[51],"in":[52,80,98,189,251,294],"usage":[54],"as":[55,172,339],"compared":[56],"with":[57,107,224,261],"ones.":[59],"obtain":[61],"analyzing":[66],"information":[68,121,130,155,208,236,272,281],"necessarily":[71],"revealed":[72],"players":[75],"about":[76,122,131,273,282],"their":[77],"respective":[78],"inputs":[79,138,149,300],"two-party":[82],"communication":[83,100],"protocol":[84,101],"variant":[87],"index":[90,258],"function,":[91],"namely":[92],"augmented":[93,201,257],"index.":[94,202],"computes":[103],"this":[104,309],"function":[105,259],"correctly":[106,260],"constant":[108,262],"error":[109,263],"on":[110,264],"uniform":[112,146,266],"distribution":[113,147],"(a":[114],"\u201chard\u201d":[115],"distribution),":[116],"either":[117,268],"Alice":[118,269],"reveals":[119,128,270,279],"\u03a9(n)":[120],"her":[123,274],"n-bit":[124,275],"input,":[125,134,276,286],"or":[126,277],"Bob":[127,278],"\u03a9(1)":[129],"his":[132,283],"(logn)-bit":[133],"even":[135,297],"when":[136,298],"drawn":[140,302],"from":[141,303],"\u201ceasy\u201d":[143],"distribution,":[144,267],"evaluate":[151],"0.":[153],"The":[154],"cost":[156,209],"tradeoff":[157,310],"obtained":[159],"novel":[162],"application":[163],"conceptually":[166],"simple":[167],"familiar":[169],"ideas,":[170],"such":[171,332],"average":[173],"encoding":[174],"cut-and-paste":[177],"property,":[178],"protocols.":[181],"Motivated":[182],"recent":[184],"examples":[185],"exponential":[187],"savings":[188],"quantum":[193,198,211,235,246,252,336],"algorithms,":[194],"we":[195,226],"also":[196],"study":[197],"protocols":[199,212,253],"Defining":[203],"appropriate":[205],"notion":[206,233],"involves":[213],"delicate":[215],"balancing":[216],"act":[217],"between":[218],"its":[219],"applicability":[220],"ease":[223],"which":[225,238],"can":[227],"analyze":[228],"it.":[229],"define":[231],"cost,":[237],"reflects":[239],"some":[240],"nonintuitive":[243],"properties":[244],"information.":[247],"compute":[255],"\u03a9(n/t)":[271],"\u03a9(1/t)":[280],"(log":[284],"n)-bit":[285],"where":[287],"t":[288],"number":[291],"messages":[293],"protocol,":[296],"abovementioned":[305],"easy":[306],"distribution.":[307],"While":[308],"demonstrates":[311],"strength":[313],"our":[315],"proof":[316],"techniques,":[317],"it":[318],"does":[319],"not":[320],"lead":[321],"checking":[328],"parentheses.":[329],"leave":[331],"implication":[334],"algorithms":[338],"intriguing":[341],"open":[342],"question.":[343]},"counts_by_year":[{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}