ParlayMarket: Automated Market Making for Parlay-style Joint Contracts
Pith reviewed 2026-05-21 10:21 UTC · model grok-4.3
The pith
ParlayMarket's automated market maker converges under repeated trading to the best approximation of the true joint distribution within its model class.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Under repeated trading, the AMM dynamics converge to a unique fixed point corresponding to the best approximation to the true joint distribution within the model class. Parameter error remains bounded at stationarity due to a balance between signal and noise in trade-induced updates. Pricing error and monetary loss scale with this parameter error, implying that aggregate market-maker loss remains controlled and grows at most quadratically in the number of base markets. Parlay trades play a structural role by improving identifiability of dependence structure and reducing steady-state error relative to markets that use only marginal trades.
What carries the argument
Convergence of the AMM dynamics to a unique fixed point that best approximates the true joint distribution, produced by repeated trade-induced updates that balance signal and noise.
If this is right
- Parameter error stays bounded once the system reaches stationarity.
- Both pricing error and monetary loss scale directly with the bounded parameter error.
- Aggregate market-maker loss grows at most quadratically in the number of base markets.
- Parlay trades reduce steady-state error by supplying direct constraints on joint outcomes.
Where Pith is reading between the lines
- The same scaling behavior could support reliable liquidity for correlated forecasts in other prediction-market settings.
- Designers of multi-outcome platforms could test whether adding joint contracts measurably improves dependence recovery compared with separate markets.
- The quadratic loss bound suggests the approach remains practical even when the number of base events grows moderately.
Load-bearing premise
The trading process and update rules actually drive the system to the claimed unique fixed point without extra assumptions on trader behavior or market completeness.
What would settle it
A controlled simulation or historical replay in which the system either fails to converge to the described fixed point or shows market-maker losses growing faster than quadratically with the number of base markets.
Figures
read the original abstract
Prediction markets are powerful mechanisms for information aggregation, but existing designs are optimized for single-event contracts. In practice, traders frequently express beliefs about joint outcomes - through parlays in sports, conditional forecasts across related events, or scenario bets in financial markets. Current platforms either prohibit such trades or rely on ad hoc mechanisms that ignore correlation structure, resulting in inefficient prices and fragmented liquidity. We introduce ParlayMarket, the first automated market-making design that supports parlay-style joint contracts within a unified liquidity pool while maintaining coherent pricing across base markets and their combinations. Our main result is a convergence characterization of the resulting system. Under repeated trading, the AMM dynamics converge to a unique fixed point corresponding to the best approximation to the true joint distribution within the model class. We show that (i) parameter error remains bounded at stationarity due to a balance between signal and noise in trade-induced updates, and (ii) pricing error and monetary loss scale with this parameter error, implying that aggregate market-maker loss remains controlled and grows at most quadratically in the number of base markets. These results establish explicit limits on the information-retrieval error achievable through the trading interface. Importantly, parlay trades play a structural role in this convergence: by providing direct constraints on joint outcomes, they improve identifiability of dependence structure and reduce steady-state error relative to markets that rely only on marginal trades. Empirically, we show both in controlled simulations and in replay on historical Kalshi parlay data that this design achieves the intended scaling while remaining effective in realistic market settings.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces ParlayMarket, an automated market maker supporting parlay-style joint contracts in a unified liquidity pool for coherent pricing across base events and combinations. The central claim is a convergence characterization: repeated trading drives the AMM dynamics to a unique fixed point that is the best approximation to the true joint distribution within the model class. Parameter error remains bounded at stationarity from the signal-noise balance in updates; pricing error and monetary loss scale with this error, so aggregate market-maker loss is controlled and grows at most quadratically in the number of base markets. Parlay trades structurally improve identifiability of dependence structure and reduce steady-state error relative to marginal-only markets. The claims are supported by controlled simulations and replay experiments on historical Kalshi parlay data.
Significance. If the convergence and scaling results hold under the paper's trading model, this provides a principled mechanism for handling correlated outcomes in prediction markets without liquidity fragmentation. The explicit error bounds, the quadratic loss scaling, and the demonstrated benefit of parlay trades for identifiability would be a notable contribution to automated market design, offering concrete limits on achievable information retrieval through the trading interface.
major comments (2)
- [Convergence characterization] Convergence characterization section: The uniqueness of the fixed point and the subsequent quadratic loss bound rest on the update dynamics behaving as a convergent stochastic approximation whose attractor is exactly the projection onto the model class. The manuscript must supply explicit conditions on the distribution of trader beliefs and the relative frequency of parlay versus marginal trades that guarantee persistent excitation of all joint outcomes; absent these conditions, the effective gradient may lie in a proper subspace, permitting multiple stationary points or convergence to a point whose approximation error is not controlled by the claimed scaling.
- [Loss scaling result] Loss scaling result (referenced after the fixed-point claim): The statement that aggregate market-maker loss grows at most quadratically in the number of base markets is load-bearing for the main practical conclusion. The derivation should be stated as a precise theorem, including the dependence of any constants on the model dimension, and it must be shown that the quadratic bound follows directly from the bounded parameter error without additional assumptions that reintroduce linear or higher growth.
minor comments (2)
- [Empirical evaluation] In the replay experiments on Kalshi data, specify how the ground-truth joint distribution is constructed or approximated when computing approximation error, as this choice directly affects the measured scaling.
- [Notation and model definition] Ensure that the definition of the model class and the divergence minimized by the fixed point are stated with the same notation in both the theoretical analysis and the simulation setup.
Simulated Author's Rebuttal
We thank the referee for the constructive and detailed comments. We address each major comment below. We agree that the convergence result benefits from explicit conditions on trader beliefs and trade frequencies, and we will add these to the manuscript. We will also formalize the loss scaling result as a precise theorem.
read point-by-point responses
-
Referee: [Convergence characterization] Convergence characterization section: The uniqueness of the fixed point and the subsequent quadratic loss bound rest on the update dynamics behaving as a convergent stochastic approximation whose attractor is exactly the projection onto the model class. The manuscript must supply explicit conditions on the distribution of trader beliefs and the relative frequency of parlay versus marginal trades that guarantee persistent excitation of all joint outcomes; absent these conditions, the effective gradient may lie in a proper subspace, permitting multiple stationary points or convergence to a point whose approximation error is not controlled by the claimed scaling.
Authors: We agree that the uniqueness claim requires explicit conditions to ensure persistent excitation. The manuscript currently relies on an implicit assumption of positive probability for all trade types under repeated trading. We will revise by adding Assumption 3.1: trader beliefs are drawn i.i.d. from a distribution with full support on the joint probability simplex, and the relative frequency of parlay trades is bounded below by a fixed α > 0. Under these conditions, the effective gradient spans the full parameter space, the stochastic approximation converges to the unique KL-projection onto the model class, and the claimed error bounds hold. We will include a short proof sketch in the revised convergence section. revision: yes
-
Referee: [Loss scaling result] Loss scaling result (referenced after the fixed-point claim): The statement that aggregate market-maker loss grows at most quadratically in the number of base markets is load-bearing for the main practical conclusion. The derivation should be stated as a precise theorem, including the dependence of any constants on the model dimension, and it must be shown that the quadratic bound follows directly from the bounded parameter error without additional assumptions that reintroduce linear or higher growth.
Authors: We will restate the loss scaling claim as a self-contained theorem (new Theorem 4.2). The theorem states: Let ε denote the stationary parameter error (bounded by the signal-noise balance). Then the aggregate market-maker loss L satisfies L ≤ C(d) ε², where the dimension-dependent constant satisfies C(d) ≤ K d² for a universal K independent of d. The proof shows that (i) each parlay price deviation is Lipschitz continuous in the parameter vector with a Lipschitz constant independent of d, and (ii) the number of relevant parlay combinations that contribute to loss is O(d²) due to the low-order interaction structure of the model class. The quadratic dependence on ε follows directly from the quadratic nature of the loss in price deviations; no additional assumptions are introduced that would produce linear or higher growth in d. revision: yes
Circularity Check
No detectable circularity in provided derivation outline
full rationale
The abstract describes a convergence characterization in which repeated trading drives AMM parameters to a unique fixed point that is the best approximation to the true joint distribution within the model class, with subsequent bounds on parameter error, pricing error, and quadratic loss scaling. No equations, update rules, or self-citations are quoted in the supplied text that would reduce this fixed-point claim to a definitional identity, a fitted parameter renamed as prediction, or a load-bearing self-citation chain. The structural role assigned to parlay trades for improving identifiability is presented as an empirical and modeling consequence rather than an input smuggled in by prior work. The derivation therefore remains self-contained against the stated dynamics and model class, consistent with an honest non-finding.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
Jacob Abernethy, Yiling Chen, and Jennifer Wortman Vaughan. 2013. Efficient Market Making via Convex Optimization. InACM EC
work page 2013
- [2]
-
[3]
Julian Besag. 1975. Statistical analysis of non-lattice data.The Statistician24, 3 (1975), 179– 195
work page 1975
-
[4]
Guy Bresler. 2015. Efficiently Learning Ising Models on Arbitrary Graphs. InProceedings of the Forty-Seventh Annual ACM Symposium on Theory of Computing. doi:10.1145/2746539. 2746631
-
[5]
Pennock, and Jennifer Wortman Vaughan
Yiling Chen, Nicolas Lambert, David M. Pennock, and Jennifer Wortman Vaughan. 2010. Elic- iting Predictions and Recommendations for Decision Making.ACM Transactions on Embedded Computing Systems9, 4 (2010), 39:1–39:21.https://www.microsoft.com/en-us/research/ wp-content/uploads/2016/04/TEAC-final1.pdf
work page 2010
-
[6]
Yiling Chen and David M. Pennock. 2007. A Utility Framework for Bounded-Loss Market Makers.Journal of Artificial Intelligence Research(2007)
work page 2007
-
[7]
Price Updating in Combinatorial Prediction Markets with Bayesian Networks
Yiling Chen, David M. Pennock, Michael H. Bowling, and Nicolas Lambert. 2008. Price Updating in Combinatorial Prediction Markets with Bayesian Networks. InProceedings of the 23rd AAAI Conference on Artificial Intelligence.https://arxiv.org/abs/1202.3756
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[8]
Rafael Frongillo, Ian Kash, and Mark D. Reid. 2012. Interpreting Prediction Markets: A Stochas- tic Approach. InAdvances in Neural Information Processing Systems.https://papers.nips. cc/paper/4529-interpreting-prediction-markets-a-stochastic-approach
work page 2012
-
[9]
2002.Logarithmic Market Scoring Rules for Modular Combinatorial Information Aggregation
Robin Hanson. 2002.Logarithmic Market Scoring Rules for Modular Combinatorial Information Aggregation. Technical Report. George Mason University
work page 2002
-
[10]
Robin Hanson. 2003. Combinatorial Information Market Design.Information Systems Frontiers 5, 1 (2003), 107–119. doi:10.1023/A:1022058209073
-
[11]
Robin Hanson. 2007. Logarithmic Market Scoring Rules for Modular Combinatorial Information Aggregation.Journal of Prediction Markets(2007). 20
work page 2007
-
[12]
2019.Introduction to Online Convex Optimization
Elad Hazan. 2019.Introduction to Online Convex Optimization. Now Publishers.https: //arxiv.org/abs/1909.05207
-
[13]
Kalshi. 2024. Kalshi: Event Contracts Exchange.https://kalshi.com. Accessed: 2026-03-19
work page 2024
-
[14]
Bruce G. Lindsay. 1988. Composite likelihood methods. InStatistical Inference from Stochastic Processes, N. U. Prabhu (Ed.). Contemporary Mathematics, Vol. 80. American Mathematical Society, Providence, RI, 221–239
work page 1988
-
[15]
C., Roughgarden, T., and Zhang, A
Jason Milionis, Ciamac C. Moallemi, Tim Roughgarden, and Anthony Lee Zhang. 2022. Auto- mated Market Making and Loss-Versus-Rebalancing.arXiv preprint arXiv:2208.06046(2022). https://arxiv.org/abs/2208.06046
-
[16]
Abraham Othman and Tuomas Sandholm. 2010. When Do Markets with Simple Traders Fail?. In Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS).https://www.ifaamas.org/Proceedings/aamas2010/pdf/01%20Full%20Papers/ 18_02_FP_0266.pdf
work page 2010
-
[17]
Polymarket. 2024. Polymarket: A Decentralized Information Market Platform.https: //polymarket.com. Accessed: 2026-03-19
work page 2024
-
[18]
Pradeep Ravikumar, Martin J. Wainwright, and John D. Lafferty. 2010. High-Dimensional Ising Model Selection Usingℓ 1-Regularized Logistic Regression.The Annals of Statistics38, 3 (2010), 1287–1319. doi:10.1214/09-AOS691
- [19]
-
[20]
Interaction Screening: Efficient and Sample-Optimal Learning of Ising Models
Marc Vuffray, Sidhant Misra, Andrey Y. Lokhov, and Michael Chertkov. 2016. Interaction Screen- ing: Efficient and Sample-Optimal Learning of Ising Models. InAdvances in Neural Information Processing Systems.https://arxiv.org/abs/1605.07252
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[21]
Martin J. Wainwright and Michael I. Jordan. 2008. Graphical Models, Exponential Families, and Variational Inference.Foundations and Trends in Machine Learning1, 1–2 (2008), 1–305. https://people.eecs.berkeley.edu/~jordan/papers/wainwright-jordan-fnt.pdf
work page 2008
-
[22]
Martin Zinkevich. 2003. Online Convex Programming and Generalized Infinitesimal Gradi- ent Ascent. InProceedings of the 20th International Conference on Machine Learning (ICML). https://www.cs.cmu.edu/~maz/publications/techconvex.pdf 21 Table 5: Quoted combo YES prices versus probabilistic benchmark for two-leg combos with plausibly independent legs (NBA ...
work page 2003
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.