Pith. sign in

REVIEW 3 major objections 5 minor 30 references

Coupling of forward-backward stochastic differential equations on the Wiener space, and application on regularity

T0 review · 3 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves a coupling-variance estimate that turns coefficient data into time and Malliavin regularity for fully coupled forward-backward stochastic differential equations with random coefficients.

desk verdict Credible extension of the coupling method to fully coupled FBSDEs, but the arbitrary-horizon theorem is conditional on an unproven regular decoupling field with quantitative smallness, and the abstract oversells the scope. read the letter →

arxiv 2506.10213 v1 pith:QLVBCVKA submitted 2025-06-11 math.PR

Xilin Zhou This is my paper · ORCID
classification math.PR MSC 60H1060H07
keywords forward-backwardstochasticdifferentialequationscouplingmethodWienerspaceMalliavinSobolevdecouplingfieldvariancepathregularityrandomcoefficients
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Forward-backward stochastic differential equations (FBSDEs) couple a forward process driven by Brownian motion to a backward process fixed by a terminal condition, and their solutions are hard to study directly because the auxiliary process $Z$ is part of the unknown. This paper adapts the coupling method to fully coupled FBSDEs with random, Lipschitz coefficients: on a product space carrying two Brownian motions, one replaces the driving noise by a correlated copy and compares the original solution to its twin. The main object is the $p$-coupling variance $CV_p$, which measures the $L^p$ size of the difference between the two solutions plus a weighted $Z$-term. The paper proves that $CV_p$ is controlled by the coupling distance of the initial and terminal data together with coefficient potential terms, on short intervals and, with a decoupling field, on arbitrary finite intervals. From that estimate it derives $L^p$ regularity in time for $X$, $Y$, and the integrated $Z$, and Malliavin-Sobolev $D_{1,2}$ differentiability of $X_s$ and $Y_s$.

What carries the argument

The load-bearing mechanism is the coupling operator $C^\varphi$ on the Wiener space: given a measurable $\varphi:[0,T]\to[0,1]$, it replaces $W$ with $W^\varphi=\int\sqrt{1-\varphi^2}\,dW+\int\varphi\,dW'$ and transfers random variables and processes while preserving their joint law and their Lipschitz constants. Applied to the FBSDE, it produces a twin equation with solution $(X^\varphi,Y^\varphi,Z^\varphi)$, and the $p$-coupling variance $CV_p([t_1,t_2])$ collects the $L^p$ size of the difference between original and twin plus a term in which the factor $1-\sqrt{1-\varphi^2}$ multiplies $|Z_u|^2$. Lemma 5.3 rewrites the twin equation's diffusion coefficient as a two-component map $\Sigma(s,\alpha,x,y,(z_1,z_2))$ with the same Lipschitz constants, so the local stability estimate of Lemma 4.4 applies directly. For long intervals, Lemma 5.6 transfers a decoupling field $w$ through $C^\varphi$ and preserves the field property, so the local bounds glue across a partition; the final constant grows like a power of the number of subintervals.

What would settle it

Compute the coupling-variance bound in the one-dimensional linear example with $b=f=0$, $\mu(u,x,y,z)=z$, and $g(x)=x$, taking $\varphi=\mathbf{1}_{(s,r]}$. The solution satisfies $Y_s=X_s$, so a regular decoupling field is $w(s,x)=x$ with $L_w=1$ and $L_{\mu,3}=1$, placing the strict inequality $L_wL_{\mu,3}<1$ exactly at its boundary. If inequality (5.20) holds for this equation, the strict condition is unnecessary; if it fails, that condition is the dividing line between coupling-variance control and its absence.

Watch

Extended reading notes

Core claim

Under Assumption 4.1, Assumption H(p), and Assumption 5.1—so the diffusion coefficient splits as $\sigma(x,y)+A(z)$ with $A$ linear—and under the small-interval condition (4.3), Theorem 5.5 gives $CV_p([t,T]) \le c\{E[|\xi-\xi^\varphi|^p + |g(X_T)-g^\varphi(X_T)|^p] + E[U_p([t,T])] + S_p([t,T])\}$ whenever $T-t$ is small. For arbitrary finite horizons, Theorem 5.7 proves the same bound provided the equation admits a regular decoupling field $w$, a random function with $Y_s=w(s,X_s)$ on small subintervals, whose Lipschitz constant $L_w$ satisfies $L_w L_{\mu,3}<1$. The right-hand side involves only the data: the transferred initial value, the transferred terminal function, and the potential terms $U_p$ and $S_p$ built from the coefficients and the coupling function $\varphi$. Specializing $\varphi=\mathbf{1}_{(s,r]}$ gives explicit $L^p$ time-regularity estimates for $X$ and $Y$, and specializing $\varphi_r\equiv r$ recovers the coupling characterization of the Malliavin-Sobolev space $D_{1,2}$, yielding $X_s,Y_s\in D_{1,2}$ for all $s\in[t,T]$.

Load-bearing premise

The load-bearing premise is that, for arbitrary time intervals, the FBSDE admits a regular decoupling field $w$ with Lipschitz constant $L_w$ such that $L_w L_{\mu,3}<1$ (Theorem 5.7, conditions (2)-(3)); the paper cites earlier work for existence of such fields rather than proving them, and the gluing argument for $CV_p$ relies completely on this condition.

Editorial extensions

If this is right

  • On short time intervals, the coupling-variance estimate needs no decoupling field: Theorem 5.5 holds whenever the coefficients are Lipschitz and integrable and condition (4.3) holds, so it covers strongly coupled FBSDEs locally.
  • With a regular decoupling field satisfying $L_w L_{\mu,3}<1$, the same estimate holds on an interval of arbitrary finite length, so the regularity conclusions are not confined to small-time solvability.
  • Taking $\varphi=\mathbf{1}_{(s,r]}$ turns the bound into explicit $L^p$ time regularity: $E|X_s-X_r|^p$ and $E|Y_s-Y_r|^p$ are bounded by powers of $r-s$ times coefficient potentials, and $E[(\int_s^r |Z_u|^2\,du)^{p/2}]$ is bounded by $CV_p([t,T])$.
  • Taking $\varphi_r\equiv r$ and dividing by $r^2$ recovers the known coupling characterization of $D_{1,2}$, so under condition (6.8) both $X_s$ and $Y_s$ lie in the Malliavin-Sobolev space for every $s\in[t,T]$.
  • For deterministic coefficients, condition (6.8) holds automatically, and the estimates reduce to the previously known BSDE and SDE coupling results as special cases.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • An extension the paper leaves implicit: because $CV_p$ contains $\int(1-\sqrt{1-\varphi^2})|Z_u|^2\,du$, the same machinery likely yields a fractional Sobolev or Besov regularity scale for $Z$ itself, although the paper only states $L^p$ information for the integrated $Z$.
  • An extension the paper does not develop: any numerical scheme that respects the coupling operator and the local stability estimate could inherit the same gluing argument, giving discretization-error bounds measured in the $CV_p$ metric.
  • The strict inequality $L_w L_{\mu,3}<1$ enters through the small-interval $L^p$ theory; testing boundary cases such as the linear example in the falsifier would show whether the inequality is necessary for the coupling-variance bound or only for the proof.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper develops a coupling method for fully coupled forward-backward stochastic differential equations (FBSDEs) with random Lipschitz coefficients. It defines a p-coupling variance CV_p([t,T]) and proves two main estimates: a small-time estimate in Theorem 5.5 and an arbitrary-horizon estimate in Theorem 5.7 under an additional regular decoupling field assumption. These estimates are then applied to derive L^p time regularity for the solution (Theorem 6.1) and Malliavin Sobolev D^{1,2} differentiability (Theorem 6.3), using the coupling characterization of D^{1,2} from [8]. The abstract and introduction present the results as applying to FBSDEs with random Lipschitz coefficients, without flagging the decoupling-field condition needed for the arbitrary-horizon result.

Significance. If the technical gaps are repaired, the paper would provide a meaningful extension of the Geiss--Ylinen coupling method from BSDEs and SDEs to fully coupled FBSDEs, yielding explicit bounds on the coupling variance and, as a consequence, regularity results for all three solution components X, Y, and Z. The small-time estimate in Theorem 5.5 is proved in detail and appears to be a genuine contribution. The idea of using a decoupling field to glue small-time estimates is also appropriate. However, the arbitrary-horizon theorem depends on a structural existence assumption that is not verified, and the key gluing lemma contains a time-index inconsistency. These issues must be resolved before the advertised scope can be accepted.

major comments (3)
  1. [Section 5.2, Lemma 5.6 and Eq. (5.15)] There is a time-index inconsistency in Lemma 5.6. Property (1) states that w^{φ,i} is the coupling of w(t_i,·), but Eq. (5.15) uses w^{φ,i}(X_{t_{i+1}}) as the terminal condition on [t_i,t_{i+1}], and property (4) claims Y_{t_i}=w^{φ,i}(ξ). The transference argument in the proof transfers the FBSDE (5.18), whose terminal condition is w(t_{i+1},X_{t_{i+1}}); the coupled equation should therefore have terminal condition w^{φ,i+1}(X_{t_{i+1}}), where w^{φ,i+1}∈C^{φ,0}(w(t_{i+1},·)). With the indexing as written, Eq. (5.15) does not follow from the transference, and property (5.16) is unsupported. This is load-bearing because Theorem 5.7's gluing estimate (5.23) relies exactly on the identity w^{φ}(t_i,X_{t_i})=w^{φ,i}(X_{t_i})=Y_{t_i}.
  2. [Section 5.3, Theorem 5.7 and Remark 4.8] The arbitrary-horizon result is conditional on an existence assumption that is not verified. Theorem 5.7 conditions (2)--(3) require an existing regular decoupling field w satisfying the quantitative condition (4.3) with L_g replaced by L_w. The paper does not prove that such a field exists under the random-coefficient Assumptions 4.1, H(p), and 5.1; Remark 4.8 only cites [14, Theorems 7.3 and 7.4] without checking their hypotheses or verifying the inequality L_w L_{μ,3}<1. Consequently, the abstract and the introductory statement in Section 1, which advertise regularity for FBSDEs with 'random and Lipschitz coefficients', overstate the proven scope. Theorems 6.1(2) and 6.3 inherit this condition. Since strongly coupled FBSDEs can fail to be solvable on long intervals, this is a substantive restriction and should be stated explicitly in the abstract and in the main application theorems.
  3. [Section 4.2, Lemma 4.7] The proof of Lemma 4.7 is omitted, with the text saying only that it follows by a similar approach as in the L^2 case and citing [14, Theorem 7.3]. Since this lemma is the paper's route to L^p well-posedness on arbitrary intervals, the omission is a missing support for a claimed result. The authors should either provide the proof or give a precise reference that covers exactly the present random-coefficient setting, including the role of Assumption H(p) and the quantitative Lipschitz condition involving L_w.
minor comments (5)
  1. [Lemma 5.6(2)] Inequality (5.14) contains a typo: both sides use w^{φ,i}(ω,x); the second argument should be y, so the inequality should read |w^{φ,i}(ω,x)-w^{φ,i}(ω,y)|≤L_w|x-y|.
  2. [Section 6.1, Eq. (6.1)] Inequality (6.1) is stated as a triangle inequality followed by ≤3∥Y_r−Y_s∥_p, which is tautological and does not by itself justify the later decomposition. The proof actually uses the two-term decomposition (6.7); that decomposition should be stated and proved directly rather than introduced through (6.1).
  3. [Theorem 5.7, proof] The reduction 'W.l.o.g., T−t=Nδ' is not automatic because δ is fixed by Lemma 5.6 and Theorem 5.5. The argument can be repaired by choosing a step size h=(T−t)/N≤δ and working with a uniform partition of step h, but the constants in the recursion should then be stated uniformly for h≤δ.
  4. [Lemma 5.6, proof] In the proof, the notation Y^{x0,φ,[t1,t2]}_{t_i} uses the undefined interval [t1,t2]; this should be [t_i,t_{i+1}]. There is also a typo in the line following (5.19), where the interval [t1,t2] appears again.
  5. [Remark 6.2] The remark states that the constants c_1, c_2 and c_3 depend on the data, but only c_1 and c_2 appear in the displayed estimate; either add c_3 or correct the sentence.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the coupling-variance estimate is a genuine transfer (solution variance bounded by input and coefficient variances, with no CV_p term on the right-hand side); the load-bearing inputs, regular decoupling field existence from [14] and the D^{1,2} characterization from the authors' companion paper [8], are external or parameter-free support rather than reductions.

full rationale

The derivation chain is not circular. The central estimate, Theorem 5.5, bounds the p-coupling variance CV_p([t,T]) (equation (3.1)) of the FBSDE solution by E[|xi-xi^phi|^p + |g(X_T)-g^phi(X_T)|^p] + E[U_p([t,T])] + S_p([t,T]); these right-hand terms are input coupling variances and a priori coefficient terms, and no CV_p term appears on the right-hand side, so the estimate is a genuine transfer of input regularity to solution regularity obtained from the L^p stability estimate Lemma 4.4 applied to the coefficient pair (5.7)-(5.8). The extension to arbitrary horizons in Theorem 5.7 is conditional on the existence of a regular decoupling field w with quantitative smallness (Theorem 5.7(2)-(3)); this is an external structural assumption cited to [14] and not proved for the general random-coefficient setting (the text itself records Antonelli's counterexample), so Theorem 6.1(2) and Theorem 6.3 inherit a scope restriction. That is a rigor/scope concern, not a circular reduction. Two flagged caveats: (i) Lemma 4.7's proof is explicitly omitted ('We omit the details here') and follows the [14, Theorem 7.3] pattern; (ii) Lemma 5.6 contains an index inconsistency, since property (1) couples w^{phi,i} to w(t_i,.), while FBSDE (5.15) and property (4) use w^{phi,i} as the terminal condition on [t_i,t_{i+1}] and identify Y_{t_i} with w^{phi,i}(xi); this is a correctness risk in the gluing argument (5.22)-(5.23), not a reduction by definition. Finally, Theorem 3.5, the D^{1,2} characterization imported from the authors' companion paper [8], is load-bearing for the D^{1,2} conclusion, but it is a parameter-free equivalence whose stated hypotheses (xi in L^2) do not include the target result, so under the reviewing rules it counts as independent support and does not raise the circularity score. No fitted-input-as-prediction, renaming, or ansatz-smuggling pattern is present.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The report rests on standard machinery from [7] and [8] plus the explicit structural assumptions on the FBSDE coefficients and the decoupling field. No free parameters are fitted to data, and no new entities are postulated. The central claim is conditional on the given assumptions, which are standard in the FBSDE literature.

assumptions (6)
  • standard math Properties of the coupling operator C^φ (joint distribution preservation, predictability transfer, Lipschitz structure preservation) from Geiss-Ylinen [7, Prop 2.5, 2.12, Remark 3.4].
    Invoked in Section 3.1-3.3 and throughout Theorem 5.5; proved in the cited memoir, not re-derived here.
  • standard math L^p existence-uniqueness and a priori/stability estimates for FBSDEs on small intervals (Lemma 4.3, 4.4) from Yong [28, Thm 2.3].
    Relied on in Lemma 4.4 proof and Theorem 5.5 via the contraction argument; cited as established.
  • domain assumption Existence of a regular decoupling field w with Lipschitz constant L_w and L_w L_{μ,3}<1.
    Needed for Lemmas 4.7, 5.6 and Theorem 5.7 to extend estimates from small to arbitrary intervals; existence conditions cited from [14].
  • standard math D^{1,2} characterization via coupling (Theorem 3.5) from Geiss-Zhou [8, Cor 4.3].
    Used in Theorem 6.3 to infer Malliavin differentiability from the coupling variance bound; stated as known.
  • standard math Transference theorem for SDEs under coupling (Theorem 7.1) from [7, Thm 3.3].
    Used to derive the coupled FBSDE (5.3)-(5.4) from the original FBSDE; internalized as Theorem 7.1 in Appendix 7.2.
  • domain assumption Fractional potential condition Assumption 6.5 with (6.10) or (6.11) for random coefficients.
    Imposed in Lemma 6.6 to verify condition (6.8) needed for D^{1,2} differentiability; not verified in general.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Coupling of forward-backward stochastic differential equations on the Wiener space, and application on regularity." pith.science (2026). https://pith.science/paper/QLVBCVKA

@misc{pith2026250610213,
  author       = {Pith},
  title        = {Pith review of: Coupling of forward-backward stochastic differential equations on the Wiener space, and application on regularity},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QLVBCVKA}},
  note         = {Machine review of arXiv:2506.10213}
}
abstract

S. Geiss and J. Ylinen proposed the coupling method \cite{Geiss:Ylinen:21} to investigate the regularity for the solution to the backward stochastic differential equations with random coefficients. In this paper, we explore this method in setting for the forward-backward stochastic differential equation with random and Lipschitz coefficients, We obtain the regularity in time, and the Malliavin Sobolev ${\mathbb D}_{1,2}$ differentiability for the solution.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages

  1. [14]

    J. Ma, Z. Wu, D. Zhang, J. Zhang, On well-posedness of forward-backward SDEs–A unified approach. Ann. Appl. Probab. 25 (2015), 2168-2214

    work page 2015

  2. [8]

    Regularity of stochastic differential equations on the Wiener space by coupling

    S. Geiss and X. Zhou, Coupling of stochastic differential equations on the Wiener space. arXiv:2412.10836

    work page Pith review arXiv

  3. [1]

    Ankirchner, A

    S. Ankirchner, A. Fromm, J. Wendt. A transformation method to study the solvability of fully coupled FBSDEs. Stochastics 94 (2022), 1-25

    work page 2022

  4. [2]

    Antonelli, Backward-forward stochastic differential equations

    F. Antonelli, Backward-forward stochastic differential equations. Ann. Appl. Probab. 3 (1993), 777-793

    work page 1993

  5. [3]

    Briand, B

    Ph. Briand, B. Delyon, Y. Hu, E. Pardoux, L. Stoica,L p solutions of backward stochastic differential equations. Stochastic Process. Appl. 108 (2003), 109-129

    work page 2003

  6. [4]

    Cvitani´ c, J

    J. Cvitani´ c, J. Zhang, Contract Theory in Continuous-Time Models. Springer-Verlag Berlin Heidelberg, 2013

    work page 2013

  7. [5]

    El Karoui, S

    N. El Karoui, S. Peng, M. C. Quenez, Backward stochastic differential equations in finance. Math. Financ. 7 (1997), 1-71

    work page 1997

  8. [6]

    Existence, Uniqueness and Regularity of Decoupling Fields to Multidimensional Fully Coupled FBSDEs

    A. Fromm, P. Imkeller, Existence, uniqueness and regularity of decoupling fields to multidi- mensional fully coupled FBSDEs. arXiv:1310.0499

    work page Pith review arXiv

Show all 30 references
  1. [7]

    Geiss and J

    S. Geiss and J. Ylinen, Decoupling on the Wiener space, related Besov spaces, and applica- tions to BSDEs. Mem. Amer. Math. Soc. 1335, 2021

    2021

  2. [9]

    Y. Hu, S. Peng, Solution of forward-backward stochastic differential equations. Probab. The- ory Relat. Fields 103 (1995), 273-283

    1995

  3. [10]

    Imkeller, G

    P. Imkeller, G. dos Reis Path regularity and explicit convergence rate for BSDE with truncated quadratic growth. Stoch. Process. Their Appl. 120 (2010), 348-379

    2010

  4. [11]

    Imkeller, R

    P. Imkeller, R. L. Pellat, O. Menoukeu-Pamen, Differentiability of quadratic forward- backward SDEs with rough drift. Ann. Appl. Probab. 34 (2024), 4758-4798

    2024

  5. [12]

    Lionnet, G

    A. Lionnet, G. dos Reis, L. Szpruch Time discretization of FBSDE with polynomial growth drivers and reaction-diffusion PDEs, Ann. Appl. Probab. 25 (2015), 2563-2625

    2015

  6. [13]

    L. Ma, P. Protter, J. Yong, Solving forward-backward stochastic differential equations explic- itly—a four step scheme. Probab. Theory Relat. Fields 98 (1994), 339-359

    1994

  7. [15]

    J. Ma, J. Yong, Forward-Backward Stochastic Differential Equations and their Applications. Springer, 2007

    2007

  8. [16]

    J. Ma, J. Zhang, Path regularity for solutions of backward stochastic differential equations. Probab. Theory Relat. Fields 122 (2002), 163-190

    2002

  9. [17]

    Nualart, The Malliavin Calculus and Related Topics

    D. Nualart, The Malliavin Calculus and Related Topics. Springer, 2006

    2006

  10. [18]

    Øksendal, Stochastic Differential Equations: An Introduction with Applications

    B. Øksendal, Stochastic Differential Equations: An Introduction with Applications. 6 edition Springer-Verlag Berlin, 2003

    2003

  11. [19]

    Øksendal, A

    B. Øksendal, A. Sulem, Applied Stochastic Control of Jump Diffusions. Springer, 2005. 32 X. ZHOU

    2005

  12. [20]

    Pardoux and S

    E. Pardoux and S. Peng, Adapted solution of a backward stochastic differential equation. Syst. Control Lett. 14 (1990), 55-61

    1990

  13. [21]

    Pellat, E

    R.L. Pellat, E. Che-Fonka, O. Menoukeu-Pamen, Time discretization of Quadratic Forward- Backward SDEs with singular drifts. arXiv:2412.08497

    arXiv

  14. [22]

    R. L. Pellat, O. Menoukeu-Pamen, Density analysis for coupled forward-backward SDEs with non-Lipschitz drifts and applications. Stoch. Process. Their Appl. 173 (2024), 104359

    2024

  15. [23]

    Peng, Backward stochastic differential equations and applications to optimal control

    S. Peng, Backward stochastic differential equations and applications to optimal control. Appl. Math. Optim. 27 (1993), 125-144

    1993

  16. [24]

    Reisinger, W

    C. Reisinger, W. Stockinger, Y. Zhang Path regularity of coupled McKean–Vlasov FBSDEs. arXiv:2011.06664

    2011 arXiv

  17. [25]

    Revuz and M

    D. Revuz and M. Yor, Continuous martingales and Brownian motion, third edition. Grundlehren der Mathematischen Wissenschaften 293, Springer, 1999

    1999

  18. [26]

    Yong, An exploration ofL p-theory for forward-backward stochastic differential equations with random coefficients on small durations

    J. Yong, An exploration ofL p-theory for forward-backward stochastic differential equations with random coefficients on small durations. J. Math. Anal. Appl. 483 (2020), 123642

    2020

  19. [27]

    Yong, Finding adapted solutions of forward-backward stochastic differential equations: method of continuation

    J. Yong, Finding adapted solutions of forward-backward stochastic differential equations: method of continuation. Probab. Theory Relat. Fields 107 (1997), 537-572

    1997

  20. [28]

    Yong,L p theory of the forward-backward stochastic differential equations

    J. Yong,L p theory of the forward-backward stochastic differential equations. Banach Center Publications 122 (2020), 255-286

    2020

  21. [29]

    J. Yong, X. Y. Zhou, Stochastic Controls: Hamiltonian Systems and HJB Equations. Vol. 43. Springer Science & Business Media, 2012

    2012

  22. [30]

    Zhang, Backward Stochastic Differential Equations: From Linear to Fully Nonlinear The- ory

    J. Zhang, Backward Stochastic Differential Equations: From Linear to Fully Nonlinear The- ory. Springer New York, NY, 2017. X. Zhou, Department of Mathematics and Statistics, University of Jyv¨askyl¨a, P.O. Box 35 (MaD), FI-40014, Finland Email address:xilin.j.zhou@jyu.fi

    2017

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.