tropical hypersurfaces in economics, and the unimodularity...

109
Tropical Hypersurfaces in Economics, and the Unimodularity 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

Upload: others

Post on 17-Aug-2020

3 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 2: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 3: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 4: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 5: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 6: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 7: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 8: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 9: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 10: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 11: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 12: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 13: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 14: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 15: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 16: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 17: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 18: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 19: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 20: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 21: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 22: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 23: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 24: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 25: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 26: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 27: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 28: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 29: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 30: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 31: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 32: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 33: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 34: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 35: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 36: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 37: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 38: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 39: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 40: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 41: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 42: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 43: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 44: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 45: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 46: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 47: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 48: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 49: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 50: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 51: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 52: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 53: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 54: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 55: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 56: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 57: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 58: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 59: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 60: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 61: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 62: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 63: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 64: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 65: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 66: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 67: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 68: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 69: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 70: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 71: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 72: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 73: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 74: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 75: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 76: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 77: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 78: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 79: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 80: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 81: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 82: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 83: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 84: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 85: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 86: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 87: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 88: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 89: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 90: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 91: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 92: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 93: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 94: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 95: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 96: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 97: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 98: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 99: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 100: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 101: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 102: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 103: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 104: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 105: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 106: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 107: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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 [email protected]

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

Page 108: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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

Page 109: Tropical Hypersurfaces in Economics, and the Unimodularity ...people.math.gatech.edu/~jyu67/HCM/Baldwin1.pdf · Nu eld College, Oxford University May 2016 Material from ‘Tropical

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