arXiv++ Combinatorics

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 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.

Consider a finite graph $G=(V(G),E(G))$ and two continuous weight distributions $ω$ and $ξ$, for which we only assume that $ξ$ is lower bounded. Next, independently draw weights $(w(e))_{e \in E(G)}$ with distribution $ω$ on edges and $(x(v))_{v \in V(G)}$ with distribution $ξ$ on vertices. The ground state of the monomer-dimer model on the weighted graph $G$ is a collection of edges (dimers) and vertices (monomers) such that every vertex is included in at most one monomer or dimer, and such that the sum of weights on its dimers and monomers is maximised. Take $(G_n,o_n)_{n \in \mathbb{N}}$ to be a sequence of random rooted weighted graphs that converges locally to an independently weighted unimodular Bienaymé-Galton-Watson tree $(\mathbb{T},o)$ with vertex-weight distribution $ξ$ and edge-weight distribution $ω$ . By proving that the ground state of the monomer-dimer model on the tree $(\mathbb{T},o)$ is almost surely unique and locally approximable, we prove that the ground state of the monomer-dimer model on $(G_n,o_n)$ must converge locally to the ground state of the monomer-dimer model on $(\mathbb{T},o)$. This also implies a strong decorrelation property on monomer-dimer models on unimodular Bienaymé-Galton-Watson trees.

Let $G^{w}=(V,E,w)$ be a positive-weighted graph with the weight $w(e)>0$ for all $e\in E$. The weighted graph $G^{\widetilde{w}}=(V,E,\widetilde{w})$ is called a hyper-dual number weighted graph, where the weight $\widetilde{w}(e)=w(e)+Δw(e)(\varepsilon+\varepsilon^{*})$ is a hyper dual number, $Δw(e)$ is a real number, $\varepsilon$ and $\varepsilon^{*}$ are two dual units, $e\in E$. In this paper, we give a representation for the Moore-Penrose inverse of the Laplacian matrix, and calculation formulas for the resistance distance and Kirchhoff index of $G^{\widetilde{w}}$, respectively. We establish quadratic forms of the Hessian matrices for the resistance distance and Kirchhoff index of $G^{w}$ via generalized matrix inverses. We further derive explicit bounds on the eigenvalues of the Hessian matrices for the resistance distance and the Kirchhoff index of $G^{w}$ in terms of graph parameters. We also prove that the Kirchhoff index of a positive-weighted graph with bounded edge weights is strongly convex on its edge weight vector.

We introduce a persistence-type invariant for finite weighted graphs based on combinatorial multivector dynamics. For each threshold parameter, a relation matrix determines a graph multivector field, whose induced directed dynamics admits a Morse decomposition given by its strongly connected components. As the threshold varies, these multivector fields form a monotone refinement family. We define the Morse persistence diagram by recording the birth and death of Morse sets along this filtration. The construction is purely combinatorial and does not rely on simplicial homology or persistence modules. We prove that the resulting persistence diagram is stable with respect to perturbations of the relation matrix in the sup norm. Each Morse set furthermore carries a combinatorial Conley index, yielding a topologically enriched invariant for multiscale graph structure.

The $s$-blowup of a graph ($s\geq2$) is the $2s$-uniform hypergraph obtained by replacing each vertex with a set of size $s$ and preserving the adjacency relation. In this paper, we define $2s$-weighted graphs and use them to give all eigenvalues of the $s$-blowup of a graph.

Let $G/H$ be a simply connected homogeneous space of maximal rank. Then the maximal torus $T$-action on $G/H$ is a GKM manifold. We call the $T$-action $j$-independent if any $i(\leq j)$ pairwise distinct isotropy weights at a fixed point are linearly independent. Using weighted graphs, we show that the maximal independence of $G/H$ is $2$, $3$ or $n=\dim T$, and that the cases of $3$ or $n=\dim T$ correspond to some symmetric spaces of rank $>2$. As a corollary, using the results of Ayzenberg and Masuda, the lower-degree reduced homology groups (with appropriate coefficients) of the orbit space $T\backslash G/H$ vanish.

We present a brief structural equivalence between the symmetric TSP and a constrained Group Steiner Tree Problem (cGSTP) defined on a simplicial incidence graph. Given the complete weighted graph on the city set V, we form the bipartite incidence graph between triangles and edges. Selecting an admissible, disk-like set of triangles induces a unique boundary cycle. With global connectivity and local regularity constraints, maximizing net weight in the cGSTP is exactly equivalent to minimizing the TSP tour length.

Past studies on the local limit of maximal weight matchings in edge-weighted large random graphs rely fundamentally on the assumption that the weights are atomless, which ensures that the maximal weight matching is unique. This excludes de facto maximal size matchings that correspond to equal edge-weights. In this work, we overcome this difficulty by assigning i.i.d.~atomless weights to edges and choosing the maximal size matching that maximises the weight. We call these doubly constrained matchings \emph{optimal matchings}. The natural generalisation of optimal matchings for infinite unimodular random graphs are unimodular matchings of maximal density at the root that maximise the expected weight at the root when it is matched. For unimodular Bienaymé-Galton-Watson (UBGW) trees and for a broad class of weight distributions, we show existence and uniqueness in law of such matchings. We also prove that if a sequence of finite random weighted graphs converges locally to an UBGW tree with i.i.d.~weights, then there exists a sequence of matchings on the finite graphs that converges locally to the optimal matching on the limiting tree. Finally, we identify a regime, depending only on the offspring distribution of the limiting tree, in which correlations between edge states in the optimal matching decay exponentially with their graph distance. In this regime, we strengthen the previous convergence to the convergence of optimal matchings of the finite graphs. As a by-product, we can explicitly compute the asymptotic densities of edges that belong to all maximal-density matchings, and of edges that belong to none.

This paper develops an invariant--geometric interpretation of the canonization problem for simple undirected weighted graphs based on the {discrete moving frame method} for finite groups. We consider the action of the {pair group} $S_n^{(2)}$ on the space of edge weights of a graph. It is emphasized that the classical algebraic approach aimed at describing the ring of polynomial invariants of this action quickly becomes computationally impractical due to the explosive growth in the number and degrees of generators. The main result is a formalization of a canonical labeling of a graph as a {discrete moving frame} in the sense of Olver: a discrete orbit cross-section is fixed, in particular by a lexicographic rule, and for each configuration of edge weights one defines a permutation in $S_n^{(2)}$ that maps it to its canonical representative. The coordinates of the canonical representative are interpreted as a {complete system of invariants} for the action of $S_n^{(2)}$ that separates orbits, i.e., isomorphism classes of graphs. It is shown that the invariants obtained via such orbit canonization are of a non-algebraic nature and belong to the class of {semi-algebraic functions}. We do not propose a new computational algorithm; instead, we provide a rigorous theoretical foundation for the very concept of canonization by viewing it as a process of constructing a discrete moving frame and the corresponding system of semi-algebraic invariants.

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.