English
Related papers

Related papers: Efficient Removal Lemmas for Matrices

200 papers

This paper considers the problem of completing a rating matrix based on sub-sampled matrix entries as well as observed social graphs and hypergraphs. We show that there exists a \emph{sharp threshold} on the sample probability for the task…

Machine Learning · Computer Science 2026-05-29 Zhongtian Ma , Qiaosheng Zhang , Zhen Wang

We prove a removal lemma for systems of linear equations over finite fields: let $X_1,...,X_m$ be subsets of the finite field $\F_q$ and let $A$ be a $(k\times m)$ matrix with coefficients in $\F_q$ and rank $k$; if the linear system $Ax=b$…

Combinatorics · Mathematics 2008-09-11 Dan Král' , Oriol Serra , Lluís Vena

In nonadaptive group testing, the main research objective is to design an efficient algorithm to identify a set of up to $t$ positive elements among $n$ samples with as few tests as possible. Disjunct matrices and separable matrices are two…

Combinatorics · Mathematics 2021-10-15 Bingchen Qian , Xin Wang , Gennian Ge

In this paper, we propose a fast algorithm for element selection, a multiplication-free form of dimension reduction that produces a dimension-reduced vector by simply selecting a subset of elements from the input. Dimension reduction is a…

Machine Learning · Computer Science 2026-02-17 Nobutaka Ono

An $r$-matrix is a matrix with symbols in $\{0,1,\ldots,r-1\}$. A matrix is simple if it has no repeated columns. Let ${\cal F}$ be a finite set of $r$-matrices. Let $\hbox{forb}(m,r,{\cal F})$ denote the maximum number of columns possible…

Combinatorics · Mathematics 2017-10-03 Richard Anstee , Jeffrey Dawson , Linyuan Lu , Attila Sali

A set of matrices is said to have the finiteness property if the maximal rate of exponential growth of long products of matrices drawn from that set is realised by a periodic product. The extent to which the finiteness property is prevalent…

Rings and Algebras · Mathematics 2009-09-16 Ian D. Morris

We consider a symmetric matrix, the entries of which depend linearly on some parameters. The domains of the parameters are compact real intervals. We investigate the problem of checking whether for each (or some) setting of the parameters,…

Numerical Analysis · Computer Science 2019-05-28 Milan Hladík

This paper presents new approaches for finding the determinant and inverse of a matrix. The choice of pivot selection is kept arbitrary and can be made according to the users need. So the ill conditioned matrices can be handled easily. The…

Commutative Algebra · Mathematics 2013-04-26 Hafsa Athar Jafree , Muhammad Imtiaz , Syed Inayatullah , Fozia Hanif Khan , Tajuddin Nizami

Let $\mathbb{F}_q$ be a finite field with $q$ elements. M. Gerstenhaber and Irving Reiner has given two different methods to show the number of matrices with a given characteristic polynomial. In this talk, we will give another proof for…

Commutative Algebra · Mathematics 2014-02-13 Tovohery Hajatiana Randrianarisoa

We give a criterion for maps on ultrametric spaces to be surjective and to preserve spherical completeness. We show how Hensel's Lemma and the multi-dimensional Hensel's Lemma follow from our result. We give an easy proof that the latter…

Commutative Algebra · Mathematics 2013-04-02 Franz-Viktor Kuhlmann

The projection lemma (often also referred to as the elimination lemma) is one of the most powerful and useful tools in the context of linear matrix inequalities for system analysis and control. In its traditional formulation, the projection…

Optimization and Control · Mathematics 2024-03-18 T. J. Meijer , T. Holicki , S. J. A. M. van den Eijnden , C. W. Scherer , W. P. M. H. Heemels

The present paper considers extremal combinatorics questions in the language of matrices. An $s$-matrix is a matrix with entries in $\{0,1,\ldots, s-1\}$. An $s$-matrix is simple if it has no repeated columns. A matrix $F$ is a…

Combinatorics · Mathematics 2025-02-10 Wallace Peaslee , Attila Sali , Jun Yan

We investigate the existence of heavy columns in binary matrices with distinct rows. A column of an m x n binary matrix is called heavy if the number of ones in it is at least m/2. We introduce two recursive algorithms, A1 and A2, that…

Discrete Mathematics · Computer Science 2026-01-27 Jamolidin K. Abdurakhmanov

A distance estimator for a graph property $\mathcal{P}$ is an algorithm that given $G$ and $\alpha, \varepsilon >0$ distinguishes between the case that $G$ is $(\alpha-\varepsilon)$-close to $\mathcal{P}$ and the case that $G$ is…

Combinatorics · Mathematics 2023-05-10 Lior Gishboliner , Nick Kushnir , Asaf Shapira

Computing the permanent of a non-negative matrix is a computationally challenging, \#P-complete problem with wide-ranging applications. We introduce a novel permanental analogue of Schur's determinant formula, leveraging a newly defined…

Discrete Mathematics · Computer Science 2025-09-11 Aditi Laddha , Madhusudhan Reddy Pittu

The elimination distance to some target graph property P is a general graph modification parameter introduced by Bulian and Dawar. We initiate the study of elimination distances to graph properties expressible in first-order logic. We…

Logic in Computer Science · Computer Science 2021-04-08 Fedor V. Fomin , Petr A. Golovach , Dimitrios M. Thilikos

Matrix completion is the problem of recovering a low rank matrix by observing a small fraction of its entries. A series of recent works [KOM12,JNS13,HW14] have proposed fast non-convex optimization based iterative algorithms to solve this…

Numerical Analysis · Computer Science 2014-11-06 Prateek Jain , Praneeth Netrapalli

An element $X$ in the algebra ${\rm M}(n,\mathbb{F})$ of all $n\times n$ matrices over a field $\mathbb{F}$ is said to be $f$-cyclic if the underlying vector space considered as an $\mathbb{F}[X]$-module has at least one cyclic primary…

Rings and Algebras · Mathematics 2014-05-23 S. P. Glasby , Cheryl E. Praeger

Many interesting questions in arithmetic dynamics revolve, in one way or another, around the (local and/or global) reducibility behavior of iterates of a polynomial. We show that for very general families of integer polynomials $f$ (and,…

Number Theory · Mathematics 2025-10-16 Joachim König

We consider the (one-dimensional) array counterpart of contextual as well as insertion and deletion string grammars and consider the operations of array insertion and deletion in array grammars. First we show that the emptiness problem for…

Formal Languages and Automata Theory · Computer Science 2013-09-06 Rudolf Freund , Sergiu Ivanov , Marion Oswald , K. G. Subramanian