arXiv++ Combinatorics

We study the Ricci curvature introduced by Lin, Lu, and Yau. A graph is called Ricci-flat if every edge has curvature zero. Lei and Bai classified $5$-regular symmetric Ricci-flat graphs by proving that every such graph is isomorphic to a particular $72$-vertex graph $\RF$, and conjectured that every $5$-regular Ricci-flat graph is either isomorphic to $\RF$ or admits a nontrivial Cartesian product decomposition. In this paper, we disprove this conjecture by constructing an infinite family of connected $5$-regular Ricci-flat graphs, none of which is isomorphic to $\RF$ or admits a nontrivial Cartesian product decomposition. This shows that the conjectured extension of the classification from the symmetric setting to general $5$-regular Ricci-flat graphs fails and that the class of such graphs is substantially richer than previously conjectured. To establish these results, we use an optimal-assignment formulation of Lin--Lu--Yau curvature to verify the Ricci-flatness of the constructed graphs.

Daisy cubes are partial cubes whose vertices can be represented by a down-set of a Boolean lattice. This paper gives a label-free characterization: a finite partial cube is a daisy cube if and only if every Djoković--Winkler $Θ$-class is peripheral. The proof orients each $Θ$-class toward a peripheral halfspace and shows that the resulting $Θ$-coordinate labels are closed downward. The characterization turns recognition into a condition on the halfspace structure and gives an exact obstruction formulation: the minimal forbidden pc-minors for daisy cubes are precisely the pc-minor-minimal partial cubes containing a non-peripheral $Θ$-class. We also give an infinite product family of such obstructions. For all $r\ge 2$ and $s\ge 1$, the graph obtained from $P_3^{\square r}\sq Q_s$ by deleting the two opposite corners is a minimal forbidden partial cube-minor for the class of daisy cubes.

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.

Cizma and Linial introduced graph metrizability as the problem of deciding whether every consistent system of prescribed paths in a graph can be realized by shortest paths for some positive edge lengths. They asked for a classification of the metrizable theta graphs. We give the complete classification. If $a\le b\le c$, then the theta graph $Θ_{a,b,c}$ is metrizable if and only if $a\le 2$ or $(a,b,c)=(3,3,3)$. The non-metrizable direction follows from the known obstruction $Θ_{3,3,4}$ and topological-minor closure. The positive direction is constructive. For the family $Θ_{2,b,c}$, consistency forces certain same-arm and cross-arm choices to be Ferrers relations, and these relations are realized by one-dimensional potentials. The exceptional graph $Θ_{3,3,3}$ is handled by a two-threshold version of the same construction. The proof is structural and does not rely on enumeration of path systems.

Let $p ,r $ and $n $ be positive integers. Then the O-Fibonacci $(p,r)$-cube $OΓ^{(p,r)}_{n}$ is the subgraph of $Q_{n}$ induced on the binary words in which there is at least $p-1$ zeros between any two $1$s and there is at most $r$ consecutive $10^{p-1}$. These cubes include a wide range of cubes as their special cases, such as hypercubes, Fibonacci cubes, and postal networks. In this note it is proved that $OΓ^{(p,r)}_{n}$ is a non-trivial Cartesian product if and only if $p=1$ and $r\geq n\geq2$.

In this paper, first it is shown that the "FSibonacci $(p,r)$-cube"(denoted as $IΓ_{n}^{(p,r)}$) studied in many papers, such as \cite{OZY}, \cite{K1}, \cite{OZ}, \cite{KR} and \cite{JZ}, is a new topological structure different from the original one (denoted as $OΓ_{n}^{(p,r)}$) presented by Egiazarian and Astola $\cite{EA}$. Then some topological properties of $IΓ_{n}^{(p,r)}$ and $OΓ_{n}^{(p,r)}$ are studied, including the recursive structure of them, the cubes $OΓ_{n}^{(p,r)}$ which are partial cubes and median graphs, some distance invariants of $IΓ_{n}^{(p,r)}$ and $OΓ_{n}^{(p,r)}$, and the maximum and minimum degree of these two types of cubes. Finally, several problems and conjectures on $IΓ_{n}^{(p,r)}$ and $OΓ_{n}^{(p,r)}$ are listed