Related papers: $\Out(F_n)$ and the spectral gap conjecture
We prove that if a countable group $\Gamma$ contains infinite commuting subgroups $H, H'\subset \Gamma$ with $H$ non-amenable and $H'$ ``weakly normal'' in $\Gamma$, then any measure preserving $\Gamma$-action on a probability space which…
We establish the spectral gap property for dense subgroups of $SU(d)$ ($d\geq 2$), generated by finitely many elements with algebraic entries; this result was announced in [BG3]. The method of proof differs, in several crucial aspects, from…
We prove the uniform lower bound for the difference $\lambda_2 - \lambda_1$ between first two eigenvalues of the fractional Schr\"odinger operator, which is related to the Feynman-Kac semigroup of the symmetric $\alpha$-stable process…
The Bethe-Sommerfeld conjecture states that the spectrum of the stationary Schrodinger operator with a periodic potential in dimensions higher than 1 has only finitely many gaps. After work done by many authors, it has been proven by now in…
Let $G$ be the interior domain of a piecewise analytic Jordan curve without cusps. Let $\{p_n\}_{n=0}^\infty$ be the sequence of polynomials that are orthonormal over $G$ with respect to the area measure, with each $p_n$ having leading…
Random hyperbolic graphs have been suggested as a promising model of social networks. A few of their fundamental parameters have been studied. However, none of them concerns their spectra. We consider the random hyperbolic graph model as…
For each $2 \leq n \leq \infty$, we construct an uncountable family of free ergodic measure preserving actions $\alpha_t$ of the free group $\Bbb F_n$ on the standard probability space $(X, \mu)$ such that any two are non orbit equivalent…
We show that an ergodic measure preserving action $\Gamma \curvearrowright (X,\mu)$ of a discrete group $\Gamma$ on a $\sigma$-finite measure space $(X,\mu)$ satisfies the local spectral gap property (introduced by Boutonnet, Ioana and…
A conjecture by D. Aldous, which can be formulated as a statement about the first nontrivial eigenvalue of the Laplacian of certain Cayley graphs on the symmetric group generated by transpositions, has been recently proven by Caputo,…
Let $G$ be a graph on $n$ vertices, with complement $\overline{G}$. The spectral gap of the transition probability matrix of a random walk on $G$ is used to estimate how fast the random walk becomes stationary. We prove that the larger…
Following recent work by Koll\'{a}r and Sarnak, we study gaps in the spectra of large connected cubic and quartic graphs with minimum spectral gap. We focus on two sequences of graphs, denoted $\Delta_n$ and $\Gamma_n$ which are more…
Let $X$ be a closed, connected, oriented surface of genus $g$, with a hyperbolic metric chosen at random according to the Weil--Petersson measure on the moduli space of Riemannian metrics. Let $\lambda_1=\lambda_1(X)$ bethe first non-zero…
Let $\Gamma < G := \operatorname{SO}(d+1, 1)$ for $d \geq 1$ be a Zariski dense, geometrically finite, discrete subgroup with critical exponent strictly greater than $d/2$. We show that $L^2(\Gamma\backslash G)$ admits a strong spectral…
We consider the interchange process (IP) on the $d$-dimensional, discrete hypercube of side-length $n$. Specifically, we compare the spectral gap of the IP to the spectral gap of the random walk (RW) on the same graph. We prove that the two…
Let $\Omega\subset\mathbb{R}^n$ be a strictly convex domain with smooth boundary and diameter $D$. The fundamental gap conjecture claims that if $V:\bar\Omega\to\mathbb{R}$ is convex, then the spectral gap of the Schr\"odinger operator…
We consider Schr\"odinger operators with dynamically defined potentials arising from continuous sampling along orbits of strictly ergodic transformations. The Gap Labeling Theorem states that the possible gaps in the spectrum can be…
For any $2\leq n\leq \infty$, we construct a concrete 1-parameter family of non-orbit equivalent actions of the free group $\Bbb F_n$. These actions arise as diagonal products between a generalized Bernoulli action and the action $\Bbb…
We prove ergodicity for random dynamics satisfying some expansion and irreducibility conditions. As a particular application, we show that if $R_1,R_2\in \mathrm{SO}(d+1)$, $d\ge 2$, generate a dense subgroup, then the random dynamics of…
Ellis, Filmus, and Friedgut proved an old conjecture of Simonovits and S\'os showing that the maximum size of a triangle-intersecting family of graphs on $n$ vertices has size at most $2^{\binom{n}{2} - 3}$, with equality for the family of…
In 1990, Cvetkovi\'{c} and Rowlinson [The largest eigenvalue of a graph: a survey, Linear Multilinear Algebra 28(1-2) (1990), 3--33] conjectured that among all outerplanar graphs on $n$ vertices, $K_1\vee P_{n-1}$ attains the maximum…