Showing 1–42 of 42 results for author: Sheffer, A

NeuralCMS: A deep learning approach to study Jupiter's interior

Authors: Maayan Ziv, Eli Galanti, Amir Sheffer, Saburo Howard, Tristan Guillot, Yohai Kaspi

Abstract: NASA's Juno mission provided exquisite measurements of Jupiter's gravity field that together with the Galileo entry probe atmospheric measurements constrains the interior structure of the giant planet. Inferring its interior structure range remains a challenging inverse problem requiring a computationally intensive search of combinations of various planetary properties, such as the cloud-level tem… ▽ More NASA's Juno mission provided exquisite measurements of Jupiter's gravity field that together with the Galileo entry probe atmospheric measurements constrains the interior structure of the giant planet. Inferring its interior structure range remains a challenging inverse problem requiring a computationally intensive search of combinations of various planetary properties, such as the cloud-level temperature, composition, and core features, requiring the computation of ~10^9 interior models. We propose an efficient deep neural network (DNN) model to generate high-precision wide-ranged interior models based on the very accurate but computationally demanding concentric MacLaurin spheroid (CMS) method. We trained a sharing-based DNN with a large set of CMS results for a four-layer interior model of Jupiter, including a dilute core, to accurately predict the gravity moments and mass, given a combination of interior features. We evaluated the performance of the trained DNN (NeuralCMS) to inspect its predictive limitations. NeuralCMS shows very good performance in predicting the gravity moments, with errors comparable with the uncertainty due to differential rotation, and a very accurate mass prediction. This allowed us to perform a broad parameter space search by computing only ~10^4 actual CMS interior models, resulting in a large sample of plausible interior structures, and reducing the computation time by a factor of 10^5. Moreover, we used a DNN explainability algorithm to analyze the impact of the parameters setting the interior model on the predicted observables, providing information on their nonlinear relation. △ Less

Submitted 15 May, 2024; originally announced May 2024.

Comments: 8 pages, 6 figures, 4 tables, accepted for publication in A&A

Structural Szemerédi-Trotter for Lattices and their Generalizations

Authors: Shival Dasu, Adam Sheffer, Junxuan Shen

Abstract: We completely characterize point--line configurations with $Θ(n^{4/3})$ incidences when the point set is a section of the integer lattice. This can be seen as the main special case of the structural Szemerédi-Trotter problem. We also derive a partial characterization for several generalizations: (i) We rule out the concurrent lines case when the point set is a Cartesian product of an arithmetic pr… ▽ More We completely characterize point--line configurations with $Θ(n^{4/3})$ incidences when the point set is a section of the integer lattice. This can be seen as the main special case of the structural Szemerédi-Trotter problem. We also derive a partial characterization for several generalizations: (i) We rule out the concurrent lines case when the point set is a Cartesian product of an arithmetic progression and an arbitrary set. (ii) We study the case of a Cartesian product where one or both sets are generalized arithmetic progression. Our proofs rely on deriving properties of multiplicative energies. △ Less

Submitted 29 September, 2023; originally announced October 2023.

Neural Parametric Surfaces for Shape Modeling

Authors: Lei Yang, Yongqing Liang, Xin Li, Congyi Zhang, Guying Lin, Alla Sheffer, Scott Schaefer, John Keyser, Wen** Wang

Abstract: The recent surge of utilizing deep neural networks for geometric processing and shape modeling has opened up exciting avenues. However, there is a conspicuous lack of research efforts on using powerful neural representations to extend the capabilities of parametric surfaces, which are the prevalent surface representations in product design, CAD/CAM, and computer animation. We present Neural Parame… ▽ More The recent surge of utilizing deep neural networks for geometric processing and shape modeling has opened up exciting avenues. However, there is a conspicuous lack of research efforts on using powerful neural representations to extend the capabilities of parametric surfaces, which are the prevalent surface representations in product design, CAD/CAM, and computer animation. We present Neural Parametric Surfaces, the first piecewise neural surface representation that allows coarse patch layouts of arbitrary $n$-sided surface patches to model complex surface geometries with high precision, offering greater flexibility over traditional parametric surfaces. By construction, this new surface representation guarantees $G^0$ continuity between adjacent patches and empirically achieves $G^1$ continuity, which cannot be attained by existing neural patch-based methods. The key ingredient of our neural parametric surface is a learnable feature complex $\mathcal{C}$ that is embedded in a high-dimensional space $\mathbb{R}^D$ and topologically equivalent to the patch layout of the surface; each face cell of the complex is defined by interpolating feature vectors at its vertices. The learned feature complex is mapped by an MLP-encoded function $f:\mathcal{C} \rightarrow \mathcal{S}$ to produce the neural parametric surface $\mathcal{S}$. We present a surface fitting algorithm that optimizes the feature complex $\mathcal{C}$ and trains the neural map** $f$ to reconstruct given target shapes with high accuracy. We further show that the proposed representation along with a compact-size neural net can learn a plausible shape space from a shape collection, which can be used for shape interpolation or shape completion from noisy and incomplete input data. Extensive experiments show that neural parametric surfaces offer greater modeling capabilities than traditional parametric surfaces. △ Less

Submitted 18 September, 2023; originally announced September 2023.

Comments: 17 pages, 16 figures

CN-DHF: Compact Neural Double Height-Field Representations of 3D Shapes

Authors: Eric Hedlin, **fan Yang, Nicholas Vining, Kwang Moo Yi, Alla Sheffer

Abstract: We introduce CN-DHF (Compact Neural Double-Height-Field), a novel hybrid neural implicit 3D shape representation that is dramatically more compact than the current state of the art. Our representation leverages Double-Height-Field (DHF) geometries, defined as closed shapes bounded by a pair of oppositely oriented height-fields that share a common axis, and leverages the following key observations:… ▽ More We introduce CN-DHF (Compact Neural Double-Height-Field), a novel hybrid neural implicit 3D shape representation that is dramatically more compact than the current state of the art. Our representation leverages Double-Height-Field (DHF) geometries, defined as closed shapes bounded by a pair of oppositely oriented height-fields that share a common axis, and leverages the following key observations: DHFs can be compactly encoded as 2D neural implicits that capture the maximal and minimal heights along the DHF axis; and typical closed 3D shapes are well represented as intersections of a very small number (three or fewer) of DHFs. We represent input geometries as CNDHFs by first computing the set of DHFs whose intersection well approximates each input shape, and then encoding these DHFs via neural fields. Our approach delivers high-quality reconstructions, and reduces the reconstruction error by a factor of 2:5 on average compared to the state-of-the-art, given the same parameter count or storage capacity. Compared to the best-performing alternative, our method produced higher accuracy models on 94% of the 400 input shape and parameter count combinations tested. △ Less

Submitted 26 April, 2023; v1 submitted 29 March, 2023; originally announced April 2023.

Comments: Eric Hedlin and **fan Yang contributed equally to this work

Distinct Distances in $R^3$ Between Quadratic and Orthogonal Curves

Authors: Toby Aldape, **gyi Liu, Gregory Pylypovych, Adam Sheffer, Minh-Quan Vo

Abstract: We study the minimum number of distinct distances between point sets on two curves in $R^3$. Assume that one curve contains $m$ points and the other $n$ points. Our main results: (a) When the curves are conic sections, we characterize all cases where the number of distances is $O(m+n)$. This includes new constructions for points on two parabolas, two ellipses, and one ellipse and one hyperbola.… ▽ More We study the minimum number of distinct distances between point sets on two curves in $R^3$. Assume that one curve contains $m$ points and the other $n$ points. Our main results: (a) When the curves are conic sections, we characterize all cases where the number of distances is $O(m+n)$. This includes new constructions for points on two parabolas, two ellipses, and one ellipse and one hyperbola. In all other cases, the number of distances is $Ω(\min\{m^{2/3}n^{2/3},m^2,n^2\})$. (b) When the curves are not necessarily algebraic but smooth and contained in perpendicular planes, we characterize all cases where the number of distances is $O(m+n)$. This includes a surprising new construction of non-algebraic curves that involve logarithms. In all other cases, the number of distances is $Ω(\min\{m^{2/3}n^{2/3},m^2,n^2\})$. △ Less

Submitted 17 March, 2023; originally announced March 2023.

The constant of point-line incidence constructions

Authors: Martin Balko, Adam Sheffer, Ruiwen Tang

Abstract: We study a lower bound for the constant of the Szemerédi-Trotter theorem. In particular, we show that a recent infinite family of point-line configurations satisfies $I({\mathcal P},{\mathcal L})\ge (c+o(1)) |{\mathcal P}|^{2/3}|{\mathcal L}|^{2/3}$, with $c\approx 1.27$. Our technique is based on studying a variety of properties of Euler's totient function. We also improve the current best consta… ▽ More We study a lower bound for the constant of the Szemerédi-Trotter theorem. In particular, we show that a recent infinite family of point-line configurations satisfies $I({\mathcal P},{\mathcal L})\ge (c+o(1)) |{\mathcal P}|^{2/3}|{\mathcal L}|^{2/3}$, with $c\approx 1.27$. Our technique is based on studying a variety of properties of Euler's totient function. We also improve the current best constant for Elekes's construction from 1 to about 1.27. From an expository perspective, this is the first full analysis of the constant of Erd\H os's construction. △ Less

Submitted 10 October, 2022; originally announced October 2022.

CreatureShop: Interactive 3D Character Modeling and Texturing from a Single Color Drawing

Authors: Congyi Zhang, Lei Yang, Nenglun Chen, Nicholas Vining, Alla Sheffer, Francis C. M. Lau, Guo** Wang, Wen** Wang

Abstract: Creating 3D shapes from 2D drawings is an important problem with applications in content creation for computer animation and virtual reality. We introduce a new sketch-based system, CreatureShop, that enables amateurs to create high-quality textured 3D character models from 2D drawings with ease and efficiency. CreatureShop takes an input bitmap drawing of a character (such as an animal or other c… ▽ More Creating 3D shapes from 2D drawings is an important problem with applications in content creation for computer animation and virtual reality. We introduce a new sketch-based system, CreatureShop, that enables amateurs to create high-quality textured 3D character models from 2D drawings with ease and efficiency. CreatureShop takes an input bitmap drawing of a character (such as an animal or other creature), depicted from an arbitrary descriptive pose and viewpoint, and creates a 3D shape with plausible geometric details and textures from a small number of user annotations on the 2D drawing. Our key contributions are a novel oblique view modeling method, a set of systematic approaches for producing plausible textures on the invisible or occluded parts of the 3D character (as viewed from the direction of the input drawing), and a user-friendly interactive system. We validate our system and methods by creating numerous 3D characters from various drawings, and compare our results with related works to show the advantages of our method. We perform a user study to evaluate the usability of our system, which demonstrates that our system is a practical and efficient approach to create fully-textured 3D character models for novice users. △ Less

Submitted 10 August, 2022; originally announced August 2022.

Comments: This is the author's version of the article published in IEEE Transactions on Visualization and Computer Graphics, 2022

Hex-Mesh Generation and Processing: a Survey

Authors: Nico Pietroni, Marcel Campen, Alla Sheffer, Gianmarco Cherchi, David Bommes, Xifeng Gao, Riccardo Scateni, Franck Ledoux, Jean-Francois Remacle, Marco Livesu

Abstract: In this article, we provide a detailed survey of techniques for hexahedral mesh generation. We cover the whole spectrum of alternative approaches to mesh generation, as well as post processing algorithms for connectivity editing and mesh optimization. For each technique, we highlight capabilities and limitations, also pointing out the associated unsolved challenges. Recent relaxed approaches, aimi… ▽ More In this article, we provide a detailed survey of techniques for hexahedral mesh generation. We cover the whole spectrum of alternative approaches to mesh generation, as well as post processing algorithms for connectivity editing and mesh optimization. For each technique, we highlight capabilities and limitations, also pointing out the associated unsolved challenges. Recent relaxed approaches, aiming to generate not pure-hex but hex-dominant meshes, are also discussed. The required background, pertaining to geometrical as well as combinatorial aspects, is introduced along the way. △ Less

Submitted 25 February, 2022; originally announced February 2022.

A structural Szemerédi-Trotter Theorem for Cartesian Products

Authors: Adam Sheffer, Olivine Silier

Abstract: We study configurations of $n$ points and $n$ lines that form $Θ(n^{4/3})$ incidences, when the point set is a Cartesian product. We prove structural properties of such configurations, such that there exist many families of parallel lines or many families of concurrent lines. We show that the line slopes have multiplicative structure or that many sets of $y$-intercepts have additive structure. We… ▽ More We study configurations of $n$ points and $n$ lines that form $Θ(n^{4/3})$ incidences, when the point set is a Cartesian product. We prove structural properties of such configurations, such that there exist many families of parallel lines or many families of concurrent lines. We show that the line slopes have multiplicative structure or that many sets of $y$-intercepts have additive structure. We introduce the first infinite family of configurations with $Θ(n^{4/3})$ incidences. We also derive a new variant of a different structural point-line result of Elekes. Our techniques are based on the concept of line energy. Recently, Rudnev and Shkredov introduced this energy and showed how it is connected to point-line incidences. We also prove that their bound is tight up to sub-polynomial factors. △ Less

Submitted 8 October, 2022; v1 submitted 18 October, 2021; originally announced October 2021.

StripBrush: A Constraint-Relaxed 3D Brush Reduces Physical Effort and Enhances the Quality of Spatial Drawing

Authors: Enrique Rosales, Jafet Rodriguez, Chrystiano Araújo, Nicholas Vining, Dongwook Yoon, Alla Sheffer

Abstract: Spatial drawing using ruled-surface brush strokes is a popular mode of content creation in immersive VR, yet little is known about the usability of existing spatial drawing interfaces or potential improvements. We address these questions in a three-phase study. (1) Our exploratory need-finding study (N=8) indicates that popular spatial brushes require users to perform large wrist motions, causing… ▽ More Spatial drawing using ruled-surface brush strokes is a popular mode of content creation in immersive VR, yet little is known about the usability of existing spatial drawing interfaces or potential improvements. We address these questions in a three-phase study. (1) Our exploratory need-finding study (N=8) indicates that popular spatial brushes require users to perform large wrist motions, causing physical strain. We speculate that this is partly due to constraining users to align their 3D controllers with their intended stroke normal orientation. (2) We designed and implemented a new brush interface that significantly reduces the physical effort and wrist motion involved in VR drawing, with the additional benefit of increasing drawing accuracy. We achieve this by relaxing the normal alignment constraints, allowing users to control stroke rulings, and estimating normals from them instead. (3) Our comparative evaluation of StripBrush (N=17) against the traditional brush shows that StripBrush requires significantly less physical effort and allows users to more accurately depict their intended shapes while offering competitive ease-of-use and speed. △ Less

Submitted 8 September, 2021; originally announced September 2021.

Comments: 12 pages, 13 figures, for associated video and supplementary files, see https://www.cs.ubc.ca/labs/imager/tr/2021/StripBrush/

MSC Class: 68Uxx ACM Class: I.3.4; H.5.2

Distinct distances on non-ruled surfaces and between circles

Authors: Surya Mathialagan, Adam Sheffer

Abstract: We improve the current best bound for distinct distances on non-ruled algebraic surfaces in ${\mathbb R}^3$. In particular, we show that $n$ points on such a surface span $Ω\left(n^{32/39-\varepsilon}\right)$ distinct distances, for any $\varepsilon>0$. Our proof adapts the proof of Székely for the planar case, which is based on the crossing lemma. As part of our proof for distinct distances on… ▽ More We improve the current best bound for distinct distances on non-ruled algebraic surfaces in ${\mathbb R}^3$. In particular, we show that $n$ points on such a surface span $Ω\left(n^{32/39-\varepsilon}\right)$ distinct distances, for any $\varepsilon>0$. Our proof adapts the proof of Székely for the planar case, which is based on the crossing lemma. As part of our proof for distinct distances on surfaces, we also obtain new results for distinct distances between circles in ${\mathbb R}^3$. Consider point sets ${\mathcal P}_1$ and ${\mathcal P}_2$ of respective sizes $m$ and $n$, such that each set lies on a distinct circle in ${\mathbb R}^3$. We characterize the cases when the number of distinct distances between the two sets can be $O(m+n)$. This includes a new configuration with a small number of distances. In any other case, we prove that the number of distinct distances is $Ω\left(\min\left\{m^{2/3}n^{2/3},m^2,n^2\right\}\right)$. △ Less

Submitted 28 December, 2021; v1 submitted 16 November, 2020; originally announced November 2020.

Distinct distances in the complex plane

Authors: Adam Sheffer, Joshua Zahl

Abstract: We prove that if $P$ is a set of $n$ points in $\mathbb{C}^2$, then either the points in $P$ determine $Ω(n^{1-ε})$ complex distances, or $P$ is contained in a line with slope $\pm i$. If the latter occurs then each pair of points in $P$ have complex distance 0. We prove that if $P$ is a set of $n$ points in $\mathbb{C}^2$, then either the points in $P$ determine $Ω(n^{1-ε})$ complex distances, or $P$ is contained in a line with slope $\pm i$. If the latter occurs then each pair of points in $P$ have complex distance 0. △ Less

Submitted 15 June, 2020; originally announced June 2020.

Comments: 41 pages, 0 figures

Journal ref: Trans. Amer. Math. Soc. 374 (2021), 6691-6725

Front2Back: Single View 3D Shape Reconstruction via Front to Back Prediction

Authors: Yuan Yao, Nico Schertler, Enrique Rosales, Helge Rhodin, Leonid Sigal, Alla Sheffer

Abstract: Reconstruction of a 3D shape from a single 2D image is a classical computer vision problem, whose difficulty stems from the inherent ambiguity of recovering occluded or only partially observed surfaces. Recent methods address this challenge through the use of largely unstructured neural networks that effectively distill conditional map** and priors over 3D shape. In this work, we induce structur… ▽ More Reconstruction of a 3D shape from a single 2D image is a classical computer vision problem, whose difficulty stems from the inherent ambiguity of recovering occluded or only partially observed surfaces. Recent methods address this challenge through the use of largely unstructured neural networks that effectively distill conditional map** and priors over 3D shape. In this work, we induce structure and geometric constraints by leveraging three core observations: (1) the surface of most everyday objects is often almost entirely exposed from pairs of typical opposite views; (2) everyday objects often exhibit global reflective symmetries which can be accurately predicted from single views; (3) opposite orthographic views of a 3D shape share consistent silhouettes. Following these observations, we first predict orthographic 2.5D visible surface maps (depth, normal and silhouette) from perspective 2D images, and detect global reflective symmetries in this data; second, we predict the back facing depth and normal maps using as input the front maps and, when available, the symmetric reflections of these maps; and finally, we reconstruct a 3D mesh from the union of these maps using a surface reconstruction method best suited for this data. Our experiments demonstrate that our framework outperforms state-of-the art approaches for 3D shape reconstructions from 2D and 2.5D data in terms of input fidelity and details preservation. Specifically, we achieve 12% better performance on average in ShapeNet benchmark dataset, and up to 19% for certain classes of objects (e.g., chairs and vessels). △ Less

Submitted 31 January, 2020; v1 submitted 22 December, 2019; originally announced December 2019.

SurfaceBrush: From Virtual Reality Drawings to Manifold Surfaces

Authors: Enrique Rosales, Jafet Rodriguez, Alla Sheffer

Abstract: Popular Virtual Reality (VR) tools allow users to draw varying-width, ribbon-like 3D brush strokes by moving a hand-held controller in 3D space. Artists frequently use dense collections of such strokes to draw virtual 3D shapes. We propose SurfaceBrush, a surfacing method that converts such VR drawings into user-intended manifold free-form 3D surfaces, providing a novel approach for modeling 3D sh… ▽ More Popular Virtual Reality (VR) tools allow users to draw varying-width, ribbon-like 3D brush strokes by moving a hand-held controller in 3D space. Artists frequently use dense collections of such strokes to draw virtual 3D shapes. We propose SurfaceBrush, a surfacing method that converts such VR drawings into user-intended manifold free-form 3D surfaces, providing a novel approach for modeling 3D shapes. The inputs to our method consist of dense collections of artist-drawn stroke ribbons described by the positions and normals of their central polylines, and ribbon widths. These inputs are highly distinct from those handled by existing surfacing frameworks and exhibit different sparsity and error patterns, necessitating a novel surfacing approach. We surface the input stroke drawings by identifying and leveraging local coherence between nearby artist strokes. In particular, we observe that strokes intended to be adjacent on the artist imagined surface often have similar tangent directions along their respective polylines. We leverage this local stroke direction consistency by casting the computation of the user-intended manifold surface as a constrained matching problem on stroke polyline vertices and edges. We first detect and smoothly connect adjacent similarly-directed sequences of stroke edges producing one or more manifold partial surfaces. We then complete the surfacing process by identifying and connecting adjacent similarly directed edges along the borders of these partial surfaces. We confirm the usability of the SurfaceBrush interface and the validity of our drawing analysis via an observational study. We validate our stroke surfacing algorithm by demonstrating an array of manifold surfaces computed by our framework starting from a range of inputs of varying complexity, and by comparing our outputs to reconstructions computed using alternative means. △ Less

Submitted 28 April, 2019; originally announced April 2019.

Comments: Accepted at SIGGRAPH 2019

Surface2Volume: Surface Segmentation Conforming Assemblable Volumetric Partition

Authors: Chrystiano Araújo, Daniela Cabiddu, Marco Attene, Marco Livesu, Nicholas Vining, Alla Sheffer

Abstract: Users frequently seek to fabricate objects whose outer surfaces consist of regions with different surface attributes, such as color or material. Manufacturing such objects in a single piece is often challenging or even impossible. The alternative is to partition them into single-attribute volumetric parts that can be fabricated separately and then assembled to form the target object. Facilitating… ▽ More Users frequently seek to fabricate objects whose outer surfaces consist of regions with different surface attributes, such as color or material. Manufacturing such objects in a single piece is often challenging or even impossible. The alternative is to partition them into single-attribute volumetric parts that can be fabricated separately and then assembled to form the target object. Facilitating this approach requires partitioning the input model into parts that conform to the surface segmentation and that can be moved apart with no collisions. We propose Surface2Volume, a partition algorithm capable of producing such assemblable parts, each of which is affiliated with a single attribute, the outer surface of whose assembly conforms to the input surface geometry and segmentation. In computing the partition we strictly enforce conformity with surface segmentation and assemblability, and optimize for ease of fabrication by minimizing part count, promoting part simplicity, and simplifying assembly sequencing. We note that computing the desired partition requires solving for three types of variables: per-part assembly trajectories, partition topology, i.e. the connectivity of the interface surfaces separating the different parts, and the geometry, or location, of these interfaces. We efficiently produce the desired partitions by addressing one type of variables at a time: first computing the assembly trajectories, then determining interface topology, and finally computing interface locations that allow parts assemblability. We algorithmically identify inputs that necessitate sequential assembly, and partition these inputs gradually by computing and disassembling a subset of assemblable parts at a time. We demonstrate our method.... △ Less

Submitted 23 April, 2019; originally announced April 2019.

Comments: Accepted at SIGGRAPH 2019. Chrystiano Araújo and Daniela Cabiddu are joint first authors

Loopy Cuts: Surface-Field Aware Block Decomposition for Hex-Meshing

Authors: Marco Livesu, Nico Pietroni, Enrico Puppo, Alla Sheffer, Paolo Cignoni

Abstract: We present a new fully automatic block-decomposition hexahedral meshing algorithm capable of producing high quality meshes that strictly preserve feature curve networks on the input surface and align with an input surface cross-field. We produce all-hex meshes on the vast majority of inputs, and introduce localized non-hex elements only when the surface feature network necessitates those. The inpu… ▽ More We present a new fully automatic block-decomposition hexahedral meshing algorithm capable of producing high quality meshes that strictly preserve feature curve networks on the input surface and align with an input surface cross-field. We produce all-hex meshes on the vast majority of inputs, and introduce localized non-hex elements only when the surface feature network necessitates those. The input to our framework is a closed surface with a collection of geometric or user-demarcated feature curves and a feature-aligned surface cross-field. Its output is a compact set of blocks whose edges interpolate these features and are loosely aligned with this cross-field. We obtain this block decomposition by cutting the input model using a collection of simple cutting surfaces bounded by closed surface loops. The set of cutting loops spans the input feature curves, ensuring feature preservation, and is obtained using a field-space sampling process. The computed loops are uniformly distributed across the surface, cross orthogonally, and are loosely aligned with the cross-field directions, inducing the desired block decomposition. We validate our method by applying it to a large range of complex inputs and comparing our results to those produced by state-of-the-art alternatives. Contrary to prior approaches, our framework consistently produces high-quality field aligned meshes while strictly preserving geometric or user-specified surface features. △ Less

Submitted 24 June, 2019; v1 submitted 26 March, 2019; originally announced March 2019.

On the Number of Discrete Chains

Authors: Eyvindur Ari Palsson, Steven Senger, Adam Sheffer

Abstract: We study a generalization of Erd\H os's unit distances problem to chains of $k$ distances. Given $\mathcal P,$ a set of $n$ points, and a sequence of distances $(δ_1,\ldots,δ_k)$, we study the maximum possible number of tuples of distinct points $(p_1,\ldots,p_{k+1})\in \mathcal P^{k+1}$ satisfying $|p_j p_{j+1}|=δ_j$ for every $1\leq j \leq k$. We study the problem in $\mathbb R^2$ and in… ▽ More We study a generalization of Erd\H os's unit distances problem to chains of $k$ distances. Given $\mathcal P,$ a set of $n$ points, and a sequence of distances $(δ_1,\ldots,δ_k)$, we study the maximum possible number of tuples of distinct points $(p_1,\ldots,p_{k+1})\in \mathcal P^{k+1}$ satisfying $|p_j p_{j+1}|=δ_j$ for every $1\leq j \leq k$. We study the problem in $\mathbb R^2$ and in $\mathbb R^3$, and derive upper and lower bounds for this family of problems. △ Less

Submitted 21 February, 2019; originally announced February 2019.

Comments: 9 pages, 1 figure

MSC Class: 52C10; 51A20

Sum-Product Phenomena for Planar Hypercomplex Numbers

Authors: Matthew Hase-Liu, Adam Sheffer

Abstract: We study the sum-product problem for the planar hypercomplex numbers: the dual numbers and double numbers. These number systems are similar to the complex numbers, but it turns out that they have a very different combinatorial behavior. We identify parameters that control the behavior of these problems, and derive sum-product bounds that depend on these parameters. For the dual numbers we expose a… ▽ More We study the sum-product problem for the planar hypercomplex numbers: the dual numbers and double numbers. These number systems are similar to the complex numbers, but it turns out that they have a very different combinatorial behavior. We identify parameters that control the behavior of these problems, and derive sum-product bounds that depend on these parameters. For the dual numbers we expose a range where the minimum value of $\max\{|A+A|,|AA|\}$ is neither close to $|A|$ nor to $|A|^2$. To obtain our main sum-product bound, we extend Elekes' sum-product technique that relies on point-line incidences. Our extension is significantly more involved than the original proof, and in some sense runs the original technique a few times in a bootstrap** manner. We also study point-line incidences in the dual plane and in the double plane, develo** analogs of the Szemeredi-Trotter theorem. As in the case of the sum-product problem, it turns out that the dual and double variants behave differently than the complex and real ones. △ Less

Submitted 22 December, 2018; originally announced December 2018.

A Construction for Difference Sets with Local Properties

Authors: Sara Fish, Ben Lund, Adam Sheffer

Abstract: We construct finite sets of real numbers that have a small difference set and strong local properties. In particular, we construct a set $A$ of $n$ real numbers such that $|A-A|=n^{\log_2 3}$ and that every subset $A'\subseteq A$ of size $k$ satisfies $|A'-A'|\ge k^{\log_2 3}$. This construction leads to the first non-trivial upper bound for the problem of distinct distances with local properties. We construct finite sets of real numbers that have a small difference set and strong local properties. In particular, we construct a set $A$ of $n$ real numbers such that $|A-A|=n^{\log_2 3}$ and that every subset $A'\subseteq A$ of size $k$ satisfies $|A'-A'|\ge k^{\log_2 3}$. This construction leads to the first non-trivial upper bound for the problem of distinct distances with local properties. △ Less

Submitted 18 December, 2018; originally announced December 2018.

Local Properties via Color Energy Graphs and Forbidden Configurations

Authors: Sara Fish, Cosmin Pohoata, Adam Sheffer

Abstract: The local properties problem of Erdős and Shelah generalizes many Ramsey problems and some distinct distances problems. In this work, we derive a variety of new bounds for the local properties problem and its variants. We do this by continuing to develop the color energy technique --- a variant of the concept of additive energy from Additive Combinatorics. In particular, we generalize the concept… ▽ More The local properties problem of Erdős and Shelah generalizes many Ramsey problems and some distinct distances problems. In this work, we derive a variety of new bounds for the local properties problem and its variants. We do this by continuing to develop the color energy technique --- a variant of the concept of additive energy from Additive Combinatorics. In particular, we generalize the concept of color energy to higher color energies, and combine these with Extremal Graph Theory results about graphs with no cycles or subdivisions of size $k$. △ Less

Submitted 21 October, 2018; originally announced October 2018.

Local Properties in Colored Graphs, Distinct Distances, and Difference Sets

Authors: Cosmin Pohoata, Adam Sheffer

Abstract: We study Extremal Combinatorics problems where local properties are used to derive global properties. That is, we consider a given configuration where every small piece of the configuration satisfies some restriction, and use this local property to derive global properties of the entire configuration. We study one such Ramsey problem of Erdős and Shelah, where the configurations are complete graph… ▽ More We study Extremal Combinatorics problems where local properties are used to derive global properties. That is, we consider a given configuration where every small piece of the configuration satisfies some restriction, and use this local property to derive global properties of the entire configuration. We study one such Ramsey problem of Erdős and Shelah, where the configurations are complete graphs with colored edges and every small induced subgraph contains many distinct colors. Our bounds for this Ramsey problem show that the known probabilistic construction is tight in various cases. We study one Discrete Geometry variant, also by Erdős, where we have a set of points in the plane such that every small subset spans many distinct distances. Finally, we consider an Additive Combinatorics problem, where we are given sets of real numbers such that every small subset has a large difference set. We derive new bounds for all of the above problems. Our proof technique is based on introducing an non-algebraic variant of additive energies. This abstract energy variant is based on edge colors in graphs. △ Less

Submitted 22 July, 2018; v1 submitted 30 June, 2018; originally announced July 2018.

Comments: Subsumes part of arXiv:1709.06696. To appear in Combinatorica

A General Incidence Bound in ${\mathbb R}^d$ and Related Problems

Authors: Thao Do, Adam Sheffer

Abstract: We derive a general upper bound for the number of incidences with $k$-dimensional varieties in ${\mathbb R}^d$. The leading term of this new bound generalizes previous bounds for the special cases of $k=1, k=d-1,$ and $k= d/2$, to every $1\le k <d$. We derive lower bounds showing that this leading term is tight in various cases. We derive a bound for incidences with transverse varieties, generaliz… ▽ More We derive a general upper bound for the number of incidences with $k$-dimensional varieties in ${\mathbb R}^d$. The leading term of this new bound generalizes previous bounds for the special cases of $k=1, k=d-1,$ and $k= d/2$, to every $1\le k <d$. We derive lower bounds showing that this leading term is tight in various cases. We derive a bound for incidences with transverse varieties, generalizing a result of Solymosi and Tao. Finally, we derive a bound for incidences with hyperplanes in ${\mathbb C}^d$, which is also tight in some cases. (In both ${\mathbb R}^d$ and ${\mathbb C}^d$, the bounds are tight up to sub-polynomial factors.) To prove our incidence bounds, we define the \emph{dimension ratio} of an incidence problem. This ratio provides an intuitive approach for deriving incidence bounds and isolating the main difficulties in each proof. We rely on the dimension ratio both in ${\mathbb R}^d$ and in ${\mathbb C}^d$, and also in some of our lower bounds. △ Less

Submitted 11 September, 2018; v1 submitted 11 June, 2018; originally announced June 2018.

Higher Distance Energies and Expanders with Structure

Authors: Cosmin Pohoata, Adam Sheffer

Abstract: We adapt the idea of higher moment energies, originally used in Additive Combinatorics, so that it would apply to problems in Discrete Geometry. This new approach leads to a variety of new results, such as (i) Improved bounds for the problem of distinct distances with local properties. (ii) Improved bounds for problems involving expanding polynomials in ${\mathbb R}[x,y]$ (Elekes-Ronyai type b… ▽ More We adapt the idea of higher moment energies, originally used in Additive Combinatorics, so that it would apply to problems in Discrete Geometry. This new approach leads to a variety of new results, such as (i) Improved bounds for the problem of distinct distances with local properties. (ii) Improved bounds for problems involving expanding polynomials in ${\mathbb R}[x,y]$ (Elekes-Ronyai type bounds) when one or two of the sets have structure. Higher moment energies seem to be related to additional problems in Discrete Geometry, to lead to new elegant theory, and to raise new questions. △ Less

Submitted 19 September, 2017; originally announced September 2017.

A Reduction for the Distinct Distances Problem in ${\mathbb R}^d$

Authors: Sam Bardwell-Evans, Adam Sheffer

Abstract: We introduce a reduction from the distinct distances problem in ${\mathbb R}^d$ to an incidence problem with $(d-1)$-flats in ${\mathbb R}^{2d-1}$. Deriving the conjectured bound for this incidence problem (the bound predicted by the polynomial partitioning technique) would lead to a tight bound for the distinct distances problem in ${\mathbb R}^d$. The reduction provides a large amount of informa… ▽ More We introduce a reduction from the distinct distances problem in ${\mathbb R}^d$ to an incidence problem with $(d-1)$-flats in ${\mathbb R}^{2d-1}$. Deriving the conjectured bound for this incidence problem (the bound predicted by the polynomial partitioning technique) would lead to a tight bound for the distinct distances problem in ${\mathbb R}^d$. The reduction provides a large amount of information about the $(d-1)$-flats, and a framework for deriving more restrictions that these satisfy. Our reduction is based on introducing a Lie group that is a double cover of the special Euclidean group. This group can be seen as a variant of the Spin group, and a large part of our analysis involves studying its properties. △ Less

Submitted 5 April, 2019; v1 submitted 31 May, 2017; originally announced May 2017.

Comments: To appear in Journal of Combinatorial Theory series A. In the second revision, Section 7 was added

Incidences with curves in R^d

Authors: Micha Sharir, Adam Sheffer, Noam Solomon

Abstract: We prove that the number of incidences between $m$ points and $n$ bounded-degree curves with $k$ degrees of freedom in ${\mathbb R}^d$ is \[ I(m,n) =O\left(m^{\frac{k}{dk-d+1}+\varepsilon}n^{\frac{dk-d}{dk-d+1}}+ \sum_{j=2}^{d-1} m^{\frac{k}{jk-j+1}+\varepsilon}n^{\frac{d(j-1)(k-1)}{(d-1)(jk-j+1)}}q_j^{\frac{(d-j)(k-1)}{(d-1)(jk-j+1)}}+m+n\right), \] for any $\varepsilon>0$, where the constant of… ▽ More We prove that the number of incidences between $m$ points and $n$ bounded-degree curves with $k$ degrees of freedom in ${\mathbb R}^d$ is \[ I(m,n) =O\left(m^{\frac{k}{dk-d+1}+\varepsilon}n^{\frac{dk-d}{dk-d+1}}+ \sum_{j=2}^{d-1} m^{\frac{k}{jk-j+1}+\varepsilon}n^{\frac{d(j-1)(k-1)}{(d-1)(jk-j+1)}}q_j^{\frac{(d-j)(k-1)}{(d-1)(jk-j+1)}}+m+n\right), \] for any $\varepsilon>0$, where the constant of proportionality depends on $k, \varepsilon$ and $d$, provided that no $j$-dimensional surface of degree $\le c_j(k,d,\varepsilon)$, a constant parameter depending on $k$, $d$, $j$, and $\varepsilon$, contains more than $q_j$ input curves, and that the $q_j$'s satisfy certain mild conditions. This bound generalizes a recent result of Sharir and Solomon concerning point-line incidences in four dimensions (where $d=4$ and $k=2$), and partly generalizes a recent result of Guth (as well as the earlier bound of Guth and Katz) in three dimensions (Guth's three-dimensional bound has a better dependency on $q_2$). It also improves a recent $d$-dimensional general incidence bound by Fox, Pach, Sheffer, Suk, and Zahl, in the special case of incidences with algebraic curves. Our results are also related to recent works by Dvir and Gopi and by Hablicsek and Scherr concerning rich lines in high-dimensional spaces. △ Less

Submitted 27 December, 2015; originally announced December 2015.

Lower bounds for incidences with hypersurfaces

Authors: Adam Sheffer

Abstract: We present a technique for deriving lower bounds for incidences with hypersurfaces in ${\mathbb R}^d$ with $d\ge 4$. These bounds apply to a large variety of hypersurfaces, such as hyperplanes, hyperspheres, paraboloids, and hypersurfaces of any degree. Beyond being the first non-trivial lower bounds for various incidence problems, our bounds show that some of the known upper bounds for incidenc… ▽ More We present a technique for deriving lower bounds for incidences with hypersurfaces in ${\mathbb R}^d$ with $d\ge 4$. These bounds apply to a large variety of hypersurfaces, such as hyperplanes, hyperspheres, paraboloids, and hypersurfaces of any degree. Beyond being the first non-trivial lower bounds for various incidence problems, our bounds show that some of the known upper bounds for incidence problems in ${\mathbb R}^d$ are tight up to an extra $\varepsilon$ in the exponent. Specifically, for every $m$, $d\ge 4$, and $\varepsilon>0$ there exist $m$ points and $n$ hypersurfaces in ${\mathbb R}^d$ (where $n$ depends on $m$) with no $K_{2,\frac{d-1}{\varepsilon}}$ in the incidence graph and $Ω\left(m^{(2d-2)/(2d-1)}n^{d/(2d-1)-\varepsilon} \right)$ incidences. Moreover, we provide improved lower bounds for the case of no $K_{s,s}$ in the incidence graph, for large constants $s$. Our analysis builds upon ideas from a recent work of Bourgain and Demeter on discrete Fourier restriction to the four- and five-dimensional spheres. Specifically, it is based on studying the additive energy of the integer points in a truncated paraboloid. △ Less

Submitted 4 October, 2016; v1 submitted 10 November, 2015; originally announced November 2015.

Fast domino tileability

Authors: Igor Pak, Adam Sheffer, Martin Tassy

Abstract: Domino tileability is a classical problem in Discrete Geometry, famously solved by Thurston for simply connected regions in nearly linear time in the area. In this paper, we improve upon Thurston's height function approach to a nearly linear time in the perimeter. Domino tileability is a classical problem in Discrete Geometry, famously solved by Thurston for simply connected regions in nearly linear time in the area. In this paper, we improve upon Thurston's height function approach to a nearly linear time in the perimeter. △ Less

Submitted 3 November, 2016; v1 submitted 2 July, 2015; originally announced July 2015.

Comments: Appeared in Discrete Comput. Geom. 56 (2016), 377-394

Point-curve incidences in the complex plane

Authors: Adam Sheffer, Endre Szabó, Joshua Zahl

Abstract: We prove an incidence theorem for points and curves in the complex plane. Given a set of $m$ points in ${\mathbb R}^2$ and a set of $n$ curves with $k$ degrees of freedom, Pach and Sharir proved that the number of point-curve incidences is $O\big(m^{\frac{k}{2k-1}}n^{\frac{2k-2}{2k-1}}+m+n\big)$. We establish the slightly weaker bound… ▽ More We prove an incidence theorem for points and curves in the complex plane. Given a set of $m$ points in ${\mathbb R}^2$ and a set of $n$ curves with $k$ degrees of freedom, Pach and Sharir proved that the number of point-curve incidences is $O\big(m^{\frac{k}{2k-1}}n^{\frac{2k-2}{2k-1}}+m+n\big)$. We establish the slightly weaker bound $O_\varepsilon\big(m^{\frac{k}{2k-1}+\varepsilon}n^{\frac{2k-2}{2k-1}}+m+n\big)$ on the number of incidences between $m$ points and $n$ (complex) algebraic curves in ${\mathbb C}^2$ with $k$ degrees of freedom. We combine tools from algebraic geometry and differential geometry to prove a key technical lemma that controls the number of complex curves that can be contained inside a real hypersurface. This lemma may be of independent interest to other researchers proving incidence theorems over ${\mathbb C}$. △ Less

Submitted 6 February, 2017; v1 submitted 24 February, 2015; originally announced February 2015.

Comments: The proof was significantly simplified, and now relies on the Picard-Lindelof theorem, rather than on foliations

Journal ref: Combinatorica 38(2): 487--499, 2018

Bisector energy and few distinct distances

Authors: Ben Lund, Adam Sheffer, Frank de Zeeuw

Abstract: We introduce the bisector energy of an $n$-point set $P$ in $\mathbb{R}^2$, defined as the number of quadruples $(a,b,c,d)$ from $P$ such that $a$ and $b$ determine the same perpendicular bisector as $c$ and $d$. If no line or circle contains $M(n)$ points of $P$, then we prove that the bisector energy is $O(M(n)^{\frac{2}{5}}n^{\frac{12}{5}+ε} + M(n)n^2).$. We also prove the lower bound… ▽ More We introduce the bisector energy of an $n$-point set $P$ in $\mathbb{R}^2$, defined as the number of quadruples $(a,b,c,d)$ from $P$ such that $a$ and $b$ determine the same perpendicular bisector as $c$ and $d$. If no line or circle contains $M(n)$ points of $P$, then we prove that the bisector energy is $O(M(n)^{\frac{2}{5}}n^{\frac{12}{5}+ε} + M(n)n^2).$. We also prove the lower bound $Ω(M(n)n^2)$, which matches our upper bound when $M(n)$ is large. We use our upper bound on the bisector energy to obtain two rather different results: (i) If $P$ determines $O(n/\sqrt{\log n})$ distinct distances, then for any $0<α\le 1/4$, either there exists a line or circle that contains $n^α$ points of $P$, or there exist $Ω(n^{8/5-12α/5-ε})$ distinct lines that contain $Ω(\sqrt{\log n})$ points of $P$. This result provides new information on a conjecture of Erdős regarding the structure of point sets with few distinct distances. (ii) If no line or circle contains $M(n)$ points of $P$, then the number of distinct perpendicular bisectors determined by $P$ is $Ω(\min\{M(n)^{-2/5}n^{8/5-ε}, M(n)^{-1} n^2\})$. This appears to be the first higher-dimensional example in a framework for studying the expansion properties of polynomials and rational functions over $\mathbb{R}$, initiated by Elekes and Rónyai. △ Less

Submitted 25 November, 2014; originally announced November 2014.

Comments: 18 pages, 2 figures

A semi-algebraic version of Zarankiewicz's problem

Authors: Jacob Fox, János Pach, Adam Sheffer, Andrew Suk, Joshua Zahl

Abstract: A bipartite graph $G$ is semi-algebraic in $\mathbb{R}^d$ if its vertices are represented by point sets $P,Q \subset \mathbb{R}^d$ and its edges are defined as pairs of points $(p,q) \in P\times Q$ that satisfy a Boolean combination of a fixed number of polynomial equations and inequalities in $2d$ coordinates. We show that for fixed $k$, the maximum number of edges in a $K_{k,k}$-free semi-algebr… ▽ More A bipartite graph $G$ is semi-algebraic in $\mathbb{R}^d$ if its vertices are represented by point sets $P,Q \subset \mathbb{R}^d$ and its edges are defined as pairs of points $(p,q) \in P\times Q$ that satisfy a Boolean combination of a fixed number of polynomial equations and inequalities in $2d$ coordinates. We show that for fixed $k$, the maximum number of edges in a $K_{k,k}$-free semi-algebraic bipartite graph $G = (P,Q,E)$ in $\mathbb{R}^2$ with $|P| = m$ and $|Q| = n$ is at most $O((mn)^{2/3} + m + n)$, and this bound is tight. In dimensions $d \geq 3$, we show that all such semi-algebraic graphs have at most $C\left((mn)^{ \frac{d}{d+1} + \varepsilon} + m + n\right)$ edges, where here $\varepsilon$ is an arbitrarily small constant and $C = C(d,k,t,\varepsilon)$. This result is a far-reaching generalization of the classical Szemerédi-Trotter incidence theorem. The proof combines tools from several fields: VC-dimension and shatter functions, polynomial partitioning, and Hilbert polynomials. We also present various applications of our theorem. For example, a general point-variety incidence bound in $\mathbb{R}^d$, an improved bound for a $d$-dimensional variant of the Erdős unit distances problem, and more. △ Less

Submitted 22 November, 2015; v1 submitted 21 July, 2014; originally announced July 2014.

Distinct Distances: Open Problems and Current Bounds

Authors: Adam Sheffer

Abstract: We survey the variants of Erdős' distinct distances problem and the current best bounds for each of those. We survey the variants of Erdős' distinct distances problem and the current best bounds for each of those. △ Less

Submitted 2 July, 2018; v1 submitted 8 June, 2014; originally announced June 2014.

Comments: Many recent results were added, a few fixes, and two new sections (bipartite problems and connections to Additive Combinatorics)

Few distinct distances implies no heavy lines or circles

Authors: Adam Sheffer, Joshua Zahl, Frank de Zeeuw

Abstract: We study the structure of planar point sets that determine a small number of distinct distances. Specifically, we show that if a set P of n points determines o(n) distinct distances, then no line contains Ω(n^{7/8}) points of P and no circle contains Ω(n^{5/6}) points of P. We rely on the bipartite and partial variant of the Elekes-Sharir framework that was presented by Sharir, Sheffer, and Soly… ▽ More We study the structure of planar point sets that determine a small number of distinct distances. Specifically, we show that if a set P of n points determines o(n) distinct distances, then no line contains Ω(n^{7/8}) points of P and no circle contains Ω(n^{5/6}) points of P. We rely on the bipartite and partial variant of the Elekes-Sharir framework that was presented by Sharir, Sheffer, and Solymosi in \cite{SSS13}. For the case of lines we combine this framework with a theorem from additive combinatorics, and for the case of circles we combine it with some basic algebraic geometry and a recent incidence bound for plane algebraic curves by Wang, Yang, and Zhang \cite{WYZ13}. A significant difference between our approach and that of \cite{SSS13} (and other recent extensions) is that, instead of dealing with distances between two point sets that are restricted to one-dimensional curves, we consider distances between one set that is restricted to a curve and one set with no restrictions on it. △ Less

Submitted 26 August, 2013; originally announced August 2013.

On lattices, distinct distances, and the Elekes-Sharir framework

Authors: Javier Cilleruelo, Micha Sharir, Adam Sheffer

Abstract: In this note we consider distinct distances determined by points in an integer lattice. We first consider Erdos's lower bound for the square lattice, recast in the setup of the so-called Elekes-Sharir framework \cite{ES11,GK11}, and show that, without a major change, this framework \emph{cannot} lead to Erdos's conjectured lower bound. This shows that the upper bound of Guth and Katz \cite{GK11} f… ▽ More In this note we consider distinct distances determined by points in an integer lattice. We first consider Erdos's lower bound for the square lattice, recast in the setup of the so-called Elekes-Sharir framework \cite{ES11,GK11}, and show that, without a major change, this framework \emph{cannot} lead to Erdos's conjectured lower bound. This shows that the upper bound of Guth and Katz \cite{GK11} for the related 3-dimensional line-intersection problem is tight for this instance. The gap between this bound and the actual bound of Erdos arises from an application of the Cauchy-Schwarz inequality (which is an integral part of the Elekes-Sharir framework). Our analysis relies on two number-theoretic results by Ramanujan. We also consider distinct distances in rectangular lattices of the form $\{(i,j) \mid 0\le i\le n^{1-α},\ 0\le j\le n^α\}$, for some $0<α<1/2$, and show that the number of distinct distances in such a lattice is $Θ(n)$. In a sense, our proof "bypasses" a deep conjecture in number theory, posed by Cilleruelo and Granville \cite{CG07}. A positive resolution of this conjecture would also have implied our bound. △ Less

Submitted 28 June, 2013; v1 submitted 2 June, 2013; originally announced June 2013.

Distinct distances on two lines

Authors: Micha Sharir, Adam Sheffer, József Solymosi

Abstract: Let P_1 and P_2 be two sets of points in the plane, so that P_1 is contained in a line L_1, P_2 is contained in a line L_2, and L_1 and L_2 are neither parallel nor orthogonal. Then the number of distinct distances determined by the pairs of P_1xP_2 is Ω(\min{|P_1|^{2/3}|P_2|^{2/3},|P_1|^2, |P_2|^2}). In particular, if |P_1|=|P_2|=m, then the number of these distinct distances is Ω(m^{4/3}), imp… ▽ More Let P_1 and P_2 be two sets of points in the plane, so that P_1 is contained in a line L_1, P_2 is contained in a line L_2, and L_1 and L_2 are neither parallel nor orthogonal. Then the number of distinct distances determined by the pairs of P_1xP_2 is Ω(\min{|P_1|^{2/3}|P_2|^{2/3},|P_1|^2, |P_2|^2}). In particular, if |P_1|=|P_2|=m, then the number of these distinct distances is Ω(m^{4/3}), improving upon the previous bound Ω(m^{5/4}) of Elekes. △ Less

Submitted 2 June, 2013; v1 submitted 13 February, 2013; originally announced February 2013.

Crossings in Grid Drawings

Authors: Vida Dujmovic, Pat Morin, Adam Sheffer

Abstract: We prove crossing number inequalities for geometric graphs whose vertex sets are taken from a d-dimensional grid of volume N and give applications of these inequalities to counting the number of non-crossing geometric graphs that can be drawn on such grids. In particular, we show that any geometric graph with m >= 8N edges and with vertices on a 3D integer grid of volume N, has Ω((m^2/n)\log(m/n… ▽ More We prove crossing number inequalities for geometric graphs whose vertex sets are taken from a d-dimensional grid of volume N and give applications of these inequalities to counting the number of non-crossing geometric graphs that can be drawn on such grids. In particular, we show that any geometric graph with m >= 8N edges and with vertices on a 3D integer grid of volume N, has Ω((m^2/n)\log(m/n)) crossings. In d-dimensions, with d >= 4, this bound becomes Ω(m^2/n). We provide matching upper bounds for all d. Finally, for d >= 4 the upper bound implies that the maximum number of crossing-free geometric graphs with vertices on some d-dimensional grid of volume N is n^Θ(n). In 3 dimensions it remains open to improve the trivial bounds, namely, the 2^Ω(n) lower bound and the n^O(n) upper bound. △ Less

Submitted 21 January, 2013; v1 submitted 2 January, 2013; originally announced January 2013.

Comments: 16 pages, 3 figures; improved lower-bound in 3-D

On Numbers of Pseudo-Triangulations

Authors: Moria Ben-Ner, André Schulz, Adam Sheffer

Abstract: We study the maximum numbers of pseudo-triangulations and pointed pseudo-triangulations that can be embedded over a specific set of points in the plane or contained in a specific triangulation. We derive the bounds $O(5.45^N)$ and $Ω(2.41^N)$ for the maximum number of pointed pseudo-triangulations that can be contained in a specific triangulation over a set of $N$ points. For the number of all p… ▽ More We study the maximum numbers of pseudo-triangulations and pointed pseudo-triangulations that can be embedded over a specific set of points in the plane or contained in a specific triangulation. We derive the bounds $O(5.45^N)$ and $Ω(2.41^N)$ for the maximum number of pointed pseudo-triangulations that can be contained in a specific triangulation over a set of $N$ points. For the number of all pseudo-triangulations contained in a triangulation we derive the bounds $O^*(6.54^N)$ and $Ω(3.30^N)$. We also prove that $O^*(89.1^N)$ pointed pseudo-triangulations can be embedded over any specific set of $N$ points in the plane, and at most $120^N$ general pseudo-triangulations. △ Less

Submitted 26 October, 2012; originally announced October 2012.

Counting Plane Graphs: Cross-Graph Charging Schemes

Authors: Micha Sharir, Adam Sheffer

Abstract: We study cross-graph charging schemes for graphs drawn in the plane. These are charging schemes where charge is moved across vertices of different graphs. Such methods have been recently applied to obtain various properties of triangulations that are embedded over a fixed set of points in the plane. We show how this method can be generalized to obtain results for various other types of graphs that… ▽ More We study cross-graph charging schemes for graphs drawn in the plane. These are charging schemes where charge is moved across vertices of different graphs. Such methods have been recently applied to obtain various properties of triangulations that are embedded over a fixed set of points in the plane. We show how this method can be generalized to obtain results for various other types of graphs that are embedded in the plane. Specifically, we obtain a new bound of $O^*(187.53^N)$ (where the $O^*()$ notation hides polynomial factors) for the maximum number of crossing-free straight-edge graphs that can be embedded over any specific set of $N$ points in the plane (improving upon the previous best upper bound $207.85^N$ in Hoffmann et al.). We also derive upper bounds for numbers of several other types of plane graphs (such as connected and bi-connected plane graphs), and obtain various bounds on expected vertex-degrees in graphs that are uniformly chosen from the set of all crossing-free straight-edge graphs that can be embedded over a specific point set. We then show how to apply the cross-graph charging-scheme method for graphs that allow certain types of crossings. Specifically, we consider graphs with no set of $k$ pairwise-crossing edges (more commonly known as $k$-quasi-planar graphs). For $k=3$ and $k=4$, we prove that, for any set $S$ of $N$ points in the plane, the number of graphs that have a straight-edge $k$-quasi-planar embedding over $S$ is only exponential in $N$. △ Less

Submitted 2 September, 2012; originally announced September 2012.

Improved bounds for incidences between points and circles

Authors: Micha Sharir, Adam Sheffer, Joshua Zahl

Abstract: We establish an improved upper bound for the number of incidences between m points and n circles in three dimensions. The previous best known bound, originally established for the planar case and later extended to any dimension $\ge 2$, is $O*(m^{2/3}n^{2/3} + m^{6/11}n^{9/11}+m+n)$, where the $O*(\cdot)$ notation hides sub-polynomial factors. Since all the points and circles may lie on a common p… ▽ More We establish an improved upper bound for the number of incidences between m points and n circles in three dimensions. The previous best known bound, originally established for the planar case and later extended to any dimension $\ge 2$, is $O*(m^{2/3}n^{2/3} + m^{6/11}n^{9/11}+m+n)$, where the $O*(\cdot)$ notation hides sub-polynomial factors. Since all the points and circles may lie on a common plane (or sphere), it is impossible to improve the bound in R^3 without first improving it in the plane. Nevertheless, we show that if the set of circles is required to be "truly three-dimensional" in the sense that no sphere or plane contains more than $q$ of the circles, for some $q << n$, then the bound can be improved to \[O*(m^{3/7}n^{6/7} + m^{2/3}n^{1/2}q^{1/6} + m^{6/11}n^{15/22}q^{3/22} + m + n). \] For various ranges of parameters (e.g., when $m=Θ(n)$ and $q = o(n^{7/9})$), this bound is smaller than the lower bound $Ω*(m^{2/3}n^{2/3}+m+n)$, which holds in two dimensions. We present several extensions and applications of the new bound: (i) For the special case where all the circles have the same radius, we obtain the improved bound $O*(m^{5/11}n^{9/11} + m^{2/3}n^{1/2}q^{1/6} + m + n$. (ii) We present an improved analysis that removes the subpolynomial factors from the bound when $m=O(n^{3/2-\eps})$ for any fixed $\varepsilon >0$. (iii) We use our results to obtain the improved bound $O(m^{15/7})$ for the number of mutually similar triangles determined by any set of $m$ points in R^3. Our result is obtained by applying the polynomial partitioning technique of Guth and Katz using a constant-degree partitioning polynomial (as was also recently used by Solymosi and Tao). We also rely on various additional tools from analytic, algebraic, and combinatorial geometry. △ Less

Submitted 16 June, 2014; v1 submitted 31 July, 2012; originally announced August 2012.

Journal ref: Combinator. Probab. Comp. 24 (2015) 490-520

Counting Plane Graphs: Perfect Matchings, Spanning Cycles, and Kasteleyn's Technique

Authors: Micha Sharir, Adam Sheffer, Emo Welzl

Abstract: We derive improved upper bounds on the number of crossing-free straight-edge spanning cycles (also known as Hamiltonian tours and simple polygonizations) that can be embedded over any specific set of $N$ points in the plane. More specifically, we bound the ratio between the number of spanning cycles (or perfect matchings) that can be embedded over a point set and the number of triangulations that… ▽ More We derive improved upper bounds on the number of crossing-free straight-edge spanning cycles (also known as Hamiltonian tours and simple polygonizations) that can be embedded over any specific set of $N$ points in the plane. More specifically, we bound the ratio between the number of spanning cycles (or perfect matchings) that can be embedded over a point set and the number of triangulations that can be embedded over it. The respective bounds are $O(1.8181^N)$ for cycles and $O(1.1067^N)$ for matchings. These imply a new upper bound of $O(54.543^N)$ on the number of crossing-free straight-edge spanning cycles that can be embedded over any specific set of $N$ points in the plane (improving upon the previous best upper bound $O(68.664^N)$). Our analysis is based on Kasteleyn's linear algebra technique. △ Less

Submitted 26 September, 2011; originally announced September 2011.

Bounds on the maximum multiplicity of some common geometric graphs

Authors: Adrian Dumitrescu, André Schulz, Adam Sheffer, Csaba D. Tóth

Abstract: We obtain new lower and upper bounds for the maximum multiplicity of some weighted and, respectively, non-weighted common geometric graphs drawn on n points in the plane in general position (with no three points collinear): perfect matchings, spanning trees, spanning cycles (tours), and triangulations. (i) We present a new lower bound construction for the maximum number of triangulations a set o… ▽ More We obtain new lower and upper bounds for the maximum multiplicity of some weighted and, respectively, non-weighted common geometric graphs drawn on n points in the plane in general position (with no three points collinear): perfect matchings, spanning trees, spanning cycles (tours), and triangulations. (i) We present a new lower bound construction for the maximum number of triangulations a set of n points in general position can have. In particular, we show that a generalized double chain formed by two almost convex chains admits Ω(8.65^n) different triangulations. This improves the bound Ω(8.48^n) achieved by the double zig-zag chain configuration studied by Aichholzer et al. (ii) We present a new lower bound of Ω(12.00^n) for the number of non-crossing spanning trees of the double chain composed of two convex chains. The previous bound, Ω(10.42^n), stood unchanged for more than 10 years. (iii) Using a recent upper bound of 30^n for the number of triangulations, due to Sharir and Sheffer, we show that n points in the plane in general position admit at most O(68.62^n) non-crossing spanning cycles. (iv) We derive lower bounds for the number of maximum and minimum weighted geometric graphs (matchings, spanning trees, and tours). We show that the number of shortest non-crossing tours can be exponential in n. Likewise, we show that both the number of longest non-crossing tours and the number of longest non-crossing perfect matchings can be exponential in n. Moreover, we show that there are sets of n points in convex position with an exponential number of longest non-crossing spanning trees. For points in convex position we obtain tight bounds for the number of longest and shortest tours. We give a combinatorial characterization of the longest tours, which leads to an O(nlog n) time algorithm for computing them. △ Less

Submitted 26 September, 2011; v1 submitted 27 December, 2010; originally announced December 2010.

ACM Class: F.2.2; G.2.1; G.2.2

Counting Plane Graphs: Flippability and its Applications

Authors: Michael Hoffmann, Micha Sharir, Adam Sheffer, Csaba D. Tóth, Emo Welzl

Abstract: We generalize the notions of flippable and simultaneously flippable edges in a triangulation of a set S of points in the plane to so-called \emph{pseudo-simultaneously flippable edges}. Such edges are related to the notion of convex decompositions spanned by S. We prove a worst-case tight lower bound for the number of pseudo-simultaneously flippable edges in a triangulation in terms of the numbe… ▽ More We generalize the notions of flippable and simultaneously flippable edges in a triangulation of a set S of points in the plane to so-called \emph{pseudo-simultaneously flippable edges}. Such edges are related to the notion of convex decompositions spanned by S. We prove a worst-case tight lower bound for the number of pseudo-simultaneously flippable edges in a triangulation in terms of the number of vertices. We use this bound for deriving new upper bounds for the maximal number of crossing-free straight-edge graphs that can be embedded on any fixed set of N points in the plane. We obtain new upper bounds for the number of spanning trees and forests as well. Specifically, let tr(N) denote the maximum number of triangulations on a set of N points in the plane. Then we show (using the known bound tr(N) < 30^N) that any N-element point set admits at most 6.9283^N * tr(N) < 207.85^N crossing-free straight-edge graphs, O(4.7022^N) * tr(N) = O(141.07^N) spanning trees, and O(5.3514^N) * tr(N) = O(160.55^N) forests. We also obtain upper bounds for the number of crossing-free straight-edge graphs that have cN, fewer than cN, or more than cN edges, for any constant parameter c, in terms of c and N. △ Less

Submitted 30 October, 2011; v1 submitted 2 December, 2010; originally announced December 2010.

ACM Class: F.2.2; G.2.1; G.2.2

Counting Triangulations of Planar Point Sets

Authors: Micha Sharir, Adam Sheffer

Abstract: We study the maximal number of triangulations that a planar set of $n$ points can have, and show that it is at most $30^n$. This new bound is achieved by a careful optimization of the charging scheme of Sharir and Welzl (2006), which has led to the previous best upper bound of $43^n$ for the problem. Moreover, this new bound is useful for bounding the number of other types of planar (i.e., cro… ▽ More We study the maximal number of triangulations that a planar set of $n$ points can have, and show that it is at most $30^n$. This new bound is achieved by a careful optimization of the charging scheme of Sharir and Welzl (2006), which has led to the previous best upper bound of $43^n$ for the problem. Moreover, this new bound is useful for bounding the number of other types of planar (i.e., crossing-free) straight-line graphs on a given point set. Specifically, we derive new upper bounds for the number of planar graphs ($o(239.4^n)$), spanning cycles ($O(70.21^n)$), and spanning trees ($160^n$). △ Less

Submitted 3 January, 2010; v1 submitted 17 November, 2009; originally announced November 2009.

ACM Class: F.2.2; G.2.1; G.2.2