arXiv++ Combinatorics

For a connected simple regular graph $G$, let $τ(G)$ be the maximum commute time for simple random walk, and let $t_n$ be the maximum of $τ(G)$ over all such graphs of order $n$. Aldous and Fill conjectured that $t_n\sim3n^2/2$. We determine $t_n$ exactly and classify all maximizers for every even $n\geq10$ and every odd $n\geq15$; both thresholds are best possible. The maximizers are cubic block chains joined by bridges at even orders and quartic block chains joined at cut vertices at odd orders. The exact formulas specify the linear corrections according to the order modulo four and five, respectively, and imply $ t_n\sim \begin{cases} \dfrac32 n^2, & n\text{ even},\\[1mm] n^2, & n\text{ odd}, \end{cases} \qquad n\to\infty. $ Thus the conjectured asymptotic formula holds along even orders but fails along odd orders. The proof combines unit-current potential orderings, cut-current inequalities, and sharp block resistance bounds, supplemented by finite computations in exact rational arithmetic.

A vertex set $S$ is a generalized $k$-independent set if the induced subgraph $G[S]$ contains no tree on $k$ vertices. The generalized $k$-independence number $α_k(G)$ is the maximum size of such a set. For a tree $T$ with $n$ vertices, Bock et al. [J. Graph Theory 103 (2023) 661-673] and Li et al. [Taiwanese J. Math. 27 (2023) 647-683] independently showed that $α_3(G)\geq \frac{2}{3}n$ and identified the extremal trees that attain this lower bound. Subsequently, Li and Zhou [Appl. Math. Comput. 484 (2025) 129018] established that $α_4(T) \geq \frac{3}{4}n$ and they further characterized all trees achieving this bound. This result was recently extended by Huang, who proved that $α_4(G)\geq \frac{3}{4}(n-ω(G))$ holds for every $n$-vertex graph, where $ω(G)$ denotes the dimension of the cycle space of $G.$ The extremal graphs attaining this lower bound were also fully characterized. Based on these findings, Huang proposed a conjecture concerning a lower bound for $α_k(G)\ (k\geq2)$ together with the corresponding extremal graphs, which naturally generalizes all the aforementioned results. In this paper, we confirm this conjecture here. We further quantify strict improvements over this bound when the equality conditions fail, and we provide a linear-time algorithm that constructs a generalized $k$-independent set of size at least $\left\lceil\frac{k-1}{k}\left(n-ω(G)\right)\right\rceil$.