Skip to main contentSkip to search
Episciences
Open Access Journals
Sign in(new window)
Discrete Mathematics & Theoretical Computer Science logo
Discrete Mathematics & Theoretical Computer Science
Discrete Mathematics & Theoretical Computer Science logo
Discrete Mathematics & Theoretical Computer Science
Sign in(new window)
Articles & Issues
All articlesAll accepted articlesAll volumesLast volumeSectionsSpecial issuesAuthors
About
The journalIndexing
Boards
Publish
For authorsEthical charter
Submit
Discrete Mathematics & Theoretical Computer Science logo
Contact
|
Credits
eISSN 1365-8050
|
RSS
|
Atom
Episciences
Documentation
|
Acknowledgements
|
Publishing policy
Accessibility: non-compliant
|
Legal mentions
|
Privacy statement
|
Terms of use
  1. Home > Articles & Issues >
  2. Articles >
  3. Rationality, irratio ...
Conference paper

Rationality, irrationality, and Wilf equivalence in generalized factor order

Sergey Kitaev (1), Jeffrey Liese (2), Jeffrey Remmel (2), Bruce Sagan (3)
(1) Institute of Mathematics
(2) Department of Mathematics [Univ California San Diego]
(3) Department of Mathematics [Lansing]
Download article
Open on HAL
Imported on
January 31, 2017
Published on
December 31, 2008
Last modified on
March 31, 2025
Volume
DMTCS Proceedings vol. AK, 21st International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2009)
Proceedings
DOI
10.46298/dmtcs.2688
License
https://about.hal.science/hal-authorisation-v1
National Science Foundation
0654060
Combinatorial Structures for Permutation Enumeration and Macdonald Polynomials
Indicators
724
Views
526
Downloads

Rationality, irrationality, and Wilf equivalence in generalized factor order

Sergey Kitaev (1), Jeffrey Liese (2), Jeffrey Remmel (2), Bruce Sagan (3)
(1) Institute of Mathematics
(2) Department of Mathematics [Univ California San Diego]
(3) Department of Mathematics [Lansing]
Abstract
English
Let $P$ be a partially ordered set and consider the free monoid $P^{\ast}$ of all words over $P$. If $w,w' \in P^{\ast}$ then $w'$ is a factor of $w$ if there are words $u,v$ with $w=uw'v$. Define generalized factor order on $P^{\ast}$ by letting $u \leq w$ if there is a factor $w'$ of $w$ having the same length as $u$ such that $u \leq w'$, where the comparison of $u$ and $w'$ is done componentwise using the partial order in $P$. One obtains ordinary factor order by insisting that $u=w'$ or, equivalently, by taking $P$ to be an antichain. Given $u \in P^{\ast}$, we prove that the language $\mathcal{F}(u)=\{w : w \geq u\}$ is accepted by a finite state automaton. If $P$ is finite then it follows that the generating function $F(u)=\sum_{w \geq u} w$ is rational. This is an analogue of a theorem of Björner and Sagan for generalized subword order. We also consider $P=\mathbb{P}$, the positive integers with the usual total order, so that $\mathbb{P}^{\ast}$ is the set of compositions. In this case one obtains a weight generating function $F(u;t,x)$ by substituting $tx^n$ each time $n \in \mathbb{P}$ appears in $F(u)$. We show that this generating function is also rational by using the transfer-matrix method. Words $u,v$ are said to be Wilf equivalent if $F(u;t,x)=F(v;t,x)$ and we can prove various Wilf equivalences combinatorially. Björner found a recursive formula for the Möbius function of ordinary factor order on $P^{\ast}$. It follows that one always has $\mu (u,w)=0, \pm 1$. Using the Pumping Lemma we show that the generating function $M(u)= \sum_{w \geq u} | \mu (u,w) | w$ can be irrational.
French
Soit $P$ un ensemble partiellement ordonné. Nous considérons le monoïde libre $P^{\ast}$ de tous les mots utilisant $P$ comme alphabet. Si $w,w' \in P^{\ast}$, on dit que $w'$ est un facteur de $w$ s'il y a des mots $u,v$ avec $w=uw'v$. Nous définissons l'ordre facteur généralisé sur $P^{\ast}$ par: $u \leq w$ s'il y a un facteur $w'$ de $w$ ayant la même longueur que $u$ tel que $u \leq w'$, où la comparaison de $u$ avec $w'$ est faite lettre par lettre utilisant l'ordre en $P$. On obtient l'ordre facteur usuel si on insiste que $u=w'$ ou, ce qui est la même chose, en prenant $P$ comme antichaîne. Pour n'importe quel $u \in P^{\ast}$, nous démontrons que le langage $\mathcal{F}(u)=\{w : w \geq u\}$ est accepté par un automaton avec un nombre fini d'états. Si $P$ est fini, ça implique que la fonction génératrice $F(u)=\sum_{w \geq u} w$ est rationnelle. Björner et Sagan ont démontré le théorème analogue pour l'ordre où, en la définition au-dessus, $w'$ est un sous-mot de $w$. Nous considérons aussi le cas $P=\mathbb{P}$, les entiers positifs avec l'ordre usuel, donc $P^{\ast}$ est l'ensemble des compositions. En ce cas on obtient une fonction génératrice pondéré $F(u;t,x)$ en remplaçant $tx^n$ chaque fois on trouve $n \in \mathbb{P}$ en $F(u)$. Nous démontrons que cette fonction génératrice est aussi rationnelle en utilisant la Méthode Matrice de Tranfert. On dit que let mots $u,v$ sont Wilf-équivalents si $F(u;t,x)=F(v;t,x)$. Nous pouvons démontré quelques équivalences dans une manière combinatoire. Björner a trouvé une formule récursive pour la fonction Möbius de l'ordre facteur usuel sur $P^{\ast}$. Cette formule implique qu'on a toujours $\mu (u,w)=0, \pm 1$. En utilisant le Lemme de Pompage, nous démontrons que la fonction génératrice $M(u)= \sum_{w \geq u} | \mu (u,w) | w$ peut être irrationnelle.
Keywords
  • [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]
  • [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]
  • composition
  • factor order
  • finite state automaton
  • partially ordered set
  • rational generating function
  • Wilf equivalence
Cited by

Source: OpenCitations

  • Compositions inside a rectangle and unimodality

    Journal of Algebraic Combinatorics

    Authors : Bruce E. Sagan ORCID

    Journal reference : Volume 29, 2008, pp. 405-411

    DOI : 10.1007/s10801-008-0140-5
  • A survey of consecutive patterns in permutations

    ˜The œIMA volumes in mathematics and its applications

    Authors : Sergi Elizalde ORCID

    Journal reference : Volume , 2016, pp. 601-618

    DOI : 10.1007/978-3-319-24298-9_24
  • Shift equivalence in the generalized factor order

    Archiv der Mathematik

    Authors : Jennifer Fidler, Daniel Glasscock, Brian Miceli, Jay Pantone ORCID, Min Xu ORCID

    Journal reference : Volume 110, 2018, pp. 539-547

    DOI : 10.1007/s00013-018-1170-4
  • On criteria for rook equivalence of Ferrers boards

    European Journal of Combinatorics

    Authors : Jonathan Bloom ORCID, Dan Saracino

    Journal reference : Volume 76, 2018, pp. 199-207

    DOI : 10.1016/j.ejc.2018.08.006
  • Pattern avoidance for set partitions \`a la Klazar

    Discrete Mathematics & Theoretical Computer Science

    Authors : Jonathan Bloom ORCID, Dan Saracino

    Journal reference : Volume Vol. 18 no. 2, Permutation..., 2016, pp.

    DOI : 10.46298/dmtcs.1327
Preview
Loading PDF preview...