sequence
6966 papers tagged with this keyword
Schreier Sets of Multiples of an Integer, Linear Recurrence, and Pascal Triangle
A finite nonempty set $F$ is said to be Schreier (maximal Schreier, respectively) if $\min F\ge |F|$ ($\min F = |F|$, respectively). For $k,n\in\mathbb{N}$, let $$s_{k,n}\ :=\ |\{F\subset\{k, 2k,\ldots, nk\}\,:\, F\mbox{ is Schreier and }nk\in F\}|.$$ We show that $(s_{k,n})_{n=1}^\infty$ is a subsequence with terms taken periodically from the Padovan-like sequence $(a_{k,n})_{n=0}^\infty$ defined as: $a_{k,0} = a_{k,1} = 1, a_{k, 2} = \cdots = a_{k, k} = 2$, and $$a_{k, n}\ =\ a_{k,n-k} + a_{k,n-k-1},\mbox{ for } n\ge k+1.$$ As an application, we obtain an alternative proof of the linear recurrence of $(s_{k,n})_{n=1}^\infty$ discovered by Beanland et al. Furthermore, a similar result holds for the sequence $(s^{(m)}_{k,n})_{n=1}^\infty$ that counts maximal Schreier sets. Finally, we prove that $$s^{(m)}_{k,n}\ =\ 2s_{k,n}-s_{k,n+1}, \mbox{ for all }n\ge 1.$$
The magic of tensor products of ultrafilters
Tensor products of ultrafilters have special combinatorial features closely related to Ramsey's Theorem, making them useful tools in applications. Here we first review their fundamental properties and isolate some new ones, including a characterisation of the limit superior and inferior of sequences as limits along tensor products, and an application to the Banach asymptotic density. We then prove a general result on the combinatorial structure of sets belonging to tensor products and, as a result, we obtain several characterisations of the additive properties of sets of natural numbers. Finally, we show that tensor products can be described as idempotents of an appropriate semigroup.
A Hierarchical Constructive Heuristic for Large-Scale Survivable Traffic Grooming Problem under Double-Link Failures
This paper studies a survivable traffic grooming problem in large-scale optical transport networks under double-link failures (STG2). Each communication demand must be assigned a route for every possible scenario involving zero, one, or two failed fiber links. Protection against double-link failures is crucial for ensuring reliable telecommunications services while minimizing equipment costs, making it essential for telecommunications companies today. However, this significantly complicates the problem and is rarely addressed in existing studies. Furthermore, current research typically examines networks with fewer than 300 nodes, much smaller than some emerging networks containing thousands of nodes. To address these challenges, we propose a novel hierarchical constructive heuristic for STG2. This heuristic constructs and assigns routes to communication demands across different scenarios by following a hierarchical sequence. It incorporates several innovative optimization techniques and utilizes parallel computing to enhance efficiency. Extensive experiments have been conducted on large-scale STG2 instances provided by our industry partner, encompassing networks with 1,000 to 2,600 nodes. Results demonstrate that within a one-hour time limit and a 16 GB memory limit set by the industry partner, our heuristic improves the objective values of the best-known solutions by 18.5\% on average, highlighting its significant potential for practical applications.
Characteristic Imsets for Cyclic Linear Causal Models and the Chickering Ideal
Two directed graphs are called covariance equivalent if they induce the same set of covariance matrices, up to a Lebesgue measure zero set, on the random variables of their associated linear structural equation models. For acyclic graphs, covariance equivalence is characterized both structurally, via essential graphs and characteristic imsets, and transformationally, through sequences of covered edge flips. However, when cycles are allowed, only a transformational characterization of covariance equivalence has been discovered. We consider a linear map whose fibers correspond to the sets of graphs with identical characteristic imset vectors, and study the toric ideal associated to its integer matrix. Using properties of this ideal we show that directed graphs with the same characteristic imset vectors are covariance equivalent. In applications, imsets form a smaller search space for solving causal discovery via greedy search.
Careful synchronisation and the diameter of transformation semigroups with few generators
A word is called carefully synchronising for a partial deterministic finite semi-automaton if it maps all states to the same state. Equivalently, it is a composition of partial transformations equal to a constant total transformation. There is a sequence of several papers providing stronger and stronger lower bounds on the length of shortest carefully synchronising words for $n$-state partial DFAs over small alphabets. It resulted in the lower bounds of $Ω(\frac{2^{n/3}}{n\sqrt{n}})$ and $Ω(\frac{4^{n/5}}{n})$ for alphabets of two and three letters respectively, obtained by de Bondt, Don, and Zantema. Using a significantly simpler construction, we improve these lower bounds to $2^{(n - 4)/3}$ and $4^{(n - 4)/5}$ respectively.
We then consider a tightly related question of the diameter of a partial DFA, which is the smallest $\ell \ge 0$ such that words of length at most $\ell$ express all the transformations induced by words in this DFA. We show that an alphabet of large enough constant size already asymptotically matches the upper bound on the diameter for arbitrary alphabet size, extending the construction of Panteleev that requires an alphabet of size exponential in the number of states. We then discuss an application to the diameter of finite semigroups of nonnegative matrices, and some open problems.
Non-orientable Nurikabe
Published
• View Publication
• BIB
We study Nurikabe puzzles on non-orientable surfaces. Specifically, we propose two versions of non-orientable Nurikabe and investigate their combinatorics on Möbius strips, Klein bottles, and projective planes of size $1\times n$. Our results establish new connections among the OEIS sequences A101946, A213387, A123203, and A001045 (the Jacobsthal sequence).
Applications of Combinatorics on Words with Symbolic Dynamics
In this paper, we explore applications of combinatorics on words across various domains, including data compression, error detection, cryptographic protocols, and pseudorandom number generation. The examination of the theoretical foundations enabling these applications, emphasizing important concepts of mathematical relationships and algorithms. In data compression, we discuss the Lempel-Ziv family of algorithms and Lyndon factorization, with the number of Lyndon words of length \( n \) over an alphabet of size \( k \) given by \[ L(n,k) = \frac{1}{n} \sum_{d|n} μ(d) k^{n/d}. \] We address cryptographic protocols and pseudorandom number generation, highlighting the role of pseudorandomness theory and complexity measures. Also, by explore de Bruijn sequences, topological entropy, and synchronizing words in their practical contexts, demonstrating their contributions to optimizing information storage, ensuring data integrity, and enhancing cybersecurity.
Circulant TSP: Vertices of the Edge-Length Polytope and Superpolynomial Lower Bounds
Published
• View Publication
• BIB
We study the edge-length polytope, motivated both by algorithmic research on the Circulant Traveling Salesman Problem (Circulant TSP) and number-theoretic research related to the Buratti-Horak-Rosa conjecture. Circulant TSP is a special case of TSP whose overall complexity is a significant still-open question, and where on an input with vertices $\{1, 2, ..., n\}$, the cost of an edge $\{i, j\}$ depends only on its length $\min\{|i-j|, n-|i-j|\}$. The edge-length polytope provides one path to solving circulant TSP instances, and we show that it is intimately connected to the factorization of $n$: the number of vertices scales with $n$ whenever $n$ is prime and with $n^{3/2}$ whenever $n$ is a prime-squared, but there are a superpolynomial number of vertices whenever $n$ is a power of 2. In contrast, the more-standard Symmetric TSP Polytope has roughly $n!$ vertices. Hence, for Circulant TSP, a brute-force algorithm checking every vertex is actually efficient in some cases, based on the factorization of $n$. As an intermediate step, we give superpolynomial lower-bounds on two combinatorial sequences related to the Buratti-Horak-Rosa conjecture, which asks what combinations of edge lengths can comprise a Hamiltonian path.
On Topological Indices in Trees: Fibonacci Degree Sequences and Bounds
In this paper, we have studied bounds based on topological indicators, from which we selected Albertson index $\mathrm{irr}$ and the Sigma index $σ$. The Sigma index was defined through the following relationship: \[ σ(G)=\sum_{uv\in E(G)}\left( d_u(G)-d_v(G) \right)^2. \]
We establish a precise formula for the Albertson index of a tree $T$ of order $n$ with a Fibonacci degree sequence $\mathscr{D} = (F_3, \dots, F_n)$. Additionally, we derive bounds for the minimum and maximum Albertson indices ($\irr_{\min}$ and $\irr_{\max}$) across various tree structures. Propositions and lemmas provide upper and lower bounds, incorporating parameters such as the maximum degree $ Δ$, minimum degree $δ$. We further relate the Albertson index to the second Zagreb index $M_2(T)$ and the forgotten index $F(T)$, establishing a new upper bound.
Study of $p^{k}$-Eulerian polynomials and $p^{k}$-Fibonacci numbers for every odd prime $p$ and $k\geq0$
In this paper, we define the notion of descent for the paths in the $p$-Bratteli diagram. This leads to the definition of $p^{k}$-Eulerian polynomials, whose coefficients count the number of paths with a given number of descents. We provide a method for constructing the $p^{k}$-Eulerian polynomials at each vertex. Furthermore, we compute the total number of descents of all paths ending at a given vertex as the corresponding $p^{k}$-Fibonacci numbers. We show that the derivative of the $p^{k}$-Eulerian polynomial evaluated at 1 for a fixed vertex equals the corresponding $p^{k}$-Fibonacci number. Finally, we discuss the generating function for the sequence of $p^{k}$-Fibonacci numbers and the recurrence relations they satisfy.
Preorders on maximal chains: hyperplane arrangements, Cambrian lattices, and maximal green sequences
We study preorders on (equivalence classes of) maximal chains in the general context of polygonal lattices endowed with suitably nice edge labellings. We show that, given a quotient of polygonal lattices, such edge labellings descend to the quotient, and that there is an induced order-preserving surjective map on the preordered sets of equivalence classes of maximal chains. Under a natural condition ensuring that the domain is a poset, the map is a contraction of preordered sets. We apply this to lattices of regions of simplicial hyperplane arrangements, where the preorders are partial orders, in particular to finite Coxeter arrangements. For the latter, each choice of Coxeter element gives us a different partial order on the set of equivalence classes of maximal chains; these generalise certain reoriented higher Bruhat orders in dimension two. The maps of posets of maximal chains induced by Cambrian congruences generalise the map of Kapranov and Voevodsky from the higher Bruhat orders to the higher Stasheff--Tamari orders in dimension two. While the fibres of this map are known not always to be intervals, our results show that they are always connected. We show that, in the case of Cambrian lattices, the induced maps on maximal chains have nice descriptions in terms of orientations of rank-two root subsystems, in a way which resembles taking the stable objects of a Rudakov stability condition. We finally consider the algebraic realisation of the weak order and Cambrian lattices via torsion-free classes of preprojective and path algebras, relating the posets of maximal chains to our earlier work on maximal green sequences.
On the Fixed-Length-Burst Levenshtein Ball with Unit Radius
Published
• View Publication
• BIB
Consider a length-$n$ sequence $\bm{x}$ over a $q$-ary alphabet. The \emph{fixed-length Levenshtein ball} $\mathcal{L}_t(\bm{x})$ of radius $t$ encompasses all length-$n$ $q$-ary sequences that can be derived from $\bm{x}$ by performing $t$ deletions followed by $t$ insertions. Analyzing the size and structure of these balls presents significant challenges in combinatorial coding theory. Recent studies have successfully characterized fixed-length Levenshtein balls in the context of a single deletion and a single insertion. These works have derived explicit formulas for various key metrics, including the exact size of the balls, extremal bounds (minimum and maximum sizes), as well as expected sizes and their concentration properties. However, the general case involving an arbitrary number of $t$ deletions and $t$ insertions $(t>1)$ remains largely uninvestigated. This work systematically examines fixed-length Levenshtein balls with multiple deletions and insertions, focusing specifically on \emph{fixed-length burst Levenshtein balls}, where deletions occur consecutively, as do insertions. We provide comprehensive solutions for explicit cardinality formulas, extremal bounds (minimum and maximum sizes), expected size, and concentration properties surrounding the expected value.
Degree Sequence of Albertson and $σ$-Indices on Trees of Order $n\geqslant 3$
In this paper, we presented a study of topological indices on trees, where we show a relationship with irregularity of Albertson index and minimum, maximum degrees $δ,Δ$ of graph $G$, where contribute vital roles in determining connection, shading, component incorporation, and realisability where well-known Albertson index as: $\operatorname{irr}(G)=\sum_{uv\in E(G)}\lvert d_u(G)-d_v(G) \rvert$. The sigma index on trees that we introduced as $σ(T)=(d_1-1)^3+\sum_{i=1}^{3}(d_i-1)(d_i-2)+(d_3-1)^3$.
Characteristic polynomials of semimatroids and their connections to matroids, hyperplane arrangements and graph colorings
We primarily investigate the properties of characteristic polynomials of semimatroids. In particular, we provide a combinatorial interpretation of their coefficients, generalizing the Whitney's Broken Circuit Theorem. We also prove that the unsigned coefficients of the characteristic polynomial form a unimodal and log-concave sequence, extending the Rota-Heron-Welsh Conjecture to semimatroids. Furthermore, we present convolution identities for the multiplicative characteristic and Tutte polynomials of semimatroids using the Möbius conjugation. Finally, motivated by Kochol's work, we introduce assigning matroids to establish connections among semimatroids, hyperplane arrangements, and graph colorings, with a particular focus on their characteristic polynomials.
On the methods of reduction of some types of Marczewski-Burstin measurable functions to continuous functions on products of perfect sets
In this paper, we introduce product-wise generalizations of certain Marczewski-Burstin bases, including sets with the (s)-property and completely Ramsey sets. For each of these families, we establish analogs of the classical Luzin and Eggleston theorems, showing that functions measurable with respect to these families can be reduced to continuous functions on products of perfect sets. Furthermore, we provide a method for reducilng sequences of such functions to continuity, which allows us to generalize Laver's extension of Halpern-Läuchli and Harrington theorems.
Well-hued graphs with first difference two
A graph $G$ is said to be well-hued if every maximal $k$-colorable subgraph of $G$ has the same order $a_k$. Therefore, if $G$ is well-hued, we can associate with $G$ a sequence $\{a_k\}$. Necessary and sufficient conditions were given as to when a sequence $\{a_k\}$ is realized by a well-hued graph. Further, it was conjectured there is only one connected well-hued graph with $a_2 = a_1 + 2$ for every $a_1 \ge 4$. In this paper, we prove this conjecture as well as characterize nearly all well-hued graphs with $a_1=2$. We also investigate when both $G$ and its complement are well-hued.
On two conjectures of Shallit about Thue-Morse-like sequences
Published in European Journal of Combinatorics, Volume 132, Part B (2026)
• View Publication
• BIB
We study a class of infinite words $x_k$ , where $k$ is a positive integer, recently introduced by J. Shallit. This class includes the Thue-Morse sequence $x_1$, the Fibonacci-Thue-Morse sequence $x_2$, and the Allouche-Johnson sequence $x_3$. Shallit stated and for $k = 3$ proved two conjectures on properties of $x_k$. The first conjecture concerns the factor complexity, the second one the critical exponent of these words. We confirm the validity of both conjectures for every $k$.
On 102-avoiding inversion sequences
Published
• View Publication
• BIB
In this article, we provide a bijection between the set of inversion sequences avoiding the pattern 102 and the set of 2-Schröder paths having neither peaks nor valleys and ending with a diagonal step. To achieve this, we introduce two intermediate objects, called UVD paths and labeled $F$-paths, and establish bijections among all four families. For each of these combinatorial objects, we define a natural statistic and enumerate the corresponding structures with respect to this statistic. In addition, we study inversion sequences avoiding 102 and another pattern of length 3, providing refined enumerations according to the same statistic.
A Linear Kernel for Independent Set Reconfiguration in Planar Graphs
Fix a positive integer $r$, and a graph $G$ that is $K_{3,r}$-minor-free. Let $I_s$ and $I_t$ be two independent sets in $G$, each of size $k$. We begin with a ``token'' on each vertex of $I_s$ and seek to move all tokens to $I_t$, by repeated ``token jumping'', removing a single token from one vertex and placing it on another vertex. We require that each intermediate arrangement of tokens again specifies an independent set of size $k$. Given $G$, $I_s$, and $I_t$, we ask whether there exists a sequence of token jumps that transforms $I_s$ into $I_t$. When $k$ is part of the input, this problem is known to be PSPACE-complete. However, it was shown by Ito, Kamiński, and Ono (2014) to be fixed-parameter tractable. That is, when $k$ is fixed, the problem can be solved in time polynomial in the order of $G$.
Here we strengthen the upper bound on the running time in terms of $k$ by showing that the problem has a kernel of size linear in $k$. More precisely, we transform an arbitrary input problem on a $K_{3,r}$-minor-free graph into an equivalent problem on a ($K_{3,r}$-minor-free) graph with order $O(k)$. This answers positively a question of Bousquet, Mouawad, Nishimura, and Siebertz (2024) and improves the recent quadratic kernel of Cranston, Mühlenthaler, and Peyrille (2024+). For planar graphs, we further strengthen this upper bound to get a kernel of size at most $42k$.
Sums and differences of sets: a further improvement over AlphaEvolve
We present a new advancement in the sum and difference of sets problem, which improves upon recent results by both DeepMind's AlphaEvolve ($θ= 1.1584$) and subsequent explicit constructions ($θ= 1.173050$). In this work, we construct a sequence of $U$ sets which in the limit establishes a new lower bound of $θ= 1.173077$.