Related papers: The Shadow of Vietoris--Rips Complexes in Limits
Let $F$ be an $n$-vertex forest. We say that an edge $e\notin F$ is in the shadow of $F$ if $F\cup\{e\}$ contains a cycle. It is easy to see that if $F$ is "almost a tree", that is, it has $n-2$ edges, then at least…
Let X be a complex algebraic K3 surface or a supersingular K3 surface in odd characteristic. We present an algorithm by which, under certain assumptions on X, we can calculate a finite set of generators of the image of the natural…
We introduce and analyze a Spencer-type elliptic complex on the space of differential forms valued in symmetric powers of an adjoint bundle, $\Omega^\bullet(X)\otimes \mathrm{Sym}^\bullet(G)$. The complex is governed by a total differential…
We study geometric properties of compact stable minimal surfaces with boundary in homogeneous 3-manifolds $X$ that can be expressed as a semidirect product of $\mathbb{R}^2$ with $\mathbb{R}$ endowed with a left invariant metric. For any…
Let $X$ be a simplicial complex on vertex set $V$. We say that $X$ is $d$-representable if it is isomorphic to the nerve of a family of convex sets in $\mathbb{R}^d$. We define the $d$-boxicity of $X$ as the minimal $k$ such that $X$ can be…
Given a manifold with corners $X$, we associates to it the corner structure simplicial complex $\Sigma_X$. Its reduced K-homology is isomorphic to the K-theory of the $C^*$-algebra $\mathcal{K}_b(X)$ of b-compact operators on $X$. Moreover,…
Let V be a compact real analytic surface with isolated singularities embedded in $R^N$, and assume its smooth part is equipped with a Riemannian metric that is induced from some analytic Riemannian metric on $R^N$. We prove: 1. Each point…
We show that a complex normal surface singularity admitting a contracting automorphism is necessarily quasihomogeneous. We also describe the geometry of a compact complex surface arising as the orbit space of such a contracting…
An orthoset (also called an orthogonality space) is a set $X$ equipped with a symmetric and irreflexive binary relation $\perp$, called the orthogonality relation. In quantum physics, orthosets play a central role. In fact, a Hilbert space…
This paper continues a geometric study of Harvey's Complex of Curves, whose ultimate goal is to apply the theory of hyperbolic spaces and groups to algorithmic questions for the Mapping Class Group and geometric properties of Kleinian…
The Promise Constraint Satisfaction Problem (PCSP for short) is a generalization of the well-studied Constraint Satisfaction Problem (CSP). The PCSP has its roots in such classic problems as the Approximate Graph Coloring and the…
An automorphism $\theta$ of a spherical building $\Delta$ is called \textit{capped} if it satisfies the following property: if there exist both type $J_1$ and $J_2$ simplices of $\Delta$ mapped onto opposite simplices by $\theta$ then there…
The optical appearance of a body compact enough to feature an unstable bound orbit, when surrounded by an accretion disk, is expected to be dominated by a luminous ring of radiation enclosing a central brightness depression typically known…
We describe a method to obtain spherical parameterizations of arbitrary data through the use of persistent cohomology and variational optimization. We begin by computing the second-degree persistent cohomology of the filtered Vietoris-Rips…
A shadow of a geometric object $A$ in a given direction $v$ is the orthogonal projection of $A$ on the hyperplane orthogonal to $v$. We show that any topological embedding of a circle into Euclidean $d$-space can have at most two shadows…
Let p be a fibration over a finite simplicial complex, whose fibers have the homotopy type of finite simplicial complexes. Then p is equivalent to an approximate fibration whose total space is a compact ENR. The proof uses homotopy coherent…
We consider the Vietoris hyperspaces $\mathcal S(\mathbb R^n)$ of simple closed curves in $\mathbb R^n$, $n=2,3$, and their subspaces $\mathcal S_P(\mathbb R^2)$ of planar simple closed polygons, $\mathcal K_P$ of polygonal knots, and…
Full subcomplexes of a simplicial complex encode essential structure for understanding the complex itself. For a simplicial complex $K$, possibly with a ghost vertex, the Bier sphere of $K$ is a simplicial sphere obtained as the deleted…
In this paper we study the notion of Salem set from the point of view of descriptive set theory. We first work in the hyperspace $\mathbf{K}([0,1])$ of compact subsets of $[0,1]$ and show that the closed Salem sets form a…
We show that the shadow vertex algorithm can be used to compute a short path between a given pair of vertices of a polytope P = {x : Ax \leq b} along the edges of P, where A \in R^{m \times n} is a real-valued matrix. Both, the length of…