English
Related papers

Related papers: Formula Size-Depth Tradeoffs for Iterated Sub-Perm…

200 papers

Binary size reduction is an increasingly important optimization objective for compilers. One emerging technique is function merging, where multiple similar functions are merged into one, thereby eliminating redundancy. The SOTA approach to…

Programming Languages · Computer Science 2026-04-17 Amir K. Goharshady , Kerim Kochekov , Tian Shu , Ahmed Khaled Zaher

In prior work, Gupta et al. (SPAA 2022) presented a distributed algorithm for multiplying sparse $n \times n$ matrices, using $n$ computers. They assumed that the input matrices are uniformly sparse--there are at most $d$ non-zeros in each…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-05-24 Chetan Gupta , Janne H. Korhonen , Jan Studený , Jukka Suomela , Hossein Vahidi

We initiate the study of matroid problems in a new oracle model called dynamic oracle. Our algorithms in this model lead to new bounds for some classic problems, and a "unified" algorithm whose performance matches previous results developed…

Data Structures and Algorithms · Computer Science 2023-04-28 Joakim Blikstad , Sagnik Mukhopadhyay , Danupon Nanongkai , Ta-Wei Tu

In this paper we study a worst case to average case reduction for the problem of matrix multiplication over finite fields. Suppose we have an efficient average case algorithm, that given two random matrices $A,B$ outputs a matrix that has a…

Data Structures and Algorithms · Computer Science 2024-04-15 Ashish Gola , Igor Shinkar , Harsimran Singh

Communication lower bounds have long been established for matrix multiplication algorithms. However, most methods of asymptotic analysis have either ignored the constant factors or not obtained the tightest possible values. Recent work has…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-05-27 Hussam Al Daas , Grey Ballard , Laura Grigori , Suraj Kumar , Kathryn Rouse

We study the problem of maximizing a non-negative monotone submodular objective $f$ subject to the intersection of $k$ arbitrary matroid constraints. The natural greedy algorithm guarantees $(k+1)$-approximation for this problem, and the…

Data Structures and Algorithms · Computer Science 2026-05-11 Moran Feldman , Justin Ward

We consider the classic Set Cover problem in the data stream model. For $n$ elements and $m$ sets ($m\geq n$) we give a $O(1/\delta)$-pass algorithm with a strongly sub-linear $\tilde{O}(mn^{\delta})$ space and logarithmic approximation…

Data Structures and Algorithms · Computer Science 2016-05-03 Sariel Har-Peled , Piotr Indyk , Sepideh Mahabadi , Ali Vakilian

We study the problem of maximizing a monotone submodular set function subject to linear packing constraints. An instance of this problem consists of a matrix $A \in [0,1]^{m \times n}$, a vector $b \in [1,\infty)^m$, and a monotone…

Data Structures and Algorithms · Computer Science 2012-05-01 Yossi Azar , Iftah Gamzu

Muon and related norm-constrained matrix optimizers have become central to large-scale learning problems. They are formulated as a linear maximization oracle (LMO) over an ambient matrix-norm ball in unconstrained Euclidean space. However,…

Machine Learning · Computer Science 2026-05-12 Yibang Li , Bihari Lal Pandey , Ravi Sah , Andi Han , Cyrus Mostajeran , Pratik Jawanpuria , Bamdev Mishra

Motivated by limitations on the depth of near-term quantum devices, we study the depth-computation trade-off in the query model, where the depth corresponds to the number of adaptive query rounds and the computation per layer corresponds to…

Quantum Physics · Physics 2023-12-08 Uma Girish , Makrand Sinha , Avishay Tal , Kewen Wu

Motivated by the problems of computing sample covariance matrices, and of transforming a collection of vectors to a basis where they are sparse, we present a simple algorithm that computes an approximation of the product of two n-by-n real…

Data Structures and Algorithms · Computer Science 2015-03-19 Rasmus Pagh

The motivation for this paper is to study the complexity of constant-width arithmetic circuits. Our main results are the following. 1. For every k > 1, we provide an explicit polynomial that can be computed by a linear-sized monotone…

Computational Complexity · Computer Science 2009-08-14 V. Arvind , Pushkar S. Joglekar , Srikanth Srinivasan

For constrained, not necessarily monotone submodular maximization, all known approximation algorithms with ratio greater than $1/e$ require continuous ideas, such as queries to the multilinear extension of a submodular function and its…

Data Structures and Algorithms · Computer Science 2025-02-06 Yixin Chen , Ankur Nath , Chunli Peng , Alan Kuhnle

Discrete Morse theory has emerged as a powerful tool for a wide range of problems, including the computation of (persistent) homology. In this context, discrete Morse theory is used to reduce the problem of computing a topological invariant…

Algebraic Topology · Mathematics 2020-10-12 Ulrich Bauer , Abhishek Rathod

The VC-dimension of a family P of n-permutations is the largest integer k such that the set of restrictions of the permutations in P on some k-tuple of positions is the set of all k! permutation patterns. Let r_k(n) be the maximum size of a…

Combinatorics · Mathematics 2013-01-25 Josef Cibulka , Jan Kyncl

Sphere packing, Hilbert's eighteenth problem, asks for the densest arrangement of congruent spheres in n-dimensional Euclidean space. Although relevant to areas such as cryptography, crystallography, and medical imaging, the problem remains…

Artificial Intelligence · Computer Science 2025-12-09 Rasul Tutunov , Alexandre Maraval , Antoine Grosnit , Xihan Li , Jun Wang , Haitham Bou-Ammar

We explore the problem of approximate matrix multiplication (AMM) within the sliding window model, where algorithms utilize limited space to perform large-scale matrix multiplication in a streaming manner. This model has garnered increasing…

Data Structures and Algorithms · Computer Science 2025-02-27 Ziqi Yao , Mingsong Chen , Cheng Chen

We consider the NP-hard problem of minimizing a separable concave quadratic function over the integral points in a polyhedron, and we denote by D the largest absolute value of the subdeterminants of the constraint matrix. In this paper we…

Optimization and Control · Mathematics 2019-08-30 Alberto Del Pia

This paper addresses the problem of robust option pricing within the framework of Vectorial Martingale Optimal Transport (VMOT). We investigate the geometry of VMOT solutions for $N$-period market models and demonstrate that, when the…

Mathematical Finance · Quantitative Finance 2026-01-26 Joshua Zoen-Git Hiew , Tongseok Lim , Brendan Pass , Marcelo Cruz de Souza

We study the time complexity of computing the $(\min,+)$ matrix product of two $n\times n$ integer matrices in terms of $n$ and the number of monotone subsequences the rows of the first matrix and the columns of the second matrix can be…

Data Structures and Algorithms · Computer Science 2023-09-06 Andrzej Lingas , Mia Persson