arXiv++ Combinatorics

A directed triple system can be defined as a decomposition of a complete digraph to directed triples $\langle x,y,z\rangle$. By setting $xy =z$, $yz =x$, $xz =y$ and $uu =u$ we get a binary operation that can be a quasigroup. We give an algebraic description of such quasigroups, explain how they can be associated with triangulated pseudosurfaces and report enumeration results.

Let $A$ be an arbitrary $2\times 2$ matrix. In \cite{Cisneros:PhD,Cisneros:I2x2M} I gave a formula for the trace of the $k$-th symmetric power of $A$ in terms of the anti-diagonal entries of $A^{k+1}$ and $A$. This was based on formulae that I found for the entries of the $k$-th power $A^k$ of the matrix $A$ in terms of its entries but I only sketched the idea of how I obtained such formulae. In this article I give the full proof of those formulae by counting some walks of length $k$ over the complete digraph of order $2$. I compare them with formulae for $A^k$ given by Mc Laughlin in \cite{McLaughlin:CIDnP2x2M} and by Williams in \cite{Williams:nthP2x2M}. This leads to combinatorial identities, in particular expressions for Fibonacci and Lucas numbers.

This paper investigates perfect state transfer (PST) in discrete-time quantum walks constructed via the shunt decomposition method. The walks are defined on a graph $G$ and its associated quotient graph $G/π$, induced by an equitable partition $π$. Through the shunt decomposition of $G$, we derive an explicit relation between the shift operator of the parent graph $G$ and that of its quotient graph $G/π$. We construct a reflection operator based on the characteristic matrix, which establishes a connection between the transition operator of the parent graph and that of its lower-dimensional quotient graph. We then prove that PST occurs on $G$ if and only if it occurs on $G/π$. Furthermore, we express the unitary evolution operator of the quotient graph in terms of Chebyshev polynomials of the first kind, from which we derive explicit criteria for PST. As an application, we establish PST on the cycle graph $C_{n}$ at time $k = n/2$, and lift the result to the parent graph $C_{2n}$ via the equitable partition $π$. We further show that if an equitable partition $π$ of $G$ induces a quotient isomorphic to $K_n^{\circlearrowleft}$, the complete digraph on $n$ vertices with a loop at every vertex, then PST occurs at step $k = n$, and the walk is periodic at $k = 2n$. This framework is applied to two families of graphs, which are the complete bipartite digraph $K_{n,n}^{\rightleftharpoons}$ and the circulant graph $\operatorname{Circ}(2n, S)$, where $S$ consists of all odd residues modulo $2n$ and $n = 2^s$ for some $s \geq 1$, establishing PST in their respective line digraphs. Collectively, these results also answer the question posed by Godsil and Zhan concerning which shunt decompositions or embeddings of a graph admit PST.

Let $D=(V(D), A(D))$ be a digraph of order $n$ and let $S\subseteq V(D)$ with $2\leq |S|\leq n$. A directed cycle $C$ of $D$ is called a directed $S$-Steiner cycle (or, an $S$-cycle for short) if $S\subseteq V(C)$. Steiner cycles have applications in reliable designs for telecommunication and transportation networks. Two $S$-cycles are called arc-disjoint if they have no common arcs. We use $λ_{S}^{c}(D)$ to denote the maximum number of pairwise arc-disjoint $S$-cycles in $D$. The directed cycle $k$-arc-connectivity of $D$ is defined as $$λ_{k}^{c} (D)=\min\left \{ λ_{S}^{c}(D)\mid S\subseteq V(D),\left | S \right | =k,2\le k\le n \right \}.$$ In this paper, we determine the complexity for $λ_{S}^{c} (D)$ on Eulerian digraphs, planar digraphs and symmetric digraphs. We also obtain exact values of $λ_{k}^{c} (D)$ on complete digraphs, complete bipartite digraphs and regular complete multipartite digraphs.

Two digraphs of order $n$ are said to pack if they can be found as edge-disjoint subgraphs of the complete digraph of order $n$. It is well established that if the sum of the sizes of the two digraphs is at most $2n-2$, then they pack, with this bound being sharp. However, it is sufficient for the size of the smaller digraph to be only slightly below $n$ for the sum of their sizes to significantly exceed this threshold while still guaranteeing the existence of a packing. In 1985, Wojda conjectured that for any $2 \leq m \leq n/2$, if one digraph has size at most $n - m$ and the other has size less than $2n - \lfloor n/m \rfloor$, then the two digraphs pack. It was previously known that this conjecture holds for $m = Ω(\sqrt{n})$. In this paper, we confirm it for $m \geq 93$ and $n \geq 31m$.

In this work we study the homotopy type of multipath complexes of bidirectional path graphs and polygons, motivated by works of Vrećica and Živaljević on cycle-free chessboard complexes (that is, multipath complexes of complete digraphs). In particular, we show that bidirectional path graphs are homotopic to spheres and that, in analogy with cycle-free chessboard complexes, multipath complexes of bidirectional polygonal digraphs are highly connected. Using a Mayer-Vietoris spectral sequence, we provide a computation of the associated homology groups. We study T-operations on graphs, and show that this corresponds to taking suspensions of multipath complexes. We further discuss (non) shellability properties of such complexes, and present new open questions.

An automata network with $n$ components over a finite alphabet $Q$ of size $q$ is a discrete dynamical system described by the successive iterations of a function $f:Q^n\to Q^n$. In most applications, the main parameter is the interaction graph of $f$: the digraph with vertex set $[n]$ that contains an arc from $j$ to $i$ if $f_i$ depends on input $j$. What can be said on the set $\mathbb{G}(f)$ of the interaction graphs of the automata networks isomorphic to $f$? It seems that this simple question has never been studied. In a previous paper, we prove that the complete digraph $K_n$, with $n^2$ arcs, is universal in that $K_n\in \mathbb{G}(f)$ whenever $f$ is not constant nor the identity (and $n\geq 5$). In this paper, taking the opposite direction, we prove that there exist universal automata networks $f$, in that $\mathbb{G}(f)$ contains all the digraphs on $[n]$, excepted the empty one. Actually, we prove that the presence of only three specific digraphs in $\mathbb{G}(f)$ implies the universality of $f$, and we prove that this forces the alphabet size $q$ to have at least $n$ prime factors (with multiplicity). However, we prove that for any fixed $q\geq 3$, there exists almost universal functions, that is, functions $f:Q^n\to Q^n$ such that the probability that a random digraph belongs to $\mathbb{G}(f)$ tends to $1$ as $n\to\infty$. We do not know if this holds in the binary case $q=2$, providing only partial results.

For a finite Abelian group $(Γ,+)$, let $n(Γ)$ denote the smallest positive integer $n$ such that for each labelling of the arcs of the complete digraph of order $n$ using elements from $Γ$, there exists a directed cycle such that the total sum of the arc-labels along the cycle equals $0$. Alon and Krivelevich initiated the study of the parameter $n(\cdot)$ on cyclic groups and proved that $n(\mathbb{Z}_q)=O(q\log q)$. Studying the prototypical case when $Γ=\mathbb{Z}_p^d$ is a power of a cyclic group of prime order, Letzter and Morrison recently showed that $n(\mathbb{Z}_p^d) \le O(pd(\log d)^2)$ and that $n(\mathbb{Z}_2^d)\le O(d \log d)$. They then posed the problem of proving an (asymptotically optimal) upper bound of $n(\mathbb{Z}_p^d)\le O(pd)$ for all primes $p$ and $d \in \mathbb{N}$. In this paper, we solve this problem for $p=2$ and improve their bound for all primes $p \ge 3$ by proving $n(\mathbb{Z}_2^d)\le 5d$ and $n(\mathbb{Z}_p^d)\le O(pd\log d)$. While the first bound determines $n(\mathbb{Z}_2^d)$ up to a multiplicative error of $5$, the second bound is tight up to a $\log d$ factor. Moreover, our result shows that a tight bound of $n(\mathbb{Z}_p^d)=Θ(pd)$ for arbitrary $p$ and $d$ would follow from a (strong form) of the well-known conjecture of Jaeger, Linial, Payan and Tarsi on additive bases in $\mathbb{Z}_p^d$. Along the way to proving these results, we establish a generalization of a hypergraph matching result by Haxell in a matroidal setting. Concretely, we obtain sufficient conditions for the existence of matchings in a hypergraph whose hyperedges are labelled by the elements of a matroid, with the property that the edges in the matching induce a basis of the matroid. We believe that these statements are of independent interest.

Reed in 1998 conjectured that every graph $G$ satisfies $χ(G) \leq \lceil \frac{Δ(G)+1+ω(G)}{2} \rceil$. As a partial result, he proved the existence of $\varepsilon > 0$ for which every graph $G$ satisfies $χ(G) \leq \lceil (1-\varepsilon)(Δ(G)+1)+\varepsilonω(G) \rceil$. We propose an analogue conjecture for digraphs. Given a digraph $D$, we denote by $\vecχ(D)$ the dichromatic number of $D$, which is the minimum number of colours needed to partition $D$ into acyclic induced subdigraphs. We let $\overleftrightarrowω(D)$ denote the size of the largest biclique (a set of vertices inducing a complete digraph) of $D$ and $\tildeΔ(D) = \max_{v\in V(D)} \sqrt{d^+(v) \cdot d^-(v)}$. We conjecture that every digraph $D$ satisfies $\vecχ(D) \leq \lceil \frac{\tildeΔ(D)+1+\overleftrightarrowω(D)}{2} \rceil$, which if true implies Reed's conjecture. As a partial result, we prove the existence of $\varepsilon >0$ for which every digraph $D$ satisfies $\vecχ(D) \leq \lceil (1-\varepsilon)(\tildeΔ(D)+1)+\varepsilon\overleftrightarrowω(D) \rceil$. This implies both Reed's result and an independent result of Harutyunyan and Mohar for oriented graphs. To obtain this upper bound on $\vecχ$, we prove that every digraph $D$ with $\overleftrightarrowω(D) > \frac{2}{3}(Δ_{\max}(D)+1)$, where $Δ_{\max}(D) = \max_{v\in V(D)} \max(d^+(v),d^-(v))$, admits an acyclic set of vertices intersecting each biclique of $D$, which generalises a result of King. We finally give a short proof that all oriented graphs $D$ satisfy $\vecχ(D) \leq \frac{\sqrt{2}}{2} \TildeΔ(D) + 2$, improving on a result of Golowich.

For a finite (not necessarily Abelian) group $(Γ,\cdot)$, let $n(Γ) \in \mathbb{N}$ denote the smallest positive integer $n$ such that for every labelling of the arcs of the complete digraph of order $n$ using elements from $Γ$, there exists a directed cycle such that the arc-labels along the cycle multiply to the identity. Alon and Krivelevich initiated the study of the parameter $n(\cdot)$ on cyclic groups and proved $n(\mathbb{Z}_q)=O(q \log q)$. This was later improved to a linear bound of $n(Γ)\le 8|Γ|$ for every finite Abelian group by Mészáros and the last author, and then further to $n(Γ)\le 2|Γ|-1$ for every non-trivial finite group independently by Berendsohn, Boyadzhiyska and Kozma as well as by Akrami, Alon, Chaudhury, Garg, Mehlhorn and Mehta. In this series of two papers we conclude this line of research by proving that $n(Γ)\le |Γ|+1$ for every finite group $(Γ,\cdot)$, which is the best possible such bound in terms of the group order and precisely determines the value of $n(Γ)$ for all cyclic groups as $n(\mathbb{Z}_q)=q+1$. In the present paper we prove the above result for all groups of odd order. The proof for groups of even order needs to overcome substantial additional obstacles and will be presented in the second part of this series.

In this paper, we introduce the notion of two-way $(t,λ)$-liking digraphs as a way to extend the results for generalized friendship graphs. A two-way $(t,λ)$-liking digraph is a digraph in which every $t$ vertices have exactly $λ$ common out-neighbors and $λ$ common in-neighbors. We first show that if $λ\ge 2$, then a two-way $(2,λ)$-liking digraph of order $n$ is $k$-diregular for a positive integer $k$ satisfying the equation $(n-1)λ=k(k-1)$. This result is comparable to the result by Bose and Shrikhande in 1969 and actually extends it. Another main result is that if $t \ge 3$, then the complete digraph on $t+λ$ vertices is the only two-way $(t,λ)$-liking digraph. This result can stand up to the result by Carstens and Kruse in 1977 and essentially extends it. In addition, we find that two-way $(t, λ)$-liking digraphs are closely linked to symmetric block designs and extend some existing results of $(t, λ)$-liking digraphs.

We say that a digraph is a $(t,λ)$-liking digraph if every $t$ vertices have exactly $λ$ common out-neighbors. In 1975, Plesník [Graphs with a homogeneity, 1975. {\it Glasnik Mathematicki} 10:9-23] proved that any $(t,1)$-liking digraph is the complete digraph on $t+1$ vertices for each $t\geq 3$. Choi {\it et al}. [A digraph version of the Friendship Theorem, 2025. {\it Discrete mathematics}, 348(1), 114238] showed that a $(2,1)$-liking digraph is a fancy wheel digraph or a $k$-diregular digraph for some positive integer $k$. In this paper, we extend these results by completely characterizing the $(t,λ)$-liking digraphs with $t \geq λ+2$ and giving some equivalent conditions for a $(t,λ)$-liking digraph being a complete digraph on $t+λ$ vertices.

It is well-known and easy to show that even the following version of the directed travelling salesman problem is NP-complete: Given a strongly connected complete digraph $D=(V,A)$, a cost function $w: A\rightarrow \{0,1\}$ and a natural number $K$; decide whether $D$ has a directed Hamiltonian cycle of cost at most $K$. We study the following variant of this problem for $\{0,1\}$-weighted semicomplete digraphs where the set of arcs which have cost 1 form a collection of vertex-disjoint complete digraphs. A digraph is \textbf{semicomplete multipartite} if it can be obtained from a semicomplete digraph $D$ by choosing a collection of vertex-disjoint subsets $X_1,\ldots{},X_c$ of $V(D)$ and then deleting all arcs both of whose end-vertices lie inside some $X_i$. Let $D$ be a semicomplete digraph with a cost function $w$ as above, where $w(a)=1$ precisely when $a$ is an arc inside one of the subsets $X_1,\ldots{},X_c$ and let $D^*$ be the corresponding \smd{} that we obtain by deleting all arcs inside the $X_i$'s. Then every cycle $C$ of $D$ corresponds to a {\bf generalized cycle} $C^g$ of $D^*$ which is either the cycle $C$ itself if $w(C)=0$ or a collection of two or more paths that we obtain by deleting all arcs of cost 1 on $C$. Similarly we can define a {\bf generalized path} $P^g$ in a semicomplete multipartite digraph. The purpose of this paper is to study structural and algorithmic properties of generalized paths and cycles in semicomplete multipartite digraphs. This allows us to identify classes of directed $\{0,1\}$-weighted TSP instances that can be solved in polynomial time as well as others for which we can get very close to the optimum in polynomial time. Along with these results we also show that two natural questions about properties of cycles meeting all partite sets in semicomplete multipartite digraphs are NP-complete.

The dichromatic number $χ(\vec{G})$ of a digraph $\vec{G}$ is the minimum number of colors needed to color the vertices $V(\vec{G})$ in such a way that no monochromatic directed cycle is obtained. In this note, for any $k\in \mathbb{N}$, we give a simple construction of tournaments with dichromatic number exactly equal to $k$. The proofs are based on a combinatorial lemma on partitioning a checkerboard which may be of independent interest. We also generalize our finite construction to give an elementary construction of a complete digraph of cardinality equal to the cardinality of $\mathbb{R}$ and having an uncountable dichromatic number. Furthermore, we also construct an oriented balanced complete $n$-partite graph $\vec{K}^{(m)}_n$, such that the minimum number of colors needed to color its vertices such that there is no monochromatic directed triangle is greater than or equal to $nm/(n+2m-2)$.

For a finite abelian group $A$, define $f(A)$ to be the minimum integer such that for every complete digraph $Γ$ on $f$ vertices and every map $w:E(Γ) \rightarrow A$, there exists a directed cycle $C$ in $Γ$ such that $\sum_{e \in E(C)}w(e) = 0$. The study of $f(A)$ was initiated by Alon and Krivelevich (2021). In this article, we prove that $f(\mathbb{Z}_p^k) = O(pk (\log k)^2)$, where $p$ is prime, with an improved bound of $O(k \log k)$ when $p = 2$. These bounds are tight up to a factor which is polylogarithmic in $k$.

Recently, Draganić, Munhá Correia, Sudakov and Yuster showed that every tournament on $(2+o(1))k^2$ vertices contains a $1$-subdivision of a transitive tournament on $k$ vertices, which is tight up to a constant factor. We prove a counterpart of their result for immersions. Let $f(k)$ be the smallest integer such that any tournament on at least $f(k)$ vertices must contain a $1$-immersion of a transitive tournament on $k$ vertices. We show that $f(k)=O(k)$, which is clearly tight up to a multiplicative factor. If one insists in finding an immersion of a complete directed graph on $k$ vertices then an extra condition on the tournament is necessary. Indeed, we show that every tournament with minimum out-degree at least $Ck$ must contain a $2$-immersion of a complete digraph on $k$ vertices. This is again tight up to the value of $C$ and tight on the order of the paths in the immersion.

An automata network with $n$ components over a finite alphabet $Q$ of size $q$ is a discrete dynamical system described by the successive iterations of a function $f:Q^n\to Q^n$. In most applications, the main parameter is the interaction graph of $f$: the digraph with vertex set $[n]$ that contains an arc from $j$ to $i$ if $f_i$ depends on input $j$. What can be said on the set $\mathbb{G}(f)$ of the interaction graphs of the automata networks isomorphic to $f$? It seems that this simple question has never been studied. Here, we report some basic facts. First, we prove that if $n\geq 5$ or $q\geq 3$ and $f$ is neither the identity nor constant, then $\mathbb{G}(f)$ always contains the complete digraph $K_n$, with $n^2$ arcs. Then, we prove that $\mathbb{G}(f)$ always contains a digraph whose minimum in-degree is bounded as a function of $q$. Hence, if $n$ is large with respect to $q$, then $\mathbb{G}(f)$ cannot only contain $K_n$. However, we prove that $\mathbb{G}(f)$ can contain only dense digraphs, with at least $\lfloor n^2/4 \rfloor$ arcs.

A coloring of a digraph is a partition of its vertex set such that each class induces a digraph with no directed cycles. A digraph is $k$-chromatic if $k$ is the minimum number of classes in such partition, and a digraph is oriented if there is at most one arc between each pair of vertices. Clearly, the smallest $k$-chromatic digraph is the complete digraph on $k$ vertices, but determining the order of the smallest $k$-chromatic oriented graphs is a challenging problem. It is known that the smallest $2$-, $3$- and $4$-chromatic oriented graphs have $3$, $7$ and $11$ vertices, respectively. In 1994, Neumann-Lara conjectured that a smallest $5$-chromatic oriented graph has $17$ vertices. We solve this conjecture and show that the correct order is $19$.

The dichromatic number of a digraph $G$ is the smallest integer $χ_a(G)$ such that the vertex set of $G$ can be partitioned into $χ_a(G)$ sets, each of which induces an acyclic subdigraph. This is a generalization of the classic chromatic number of graphs. Here, we investigate the dichromatic number of the cartesian, direct, strong and lexicographic products, giving generalizations of some classic results on the chromatic number of products. More specifically, we prove that the following inequalities, known to hold for the chromatic number of graphs, still hold for the dichromatic number of digraphs: $χ_a(G\square H)=\max\{χ_a(G),χ_a(H)\}$; $χ_a(G\times H)\le \min\{χ_a(G),χ_a(H)\}$; and $χ_a(G[H]) = χ_a(G[\overset{\leftrightarrow}{K}_k])$, where $k =χ_a(H)$ and $\overset{\leftrightarrow}{K}_k$ denotes the complete digraph on $k$ vertices. In addition, we investigate the products of directed cycles, giving exact values for $χ_a(\overset{\rightarrow}{C}_n\times \overset{\rightarrow}{C}_m)$ and $χ_a(\overset{\rightarrow}{C}_n\boxtimes \overset{\rightarrow}{C}_m)$ for every $n,m$, and for $χ_a(\overset{\rightarrow}{C}_n[H])$ for every positive integer $n$. This latter result generalizes a result given in \cite{PP.16}, where they give exact values when $n>χ_a(H)$. We also provide a upper-bound to the dichromatic number of a digraph $G$ as a function of the treewidth of its underlying graph and we present an {\FPT}-time algorithm that computes the dichromatic number of $G$, when parameterized by treewidth of the underlying graph of $G$.

A digraph $G$ \emph{immerses} a digraph $H$ if there is an injection $f : V(H) \to V(G)$ and a collection of pairwise edge-disjoint directed paths $P_{uv}$, for $uv \in E(H)$, such that $P_{uv}$ starts at $u$ and ends at $v$. We prove that every Eulerian digraph with minimum out-degree $t$ immerses a complete digraph on $Ω(t)$ vertices, thus answering a question of DeVos, Mcdonald, Mohar, and Scheide.