A polylogarithmic higher-order Cheeger inequality

Yunpeng Li

Home/Archive/arXiv

arXiv · 2609.35369

A polylogarithmic higher-order Cheeger inequality

Yunpeng Li

View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $λ_k(G)$ be the $k$th eigenvalue of the normalized Laplacian of a finite undirected weighted graph, and let $ρ_G(k)$ be the minimum possible maximum conductance of $k$ disjoint nonempty vertex sets. We prove \[ ρ_G(k)\le C[1+\log(k+1)]^5\sqrt{λ_k(G)} \] for an absolute constant $C$. The construction gives exactly $k$ sets and a bound in terms of $λ_k(G)$, with all boundaries and volumes measured in the original graph. More strongly, it yields $k$ nonnegative functions with pairwise disjoint supports and Rayleigh quotients $O([1+\log(k+1)]^{10}λ_k(G))$. The proof uses independent local cutoffs whose lost covariance is controlled by conditioning on the loss along a principal direction in each cell. A regularized spectral embedding bounds cutoff energy on the entire original low eigenspace, while an adaptive construction reduces the remaining coefficient dimension by at least half at each stage. A dimension argument then converts almost rank-one local covariances into exactly $k$ scalar witnesses.

Explore related subjects

math.CO cs.DS math.SP

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Yunpeng Li. 2026-09-28. A polylogarithmic higher-order Cheeger inequality. https://arxiv.org/abs/2609.35369

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The Rainbow Saturation Number of Cycles

An edge-colored graph $(G,\mathcal C)$ is $F$-rainbow saturated if it contains no rainbow copy of $F$, but adding any nonedge in any prescribed color creates one. The rainbow saturation number $\operatorname{rsat}(n,F)$ is the minimum number of edges in such a graph of order $n$. In this paper we study $\operatorname{rsat}(n,C_r)$. We determine the value for $C_4$ exactly, and establish bounds for every fixed $C_r$ with $r\geq5$.

math.CO↗

arXiv2026

Moreira's Theorem for Image Partition Regular Matrices

The famous Hindman conjecture says that for any finite coloring of natural numbers, there exists a monochromatic copy of the form $\{x,x+y,xy\}.$ In a celebrated article, Moreira gave a partial answer to this conjecture by showing that every finite coloring of the natural numbers contains a monochromatic configuration of the form $\{x, x+y, xy\}$. In this article we prove matrix versions (both finite and infinite) of Moreira's theorem. A matrix $A$ is said to be an image partition regular matrix if for any finite coloring of naturals, there exists a monochromatic image of $A,$ i.e. there exists a vector $\vec X$ such that all the entries of $A\vec X$ are monochromatic. From a recent paper of Bowen, one can derive the finite matrix version of the Moreira theorem: if $A$ and $B$ are two finite image partition regular matrices of the same order, then under any finite coloring of $\mathbb{N}$, there exist vectors $\vec{X}$ and $\vec{Y}$ such that all entries in the union of $A\vec{X}, A\vec{X} + B\vec{Y}, A\vec{X} \cdot B\vec{Y}$ are monochromatic, where $A\vec{X} \cdot B\vec{Y}$ denote the vector each of its entries are pointwise multiplication of the coordinates of $A\vec{X} \text{ and } B\vec{Y}$. In this article, we give a short combinatorial proof of this result, and then we extend it to infinite image partition regular matrices.

math.CO↗

arXiv2026

Explicit enumeration and large-valence asymptotics of even-valent maps

Let $\mathscr{N}_g(2ν,j)$ denote the number of connected labelled $2ν$-valent maps of genus $g$ with $j$ vertices. Explicit bivariate formulae for $\mathscr{N}_g(2ν,j)$ have been available only in the planar and toroidal cases. Using a structural formula of Ercolani et al (2023), we translate the problem of determining an explicit bivariate formula for $\mathscr{N}_g(2ν,j)$, $g \geq 2$, to finding finitely many counts with a fixed number of vertices. For $g=2,3$ and $4$ we determine these counts using the associated orthogonal polynomials, yielding explicit bivariate formulae for $\mathscr{N}_g(2ν,j)$ in these genera. Furthermore, the same method applies for every $g\ge5$ at the cost of additional computation. From these formulae we obtain the leading-order asymptotics of $\mathscr{N}_g(2ν,j)$ as $ν\to\infty$ for $g=2,3,4$, and we conjecture the structure of these formulae in general genus. In addition, we establish an analogous reduction to finitely many counts, derive explicit formulae and large-valence asymptotics, and formulate corresponding conjectures for two-legged even-valent maps.

math.CO↗