REVIEW 3 major objections 4 minor 1 cited by
Rough backward SDEs with discontinuous Young drivers
T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read This paper proves that backward stochastic differential equations with discontinuous rough drivers, of both forward-jump and Marcus-jump type, have unique global solutions, and that the corresponding randomized equations are well posed.
desk verdict Genuinely new results on rough BSDEs with jumps, but the appendix Itô formula underpinning the main estimates is misstated and needs a real revision. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the backward Young integral $\int_t^T g(r,Y_{r+})\,(\diamond)\,dW$, whose definition (Appendix A) requires the integrand to have finite $p$-variation regularity; the fixed-point map of Theorem 3.2 is constructed so that this regularity is preserved inside a ball in $B_p \times \mathrm{BMO}$. The second mechanism is an extension of the pathwise Itô formula (Appendix B) to processes $Y = A + M$ with $A$ càglàd of finite $q$-variation for $q<2$ and $M$ a continuous local martingale; this yields the quadratic-variation estimates (3.9) and (3.33) that drive the a priori bounds. For stability, the driver $W$ and the solution $Y$ are embedded into the space of decorated paths, that is, rough paths augmented with extra information at each jump describing the trajectory used to cross the jump; this space is equipped with the Skorokhod-type $p$-variation metric $\alpha_p$, whose $\delta$-extensions encode jump excursions, so that convergence of drivers does not erase the jump dynamics.
What would settle it
Take a càglàd path $A$ of finite $q$-variation with $q$ close to 2 and jumps placed at dyadic times, together with a Brownian motion $M$, and compute the cross-variation sums $\sum (M_{t_{i+1}}-M_{t_i})(A_{t_{i+1}}-A_{t_i})$ along refined partitions. If for some such $A$ produced by the fixed-point map these sums do not vanish, Lemma B.1 and hence the a priori estimates (3.9) and (3.33) fail, and the well-posedness theorem would be false.
Extended reading notes
Core claim
The central discovery, Theorem 3.4, is that under Assumption A the forward-type and Marcus-type rough backward SDEs each admit a unique solution $(Y,Z)$ in the space $B_p \times \mathrm{BMO}$ on the whole interval $[0,T]$, where $Y$ is a càglàd adapted process with conditional finite $p$-variation and $Z$ is a BMO integrand for the Brownian martingale. The proof derives global a priori bounds directly, without comparison theorems, so $Y$ need not be one-dimensional and the vector field $g$ may be nonlinear; local fixed-point contractions are then glued over a partition after prescribing the solution by hand at the large jumps of $W$. The paper further proves that the Picard iterates converge globally to the solution (Theorem 3.5), that the solution map is stable with respect to perturbations of $W$ measured in the Skorokhod-type $\alpha_p$ metric on decorated paths (Theorem 4.7), and that the corresponding backward doubly stochastic SDEs driven by an independent finite-$q$-variation process $L$ are well posed (Theorem 5.10).
Load-bearing premise
The whole construction depends on the extended Itô formula in Appendix B, which treats $Y = A + M$, a left-continuous finite-$q$-variation part plus a continuous martingale, as a pathwise quadratic-variation process; if that formula fails for the solution class, the a priori bounds—and therefore global existence—collapse.
Editorial extensions
If this is right
- Both forward-type and Marcus-type rough backward SDEs with Lipschitz coefficients are globally well posed, with no one-dimensionality restriction on $Y$.
- The Picard iteration converges to the unique solution in $B_p \times \mathrm{BMO}$, giving a constructive approximation scheme.
- If a sequence of rough drivers converges in the $\alpha_q$ metric on decorated paths, the corresponding $Y$-solutions converge in $\alpha_p$ in probability and the $Z$-components converge in $L^2(dt \otimes P)$.
- Marcus-type solutions coincide with the time-stretching solutions, so the classical Marcus jump intuition is validated in the backward setting.
- Randomizing the rough driver yields a new well-posed class of backward doubly stochastic differential equations whose noise can be fractional Brownian motion with Hurst index $H>1/2$, pure-jump Lévy processes, or sums of such processes.
Reading between the lines
- Reader inference: combining Theorem 4.7 with the time-stretching equivalence suggests a Wong–Zakai recipe — smooth the driver, solve the continuous RBSDE, and take the limit — with Marcus jumps recovered by linear excursions and forward jumps by constant excursions; the stability theorem is exactly the convergence ingredient such a recipe needs.
- Reader inference: the measurable-selection results in Section 5.1 make the solution map a function of the driving path, so one could simulate a path of $L$, solve the deterministic RBSDE pathwise, and thereby approximate the BDSDE solution; this conditional-solution structure is a natural target for numerical schemes.
- Reader inference: the direct a priori bound method is expected to degrade as $q$ approaches 2 because the local interval length depends on the $q$-variation of $W$; the theory should break down in the Brownian limit, which matches the paper's exclusion of $L$ being a Brownian motion.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies backward stochastic differential equations driven by a Brownian motion and a deterministic càglàd path W of finite q-variation, q∈[1,2), in both forward- and Marcus-type jump conventions. The main results are: global existence and uniqueness in B_p × BMO under Assumption A (Theorem 3.4), global convergence of Picard iterations (Theorem 3.5), stability of solutions with respect to perturbations of the driver in a Skorokhod-type p-variation metric on decorated paths (Theorem 4.7), and well-posedness of a class of backward doubly stochastic differential equations driven by an independent finite-q-variation process (Theorem 5.10). The proofs proceed by apriori bounds, local contraction arguments, gluing across jumps, a double-indexed Picard scheme, and measurable selection results; the appendix extends Föllmer's pathwise Itô calculus to sums of continuous local martingales and càglàd finite-q-variation processes.
Significance. If correct, this is a substantial contribution: it provides the first global well-posedness theory for rough backward SDEs with discontinuous Young drivers, removes the one-dimensional restriction of earlier comparison-based arguments, introduces a stability theory in decorated-path Skorokhod topologies, and establishes a new BDSDE class beyond Brownian noise. The paper is carefully structured and contains detailed fixed-point estimates, explicit norm control, measurable-selection arguments, and self-contained appendix material. However, because the pathwise Itô formula in Theorem B.3 is central to the apriori bounds and contraction estimates, the correctness of the main theorems currently hinges on correcting that formula and re-verifying the estimates derived from it.
major comments (3)
- [Appendix B, Theorem B.3] Theorem B.3 is not correct as stated. Take A to be the càglàd path with a single jump at t0: A_t=2 for t≤t0 and A_t=1 for t>t0, so Δ⁺A_{t0}=-1, and take M=0 and f(x)=x². Then f(A_T)-f(A_0)=1-4=-3. The first displayed formula gives f(Y_T)=4+∫ f'(A+_s)dA_s=4-2=2, and the second displayed formula gives 4+∫ f'(A_s)d←-A_s + [f(1)-f(2)-f'(2)Δ⁺A_{t0}]=4-2+(1-4+4)=3. The jump correction must use f'(Y_{s+}) when the integral is the backward Young integral with right-endpoint evaluation; the corrected correction term in the example equals -1, yielding the correct value 1. This theorem is the basis for the displayed identities (3.9), (3.12), (3.33), and (3.38), so the central apriori bound and contraction estimates are not reliable as written. The estimates appear salvageable, since the erroneous sign enters through terms that can still be bounded by the same positive sums, but the proof must be re-derived with a corrected formula and the main estimates updated accordingly.
- [Section 3.2, Eq. (3.33)] In the contraction proof, Itô's formula is applied to |\bar Y^Δ_t|², so the quadratic variation term on the left should involve \bar Z^Δ. As printed, Eq. (3.33) has E_t∫|Z^Δ_r|²dc_r, without the bar, while (3.30) and (3.39) correctly concern \bar Z^Δ. The displayed inequality is therefore false as written and must be corrected; the surrounding estimates indicate the intended statement, so this is a local but necessary correction.
- [Section 3.1, Eq. (3.15)] Eq. (3.15) states ∥ΔY_{t_{i-1}}∥∞ = ∥φ(g_{t_{i-1}}ΔW_{t_{i-1}},Y_{t_{i-1}+})-Y_{t_{i-1}+}∥∞ ≤ C_g|ΔW_{t_{i-1}}|, but this is not the estimate supplied by Taylor's formula: Taylor yields |φ(V,x)-x| ≤ |g|∞|V| + O(|V|²), so the displayed bound with the bare constant C_g is false in general and can only be obtained after enlarging the constant using the local smallness of ∥W∥_{q;(t_{i-1},t_i]}. Two sentences later the forward-jump relation is printed as Y_{t_{i-1}}=-g_{t_{i-1}}(Y_{t_{i-1}+}), which is missing the factor ΔW; the correct reverse-time relation is Y_{t_{i-1}}=Y_{t_{i-1}+}+g_{t_{i-1}}(Y_{t_{i-1}+})ΔW_{t_{i-1}}. These are fixable, but as written the apriori bound proof contains false identities.
minor comments (4)
- [Section 5.2, Corollary 5.11] Corollary 5.11 is stated without proof, with only a reference to an analogous argument in [27]; given the two-sided filtration and the non-semimartingale finite-q-variation driver, a proof sketch or a precise statement of the analogy should be provided.
- [Section 4.1, Lemma 4.5] In the statement of Lemma 4.5, the text reads 'q¿0' instead of 'q>0'; this should be corrected.
- [Section 4.3, Theorem 4.7 proof] The notation Y^{k,∞,δ_l} for the solution of the n-th Picard iterate is hard to parse because the superscript ∞ is used both for the limiting equation and for the Picard limit; consider a clearer notation such as Y^{k,δ_l} for the solution and Y^{k,n,δ_l} for the iterates.
- [Section 3.1, Eq. (3.8)] The displayed estimate (3.8) contains an unmatched parenthesis and an unclear line break in the term involving C_g(1+|Y|_{p,2;[T-ε,T]}); reformatting would improve readability.
Circularity Check
No significant circularity: central well-posedness and stability theorems are proved from external Young integration and pathwise Itô calculus; the only self-reference is a non-load-bearing pointer to future work.
full rationale
The paper derives global well-posedness of forward- and Marcus-type RBSDEs by proving a priori bounds and local contraction estimates in B_p × BMO, using the backward Young integral of Appendix A and an Itô-type formula in Appendix B. These inputs are external calculus results or are proved in the appendices, not restatements of the solution concept; no parameter is fitted and no 'prediction' is renamed input. The BDSDE results in Section 5 are obtained by randomizing the already-established RBSDE solution and using measurable-selection lemmas to verify the integral equation, which is a genuine lifting rather than a definitional reduction. The only self-citation is [4], a pointer to future work on rough PDEs, which is nowhere used in a derivation. One caveat, which is a correctness/technical concern rather than a circularity, is that the displayed Itô formulas in Theorem B.3 appear to misspecify the jump correction: the stated second form uses f'(Y_s) where evaluation at the right endpoint appears needed, and the first form omits the jump sum that the proof's intermediate formula contains. Since the printed identities are used in deriving the estimates (3.9) and (3.33), the a priori bounds inherit a proof gap if the correction is substantive, but this is not a circular argument and does not raise the circularity score.
Assumptions & free parameters
assumptions (4)
- standard math Backward Young integral existence, stability, and sewing estimates (Appendix A, Propositions A.1, A.7) based on the rough path jump theory of Friz-Zhang [18].
- standard math Pathwise Ito formula for Y = A + M with A caglad of finite q-variation q < 2 and M a continuous local martingale (Appendix B, Theorem B.3, Lemma B.1).
- domain assumption Assumptions A and B: W in D_q, f Lipschitz, g in D_{p,2}C_b^2, xi in L-infinity, and for stability the stated convergence and uniform continuity conditions.
- standard math Martingale representation and measurable selection on the product space, including the initially enlarged filtration result of Amendinger [2] and Stricker-Yor [32].
Cite this review
Pith. "Pith review of Rough backward SDEs with discontinuous Young drivers." pith.science (2026). https://pith.science/paper/D6AHHXCQ
@misc{pith2026250520437,
author = {Pith},
title = {Pith review of: Rough backward SDEs with discontinuous Young drivers},
year = {2026},
howpublished = {\url{https://pith.science/paper/D6AHHXCQ}},
note = {Machine review of arXiv:2505.20437}
}
abstract
We study solutions to backward differential equations that are driven hybridly by a deterministic discontinuous rough path $W$ of finite $q$-variation for $q \in [1, 2)$ and by Brownian motion $B$. To distinguish between integration of jumps in a forward- or Marcus-sense, we refer to these equations as forward- respectively Marcus-type rough backward stochastic differential equations (RBSDEs). We establish global well-posedness by proving global apriori bounds for solutions and employing fixed-point arguments locally. Furthermore, we lift the RBSDE solution and the driving rough noise to the space of decorated paths endowed with a Skorokhod-type metric and show stability of solutions with respect to perturbations of the rough noise. Finally, we prove well-posedness for a new class of backward doubly stochastic differential equations (BDSDEs), which are jointly driven by a Brownian martingale $B$ and an independent discontinuous stochastic process $L$ of finite $q$-variation. We explain, how our RBSDEs can be understood as conditional solutions to such BDSDEs, conditioned on the information generated by the path of $L$.
Forward citations
Cited by 1 Pith paper
-
The Yang-Mills measure on surfaces via Morse theory
A Morse-gauge continuum construction of the 2D Yang–Mills measure on any compact surface yields Witten’s partition function and Migdal–Lévy holonomy laws for admissible loops.
Reference graph
Works this paper leans on
-
[1]
Allan and Jost Pieper, Rough Stochastic Analysis with Jumps , August 2024, arXiv:2408.06978
Andrew L. Allan and Jost Pieper, Rough Stochastic Analysis with Jumps , August 2024, arXiv:2408.06978
-
[2]
J¨ urgen Amendinger, Martingale representation theorems for initially enlarged filtra- tions, Stochastic Processes and their Applications 89 (2000), no. 1, 101–116. MR 1775229
work page 2000
-
[3]
Elena Bandini and Francesco Russo, Weak Dirichlet processes and generalized mar- tingale problems , Stochastic Processes and their Applications 170 (2024), Paper No. 104261, 37. MR 4682671 48
work page 2024
-
[4]
Dirk Becherer, Peter Friz, and Yuchen Sun, Semilinear rough PDEs with discontinuous rough driver, in preparation, 2025+
work page 2025
-
[5]
Patrick Billingsley, Convergence of probability measures , second ed., Wiley Series in Probability and Statistics: Probability and Statistics, John Wiley & Sons, Inc., New York, 1999. MR 1700749
work page 1999
-
[6]
Ilya Chevyrev and Peter K. Friz, Canonical RDEs and general semimartingales as rough paths, The Annals of Probability 47 (2019), no. 1, 420–463. MR 3909973
work page 2019
-
[7]
Ilya Chevyrev, Peter K. Friz, Alexey Korepanov, and Ian Melbourne, Superdiffusive limits for deterministic fast-slow dynamical systems , Probability Theory and Related Fields 178 (2020), no. 3-4, 735–770. MR 4168387
work page 2020
-
[8]
Ilya Chevyrev, Alexey Korepanov, and Ian Melbourne, Superdiffusive limits beyond the Marcus regime for deterministic fast-slow systems , Communications of the American Mathematical Society 4 (2024), 746–786. MR 4840242
work page 2024
Show all 36 references
-
[9]
1, 50–77
Asaf Cohen, On singular control problems, the time-stretching method, and the weak- M1 topology, SIAM Journal on Control and Optimization 59 (2021), no. 1, 50–77. MR 4194314
2021
-
[10]
1755, Springer, Berlin, 2001, pp
Fran¸ cois Coquet, Jean M´ emin, and Leszek S l ominski,On weak convergence of filtra- tions, S´ eminaire de Probabilit´ es, XXXV, Lecture Notes in Math., vol. 1755, Springer, Berlin, 2001, pp. 306–328. MR 1837294
2001
-
[11]
4, 1715–1758
Joscha Diehl and Peter Friz, Backward stochastic differential equations with rough drivers, The Annals of Probability 40 (2012), no. 4, 1715–1758. MR 2978136
2012
-
[12]
Joscha Diehl and Jianfeng Zhang, Backward stochastic differential equations with Young drift, Probability, Uncertainty and Quantitative Risk 2 (2017), Paper No. 5, 17. MR 3663305
2017
-
[13]
Friz and Martin Hairer, A course on rough paths , second ed., Universitext, Springer, Cham, 2020
Peter K. Friz and Martin Hairer, A course on rough paths , second ed., Universitext, Springer, Cham, 2020. MR 4174393
2020
-
[14]
Friz, Antoine Hocquet, and Khoa Lˆ e, Rough stochastic differential equations , August 2024, arXiv:2106.10340 [math]
Peter K. Friz, Antoine Hocquet, and Khoa Lˆ e, Rough stochastic differential equations , August 2024, arXiv:2106.10340 [math]
2024
-
[15]
Friz, Khoa Lˆ e, and Huilin Zhang,Controlled rough SDEs, pathwise stochastic control and dynamic programming principles, December 2024, arXiv:2412.05698 [math]
Peter K. Friz, Khoa Lˆ e, and Huilin Zhang,Controlled rough SDEs, pathwise stochastic control and dynamic programming principles, December 2024, arXiv:2412.05698 [math]
2024
-
[16]
Friz and Atul Shekhar, General rough integration, L´ evy rough paths and a L´ evy-Kintchine-type formula, The Annals of Probability 45 (2017), no
Peter K. Friz and Atul Shekhar, General rough integration, L´ evy rough paths and a L´ evy-Kintchine-type formula, The Annals of Probability 45 (2017), no. 4, 2707–2765. MR 3693973
2017
-
[17]
Friz and Nicolas B
Peter K. Friz and Nicolas B. Victoir, Multidimensional stochastic processes as rough paths, Cambridge Studies in Advanced Mathematics, vol. 120, Cambridge University Press, Cambridge, 2010. MR 2604669
2010
-
[18]
Friz and Huilin Zhang, Differential equations driven by rough paths with jumps, Journal of Differential Equations 264 (2018), no
Peter K. Friz and Huilin Zhang, Differential equations driven by rough paths with jumps, Journal of Differential Equations 264 (2018), no. 10, 6226–6301. MR 3770049
2018
-
[19]
F¨ ollmer,Calcul d’Itˆ o sans probabilit´ es, Seminar on Probability, XV (Univ
H. F¨ ollmer,Calcul d’Itˆ o sans probabilit´ es, Seminar on Probability, XV (Univ. Stras- bourg, Strasbourg, 1979/1980) (French), Lecture Notes in Math., vol. 850, Springer, Berlin, 1981, pp. 143–150. MR 622559
1979
-
[20]
Shiryaev, Limit theorems for stochastic processes, second ed., Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathem- atical Sciences], vol
Jean Jacod and Albert N. Shiryaev, Limit theorems for stochastic processes, second ed., Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathem- atical Sciences], vol. 288, Springer-Verlag, Berlin, 2003. MR 1943877 49
2003
-
[21]
5, 655–665
Shuai Jing, Nonlinear fractional stochastic PDEs and BDSDEs with Hurst parameter in (1/2,1) , Systems & Control Letters 61 (2012), no. 5, 655–665. MR 2913494
2012
-
[22]
Kurtz, ´Etienne Pardoux, and Philip Protter, Stratonovich stochastic differ- ential equations driven by general semimartingales, Annales de l’Institut Henri Poincar´ e
Thomas G. Kurtz, ´Etienne Pardoux, and Philip Protter, Stratonovich stochastic differ- ential equations driven by general semimartingales, Annales de l’Institut Henri Poincar´ e. Probabilit´ es et Statistiques31 (1995), no. 2, 351–377. MR 1324812
1995
-
[23]
1, 201–257
Jiahao Liang and Shanjian Tang, Multidimensional backward stochastic differential equations with rough drifts , Transactions of the American Mathematical Society 378 (2025), no. 1, 201–257. MR 4840303
2025
-
[24]
Marcus, Modeling and approximation of stochastic differential equations driven by semimartingales , Stochastics 4 (1980), no
Steven I. Marcus, Modeling and approximation of stochastic differential equations driven by semimartingales , Stochastics 4 (1980), no. 3, 223–245. MR 605630
1980
-
[25]
MR 312578
Itrel Monroe, On the \gamma -variation of processes with stationary independent in- crements, Annals of Mathematical Statistics 43 (1972), 1213–1220. MR 312578
1972
-
[26]
Antonis Papapantoleon, Dylan Possama ¨ ı, and Alexandros Saplaouras,Stability of back- ward stochastic differential equations: the general Lipschitz case , Electronic Journal of Probability 28 (2023), Paper No. 51, 56. MR 4571185
2023
-
[27]
2, 209–227
´Etienne Pardoux and Shi Ge Peng, Backward doubly stochastic differential equations and systems of quasilinear SPDEs , Probability Theory and Related Fields 98 (1994), no. 2, 209–227. MR 1258986
1994
-
[28]
Protter, Stochastic integration and differential equations , second ed., Applic- ations of Mathematics (New York), vol
Philip E. Protter, Stochastic integration and differential equations , second ed., Applic- ations of Mathematics (New York), vol. 21, Springer-Verlag, Berlin, 2004. MR 2020294
2004
-
[29]
Norvaisa R
R. Norvaisa R. M. Dudley, An introduction to p-variation and Young integrals , Public- ation Title: MPS-LN 1998-1, Centre for Mathematical Physics and Stochastics, Uni- versity of Aarhus, Denmark
1998
-
[30]
293, Springer-Verlag, Berlin, 1999
Daniel Revuz and Marc Yor, Continuous martingales and Brownian motion , third ed., Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathem- atical Sciences], vol. 293, Springer-Verlag, Berlin, 1999. MR 1725357
1999
-
[31]
Jian Song, Huilin Zhang, and Kuan Zhang, Backward stochastic differential equations with nonlinear Young driver , April 2025, arXiv:2504.18632 [math]
2025 arXiv
-
[32]
Stricker and M
C. Stricker and M. Yor, Calcul stochastique d´ ependant d’un param` etre, Zeitschrift f¨ ur Wahrscheinlichkeitstheorie und Verwandte Gebiete 45 (1978), no. 2, 109–133. MR 510530
1978
-
[33]
MR 1876437
Ward Whitt, Stochastic-process limits , Springer Series in Operations Research, Springer-Verlag, New York, 2002. MR 1876437
2002
-
[34]
David R. E. Williams, Path-wise solutions of stochastic differential equations driven by L´ evy processes, Revista Matem´ atica Iberoamericana17 (2001), no. 2, 295–329. MR 1891200
2001
-
[35]
86, Springer, New York, 2017
Jianfeng Zhang, Backward stochastic differential equations , Probability Theory and Stochastic Modelling, vol. 86, Springer, New York, 2017. MR 3699487
2017
-
[36]
Z¨ ahle,Integration with respect to fractal functions and stochastic calculus
M. Z¨ ahle,Integration with respect to fractal functions and stochastic calculus. II , Math- ematische Nachrichten 225 (2001), 145–183. MR 1827093 50
2001
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.