The iterated monodromy group of z^2+i is just-infinite and fails the congruence subgroup property, with maximal branching subgroup abelianization C_4^5.
Contracting Self-similar Groups in Group-Based Cryptography
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
We propose self-similar contracting groups as a platform for cryptographic schemes based on simultaneous conjugacy search problem (SCSP). The class of these groups contains extraordinary examples like Grigorchuk group, which is known to be non-linear, thus making some of existing attacks against SCSP inapplicable. The groups in this class admit a natural normal form based on the notion of a nucleus portrait, that plays a key role in our approach. While for some groups in the class the conjugacy search problem has been studied, there are many groups for which no algorithms solving it are known. Moreover, there are some self-similar groups with undecidable conjugacy problem. We discuss benefits and drawbacks of using these groups in group-based cryptography and provide computational analysis of variants of the length-based attack on SCSP for some groups in the class, including Grigorchuk group, Basilica group, and others.
citation-role summary
citation-polarity summary
fields
math.GR 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
-
A just-infinite iterated monodromy group without the congruence subgroup property
The iterated monodromy group of z^2+i is just-infinite and fails the congruence subgroup property, with maximal branching subgroup abelianization C_4^5.