← Back to arXiv
arXivProbabilityarXiv:2611.07104

A second eigenvalue lower bound for the directed configuration model

The paper is about understanding how fast information spreads, or how quickly a random process mixes, on a particular type of random network. The network in question is called a directed configuration model, meaning it is a random graph where each node has edges pointing in and out according to some specified degree distribution, and "directed" means the connections have a one-way character, like roads with traffic flowing only one direction. A key quantity controlling mixing speed is the second eigenvalue of the transition matrix, a mathematical object that describes one step of a random walk on the network. If this second eigenvalue is small, the random walk mixes quickly; if it is large, mixing is slow. The paper establishes a lower bound on this second eigenvalue that matches a known upper bound, together pinning down the precise value with high probability.

The main technical challenge is proving the lower bound, which is typically the harder direction. Previous approaches to similar problems relied on first showing that the distribution of all eigenvalues converges to some limiting shape, then extracting information about individual eigenvalues from that shape. The authors bypass this route entirely. Instead, they connect the size of the second eigenvalue to the statistical behavior of the trace of high powers of the transition matrix. The trace of a matrix power counts, in a weighted sense, how many closed walks of a given length exist in the graph, so the problem becomes a question about the combinatorics of long paths that return to their starting point.

The key innovation is proving a central limit theorem for these trace quantities at timescales much longer than the logarithm of the network size, a regime where earlier methods broke down. A central limit theorem here means showing that the trace, properly normalized, fluctuates like a Gaussian random variable. Once that statistical behavior is established, it implies the second eigenvalue cannot be too small, completing the lower bound argument. The authors note that both the general strategy of reducing spectral problems to central limit theorems and the central limit theorem itself may find applications beyond this specific network model.

Read original →