-
On the lower bounds for the spherical cap discrepancy
Authors:
Dmitriy Bilyk,
Johann S. Brauchart
Abstract:
We start by providing a very simple and elementary new proof of the classical bound due to J. Beck which states that the spherical cap $\mathbb{L}_2$-discrepancy of any $N$ points on the unit sphere $\mathbb S^d$ in $\mathbb{R}^{d+1}$, $d\geq2$, is at least of the order $N^{-\frac12-\frac{1}{2d}}$. The argument used in this proof leads us to many further new results: estimates of the discrepancy i…
▽ More
We start by providing a very simple and elementary new proof of the classical bound due to J. Beck which states that the spherical cap $\mathbb{L}_2$-discrepancy of any $N$ points on the unit sphere $\mathbb S^d$ in $\mathbb{R}^{d+1}$, $d\geq2$, is at least of the order $N^{-\frac12-\frac{1}{2d}}$. The argument used in this proof leads us to many further new results: estimates of the discrepancy in terms of various geometric quantities, an easy proof of {point-independent} upper estimates for the sum of positive powers of Euclidean distances between points on the sphere, lower bounds for the discrepancy of rectifiable curves and sets of arbitrary Hausdorff dimension.
Moreover, refinements of the proof also allow us to obtain explicit values of the constants in the lower discrepancy bound on $\mathbb{S}^d$. The value of the obtained asymptotic constant falls within $3\%$ of the conjectured optimal constant on $\mathbb S^2$ (and within up to $7\%$ on $\mathbb S^4$, $\mathbb S^8$, $\mathbb S^{24}$).
△ Less
Submitted 21 February, 2025;
originally announced February 2025.
-
Regularizing random points by deleting a few
Authors:
Dmitriy Bilyk,
Stefan Steinerberger
Abstract:
It is well understood that if one is given a set $X \subset [0,1]$ of $n$ independent uniformly distributed random variables, then $$ \sup_{0 \leq x \leq 1} \left| \frac{\# X \cap [0,x]}{\# X} - x \right| \lesssim \frac{\sqrt{\log{n}}}{ \sqrt{n}} \qquad \mbox{with very high probability.} $$ We show that one can improve the error term by removing a few of the points. For any $m \leq 0.001n$ there e…
▽ More
It is well understood that if one is given a set $X \subset [0,1]$ of $n$ independent uniformly distributed random variables, then $$ \sup_{0 \leq x \leq 1} \left| \frac{\# X \cap [0,x]}{\# X} - x \right| \lesssim \frac{\sqrt{\log{n}}}{ \sqrt{n}} \qquad \mbox{with very high probability.} $$ We show that one can improve the error term by removing a few of the points. For any $m \leq 0.001n$ there exists a subset $Y \subset X$ obtained by deleting at most $m$ points, so that the error term drops from $\sim \sqrt{\log{n}}/\sqrt{n}$ to $ \log{(n)}/m$ with high probability. When $m=cn$ for a small $0 \leq c \leq 0.001$, this achieves the essentially optimal asymptotic order of discrepancy $\log(n)/n$. The proof is constructive and works in an online setting (where one is given the points sequentially, one at a time, and has to decide whether to keep or discard it). A change of variables shows the same result for any random variables on the real line with absolutely continuous density.
△ Less
Submitted 23 January, 2025;
originally announced January 2025.
-
Positive definite singular kernels on two-point homogeneous spaces
Authors:
Dmitriy Bilyk,
Peter Grabner
Abstract:
We study positive definiteness of kernels $K(x,y)$ on two-point homogeneous
spaces. As opposed to the classical case, which has been developed and studied
in the existing literature, we allow the kernel to have an (integrable)
singularity for $x=y$. Specifically, the Riesz kernel $d(x,y)^{-s}$ (where
$d$ denotes some distance on the space) is a prominent example. We derive
results analog…
▽ More
We study positive definiteness of kernels $K(x,y)$ on two-point homogeneous
spaces. As opposed to the classical case, which has been developed and studied
in the existing literature, we allow the kernel to have an (integrable)
singularity for $x=y$. Specifically, the Riesz kernel $d(x,y)^{-s}$ (where
$d$ denotes some distance on the space) is a prominent example. We derive
results analogous to Schoenberg's characterization of positive definite
functions on the sphere, Schur's lemma on the positive definiteness of the
product of positive definite functions, and Schoenberg's characterization of
functions positive definite on all spheres. We use these results to better
understand the behavior of the Riesz kernels for the geodesic and chordal
distances on projective spaces.
△ Less
Submitted 29 October, 2024;
originally announced October 2024.
-
Geodesic Distance Riesz Energy on Projective Spaces
Authors:
Dmitriy Bilyk,
Ryan W. Matzke,
Joel Nathe
Abstract:
We study probability measures that minimize the Riesz energy with respect to the geodesic distance $\vartheta (x,y)$ on projective spaces $\mathbb{FP}^d$ (such energies arise from the 1959 conjecture of Fejes Tóth about sums of non-obtuse angles), i.e. the integral \begin{equation} \frac{1}{s} \int_{\mathbb{FP}^d} \int_{\mathbb{FP}^d} \big( \vartheta (x,y) \big)^{-s} dμ(x) dμ(y) \,\,\, \text{ for…
▽ More
We study probability measures that minimize the Riesz energy with respect to the geodesic distance $\vartheta (x,y)$ on projective spaces $\mathbb{FP}^d$ (such energies arise from the 1959 conjecture of Fejes Tóth about sums of non-obtuse angles), i.e. the integral \begin{equation} \frac{1}{s} \int_{\mathbb{FP}^d} \int_{\mathbb{FP}^d} \big( \vartheta (x,y) \big)^{-s} dμ(x) dμ(y) \,\,\, \text{ for } \,\,\, s<d \end{equation}
and find ranges of the parameter $s$ for which the energy is minimized by the uniform measure $σ$ on $\mathbb{FP}^d$. To this end, we use various methods of harmonic analysis, such as Cesàro averages of Jacobi expansions and $A_1$ inequalities, and establish a rather general theorem guaranteeing that certain energies with singular kernels are minimized by $σ$.
In addition, we obtain further results and present numerical evidence, which uncover a peculiar effect that minimizers this energy undergo numerous phase transitions, in sharp contrast with many analogous known examples (even the seemingly similar geodesic Riesz energy on the sphere), which usually have only one transition (between uniform and discrete minimizers).
△ Less
Submitted 24 September, 2024;
originally announced September 2024.
-
Single radius spherical cap discrepancy via gegenbadly approximable numbers
Authors:
Dmitriy Bilyk,
Michelle Mastrianni,
Stefan Steinerberger
Abstract:
A celebrated result of Beck shows that for any set of $N$ points on $\mathbb{S}^d$ there always exists a spherical cap $B \subset \mathbb{S}^d$ such that number of points in the cap deviates from the expected value $σ(B) \cdot N$ by at least $N^{1/2 - 1/2d}$, where $σ$ is the normalized surface measure. We refine the result and show that, when $d \not\equiv 1 ~(\mbox{mod}~4)$, there exists a (smal…
▽ More
A celebrated result of Beck shows that for any set of $N$ points on $\mathbb{S}^d$ there always exists a spherical cap $B \subset \mathbb{S}^d$ such that number of points in the cap deviates from the expected value $σ(B) \cdot N$ by at least $N^{1/2 - 1/2d}$, where $σ$ is the normalized surface measure. We refine the result and show that, when $d \not\equiv 1 ~(\mbox{mod}~4)$, there exists a (small and very specific) set of real numbers such that for every $r>0$ from the set one is always guaranteed to find a spherical cap $C_r$ with the given radius $r$ for which the result holds. The main new ingredient is a generalization of the notion of badly approximable numbers to the setting of Gegenbauer polynomials: these are fixed numbers $ x \in (-1,1)$ such that the sequence of Gegenbauer polynomials $(C_n^λ(x))_{n=1}^{\infty}$ avoids being close to 0 in a precise quantitative sense.
△ Less
Submitted 12 September, 2023; v1 submitted 1 August, 2023;
originally announced August 2023.
-
A random line intersects $\mathbb{S}^2$ in two probabilistically independent locations
Authors:
Dmitriy Bilyk,
Alan Chang,
Otte Heinävaara,
Ryan W. Matzke,
Stefan Steinerberger
Abstract:
We consider random lines in $\mathbb{R}^3$ (random with respect to the kinematic measure) and how they intersect $\mathbb{S}^2$. It is known that the entry point and the exit point behave like \textit{independent} uniformly distributed random variables. We give a new proof using bilinear integral geometry and use this approach to show that this property is extremely rare: if…
▽ More
We consider random lines in $\mathbb{R}^3$ (random with respect to the kinematic measure) and how they intersect $\mathbb{S}^2$. It is known that the entry point and the exit point behave like \textit{independent} uniformly distributed random variables. We give a new proof using bilinear integral geometry and use this approach to show that this property is extremely rare: if $K \subset \mathbb{R}^n$ is a bounded, convex domain with smooth boundary with this property (i.e., the intersection points with a random line are independent), then $n=3$ and $K$ is a ball.
△ Less
Submitted 4 August, 2023; v1 submitted 9 July, 2023;
originally announced July 2023.
-
Optimal Measures for Multivariate Geometric Potentials
Authors:
Dmitriy Bilyk,
Damir Ferizović,
Alexey Glazyrin,
Ryan W. Matzke,
Josiah Park,
Oleksandr Vlasiuk
Abstract:
We study measures and point configurations optimizing energies based on multivariate potentials. The emphasis is put on potentials defined by geometric characteristics of sets of points, which serve as multi-input generalizations of the well-known Riesz potentials for pairwise interaction. One of such potentials is volume squared of the simplex with vertices at the $k \ge 3$ given points: we show…
▽ More
We study measures and point configurations optimizing energies based on multivariate potentials. The emphasis is put on potentials defined by geometric characteristics of sets of points, which serve as multi-input generalizations of the well-known Riesz potentials for pairwise interaction. One of such potentials is volume squared of the simplex with vertices at the $k \ge 3$ given points: we show that the arising energy is maximized by balanced isotropic measures, in contrast to the classical two-input energy. These results are used to obtain interesting geometric optimality properties of the regular simplex. As the main machinery, we adapt the semidefinite programming method to this context and establish relevant versions of the $k$-point bounds.
△ Less
Submitted 24 March, 2023;
originally announced March 2023.
-
Optimizers of three-point energies and nearly orthogonal sets
Authors:
Dmitriy Bilyk,
Damir Ferizović,
Alexey Glazyrin,
Ryan Matzke,
Josiah Park,
Oleksandr Vlasiuk
Abstract:
This paper is devoted to spherical measures and point configurations optimizing three-point energies. Our main goal is to extend the classic optimization problems based on pairs of distances between points to the context of three-point potentials. In particular, we study three-point analogues of the sphere packing problem and the optimization problem for $p$-frame energies based on three points. I…
▽ More
This paper is devoted to spherical measures and point configurations optimizing three-point energies. Our main goal is to extend the classic optimization problems based on pairs of distances between points to the context of three-point potentials. In particular, we study three-point analogues of the sphere packing problem and the optimization problem for $p$-frame energies based on three points. It turns out that both problems are inherently connected to the problem of nearly orthogonal sets by Erdős. As the outcome, we provide a new solution of the Erdős problem from the three-point packing perspective. We also show that the orthogonal basis uniquely minimizes the $p$-frame three-point energy when $0<p<1$ in all dimensions. The arguments make use of multivariate polynomials employed in semidefinite programming and based on the classical Gegenbauer polynomials. For $p=1$, we completely solve the analogous problem on the circle. As for higher dimensions, we show that the Hausdorff dimension of minimizers is not greater than $d-2$ for measures on $\mathbb{S}^{d-1}$. As the main ingredient of our proof, we show that the only isotropic measure without obtuse angles is the uniform distribution over an orthonormal basis.
△ Less
Submitted 21 March, 2023;
originally announced March 2023.
-
Polarization and Greedy Energy on the Sphere
Authors:
Dmitriy Bilyk,
Michelle Mastrianni,
Ryan W. Matzke,
Stefan Steinerberger
Abstract:
We investigate the behavior of a greedy sequence on the sphere $\mathbb{S}^d$ defined so that at each step the point that minimizes the Riesz $s$-energy is added to the existing set of points. We show that for $0<s<d$, the greedy sequence achieves optimal second-order behavior for the Riesz $s$-energy (up to constants). In order to obtain this result, we prove that the second-order term of the max…
▽ More
We investigate the behavior of a greedy sequence on the sphere $\mathbb{S}^d$ defined so that at each step the point that minimizes the Riesz $s$-energy is added to the existing set of points. We show that for $0<s<d$, the greedy sequence achieves optimal second-order behavior for the Riesz $s$-energy (up to constants). In order to obtain this result, we prove that the second-order term of the maximal polarization with Riesz $s$-kernels is of order $N^{s/d}$ in the same range $0<s<d$. Furthermore, using the Stolarsky principle relating the $L^2$-discrepancy of a point set with the pairwise sum of distances (Riesz energy with $s=-1$), we also obtain a simple upper bound on the $L^2$-spherical cap discrepancy of the greedy sequence and give numerical examples that indicate that the true discrepancy is much lower.
△ Less
Submitted 30 July, 2023; v1 submitted 25 February, 2023;
originally announced February 2023.
-
Lower bounds for the directional discrepancy with respect to an interval of rotations
Authors:
Dmitriy Bilyk,
Michelle Mastrianni
Abstract:
We show that the lower bound for the optimal directional discrepancy with respect to the class of rectangles in $\mathbb{R}^2$ rotated in a restricted interval of directions $[-θ, θ]$ with $θ< \fracπ{4}$ is of the order at least $N^{1/5}$ with a constant depending on $θ$.
We show that the lower bound for the optimal directional discrepancy with respect to the class of rectangles in $\mathbb{R}^2$ rotated in a restricted interval of directions $[-θ, θ]$ with $θ< \fracπ{4}$ is of the order at least $N^{1/5}$ with a constant depending on $θ$.
△ Less
Submitted 24 September, 2022;
originally announced September 2022.
-
Positive definiteness and the Stolarsky invariance principle
Authors:
Dmitriy Bilyk,
Ryan Matzke,
Oleksandr Vlasiuk
Abstract:
In this paper we elaborate on the interplay between energy optimization, positive definiteness, and discrepancy. In particular, assuming the existence of a $K$-invariant measure $μ$ with full support, we show that conditional positive definiteness of a kernel $K$ is equivalent to a long list of other properties: including, among others, convexity of the energy functional, inequalities for mixed en…
▽ More
In this paper we elaborate on the interplay between energy optimization, positive definiteness, and discrepancy. In particular, assuming the existence of a $K$-invariant measure $μ$ with full support, we show that conditional positive definiteness of a kernel $K$ is equivalent to a long list of other properties: including, among others, convexity of the energy functional, inequalities for mixed energies, and the fact that $μ$ minimizes the energy integral in various senses. In addition, we prove a very general form of the Stolarsky Invariance Principle on compact spaces, which connects energy minimization and discrepancy and extends several previously known versions.
△ Less
Submitted 8 October, 2021;
originally announced October 2021.
-
Potential theory with multivariate kernels
Authors:
Dmitriy Bilyk,
Damir Ferizović,
Alexey Glazyrin,
Ryan Matzke,
Josiah Park,
Oleksandr Vlasiuk
Abstract:
In the present paper we develop the theory of minimization for energies with multivariate kernels, i.e. energies, in which pairwise interactions are replaced by interactions between triples or, more generally, $n$-tuples of particles. Such objects, which arise naturally in various fields, present subtle differences and complications when compared to the classical two-input case. We introduce appro…
▽ More
In the present paper we develop the theory of minimization for energies with multivariate kernels, i.e. energies, in which pairwise interactions are replaced by interactions between triples or, more generally, $n$-tuples of particles. Such objects, which arise naturally in various fields, present subtle differences and complications when compared to the classical two-input case. We introduce appropriate analogues of conditionally positive definite kernels, establish a series of relevant results in potential theory, explore rotationally invariant energies on the sphere, and present a variety of interesting examples, in particular, some optimization problems in probabilistic geometry which are related to multivariate versions of the Riesz energies.
△ Less
Submitted 7 April, 2021;
originally announced April 2021.
-
Energy on spheres and discreteness of minimizing measures
Authors:
Dmitriy Bilyk,
Alexey Glazyrin,
Ryan Matzke,
Josiah Park,
Oleksandr Vlasiuk
Abstract:
In the present paper we study the minimization of energy integrals on the sphere with a focus on an interesting clustering phenomenon: for certain types of potentials, optimal measures are discrete or are supported on small sets. In particular, we prove that the support of any minimizer of the $p$-frame energy has empty interior whenever $p$ is not an even integer. A similar effect is also demonst…
▽ More
In the present paper we study the minimization of energy integrals on the sphere with a focus on an interesting clustering phenomenon: for certain types of potentials, optimal measures are discrete or are supported on small sets. In particular, we prove that the support of any minimizer of the $p$-frame energy has empty interior whenever $p$ is not an even integer. A similar effect is also demonstrated for energies with analytic potentials which are not positive definite. In addition, we establish the existence of discrete minimizers for a large class of energies, which includes energies with polynomial potentials.
△ Less
Submitted 27 August, 2019;
originally announced August 2019.
-
Optimal measures for p-frame energies on spheres
Authors:
Dmitriy Bilyk,
Alexey Glazyrin,
Ryan Matzke,
Josiah Park,
Oleksandr Vlasiuk
Abstract:
We provide new answers about the placement of mass on spheres so as to minimize energies of pairwise interactions. We find optimal measures for the $p$-frame energies, i.e. energies with the kernel given by the absolute value of the inner product raised to a positive power $p$. Application of linear programming methods in the setting of projective spaces allows for describing the minimizing measur…
▽ More
We provide new answers about the placement of mass on spheres so as to minimize energies of pairwise interactions. We find optimal measures for the $p$-frame energies, i.e. energies with the kernel given by the absolute value of the inner product raised to a positive power $p$. Application of linear programming methods in the setting of projective spaces allows for describing the minimizing measures in full in several cases: we show optimality of tight designs and of the $600$-cell for several ranges of $p$ in different dimensions. Our methods apply to a much broader class of potential functions, those which are absolutely monotonic up to a particular order as functions of the cosine of the geodesic distance. In addition, a preliminary numerical study is presented which suggests optimality of several other highly symmetric configurations and weighted designs in low dimensions. In one case we improve the best known lower bounds on a minimal sized weighted design in $\mathbb{CP}^4$. All these results point to the discreteness of minimizing measures for the $p$-frame energy with $p$ not an even integer.
△ Less
Submitted 30 August, 2021; v1 submitted 2 August, 2019;
originally announced August 2019.
-
On the Fejes Tóth Problem about the Sum of Angles Between Lines
Authors:
Dmitriy Bilyk,
Ryan W Matzke
Abstract:
In 1959 Fejes Tóth posed a conjecture that the sum of pairwise non-obtuse angles between $N$ unit vectors in $\mathbb S^d$ is maximized by periodically repeated elements of the standard orthonormal basis. We obtain new improved upper bounds for this sum, as well as for the corresponding energy integral. We also provide several new approaches to the only settled case of the conjecture: $d=1$.
In 1959 Fejes Tóth posed a conjecture that the sum of pairwise non-obtuse angles between $N$ unit vectors in $\mathbb S^d$ is maximized by periodically repeated elements of the standard orthonormal basis. We obtain new improved upper bounds for this sum, as well as for the corresponding energy integral. We also provide several new approaches to the only settled case of the conjecture: $d=1$.
△ Less
Submitted 23 January, 2018;
originally announced January 2018.
-
General and Refined Montgomery Lemmata
Authors:
Dmitriy Bilyk,
Feng Dai,
Stefan Steinerberger
Abstract:
Montgomery's Lemma on the torus $\mathbb{T}^d$ states that a sum of $N$ Dirac masses cannot be orthogonal to many low-frequency trigonometric functions in a quantified way. We provide an extension to general manifolds that also allows for positive weights: let $(M,g)$ be a smooth compact $d-$dimensional manifold without boundary, let $(φ_k)_{k=0}^{\infty}$ denote the Laplacian eigenfunctions, let…
▽ More
Montgomery's Lemma on the torus $\mathbb{T}^d$ states that a sum of $N$ Dirac masses cannot be orthogonal to many low-frequency trigonometric functions in a quantified way. We provide an extension to general manifolds that also allows for positive weights: let $(M,g)$ be a smooth compact $d-$dimensional manifold without boundary, let $(φ_k)_{k=0}^{\infty}$ denote the Laplacian eigenfunctions, let $\left\{ x_1, \dots, x_N\right\} \subset M$ be a set of points and $\left\{a_1, \dots, a_N\right\} \subset \mathbb{R}_{\geq 0}$ be a sequence of nonnegative weights. Then $$\sum_{k=0}^{X}{ \left| \sum_{n=1}^{N}{ a_n φ_k(x_n)} \right|^2} \gtrsim_{(M,g)} \left(\sum_{i=1}^{N}{a_i^2} \right) \frac{ X}{(\log{X})^{\frac{d}{2}}}.$$ This result is sharp up to the logarithmic factor. Furthermore, we prove a refined spherical version of Montgomery's Lemma, and provide applications to estimates of discrepancy and discrete energies of $N$ points on the sphere $\mathbb{S}^{d}$.
△ Less
Submitted 23 January, 2018;
originally announced January 2018.
-
Tusnády's problem, the transference principle, and non-uniform QMC sampling
Authors:
Christoph Aistleitner,
Dmitriy Bilyk,
Aleksandar Nikolov
Abstract:
It is well-known that for every $N \geq 1$ and $d \geq 1$ there exist point sets $x_1, \dots, x_N \in [0,1]^d$ whose discrepancy with respect to the Lebesgue measure is of order at most $(\log N)^{d-1} N^{-1}$. In a more general setting, the first author proved together with Josef Dick that for any normalized measure $μ$ on $[0,1]^d$ there exist points $x_1, \dots, x_N$ whose discrepancy with resp…
▽ More
It is well-known that for every $N \geq 1$ and $d \geq 1$ there exist point sets $x_1, \dots, x_N \in [0,1]^d$ whose discrepancy with respect to the Lebesgue measure is of order at most $(\log N)^{d-1} N^{-1}$. In a more general setting, the first author proved together with Josef Dick that for any normalized measure $μ$ on $[0,1]^d$ there exist points $x_1, \dots, x_N$ whose discrepancy with respect to $μ$ is of order at most $(\log N)^{(3d+1)/2} N^{-1}$. The proof used methods from combinatorial mathematics, and in particular a result of Banaszczyk on balancings of vectors. In the present note we use a version of the so-called transference principle together with recent results on the discrepancy of red-blue colorings to show that for any $μ$ there even exist points having discrepancy of order at most $(\log N)^{d-\frac12} N^{-1}$, which is almost as good as the discrepancy bound in the case of the Lebesgue measure.
△ Less
Submitted 17 March, 2017;
originally announced March 2017.
-
Geodesic distance Riesz energy on the sphere
Authors:
Dmitriy Bilyk,
Feng Dai
Abstract:
We study energy integrals and discrete energies on the sphere, in particular, analogs of the Riesz energy with the geodesic distance in place of Euclidean, and observe that the range of exponents for which the uniform distribution optimizes such energies is different from the classical case. We also obtain a general form of the Stolarsky principle, which relates discrete energies to certain $L^2$…
▽ More
We study energy integrals and discrete energies on the sphere, in particular, analogs of the Riesz energy with the geodesic distance in place of Euclidean, and observe that the range of exponents for which the uniform distribution optimizes such energies is different from the classical case. We also obtain a general form of the Stolarsky principle, which relates discrete energies to certain $L^2$ discrepancies. This leads to new proofs of discrepancy estimates, as well as the sharp asymptotics of the difference between optimal discrete and continuous energies in the geodesic case.
△ Less
Submitted 26 December, 2016;
originally announced December 2016.
-
Stolarsky principle and energy optimization on the sphere
Authors:
Dmitriy Bilyk,
Feng Dai,
Ryan Matzke
Abstract:
The classical Stolarsky invariance principle connects the spherical cap $L^2$ discrepancy of a finite point set on the sphere to the pairwise sum of Euclidean distances between the points. In this paper we further explore and extend this phenomenon. In addition to a new elementary proof of this fact, we establish several new analogs, which relate various notions of discrepancy to different discret…
▽ More
The classical Stolarsky invariance principle connects the spherical cap $L^2$ discrepancy of a finite point set on the sphere to the pairwise sum of Euclidean distances between the points. In this paper we further explore and extend this phenomenon. In addition to a new elementary proof of this fact, we establish several new analogs, which relate various notions of discrepancy to different discrete energies. In particular, we find that the hemisphere discrepancy is related to the sum of geodesic distances. We also extend these results to arbitrary measures on the sphere and arbitrary notions of discrepancy and apply them to problems of energy optimization and combinatorial geometry and find that, surprisingly, the geodesic distance energy behaves differently than its Euclidean counterpart.
△ Less
Submitted 14 November, 2016;
originally announced November 2016.
-
Random Tessellations, Restricted Isometric Embeddings, and One Bit Sensing
Authors:
Dmitriy Bilyk,
Michael T. Lacey
Abstract:
We obtain mproved bounds for one bit sensing. For instance, let $ K_s$ denote the set of $ s$-sparse unit vectors in the sphere $ \mathbb S ^{n}$ in dimension $ n+1$ with sparsity parameter $ 0 < s < n+1$ and assume that $ 0 < δ< 1$. We show that for $ m \gtrsim δ^{-2} s \log \frac ns$, the one-bit map $$ x \mapsto \bigl[ {sgn} \langle x,g_j \rangle \bigr] _{j=1} ^{m}, $$ where $ g_j$ are iid gaus…
▽ More
We obtain mproved bounds for one bit sensing. For instance, let $ K_s$ denote the set of $ s$-sparse unit vectors in the sphere $ \mathbb S ^{n}$ in dimension $ n+1$ with sparsity parameter $ 0 < s < n+1$ and assume that $ 0 < δ< 1$. We show that for $ m \gtrsim δ^{-2} s \log \frac ns$, the one-bit map $$ x \mapsto \bigl[ {sgn} \langle x,g_j \rangle \bigr] _{j=1} ^{m}, $$ where $ g_j$ are iid gaussian vectors on $ \mathbb R ^{n+1}$, with high probability has $ δ$-RIP from $ K_s$ into the $ m$-dimensional Hamming cube. These bounds match the bounds for the {linear} $ δ$-RIP given by $ x \mapsto \frac 1m[\langle x,g_j \rangle ] _{j=1} ^{m} $, from the sparse vectors in $ \mathbb R ^{n}$ into $ \ell ^{1}$. In other words, the one bit and linear RIPs are equally effective. There are corresponding improvements for other one-bit properties, such as the sign-product RIP property.
△ Less
Submitted 21 December, 2015;
originally announced December 2015.
-
One Bit Sensing, Discrepancy, and Stolarsky Principle
Authors:
Dmitriy Bilyk,
Michael T. Lacey
Abstract:
A sign-linear one bit map from the $ d$-dimensional sphere $ \mathbb S ^{d}$ to the $ n$-dimensional Hamming cube $ H^n= \{ -1, +1\} ^{n}$ is given by $$ x \to \{ \mbox{sign} (x \cdot z_j) \;:\; 1\leq j \leq n\} $$ where $ \{z_j\} \subset \mathbb S ^{d}$. For $ 0 < δ< 1$, we estimate $ N (d, δ)$, the smallest integer $ n$ so that there is a sign-linear map which has the $ δ$-restricted isometric p…
▽ More
A sign-linear one bit map from the $ d$-dimensional sphere $ \mathbb S ^{d}$ to the $ n$-dimensional Hamming cube $ H^n= \{ -1, +1\} ^{n}$ is given by $$ x \to \{ \mbox{sign} (x \cdot z_j) \;:\; 1\leq j \leq n\} $$ where $ \{z_j\} \subset \mathbb S ^{d}$. For $ 0 < δ< 1$, we estimate $ N (d, δ)$, the smallest integer $ n$ so that there is a sign-linear map which has the $ δ$-restricted isometric property, where we impose normalized geodesic distance on $ \mathbb S ^{d}$, and Hamming metric on $ H^n$. Up to a polylogarithmic factor, $ N (d, δ) \approx δ^{-2 + \frac2{d+1}}$, which has a dimensional correction in the power of $ δ$. This is a question that arises from the one bit sensing literature, and the method of proof follows from geometric discrepancy theory. We also obtain an analogue of the Stolarsky invariance principle for this situation, which implies that minimizing the $L^2$ average of the embedding error is equivalent to minimizing the discrete energy $\sum_{i,j} \big( \frac12 - d(z_i,z_j) \big)^2$, where $d$ is the normalized geodesic distance.
△ Less
Submitted 12 December, 2016; v1 submitted 26 November, 2015;
originally announced November 2015.
-
The two-dimensional small ball inequality and binary nets
Authors:
Dmitriy Bilyk,
Naomi Feldheim
Abstract:
In the current paper we present a new proof of the small ball inequality in two dimensions. More importantly, this new argument, based on an approach inspired by lacunary Fourier series, reveals the first formal connection between this inequality and discrepancy theory, namely the construction of two-dimensional binary nets, i.e. finite sets which are perfectly distributed with respect to dyadic r…
▽ More
In the current paper we present a new proof of the small ball inequality in two dimensions. More importantly, this new argument, based on an approach inspired by lacunary Fourier series, reveals the first formal connection between this inequality and discrepancy theory, namely the construction of two-dimensional binary nets, i.e. finite sets which are perfectly distributed with respect to dyadic rectangles. This relation allows one to generate all possible point distributions of this type. In addition, we outline a potential approach to the higher-dimensional small ball inequality by a dimension reduction argument. In particular this gives yet another proof of the two-dimensional signed (i.e. coefficients $\pm 1$) small ball inequality by reducing it to a simple one-dimensional estimate. However, we show that an analogous estimate fails to hold for arbitrary coefficients.
△ Less
Submitted 23 November, 2015;
originally announced November 2015.
-
BMO and exponential Orlicz space estimates of the discrepancy function in arbitrary dimension
Authors:
Dmitriy Bilyk,
Lev Markhasin
Abstract:
In the current paper we obtain discrepancy estimates in exponential Orlicz and BMO spaces in arbitrary dimension $d \ge 3$. In particular, we use dyadic harmonic analysis to prove that for the so-called digital nets of order $2$ the BMO${}^d$ and $\exp \big( L^{2/(d-1)} \big)$ norms of the discrepancy function are bounded above by $(\log N)^{\frac{d-1}{2}}$. The latter bound has been recently conj…
▽ More
In the current paper we obtain discrepancy estimates in exponential Orlicz and BMO spaces in arbitrary dimension $d \ge 3$. In particular, we use dyadic harmonic analysis to prove that for the so-called digital nets of order $2$ the BMO${}^d$ and $\exp \big( L^{2/(d-1)} \big)$ norms of the discrepancy function are bounded above by $(\log N)^{\frac{d-1}{2}}$. The latter bound has been recently conjectured in several papers and is consistent with the best known low-discrepancy constructions. Such estimates play an important role as an intermediate step between the well-understood $L_p$ bounds and the notorious open problem of finding the precise $L_\infty$ asymptotics of the discrepancy function in higher dimensions, which is still elusive.
△ Less
Submitted 9 July, 2015; v1 submitted 21 November, 2014;
originally announced November 2014.
-
Estimates of the Discrepancy Function in Exponential Orlicz Spaces
Authors:
Gagik Amirkhanyan,
Dmitriy Bilyk,
Michael T Lacey
Abstract:
We prove that in all dimensions n at least 3, for every integer N there exists a distribution of points of cardinality $ N$, for which the associated discrepancy function D_N satisfies the estimate an estimate, of sharp growth rate in N, in the exponential Orlicz class exp)L^{2/(n+1)}. This has recently been proved by M.~Skriganov, using random digit shifts of binary digital nets, building upon th…
▽ More
We prove that in all dimensions n at least 3, for every integer N there exists a distribution of points of cardinality $ N$, for which the associated discrepancy function D_N satisfies the estimate an estimate, of sharp growth rate in N, in the exponential Orlicz class exp)L^{2/(n+1)}. This has recently been proved by M.~Skriganov, using random digit shifts of binary digital nets, building upon the remarkable examples of W.L.~Chen and M.~Skriganov. Our approach, developed independently, complements that of Skriganov.
△ Less
Submitted 7 June, 2013;
originally announced June 2013.
-
Dichotomy Results for the L1 Norm of the Discrepancy Function
Authors:
Gagik Amirkhanyan,
Dmitriy Bilyk,
Michael T Lacey
Abstract:
It is a well-known conjecture in the theory of irregularities of distribution that the L1 norm of the discrepancy function of an N-point set satisfies the same asymptotic lower bounds as its L^2 norm. In dimension d=2 this fact has been established by Halasz, while in higher dimensions the problem is wide open. In this note, we establish a series of dichotomy-type results which state that if the L…
▽ More
It is a well-known conjecture in the theory of irregularities of distribution that the L1 norm of the discrepancy function of an N-point set satisfies the same asymptotic lower bounds as its L^2 norm. In dimension d=2 this fact has been established by Halasz, while in higher dimensions the problem is wide open. In this note, we establish a series of dichotomy-type results which state that if the L^1 norm of the discrepancy function is too small (smaller than the conjectural bound), then the discrepancy function has to be large in some other function space.
△ Less
Submitted 3 August, 2013; v1 submitted 7 June, 2013;
originally announced June 2013.
-
The Supremum Norm of the Discrepancy Function: Recent Results and Connections
Authors:
Dmitriy Bilyk,
Michael T Lacey
Abstract:
A great challenge in the analysis of the discrepancy function D_N is to obtain universal lower bounds on the L-infty norm of D_N in dimensions d \geq 3. It follows from the average case bound of Klaus Roth that the L-infty norm of D_N is at least (log N) ^{(d-1)/2}. It is conjectured that the L-infty bound is significantly larger, but the only definitive result is that of Wolfgang Schmidt in dimen…
▽ More
A great challenge in the analysis of the discrepancy function D_N is to obtain universal lower bounds on the L-infty norm of D_N in dimensions d \geq 3. It follows from the average case bound of Klaus Roth that the L-infty norm of D_N is at least (log N) ^{(d-1)/2}. It is conjectured that the L-infty bound is significantly larger, but the only definitive result is that of Wolfgang Schmidt in dimension d=2. Partial improvements of the Roth exponent (d-1)/2 in higher dimensions have been established by the authors and Armen Vagharshakyan. We survey these results, the underlying methods, and some of their connections to other subjects in probability, approximation theory, and analysis.
△ Less
Submitted 21 September, 2012; v1 submitted 27 July, 2012;
originally announced July 2012.
-
Directional discrepancy in two dimensions
Authors:
Dmitriy Bilyk,
Xiaomin Ma,
Jill Pipher,
Craig Spencer
Abstract:
In the present paper, we study the geometric discrepancy with respect to families of rotated rectangles. The well-known extremal cases are the axis-parallel rectangles (logarithmic discrepancy) and rectangles rotated in all possible directions (polynomial discrepancy). We study several intermediate situations: lacunary sequences of directions, lacunary sets of finite order, and sets with small M…
▽ More
In the present paper, we study the geometric discrepancy with respect to families of rotated rectangles. The well-known extremal cases are the axis-parallel rectangles (logarithmic discrepancy) and rectangles rotated in all possible directions (polynomial discrepancy). We study several intermediate situations: lacunary sequences of directions, lacunary sets of finite order, and sets with small Minkowski dimension. In each of these cases, extensions of a lemma due to Davenport allow us to construct appropriate rotations of the integer lattice which yield small discrepancy.
△ Less
Submitted 20 November, 2009;
originally announced November 2009.
-
A Three Dimensional Signed Small Ball Inequality
Authors:
Dmitriy Bilyk,
Michael T. Lacey,
Ioannis Parissis,
Armen Vagharshakyan
Abstract:
The Small Ball Inequality is a conjectural lower bound on sums the L-infinity norm of sums of Haar functions supported on dyadic rectangles of a fixed volume in the unit cube. The conjecture is fundamental to questions in discrepancy theory, approximation theory and probability theory. In this article, we concentrate on a special case of the conjecture, and give the best known lower bound in dim…
▽ More
The Small Ball Inequality is a conjectural lower bound on sums the L-infinity norm of sums of Haar functions supported on dyadic rectangles of a fixed volume in the unit cube. The conjecture is fundamental to questions in discrepancy theory, approximation theory and probability theory. In this article, we concentrate on a special case of the conjecture, and give the best known lower bound in dimension 3, using a conditional expectation argument.
△ Less
Submitted 30 January, 2010; v1 submitted 28 September, 2009;
originally announced September 2009.
-
Cyclic shifts of the van der Corput set
Authors:
Dmitriy Bilyk
Abstract:
In [13], K. Roth showed that the expected value of the $L^2$ discrepancy of the cyclic shifts of the $N$ point van der Corput set is bounded by a constant multiple of $\sqrt{\log N}$, thus guaranteeing the existence of a shift with asymptotically minimal $L^2$ discrepancy, [11]. In the present paper, we construct a specific example of such a shift.
In [13], K. Roth showed that the expected value of the $L^2$ discrepancy of the cyclic shifts of the $N$ point van der Corput set is bounded by a constant multiple of $\sqrt{\log N}$, thus guaranteeing the existence of a shift with asymptotically minimal $L^2$ discrepancy, [11]. In the present paper, we construct a specific example of such a shift.
△ Less
Submitted 12 November, 2008;
originally announced November 2008.
-
Exponential Squared Integrability for the Discrepancy Function in Two Dimensions
Authors:
Dmitriy Bilyk,
Michael T. Lacey,
Ioannis Parissis,
Armen Vagharshakyan
Abstract:
Let A_N be an N-point distribution in the unit square in the Euclidean plane. We consider the Discrepancy function D_N(x) in two dimensions with respect to rectangles with lower left corner anchored at the origin and upper right corner at the point x. This is the difference between the actual number of points of A_N in such a rectangle and the expected number of points - N x_1x_2 - in the rectan…
▽ More
Let A_N be an N-point distribution in the unit square in the Euclidean plane. We consider the Discrepancy function D_N(x) in two dimensions with respect to rectangles with lower left corner anchored at the origin and upper right corner at the point x. This is the difference between the actual number of points of A_N in such a rectangle and the expected number of points - N x_1x_2 - in the rectangle. We prove sharp estimates for the BMO norm and the exponential squared Orlicz norm of D_N(x). For example we show that necessarily ||D_N||_(expL^2) >c(logN)^(1/2) for some aboslute constant c>0. On the other hand we use a digit scrambled version of the van der Corput set to show that this bound is tight in the case N=2^n, for some positive integer n. These results unify the corresponding classical results of Roth and Schmidt in a sharp fashion.
△ Less
Submitted 18 March, 2009; v1 submitted 30 October, 2008;
originally announced October 2008.
-
Composition of Haar Paraproducts: The Random Case
Authors:
Dmitriy Bilyk,
Michael Lacey,
Xiaochun Li,
Brett Wick
Abstract:
When is the composition of paraproducts bounded? This is an important, and difficult question, related to to a question of Sarason on composition of Hankel matrices, and the two-weight problem for the Hilbert transform. We consider randomized variants of this question, finding non-classical characterizations, for dyadic paraproducts.
When is the composition of paraproducts bounded? This is an important, and difficult question, related to to a question of Sarason on composition of Hankel matrices, and the two-weight problem for the Hilbert transform. We consider randomized variants of this question, finding non-classical characterizations, for dyadic paraproducts.
△ Less
Submitted 6 March, 2008; v1 submitted 5 March, 2008;
originally announced March 2008.
-
On the Signed Small Ball Inequality
Authors:
Dmitriy Bilyk,
Michael T Lacey,
Armen Vagharshakyan
Abstract:
This paper is a companion to our prior paper arXiv:0705.4619 on the `Small Ball Inequality in All Dimensions.' In it, we address a more restrictive inequality, and obtain a non-trivial, explicit bound, using a single essential estimate from our prior paper. The prior bound was not explicit and much more involved.
This paper is a companion to our prior paper arXiv:0705.4619 on the `Small Ball Inequality in All Dimensions.' In it, we address a more restrictive inequality, and obtain a non-trivial, explicit bound, using a single essential estimate from our prior paper. The prior bound was not explicit and much more involved.
△ Less
Submitted 17 September, 2007;
originally announced September 2007.
-
On the Small Ball Inequality in All Dimensions
Authors:
Dmitry Bilyk,
Michael Lacey,
Armen Vagharshakyan
Abstract:
Let h_R denote an L ^{\infty} normalized Haar function adapted to a dyadic rectangle R contained in the unit cube in dimension d. We establish a non-trivial lower bound on the L^{\infty} norm of the `hyperbolic' sums $$ \sum _{|R|=2 ^{-n}} α(R) h_R (x) $$ The lower bound is non-trivial in that we improve the average case bound by n^η for some positive η, a function of dimension d. As far as the…
▽ More
Let h_R denote an L ^{\infty} normalized Haar function adapted to a dyadic rectangle R contained in the unit cube in dimension d. We establish a non-trivial lower bound on the L^{\infty} norm of the `hyperbolic' sums $$ \sum _{|R|=2 ^{-n}} α(R) h_R (x) $$ The lower bound is non-trivial in that we improve the average case bound by n^η for some positive η, a function of dimension d. As far as the authors know, this is the first result of this type in dimension 4 and higher.
This question is related to Conjectures in (1) Irregularity of Distributions, (2) Approximation Theory and (3) Probability Theory. The method of proof of this paper gives new results on these conjectures in all dimensions 4 and higher.
This paper builds upon prior work of Jozef Beck, from 1989, and first two authors from 2006. These results were of the same nature, but only in dimension 3.
△ Less
Submitted 16 September, 2007; v1 submitted 31 May, 2007;
originally announced May 2007.
-
On the Small Ball Inequality in Three Dimensions
Authors:
Michael T Lacey,
Dmitry Bilyk
Abstract:
We prove an inequality related to questions in Approximation Theory, Probability Theory, and to Irregularities of Distribution.
Let $h_R$ denote an $L ^{\infty}$ normalized Haar function adapted to a dyadic rectangle $R\subset [0,1] ^{3}$. We show that there is a postive $η$ so that for all integers $n$, and coefficients $ α(R)$ we have
2 ^{-n} \sum_{\abs{R}=2 ^{-n}} \abs{α(R)} {}\lesssim{}…
▽ More
We prove an inequality related to questions in Approximation Theory, Probability Theory, and to Irregularities of Distribution.
Let $h_R$ denote an $L ^{\infty}$ normalized Haar function adapted to a dyadic rectangle $R\subset [0,1] ^{3}$. We show that there is a postive $η$ so that for all integers $n$, and coefficients $ α(R)$ we have
2 ^{-n} \sum_{\abs{R}=2 ^{-n}} \abs{α(R)} {}\lesssim{} n ^{1 - η} \NOrm \sum_{\abs{R}=2 ^{-n}} α(R) h_R >.\infty .
This is an improvement over the `trivial' estimate by an amount of $n ^{- η}$, and the optimal value of $η$ (which we do not prove) would be $ η=\frac12$. There is a corresponding lower bound on the $L ^{\infty}$ norm of the Discrepancy function of an arbitary distribution of a finite number of points in the unit cube in three dimensions. The prior result, in dimension 3, is that of J{ó}zsef Beck \cite{MR1032337}, in which the improvement over the trivial estimate was logarithmic in $n$. We find several simplifications and extensions of Beck's argument to prove the result above.
△ Less
Submitted 21 June, 2007; v1 submitted 28 September, 2006;
originally announced September 2006.
