Repository navigation

feat(Expander): uniform spectral gap for the shear-translation graph on ZMod n × ZMod n - #1678

Merged

SamuelSchlesinger merged 5 commits into

cslib-community:mainfrom

chris-ai1:feat/shear-translation-gap-1444

Oct 30, 2026

Merged

feat(Expander): uniform spectral gap for the shear-translation graph on ZMod n × ZMod n#1678
SamuelSchlesinger merged 5 commits into
cslib-community:mainfrom
chris-ai1:feat/shear-translation-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 origin/main into feat/shear-translation-gap-1444
  
  chris-ai1
  and
  claude
  committed
  30c83e2
- chore: refresh shear gap against landed main
  SamuelSchlesinger
  committed
  03d711d