-
Random Growth via Gradient Flow Aggregation
Authors:
Stefan Steinerberger
Abstract:
We introduce Gradient Flow Aggregation (GFA), a random growth model. Given a set of existing particles $\left\{x_1, \dots, x_n\right\} \subset \mathbb{R}^2$, a new particle arrives from a random direction at $\infty$ and flows in direction $\nabla E$ where $$ E(x) = \sum_{i=1}^{n} \frac{1}{\|x-x_i\|^α} \qquad \mbox{where} ~0 < α< \infty.$$ The case $α= 0$ will refer to the logarithmic energy…
▽ More
We introduce Gradient Flow Aggregation (GFA), a random growth model. Given a set of existing particles $\left\{x_1, \dots, x_n\right\} \subset \mathbb{R}^2$, a new particle arrives from a random direction at $\infty$ and flows in direction $\nabla E$ where $$ E(x) = \sum_{i=1}^{n} \frac{1}{\|x-x_i\|^α} \qquad \mbox{where} ~0 < α< \infty.$$ The case $α= 0$ will refer to the logarithmic energy $- \sum\log \|x-x_i\|$. Particles stop once they are at distance 1 of one of the existing particles at which point they are added to the set and remain fixed for all time. We prove, under a non-degeneracy assumption, a Beurling-type estimate which, via Kesten's method, can be used to deduce sub-ballistic growth for $0 \leq α< 1$ $$\mbox{diam}(\left\{x_1, \dots, x_n\right\}) \leq c_α \cdot n^{\frac{3 α+1}{2α+ 2}}.$$ This is optimal when $α=0$. The case $α= 0$ leads to a `round' full-dimensional tree. The larger the value of $α$ the sparser the tree. Some instances of the higher-dimensional setting are also discussed.
△ Less
Submitted 25 September, 2023;
originally announced September 2023.
-
From pinned billiard balls to partial differential equations
Authors:
Krzysztof Burdzy,
Jeremy G. Hoskins,
Stefan Steinerberger
Abstract:
We discuss the propagation of kinetic energy through billiard balls fixed in place along a one-dimensional segment. The number of billiard balls is assumed to be large but finite and we assume kinetic energy propagates following the usual collision laws of physics. Assuming an underlying stochastic mean-field for the expectation and the variance of the kinetic energy, we derive a coupled system of…
▽ More
We discuss the propagation of kinetic energy through billiard balls fixed in place along a one-dimensional segment. The number of billiard balls is assumed to be large but finite and we assume kinetic energy propagates following the usual collision laws of physics. Assuming an underlying stochastic mean-field for the expectation and the variance of the kinetic energy, we derive a coupled system of nonlinear partial differential equations assuming a stochastic energy re-distribution procedure. The system of PDEs has a number of interesting dynamical properties some of which are numerically simulated.
△ Less
Submitted 16 August, 2024; v1 submitted 3 September, 2022;
originally announced September 2022.
-
A variational principle for Gaussian lattice sums
Authors:
Laurent Bétermin,
Markus Faulhuber,
Stefan Steinerberger
Abstract:
We consider a two-dimensional analogue of Jacobi theta functions and prove that, among all lattices $Λ\subset \mathbb{R}^2$ with fixed density, the minimal value is maximized by the hexagonal lattice. This result can be interpreted as the dual of a 1988 result of Montgomery who proved that the hexagonal lattice minimizes the maximal values. Our inequality resolves a conjecture of Strohmer and Beav…
▽ More
We consider a two-dimensional analogue of Jacobi theta functions and prove that, among all lattices $Λ\subset \mathbb{R}^2$ with fixed density, the minimal value is maximized by the hexagonal lattice. This result can be interpreted as the dual of a 1988 result of Montgomery who proved that the hexagonal lattice minimizes the maximal values. Our inequality resolves a conjecture of Strohmer and Beaver about the operator norm of a certain type of frame in $L^2(\mathbb{R})$. It has implications for minimal energies of ionic crystals studied by Born, the geometry of completely monotone functions and a connection to the elusive Landau constant.
△ Less
Submitted 12 October, 2021;
originally announced October 2021.
-
Effective Bounds for the Decay of Schrödinger Eigenfunctions and Agmon bubbles
Authors:
Stefan Steinerberger
Abstract:
We study solutions of $-Δu + V u = λu$ on $\mathbb{R}^n$. Such solutions localize in the `allowed' region $\left\{x \in \mathbb{R}^n: V(x) \leq λ\right\}$ and decay exponentially in the `forbidden' region $\left\{x \in \mathbb{R}^n: V(x) > λ\right\}$. One way of making this precise is Agmon's inequality implying decay estimates in terms of the Agmon metric. We prove a complementary decay estimate…
▽ More
We study solutions of $-Δu + V u = λu$ on $\mathbb{R}^n$. Such solutions localize in the `allowed' region $\left\{x \in \mathbb{R}^n: V(x) \leq λ\right\}$ and decay exponentially in the `forbidden' region $\left\{x \in \mathbb{R}^n: V(x) > λ\right\}$. One way of making this precise is Agmon's inequality implying decay estimates in terms of the Agmon metric. We prove a complementary decay estimate in terms of harmonic measure which can improve on Agmon's estimate, connect the Agmon metric to decay of harmonic measure and prove a sharp pointwise Agmon estimate.
△ Less
Submitted 3 October, 2021;
originally announced October 2021.
-
A Nonlocal Transport Equation Modeling Complex Roots of Polynomials under Differentiation
Authors:
Sean O'Rourke,
Stefan Steinerberger
Abstract:
Let $p_n:\mathbb{C} \rightarrow \mathbb{C}$ be a random complex polynomial whose roots are sampled i.i.d. from a radial distribution $u(r) r dr$ in the complex plane. A natural question is how the distribution of roots evolves under repeated (say $n/2-$times) differentiation of the polynomial. We conjecture a mean-field expansion for the evolution of $ψ(s) = u(s) s$…
▽ More
Let $p_n:\mathbb{C} \rightarrow \mathbb{C}$ be a random complex polynomial whose roots are sampled i.i.d. from a radial distribution $u(r) r dr$ in the complex plane. A natural question is how the distribution of roots evolves under repeated (say $n/2-$times) differentiation of the polynomial. We conjecture a mean-field expansion for the evolution of $ψ(s) = u(s) s$ $$ \frac{\partial ψ}{\partial t} = \frac{\partial}{\partial x} \left( \left( \frac{1}{x} \int_{0}^{x} ψ(s) ds \right)^{-1} ψ(x) \right).$$ The evolution of $ψ(s) \equiv 1$ corresponds to the evolution of random Taylor polynomials $$ p_n(z) = \sum_{k=0}^{n}{ γ_k \frac{z^k}{k!}} \quad \mbox{where} \quad γ_k \sim \mathcal{N}_{\mathbb{C}}(0,1).$$ We discuss some numerical examples suggesting that this particular solution may be stable. We prove that the solution is linearly stable. The linear stability analysis reduces to the classical Hardy integral inequality. Many open problems are discussed.
△ Less
Submitted 7 August, 2020; v1 submitted 26 October, 2019;
originally announced October 2019.
-
A Wasserstein Inequality and Minimal Green Energy on Compact Manifolds
Authors:
Stefan Steinerberger
Abstract:
Let $M$ be a smooth, compact $d-$dimensional manifold, $d \geq 3,$ without boundary and let $G: M \times M \rightarrow \mathbb{R} \cup \left\{\infty\right\}$ denote the Green's function of the Laplacian $-Δ$ (normalized to have mean value 0). We prove a bound on the cost of transporting Dirac measures in $\left\{x_1, \dots, x_n\right\} \subset M$ to the normalized volume measure $dx$ in terms of t…
▽ More
Let $M$ be a smooth, compact $d-$dimensional manifold, $d \geq 3,$ without boundary and let $G: M \times M \rightarrow \mathbb{R} \cup \left\{\infty\right\}$ denote the Green's function of the Laplacian $-Δ$ (normalized to have mean value 0). We prove a bound on the cost of transporting Dirac measures in $\left\{x_1, \dots, x_n\right\} \subset M$ to the normalized volume measure $dx$ in terms of the Green's function of the Laplacian $$ W_2\left( \frac{1}{n} \sum_{k=1}^{n}{δ_{x_k}}, dx\right) \lesssim_M \frac{1}{n^{1/d}} + \frac{1}{n} \left| \sum_{k, \ell=1 \atop k \neq \ell}^{n}G(x_k, x_{\ell})\right|^{1/2}.$$ We obtain the same result for the Coulomb kernel $G(x,y) = 1/\|x-y\|^{d-2}$ on the sphere $\mathbb{S}^d$, for $d \geq 3$, where we show that $$ W_2\left(\frac{1}{n} \sum_{k=1}^{n}{ δ_{x_k}}, dx\right) \lesssim \frac{1}{n^{1/d}} + \frac{1}{n} \left| \sum_{k, \ell=1 \atop k \neq \ell}^{n}{\left(\frac{1}{\|x_k - x_{\ell}\|^{d-2}} - c_d \right)} \right|^{\frac{1}{2}},$$ where $c_d$ is the constant that normalizes the Coulomb kernel to have mean value 0. We use this to show that minimizers of the discrete Green energy on compact manifolds have optimal rate of convergence $W_2\left( \frac{1}{n} \sum_{k=1}^{n}{δ_{x_k}}, dx\right) \lesssim n^{-1/d}$. The second inequality implies the same result for minimizers of the Coulomb energy on $\mathbb{S}^d$ which was recently proven by Marzo & Mas.
△ Less
Submitted 21 July, 2019;
originally announced July 2019.
-
An Extremal Property of the Hexagonal Lattice
Authors:
Markus Faulhuber,
Stefan Steinerberger
Abstract:
We describe an extremal property of the hexagonal lattice $Λ\subset \mathbb{R}^2$. Let $p$ denote the circumcenter of its fundamental triangle (a so-called deep hole) and let $A_r$ denote the set of lattice points that are at distance $r$ from $p$ \begin{equation}
A_r = \left\{ λ\in Λ: \| λ- p \| = r\right\}. \end{equation} If $Γ$ is a small perturbation of $Λ$ in the space of lattices with fixe…
▽ More
We describe an extremal property of the hexagonal lattice $Λ\subset \mathbb{R}^2$. Let $p$ denote the circumcenter of its fundamental triangle (a so-called deep hole) and let $A_r$ denote the set of lattice points that are at distance $r$ from $p$ \begin{equation}
A_r = \left\{ λ\in Λ: \| λ- p \| = r\right\}. \end{equation} If $Γ$ is a small perturbation of $Λ$ in the space of lattices with fixed density and $C_r$ denotes the set of points in $A_r$ shifted to the new lattice, then \begin{equation}
\sum_{μ\in C_r}{ \| p - μ\|} - \sum_{λ\in A_r}{ \| p - λ\|} \gtrsim r \, |A_r| \, d(Λ, Γ)^2, \end{equation} where $d(Λ, Γ)$ denotes the distance between the lattices: the hexagonal lattice has the property that `far away points are closer than they are for nearby lattices'. This has implications in the calculus of variations: assume \begin{equation}
g_Γ(z) = \sum_{γ\in Γ} f( \|z - γ\|) \quad \mbox{ satisfies } \quad \min_{z \in \mathbb{R}^2} g_Λ(z) = g_Λ(p). \end{equation} For a certain class of compactly supported functions $f$, the hexagonal lattice $Λ$ is then a strict local maximizer of \begin{equation}
\max_Γ \min_{z \in \mathbb{R}^2} \sum_{γ\in Γ}{f( \|z - γ\| )}, \end{equation} where the maximum runs over all lattices of fixed density.
△ Less
Submitted 15 March, 2019;
originally announced March 2019.
-
A Universality Law For Sign Correlations of Eigenfunctions of Differential Operators
Authors:
Felipe Gonçalves,
Diogo Oliveira e Silva,
Stefan Steinerberger
Abstract:
We establish a universality law for sequences of functions $\{w_n\}_{n \in \mathbb{N}}$ satisfying a form of WKB approximation on compact intervals. This includes eigenfunctions of generic Schrödinger operators, as well as Laguerre and Chebyshev polynomials. Given two distinct points $x, y \in \mathbb{R}$, we ask how often do $w_n(x)$ and $w_n(y)$ have the same sign. Asymptotically, one would expe…
▽ More
We establish a universality law for sequences of functions $\{w_n\}_{n \in \mathbb{N}}$ satisfying a form of WKB approximation on compact intervals. This includes eigenfunctions of generic Schrödinger operators, as well as Laguerre and Chebyshev polynomials. Given two distinct points $x, y \in \mathbb{R}$, we ask how often do $w_n(x)$ and $w_n(y)$ have the same sign. Asymptotically, one would expect this to be true half the time, but this turns out to not always be the case. Under certain natural assumptions, we prove that, for all $x \neq y$, $$ \frac{1}{3} \leq \lim_{N \to \infty} \frac{1}{N} \# \left\{0 \leq n < N: \mathrm{sgn}(w_n(x)) = \mathrm{sgn}(w_n(y)) \right\} \leq \frac{2}{3}, $$ and that these bounds are optimal, and can be attained. Our methods extend to other questions of similar flavor and we also discuss a number of open problems.
△ Less
Submitted 15 March, 2019;
originally announced March 2019.
-
Localization of Neumann Eigenfunctions near Irregular Boundaries
Authors:
Peter W. Jones,
Stefan Steinerberger
Abstract:
It has been empirically observed that eigenfunctions of Laplace's equation $-Δφ= λφ$ with Neumann boundary conditions sometimes localize near the boundary of the domain if that boundary is rough (say, fractal). This has some nontrivial implications in acoustics that has been put to real-life use (sound attenuation by noise-protective walls); this short paper describes the mathematical mechanism re…
▽ More
It has been empirically observed that eigenfunctions of Laplace's equation $-Δφ= λφ$ with Neumann boundary conditions sometimes localize near the boundary of the domain if that boundary is rough (say, fractal). This has some nontrivial implications in acoustics that has been put to real-life use (sound attenuation by noise-protective walls); this short paper describes the mathematical mechanism responsible for this and describes the quantitative strength of the phenomenon for some examples.
△ Less
Submitted 4 September, 2018;
originally announced September 2018.
-
A Local Faber-Krahn inequality and Applications to Schrödinger's Equation
Authors:
Janna Lierl,
Stefan Steinerberger
Abstract:
We prove a local Faber-Krahn inequality for solutions $u$ to the Dirichlet problem for $Δ+ V$ on an arbitrary domain $Ω$ in $\mathbb{R}^n$. Suppose a solution $u$ assumes a global maximum at some point $x_0 \in Ω$ and $u(x_0)>0$. Let $T(x_0)$ be the smallest time at which a Brownian motion, started at $x_0$, has exited the domain $Ω$ with probability $\ge 1/2$. For nice (e.g., convex) domains,…
▽ More
We prove a local Faber-Krahn inequality for solutions $u$ to the Dirichlet problem for $Δ+ V$ on an arbitrary domain $Ω$ in $\mathbb{R}^n$. Suppose a solution $u$ assumes a global maximum at some point $x_0 \in Ω$ and $u(x_0)>0$. Let $T(x_0)$ be the smallest time at which a Brownian motion, started at $x_0$, has exited the domain $Ω$ with probability $\ge 1/2$. For nice (e.g., convex) domains, $T(x_0) \asymp d(x_0,\partialΩ)^2$ but we make no assumption on the geometry of the domain. Our main result is that there exists a ball $B$ of radius $\asymp T(x_0)^{1/2}$ such that $$ \| V \|_{L^{\frac{n}{2}, 1}(Ω\cap B)} \ge c_n > 0, $$ provided that $n \ge 3$. In the case $n = 2$, the above estimate fails and we obtain a substitute result. The Laplacian may be replaced by a uniformly elliptic operator in divergence form. This result both unifies and strenghtens a series of earlier results.
△ Less
Submitted 20 November, 2017;
originally announced November 2017.
-
Riesz Energy on the Torus: Regularity of Minimizers
Authors:
Jianfeng Lu,
Stefan Steinerberger
Abstract:
We study sets of $N$ points on the $d-$dimensional torus $\mathbb{T}^d$ minimizing interaction functionals of the type \[ \sum_{i, j =1 \atop i \neq j}^{N}{ f(x_i - x_j)}. \] The main result states that for a class of functions $f$ that behave like Riesz energies $f(x) \sim \|x\|^{-s}$ for $0< s < d$, the minimizing configuration of points has optimal regularity w.r.t. a Fourier-analytic regularit…
▽ More
We study sets of $N$ points on the $d-$dimensional torus $\mathbb{T}^d$ minimizing interaction functionals of the type \[ \sum_{i, j =1 \atop i \neq j}^{N}{ f(x_i - x_j)}. \] The main result states that for a class of functions $f$ that behave like Riesz energies $f(x) \sim \|x\|^{-s}$ for $0< s < d$, the minimizing configuration of points has optimal regularity w.r.t. a Fourier-analytic regularity measure that arises in the study of irregularities of distribution. A particular consequence is that they are optimal quadrature points in the space of trigonometric polynomials up to a certain degree. The proof extends to other settings and also covers less singular functions such as $f(x) = \exp\bigl(- N^{\frac{2}{d}} \|x\|^2 \bigr)$.
△ Less
Submitted 23 February, 2018; v1 submitted 22 October, 2017;
originally announced October 2017.
-
Detecting localized eigenstates of linear operators
Authors:
Jianfeng Lu,
Stefan Steinerberger
Abstract:
We describe a way of detecting the location of localized eigenvectors of a linear system $Ax = λx$ for eigenvalues $λ$ with $|λ|$ comparatively large. We define the family of functions $f_α: \left\{1.2. \dots, n\right\} \rightarrow \mathbb{R}_{}$ $$ f_α(k) = \log \left( \| A^α e_k \|_{\ell^2} \right),$$ where $α\geq 0$ is a parameter and $e_k = (0,0,\dots, 0,1,0, \dots, 0)$ is the $k-$th standard…
▽ More
We describe a way of detecting the location of localized eigenvectors of a linear system $Ax = λx$ for eigenvalues $λ$ with $|λ|$ comparatively large. We define the family of functions $f_α: \left\{1.2. \dots, n\right\} \rightarrow \mathbb{R}_{}$ $$ f_α(k) = \log \left( \| A^α e_k \|_{\ell^2} \right),$$ where $α\geq 0$ is a parameter and $e_k = (0,0,\dots, 0,1,0, \dots, 0)$ is the $k-$th standard basis vector. We prove that eigenvectors associated to eigenvalues with large absolute value localize around local maxima of $f_α$: the metastable states in the power iteration method (slowing down its convergence) can be used to predict localization. We present a fast randomized algorithm and discuss different examples: a random band matrix, discretizations of the local operator $-Δ+ V$ and the nonlocal operator $(-Δ)^{3/4} + V$.
△ Less
Submitted 16 March, 2018; v1 submitted 11 September, 2017;
originally announced September 2017.
-
Exponential Sums and Riesz energies
Authors:
Stefan Steinerberger
Abstract:
We bound an exponential sum that appears in the study of irregularities of distribution (the low-frequency Fourier energy of the sum of several Dirac measures) by geometric quantities: a special case is that for all $\left\{ x_1, \dots, x_N\right\} \subset \mathbb{T}^2$, $X \geq 1$ and a universal $c>0$…
▽ More
We bound an exponential sum that appears in the study of irregularities of distribution (the low-frequency Fourier energy of the sum of several Dirac measures) by geometric quantities: a special case is that for all $\left\{ x_1, \dots, x_N\right\} \subset \mathbb{T}^2$, $X \geq 1$ and a universal $c>0$ $$ \sum_{i,j=1}^{N}{ \frac{X^2}{1 + X^4 \|x_i -x_j\|^4}} \lesssim \sum_{k \in \mathbb{Z}^2 \atop \|k\| \leq X}{ \left| \sum_{n=1}^{N}{ e^{2 πi \left\langle k, x_n \right\rangle}}\right|^2} \lesssim \sum_{i,j=1}^{N}{ X^2 e^{-c X^2\|x_i -x_j\|^2}}.$$ Since this exponential sum is intimately tied to rather subtle distribution properties of the points, we obtain nonlocal structural statements for near-minimizers of the Riesz-type energy. In the regime $X \gtrsim N^{1/2}$ both upper and lower bound match for maximally-separated point sets satisfying $\|x_i -x_j\| \gtrsim N^{-1/2}$.
△ Less
Submitted 3 September, 2017; v1 submitted 18 July, 2017;
originally announced July 2017.
-
The Geometry of Nodal Sets and Outlier Detection
Authors:
Xiuyuan Cheng,
Gal Mishne,
Stefan Steinerberger
Abstract:
Let $(M,g)$ be a compact manifold and let $-Δφ_k = λ_k φ_k$ be the sequence of Laplacian eigenfunctions. We present a curious new phenomenon which, so far, we only managed to understand in a few highly specialized cases: the family of functions $f_N:M \rightarrow \mathbb{R}_{\geq 0}$ $$ f_N(x) = \sum_{k \leq N}{ \frac{1}{\sqrt{λ_k}} \frac{|φ_k(x)|}{\|φ_k\|_{L^{\infty}(M)}}}$$ seems strangely suite…
▽ More
Let $(M,g)$ be a compact manifold and let $-Δφ_k = λ_k φ_k$ be the sequence of Laplacian eigenfunctions. We present a curious new phenomenon which, so far, we only managed to understand in a few highly specialized cases: the family of functions $f_N:M \rightarrow \mathbb{R}_{\geq 0}$ $$ f_N(x) = \sum_{k \leq N}{ \frac{1}{\sqrt{λ_k}} \frac{|φ_k(x)|}{\|φ_k\|_{L^{\infty}(M)}}}$$ seems strangely suited for the detection of anomalous points on the manifold. It may be heuristically interpreted as the sum over distances to the nearest nodal line and potentially hints at a new phenomenon in spectral geometry. We give rigorous statements on the unit square $[0,1]^2$ (where minima localize in $\mathbb{Q}^2$) and on Paley graphs (where $f_N$ recovers the geometry of quadratic residues of the underlying finite field $\mathbb{F}_p$). Numerical examples show that the phenomenon seems to arise on fairly generic manifolds.
△ Less
Submitted 5 June, 2017;
originally announced June 2017.
-
Topological Bounds for Fourier Coefficients and Applications to Torsion
Authors:
Stefan Steinerberger
Abstract:
Let $Ω\subset \mathbb{R}^2$ be a bounded convex domain in the plane and consider \begin{align*}
-Δu &=1 \qquad \mbox{in}~Ω\\ u &= 0 \qquad \mbox{on}~\partial Ω. \end{align*} If $u$ assumes its maximum in $x_0 \in Ω$, then the eccentricity of level sets close to the maximum is determined by the Hessian $D^2u(x_0)$. We prove that $D^2u(x_0)$ is negative definite and give a quantitative bound on th…
▽ More
Let $Ω\subset \mathbb{R}^2$ be a bounded convex domain in the plane and consider \begin{align*}
-Δu &=1 \qquad \mbox{in}~Ω\\ u &= 0 \qquad \mbox{on}~\partial Ω. \end{align*} If $u$ assumes its maximum in $x_0 \in Ω$, then the eccentricity of level sets close to the maximum is determined by the Hessian $D^2u(x_0)$. We prove that $D^2u(x_0)$ is negative definite and give a quantitative bound on the spectral gap $$ λ_{\max}\left(D^2u(x_0)\right) \leq - c_1\exp\left( -c_2\frac{diam(Ω)}{inrad(Ω)} \right)$$ for universal $c_1, c_2$ This is sharp up to constants. The proof is based on a new lower bound for Fourier coefficients whose proof has a topological component: if $f:\mathbb{T} \rightarrow \mathbb{R}$ is continuous and has $n$ sign changes, then $$ \sum_{k=0}^{n/2}{ \left| \left\langle f, \sin{kx} \right\rangle \right| + \left| \left\langle f, \cos{kx} \right\rangle \right| } \gtrsim_n \frac{ | f\|^{n+1}_{L^1(\mathbb{T})}}{ \| f\|^{n }_{L^{\infty}(\mathbb{T})}}.$$ This statement immediately implies estimates on higher derivatives of harmonic functions $u$ in the unit ball: if $u$ is very flat in the origin, then the boundary function $u(\cos{t}, \sin{t}):\mathbb{T} \rightarrow \mathbb{R}$ has to have either large amplitude or many roots. It also implies that the solution of the heat equation starting with $f:\mathbb{T} \rightarrow \mathbb{R}$ cannot decay faster than $\sim\exp(-(\# \mbox{sign changes})^2 t/4)$.
△ Less
Submitted 9 October, 2017; v1 submitted 7 May, 2017;
originally announced May 2017.
-
A Spectral Gap Estimate and Applications
Authors:
Bogdan Georgiev,
Mayukh Mukherjee,
Stefan Steinerberger
Abstract:
We consider the Schrödinger operator $$-\frac{d^2}{d x^2} + V \qquad \mbox{on an interval}~~[a,b]~\mbox{with Dirichlet boundary conditions},$$ where $V$ is bounded from below and prove a lower bound on the first eigenvalue $λ_1$ in terms of sublevel estimates: if $ w_V(y) = |I_y|,\text{ where } I_y := \left\{ x \in [a,b]: V(x) \leq y \right\},$ then…
▽ More
We consider the Schrödinger operator $$-\frac{d^2}{d x^2} + V \qquad \mbox{on an interval}~~[a,b]~\mbox{with Dirichlet boundary conditions},$$ where $V$ is bounded from below and prove a lower bound on the first eigenvalue $λ_1$ in terms of sublevel estimates: if $ w_V(y) = |I_y|,\text{ where } I_y := \left\{ x \in [a,b]: V(x) \leq y \right\},$ then $$ λ_1 \geq \frac{1}{250} \min_{y > \min V}{\left(\frac{1}{w_V(y)^2} + y\right)}.$$ The result is sharp up to a universal constant if $\left\{ x \in [a,b]: V(x) \leq y \right\}$ is an interval for the value of $y$ solving the minimization problem. An immediate application is as follows: let $Ω\subset \mathbb{R}^2$ be a convex domain with inradius $ρ$ and diameter $D$ and let $u:Ω\rightarrow \mathbb{R}$ be the first eigenfunction of the Laplacian $-Δ$ on $Ω$ with Dirichlet boundary conditions on $\partial Ω$. We prove $$ \| u \|_{L^{\infty}} \lesssim \frac{1}{ρ^{}} \left( \fracρ{D} \right)^{1/6} \|u\|_{L^2},$$ which answers a question of van den Berg in the special case of two dimensions.
△ Less
Submitted 2 February, 2017; v1 submitted 27 December, 2016;
originally announced December 2016.
-
A Variation on the Donsker-Varadhan Inequality for the Principial Eigenvalue
Authors:
Jianfeng Lu,
Stefan Steinerberger
Abstract:
The purpose of this short note is to give a variation on the classical Donsker-Varadhan inequality, which bounds the first eigenvalue of a second-order elliptic operator on a bounded domain $Ω$ by the largest mean first exit time of the associated drift-diffusion process via $$λ_1 \geq \frac{1}{\sup_{x \in Ω} \mathbb{E}_x τ_{Ω^c}}.$$ Instead of looking at the mean of the first exit time, we study…
▽ More
The purpose of this short note is to give a variation on the classical Donsker-Varadhan inequality, which bounds the first eigenvalue of a second-order elliptic operator on a bounded domain $Ω$ by the largest mean first exit time of the associated drift-diffusion process via $$λ_1 \geq \frac{1}{\sup_{x \in Ω} \mathbb{E}_x τ_{Ω^c}}.$$ Instead of looking at the mean of the first exit time, we study quantiles: let $d_{p, \partial Ω}:Ω\rightarrow \mathbb{R}_{\geq 0}$ be the smallest time $t$ such that the likelihood of exiting within that time is $p$, then $$λ_1 \geq \frac{\log{(1/p)}}{\sup_{x \in Ω} d_{p,\partial Ω}(x)}.$$ Moreover, as $p \rightarrow 0$, this lower bound converges to $λ_1$.
△ Less
Submitted 17 July, 2017; v1 submitted 28 November, 2016;
originally announced November 2016.
-
On the Diffusion Geometry of Graph Laplacians and Applications
Authors:
Xiuyuan Cheng,
Manas Rachh,
Stefan Steinerberger
Abstract:
We study directed, weighted graphs $G=(V,E)$ and consider the (not necessarily symmetric) averaging operator $$ (\mathcal{L}u)(i) = -\sum_{j \sim_{} i}{p_{ij} (u(j) - u(i))},$$ where $p_{ij}$ are normalized edge weights. Given a vertex $i \in V$, we define the diffusion distance to a set $B \subset V$ as the smallest number of steps $d_{B}(i) \in \mathbb{N}$ required for half of all random walks s…
▽ More
We study directed, weighted graphs $G=(V,E)$ and consider the (not necessarily symmetric) averaging operator $$ (\mathcal{L}u)(i) = -\sum_{j \sim_{} i}{p_{ij} (u(j) - u(i))},$$ where $p_{ij}$ are normalized edge weights. Given a vertex $i \in V$, we define the diffusion distance to a set $B \subset V$ as the smallest number of steps $d_{B}(i) \in \mathbb{N}$ required for half of all random walks started in $i$ and moving randomly with respect to the weights $p_{ij}$ to visit $B$ within $d_{B}(i)$ steps. Our main result is that the eigenfunctions interact nicely with this notion of distance. In particular, if $u$ satisfies $\mathcal{L}u = λu$ on $V$ and $$ B = \left\{ i \in V: - \varepsilon \leq u(i) \leq \varepsilon \right\} \neq \emptyset,$$ then, for all $i \in V$, $$ d_{B}(i) \log{\left( \frac{1}{|1-λ|} \right) } \geq \log{\left( \frac{ |u(i)| }{\|u\|_{L^{\infty}}} \right)} - \log{\left(\frac{1}{2} + \varepsilon\right)}.$$ $d_B(i)$ is a remarkably good approximation of $|u|$ in the sense of having very high correlation. The result implies that the classical one-dimensional spectral embedding preserves particular aspects of geometry in the presence of clustered data. We also give a continuous variant of the result which has a connection to the hot spots conjecture.
△ Less
Submitted 9 November, 2016;
originally announced November 2016.
-
On the location of maximal of solutions of Schrödinger's equation
Authors:
Manas Rachh,
Stefan Steinerberger
Abstract:
We prove an inequality with applications to solutions of the Schrödinger equation. There is a universal constant $c>0$, such that if $Ω\subset \mathbb{R}^2$ is simply connected, $u:Ω\rightarrow \mathbb{R}$ vanishes on the boundary $\partial Ω$, and $|u|$ assumes a maximum in $x_0 \in Ω$, then $$ \inf_{y \in \partial Ω}{ \| x_0 - y\|} \geq c \left\| \frac{Δu}{u} \right\|^{-1/2}_{L^{\infty}(Ω)}.$$ I…
▽ More
We prove an inequality with applications to solutions of the Schrödinger equation. There is a universal constant $c>0$, such that if $Ω\subset \mathbb{R}^2$ is simply connected, $u:Ω\rightarrow \mathbb{R}$ vanishes on the boundary $\partial Ω$, and $|u|$ assumes a maximum in $x_0 \in Ω$, then $$ \inf_{y \in \partial Ω}{ \| x_0 - y\|} \geq c \left\| \frac{Δu}{u} \right\|^{-1/2}_{L^{\infty}(Ω)}.$$ It was conjectured by Pólya \& Szegő (and proven, independently, by Makai and Hayman) that a membrane vibrating at frequency $λ$ contains a disk of size $\sim λ^{-1/2}$. Our inequality implies a refined result: the point on the membrane that achieves the maximal amplitude is at distance $\sim λ^{-1/2}$ from the boundary. We also give an extension to higher dimensions (generalizing results of Lieb and Georgiev \& Mukherjee): if $u$ solves $-Δu = Vu$ on $Ω\subset \mathbb{R}^n$ with Dirichlet boundary conditions, then the ball $B$ with radius $\sim \|V\|_{L^{\infty}(Ω)}^{-1/2}$ centered at the point in which $|u|$ assumes a maximum is almost fully contained in $Ω$ in the sense that $|B \cap Ω| \geq 0.99 |B|.$
△ Less
Submitted 1 January, 2017; v1 submitted 23 August, 2016;
originally announced August 2016.
-
Localization of Quantum States and Landscape Functions
Authors:
Stefan Steinerberger
Abstract:
Eigenfunctions in inhomogeneous media can have strong localization properties. Filoche \& Mayboroda showed that the function $u$ solving $(-Δ+ V)u = 1$ controls the behavior of eigenfunctions $(-Δ+ V)φ= λφ$ via the inequality $$|φ(x)| \leq λu(x) \|φ\|_{L^{\infty}}.$$ This inequality has proven to be remarkably effective in predicting localization and recently Arnold, David, Jerison, Mayboroda \& F…
▽ More
Eigenfunctions in inhomogeneous media can have strong localization properties. Filoche \& Mayboroda showed that the function $u$ solving $(-Δ+ V)u = 1$ controls the behavior of eigenfunctions $(-Δ+ V)φ= λφ$ via the inequality $$|φ(x)| \leq λu(x) \|φ\|_{L^{\infty}}.$$ This inequality has proven to be remarkably effective in predicting localization and recently Arnold, David, Jerison, Mayboroda \& Filoche connected $1/u$ to decay properties of eigenfunctions. We aim to clarify properties of the landscape: the main ingredient is a localized variation estimate obtained from writing $φ(x)$ as an average over Brownian motion $ω(\cdot)$ in started in $x$ $$φ(x) = \mathbb{E}_{x}\left(φ(ω(t)) e^{λt-\int_{0}^{t}{V(ω(z))dz}} \right).$$ This variation estimate will guarantee that $φ$ has to change at least by a factor of 2 in a small ball, which implicitly creates a landscape whose relationship with $1/u$ we discuss.
△ Less
Submitted 21 October, 2015;
originally announced October 2015.
-
On Eigenvectors of Random Band Matrices with Large Band
Authors:
Stefan Steinerberger
Abstract:
We study random, symmetric $N \times N$ band matrices with a band of size $W$ and Bernoulli random variables as entries. This interpolates between nearest neighbour interaction $W = 1$ and Wigner matrices $W = N$. Eigenvectors are known to be localized for $W \ll N^{1/8}$, delocalized for $W \gg N^{4/5}$ and it is conjectured that the transition for the bulk occurs at $W \sim N^{1/2}$. Eigenvalues…
▽ More
We study random, symmetric $N \times N$ band matrices with a band of size $W$ and Bernoulli random variables as entries. This interpolates between nearest neighbour interaction $W = 1$ and Wigner matrices $W = N$. Eigenvectors are known to be localized for $W \ll N^{1/8}$, delocalized for $W \gg N^{4/5}$ and it is conjectured that the transition for the bulk occurs at $W \sim N^{1/2}$. Eigenvalues in the spectral edge change their behavior at $W \sim N^{5/6}$ but nothing is known about the associated eigenvectors. We show that up to $W \ll N^{5/7}$ any random matrix has with large probability some eigenvectors in the spectral edge, which either exhibit mass concentration or interact strongly on a small scale.
△ Less
Submitted 6 May, 2020; v1 submitted 22 July, 2013;
originally announced July 2013.
