Constraint Locality, Reachability, and Global Assembly in the Transport Construction
One of the recurring themes of the recent VERSF probability papers has been the idea that progress often comes not from solving a problem directly, but from reducing it to something smaller and more precise. Earlier papers gradually stripped away many of the assumptions that normally sit beneath quantum probability. The programme moved from asking why quantum probabilities follow the Born rule, to asking where the underlying geometry comes from, then to questions about distinguishability, admissibility, and how different possibilities can evolve before a fact is formed. Each step narrowed the remaining uncertainty.
By the time of the previous paper, One Residue or Two?, the situation had become remarkably focused. The programme showed that the remaining sector-side problem could be reduced to a single geometric question: does the transport construction admit an admissible degeneracy that is blind to whether it came from phase motion or refinement motion? If such a degeneracy exists, then two independent open questions remain. If it does not, the residue collapses to one. That was a major reduction, but it immediately exposed a deeper issue: before asking whether such a degeneracy exists, we need to know what “admissible” actually means.
This new paper tackles exactly that deeper question. Rather than trying to build a special degeneracy and seeing whether it works, it asks what rules any admissible degeneracy must satisfy in the first place. The paper argues that this is the correct way to proceed because a failed construction attempt proves nothing. If you fail to build something, that does not mean it cannot exist. To answer the question properly, the programme first needs a way to decide whether a candidate degeneracy is allowed or forbidden by the transport construction.
The paper’s central contribution is what it calls the Locality Decision Theorem. Instead of treating admissibility as a vague idea, it breaks the question into three separate tests. First, are the rules themselves local, depending only on the nearby structure of a degeneracy? Second, can every geometry that satisfies those local rules actually be realized by an admissible transport? Third, can locally admissible pieces always be assembled into a globally admissible transport? Together these form a decision procedure that determines whether admissibility is truly local or whether some deeper non-local structure is involved.
A particularly interesting result is that the paper identifies several different ways locality can fail. Previously, one might have simply concluded that a construction was either local or non-local. This paper shows that the situation is richer than that. Non-locality can arise because the rules explicitly depend on global information, because certain locally valid geometries can never actually be realized, or because locally valid pieces fail when assembled into a global structure. In other words, the paper replaces a simple yes-or-no question with a map of the possible failure modes.
The paper also introduces a powerful new perspective on global consistency. If local pieces must be assembled into a global transport, then the obstruction to doing so may itself become a meaningful mathematical object. Under certain conditions, the paper argues that this obstruction can be described using cohomological ideas. While this remains conditional on the details of the transport construction, it points toward a future where the final obstacle in the programme may be represented by a concrete mathematical structure rather than a vague conceptual problem.
What makes this paper important is that it does not depend on obtaining a particular verdict. Whether admissibility ultimately turns out to be local or non-local, the paper still delivers a useful result. It provides a decision procedure that determines how the answer must be reached and identifies the exact information needed to reach it. In that sense, it performs the same role that several earlier reduction papers played. It does not close the problem, but it shows exactly what a future solution must establish.
Taken together, the sequence of recent papers has compressed the remaining uncertainty dramatically. Questions that once appeared to involve probability, geometry, continuity, and admissibility have gradually been reduced to a handful of tightly connected structural issues. This paper pushes that reduction one step further by showing that the next question is not really about special degeneracies at all. It is about locality itself. Once the locality verdict is known, the path forward becomes clear, and the remaining sector-side programme can proceed along a much more sharply defined route toward a final synthesis.