{"id":"https://openalex.org/W200874243","doi":"https://doi.org/10.1137/110829660","title":"IP = PSPACE Using Error-Correcting Codes","display_name":"IP = PSPACE Using Error-Correcting Codes","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W200874243","doi":"https://doi.org/10.1137/110829660","mag":"200874243"},"language":"en","primary_location":{"id":"doi:10.1137/110829660","is_oa":false,"landing_page_url":"https://doi.org/10.1137/110829660","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071686980","display_name":"Or Meir","orcid":"https://orcid.org/0000-0001-5031-0750"},"institutions":[{"id":"https://openalex.org/I53964585","display_name":"Weizmann Institute of Science","ror":"https://ror.org/0316ej306","country_code":"IL","type":"education","lineage":["https://openalex.org/I53964585"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Or Meir","raw_affiliation_strings":["Weizmann Institute of Science"],"affiliations":[{"raw_affiliation_string":"Weizmann Institute of Science","institution_ids":["https://openalex.org/I53964585"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5071686980"],"corresponding_institution_ids":["https://openalex.org/I53964585"],"apc_list":null,"apc_paid":null,"fwci":1.9236,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.87365594,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"42","issue":"1","first_page":"380","last_page":"403"},"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.9947999715805054,"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.9947999715805054,"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/T10142","display_name":"Formal Methods in Verification","score":0.9901000261306763,"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"}},{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9872999787330627,"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/mathematical-proof","display_name":"Mathematical proof","score":0.6828257441520691},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6227600574493408},{"id":"https://openalex.org/keywords/pspace","display_name":"PSPACE","score":0.5937723517417908},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5770934224128723},{"id":"https://openalex.org/keywords/intuition","display_name":"Intuition","score":0.5335431694984436},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3874660134315491},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.25550761818885803},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.1529335081577301}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6828257441520691},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6227600574493408},{"id":"https://openalex.org/C197685441","wikidata":"https://www.wikidata.org/wiki/Q500716","display_name":"PSPACE","level":3,"score":0.5937723517417908},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5770934224128723},{"id":"https://openalex.org/C132010649","wikidata":"https://www.wikidata.org/wiki/Q189222","display_name":"Intuition","level":2,"score":0.5335431694984436},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3874660134315491},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.25550761818885803},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1529335081577301},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1137/110829660","is_oa":false,"landing_page_url":"https://doi.org/10.1137/110829660","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.362.7662","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.362.7662","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://theory.stanford.edu/~ormeir//papers/ip_pspace.pdf","raw_type":"text"},{"id":"mag:200874243","is_oa":false,"landing_page_url":"https://eccc.weizmann.ac.il/report/2010/137","pdf_url":null,"source":{"id":"https://openalex.org/S11189987","display_name":"Electronic colloquium on computational complexity","issn_l":"1433-8092","issn":["1433-8092"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Electronic colloquium on computational complexity","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1984477611","https://openalex.org/W1996839061","https://openalex.org/W2032626654","https://openalex.org/W2082647621","https://openalex.org/W2122270497","https://openalex.org/W2143299189","https://openalex.org/W2146099890","https://openalex.org/W2293988196"],"related_works":["https://openalex.org/W2122055721","https://openalex.org/W2559566311","https://openalex.org/W73507083","https://openalex.org/W2963007732","https://openalex.org/W2144047381","https://openalex.org/W2141731293","https://openalex.org/W2951673980","https://openalex.org/W1976183756","https://openalex.org/W2951046429","https://openalex.org/W1924552658","https://openalex.org/W2576114839","https://openalex.org/W26370300","https://openalex.org/W117725373","https://openalex.org/W2769295117","https://openalex.org/W2399880976","https://openalex.org/W3186888504","https://openalex.org/W49401050","https://openalex.org/W2217204207","https://openalex.org/W1507629254","https://openalex.org/W2989887679"],"abstract_inverted_index":{"The":[0,32,54],"$\\mathbf{IP}$":[1,100,132],"Theorem,":[2],"which":[3,44],"asserts":[4],"that":[5,56,68,98,116],"$\\mathbf{IP}=\\mathbf{PSPACE}$":[6],"[Lund":[7],"et":[8],"al.,":[9],"J.":[10,17],"ACM,":[11,18],"39":[12,19],"(1992),":[13,20],"pp.":[14,21],"859--868;":[15],"Shamir,":[16],"878--880],":[22],"is":[23,62],"one":[24],"of":[25,29,35,60,83],"the":[26,36,41,58,66,75,81,99,123,131],"major":[27],"achievements":[28],"complexity":[30],"theory.":[31],"known":[33,76],"proofs":[34,77],"theorem":[37,101],"are":[38],"based":[39],"on":[40,130],"arithmetization":[42],"technique,":[43],"transforms":[45],"a":[46,51,119],"quantified":[47],"Boolean":[48],"formula":[49],"into":[50],"related":[52],"polynomial.":[53],"intuition":[55,125],"underlies":[57],"use":[59,82],"polynomials":[61,69,84],"commonly":[63],"explained":[64],"by":[65,105],"fact":[67],"constitute":[70],"good":[71],"error-correcting":[72,91,108],"codes.":[73,92],"However,":[74],"seem":[78],"tailored":[79],"to":[80,89],"and":[85,110,126],"do":[86],"not":[87],"generalize":[88],"arbitrary":[90],"In":[93],"this":[94,117],"work,":[95],"we":[96],"show":[97],"can":[102],"be":[103],"proved":[104],"using":[106],"general":[107],"codes":[109],"their":[111],"tensor":[112],"products.":[113],"We":[114],"believe":[115],"establishes":[118],"rigorous":[120],"basis":[121],"for":[122],"aforementioned":[124],"sheds":[127],"further":[128],"light":[129],"theorem.":[133]},"counts_by_year":[{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}