The union of unit balls has quadratic complexity, even if they all contain the origin

Herve Bronnimann,Olivier Devillers

DOI: https://doi.org/10.48550/arXiv.cs/9907025

IF: 0.455

1999-07-16

Computational Geometry

Abstract:We provide a lower bound construction showing that the union of unit balls in three-dimensional space has quadratic complexity, even if they all contain the origin. This settles a conjecture of Sharir.

What problem does this paper attempt to address?

Decomposing the Complement of the Union of Cubes and Boxes in Three Dimensions

Pankaj K. Agarwal,Micha Sharir,Alex Steiger

DOI: https://doi.org/10.1007/s00454-024-00632-2

2024-03-04

Discrete & Computational Geometry

Abstract:Let be a set of n axis-aligned cubes of arbitrary sizes in in general position. Let be their union, and let be the number of vertices on ; can vary between O (1) and . We present a partition of into axis-aligned boxes with pairwise-disjoint interiors that can be computed in time if the faces of are pre-computed. We also show that a partition of size , where is the number of input cubes that appear on , can be computed in time if the faces of are pre-computed. The complexity and runtime bounds improve to if all cubes in are congruent and the faces of are pre-computed. Finally, we show that if is a set of arbitrary axis-aligned boxes in , then a partition of into boxes can be computed in time , where is, as above, the number of vertices in , which now can vary between O (1) and .

mathematics,computer science, theory & methods
Bounded-- yes, but 4?

Paul D. Humke,Cameron Marcott,Bjorn Mellem,Cole Stiegler

DOI: https://doi.org/10.48550/arXiv.1507.08536

2015-07-25

Metric Geometry

Abstract:In this paper we will examine unions of oriented and non-oriented unit squares in same plane and measure the ratio of perimeter to area of these unions. In 1998, T. Keleti published the conjecture that this ratio never exceeds 4. We outline the current state of research on this conjecture and give two proofs of a special case. Finally, we explore the difficulties that arise from using similar methods in the general case and examine properties of any potential counterexample.
A quadratic Roth theorem for sets with large Hausdorff dimensions

Junjie Zhu

2024-10-13

Abstract:Many results in harmonic analysis and geometric measure theory ensure the existence of geometric configurations under the largeness of sets, which are sometimes specified via the ball condition and Fourier decay. Recently, Kuca, Opronon, Sahlsten, and Bruce, Pramanik proved a Sarkozy-like theorem, which removes the Fourier decay condition and shows that sets with large Hausdorff dimensions contain two-point patterns. This paper explores the existence of a three-point configuration that relies solely on the Hausdorff dimension.

Classical Analysis and ODEs
Certain smooth real surfaces in $\mathbb{C}^2$ with singularity

Sushil Gorai

2024-03-04

Abstract:Under certain geometric condition, the surfaces in $\mathbb{C}^2$ with isolated CR singularity at the origin and with cubic lowest degree homogeneous term in its graph near the origin, can be reduced, up to biholomorphism of $\mathbb{C}^2$, to a one parameter family of the form \[ M_t:=\left\{(z,w)\in\mathbb{C}^2: w=z^2\overline{z}+tz\overline{z}^2+\dfrac{t^2}{3} \overline{z}^3+o(|z|^3)\right\},\;\; t\in (0,\infty) \] near the origin. We prove that $M_t$ is not locally polynomially convex if $t<1$. The local hull contains a ball centred at the origin if $t<\sqrt{3}/2$. We also prove that $M_t$ is locally polynomially convex for $t\geq\dfrac{\sqrt{15-\sqrt{33}}}{2\sqrt{2}}=1.076...$. We show that, for $\sqrt{3}/2\leq t<1$, the local hull of $M_t$ contains a one parameter family of analytic discs passing through the origin. We also show that local polynomial convexity of the union of finitely many pairwise transverse totally-real submanifolds of $\mathbb{C}^n$ at the origin (their intersection) implies local polynomial convexity of the union of their sufficiently small $\mathscr{C}^1$-perturbation at their intersection, the origin. Some new results about the local polynomial convexity of the union of three totally-real planes are also reported.

Complex Variables
A quadratic lower bound for the number of minimal geodesics

Bernd Ammann,Clara Loeh

2024-04-11

Abstract:A minimal geodesic on a Riemannian manifold is a geodesic defined on $\mathbb{R}$ that lifts to a globally distance minimizing curve on the universal covering. Bangert proved that there is a lower bound for the number of geometrically distinct minimal geodesics of closed Riemannian manifolds that is linear in the first Betti number, using the stable norm unit ball on the first homology. We refine this method to obtain a quadratic lower bound.

Differential Geometry
Uniformity of quadratic points

Tangli Ge

2024-11-23

Abstract:In this paper, we extend a uniformity result of Dimitrov-Gao-Habegger to dimension two and use it to get a uniform bound on the set of all quadratic points for non-hyperelliptic non-bielliptic curves in terms of the Mordell-Weil rank.

Algebraic Geometry,Number Theory
On Boltyanski and Gohberg's Partition Conjecture

Jun Wang,Fei Xue,Chuanming Zong

DOI: https://doi.org/10.1112/blms.12919

IF: 1.036

2024-01-01

Bulletin of the London Mathematical Society

Abstract:In 1965, Boltyanski and Gohberg made the following conjecture: Every bounded set in an n-dimensional normed space can be divided into 2(n) subsets of smaller diameters. In this paper, we prove the following result: Every bounded set in an n-dimensional normed space can be divided into 2((1+o(1))n) subsets of smaller diameters.
Bounds on some geometric functionals of high dimensional Brownian convex hulls and their inverse processes

Hugo Panzo,Evan Socher

2024-08-12

Abstract:We prove two-sided bounds on the expected values of several geometric functionals of the convex hull of Brownian motion in $\mathbb{R}^n$ and their inverse processes. This extends some recent results of McRedmond and Xu (2017), Jovalekić (2021), and Cygan, Šebek, and the first author (2023) from the plane to higher dimensions. Our main result shows that the average time required for the convex hull in $\mathbb{R}^n$ to attain unit volume is at most $n\sqrt[n]{n!}$. The proof relies on a novel procedure that embeds an $n$-simplex of prescribed volume within the convex hull of the Brownian path run up to a certain stopping time. All of our bounds capture the correct order of asymptotic growth or decay in the dimension $n$.

Probability,Metric Geometry
Quantitative Steinitz theorem: A spherical version

Grigory Ivanov,Márton Naszódi

2023-11-30

Abstract:Steinitz's theorem states that if the origin belongs to the interior of the convex hull of a set $Q \subset \mathbb{R}^d$, then there are at most $2d$ points $Q^\prime$ of $Q$ whose convex hull contains the origin in the interior. Bárány, Katchalski and Pach gave a quantitative version whereby the radius of the ball contained in the convex hull of $Q^\prime$ is bounded from below. In the present note, we show that a Euclidean result of this kind implies a corresponding spherical version.

Metric Geometry
Another low-technology estimate in convex geometry

Greg Kuperberg

DOI: https://doi.org/10.48550/arXiv.math/9804023

1998-04-06

Abstract:We give a short argument that for some C > 0, every n-dimensional Banach ball K admits a 256-round subquotient of dimension at least C n/(log n). This is a weak version of Milman's quotient of subspace theorem, which lacks the logarithmic factor.

Metric Geometry
Quantitative Steinitz Theorem: A polynomial bound

Grigory Ivanov,Márton Naszódi

DOI: https://doi.org/10.1112/blms.12965

2023-11-30

Abstract:The classical Steinitz theorem states that if the origin belongs to the interior of the convex hull of a set $S \subset \mathbb{R}^d$, then there are at most $2d$ points of $S$ whose convex hull contains the origin in the interior. Bárány, Katchalski, and Pach proved the following quantitative version of Steinitz's theorem. Let $Q$ be a convex polytope in $\mathbb{R}^d$ containing the standard Euclidean unit ball $\mathbf{B}^d$. Then there exist at most $2d$ vertices of $Q$ whose convex hull $Q^\prime$ satisfies \[ r \mathbf{B}^d \subset Q^\prime \] with $r\geq d^{-2d}$. They conjectured that $r\geq c d^{-1/2}$ holds with a universal constant $c>0$. We prove $r \geq \frac{1}{5d^2}$, the first polynomial lower bound on $r$. Furthermore, we show that $r$ is not be greater than $\frac{2}{\sqrt{d}}$.

Metric Geometry,Combinatorics,Functional Analysis
Abelian integrals for quadratic centres having almost all their orbits formed by quartics*

Weigu Li,Yulin Zhao,Chengzhi Li,Zhifen Zhang

DOI: https://doi.org/10.1088/0951-7715/15/3/321

2002-01-01

Nonlinearity

Abstract:In this paper, we give an upper bound on the number of zeros of Abelian integrals for the quadratic centres having almost all their orbits formed by quartics, under polynomial perturbations of arbitrary degree n. The bound is linearly dependent on n.
Restriction estimates for quadratic manifolds of arbitrary codimensions

Shengwen Gan,Larry Guth,Changkeun Oh

2023-08-12

Abstract:The restriction conjecture is one of the famous problems in harmonic analysis. There have been many methods developed in the study of the conjecture for the paraboloid. In this paper, we generalize the multilinear method of Bourgain and Guth for the paraboloid, and obtain restriction estimates for all quadratic manifolds of arbitrary codimensions. In particular, our theorem recovers the main theorem of Bourgain and Guth for the paraboloid. A new ingredient is a covering lemma for varieties whose proof relies on Tarski's projection theorem in real algebraic geometry. We also provide algorithms to compute several algebraic quantities that naturally appear in the argument. These algorithms rely on a cylindrical decomposition in real algebraic geometry.

Classical Analysis and ODEs
On the Quantum Query Complexity of Local Search in Two and Three Dimensions

Xiaoming Sun,Andrew Chi-Chih Yao

DOI: https://doi.org/10.1007/s00453-008-9170-6

IF: 0.909

2008-01-01

Algorithmica

Abstract:The quantum query complexity of searching for local optima has been a subject of much interest in the recent literature. For the d -dimensional grid graphs, the complexity has been determined asymptotically for all fixed d ≥5, but the lower dimensional cases present special difficulties, and considerable gaps exist in our knowledge. In the present paper we present near-optimal lower bounds, showing that the quantum query complexity for the 2-dimensional grid [ n ] 2 is Ω( n 1/2− δ ), and that for the 3-dimensional grid [ n ] 3 is Ω( n 1− δ ), for any fixed δ >0. A general lower bound approach for this problem, initiated by Aaronson (based on Ambainis’ adversary method for quantum lower bounds), uses random walks with low collision probabilities. This approach encounters obstacles in deriving tight lower bounds in low dimensions due to the lack of degrees of freedom in such spaces. We solve this problem by the novel construction and analysis of random walks with non-uniform step lengths. The proof employs in a nontrivial way sophisticated results of Sárközy and Szemerédi, Bose and Chowla, and Halász from combinatorial number theory, as well as less familiar probability tools like Esseen’s Inequality.
On the central ball in a translation invariant involutive field

Cristian Cobeli,Aaditya Raghavan,Alexandru Zaharescu

2024-08-04

Abstract:The iterated composition of two operators, both of which are involutions and translation invariant, partitions the set of lattice points in the plane into an infinite sequence of discrete parabolas. Each such parabola contains an associated stairway-like path connecting certain points on it, induced by the alternating application of the aforementioned operators. Any two lattice points in the plane can be connected by paths along the square grid composed of steps either on these stairways or towards taxicab neighbors. This leads to the notion of the parabolic-taxicab distance between two lattice points, obtained as the minimum number of steps of this kind needed to reach one point from the other. In this paper, we describe patterns generated by points on paths of bounded parabolic-taxicab length and provide a complete description of the balls centered at the origin. In particular, we prove an earlier conjecture on the area of these balls.

Number Theory,Combinatorics
An inverse theorem for the Gowers $U^3$-norm relative to quadratic level sets

Sean Prendiville

2024-09-12

Abstract:We prove an effective version of the inverse theorem for the Gowers $U^3$-norm for functions supported on high-rank quadratic level sets in finite vector spaces. For configurations controlled by the $U^3$-norm (complexity-two configurations), this enables one to run a density increment argument with respect to quadratic level sets, which are analogues of Bohr sets in the context of quadratic Fourier analysis on finite vector spaces. We demonstrate such an argument by deriving an exponential bound on the Ramsey number of three-term progressions which are the same colour as their common difference (``Brauer quadruples''), a result we have been unable to establish by other means. Our methods also yield polylogarithmic bounds on the density of sets lacking translation-invariant configurations of complexity two. Such bounds for four-term progressions were obtained by Green and Tao using a simpler weak-regularity argument. In an appendix, we give an example of how to generalise Green and Tao's argument to other translation-invariant configurations of complexity two. However, this crucially relies on an estimate coming from the Croot-Lev-Pach polynomial method, which may not be applicable to all systems of complexity two. Hence running a density increment with respect to quadratic level sets may still prove useful for such problems. It may also serve as a model for running density increments on more general nil-Bohr sets, with a view to effectivising other Szemerédi-type theorems.

Combinatorics,Number Theory
Integral zeros of quadratic polynomials avoiding sublattices

Lenny Fukshansky,Sehun Jeong

2024-09-17

Abstract:Assuming an integral quadratic polynomial with nonsingular quadratic part has a nontrivial zero on an integer lattice outside of a union of finite-index sublattices, we prove that there exists such a zero of bounded norm and provide an explicit bound. This is a contribution related to the celebrated theorem of Cassels on small-height zeros of quadratic forms, which builds on some previous work in this area. We also demonstrate an application of these results to the problem of effective distribution of angles between vectors in the integer lattice.

Number Theory
Free boundary minimal disks in convex balls

Robert Haslhofer,Daniel Ketover

2023-07-05

Abstract:In this paper, we prove that every strictly convex 3-ball with nonnegative Ricci-curvature contains at least 3 embedded free-boundary minimal 2-disks for any generic metric, and at least 2 solutions even without genericity assumption. Our approach combines ideas from mean curvature flow, min-max theory and degree theory. We also establish the existence of smooth free-boundary mean-convex foliations. In stark contrast to our prior work in the closed setting, the present result is sharp for generic metrics.

Differential Geometry,Analysis of PDEs,Geometric Topology
Selected topics from the theory of intersections of balls

Károly Bezdek,Zsolt Lángi,Márton Naszódi

2024-11-15

Abstract:In this survey, we discuss volumetric and combinatorial results concerning (mostly finite) intersections or unions of balls (mostly of equal radii) in the $d$-dimensional real vector space, mostly equipped with the Euclidean norm. Our first topic is the Kneser-Poulsen Conjecture, according to which if a finite number of unit balls are rearranged so that the pairwise distances of the centers increase, then the volume of the union (resp., intersection) increases (resp., decreases). Next, we discuss Blaschke-Santaló type, and isoperimetric inequalities for convex sets in Euclidean $d$-space obtained as intersections of (possibly infinitely many) unit balls, which we call spindle convex sets. We present some results on spindle convex sets in the plane, with special attention paid to their approximation by the spindle convex hull of a finite subset. A ball-polyhedron is a convex body obtained as the intersection of finitely many unit balls in Euclidean $d$-space. We consider the combinatorial structure of their faces, and volumetric properties of ball polyhedra obtained from choosing the centers of the balls randomly.

Metric Geometry
Noncommutative Bohnenblust-Hille inequalities

Alexander Volberg,Haonan Zhang

DOI: https://doi.org/10.1007/s00208-023-02680-0

Abstract:Bohnenblust-Hille inequalities for Boolean cubes have been proven with dimension-free constants that grow subexponentially in the degree (Defant et al. in Math Ann 374(1):653-680, 2019). Such inequalities have found great applications in learning low-degree Boolean functions (Eskenazis and Ivanisvili in Proceedings of the 54th annual ACM SIGACT symposium on theory of computing, pp 203-207, 2022). Motivated by learning quantum observables, a qubit analogue of Bohnenblust-Hille inequality for Boolean cubes was recently conjectured in Rouzé et al. (Quantum Talagrand, KKL and Friedgut's theorems and the learnability of quantum Boolean functions, 2022. arXiv preprint arXiv:2209.07279). The conjecture was resolved in Huang et al. (Learning to predict arbitrary quantum processes, 2022. arXiv preprint arXiv:2210.14894). In this paper, we give a new proof of these Bohnenblust-Hille inequalities for qubit system with constants that are dimension-free and of exponential growth in the degree. As a consequence, we obtain a junta theorem for low-degree polynomials. Using similar ideas, we also study learning problems of low degree quantum observables and Bohr's radius phenomenon on quantum Boolean cubes.

The union of unit balls has quadratic complexity, even if they all contain the origin

Decomposing the Complement of the Union of Cubes and Boxes in Three Dimensions

Bounded-- yes, but 4?

A quadratic Roth theorem for sets with large Hausdorff dimensions

Certain smooth real surfaces in $\mathbb{C}^2$ with singularity

A quadratic lower bound for the number of minimal geodesics

Uniformity of quadratic points

On Boltyanski and Gohberg's Partition Conjecture

Bounds on some geometric functionals of high dimensional Brownian convex hulls and their inverse processes

Quantitative Steinitz theorem: A spherical version

Another low-technology estimate in convex geometry

Quantitative Steinitz Theorem: A polynomial bound

Abelian integrals for quadratic centres having almost all their orbits formed by quartics*

Restriction estimates for quadratic manifolds of arbitrary codimensions

On the Quantum Query Complexity of Local Search in Two and Three Dimensions

On the central ball in a translation invariant involutive field

An inverse theorem for the Gowers $U^3$-norm relative to quadratic level sets

Integral zeros of quadratic polynomials avoiding sublattices

Free boundary minimal disks in convex balls

Selected topics from the theory of intersections of balls

Noncommutative Bohnenblust-Hille inequalities