Academic Journal of Mathematical Sciences, 2025, 6(2); doi: 10.25236/AJMS.2025.060204.
Yifeng Wei
College of Science, China Jiliang University, Hangzhou, China
This paper transforms the triviality search problem in group presentations into an optimization problem by defining decision variables, objective functions, and constraints, and conducts an in-depth analysis of the scale and complexity of the proposed model, highlighting its computational challenges. A genetic algorithm-based solution framework is designed to efficiently search for Andrews-Curtis transformation sequences, and its effectiveness for specific group presentations is validated, successfully solving the Andrews-Curtis transformation sequence search problem. This study not only provides a novel methodology for addressing the triviality search problem but also demonstrates the practical application of optimization techniques in group theory, offering new insights for future research in this field.
Andrews-Curtis Conjecture; Triviality Search; Optimization Model; Genetic Algorithm
Yifeng Wei. The optimization problem of triviality search in group presentations. Academic Journal of Mathematical Sciences (2025), Vol. 6, Issue 2: 25-32. https://doi.org/10.25236/AJMS.2025.060204.
[1] Tietze H. Über die topologischen Invarianten mehrdimensionaler Mannigfaltigkeiten[J]. Monatshefte für Mathematik und Physik, 1908, 19: 1-118.
[2] Andrews J J, Curtis M L. Free groups and handlebodies[J]. Proceedings of the American Mathematical Society, 1965, 16(2): 192-195.
[3] Miasnikov A D, Myasnikov A G. Balanced presentations of the trivial group on two generators and the Andrews-Curtis conjecture[J]. Groups and Computation III,(W Kantor and A Seress, eds), de Gruyter, Berlin, 2001: 257-264.
[4] Myasnikov A D, Myasnikov A G, Shpilrain V. On the Andrews-Curtis equivalence[J]. Contemporary Mathematics, 2002, 296: 183-198.
[5] Miasnikov A D. Genetic algorithms and the Andrews-Curtis conjecture[EB/OL] (2003-04-30) [2024-05-23]. https://arxiv.org/abs/math/0304306.
[6] Bowman R S, Mccaul S B. Fast searching for Andrews-Curtis trivializations[J]. Experimental Mathematics, 2006, 15(2): 193-197.
[7] Swan J, Ochoa G, Kendall G, et al. Fitness Landscapes and the Andrews-Curtis Conjecture[J]. International Journal of Algebra and Computation, 2012, 22(2): 1-13.
[8] Krawiec K, Swan J. AC-trivialization proofs eliminating some potential counterexamples to the Andrews-Curtis conjecture[EB/OL]. (2015-9-1)[2024-05-23]. https://www.cs.put.poznan.pl/kkrawiec/-wiki/uploads/Site/ACsequences.pdf.
[9] Myropolska A. Andrews-Curtis and Nielsen equivalence relations on some infinite groups[J]. Journal of Group Theory, 2016, 19(1): 161-178.
[10] Hungerford T W. Algebra[M]. Berlin: Springer Science & Business Media, 2012: 1-157.