2,336 research outputs found
Logspace computations in graph products
We consider three important and well-studied algorithmic problems in group
theory: the word, geodesic, and conjugacy problem. We show transfer results
from individual groups to graph products. We concentrate on logspace complexity
because the challenge is actually in small complexity classes, only. The most
difficult transfer result is for the conjugacy problem. We have a general
result for graph products, but even in the special case of a graph group the
result is new. Graph groups are closely linked to the theory of Mazurkiewicz
traces which form an algebraic model for concurrent processes. Our proofs are
combinatorial and based on well-known concepts in trace theory. We also use
rewriting techniques over traces. For the group-theoretical part we apply
Bass-Serre theory. But as we need explicit formulae and as we design concrete
algorithms all our group-theoretical calculations are completely explicit and
accessible to non-specialists
Using decision problems in public key cryptography
There are several public key establishment protocols as well as complete
public key cryptosystems based on allegedly hard problems from combinatorial
(semi)group theory known by now. Most of these problems are search problems,
i.e., they are of the following nature: given a property P and the information
that there are objects with the property P, find at least one particular object
with the property P. So far, no cryptographic protocol based on a search
problem in a non-commutative (semi)group has been recognized as secure enough
to be a viable alternative to established protocols (such as RSA) based on
commutative (semi)groups, although most of these protocols are more efficient
than RSA is.
In this paper, we suggest to use decision problems from combinatorial group
theory as the core of a public key establishment protocol or a public key
cryptosystem. By using a popular decision problem, the word problem, we design
a cryptosystem with the following features: (1) Bob transmits to Alice an
encrypted binary sequence which Alice decrypts correctly with probability "very
close" to 1; (2) the adversary, Eve, who is granted arbitrarily high (but
fixed) computational speed, cannot positively identify (at least, in theory),
by using a "brute force attack", the "1" or "0" bits in Bob's binary sequence.
In other words: no matter what computational speed we grant Eve at the outset,
there is no guarantee that her "brute force attack" program will give a
conclusive answer (or an answer which is correct with overwhelming probability)
about any bit in Bob's sequence.Comment: 12 page
The conjugacy problem in right-angled Artin groups and their subgroups
29 pages, 7 figuresInternational audienceWe prove that the conjugacy problem in right-angled Artin groups (RAAGs), as well as in a large and natural class of subgroups of RAAGs, can be solved in linear-time. This class of subgroups contains, for instance, all graph braid groups (i.e. fundamental groups of configuration spaces of points in graphs), many hyperbolic groups, and it coincides with the class of fundamental groups of ``special cube complexes'' studied independently by Haglund and Wise
Extensions of free groups: algebraic, geometric, and algorithmic aspects
In this work we use geometric techniques in order to study certain natural extensions of free groups, and solve several algorithmic problems on them.
To this end, we consider the family of free-abelian times free groups (Zm x Fn) as a seed towards further generalization in two main directions: semidirect products, and partially commuative groups (PC-groups).
The four principal projects of this thesis are the following:
Direct products of free-abelian and free groups
We begin by studying the structure of the groups Zm x Fn , with special emphasis on their lattice of subgroups, and their endomorphisms (for which an explicit description is given, and both injectivity and surjectiveness are characterized); to then solve on them algorithmic problems involving both subgroups (the membership problem, the finite index problem, and the subgroup and coset intersection problems), and endomorphisms (the fixed points poblem, the Whitehead problems, and the twisted-conjugacy problem).
Algorithmic recognition of infinite-cyclic extensions
In the first part, we prove the algorithmic undecidability of several properties (finite generability, finite presentability, abelianity, finiteness, independence, triviality) of the base group of finitely presented cyclic extensions. In particular, we see that it is not possible to decide algorithmically if a finitely presented Z-extension admits a finitely generated base group. This last result allows us to demonstrate the undecidability of the Bieri-Neumann-Strebel (BNS) invariant.
In the second part, we prove the equivalence between the isomorphism problem within the subclass of unique Z-extensions, and the semi-conjugacy problem for certain type of outer automorphisms, which we characterize algorithmically.
Stallings automata for free-abelian by free groups
After recreating in a purely algorithmic language the classic theory of Stallings associating an automaton to each subgroup of the free group, we extend this theory to semi-direct products of the form Zm ¿ Fn. Specifically, we associate to each subgroup of Zm ¿ Fn , an automaton ("enriched" with vectors in Zm), and we see that in the finitely generated case this construction is algorithmic and allows to solve the membership problem within this family of groups.
The geometric description obtained also shows (even in the case of direct products) not only that the intersection of finitely generated subgroups can be infinitely generated, but that even when it is finitely generated, the rank of the intersection can not be bound in terms of the ranks of the intersected subgroups. This fact is relevant because it denies any possible extension of the celebrated - and recently proven - Hanna-Neumann conjecture in this direction.
Intersection problems for Droms groups
After characterizing those partially commutative groups satisfying the Howson property, we combine the algorithmic version of the theorem of the subgroups of Kurosh given by S.V. Ivanov, with the ideas coming from our work on Zm x Fn, to prove the solvability of the subgroup and coset intersection problems within the subfamily of Droms groups (that is, those PC- groups whose subgroups are always again partially commutative).En aquest treball s'usen tècniques geomètriques per estudiar certes extensions naturals dels grups lliures, i atacar diversos problemes algorÃsmics sobre elles. A aquest efecte, es considera la famÃlia de grups lliure-abelians per lliure (Zm x Fn) com a punt de partida envers generalitzacions en dues direccions principals: productes semidirectes, i grups parcialment commutatius (PC-groups). Els quatre projectes principals d'aquesta tesi es descriuen a continuació. Productes directes de grups lliure-abelians per lliure. Comencem estudiant l'estructura dels grups Zm x Fn, amb especial èmfasi en el seu reticle de subgrups, i el seu monoide d'endomorfismes (per als que es dóna una descripció explÃcita, i es caracteritzen tant la injectivitat com l'exhaustivitat); per després resoldre sobre ells problemes algorÃsmics involucrant tant subgrups (el problema de la pertinença, el problema de l'Ãndex finit, i els problemes de la intersecció de subgrups i classes laterals), com endomorfismes (el problema dels punts fixos, els problemes de Whitehead , i el problema de la "conjugació retorçada" o twisted-conjugacy problem). Reconeixement algorÃtmic d'extensions cÃcliques. A la primera part, es demostra la indecidibilitat algorÃsmica de diverses propietats (generabilitad finita, presentabilitad finita, abelianitat, finitud, llibertat, i trivialitat) del grup base de les extensions cÃcliques finitament presentades. En particular, veiem que no és possible decidir algorÃtmicament si una Z-extensió finitament presentada admet un grup base finitament generat. Aquest últim resultat ens permet demostrar també la indecidibilitat de l'invariant BNS (de Bieri-Neumann-Strebel). A la segona part, es demostra l'equivalència entre el problema de l'isomorfisme dins de la subclasse de Z-extensions úniques, i el problema de la semi-conjugació per a cert tipus d'automorfismes exteriors, que caracteritzem algorÃsmicament. Autòmats d'Stallings per a grups lliure-abelians by lliure. Després de recrear en un llenguatge purament algorÃsmic la teoria clà ssica d'Stallings associant un autòmat a cada subgrup del grup lliure, estenem aquesta teoria a productes semidirectes de la forma Zm x Fn . Concretament associem un autòmat "enriquit" amb vectors de Zm a cada subgrup de Zm x Fn , i veiem que en el cas de subgrups finitament generats aquesta construcció és algorÃsmica i permet resoldre el problema de la pertinença dins d'aquesta famÃlia de grups. La descripció geomètrica obtinguda mostra a més (fins i tot en el cas de productes directes), no només que la intersecció de subgrups finitament generats pot ser infinitament generada, sinó que, fins i tot quan és finitament generada, no es pot afitar el rang de la intersecció en termes dels rangs dels subgrups intersecats. Aquest fet és rellevant perquè denega qualsevol possible extensió de la celebrada - i recentment provada - conjectura de Hanna Neumann en aquesta direcció. Problemes de la intersecció per a grups de Droms. Després de caracteritzar els grups parcialment commutatius que satisfan la propietat de Howson, combinem la versió algorÃsmica del teorema dels subgrups de Kurosh donada per S.V. Ivanov, amb les idees provinents del nostre treball sobre Zm x Fn, per demostrar la resolubilitat dels problemes de la intersecció de subgrups, de classes laterals (i afins) dins la subfamÃlia de PC-grups de Droms (i.e., aquells PC-grups en que tots els subgrups son de nou parcialment commutatius)
Approaches to Conflict-free Replicated Data Types
Conflict-free Replicated Data Types (CRDTs) allow optimistic replication in a
principled way. Different replicas can proceed independently, being available
even under network partitions, and always converging deterministically:
replicas that have received the same updates will have equivalent state, even
if received in different orders. After a historical tour of the evolution from
sequential data types to CRDTs, we present in detail the two main approaches to
CRDTs, operation-based and state-based, including two important variations, the
pure operation-based and the delta-state based. Intended as a tutorial for
prospective CRDT researchers and designers, it provides solid coverage of the
essential concepts, clarifying some misconceptions which frequently occur, but
also presents some novel insights gained from considerable experience in
designing both specific CRDTs and approaches to CRDTs.Comment: 36 page
- …