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

For any $\alpha\in (0,1)$ and any $n^{\alpha}\leq d\leq n/2$, we show that $\lambda(G)\leq C_\alpha \sqrt{d}$ with probability at least $1-\frac{1}{n}$, where $G$ is the uniform random $d$-regular graph on $n$ vertices, $\lambda(G)$ denotes…

The fixed-point spectrum of a locally compact second countable group G on lp is defined to be the set of real numbers p such that every action by affine isometries of G on lp admits a fixed-point. We show that this set is either empty, or…

The famous Erd\H{o}s-S\'os conjecture states that every graph of average degree more than $t-1$ must contain every tree on $t+1$ vertices. In this paper, we study a spectral version of this conjecture. For $n>k$, let $S_{n,k}$ be the join…

Let H be a discrete cocompact subgroup of SL_2(C). We conjecture that the quotient manifold X=SL_2(C)/H contains infinitely many non-isogeneous elliptic curves and prove that this is indeed the case if Schanuel's conjecture holds. We also…

Let $g$, $h$ be a random pair of generators of $G=Sym(n)$ or $G=Alt(n)$. We show that, with probability tending to $1$ as $n\to \infty$, (a) the diameter of $G$ with respect to $S = \{g,h,g^{-1},h^{-1}\}$ is at most $O(n^2 (\log n)^c)$, and…

A few years ago we identified a recursion that works directly with the gaps among the generators in each stage of Eratosthenes sieve. This recursion provides explicit enumerations of sequences of gaps among the generators, which are known…

Let $M=S^{2n+1}/ \Gamma$, $\Gamma$ is a finite group which acts freely and isometrically on the $(2n+1)$-sphere and therefore $M$ is diffeomorphic to a compact space form. In this paper, we first investigate Katok's famous example about…

Bollob\'as and Nikiforov conjectured that for any graph $G \neq K_n$ with $m$ edges \[ \lambda_1^2+\lambda_2^2\le \bigg( 1-\frac{1}{\omega(G)}\bigg)2m\] where $\lambda_1$ and $\lambda_2$ denote the two largest eigenvalues of the adjacency…

In the first part of the paper, we study conformal groups that act properly discontinuously and cocompactly on simply connected, non-flat homogeneous plane waves. We show that proper cocompact similarity actions that are not isometric can…

We consider strong relative property $(T)$ for pairs $(\Ga, G)$ where $\Ga$ acts on $G$. If $N$ is a connected Lie group and $\Ga$ is a group of automorphisms of $N$, we choose a finite index subgroup $\Ga ^0$ of $\Ga$ and obtain that…

Affirming a conjecture of Erd\H{o}s and Renyi we prove that for any (real number) c_1>0 for some c_2>0, if a graph G has no c_1(log n) nodes on which the graph is complete or edgeless (i.e. G exemplifies |G| not-> (c_1 log n)^2_2) then G…

We are concerned with an harmonic analysis in Hilbert spaces $L^2(\mu)$, where $\mu$ is a probability measure on $\br^n$. The unifying question is the presence of families of orthogonal (complex) exponentials $e_\lambda(x) = \exp(2\pi i…

For any subgroup H of Out(F_n), either H has a finite index subgroup that fixes the conjugacy class of some proper, nontrivial free factor of F_n, or H contains a fully irreducible element phi, meaning that no positive power of phi fixes…

In 2020, F. Cesi introduced a random walk on the hyperoctahedral group $B_n$ and analysed its spectral gap when the allowed generators are transpositions and diagonal elements corresponding to singletons. In this paper we extend the allowed…

Let $F$ be a non-discrete non-Archimedean locally compact field and $\mathcal{O}_F$ the ring of integers in $F$. The main results of this paper are Theorem 1.2 that classifies ergodic probability measures on the space…

Let $\mu_1, \mu_2$ be probability measures on $\mathrm{Diff}^1_+(S^1)$ satisfying a suitable moment condition and such that their supports genererate discrete groups acting proximally on $S^1$. Let $(f^n_\omega)_{n \in \mathbb{N}},…

Let $G$ be the symmetric group of degree $n$. Let $\omega(G)$ be the maximal size of a subset $S$ of $G$ such that $\langle x,y \rangle = G$ whenever $x,y \in S$ and $x \neq y$ and let $\sigma(G)$ be the minimal size of a family of proper…

We consider non-local perturbations $\Delta^\psi_G$ of sub-Laplacians on a step $2$ Carnot group $G$. The perturbations are by translation-invariant non-local operators acting along the vertical directions in $G$. We use harmonic analysis…

We show that the spectral gap of the first cohomological Laplacian $\Delta_1$ for $\operatorname{Sp}_{2n}(\mathbb{Z})$ follows once a slightly stronger assumption holds for some $\operatorname{Sp}_{2m}(\mathbb{Z})$, where $n\geq m$. As an…

Let $\Omega_n$ denote the set of all doubly stochastic matrices of order $n$. Lih and Wang conjectured that for $n\geq3$, per$(tJ_n+(1-t)A)\leq t $per$J_n+(1-t)$per$A$, for all $A\in\Omega_n$ and all $t \in [0.5,1]$, where $J_n$ is the $n…