Related papers: Parallel poly pushdown groups
Using the theory of group action, we first introduce the concept of the automorphism group of an exponential family or a graphical model, thus formalizing the general notion of symmetry of a probabilistic model. This automorphism group…
We study finite-dimensional nonassociative algebras. We prove the implicit function theorem for such algebras. This allows us to establish a correspondence between such algebras and quasigroups, in the spirit of classical correspondence…
Adyan and Rabin showed that most properties of groups cannot be algorithmically recognized from a finite presentation alone. We prove that, if one is also given a solution to the word problem, then the class of fundamental groups of closed,…
We generalize the notion of a graph automatic group introduced by Kharlampovich, Khoussainov and Miasnikov (arXiv:1107.3645) by replacing the regular languages in their definition with more powerful language classes. For a fixed language…
In this paper we prove the following rigidity theorem: a generic analytic polyhedron with non-compact automorphism group is biholomorphic to the product of a complex manifold with compact automorphism group and a polydisk. Moreover, this…
We define the class of high dimensional graph manifolds. These are compact smooth manifolds supporting a decomposition into finitely many pieces, each of which is diffeomorphic to the product of a torus with a finite volume hyperbolic…
In this paper, we show that the class of all properly 3-realizable groups is closed under amalgamated free products (and HNN-extensions) over finite groups. We recall that $G$ is said to be properly 3-realizable if there exists a compact…
This survey focuses on the computational complexity of some of the fundamental decision problems in 3-manifold theory. The article discusses the wide variety of tools that are used to tackle these problems, including normal and almost…
In practice symmetries of combinatorial structures are computed by transforming the structure into an annotated graph whose automorphisms correspond exactly to the desired symmetries. An automorphism solver is then employed to compute the…
We present the concept of the topological symmetry group as a way to analyze the symmetries of non-rigid molecules. Then we characterize all of the groups which can occur as the topological symmetry group of an embedding of the complete…
This paper gives an algebraic conjecture which is shown to be equivalent to Thurston's Geometrization Conjecture for closed, orientable 3-manifolds. It generalizes the Stallings-Jaco theorem which established a similar result for the…
We obtain explicit formulas for the rational homotopy groups of generalised symmetric spaces, i.e., the homogeneous spaces for which the isotropy subgroup appears as the fixed point group of some finite order automorphism of the group. In…
In this article, we study the properties of profinite geometric iterated monodromy groups associated to polynomials. Such groups can be seen as generic representations of absolute Galois groups of number fields into the automorphism group…
We report on the implementation of an algorithm for computing the set of all regular triangulations of finitely many points in Euclidean space. This algorithm, which we call down-flip reverse search, can be restricted, e.g., to computing…
We investigate the behavior of the higher-order degrees, db_n, of a finitely presented group G. These db_n are functions from H^1(G;Z) to Z whose values are the degrees certain higher-order Alexander polynomials. We show that if def(G) is…
This paper proves that the category of vacant n-tuple groupoids is equivalent to the category of factorizations of groupoids by n subgroupoids. Moreover it extends this equivalence to the category of maximally exclusive n-tuple groupoids,…
We develop a general theory of (extended) inner autoequivalences of objects of any 2-category, generalizing the theory of isotropy groups to the 2-categorical setting. We show how dense subcategories let one compute isotropy in the presence…
Given a triangulation of a closed, oriented, irreducible, atoroidal 3-manifold every oriented, incompressible surface may be isotoped into normal position relative to the triangulation. Such a normal oriented surface is then encoded by…
The automorphisms groups and derivation algebras of all two-dimensional algebras over algebraically closed fields are described.
We show the problem of counting homomorphisms from the fundamental group of a homology $3$-sphere $M$ to a finite, non-abelian simple group $G$ is #P-complete, in the case that $G$ is fixed and $M$ is the computational input. Similarly,…