pith. sign in

arxiv: 2212.14259 · v5 · pith:XJXOCFIXnew · submitted 2022-12-29 · 🧮 math.PR · math.FA· q-fin.MF

Bipolar Theorems for Sets of Non-negative Random Variables

Johannes Langner , Gregor Svindland This is my paper

Pith reviewed 2026-05-24 09:49 UTC · model grok-4.3

classification 🧮 math.PR math.FAq-fin.MF
keywords bipolar theoremnon-negative random variablesquasi-sure equivalencerobust probability frameworkfinancial modelingdualitypolar sets
0
0 comments X

The pith

Necessary and sufficient conditions are given for bipolar representations of subsets of non-negative random variables in general robust probabilistic frameworks.

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

This paper gives necessary and sufficient conditions under which subsets of non-negative random variables admit a bipolar representation. The setting is a robust probabilistic framework that is not assumed to be dominated by any single measure, and no further restrictions are placed on the underlying space. This generalizes earlier bipolar theorems that required stronger assumptions. The conditions allow the result to hold for quasi-sure equivalence classes of these random variables. Such a representation is useful because it provides a duality between a set and its polar in contexts like robust optimization.

Core claim

In a robust, generally non-dominated probabilistic framework, a subset of the quasi-sure equivalence classes of non-negative random variables admits a bipolar representation if and only if it satisfies certain conditions that the paper identifies, without any further conditions on the measure space. This unifies and generalizes prior results obtained under stronger assumptions on the framework.

What carries the argument

The bipolar representation of a set, defined via the polar and bipolar operations in the space of non-negative random variables under quasi-sure equivalence.

If this is right

  • Previous bipolar theorems under stronger assumptions become special cases of this result.
  • Applications in robust financial modeling can proceed in more general settings without domination.
  • Subsets of random variables can be characterized dually without additional measure space conditions.

Where Pith is reading between the lines

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

  • This could extend duality principles to other areas of stochastic analysis under uncertainty.
  • Testable by checking if the identified conditions hold in specific non-dominated models used in finance.
  • May connect to model-free pricing or superhedging in incomplete markets.

Load-bearing premise

The probabilistic framework must be robust and not dominated by a single measure for the conditions to apply without further restrictions.

What would settle it

A concrete set of non-negative random variables in a non-dominated framework that meets the paper's conditions but lacks a bipolar representation would disprove the claim.

read the original abstract

This paper assumes a robust, in general not dominated, probabilistic framework and provides necessary and sufficient conditions for a bipolar representation of subsets of the set of all quasi-sure equivalence classes of non-negative random variables, without any further conditions on the underlying measure space. This generalizes and unifies existing bipolar theorems proved under stronger assumptions on the robust framework. Applications are in areas of robust financial modeling.

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.

Referee Report

1 major / 0 minor

Summary. The paper assumes a robust, in general not dominated, probabilistic framework and provides necessary and sufficient conditions for a bipolar representation of subsets of the set of all quasi-sure equivalence classes of non-negative random variables, without any further conditions on the underlying measure space. This generalizes and unifies existing bipolar theorems proved under stronger assumptions on the robust framework, with applications in robust financial modeling.

Significance. If the claimed necessary and sufficient conditions can be verified, the result would unify and extend bipolar theorems to general non-dominated robust settings without additional assumptions on the measure space, strengthening the foundations for robust financial modeling and optimization.

major comments (1)
  1. Full text and proofs unavailable (only abstract provided); this prevents assessment of the stated necessary and sufficient conditions, the claimed generalization, and any potential gaps in the quasi-sure equivalence class framework.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their summary of the paper and for highlighting the need for the full manuscript to evaluate the claims. We address the major comment below.

read point-by-point responses

  1. Referee: Full text and proofs unavailable (only abstract provided); this prevents assessment of the stated necessary and sufficient conditions, the claimed generalization, and any potential gaps in the quasi-sure equivalence class framework.

    Authors: The complete manuscript, including the necessary and sufficient conditions, proofs, and details on the quasi-sure equivalence class framework, is available on arXiv under identifier 2212.14259. The text provided here is only the abstract, which summarizes the main result generalizing bipolar theorems to non-dominated robust settings without additional assumptions on the measure space. We recommend consulting the full arXiv version for a complete assessment of the conditions and any potential gaps. If the referee requires a copy or has specific questions based on the abstract, we are available to provide further details. revision: no

Circularity Check

0 steps flagged

No circularity; only abstract available with no derivation chain

full rationale

The document provides only the abstract, which asserts that necessary and sufficient conditions are supplied for bipolar representations of non-negative random variables in a robust non-dominated framework, generalizing prior results under stronger assumptions. No equations, proof steps, definitions, or citations appear in the text, so no load-bearing steps can be inspected for self-definition, fitted inputs called predictions, or self-citation chains. The abstract's claim of generalization without further conditions on the measure space indicates an independent contribution relative to the inputs described.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review provides no identifiable free parameters, specific axioms, or invented entities.

pith-pipeline@v0.9.0 · 5552 in / 788 out tokens · 31903 ms · 2026-05-24T09:49:16.482688+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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.

  1. Robust SGLD algorithm for solving non-convex distributionally robust optimisation problems

    math.OC 2024-03 unverdicted novelty 5.0

    Develops robust SGLD with non-asymptotic convergence bounds for non-convex DRO and applies it to neural network regression under adversarial corruption.

Reference graph

Works this paper leans on

38 extracted references · 38 canonical work pages · cited by 1 Pith paper

  1. [1]

    and Schachermayer, W

    Acciaio, B., Beiglb¨ ock, M., Penkner, F. and Schachermayer, W. [2 016], ‘A model-free version of the fundamental theorem of asset pricing and the super-replic ation theorem’, Mathematical Finance 26(2), 233–251

    work page

  2. [2]

    and Border, K

    Aliprantis, C. and Border, K. [2005], Infinite Dimensional Analysis , 3rd edn, Springer

    work page 2005

  3. [3]

    and Burkinshaw, O

    Aliprantis, C. and Burkinshaw, O. [2003], Locally Solid Riesz Spaces with Applications to Economics, American Mathematical Society

    work page 2003

  4. [4]

    and Burkinshaw, O

    Aliprantis, C. and Burkinshaw, O. [2006], Positive Operators, Springer

    work page 2006

  5. [5]

    and Phelps, E

    Amarante, M., Ghossoub, M. and Phelps, E. [2017], ‘Contracting o n ambiguous prospect’, The Economic Journal 127(606), 2241–2262

    work page 2017

  6. [6]

    and Kupper, M

    Bartl, D. and Kupper, M. [2019], ‘A pointwise bipolar theorem’, Proceedings of the American Mathematical Society 147(4), 1483–1495

    work page 2019

  7. [7]

    and Neufeld, A

    Bartl, D., Kupper, M. and Neufeld, A. [2020], ‘Pathwise superhedg ing on prediction sets’, Finance and Stochastics 24(1), 215–248

    work page 2020

  8. [8]

    and Neufeld, A

    Bartl, D., Kupper, M. and Neufeld, A. [2021], ‘Duality theory for ro bust utility maximization’, Finance and Stochastics 25(3), 469–503

    work page 2021

  9. [9]

    and Denis, L

    Beissner, P. and Denis, L. [2019], ‘Duality and general equilibrium th eory under knightian uncertainty’,Journal of Economic Theory 180, 168–199

    work page 2019

  10. [10]

    and Kervarec, M

    Bion-Nadal, J. and Kervarec, M. [2012], ‘Risk measuring under mo del uncertainty’, The An- nals of Applied Probability 22(1), 213–238

    work page 2012

  11. [11]

    and Carassus, L

    Blanchard, R. and Carassus, L. [2020], ‘No-arbitrage with multip le-priors in discrete time’, Stochastic Processes and their Applications 130(11), 6657–6688

    work page 2020

  12. [12]

    and Nutz, M

    Bouchard, B. and Nutz, M. [2015], ‘Arbitrage and duality in nondo minated discrete-time models’, Annals of Applied Probability 25(2), 823–859

    work page 2015

  13. [13]

    and Schachermayer, W

    Brannath, W. and Schachermayer, W. [1999], ‘A bipolar theorem for L0 +(Ω , F , P)’,S´ eminaire de Probabilit´ es de Strasbourg33, 349–354

    work page 1999

  14. [14]

    and Ob/suppress l´ oj, J

    Burzoni, M., Frittelli, M., Hou, Z., Maggis, M. and Ob/suppress l´ oj, J. [2019],‘Pointwise arbitrage pricing theory in discrete time’, Mathematics of Operations Research 44(3), 1035–1057

    work page 2019

  15. [15]

    and Maggis, M

    Burzoni, M., Frittelli, M. and Maggis, M. [2017], ‘Model-free superh edging duality’, Annals of Applied Probability 27(3), 1452–1477

    work page 2017

  16. [16]

    and Maggis, M

    Burzoni, M. and Maggis, M. [2020], ‘Arbitrage-free modeling unde r knightian uncertainty’, Mathematics and Financial Economics 14, 635–659

    work page 2020

  17. [17]

    and Soner, H

    Burzoni, M., Riedel, F. and Soner, H. M. [2021], ‘Viability and arbitra ge under knightian uncertainty’,Econometrica 89(3), 1207–1234. 37

    work page 2021

  18. [18]

    Chau, H. N. [2020], ‘Robust fundamental theorems of asset pr icing in discrete time’. Preprint

    work page 2020

  19. [19]

    N., Fukasawa, M

    Chau, H. N., Fukasawa, M. and Rasonyi, M. [2021], ‘Super-replica tion with transaction costs under model uncertainty for continuous processes’, Mathematical Finance . Forthcoming

    work page 2021

  20. [20]

    Cohen, S. N. [2012], ‘Quasi-sure analysis, aggregation and dual representations of sublinear expectations in general spaces’, Electronic Journal of Probability 17(62), 1–15

    work page 2012

  21. [21]

    and Peng, S

    Denis, L., Hu, M. and Peng, S. [2011], ‘Function spaces and capac ity related to a sublinear expectation: Application to g-brownian motion paths’, Potential Analysis 34(2), 139–161

    work page 2011

  22. [22]

    Dudley, R. M. [2002], Real Analysis and Probability , Cambridge University Press

    work page 2002

  23. [23]

    and Munari, C

    Gao, N. and Munari, C. [2020], ‘Surplus-invariant risk measures’, Mathematics of Operations Research 45(4), 1342–1370

    work page 2020

  24. [24]

    and Perlman, M

    Hasegawa, M. and Perlman, M. D. [1974], ‘On the existence of a min imal sufficient subfield’, Annals of Statistics 2(5), 1049–1055

    work page 1974

  25. [25]

    and Ob/suppress l´ oj, J

    Hou, Z. and Ob/suppress l´ oj, J. [2020], ‘Robust pricing-hedging dualities incontinuous time’, Finance and Stochastics 22, 511–567

    work page 2020

  26. [26]

    [1995], ‘On pathwise stochastic integration’, Stochastic Processes and Their Applications 57, 11–18

    Karandikar, R. [1995], ‘On pathwise stochastic integration’, Stochastic Processes and Their Applications 57, 11–18

    work page 1995

  27. [27]

    and Schachermayer, W

    Kramkov, D. and Schachermayer, W. [1999], ‘The asymptotic ela sticity of utility functions and optimal investment in incomplete markets’, Annals of Applied Probability 9(3), 904–950

    work page 1999

  28. [28]

    and Schachermayer, W

    Kramkov, D. and Schachermayer, W. [2003], ‘Necessary and su fficient conditions in the prob- lem of optimal investment in incomplete markets’, Annals of Applied Probability 13(4), 1504– 1516

    work page 2003

  29. [29]

    and Svindland, G

    Kupper, M. and Svindland, G. [2011], ‘Dual representation of mo notone convex functions on l0’, Proceedings of the American Mathematical Society 139(11), 4073–4086

    work page 2011

  30. [30]

    and Svindland, G

    Liebrich, F.-B., Maggis, M. and Svindland, G. [2022], ‘Model uncert ainty: A reverse approach’, SIAM Journal on Financial Mathematics 13(3), 1230–1269

    work page 2022

  31. [31]

    and Nendel, M

    Liebrich, F. and Nendel, M. [2022], ‘Separability versus robustne ss of orlicz spaces: Financial and economic perspectives’, Finance and Stochastics 26, 509–537

    work page 2022

  32. [32]

    and Svindland, G

    Maggis, M., Meyer-Brandis, T. and Svindland, G. [2018], ‘Fatou clo sedness under model uncertainty’,Positivity 22(5), 1325–1343

    work page 2018

  33. [33]

    Mykland, P. A. [2003], ‘Financial options and statistical predictio n intervals’,Annals of Statis- tics 31, 1413–1438

    work page 2003

  34. [34]

    [2014], ‘Superreplication under model uncertainty in dis crete time’, Finance and Stochastics 18(4), 791–803

    Nutz, M. [2014], ‘Superreplication under model uncertainty in dis crete time’, Finance and Stochastics 18(4), 791–803

    work page 2014

  35. [35]

    and Wiesel, J

    Ob/suppress l´ oj, J. and Wiesel, J. [2021], ‘A unified framework for robustmodelling of financial markets in discrete time’, Finance and Stochastics 25(3), 427–468. 38

    work page 2021

  36. [36]

    [2015], ‘Financial economics without probabilistic prior as sumptions’, Decisions in Economics and Finance 38(1), 75–91

    Riedel, F. [2015], ‘Financial economics without probabilistic prior as sumptions’, Decisions in Economics and Finance 38(1), 75–91

    work page 2015

  37. [37]

    and Zhang, J

    Soner, M., Touzi, N. and Zhang, J. [2011], ‘Quasi-sure stochast ic analysis through aggrega- tion’, Electronic Journal of Probability 67, 1844–1879

    work page 2011

  38. [38]

    [1991], Comparison of Statistical Experiments , Cambridge University Press

    Torgersen, E. [1991], Comparison of Statistical Experiments , Cambridge University Press. 39

    work page 1991