The Game-Change Theorem
Decision Accounting

The Game-Change Theorem

setup
Setup

LIBOR shows why fines can leave the game intact

The paper starts from the 2012 LIBOR manipulation case: a benchmark used in $350 trillion in financial contracts was built on panel-bank submissions, so the inherited information structure rewarded self-serving reports.

scope
MST Conditions

The theorem applies only when system welfare is missing from the inherited game

The Game-Change Theorem is the companion to the Missing System Theorem. It applies when the inherited game satisfies Partial Overlap, Non-Observability, and Discount Rate Asymmetry.

hollow-win
Hollow Win

A Hollow Win is private gain with system loss

The paper uses the MST eight-outcome taxonomy to isolate the failure mode. In a Hollow Win, both private sides improve while the system condition worsens.

existence
1

A liability transformation can eliminate the Hollow Win

1 gives a constructive existence proof: for every MST game G, there is a transformed game G′ in which the Hollow Win is eliminated and W is recoverable from the payoff structure.

insufficiency
7

Mechanism design cannot approximate the transformation optimum

The paper argues that mechanisms inside G remain informationally closed. They can alter prices, reports, audits, and sanctions, but they cannot condition on a welfare object the game never records.

nphard
6

Optimal transformation search is NP-hard, so the target is satisficing

The decision problem GAME-TRANSFORM is NP-complete by reduction from Minimum Dominating Set. The paper uses that boundary to replace exact optimization with a dominance test against the status quo.

taxonomy
R1/R2/R3

Every welfare-improving rule change fits one primitive operation

Proposition 12 states that welfare-improving transformations decompose into three primitive operations, complete up to isomorphism.

cases
Cases

The three institutional witnesses map cleanly to R3, R2, and R1

The cases are not randomized evidence of welfare maximization. The paper uses them as institutional witnesses for the three transformation classes.

decision-accounting
Decision Accounting

Field 17 makes system welfare inspectable before the decision

Decision Accounting is the paper’s practical R3 device. It moves the welfare record upstream so later actors can reconstruct authority, evidence, predictions, alternatives, and system burden.

actuation
Conflictoring Lane

Three coordinated agents can actuate R1 or R2, and four can actuate R3

The Conflictoring Lane models how a rule change becomes self-sustaining without a central coordinator. It specifies six agent types and a threshold k*.

calibration
Calibration

The stylized Monte Carlo puts the welfare wedge far above one

The paper’s calibration is stylized, but it gives the teaching deck a concrete scale for the gap between private revenue and system-welfare burden.

takeaway
Takeaway

Valid game-change analysis must name the game and the changed component

The paper’s policy move is narrow: when MST conditions hold, reform should search for a satisficing rule transformation rather than a better move inside the inherited game.