Skip to content

Arrow–Debreu Model

Prove that a competitive economy has a set of prices at which every market clears at once, by treating each date-and-state-indexed good as its own priced commodity and applying a fixed-point argument to joint excess demand.

Core Idea

The canonical formalisation of general competitive equilibrium (Arrow and Debreu, 1954). Given price-taking consumers with convex preferences and positive endowments and price-taking firms with convex production sets, a fixed-point argument on joint excess demand proves a price vector exists at which every market clears simultaneously. Its signature move indexes each commodity by date and state of the world, so risk, time, and location are absorbed into the commodity space itself.

Scope of Application

The lingua franca of one home discipline — general-equilibrium and welfare economics — through which its specialist subfields communicate.

  • Welfare economics — proof apparatus for the First and Second Welfare Theorems and the market-failure menu.
  • Macroeconomics — the complete-markets benchmark against which incomplete-markets and financial-friction models are judged.
  • Mathematical finance — the state-price foundation of the fundamental theorem of asset pricing and risk-neutral valuation.
  • Computable general equilibrium — numerically solved systems for trade, tax, and climate-policy analysis.
  • Market and mechanism design — the competitive benchmark against which auctions and matching are evaluated.

Clarity

The model converts the invisible hand from a slogan into a theorem with stated premises: "markets are efficient" is false, but "competitive equilibria with complete markets, convex preferences, and no externalities are Pareto-efficient" is proved. Reading each premise in the negative turns the assumption list into a diagnostic menu of named market failures.

Manages Complexity

An economy of millions of agents, goods, dates, and states collapses to a finite structural list — a commodity space, consumers, firms, complete markets, and a clearing price vector — from which existence and efficiency follow as theorems. The sprawling question "when do markets fail?" reduces to walking the assumption list to find which premise broke.

Abstract Reasoning

The model licenses conditional inference through an explicit assumption list: diagnostic localisation of a market failure to a violated premise, boundary-drawing that holds the conditional rather than the slogan, and constructive existence reasoning via a fixed point. The Second Welfare Theorem adds a factorisation move separating efficiency from distribution as independent axes.

Knowledge Transfer

Within economics and finance the model transfers as mechanism — it is the field's common formalism, supplying the proof apparatus and complete-markets benchmark that welfare economics, macroeconomics, finance, and CGE all share intact. Beyond economics the reach is metaphor: the transferable substance is a decentralised price-mediated fixed point, carried by the parent primes equilibrium and price_mechanism (with pareto_efficiency), not the general-equilibrium machinery itself.

Relationships to Other Abstractions

Local relationship map for Arrow–Debreu ModelParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Arrow–Debreu ModelDOMAINPrime abstraction: Equilibrium — is part ofEquilibriumPRIMEPrime abstraction: Pareto Efficiency — is part ofParetoEfficiencyPRIMEPrime abstraction: Price Mechanism — is part ofPrice MechanismPRIME

Current abstraction Arrow–Debreu Model Domain-specific

Parents (3) — more general patterns this builds on

  • Arrow–Debreu Model is part of Equilibrium Prime

    The Arrow–Debreu Model contains Equilibrium because its existence theorem establishes a price vector at which every market clears and all individually optimal plans are mutually consistent.

  • Arrow–Debreu Model is part of Pareto Efficiency Prime

    The Arrow–Debreu Model contains Pareto Efficiency because its welfare theorems connect competitive equilibrium allocations to the Pareto frontier under the model's explicit assumptions.

  • Arrow–Debreu Model is part of Price Mechanism Prime

    The Arrow–Debreu Model contains the Price Mechanism because a vector of decentralized commodity prices coordinates agents' separate optimizing plans and clears every market.

Hierarchy paths (7) — routes to 5 parentless roots

Neighborhood in Abstraction Space

Arrow–Debreu Model sits in a sparse region of the domain-specific corpus (67th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Market Structure & Price Equilibrium (25 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-07-12