Skip to content

feat(circuit/frontier): the leaf clause of the fast contraction analysis (FastAnalysis part B, T2.9) #1979

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

Closed
SamuelSchlesinger wants to merge 7 commits into from
Closed

feat(circuit/frontier): the leaf clause of the fast contraction analysis (FastAnalysis part B, T2.9) #1979

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
7964b4e
feat(circuit/frontier): the cost of a leaf of the fast contraction re…
SamuelSchlesinger Oct 31, 2026
5f206b0
feat(circuit/frontier): the packet shape of the native recursion and …
SamuelSchlesinger Oct 31, 2026
9859855
feat(circuit/frontier): the leaf bound of the fast contraction analys…
SamuelSchlesinger Oct 31, 2026
4ef2e74
refactor(circuit/frontier): unfold nativeMk once in packetShape_child
SamuelSchlesinger Oct 31, 2026
051817c
Merge #1982 (claude/t2-hpoly) into claude/t2-analysis-leaves-caps
SamuelSchlesinger Oct 31, 2026
f1ce1dc
refactor(circuit/frontier): packetShape_child through nativeMk_eq, fo…
SamuelSchlesinger Oct 31, 2026
d687098
Merge #1970 (claude/t2-instance) into claude/t2-analysis-leaves
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.DescribedL
public import Complexity.Computability.Circuit.Frontier.TensorNetwork.DirectContraction
public import Complexity.Computability.Circuit.Frontier.TensorNetwork.Explicit
public import Complexity.Computability.Circuit.Frontier.TensorNetwork.FastContraction
public import Complexity.Computability.Circuit.Frontier.TensorNetwork.FastContractionLeaf
public import Complexity.Computability.Circuit.Frontier.TensorNetwork.FastContractionMachine
public import Complexity.Computability.Circuit.Frontier.TensorNetwork.FastContractionPolyTime
public import Complexity.Computability.Circuit.Frontier.TensorNetwork.FastContractionStep
Expand Down
Loading
Loading