English
Related papers

Related papers: An Unconditional Barrier for Proving Multilinear A…

200 papers

In this paper we present a new algorithm for solving linear programs that requires only $\tilde{O}(\sqrt{rank(A)}L)$ iterations to solve a linear program with $m$ constraints, $n$ variables, and constraint matrix $A$, and bit complexity…

Data Structures and Algorithms · Computer Science 2015-03-06 Yin Tat Lee , Aaron Sidford

We prove a query complexity lower bound for $\mathsf{QMA}$ protocols that solve approximate counting: estimating the size of a set given a membership oracle. This gives rise to an oracle $A$ such that $\mathsf{SBP}^A \not\subset…

Computational Complexity · Computer Science 2019-02-08 William Kretschmer

The objective of the matrix selection problem is to select a submatrix $A_{S}\in \mathbb{R}^{n\times k}$ from $A\in \mathbb{R}^{n\times m}$ such that its minimum singular value is maximized. In this paper, we employ the interlacing…

Functional Analysis · Mathematics 2025-08-15 Zhiqiang Xu

The Minimum Spanning Tree with Conflicting Edge Pairs is a generalization that adds conflict constraints to a classical optimization problem on graphs used to model several real-world applications. In the last few years several approaches,…

Optimization and Control · Mathematics 2025-04-22 Roberto Montemanni , Derek H. Smith

Proving lower bounds remains the most difficult of tasks in computational complexity theory. In this paper, we show that whereas most natural NP-complete problems belong to NLIN (linear time on nondeterministic RAMs), some of them,…

Computational Complexity · Computer Science 2007-05-23 Philippe Chapdelaine , Etienne Grandjean

Arithmetic circuits are a natural well-studied model for computing multivariate polynomials over a field. In this paper, we study planar arithmetic circuits. These are circuits whose underlying graph is planar. In particular, we prove an…

Computational Complexity · Computer Science 2025-09-16 C. Ramya , Pratik Shastri

Consider a system of $m$ polynomial equations $\{p_i(x) = b_i\}_{i \leq m}$ of degree $D\geq 2$ in $n$-dimensional variable $x \in \mathbb{R}^n$ such that each coefficient of every $p_i$ and $b_i$s are chosen at random and independently…

Computational Complexity · Computer Science 2021-10-19 Jun-Ting Hsieh , Pravesh K. Kothari

Motivated by an application in computational biology, we consider low-rank matrix factorization with $\{0,1\}$-constraints on one of the factors and optionally convex constraints on the second one. In addition to the non-convexity shared…

Machine Learning · Statistics 2014-01-24 Martin Slawski , Matthias Hein , Pavlo Lutsik

We study a family of matroid optimization problems with a linear constraint (MOL). In these problems, we seek a subset of elements which optimizes (i.e., maximizes or minimizes) a linear objective function subject to (i) a matroid…

Data Structures and Algorithms · Computer Science 2024-04-23 Ilan Doron-Arad , Ariel Kulik , Hadas Shachnai

A fundamental question in parallel computation, posed by Karp, Upfal, and Wigderson (FOCS 1985, JCSS 1988), asks: \emph{given only independence-oracle access to a matroid on $n$ elements, how many rounds are required to find a basis using…

Data Structures and Algorithms · Computer Science 2025-11-10 Sanjeev Khanna , Aaron Putterman , Junkai Song

In this study, we consider a class of linear matroid interdiction problems, where the feasible sets for the upper-level decision-maker (referred to as a leader) and the lower-level decision-maker (referred to as a follower) are induced by…

Computational Complexity · Computer Science 2025-08-26 Sergey S. Ketkov , Oleg A. Prokopyev

We use techniques from (tracial noncommutative) polynomial optimization to formulate hierarchies of semidefinite programming lower bounds on matrix factorization ranks. In particular, we consider the nonnegative rank, the positive…

Optimization and Control · Mathematics 2018-11-06 Sander Gribling , David de Laat , Monique Laurent

Checking that a scalar potential is bounded from below (BFB) is an ubiquitous and notoriously difficult task in many models with extended scalar sectors. Exact analytic BFB conditions are known only in simple cases. In this work, we present…

High Energy Physics - Phenomenology · Physics 2018-06-25 Igor P. Ivanov , Marcel Köpke , Margarete Muhlleitner

In this paper, we show that while almost all functions require exponential size branching programs to compute, for all functions $f$ there is a branching program computing a doubly exponential number of copies of $f$ which has linear size…

Computational Complexity · Computer Science 2017-02-23 Aaron Potechin

With the rapid development of social network applications, social network has become an important medium for people to interact. For the minimum distance computation of all pairs in networks, Alon N[4] proposed an algorithm with matrix…

Data Structures and Algorithms · Computer Science 2020-06-25 Dezhou Shen

Let $f$ be a polynomial in $n$ variables $x_1,\dots,x_n$ with real coefficients. In [Ghasemi-Marshal], Ghasemi and Marshall give an algorithm, based on geometric programming, which computes a lower bound for $f$ on $\mathbb{R}^n$. In…

Optimization and Control · Mathematics 2025-10-06 Mehdi Ghasemi , Murray Marshall

We consider $m \times s$ matrices (with $m\geq s$) in a real affine subspace of dimension $n$. The problem of finding elements of low rank in such spaces finds many applications in information and systems theory, where low rank is…

Symbolic Computation · Computer Science 2019-07-19 Didier Henrion , Simone Naldi , Mohab Safey El Din

There has recently been much progress on exact algorithms for the (un)weighted graph (bi)partitioning problem using branch-and-bound and related methods. In this note we present and improve an easily computable, purely combinatorial lower…

Data Structures and Algorithms · Computer Science 2014-10-03 Jesper Larsson Träff , Martin Wimmer

We investigate the closure properties of read-once oblivious Algebraic Branching Programs (roABPs) under various natural algebraic operations and prove the following. - Non-closure under factoring: There is a sequence of explicit…

Computational Complexity · Computer Science 2025-09-16 Jules Armand , Prateek Dwivedi , Magnus Rahbek Dalgaard Hansen , Nutan Limaye , Srikanth Srinivasan , Sébastien Tavenas

This paper focuses on designing edge-weighted networks, whose robustness is characterized by maximizing algebraic connectivity, or the second smallest eigenvalue of the Laplacian matrix. This problem is motivated by cooperative vehicle…

Systems and Control · Electrical Eng. & Systems 2024-03-20 Neelkamal Somisetty , Harsha Nagarajan , Swaroop Darbha
‹ Prev 1 4 5 6 7 8 10 Next ›