{"id":"https://openalex.org/W7170156665","doi":"https://doi.org/10.4230/lipics.ccc.2026.13","title":"Resolution Width Lifts to Near-Quadratic-Depth Res(\u2295) Size","display_name":"Resolution Width Lifts to Near-Quadratic-Depth Res(\u2295) Size","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7170156665","doi":"https://doi.org/10.4230/lipics.ccc.2026.13"},"language":"en","primary_location":{"id":"doi:10.4230/lipics.ccc.2026.13","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.ccc.2026.13","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","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":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},"type":"conference-paper","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.4230/lipics.ccc.2026.13","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015046471","display_name":"Dmitry Itsykson","orcid":"https://orcid.org/0000-0003-2680-4800"},"institutions":[{"id":"https://openalex.org/I124227911","display_name":"Ben-Gurion University of the Negev","ror":"https://ror.org/05tkyf982","country_code":"IL","type":"education","lineage":["https://openalex.org/I124227911"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Itsykson, Dmitry","raw_affiliation_strings":["Ben-Gurion University of the Negev, Beer-Sheva, Israel"],"raw_orcid":"https://orcid.org/0000-0003-2680-4800","affiliations":[{"raw_affiliation_string":"Ben-Gurion University of the Negev, Beer-Sheva, Israel","institution_ids":["https://openalex.org/I124227911"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038669776","display_name":"Vladimir V. Podolskii","orcid":"https://orcid.org/0000-0001-7154-138X"},"institutions":[{"id":"https://openalex.org/I121934306","display_name":"Tufts University","ror":"https://ror.org/05wvpxv85","country_code":"US","type":"education","lineage":["https://openalex.org/I121934306"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Podolskii, Vladimir","raw_affiliation_strings":["Tufts University, Medford, MA, USA"],"raw_orcid":"https://orcid.org/0000-0001-7154-138X","affiliations":[{"raw_affiliation_string":"Tufts University, Medford, MA, USA","institution_ids":["https://openalex.org/I121934306"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068080640","display_name":"Alexander Shekhovtsov","orcid":"https://orcid.org/0000-0003-0678-8954"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Shekhovtsov, Alexander","raw_affiliation_strings":["EPFL, Lausanne, Switzerland"],"raw_orcid":"https://orcid.org/0009-0000-0641-3541","affiliations":[{"raw_affiliation_string":"EPFL, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/logarithm","display_name":"Logarithm","score":0.7026000022888184},{"id":"https://openalex.org/keywords/resolution","display_name":"Resolution (logic)","score":0.6779999732971191},{"id":"https://openalex.org/keywords/quadratic-equation","display_name":"Quadratic equation","score":0.6651999950408936},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.6258999705314636},{"id":"https://openalex.org/keywords/gadget","display_name":"Gadget","score":0.5049999952316284},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.4424000084400177}],"concepts":[{"id":"https://openalex.org/C39927690","wikidata":"https://www.wikidata.org/wiki/Q11197","display_name":"Logarithm","level":2,"score":0.7026000022888184},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.6779999732971191},{"id":"https://openalex.org/C129844170","wikidata":"https://www.wikidata.org/wiki/Q41299","display_name":"Quadratic equation","level":2,"score":0.6651999950408936},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.6258999705314636},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6208000183105469},{"id":"https://openalex.org/C119770614","wikidata":"https://www.wikidata.org/wiki/Q5516347","display_name":"Gadget","level":2,"score":0.5049999952316284},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4424000084400177},{"id":"https://openalex.org/C110121322","wikidata":"https://www.wikidata.org/wiki/Q865811","display_name":"Distribution (mathematics)","level":2,"score":0.42260000109672546},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4097000062465668},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3343000113964081},{"id":"https://openalex.org/C3020199158","wikidata":"https://www.wikidata.org/wiki/Q210521","display_name":"High resolution","level":2,"score":0.3100999891757965},{"id":"https://openalex.org/C203527163","wikidata":"https://www.wikidata.org/wiki/Q262959","display_name":"Cuboid","level":2,"score":0.3037000000476837},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2957000136375427},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.29109999537467957},{"id":"https://openalex.org/C195956108","wikidata":"https://www.wikidata.org/wiki/Q7268362","display_name":"Quadratic growth","level":2,"score":0.2831000089645386},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.28040000796318054},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.2572000026702881}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.4230/lipics.ccc.2026.13","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.ccc.2026.13","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","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":"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":"ConferencePaper"}],"best_oa_location":{"id":"doi:10.4230/lipics.ccc.2026.13","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.ccc.2026.13","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","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":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0],"show":[1],"that":[2,9,273],"for":[3,18,73],"any":[4,19,279],"unsatisfiable":[5],"CNF":[6],"formula":[7,36,56],"\u03c6":[8],"requires":[10,89],"resolution":[11,160,276],"refutation":[12,32,52,193,281],"width":[13],"at":[14,40,45,101],"least":[15,46],"w,":[16],"and":[17,66,81,85,94,117,122,126,129,133,170,174,218,222,233,260,316],"1-stifling":[20],"gadget":[21],"g":[22,25],"(for":[23],"example,":[24],"=":[26],"MAJ\u2083),":[27],"(1)":[28],"every":[29,50],"resolution-over-parities":[30],"(Res(\u2295))":[31],"of":[33,38,53,79,91,99,115,127,151,168,191,216,238,247,270,282,302,313],"the":[34,54,165,182,189,192,204,212,229,236,239,245,250,300,307],"lifted":[35,55],"\u03c6\u2218g":[37,57],"size":[39,59,93,237,301],"most":[41,102],"S":[42],"has":[43,58,287],"depth":[44,100,141,230,283],"\u03a9(w\u00b2/log":[47],"S);":[48],"(2)":[49],"Res(\u2295)":[51,280,303],"\u03a9(w\u00b2).":[60],"The":[61,76,113],"first":[62],"result":[63,78,107,292],"substantially":[64,210],"extends":[65],"simplifies":[67],"all":[68],"previously":[69,308],"known":[70,309],"lifting":[71,77],"theorems":[72],"bounded-depth":[74],"Res(\u2295).":[75],"Itsykson":[80,84,171,217,221,259],"Knop":[82,219],"[Dmitry":[83,220,258],"Alexander":[86,223,261],"Knop,":[87,224,262],"2026]":[88],"gadgets":[90],"logarithmic":[92],"applies":[95,108],"only":[96],"to":[97,109,138,188,242],"refutations":[98],"O(nlog":[103],"n),":[104],"whereas":[105],"our":[106],"nearly":[110,139],"quadratic":[111,140,296],"depth.":[112],"liftings":[114],"Bhattacharya":[116,121],"Chattopadhyay":[118],"[Sreejata":[119],"Kishor":[120],"Arkadev":[123],"Chattopadhyay,":[124],"2025]":[125,136,177],"Byramji":[128,132,315],"Impagliazzo":[130],"[Farzan":[131,314],"Russell":[134,317],"Impagliazzo,":[135,318],"apply":[137],"as":[142],"well,":[143],"but":[144],"rely":[145],"on":[146,200,299],"a":[147,179,198,268,294],"much":[148],"stronger":[149],"assumption":[150],"(\u03a9(n),\u03a9(n))-DT-hardness,":[152],"which":[153],"is":[154,185],"far":[155],"less":[156],"standard":[157],"than":[158,196],"large":[159],"width.":[161],"Our":[162,290],"proof":[163],"combines":[164],"random-walk-with-restarts":[166],"method":[167],"Alekseev":[169,173],"[Yaroslav":[172],"Dmitry":[175],"Itsykson,":[176],"with":[178,249],"new":[180],"idea:":[181],"random":[183],"walk":[184],"defined":[186],"relative":[187],"structure":[190],"graph,":[194],"rather":[195],"by":[197,203,227,234],"distribution":[199],"inputs":[201],"induced":[202],"formula.":[205],"Using":[206],"this":[207],"technique,":[208],"we":[209,266],"strengthen":[211],"supercritical":[213],"size-depth":[214],"tradeoff":[215],"2026],":[225],"both":[226],"improving":[228,305],"lower":[231,297,311],"bound":[232,298,312],"reducing":[235],"separating":[240],"formulas":[241,272],"polynomial":[243],"in":[244,257],"number":[246],"variables,":[248],"latter":[251],"resolving":[252],"an":[253],"open":[254],"question":[255],"posed":[256],"2026].":[263],"In":[264],"particular,":[265],"construct":[267],"family":[269],"polynomial-size":[271,275],"admit":[274],"refutations,":[277,304],"while":[278],"o(n\u00b2/log\u2074":[284],"n)":[285],"necessarily":[286],"superpolynomial":[288],"size.":[289],"second":[291],"yields":[293],"pure":[295],"upon":[306],"near-quadratic":[310],"2025].":[319]},"counts_by_year":[],"updated_date":"2026-07-24T06:07:23.975819","created_date":"2026-07-24T00:00:00"}