arXiv++ Combinatorics

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.

Temporal networks -- sequences of time-stamped contacts among nodes -- constitute the finest-grained representation of dynamic interaction data; however, geometric and topological analyses of such networks have remained largely confined to time-aggregated or snapshot-based approximations. Such reductions destroy the temporal ordering and interevent statistics essential for understanding spreading dynamics, synchronization, and information flow. This study proposes a geometric framework that lifts a contact-sequence temporal network into a genuine simplicial complex through a prism construction adapted from algebraic topology. On this spatiotemporal prism complex, we develop the Forman--Ricci curvature in its original CW-complex form and contrast it with an augmented variant widely used in network science. We prove that the two variants coincide under uniform weights, derive a closed-form expression for their pointwise discrepancy in the general case, and identify the precise conditions under which they diverge -- conditions generically satisfied in temporal networks because temporal edges carry interval-dependent weights. Numerical experiments on three synthetic contact-network models (Erd\H os--Rényi, activity-driven, and bursty) and on the SocioPatterns Hypertext 2009 face-to-face contact dataset quantitatively confirm the theoretical predictions: the two Forman variants disagree on $56$--$67\%$ of the $1$-simplices -- predominantly the temporal and diagonal simplices -- while remaining strongly correlated according to the Pearson coefficient. The proposed framework provides a principled, parameter-free method for assigning discrete Ricci curvature to each contact event, thereby opening a new geometric avenue for temporal data analysis.

We study the discrete graph-metric analogue of Gromov's filling area problem for the cycle graph \(C_n\). An abstract triangulation \(K\) is an isometric filling of \(C_n\) if \(\partial K=C_n\) and the graph distance between any two boundary vertices is not shortened inside the \(1\)-skeleton of \(K\). Let \(D(n;ε)\) denote the minimum number of vertices in a \((1-ε)\)-Lipschitz filling of \(C_n\), and set \[ D^*=\liminf_{ε\to0^+}\liminf_{n\to\infty}\frac{D(n;ε)}{n^2}. \] Previous work gives the general lower bound \(D^*\ge 1/8\), while discretizing the hemisphere gives the upper bound \[ D^*\le \frac{1}{π\sqrt3}. \] In this paper we give an explicit discrete construction which improves the hemispherical upper bound. More precisely, we construct isometric fillings \(K_n\) of \(C_n\) with \[ |V(K_n)|\le \left(\frac16+o(1)\right)n^2, \] and hence \[ D^*\le \frac16<\frac{1}{π\sqrt3}. \] This can directly illustrate the discrete filling area problem is a proper relaxation of Gromov's original filling area problem and cannot be used to settle Gromov's conjecture. The construction is a concentric annular filling.

We investigate forbidden subgraph conditions in the complement of a graph that guarantee positive Lin--Lu--Yau curvature. In particular, we prove that every graph whose complement contains no $4$-cycles has positive Lin--Lu--Yau curvature, with the only exception of the $4$-vertex path. We further prove that, for any integer $t\ge2$, every graph on at least $\max\{t^2-2t+2, 8t\}$ vertices whose complement contains no $K_{2,t}$ has positive curvature. In addition, this lower bound on the number of vertices is optimal for $t\geq 10$. Finally, we construct examples showing that, in general, the forbidden subgraphs in these results cannot be replaced by cycles of length other than $4$ or by complete bipartite graphs $K_{s,t}$ with $s> 2$ and $t> 2$.

In this paper, we obtain a weighted trigonometric summation formula which is an extension of the trigonometric summation formula by Grigor'yan, Lin and Yau \cite{GLY}.

In this paper, we study the nonexistence of solutions to semilinear elliptic equations with a positive potential on metric graphs. In particular, the Laplacian under consideration is of a special type, related to both the vertices and edges of metric graphs. We construct a modified distance function, introduce appropriate test functions, and establish the nonexistence of global solutions under suitable volume growth conditions imposed on the potential. More precisely, the nonnegative solutions or sign-changing solutions to the equations are the trivial zero solutions.

Aromatic Butcher series were successfully introduced for the study and design of numerical integrators that preserve volume while solving differential equations in Euclidean spaces. They are naturally associated to pre-Lie-Rinehart algebras and pre-Hopf algebroids structures, and aromatic trees were shown to form the free tracial pre-Lie-Rinehart algebra. In this paper, we present the generalisation of aromatic trees for the study of divergence-free integrators on manifolds. We introduce planar aromatic trees, show that they span the free tracial post-Lie-Rinehart algebra, and apply them for deriving new Lie-group methods that preserve geometric divergence-free features up to a high order of accuracy.

We construct a complete Riemannian surface $Σ$ that admits no triangulation $G\subset Σ$ such that the inclusion $G^{(1)} \hookrightarrow Σ$ is a quasi-isometry, where $G^{(1)}$ is the simplicial 1-skeleton of $G$. Our construction is without boundary, has arbitrarily large systole, and furthermore, there is no embedded graph $G\subsetΣ$ such that $G^{(1)} \hookrightarrow Σ$ is a quasi-isometry. This answers a question of Georgakopoulos.

In this paper, we consider the Ricci flow with prescribed curvature on the finite graph $G=(V,E)$. For any $e$ in $E$, $$\frac{dω(t,e)}{dt} = -(κ(t,e)-κ^*(e))ω(t,e), t > 0,$$ where $ω$ is the weight function, $κ$ is Lin-Lu-Yau Ricci curvature, and $κ^*$ is the prescribed curvature. By imposing invariance of the graph distance with respect to time $t$, the Ricci flow introduced above characterizes the weight evolution governed by the Lin-Lu-Yau curvature. We first establish the existence and uniqueness of the solution to this equation on general graphs. Furthermore, for graphs with girth of at least 6, we prove that the Ricci flow converges exponentially to weights of $κ^*$ if and only if $κ^*$ is attainable (namely, there exist weights realizing $κ^*$). In particular, we prove that the weights for constant curvature exist if and only if $$\max_{\emptyset \neq Ω\subsetneq V} \frac{|E(Ω)|}{|Ω|} < \frac{|E|}{|V|},$$ where $E(Ω)$ denotes the set of edges within the induced subgraph of $Ω$, and $|A|$ is the cardinality of the set $A$. Viewing edge weights as metrics on surface tilings with girth of at least 5 or the duals of triangulations with vertex degrees exceeding 5, we demonstrate that our constant Lin-Lu-Yau curvature flow serves as an analog to the 2D combinatorial Ricci flow for piecewise constant curvature metrics, thereby providing an affirmative answer to Question 2 posed by Chow and Luo (J Differ Geom, 63(1) 2002).

A compact metric surface $M$ isometrically fills a closed metric curve $C$ if $\partial M=C$ and $d_M(x,y)=d_C(x,y)$ for every $x,y\in C=\partial M$; that is, $M$ does not introduce any ``shortcuts'' between points on its boundary. Gromov's filling area conjecture in differential geometry from 1983 asserts that among all compact, orientable Riemannian surfaces which isometrically fill the Riemannian circle, the one with the smallest surface area is the hemisphere. Gromov demonstrated that this is indeed the case if $M$ is homeomorphic to the disk. While Gromov's conjecture has since been verified in some other cases, the full conjecture remains unresolved. In this paper, we consider a discrete analogue of Gromov's problem, which is likely natural to those who study graph embeddings on arbitrary surfaces. Using standard graph-theoretic tools, such as Menger's theorem, we obtain reasonable asymptotic bounds on this discrete variant. We then demonstrate how these discrete bounds can be translated to the continuous setting, showing that any isometric filling of the Riemannian circle of length $2π$ has surface area at least $1.36π$ (the hemisphere has surface area $2π$). This appears to be the first quantitative lower-bound on Gromov's problem that applies to arbitrary isometric fillings.

In this paper, we study $6$-dimensional GKM manifolds with $4$ fixed points. We classify all possible GKM graphs, and for each type of graph we construct a manifold, proving the existence. We show that six types occur. (P1) complex projective space $\mathbb{C} P^3$ with standard complex structure (P2) blow up of $S^6$ at a fixed point, diffeomorphic to $\mathbb{C} P^3$ (P3) $\mathbb{C} P^3$ as the homogeneous space $\mathrm{Sp}(2)/(\mathrm{U}(1) \times \mathrm{Sp}(1))$ with non-standard almost complex structure (Q1) complex quadric $Q_3$ with standard complex structure (Q2) blow up of $S^6$ along isotropy $2$-sphere, diffeomorphic to $Q_3$ (S) $S^2 \times S^4$, obtained as equivariant gluing along orbits of two $S^6$'s

An amply regular graph is a regular graph such that any two adjacent vertices have $α$ common neighbors and any two vertices with distance $2$ have $β$ common neighbors. We prove a sharp lower bound estimate for the Lin--Lu--Yau curvature of any amply regular graph with girth $3$ and $β>α$. The proof involves new ideas relating discrete Ricci curvature with local matching properties: This includes a novel construction of a regular bipartite graph from the local structure and related distance estimates. As a consequence, we obtain sharp diameter and eigenvalue bounds for amply regular graphs.