Order types are a well known abstraction of combinatorial properties of a point set. By Mn "ev's universality theorem for each semi-algebraic set @math there is an order type with a realization space that is to @math . We consider realization spaces of , a refinement of order types. We show that the realization spaces of allowable sequences are and consequently deciding the realizability is complete in the ( ). This result holds even if the realization space of the order type induced by the allowable sequence is non-empty. Furthermore, we argue that our result is a useful tool for further geometric reductions. We support this by giving -hardness proofs for the realizability of abstract convex geometries and for the recognition problem of visibility graphs of polygons with holes using the hardness result for allowable sequences. This solves two longstanding open problems.
In their paper Edelman and Jamison @cite_11 have developed the foundations of a combinatorial abstraction of convexity. Similar ideas were studied by Dilworth @cite_31 and later by Korte, Lov 'a sz and Schrader @cite_42 via the notion of , a concept dual to the one of a finite convex geometry. Today, the concept of convex geometry appears in many fields of mathematics such as formal language theory @cite_45 , choice theory @cite_20 and mathematical psychology @cite_17 among others. @cite_14 showed that any abstract convex geometry can be represented as generalized shelling'' in @math for some @math . Richters and Rogers @cite_5 reproved this theorem giving a better bound on the dimension. Different representations of finite convex geometries using different shapes than points for the ground set have been studied @cite_18 @cite_38 @cite_6 .
@cite_38 @cite_18 @cite_14 @cite_42 @cite_17 @cite_6 @cite_45 @cite_5 @cite_31 @cite_20 @cite_11
1496084555 2046751904 2508758617 1496278954 2507648344 2167816765 2069572385 2328822572 2560303642 1968781546 1975185678
The notion of an abstract convex geometry offers an abstraction of the standard notion of convexity in a linear space. Kashiwabara, Nakamura and Okamoto introduce the notion of a generalized convex shelling into @math and prove that a convex geometry may always be represented with such a shelling. We provide a new, shorter proof of their result using a recent representation theorem of Richter and Rubinstein, and deduce a different upper bound on the dimension of the shelling. Abstract Let F be a finite set of circles in the plane. The usual convex closure restricted to F yields a convex geometry, which is a combinatorial structure introduced by P. H. Edelman in 1980 under the name “anti-exchange closure system”. We prove that if the circles are collinear and they are arranged in a “concave way”, then they determine a convex geometry of convex dimension at most 2, and each finite convex geometry of convex dimension at most 2 can be represented this way. The proof uses some recent results from lattice theory, and some of the auxiliary statements on lattices or convex geometries could be of separate interest. The paper concludes with some open problems. Finite convex geometries are combinatorial structures. It follows from a recent result of M. Richter and L.G. Rogers that there is an infinite set @math of planar convex polygons such that @math with respect to geometric convex hulls is a locally convex geometry and every finite convex geometry can be represented by restricting the structure of @math to a finite subset in a natural way. An @math is a differentiable convex simple closed curve @math in the plane having an inscribed circle of radius @math and a circumscribed circle of radius @math such that the ratio @math is at least @math . Motivated by Richter and Rogers' result, we construct a set @math such that (1) @math contains all points of the plane as degenerate singleton circles and all of its non-singleton members are differentiable convex simple closed planar curves; (2) @math with respect to the geometric convex hull operator is a locally convex geometry; (3) as opposed to @math , @math is closed with respect to non-degenerate affine transformations; and (4) for every (small) positive @math and for every finite convex geometry, there are continuum many pairwise affine-disjoint finite subsets @math of @math such that each @math consists of almost-circles of accuracy @math and the convex geometry in question is represented by restricting the convex hull operator to @math . The affine-disjointness of @math and @math means that, in addition to @math , even @math is disjoint from @math for every non-degenerate affine transformation @math . In this paper we present several results on the expected complexity of a convex hull of @math points chosen uniformly and independently from a convex shape. (i) We show that the expected number of vertices of the convex hull of @math points, chosen uniformly and independently from a disk is @math , and @math for the case a convex polygon with @math sides. Those results are well known (see rs-udkhv-63,r-slcdn-70,ps-cgi-85 ), but we believe that the elementary proof given here are simpler and more intuitive. (ii) Let @math be a set of directions in the plane, we define a generalized notion of convexity induced by @math , which extends both rectilinear convexity and standard convexity. We prove that the expected complexity of the @math -convex hull of a set of @math points, chosen uniformly and independently from a disk, is @math , where @math is the largest angle between two consecutive vectors in @math . This result extends the known bounds for the cases of rectilinear and standard convexity. (iii) Let @math be an axis parallel hypercube in @math . We prove that the expected number of points on the boundary of the quadrant hull of a set @math of @math points, chosen uniformly and independently from @math is @math . Quadrant hull of a set of points is an extension of rectilinear convexity to higher dimensions. In particular, this number is larger than the number of maxima in @math , and is also larger than the number of points of @math that are vertices of the convex hull of @math . Those bounds are known bkst-anmsv-78 , but we believe the new proof is simpler. Convex geometries are closure systems satisfying the anti-exchange axiom. Every finite convex geometry can be embedded into a convex geometry of finitely many points in an n-dimensional space equipped with a convex hull operator, by the result of K. Kashiwabara, M.Nakamura and Y.Okamoto (2005). Allowing circles rather than points, as was suggested by G.Cz 'edli (2014), may presumably reduce the dimension for representation. This paper introduces a property, the Weak @math -Carousel rule, which is satisfied by all convex geometries of circles on a plane, and we show that it does not hold in all finite convex geometries. This raises a number of representation problems for convex geometries, which may allow us to better understand the properties of Euclidean space related to its dimension. From the Publisher: Discrete geometry investigates combinatorial properties of configurations of geometric objects. To a working mathematician or computer scientist, it offers sophisticated results and techniques of great diversity and it is a foundation for fields such as computational geometry or combinatorial optimization. This book is primarily a textbook introduction to various areas of discrete geometry. In each area, it explains several key results and methods, in an accessible and concrete manner. It also contains more advanced material in separate sections and thus it can serve as a collection of surveys in several narrower subfields. The main topics include: basics on convex sets, convex polytopes, and hyperplane arrangements; combinatorial complexity of geometric configurations; intersection patterns and transversals of convex sets; geometric Ramsey-type results; polyhedral combinatorics and high-dimensional convexity; and lastly, embeddings of finite metric spaces into normed spaces. Jiri Matousek is Professor of Computer Science at Charles University in Prague. His research has contributed to several of the considered areas and to their algorithmic applications. This is his third book. This paper addresses two problems lying at the intersection of geometric analysis and theoretical computer science: The non-linear isomorphic Dvoretzky theorem and the design of good approximate distance oracles for large distortion. We introduce the notion of Ramsey partitions of a finite metric space, and show that the existence of good Ramsey partitions implies a solution to the metric Ramsey problem for large distortion (a.k.a. the non-linear version of the isomorphic Dvoretzky theorem, as introduced by Bourgain, Figiel, and Milman in BFM86 ). We then proceed to construct optimal Ramsey partitions, and use them to show that for every @math , every @math -point metric space has a subset of size @math which embeds into Hilbert space with distortion @math . This result is best possible and improves part of the metric Ramsey theorem of Bartal, Linial, Mendel and Naor BLMN05 , in addition to considerably simplifying its proof. We use our new Ramsey partitions to design approximate distance oracles with a universal constant query time, closing a gap left open by Thorup and Zwick in TZ05 . Namely, we show that for every @math point metric space @math , and @math , there exists an @math -approximate distance oracle whose storage requirement is @math , and whose query time is a universal constant. We also discuss applications of Ramsey partitions to various other geometric data structure problems, such as the design of efficient data structures for approximate ranking. Convexity is a known important cue in human vision. We propose shape convexity as a new high-order regularization constraint for binary image segmentation. In the context of discrete optimization, object convexity is represented as a sum of three-clique potentials penalizing any @math - @math - @math configuration on all straight lines. We show that these non-submodular potentials can be efficiently optimized using an iterative trust region approach. At each iteration the energy is linearly approximated and globally optimized within a small trust region around the current solution. While the quadratic number of all three-cliques is prohibitively high, we design a dynamic programming technique for evaluating and approximating these cliques in linear time. We also derive a second order approximation model that is more accurate but computationally intensive. We discuss limitations of our local optimization and propose gradual non-submodularization scheme that alleviates some limitations. Our experiments demonstrate general usefulness of the proposed convexity shape prior on synthetic and real image segmentation examples. Unlike standard second-order length regularization, our convexity prior does not have shrinking bias, and is robust to changes in scale and parameter selection. We propose a novel geometric structure induced by any given convex polygon @math , called @math , which is an arrangement of @math segments, each of which is parallel to an edge of @math , where @math denotes the number of edges of @math . This structure enjoys six simple yet nontrivial properties, which can be derived from two elementary geometric properties -- convexity and parallelism. We then apply @math to solve the geometric optimization problem of computing the parallelogram(s) in @math with the maximum area. We show that the essential nature of the locally maximal area parallelograms is captured by @math and that computing all these parallelograms reduces to answering @math location queries on @math . We answer each of these queries in @math time, and thus obtain an @math time algorithm for this optimization problem. Our algorithm avoids an explicit construction of @math , which would take @math time. We dene a notion of a measured length space X having nonnegative N-Ricci curvature, for N 2 [1;1), or having1-Ricci curvature bounded below byK, forK2 R. The denitions are in terms of the displacement convexity of certain functions on the associated Wasserstein metric space P2(X) of probability measures. We show that these properties are preserved under measured Gromov-Hausdor limits. We give geometric and analytic consequences. This paper has dual goals. One goal is to extend results about optimal transport from the setting of smooth Riemannian manifolds to the setting of length spaces. A second goal is to use optimal transport to give a notion for a measured length space to have Ricci curvature bounded below. We refer to [11] and [44] for background material on length spaces and optimal transport, respectively. Further bibliographic notes on optimal transport are in Appendix F. In the present introduction we motivate the questions that we address and we state the main results. To start on the geometric side, there are various reasons to try to extend notions of curvature from smooth Riemannian manifolds to more general spaces. A fairly general setting is that of length spaces, meaning metric spaces (X;d) in which the distance between two points equals the inmum of the lengths of curves joining the points. In the rest of this introduction we assume that X is a compact length space. Alexandrov gave a good notion of a length space having bounded below by K", with K a real number, in terms of the geodesic triangles in X. In the case of a Riemannian manifold M with the induced length structure, one recovers the Riemannian notion of having sectional curvature bounded below by K. Length spaces with Alexandrov curvature bounded below by K behave nicely with respect to the GromovHausdor topology on compact metric spaces (modulo isometries); they form The idea that connected convex surfaces, separated by concave boundaries, play an important role for the perception of objects and their decomposition into parts has been discussed for a long time. Based on this idea, we present a new bottom-up approach for the segmentation of 3D point clouds into object parts. The algorithm approximates a scene using an adjacency-graph of spatially connected surface patches. Edges in the graph are then classified as either convex or concave using a novel, strictly local criterion. Region growing is employed to identify locally convex connected subgraphs, which represent the object parts. We show quantitatively that our algorithm, although conceptually easy to graph and fast to compute, produces results that are comparable to far more complex stateof-the-art methods which use classification, learning and model fitting. This suggests that convexity concavity is a powerful feature for object partitioning using 3D data. Furthermore we demonstrate that for many objects a natural decomposition into “handle and body” emerges when employing our method. We exploit this property in a robotic application enabling a robot to automatically grasp objects by their handles.