Mean-field games with rough common noise: the compactification approach

Erhan Bayraktar; Fengyi Yuan; Xiang Yu; Xihao He

arxiv: 2602.22602 · v2 · pith:VCVJ3RWBnew · submitted 2026-02-26 · 🧮 math.PR

Mean-field games with rough common noise: the compactification approach

Erhan Bayraktar , Xihao He , Xiang Yu , Fengyi Yuan This is my paper

Pith reviewed 2026-05-21 13:00 UTC · model grok-4.3

classification 🧮 math.PR

keywords mean-field gamesrough pathscommon noisecompactificationrelaxed controlsmartingale problemspathwise equilibrium

0 comments

The pith

Mean-field games with rough common noise admit pathwise equilibria via new compactification tools.

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

This paper studies mean-field game problems where the representative agent's state evolves according to a controlled rough stochastic differential equation driven by both an idiosyncratic Brownian motion and a deterministic rough-path signal that impacts the entire population. It sets up a canonical weak formulation based on relaxed controls and rough martingale problems, then proves existence of a pathwise mean-field equilibrium by introducing compactification arguments specifically built to handle rough integration. A sympathetic reader would care because this extends equilibrium analysis to population-wide fluctuations that are too irregular for classical Brownian or diffusion-based techniques.

Core claim

We prove the existence of a pathwise mean-field equilibrium by developing new compactification tools that accommodate rough integration and differ substantially from classical compactification arguments in the literature. Within this framework we introduce a canonical weak formulation based on relaxed controls and rough martingale problems, recast the problems via pathwise admissible sets as optimization over an extended space of probability measures, establish an equivalent characterization of Carmona-Delarue-Lacker weak equilibrium, and give an alternative proof of strong equilibrium without first establishing pathwise uniqueness.

What carries the argument

new compactification tools adapted to rough integration, used together with relaxed controls and rough martingale problems

Load-bearing premise

The deterministic rough-path signal admits a rough martingale problem formulation under relaxed controls, and the new compactification arguments proceed without extra regularity on the dynamics or controls.

What would settle it

A concrete example of a rough path signal and controlled dynamics for which the rough martingale problem admits no solution under any relaxed control would falsify the foundational setup and the claimed existence result.

read the original abstract

We study mean-field game (MFG) problems with rough common noise, in which the representative state dynamics are governed by a controlled rough stochastic differential equation driven by an idiosyncratic Brownian motion and a deterministic rough-path signal that affects the whole population. Within this new framework, we introduce a canonical weak formulation based on relaxed controls and rough martingale problems. We prove the existence of a pathwise mean-field equilibrium by developing new compactification tools that accommodate rough integration and differ substantially from classical compactification arguments in the literature. Finally, we discuss the relationship between the pathwise problem and the classical MFG problem with randomized Brownian common noise. Using the notion of a pathwise admissible set, we recast mean-field game problems with common noise as optimization problems over an extended space of probability measures. We establish an equivalent characterization of Carmona-Delarue-Lacker's weak equilibrium and, as an application, give an alternative proof of strong equilibrium without first establishing pathwise uniqueness.

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 proves existence of pathwise mean-field equilibria for rough common noise by adapting compactification to relaxed controls and rough martingale problems.

read the letter

This paper proves existence of a pathwise mean-field equilibrium in mean-field games where the common noise is a deterministic rough path rather than standard Brownian motion. They work in a weak formulation with relaxed controls, set up rough martingale problems, and develop compactification tools that handle the rough integration directly. The approach looks different from the usual arguments in the Brownian common-noise literature, and that combination appears new. They also recast the problem using pathwise admissible sets to turn equilibria into optimization over measures, which yields an equivalent characterization of the Carmona-Delarue-Lacker weak equilibrium and an alternative proof of strong equilibrium without first proving pathwise uniqueness. That byproduct is useful on its own. The construction relies on external rough-path theory in a transparent way and shows no obvious circularity or internal contradiction in the high-level setup. The central existence claim rests on the new compactness arguments carrying through for the rough case, and the stress-test note finds no load-bearing flaw there. Still, the technical details on error estimates and how the rough integration interacts with the relaxed controls will need careful checking, since those steps are where gaps could appear. This is written for specialists already working in stochastic control or mean-field games with common noise. A reader comfortable with rough paths will find the framework and the alternative proof worth their time. It deserves a serious referee because the extension is substantive, the methods are grounded, and the result is reproducible in principle.

Referee Report

0 major / 3 minor

Summary. The paper studies mean-field games in which the representative agent's state evolves according to a controlled rough SDE driven by idiosyncratic Brownian motion and a deterministic rough-path signal acting as common noise. It introduces a canonical weak formulation based on relaxed controls and rough martingale problems, proves existence of a pathwise mean-field equilibrium via new compactification arguments adapted to rough integration, relates the pathwise problem to the classical randomized-Brownian-common-noise setting, and recasts the problem as optimization over an extended space of probability measures. As an application it gives an equivalent characterization of the Carmona-Delarue-Lacker weak equilibrium and an alternative proof of strong equilibrium existence that avoids first establishing pathwise uniqueness.

Significance. If the central existence result holds, the work meaningfully extends mean-field game theory to rough common noise, a setting that can capture irregular population-wide signals not easily modeled by semimartingales. The development of compactification tools that accommodate rough integration is a technical contribution that differs from classical arguments and may be reusable in other rough-path control problems. The alternative proof of strong equilibrium and the pathwise-admissible-set reformulation provide useful perspectives on existing weak-equilibrium notions.

minor comments (3)

The introduction would benefit from a short paragraph recalling the definition of a rough martingale problem (perhaps with a reference to the relevant rough-path literature) so that readers outside the rough-path community can follow the weak formulation without external lookup.
Notation for the rough-path lift and the associated controlled rough integrals should be collected in a single preliminary subsection or table; scattered definitions across Sections 2 and 3 make cross-referencing cumbersome.
In the discussion of the relationship to the classical Carmona-Delarue-Lacker equilibrium (around the pathwise admissible set construction), a brief remark on whether the equivalence preserves the same set of admissible controls would help readers assess the strength of the reformulation.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive and accurate summary of our manuscript, for highlighting its significance in extending mean-field game theory to rough common noise, and for recommending minor revision. The referee's assessment correctly identifies the key technical contributions, including the compactification arguments for rough integration, the relation to randomized common noise, and the alternative proof of strong equilibrium existence.

Circularity Check

0 steps flagged

No significant circularity: new compactification tools and external rough-path theory

full rationale

The paper establishes existence of pathwise mean-field equilibrium via a new weak formulation with relaxed controls and rough martingale problems, then develops compactification arguments explicitly stated to differ from classical ones in the literature. It recasts problems using pathwise admissible sets and provides an equivalent characterization of Carmona-Delarue-Lacker weak equilibrium plus an alternative proof of strong equilibrium. These steps rely on external rough-path theory and prior results without reducing any central claim to a self-defined quantity, fitted input renamed as prediction, or load-bearing self-citation chain. The derivation remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Review is based solely on the abstract; the paper invokes standard rough-path theory and introduces new compactification methods whose precise axioms are not visible.

axioms (2)

domain assumption Existence and well-posedness of rough martingale problems for controlled dynamics driven by rough common signal
Used to set up the canonical weak formulation.
ad hoc to paper Compactification arguments extend to rough integration without loss of tightness or measurability
Central to the new existence proof and differs from classical arguments.

pith-pipeline@v0.9.0 · 5700 in / 1301 out tokens · 72959 ms · 2026-05-21T13:00:27.859869+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 prove the existence of a pathwise mean-field equilibrium by developing new compactification tools that accommodate rough integration...
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

new technical tools... equivalence between RSDEs and rough martingale problems

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.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Mean-field games with rough common noise: the linear-quadratic case
math.PR 2026-02 unverdicted novelty 7.0

The paper establishes existence, uniqueness, and stability for linear-quadratic mean-field games with rough common noise via a novel Volterra formulation and rough FBSDEs.