.. meta::
   :description: Reference sheet — Mechanism design for axiomatic economics in matheology forge sessions.
   :keywords: mechanism design, incentive compatibility, revelation principle, VCG, Gibbard-Satterthwaite, Jubilee-System, matheology

***********************************************************************
Reference Sheet 3: Mechanism Design for Axiomatic Economics
***********************************************************************

**Target audience:** Forge auditor who knows S5 modal logic, CEM, FOL,
and basic game theory but needs mechanism design for formalizing the
economic claims in the JUB model (ax25, th8, th9).


1. Orientation
===============

Mechanism design is "reverse game theory." Game theory takes a game as
given and asks how rational agents will play. Mechanism design takes a
desired *outcome* as given and asks: what game (mechanism) produces that
outcome when agents play rationally? The JUB model makes strong economic
claims — that Jubilee-System recalibration (ax25) restores ergodicity (th9),
that pure capitalism and pure communism both converge to a BABL attractor
(th8), and that a combined mechanism preserves incentives while achieving
redistribution. Mechanism design is the formal toolkit that determines
whether these claims are *achievable in principle* or whether they
violate impossibility theorems that no mechanism can circumvent.


2. Key Concepts
================

**Mechanism.**
A mechanism M = (S₁,...,Sₙ, g) consists of strategy spaces S_i for each
of n agents and an outcome function g: S₁ × ... × Sₙ → O mapping
strategy profiles to outcomes. Informally: the rules of the game.
*Matheology use:* The Jubilee-System (ax25) is a mechanism. Its strategy
spaces are the economic actions available to agents within the economy E.
Its outcome function determines how periodic redistribution resets R
interact with individual choices.

**Social choice function.**
A function f: Θ₁ × ... × Θₙ → O mapping agent *type profiles*
(preferences, valuations) to outcomes. This is what the mechanism
designer *wants* to achieve — the ideal mapping from true preferences to
socially desirable outcomes.
*Matheology use:* The JUB model implicitly defines a social choice
function: given agents' genuine needs and capacities, the life-trifecta
outcome (Stable ∧ Extensible ∧ LifeFriendly) should be selected.

**Incentive compatibility (IC).**
A mechanism *implements* a social choice function f in dominant
strategies if truth-telling is optimal for each agent regardless of what
others do: for all i, θ_i, θ'_i, θ_{-i},
u_i(g(θ_i, θ_{-i}), θ_i) ≥ u_i(g(θ'_i, θ_{-i}), θ_i).
Informally: honesty is an optimal policy, no matter what.
*Matheology use:* For ax25 to work, the periodic redistribution must not
create incentives to hide wealth, game the reset timing, or
misrepresent productive capacity. IC is the formal condition that the
Jubilee-System mechanism must satisfy.

**Individual rationality (IR).**
No agent should prefer opting out entirely. For each agent i with type
θ_i, participation must yield at least their outside option:
u_i(g(θ), θ_i) ≥ u_i(outside, θ_i).
*Matheology use:* If Jubilee-System recalibration makes any agent worse
off than autarky, that agent will defect — undermining the mechanism.
IR constrains the redistribution rule.

**Revelation principle.**
If a social choice function f can be implemented by *any* mechanism in
which agents play an equilibrium, then f can also be implemented by a
*direct* mechanism where agents simply report their types and
truth-telling is an equilibrium.
*Why it matters for matheology:* You do not need to search the space of
all possible economic mechanisms. If a desired outcome is achievable at
all, it is achievable via a direct mechanism. This dramatically
simplifies the analysis of whether ax25's goals are feasible.

**Vickrey-Clarke-Groves (VCG) mechanism.**
A family of mechanisms that achieve efficient allocation with honest
reporting. Each agent pays the *externality* they impose on others:
t_i(θ) = Σ_{j≠i} v_j(a*(θ_{-i}), θ_j) − Σ_{j≠i} v_j(a*(θ), θ_j),
where a*(θ) is the efficient allocation and v_j is agent j's valuation.
*Matheology use:* VCG provides a benchmark. If the Jubilee-System
redistribution can be formulated as a VCG mechanism, then efficiency
and incentive compatibility are simultaneously achievable. If it cannot,
there is a fundamental tradeoff.

**Budget balance.**
A mechanism is *budget-balanced* if the sum of all payments is zero
(no external subsidy needed): Σᵢ tᵢ(θ) = 0 for all θ. *Weakly*
budget-balanced: Σᵢ tᵢ(θ) ≥ 0 (no deficit).
*Matheology use:* The Jubilee-System's periodic redistribution must
source its transfers from within the economy. Budget balance is the
formal constraint that redistribution cannot rely on an external reserve.

**Allocation rule vs. payment rule.**
A mechanism has two parts: (1) an allocation rule deciding who gets
what, and (2) a payment rule deciding who pays whom. These are designed
jointly to achieve IC, IR, and efficiency.
*Matheology use:* ax25 specifies that redistribution preserves incentive
structure. This is a joint constraint on the allocation rule (what gets
redistributed) and the payment rule (how the reset is financed).


3. Critical Theorems
======================

**Myerson-Satterthwaite theorem.**
In bilateral trade with private valuations, no mechanism can
simultaneously be incentive compatible, individually rational, budget
balanced, *and* efficient. At least one must be sacrificed.
*Why it matters:* If the Jubilee-System involves bilateral exchanges
(buying/selling economic capacity), this theorem says perfect
redistribution without waste, coercion, or external subsidy is
*impossible*. The JUB model must either accept inefficiency, relax IR
(some agents are made worse off), inject external resources, or
redefine the problem to escape bilateral-trade framing.

**Gibbard-Satterthwaite theorem.**
For three or more outcomes, any non-dictatorial social choice function
that is defined on all preferences and always selects a single outcome
is *manipulable* — some agent can sometimes benefit from misreporting
their preferences. (Exception: if the domain is restricted to
single-peaked preferences.)
*Why it matters:* If the Jubilee-System makes collective decisions about
redistribution parameters, Gibbard-Satterthwaite says any voting-based
mechanism is either dictatorial or gameable — unless preferences are
structurally restricted. ax17 (Non-Coercive Guidance) forbids
dictatorship, so the mechanism must either restrict the preference
domain or accept strategic behavior.

**Green-Laffont theorem.**
VCG is the *only* family of mechanisms that is both efficient and
dominant-strategy incentive compatible in quasi-linear environments.
*Why it matters:* If the Jubilee-System economy has quasi-linear
utility (utility = value of allocation − payment), then any IC +
efficient mechanism must be VCG or a close variant. This narrows the
design space enormously.

**Myerson optimal auction.**
The revenue-maximizing auction for a single item with private values
is fully characterized by virtual valuations. The optimal mechanism may
exclude agents whose virtual valuations are negative, even though they
would increase social welfare.
*Why it matters:* If the system allocates scarce resources (not just
currency), Myerson's result shows that *maximizing total welfare* and
*maximizing the mechanism's sustainability (revenue)* conflict. The
Jubilee-System must choose which objective dominates — or show that its
structure avoids this tradeoff.

**Revenue equivalence theorem.**
Under standard conditions (independent private values, risk neutrality,
symmetric bidders), all mechanisms that allocate to the highest bidder
yield the same expected revenue.
*Why it matters:* If revenue equivalence holds for the
Jubilee-System's redistribution mechanism, then the specific mechanism
format (auction, tax, direct transfer) does not matter — only the
allocation rule does. This would simplify design considerably.


4. Common Pitfalls
====================

**Assuming rational agents.**
Mechanism design assumes agents maximize expected utility. Real humans
exhibit loss aversion, time inconsistency, bounded rationality, and
social preferences. A mechanism that is IC under rationality may fail
with real humans. The JUB model's emphasis on "genuine love" (ax22) and
"willing volunteers" (ax20, ax21) introduces non-standard preferences
that standard mechanism design does not model.

**Ignoring dynamic incentives.**
Most mechanism design is static (one-shot). The Jubilee-System is
*periodic* — agents interact repeatedly and can condition on history.
Repeated-game effects (reputation, punishment, cooperation equilibria)
can sustain outcomes that are impossible in one-shot games. The Folk
Theorem says that with sufficient patience, *almost any* outcome is
sustainable in repeated games — which makes the one-shot impossibility
results less binding but makes predicting the actual outcome harder.

**Confusing efficiency with equity.**
VCG achieves *allocative efficiency* (total surplus is maximized), not
*distributive equity* (surplus is shared fairly). The Jubilee-System's
LifeFriendly criterion (ax24) is an equity constraint, not an efficiency
constraint. Efficient mechanisms can be maximally unfair.

**Treating impossibility results as absolute blockers.**
Myerson-Satterthwaite and Gibbard-Satterthwaite identify *necessary*
tradeoffs, not *impossibilities* of all progress. The right response is
not "ax25 is impossible" but "ax25 must accept one of these specific
costs — which one?" Identifying which constraint to relax is productive
model development.

**Forgetting participation constraints.**
A mechanism on paper may be IC and efficient but require agents to
participate against their will. IR is easy to state and easy to forget.
For any proposed Jubilee-System mechanism, always check: would a fully
rational agent voluntarily enter this system?


5. Bridge to Matheology
=========================

**ax25 (Jubilee Recalibration) as a mechanism design problem.**
ax25 asserts: periodic reset R in economy E preserves incentive structure
while redistributing. Formally: the mechanism M_R = (strategies, reset
rule) must be IC (honest reporting of productive capacity), IR (no agent
prefers autarky to participation), and budget balanced (redistribution
is self-funded). Myerson-Satterthwaite says this triple is generically
impossible — so the model must specify which constraint is relaxed or
how the Jubilee-System escapes the standard framing.

**th8 (Binary Attractors) and dynamic mechanism design.**
th8 claims two attractors: "river of life" and "BABL." In mechanism
design terms, these are two equilibrium families. The question becomes:
is the river-of-life equilibrium *implementable* — is there a mechanism
whose equilibrium outcome is the life-trifecta, rather than BABL? If
yes, the Jubilee-System provides it. If no, th8 is an impossibility
theorem disguised as a prediction.

**th9 (Social Ergodicity) and budget balance.**
Ergodicity means long-run time averages equal ensemble averages. In
mechanism design, this relates to budget balance over time: if the
mechanism runs a deficit in some periods, it must run a surplus in
others. th9's claim that periodic Jubilee resets are *necessary* for
ergodicity can be tested: show that any budget-balanced, IC mechanism
in this economy converges to ergodic dynamics, and any non-Jubilee
mechanism does not.

**HELL findings and impossibility theorems.**
Several HELL con-findings implicitly invoke mechanism design
impossibilities: "ax25 cannot simultaneously preserve incentives and
achieve fairness" is essentially Myerson-Satterthwaite applied to the
Jubilee context. Pro-findings should respond by identifying which
standard assumption fails (e.g., the economy is not bilateral trade,
preferences are restricted, or repetition changes the game).

**New questions mechanism design enables:**

- Is the Jubilee-System mechanism dominant-strategy IC or only
  Bayesian IC? (The former is robust; the latter requires common
  knowledge of type distributions.)
- Does ax25's redistribution satisfy the IR constraint for the
  wealthiest agents, or does it require coercion — potentially
  conflicting with ax17 (Non-Coercive Guidance)?
- Can the Jubilee-System be decomposed into a VCG allocation rule
  plus a separate redistribution transfer, or are allocation and
  redistribution inseparable?