-
Dimension-free Remez Inequalities and norm designs
Authors:
Lars Becker,
Ohad Klein,
Joseph Slote,
Alexander Volberg,
Haonan Zhang
Abstract:
The classical Remez inequality bounds the supremum of a bounded-degree polynomial on an interval $X$ by its supremum on any subset $Y\subset X$ of positive Lebesgue measure.
There are many multivariate generalizations of the Remez inequality, but most have constants that depend strongly on dimension.
Here we show that a broad class of domains $X$ and test sets $Y$ -- termed \emph{norm designs}…
▽ More
The classical Remez inequality bounds the supremum of a bounded-degree polynomial on an interval $X$ by its supremum on any subset $Y\subset X$ of positive Lebesgue measure.
There are many multivariate generalizations of the Remez inequality, but most have constants that depend strongly on dimension.
Here we show that a broad class of domains $X$ and test sets $Y$ -- termed \emph{norm designs} -- enjoy dimension-free Remez-type estimates.
Instantiations of this theorem allow us for example \emph{a}) to bound the supremum of an $n$-variate degree-$d$ polynomial on the solid cube $[0,1]^n$ by its supremum on the regular grid $\{0,1/d,2/d,\ldots, 1\}^n$ independent of dimension; and \emph{b}) in the case of a degree-$d$ polynomial $f:\mathbf{Z}_K^n\to\mathbf{C}$ on the $n$-fold product of cyclic groups of order $K$, to show the supremum of $f$ does not increase by more than $\mathcal{O}(\log K)^{2d}$ when $f$ is extended to the polytorus as $f:\mathbf{T}^n\to\mathbf{C}$.
△ Less
Submitted 20 December, 2023; v1 submitted 11 October, 2023;
originally announced October 2023.
-
Quantum and classical low-degree learning via a dimension-free Remez inequality
Authors:
Ohad Klein,
Joseph Slote,
Alexander Volberg,
Haonan Zhang
Abstract:
Recent efforts in Analysis of Boolean Functions aim to extend core results to new spaces, including to the slice $\binom{[n]}{k}$, the hypergrid $[K]^n$, and noncommutative spaces (matrix algebras). We present here a new way to relate functions on the hypergrid (or products of cyclic groups) to their harmonic extensions over the polytorus. We show the supremum of a function $f$ over products of th…
▽ More
Recent efforts in Analysis of Boolean Functions aim to extend core results to new spaces, including to the slice $\binom{[n]}{k}$, the hypergrid $[K]^n$, and noncommutative spaces (matrix algebras). We present here a new way to relate functions on the hypergrid (or products of cyclic groups) to their harmonic extensions over the polytorus. We show the supremum of a function $f$ over products of the cyclic group $\{\exp(2πi k/K)\}_{k=1}^K$ controls the supremum of $f$ over the entire polytorus $(\{z\in\mathbf{C}:|z|=1\}^n)$, with multiplicative constant $C$ depending on $K$ and $\text{deg}(f)$ only. This Remez-type inequality appears to be the first such estimate that is dimension-free (i.e., $C$ does not depend on $n$).
This dimension-free Remez-type inequality removes the main technical barrier to giving $\mathcal{O}(\log n)$ sample complexity, polytime algorithms for learning low-degree polynomials on the hypergrid and low-degree observables on level-$K$ qudit systems. In particular, our dimension-free Remez inequality implies new Bohnenblust--Hille-type estimates which are central to the learning algorithms and appear unobtainable via standard techniques. Thus we extend to new spaces a recent line of work \cite{EI22, CHP, VZ22} that gave similarly efficient methods for learning low-degree polynomials on the hypercube and observables on qubits.
An additional product of these efforts is a new class of distributions over which arbitrary quantum observables are well-approximated by their low-degree truncations -- a phenomenon that greatly extends the reach of low-degree learning in quantum science \cite{CHP}.
△ Less
Submitted 18 December, 2023; v1 submitted 3 January, 2023;
originally announced January 2023.
-
Optimal broad-band frequency conversion via a magnomechanical transducer
Authors:
F. Engelhardt,
V. A. S. V. Bittencourt,
H. Huebl,
O. Klein,
S. Viola Kusminskiy
Abstract:
Develo** schemes for efficient and broad-band frequency conversion of quantum signals is an ongoing challenge in the field of modern quantum information. Especially the coherent conversion between microwave and optical signals is an important milestone towards long-distance quantum communication. In this work, we propose a two-stage conversion protocol, employing a resonant interaction between m…
▽ More
Develo** schemes for efficient and broad-band frequency conversion of quantum signals is an ongoing challenge in the field of modern quantum information. Especially the coherent conversion between microwave and optical signals is an important milestone towards long-distance quantum communication. In this work, we propose a two-stage conversion protocol, employing a resonant interaction between magnetic and mechanical excitations as a mediator between microwave and optical photons. Based on estimates for the coupling strengths under optimized conditions for yttrium iron garnet, we predict close to unity conversion efficiency without the requirement of matching cooperativities. We predict a conversion bandwidth in the regions of largest efficiency on the order of magnitude of the coupling strengths which can be further increased at the expense of reduced conversion efficiency.
△ Less
Submitted 26 September, 2022; v1 submitted 10 May, 2022;
originally announced May 2022.