27
Nash Equilibria in Competitive Societies Eyal Rozenberg Roy Fox

Nash Equilibria in Competitive Societies Eyal Rozenberg Roy Fox

  • View
    224

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Nash Equilibria in Competitive Societies Eyal Rozenberg Roy Fox

Nash Equilibria inCompetitive Societies

Eyal RozenbergRoy Fox

Page 2: Nash Equilibria in Competitive Societies Eyal Rozenberg Roy Fox

Overview Introducing an interesting model Presenting and proving some

results: Characterizing Nash equilibria Bounding the price of anarchy

Applying the results: Competitive facility location Competitive k-median problem Selfish routing

Page 3: Nash Equilibria in Competitive Societies Eyal Rozenberg Roy Fox

The Model

Focus on games in which Each player has a set of available

acts The action of a player is a subset

of her available acts Some of the actions are feasible,

though some may not be

Page 4: Nash Equilibria in Competitive Societies Eyal Rozenberg Roy Fox

Action Profiles A profile is a vector of actions, one

for each player Profile operators

kiii baBA 1 kiii baBA 1 kiii baBA 1\\

kiiii aaaaaaA ,,,,,, 111

ii bakiBA 1

Page 5: Nash Equilibria in Competitive Societies Eyal Rozenberg Roy Fox

Utility Functions Each player has a private utility

function There is a social utility function Assumptions

All functions are measured in the same units

The social utility function is submodular A player loses more from dropping out

than the society does

Page 6: Nash Equilibria in Competitive Societies Eyal Rozenberg Roy Fox

Set Functions

A function is called non-decreasing if

A function is called submodular if

The discrete directed derivative of at in direction is

f

f

f

XfDXfXfD

XVD \

YfXfVYX

VX

YXfYXfYfXfVYX ,

Page 7: Nash Equilibria in Competitive Societies Eyal Rozenberg Roy Fox

Submodular Functions

Equivalent definitions

YXfYXfYfXfVYX ,

BfAfBVDVBA DD \,

BfAfBVvVBA vv \,

Page 8: Nash Equilibria in Competitive Societies Eyal Rozenberg Roy Fox

Notation

Set of available acts Action space - set of feasible

actions

Strategy space - set of distributions on

,

iV

iA

iAiS

k

ii

1

AA

k

ii

1

SS

ii Va

Page 9: Nash Equilibria in Competitive Societies Eyal Rozenberg Roy Fox

Notation (2)

Private utility function Social utility function For convenience, require For , define

0SS AfESf

SA~

i

Page 10: Nash Equilibria in Competitive Societies Eyal Rozenberg Roy Fox

Utility Systems

Submodular social utility function Validity:

It follows that AAA

k

ii

k

iiai

11

iai AAAi

A

AAAk

ii

1

A

Page 11: Nash Equilibria in Competitive Societies Eyal Rozenberg Roy Fox

Ascent Lemma

Denote Ascent Lemma (special case):

Generally:

kiii aaA ,,,,, 11

k

i

iabAB BAABAii

1

1\\, A

k

i

ia AAAi

1

1A

Page 12: Nash Equilibria in Competitive Societies Eyal Rozenberg Roy Fox

Basic Utility Systems

Equality in 2nd requirement

3rd requirement follows For every submodular there

exists a utility system - the basic one

iai AAAi

A

Page 13: Nash Equilibria in Competitive Societies Eyal Rozenberg Roy Fox

Mixed Strategies

Requirements hold is sumbodular

Ascent Lemma holds

SSSk

ii

1

S

isi SSSi

S

k

i

istST TSSTSii

1

1\\, S

Page 14: Nash Equilibria in Competitive Societies Eyal Rozenberg Roy Fox

Example: The Oil Game

There are nations, each having barrels of oil

The utility of each nation is the square root of the number of barrels it exports

The social utility is the sum of private utilities

k n

ii aA

Page 15: Nash Equilibria in Competitive Societies Eyal Rozenberg Roy Fox

For an optimal solution and any Nash equilibrium

If is non-decreasing

The Price of Anarchy

ASS

k

i

is

k

i

is SSS

iiii1

1\

1

1\

k

i

is

siis SSS

ii

ii

i1

1\

:

0,max2

S 2

Page 16: Nash Equilibria in Competitive Societies Eyal Rozenberg Roy Fox

Improved Bound

For a non-decreasing, submodular , define its discrete curvature

f

D

D

fVD f

DVff

D

\1max

0,

v

v

fVvki f

vVf

vi

\1max

0,,1

ABABVDVBA DDD 1\,

\12 SS

Page 17: Nash Equilibria in Competitive Societies Eyal Rozenberg Roy Fox

Pure Strategy Equilibrium

In a basic utility system, there is a pure strategy Nash equilibrium

The game graph is acyclic Nodes - pure strategies Edges - improving changes for some

player If player improves from to

i A B

0 ABAB ii

Page 18: Nash Equilibria in Competitive Societies Eyal Rozenberg Roy Fox

Facility Location Problem A bipartite graph

Locations - cost of building a facility Markets - value of serving customers Edges - cost of serving from

k-median problem - restricted action set

For a choice of locations The actual cost of serving is The price charged from is

vc

u

vu u v

u

u

vuAv

u A

min

uu Ap

A

Page 19: Nash Equilibria in Competitive Societies Eyal Rozenberg Roy Fox

Utility Functions

The player is maximizing

No consumer surplus

The player inadvertently maximizes the total surplus

Av

vUu

uu cAApA

0Uu

uu ApA

Av

vUu

uu cAAAA

Page 20: Nash Equilibria in Competitive Societies Eyal Rozenberg Roy Fox

Competitive Version (CFL) Cost for firm of building a facility in Value of serving Cost for firm of serving from

For a choice of locations The cost for firm of serving is The winning firms are The actual cost of serving is The price charged from is

, for some

ivc i

i

i

v

u u

u

u

u

ivu v

A i

vuAv

iu

i

A

min AAI i

uki

u

1minarg

AAp ju

ijkju

,1min

AIi u

u AA iu

kiu

1min

Page 21: Nash Equilibria in Competitive Societies Eyal Rozenberg Roy Fox

Utility Functions in CFL

Denote Firm is maximizing

The consumer surplus is

The total surplus is

ii Av

iv

AUu

iuui cAApA

Uu

uu ApA

k

i Av

iv

Uuuu

k

ii

i

cAAA11

iAIuAU ui :

i

Page 22: Nash Equilibria in Competitive Societies Eyal Rozenberg Roy Fox

CFL Fits the Model

The total surplus is submodular Marginal costs are supermodular

In the absence of fixed costs, the total surplus is non-decreasing

The system is basic When a player joins, the increase in

consumer surplus matches the decrease in the other players’ profits

Page 23: Nash Equilibria in Competitive Societies Eyal Rozenberg Roy Fox

Results for CFL

In the absence of fixed costs

There is a pure strategy Nash equilibrium

These results are tight

SFCSSFCS 2\2

SSS 2\12

Page 24: Nash Equilibria in Competitive Societies Eyal Rozenberg Roy Fox

Selfish Routing There are many copies of each path The amount of flow is the number of

copies chosen by a player Player gains value from each unit

of flow she routes The social utility is the sum of

private utilities

i i

iPp

piiii AlpaaA

Page 25: Nash Equilibria in Competitive Societies Eyal Rozenberg Roy Fox

Selfish Routing Fits the Model

The social surplus is submodular Latencies is supermodular

The 2nd requirement holds The system is valid We can restrict the action sets to

allow only the correct amount of flow

Page 26: Nash Equilibria in Competitive Societies Eyal Rozenberg Roy Fox

Results for Selfish Routing

Choose to get the

Roughgarden-Tardos double-rate result

If is non-decreasing

k

i

is

siis SSS

ii

ii

i1

1\

:

0,max2

SS 2 S

S2

Page 27: Nash Equilibria in Competitive Societies Eyal Rozenberg Roy Fox

Questions?