An MSc in AGT (Algorithmic Game Theory)
INBAL TALGAM-COHEN
An MSc in AGT (Algorithmic Game Theory) INBAL TALGAM-COHEN My - - PowerPoint PPT Presentation
An MSc in AGT (Algorithmic Game Theory) INBAL TALGAM-COHEN My Background MSc from Weizmann Institute (advised by Uri Feige) PhD from Stanford (advised by Tim Roughgarden) Postdoc at Hebrew & TAU (hosted by Noam Nisan and Michal Feldman)
INBAL TALGAM-COHEN
MSc from Weizmann Institute (advised by Uri Feige) PhD from Stanford (advised by Tim Roughgarden) Postdoc at Hebrew & TAU (hosted by Noam Nisan and Michal Feldman) Joined Technion in October 2018 Algorithmic game theorist from the start
INBAL TALGAM-COHEN - AN MSC IN AGT 2
You can: ☺ Find a new way to apply theoretical CS to classic economic models underlying modern markets ☺ Prove a communication complexity lower bound solving a decade-long open problem ☺ Advise government policy makers or industry leaders ☺ Collaborate across disciplines … all in a day’s work!
INBAL TALGAM-COHEN - AN MSC IN AGT 3
INBAL TALGAM-COHEN - AN MSC IN AGT 4
Read papers
Identify a problem Get an initial handle on the problem Write proposal [Then stay open-minded]
Introduce the research area of market design (& industry connections) ➢Research topic 1: simple, approximately-optimal algorithms auctions ➢Research topic 2: a surprising connection between complexity and markets ➢Research topic 3 (time allowing): as-fair-as-possible resource allocation Step back: common theme
INBAL TALGAM-COHEN - AN MSC IN AGT 5
INBAL TALGAM-COHEN - AN MSC IN AGT 6
A fundamental combinatorial problem Input: Resources, agents with different values for resources Output: An allocation of the resources among the agents Objective: (Approximately) optimize welfare [Roy’s talk] / revenue / fairness / … Challenges:
INBAL TALGAM-COHEN - AN MSC IN AGT 7
Objective: Maximize welfare Challenge: Self-interested agents distort information
INBAL TALGAM-COHEN - AN MSC IN AGT 8
□ = $10 △ = $0 2 □ = $10 △ = $0 □ = $2 △ = $1 □ = $12 △ = $1 Agent Agent Resource Resource
INBAL TALGAM-COHEN - AN MSC IN AGT 9
Market Design Markets/ mechanisms Algorithms/
Theory of optimizing a centralized objective (like welfare) subject to constraints Theory of aligning self-interests with centralized objective by engineering the market Theory of allocating resources among self-interested agents with private information
INBAL TALGAM-COHEN - AN MSC IN AGT 10
1960s-80s: Theoretical foundations Nobel prizes: Mirrlees-Vickrey’96 Hurwicz-Maskin-Myerson’07 Shapley-Roth’12 1990s-00s: New needs Computerized,
transform resource allocation Now & future: New theory and solutions Economics and game theory join forces with CS theory
Online ad auctions Matching platforms E- commerce Cloud computing Network protocols Crowd- sourcing
INBAL TALGAM-COHEN - AN MSC IN AGT 11
[Roughgarden-T.C.-Yan] [Eden-Feldman-Friedler-T.C.-Weinberg]
INBAL TALGAM-COHEN - AN MSC IN AGT 12
There exist simple optimal auctions
“2ndPrice” auction
INBAL TALGAM-COHEN - AN MSC IN AGT 13
8 3 price = 5 5
Even with single agent and resource, unclear how to price Necessary assumption: value drawn from distribution 𝐺
INBAL TALGAM-COHEN - AN MSC IN AGT 14
△ = ? △ = $10 Agent Seller
INBAL TALGAM-COHEN - AN MSC IN AGT 15
𝐺(𝑤) 𝑤 1 100 0.99 price=1 price=99 99% purchase at price=1 0.99
INBAL TALGAM-COHEN - AN MSC IN AGT 16
Multiple agents
Multiple resources
Auctions are the standard tool for resource allocation in these settings
Agent may:
INBAL TALGAM-COHEN - AN MSC IN AGT 17
𝐺
1
𝐺
𝑘
𝑤1 ∼ 𝐺
1
… … 𝐺
𝑛
INBAL TALGAM-COHEN - AN MSC IN AGT 18
… 𝑤𝑗𝑘 ∼ 𝐺
𝑘
… 𝐺
1
𝐺
𝑘
… … 𝐺
𝑛
Optimal auction design: [Laffont-et-al’87, McAfee-McMillan’88, Armstrong’96, Manelli-Vincent’06, Hart- Reny’12, Cai-et-al’12, Daskalakis-et-al’13, Giannakopoulos-Koutsoupias’14, Haghpanah-Hartline’15, Devanur-et-al’16…] Approximately-optimal auction design: [Briest-et-al’10, Chawla-et-al’10, Alaei’11, Hart-Nisan’12, Li-Yao’13, Cai- Huang’13, Babaioff-et-al’14, Yao’15, Rubinstein-Weinberg’15, Chawla- Miller’16…]
INBAL TALGAM-COHEN - AN MSC IN AGT 19
How to maximize revenue from selling multiple items?
What’s known after 3 decades:
Intuition: Cannot maximize revenue item by item
INBAL TALGAM-COHEN - AN MSC IN AGT 20
How to maximize revenue from selling multiple items? Our contribution: alternative approach based on competition
First idea: What if we run the welfare-maximizing auction?
Second idea: What if we run it with extra competing agents?
Approach inspired by [Sleator-Tarjan’84, Bulow-Klemperer’96]
INBAL TALGAM-COHEN - AN MSC IN AGT 21
With mild extra competition, revenue “reduces to” welfare Theorem: 𝑛 items, agents with i.i.d. values drawn from 𝐺
1, … , 𝐺 𝑛
INBAL TALGAM-COHEN - AN MSC IN AGT 22
𝔽[2ndPrice revenue] 𝔽[OPT𝐺
1,…,𝐺 𝑛 revenue]
≥ with 𝑜 + linear(𝑛, 𝑜) agents with 𝑜 agents
Revenue-optimal auction (depends on 𝐺
1, … , 𝐺 𝑛, complex)
≈ Welfare-optimal auction with extra agents (oblivious to 𝐺
1, … , 𝐺 𝑛)
INBAL TALGAM-COHEN - AN MSC IN AGT 23
𝐺
1
𝐺
𝑛
… … 𝑛
“In practice, auction designers place a tremendous value on the simplicity of an auction’s design Simplicity helps attract participants into the auction Hardly anything matters more”
[Milgrom‘04] ➢Extra agents – plausible ➢Our results also translate to standard approximation guarantees
INBAL TALGAM-COHEN - AN MSC IN AGT 24
“The statistics of the data we observe shifts rapidly”
[Google Research white paper]
“Precise [distributional] knowledge is rarely available in practice”
[Bertsimas-Thiele’06] ➢For multiple items, even perfect knowledge of the distributions doesn’t help
INBAL TALGAM-COHEN - AN MSC IN AGT 25
1. Upper-bound expected revenue of OPT from item 𝑘 2. Lower-bound expected revenue of 2ndPrice from item 𝑘 3. Relate the bounds by coupling values for 𝑛 items with values of 𝑛 agents
INBAL TALGAM-COHEN - AN MSC IN AGT 26
Result statement: 2ndPrice with 1 + 𝑛 agents ≥ OPT with 1 agent
… … … …
[Roughgarden-T.C.]
INBAL TALGAM-COHEN - AN MSC IN AGT 27
Over-demand Demand = □
INBAL TALGAM-COHEN - AN MSC IN AGT 28
□ = $10 △ = $0 □ = $2 △ = $1 Agent Agent Price=$1 Price=$1 Marketplace Demand = □ Price=$2 Price=$0 Demand = Supply Demand = △
Definition: A pair (allocation, prices) such that
Equivalently: Given the prices, the allocation simultaneously maximizes
→ Equilibrium allocations maximize welfare
INBAL TALGAM-COHEN - AN MSC IN AGT 29
ADAM SMITH’S INVISIBLE HAND ALAN TURING’S INVISIBLE HAND?
INBAL TALGAM-COHEN - AN MSC IN AGT 30
Existence guaranteed with item prices if agents value items as substitutes Major open problem: When else is existence guaranteed? I.e., for which classes
Teytelboym’13, Ben-Zwi’13, Sun-Yang’14, Candogan’14, Candogan-Pekec’14, Candogan’15…]
INBAL TALGAM-COHEN - AN MSC IN AGT 31
Traditional complexity theory studies the trade-off between an algorithm’s complexity and the solution’s quality Need theory on the trade-off between an equilibrium’s complexity and its existence guarantees Our contribution: A connection between non-existence of a simple equilibrium, and computational complexity
INBAL TALGAM-COHEN - AN MSC IN AGT 32
Centralized algorithm Resource allocation problem Solution (an allocation) Decentralized market equilibrium
Theorem: A necessary condition for existence of market equilibrium with item prices for all markets with valuations from class 𝒲: DEMAND not computationally easier than MAX-WELFARE for 𝒲 DEMAND:
Corollary: If assuming P ≠ NP, DEMAND is easier than MAX-WELFARE for 𝒲, then there exists a market with valuations from 𝒲 and no simple equilibrium
INBAL TALGAM-COHEN - AN MSC IN AGT 33
𝑞5 𝑞4 𝑞3 𝑞2 𝑞1
Let 𝒲 be the class of capped-additive valuations
INBAL TALGAM-COHEN - AN MSC IN AGT 34
DEMAND 𝑑 𝑤1 𝑤2 𝑤3 𝑤4 𝑤5
Let 𝒲 be the class of capped-additive valuations
INBAL TALGAM-COHEN - AN MSC IN AGT 35
𝑑1 𝑑2 𝑑3 𝑑4
Assuming P ≠ NP, for polynomially-bounded values: → There exists a market with capped-additive valuations and no equilibrium
INBAL TALGAM-COHEN - AN MSC IN AGT 36
NP (hard)
h
P (easy) MAX-WELFARE DEMAND
➢Computational complexity applies directly to the fundamental economic question of equilibrium existence; ➢It offers a systematic approach for establishing equilibrium non-existence based on algorithmic aspects of the market.
INBAL TALGAM-COHEN - AN MSC IN AGT 37
[Babaioff-Nisan-T.C.]
INBAL TALGAM-COHEN - AN MSC IN AGT 38
Indivisible items need to be allocated among 2 additive agents without the use
Objective: Fairness Example: Food banks
INBAL TALGAM-COHEN - AN MSC IN AGT 39
Give agents equal budgets of artificial money Find a market equilibrium [Notice DEMAND changes a bit: agents maximize value subject to budget rather than value minus payment] Intuitively fair – agents face the same prices Formally fair – fair-share and envy-freeness guarantees
INBAL TALGAM-COHEN - AN MSC IN AGT 40
Complication 1: Indivisible items
Complication 2: Agents can be a priori unequal
INBAL TALGAM-COHEN - AN MSC IN AGT 41
Budget = ½ Budget = ½ Price ≤ ½ → over-demand Price > ½ → under-demand
INBAL TALGAM-COHEN - AN MSC IN AGT 42
Give agents budgets of artificial money proportional to their entitlements Add tiny random perturbations to the budgets Find a market equilibrium We call this “equilibrium with generic budgets” Budget = ½+𝜗 Budget = ½-𝜗 Price = ½ → demand=supply
INBAL TALGAM-COHEN - AN MSC IN AGT 43
Definition: An agent’s maximin share is any set of items she values at least as much as the set she can guarantee for herself via the cut-and-choose protocol The cutter maximizes her minimum, hence “maximin share” 𝑤1,1 = 5 𝑤1,2 = 3 𝑤1,3 = 2
Maximin share and cut-and-choose generalize by allowing:
Example: Consider agent 1 with budget 1/3; cuts into 3 parts; agent 2 chooses 2
INBAL TALGAM-COHEN - AN MSC IN AGT 44
𝑤1,1 = 5 𝑤1,2 = 3 𝑤1,3 = 2
Proposition: Consider a market equilibrium for agents with budgets 𝑐1, … , 𝑐𝑜. For every agent 𝑗 with budget 𝑐𝑗 and any rational number
ℓ 𝑒 ≤ 𝑐𝑗,
the equilibrium allocation gives agent 𝑗 his ℓ-out-of-𝑒 maximin share.
INBAL TALGAM-COHEN - AN MSC IN AGT 45
Theorem: Consider 2 additive agents. An equilibrium with generic budgets exists in several cases of interest:
INBAL TALGAM-COHEN - AN MSC IN AGT 46
Does an equilibrium with generic budgets always exist? Does a non-equilibrium allocation satisfying our fairness guarantee always exist?
INBAL TALGAM-COHEN - AN MSC IN AGT 47
INBAL TALGAM-COHEN - AN MSC IN AGT 48
Auctions for maximizing revenue
Market equilibrium
INBAL TALGAM-COHEN - AN MSC IN AGT 49
Fair resource allocation
INBAL TALGAM-COHEN - AN MSC IN AGT 50
Market design Online markets Socio-economic implications Interdisciplinary approach Thank you for listening! Questions?
INBAL TALGAM-COHEN - AN MSC IN AGT 51