{"id":"https://openalex.org/W2255673366","doi":"https://doi.org/10.1137/130927115","title":"New Limits to Classical and Quantum Instance Compression","display_name":"New Limits to Classical and Quantum Instance Compression","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W2255673366","doi":"https://doi.org/10.1137/130927115","mag":"2255673366"},"language":"en","primary_location":{"id":"doi:10.1137/130927115","is_oa":false,"landing_page_url":"https://doi.org/10.1137/130927115","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/A5037697309","display_name":"Andrew Drucker","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Andrew Drucker","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5037697309"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":19.2783,"has_fulltext":false,"cited_by_count":95,"citation_normalized_percentile":{"value":0.9956175,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":"44","issue":"5","first_page":"1443","last_page":"1479"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9998999834060669,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9987999796867371,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9987999796867371,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/compression","display_name":"Compression (physics)","score":0.7036532759666443},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.6345059275627136},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5771095156669617},{"id":"https://openalex.org/keywords/string","display_name":"String (physics)","score":0.530994176864624},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.47655895352363586},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.475988507270813},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.44910407066345215},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.19350206851959229}],"concepts":[{"id":"https://openalex.org/C180016635","wikidata":"https://www.wikidata.org/wiki/Q2712821","display_name":"Compression (physics)","level":2,"score":0.7036532759666443},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6345059275627136},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5771095156669617},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.530994176864624},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.47655895352363586},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.475988507270813},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.44910407066345215},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.19350206851959229},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","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/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"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":1,"locations":[{"id":"doi:10.1137/130927115","is_oa":false,"landing_page_url":"https://doi.org/10.1137/130927115","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"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.7900000214576721}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1522202519","https://openalex.org/W1970259241","https://openalex.org/W1976430052","https://openalex.org/W1976527161","https://openalex.org/W1986602165","https://openalex.org/W1998964055","https://openalex.org/W1999502904","https://openalex.org/W2021586362","https://openalex.org/W2032716871","https://openalex.org/W2038202352","https://openalex.org/W2038255135","https://openalex.org/W2045745231","https://openalex.org/W2051784313","https://openalex.org/W2062767125","https://openalex.org/W2064252342","https://openalex.org/W2069170136","https://openalex.org/W2070767505","https://openalex.org/W2083748805","https://openalex.org/W2091434162","https://openalex.org/W2107284348","https://openalex.org/W2131587307","https://openalex.org/W2148957455","https://openalex.org/W2149306165"],"related_works":["https://openalex.org/W3013085049","https://openalex.org/W1560496689","https://openalex.org/W4386900933","https://openalex.org/W4385301946","https://openalex.org/W4297797135","https://openalex.org/W3125672081","https://openalex.org/W1673581201","https://openalex.org/W2991991550","https://openalex.org/W64182352","https://openalex.org/W4289799755"],"abstract_inverted_index":{"Given":[0],"an":[1,223,321,344],"instance":[2,15,20,159,306],"of":[3,21,112,121,150,165,176,188,264,297,304],"a":[4,8,17,22,54,64,162,185,310,316,348,355,359,369,378],"hard":[5],"decision":[6],"problem,":[7],"limited":[9],"goal":[10],"is":[11,46,53,99,103,208,337,368],"to":[12,63,158,269,327,338,353,372],"compress":[13],"that":[14,58,68,147,173,205,232],"into":[16,377],"smaller,":[18],"equivalent":[19],"second":[23],"problem.":[24],"As":[25],"one":[26,44],"example,":[27],"consider":[28],"the":[29,148,174,270,281,301,325,328,340],"problem":[30],"where,":[31],"given":[32,283],"Boolean":[33],"formulas":[34],"$\\psi^1,":[35],"\\ldots,":[36,61],"\\psi^t$,":[37],"we":[38,230,381],"must":[39,314],"determine":[40],"if":[41,76,79,101,206],"at":[42],"least":[43],"$\\psi^j$":[45],"satisfiable.":[47],"An":[48],"$\\mathrm{OR}$-compression":[49],"scheme":[50,98,346],"for":[51,116,153,161,179,184,237,245,276,291,300,347,362],"SAT":[52,117,154,180,207,238],"polynomial-time":[55,311],"reduction":[56,313],"$R$":[57],"maps":[59],"$(\\psi^1,":[60],"\\psi^t)$":[62],"string":[65],"$z$,":[66],"such":[67,228],"$z$":[69],"lies":[70],"in":[71,106,308,320,334,343,351,358],"some":[72],"\u201ctarget\u201d":[73],"language":[74,349],"$L'$":[75,86],"and":[77,123,132,136,194,249,272,286],"only":[78],"$\\bigvee_j":[80],"[\\psi^j":[81],"\\in":[82],"\\mathrm{SAT}]$":[83],"holds.":[84],"(Here,":[85],"can":[87],"be":[88],"arbitrarily":[89],"complex.)":[90],"AND-compression":[91,178,219,345],"schemes":[92,263],"are":[93],"defined":[94],"similarly.":[95],"A":[96],"compression":[97,115,160,262,273],"strong":[100,151,177,233],"$|z|$":[102],"polynomially":[104],"bounded":[105],"$n":[107],"=":[108],"\\max_j":[109],"|\\psi^j|$,":[110],"independent":[111],"$t$.":[113],"Strong":[114],"seems":[118],"unlikely.":[119],"Work":[120],"Harnik":[122],"Naor":[124],"[SIAM":[125],"J.":[126],"Comput.,":[127],"39":[128],"(2010),":[129],"pp.":[130,144,202],"1667--1713]":[131],"Bodlaender,":[133],"Downey,":[134],"Fellows,":[135],"Hermelin":[137],"[J.":[138,196],"Comput.":[139,197],"System":[140,198],"Sci.,":[141,199],"75":[142],"(2009),":[143],"423--434]":[145],"showed":[146,172,204],"infeasibility":[149,175],"OR-compression":[152,236,290],"would":[155,181,239],"show":[156,231],"limits":[157],"large":[163],"number":[164],"natural":[166],"problems.":[167,189],"Bodlaender":[168],"et":[169],"al.":[170],"also":[171,294],"have":[182],"consequences":[183],"different":[186],"list":[187],"Motivated":[190],"by":[191,284],"this,":[192],"Fortnow":[193,285],"Santhanam":[195,287],"77":[200],"(2011),":[201],"91--106]":[203],"strongly":[209],"OR-compressible,":[210],"then":[211],"$\\mathsf{NP}":[212,254],"\\subseteq":[213,255],"\\mathsf{coNP/poly}$.":[214,256],"Finding":[215],"similar":[216],"evidence":[217,282],"against":[218,260,288],"was":[220],"left":[221],"as":[222],"open":[224],"question.":[225],"We":[226,293],"provide":[227],"evidence:":[229],"AND-":[234],"or":[235],"imply":[240],"nonuniform,":[241],"statistical":[242],"zero-knowledge":[243],"proofs":[244,336],"SAT---an":[246],"even":[247],"stronger":[248],"more":[250],"unlikely":[251],"consequence":[252],"than":[253],"Our":[257,364],"method":[258,371,384],"applies":[259],"probabilistic":[261,289],"sufficient":[265],"\u201cquality\u201d":[266],"with":[267],"respect":[268],"reliability":[271],"amount":[274],"(allowing":[275],"tradeoff).":[277],"This":[278],"greatly":[279],"strengthens":[280],"SAT.":[292],"give":[295],"variants":[296],"these":[298],"results":[299],"analogous":[302],"task":[303],"quantum":[305,312,317],"compression,":[307],"which":[309],"output":[315],"state":[318],"that,":[319],"appropriate":[322],"sense,":[323],"\u201cpreserves":[324],"answer\u201d":[326],"input":[329],"instance.":[330],"The":[331],"central":[332],"idea":[333],"our":[335],"exploit":[339],"information":[341,374],"bottleneck":[342],"$L$":[350],"order":[352],"fool":[354],"cheating":[356],"prover":[357],"proof":[360],"system":[361],"$\\overline{L}$.":[363],"key":[365],"technical":[366],"tool":[367],"new":[370],"\u201cdisguise\u201d":[373],"being":[375],"fed":[376],"compressive":[379],"mapping;":[380],"believe":[382],"this":[383],"may":[385],"find":[386],"other":[387],"applications.":[388]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":9},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":8},{"year":2018,"cited_by_count":41},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":7},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}