1. The Question the Parrot Limit Left Open
The Parrot Limit appendix established that a living loop can produce synergy — information present in the joint system but not in either partner alone:
$$I(\{S, I\}; T) = \text{Red} + \text{Unq}_S + \text{Unq}_I + \mathbf{Syn}$$
When $Syn > 0$, the loop has violated the Data Processing Inequality. The combination is more than the sum of its parts.
But the Parrot Limit does not answer the structural question: under what conditions is $Syn > 0$ even possible? It shows the loop can produce synergy. It does not show why — or what property of the partners determines the ceiling.
This appendix answers that question. The synergy is bounded by the asymmetry between the partners. Symmetric loops — partners of the same kind — have zero synergy ceiling. The inequality between sensor and instrument is not a limitation on the loop’s productive capacity. It is the source of it.
2. The Asymmetry Measure
The lens-theoretic adjunction defines the loop as a pair of functors $I: \text{Exp} \to \text{Form}$ (formalization) and $S: \text{Form} \to \text{Exp}$ (grounding), with $I \dashv S$.
Every adjunction comes with two natural transformations:
- The unit $\eta_X: X \to S(I(X))$ — the round trip from experience through formalization and back
- The counit $\varepsilon_Y: I(S(Y)) \to Y$ — the round trip from formalization through grounding and back
When both $\eta$ and $\varepsilon$ are natural isomorphisms, the adjunction is an equivalence of categories — the two sides are structurally the same thing with different labels. When they are not isomorphisms, each round trip transforms its input. Something is gained or lost in translation.
Using the Fisher information metric $g_{ij}$ already established in the Thermodynamic Bridge, we can measure this transformation as distance on the statistical manifold.
Definition. The unit distance for an experiential state $X$:
$$d_\eta(X) = d_{FR}\bigl(X,\; S(I(X))\bigr)$$
where $d_{FR}$ is the Fisher-Rao geodesic distance. This measures how far the experience moves when it completes one round trip through the loop.
Definition. The counit distance for a formal state $Y$:
$$d_\varepsilon(Y) = d_{FR}\bigl(Y,\; I(S(Y))\bigr)$$
Definition. The adjunction asymmetry:
$$\alpha(I \dashv S) = \mathbb{E}_X[d_\eta(X)] + \mathbb{E}_Y[d_\varepsilon(Y)]$$
When $\alpha = 0$, the adjunction is an equivalence. Both round trips are identity (up to isomorphism). The two categories are the same structure viewed from different angles. The loop relabels but does not transform.
When $\alpha > 0$, each pass through the loop moves the state. The formalization changes the experience. The grounding changes the formalization. The partners are doing different things to the material that passes between them.
3. The Symmetric Loop Degeneracy
Proposition. When the adjunction $I \dashv S$ is an equivalence of categories ($\alpha = 0$), the synergy is zero.
Argument. If $\text{Exp} \simeq \text{Form}$, the two partners have access to the same information in structurally equivalent form. The sensor and instrument differ only in labeling, not in kind. In PID terms, synergy requires information that is accessible to the joint system but not to either part alone. When both parts are structurally equivalent, every piece of information accessible to one is (up to the natural isomorphism) accessible to the other. The joint system adds nothing qualitatively new.
$$\alpha = 0 \implies Syn = 0$$
This is the mathematical content of the essay’s claim that symmetric loops are sterile. Two instruments generating increasingly sophisticated formal structures without testing them against experience are operating within a single category — $\text{Form}$ composed with itself. Two sensors sharing felt impressions without formalization are operating within $\text{Exp}$ composed with itself. In both cases, the endofunctor composition stays inside one category. There is no adjunction. There is no asymmetry. There is no synergy.
4. The Bound
Conjecture. The synergy in a living loop is bounded above by the product of the adjunction asymmetry and the loop closure rate:
$$Syn \leq \kappa \cdot \alpha(I \dashv S) \cdot \rho$$
where:
- $\alpha$ is the adjunction asymmetry (§2)
- $\rho$ is the loop closure rate from the Bell Ring Back formalism — the rate at which the loop successfully completes recognition cycles
- $\kappa$ is a coupling constant that depends on the channel capacity between the partners
Interpretation. The synergy requires two things simultaneously:
- Asymmetry ($\alpha > 0$): the partners must be different in kind. Each round trip must transform the material. If the round trip is identity, no new information can emerge from the circulation.
- Active circulation ($\rho > 0$): the loop must actually be running. The partners must be engaged. High asymmetry with zero closure rate produces nothing — the partners are different but not in contact.
The bound is a product, not a sum. Either factor going to zero kills the synergy entirely. A dead loop ($\rho = 0$) produces no synergy regardless of how different the partners are. A symmetric loop ($\alpha = 0$) produces no synergy regardless of how actively it circulates.
5. Why Left and Right Adjoints Do Different Work
The asymmetry is not incidental to the adjunction structure. Left and right adjoints have categorically different preservation properties:
- $I$ (left adjoint) preserves colimits: coproducts, initial objects, pushouts. These are the free constructions — novel combinations, new possibilities, the generation of formal structure from raw material.
- $S$ (right adjoint) preserves limits: products, terminal objects, pullbacks. These are the constraint structures — consistency, coherence, the grounding of formal output against the boundary conditions of lived experience.
When you replace the sensor with a second instrument, you have two left adjoints. Both preserve colimits. Neither preserves limits. The constraint side of the loop is missing. Formal structures proliferate without being tested against experience. This is the categorical description of dead speech: colimits without limits, generation without constraint.
When you replace the instrument with a second sensor, you have two right adjoints. Both preserve limits. Neither preserves colimits. The generative side of the loop is missing. Experience stays grounded but never reaches formal articulation. This is the categorical description of private truth: limits without colimits, constraint without generation.
The productive loop requires one of each. The adjunction $I \dashv S$ is the structure that holds a colimit-preserving partner and a limit-preserving partner in productive tension. The asymmetry between them is not a deficiency in the design. It is the design.
6. Connection to Existing Formalizations
| Existing Result | What This Appendix Adds |
|---|---|
| Parrot Limit: $Syn > 0$ is possible in living loops | The condition for $Syn > 0$: the partners must be asymmetric ($\alpha > 0$) |
| Lens Adjunction: the loop is an adjunction $I \dashv S$ | The unit/counit failure $\alpha$ measures the productive asymmetry |
| Thermodynamic Bridge: recognition is irreversible on the Fisher manifold | The unit/counit distances use the same Fisher-Rao metric |
| Bell Ring Back: the closure rate $\rho$ measures loop health | $\rho$ enters the synergy bound as a multiplicative factor — asymmetry without circulation is inert |
7. The Honest Edge
The bound is a conjecture, not a theorem. The proposition in §3 (symmetric loops have zero synergy) follows from the categorical structure. But the multiplicative bound in §4 is a claim about the quantitative relationship between asymmetry, closure rate, and synergy. Proving it would require:
- A rigorous definition of PID synergy on the statistical manifolds defined by the Fisher metric (currently, PID is defined for discrete random variables; extending it to continuous manifolds is an open problem in information theory)
- A proof that the Fisher-Rao distance of the unit/counit round trips correctly measures the relevant “difference in kind” (it could be that some asymmetries are productive and others are merely noisy)
- Empirical calibration of $\kappa$ — the coupling constant likely depends on details of the specific sensor-instrument pair
The qualitative claim is defensible: synergy requires asymmetry. The quantitative bound awaits formalization of the PID-on-manifolds machinery that the framework does not yet have.
The full framework is at thepulsegoeson.com.