-
Additive and subtractive bases of $ \mathbb{Z}_m$ in average
Authors:
G. Liang,
Y. Zhang,
H. Zuo
Abstract:
Given a positive integer $m$, let $\mathbb{Z}_m$ be the set of residue classes mod $m$. For $A\subseteq \mathbb{Z}_m$ and $n\in \mathbb{Z}_m$, let $σ_A(n)$ be the number of solutions to the equation $n=x+y$ with $x,y\in A$. Let $\mathcal{H}_m$ be the set of subsets $A\subseteq \mathbb{Z}_m$ such that $σ_A(n)\geq1$ for all $n\in \mathbb{Z}_m$. Let…
▽ More
Given a positive integer $m$, let $\mathbb{Z}_m$ be the set of residue classes mod $m$. For $A\subseteq \mathbb{Z}_m$ and $n\in \mathbb{Z}_m$, let $σ_A(n)$ be the number of solutions to the equation $n=x+y$ with $x,y\in A$. Let $\mathcal{H}_m$ be the set of subsets $A\subseteq \mathbb{Z}_m$ such that $σ_A(n)\geq1$ for all $n\in \mathbb{Z}_m$. Let
$$
\ell_m=\min\limits_{A\in \mathcal{H}_m}\left\lbrace m^{-1}\sum_{n\in \mathbb{Z}_m}σ_A(n)\right\rbrace.
$$ Following a prior result of Ding and Zhao on Ruzsa's number, we know that $$ \liminf_{m\rightarrow\infty}\ell_m\le 192. $$ Ding and Zhao then asked possible improvements on this value.
In this paper, we prove $$ \limsup\limits_{m\rightarrow\infty}\ell_m\leq 144. $$ Moreover, parallel results on subtractive bases of $ \mathbb{Z}_m$ were also investigated here.
△ Less
Submitted 2 July, 2024;
originally announced July 2024.
-
An Efficient Finite Difference Approximation via a Double Sample-Recycling Approach
Authors:
Guo Liang,
Guangwu Liu,
Kun Zhang
Abstract:
Estimating stochastic gradients is pivotal in fields like service systems within operations research. The classical method for this estimation is the finite difference approximation, which entails generating samples at perturbed inputs. Nonetheless, practical challenges persist in determining the perturbation and obtaining an optimal finite difference estimator in the sense of possessing the small…
▽ More
Estimating stochastic gradients is pivotal in fields like service systems within operations research. The classical method for this estimation is the finite difference approximation, which entails generating samples at perturbed inputs. Nonetheless, practical challenges persist in determining the perturbation and obtaining an optimal finite difference estimator in the sense of possessing the smallest mean squared error (MSE). To tackle this problem, we propose a double sample-recycling approach in this paper. Firstly, pilot samples are recycled to estimate the optimal perturbation. Secondly, recycling these pilot samples again and generating new samples at the estimated perturbation, lead to an efficient finite difference estimator. We analyze its bias, variance and MSE. Our analyses demonstrate a reduction in asymptotic variance, and in some cases, a decrease in asymptotic bias, compared to the optimal finite difference estimator. Therefore, our proposed estimator consistently coincides with, or even outperforms the optimal finite difference estimator. In numerical experiments, we apply the estimator in several examples, and numerical results demonstrate its robustness, as well as coincidence with the theory presented, especially in the case of small sample sizes.
△ Less
Submitted 9 May, 2024;
originally announced May 2024.
-
Long-time weak convergence analysis of a semi-discrete scheme for stochastic Maxwell equations
Authors:
Chuchu Chen,
Jialin Hong,
Ge Liang
Abstract:
It is known from the monograph [1, Chapter 5] that the weak convergence analysis of numerical schemes for stochastic Maxwell equations is an unsolved problem. This paper aims to fill the gap by establishing the long-time weak convergence analysis of the semi-implicit Euler scheme for stochastic Maxwell equations. Based on analyzing the regularity of transformed Kolmogorov equation associated to st…
▽ More
It is known from the monograph [1, Chapter 5] that the weak convergence analysis of numerical schemes for stochastic Maxwell equations is an unsolved problem. This paper aims to fill the gap by establishing the long-time weak convergence analysis of the semi-implicit Euler scheme for stochastic Maxwell equations. Based on analyzing the regularity of transformed Kolmogorov equation associated to stochastic Maxwell equations and constructing a proper continuous adapted auxiliary process for the semi-implicit scheme, we present the long-time weak convergence analysis for this scheme and prove that the weak convergence order is one, which is twice the strong convergence order. As applications of this result, we obtain the convergence order of the numerical invariant measure, the strong law of large numbers and central limit theorem related to the numerical solution, and the error estimate of the multi-level Monte Carlo estimator. As far as we know, this is the first result on the weak convergence order for stochastic Maxwell equations.
△ Less
Submitted 14 March, 2024;
originally announced March 2024.
-
Representation of forward performance criteria with random endowment via FBSDE and application to forward optimized certainty equivalent
Authors:
Gechun Liang,
Yifan Sun,
Thaleia Zariphopoulou
Abstract:
We extend the notion of forward performance criteria to settings with random endowment in incomplete markets. Building on these results, we introduce and develop the novel concept of forward optimized certainty equivalent (forward OCE), which offers a genuinely dynamic valuation mechanism that accommodates progressively adaptive market model updates, stochastic risk preferences, and incoming claim…
▽ More
We extend the notion of forward performance criteria to settings with random endowment in incomplete markets. Building on these results, we introduce and develop the novel concept of forward optimized certainty equivalent (forward OCE), which offers a genuinely dynamic valuation mechanism that accommodates progressively adaptive market model updates, stochastic risk preferences, and incoming claims with arbitrary maturities.
In parallel, we develop a new methodology to analyze the emerging stochastic optimization problems by directly studying the candidate optimal control processes for both the primal and dual problems. Specifically, we derive two new systems of forward-backward stochastic differential equations (FBSDEs) and establish necessary and sufficient conditions for optimality, and various equivalences between the two problems. This new approach is general and complements the existing one based on backward stochastic partial differential equations (backward SPDEs) for the related value functions. We, also, consider representative examples for both forward performance criteria with random endowment and forward OCE, and for the case of exponential criteria, we investigate the connection between forward OCE and forward entropic risk measures.
△ Less
Submitted 29 December, 2023;
originally announced January 2024.
-
Convergence rates for Chernoff-type approximations of convex monotone semigroups
Authors:
Jonas Blessing,
Lianzi Jiang,
Michael Kupper,
Gechun Liang
Abstract:
We provide explicit convergence rates for Chernoff-type approximations of convex monotone semigroups which have the form $S(t)f=\lim_{n\to\infty}I(\frac{t}{n})^n f$ for bounded continuous functions $f$. Under suitable conditions on the one-step operators $I(t)$ regarding the time regularity and consistency of the approximation scheme, we obtain $\|S(t)f-I(\frac{t}{n})^n f\|_\infty\leq cn^{-γ}$ for…
▽ More
We provide explicit convergence rates for Chernoff-type approximations of convex monotone semigroups which have the form $S(t)f=\lim_{n\to\infty}I(\frac{t}{n})^n f$ for bounded continuous functions $f$. Under suitable conditions on the one-step operators $I(t)$ regarding the time regularity and consistency of the approximation scheme, we obtain $\|S(t)f-I(\frac{t}{n})^n f\|_\infty\leq cn^{-γ}$ for bounded Lipschitz continuous functions $f$, where $c\geq 0$ and $γ>0$ are determined explicitly. Moreover, the map** $t\mapsto S(t)f$ is Hölder continuous. These results are closely related to monotone approximation schemes for viscosity solutions but are obtained independently by following a recently developed semigroup approach to Hamilton-Jacobi-Bellman equations which uniquely characterizes semigroups via their $Γ$-generators. The different approach allows to consider convex rather than sublinear equations and the results can be extended to unbounded functions by modifying the norm with a suitable weight function. Furthermore, up to possibly different consistency errors for the operators $I(t)$, the upper and lower bound for the error between the semigroup and the iterated operators are symmetric. The abstract results are applied to Nisio semigroups and limit theorems for convex expectations.
△ Less
Submitted 15 October, 2023;
originally announced October 2023.
-
Probabilistic evolution of the error of numerical method for linear stochastic differential equation
Authors:
Jialin Hong,
Ge Liang,
Derui Sheng
Abstract:
The quantitative characterization of the evolution of the error distribution (as the step-size tends to zero) is a fundamental problem in the analysis of stochastic numerical method. In this paper, we answer this problem by proving that the error of numerical method for linear stochastic differential equation satisfies the limit theorems and large deviation principle. To the best of our knowledge,…
▽ More
The quantitative characterization of the evolution of the error distribution (as the step-size tends to zero) is a fundamental problem in the analysis of stochastic numerical method. In this paper, we answer this problem by proving that the error of numerical method for linear stochastic differential equation satisfies the limit theorems and large deviation principle. To the best of our knowledge, this is the first result on the quantitative characterization of the evolution of the error distribution of stochastic numerical method. As an application, we provide a new perspective to explain the superiority of symplectic methods for stochastic Hamiltonian systems in the long-time computation. To be specific, by taking the linear stochastic oscillator as the test equation, we show that in the long-time computation, the probability that the error deviates from the typical value is smaller for the symplectic methods than that for the non-symplectic methods, which reveals that the stochastic symplectic methods are more stable than non-symplectic methods.
△ Less
Submitted 11 August, 2023; v1 submitted 4 April, 2023;
originally announced April 2023.
-
A robust $α$-stable central limit theorem under sublinear expectation without integrability condition
Authors:
Lianzi Jiang,
Gechun Liang
Abstract:
This article relaxes the integrability condition imposed in the literature for the robust $α$-stable central limit theorem under sublinear expectation. Specifically, for $α\in(0,1]$, we prove that the normalized sums of i.i.d. non-integrable random variables $\big \{n^{-\frac{1}α}\sum_{i=1}^{n}Z_{i}\big \}_{n=1}^{\infty}$ converge in distribution to $\tildeζ_{1}$, where…
▽ More
This article relaxes the integrability condition imposed in the literature for the robust $α$-stable central limit theorem under sublinear expectation. Specifically, for $α\in(0,1]$, we prove that the normalized sums of i.i.d. non-integrable random variables $\big \{n^{-\frac{1}α}\sum_{i=1}^{n}Z_{i}\big \}_{n=1}^{\infty}$ converge in distribution to $\tildeζ_{1}$, where $(\tildeζ_{t})_{t\in \lbrack0,1]}$ is a multidimensional nonlinear symmetric $α$-stable process with a jump uncertainty set $\mathcal{L}$. The limiting $α$-stable process is further characterized by a fully nonlinear partial integro-differential equation (PIDE) \[ \left \{ \begin{array} [c]{l}\displaystyle \partial_{t}u(t,x)-\sup \limits_{F_μ\in \mathcal{L}}\left \{ \int_{\mathbb{R}^{d}}δ_λ^αu(t,x)F_μ(dλ)\right \} =0,\\ \displaystyle u(0,x)=φ(x),\ \ \ \forall(t,x)\in \lbrack0,1]\times \mathbb{R}^{d}, \end{array} \right. \] where \[ δ_λ^α u(t,x):= \left \{ \begin{array} [c]{l} u(t,x+λ)-u(t,x)-\langle D_{x}u(t,x),λ\mathbb{1}_{\{|λ|\leq 1\}}\rangle,\ α=1,\\ u(t,x+λ)-u(t,x),\ α\in(0,1). \end{array} \right. \] The main tools are a weak convergence approach to obtain the limiting process, a Lévy-Khintchine representation of the nonlinear $α$-stable process and a truncation technique to estimate the corresponding $α$-stable Lévy measures. As a byproduct, the article also provides a probabilistic approach to prove the existence of the above fully nonlinear PIDE.
△ Less
Submitted 18 January, 2023;
originally announced January 2023.
-
Simple Alternating Minimization Provably Solves Complete Dictionary Learning
Authors:
Geyu Liang,
Gavin Zhang,
Salar Fattahi,
Richard Y. Zhang
Abstract:
This paper focuses on complete dictionary learning problem, where the goal is to reparametrize a set of given signals as linear combinations of atoms from a learned dictionary. There are two main challenges faced by theoretical and practical studies of dictionary learning: the lack of theoretical guarantees for practically-used heuristic algorithms, and their poor scalability when dealing with hug…
▽ More
This paper focuses on complete dictionary learning problem, where the goal is to reparametrize a set of given signals as linear combinations of atoms from a learned dictionary. There are two main challenges faced by theoretical and practical studies of dictionary learning: the lack of theoretical guarantees for practically-used heuristic algorithms, and their poor scalability when dealing with huge-scale datasets. Towards addressing these issues, we show that when the dictionary to be learned is orthogonal, that an alternating minimization method directly applied to the nonconvex and discrete formulation of the problem exactly recovers the ground truth. For the huge-scale, potentially online setting, we propose a minibatch version of our algorithm, which can provably learn a complete dictionary from a huge-scale dataset with minimal sample complexity, linear sparsity level, and linear convergence rate, thereby negating the need for any convex relaxation for the problem. Our numerical experiments showcase the superiority of our method compared with the existing techniques when applied to tasks on real data.
△ Less
Submitted 23 October, 2022;
originally announced October 2022.
-
Ergodic numerical approximations for stochastic Maxwell equations
Authors:
Chuchu Chen,
Jialin Hong,
Lihai Ji,
Ge Liang
Abstract:
In this paper, we propose a novel kind of numerical approximations to inherit the ergodicity of stochastic Maxwell equations. The key to proving the ergodicity lies in the uniform regularity estimates of the numerical solutions with respect to time, which are established by analyzing some important physical quantities. By introducing an auxiliary process, we show that the mean-square convergence o…
▽ More
In this paper, we propose a novel kind of numerical approximations to inherit the ergodicity of stochastic Maxwell equations. The key to proving the ergodicity lies in the uniform regularity estimates of the numerical solutions with respect to time, which are established by analyzing some important physical quantities. By introducing an auxiliary process, we show that the mean-square convergence order of the ergodic discontinuous Galerkin full discretization is $\frac{1}{2}$ in the temporal direction and $\frac{1}{2}$ in the spatial direction, which provides the convergence order of the numerical invariant measure to the exact one in $L^2$-Wasserstein distance.
△ Less
Submitted 12 October, 2022;
originally announced October 2022.
-
Vague and weak convergence of signed measures
Authors:
Martin Herdegen,
Gechun Liang,
Osian Shelley
Abstract:
Necessary and sufficient conditions for weak and vague convergence of measures are important for a diverse host of applications. This paper aims to give a comprehensive description of the relationship between the two modes of convergence when the measures are signed, which is largely absent from the literature. Furthermore, when the underlying space is $\mathbb{R}$, we study the relationship betwe…
▽ More
Necessary and sufficient conditions for weak and vague convergence of measures are important for a diverse host of applications. This paper aims to give a comprehensive description of the relationship between the two modes of convergence when the measures are signed, which is largely absent from the literature. Furthermore, when the underlying space is $\mathbb{R}$, we study the relationship between vague convergence of signed measures and the pointwise convergence of their distribution functions.
△ Less
Submitted 2 August, 2022; v1 submitted 26 May, 2022;
originally announced May 2022.
-
A continuity theorem for generalised signed measures with an application to Karamata's Tauberian theorem
Authors:
Martin Herdegen,
Gechun Liang,
Osian Shelley
Abstract:
The Laplace transforms of positive measures on $\mathbb{R}_{+}$ converge if and only if their distribution functions converge at continuity points of the limiting measure. We extend this classical continuity theorem to the case of generalised signed Radon measures. The result for the signed case requires some additional conditions, which follow from recent results on vague convergence of signed Ra…
▽ More
The Laplace transforms of positive measures on $\mathbb{R}_{+}$ converge if and only if their distribution functions converge at continuity points of the limiting measure. We extend this classical continuity theorem to the case of generalised signed Radon measures. The result for the signed case requires some additional conditions, which follow from recent results on vague convergence of signed Radon measures. As an application, we introduce a novel Tauberian condition for generalised signed Radon measures that extends Karamata's Tauberian theorem.
△ Less
Submitted 29 March, 2023; v1 submitted 25 May, 2022;
originally announced May 2022.
-
A universal robust limit theorem for nonlinear Lévy processes under sublinear expectation
Authors:
Mingshang Hu,
Lianzi Jiang,
Gechun Liang,
Shige Peng
Abstract:
This article establishes a universal robust limit theorem under a sublinear expectation framework. Under moment and consistency conditions, we show that, for $α\in(1,2)$, the i.i.d. sequence \[ \left \{ \left( \frac{1}{\sqrt{n}}\sum_{i=1}^{n}X_{i},\frac{1}{n}\sum _{i=1}^{n}Y_{i},\frac{1}{\sqrt[α]{n}}\sum_{i=1}^{n}Z_{i}\right) \right \} _{n=1}^{\infty} \] converges in distribution to…
▽ More
This article establishes a universal robust limit theorem under a sublinear expectation framework. Under moment and consistency conditions, we show that, for $α\in(1,2)$, the i.i.d. sequence \[ \left \{ \left( \frac{1}{\sqrt{n}}\sum_{i=1}^{n}X_{i},\frac{1}{n}\sum _{i=1}^{n}Y_{i},\frac{1}{\sqrt[α]{n}}\sum_{i=1}^{n}Z_{i}\right) \right \} _{n=1}^{\infty} \] converges in distribution to $\tilde{L}_{1}$, where $\tilde{L}_{t}=(\tilde ξ_{t},\tildeη_{t},\tildeζ_{t})$, $t\in [0,1]$, is a multidimensional nonlinear Lévy process with an uncertainty set $Θ$ as a set of Lévy triplets. This nonlinear Lévy process is characterized by a fully nonlinear and possibly degenerate partial integro-differential equation (PIDE) \[ \left \{ \begin{array} [c]{l} \displaystyle \partial_{t}u(t,x,y,z)-\sup \limits_{(F_μ,q,Q)\in Θ}\left \{ \int_{\mathbb{R}^{d}}δ_λu(t,x,y,z)F_μ(dλ)\right. \\ \displaystyle \text{\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ }\left. +\langle D_{y}u(t,x,y,z),q\rangle+\frac{1}{2}tr[D_{x}^{2}u(t,x,y,z)Q]\right \} =0,\\ \displaystyle u(0,x,y,z)=φ(x,y,z),\ \ \forall(t,x,y,z)\in \lbrack 0,1]\times \mathbb{R}^{3d}, \end{array} \right. \] with $δ_λu(t,x,y,z):=u(t,x,y,z+λ)-u(t,x,y,z)-\langle D_{z}u(t,x,y,z),λ\rangle$. To construct the limit process $(\tilde{L}_{t})_{t\in \lbrack0,1]}$, we develop a novel weak convergence approach based on the notions of tightness and weak compactness on a sublinear expectation space. We further prove a new type of Lévy-Khintchine representation formula to characterize $(\tilde{L}_{t})_{t\in [0,1]}$. As a byproduct, we also provide a probabilistic approach to prove the existence of the above fully nonlinear degenerate PIDE.
△ Less
Submitted 27 October, 2022; v1 submitted 30 April, 2022;
originally announced May 2022.
-
A new monotonicity condition for ergodic BSDEs and ergodic control with super-quadratic Hamiltonians
Authors:
Joe Jackson,
Gechun Liang
Abstract:
We establish the existence (and in an appropriate sense uniqueness) of Markovian solutions for ergodic BSDEs under a novel monotonicity condition. Our monotonicity condition allows us to prove existence even when the driver f has arbitrary (in particular super-quadratic) growth in z, which reveals an interesting trade-off between monotonicity and growth for ergodic BSDEs. The technique of proof is…
▽ More
We establish the existence (and in an appropriate sense uniqueness) of Markovian solutions for ergodic BSDEs under a novel monotonicity condition. Our monotonicity condition allows us to prove existence even when the driver f has arbitrary (in particular super-quadratic) growth in z, which reveals an interesting trade-off between monotonicity and growth for ergodic BSDEs. The technique of proof is to establish a probabilistic representation of the derivative of the Markovian solution, and then use this representation to obtain a-priori estimates. Our study is motivated by applications to ergodic control, and we use our existence result to prove the existence of optimal controls for a class of ergodic control problems with potentially super-quadratic Hamiltonians. We also treat a class of drivers coming from the construction of forward performance processes, and interpret our monotonicity condition in this setting.
△ Less
Submitted 16 December, 2022; v1 submitted 20 November, 2021;
originally announced November 2021.
-
Callable convertible bonds under liquidity constraints and hybrid priorities
Authors:
David Hobson,
Gechun Liang,
Edward Wang
Abstract:
This paper investigates the callable convertible bond problem in the presence of a liquidity constraint modelled by Poisson signals. We assume that neither the bondholder nor the firm has absolute priority when they stop the game simultaneously, but instead, a proportion $m\in[0,1]$ of the bond is converted to the firm's stock and the rest is called by the firm. The paper thus generalizes the spec…
▽ More
This paper investigates the callable convertible bond problem in the presence of a liquidity constraint modelled by Poisson signals. We assume that neither the bondholder nor the firm has absolute priority when they stop the game simultaneously, but instead, a proportion $m\in[0,1]$ of the bond is converted to the firm's stock and the rest is called by the firm. The paper thus generalizes the special case studied in [Liang and Sun, Dynkin games with Poisson random intervention times, SIAM Journal on Control and Optimization, 57 (2019), 2962-2991] where the bondholder has priority ($m=1$), and presents a complete solution to the callable convertible bond problem with liquidity constraint. The callable convertible bond is an example of a Dynkin game, but falls outside the standard paradigm since the payoffs do not depend in an ordered way upon which agent stops the game. We show how to deal with this non-ordered situation by introducing a new technique which may be of interest in its own right, and then apply it to the bond problem.
△ Less
Submitted 21 March, 2024; v1 submitted 3 November, 2021;
originally announced November 2021.
-
On the rate of convergence for an $α$-stable central limit theorem under sublinear expectation
Authors:
Mingshang Hu,
Lianzi Jiang,
Gechun Liang
Abstract:
In this paper, we propose a monotone approximation scheme for a class of fully nonlinear degenerate partial integro-differential equations (PIDEs) which characterize the nonlinear $α$-stable Lévy processes under sublinear expectation space with $α\in(1,2)$. We further establish the error bounds for the monotone approximation scheme. This in turn yields an explicit Berry-Esseen bound and convergenc…
▽ More
In this paper, we propose a monotone approximation scheme for a class of fully nonlinear degenerate partial integro-differential equations (PIDEs) which characterize the nonlinear $α$-stable Lévy processes under sublinear expectation space with $α\in(1,2)$. We further establish the error bounds for the monotone approximation scheme. This in turn yields an explicit Berry-Esseen bound and convergence rate for the $α$-stable central limit theorem under sublinear expectation.
△ Less
Submitted 10 June, 2024; v1 submitted 23 July, 2021;
originally announced July 2021.
-
Esca** Saddle Points with Stochastically Controlled Stochastic Gradient Methods
Authors:
Guannan Liang,
Qianqian Tong,
Chunjiang Zhu,
**bo Bi
Abstract:
Stochastically controlled stochastic gradient (SCSG) methods have been proved to converge efficiently to first-order stationary points which, however, can be saddle points in nonconvex optimization. It has been observed that a stochastic gradient descent (SGD) step introduces anistropic noise around saddle points for deep learning and non-convex half space learning problems, which indicates that S…
▽ More
Stochastically controlled stochastic gradient (SCSG) methods have been proved to converge efficiently to first-order stationary points which, however, can be saddle points in nonconvex optimization. It has been observed that a stochastic gradient descent (SGD) step introduces anistropic noise around saddle points for deep learning and non-convex half space learning problems, which indicates that SGD satisfies the correlated negative curvature (CNC) condition for these problems. Therefore, we propose to use a separate SGD step to help the SCSG method escape from strict saddle points, resulting in the CNC-SCSG method. The SGD step plays a role similar to noise injection but is more stable. We prove that the resultant algorithm converges to a second-order stationary point with a convergence rate of $\tilde{O}( ε^{-2} log( 1/ε))$ where $ε$ is the pre-specified error tolerance. This convergence rate is independent of the problem dimension, and is faster than that of CNC-SGD. A more general framework is further designed to incorporate the proposed CNC-SCSG into any first-order method for the method to escape saddle points. Simulation studies illustrate that the proposed algorithm can escape saddle points in much fewer epochs than the gradient descent methods perturbed by either noise injection or a SGD step.
△ Less
Submitted 23 April, 2021; v1 submitted 7 March, 2021;
originally announced March 2021.
-
Asynchronous Parallel Stochastic Quasi-Newton Methods
Authors:
Qianqian Tong,
Guannan Liang,
Xingyu Cai,
Chunjiang Zhu,
**bo Bi
Abstract:
Although first-order stochastic algorithms, such as stochastic gradient descent, have been the main force to scale up machine learning models, such as deep neural nets, the second-order quasi-Newton methods start to draw attention due to their effectiveness in dealing with ill-conditioned optimization problems. The L-BFGS method is one of the most widely used quasi-Newton methods. We propose an as…
▽ More
Although first-order stochastic algorithms, such as stochastic gradient descent, have been the main force to scale up machine learning models, such as deep neural nets, the second-order quasi-Newton methods start to draw attention due to their effectiveness in dealing with ill-conditioned optimization problems. The L-BFGS method is one of the most widely used quasi-Newton methods. We propose an asynchronous parallel algorithm for stochastic quasi-Newton (AsySQN) method. Unlike prior attempts, which parallelize only the calculation for gradient or the two-loop recursion of L-BFGS, our algorithm is the first one that truly parallelizes L-BFGS with a convergence guarantee. Adopting the variance reduction technique, a prior stochastic L-BFGS, which has not been designed for parallel computing, reaches a linear convergence rate. We prove that our asynchronous parallel scheme maintains the same linear convergence rate but achieves significant speedup. Empirical evaluations in both simulations and benchmark datasets demonstrate the speedup in comparison with the non-parallel stochastic L-BFGS, as well as the better performance than first-order methods in solving ill-conditioned problems.
△ Less
Submitted 1 November, 2020;
originally announced November 2020.
-
Quantitative stability and numerical analysis of Markovian quadratic BSDEs with reflection
Authors:
Dingqian Sun,
Gechun Liang,
Shanjian Tang
Abstract:
We study the quantitative stability of the solutions to Markovian quadratic reflected BSDEs with bounded terminal data. By virtue of BMO martingale and change of measure techniques, we obtain stability estimates for the variation of the solutions with different underlying forward processes. In addition, we propose a truncated discrete-time numerical scheme for quadratic reflected BSDEs, and obtain…
▽ More
We study the quantitative stability of the solutions to Markovian quadratic reflected BSDEs with bounded terminal data. By virtue of BMO martingale and change of measure techniques, we obtain stability estimates for the variation of the solutions with different underlying forward processes. In addition, we propose a truncated discrete-time numerical scheme for quadratic reflected BSDEs, and obtain the explicit rate of convergence by applying the quantitative stability result.
△ Less
Submitted 7 March, 2022; v1 submitted 12 October, 2020;
originally announced October 2020.
-
Ergodic singular stochastic control motivated by the optimal sustainable exploitation of an ecosystem
Authors:
Gechun Liang,
Mihail Zervos
Abstract:
We derive the explicit solution to a singular stochastic control problem of the monotone follower type with an expected ergodic criterion as well as to its counterpart with a pathwise ergodic criterion. These problems have been motivated by the optimal sustainable exploitation of an ecosystem, such as a natural fishery. Under general assumptions on the diffusion coefficients and the running payoff…
▽ More
We derive the explicit solution to a singular stochastic control problem of the monotone follower type with an expected ergodic criterion as well as to its counterpart with a pathwise ergodic criterion. These problems have been motivated by the optimal sustainable exploitation of an ecosystem, such as a natural fishery. Under general assumptions on the diffusion coefficients and the running payoff function, we show that both performance criteria give rise to the same optimal long-term average rate as well as to the same optimal strategy, which is of a threshold type. We solve the two problems by first constructing a suitable solution to their associated Hamilton-Jacobi-Bellman (HJB) equation, which takes the form of a quasi-variational inequality with a gradient constraint.
△ Less
Submitted 12 August, 2020;
originally announced August 2020.
-
Risk-sensitive Dynkin games with heterogeneous Poisson random intervention times
Authors:
Gechun Liang,
Haodong Sun
Abstract:
The paper solves constrained Dynkin games with risk-sensitive criteria, where two players are allowed to stop at two independent Poisson random intervention times, via the theory of backward stochastic differential equations. This generalizes the previous work of [Liang and Sun, Dynkin games with Poisson random intervention times, SIAM Journal on Control and Optimization, 2019] from the risk-neutr…
▽ More
The paper solves constrained Dynkin games with risk-sensitive criteria, where two players are allowed to stop at two independent Poisson random intervention times, via the theory of backward stochastic differential equations. This generalizes the previous work of [Liang and Sun, Dynkin games with Poisson random intervention times, SIAM Journal on Control and Optimization, 2019] from the risk-neutral criteria and common signal times for both players to the risk-sensitive criteria and two heterogenous signal times. Furthermore, the paper establishes a connection of such constrained risk-sensitive Dynkin games with a class of stochastic differential games via Krylov's randomized stop** technique.
△ Less
Submitted 4 August, 2020;
originally announced August 2020.
-
A game theoretical approach to homothetic robust forward investment performance processes in stochastic factor models
Authors:
Juan Li,
Wenqiang Li,
Gechun Liang
Abstract:
This paper studies an optimal forward investment problem in an incomplete market with model uncertainty, in which the underlying stocks depend on the correlated stochastic factors. The uncertainty stems from the probability measure chosen by an investor to evaluate the performance. We obtain directly the representation of the homothetic robust forward performance processes in factor-form by combin…
▽ More
This paper studies an optimal forward investment problem in an incomplete market with model uncertainty, in which the underlying stocks depend on the correlated stochastic factors. The uncertainty stems from the probability measure chosen by an investor to evaluate the performance. We obtain directly the representation of the homothetic robust forward performance processes in factor-form by combining the zero-sum stochastic differential game and ergodic BSDE approach. We also establish the connections with the risk-sensitive zero-sum stochastic differential games over an infinite horizon with ergodic payoff criteria, as well as with the classical robust expected utilities for long time horizons. Finally, we give an example to illustrate that our approach can be applied to address a type of robust forward investment performance processes with negative realization processes.
△ Less
Submitted 3 May, 2021; v1 submitted 6 May, 2020;
originally announced May 2020.
-
Spanning trees in random regular uniform hypergraphs
Authors:
Catherine Greenhill,
Mikhail Isaev,
Gary Liang
Abstract:
Let $\mathcal{G}_{n,r,s}$ denote a uniformly random $r$-regular $s$-uniform hypergraph on the vertex set $\{1,2,\ldots, n\}$. We establish a threshold result for the existence of a spanning tree in $\mathcal{G}_{n,r,s}$, restricting to $n$ satisfying the necessary divisibility conditions. Specifically, we show that when $s\geq 5$, there is a positive constant $ρ(s)$ such that for any $r\geq 2$, th…
▽ More
Let $\mathcal{G}_{n,r,s}$ denote a uniformly random $r$-regular $s$-uniform hypergraph on the vertex set $\{1,2,\ldots, n\}$. We establish a threshold result for the existence of a spanning tree in $\mathcal{G}_{n,r,s}$, restricting to $n$ satisfying the necessary divisibility conditions. Specifically, we show that when $s\geq 5$, there is a positive constant $ρ(s)$ such that for any $r\geq 2$, the probability that $\mathcal{G}_{n,r,s}$ contains a spanning tree tends to 1 if $r > ρ(s)$, and otherwise this probability tends to zero. The threshold value $ρ(s)$ grows exponentially with $s$. As $\mathcal{G}_{n,r,s}$ is connected with probability which tends to 1, this implies that when $r \leq ρ(s)$, most $r$-regular $s$-uniform hypergraphs are connected but have no spanning tree. When $s=3,4$ we prove that $\mathcal{G}_{n,r,s}$ contains a spanning tree with probability which tends to 1, for any $r\geq 2$. Our proof also provides the asymptotic distribution of the number of spanning trees in $\mathcal{G}_{n,r,s}$ for all fixed integers $r,s\geq 2$. TPreviously, this asymptotic distribution was only known in the trivial case of 2-regular graphs, or for cubic graphs.
△ Less
Submitted 26 March, 2021; v1 submitted 15 May, 2020;
originally announced May 2020.
-
Calibrating the Adaptive Learning Rate to Improve Convergence of ADAM
Authors:
Qianqian Tong,
Guannan Liang,
**bo Bi
Abstract:
Adaptive gradient methods (AGMs) have become popular in optimizing the nonconvex problems in deep learning area. We revisit AGMs and identify that the adaptive learning rate (A-LR) used by AGMs varies significantly across the dimensions of the problem over epochs (i.e., anisotropic scale), which may lead to issues in convergence and generalization. All existing modified AGMs actually represent eff…
▽ More
Adaptive gradient methods (AGMs) have become popular in optimizing the nonconvex problems in deep learning area. We revisit AGMs and identify that the adaptive learning rate (A-LR) used by AGMs varies significantly across the dimensions of the problem over epochs (i.e., anisotropic scale), which may lead to issues in convergence and generalization. All existing modified AGMs actually represent efforts in revising the A-LR. Theoretically, we provide a new way to analyze the convergence of AGMs and prove that the convergence rate of \textsc{Adam} also depends on its hyper-parameter $ε$, which has been overlooked previously. Based on these two facts, we propose a new AGM by calibrating the A-LR with an activation ({\em softplus}) function, resulting in the \textsc{Sadam} and \textsc{SAMSGrad} methods \footnote{Code is available at https://github.com/neilliang90/Sadam.git.}. We further prove that these algorithms enjoy better convergence speed under nonconvex, non-strongly convex, and Polyak-Łojasiewicz conditions compared with \textsc{Adam}. Empirical studies support our observation of the anisotropic A-LR and show that the proposed methods outperform existing AGMs and generalize even better than S-Momentum in multiple deep learning tasks.
△ Less
Submitted 11 September, 2019; v1 submitted 2 August, 2019;
originally announced August 2019.
-
A monotone scheme for G-equations with application to the explicit convergence rate of robust central limit theorem
Authors:
Shuo Huang,
Gechun Liang
Abstract:
We propose a monotone approximation scheme for a class of fully nonlinear PDEs called G-equations. Such equations arise often in the characterization of G-distributed random variables in a sublinear expectation space. The proposed scheme is constructed recursively based on a piecewise constant approximation of the viscosity solution to the G-equation. We establish the convergence of the scheme and…
▽ More
We propose a monotone approximation scheme for a class of fully nonlinear PDEs called G-equations. Such equations arise often in the characterization of G-distributed random variables in a sublinear expectation space. The proposed scheme is constructed recursively based on a piecewise constant approximation of the viscosity solution to the G-equation. We establish the convergence of the scheme and determine the convergence rate with an explicit error bound, using the comparison principles for both the scheme and the equation together with a mollification procedure. The first application is obtaining the convergence rate of Peng's robust central limit theorem with an explicit bound of Berry-Esseen type. The second application is an approximation scheme with its convergence rate for the Black-Scholes-Barenblatt equation.
△ Less
Submitted 26 March, 2024; v1 submitted 15 April, 2019;
originally announced April 2019.
-
Systems of ergodic BSDEs arising in regime switching forward performance processes
Authors:
Ying Hu,
Gechun Liang,
Shanjian Tang
Abstract:
We introduce and solve a new type of quadratic backward stochastic differential equation systems defined in an infinite time horizon, called \emph{ergodic BSDE systems}. Such systems arise naturally as candidate solutions to characterize forward performance processes and their associated optimal trading strategies in a regime switching market. In addition, we develop a connection between the solut…
▽ More
We introduce and solve a new type of quadratic backward stochastic differential equation systems defined in an infinite time horizon, called \emph{ergodic BSDE systems}. Such systems arise naturally as candidate solutions to characterize forward performance processes and their associated optimal trading strategies in a regime switching market. In addition, we develop a connection between the solution of the ergodic BSDE system and the long-term growth rate of classical utility maximization problems, and use the ergodic BSDE system to study the large time behavior of PDE systems with quadratic growth Hamiltonians.
△ Less
Submitted 25 June, 2020; v1 submitted 4 July, 2018;
originally announced July 2018.
-
Analysis of the optimal exercise boundary of American put options with delivery lags
Authors:
Gechun Liang,
Zhou Yang
Abstract:
A make-your-mind-up option is an American derivative with delivery lags. We show that its put option can be decomposed as a European put and a new type of American-style derivative. The latter is an option for which the investor receives the Greek Theta of the corresponding European option as the running payoff, and decides an optimal stop** time to terminate the contract. Based on this decompos…
▽ More
A make-your-mind-up option is an American derivative with delivery lags. We show that its put option can be decomposed as a European put and a new type of American-style derivative. The latter is an option for which the investor receives the Greek Theta of the corresponding European option as the running payoff, and decides an optimal stop** time to terminate the contract. Based on this decomposition and using free boundary techniques, we show that the associated optimal exercise boundary exists and is a strictly increasing and smooth curve, and analyze the asymptotic behavior of the value function and the optimal exercise boundary for both large maturity and small time lag.
△ Less
Submitted 29 December, 2020; v1 submitted 8 May, 2018;
originally announced May 2018.
-
Dynkin games with Poisson random intervention times
Authors:
Gechun Liang,
Haodong Sun
Abstract:
This paper introduces a new class of Dynkin games, where the two players are allowed to make their stop** decisions at a sequence of exogenous Poisson arrival times. The value function and the associated optimal stop** strategy are characterized by the solution of a backward stochastic differential equation. The paper further applies the model to study the optimal conversion and calling strate…
▽ More
This paper introduces a new class of Dynkin games, where the two players are allowed to make their stop** decisions at a sequence of exogenous Poisson arrival times. The value function and the associated optimal stop** strategy are characterized by the solution of a backward stochastic differential equation. The paper further applies the model to study the optimal conversion and calling strategies of convertible bonds, and their asymptotics when the Poisson intensity goes to infinity.
△ Less
Submitted 16 July, 2019; v1 submitted 1 March, 2018;
originally announced March 2018.
-
An approximation scheme for semilinear parabolic PDEs with convex and coercive Hamiltonians
Authors:
Shuo Huang,
Gechun Liang,
Thaleia Zariphopoulou
Abstract:
We propose an approximation scheme for a class of semilinear parabolic equations that are convex and coercive in their gradients. Such equations arise often in pricing and portfolio management in incomplete markets and, more broadly, are directly connected to the representation of solutions to backward stochastic differential equations. The proposed scheme is based on splitting the equation in two…
▽ More
We propose an approximation scheme for a class of semilinear parabolic equations that are convex and coercive in their gradients. Such equations arise often in pricing and portfolio management in incomplete markets and, more broadly, are directly connected to the representation of solutions to backward stochastic differential equations. The proposed scheme is based on splitting the equation in two parts, the first corresponding to a linear parabolic equation and the second to a Hamilton-Jacobi equation. The solutions of these two equations are approximated using, respectively, the Feynman-Kac and the Hopf-Lax formulae. We establish the convergence of the scheme and determine the convergence rate, combining Krylov's shaking coefficients technique and Barles-Jakobsen's optimal switching approximation.
△ Less
Submitted 4 November, 2019; v1 submitted 2 January, 2018;
originally announced January 2018.
-
Utility maximization in constrained and unbounded financial markets: Applications to indifference valuation, regime switching, consumption and Epstein-Zin recursive utility
Authors:
Ying Hu,
Gechun Liang,
Shanjian Tang
Abstract:
This memoir presents a systematic study of utility maximization problems for an investor in constrained and unbounded financial markets. Building upon the foundational work of Hu et al. (2005) [Ann. Appl. Probab., 15, 1691--1712] in a bounded framework, we extend our analysis to more challenging unbounded cases. Our methodology combines quadratic backward stochastic differential equations with unb…
▽ More
This memoir presents a systematic study of utility maximization problems for an investor in constrained and unbounded financial markets. Building upon the foundational work of Hu et al. (2005) [Ann. Appl. Probab., 15, 1691--1712] in a bounded framework, we extend our analysis to more challenging unbounded cases. Our methodology combines quadratic backward stochastic differential equations with unbounded solutions and convex duality methods. Central to our approach is the verification of the finite entropy condition, which plays a pivotal role in solving the underlying utility maximization problems and establishing the martingale property and convex duality representation of the value processes. Through four distinct applications, we first study utility indifference valuation of financial derivatives with unbounded payoffs, uncovering novel asymptotic behavior as the risk aversion parameter approaches zero or infinity. Furthermore, we study the regime switching market model with unbounded random endowments and consumption-investment problems with unbounded random endowments, both constrained to portfolios chosen from a convex and closed set. Finally, we investigate investment-consumption problems involving an investor with Epstein-Zin recursive utility in an unbounded financial market.
△ Less
Submitted 20 June, 2024; v1 submitted 1 July, 2017;
originally announced July 2017.
-
Pseudo Linear Pricing Rule for Utility Indifference Valuation
Authors:
Vicky Henderson,
Gechun Liang
Abstract:
This paper considers exponential utility indifference pricing for a multidimensional non-traded assets model, and provides two linear approximations for the utility indifference price. The key tool is a probabilistic representation for the utility indifference price by the solution of a functional differential equation, which is termed \emph{pseudo linear pricing rule}. We also provide an alternat…
▽ More
This paper considers exponential utility indifference pricing for a multidimensional non-traded assets model, and provides two linear approximations for the utility indifference price. The key tool is a probabilistic representation for the utility indifference price by the solution of a functional differential equation, which is termed \emph{pseudo linear pricing rule}. We also provide an alternative derivation of the quadratic BSDE representation for the utility indifference price.
△ Less
Submitted 30 March, 2014;
originally announced March 2014.
-
Optimal Switching at Poisson Random Intervention Times
Authors:
Gechun Liang,
Wei Wei
Abstract:
This paper introduces a new class of optimal switching problems, where the player is allowed to switch at a sequence of exogenous Poisson arrival times, and the underlying switching system is governed by an infinite horizon backward stochastic differential equation system. The value function and the optimal switching strategy are characterized by the solution of the underlying switching system. In…
▽ More
This paper introduces a new class of optimal switching problems, where the player is allowed to switch at a sequence of exogenous Poisson arrival times, and the underlying switching system is governed by an infinite horizon backward stochastic differential equation system. The value function and the optimal switching strategy are characterized by the solution of the underlying switching system. In a Markovian setting, the paper gives a complete description of the structure of switching regions by means of the comparison principle.
△ Less
Submitted 6 March, 2014; v1 submitted 22 September, 2013;
originally announced September 2013.
-
A New Splitting Method for Time-dependent Convection-dominated Diffusion Problems
Authors:
Feng Shi,
Guo** Liang,
Yubo Zhao,
Jun Zou
Abstract:
We present a new splitting method for time-dependent convection-dominated diffusion problems. The original convection diffusion system is split into two sub-systems: a pure convection system and a diffusion system. At each time step, a convection problem and a diffusion problem are solved successively. The scheme has the following nice features: the convection subproblem is solved explicitly and a…
▽ More
We present a new splitting method for time-dependent convection-dominated diffusion problems. The original convection diffusion system is split into two sub-systems: a pure convection system and a diffusion system. At each time step, a convection problem and a diffusion problem are solved successively. The scheme has the following nice features: the convection subproblem is solved explicitly and a multistep technique is introduced to essentially enlarge the stability region so that the resulting scheme behaves like an unconditionally stable scheme; the diffusion subproblem is always self-adjoint and coercive so that it can be solved efficiently using many existing optimal preconditioned iterative solvers. The scheme is then extended for Navier-Stokes equations, where the nonlinear convection is resolved by a linear explicit multistep scheme at the convection step, and only a generalized Stokes problem is needed to solve at the diffusion step with the resulting stiffness matrix being invariant in the time marching process. The new schemes are all free from tuning some stabilization parameters for the convection-dominated diffusion problems. Numerical simulations are presented to demonstrate the stability, convergence and performance of the single-step and multistep variants of the new scheme.
△ Less
Submitted 17 February, 2013;
originally announced February 2013.
-
Stochastic Control Representations for Penalized Backward Stochastic Differential Equations
Authors:
Gechun Liang
Abstract:
This paper shows that penalized backward stochastic differential equation (BSDE), which is often used to approximate and solve the corresponding reflected BSDE, admits both optimal stop** representation and optimal control representation. The new feature of the optimal stop** representation is that the player is allowed to stop at exogenous Poisson arrival times. The convergence rate of the pe…
▽ More
This paper shows that penalized backward stochastic differential equation (BSDE), which is often used to approximate and solve the corresponding reflected BSDE, admits both optimal stop** representation and optimal control representation. The new feature of the optimal stop** representation is that the player is allowed to stop at exogenous Poisson arrival times. The convergence rate of the penalized BSDE then follows from the optimal stop** representation. The paper then applies to two classes of equations, namely multidimensional reflected BSDE and reflected BSDE with a constraint on the hedging part, and gives stochastic control representations for their corresponding penalized equations.
△ Less
Submitted 31 March, 2015; v1 submitted 3 February, 2013;
originally announced February 2013.
-
Fully coupled forward-backward stochastic dynamics and functional differential systems
Authors:
Matteo Casserini,
Gechun Liang
Abstract:
This article introduces and solves a general class of fully coupled forward-backward stochastic dynamics by investigating the associated system of functional differential equations. As a consequence, we are able to solve many different types of forward-backward stochastic differential equations (FBSDEs) that do not fit in the classical setting. In our approach, the equations are running in the sam…
▽ More
This article introduces and solves a general class of fully coupled forward-backward stochastic dynamics by investigating the associated system of functional differential equations. As a consequence, we are able to solve many different types of forward-backward stochastic differential equations (FBSDEs) that do not fit in the classical setting. In our approach, the equations are running in the same time direction rather than in a forward and backward way, and the conflicting nature of the structure of FBSDEs is therefore avoided.
△ Less
Submitted 30 March, 2014; v1 submitted 21 December, 2011;
originally announced December 2011.
-
A Multidimensional Exponential Utility Indifference Pricing Model with Applications to Counterparty Risk
Authors:
Vicky Henderson,
Gechun Liang
Abstract:
This paper considers exponential utility indifference pricing for a multidimensional non-traded assets model subject to inter-temporal default risk, and provides a semigroup approximation for the utility indifference price. The key tool is the splitting method, whose convergence is proved based on the Barles-Souganidis monotone scheme, and the convergence rate is derived based on Krylov's shaking…
▽ More
This paper considers exponential utility indifference pricing for a multidimensional non-traded assets model subject to inter-temporal default risk, and provides a semigroup approximation for the utility indifference price. The key tool is the splitting method, whose convergence is proved based on the Barles-Souganidis monotone scheme, and the convergence rate is derived based on Krylov's shaking the coefficients technique. We apply our methodology to study the counterparty risk of derivatives in incomplete markets.
△ Less
Submitted 21 September, 2015; v1 submitted 16 November, 2011;
originally announced November 2011.
-
A Functional Approach to FBSDEs and Its Application in Optimal Portfolios
Authors:
G. Liang,
T. Lyons,
Z. Qian
Abstract:
In Liang et al (2009), the current authors demonstrated that BSDEs can be reformulated as functional differential equations, and as an application, they solved BSDEs on general filtered probability spaces. In this paper the authors continue the study of functional differential equations and demonstrate how such approach can be used to solve FBSDEs. By this approach the equations can be solved in o…
▽ More
In Liang et al (2009), the current authors demonstrated that BSDEs can be reformulated as functional differential equations, and as an application, they solved BSDEs on general filtered probability spaces. In this paper the authors continue the study of functional differential equations and demonstrate how such approach can be used to solve FBSDEs. By this approach the equations can be solved in one direction altogether rather than in a forward and backward way. The solutions of FBSDEs are then employed to construct the weak solutions to a class of BSDE systems (not necessarily scalar) with quadratic growth, by a nonlinear version of Girsanov's transformation. As the solving procedure is constructive, the authors not only obtain the existence and uniqueness theorem, but also really work out the solutions to such class of BSDE systems with quadratic growth. Finally an optimal portfolio problem in incomplete markets is solved based on the functional differential equation approach and the nonlinear Girsanov's transformation.
△ Less
Submitted 19 November, 2010;
originally announced November 2010.
-
On Girsanov's transform for backward stochastic differential equations
Authors:
G. Liang,
A. Lionnet,
Z. Qian
Abstract:
By using a simple observation that the density processes appearing in Ito's martingale representation theorem are invariant under the change of measures, we establish a non-linear version of the Cameron-Martin formula for solutions of a class of systems of quasi-linear parabolic equations with non-linear terms of quadratic growth. We also construct a local stochastic flow and establish a Bismut ty…
▽ More
By using a simple observation that the density processes appearing in Ito's martingale representation theorem are invariant under the change of measures, we establish a non-linear version of the Cameron-Martin formula for solutions of a class of systems of quasi-linear parabolic equations with non-linear terms of quadratic growth. We also construct a local stochastic flow and establish a Bismut type formula for such system of quasi-linear PDEs. Gradient estimates are obtained in terms of the probability representation of the solution. Another interesting aspect indicated in the paper is the connection between the non-linear Cameron-Martin formula and a class of forward-backward stochastic differential equations(FBSDEs).
△ Less
Submitted 14 November, 2010;
originally announced November 2010.
-
Backward stochastic dynamics on a filtered probability space
Authors:
Gechun Liang,
Terry Lyons,
Zhongmin Qian
Abstract:
We demonstrate that backward stochastic differential equations (BSDE) may be reformulated as ordinary functional differential equations on certain path spaces. In this framework, neither Itô's integrals nor martingale representation formulate are needed. This approach provides new tools for the study of BSDE, and is particularly useful for the study of BSDE with partial information. The approach a…
▽ More
We demonstrate that backward stochastic differential equations (BSDE) may be reformulated as ordinary functional differential equations on certain path spaces. In this framework, neither Itô's integrals nor martingale representation formulate are needed. This approach provides new tools for the study of BSDE, and is particularly useful for the study of BSDE with partial information. The approach allows us to study the following type of backward stochastic differential equations: \[dY_t^j=-f_0^j(t,Y_t,L(M)_t) dt-\sum_{i=1}^df_i^j(t,Y_t), dB_t^i+dM_t^j\] with $Y_T=ξ$, on a general filtered probability space $(Ω,\mathcal{F},\mathcal{F}_t,P)$, where $B$ is a $d$-dimensional Brownian motion, $L$ is a prescribed (nonlinear) map** which sends a square-integrable $M$ to an adapted process $L(M)$ and $M$, a correction term, is a square-integrable martingale to be determined. Under certain technical conditions, we prove that the system admits a unique solution $(Y,M)$. In general, the associated partial differential equations are not only nonlinear, but also may be nonlocal and involve integral operators.
△ Less
Submitted 19 November, 2012; v1 submitted 2 April, 2009;
originally announced April 2009.