Arrow–Debreu exchange market¶

In theoretical economics, an Arrow–Debreu exchange market is a special case of the Arrow–Debreu model in which there is no production - there is only an exchange of already-existing goods.

Version: v1 · 2026-09-28 · History
Domain-specific #: 8021
Domain group: Social Sciences
Origin domain: Economics & Finance
Subdomain: General Equilibrium Theory → Economics & Finance

Core Idea¶

Arrow–Debreu exchange market is treated here as the recurring socialscienceshumanitiesarts identity summarized by this source-grounded definition: In theoretical economics, an Arrow–Debreu exchange market is a special case of the Arrow–Debreu model in which there is no production - there is only an exchange of already-existing goods. In theoretical economics, an Arrow–Debreu exchange market is a special case of the Arrow–Debreu model in which there is no production - there is only an exchange of already-existing goods. An Arrow–Debreu exchange market has the following ingredients.

How would you explain it like I'm…

The Swap-Only Market

Picture kids at lunch who each brought some snacks. Nobody can make new snacks; they can only trade the ones they already have. Each snack gets a price, and a pile of snacks costs the prices added together. An Arrow–Debreu exchange market is a math picture of trading like this.

Trading What Already Exists

An Arrow–Debreu exchange market is a math model of a market where nothing new gets made; people only trade goods that already exist. Each person starts with their own stash of products. Every product has a price, and the price of a bundle is just the prices of everything in it added up. People use the value of what they start with to trade for the bundle they want. It is a simpler special case of the bigger Arrow–Debreu model, which also includes factories and farms that produce things.

Pure Exchange Economy

An Arrow–Debreu exchange market is the special case of the Arrow–Debreu model of a whole economy in which there is no production, only exchange of goods that already exist. Each agent i starts with an endowment e_i, a collection of products. Each product j has a price p_j, and the price of a bundle is the sum of the prices of the products it contains, where a bundle is a vector listing how much of each product it has. Prices are determined within the model rather than fixed in advance. The key identifying feature is the absence of production: if firms create new goods, you are looking at the general Arrow–Debreu model, not the exchange market.

An Arrow–Debreu exchange market is the production-free special case of the Arrow–Debreu general-equilibrium model: agents only exchange already-existing goods. There are n agents, each with an endowment e_i of products, and m products, each with a price p_j determined within the model. A bundle is a vector x = (x_1, ..., x_m) giving the quantity of each product, and its price is additive: the sum over products of p_j times x_j. An agent's endowment, valued at the prevailing prices, is what the agent has available to trade for other bundles. The concept is narrower than 'markets' or 'general equilibrium' in general: a positive instance must keep the defining restriction that there is no production, only exchange.

Scope of Application¶

Exact CE. His algorithm is based on solving a convex program using the ellipsoid method and simultaneous diophantine approximation.
Exact CE. Based on Jain's algorithm, Ye developed a more practical interior-point method for finding a CE.
Exact CE. Devanur and Kannan gave algorithms for exchange markets with concave utility functions, where all resources are goods (the utilities are positive).
CE for markets with production. Newman and Primak studied two variants of the ellipsoid method for finding an approximate CE in an Arrow-Debreu market with production, when all agents have linear utilities.
CE for markets with production. They proved that the inscribed ellipsoid method is more computationally efficient than the circumscribed ellipsoid method.

Clarity¶

A clear use of Arrow–Debreu exchange market names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is In theoretical economics, an Arrow–Debreu exchange market is a special case of the Arrow–Debreu model in which there is no production - there is only an exchange of already-existing goods.

Manages Complexity¶

Arrow–Debreu exchange market compresses multiple socialscienceshumanitiesarts details into a stable diagnostic relation. The source shows both the central mechanism—a bundle is represented by a vector x = x1,\dots,xm , where xj is the quantity of product j .—and the practical consequence—jain presented the first polynomial-time algorithm for computing an exact CE when all agents have linear utilities.

Abstract Reasoning¶

Type the carrier. Identify the socialscienceshumanitiesarts entities to which the claim applies.
State the relation. Use the source-grounded identity: In theoretical economics, an Arrow–Debreu exchange market is a special case of the Arrow–Debreu model in which there is no production - there is only an exchange of already-existing goods.
Check operation and conditions. Each buyer has a preference relation over bundles, which can be represented by a utility function.
Demand recognition evidence. The utility function of buyer i is denoted by ui . 5.

Knowledge Transfer¶

Within the home domain. Knowledge about Arrow–Debreu exchange market transfers literally when a new case preserves the same carrier type, relation, and recognition test. His algorithm is based on solving a convex program using the ellipsoid method and simultaneous diophantine approximation. Based on Jain's algorithm, Ye developed a more practical interior-point method for finding a CE. Beyond the home domain. No canonical parent is asserted for Arrow–Debreu exchange market.

Relationships to Other Abstractions¶

Current abstraction Arrow–Debreu exchange market Domain-specific

Parents (1) — more general patterns this builds on

Arrow–Debreu exchange market is a kind of Formal Model Domain-specific

It is a formal equilibrium model of exchange.

Hierarchy path (1) — routes to 1 parentless root

Arrow–Debreu exchange market → Formal Model → Representation → Abstraction

Neighborhood in Abstraction Space¶

Arrow–Debreu exchange market sits in a moderately populated region (46^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Market Structure & Competition Models (7 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08