Abstract:The cycling operation is a special kind of conjugation that can be applied to elements in Artin's braid groups, in order to reduce their length. It is a key ingredient of the usual solutions to the conjugacy problem in braid groups. In their seminal paper on braid-cryptography, Ko, Lee et al. proposed the {\it cycling problem} as a hard problem in braid groups that could be interesting for cryptography. In this paper we give a polynomial solution to that problem, mainly by showing that cycling is surjective, and using a result by Maffre which shows that pre-images under cycling can be computed fast. This result also holds in every Artin-Tits group of spherical type. On the other hand, the conjugacy search problem in braid groups is usually solved by computing some finite sets called (left) ultra summit sets (left-USS), using left normal forms of braids. But one can equally use right normal forms and compute right-USS's. Hard instances of the conjugacy search problem correspond to elements having big (left and right) USS's. One may think that even if some element has a big left-USS, it could possibly have a small right-USS. We show that this is not the case in the important particular case of rigid braids. More precisely, we show that the left-USS and the right-USS of a given rigid braid determine isomorphic graphs, with the arrows reversed, the isomorphism being defined using iterated cycling. We conjecture that the same is true for every element, not necessarily rigid, in braid groups and Artin-Tits groups of spherical type.

Braid graphs in simply-laced triangle-free Coxeter systems are median

Braid graphs in simply-laced triangle-free Coxeter systems are partial cubes

A strong characterization of the entries of the Burau matrices of $4$-braids: The Burau representation of the braid group $B_4$ is faithful almost everywhere

Some combinatorial models for reduced expressions in Coxeter groups

Representations of braid group and Birman-Wenzl algebra

The algebraic structure of hyperbolic graph braid groups

On the cycling operation in braid groups

Link Polynomials Related to the New Braid Group Representations

An elaborate new proof of Cayley's formula

Representations of A Braid Group with Transpose Symmetry and the Related Link Invariants

Braid Group Representations from Twisted Tensor Products of Algebras

Cluster structures on braid varieties

Demazure weaves for reduced plabic graphs (with a proof that Muller-Speyer twist is Donaldson-Thomas)

Braid monodromy for a trinomial algebraic equation by means of Mellin-Barnes integral representations

Congruence subgroups and crystallographic quotients of small Coxeter groups

Double coset problem for parabolic subgroups of braid groups

Graph of groups decompositions of graph braid groups

A note on the transitive Hurwitz action on decompositions of parabolic Coxeter elements

Twisted braids

Irreducible representations of the braid group $B_3$ in dimension 6

Homotopy braid groups are torsion-free