Related papers: Five-dimensional Perfect Simplices
We show that the structured singular value of a real matrix with respect to five full complex uncertainty blocks equals its convex upper bound. This is done by formulating the equality conditions as a feasibility SDP and invoking a result…
A simplicial set is said to be non-singular if its non-degenerate simplices are embedded. Let $sSet$ denote the category of simplicial sets. We prove that the full subcategory $nsSet$ whose objects are the non-singular simplicial sets…
Let $C$ be a convex body and let $S$ be a nondegenerate simplex in ${\mathbb R}^n$. Denote by $\xi(C;S)$ the minimal $\tau>0$ such that $C$ is a subset of the simplex $\tau S$. By $\alpha(C;S)$ we mean the minimal $\tau>0$ such that $C$ is…
We study Hermitian unitary matrices $\mathcal{S}\in\mathbb{C}^{n,n}$ with the following property: There exist $r\geq0$ and $t>0$ such that the entries of $\mathcal{S}$ satisfy $|\mathcal{S}_{jj}|=r$ and $|\mathcal{S}_{jk}|=t$ for all…
Using the quaternionic formalism for the description of the group of isometries of hyperbolic $5$-space we consider arithmetically defined $5$-dimensional hyperbolic manifolds which are non-compact but of finite volume. They arise from…
The homogeneous minimal hypersurfaces in $S^n$ have $g = 1,2,3,4$, or $6$ distinct (constant) principal curvatures. While the Morse index and nullity have been calculated for all such hypersurfaces having $g = 1,2,3$, it has remained an…
A vertex colouring of some graph is called perfect if each vertex of colour $i$ has the same number $a_{ij}$ of neighbours of colour $j$. Here we determine all perfect colourings of the edge graphs of the hypercube in dimensions 4 and 5 by…
Let $M^4\to \mathbb{S}^5$ be a closed immersed minimal hypersurface with constant squared length of the second fundamental form $S$ in a $5$-dimensional sphere $\mathbb{S}^5$. In this paper, we prove that if $3$-mean curvature $H_3$ and the…
Let $X$ be a simplicial complex with $n$ vertices. A missing face of $X$ is a simplex $\sigma\notin X$ such that $\tau\in X$ for any $\tau\subsetneq \sigma$. For a $k$-dimensional simplex $\sigma$ in $X$, its degree in $X$ is the number of…
A successful computational approach for solving large-scale positive semidefinite (PSD) programs is to enforce PSD-ness on only a collection of submatrices. For our study, we let $\mathcal{S}^{n,k}$ be the convex cone of $n\times n$…
Let $Q_d$ be the hypercube of dimension $d$ and let $H$ and $K$ be subsets of the vertex set $V(Q_d)$, called configurations in $Q_d$. We say that $K$ is an \emph{exact copy} of $H$ if there is an automorphism of $Q_d$ which sends $H$ onto…
Discrete point sets $\mathcal{S}$ such as lattices or quasiperiodic Delone sets may permit, beyond their symmetries, certain isometries $R$ such that $\mathcal{S}\cap R\mathcal{S}$ is a subset of $\mathcal{S}$ of finite density. These are…
In his seminal 1951 paper "Extreme forms" Coxeter \cite{cox51} observed that for $n \ge 9$ one can add vectors to the perfect lattice $\sfA_9$ so that the resulting perfect lattice, called $\sfA_9^2$ by Coxeter, has exactly the same set of…
This article is a summary of the author's unpublished Ph.D thesis. Its purpose is to generalise a construction by H. Cassens and P. Slodowy of the semiuniversal deformations of the simple singularities of type $A_r$, $D_r$, $E_6$, $E_7$ and…
We search for faces of the convex set consisting of all separable states, which are affinely isomorphic to simplices, to get separable states with unique decompositions. In the two-qutrit case, we found that six product vectors spanning a…
Let $P$ be a finite set of points in the plane in general position, that is, no three points of $P$ are on a common line. We say that a set $H$ of five points from $P$ is a $5$-hole in $P$ if $H$ is the vertex set of a convex $5$-gon…
This paper will devote to construct a family of fifth degree cubature formulae for $n$-cube with symmetric measure and $n$-dimensional spherically symmetrical region. The formula for $n$-cube contains at most $n^2+5n+3$ points and for…
We find many tight codes in compact spaces, i.e., optimal codes whose optimality follows from linear programming bounds. In particular, we show the existence (and abundance) of several hitherto unknown families of simplices in quaternionic…
In this article we establish the arithmetic purity of strong approximation for certain semi-simple simply connected $k$-simple linear algebraic groups and their homogeneous spaces over a number field $k$. For instance, for any such group…
The simplex graph $S(G)$ of a graph $G$ is defined as the graph whose vertices are the cliques of $G$ (including the empty set), with two vertices being adjacent if, as cliques of $G$, they differ in exactly one vertex. Simplex graphs form…