Related papers: An Almost-Quadratic Lower Bound for Quantum Formul…
It is well known that no quantum error correcting code of rate $R$ can correct adversarial errors on more than a $(1-R)/4$ fraction of symbols. But what if we only require our codes to *approximately* recover the message? We construct…
Construction of explicit quantum circuits follows the notion of the "standard circuit model" introduced in the solid and profound analysis of elementary gates providing quantum computation. Nevertheless the model is not always optimal (e.g.…
We explore the implications of restricting the framework of quantum theory and quantum computation to finite fields. The simplest proposed theory is defined over arbitrary finite fields and loses the notion of unitaries. This makes such…
Matrix scaling is a simple to state, yet widely applicable linear-algebraic problem: the goal is to scale the rows and columns of a given non-negative matrix such that the rescaled matrix has prescribed row and column sums. Motivated by…
While the ability to measure low temperatures accurately in quantum systems is important in a wide range of experiments, the possibilities and the fundamental limits of quantum thermometry are not yet fully understood theoretically. Here we…
We study $\ell^\infty$ norms of $\ell^2$-normalized eigenfunctions of quantum cat maps. For maps with short quantum periods (constructed by Bonechi and de Bi\`evre), we show that there exists a sequence of eigenfunctions $u$ with…
We generalise the two-sided Bogoliubov inequality for classical particles from [L. Delle Site et al., J.Stat.Mech.Th.Exp. 083201 (2017)] to systems of quantum particles. As in the classical set-up, the inequality leads to upper and lower…
This is the main paper in a sequence in which we give a complete proof of the bounded $L^2$ curvature conjecture. More precisely we show that the time of existence of a classical solution to the Einstein-vacuum equations depends only on the…
The no-programming theorem prohibits the existence of a Universal Programmable Quantum Processor. This statement has several implications in relation to quantum computation, but also to other tasks of quantum information processing, making…
Quantum theory imposes fundamental limitations to the amount of information that can be carried by any quantum system. On the one hand, Holevo bound rules out the possibility to encode more information in a quantum system than in its…
A function defined on the Boolean hypercube is $k$-Fourier-sparse if it has at most $k$ nonzero Fourier coefficients. For a function $f: \mathbb{F}_2^n \rightarrow \mathbb{R}$ and parameters $k$ and $d$, we prove a strong upper bound on the…
We present a simple and general simulation technique that transforms any black-box quantum algorithm (a la Grover's database search algorithm) to a quantum communication protocol for a related problem, in a way that fully exploits the…
In this paper we derive an explicit lower bound on the volume of a hyperbolic $n$-orbifold for dimensions greater than or equal to four. Our main tool is H. C. Wang's bound on the radius of a ball embedded in the fundamental domain of a…
The Quantum Approximate Optimization Algorithm (QAOA) by Farhi et al. is a quantum computational framework for solving quantum or classical optimization tasks. Here, we explore using QAOA for Binary Linear Least Squares (BLLS); a problem…
Since Harrow, Hassidim, and Lloyd (2009) showed that a system of linear equations with $N$ variables and condition number $\kappa$ can be solved on a quantum computer in $\operatorname{poly}(\log(N), \kappa)$ time, exponentially faster than…
We demonstrate a family of propositional formulas in conjunctive normal form so that a formula of size $N$ requires size $2^{\Omega(\sqrt[7]{N/logN})}$ to refute using the tree-like OBDD refutation system of Atserias, Kolaitis and Vardi…
Quantum correlations are of fundamental importance in quantum phenomena and quantum information processing studies. The measure of quantum correlations is one central issue. The recently proposed measure of quantum correlations, the local…
An exact quantization rule for the Schr\"{o}dinger equation is presented. In the exact quantization rule, in addition to $N\pi$, there is an integral term, called the quantum correction. For the exactly solvable systems we find that the…
Adiabatic limit is the presumption of the adiabatic geometric quantum computation and of the adiabatic quantum algorithm. But in reality, the variation speed of the Hamiltonian is finite. Here we develop a general formulation of adiabatic…
In this note, we shall give an improved lower bound for the argument of a power of a given algebraic number which has absolute value one but is not a root of unity.