Related papers: Constructions of transitive latin hypercubes

A latin square of order $n$ is an $n\times n$ array of $n$ symbols in which each symbol occurs exactly once in each row and column. A transversal of such a square is a set of $n$ entries such that no two entries share the same row, column…

Clifford quantum circuits are elementary invertible transformations of quantum systems that map Pauli operators to Pauli operators. We study periodic one-parameter families of Clifford circuits, called loops of Clifford circuits, acting on…

Holonomic quantum computation makes use of non-abelian geometric phases, associated to the evolution of a subspace of quantum states, to encode logical gates. We identify a special class of subspaces, for which a sequence of rotations…

The set LS(n) of Latin squares of order $n$ can be represented in $\mathbb{R}^{n^3}$ as a $(n-1)^3$-dimensional 0/1-polytope. Given an autotopism $\Theta=(\alpha,\beta,\gamma)\in\mathfrak{A}_n$, we study in this paper the 0/1-polytope…

For $(M,[g])$ a conformal manifold of signature $(p,q)$ and dimension at least three, the conformal holonomy group $\mathrm{Hol}(M,[g]) \subset O(p+1,q+1)$ is an invariant induced by the canonical Cartan geometry of $(M,[g])$. We give a…

We study a partially hyperbolic and topologically transitive local diffeomorphism $F$ that is a skew-product over a horseshoe map. This system is derived from a homoclinic class and contains infinitely many hyperbolic periodic points of…

In two previous papers we constructed new families of completely regular codes by concatenation methods. Here we determine cases in which the new codes are completely transitive. For these cases we also find the automorphism groups of such…

There is a one-to-one correspondence between involutory latin quandles and uniquely $2$-divisible Bruck loops. Bruck loops of odd prime power order are centrally nilpotent. Using linear-algebraic approach to central extensions, we enumerate…

An arrangement of s elements in s rows and s columns, such that no element repeats more than once in each row and each column is called a Latin square of order s. If two Latin squares of the same order superimposed one on the other and in…

Quantum Latin squares are a generalization of classical Latin squares in quantum field and have wide applications in unitary error bases, mutually unbiased bases, $k$-uniform states and quantum error correcting codes. In this paper, we put…

We provide a systematic description of the automorphism groups of specially cocompact CAT(0) cube complexes. We show that these groups are topologically finitely generated, present a method to explicitly obtain generating sets, and prove a…

The super upper half plane, this is the ordinary upper half plane with additional odd (anticommuting) directions, admits a transitive super action of a certain super Lie group G . First we define the spaces of super automorphic and cusp…

For each positive integer Q there exists a path connected metric compactum X such that the Qth-homotopy group of X is compactly generated but not a topological group (with the quotient topology).

Given a binary quasigroup $G$ of order $n$, a $d$-iterated quasigroup $G[d]$ is the $(d+1)$-ary quasigroup equal to the $d$-times composition of $G$ with itself. The Cayley table of every $d$-ary quasigroup is a $d$-dimensional latin…

In this work, a complete homotopic interpretation on the periodic table of topological insulators and superconductors has been derived by establishing the loop sequence of the corresponding classifying spaces. In our approach, each…

A (partial) Latin square is a table of multiplication of a (partial) quasigroup. Multiplication of a (partial) quasigroup may be considered as a set of triples. We give a necessary and sufficient condition when a set of triples is a…

Computational paths treat propositional equality as explicit paths built from labelled deduction steps and rewrite rules. This view originates in work by de Queiroz and collaborators [1] and yields a weak groupoid structure for equality,…

We consider latin square graphs $\Gamma = \rm{LSG}(H)$ of the Cayley table of a given finite group $H$. We characterize all pairs $(\Gamma,G)$, where $G$ is a subgroup of autoparatopisms of the Cayley table of $H$ such that $G$ acts…

Let $M$ be a cusped finite-volume hyperbolic three-manifold with isometry group $G$. Then $G$ induces a $k$-transitive action by permutation on the cusps of $M$ for some integer $k\ge 0$. Generically $G$ is trivial and $k=0$, but $k>0$ does…

Let $K/k$ be a finite Galois extension and $\pi = \fn{Gal}(K/k)$. An algebraic torus $T$ defined over $k$ is called a $\pi$-torus if $T\times_{\fn{Spec}(k)} \fn{Spec}(K)\simeq \bm{G}_{m,K}^n$ for some integer $n$. The set of all algebraic…