arXiv++ Combinatorics

Let $G$ be a simple graph of order $n$ satisfying the following Ore-type condition: For any two nonadjacent vertices $x$ and $y$ of $G$, $d_G(x)+d_G(y)\geq n+k-2$, where $1\leq k\leq n-1$, $kn$ is even and $d_G(x)$ is the degree of $x$ in $G$. It is well known that $G$ has a $k$-factor for $k=1$ or $2$. Lu and Ning (J. Graph Theory, 94(2020), 307-319) proved that if $k\geq n/2$, then $G$ has a $k$-factor. In this paper, we show that $G$ has a $k$-factor for any $1\leq k\leq n-1$.

Lovász and Szegedy asked whether a nonconstant continuous, or even smooth, finitely forcible kernel exists. For every $0<λ\leq1/128$, we construct an explicit nonconstant real-analytic kernel $W_λ$ taking values in $(1/4,7/8)$. A single finite family of simple graphs, independent of $λ$, forces every $W_λ$ among all bounded symmetric real-valued kernels on $[0,1]^2$.

Let $G$ be a finite simple graph with at least one edge. We prove the sharp vanishing theorem \[ κ_{\min}^{\mathrm{LLY}}(G)>\frac12 \quad\Longrightarrow\quad \PathH_1(G;\R)=0. \] Equivalently, nonzero first GLMY path homology forces an edge of Lin--Lu--Yau curvature at most $1/2$. The threshold $1/2$ is sharp and is attained by $C_5$. The proof combines the cycle-space description of first GLMY path homology with the limit-free Laplacian characterization of Lin--Lu--Yau curvature. As a secondary consequence of the curvature-preserving universal-cover method, we prove that if $G$ is connected and $κ_{\min}^{\mathrm{LLY}}(G)>0$, then $π_1(\Xshort{5}(G),o)$ is finite, where $\Xshort{5}(G)$ is obtained by filling every simple cycle of length at most five. Equivalently, the normal subgroup generated by based simple $5$-cycle loops has finite index in $π_1^{\mathrm{GLMY}}(G,o)$. In higher degrees the situation is different: for each integer $r\geq1$, the Cartesian product $T_r=C_5^{\square r}$ has curvature $1/(2r)$ on every edge and, for every field $\F$, \[ \PathH_p(T_r;\F)\cong\F^{\binom rp}\qquad(0\leq p\leq r), \] so strict positivity of Lin--Lu--Yau curvature does not force higher-dimensional GLMY path homology to vanish.

The boxicity of a graph $G$, denoted by $box(G)$, is the minimum integer $d\geq 0$ such that $G$ is the intersection graph of axis-parallel boxes in $\mathbb{R}^d$. The class of zero divisor graphs introduced by Beck (1988) is a popular class of graphs and has been studied extensively by several researchers. Suppose $Z(R)$ is the set of zero divisors of a ring $R$. The zero divisor graph $Γ(R)$ for a ring $R $ is defined as the graph with the vertex set $V(Γ(R))=Z(R)$ and $E(Γ(R))=\{\{x,y\}\colon x,y\in Z(R)\text{ with }x\neq y\text{ and }x y=0\}$. One can define an equivalence relation $\sim$ on $V(Γ(R))$ such that for vertices $x$ and $y$, one has $x\sim y$ if and only if $x$ and $y$ have the same annihilator, i.e., $Ann(x)=Ann(y)$. The compressed zero divisor graph $Γ_E(R)$ for a ring $R$ is the simple graph obtained from $Γ(R)$ by retaining exactly one vertex from each equivalence class induced by $\sim$. In this paper, we completely answer two open questions posed in Discrete Applied Mathematics 391 (2026), pp. 127-136. Let $N=\prod_{i=1}^a p_i^{n_i}$ be the prime factorization of a positive integer $N$ and let $\mathbb{Z}_N$ be the ring of integers modulo $N$. We determine the exact boxicity of the compressed zero divisor graph $Γ_E(\mathbb{Z}_N)$. We show that when $a\geq 2$, $box(Γ_E(\mathbb{Z}_N))= a-1$ if and only if one of the following is true: $(i)$ $a\geq 2$ and $N$ is the product of two coprime integers $x$ and $y$ such that $x$ is a square-free integer and $y$ is the cube of a prime number; $(ii)$ $a\geq 3$ and $N$ is square-free; $(iii)$ $a\geq 2$, $N$ is cube-free, not square-free, and contains at least one prime divisor $p_i$ such that $n_i=1$. If $a=2$ and $n_1=n_2=1$, then $Γ_{E}(\mathbb{Z}_N)$ is a clique, and so, $box(Γ_{E}(\mathbb{Z}_N))=0$. In all other cases, $box(Γ_{E}(\mathbb{Z}_N))=a$.

We prove that the energy ${\mathcal E}(G)$ of any simple graph $G$ of order $n\ge5$ satisfies \[ {\mathcal E}\ge r(G)+\bar d(G)-1, \] where $r(G)$ and $\bar d(G)$ denote, respectively, the rank of the adjacency matrix and the average degree of $G$. We also characterize all extremal graphs. As consequences, our result settles five previously conjectured lower bounds for the energy of nonsingular graphs in their stated ranges, namely \[ \begin{gathered} {\mathcal E}(G)\ge n-1+\bar d(G),\qquad {\mathcal E}(G)\geΔ(G)+δ(G),\qquad {\mathcal E}(G)\ge2\sqrt{\bar d(G) (n-1)}, {\mathcal E}(G)\ge\frac{M_1(G)}{m},\qquad {\mathcal E}(G)\ge\frac{M_1(G)}{2m}+\frac{2m}{n}, \end{gathered} \] where $m$ is the number of edges, $Δ(G)$ and $δ(G)$ are the maximum and minimum degrees, and the first Zagreb index $ M_1(G)$ is the sum of degree squares.

We study synchronization in the Kuramoto model on finite graphs. We prove that there is an absolute constant $η>0$ such that every finite simple graph $G$ on $n$ vertices with minimum degree at least $(3/4-η)n$ has no local minima of the Kuramoto energy other than the fully synchronized states. This strictly improves the previous $3/4$ upper bound and refutes a conjecture of Bandeira, Kireeva, Maillard, and Rödder.

Given an oriented graph $\vec{G}$ and a subset of vertices $X \subseteq V(\vec{G})$, the \emph{inversion} of $X$ is the operation that reverses the orientation of every arc with both endpoints in $X$. For a simple graph $G$, the inversion diameter $\operatorname{diam}(I(G))$ is the maximum distance between two orientations of $G$ under inversions of vertex sets. We prove the sharp bound \[ \operatorname{diam}(I(G))\le 2χ_a(G)-2, \] where $χ_a(G)$ is the acyclic chromatic number. Consequently, every planar graph has inversion diameter at most $8$, improving the previously known bound $12$. Using strong-degeneracy arguments, we also obtain upper bounds $7$, $5$, and $4$ for planar graphs of girth at least $4$, $5$, and $6$, respectively.

Given a simple graph $G=(V,E)$ of order $p$ and size $q$, a bijection $f : V\cup E \to \{1, 2, \ldots, p+q\}$ is a local total neighborhood antimagic labeling of $G$ if the induced vertex coloring has the property $f^+_{tn}(u) \ne f^+_{tn}(v)$ for every two adjacent vertices $u$ and $v$ where $f^+_{tn}(u) = \sum (f(ux) + f(x))$ over every neighbor $x$ of $u$. The local total neighborhood antimagic chromatic number of $G$, denoted $χ_{ltna}(G)$ is the minimum number of distinct induced colors over all local total neighborhood antimagic labeling of $G$. In this paper, we determine the local total neighborhood antimagic chromatic number of the join of graphs with distinct parity orders.

The Grone--Merris--Bai theorem states that the Laplacian spectrum of a simple graph is majorized by its conjugate degree sequence. Recently, Zhang, Song, and Fan extended this result to simplicial complexes by establishing a majorization relation between the spectrum of the $(r-1)$-dimensional up-Laplacian and the conjugate $(r-1)$-degree sequence. In this paper, we characterize all equality cases in the partial-sum inequalities of this higher-dimensional majorization theorem. For every $r$-dimensional simplicial complex $X$ with $r\ge2$, we prove that \[ \sum_{i=1}^{q}λ_{r-1,i}(X) = \sum_{i=1}^{q}d_{r-1,i}^{\top}(X) \] if and only if \[ q\ge \max\{\operatorname{rank}B_r(X),Δ_{r-1}(X)\}. \] Thus, unlike the graph case, equality can occur only after both sequences have exhausted all their nonzero terms. As consequences, equality in the first partial sum and equality between the entire sequences are both equivalent to $X$ containing a unique $r$-simplex. The proof is based on the local down-Laplacian decomposition and the equality case of the Ky Fan inequality.

Let $G$ be a simple graph. A dissociation set of $G$ proposed by Yannakakis in $1981$ is defined as a set of vertices that induces a subgraph in which every vertex has a degree of at most $1$. A dissociation set is maximal if it is not contained as a proper subset in any other dissociation set. In $2025$, Wang et al.\cite{ZiyuanWang} established that for any tree $T$ of order $n\geq 4$, the number of maximal dissociation sets in $T$ is at most $3^{\frac{n-1}{3}}+\frac{n-1}{3}$ and characterized the extremal trees attaining the upper bound. They also proposed a conjecture about the upper bound of the maximal dissociation set. In this paper, we consider this conjecture and show that the maximum number of maximal dissociation sets in a tree of order $n(n\geq 3)$ is $g(n)$, where \[ g(n) = \begin{cases} n, & n=3,4,5,6,\\ 3^{\frac{n-1}{3}}+\frac{n-1}{3}, & n \equiv 1 \pmod{3},~n\geq7,\\ 4\cdot 3^{\frac{n-5}{3}}+n-5, & n \equiv 2 \pmod{3},~n\geq8, \\ 16\cdot 3^{\frac{n-9}{3}}+3n-25, & n \equiv 0 \pmod{3},~n\geq12~\text{and }~n\neq21, \\ 19, & n=9, \\ 1349, & n=21. \end{cases} \] We also characterize the extremal trees with the maximum number of maximal dissociation sets.

Let $G$ be a simple graph of order $n$ with adjacency matrix $A= (a_{ij})$. The \emph{determinant} and the \emph{permanen}t of the matrix $A$ are defined as \[\mathrm{det}A= \sum_{σ\in S_n}\mathrm{sgn}(σ) \prod_{i=1}^n a_{iσ(i)}\quad\text{and}\quad\mathrm{per}A= \sum_{σ\in S_n} \prod_{i=1}^n a_{iσ(i)},\]respectively. The polynomials $φ(G;x) =\mathrm{det}(xI-A(G))$ and $π(G;x) =\mathrm{per}(xI-A(G))$ are called the \emph{characteristic polynomial} and the \emph{permanental polynomial} of $G$, respectively. Two graphs are said to be \emph{nearly cospectral} with respect to the determinant (resp. permanent) if the difference of their characteristic (resp. permanental) polynomials is a constant. Lv et al. introduced the nearly cospectral graphs problem with respect to the determinant, and provided partial results in the case modulo 4. In this paper, we mainly prove that the corresponding results also hold for the nearly cospectral graphs problem with respect to the permanent. The determinant and permanent are the immanants corresponding to the irreducible characters $(1^n)$ and $(n)$ of the symmetric group $ S_n $, respectively. Here, the \emph{immanant} $d_λ(A)$ of $A$ is defined as \[d_λ(A) = \sum_{σ\in S_n} χ_λ(σ) \prod_{i=1}^n a_{iσ(i)},\] where $χ_λ$ is the irreducible character of $ S_n $ indexed by the partition $ λ$. The immanantal polynomial of $G$ associated with $ χ_λ$ is given by $ φ_λ(G;x)=d_λ(xI-A) $. In this paper, we also establish a similar result for nearly immanantal cospectral graphs in $\mathbb{F}_2[x]$ for all irreducible characters $χ_λ$.

We prove an analogue of a theorem of Berget and Rhoades about extending the parking space $\mathrm{Park}_n$ to an $S_{n+1}$-module $\mathrm{Slim}_n$. Specifically, we show that the \textit{bipartite parking space} $\mathrm{Park}_{K_{n,m}}$, which naturally comes with an $S_{n-1} \times S_m$ action, extends to an $S_n \times S_m$-representation $\mathrm{Slim}_{n,m}$. We then formulate a conjecture generalizing this statement to any simple graph.

Let $η$ be a fixed positive integer. Let $S$ be a subset of $\mathbb{Z}$, $\star:S\times S\to \mathbb{Z}$ be a binary function, and $ζ_η:\{ξ\in \mathbb{Z}:\gcd(ξ,η)=1\}\to \{0,1\}$ be a function. For a simple graph $G$ of order $n$, a bijective function $f:V(G)\to S$ (where $|S|=n$) is called an arithmetic cordial labeling modulo $η$ under the arithmetic structure $\langle S,ζ_η,\star\rangle$ if the induced function $f_η^*:E(G)\to \{0,1\}$, defined by $f_η^*(ab)=1$ whenever $\gcd(f(a)\star f(b),η)= 1$ and $ζ_η(f(a)\star f(b))=1$; otherwise, $f_η^*(ab)=0$, satisfies the condition $|e_{f_η^*}(0)-e_{f_η^*}(1)|\leq 1$, where $e_{f_η^*}(i)$ is the number of edges with label $i$ ($i=0,1$). In this paper, the arithmetic cordial labeling of product graphs, namely, corona, lexicographic, cartesian, tensor, and strong, is explored under the operation of addition.

For an edge $uv$ of a finite simple graph $G$, its imbalance is $|d_G(u)-d_G(v)|$, and the imbalance multiset $M_G$ consists of the imbalances of all edges of $G$. Kozerenko and Skochko conjectured that $M_G$ is graphic whenever every edge has positive imbalance. We prove this conjecture. The main ingredient is a lower bound for the truncated sum $\sum_{e\in E(G)}\min\{k,\operatorname{imb}_G(e)\}$ when at least $k$ edges have imbalance at least $k$. This bound yields all Erdos-Gallai inequalities for the nonincreasing list of edge imbalances; a parity computation then completes the proof.

Let $λ_1\geqλ_2\geq\cdots\geqλ_n$ be the eigenvalues of a simple graph $G$ of order $n$. The HL-index of $G$ is defined by $R(G)=\max\|λ_h|,|λ_\ell|\}$ with $h=\lfloor(n+1)/2\rfloor$ and $\ell=\lceil(n+1)/2\rceil$.In this paper, we prove that if $G$ is $ K_4$-minor-free or $ K _ {2,3} $-minor-free, then $R(G)\leq\sqrt{5}-1$ with equality attained by an infinite family of outerplanar graphs.Moreover, we show that $R(G)\leq\sqrt{d-2}$ for triangle-free graphs with maximum degree at most $d$ and average degree at most $(d-2)(d^2-2d+2)/(d^2-3d+5)$.

A graphic arrangement $\A_G$ associated with a simple graph $G$ is a classical and well-studied object in the theory of hyperplane arrangements. In this note, we show that, for a connected graph $G$, a slight modification of the logarithmic vector field $D(\A_G)$ of $\A_G$ is isomorphic to the face ring of a certain simplicial poset. This allows us to give formulas for several algebraic invariants of $D(\A_G)$, such as its Hilbert series, local cohomology, projective dimension, and Castelnuovo--Mumford regularity, in terms of combinatorial and topological information about the corresponding simplicial poset. As a by-product, we also give an explicit vector space basis of $D(\A_G)$.

Let $G$ be a finite connected multigraph whose edges receive independent weights from one atomless law, and let $\operatorname{MST}(G)$ be the resulting random minimum spanning tree. Its law is not pairwise negatively correlated: Lyons, Peres and Schramm exhibited two positively correlated edges, and we give such an example on a simple graph. We prove that positive correlation is nevertheless uniformly controlled: $\mathbf{P}(e,f\in T)\leq 8\mathbf{P}(e\in T)\mathbf{P}(f\in T)$, answering a question of R. Lyons recorded by Tang and Zhang. After conditioning on all other weights, Harris's inequality gives conditional negative correlation; two bottleneck distances and a sharp second-moment estimate control the remaining environmental covariance. For $K_n$ we prove pairwise negative correlation for every $n\geq 3$. The key finite identity is $\mathbf{E}[\mathrm{deg}(x)^2]=10(n-1)/n-4\mathbf{E}[L_n]$, where $L_n$ is the total weight of the minimum spanning tree under rate-one exponential weights. Known expansions for $\mathbf{E}[L_n]$ then give the rate of convergence to $10-4ζ(3)$ and the limits of both pair-correlation ratios. Finally, an explicit $K_4$ family shows that no universal constant survives when the independent edge laws need not be identical.

Kolokolnikov conjectured that, among finite simple graphs on $n$ vertices with exactly $2(n-2)$ edges, the complete bipartite graph $K_{2,n-2}$ maximizes algebraic connectivity. We prove the conjectured statement for every $n\ge123$: every such graph has algebraic connectivity at most $2$, while $K_{2,n-2}$ attains $2$. The proof begins with explicit Rayleigh-quotient certificates that exclude several local configurations from a hypothetical counterexample. A global degree count then controls the number and total excess of vertices of degree at least $5$ and bounds the edge excess of the subgraph induced by vertices of degree at most $4$. A Moore-type breadth-first-search criterion uses this excess to guarantee a short cycle, while a spectral criterion excludes cycles in the same length range. An explicit arithmetic estimate shows that the two criteria apply simultaneously once $n\ge123$. A Lean formalization covering every $n\ge4$, including the complementary range $4\le n\le122$, has been produced with MerLean and checked by the Lean kernel; the present paper gives a self-contained mathematical account of the large-order component.

We introduce and study a finite simple graph of algebraic origin: the Vieta graph on the solution set over $\mathbb{F}_p$ to a symmetric, multivariate equation which is quadratic in each variable. This construction is a broad generalization of the Markoff graph over $\mathbb{F}_p$, extensively studied in the recent literature. We give a systematic approach, partly based on quadratic character sums, to the following basic counting questions: how many vertices does a Vieta graph have, and what is the degree distribution? We focus on explicit counts, addressing the low-dimensional cases in three and four variables.

For a simple graph $G$ of order $n$, let $λ_1(G)\ge \cdots \ge λ_n(G)$ denote its adjacency eigenvalues. Hong's problem asks for the optimal upper bound for $λ_k(G)$. A recent theorem of Sivashankar gives, for every $k\ge3$, \[ λ_k(G)\le \frac{(k-2)\sqrt{k+1}+2}{2k(k-1)}\,n-1, \] with sharp examples arising from maximal real equiangular tight frames. In this paper, we characterize the equality case. We also obtain an explicit combinatorial description of the extremal graphs for $λ_3$ and $λ_4$.