English
Related papers

Related papers: VC-dimension of short Presburger formulas

200 papers

Lower and upper bounds for a given function are important in many mathematical and engineering contexts, where they often serve as a base for both analysis and application. In this short paper, we derive piecewise linear and quadratic…

Optimization and Control · Mathematics 2014-06-17 Gene A. Bunin , Grégory François , Dominique Bonvin

This paper proves Burgess bounds for short mixed character sums in multi-dimensional settings. The mixed character sums we consider involve both an exponential evaluated at a real-valued multivariate polynomial, and a product of…

Number Theory · Mathematics 2016-01-19 L. B. Pierce

We study range spaces, where the ground set consists of either polygonal curves in $\mathbb{R}^d$ or polygonal regions in the plane that may contain holes and the ranges are balls defined by an elastic distance measure, such as the…

Computational Geometry · Computer Science 2023-12-07 Frederik Brüning , Anne Driemel

Volume of metric balls relates to rate-distortion theory and packing bounds on codes. In this paper, the volume of balls in complex Grassmann manifolds is evaluated for an arbitrary radius. The ball is defined as a set of hyperplanes of a…

Information Theory · Computer Science 2015-08-04 Renaud-Alexandre Pitaval , Lu Wei , Olav Tirkkonen , Jukka Corander

We recast the problem of calculating Vapnik-Chervonenkis (VC) density into one of counting types, and thereby calculate bounds (often optimal) on the VC density for some weakly o-minimal, weakly quasi-o-minimal, and $P$-minimal theories.

Logic · Mathematics 2011-09-27 M. Aschenbrenner , A. Dolich , D. Haskell , D. Macpherson , S. Starchenko

The values of the determinant of Vandermonde matrices with real elements are analyzed both visually and analytically over the unit sphere in various dimensions. For three dimensions some generalized Vandermonde matrices are analyzed…

Classical Analysis and ODEs · Mathematics 2013-12-24 Karl Lundengård , Jonas Österberg , Sergei Silvestrov

Formal definitions of quantities, quantity spaces, dimensions and dimension groups are introduced. Based on these concepts, a theoretical framework and a practical algorithm for dimensional analysis are developed, and examples of…

History and Overview · Mathematics 2015-04-20 Dan Jonsson

In this note, we derive an improved upper bound for the VC-dimension of neural networks with polynomial activation functions. This improved bound is based on a result of Rojas on the number of connected components of a semi-algebraic set.

Optimization and Control · Mathematics 2007-05-23 J. Maurice Rojas , M. Vidyasagar

We count algebraic points of bounded height and degree on the graphs of certain functions analytic on the unit disk, obtaining a bound which is polynomial in the degree and in the logarithm of the multiplicative height. We combine this work…

Number Theory · Mathematics 2019-02-12 Gareth Boxall , Gareth Jones , Harry Schmidt

We obtain cubature formulas of volume potentials over bounded domains combining the basis functions introduced in the theory of approximate approximations with their integration over the tangential-halfspace. Then the computation is reduced…

Numerical Analysis · Mathematics 2012-10-29 F. Lanzara , V. Maz'ya , G. Schmidt

We prove a quantitative distortion theorem for iterated function systems that generate sets of continued fractions. As a consequence, we obtain upper and lower bounds on the Hausdorff dimension of any set of real or complex continued…

Number Theory · Mathematics 2020-02-25 Daniel Ingebretson

In prior work, we showed that subsets of $\mathbb{F}_{p}^{n}$ of $\mathrm{VC_{2}}$-dimension at most $k$ are well approximated by a union of atoms of a quadratic factor of complexity $(\ell,q)$, where the complexity $\ell$ of the linear…

Combinatorics · Mathematics 2025-10-17 C. Terry , J. Wolf

We perturb a real matrix $A$ of full column rank, and derive lower bounds for the smallest singular values of the perturbed matrix, in terms of normwise absolute perturbations. Our bounds, which extend existing lower-order expressions,…

Numerical Analysis · Mathematics 2024-02-22 Christos Boutsikas , Petros Drineas , Ilse C. F. Ipsen

We consider differentially private approximate singular vector computation. Known worst-case lower bounds show that the error of any differentially private algorithm must scale polynomially with the dimension of the singular vector. We are…

Data Structures and Algorithms · Computer Science 2012-11-06 Moritz Hardt , Aaron Roth

The VC-dimension of a family of sets is a measure of its combinatorial complexity used in machine learning theory, computational geometry, and even model theory. Computing the VC-dimension of the $k$-fold union of geometric set systems has…

Combinatorics · Mathematics 2025-01-20 Pantelis E. Eleftheriou , Aris Papadopoulos , Francis Westhead

The aim of the paper is twofold. Firstly, by using the constant rank level set theorem from differential geometry, we establish sharp upper bounds for the dimensions of the solution sets of polynomial variational inequalities under mild…

Optimization and Control · Mathematics 2020-01-28 Vu Trung Hieu

Alphabet size of auxiliary random variables in our canonical description is derived. Our analysis improves upon estimates known in special cases, and generalizes to an arbitrary multiterminal setup. The salient steps include decomposition…

Information Theory · Computer Science 2016-11-18 Soumya Jana

Let a vector-valued sublinear operator satisfy the size condition and be bounded on weighted Lebesgue spaces with variable exponent. Then we obtain its boundedness on weighted grand Herz-Morrey spaces with variable exponents. Next we…

Functional Analysis · Mathematics 2025-02-21 Shengrong Wang , Pengfei Guo , Jingshi Xu

This paper provides new constructive lower bounds for constant dimension codes, using different techniques such as Ferrers diagram rank metric codes and pending blocks. Constructions for two families of parameters of constant dimension…

Information Theory · Computer Science 2014-09-03 Natalia Silberstein , Anna-Lena Trautmann

The Vapnik-Chervonenkis (VC) dimension of the set of half-spaces of R^d with frontiers parallel to the axes is computed exactly. It is shown that it is much smaller than the intuitive value of d. A good approximation based on the Stirling's…

Statistics Theory · Mathematics 2016-10-21 Servane Gey