-
A non-asymptotic approach to stochastic differential games with many players under semi-monotonicity
Authors:
Marco Cirant,
Joe Jackson,
Davide Francesco Redaelli
Abstract:
We consider stochastic differential games with a large number of players, with the aim of quantifying the gap between closed-loop, open-loop and distributed equilibria. We show that, under two different semi-monotonicity conditions, the equilibrium trajectories are close when the interactions between the players are weak. Our approach is non-asymptotic in nature, in the sense that it does not make…
▽ More
We consider stochastic differential games with a large number of players, with the aim of quantifying the gap between closed-loop, open-loop and distributed equilibria. We show that, under two different semi-monotonicity conditions, the equilibrium trajectories are close when the interactions between the players are weak. Our approach is non-asymptotic in nature, in the sense that it does not make use of any a priori identification of a limiting model, like in mean field game (MFG) theory. The main technical step is to derive bounds on solutions to systems of PDE/FBSDE characterizing the equilibria that are independent of the number of players. When specialized to the mean field setting, our estimates yield quantitative convergence results for both open-loop and closed-loop equilibria without any use of the master equation. In fact, our main bounds hold for games in which interactions are much sparser than those of MFGs, and so we can also obtain some "universality" results for MFGs, in which we show that games governed by dense enough networks converge to the usual MFG limit. Finally, we use our estimates to study a joint vanishing viscosity and large population limit in the setting of displacement monotone games without idiosyncratic noise.
△ Less
Submitted 2 May, 2025;
originally announced May 2025.
-
Polynomial Approximation to the Inverse of a Large Matrix
Authors:
Mark Embree,
Joel A. Henningsen,
Jordan Jackson,
Ronald B. Morgan
Abstract:
The inverse of a large matrix can often be accurately approximated by a polynomial of degree significantly lower than the order of the matrix. The iteration polynomial generated by a run of the GMRES algorithm is a good candidate, and its approximation to the inverse often seems to track the accuracy of the GMRES iteration. We investigate the quality of this approximation through theory and experi…
▽ More
The inverse of a large matrix can often be accurately approximated by a polynomial of degree significantly lower than the order of the matrix. The iteration polynomial generated by a run of the GMRES algorithm is a good candidate, and its approximation to the inverse often seems to track the accuracy of the GMRES iteration. We investigate the quality of this approximation through theory and experiment, noting the practical need to add copies of some polynomial terms to improve stability. To mitigate storage and orthogonalization costs, other approaches have appeal, such as polynomial preconditioned GMRES and deflation of problematic eigenvalues. Applications of such polynomial approximations include solving systems of linear equations with multiple right-hand sides (where the solutions to subsequent problems come simply by multiplying the polynomial against the new right-hand sides) and variance reduction in multilevel Monte Carlo methods.
△ Less
Submitted 25 February, 2025;
originally announced February 2025.
-
The worst destabilizing 1-parameter subgroup for toric rational curves with one unibranch singularity
Authors:
Joshua Jackson,
David Swinarski
Abstract:
Kempf proved that when a point is unstable in the sense of Geometric Invariant Theory, there is a ``worst'' destabilizing 1-parameter subgroup $λ^{*}$. It is natural to ask: what are the worst 1-PS for the unstable points in the GIT problems used to construct the moduli space of curves $\overline{M}_g$? Here we consider Chow points of toric rational curves with one unibranch singular point. We tra…
▽ More
Kempf proved that when a point is unstable in the sense of Geometric Invariant Theory, there is a ``worst'' destabilizing 1-parameter subgroup $λ^{*}$. It is natural to ask: what are the worst 1-PS for the unstable points in the GIT problems used to construct the moduli space of curves $\overline{M}_g$? Here we consider Chow points of toric rational curves with one unibranch singular point. We translate the problem as an explicit problem in convex geometry (finding the closest point on a polyhedral cone to a point outside it). We prove that the worst 1-PS has a combinatorial description that persists once the embedding dimension is sufficiently large, and present some examples.
△ Less
Submitted 1 February, 2025;
originally announced February 2025.
-
Quantitative convergence for mean field control with common noise and degenerate idiosyncratic noise
Authors:
Alekos Cecchin,
Samuel Daudin,
Joe Jackson,
Mattia Martini
Abstract:
We consider the convergence problem in the setting of mean field control with common noise and degenerate idiosyncratic noise. Our main results establish a rate of convergence of the finite-dimensional value functions $V^N$ towards the mean field value function $U$. In the case that the idiosyncratic noise is constant (but possibly degenerate), we obtain the rate $N^{-1/(d+7)}$, which is close to…
▽ More
We consider the convergence problem in the setting of mean field control with common noise and degenerate idiosyncratic noise. Our main results establish a rate of convergence of the finite-dimensional value functions $V^N$ towards the mean field value function $U$. In the case that the idiosyncratic noise is constant (but possibly degenerate), we obtain the rate $N^{-1/(d+7)}$, which is close to the conjectured optimal rate $N^{-1/d}$, and improves on the existing literature even in the non-degenerate setting. In the case that the idiosyncratic noise can be both non-constant and degenerate, the argument is more complicated, and we instead find the rate $N^{-1/(3d + 19)}$. Our proof strategy builds on the one initiated in [Daudin, Delarue, Jackson - JFA, 2024] in the case of non-degenerate idiosyncratic noise and zero common noise, which consists of approximating $U$ by more regular functions which are almost subsolutions of the infinite-dimensional Hamilton-Jacobi equation solved by $U$. Because of the different noise structure, several new steps are necessary in order to produce an appropriate mollification scheme. In addition to our main convergence results, we investigate the case of zero idiosyncratic noise, and show that sharper results can be obtained there by purely control-theoretic arguments. We also provide examples to demonstrate that the value function is sensitive to the choice of admissible controls in the zero noise setting.
△ Less
Submitted 21 January, 2025; v1 submitted 21 September, 2024;
originally announced September 2024.
-
Bernoulli amputation
Authors:
Marius Hofert,
James Jackson,
Niels Hagenbuch
Abstract:
An approach to amputation, the process of introducing missing values to a complete dataset, is presented. It allows to construct missingness indicators in a flexible and principled way via copulas and Bernoulli margins and to incorporate dependence in missingness patterns. Besides more classical missingness models such as missing completely at random, missing at random, and missing not at random,…
▽ More
An approach to amputation, the process of introducing missing values to a complete dataset, is presented. It allows to construct missingness indicators in a flexible and principled way via copulas and Bernoulli margins and to incorporate dependence in missingness patterns. Besides more classical missingness models such as missing completely at random, missing at random, and missing not at random, the approach is able to model structured missingness such as block missingness and, via mixtures, monotone missingness, which are patterns of missing data frequently found in real-life datasets. Properties such as joint missingness probabilities or missingness correlation are derived mathematically. The approach is demonstrated with mathematical examples and empirical illustrations in terms of a well-known dataset.
△ Less
Submitted 26 July, 2024;
originally announced July 2024.
-
Concentration bounds for stochastic systems with singular kernels
Authors:
Joe Jackson,
Antonios Zitridis
Abstract:
This note is concerned with weakly interacting stochastic particle systems with possibly singular pairwise interactions. In this setting, we observe a connection between entropic propagation of chaos and exponential concentration bounds for the empirical measure of the system. In particular, we establish a variational upper bound for the probability of a certain rare event, and then use this upper…
▽ More
This note is concerned with weakly interacting stochastic particle systems with possibly singular pairwise interactions. In this setting, we observe a connection between entropic propagation of chaos and exponential concentration bounds for the empirical measure of the system. In particular, we establish a variational upper bound for the probability of a certain rare event, and then use this upper bound to show that "controlled" entropic propagation of chaos implies an exponential concentration bound for the empirical measure. This connection allows us to infer concentration bounds for a class of singular stochastic systems through a simple adaptation of the arguments developed in Jabin and Wang (2018).
△ Less
Submitted 4 June, 2024;
originally announced June 2024.
-
Affine Non-Reductive GIT and moduli of representations of quivers with multiplicities
Authors:
Eloise Hamilton,
Victoria Hoskins,
Joshua Jackson
Abstract:
We give an explicit approach to quotienting affine varieties by linear actions of linear algebraic groups with graded unipotent radical, using results from projective Non-Reductive GIT. Our quotients come with explicit projective completions, whose boundaries we interpret in terms of the original action. As an application we construct moduli spaces of semistable representations of quivers with mul…
▽ More
We give an explicit approach to quotienting affine varieties by linear actions of linear algebraic groups with graded unipotent radical, using results from projective Non-Reductive GIT. Our quotients come with explicit projective completions, whose boundaries we interpret in terms of the original action. As an application we construct moduli spaces of semistable representations of quivers with multiplicities subject to certain conditions, which always hold in the toric case for a generic stability condition.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
Sharp convergence rates for mean field control in the region of strong regularity
Authors:
Pierre Cardaliaguet,
Joe Jackson,
Nikiforos Mimikos-Stamatopoulos,
Panagiotis E. Souganidis
Abstract:
We study the convergence problem for mean field control, also known as optimal control of McKean-Vlasov dynamics. We assume that the data is smooth but not convex, and thus the limiting value function $\mathcal{U} :[0,T] \times \mathcal{P}_2(\mathbb{R}^d) \to \mathbb{R}$ is Lipschitz, but may not be differentiable. In this setting, the first and last named authors recently identified an open and d…
▽ More
We study the convergence problem for mean field control, also known as optimal control of McKean-Vlasov dynamics. We assume that the data is smooth but not convex, and thus the limiting value function $\mathcal{U} :[0,T] \times \mathcal{P}_2(\mathbb{R}^d) \to \mathbb{R}$ is Lipschitz, but may not be differentiable. In this setting, the first and last named authors recently identified an open and dense subset $\mathcal{O}$ of $[0,T] \times \mathcal{P}_2(\mathbb{R}^d)$ on which $\mathcal{U}$ is $\mathcal{C}^1$ and solves the relevant infinite-dimensional Hamilton-Jacobi equation in a classical sense. In the present paper, we use these regularity results, and some non-trivial extensions of them, to derive sharp rates of convergence. In particular, we show that the value functions for the $N$-particle control problems converge towards $\mathcal{U}$ with a rate of $1/N$, uniformly on subsets of $\mathcal{O}$ which are compact in the $p$-Wasserstein space for some $p > 2$. A similar result is also established at the level of the optimal feedback controls. The rate $1/N$ is the optimal rate in this setting even if $\mathcal{U}$ is smooth, while, in general, the optimal global rate of convergence is known to be slower than $1/N$. Thus our results show that the rate of convergence is faster inside of $\mathcal{O}$ than it is outside. As a consequence of the convergence of the optimal feedbacks, we obtain a concentration inequality for optimal trajectories of the $N$-particle problem started from i.i.d. initial conditions.
△ Less
Submitted 18 December, 2023;
originally announced December 2023.
-
Well-posedness of Hamilton-Jacobi equations in the Wasserstein space: non-convex Hamiltonians and common noise
Authors:
Samuel Daudin,
Joe Jackson,
Benjamin Seeger
Abstract:
We establish the well-posedness of viscosity solutions for a class of semi-linear Hamilton-Jacobi equations set on the space of probability measures on the torus. In particular, we focus on equations with both common and idiosyncratic noise, and with Hamiltonians which are not necessarily convex in the momentum variable. Our main results show (i) existence, (ii) the comparison principle (and hence…
▽ More
We establish the well-posedness of viscosity solutions for a class of semi-linear Hamilton-Jacobi equations set on the space of probability measures on the torus. In particular, we focus on equations with both common and idiosyncratic noise, and with Hamiltonians which are not necessarily convex in the momentum variable. Our main results show (i) existence, (ii) the comparison principle (and hence uniqueness), and (iii) the convergence of finite-dimensional approximations for such equations. Our proof strategy for the comparison principle is to first use a mix of existing techniques (especially a change of variables inspired by \cite{bayraktar2023} to deal with the common noise) to prove a ``partial comparison" result, i.e. a comparison principle which holds when either the subsolution or the supersolution is Lipschitz with respect to a certain very weak metric. Our main innovation is then to develop a strategy for removing this regularity assumption. In particular, we use some delicate estimates for a sequence of finite-dimensional PDEs to show that under certain conditions there \textit{exists} a viscosity solution which is Lipschitz with respect to the relevant weak metric. We then use this existence result together with a mollification procedure to establish a full comparison principle, i.e. a comparison principle which holds even when the subsolution under consideration is just upper semi-continuous (with respect to the weak topology) and the supersolution is just lower semi-continuous. We then apply these results to mean-field control problems with common noise and zero-sum games over the Wasserstein space.
△ Less
Submitted 4 December, 2023;
originally announced December 2023.
-
On the Optimal Rate for the Convergence Problem in Mean Field Control
Authors:
Samuel Daudin,
François Delarue,
Joe Jackson
Abstract:
The goal of this work is to obtain optimal rates for the convergence problem in mean field control. Our analysis covers cases where the solutions to the limiting problem may not be unique nor stable. Equivalently the value function of the limiting problem might not be differentiable on the entire space. Our main result is then to derive sharp rates of convergence in two distinct regimes. When the…
▽ More
The goal of this work is to obtain optimal rates for the convergence problem in mean field control. Our analysis covers cases where the solutions to the limiting problem may not be unique nor stable. Equivalently the value function of the limiting problem might not be differentiable on the entire space. Our main result is then to derive sharp rates of convergence in two distinct regimes. When the data is sufficiently regular, we obtain rates proportional to $N^{-1/2}$, with $N$ being the number of particles. When the data is merely Lipschitz and semi-concave with respect to the first Wasserstein distance, we obtain rates proportional to $N^{-2/(3d+6)}$. Noticeably, the exponent $2/(3d+6)$ is close to $1/d$, which is the optimal rate of convergence for uncontrolled particle systems driven by data with a similar regularity. The key argument in our approach consists in mollifying the value function of the limiting problem in order to produce functions that are almost classical sub-solutions to the limiting Hamilton-Jacobi equation (which is a PDE set on the space of probability measures). These sub-solutions can be projected onto finite dimensional spaces and then compared with the value functions associated with the particle systems. In the end, this comparison is used to prove the most demanding bound in the estimates. The key challenge therein is thus to exhibit an appropriate form of mollification. We do so by employing sup-convolution within a convenient functional Hilbert space. To make the whole easier, we limit ourselves to the periodic setting. We also provide some examples to show that our results are sharp up to some extent.
△ Less
Submitted 15 May, 2023;
originally announced May 2023.
-
Quantitative convergence for displacement monotone mean field games with controlled volatility
Authors:
Joe Jackson,
Ludovic Tangpi
Abstract:
We study the convergence problem for mean field games with common noise and controlled volatility. We adopt the strategy recently put forth by Laurière and the second author, using the maximum principle to recast the convergence problem as a question of ``forward-backward propagation of chaos", i.e (conditional) propagation of chaos for systems of particles evolving forward and backward in time. O…
▽ More
We study the convergence problem for mean field games with common noise and controlled volatility. We adopt the strategy recently put forth by Laurière and the second author, using the maximum principle to recast the convergence problem as a question of ``forward-backward propagation of chaos", i.e (conditional) propagation of chaos for systems of particles evolving forward and backward in time. Our main results show that displacement monotonicity can be used to obtain this propagation of chaos, which leads to quantitative convergence results for open-loop Nash equilibria for a class of mean field games. Our results seem to be the first (quantitative or qualitative) which apply to games in which the common noise is controlled. The proofs are relatively simple, and rely on a well-known technique for proving well-posedness of FBSDEs which is combined with displacement monotonicity in a novel way. To demonstrate the flexibility of the approach, we also use the same arguments to obtain convergence results for a class of infinite horizon discounted mean field games.
△ Less
Submitted 18 October, 2023; v1 submitted 10 April, 2023;
originally announced April 2023.
-
Approximately optimal distributed stochastic controls beyond the mean field setting
Authors:
Joe Jackson,
Daniel Lacker
Abstract:
We study high-dimensional stochastic optimal control problems in which many agents cooperate to minimize a convex cost functional. We consider both the full-information problem, in which each agent observes the states of all other agents, and the distributed problem, in which each agent observes only its own state. Our main results are sharp non-asymptotic bounds on the gap between these two probl…
▽ More
We study high-dimensional stochastic optimal control problems in which many agents cooperate to minimize a convex cost functional. We consider both the full-information problem, in which each agent observes the states of all other agents, and the distributed problem, in which each agent observes only its own state. Our main results are sharp non-asymptotic bounds on the gap between these two problems, measured both in terms of their value functions and optimal states. Along the way, we develop theory for distributed optimal stochastic control in parallel with the classical setting, by characterizing optimizers in terms of an associated stochastic maximum principle and a Hamilton-Jacobi-type equation. By specializing these results to the setting of mean field control, in which costs are (symmetric) functions of the empirical distribution of states, we derive the optimal rate for the convergence problem in the displacement convex regime.
△ Less
Submitted 7 January, 2023;
originally announced January 2023.
-
On quasilinear parabolic systems and FBSDEs of quadratic growth
Authors:
Joe Jackson
Abstract:
Using probabilistic methods, we establish a-priori estimates for two classes of quasilinear parabolic systems of partial differential equations (PDEs). We treat in particular the case of a nonlinearity which has quadratic growth in the gradient of the unknown. As a result of our estimates, we obtain the existence of classical solutions of the PDE system. From this, we infer the existence of soluti…
▽ More
Using probabilistic methods, we establish a-priori estimates for two classes of quasilinear parabolic systems of partial differential equations (PDEs). We treat in particular the case of a nonlinearity which has quadratic growth in the gradient of the unknown. As a result of our estimates, we obtain the existence of classical solutions of the PDE system. From this, we infer the existence of solutions to a corresponding class of forward-backward stochastic differential equations.
△ Less
Submitted 4 April, 2023; v1 submitted 16 June, 2022;
originally announced June 2022.
-
An algebraic convergence rate for the optimal control of McKean-Vlasov dynamics
Authors:
Pierre Cardaliaguet,
Samuel Daudin,
Joe Jackson,
Panagiotis Souganidis
Abstract:
We establish an algebraic rate of convergence in the large number of players limit of the value functions of N-particle stochastic control problems towards the value function of the corresponding McKean-Vlasov problem also known as mean field control. The rate is obtained in the presence of both idiosyncratic and common noises and in a setting where the value function for the McKean-Vlasov problem…
▽ More
We establish an algebraic rate of convergence in the large number of players limit of the value functions of N-particle stochastic control problems towards the value function of the corresponding McKean-Vlasov problem also known as mean field control. The rate is obtained in the presence of both idiosyncratic and common noises and in a setting where the value function for the McKean-Vlasov problem need not be smooth. Our approach relies crucially on uniform in N Lipschitz and semi-concavity estimates for the N-particle value functions as well as a certain concentration inequality.
△ Less
Submitted 6 January, 2023; v1 submitted 28 March, 2022;
originally announced March 2022.
-
The reverse Hölder inequality for matrix-valued stochastic exponentials and applications to quadratic BSDE systems
Authors:
Joe Jackson
Abstract:
In this paper, we study the connections between three concepts - the reverse Hölder inequality for matrix-valued martingales, the well-posedness of linear BSDEs with unbounded coefficients, and the well-posedness of quadratic BSDE systems. In particular, we show that a linear BSDE with bmo (bounded mean oscillation) coefficients is well-posed if and only if the stochastic exponential of a related…
▽ More
In this paper, we study the connections between three concepts - the reverse Hölder inequality for matrix-valued martingales, the well-posedness of linear BSDEs with unbounded coefficients, and the well-posedness of quadratic BSDE systems. In particular, we show that a linear BSDE with bmo (bounded mean oscillation) coefficients is well-posed if and only if the stochastic exponential of a related matrix-valued martingale satisfies a reverse Hölder inequality. Furthermore, we give structural conditions under which these two equivalent conditions are satisfied. Finally, we apply our results on linear equations to obtain global well-posedness results for two new classes of non-Markovian quadratic BSDE systems with special structure.
△ Less
Submitted 28 February, 2022;
originally announced February 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.
-
Quotients by Parabolic Groups and Moduli Spaces of Unstable Objects
Authors:
Victoria Hoskins,
Joshua Jackson
Abstract:
Motivated by constructing moduli spaces of unstable objects, we use new ideas in non-reductive GIT to construct quotients by parabolic group actions. For moduli problems with semistable moduli spaces constructed by reductive GIT, we consider associated instability (or HKKN) stratifications, which are often closed related to Harder-Narasimhan stratifications, and construct quotients of the unstable…
▽ More
Motivated by constructing moduli spaces of unstable objects, we use new ideas in non-reductive GIT to construct quotients by parabolic group actions. For moduli problems with semistable moduli spaces constructed by reductive GIT, we consider associated instability (or HKKN) stratifications, which are often closed related to Harder-Narasimhan stratifications, and construct quotients of the unstable strata under various stabiliser assumptions by further developing ideas of non-reductive GIT. Our approach is to construct parabolic quotients in stages, in order for the required stabiliser assumptions to be more readily verified. To illustrate these ideas, we construct moduli spaces for certain sheaves of fixed Harder-Narasimhan type on a projective scheme in cases where our stabiliser assumptions can be verified.cases where our stabiliser assumptions can be verified.
△ Less
Submitted 14 November, 2021;
originally announced November 2021.
-
Moduli Spaces of Unstable Objects: Sheaves of Harder-Narasimhan Length 2
Authors:
Joshua Jackson
Abstract:
Given a moduli problem posed using Geometric Invariant Theory, one can use Non-Reductive Geometric Invariant Theory to quotient unstable HKKN strata and construct 'moduli spaces of unstable objects', extending the usual moduli classifications. After giving a self-contained account of how to do this, we apply this method to construct moduli spaces for certain unstable coherent sheaves of HN length…
▽ More
Given a moduli problem posed using Geometric Invariant Theory, one can use Non-Reductive Geometric Invariant Theory to quotient unstable HKKN strata and construct 'moduli spaces of unstable objects', extending the usual moduli classifications. After giving a self-contained account of how to do this, we apply this method to construct moduli spaces for certain unstable coherent sheaves of HN length 2 on a projective scheme, which we call $τ$-stable sheaves. This extends a previous result of Brambila-Paz and Mata-Gutiérrez for rank two vector bundles on a curve.
△ Less
Submitted 14 November, 2021;
originally announced November 2021.
-
Global existence for quadratic FBSDE systems and application to stochastic differential games
Authors:
Joe Jackson
Abstract:
In this note, we extend some recent results on systems of backward stochastic differential equations (BSDEs) with quadratic growth to the case of coupled forward-backward stochastic differential equations (FBSDEs). We work in a Markovian setting, and use results from the quadratic BSDE literature together with PDE techniques to obtain a-priori estimates which lead to an existence result. We also i…
▽ More
In this note, we extend some recent results on systems of backward stochastic differential equations (BSDEs) with quadratic growth to the case of coupled forward-backward stochastic differential equations (FBSDEs). We work in a Markovian setting, and use results from the quadratic BSDE literature together with PDE techniques to obtain a-priori estimates which lead to an existence result. We also identify a general class of stochastic differential games whose corresponding FBSDE systems are covered by our main existence result. This leads to the existence of Markovian Nash equilibria for such games.
△ Less
Submitted 4 April, 2023; v1 submitted 4 October, 2021;
originally announced October 2021.
-
Existence and uniqueness for non-Markovian triangular quadratic BSDEs
Authors:
Joe Jackson,
Gordan Žitković
Abstract:
We prove the existence and uniqueness of solutions to a class of quadratic BSDE systems which we call triangular quadratic. Our results generalize several existing results about diagonally quadratic BSDEs in the non-Markovian setting. As part of our analysis, we obtain new results about linear BSDEs with unbounded coefficients, which may be of independent interest. Through a non-uniqueness example…
▽ More
We prove the existence and uniqueness of solutions to a class of quadratic BSDE systems which we call triangular quadratic. Our results generalize several existing results about diagonally quadratic BSDEs in the non-Markovian setting. As part of our analysis, we obtain new results about linear BSDEs with unbounded coefficients, which may be of independent interest. Through a non-uniqueness example, we answer a "crucial open question" raised by Harter and Richou by showing that the stochastic exponential of an n x n matrix-valued BMO martingale need not satisfy a reverse Hölder inequality.
△ Less
Submitted 12 April, 2023; v1 submitted 28 January, 2021;
originally announced January 2021.
-
A characterization of solutions of quadratic BSDEs and a new approach to existence
Authors:
Joseph Jackson,
Gordan Žitković
Abstract:
We provide a novel characterization of the solutions of a quadratic BSDE, which is analogous to the characterization of local martingales by convex functions. We then use our main result to show that BSDE solutions are closed under ucp convergence. Finally, we use our closure result obtain a sufficient condition for existence, and discuss specific cases in which this sufficient condition can be ve…
▽ More
We provide a novel characterization of the solutions of a quadratic BSDE, which is analogous to the characterization of local martingales by convex functions. We then use our main result to show that BSDE solutions are closed under ucp convergence. Finally, we use our closure result obtain a sufficient condition for existence, and discuss specific cases in which this sufficient condition can be verified.
△ Less
Submitted 24 January, 2022; v1 submitted 11 April, 2020;
originally announced April 2020.
-
Variation of Non-reductive Geometric Invariant Theory
Authors:
Gergely Bérczi,
Joshua Jackson,
Frances Kirwan
Abstract:
The wall-and-chamber structure of the dependence of the reductive GIT quotient on the choice of linearisation is well known. In this article, we first give a brief survey of recent results in non-reductive GIT, which apply when the unipotent radical is 'graded'. We then examine the dependence of these non-reductive quotients on the linearisation and an additional parameter, the choice of one-param…
▽ More
The wall-and-chamber structure of the dependence of the reductive GIT quotient on the choice of linearisation is well known. In this article, we first give a brief survey of recent results in non-reductive GIT, which apply when the unipotent radical is 'graded'. We then examine the dependence of these non-reductive quotients on the linearisation and an additional parameter, the choice of one-parameter subgroup grading the unipotent radical, and arrive at a picture similar to the reductive one.
△ Less
Submitted 22 January, 2018; v1 submitted 7 December, 2017;
originally announced December 2017.
-
On the Speed of an Excited Asymmetric Random Walk
Authors:
Mike Cinkoske,
Joe Jackson,
Claire Plunkett
Abstract:
An excited random walk is a non-Markovian extension of the simple random walk, in which the walk's behavior at time $n$ is impacted by the path it has taken up to time $n$. The properties of an excited random walk are more difficult to investigate than those of a simple random walk. For example, the limiting speed of an excited random walk is either zero or unknown depending on its initial conditi…
▽ More
An excited random walk is a non-Markovian extension of the simple random walk, in which the walk's behavior at time $n$ is impacted by the path it has taken up to time $n$. The properties of an excited random walk are more difficult to investigate than those of a simple random walk. For example, the limiting speed of an excited random walk is either zero or unknown depending on its initial conditions. While its limiting speed is unknown in most cases, the qualitative behavior of an excited random walk is largely determined by a parameter $δ$ which can be computed explicitly. Despite this, it is known that the limiting speed cannot be written as a function of $δ$. We offer a new proof of this fact, and use techniques from this proof to further investigate the relationship between $δ$ and speed. We also generalize the standard excited random walk by introducing a "bias" to the right, and call this generalization an excited asymmetric random walk. Under certain initial conditions we are able to compute an explicit formula for the limiting speed of an excited asymmetric random walk.
△ Less
Submitted 4 September, 2017; v1 submitted 28 August, 2017;
originally announced August 2017.
-
What is a Theorem?
Authors:
Jeffrey C. Jackson
Abstract:
General acceptance of a mathematical proposition $P$ as a theorem requires convincing evidence that a proof of $P$ exists. But what constitutes "convincing evidence?" I will argue that, given the types of evidence that are currently accepted as convincing, it is inconsistent to deny similar acceptance to the evidence provided for the existence of proofs by certain randomized computations.
General acceptance of a mathematical proposition $P$ as a theorem requires convincing evidence that a proof of $P$ exists. But what constitutes "convincing evidence?" I will argue that, given the types of evidence that are currently accepted as convincing, it is inconsistent to deny similar acceptance to the evidence provided for the existence of proofs by certain randomized computations.
△ Less
Submitted 30 March, 2017;
originally announced April 2017.
-
Averages of twisted L-functions
Authors:
Julia Jackson,
Andrew Knightly
Abstract:
We use a relative trace formula on GL(2) to compute a sum of twisted modular L-functions anywhere in the critical strip, weighted by a Fourier coefficient and a Hecke eigenvalue. When the weight k or level N is sufficiently large, the sum is nonzero. Specializing to the central point, we show in some cases that the resulting bound for the average is as good as that predicted by the Lindelof hypoth…
▽ More
We use a relative trace formula on GL(2) to compute a sum of twisted modular L-functions anywhere in the critical strip, weighted by a Fourier coefficient and a Hecke eigenvalue. When the weight k or level N is sufficiently large, the sum is nonzero. Specializing to the central point, we show in some cases that the resulting bound for the average is as good as that predicted by the Lindelof hypothesis in the k and N aspects.
△ Less
Submitted 15 April, 2015; v1 submitted 10 April, 2012;
originally announced April 2012.
-
Linear State Feedback Stabilization on Time Scales
Authors:
Billy J. Jackson,
John M. Davis,
Ian A. Gravagne,
Robert J. Marks II
Abstract:
For a general class of dynamical systems (of which the canonical continuous and uniform discrete versions are but special cases), we prove that there is a state feedback gain such that the resulting closed-loop system is uniformly exponentially stable with a prescribed rate. The methods here generalize and extend Gramian-based linear state feedback control to much more general time domains, e.g.…
▽ More
For a general class of dynamical systems (of which the canonical continuous and uniform discrete versions are but special cases), we prove that there is a state feedback gain such that the resulting closed-loop system is uniformly exponentially stable with a prescribed rate. The methods here generalize and extend Gramian-based linear state feedback control to much more general time domains, e.g. nonuniform discrete or a combination of continuous and discrete time. In conclusion, we discuss an experimental implementation of this theory.
△ Less
Submitted 15 October, 2009;
originally announced October 2009.
-
Controllability, Observability, Realizability, and Stability of Dynamic Linear Systems
Authors:
John M. Davis,
Ian A. Gravagne,
Billy J. Jackson,
Robert J. Marks II
Abstract:
We develop a linear systems theory that coincides with the existing theories for continuous and discrete dynamical systems, but that also extends to linear systems defined on nonuniform time domains. The approach here is based on generalized Laplace transform methods (e.g. shifts and convolution) from our recent work \cite{DaGrJaMaRa}. We study controllability in terms of the controllability Gra…
▽ More
We develop a linear systems theory that coincides with the existing theories for continuous and discrete dynamical systems, but that also extends to linear systems defined on nonuniform time domains. The approach here is based on generalized Laplace transform methods (e.g. shifts and convolution) from our recent work \cite{DaGrJaMaRa}. We study controllability in terms of the controllability Gramian and various rank conditions (including Kalman's) in both the time invariant and time varying settings and compare the results. We also explore observability in terms of both Gramian and rank conditions as well as realizability results. We conclude by applying this systems theory to connect exponential and BIBO stability problems in this general setting. Numerous examples are included to show the utility of these results.
△ Less
Submitted 3 March, 2009; v1 submitted 23 January, 2009;
originally announced January 2009.
