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

We prove three conjectures regarding the maximization of spectral invariants over certain families of graphs. Our most difficult result is that the join of $P_2$ and $P_{n-2}$ is the unique graph of maximum spectral radius over all planar…

A {\it fractional matching} of a graph $G$ is a function $f$ giving each edge a number in $[0,1]$ so that $\sum_{e \in \Gamma(v)} f(e) \le 1$ for each $v\in V(G)$, where $\Gamma(v)$ is the set of edges incident to $v$. The {\it fractional…

The Eisenbud-Green-Harris (EGH) conjecture states that a homogeneous ideal in a polynomial ring $K[x_1,\,\ldots,\,x_n]$ over a field $K$ that contains a regular sequence $f_1,\,\ldots,\, f_n$ with degrees $a_i$, $i=1,\,\ldots,\,n$ has the…

The spectrum of a graph $G$ is the set of the eigenvalues of its adjacency matrix. It turns out that one can say a lot about a graph with the only knowledge being the spectrum of this graph. In this paper we obtain new results about the…

For a fixed positive integer $k$ and a graph $G$, let $\lambda_k(G)$ denote the $k$-th largest eigenvalue of the adjacency matrix of $G$. In 2017, Tait and Tobin proved that the maximum $\lambda_1(G)$ among all outerplanar graphs on $n$…

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

It was conjectured by Alon and proved by Friedman that a random $d$-regular graph has nearly the largest possible spectral gap, more precisely, the largest absolute value of the non-trivial eigenvalues of its adjacency matrix is at most…

The existence of a strong spectral gap for lattices in semi-simple Lie groups is crucial in many applications. In particular, for arithmetic lattices it is useful to have bounds for the strong spectral gap that are uniform in the family of…

We provide new examples of translation actions on locally compact groups with the "local spectral gap property" introduced in \cite{BISG15}. This property has applications to strong ergodicity, the Banach-Ruziewicz problem, orbit…

In this paper we examine the saturation conjecture on decompositions of tensor products of irreducible representations for complex semisimple algebraic groups of type $D$ (the even \emph{spin} groups: Spin$(2n)$ for $n\ge 4$ an integer),…

Given an integer $k$, deciding whether a graph has a clique of size $k$ is an NP-complete problem. Wilf's inequality provides a spectral bound for the clique number of simple graphs. Wilf's inequality is stated as follows: $\frac{n}{n -…

We consider the one-dimensional discrete Schr\"odinger operator $$ \bigl[H(x,\omega)\varphi\bigr](n)\equiv -\varphi(n-1)-\varphi(n+1) + V(x + n\omega)\varphi(n)\ , $$ $n \in \mathbb{Z}$, $x,\omega \in [0, 1]$ with real-analytic potential…

A random $n$-lift of a base graph $G$ is its cover graph $H$ on the vertices $[n]\times V(G)$, where for each edge $u v$ in $G$ there is an independent uniform bijection $\pi$, and $H$ has all edges of the form $(i,u),(\pi(i),v)$. A main…

Let $G$ be a compact Lie group. Suppose $g_1, \dots, g_k$ are chosen independently from the Haar measure on $G$. Let $\mathcal{A} = \cup_{i \in [k]} \mathcal{A}_i$, where, $\mathcal{A}_i := \{g_i\} \cup \{g_i^{-1}\}$. Let…

Let $G$ be a finite group, and let $\kappa(G)$ be the probability that elements $g$, $h\in G$ are conjugate, when $g$ and $h$ are chosen independently and uniformly at random. The paper classifies those groups $G$ such that $\kappa(G) \geq…

Fuglede's conjecture states that for a subset $\Omega$ of a locally compact abelian group $G$ with positive and finite Haar measure, there exists a subset of the dual group of $G$ which is an orthogonal basis of $L^{2}(\Omega)$ if and only…

Two graphs $G_1$ and $G_2$ on $n$ vertices are said to \textit{pack} if there exist injective mappings of their vertex sets into $[n]$ such that the images of their edge sets are disjoint. A longstanding conjecture due to Bollob\'as and…

Brouwer conjectured that the sum of the first $k$ largest Laplacian eigenvalues of an $n$-vertex graph is less than or equal to the number of its edges plus $\binom{k+1}{2}$ for each $k\in \{1,2,\cdots,n\}$, which has come to be known as…

Let $X=\Lambda\backslash\mathbb{H}$ be a Schottky surface, that is, a conformally compact hyperbolic surface of infinite area. Let $\delta$ denote the Hausdorff dimension of the limit set of $\Lambda$. We prove that for any compact subset…

Let $\phi$ be a smooth function on a compact interval $I$. Let $$\gamma(t)=\left (t,t^2,\cdots,t^{n-1},\phi(t)\right).$$ In this paper, we show that $$\left(\int_I \big|\hat f(\gamma(t))\big|^q \big|\phi^{(n)}(t)\big|^{\frac{2}{n(n+1)}}…