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

Dong and Wang in [Theor. Comput. Sci. 771 (2019) 93--98] conjectured that the resulting graph of the $n$-dimensional folded hypercube $FQ_n$ by deleting any perfect matching is isomorphic to the hypercube $Q_n$. In this paper, we show that…

The one-dimensional Dirac operator \begin{equation*} L = i \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} \frac{d}{dx} +\begin{pmatrix} 0 & P(x) \\ Q(x) & 0 \end{pmatrix}, \quad P,Q \in L^2 ([0,\pi]), \end{equation*} considered on $[0,\pi]$…

Utilizing the theory of the Poisson transform, we develop some new concrete models for the Hecke theory in a space $M_{\lambda}(N)$ of Maass forms with eigenvalue $1/4-\lambda^2$ on a congruence subgroup $\Gamma_1(N)$. We introduce the…

Actions of a locally compact group G on a measure space X give rise to unitary representations of G on Hilbert spaces. We review results on the rigidity of these actions from the spectral point of view, that is, results about the existence…

We give a new proof, independent of Lin's theorem, of the Segal conjecture for the cyclic group of order two. The key input is a calculation, as a Hopf algebroid, of the Real topological Hochschild homology of $\mathbb{F}_2$. This…

A recent result of Frantzikinakis establishes sufficient conditions for joint ergodicity in the setting of $\mathbb{Z}$-actions. We generalize this result for actions of second-countable locally compact abelian groups. We obtain two…

We study products of eigenfunctions of the Laplacian $-\Delta \phi_{\lambda} = \lambda \phi_{\lambda}$ on compact manifolds. If $\phi_{\mu}, \phi_{\lambda}$ are two eigenfunctions and $\mu \leq \lambda$, then one would perhaps expect their…

Let $\Gamma$ be a finitely generated group acting by probability measure preserving maps on the standard Borel space $(X,\mu)$. We show that if $H\leq\Gamma$ is a subgroup with relative spectral radius greater than the global spectral…

J. Wiegold conjectured that if n>2 and G is a finite simple group, then the action of Aut(F_n) on Epi(F_n,G) is transitive. In this note we consider analogous questions where G is a compact Lie group, a non-compact simple analytic group or…

We study some properties of the varieties of deformations of free groups in compact Lie groups. In particular we prove a conjecture of Margulis and Soifer about the density of non-virtually free points in such variety, and a conjecture of…

We show convergence of small eigenvalues for geometrically finite hyperbolic $n$-manifolds under strong limits. For a class of convergent convex sets in a strongly convergent sequence of Kleinian groups, we use the spectral gap of the limit…

In this article, we give a general construction of spectral triples from certain Lie group actions on unital C*-algebras. If the group G is compact and the action is ergodic, we actually obtain a real and finitely summable spectral triple…

We prove the spectral gap property for random walks on the product of two non-locally isomorphic analytic real or p-adic compact groups with simple Lie algebras, under the necessary condition that the marginals posses a spectral gap.…

The "zero in the spectrum conjecture" asserted (in its strongest form) that for any manifold M zero should be in the l2-spectrum of the Laplacian (on forms) of the universal covering of M, i.e. that at least one (unreduced) L2-cohomology…

Let $\Gamma_2\subseteq \Gamma_1$ be finitely generated subgroups of ${\rm GL}_{n_0}(\mathbb{Z}[1/q_0])$. For $i=1$ or $2$, let $\mathbb{G}_i$ be the Zariski-closure of $\Gamma_i$ in $({\rm GL}_{n_0})_{\mathbb{Q}}$, $\mathbb{G}_i^{\circ}$ be…

We prove universal lower bounds for discrepancies (i.e. sizes of spectral gaps of averaging operators) of measure-preserving actions of a locally compact group on probability spaces. For example, a locally compact Hausdorff unimodular group…

A well known upper bound for the spectral radius of a graph, due to Hong, is that $\mu_1^2 \le 2m - n + 1$. It is conjectured that for connected graphs $n - 1 \le s^+ \le 2m - n + 1$, where $s^+$ denotes the sum of the squares of the…

Let $\Lambda$ be a subgroup of an arithmetic lattice in SO(n+1,1). The quotient $\mathbb{H}^{n+1} / \Lambda$ has a natural family of congruence covers corresponding to primes in some ring of integers. We establish a super-strong…

The self-adjoint, positive Markov operator defined by the P\'olya-Gamma Gibbs sampler (under a proper normal prior) is shown to be trace-class, which implies that all non-zero elements of its spectrum are eigenvalues. Consequently, the…

Let T be a free ergodic measure-preserving action of an abelian group G on (X,mu). The crossed product algebra R_T has two distinguished masas, the image C_T of L^infty(X,mu) and the algebra S_T generated by the image of G. We conjecture…