Twisted Equations and Palindrome Length
Twisted equations in free groups are equations in which a finite group of symmetries acts on the free group by automorphisms and anti-automorphisms, such as inversion and reversal; moreover, the variables may be subject to rational constraints. Algorithms from the theory of equations in virtually free groups solve such equations in PSPACE, but they are intricate. Our main result is an elementary algorithm for quadratic twisted equations, which extends the algorithm of Comerford and Edmunds (1981) for quadratic equations in free groups to the twisted setting and to rational constraints.…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.14536
curl -X POST /api/v1/records/arxiv/2610.14536/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.14536/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'