English
Related papers

Related papers: A Lower Bound for Fourier Transform Computation in…

200 papers

We analyze effective approximation of unitary matrices. In our formulation, a unitary matrix is represented as a product of rotations in two-dimensional subspaces, so-called Givens rotations. Instead of the quadratic dimension dependence…

Optimization and Control · Mathematics 2019-05-16 Thomas Frerix , Joan Bruna

We give algorithms with lower arithmetic operation counts for both the Walsh-Hadamard Transform (WHT) and the Discrete Fourier Transform (DFT) on inputs of power-of-2 size $N$. For the WHT, our new algorithm has an operation count of…

Data Structures and Algorithms · Computer Science 2023-06-16 Josh Alman , Kevin Rao

We introduce and analyse a general class of not necessarily bounded multiplicative functions, examples of which include the function $n \mapsto \delta^{\omega (n)}$, where $\delta \neq 0$ and where $\omega$ counts the number of distinct…

Number Theory · Mathematics 2018-10-17 Lilian Matthiesen

This paper describes a low-power processor tailored for fast Fourier transform computations where transport triggering template is exploited. The processor is software-programmable while retaining an energy-efficiency comparable to existing…

Hardware Architecture · Computer Science 2019-05-22 Jakub Žádník , Jarmo Takala

We show that the Randomized Benchmarking (RB) protocol is a convolution amenable to Fourier space analysis. By adopting the mathematical framework of Fourier transforms of matrix-valued functions on groups established in recent work from…

Quantum Physics · Physics 2021-11-17 Seth T. Merkel , Emily J. Pritchett , Bryan H. Fong

The alternate row and column scaling algorithm applied to a positive $n\times n$ matrix $A$ converges to a doubly stochastic matrix $S(A)$, sometimes called the \emph{Sinkhorn limit} of $A$. For every positive integer $n$, a two parameter…

Number Theory · Mathematics 2020-04-17 Melvyn B. Nathanson

We study the following computational problem: for which values of $k$, the majority of $n$ bits $\text{MAJ}_n$ can be computed with a depth two formula whose each gate computes a majority function of at most $k$ bits? The corresponding…

Computational Complexity · Computer Science 2016-10-11 Alexander S. Kulikov , Vladimir V. Podolskii

How could the Fourier and other transforms be naturally discovered if one didn't know how to postulate them? In the case of the Discrete Fourier Transform (DFT), we show how it arises naturally out of analysis of circulant matrices. In…

Signal Processing · Electrical Eng. & Systems 2022-04-27 Bassam Bamieh

We prove lower bounds on complexity measures, such as the approximate degree of a Boolean function and the approximate rank of a Boolean matrix, using quantum arguments. We prove these lower bounds using a quantum query algorithm for the…

Quantum Physics · Physics 2018-07-18 Shalev Ben-David , Adam Bouland , Ankit Garg , Robin Kothari

Finite (or Discrete) Fourier Transforms (FFT) are essential tools in engineering disciplines based on signal transmission, which is the case in most of them. FFT are related with circulant matrices, which can be viewed as group matrices of…

Number Theory · Mathematics 2013-01-08 Kanemitsu Shigeru , Waldschmidt Michel

The quantum Fourier transform (QFT) is a powerful tool in quantum computing. The main ingredients of QFT are formed by the Walsh-Hadamard transform H and phase shifts P(.), both of which are 2x2 unitary matrices as operators on the…

Quantum Physics · Physics 2007-05-23 Charles M. Bowden , Goong Chen , Zijian Diao , Andreas Klappenecker

Valiant's famous VP vs. VNP conjecture states that the symbolic permanent polynomial does not have polynomial-size algebraic circuits. However, the best upper bound on the size of the circuits computing the permanent is exponential.…

Computational Complexity · Computer Science 2026-01-22 Somnath Bhattacharjee , Markus Bläser , Pranjal Dutta , Saswata Mukherjee

We study fine-grained error bounds for differentially private algorithms for counting under continual observation. Our main insight is that the matrix mechanism when using lower-triangular matrices can be used in the continual observation…

Data Structures and Algorithms · Computer Science 2024-02-06 Hendrik Fichtenberger , Monika Henzinger , Jalaj Upadhyay

Every Boolean function can be uniquely represented as a multilinear polynomial. The entropy and the total influence are two ways to measure the concentration of its Fourier coefficients, namely the monomial coefficients in this…

Computational Complexity · Computer Science 2017-11-03 Rani Hod

We prove that any extended formulation that approximates the matching polytope on $n$-vertex graphs up to a factor of $(1+\varepsilon)$ for any $\frac2n \le \varepsilon \le 1$ must have at least $\binom{n}{{\alpha}/{\varepsilon}}$ defining…

Computational Complexity · Computer Science 2017-11-29 Makrand Sinha

We discuss the fundamental role of entanglement as the essential nonclassical feature providing the computational speed-up in the known quantum algorithms. We review the construction of the Fourier transform on an Abelian group and the…

Quantum Physics · Physics 2009-10-31 Artur Ekert , Richard Jozsa

In a recent preprint by Deutsch et al. [1995] the authors suggest the possibility of polynomial approximability of arbitrary unitary operations on $n$ qubits by 2-qubit unitary operations. We address that comment by proving strong lower…

Quantum Physics · Physics 2008-02-03 E. Knill

In the evolving landscape of machine learning, a pivotal challenge lies in deciphering the internal representations harnessed by neural networks and Transformers. Building on recent progress toward comprehending how networks execute…

Machine Learning · Computer Science 2025-03-11 Chenyang Li , Yingyu Liang , Zhenmei Shi , Zhao Song , Tianyi Zhou

An essential requirement of spanners in many applications is to be fault-tolerant: a $(1+\epsilon)$-spanner of a metric space is called (vertex) $f$-fault-tolerant ($f$-FT) if it remains a $(1+\epsilon)$-spanner (for the non-faulty points)…

Computational Geometry · Computer Science 2024-02-09 Hung Le , Shay Solomon , Cuong Than

Assuming a conjectural upper bound for the least prime in an arithmetic progression, we show that n-bit integers may be multiplied in O(n log n 4^(log^* n)) bit operations.

Symbolic Computation · Computer Science 2017-10-17 David Harvey , Joris van der Hoeven