Hypertope is a generalization of the concept of polytope, which in turn generalizes the concept of a map and hypermap, to higher rank objects. Regular hypertopes with spherical residues, which we call regular locally spherical hypertopes, must be either of spherical, euclidean, or hyperbolic type. That is, the type-preserving automorphism group of a locally spherical regular hypertope is a quotient

Let \({\mathcal {A}}=\{A_1,\ldots ,A_n\}\) be a family of sets in the plane. For \(0 \le i < n\), denote by \(f_i\) the number of subsets \(\sigma \) of \(\{1,\ldots ,n\}\) of cardinality \(i+1\) that satisfy \(\bigcap _{i \in \sigma } A_i \ne \emptyset \). Let \(k \ge 2\) be an integer. We prove that if each k-wise and \((k{+}1)\)-wise intersection of sets from \({\mathcal {A}}\) is empty, or a single

We investigate a sheaf-theoretic interpretation of stratification learning from geometric and topological perspectives. Our main result is the construction of stratification learning algorithms framed in terms of a sheaf on a partially ordered set with the Alexandroff topology. We prove that the resulting decomposition is the unique minimal stratification for which the strata are homogeneous and the

Let X be a nonempty finite subset of \({\mathbb {R}}^d\) and \(X=\bigcup _{i=1}^m X_i\) a coloring with \(m

We study symmetric non-negative forms and their relationship with symmetric sums of squares. For a fixed number of variables n and degree 2d, symmetric non-negative forms and symmetric sums of squares form closed, convex cones in the vector space of n-variate symmetric forms of degree 2d. Using representation theory of the symmetric group we characterize both cones in a uniform way. Further, we investigate

We consider the X-ray transform in a projective space over a finite field. It is well known (after Bolker) that this transform is injective. We formulate an analog of Gelfand’s admissibility problem for the Radon transform, which asks for a classification of all minimal sets of lines for which the restricted Radon transform is injective. The solution involves doubly ruled quadric surfaces.

An abstract topological graph (briefly an AT-graph) is a pair \(A=(G,{\mathcal {X}})\) where \(G=(V,E)\) is a graph and \({\mathcal {X}}\subseteq {E \atopwithdelims ()2}\) is a set of pairs of its edges. The AT-graph A is simply realizable if G can be drawn in the plane so that each pair of edges from \({\mathcal {X}}\) crosses exactly once and no other pair crosses. We show that simply realizable

Neural codes serve as a language for neurons in the brain. Open (or closed) convex codes, which arise from the pattern of intersections of collections of open (or closed) convex sets in Euclidean space, are of particular relevance to neuroscience. Not every code is open or closed convex, however, and the combinatorial properties of a code that determine its realization by such sets are still poorly

An ordinary circle of a set P of n points in the plane is defined as a circle that contains exactly three points of P. We show that if P is not contained in a line or a circle, then P spans at least [Formula: see text] ordinary circles. Moreover, we determine the exact minimum number of ordinary circles for all sufficiently large n and describe all point sets that come close to this minimum. We also

Using transversality and a dimension reduction argument, a result of Bezdek and Kuperberg is applied to polycylinders, showing that the optimal packing density of [Formula: see text] equals [Formula: see text] for all natural numbers n.

We formulate and prove a periodic analog of Maxwell's theorem relating stressed planar frameworks and their liftings to polyhedral surfaces with spherical topology. We use our lifting theorem to prove deformation and rigidity-theoretic properties for planar periodic pseudo-triangulations, generalizing features known for their finite counterparts. These properties are then applied to questions originating

We consider planar bar-and-joint frameworks with discrete point group symmetry in which the joint positions are as generic as possible subject to the symmetry constraint. We provide combinatorial characterizations for symmetry-forced rigidity of such structures with rotation symmetry or dihedral symmetry of order 2k with odd k, unifying and extending previous work on this subject. We also explore the

This paper extends the scenario of the Four Color Theorem in the following way. Let [Formula: see text] be the set of all [Formula: see text]-uniform hypergraphs that can be (linearly) embedded into [Formula: see text]. We investigate lower and upper bounds on the maximum (weak) chromatic number of hypergraphs in [Formula: see text]. For example, we can prove that for [Formula: see text] there are

We present a novel reconstruction algorithm that, given an input point set sampled from an object S, builds a one-parameter family of complexes that approximate S at different scales. At a high level, our method is very similar in spirit to Chew's surface meshing algorithm, with one notable difference though: the restricted Delaunay triangulation is replaced by the witness complex, which makes our

The order-k Voronoi tessellation of a locally finite set X ⊆ R n decomposes R n into convex domains whose points have the same k nearest neighbors in X. Assuming X is a stationary Poisson point process, we give explicit formulas for the expected number and total area of faces of a given dimension per unit volume of space. We also develop a relaxed version of discrete Morse theory and generalize by

A tower is a sequence of simplicial complexes connected by simplicial maps. We show how to compute a filtration, a sequence of nested simplicial complexes, with the same persistent barcode as the tower. Our approach is based on the coning strategy by Dey et al. (SoCG, 2014). We show that a variant of this approach yields a filtration that is asymptotically only marginally larger than the tower and