Skip to content

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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
SamuelSchlesinger merged 22 commits into from
Oct 31, 2026
Merged

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

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
22 commits
Select commit Hold shift + click to select a range
c331950
feat(circuit/frontier): Boolean tensor networks and their contraction
SamuelSchlesinger Oct 30, 2026
ae63897
feat(circuit/frontier): deformed contraction and the Cauchy kernel
SamuelSchlesinger Oct 30, 2026
b06c211
refactor(circuit/frontier): index explicit tables by BitString.lsbValue
SamuelSchlesinger Oct 30, 2026
6c76726
Merge claude/boolean-tensor-networks (#1844 review fix) into the T2.1…
SamuelSchlesinger Oct 30, 2026
31ff8a6
feat(circuit/frontier): Lemma D.4, integral local coordinates of the …
SamuelSchlesinger Oct 30, 2026
3d38310
refactor(foundations): move integer valuation bounds to RatValuation
SamuelSchlesinger Oct 30, 2026
adeeddc
feat(circuit/frontier): mode expansion and the child identity (D.16)
SamuelSchlesinger Oct 30, 2026
6e6afdd
Merge remote-tracking branch 'origin/claude/t2-integral-coordinates' …
SamuelSchlesinger Oct 30, 2026
05c80d0
feat(circuit/frontier): modes of the Cauchy matrix, the geometric exp…
SamuelSchlesinger Oct 30, 2026
f9bcc51
Merge origin/main into claude/t2-cauchy-modes
SamuelSchlesinger Oct 31, 2026
3685aba
feat(circuit/frontier): explicit packet entries of the child networks…
SamuelSchlesinger Oct 31, 2026
4c076d5
feat(circuit/frontier): the local Cauchy kernel as a product of units…
SamuelSchlesinger Oct 31, 2026
36c9ae9
Merge origin/main into claude/t2-packet-entry
SamuelSchlesinger Oct 31, 2026
87ee708
Merge remote-tracking branch 'origin/main' into claude/t2-packet-eval…
SamuelSchlesinger Oct 31, 2026
62dc6f5
feat(circuit/frontier): evaluate packet entries on coefficient lists …
SamuelSchlesinger Oct 31, 2026
04fe069
refactor(circuit/frontier): packet modes by dense index y0 * nb + b
SamuelSchlesinger Oct 31, 2026
3130c30
refactor(circuit/frontier): take the number of slots L as a parameter…
SamuelSchlesinger Oct 31, 2026
1454915
fix(circuit/frontier): mode terms vanish when a packet has no exponents
SamuelSchlesinger Oct 31, 2026
8e9725b
Merge remote-tracking branch 'origin/main' into claude/t2-packet-eval…
SamuelSchlesinger Oct 31, 2026
5736072
chore: regenerate Complexity.lean after merging main
SamuelSchlesinger Oct 31, 2026
88ddd69
refactor(circuit/frontier): number packet modes with Mathlib's finPro…
SamuelSchlesinger Oct 31, 2026
cd930a8
Merge remote-tracking branch 'origin/main' into claude/t2-packet-eval…
SamuelSchlesinger Oct 31, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions Complexity.lean
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -898,6 +898,7 @@ public import Complexity.Computability.Circuit.Frontier.TensorNetwork.LocalDefor
public import Complexity.Computability.Circuit.Frontier.TensorNetwork.ModeExpansion
public import Complexity.Computability.Circuit.Frontier.TensorNetwork.NativeRecovery
public import Complexity.Computability.Circuit.Frontier.TensorNetwork.PacketEntry
public import Complexity.Computability.Circuit.Frontier.TensorNetwork.PacketEvaluator
public import Complexity.Computability.Circuit.Frontier.TensorNetwork.Recursion
public import Complexity.Computability.Circuit.Frontier.TensorNetwork.Reindex
public import Complexity.Computability.Circuit.Frontier.TensorNetwork.Schedule
Expand Down
Loading
Loading