Related papers: Computing 3-Dimensional Groups : Crossed Squares a…

The package numericalsgps performs computations with and for numerical semigroups. Recently also affine semigroups are admitted as objects for calculations. This manuscript is a survey of what the package does, and at the same time of the…

We define a mapping space for Gray-enriched categories adapted to higher gauge theory. Our construction differs significantly from the canonical mapping space of enriched categories in that it is much less rigid. The two essential…

This paper introduces a categorification of $k$-algebras called 2 -algebras, where k is a commutative ring. We define the 2-algebras as a 2-category with single object in which collections of all 1-morphisms and all 2-morphisms are…

In this paper we define a pair of faithful functors that map isomorphic and isotopic finite-dimensional algebras over finite fields to isomorphic graphs. These functors reduce the cost of computation that is usually required to determine…

Given a CAT(0) cube complex X, we show that if Aut(X) $\neq$ Isom(X) then there exists a full subcomplex of X which decomposes as a product with $\mathbb{R}^n$. As applications, we prove that if X is $\delta$-hyperbolic, cocompact and…

In this paper, we describe a regular representation given by Cayley theorem for 2-crossed modules of groups and their associated Gray 3-group groupoids with a single 0-cell and equivalently cat2-groups.

Let $E:y^2=x^3+ax+b$ be an elliptic curve defined over $\mathbb{Q}$. We compute certain twists of the classical modular curves $X(8)$. Searching for rational points on these twists enables us to find non-trivial pairs of $8$-congruent…

We introduce a systematic study of "symmetric quantum circuits", a new restricted model of quantum computation that preserves the symmetries of the problems it solves. This model is well-adapted for studying the role of symmetry in quantum…

We describe a new approach towards the systematic construction of finite groups up to isomorphism. This approach yields a practical algorithm for the construction of finite solvable groups up to isomorphism. We report on a GAP…

Taking into account the theoretical results and guidelines given inthis work, we introduce a computational method to construct any 2 step nilpotent quadratic algebra of d generators. Along the work we show that the key of the classification…

For a metric space $X$ with a compatible measure $\mu$, Genevois and Tessera defined the Scaling Group of $(X,\mu)$ as the subgroup $\Gamma$ of $\mathbb{R}_{>0}$ of positive real numbers $\gamma$ for which there are quasi-isometries of $X$…

Fix a finite group $G$. We study the computational complexity of counting problems of the following flavor: given a group $\Gamma$, count the number of homomorphisms $\Gamma \to G$. Our first result establishes that this problem is…

We compute the classifying space of the surface category $h\mathrm{Bord}_2$ whose objects are closed oriented $1$-manifolds and whose morphisms are diffeomorphism classes of oriented surface bordisms, and show that it is rationally…

We describe the mathematical theory of topological quantum computing with symmetry defects in the language of fusion categories and unitary representations. Symmetry defects together with anyons are modeled by G-crossed braided extensions…

Using a quiver algebra of a cyclic quiver, we construct a faithful categorical action of the extended braid group of affine type A on its bounded homotopy category of finitely generated projective modules. The algebra is trigraded and we…

This paper provides a toolbox of para-differential calculus on compact Lie groups. The toolbox is based on representation theory of compact Lie groups and contains exact formulas of symbolic calculus. Para-differential operators are…

Category theory is a branch of mathematics that provides a formal framework for understanding the relationship between mathematical structures. To this end, a category not only incorporates the data of the desired objects, but also…

We utilize the symmetry groups of regular tessellations on two-dimensional surfaces of different constant curvatures, including spheres, Euclidean planes and hyperbolic planes, to encode a qubit or qudit into the physical degrees of freedom…

We describe QGLAB, a new MATLAB package for analyzing partial differential equations on quantum graphs. The software is built on the existing, object-oriented MATLAB directed-graph class, inheriting its structure and adding additional…

Any finite-dimensional commutative (associative) graded algebra with all nonzero homogeneous subspaces one-dimensional is defined by a symmetric coefficient matrix. This algebraic structure gives a basic kind of $A$-graded algebras…