Abstract:In this short survey we describe recent advances on word equations with non-rational constraints in groups and monoids, highlighting the important role that formal languages play in this area.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the research of word equations with irrational constraints, especially in groups and monoids. Specifically, the paper explores the following aspects:
1. **Solvability of word equations with irrational constraints**:
- The paper discusses the solvability of word equations with various irrational constraints in free monoids. These constraints include length relations, linear systems of letter occurrences, Parikh mappings, etc.
- For example, consider a word equation \(X^2aY = YZ^2a\), the paper explores whether there are solutions satisfying specific length or letter occurrence constraints.
2. **Solvability of word equations with counting inequalities**:
- The paper proposes a new class of problems, that is, the solvability of word equations with counting inequalities. This type of problem requires that the existence of solutions does not satisfy certain specific counting conditions.
- For example, the paper proves that the solvability problem of word equations with rational constraints and counting inequalities is decidable (Theorem 1).
3. **Equations in groups and their constraints**:
- The paper also explores the problem of equations in groups, especially the solvability of equations with irrational constraints. These problems are particularly important in partially commutative groups and hyperbolic groups.
- For example, the paper discusses the solvability problem of equations with Abelianization constraints and proves that this type of problem is undecidable in partially commutative groups (Theorem A), while it is decidable in groups with finite Abelianization (Theorem C).
4. **The role of formal languages in word equations**:
- The paper emphasizes the importance of formal languages in solving word equation problems. In particular, EDT0L languages and indexed languages play a crucial role in describing the solution sets of word equations.
Overall, this paper aims to solve the solvability problems of word equations and group equations with irrational constraints by introducing new mathematical tools and techniques, thereby promoting the theoretical development in this field.