English
Related papers

Related papers: Explicit RIP matrices: an update

200 papers

We present a new improvement on the laser method for designing fast matrix multiplication algorithms. The new method further develops the recent advances by [Duan, Wu, Zhou FOCS 2023] and [Vassilevska Williams, Xu, Xu, Zhou SODA 2024].…

Data Structures and Algorithms · Computer Science 2024-10-22 Josh Alman , Ran Duan , Virginia Vassilevska Williams , Yinzhan Xu , Zixuan Xu , Renfei Zhou

Rips complexes are important structures for analyzing topological features of metric spaces. Unfortunately, generating these complexes constitutes an expensive task because of a combinatorial explosion in the complex size. For $n$ points in…

Computational Geometry · Computer Science 2017-06-23 Aruni Choudhary , Michael Kerber , Sharath Raghvendra

We propose a new method that extends conservative explicit multirate methods to implicit explicit-multirate methods. We develop extensions of order one and two with different stability properties on the implicit side. The method is suitable…

Numerical Analysis · Mathematics 2021-12-21 Emil M. Constantinescu

We make a trivial modification to the elegant analysis of Garg and Khandekar (\emph{Gradient Descent with Sparsification} ICML 2009) that replaces the standard Restricted Isometry Property (RIP), with another RIP-type property (which could…

Information Theory · Computer Science 2009-06-29 Suvrit Sra

We construct explicit Boolean square matrices whose rectifier complexity (OR-complexity) differs significantly from the complexity of their complement matrices.

Computational Complexity · Computer Science 2014-07-18 Igor S. Sergeev

Optimal matrices for problems involving the matrix numerical radius often have fields of values that are disks, a phenomenon associated with partial smoothness. Such matrices are highly structured: we experiment in particular with the…

Optimization and Control · Mathematics 2020-05-01 X. Y. Han , Adrian S. Lewis

We establish new upper bounds for the numerical radius of bounded linear operators on a complex Hilbert space by introducing weighted geometric means of the modulus of an operator and its adjoint. This approach yields a family of…

Functional Analysis · Mathematics 2026-02-05 Shankhadeep Mondal , Ram Narayan Mohapatra , Kasun Tharuka Dewage

We introduce the manifold of {\it restricted} $n\times n$ positive semidefinite matrices of fixed rank $p$, denoted $S(n,p)^{*}$. The manifold itself is an open and dense submanifold of $S(n,p)$, the manifold of $n\times n$ positive…

Differential Geometry · Mathematics 2023-04-04 A. Martina Neuman , Yuying Xie , Qiang Sun

In this paper we establish the connection between the Orthogonal Optical Codes (OOC) and binary compressed sensing matrices. We also introduce deterministic bipolar $m\times n$ RIP fulfilling $\pm 1$ matrices of order $k$ such that…

Information Theory · Computer Science 2015-03-13 Arash Amini , Farokh Marvasti

We study the algorithmic problem of multiplying large matrices that are rectangular. We prove that the method that has been used to construct the fastest algorithms for rectangular matrix multiplication cannot give algorithms with…

Computational Complexity · Computer Science 2025-11-10 Matthias Christandl , François Le Gall , Vladimir Lysikov , Jeroen Zuiddam

Let K be an arbitrary (commutative) field with at least three elements, and let n, p and r be positive integers with r<=min(n,p). In a recent work, we have proved that an affine subspace of M_{n,p}(K) containing only matrices of rank…

Rings and Algebras · Mathematics 2012-05-10 Clément de Seguins Pazzis

Let {\alpha} be the maximal value such that the product of an n x n^{\alpha} matrix by an n^{\alpha} x n matrix can be computed with n^{2+o(1)} arithmetic operations. In this paper we show that \alpha>0.30298, which improves the previous…

Data Structures and Algorithms · Computer Science 2021-10-05 François Le Gall

In this paper, by using matix representation for quaternions andoctonions, we provide a procedure to obtain some example of k potent matrices of order 4 or 8, over the real field or over the field ZP, with p a prime number.

Rings and Algebras · Mathematics 2024-11-07 Cristina Flaut , Andreea Baias

Osborne's iteration is a method for balancing $n\times n$ matrices which is widely used in linear algebra packages, as balancing preserves eigenvalues and stabilizes their numeral computation. The iteration can be implemented in any norm…

Data Structures and Algorithms · Computer Science 2017-04-26 Rafail Ostrovsky , Yuval Rabani , Arman Yousefi

Green's inequality shows that a compact Riemannian manifold with scalar curvature at least $n(n-1)$ has injectivity radius at most $\pi$, and that equality is achieved only for the radius 1 sphere. In this work we show how extra topological…

Differential Geometry · Mathematics 2026-01-06 Thomas Richard

We give constructions of n^k x n^k x n tensors of rank at least 2n^k - O(n^(k-1)). As a corollary we obtain an [n]^r shaped tensor with rank at least 2n^(r/2) - O(n^(r/2)-1) when r is odd. The tensors are constructed from a simple recursive…

Discrete Mathematics · Computer Science 2011-02-11 Benjamin Weitz

The lower and the upper irredundance numbers of a graph $G$, denoted $ir(G)$ and $IR(G)$ respectively, are conceptually linked to domination and independence numbers and have numerous relations to other graph parameters. It is a…

We give a strongly explicit construction of $\varepsilon$-approximate $k$-designs for the orthogonal group $\mathrm{O}(N)$ and the unitary group $\mathrm{U}(N)$, for $N=2^n$. Our designs are of cardinality $\mathrm{poly}(N^k/\varepsilon)$…

Computational Complexity · Computer Science 2023-10-23 Ryan O'Donnell , Rocco A. Servedio , Pedro Paredes

Recursive decoding techniques are considered for Reed-Muller (RM) codes of growing length $n$ and fixed order $r.$ An algorithm is designed that has complexity of order $n\log n$ and corrects most error patterns of weight up to…

Information Theory · Computer Science 2017-03-17 Ilya Dumer

For certain dimensionally-regulated massive two- and three-loop propagator-type diagrams the higher order epsilon-expansion is constructed.

High Energy Physics - Phenomenology · Physics 2010-04-05 M. Yu. Kalmykov