Related papers: $\Out(F_n)$ and the spectral gap conjecture

We bound the second eigenvalue of random $d$-regular graphs, for a wide range of degrees $d$, using a novel approach based on Fourier analysis. Let $G_{n, d}$ be a uniform random $d$-regular graph on $n$ vertices, and let $\lambda (G_{n,…

Let $\mathbb F=\mathbb R$ or $\mathbb C$ and $n\in\b N$. Let $(S_k)_{k\ge0}$ be a time-homogeneous random walk on $GL_n(\b F)$ associated with an $U_n(\b F)$-biinvariant measure $\nu\in M^1(GL_n(\b F))$. We derive a central limit theorem…

The following combinatorial conjecture arises naturally from recent ergodic-theoretic work of Ackelsberg, Bergelson, and Best. Let $M_1$, $M_2$ be $k\times k$ integer matrices, $G$ be a finite abelian group of order $N$, and $A\subseteq…

We show that if $G$ is a real semi-simple Lie group, and $\Gamma$ is a discrete subgroup of $G$ containing a subgroup $\Sigma$ acting ergodically (in a strong sense) on the Furstenberg boundary of $G$, then $\Gamma$ is not isomorphic to a…

Bollob\'{a}s and Nikiforov (J. Combin. Theory Ser. B. 97 (2007) 859-865) conjectured that for a graph $G$ with $e(G)$ edges and the clique number $\omega(G)$, then $ \lambda_{1}^{2}+\lambda_{2}^{2}\leq…

We study proper isometric actions of non-compact semisimple Lie groups on pseudo-Riemannian symmetric spaces. Motivated by Okuda's classification of semisimple symmetric spaces admitting proper $SL(2,\mathbb{R})$-actions [J. Differential…

Brouwer's Conjecture states that, for any graph $G$, the sum of the $k$ largest (combinatorial) Laplacian eigenvalues of $G$ is at most $|E(G)| + \binom{k+1}{2}$, $1 \leq k \leq n$. We present several interrelated results establishing…

An old question of Erdos asks if there exists, for each number N, a finite set S of integers greater than N and residue classes r(n) mod n for n in S whose union is all the integers. We prove that if $\sum_{n\in S} 1/n$ is bounded for such…

We find characterization for the distinguished varieties in the symmetrized polydisc $\mathbb G_n \; (n\geq 2)$ and thus generalize the work [\textit{J. Funct. Anal.}, 266 (2014), 5779 -- 5800] on $\mathbb G_2$ by the author and Shalit. We…

We study equivalence relations $\mathcal R(\Gamma\curvearrowright G)$ that arise from left translation actions of countable groups on their profinite completions. Under the assumption that the action $\Gamma\curvearrowright G$ is free and…

A classical conjecture in transformation group theory states that if $G=(\bbZ/p)^r$ acts freely on a product of $k$ spheres $S^{n_1} \times ... \times S^{n_k}$, then $r\leq k$. We prove this conjecture in the case where the average of the…

In a recent breakthrough, Chen, Hirahara and Ren prove that $\mathsf{S_2E}/_1 \not\subset \mathsf{SIZE}[2^n/n]$ by giving a single-valued $\mathsf{FS_2P}$ algorithm for the Range Avoidance Problem ($\mathsf{Avoid}$) that works for…

We study the spectral gap of subgraphs of the hypercube induced by monotone subsets of vertices. For a monotone subset $A\subseteq\{0,1\}^{n}$ of density $\mu(A)$, the previous best lower bound on the spectral gap, due to Cohen, was…

Let $(M,g)$ be a compact manifold and let $-\Delta \phi_k = \lambda_k \phi_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:…

We prove that for any free ergodic probability measure preserving action \F_n \actson (X,\mu) of a free group on n generators \F_n, 2 \leq n \leq \infty, the associated group measure space II_1 factor $L^\infty(X) \rtimes \F_n$ has…

Let $\mathcal{M}=\Gamma\backslash\mathbb{H}^{d+1}$ be a geometrically finite hyperbolic manifold with critical exponent exceeding $d/2$. We obtain a precise asymptotic expansion of the matrix coefficients for the geodesic flow in…

Let $G=*_\lambda G_\lambda$ be a free product of torsion-free groups, and let $g\in[G,G]$ be any element not conjugate into a $G_\lambda$. Then scl$_G(g)\ge1/2$. This generalizes, and gives a new proof of a theorem of Duncan-Howie.

Consider a countable group Gamma acting ergodically by measure preserving transformations on a probability space (X,mu), and let R_Gamma be the corresponding orbit equivalence relation on X. The following rigidity phenomenon is shown: there…

We prove the $K$-theoretic Farrell-Jones conjecture for groups as in the title with coefficient rings and $C^*$-algebras which are stable with respect to compact operators. We use this and Higson-Kasparov's result that the Baum-Connes…

We show that the spectral gap for the interchange process (and the symmetric exclusion process) in a $d$-dimensional box of side length $L$ is asymptotic to $\pi^2/L^2$. This gives more evidence in favor of Aldous's conjecture that in any…