Related papers: Open sets satisfying systems of congruences

We indicate a way of distinguishing between structures, for which, two structures are said to be separable.Being separable implies being non-isomorphic. We show that for any first order theory $T$ in a countable language, if it has an…

Often noisy point clouds are given as an approximation of a particular compact set of interest. A finite point cloud is a compact set. This paper proves a reconstruction theorem which gives a sufficient condition, as a bound on the…

A shear-free ray congruence on Minkowski space is a 3-parameter family of null geodesics along which Lie transport of a complementary 2-dimensional spacelike subspace (called the screen space) is conformal. Such congruences are defined by…

The convergence of the projection algorithm for solving the convex feasibility problem for a family of closed convex sets, is in connection with the regularity properties of the family. In the paper [18] are pointed out four cases of such a…

The paper is devoted to geometrical investigation of the Gromov-Hausdorff distance on the classes of all metric spaces and of all bounded metric spaces. The main attention is paid to pass connectivity questions. The pass connected…

Distances in the conformal manifold, the space of CFTs related by marginal deformations, can be measured in terms of the Zamolodchikov metric. Part of the CFT Distance Conjecture posits that points in this manifold where part of the…

We introduce and study two new examples of noncommutative spheres: the half-liberated sphere, and the free sphere. Together with the usual sphere, these two spheres have the property that the corresponding quantum isometry group is "easy",…

We establish a coarse version of the Cartan-Hadamard theorem, which states that proper coarsely convex spaces are coarsely homotopy equivalent to the open cones of their ideal boundaries. As an application, we show that such spaces satisfy…

Just how many different connected shapes result from slicing a cube along some of its edges and unfolding it into the plane? In this article we answer this question by viewing the cube both as a surface and as a graph of vertices and edges.…

We classify all subgroups of $SO(3)$ that are generated by two elements, each a rotation of finite order, about axes separated by an angle that is a rational multiple of $\pi$. In all cases we give a presentation of the subgroup. In most…

A very fundamental geometric problem on finite systems of spheres was independently phrased by Kneser (1955) and Poulsen (1954). According to their well-known conjecture if a finite set of balls in Euclidean space is repositioned so that…

F. Wehrung has asked: Given a family $\mathcal{C}$ of subsets of a set $\Omega$, under what conditions will there exist a total ordering on $\Omega$ under which every member of $\mathcal{C}$ is convex? <p> Note that if $A$ and $B$ are…

The main objective of this paper is the following two results. (1) There exists a computable bi-orderable group that does not have a computable bi-ordering; (2) There exists a bi-orderable, two-generated recursively presented solvable group…

It is presented the simplest known disproof of the Borsuk conjecture stating that if a bounded subset of n-dimensional Euclidean space contains more than n points, then the subset can be partitioned into n+1 nonempty parts of smaller…

Generalized topological spaces in the sense of Cs\'{a}sz\'{a}r have two main features which distinguish them from typical topologies. First, these families of subsets are not closed under intersections. Second, we allow for the possibility…

This article is covered by the article arxiv.1012.0925 We study intersection of two polyhedral spheres without self-intersections in 3-space. We find necessary and sufficient conditions on sequences x = x_1,x_2,...,x_n, y = y_1,y_2,...,y_n…

A matrix algebra is constructed which consists of the necessary degrees of freedom for a finite approximation to the algebra of functions on the family of orthogonal Grassmannians of real dimension 2N, known as complex quadrics. These…

To enable the study of open sets in computational approaches to mathematics, lots of extra data and structure on these sets is assumed. For both foundational and mathematical reasons, it is then a natural question, and the subject of this…

A half-geodesic is a closed geodesic realizing the distance between any pair of its points. All geodesics in a round sphere are half-geodesics. Conversely, this note establishes that Riemannian spheres with all geodesics closed and…

We study the simplicial volume of manifolds obtained from Davis' reflection group trick, the goal being characterizing those having positive simplicial volume. In particular, we focus on checking whether manifolds in this class with nonzero…