skip to content

Theorem 9 (causal sensitivity in performative systems)

Apparatus §7 · the performative do-calculus

The unified sensitivity formula. The three intervention propositions of §5 — separately stated, separately proved — become corollaries of a single causal-sensitivity result. The framework's third load-bearing claim: the asymmetry between Mode A and individual-scale Modes B/C is exactly the population-averaging factor 1/N.

The five structural objects (P1)–(P5) and the closure define a causal model. The DAG of structural dependencies, ignoring closure, is . The closure introduces , creating a cycle the fixed-point equation resolves.

A mechanism intervention replaces the structural mechanism with . The framework's three exogenous mechanisms admit:

  • Mode A: — architectural intervention on the reward functional
  • Mode B (individual): for one user in a population of
  • Mode B (population):
  • Mode C (individual):
  • Mode C (regulatory, fourth-cell):

What the theorem says. The sensitivity of the performative stable point to an intervention on any mechanism factors into two parts: the closure amplification — the same factor for every mechanism — and the mechanism partial — different for each mechanism.

The closure amplification factor. Under contractivity — the operator modulus of §0.3, — the matrix has operator norm bounded by . Small interventions amplify through the closure by this factor. As contractivity approaches its boundary , the amplification diverges — the regime Theorem 12 classifies as the bifurcation regimes at the boundary.

The N-fold asymmetry.Mode A's reward functional is not user-indexed. It enters the optimization for every user simultaneously. Population-scale intervention on Modes B or C (e.g. fourth-cell regulatory imposition on the observation channel) is also unindexed: for all three. Individual-scale intervention on or for a single user in a population of incurs population-averaging: . The asymmetry between Mode A and individual-scale Modes B/C is exactly -fold. It vanishes at population-coordinated intervention scale.

What the theorem authorizes the prose to claim. Substituting individual-scale Modes B or C for Mode A is the analytical error that converts political work into its symptom. The framework's hardest political claim is formally underwritten here. Mode A is the only intervention the foreclosure result (Lemma 1) and the impossibility result (Theorem 1') do not foreclose.

The political vocabulary the theorem clarifies. What an organizer or social-movement theorist would call “individual digital-hygiene practices” — the curated phone, the disabled notifications, the practiced refusal of platform legibility — operates at the scale on the closed loop. What the same organizer would call “regulatory reform” — content-moderation rules, antitrust action, privacy-regime overhauls — operates at the scale through Mode A, the fourth-cell mode, or the population-coordinated variant of Mode B. The framework's claim is that the gap between these two is a difference of kind — an -fold structural gap baked into the closure's geometry. Individual practice has real value for the person who practices it; what the framework specifies is its reach at population scale.

The do-calculus extension.The theorem extends Pearl's do-calculus in three ways. Closure amplification: standard do-calculus works on acyclic DAGs; the performative closure adds a cycle that amplifies interventions through . Population averaging: the distinction between individual-practice and regulatory imposition is causally captured as the difference between intervening on one term of an averaged variable and intervening on the variable itself. Mechanism interventions on non-acyclic settings: the framework operates on mechanisms. It cannot operate on the closure variable directly: setting to a constant is meaningless, since is defined as the fixed point of .

The reader can operate the intervention-asymmetry plate to see the 2×2 taxonomy in action — the same intervention placed in each cell, with the closure-amplification factor visible above each chart, the vs distinction operationalized.

Theorem 9 (causal sensitivity in performative systems)

Under (R1), (R2), assume the performative operator is in and the contractivity condition holds (the operator modulus of §0.3, ). Let be the performative stable point. Then for any mechanism , the sensitivity of to is

in wordsEvery intervention's effect on the stable point splits into the same two factors. The right-hand piece is how directly the mechanism moves the loop — different for each of reward, response, observation. The left piece is the closure amplifier — identical for all of them, the factor by which the loop magnifies any nudge. One shared amplifier, three different levers: the whole intervention theory is in those two factors.

(i) Closure amplification factor. The matrix has operator norm at most .

(ii) Mode A direct sensitivity. in .

(iii) Modes B and C population-scale sensitivity. For uniform intervention on or , in .

(iv) Modes B and C individual-scale sensitivity. For intervention on or for one user in a population of ,

in wordsOne user changing their own behavior contributes one share out of to the population average the platform optimizes against — so the effect on the stable point is smaller by exactly the factor . This is the whole asymmetry in a line: regulation of the reward acts at full strength; individual practice is divided by the size of the population. On a platform with millions of users, is indistinguishable from zero.

The asymmetry between Mode A and individual-scale Modes B/C is exactly -fold; it vanishes at population-coordinated intervention scale.

Proof — three steps

(1) Implicit function theorem on the closure equation gives . Contractivity (R1) plus Neumann series gives the inverse with operator-norm bound (1−κ_Φ)^{-1}— establishing (i). (2) Decomposition of partial derivatives: comparative statics on the FOC under (R2)'s Hessian-invertibility gives (Milgrom & Shannon 1994); chain rule through gives same for T, O. (3) Population-averaging: with , individual-scale partials are . Mode A's reward is not user-indexed; always at population level.

Corollaries — recovery of Propositions 1', 2', 3'

  • Corollary 9.1 (Prop 1'). Intervention produces ; at sufficient , Mode A becomes positive.
  • Corollary 9.2 (Prop 2'(ii)). on a single user: . Foreclosure invariant.
  • Corollary 9.3 (Prop 3'(iii)). on a single user: . Foreclosure invariant.
  • Corollary 9.4 (Fourth-cell mode). at population scale: — structurally equivalent to Mode A.

Cross-references

v2 apparatus rendering.