Skip to content

Best External Near-Bridges Still Stop Before Robust Balanced-Cut Orientation

Claim/Theorem

Keep the notation of [[dense-tangle-breadth-is-the-canonical-remaining-intrinsic-target.md]], [[robust-nonsequentiality-route-stops-before-tangle-orientation-of-balanced-cuts.md]], [[quantum-tanner-ltc-package-still-misses-dense-intrinsic-connectivity.md]], and [[quantum-tanner-left-right-cayley-source-package-stops-at-tester-side-structure.md]].

At the current graph state, the best external theorem-level literature still stops strictly before

\[ H_{\mathrm{ns}}^{\beta}, \]

the missing statement that the target Quantum Tanner / left-right-Cayley family admits a robust high-order tangle in the original qubit parity-check matroid under which every \beta-balanced cut of sublinear intrinsic rank is nonsequential.

More precisely:

  1. Clark--Whittle 2013 and Clark 2016 are the tightest external near-bridges for the robust-nonsequentiality route.

    They show that, once a matroid already carries a robust tangle and once the relevant low-order separations are already known to be nonsequential with respect to that tangle, those separations are displayed by a single tree up to the appropriate tangle-equivalence. So these papers organize an obstruction regime after tangle-side classification has already been achieved, but they do not prove the missing family theorem that produces robustness or that orients hardware-balanced low-rank cuts in the original qubit matroid.

  2. [[dense-tangle-breadth-is-the-canonical-remaining-intrinsic-target.md]] and the Brettell--Johnson--O'Brien--Semple--Whittle line give the best breadth-side near-bridge currently on disk.

    On that side, the literature turns large tangles or large breadth into weakly 4-connected minors and large connected sets, which is why it remains structurally relevant. But this route still passes through minors or minor-side connected objects. It does not prove that hardware-balanced low-rank cuts of the original qubit parity-check matroid are nonsequential, and it does not supply one robust high-order tangle controlling those cuts directly.

  3. The LTC / agreement / Cayley / connectivity-graph cluster remains tester-side or otherwise non-closing for H_{\mathrm{ns}}^{\beta}.

    The current sourced family papers and their closest adjacent theorem packages control tester expansion, local agreement testability, Cayley spectral structure, or separator bounds for auxiliary connectivity graphs. No theorem in that cluster upgrades those statements to a robust high-order tangle theorem in the original qubit parity-check matroid, nor to a balanced-cut classification theorem there.

Therefore the strongest currently supported external synthesis is:

no external source presently closes H_{\mathrm{ns}}^{\beta}; the tightest near-bridge is still the Clark robust-tangle structure theory, which begins only after robustness and nonsequentiality are already known.

Equivalently, the best external literature confirms rather than changes the current graph diagnosis:

  • Clark 2013 / 2016 are conditional normal-form theorems for an already classified obstruction regime;
  • Brettell et al. is the strongest breadth-side near-bridge but still only reaches weakly 4-connected minors or minor-side connected mass;
  • the LTC / agreement / Cayley / connectivity-graph sources remain tester-side or auxiliary-graph-side and do not close the qubit-side tangle-orientation gap.

So the active frontier does not shift. The exact missing theorem remains a qubit-side balanced-cut classification or dense original-matroid concentration theorem strong enough to imply H_{\mathrm{ns}}^{\beta} or bypass it.

Dependencies

  • [[dense-tangle-breadth-is-the-canonical-remaining-intrinsic-target.md]]
  • [[robust-nonsequentiality-route-stops-before-tangle-orientation-of-balanced-cuts.md]]
  • [[quantum-tanner-ltc-package-still-misses-dense-intrinsic-connectivity.md]]
  • [[quantum-tanner-left-right-cayley-source-package-stops-at-tester-side-structure.md]]

Conflicts/Gaps

  • This node does not prove that no future external theorem can close H_{\mathrm{ns}}^{\beta}.
  • It does not demote Clark--Whittle or Brettell et al. to irrelevance; they remain the closest structural near-bridges currently available.
  • It does not introduce a new intrinsic invariant. Its role is only to rank the current external literature relative to the exact active gap already isolated on the graph.

Sources

  • 10.1016/j.jctb.2013.03.002
  • 10.48550/arXiv.1605.06139
  • 10.37236/12467
  • 10.1109/FOCS54457.2022.00117
  • 10.1145/3519935.3520024
  • dinurLocallyTestableCodes
  • 10.48550/arXiv.2109.14599
  • 10.48550/arXiv.1308.5158
  • 10.22331/q-2022-05-13-711