arXiv 0903.37542009-03-22math.GR

HNN-扩张共轭问题的通有复杂性与Miller群的算法分层

Generic complexity of the Conjugacy Problem in HNN-extensions and algorithmic stratification of Miller's groups

Alexandre V. Borovik, Alexei G. Myasnikov, Vladimir N. Remeslennikov

摘要：

本文讨论了群的HNN-扩张中共轭问题的时间复杂性，特别是在Miller群中。我们表明，“几乎所有”，在某种明确的意义上，元素，共轭问题是在立方时间可判定的。值得注意的是，米勒群中的共轭问题可能是不可判定的。我们的研究结果表明，“硬”的问题的情况下，包括一个可以忽略不计的一小部分组。

英文摘要：

We discuss time complexity of The Conjugacy Problem in HNN-extensions of groups, in particular, in Miller's groups. We show that for "almost all", in some explicit sense, elements, the Conjugacy Problem is decidable in cubic time. It is worth noting that the Conjugacy Problem in a Miller group may have be undecidable. Our results show that "hard" instances of the problem comprise a negligibly small part of the group.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

自由群的上升HNN-扩张的共轭问题

The Conjugacy Problem for ascending HNN-extensions of free groups

该研究提出算法解决自由群上升HNN-扩张的共轭问题，同时给出相关算法处理自由群自同态动力学的特定问题，为群论相关问题的求解提供了算法支撑。

2025-10-06math.GR

Miller群的共轭性

Conjugacy in Miller's Groups

本文研究了Miller Machine的共轭问题，将其归约为原有限展示群的同构计算列表共轭，并证明当原群有限时该问题属于PSPACE。

2024-10-10math.GR

非真HNN扩张与一致指数增长性

Non proper HNN extensions and uniform uniform exponential growth

如果一个无挠的群K具有K的所有无挠群S都是小的或具有一致有界的增长常数的性质，那么K的一个非真HNN扩张G，即K与整数的半直积，也具有同样的性质.这里小意味着循环的，或者，如果自同构没有周期共轭类，有界秩的自由阿贝尔。

2009-09-15math.GR

循环重写与共轭问题

Cyclic rewriting and conjugacy problems

循环字是普通字的轮换的等价类。当一个群由重写关系给出时，导出了一个循环字重写系统，并利用它构造了求群中共轭类的最小长度元素的算法。这些技术适用于通用群的Stallings预群，特别是自由积与合并，HNN-扩展和虚拟自由群，产生简单直观的算法和共轭准则的证明。

2012-07-25math.GR

Schreier图的顺从性与共轭问题的强遗传算法

Amenability of Schreier graphs and strongly generic algorithms for the conjugacy problem

在各种情况下，对于不能共轭到基群中的元素，可以有效地判定混合积和HNN扩张中的共轭性问题。这种观察要求对有多少这样的元素有一个界限。这样的界限可以使用顺从图的理论推导出来：在这项工作中，我们研究Schreier图的合并产品和HNN扩展。对于合并产品$G = H *_A K $和$[H:A] \geq [K:A] \geq 2$，关于$H$或$K$的Schreier图证明是不服从的当且仅当$[H:A] \geq 3$。此外，对于形式为$G = <H,b | bab^{-1}=ϕ(a), a \in A >$的HNN扩张，我们证明了$G$关于子群$H$的Schreier图是不服从的当且仅当$A \neq H \neq ϕ(A)$。作为这些刻画的应用，我们证明了在一定条件下，具有自由交换顶点群的有限群的基本群的共轭问题可以在强一般集上多项式时间内得到解决.此外，共轭群的问题，有一个以上的结束，可以解决一个强一般的算法，具有基本上相同的时间复杂性的字问题。这些是相当惊人的结果，因为字问题可能很容易，但共轭问题甚至可能是不可判定的。最后，我们的结果产生另一个证明，该集合的共轭问题的Baumslag群是在多项式时间内可判定的也是强通用的。

2016-05-05cs.DMcs.DSmath.GR

自由阿贝尔乘自由群及相关族的轨道问题

Orbit problems for free-abelian times free groups and related families

该研究证明自由阿贝尔乘自由（FATF）群Fn×Z^m的自同态的Brinkmann问题、扭曲共轭问题可判定，且单同态的双侧Brinkmann共轭问题可判定，进而推导出自FATF群的升HNN扩张的共轭问题可判定。

2025-02-14math.GR

更多相关论文收起更多论文

HNN扩张与II_1因子的唯一群测度空间分解

HNN extensions and unique group measure space decomposition of II_1 factors

证明了对于一类相当大的HNN扩张Γ，由Γ的任意自由遍历概率测度保持作用所给出的群测度空间II_1因子L^ \infty（X）\rtimes Γ，在酉共轭下有唯一的群测度空间Cartan子代数.我们从这个新的W^*-超刚性群作用的例子中推导出，即，其中II_1因子L^ \infty（X）\rtimes Γ完全记住了构造它的群作用。

2010-07-07math.DSmath.GRmath.OA

双曲群与自由构造

Hyperbolic groups and free constructions

我们调查的自由建设（合并产品和HNN扩展）在词双曲群产生的群体，再次词双曲。当合并子群是虚循环群时，得到了一个完整的答案。特别地，应用这些结果表明无挠双曲群的${\bf Q}$ -完备化有可解的字问题和共轭问题。

1996-05-13math.GR

交替群和Miller-Moreno群的Sylow 2-子群的换位子群作为新密钥交换协议的基础

Commutator subgroups of Sylow 2-subgroups of alternating group and Miller-Moreno groups as bases of new Key Exchange Protocol

本文研究的目标是基于非交换群$G$的有效密钥交换方法。本文改进和推广了Ko等的\cite{kolee}的结果。给出了交错群的Sylow 2-子群的换位子群的最小生成集的大小，研究了交错群${A_{2^{k}}}$的Sylow 2-子群的换位子群的结构，并将其应用于基于非交换群的密钥交换协议中.在Miller-Moreno型亚循环群（极小非阿贝尔群）的基础上考虑CDH问题\cite{gu2013new, bohli2006towards}的非交换推广.我们证明了这个群中的共轭问题是难处理的。由于通过模$n$使用了残基组，因此提供了计算的连续性。构造了两个子群相互交换的非交换群的公共密钥生成（设计）算法。

2020-02-24cs.ITmath.GRmath.IT

广义Baumslag-Solitar群的字与共轭问题的Logspace解

A Logspace Solution to the Word and Conjugacy problem of Generalized Baumslag-Solitar Groups

Baumslag-Solitar群在1962年由Baumslag和Solitar引入，作为非霍普夫双生成元群的例子。从那时起，它们就成为各种目的的榜样。由于Baumslag-Solitar群是HNN的扩展，因此在群的图方面有一个自然的推广。关于广义Baumslag-Solitar群的算法方面，已知几个可判定性结果。事实上，标准算法的直接应用导致了字问题（生成元上的某个字是否代表了组的身份）的多项式时间解。共轭问题（两个给定的词是否代表共轭群元素的问题）更为复杂;安谢尔和斯特贝已经为普通的鲍姆斯拉格-索利塔群建立了可判定性，而洛克哈特和比克则独立地为广义的鲍姆斯拉格-索利塔群建立了可判定性。然而，到目前为止，还没有精确的复杂性估计。在这项工作中，我们给出了一个LOGSPACE算法这两个问题。更准确地说，我们描述了一个统一的TC ^0多-一减少字问题的自由群的字问题。然后，我们完善了已知的共轭问题的技术，并表明它可以在LOGSPACE中解决。此外，对于普通的Baumslag-Solitar群，共轭也是AC^0-图灵可约为自由群的字问题。最后，我们考虑单词和共轭问题的统一版本（其中群的图也是输入的一部分）：虽然单词问题在LOGSPACE中仍然是可解的，但共轭问题变得EXPSPACE完全。

2016-02-29cs.CCcs.DMmath.GR

Baumslag群中的共轭性、类属情况复杂性和功率电路中的划分

Conjugacy in Baumslag's group, generic case complexity, and division in power circuits

共轭问题属于算法群论。这是下面的问题：给定两个词x，y在一个固定群G的生成元上，决定x和y是否共轭，即，G中是否存在z使得zxz^{-1} = y.一般来说，共轭问题比文字问题更难。研究了两个著名群：Baumslag-Solitar群BS（1，2）和Baumslag-Gersten群G（1，2）的共轭问题的复杂性. BS（1，2）中的共轭问题是TC ^0-完全的。据我们所知，BS（1，2）是第一个自然的无限非交换群，其中显示出如此精确和低的复杂性。Baumslag群G（1，2）是BS（1，2）的HNN-扩张。我们表明，共轭问题是可判定的（这是已知的），但我们的结果远远超出了可判定性。特别地，我们能够证明，在G（1，2）的共轭可以解决在多项式时间在一个强通用的设置。这意味着基本上对于所有输入G（1，2）中的共轭性可以有效地确定。相比之下，我们表明，在一个合理的假设下，同一问题的平均情况下的复杂性是非小学。通过将电力电路中的除法问题归结为G（1，2）中的共轭问题，给出了G（1，2）中共轭问题的一个下界.电力电路中除法问题的复杂性是整数运算中一个开放而有趣的问题。

2013-11-20cs.CCcs.DMmath.GR

关于两个自由群直积的自同态动力学

On the dynamics of endomorphisms of the direct product of two free groups

本文证明了$F_n\times F_m$自同态的Brinkmann问题及单射自同态的双边共轭问题可判定，并证明了其自同构在无穷远处的动力学具有渐近周期性。

2025-09-16math.GR

一类无限循环扩张具有虚循环稳定子的空间分类

Classifying Spaces with Virtually Cyclic Stabilisers for Certain Infinite Cyclic Extensions

设G是群B的无限循环扩张，1 -> B -> G -> Z -> 1，其中Z在B的非平凡元素的共轭类集合上的作用是自由的.这类群包括某些具有交换基或自由基群的HNN-扩张，某些Z的圈积和|m| > 1的可解Baumslag-Solitar群BS（1，m）。我们构造了G的分类空间Evc（G）的一个模型，并给出了Evc（G）的最小维数的界.我们构造了一个关于Evc（G）的二维模型，其中G是一个可解的Baumslag-Solitar BS（1，m）群，且|m| >1，并证明了这个模型是最小维数的.

2010-07-03math.ATmath.GR