Top Banner
Generalizing examples in computational experiments Felix Kubler University of Pennsylvania ICE, August 2007
25

Generalizing examples in computational experiments Felix Kubler University of Pennsylvania ICE, August 2007.

Dec 19, 2015

Download

Documents

Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: Generalizing examples in computational experiments Felix Kubler University of Pennsylvania ICE, August 2007.

Generalizing examples in computational experiments

Felix KublerUniversity of PennsylvaniaICE, August 2007

Page 2: Generalizing examples in computational experiments Felix Kubler University of Pennsylvania ICE, August 2007.

Intuition and theorems

In applied theory, ideally Start with economic question Work out examples to gain intuition, form

conjecture Prove theorems for classes of economies

Often last step is difficult. For example, in general equilibrium analysis comparative static statements are rarely possible

Page 3: Generalizing examples in computational experiments Felix Kubler University of Pennsylvania ICE, August 2007.

Classical computational experiments Want to investigate a model economy Calibrate the model economy so that it mimics the

world along certain dimensions, given parametric classes of utility and production functions

Compute equilibrium to explore quantitative and qualitative implications of the model economy

Often there is no generally accepted strategy to pick the ‘right parameters’, but it is not possible to prove anything for all parameters or even all reasonable ones

Page 4: Generalizing examples in computational experiments Felix Kubler University of Pennsylvania ICE, August 2007.

Between examples and theorems: Modern computational experiment Repeat experiment for many different values

of the parameters Infer that the set of parameters for which

conjecture is false is ‘small’

Formally, suppose the parameters lie in some compact set .

Define as the set of parameters for which conjecture is true.

Given a finite set such that whenever , can one

obtain lower bound

E

E

F E e e F

s on the 'size' of ?

Page 5: Generalizing examples in computational experiments Felix Kubler University of Pennsylvania ICE, August 2007.

An example

2 agents, 2 goods in a pure exchange economy with CES utility

Multiplicity is possible, but conjecture is that it occurs for small set of parameter values

1 1 2 21 1 1 121 1 2 1 1 1 2 1 2 2 1 2 2( , ) (1 ) , ( , ) (1 )u x x x x u x x x x

1 2 4 21 2 1 2Parameters are ( , ) [0,1] , ( , ) [0,1] , ( , )e e

Page 6: Generalizing examples in computational experiments Felix Kubler University of Pennsylvania ICE, August 2007.

Example continued

Fix elasticities of substitution, how `likely’ is multiplicity?

Suppose we can determine (fast) whether there are multiple equilibria for a given economy, if parameters are integers and not too large (tomorrow….)

How can one say anything about the volume of parameters that yield multiple equilibria?

Page 7: Generalizing examples in computational experiments Felix Kubler University of Pennsylvania ICE, August 2007.

Connected components

0 1

If has 1 connected component, if ,

then

0 and 1

[0,1]

Page 8: Generalizing examples in computational experiments Felix Kubler University of Pennsylvania ICE, August 2007.

Connected components

0 1

If has k connected components, if

then the Lebesgue measure of is at least 1-(k-1)/h

, for all 0,1,...,i/h i h

Page 9: Generalizing examples in computational experiments Felix Kubler University of Pennsylvania ICE, August 2007.

Connected components

0 1

If has 2 connected components, if

then the Lebesgue measure of is at least 3/5

, for all 0,1 and 3,...,i/h i h

Will not work in higher dimensions….

Page 10: Generalizing examples in computational experiments Felix Kubler University of Pennsylvania ICE, August 2007.

One connected component

Let denote the maximal number of connected components of along any axis-parallel line. Want to use this to bound epsilon-entropy of

ð

Page 11: Generalizing examples in computational experiments Felix Kubler University of Pennsylvania ICE, August 2007.

Two connected components

Page 12: Generalizing examples in computational experiments Felix Kubler University of Pennsylvania ICE, August 2007.

Main result (Koiran) Let denote the generalized indicator

function with

Prove by induction that

1 if x( )

0 otherwise.x

1

1,...,[0,1]

1 1( ) ( / ,...., / )

L L

LLi i

x dx i h i h Lh h

Page 13: Generalizing examples in computational experiments Felix Kubler University of Pennsylvania ICE, August 2007.

Intuition for L=2

1

2 1 2 1

0

1

1 2 1 210

For arbitrary x [0,1], cannot say much about ( , ) .

1 1But ( , ) ,

h

i

x x dx

ix x dx x

h h h

2

1 1

1 2 1 2

0 0[0,1]

( ) ( , )x dx x x dx dx

1x

2x

Page 14: Generalizing examples in computational experiments Felix Kubler University of Pennsylvania ICE, August 2007.

Connected Components: Polynomials Given a polynomial equation in one unknown,

the number of zeros is bounded by d Let be a system of polynomial

equations in n unknowns of degrees Bezout’s theorem says that the number of non-degenerate real solutions is bounded by

0

( )d

ii

i

p x x

1 ... 0np p

1,..., nd d

1

n

ii

d

Page 15: Generalizing examples in computational experiments Felix Kubler University of Pennsylvania ICE, August 2007.

Number of connected components of semi-algebraic sets (Milnor)

1

1

1

1

Consider a 'semi-algebraic' set { : ( ) 0}

1The number of connected components is at most ( 1) , .

2

To see why, define . By Sard's theorem, there is a small such

that t

mn

jj

mn

jj

m

jj

A x p x

d d d d

p p

he number of connected components of can be bounded by the

number of solutions to 0, / 0, 2,..., .i

A

p p x i n

Page 16: Generalizing examples in computational experiments Felix Kubler University of Pennsylvania ICE, August 2007.

More useful bounds (same intuition)

1

(1) ( )

1

n

Consider a semi-algebraic set { : ( ) 0} ,

where each is the sum of monomials ... .

Let Q be the convex hull of all ( (1),..., ( )) together

with the n unit vectors

ij ij

mn

jj

n

j ij n

ij ij

A x p x

p x x

n

n

1

in . The number of connected

components of A is then bounded by 2 vol( ).n Q

Page 17: Generalizing examples in computational experiments Felix Kubler University of Pennsylvania ICE, August 2007.

Polynomial problems in economics ? For normal form games, Nash equilibria can

be characterized by polynomial system of equations (e.g. McKelvey and McLennan (1997))

In general equilibrium, most interesting utility functions do not seem polynomial, but often tricks can be applied to characterize equilibrium by a polynomial system

Page 18: Generalizing examples in computational experiments Felix Kubler University of Pennsylvania ICE, August 2007.

Back to the CES example

Suppose elasticities are identical and integer-valued. Then equilibrium is characterized by the following system of equations:

1 11 11 2 2

2 22 21 2 2

1 1 1 11 1 2 2 2

1 1 2 21 1 1 1

1 1 2 22 2 2 2

( ) ((1 ) ) 0

( ) ((1 ) ) 0

( ) ( ) 0

0

0

c c p

c c p

c e p c e

c e c e

c e c e

Page 19: Generalizing examples in computational experiments Felix Kubler University of Pennsylvania ICE, August 2007.

Back to the CES example

Or…

1 11 11 2

2 22 21 2

1 1 1 11 1 2 2

1 1 2 21 1 1 1

1 1 2 22 2 2 2

( ) ((1 ) ) 0

( ) ((1 ) ) 0

( ) ( ) 0

0

0

c c q

c c q

c e q c e

c e c e

c e c e

In this example, kappa=2 !!!!

Page 20: Generalizing examples in computational experiments Felix Kubler University of Pennsylvania ICE, August 2007.

Tractability

Randomization over E If dimension of E is large, the methods are hardly

applicable. However, if one is content with probabilistic statements, there is no curse of dimensionality. Suppose one can verify conjecture for N draws of random reals from E

[0,1]

[0,1]

1The previous formula ( )

implies that Prob ( ) / 1 (1 )

L

L

N

x dx Lh

x dx L h

Page 21: Generalizing examples in computational experiments Felix Kubler University of Pennsylvania ICE, August 2007.

Tractability and randomization What happens if at some points we find multiplicity? Suppose we have m Bernoulli rv with success

probability p and denote by the empirical frequency of success.

Then Hoeffdings inequality implies

Want to use m=200000 to get t around 0.005

p

2Pr( ) exp( 2 )p p t mt

Page 22: Generalizing examples in computational experiments Felix Kubler University of Pennsylvania ICE, August 2007.

Example – results…

200000 draws in parameter space, elasticity of substitution of 5, results hold with probability 1-exp(-10)

Relative frequency of multiplicity is 0.00011 Bound on volume is 0.0064

Can we vary sigma? Not polynomial anymore

Page 23: Generalizing examples in computational experiments Felix Kubler University of Pennsylvania ICE, August 2007.

Beyond polynomials: Pfaffian functions

1

11

A Pfaffian chain of order 0 and degree 1 in an open domain

is a sequence of analytic functions ,..., satisfying

differential equations

( ) ( , ( ),..., ( )) f

nr

j ij j ii n

r

G f f

df x g x f x f x dx

1 1

1

are polynomial in ( ,..., ), ,..., of degree not

exceeding .

A function ( ) ( , ( ),..., ( )), with being polynomial

of degree is called a Pfaffian function of order

or 1 .

The ij n j

r

x x x y y

f x p x f x f x p

r

j r

g

and degree ( , ).

Page 24: Generalizing examples in computational experiments Felix Kubler University of Pennsylvania ICE, August 2007.

Bounds for Pfaffian sets

L L++

i

1

Let , 1,..., be Pfaffian functions on or having

common Pfaffian chain of order and degrees ( , ) respectively.

Let max . Then the number of connected components of

: ( ) ... ( )

i

i

i

n

f i n

r

x f x f x

( 1) 1 12

0 does not exceed

2 ( 2 1) ((2 1)( ) 2 2)r r

L rL L

Page 25: Generalizing examples in computational experiments Felix Kubler University of Pennsylvania ICE, August 2007.

References

Kubler (2007) Econometrica Kubler and Schmedders (2007), ‘Competitive

equilibrium in semi-algebraic economies’, working paper

L. van den Dries (1999), Tame Topology and o-minimal Structures, CUP

Blum, L, F. Cucker, M. Shub and S. Smale (1998) Complexity and Real Computation, Springer Verlag