History of Roots of the $k$-XORSAT threshold equation

back to table · edit · history · where entries came from · files

compare when who what
2026-09-19 20:23 zeta3 interactive explain T287 range and T288 root overlap current
2026-09-17 02:17 zeta3 table-repair@1.109+64cc4f29 keep threshold cross-reference out of definition reviewed
2026-09-17 02:16 zeta3 table-repair@1.109+64cc4f29 clarify threshold root relationships
2026-09-17 02:04 zeta3 table-build@1.130+3450381c quote arXiv identifiers in XORSAT root draft
2026-09-17 02:03 zeta3 table-build@1.130+3450381c finish XORSAT threshold root draft prose
2026-09-17 02:02 zeta3 with codex-cli table-build@1.130+3450381c roots of the k-XORSAT threshold equation for 3 <= k <= 12
2026-09-17 01:58 zeta3 table-build@1.130+3450381c claim XORSAT threshold-equation roots draft

What changed between 2026-09-17 02:17 and 2026-09-19 20:23

from line 36 (6 lines, 1 fewer than before) @@ -36,7 +36,6 @@
     of random $k$-XORSAT]   relation: thresholds obtained from these roots by the formula for $\alpha_k$-- table: HREF{T274}[Cuckoo hashing thresholds of random $k$-uniform hypergraphs]-  relation: the auxiliary roots $\xi_{k,\ell}$ used to compute those thresholds reduce-    to $\xi_k$ at bucket capacity $\ell=1$+- table: HREF{T288}[Roots of the cuckoo hashing threshold equation]+  relation: the same roots in the rows with bucket capacity $\ell=1$ and $k\geq3$ Links:   WikiXORSAT:
from line 63 (7 lines, 1 more than before) @@ -64,6 +63,7 @@
   - CITE{PittelSorkin}   complete: 'no'-  complete-note: it holds $\xi_k$ for every $k$ with $3\leq k\leq12$, matching the-    companion satisfiability-threshold table+  complete-note: it holds $\xi_k$ for every $k$ with $3\leq k\leq12$, the range of+    HREF{Satisfiability_thresholds_of_random_k-XORSAT}[the satisfiability thresholds+    $\alpha_k$]; at the end of this range, $0<12-\xi_{12}<10^{-3}$   rigour details: Each entry is computed in ball arithmetic with 64 guard bits beyond     the 100 digits written. The root $\xi_k$ is enclosed by bisection on the sign
from line 75 (42 lines, 10 more than before) @@ -75,32 +75,42 @@
   number-header: $\xi_k$ Numbers:-  '3':-    number: '2.149125799907062542079080149425149925528828496714285459034660801183768221524370129087681616217046728'-    comment: The associated satisfiability threshold is HREF{Satisfiability_thresholds_of_random_k-XORSAT#3}[$\alpha_{3}$].-  '4':-    number: '3.593511969447426082272169884555315798860946340951301392760865045230967927293167350976509334752600022'-    comment: The associated satisfiability threshold is HREF{Satisfiability_thresholds_of_random_k-XORSAT#4}[$\alpha_{4}$].-  '5':-    number: '4.801007549722517843402554184936876206309580045670987737307642940448096932959992199826971793616174495'-    comment: The associated satisfiability threshold is HREF{Satisfiability_thresholds_of_random_k-XORSAT#5}[$\alpha_{5}$].-  '6':-    number: '5.903000058948943810458175385422799724242893481515842146827627134583507853576375177519654679441566068'-    comment: The associated satisfiability threshold is HREF{Satisfiability_thresholds_of_random_k-XORSAT#6}[$\alpha_{6}$].-  '7':-    number: '6.953455713353474571757750459668776777157703675694193843415968941936946472738479953900380174362202268'-    comment: The associated satisfiability threshold is HREF{Satisfiability_thresholds_of_random_k-XORSAT#7}[$\alpha_{7}$].-  '8':-    number: '7.978107736977070325801043211904953879262698393828180241246253405412112875926606187603354958634672340'-    comment: The associated satisfiability threshold is HREF{Satisfiability_thresholds_of_random_k-XORSAT#8}[$\alpha_{8}$].-  '9':-    number: '8.989912519269479737859486962678439859820876867181214191191759058921700750894868987723157685967200046'-    comment: The associated satisfiability threshold is HREF{Satisfiability_thresholds_of_random_k-XORSAT#9}[$\alpha_{9}$].-  '10':-    number: '9.995441133814842741400932592133052045659869599058257396947103091116896080275781481170753765750751443'-    comment: The associated satisfiability threshold is HREF{Satisfiability_thresholds_of_random_k-XORSAT#10}[$\alpha_{10}$].-  '11':-    number: '10.99797533724523459964809795243574469075450093882819090308597431902540854000078754311674399450335085'-    comment: The associated satisfiability threshold is HREF{Satisfiability_thresholds_of_random_k-XORSAT#11}[$\alpha_{11}$].-  '12':-    number: '11.99911450952184187994188030867116719218749935503081985334373686869595954724308587188802621404555431'-    comment: The associated satisfiability threshold is HREF{Satisfiability_thresholds_of_random_k-XORSAT#12}[$\alpha_{12}$].+- params:+    k: '3'+  number: '2.149125799907062542079080149425149925528828496714285459034660801183768221524370129087681616217046728'+  comment: The associated satisfiability threshold is HREF{Satisfiability_thresholds_of_random_k-XORSAT#3}[$\alpha_{3}$].+- params:+    k: '4'+  number: '3.593511969447426082272169884555315798860946340951301392760865045230967927293167350976509334752600022'+  comment: The associated satisfiability threshold is HREF{Satisfiability_thresholds_of_random_k-XORSAT#4}[$\alpha_{4}$].+- params:+    k: '5'+  number: '4.801007549722517843402554184936876206309580045670987737307642940448096932959992199826971793616174495'+  comment: The associated satisfiability threshold is HREF{Satisfiability_thresholds_of_random_k-XORSAT#5}[$\alpha_{5}$].+- params:+    k: '6'+  number: '5.903000058948943810458175385422799724242893481515842146827627134583507853576375177519654679441566068'+  comment: The associated satisfiability threshold is HREF{Satisfiability_thresholds_of_random_k-XORSAT#6}[$\alpha_{6}$].+- params:+    k: '7'+  number: '6.953455713353474571757750459668776777157703675694193843415968941936946472738479953900380174362202268'+  comment: The associated satisfiability threshold is HREF{Satisfiability_thresholds_of_random_k-XORSAT#7}[$\alpha_{7}$].+- params:+    k: '8'+  number: '7.978107736977070325801043211904953879262698393828180241246253405412112875926606187603354958634672340'+  comment: The associated satisfiability threshold is HREF{Satisfiability_thresholds_of_random_k-XORSAT#8}[$\alpha_{8}$].+- params:+    k: '9'+  number: '8.989912519269479737859486962678439859820876867181214191191759058921700750894868987723157685967200046'+  comment: The associated satisfiability threshold is HREF{Satisfiability_thresholds_of_random_k-XORSAT#9}[$\alpha_{9}$].+- params:+    k: '10'+  number: '9.995441133814842741400932592133052045659869599058257396947103091116896080275781481170753765750751443'+  comment: The associated satisfiability threshold is HREF{Satisfiability_thresholds_of_random_k-XORSAT#10}[$\alpha_{10}$].+- params:+    k: '11'+  number: '10.99797533724523459964809795243574469075450093882819090308597431902540854000078754311674399450335085'+  comment: The associated satisfiability threshold is HREF{Satisfiability_thresholds_of_random_k-XORSAT#11}[$\alpha_{11}$].+- params:+    k: '12'+  number: '11.99911450952184187994188030867116719218749935503081985334373686869595954724308587188802621404555431'+  comment: The associated satisfiability threshold is HREF{Satisfiability_thresholds_of_random_k-XORSAT#12}[$\alpha_{12}$]. 

Sign in to restore an earlier version.