Repository navigation

feat(circuit/frontier): evaluate packet entries on coefficient lists of A_p (Theorem D.1, T2.9) - #1932

Merged

SamuelSchlesinger merged 22 commits into

mainfrom

claude/t2-packet-evaluator

Oct 31, 2026

Merged

feat(circuit/frontier): evaluate packet entries on coefficient lists of A_p (Theorem D.1, T2.9)#1932
SamuelSchlesinger merged 22 commits into
mainfrom
claude/t2-packet-evaluator

Commits on Oct 30, 2026
Commits on Oct 31, 2026
- Merge origin/main into claude/t2-cauchy-modes
  
  SamuelSchlesinger
  and
  claude
  committed
  f9bcc51
- feat(circuit/frontier): explicit packet entries of the child networks (Theorem D.1, T2.9 item 1)
  
  SamuelSchlesinger
  and
  claude
  committed
  3685aba
- feat(circuit/frontier): the local Cauchy kernel as a product of units (Lemma D.4 evaluation)
  
  SamuelSchlesinger
  and
  claude
  committed
  4c076d5
- Merge origin/main into claude/t2-packet-entry
  
  SamuelSchlesinger
  and
  claude
  committed
  36c9ae9
- Merge remote-tracking branch 'origin/main' into claude/t2-packet-evaluator
  SamuelSchlesinger
  committed
  87ee708
- feat(circuit/frontier): evaluate packet entries on coefficient lists of A_p
  
  SamuelSchlesinger
  and
  claude
  committed
  62dc6f5
- refactor(circuit/frontier): packet modes by dense index y0 * nb + b
  
  SamuelSchlesinger
  and
  claude
  committed
  04fe069
- refactor(circuit/frontier): take the number of slots L as a parameter of kernel values
  
  SamuelSchlesinger
  and
  claude
  committed
  3130c30
- fix(circuit/frontier): mode terms vanish when a packet has no exponents
  
  SamuelSchlesinger
  and
  claude
  committed
  1454915
- Merge remote-tracking branch 'origin/main' into claude/t2-packet-evaluator
  SamuelSchlesinger
  committed
  8e9725b
- chore: regenerate Complexity.lean after merging main
  
  SamuelSchlesinger
  and
  claude
  committed
  5736072
- refactor(circuit/frontier): number packet modes with Mathlib's finProdFinEquiv
  
  SamuelSchlesinger
  and
  claude
  committed
  88ddd69
- Merge remote-tracking branch 'origin/main' into claude/t2-packet-evaluator
  
  SamuelSchlesinger
  and
  claude
  committed
  cd930a8

Navigation Menu

Repository navigation

feat(circuit/frontier): evaluate packet entries on coefficient lists of A_p (Theorem D.1, T2.9) - #1932

feat(circuit/frontier): evaluate packet entries on coefficient lists of A_p (Theorem D.1, T2.9)#1932
SamuelSchlesinger merged 22 commits into
mainfrom
claude/t2-packet-evaluator

Commits on Oct 30, 2026

feat(circuit/frontier): Boolean tensor networks and their contraction

feat(circuit/frontier): deformed contraction and the Cauchy kernel

refactor(circuit/frontier): index explicit tables by BitString.lsbValue

Merge claude/boolean-tensor-networks (#1844 review fix) into the T2.1 stack

feat(circuit/frontier): Lemma D.4, integral local coordinates of the Cauchy kernel

refactor(foundations): move integer valuation bounds to RatValuation

feat(circuit/frontier): mode expansion and the child identity (D.16)

Merge remote-tracking branch 'origin/claude/t2-integral-coordinates' into claude/t2-cauchy-modes

feat(circuit/frontier): modes of the Cauchy matrix, the geometric expansion (D.12)

Commits on Oct 31, 2026

Merge origin/main into claude/t2-cauchy-modes

feat(circuit/frontier): explicit packet entries of the child networks (Theorem D.1, T2.9 item 1)

feat(circuit/frontier): the local Cauchy kernel as a product of units (Lemma D.4 evaluation)

Merge origin/main into claude/t2-packet-entry

Merge remote-tracking branch 'origin/main' into claude/t2-packet-evaluator

feat(circuit/frontier): evaluate packet entries on coefficient lists of A_p

refactor(circuit/frontier): packet modes by dense index y0 * nb + b

refactor(circuit/frontier): take the number of slots L as a parameter of kernel values

fix(circuit/frontier): mode terms vanish when a packet has no exponents

Merge remote-tracking branch 'origin/main' into claude/t2-packet-evaluator

chore: regenerate Complexity.lean after merging main

refactor(circuit/frontier): number packet modes with Mathlib's finProdFinEquiv

Merge remote-tracking branch 'origin/main' into claude/t2-packet-evaluator