An exponentially small gap of the Perron vector on independent sets

TL;DR

This paper disproves Gregory's conjecture by constructing graphs with independent sets where the Perron vector sum approaches 1/2 arbitrarily closely, demonstrating an exponentially small gap and no universal lower bound.

Contribution

It provides counterexamples to Gregory's conjecture, establishes a spectral formula for the gap, and constructs graphs with arbitrarily large chromatic number and near-maximal Perron vector sums.

Findings

Cycle graphs with odd length are counterexamples to Gregory's conjecture.

The gap can be expressed as q/(4λ - 2q), linking spectral properties to the Perron vector.

There exist graphs with large chromatic number and independent sets with sums arbitrarily close to 1/2.

Abstract

A classical result of Cioab\u{a} states that if $G$ is a connected graph with the unit Perron vector $\mathbf{x}$, then any independent set $S$ of $G$ satisfies $\sum_{v\in S} x_v^2 \le \frac{1}{2}$, with equality if and only if $G$ is a bipartite graph and $S$ is one of the partite sets. Let $\chi(G)= k $ be the chromatic number of $G$. A well-known conjecture of Gregory asserts that any independent set $S$ of $G$ satisfies $\frac{1}{2} - \sum_{v\in S}x_v^2 = \Omega ((k/n)^{1/2})$. Recently, Liu and Ning [J. Combin. Theory Ser. B 176 (2026)] disproved Gregory's conjecture by constructing a graph $G$ and an independent set $S$ such that $\frac{1}{2}- \sum_{v\in S}x_v^2 = O(k^5/n^3)$. Furthermore, they conjectured that this bound is tight up to a constant factor. In this paper, we first show that any cycle $C_n$ with odd integer $n\ge 7$ provides a simple counterexample to Gregory's conjecture. Second, we establish that for any independent set $S$, we have $\frac{1}{2} - \sum_{v\in S}x_v^2 = \frac{q}{4\lambda -2q}$, where $\lambda$ is the spectral radius of $G$, and $q$ is the Rayleigh quotient of $\mathbf{x}$ restricted to $\bar{S} :=V(G)\setminus S$. Third, we construct a graph with arbitrarily large chromatic number and find an independent set $S$ such that $\sum_{v\in S}x_v^2$ can be arbitrarily close to $\frac{1}{2}$, with an exponentially small gap. Our construction shows that there is no universal lower bound of the form $\Omega (k^{\alpha}/n^{\beta})$ for any $\alpha, \beta >0$. This settles both Gregory's original conjecture and the modified conjecture of Liu and Ning in the negative. Finally, we show the tightness of our construction and provide some local weighted lower bounds.