English
Related papers

Related papers: Quadratic equations in the lamplighter group

200 papers

In this article, we study connections between representation theory and efficient solutions to the conjugacy problem on finitely generated groups. The main focus is on the conjugacy problem in conjugacy separable groups, where we measure…

Group Theory · Mathematics 2017-09-29 Sean Lawton , Larsen Louder , D. B. McReynolds

In this paper, we present a polynomial-sized linear programming formulation of the Quadratic Assignment Problem (QAP). The proposed linear program is a network flow-based model. Hence, it provides for the solution of the QAP in polynomial…

Computational Complexity · Computer Science 2007-05-23 Moustapha Diaby

We construct a finitely presented group with quadratic Dehn function and undecidable conjugacy problem. This solves E. Rips' problem formulated in 1992. v2: misprints corrected. v3: lemmas 4.7, 4.10 corrected, more misprints fixed.

Group Theory · Mathematics 2019-10-28 Alexandr Yu. Olshanskii , Mark V. Sapir

If $u$ and $v$ are two conjugate elements of a hyperbolic group then the length of a shortest conjugating element for $u$ and $v$ can be bounded by a linear function of the sum of their lengths, as was proved by Lysenok. Bridson and…

Group Theory · Mathematics 2014-07-18 Inna Bumagin

We prove that the Diophantine problem for orientable quadratic equations in free metabelian groups is decidable and furthermore, NP-complete. In the case when the number of variables in the equation is bounded, the problem is decidable in…

Group Theory · Mathematics 2018-04-18 Igor Lysenok , Alexander Ushakov

We consider several subgroup-related algorithmic questions in groups, modeled after the classic computational lattice problems, and study their computational complexity. We find polynomial time solutions to problems like finding a subgroup…

Group Theory · Mathematics 2015-08-12 Alexei Myasnikov , Andrey Nikolaev , Alexander Ushakov

We prove that the compressed word problem and the compressed simultaneous conjugacy problem are solvable in polynomial time in hyperbolic groups. In such problems, group elements are input as words defined by straight line programs defined…

Group Theory · Mathematics 2024-03-22 Derek Holt , Markus Lohrey , Saul Schleimer

We compute conjugacy classes in maximal parabolic subgroups of the general linear group. This computation proceeds by reducing to a ``matrix problem''. Such problems involve finding normal forms for matrices under a specified set of row and…

Group Theory · Mathematics 2007-05-23 Scott H. Murray

We prove that the complexity of the Conjugacy Problems for wreath products and for free solvable groups is decidable in polynomial time. For the wreath product AwrB, we must assume the decidability in polynomial time of the Conjugacy…

Group Theory · Mathematics 2010-11-30 Svetla Vassileva

We design new deterministic and randomized algorithms for computational problems in free solvable groups. In particular, we prove that the word problem and the power problem can be solved in quasi-linear time and the conjugacy problem can…

Group Theory · Mathematics 2014-07-08 Alexander Ushakov

We exhibit an explicit formula for the cardinality of solutions to a class of quadratic matrix equations over finite fields. We prove that the orbits of these solutions under the natural conjugation action of the general linear groups can…

Rings and Algebras · Mathematics 2024-03-01 Yin Chen , Xinxin Zhang

We study a family of groups consisting of the simplest extensions of lamplighter groups. We use these groups to answer multiple open questions in combinatorial group theory, providing groups that exhibit various combinations of properties:…

Group Theory · Mathematics 2025-07-21 Corentin Bodart

Guba and Sapir asked if the simultaneous conjugacy problem was solvable in Diagram Groups or, at least, for Thompson's group F. We give a solution to the latter question using elementary techniques which rely purely on the description of F…

Group Theory · Mathematics 2011-05-19 Martin Kassabov , Francesco Matucci

The Equation Problem in finitely presented groups asks if there exists an algorithm which determines in finite amount of time whether any given equation system has a solution or not. We show that the Equation Problem in central extensions…

Group Theory · Mathematics 2013-07-24 Hao Liang

Let $G$ be a classical group defined over a finite field. We consider the following fundamental problems concerning conjugacy in $G$: 1. List a representative for each conjugacy class of $G$. 2. Given $x \in G$, describe the centralizer of…

Group Theory · Mathematics 2024-11-22 Giovanni De Franceschi , Martin W. Liebeck , E. A. O'Brien

We survey solvability of equations in wreath products of groups, and prove that the quadratic diophantine problem is solvable in wreath products of Abelian groups. We consider the related question of determining commutator width, and prove…

Group Theory · Mathematics 2024-10-08 Laurent Bartholdi , Ruiwen Dong , Leon Pernak , Jan Philipp Wächter

We consider pairs of finitely presented, residually finite groups $P\hookrightarrow\G$ for which the induced map of profinite completions $\hat P\to \hat\G$ is an isomorphism. We prove that there is no algorithm that, given an arbitrary…

Group Theory · Mathematics 2008-10-03 Martin R. Bridson

We study conjugacy classes of solutions to systems of equations and inequations over torsion-free hyperbolic groups, and describe an algorithm to recognize whether or not there are finitely many conjugacy classes of solutions to such a…

Group Theory · Mathematics 2014-02-26 Daniel Groves , Henry Wilton

The paper proposes a logical model of combinatorial problems, also it gives an example of a problem of the class NP that can not be solved in polynomial time on the dimension of the problem.

Computational Complexity · Computer Science 2016-03-02 Anatoly D. Plotnikov

We study the conjugacy problem in cyclic extensions of free groups. It is shown that the conjugacy problem is solvable in split extensions of finitely generated free groups by virtually inner automorphisms. An algorithm for construction of…

Group Theory · Mathematics 2007-05-23 Valerij Bardakov , Leonid Bokut , Andrei Vesnin