Paper: arXiv 2610.02106

Authors: Solesne Bourguin, Daniel C. Schwarz

Abstract

We give sufficient conditions ensuring that, at every fixed positive time, the scalar backward component of a Markovian forward-backward stochastic differential equation with multidimensional forward process admits a density with respect to Lebesgue measure. Existing density criteria for BSDEs often obtain Malliavin non-degeneracy through sign or monotonicity assumptions. We develop a different route for a scalar backward component with an arbitrary-dimensional forward state. Under regularity assumptions and a structural compatibility condition on the generator, the terminal condition is only required to be non-constant. The key idea is to deduce Malliavin non-degeneracy from deterministic rigidity of the critical set of the decoupling field. We combine Malliavin calculus with unique continuation and backward uniqueness for the associated semilinear parabolic equation. Unique continuation precludes the spatial gradient of the decoupling field from vanishing on a set of positive measure unless it vanishes identically on that time slice, while backward uniqueness propagates such vanishing to the terminal time. Along the way, we establish a unique continuation property from sets of positive measure and a backward uniqueness result on the whole space for the linear parabolic systems arising from differentiated semilinear equations.

Complexity vs Empirical Score

  • Math Complexity: 9.0/10
  • Empirical Rigor: 2.0/10
  • Quadrant: Lab Rats — theoretically deep, empirically untested

Why this score: This paper is highly theoretical, focusing on advanced mathematical proofs for density existence in BSDEs. While it presents a novel approach, it lacks empirical validation or practical implementation details, placing it firmly in the ‘Lab Rats’ quadrant.

Research Flowchart

  flowchart TD
    A[Research Goal: Density of Scalar Backward Component of Markovian FBSDE] --> B{Key Idea: Malliavin Non-degeneracy from Rigidity of Critical Set};
    B --> C[Methodology: Malliavin Calculus + Unique Continuation + Backward Uniqueness];
    C --> D{Inputs: Regularity & Structural Compatibility Conditions on Generator, Non-constant Terminal Condition};
    D --> E[Computational Processes: Unique Continuation for Gradient of Decoupling Field, Backward Uniqueness for Parabolic Systems];
    E --> F[Outcome: Sufficient Conditions for Density of Scalar Backward Component];
    F --> G[Key Finding: Malliavin Non-degeneracy for Scalar BSDE via Deterministic Rigidity of Decoupling Field];