Cobordism of words

Relations on words

In the first part of this survey, we present classical notions arising in combinatorics on words: growth function of a language, complexity function of an infinite word, pattern avoidance, periodicity and uniform recurrence. Our presentation tries to set up a unified framework with respect to a given binary relation. In the second part, we mainly focus on abelian equivalence, $k$-abelian equivalence, combinatorial coefficients and associated relations, Parikh matrices and $M$-equivalence. In particular, some new refinements of abelian equivalence are introduced.

K-Knuth Equivalence for Increasing Tableaux

A K-theoretic analogue of RSK insertion and Knuth equivalence relations was first introduced in 2006 by Buch, Kresch, Shimozono, Tamvakis, and Yong. The resulting K-Knuth equivalence relations on words and increasing tableaux on [n] has prompted investigation into the equivalence classes of tableaux arising from these relations. Of particular interest are the tableaux that are unique in their class, which we refer to as unique rectification targets (URTs). In this paper we give several new families of URTs and a bound on the length of intermediate words connecting two K-Knuth equivalent words.…

Parikh Matrices and Strong M-Equivalence

Parikh matrices have been a powerful tool in arithmetizing words by numerical quantities. However, the dependence on the ordering of the alphabet is inherited by Parikh matrices. Strong M-equivalence is proposed as a canonical alternative to M-equivalence to get rid of this undesirable property. Some characterization of strong M-equivalence for a restricted class of words is obtained. Finally, the existential counterpart of strong M-equivalence is introduced as well.

Variations of the Morse-Hedlund Theorem for $k$-Abelian Equivalence

In this paper we investigate local to global phenomena for a new family of complexity functions of infinite words indexed by $k \in \Ni \cup \{+\infty\}$ where $\Ni$ denotes the set of positive integers. Two finite words $u$ and $v$ in $A^*$ are said to be $k$-Abelian equivalent if for all $x \in A^*$ of length less than or equal to $k$, the number of occurrences of $x$ in $u$ is equal to the number of occurrences of $x$ in $v$. This defines a family of equivalence relations $\sim_k$ on $A^*$, bridging the gap between the usual notion of Abelian equivalence (when $k = 1$) and equality (when $k…

Strong 2.t and Strong 3.t Transformations for Strong M-equivalence

Parikh matrices have been extensively investigated due to their usefulness in studying subword occurrences in words. Due to the dependency of Parikh matrices on the ordering of the alphabet, strong M-equivalence was proposed as an order-independent alternative to M-equivalence in studying words possessing the same Parikh matrix. This paper introduces and studies the notions of strong 2.t and strong 3.t transformations in determining when two ternary words are strongly M-equivalent. The irreducibility of strong 2.t transformations are then scrutinized, exemplified by a structural characterizati…

On a generalization of Abelian equivalence and complexity of infinite words

In this paper we introduce and study a family of complexity functions of infinite words indexed by $k \in \ints ^+ \cup {+\infty}.$ Let $k \in \ints ^+ \cup {+\infty}$ and $A$ be a finite non-empty set. Two finite words $u$ and $v$ in $A^*$ are said to be $k$-Abelian equivalent if for all $x\in A^*$ of length less than or equal to $k,$ the number of occurrences of $x$ in $u$ is equal to the number of occurrences of $x$ in $v.$ This defines a family of equivalence relations $\thicksim_k$ on $A^*,$ bridging the gap between the usual notion of Abelian equivalence (when $k=1$) and equality (when $…

子词计数直到堆排序等价

Subword enumeration up to stack-sorting equivalence

本文探讨了堆排序等价下的子词计数，通过tortoise和hare操作扩展了无限序列的abelian复杂度函数，并应用于纸折叠词和图灵-莫尔斯词，揭示了堆排序与词组合学的交叉联系。

On avoidance of patterns of the form σ-τ by words over a finite alphabet

Vincular or dashed patterns resemble classical patterns except that some of the letters within an occurrence are required to be adjacent. We prove several infinite families of Wilf-equivalences for k-ary words involving vincular patterns containing a single dash, which explain the majority of the equivalences witnessed for such patterns of length four. When combined with previous results, numerical evidence, and some arguments in specific cases, we obtain the complete Wilf-classification for all vincular patterns of length four containing a single dash. In some cases, our proof shows further t…

平方自由性的松弛

Relaxation of Square-Freeness

本文扩展了非重复序列分析，引入参数化等价和保序等价下的松弛平方自由性，通过形态构造得到无限长的3^+参数化平方自由三元词和3^+保序平方自由二元词。

On the Rearrangement Conjecture for Generalized Factor Order Over $\mathbb{P}$

The Rearrangement Conjecture states that if two words over $\mathbb{P}$ are Wilf-equivalent in the factor order on $\mathbb{P}^\ast$ then they are rearrangements of each other. We introduce the notion of strong Wilf-equivalence and prove that if two words over $\mathbb{P}$ are strongly Wilf-equivalent then they are rearrangements of each other. We further conjecture that Wilf-equivalence implies strong Wilf-equivalence.

Computing the $k$-binomial complexity of the Thue--Morse word

Two words are $k$-binomially equivalent whenever they share the same subwords, i.e., subsequences, of length at most $k$ with the same multiplicities. This is a refinement of both abelian equivalence and the Simon congruence. The $k$-binomial complexity of an infinite word $\mathbf{x}$ maps the integer $n$ to the number of classes in the quotient, by this $k$-binomial equivalence relation, of the set of factors of length $n$ occurring in $\mathbf{x}$. This complexity measure has not been investigated very much. In this paper, we characterize the $k$-binomial complexity of the Thue--Morse word.…

带正则约束的 E-模式语言的等价问题不可判定

The Equivalence Problem of E-Pattern Languages with Regular Constraints is Undecidable

本文研究了带正则约束的擦除与非擦除模式语言的成员资格、包含和等价问题，证明在允许正则约束和变量相等的情况下，擦除等价问题变得不可判定。

Abelian Combinatorics on Words: a Survey

We survey known results and open problems in abelian combinatorics on words. Abelian combinatorics on words is the extension to the commutative setting of the classical theory of combinatorics on words. The extension is based on \emph{abelian equivalence}, which is the equivalence relation defined in the set of words by having the same Parikh vector, that is, the same number of occurrences of each letter of the alphabet. In the past few years, there was a lot of research on abelian analogues of classical definitions and properties in combinatorics on words. This survey aims to gather these res…

On cardinalities of $k$-abelian equivalence classes

Two words $u$ and $v$ are $k$-abelian equivalent if, for each word $x$ of length at most $k$, $x$ occurs equally many times as a factor in both $u$ and $v$. The notion of $k$-abelian equivalence is an intermediate notion between the abelian equivalence and the equality of words. In this paper, we study the equivalence classes induced by the $k$-abelian equivalence, mainly focusing on the cardinalities of the classes. In particular, we are interested in the number of singleton $k$-abelian classes, i.e., classes containing only one element. We find a connection between the singleton classes and …

Rational Catalan polynomials and rank words

For $m,n$ coprime we introduce a new statistic skip on $(m,n)$-rational Dyck paths and give a fast way to compute dinv and skip statistics. We also introduce $(m,n)$-rank words, which are in one-to-one correspondence with $(m,n)$-Dyck paths. Defining an equivalence relation on pairs of certain ranks in a rank word, we prove that the number of equivalence classes is the skips of the rank word, and the skips of the corresponding Dyck path. We construct a homogeneous generating function $W_{m,n}(q,t,b)$ using statistics area, dinv and skip, where $W_{m,n}(q,t,1)=C_{m,n}(q,t)$, the rational Catala…

Generating functions for Wilf equivalence under generalized factor order

Kitaev, Liese, Remmel, and Sagan recently defined generalized factor order on words comprised of letters from a partially ordered set $(P, \leq_P)$ by setting $u \leq_P w$ if there is a subword $v$ of $w$ of the same length as $u$ such that the $i$-th character of $v$ is greater than or equal to the $i$-th character of $u$ for all $i$. This subword $v$ is called an embedding of $u$ into $w$. For the case where $P$ is the positive integers with the usual ordering, they defined the weight of a word $w = w_1\ldots w_n$ to be $\text{wt}(w) = x^{\sum_{i=1}^n w_i} t^{n}$, and the corresponding weigh…

Coxeter-Knuth graphs and a signed Little map for type B reduced words

We define an analog of David Little's algorithm for reduced words in type B, and investigate its main properties. In particular, we show that our algorithm preserves the recording tableau of Kraśkiewicz insertion, and that it provides a bijective realization of the Type B transition equations in Schubert calculus. Many other aspects of type A theory carry over to this new setting. Our primary tool is a shifted version of the dual equivalence graphs defined by Assaf and further developed by Roberts. We provide an axiomatic characterization of shifted dual equivalence graphs, and use them to pro…

带长度约束的E-模式语言等价问题是不可判定的

The Equivalence Problem of E-Pattern Languages with Length Constraints is Undecidable

本文研究带长度约束的模式语言，证明擦除等价问题不可判定，并推广了无终结符包含问题及正则约束下非擦除等价问题的不可判定性。

On $k$-abelian Equivalence and Generalized Lagrange Spectra

We study the set of $k$-abelian critical exponents of all Sturmian words. It has been proven that in the case $k = 1$ this set coincides with the Lagrange spectrum. Thus the sets obtained when $k > 1$ can be viewed as generalized Lagrange spectra. We characterize these generalized spectra in terms of the usual Lagrange spectrum and prove that when $k > 1$ the spectrum is a dense non-closed set. This is in contrast with the case $k = 1$, where the spectrum is a closed set containing a discrete part and a half-line. We describe explicitly the least accumulation points of the generalized spectra.…

关于二元词的某些2-二项式系数：几何解释、整数分拆与公平词

On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words

本文研究二元词的2-二项式系数，给出几何解释，证明等价类图与整数分拆格同构，并证明关于公平词的一个猜想。