Research Combinatorial Betting David Pennock Joint with: Yiling Chen, Lance Fortnow, Sharad Goel, Joe Kilian, Nicolas Lambert, Eddie Nikolova, Mike Wellman,

Slides:



Advertisements
Similar presentations
Prediction Markets at Yahoo! David Pennock Yiling Chen, Tej Kasturi, Havi Hoffman, Dan Reeves Chao-Hsien Chu, Sandip Debnath, Mike Dooley, Rael Dornfest,
Advertisements

Hansons Market Scoring Rules Robin Hanson, Logarithmic Market Scoring Rules for Modular Combinatorial Information Aggregation, Robin Hanson, Combinatorial.
Prediction Markets J. Berg, R. Forsythe, F. Nelson and T. Rietz, Results from a Dozen Years of Election Futures Markets Research, B. Cowgill, J.
Research Labs A Dynamic Pari-Mutuel Market for Hedging, Wagering, and Information Aggregation David M. Pennock Mike Dooley Previous Version Appears in.
Combinatorial Betting Rick Goldstein and John Lai.
Presented By: Ofir Chen Based on: Designing Markets for Prediction by Yilling Chen and David M. Pennock 2010.
Non myopic strategy Truth or Lie?. Scoring Rules One important feature of market scoring rules is that they are myopic strategy proof. That means that.
The Voting Problem: A Lesson in Multiagent System Based on Jose Vidal’s book Fundamentals of Multiagent Systems Henry Hexmoor SIUC.
Optimal auction design Roger Myerson Mathematics of Operations research 1981.
Game Theory 1. Game Theory and Mechanism Design Game theory to analyze strategic behavior: Given a strategic environment (a “game”), and an assumption.
Markets As a Forecasting Tool Yiling Chen School of Engineering and Applied Sciences Harvard University Based on work with Lance Fortnow, Sharad Goel,
Seminar In Game Theory Algorithms, TAU, Agenda  Introduction  Computational Complexity  Incentive Compatible Mechanism  LP Relaxation & Walrasian.
Research Prediction Markets and the Wisdom of Crowds David Pennock Yahoo! Research NYC.
Research Virtual Currency Case Study: Prediction Markets David M. Pennock Yahoo! Research.
© newsfutures 1 Prediction Markets: Collective Work Prediction Markets Collective Work Emile Servan-Schreiber, PhD NewsFutures.
Prediction Markets & Information Aggregation Yiling Chen, Harvard SEAS.
Introduction to Probability and Risk in Financial Investment
Agent Technology for e-Commerce Chapter 10: Mechanism Design Maria Fasli
1 Information Markets & Decision Makers Yiling Chen Anthony Kwasnica Tracy Mullen Penn State University This research was supported by the Defense Advanced.
An Experimental Test of Information & Decision Markets Robin Hanson, Takashi Ishikida and John Ledyard Caltech 2/4/ minute presentation!
Prediction Markets: Tapping the Wisdom of Crowds Yiling Chen Yahoo! Research February 3, 2008.
Automated Mechanism Design: Complexity Results Stemming From the Single-Agent Setting Vincent Conitzer and Tuomas Sandholm Computer Science Department.
A Unified Framework for Dynamic Pari-mutuel Information Market Yinyu Ye Stanford University Joint work with Agrawal (CS), Delage (EE), Peters (MS&E), and.
Information Aggregation: Experiments and Industrial Applications Kay-Yut Chen HP Labs.
CPS Securities & Expressive Securities Markets Vincent Conitzer
1 Computation in a Distributed Information Market Joan Feigenbaum (Yale) Lance Fortnow (NEC Labs) David Pennock (Overture) Rahul Sami (Yale)
Truthfulness and Approximation Kevin Lacker. Combinatorial Auctions Goals – Economically efficient – Computationally efficient Problems – Vickrey auction.
Economic Natural Selection David Easley Cornell University June 2007.
Computational aspects of stability in weighted voting games Edith Elkind (NTU, Singapore) Based on joint work with Leslie Ann Goldberg, Paul W. Goldberg,
A Utility Framework for Bounded-Loss Market Makers
Gaming Prediction Markets: Equilibrium Strategies with a Market Maker Yilin Chen, Daniel M. Reeves, David M. Pennock, Robin D. Hanson, Lance Fortnow, Rica.
More Competitive Balance. Invariance Principle Owners in baseball have made the claim that free agency has changed the competitive balance in baseball.
Collective Revelation: A Mechanism for Self-Verified, Weighted, and Truthful Predictions Sharad Goel, Daniel M. Reeves, David M. Pennock Presented by:
Learning dynamics,genetic algorithms,and corporate takeovers Thomas H. Noe,Lynn Pi.
Introduction to Auctions David M. Pennock. Auctions: yesterday Going once, … going twice,...
COMP14112: Artificial Intelligence Fundamentals L ecture 3 - Foundations of Probabilistic Reasoning Lecturer: Xiao-Jun Zeng
Jake Bernstein CSTA/MTA Annual Conference Toronto 6-7 December 2010 High Odds Patterns in Stocks and Futures 100% Rule-Based Trading.
Research Computational Aspects of Prediction Markets David M. Pennock, Yahoo! Research Yiling Chen, Lance Fortnow, Joe Kilian, Evdokia Nikolova, Rahul.
CPS 173 Mechanism design Vincent Conitzer
Multi-Unit Auctions with Budget Limits Shahar Dobzinski, Ron Lavi, and Noam Nisan.
The Multiplicative Weights Update Method Based on Arora, Hazan & Kale (2005) Mashor Housh Oded Cats Advanced simulation methods Prof. Rubinstein.
Economics of Information
Research Prediction Markets and the Wisdom of Crowds David Pennock, Yahoo! Research Joint with: Yiling Chen, Varsha Dani, Lance Fortnow, Ryan Fugger, Brian.
A tractable combinatorial market maker using constraint generation MIROSLAV DUDÍK, SEBASTIEN LAHAIE, DAVID M. PENNOCK Microsoft Research Thanks: David.
Copyright © 2004 South-Western 27 The Basic Tools of Finance.
Pricing Combinatorial Markets for Tournaments Presented by Rory Kulz.
Mechanism Design CS 886 Electronic Market Design University of Waterloo.
Lecture 3 Secondary Equity Markets - I. Trading motives Is it a zero-sum game? Building portfolio for a long run. Trading on information. Short-term speculation.
Yang Cai Oct 08, An overview of today’s class Basic LP Formulation for Multiple Bidders Succinct LP: Reduced Form of an Auction The Structure of.
Market Design and Analysis Lecture 5 Lecturer: Ning Chen ( 陈宁 )
Approximating Market Equilibria Kamal Jain, Microsoft Research Mohammad Mahdian, MIT Amin Saberi, Georgia Tech.
Mechanism design. Goal of mechanism design Implementing a social choice function f(u 1, …, u |A| ) using a game Center = “auctioneer” does not know the.
An Introduction to Prediction Markets (a.k.a. Idea Futures, Decision Markets, Information Markets, and Event Markets) Presented by: Muhammad Daniyal Shafiq.
Complexity of Determining Nonemptiness of the Core Vincent Conitzer, Tuomas Sandholm Computer Science Department Carnegie Mellon University.
Automated Mechanism Design Tuomas Sandholm Presented by Dimitri Mostinski November 17, 2004.
1 Civil Systems Planning Benefit/Cost Analysis Scott Matthews Courses: / / Lecture 12.
Smarter Markets: Bringing Intelligence into the Exchange Example: Smarter Prediction Markets David Pennock Microsoft Research.
Market Madness: Implementing a 9.2 quintillion outcome prediction market David Pennock.
1 Computation in a Distributed Information Market Joan Feigenbaum (Yale) Lance Fortnow (NEC Labs) David Pennock (Overture) Rahul Sami (Yale) To appear.
Dr. Scott Brown Stock Options. Principle 1: Lower Strike calls (and higher strike puts) must be more expensive For a Call Option, a lower strike price.
An Introduction to Prediction Markets (a.k.a. Idea Futures, Decision Markets, Information Markets, and Event Markets) alex kirtland / UsableMarkets 25.
Non-LP-Based Approximation Algorithms Fabrizio Grandoni IDSIA
Lecture 4 on Auctions Multiunit Auctions We begin this lecture by comparing auctions with monopolies. We then discuss different pricing schemes for selling.
Securities & Expressive Securities Markets
CPS Mechanism design Michael Albert and Vincent Conitzer
US Election Prediction Markets: Applications of Parimutuel Call Auction Mechanisms Mark Peters November 25, /22/2018.
Prediction Markets Collective Work
Prediction Markets and the Wisdom of Crowds
Vincent Conitzer Mechanism design Vincent Conitzer
Vincent Conitzer CPS 173 Mechanism design Vincent Conitzer
Presentation transcript:

Research Combinatorial Betting David Pennock Joint with: Yiling Chen, Lance Fortnow, Sharad Goel, Joe Kilian, Nicolas Lambert, Eddie Nikolova, Mike Wellman, Jenn Wortman

Research Bet = Credible Opinion Which is more believable? More Informative? Betting intermediaries Las Vegas, Wall Street, Betfair, Intrade,... Prices: stable consensus of a large number of quantitative, credible opinions Excellent empirical track record Hillary Clinton will win the election “I bet $100 Hillary will win at 1 to 2 odds”

Research Combinatorics Example March Madness

Research Typical today Non-combinatorial Team wins Rnd 1 Team wins Tourney A few other “props” Everything explicit (By def, small #) Every bet indep: Ignores logical & probabilistic relationships Combinatorial Any property Team wins Rnd k Duke > {UNC,NCST} ACC wins 5 games possible props (implicitly defined) 1 Bet effects related bets “correctly”; e.g., to enforce logical constraints

Expressiveness: Getting Information Things you can say today: –(43% chance that) Hillary wins –GOP wins Texas –YHOO stock > 30 Dec 2007 –Duke wins NCAA tourney Things you can’t say (very well) today: –Oil down, DOW up, & Hillary wins –Hillary wins election, given that she wins OH & FL –YHOO btw 25.8 & 32.5 Dec 2007 –#1 seeds in NCAA tourney win more than #2 seeds

Expressiveness: Processing Information Independent markets today: –Horse race win, place, & show pools –Stock options at different strike prices –Every game/proposition in NCAA tourney –Almost everything: Stocks, wagers, intrade,... Information flow (inference) left up to traders Better: Let traders focus on predicting whatever they want, however they want: Mechanism takes care of logical/probabilistic inference Another advantage: Smarter budgeting

Research A (Non-Combinatorial) Prediction Market Take a random variable, e.g. Turn it into a financial instrument payoff = realized value of variable $1 if$0 if I am entitled to: Bird Flu Outbreak US 2007? (Y/N) Bird Flu US ’07

Research Why? Get information price  probability of uncertain event (in theory, in the lab, in the field,...next slide) Is there some future event you’d like to forecast? A prediction market can probably help

Does it work?  Yes, evidence from real markets, laboratory experiments, and theory  Racetrack odds beat track experts [Figlewski 1979]  Orange Juice futures improve weather forecast [Roll 1984]  I.E.M. beat political polls 451/596 [Forsythe 1992, 1999][Oliven 1995][Rietz 1998][Berg 2001][Pennock 2002]  HP market beat sales forecast 6/8 [Plott 2000]  Sports betting markets provide accurate forecasts of game outcomes [Gandar 1998][Thaler 1988][Debnath EC’03][Schmidt 2002]  Market games work [Servan-Schreiber 2004][Pennock 2001]  Laboratory experiments confirm information aggregation [Plott 1982;1988;1997][Forsythe 1990][Chen, EC’01]  Theory: “rational expectations” [Grossman 1981][Lucas 1972] [Thanks: Yiling Chen]

Research Screen capture 2007/05/18

Screen capture 2007/05/18

Research Intrade Election Coverage

Combinatorics 1 of 2: Boolean Logic Outcomes: All 2 n possible combinations of n Boolean events Betting language Buy q units of “$1 if Boolean Formula” at price p –General: Any Boolean formula (2 2 n possible) A & not(B)  (A&C||F) | (D&E) Oil rises & Hillary wins | Guiliani GOP nom & housing falls Eastern teams win more games than Western in Tourney –Restricted languages we study Restricted tournament language Team A wins in round i ; Team A beats B, given they meet 3-clauses: A & not(C) & F

Combinatorics 2 of 2: Permutations Outcomes: All possible n! rank orderings of n objects (horse race) Betting language Buy q units of “$1 if Property” at price p –General: Any property of ordering A wins  A finishes in pos 3,4, or 10th A beats D  2 of {B,D,F} beat A –Restricted languages we study Subset betting A finishes in pos 3-5 or 9; A,D,or F finish 3rd Pair betting A beats F

Research Predicting Permutations Predict the ordering of a set of statistics Horse race finishing times Number of votes for several candidates Daily stock price changes NFL Football quarterback passing yards Any ordinal prediction Chen, Fortnow, Nikolova, Pennock, EC’07

Research Market Combinatorics Permutations A > B > C.1 A > C > B.2 B > A > C.1 B > C > A.3 C > A > B.1 C > B > A.2

Research Market Combinatorics Permutations D > A > B > C.01 D > A > C > B.02 D > B > A > C.01 A > D > B > C.01 A > D > C > B.02 B > D > A > C.05 A > B > D > C.01 A > C > D > B.2 B > A > D > C.01 A > B > C > D.01 A > C > B > D.02 B > A > C > D.01 D > B > C > A.05 D > C > A > B.1 D > C > B > A.2 B > D > C > A.03 C > D > A > B.1 C > D > B > A.02 B > C > D > A.03 C > A > D > B.01 C > B > D > A.02 B > C > D > A.03 C > A > D > B.01 C > B > D > A.02

Research Bidding Languages Traders want to bet on properties of orderings, not explicitly on orderings: more natural, more feasible A will win ; A will “show” A will finish in [4-7] ; {A,C,E} will finish in top 10 A will beat B ; {A,D} will both beat {B,C} Buy 6 units of “$1 if A>B” at price $0.4 Supported to a limited extent at racetrack today, but each in different betting pools Want centralized auctioneer to improve liquidity & information aggregation

Research Auctioneer Problem Auctioneer’s goal: Accept orders with non-negative worst-case loss (auctioneer never loses money) The Matching Problem Formulated as LP Generalization: Market Maker Problem: Accept orders with bounded worst-case loss (auctioneer never loses more than b dollars)

Research Example A three-way match Buy 1 of “$1 if A>B” for 0.7 Buy 1 of “$1 if B>C” for 0.7 Buy 1 of “$1 if C>A” for 0.7 A B C

Research Pair Betting All bets are of the form “A will beat B” Cycle with sum of prices > k-1 ==> Match (Find best cycle: Polytime) Match =/=> Cycle with sum of prices > k-1 Theorem: The Matching Problem for Pair Betting is NP-hard (reduce from min feedback arc set)

Research Subset Betting All bets are of the form “A will finish in positions 3-7”, or “A will finish in positions 1,3, or 10”, or “A, D, or F will finish in position 2” Theorem: The Matching Problem for Subset Betting is polytime (LP + maximum matching separation oracle)

Research Market Combinatorics Boolean Betting on complete conjunctions is both unnatural and infeasible $1 if A1&A2&…&An I am entitled to: $1 if A1&A2&…&An I am entitled to: $1 if A1&A2&…&An I am entitled to: $1 if A1&A2&…&An I am entitled to: $1 if A1&A2&…&An I am entitled to: $1 if A1&A2&…&An I am entitled to: $1 if A1&A2&…&An I am entitled to: $1 if A1&A2&…&An I am entitled to:

Research Market Combinatorics Boolean A bidding language: write your own security For example Offer to buy/sell q units of it at price p Let everyone else do the same Auctioneer must decide who trades with whom at what price… How? (next) More concise/expressive; more natural $1 if Boolean_fn | Boolean_fn I am entitled to: $1 if A1 | A2 I am entitled to: $1 if (A1&A7)||A13 | (A2||A5)&A9 I am entitled to: $1 if A1&A7 I am entitled to:

Research The Matching Problem There are many possible matching rules for the auctioneer A natural one: maximize trade subject to no-risk constraint Example: buy 1 of for $0.40 sell 1 of for $0.10 sell 1 of for $0.20 No matter what happens, auctioneer cannot lose money $1 if A1 $1 if A1&A2 trader gets $$ in state: A1A2 A1A2 A1A2 A1A

Research Complexity Results Divisible orders: will accept any q*  q Indivisible: will accept all or nothing Natural algorithms divisible: linear programming indivisible: integer programming; logical reduction? # eventsdivisibleindivisible O(log n)polynomialNP-complete O(n) co-NP-complete  2 p complete reduction from SAT reduction from X3C reduction from T  BF Fortnow; Kilian; Pennock; Wellman LP

Research Automated Market Makers A market maker (a.k.a. bookmaker) is a firm or person who is almost always willing to accept both buy and sell orders at some prices Why an institutional market maker? Liquidity! Without market makers, the more expressive the betting mechanism is the less liquid the market is (few exact matches) Illiquidity discourages trading: Chicken and egg Subsidizes information gathering and aggregation: Circumvents no-trade theorems Market makers, unlike auctioneers, bear risk. Thus, we desire mechanisms that can bound the loss of market makers Market scoring rules [Hanson 2002, 2003, 2006] Dynamic pari-mutuel market [Pennock 2004] [Thanks: Yiling Chen]

Research Automated Market Makers n disjoint and exhaustive outcomes Market maker maintain vector Q of outstanding shares Market maker maintains a cost function C(Q) recording total amount spent by traders To buy ΔQ shares trader pays C(Q+ ΔQ) – C(Q) to the market maker; Negative “payment” = receive money Instantaneous price functions are At the beginning of the market, the market maker sets the initial Q 0, hence subsidizes the market with C(Q 0 ). At the end of the market, C(Q f ) is the total money collected in the market. It is the maximum amount that the MM will pay out. [Thanks: Yiling Chen]

Research New Results in Pipeline: Pricing LMSR market maker Subset betting on permutations is #P-hard (call market polytime!) Pair betting on permutations is #P-hard? 3-clause Boolean betting #P-hard? 2-clause Boolean betting #P-hard? Restricted tourney betting is polytime (uses Bayesian network representation) Approximation techniques for general case

Overview: Complexity Results PermutationsBoolean GeneralPairSubsetGeneral3 (2?) clause Restrict Tourney Call Market NP-hard Polyco-NP- complete ?? Market Maker (LMSR) #P-hard? #P-hard? Poly

March Madness bet constructor Bet on any team to win any game –Duke wins in Final 4 Bet “exotics”: –Duke advances further than UNC –ACC teams win at least 5 –A 1-seed will lose in 1st round

Research Dynamic Parimutuel Market: An Automated Market Maker

Research What is a pari-mutuel market? E.g. horse racetrack style wagering Two outcomes: A B Wagers: AB

Research What is a pari-mutuel market? E.g. horse racetrack style wagering Two outcomes: A B Wagers: AB 

Research What is a pari-mutuel market? E.g. horse racetrack style wagering Two outcomes: A B Wagers: AB 

Research What is a pari-mutuel market? Before outcome is revealed, “odds” are reported, or the amount you would win per dollar if the betting ended now Horse A: $1.2 for $1; Horse B: $25 for $1; … etc. Strong incentive to wait payoff determined by final odds; every $ is same Should wait for best info on outcome, odds  No continuous information aggregation  No notion of “buy low, sell high” ; no cash-out

Research Pari-Mutuel Market Basic idea

Research Dynamic Parimutuel Market C(1,2)=2.2 C(2,2)=2.8 C(2,3)=3.6 C(2,4)=4.5 C(2,5)=5.4 C(2,6)=6.3 C(2,7)=7.3 C(2,8)=8.2 C(3,8)=8.5 C(4,8)=8.9 C(5,8)=9.4

Research Share-ratio price function One can view DPM as a market maker Cost Function: Price Function: Properties No arbitrage price i /price j = q i /q j price i < $1 payoff if right = C(Q final )/q o > $1

Research Mech Design for Prediction Financial MarketsPrediction Markets PrimarySocial welfare (trade) Hedging risk Information aggregation SecondaryInformation aggregationSocial welfare (trade) Hedging risk

Research Mech Design for Prediction Standard Properties Efficiency Inidiv. rationality Budget balance Revenue Truthful (IC) Comp. complexity Equilibrium General, Nash,... PM Properties #1: Info aggregation Expressiveness Liquidity Bounded budget Truthful (IC) Indiv. rationality Comp. complexity Equilibrium Rational expectations Competes with: experts, scoring rules, opinion pools, ML/stats, polls, Delphi