arXiv++ Combinatorics

In this paper, we define directed partial join graphs with signed couplings and construct discrete-time quantum-walk transition operators for these graphs using the shunt-decomposition framework. The resulting transition operators apply to several important graph families, including complete graphs with loops, circulant partial joins, complete bipartite graphs, tensor powers of complete bipartite graphs, all with signed couplings. For each family, we identify the corresponding structure of the transition operator and derive necessary and sufficient conditions for periodicity and perfect state transfer (PST), when one of the two directed regular graphs admits PST. Based on these results, we identify two types of state transfer; internal PST, which occurs between vertices within the same graph, and coupling PST, which occurs between two components of join graphs. We further develop a double-cover construction for directed partial join graphs and derive conditions for periodicity and PST when the associated transition operators do not necessarily commute. Using this construction, we establish PST results for double covers of complete graphs with loops. In particular, we provide an example in which the complete graph \(K_n\) does not exhibit PST for \(n\geq4\), whereas a suitable partial join of \(K_n\) exhibits PST when \(n=2^m\), \(m\geq2\). Hence, these results extend the class of graph families admitting PST in shunt-decomposition-based quantum walks and provide a unified framework for studying quantum state transfer in graph joins, products, and covers.

A family of subsets of a $t$-set is a \emph{$d$-cover-free family} or $d$-CFF if no subset in the family is contained in the union of any $d$ other subsets. Let $t(d, n)$ denote the minimum $t$ for which there exists a $d$-CFF on a $t$-set with $n$ subsets. Since a $1$-CFF is the same as a Sperner family, using Sperner's theorem, we get $t(1, n) \sim \log_{2}(n)$ as $n$ grows. Erdös, Frankl, and Füredi (JCTA, 1982) proved that $3.106\log_{2}(n) < t(2,n) < 5.512\log_{2}(n)$. This paper focuses on generalizing $1$-CFF and $2$-CFF using a graph $G$ where vertices correspond to subsets in the set system. A $G$-Sperner$(t, n)$ is a family of subsets of a $t$-set such that each edge of $G$ specifies a pair of subsets not contained in each other, where as a $G$-CFF$(t, n)$ is a family of subsets of a $t$-set such that it is $G$-Sperner and the union of a pair of subsets corresponding to each edge of $G$ does not contain any other subset in the family. Let $t_s(G)$ and $t(G)$ denote the minimum $t$ for which there exist a $G$-Sperner$(t, n)$ and a $G$-CFF$(t, n)$, respectively. In this way, $t_s(K_n) = t(1, n)$ and $t(K_n) = t(2, n)$. Firstly, we prove $t_s(G) = t(1, χ(G))$ for any simple graph $G$ and provide various upper and lower bounds for $t(G)$. The \emph{trivial bound}, $t(1, n) \leq t(G) \leq t(2, n)$ holds for any simple graph $G$ with no isolated vertex, with the lower bound tight for an infinite family of star graphs and the upper bound tight for complete graphs. We study when these bounds can be improved and give better constructive upper bounds for families of graphs such as stars, paths, cycles, wheels, and windmill graphs. In particular, a construction based on mixed-radix Gray codes yields $\log_{2}(n) \leq t(P_n) \leq t(C_n) \leq 1.893\log_{2}(n) + \mathcal{O}(1)$ where $P_n$ and $C_n$ are paths and cycles with $n$ vertices.

We determine the closure of the connected domination roots. The main tool is a substitution formula for the lexicographic product with a complete graph, $D_c(G[K_n],x)=D_c(G,(x+1)^n-1)$, proved in Theorem~\ref{thm:cd}. Combined with two explicit families of seed roots---the real roots of the cycles $C_n$ and the real roots of the joins $C_m\vee C_n$ lying in $(-1,0)$---this formula gives the two main results: the closure of the real connected domination roots is $(-\infty,0]$, and the closure of all connected domination roots is the whole complex plane. These are the connected domination analogues of the root-density theorems of Brown and Tufts and of Brown and Beaton for the ordinary domination polynomial.

Recently, Heath, McCourt, Parker, Schwieder, and Zerbib initiated the systematic study of the $r$-Kneser Ramsey number $R_r^{KG}(s,t)$ and investigated related Ramsey-type problems. A central motivation for their work comes from a question of Holmsen, Hrusak, and Roldán-Pensado, who asked whether, for $n=2k-1$ and sufficiently large $k$, every red/blue edge-coloring of the complete graph on the vertex set $V = \binom{[n]}{k}$ necessarily contains a monochromatic triangle $ABC$ with $A,B,C \in V$ and $A \cap B \cap C = \emptyset$. Heath, McCourt, Parker, Schwieder, and Zerbib established that this conclusion holds when $n \ge \frac{7k}{3}$ and $k\ge 12$. We make substantial progress toward the problem of Holmsen, Hrusak, and Roldán-Pensado by proving that the conclusion already holds for every $k\ge 2$ whenever $n\ge 2k+1$. In addition, we obtain improved lower bounds for $R_r^{KG}(s,t)$ when $s$ and $t$ are fixed and $r$ is sufficiently large.

We study representations for relation algebras corresponding to certain edge colourings of complete graphs. Previously suitable colourings were obtained for the number of colours $n$ up to $2000$, with two exceptions: $n = 8$ and $n = 13$. Using a method that we have called the FBF (Fusion Beautiful Fusions) method, we find colourings for $8$ and $13$ colours. Our method is a new guess-and-check approach that we describe as an adaptation of Comer's finite-field method. Using FBF we construct novel colourings that are non-isomorphic to existing published colourings for 5, 6, 7, 9, 10, 11 and 12 colours.

We use our extension of a fragment of the symbolic method in enumerative combinatorics when we allow finite sums defining the coefficients of generating functions to become infinite series to generalize Pólya's theorem on random walks. Pólya's theorem determines limits of the probabilities that walks in the grid graph on $\mathbb{Z}^d$, starting at the origin, visit the given vertex $\overline{v}$. We generalize the grid graph to the countable complete graph $K_{\mathbb{N}}$ on the vertices $1,2,\dots$, with edges weighted by complex numbers, and obtain 23 generalizations of Pólya's theorem.

Ferrero and Lesniak in 2018 found the maximum numbers of edges in $r$-partite non-Hamiltonian graphs. Recently we found the maximum numbers of edges and $t$-cliques in $K_{r+1}$-free graphs (1) that are not Hamiltonian or (2) that satisfy a condition on low-degree vertices related to Pósa's theorem. Applying theorem (2), here we extend theorem (1) from Hamiltonicity to other properties. We determine the maximum numbers of edges and $t$-cliques in $K_{r+1}$-free graphs that avoid one of the following properties: traceability, Hamiltonian-connectedness, $k$-path Hamiltonicity, $k$-Hamiltonicity, $k$-Hamiltonian-connectedness, and $k$-connectedness. We find all extremal graphs having the maximum numbers of edges. On the way, we prove upper bounds on the numbers of edges and $t$-cliques in $K_{r+1}$-free graphs that avoid an arbitrary stable property that holds for sufficiently large complete graphs.

For a family $\mathcal{F}$ of $k$-graphs, $\ex_k(n,\mathcal{F})$ denotes the maximum number of edges in an $n$-vertex $\mathcal{F}$-free $k$-graph. Let $M_{s+1}^k$ denote a matching of size $s+1$ in $k$-uniform hypergraphs. Recently, Alon and Frankl (JCTB, 2024) determined $\ex_2(n,\{M_{s+1}^2,K_{\ell+1}\})$ for all $n\geq 2s+1$ and $\ell\geq 2$. For every non-bipartite graph $F$, Gerbner (JGT, 2024) determined $\ex_2(n,\{M_{s+1}^2,F\})$ for sufficiently large $n$. In this paper, we investigate this problem for different ranges of the matching parameter. First we prove that for every graph $F$ with $χ(F)>3$, there exist constants $β>0$ and $s_0$ such that $\ex_k(n,\{M^2_{s+1}, F\})=\ex_2(2s+1,F)$ for $\max\{s_0,n/2-βn\}<s<n/2$. For integers $\ell\ge k\ge3$, let $\mathcal{K}_{\ell+1}^k$ be the family of all $k$-graphs $F$ with at most $\binom{\ell+1}{2}$ edges for which there is an $(\ell+1)$-set $L$ such that every pair of vertices of $L$ is covered by an edge of $F$, and let $H_{\ell+1}^k$ be the $k$-uniform hypergraph obtained from the complete graph $K_{\ell+1}$ by enlarging each edge with a set of $k-2$ new vertices, which is a member of $\mathcal{K}_{\ell+1}^k$. We determine $\ex_k\bigl(n,\mathcal{K}_{\ell+1}^k\cup\{M_{s+1}^k\}\bigr)$ for $s\leq \frac{n}{8(k-1)^{k-2}(\ell-1)^3}$. For sufficiently large $s$, we also determine $\ex_k\bigl(n,\{M_{s+1}^k,H_{\ell+1}^k\}\bigr)$ for $\frac{n}{k}-βn<s<\frac{n}{k}$ and $s\leq \frac{n}{8(k-1)^{k-2}(\ell-1)^3}$, respectively.

For $k, r, n$ natural numbers let $ρ_{r,k}(K_n)$ be the number of $r$-edge-colorings of $K_n$ that do not contain a rainbow copy of a $K_k$, that is, a copy of $K_k$ in which all edges receive different colors. When $k=3$, the quantity $ρ_{r,3}(K_n)$ represents the number of Gallai Colorings. It was proved by Balogh and Li and independently by Bastos, Benevides and Han, that most of the Gallai colorings are 2-colorings, for $n$ large. A natural analogue conjecture would be that when $k=4$, $r\ge 5$ and $n$ large, most rainbow-$K_4$-free $r$-edge-colorings are $5$-colorings. We show that this is not true in general and identify an exact threshold for $r$ where this ceases to be true. For the range where the conjecture is false, we determine the exponential growth of $ρ_{r,4}(K_n)$ for every fixed $r$. More precisely, for \(6\le r\le24\), we prove that \(ρ_{r,4}(K_n)=(\binom{r}{5}+o(1))5^{\binom{n}{2}}\); and for each \(r\ge25\), the proportion using at most five colors tends to zero, and \(ρ_{r,4}(K_n)=r^{(n^2/4)+o(n^2)}\). A bipartite construction, with all edges within the two parts assigned one common color, achieves the latter exponential growth rate. The lower bounds can be easily generalized for every $k$. Those results are related to other recent results about counting colorings that avoid rainbow cliques or given rainbow patterns in general. Our proof combines hypergraph containers with the graph removal lemma, structural estimates for color palettes and a refined count of colorings close to a fixed five-color palette.

Let $G$ be a graph together with a total order $\prec$ on its edges. We say that $\prec$ is realizable in $\mathbb{R}^d$ if there is a placement of the vertices of $G$ in $\mathbb{R}^d$ such that the Euclidean lengths of the edges induce exactly the order $\prec$. Almendra-Hernández and Martínez-Sandoval proved that every total order on the edges of the complete graph $K_n$ is realizable in $\mathbb{R}^{n-2}$. We show that the same is not true for the disjoint union of two complete graphs: for every $n\geq 3$ there is a total order on the edges of $K_n\sqcup K_n$ that is not realizable in $\mathbb{R}^{n-2}$, but is in $\mathbb{R}^{n-1}$. Surprisingly, the realizability of an order on a disconnected graph is not determined by its restrictions to the connected components. We also study realizability on the real line: we characterize which disjoint unions of two cycles are realizable, and estimate the largest number of edges an $n$-vertex graph can have while all of its edge-orders remain realizable on the line. In general dimension, we show that the largest number of edges of an $n$-vertex graph all of whose edge-orders are realizable in $\mathbb{R}^d$ is $dn+O\!\left(dn/\ln(dn)\right)$.

Let $G$ be a simple graph of even order at least four, and let $K_G$ denote the complete graph on $V(G)$. A perfect matching of $K_G$ is called a pairing of $G$. The graph $G$ has the Pairing-Hamiltonian property, or PH-property, if every pairing $M$ of $G$ admits a perfect matching $N\subseteq E(G)$, disjoint from $M$, such that $M\cup N$ is a Hamiltonian cycle of $K_G$. We prove that the PH-property is preserved under Cartesian products. More precisely, for graphs $G$ and $H$ of even order at least four, we show that both $G$ and $H$ are PH if and only if every pairing of $G\square H$ admits a Hamiltonian completion contained in a spanning union of vertex-disjoint prisms determined by a perfect matching of $G$ or of $H$. Without this support restriction, the converse fails: a Cartesian product may be PH even when neither of the two graphs is PH.

A majority C-coloring of a graph $G$ assigns colors to the vertices such that every vertex shares its color with at least half of its neighbors. The maximum number of colors that can be used in such a coloring of $G$ is denoted by $\overlineχ_{\geqslant}(G)$. In this paper, the focus is on the majority C-coloring in Cartesian product graphs. It is shown that $\overlineχ_{\geqslant}(G \square H) \ge \overlineχ_{\geqslant}(G) \overlineχ_{\geqslant}(H)$ gives a sharp lower bound, but the difference also can be arbitrarily large. For two-dimensional Hamming graphs, the exact value $\overlineχ_{\geqslant}(K_m \square K_n) = \min\{m,n\}$ is established. Balanced Hamming graphs of higher dimension, that is the $k$th powers of complete graphs with respect to the Cartesian product, are also studied. It is proved that $\overlineχ_{\geqslant}(K_n^{\square, k})= n^{k/2}$ holds for every even integer $k$. If $k$ is odd and the Hamming graph is the $k$-dimensional hypercube, then $\overlineχ_{\geqslant}(K_2^{\square, k})= 2^{\lfloor k/2\rfloor}$. On the other hand, a majority C-coloring of $K_n^{\square, k}$ with at least $3 n^{\lfloor k/2\rfloor}/2 $ colors is presented for every $n \ge 7$ and odd $k \ge 3$. For Cartesian grids, the main result shows that $\overlineχ_{\geqslant}(P_m \square P_n) = 1 + \lfloor m/2\rfloor \lfloor n/2\rfloor$ if at least one of $m$ and $n$ is odd, while $\overlineχ_{\geqslant}(P_m \square P_n)=mn/4$ holds if both parameters are even and $m \ge n \ge 4$. The paper concludes with a conjecture and several open problems.

Bonamy-Knor-Lužar-Pinlou-Škrekovski (2017) define $K_n^t$ to be the complete graph of $n-1$ vertices but with an extra vertex that's adjacent to $t$ vertices of the complete graph part. They propose a stronger conjecture which asserts that if $G$ is a finite simple $2$-connected graph of order $n \ge 10$ not isomorphic to $K_n$, $K_n^2$, nor $K_n^{n-2}$, then the Szeged-Wiener gap of $G$ is $η(G) \ge 2n$. We improve upon their work to tighten the bounds on the Szeged-Wiener gap, allowing us to prove this conjecture in the affirmative. Afterwards, we construct graphs attaining equality for each $n \ge 10$ and pose a problem for interested readers to determine a necessary and sufficient condition for equality.

For ordered graphs $H_1,\ldots,H_t$, let $\rt(H_1,\ldots,H_t)$ denote the least integer $N$ such that every $t$-coloring of the edges of the naturally ordered complete graph on $[N]$ contains an ordered copy of $H_i$ in color $i$ for some $i\in[t]$. We prove that a uniformly random ordered matching $M$ on $n$ vertices with interval chromatic number two asymptotically almost surely satisfies \[ \rt(K_3,M) =Ω\left(\frac{n^{4/3}}{(\log n)^{1/3}}\right). \] This strengthens the lower bound $Ω((n/\log n)^{5/4})$ of Balko and Poljak for such random matchings and improves the general existential lower bound of Conlon, Fox, Lee and Sudakov by a factor of $\log n$. The proof combines pseudorandom triangle-free graphs, a coarse encoding of order-preserving embeddings, and a permutation avoidance estimate derived from Brègman's inequality.

The Ramsey number $r(H)$ of a graph $H$ is the minimum positive integer $N$ such that every red/blue edge-coloring of the complete graph $K_N$ on $N$ vertices contains a monochromatic copy of $H$. The Ramsey multiplicity $M(H,n)$ is the minimum number of monochromatic copies of $H$ over all red/blue edge-colorings of $K_n$. It is called threshold Ramsey multiplicity if $n=r(H)$, and denoted by $m(H)$. The only previously known general infinite family for which $m(H)$ has been determined is stars, due to Harary and Prins (1974). Let $C_k$ denote a cycle on $k$ vertices. Conlon, Fox, Sudakov, and Wei (2022) conjectured that $m(C_k)=(k-1)!/2$ for every sufficiently large odd integer $k$. In this paper, we determine $M(C_k,r(C_k)+\ell)$ for every fixed nonnegative integer $\ell$ and all sufficiently large odd $k$, and characterize all extremal colorings, thereby confirming the conjecture. This is also a second general infinite family for which $m(H)$ has been determined.

Word-representable graphs are a class of graphs that can be represented by words, where edges and non-edges are determined by the alternation of letters in those words. The tensor product $G \times H$ (also known as the direct product or Kronecker product) is one of the four standard graph products. Problem 7.2.5 in Kitaev and Lozin's book \emph{Words and Graphs} (Springer, 2015) raised three open questions regarding the word-representability of tensor products. Despite extensive research on word-representable graphs, the word-representability of tensor products seems to have received no attention. This paper not only answers 2.5 of the questions posed by Kitaev and Lozin in Problem 7.2.5, but also initiates a systematic study, focusing on four fundamental families: wheel graphs $W_n$, complete graphs $K_n$, the Mycielskian of the cycle graph $μ_n$, and the extended Mycielskian of the cycle graph $μ'_n$. Among our main results, we prove that $W_{2n} \times G$, $μ_{2n} \times G$, and $μ'_{2n} \times G$ are always word-representable for any graph $G$; that $K_n \times K_m$ is word-representable if and only if $\min\{n,m\} \leq 3$; and that tensor products $G \times H$ containing $W_{2n+1} \times W_{2m+1}$ or $μ_{2n+1} \times μ_{2m+1}$ or $μ'_{2n+1} \times μ'_{2m+1}$ as induced subgraphs are non-word-representable. Our proofs exploit the hereditary nature of non-word-representability and the presence of non-comparability neighbourhoods.

Let $M=(E,\mathcal{I})$ be a matroid of rank $r$. Let $\mathcal{I}_k$ be the independent sets of size $k$, and let $I_k=|\mathcal{I}_k|$ and $I=|\mathcal{I}|$. We show that if every set $F\in \mathcal{I}_{r-1}$ is contained in at least $δ$ bases, then $$\ln \left(\frac{I}{I_r}\right)\geqslant \frac{I_{r-1}}{I_r}\cdot δ\ln \left(1+\frac{1}δ\right).$$ In particular, we have $$\frac{I}{I_r}\geqslant 2^{I_{r-1}/I_r}.$$ By combining this result with several other ideas, we prove that if $G$ is a simple connected graph on $n$ vertices, and $F(G)$ and $T(G)$ denote its numbers of spanning forests and spanning trees, respectively, then $$\frac{F(G)}{T(G)}\geqslant \frac{F(K_n)}{T(K_n)},$$ where $K_n$ is the complete graph on $n$ vertices. Equality holds if and only if $G=K_n$.

The List Edge-Coloring Conjecture predicts that any graph whose edges can be colored with $k$ colors can also be colored from arbitrary lists of $k$ colors. We prove its stronger online form for two new infinite families, $K_{p-1}$ and $K_{2p}$, where $p$ is an odd prime. For even $n$, order the vertices of $K_n$ and draw each perfect matching as arcs above them. Count crossings separately within each matching, and let $S_n$ be the number of decompositions into perfect matchings having an even total crossing count minus the number having an odd total. Then \[ S_{p-1}\equiv\left(\frac{-2}{p}\right)\pmod p, \qquad S_{2p}\equiv-p\pmod {p^2}. \] The two congruences are governed by the same elementary matching sum over $\F_p$, although their proofs use the prime $p$ differently. Their nonzero residues give the conjectured values even in the online game. They also treat the corresponding complete graphs with one perfect matching removed, as well as $K_{2p}$ after deleting some, but not all, of a natural cyclic family of $p$ disjoint perfect matchings.

The concept of domination in graphs plays a central role in understanding structural properties and applications in network theory. In this study, we focus on the paired disjunctive domination number in the context of middle graphs, a transformation that captures both adjacency and incidence relations of the original graph. We begin by investigating this parameter for middle graphs of several special graph classes, including path graphs, cycle graphs, wheel graphs, complete graphs, complete bipartite graphs, star graphs, friendship graphs, and double star graphs. We then present general results by establishing lower and upper bounds for the paired disjunctive domination number in middle graphs of arbitrary graphs, with particular emphasis on trees. Additionally, we determine the exact value of the parameter for middle graphs obtained through the join operation. These findings contribute to the broader understanding of domination-type parameters in transformed graph structures and offer new insights into their combinatorial behavior.

The \emph{ordered Ramsey number} $r_<(G,H)$ of ordered $k$-graphs $G$ and $H$ is the least integer $N$ such that every red-blue edge-coloring of the naturally ordered complete $k$-graph on $[N]$ contains a blue ordered copy of $G$ or a red ordered copy of $H$. We prove that there is an absolute constant $c>0$ such that, for every integer $d\ge1$, there is a constant $C_d>0$ for which every weakly $d$-degenerate ordered $3$-graph $H$ on $t$ vertices satisfies \[ r_<\bigl(H,K_3^{(3)}(n)\bigr) \le t\,2^{C_d n^{2-c/d}} \] for every positive integer $n$. This resolves a problem posed by Balko and Vizer ({\em SIAM J. Discrete Math., 2022}) in a stronger form. Furthermore, we show that the weak-degeneracy hypothesis cannot be replaced by bounded standard degeneracy. In particular, for every sufficiently large $n$, there exists a $1$-degenerate ordered $3$-graph $F$ on at most $2^{O(n)}$ vertices such that $r_<\bigl(F,K_3^{(3)}(n)\bigr)>2^{Ω(n^2)}.$