English
Related papers

Related papers: Improving the Cook et al. Proximity Bound Given In…

200 papers

We consider optimal control problems with integer-valued controls and a total variation regularization penalty in the objective on domains of dimension two or higher. The penalty yields that the feasible set is sequentially closed in the…

Optimization and Control · Mathematics 2023-08-23 Paul Manns , Annika Schiemann

We denote by $P^+(n)$ the largest prime factor of the integer $n$. In 1935, Erd\H os studied the quantity $T_c(x)$ defined by $$ T_c(x)=\big|\big\{p\le x: P^+(p-1)\ge p^c\big\}\big|, $$ and he proved $$ \limsup_{x\rightarrow…

Number Theory · Mathematics 2026-02-06 Yuchen Ding , Zhiwei Wang

We consider a variational convex relaxation of a class of optimal partitioning and multiclass labeling problems, which has recently proven quite successful and can be seen as a continuous analogue of Linear Programming (LP) relaxation…

Computer Vision and Pattern Recognition · Computer Science 2011-12-06 Jan Lellmann , Frank Lenzen , Christoph Schnörr

A graph is said to be diameter-$k$-critical if its diameter is $k$ and removal of any of its edges increases its diameter. A beautiful conjecture by Murty and Simon, says that every diameter-2-critical graph of order $n$ has at most…

One important question in the theory of lattices is to detect a shortest vector: given a norm and a lattice, what is the smallest norm attained by a non-zero vector contained in the lattice? We focus on the infinity norm and work with…

Optimization and Control · Mathematics 2026-03-18 Stefan Kuhlmann , Robert Weismantel

The maximum-entropy sampling problem (MESP) aims to select the most informative principal submatrix of a prespecified size from a given covariance matrix. This paper proposes an augmented factorization bound for MESP based on concave…

Optimization and Control · Mathematics 2024-10-15 Yongchun Li

We introduce the integrality number of an integer program (IP) in inequality form. Roughly speaking, the integrality number is the smallest number of integer constraints needed to solve an IP via a mixed integer (MIP) relaxation. One…

Optimization and Control · Mathematics 2021-04-08 Joseph Paat , Miriam Schlöter , Robert Weismantel

We consider box-constrained integer programs with objective $g(Wx) + c^T x$, where $g$ is a "complicated" function with an $m$ dimensional domain. Here we assume we have $n \gg m$ variables and that $W \in \mathbb Z^{m \times n}$ is an…

Data Structures and Algorithms · Computer Science 2023-03-07 Daniel Dadush , Arthur Léonard , Lars Rohwedder , José Verschae

Let $\{u_n\}_n$ be a non-degenerate linear recurrence sequence of integers with Binet's formula given by $u_n= \sum_{i=1}^{m} P_i(n)\alpha_i^n.$ Assume $\max_i \vert \alpha_i \vert >1$. In 1977, Loxton and Van der Poorten conjectured that…

Number Theory · Mathematics 2025-10-08 Armand Noubissie

It is a notorious open question whether integer programs (IPs), with an integer coefficient matrix $M$ whose subdeterminants are all bounded by a constant $\Delta$ in absolute value, can be solved in polynomial time. We answer this question…

Let $Q$ be a positive-definite quaternary quadratic form with integer coefficients. We study the problem of giving bounds on the largest positive integer $n$ that is locally represented by $Q$ but not represented. Assuming that $n$ is…

Number Theory · Mathematics 2018-02-13 Jeremy Rouse

The Constant Degree Hypothesis was introduced by Barrington et. al. (1990) to study some extensions of $q$-groups by nilpotent groups and the power of these groups in a certain computational model. In its simplest formulation, it…

Computational Complexity · Computer Science 2023-11-30 Piotr Kawałek , Armin Weiß

The Max-Cut problem is a fundamental NP-hard problem, which is attracting attention in the field of quantum computation these days. Regarding the approximation algorithm of the Max-Cut problem, algorithms based on semidefinite programming…

Data Structures and Algorithms · Computer Science 2022-03-01 Eiichiro Sato

If $G$ is a finite Abelian group, define $s_{k}(G)$ to be the minimal $m$ such that a sequence of $m$ elements in $G$ always contains a $k$-element subsequence which sums to zero. Recently Bitz et al. proved that if $n = exp(G)$, then…

Combinatorics · Mathematics 2017-12-07 Jesse Geneson

We prove strengthened lower bounds for constant-depth set-multilinear formulas. More precisely, we show that over any field, there is an explicit polynomial $f$ in VNP defined over $n^2$ variables, and of degree $n$, such that any…

Computational Complexity · Computer Science 2022-05-03 Deepanshu Kush , Shubhangi Saraf

The following hypothesis was formulated by Goreinov, Tyrtyshnikov, and Zamarashkin in \cite{goreinov1997theory}. If $U$ is $n\times k$ real matrix with the orthonormal columns $(n>k)$, then there exists a submatrix $Q$ of $U$ of size…

Numerical Analysis · Mathematics 2026-04-17 Richik Sengupta , Mikhail Pautov

Let $X_1,..., X_N\in\R^n$ be independent centered random vectors with log-concave distribution and with the identity as covariance matrix. We show that with overwhelming probability at least $1 - 3 \exp(-c\sqrt{n}\r)$ one has $ \sup_{x\in…

Probability · Mathematics 2012-11-01 Radosław Adamczak , Alexander E. Litvak , Alain Pajor , Nicole Tomczak-Jaegermann

In this paper, we study the $L^p(\mathbb{R}^2)$-improving bounds, i.e., $L^p(\mathbb{R}^2)\rightarrow L^q(\mathbb{R}^2)$ estimates, of the maximal function $M_{\gamma}$ along a plane curve $(t,\gamma(t))$, where…

Classical Analysis and ODEs · Mathematics 2023-09-06 Naijia Liu , Haixia Yu

We present a new and faster algorithm for the 4-block integer linear programming problem, overcoming the long-standing runtime barrier faced by previous algorithms that rely on Graver complexity or proximity bounds. The 4-block integer…

Computational Complexity · Computer Science 2026-02-02 Alexandra Lassota , Koen Ligthart

In the numerical linear algebra community, it was suggested that to obtain nearly optimal bounds for various problems such as rank computation, finding a maximal linearly independent subset of columns (a basis), regression, or low-rank…

Data Structures and Algorithms · Computer Science 2021-11-04 Nadiia Chepurko , Kenneth L. Clarkson , Praneeth Kacham , David P. Woodruff