arxiv: 2604.02862 · v1 · submitted 2026-04-03 · 💱 q-fin.MF · cs.GT

Recognition: 2 theorem links

· Lean Theorem

When cooperation is beneficial to all agents

Alessandro Doldi , Marco Frittelli , Marco Maggis

Authors on Pith no claims yet

Pith reviewed 2026-05-13 18:40 UTC · model grok-4.3

classification 💱 q-fin.MF cs.GT

keywords cooperationindirect utilitysemimartingalepricing measuresmarket efficiencyindividual rationalityzero-sum exchangesPareto improvement

0 comments

The pith

Cooperation strictly improves every agent's indirect utility precisely when individual preferences are compatible with a collective pricing measure.

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

The paper derives a necessary and sufficient condition for the existence of exchanges among agents that strictly increase their indirect utilities in a general semimartingale market model. This condition is characterized by the compatibility of the agents' preferences with collective pricing measures. A sympathetic reader would care because it shows exactly when individual rationality aligns with collective efficiency, allowing for Pareto improvements through cooperation even in zero-sum settings. The result holds for both continuous and discrete time frameworks, providing a clear criterion for beneficial cooperation.

Core claim

In a general semimartingale framework, the existence of (possibly zero-sum) exchanges among agents that strictly increase their indirect utilities holds if and only if the agents' preferences are compatible with collective pricing measures. This condition links individual rationality to collective market efficiency and applies uniformly to continuous-time and discrete-time models.

What carries the argument

Compatibility between agents' preferences and collective pricing measures, which acts as the criterion determining whether mutually beneficial exchanges exist.

If this is right

Exchanges that increase all indirect utilities exist if and only if the compatibility condition holds.
The result applies equally to continuous-time and discrete-time semimartingale models.
Cooperation can produce strict improvements without net wealth creation in the market.
Individual rationality is satisfied through these exchanges when collective efficiency is achieved via compatible measures.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Market designers could promote cooperation by identifying or enforcing collective pricing measures that satisfy the compatibility condition.
In markets where preferences diverge from collective measures, cooperation may fail to deliver universal benefits.
The condition could be tested in specific financial models with explicit preference structures to check applicability to real data.

Load-bearing premise

Agents possess preferences that admit well-defined indirect utilities together with the existence of collective pricing measures compatible with those preferences.

What would settle it

A counterexample in which agents' preferences are incompatible with any collective pricing measure, yet exchanges still strictly increase all indirect utilities, would disprove the necessity of the condition.

Figures

Figures reproduced from arXiv: 2604.02862 by Alessandro Doldi, Marco Frittelli, Marco Maggis.

**Figure 1.** Figure 1: Tree for the stocks (X1 , X2 ) at times t = 0, 1, 2. Denoting by Mi e |F1 the collection of restrictions to F1 of elements in Me(S i ) = Me,loc(S i ), one readily verifies that M1 e |F1 = 1 2 , q, q′ , 1 2 − (q + q ′ ) , 0 < q < 1 2 , 0 < q′ < 1 2 − q , M2 e |F2 = p ′ , p, 1 4 (p ′ − p), 1 − 5 4 p ′ + 3 4 p , 0 < p < 1 2 , p < p′ < 4 5 − 3 5 p , (45) and that the set of restrictions to F1 of … view at source ↗

read the original abstract

Within a general semimartingale framework, we study the relationship between collective market efficiency and individual rationality. We derive a necessary and sufficient condition for the existence of (possibly zero-sum) exchanges among agents that strictly increase their indirect utilities and characterize this condition in terms of the compatibility between agents' preferences and collective pricing measures. The framework applies to both continuous- and discrete-time models and clarifies when cooperation leads to a strict improvement in each participating agent's indirect utility.

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 pins down a necessary and sufficient condition for when exchanges strictly raise every agent's indirect utility, expressed as compatibility with collective pricing measures in the semimartingale setting.

read the letter

The main takeaway is that the authors derive a necessary and sufficient condition for the existence of exchanges that strictly improve each agent's indirect utility and characterize it through compatibility of preferences with collective pricing measures. This link between collective efficiency and individual gains is the core result and appears new in the general semimartingale framework rather than a direct restatement of prior duality work. The paper covers both continuous- and discrete-time models, which broadens the reach without obvious extra assumptions. It relies on standard arguments from utility maximization and pricing measures, so the derivation stays grounded. The stress-test note confirms no internal gaps or circularity in the steps. A minor soft spot is that verifying the existence of suitable collective measures in concrete incomplete-market examples will still require case-by-case checks, though the paper correctly treats compatibility as the condition itself rather than assuming it holds. Readers working on multi-agent equilibrium models or on the individual benefits of cooperation in finance will find the precise characterization useful. The result is focused enough to matter for that audience. I would send it to peer review.

Referee Report

1 major / 2 minor

Summary. The manuscript derives a necessary and sufficient condition for the existence of (possibly zero-sum) exchanges among agents in a general semimartingale market model that strictly increase each agent's indirect utility. The condition is characterized in terms of compatibility between the agents' preferences and collective pricing measures. The framework applies to both continuous- and discrete-time settings and links individual rationality to collective market efficiency.

Significance. If the central derivation holds, the result supplies a precise, duality-based criterion for mutually beneficial cooperation in incomplete markets. It connects preference structures directly to the existence of improving trades via compatible pricing measures, extending standard semimartingale duality to multi-agent settings. The generality across time discretizations and the absence of free parameters in the derived condition are notable strengths.

major comments (1)

[Main theorem / Section 3] The abstract and main theorem statement assert a complete necessary-and-sufficient characterization, yet the provided derivation steps (relying on indirect-utility duality and existence of collective measures) omit explicit verification of the technical assumptions required for the semimartingale case; this weakens verifiability of the claim as stated.

minor comments (2)

[Introduction] Notation for indirect utilities and collective pricing measures should be introduced with a dedicated table or list of symbols for clarity.
[Section 4] A short remark on how the discrete-time case reduces from the continuous-time arguments would aid readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the detailed reading and for highlighting the need for greater explicitness in the technical assumptions. We address the single major comment below and will incorporate the requested clarifications in the revised manuscript.

read point-by-point responses

Referee: [Main theorem / Section 3] The abstract and main theorem statement assert a complete necessary-and-sufficient characterization, yet the provided derivation steps (relying on indirect-utility duality and existence of collective measures) omit explicit verification of the technical assumptions required for the semimartingale case; this weakens verifiability of the claim as stated.

Authors: We agree that the current presentation in Section 3 invokes standard semimartingale duality results (e.g., the existence of equivalent martingale measures under NFLVR) without spelling out the precise integrability and no-arbitrage conditions needed for the indirect-utility representation to hold simultaneously for all agents. In the revision we will add a short subsection (new Section 3.1) that explicitly states the standing assumptions—namely, that each agent’s utility satisfies reasonable asymptotic elasticity, that the market satisfies the semimartingale NFLVR condition, and that the collective pricing measure lies in the intersection of the individual dual domains—and verify that these are sufficient for the equivalence between the existence of strictly improving exchanges and compatibility with a common collective measure. This addition will not alter the statement of the main theorem but will make the derivation fully self-contained. revision: yes

Circularity Check

0 steps flagged

Derivation self-contained via standard semimartingale duality

full rationale

The central result is a necessary and sufficient condition for the existence of utility-improving exchanges, obtained directly from the general semimartingale market model together with the agents' preference structures and the existence of compatible collective pricing measures. The derivation relies on standard duality arguments for indirect utilities; no equation reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation. The characterization in terms of preference-measure compatibility follows from the model primitives without circular reduction, and the framework applies uniformly to continuous- and discrete-time cases.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the standard semimartingale market model and the existence of indirect utilities from agent preferences; no new free parameters or invented entities are introduced.

axioms (2)

domain assumption Asset prices follow a general semimartingale process
Standard modeling choice in mathematical finance that covers both continuous and discrete trading.
domain assumption Agents have preferences that admit well-defined indirect utilities
Required for the utility-maximization problem underlying the indirect utilities.

pith-pipeline@v0.9.0 · 5362 in / 1311 out tokens · 37732 ms · 2026-05-13T18:40:17.383086+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.

Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

NCA(Y)⇔M_e(Y)≠∅ and Q_X∉M(Y) iff there exists beneficial Y (Theorem 1.3, Corollary 4.11, 4.20)
Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

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

U_i(X;Y) = min_λ min_Q λ E_Q[X+Y] + E[Φ_i(λ dQ/dP)] with Q minimax measure in M_σ(S_i)

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

33 extracted references · 33 canonical work pages

[1]

Bellini and M

F. Bellini and M. Frittelli. On the existence of minimax martingale measures.Math. Finance, 12(1):1–21, 2002

work page 2002
[2]

Biagini, A

F. Biagini, A. Doldi, J.-P. Fouque, M. Frittelli, and T. Meyer-Brandis. Collective arbitrage and the value of cooperation.Finance and Stochastics, 30(1):1–57, 2026

work page 2026
[3]

Biagini and M

S. Biagini and M. Frittelli. Utility maximization in incomplete markets for unbounded pro- cesses.Finance Stoch., 9(4):493–517, 2005

work page 2005
[4]

Biagini and M

S. Biagini and M. Frittelli. A unified framework for utility maximization problems: an Orlicz space approach.Ann. Appl. Probab., 18(3):929–966, 2008

work page 2008
[5]

Biagini and M

S. Biagini and M. Frittelli. On the extension of the Namioka-Klee theorem and on the Fatou property for risk measures. InOptimality and risk—modern trends in mathematical finance, pages 1–28. Springer, Berlin, 2009

work page 2009
[6]

Biagini, M

S. Biagini, M. Frittelli, and M. Grasselli. Indifference price with general semimartingales. Mathematical Finance, 21(3):423–446, 2011

work page 2011
[7]

J. M. Borwein and J. D. Vanderwerff.Convex functions: constructions, characterizations and counterexamples, volume 109 ofEncyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, 2010

work page 2010
[8]

M. E. Bratman. Shared cooperative activity.The Philosophical Review, 101(2):327–341, 1992

work page 1992
[9]

Carassus

L. Carassus. No free lunch for markets with multiple num´ eraires.J. Math. Econom., 104:Paper No. 102805, 18, 2023

work page 2023
[10]

R. C. Dalang, A. Morton, and W. Willinger. Equivalent martingale measures and no-arbitrage in stochastic securities market models.Stochastics Stochastics Rep., 29(2):185–201, 1990

work page 1990
[11]

K. S. Decker and V. R. Lesser. Designing a family of coordination algorithms. InProceedings of the First International Conference on Multi-Agent Systems (ICMAS-95), pages 73–80. AAAI Press / MIT Press, 1995

work page 1995
[12]

Delbaen and K

F. Delbaen and K. Owari. Convex functions on dual Orlicz spaces.Positivity, 23(5):1051–1064, 2019

work page 2019
[13]

Delbaen and W

F. Delbaen and W. Schachermayer. The fundamental theorem of asset pricing for unbounded stochastic processes.Math. Ann., 312(2):215–250, 1998

work page 1998
[14]

Delbaen and W

F. Delbaen and W. Schachermayer.The mathematics of arbitrage. Springer Finance. 2006

work page 2006
[15]

Doldi, M

A. Doldi, M. Frittelli, and M. Maggis. Collective completeness and pricing hedging duality. Mathematics and Financial Economics, 19(4):757–784, 2025

work page 2025
[16]

J. E. Doran, S. Franklin, N. R. Jennings, and T. J. Norman. On cooperation in multi-agent systems.The Knowledge Engineering Review, 12(3):309–314, 1997

work page 1997
[17]

E. H. Durfee and V. R. Lesser. Using partial global plans to coordinate distributed problem solvers. In A. H. Bond and L. Gasser, editors,Readings in Distributed Artificial Intelligence, pages 285–293. Morgan Kaufmann, 1988

work page 1988
[18]

G. A. Edgar and L. Sucheston.Stopping times and directed processes, volume 47 ofEncyclo- pedia of Mathematics and its Applications. Cambridge University Press, Cambridge, 1992

work page 1992
[19]

Frittelli

M. Frittelli. The minimal entropy martingale measure and the valuation problem in incomplete markets.Mathematical Finance, 10(1):39–52, 2000. 34

work page 2000
[20]

Frittelli

M. Frittelli. Collective free lunch and the FTAP.SIAM Journal on Financial Mathematics, 16(1):53–67, 2025

work page 2025
[21]

J. M. Harrison and D. M. Kreps. Martingales and arbitrage in multiperiod securities markets. J. Econom. Theory, 20(3):381–408, 1979

work page 1979
[22]

J. M. Harrison and S. R. Pliska. Martingales and stochastic integrals in the theory of contin- uous trading.Stochastic Process. Appl., 11(3):215–260, 1981

work page 1981
[23]

Jacod and A

J. Jacod and A. N. Shiryaev. Local martingales and the fundamental asset pricing theorems in the discrete-time case.Finance Stoch., 2(3):259–273, 1998

work page 1998
[24]

N. R. Jennings. Commitments and conventions: The foundation of coordination in multi-agent systems.The Knowledge Engineering Review, 8(3):223–250, 1993

work page 1993
[25]

Y. Kabanov. In discrete time a local martingale is a martingale under an equivalent probability measure.Finance Stoch., 12(3):293–297, 2008

work page 2008
[26]

L. V. Kantorovich and G. P. Akilov.Functional analysis. Pergamon Press, Oxford-Elmsford, N.Y., second edition, 1982. Translated from the Russian by Howard L. Silcock

work page 1982
[27]

Karatzas and S

I. Karatzas and S. E. Shreve.Brownian motion and stochastic calculus, volume 113 ofGraduate Texts in Mathematics. Springer-Verlag, New York, second edition, 1991

work page 1991
[28]

D. M. Kreps. Arbitrage and equilibrium in economies with infinitely many commodities.J. Math. Econom., 8(1):15–35, 1981

work page 1981
[29]

Milgrom and I

P. Milgrom and I. Segal. Envelope theorems for arbitrary choice sets.Econometrica, 70(2):583– 601, 2002

work page 2002
[30]

M. M. Rao and Z. D. Ren.Theory of Orlicz spaces, volume 146 ofMonographs and Textbooks in Pure and Applied Mathematics. Marcel Dekker, Inc., New York, 1991

work page 1991
[31]

R. T. Rockafellar. Integrals which are convex functionals.Pacific J. Math., 24:525–539, 1968

work page 1968
[32]

R. T. Rockafellar.Conjugate duality and optimization. Society for Industrial and Applied Mathematics, Philadelphia, Pa., 1974. Lectures given at the Johns Hopkins University, Balti- more, Md., June, 1973, Conference Board of the Mathematical Sciences Regional Conference Series in Applied Mathematics, No. 16

work page 1974
[33]

L. Steels. Cooperation between distributed agents through self-organisation. In Y. Demazeau and J.-P. M¨ uller, editors,Decentralized AI, pages 175–196. Elsevier, 1990. 35

work page 1990