English
Related papers

Related papers: The Subspace Flatness Conjecture and Faster Intege…

200 papers

The metric dimension reduction modulus $k^\alpha_n(\ell_\infty)$ is the smallest $k$ such that every $n$--point metric space can be embedded into some $k$-dimensional normed space, with bi--Lipschitz distortion at most $\alpha$. Determining…

Metric Geometry · Mathematics 2025-08-12 Dylan J. Altschuler , Konstantin Tikhomirov

Let $K$ be a maximal lattice-free set in $\mathbb{R}^d$, that is, $K$ is convex and closed subset of $\mathbb{R}^d$, the interior of $K$ does not cointain points of $\mathbb{Z}^d$ and $K$ is inclusion-maximal with respect to the above…

Optimization and Control · Mathematics 2011-10-06 Gennadiy Averkov

We present space efficient Monte Carlo algorithms that solve Subset Sum and Knapsack instances with $n$ items using $O^*(2^{0.86n})$ time and polynomial space, where the $O^*(\cdot)$ notation suppresses factors polynomial in the input size.…

Data Structures and Algorithms · Computer Science 2017-06-27 Nikhil Bansal , Shashwat Garg , Jesper Nederlof , Nikhil Vyas

The problems of random projections and sparse reconstruction have much in common and individually received much attention. Surprisingly, until now they progressed in parallel and remained mostly separate. Here, we employ new tools from…

Data Structures and Algorithms · Computer Science 2010-06-01 Nir Ailon , Edo Liberty

We give a deterministic O(log n)^n algorithm for the {\em Shortest Vector Problem (SVP)} of a lattice under {\em any} norm, improving on the previous best deterministic bound of n^O(n) for general norms and nearly matching the bound of…

Computational Complexity · Computer Science 2011-07-28 Daniel Dadush , Santosh Vempala

$ \newcommand{\R}{\mathbb{R}} \newcommand{\lat}{\mathcal{L}} $We prove a conjecture due to Dadush, showing that if $\lat \subset \R^n$ is a lattice such that $\det(\lat') \ge 1$ for all sublattices $\lat' \subseteq \lat$, then \[ \sum_{\vec…

Metric Geometry · Mathematics 2022-07-08 Oded Regev , Noah Stephens-Davidowitz

We study the dimensional Brunn-Minkowski inequality for even log-concave probability measures $\mu$ on $\mathbb{R}^n$ via an analytic approach based on diffusion operators and gradient estimates. Our main result asserts that for every pair…

Metric Geometry · Mathematics 2026-05-05 Alexandros Eskenazis , Apostolos Giannopoulos , Natalia Tziotziou

We generalize the classical Hardy and Faber-Krahn inequalities to arbitrary functions on a convex body $\Omega \subset \mathbb{R}^n$, not necessarily vanishing on the boundary $\partial \Omega$. This reduces the study of the Neumann…

Spectral Theory · Mathematics 2015-08-14 Alexander V. Kolesnikov , Emanuel Milman

The problem of non-monotone $k$-submodular maximization under a knapsack constraint ($\kSMK$) over the ground set size $n$ has been raised in many applications in machine learning, such as data summarization, information propagation, etc.…

Data Structures and Algorithms · Computer Science 2023-09-22 Dung T. K. Ha , Canh V. Pham , Tan D. Tran , Huan X. Hoang

Let $d,k$ be natural numbers and let $\mathcal{L}_1, \dots, \mathcal{L}_k \in \mathrm{GL}_d(\mathbb{Q})$ be linear transformations such that there are no non-trivial subspaces $U, V \subseteq \mathbb{Q}^d$ of the same dimension satisfying…

Combinatorics · Mathematics 2024-09-10 Albert Lopez Bruch , Yifan Jing , Akshat Mudgal

For any $n>1$ and $0<\varepsilon<1/2$, we show the existence of an $n^{O(1)}$-point subset $X$ of $\mathbb{R}^n$ such that any linear map from $(X,\ell_2)$ to $\ell_2^m$ with distortion at most $1+\varepsilon$ must have $m = \Omega(\min\{n,…

Information Theory · Computer Science 2014-11-11 Kasper Green Larsen , Jelani Nelson

Given a lattice $\Lambda \subset \mathbb{R}^n$, we consider its Minkowski reduced basis and the solid angle $\Omega$ spanned by the basis vectors. Such a basis satisfies strong near-orthogonality conditions, which allow us to bound from…

Metric Geometry · Mathematics 2017-03-02 Danny Nguyen

We show a $2^{n/2+o(n)}$-time algorithm that finds a (non-zero) vector in a lattice $\mathcal{L} \subset \mathbb{R}^n$ with norm at most $\tilde{O}(\sqrt{n})\cdot \min\{\lambda_1(\mathcal{L}), \det(\mathcal{L})^{1/n}\}$, where…

Data Structures and Algorithms · Computer Science 2020-07-21 Divesh Aggarwal , Zeyong Li , Noah Stephens-Davidowitz

One of the most fruitful results from Minkowski's geometric viewpoint on number theory is his so called 1st Fundamental Theorem. It provides an optimal upper bound for the volume of an o-symmetric convex body whose only interior lattice…

Combinatorics · Mathematics 2016-03-09 Bernardo González Merino , Matthias Henze

An important theorem of Banaszczyk (Random Structures & Algorithms `98) states that for any sequence of vectors of $\ell_2$ norm at most $1/5$ and any convex body $K$ of Gaussian measure $1/2$ in $\mathbb{R}^n$, there exists a signed…

Data Structures and Algorithms · Computer Science 2016-12-14 Daniel Dadush , Shashwat Garg , Shachar Lovett , Aleksandar Nikolov

The problem of minimizing the maximum of $N$ convex, Lipschitz functions plays significant roles in optimization and machine learning. It has a series of results, with the most recent one requiring $O(N\epsilon^{-2/3} + \epsilon^{-8/3})$…

Quantum Physics · Physics 2024-02-21 Hao Wang , Chenyi Zhang , Tongyang Li

A central problem in discrete geometry, known as Hadwiger's covering problem, asks what the smallest natural number $N\left(n\right)$ is such that every convex body in ${\mathbb R}^{n}$ can be covered by a union of the interiors of at most…

Metric Geometry · Mathematics 2022-07-12 Han Huang , Boaz A. Slomka , Tomasz Tkocz , Beatrice-Helen Vritsiou

Given a convex function $f$ on $\mathbb{R}^n$ with an integer minimizer, we show how to find an exact minimizer of $f$ using $O(n^2 \log n)$ calls to a separation oracle and $O(n^4 \log n)$ time. The previous best polynomial time algorithm…

Data Structures and Algorithms · Computer Science 2023-11-15 Haotian Jiang , Yin Tat Lee , Zhao Song , Lichen Zhang

The problem of detecting and removing redundant constraints is fundamental in optimization. We focus on the case of linear programs (LPs), given by $d$ variables with $n$ inequality constraints. A constraint is called \emph{redundant}, if…

Data Structures and Algorithms · Computer Science 2016-10-11 Komei Fukuda , May Szedlak

The Flatness theorem states that the maximum lattice width ${\rm Flt}(d)$ of a $d$-dimensional lattice-free convex set is finite. It is the key ingredient for Lenstra's algorithm for integer programming in fixed dimension, and much work has…

Combinatorics · Mathematics 2022-03-10 Lukas Mayrhofer , Jamico Schade , Stefan Weltge