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

Let G be a compact connected Lie group G and T its maximal torus. The coadjoint orbit O_lambda through lambda in Lie(T)^* is canonically a symplectic manifold. Therefore we can ask the question about its Gromov width. In many known cases…

Let $S=\{p_1, \dots, p_r,\infty\}$ for prime integers $p_1, \dots, p_r.$ Let $X$ be an $S$-adic compact nilmanifold, equipped with the unique translation invariant probability measure $\mu.$ We characterize the countable groups $\Gamma$ of…

We study the spectral gap of the Erd\H{o}s--R\'enyi random graph through the connectivity threshold. In particular, we show that for any fixed $\delta > 0$ if $$p \ge \frac{(1/2 + \delta) \log n}{n},$$ then the normalized graph Laplacian of…

Let D_n be the Dickson invariant ring of F_2[X_1,...,X_n] acted by the general linear group GL(n,\F_2). In this paper, we provide an elementary proof of the conjecture by [Hung]: each element in D_n is in the image of the Steenrod square in…

The joint spectral radius of a pair of 2x2 real matrices $(A_0,A_1)\in M_2(\mathbb{R})^2$ is defined to be $r(A_0,A_1)= \limsup_{n\to\infty} \max \{\|A_{i_1}...A_{i_n}\|^{1/n}: i_j\in\{0,1\}\}$, the optimal growth rate of the norm of…

For a non-cyclic finite group $G$, let $\gamma(G)$ denote the smallest number of conjugacy classes of proper subgroups of $G$ needed to cover $G$. Bubboloni, Praeger and Spiga, motivated by questions in number theory, have recently…

For a graph $G$ of order $n$, the spectral sum of $G$ is defined to be the sum $\lambda_1(G) + \lambda_2(G)$, where $\lambda_1(G)$ (resp. $\lambda_2(G)$) is the largest (resp. second largest) adjacency eigenvalue of $G$. Ebrahimi, Mohar,…

For almost Mathieu operator $(H_{\lambda,\alpha,\theta}u)_n=u_{n+1}+u_{n-1}+2\lambda \cos2\pi(\theta+n\alpha)u_n$, the dry version of Ten Martini problem predicts that the spectrum $\Sigma_{\lambda,\alpha}$ of $ H_{\lambda,\alpha,\theta}$…

We show that a topologically generating set $S$ of a connected compact Lie group $G$ of size larger than a fixed polynomial in the rank of $G$ must be redundant (i.e., some proper subset of $S$ still topologically generates $G$). Similar…

The spectral radius of a graph is the largest eigenvalue of its adjacency matrix. Let $\mathcal{F}(\lambda)$ be the family of connected graphs of spectral radius $\le \lambda$. We show that $\mathcal{F}(\lambda)$ can be defined by a finite…

Let $n$ be any positive integer, the friendship graph $F_n$ consist of $n$ edge-disjoint triangles that all of them meeting in one vertex. A graph $G$ is called cospectral with a graph $H$ if their adjacency matrices have the same…

Aldous' spectral gap conjecture asserts that on any graph the random walk process and the random transposition (or interchange) process have the same spectral gap. We prove the conjecture using a recursive strategy. The approach is a…

Let $M=S^n/ \Gamma$ and $h$ be a nontrivial element of finite order $p$ in $\pi_1(M)$, where the integer $n, p\geq2$, $\Gamma$ is a finite abelian group which acts freely and isometrically on the $n$-sphere and therefore $M$ is…

We consider compact locally symmetric spaces $\Gamma\backslash G/H$ where $G/H$ is a non-compact semisimple symmetric space and $\Gamma$ is a discrete subgroup of $G$. We discuss some features of the joint spectrum of the (commutative)…

This is a continuation of the expository article \cite{krp} with some new remarks. Let $S_n$ denote the set of all Gaussian states in the complex Hilbert space $L^2 (\mathbb{R}^n),$ $K_n$ the convex set of all momentum and position…

Let $g(n)$ be the largest positive integer $k$ such that there are distinct primes $p_i$ for $1\leq i\leq k$ so that $p_i |n+i$. This function is related to a celebrated conjecture of C.A. Grimm. We establish upper and lower bounds for…

For a function $F$ represented as $F(x)=\sum_{n=0}^\infty{f_n (x) e^{2 \pi i \lambda_n x}},$ where each $f_n$ satisfies $\operatorname{spec}(f_n) \subset [0, 1]$ and $(\lambda_n)_{n\geq 0}\subset \mathbb{R}_+$ is a lacunary sequence, we…

We prove mean and pointwise ergodic theorems for general families of averages on a semisimple algebraic (or S-algebraic) group G, together with an explicit rate of convergence when the action has a spectral gap. Given any lattice in G, we…

We analyze the structure of the \emph{frequency space} $Q(F)$ of a nonabelian free group $F=F(a_1,...,a_k)$ consisting of all shift-invariant Borel probability measures on $\partial F$ and construct a natural action of $Out(F)$ on $Q(F)$.…

Given a reductive group $G$ and a reductive subgroup $H$, both defined over a number field $F$, we introduce the notion of the $H$-distinguished automorphic spectrum of $G$ and analyze it for the pairs $(GL_{2n},Sp_n)$ and…