English
Related papers

Related papers: On the complexity of Boolean matrix ranks

200 papers

Given a set of integers W, the Partition problem determines whether W can be divided into two disjoint subsets with equal sums. We model the Partition problem as a system of polynomial equations, and then investigate the complexity of a…

Algebraic Geometry · Mathematics 2014-11-12 Susan Margulies , Shmuel Onn , Dmitrii Pasechnik

In this paper, we show that the low rank matrix completion problem can be reduced to the problem of finding the rank of a certain tensor.

Optimization and Control · Mathematics 2013-07-24 Harm Derksen

Given a tract $F$ in the sense of Baker and Bowler and a matrix $A$ with entries in $F$, we define several notions of rank for $A$. In this way, we are able to unify and find conceptually satisfying proofs for various results about ranks of…

Combinatorics · Mathematics 2025-07-02 Matthew Baker , Noah Solomon , Tianyi Zhang

In subset selection we search for the best linear predictor that involves a small subset of variables. From a computational complexity viewpoint, subset selection is NP-hard and few classes are known to be solvable in polynomial time. Using…

Optimization and Control · Mathematics 2020-02-07 Alberto Del Pia , Santanu S. Dey , Robert Weismantel

We consider several families of combinatorial polytopes associated with the following NP-complete problems: maximum cut, Boolean quadratic programming, quadratic linear ordering, quadratic assignment, set partition, set packing, stable set,…

Computational Complexity · Computer Science 2018-04-18 Aleksandr Maksimenko

Low rank inference on matrices is widely conducted by optimizing a cost function augmented with a penalty proportional to the nuclear norm $\Vert \cdot \Vert_*$. However, despite the assortment of computational methods for such problems,…

Machine Learning · Statistics 2025-10-08 Simon Segert , Nathan Wycoff

We determine the rank of a random matrix A over a finite field with prescribed numbers of non-zero entries in each row and column. As an application we obtain a formula for the rate of low-density parity check codes. This formula verifies a…

Combinatorics · Mathematics 2018-10-18 Amin Coja-Oghlan , Pu Gao

An established measure of the expressive power of a given ReLU neural network is the number of linear regions into which it partitions the input space. There exist many different, non-equivalent definitions of what a linear region actually…

Computational Complexity · Computer Science 2026-01-12 Moritz Stargalla , Christoph Hertrich , Daniel Reichman

We give a {\em deterministic} algorithm for approximately computing the fraction of Boolean assignments that satisfy a degree-$2$ polynomial threshold function. Given a degree-2 input polynomial $p(x_1,\dots,x_n)$ and a parameter $\eps >…

Computational Complexity · Computer Science 2013-11-28 Anindya De , Ilias Diakonikolas , Rocco A. Servedio

Boolean Matrix Factorization (BMF) aims to find an approximation of a given binary matrix as the Boolean product of two low-rank binary matrices. Binary data is ubiquitous in many fields, and representing data by binary matrices is common…

Machine Learning · Computer Science 2022-07-26 Fedor Fomin , Fahad Panolan , Anurag Patil , Adil Tanveer

The computation of the sparse principal component of a matrix is equivalent to the identification of its principal submatrix with the largest maximum eigenvalue. Finding this optimal submatrix is what renders the problem…

Information Theory · Computer Science 2013-12-23 Megasthenis Asteris , Dimitris S. Papailiopoulos , George N. Karystinos

A computationally challenging classical elimination theory problem is to compute polynomials which vanish on the set of tensors of a given rank. By moving away from computing polynomials via elimination theory to computing pseudowitness…

Algebraic Geometry · Mathematics 2016-07-08 Alessandra Bernardi , Noah S. Daleo , Jonathan D. Hauenstein , Bernard Mourrain

We develop a complexity theory for approximate real computations. We first produce a theory for exact computations but with condition numbers. The input size depends on a condition number, which is not assumed known by the machine. The…

Computational Complexity · Computer Science 2020-05-05 Gregorio Malajovich , Mike Shub

The girth of a matrix is the least number of linearly dependent columns, in contrast to the rank which is the largest number of linearly independent columns. This paper considers the construction of {\it high-girth} matrices, whose…

Information Theory · Computer Science 2015-02-06 Emmanuel Abbe , Yuval Wigderson

This is the latest in a series of articles aimed at exploring the relationship between the complexity classes of P and NP. In the previous papers, we have proved that the sat CNF problem is polynomially reduced to the problem of finding a…

Computational Complexity · Computer Science 2023-11-01 Stepan G. Margaryan

Bilevel linear programs (BLPs) form a class of hierarchical decision-making problems in which both the upper-level and the lower-level decision-makers, known as the leader and the follower, respectively, solve linear optimization problems.…

Computational Complexity · Computer Science 2025-11-20 Sergey S. Ketkov , Oleg A. Prokopyev

We derive new matrix representation for higher order Daehee numbers and polynomials, the higher order lambda-Daehee numbers and polynomials and the twisted lambda-Daehee numbers and polynomials of order k. This helps us to obtain simple and…

Combinatorics · Mathematics 2015-03-03 B. S. El-Desouky , Abdelfattah Mustafa

We show that the determinant of a random matrix is unlikely to be a square.

Probability · Mathematics 2018-05-24 Lior Bary-Soroker , Gady Kozma

Block Sorting is a well studied problem, motivated by its applications in Optical Character Recognition (OCR), and Computational Biology. Block Sorting has been shown to be NP-Hard, and two separate polynomial time 2-approximation…

Computational Complexity · Computer Science 2011-10-06 N. S. Narayanaswamy , Swapnoneel Roy

We associate to each Boolean function a polynomial whose evaluations represents the distances from all possible Boolean affine functions. Both determining the coefficients of this polynomial from the truth table of the Boolean function and…

Information Theory · Computer Science 2014-04-11 Emanuele Bellini