Repository navigation

feat(Expander): Poincaré inequality for elementary moves on the nonzero vectors of (ZMod P)^H - #1703

Merged

SamuelSchlesinger merged 14 commits into

cslib-community:mainfrom

chris-ai1:feat/frame-gap-1444

Oct 31, 2026

Merged

feat(Expander): Poincaré inequality for elementary moves on the nonzero vectors of (ZMod P)^H#1703
SamuelSchlesinger merged 14 commits into
cslib-community:mainfrom
chris-ai1:feat/frame-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
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
- Merge remote-tracking branch 'origin/main' into feat/box-product-poincare-1444
  chris-ai1
  committed
  4ab043b
- 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 origin/main into feat/shear-translation-gap-1444
  
  chris-ai1
  and
  claude
  committed
  30c83e2
- 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
Commits on Oct 31, 2026
- chore(Expander): restack nonzero-vector gap on main
  SamuelSchlesinger
  committed
  7ce5586

Commits

Commits on Oct 29, 2026

Commits on Oct 30, 2026

Commits on Oct 31, 2026