Exact Permutation Moments for Walsh Interaction-Order Energies: A Projector Specialization of Quadratic-Form Randomization Theory

{"WHAT":[0,155,233],"THIS":[1],"PACKAGE":[2,237],"DOES":[3],"This":[4,113,510],"reproducibility":[5,516],"package":[6,114,493,511,634],"accompanies":[7],"the":[8,32,51,72,123,167,173,176,195,202,242,359,369,387,390,407,450,498,503,580,604,629,633,636],"methods":[9],"manuscript":[10,196,606,611],"\\"Exact":[11],"Permutation":[12],"Moments":[13],"for":[14,97,201,272,333,487,592,635],"Walsh":[15,68,193],"Interaction-Order":[16],"Energies:":[17],"A":[18],"Projector":[19],"Specialization":[20],"of":[21,59,139,145,172,241,358,406,582],"Quadratic-Form":[22],"Randomization":[23],"Theory\\"":[24],"(J600,":[25],"Roshankumar":[26],"Chandaliya,":[27],"QDL":[28],"project).":[29],"It":[30,518],"provides":[31],"complete":[33],"open-source":[34],"implementation,":[35],"exhaustive":[36],"verification,":[37],"computational":[38,85,464,514],"benchmarks,":[39,121,565],"and":[40,111,119,126,206,220,226,256,286,306,331,368,377,410,420,445,463,515,531,559,561,575,584,587,607,621],"environment":[41],"metadata":[42],"needed":[43],"to":[44,67,77,142,152,166,191,229,396,416,424],"independently":[45],"reproduce":[46],"every":[47],"numerical":[48,414],"claim":[49],"in":[50,90,134,632],"manuscript.":[52,505],"WHY":[53],"IT":[54],"MATTERS":[55],"Exact":[56],"permutation":[57,106,203,277,468,573],"moments":[58,129,486],"quadratic":[60],"forms":[61],"are":[62,109,211,441,447,557,562,578],"classical,":[63],"but":[64],"their":[65],"specialization":[66],"interaction-order":[69,178],"projectors":[70],"on":[71,102,455],"Boolean":[73,174,470],"cube":[74],"has":[75],"not,":[76],"our":[78],"knowledge,":[79],"been":[80],"packaged":[81],"as":[82,323,564,567],"a":[83,137,161,307,378,401,425,513,541,549],"ready-to-use":[84],"toolkit.":[86],"That":[87],"gap":[88],"matters":[89],"practice:":[91],"practitioners":[92],"who":[93,481,496],"want":[94,497],"null":[95,128,485],"distributions":[96,322],"Walsh-degree":[98,488],"energies":[99,489],"typically":[100],"rely":[101],"large":[103],"Monte":[104,148,264,403],"Carlo":[105,265,404],"runs,":[107],"which":[108],"slow":[110],"noisy.":[112],"shows,":[115],"with":[116,150,373,413,467],"public":[117],"code":[118,617],"reproducible":[120],"that":[122,309],"same":[124,408],"first-":[125,409,583],"second-order":[127,411],"can":[130,452,490],"be":[131,453],"computed":[132],"analytically":[133],"microseconds":[135],"—":[136,618,624],"speedup":[138],"roughly":[140],"four":[141],"five":[143],"orders":[144],"magnitude":[146],"over":[147],"Carlo,":[149],"agreement":[151,415],"machine":[153,417],"precision.":[154,418],"THE":[156,236],"MANUSCRIPT":[157],"ESTABLISHES":[158],"(BRIEFLY)":[159],"For":[160],"centered":[162,312],"finite":[163],"population":[164],"assigned":[165],"N":[168,215,221,280,287,313],"=":[169,182,216,222,231,281,288,297,301,314,435],"2^n":[170],"vertices":[171],"cube,":[175],"degree-k":[177],"energy":[179,249],"is:":[180],"E_k":[181],"sum_{|A|=k}":[183],"g_hat_pi(A)^2":[184],"By":[185],"specializing":[186],"established":[187],"quadratic-form":[188],"randomization":[189],"theory":[190],"orthogonal":[192],"projectors,":[194],"derives":[197],"compact":[198],"exact":[199,243,295,391,484],"formulas":[200,210,245,586],"mean,":[204],"variance,":[205],"cross-level":[207],"covariance.":[208],"The":[209,538,571],"verified":[212],"exhaustively":[213],"at":[214,279],"4":[217,282,315,436],"(24":[218],"permutations)":[219,285],"8":[223,289],"(40,320":[224],"permutations),":[225],"benchmarked":[227],"up":[228],"n":[230,434],"18.":[232,438],"IS":[234],"INSIDE":[235],"-":[238],"Reference":[239],"implementation":[240],"null-moment":[244],"(exact_null_moments).-":[246],"Two":[247],"independent":[248],"evaluators:":[250],"dense":[251],"Fast":[252],"Walsh-Hadamard":[253],"Transform":[254],"(FWHT)":[255],"sparse":[257,421],"Hamming/Krawtchouk":[258],"aggregation,":[259],"cross-checked":[260],"against":[261],"each":[262,334],"other.-":[263],"benchmark":[266,353,622],"using":[267],"100,000":[268],"uniform":[269],"value":[270],"permutations,":[271],"direct":[273],"runtime":[274],"comparison.-":[275],"Exhaustive":[276],"verification":[278],"(all":[283,290],"24":[284],"40,320":[291],"permutations).-":[292],"Edge-case":[293],"verification:":[294],"B":[296,318],"0":[298],"case":[299],"(g":[300],"[1,":[302],"1,":[303,304],"-3]),":[305],"proof-by-grid-check":[308],"no":[310],"valid":[311],"field":[316],"admits":[317],"<":[319],"0.-":[320],"Timing":[321,555],"CSV":[324],"files,":[325],"reporting":[326],"median,":[327],"interquartile":[328],"range,":[329],"minimum,":[330],"maximum":[332,426],"tested":[335],"size.-":[336],"Environment":[337],"metadata:":[338],"Python":[339],"3.13.5,":[340],"NumPy":[341],"2.3.5,":[342],"Intel":[343],"Xeon":[344],"Platinum":[345],"8573C,":[346],"5-vCPU":[347],"container,":[348],"kernel":[349],"6.18.44.-":[350],"Publication-ready":[351],"LaTeX":[352,370],"table":[354],"matching":[355],"Table":[356],"3":[357],"manuscript.-":[360],"SHA256":[361],"integrity":[362],"manifest":[363],"covering":[364],"all":[365,443],"scripts,":[366],"CSVs,":[367],"table.-":[371],"README":[372],"step-by-step":[374],"reproduction":[375],"instructions":[376],"fixed":[379,448],"random":[380],"seed":[381],"(20260917).":[382],"HEADLINE":[383],"COMPUTATIONAL":[384],"RESULT":[385],"On":[386],"recorded":[388],"environment,":[389],"formula":[392],"is":[393,512,540,547],"approximately":[394],"10^4":[395],"10^5":[397],"times":[398],"faster":[399],"than":[400],"100,000-permutation":[402],"estimate":[405],"moments,":[412],"Dense":[419],"evaluators":[422],"agree":[423],"relative":[427],"error":[428],"below":[429],"2.5":[430],"x":[431],"10^-16":[432],"across":[433],"through":[437],"Absolute":[439],"timings":[440],"hardware-specific;":[442],"scripts":[444],"seeds":[446],"so":[449],"benchmarks":[451],"rerun":[454],"other":[456],"machines.":[457],"INTENDED":[458],"AUDIENCE":[459],"Statisticians,":[460],"applied":[461],"probabilists,":[462],"scientists":[465],"working":[466],"inference,":[469],"Fourier":[471],"analysis,":[472],"high-order":[473],"contingency":[474],"tables,":[475],"or":[476,529,552],"log-linear":[477],"interaction":[478],"decompositions.":[479],"Researchers":[480],"need":[482],"fast,":[483],"use":[491,598],"this":[492,593,599,608],"directly;":[494],"readers":[495],"underlying":[499],"theorem":[500,539],"should":[501],"consult":[502],"companion":[504,605],"SCOPE":[506],"AND":[507],"HONEST":[508],"BOUNDARIES":[509],"artifact.":[517],"does":[519,525,532],"not":[520,526,533,548,566],"introduce":[521],"new":[522],"physical":[523,553],"claims,":[524],"imply":[527],"causality":[528],"retrocausality,":[530],"establish":[534],"any":[535],"microscopic":[536],"Hamiltonian.":[537],"static":[542],"finite-sample":[543],"exchangeability":[544],"result;":[545],"it":[546],"temporal,":[550],"interventional,":[551],"law.":[554],"results":[556],"machine-":[558],"implementation-specific":[560],"reported":[563],"universal":[568],"performance":[569],"claims.":[570],"full":[572,637],"distribution":[574],"tail":[576],"probabilities":[577],"outside":[579],"scope":[581],"second-moment":[585],"remain":[588],"an":[589],"open":[590],"problem":[591],"statistic.":[594],"CITATION":[595],"If":[596],"you":[597],"package,":[600],"please":[601],"cite":[602],"both":[603],"record.":[609],"Companion":[610],"J600:":[612],"DOI":[613],"10.5281/zenodo.22808605.":[614],"LICENSE":[615,630],"Source":[616],"MIT.":[619],"Data":[620],"outputs":[623],"CC":[625],"BY":[626],"4.0.":[627],"See":[628],"file":[631],"text.":[638]}