Tensor-Network Contraction Complexity Profile
The algorithmic boundary of tensor-network contraction modeled via graph theory.
Contracting a tensor network means summing over its internal indices, and the largest intermediate tensor you must hold is exponential in the contraction's treewidth. Every profile below reads the same substrate through a different graph invariant and structural regime, and prices it with Ross’s Law.
A tensor network is the cleanest place to watch Ross’s Law work, because here the meter is not a metaphor — it is the literal cost of the computation. Each tensor is a vertex; each shared index is an edge. To contract the network you sum over those indices one cut at a time, and the largest intermediate tensor you are ever forced to hold is exponential in the width of the best contraction order. That width is the treewidth of the interaction graph. The exponent is not a bound on the cost. It is the cost.
So the question “how expensive is this contraction?” collapses, exactly, into “how far is this graph from a tree?” Five graph invariants answer that question from five angles. They do not disagree; they triangulate. Each one reads the same network and reports where it sits between two extremes: a shadow regime, where the structure is nearly separable and the cost stays tame, and a mirror regime, where the structure is an irreducible whole and the exponential runs away. Between them lies the equilibrium regime — the critical band where the network is poised on the edge of tractability.
Treewidth bounds
Treewidth is the meter itself — the size of the largest bag in the best tree-shaped scaffold of the interaction graph, minus one. It is the amount of state you must carry across the worst cut of the contraction.
Graph degeneracy
Degeneracy is the cheap proxy: the densest interlinked core the graph cannot shed by peeling low-degree vertices. It is polynomial to compute and lower-bounds the treewidth, so it is the first number to check when you want to know which regime you are in without solving the hard problem.
Volume-law entanglement
For tensor networks the bridge to physics is exact: the entanglement entropy across a cut equals the log of the bond dimension you must carry there. Area-law states are shadow; volume-law states are mirror. This is why the meter and the physics are the same statement in two languages.
Fiedler-value connectivity
The Fiedler value — the second-smallest eigenvalue of the graph Laplacian — measures how tightly the network holds together under its weakest cut. It is the census taker: polynomial to compute, and it tells you whether the graph has a clean place to split.
Bipartite treewidth
The bipartite cut is the worst-case witness: split the tensors into two halves and ask how wide the interface between them must be. It pins the cost from below for the hardest bisection the network admits.
The same substrate, four other ways
The contraction graph is one instance of the universal meter. The same five invariants read these substrates too: