Tropical Hypersurfaces in Economics, and the Unimodularity...

Preview:

Citation preview

Tropical Hypersurfaces in Economics, and theUnimodularity Theorem

Elizabeth Baldwin Paul Klemperer

Nuffield College, Oxford University

May 2016

Material from ‘Tropical geometry to analyse demand’ (2012-14) and‘Understanding preferences: “Demand types” and the existence of

equilibrium with indivisibilities’ (2015)

This work was supported by ESRC grant ES/L003058/1.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 1 / 26

Geometric Analysis of Demand: Model

n indivisible goods.

Finite set A ⊂ Zn of bundles available.

Valuation u : A→ R; quasilinear utility u(x)− p.x

Agent demands bundles in set Du(p) = argmaxx∈A

{u(x)− p.x}

Investigate what is demanded where: study where demand changes.

x2

x1

Definition: “Tropical Hypersurface (TH)”

Tu={ prices p ∈ Rn where #Du(p) > 1}.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 2 / 26

Geometric Analysis of Demand: Model

n indivisible goods. Finite set A ⊂ Zn of bundles available.

Valuation u : A→ R; quasilinear utility u(x)− p.x

Agent demands bundles in set Du(p) = argmaxx∈A

{u(x)− p.x}

Investigate what is demanded where: study where demand changes.

x2

x1

Definition: “Tropical Hypersurface (TH)”

Tu={ prices p ∈ Rn where #Du(p) > 1}.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 2 / 26

Geometric Analysis of Demand: Model

n indivisible goods. Finite set A ⊂ Zn of bundles available.

Valuation u : A→ R; quasilinear utility u(x)− p.x

Agent demands bundles in set Du(p) = argmaxx∈A

{u(x)− p.x}

Investigate what is demanded where: study where demand changes.

Exampleof u(x)

x2

x1026

35 24

Definition: “Tropical Hypersurface (TH)”

Tu={ prices p ∈ Rn where #Du(p) > 1}.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 2 / 26

Geometric Analysis of Demand: Model

n indivisible goods. Finite set A ⊂ Zn of bundles available.

Valuation u : A→ R; quasilinear utility u(x)− p.x

Agent demands bundles in set Du(p) = argmaxx∈A

{u(x)− p.x}

Investigate what is demanded where: study where demand changes.

Exampleof u(x)

x2

x1026

35 24

Definition: “Tropical Hypersurface (TH)”

Tu={ prices p ∈ Rn where #Du(p) > 1}.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 2 / 26

Geometric Analysis of Demand: Model

n indivisible goods. Finite set A ⊂ Zn of bundles available.

Valuation u : A→ R; quasilinear utility u(x)− p.x

Agent demands bundles in set Du(p) = argmaxx∈A

{u(x)− p.x}

Investigate what is demanded where: study where demand changes.

Exampleof u(x)

x2

x1026

35 24

p1

p2

(0,1)

(1,0) (0,0)

(1,1)

Definition: “Tropical Hypersurface (TH)”

Tu={ prices p ∈ Rn where #Du(p) > 1}.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 2 / 26

Geometric Analysis of Demand: Model

n indivisible goods. Finite set A ⊂ Zn of bundles available.

Valuation u : A→ R; quasilinear utility u(x)− p.x

Agent demands bundles in set Du(p) = argmaxx∈A

{u(x)− p.x}

Investigate what is demanded where: study where demand changes.

Exampleof u(x)

x2

x1026

35 24

p1

p2

(0,1)

(1,0) (0,0)

(1,1)

Definition: “Tropical Hypersurface (TH)”

Tu={ prices p ∈ Rn where #Du(p) > 1}.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 2 / 26

Geometric Analysis of Demand: Model

n indivisible goods. Finite set A ⊂ Zn of bundles available.

Valuation u : A→ R; quasilinear utility u(x)− p.x

Agent demands bundles in set Du(p) = argmaxx∈A

{u(x)− p.x}

Investigate what is demanded where: study where demand changes.

Exampleof u(x)

x2

x1013

32 12

p1

p2

(0,1)

(1,0)

(0,0)

(1,1)

Definition: “Tropical Hypersurface (TH)”

Tu={ prices p ∈ Rn where #Du(p) > 1}.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 2 / 26

Cells and facets

Definition

Tropical hypersurface Tu: prices p ∈ Rn where #Du(p) > 1.

Definition

A cell of Tu is a non-empty set {p ∈ Tu : X ⊂ Du(p)}, where |X| > 1

A facet is an (n− 1)-dimensional cell of Tu.

The tropical hypersurface is the union of its facets.

pA

pB

In two dimensions, made up ofline segments.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 3 / 26

Cells and facets

Definition

Tropical hypersurface Tu: prices p ∈ Rn where #Du(p) > 1.

Definition

A cell of Tu is a non-empty set {p ∈ Tu : X ⊂ Du(p)}, where |X| > 1

A facet is an (n− 1)-dimensional cell of Tu.

The tropical hypersurface is the union of its facets.

(1,1,1)

p1

p2

p3

In 3 dimensions, made up ofpieces of planes (facets / 2-cells),meeting along lines (1-cells).

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 3 / 26

Cells and facets

Definition

Tropical hypersurface Tu: prices p ∈ Rn where #Du(p) > 1.

Definition

A cell of Tu is a non-empty set {p ∈ Tu : X ⊂ Du(p)}, where |X| > 1

A facet is an (n− 1)-dimensional cell of Tu.

The tropical hypersurface is the union of its facets.

Definition

A unique demand region is a connected component of the complement ofTu.

Equivalently, it is the non-empty (absolute) interior of a set of the form{p ∈ Tu : x ∈ Du(p)}.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 3 / 26

The Polyhedral Complex

A tropical hypersurface in Rn is the support of a rational polyhedralcomplex of pure dimension (n− 1).

Made of polyhedral pieces(intersections of finite collections ofhalf-spaces): cells.

Every face of a cell is a cell.

The intersection of two cells iseither ∅ or is a face of both the cells.

Tu is contained in the union of thefacets (n− 1-cells).

Cells have rational slope.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 4 / 26

The Polyhedral Complex

A tropical hypersurface in Rn is the support of a rational polyhedralcomplex of pure dimension (n− 1).

pA

pB

Made of polyhedral pieces(intersections of finite collections ofhalf-spaces): cells.

Every face of a cell is a cell.

The intersection of two cells iseither ∅ or is a face of both the cells.

Tu is contained in the union of thefacets (n− 1-cells).

Cells have rational slope.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 4 / 26

The Polyhedral Complex

A tropical hypersurface in Rn is the support of a rational polyhedralcomplex of pure dimension (n− 1).

(1,1,1)

p1

p2

p3

Made of polyhedral pieces(intersections of finite collections ofhalf-spaces): cells.

Every face of a cell is a cell.

The intersection of two cells iseither ∅ or is a face of both the cells.

Tu is contained in the union of thefacets (n− 1-cells).

Cells have rational slope.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 4 / 26

Geometric versus Economic characterisations of Cells

Recall a unique demand region is a connected component of thecomplement of Tu

Lemma

C ⊆ Tu is a cell iff it is the intersection of the closures of a collection ofunique demand regions around Tu.

Lemma

Let C be a cell of Tu, and let C◦ be the relative interior of C. ThenDu(p

◦) is constant for p◦ ∈ C◦. Moreover, the cell is the locus where thisbundle is demanded: C = {p ∈ Rn : Du(p

◦) ⊆ Du(p)}.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 5 / 26

How does demand change as you cross a facet?

A tropical hypersurfaceis composed of facets:linear pieces in dimen-sion (n− 1).

(0,0)

(0,1)

(0,2)(1,1)

(1,0)(2,0)p2

p1

If p is in a facet then the agent is indifferent between two bundles:

u(x)− p.x = u(y)− p.y

⇐⇒ p.(y − x) = u(y)− u(x)

Endow all facets with weights: weighted rational polyhedral complex.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 6 / 26

How does demand change as you cross a facet?

A tropical hypersurfaceis composed of facets:linear pieces in dimen-sion (n− 1).

(0,0)

(0,1)

(0,2)(1,1)

(1,0)(2,0)p2

p1

If p is in a facet then the agent is indifferent between two bundles:

u(x)− p.x = u(y)− p.y ⇐⇒ p.(y − x) = u(y)− u(x)

Endow all facets with weights: weighted rational polyhedral complex.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 6 / 26

How does demand change as you cross a facet?

A tropical hypersurfaceis composed of facets:linear pieces in dimen-sion (n− 1).

-1 1

(

(0,0)

(0,1)

(0,2)(1,1)

(1,0)(2,0)p

2

p1

(

11(

(If p is in a facet then the agent is indifferent between two bundles:

u(x)− p.x = u(y)− p.y ⇐⇒ p.(y − x) = u(y)− u(x)

The change in bundle is in the direction normal to the facet.

Endow all facets with weights: weighted rational polyhedral complex.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 6 / 26

How does demand change as you cross a facet?

A tropical hypersurfaceis composed of facets:linear pieces in dimen-sion (n− 1).

p1

p2

If p is in a facet then the agent is indifferent between two bundles:

u(x)− p.x = u(y)− p.y ⇐⇒ p.(y − x) = u(y)− u(x)

Change in bundle is minus ‘weight w’ times minimal facet normal.

Endow all facets with weights: weighted rational polyhedral complex.E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 6 / 26

Economics from Geometry

v1

v2

v3

v4

w1

w2

w3w

4Every tropical hypersurface is balanced:around each (n− 2)-cell,

∑iwivi = 0.

Theorem (Mikhalkin 2004)

A weighted rational polyhedral complex of pure dimension (n− 1) hassupport equal to the tropical hypersurface of a valuation iff it is balanced.

We need not write down valuations of discrete bundles.

We can simply draw tropical hypersurfaces.

Project Aim understand economics via geometry.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 7 / 26

Concavity

Definition

A set A ⊆ Zn is discrete-convex if Conv(A) ∩ Zn = A.

Write Conv(u) : Conv(A)→ R for the minimal weakly-concavefunction everywhere weakly greater than u.

u : A→ R is concave if A is discrete-convex and u(x) = Conv(u)(x)for all x ∈ A.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 8 / 26

Concavity

Definition

A set A ⊆ Zn is discrete-convex if Conv(A) ∩ Zn = A.

Write Conv(u) : Conv(A)→ R for the minimal weakly-concavefunction everywhere weakly greater than u.

u : A→ R is concave if A is discrete-convex and u(x) = Conv(u)(x)for all x ∈ A.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 8 / 26

Concavity

Definition

A set A ⊆ Zn is discrete-convex if Conv(A) ∩ Zn = A.

Write Conv(u) : Conv(A)→ R for the minimal weakly-concavefunction everywhere weakly greater than u.

u : A→ R is concave if A is discrete-convex and u(x) = Conv(u)(x)for all x ∈ A.

Lemma

u : A→ R is concave ⇔ Du(p) is discrete-convex for all p⇔ ∀x ∈ Conv(A) ∩ Zn there exists p ∈ Rn with x ∈ Du(p).

x18 00

x1 = 0x1 = 1x1 = 2

This U is not concave.

DU (4) is not discrete-convex.

Theorem (Mikhalkin, 2004)

An (n− 1)-dimensional balanced weighted rational polyhedral complex inRn corresponds to an ‘essentially unique’ concave valuation u.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 8 / 26

Concavity

Definition

A set A ⊆ Zn is discrete-convex if Conv(A) ∩ Zn = A.

Write Conv(u) : Conv(A)→ R for the minimal weakly-concavefunction everywhere weakly greater than u.

u : A→ R is concave if A is discrete-convex and u(x) = Conv(u)(x)for all x ∈ A.

Lemma

u : A→ R is concave ⇔ Du(p) is discrete-convex for all p⇔ ∀x ∈ Conv(A) ∩ Zn there exists p ∈ Rn with x ∈ Du(p).

x18 00

x1 = 0x1 = 1x1 = 2

This U is not concave.DU (4) is not discrete-convex.

Theorem (Mikhalkin, 2004)

An (n− 1)-dimensional balanced weighted rational polyhedral complex inRn corresponds to an ‘essentially unique’ concave valuation u.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 8 / 26

Concavity

Definition

A set A ⊆ Zn is discrete-convex if Conv(A) ∩ Zn = A.

Write Conv(u) : Conv(A)→ R for the minimal weakly-concavefunction everywhere weakly greater than u.

u : A→ R is concave if A is discrete-convex and u(x) = Conv(u)(x)for all x ∈ A.

Lemma

u : A→ R is concave ⇔ Du(p) is discrete-convex for all p⇔ ∀x ∈ Conv(A) ∩ Zn there exists p ∈ Rn with x ∈ Du(p).

Theorem (Mikhalkin, 2004)

An (n− 1)-dimensional balanced weighted rational polyhedral complex inRn corresponds to an ‘essentially unique’ concave valuation u.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 8 / 26

Classifying valuations

Economists classify valuations by how agents see trade-offs between goods.

For divisible goods, ask how changes in each price affect each demand.Let x∗(p) be optimal demands of each good at a given price.

∂x∗i∂pj

> 0 means goods are ‘substitutes’ (tea, coffee).

∂x∗i∂pj

< 0 means goods are ‘complements’ (coffee, milk).

With indivisible goods, start by crossing one facet.

(0,0)p2

p1

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 9 / 26

Classifying valuations

Economists classify valuations by how agents see trade-offs between goods.For divisible goods, ask how changes in each price affect each demand.Let x∗(p) be optimal demands of each good at a given price.

∂x∗i∂pj

> 0 means goods are ‘substitutes’ (tea, coffee).

∂x∗i∂pj

< 0 means goods are ‘complements’ (coffee, milk).

With indivisible goods, start by crossing one facet.

(0,0)p2

p1

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 9 / 26

Classifying valuations

Economists classify valuations by how agents see trade-offs between goods.For divisible goods, ask how changes in each price affect each demand.Let x∗(p) be optimal demands of each good at a given price.

∂x∗i∂pj

> 0 means goods are ‘substitutes’ (tea, coffee).

∂x∗i∂pj

< 0 means goods are ‘complements’ (coffee, milk).

With indivisible goods, start by crossing one facet.

(0,0)p2

p1

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 9 / 26

Economic properties from facets

Suppose every facet normal v to Tu...has at most one +ve, one -ve coordinate entry.

-1 2(

(x ,x )1 2

(x +1,x -2)1 2

p1

p2

(

Decrease price i to cross a facet.

Demand changes from x to x+ v, where v is a facet normal.

By the law of demand, vi > 0.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 10 / 26

Economic properties from facets

Suppose every facet normal v to Tu...has at most one +ve, one -ve coordinate entry.

-1 2(

(x ,x )1 2

(x +1,x -2)1 2

p1

p2

(

Decrease price i to cross a facet.

Demand changes from x to x+ v, where v is a facet normal.

By the law of demand, vi > 0.

⇒ vj ≤ 0 for all j 6= i.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 10 / 26

Economic properties from facets

Suppose every facet normal v to Tu...has at most one +ve, one -ve coordinate entry.

-1 2(

(x ,x )1 2

(x +1,x -2)1 2

p1

p2

(

Decrease price i to cross a facet.

Demand changes from x to x+ v, where v is a facet normal.

By the law of demand, vi > 0.

⇒ vj ≤ 0 for all j 6= i.SU

BSTIT

UTES

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 10 / 26

Economic properties from facets

Suppose every facet normal v to Tu...has at most one +1, one -1 coordinate entry.

Decrease price i to cross a facet.

Demand changes from x to x+ v, where v is a facet normal.

By the law of demand, vi > 0.

⇒ vj ≤ 0 for all j 6= i and goods trade-off 1-1.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 10 / 26

Economic properties from facets

Suppose every facet normal v to Tu...has at most one +1, one -1 coordinate entry.

0

1( (1

0( ( 1

-1( (

Decrease price i to cross a facet.

Demand changes from x to x+ v, where v is a facet normal.

By the law of demand, vi > 0. STRO

NG

⇒ vj ≤ 0 for all j 6= i and goods trade-off 1-1.SU

BSTIT

UTES

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 10 / 26

Economic properties from facets

Suppose every facet normal v to Tu...has at most one +1, one -1 coordinate entry.

(1,1,1)

p1

p2

p3

Decrease price i to cross a facet.

Demand changes from x to x+ v, where v is a facet normal.

By the law of demand, vi > 0. STRO

NG

⇒ vj ≤ 0 for all j 6= i and goods trade-off 1-1.SU

BSTIT

UTES

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 10 / 26

Economic properties from facets

Suppose every facet normal v to Tu...has all positive (or all negative) coordinate entries.

(x ,x )1 2

(x +2,x +3)1 2 p

1

p2 2

3(

(Decrease price i to cross a facet.

Demand changes from x to x+ v, where v is a facet normal.

By the law of demand, vi > 0.

⇒ vj ≥ 0 for all j 6= i.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 10 / 26

Economic properties from facets

Suppose every facet normal v to Tu...has all positive (or all negative) coordinate entries.

(x ,x )1 2

(x +2,x +3)1 2 p

1

p2 2

3(

(Decrease price i to cross a facet.

Demand changes from x to x+ v, where v is a facet normal.

By the law of demand, vi > 0.

⇒ vj ≥ 0 for all j 6= i.CO

MPLEME

NTS

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 10 / 26

Economic properties from facets

Suppose every facet normal v to Tu...is (1, 4)

(0,0)

p1

p2 1

4(

(

(1,4)(2,8)

(3,12)

e.g. (car bodies, car wheels)

Decrease price i to cross a facet.

Demand changes from x to x+ v, where v is a facet normal.

By the law of demand, vi > 0. PERFEC

T

Demand more (1, 4) bundlesCO

MPLEME

NTS

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 10 / 26

Economic properties from facets

Suppose every facet normal v to Tu...is in set D ⊂ Zn.

(0,0)

p1

p2 1

4(

(

(1,4)(2,8)

(3,12)

e.g. (car bodies, car wheels)

Decrease price i to cross a facet.

Demand changes from x to x+ v, where v is a facet normal.

By the law of demand, vi > 0.

These facts define structure of trade-offs.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 10 / 26

Economic properties from facets

Suppose every facet normal v to Tu...is in set D ⊂ Zn.

Definition: “Demand Type”

u is of demand type D if every facet of Tu has normal in D.

The demand type is the set of all such valuations.

Decrease price i to cross a facet.

Demand changes from x to x+ v, where v is a facet normal.

By the law of demand, vi > 0.

These facts define structure of trade-offs.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 10 / 26

Duality: The Demand Complex

Recall that Tu lives in price space. The dual space is quantity space.

Sets ConvDu(p) form a rational polyhedral complex, dimensiondimA.

This is our ‘demand complex’ (= subdivided Newton polytope).

x1

x2

value

026

35 24

x2

x1

p1

p2

(0,1)

(1,0) (0,0)

(1,1)

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 11 / 26

Duality: The Demand Complex

Recall that Tu lives in price space. The dual space is quantity space.

Sets ConvDu(p) form a rational polyhedral complex, dimensiondimA.

This is our ‘demand complex’ (= subdivided Newton polytope).

x1

x2

value026

35 24

x2

x1

p1

p2

(0,1)

(1,0) (0,0)

(1,1)

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 11 / 26

Duality: The Demand Complex

Recall that Tu lives in price space. The dual space is quantity space.

Sets ConvDu(p) form a rational polyhedral complex, dimensiondimA.

This is our ‘demand complex’ (= subdivided Newton polytope).

x1

x2

value

x2

x1

p1

p2

(0,1)

(1,0) (0,0)

(1,1)

Lemma

σ̂ ∈ Rn+1 is a face of the graph of Conv(u) iff the projection of σ̂ to itsfirst n coordinates is a cell of the demand complex.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 11 / 26

Duality: The Demand Complex

Recall that Tu lives in price space. The dual space is quantity space.

Sets ConvDu(p) form a rational polyhedral complex, dimensiondimA.

This is our ‘demand complex’ (= subdivided Newton polytope).

x1

x2

value

x2

x1

p1

p2

(0,1)

(1,0) (0,0)

(1,1)

Demand complex cells are dual to the cells of Tu.

k-dimensional pieces ↔ (n− k)-dimensional pieces.

σ ⊂6= σ′ ⇔ Cσ′ ( Cσ

Linear spaces parallel to demand complex and corresp. tropicalhypersurface cells are dual.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 11 / 26

Duality: The Demand Complex

Recall that Tu lives in price space. The dual space is quantity space.

Sets ConvDu(p) form a rational polyhedral complex, dimensiondimA.

This is our ‘demand complex’ (= subdivided Newton polytope).

x1

x2

value

x2

x1

p1

p2

Demand complex cells are dual to the cells of Tu.

k-dimensional pieces ↔ (n− k)-dimensional pieces.

σ ⊂6= σ′ ⇔ Cσ′ ( Cσ

Linear spaces parallel to demand complex and corresp. tropicalhypersurface cells are dual.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 11 / 26

Duality: The Demand Complex

Recall that Tu lives in price space. The dual space is quantity space.

Sets ConvDu(p) form a rational polyhedral complex, dimensiondimA.

This is our ‘demand complex’ (= subdivided Newton polytope).

x1

x2

value

x2

x1

Demand complex cells are dual to the cells of Tu.

k-dimensional pieces ↔ (n− k)-dimensional pieces.

σ ⊂6= σ′ ⇔ Cσ′ ( Cσ

Linear spaces parallel to demand complex and corresp. tropicalhypersurface cells are dual.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 11 / 26

Duality: The Demand Complex

Recall that Tu lives in price space. The dual space is quantity space.

Sets ConvDu(p) form a rational polyhedral complex, dimensiondimA.

This is our ‘demand complex’ (= subdivided Newton polytope).

x1

x2

value

Demand complex cells are dual to the cells of Tu.

k-dimensional pieces ↔ (n− k)-dimensional pieces.

σ ⊂6= σ′ ⇔ Cσ′ ( Cσ

Linear spaces parallel to demand complex and corresp. tropicalhypersurface cells are dual.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 11 / 26

Duality: The Demand Complex

Recall that Tu lives in price space. The dual space is quantity space.

Sets ConvDu(p) form a rational polyhedral complex, dimensiondimA.

This is our ‘demand complex’ (= subdivided Newton polytope).

x1

x2

value

Demand complex cells are dual to the cells of Tu.

k-dimensional pieces ↔ (n− k)-dimensional pieces.

σ ⊂6= σ′ ⇔ Cσ′ ( Cσ

Linear spaces parallel to demand complex and corresp. tropicalhypersurface cells are dual.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 11 / 26

Duality: The Demand Complex

Recall that Tu lives in price space. The dual space is quantity space.

Sets ConvDu(p) form a rational polyhedral complex, dimensiondimA.

This is our ‘demand complex’ (= subdivided Newton polytope).

x1

x2

value

Demand complex cells are dual to the cells of Tu.

k-dimensional pieces ↔ (n− k)-dimensional pieces.

σ ⊂6= σ′ ⇔ Cσ′ ( Cσ

Linear spaces parallel to demand complex and corresp. tropicalhypersurface cells are dual.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 11 / 26

Duality: The Demand Complex

Recall that Tu lives in price space. The dual space is quantity space.

Sets ConvDu(p) form a rational polyhedral complex, dimensiondimA.

This is our ‘demand complex’ (= subdivided Newton polytope).

x1

x2

value

Demand complex cells are dual to the cells of Tu.

k-dimensional pieces ↔ (n− k)-dimensional pieces.

σ ⊂6= σ′ ⇔ Cσ′ ( Cσ

Linear spaces parallel to demand complex and corresp. tropicalhypersurface cells are dual.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 11 / 26

Duality: The Demand Complex

Recall that Tu lives in price space. The dual space is quantity space.

Sets ConvDu(p) form a rational polyhedral complex, dimensiondimA.

This is our ‘demand complex’ (= subdivided Newton polytope).

x1

x2

value

Demand complex cells are dual to the cells of Tu.

k-dimensional pieces ↔ (n− k)-dimensional pieces.

σ ⊂6= σ′ ⇔ Cσ′ ( Cσ

Linear spaces parallel to demand complex and corresp. tropicalhypersurface cells are dual.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 11 / 26

Duality: The Demand Complex

Recall that Tu lives in price space. The dual space is quantity space.

Sets ConvDu(p) form a rational polyhedral complex, dimensiondimA.

This is our ‘demand complex’ (= subdivided Newton polytope).

x1

x2

value

Demand complex cells are dual to the cells of Tu.

k-dimensional pieces ↔ (n− k)-dimensional pieces.

σ ⊂6= σ′ ⇔ Cσ′ ( Cσ

Linear spaces parallel to demand complex and corresp. tropicalhypersurface cells are dual.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 11 / 26

Duality: The Demand Complex

Recall that Tu lives in price space. The dual space is quantity space.

Sets ConvDu(p) form a rational polyhedral complex, dimensiondimA.

This is our ‘demand complex’ (= subdivided Newton polytope).

x1

x2

value

Demand complex cells are dual to the cells of Tu.

k-dimensional pieces ↔ (n− k)-dimensional pieces.

σ ⊂6= σ′ ⇔ Cσ′ ( Cσ

Linear spaces parallel to demand complex and corresp. tropicalhypersurface cells are dual.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 11 / 26

Duality: The Demand Complex

Recall that Tu lives in price space. The dual space is quantity space.

Sets ConvDu(p) form a rational polyhedral complex, dimensiondimA.

This is our ‘demand complex’ (= subdivided Newton polytope).

x1

x2

value

??

Demand complex cells are dual to the cells of Tu.

k-dimensional pieces ↔ (n− k)-dimensional pieces.

σ ⊂6= σ′ ⇔ Cσ′ ( Cσ

Linear spaces parallel to demand complex and corresp. tropicalhypersurface cells are dual.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 11 / 26

Duality: The Demand Complex

Recall that Tu lives in price space. The dual space is quantity space.

Sets ConvDu(p) form a rational polyhedral complex, dimensiondimA.

This is our ‘demand complex’ (= subdivided Newton polytope).

x1

x2

value

??

✲✲

Demand complex cells are dual to the cells of Tu.

k-dimensional pieces ↔ (n− k)-dimensional pieces.

σ ⊂6= σ′ ⇔ Cσ′ ( Cσ

Linear spaces parallel to demand complex and corresp. tropicalhypersurface cells are dual.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 11 / 26

Duality: The Demand Complex

Recall that Tu lives in price space. The dual space is quantity space.

Sets ConvDu(p) form a rational polyhedral complex, dimensiondimA.

This is our ‘demand complex’ (= subdivided Newton polytope).

x1

x2

value

??

✲✲

Demand complex cells are dual to the cells of Tu.

Lemma

Bundles which are not demand complex vertices are either never demandedor only demanded at prices corresp. to the demand complex cell they’re in.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 11 / 26

Duality: The Demand Complex

Recall that Tu lives in price space. The dual space is quantity space.

Sets ConvDu(p) form a rational polyhedral complex, dimensiondimA.

This is our ‘demand complex’ (= subdivided Newton polytope).

3

0

2

2

22

4

44

✲ (1,1)

Demand complex cells are dual to the cells of Tu.

Lemma

Bundles which are not demand complex vertices are either never demandedor only demanded at prices corresp. to the demand complex cell they’re in.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 11 / 26

Duality: The Demand Complex

Recall that Tu lives in price space. The dual space is quantity space.

Sets ConvDu(p) form a rational polyhedral complex, dimensiondimA.

This is our ‘demand complex’ (= subdivided Newton polytope).

2.5

0

2

2

22

4

44

✲ (1,1)

Demand complex cells are dual to the cells of Tu.

Lemma

Bundles which are not demand complex vertices are either never demandedor only demanded at prices corresp. to the demand complex cell they’re in.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 11 / 26

Aggregate Demand

Many agents: j = 1, . . . ,m, valuations uj : Aj → R.

Definition (Standard)

Aggregate demand at p is the Minkowski sum of individual demands:

Du1(p) + · · ·+Dum(p)

Write A := A1 + · · ·+Aj and U : A→ R so aggregate demand is DU (p).Not hard to see we can use:

U(x) = max{∑

j uj(xj) | xj ∈ Aj ,

∑j x

j = x}

.

Definition (Standard)

If supply is x, a competitive equilibrium among agents i consists of

allocations xi such that∑

i xi = x.

price p such that xi ∈ Dui(p) for all i.

}x ∈ DU (p) for some p

Refer to supply x ∈ Conv(A) = Conv(A1+ · · ·+Am) as relevant supply.

@ Eqm for some relevant supply iff DU (p) not discrete-convex for some p

iff U is not concave.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 12 / 26

Aggregate Demand

Many agents: j = 1, . . . ,m, valuations uj : Aj → R.

Definition (Standard)

Aggregate demand at p is the Minkowski sum of individual demands:

Du1(p) + · · ·+Dum(p)

Write A := A1 + · · ·+Aj and U : A→ R so aggregate demand is DU (p).

Definition (Standard)

If supply is x, a competitive equilibrium among agents i consists of

allocations xi such that∑

i xi = x.

price p such that xi ∈ Dui(p) for all i.

}x ∈ DU (p) for some p

Refer to supply x ∈ Conv(A) = Conv(A1+ · · ·+Am) as relevant supply.

@ Eqm for some relevant supply iff DU (p) not discrete-convex for some p

iff U is not concave.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 12 / 26

Aggregate Demand

Many agents: j = 1, . . . ,m, valuations uj : Aj → R.

Definition (Standard)

Aggregate demand at p is the Minkowski sum of individual demands:

Du1(p) + · · ·+Dum(p)

Write A := A1 + · · ·+Aj and U : A→ R so aggregate demand is DU (p).

Definition (Standard)

If supply is x, a competitive equilibrium among agents i consists of

allocations xi such that∑

i xi = x.

price p such that xi ∈ Dui(p) for all i.

}x ∈ DU (p) for some p

Refer to supply x ∈ Conv(A) = Conv(A1+ · · ·+Am) as relevant supply.

@ Eqm for some relevant supply iff DU (p) not discrete-convex for some p

iff U is not concave.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 12 / 26

Aggregate Demand

Many agents: j = 1, . . . ,m, valuations uj : Aj → R.

Definition (Standard)

Aggregate demand at p is the Minkowski sum of individual demands:

Du1(p) + · · ·+Dum(p)

Write A := A1 + · · ·+Aj and U : A→ R so aggregate demand is DU (p).

Definition (Standard)

If supply is x, a competitive equilibrium among agents i consists of

allocations xi such that∑

i xi = x.

price p such that xi ∈ Dui(p) for all i.

}x ∈ DU (p) for some p

Refer to supply x ∈ Conv(A) = Conv(A1+ · · ·+Am) as relevant supply.

@ Eqm for some relevant supply iff DU (p) not discrete-convex for some p

iff U is not concave.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 12 / 26

Tropical hypersurface of aggregate demandDU (p) = Du1(p) + · · ·+Dum(p)

Easy to draw TU ,

just superimpose individual tropical hypersurfaces.

Lemma

Equilibrium fails for concave u1, u2 and some supply x ∈ A1 +A2 iffDu(p) is not discrete-convex for some p ∈ Tu1 ∩ Tu2 .

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 13 / 26

Tropical hypersurface of aggregate demandDU (p) = Du1(p) + · · ·+Dum(p)

Easy to draw TU , just superimpose individual tropical hypersurfaces.

Corollary

If u1, . . . , um are of demand type D then so is U .

Lemma

Equilibrium fails for concave u1, u2 and some supply x ∈ A1 +A2 iffDu(p) is not discrete-convex for some p ∈ Tu1 ∩ Tu2 .

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 13 / 26

Tropical hypersurface of aggregate demandDU (p) = Du1(p) + · · ·+Dum(p)

Easy to draw TU , just superimpose individual tropical hypersurfaces.

(0, 0)

(2, 1) (0, 1)

(1, 2)

(1, 0)

Then what is DU (p)?

If p /∈ TU , easy: use “facet normal × weight = change in demand”.

If p ∈ Tui , only one i, and individual valuations concave, also easy.

Interesting case: p ∈ Tui , Tuj for i 6= j.

Lemma

Equilibrium fails for concave u1, u2 and some supply x ∈ A1 +A2 iffDu(p) is not discrete-convex for some p ∈ Tu1 ∩ Tu2 .

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 13 / 26

Tropical hypersurface of aggregate demandDU (p) = Du1(p) + · · ·+Dum(p)

Easy to draw TU , just superimpose individual tropical hypersurfaces.

(0, 0)

F (0, 1)

(1, 2)

(2, 1)

(1, 0)

Then what is DU (p)?

If p /∈ TU , easy: use “facet normal × weight = change in demand”.

If p ∈ Tui , only one i, and individual valuations concave, also easy.

Interesting case: p ∈ Tui , Tuj for i 6= j.

Lemma

Equilibrium fails for concave u1, u2 and some supply x ∈ A1 +A2 iffDu(p) is not discrete-convex for some p ∈ Tu1 ∩ Tu2 .

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 13 / 26

Classic theorems of competitive equilibrium

Theorem (Kelso and Crawford 1982)

Suppose

domain Ai = {0, 1}n for all agents i.

ui : Ai → R is a concave substitute valuation for all agents.

Supply x ∈ {0, 1}n.

Then competitive equilibrium exists.

Seek generalised result of this form:

Suppose we fix a demand type D.

Agents all have concave valuations of demand type D.

‘Relevant’ supply (in the convex hull of domain of aggregate demand).

Ask: does competitive equilibrium always exist?

Yes, iff D has a certain property. . .

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 14 / 26

Classic theorems of competitive equilibrium

Theorem (Milgrom and Strulovici 2009)

Suppose

domain Ai = A, a fixed product of intervals, for all agents i.

ui : Ai → R is a concave strong substitute valuation for all agents.

Supply x ∈ A.

Then competitive equilibrium exists.

Seek generalised result of this form:

Suppose we fix a demand type D.

Agents all have concave valuations of demand type D.

‘Relevant’ supply (in the convex hull of domain of aggregate demand).

Ask: does competitive equilibrium always exist?

Yes, iff D has a certain property. . .

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 14 / 26

Classic theorems of competitive equilibrium

Theorem (Hatfield, Kominers, Nichifor, Ostrovsky, and Westkamp 2013)

Suppose

domain Ai ⊂ {−1, 0, 1}n for all agents i.

ui : Ai → R is a concave ‘full’ substitute valuation for all agents.

Supply x = 0.

Then competitive equilibrium exists.

Seek generalised result of this form:

Suppose we fix a demand type D.

Agents all have concave valuations of demand type D.

‘Relevant’ supply (in the convex hull of domain of aggregate demand).

Ask: does competitive equilibrium always exist?

Yes, iff D has a certain property. . .

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 14 / 26

Classic theorems of competitive equilibrium

Theorem (Hatfield, Kominers, Nichifor, Ostrovsky, and Westkamp 2013)

Suppose

domain Ai ⊂ {−1, 0, 1}n for all agents i.

ui : Ai → R is a concave ‘full’ substitute valuation for all agents.

Supply x = 0.

Then competitive equilibrium exists.

Seek generalised result of this form:

Suppose we fix a ‘description’.

Agents all have concave valuations of this description.

‘Relevant’ supply (in the convex hull of domain of aggregate demand).

Ask: does competitive equilibrium always exist?

Yes, iff D has a certain property. . .

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 14 / 26

Classic theorems of competitive equilibrium

Theorem (Hatfield, Kominers, Nichifor, Ostrovsky, and Westkamp 2013)

Suppose

domain Ai ⊂ {−1, 0, 1}n for all agents i.

ui : Ai → R is a concave ‘full’ substitute valuation for all agents.

Supply x = 0.

Then competitive equilibrium exists.

Seek generalised result of this form:

Suppose we fix a demand type D.

Agents all have concave valuations of demand type D.

‘Relevant’ supply (in the convex hull of domain of aggregate demand).

Ask: does competitive equilibrium always exist?

Yes, iff D has a certain property. . .

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 14 / 26

Classic theorems of competitive equilibrium

Theorem (Hatfield, Kominers, Nichifor, Ostrovsky, and Westkamp 2013)

Suppose

domain Ai ⊂ {−1, 0, 1}n for all agents i.

ui : Ai → R is a concave ‘full’ substitute valuation for all agents.

Supply x = 0.

Then competitive equilibrium exists.

Seek generalised result of this form:

Suppose we fix a demand type D.

Agents all have concave valuations of demand type D.

‘Relevant’ supply (in the convex hull of domain of aggregate demand).

Ask: does competitive equilibrium always exist?Yes, iff D has a certain property. . .

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 14 / 26

Demand types and equilibrium

Recall:

Could only demand (1, 1) at price corresp. to the square demandcomplex cell.

But at this price,

Red demands (1, 0) or (0, 1)Blue demands (0, 0) or (1, 1)

Switching choices takes us between the vertices of the square.

There is no way to get to the bundle in the middle.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 15 / 26

Demand types and equilibrium

Recall:

Could only demand (1, 1) at price corresp. to the square demandcomplex cell.

But at this price,

Red demands (1, 0) or (0, 1)Blue demands (0, 0) or (1, 1)

Switching choices takes us between the vertices of the square.

There is no way to get to the bundle in the middle.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 15 / 26

Demand types and equilibrium

?

Recall:

Could only demand (1, 1) at price corresp. to the square demandcomplex cell.

But at this price,

Red demands (1, 0) or (0, 1)Blue demands (0, 0) or (1, 1)

Switching choices takes us between the vertices of the square.

There is no way to get to the bundle in the middle.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 15 / 26

Demand types and equilibrium

? Area=2.

The problem is that the bundle is in the middle of the square.

There exists a bundle there because the area of the square is > 1.

The area is (abs. value of) the determinant of vectors along its edges.

det

(1 −11 1

)= 2

Avoid problems iff all sets of n demand type vectors have det ±1 or 0.⇒ “unimodularity”.∗

∗When vectors in D span Rn, unimodularity ⇔ all sets of n vectors have det ±1 or 0.E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 15 / 26

Demand types and equilibrium

Theorem (cf. Danilov, Koshevoy and Murota, 2001)

Fix a set D ( Zn. A competitive equilibrium exists for

every finite set of agents with concave valuations of type Dany relevant supply

iff D is unimodular.

The problem is that the bundle is in the middle of the square.

There exists a bundle there because the area of the square is > 1.

The area is (abs. value of) the determinant of vectors along its edges.

det

(1 −11 1

)= 2

Avoid problems iff all sets of n demand type vectors have det ±1 or 0.⇒ “unimodularity”.∗

∗When vectors in D span Rn, unimodularity ⇔ all sets of n vectors have det ±1 or 0.E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 15 / 26

Demand types and equilibrium

Theorem (cf. Danilov, Koshevoy and Murota, 2001)

Fix a set D ( Zn. A competitive equilibrium exists for

every finite set of agents with concave valuations of type Dany relevant supply

iff D is unimodular.

From this, follows existence of equilibrium in:

Gross substitutes (Kelso and Crawford, 1982, Ecta).

Strong substitutes / M \-concave valuations (Danilov et al., 2003,Discrete Applied Math., Milgrom and Strulovici, 2009, JET).

Gross substitutes and complements (Sun and Yang, 2006, Ecta).

Full substitutability on a trading network (Hatfield et al. 2013, JPE).

∗When vectors in D span Rn, unimodularity ⇔ all sets of n vectors have det ±1 or 0.E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 15 / 26

Demand types and equilibrium

Theorem (cf. Danilov, Koshevoy and Murota, 2001)

Fix a set D ( Zn. A competitive equilibrium exists for

every pair of agents with concave valuations of type Dany relevant supply

iff D is unimodular.

From this, follows existence of equilibrium in:

Gross substitutes (Kelso and Crawford, 1982, Ecta).

Strong substitutes / M \-concave valuations (Danilov et al., 2003,Discrete Applied Math., Milgrom and Strulovici, 2009, JET).

Gross substitutes and complements (Sun and Yang, 2006, Ecta).

Full substitutability on a trading network (Hatfield et al. 2013, JPE).

∗When vectors in D span Rn, unimodularity ⇔ all sets of n vectors have det ±1 or 0.E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 15 / 26

Transverse Intersections

Definition

Tu1 , Tu2 intersect transversally at p if forminimal C1, C2 of Tu1 , Tu2 containing p,have dim(C1 + C2) = n.

2

Lemma (See e.g. Maclagan and Sturmfels 2015)

Tu1 , Tu2 intersect transversally after a small generic translation.

Translations in valuations: If uε(x) = u(x) + εv.x then Tuε = Tu + {εv}.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 16 / 26

Transverse Intersections

Definition

Tu1 , Tu2 intersect transversally at p if forminimal C1, C2 of Tu1 , Tu2 containing p,have dim(C1 + C2) = n.

2

Lemma (See e.g. Maclagan and Sturmfels 2015)

Tu1 , Tu2 intersect transversally after a small generic translation.

Translations in valuations: If uε(x) = u(x) + εv.x then Tuε = Tu + {εv}.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 16 / 26

Transverse Intersections

Definition

Tu1 , Tu2 intersect transversally at p if forminimal C1, C2 of Tu1 , Tu2 containing p,have dim(C1 + C2) = n.

2

Lemma (See e.g. Maclagan and Sturmfels 2015)

Tu1 , Tu2 intersect transversally after a small generic translation.

Translations in valuations: If uε(x) = u(x) + εv.x then Tuε = Tu + {εv}.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 16 / 26

Translations and Equilibrium

Proposition

If equilibrium does not exist for valuations u1 and u2, and for somerelevant supply y, then for any v ∈ Rn, equilibrium also fails for valuationsu1 and u2ε , in which u2ε (x) = u2(x) + εv.x, for supply y and all sufficientlysmall ε > 0.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 17 / 26

Translations and Equilibrium

Proposition

If equilibrium does not exist for valuations u1 and u2, and for somerelevant supply y, then for any v ∈ Rn, equilibrium also fails for valuationsu1 and u2ε , in which u2ε (x) = u2(x) + εv.x, for supply y and all sufficientlysmall ε > 0.

Proof. Let P j(x) be prices p where x ∈ Duj (p).Failure of equilibrium ⇔

P 1(x1) ∩ P 2(x2) = ∅ ∀(x1,x2) ∈ A1 ×A2 s.t. x1 + x2 = y.

Clearly the prices p where x2 ∈ Du2ε(p) are {εv}+ P 2(x2).

P j(x) is a cell, the closure of a unique demand region, or ∅: a polyhedron.If two polyhedra are disjoint, after a sufficiently small translation inany direction, they are still disjoint.

Pick ε so this holds for translation εv and all (x1,x2) ∈ A1 ×A2 s.t.x1 + x2 = y.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 17 / 26

Translations and Equilibrium

Proposition

If equilibrium does not exist for valuations u1 and u2, and for somerelevant supply y, then for any v ∈ Rn, equilibrium also fails for valuationsu1 and u2ε , in which u2ε (x) = u2(x) + εv.x, for supply y and all sufficientlysmall ε > 0.

Proof. Let P j(x) be prices p where x ∈ Duj (p).Failure of equilibrium ⇔

P 1(x1) ∩ P 2(x2) = ∅ ∀(x1,x2) ∈ A1 ×A2 s.t. x1 + x2 = y.

Clearly the prices p where x2 ∈ Du2ε(p) are {εv}+ P 2(x2).

P j(x) is a cell, the closure of a unique demand region, or ∅: a polyhedron.If two polyhedra are disjoint, after a sufficiently small translation inany direction, they are still disjoint.

Pick ε so this holds for translation εv and all (x1,x2) ∈ A1 ×A2 s.t.x1 + x2 = y.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 17 / 26

Translations and Equilibrium

Proposition

If equilibrium does not exist for valuations u1 and u2, and for somerelevant supply y, then for any v ∈ Rn, equilibrium also fails for valuationsu1 and u2ε , in which u2ε (x) = u2(x) + εv.x, for supply y and all sufficientlysmall ε > 0.

Proof. Let P j(x) be prices p where x ∈ Duj (p).Failure of equilibrium ⇔

P 1(x1) ∩ P 2(x2) = ∅ ∀(x1,x2) ∈ A1 ×A2 s.t. x1 + x2 = y.

Clearly the prices p where x2 ∈ Du2ε(p) are {εv}+ P 2(x2).

P j(x) is a cell, the closure of a unique demand region, or ∅: a polyhedron.If two polyhedra are disjoint, after a sufficiently small translation inany direction, they are still disjoint.

Pick ε so this holds for translation εv and all (x1,x2) ∈ A1 ×A2 s.t.x1 + x2 = y.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 17 / 26

Translations and Equilibrium

Proposition

If equilibrium does not exist for valuations u1 and u2, and for somerelevant supply y, then for any v ∈ Rn, equilibrium also fails for valuationsu1 and u2ε , in which u2ε (x) = u2(x) + εv.x, for supply y and all sufficientlysmall ε > 0.

Proof. Let P j(x) be prices p where x ∈ Duj (p).Failure of equilibrium ⇔

P 1(x1) ∩ P 2(x2) = ∅ ∀(x1,x2) ∈ A1 ×A2 s.t. x1 + x2 = y.

Clearly the prices p where x2 ∈ Du2ε(p) are {εv}+ P 2(x2).

P j(x) is a cell, the closure of a unique demand region, or ∅: a polyhedron.If two polyhedra are disjoint, after a sufficiently small translation inany direction, they are still disjoint.

Pick ε so this holds for translation εv and all (x1,x2) ∈ A1 ×A2 s.t.x1 + x2 = y.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 17 / 26

Translations and Equilibrium

Proposition

If equilibrium does not exist for valuations u1 and u2, and for somerelevant supply y, then for any v ∈ Rn, equilibrium also fails for valuationsu1 and u2ε , in which u2ε (x) = u2(x) + εv.x, for supply y and all sufficientlysmall ε > 0.

Proof. Let P j(x) be prices p where x ∈ Duj (p).Failure of equilibrium ⇔

P 1(x1) ∩ P 2(x2) = ∅ ∀(x1,x2) ∈ A1 ×A2 s.t. x1 + x2 = y.

Clearly the prices p where x2 ∈ Du2ε(p) are {εv}+ P 2(x2).

P j(x) is a cell, the closure of a unique demand region, or ∅: a polyhedron.If two polyhedra are disjoint, after a sufficiently small translation inany direction, they are still disjoint.

Pick ε so this holds for translation εv and all (x1,x2) ∈ A1 ×A2 s.t.x1 + x2 = y.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 17 / 26

Translations and Equilibrium

Proposition

If equilibrium does not exist for valuations u1 and u2, and for somerelevant supply y, then for any v ∈ Rn, equilibrium also fails for valuationsu1 and u2ε , in which u2ε (x) = u2(x) + εv.x, for supply y and all sufficientlysmall ε > 0.

Corollary

Equilibrium exists for all finite sets of concave valuations of a demand typeand all relevant supplies iff it exists for all finite sets of concave valuationsof that type which intersect transversally.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 17 / 26

Unimodularity

For a linearly independent set {v1, . . . ,vs} in Zn, the following areequivalent:

1. {v1, . . . ,v2} are unimodular;

2. There exist vs+1, . . . ,vn ∈ Zn such that the determinant ofv1, . . . ,vn is ±1.

3. the parallelepiped whose edges are these vectors, that is,{∑nj=1 λ

jvj : λj ∈ [0, 1]}, contains no non-vertex integer point;

4. if x ∈ Zn and x =∑s

j=1 αjvj with αj ∈ R, then αj ∈ Z for all j.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 18 / 26

Necessity in the Unimodularity Theorem

Finite collections of agents:

Let v1, . . . ,vk ∈ D. Fix p ∈ Rn.

For j = 1, . . . , k choose a concave valuation with facet normal vj ,with weight 1, and with p in its interior.

So Duj (p) = {xj ,xj + vj} for j = 1, . . . , k and some xj .

Thus DU (p) = {x+∑

j δjvj : δj ∈ {0, 1}}, where x =

∑j x

j .

This is the vertices of a parallelepiped⇒ DU (p) is discrete-convex iff v1, . . . ,vk are unimodular.

?

{(1, 1), (−1, 1)} not aunimodular set.

DU (p) notdiscrete-convex.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 19 / 26

Necessity in the Unimodularity Theorem

Finite collections of agents:

Let v1, . . . ,vk ∈ D. Fix p ∈ Rn.

For j = 1, . . . , k choose a concave valuation with facet normal vj ,with weight 1, and with p in its interior.

So Duj (p) = {xj ,xj + vj} for j = 1, . . . , k and some xj .

Thus DU (p) = {x+∑

j δjvj : δj ∈ {0, 1}}, where x =

∑j x

j .

This is the vertices of a parallelepiped⇒ DU (p) is discrete-convex iff v1, . . . ,vk are unimodular.

Only two agents

Let k be minimal such that v1, . . . ,vk not unimodular.

Choose valuations u1, . . . , uk as above and let u0 be aggregatevaluation for u1, . . . , uk−1.

Du0(p) is discrete-convex, by minimality, so is concave on Du0(p).

but Du0(p) +Duk(p) = DU (p) which is non discrete-convex.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 19 / 26

Transverse intersections and changes in demand

Consider the linear span of changes in demand.

Definition

Lσ := 〈{y − x : x,y ∈ σ}〉R where σ is a demand complex cell.

Lemma (e.g. Gruber, 2007)

∃ a basis for Lσ consisting of edges of σ (i.e. facet normals in T.H.).

For p ∈ Tu1 ∩ Tu2 , write σj , σ for ConvDuj (p),ConvDU (p).

Lemma

Lσ = Lσ1 ⊕ Lσ2 iff intersection is transverse at p

Corollary

If intersection is transverse and demand type is unimodular, and ify,x ∈ σ ∩ Zn, can write y − x = z1 + z2 where zj ∈ Lσj ∩ Zn, j = 1, 2.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 20 / 26

Transverse intersections and changes in demand

Consider the linear span of changes in demand.

Definition

Lσ := 〈{y − x : x,y ∈ σ}〉R where σ is a demand complex cell.

Lemma (e.g. Gruber, 2007)

∃ a basis for Lσ consisting of edges of σ (i.e. facet normals in T.H.).

For p ∈ Tu1 ∩ Tu2 , write σj , σ for ConvDuj (p),ConvDU (p).

Lemma

Lσ = Lσ1 ⊕ Lσ2 iff intersection is transverse at p

Corollary

If intersection is transverse and demand type is unimodular, and ify,x ∈ σ ∩ Zn, can write y − x = z1 + z2 where zj ∈ Lσj ∩ Zn, j = 1, 2.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 20 / 26

Transverse intersections and changes in demand

Consider the linear span of changes in demand.

Definition

Lσ := 〈{y − x : x,y ∈ σ}〉R where σ is a demand complex cell.

Lemma (e.g. Gruber, 2007)

∃ a basis for Lσ consisting of edges of σ (i.e. facet normals in T.H.).

For p ∈ Tu1 ∩ Tu2 , write σj , σ for ConvDuj (p),ConvDU (p).

Lemma

Lσ = Lσ1 ⊕ Lσ2 iff intersection is transverse at p

Corollary

If intersection is transverse and demand type is unimodular, and ify,x ∈ σ ∩ Zn, can write y − x = z1 + z2 where zj ∈ Lσj ∩ Zn, j = 1, 2.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 20 / 26

Proof of Sufficiency in Unimodularity Theorem

Definition

Lσ := 〈{y − x : x,y ∈ σ}〉R where σ is a demand complex cell.

Suppose u1, u2 concave and p ∈ Tu1 ∩ Tu2 . Write σj , σ forConvDuj (p),ConvDU (p). Wts DU (p) discrete-convex.

Let y ∈ ConvDU (p) ∩ Zn. Wts y ∈ DU (p) = Du1(p) +Du2(p).

Let x ∈ DU (p). Prev slide: ∃ zj ∈ Lσj ∩ Zn with y − x = z1 + z2.

But x ∈ DU (p) so x = x1 + x2, with xj ∈ Duj (p).And y ∈ σ so y = y1 + y2 with yj ∈ σj (not necessarily integer).

So z1 + z2 = (y1 − x1) + (y2 − x2).

Moreover, yj − xj ∈ Lσj , j = 1, 2. So zj = xj − yj . Since xj , zj ∈ Znsee yj ∈ Zn.

As uj concave and yj ∈ σj ∩ Zn, conclude yj ∈ Duj (p).

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 21 / 26

Proof of Sufficiency in Unimodularity Theorem

Definition

Lσ := 〈{y − x : x,y ∈ σ}〉R where σ is a demand complex cell.

Suppose u1, u2 concave and p ∈ Tu1 ∩ Tu2 . Write σj , σ forConvDuj (p),ConvDU (p). Wts DU (p) discrete-convex.

Let y ∈ ConvDU (p) ∩ Zn. Wts y ∈ DU (p) = Du1(p) +Du2(p).

Let x ∈ DU (p). Prev slide: ∃ zj ∈ Lσj ∩ Zn with y − x = z1 + z2.

But x ∈ DU (p) so x = x1 + x2, with xj ∈ Duj (p).And y ∈ σ so y = y1 + y2 with yj ∈ σj (not necessarily integer).

So z1 + z2 = (y1 − x1) + (y2 − x2).

Moreover, yj − xj ∈ Lσj , j = 1, 2. So zj = xj − yj . Since xj , zj ∈ Znsee yj ∈ Zn.

As uj concave and yj ∈ σj ∩ Zn, conclude yj ∈ Duj (p).

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 21 / 26

Proof of Sufficiency in Unimodularity Theorem

Definition

Lσ := 〈{y − x : x,y ∈ σ}〉R where σ is a demand complex cell.

Suppose u1, u2 concave and p ∈ Tu1 ∩ Tu2 . Write σj , σ forConvDuj (p),ConvDU (p). Wts DU (p) discrete-convex.

Let y ∈ ConvDU (p) ∩ Zn. Wts y ∈ DU (p) = Du1(p) +Du2(p).

Let x ∈ DU (p). Prev slide: ∃ zj ∈ Lσj ∩ Zn with y − x = z1 + z2.

But x ∈ DU (p) so x = x1 + x2, with xj ∈ Duj (p).And y ∈ σ so y = y1 + y2 with yj ∈ σj (not necessarily integer).

So z1 + z2 = (y1 − x1) + (y2 − x2).

Moreover, yj − xj ∈ Lσj , j = 1, 2. So zj = xj − yj . Since xj , zj ∈ Znsee yj ∈ Zn.

As uj concave and yj ∈ σj ∩ Zn, conclude yj ∈ Duj (p).

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 21 / 26

Proof of Sufficiency in Unimodularity Theorem

Definition

Lσ := 〈{y − x : x,y ∈ σ}〉R where σ is a demand complex cell.

Suppose u1, u2 concave and p ∈ Tu1 ∩ Tu2 . Write σj , σ forConvDuj (p),ConvDU (p). Wts DU (p) discrete-convex.

Let y ∈ ConvDU (p) ∩ Zn. Wts y ∈ DU (p) = Du1(p) +Du2(p).

Let x ∈ DU (p). Prev slide: ∃ zj ∈ Lσj ∩ Zn with y − x = z1 + z2.

But x ∈ DU (p) so x = x1 + x2, with xj ∈ Duj (p).And y ∈ σ so y = y1 + y2 with yj ∈ σj (not necessarily integer).

So z1 + z2 = (y1 − x1) + (y2 − x2).

Moreover, yj − xj ∈ Lσj , j = 1, 2. So zj = xj − yj . Since xj , zj ∈ Znsee yj ∈ Zn.

As uj concave and yj ∈ σj ∩ Zn, conclude yj ∈ Duj (p).

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 21 / 26

Examples: Strong substitutes / M \-concave valuations

The strong substitute vectors have at most one +1, at most one -1,otherwise 0s. Substitutes where trade-offs are 1-1.

(1 0 10 1 −1

)0

1( (1

0( ( 1

-1( (

Unimodular set (classic result).

Equilibrium always exists

Model of Kelso and Crawford (1982), Danilov et al. (2003), Milgromand Strulovici (2009), Hatfield et al. (2013).

The model of Sun and Yang (2006) is a basis change.

All ‘product-mix auction’ bids express strong substitute preferences.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 22 / 26

Examples: Strong substitutes / M \-concave valuations

The strong substitute vectors have at most one +1, at most one -1,otherwise 0s. Substitutes where trade-offs are 1-1.

1 0 0 1 1 00 1 0 −1 0 10 0 1 0 −1 −1

(1,1,1)

p1

p2

p3

Unimodular set (classic result).

Equilibrium always exists

Model of Kelso and Crawford (1982), Danilov et al. (2003), Milgromand Strulovici (2009), Hatfield et al. (2013).

The model of Sun and Yang (2006) is a basis change.

All ‘product-mix auction’ bids express strong substitute preferences.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 22 / 26

Beyond strong substitutes

∃ unimodular demand types, not a basis change from strong substitutes?If n ≤ 3, then no. If n ≥ 4, yes.

Let D be the columns of:1 0 0 1 0 0 1 1 00 1 0 0 1 0 1 0 10 0 1 0 0 1 0 1 10 0 0 1 1 1 1 1 1

front-line workers}

managerInterpretation:

The first three goods (rows) represent front-line workers.

The final good (row) is a manager.

‘Bundles’, i.e. teams, worth bidding for, are:

a worker on their own (not a manager on their own);a worker and a manager;two workers and a manager.

Interpret as coalitions: model matching with transferable utility.Find unimodularity ⇔ core 6= ∅.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 23 / 26

Beyond strong substitutes

∃ unimodular demand types, not a basis change from strong substitutes?If n ≤ 3, then no. If n ≥ 4, yes. Let D be the columns of:

1 0 0 1 0 0 1 1 00 1 0 0 1 0 1 0 10 0 1 0 0 1 0 1 10 0 0 1 1 1 1 1 1

front-line workers}

managerInterpretation:

The first three goods (rows) represent front-line workers.

The final good (row) is a manager.

‘Bundles’, i.e. teams, worth bidding for, are:

a worker on their own (not a manager on their own);a worker and a manager;two workers and a manager.

Interpret as coalitions: model matching with transferable utility.Find unimodularity ⇔ core 6= ∅.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 23 / 26

Beyond strong substitutes

∃ unimodular demand types, not a basis change from strong substitutes?If n ≤ 3, then no. If n ≥ 4, yes. Let D be the columns of:

1 0 0 1 0 0 1 1 00 1 0 0 1 0 1 0 10 0 1 0 0 1 0 1 10 0 0 1 1 1 1 1 1

front-line workers}

managerInterpretation:

The first three goods (rows) represent front-line workers.

The final good (row) is a manager.

‘Bundles’, i.e. teams, worth bidding for, are:

a worker on their own (not a manager on their own);a worker and a manager;two workers and a manager.

Interpret as coalitions: model matching with transferable utility.

Find unimodularity ⇔ core 6= ∅.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 23 / 26

Beyond strong substitutes

∃ unimodular demand types, not a basis change from strong substitutes?If n ≤ 3, then no. If n ≥ 4, yes. Let D be the columns of:

1 0 0 1 0 0 1 1 00 1 0 0 1 0 1 0 10 0 1 0 0 1 0 1 10 0 0 1 1 1 1 1 1

front-line workers}

managerInterpretation:

The first three goods (rows) represent front-line workers.

The final good (row) is a manager.

‘Bundles’, i.e. teams, worth bidding for, are:

a worker on their own (not a manager on their own);a worker and a manager;two workers and a manager.

Interpret as coalitions: model matching with transferable utility.Find unimodularity ⇔ core 6= ∅.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 23 / 26

Interval package valuations

D is the basis change of the strong substitute vectors via the uppertriangular matrix of 1s. Vectors with one block of consecutive 1s:

People are ordered from 1 to n.

Subsets of consecutive people can form coalitions.

Where there are ‘gaps’, no complementarity.

This can represent:

small shops along a street considering a merger;

seabed rights for oil / offshore wind.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 24 / 26

Summary

Geometric analysis helps us understand

Individual Demand

See an agent’s valuation and their trade-offs.Classify valuations via ‘demand types’.Relate one structure of trade-offs to another.

Aggregate Demand

Always have competitive equilibrium iff ‘demand type’ is unimodular.Count intersections to check for equilibrium in other cases.

Matching with transferable utility

Stability = equilibrium = unimodularity of set of putative coalitions.New models of multiparty stable matching: see ?.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 25 / 26

Advert for Research Assistant

We are revising this paper.

We would love to pay a graduate student (or anyone else!) to proof-read,especially the appendices, if anyone knows anyone who might beinterested.

Please talk to me during the week or email e.c.baldwin@lse.ac.uk

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 26 / 26

References

V. Danilov and G. Koshevoy. Discrete convexity and unimodularity–I.Advances in Mathematics, 189(2):301–324, 2004.

V. Danilov, G. Koshevoy, and K. Murota. Discrete convexity and equilibriain economies with indivisible goods and money. Mathematical SocialSciences, 41:251–273, 2001.

V. Danilov, G. Koshevoy, and C. Lang. Gross substitution, discreteconvexity, and submodularity. Discrete Applied Mathematics, 131(2):283–298, 2003.

J. W. Hatfield, S. D. Kominers, A. Nichifor, M. Ostrovsky, andA. Westkamp. Stability and competitive equilibrium in trading networks.Journal of Political Economy, 121(5):966–1005, 2013.

A. S. Kelso and V. P. Crawford. Job matching, coalition formation, andgross substitutes. Econometrica, 50(6):1483–1504, 1982.

D. Maclagan and B. Sturmfels. Introduction to Tropical Geometry,volume 161 of Graduate Studies in Mathematics. AmericanMathematical Society, Providence, RI, 2015.

G. Mikhalkin. Decomposition into pairs-of-pants for complex algebraichypersurfaces. Topology, 43(5):1035–1065, 2004.E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 26 / 26

P. Milgrom and B. Strulovici. Substitute goods, auctions, and equilibrium.Journal of Economic Theory, 144(1):212–247, 2009.

N. Sun and Z. Yang. Equilibria and indivisibilities: Gross substitutes andcomplements. Econometrica, 74(5):1385–1402, 2006.

E. Baldwin and P. Klemperer Tropical Hypersurfaces in Economics May 2016 26 / 26

Recommended