-
Time-periodic solutions of the compressible Euler equations and the Nonlinear Theory of Sound
Authors:
Blake Temple,
Robin Young
Abstract:
We prove the existence of ``pure tone'' nonlinear sound waves of all frequencies. These are smooth, time periodic, oscillatory solutions of the $3\times3$ compressible Euler equations satisfying periodic or acoustic boundary conditions in one space dimension. This resolves a centuries old problem in the theory of Acoustics, by establishing that the pure modes of the linearized equations are the sm…
▽ More
We prove the existence of ``pure tone'' nonlinear sound waves of all frequencies. These are smooth, time periodic, oscillatory solutions of the $3\times3$ compressible Euler equations satisfying periodic or acoustic boundary conditions in one space dimension. This resolves a centuries old problem in the theory of Acoustics, by establishing that the pure modes of the linearized equations are the small amplitude limits of solutions of the nonlinear equations. Riemann's celebrated 1860 proof that compressions always form shocks is known to hold for isentropic and barotropic flows, but our proof shows that for generic entropy profiles, shock-free periodic solutions containing nontrivial compressions and rarefactions exist for every wavenumber $k$.
△ Less
Submitted 31 May, 2024;
originally announced June 2024.
-
Ergodic quasi-isometries and the cohomology of nilpotent Lie groups
Authors:
Gioacchino Antonelli,
Robert Young
Abstract:
We give a simplified and self-contained proof of the following result due to Shalom, Sauer, and Gotfredsen-Kyed: two quasi-isometric simply connected nilpotent Lie groups $G$ and $H$ have isomorphic cohomology algebras. Our proof is based on considering maps which induce an ergodic measure on the space of functions from $G$ to $H$ ($\textit{ergodic maps}$), and we show that, given an ergodic quasi…
▽ More
We give a simplified and self-contained proof of the following result due to Shalom, Sauer, and Gotfredsen-Kyed: two quasi-isometric simply connected nilpotent Lie groups $G$ and $H$ have isomorphic cohomology algebras. Our proof is based on considering maps which induce an ergodic measure on the space of functions from $G$ to $H$ ($\textit{ergodic maps}$), and we show that, given an ergodic quasi-isometry, one can construct an explicit isomorphism from $H^*(H)$ to $H^*(G)$.
Specifically, when $ψ$ is an ergodic quasi-isometry, the pullback $ψ^*ω$ of a differential form $ω$ has a well-defined $\textit{amenable average}$ $\overline{ψ^*}ω$, and we show that $\overline{ψ^*}$ is the desired isomorphism. A key observation in our proof is that quasi-isometries of nilpotent groups are coarsely volume-preserving, so the amenable average of the pullback of the volume form is always nonzero.
△ Less
Submitted 28 May, 2024;
originally announced May 2024.
-
Construction of fillings with prescribed Gaussian image and applications
Authors:
Antonio De Rosa,
Yucong Lei,
Robert Young
Abstract:
We construct $d$-dimensional polyhedral chains such that the distribution of tangent planes is close to a prescribed measure on the Grassmannian and the chains are either cycles (if the prescribed measure is centered) or their boundary is the boundary of a unit $d$-cube (if the barycenter of the prescribed measure, considered as a measure on $\bigwedge^d \mathbb{R}^n$, is a simple $d$-vector). Suc…
▽ More
We construct $d$-dimensional polyhedral chains such that the distribution of tangent planes is close to a prescribed measure on the Grassmannian and the chains are either cycles (if the prescribed measure is centered) or their boundary is the boundary of a unit $d$-cube (if the barycenter of the prescribed measure, considered as a measure on $\bigwedge^d \mathbb{R}^n$, is a simple $d$-vector). Such fillings were first proved to exist by Burago and Ivanov [Geom. funct. anal., 2004]; our work gives an explicit construction. Furthermore, in the case that the measure on the Grassmannian is supported on the set of positively oriented $d$-planes, we can construct fillings that are Lipschitz multigraphs. We apply this construction to prove that for anisotropic surface energies, ellipticity for Lipschitz multivalued functions is equivalent to polyconvexity and to show that strict polyconvexity is necessary for the atomic condition to hold.
△ Less
Submitted 19 January, 2024;
originally announced January 2024.
-
Optimal Insurance to Maximize Exponential Utility when Premium is Computed by a Convex Functional
Authors:
**gyi Cao,
Dongchen Li,
Virginia R. Young,
Bin Zou
Abstract:
We find the optimal indemnity to maximize the expected utility of terminal wealth of a buyer of insurance whose preferences are modeled by an exponential utility. The insurance premium is computed by a convex functional. We obtain a necessary condition for the optimal indemnity; then, because the candidate optimal indemnity is given implicitly, we use that necessary condition to develop a numerica…
▽ More
We find the optimal indemnity to maximize the expected utility of terminal wealth of a buyer of insurance whose preferences are modeled by an exponential utility. The insurance premium is computed by a convex functional. We obtain a necessary condition for the optimal indemnity; then, because the candidate optimal indemnity is given implicitly, we use that necessary condition to develop a numerical algorithm to compute it. We prove that the numerical algorithm converges to a unique indemnity that, indeed, equals the optimal policy. We also illustrate our results with numerical examples.
△ Less
Submitted 15 January, 2024;
originally announced January 2024.
-
The Nonlinear Theory of Sound
Authors:
Blake Temple,
Robin Young
Abstract:
We prove the existence of ``pure tone'' nonlinear sound waves of all frequencies. These are smooth, space and time periodic, oscillatory solutions of the $3\times3$ compressible Euler equations in one space dimension. Being perturbations of solutions of a linear wave equation, they provide a rigorous justification for the centuries old theory of Acoustics. In particular, Riemann's celebrated 1860…
▽ More
We prove the existence of ``pure tone'' nonlinear sound waves of all frequencies. These are smooth, space and time periodic, oscillatory solutions of the $3\times3$ compressible Euler equations in one space dimension. Being perturbations of solutions of a linear wave equation, they provide a rigorous justification for the centuries old theory of Acoustics. In particular, Riemann's celebrated 1860 proof that compressions always form shocks holds for isentropic and barotropic flows, but for generic entropy profiles, shock-free periodic solutions containing nontrivial compressions and rarefactions exist for every wavenumber $k$.
△ Less
Submitted 24 May, 2023;
originally announced May 2023.
-
The strong geometric lemma in the Heisenberg group
Authors:
Vasileios Chousionis,
Sean Li,
Robert Young
Abstract:
We prove that in the first Heisenberg group, unlike Euclidean spaces and higher dimensional Heisenberg groups, the best possible exponent for the strong geometric lemma for intrinsic Lipschitz graphs is $4$ instead of $2$. Combined with earlier work from arXiv:2004.11447 and arXiv:2207.03013, our result completes the proof of the strong geometric lemma in Heisenberg groups. One key tool in our pro…
▽ More
We prove that in the first Heisenberg group, unlike Euclidean spaces and higher dimensional Heisenberg groups, the best possible exponent for the strong geometric lemma for intrinsic Lipschitz graphs is $4$ instead of $2$. Combined with earlier work from arXiv:2004.11447 and arXiv:2207.03013, our result completes the proof of the strong geometric lemma in Heisenberg groups. One key tool in our proof, and possibly of independent interest, is a suitable refinement of the foliated coronizations which first appeared in arXiv:2004.12522.
△ Less
Submitted 26 April, 2023;
originally announced April 2023.
-
A fully implicit method using nodal radial basis functions to solve the linear advection equation
Authors:
P. -A. Gourdain,
M. B. Adams,
M. Evans,
H. R. Hasson,
J. R. Young,
I. West-Abdallah
Abstract:
Radial basis functions are typically used when discretization sche-mes require inhomogeneous node distributions. While spawning from a desire to interpolate functions on a random set of nodes, they have found successful applications in solving many types of differential equations. However, the weights of the interpolated solution, used in the linear superposition of basis functions to interpolate…
▽ More
Radial basis functions are typically used when discretization sche-mes require inhomogeneous node distributions. While spawning from a desire to interpolate functions on a random set of nodes, they have found successful applications in solving many types of differential equations. However, the weights of the interpolated solution, used in the linear superposition of basis functions to interpolate the solution, and the actual value of the solution are completely different. In fact, these weights mix the value of the solution with the geometrical location of the nodes used to discretize the equation. In this paper, we used nodal radial basis functions, which are interpolants of the impulse function at each node inside the domain. This transformation allows to solve a linear hyperbolic partial differential equation using series expansion rather than the explicit computation of a matrix inverse. This transformation effectively yields an implicit solver which only requires the multiplication of vectors with matrices. Because the solver requires neither matrix inverse nor matrix-matrix products, this approach is numerically more stable and reduces the error by at least two orders of magnitude, compared to other solvers using radial basis functions directly. Further, boundary conditions are integrated directly inside the solver, at no extra cost. The method is naturally conservative, kee** the error virtually constant throughout the computation.
△ Less
Submitted 19 October, 2022;
originally announced October 2022.
-
The Riesz tranform on intrinsic Lipschitz graphs in the Heisenberg group
Authors:
Vasileios Chousionis,
Sean Li,
Robert Young
Abstract:
We prove that the Heisenberg Riesz transform is $L_2$--unbounded on a family of intrinsic Lipschitz graphs in the first Heisenberg group $\mathbb{H}$. We construct this family by combining a method from \cite{NY2} with a stop** time argument, and we establish the $L_2$--unboundedness of the Riesz transform by introducing several new techniques to analyze singular integrals on intrinsic Lipschitz…
▽ More
We prove that the Heisenberg Riesz transform is $L_2$--unbounded on a family of intrinsic Lipschitz graphs in the first Heisenberg group $\mathbb{H}$. We construct this family by combining a method from \cite{NY2} with a stop** time argument, and we establish the $L_2$--unboundedness of the Riesz transform by introducing several new techniques to analyze singular integrals on intrinsic Lipschitz graphs. These include a formula for the Riesz transform in terms of a singular integral on a vertical plane and bounds on the flow of singular integrals that arises from a perturbation of a graph. On the way, we use our construction to show that the strong geometric lemma fails in $\mathbb{H}$ for all exponents in $[2,4)$.
Our results are in stark contrast to two fundamental results in Euclidean harmonic analysis and geometric measure theory: Lipschitz graphs in $\mathbb{R}^n$ satisfy the strong geometric lemma, and the $m$--Riesz transform is $L_2$--bounded on $m$--dimensional Lipschitz graphs in $\mathbb{R}^n$ for $m\in (0,n)$.
△ Less
Submitted 6 July, 2022;
originally announced July 2022.
-
Time series analysis and modelling of the freezing of gait phenomenon
Authors:
Ai Wang,
Jan Sieber,
William R. Young,
Krasimira Tsaneva-Atanasova
Abstract:
Freezing of Gait (FOG) is one of the most debilitating symptoms of Parkinson's Disease and is associated with falls and loss of independence. The patho-physiological mechanisms underpinning FOG are currently poorly understood. In this paper we combine time series analysis and mathematical modelling to study the FOG phenomenon's dynamics. We focus on the transition from step** in place into freez…
▽ More
Freezing of Gait (FOG) is one of the most debilitating symptoms of Parkinson's Disease and is associated with falls and loss of independence. The patho-physiological mechanisms underpinning FOG are currently poorly understood. In this paper we combine time series analysis and mathematical modelling to study the FOG phenomenon's dynamics. We focus on the transition from step** in place into freezing and treat this phenomenon in the context of an escape from an oscillatory attractor into an equilibrium attractor state. We extract a discrete-time discrete-space Markov chain from experimental data and divide its state space into communicating classes to identify the transition into freezing. This allows us to develop a methodology for computationally estimating the time to freezing as well as the phase along the oscillatory (step**) cycle of a patient experiencing Freezing Episodes (FE). The developed methodology is general and could be applied to any time series featuring transitions between different dynamic regimes including time series data from forward walking in people with FOG.
△ Less
Submitted 20 October, 2022; v1 submitted 16 March, 2022;
originally announced March 2022.
-
Optimal Reinsurance to Minimize the Probability of Drawdown under the Mean-Variance Premium Principle: Asymptotic Analysis
Authors:
Pablo Azcue,
Xiaoqing Liang,
Nora Muler,
Virginia R. Young
Abstract:
In this paper, we consider an optimal reinsurance problem to minimize the probability of drawdown for the scaled Cramér-Lundberg risk model when the reinsurance premium is computed according to the mean-variance premium principle. We extend the work of Liang et al. [16] to the case of minimizing the probability of drawdown. By using the comparison method and the tool of adjustment coefficients, we…
▽ More
In this paper, we consider an optimal reinsurance problem to minimize the probability of drawdown for the scaled Cramér-Lundberg risk model when the reinsurance premium is computed according to the mean-variance premium principle. We extend the work of Liang et al. [16] to the case of minimizing the probability of drawdown. By using the comparison method and the tool of adjustment coefficients, we show that the minimum probability of drawdown for the scaled classical risk model converges to the minimum probability for its diffusion approximation, and the rate of convergence is of order $O(n^{-1/2})$. We further show that using the optimal strategy from the diffusion approximation in the scaled classical risk model is $O(n^{-1/2})$-optimal.
△ Less
Submitted 3 January, 2022;
originally announced January 2022.
-
Undistorted fillings in subsets of metric spaces
Authors:
Giuliano Basso,
Stefan Wenger,
Robert Young
Abstract:
We prove that if a quasiconvex subset $X$ of a metric space $Y$ has finite Nagata dimension and is Lipschitz $k$-connected or admits Euclidean isoperimetric inequalities up to dimension $k$ for some $k$ then $X$ is isoperimetrically undistorted in $Y$ up to dimension $k+1$. This generalizes and strengthens a recent result of the third named author and has several consequences and applications. It…
▽ More
We prove that if a quasiconvex subset $X$ of a metric space $Y$ has finite Nagata dimension and is Lipschitz $k$-connected or admits Euclidean isoperimetric inequalities up to dimension $k$ for some $k$ then $X$ is isoperimetrically undistorted in $Y$ up to dimension $k+1$. This generalizes and strengthens a recent result of the third named author and has several consequences and applications. It yields for example that in spaces of finite Nagata dimension, Lipschitz connectedness implies Euclidean isoperimetric inequalities, and Euclidean isoperimetric inequalities imply coning inequalities. It furthermore allows us to prove an analog of the Federer-Fleming deformation theorem in spaces of finite Nagata dimension admitting Euclidean isoperimetric inequalities.
△ Less
Submitted 22 December, 2021;
originally announced December 2021.
-
Optimal Dividends under Model Uncertainty
Authors:
Prakash Chakraborty,
Asaf Cohen,
Virginia R. Young
Abstract:
We consider a diffusive model for optimally distributing dividends, while allowing for Knightian model ambiguity concerning the drift of the surplus process. We show that the value function is the unique solution of a non-linear Hamilton-Jacobi-Bellman variational inequality. In addition, this value function embodies a unique optimal threshold strategy for the insurer's surplus, thereby making it…
▽ More
We consider a diffusive model for optimally distributing dividends, while allowing for Knightian model ambiguity concerning the drift of the surplus process. We show that the value function is the unique solution of a non-linear Hamilton-Jacobi-Bellman variational inequality. In addition, this value function embodies a unique optimal threshold strategy for the insurer's surplus, thereby making it the smooth pasting of a non-linear and linear part at the location of the threshold. Furthermore, we obtain continuity and monotonicity of the value function and the threshold strategy with respect to the parameter that measures ambiguity of our model.
△ Less
Submitted 19 September, 2021;
originally announced September 2021.
-
Area-minimizing ruled graphs and the Bernstein problem in the Heisenberg group
Authors:
Robert Young
Abstract:
In this paper, we give a necessary and sufficient condition for a graphical strip in the Heisenberg group $\mathbb{H}$ to be area-minimizing in the slab $\{-1<x<1\}$. We show that our condition is necessary by introducing a family of deformations of graphical strips based on varying a vertical curve. We show that it is sufficient by showing that strips satisfying the condition have monotone epigra…
▽ More
In this paper, we give a necessary and sufficient condition for a graphical strip in the Heisenberg group $\mathbb{H}$ to be area-minimizing in the slab $\{-1<x<1\}$. We show that our condition is necessary by introducing a family of deformations of graphical strips based on varying a vertical curve. We show that it is sufficient by showing that strips satisfying the condition have monotone epigraphs. We use this condition to show that any area-minimizing ruled entire intrinsic graph in the Heisenberg group is a vertical plane and to find a boundary curve that admits uncountably many fillings by area-minimizing surfaces.
△ Less
Submitted 18 May, 2021;
originally announced May 2021.
-
Minimizing the Probability of Lifetime Exponential Parisian Ruin
Authors:
Xiaoqing Liang,
Virginia R. Young
Abstract:
We find the optimal investment strategy in a Black-Scholes market to minimize the probability of so-called {\it lifetime exponential Parisian ruin}, that is, the probability that wealth exhibits an excursion below zero of an exponentially distributed time before the individual dies. We find that leveraging the risky asset is worse for negative wealth when minimizing the probability of lifetime exp…
▽ More
We find the optimal investment strategy in a Black-Scholes market to minimize the probability of so-called {\it lifetime exponential Parisian ruin}, that is, the probability that wealth exhibits an excursion below zero of an exponentially distributed time before the individual dies. We find that leveraging the risky asset is worse for negative wealth when minimizing the probability of lifetime exponential Parisian ruin than when minimizing the probability of lifetime ruin. Moreover, when wealth is negative, the optimal amount invested in the risky asset increases as the hazard rate of the exponential ``excursion clock'' increases. In view of the heavy leveraging when wealth is negative, we also compute the minimum probability of lifetime exponential Parisian ruin under a constraint on investment. Finally, we derive an asymptotic expansion of the minimum probability of lifetime exponential Parisian ruin for small values of the hazard rate of the excursion clock. It is interesting to find that, for small values of this hazard rate, the minimum probability of lifetime exponential Parisian ruin is proportional to the minimum occupation time studied in Bayraktar and Young, and the proportion equals the hazard rate. To the best of our knowledge, our work is the first to {\it control} the probability of Parisian ruin.
△ Less
Submitted 26 April, 2021;
originally announced April 2021.
-
Harmonic intrinsic graphs in the Heisenberg group
Authors:
Robert Young
Abstract:
Minimal surfaces in $\mathbb{R}^n$ can be locally approximated by graphs of harmonic functions, i.e., functions that are critical points of the Dirichlet energy, but no analogous theorem is known for $H$-minimal surfaces in the three-dimensional Heisenberg group $\mathbb{H}$, which are known to have singularities. In this paper, we introduce a definition of intrinsic Dirichlet energy for surfaces…
▽ More
Minimal surfaces in $\mathbb{R}^n$ can be locally approximated by graphs of harmonic functions, i.e., functions that are critical points of the Dirichlet energy, but no analogous theorem is known for $H$-minimal surfaces in the three-dimensional Heisenberg group $\mathbb{H}$, which are known to have singularities. In this paper, we introduce a definition of intrinsic Dirichlet energy for surfaces in $\mathbb{H}$ and study the critical points of this energy, which we call contact harmonic graphs. Nearly flat regions of $H$-minimal surfaces can often be approximated by such graphs. We give a calibration condition for an intrinsic Lipschitz graph to be energy-minimizing, construct energy-minimizing graphs with a variety of singularities, and prove a first variation formula for the energy of intrinsic Lipschitz graphs and piecewise smooth intrinsic graphs.
△ Less
Submitted 17 December, 2020;
originally announced December 2020.
-
Optimal Consumption under a Habit-Formation Constraint: the Deterministic Case
Authors:
Bahman Angoshtari,
Erhan Bayraktar,
Virginia R. Young
Abstract:
We formulate and solve a deterministic optimal consumption problem to maximize the discounted CRRA utility of an individual's consumption-to-habit process assuming she only invests in a riskless market and that she is unwilling to consume at a rate below a certain proportion $α\in(0,1]$ of her consumption habit. Increasing $α$, increases the degree of addictiveness of habit formation, with $α=0$ (…
▽ More
We formulate and solve a deterministic optimal consumption problem to maximize the discounted CRRA utility of an individual's consumption-to-habit process assuming she only invests in a riskless market and that she is unwilling to consume at a rate below a certain proportion $α\in(0,1]$ of her consumption habit. Increasing $α$, increases the degree of addictiveness of habit formation, with $α=0$ (respectively, $α=1$) corresponding to non-addictive (respectively, completely addictive) model. We derive the optimal consumption policies explicitly in terms of the solution of a nonlinear free-boundary problem, which we analyze in detail. Impatient individuals (or, equivalently, those with more addictive habits) always consume above the minimum rate; thus, they eventually attain the minimum wealth-to-habit ratio. Patient individuals (or, equivalently, those with less addictive habits) consume at the minimum rate if their wealth-to-habit ratio is below a threshold, and above it otherwise. By consuming patiently, these individuals maintain a wealth-to-habit ratio that is greater than the minimum acceptable level. Additionally, we prove that the optimal consumption path is hump-shaped if the initial wealth-to-habit ratio is either: (1) larger than a high threshold; or (2) below a low threshold and the agent is more risk seeking (that is, less risk averse). Thus, we provide a simple explanation for the consumption hump observed by various empirical studies.
△ Less
Submitted 18 October, 2022; v1 submitted 3 December, 2020;
originally announced December 2020.
-
Optimal Dividend Problem: Asymptotic Analysis
Authors:
Asaf Cohen,
Virginia R. Young
Abstract:
We re-visit the classical problem of optimal payment of dividends and determine the degree to which the diffusion approximation serves as a valid approximation of the classical risk model for this problem. Our results parallel some of those in Bäuerle (2004), but we obtain sharper results because we use a different technique for obtaining them. Specifically, Bäuerle (2004) uses probabilistic techn…
▽ More
We re-visit the classical problem of optimal payment of dividends and determine the degree to which the diffusion approximation serves as a valid approximation of the classical risk model for this problem. Our results parallel some of those in Bäuerle (2004), but we obtain sharper results because we use a different technique for obtaining them. Specifically, Bäuerle (2004) uses probabilistic techniques and relies on convergence in distribution of the underlying processes. By contrast, we use comparison results from the theory of differential equations, and these methods allow us to determine the rate of convergence of the value functions in question.
△ Less
Submitted 22 October, 2020; v1 submitted 21 July, 2020;
originally announced July 2020.
-
Optimal Reinsurance under the Mean-Variance Premium Principle to Minimize the Probability of Ruin
Authors:
Xiaoqing Liang,
Zhibin Liang,
Virginia R. Young
Abstract:
We consider the problem of minimizing the probability of ruin by purchasing reinsurance whose premium is computed according to the mean-variance premium principle, a combination of the expected-value and variance premium principles. We derive closed-form expressions of the optimal reinsurance strategy and the corresponding minimum probability of ruin under the diffusion approximation of the classi…
▽ More
We consider the problem of minimizing the probability of ruin by purchasing reinsurance whose premium is computed according to the mean-variance premium principle, a combination of the expected-value and variance premium principles. We derive closed-form expressions of the optimal reinsurance strategy and the corresponding minimum probability of ruin under the diffusion approximation of the classical Cramér-Lundberg risk process perturbed by a diffusion. We find an explicit expression for the reinsurance strategy that maximizes the adjustment coefficient for the classical risk process perturbed by a diffusion. Also, for this risk process, we use stochastic Perron's method to prove that the minimum probability of ruin is the unique viscosity solution of its Hamilton-Jacobi-Bellman equation with appropriate boundary conditions. Finally, we prove that, under an appropriate scaling of the classical risk process, the minimum probability of ruin converges to the minimum probability of ruin under the diffusion approximation.
△ Less
Submitted 6 July, 2020;
originally announced July 2020.
-
Foliated corona decompositions
Authors:
Assaf Naor,
Robert Young
Abstract:
We prove that the $L_4$ norm of the vertical perimeter of any measurable subset of the $3$-dimensional Heisenberg group $\mathbb{H}$ is at most a universal constant multiple of the (Heisenberg) perimeter of the subset. We show that this isoperimetric-type inequality is optimal in the sense that there are sets for which it fails to hold with the $L_4$ norm replaced by the $L_q$ norm for any $q<4$.…
▽ More
We prove that the $L_4$ norm of the vertical perimeter of any measurable subset of the $3$-dimensional Heisenberg group $\mathbb{H}$ is at most a universal constant multiple of the (Heisenberg) perimeter of the subset. We show that this isoperimetric-type inequality is optimal in the sense that there are sets for which it fails to hold with the $L_4$ norm replaced by the $L_q$ norm for any $q<4$. This is in contrast to the $5$-dimensional setting, where the above result holds with the $L_4$ norm replaced by the $L_2$ norm.
The proof of the aforementioned isoperimetric inequality introduces a new structural methodology for understanding the geometry of surfaces in $\mathbb{H}$. In previous work (2017) we showed how to obtain a hierarchical decomposition of Ahlfors-regular surfaces into pieces that are approximately intrinsic Lipschitz graphs. Here we prove that any such graph admits a foliated corona decomposition, which is a family of nested partitions into pieces that are close to ruled surfaces.
Apart from the intrinsic geometric and analytic significance of these results, which settle questions posed by Cheeger-Kleiner-Naor (2009) and Lafforgue-Naor (2012), they have several noteworthy implications, including the fact that the $L_1$ distortion of a word-ball of radius $n\ge 2$ in the discrete $3$-dimensional Heisenberg group is bounded above and below by universal constant multiples of $\sqrt[4]{\log n}$; this is in contrast to higher dimensional Heisenberg groups, where our previous work showed that the distortion of a word-ball of radius $n\ge 2$ is of order $\sqrt{\log n}$.
△ Less
Submitted 29 April, 2021; v1 submitted 26 April, 2020;
originally announced April 2020.
-
The strong geometric lemma for intrinsic Lipschitz graphs in Heisenberg groups
Authors:
Vasileios Chousionis,
Sean Li,
Robert Young
Abstract:
We show that the $β$--numbers of intrinsic Lipschitz graphs of Heisenberg groups $\mathbb{H}_n$ are locally Carleson integrable when $n \geq 2$. Our technique relies on a recent Dorronsoro inequality \cite{FO} as well as a novel slicing argument. A key ingredient in our proof is a Euclidean inequality bounding the $β$--number of a function on a cube of $\mathbb{R}^n$ using the $β$--number of the r…
▽ More
We show that the $β$--numbers of intrinsic Lipschitz graphs of Heisenberg groups $\mathbb{H}_n$ are locally Carleson integrable when $n \geq 2$. Our technique relies on a recent Dorronsoro inequality \cite{FO} as well as a novel slicing argument. A key ingredient in our proof is a Euclidean inequality bounding the $β$--number of a function on a cube of $\mathbb{R}^n$ using the $β$--number of the restriction of the function to codimension--1 slices of the cube.
△ Less
Submitted 23 April, 2020;
originally announced April 2020.
-
Minimizing the Discounted Probability of Exponential Parisian Ruin via Reinsurance
Authors:
Xiaoqing Liang,
Virginia R. Young
Abstract:
We study the problem of minimizing the discounted probability of exponential Parisian ruin, that is, the discounted probability that an insurer's surplus exhibits an excursion below zero in excess of an exponentially distributed clock. The insurer controls its surplus via reinsurance priced according to the mean-variance premium principle, as in Liang, Liang, and Young (2019). We consider the clas…
▽ More
We study the problem of minimizing the discounted probability of exponential Parisian ruin, that is, the discounted probability that an insurer's surplus exhibits an excursion below zero in excess of an exponentially distributed clock. The insurer controls its surplus via reinsurance priced according to the mean-variance premium principle, as in Liang, Liang, and Young (2019). We consider the classical risk model and apply stochastic Perron's method, as introduced by Bayraktar and Sirbu (2012,2013,2014), to show that the minimum discounted probability of exponential Parisian ruin is the unique viscosity solution of its Hamilton-Jacobi-Bellman equation with boundary conditions at $\pm \infty$. A major difficulty in proving the comparison principle arises from the discontinuity of the Hamiltonian.
△ Less
Submitted 6 July, 2020; v1 submitted 22 January, 2020;
originally announced January 2020.
-
Shadowing the rotating annulus. Part II: Gradient descent in the perfect model scenario
Authors:
Roland M. B. Young,
Roman Binter,
Falk Niehörster,
Peter L. Read,
Leonard A. Smith
Abstract:
Shadowing trajectories are model trajectories consistent with a sequence of observations of a system, given a distribution of observational noise. The existence of such trajectories is a desirable property of any forecast model. Gradient descent of indeterminism is a well-established technique for finding shadowing trajectories in low-dimensional analytical systems. Here we apply it to the thermal…
▽ More
Shadowing trajectories are model trajectories consistent with a sequence of observations of a system, given a distribution of observational noise. The existence of such trajectories is a desirable property of any forecast model. Gradient descent of indeterminism is a well-established technique for finding shadowing trajectories in low-dimensional analytical systems. Here we apply it to the thermally-driven rotating annulus, a laboratory experiment intermediate in model complexity and physical idealisation between analytical systems and global, comprehensive atmospheric models. We work in the perfect model scenario using the MORALS model to generate a sequence of noisy observations in a chaotic flow regime. We demonstrate that the gradient descent technique recovers a pseudo-orbit of model states significantly closer to a model trajectory than the initial sequence. Gradient-free descent is used, where the adjoint model is set to $λ$I in the absence of a full adjoint model. The indeterminism of the pseudo-orbit falls by two orders of magnitude during the descent, but we find that the distance between the pseudo-orbit and the initial, true, model trajectory reaches a minimum and then diverges from truth. We attribute this to the use of the $λ$-adjoint, which is well suited to noise reduction but not to finely-tuned convergence towards a model trajectory. We find that $λ=0.25$ gives optimal results, and that candidate model trajectories begun from this pseudo-orbit shadow the observations for up to 80 s, about the length of the longest timescale of the system, and similar to expected shadowing times based on the distance between the pseudo-orbit and the truth. There is great potential for using this method with real laboratory data.
△ Less
Submitted 11 September, 2019;
originally announced September 2019.
-
Shadowing the rotating annulus. Part I: Measuring candidate trajectory shadowing times
Authors:
Roland M. B. Young,
Roman Binter,
Falk Niehörster
Abstract:
An intuitively necessary requirement of models used to provide forecasts of a system's future is the existence of shadowing trajectories that are consistent with past observations of the system: given a system-model pair, do model trajectories exist that stay reasonably close to a sequence of observations of the system? Techniques for finding such trajectories are well-understood in low-dimensiona…
▽ More
An intuitively necessary requirement of models used to provide forecasts of a system's future is the existence of shadowing trajectories that are consistent with past observations of the system: given a system-model pair, do model trajectories exist that stay reasonably close to a sequence of observations of the system? Techniques for finding such trajectories are well-understood in low-dimensional systems, but there is significant interest in their application to high-dimensional weather and climate models. We build on work by Smith et al. [2010, Phys. Lett. A, 374, 2618-2623] and develop a method for measuring the time that individual "candidate" trajectories of high-dimensional models shadow observations, using a model of the thermally-driven rotating annulus in the perfect model scenario. Models of the annulus are intermediate in complexity between low-dimensional systems and global atmospheric models. We demonstrate our method by measuring shadowing times against artificially-generated observations for candidate trajectories beginning a fixed distance from truth in one of the annulus' chaotic flow regimes. The distribution of candidate shadowing times we calculated using our method corresponds closely to (1) the range of times over which the trajectories visually diverge from the observations and (2) the divergence time using a simple metric based on the distance between model trajectory and observations. An empirical relationship between the expected candidate shadowing times and the initial distance from truth confirms that the method behaves reasonably as parameters are varied.
△ Less
Submitted 4 September, 2019;
originally announced September 2019.
-
Rate of Convergence of the Probability of Ruin in the Cramér-Lundberg Model to its Diffusion Approximation
Authors:
Asaf Cohen,
Virginia R. Young
Abstract:
We analyze the probability of ruin for the {\it scaled} classical Cramér-Lundberg (CL) risk process and the corresponding diffusion approximation. The scaling, introduced by Iglehart \cite{I1969} to the actuarial literature, amounts to multiplying the Poisson rate $\la$ by $n$, dividing the claim severity by $\sqrtn$, and adjusting the premium rate so that net premium income remains constant. %The…
▽ More
We analyze the probability of ruin for the {\it scaled} classical Cramér-Lundberg (CL) risk process and the corresponding diffusion approximation. The scaling, introduced by Iglehart \cite{I1969} to the actuarial literature, amounts to multiplying the Poisson rate $\la$ by $n$, dividing the claim severity by $\sqrtn$, and adjusting the premium rate so that net premium income remains constant. %Therefore, we think of the associated diffusion approximation as being "asymptotic for large values of $\la$."
We are the first to use a comparison method to prove convergence of the probability of ruin for the scaled CL process and to derive the rate of convergence. Specifically, we prove a comparison lemma for the corresponding integro-differential equation and use this comparison lemma to prove that the probability of ruin for the scaled CL process converges to the probability of ruin for the limiting diffusion process. Moreover, we show that the rate of convergence for the ruin probability is of order $\mO\big(n^{-1/2}\big)$, and we show that the convergence is {\it uniform} with respect to the surplus. To the best of our knowledge, this is the first rate of convergence achieved for these ruin probabilities, and we show that it is the tightest one in the general case. For the case of exponentially-distributed claims, we are able to improve the approximation arising from the diffusion, attaining a uniform $\mO\big(n^{-k/2}\big)$ rate of convergence for arbitrary $k \in \N$. We also include two examples that illustrate our results.
△ Less
Submitted 16 June, 2020; v1 submitted 2 February, 2019;
originally announced February 2019.
-
Carnot rectifiability of sub-Riemannian manifolds with constant tangent
Authors:
Enrico Le Donne,
Robert Young
Abstract:
We show that if $M$ is a sub-Riemannian manifold and $N$ is a Carnot group such that the nilpotentization of $M$ at almost every point is isomorphic to $N$, then there are subsets of $N$ of positive measure that embed into $M$ by bilipschitz maps. Furthermore, $M$ is countably $N$--rectifiable, i.e., all of $M$ except for a null set can be covered by countably many such maps.
We show that if $M$ is a sub-Riemannian manifold and $N$ is a Carnot group such that the nilpotentization of $M$ at almost every point is isomorphic to $N$, then there are subsets of $N$ of positive measure that embed into $M$ by bilipschitz maps. Furthermore, $M$ is countably $N$--rectifiable, i.e., all of $M$ except for a null set can be covered by countably many such maps.
△ Less
Submitted 31 January, 2019;
originally announced January 2019.
-
Inner products for Convex Bodies
Authors:
David Bryant,
Petru Cioica-Licht,
Lisa Orloff Clark,
Rachael Young
Abstract:
We define a set inner product to be a function on pairs of convex bodies which is symmetric, Minkowski linear in each dimension, positive definite, and satisfies the natural analogue of the Cauchy-Schwartz inequality (which is not implied by the other conditions). We show that any set inner product can be embedded into an inner product space on the associated support functions, thereby extending f…
▽ More
We define a set inner product to be a function on pairs of convex bodies which is symmetric, Minkowski linear in each dimension, positive definite, and satisfies the natural analogue of the Cauchy-Schwartz inequality (which is not implied by the other conditions). We show that any set inner product can be embedded into an inner product space on the associated support functions, thereby extending fundamental results of Hormander and Radstrom. The set inner product provides a geometry on the space of convex bodies. We explore some of the properties of that geometry, and discuss an application of these ideas to the reconstruction of ancestral ecological niches in evolutionary biology.
△ Less
Submitted 12 December, 2018; v1 submitted 8 November, 2018;
originally announced November 2018.
-
Inversion of a Non-uniform Difference Operator
Authors:
Blake Temple,
Robin Young
Abstract:
The problem of applying Nash-Moser Newton methods to obtain periodic solutions of the compressible Euler equations has led authors to identify the main obstacle, namely, how to invert operators which impose periodicity when they are based on non-uniform shift operators. Here we begin a theory for finding the inverses of such operators by proving that a scalar non-uniform difference operator does i…
▽ More
The problem of applying Nash-Moser Newton methods to obtain periodic solutions of the compressible Euler equations has led authors to identify the main obstacle, namely, how to invert operators which impose periodicity when they are based on non-uniform shift operators. Here we begin a theory for finding the inverses of such operators by proving that a scalar non-uniform difference operator does in fact have a bounded inverse on its range. We argue that this is the simplest example which demonstrates the need to use direct rather than Fourier methods to analyze inverses of linear operators involving nonuniform shifts.
△ Less
Submitted 12 October, 2018;
originally announced October 2018.
-
Constructing Hölder maps to Carnot groups
Authors:
Stefan Wenger,
Robert Young
Abstract:
In this paper, we construct Hölder maps to Carnot groups equipped with a Carnot metric, especially the first Heisenberg group $\mathbb{H}$. Pansu and Gromov observed that any surface embedded in $\mathbb{H}$ has Hausdorff dimension at least 3, so there is no $α$-Hölder embedding of a surface into $\mathbb{H}$ when $α>\frac{2}{3}$. Züst improved this result to show that when $α>\frac{2}{3}$, any…
▽ More
In this paper, we construct Hölder maps to Carnot groups equipped with a Carnot metric, especially the first Heisenberg group $\mathbb{H}$. Pansu and Gromov observed that any surface embedded in $\mathbb{H}$ has Hausdorff dimension at least 3, so there is no $α$-Hölder embedding of a surface into $\mathbb{H}$ when $α>\frac{2}{3}$. Züst improved this result to show that when $α>\frac{2}{3}$, any $α$-Hölder map from a simply-connected Riemannian manifold to $\mathbb{H}$ factors through a metric tree. In the present paper, we show that Züst's result is sharp by constructing $(\frac{2}{3}-ε)$-Hölder maps from $D^2$ and $D^3$ to $\mathbb{H}$ that do not factor through a tree. We use these to show that if $0<α< \frac{2}{3}$, then the set of $α$-Hölder maps from a compact metric space to $\mathbb{H}$ is dense in the set of continuous maps and to construct proper degree-1 maps from $\mathbb{R}^3$ to $\mathbb{H}$ with Hölder exponents arbitrarily close to $\frac{2}{3}$.
△ Less
Submitted 26 July, 2021; v1 submitted 5 October, 2018;
originally announced October 2018.
-
Optimal Dividend Distribution Under Drawdown and Ratcheting Constraints on Dividend Rates
Authors:
Bahman Angoshtari,
Erhan Bayraktar,
Virginia R. Young
Abstract:
We consider the optimal dividend problem under a habit formation constraint that prevents the dividend rate to fall below a certain proportion of its historical maximum, the so-called drawdown constraint. This is an extension of the optimal Duesenberry's ratcheting consumption problem, studied by Dybvig (1995) [Review of Economic Studies 62(2), 287-313], in which consumption is assumed to be nonde…
▽ More
We consider the optimal dividend problem under a habit formation constraint that prevents the dividend rate to fall below a certain proportion of its historical maximum, the so-called drawdown constraint. This is an extension of the optimal Duesenberry's ratcheting consumption problem, studied by Dybvig (1995) [Review of Economic Studies 62(2), 287-313], in which consumption is assumed to be nondecreasing. Our problem differs from Dybvig's also in that the time of ruin could be finite in our setting, whereas ruin was impossible in Dybvig's work. We formulate our problem as a stochastic control problem with the objective of maximizing the expected discounted utility of the dividend stream until bankruptcy, in which risk preferences are embodied by power utility. We semi-explicitly solve the corresponding Hamilton-Jacobi-Bellman variational inequality, which is a nonlinear free-boundary problem. The optimal (excess) dividend rate $c^*_t$ - as a function of the company's current surplus $X_t$ and its historical running maximum of the (excess) dividend rate $z_t$ - is as follows: There are constants $0 < w_α < w_0 < w^*$ such that (1) for $0 < X_t \le w_α z_t$, it is optimal to pay dividends at the lowest rate $αz_t$, (2) for $w_α z_t < X_t < w_0 z_t$, it is optimal to distribute dividends at an intermediate rate $c^*_t \in (αz_t, z_t)$, (3) for $w_0 z_t < X_t < w^* z_t$, it is optimal to distribute dividends at the historical peak rate $z_t$, (4) for $X_t > w^* z_t$, it is optimal to increase the dividend rate above $z_t$, and (5) it is optimal to increase $z_t$ via singular control as needed to keep $X_t \le w^* z_t$. Because, the maximum (excess) dividend rate will eventually be proportional to the running maximum of the surplus, "mountains will have to move" before we increase the dividend rate beyond its historical maximum.
△ Less
Submitted 22 March, 2019; v1 submitted 19 June, 2018;
originally announced June 2018.
-
Filling functions of arithmetic groups
Authors:
Enrico Leuzinger,
Robert Young
Abstract:
The Dehn function and its higher-dimensional generalizations measure the difficulty of filling a sphere in a space by a ball. In nonpositively curved spaces, one can construct fillings using geodesics, but fillings become more complicated in subsets of nonpositively curved spaces, such as lattices in symmetric spaces. In this paper, we prove sharp filling inequalities for (arithmetic) lattices in…
▽ More
The Dehn function and its higher-dimensional generalizations measure the difficulty of filling a sphere in a space by a ball. In nonpositively curved spaces, one can construct fillings using geodesics, but fillings become more complicated in subsets of nonpositively curved spaces, such as lattices in symmetric spaces. In this paper, we prove sharp filling inequalities for (arithmetic) lattices in higher rank semisimple Lie groups. When $n$ is less than the rank of the associated symmetric space, we show that the $n$-dimensional filling volume function of the lattice grows at the same rate as that of the associated symmetric space, and when $n$ is equal to the rank, we show that the $n$-dimensional filling volume function grows exponentially. This broadly generalizes a theorem of Lubotzky-Mozes-Raghunathan on length distortion in lattices and confirms conjectures of Thurston, Gromov, and Bux-Wortman.
△ Less
Submitted 2 October, 2017;
originally announced October 2017.
-
Optimal heat transfer and optimal exit times
Authors:
Florence Marcotte,
Charles R. Doering,
Jean-Luc Thiffeault,
William R. Young
Abstract:
A heat exchanger can be modeled as a closed domain containing an incompressible fluid. The moving fluid has a temperature distribution obeying the advection-diffusion equation, with zero temperature boundary conditions at the walls. Starting from a positive initial temperature distribution in the interior, the goal is to flux the heat through the walls as efficiently as possible. Here we consider…
▽ More
A heat exchanger can be modeled as a closed domain containing an incompressible fluid. The moving fluid has a temperature distribution obeying the advection-diffusion equation, with zero temperature boundary conditions at the walls. Starting from a positive initial temperature distribution in the interior, the goal is to flux the heat through the walls as efficiently as possible. Here we consider a distinct but closely related problem, that of the integrated mean exit time of Brownian particles starting inside the domain. Since flows favorable to rapid heat exchange should lower exit times, we minimize a norm of the exit time. This is a time-independent optimization problem that we solve analytically in some limits, and numerically otherwise. We find an (at least locally) optimal velocity field that cools the domain on a mechanical time scale, in the sense that the integrated mean exit time is independent on molecular diffusivity in the limit of large-energy flows.
△ Less
Submitted 22 February, 2018; v1 submitted 2 October, 2017;
originally announced October 2017.
-
Vertical perimeter versus horizontal perimeter
Authors:
Assaf Naor,
Robert Young
Abstract:
The discrete Heisenberg group $\mathbb{H}_{\mathbb{Z}}^{2k+1}$ is the group generated by $a_1,b_1,\ldots,a_k,b_k,c$, subject to the relations $[a_1,b_1]=\ldots=[a_k,b_k]=c$ and $[a_i,a_j]=[b_i,b_j]=[a_i,b_j]=[a_i,c]=[b_i,c]=1$ for every distinct $i,j\in \{1,\ldots,k\}$. Denote $S=\{a_1^{\pm 1},b_1^{\pm 1},\ldots,a_k^{\pm 1},b_k^{\pm 1}\}$. The horizontal boundary of…
▽ More
The discrete Heisenberg group $\mathbb{H}_{\mathbb{Z}}^{2k+1}$ is the group generated by $a_1,b_1,\ldots,a_k,b_k,c$, subject to the relations $[a_1,b_1]=\ldots=[a_k,b_k]=c$ and $[a_i,a_j]=[b_i,b_j]=[a_i,b_j]=[a_i,c]=[b_i,c]=1$ for every distinct $i,j\in \{1,\ldots,k\}$. Denote $S=\{a_1^{\pm 1},b_1^{\pm 1},\ldots,a_k^{\pm 1},b_k^{\pm 1}\}$. The horizontal boundary of $Ω\subset \mathbb{H}_{\mathbb{Z}}^{2k+1}$, denoted $\partial_{h}Ω$, is the set of all $(x,y)\in Ω\times (\mathbb{H}_{\mathbb{Z}}^{2k+1}\setminus Ω)$ such that $x^{-1}y\in S$. The horizontal perimeter of $Ω$ is $|\partial_{h}Ω|$. For $t\in \mathbb{N}$, define $\partial^t_{v} Ω$ to be the set of all $(x,y)\in Ω\times (\mathbb{H}_{\mathsf{Z}}^{2k+1}\setminus Ω)$ such that $x^{-1}y\in \{c^t,c^{-t}\}$. The vertical perimeter of $Ω$ is defined by $|\partial_{v}Ω|= \sqrt{\sum_{t=1}^\infty |\partial^t_{v}Ω|^2/t^2}$. It is shown here that if $k\ge 2$, then $|\partial_{v}Ω|\lesssim \frac{1}{k} |\partial_{h}Ω|$. The proof of this "vertical versus horizontal isoperimetric inequality" uses a new structural result that decomposes sets of finite perimeter in the Heisenberg group into pieces that admit an "intrinsic corona decomposition." This allows one to deduce an endpoint $W^{1,1}\to L_2(L_1)$ boundedness of a certain singular integral operator from a corresponding lower-dimensional $W^{1,2}\to L_2(L_2)$ boundedness. The above inequality has several applications, including that any embedding into $L_1$ of a ball of radius $n$ in the word metric on $\mathbb{H}_{\mathbb{Z}}^{5}$ incurs bi-Lipschitz distortion that is at least a constant multiple of $\sqrt{\log n}$. It follows that the integrality gap of the Goemans--Linial semidefinite program for the Sparsest Cut Problem on inputs of size $n$ is at least a constant multiple of $\sqrt{\log n}$.
△ Less
Submitted 13 March, 2018; v1 submitted 3 January, 2017;
originally announced January 2017.
-
Weak* Solutions II: The Vacuum in Lagrangian Gas Dynamics
Authors:
Alexey Miroshnikov,
Robin Young
Abstract:
We develop a framework in which to make sense of solutions containing the vacuum in Lagrangian gas dynamics. At and near vacuum, the specific volume becomes infinite and enclosed vacuums are represented by Dirac masses, so they cannot be treated in the usual weak sense. However, the weak* solutions recently introduced by the authors can be extended to include solutions containing vacuums. We prese…
▽ More
We develop a framework in which to make sense of solutions containing the vacuum in Lagrangian gas dynamics. At and near vacuum, the specific volume becomes infinite and enclosed vacuums are represented by Dirac masses, so they cannot be treated in the usual weak sense. However, the weak* solutions recently introduced by the authors can be extended to include solutions containing vacuums. We present a definition of these natural vacuum solutions and provide explicit examples which demonstrate some of their features. Our examples are isentropic for clarity, and we briefly discuss the extension to the full $3\times3$ system of gas dynamics. We also extend our methods to one-dimensional dynamic elasticity to show that fractures cannot form in an entropy solution.
△ Less
Submitted 1 September, 2017; v1 submitted 27 August, 2016;
originally announced August 2016.
-
Dehn functions and Hölder extensions in asymptotic cones
Authors:
Alexander Lytchak,
Stefan Wenger,
Robert Young
Abstract:
The Dehn function measures the area of minimal discs that fill closed curves in a space; it is an important invariant in analysis, geometry, and geometric group theory. There are several equivalent ways to define the Dehn function, varying according to the type of disc used. In this paper, we introduce a new definition of the Dehn function and use it to prove several theorems. First, we generalize…
▽ More
The Dehn function measures the area of minimal discs that fill closed curves in a space; it is an important invariant in analysis, geometry, and geometric group theory. There are several equivalent ways to define the Dehn function, varying according to the type of disc used. In this paper, we introduce a new definition of the Dehn function and use it to prove several theorems. First, we generalize the quasi-isometry invariance of the Dehn function to a broad class of spaces. Second, we prove Hölder extension properties for spaces with quadratic Dehn function and their asymptotic cones. Finally, we show that ultralimits and asymptotic cones of spaces with quadratic Dehn function also have quadratic Dehn function. The proofs of our results rely on recent existence and regularity results for area-minimizing Sobolev map**s in metric spaces.
△ Less
Submitted 30 July, 2016;
originally announced August 2016.
-
Weak* solutions I: A new perspective on solutions to systems of conservation laws
Authors:
Alexey Miroshnikov,
Robin Young
Abstract:
We introduce a new notion of solution, which we call weak* solutions, for systems of conservation laws. These solutions can be used to handle singular situations that standard weak solutions cannot, such as vacuums in Lagrangian gas dynamics or cavities in elasticity. Our framework allows us to treat the systems as ODEs in Banach space. Starting with the observation that solutions act linearly on…
▽ More
We introduce a new notion of solution, which we call weak* solutions, for systems of conservation laws. These solutions can be used to handle singular situations that standard weak solutions cannot, such as vacuums in Lagrangian gas dynamics or cavities in elasticity. Our framework allows us to treat the systems as ODEs in Banach space. Starting with the observation that solutions act linearly on test functions $α\in X$, we require solutions to take values in the dual space $X^*$ of $X$. Moreover, we weaken the usual requirement of measurability of solutions. In order to do this, we develop the calculus of the Gelfand integral, which is appropriate for weak* measurable functions. We then use the Gelfand calculus to define weak* solutions, and show that they are stronger than the usual notion of weak solution, although for $BV$ solutions the notions are equivalent. It is expected that these solutions will also shed light on vexing issues of ill-posedness for multi-dimensional systems.
△ Less
Submitted 8 March, 2017; v1 submitted 9 November, 2015;
originally announced November 2015.
-
The distortion dimension of $\mathbb Q$--rank $1$ lattices
Authors:
Enrico Leuzinger,
Robert Young
Abstract:
Let $X=G/K$ be a symmetric space of noncompact type and rank $k\ge 2$. We prove that horospheres in $X$ are Lipschitz $(k-2)$--connected if their centers are not contained in a proper join factor of the spherical building of $X$ at infinity. As a consequence, the distortion dimension of an irreducible $\mathbb{Q}$--rank-$1$ lattice $Γ$ in a linear, semisimple Lie group $G$ of $\mathbb R$--rank…
▽ More
Let $X=G/K$ be a symmetric space of noncompact type and rank $k\ge 2$. We prove that horospheres in $X$ are Lipschitz $(k-2)$--connected if their centers are not contained in a proper join factor of the spherical building of $X$ at infinity. As a consequence, the distortion dimension of an irreducible $\mathbb{Q}$--rank-$1$ lattice $Γ$ in a linear, semisimple Lie group $G$ of $\mathbb R$--rank $k$ is $k-1$. That is, given $m< k-1$, a Lipschitz $m$--sphere $S$ in (a polyhedral complex quasi-isometric to) $Γ$, and a $(m+1)$--ball $B$ in $X$ (or $G$) filling $S$, there is a $(m+1)$--ball $B'$ in $Γ$ filling $S$ such that $\operatorname{vol} B'\sim \operatorname{vol} B$. In particular, such arithmetic lattices satisfy Euclidean isoperimetric inequalities up to dimension $k-1$.
△ Less
Submitted 30 September, 2015;
originally announced September 2015.
-
Two dimensional heteroclinic attractor in the generalized Lotka-Volterra system
Authors:
Valentin S. Afraimovich,
Gregory Moses,
Todd R. Young
Abstract:
We study a simple dynamical model exhibiting sequential dynamics. We show that in this model there exist sets of parameter values for which a cyclic chain of saddle equilibria, $O_k$, $k=1, \ldots, p$, have two dimensional unstable manifolds that contain orbits connecting each $O_k$ to the next two equilibrium points $O_{k+1}$ and $O_{k+2}$ in the chain ($O_{p+1} = O_1$). We show that the union of…
▽ More
We study a simple dynamical model exhibiting sequential dynamics. We show that in this model there exist sets of parameter values for which a cyclic chain of saddle equilibria, $O_k$, $k=1, \ldots, p$, have two dimensional unstable manifolds that contain orbits connecting each $O_k$ to the next two equilibrium points $O_{k+1}$ and $O_{k+2}$ in the chain ($O_{p+1} = O_1$). We show that the union of these equilibria and their unstable manifolds form a $2$-dimensional surface with boundary that is homeomorphic to a cylinder if $p$ is even and a Möbius strip if $p$ is odd. If, further, each equilibrium in the chain satisfies a condition called ``dissipativity," then this surface is asymptotically stable.
△ Less
Submitted 15 September, 2015;
originally announced September 2015.
-
Minimizing Lifetime Poverty with a Penalty for Bankruptcy
Authors:
Asaf Cohen,
Virginia R. Young
Abstract:
We provide investment advice for an individual who wishes to minimize her lifetime poverty, with a penalty for bankruptcy or ruin. We measure poverty via a non-negative, non-increasing function of (running) wealth. Thus, the lower wealth falls and the longer wealth stays low, the greater the penalty. This paper generalizes the problems of minimizing the probability of lifetime ruin and minimizing…
▽ More
We provide investment advice for an individual who wishes to minimize her lifetime poverty, with a penalty for bankruptcy or ruin. We measure poverty via a non-negative, non-increasing function of (running) wealth. Thus, the lower wealth falls and the longer wealth stays low, the greater the penalty. This paper generalizes the problems of minimizing the probability of lifetime ruin and minimizing expected lifetime occupation, with the poverty function serving as a bridge between the two. To illustrate our model, we compute the optimal investment strategies for a specific poverty function and two consumption functions, and we prove some interesting properties of those investment strategies.
△ Less
Submitted 5 September, 2015;
originally announced September 2015.
-
Minimizing the Probability of Lifetime Drawdown under Constant Consumption
Authors:
Bahman Angoshtari,
Erhan Bayraktar,
Virginia R. Young
Abstract:
We assume that an individual invests in a financial market with one riskless and one risky asset, with the latter's price following geometric Brownian motion as in the Black-Scholes model. Under a constant rate of consumption, we find the optimal investment strategy for the individual who wishes to minimize the probability that her wealth drops below some fixed proportion of her maximum wealth to…
▽ More
We assume that an individual invests in a financial market with one riskless and one risky asset, with the latter's price following geometric Brownian motion as in the Black-Scholes model. Under a constant rate of consumption, we find the optimal investment strategy for the individual who wishes to minimize the probability that her wealth drops below some fixed proportion of her maximum wealth to date, the so-called probability of {\it lifetime drawdown}. If maximum wealth is less than a particular value, $m^*$, then the individual optimally invests in such a way that maximum wealth never increases above its current value. By contrast, if maximum wealth is greater than $m^*$ but less than the safe level, then the individual optimally allows the maximum to increase to the safe level.
△ Less
Submitted 19 May, 2016; v1 submitted 30 July, 2015;
originally announced July 2015.
-
Optimal Investment to Minimize the Probability of Drawdown
Authors:
Bahman Angoshtari,
Erhan Bayraktar,
Virginia R. Young
Abstract:
We determine the optimal investment strategy in a Black-Scholes financial market to minimize the so-called {\it probability of drawdown}, namely, the probability that the value of an investment portfolio reaches some fixed proportion of its maximum value to date. We assume that the portfolio is subject to a payout that is a deterministic function of its value, as might be the case for an endowment…
▽ More
We determine the optimal investment strategy in a Black-Scholes financial market to minimize the so-called {\it probability of drawdown}, namely, the probability that the value of an investment portfolio reaches some fixed proportion of its maximum value to date. We assume that the portfolio is subject to a payout that is a deterministic function of its value, as might be the case for an endowment fund paying at a specified rate, for example, at a constant rate or at a rate that is proportional to the fund's value.
△ Less
Submitted 15 February, 2016; v1 submitted 30 May, 2015;
originally announced June 2015.
-
Erratum: Lipschitz connectivity and filling invariants in solvable groups and buildings
Authors:
Robert Young
Abstract:
This note corrects some omissions in section 2 of the paper "Lipschitz connectivity and filling invariants in solvable groups and buildings."
This note corrects some omissions in section 2 of the paper "Lipschitz connectivity and filling invariants in solvable groups and buildings."
△ Less
Submitted 15 May, 2015;
originally announced May 2015.
-
Optimally Investing to Reach a Bequest Goal
Authors:
Erhan Bayraktar,
Virginia R. Young
Abstract:
We determine the optimal strategy for investing in a Black-Scholes market in order to maximize the probability that wealth at death meets a bequest goal $b$, a type of goal-seeking problem, as pioneered by Dubins and Savage (1965, 1976). The individual consumes at a constant rate $c$, so the level of wealth required for risklessly meeting consumption equals $c/r$, in which $r$ is the rate of retur…
▽ More
We determine the optimal strategy for investing in a Black-Scholes market in order to maximize the probability that wealth at death meets a bequest goal $b$, a type of goal-seeking problem, as pioneered by Dubins and Savage (1965, 1976). The individual consumes at a constant rate $c$, so the level of wealth required for risklessly meeting consumption equals $c/r$, in which $r$ is the rate of return of the riskless asset.
Our problem is related to, but different from, the goal-reaching problems of Browne (1997). First, Browne (1997, Section 3.1) maximizes the probability that wealth reaches $b < c/r$ before it reaches $a < b$. Browne's game ends when wealth reaches $b$. By contrast, for the problem we consider, the game continues until the individual dies or until wealth reaches 0; reaching $b$ and then falling below it before death does not count.
Second, Browne (1997, Section 4.2) maximizes the expected discounted reward of reaching $b > c/r$ before wealth reaches $c/r$. If one interprets his discount rate as a hazard rate, then our two problems are {\it mathematically} equivalent for the special case for which $b > c/r$, with ruin level $c/r$. However, we obtain different results because we set the ruin level at 0, thereby allowing the game to continue when wealth falls below $c/r$.
△ Less
Submitted 24 May, 2016; v1 submitted 3 March, 2015;
originally announced March 2015.
-
Cellulose Biodegradation Models; An Example of Cooperative Interactions in Structured Populations
Authors:
Pierre-Emmanuel Jabin,
Alexey Miroshnikov,
Robin Young
Abstract:
We introduce various models for cellulose bio-degradation by micro-organisms. Those models rely on complex chemical mechanisms, involve the structure of the cellulose chains and are allowed to depend on the phenotypical traits of the population of micro-organisms. We then use the corresponding models in the context of multiple-trait populations. This leads to classical, logistic type, reproduction…
▽ More
We introduce various models for cellulose bio-degradation by micro-organisms. Those models rely on complex chemical mechanisms, involve the structure of the cellulose chains and are allowed to depend on the phenotypical traits of the population of micro-organisms. We then use the corresponding models in the context of multiple-trait populations. This leads to classical, logistic type, reproduction rates limiting the growth of large populations but also, and more surprisingly, limiting the growth of populations which are too small in a manner similar to the effects seen in populations requiring cooperative interactions (or sexual reproduction). This study hence offers a striking example of how some mechanisms resembling cooperation can occur in structured biological populations, even in the absence of any actual cooperation.
△ Less
Submitted 1 September, 2017; v1 submitted 27 November, 2014;
originally announced November 2014.
-
Quantitative nonorientability of embedded cycles
Authors:
Robert Young
Abstract:
We introduce an invariant linked to some foundational questions in geometric measure theory and provide bounds on this invariant by decomposing an arbitrary cycle into uniformly rectifiable pieces. Our invariant measures the difficulty of cutting a nonorientable closed manifold or mod-2 cycle in $\mathbb{R}^n$ into orientable pieces, and we use it to answer some simple but long-open questions on f…
▽ More
We introduce an invariant linked to some foundational questions in geometric measure theory and provide bounds on this invariant by decomposing an arbitrary cycle into uniformly rectifiable pieces. Our invariant measures the difficulty of cutting a nonorientable closed manifold or mod-2 cycle in $\mathbb{R}^n$ into orientable pieces, and we use it to answer some simple but long-open questions on filling volumes and mod-$ν$ currents.
△ Less
Submitted 6 January, 2016; v1 submitted 3 December, 2013;
originally announced December 2013.
-
Lipschitz connectivity and filling invariants in solvable groups and buildings
Authors:
Robert Young
Abstract:
We give some new methods, based on Lipschitz extension theorems, for bounding filling invariants of subsets of nonpositively curved spaces. We apply our methods to find sharp bounds on higher-order Dehn functions of Sol_{2n+1}, horospheres in euclidean buildings, Hilbert modular groups, and certain S-arithmetic groups.
We give some new methods, based on Lipschitz extension theorems, for bounding filling invariants of subsets of nonpositively curved spaces. We apply our methods to find sharp bounds on higher-order Dehn functions of Sol_{2n+1}, horospheres in euclidean buildings, Hilbert modular groups, and certain S-arithmetic groups.
△ Less
Submitted 1 April, 2013; v1 submitted 5 March, 2013;
originally announced March 2013.
-
Lipschitz homotopy groups of the Heisenberg groups
Authors:
Stefan Wenger,
Robert Young
Abstract:
Lipschitz and horizontal maps from an $n$-dimensional space into the $(2n+1)$-dimensional Heisenberg group $\H^n$ are abundant, while maps from higher-dimensional spaces are much more restricted. DeJarnette-Hajłasz-Lukyanenko-Tyson constructed horizontal maps from $S^k$ to $\H^n$ which factor through $n$-spheres and showed that these maps have no smooth horizontal fillings. In this paper, however,…
▽ More
Lipschitz and horizontal maps from an $n$-dimensional space into the $(2n+1)$-dimensional Heisenberg group $\H^n$ are abundant, while maps from higher-dimensional spaces are much more restricted. DeJarnette-Hajłasz-Lukyanenko-Tyson constructed horizontal maps from $S^k$ to $\H^n$ which factor through $n$-spheres and showed that these maps have no smooth horizontal fillings. In this paper, however, we build on an example of Kaufman to show that these maps sometimes have Lipschitz fillings. This shows that the Lipschitz and the smooth horizontal homotopy groups of a space may differ. Conversely, we show that any Lipschitz map $S^k\to \H^1$ factors through a tree and is thus Lipschitz null-homotopic if $k\ge 2$.
△ Less
Submitted 21 December, 2013; v1 submitted 25 October, 2012;
originally announced October 2012.
-
Maximizing Utility of Consumption Subject to a Constraint on the Probability of Lifetime Ruin
Authors:
Erhan Bayraktar,
Virginia R. Young
Abstract:
In this note, we explicitly solve the problem of maximizing utility of consumption (until the minimum of bankruptcy and the time of death) with a constraint on the probability of lifetime ruin, which can be interpreted as a risk measure on the whole path of the wealth process.
In this note, we explicitly solve the problem of maximizing utility of consumption (until the minimum of bankruptcy and the time of death) with a constraint on the probability of lifetime ruin, which can be interpreted as a risk measure on the whole path of the wealth process.
△ Less
Submitted 27 June, 2012;
originally announced June 2012.
-
Shock formation in the compressible Euler equations and related systems
Authors:
Geng Chen,
Robin Young,
Qingtian Zhang
Abstract:
We prove shock formation results for the compressible Euler equations and related systems of conservation laws in one space dimension, or three dimensions with spherical symmetry. We establish an $L^\infty$ bound for $C^1$ solutions of the one-D Euler equations, and use this to improve recent shock formation results of the authors. We prove analogous shock formation results for one-D MHD with orth…
▽ More
We prove shock formation results for the compressible Euler equations and related systems of conservation laws in one space dimension, or three dimensions with spherical symmetry. We establish an $L^\infty$ bound for $C^1$ solutions of the one-D Euler equations, and use this to improve recent shock formation results of the authors. We prove analogous shock formation results for one-D MHD with orthogonal magnetic field, and for compressible flow in a variable area duct, which has as a special case spherically symmetric three dimensional flow on the exterior of a ball
△ Less
Submitted 22 May, 2012;
originally announced May 2012.
-
Homological and homotopical Dehn functions are different
Authors:
Aaron Abrams,
Noel Brady,
Pallavi Dani,
Robert Young
Abstract:
The homological and homotopical Dehn functions are different ways of measuring the difficulty of filling a closed curve inside a group or a space. The homological Dehn function measures fillings of cycles by chains, while the homotopical Dehn function measures fillings of curves by disks. Since the two definitions involve different sorts of boundaries and fillings, there is no a priori relationshi…
▽ More
The homological and homotopical Dehn functions are different ways of measuring the difficulty of filling a closed curve inside a group or a space. The homological Dehn function measures fillings of cycles by chains, while the homotopical Dehn function measures fillings of curves by disks. Since the two definitions involve different sorts of boundaries and fillings, there is no a priori relationship between the two functions, but prior to this work there were no known examples of finitely-presented groups for which the two functions differ. This paper gives the first such examples, constructed by amalgamating a free-by-cyclic group with several Bestvina-Brady groups.
△ Less
Submitted 1 May, 2012;
originally announced May 2012.
-
Shock-free Solutions of the Compressible Euler Equations
Authors:
Geng Chen,
Robin Young
Abstract:
We study the structure of shock-free solutions of the compressible Euler equations with large data. We describe conditions under which the Rarefactive/Compressive character of solutions changes, and conditions under which the vacuum is formed asymptotically. We present several new examples of shock-free solutions, which demonstrate a large variety of behaviors.
We study the structure of shock-free solutions of the compressible Euler equations with large data. We describe conditions under which the Rarefactive/Compressive character of solutions changes, and conditions under which the vacuum is formed asymptotically. We present several new examples of shock-free solutions, which demonstrate a large variety of behaviors.
△ Less
Submitted 2 April, 2012;
originally announced April 2012.