Covering all but the low weight vertices of the unit cube

Peter Sziklai,Zsuzsa Weiner

DOI: https://doi.org/10.1016/j.jcta.2022.105671

2023-04-01

Abstract:In this paper we discuss a result similar to the polynomial version of the Alon-Füredi theorem. We prove that if you want to cover the vertices of the $n$-dimensional unit cube, except those of weight at most $r$ then you need an algebraic surface of degree at least $n-r$.

Combinatorics

What problem does this paper attempt to address?

About almost covering subsets of the hypercube

Arijit Ghosh,Chandrima Kayal,Soumi Nandi

2024-09-25

Abstract:Let $\mathbb{F}$ be a field, and consider the hypercube $\{ 0, 1 \}^{n}$ in $\mathbb{F}^{n}$. Sziklai and Weiner (Journal of Combinatorial Theory, Series A 2022) showed that if a polynomial $P ( X_{1}, \dots, X_{n} ) \in \mathbb{F}[ X_{1}, \dots, X_{n}]$ vanishes on every point of the hypercube $\{0,1\}^{n}$ except those with at most $r$ many ones then the degree of the polynomial will be at least $n-r$. This is a generalization of Alon and Füredi's fundamental result (European Journal of Combinatorics 1993) about polynomials vanishing on every point of the hypercube except at the origin (point with all zero coordinates). Sziklai and Weiner proved their interesting result using Möbius inversion formula and the Zeilberger method for proving binomial equalities. In this short note, we show that a stronger version of Sziklai and Weiner's result can be derived directly from Alon and Füredi's result.

Combinatorics,Discrete Mathematics
A Lower Bound for Essential Covers of the Cube

Yehuda, Gal

DOI: https://doi.org/10.1007/s00493-024-00093-4

2024-04-24

COMBINATORICA

Abstract:The amount of hyperplanes that are needed in order to cover the Boolean cube has been studied in various contexts. Linial and Radhakrishnan introduced the notion of essential covers. An essential cover is a collection of hyperplanes that form a minimal cover of the vertices of the hypercube, and every coordinate is influential in at least one of the hyperplanes. Linial and Radhakrishnan proved using algebraic tools that every essential cover of the n -cube must be of size at least . We devise a stronger lower bound method, and show that the size of every essential cover is at least . This result has implications in proof complexity, because essential covers have been used to prove lower bounds for several proof systems.

mathematics
Essential covers of the hypercube require many hyperplanes

Lisa Sauermann,Zixuan Xu

2023-10-09

Abstract:We prove a new lower bound for the almost 20 year old problem of determining the smallest possible size of an essential cover of the $n$-dimensional hypercube $\{\pm 1\}^n$, i.e. the smallest possible size of a collection of hyperplanes that forms a minimal cover of $\{\pm 1\}^n$ and such that furthermore every variable appears with a non-zero coefficient in at least one of the hyperplane equations. We show that such an essential cover must consist of at least $10^{-2}\cdot n^{2/3}/(\log n)^{2/3}$ hyperplanes, improving previous lower bounds of Linial-Radhakrishnan, of Yehuda-Yehudayoff and of Araujo-Balogh-Mattos.

Combinatorics
New lower bounds for essential covers of the cube

Igor Araujo,József Balogh,Letícia Mattos

DOI: https://doi.org/10.1007/s11856-024-2695-9

2024-12-05

Israel Journal of Mathematics

Abstract:An essential cover of the vertices of the n -cube {0, 1} n by hyperplanes is a minimal covering where no hyperplane is redundant and every variable appears in the equation of at least one hyperplane. Linial and Radhakrishnan gave a construction of an essential cover with hyperplanes and showed that hyperplanes are required. Recently, Yehuda and Yehudayoff improved the lower bound by showing that any essential cover of the n -cube contains at least Ω( n 0.52 ) hyperplanes. In this paper, building on the method of Yehuda and Yehudayoff, we prove that hyperplanes are needed.

mathematics
Uniformity in cube-covering systems

J. Beck,W.W.L. Chen

2024-05-28

Abstract:We establish various analogs of the Kronecker-Weyl equidistribution theorem that can be considered higher-dimensional versions of results established in our earlier investigation of the discrete 2-circle problem studied in 1969 by Veech. Whereas the Veech problem can be viewed as one of geodesic flow on a 2-dimensional flat surface, here we study geodesic flow in higher-dimensional flat manifolds. This is more challenging, as the overwhelming majority of the available proof techniques for non-integrable flat systems are based on arguments in dimension 2. For higher dimensions, we need a new approach.

Dynamical Systems
Covering Number of Real Algebraic Varieties and Beyond: Improved Bounds and Applications

Yifan Zhang,Joe Kileel

2024-05-12

Abstract:Covering numbers are a powerful tool used in the development of approximation algorithms, randomized dimension reduction methods, smoothed complexity analysis, and others. In this paper we prove upper bounds on the covering number of numerous sets in Euclidean space, namely real algebraic varieties, images of polynomial maps and semialgebraic sets in terms of the number of variables and degrees of the polynomials involved. The bounds remarkably improve the best known general bound by Yomdin-Comte, and our proof is much more straightforward. In particular, our result gives new bounds on the volume of the tubular neighborhood of the image of a polynomial map and a semialgebraic set, where results for varieties by Lotz and Basu-Lerario are not directly applicable. We illustrate the power of the result on three computational applications. Firstly, we derive a near-optimal bound on the covering number of low rank CP tensors, quantifying their approximation properties and filling in an important missing piece of theory for tensor dimension reduction and reconstruction. Secondly, we prove a bound on the required dimension for the randomized sketching of polynomial optimization problems, which controls how much computation can be saved through randomization without sacrificing solution quality. Finally, we deduce generalization error bounds for deep neural networks with rational or ReLU activation functions, improving or matching the best known results in the machine learning literature while helping to quantify the impact of architecture choice on generalization error.

Algebraic Geometry,Machine Learning,Numerical Analysis
On the Many Faces of Easily Covered Polytopes

Dan I. Florentin,Tomer Milo

2024-10-23

Abstract:Assume that $rB_{2}^{n} \subset P$ for some polytope $P \subset \mathbb{R}^n$, where $r \in (\frac{1}{2},1]$. Denote by $\mathcal{F}$ the set of facets of $P$, and by $N=N(P,B_2^n)$ the covering number of $P$ by the Euclidean unit ball $B_2^n$. We prove that if $\log N \le\frac{n}{8}$, then \[ |\mathcal{F}| \ge \left( \frac{1}{ 2\left(1 - r \sqrt{1-\frac{4\log N}{n}}\right) } \right)^{\frac{n-1}{2}}. \]

Metric Geometry
Low cardinality positive interior cubature on NURBS-shaped domains

DOI: https://doi.org/10.1007/s10543-023-00958-y

IF: 1.856

2023-03-18

BIT Numerical Mathematics

Abstract:In this paper we propose an algorithm that computes a low cardinality PI-type (Positive weights and Interior nodes) algebraic cubature rule of degree n , with at most nodes, over curvilinear polygons defined by piecewise rational functions. Typical examples are domains whose boundary is defined piecewise by NURBS curves or by composite Bezier curves. The key tools are a relevant but overlooked theorem of 1976 by Wilhelmsen on Tchakaloff sets , a specific in-domain algorithm for such curvilinear polygons and the sparse nonnegative solution of underdetermined moment matching systems by the Lawson–Hanson Nonnegative least squares solver. Many numerical tests are performed to show the flexibility of this approach and the implemented MATLAB toolbox is freely available to the users, in particular for possible applications within FEM/VEM with NURBS-shaped curvilinear elements.

mathematics, applied,computer science, software engineering
Covering the permutohedron by affine hyperplanes

Károlyi, GY.

DOI: https://doi.org/10.1007/s10474-024-01462-7

2024-09-14

Acta Mathematica Hungarica

Abstract:An almost cover of a finite set in the affine space is a collection of hyperplanes that together cover all points of the set except one. Using the polynomial method, we determine the minimum size of an almost cover of the vertex set of the permutohedron and address a few related questions.

mathematics
Non-diagonal critical central sections of the cube

Gergely Ambrus,Barnabás Gárgyán

DOI: https://doi.org/10.1016/j.aim.2024.109524

2024-01-29

Abstract:We study the $(n-1)$-dimensional volume of central hyperplane sections of the $n$-dimensional cube $Q_n$. Our main goal is two-fold: first, we provide an alternative, simpler argument for proving that the volume of the section perpendicular to the main diagonal of the cube is strictly locally maximal for every $n \geq 4$, which was shown before by L. Pournin. Then, we prove that non-diagonal critical central sections of $Q_n$ exist in all dimensions at least $4$. The crux of both proofs is an estimate on the rate of decay of the Laplace-Pólya integral $J_n(r) = \int_{-\infty}^\infty \mathrm{sinc}^n t \cdot \cos (rt) \mathrm{d} t$ that is achieved by combinatorial means. This also yields improved bounds for Eulerian numbers of the first kind.

Metric Geometry,Combinatorics
Algebraic geometry codes over abelian surfaces containing no absolutely irreducible curves of low genus

Yves Aubry,Elena Berardini,Fabien Herbaut,Marc Perret

DOI: https://doi.org/10.1016/j.ffa.2020.101791

IF: 1.655

2021-02-01

Finite Fields and Their Applications

Abstract:We provide a theoretical study of Algebraic Geometry codes constructed from abelian surfaces defined over finite fields. We give a general bound on their minimum distance and we investigate how this estimation can be sharpened under the assumption that the abelian surface does not contain low genus curves. This approach naturally leads us to consider Weil restrictions of elliptic curves and abelian surfaces which do not admit a principal polarization.

mathematics, applied
Stabbing simplices by points and flats

Boris Bukh,Jiří Matoušek,Gabriel Nivasch

DOI: https://doi.org/10.1007/s00454-008-9124-4

2008-09-18

Abstract:The following result was proved by Barany in 1982: For every d >= 1 there exists c_d > 0 such that for every n-point set S in R^d there is a point p in R^d contained in at least c_d n^{d+1} - O(n^d) of the simplices spanned by S. We investigate the largest possible value of c_d. It was known that c_d <= 1/(2^d(d+1)!) (this estimate actually holds for every point set S). We construct sets showing that c_d <= (d+1)^{-(d+1)}, and we conjecture this estimate to be tight. The best known lower bound, due to Wagner, is c_d >= gamma_d := (d^2+1)/((d+1)!(d+1)^{d+1}); in his method, p can be chosen as any centerpoint of S. We construct n-point sets with a centerpoint that is contained in no more than gamma_d n^{d+1}+O(n^d) simplices spanned by S, thus showing that the approach using an arbitrary centerpoint cannot be further improved. We also prove that for every n-point set S in R^d there exists a (d-2)-flat that stabs at least c_{d,d-2} n^3 - O(n^2) of the triangles spanned by S, with c_{d,d-2}>=(1/24)(1- 1/(2d-1)^2). To this end, we establish an equipartition result of independent interest (generalizing planar results of Buck and Buck and of Ceder): Every mass distribution in R^d can be divided into 4d-2 equal parts by 2d-1 hyperplanes intersecting in a common (d-2)-flat.

Combinatorics,Computational Geometry
Surface branched covers and geometric 2-orbifolds

Maria Antonietta Pascali,Carlo Petronio

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

2007-09-13

Abstract:For a branched cover between two closed orientable surfaces, the Riemann-Hurwitz formula relates the Euler characteristics of the surfaces, the total degree of the cover, and the total length of the partitions of the degree given by the local degrees at the preimages of the branching points. A very old problem asks whether a collection of partitions of an integer having the appropriate total length (that we call a candidate cover) always comes from some branched cover. The answer is known to be in the affirmative whenever the candidate base surface is not the 2-sphere, while for the 2-sphere exceptions do occur. A long-standing conjecture however asserts that when the candidate degree is a prime number, a candidate cover is always realizable. In this paper we analyze the question from the point of view of the geometry of 2-orbifolds, and we provide strong supporting evidence for the conjecture. In particular, we exhibit three different sequences of candidate covers, indexed by their degree, such that for each sequence: (1) The degrees giving realizable covers have asymptotically zero density in the naturals; (2) Each prime degree gives a realizable cover.

Geometric Topology
Quatroids and Rational Plane Cubics

Taylor Brysiewicz,Fulvio Gesmundo,Avi Steiner

2023-09-14

Abstract:It is a classical result that there are $12$ (irreducible) rational cubic curves through $8$ generic points in $\mathbb{P}_{\mathbb{C}}^2$, but little is known about the non-generic cases. The space of $8$-point configurations is partitioned into strata depending on combinatorial objects we call quatroids, a higher-order version of representable matroids. We compute all $779777$ quatroids on eight distinct points in the plane, which produces a full description of the stratification. For each stratum, we generate several invariants, including the number of rational cubics through a generic configuration. As a byproduct of our investigation, we obtain a collection of results regarding the base loci of pencils of cubics and positive certificates for non-rationality.

Algebraic Geometry
Uniform dual approximation to Veronese curves in small dimension

Johannes Schleischitz

2024-05-16

Abstract:We refine upper bounds for the classical exponents of uniform approximation for a linear form on the Veronese curve in dimension from $3$ to $9$. For dimension three, this in particular shows that a bound previously obtained by two different methods is not sharp. Our proof involves parametric geometry of numbers and investigation of geometric properties of best approximation polynomials. Slightly stronger bounds have been obtained by Poels with a different method contemporarily. In fact, we obtain the same bounds as a conditional result.

Number Theory
The Turán Number of Surfaces

Maya Sankar

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

2022-10-20

Combinatorics

Abstract:We show that there is a constant $c$ such that any 3-uniform hypergraph $\mathcal H$ with $n$ vertices and at least $cn^{5/2}$ edges contains a triangulation of the real projective plane as a subgraph. This resolves a conjecture of Kupavskii, Polyanskii, Tomon, and Zakharov. Furthermore, our work, combined with prior results, asymptotically determines the Tur\'an number of all surfaces.
Eliminating Depth Cycles Among Triangles in Three Dimensions

Boris Aronov,Edward Y. Miller,Micha Sharir

DOI: https://doi.org/10.1007/s00454-020-00221-z

2020-07-14

Abstract:The vertical depth relation among n pairwise openly disjoint triangles in 3-space may contain cycles. We show that, for any $\varepsilon >0$, the triangles can be cut into $O(n^{3/2+\varepsilon })$ connected semialgebraic pieces, whose description complexity depends only on the choice of $\varepsilon $, such that the depth relation among these pieces is now a proper partial order. This bound is nearly tight in the worst case. The pieces can be constructed efficiently. This work extends the recent study by two of the authors (Discrete Comput. Geom. 59(3), 725–741 (2018)) on eliminating depth cycles among lines in 3-space. Our approach is again algebraic, and makes use of a recent variant of the polynomial partitioning technique, due to Guth (Math. Proc. Camb. Philos. Soc. 159(3), 459–469 (2015)), which leads to a recursive algorithm for cutting the triangles. In contrast to the case of lines, our analysis here is considerably more involved, due to the two-dimensional nature of the objects being cut, so additional tools, from topology and algebra, need to be brought to bear. Our result makes significant progress towards resolving a decades-old open problem in computational geometry, motivated by hidden-surface removal in computer graphics. In addition, we generalize our bound to well-behaved patches of two-dimensional algebraic surfaces of constant degree.

mathematics,computer science, theory & methods
Rational lines on cubic hypersurfaces II

Julia Brandes,Rainer Dietmann

2023-07-19

Abstract:We show that any rational cubic hypersurface of dimension at least 33 vanishes on a projective rational line, reducing the previous lower bound of Wooley by two. The main ingredient is a result on linear spaces on quadratic forms over suitable imaginary quadratic field extensions of $\mathbb Q$.

Number Theory
Integers expressible as the sum of two rational cubes

Levent Alpöge,Manjul Bhargava,Ari Shnidman

2024-10-20

Abstract:We prove that a positive proportion of integers are expressible as the sum of two rational cubes, and a positive proportion are not so expressible, thus proving a conjecture of Davenport. More generally, we prove that a positive proportion (in fact, at least one sixth) of elliptic curves in any cubic twist family have rank 0, and a positive proportion (in fact, at least one sixth) of elliptic curves with good reduction at 2 in any cubic twist family have rank 1. Our method involves proving that the average size of the 2-Selmer group of elliptic curves in any cubic twist family, having any given root number, is 3. We accomplish this by generalizing a parametrization, due to the second author and Ho, of elliptic curves with extra structure by pairs of binary cubic forms. We then use a novel combination of geometry-of-numbers methods and the circle method that builds on earlier work of Ruth and the first author. In particular, we make use of a new interpretation of the singular integral and series arising in the circle method in terms of real and $p$-adic Haar measures on the relevant group. We prove a uniformity estimate for integral points on the relevant quadric, which along with a sieve allows us to prove that the average size of the 2-Selmer group over the cubic twist family is 3. By suitably partitioning the subset of curves in the family with given root number, we effect a further sieve to show that the root number is equidistributed and that the same average, now taken over only those curves of given root number, is again 3. Finally, we apply the $p$-parity theorem of Dokchitser-Dokchitser and a $p$-converse theorem of Burungale-Skinner to conclude. We also prove the analogue of the above results for the sequence of square numbers: namely, we prove that a positive proportion of square integers are expressible as the sum of two rational cubes, and a positive proportion are not.

Number Theory,Algebraic Geometry

Covering all but the low weight vertices of the unit cube

About almost covering subsets of the hypercube

A Lower Bound for Essential Covers of the Cube

Essential covers of the hypercube require many hyperplanes

New lower bounds for essential covers of the cube

Uniformity in cube-covering systems

Covering Number of Real Algebraic Varieties and Beyond: Improved Bounds and Applications

On the Many Faces of Easily Covered Polytopes

Low cardinality positive interior cubature on NURBS-shaped domains

Covering the permutohedron by affine hyperplanes

Non-diagonal critical central sections of the cube

Algebraic geometry codes over abelian surfaces containing no absolutely irreducible curves of low genus

Stabbing simplices by points and flats

Surface branched covers and geometric 2-orbifolds

Quatroids and Rational Plane Cubics

Uniform dual approximation to Veronese curves in small dimension

The Turán Number of Surfaces

Eliminating Depth Cycles Among Triangles in Three Dimensions

Rational lines on cubic hypersurfaces II

Integers expressible as the sum of two rational cubes