BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Willem A. de Graaf contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We describe an algorithm for determining the algebraic subgroup of GL(n,C) that is defined as the closure of the group generated by a finite number of elements of GL(n,C). The algorithm avoids the use of Groebner bases and can be used on non-trivial examples. In the last section we report on an implementation of the algorithm in the computer algebra system {\tt OSCAR}.
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.
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}$.
A constructive method for decomposing finite dimensional representations of semisimple real Lie algebras is developed. The method is illustrated by an example. We also discuss an implementation of the algorithm in the language of the computer algebra system {\sf GAP}4.
We give tables of noncompact real forms of maximal reductive subalgebras of complex simple Lie algebras of rank up to 8. These were obtained by computational methods that we briefly describe. We also discuss applications in theoretical physics of these embeddings.
Algorithms are described that help with obtaining a classification of the semisimple subalgebras of a given semisimple Lie algebra, up to linear equivalence. The algorithms have been used to obtain classifications of the semisimple subalgebras of the simple Lie algebras of ranks <= 8. These have been made available as a database inside the SLA package of GAP4. The subalgebras in this database are explicitly given, as well as the inclusion relations among them.
Let $Q$ be an algebraic group with $q=\Lie Q$ and $V$ a $Q$-module. The index of $V$ is the minimal codimension of the $Q$-orbits in the dual space $V^*$. There is a general inequality, due to Vinberg, relating the index of $V$ and the index of a $Q_v$-module $V/q.v$ for $v\in V$. A pair $(Q,V)$ is said to have GIB if Vinberg's inequality turns into an equality for all $v\in V$. In this article, we are interested in the GIB property of $θ$-representations, where $θ$ is a finite order automorphism of a simple Lie algebra $g$. An automorphism of order $m$ defines a $Z/mZ$-grading $g=g_0+g_1+...+g_{m-1}$. If $G_0$ is the identity component of $G^θ$, then it acts on $\gt g_1$ and this action is called a $θ$-representation. We classify inner automorphisms of $gl_n$ and all finite order autmorphisms of the exceptional Lie algebras such that $(G_0,g_1)$ has GIB and $g_1$ contains a semisimple element.