{"id":"https://openalex.org/W7213515561","doi":"https://doi.org/10.48550/arxiv.2609.18913","title":"A Walk From Free Probability to Matrix Discrepancy II: Weaver's Problem and the Kadison-Singer Conjecture","display_name":"A Walk From Free Probability to Matrix Discrepancy II: Weaver's Problem and the Kadison-Singer Conjecture","publication_year":2026,"publication_date":"2026-09-16","ids":{"openalex":"https://openalex.org/W7213515561","doi":"https://doi.org/10.48550/arxiv.2609.18913"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.18913","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.18913","pdf_url":"https://arxiv.org/pdf/2609.18913","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2609.18913","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015882189","display_name":"Tarun Kathuria","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Kathuria, Tarun","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5015882189"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":2,"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":{"id":"https://openalex.org/T11716","display_name":"Random Matrices and Applications","score":0.20430000126361847,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11716","display_name":"Random Matrices and Applications","score":0.20430000126361847,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12404","display_name":"Mathematical Approximation and Integration","score":0.164900004863739,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11329","display_name":"Limits and Structures in Graph Theory","score":0.1005999967455864,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/free-probability","display_name":"free probability","score":0.9039999842643738},{"id":"https://openalex.org/keywords/spectral-edge","display_name":"spectral edge","score":0.4189999997615814},{"id":"https://openalex.org/keywords/sdp-relaxation","display_name":"SDP relaxation","score":0.671999990940094},{"id":"https://openalex.org/keywords/karush-kuhn-tucker-conditions","display_name":"Karush-Kuhn-Tucker conditions","score":0.8820000290870667},{"id":"https://openalex.org/keywords/min-max-optimization","display_name":"minimax optimization","score":0.6290000081062317},{"id":"https://openalex.org/keywords/polynomial-time-algorithms","display_name":"polynomial-time algorithms","score":0.5389999747276306}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7943000197410583},{"id":"https://openalex.org/C178650346","wikidata":"https://www.wikidata.org/wiki/Q201984","display_name":"Covariance","level":2,"score":0.5299000144004822},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.5235000252723694},{"id":"https://openalex.org/C2776135515","wikidata":"https://www.wikidata.org/wiki/Q17143721","display_name":"Regularization (linguistics)","level":2,"score":0.4675999879837036},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.44920000433921814},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.43130001425743103},{"id":"https://openalex.org/C185142706","wikidata":"https://www.wikidata.org/wiki/Q1134404","display_name":"Covariance matrix","level":2,"score":0.42969998717308044},{"id":"https://openalex.org/C137800194","wikidata":"https://www.wikidata.org/wiki/Q11713455","display_name":"Interpolation (computer graphics)","level":3,"score":0.41449999809265137},{"id":"https://openalex.org/C139676723","wikidata":"https://www.wikidata.org/wiki/Q1193832","display_name":"Sign (mathematics)","level":2,"score":0.41130000352859497},{"id":"https://openalex.org/C50820777","wikidata":"https://www.wikidata.org/wiki/Q213723","display_name":"Hypercube","level":2,"score":0.40389999747276306},{"id":"https://openalex.org/C207467116","wikidata":"https://www.wikidata.org/wiki/Q4385666","display_name":"Inverse","level":2,"score":0.37130001187324524},{"id":"https://openalex.org/C2778114796","wikidata":"https://www.wikidata.org/wiki/Q7575194","display_name":"Spectral gap","level":2,"score":0.3587000072002411},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3529999852180481},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.3422999978065491},{"id":"https://openalex.org/C121194460","wikidata":"https://www.wikidata.org/wiki/Q856741","display_name":"Random walk","level":2,"score":0.3330000042915344},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.3303999900817871},{"id":"https://openalex.org/C156778621","wikidata":"https://www.wikidata.org/wiki/Q1365748","display_name":"Spectrum (functional analysis)","level":2,"score":0.32690000534057617},{"id":"https://openalex.org/C135252773","wikidata":"https://www.wikidata.org/wiki/Q1567213","display_name":"Inverse problem","level":2,"score":0.32269999384880066},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.322299987077713},{"id":"https://openalex.org/C148043351","wikidata":"https://www.wikidata.org/wiki/Q4456944","display_name":"Current (fluid)","level":2,"score":0.3172000050544739},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.3034999966621399},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.28769999742507935},{"id":"https://openalex.org/C64812099","wikidata":"https://www.wikidata.org/wiki/Q176604","display_name":"Random matrix","level":3,"score":0.26010000705718994},{"id":"https://openalex.org/C23463724","wikidata":"https://www.wikidata.org/wiki/Q2308831","display_name":"Spectral method","level":2,"score":0.2599000036716461},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.25600001215934753}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.18913","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.18913","pdf_url":"https://arxiv.org/pdf/2609.18913","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"doi:10.48550/arxiv.2609.18913","doi":"https://doi.org/10.48550/arxiv.2609.18913","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.18913","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.18913","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.18913","pdf_url":"https://arxiv.org/pdf/2609.18913","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7213515561.pdf","grobid_xml":"https://content.openalex.org/works/W7213515561.grobid-xml"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W1483804921","https://openalex.org/W1995019816","https://openalex.org/W2148195034","https://openalex.org/W2324115660","https://openalex.org/W2559932201","https://openalex.org/W2606549145","https://openalex.org/W2798620122","https://openalex.org/W2798971893","https://openalex.org/W2804172638","https://openalex.org/W2923274180","https://openalex.org/W3070214604","https://openalex.org/W3194228126","https://openalex.org/W4229083661","https://openalex.org/W4251217991","https://openalex.org/W4316652355","https://openalex.org/W4391871107","https://openalex.org/W7223737161"],"related_works":["https://openalex.org/W7213563759","https://openalex.org/W7213919510","https://openalex.org/W7213395904","https://openalex.org/W2949573489","https://openalex.org/W2084010106","https://openalex.org/W7214080252","https://openalex.org/W7214074023","https://openalex.org/W4229070106","https://openalex.org/W3070214604","https://openalex.org/W4316652355"],"abstract_inverted_index":{"\\cite{mss2015}":[0],"proved":[1],"Weaver's":[2],"discrepancy":[3,37,69,126,200,225],"result":[4],"existentially,":[5],"resolving":[6],"the":[7,24,45,48,68,83,90,125,136,140,156,163,185,193,203,207],"Kadison--Singer":[8],"conjecture":[9],".":[10],"Finding":[11],"such":[12],"signs":[13],"efficiently":[14],"for":[15],"general":[16],"inputs":[17],"remained":[18],"an":[19,73],"open":[20],"algorithmic":[21],"question.":[22],"In":[23],"real-arithmetic":[25],"model,":[26],"we":[27,101],"give":[28],"a":[29,51,58,63,120,146,167,180],"deterministic":[30],"algorithm":[31,42],"running":[32],"in":[33,112],"polynomial":[34],"time":[35],"with":[36,107],"at":[38,175],"most":[39],"$35\\sqrt\\varepsilon$.":[40],"The":[41,78,116],"walks":[43],"from":[44,206],"origin":[46],"of":[47,67,94,145,196,222],"hypercube":[49],"to":[50,130,155,184],"vertex,":[52],"fixing":[53],"coordinates":[54],"as":[55,82],"they":[56],"hit":[57],"face.":[59],"Its":[60],"potential":[61,118],"measures":[62],"soft":[64],"spectral":[65,108,177],"edge":[66],"matrix":[70,157],"perturbed":[71],"by":[72,89],"operator-valued":[74],"free":[75,91],"semicircular":[76],"element.":[77],"perturbation's":[79],"covariance":[80,129],"vanishes":[81],"coefficients":[84],"reach":[85],"their":[86],"endpoints.":[87],"Inspired":[88],"interpolation":[92],"approach":[93],"Bandeira,":[95],"Boedihardjo,":[96],"and":[97,114,127,216,230],"van":[98],"Handel":[99],"\\cite{bbvh2023},":[100],"combine":[102],"Lehner's":[103],"variational":[104],"formula":[105],"\\cite{lehner1999}":[106],"Tsallis--$1/2$":[109],"regularization":[110],"used":[111],"\\cite{allenZhuLiaoOrecchia2015}":[113],"\\cite{pesentivladu2026}.":[115],"resulting":[117],"has":[119],"finite-dimensional":[121],"SDP":[122],"formulation,":[123],"allowing":[124],"remaining":[128],"be":[131,232],"analyzed":[132],"together.":[133],"We":[134],"analyze":[135],"optimizer's":[137],"stability":[138],"through":[139],"linearized":[141],"Karush--Kuhn--Tucker":[142],"(KKT)":[143],"system":[144],"regularized":[147],"min--max":[148],"problem,":[149],"whose":[150],"stationarity":[151],"equations":[152],"are":[153],"related":[154],"Dyson":[158],"equation":[159],"\\cite{erdos2019}.":[160],"This":[161],"gives":[162],"movement":[164],"rule:":[165],"either":[166],"coordinate":[168],"can":[169],"move":[170],"toward":[171],"its":[172],"nearer":[173],"endpoint":[174],"small":[176],"cost,":[178],"or":[179],"low-curvature":[181],"direction":[182,198],"orthogonal":[183],"current":[186],"coefficient":[187],"vector":[188],"allows":[189],"further":[190],"progress.":[191],"Choosing":[192],"better":[194],"sign":[195],"this":[197],"controls":[199],"while":[201],"increasing":[202],"squared":[204],"distance":[205],"origin.":[208],"Upcoming":[209],"work":[210],"\\cite{kathuria2026higherRank}":[211],"will":[212,231],"address":[213],"higher-rank":[214],"Kadison-Singer":[215],"spectrally":[217],"thin":[218],"trees.":[219],"Lean":[220],"formalizations":[221],"our":[223],"main":[224],"theorems":[226],"have":[227],"been":[228],"completed":[229],"released":[233],"shortly.":[234]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-18T00:00:00"}