{"id":"https://openalex.org/W7221105221","doi":"https://doi.org/10.48550/arxiv.2610.10545","title":"A Proof of the Dittert Conjecture via Boundary Rigidity","display_name":"A Proof of the Dittert Conjecture via Boundary Rigidity","publication_year":2026,"publication_date":"2026-07-30","ids":{"openalex":"https://openalex.org/W7221105221","doi":"https://doi.org/10.48550/arxiv.2610.10545"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.10545","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.10545","pdf_url":"https://arxiv.org/pdf/2610.10545","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/2610.10545","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5158002107","display_name":"Xinan Dai","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"education","lineage":["https://openalex.org/I7882870"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Dai, Xinan","raw_affiliation_strings":["University of Glasgow , Glasgow , United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Glasgow , Glasgow , United Kingdom","institution_ids":["https://openalex.org/I7882870"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5158123498","display_name":"Wenhao Deng","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"education","lineage":["https://openalex.org/I7882870"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Deng, Wenhao","raw_affiliation_strings":["University of Glasgow , Glasgow , United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Glasgow , Glasgow , United Kingdom","institution_ids":["https://openalex.org/I7882870"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5158131749","display_name":"Yingdong Shi","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I30809798","display_name":"ShanghaiTech University","ror":"https://ror.org/030bhh786","country_code":"CN","type":"education","lineage":["https://openalex.org/I30809798"]},{"id":"https://openalex.org/I3133055985","display_name":"Westlake University","ror":"https://ror.org/05hfa4n20","country_code":"CN","type":"education","lineage":["https://openalex.org/I3133055985"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shi, Yingdong","raw_affiliation_strings":["Department of Artificial Intelligence , School of Engineering , Westlake University , Hangzhou , China","School of Information Science and Technology , ShanghaiTech University , Shanghai , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Artificial Intelligence , School of Engineering , Westlake University , Hangzhou , China","institution_ids":["https://openalex.org/I3133055985"]},{"raw_affiliation_string":"School of Information Science and Technology , ShanghaiTech University , Shanghai , China","institution_ids":["https://openalex.org/I30809798"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109695201","display_name":"Tailin Wu","orcid":"https://orcid.org/0009-0003-1586-0820","observed_orcids":["https://orcid.org/0009-0003-1586-0820"]},"institutions":[{"id":"https://openalex.org/I3133055985","display_name":"Westlake University","ror":"https://ror.org/05hfa4n20","country_code":"CN","type":"education","lineage":["https://openalex.org/I3133055985"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wu, Tailin","raw_affiliation_strings":["Department of Artificial Intelligence , School of Engineering , Westlake University , Hangzhou , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Artificial Intelligence , School of Engineering , Westlake University , Hangzhou , China","institution_ids":["https://openalex.org/I3133055985"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5158159976","display_name":"Yuchen Yang","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yang, Yuchen","raw_affiliation_strings":["Key Laboratory for Information Science of Electromagnetic Waves , Col- lege of Future Information and Technology , Fudan University , Shanghai , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory for Information Science of Electromagnetic Waves , Col- lege of Future Information and Technology , Fudan University , Shanghai , China","institution_ids":["https://openalex.org/I24943067"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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":{"id":"https://openalex.org/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.47530001401901245,"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"}},"topics":[{"id":"https://openalex.org/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.47530001401901245,"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"}},{"id":"https://openalex.org/T10792","display_name":"Matrix Theory and Algorithms","score":0.30709999799728394,"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/T11564","display_name":"Mathematical Inequalities and Applications","score":0.17190000414848328,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"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/permanent","display_name":"permanent","score":0.7450000047683716},{"id":"https://openalex.org/keywords/karush-kuhn-tucker-conditions","display_name":"Karush-Kuhn-Tucker conditions","score":0.9340000152587891},{"id":"https://openalex.org/keywords/spectral-proof","display_name":"spectral proof","score":0.5429999828338623},{"id":"https://openalex.org/keywords/combinatorial-optimization","display_name":"combinatorial optimization","score":0.5600000023841858}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8748999834060669},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.640999972820282},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6322000026702881},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4875999987125397},{"id":"https://openalex.org/C104140500","wikidata":"https://www.wikidata.org/wiki/Q2088159","display_name":"Row and column spaces","level":3,"score":0.48330000042915344},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.42329999804496765},{"id":"https://openalex.org/C124584101","wikidata":"https://www.wikidata.org/wiki/Q1053266","display_name":"Multiplier (economics)","level":2,"score":0.4196999967098236},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.39579999446868896},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3682999908924103},{"id":"https://openalex.org/C62438384","wikidata":"https://www.wikidata.org/wiki/Q331350","display_name":"Simplex","level":2,"score":0.3653999865055084},{"id":"https://openalex.org/C135598885","wikidata":"https://www.wikidata.org/wiki/Q1366302","display_name":"Row","level":2,"score":0.36000001430511475},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.3310999870300293},{"id":"https://openalex.org/C158693339","wikidata":"https://www.wikidata.org/wiki/Q190524","display_name":"Eigenvalues and eigenvectors","level":2,"score":0.3294000029563904},{"id":"https://openalex.org/C156004811","wikidata":"https://www.wikidata.org/wiki/Q2228257","display_name":"Multiplicity (mathematics)","level":2,"score":0.30320000648498535},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.2858999967575073},{"id":"https://openalex.org/C2781302577","wikidata":"https://www.wikidata.org/wiki/Q209","display_name":"Rectangle","level":2,"score":0.28519999980926514},{"id":"https://openalex.org/C134567657","wikidata":"https://www.wikidata.org/wiki/Q193794","display_name":"Identity matrix","level":3,"score":0.2815000116825104},{"id":"https://openalex.org/C48659774","wikidata":"https://www.wikidata.org/wiki/Q4907197","display_name":"Bijection, injection and surjection","level":3,"score":0.2791999876499176},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.27880001068115234},{"id":"https://openalex.org/C182310444","wikidata":"https://www.wikidata.org/wiki/Q1332643","display_name":"Boundary value problem","level":2,"score":0.2639000117778778},{"id":"https://openalex.org/C46875033","wikidata":"https://www.wikidata.org/wiki/Q1244890","display_name":"Rational number","level":2,"score":0.2540000081062317},{"id":"https://openalex.org/C68797384","wikidata":"https://www.wikidata.org/wiki/Q2746792","display_name":"Noncommutative geometry","level":2,"score":0.25119999051094055}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2610.10545","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.10545","pdf_url":"https://arxiv.org/pdf/2610.10545","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.2610.10545","doi":"https://doi.org/10.48550/arxiv.2610.10545","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.10545","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2610.10545","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.10545","pdf_url":"https://arxiv.org/pdf/2610.10545","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":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7221105221.pdf","grobid_xml":"https://content.openalex.org/works/W7221105221.grobid-xml"},"referenced_works_count":2,"referenced_works":["https://openalex.org/W7163143738","https://openalex.org/W7170185243"],"related_works":["https://openalex.org/W7163143738","https://openalex.org/W7170185243","https://openalex.org/W7172329881","https://openalex.org/W2051312918","https://openalex.org/W2020052858","https://openalex.org/W2556506705","https://openalex.org/W2048566573","https://openalex.org/W4389325953","https://openalex.org/W2167651133","https://openalex.org/W2006221128"],"abstract_inverted_index":{"Let":[0],"$\\mathcal{K}_n$":[1],"be":[2],"the":[3,40,49,64,72,143,153,193,199],"simplex":[4],"of":[5,74,78],"nonnegative":[6],"$n":[7,53,115],"\\times":[8],"n$":[9],"matrices":[10],"whose":[11],"entries":[12,85],"sum":[13],"to":[14,68,127],"$n$.":[15],"For":[16,113],"$A$":[17],"in":[18,86,161,174,182,198],"$\\mathcal{K}_n$,":[19],"with":[20,44,108,131],"row":[21],"sums":[22,26],"$r_1,\\ldots,r_n$":[23],"and":[24,80,89,100,147,163,179,185,195],"column":[25],"$c_1,\\ldots,c_n$,":[27],"define":[28],"$\u03a6(A)=\\prod_{i=1}^n":[29],"r_i+\\prod_{j=1}^n":[30],"c_j-\\mathrm{per}(A)$.":[31],"Dittert":[32],"conjectured":[33],"that":[34],"$\u03a6$":[35],"is":[36,67,159,190],"uniquely":[37],"maximized":[38],"by":[39,103],"uniform":[41,148,160],"matrix":[42,130],"$U_n=J_n/n$,":[43],"maximum":[45],"$2-n!/n^n$.":[46],"We":[47,168],"prove":[48],"conjecture":[50],"for":[51],"every":[52,60],"\\geq":[54,116],"2$.":[55],"Hwang's":[56],"theorem":[57],"already":[58],"determines":[59],"positive":[61],"maximizer,":[62],"so":[63],"essential":[65],"problem":[66],"exclude":[69,101],"maximizers":[70],"on":[71],"boundary":[73,125],"$\\mathcal{K}_n$.":[75],"A":[76,135],"reduction":[77],"Cheon":[79],"Wanless":[81],"supplies":[82],"two":[83,144],"zero":[84],"distinct":[87],"rows":[88],"columns.":[90],"In":[91],"order":[92],"four,":[93],"we":[94],"classify":[95],"all":[96,114],"admissible":[97],"support":[98],"strata":[99],"them":[102],"exact":[104],"Karush-Kuhn-Tucker":[105],"identities":[106],"together":[107],"a":[109,123,128,139],"Bernstein-form":[110],"positivity":[111],"certificate.":[112],"5$,":[117],"an":[118],"attained-stratum":[119],"averaging":[120],"argument":[121,158],"compresses":[122],"hypothetical":[124],"maximizer":[126],"seven-parameter":[129],"one":[132],"multiplicity":[133],"$m=n-2$.":[134],"symbolic":[136],"odd-variable":[137],"expansion,":[138],"cofactor":[140],"identity":[141],"at":[142],"missing":[145],"entries,":[146],"coefficient":[149],"inequalities":[150],"then":[151],"contradict":[152],"one-sided":[154],"multiplier":[155],"conditions.":[156],"This":[157],"$m$":[162],"uses":[164],"no":[165],"finite":[166],"enumeration.":[167],"also":[169],"give":[170],"independent":[171],"spectral":[172],"proofs":[173,181],"dimensions":[175,183],"7":[176],"through":[177],"13":[178],"prescribed-zero":[180],"14":[184],"15.":[186],"Every":[187],"dimension-dependent":[188],"calculation":[189],"certified":[191],"over":[192],"rationals":[194],"recorded":[196],"explicitly":[197],"appendices.":[200]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-10-10T00:00:00"}