Related papers: Parity of n-Frames with Application to Non-Procrus…
A set of n segments in the plane may form a Euclidean TSP tour, a tree, or a matching, among others. Optimal TSP tours as well as minimum spanning trees and perfect matchings have no crossing segments, but several heuristics and…
The unordered configuration space of $n$ points on a graph $\Gamma,$ denoted here by $UC^n(\Gamma),$ can be viewed as the space of all configurations of $n$ unlabeled robots on a system of one-dimensional tracks, which is interpreted as a…
We establish a foundational homotopical framework for ternary $\Gamma$-modules by establishing that $\mathcal{T}\text{-Mod}$ is a Barr-exact, monoidal closed category. We resolve the long-standing "additivity obstruction" in non-binary…
Quasi-Hermitian quantum systems, including $\mathcal{PT}$-symmetric ones, can be mapped to equivalent Hermitian systems via a similarity transformation that redefines the inner product with a positive-definite metric operator. Although an…
In previous works, we have demonstrated that the path integral for {\it real, Lorentzian} four-geometries in Einstein gravity yields sensible results in well-understood physical situations, but leads to uncontrolled fluctuations when the…
Broadly speaking the present is a homotopy complement to the book of Giraud, albeit in a couple of different ways. In the first place there is a representability theorem for maps to a topological champ (a.k.a. stack) and whence an extremely…
The construction of optimal line packings in real or complex Euclidean spaces has shown to be a tantalizingly difficult task, because it includes the problem of finding maximal sets of equiangular lines. In the regime where equiangular…
A bounded curvature path is a continuously differentiable piecewise $C^2$ path with a bounded absolute curvature that connects two points in the tangent bundle of a surface. In this work, we analyze the homotopy classes of bounded curvature…
We combine the theory of traces in homotopical algebra with sheaf theory in derived algebraic geometry to deduce general fixed point and character formulas. The formalism of dimension (or Hochschild homology) of a dualizable object in the…
The Grassmannian of affine subspaces is a natural generalization of both the Euclidean space, points being zero-dimensional affine subspaces, and the usual Grassmannian, linear subspaces being special cases of affine subspaces. We show…
We study the geometric phases of nonlinear elastic $N$-rotors with continuous rotational symmetry. In the Hamiltonian framework, the geometric structure of the phase space is a principal fiber bundle, i.e., a base, or shape…
Thickenings of a metric space capture local geometric properties of the space. Here we exhibit applications of lower bounding the topology of thickenings of the circle and more generally the sphere. We explain interconnections with the…
We show that the complex of free factors of a free group of rank n > 1 is homotopy equivalent to a wedge of spheres of dimension n-2. We also prove that for n > 1, the complement of (unreduced) Outer space in the free splitting complex is…
In this paper we revisit the concept of conformality in the sense of Gauss in the context of octonions and Clifford algebras. We extend a characterization of conformality in terms of a system of partial differential equations and…
Homotopy braid group description including cyclotron motion of charged interacting 2D particles at strong magnetic field presence is developed in order to explain, in algebraic topology terms, Laughlin correlations in fractional quantum…
Let $n$ be a natural number larger than two. Let $D_{2n}=\langle r,s : r^{n}=s^{2}=e, srs=r^{n-1} \rangle$ be the Dihedral group, and $\kappa $ an $n$-dimensional unitary representation of $D_{2n}$ acting in $\mathbb{C}^n$ as follows.…
We use the n-globe with its skeletal filtration to define the fundamental globular omega--groupoid of a filtered space; the proofs use an analogous fundamental cubical omega--groupoid due to the author and Philip Higgins. This method also…
We show that diagram groups can be viewed as fundamental groups of spaces of positive paths on directed 2-complexes (these spaces of paths turn out to be classifying spaces). Thus diagram groups are analogs of second homotopy groups,…
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,…
In this work we study a version of the general question of how well a Haar distributed orthogonal matrix can be approximated by a random gaussian matrix. Here, we consider a gaussian random matrix $Y_n$ of order $n$ and apply to it the…