Abstract:We show that, given a word equation over a finitely generated free group, the set of all solutions in reduced words forms an EDT0L language. In particular, it is an indexed language in the sense of Aho. The question of whether a description of solution sets in reduced words as an indexed language is possible has been been open for some years, apparently without much hope that a positive answer could hold. Nevertheless, our answer goes far beyond: they are EDT0L, which is a proper subclass of indexed languages. We can additionally handle the existential theory of equations with rational constraints in free products $\star_{1 \leq i \leq s}F_i$, where each $F_i$ is either a free or finite group, or a free monoid with involution. In all cases the result is the same: the set of all solutions in reduced words is EDT0L. This was known only for quadratic word equations by Ferté, Marin and Sénizergues (ToCS 2014), which is a very restricted case. Our general result became possible due to the recent recompression technique of Jeż. In this paper we use a new method to integrate solutions of linear Diophantine equations into the process and obtain more general results than in the related paper (arXiv <a class="link-https" data-arxiv-id="1405.5133" href="https://arxiv.org/abs/1405.5133">1405.5133</a>). For example, we improve the complexity from quadratic nondeterministic space in (arXiv <a class="link-https" data-arxiv-id="1405.5133" href="https://arxiv.org/abs/1405.5133">1405.5133</a>) to quasi-linear nondeterministic space here. This implies an improved complexity for deciding the existential theory of non-abelian free groups: NSPACE($n\log n$). The conjectured complexity is NP, however, we believe that our results are optimal with respect to space complexity, independent of the conjectured NP.

EA Solutions and EA Solvability to General Interval Linear Systems

AE solutions and AE solvability to general interval linear systems

AE regularity of interval matrices

Complete solution sets of inf → interval-valued fuzzy relation equations

Error Bounds for Approximate Solutions of Abstract Inequality Systems and Infinite Systems of Inequalities on Banach Spaces

On Constraint Qualification for an Infinite System of Convex Inequalities in a Banach Space.

Extremal Solutions to Fuzzy Relation Equations and Inequalities with Three Unknowns

Existence Of Solutions And Alpha-Well-Posedness For A System Of Constrained Set- Valued Variational Inequalities

EXISTENCE OF SOLUTIONS FOR SYMMETRIC VECTOR SET-VALUED QUASI-EQUILIBRIUM PROBLEMS WITH APPLICATIONS

On Existence and Essential Components for Solution Set for System of Strong Vector Quasi-Equilibrium Problems.

Existence of solutions for generalized vector quasi-equilibrium problems in abstract convex spaces with applications

Solution sets for equations over free groups are EDT0L languages -- ICALP 2015 version

The Solutions to Some Operator Equations with Corresponding Operators Not Necessarily Having Closed Ranges

On Existence and Essential Components of the Solution Set for the System of Vector Quasi-Equilibrium Problems

Existence of Solutions of Generalized Quasi-Variational Relation Problems by the Inductive Relations and Some Applications

Existence and nonexistence of solutions for underdetermined generalized absolute value equations

Existence of Solutions for Semilinear Measure Driven Equations

Transformations of mixed solution types of interval linear equations system with boundaries on its left-hand side to linear inequalities with binary variables

Solutions to the System of Operator Equations , , and on Hilbert -Modules

On the Existence of Solutions of the General Algebraic Riccati Equation

Solvability of Fully Nonlinear Functional Equations Involving Erdélyi-Kober Fractional Integrals on the Unbounded Interval