arXiv++ Combinatorics

We establish a volume bound for weighted graphs with positive Bakry--Émery curvature through entropy estimates for the heat flow and characterize the equality case. As a consequence, if a connected unweighted graph $G=(V,E)$ satisfies the Bakry--Émery curvature--dimension condition $CD(2,\infty)$ with respect to the unnormalized Laplacian, then $$ |V|\le 2^d, $$ where $d$ denotes the maximum degree. Equality holds if and only if $G$ is a hypercube. We also establish an analogous volume rigidity result for the normalized Laplacian.

A holographic entropy inequality (HEI) is a linear inequality obeyed by Ryu-Takayanagi holographic entanglement entropies, or equivalently by the minimum cut function on weighted graphs. We establish a new combinatorial framework for studying HEIs, and use it to prove several properties they share, including two majorization-related properties as well as a necessary and sufficient condition for an inequality to be an HEI. We thereby resolve all the conjectures presented in [arXiv:2508.21823], proving two of them and disproving the other two. In particular, we show that the null reduction of any superbalanced HEI passes the majorization test defined in [arXiv:2508.21823], thereby providing strong new evidence that all HEIs are obeyed in time-dependent holographic states.

We introduce a determinantal linear process on the space of $1$-forms over a weighted graph endowed with a unitary local system, which we call the determinantal linear spanning forest (DLSF). This process is the analog of the uniform spanning tree in the presence of an arbitrary rank $n$ quenched gauge field in ${\rm U}(n)$ (or ${\rm O}(n)$, ${\rm SO}(n)$, ${\rm SU}(n)$, ${\rm Sp}(n)$), and generalizes the determinantal random cycle-rooted spanning forest which corresponds to the case of ${\rm U}(1)$ and ${\rm SU}(2)$. We describe the support of this process by means of a polymatroid which is described in terms of the circular and bicircular matroids. We also explain how the DLSF relates to the computation of currents in an electrical network in the presence of a gauge field. The partition function of the DLSF is shown to be the determinant of the twisted Laplacian, for which we also give a matrix-tree type theorem that computes its characteristic polynomial. We initiate the study of the twisted Laplacian determinant as a functional on the space of connections, and give a first order expansion of it in a neighborhood of the trivial connection, for which we provide a probabilistic interpretation. We extend the construction to infinite graphs, exhibiting the analogs of the classical wired and free distributions on spanning forests. We give a sufficient geometric condition on the local spectral gap for the existence of a Poincaré inequality as well as the uniqueness of the infinite volume measure, and the exponential decay of correlations. We show that on any recurrent graph, the wired and free DLSF coincide. We construct examples where they do not, for example, unlike in the classical case, on $\mathbb Z^d$ for $d\geq 3$.

For a Dirac operator $D$ on a finite weighted graph, let $d^D$ denote the associated noncommutative (Connes) distance. We show that deleting an edge can actually decrease the noncommutative distance between two vertices in the graph. The smallest example of this phenomenon comes from a weighted 4-cycle, and the case of deleting an edge from a weighted 4-cycle is determined completely: if $d^{D'}$ denotes the noncommutative distance in the graph after edge deletion, we prove that $\sup d^D/d^{D'} = 2/\sqrt{3}$ for the $4$-cycle, and further that this upper bound holds for all graphs. On the other hand, we show that deleting an edge can decrease the noncommutative distance between two vertices of an $n$-cycle precisely when $n$ is divisible by $4$. In cases when a deleted edge decreases the noncommutative distance between two vertices $x$ and $y$, we show that the deleted edge need not be incident to either of the vertices $x$ or $y$, and in fact the deleted edge can be arbitrarily far from both in the graph-theoretic (number of edges) distance and in the weighted (geodesic) distance. Moreover, deletion of a single vertex arbitrarily far from both $x$ and $y$ in either the graph-theoretic or weighted distance can change $d^D(x,y)$ by an arbitrarily large factor.

Let $λ_k(G)$ be the $k$th eigenvalue of the normalized Laplacian of a finite undirected weighted graph $G$ with positive degrees, where $k$ is an integer satisfying $1\le k\le |V(G)|$. Let $φ_k(G)$ be the minimum possible maximum conductance of $k$ disjoint nonempty vertex sets. We prove $φ_k(G)\le C\sqrt{λ_k(G)\log(k+1)}$ for an absolute constant $C$. The number of sets and the spectral index are both $k$, and conductance is measured in the original graph. The logarithmic dependence is optimal up to an absolute constant. The proof combines geometric partitioning of the spectral embedding with minimum-cut improvement and adaptive projections in coefficient space. A single conductance threshold is used throughout the construction. The resulting maps have disjoint supports, and the sum of their Gram matrices is bounded below by an absolute positive multiple of the identity. A dyadic maximal estimate bounds the sum of their internal energies uniformly over unit coefficient vectors. A dimension argument using local eigenvalues then yields exactly $k$ disjoint sparse cuts.

The algebraic connectivity of a graph, defined as the second smallest eigenvalue of its Laplacian matrix, admits a well-known variational characterization involving the $\ell_2$-norm. Motivated by the recent introduction of its $\ell_\infty$-analog by Andrade and Dahl, we investigate the graph parameter $γ(G)$, obtained by replacing the $\ell_2$-norm with the $\ell_\infty$-norm in the corresponding optimization problem. We establish a simple and explicit combinatorial formula expressing $γ(G)$ as the ratio of the order of the graph to its maximum transmission, thereby providing a direct graph-theoretic interpretation of the parameter. We prove that $γ(G)$ characterizes graph connectivity and completely characterize all $\ell_\infty$-Fiedler vectors as the vectors \[ \left\{\pm\left(1-γ(G)d(u,\cdot)\right):u\in \mathcal{M}(G) \right\}, \] where $\mathcal{M}(G)$ denotes the set of vertices of maximum transmission. We also establish a product formula for $γ(G)$ under Cartesian products, yielding explicit expressions for hypercubes, Hamming graphs, and torus grid graphs. Furthermore, we establish comparisons involving $γ(G)$, the distance spectral radius, the $\ell_1$-smoothing parameter, and the algebraic connectivity, and investigate equality in these bounds. For connected non-complete strongly regular graphs, equality in our algebraic-connectivity bound holds precisely when the least adjacency eigenvalue is $-2$. Finally, we extend the transmission formula and the characterization of optimal vectors to weighted graphs.

The edge complexity of a weighted graph is the smallest ratio of the Fourier $\ell^1$ and $\ell^2$ norms of its adjacency matrix over all vertex labelings. We study the difficulty of finding this minimum by relating it to a graph symmetry. Adding a universal vertex with sufficiently large incident weight produces an explicit Fourier $\ell^1$ lower bound. We show that equality holds exactly when the source graph has a fixed-point-free involutory automorphism. Two-sided estimates compare the excess above this bound with the squared Frobenius distance to the nearest weighted graph having such a symmetry. For sources of constant weighted degree, these estimates determine the exact leading term as the added weight tends to infinity. A stronger separation for simple source graphs proves that additive $\frac{1}{256N^{\frac{7}{2}}}$ approximation of weighted edge complexity is NP-hard, even on connected graphs of odd order $N$ with at most two distinct positive integer weights, each at most $N^2$. We also prove that recognizing a simple graph with a real Fourier labeling is NP-complete. A seven-vertex example shows that every minimizing labeling can have nonreal Fourier coefficients even when real Fourier labelings exist. An exact rational certificate for this example is included in the appendix.

Kemeny's constant quantifies the expected time for a random walk to reach a randomly chosen vertex, capturing global properties of a Markov chain. We develop a matrix-analytic framework for bounding Kemeny's constant of a finite connected weighted graph using degree-weighted compressions of the normalized adjacency matrix, pinching inequalities, and eigenvalue interlacing. Our main partition theorem gives lower bounds in terms of the compressed spectrum, with complete equality characterizations, and converts structural graph information into spectrally computable estimates. For instance, when applied to proper color partitions, the proposed method yields a sharp lower bound on Kemeny's constant in terms of the chromatic number \[ K(G)\ge n-2+\frac{1}{χ(G)}, \] which extends a bipartite bound of Ciardo, Dahl, and Kirkland (2022) to arbitrary chromatic number, and which is incomparable with the normalized Hoffman bound by Chung (1997). For unweighted graphs, we also characterize all equality cases of this bound. We further illustrate the power of the proposed matrix framework by deriving spectral bounds for NP-hard graph problems involving normalized cuts and conductance. Our results include an asymptotically sharp conductance bound, two-sided interlacing bounds from principal submatrices and quotient matrices, and estimates for the change in Kemeny's constant under connectivity-preserving deletion of multiple edges.

For a row-finite weighted graph $(E,w)$, Preusser showed that the monoid $\mathcal{V}(L_k(E,w))$ of finitely generated projective modules over the weighted Leavitt path algebra $L_k(E,w)$ is isomorphic to a combinatorially defined weighted graph monoid $\mathcal{M}(E,w)$. We study two structural properties of $\mathcal{M}(E,w)$: confluence and cancellativity. We introduce a reduction system on the free commutative monoid presenting $\mathcal{M}(E,w)$, obtain sufficient conditions for non-confluence by constructing explicit non-confluent triples, and provide a complete confluence characterization for certain classes of weighted graphs. Turning to cancellativity, we work within Preusser's class of weighted graphs satisfying Condition (LPA), for which $L_k(E,w)$ is isomorphic to an unweighted Leavitt path algebra $L_k(F)$ via a two-step construction. We introduce an auxiliary graph associated to the intermediate step of this construction and use it to give a graph-theoretic characterization of when $\mathcal{M}(E,w)$ is cancellative. Finally, under Condition (LPA), we show that Preusser's construction upgrades to a graded isomorphism $L_k(E,w) \cong_{\operatorname{gr}} L_k(F)$ with respect to the standard $\mathbb{Z}^{λ(E,w)}$-grading of weighted Leavitt path algebras, yielding $\mathcal{V}^{\operatorname{gr}}(L_k(E,w)) \cong \mathcal{V}^{\operatorname{gr}}(L_k(F))$ as $\mathbb{Z}^{λ(E,w)}$-monoids.

In this note, we prove that, on weighted graphs, the Lin--Lu--Yau curvature coincides with the $p$-Ollivier curvature up to scaling whenever the idleness parameter $p\geq 1/2$. Moreover, the threshold $1/2$ is sharp. This extends an earlier result of Bourne et al. (Ollivier--Ricci idleness functions of graphs, SIAM J. Discrete Math., 32 (2018), no. 2, 1408-1424), where combinatorial graphs were considered. This observation yields a simple proof for the global existence and uniqueness of solutions of the Lin--Lu--Yau curvature flow in Bai et al. (Ollivier Ricci-flow on weighted graphs, Amer. J. Math. 146 (2024), 1723-1747).

We give weighted-matrix formulas for the components of the $CWR$ invariant of oriented non-split alternating links. After recalling the known trace formulas for $CWR_{2}$ and $CWR_{3}$, we give a construction uniform in $k$: attaching an independent commuting variable to each vertex of a consolidated Tait graph and extracting the squarefree part of the resulting trace isolates simple cycles from closed walks. This yields a formula for $CWR_k$ for every $k\ge 3$, a log-determinant generating polynomial for each of the two Tait graphs, and an equivalent Moebius-inversion formula over principal submatrices. Specializing the uniform formula, we obtain explicit closed weighted formulas for $CWR_{4}$ and $CWR_{5}$. We also record a bipartiteness criterion for the vanishing of all odd components and a characteristic-polynomial formula for the unweighted specialization of the first nonvanishing odd component. The graph-theoretic constructions apply to arbitrary finite simple loopless weighted graphs; the alternating-link hypothesis enters through the invariance theorem for $CWR$.

We prove that the full spectrum of the graph $p$-Laplacian is finite for every finite graph and every real $p>1$. This resolves the problem of finiteness of the full graph spectrum posed by Amghibech (2003). More generally, for signed weighted graph $p$-Schrödinger operators with arbitrary real potentials, we obtain bounds in terms of the numbers of vertices and positive-weight edges, uniform in all coefficients and in $p$. On $n$ vertices with $m$ positive-weight edges, the logarithms of the spectral cardinality and of the total number of connected components of the normalised eigenvector sets are $O((n+m)^2)$; the sum over the full spectrum of their rational Betti numbers is at most $\exp(C(n+m)^2)$ for an absolute constant $C$. These topological bounds extend to homogeneous eigenproblems built from arbitrary finite families of linear forms, including generalised $p$-eigenvalue problems for matrix pairs. For the uniformly weighted $K_n$ and $p\ne2$, we identify the nonconstant eigenlines with the barycentres of the coordinate-hyperplane cell decomposition of $\mathbb RP^{n-2}$ and determine their local Morse data on either side of $p=2$. A renormalised logarithmic limit describes the transition at $p=2$. Positive integer weights then separate these critical values, giving at least $(3^n-2^{n+1}+3)/2$ distinct spectral values for every fixed $p\ne2$ and every $n\geq2$. By contrast, the maximal spectral cardinality at $p=2$ is $n$; at $p=4$, the maximal spectral cardinalities in the unsigned and general classes both have exponential growth rate exactly $3$. For $n\geq3$ the same examples resolve Amghibech's extremal question. The proof combines o-minimal and Pfaffian geometry with projective $L^p$-duality, Morse theory, critical groups, and tensor eigenvalue bounds.

We prove that every connected simple graph of bounded degree satisfying the classical dimension-free Bakry--Émery condition $\mathrm{CD}(0,\infty)$ for the unnormalised Laplacian is volume doubling and supports, at all integer graph scales, a scale-invariant $L^2$-Poincaré inequality with dilation two, with constants depending only on the maximum degree. This settles the polynomial-growth conjecture of Cushing, Liu, and Peyerimhoff in a stronger form. The main novelty is a dimension-free adaptation of the graph-theoretic modified nonlinear heat-flow method introduced by Münch and extended to infinite weighted graphs by Pajot and Russ: point-mass consequences of $Γ_2\geq0$ and positive-resolvent smoothing replace any global $\mathrm{CD}(0,n)$ reduction, while diffusive exit-time control and finite-volume localisation yield the Poincaré inequality.

Let $G$ be a finite connected weighted graph and let $R$ be its effective-resistance matrix. For every nonempty vertex set $S$, we factor the cofactor sum and determinant of the principal resistance submatrix $R[S]$ into an enumerative term and a boundary potential-theoretic term. If $τ(G)$ is the weighted spanning tree enumerator and $κ_G(S)$ is the weighted enumerator of $S$-rooted spanning forests, then \[ \cof R[S]=(-2)^{|S|-1}κ_G(S)/τ(G). \] After Kron reduction to $S$, with reduced Laplacian $K=L^S$, $Q=K^+$, and $q=\diag(Q)$, the remaining normalized factor is \[ \det R[S]/\cof R[S] =\frac{2}{|S|}\tr Q+\frac12 q^{\mathsf T}Kq. \] The cofactor factor is a principal specialization of known resistance-minor identities; the contribution here is the boundary/Kron-reduction factorization and local radius calculus. Equivalently, the normalized factor is the maximum of $u^{\mathsf T}R[S]u$ over all $u\in\R^S$ satisfying $\one^{\mathsf T}u=1$. This optimization viewpoint yields monotonicity under enlargement of $S$, an exact one-point update formula, and a support criterion for equality. Small star examples show that the resulting set function is neither submodular nor supermodular in general.

We construct a periodic weighted graph whose discrete Laplacian has a spectrum with precisely $n$ gaps. Moreover, we show that by an appropriate choice of the weights, the endpoints of these gaps, as well as the upper edge of the spectrum, attain the prescribed values. The underlying graph has a brush-like geometry: it consists of an infinite chain of vertices, each of which is connected to $n$ additional pendant vertices by extra edges. Semi-explicit formulae for the weight coefficients are provided: some of the coefficients are determined explicitly, while others are given as roots of an explicitly determined polynomial.

The Helmholtzian matrix of a graph $G=(V(G),E(G))$ is a graph-theoretic analogue of the vector Laplacian (or Helmholtz operator) [S. Li, L. Lu, J.F. Wang, A graph discretization of vector Laplacian, 379 (2026) 446--460]. Motivated by the applications of graph Helmholtzian in simplicial networks, we will investiagte its basic spectral properties. As the first graph matrix indexed by edge set, we find that Helmholtzian matrix is positive semi-definite and its non-negativity correlates with the odd cycles in $G$ and the orientation on $E(G)$, while its irreducibility relates to the signed graphs with loops. We show that the eigenvalues of Helmholtzian matrix are independent of the orientation and further investigate the eigenvalue interlacing under edge additions. One of striking findings is that the non-zero eigenvalues of the Laplacian matrix are those of Helmholtzian matrix of every graph. All these discoveries reveal that the Helmholtzian spectrum of $G$ balances and bridges the oriented graphs, weighted graphs and signed graphs as well as their adjacency or Laplacian spectra.

On a finite weighted graph, the dimer model is a probability measure on its dimer covers, that assigns to any cover a probability proportional to the product of the weights of its edges. For planar bipartite graphs, dimer correlations are encoded by the inverse of the so-called Kasteleyn matrix; for a large graph, typically taken as a finite domain in a periodic graph, this inverse matrix is known explicitly only for a handful of examples. In all previously known examples, the Newton polygon -- a convex lattice polygon that classifies periodic graphs up to local moves -- is either a triangle or a quadrilateral. Our main results are the following. For any (minimal) periodic planar bipartite graph, we construct an $(n-3)$-dimensional family of finite subgraphs for which we obtain an explicit inverse Kasteleyn matrix; here $n$ is the number of sides of the Newton polygon. Their boundaries are formed by zig-zag paths and their overall shape is reminiscent of an astroid; we call them astroidal zig-zag graphs (AZ graphs). If the Newton polygon is the unit square then the corresponding AZ graph is the celebrated Aztec diamond with its size as the parameter. Our inverse Kasteleyn matrices are given by a double contour integral on the corresponding spectral curve for any Fock weighting of the graph. This includes, in particular, all periodic weightings. For periodic weightings, we asymptotically analyze the resulting inverse Kasteleyn matrices. We establish a phase separation in large AZ graphs into asymptotically frozen, rough (liquid), and smooth (gaseous) regions, and obtain an explicit parametrization of the `arctic curve'. We also compute the deterministic limit of the height function, known as the limit shape, and prove the convergence of the local dimer correlations to the translation-invariant Gibbs measure of the slope predicted by the limit shape.

We introduce a family of complex-valued edge weights on a finite simple graph $\G$ arising from a continuous-time quantum walk on the line graph $\ell\G$, packaged as the \emph{Schur state}: an $n \times n$ Hermitian matrix encoding the amplitudes of an edge-state walk. The entrywise modulus square induces a real-weighted adjacency matrix $A(e)$ and Laplacian $L(e)$, and time-averaging yields a weighted graph whose spanning-tree count we relate to that of $\G$. Our main result is \[ tn\!\left(\G, \tfrac{1}{m}\right) = \frac{1}{m^{n-1}}\, tn(\G), \] valid whenever the initial edge state is \emph{uniform commutative}, where $n=|V\G|$, $m=|E\G|$, and $tn(\G, w)$ denotes the weighted spanning-tree count. We further identify a structural mechanism -- the $-2$ eigenspace of $\ell\G$ -- providing uniform commutative states beyond the regular case, in particular for line graphs of Eulerian graphs with an even number of edges. As a side result, we establish that commutative states are precisely the states whose von Neumann entropy is preserved under average mixing.

Let $X$ be a weighted graph and $M$ be its adjacency, Laplacian or signless Laplacian matrix. In a continuous quantum walk on $X$, local $ε$-uniform mixing occurs at vertex $u$ if the $u$th column of the matrix $U(t)=e^{itM}$ can be made arbitrarily close to a vector whose all entries have equal magnitude. Using the spectral and combinatorial properties of $X$, we derive necessary conditions for local $ε$-uniform mixing to occur in $X$. This includes an inequality involving all entries of each eigenvector of $M$, as well as an upper bound on the degree of vertex $u$ when $M$ is the Laplacian or signless Laplacian matrix. We use these necessary conditions to rule out local $ε$-uniform mixing in numerous classes of graphs, most of which are non-regular. We also show that almost all planar graphs (resp., trees) contain a vertex that does not admit local $ε$-uniform mixing for any assignment of edge weights. Furthermore, we prove if $X$ has $n$ vertices and admits local $ε$-uniform mixing at a vertex contained in a subgraph with a twin, then the number of vertices of this twin subgraph must be at least $\sqrt{n}$. In particular, we establish that a graph on $n\geq 5$ vertices does not admit local $ε$-uniform mixing at a vertex with a twin.

In 1959, Erdős and Gallai showed that every $2$-connected graph $G$ contains a cycle of length at least $\frac{2|E(G)|}{|V(G)|-1}$. This result was subsequently extended to weighted graphs by Bondy and Fan in 1991. A natural local variant of this problem arises by considering, for each edge $e\in E(G)$, the quantity $c(e)$, defined as the length of the longest cycle in $G$ containing $e$ (with $c(e)=2$ if $e$ is a bridge). Zhao and Zhang recently proved that for every graph $G$ on $n$ vertices satisfies $\sum_{e\in E(G)}\frac{1}{c(e)}\le \frac{n-1}{2}.$ In this note, we establish a weighted generalization of this inequality. For a weighted graph $(G,w)$ with positive edge weights, let $C_w(e)$ denote the maximum weight of a cycle containing $e$ (setting $C_w(e)=2w(e)$ if $e$ is a bridge). We prove that $$ \sum_{e\in E(G)}\frac{w(e)}{C_w(e)}\le \frac{n-1}{2}. $$ Our result can be viewed as a weighted local analogue of the Bondy-Fan theorem, thereby establishing a correspondence between the global and local perspectives. Furthermore, we present a broad class of graphs attaining equality and derive necessary conditions for equality.