Further results on staircase graph words

Sela Fried

2024-11-05

Abstract:Staircase words are words in which consecutive letters do not differ by more than $1$. We generalize this by stretching the restriction to letters lying further apart from each other and obtain the corresponding generating functions.

Combinatorics

What problem does this paper attempt to address?

Staircase graph words

Sela Fried,Toufik Mansour

2023-12-14

Abstract:Generalizing the notion of staircase words, introduced by Knopfmacher et.\ al, we define staircase graph words. These are functions $w$ from the vertex set $V$ of a graph into the set $\{1,2,\ldots,k\}$, such that $|w(x)-w(y)|\leq 1$, for every adjacent $x,y\in V$. We find the explicit generating functions for the number of staircase graph words for the grid graph, the rectangle-triangular graph and the king's graph, all of size $2\times n$.

Combinatorics
Consecutive Power Occurrences in Sturmian Words

Jason Bell,Chris Schulz,Jeffrey Shallit

2024-02-15

Abstract:We show that every Sturmian word has the property that the distance between consecutive ending positions of cubes occurring in the word is always bounded by $10$ and this bound is optimal, extending a result of Rampersad, who proved that the bound $9$ holds for the Fibonacci word. We then give a general result showing that for every $e \in [1,(5+\sqrt{5})/2)$ there is a natural number $N$, depending only on $e$, such that every Sturmian word has the property that the distance between consecutive ending positions of $e$-powers occurring in the word is uniformly bounded by $N$.

Combinatorics,Discrete Mathematics,Formal Languages and Automata Theory,Number Theory
Counting $r\times s$ rectangles in nondecreasing and Smirnov words

Sela Fried

2024-06-27

Abstract:The rectangle capacity, a word statistic that was recently introduced by the author and Mansour, counts, for two fixed positive integers $r$ and $s$, the number of occurrences of a rectangle of size $r\times s$ in the bargraph representation of a word. In this work we find the bivariate generating function for the distribution on nondecreasing words of the number of $r\times s$ rectangles and the generating function for their total number over all nondecreasing words. We also obtain the analog results for Smirnov words, which are words that have no consecutive equal letters. This complements our recent results concerned with general words (i.e., not restricted) and Catalan words.

Combinatorics
Prefixes of Stanley’s Catalan Paths with Odd Returns to the $x$-axis–Standard Version and Skew Catalan-Stanley Paths

Helmut Prodinger,

DOI: https://doi.org/10.61091/ars158-11

2024-01-01

Ars combinatoria

Abstract:For $r=1,2,..., 6$, we obtain generating functions $F^{(r)}_{k}(y)$ for words over the alphabet $[k]$, where $y$ tracks the number of parts and $[y^n]$ is the total number of distinct adjacent $r$-tuples in words with $n$ parts. In order to develop these generating functions for $1\le r\le 3$, we make use of intuitive decompositions but for larger values of $r$, we switch to the cluster analysis method for decorated texts that was introduced by Bassino et al. Finally, we account for the coefficients of these generating functions in terms of Stirling set numbers. This is done by putting forward the full triangle of coefficients for all the sub-cases where $r=5$ and 6. This latter is shown to depend on both periodicity and number of letters used in the $r$-tuples.

mathematics
Skew Schur Functions of Sums of Fat Staircases

Matthew Morin

DOI: https://doi.org/10.48550/arXiv.1003.1691

2010-03-09

Abstract:We define a fat staircase to be a Ferrers diagram corresponding to a partition of the form $(n^{\alpha_n}, {n-1}^{\alpha_{n-1}},..., 1^{\alpha_1})$, where $\alpha = (\alpha_1,...,\alpha_n)$ is a composition, or the $180^\circ$ rotation of such a diagram. If a diagram's skew Schur function is a linear combination of Schur functions of fat staircases, we call the diagram a sum of fat staircases. We prove a Schur-positivity result that is obtained each time we augment a sum of fat staircases with a skew diagram. We also determine conditions on which diagrams can be sums of fat staircases, including necessary and sufficient conditions in the special case when the diagram is a fat staircase skew a single row or column.

Combinatorics
Higher-Order Staircase Codes

Mohannad Shehadeh,Frank R. Kschischang,Alvin Y. Sukmadji,William Kingsford

2024-07-16

Abstract:We generalize staircase codes and tiled diagonal zipper codes, preserving their key properties while allowing each coded symbol to be protected by arbitrarily many component codewords rather than only two. This generalization which we term "higher-order staircase codes" arises from the marriage of two distinct combinatorial objects: difference triangle sets and finite-geometric nets, which have typically been applied separately to code design. We demonstrate one possible realization of these codes, obtaining powerful, high-rate, low-error-floor, and low-complexity coding schemes based on simple iterative syndrome-domain decoding of coupled Hamming component codes. We anticipate that the proposed codes could improve performance--complexity--latency tradeoffs in high-throughput communications applications, most notably fiber-optic, in which classical staircase codes and zipper codes have been applied. We consider the construction of difference triangle sets having minimum scope and sum-of-lengths, which lead to memory-optimal realizations of higher-order staircase codes. These results also enable memory reductions for early families of convolutional codes constructed from difference triangle sets.

Information Theory
Further results on random walk labelings

Sela Fried,Toufik Mansour

DOI: https://doi.org/10.1016/j.dam.2024.04.030

IF: 1.254

2024-05-13

Discrete Applied Mathematics

Abstract:In a previous work, we defined and studied random walk labelings of graphs. These are graph labelings that are obtainable by performing a random walk on the graph, such that each vertex is labeled upon its first visit. In this work, we calculate the number of random walk labelings of several natural graph families: The wheel, fan, barbell, lollipop, tadpole, friendship, and snake graphs. Additionally, we prove several combinatorial identities that emerged during the calculations.

mathematics, applied
Lattice animals on a staircase and generalized Fibonacci numbers

L. Turban

DOI: https://doi.org/10.48550/arXiv.cond-mat/0106595

2006-10-19

Abstract:We study the statistics of column-convex lattice animals generated by the stacking of squares on a staircase with step height p. We calculate the number of animals with area k living on l stairs. The total number of animals with area k is given by the generalized Fibonacci number F_p(k). Exact results for the mean length and mean height of animals with area k are also obtained and we examine their asymptotic behaviour.

Statistical Mechanics
Cauchy identities for staircase matrices

Evgeny Feigin,Anton Khoroshkin,Ievgen Makedonskyi

2024-11-05

Abstract:The celebrated Cauchy identity expresses the product of terms $(1 - x_i y_j)^{-1}$ for $(i,j)$ indexing entries of a rectangular $m\times n$-matrix as a sum over partitions $\lambda$ of products of Schur polynomials: $s_{\lambda}(x)s_{\lambda}(y)$. Algebraically, this identity comes from the decomposition of the symmetric algebra of the space of rectangular matrices, considered as a $\mathfrak{gl}_m$-$\mathfrak{gl}_n$-bi-module. We generalize the Cauchy decomposition by replacing rectangular matrices with arbitrary staircase-shaped matrices equipped with the left and right actions of the Borel upper-triangular subalgebras. For any given staircase shape $\mathsf{Y}$ we describe left and right "standard" filtrations on the symmetric algebra of the space of shape $\mathsf{Y}$ matrices. We show that the subquotients of these filtrations are tensor products of Demazure and van der Kallen modules over the Borel subalgebras. On the level of characters, we derive three distinct expansions for the product $(1 - x_i y_j)^{-1}$ for $(i,j) \in \mathsf{Y}$. The first two expansions are sums of products of key polynomials $\kappa_\lambda(x)$ and Demazure atoms $a_{\mu}(y)$. The third expansion is an alternating sum of products of key polynomials $\kappa_{\lambda}(x)\,\kappa_{\mu}(y)$.

Representation Theory,Combinatorics,Category Theory
Differences of Skew Schur Functions of Staircases with Transposed Foundations

Matthew Morin

DOI: https://doi.org/10.48550/arXiv.1003.1688

2010-03-09

Abstract:We consider the skew diagram $\Delta_n$, which is the $180^\circ$ rotation of the staircase diagram $\delta_n = (n,n-1,n-2,...,2,1)$. We create a staircase with bad foundation by augmenting $\Delta_n$ with another skew diagram, which we call the \textit{foundation}. We consider pairs of staircases with bad foundation whose foundations are transposes of one another. Among these pairs, we show that the difference of the corresponding skew Schur functions is Schur-positive in the case when one of the foundations consists of either a one or two row diagram, or a hook diagram.

Combinatorics
Product of two staircase rank one transformations that is not loosely Bernoulli

Adam Kanigowski,Thierry De La Rue

DOI: https://doi.org/10.48550/arXiv.1812.08027

2018-12-19

Abstract:We construct two staircase rank one transformations whose Cartesian product is not loosely Bernoulli.

Dynamical Systems
Flattened Catalan Words

Jean-Luc Baril,Pamela E. Harris,José L. Ramírez

2024-05-09

Abstract:In this work, we define flattened Catalan words as Catalan words whose runs of weak ascents have leading terms that appear in weakly increasing order. We provide generating functions, formulas, and asymptotic expressions for the number of flattened Catalan words based on the number of runs of ascents (descents), runs of weak ascents (descents), $\ell$-valleys, valleys, symmetric valleys, $\ell$-peaks, peaks, and symmetric peaks.

Combinatorics
Counting $r\times s$ rectangles in (Catalan) words

Sela Fried,Toufik Mansour

2024-05-11

Abstract:Generalizing previous results, we introduce and study a new statistic on words, that we call rectangle capacity. For two fixed positive integers $r$ and $s$, this statistic counts the number of occurrences of a rectangle of size $r\times s$ in the bargraph representation of a word. We find the bivariate generating function for the distribution on words of the number of $r\times s$ rectangles and the generating function for their total number over all words. We also obtain the analog results for Catalan words.

Combinatorics
On the realization of double occurrence words

B. Shtylla,L. Traldi,L. Zulli

DOI: https://doi.org/10.1016/j.disc.2008.02.035

IF: 0.961

2009-04-01

Discrete Mathematics

Abstract:Let S be a double occurrence word, and let MS be the word’s interlacement matrix, regarded as a matrix over GF(2). Gauss addressed the question of which double occurrence words are realizable by generic closed curves in the plane. We reformulate answers given by Rosenstiehl and by de Fraysseix and Ossona de Mendez to give new graph-theoretic and algebraic characterizations of realizable words. Our algebraic characterization is especially pleasing: S is realizable if and only if there exists a diagonal matrix DS such that MS+DS is idempotent over GF(2).

mathematics
Lattice animals on a staircase and Fibonacci numbers

L. Turban

DOI: https://doi.org/10.1088/0305-4470/33/13/311

2000-11-02

Abstract:We study the statistics of column-convex lattice animals resulting from the stacking of squares on a single or double staircase. We obtain exact expressions for the number of animals with a given length and area, their mean length and their mean height. These objects are closely related to Fibonacci numbers. On a single staircase, the total number of animals with area k is given by the Fibonacci number F_k.

Statistical Mechanics
Graph Labelings Obtainable by Random Walks

Sela Fried,Toufik Mansour

2023-04-12

Abstract:We initiate the study of what we refer to as random walk labelings of graphs. These are graph labelings that are obtainable by performing a random walk on the graph, such that the labeling occurs increasingly whenever an unlabeled vertex is encountered. Some of the results we obtain involve sums of inverses of binomial coefficients, for which we obtain new identities. In particular, we prove that $\sum_{k=0}^{n-1}2^{k}(2k+1)^{-1}\binom{2k}{k}^{-1}\binom{n+k}{k}=\binom{2n}{n}2^{-n}\sum_{k=0}^{n-1}2^{k}(2k+1)^{-1}\binom{2k}{k}^{-1}$, thus confirming a conjecture of Bala.

Combinatorics
Counting Distinct Adjacent r-tuples in Words

Aubrey Blecher,,Arnold Knopfmacher,

DOI: https://doi.org/10.61091/ars158-10

2024-01-01

Ars combinatoria

Abstract:For $r=1,2,..., 6$, we obtain generating functions $F^{(r)}_{k}(y)$ for words over the alphabet $[k]$, where $y$ tracks the number of parts and $[y^n]$ is the total number of distinct adjacent $r$-tuples in words with $n$ parts. In order to develop these generating functions for $1\le r\le 3$, we make use of intuitive decompositions but for larger values of $r$, we switch to the cluster analysis method for decorated texts that was introduced by Bassino et al. Finally, we account for the coefficients of these generating functions in terms of Stirling set numbers. This is done by putting forward the full triangle of coefficients for all the sub-cases where $r=5$ and 6. This latter is shown to depend on both periodicity and number of letters used in the $r$-tuples.

mathematics
Graphs of Reduced Words and Some Connections

Praise Adeyemo

2024-06-14

Abstract:The family of graphs of reduced words of a certain subcollection of permutations in the union $\cup_{n\geq 4}\frak{S}_{n}$ of symmetic groups is investigated. The subcollection is characterised by the hook cycle type $(n-2,1,1)$ with consecutive fixed points. A closed formula for counting the vertices of each member of the family is given and the vertex-degree polynomials for the graphs with their generating series is realised. Lastly, some isomorphisms of these graphs with various combinatorial objects are established.

Combinatorics
Extensions and reductions of square-free words

Michał Dębski,Jarosław Grytczuk,Bartłomiej Pawlik

DOI: https://doi.org/10.48550/arXiv.2209.08507

2022-09-18

Abstract:A word is square-free if it does not contain a nonempty word of the form $XX$ as a factor. A famous 1906 result of Thue asserts that there exist arbitrarily long square-free words over a $3$-letter alphabet. We study square-free words with additional properties involving single-letter deletions and extensions of words. A square-free word is steady if it remains square-free after deletion of any single letter. We prove that there exist infinitely many steady words over a $4$-letter alphabet. We also demonstrate that one may construct steady words of any length by picking letters from arbitrary alphabets of size $7$ assigned to the positions of the constructed word. We conjecture that both bounds can be lowered to $4$, which is best possible. In the opposite direction, we consider square-free words that remain square-free after insertion of a single (suitably chosen) letter at every possible position in the word. We call them bifurcate. We prove a somewhat surprising fact, that over a fixed alphabet with at least three letters, every steady word is bifurcate. We also consider families of bifurcate words possessing a natural tree structure. In particular, we prove that there exists an infinite tree of doubly infinite bifurcate words over alphabet of size $12$.

Combinatorics
Pointwise order of generalized Hofstadter functions $G, H$ and beyond

Pierre Letouzey,Shuo Li,Wolfgang Steiner

2024-10-01

Abstract:Hofstadter's $G$ function is recursively defined via $G(0)=0$ and then $G(n)=n-G(G(n-1))$. Following Hofstadter, a family $(F_k)$ of similar functions is obtained by varying the number $k$ of nested recursive calls in this equation. We establish here that this family is ordered pointwise: for all $k$ and $n$, $F_k(n) \le F_{k+1}(n)$. For achieving this, a detour is made via infinite morphic words generalizing the Fibonacci word. Various properties of these words are proved, concerning the lengths of substituted prefixes of these words and the counts of some specific letters in these prefixes. We also relate the limits of $\frac{1}{n}F_k(n)$ to the frequencies of letters in the considered words.

Discrete Mathematics,Formal Languages and Automata Theory,Combinatorics,Number Theory

Further results on staircase graph words

Staircase graph words

Consecutive Power Occurrences in Sturmian Words

Counting $r\times s$ rectangles in nondecreasing and Smirnov words

Prefixes of Stanley’s Catalan Paths with Odd Returns to the \(x\)-axis–Standard Version and Skew Catalan-Stanley Paths

Skew Schur Functions of Sums of Fat Staircases

Higher-Order Staircase Codes

Further results on random walk labelings

Lattice animals on a staircase and generalized Fibonacci numbers

Cauchy identities for staircase matrices

Differences of Skew Schur Functions of Staircases with Transposed Foundations

Product of two staircase rank one transformations that is not loosely Bernoulli

Flattened Catalan Words

Counting $r\times s$ rectangles in (Catalan) words

On the realization of double occurrence words

Lattice animals on a staircase and Fibonacci numbers

Graph Labelings Obtainable by Random Walks

Counting Distinct Adjacent r-tuples in Words

Graphs of Reduced Words and Some Connections

Extensions and reductions of square-free words

Pointwise order of generalized Hofstadter functions $G, H$ and beyond