arXiv++ Combinatorics

We study periodicity properties of the 2-D $\bigl(p_1(t)/p_2(t),\, tp_3(t)\bigr)$ and 3-D $\bigl(p_1(t)/p_2(t),\, tp_3(t),\, p_4(t)\bigr)$ Riordan arrays over a finite field ${\mathbb F}_q$, where each $p_i(t)$ is a polynomial with $p_i(0)\neq 0$. We show that the columns of the 2-D Riordan array are eventually periodic sequences, where a circulant matrix generated by the coefficients of $p_3(t)$ determines the behavior of this periodicity as the column index grows indefinitely. Furthermore, we prove that the preperiodic column partial sums of the 2-D array are periodic, and present a family of the Riordan arrays for which such sequences of partial sums are identically zero. We also show that the layers of the 3-D Riordan array contain periodic orbits related to each other via powers of a circulant matrix generated by the coefficients of $p_4(t)$.

Negative avoiding sequences of span $n$ are periodic sequences of elements from $\mathbb{Z}_k$ for some $k$ with the property that no $n$-tuple occurs more than once in a period and if an $n$-tuple does occur then its negative does not. They are a special type of cut-down de Bruijn sequence with potential position-location applications. We establish a simple upper bound on the period of such a sequence, and refer to sequences meeting this bound as maximal negative avoiding sequences. We then go on to demonstrate the existence of maximal negative avoiding sequences for every $k\geq3$ and every $n\geq2$.

We compare ordinary and symmetric variants of two classical measures of pseudorandomness for binary sequences, the $2$-adic complexity and the linear complexity. In the periodic setting, we show that for binary periodic sequences constructed from the binary expansions of non-palindromic primes, the symmetric $2$-adic complexity can be strictly smaller than the ordinary $2$-adic complexity. We also give a direct proof (of the known result) that the linear complexity of a periodic binary sequence is invariant under reversal, and hence coincides with its symmetric version. In the aperiodic setting, we provide explicit families of finite binary sequences for which both the $N$th symmetric 2-adic complexity and the $N$th symmetric linear complexity are substantially smaller than their ordinary counterparts. Furthermore, we show that the expected values of the $N$th rational complexity and of the $N$th exponential linear complexity exceed those of their symmetric analogues by at least a term of order of magnitude $N$. Thus, the effect of symmetrization is clearly visible on an exponential scale. We also establish lower bounds for the expected values of the symmetric rational complexity, symmetric $2$-adic complexity, symmetric linear complexity, and symmetric exponential linear complexity.

Orientable sequences, periodic sequences in which any $n$-tuple appears at most once in either direction, were introduced in the early 1990s for use in certain position location applications; constructions and upper bounds on the period for the binary case were published by Dai et al. More recent work has focussed on $k$-ary sequences for arbitrary $k>2$; one method of construction involves negative orientable sequences, in which an $n$-tuple appears at most once in either the sequence or the negative of its reverse. In this paper we show how additional $n$-tuples can be added to one previously described approach for generating negative orientable sequences, resulting in new sequences with asymptotically optimal period. These sequences can in turn be used to generate orientable sequences, again with asymptotically optimal period.

Negative orientable sequences, i.e. periodic sequences with elements from a finite alphabet of size at least three in which an n-tuple or the negative of its reverse appears at most once in a period of the sequence, were introduced by Alhakim et al. in 2024. The main goal in defining them was as a means of generating orientable sequences, which have automatic position location applications, although they are potentially of interest in their own right. In this paper we develop new upper bounds on the period of negative orientable sequences which, for n>2, are significantly sharper than the previous known bound. The approach used to develop the new bounds involves examining the nodes in the subgraph of the de Bruijn graph corresponding to a negative orientable sequence, and to consider the implications of the fact that the in-degree of every vertex in this subgraph must equal the out-degree. However, despite improving the bounds, a gap remains between the largest known period for a negative orientable sequence and the corresponding bounds for every n>2.

Classical studies of the Fibonacci sequence focus on its periodicity modulo $m$ (the Pisano periods) with canonical initialization. We investigate instead the complete periodic structure arising from all $m^2$ possible initializations in $\mathbb{Z}/m\mathbb{Z}$. We discover perfect mirror symmetry between the Fibonacci recurrence $a_n = a_{n-1} + a_{n-2}$ and its parity transform $a_n = - a_{n-1} + a_{n-2}$ and observe fractal self-similarity in the extension from prime to prime power moduli. Additionally, we classify prime moduli based on their quadratic reciprocity and demonstrate that periodic sequences exhibit weight preservation under modular extension. Furthermore, we define a minima distribution $P(n)$ governed by Lucas ratios, which satisfies the symmetric relation $P(n)=P(1-n)$. For cyclotomic recurrences, we propose explicit counting functions for the number of distinct periods with connections to necklace enumeration. These findings imply potential connections to Viswanath's random recurrence, modular forms and L-functions.

Orientable sequences of order n are infinite periodic sequences with symbols drawn from a finite alphabet of size k with the property that any particular subsequence of length n occurs at most once in a period in either direction. They were introduced in the early 1990s in the context of possible applications in position sensing. Bounds on the period of such sequences and a range of methods of construction have been devised, although apart from very small cases a significant gap remains between the largest known period for such a sequence and the best known upper bound. In this paper we first give improved upper bounds on the period of such sequences. We then give a new general method of construction for orientable sequences involving subgraphs of the de Bruijn graph with special properties, and describe two different approaches for generating such subgraphs. This enables us to construct orientable sequences with periods meeting the improved upper bounds when n is 2 or 3, as well as n=4 and k odd. For 4\leq n\leq 8, in some cases the sequences produced by the methods described have periods larger than for any previously known sequences.

When $p(t)$ is a polynomial of degree $d$, $k$-th column of the Riordan array $\bigl(1/(1 - t^{d+1}), tp(t)\bigr)$ is an eventually periodic sequence with the repeating part beginning at the $1 + (k-1)(d+1)$-st term. The pre-periodic terms add up to the $(k-1)(d+1)$-st partial sum of the corresponding formal power series, and thus the Riordan array of $p(t)$ generates a sequence of column partial sums. We classify linear and quadratic polynomials, and present a particular family of polynomials of higher degrees, for which such sequences of column partial sums are eventually periodic.

We describe new, simple, recursive methods of construction for orientable sequences over an arbitrary finite alphabet, i.e. periodic sequences in which any sub-sequence of n consecutive elements occurs at most once in a period in either direction. In particular we establish how two variants of a generalised Lempel homomorphism can be used to recursively construct such sequences, generalising previous work on the binary case. We also derive an upper bound on the period of an orientable sequence.

We introduce a generalization of parking functions called $t$-metered $(m,n)$-parking functions, in which one of $m$ cars parks among $n$ spots per hour then leaves after $t$ hours. We characterize and enumerate these sequences for $t=1$, $t=m-2$, and $t=n-1$, and provide data for other cases. We characterize the $1$-metered parking functions by decomposing them into sections based on which cars are unlucky, and enumerate them using a Lucas sequence recursion. Additionally, we establish a new combinatorial interpretation of the numerator of the continued fraction $n-1/(n-1/\cdots)$ ($n$ times) as the number of $1$-metered $(n,n)$-parking functions. We introduce the $(m,n)$-parking function shuffle in order to count $(m-2)$-metered $(m,n)$-parking functions, which also yields an expression for the number of $(m,n)$-parking functions with any given first entry. As a special case, we find that the number of $(m-2)$-metered $(m, m-1)$-parking functions is equal to the sum of the first entries of classical parking function of length $m-1$. We enumerate the $(n-1)$-metered $(m,n)$-parking functions in terms of the number of classical parking functions of length $n$ with certain parking outcomes, which we show are periodic sequences with period $n$. We conclude with an array of open problems.

In combinatorics on words, the well-studied factor complexity function $ρ_{\infw{x}}$ of a sequence $\infw{x}$ over a finite alphabet counts, for every nonnegative integer $n$, the number of distinct length-$n$ factors of $\infw{x}$. In this paper, we introduce the \emph{reflection complexity} function $r_{\infw{x}}$ to enumerate the factors occurring in a sequence $\infw{x}$, up to reversing the order of symbols in a word. We prove a number of results about the growth properties of $r_{\infw{x}}$ and its relationship with other complexity functions. We also prove a Morse--Hedlund-type result characterizing eventually periodic sequences in terms of their reflection complexity, and we deduce a characterization of Sturmian sequences. We investigate the reflection complexity of quasi-Sturmian, episturmian, $(s+1)$-dimensional billiard, complementation-symmetric Rote, and rich sequences. Furthermore, we prove that if $\infw{x}$ is $k$-automatic, then $r_{\infw{x}}$ is computably $k$-regular, and we use the software \texttt{Walnut} to evaluate the reflection complexity of some automatic sequences, such as the Thue--Morse sequence. We note that there are still many unanswered questions about this reflection measure.

In this work we introduce a new notion called opacity complexity to measure the complexity of automatic sequences. We study basic properties of this notion, and exhibit an algorithm to compute it. As applications, we compute the opacity complexity of some well-known automatic sequences, including in particular constant sequences, purely periodic sequences, the Thue-Morse sequence, the period-doubling sequence, the Golay-Shapiro(-Rudin) sequence, the paperfolding sequence, the Baum-Sweet sequence, the Tower of Hanoi sequence, and so on.

A \emph{periodic graph} ${\cal G}=(G_0, G_1, G_2, \dots)$ with period $p$ is an infinite periodic sequence of graphs $G_i = G_{i + p} = (V,E_i)$, where $i \geq 0$. The graph $G=(V,\cup_i E_i)$ is called the footprint of ${\cal G}$. Recently, the arena where the Cops and Robber game is played has been extended from a graph to a periodic graph; in this case, the \emph{cop number} is also the minimum number of cops sufficient for capturing the robber. We study the connections and distinctions between the cop number $c({\cal G})$ of a periodic graph ${\cal G}$ and the cop number $c(G)$ of its footprint $G$ and establish several facts. For instance, we show that the smallest periodic graph with $c({\cal G}) = 3$ has at most $8$ nodes; in contrast, the smallest graph $G$ with $c(G) = 3$ has $10$ nodes. We push this investigation by generating multiple examples showing how the cop numbers of a periodic graph ${\cal G}$, the subgraphs $G_i$ and its footprint $G$ can be loosely tied. Based on these results, we derive upper bounds on the cop number of a periodic graph from properties of its footprint such as its treewidth.

We consider Riordan arrays $\bigl(1/(1-t^{d+1}), ~ tp(t)\bigr)$. These are infinite lower triangular matrices determined by the formal power series $1/(1-t^{d+1})$ and a polynomial $p(t)$ of degree $d$. Columns of such matrix are eventually periodic sequences with a period of $d + 1$, and circulant matrices are used to describe the long term behavior of such periodicity when the column's index grows indefinitely. We also discuss some combinatorially interesting sequences that appear through the corresponding A - and Z - sequences of such Riordan arrays.

We study, through new recurrence relations for certain binomial coefficients modulo a power of a prime, the evolution of the primitives of a modular periodic sequence. We prove that we can reduce to study primitives of constant sequences and that the latter are controlled by modular binomial coefficients. Finally we apply our results to describe the dynamics of the primitives of the sequence considered by the Romanian composer Vieru in his "Book of Modes".

Kopczyński (ICALP 2006) conjectured that prefix-independent half-positional winning conditions are closed under finite unions. We refute this conjecture over finite arenas. For that, we introduce a new class of prefix-independent bi-positional winning conditions called energy conditions over totally ordered groups. We give an example of two such conditions whose union is not half-positional. We also conjecture that every prefix-independent bi-positional winning condition coincides with some energy condition over a totally ordered group on periodic sequences.

A birth-death chain is a discrete-time Markov chain on the integers whose transition probabilities $p_{i,j}$ are non-zero if and only if $|i-j|=1$. We consider birth-death chains whose birth probabilities $p_{i,i+1}$ form a periodic sequence, so that $p_{i,i+1}=p_{i \mod m}$ for some $m$ and $p_0,\ldots,p_{m-1}$. The trajectory $(X_n)_{n=0,1,\ldots}$ of such a chain satisfies a strong law of large numbers and a central limit theorem. We study the effect of reordering the probabilities $p_0,\ldots,p_{m-1}$ on the velocity $v=\lim_{n\to\infty} X_n/n$. The sign of $v$ is not affected by reordering, but its magnitude in general is. We show that for Lebesgue almost every choice of $(p_0,\ldots,p_{m-1})$, exactly $(m-1)!/2$ distinct speeds can be obtained by reordering. We make an explicit conjecture of the ordering that minimises the speed, and prove it for all $m\leq 7$. This conjecture is implied by a purely combinatorial conjecture that we think is of independent interest.

In this paper, we investigate the randomness properties of sequences in $\mathbb{Z}_v$ derived from permutations in $\mathbb{Z}_{p}^*$ using the remainder function modulo $v$, where $p$ is a prime integer. Motivated by earlier studies with a cryptographic focus we compare sequences constructed from the ElGamal function $x \to g^x$ for $x\in\mathbb{Z}_{>0}$ and $g$ a primitive element of $\mathbb{Z}_{p}^*$, to sequences constructed from random permutations of $\mathbb{Z}_{p}^*$. We prove that sequences obtained from ElGamal have maximal period and behave similarly to random permutations with respect to the balance and run properties of Golomb's postulates for pseudo-random sequences. Additionally we show that they behave similarly to random permutations for the tuple balance property. This requires some significant work determining properties of random balanced periodic sequences. In general, for these properties and excepting for very unlikely events, the ElGamal sequences behave the same as random balanced sequences.

For any integer $m\ge 2$ and a set $V\subset \{1,\dots,m\}$, let $(m,V)$ denote the union of congruence classes of the elements in $V$ modulo $m$. We study the Hankel determinants for the number of Dyck paths with peaks avoiding the heights in the set $(m,V)$. For any set $V$ of even elements of an even modulo $m$, we give an explicit description of the sequence of Hankel determinants in terms of subsequences of arithmetic progression of integers. There are numerous instances for varied $(m,V)$ with periodic sequences of Hankel determinants. We present a sufficient condition for the set $(m,V)$ such that the sequence of Hankel determinants is periodic, including even and odd modulus $m$.

Using greedy algorithms to generate de Bruijn sequences is a classical approach that has produced numerous interesting theoretical results. This paper investigates an algorithm which we call the Generalized Prefer-Opposite (GPO). It includes all prior greedy algorithms, with the exception of the Fleury Algorithm applied on the de Bruijn graph, as specific instances. The GPO Algorithm can produce any binary periodic sequences with nonlinear complexity at least two on input a pair of suitable feedback function and initial state. In particular, a sufficient and necessary condition for the GPO Algorithm to generate binary de Bruijn sequences is established. This requires the use of feedback functions with a unique cycle or loop in their respective state graphs. Moreover, we discuss modifications to the GPO Algorithm to handle more families of feedback functions whose state graphs have multiple cycles or loops. These culminate in a graph joining method. Several large classes of feedback functions are subsequently used to illustrate how the GPO Algorithm and its modification into the Graph Joining Prefer-Opposite (GJPO) Algorithm work in practice.