Related papers: The Eisenlohr-Farris Algorithm for fully transitiv…

A triality is a sort of super-symmetry that exchanges the types of the elements of an incidence geometry in cycles of length three. Although geometries with trialities exhibit fascinating behaviors, their construction is challenging, making…

Euclidean conformal integrals for an arbitrary number of points in any dimension are evaluated. Conformal transformations in the Euclidean space can be formulated as the Moebius group in terms of Clifford algebras. This is used to interpret…

Purpose: This study extends the structural theory of finite commutative ternary $\Gamma$-semirings into a computational and categorical framework for explicit classification and constructive reasoning. Methods: Constraint-driven enumeration…

Any action of a group $\Gamma$ on $\mathbb H^3$ by isometries yields a class in degree three bounded cohomology by pulling back the volume cocycle to $\Gamma$. We prove that the bounded cohomology of finitely generated Kleinian groups…

In this paper we prove that for each dimension $n$ there are only finitely many isomorphism classes of pairs of groups $(\Gamma,\mathrm{N})$ such that $\Gamma$ is an $n$-dimensional crystallographic group and $\mathrm{N}$ is a normal…

We characterize connected tetravalent graphs $\Gamma$ which admit groups $M<H$ of automorphisms such that $\Gamma$ is $M$-half-arc-transitive and $H$-arc-transitive. Examples for each case are constructed, including a counter-example to a…

It is well-known that the group of regular projective transformations of $\mathbb{P}^3(\mathbb{R})$ is isomorphic to the group of projective automorphisms of Klein's quadric $M_2^4\subset\mathbb{P}^5(\mathbb{R})$. We introduce the Clifford…

We present a Myhill-Nerode theorem for hypergraphs. The theorem involves an operation which takes two input structures and produces a hypergraph as output. Using this operation, we define a Myhill-Nerode-type equivalence relation and show…

A subperiodic group is a group of motions of $d$-dimensional Euclidean space $\R^d$ which contains a translation lattice $\Z^r$ of rank $r < d$ as a subgroup of finite index. A classification into abstract group isomorphism classes is…

The class of 2-dimensional non-integrable flat dynamical systems has a rather extensive literature with many deep results, but the methods developed for this type of problems, both the traditional approach via Teichm\"{u}ller geometry and…

We describe a general procedure which allows to construct, starting from a given Hamiltonian, the whole family of new ones sharing the same set of unparameterized trajectories in phase space. The symmetry structure of this family can be…

In this work, an efficient method for constructing a complete integral of the geodesic Hamilton-Jacobi equation on pseudo-Riemannian manifolds with simply transitive groups of motions is suggested. The method is based on using a special…

We generalized the periodic links to \emph{transitive} links in a $3$-manifold $M$. We find a complete classification theorem of transitive links in a $3$-dimensional sphere $\mathbb{R}^3$. We study these links from several different…

Crystallographic groups are conventionally studied in real space to characterize crystal symmetries. Recent work has recognized that when these symmetries are realized projectively, momentum space inherently accommodates nonsymmorphic…

We consider tilings of Euclidean spaces by polygons or polyhedra, in particular, tilings made by a substitution process, such as the Penrose tilings of the plane. We define an isomorphism invariant related to a subgroup of rotations and…

Given a finite vector space $V=\mathbb{F}_q^n$, the $q$-analogue of a graph, called a $q$-graph, is a pair $\Gamma=(\mathcal{V},\mathcal{E})$, where $\mathcal{V}$ is the set of $1$-dimensional subspaces of $V$ and $\mathcal{E}$ is a subset…

Using the Wald formalism, we investigate the thermodynamics of charged black holes in D-dimensional stationary spacetimes with or without rotations in Einstein-\ae ther-Maxwell theory. In particular, assuming the existence of a scaling…

We construct integrals of motion for multidimensional classical systems from ladder operators of one-dimensional systems. This method can be used to obtain new systems with higher order integrals. We show how these integrals generate a…

In an earlier paper the first two authors have shown that self-complementary graphs can always be oriented in such a way that the union of the oriented version and its isomorphically oriented complement gives a transitive tournament. We…

This thesis is devoted to algorithmic aspects of the implementation of Cartan's moving frame method to the problem of the equivalence of submanifolds under a Lie group action. We adopt a general definition of a moving frame as an…