A variational doublet structure for a marking chain on the path — exact Rayleigh–Ritz spectrum on a family of fronts, a sign rule for the variational modes, strictness of the variational bounds for k ≥ 4, and open questions on the true modes (KAC-T1,

{"Abstract.":[0],"Let":[1],"Q":[2,240],"be":[3],"the":[4,7,17,21,34,74,77,81,88,90,95,98,102,111,115,118,150,168,184,188,196,199,229,232,246,259,268,272,285,289,301,305,317,341,346,352,368,391,397,406,454,463,473,486,507,522,534,541,544,551,557,561,565,569,571,576,578,582,584,588,594,603,609,613,616,631,638,642],"generator":[5],"of":[6,16,23,25,41,61,92,97,130,187,198,202,231,239,249,280,316,390,409,472,484,489,506,521,533,556,568,598,615,630,637,641,647],"chain":[8],"on":[9,65,194,267],"{0,1}^k":[10],"in":[11,38,153,304,340,403,414,448,495,514,626],"which":[12,485],"every":[13,124,526],"occupied":[14],"vertex":[15],"path":[18],"P_k":[19],"flips":[20],"state":[22],"each":[24,154,384],"its":[26,177],"neighbours":[27],"at":[28,157,164,208,258,560],"rate":[29],"one;":[30],"it":[31,358,364],"arose":[32],"as":[33,297],"frozen-sign":[35],"cluster":[36],"dynamics":[37],"a":[39,127,203,264,278,386,529,548,554,621,634,648],"series":[40,649],"notes":[42],"(Phase":[43],"R,":[44],"doi:10.5281/zenodo.21979354,":[45],"Project":[46,49,52,55,654,657,660,663],"LOSCHMIDT,":[47],"doi:10.5281/zenodo.22233373,":[48],"ZERMELO,":[50],"doi:10.5281/zenodo.22313877,":[51],"STOSSZAHL,":[53],"doi:10.5281/zenodo.22437728,":[54],"EHRENFEST,":[56],"doi:10.5281/zenodo.22734680).":[57],"(i)":[58],"For":[59,225],"indicators":[60],"empty":[62],"regions":[63],"(\\"fronts\\")":[64],"an":[66],"arbitrary":[67],"graph":[68],"we":[69,336,343],"give":[70],"closed":[71,192,353],"formulas":[72],"for":[73,149,214,219,451],"Gram":[75],"matrix,":[76],"Dirichlet":[78],"form":[79,315],"and":[80,117,122,163,176,183,217,283,330,351,370,516,550,581,596,606,612],"Walsh–Hadamard":[82],"transform":[83,113],"(Lemma":[84],"KAC-F1).":[85],"(ii)":[86,250],"On":[87],"path,":[89],"compression":[91],"−Q":[93],"to":[94,348],"span":[96,230],"left":[99,116],"fronts":[100],"has":[101,275,437],"exact":[103],"spectrum":[104,274],"E_n(k)":[105],"=":[106,139,159,166,210],"3/2":[107],"−":[108,134,212],"√2":[109,211],"cos(πn/k);":[110],"Walsh":[112],"pairs":[114],"right":[119],"front":[120,234],"families":[121,235],"splits":[123],"level":[125,181],"into":[126],"variational":[128,189,260],"doublet":[129,204],"ratio":[131],"exactly":[132,207],"(1":[133],"ε_k)/(1":[135],"+":[136],"ε_k),":[137],"ε_k":[138],"2^(−k/2),":[140,282],"with":[141,277,309,399,575,591,620],"alternating":[142],"symmetry":[143,155],"labels;":[144],"min–max":[145],"gives":[146],"upper":[147,247],"bounds":[148,248],"true":[151,269,273,286],"rates":[152],"sector;":[156],"k":[158,165,226],"2":[160],"both":[161,294],"bounds,":[162],"3":[167],"two":[169,233,420,585],"R-odd":[170],"ones,":[171],"are":[172,251,257,295,424,446,625],"equalities":[173],"(Theorem":[174,222,253],"KAC-T1":[175],"notes).":[178],"(iii)":[179],"The":[180,314,377,444,475,538,623],"polynomials":[182],"mode":[185],"coefficients":[186],"modes":[190,287],"have":[191],"forms;":[193],"(0,1)":[195],"coefficient":[197],"effective":[200],"member":[201],"changes":[205],"sign":[206,290],"θ*":[209],"1":[213,503,517],"even":[215],"levels":[216,221],"nowhere":[218],"odd":[220],"KAC-T2).":[223],"(iv)":[224,262],"≥":[227],"4":[228,380,478,487],"contains":[236],"no":[237,371,400,492,499],"eigenvector":[238],"outside":[241],"ker":[242],"Q;":[243],"hence":[244],"all":[245,599],"strict":[252],"KAC-T3).":[254],"Statements":[255],"(i)–(iii)":[256],"level;":[261],"is":[263,292,320,345,365,373,633],"negative":[265],"statement":[266,500,546],"eigen-equation.":[270],"Whether":[271],"doublets":[276],"splitting":[279],"order":[281],"whether":[284],"obey":[288],"rule,":[291],"open;":[293],"stated":[296],"questions":[298],"(Section":[299,375,440],"4),":[300],"first":[302],"one":[303],"project's":[306,455],"open-problem":[307,586],"format":[308],"falsification":[310],"conditions":[311],"(Appendix":[312,458,628],"C).":[313,429],"trial":[318],"family":[319],"known":[321],"from":[322,367,453],"kinetically":[323],"constrained":[324],"spin":[325],"models":[326],"(Cancrini,":[327],"Martinelli,":[328],"Roberto":[329],"Toninelli,":[331],"doi:10.1007/s00440-007-0072-3;":[332],"Shapira,":[333],"arXiv:2005.13327).":[334],"What":[335],"did":[337],"not":[338,355,361],"see":[339],"texts":[342],"compared":[344],"application":[347],"this":[349,410,490],"model":[350],"formulas;":[354],"having":[356],"seen":[357],"there":[359],"does":[360],"mean":[362],"that":[363,394,423],"absent":[366],"literature,":[369],"novelty":[372],"claimed":[374],"5).":[376],"project":[378,476,558,610],"had":[379,477],"independent":[381],"proof-review":[382,479],"rounds,":[383,602],"by":[385],"fresh":[387,530],"context-free":[388,531],"instance":[389,532],"AI":[392,536],"system":[393],"also":[395],"executed":[396],"work,":[398],"mandatory":[401,493,512],"fix":[402,494],"any":[404,496],"round;":[405],"four":[407,464],"statements":[408,488],"note":[411,508,524,542,632],"were":[412],"confirmed":[413,419,482,639],"rounds":[415,480],"r2–r4":[416],"(round":[417],"r1":[418],"geometric":[421],"lemmas":[422],"only":[425],"mentioned":[426],"here,":[427],"Appendix":[428,442,460],"No":[430],"human":[431],"refereeing":[432],"or":[433],"external":[434],"peer":[435],"review":[436,505,520,601],"taken":[438],"place":[439],"6,":[441],"E).":[443],"proofs":[445,624],"reproduced":[447],"Japanese,":[449],"byte":[450,452],"normative":[456,573,643],"document":[457],"B);":[459],"A":[461],"translates":[462],"statements.":[465],"Version":[466],"note.":[467,474],"v0.2.1":[468],"(2026-09-21):":[469],"deposit":[470,562],"version":[471],"(6":[481],"claims,":[483],"note;":[491],"proof":[497],"round,":[498],"sent":[501],"back),":[502],"manuscript":[504],"(accepted":[509],"conditionally,":[510],"six":[511,600],"fixes":[513],"wording)":[515],"narrow":[518],"difference":[519],"revised":[523],"(accepted);":[525],"reviewer":[527],"was":[528],"same":[535],"system.":[537],"record":[539],"holds":[540],"(note6.pdf),":[543],"two-page":[545],"(kac-t1-onepage.pdf),":[547],"README,":[549],"archive":[552],"kac-note6-bundle-v0.2.1.tar.gz:":[553],"selection":[555],"repository":[559],"commit":[563],"—":[564,619],"TeX":[566],"sources":[567],"note,":[570],"Japanese":[572,627],"documents":[574],"proofs,":[577],"claim":[579],"ledger":[580],"errata,":[583],"documents,":[587],"machine":[589],"records":[590],"their":[592],"generators,":[593],"findings":[595],"scripts":[597],"progress,":[604],"intervention":[605],"error":[607],"ledgers,":[608],"charter":[611],"constitution":[614],"executing":[617],"agent":[618],"MANIFEST.sha256.":[622],"B":[629],"byte-checked":[635],"transcription":[636],"blocks":[640],"document).":[644],"Sixth":[645],"work":[646],"after":[650],"Phase":[651],"R":[652],"(10.5281/zenodo.21979354),":[653],"LOSCHMIDT":[655],"(10.5281/zenodo.22233373),":[656],"ZERMELO":[658],"(10.5281/zenodo.22313877),":[659],"STOSSZAHL":[661],"(10.5281/zenodo.22437728),":[662],"EHRENFEST":[664],"(10.5281/zenodo.22734680).":[665]}