English
Related papers

Related papers: Ideal forms of Coppersmith's theorem and Guruswami…

200 papers

Using tools from algebraic geometry and Groebner basis theory we solve two problems in network coding. First we present a method to determine the smallest field size for which linear network coding is feasible. Second we derive improved…

Information Theory · Computer Science 2008-09-04 Olav Geil , Ryutaroh Matsumoto , Casper Thomsen

We consider N-fold 4-block decomposable integer programs, which simultaneously generalize N-fold integer programs and two-stage stochastic integer programs with N scenarios. In previous work [R. Hemmecke, M. Koeppe, R. Weismantel, A…

Optimization and Control · Mathematics 2017-01-03 Raymond Hemmecke , Matthias Köppe , Robert Weismantel

This paper is concerned with linear algebra based methods for solving exactly polynomial systems through so-called Gr\"obner bases, which allow one to compute modulo the polynomial ideal generated by the input equations. This is a topical…

Symbolic Computation · Computer Science 2023-07-28 Jérémy Berthomieu , Christian Eder , Mohab Safey El Din

This paper presents an alternative approach to simplify the proofs of some important results related to polynomial mappings in Computational Algebraic Geometry such as Polynomial Implicitization, Image Closure and some properties of the…

Algebraic Geometry · Mathematics 2011-11-30 Yongbi Li

In this paper we present a new algorithm for Polynomial Linear System Solving (via evaluation/interpolation) with errors. In this scenario, errors can occur in the black box evaluation step. We improve the bound on the number of errors that…

Information Theory · Computer Science 2021-02-09 E. Guerrini , R. Lebreton , I. Zappatore

We present an efficient framework for solving algebraically-constrained global non-convex polynomial optimization problems over subsets of the hypercube. We prove the existence of an equivalent nonlinear reformulation of such problems that…

Optimization and Control · Mathematics 2024-09-05 Mitchell Tong Harris , Pierre-David Letourneau , Dalton Jones , M. Harper Langston

This paper introduces a framework to study discrete optimization problems which are parametric in the following sense: their constraint matrices correspond to matrices over the ring $\mathbb{Z}[x]$ of polynomials in one variable. We…

Optimization and Control · Mathematics 2024-03-08 Marcel Celaya , Stefan Kuhlmann , Robert Weismantel

We propose a new method for constructing elimination templates for efficient polynomial system solving of minimal problems in structure from motion, image matching, and camera tracking. We first construct a particular affine…

Computer Vision and Pattern Recognition · Computer Science 2022-03-29 Evgeniy Martyushev , Jana Vrablikova , Tomas Pajdla

The parametric lattice-point counting problem is as follows: Given an integer matrix $A \in Z^{m \times n}$, compute an explicit formula parameterized by $b \in R^m$ that determines the number of integer points in the polyhedron $\{x \in…

Computational Complexity · Computer Science 2012-07-05 Friedrich Eisenbrand , Nicolai Hähnle

We investigate the question whether Subset Sum can be solved by a polynomial-time algorithm with access to a certificate of length poly(k) where k is the maximal number of bits in an input number. In other words, can it be solved using only…

Data Structures and Algorithms · Computer Science 2024-09-06 Michał Włodarczyk

The current paper investigates the bounded distance decoding (BDD) problem for ensembles of lattices whose generator matrices have sub-Gaussian entries. We first prove that, for these ensembles the BDD problem is NP-hard in the worst case.…

Computational Complexity · Computer Science 2025-06-23 Shuhong Gao

Linear constraints for a matrix polytope with no fractional vertex are investigated as intersecting research among permutation codes, rank modulations, and linear programming methods. By focusing the discussion to the block structure of…

Combinatorics · Mathematics 2012-02-07 Manabu Hagiwara

In this paper we present a minimal list decoding algorithm for Reed-Solomon (RS) codes. Minimal list decoding for a code $C$ refers to list decoding with radius $L$, where $L$ is the minimum of the distances between the received word…

Information Theory · Computer Science 2015-03-17 Mortuza Ali , Margreta Kuijper

Self-Supervised Learning (SSL) for Combinatorial Optimization (CO) is an emerging paradigm for solving combinatorial problems using neural networks. In this paper, we address a central challenge of SSL for CO: solving problems with discrete…

Machine Learning · Computer Science 2026-01-16 Nikolaos Karalias , Akbar Rafiey , Yifei Xu , Zhishang Luo , Behrooz Tahmasebi , Connie Jiang , Stefanie Jegelka

A fertile area of recent research has demonstrated concrete polynomial time lower bounds for solving natural hard problems on restricted computational models. Among these problems are Satisfiability, Vertex Cover, Hamilton Path, Mod6-SAT,…

Computational Complexity · Computer Science 2010-02-03 Ryan Williams

In this paper, we propose novel algorithms for inferring the Maximum a Posteriori (MAP) solution of discrete pairwise random field models under multiple constraints. We show how this constrained discrete optimization problem can be…

Machine Learning · Computer Science 2013-08-02 Yongsub Lim , Kyomin Jung , Pushmeet Kohli

In this paper, an original reduction algorithm for solving simultaneous multivariate polynomial equations is presented. The algorithm is exponential in complexity, but the well-known algorithms, such as the extended Euclidean algorithm and…

General Mathematics · Mathematics 2021-06-01 Duggirala Meher Krishna , Duggirala Ravi

We focus on two central themes in this dissertation. The first one is on decomposing polytopes and polynomials in ways that allow us to perform nonlinear optimization. We start off by explaining important results on decomposing a polytope…

Combinatorics · Mathematics 2016-05-18 Brandon Dutra

We propose a new second-order method for geodesically convex optimization on the natural hyperbolic metric over positive definite matrices. We apply it to solve the operator scaling problem in time polynomial in the input size and…

Data Structures and Algorithms · Computer Science 2018-04-04 Zeyuan Allen-Zhu , Ankit Garg , Yuanzhi Li , Rafael Oliveira , Avi Wigderson

We complete the complexity classification by degree of minimizing a polynomial over the integer points in a polyhedron in $\mathbb{R}^2$. Previous work shows that optimizing a quadratic polynomial over the integer points in a polyhedral…

Optimization and Control · Mathematics 2015-05-07 Alberto Del Pia , Robert Hildebrand , Robert Weismantel , Kevin Zemmer