Repository navigation

feat(Probability): product walk over channels and free bits with gap γ/(J+1) - #1706

Merged

SamuelSchlesinger merged 28 commits into

cslib-community:mainfrom

chris-ai1:feat/component-gap-1444

Oct 31, 2026

Merged

feat(Probability): product walk over channels and free bits with gap γ/(J+1)#1706
SamuelSchlesinger merged 28 commits into
cslib-community:mainfrom
chris-ai1:feat/component-gap-1444

Commits on Oct 29, 2026
- feat(Expander): uniform spectral gap for the shear-translation graph on ZMod n × ZMod n (#1444)
  
  chris-ai1
  and
  claude
  committed
  da700d5
- feat(Probability): retention by pairwise independent hashing (#1444)
  
  chris-ai1
  and
  claude
  committed
  14714b9
- feat(Probability): affine retention channels over a prime field (#1682)
  
  chris-ai1
  and
  claude
  committed
  4943d9b
Commits on Oct 30, 2026
- refactor(Expander): share the shears of R × R; credit the OpenAI preprint (#1444)
  
  chris-ai1
  and
  claude
  committed
  6553d6d
- docs(Expander): credit the OpenAI Lean development for the Fourier ping-pong (#1444)
  
  chris-ai1
  and
  claude
  committed
  c1e205d
- feat(Probability): frame-conditioned channels, validated variants and conditional averaging (#1682)
  
  chris-ai1
  and
  claude
  committed
  53de6a3
- Merge remote-tracking branch 'origin/main' into feat/box-product-poincare-1444
  chris-ai1
  committed
  4ab043b
- feat(Expander): Poincaré inequalities and spectral gaps of box products of permutation multigraphs (#1682)
  
  chris-ai1
  and
  claude
  committed
  a9e19a5
- feat(Expander): relative Poincaré inequality for shears and translations with a spectator (#1682)
  
  chris-ai1
  and
  claude
  committed
  40d6f14
- refactor(Expander): move the dftProd lemmas to ZModProd and drop import all; credit AffineSampling.lean (#1682)
  
  chris-ai1
  and
  claude
  committed
  3db1f8f
- feat(Expander): Efron–Stein and the pair-move bound on Y × (Fin H → ZMod L) (#1682)
  
  chris-ai1
  and
  claude
  committed
  0736143
- doc(Probability): cite Efron–Stein and Steele; numeric Efron–Stein test (#1682)
  
  chris-ai1
  and
  claude
  committed
  a547de3
- feat(Expander): Poincaré inequality for elementary moves on nonzero vectors of (ZMod P)^H (#1682)
  
  chris-ai1
  and
  claude
  committed
  0e29346
- Merge remote-tracking branch 'fork/feat/conditional-averaging-1444' into feat/slice-gap-1444
  chris-ai1
  committed
  764c28f
- Merge remote-tracking branch 'fork/feat/box-product-poincare-1444' into feat/slice-gap-1444
  chris-ai1
  committed
  c531714
- feat(Probability): uniform spectral gap of the affine walk on slice coordinates (#1682)
  
  chris-ai1
  and
  claude
  committed
  bc81c6a
- feat(Probability): product walk over channels and free bits with gap gamma/(J+1) (#1682)
  
  chris-ai1
  and
  claude
  committed
  0697cc4
- Merge origin/main into feat/conditional-averaging-1444
  
  chris-ai1
  and
  claude
  committed
  ae99b48
- Merge origin/main into feat/shear-translation-gap-1444
  
  chris-ai1
  and
  claude
  committed
  30c83e2
- Merge refreshed #1678 (30c83e230) into feat/box-product-poincare-1444
  
  chris-ai1
  and
  claude
  committed
  3860f88
- Merge refreshed #1678 (30c83e230) into feat/relative-shear-translation-1444
  
  chris-ai1
  and
  claude
  committed
  d72e8e9
- Merge refreshed #1695 (d72e8e9e6) into feat/coordinate-pairs-1444
  
  chris-ai1
  and
  claude
  committed
  71f089e
- Merge refreshed #1699 (71f089ecb) into feat/frame-gap-1444
  
  chris-ai1
  and
  claude
  committed
  efd5aa2
- Merge refreshed #1691 (ae99b483b) into feat/slice-gap-1444
  
  chris-ai1
  and
  claude
  committed
  8b040eb
- Merge refreshed #1703 (efd5aa27b) into feat/slice-gap-1444
  
  chris-ai1
  and
  claude
  committed
  34cf8df
- Merge refreshed #1693 (3860f88e0) into feat/slice-gap-1444
  
  chris-ai1
  and
  claude
  committed
  8804d42
- Merge refreshed #1705 (8804d42c4) into feat/component-gap-1444
  
  chris-ai1
  and
  claude
  committed
  60f2b4e
Commits on Oct 31, 2026
- Merge origin/main into feat/component-gap-1444
  
  SamuelSchlesinger
  and
  claude
  committed
  a17abbb

Commits

Commits on Oct 29, 2026

Commits on Oct 30, 2026

Commits on Oct 31, 2026