Can the L¹-L^infty duality be restored for non-dominated families of probability measures?
Pith reviewed 2026-05-14 21:54 UTC · model grok-4.3
The pith
Extending the probability space restores the L¹-L∞ duality for non-dominated families of measures.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
On the extended model, the space L∞(P) of P-quasi-surely bounded functions is isometrically isomorphic to the dual of the space of finite signed measures that are absolutely continuous with respect to at least one element of P. The extension is canonical in that it is the smallest P-complete extension for which L∞(P) serves as such a dual.
What carries the argument
The canonical P-complete extension of the original sigma-algebra, defined as the smallest extension making L∞(P) the dual of the space of P-absolutely continuous signed measures.
If this is right
- The duality holds for infinite product measures, Gaussian processes, and the Black-Scholes model with uncertain volatility.
- The construction is equivalent to the capacity-based approach of prior frameworks under the stated assumptions.
- Kraft's characterization of strictly unbiased hypothesis tests extends directly to non-dominated families.
Where Pith is reading between the lines
- Classical duality arguments become available for robust optimization and risk measures after the space extension.
- Many functional-analytic results that rely on L¹-L∞ duality now admit direct non-dominated versions.
- The same enlargement technique may restore other dualities, such as those involving L^p spaces for p greater than 1.
Load-bearing premise
The family P must satisfy the mild conditions that ensure the canonical extension matches the capacity-based approach and restores the duality.
What would settle it
A specific non-dominated family of measures for which the canonical extension fails to produce an isometric isomorphism between L∞(P) and the dual of the absolutely continuous signed measures.
read the original abstract
The duality $L^{\infty}\simeq (L^{1})'$ frequently breaks down in the presence of model uncertainty, where a single reference measure $P$ is replaced by a non-dominated family of probability measures $\mathcal{P}$. The unavailability of classical measure-theoretic and functional-analytic tools in this regime poses a significant obstacle to developing robust probabilistic frameworks. We show that this duality can be restored for a broad class of robust statistical models by extending the underlying probability space. Specifically, on the extended model, the space $\mathbb{L}^{\infty}(\mathcal{P})$ of $\mathcal{P}$-quasi-surely bounded functions is isometrically isomorphic to the dual of the space of finite signed measures absolutely continuous with respect to at least one element of $\mathcal{P}$. The proposed extension is canonical: it is the smallest $\mathcal{P}$-complete extension of the original $\sigma$-algebra for which $\mathbb{L}^{\infty}(\mathcal{P})$ is the dual of any normed space. Our assumptions encompass several prominent non-dominated settings, including infinite product measures, Gaussian processes, the Black-Scholes model with uncertain constant volatility and drift, robust binomial models, and, more generally, infinite sequences from any parametric model with almost surely estimable parameters. Furthermore, we unify the existing frameworks of Cohen (2012) and Liebrich et al. (2022), demonstrating that our construction is equivalent to the capacity-based approach under mild assumptions satisfied by the aforementioned examples. Finally, we apply our theory to extend Kraft's (1955) characterization of strictly unbiased hypothesis tests to non-dominated cases.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that the L^1-L^∞ duality can be restored for non-dominated families of probability measures by means of a canonical extension of the underlying sigma-algebra. On this extended space, L^∞(P) is isometrically isomorphic to the dual of the space of finite signed measures that are absolutely continuous with respect to at least one measure in the family P. The extension is the smallest P-complete one with this property, applies to several standard non-dominated models (infinite products, Gaussian processes, uncertain Black-Scholes, etc.), unifies Cohen (2012) and Liebrich et al. (2022), and extends Kraft's characterization of unbiased tests.
Significance. Restoring this duality in a canonical way would be a valuable contribution to the theory of robust statistics and model uncertainty, as it would allow the use of classical functional analysis tools in settings where they typically fail. The unification of existing frameworks and the application to hypothesis testing add to its potential impact, provided the technical claims on minimality and equivalence hold.
major comments (2)
- [Abstract and construction section] The central claim that the proposed extension is the smallest P-complete extension such that L^∞(P) is the dual of the space of finite signed measures absolutely continuous w.r.t. at least one P in P is load-bearing (Abstract). The skeptic's concern about whether the construction is minimal (i.e., does not add unnecessary sets) needs to be addressed with a precise argument showing that any proper sub-extension fails the duality.
- [Unification section] The statement that the construction is equivalent to the capacity-based approach under mild conditions for the listed families (infinite products, Gaussian processes, uncertain Black-Scholes) is crucial for the unification claim (Abstract). Please verify explicitly for at least one parametric family that the mild conditions hold and that the duality coincides exactly with Cohen (2012) and Liebrich et al. (2022).
minor comments (2)
- [Notation] Ensure consistent use of L^∞ vs. mathbb{L}^∞ and P vs. mathcal{P} throughout the manuscript.
- [References] The references to Cohen (2012) and Liebrich et al. (2022) should include full bibliographic details for clarity.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and the constructive feedback. The comments help clarify the presentation of the minimality and unification claims. We address each major comment below and will incorporate the suggested clarifications in the revised version.
read point-by-point responses
-
Referee: [Abstract and construction section] The central claim that the proposed extension is the smallest P-complete extension such that L^∞(P) is the dual of the space of finite signed measures absolutely continuous w.r.t. at least one P in P is load-bearing (Abstract). The skeptic's concern about whether the construction is minimal (i.e., does not add unnecessary sets) needs to be addressed with a precise argument showing that any proper sub-extension fails the duality.
Authors: We agree that an explicit argument for minimality strengthens the central claim. The construction is defined as the intersection of all P-complete sigma-algebras on which the duality holds, which by definition yields the smallest such extension. In the revised manuscript we will add a dedicated paragraph in the construction section proving that any proper sub-extension fails the duality: specifically, if a set A is omitted, one can construct a signed measure absolutely continuous w.r.t. some P in P whose associated functional on L^∞(P) cannot be represented by any bounded measurable function on the smaller sigma-algebra. This argument uses only the definition of the dual and the P-completeness requirement. revision: yes
-
Referee: [Unification section] The statement that the construction is equivalent to the capacity-based approach under mild conditions for the listed families (infinite products, Gaussian processes, uncertain Black-Scholes) is crucial for the unification claim (Abstract). Please verify explicitly for at least one parametric family that the mild conditions hold and that the duality coincides exactly with Cohen (2012) and Liebrich et al. (2022).
Authors: We acknowledge that an explicit verification for one parametric family would make the unification claim more concrete. The manuscript already states that the mild conditions (sigma-compactness of the parameter space and almost-sure estimability) are satisfied by the listed families, but we will add a short appendix subsection that carries out the verification in full detail for the uncertain Black-Scholes model. There we will show that the generated sigma-algebra coincides with the one induced by the capacity and that the dual spaces are identical, thereby recovering the duality of Cohen (2012) and Liebrich et al. (2022) as a special case. revision: yes
Circularity Check
No significant circularity; construction is self-contained via explicit extension
full rationale
The paper defines a canonical P-complete extension of the original sigma-algebra via standard measure-theoretic completion operations and proves that L^∞(P) becomes the dual of the indicated space of signed measures on this extension. This is shown to coincide with capacity-based duality under explicitly stated mild conditions satisfied by the listed families (infinite products, Gaussian processes, uncertain Black-Scholes, etc.). The minimality claim is established by verifying that any smaller extension fails the dual property, without reducing the duality statement to a fitted parameter, self-definition, or load-bearing self-citation. The unification with Cohen (2012) and Liebrich et al. (2022) is presented as an equivalence proof under those conditions rather than an imported ansatz. No step equates the claimed isomorphism to its own inputs by construction.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard results of functional analysis (e.g., Hahn-Banach, Riesz representation) hold on the extended space
- domain assumption The family P is non-dominated and satisfies the mild conditions listed for the examples
invented entities (1)
-
Canonical P-complete extension of the original sigma-algebra
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the Hahn-extension ... is the smallest P-complete extension ... for which L^∞(P) is the dual of any normed space
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanabsolute_floor_iff_bare_distinguishability unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Hahn-localizable families ... ca(P)' ≃ L^∞(P) via integration map
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
-
[1]
Annals of Applied Probability, 27(4):2270–2304, 2017
B.AcciaioandM.Larsson.Semi-staticcompletenessandrobustpricingbyinformedinvestors. Annals of Applied Probability, 27(4):2270–2304, 2017. 42 IRENE KLEIN, GEORG KÖSTENBERGER
work page 2017
-
[2]
A model- free version of the fundamental theorem of asset pricing and the super-replication theorem
Beatrice Acciaio, Mathias Beiglböck, Friedrich Penkner, and Walter Schachermayer. A model- free version of the fundamental theorem of asset pricing and the super-replication theorem. Mathematical Finance, 26(2):233–251, 2016
work page 2016
-
[3]
Contracting on ambiguous prospects.The Economic Journal, 127(606):2241–2262, 04 2017
Massimiliano Amarante, Mario Ghossoub, and Edmund Phelps. Contracting on ambiguous prospects.The Economic Journal, 127(606):2241–2262, 04 2017
work page 2017
-
[4]
Pathwise superhedging on prediction sets
Daniel Bartl, Michael Kupper, and Ariel Neufeld. Pathwise superhedging on prediction sets. Finance and Stochastics, 24(1):215–248, January 2020. Publisher Copyright: 2019, Springer- Verlag GmbH Germany, part of Springer Nature
work page 2020
-
[5]
Brown, and Constantine Caramanis
Dimitris Bertsimas, David B. Brown, and Constantine Caramanis. Theory and applications of robust optimization.SIAM Review, 53(3):464–501, 2011
work page 2011
-
[6]
S. Biagini, B. Bouchard, C. Kardaras, and M. Nutz. Robust fundamental theorem for con- tinuous processes.Mathematical Finance, 27(4):963–987, 2015
work page 2015
-
[7]
N. Bingham. Finite additivity versus countable additivity.Electronic Journal for History of Probability and Statistics, 6(1):1–35, 2010
work page 2010
-
[8]
No arbitrage with multiple-priors in discrete time
Romain Blanchard and Laurence Carassus. No arbitrage with multiple-priors in discrete time. Stochastic Processes and their Applications, 130(11):6657–6688, 2020
work page 2020
-
[9]
Bruno Bouchard and Marcel Nutz. Arbitrage and duality in nondominated discrete-time models.Annals of Applied Probability, 25(2):823–859, 2015
work page 2015
-
[10]
Matteo Burzoni, Marco Frittelli, Zhaoxu Hou, Marco Maggis, and Jan Obłój. Pointwise arbi- trage pricing theory in discrete time.Mathematics of Operations Research, 44(3):1034–1057, 2019
work page 2019
-
[11]
Laurence Carassus and Emmanuel Lépinette. Pricing without no-arbitrage condition in dis- crete time.Journal of Mathematical Analysis and Applications, 505(1):125441, 2022
work page 2022
-
[12]
Huy N. Chau. On robust fundamental theorems of asset pricing in discrete time.SIAM Journal on Financial Mathematics, 15(3):571–600, 2024
work page 2024
-
[13]
Chau, Masaaki Fukasawa, and Miklós Rásonyi
Huy N. Chau, Masaaki Fukasawa, and Miklós Rásonyi. Super-replication with transaction costs under model uncertainty for continuous processes.Mathematical Finance, 32(4):1066– 1085, 2022
work page 2022
-
[14]
Choquet expectation and Peng’sg-expectation
Zengjing Chen, Tao Chen, and Matt Davison. Choquet expectation and Peng’sg-expectation. Ann. Probab., 33(3):1179–1199, 2005
work page 2005
-
[15]
Samuel Cohen. Quasi-sure analysis, aggregation and dual representations of sublinear expec- tations in general spaces.Electronic Journal of Probability, 17(none):1 – 15, 2012
work page 2012
-
[16]
Nonlinear continuous semimartingales.Electronic Journal of Probability, 28:1–40, 2023
David Criens and Lars Niemann. Nonlinear continuous semimartingales.Electronic Journal of Probability, 28:1–40, 2023
work page 2023
-
[17]
Nonlinear semimartingales and Markov processes with jumps.J
David Criens and Lars Niemann. Nonlinear semimartingales and Markov processes with jumps.J. Evol. Equ., 25(1):Paper No. 21, 39, 2025
work page 2025
-
[18]
Quantitative Halmos-Savage theorems and robust large financial markets
Christa Cuchiero, Irene Klein, Georg Köstenberger, and Thorsten Schmidt. Quantitative Halmos-Savage theorems and robust large financial markets.Preprint, arXiv:2504.06686, 2025
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[19]
Mark H. A. Davis and David G. Hobson. The range of traded option prices.Mathematical Finance, 17(1):1–14, 2007
work page 2007
-
[20]
L. Denis and M. Kervarec. Optimal investment under model uncertainty in nondominated models.SIAM Journal on Control and Optimization, 51(3):1803–1822, 2013
work page 2013
-
[21]
L. Denis and C. Martini. A theoretical framework for the pricing of contingent claims in the presence of model uncertainty.Annals of Applied Probability, 16(2):827–852, 2006
work page 2006
-
[22]
Laurent Denis, Mingshang Hu, and Shige Peng. Function spaces and capacity related to a sub- linear expectation: Application to G-Brownian motion paths.Potential Analysis, 34(2):139– 161, 2010
work page 2010
-
[23]
Lester E. Dubins and Leonard J. Savage.How to gamble if you must. Inequalities for sto- chastic processes. McGraw-Hill Book Co., New York-Toronto-London-Sydney, 1965
work page 1965
-
[24]
Affine processes under parameter uncertainty.Probability, uncertainty and quantitative risk, 4, 2019
Tolulope Fadina, Ariel Neufeld, and Thorsten Schmidt. Affine processes under parameter uncertainty.Probability, uncertainty and quantitative risk, 4, 2019
work page 2019
-
[25]
D. H. Fremlin.Measure theory. Vol. 3. Torres Fremlin, Colchester, 2002. Measure Algebras
work page 2002
-
[26]
D. H. Fremlin.Measure theory. Vol. 2. Torres Fremlin, Colchester, 2003. Broad foundations, Corrected second printing of the 2001 original
work page 2003
-
[27]
Benedikt Geuchen, Katharina Oberpriller, and Thorsten Schmidt. Classical and deep pricing for path-dependent options in non-linear generalized affine models.International Journal of Theoretical and Applied Finance, 27(02):2450016, 2024. CAN THEL 1-L∞ DUALITY BE RESTORED? 43
work page 2024
-
[28]
Maxmin expected utility with non-unique prior.Journal of Mathematical Economics, 18(2):141–153, 1989
Itzhak Gilboa and David Schmeidler. Maxmin expected utility with non-unique prior.Journal of Mathematical Economics, 18(2):141–153, 1989
work page 1989
-
[29]
Paul R. Halmos and L. J. Savage. Application of the Radon-Nikodym Theorem to the Theory of Sufficient Statistics.The Annals of Mathematical Statistics, 20(2):225 – 241, 1949
work page 1949
-
[30]
Frank R. Hampel, Elvezio M. Ronchetti, Peter J. Rousseeuw, and Werner A. Stahel.Robust statistics. Wiley Series in Probability and Mathematical Statistics: Probability and Mathe- matical Statistics. John Wiley & Sons, Inc., New York, 1986. The approach based on influence functions
work page 1986
-
[31]
Robust pricing–hedging dualities in continuous time.Finance and Stochastics, 22:511 – 567, 2018
Zhaoxu Hou and Jan Obłój. Robust pricing–hedging dualities in continuous time.Finance and Stochastics, 22:511 – 567, 2018
work page 2018
-
[32]
Extended conditionalG-expectations and related stopping times.Probab
Mingshang Hu and Shige Peng. Extended conditionalG-expectations and related stopping times.Probab. Uncertain. Quant. Risk, 6(4):369–390, 2021
work page 2021
-
[33]
Peter J. Huber and Elvezio M. Ronchetti.Robust statistics. Wiley Series in Probability and Statistics. John Wiley & Sons, Inc., Hoboken, NJ, second edition, 2009
work page 2009
-
[34]
Peter J. Huber and Volker Strassen. Minimax Tests and the Neyman-Pearson Lemma for Capacities.The Annals of Statistics, 1(2):251 – 263, 1973
work page 1973
-
[35]
Jensen’s inequality forg-convex function underg-expectation
Guangyan Jia and Shige Peng. Jensen’s inequality forg-convex function underg-expectation. Probab. Theory Related Fields, 147(1-2):217–239, 2010
work page 2010
-
[36]
On equivalence of infinite product measures.Ann
Shizuo Kakutani. On equivalence of infinite product measures.Ann. of Math. (2), 49:214–224, 1948
work page 1948
-
[37]
R. L. Karandikar. On pathwise stochastic integration.Stochastic Processes and their Appli- cations, 57(1):11–18, 1995
work page 1995
-
[38]
Shreve.Brownian motion and stochastic calculus, volume 113 ofGraduate Texts in Mathematics
Ioannis Karatzas and Steven E. Shreve.Brownian motion and stochastic calculus, volume 113 ofGraduate Texts in Mathematics. Springer-Verlag, New York, second edition, 1991
work page 1991
-
[39]
Frank Hyneman Knight.Risk, uncertainty and profit, volume 31. Houghton Mifflin, 1921
work page 1921
-
[40]
Charles Kraft. Some conditions for consistency and uniform consistency of statistical proce- dures.University of California Publication in Statistics, pages 125–141, 1955
work page 1955
-
[41]
A complete characterization of testable hypotheses.Preprint, arXiv:2601.05217, 2026
Martin Larsson, Johannes Ruf, and Aaditya Ramdas. A complete characterization of testable hypotheses.Preprint, arXiv:2601.05217, 2026
-
[42]
Springer Series in Statis- tics
Lucien Le Cam.Asymptotic methods in statistical decision theory. Springer Series in Statis- tics. Springer-Verlag, New York, 1986
work page 1986
-
[43]
Model uncertainty: A reverse approach.SIAM Journal on Financial Mathematics, 13(3):1230–1269, 2022
Felix-Benedikt Liebrich, Marco Maggis, and Gregor Svindland. Model uncertainty: A reverse approach.SIAM Journal on Financial Mathematics, 13(3):1230–1269, 2022
work page 2022
-
[44]
Fabio Maccheroni, Massimo Marinacci, and Aldo Rustichini. Ambiguity aversion, robustness, and the variational representation of preferences.Econometrica, 74(6):1447–1498, 2006
work page 2006
-
[45]
Per Aslak Mykland. Financial options and statistical prediction intervals.The Annals of Statistics, 31(5):1413–1438, 2003
work page 2003
-
[46]
A. Neufeld and M. Nutz. Robust utility maximization with Lèvy processes.Mathematical Finance, 28(1):82–105, 2018
work page 2018
-
[47]
Ariel Neufeld and Marcel Nutz. Nonlinear Lévy processes and their characteristics.Transac- tions of the American Mathematical Society, 369(1):69–95, 2017
work page 2017
-
[48]
S. Peng. G-expectation, G-Brownian motion and related stochastic calculus of Itô’s type. In Benth et. al., editor,Stochastic Analysis and Applications, the Abel Symposium 2005, Abel Symposia, pages 541–567. Springer-Verlag, 2006
work page 2005
-
[49]
Nonlinear expectations, nonlinear evaluations and risk measures
Shige Peng. Nonlinear expectations, nonlinear evaluations and risk measures. InStochastic methods in finance, volume 1856 ofLecture Notes in Math., pages 165–253. Springer, Berlin, 2004
work page 2004
-
[50]
G-expectation, G-Brownian motion and related stochastic calculus of Itô type
Shige Peng. G-expectation, G-Brownian motion and related stochastic calculus of Itô type. Stochastic Analysis and Applications, pages 541–567, 2007
work page 2007
-
[51]
Shige Peng.Nonlinear expectations and stochastic calculus under uncertainty, volume 95 of Probability Theory and Stochastic Modelling. Springer, Berlin, 2019
work page 2019
-
[52]
G-Gaussian processes under sublinear expectations andq-Brownian motion in quantum mechanics.Numer
Shige Peng. G-Gaussian processes under sublinear expectations andq-Brownian motion in quantum mechanics.Numer. Algebra Control Optim., 13(3-4):583–603, 2023
work page 2023
-
[53]
A complete representation theorem for G-martingales.Stochastics, 86(4):609–631, 2014
Shige Peng, Yongsheng Song, and Jianfeng Zhang. A complete representation theorem for G-martingales.Stochastics, 86(4):609–631, 2014
work page 2014
-
[54]
I. R. Petersen, M. R. James, and P. Dupuis. Minimax optimal control of stochastic uncer- tain systems with relative entropy constraints.IEEE Transactions on Automatic Control, 45(3):398–412, 2000. 44 IRENE KLEIN, GEORG KÖSTENBERGER
work page 2000
-
[55]
Hamed Rahimian and Sanjay Mehrotra. Frameworks and results in distributionally robust optimization.Open Journal of Mathematical Optimization, 3:1–85, July 2022
work page 2022
-
[56]
Helmut Rieder.Robust asymptotic statistics. Springer Series in Statistics. Springer-Verlag, New York, 1994
work page 1994
-
[57]
Springer Science & Business Media, 2019
Peng Shige.Nonlinear Expectations and Stochastic Calculus under Uncertainty with Robust CLT and G-Brownian Motion. Springer Science & Business Media, 2019
work page 2019
-
[58]
Shreve.Stochastic calculus for finance
Steven E. Shreve.Stochastic calculus for finance. I. Springer Finance. Springer-Verlag, New York, 2004. The binomial asset pricing model
work page 2004
-
[59]
On general minimax theorems.Pacific J
Maurice Sion. On general minimax theorems.Pacific J. Math., 8(1):171–176, 1958
work page 1958
-
[60]
Mete Soner, Nizar Touzi, and Jianfeng Zhang. Quasi-sure stochastic analysis through aggre- gation.Electronic Journal of Probability, 16(0):1844–1879, 2011
work page 2011
-
[61]
R. Tevzadze, T. Toronjadze, and T. Uzunashvili. Robust utility maximization for diffusion market model with misspecified coefficients.Finance and Stochastics, 17(3):535–563, 2013
work page 2013
-
[62]
Bart P. G. Van Parys, Daniel Kuhn, Paul J. Goulart, and Manfred Morari. Distributionally robust control of constrained stochastic systems.IEEE Transactions on Automatic Control, 61(2):430–442, 2016
work page 2016
-
[63]
Wasserstein distributionally robust stochastic control: A data-driven approach
Insoon Yang. Wasserstein distributionally robust stochastic control: A data-driven approach. IEEE Transactions on Automatic Control, 66(8):3863–3870, 2021
work page 2021
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.