amm-fairness-impossibility

name	amm-fairness-impossibility
description	Arrovian impossibility theorem for Automated Market Maker (AMM) design. Proves no aggregation rule for weighted-product AMMs can be simultaneously fair and strategy-proof when n>2 liquidity providers. Key result: fairness forces mean-type aggregation (weighted Aitchison centroid) while strategy-proofness forces median-type; only single-provider dictatorship satisfies both. Obstruction vanishes at n=2. Applies to DeFi protocol design, mechanism design, and prediction markets. (arXiv: 2606.04959)
tags	["economics","game-theory","defi","mechanism-design","market-makers"]
category	economics

Context

This methodology comes from arXiv:2606.04959 "Fairness and Strategy-Proofness in Automated Market Makers" by Frank M. V. Feys (June 2026, 52 pages). The paper establishes a fundamental impossibility result for Automated Market Maker (AMM) design in decentralized finance (DeFi).

Core Finding: The AMM Impossibility Theorem

No deployed AMM lets liquidity providers (LPs) vote on the trading function. This is structural, not an oversight.

On the weighted-product family with n assets:

• No aggregation rule is simultaneously fair AND strategy-proof when n > 2
• Arrovian fairness forces a unique form: the weighted Aitchison centroid (weighted geometric mean of LPs' preferred pools)
• Fairness forces mean-type aggregation while strategy-proofness forces median-type aggregation
• The only rule satisfying both is single-provider dictatorship
• The obstruction is sharp: it vanishes at n=2, where a fair strategy-proof rule exists

Key Mathematical Results

1. Fairness → Weighted Aitchison Centroid

• Under Arrovian fairness (unanimity, scale-invariance, independence of irrelevant alternatives), the unique aggregation rule is the weighted geometric mean of providers' preferred pools
• This is the weighted Aitchison centroid in compositional data analysis
• Under the Frongillo–Papireddygari–Waggoner equivalence, the centroid corresponds to Genest's logarithmic opinion pool

2. Strategy-Proofness → Median-Type Aggregation

• Strategy-proofness (no LP can benefit from misreporting preferences) forces median-type aggregation
• Mean-type and median-type aggregation are fundamentally incompatible for n > 2

3. The Impossibility Transfer

• The impossibility transfers to externally Bayesian pooling via the Frongillo–Papireddygari–Waggoner equivalence theorem
• This connects AMM design to the broader literature on opinion aggregation and belief pooling

4. The n=2 Exception

• When there are exactly 2 LPs (n=2), the obstruction vanishes
• A fair, strategy-proof rule exists for 2-provider AMMs

Implementation Steps

Step 1: Identify the AMM Family

• Determine if the AMM uses weighted-product trading functions (e.g., Uniswap v3, Balancer)
• Weighted-product family: ∏(x_i^w_i) = k, where x_i are reserves and w_i are weights

Step 2: Count Liquidity Providers

• If n = 2 LPs: fair strategy-proof rules exist → proceed with design
• If n > 2 LPs: impossibility holds → must choose between fairness and strategy-proofness

Step 3: Choose Trade-off Strategy

Option A: Prioritize Fairness (recommended for DeFi protocols)

• Implement weighted Aitchison centroid aggregation
• Accept that LPs may have incentives to misreport preferences
• Use reputation systems or stake-weighted voting to mitigate manipulation

Option B: Prioritize Strategy-Proofness

• Implement median-type aggregation
• Accept that some LPs' preferences may be systematically underrepresented
• Use rotation mechanisms to ensure long-term representation

Option C: Restrict to n=2

• Design AMMs with exactly 2 LPs or 2 LP groups
• Achieve both fairness and strategy-proofness
• Practical for bilateral trading venues

Step 4: Design Governance Mechanism

• If using centroid aggregation (Option A), implement:
  • Stake-weighted preference submission
  • Time-weighted preference aggregation (prevent flash preference attacks)
  • Preference smoothing to reduce manipulation incentives

Step 5: Verify Properties

• Check: Does the aggregation rule satisfy unanimity?
• Check: Is the rule scale-invariant?
• Check: Does the rule satisfy IIA (independence of irrelevant alternatives)?
• Check: Is the rule strategy-proof (or accept it isn't)?

Pitfalls

• Assuming fairness and strategy-proofness are compatible: They are not for n > 2 LPs on weighted-product AMMs
• Ignoring the n=2 exception: Two-provider AMMs CAN be both fair and strategy-proof
• Confusing weighted-product with other AMM families: This impossibility applies specifically to weighted-product family (Constant Product, Constant Sum, etc.)
• Not considering the Frongillo–Papireddygari–Waggoner equivalence: This equivalence transfers impossibility to externally Bayesian pooling, affecting broader mechanism design
• Overlooking Genest's logarithmic opinion pool connection: The centroid is mathematically equivalent to this pooling method, with known properties and limitations

Verification

1. For any proposed AMM aggregation rule on weighted-product family with n > 2 LPs:

   • Verify it satisfies Arrovian fairness axioms → it must be the weighted Aitchison centroid
   • Verify it is strategy-proof → it must be median-type aggregation
   • Since centroid ≠ median-type for n > 2, both cannot hold simultaneously

2. For n = 2 LPs:

   • Verify existence of fair, strategy-proof rule
   • The obstruction vanishes at exactly 2 providers

Activation

AMM design, automated market maker, DeFi protocol, liquidity provider voting, fairness in DeFi, strategy-proof mechanism, Arrovian impossibility, Aitchison centroid, opinion pooling, mechanism design, game theory, weighted-product AMM, Uniswap governance, Balancer governance, prediction market design, externally Bayesian pooling