7. The Active Drift Theorem

7.1 The Antisymmetric Momentum Principle

Setup. $N$ bodies in $\mathbb{R}^d$, force $F_i(x) = G \sum_j w_{ij}(x)(x_j - x_i)$, smooth $w_{ij}$, damping $-\gamma \dot{x}_i$.

Decompose $w = S + \Omega$ where $S_{ij} = \frac{1}{2}(w_{ij} + w_{ji})$ (symmetric) and $\Omega_{ij} = \frac{1}{2}(w_{ij} - w_{ji})$ (antisymmetric).

Theorem 7.1 (Antisymmetric Momentum Principle). The total force on the center of mass is

The symmetric part $S_{ij}$ contributes nothing to $\dot{\mathbf{P}}_{\text{tot}}$.

Proof. $\sum_i F_i = G \sum_{ij} w_{ij}(x)(x_j - x_i) = G \sum_{i<j} (w_{ij} - w_{ji})(x_j - x_i) = 2G \sum_{i<j} \Omega_{ij}(x_j - x_i)$. The symmetric part cancels: $\sum_{ij} S_{ij}(x_j - x_i) = \sum_{i<j}(S_{ij} - S_{ji})(x_j - x_i) = 0$ since $S_{ij} = S_{ji}$. Adding damping gives the result. $\blacksquare$

Component-wise Frobenius notation. $\dot{P}_{\text{tot}}^\alpha = 2G \langle \Omega, J^\alpha \rangle_{\mathrm{Frob}} - \gamma \sum_i \dot{x}_i^\alpha$ where $J^\alpha_{ij} := (x_j - x_i)^\alpha$ and $\langle \Omega, J^\alpha \rangle_{\mathrm{Frob}} = \sum_{ij} \Omega_{ij} J^\alpha_{ij}$.

7.2 The Discrete Limit ($\varepsilon = 0$)

In the discontinuous limit, $w_{ij}(x; \varepsilon) \to \delta_{j, q_i(x)}$ where $q_i(x) = \arg\max_j \|x_i - x_j\|$. Then $A_{ij}(x) := \delta_{j, q_i(x)}$ is the binary witness matrix.

Corollary 7.1.1 (Mutual Pair Cancellation). A mutual pair $(i, j)$ where $q_i = j$ and $q_j = i$ contributes exactly zero to $\dot{\mathbf{P}}_{\text{tot}}$: $A_{ij} = A_{ji} = 1 \Rightarrow \Omega_{ij} = 0$. Only directed (non-mutual) witnesses contribute.

Remark. $\mathrm{NonFix}(\Pi)$ (subset of $X$) and $\Omega$ (matrix-valued function on $X$) are distinct objects. Earlier claims of literal equality are incorrect.

7.3 Energy Decomposition

Theorem 7.2 (Energy Decomposition). The rate of change of mechanical energy $E = \frac{1}{2}\sum_i m_i \|\dot{x}_i\|^2$ is

where $K = \sum_i \frac{1}{2}m_i\|\dot{x}_i\|^2$ and

Proof. $\dot{E} = \sum_i m_i \dot{x}_i \cdot \ddot{x}_i = \sum_i \dot{x}_i \cdot F_i - \gamma \sum_i \|\dot{x}_i\|^2 = G \sum_{ij} w_{ij}(x)(\dot{x}_i \cdot (x_j - x_i)) - 2\gamma K$. Splitting $\sum_{ij}$ into $\sum_{i<j}$ and pair-exchanging gives $\sum_{i<j} (w_{ij}\dot{x}_i - w_{ji}\dot{x}_j) \cdot (x_j - x_i)$. Substituting $w = S + \Omega$ and identifying $\dot{E}_S$, $\dot{E}_\Omega$ completes the proof. $\blacksquare$

Physical interpretation.

• $\dot{E}_S$ depends on relative velocity $(\dot{x}_i - \dot{x}_j)$. For constant $w$, conserves potential energy at fixed topology.
• $\dot{E}_\Omega$ depends on sum of velocities $(\dot{x}_i + \dot{x}_j)$. For coherent drift $\dot{x}_i \approx v$, gives $\dot{E}_\Omega \approx v \cdot \dot{\mathbf{P}}_{\text{tot}}$.

Corollary 7.2.1 (No Guaranteed Energy Injection from Antisymmetry). $\dot{E}_\Omega \geq 0$ does not hold in general. The sign depends on the alignment of velocity sums with position differences.

Corollary 7.2.2 (Work-Extraction Cycles). In a periodic trajectory with non-reciprocal interactions, the time-averaged $\langle \dot{E}_\Omega \rangle$ can be positive. See the "work-generating cycles in non-reciprocal living solids" literature.

7.4 Summary of Balance Laws

Antisymmetry is sufficient for momentum drift; insufficient for guaranteed energy injection.

7.5 The Switching-Work Term

The energy decomposition at fixed topology misses a contribution that arises because $w_{ij}$ depends on $x$: when the witness graph switches, the system does work even without antisymmetry.

Define the symmetric potential $U_S(x) := -\frac{G}{2} \sum_{i<j} S_{ij}(x)\,\|x_j - x_i\|^2$. Differentiating:

The first term is the switching work rate, work done by the implicit dependence of the symmetric interaction matrix on the state as the trajectory moves through switching surfaces $S_{i,jk}$. The second is the standard conservative exchange at fixed topology. Define

Discontinuous definition. In the limit $\varepsilon \to 0$, $S_{ij}$ is piecewise constant on each graph branch and jumps discretely at each switching surface. The discrete switching work is $W_{\text{switch}} = \sum_{\text{events}} \Delta U_{\text{switch}}$.

Smooth-discontinuous agreement. For transversal crossings of the switching surfaces (trajectories crossing each $S_{i,jk}$ in finite time with nonzero normal velocity), $W_{\text{switch}}(\varepsilon) \to \sum \Delta U_{\text{switch}}$ by dominated convergence. For sliding-mode regimes (Filippov trajectory on a switching surface for positive-measure interval), $W_{\text{switch}}$ requires a measure-valued or differential-inclusion framework. Theorem 7.3 below restricts to the transversal case.

7.6 The Complete Energy Ledger

Theorem 7.3 (Complete Mechanical Energy Balance). The change in total mechanical energy over $[t_0, t_1]$ is

where

or $W_{\text{switch}} = \sum \Delta U_{\text{switch}}$ in the discontinuous limit,

Proof. Adding $W_{\text{switch}}$ to Theorem 7.2's decomposition recovers the full time derivative of $U_S$: $\dot{E} = \dot{E}_S + \dot{E}_\Omega - 2\gamma K + \dot{W}_{\text{switch}}$. Integration and identification of $D_{\text{drag}}$ and $D_{\text{wall}}$ gives the result. $\blacksquare$

Term interpretation.

• $W_{\text{nr}}$ — nonreciprocal work, delivered by antisymmetric attention to COM mode. Sign depends on state.
• $W_{\text{switch}}$ — graph-reconfiguration work, from state-dependent changes in interaction topology.
• $D_{\text{drag}}$ — viscous dissipation from damping $\gamma$.
• $D_{\text{wall}}$ — work done against external potentials.

7.7 Canonical Physical Statement

Decoding.

• Reciprocity controls internal motion. $S_{ij}$ drives $\dot{E}_S$, which depends on relative velocities. Conservative at fixed topology, zero net force on COM.

• Nonreciprocity opens a center-of-mass work channel. $\Omega_{ij}$ contributes zero to internal dynamics at fixed topology, but is the sole source of net force on COM (Theorem 7.1). Channel for work on collective translation.

• Graph switching adds its own work term. Even with $\Omega_{ij} = 0$, state-dependent topology change produces $W_{\text{switch}}$, invisible to fixed-topology mechanics.

7.8 Operator-Theoretic Interpretation (Corrected After Review)

The symmetric/antisymmetric decomposition $A = S + \Omega$ connects to operator theory. An earlier draft of this section contained mathematical errors that are explicitly corrected below.

Pitfall: Skew-Adjoint $\neq$ Dissipative. Self-adjoint and skew-adjoint operators both generate unitary one-parameter groups via Stone's theorem. The genuinely "active" / "entropy-producing" dynamics come from dissipative generators (m-accretive, Lindblad dissipators), which are neither self-adjoint nor skew-adjoint.

Corrected Parallel.

Theorem 7.4 (Lindblad Decomposition). Let $\mathcal{L}$ be a Lindblad generator: $\mathcal{L}(\rho) = -i[H, \rho] + \sum_k \gamma_k (L_k \rho L_k^* - \tfrac{1}{2}\{L_k^* L_k, \rho\})$.

With respect to the Hilbert-Schmidt inner product $\langle A, B \rangle_{\mathrm{HS}} = \mathrm{Tr}(A^\dagger B)$:

1. The Hamiltonian superoperator $\mathcal{L}_H = -i[H, \cdot]$ is skew-adjoint under HS and generates a unitary group preserving the trace norm.

2. The dissipator $\mathcal{D} = \mathcal{L} - \mathcal{L}_H$ is dissipative (conditionally completely positive, contractive) but generally not skew-adjoint under HS.

3. The trace-distance dynamics: $$\tfrac{d}{dt}\,\|\rho(t) - \sigma(t)\|_1\big|_{t=0} = \mathrm{Tr}(\mathrm{sgn}(\rho - \sigma)\,\mathcal{D}(\rho - \sigma)) \leq 0$$ depends only on $\mathcal{D}$, not on $H$.

Proof. (1) Direct computation: $\langle -i[H, A], B \rangle_{\mathrm{HS}} = -\langle A, -i[H, B] \rangle_{\mathrm{HS}}$, confirming skew-adjointness. Unitarity and trace-norm preservation follow from Stone's theorem. (2) The dissipator is dissipative by Lindblad construction; $\mathcal{D}^\dagger \neq -\mathcal{D}$ generally. (3) The directional derivative formula uses the unitary invariance of trace distance to kill the $\mathcal{L}_H$ term, leaving the dissipative contribution $\leq 0$. $\blacksquare$

Implication for RBDS. The RBDS antisymmetric attention $\Omega$ plays the role of the Lindblad dissipator $\mathcal{D}$, not the skew-adjoint part. Both produce non-conservative work and contract the appropriate distinguishability metric.

Spectral Theorem. Every self-adjoint operator $A$ on a Hilbert space admits a projection-valued measure $E(\lambda)$: $A = \int \lambda \, dE(\lambda)$. The $E(\lambda)$ are orthogonal projections (idempotent and self-adjoint). This matches RITE's structure with $\mathcal{B} \subseteq \mathbb{R}$.

Orthogonal Projections. When $\Pi = \Pi^* = \Pi^2$, $\Pi$ is an orthogonal projection: the canonical Hilbert-space realization of an idempotent distinction operator with the additional self-adjointness axiom. Includes Lüders projectors, conditional-expectation projections, Wilsonian projectors, spectral projections $E(\lambda)$. RBDS assumes only $\Pi = \Pi^2$; Hilbert-space specializations with $\Pi = \Pi^*$ exclude oblique projections (POVMs and generalized measurements).

Noncommutativity. For self-adjoint $A, B$, $[A, B] = AB - BA$ is skew-adjoint and $i[A, B]$ is self-adjoint. Quantum effects (Heisenberg uncertainty, exclusion, Bell violations) arise from non-vanishing commutators. This is the Lie-algebraic analog of $\Omega$ generating collective drift.

Conjecture 7.1 (formal statement). Let $\{L_k(\rho)\}$ be Lindblad jump operators depending smoothly on the quantum state $\rho$. Under appropriate scaling ($\hbar \to 0$, $N \to \infty$, or weak-coupling limit), the resulting open-system dynamics admits a classical limit described by the witness-graph ODE $\dot{x} = F(x, A(x))$ where $F$ is generated by the dissipator's drift on coarse-grained pointer states.

This conjecture requires a rigorous limit theorem (Ehrenfest, WKB, weak-coupling) not provided here. The classical-quantum correspondence remains an analogy supported by structural parallels but not a derived result. See §5 (Open Questions, item 7).