English
Related papers

Related papers: Counting Vanishing Matrix-Vector Products

200 papers

Matrix-vector multiplication is one of the most fundamental computing primitives. Given a matrix $A\in\mathbb{F}^{N\times N}$ and a vector $b$, it is known that in the worst case $\Theta(N^2)$ operations over $\mathbb{F}$ are needed to…

Data Structures and Algorithms · Computer Science 2017-11-21 Christopher De Sa , Albert Gu , Rohan Puttagunta , Christopher Ré , Atri Rudra

We study a class of weakly hyperbolic Cauchy problems on $\mathbb{R}^d$, involving linear operators with characteristics of variable multiplicities, whose coefficients are unbounded in the space variable. The behaviour in the time variable…

Analysis of PDEs · Mathematics 2023-09-28 Sandro Coriasco , Giovanni Girardi , N. Uday Kiran

This paper presents a product to sum approach for a fast and efficient matrix filling in a hierarchical finite-element method (FEM). Due to the existence of a coupling factor arising from the material and Jacobian inhomogeneities in curved…

Numerical Analysis · Mathematics 2017-03-29 Ehsan Khodapanah

Vector autoregressions (VARs) are popular model for analyzing multivariate economic time series. However, VARs can be over-parameterized if the numbers of variables and lags are moderately large. Tensor VAR, a recent solution to…

Methodology · Statistics 2024-09-13 Yiyong Luo , Jim E. Griffin

Two widely-used computational paradigms for sublinear algorithms are using linear measurements to perform computations on a high dimensional input and using structured queries to access a massive input. Typically, algorithms in the former…

Computational Complexity · Computer Science 2021-07-14 Amit Chakrabarti , Manuel Stoeckl

Graph product structure theory expresses certain graphs as subgraphs of the strong product of much simpler graphs. In particular, an elegant formulation for the corresponding structural theorems involves the strong product of a path and of…

Data Structures and Algorithms · Computer Science 2022-04-26 Michael A. Bekos , Giordano Da Lozzo , Petr Hliněný , Michael Kaufmann

We study the following general stabbing problem from a parameterized complexity point of view: Given a set $\mathcal S$ of $n$ translates of an object in $\Rd$, find a set of $k$ lines with the property that every object in $\mathcal S$ is…

Computational Geometry · Computer Science 2015-02-18 Panos Giannopoulos , Christian Knauer , Gunter Rote , Daniel Werner

We introduce a procedure that solves the decision problem whether a given matroid M is a gammoid. The procedure consists of three pieces: First, we introduce a notion of a valid matroid tableau which captures the current state of knowledge…

Combinatorics · Mathematics 2018-07-03 Immanuel Albrecht

We present a matrix-factorization algorithm that scales to input matrices with both huge number of rows and columns. Learned factors may be sparse or dense and/or non-negative, which makes our algorithm suitable for dictionary learning,…

Machine Learning · Statistics 2017-11-15 Arthur Mensch , Julien Mairal , Bertrand Thirion , Gael Varoquaux

In this survey paper we study parametric versions of writing a matrix in $SL_n (\mathbb{C})$ as a product of lower and upper unitriangular matrices in interchanging order as well as generalizations to other classical groups. We give an…

Complex Variables · Mathematics 2026-01-06 Gaofeng Huang , Frank Kutzschebauch

The higher-order generalized singular value decomposition (HO-GSVD) is a matrix factorization technique that extends the GSVD to $N \ge 2$ data matrices, and can be used to identify shared subspaces in multiple large-scale datasets with…

Numerical Analysis · Mathematics 2022-06-22 Idris Kempf , Paul J. Goulart , Stephen R. Duncan

Subexponential parameterized algorithms are known for a wide range of natural problems on planar graphs, but the techniques are usually highly problem specific. The goal of this paper is to introduce a framework for obtaining…

Data Structures and Algorithms · Computer Science 2021-10-29 Dániel Marx , Pranabendu Misra , Daniel Neuen , Prafullkumar Tale

Parameterised subgraph counting problems are the most thoroughly studied topic in the theory of parameterised counting, and there has been significant recent progress in this area. Many of the existing tractability results for parameterised…

Computational Complexity · Computer Science 2015-06-01 Kitty Meeks

In this paper, we focus on the problem of existence and computing of small and large stable models. We show that for every fixed integer k, there is a linear-time algorithm to decide the problem LSM (large stable models problem): does a…

Logic in Computer Science · Computer Science 2007-05-23 Miroslaw Truszczynski

In this paper we study the problem of finding a small safe set $S$ in a graph $G$, i.e. a non-empty set of vertices such that no connected component of $G[S]$ is adjacent to a larger component in $G - S$. We enhance our understanding of the…

Computational Complexity · Computer Science 2019-02-01 Rémy Belmonte , Tesshu Hanaka , Ioannis Katsikarelis , Michael Lampis , Hirotaka Ono , Yota Otachi

Matrix factorization is a simple and effective solution to the recommendation problem. It has been extensively employed in the industry and has attracted much attention from the academia. However, it is unclear what the low-dimensional…

Machine Learning · Computer Science 2018-08-29 Farhan Khawar , Nevin L. Zhang

In the Orthogonal Vectors problem (OV), we are given two families $A, B$ of subsets of $\{1,\ldots,d\}$, each of size $n$, and the task is to decide whether there exists a pair $a \in A$ and $b \in B$ such that $a \cap b = \emptyset$.…

Data Structures and Algorithms · Computer Science 2025-07-16 Anita Dürr , Evangelos Kipouridis , Karol Węgrzycki

To enumerate 3-manifold triangulations with a given property, one typically begins with a set of potential face pairing graphs (also known as dual 1-skeletons), and then attempts to flesh each graph out into full triangulations using an…

Geometric Topology · Mathematics 2014-07-25 Benjamin A. Burton , William Pettersson

Knapsack and Subset Sum are fundamental NP-hard problems in combinatorial optimization. Recently there has been a growing interest in understanding the best possible pseudopolynomial running times for these problems with respect to various…

Data Structures and Algorithms · Computer Science 2021-05-11 Adam Polak , Lars Rohwedder , Karol Węgrzycki

The classical vector autoregressive model is a fundamental tool for multivariate time series analysis. However, it involves too many parameters when the number of time series and lag order are even moderately large. This paper proposes to…

Methodology · Statistics 2020-11-04 Di Wang , Yao Zheng , Heng Lian , Guodong Li