Related papers: Algorithms for arithmetic groups with the congruen…

Following the example of Shor's algorithm for period-finding in the integers, we explore the hidden subgroup problem (HSP) for discrete infinite groups. On the hardness side, we show that HSP is NP-hard for the additive group of rational…

We find experimental examples of congruences of Hecke eigenvalues between automorphic representations of groups such as $\mathrm{GSp}_2(\mathbb{A})$, $\mathrm{SO}(4,3)(\mathbb{\mathbb{A}})$ and $\mathrm{SO}(5,4)(\mathbb{A})$, where the…

To a set $\mathcal{B}$ of 4-subsets of a set $\Omega$ of size $n$ we introduce an invariant called the `hole stabilizer' which generalises a construction of Conway, Elkies and Martin of the Mathieu group $M_{12}$ based on Loyd's…

Looking for an efficient algorithm for the computation of the homology groups of an algebraic set or even a semi-algebraic set is an important problem in the effective real algebraic geometry. Recently, Peter Burgisser, Felipe Cucker and…

We call a subalgebra $U$ of a Lie algebra $L$ a $CAP$-subalgebra of $L$ if for any chief factor $H/K$ of $L$, we have $H \cap U = K \cap U$ or $H+U = K+U$. In this paper we investigate some properties of such subalgebras and obtain some…

This paper studies the quantum computational complexity of the discrete logarithm (DL) and related group-theoretic problems in the context of generic algorithms -- that is, algorithms that do not exploit any properties of the group…

Many exponential speedups that have been achieved in quantum computing are obtained via hidden subgroup problems (HSPs). We show that the HSP over Weyl-Heisenberg groups can be solved efficiently on a quantum computer. These groups are…

A group $G$ has cube-free order if no prime to the third power divides $|G|$. We describe an algorithm that given two cube-free groups $G$ and $H$ of known order, decides whether $G\cong H$, and, if so, constructs an isomorphism $G\to H$.…

Let $G$ be a finite group and let $\pi: G \to G'$ be a surjective group homomorphism. Consider the cocycle deformation $L = H^{\sigma}$ of the Hopf algebra $H = k^G$ of $k$-valued linear functions on $G$, with respect to some convolution…

We identify the simple algebraic groups over number fields that are, in a suitable sense, determined by their finite adele points. Assuming CSP and Grothendieck rigidity, our results essentially characterize higher rank arithmetic groups…

Let $n\geq 2$ and $G_n=\mathbb{Z}^n\rtimes SL_n(\mathbb{Z})$. We classify all $G_n$-invariant von Neumann subalgebras in $L(G_n)$. For $n=2$, this gives an alternative proof of the previous result of Jiang-Liu. For $n\geq 3$, this gives the…

Subgraph Isomorphism is a very basic graph problem, where given two graphs $G$ and $H$ one is to check whether $G$ is a subgraph of $H$. Despite its simple definition, the Subgraph Isomorphism problem turns out to be very broad, as it…

The main part of this paper contains a description of a nilpotent quotient algorithm for L-presented groups and a report on applications of its implementation in the computer algebra system GAP. The appendix introduces two new infinite…

We develop algorithms and computer programs which verify criteria of properness of discrete group actions on semisimple homogeneous spaces. We apply these algorithms to find new examples of non-virtually abelian discontinuous group actions…

We generalize the Plesken-Fabia\'nska $\mathrm{L}_2$-quotient algorithm for finitely presented groups on two or three generators to allow an arbitrary number of generators. The main difficulty lies in a constructive description of the…

In this paper we use techniques from convex projective geometry to produce many new examples of thin subgroups of lattices in special linear groups that are isomorphic to the fundamental groups of finite volume hyperbolic manifolds. More…

We describe a Hopf algebraic approach to the Grothendieck ring of representations of subgroups $H_\pi$ of the general linear group GL(n) which stabilize a tensor of Young symmetry $\{\pi\}$. It turns out that the representation ring of the…

Let $\Lambda$ be a subgroup of an arithmetic lattice in SO(n+1,1). The quotient $\mathbb{H}^{n+1} / \Lambda$ has a natural family of congruence covers corresponding to primes in some ring of integers. We establish a super-strong…

We compute the number of orbit types for simply connected simple algebraic groups over algebraically closed fields as well as for compact simply connected simple Lie groups. We also compute the number of orbit types for the adjoint action…

We introduce the term "protonormal" to refer to a subgroup H of a group G such that for every x in G the subgroups x^{-1}Hx and H commute as sets. If moreover (G,H) is a Hecke pair we show that the Hecke algebra H(G,H) is generated by the…