For a set of integers $I$, we define a $q$-ary $I$-cycle to be a assignment of the symbols 1 through $q$ to the integers modulo $q^n$ so that every word appears on some translate of $I$. This definition generalizes that of de Bruijn cycles, and opens up a multitude of questions. We address the existence of such cycles, discuss ``reduced'' cycles (ones in which the all-zeroes string need not appear), and provide general bounds on the shortest sequence which contains all words on some translate of $I$. We also prove a variant on recent results concerning decompositions of complete graphs into cycles and employ it to resolve the case of $|I|=2$ completely.
A generalized de Bruijn digraph generalizes a de Bruijn digraph to the case where the number of vertices need not be a pure power of an integer. Hamiltonian cycles in these digraphs thus generalize regular de~Bruijn cycles, and we will thus refer to them simply as de Bruijn cycles. We define the cross-join to be the graph with all de Bruijn cycles as vertices, there is an edge between two of these vertices if one can be obtained from the other via a cross-join operation. We show that the cross-join graph is connected. This in particular means that any regular de Bruijn cycle can be cross-joine…
A de Bruijn cycle is a cyclic listing of length A, of a collection of A combinatorial objects, so that each object appears exactly once as a set of consecutive elements in the cycle. In this paper, we show the power of de Bruijn's original theorem, namely that the cycles bearing his name exist for n-letter words on a k-letter alphabet for all values of k,n, to prove that we can create de Bruijn cycles for the assignment of elements of [n]={1,2,....,n} to the sets in any labeled subposet of the Boolean lattice; de Bruijn's theorem corresponds to the case when the subposet in question consists o…
We present sufficient conditions for when an ordering of universal cycles $α_1, α_2, \ldots, α_m$ for disjoint sets $\mathbf{S}_1, \mathbf{S}_2, \ldots , \mathbf{S}_m$ can be concatenated together to obtain a universal cycle for $\mathbf{S} = \mathbf{S}_1 \cup \mathbf{S}_2 \cup \cdots \cup \mathbf{S}_m$. When $\mathbf{S}$ is the set of all $k$-ary strings of length $n$, the result of such a successful construction is a de Bruijn sequence. Our conditions are applied to generalize two previously known de Bruijn sequence constructions and then they are applied to develop three new de Bruijn seque…
We propose a new camera-based method of robot identification, tracking and orientation estimation. The system utilises coloured lights mounted in a circle around each robot to create unique colour sequences that are observed by a camera. The number of robots that can be uniquely identified is limited by the number of colours available, $q$, the number of lights on each robot, $k$, and the number of consecutive lights the camera can see, $\ell$. For a given set of parameters, we would like to maximise the number of robots that we can use. We model this as a combinatorial problem and show that i…
This paper presents a method to find new De Bruijn cycles based on ones of lesser order. This is done by mapping a De Bruijn cycle to several vertex disjoint cycles in a De Bruijn digraph of higher order and connecting these cycles into one full cycle. We characterize homomorphisms between De Bruijn digraphs of different orders that allow this construction. These maps generalize the well-known D-morphism of Lempel between De Bruijn digraphs of consecutive orders. Also, an efficient recursive algorithm that yields an exponential number of nonbinary De Bruijn cycles is implemented.
The skew of a binary string is the difference between the number of zeroes and the number of ones, while the length of the string is the sum of these two numbers. We consider certain suffixes of the lexicographically-least de Bruijn sequence at natural breakpoints of the binary string. We show that the skew and length of these suffixes are enumerated by sequences generalizing the Fibonacci and Lucas numbers, respectively.
We propose a novel construction for the well-known prefer-max De Bruijn sequence, based on the cycle joining technique. We further show that the construction implies known results from the literature in a straightforward manner. First, it implies the correctness of the onion theorem, stating that, effectively, the reverse of prefer-max is in fact an infinite De Bruijn sequence. Second, it implies the correctness of recently discovered shift rules for prefer-max, prefer-min, and their reversals. Lastly, it forms an alternative proof for the seminal FKM-theorem.
The state diagrams of a class of singular linear feedback shift registers (LFSR) are discussed. It is shown that the state diagrams of the given LFSR have special structures. An algorithm is presented to construct a new class of de Bruijn cycles from the state diagrams of these singular LFSR.
The de Bruijn torus (or grid) problem looks to find an $n$-by-$m$ binary matrix in which every possible $j$-by-$k$ submatrix appears exactly once. The existence and construction of these binary matrices was determined in the 70's, with generalizations to $d$-ary matrices in the 80's and 90's. However, these constructions lacked efficient decoding methods, leading to new constructions in the early 2000's. The new constructions develop cross-shaped patterns (rather than rectangular), and rely on a concept known as a half de Bruijn sequence. In this paper, we further advance this construction bey…
The goal of this paper is to solve Problem 481 from the list of research problems in the special issue of Discrete Mathematics dedicated to the Banff International Research Station workshop on "Generalizations of de Bruijn Cycles and Gray Codes" in 2004. Overlap cycles are generalizations of de Bruijn cycles and Gray codes that were introduced originally in 2010 by Godbole et al. In this paper we prove that s-overlap cycles for k-permutations of [n] exist for all k<n.
A de Bruijn covering code is a q-ary string S so that every q-ary string is at most R symbol changes from some n-word appearing consecutively in S. We introduce these codes and prove that they can have length close to the smallest possible covering code. The proof employs tools from field theory, probability, and linear algebra. We also prove a number of ``spectral'' results on de Bruijn covering codes. Included is a table of the best known bounds on the lengths of small binary de Bruijn covering codes, up to R=11 and n=13, followed by several open questions in this area.
We show that for every $n \geq 1$ and over any finite alphabet, there is a word whose circular factors of length $n$ have a one-to-one correspondence with the set of primitive words. In particular, we prove that such a word can be obtained by a greedy algorithm, or by concatenating all Lyndon words of length $n$ in increasing lexicographic order. We also look into connections between de Bruijn graphs of primitive words and Lyndon graphs. Finally, we also show that the shortest word that contains every $p$-power of length $pn$ over a $k$-letter alphabet has length between $pk^n$ and roughly $(p…
A maximal minor $M$ of the Laplacian of an $n$-vertex Eulerian digraph $Γ$ gives rise to a finite group $\mathbb{Z}^{n-1}/\mathbb{Z}^{n-1}M$ known as the sandpile (or critical) group $S(Γ)$ of $Γ$. We determine $S(Γ)$ of the generalized de Bruijn graphs $Γ=\mathrm{DB}(n,d)$ with vertices $0,\dots,n-1$ and arcs $(i,di+k)$ for $0\leq i\leq n-1$ and $0\leq k\leq d-1$, and closely related generalized Kautz graphs, extending and completing earlier results for the classical de Bruijn and Kautz graphs. Moreover, for a prime $p$ and an $n$-cycle permutation matrix $X\in\mathrm{GL}_n(p)$ we show that $…
We propose a construction of de Bruijn sequences by the cycle joining method from linear feedback shift registers (LFSRs) with arbitrary characteristic polynomial $f(x)$. We study in detail the cycle structure of the set $Ω(f(x))$ that contains all sequences produced by a specific LFSR on distinct inputs and provide a fast way to find a state of each cycle. This leads to an efficient algorithm to find all conjugate pairs between any two cycles, yielding the adjacency graph. The approach is practical to generate a large class of de Bruijn sequences up to order $n \approx 20$. Many previously pr…
Let $G=(V,A)$ be a digraph and $k\ge 1$ an integer. For $u,v\in V$, we say that the vertex $u$ distance $k$-dominate $v$ if the distance from $u$ to $v$ at most $k$. A set $D$ of vertices in $G$ is a distance $k$-dominating set if for each vertex of $V\setminus D$ is distance $k$-dominated by some vertex of $D$. The {\em distance $k$-domination number} of $G$, denoted by $γ_{k}(G)$, is the minimum cardinality of a distance $k$-dominating set of $G$. Generalized de Bruijn digraphs $G_B(n,d)$ and generalized Kautz digraphs $G_K(n,d)$ are good candidates for interconnection networks. Tian and Xu …
We compute the exact maximum state complexity for the language consisting of $m$ words of length $N$, and characterize languages achieving the maximum. We also consider a special case, namely languages $C(w)$ consisting of the conjugates of a single word $w$. The words for which the maximum state complexity of $C(w)$ is achieved turn out to be a natural generalization of de Bruijn words. We show that generalized de Bruijn words exist for each length and consider the number of them.
Universal Cycles, or U-cycles, as originally defined by de Bruijn, are an efficient method to exhibit a large class of combinatorial objects in a compressed fashion, and with no repeats. de Bruijn's theorem states that U-cycles for $n$ letter words on a $k$ letter alphabet exist for all $k$ and $n$. Much has already been proved about Universal Cycles for a variety of other objects. This work is intended to augment the current research in the area by exhibiting U-cycles for {\it complementary classes}. Results will be presented that exhibit the existence of U-cycles for class-alternating words …
We determine the critical groups of the generalized de Bruijn graphs DB$(n,d)$ and generalized Kautz graphs Kautz$(n,d)$, thus extending and completing earlier results for the classical de Bruijn and Kautz graphs. Moreover, for a prime $p$ the critical groups of DB$(n,p)$ are shown to be in close correspondence with groups of $n\times n$ circulant matrices over $\mathbb{F}_p$, which explains numerical data in [OEIS:A027362], and suggests the possibility to construct normal bases in $\mathbb{F}_{p^n}$ from spanning trees in DB$(n,p)$.
We introduce the notion of unavoidable (complete) sets of word patterns, which is a refinement for that of words, and study certain numerical characteristics for unavoidable sets of patterns. In some cases we employ the graph of pattern overlaps introduced in this paper, which is a subgraph of the de Bruijn graph and which we prove to be Hamiltonian. In other cases we reduce a problem under consideration to known facts on unavoidable sets of words. We also give a relation between our problem and intensively studied universal cycles, and prove there exists a universal cycle for word patterns of…
We put forward new general criteria to design successor rules that generate binary de Bruijn sequences. Prior fast algorithms based on successor rules in the literature are then shown to be special instances. We implemented the criteria to join the cycles generated by a number of simple feedback shift registers (FSRs) of order $n$. These include the pure cycling register (PCR) and the pure summing register (PSR). For the PCR, we define a transitive relation on its cycles, based on their weights. We also extend the choices of conjugate states by using shift operations. For the PSR, we define th…
We study how to generate binary de Bruijn sequences efficiently from the class of simple linear feedback shift registers with feedback function $f(x_0, x_1, \ldots, x_{n-1}) = x_0 + x_1 + x_{n-1}$ for $n \geq 3$, using the cycle joining method. Based on the properties of this class of LFSRs, we propose two new generic successor rules, each of which produces at least $2^{n-3}$ de Bruijn sequences. These two classes build upon a framework proposed by Gabric, Sawada, Williams and Wong in Discrete Mathematics vol. 341, no. 11, pp. 2977--2987, November 2018. Here we introduce new useful choices for…
This paper initiates the study of shortening universal cycles (u-cycles) and universal words (u-words) for permutations either by using incomparable elements, or by using non-deterministic symbols. The latter approach is similar in nature to the recent relevant studies for the de Bruijn sequences. A particular result we obtain in this paper is that u-words for $n$-permutations exist of lengths $n!+(1-k)(n-1)$ for $k=0,1,\ldots,(n-2)!$.
We propose a general greedy algorithm for binary de Bruijn sequences, called Generalized Prefer-Opposite (GPO) Algorithm, and its modifications. By identifying specific feedback functions and initial states, we demonstrate that most previously-known greedy algorithms that generate binary de Bruijn sequences are particular cases of our new algorithm.
A set of n points in the plane which are not all collinear defines at least n distinct lines. Chen and Chvátal conjectured in 2008 that a similar result can be achieved in the broader context of finite metric spaces. This conjecture remains open even for graph metrics. In this article we prove that graphs with no induced house nor induced cycle of length at least~5 verify the desired property. We focus on lines generated by vertices at distance at most 2, define a new notion of ``good pairs'' that might have application in larger families, and finally use a discharging technique to count lines…
A universal cycle, or u-cycle, for a given set of words is a circular word that contains each word from the set exactly once as a contiguous subword. The celebrated de Bruijn sequences are a particular case of such a u-cycle, where a set in question is the set $A^n$ of all words of length $n$ over a $k$-letter alphabet $A$. A universal word, or u-word, is a linear, i.e. non-circular, version of the notion of a u-cycle, and it is defined similarly. Removing some words in $A^n$ may, or may not, result in a set of words for which u-cycle, or u-word, exists. The goal of this paper is to study the …
Universal cycles are generalizations of de Bruijn cycles and Gray codes that were introduced originally by Chung, Diaconis, and Graham in 1990. They have been developed by many authors since, for various combinatorial objects such as strings, subsets, permutations, partitions, vector spaces, and designs. One generalization of universal cycles, which require almost complete overlap of consecutive words, is s-overlap cycles, which relax such a constraint. In this paper we study weak orders, which are relations that are transitive and complete. We prove the existence of universal and s-overlap cy…
We count cycles of an unbounded length in generalized Johnson graphs. Asymptotics of the number of such cycles is obtained for certain growth rates of the cycle length.
We extend the exponential formula by Bender and Canfield (1996), which relates log-concavity and the cycle index polynomials. The extension clarifies the log-convexity relation. The proof is by noticing the property of a compound Poisson distribution together with its moment generating function. We also give a combinatorial proof of extended "log-convex part" referring Bender and Canfield's approach, where the formula by Bruijn and Erdös (1953) is additionally exploited. The combinatorial approach yields richer structural results more than log-convexity. Furthermore, we consider normal and bin…
The Bubble-sort graph $BS_n,\,n\geqslant 2$, is a Cayley graph over the symmetric group $Sym_n$ generated by transpositions from the set $\{(1 2), (2 3),\ldots, (n-1 n)\}$. It is a bipartite graph containing all even cycles of length $\ell$, where $4\leqslant \ell\leqslant n!$. We give an explicit combinatorial characterization of all its $4$- and $6$-cycles. Based on this characterization, we define generalized prisms in $BS_n,\,n\geqslant 5$, and present a new approach to construct a Hamiltonian cycle based on these generalized prisms.
Watkins (1969) first introduced the generalized Petersen graphs (GPGs) by modifying Petersen graph. Zhou and Feng (2012) modified GPGs and introduced the double generalized Petersen graphs (DGPGs). Kutnar and Petecki (2016) proved that DGPGs are Hamiltonian in special cases and conjectured that all DGPGs are Hamiltonian. In this paper, we construct Hamilton cycles in all DGPGs.
Let G be a graph whose edges are labeled by positive integers. Label each vertex with an integer and suppose if two vertices are joined by an edge, the vertex labels are congruent to each other modulo the edge label. The set of vertex labels satisfying this condition is called a generalized spline. Gilbert, Polster, and Tymoczko recently defined generalized splines based on work on polynomial splines by Billera, Rose, Haas, Goresky-Kottwitz-Machperson, and many others. We focus on generalized splines on $n$-cycles. We construct a particularly nice basis for the module of splines on $n$-cycles.…
Shorthand Universal Tori for Permutations: Existence, Symmetry, and Generation of Twori
Universität Hamburg（汉堡大学）；Massachusetts College of Liberal Arts（马萨诸塞文理学院）；Universität Kassel（卡塞尔大学）；University of Guelph（圭尔夫大学）；Lakehead University（湖首大学）；Williams College（威廉姆斯学院）
The anti-Ramsey number $Ar(G,H)$ is the maximum number of colors in an edge-coloring of $G$ with no rainbow copy of $H$. In this paper, we determine the exact anti-Ramsey number in the generalized Petersen graph $P_{n,k}$ for cycles $C_d$, where $1\leq k\leq \lfloor \frac{n-1}{2} \rfloor$ and $5\le d \le 6$. We also give an algorithm to obtain the upper bound or lower bound of anti-Ramsey number.
We determine the maximum number of copies of $K_{s,s}$ in a $C_{2s+2}$-free $n$-vertex graph for all integers $s \ge 2$ and sufficiently large $n$. Moreover, for $s\in\{2,3\}$ and any integer $n$ we obtain the maximum number of cycles of length $2s$ in an $n$-vertex $C_{2s+2}$-free bipartite graph.
We develop direct bijections between the set $F_n^k$ of minimal factorizations of the long cycle $(0\,1\,\cdots\, kn)$ into $(k+1)$-cycle factors and the set $R_n^k$ of rooted labelled forests on vertices $\{1,\ldots,n\}$ with edges coloured with $\{0,1,\ldots,k-1\}$ that map natural statistics on the former to generalized Mahonian statistics on the latter. In particular, we examine the generalized major index on forests $R_n^k$ and show that it has a simple and natural interpretation in the context of factorizations. Our results extend those by the present authors (2021), which treated the ca…
We introduce a combinatorial enumeration problem that is solved using generalized Catalan numbers. We also study generalizations of the Cycle Lemma beyond the computation of the generalized Catalan numbers.
An edge coloring of a simple graph $G$ is said to be \textit{proper rainbow-cycle-forbidding} (PRCF, for short) if no two incident edges receive the same color and for any cycle in $G$, at least two edges of that cycle receive the same color. A graph $G$ is defined to be \textit{PRCF-good} if it admits a PRCF edge coloring, and $G$ is deemed \textit{PRCF-bad} otherwise. In recent work, Hoffman, et al. study PRCF edge colorings and find many examples of PRCF-bad graphs having girth less than or equal to 4. They then ask whether such graphs exist having girth greater than 4. In our work, we give…
Gerbner, Patkós, Tuza, and Vizer recently initiated the study of $F$-saturated regular graphs. One of the essential problems in this line of research is determining when such a graph exists. Using generalized sum-free sets we prove that for any odd integer $k \geq 5$, there is an $n$-vertex regular $C_k$-saturated graph for all $n \geq n_k$. Our proof is based on constructing a special type of sum-free set in $\mathbb{Z}_n$. We prove that for all even $\ell \geq 4$ and integers $n > 12 \ell^2 + 36 \ell + 24$, there is a symmetric complete $( \ell , 1)$-sum-free set in $\mathbb{Z}_n$. We pose t…
Given graphs $F$ and $H$, the generalized rainbow Turán number $\text{ex}(n,F,\text{rainbow-}H)$ is the maximum number of copies of $F$ in an $n$-vertex graph with a proper edge-coloring that contains no rainbow copy of $H$. B. Janzer determined the order of magnitude of $\text{ex}(n,C_s,\text{rainbow-}C_t)$ for all $s\geq 4$ and $t\geq 3$, and a recent result of O. Janzer implied that $\text{ex}(n,C_3,\text{rainbow-}C_{2k})=O(n^{1+1/k})$. We prove the corresponding upper bound for the remaining cases, showing that $\text{ex}(n,C_3,\text{rainbow-}C_{2k+1})=O(n^{1+1/k})$. This matches the known…
In a generalized Turán problem, we are given graphs $H$ and $F$ and seek to maximize the number of copies of $H$ in an $F$-free graph of order $n$. We consider generalized Turán problems where the host graph is planar. In particular we obtain the order of magnitude of the maximum number of copies of a fixed tree in a planar graph containing no even cycle of length at most $2\ell$, for all $\ell$, $\ell \geq 1$. We obtain the order of magnitude of the maximum number of cycles of a given length in a planar $C_4$-free graph. An exact result is given for the maximum number of $5$-cycles in a $C_4$…
The arboricity of a graph G is the minimum number of colours needed to colour the edges of G so that every cycle gets at least two colours. Given a positive integer p, we define the generalized p-arboricity Arb_p(G) of a graph G as the minimum number of colours needed to colour the edges of a multigraph G in such a way that every cycle C gets at least min(|C|; p + 1) colours. In the particular case where G has girth at least p + 1, Arb_p(G) is the minimum size of a partition of the edge set of G such that the union of any p parts induce a forest. If we require further that the edge colouring b…
This paper studies thresholds in random generalized Johnson graphs for containing large cycles, i.e. cycles of variable length growing with the size of the graph. Thresholds are obtained for different growth rates.
In 1952, Dirac proved that every $2$-connected $n$-vertex graph with the minimum degree $k+1$ contains a cycle of length at least $\min\{n, 2(k+1)\}$. Here we obtain a stability version of this result by characterizing those graphs with minimum degree $k$ and circumference at most $2k+1$. We present applications of the above-stated result by obtaining generalized Turán numbers. In particular, for all $\ell \geq 5$ we determine how many copies of a five-cycle as well as four-cycle are necessary to guarantee that the graph has circumference larger than $\ell$. In addition, we give a new proof of…
We prove the existence of infinite classes of cyclic G-decompositions of the complete multipartite graph, G being a caterpillar, a hairy cycle or a cycle. All the results are obtained by the construction of d-divisible $α$-labelings of G, introduced in [A. Pasotti, On d-graceful labelings, to appear on Ars Combin.] as a generalization of classical $α$-labelings, whose existence implies that one of graph decompositions.
