Research Article | Open Access
Margaret Archibald, Aubrey Blecher, Charlotte Brennan, Arnold Knopfmacher, Toufik Mansour, "Impulse Propagation in Compositions and Words", International Journal of Mathematics and Mathematical Sciences, vol. 2021, Article ID 8811261, 6 pages, 2021. https://doi.org/10.1155/2021/8811261
Impulse Propagation in Compositions and Words
We consider compositions of represented as bargraphs and subject these to repeated impulses which start from the left at the top level and destroy horizontally connected parts. This is repeated while moving to the right first and then downwards to the next row and the statistic of interest is the number of impulses needed to annihilate the whole composition. We achieve this by conceptualizing a generating function that tracks compositions as well as the number of impulses used. This conceptualization is repeated for words (over a finite alphabet) represented by bargraphs.
In several recent papers modelling physical or chemical situations, molecules and other structures are represented by combinatorial objects (e.g., compositions) and various physical entities (such as light or force) acting on the objects are modelled in the mathematical context of these combinatorial objects (see [1–4]). In this paper, we continue this project using bargraphs (see ) to model the physical objects subject to impulses which destroy them. An impulse starts from the left at the top level and destroys the blocks formed by the horizontally connected cells. The number of such impulses is the focus of attention. Each block on a given level requires a separate impulse to destroy it. Bargraphs are nonintersecting lattice paths in with three allowed types of steps; up , down , and horizontal . They start at the origin with an up step and terminate immediately upon return to the -axis. Bargraphs can represent compositions and words where the respective height of each horizontal step corresponds to the respective size of each part of the three structures. A composition is a bargraph of area . It is well known that there are precisely compositions of size (or area) see Figure 1.
The impulses on the same horizontal level have the same color. There are two impulses on level 2.
In what follows, we devote one section to each of the combinatorial structures (compositions and words). Each section develops the generating function for the number of impulses required to annihilate the respective structures, and we obtain the average number of such impulses required for each of the structures in relation to its defining parameter (size of the composition and length of words). In Section 4, we also study the number of impulses at level in these bargraphs.
Compositions of (see ) are finite sequences of positive integers such thatwhere the are called parts and denote the height of the columns in the associated bargraph.
The generating function (see ) will count compositions where marks the size of the composition , is the number of parts, and is the number of impulses.
We shall consider , the generating function for compositions where the first part is of size . We decompose this situation into three cases: namely, where the composition has only one part (of size ), or for more than one part, we take compositions starting with a part of size and prepend a part of size to the left with or else we prepend a part . We sum the three respective generating functions:
For convenience, suppress the other variables and introduce variable that tracks the size of the first letter. So, we define
This is an expression that can be iterated. For simplicity, we define . Thus,
Carrying on this process ad infinitum, we obtain
Now, substituting yields
Thus, we can state the following result.
Theorem 1. We haveFor example, in Theorem 1 with , we get back the well-known generating function for all compositions:where the size of the composition is counted by and the number of parts is counted by .
Theorem 1 shows thatwhich leads toThus, we can state the following result.
Corollary 1. The total number of impulses over all compositions of is given byDividing by , we find that the average number of impulses to destroy a composition of size is
Words over the alphabet are finite sequences , where each (see ). For the purposes of this paper, we represent each such word as a bargraph (see the previous section) with maximum column height .
The generating function will count words over the alphabet of length (bargraphs with columns and the height of each column is at most ), where marks the size of the words and is the number of impulses. Let be the generating function for such words where the first part is of size . By (2) and the fact that , we have
By induction on , we obtainwhere is the set of compositions of . Actually, means . Thus,which implies the following theorem.
Theorem 2. We haveIn particular, , which is the well-known generating function for the number of words of length over the alphabet .
Differentiating the equation in Theorem 2 yieldswhich leads to the following corollary.
Corollary 2. The total number of impulses for all words of length over alphabet is given byHence, the average number of impulses for a word of length is .
4. Impulses at Level
Define to be the number of impulses at level in the bargraph . For instance, , , , , and for all , where is given in Figure 1. Define to be the generating function for the number of compositions of with exactly parts and number of impulses at level , that is,where is sum over all compositions of with exactly parts.
Let us write an equation for . Note that each composition can be decomposed as follows: it is either empty; or ; or and ; or and ; or with and ; or with and . Thus, we have the following contributions 1, , , , , andrespectively. Hence,which, by iterating, implies the following result.
Theorem 3. The generating function satisfies
Moreover, it is given by
Note that satisfies . Define with and for all . Then, Theorem 3 gives the following result.
Theorem 4. The generating function is given bywhereDefine to be the generating function . Then, Theorem 4 (and induction on ) shows that for all ,Hence, , which leads to the following result.
Corollary 3. Let . Then, the total number of impulses at level over all bargraphs of is given by
When , this gives as expected since for every compositions of .
As another application, we consider the generating function with for j ≥ m and for all . Note that is the generating function for the number of compositions of with exactly parts such that each part is at most . Theorem 3 shows with . Hence, , for all , as it is well known (see ).
No data were used to support this study.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
This study was supported by the National Research Foundation under grant numbers 89147, 86329, and 81021.
- M. Archibald, A. Blecher, C. Brennan, A. Knopfmacher, and T. Mansour, “Shedding light on words,” Applicable Analysis and Discrete Mathematics, vol. 11, no. 1, pp. 216–231, 2017.
- A. Blecher and T. Mansour, “Counting staircases in integer compositions,” Online Journal of Analytic Combinatorics, vol. 11, no. 11, 2016.
- T. Mansour and A. S. Shabani, “Interior vertices and edges in bargraphs,” Notes on Number Theory and Discrete Mathematics, vol. 25, no. 2, pp. 181–189, 2019.
- T. Mansour and M. Shattuck, “Combinatorial parameters on bargraphs of permutations,” Transactions on Combinatorics, vol. 7, no. 2, pp. 1–16, 2018.
- M. Bousquet-Mélou and A. Rechnitzer, “The site-perimeter of bargraphs,” Advances in Applied Mathematics, vol. 31, no. 1, pp. 86–112, 2003.
- S. Heubach and T. Mansour, Combinatorics of Compositions and Words, Discrete Mathematics and its Applications, CRC Press, Taylor and Francis Group, Boca Raton, FL, USA, 2010.
- P. Flajolet and R. Sedgewick, Analytic Combinatorics, Cambridge University Press, Cambridge, UK, 2009.
Copyright © 2021 Margaret Archibald et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.