arXiv++ Combinatorics

Let $G$ be a graph of order $n$ with eigenvalues $λ_1(G) \geq \dots \geq λ_n(G)$, and let $s_+(G)=\sum_{λ_i(G)>0}λ_i(G)^2.$ Recently Liu, Tang, and Zhang proved the positive square-energy strengthening of Turán's theorem \[\sqrt{s_+(G)}\leq \left(1-\frac1r\right)n.\] where $r=ω(G)$ is the clique number of $G$. We characterize the families of graphs for which the above inequality is sharp. Precisely, we prove that, for $r\geq 2$, equality holds if and only if $r\mid n$ and $G$ is the complete regular $r$-partite graph $K_{n/r,\ldots,n/r}$.

The algebraic connectivity of a graph $G$ is a well studied graph invariant that is related to other properties of the graph such as connectivity and expansion. Given $n$ and $m$, $α(n,m)$ is the maximum algebraic connectivity of a graph with $n$ vertices with $m$ edges. In 2015, Kolokolnikov conjectured that $α(n,2n-4)=2$ for $n\geq 3$, and verified this claim computationally for $n \le 12$. In this paper, we prove Kolokolnikov's conjecture.

The algebraic connectivity $a(G)$, defined as the second smallest eigenvalue of the Laplacian matrix $L(G)$, admits a well-known variational characterization involving the minimization of a quadratic form subject to an $\ell_{2}$-norm constraint. In a recent work, Andrade and Dahl (2024) proposed an analogous formulation based on the $\ell_{1}$-norm, leading to the introduction of a new graph parameter $b(G)$, referred to as the $l_1$-Fiedler value. In this article, we undertake a detailed investigation of the structural and extremal properties of $b(G)$. We first derive a Nordhaus--Gaddum type inequality for $b(G)$. For trees, we determine both global maximizer and minimizers of $b(G)$, and present extremal constructions for trees with prescribed diameter, maximum degree, and number of pendant vertices. We further establish a connection between $b(G)$ and Laplacian matrices, and obtain a bound for $b(G)$ in terms of the edge connectivity, along with a complete characterization of the graphs attaining equality. We derive an explicit formula that describes the behaviour of $b(G)$ under the addition of pendant vertices. We also investigate the connection between $b(G)$ and the isoperimetric number.

The algebraic connectivity $a(G)$ of a graph $G$ is defined as the second smallest eigenvalue of its Laplacian matrix $L(G)$. It also admits a variational characterization as the minimum of a quadratic form associated with $L(G)$, subject to $l_2$-norm constraints. In 2024, Andrade and Dahl investigated an analogous parameter $γ(G)$, defined using the $l_\infty$-norm instead of the $l_2$-norm. They demonstrated that $γ(G)$ can be computed in polynomial time using linear programming. In this article, we study the combinatorial significance of $γ(G)$, revealing that it can be efficiently computed using a breadth-first search (BFS) algorithm. We show that $γ(G)$ characterizes the connectedness of the graph $G$. We further establish new bounds on $γ(G)$, and analyze the graphs that attain extremal values. Finally, we derive an elegant formula for $γ(G)$ when $G$ is the Cartesian product of finitely many graphs. Applying this formula, we explicitly compute $γ(G)$ for various families of graphs, including hypercube graphs, Hamming graphs, and others.

For a marked point process $\{(x_i,S_i)_{i\geq 1}\}$ with $\{x_i\in Λ:i\geq 1\}$ being a point process on $Λ\subseteq \mathbb{R}^d$ and $\{S_i\subseteq R^d:i\geq 1\}$ being random sets consider the region $C=\cup_{i\geq 1}(x_i+S_i)$. This is the covered region obtained from the Boolean model $\{(x_i+S_i):i\geq 1\}$. The Boolean model is said to be completely covered if $Λ\subseteq C$ almost surely. If $Λ$ is an infinite set such that ${\bf s}+Λ\subseteq Λ$ for all ${\bf s}\in Λ$ (e.g. the orthant), then the Boolean model is said to be eventually covered if ${\bf t}+Λ\subseteq C$ for some ${\bf t}$ almost surely. We discuss the issues of coverage when $Λ$ is $\mathbb{R}^d$ and when $Λ$ is $[0,\infty)^d$.