Log-time Prediction Markets for Interval Securities

We design a prediction market to recover a complete and fully general probability distribution over a continuous random variable. Traders buy and sell interval securities, or binary contracts that pay $1 if the outcome falls into an interval and $0 otherwise. We allow traders to express any interval endpoint of arbitrary precision, in service of recovering distributions of any complex shape and number of modes. Our market takes the form of a central automated market maker offering prices for every interval security that traders propose. All market operations can be achieved in time logarithmic in the number of outcomes (that traders distinguish), providing the first computationally efficient market for a continuous variable. We present two designs. The first replicates the popular logarithmic market scoring rule (LMSR) exactly, keeping its bounded-loss guarantee, while utilizing a balanced binary tree to execute all operations exponentially faster than standard LMSR markets. We exploit modularity properties of LMSR to decompose computations along nodes of the tree. The second features two or more parallel LMSR market makers that mediate submarkets with increasingly fine-grained outcome partitions. This design remains computationally efficient for all operations, including arbitrage removal across submarkets, and adds two additional benefits: (1) the ability to flexibly express utility for information at various resolutions by assigning different liquidity values, and (2) the ability to guarantee true constant bounded loss by geometrically decreasing the liquidity in each submarket. We conduct simulation experiments to illustrate the flexibility of our second design, showing that it can converge fast at both coarse and fine resolutions, whereas standard LMSR markets need to pick the preferred outcome resolution ex ante.

[1]  R. Hanson LOGARITHMIC MARKETS CORING RULES FOR MODULAR COMBINATORIAL INFORMATION AGGREGATION , 2012 .

[2]  Jacob D. Abernethy,et al.  Information aggregation in exponential family markets , 2014, EC.

[3]  Jennifer Wortman Vaughan,et al.  An optimization-based framework for automated market-making , 2010, EC '11.

[4]  Miroslav Dudík,et al.  A Decomposition of Forecast Error in Prediction Markets , 2017, NIPS.

[5]  Timothy J. Purcell Sorting and searching , 2005, SIGGRAPH Courses.

[6]  David M. Pennock,et al.  A Utility Framework for Bounded-Loss Market Makers , 2007, UAI.

[7]  Kathryn B. Laskey,et al.  Graphical Model Market Maker for Combinatorial Prediction Markets , 2018, J. Artif. Intell. Res..

[8]  Xin-She Yang,et al.  Introduction to Algorithms , 2021, Nature-Inspired Optimization Algorithms.

[9]  Tuomas Sandholm,et al.  Automated Market Makers That Enable New Settings: Extending Constant-Utility Cost Functions , 2011, AMMA.

[10]  Lance Fortnow,et al.  Betting on permutations , 2007, EC '07.

[11]  David M. Pennock,et al.  An Efficient Monte-Carlo Algorithm for Pricing Combinatorial Prediction Markets for Tournaments , 2011, IJCAI.

[12]  Robin Hanson,et al.  Combinatorial Information Market Design , 2003, Inf. Syst. Frontiers.

[13]  Miroslav Dudík,et al.  A tractable combinatorial market maker using constraint generation , 2012, EC '12.

[14]  Mingyu Guo,et al.  Combinatorial prediction markets for event hierarchies , 2009, AAMAS.

[15]  Pushkar Mishra On Updating and Querying Sub-arrays of Multidimensional Arrays , 2013, ArXiv.

[16]  David M. Pennock,et al.  Betting on the Real Line , 2009, WINE.

[17]  Sanmay Das,et al.  Instructor Rating Markets , 2013, AAAI.

[18]  Lance Fortnow,et al.  Complexity of combinatorial market makers , 2008, EC '08.

[19]  Tuomas Sandholm,et al.  Automated market-making in the large: the gates hillman prediction market , 2010, EC '10.

[20]  David M. Pennock,et al.  Pricing combinatorial markets for tournaments , 2008, STOC.

[21]  Charles R. Plott,et al.  Information Aggregation Mechanisms: Concept, Design and Implementation for a Sales Forecasting Problem , 2002 .

[22]  David M. Pennock,et al.  A practical liquidity-sensitive automated market maker , 2010, EC '10.

[23]  M. V. Wilkes,et al.  The Art of Computer Programming, Volume 3, Sorting and Searching , 1974 .

[24]  M. AdelsonVelskii,et al.  AN ALGORITHM FOR THE ORGANIZATION OF INFORMATION , 1963 .