{"id":"https://openalex.org/W2806763105","doi":"https://doi.org/10.1007/s00037-021-00212-3","title":"An Exponential Separation Between MA and AM Proofs of Proximity","display_name":"An Exponential Separation Between MA and AM Proofs of Proximity","publication_year":2021,"publication_date":"2021-08-18","ids":{"openalex":"https://openalex.org/W2806763105","doi":"https://doi.org/10.1007/s00037-021-00212-3","mag":"2806763105"},"language":"en","primary_location":{"id":"doi:10.1007/s00037-021-00212-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00037-021-00212-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00037-021-00212-3.pdf","source":{"id":"https://openalex.org/S193995496","display_name":"Computational Complexity","issn_l":"1016-3328","issn":["1016-3328","1420-8954"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320186","host_organization_name":"Birkh\u00e4user","host_organization_lineage":["https://openalex.org/P4310320186","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Birkh\u00e4user","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"computational complexity","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s00037-021-00212-3.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5074192050","display_name":"Tom Gur","orcid":"https://orcid.org/0000-0001-7864-7013"},"institutions":[{"id":"https://openalex.org/I39555362","display_name":"University of Warwick","ror":"https://ror.org/01a77tt86","country_code":"GB","type":"education","lineage":["https://openalex.org/I39555362"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Tom Gur","raw_affiliation_strings":["University of Warwick, Conventry, UK","University of Warwick, Conventry, UK#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Warwick, Conventry, UK","institution_ids":["https://openalex.org/I39555362"]},{"raw_affiliation_string":"University of Warwick, Conventry, UK#TAB#","institution_ids":["https://openalex.org/I39555362"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063729451","display_name":"Yang P. Liu","orcid":"https://orcid.org/0000-0001-6717-0539"},"institutions":[{"id":"https://openalex.org/I4210137306","display_name":"Stanford Medicine","ror":"https://ror.org/03mtd9a03","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I4210137306","https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yang P. Liu","raw_affiliation_strings":["Stanford, California, USA","Stanford, California USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stanford, California, USA","institution_ids":["https://openalex.org/I4210137306"]},{"raw_affiliation_string":"Stanford, California USA","institution_ids":["https://openalex.org/I4210137306"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049757682","display_name":"Ron D. Rothblum","orcid":"https://orcid.org/0000-0001-5481-7276"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Ron D. Rothblum","raw_affiliation_strings":["Technion, Haifa, Israel","Technion , Haifa , Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technion, Haifa, Israel","institution_ids":["https://openalex.org/I174306211"]},{"raw_affiliation_string":"Technion , Haifa , Israel","institution_ids":["https://openalex.org/I174306211"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0023401,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"30","issue":"2","first_page":"15","last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9994999766349792,"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/T10237","display_name":"Cryptography and Data Security","score":0.9994999766349792,"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/T11269","display_name":"Algorithms and Data Compression","score":0.9987000226974487,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9984999895095825,"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/gas-meter-prover","display_name":"Gas meter prover","score":0.8918379545211792},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.8891149163246155},{"id":"https://openalex.org/keywords/proof-complexity","display_name":"Proof complexity","score":0.7161870002746582},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5765014886856079},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.5361433029174805},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5334091186523438},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4922470152378082},{"id":"https://openalex.org/keywords/sublinear-function","display_name":"Sublinear function","score":0.48222219944000244},{"id":"https://openalex.org/keywords/combinatorial-proof","display_name":"Combinatorial proof","score":0.44013649225234985},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4255119860172272},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.35792186856269836}],"concepts":[{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.8918379545211792},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.8891149163246155},{"id":"https://openalex.org/C105605280","wikidata":"https://www.wikidata.org/wiki/Q7249999","display_name":"Proof complexity","level":3,"score":0.7161870002746582},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5765014886856079},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.5361433029174805},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5334091186523438},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4922470152378082},{"id":"https://openalex.org/C117160843","wikidata":"https://www.wikidata.org/wiki/Q338652","display_name":"Sublinear function","level":2,"score":0.48222219944000244},{"id":"https://openalex.org/C118539577","wikidata":"https://www.wikidata.org/wiki/Q3402784","display_name":"Combinatorial proof","level":2,"score":0.44013649225234985},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4255119860172272},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.35792186856269836},{"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/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},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":8,"locations":[{"id":"doi:10.1007/s00037-021-00212-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00037-021-00212-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00037-021-00212-3.pdf","source":{"id":"https://openalex.org/S193995496","display_name":"Computational Complexity","issn_l":"1016-3328","issn":["1016-3328","1420-8954"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320186","host_organization_name":"Birkh\u00e4user","host_organization_lineage":["https://openalex.org/P4310320186","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Birkh\u00e4user","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"computational complexity","raw_type":"journal-article"},{"id":"pmh:oai:wrap.warwick.ac.uk:116094","is_oa":true,"landing_page_url":null,"pdf_url":"http://wrap.warwick.ac.uk/116094/1/WRAP-exponential-separation-between-MA-AM-proofs-Gur-2018.pdf","source":{"id":"https://openalex.org/S4306400665","display_name":"Warwick Research Archive Portal (University of Warwick)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I39555362","host_organization_name":"University of Warwick","host_organization_lineage":["https://openalex.org/I39555362"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference Item"},{"id":"pmh:oai:drops-oai.dagstuhl.de:9077","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2018.73","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"InProceedings"},{"id":"pmh:oai:www.repository.cam.ac.uk:1810/362848","is_oa":true,"landing_page_url":"https://www.repository.cam.ac.uk/handle/1810/362848","pdf_url":null,"source":{"id":"https://openalex.org/S4306401777","display_name":"Apollo (University of Cambridge)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I241749","host_organization_name":"University of Cambridge","host_organization_lineage":["https://openalex.org/I241749"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"pmh:oai:www.repository.cam.ac.uk:1810/362943","is_oa":true,"landing_page_url":"https://www.repository.cam.ac.uk/handle/1810/362943","pdf_url":null,"source":{"id":"https://openalex.org/S4306401777","display_name":"Apollo (University of Cambridge)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I241749","host_organization_name":"University of Cambridge","host_organization_lineage":["https://openalex.org/I241749"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference Object"},{"id":"doi:10.4230/lipics.icalp.2018.73","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.icalp.2018.73","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":""},{"id":"mag:2806763105","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/journals/eccc/eccc25.html#GurLR18","pdf_url":null,"source":{"id":"https://openalex.org/S4306509107","display_name":"Electron. Colloquium Comput. Complex.","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Electron. Colloquium Comput. Complex.","raw_type":null},{"id":"mag:2887969491","is_oa":false,"landing_page_url":"https://drops.dagstuhl.de/opus/volltexte/2018/9077/pdf/LIPIcs-ICALP-2018-73.pdf/","pdf_url":null,"source":{"id":"https://openalex.org/S4306418971","display_name":"International Colloquium on Automata, Languages and Programming","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"International Colloquium on Automata, Languages and Programming","raw_type":null}],"best_oa_location":{"id":"doi:10.1007/s00037-021-00212-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00037-021-00212-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00037-021-00212-3.pdf","source":{"id":"https://openalex.org/S193995496","display_name":"Computational Complexity","issn_l":"1016-3328","issn":["1016-3328","1420-8954"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320186","host_organization_name":"Birkh\u00e4user","host_organization_lineage":["https://openalex.org/P4310320186","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Birkh\u00e4user","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"computational complexity","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.46000000834465027,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1156209512","display_name":"CAREER: Computing on Encrypted Data","funder_award_id":"1350619","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1650813891","display_name":null,"funder_award_id":"1414119","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3434027513","display_name":null,"funder_award_id":"W911NF-15-C-0226","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"},{"id":"https://openalex.org/G4130051469","display_name":null,"funder_award_id":"MR/S031545/1","funder_id":"https://openalex.org/F4320314731","funder_display_name":"UK Research and Innovation"},{"id":"https://openalex.org/G4197024123","display_name":null,"funder_award_id":"W911NF-15-C-0236","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G4936088308","display_name":null,"funder_award_id":"W911NF-15-C-0236","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"},{"id":"https://openalex.org/G521827055","display_name":null,"funder_award_id":"CNS-1350619","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6573464313","display_name":null,"funder_award_id":"CNS-1414119","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6783516298","display_name":null,"funder_award_id":"W911NF-15-C-0226","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G7452299184","display_name":null,"funder_award_id":"W911NF","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320314731","display_name":"UK Research and Innovation","ror":"https://ror.org/001aqnf71"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320332815","display_name":"Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320333609","display_name":"Center for Long-Term Cybersecurity, University of California Berkeley","ror":null},{"id":"https://openalex.org/F4320338281","display_name":"Army Research Office","ror":"https://ror.org/05epdh915"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2806763105.pdf","grobid_xml":"https://content.openalex.org/works/W2806763105.grobid-xml"},"referenced_works_count":47,"referenced_works":["https://openalex.org/W1614234223","https://openalex.org/W1686241726","https://openalex.org/W1843704439","https://openalex.org/W1881597093","https://openalex.org/W1965580203","https://openalex.org/W1970278864","https://openalex.org/W1970630090","https://openalex.org/W1980223785","https://openalex.org/W1980471700","https://openalex.org/W1980684836","https://openalex.org/W1984477611","https://openalex.org/W1989636021","https://openalex.org/W1995926987","https://openalex.org/W2018925011","https://openalex.org/W2032083353","https://openalex.org/W2044199052","https://openalex.org/W2061662395","https://openalex.org/W2082647621","https://openalex.org/W2088263428","https://openalex.org/W2100732817","https://openalex.org/W2109833455","https://openalex.org/W2110769899","https://openalex.org/W2120210041","https://openalex.org/W2128633442","https://openalex.org/W2135952940","https://openalex.org/W2146688002","https://openalex.org/W2148957455","https://openalex.org/W2160856947","https://openalex.org/W2163605617","https://openalex.org/W2337421628","https://openalex.org/W2416431186","https://openalex.org/W2462227731","https://openalex.org/W2473767456","https://openalex.org/W2514575731","https://openalex.org/W2571478795","https://openalex.org/W2578338218","https://openalex.org/W2767417853","https://openalex.org/W2769478807","https://openalex.org/W2771519522","https://openalex.org/W2963046172","https://openalex.org/W2963869517","https://openalex.org/W4210551624","https://openalex.org/W4237825763","https://openalex.org/W4239261415","https://openalex.org/W4241342151","https://openalex.org/W6891679800","https://openalex.org/W6966891367"],"related_works":["https://openalex.org/W3194732277","https://openalex.org/W2742040237","https://openalex.org/W239882307","https://openalex.org/W1858333725","https://openalex.org/W2021586362","https://openalex.org/W3029599702","https://openalex.org/W2885314357","https://openalex.org/W2139594012","https://openalex.org/W2401934382","https://openalex.org/W2950148416","https://openalex.org/W1571856917","https://openalex.org/W2914525031","https://openalex.org/W1555946936","https://openalex.org/W2578338218","https://openalex.org/W935592923","https://openalex.org/W3198234886","https://openalex.org/W2067596507","https://openalex.org/W1605144615","https://openalex.org/W2966029787","https://openalex.org/W3186935454"],"abstract_inverted_index":{"Abstract":[0],"Interactive":[1],"proofs":[2,44,294,343],"of":[3,24,42,66,80,91,108,117,125,142,215,240,292,295,324,335,344],"proximity":[4],"allow":[5],"a":[6,12,21,27,52,78,237,256],"sublinear-time":[7],"verifier":[8,121],"to":[9,17,56,97,304],"check":[10],"that":[11,74,119,159,312],"given":[13],"input":[14,82,217],"is":[15,69,77,113,135,229],"close":[16],"the":[18,48,58,75,81,95,101,114,120,123,126,140,213,216,277,290,299,305,333],"language,":[19],"using":[20],"small":[22],"amount":[23],"communication":[25],"with":[26,162],"powerful":[28],"(but":[29],"untrusted)":[30],"prover.":[31],"In":[32,307],"this":[33,308,325],"work,":[34],"we":[35,147,287,310,327],"consider":[36,289],"two":[37],"natural":[38,152],"minimally":[39],"interactive":[40,342],"variants":[41],"such":[43],"systems,":[45],"in":[46,218,297],"which":[47,228,298],"prover":[49],"only":[50,83,315],"sends":[51],"single":[53],"message,":[54],"referred":[55],"as":[57,64,89],"proof.":[59,306],"The":[60,85,106],"first":[61],"variant,":[62,87],"known":[63,88],"-proofs":[65,90],"Proximity":[67,92],"(),":[68,93],"fully":[70],"non-interactive":[71],",":[72,176,209],"meaning":[73],"proof":[76,96,127],"function":[79],".":[84,285],"second":[86],"allows":[94],"additionally":[98],"depend":[99],"on":[100],"verifier's":[102,300],"(entire)":[103],"random":[104],"string.":[105],"complexity":[107,163,186],"both":[109],"s":[110,112,143,313],"and":[111,129,144,151,232,337],"total":[115],"number":[116],"bits":[118],"observes\u2014namely,":[122],"sum":[124],"length":[128,214],"query":[130],"complexity.":[131],"Our":[132,220],"main":[133],"result":[134,239],"an":[136,149,161,225,322,329],"exponential":[137,330],"separation":[138,331],"between":[139,332],"power":[141,334],"s.":[145,320],"Specifically,":[146],"exhibit":[148],"explicit":[150],"property":[153,279],"$$\\Pi$$":[154,180,280],"<mml:math":[155,166,181,188,258,281],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[156,167,182,189,259,282],"<mml:mi>\u03a0</mml:mi>":[157,183,283],"</mml:math>":[158,175,184,208,273,284],"admits":[160],"$$O(\\log":[164],"n)$$":[165],"<mml:mrow>":[168,190,195,199,260,265],"<mml:mi>O</mml:mi>":[169],"<mml:mo>(</mml:mo>":[170,196,262],"<mml:mo>log</mml:mo>":[171],"<mml:mi>n</mml:mi>":[172,198,264],"<mml:mo>)</mml:mo>":[173,205,271],"</mml:mrow>":[174,203,206,207,269,272],"whereas":[177],"any":[178],"for":[179,236,276,340],"has":[185,254],"$$\\tilde{\\Omega}(n^{1/4})$$":[187],"<mml:mover>":[191],"<mml:mi>\u03a9</mml:mi>":[192,261],"<mml:mo>~</mml:mo>":[193],"</mml:mover>":[194],"<mml:msup>":[197,263],"<mml:mn>1</mml:mn>":[200,266],"<mml:mo>/</mml:mo>":[201,267],"<mml:mn>4</mml:mn>":[202],"</mml:msup>":[204,270],"where":[210],"n":[211],"denotes":[212],"bits.":[219],"lower":[221,274],"bound":[222,275],"also":[223,288],"yields":[224],"alternate":[226],"proof,":[227],"more":[230],"general":[231],"arguably":[233],"much":[234],"simpler,":[235],"recent":[238],"Fischer":[241],"et":[242],"al.":[243],"(ITCS,":[244],"2014).":[245],"Also,":[246],"Aaronson":[247],"(":[248],"Quantum":[249],"Information":[250],"&amp;":[251],"Computation":[252],"2012)":[253],"shown":[255],"$$\\Omega(n^{1/6})$$":[257],"<mml:mn>6</mml:mn>":[268],"same":[278],"Lastly,":[286],"notion":[291],"oblivious":[293,303,341],"proximity,":[296],"queries":[301],"are":[302],"setting,":[309],"show":[311,328],"can":[314],"be":[316],"quadratically":[317],"stronger":[318],"than":[319],"As":[321],"application":[323],"result,":[326],"public":[336],"private":[338],"coin":[339],"proximity.":[345]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}