{"id":"https://openalex.org/W7204953190","doi":"https://doi.org/10.48550/arxiv.2608.29403","title":"Kac's Walk on Rotation Matrices Mixes in $\\boldsymbol{\u0398(n^2)}$ Steps: A Proof Discovered with AI","display_name":"Kac's Walk on Rotation Matrices Mixes in $\\boldsymbol{\u0398(n^2)}$ Steps: A Proof Discovered with AI","publication_year":2026,"publication_date":"2026-08-29","ids":{"openalex":"https://openalex.org/W7204953190","doi":"https://doi.org/10.48550/arxiv.2608.29403"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2608.29403","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.29403","pdf_url":"https://arxiv.org/pdf/2608.29403","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/2608.29403","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5148882056","display_name":"Tianle Liu","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I114027177","display_name":"University of North Carolina at Chapel Hill","ror":"https://ror.org/0130frc33","country_code":"US","type":"education","lineage":["https://openalex.org/I114027177"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Liu, Tianle","raw_affiliation_strings":["Department of Statistics and Operations Research University of North Carolina at Chapel Hill"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Statistics and Operations Research University of North Carolina at Chapel Hill","institution_ids":["https://openalex.org/I114027177"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5148882056"],"corresponding_institution_ids":["https://openalex.org/I114027177"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"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/T12056","display_name":"Markov Chains and Monte Carlo Methods","score":0.6791999936103821,"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/T12056","display_name":"Markov Chains and Monte Carlo Methods","score":0.6791999936103821,"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/T13500","display_name":"Probability and Statistical Research","score":0.1469999998807907,"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/T11152","display_name":"Stochastic processes and statistical mechanics","score":0.04600000008940697,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/rotation-matrix","display_name":"rotation matrices","score":0.8190000057220459},{"id":"https://openalex.org/keywords/mixing-time","display_name":"mixing time","score":0.9449999928474426},{"id":"https://openalex.org/keywords/weyl-curvature","display_name":"Weyl curvature","score":0.6449999809265137},{"id":"https://openalex.org/keywords/ricci-curvature","display_name":"Ricci curvature","score":0.9440000057220459},{"id":"https://openalex.org/keywords/haar-measure","display_name":"Haar measure","score":0.8980000019073486},{"id":"https://openalex.org/keywords/logarithmic-sobolev-inequality","display_name":"logarithmic Sobolev inequality","score":0.9819999933242798}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8421000242233276},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.554099977016449},{"id":"https://openalex.org/C39927690","wikidata":"https://www.wikidata.org/wiki/Q11197","display_name":"Logarithm","level":2,"score":0.5022000074386597},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.4438999891281128},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.3953000009059906},{"id":"https://openalex.org/C2778217198","wikidata":"https://www.wikidata.org/wiki/Q556977","display_name":"Cutoff","level":2,"score":0.37529999017715454},{"id":"https://openalex.org/C195065555","wikidata":"https://www.wikidata.org/wiki/Q214881","display_name":"Curvature","level":2,"score":0.3702999949455261},{"id":"https://openalex.org/C11577676","wikidata":"https://www.wikidata.org/wiki/Q134237","display_name":"Square root","level":2,"score":0.3352999985218048},{"id":"https://openalex.org/C117354338","wikidata":"https://www.wikidata.org/wiki/Q1165112","display_name":"Singleton","level":3,"score":0.334199994802475},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3312000036239624},{"id":"https://openalex.org/C164506360","wikidata":"https://www.wikidata.org/wiki/Q1751496","display_name":"Poincar\u00e9 inequality","level":3,"score":0.32249999046325684},{"id":"https://openalex.org/C12089564","wikidata":"https://www.wikidata.org/wiki/Q1195879","display_name":"Ricci curvature","level":3,"score":0.314300000667572},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3068999946117401},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.30469998717308044},{"id":"https://openalex.org/C126875415","wikidata":"https://www.wikidata.org/wiki/Q203425","display_name":"Unit circle","level":2,"score":0.2996000051498413},{"id":"https://openalex.org/C16171025","wikidata":"https://www.wikidata.org/wiki/Q863349","display_name":"Singularity","level":2,"score":0.2987000048160553},{"id":"https://openalex.org/C57691317","wikidata":"https://www.wikidata.org/wiki/Q1289248","display_name":"Scalar (mathematics)","level":2,"score":0.29649999737739563},{"id":"https://openalex.org/C158693339","wikidata":"https://www.wikidata.org/wiki/Q190524","display_name":"Eigenvalues and eigenvectors","level":2,"score":0.2957000136375427},{"id":"https://openalex.org/C77246614","wikidata":"https://www.wikidata.org/wiki/Q1409400","display_name":"Gramian matrix","level":3,"score":0.2922999858856201},{"id":"https://openalex.org/C207467116","wikidata":"https://www.wikidata.org/wiki/Q4385666","display_name":"Inverse","level":2,"score":0.2897999882698059},{"id":"https://openalex.org/C121194460","wikidata":"https://www.wikidata.org/wiki/Q856741","display_name":"Random walk","level":2,"score":0.2745000123977661},{"id":"https://openalex.org/C178650346","wikidata":"https://www.wikidata.org/wiki/Q201984","display_name":"Covariance","level":2,"score":0.26930001378059387},{"id":"https://openalex.org/C74050887","wikidata":"https://www.wikidata.org/wiki/Q848368","display_name":"Rotation (mathematics)","level":2,"score":0.2678999900817871},{"id":"https://openalex.org/C155281189","wikidata":"https://www.wikidata.org/wiki/Q3518150","display_name":"Tensor (intrinsic definition)","level":2,"score":0.2590999901294708},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.250900000333786}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.29403","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.29403","pdf_url":"https://arxiv.org/pdf/2608.29403","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.2608.29403","doi":"https://doi.org/10.48550/arxiv.2608.29403","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.29403","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:2608.29403","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.29403","pdf_url":"https://arxiv.org/pdf/2608.29403","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/W7204953190.pdf","grobid_xml":"https://content.openalex.org/works/W7204953190.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W423603040","https://openalex.org/W1516552505","https://openalex.org/W1955533428","https://openalex.org/W1965712937","https://openalex.org/W1979729863","https://openalex.org/W1991977420","https://openalex.org/W2011211004","https://openalex.org/W2013472589","https://openalex.org/W2021115151","https://openalex.org/W2030922374","https://openalex.org/W2039618684","https://openalex.org/W2041910029","https://openalex.org/W2090381981","https://openalex.org/W2137798267","https://openalex.org/W2138309709","https://openalex.org/W2151838441","https://openalex.org/W2396538619","https://openalex.org/W2558559511","https://openalex.org/W3000567183","https://openalex.org/W7157054200","https://openalex.org/W7162570808","https://openalex.org/W7203781891"],"related_works":["https://openalex.org/W7157054200","https://openalex.org/W2396538619","https://openalex.org/W1499761144","https://openalex.org/W2184645155","https://openalex.org/W3101481558","https://openalex.org/W1516552505","https://openalex.org/W7211993175","https://openalex.org/W1641041954","https://openalex.org/W2558559511","https://openalex.org/W7098616251"],"abstract_inverted_index":{"Let":[0],"$N=\\binom":[1],"n2=\\dim\\mathrm{SO}(n)$.":[2],"We":[3],"prove":[4],"that":[5],"the":[6,30,41,45,54,68,81,160,183,219,225],"coordinate-plane":[7],"Kac":[8],"walk":[9],"on":[10,172],"$\\mathrm{SO}(n)$":[11],"has":[12],"total-variation":[13,227],"mixing":[14],"time":[15],"of":[16,67,182],"order":[17],"$N$:":[18],"for":[19,80,98],"every":[20],"fixed":[21],"$0<\\varepsilon<1$,":[22],"\\[":[23],"t_{\\mathrm{mix}}^{(n)}(\\varepsilon)=\u0398_\\varepsilon(n^2).":[24],"\\]":[25],"The":[26,37,51,129,204],"lower":[27],"bound":[28,39],"is":[29,74,104,137,165,208,236],"dimensional":[31],"singularity":[32],"obstruction":[33],"before":[34,124],"$N$":[35],"steps.":[36,212],"upper":[38,228],"removes":[40],"final":[42,161],"logarithm":[43],"from":[44],"previously":[46],"known":[47],"$O(n^2\\log":[48],"n)$":[49],"estimate.":[50],"proof":[52],"combines":[53],"discrete":[55],"Malliavin":[56],"coupling":[57],"and":[58,134,159,177,195,218],"low-degree":[59],"pseudo-mixing":[60],"inputs":[61],"with":[62],"a":[63,75,113,147,154,168,196],"new":[64],"log-free":[65],"analysis":[66],"derivative":[69],"shells.":[70],"Its":[71,101],"static":[72],"core":[73,103],"circuit-anchored,":[76],"arbitrary-spectrum":[77],"root/pass":[78],"identity":[79],"physical":[82,141],"five-box":[83],"prime.":[84],"Keeping":[85],"one":[86],"normalization":[87],"base":[88],"per":[89],"original":[90],"circuit":[91],"permits":[92],"simultaneous":[93],"scalar":[94],"regluing":[95],"without":[96],"paying":[97],"artificial":[99],"cuts.":[100],"temporal":[102],"an":[105,178,190],"exact":[106,179],"chronological":[107],"calculus:":[108],"passive":[109],"singleton":[110],"runs":[111],"acquire":[112],"coboundary/Riesz":[114],"gain,":[115],"while":[116],"root-interrupted":[117],"components":[118],"are":[119,127],"allocated":[120],"by":[121,167],"vertex-labelled":[122],"packets":[123,145,152],"absolute":[125],"values":[126],"taken.":[128],"curvature":[130],"split":[131],"into":[132],"pure-Weyl":[133],"Ricci":[135,157,163],"parts":[136],"kept":[138],"at":[139],"its":[140,173],"tensor":[142],"type.":[143],"All-Weyl":[144],"retain":[146],"full":[148],"$N^{-1}$":[149],"resource;":[150],"mixed":[151],"contain":[153],"typed":[155],"$O(n^{-1/2})$":[156],"debit;":[158],"packetless":[162],"cell":[164],"closed":[166],"joint":[169],"invariant-column":[170],"estimate":[171],"two":[174],"root-hit":[175],"circuits":[176],"causal":[180],"restoration":[181],"marked":[184],"root":[185],"time.":[186],"These":[187],"estimates":[188],"yield":[189],"$O(n)$":[191],"squared":[192],"first-derivative":[193],"shell":[194],"summable":[197],"all-order":[198],"marked-shell":[199],"expansion":[200],"through":[201],"logarithmic":[202],"degree.":[203],"resulting":[205],"score":[206],"energy":[207],"$O(n/c^2)$":[209],"after":[210],"$cN$":[211],"A":[213],"weighted":[214],"submersion":[215],"integration-by-parts":[216],"argument":[217],"Haar":[220],"log-Sobolev":[221],"inequality":[222],"then":[223],"give":[224],"uniform":[226],"bound.":[229],"No":[230],"cutoff":[231,234],"profile":[232],"or":[233],"window":[235],"asserted.":[237]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-02T00:00:00"}