sequence
6966 papers tagged with this keyword
A SageMath Package for Analytic Combinatorics in Several Variables: Beyond the Smooth Case
The field of analytic combinatorics in several variables (ACSV) develops techniques to compute the asymptotic behaviour of multivariate sequences from analytic properties of their generating functions. When the generating function under consideration is rational, its set of singularities forms an algebraic variety -- called the singular variety -- and asymptotic behaviour depends heavily on the geometry of the singular variety. By combining a recent algorithm for the Whitney stratification of algebraic varieties with methods from ACSV, we present the first software that rigorously computes asymptotics of sequences whose generating functions have non-smooth singular varieties (under other assumptions on local geometry). Our work is built on the existing sage_acsv package for the SageMath computer algebra system, which previously gave asymptotics under a smoothness assumption. We also report on other improvements to the package, such as an efficient technique for determining higher order asymptotic expansions using Newton iteration, the ability to use more efficient backends for algebraic computations, and a method to compute so-called critical points for any multivariate rational function through Whitney stratification.
Generalized Natural Density $\DF(\mathfrak{F}_n)$ of Fibonacci Word
This paper explores profound generalizations of the Fibonacci sequence, delving into random Fibonacci sequences, $k$-Fibonacci words, and their combinatorial properties. We established that the $n$-th root of the absolute value of terms in a random Fibonacci sequence converges to $1.13198824\ldots$, a symmetry identity for sums involving Fibonacci words, $\sum_{n=1}^{b} \frac{(-1)^n F_a}{F_n F_{n+a}} = \sum_{n=1}^{a} \frac{(-1)^n F_b}{F_n F_{n+b}}$, and an infinite series identity linking Fibonacci terms to the golden ratio. These findings underscore the intricate interplay between number theory and combinatorics, illuminating the rich structure of Fibonacci-related sequences. We provide, according to this paper, new concepts of density of Fibonacci word.
The diagonal and Hadamard grade of hypergeometric functions
Published
• View Publication
• BIB
Diagonals of rational functions are an important class of functions arising in number theory, algebraic geometry, combinatorics, and physics. In this paper we study the diagonal grade of a function $f$, which is defined to be the smallest $n$ such that $f$ is the diagonal of a rational function in variables $x_0,\dots, x_n$. We relate the diagonal grade of a function to the nilpotence of the associated differential equation. This allows us to determine the diagonal grade of many hypergeometric functions and answer affirmatively the outstanding question on the existence of functions with diagonal grade greater than $2$. In particular, we show that $\prescript{}{n}F_{n-1}(\frac{1}{2},\dots, \frac{1}{2};1\dots,1 \mid x)$ has diagonal grade $n$ for each $n\geq 1$. Our method also applies to the generating function of the Apéry sequence, which we find to have diagonal grade $3$. We also answer related questions on Hadamard grades posed by Allouche and Mendès France. For example, we show that $\prescript{}{n}F_{n-1}(\frac{1}{2},\dots, \frac{1}{2};1\dots,1 \mid x)$ has Hadamard grade $n$ for all $n\geq 1$.
Re-imagining Spectral Graph Theory
We propose a Laplacian based on general inner product spaces, which we call the inner product Laplacian. We show the combinatorial and normalized graph Laplacians, as well as other Laplacians for hypergraphs and directed graphs, are special cases of the inner product Laplacian. After developing the necessary basic theory for the inner product Laplacian, we establish generalized analogs of key isoperimetric inequalities, including the Cheeger inequality and expander mixing lemma. Dirichlet and Neumann subgraph eigenvalues may also be recovered as appropriate limit points of a sequence of inner product Laplacians. In addition to suggesting a new context through which to examine existing Laplacians, this generalized framework is also flexible in applications: through choice of an inner product on the vertices and edges of a graph, the inner product Laplacian naturally encodes both combinatorial structure and domain-knowledge.
Monochromatic configurations on a circle
If we two-colour a circle, we can always find an inscribed triangle with angles $(\fracπ{7},\frac{2π}{7},\frac{4π}{7})$ whose three vertices have the same colour. In fact, Bialostocki and Nielsen showed that it is enough to consider the colours on the vertices of an inscribed heptagon. We prove that for every other triangle $T$ there is a two-colouring of the circle without any monochromatic copy of $T$.
More generally, for $k\geq 3$, call a $k$-tuple $(d_1,d_2,\dots,d_k)$ with $d_1\geq d_2\geq \dots \geq d_k>0$ and $\sum_{i=1}^k d_i=1$ a Ramsey $k$-tuple if the following is true: in every two-colouring of the circle of unit perimeter, there is a monochromatic $k$-tuple of points in which the distances of cyclically consecutive points, measured along the arcs, are $d_1,d_2,\dots,d_k$ in some order. By a conjecture of Stromquist, if $d_i=\frac{2^{k-i}}{2^k-1}$, then $(d_1,\dots,d_k)$ is Ramsey.
Our main result is a proof of the converse of this conjecture. That is, we show that if $(d_1,\dots,d_k)$ is Ramsey, then $d_i=\frac{2^{k-i}}{2^k-1}$. We do this by finding connections of the problem to certain questions from number theory about partitioning $\mathbb{N}$ into so-called Beatty sequences. We also disprove a majority version of Stromquist's conjecture, study a robust version, and discuss a discrete version.
Infinite unrestricted sumsets in subsets of abelian groups with large density
Let $(G,+)$ be a countable abelian group such that the subgroup $\{g+g\colon g\in G\}$ has finite index and the doubling map $g\mapsto g+g$ has finite kernel. We establish lower bounds on the upper density of a set $A\subset G$ with respect to an appropriate Følner sequence, so that $A$ contains a sumset of the form $\{t+b_1+b_2\colon b_1,b_2\in B\}$ or $\{b_1+b_2\colon b_1,b_2\in B\}$, for some infinite $B\subset G$ and some $t\in G$. Both assumptions on $G$ are necessary for our results to be true. We also characterize the Følner sequences for which this is possible. Finally, we show that our lower bounds are optimal in a strong sense.
Mutation Cycles from Reddening Sequences
Published
• View Publication
• BIB
Given two quivers, each with a reddening sequence, we show how to construct a plethora of mutation cycles. We give several examples, including a generalization of the construction of long mutation cycles in earlier work by the second author. We also give new results on the reddening sequences of certain mutation-acyclic quivers and forks, classifying them in some cases.
Characterization of $P_3$-connected graphs
For any pair of edges $e,f$ of a graph $G$, we say that {\em $e,f$ are $P_3$-connected in $G$} if there exists a sequence of edges $e=e_0,e_1,\ldots, e_k=f$ such that $e_i$ and $e_{i+1}$ are two edges of an induced $3$-vertex path in $G$ for every $0\leq i\leq k-1$. If every pair of edges of $G$ are $P_3$-connected in $G$, then $G$ is {\em $P_3$-connected}. $P_3$-connectivity was first defined by Chudnovsky et al. in 2024 to prove that every connected graph not containing $P_5$ as an induced subgraph has cop number at most two. In this paper, we give a characterization of $P_3$-connected graphs and prove that a simple graph is $P_3$-connected if and only if it is connected and has no homogeneous set whose induced subgraph contains an edge.
Improvement Ergodic Theory For The Infinite Word $\mathfrak{F}=\mathfrak{F}_{b}:=\left({ }_{b} f_{n}\right)_{n \geqslant 0}$ on Fibonacci Density
The paper explores combinatorial properties of Fibonacci words and their generalizations within the framework of combinatorics on words. These infinite sequences, measures the diversity of subwords in Fibonacci words, showing non-decreasing growth for infinite sequences. Extends factor analysis to arithmetic progressions of symbols, highlighting generalized pattern distributions. Recent results link Sturmian sequences (including Fibonacci words) to unbounded binomial complexity and gap inequivalence, with implications for formal language theory and automata. This work underscores the interplay between substitution rules, algebraic number theory, and combinatorial complexity in infinite words, providing tools for applications in fractal geometry and theoretical computer science.
A note on the Björner--Kalai theorem
In 1988, Björner and Kalai used combinatorial shadow functions to characterize the maximal Betti sequence for a given $f$-vector and the minimal $f$-vector for a given Betti sequence. Their description of the maximal Betti sequence was expressed through a set of inequalities. In this paper, we introduce an error function $δ_k$ associated with the combinatorial shadow functions and use it to sharpen these inequalities into exact equalities. As a corollary, we obtain an equivalent form of Björner and Kalai's characterization of all possible pairs $(f,β)$ that can occur as the $f$-vector and Betti sequence of a simplicial complex. Moreover, combining our results with a previous result of Björner in 2011, we derive a new number-theoretic inequality concerning the count of odd square-free integers with a specified number of prime factors.
Enumeration on polyominoes determined by Catalan words avoiding $(\geq,\geq)$
Published
• View Publication
• BIB
A Catalan word of length $n$ that avoids the pattern $(\geq, \geq)$ is a sequence $w=w_1\cdots w_n$ with $w_1=0$ and $0\leq w_i\leq w_{i-1}+1$ for all $i$, while ensuring that no subsequence satisfies $w_i \geq w_{i+1}\geq w_{i+2}$ for $i=2,\ldots,n$. These words are enumerated by the $n$-th Motzkin number. From such a word, we associate a $n$-column Motzkin polyomino (called a $(\geq,\geq)$-polyomino), where the $i$-th column contains $w_i+1$ bottom-aligned cells. In this paper, we derive generating functions for $(\geq,\geq)$-polyominoes based on their length, area, semiperimeter, last symbol value, and number of interior points. We provide asymptotic analyses and closed-form expressions for the total area, total semiperimeter, sum of the last symbol values, and total number of interior points across all $(\geq,\geq)$-polyominoes of a given length. Finally, we express all these results as linear combinations of trinomial coefficients.
The Multiple Riordan Group and the Multiple Riordan Type Arrays
Published
• View Publication
• BIB
This is the first paper of a sequence papers on the multiple Riordan group and the multiple Riordon type arrays. We give a comprehensive discussion of the multiple Riordan arrays and characterize them by an $A$-sequence and multiple $Z$-sequences. The multiple Riordan group and some of its subgroups are defined. In addition, we give compressions of multiple Riordan arrays and their sequence characterizations. The total positivity of the compressions of multiple Riordan arrays is studied.
Counting k-ary words by number of adjacency differences of a prescribed size
Published
• View Publication
• BIB
Recently, the general problem of enumerating permutations $π=π_1\cdots π_n$ such that $π_{i+r}-π_i \neq s$ for all $1\leq i\leq n-r$, where $r$ and $s$ are fixed, was considered by Spahn and Zeilberger. In this paper, we consider an analogous problem on $k$-ary words involving the distribution of the corresponding statistic. Note that for $k$-ary words, it suffices to consider only the $r=1$ case of the aforementioned problem on permutations. Here, we compute for arbitrary $s$ an explicit formula for the ordinary generating function for $n \geq 0$ of the distribution of the statistic on $k$-ary words $ρ=ρ_1\cdotsρ_n$ recording the number of indices $i$ such that $ρ_{i+1}-ρ_i=s$. This result may then be used to find a comparable formula for finite set partitions with a fixed number of blocks, represented sequentially as restricted growth functions. Further, several sequences from the OEIS arise as enumerators of certain classes of $k$-ary words avoiding adjacencies with a prescribed difference. The comparable problem where one tracks indices $i$ such that the absolute difference $|a_{i+1}-a_i|$ is a fixed number is also considered on $k$-ary words and the corresponding generating function may be expressed in terms of Chebyshev polynomials. Finally, combinatorial proofs are found for several related recurrences and formulas for the total number of adjacencies of the form $a(a+s)$ on the various structures.
Long-eared digraphs
Let $H$ be a subdigraph of a digraph $D$. An ear of $H$ in $D$ is a path or a cycle in $D$ whose ends lie in $H$ but whose internal vertices do not. An \emph{ear decomposition} of a strong digraph $D$ is a nested sequence $(D_0,D_1,\ldots , D_k)$ of strong subdigraphs of $D$ such that: 1) $D_0$ is a cycle, 2) $D_{i+1} = D_i\cup P_i$, where $P_i$ is an ear of $D_i$ in $D$, for every $i\in \{0,1,\ldots,k-1\}$, and 3) $D_k=D$.
In this work, the $\mathcal{LE}_i$ is defined as the family of strong digraphs, with an ear decomposition such that every ear has a length of at least $i\geq 1$. It is proved that Seymour's second Neighborhood Conjecture and the Laborde, Payan, and Soung conjecture, are true in the family $\mathcal{LE}_2$, and the Small quasi-kernel conjecture is true for digraphs in $\mathcal{LE}_3$. Also, some sufficient conditions for a strong nonseparable digraph in $\mathcal{LE}_2$ with a kernel to imply that the previous (following) subdigraph in the ear decomposition has a kernel too, are presented. It is proved that digraphs in $\mathcal{LE}_2$ have a chromatic number at most 3, and a dichromatic number 2 or 3. Finally, the oriented chromatic number of asymmetrical digraphs in $\mathcal{LE}_3$ is bounded by 6, and it is shown that the oriented chromatic number of asymmetrical digraphs in $\mathcal{LE}_2$ is not bounded.
A Graph Minors Approach to Temporal Sequences
Published
• View Publication
• BIB
We develop a structural approach to simultaneous embeddability in temporal sequences of graphs, inspired by graph minor theory. Our main result is a classification theorem for 2-connected temporal sequences: we identify five obstruction classes and show that every 2-connected temporal sequence is either simultaneously embeddable or admits a sequence of improvements leading to an obstruction. This structural insight leads to a polynomial-time algorithm for deciding the simultaneous embeddability of 2-connected temporal sequences.
The restriction to 2-connected sequences is necessary, as the problem is NP-hard for connected graphs, while trivial for 3-connected graphs. As a consequence, our framework also resolves the rooted-tree SEFE problem, a natural extension of the well-studied sunflower SEFE. More broadly, our results demonstrate the applicability of graph minor techniques to evolving graph structures and provide a foundation for future algorithmic and structural investigations in temporal graph theory.
Higher dimensional floorplans and Baxter d-permutations
Published
• View Publication
• BIB
A $2-$dimensional mosaic floorplan is a partition of a rectangle by other rectangles with no empty rooms. These partitions (considered up to some deformations) are known to be in bijection with Baxter permutations. A $d$-floorplan is the generalisation of mosaic floorplans in higher dimensions, and a $d$-permutation is a $(d-1)$-tuple of permutations. Recently, in N. Bonichon and P.-J. Morel, {\it J. Integer Sequences} 25 (2022), Baxter $d$-permutations generalising the usual Baxter permutations were introduced.
In this paper, we consider mosaic floorplans in arbitrary dimensions, and we construct a generating tree for $d$-floorplans, which generalises the known generating tree structure for $2$-floorplans. The corresponding labels and rewriting rules appear to be significantly more involved in higher dimensions.
Moreover we give a bijection between the $2^{d-1}$-floorplans and $d$-permutations characterized by forbidden vincular patterns. Surprisingly, this set of $d$-permutations is strictly contained within the set of Baxter $d$-permutations.
A robot that unknots knots
Published
• View Publication
• BIB
Consider a robot that remembers only the starting position and walks along a knot once on a knot diagram, switching every undercrossing it meets until it returns to the starting position. We observe that the robot produces an ascending diagram, and we provide a new combinatorial proof that every ascending or descending knot diagram can be transformed into the zero-crossing unknot diagram. Using the machinery developed from the combinatorial proof, we show that the minimal number of Reidemeister moves required for such a transformation is bounded above by (7C+1)C if the diagram has C crossings. Moreover, we provide a new alternative proof that there exist sequences of Reidemeister moves that do not increase the number of crossings and transform ascending or descending knot diagrams into zero-crossing unknot diagrams.
Infinite matrix associated to sequences
Published
• View Publication
• BIB
In this paper, we study the Euler-Seidel matrices with coefficients and determine the associated Riordan matrix to a given matrix, if it does exist. Computation of the generating fonction of the final sequence is established by the associated Riordan matrix. Applications are given.
A convergence technique for the game i-Mark
Published
• View Publication
• BIB
The game of i-Mark is an impartial combinatorial game introduced by Sopena (2016). The game is parametrized by two sets of positive integers $S$, $D$, where $\min D\ge 2$. From position $n\ge 0$ one can move to any position $n-s$, $s\in S$, as long as $n-s\ge 0$, as well as to any position $n/d$, $d\in D$, as long as $n>0$ and $d$ divides $n$. The game ends when no more moves are possible, and the last player to move is the winner. Sopena, and subsequently Friman and Nivasch (2021), characterized the Sprague-Grundy sequences of many cases of i-Mark$(S,D)$ with $|D|=1$. Friman and Nivasch also obtained some partial results for the case i-Mark$(\{1\},\{2,3\})$.
In this paper we present a convergence technique that gives polynomial-time algorithms for the Sprague-Grundy sequence of many instances of i-Mark with $|D|>1$. In particular, we prove our technique works for all games i-Mark$(\{1\},\{d_1,d_2\})$.
Keywords: Combinatorial game, impartial game, Sprague-Grundy function, convergence, dynamic programming.
Graphs generated from minimal sets of finite point-set topologies
In 1985, Golumbic and Scheinerman established an equivalence between comparability graphs and containment graphs, graphs whose vertices represent sets, with edges indicating set containment. A few years earlier, McMorris and Zaslavsky characterized upper bound graphs, those derived from partially ordered sets where two elements share an edge if they have a common upper bound, by a specific edge clique cover condition. In this paper, we introduce a unifying framework for these results using finite point set topologies. Given a finite topology, we define a graph whose vertices correspond to its elements, with edges determined by intersections of their minimal containing sets, where intersection is understood in terms of the topological separation axioms. This construction yields a natural sequence of graph classes, one for each separation axiom, that connects and extends both classical results in a structured and intuitive way.