arXiv++ Combinatorics

We introduce an approximate version of matrix product factorization for graphs. A simple graph $G$ on $n$ vertices is said to admit an $\varepsilon$-matrix product factorization if there exist simple graphs $H$ and $K$ on the same vertex set such that $A(H)A(K)$ and $A(G)$ disagree in at most $\varepsilon n^{2}$ entries. This Hamming-type relaxation preserves, outside the error set, the exact interpretation of each edge as having a unique $H$-then-$K$ two-step witness. We establish equivalent matrix, and witness formulations, showing that the sets $N_H(w)\times N_K(w)$ form an approximate disjoint decomposition of the ordered adjacency relation of $G$, and we derive quantitative constraints involving walk counts and the degrees of the factor graphs. We then construct approximate factorizations for several graph families. Every complete graph $K_n$ has matrix-product-factorization distance $O(1/n)$, despite the exact congruence obstruction that permits exact factorization only when $n\equiv 1\pmod 4$. More generally, a blow-up of a fixed graph on $r$ vertices admits an $\varepsilon$-factorization with $\varepsilon\le r/n$, and the construction is exact whenever every non-isolated part has even order. For bipartite graphs, we give one-sided factorizations that realize one orientation of almost all edges. In particular, every tree on $n\ge2$ vertices admits an $\varepsilon$-factorization with $\varepsilon\le 1/n$, although no nontrivial tree is exactly factorizable. These results show that rigid exact obstructions may disappear under a vanishing proportion of entrywise errors.

Assume $ G $ is a finite group with order $ |G| = pqrs $, where $ p $, $ q $, $ r $, and $ s $ are distinct prime numbers. We prove that every connected Cayley graph of $ G $ contains a hamiltonian cycle. Our result drops all restrictions of all previously known results on hamiltonian cycles in Cayley graphs of groups of order $pqrs$.

We present several Laplacian-type matrices associated with a loopless digraph $D$: the out-/in-degree Laplacians $\mathcal L_{\mathrm{out}},\mathcal L_{\mathrm{in}}$, the incidence Laplacian $\mathcal L_{\mathrm{inc}}=BB^{\mathsf T}$, and the symmetrized and skew-symmetrized variants $\mathcal S_{\mathrm{out}},\mathcal K_{\mathrm{out}}$. We show that $\mathcal L_{\mathrm{inc}}(D)$ coincides with the Laplacian of the underlying undirected multigraph, and we derive spectral and characteristic-polynomial relations under arc reversal and complementation (including a simplification for Eulerian digraphs for $\mathcal S_{\mathrm{out}}$). We demonstrate that the spectral radius of $\mathcal L_{\mathrm{out}}$ is bounded above by the order of the digraph and give a characterization in the equality case. We further obtain explicit formulas for joins and line digraphs, giving a general determinantal identity relating the out-degree Laplacian characteristic polynomials of a regular digraph and its line digraph.

This paper introduces four types of subdivision products for simple directed graphs extending those from the undirected case, in particular, the subdivision-vertex join, subdivision-arc join, subdivision-vertex corona and subdivision-arc corona. Structural and spectral properties of these constructions are analyzed, with a focus on adjacency, Laplacian and signless Laplacian spectra.

Two types of corona products for simple directed graphs are introduced, extending the classical notions from the undirected setting: the vertex-corona and the arc-corona. Their structural and spectral properties are investigated through the use of digraph coronals, with particular emphasis on the adjacency, Laplacian, and signless Laplacian spectra. Finally, the coronals corresponding to these three matrices are computed for several families of digraphs.

In 1982, Durnberger proved that every connected Cayley graph of a finite group with a commutator subgroup of prime order contains a hamiltonian cycle. In this paper, we extend this result to the infinite case. Additionally, we generalize this result to a broader class of infinite graphs $X$, where the automorphism group of $X$ contains a transitive subgroup $G$ with a cyclic commutator subgroup of prime order.

In this paper, we explore the concept of the ``matrix product of graphs," initially introduced by Prasad, Sudhakara, Sujatha, and M. Vinay. This operation involves the multiplication of adjacency matrices of two graphs with assigned labels, resulting in a weighted digraph. Our primary focus is on identifying graphs that can be expressed as the graphical matrix product of two other graphs. Notably, we establish that the only complete graph fitting this framework is $K_{4n+1}$, and moreover the factorization is not unique. In addition, the only complete bipartite graph that can be expressed as the graphical matrix product of two other graphs is $K_{2n,2m}$ Furthermore, we introduce several families of graphs that exhibit such factorization and, conversely, some families that do not admit any factorization such as wheel graphs, friendship graphs, hypercubes and paths.

Assume G is a finite group, such that |G|= 6pq or 7pq, where p and q are distinct prime numbers, and let S be a generating set of G. We prove there is a Hamiltonian cycle in the corresponding Cayley graph Cay(G;S).