Betting boolean-style: a framework for trading in securities based on logical formulas

We develop a framework for trading in compound securities: financial instruments that pay off contingent on the outcomes of arbitrary statements in propositional logic. Buying or selling securities---which can be thought of as betting on or against a particular future outcome---allows agents both to hedge risk and to profit (in expectation) on subjective predictions. A compound securities market allows agents to place bets on arbitrary boolean combinations of events, enabling them to more closely achieve their optimal risk exposure, and enabling the market as a whole to more closely achieve the social optimum.The tradeoff for allowing such expressivity is in the complexity of the agents' and auctioneer's optimization problems.We develop and motivate the concept of a compound securities market, presenting the framework through a series of formal definitions and examples. We then analyze in detail the auctioneer's matching problem. We show that, with numevents events, the matching problem is co-NP-complete in the divisible case and complete in the indivisible case. We show that the latter hardness result holds even under severe language restrictions on bids. With events, and numevents securities, the problem is polynomial in the divisible case and NP-complete in the indivisible case. We briefly discuss matching algorithms and tractable special cases.

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

[2]  Robert Forsythe,et al.  Anatomy of an Experimental Political Stock Market , 1992 .

[3]  K. Arrow.  The Role of Securities in the Optimal Allocation of Risk-bearing , 1964 .

[4]  Thomas A. Rietz,et al.  Wishes, expectations and actions: a survey on price formation in election stock markets , 1999 .

[5]  Jacques H. Dreze,et al.  Market allocation under uncertainty , 1970 .

[6]  Paula J. Brewer.  Decentralized computation procurement and computational robustness in a smart market , 1999 .

[7]  David Levine,et al.  Winner determination in combinatorial auction generalizations , 2002, AAMAS '02.

[8]  Noam Nisan,et al.  Bidding and allocation in combinatorial auctions , 2000, EC '00.

[9]  Russell J. Lundholm,et al.  Information Aggregation in an Experimental Market. , 1990 .

[10]  David M. Pennock,et al.  The Real Power of Artificial Markets , 2001, Science.

[11]  Ronald Fagin,et al.  A logic for reasoning about probabilities , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[12]  Jacques Drèze.  Essays on economic decisions under uncertainty: Market allocation under uncertainty , 1987 .

[13]  H. Varian.  The Arbitrage Principle in Financial Economics , 1987 .

[14]  Sandip Debnath,et al.  Information incorporation in online in-Game sports betting markets , 2003, EC '03.

[15]  Leslie R. Fine,et al.  Inducing liquidity in thin financial markets through combined-value trading mechanisms , 2002 .

[16]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems , 1988 .

[17]  Raymond E. Miller,et al.  Complexity of Computer Computations , 1972 .

[18]  R. L. Winkler,et al.  Separating probability elicitation from utilities , 1988 .

[19]  H. Jeffreys,et al.  The Theory of Probability , 1896 .

[20]  Axel Werwatz,et al.  How accurate do markets predict the outcome of an event? The Euro 2000 soccer championships experiment , 2002 .

[21]  C. Plott,et al.  Rational Expectations and the Aggregation of Diverse Information in Laboratory Security Markets , 1988 .

[22]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[23]  David M. Pennock,et al.  Extracting collective probabilistic forecasts from web games , 2001, KDD '01.

[24]  M. Quinzii,et al.  Theory of incomplete markets , 1996 .

[25]  Richard M. Karp,et al.  Reducibility Among Combinatorial Problems , 1972, 50 Years of Integer Programming.

[26]  R. Roll.  Orange Juice and Weather , 1984 .

[27]  M. Rubinstein.,et al.  Recovering Probability Distributions from Option Prices , 1996 .

[28]  R. Hanson.  Could gambling save science? Encouraging an honest consensus , 1995 .

[29]  Bernardo A. Huberman,et al.  Forecasting uncertain events with small groups , 2001, EC '01.

[30]  W. Warmuth.  De Finetti, B.: Theory of Probability - A Critical Introductory Treatment, Volume 2. John Wiley & Sons, London-New York-Sydney-Toronto 1975. XIV, 375 S., £ 10.50 , 1977 .

[31]  J. Gandar,et al.  Informed Traders and Price Variations in the Betting Market for Professional Basketball Games , 1998 .

[32]  R. Thaler,et al.  Anomalies Parimutuel Betting Markets: Racetracks and Lotteries , 1988 .

[33]  C. Plott.  Markets as Information Gathering Tools , 2000 .

[34]  Michael P. Wellman,et al.  Compact Securities Markets for Pareto Optimal Reallocation of Risk , 2000, UAI.

[35]  A. H. Murphy,et al.  “Good” Probability Assessors , 1968 .

[36]  Sven de Vries,et al.  Combinatorial Auctions: A Survey , 2003, INFORMS J. Comput..

[37]  Gregory F. Cooper,et al.  The Computational Complexity of Probabilistic Inference Using Bayesian Belief Networks , 1990, Artif. Intell..

[38]  Jacques Drèze.  Essays on economic decisions under uncertainty: Markets and prices , 1987 .

[39]  A. Mas-Colell,et al.  Microeconomic Theory , 1995 .

[40]  Winston C. Yang,et al.  Parimutuel betting markets as information aggregation devices: experimental results , 2003 .