-
A differential approach to Maxwell-Cremona liftings
Authors:
Oleg Karpenkov,
Fatemeh Mohammadi,
Christian Müller,
Bernd Schulze
Abstract:
In 1864, J. C. Maxwell introduced a link between self-stressed frameworks in the plane and piecewise linear liftings to 3-space. This connection has found numerous applications in areas such as discrete geometry, control theory and structural engineering. While there are some generalisations of this theory to liftings of $d$-complexes in $d$-space, extensions for liftings of frameworks in $d$-spac…
▽ More
In 1864, J. C. Maxwell introduced a link between self-stressed frameworks in the plane and piecewise linear liftings to 3-space. This connection has found numerous applications in areas such as discrete geometry, control theory and structural engineering. While there are some generalisations of this theory to liftings of $d$-complexes in $d$-space, extensions for liftings of frameworks in $d$-space for $d\geq 3$ have been missing. In this paper, we introduce and study differential liftings on general graphs using differential forms associated with the elements of the homotopy groups of the complements to the frameworks. Such liftings play the role of integrands for the classical notion of liftings for planar frameworks. We show that these differential liftings have a natural extension to self-stressed frameworks in higher dimensions. As a result we generalise the notion of classical liftings to both graphs and multidimensional $k$-complexes in $d$-space ($k=2,\ldots, d$). Finally we discuss a natural representation of generalised liftings as real-valued functions on Grassmannians.
△ Less
Submitted 15 December, 2023;
originally announced December 2023.
-
Small-ball constants, and exceptional flat points of SPDEs
Authors:
Davar Khoshnevisan,
Kunwoo Kim,
Carl Mueller
Abstract:
We study small-ball probabilities for the stochastic heat equation with multiplicative noise in the moderate-deviations regime. We prove the existence of a small-ball constant and related it to other known quantities in the literature. These small-ball estimates are known to imply Chung-type laws of the iterated logarithm (LIL) at typical spatial points; these points can be thought of as "points o…
▽ More
We study small-ball probabilities for the stochastic heat equation with multiplicative noise in the moderate-deviations regime. We prove the existence of a small-ball constant and related it to other known quantities in the literature. These small-ball estimates are known to imply Chung-type laws of the iterated logarithm (LIL) at typical spatial points; these points can be thought of as "points of flat growth". For this result in a similar context in SPDEs see, for example, the recent work of Chen \cite{Ch2023}. We establish the existence of a new family of exceptional spatial points where the Chung-type LIL fails.
△ Less
Submitted 10 December, 2023;
originally announced December 2023.
-
On the radius of self-repellent fractional Brownian motion
Authors:
Le Chen,
Sefika Kuzgun,
Carl Mueller,
Panqiu Xia
Abstract:
We study the radius $R_T$ of a self-repellent fractional Brownian motion $\left\{B^H_t\right\}_{0\le t\le T}$ taking values in $\mathbb{R}^d$. Our sharpest result is for $d=1$, where we find that with high probability, \begin{equation*}
R_T \asymp T^ν, \quad \text{with $ν=\frac{2}{3}\left(1+H\right)$.} \end{equation*} For $d>1$, we provide upper and lower bounds for the exponent $ν$, but these b…
▽ More
We study the radius $R_T$ of a self-repellent fractional Brownian motion $\left\{B^H_t\right\}_{0\le t\le T}$ taking values in $\mathbb{R}^d$. Our sharpest result is for $d=1$, where we find that with high probability, \begin{equation*}
R_T \asymp T^ν, \quad \text{with $ν=\frac{2}{3}\left(1+H\right)$.} \end{equation*} For $d>1$, we provide upper and lower bounds for the exponent $ν$, but these bounds do not match.
△ Less
Submitted 28 November, 2023; v1 submitted 21 August, 2023;
originally announced August 2023.
-
Smoothing the Edges: Smooth Optimization for Sparse Regularization using Hadamard Overparametrization
Authors:
Chris Kolb,
Christian L. Müller,
Bernd Bischl,
David Rügamer
Abstract:
We present a framework for smooth optimization of explicitly regularized objectives for (structured) sparsity. These non-smooth and possibly non-convex problems typically rely on solvers tailored to specific models and regularizers. In contrast, our method enables fully differentiable and approximation-free optimization and is thus compatible with the ubiquitous gradient descent paradigm in deep l…
▽ More
We present a framework for smooth optimization of explicitly regularized objectives for (structured) sparsity. These non-smooth and possibly non-convex problems typically rely on solvers tailored to specific models and regularizers. In contrast, our method enables fully differentiable and approximation-free optimization and is thus compatible with the ubiquitous gradient descent paradigm in deep learning. The proposed optimization transfer comprises an overparameterization of selected parameters and a change of penalties. In the overparametrized problem, smooth surrogate regularization induces non-smooth, sparse regularization in the base parametrization. We prove that the surrogate objective is equivalent in the sense that it not only has identical global minima but also matching local minima, thereby avoiding the introduction of spurious solutions. Additionally, our theory establishes results of independent interest regarding matching local minima for arbitrary, potentially unregularized, objectives. We comprehensively review sparsity-inducing parametrizations across different fields that are covered by our general theory, extend their scope, and propose improvements in several aspects. Numerical experiments further demonstrate the correctness and effectiveness of our approach on several sparse learning problems ranging from high-dimensional regression to sparse neural network training.
△ Less
Submitted 26 April, 2024; v1 submitted 7 July, 2023;
originally announced July 2023.
-
The radius of a self-repelling star polymer
Authors:
Carl Mueller,
Eyal Neuman
Abstract:
We study the effective radius of weakly self-avoiding star polymers in one, two, and three dimensions. Our model includes $N$ Brownian motions up to time $T$, started at the origin and subject to exponential penalization based on the amount of time they spend close to each other, or close to themselves. The effective radius measures the typical distance from the origin. Our main result gives estim…
▽ More
We study the effective radius of weakly self-avoiding star polymers in one, two, and three dimensions. Our model includes $N$ Brownian motions up to time $T$, started at the origin and subject to exponential penalization based on the amount of time they spend close to each other, or close to themselves. The effective radius measures the typical distance from the origin. Our main result gives estimates for the effective radius where in two and three dimensions we impose the restriction that $T \leq N$. One of the highlights of our results is that in two dimensions, we find that the radius is proportional to $T^{3/4}$, up to logarithmic corrections.
△ Less
Submitted 9 November, 2023; v1 submitted 2 June, 2023;
originally announced June 2023.
-
Sausage Volume of the Random String and Survival in a medium of Poisson Traps
Authors:
Siva Athreya,
Mathew Joseph,
Carl Mueller
Abstract:
We provide asymptotic bounds on the survival probability of a moving polymer in an environment of Poisson traps. Our model for the polymer is the vector-valued solution of a stochastic heat equation driven by additive spacetime white noise; solutions take values in ${\mathbb R}^d, d \geq 1$. We give upper and lower bounds for the survival probability in the cases of hard and soft obstacles. Our bo…
▽ More
We provide asymptotic bounds on the survival probability of a moving polymer in an environment of Poisson traps. Our model for the polymer is the vector-valued solution of a stochastic heat equation driven by additive spacetime white noise; solutions take values in ${\mathbb R}^d, d \geq 1$. We give upper and lower bounds for the survival probability in the cases of hard and soft obstacles. Our bounds decay exponentially with rate proportional to $T^{d/(d+2)}$, the same exponent that occurs in the case of Brownian motion. The exponents also depend on the length $J$ of the polymer, but here our upper and lower bounds involve different powers of $J$.
Secondly, our main theorems imply upper and lower bounds for the growth of the Wiener sausage around our string. The Wiener sausage is the union of balls of a given radius centered at points of our random string, with time less than or equal to a given value.
△ Less
Submitted 6 December, 2022;
originally announced December 2022.
-
On the valleys of the stochastic heat equation
Authors:
Davar Khoshnevisan,
Kunwoo Kim,
Carl Mueller
Abstract:
We consider a generalization of the parabolic Anderson model driven by space-time white noise, also called the stochastic heat equation, on the real line. High peaks of solutions have been extensively studied under the name of intermittency, but less is known about spatial regions between peaks, which may loosely refer to as valleys. We present two results about the valleys of the solution.
Our…
▽ More
We consider a generalization of the parabolic Anderson model driven by space-time white noise, also called the stochastic heat equation, on the real line. High peaks of solutions have been extensively studied under the name of intermittency, but less is known about spatial regions between peaks, which may loosely refer to as valleys. We present two results about the valleys of the solution.
Our first theorem provides information about the size of valleys and the supremum of the solution over a valley. More precisely, we show that the supremum of the solution over a valley vanishes as $t\to\infty$, and we establish an upper bound of $\exp\{-\text{const}\cdot t^{1/3}\}$ for the rate of decay. We demonstrate also that the length of a valley grows at least as $\exp\{+\text{const}\cdot t^{1/3}\}$ as $t\to\infty$.
Our second theorem asserts that the length of the valleys are eventually infinite when the initial data has subgaussian tails.
△ Less
Submitted 4 November, 2022;
originally announced November 2022.
-
Self-Repelling Elastic Manifolds with Low Dimensional Range
Authors:
Carl Mueller,
Eyal Neuman
Abstract:
We consider self-repelling elastic manifolds with a domain $[-N,N]^d \cap \mathbb{Z}^d$, that take values in $\mathbb{R}^D$. Our main result states that when the dimension of the domain is $d=2$ and the dimension of the range is $D=1$, the effective radius $R_N$ of the manifold is approximately $N^{4/3}$. This verifies the conjecture of Kantor, Kardar and Nelson [7]. Our results for the case where…
▽ More
We consider self-repelling elastic manifolds with a domain $[-N,N]^d \cap \mathbb{Z}^d$, that take values in $\mathbb{R}^D$. Our main result states that when the dimension of the domain is $d=2$ and the dimension of the range is $D=1$, the effective radius $R_N$ of the manifold is approximately $N^{4/3}$. This verifies the conjecture of Kantor, Kardar and Nelson [7]. Our results for the case where $d \geq 3$ and $D <d$ give a lower bound on $R_N$ of order $N^{\frac{1}{D} \left(d-\frac{2(d-D)}{D+2} \right)}$ and an upper bound proportional to $N^{\frac{d}{2}+\frac{d-D}{D+2}}$. These results imply that self-repelling elastic manifolds with a low dimensional range undergo a significantly stronger stretching than in the case where $d=D$, which was studied by the authors in [10].
△ Less
Submitted 2 April, 2022; v1 submitted 28 February, 2022;
originally announced March 2022.
-
The Effective Radius of Self Repelling Elastic Manifolds
Authors:
Carl Mueller,
Eyal Neuman
Abstract:
We study elastic manifolds with self-repelling terms and estimate their effective radius. This class of manifolds is modelled by a self-repelling vector-valued Gaussian free field with Neumann boundary conditions over the domain $[-N,N]^d\cap \mathbb{Z}^d$, that takes values in $\mathbb{R}^d$. Our main result states that in two dimensions ($d=2$), the effective radius $R_N$ of the manifold is appr…
▽ More
We study elastic manifolds with self-repelling terms and estimate their effective radius. This class of manifolds is modelled by a self-repelling vector-valued Gaussian free field with Neumann boundary conditions over the domain $[-N,N]^d\cap \mathbb{Z}^d$, that takes values in $\mathbb{R}^d$. Our main result states that in two dimensions ($d=2$), the effective radius $R_N$ of the manifold is approximately $N$. This verifies the conjecture of Kantor, Kardar and Nelson [8] up to a logarithmic correction. Our results in $d\geq 3$ give a similar lower bound on $R_N$ and an upper of order $N^{d/2}$. This result implies that self-repelling elastic manifolds undergo a substantial stretching at any dimension.
△ Less
Submitted 3 April, 2023; v1 submitted 24 December, 2021;
originally announced December 2021.
-
Dissipation in Parabolic SPDEs II: Oscillation and decay of the solution
Authors:
Davar Khoshnevisan,
Kunwoo Kim,
Carl Mueller
Abstract:
We consider a stochastic heat equation of the type, $\partial_t u = \partial^2_x u + σ(u)\dot{W}$ on $(0\,,\infty)\times[-1\,,1]$ with periodic boundary conditions and on-degenerate positive initial data, where $σ:\mathbb{R} \to\mathbb{R}$ is a non-random Lipschitz continuous function and $\dot{W}$ denotes space-time white noise. If additionally $σ(0)=0$ then the solution is known to be strictly p…
▽ More
We consider a stochastic heat equation of the type, $\partial_t u = \partial^2_x u + σ(u)\dot{W}$ on $(0\,,\infty)\times[-1\,,1]$ with periodic boundary conditions and on-degenerate positive initial data, where $σ:\mathbb{R} \to\mathbb{R}$ is a non-random Lipschitz continuous function and $\dot{W}$ denotes space-time white noise. If additionally $σ(0)=0$ then the solution is known to be strictly positive; see Mueller '91. In that case, we prove that the oscillation of the logarithm of the solution decays sublinearly as time tends to infinity. Among other things, it follows that, with probability one, all limit points of $t^{-1}\, \sup_{x\in[-1,1]}\, \log u(t\,,x)$ and $t^{-1}\, \inf_{x\in[-1,1]}\, \log u(t\,,x)$ must coincide. As a consequence of this fact, we prove that, when $σ$ is linear, there is a.s. only one such limit point and hence the entire path decays almost surely at an exponential rate.
△ Less
Submitted 31 January, 2022; v1 submitted 12 October, 2021;
originally announced October 2021.
-
STENCIL-NET: Data-driven solution-adaptive discretization of partial differential equations
Authors:
Suryanarayana Maddu,
Dominik Sturm,
Bevan L. Cheeseman,
Christian L. Müller,
Ivo F. Sbalzarini
Abstract:
Numerical methods for approximately solving partial differential equations (PDE) are at the core of scientific computing. Often, this requires high-resolution or adaptive discretization grids to capture relevant spatio-temporal features in the PDE solution, e.g., in applications like turbulence, combustion, and shock propagation. Numerical approximation also requires knowing the PDE in order to co…
▽ More
Numerical methods for approximately solving partial differential equations (PDE) are at the core of scientific computing. Often, this requires high-resolution or adaptive discretization grids to capture relevant spatio-temporal features in the PDE solution, e.g., in applications like turbulence, combustion, and shock propagation. Numerical approximation also requires knowing the PDE in order to construct problem-specific discretizations. Systematically deriving such solution-adaptive discrete operators, however, is a current challenge. Here we present STENCIL-NET, an artificial neural network architecture for data-driven learning of problem- and resolution-specific local discretizations of nonlinear PDEs. STENCIL-NET achieves numerically stable discretization of the operators in an unknown nonlinear PDE by spatially and temporally adaptive parametric pooling on regular Cartesian grids, and by incorporating knowledge about discrete time integration. Knowing the actual PDE is not necessary, as solution data is sufficient to train the network to learn the discrete operators. A once-trained STENCIL-NET model can be used to predict solutions of the PDE on larger spatial domains and for longer times than it was trained for, hence addressing the problem of PDE-constrained extrapolation from data. To support this claim, we present numerical experiments on long-term forecasting of chaotic PDE solutions on coarse spatio-temporal grids. We also quantify the speed-up achieved by substituting base-line numerical methods with equation-free STENCIL-NET predictions on coarser grids with little compromise on accuracy.
△ Less
Submitted 18 January, 2021; v1 submitted 15 January, 2021;
originally announced January 2021.
-
A note on connected greedy edge colouring
Authors:
Marthe Bonamy,
Carla Groenland,
Carole Muller,
Jonathan Narboni,
Jakub Pekárek,
Alexandra Wesolek
Abstract:
Following a given ordering of the edges of a graph $G$, the greedy edge colouring procedure assigns to each edge the smallest available colour. The minimum number of colours thus involved is the chromatic index $χ'(G)$, and the maximum is the so-called Grundy chromatic index. Here, we are interested in the restricted case where the ordering of the edges builds the graph in a connected fashion. Let…
▽ More
Following a given ordering of the edges of a graph $G$, the greedy edge colouring procedure assigns to each edge the smallest available colour. The minimum number of colours thus involved is the chromatic index $χ'(G)$, and the maximum is the so-called Grundy chromatic index. Here, we are interested in the restricted case where the ordering of the edges builds the graph in a connected fashion. Let $χ_c'(G)$ be the minimum number of colours involved following such an ordering. We show that it is NP-hard to determine whether $χ_c'(G)>χ'(G)$. We prove that $χ'(G)=χ_c'(G)$ if $G$ is bipartite, and that $χ_c'(G)\leq 4$ if $G$ is subcubic.
△ Less
Submitted 27 December, 2020;
originally announced December 2020.
-
Phase Analysis for a family of Stochastic Reaction-Diffusion Equations
Authors:
Davar Khoshnevisan,
Kunwoo Kim,
Carl Mueller,
Shang-Yuan Shiu
Abstract:
We consider a reaction-diffusion equation of the type \[
\partial_tψ= \partial^2_xψ+ V(ψ) + λσ(ψ)\dot{W}
\qquad\text{on $(0\,,\infty)\times\mathbb{T}$}, \] subject to a "nice" initial value and periodic boundary, where $\mathbb{T}=[-1\,,1]$ and $\dot{W}$ denotes space-time white noise. The reaction term $V:\mathbb{R}\to\mathbb{R}$ belongs to a large family of functions that includes Fisher--KP…
▽ More
We consider a reaction-diffusion equation of the type \[
\partial_tψ= \partial^2_xψ+ V(ψ) + λσ(ψ)\dot{W}
\qquad\text{on $(0\,,\infty)\times\mathbb{T}$}, \] subject to a "nice" initial value and periodic boundary, where $\mathbb{T}=[-1\,,1]$ and $\dot{W}$ denotes space-time white noise. The reaction term $V:\mathbb{R}\to\mathbb{R}$ belongs to a large family of functions that includes Fisher--KPP nonlinearities [$V(x)=x(1-x)$] as well as Allen-Cahn potentials [$V(x)=x(1-x)(1+x)$], the multiplicative nonlinearity $σ:\mathbb{R}\to\mathbb{R}$ is non random and Lipschitz continuous, and $λ>0$ is a non-random number that measures the strength of the effect of the noise $\dot{W}$.
The principal finding of this paper is that: (i) When $λ$ is sufficiently large, the above equation has a unique invariant measure; and (ii) When $λ$ is sufficiently small, the collection of all invariant measures is a non-trivial line segment, in particular infinite. This proves an earlier prediction of Zimmerman et al. (2000). Our methods also say a great deal about the structure of these invariant measures.
△ Less
Submitted 23 December, 2020;
originally announced December 2020.
-
c-lasso -- a Python package for constrained sparse and robust regression and classification
Authors:
Léo Simpson,
Patrick L. Combettes,
Christian L. Müller
Abstract:
We introduce c-lasso, a Python package that enables sparse and robust linear regression and classification with linear equality constraints. The underlying statistical forward model is assumed to be of the following form: \[ y = X β+ σε\qquad \textrm{subject to} \qquad Cβ=0 \] Here, $X \in \mathbb{R}^{n\times d}$is a given design matrix and the vector $y \in \mathbb{R}^{n}$ is a continuous or bina…
▽ More
We introduce c-lasso, a Python package that enables sparse and robust linear regression and classification with linear equality constraints. The underlying statistical forward model is assumed to be of the following form: \[ y = X β+ σε\qquad \textrm{subject to} \qquad Cβ=0 \] Here, $X \in \mathbb{R}^{n\times d}$is a given design matrix and the vector $y \in \mathbb{R}^{n}$ is a continuous or binary response vector. The matrix $C$ is a general constraint matrix. The vector $β\in \mathbb{R}^{d}$ contains the unknown coefficients and $σ$ an unknown scale. Prominent use cases are (sparse) log-contrast regression with compositional data $X$, requiring the constraint $1_d^T β= 0$ (Aitchion and Bacon-Shone 1984) and the Generalized Lasso which is a special case of the described problem (see, e.g, (James, Paulson, and Rusmevichientong 2020), Example 3). The c-lasso package provides estimators for inferring unknown coefficients and scale (i.e., perspective M-estimators (Combettes and Müller 2020a)) of the form \[ \min_{β\in \mathbb{R}^d, σ\in \mathbb{R}_{0}} f\left(Xβ- y,σ \right) + λ\left\lVert β\right\rVert_1 \qquad \textrm{subject to} \qquad Cβ= 0 \] for several convex loss functions $f(\cdot,\cdot)$. This includes the constrained Lasso, the constrained scaled Lasso, and sparse Huber M-estimators with linear equality constraints.
△ Less
Submitted 2 November, 2020;
originally announced November 2020.
-
Equilibrium stressability of multidimensional frameworks
Authors:
Oleg Karpenkov,
Christian Müller,
Gaiane Panina,
Brigitte Servatius,
Herman Servatius,
Dirk Siersma
Abstract:
We prove an equilibrium stressability criterium for trivalent multidimensional tensegrities. The criterium appears in different languages: (1) in terms of stress monodromies, (2) in terms of surgeries, (3) in terms of exact discrete 1-forms, and (4) in Cayley algebra terms.
We prove an equilibrium stressability criterium for trivalent multidimensional tensegrities. The criterium appears in different languages: (1) in terms of stress monodromies, (2) in terms of surgeries, (3) in terms of exact discrete 1-forms, and (4) in Cayley algebra terms.
△ Less
Submitted 11 September, 2020;
originally announced September 2020.
-
Discrete Curvature and Torsion from Cross-Ratios
Authors:
Christian Müller,
Amir Vaxman
Abstract:
Motivated by a Möbius invariant subdivision scheme for polygons, we study a curvature notion for discrete curves where the cross-ratio plays an important role in all our key definitions. Using a particular Möbius invariant point-insertion-rule, comparable to the classical four-point-scheme, we construct circles along discrete curves. Asymptotic analysis shows that these circles defined on a sample…
▽ More
Motivated by a Möbius invariant subdivision scheme for polygons, we study a curvature notion for discrete curves where the cross-ratio plays an important role in all our key definitions. Using a particular Möbius invariant point-insertion-rule, comparable to the classical four-point-scheme, we construct circles along discrete curves. Asymptotic analysis shows that these circles defined on a sampled curve converge to the smooth curvature circles as the sampling density increases. We express our discrete torsion for space curves, which is not a Möbius invariant notion, using the cross-ratio and show its asymptotic behavior in analogy to the curvature.
△ Less
Submitted 30 August, 2020;
originally announced August 2020.
-
A novel regularization strategy for the local discontinuous Galerkin method for level-set reinitialization
Authors:
Fabian Föll,
Christoph Müller,
Jonas Zeifang,
Claus-Dieter Munz
Abstract:
In this paper we propose a novel regularization strategy for the local discontinuous Galerkin method to solve the Hamilton-Jacobi equation in the context of level-set reinitialization. The novel regularization idea works in analogy to shock-capturing schemes for discontinuous Galerkin methods, which are based on finite volume sub-cells. In this spirit, the local discontinuous Galerkin method is co…
▽ More
In this paper we propose a novel regularization strategy for the local discontinuous Galerkin method to solve the Hamilton-Jacobi equation in the context of level-set reinitialization. The novel regularization idea works in analogy to shock-capturing schemes for discontinuous Galerkin methods, which are based on finite volume sub-cells. In this spirit, the local discontinuous Galerkin method is combined with an upwind/downwind finite volume sub-cell discretization, which is applied in areas of low regularity. To ensure the applicability on unstructured meshes, the finite volume discretization is based on a least squares approach.
△ Less
Submitted 14 July, 2020;
originally announced July 2020.
-
Uniqueness of a three-dimensional stochastic differential equation
Authors:
Carl Mueller,
Giang Truong
Abstract:
In order to extend the study of uniqueness property of multi-dimensional systems of stochastic differential equations, in this paper, we look at the following three-dimensional system of equations, of which the two-dimensional case was well-studied before: $dX_t=Y_tdt\quad, dY_t=Z_tdt,\quad dZ_t=|X_t|^αdB_t$. We proved that if $(X_0,Y_0,Z_0)\neq(0,0,0)$, and $\frac{3}{4}<α<1$, then the system of e…
▽ More
In order to extend the study of uniqueness property of multi-dimensional systems of stochastic differential equations, in this paper, we look at the following three-dimensional system of equations, of which the two-dimensional case was well-studied before: $dX_t=Y_tdt\quad, dY_t=Z_tdt,\quad dZ_t=|X_t|^αdB_t$. We proved that if $(X_0,Y_0,Z_0)\neq(0,0,0)$, and $\frac{3}{4}<α<1$, then the system of equations has a unique solution in the strong sense.
△ Less
Submitted 16 June, 2020;
originally announced June 2020.
-
Small ball probabilities and a support theorem for the stochastic heat equation
Authors:
Siva Athreya,
Mathew Joseph,
Carl Mueller
Abstract:
We consider the following stochastic partial differential equation on $t \geq 0, x\in[0,J], J \geq 1$ where we consider $[0,J]$ to be the circle with end points identified: \begin{equation*} \partial_t{\mathbf u}(t,x) =\frac{1}{2}\,\partial_x^2 {\mathbf u}(t,x) + {\mathbf g}(t,x,\mathbf u) + {\mathbf σ}(t,x, {\mathbf u})\dot {\mathbf W}(t,x) , \end{equation*} and $\dot {\mathbf W }(t,x)$ is 2-para…
▽ More
We consider the following stochastic partial differential equation on $t \geq 0, x\in[0,J], J \geq 1$ where we consider $[0,J]$ to be the circle with end points identified: \begin{equation*} \partial_t{\mathbf u}(t,x) =\frac{1}{2}\,\partial_x^2 {\mathbf u}(t,x) + {\mathbf g}(t,x,\mathbf u) + {\mathbf σ}(t,x, {\mathbf u})\dot {\mathbf W}(t,x) , \end{equation*} and $\dot {\mathbf W }(t,x)$ is 2-parameter $d$-dimensional vector valued white noise and ${\mathbf σ}$ is function from ${\mathbb R}_+\times {\mathbb R} \times {\mathbb R}^d \rightarrow {\mathbb R}^d$ to space of symmetric $d\times d$ matrices which is Lipschitz in $\mathbf u$. We assume that $σ$ is uniformly elliptic and that $\mathbf g$ is uniformly bounded. Assuming that ${\mathbf
u}(0,x) \equiv \mathbf 0$, we prove small-ball probabilities for the solution $\mathbf u$. We also prove a support theorem for solutions, when ${\mathbf u}(0,x)$ is not necessarily zero.
△ Less
Submitted 14 February, 2021; v1 submitted 14 June, 2020;
originally announced June 2020.
-
Scaling Properties of a Moving Polymer
Authors:
Carl Mueller,
Eyal Neuman
Abstract:
We set up an SPDE model for a moving, weakly self-avoiding polymer with intrinsic length $J$ taking values in $(0,\infty)$. Our main result states that the effective radius of the polymer is approximately $J^{5/3}$; evidently for large $J$ the polymer undergoes stretching. This contrasts with the equilibrium situation without the time variable, where many earlier results show that the effective ra…
▽ More
We set up an SPDE model for a moving, weakly self-avoiding polymer with intrinsic length $J$ taking values in $(0,\infty)$. Our main result states that the effective radius of the polymer is approximately $J^{5/3}$; evidently for large $J$ the polymer undergoes stretching. This contrasts with the equilibrium situation without the time variable, where many earlier results show that the effective radius is approximately $J$.
For such a moving polymer taking values in $\mathbf{R}^2$, we offer a conjecture that the effective radius is approximately $J^{5/4}$.
△ Less
Submitted 30 October, 2020; v1 submitted 12 June, 2020;
originally announced June 2020.
-
A solver for stiff finite-rate relaxation in Baer-Nunziato two-phase flow models
Authors:
Simone Chiocchetti,
Christoph Müller
Abstract:
In this paper we present a technique for constructing robust solvers for stiff algebraic source terms, such as those typically used for modelling relaxation processes in hyperbolic systems of partial differential equations describing two-phase flows, namely models of the Baer-Nunziato family. The method is based on an exponential integrator which employs an approximate linearised source term opera…
▽ More
In this paper we present a technique for constructing robust solvers for stiff algebraic source terms, such as those typically used for modelling relaxation processes in hyperbolic systems of partial differential equations describing two-phase flows, namely models of the Baer-Nunziato family. The method is based on an exponential integrator which employs an approximate linearised source term operator that is constructed in such a way that one can compute solutions to the linearised equations avoiding any delicate matrix inversion operations.
△ Less
Submitted 21 February, 2020;
originally announced February 2020.
-
Polarity of almost all points for systems of non-linear stochastic heat equations in the critical dimension
Authors:
Robert C. Dalang,
Carl Mueller,
Yimin Xiao
Abstract:
We study vector-valued solutions $u(t,x)\in\mathbb{R}^d$ to systems of nonlinear stochastic heat equations with multiplicative noise: \begin{equation*} \frac{\partial}{\partial t} u(t,x)=\frac{\partial^2}{\partial x^2} u(t,x)+σ(u(t,x))\dot{W}(t,x). \end{equation*} Here $t\geq 0$, $x\in\mathbb{R}$ and $\dot{W}(t,x)$ is an $\mathbb{R}^d$-valued space-time white noise. We say that a point…
▽ More
We study vector-valued solutions $u(t,x)\in\mathbb{R}^d$ to systems of nonlinear stochastic heat equations with multiplicative noise: \begin{equation*} \frac{\partial}{\partial t} u(t,x)=\frac{\partial^2}{\partial x^2} u(t,x)+σ(u(t,x))\dot{W}(t,x). \end{equation*} Here $t\geq 0$, $x\in\mathbb{R}$ and $\dot{W}(t,x)$ is an $\mathbb{R}^d$-valued space-time white noise. We say that a point $z\in\mathbb{R}^d$ is polar if \begin{equation*} P\{u(t,x)=z\text{ for some $t>0$ and $x\in\mathbb{R}$}\}=0. \end{equation*} We show that in the critical dimension $d=6$, almost all points in $\mathbb{R}^d$ are polar.
△ Less
Submitted 19 February, 2020;
originally announced February 2020.
-
Packing and covering balls in graphs excluding a minor
Authors:
Nicolas Bousquet,
Wouter Cames van Batenburg,
Louis Esperet,
Gwenaël Joret,
William Lochet,
Carole Muller,
François Pirot
Abstract:
We prove that for every integer $t\ge 1$ there exists a constant $c_t$ such that for every $K_t$-minor-free graph $G$, and every set $S$ of balls in $G$, the minimum size of a set of vertices of $G$ intersecting all the balls of $S$ is at most $c_t$ times the maximum number of vertex-disjoint balls in $S$. This was conjectured by Chepoi, Estellon, and Vaxès in 2007 in the special case of planar gr…
▽ More
We prove that for every integer $t\ge 1$ there exists a constant $c_t$ such that for every $K_t$-minor-free graph $G$, and every set $S$ of balls in $G$, the minimum size of a set of vertices of $G$ intersecting all the balls of $S$ is at most $c_t$ times the maximum number of vertex-disjoint balls in $S$. This was conjectured by Chepoi, Estellon, and Vaxès in 2007 in the special case of planar graphs and of balls having the same radius.
△ Less
Submitted 28 July, 2020; v1 submitted 13 January, 2020;
originally announced January 2020.
-
Multiple Points of Gaussian Random Fields
Authors:
Robert C. Dalang,
Cheuk Yin Lee,
Carl Mueller,
Yimin Xiao
Abstract:
This paper is concerned with the existence of multiple points of Gaussian random fields. Under the framework of Dalang et al. (2017), we prove that, for a wide class of Gaussian random fields, multiple points do not exist in critical dimensions. The result is applicable to fractional Brownian sheets and the solutions of systems of stochastic heat and wave equations.
This paper is concerned with the existence of multiple points of Gaussian random fields. Under the framework of Dalang et al. (2017), we prove that, for a wide class of Gaussian random fields, multiple points do not exist in critical dimensions. The result is applicable to fractional Brownian sheets and the solutions of systems of stochastic heat and wave equations.
△ Less
Submitted 2 February, 2021; v1 submitted 21 November, 2019;
originally announced November 2019.
-
An improved uniqueness result for a system of stochastic differential equations related to the stochastic wave equation
Authors:
C. Mueller,
E. Neuman,
M. Salins,
G. Truong
Abstract:
We improve on the strong uniqueness results of [GLM+17], which deal with the following system of SDE. \begin{align*} dX_t&=Y_tdt \\ dY_t&=|X_{t}|^αdB_t \end{align*} and $X_0=x_0,Y_0=y_0$. For $(x_0,y_0)\ne(0,0)$, we show that short-time uniqueness holds for $α>-1/2$.
We improve on the strong uniqueness results of [GLM+17], which deal with the following system of SDE. \begin{align*} dX_t&=Y_tdt \\ dY_t&=|X_{t}|^αdB_t \end{align*} and $X_0=x_0,Y_0=y_0$. For $(x_0,y_0)\ne(0,0)$, we show that short-time uniqueness holds for $α>-1/2$.
△ Less
Submitted 12 September, 2019;
originally announced September 2019.
-
Stability selection enables robust learning of partial differential equations from limited noisy data
Authors:
Suryanarayana Maddu,
Bevan L. Cheeseman,
Ivo F. Sbalzarini,
Christian L. Müller
Abstract:
We present a statistical learning framework for robust identification of partial differential equations from noisy spatiotemporal data. Extending previous sparse regression approaches for inferring PDE models from simulated data, we address key issues that have thus far limited the application of these methods to noisy experimental data, namely their robustness against noise and the need for manua…
▽ More
We present a statistical learning framework for robust identification of partial differential equations from noisy spatiotemporal data. Extending previous sparse regression approaches for inferring PDE models from simulated data, we address key issues that have thus far limited the application of these methods to noisy experimental data, namely their robustness against noise and the need for manual parameter tuning. We address both points by proposing a stability-based model selection scheme to determine the level of regularization required for reproducible recovery of the underlying PDE. This avoids manual parameter tuning and provides a principled way to improve the method's robustness against noise in the data. Our stability selection approach, termed PDE-STRIDE, can be combined with any sparsity-promoting penalized regression model and provides an interpretable criterion for model component importance. We show that in particular the combination of stability selection with the iterative hard-thresholding algorithm from compressed sensing provides a fast, parameter-free, and robust computational framework for PDE inference that outperforms previous algorithmic approaches with respect to recovery accuracy, amount of data required, and robustness to noise. We illustrate the performance of our approach on a wide range of noise-corrupted simulated benchmark problems, including 1D Burgers, 2D vorticity-transport, and 3D reaction-diffusion problems. We demonstrate the practical applicability of our method on real-world data by considering a purely data-driven re-evaluation of the advective triggering hypothesis for an embryonic polarization system in C.~elegans. Using fluorescence microscopy images of C.~elegans zygotes as input data, our framework is able to recover the PDE model for the regulatory reaction-diffusion-flow network of the associated proteins.
△ Less
Submitted 17 July, 2019;
originally announced July 2019.
-
Geometric criteria for realizability of tensegrities in higher dimensions
Authors:
Oleg Karpenkov,
Christian Müller
Abstract:
In this paper we study a classical Maxwell question on the existence of self-stresses for frameworks, which are called tensegrities. We give a complete answer on geometric conditions of at most $(d+1)$-valent tensegrities in $\mathbb{R}^d$ both in terms of discrete multiplicative 1-forms and in terms of "meet" and "join" operations in the Grassmann-Cayley algebra.
In this paper we study a classical Maxwell question on the existence of self-stresses for frameworks, which are called tensegrities. We give a complete answer on geometric conditions of at most $(d+1)$-valent tensegrities in $\mathbb{R}^d$ both in terms of discrete multiplicative 1-forms and in terms of "meet" and "join" operations in the Grassmann-Cayley algebra.
△ Less
Submitted 29 January, 2021; v1 submitted 5 July, 2019;
originally announced July 2019.
-
Unavoidable minors for graphs with large $\ell_p$-dimension
Authors:
Samuel Fiorini,
Tony Huynh,
Gwenaël Joret,
Carole Muller
Abstract:
A metric graph is a pair $(G,d)$, where $G$ is a graph and $d:E(G) \to\mathbb{R}_{\geq0}$ is a distance function. Let $p \in [1,\infty]$ be fixed. An isometric embedding of the metric graph $(G,d)$ in $\ell_p^k = (\mathbb{R}^k, d_p)$ is a map $φ: V(G) \to \mathbb{R}^k$ such that $d_p(φ(v), φ(w)) = d(vw)$ for all edges $vw\in E(G)$. The $\ell_p$-dimension of $G$ is the least integer $k$ such that t…
▽ More
A metric graph is a pair $(G,d)$, where $G$ is a graph and $d:E(G) \to\mathbb{R}_{\geq0}$ is a distance function. Let $p \in [1,\infty]$ be fixed. An isometric embedding of the metric graph $(G,d)$ in $\ell_p^k = (\mathbb{R}^k, d_p)$ is a map $φ: V(G) \to \mathbb{R}^k$ such that $d_p(φ(v), φ(w)) = d(vw)$ for all edges $vw\in E(G)$. The $\ell_p$-dimension of $G$ is the least integer $k$ such that there exists an isometric embedding of $(G,d)$ in $\ell_p^k$ for all distance functions $d$ such that $(G,d)$ has an isometric embedding in $\ell_p^K$ for some $K$.
It is easy to show that $\ell_p$-dimension is a minor-monotone property. In this paper, we characterize the minor-closed graph classes $\mathcal{C}$ with bounded $\ell_p$-dimension, for $p \in \{2,\infty\}$. For $p=2$, we give a simple proof that $\mathcal{C}$ has bounded $\ell_2$-dimension if and only if $\mathcal{C}$ has bounded treewidth. In this sense, the $\ell_2$-dimension of a graph is `tied' to its treewidth.
For $p=\infty$, the situation is completely different. Our main result states that a minor-closed class $\mathcal{C}$ has bounded $\ell_\infty$-dimension if and only if $\mathcal{C}$ excludes a graph obtained by joining copies of $K_4$ using the $2$-sum operation, or excludes a Möbius ladder with one `horizontal edge' removed.
△ Less
Submitted 5 October, 2020; v1 submitted 5 April, 2019;
originally announced April 2019.
-
The speed of a random front for stochastic reaction-diffusion equations with strong noise
Authors:
Carl Mueller,
Leonid Mytnik,
Lenya Ryzhik
Abstract:
We study the asymptotic speed of a random front for solutions $u_t(x)$ to stochastic reaction-diffusion equations of the form \[ \partial_tu=\farc{1}{2}\partial_x^2u+f(u)+σ\sqrt{u(1-u)}\dot{W}(t,x),~t\ge 0,~x\in\Rm, \] arising in population genetics. Here, $f$ is a continuous function with $f(0)=f(1)=0$, and such that~$|f(u)|\le K|u(1-u)|^γ$ with~$γ\ge 1/2$, and $\dot{W}(t,x)$ is a space-time Gaus…
▽ More
We study the asymptotic speed of a random front for solutions $u_t(x)$ to stochastic reaction-diffusion equations of the form \[ \partial_tu=\farc{1}{2}\partial_x^2u+f(u)+σ\sqrt{u(1-u)}\dot{W}(t,x),~t\ge 0,~x\in\Rm, \] arising in population genetics. Here, $f$ is a continuous function with $f(0)=f(1)=0$, and such that~$|f(u)|\le K|u(1-u)|^γ$ with~$γ\ge 1/2$, and $\dot{W}(t,x)$ is a space-time Gaussian white noise. We assume that the initial condition $u_0(x)$ satisfies $0\le u_0(x)\le 1$ for all $x\in\Rm$, $u_0(x)=1$ for~$x<L_0$ and $ u_0(x)=0$ for~$x>R_0$. We show that when $σ>0$, for each $t>0$ there exist~$R(u_t)<+\infty$ and~$L(u_t)<-\infty$ such that $u_t(x)=0$ for $x>R(u_t)$ and $u_t(x)=1$ for~$x<L(u_t)$ even if $f$ is not Lipschitz. We also show that for all $σ>0$ there exists a finite deterministic speed~$V(σ)\in\Rm$ so that~$R(u_t)/t\to V(σ)$ as $t\to+\infty$, almost surely. This is in dramatic contrast with the deterministic case $σ=0$ for nonlinearities of the type $f(u)=u^m(1-u)$ with $0<m<1$ when solutions converge to $1$ uniformly on $\Rm$ as $t\to+\infty$. Finally, we prove that when $γ>1/2$ there exists $c_f\in\Rm$, so that~$σ^2V(σ)\to c_f$ as~$σ\to+\infty$ and give a characterization of $c_f$. The last result complements a lower bound obtained by Conlon and Doering \cite{cd05} for the special case of $f(u)=u(1-u)$ where a duality argument is available.
△ Less
Submitted 8 March, 2019;
originally announced March 2019.
-
Regression models for compositional data: General log-contrast formulations, proximal optimization, and microbiome data applications
Authors:
Patrick L. Combettes,
Christian L. Müller
Abstract:
Compositional data sets are ubiquitous in science, including geology, ecology, and microbiology. In microbiome research, compositional data primarily arise from high-throughput sequence-based profiling experiments. These data comprise microbial compositions in their natural habitat and are often paired with covariate measurements that characterize physicochemical habitat properties or the physiolo…
▽ More
Compositional data sets are ubiquitous in science, including geology, ecology, and microbiology. In microbiome research, compositional data primarily arise from high-throughput sequence-based profiling experiments. These data comprise microbial compositions in their natural habitat and are often paired with covariate measurements that characterize physicochemical habitat properties or the physiology of the host. Inferring parsimonious statistical associations between microbial compositions and habitat- or host-specific covariate data is an important step in exploratory data analysis. A standard statistical model linking compositional covariates to continuous outcomes is the linear log-contrast model. This model describes the response as a linear combination of log-ratios of the original compositions and has been extended to the high-dimensional setting via regularization. In this contribution, we propose a general convex optimization model for linear log-contrast regression which includes many previous proposals as special cases. We introduce a proximal algorithm that solves the resulting constrained optimization problem exactly with rigorous convergence guarantees. We illustrate the versatility of our approach by investigating the performance of several model instances on soil and gut microbiome data analysis tasks.
△ Less
Submitted 3 March, 2019;
originally announced March 2019.
-
Stochastic Galerkin reduced basis methods for parametrized linear elliptic partial differential equations
Authors:
Sebastian Ullmann,
Christopher Müller,
Jens Lang
Abstract:
We consider the estimation of parameter-dependent statistics of functional outputs of elliptic boundary value problems (BVPs) with parametrized random and deterministic inputs. For a given value of the deterministic paremeter, a stochastic Galerkin finite element (SGFE) method can estimate the corresponding expectation and variance of a linear output at the cost of a single solution of a large blo…
▽ More
We consider the estimation of parameter-dependent statistics of functional outputs of elliptic boundary value problems (BVPs) with parametrized random and deterministic inputs. For a given value of the deterministic paremeter, a stochastic Galerkin finite element (SGFE) method can estimate the corresponding expectation and variance of a linear output at the cost of a single solution of a large block-structured linear system of equations. We propose a stochastic Galerkin reduced basis (SGRB) method as a means to lower the computational burden when statistical outputs are required for a large number of deterministic parameter queries. Our working assumption is that we have access to the computational resources necessary to set up such a reduced order model for a spatial-stochastic weak formulation of the parameter-dependent BVP.
To derive an SGRB model, we project the spatial-stochastic weak solution of a parameter-dependent SGFE model onto a POD reduced basis generated from snapshots of SGFE solutions at representative values of the parameter. We propose residual-corrected estimates of the parameter-dependent expectation and variance of linear functional outputs and provide respective computable error bounds.~We test the SGRB method numerically for a convection-diffusion-reaction problem, choosing the convective velocity as a deterministic parameter and the parametrized reactivity field as a random input. Compared to a standard reduced basis model embedded in a Monte Carlo sampling procedure, the SGRB model requires a similar number of reduced basis functions to meet a given tolerance requirement. However, only a single run of the SGRB model suffices to estimate a statistical output for a new deterministic parameter value, while the standard reduced basis model must be solved for each Monte Carlo sample.
△ Less
Submitted 9 May, 2020; v1 submitted 20 December, 2018;
originally announced December 2018.
-
Dissipation in parabolic SPDEs
Authors:
Davar Khoshnevisan,
Kunwoo Kim,
Carl Mueller,
Shang-Yuan Shiu
Abstract:
The study of intermittency for the parabolic Anderson problem usually focuses on the moments of the solution which can describe the high peaks in the probability space. In this paper we set up the equation on a finite spatial interval, and study the other part of intermittency, i.e., the part of the probability space on which the solution is close to zero. This set has probability very close to on…
▽ More
The study of intermittency for the parabolic Anderson problem usually focuses on the moments of the solution which can describe the high peaks in the probability space. In this paper we set up the equation on a finite spatial interval, and study the other part of intermittency, i.e., the part of the probability space on which the solution is close to zero. This set has probability very close to one, and we show that on this set, the supremum of the solution over space is close to 0. As a consequence, we find that almost surely the spatial supremum of the solution tends to zero exponentially fast as time increases. We also show that if the noise term is very large, then the probability of the set on which the supremum of the solution is very small has a very high probability.
△ Less
Submitted 24 March, 2019; v1 submitted 21 August, 2018;
originally announced August 2018.
-
Perspective Maximum Likelihood-Type Estimation via Proximal Decomposition
Authors:
Patrick L. Combettes,
Christian L. Müller
Abstract:
We introduce an optimization model for maximum likelihood-type estimation (M-estimation) that generalizes a large class of existing statistical models, including Huber's concomitant M-estimator, Owen's Huber/Berhu concomitant estimator, the scaled lasso, support vector machine regression, and penalized estimation with structured sparsity. The model, termed perspective M-estimation, leverages the o…
▽ More
We introduce an optimization model for maximum likelihood-type estimation (M-estimation) that generalizes a large class of existing statistical models, including Huber's concomitant M-estimator, Owen's Huber/Berhu concomitant estimator, the scaled lasso, support vector machine regression, and penalized estimation with structured sparsity. The model, termed perspective M-estimation, leverages the observation that convex M-estimators with concomitant scale as well as various regularizers are instances of perspective functions. Such functions are amenable to proximal analysis, which leads to principled and provably convergent optimization algorithms via proximal splitting. Using a geometrical approach based on duality, we derive novel proximity operators for several perspective functions of interest. Numerical experiments on synthetic and real-world data illustrate the broad applicability of the proposed framework.
△ Less
Submitted 5 October, 2018; v1 submitted 15 May, 2018;
originally announced May 2018.
-
Can the Stochastic Wave Equation with Strong Drift Hit Zero?
Authors:
Kevin Lin,
Carl Mueller
Abstract:
We study the stochastic wave equation with multiplicative noise and singular drift: \[ \partial_tu(t,x)=Δu(t,x)+u^{-α}(t,x)+g(u(t,x))\dot{W}(t,x) \] where $x$ lies in the circle $\mathbf{R}/J\mathbf{Z}$ and $u(0,x)>0$. We show that
(i) If $0<α<1$ then with positive probability, $u(t,x)=0$ for some $(t,x)$.
(ii) If $α>3$ then with probability one, $u(t,x)\ne0$ for all $(t,x)$.
We study the stochastic wave equation with multiplicative noise and singular drift: \[ \partial_tu(t,x)=Δu(t,x)+u^{-α}(t,x)+g(u(t,x))\dot{W}(t,x) \] where $x$ lies in the circle $\mathbf{R}/J\mathbf{Z}$ and $u(0,x)>0$. We show that
(i) If $0<α<1$ then with positive probability, $u(t,x)=0$ for some $(t,x)$.
(ii) If $α>3$ then with probability one, $u(t,x)\ne0$ for all $(t,x)$.
△ Less
Submitted 13 February, 2019; v1 submitted 26 February, 2018;
originally announced February 2018.
-
Hitting Probabilities of a Brownian flow with Radial Drift
Authors:
Jong Jun Lee,
Carl Mueller,
Eyal Neuman
Abstract:
We consider a stochastic flow $φ_t(x,ω)$ in $\mathbb{R}^n$ with initial point $φ_0(x,ω)=x$, driven by a single $n$-dimensional Brownian motion, and with an outward radial drift of magnitude $\frac{ F(\|φ_t(x)\|)}{\|φ_t(x)\|}$, with $F$ nonnegative, bounded and Lipschitz. We consider initial points $x$ lying in a set of positive distance from the origin. We show that there exist constants…
▽ More
We consider a stochastic flow $φ_t(x,ω)$ in $\mathbb{R}^n$ with initial point $φ_0(x,ω)=x$, driven by a single $n$-dimensional Brownian motion, and with an outward radial drift of magnitude $\frac{ F(\|φ_t(x)\|)}{\|φ_t(x)\|}$, with $F$ nonnegative, bounded and Lipschitz. We consider initial points $x$ lying in a set of positive distance from the origin. We show that there exist constants $C^*,c^*>0$ not depending on $n$, such that if $F>C^*n$ then the image of the initial set under the flow has probability 0 of hitting the origin. If $0\leq F \leq c^*n^{3/4}$, and if the initial set has nonempty interior, then the image of the set has positive probability of hitting the origin.
△ Less
Submitted 28 March, 2019; v1 submitted 16 February, 2018;
originally announced February 2018.
-
A Bramble-Pasciak conjugate gradient method for discrete Stokes equations with random viscosity
Authors:
Christopher Müller,
Sebastian Ullmann,
Jens Lang
Abstract:
We study the iterative solution of linear systems of equations arising from stochastic Galerkin finite element discretizations of saddle point problems. We focus on the Stokes model with random data parametrized by uniformly distributed random variables and discuss well-posedness of the variational formulations. We introduce a Bramble-Pasciak conjugate gradient method as a linear solver. It builds…
▽ More
We study the iterative solution of linear systems of equations arising from stochastic Galerkin finite element discretizations of saddle point problems. We focus on the Stokes model with random data parametrized by uniformly distributed random variables and discuss well-posedness of the variational formulations. We introduce a Bramble-Pasciak conjugate gradient method as a linear solver. It builds on a non-standard inner product associated with a block triangular preconditioner. The block triangular structure enables more sophisticated preconditioners than the block diagonal structure usually applied in MINRES methods. We show how the existence requirements of a conjugate gradient method can be met in our setting. We analyze the performance of the solvers depending on relevant physical and numerical parameters by means of eigenvalue estimates. For this purpose, we derive bounds for the eigenvalues of the relevant preconditioned sub-matrices. We illustrate our findings using the flow in a driven cavity as a numerical test case, where the viscosity is given by a truncated Karhunen-Loève expansion of a random field. In this example, a Bramble-Pasciak conjugate gradient method with block triangular preconditioner outperforms a MINRES method with block diagonal preconditioner in terms of iteration numbers.
△ Less
Submitted 30 October, 2018; v1 submitted 5 January, 2018;
originally announced January 2018.
-
Prediction Error Bounds for Linear Regression With the TREX
Authors:
Jacob Bien,
Irina Gaynanova,
Johannes Lederer,
Christian Müller
Abstract:
The TREX is a recently introduced approach to sparse linear regression. In contrast to most well-known approaches to penalized regression, the TREX can be formulated without the use of tuning parameters. In this paper, we establish the first known prediction error bounds for the TREX. Additionally, we introduce extensions of the TREX to a more general class of penalties, and we provide a bound on…
▽ More
The TREX is a recently introduced approach to sparse linear regression. In contrast to most well-known approaches to penalized regression, the TREX can be formulated without the use of tuning parameters. In this paper, we establish the first known prediction error bounds for the TREX. Additionally, we introduce extensions of the TREX to a more general class of penalties, and we provide a bound on the prediction error in this generalized setting. These results deepen the understanding of TREX from a theoretical perspective and provide new insights into penalized regression in general.
△ Less
Submitted 4 January, 2018;
originally announced January 2018.
-
A Bramble-Pasciak conjugate gradient method for discrete Stokes problems with lognormal random viscosity
Authors:
Christopher Müller,
Sebastian Ullmann,
Jens Lang
Abstract:
We study linear systems of equations arising from a stochastic Galerkin finite element discretization of saddle point problems with random data and its iterative solution. We consider the Stokes flow model with random viscosity described by the exponential of a correlated random process and shortly discuss the discretization framework and the representation of the emerging matrix equation. Due to…
▽ More
We study linear systems of equations arising from a stochastic Galerkin finite element discretization of saddle point problems with random data and its iterative solution. We consider the Stokes flow model with random viscosity described by the exponential of a correlated random process and shortly discuss the discretization framework and the representation of the emerging matrix equation. Due to the high dimensionality and the coupling of the associated symmetric, indefinite, linear system, we resort to iterative solvers and problem-specific preconditioners. As a standard iterative solver for this problem class, we consider the block diagonal preconditioned MINRES method and further introduce the Bramble-Pasciak conjugate gradient method as a promising alternative. This special conjugate gradient method is formulated in a non-standard inner product with a block triangular preconditioner. From a structural point of view, such a block triangular preconditioner enables a better approximation of the original problem than the block diagonal one. We derive eigenvalue estimates to assess the convergence behavior of the two solvers with respect to relevant physical and numerical parameters and verify our findings by the help of a numerical test case. We model Stokes flow in a cavity driven by a moving lid and describe the viscosity by the exponential of a truncated Karhunen-Loeve expansion. Regarding iteration counts, the Bramble-Pasciak conjugate gradient method with block triangular preconditioner is superior to the MINRES method with block diagonal preconditioner in the considered example.
△ Less
Submitted 15 November, 2018; v1 submitted 18 December, 2017;
originally announced December 2017.
-
On Uniqueness and Blowup Properties for a Class of Second Order SDEs
Authors:
Alejandro Gomez,
Jong Jun Lee,
Carl Mueller,
Eyal Neuman,
Michael Salins
Abstract:
As the first step for approaching the uniqueness and blowup properties of the solutions of the stochastic wave equations with multiplicative noise, we analyze the conditions for the uniqueness and blowup properties of the solution $(X_t,Y_t)$ of the equations $dX_t= Y_tdt$, $dY_t = |X_t|^αdB_t$, $(X_0,Y_0)=(x_0,y_0)$. In particular, we prove that solutions are nonunique if $0<α<1$ and…
▽ More
As the first step for approaching the uniqueness and blowup properties of the solutions of the stochastic wave equations with multiplicative noise, we analyze the conditions for the uniqueness and blowup properties of the solution $(X_t,Y_t)$ of the equations $dX_t= Y_tdt$, $dY_t = |X_t|^αdB_t$, $(X_0,Y_0)=(x_0,y_0)$. In particular, we prove that solutions are nonunique if $0<α<1$ and $(x_0,y_0)=(0,0)$ and unique if $1/2<α<1$ and $(x_0,y_0)\neq(0,0)$. We also show that blowup in finite time holds if $α>1$ and $(x_0,y_0)\neq(0,0)$.
△ Less
Submitted 23 February, 2017;
originally announced February 2017.
-
Perspective Functions: Proximal Calculus and Applications in High-Dimensional Statistics
Authors:
Patrick L. Combettes,
Christian L. Müller
Abstract:
Perspective functions arise explicitly or implicitly in various forms in applied mathematics and in statistical data analysis. To date, no systematic strategy is available to solve the associated, typically nonsmooth, optimization problems. In this paper, we fill this gap by showing that proximal methods provide an efficient framework to model and solve problems involving perspective functions. We…
▽ More
Perspective functions arise explicitly or implicitly in various forms in applied mathematics and in statistical data analysis. To date, no systematic strategy is available to solve the associated, typically nonsmooth, optimization problems. In this paper, we fill this gap by showing that proximal methods provide an efficient framework to model and solve problems involving perspective functions. We study the construction of the proximity operator of a perspective function under general assumptions and present important instances in which the proximity operator can be computed explicitly or via straightforward numerical operations. These results constitute central building blocks in the design of proximal optimization algorithms. We showcase the versatility of the framework by designing novel proximal algorithms for state-of-the-art regression and variable selection schemes in high-dimensional statistics.
△ Less
Submitted 13 December, 2016; v1 submitted 5 October, 2016;
originally announced October 2016.
-
On the boundary of the support of super-Brownian motion: with appendices
Authors:
Carl Mueller,
Leonid Mytnik,
Edwin Perkins
Abstract:
We study the density X(t,x) of one-dimensional super-Brownian motion and find the asymptotic behaviour of P(0<X(t,x)<a) as a approaches 0, as well as the Hausdorff dimension of the boundary of the support of X(t). The answers are in terms of the lead eigenvalue of the Ornstein-Uhlenbeck generator with a particular killing term. This work is motivated in part by questions of pathwise uniqueness for…
▽ More
We study the density X(t,x) of one-dimensional super-Brownian motion and find the asymptotic behaviour of P(0<X(t,x)<a) as a approaches 0, as well as the Hausdorff dimension of the boundary of the support of X(t). The answers are in terms of the lead eigenvalue of the Ornstein-Uhlenbeck generator with a particular killing term. This work is motivated in part by questions of pathwise uniqueness for associated stochastic partial differential equations.
△ Less
Submitted 29 December, 2015;
originally announced December 2015.
-
Semi-discrete isothermic surfaces
Authors:
F. Burstall,
U. Hertrich-Jeromin,
C. Mueller,
W. Rossman
Abstract:
A Darboux transformation for polarized space curves is introduced and its properties are studied, in particular, Bianchi permutability. Semi-discrete isothermic surfaces are described as sequences of Darboux transforms of polarized curves in the conformal n-sphere and their transformation theory is studied. Semi-discrete surfaces of constant mean curvature are studied as an application of the tran…
▽ More
A Darboux transformation for polarized space curves is introduced and its properties are studied, in particular, Bianchi permutability. Semi-discrete isothermic surfaces are described as sequences of Darboux transforms of polarized curves in the conformal n-sphere and their transformation theory is studied. Semi-discrete surfaces of constant mean curvature are studied as an application of the transformation theory.
△ Less
Submitted 15 June, 2015;
originally announced June 2015.
-
Polarity of points for Gaussian random fields
Authors:
Robert C. Dalang,
Carl Mueller,
Yimin Xiao
Abstract:
We show that for a wide class of Gaussian random fields, points are polar in the critical dimension. Examples of such random fields include solutions of systems of linear stochastic partial differential equations with deterministic coefficients, such as the stochastic heat equation or wave equation with space-time white noise, or colored noise in spatial dimensions $k\geq 1$. Our approach builds o…
▽ More
We show that for a wide class of Gaussian random fields, points are polar in the critical dimension. Examples of such random fields include solutions of systems of linear stochastic partial differential equations with deterministic coefficients, such as the stochastic heat equation or wave equation with space-time white noise, or colored noise in spatial dimensions $k\geq 1$. Our approach builds on a delicate covering argument developed by M. Talagrand for the study of fractional Brownian motion, and uses a harmonizable representation of the solutions of these stochastic pde's.
△ Less
Submitted 20 May, 2015;
originally announced May 2015.
-
Strong invariance and noise-comparison principles for some parabolic stochastic PDEs
Authors:
Mathew Joseph,
Davar Khoshnevisan,
Carl Mueller
Abstract:
We consider a system of interacting diffusions on the integer lattice. By letting the mesh size go to zero and by using a suitable scaling, we show that the system converges (in a strong sense) to a solution of the stochastic heat equation on the real line. As a consequence, we obtain comparison inequalities for product moments of the stochastic heat equation with different nonlinearities.
We consider a system of interacting diffusions on the integer lattice. By letting the mesh size go to zero and by using a suitable scaling, we show that the system converges (in a strong sense) to a solution of the stochastic heat equation on the real line. As a consequence, we obtain comparison inequalities for product moments of the stochastic heat equation with different nonlinearities.
△ Less
Submitted 28 April, 2014;
originally announced April 2014.
-
Pricing and clearing combinatorial markets with singleton and swap orders: Efficient algorithms for the futures opening auction problem
Authors:
Johannes C. Müller,
Sebastian Pokutta,
Alexander Martin,
Susanne Pape,
Andrea Peter,
Thomas Winter
Abstract:
In this article we consider combinatorial markets with valuations only for singletons and pairs of buy/sell-orders for swap** two items in equal quantity. We provide an algorithm that permits polynomial time market-clearing and -pricing. The results are presented in the context of our main application: the futures opening auction problem.
Futures contracts are an important tool to mitigate mar…
▽ More
In this article we consider combinatorial markets with valuations only for singletons and pairs of buy/sell-orders for swap** two items in equal quantity. We provide an algorithm that permits polynomial time market-clearing and -pricing. The results are presented in the context of our main application: the futures opening auction problem.
Futures contracts are an important tool to mitigate market risk and counterparty credit risk. In futures markets these contracts can be traded with varying expiration dates and underlyings. A common hedging strategy is to roll positions forward into the next expiration date, however this strategy comes with significant operational risk. To address this risk, exchanges started to offer so-called futures contract combinations, which allow the traders for swap** two futures contracts with different expiration dates or for swap** two futures contracts with different underlyings. In theory, the price is in both cases the difference of the two involved futures contracts. However, in particular in the opening auctions price inefficiencies often occur due to suboptimal clearing, leading to potential arbitrage opportunities.
We present a minimum cost flow formulation of the futures opening auction problem that guarantees consistent prices. The core ideas are to model orders as arcs in a network, to enforce the equilibrium conditions with the help of two hierarchical objectives, and to combine these objectives into a single weighted objective while preserving the price information of dual optimal solutions. The resulting optimization problem can be solved in polynomial time and computational tests establish an empirical performance suitable for production environments.
△ Less
Submitted 27 October, 2017; v1 submitted 25 April, 2014;
originally announced April 2014.
-
Competitive Equilibrium Relaxations in General Auctions
Authors:
Johannes C. Müller
Abstract:
The goal of an auction is to determine commodity prices such that all participants are perfectly happy. Such a solution is called a competitive equilibrium and does not exist in general. For this reason we are interested in solutions which are similar to a competitive equilibrium. The article introduces two relaxations of a competitive equilibrium for general auctions. Both relaxations determine o…
▽ More
The goal of an auction is to determine commodity prices such that all participants are perfectly happy. Such a solution is called a competitive equilibrium and does not exist in general. For this reason we are interested in solutions which are similar to a competitive equilibrium. The article introduces two relaxations of a competitive equilibrium for general auctions. Both relaxations determine one price per commodity by solving a difficult non-convex optimization problem. The first model is a mathematical program with equilibrium constraints (MPEC), which ensures that each participant is either perfectly happy or his bid is rejected. An exact algorithm and a heuristic are provided for this model. The second model is a relaxation of the first one and only ensures that no participant incurs a loss. In an optimal solution to the second model, no participant can be made better off without making another one worse off.
△ Less
Submitted 3 September, 2013; v1 submitted 10 July, 2013;
originally announced July 2013.
-
Multiple points of the Brownian sheet in critical dimensions
Authors:
Robert C. Dalang,
Carl Mueller
Abstract:
It is well known that an $N$-parameter $d$-dimensional Brownian sheet has no $k$-multiple points when $(k-1)d>2kN$, and does have such points when $(k-1)d<2kN$. We complete the study of the existence of $k$-multiple points by showing that in the critical cases where $(k-1)d=2kN$, there are a.s. no $k$-multiple points.
It is well known that an $N$-parameter $d$-dimensional Brownian sheet has no $k$-multiple points when $(k-1)d>2kN$, and does have such points when $(k-1)d<2kN$. We complete the study of the existence of $k$-multiple points by showing that in the critical cases where $(k-1)d=2kN$, there are a.s. no $k$-multiple points.
△ Less
Submitted 9 September, 2015; v1 submitted 2 March, 2013;
originally announced March 2013.
-
Variable Metric Random Pursuit
Authors:
Sebastian U. Stich,
Christian L. Müller,
Bernd Gärtner
Abstract:
We consider unconstrained randomized optimization of smooth convex objective functions in the gradient-free setting. We analyze Random Pursuit (RP) algorithms with fixed (F-RP) and variable metric (V-RP). The algorithms only use zeroth-order information about the objective function and compute an approximate solution by repeated optimization over randomly chosen one-dimensional subspaces. The dist…
▽ More
We consider unconstrained randomized optimization of smooth convex objective functions in the gradient-free setting. We analyze Random Pursuit (RP) algorithms with fixed (F-RP) and variable metric (V-RP). The algorithms only use zeroth-order information about the objective function and compute an approximate solution by repeated optimization over randomly chosen one-dimensional subspaces. The distribution of search directions is dictated by the chosen metric.
Variable Metric RP uses novel variants of a randomized zeroth-order Hessian approximation scheme recently introduced by Leventhal and Lewis (D. Leventhal and A. S. Lewis., Optimization 60(3), 329--245, 2011). We here present (i) a refined analysis of the expected single step progress of RP algorithms and their global convergence on (strictly) convex functions and (ii) novel convergence bounds for V-RP on strongly convex functions. We also quantify how well the employed metric needs to match the local geometry of the function in order for the RP algorithms to converge with the best possible rate.
Our theoretical results are accompanied by numerical experiments, comparing V-RP with the derivative-free schemes CMA-ES, Implicit Filtering, Nelder-Mead, NEWUOA, Pattern-Search and Nesterov's gradient-free algorithms.
△ Less
Submitted 30 September, 2014; v1 submitted 18 October, 2012;
originally announced October 2012.
-
Strict linear prices in non-convex European day-ahead electricity markets
Authors:
Alexander Martin,
Johannes C. Müller,
Sebastian Pokutta
Abstract:
The European power grid can be divided into several market areas where the price of electricity is determined in a day-ahead auction. Market participants can provide continuous hourly bid curves and combinatorial bids with associated quantities given the prices. The goal of our auction is to maximize the economic surplus of all participants subject to quantity constraints and price constraints. Th…
▽ More
The European power grid can be divided into several market areas where the price of electricity is determined in a day-ahead auction. Market participants can provide continuous hourly bid curves and combinatorial bids with associated quantities given the prices. The goal of our auction is to maximize the economic surplus of all participants subject to quantity constraints and price constraints. The price constraints ensure that no one incurs a loss. Only traders who submitted a combinatorial bid might miss a not-realized profit. The resulting problem is a large scale mathematical program with equilibrium constraints (MPEC) and binary variables that cannot be solved efficiently by standard solvers. We present an exact algorithm and a fast heuristic for this type of problem. Both algorithms decompose the MPEC into a master problem (a MIQP) and pricing subproblems (LPs). The modeling technique and the algorithms are applicable to a wide variety of combinatorial auctions that are based on mixed integer programs.
△ Less
Submitted 27 February, 2015; v1 submitted 19 March, 2012;
originally announced March 2012.
-
Nonuniqueness for a parabolic SPDE with $\frac{3}{4}-\varepsilon$-Hölder diffusion coefficients
Authors:
Carl Mueller,
Leonid Mytnik,
Edwin Perkins
Abstract:
Motivated by Girsanov's nonuniqueness examples for SDEs, we prove nonuniqueness for the parabolic stochastic partial differential equation (SPDE) \[\frac{\partial u}{\partial t}=\fracΔ{2}u(t,x) +\bigl|u(t,x)\bigr|^γ\dot{W}(t,x),\qquad u(0,x)=0.\] Here $\dot{W}$ is a space-time white noise on ${\mathbb {R}}_+\times {\mathbb {R}}$. More precisely, we show the above stochastic PDE has a nonzero solut…
▽ More
Motivated by Girsanov's nonuniqueness examples for SDEs, we prove nonuniqueness for the parabolic stochastic partial differential equation (SPDE) \[\frac{\partial u}{\partial t}=\fracΔ{2}u(t,x) +\bigl|u(t,x)\bigr|^γ\dot{W}(t,x),\qquad u(0,x)=0.\] Here $\dot{W}$ is a space-time white noise on ${\mathbb {R}}_+\times {\mathbb {R}}$. More precisely, we show the above stochastic PDE has a nonzero solution for $0<γ<3/4$. Since $u(t,x)=0$ solves the equation, it follows that solutions are neither unique in law nor pathwise unique. An analogue of Yamada-Watanabe's famous theorem for SDEs was recently shown in Mytnik and Perkins [Probab. Theory Related Fields 149 (2011) 1-96] for SPDE's by establishing pathwise uniqueness of solutions to \[\frac{\partial u}{\partial t}=\fracΔ{2}u(t,x)+σ\bigl(u(t,x)\bigr)\dot{W}(t,x)\] if $σ$ is Hölder continuous of index $γ>3/4$. Hence our examples show this result is essentially sharp. The situation for the above class of parabolic SPDE's is therefore similar to their finite dimensional counterparts, but with the index $3/4$ in place of $1/2$. The case $γ=1/2$ of the first equation above is particularly interesting as it arises as the scaling limit of the signed mass for a system of annihilating critical branching random walks.
△ Less
Submitted 3 September, 2014; v1 submitted 13 January, 2012;
originally announced January 2012.