Search arXivSearch

arXiv · 1902.01732

Classifying Convex Bodies by their Contact and Intersection Graphs

Abstract

Suppose that $A$ is a convex body in the plane and that $A_1,\dots,A_n$ are translates of $A$. Such translates give rise to an intersection graph of $A$, $G=(V,E)$, with vertices $V=\{1,\dots,n\}$ and edges $E=\{uv\mid A_u\cap A_v\neq \emptyset\}$. The subgraph $G'=(V, E')$ satisfying that $E'\subset E$ is the set of edges $uv$ for which the interiors of $A_u$ and $A_v$ are disjoint is a unit distance graph of $A$. If furthermore $G'=G$, i.e., if the interiors of $A_u$ and $A_v$ are disjoint whenever $u\neq v$, then $G$ is a contact graph of $A$. In this paper we study which pairs of convex bodies have the same contact, unit distance, or intersection graphs. We say that two convex bodies $A$ and $B$ are equivalent if there exists a linear transformation $B'$ of $B$ such that for any slope, the longest line segments with that slope contained in $A$ and $B'$, respectively, are equally long. For a broad class of convex bodies, including all strictly convex bodies and linear transformations of regular polygons, we show that the contact graphs of $A$ and $B$ are the same if and only if $A$ and $B$ are equivalent. We prove the same statement for unit distance and intersection graphs.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Anders Aamand, Mikkel Abrahamsen, Jakob Bæk Tejs Knudsen, Peter Michael Reichstein Rasmussen. 2019-02-05. Classifying Convex Bodies by their Contact and Intersection Graphs. https://arxiv.org/abs/1902.01732

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Fast Persistent Homology Computation for Functions on $\mathbb{R}$

0-dimensional persistent homology is known, from a computational point of view, as the easy case. Indeed, given a list of $n$ edges in non-decreasing order of filtration value, one only needs a union-find data structure to keep track of the connected components and we get the persistence diagram in time $O(nα(n))$. The running time is thus usually dominated by sorting the edges in $Θ(n\log(n))$. A little-known fact is that, in the particularly simple case of studying the sublevel sets of a piecewise-linear function on $\mathbb{R}$ or $\mathbb{S}^1$, persistence can actually be computed in linear time. This note presents a simple algorithm that achieves this complexity and an extension to image persistence. An implementation is available in Gudhi.

cs.CG

Numerical Simulation of Transdermal Insulin Delivery Using a Coated Microneedle in a 2D Skin Model

In this work, we present a computational model to investigate transdermal insulin delivery using coated microneedles. A detailed skin geometry incorporating a coated microneedles was developed to analyze insulin release through the different skin layers and to evaluate the influence of key transport parameters. The model represents the major skin layers: the stratum corneum, viable epidermis, and dermis. Unstructured grids were used to achieve a reliable resolution of the model. The simulations provide insights into the permeation of insulin from the coated microneedles and the transport and distribution across the different skin layers. Finally, the simulation results were compared with experimental data to evaluate the predictive capability of the model.

cs.CG

Arranging circles of radii 1,2,...,n around a central circle: a Supnick TSP and certified finite optima

We study a discrete-geometric optimization problem: circles of radii $1,2,\dots,n$ are all externally tangent to a central circle, and the central radius $R$ is minimized over cyclic orders of the surrounding circles. We prove that the chain-ordering component is governed by a fixed Supnick/anti-Monge traveling-salesman order. For every $R$, the angular-separation matrix is symmetric anti-Monge, so Supnick's theorem gives one minimizing cyclic order, independent of $R$. This proves the conjectured "pyramid" order optimal whenever the corresponding chain necklace is geometrically realizable, and gives an unconditional lower bound in all cases. Full geometric feasibility can fail because non-adjacent circle constraints are not captured by the chain equation; from $n=8$ the smallest circle can become a floating circle tangent only to the central circle. We formulate the full problem as a circular system of pairwise angular constraints, equivalently a simple temporal network, and certify global optima for $3\le n\le14$ using branch-and-bound plus an independent 50-digit verifier. Continuation of the floating-circle pattern beyond that range remains conjectural. The v1 conjecture $R^\ast(n)=n^2/8(1+o(1))$ has been disproved by subsequent work (see the cited standalone sequel); this correction does not invalidate the finite results. The repository contains the saved certificate artifacts, verifier, and reproducibility commands.

cs.CG