Related papers: Computing 3-Dimensional Groups : Crossed Squares a…
We obtain a finite set of generators for the level 2 mapping class group of a closed nonorientable surface of genus $g\ge 3$. This set consists of isotopy classes of Lickorish's Y-homeomorphisms also called crosscap slides.
For any cssc-crossed module a category is constructed, equipped with a structure and proved that this is a coherent categorical group. Together with a result of the previous paper, where to any categorical group the cssc-crossed module is…
We construct finite-dimensional projective representations of the mapping class groups of compact connected oriented surfaces having one boundary component using stated skein algebras.
In this paper, we study CAT(0) groups and Coxeter groups whose boundaries are scrambled sets. Suppose that a group $G$ acts geometrically (i.e. properly and cocompactly by isometries) on a CAT(0) space $X$. (Such group $G$ is called a {\it…
We report on the computation of invariants, covariants, and contravariants of cubic surfaces. All algorithms are implemented in the computer algebra system magma.
The notion of $\textbf{Gray}$-category, a semi-strict $3$-category in which the middle four interchange is weakened to an isomorphism, is central in the study of three-dimensional category theory. In this context it is common practice to…
In this paper, we propose an algorithm to enumerate genus-4 superspecial hyperelliptic curves whose automorphism groups isomorphic to the quaternion group. By implementing this algorithm with Magma, we successfully obtain the number of…
In this paper, we construct a covariant differential calculus on quantum plane with two-parametric quantum group as a symmetry group. The two cases $d^2=0$ and $d^3=0$ are completly established. We also construct differential calculi $n=2$…
Recent algorithmic advances in algebraic automata theory drew attention to semigroupoids (semicategories). These are mathematical descriptions of typed computational processes, but they have not been studied systematically in the context of…
Error-correcting codes over the real field are studied which can locate outlying computational errors when performing approximate computing of real vector--matrix multiplication on resistive crossbars. Prior work has concentrated on…
For a stratified topological space we introduce the category of IC-modules, which are linear algebra devices with the relations described by the equation d^2=0. We prove that the category of (mixed) IC-modules is equivalent to the category…
The discrete logarithm problem in Jacobians of curves of high genus $g$ over finite fields $\FF_q$ is known to be computable with subexponential complexity $L_{q^g}(1/2, O(1))$. We present an algorithm for a family of plane curves whose…
We define and study graphs associated to hexagon decompositions of surfaces by curves and arcs. One of the variants is shown to be quasi-isometric to the pants graph, whereas the other variant is quasi-isometric to (a Cayley graph of) the…
Directed acyclic graphical models (DAGs) are often used to describe common structural properties in a family of probability distributions. This paper addresses the question of classifying DAGs up to an isomorphism. By considering Gaussian…
We use basic tools of descriptive set theory to prove that a closed set $\mathcal S$ of marked groups has $2^{\aleph_0}$ quasi-isometry classes provided every non-empty open subset of $\mathcal S$ contains at least two non-quasi-isometric…
A lot of work has gone into computing images of Galois representations coming from elliptic curves. This article presents an algorithm to determine the image of the mod-$3$ Galois representation associated to a principally polarized abelian…
We study crossed $S$-matrices for braided $G$-crossed categories and reduce their computation to a submatrix of the de-equivariantization. We study the more general case of a category containing the symmetric category $\mathrm{Rep}(A,z)$…
By means of parametrized presentations of finite metabelian 3-groups, it is proved that the coclass cc(M) of the second 3-class group M=Gal(F_3^2(K)/K) of any algebraic number field K with elementary bicyclic 3-class group Cl_3(K)=(3,3) is…
We provide isomorphism results for Hopf algebras that are obtained as graded twistings of function algebras on finite groups by cocentral actions of cyclic groups. More generally , we also consider the isomorphism problem for…
The paper proposes a new and systematic approach to the so-called black box group methods in computational group theory. As the starting point of our programme, we construct Frobenius maps on black box groups of untwisted Lie type in odd…