Related papers: Black box exceptional groups of Lie type

As machine learning black boxes are increasingly being deployed in domains such as healthcare and criminal justice, there is growing emphasis on building tools and techniques for explaining these black boxes in an interpretable manner. Such…

In this article we study a coarse version of the $K$-theoretic Farrell--Jones conjecture we call coarse or bounded isomorphism conjecture. Using controlled category theory we are able to translate this conjecture for asymptotically faithful…

For a local Lie group M we define odd order cohomology classes. The first class is an obstruction to globalizability of the local Lie group. The third class coincides with Godbillon-Vey class in a particular case. These classes are…

In this paper, we develop a new and efficient approach to the computation of envelope surfaces. We interpret one-parameter systems of surfaces as curves in the homogeneous spaces of suitable Lie groups. Using the formalism of Lie groups and…

We describe the isomorphism classes of infinite-dimensional graded Lie algebras of maximal class, generated by elements of weight one, over fields of odd characteristic.

Normal affine algebraic varieties in characteristic 0 are uniquely determined (up to isomorphism) by the Lie algebra of derivations of their coordinate ring. This is not true without the hypothesis of normality. But, we show that (in…

Autostackability for finitely generated groups is defined via a topological property of the associated Cayley graph which can be encoded in a finite state automaton. Autostackable groups have solvable word problem and an effective inductive…

An algebraic algorithm is developed for computation of invariants ('generalized Casimir operators') of general Lie algebras over the real or complex number field. Its main tools are the Cartan's method of moving frames and the knowledge of…

Let $Aut_{alg}(X)$ be the subgroup of the group of regular automorphisms $Aut(X)$ of an affine algebraic variety $X$ generated by all connected algebraic subgroups. We prove that if $dim X \ge 2$ and if $Aut_{alg}(X)$ is rich enough,…

We introduce a practical construction of group-equivariant and permutation-invariant functions of $N$ variables given a finite-dimensional space stable with respect to the group action. The construction applies to any connected linear Lie…

A fake quadric is a smooth projective surface that has the same rational cohomology as a smooth quadric surface but is not biholomorphic to one. We provide an explicit classification of all irreducible fake quadrics according to the…

For simply connected compact exceptional Lie groups $G = F_4, E_6$ and $E_7$, we consider two involutions $\sigma, \gamma$ and determine the group structure of subgroups $G^{\sigma,\gamma}$ of $G$ which are the intersection $G^\sigma \cap…

In this paper, we explicitly determine the automorphism group of every nonhyperelliptic superspecial curve of genus $4$ over $\mathbb{F}_{11}$. Our algorithm determining automorphism groups works for any nonhyperelliptic curves of genus $4$…

A subperiodic group is a group of motions of $d$-dimensional Euclidean space $\R^d$ which contains a translation lattice $\Z^r$ of rank $r < d$ as a subgroup of finite index. A classification into abstract group isomorphism classes is…

For an adjoint action of a Lie group G (or its subgroup) on Lie algebra Lie(G) we suggest a method for construction of invariants. The method is easy in implementation and may shed the light on algebraical independence of invariants. The…

The automorphism group of the vertex operator algebra $V_L^+$ is studied by using its action on isomorphism classes of irreducible $V_L^+$-modules. In particular, the shape of the automorphism group of $V_L^+$ is determined when $L$ is…

It is well known that quantum computers can efficiently find a hidden subgroup $H$ of a finite Abelian group $G$. This implies that after only a polynomial (in $\log |G|$) number of calls to the oracle function, the states corresponding to…

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…

The emergence of nontrivial symmetries for black holes minisuperspaces has been recently pointed out. These Noether symmetries possess non-null charges and hence map physical solutions to different ones. The symmetry group is isomorphic to…

Denote by Q(sqrt{-m}), with m a square-free positive integer, an imaginary quadratic number field, and by A its ring of integers. The Bianchi groups are the groups SL_2(A). We reveal a correspondence between the homological torsion of the…