Source author record

Heiko Dietrich

Heiko Dietrich appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.GR math.RT math-ph math.MP quant-ph Computational Complexity Logic in Computer Science math.DG math.RA

Catalog footprint

What is connected

8works

9topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Classification of four-rebit states

We classify states of four rebits, that is, we classify the orbits of the group $\widehat{G}(\mathbb R) = \mathrm{\mathop{SL}}(2,\mathbb R)^4$ in the space $(\mathbb R^2)^{\otimes 4}$. This is the real analogon of the well-known SLOCC operations in quantum information theory. By constructing the $\widehat{G}(\mathbb R)$-module $(\mathbb R^2)^{\otimes 4}$ via a $\mathbb Z/2\mathbb Z$-grading of the simple split real Lie algebra of type $D_4$, the orbits are divided into three groups: semisimple, nilpotent and mixed. The nilpotent orbits have been classified in Dietrich et al. (2017), yielding applications in theoretical physics (extremal black holes in the STU model of $\mathcal{N}=2, D=4$ supergravity, see Ruggeri and Trigiante (2017)). Here we focus on the semisimple and mixed orbits which we classify with recently developed methods based on Galois cohomology, see Borovoi et al. (2021). These orbits are relevant to the classification of non-extremal (or extremal over-rotating) and two-center extremal black hole solutions in the STU model.

preprint2022arXiv

The isomorphism problem for plain groups is in $Σ_3^{\mathsf{P}}$

Testing isomorphism of infinite groups is a classical topic, but from the complexity theory viewpoint, few results are known. S{é}nizergues and the fifth author (ICALP2018) proved that the isomorphism problem for virtually free groups is decidable in $\mathsf{PSPACE}$ when the input is given in terms of so-called virtually free presentations. Here we consider the isomorphism problem for the class of \emph{plain groups}, that is, groups that are isomorphic to a free product of finitely many finite groups and finitely many copies of the infinite cyclic group. Every plain group is naturally and efficiently presented via an inverse-closed finite convergent length-reducing rewriting system. We prove that the isomorphism problem for plain groups given in this form lies in the polynomial time hierarchy, more precisely, in $Σ_3^{\mathsf{P}}$. This result is achieved by combining new geometric and algebraic characterisations of groups presented by inverse-closed finite convergent length-reducing rewriting systems developed in recent work of the second and third authors (2021) with classical finite group isomorphism results of Babai and Szemerédi (1984).

preprint2021arXiv

A note on étale representations from nilpotent orbits

A linear étale representation of a complex algebraic group $G$ is given by a complex algebraic $G$-module $V$ such that $G$ has a Zariski-open orbit on $V$ and $\dim G=\dim V$. A current line of research investigates which étale representations can occur for reductive algebraic groups. Since a complete classification seems out of reach, it is of interest to find new examples of étale representations for such groups. The aim of this note is to describe two classical constructions of Vinberg and of Bala & Carter for nilpotent orbit classifications in semisimple Lie algebras, and to determine which reductive groups and étale representations arise in these constructions. We also explain in detail the relation between these two~constructions.

preprint2021arXiv

Classification of four qubit states and their stabilisers under SLOCC operations

We classify four qubit states under SLOCC operations, that is, we classify the orbits of the group $\mathrm{\mathop{SL}}(2,\mathbb{C})^4$ on the Hilbert space $\mathcal{H}_4 = (\mathbb{C}^2)^{\otimes 4}$. We approach the classification by realising this representation as a symmetric space of maximal rank. We first describe general methods for classifying the orbits of such a space. We then apply these methods to obtain the orbits in our special case, resulting in a complete and irredundant classification of $\mathrm{\mathop{SL}}(2,\mathbb{C})^4$-orbits on $\mathcal{H}_4$. It follows that an element of $(\mathbb{C}^2)^{\otimes 4}$ is conjugate to an element of precisely 87 classes of elements. Each of these classes either consists of one element or of a parametrised family of elements, and the elements in the same class all have equal stabiliser in $\mathrm{\mathop{SL}}(2,\mathbb{C})^4$. We also present a complete and irredundant classification of elements and stabilisers up to the action of ${\rm Sym}_4\ltimes\mathrm{\mathop{SL}}(2,\mathbb{C})^4$ where ${\rm Sym}_4$ permutes the four tensor factors of $(\mathbb{C}^2)^{\otimes 4}$.

preprint2020arXiv

Generation of finite groups with cyclic Sylow subgroups

Slattery (2007) described computational methods to enumerate, construct, and identify finite groups of squarefree order. We generalise Slattery's result to the class of finite groups that have cyclic Sylow subgroups and provide an implementation for the computer algebra system GAP.

preprint2020arXiv

On two group functors extending Schur multipliers

Liedtke (2008) has introduced group functors $K$ and $\tilde K$, which are used in the context of describing certain invariants for complex algebraic surfaces. He proved that these functors are connected to the theory of central extensions and Schur multipliers. In this work we relate $K$ and $\tilde K$ to a group functor $τ$ arising in the construction of the non-abelian exterior square of a group. In contrast to $\tilde K$, there exist efficient algorithms for constructing $τ$, especially for polycyclic groups. Supported by computations with the computer algebra system GAP, we investigate when $K(G,3)$ is a quotient of $τ(G)$, and when $τ(G)$ and $\tilde K(G,3)$ are isomorphic.

preprint2016arXiv

Groups in which every non-abelian subgroup is self-centralizing

We study groups having the property that every non-abelian subgroup contains its centralizer. We describe various classes of infinite groups in this class, and address a problem of Berkovich regarding the classification of finite $p$-groups with the above property.

preprint2012arXiv

A computational approach to the Kostant-Sekiguchi correspondence

Let g be a real form of a simple complex Lie algebra. Based on ideas of Djokovic and Vinberg, we describe an algorithm to compute representatives of the nilpotent orbits of g using the Kostant-Sekiguchi correspondence. Our algorithms are implemented for the computer algebra system GAP and, as an application, we have built a database of nilpotent orbits of all real forms of simple complex Lie algebras of rank at most 8. In addition, we consider two real forms g and g' of a complex simple Lie algebra g^c with Cartan decompositions g= k+p and g'=k'+p'. We describe an explicit construction of an isomorphism g -> g', respecting the given Cartan decompositions, which fails if and only if g and g' are not isomorphic. This isomorphism can be used to map the representatives of the nilpotent orbits of g to other realisations of the same algebra.