Addendum 97: Mathematical Structure Before Local Laws
Scattering Geometry, Thermodynamic Gravity, and Quantum Distinguishability
Abstract
Several research programs derive familiar physical descriptions from a prior mathematical organization of possibilities. Scattering amplitudes can arise from positive geometry or combinatorial structures rather than an initial sum over Feynman diagrams. Gravitational field equations can be recovered, under specified assumptions, from horizon thermodynamics. Operational principles of distinguishability and information can reconstruct the structure of quantum theory. These are distinct results with distinct premises. Their mathematical objects are not thereby identical to one another or to R²D counts.
R²D supplies a precise cross-domain question that these results make difficult to ignore: what defines the states, compatible realizations, and admissible relations on which a local law operates? At a specified boundary, an enclosing state classifies which subordinate arrangements count as its microstates. The identity of a microstate as a microstate of that state therefore depends on the classification. Where an enclosing compatibility relation is also specified, R²D distinguishes the support for a direction from the local events that realize it. A successful local equation remains successful; its fit does not, by itself, reverse the formal order of definition or establish universal causal priority for its variables. This addendum compares exact results, identifies their common mathematical ordering, and states where the proposed R²D interpretation reaches beyond what those results alone derive.
1. The question beneath a local equation
A local physical law relates variables within a domain. It may predict a scattering amplitude, the curvature of a specified spacetime, or a quantum outcome. To use the law, one has already specified what counts as a system, which alternatives are distinguishable, which configurations are admissible, and how a result is read. These premises need not all appear as variables in the final equation.
This observation does not erase the law or its evidence. It locates its achievement. A derivation from an action, field equation, or dynamical rule is rigorous given that starting structure. A further claim—that the law’s selected local variables independently define the enclosing state in which they have meaning—requires a separate whole–part argument. No such claim should be attributed to a theory simply because its equations contain microscopic variables.
R²D takes that further question as its starting point. The purpose here is neither to borrow authority from work in other fields nor to declare it secretly R²D. It is to compare the order of mathematical explanation: a structure of admissible, distinguishable possibilities first; particular local reads and equations within it.
2. The R²D starting point
At boundary \(B_n\), let \(\mathfrak M_n\) be the admissible complete joint realizations of the immediately subordinate peers, \(\mathcal M_n\) the distinguishable macrostates, and
\[ \pi_n:\mathfrak M_n\longrightarrow\mathcal M_n \]
the classification that assigns each admissible realization to its enclosing state. For a state \(i\), its native multiplicity is
\[ W_{n,i}=\left|\pi_n^{-1}(i)\right|. \]
This is a mathematical definition, not an estimate of how often \(i\) was observed. The fiber \(\pi_n^{-1}(i)\) consists of the realizations that count as microstates of \(i\). A configuration is not intrinsically a microstate of every possible enclosing description. Change the boundary or classification, and its count meaning can change even if a local configuration can still be written down.
The resulting priority is definitional: the enclosing classification defines microstate identity as such. It does not say that a macrostate occurs earlier in time than its realizations, or that a local mechanism is ineffective. A microscopic variable cannot acquire primitive priority by being called a microstate over the relation that makes it a microstate. If a different formal whole–part architecture defines that identity independently, it should be presented and assessed on its own terms.
R²D further distinguishes native multiplicity, realized occupancy, and enclosing compatibility. Where the next boundary is defined, the Canon writes a compatible-extension count \(\Theta_{n+1\mid n,i}\) and, for positive native multiplicity,
\[ K_{n+1\mid n,i}=\frac{\Theta_{n+1\mid n,i}}{W_{n,i}}, \qquad P_{n,i}=\ln K_{n+1\mid n,i}. \]
These coordinates ask how many enclosing realizations remain compatible with a local alternative, relative to its native realizations. Unequal support can organize a direction under the Canon’s stated conditions; local processes realize the change. A formal count relation is one claim. Identifying a particular laboratory, spacetime, or particle variable with that relation is another. Neither a resemblance of equations nor a local theory’s predictive success silently supplies that identification.
3. Particle amplitudes: geometry and combinatorics before a familiar expansion
In the planar limit of \(\mathcal N=4\) supersymmetric Yang–Mills theory, Arkani-Hamed and Trnka identify scattering amplitudes with a positive-geometric object, the amplituhedron. Locality and unitarity arise in this formulation from the geometry rather than serving as its initial organizing principles [1]. The result has an exact theoretical setting; it is not a derivation of every particle interaction from one geometry.
Another construction obtains all-loop integrated amplitudes in a colored cubic scalar theory from a combinatorial counting problem in scattering-data space, without the conventional sum over Feynman diagrams as the defining formula [2]. Here the explanatory reversal is especially visible: the count is defined on a mathematical structure, and a familiar local perturbative result is recovered from it. The counted objects, however, are specific to that scattering construction. They have not been proved to be the fibers \(\pi_n^{-1}(i)\) of an R²D macrostate.
Work by Arkani-Hamed, Cao, Dong, Carolina Figueiredo, and He shows that certain colored-scalar, pion, and gluon amplitudes can be related through one function with a shift of kinematic data; shared hidden zeros and factorization constrain the result in the tree-level setting studied [3]. In later work, the same group replaces an ordinary momentum assignment with surface kinematics, distinguishing curves whose ordinary assignments would collapse together. This resolves particular integrand-level \(1/0\) ambiguities and supports a canonical loop-integrand construction in the stated planar Yang–Mills setting [4]. The \(1/0\) in that paper concerns its loop-integrand kinematics; it is not R²D’s zero-occupancy finite-step example.
Cachazo, He, and Yuan provide a complementary result: tree-level scattering expressions for scalars, gluons, and gravitons arise from integrals over marked points on a sphere, with theory-specific ingredients inserted into a shared framework [5]. Again, the mathematical lesson is a common organizing space yielding multiple local reads, not identity between that space and an R²D count boundary.
R²D reading. These works demonstrate, within their stated theories, that a local calculation need not be the most primitive form of its own result. Geometry, admissible kinematics, and combinatorial restrictions can organize what the familiar particle-law expression reads. R²D goes further by specifying a general macrostate–microstate classification and asking whether the relevant particle states admit an exact boundary-preserving map to it. The scattering papers establish their own theorems; that additional map is not established by shared words such as count, surface, or boundary.
4. Gravity: horizon thermodynamics and boundary degrees of freedom
Bekenstein argued that black holes possess entropy proportional to horizon area [6]. Hawking’s thermal-radiation result fixes the familiar quarter-area expression, \(S_{\mathrm{BH}}=k_B A/(4\ell_P^2)\), in the usual units [7]. A gravitational boundary thus carries a thermodynamic relation whose significance cannot be read from a local metric coefficient alone. This is an area–entropy relation, not an independently supplied enumeration of R²D microstate fibers.
Jacobson takes horizon entropy proportional to area and the Clausius relation \(\delta Q=T\,dS\) at every local causal horizon and derives the Einstein equation as an equation of state, under the construction’s assumptions [8]. This is a genuine conditional derivation: its horizon and thermodynamic premises have content, and it begins with a spacetime setting in which local horizons can be described. The result shows that Einstein’s equation can be read from thermodynamic organization; it does not derive the entire R²D boundary architecture or show that the physical degrees of freedom have a unique R²D count assignment.
Padmanabhan relates cosmological expansion, in the relevant cosmological setting and units, to an imbalance between surface and bulk degrees of freedom,
\[ \frac{dV}{dt}=N_{\mathrm{sur}}-N_{\mathrm{bulk}}. \]
The surface and bulk counts are specified by that construction [9]. In another treatment he works in both logical directions: field equations can motivate a surface density of degrees of freedom, while an entropy-extremization starting point can yield gravitational field equations [10]. The direction of derivation therefore matters. A result obtained using Einstein’s equation cannot be redescribed as an independent derivation of it; a separate construction starting from thermodynamic assumptions should receive credit for what it actually derives.
R²D reading. Gravity is a promising place to ask whether an area or horizon variable is a readable projection of a prior boundary-defined count relation. R²D’s proposed “area before radius” order concerns which relation gives geometric quantities their state meaning; it does not follow merely by rearranging \(A=4\pi r^2\). In the R²D picture, thermodynamics is a bridge where recurrence and geometry can be jointly read, while a gravitational geometric read may hide the recurrence that sustains it. These are R²D claims to be examined with the gravity addenda and their own assumptions. Neither Bekenstein–Hawking entropy nor Jacobson’s derivation alone identifies \(N_{\mathrm{sur}}\), horizon area, or entropy with \(W_{n,i}\) or \(K_{n+1\mid n,i}\). Their significance is that well-developed gravity mathematics already makes boundary and thermodynamic organization explanatory rather than incidental.
5. Quantum theory: distinguishability before a state-space read
Chiribella, D’Ariano, and Perinotti formulate quantum theory operationally from principles that include perfect distinguishability, ideal compression, local distinguishability, pure conditioning, and purification, within a framework of physical systems and operations [11]. The reconstruction does not begin by treating the Hilbert-space formalism as an unexplained primitive. It also does not define an R²D macrostate fiber: its operational alternatives, transformations, and purification principle have their own precise meanings.
Rovelli’s relational interpretation supplies a different, conceptual example: a physical state is specified relative to a physical system, challenging the idea of a state description wholly independent of the relation in which it is read [12]. Relational quantum mechanics is not a proof of R²D enclosing-to-local direction. It makes the question of which relation owns a state description unavoidable without answering it through R²D’s count definitions.
R²D reading. If the distinguishability of alternatives and their compatible realization conditions are prior to a particular operator or coordinate read, R²D can ask what boundary classifies those alternatives and whether a recursive replacement changes state identity. That is a sharper question than announcing that quantum information “is R²D.” The operational reconstruction establishes a conditional route to quantum mathematics; R²D contributes a distinct formal account of macrostate and microstate identity that would need an explicit bridge to those operational objects for a variable-level correspondence.
7. The unifying claim and its limits
These studies make a coherent possibility visible: descriptions called local laws can be highly accurate projections of more basic constraints on what is distinguishable, admissible, and compatible. They do not require all their authors to adopt one ontology. Nor do they imply that every use of boundary has the same mathematical type. A scattering-surface curve, a causal horizon, a quantum subsystem, and an R²D count boundary must be compared by their definitions and maps, not their names.
R²D’s proposed unification is more specific than a slogan about emergence:
- Define the boundary and its distinguishable states.
- Identify the complete subordinate realizations admitted at that boundary and the classification \(\pi_n\).
- Count native multiplicity without substituting observed occupancy for possible realizations.
- If a directional claim is made, identify the compatible relation at the enclosing boundary and distinguish its support from the local events that realize an outcome.
- Only then ask which conventional variables and equations read that structure in a particular physical domain.
Steps 1–3 specify a formal state/count architecture wherever the requisite macrostate–microstate relation exists. Step 4 requires the stated enclosing comparison. Step 5 is a domain-specific mathematical and physical identification. Failure of one proposed identification would constrain or defeat that identification; it would not retrospectively make a microstate independent of the classification that defined it.
The comparison also runs in the other direction. A conventional local law’s empirical fit is evidence for the law’s predictions under its premises. It is not, without an additional derivation, evidence that its local variables possess primitive causal priority over the state relation that makes them meaningful. Equally, an R²D correspondence that exactly recovers an established law should be called an exact correspondence under its imported premises; it should not be called a derivation of every premise from Part I. The same words—derived, assumed, mapped, measured—must carry the same burdens for each account.
8. A concrete program for comparison
The next task is to compare structures rather than collect analogies. For each candidate result, record:
| Required item | Question to answer |
|---|---|
| Native objects | What is actually counted, distinguished, integrated, or constrained in the cited work? |
| Boundary and ownership | Which mathematical or physical relation defines those objects and their admissible states? |
| Exact local result | What equation or amplitude follows, and under which explicit assumptions? |
| Candidate R²D map | Can one specify \(\mathfrak M_n\), \(\mathcal M_n\), and \(\pi_n\) without changing either theory’s definitions? |
| Preserved distinctions | Are possible count, observed occupancy, state, transition, and completed closure kept separate? |
| Status | Is the relation an exact isomorphism, a conditional correspondence, a structural parallel, or an incompatibility? |
A successful exact map would explain why a domain result has its familiar mathematical form. A structural parallel can guide a search without pretending that the map has been completed. An incompatibility should be identified by the particular definitions or results that conflict. This keeps external work useful to R²D while allowing it to resist, refine, or support the proposed unification on logical grounds.
The distinction can be made formal. Suppose a domain construction has native configurations \(X_D\), readable outcomes \(Y_D\), and a specified readout \(q_D:X_D\to Y_D\). A proposed exact R²D classification must give maps \(f:X_D\to\mathfrak M_n\) and \(g:Y_D\to\mathcal M_n\) for which
\[ \pi_n\circ f=g\circ q_D, \]
with the maps preserving the domain’s relevant admissibility and distinguishability. If the claim also equates multiplicities, it must preserve fiber counts, or the corresponding measures in a continuous construction; merely making the square commute is insufficient. If it equates a physical direction, it must additionally specify the enclosing compatibility relation and the readout of the direction. No scattering amplitude, horizon degree of freedom, or operational quantum state in the sources above has been shown here to meet all of those conditions. The equation states what an exact unification would mean, rather than claiming that it has already been completed.
9. Conclusion
The particle, gravity, and quantum examples do not prove that their mathematical objects are one object. They do demonstrate that major local descriptions can be organized from geometry, combinatorics, thermodynamic relations, or operational distinguishability whose premises precede the final local expression. R²D makes the whole–part question exact: an enclosing state defines which compatible subordinate arrangements count as its microstates, and an enclosing compatibility comparison can organize direction while local processes realize it.
The comparison asks whether valid local results, with their actual assumptions intact, can be read consistently through a single boundary-defined state/count architecture, and whether a claimed exception supplies a precise alternative to that architecture. This addendum identifies the shared mathematical route and the work required to test each proposed identification. Local equations retain their demonstrated results, and a proposed cross-domain identification receives the claim status its mathematics actually supports.