sequence
6845 papers tagged with this keyword
The asymptotic repetition threshold of sequences rich in palindromes
The asymptotic critical exponent measures for a sequence the maximum repetition rate of factors of growing length. The infimum of asymptotic critical exponents of sequences of a certain class is called the asymptotic repetition threshold of that class. On the one hand, if we consider the class of all d-ary sequences with d greater than one, then the asymptotic repetition threshold is equal to one, independently of the alphabet size. On the other hand, for the class of episturmian sequences, the repetition threshold depends on the alphabet size. We focus on rich sequences, i.e., sequences whose factors contain the maximum possible number of distinct palindromes. The class of episturmian sequences forms a subclass of rich sequences. We prove that the asymptotic repetition threshold for the class of rich recurrent d-ary sequences, with d greater than one, is equal to two, independently of the alphabet size.
Algorithms for complementary sequences
Published in Integers 25 (2025) #A95
• View Publication
• BIB
Finding the $n$-th positive square number is easy, as it is simply $n^2$. But how do we find the complementary sequence, i.e., the $n$-th positive non-square number? For this case there is an explicit formula. However, for general constraints on numbers, a formula is harder to find. In this paper, we study how to compute the $n$-th integer that does (or does not) satisfy a certain condition. In particular, we consider it as a fixed point problem, relate it to the iterative method of Lambek and Moser, study a bisection approach to this problem, and provide novel formulas for various complementary sequences including the non-$k$-gonal numbers, non-$k$-gonal-pyramidal numbers, non-$k$-simplex numbers, non-sum-of-$k$-th-powers, and non-$k$-th-powers. For example, we show that the $n$-th non $k$-gonal number is given by $n+\text{round}\left(\sqrt{\frac{2n-2+\left\lfloor\frac{k+1}{4}\right\rfloor}{k-2}}\right)$ and that the $n$-th non-second-hexagonal number is $n+\left\lceil\sqrt{\frac{n}{2}}\right\rceil-1$.
Boolean, Free, and Classical Cumulants as Tree Enumerations
Defant found that the relationship between a sequence of (univariate) classical cumulants and the corresponding sequence of (univariate) free cumulants can be described combinatorially in terms of families of binary plane trees called troupes. Using a generalization of troupes that we call weighted troupes, we generalize this result to allow for multivariate cumulants. Our result also gives a combinatorial description of the corresponding Boolean cumulants. This allows us to answer a question of Defant regarding his troupe transform. We also provide explicit distributions whose cumulants correspond to some specific weighted troupes.
Cumulants in rectangular finite free probability and beta-deformed singular values
Motivated by the $(q,γ)$-cumulants, introduced by Xu [arXiv:2303.13812] to study $β$-deformed singular values of random matrices, we define the $(n,d)$-rectangular cumulants for polynomials of degree $d$ and prove several moment-cumulant formulas by elementary algebraic manipulations; the proof naturally leads to quantum analogues of the formulas. We further show that the $(n,d)$-rectangular cumulants linearize the $(n,d)$-rectangular convolution from Finite Free Probability and that they converge to the $q$-rectangular free cumulants from Free Probability in the regime where $d\to\infty$, $1+n/d\to q\in[1,\infty)$. As an application, we employ our formulas to study limits of symmetric empirical root distributions of sequences of polynomials with nonnegative roots. One of our results is akin to a theorem of Kabluchko [arXiv:2203.05533] and shows that applying the operator $\exp(-\frac{s^2}{n}x^{-n}D_xx^{n+1}D_x)$, where $s>0$, asymptotically amounts to taking the rectangular free convolution with the rectangular Gaussian distribution of variance $qs^2/(q-1)$.
A class of polynomials from enumerating queen paths
We study a class polynomials obtained from an enumeration of the number of queen paths. In particular, we find the generating function for the diagonal sequence of this table and the zero distribution of a sequence of related polynomials.
The Pattern Complexity of the 2-Dimensional Paperfolding Sequence
We present an exact formula for the number of distinct crease patterns in a square shaped region of a given size that appear in the 2 dimensional paperfolding structure.
Rank fluctuations of matrix products and a moment method for growing groups
We consider the cokernel $G_n = \mathbf{Cok}(A_{k} \cdots A_2 A_1)$ of a product of independent $n \times n$ random integer matrices with iid entries from generic nondegenerate distributions, in the regime where both $n$ and $k$ are sent to $\infty$ simultaneously. In this regime we show that the cokernel statistics converge universally to the reflecting Poisson sea, an interacting particle system constructed in arXiv:2312.11702, at the level of $1$-point marginals. In particular, $\operatorname{corank}(A_{k} \cdots A_2 A_1 \pmod{p}) \sim \log_p k$, and its fluctuations are $O(1)$ and converge to a discrete random variable defined in arXiv:2310.12275.
The main difference with previous works studying cokernels of random matrices is that $G_n$ does not converge to a random finite group; for instance, the $p$-rank of $G_n$ diverges. This means that the usual moment method for random groups does not apply. Instead, we proceed by proving a `rescaled moment method' theorem applicable to a general sequence of random groups of growing size. This result establishes that fluctuations of $p$-ranks and other statistics still converge to limit random variables, provided that certain rescaled moments $\mathbb{E}[\#\operatorname{Hom}(G_n,H)]/C(n,H)$ converge.
Rigged Horse Numbers and their Modular Periodicity
The Fubini numbers count the permutations of horse racing where ties are possible. The closely related $r$-horse numbers count the finishes of a horse race where some subset of $r$ horses agree to finish the race in a specific relative strong ordering. We express the $r$-Fubini numbers as a sum of $r$ index-shifted sequences of Fubini numbers weighted with the signed Stirling numbers of the first kind. We use a novel shift operator counting. Further, we demonstrate the eventual modular periodicity of $r$-Fubini numbers. Their maximum period is determined to be the Carmichael function of the modulus. The maximum period occurs in the case of an odd modulus for Fubini numbers.
Graphons of Line Graphs
We consider the problem of estimating graph limits, known as graphons, from observations of sequences of sparse finite graphs. In this paper we show a simple method that can shed light on a subset of sparse graphs. The method involves mapping the original graphs to their line graphs. We show that graphs satisfying a particular property, which we call the square-degree property are sparse, but give rise to dense line graphs. This enables the use of results on graph limits of dense graphs to derive convergence. In particular, star graphs satisfy the square-degree property resulting in dense line graphs and non-zero graphons of line graphs. We demonstrate empirically that we can distinguish different numbers of stars (which are sparse) by the graphons of their corresponding line graphs. Whereas in the original graphs, the different number of stars all converge to the zero graphon due to sparsity. Similarly, superlinear preferential attachment graphs give rise to dense line graphs almost surely. In contrast, dense graphs, including Erdos-Renyi graphs make the line graphs sparse, resulting in the zero graphon.
On S-Packing Coloring of Subcubic Graphs
Given a sequence $S = (s_1, s_2, \ldots, s_k)$ of positive integers with $s_1 \leq s_2 \leq \ldots \leq s_k$, an $S$-packing coloring of a graph $G$ is a partition of $V(G)$ into $k$ subsets $V_1, V_2, \ldots, V_k$ such that for each $1 \leq i \leq k$ the distance between any two distinct $x, y \in V_i$ is at least $s_i + 1$. In 2023, Yang and Wu proved that all 3-irregular subcubic graphs are $(1,1,3)$-packing colorable. In 2024, Mortada and Togni proved that every 1-saturated subcubic graph is $(1, 1, 2)$-packing colorable. In this paper, we provide new, concise proofs for these two theorems using a novel tool.
Online Ramsey numbers of ordered graphs
The online ordered Ramsey game is played between two players, Builder and Painter, on an infinite sequence of vertices with ordered graphs $(G_1,G_2)$, which have linear orderings on their vertices. On each turn, Builder first selects an edge before Painter colors it red or blue. Builder's objective is to construct either an ordered red copy of $G_1$ or an ordered blue copy of $G_2$, while Painter's objective is to delay this for as many turns as possible. The online ordered Ramsey number $r_o(G_1,G_2)$ is the number of turns Builder takes to win in the case that both players play optimally.
Few lower bounds are known for this quantity. In this paper, we introduce a succinct proof of a new lower bound based on the maximum left- and right-degrees in the ordered graphs. We also upper bound $r_o(G_1,G_2)$ in two cases: when $G_1$ is a cycle and $G_2$ a complete bipartite graph, and when $G_1$ is a tree and $G_2$ a clique.
Limits and Periodicity of Metamour $2$-Distance Graphs
Given a finite simple graph $G$, let $\operatorname{M}(G)$ denote its 2-distance graph, in which two vertices are adjacent if and only if they have distance 2 in $G$. In this paper, we consider the periodic behavior of the sequence $G, \operatorname{M}(G), \operatorname{M}^2(G), \operatorname{M}^3(G), \ldots$ obtained by iterating the 2-distance operation. In particular, we classify the connected graphs with period 3, and we partially characterize those with period 2. We then study two families of graphs whose 2-distance sequence is eventually periodic: namely, generalized Petersen graphs and complete $m$-ary trees. For each family, we show that the eventual period is 2, and we determine the pre-period and the two limit graphs of the sequence.
Orientable and negative orientable sequences
Analogously to de Bruijn sequences, orientable sequences have application in automatic position-location applications and, until recently, studies of these sequences focused on the binary case. In recent work by Alhakim et al., a range of methods of construction were described for orientable sequences over arbitrary finite alphabets; some of these methods involve using negative orientable sequences as a building block. In this paper we describe three techniques for generating such negative orientable sequences, as well as upper bounds on their period. We then go on to show how these negative orientable sequences can be used to generate orientable sequences with period close to the maximum possible for every non-binary alphabet size and for every tuple length. In doing so we use two closely related approaches described by Alhakim et al.
Some inner metric parameters of a digraph: Iterated line digraphs and integer sequences
In this paper, we first give a new result characterizing the strongly connected digraphs with a diameter equal to that of their line digraphs. Then, we introduce the concepts of the inner diameter and inner radius of a digraph and study their behaviors in its iterated line digraphs. Furthermore, we provide a method to characterize sequences of integers (corresponding to the inner diameter or the number of vertices of a digraph and its iterated line digraphs) that satisfy some conditions. Among other examples, we apply the method to the cyclic Kautz digraphs, square-free digraphs, and the subdigraphs of De Bruijn digraphs. Finally, we present some tables with new sequences that do not belong to The On-Line Encyclopedia of Integer Sequences.
Self-Reachable Chip Configurations on Trees
In this paper, we explore the notion of a \emph{self-reachable} chip configuration on a simple graph, that is a chip configuration which can be re-obtained from itself after a (nonempty) sequence of vertex firings. In particular, we focus on the case of trees and provide a characterization for such configurations, as well as show that all self-reachable configurations with the same number of chips on a tree are reachable from one another. We conclude with a recursive enumeration formula for the number of self-reachable configurations.
CLM's dependence relation, solitary patterns and $r$-graphs
A connected r-regular graph, where $r \geq 3$, is an r-graph if each odd cut has at least r edges. Every r-graph is matching covered - a connected graph whose each edge participates in some perfect matching. We set out to: (i) characterize solitary edges - those edges that participate in only one perfect matching, and (ii) upper bound the number of such edges.
Two edges are mutually dependent if every perfect matching containing either of them also contains the other. Clearly, this is an equivalence relation and induces a partition of E(G). It is worth noting that if any member of an equivalence class is solitary then so is every member; we refer to such an equivalence class as a solitary class. This immediately brings us to the notion of solitary pattern of a matching covered graph - the sequence of cardinalities of its solitary classes in nonincreasing order.
Clearly, n/2 is an upper bound on the cardinality of any equivalence class, and if equality holds then each largest equivalence class is a solitary class. We provide a characterization of all matching covered graphs that attain this upper bound. However, all such graphs, of order six or more, contain 2-cuts.
On the other hand, using a result of Lucchesi and Murty, we deduce that in a 3-edge-connected r-graph, every solitary class has cardinality one or two. We prove that the distance between any two solitary classes in any 3-edge-connected r-graph is at most three; furthermore, if the order is four or more, we establish that the number of solitary classes is at most three and equality holds if and only if r = 3. Ergo, every 3-edge-connected r-graph, of order four or more, has one of the following ten solitary patterns: (2, 2, 2), (2, 2, 1), (2, 1, 1), (1, 1, 1), (2, 2), (2, 1), (2), (1, 1), (1) or (). We provide complete characterizations of 3-edge-connected r-graphs that have one of the first six solitary patterns.
Characterising rooted and unrooted tree-child networks
Rooted phylogenetic networks are used by biologists to infer and represent complex evolutionary relationships between species that cannot be accurately explained by a phylogenetic tree. Tree-child networks are a particular class of rooted phylogenetic networks that has been extensively investigated in recent years. In this paper, we give a novel characterisation of a tree-child network $\mathcal{R}$ in terms of cherry-picking sequences that are sequences on the leaves of $\mathcal{R}$ and reduce it to a single vertex by repeatedly applying one of two reductions to its leaves. We show that our characterisation extends to unrooted tree-child networks which are mostly unexplored in the literature and, in turn, also offers a new approach to settling the computational complexity of deciding if an unrooted phylogenetic network can be oriented as a rooted tree-child network.
The Briggs inequality for partitions and overpartitions
A sequence of $\{a_n\}_{n\ge 0}$ satisfies the Briggs inequality if \begin{align*} a_n^2(a_n^2-a_{n-1}a_{n+1})>a_{n-1}^2(a_{n+1}^2-a_na_{n+2}) \end{align*} holds for any $n\ge 1$. In this paper we show that both the partition function $\{p(n+N_0)\}_{n\geq 0}$ and the overpartition function $\{\overline{p}(n+\overline{N}_0)\}_{n\ge 0}$ satisfy the Briggs inequality for some $N_0$ and $\overline{N}_{0}$. Based on Chern's formula for $η$-quotients, we further prove that the $k$-regular partition function $\{p_k(n+N_{k})\}_{n\geq 0}$ and the $k$-regular overpartition function $\{\overline{p}_k(n+\overline{N}_k)\}_{n\ge 0}$ also satisfy the Briggs inequality for $2\le k\le 9$ and some $N_k,\overline{N}_{k}$.
Harmonious sequences in groups with a unique involution
We study several combinatorial properties of finite groups that are related to the notions of sequenceability, R-sequenceability, and harmonious sequences. In particular, we show that in every abelian group $G$ with a unique involution $\imath_G$ there exists a permutation $g_0,\ldots, g_{m}$ of elements of $G \backslash \{\imath_G\}$ such that the consecutive sums $g_0+g_1, g_1+g_2,\ldots, g_{m}+g_0$ also form a permutation of elements of $G\backslash \{\imath_G\}$. We also show that in every abelian group of order at least 4 there exists a sequence containing each non-identity element of $G$ exactly twice such that the consecutive sums also contain each non-identity element of $G$ twice. We apply several results to the existence of transversals in Latin squares.
Hecke growth diagrams, and maximal increasing and decreasing sequences in fillings of stack polyominoes
We establish a bijection between $01$-fillings of stack polyominoes with at most one $1$ per column and labelings of the corners along the top-right border of stack polyominoes. These labellings indicate the lengths of the longest increasing and decreasing chains of the largest rectangular region below and to the left of the corners. Our results provide an alternative proof of Guo and Poznanović's theorem on the lengths of the longest increasing and decreasing chains have a symmetric joint distribution over $01$-fillings of stack polyomino. Moreover, our results offer new perspective to Chen, Guo and Pang's result on the crossing number and the nesting number have a symmetric joint distribution over linked partitions. In particular, our construction generalizes the growth diagram techniques of Rubey for the $01$-fillings of stack polyominoes with at most one $1$ per column and row.