Related papers: Bijective arithmetic codings of hyperbolic automor…
We study reversibility and strong reversibility of affine automorphisms of the two-torus, written as $f_{A,\bar{a}}(\bar{x})=A\bar{x}+\bar{a} \ (\mathrm{mod}\ \mathbb{Z}^2)$. We derive explicit criteria for the reversibility of such maps in…
For any integer $d$ we introduce a prop $RHra_d$ of oriented ribbon hypergraphs (in which "edges" can connect more than two vertices) and prove that it admits a canonical morphism of props, $$ Holieb_d^\diamond \longrightarrow RHra_d, $$…
We construct a family of vertex algebras associated with a family of symplectic singularity/resolution, called hypertoric varieties. While the hypertoric varieties are constructed by a certain Hamiltonian reduction associated with a torus…
In this note, an intrinsic description of some families of linear codes with symmetries is given, showing that they can be described more generally as quasi group codes, that is, as linear codes allowing a group of permutation automorphisms…
We establish some geometric constraints on compact Coxeter polytopes in hyperbolic spaces and show that these constraints can be a very useful tool for the classification problem of reflective anisotropic Lorentzian lattices and cocompact…
A semiregular permutation group on a set $\Ome$ is called {\em bi-regular} if it has two orbits. A classification is given of quasiprimitive permutation groups with a biregular dihedral subgroup. This is then used to characterize the family…
The process of replacing an arbitrary Boolean function by a bijective one, a fundamental tool in reversible computing and in cryptography, is interpreted algebraically as a particular instance of a certain group homomorphism from the X-fold…
A major challenge in the study of the structure of the three-dimensional homology cobordism group is to understand the interaction between hyperbolic geometry and homology cobordism. In this paper, for a hyperbolic homology sphere $Y$ we…
We characterize the structure of 2-quasi-cyclic codes over a finite field F by the so-called Goursat Lemma. With the characterization, we exhibit a necessary and sufficient condition for a 2-quasi-cyclic code being a dihedral code. And we…
A hypertree, or $\mathbb{Q}$-acyclic complex, is a higher-dimensional analogue of a tree. We study random $2$-dimensional hypertrees according to the determinantal measure suggested by Lyons. We are especially interested in their…
Let $M$ be a compact hyperkahler manifold with maximal holonomy (IHS). The group $H^2(M, R)$ is equipped with a quadratic form of signature $(3, b_2-3)$, called Bogomolov-Beauville-Fujiki (BBF) form. This form restricted to the rational…
Given an endomorphism u of a finite-dimensional vector space over an arbitrary field K, we give necessary and sufficient conditions for the existence of a regular quadratic form (resp. a symplectic form) for which u is orthogonal (resp.…
We define the class of high dimensional graph manifolds. These are compact smooth manifolds supporting a decomposition into finitely many pieces, each of which is diffeomorphic to the product of a torus with a finite volume hyperbolic…
We investigate the possible structures imposed on a finite group by its possession of an automorphism sending a large fraction of the group elements to their cubes, the philosophy being that this should force the group to be, in some sense,…
We study the groups of biholomorphic and bimeromorphic automorphisms of conic bundles over certain compact complex manifolds of algebraic dimension zero.
While motivated by structural problems in mathematical music theory, this article introduces a novel combinatorial framework that advances the classification of cyclic cubic bipartite graphs. We extend the classical study of Levi graphs by…
In this paper we develop a complete theory of factorization for isometries of hyperbolic 4-space. Of special interest is the case where a pair of isometries is linked, that is, when a pair of isometries can be expressed each as compositions…
We show that a finitely generated subgroup of the genus two handlebody group is stable if and only if the orbit map to the disk graph is a quasi-isometric embedding. To this end, we prove that the genus two handlebody group is a…
For all classical groups (and for their analogs in infinite dimension or over general base fields or rings) we construct certain contractions, called "homotopes". The construction is geometric, using as ingredient involutions of associative…
For all classical groups (and for their analogs in infinite dimension or over general base fields or rings) we construct certain contractions, called "homotopes". The construction is geometric, using as ingredient involutions of associative…