-
Evaluation of Posits for Spectral Analysis Using a Software-Defined Dataflow Architecture
Authors:
Sameer Deshmukh,
Daniel Khankin,
William Killian,
John Gustafson,
Elad Raz
Abstract:
Spectral analysis plays an important role in detection of damage in structures and deep learning. The choice of a floating-point format plays a crucial role in determining the accuracy and performance of spectral analysis. The IEEE Std 754\textsuperscript{TM} floating-point format (IEEE~754 for short) is supported by most major hardware vendors for ``normal'' floats. However, it has several limita…
▽ More
Spectral analysis plays an important role in detection of damage in structures and deep learning. The choice of a floating-point format plays a crucial role in determining the accuracy and performance of spectral analysis. The IEEE Std 754\textsuperscript{TM} floating-point format (IEEE~754 for short) is supported by most major hardware vendors for ``normal'' floats. However, it has several limitations. Previous work has attempted to evaluate posit format with respect to accuracy and performance. The accuracy of the posit has been established over IEEE~754 for a variety of applications. For example, our analysis of the Fast Fourier Transform shows 2x better accuracy when using a 32-bit posit vs. a 32-bit IEEE754 format. For spectral analysis, 32-bit posits are substantially more accurate than 32-bit IEEE~754 floats. Although posit has shown better accuracy than IEEE~754, a fair evaluation of posit with IEEE~754 format using a real hardware implementation has been lacking so far. A software simulation of posit format on an x86 CPU is about $\mathbf{69.3\times}$ slower than native IEEE~754 hardware for normal floats for a Fast Fourier Transform (FFT) of $\mathbf{2^{28}}$ points. We propose the use of a software-defined dataflow architecture to evaluate performance and accuracy of posits in spectral analysis. Our dataflow architecture uses reconfigurable logical elements that express algorithms using only integer operations. Our architecture does not have an FPU, and we express both IEEE~754 and posit arithmetic using the same integer operations within the hardware. On our dataflow architecture, the posit format is only $\mathbf{1.8\times}$ slower than IEEE~754 for a Fast Fourier Transform (FFT) of $\mathbf{2^{28}\approx 268}$ million points. With this implementation, we empirically propose a new lower bound for the performance of posit compared to IEEE~754 format.
△ Less
Submitted 8 June, 2024;
originally announced June 2024.
-
Distinct distances for points lying on curves in $\mathbb{R}^d$ -- the bipartite case
Authors:
Hadas Baer-Erenfeld,
Orit E. Raz
Abstract:
Let $γ_1,γ_2$ be a pair of constant-degree irreducible algebraic curves in $\mathbb{R}^d$. Assume that $γ_i$ is neither contained in a hyperplane nor in a quadric surface in $\mathbb{R}^d$, for each $i=1,2$. We show that for every pair of $n$-point sets $P_1\subsetγ_1$ and $P_2\subsetγ_2$, the number of distinct distances spanned by $P_1\times P_2$ is $Ω(n^{3/2})$, with a constant of proportionali…
▽ More
Let $γ_1,γ_2$ be a pair of constant-degree irreducible algebraic curves in $\mathbb{R}^d$. Assume that $γ_i$ is neither contained in a hyperplane nor in a quadric surface in $\mathbb{R}^d$, for each $i=1,2$. We show that for every pair of $n$-point sets $P_1\subsetγ_1$ and $P_2\subsetγ_2$, the number of distinct distances spanned by $P_1\times P_2$ is $Ω(n^{3/2})$, with a constant of proportionality that depends on ${\rm deg}γ_1$, ${\rm deg}γ_2$, and $d$. This extends earlier results of Charalambides [Char], Pach and De Zeeuw [PdZ], and Raz [Ra] to the bipartite version. For the proof we use rigidity theory, and in particular the description of Bolker and Roth [BR80] for realizations in $\mathbb{R}^d$ of the complete bipartite graph $K_{m,n}$ that are not infinitesimally rigid.
△ Less
Submitted 13 April, 2023;
originally announced April 2023.
-
Rigidity expander graphs
Authors:
Alan Lew,
Eran Nevo,
Yuval Peled,
Orit E. Raz
Abstract:
Jordán and Tanigawa recently introduced the $d$-dimensional algebraic connectivity $a_d(G)$ of a graph $G$. This is a quantitative measure of the $d$-dimensional rigidity of $G$ which generalizes the well-studied notion of spectral expansion of graphs. We present a new lower bound for $a_d(G)$ defined in terms of the spectral expansion of certain subgraphs of $G$ associated with a partition of its…
▽ More
Jordán and Tanigawa recently introduced the $d$-dimensional algebraic connectivity $a_d(G)$ of a graph $G$. This is a quantitative measure of the $d$-dimensional rigidity of $G$ which generalizes the well-studied notion of spectral expansion of graphs. We present a new lower bound for $a_d(G)$ defined in terms of the spectral expansion of certain subgraphs of $G$ associated with a partition of its vertices into $d$ parts. In particular, we obtain a new sufficient condition for the rigidity of a graph $G$. As a first application, we prove the existence of an infinite family of $k$-regular $d$-rigidity-expander graphs for every $d\ge 2$ and $k\ge 2d+1$. Conjecturally, no such family of $2d$-regular graphs exists. Second, we show that $a_d(K_n)\geq \frac{1}{2}\left\lfloor\frac{n}{d}\right\rfloor$, which we conjecture to be essentially tight. In addition, we study the extremal values $a_d(G)$ attained if $G$ is a minimally $d$-rigid graph.
△ Less
Submitted 3 April, 2023;
originally announced April 2023.
-
On the $d$-dimensional algebraic connectivity of graphs
Authors:
Alan Lew,
Eran Nevo,
Yuval Peled,
Orit E. Raz
Abstract:
The $d$-dimensional algebraic connectivity $a_d(G)$ of a graph $G=(V,E)$, introduced by Jordán and Tanigawa, is a quantitative measure of the $d$-dimensional rigidity of $G$ that is defined in terms of the eigenvalues of stiffness matrices (which are analogues of the graph Laplacian) associated to map**s of the vertex set $V$ into $\mathbb{R}^d$.
Here, we analyze the $d$-dimensional algebraic…
▽ More
The $d$-dimensional algebraic connectivity $a_d(G)$ of a graph $G=(V,E)$, introduced by Jordán and Tanigawa, is a quantitative measure of the $d$-dimensional rigidity of $G$ that is defined in terms of the eigenvalues of stiffness matrices (which are analogues of the graph Laplacian) associated to map**s of the vertex set $V$ into $\mathbb{R}^d$.
Here, we analyze the $d$-dimensional algebraic connectivity of complete graphs. In particular, we show that, for $d\geq 3$, $a_d(K_{d+1})=1$, and for $n\geq 2d$, \[ \left\lceil\frac{n}{2d}\right\rceil-2d+1\leq a_d(K_n) \leq \frac{2n}{3(d-1)}+\frac{1}{3}. \]
△ Less
Submitted 11 May, 2022;
originally announced May 2022.
-
Sharp threshold for rigidity of random graphs
Authors:
Alan Lew,
Eran Nevo,
Yuval Peled,
Orit E. Raz
Abstract:
We consider the Erdős-Rényi evolution of random graphs, where a new uniformly distributed edge is added to the graph in every step. For every fixed $d\ge 1$, we show that with high probability, the graph becomes rigid in $\mathbb R^d$ at the very moment its minimum degree becomes $d$, and it becomes globally rigid in $\mathbb R^d$ at the very moment its minimum degree becomes $d+1$.
We consider the Erdős-Rényi evolution of random graphs, where a new uniformly distributed edge is added to the graph in every step. For every fixed $d\ge 1$, we show that with high probability, the graph becomes rigid in $\mathbb R^d$ at the very moment its minimum degree becomes $d$, and it becomes globally rigid in $\mathbb R^d$ at the very moment its minimum degree becomes $d+1$.
△ Less
Submitted 13 September, 2022; v1 submitted 20 February, 2022;
originally announced February 2022.
-
On the dimension of exceptional parameters for nonlinear projections, and the discretized Elekes-Rónyai theorem
Authors:
Orit E. Raz,
Joshua Zahl
Abstract:
We consider four related problems. (1) Obtaining dimension estimates for the set of exceptional vantage points for the pinned Falconer distance problem. (2) Nonlinear projection theorems, in the spirit of Kaufman, Bourgain, and Shmerkin. (3) The parallelizability of planar $d$-webs. (4) The Elekes-Rónyai theorem on expanding polynomials.
Given a Borel set $A$ in the plane, we study the set of ex…
▽ More
We consider four related problems. (1) Obtaining dimension estimates for the set of exceptional vantage points for the pinned Falconer distance problem. (2) Nonlinear projection theorems, in the spirit of Kaufman, Bourgain, and Shmerkin. (3) The parallelizability of planar $d$-webs. (4) The Elekes-Rónyai theorem on expanding polynomials.
Given a Borel set $A$ in the plane, we study the set of exceptional vantage points, for which the pinned distance $Δ_p(A)$ has small dimension, that is, close to $(\dim A)/2$. We show that if this set has positive dimension, then it must have very special structure. This result follows from a more general single-scale nonlinear projection theorem, which says that if $φ_1,φ_2,φ_3$ are three smooth functions whose associated 3-web has non-vanishing Blaschke curvature, and if $A$ is a $(δ,α)_2$-set in the sense of Katz and Tao, then at least one of the images $φ_i(A)$ must have measure much larger than $|A|^{1/2}$, where $|A|$ stands for the measure of $A$. We prove analogous results for $d$ smooth functions $φ_1,\ldots,φ_d$, whose associated $d$-web is not parallelizable.
We use similar tools to characterize when bivariate real analytic functions are "dimension expanding" when applied to a Cartesian product: if $P$ is a bivariate real analytic function, then $P$ is either locally of the form $h(a(x) + b(y))$, or $P(A,B)$ has dimension at least $α+c$ whenever $A$ and $B$ are Borel sets with Hausdorff dimension $α$. Again, this follows from a single-scale estimate, which is an analogue of the Elekes-Rónyai theorem in the setting of the Katz-Tao discretized ring conjecture.
△ Less
Submitted 19 January, 2024; v1 submitted 16 August, 2021;
originally announced August 2021.
-
On rich lenses in planar arrangements of circles and related problems
Authors:
Esther Ezra,
Orit E. Raz,
Micha Sharir,
Joshua Zahl
Abstract:
We show that the maximum number of pairwise non-overlap** $k$-rich lenses (lenses formed by at least $k$ circles) in an arrangement of $n$ circles in the plane is $O\left(\frac{n^{3/2}\log{(n/k^3)}}{k^{5/2}} + \frac{n}{k} \right)$, and the sum of the degrees of the lenses of such a family (where the degree of a lens is the number of circles that form it) is…
▽ More
We show that the maximum number of pairwise non-overlap** $k$-rich lenses (lenses formed by at least $k$ circles) in an arrangement of $n$ circles in the plane is $O\left(\frac{n^{3/2}\log{(n/k^3)}}{k^{5/2}} + \frac{n}{k} \right)$, and the sum of the degrees of the lenses of such a family (where the degree of a lens is the number of circles that form it) is $O\left(\frac{n^{3/2}\log{(n/k^3)}}{k^{3/2}} + n\right)$. Two independent proofs of these bounds are given, each interesting in its own right (so we believe). We then show that these bounds lead to the known bound of Agarwal et al. (JACM 2004) and Marcus and Tardos (JCTA 2006) on the number of point-circle incidences in the plane. Extensions to families of more general algebraic curves and some other related problems are also considered.
△ Less
Submitted 7 December, 2020;
originally announced December 2020.
-
Dimension-expanding polynomials and the discretized Elekes-Rónyai theorem
Authors:
Orit E. Raz,
Joshua Zahl
Abstract:
We characterize when bivariate real analytic functions are "dimension expanding" when applied to a Cartesian product. If $P$ is a bivariate real analytic function that is not locally of the form $P(x,y) = h(a(x) + b(y))$, then whenever $A$ and $B$ are Borel subsets of $\mathbb{R}$ with Hausdorff dimension $0<α<1$, we have that $P(A,B)$ has Hausdorff dimension at least $α+ ε$ for some $ε(α)>0$ that…
▽ More
We characterize when bivariate real analytic functions are "dimension expanding" when applied to a Cartesian product. If $P$ is a bivariate real analytic function that is not locally of the form $P(x,y) = h(a(x) + b(y))$, then whenever $A$ and $B$ are Borel subsets of $\mathbb{R}$ with Hausdorff dimension $0<α<1$, we have that $P(A,B)$ has Hausdorff dimension at least $α+ ε$ for some $ε(α)>0$ that is independent of $P$. The result is sharp, in the sense that no estimate of this form can hold if $P(x,y) = h(a(x) + b(y))$. We also prove a more technical single-scale version of this result, which is an analogue of the Elekes-Rónyai theorem in the setting of the Katz-Tao discretized ring conjecture. As an application, we show that a discretized non-concentrated set cannot have small nonlinear projection under three distinct analytic projection functions, provided that the corresponding 3-web has non-vanishing Blaschke curvature.
△ Less
Submitted 31 August, 2021; v1 submitted 9 October, 2020;
originally announced October 2020.
-
A mathematical model for cell polarization in zebrafish primordial germ cells
Authors:
Carolin Dirks,
Paul Striewski,
Benedikt Wirth,
Anne Aalto,
Adan Olguin-Olguin,
Erez Raz
Abstract:
Blebs are cell protrusions generated by local membrane-cortex detachments followed by expansion of the plasma membrane. Blebs are formed by some migrating cells, for example primordial germ cells of the zebrafish. While blebs occur randomly at each part of the membrane in unpolarized cells, a polarization process guarantees the occurrence of blebs at a preferential site and thereby facilitates mig…
▽ More
Blebs are cell protrusions generated by local membrane-cortex detachments followed by expansion of the plasma membrane. Blebs are formed by some migrating cells, for example primordial germ cells of the zebrafish. While blebs occur randomly at each part of the membrane in unpolarized cells, a polarization process guarantees the occurrence of blebs at a preferential site and thereby facilitates migration towards a specified direction. Little is known about the factors involved in development and maintenance of a polarized state, yet recent studies revealed the influence of an intracellular flow and the stabilizing role of the membrane-cortex linker molecule Ezrin. Based on this information, we develop and analyse a coupled bulk-surface model describing a potential cellular mechanism by which a bleb could be induced at a controlled site. The model rests upon intracellular Darcy flow and a diffusion-advection-reaction system, describing the temporal evolution from an unpolarized to a stable polarized Ezrin distribution. We prove the well-posedness of the mathematical model and show that simulations qualitatively correspond to experimental observations, suggesting that indeed the interaction of an intracellular flow with membrane proteins can be the cause of the cell polarization.
△ Less
Submitted 18 December, 2019;
originally announced December 2019.
-
Dense graphs have rigid parts
Authors:
Orit E. Raz,
József Solymosi
Abstract:
While the problem of determining whether an embedding of a graph $G$ in $\mathbb{R}^2$ is {\it infinitesimally rigid} is well understood, specifying whether a given embedding of $G$ is {\it rigid} or not is still a hard task that usually requires ad hoc arguments. In this paper, we show that {\it every} embedding (not necessarily generic) of a dense enough graph (concretely, a graph with at least…
▽ More
While the problem of determining whether an embedding of a graph $G$ in $\mathbb{R}^2$ is {\it infinitesimally rigid} is well understood, specifying whether a given embedding of $G$ is {\it rigid} or not is still a hard task that usually requires ad hoc arguments. In this paper, we show that {\it every} embedding (not necessarily generic) of a dense enough graph (concretely, a graph with at least $C_0n^{3/2}\log n$ edges, for some absolute constant $C_0>0$), which satisfies some very mild general position requirements (no three vertices of $G$ are embedded to a common line), must have a subframework of size at least three which is rigid. For the proof we use a connection, established in Raz [Ra], between the notion of graph rigidity and configurations of lines in $\mathbb{R}^3$. This connection allows us to use properties of line configurations established in Guth and Katz [GK2]. In fact, our proof requires an extended version of Guth and Katz result; the extension we need is proved by János Kollár in an Appendix to our paper.
We do not know whether our assumption on the number of edges being $Ω(n^{3/2}\log n)$ is tight, and we provide a construction that shows that requiring $Ω(n\log n)$ edges is necessary.
△ Less
Submitted 29 January, 2019;
originally announced January 2019.
-
Subspace arrangements, graph rigidity and derandomization through submodular optimization
Authors:
Orit E. Raz,
Avi Wigderson
Abstract:
This paper presents a deterministic, strongly polynomial time algorithm for computing the matrix rank for a class of symbolic matrices (whose entries are polynomials over a field). This class was introduced, in a different language, by Lovász [Lov] in his study of flats in matroids, and proved a duality theorem putting this problem in $NP \cap coNP$. As such, our result is another demonstration wh…
▽ More
This paper presents a deterministic, strongly polynomial time algorithm for computing the matrix rank for a class of symbolic matrices (whose entries are polynomials over a field). This class was introduced, in a different language, by Lovász [Lov] in his study of flats in matroids, and proved a duality theorem putting this problem in $NP \cap coNP$. As such, our result is another demonstration where ``good characterization'' in the sense of Edmonds leads to an efficient algorithm. In a different paper Lovász [Lov79] proved that all such symbolic rank problems have efficient probabilistic algorithms, namely are in $BPP$. As such, our algorithm may be interpreted as a derandomization result, in the long sequence special cases of the PIT (Polynomial Identity Testing) problem. Finally, Lovász and Yemini [LoYe] showed how the same problem generalizes the graph rigidity problem in two dimensions. As such, our algorithm may be seen as a generalization of the well-known deterministic algorithm for the latter problem.
There are two somewhat unusual technical features in this paper. The first is the translation of Lovász' flats problem into a symbolic rank one. The second is the use of submodular optimization for derandomization. We hope that the tools developed for both will be useful for related problems, in particular for better understanding of graph rigidity in higher dimensions.
△ Less
Submitted 27 January, 2019;
originally announced January 2019.
-
Expanding polynomials: A generalization of the Elekes-Rónyai theorem to $d$ variables
Authors:
Orit E. Raz,
Zvi Shem Tov
Abstract:
We prove the following statement. Let $f\in\mathbb{R}[x_1,\ldots,x_d]$, for some $d\ge 3$, and assume that $f$ depends non-trivially in each of $x_1,\ldots,x_d$. Then one of the following holds. (i) For every finite sets $A_1,\ldots,A_d\subset \mathbb{R}$, each of size $n$, we have $$|f(A_1\times\ldots\times A_d)|=Ω(n^{3/2}), $$ with constant of proportionality that depends on ${\rm deg} f$. (ii)…
▽ More
We prove the following statement. Let $f\in\mathbb{R}[x_1,\ldots,x_d]$, for some $d\ge 3$, and assume that $f$ depends non-trivially in each of $x_1,\ldots,x_d$. Then one of the following holds. (i) For every finite sets $A_1,\ldots,A_d\subset \mathbb{R}$, each of size $n$, we have $$|f(A_1\times\ldots\times A_d)|=Ω(n^{3/2}), $$ with constant of proportionality that depends on ${\rm deg} f$. (ii) $f$ is of one of the forms \begin{align*} f(x_1,\ldots, x_d)&=h(p_1(x_1)+\cdots+p_d(x_d))~~\text{or}\\ f(x_1,\ldots, x_d)&=h(p_1(x_1)\cdot\ldots\cdot p_d(x_d)), \end{align*} for some univariate real polynomials $h(x)$, $p_1(x),\ldots,p_d(x)$. This generalizes the results from [ER00,RSS, RSdZ], which treat the cases $d=2$ and $d=3$.
△ Less
Submitted 5 July, 2018;
originally announced July 2018.
-
An o-minimal Szemerédi-Trotter theorem
Authors:
Saugata Basu,
Orit E. Raz
Abstract:
We prove an analog of the Szemerédi-Trotter theorem in the plane for definable curves and points in any o-minimal structure over an arbitrary real closed field $\mathrm{R}$. One new ingredient in the proof is an extension of the well known crossing number inequality for graphs to the case of embeddings in any o-minimal structure over an arbitrary real closed field.
We prove an analog of the Szemerédi-Trotter theorem in the plane for definable curves and points in any o-minimal structure over an arbitrary real closed field $\mathrm{R}$. One new ingredient in the proof is an extension of the well known crossing number inequality for graphs to the case of embeddings in any o-minimal structure over an arbitrary real closed field.
△ Less
Submitted 12 July, 2017; v1 submitted 22 November, 2016;
originally announced November 2016.
-
Scale-free distribution of Dead Sea sinkholes--observations and modeling
Authors:
Hezi Yizhaq,
Carmit Cohen,
Eli Raz,
Yosef Ashkenazy
Abstract:
There are currently more than 5500 sinkholes along the Dead Sea in Israel. These were formed due to the dissolution of subsurface salt layers as a result of the replacement of hypersaline groundwater by fresh brackish groundwater. This process has been associated with a sharp decline in the Dead Sea water level, currently more than one meter per year, resulting in a lower water table that has allo…
▽ More
There are currently more than 5500 sinkholes along the Dead Sea in Israel. These were formed due to the dissolution of subsurface salt layers as a result of the replacement of hypersaline groundwater by fresh brackish groundwater. This process has been associated with a sharp decline in the Dead Sea water level, currently more than one meter per year, resulting in a lower water table that has allowed the intrusion of fresher brackish water. We studied the distribution of the sinkhole sizes and found that it is scale-free with a power-law exponent close to 2. We constructed a stochastic cellular automata model to understand the observed scale-free behavior and the growth of the sinkhole area in time. The model consists of a lower salt layer and an upper soil layer in which cavities that develop in the lower layer lead to collapses in the upper layer. The model reproduces the observed power-law distribution without involving the threshold behavior commonly associated with criticality.
△ Less
Submitted 29 March, 2017; v1 submitted 3 November, 2016;
originally announced November 2016.
-
Configurations of lines in space and combinatorial rigidity
Authors:
Orit E. Raz
Abstract:
Let $L$ be a sequence $(\ell_1,\ell_2,\ldots,\ell_n)$ of $n$ lines in $\mathbb{C}^3$. We define the {\it intersection graph} $G_L=([n],E)$ of $L$, where $[n]:=\{1,\ldots, n\}$, and with $\{i,j\}\in E$ if and only if $i\neq j$ and the corresponding lines $\ell_i$ and $\ell_j$ intersect, or are parallel (or coincide). For a graph $G=([n],E)$, we say that a sequence $L$ is a {\it realization} of $G$…
▽ More
Let $L$ be a sequence $(\ell_1,\ell_2,\ldots,\ell_n)$ of $n$ lines in $\mathbb{C}^3$. We define the {\it intersection graph} $G_L=([n],E)$ of $L$, where $[n]:=\{1,\ldots, n\}$, and with $\{i,j\}\in E$ if and only if $i\neq j$ and the corresponding lines $\ell_i$ and $\ell_j$ intersect, or are parallel (or coincide). For a graph $G=([n],E)$, we say that a sequence $L$ is a {\it realization} of $G$ if $G\subset G_L$. One of the main results of this paper is to provide a combinatorial characterization of graphs $G=([n],E)$ that have the following property: For every {\it generic} realization $L$ of $G$ that consists of $n$ pairwise distinct lines, we have $G_L=K_n$, in which case the lines of $L$ are either all concurrent or all coplanar.
The general statements that we obtain about lines, apart from their independent interest, turns out to be closely related to the notion of graph rigidity. The connection is established due to the so-called Elekes--Sharir framework, which allows us to transform the problem into an incidence problem involving lines in three dimensions. By exploiting the geometry of contacts between lines in 3D, we can obtain alternative, simpler, and more precise characterizations of the rigidity of graphs.
△ Less
Submitted 14 July, 2016;
originally announced July 2016.
-
The Elekes-Szabó Theorem in four dimensions
Authors:
Orit E. Raz,
Micha Sharir,
Frank de Zeeuw
Abstract:
Let $F\in\mathbb{C}[x,y,s,t]$ be an irreducible constant-degree polynomial, and let $A,B,C,D\subset\mathbb{C}$ be finite sets of size $n$. We show that $F$ vanishes on at most $O(n^{8/3})$ points of the Cartesian product $A\times B\times C\times D$, unless $F$ has a special group-related form. A similar statement holds for $A,B,C,D$ of unequal sizes. This is a four-dimensional extension of our rec…
▽ More
Let $F\in\mathbb{C}[x,y,s,t]$ be an irreducible constant-degree polynomial, and let $A,B,C,D\subset\mathbb{C}$ be finite sets of size $n$. We show that $F$ vanishes on at most $O(n^{8/3})$ points of the Cartesian product $A\times B\times C\times D$, unless $F$ has a special group-related form. A similar statement holds for $A,B,C,D$ of unequal sizes. This is a four-dimensional extension of our recent improved analysis of the original Elekes-Szabó theorem in three dimensions. We give three applications: an expansion bound for three-variable real polynomials that do not have a special form, a bound on the number of coplanar quadruples on a space curve that is neither planar nor quartic, and a bound on the number of four-point circles on a plane curve that has degree at least five.
△ Less
Submitted 1 November, 2016; v1 submitted 13 July, 2016;
originally announced July 2016.
-
A note on distinct distances
Authors:
Orit E. Raz
Abstract:
We show that, for a constant-degree algebraic curve $γ$ in $\mathbb{R}^D$, every set of $n$ points on $γ$ spans at least $Ω(n^{4/3})$ distinct distances, unless $γ$ is an {\it algebraic helix} (see Definition 1.1). This improves the earlier bound $Ω(n^{5/4})$ of Charalambides [Discrete Comput. Geom. (2014)].
We also show that, for every set $P$ of $n$ points that lie on a $d$-dimensional constan…
▽ More
We show that, for a constant-degree algebraic curve $γ$ in $\mathbb{R}^D$, every set of $n$ points on $γ$ spans at least $Ω(n^{4/3})$ distinct distances, unless $γ$ is an {\it algebraic helix} (see Definition 1.1). This improves the earlier bound $Ω(n^{5/4})$ of Charalambides [Discrete Comput. Geom. (2014)].
We also show that, for every set $P$ of $n$ points that lie on a $d$-dimensional constant-degree algebraic variety $V$ in $\mathbb{R}^D$, there exists a subset $S\subset P$ of size at least $Ω(n^{\frac{4}{9+12(d-1)}})$, such that $S$ spans $\binom{|S|}{2}$ distinct distances. This improves the earlier bound of $Ω(n^{\frac{1}{3d}})$ of Conlon et al. [SIAM J. Discrete Math. (2015)].
Both results are consequences of a common technical tool, given in Lemma 2.7 below.
△ Less
Submitted 14 April, 2020; v1 submitted 29 February, 2016;
originally announced March 2016.
-
On the number of unit-area triangles spanned by convex grids in the plane
Authors:
Orit E. Raz,
Micha Sharir,
Ilya D. Shkredov
Abstract:
A finite set of real numbers is called convex if the differences between consecutive elements form a strictly increasing sequence. We show that, for any pair of convex sets $A, B\subset\mathbb R$, each of size $n^{1/2}$, the convex grid $A\times B$ spans at most $O(n^{37/17}\log^{2/17}n)$ unit-area triangles. This improves the best known upper bound $O(n^{31/14})$ recently obtained in \cite{RS}. O…
▽ More
A finite set of real numbers is called convex if the differences between consecutive elements form a strictly increasing sequence. We show that, for any pair of convex sets $A, B\subset\mathbb R$, each of size $n^{1/2}$, the convex grid $A\times B$ spans at most $O(n^{37/17}\log^{2/17}n)$ unit-area triangles. This improves the best known upper bound $O(n^{31/14})$ recently obtained in \cite{RS}. Our analysis also applies to more general families of sets $A$, $B$, known as sets of Szemerédi--Trotter type.
△ Less
Submitted 27 April, 2015;
originally announced April 2015.
-
Polynomials vanishing on Cartesian products: The Elekes-Szabó Theorem revisited
Authors:
Orit E. Raz,
Micha Sharir,
Frank de Zeeuw
Abstract:
Let $F\in\mathbb{C}[x,y,z]$ be a constant-degree polynomial,and let $A,B,C\subset\mathbb C$ be finite sets of size $n$. We show that $F$ vanishes on at most $O(n^{11/6})$ points of the Cartesian product $A\times B\times C$, unless $F$ has a special group-related form. This improves a theorem of Elekes and Szabó [Combinatorica, 2012], and generalizes a result of Raz, Sharir, and Solymosi [Amer. J.…
▽ More
Let $F\in\mathbb{C}[x,y,z]$ be a constant-degree polynomial,and let $A,B,C\subset\mathbb C$ be finite sets of size $n$. We show that $F$ vanishes on at most $O(n^{11/6})$ points of the Cartesian product $A\times B\times C$, unless $F$ has a special group-related form. This improves a theorem of Elekes and Szabó [Combinatorica, 2012], and generalizes a result of Raz, Sharir, and Solymosi [Amer. J. Math., to appear]. The same statement holds over $\mathbb{R}$, and a similar statement holds when $A, B, C$ have different sizes (with a more involved bound replacing $O(n^{11/6})$).
This result provides a unified tool for improving bounds in various Erd\H os-type problems in combinatorial geometry, and we discuss several applications of this kind.
△ Less
Submitted 20 April, 2015;
originally announced April 2015.
-
The number of unit-area triangles in the plane: Theme and variations
Authors:
Orit E. Raz,
Micha Sharir
Abstract:
We show that the number of unit-area triangles determined by a set $S$ of $n$ points in the plane is $O(n^{20/9})$, improving the earlier bound $O(n^{9/4})$ of Apfelbaum and Sharir [Discrete Comput. Geom., 2010]. We also consider two special cases of this problem: (i) We show, using a somewhat subtle construction, that if $S$ consists of points on three lines, the number of unit-area triangles tha…
▽ More
We show that the number of unit-area triangles determined by a set $S$ of $n$ points in the plane is $O(n^{20/9})$, improving the earlier bound $O(n^{9/4})$ of Apfelbaum and Sharir [Discrete Comput. Geom., 2010]. We also consider two special cases of this problem: (i) We show, using a somewhat subtle construction, that if $S$ consists of points on three lines, the number of unit-area triangles that $S$ spans can be $Ω(n^2)$, for any triple of lines (it is always $O(n^2)$ in this case). (ii) We show that if $S$ is a {\em convex grid} of the form $A\times B$, where $A$, $B$ are {\em convex} sets of $n^{1/2}$ real numbers each (i.e., the sequences of differences of consecutive elements of $A$ and of $B$ are both strictly increasing), then $S$ determines $O(n^{31/14})$ unit-area triangles.
△ Less
Submitted 11 April, 2015; v1 submitted 2 January, 2015;
originally announced January 2015.
-
Partial-Matching and Hausdorff RMS Distance Under Translation: Combinatorics and Algorithms
Authors:
Rinat Ben-Avraham,
Matthias Henze,
Rafel Jaume,
Balázs Keszegh,
Orit E. Raz,
Micha Sharir,
Igor Tubis
Abstract:
We consider the RMS distance (sum of squared distances between pairs of points) under translation between two point sets in the plane, in two different setups. In the partial-matching setup, each point in the smaller set is matched to a distinct point in the bigger set. Although the problem is not known to be polynomial, we establish several structural properties of the underlying subdivision of t…
▽ More
We consider the RMS distance (sum of squared distances between pairs of points) under translation between two point sets in the plane, in two different setups. In the partial-matching setup, each point in the smaller set is matched to a distinct point in the bigger set. Although the problem is not known to be polynomial, we establish several structural properties of the underlying subdivision of the plane and derive improved bounds on its complexity. These results lead to the best known algorithm for finding a translation for which the partial-matching RMS distance between the point sets is minimized. In addition, we show how to compute a local minimum of the partial-matching RMS distance under translation, in polynomial time. In the Hausdorff setup, each point is paired to its nearest neighbor in the other set. We develop algorithms for finding a local minimum of the Hausdorff RMS distance in nearly linear time on the line, and in nearly quadratic time in the plane. These improve substantially the worst-case behavior of the popular ICP heuristics for solving this problem.
△ Less
Submitted 26 November, 2014;
originally announced November 2014.
-
Sets with few distinct distances do not have heavy lines
Authors:
Orit E. Raz,
Oliver Roche-Newton,
Micha Sharir
Abstract:
Let $P$ be a set of $n$ points in the plane that determines at most $n/5$ distinct distances. We show that no line can contain more than $O(n^{43/52}{\rm polylog}(n))$ points of $P$. We also show a similar result for rectangular distances, equivalent to distances in the Minkowski plane, where the distance between a pair of points is the area of the axis-parallel rectangle that they span.
Let $P$ be a set of $n$ points in the plane that determines at most $n/5$ distinct distances. We show that no line can contain more than $O(n^{43/52}{\rm polylog}(n))$ points of $P$. We also show a similar result for rectangular distances, equivalent to distances in the Minkowski plane, where the distance between a pair of points is the area of the axis-parallel rectangle that they span.
△ Less
Submitted 7 October, 2014;
originally announced October 2014.
-
On triple intersections of three families of unit circles
Authors:
Orit E. Raz,
Micha Sharir,
József Solymosi
Abstract:
Let $p_1,p_2,p_3$ be three distinct points in the plane, and, for $i=1,2,3$, let $\mathcal C_i$ be a family of $n$ unit circles that pass through $p_i$. We address a conjecture made by Székely, and show that the number of points incident to a circle of each family is $O(n^{11/6})$, improving an earlier bound for this problem due to Elekes, Simonovits, and Szabó [Combin. Probab. Comput., 2009]. The…
▽ More
Let $p_1,p_2,p_3$ be three distinct points in the plane, and, for $i=1,2,3$, let $\mathcal C_i$ be a family of $n$ unit circles that pass through $p_i$. We address a conjecture made by Székely, and show that the number of points incident to a circle of each family is $O(n^{11/6})$, improving an earlier bound for this problem due to Elekes, Simonovits, and Szabó [Combin. Probab. Comput., 2009]. The problem is a special instance of a more general problem studied by Elekes and Szabó [Combinatorica, 2012] (and by Elekes and Rónyai [J. Combin. Theory Ser. A, 2000]).
△ Less
Submitted 13 July, 2016; v1 submitted 24 July, 2014;
originally announced July 2014.
-
Polynomials vanishing on grids: The Elekes-Rónyai problem revisited
Authors:
Orit E. Raz,
Micha Sharir,
József Solymosi
Abstract:
In this paper we characterize real bivariate polynomials which have a small range over large Cartesian products. We show that for every constant-degree bivariate real polynomial $f$, either $|f(A,B)|=Ω(n^{4/3})$, for every pair of finite sets $A,B\subset{\mathbb R}$, with $|A|=|B|=n$ (where the constant of proportionality depends on ${\rm deg} f$), or else $f$ must be of one of the special forms…
▽ More
In this paper we characterize real bivariate polynomials which have a small range over large Cartesian products. We show that for every constant-degree bivariate real polynomial $f$, either $|f(A,B)|=Ω(n^{4/3})$, for every pair of finite sets $A,B\subset{\mathbb R}$, with $|A|=|B|=n$ (where the constant of proportionality depends on ${\rm deg} f$), or else $f$ must be of one of the special forms $f(u,v)=h(\varphi(u)+ψ(v))$, or $f(u,v)=h(\varphi(u)\cdotψ(v))$, for some univariate polynomials $\varphi,ψ,h$ over ${\mathbb R}$. This significantly improves a result of Elekes and Rónyai (2000).
Our results are cast in a more general form, in which we give an upper bound for the number of zeros of $z=f(x,y)$ on a triple Cartesian product $A\times B\times C$, when the sizes $|A|$, $|B|$, $|C|$ need not be the same; the upper bound is $O(n^{11/6})$ when $|A|=|B|=|C|=n$, where the constant of proportionality depends on ${\rm deg} f$, unless $f$ has one of the aforementioned special forms.
This result provides a unified tool for improving bounds in various Erd\H os-type problems in geometry and additive combinatorics. Several applications of our results to problems of these kinds are presented. For example, we show that the number of distinct distances between $n$ points lying on a constant-degree parametric algebraic curve which does not contain a line, in any dimension, is $Ω(n^{4/3})$, extending the result of Pach and de Zeeuw (2013) and improving the bound of Charalambides (2012), for the special case where the curve under consideration has a polynomial parameterization. We also derive improved lower bounds for several variants of the sum-product problem in additive combinatorics.
△ Less
Submitted 19 March, 2014; v1 submitted 29 January, 2014;
originally announced January 2014.
-
On the zone of the boundary of a convex body
Authors:
Orit Esther Raz
Abstract:
We consider an arrangement $\A$ of $n$ hyperplanes in $\R^d$ and the zone $\Z$ in $\A$ of the boundary of an arbitrary convex set in $\R^d$ in such an arrangement. We show that, whereas the combinatorial complexity of $\Z$ is known only to be $O<n^{d-1}\log n>$ \cite{APS}, the outer part of the zone has complexity $O<n^{d-1}>$ (without the logarithmic factor). Whether this bound also holds for the…
▽ More
We consider an arrangement $\A$ of $n$ hyperplanes in $\R^d$ and the zone $\Z$ in $\A$ of the boundary of an arbitrary convex set in $\R^d$ in such an arrangement. We show that, whereas the combinatorial complexity of $\Z$ is known only to be $O<n^{d-1}\log n>$ \cite{APS}, the outer part of the zone has complexity $O<n^{d-1}>$ (without the logarithmic factor). Whether this bound also holds for the complexity of the inner part of the zone is still an open question (even for $d=2$).
△ Less
Submitted 10 June, 2013;
originally announced June 2013.
