sequence
7050 papers tagged with this keyword
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.
On the inverse problem of the $k$-th Davenport constants for groups of rank $2$
Published
• View Publication
• BIB
For a finite abelian group $G$ and a positive integer $k$, let $\mathsf{D}_k(G)$ denote the smallest integer $\ell$ such that each sequence over $G$ of length at least $\ell$ has $k$ disjoint nontrivial zero-sum subsequences. It is known that $\mathsf D_k(G)=n_1+kn_2-1$ if $G\cong C_{n_1}\oplus C_{n_2}$ is a rank $2$ group, where $1<n_1\t n_2$. We investigate the associated inverse problem for rank $2$ groups, that is, characterizing the structure of zero-sum sequences of length $\mathsf D_k(G)$ that can not be partitioned into $k+1$ nontrivial zero-sum subsequences.
A Linear Representation for Constant Term Sequences mod $p^a$ with Applications to Uniform Recurrence
Many integer sequences including the Catalan numbers, Motzkin numbers, and the Apr{é}y numbers can be expressed in the form ConstantTermOf$\left[P^nQ\right]$ for Laurent polynomials $P$ and $Q$. These are often called ``constant term sequences''. In this paper, we characterize the prime powers, $p^a$, for which sequences of this form modulo $p^a$, and others built out of these sequences, are uniformly recurrent. For all other prime powers, we show that the frequency of $0$ is $1$. This is accomplished by introducing a novel linear representation of constant term sequences modulo $p^a$, which is of independent interest.
Advances on the Packing Coloring Conjectures of Subcubic Graphs
For a non-decreasing sequence of integers $S=(s_1,s_2, \dots, s_k)$, an $S$-packing coloring of $G$ is a partition of $V(G)$ into $k$ subsets $V_1,V_2,\dots,V_k$ such that the distance between any two distinct vertices $x,y \in V_i$ is at least $s_{i}+1$, $1\leq i\leq k$. The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $p$ such that $G$ is $(1,2,\dots ,p)$-packing colorable. Gastineau and Togni asked whether the subdivision $S(G)$ of every subcubic graph $G$ has $χ_ρ(S(G))\leq 5$ and whether every subcubic graph, except the Petersen graph, is $(1,1,2,2)$-packing colorable; these questions were later conjectured by Brešar et al. Moreover, Gastineau and Togni proved that a positive answer to the second question implies a positive answer to the first. In this paper, we completely resolve the second question for connected non-regular subcubic graphs, proving that they are $(1,1,2,2)$-packing colorable and hence satisfy $χ_ρ(S(G)) \leq 5$. We also establish the same result for several classes of cubic graphs, including those with diamonds, certain cut-vertices, and bridges on short cycles. Finally, we strengthen the recent result of Liu, Zhang, and Zhang [\textit{Discrete Math.} 348 (11) (2025). 114610] that every subcubic graph is $(1,1,2,2,3)$-packing colorable by proving that every connected cubic graph admits a $(1,1,2,2,k)$-packing coloring in which at most one vertex receives color $k$, where $k$ is arbitrary. This not only simplifies the existing argument but also strictly improves the bound.
Pretty good fractional revival on abelian Cayley graphs
Published
• View Publication
• BIB
Let $Γ$ be a graph with the adjacency matrix $A$. The transition matrix of $Γ$, denoted $H(t)$, is defined as $H(t) := \exp(-\textbf{i}tA)$, where $\textbf{i} := \sqrt{-1}$ and $t$ is a real variable. The graph $Γ$ is said to exhibit fractional revival (FR in short) between the vertices $a$ and $b$ if there exists a positive real number $t$ such that $H(t){\textbf{e}_{a}} = α{\textbf{e}_{a}} + β{\textbf{e}_{b}}$, where $α, β\in \mathbb{C}$ such that $β\neq 0$ and $|α|^2 + |β|^2 = 1$. The graph $Γ$ is said to exhibit pretty good fractional revival (PGFR in short) between the vertices $a$ and $b$ if there exists a sequence of real numbers $\{t_k\}$ with $\lim_{k\to\infty} H(t_k){\textbf{e}_{a}} = α{\textbf{e}_{a}} + β{\textbf{e}_{b}}$, where $α, β\in \mathbb{C}$ such that $β\neq 0$ and $|α|^2 + |β|^2 = 1$. In the definition of PGFR, if $α=0$ then $Γ$ is said to exhibit pretty good state transfer (PGST in short) between $a$ and $b$. In this paper, we obtain some sufficient conditions for circulant graphs exhibiting PGFR. We also find some sufficient conditions for non-circulant abelian Cayley graphs exhibiting PGFR. From these sufficient conditions, we find infinite families of circulant graphs and non-circulant abelian Cayley graphs exhibiting PGFR that fail to exhibit FR and PGST. Finally, we obtain some necessary conditions for some families of circulant graphs exhibiting PGFR. Some of our results generalize the results of Chan et al. [Pretty good quantum fractional revival in paths and cycles. \textit {Algebr. Comb.} 4(6) (2021), 989-1004.] for cycles.
Local obstructions in sequences revisited
In this article, we consider some simple combinatorial game and a winning strategy in this game. This game is then used to prove several known results about non-repetitive sequences and approximations with denominators from a lacunary sequence. In this way we simplify the proofs, improve the bounds and get for free the computable versions that required a separate treatment.
On the order of the shortest solution sequences for the pebble motion problems
Let $G$ be a connected graph with $N$ vertices. Let $k$ be the number of vertices in a longest path of $G$ such that every vertex on the path is a cut vertex of $G$, and every intermediate vertex of the path is a degree-two vertex of $G$. We conventionally set $k = 1$ when $G$ is $2$-edge-connected. Let $P=\{1,\ldots,n\}$ be a set of pebbles with $k < N-n$. A \textit{configuration} of $P$ on $G$ is defined as a function $f$ from $V(G)$ to $\{0, 1, \ldots, n \}$ with $|f^{-1}(i)| = 1$ for $1 \le i \le n$, where $f^{-1}(i)$ is a vertex occupied with the $i$th pebble for $1 \le i \le n$ and $f^{-1}(0)$ is a set of unoccupied vertices. A \textit{move} is defined as shifting a pebble from a vertex to some unoccupied neighbor. The {\it pebble motion problem on the pair $(G,P)$} is to decide whether a given configuration of pebbles is reachable from another by executing a sequence of moves. Let $\D(G)$ denote the diameter of the graph $G$, and let $\CL(G)$ denote the maximum length of a shortest cycle containing a vertex $v$, taken over all vertices $v$ in all $2$-connected components of $G$. For completeness, we define $\CL(G) := 1$ when $G$ is a tree. In this paper, we show that the length of the shortest solution sequences for the pebble motion problem on a pair $(G, P)$ is in $\Ord\left(n\D(G) + \min\left\{k n \D(G),\ n^{2} \log\big(1+\min\{n, k\}\big)\right\}\right)$ if $G$ is an $N$-vertex tree, and in $\Ord\left(n\D(G)+\frac{n^2\min\{n,\CL(G)\}}{N-n}+n^2\log(1+\min\{n, N-n\})\right)$ if $G$ is a connected general $N$-vertex graph. Furthermore, in the case where $G$ is a connected general $N$-vertex graph and the number of unoccupied spaces $N - n$ is bounded by some constant, this length admits an upper bound of $\Ord(n \CL(G) \D(G))$.
Keywords: pebble motion, motion planning, multi-agent path finding, $15$-puzzle, tree
Permutons, meanders, and SLE-decorated Liouville quantum gravity
Published in J. Eur. Math. Soc. 28 (2026), no. 11, pp. 4893-4949
• View Publication
• BIB
We study a class of random permutons which can be constructed from a pair of space-filling Schramm-Loewner evolution (SLE) curves on a Liouville quantum gravity (LQG) surface. This class includes the skew Brownian permutons introduced by Borga (2021), which describe the scaling limit of various types of random pattern-avoiding permutations. Another interesting permuton in our class is the meandric permuton, which corresponds to two independent SLE$_8$ curves on a $γ$-LQG surface with $γ= \sqrt{\frac13 \left( 17 - \sqrt{145} \right)}$. Building on work by Di Francesco, Golinelli, and Guitter (2000), we conjecture that the meandric permuton describes the scaling limit of uniform meandric permutations, i.e., the permutations induced by a simple loop in the plane which crosses a line a specified number of times.
We show that for any sequence of random permutations which converges to one of the above random permutons, the length of the longest increasing subsequence is sublinear. This proves that the length of the longest increasing subsequence is sublinear for Baxter, strong-Baxter, and semi-Baxter permutations and leads to the conjecture that the same is true for meandric permutations. We also prove that the closed support of each of the random permutons in our class has Hausdorff dimension one. Finally, we prove a re-rooting invariance property for the meandric permuton and write down a formula for its expected pattern densities in terms of LQG correlation functions (which are known explicitly) and the probability that an SLE$_8$ hits a given set of points in numerical order (which is not known explicitly). We conclude with a list of open problems.
The chromatic symmetric function of graphs glued at a single vertex
Published
• View Publication
• BIB
We describe how the chromatic symmetric function of two graphs glued at a single vertex can be expressed as a matrix multiplication using certain information of the two individual graphs. We then prove new $e$-positivity results by using a connection between forest triples, defined by the first author, and Hikita's probabilities associated to standard Young tableaux. Specifically, we prove that gluing a sequence of unit interval graphs and cycles results in an $e$-positive graph. We also prove $e$-positivity for a graph obtained by gluing the first and last vertices of such a sequence. This generalizes $e$-positivity of cycle-chord graphs and supports Ellzey's conjectured $e$-positivity for proper circular arc digraphs.
Zigzags, contingency tables, and quotient rings
Published
• View Publication
• BIB
Let $\mathbf{x}_{k \times p}$ be a $k \times p$ matrix of variables and let $\mathbb{F}[\mathbf{x}_{k \times p}]$ be the polynomial ring in these variables. Given two weak compositions $α,β\models_0 n$ of lengths $\ell(α) = k$ and $\ell(β) = p$, we study the ideal $I_{α,β} \subseteq \mathbb{F}[\mathbf{x}_{k \times \ell}]$ generated by row sums, column sums, monomials in row $i$ of degree $> α_i$, and monomials in column $j$ of degree $> β_j$. We prove results connecting algebraic properties of the quotient ring $R_{α,β} := \mathbb{F}[\mathbf{x}_{k \times \ell}]/I_{α,β}$ with the set $C_{α,β}$ of $α,β$-contingency tables. The standard monomial basis of $R_{α,β}$ with respect to a diagonal term order is encoded by the matrix-ball avatar of the RSK correspondence. We describe the Hilbert series of $R_{α,β}$ in terms of a zigzag statistic on contingency tables. The ring $R_{α,β}$ carries a graded action of the product $\mathrm{Stab}(α) \times \mathrm{Stab}(β)$ of symmetry groups of the sequences $α= (α_1,\dots,α_k)$ and $β= (β_1,\dots,β_p)$; we describe how to calculate the isomorphism type of this graded action. Our analysis regards the set $C_{α,β}$ as a locus in the affine space $\mathrm{Mat}_{k \times p}(\mathbb{F})$ and applies orbit harmonics to this locus.
Fibonacci-like partitions and their associated piecewise-defined permutations
Published
• View Publication
• BIB
In this paper we introduce a family of partitions of the set of natural numbers, Fibonacci-like partitions. In particular, we introduce a Fibonacci-like partition in a number of parts corresponding to the Fibonacci numbers, the standard Fibonacci-like partitions of the first kind. That partition refines the well-known partition in two parts associated to the Wythoff sequences. In a similar way, we introduce another family of Fibonacci-like partitions of the natural numbers, with an initial segment removed, in a number of parts which also follows the Fibonacci sequence, the standard Fibonacci-like partitions of the second kind.
We study some piecewise-defined permutations over Fibonacci-like partitions, which give both torsion-free and torsion elements in the symmetric group over the set of natural numbers. We give an application of Fibonacci-like partitions to the study of a sequence analyzed by A. Shapovalov and by B.J. Venkatachala. We give also a generalization of the mentioned sequence, involving techniques that are not related to Fibbonaci numbers nor Beatty sequences, obtaining an infinite family of sequences that we conjecture that produce an infinite orthogonal array in which the number of symbols, trials and factors is countable infinite, and having an automorphism group isomorphic to Z acting regularly on the symbol set.
On the sampling entropy of permutons
Published
• View Publication
• BIB
For a permuton $μ$ let $H_n(μ)$ denote the Shannon entropy of the sampling distribution of $μ$ on $n$ points. We investigate the asymptotic growth of $H_n(μ)$ for a wide class of permutons.
We prove that if $μ$ has a non-vanishing absolutely continuous part, then $H_n(μ)$ has a growth rate $Θ(n \log n)$. We show that if $μ$ is the graph of a piecewise continuously differentiable, measure-preserving function $f$, then $H_n(μ)/n$ tends to the Kolmogorov--Sinai entropy of $f$. Using genericity arguments, we also prove the existence of function permutons for which $H_n(μ)$ does not converge either after normalizing by $n$ or by $n\log n$.
We study the sampling entropy of a natural family of random fractal-like permutons determined by a sequence of i.i.d. choices. It turns out that for every $n$, $H_n(μ)/n$ is heavily concentrated. We prove that the sequence $H_n(μ)/n$ either converges or has deterministic log-periodic oscillations almost surely, and argue towards the conjecture that in nondegenerate case, oscillation holds. On the other hand, for a straightforward random perturbation of the model $\tildeμ$ of $μ$, we prove the almost sure convergence of $H_n(\tildeμ)/n$.