arXiv++ Combinatorics

We study the continuous Lin--Lu--Yau Ricci flow on a finite tree in the inverse-weight case. We investigate the diffusive structure of the curvature evolution equation and prove the convergence of the curvature along the Ricci flow. Moreover, we show that, in logarithmic coordinates, the Ricci flow can be characterized as the gradient flow of a convex potential.

Hypercube graphs are fundamental model spaces of positive curvature in discrete comparison geometry. Let $G$ be a finite, connected, simple, unweighted graph with Bakry--Émery curvature bounded below by $K$. We call $G$ Lichnerowicz-sharp if its first non-zero non-normalized Laplacian eigenvalue $λ_1=K$. We prove that, after removing a canonical collection of edges on which every $K$-eigenfunction is constant, the resulting graph has a canonical bundle structure. Its fibers are regular, have similar structure with hypercubes, and are Laplacian-cospectral with hypercubes, although they need not themselves be hypercubes. If the base graph is nontrivial, then it satisfies $\mathrm{CD}(K,\infty)$ and has first eigenvalue strictly greater than $K$. As a consequence, if the vertex degree in $G$ is constant along each canonical fiber, then every fiber is a hypercube and $G$ is a hypercube bundle. Conversely, for every $d\geq 4$, we construct Lichnerowicz-sharp graphs with non-hypercube canonical fibers of degree $d$.

Recently, Chen, Liu, and You (An extremal theorem for positive curvature of graphs, arXiv:2607.02297) proved an extremal theorem for positive Lin--Lu--Yau curvature. They further proposed the similar problems for other discrete curvature. In this paper, we prove a sharp extremal theorem for non-negative Bakry--Émery curvature with non-normalized Laplacian: every graph of order \(n\geq 7\) with more than \[ \binom {n}{2}-\lfloor{\frac{n}{2}\rfloor}-2 \] edges satisfies $CD(0,\infty)$, and this threshold is optimal.

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

Let $G=(V,E)$ be a possibly infinite, locally finite graph with non-negative Ollivier--Ricci curvature and degrees bounded by $d<\infty$. We prove that there exists a constant $C_d$ such that the continuous-time random walk displacement and log-volume growth satisfy \[ \mathbb{E}_x \mathrm{dist}(x,X_t)^2 \le t \exp\left[C_d \sqrt{\log t \log\log t}\right], \] \[ \log \mathrm{Vol}(B(x,r)) \le \exp\left[C_d \sqrt{\log r \log\log r}\right], \] for every $x\in V$ and all $r,t \ge e^e$.

Let $G = (X, Y; E)$ be a bipartite graph with parts $X$ and $Y$ where $|X|=m$ and $|Y|=n$. We show that every bipartite graph with more than $mn - D(m,n)$ edges has positive Lin--Lu--Yau curvature, where $D(m,n)=m-2+\lceil{\frac {n}{2}\rceil} \text{ if $n\geq 2m$}, \mbox{and} \ n-1 \text{ if $m\leq n< 2m$}.$ We also show that every bipartite graph of order $m+n$ with $m \geq n$ and minimum degree at least $\min\{n, \lfloor{\frac{m+n}{3}\rfloor}+1\}$ has positive Lin--Lu--Yau curvature. Both bounds are sharp. Meanwhile probabilistically we can relax the edge density conditions in above results. It is shown that relatively dense random bipartite graph is positively curved. All of our proofs are based on a new formula for Lin--Lu--Yau curvature of bipartite graphs.

We show that there exist graphons that interpolate between Riemannian manifolds and weighted geometric graphs. Specifically, the graph-to-manifold approximation used in manifold learning can be regarded as the composition of a graph-to-graphon convergence and a graphon-to-manifold convergence in a certain sense. Furthermore, we establish a monotonicity inequality which reveals an implicit relationship between numerous combinatorial parameters and geometric quantities on graphons. Using this inequality, we find relations among conductance, maxcut problem, capacity, and packing radius, as well as their limiting behaviours under graph-to-graphon and graphon-to-manifold convergences; some of these relations are novel even for simple graphs and closed manifolds.

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.

We establish a correspondence between two structures arising in the geometry of hyperplane arrangements: Euclidean $\vee$-systems and real polyhedral Kähler (PK) arrangements. We prove that every irreducible Euclidean $\vee$-system determines a real PK arrangement, and conversely that every real PK arrangement arises this way. As a result, we show that the moduli space of Euclidean $\vee$-systems in a fixed projective class is homeomorphic to the relative interior of a polytope. We also give a direct proof that the hyperplane arrangement associated with a Euclidean $\vee$-system is simplicial. Among the currently known simplicial line arrangements, we identify precisely those that arise from $\vee$-systems. As a consequence, we prove that the Schreiber--Veselov catalog is complete for irreducible rank-three Euclidean $\vee$-systems with at most $27$ vectors.

We develop a theory of symmetric infinitesimal rigidity for bar-joint frameworks in the hyperbolic plane, where symmetry is given by a Fuchsian group acting by isometries. Using the language of gain graphs and the orbit rigidity matrix, we reduce rigidity questions for infinite symmetric frameworks in the upper-half plane H to finite combinatorial conditions. Our main result provides a combinatorial characterisation of the infinitesimal rigidity for Gamma-symmetric frameworks, which are as generic as possibly allowed by the symmetry, when Gamma is a surface group. Namely, we show that a Gamma-gain graph is Gamma-isostatic if and only if it satisfies certain matroidal sparsity conditions. In particular, if Gamma is not cyclic then the appropriate combinatorial condition is (2,3,1,0)-gain tightness. Via the correspondence between Gamma-symmetric frameworks in H and finite frameworks on the quotient surface H/Gamma, this yields a characterisation of infinitesimal rigidity for frameworks on compact Riemann surfaces of genus at least 2.

We prove an extremal theorem for positive Ollivier/Lin--Lu--Yau curvature: every graph of order \(n\geq 8\) with more than \[ T(n)=\frac{n^2-3n}{2}-\left\lceil\frac{n}{2}\right\rceil+2 \] edges has positive Ollivier/Lin--Lu--Yau curvature, and this threshold is optimal. Moreover, for even $n\geq 12$, there exists a unique graph with $T(n)$ edges that has an edge with non-positive curvature. For $n=8,10$ and odd $n\geq 9$, the extremal graphs are not unique. This suggests a new class of extremal graph-theoretic problems arising from discrete curvature notions.

In this paper, we study the $α$-Ricci curvature and the Lin-Lu-Yau Ricci curvature on simple, connected, and locally finite graphs. For regular graphs, we introduce a combinatorial construction of optimal transport plans realizing the 1-Wasserstein distance and use it to derive exact formulas for the $α$-Ricci curvature and the Lin-Lu-Yau Ricci curvature. This yields a combinatorial proof of the known curvature formulas. Furthermore, for non-regular graphs, we characterize conditions on the size of common neighborhoods that guarantee either non-negative or vanishing Lin-Lu-Yau Ricci curvature.

Nilpotent Lie groups with left-invariant metrics provide nontrivial examples of Ricci solitons. Some typical examples are given by the class of two-step nilpotent Lie algebras obtained from simple directed graphs and the class of nilpotent Lie algebras obtained from finite acyclic quivers. In this paper, we generalize the construction of nilpotent Lie algebras that are algebraic Ricci solitons obtained from finite acyclic quivers. We use some special ordered sets to construct nilpotent Lie algebras, which can also be obtained from some special quivers with relations. A transitively and antisymmetrically ordered set (or TAOS, for short) is a set together with a binary relation that is transitive and antisymmetric. Utilizing the concept of incidence algebras of TAOSs, we construct nilpotent Lie algebras. We modify the method introduced by Mizoguchi and Tamaru \cite{MR4941781} and use it to show that the nilpotent Lie algebras with arbitrarily high degrees of nilpotency obtained from some special finite transitively and antisymmetrically ordered sets, called array TAOSs, are algebraic Ricci solitons. We also give some generalizations of this result, which yield more nilpotent Lie algebras that are algebraic Ricci solitons. Moreover, the corresponding simply-connected nilpotent Lie groups admit left-invariant Ricci solitons.

We study discrete analogues of classical spectral geometric inequalities and extremal eigenvalue problems on graphs. The well-known Krahn--Szegő inequality states that the minimum of $λ_2(Ω)$ among bounded open sets of $\mathbb{R}^n$ with given volume is achieved by the union of two identical balls $\mathbb{R}^n$. Firstly, we establish a Krahn--Szegő type inequality for trees. For trees with a fixed number of interior vertices and boundary leaves, we completely characterize the extremal structures that minimize the second Dirichlet eigenvalue. Secondly, we develop a nodal domain method for adjacency matrices. By proving a nodal domain theorem in adjacency version for graphs, we obtain upper bounds for the second largest adjacency eigenvalue $ρ_2(G)$ of $G$ in given graph classes. These bounds imply some previous results. Finally, we settle the Aouchiche--Hansen conjecture (2010) on the second largest eigenvalue with given number of edges and clique number. We prove that for connected graphs $G$ of odd order $n \geq 5$, $|ρ_2| \cdot ω\leq m-2$, with equality if and only if $G$ consists of two complete graphs of orders $\frac{n+1}{2}$ and $\frac{n-1}{2}$ joined by an edge or a path. For even $n \geq 2$, the quantity $|ρ_2| \cdot ω- m$ is maximized exactly when $G$ is the join of two copies of $K_{n/2}$ by an edge. The core of the methods developed in this paper is to regard a connected graph as an internally disconnected graph with Dirichlet boundary condition. This perspective allows us to transfer nodal domain techniques from continuous spectral geometry to discrete settings and to obtain sharp extremal characterizations across diverse graph classes.

This paper investigates the nonexistence of solutions to semilinear parabolic and hyperbolic inequalities with positive potentials on metric graphs, including both nonnegative solutions and sign-changing solutions. The Laplacian under consideration is of a nonstandard type, incorporating contributions from both the vertices and edges of the metric graph. We construct a new pseudo-metric and introduce suitable space-time test functions of either coupled or separated type. Under suitable weighted space-time volume growth conditions on the potential, we establish nonexistence results for very weak solutions. More precisely, we show that all such solutions to the inequality must be identically zero.

Hypercube graphs are fundamental model spaces of positive curvature in discrete comparison geometry. We establish the following spectral rigidity theorem. Let $G$ be a finite, connected, simple, unweighted graph with Bakry--Émery curvature bounded below by $K>0$. Denote by $Δ$ the maximum degree of $G$, and let $0=λ_0<λ_1\leq\cdots$ be the eigenvalues of the non-normalized Laplacian. Then $$ λ_{Δ-1}=K \quad\Longrightarrow\quad G\cong H_Δ, $$ where $H_Δ$ is the $Δ$-dimensional hypercube graph. Thus, in the unweighted setting, the multiplicity condition $λ_Δ=K$ appearing in the hypercube rigidity theorem of Liu, Münch, and Peyerimhoff can be weakened to $λ_{Δ-1}=K$. This improvement is optimal. The restriction to unweighted graphs is essential: the strengthened rigidity statement fails in the weighted setting. Our argument is built upon an interplay between the global spectral embedding induced by the first eigenspace and a local analysis of curvature matrices.

In this work, we propose a novel intrinsic approach to the approximation of ergodic SDEs on Riemannian manifolds, which include Riemannian Langevin dynamics. In opposition to the standard extrinsic approaches such as penalization methods and projection methods, our methodology does not use embeddings or coordinates and only relies on natural geometric operations: geodesics, parallel transport,... We give a criterion for high order of accuracy for the invariant measure, develop new intrinsic numerical methods designed solely for sampling the invariant measure, and derive high order conditions using a new algebraic operation on exotic Lie-Butcher series. In the spirit of the Leimkuhler-Matthews method, our approach prioritizes long time sampling efficiency over finite time accuracy, and outperforms the previous extrinsic and intrinsic approaches in terms of cost for a given accuracy, which we illustrate with several numerical experiments.

Under what conditions does the sign of the Ollivier Ricci curvature on a graph of a certain order change? In this paper, we discuss the curvature of graphs obtained by removing edges from complete graphs, as complete graphs have a stable positive curvature. We defined graphs obtained by removing matching edges, the set of edges incident with the vertex, and cycle edges from complete graphs, and then analyzed the Ollivier Ricci curvature of those graphs. The results show that the curvature of the graphs in the above three patterns is equal to the value obtained by dividing the number of triangles, including two vertices, by the maximum degree of the two vertices. This result also indicates that the curvature of the above graphs is zero or positive. This study concludes that the Ollivier Ricci curvature is predicted to be positive even if some edges are removed from a complete graph, and we suggest that these discussions are suitable for investigating the conditions under which the sign of the Ollivier Ricci curvature on a graph.

H. Fujimoto showed that for a complete minimal surface in $\mathbb{R}^m$, if the Gauss map is non-degenerate, then it omits at most $\frac{m(m + 1)}{2}$ hyperplanes in the complex projective space $\mathbb{P}^{m - 1}$ in general position, and that the number $\frac{m(m + 1)}{2}$ is best possible for all odd integers $m \geq 3$ and for even integers with $4 \leq m \leq 16$. In this paper, we prove that the number $\frac{m(m + 1)}{2}$ is also best possible for all even integers $m \geq 4$, as conjectured by Fujimoto. The main tool is a special planar network $(Γ_0, ω)$ in the theory of positive matrices.

For a weighted tree, the Lin--Lu--Yau Ricci curvature admits an explicit formula in terms of the edge weights. Consequently, the constant-curvature equation is equivalent to an eigenvalue problem for an edge-indexed Ricci matrix $R_T$. Building on the spectral characterization of discrete Einstein metrics on trees, we classify all finite trees whose discrete Einstein metric has positive curvature, equivalently all trees satisfying $λ_{\max}(R_T)<0$. For caterpillars with spine order $m\ge 12$, this occurs precisely for the endpoint families $T_m(a,0,\ldots,0,b)$ with $1\le a,b\le 3$ and $(a,b)\ne(3,3)$. The remaining cases $3\le m\le 11$ are settled by an exact finite verification using rational characteristic polynomials and Sturm root counts. We also determine the zero level set $λ_{\max}(R_T)=0$: among caterpillars, it consists of the stable family $(3,0,\ldots,0,3)$ together with nine exceptional short-spine caterpillars, while $S_3^2$ is the unique non-caterpillar zero example.