English
Related papers

Related papers: An Extension of Chubanov's Polynomial-Time Linear …

200 papers

We consider the disjoint bilinear programming problem in which one of the disjoint subsets has the structure of an acute-angled polytope. An optimality criterion for such a problem is formulated and proved, and based on this, a polynomial…

Optimization and Control · Mathematics 2025-02-13 Dmitrii Lozovanu

We describe and analyze an interior-point method to decide feasibility problems of second-order conic systems. A main feature of our algorithm is that arithmetic operations are performed with finite precision. Bounds for both the number of…

Numerical Analysis · Mathematics 2013-08-01 Felipe Cucker , Javier Peña , Vera Roshchina

We give an algorithm for the class of second order unification problems in which second order variables have at most one occurrence.

Logic in Computer Science · Computer Science 2023-09-06 Gilles Dowek

We develop algorithms for inner approximating the cone of positive semidefinite matrices via linear programming and second order cone programming. Starting with an initial linear algebraic approximation suggested recently by Ahmadi and…

Optimization and Control · Mathematics 2016-03-14 Amir Ali Ahmadi , Sanjeeb Dash , Georgina Hall

Let the design of an experiment be represented by an $s$-dimensional vector $\mathbf {w}$ of weights with nonnegative components. Let the quality of $\mathbf {w}$ for the estimation of the parameters of the statistical model be measured by…

Statistics Theory · Mathematics 2015-10-16 Guillaume Sagnol , Radoslav Harman

In [R. Andreani, G. Haeser, L. M. Mito, H. Ram\'irez C., Weak notions of nondegeneracy in nonlinear semidefinite programming, arXiv:2012.14810, 2020] the classical notion of nondegeneracy (or transversality) and Robinson's constraint…

Optimization and Control · Mathematics 2022-04-19 Roberto Andreani , Gabriel Haeser , Héctor Ramírez C. , Leonardo M. Mito , Thiago P. Silveira

In 2010, A. Shpilka and I. Volkovich established a prominent result on the equivalence of polynomial factorization and identity testing. It follows from their result that a multilinear polynomial over the finite field of order 2 can be…

Discrete Mathematics · Computer Science 2019-01-08 Pavel Emelyanov , Denis Ponomaryov

We develop a natural variant of Dikin's affine-scaling method, first for semidefinite programming and then for hyperbolic programming in general. We match the best complexity bounds known for interior-point methods. All previous…

Optimization and Control · Mathematics 2014-10-27 James Renegar , Mutiara Sondjaja

The paper derives the optimal second-order coding rate for the continuous-time Poisson channel. We also obtain bounds on the third-order coding rate. This is the first instance of a second-order result for a continuous-time channel. The…

Information Theory · Computer Science 2020-08-18 Yuta Sakai , Vincent Y. F. Tan , Mladen Kovačević

The paper conducts a second-order variational analysis for an important class of nonpolyhedral conic programs generated by the so-called second-order/Lorentz/ice-cream cone $Q$. From one hand, we prove that the indicator function of $Q$ is…

Optimization and Control · Mathematics 2017-07-26 Nguyen T. V. Hang , Boris S. Mordukhovich , M. Ebrahim Sarabi

This article presents a validation of a recently proposed strongly polynomial-time algorithm for the general linear programming problem. The proposed algorithm is an implicit reduction procedure that combines primal and dual linear…

Optimization and Control · Mathematics 2026-04-28 Samuel Awoniyi

This article presents a strongly polynomial-time algorithm for the general linear programming problem. This algorithm is an implicit reduction procedure that works as follows. Primal and dual problems are combined into a special system of…

Optimization and Control · Mathematics 2026-03-24 Samuel Awoniyi

The well known constant rank constraint qualification [Math. Program. Study 21:110--126, 1984] introduced by Janin for nonlinear programming has been recently extended to a conic context by exploiting the eigenvector structure of the…

Optimization and Control · Mathematics 2021-07-13 Roberto Andreani , Gabriel Haeser , Leonardo M. Mito , Héctor Ramírez C. , Thiago P. Silveira

The exact complexity of geometric cuts and bisections is the longstanding open problem including even the dimension one. In this paper, we resolve this problem for dimension one (the real line) by designing an exact polynomial time…

Data Structures and Algorithms · Computer Science 2012-07-05 Marek Karpinski , Andrzej Lingas , Dzmitry Sledneu

We point out that Chubanov's oracle-based algorithm for linear programming [5] can be applied almost as it is to linear semi-infinite programming (LSIP). In this note, we describe the details and prove the polynomial complexity of the…

Optimization and Control · Mathematics 2018-09-28 Masakazu Muramatsu , Tomonari Kitahara , Bruno F. Lourenço , Takayuki Okuno , Takashi Tsuchiya

Regev recently introduced a quantum factoring algorithm that may be perceived as a $d$-dimensional variation of Shor's factoring algorithm. In this work, we extend Regev's factoring algorithm to an algorithm for computing discrete…

Cryptography and Security · Computer Science 2024-06-11 Martin Ekerå , Joel Gärtner

The second-order cone (SOC) is a class of simple convex cones and optimizing over them can be done more efficiently than with semidefinite programming. It is interesting both in theory and in practice to investigate which convex cones admit…

Optimization and Control · Mathematics 2025-04-29 Victor Magron , Jie Wang

We propose a new polynomial-time algorithm for linear programming. We further extend the ideas used in this new linear programming algorithm for nonlinear programming problems. The new algorithm is based on the idea of treating the…

General Mathematics · Mathematics 2019-03-14 Dhananjay P. Mehendale

This paper provides an alternate characterization of type-two polynomial-time computability, with the goal of making second-order complexity theory more approachable. We rely on the usual oracle machines to model programs with subroutine…

Computational Complexity · Computer Science 2020-10-30 Bruce M. Kapron , Florian Steinberg

Given black-box access to the input and output systems, we develop the first efficient quantum causal order discovery algorithm with polynomial query complexity with respect to the number of systems. We model the causal order with quantum…

Quantum Physics · Physics 2021-09-29 Ge Bai , Ya-Dong Wu , Yan Zhu , Masahito Hayashi , Giulio Chiribella