Existence and Uniqueness Theorem of Continuous and Monotone Bayesian Nash Equilibrium and Stability Analysis

Huifu Xu; Ziheng Su

arxiv: 2511.15457 · v2 · submitted 2025-11-19 · 🧮 math.OC

Existence and Uniqueness Theorem of Continuous and Monotone Bayesian Nash Equilibrium and Stability Analysis

Ziheng Su , Huifu Xu This is my paper

Pith reviewed 2026-05-17 20:57 UTC · model grok-4.3

classification 🧮 math.OC

keywords Bayesian Nash equilibriumexistence and uniquenessBanach fixed-point theoremmonotone strategiesstability analysiscontinuous equilibriatype distribution perturbationsincomplete information games

0 comments

The pith

The Banach fixed-point theorem establishes both existence and uniqueness of continuous monotone Bayesian Nash equilibria under moderate conditions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper shows that a single application of the Banach fixed-point theorem can prove both the existence and uniqueness of continuous and monotone Bayesian Nash equilibria in games with incomplete information. Previous approaches used Schauder's theorem for existence and added monotonicity conditions separately for uniqueness. By verifying that the best-response map is a contraction under moderate assumptions on payoffs and type distributions, the authors obtain a unique equilibrium. They further demonstrate that this equilibrium remains stable when the joint distribution of players' types is perturbed slightly, which provides a foundation for using these models with estimated or empirical data.

Core claim

Under a set of moderate conditions, the best-response correspondence defines a contraction mapping on the space of continuous strategy profiles. Therefore, by the Banach fixed-point theorem, there exists a unique continuous and monotone Bayesian Nash equilibrium. Moreover, this equilibrium is stable with respect to perturbations in the joint probability distribution of the type parameters.

What carries the argument

The contraction property of the best-response mapping with respect to a suitable metric on continuous functions; this property directly invokes the Banach fixed-point theorem to deliver both existence and uniqueness at once.

Load-bearing premise

The best-response correspondence must be a contraction mapping on the space of continuous strategy profiles under the given moderate conditions.

What would settle it

A specific example of a Bayesian game satisfying the moderate conditions but where the best-response map has a Lipschitz constant exceeding one, resulting in either no equilibrium or multiple equilibria.

read the original abstract

Since the seminal work by Meirowitz, there has been growing attention on the existence and uniqueness of continuous Bayesian Nash equilibria. In the existing literature, existence is typically established using Schauder's fixed-point theorem, relying on the equicontinuity of players' best response functions. Uniqueness, on the other hand, is usually derived under additional monotonicity conditions. In this paper, we revisit the issues of existence and uniqueness, and advance the literature by establishing both simultaneously using the Banach fixed-point theorem under a set of moderate conditions. Furthermore, we analyze the stability of such equilibria with respect to perturbations in the joint probability distribution of type parameters, offering theoretical support for the application of Bayesian Nash equilibrium models in data-driven contexts.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper unifies existence and uniqueness for continuous monotone Bayesian Nash equilibria via a single Banach fixed-point argument under moderate conditions, plus a stability result, but the contraction step is the part that still needs direct checking.

read the letter

The main thing to know is that the authors apply the Banach fixed-point theorem directly to the best-response operator on the space of continuous monotone strategy profiles, getting both existence and uniqueness at once under a set of moderate conditions, and then show stability of the equilibrium with respect to small changes in the joint type distribution. This is framed as cleaner than the usual split of Schauder for existence plus extra monotonicity for uniqueness. The stability part is a straightforward addition that could matter for calibration work. The paper is clear about its starting point in Meirowitz and the later literature, and the technical move of treating the operator as a contraction is a reasonable way to combine the two results if the numbers work out. The moderate conditions are presented as sufficient to control the modulus, which would be a genuine simplification if verified. The soft spot is exactly the contraction property itself. The abstract states that the conditions produce a contraction but does not display the Lipschitz bound or the steps that confirm the modulus is strictly less than one across the relevant type distributions. If the bound only reaches k less than or equal to one, or if it fails to hold uniformly, then uniqueness drops out and the result collapses back to existing Schauder-based existence statements. Monotonicity is invoked but needs to be shown to deliver the strict contraction without hidden quantitative restrictions on payoffs or densities. I saw no circularity or obvious fitting issues in the setup. This is for theorists working on Bayesian games with continuous types in mechanism design or information economics. A reader who already knows the Schauder-plus-monotonicity literature would get the most out of seeing whether the unified argument actually shortens the proof. It deserves a serious referee because the claim is specific and the method is standard; the referee can focus on verifying the contraction constant and the stability derivation without needing to invent new concerns.

Referee Report

2 major / 2 minor

Summary. The manuscript claims to establish both existence and uniqueness of continuous and monotone Bayesian Nash equilibria simultaneously by applying the Banach fixed-point theorem to the best-response operator under a set of moderate conditions on payoffs and type distributions. It further provides a stability analysis of the equilibrium with respect to perturbations in the joint probability distribution of players' types.

Significance. If the central claim holds with a verified strict contraction, the result would advance the literature by unifying existence and uniqueness in a single application of Banach's theorem (rather than separating Schauder-based existence from monotonicity-based uniqueness) and by supplying stability under type-distribution perturbations, which supports data-driven applications. The approach yields iterative convergence as an additional byproduct.

major comments (2)

[Theorem 3.1 (or equivalent main existence-uniqueness statement)] The load-bearing step is the assertion that the best-response operator T is a contraction (modulus k < 1) on the space of continuous monotone strategy profiles. The moderate conditions are stated but no explicit Lipschitz bound or contraction constant is derived from the payoff functions, type densities, or the chosen metric; without this quantitative verification, Banach's theorem does not deliver uniqueness (or even existence) and the argument reduces to existing Schauder results.
[Section 3 (proof of contraction) and the definition of the metric d on X] Monotonicity of strategies is invoked to restrict the domain, yet the proof must still control the modulus uniformly across all type distributions; if the Lipschitz constant depends on the particular distribution and can reach or exceed 1 for some admissible distributions, the contraction property fails and the simultaneous existence-uniqueness claim does not hold.

minor comments (2)

[Preliminaries / Notation] The space X of continuous monotone strategy profiles and the precise metric with respect to which T is claimed to be a contraction should be defined explicitly before the statement of the main theorem.
[Stability section] The stability result should specify the topology or metric on the space of type distributions and clarify whether the contraction modulus is uniform in a neighborhood of the nominal distribution.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. The points raised concern the quantitative verification of the contraction property, which we address below by committing to explicit derivations in the revision.

read point-by-point responses

Referee: [Theorem 3.1 (or equivalent main existence-uniqueness statement)] The load-bearing step is the assertion that the best-response operator T is a contraction (modulus k < 1) on the space of continuous monotone strategy profiles. The moderate conditions are stated but no explicit Lipschitz bound or contraction constant is derived from the payoff functions, type densities, or the chosen metric; without this quantitative verification, Banach's theorem does not deliver uniqueness (or even existence) and the argument reduces to existing Schauder results.

Authors: We agree that an explicit derivation of the contraction modulus is required to substantiate the application of Banach's theorem. The moderate conditions on payoffs and type distributions were selected to guarantee k < 1, but we acknowledge that the manuscript does not provide the quantitative bound. In the revised manuscript we will insert a new lemma in Section 3 that computes the Lipschitz constant of T explicitly, using the Lipschitz constants of the payoff functions, the uniform bounds on type densities, and the definition of the metric d, thereby confirming k < 1. revision: yes
Referee: [Section 3 (proof of contraction) and the definition of the metric d on X] Monotonicity of strategies is invoked to restrict the domain, yet the proof must still control the modulus uniformly across all type distributions; if the Lipschitz constant depends on the particular distribution and can reach or exceed 1 for some admissible distributions, the contraction property fails and the simultaneous existence-uniqueness claim does not hold.

Authors: The admissible class of type distributions is defined by uniform bounds on densities and their derivatives; these bounds are used to obtain a contraction modulus that is independent of any particular distribution within the class. Monotonicity ensures the operator maps the space into itself. We will revise the proof in Section 3 to state and verify this uniformity explicitly, showing that the supremum of the modulus over the admissible class remains strictly less than 1. revision: yes

Circularity Check

0 steps flagged

No significant circularity: Banach fixed-point application is presented as a direct verification under stated conditions

full rationale

The paper advances prior work by claiming simultaneous existence and uniqueness of continuous monotone Bayesian Nash equilibria via the Banach fixed-point theorem applied to the best-response operator on the space of continuous strategy profiles. The abstract and description present this as following from a set of moderate conditions that make the operator a contraction, without any quoted reduction of the contraction modulus to a fitted parameter, self-citation chain, or definitional equivalence. No self-definitional, fitted-input, or uniqueness-imported steps appear; the argument is self-contained as a standard fixed-point application once the contraction is verified, which is asserted rather than smuggled via prior self-work. This matches the default expectation of no circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the Banach fixed-point theorem and on the assertion that best responses form a contraction under moderate conditions; these are standard functional-analysis results rather than new axioms invented by the paper.

axioms (2)

standard math The space of continuous strategy profiles equipped with a suitable metric is a complete metric space.
Required for the Banach fixed-point theorem to apply.
domain assumption The best-response operator is a contraction mapping under the stated moderate conditions.
This is the key modeling assumption that enables the simultaneous existence-uniqueness result.

pith-pipeline@v0.9.0 · 5418 in / 1310 out tokens · 46136 ms · 2026-05-17T20:57:35.980864+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We establish both existence and uniqueness of continuous and monotone Bayesian Nash equilibrium simultaneously using the Banach fixed-point theorem under a set of moderate conditions.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the optimal response mapping is a contraction mapping with constant α < 1

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

[1]

MIT press, 1992

Simon P Anderson, Andre De Palma, and Jacques-Francois Thisse.Discrete Choice Theory of Product Differentiation. MIT press, 1992

work page 1992
[2]

Single crossing properties and the existence of pure strategy equilibria in games of incomplete information.Econometrica, 69(4):861–889, 2001

Susan Athey. Single crossing properties and the existence of pure strategy equilibria in games of incomplete information.Econometrica, 69(4):861–889, 2001

work page 2001
[3]

Monotone comparative statics under uncertainty.The Quarterly Journal of Economics, 117(1):187–223, 2002

Susan Athey. Monotone comparative statics under uncertainty.The Quarterly Journal of Economics, 117(1):187–223, 2002

work page 2002
[4]

Conditional wasserstein distances with applications in bayesian ot flow matching.Journal of Machine Learning Research, 26(141):1–47, 2025

Jannis Chemseddine, Paul Hagemann, Gabriele Steidl, and Christian Wald. Conditional wasserstein distances with applications in bayesian ot flow matching.Journal of Machine Learning Research, 26(141):1–47, 2025

work page 2025
[5]

On choosing and bounding probability metrics

Alison L Gibbs and Francis Edward Su. On choosing and bounding probability metrics. International Statistical Review, 70(3):419–435, 2002

work page 2002
[6]

S. Guo, H. Xu, and L. Zhang. Existence and approximation of continuous bayesian nash equilibria in games with continuous type and action spaces.SIAM Journal on Optimization, 31(4):2481–2507, 2021

work page 2021
[7]

bayesian

John C. Harsanyi. Games with incomplete information played by “bayesian” players, i–iii part i. the basic model.Management Science, 14(3):159–182, 1967. 21

work page 1967
[8]

bayesian

John C Harsanyi. Games with incomplete information played by “bayesian” players part ii. bayesian equilibrium points.Management science, 14(5):320–334, 1968

work page 1968
[9]

bayesian

John C Harsanyi. Games with incomplete information played by “bayesian” players, part iii. the basic probability distribution of the game.Management science, 14(7):486–502, 1968

work page 1968
[10]

Bayesian nash equilibrium in price competition under multinomial logit demand.European Journal of Operational Research, 324(2):669–689, 2025

Jian Liu, Hailin Sun, and Huifu Xu. Bayesian nash equilibrium in price competition under multinomial logit demand.European Journal of Operational Research, 324(2):669–689, 2025

work page 2025
[11]

Isotone equilibrium in games of incomplete information.Econometrica, 71(4):1191–1214, 2003

David McAdams. Isotone equilibrium in games of incomplete information.Econometrica, 71(4):1191–1214, 2003

work page 2003
[12]

On the existence of equilibria to bayesian games with non-finite type and action spaces.Economics Letters, 78(2):213–218, 2003

Adam Meirowitz. On the existence of equilibria to bayesian games with non-finite type and action spaces.Economics Letters, 78(2):213–218, 2003

work page 2003
[13]

Monotone comparative statics.Econometrica: Journal of the Econometric Society, pages 157–180, 1994

Paul Milgrom and Chris Shannon. Monotone comparative statics.Econometrica: Journal of the Econometric Society, pages 157–180, 1994

work page 1994
[14]

Aggregating the single crossing property.Econo- metrica, 80(5):2333–2348, 2012

John K-H Quah and Bruno Strulovici. Aggregating the single crossing property.Econo- metrica, 80(5):2333–2348, 2012

work page 2012
[15]

On the existence of monotone pure-strategy equilibria in bayesian games

Philip J Reny. On the existence of monotone pure-strategy equilibria in bayesian games. Econometrica, 79(2):499–553, 2011

work page 2011
[16]

International series in pure and applied mathematics

Walter Rudin.Functional Analysis. International series in pure and applied mathematics. McGraw-Hill, 1991

work page 1991
[17]

Continuous and monotone bayesian nash equilibrium with in- complete information about player’s risk preferences.Available at SSRN 5118754, 2025

Ziheng Su and Huifu Xu. Continuous and monotone bayesian nash equilibrium with in- complete information about player’s risk preferences.Available at SSRN 5118754, 2025

work page 2025
[18]

Generalized bayesian nash equilibrium with continuous type and action spaces.SIAM Journal on Optimization, 35(2):789–817, 2025

Yuan Tao and Huifu Xu. Generalized bayesian nash equilibrium with continuous type and action spaces.SIAM Journal on Optimization, 35(2):789–817, 2025

work page 2025
[19]

Minimizing a submodular function on a lattice.Operations Research, 26(2):305–321, 1978

Donald M Topkis. Minimizing a submodular function on a lattice.Operations Research, 26(2):305–321, 1978

work page 1978
[20]

Princeton university press, 1998

Donald M Topkis.Supermodularity and complementarity. Princeton university press, 1998

work page 1998
[21]

Bayesian nash equilibrium and variational inequalities.Journal of Mathematical Economics, 63:139–146, 2016

Takashi Ui. Bayesian nash equilibrium and variational inequalities.Journal of Mathematical Economics, 63:139–146, 2016

work page 2016
[22]

Monotone equilibria in bayesian games of strategic complementarities.Journal of Economic Theory, 134(1):339–360, 2007

Timothy Van Zandt and Xavier Vives. Monotone equilibria in bayesian games of strategic complementarities.Journal of Economic Theory, 134(1):339–360, 2007

work page 2007
[23]

Nash equilibrium with strategic complementarities.Journal of Mathematical Economics, 19(3):305–321, 1990

Xavier Vives. Nash equilibrium with strategic complementarities.Journal of Mathematical Economics, 19(3):305–321, 1990

work page 1990
[24]

by Peter R

Eberhard Zeidler and Peter R Wadsack.Nonlinear Functional Analysis and Its Applications: Fixed-point Theorems/Transl. by Peter R. Wadsack. Springer-Verlag, 1993. 22 A Appendix A.1 Stability of strongly monotone parametric variational inequality The proofs of some technical results in the main body of the paper are essentially concerned with the existence ...

work page 1993

[1] [1]

MIT press, 1992

Simon P Anderson, Andre De Palma, and Jacques-Francois Thisse.Discrete Choice Theory of Product Differentiation. MIT press, 1992

work page 1992

[2] [2]

Single crossing properties and the existence of pure strategy equilibria in games of incomplete information.Econometrica, 69(4):861–889, 2001

Susan Athey. Single crossing properties and the existence of pure strategy equilibria in games of incomplete information.Econometrica, 69(4):861–889, 2001

work page 2001

[3] [3]

Monotone comparative statics under uncertainty.The Quarterly Journal of Economics, 117(1):187–223, 2002

Susan Athey. Monotone comparative statics under uncertainty.The Quarterly Journal of Economics, 117(1):187–223, 2002

work page 2002

[4] [4]

Conditional wasserstein distances with applications in bayesian ot flow matching.Journal of Machine Learning Research, 26(141):1–47, 2025

Jannis Chemseddine, Paul Hagemann, Gabriele Steidl, and Christian Wald. Conditional wasserstein distances with applications in bayesian ot flow matching.Journal of Machine Learning Research, 26(141):1–47, 2025

work page 2025

[5] [5]

On choosing and bounding probability metrics

Alison L Gibbs and Francis Edward Su. On choosing and bounding probability metrics. International Statistical Review, 70(3):419–435, 2002

work page 2002

[6] [6]

S. Guo, H. Xu, and L. Zhang. Existence and approximation of continuous bayesian nash equilibria in games with continuous type and action spaces.SIAM Journal on Optimization, 31(4):2481–2507, 2021

work page 2021

[7] [7]

bayesian

John C. Harsanyi. Games with incomplete information played by “bayesian” players, i–iii part i. the basic model.Management Science, 14(3):159–182, 1967. 21

work page 1967

[8] [8]

bayesian

John C Harsanyi. Games with incomplete information played by “bayesian” players part ii. bayesian equilibrium points.Management science, 14(5):320–334, 1968

work page 1968

[9] [9]

bayesian

John C Harsanyi. Games with incomplete information played by “bayesian” players, part iii. the basic probability distribution of the game.Management science, 14(7):486–502, 1968

work page 1968

[10] [10]

Bayesian nash equilibrium in price competition under multinomial logit demand.European Journal of Operational Research, 324(2):669–689, 2025

Jian Liu, Hailin Sun, and Huifu Xu. Bayesian nash equilibrium in price competition under multinomial logit demand.European Journal of Operational Research, 324(2):669–689, 2025

work page 2025

[11] [11]

Isotone equilibrium in games of incomplete information.Econometrica, 71(4):1191–1214, 2003

David McAdams. Isotone equilibrium in games of incomplete information.Econometrica, 71(4):1191–1214, 2003

work page 2003

[12] [12]

On the existence of equilibria to bayesian games with non-finite type and action spaces.Economics Letters, 78(2):213–218, 2003

Adam Meirowitz. On the existence of equilibria to bayesian games with non-finite type and action spaces.Economics Letters, 78(2):213–218, 2003

work page 2003

[13] [13]

Monotone comparative statics.Econometrica: Journal of the Econometric Society, pages 157–180, 1994

Paul Milgrom and Chris Shannon. Monotone comparative statics.Econometrica: Journal of the Econometric Society, pages 157–180, 1994

work page 1994

[14] [14]

Aggregating the single crossing property.Econo- metrica, 80(5):2333–2348, 2012

John K-H Quah and Bruno Strulovici. Aggregating the single crossing property.Econo- metrica, 80(5):2333–2348, 2012

work page 2012

[15] [15]

On the existence of monotone pure-strategy equilibria in bayesian games

Philip J Reny. On the existence of monotone pure-strategy equilibria in bayesian games. Econometrica, 79(2):499–553, 2011

work page 2011

[16] [16]

International series in pure and applied mathematics

Walter Rudin.Functional Analysis. International series in pure and applied mathematics. McGraw-Hill, 1991

work page 1991

[17] [17]

Continuous and monotone bayesian nash equilibrium with in- complete information about player’s risk preferences.Available at SSRN 5118754, 2025

Ziheng Su and Huifu Xu. Continuous and monotone bayesian nash equilibrium with in- complete information about player’s risk preferences.Available at SSRN 5118754, 2025

work page 2025

[18] [18]

Generalized bayesian nash equilibrium with continuous type and action spaces.SIAM Journal on Optimization, 35(2):789–817, 2025

Yuan Tao and Huifu Xu. Generalized bayesian nash equilibrium with continuous type and action spaces.SIAM Journal on Optimization, 35(2):789–817, 2025

work page 2025

[19] [19]

Minimizing a submodular function on a lattice.Operations Research, 26(2):305–321, 1978

Donald M Topkis. Minimizing a submodular function on a lattice.Operations Research, 26(2):305–321, 1978

work page 1978

[20] [20]

Princeton university press, 1998

Donald M Topkis.Supermodularity and complementarity. Princeton university press, 1998

work page 1998

[21] [21]

Bayesian nash equilibrium and variational inequalities.Journal of Mathematical Economics, 63:139–146, 2016

Takashi Ui. Bayesian nash equilibrium and variational inequalities.Journal of Mathematical Economics, 63:139–146, 2016

work page 2016

[22] [22]

Monotone equilibria in bayesian games of strategic complementarities.Journal of Economic Theory, 134(1):339–360, 2007

Timothy Van Zandt and Xavier Vives. Monotone equilibria in bayesian games of strategic complementarities.Journal of Economic Theory, 134(1):339–360, 2007

work page 2007

[23] [23]

Nash equilibrium with strategic complementarities.Journal of Mathematical Economics, 19(3):305–321, 1990

Xavier Vives. Nash equilibrium with strategic complementarities.Journal of Mathematical Economics, 19(3):305–321, 1990

work page 1990

[24] [24]

by Peter R

Eberhard Zeidler and Peter R Wadsack.Nonlinear Functional Analysis and Its Applications: Fixed-point Theorems/Transl. by Peter R. Wadsack. Springer-Verlag, 1993. 22 A Appendix A.1 Stability of strongly monotone parametric variational inequality The proofs of some technical results in the main body of the paper are essentially concerned with the existence ...

work page 1993