-
Efficient Quantum State Synthesis with One Query
Authors:
Gregory Rosenthal
Abstract:
We present a polynomial-time quantum algorithm making a single query (in superposition) to a classical oracle, such that for every state $|ψ\rangle$ there exists a choice of oracle that makes the algorithm construct an exponentially close approximation of $|ψ\rangle$. Previous algorithms for this problem either used a linear number of queries and polynomial time, or a constant number of queries an…
▽ More
We present a polynomial-time quantum algorithm making a single query (in superposition) to a classical oracle, such that for every state $|ψ\rangle$ there exists a choice of oracle that makes the algorithm construct an exponentially close approximation of $|ψ\rangle$. Previous algorithms for this problem either used a linear number of queries and polynomial time, or a constant number of queries and polynomially many ancillae but no nontrivial bound on the runtime. As corollaries we do the following:
- We simplify the proof that statePSPACE $\subseteq$ stateQIP (a quantum state analogue of PSPACE $\subseteq$ IP) and show that a constant number of rounds of interaction suffices.
- We show that QAC$\mathsf{_f^0}$ lower bounds for constructing explicit states would imply breakthrough circuit lower bounds for computing explicit boolean functions.
- We prove that every $n$-qubit state can be constructed to within 0.01 error by an $O(2^n/n)$-size circuit over an appropriate finite gate set. More generally we give a size-error tradeoff which, by a counting argument, is optimal for any finite gate set.
△ Less
Submitted 17 September, 2023; v1 submitted 2 June, 2023;
originally announced June 2023.
-
Cross Modal Distillation for Flood Extent Map**
Authors:
Shubhika Garg,
Ben Feinstein,
Shahar Timnat,
Vishal Batchu,
Gideon Dror,
Adi Gerzi Rosenthal,
Varun Gulshan
Abstract:
The increasing intensity and frequency of floods is one of the many consequences of our changing climate. In this work, we explore ML techniques that improve the flood detection module of an operational early flood warning system. Our method exploits an unlabelled dataset of paired multi-spectral and Synthetic Aperture Radar (SAR) imagery to reduce the labeling requirements of a purely supervised…
▽ More
The increasing intensity and frequency of floods is one of the many consequences of our changing climate. In this work, we explore ML techniques that improve the flood detection module of an operational early flood warning system. Our method exploits an unlabelled dataset of paired multi-spectral and Synthetic Aperture Radar (SAR) imagery to reduce the labeling requirements of a purely supervised learning method. Prior works have used unlabelled data by creating weak labels out of them. However, from our experiments we noticed that such a model still ends up learning the label mistakes in those weak labels. Motivated by knowledge distillation and semi supervised learning, we explore the use of a teacher to train a student with the help of a small hand labelled dataset and a large unlabelled dataset. Unlike the conventional self distillation setup, we propose a cross modal distillation framework that transfers supervision from a teacher trained on richer modality (multi-spectral images) to a student model trained on SAR imagery. The trained models are then tested on the Sen1Floods11 dataset. Our model outperforms the Sen1Floods11 baseline model trained on the weak labeled SAR imagery by an absolute margin of 6.53% Intersection-over-Union (IoU) on the test split.
△ Less
Submitted 16 February, 2023;
originally announced February 2023.
-
Query and Depth Upper Bounds for Quantum Unitaries via Grover Search
Authors:
Gregory Rosenthal
Abstract:
We prove that any $n$-qubit unitary transformation can be implemented (i) approximately in time $\tilde O\big(2^{n/2}\big)$ with query access to an appropriate classical oracle, and also (ii) exactly by a circuit of depth $\tilde O\big(2^{n/2}\big)$ with one- and two-qubit gates and $2^{O(n)}$ ancillae. The proofs involve similar reductions to Grover search. The proof of (ii) also involves a linea…
▽ More
We prove that any $n$-qubit unitary transformation can be implemented (i) approximately in time $\tilde O\big(2^{n/2}\big)$ with query access to an appropriate classical oracle, and also (ii) exactly by a circuit of depth $\tilde O\big(2^{n/2}\big)$ with one- and two-qubit gates and $2^{O(n)}$ ancillae. The proofs involve similar reductions to Grover search. The proof of (ii) also involves a linear-depth construction of arbitrary quantum states using one- and two-qubit gates (in fact, this can be improved to constant depth with the addition of fanout and generalized Toffoli gates) which may be of independent interest. We also prove a matching $Ω\big(2^{n/2}\big)$ lower bound for (i) and (ii) for a certain class of implementations.
△ Less
Submitted 10 July, 2023; v1 submitted 15 November, 2021;
originally announced November 2021.
-
Flood forecasting with machine learning models in an operational framework
Authors:
Sella Nevo,
Efrat Morin,
Adi Gerzi Rosenthal,
Asher Metzger,
Chen Barshai,
Dana Weitzner,
Dafi Voloshin,
Frederik Kratzert,
Gal Elidan,
Gideon Dror,
Gregory Begelman,
Grey Nearing,
Guy Shalev,
Hila Noga,
Ira Shavitt,
Liora Yuklea,
Moriah Royz,
Niv Giladi,
Nofar Peled Levi,
Ofir Reich,
Oren Gilon,
Ronnie Maor,
Shahar Timnat,
Tal Shechter,
Vladimir Anisimov
, et al. (6 additional authors not shown)
Abstract:
The operational flood forecasting system by Google was developed to provide accurate real-time flood warnings to agencies and the public, with a focus on riverine floods in large, gauged rivers. It became operational in 2018 and has since expanded geographically. This forecasting system consists of four subsystems: data validation, stage forecasting, inundation modeling, and alert distribution. Ma…
▽ More
The operational flood forecasting system by Google was developed to provide accurate real-time flood warnings to agencies and the public, with a focus on riverine floods in large, gauged rivers. It became operational in 2018 and has since expanded geographically. This forecasting system consists of four subsystems: data validation, stage forecasting, inundation modeling, and alert distribution. Machine learning is used for two of the subsystems. Stage forecasting is modeled with the Long Short-Term Memory (LSTM) networks and the Linear models. Flood inundation is computed with the Thresholding and the Manifold models, where the former computes inundation extent and the latter computes both inundation extent and depth. The Manifold model, presented here for the first time, provides a machine-learning alternative to hydraulic modeling of flood inundation. When evaluated on historical data, all models achieve sufficiently high-performance metrics for operational use. The LSTM showed higher skills than the Linear model, while the Thresholding and Manifold models achieved similar performance metrics for modeling inundation extent. During the 2021 monsoon season, the flood warning system was operational in India and Bangladesh, covering flood-prone regions around rivers with a total area of 287,000 km2, home to more than 350M people. More than 100M flood alerts were sent to affected populations, to relevant authorities, and to emergency organizations. Current and future work on the system includes extending coverage to additional flood-prone locations, as well as improving modeling capabilities and accuracy.
△ Less
Submitted 4 November, 2021;
originally announced November 2021.
-
Interactive Proofs for Synthesizing Quantum States and Unitaries
Authors:
Gregory Rosenthal,
Henry Yuen
Abstract:
Whereas quantum complexity theory has traditionally been concerned with problems arising from classical complexity theory (such as computing boolean functions), it also makes sense to study the complexity of inherently quantum operations such as constructing quantum states or performing unitary transformations. With this motivation, we define models of interactive proofs for synthesizing quantum s…
▽ More
Whereas quantum complexity theory has traditionally been concerned with problems arising from classical complexity theory (such as computing boolean functions), it also makes sense to study the complexity of inherently quantum operations such as constructing quantum states or performing unitary transformations. With this motivation, we define models of interactive proofs for synthesizing quantum states and unitaries, where a polynomial-time quantum verifier interacts with an untrusted quantum prover, and a verifier who accepts also outputs an approximation of the target state (for the state synthesis problem) or the result of the target unitary applied to the input state (for the unitary synthesis problem); furthermore there should exist an "honest" prover which the verifier accepts with probability 1.
Our main result is a "state synthesis" analogue of the inclusion $\mathsf{PSPACE} \subseteq \mathsf{IP}$: any sequence of states computable by a polynomial-space quantum algorithm (which may run for exponential time) admits an interactive protocol of the form described above. Leveraging this state synthesis protocol, we also give a unitary synthesis protocol for polynomial space-computable unitaries that act nontrivially on only a polynomial-dimensional subspace. We obtain analogous results in the setting with multiple entangled provers as well.
△ Less
Submitted 11 November, 2021; v1 submitted 16 August, 2021;
originally announced August 2021.
-
Bounds on the QAC$^0$ Complexity of Approximating Parity
Authors:
Gregory Rosenthal
Abstract:
QAC circuits are quantum circuits with one-qubit gates and Toffoli gates of arbitrary arity. QAC$^0$ circuits are QAC circuits of constant depth, and are quantum analogues of AC$^0$ circuits. We prove the following:
$\bullet$ For all $d \ge 7$ and $\varepsilon>0$ there is a depth-$d$ QAC circuit of size $\exp(\mathrm{poly}(n^{1/d}) \log(n/\varepsilon))$ that approximates the $n$-qubit parity fun…
▽ More
QAC circuits are quantum circuits with one-qubit gates and Toffoli gates of arbitrary arity. QAC$^0$ circuits are QAC circuits of constant depth, and are quantum analogues of AC$^0$ circuits. We prove the following:
$\bullet$ For all $d \ge 7$ and $\varepsilon>0$ there is a depth-$d$ QAC circuit of size $\exp(\mathrm{poly}(n^{1/d}) \log(n/\varepsilon))$ that approximates the $n$-qubit parity function to within error $\varepsilon$ on worst-case quantum inputs. Previously it was unknown whether QAC circuits of sublogarithmic depth could approximate parity regardless of size.
$\bullet$ We introduce a class of "mostly classical" QAC circuits, including a major component of our circuit from the above upper bound, and prove a tight lower bound on the size of low-depth, mostly classical QAC circuits that approximate this component.
$\bullet$ Arbitrary depth-$d$ QAC circuits require at least $Ω(n/d)$ multi-qubit gates to achieve a $1/2 + \exp(-o(n/d))$ approximation of parity. When $d = Θ(\log n)$ this nearly matches an easy $O(n)$ size upper bound for computing parity exactly.
$\bullet$ QAC circuits with at most two layers of multi-qubit gates cannot achieve a $1/2 + \exp(-o(n))$ approximation of parity, even non-cleanly. Previously it was known only that such circuits could not cleanly compute parity exactly for sufficiently large $n$.
The proofs use a new normal form for quantum circuits which may be of independent interest, and are based on reductions to the problem of constructing certain generalizations of the cat state which we name "nekomata" after an analogous cat yōkai.
△ Less
Submitted 30 November, 2020; v1 submitted 17 August, 2020;
originally announced August 2020.
-
Beating Treewidth for Average-Case Subgraph Isomorphism
Authors:
Gregory Rosenthal
Abstract:
For any fixed graph $G$, the subgraph isomorphism problem asks whether an $n$-vertex input graph has a subgraph isomorphic to $G$. A well-known algorithm of Alon, Yuster and Zwick (1995) efficiently reduces this to the "colored" version of the problem, denoted $G$-$\mathsf{SUB}$, and then solves $G$-$\mathsf{SUB}$ in time $O(n^{tw(G)+1})$ where $tw(G)$ is the treewidth of $G$. Marx (2010) conjectu…
▽ More
For any fixed graph $G$, the subgraph isomorphism problem asks whether an $n$-vertex input graph has a subgraph isomorphic to $G$. A well-known algorithm of Alon, Yuster and Zwick (1995) efficiently reduces this to the "colored" version of the problem, denoted $G$-$\mathsf{SUB}$, and then solves $G$-$\mathsf{SUB}$ in time $O(n^{tw(G)+1})$ where $tw(G)$ is the treewidth of $G$. Marx (2010) conjectured that $G$-$\mathsf{SUB}$ requires time $Ω(n^{\mathrm{const}\cdot tw(G)})$ and, assuming the Exponential Time Hypothesis, proved a lower bound of $Ω(n^{\mathrm{const}\cdot emb(G)})$ for a certain graph parameter $emb(G) \ge Ω(tw(G)/\log tw(G))$. With respect to the size of $\mathrm{AC}^0$ circuits solving $G$-$\mathsf{SUB}$ in the average case, Li, Razborov and Rossman (2017) proved (unconditional) upper and lower bounds of $O(n^{2κ(G)+\mathrm{const}})$ and $Ω(n^{κ(G)})$ for a different graph parameter $κ(G) \ge Ω(tw(G)/\log tw(G))$.
Our contributions are as follows. First, we prove that $emb(G)$ is $O(κ(G))$ for all graphs $G$. Next, we show that $κ(G)$ can be asymptotically less than $tw(G)$; for example, if $G$ is a hypercube then $κ(G)$ is $Θ\big(tw(G)\big/\sqrt{\log tw(G)}\big)$. This implies that the average-case complexity of $G$-$\mathsf{SUB}$ is $n^{o(tw(G))}$ when $G$ is a hypercube. Finally, we construct $\mathrm{AC}^0$ circuits of size $O(n^{κ(G)+\mathrm{const}})$ that solve $G$-$\mathsf{SUB}$ in the average case, closing the gap between the upper and lower bounds of Li et al.
△ Less
Submitted 3 November, 2020; v1 submitted 17 February, 2019;
originally announced February 2019.
-
Universal response of optimal granular dam** devices
Authors:
Martín Sánchez,
Gustavo Rosenthal,
Luis A. Pugnaloni
Abstract:
Granular dam** devices constitute an emerging technology for the attenuation of vibrations based on the dissipative nature of particle collisions. We show that the performance of such devices is independent of the material properties of the particles for working conditions where dam** is optimal. Even the suppression of a dissipation mode (collisional or frictional) is unable to alter the resp…
▽ More
Granular dam** devices constitute an emerging technology for the attenuation of vibrations based on the dissipative nature of particle collisions. We show that the performance of such devices is independent of the material properties of the particles for working conditions where dam** is optimal. Even the suppression of a dissipation mode (collisional or frictional) is unable to alter the response. We explain this phenomenon in terms of the inelastic collapse of granular materials. These findings provide a crucial standpoint for the design of such devices in order to achieve the desired low maintenance feature that makes particle dampers particularly suitable to harsh environments.
△ Less
Submitted 29 May, 2012; v1 submitted 9 January, 2012;
originally announced January 2012.
-
Self-assembly of amphiphilic Janus particles at planar walls: A density functional study
Authors:
Gerald Rosenthal,
Sabine H. L. Klapp
Abstract:
We investigate the structure formation of amphiphilic molecules at planar walls using density functional theory. The molecules are modeled as (hard) spheres composed of a hydrophilic and hydrophobic part. The orientation of the resulting Janus-particles is described as a vector representing an internal degree of freedom. Our density functional approach involves Fundamental Measure Theory combined…
▽ More
We investigate the structure formation of amphiphilic molecules at planar walls using density functional theory. The molecules are modeled as (hard) spheres composed of a hydrophilic and hydrophobic part. The orientation of the resulting Janus-particles is described as a vector representing an internal degree of freedom. Our density functional approach involves Fundamental Measure Theory combined with a mean-field approximation for the anisotropic interaction. Considering neutral, hydrophilic and hydrophobic walls, we study the adsorption of the particles, focussing on the competition between the surface field and interact ion-induced ordering phenomena. Finally, we consider systems confined between two planar walls. It is shown that the anisotropic Janus interaction yields pronounced frustration effects at low temperatures.
△ Less
Submitted 6 December, 2010;
originally announced December 2010.
