-
Quantum Simulation of Dynamical Response Functions of Equilibrium States
Authors:
Esther Cruz,
Dominik S. Wild,
Mari Carmen Bañuls,
J. Ignacio Cirac
Abstract:
The computation of dynamical response functions is central to many problems in condensed matter physics. Owing to the rapid growth of quantum correlations following a quench, classical methods face significant challenges even if an efficient description of the equilibrium state is available. Quantum computing offers a promising alternative. However, existing approaches often assume access to the e…
▽ More
The computation of dynamical response functions is central to many problems in condensed matter physics. Owing to the rapid growth of quantum correlations following a quench, classical methods face significant challenges even if an efficient description of the equilibrium state is available. Quantum computing offers a promising alternative. However, existing approaches often assume access to the equilibrium state, which may be difficult to prepare in practice. In this work, we present a method that circumvents this by using energy filter techniques, enabling the computation of response functions and other dynamical properties in both microcanonical and canonical ensembles. Our approach only requires the preparation of states that have significant weight at the desired energy. The dynamical response functions are then reconstructed from measurements after quenches of varying duration by classical postprocessing. We illustrate the algorithm numerically by applying it to compute the dynamical conductivity of a free-fermion model, which unveils the energy-dependent localization properties of the model.
△ Less
Submitted 8 May, 2025;
originally announced May 2025.
-
Cavity Quantum Electrodynamics with Atom Arrays in Free Space
Authors:
David Castells-Graells,
J. Ignacio Cirac,
Dominik S. Wild
Abstract:
Cavity quantum electrodynamics (cavity QED) enables the control of light-matter interactions at the single-photon level, rendering it a key component of many quantum technologies. Its practical realization, however, is complex since it involves placing individual quantum emitters close to mirror surfaces within a high-finesse cavity. In this work, we propose a cavity QED architecture fully based o…
▽ More
Cavity quantum electrodynamics (cavity QED) enables the control of light-matter interactions at the single-photon level, rendering it a key component of many quantum technologies. Its practical realization, however, is complex since it involves placing individual quantum emitters close to mirror surfaces within a high-finesse cavity. In this work, we propose a cavity QED architecture fully based on atoms trapped in free space. In particular, we show that a pair of two-dimensional, ordered arrays of atoms can be described by conventional cavity QED parameters. Such an atom-array cavity exhibits the same cooperativity as a conventional counterpart with matching mirror specifications even though the cavity coupling strength and decay rate are modified by the narrow bandwidth of the atoms. We estimate that an array cavity composed of $^{87}\mathrm{Rb}$ atoms in an optical lattice can reach a cooperativity of about $10$. This value can be increased suppressing atomic motion with larger trap depths and may exceed $10^4$ with an ideal placement of the atoms. To reduce the experimental complexity of our scheme, we propose a spatially dependent AC Stark shift as an alternative to curving the arrays, which may be of independent interest. In addition to presenting a promising platform for cavity QED, our work creates opportunities for exploring novel phenomena based on the intrinsic nonlinearity of atom arrays and the possibility to dynamically control them.
△ Less
Submitted 23 September, 2024;
originally announced September 2024.
-
Quantum quench dynamics as a shortcut to adiabaticity
Authors:
Alexander Lukin,
Benjamin F. Schiffer,
Boris Braverman,
Sergio H. Cantu,
Florian Huber,
Alexei Bylinskii,
Jesse Amato-Grill,
Nishad Maskara,
Madelyn Cain,
Dominik S. Wild,
Rhine Samajdar,
Mikhail D. Lukin
Abstract:
The ability to efficiently prepare ground states of quantum Hamiltonians via adiabatic protocols is typically limited by the smallest energy gap encountered during the quantum evolution. This presents a key obstacle for quantum simulation and realizations of adiabatic quantum algorithms in large systems, particularly when the adiabatic gap vanishes exponentially with system size. Using QuEra's Aqu…
▽ More
The ability to efficiently prepare ground states of quantum Hamiltonians via adiabatic protocols is typically limited by the smallest energy gap encountered during the quantum evolution. This presents a key obstacle for quantum simulation and realizations of adiabatic quantum algorithms in large systems, particularly when the adiabatic gap vanishes exponentially with system size. Using QuEra's Aquila programmable quantum simulator based on Rydberg atom arrays, we experimentally demonstrate a method to circumvent such limitations. Specifically, we develop and test a "sweep-quench-sweep" quantum algorithm in which the incorporation of a quench step serves as a remedy to the diverging adiabatic timescale. These quenches introduce a macroscopic reconfiguration between states separated by an extensively large Hamming distance, akin to quantum many-body scars. Our experiments show that this approach significantly outperforms the adiabatic algorithm, illustrating that such quantum quench algorithms can provide a shortcut to adiabaticity for large-scale many-body quantum systems.
△ Less
Submitted 31 May, 2024;
originally announced May 2024.
-
Quantum dynamics of a fully-blockaded Rydberg atom ensemble
Authors:
Dominik S. Wild,
Sabina Drăgoi,
Corbin McElhanney,
Jonathan Wurtz,
Sheng-Tao Wang
Abstract:
Classical simulation of quantum systems plays an important role in the study of many-body phenomena and in the benchmarking and verification of quantum technologies. Exact simulation is often limited to small systems because the dimension of the Hilbert space increases exponentially with the size of the system. For systems that possess a high degree of symmetry, however, classical simulation can r…
▽ More
Classical simulation of quantum systems plays an important role in the study of many-body phenomena and in the benchmarking and verification of quantum technologies. Exact simulation is often limited to small systems because the dimension of the Hilbert space increases exponentially with the size of the system. For systems that possess a high degree of symmetry, however, classical simulation can reach much larger sizes. Here, we consider an ensemble of strongly interacting atoms with permutation symmetry, enabling the simulation of dynamics of hundreds of atoms at arbitrarily long evolution times. The system is realized by an ensemble of three-level atoms, where one of the levels corresponds to a highly excited Rydberg state. In the limit of all-to-all Rydberg blockade, the Hamiltonian is invariant under permutation of the atoms. Using techniques from representation theory, we construct a block-diagonal form of the Hamiltonian, where the size of the largest block increases only linearly with the system size. We apply this formalism to derive efficient pulse sequences to prepare arbitrary permutation-invariant quantum states. Moreover, we study the quantum dynamics following a quench, uncovering a parameter regime in which the system thermalizes slowly and exhibits pronounced revivals. Our results create new opportunities for the experimental and theoretical study of large interacting and nonintegrable quantum systems.
△ Less
Submitted 30 November, 2023;
originally announced November 2023.
-
Phase-Sensitive Quantum Measurement without Controlled Operations
Authors:
Yilun Yang,
Arthur Christianen,
Mari Carmen Bañuls,
Dominik S. Wild,
J. Ignacio Cirac
Abstract:
Many quantum algorithms rely on the measurement of complex quantum amplitudes. Standard approaches to obtain the phase information, such as the Hadamard test, give rise to large overheads due to the need for global controlled-unitary operations. We introduce a quantum algorithm based on complex analysis that overcomes this problem for amplitudes that are a continuous function of time. Our method o…
▽ More
Many quantum algorithms rely on the measurement of complex quantum amplitudes. Standard approaches to obtain the phase information, such as the Hadamard test, give rise to large overheads due to the need for global controlled-unitary operations. We introduce a quantum algorithm based on complex analysis that overcomes this problem for amplitudes that are a continuous function of time. Our method only requires the implementation of real-time evolution and a shallow circuit that approximates a short imaginary-time evolution. We show that the method outperforms the Hadamard test in terms of circuit depth and that it is suitable for current noisy quantum computers when combined with a simple error-mitigation strategy.
△ Less
Submitted 3 May, 2024; v1 submitted 21 August, 2023;
originally announced August 2023.
-
Circumventing superexponential runtimes for hard instances of quantum adiabatic optimization
Authors:
Benjamin F. Schiffer,
Dominik S. Wild,
Nishad Maskara,
Madelyn Cain,
Mikhail D. Lukin,
Rhine Samajdar
Abstract:
Classical optimization problems can be solved by adiabatically preparing the ground state of a quantum Hamiltonian that encodes the problem. The performance of this approach is determined by the smallest gap encountered during the evolution. Here, we consider the maximum independent set problem, which can be efficiently encoded in the Hamiltonian describing a Rydberg atom array. We present a gener…
▽ More
Classical optimization problems can be solved by adiabatically preparing the ground state of a quantum Hamiltonian that encodes the problem. The performance of this approach is determined by the smallest gap encountered during the evolution. Here, we consider the maximum independent set problem, which can be efficiently encoded in the Hamiltonian describing a Rydberg atom array. We present a general construction of instances of the problem for which the minimum gap decays superexponentially with system size, implying a superexponentially large time to solution via adiabatic evolution. The small gap arises from locally independent choices, which cause the system to initially evolve and localize into a configuration far from the solution in terms of Hamming distance. We investigate remedies to this problem. Specifically, we show that quantum quenches in these models can exhibit signatures of quantum many-body scars, which in turn, can circumvent the superexponential gaps. By quenching from a suboptimal configuration, states with a larger ground state overlap can be prepared, illustrating the utility of quantum quenches as an algorithmic tool.
△ Less
Submitted 22 June, 2023;
originally announced June 2023.
-
Simulating prethermalization using near-term quantum computers
Authors:
Yilun Yang,
Arthur Christianen,
Sandra Coll-Vinent,
Vadim Smelyanskiy,
Mari Carmen Bañuls,
Thomas E. O'Brien,
Dominik S. Wild,
J. Ignacio Cirac
Abstract:
Quantum simulation is one of the most promising scientific applications of quantum computers. Due to decoherence and noise in current devices, it is however challenging to perform digital quantum simulation in a regime that is intractable with classical computers. In this work, we propose an experimental protocol for probing dynamics and equilibrium properties on near-term digital quantum computer…
▽ More
Quantum simulation is one of the most promising scientific applications of quantum computers. Due to decoherence and noise in current devices, it is however challenging to perform digital quantum simulation in a regime that is intractable with classical computers. In this work, we propose an experimental protocol for probing dynamics and equilibrium properties on near-term digital quantum computers. As a key ingredient of our work, we show that it is possible to study thermalization even with a relatively coarse Trotter decomposition of the Hamiltonian evolution of interest. Even though the step size is too large to permit a rigorous bound on the Trotter error, we observe that the system prethermalizes in accordance with previous results for Floquet systems. The dynamics closely resemble the thermalization of the model underlying the Trotterization up to long times. We extend the reach of our approach by developing an error mitigation scheme based on measurement and rescaling of survival probabilities. To demonstrate the effectiveness of the entire protocol, we apply it to the two-dimensional XY model and numerically verify its performance with realistic noise parameters for superconducting quantum devices. Our proposal thus provides a route to achieving quantum advantage for relevant problems in condensed matter physics.
△ Less
Submitted 15 March, 2023;
originally announced March 2023.
-
Classical simulation of short-time quantum dynamics
Authors:
Dominik S. Wild,
Álvaro M. Alhambra
Abstract:
Recent progress in the development of quantum technologies has enabled the direct investigation of dynamics of increasingly complex quantum many-body systems. This motivates the study of the complexity of classical algorithms for this problem in order to benchmark quantum simulators and to delineate the regime of quantum advantage. Here we present classical algorithms for approximating the dynamic…
▽ More
Recent progress in the development of quantum technologies has enabled the direct investigation of dynamics of increasingly complex quantum many-body systems. This motivates the study of the complexity of classical algorithms for this problem in order to benchmark quantum simulators and to delineate the regime of quantum advantage. Here we present classical algorithms for approximating the dynamics of local observables and nonlocal quantities such as the Loschmidt echo, where the evolution is governed by a local Hamiltonian. For short times, their computational cost scales polynomially with the system size and the inverse of the approximation error. In the case of local observables, the proposed algorithm has a better dependence on the approximation error than algorithms based on the Lieb-Robinson bound. Our results use cluster expansion techniques adapted to the dynamical setting, for which we give a novel proof of their convergence. This has important physical consequences besides our efficient algorithms. In particular, we establish a novel quantum speed limit, a bound on dynamical phase transitions, and a concentration bound for product states evolved for short times.
△ Less
Submitted 11 July, 2023; v1 submitted 20 October, 2022;
originally announced October 2022.
-
Quantum Sampling Algorithms, Phase Transitions, and Computational Complexity
Authors:
Dominik S. Wild,
Dries Sels,
Hannes Pichler,
Cristian Zanoci,
Mikhail D. Lukin
Abstract:
Drawing independent samples from a probability distribution is an important computational problem with applications in Monte Carlo algorithms, machine learning, and statistical physics. The problem can in principle be solved on a quantum computer by preparing a quantum state that encodes the entire probability distribution followed by a projective measurement. We investigate the complexity of adia…
▽ More
Drawing independent samples from a probability distribution is an important computational problem with applications in Monte Carlo algorithms, machine learning, and statistical physics. The problem can in principle be solved on a quantum computer by preparing a quantum state that encodes the entire probability distribution followed by a projective measurement. We investigate the complexity of adiabatically preparing such quantum states for the Gibbs distributions of various classical models including the Ising chain, hard-sphere models on different graphs, and a model encoding the unstructured search problem. By constructing a parent Hamiltonian, whose ground state is the desired quantum state, we relate the asymptotic scaling of the state preparation time to the nature of transitions between distinct quantum phases. These insights enable us to identify adiabatic paths that achieve a quantum speedup over classical Markov chain algorithms. In addition, we show that parent Hamiltonians for the problem of sampling from independent sets on certain graphs can be naturally realized with neutral atoms interacting via highly excited Rydberg states.
△ Less
Submitted 7 September, 2021;
originally announced September 2021.
-
Cavity quantum optomechanics with an atom-array membrane
Authors:
Ephraim Shahmoon,
Dominik S. Wild,
Mikhail D. Lukin,
Susanne F. Yelin
Abstract:
We consider a quantum optomechanical scheme wherein an ordered two-dimensional array of laser-trapped atoms is used as a movable membrane. The extremely light mass of the atoms yields very strong optomechanical coupling, while their spatial order largely eliminates scattering losses. We show that this combination opens the way for quantum optomechanical nonlinearities, well within the ultimate sin…
▽ More
We consider a quantum optomechanical scheme wherein an ordered two-dimensional array of laser-trapped atoms is used as a movable membrane. The extremely light mass of the atoms yields very strong optomechanical coupling, while their spatial order largely eliminates scattering losses. We show that this combination opens the way for quantum optomechanical nonlinearities, well within the ultimate single-photon strong-coupling regime. As an example, we analyze the possibility to observe optomechanically induced quantum effects such as photon blockade and time-delayed non-classical correlations. We discuss novel opportunities opened by the optomechanical backaction on the internal states of the array atoms.
△ Less
Submitted 2 June, 2020;
originally announced June 2020.
-
Theory of cavity QED with 2D atomic arrays
Authors:
Ephraim Shahmoon,
Dominik S. Wild,
Mikhail D. Lukin,
Susanne F. Yelin
Abstract:
We develop a quantum optical formalism to treat a two-dimensional array of atoms placed in an optical cavity. Importantly, and in contrast to typical treatments, we account for cooperative dipole-dipole effects mediated by the interaction of the atoms with the outside, non-cavity-confined modes. Based on the observation that scattering to these modes is largely inhibited due to these cooperative e…
▽ More
We develop a quantum optical formalism to treat a two-dimensional array of atoms placed in an optical cavity. Importantly, and in contrast to typical treatments, we account for cooperative dipole-dipole effects mediated by the interaction of the atoms with the outside, non-cavity-confined modes. Based on the observation that scattering to these modes is largely inhibited due to these cooperative effects, we construct a generic formalism, independent of the specific cavity structure, and apply it to an array of non-saturated atoms. By further considering the atomic motion, we show that the inhibited damping can lead to a favorable scaling of the optomechanical parameters of an atom-array membrane placed within a cavity. The developed formalism lays the basis for further investigation of many-body QED with atom arrays in transversely confined geometries.
△ Less
Submitted 2 June, 2020;
originally announced June 2020.
-
Quantum Sampling Algorithms for Near-Term Devices
Authors:
Dominik S. Wild,
Dries Sels,
Hannes Pichler,
Cristian Zanoci,
Mikhail D. Lukin
Abstract:
Efficient sampling from a classical Gibbs distribution is an important computational problem with applications ranging from statistical physics over Monte Carlo and optimization algorithms to machine learning. We introduce a family of quantum algorithms that provide unbiased samples by preparing a state encoding the entire Gibbs distribution. We show that this approach leads to a speedup over a cl…
▽ More
Efficient sampling from a classical Gibbs distribution is an important computational problem with applications ranging from statistical physics over Monte Carlo and optimization algorithms to machine learning. We introduce a family of quantum algorithms that provide unbiased samples by preparing a state encoding the entire Gibbs distribution. We show that this approach leads to a speedup over a classical Markov chain algorithm for several examples including the Ising model and sampling from weighted independent sets of two different graphs. Our approach connects computational complexity with phase transitions, providing a physical interpretation of quantum speedup. Moreover, it opens the door to exploring potentially useful sampling algorithms on near-term quantum devices as the algorithm for sampling from independent sets on certain graphs can be naturally implemented using Rydberg atom arrays.
△ Less
Submitted 7 September, 2021; v1 submitted 28 May, 2020;
originally announced May 2020.
-
Controlling interactions between quantum emitters using atom arrays
Authors:
Taylor L. Patti,
Dominik S. Wild,
Ephraim Shahmoon,
Mikhail D. Lukin,
Susanne F. Yelin
Abstract:
We investigate two-dimensional atomic arrays as a platform to modify the electromagnetic environment of individual quantum emitters. Specifically, we demonstrate that control over emission linewidths, resonant frequency shifts, and local enhancement of driving fields is possible due to strong dipole-dipole interactions within ordered, subwavelength atom configurations. We demonstrate that these ef…
▽ More
We investigate two-dimensional atomic arrays as a platform to modify the electromagnetic environment of individual quantum emitters. Specifically, we demonstrate that control over emission linewidths, resonant frequency shifts, and local enhancement of driving fields is possible due to strong dipole-dipole interactions within ordered, subwavelength atom configurations. We demonstrate that these effects can be used to dramatically enhance coherent dipole-dipole interactions between distant quantum emitters within an atom array. Possible experimental realizations and potential applications are discussed.
△ Less
Submitted 5 May, 2020;
originally announced May 2020.
-
Wigner Crystals in Two-Dimensional Transition-Metal Dichalcogenides: Spin Physics and Readout
Authors:
Johannes Knörzer,
Martin J. A. Schuetz,
Geza Giedke,
Dominik S. Wild,
Kristiaan De Greve,
Richard Schmidt,
Mikhail D. Lukin,
J. Ignacio Cirac
Abstract:
Wigner crystals are prime candidates for the realization of regular electron lattices under minimal requirements on external control and electronics. However, several technical challenges have prevented their detailed experimental investigation and applications to date. We propose an implementation of two-dimensional electron lattices for quantum simulation of Ising spin systems based on self-asse…
▽ More
Wigner crystals are prime candidates for the realization of regular electron lattices under minimal requirements on external control and electronics. However, several technical challenges have prevented their detailed experimental investigation and applications to date. We propose an implementation of two-dimensional electron lattices for quantum simulation of Ising spin systems based on self-assembled Wigner crystals in transition-metal dichalcogenides. We show that these semiconductors allow for minimally invasive all-optical detection schemes of charge ordering and total spin. For incident light with optimally chosen beam parameters and polarization, we predict a strong dependence of the transmitted and reflected signals on the underlying lattice periodicity, thus revealing the charge order inherent in Wigner crystals. At the same time, the selection rules in transition-metal dichalcogenides provide direct access to the spin degree of freedom via Faraday rotation measurements.
△ Less
Submitted 3 March, 2020; v1 submitted 23 December, 2019;
originally announced December 2019.
-
Quantum Nonlinear Optics in Atomically Thin Materials
Authors:
Dominik S. Wild,
Ephraim Shahmoon,
Susanne F. Yelin,
Mikhail D. Lukin
Abstract:
We show that a nonlinear optical response associated with a resonant, atomically thin material can be dramatically enhanced by placing it in front of a partially reflecting mirror, rendering otherwise weakly nonlinear systems suitable for experiments and applications involving quantum nonlinear optics. Our approach exploits the nonlinear response of long-lived polariton resonances that arise at pa…
▽ More
We show that a nonlinear optical response associated with a resonant, atomically thin material can be dramatically enhanced by placing it in front of a partially reflecting mirror, rendering otherwise weakly nonlinear systems suitable for experiments and applications involving quantum nonlinear optics. Our approach exploits the nonlinear response of long-lived polariton resonances that arise at particular distances between the material and the mirror. The scheme is entirely based on free-space optics, eliminating the need for cavities or complex nanophotonic structures. We analyze a specific implementation based on exciton-polariton resonances in two-dimensional semiconductors and discuss the role of imperfections and loss.
△ Less
Submitted 23 September, 2018; v1 submitted 12 May, 2018;
originally announced May 2018.
-
Quantum Spin Lenses in Atomic Arrays
Authors:
A. W. Glaetzle,
K. Ender,
D. S. Wild,
S. Choi,
H. Pichler,
M. D. Lukin,
P. Zoller
Abstract:
We propose and discuss `quantum spin lenses', where quantum states of delocalized spin excitations in an atomic medium are `focused' in space in a coherent quantum process down to (essentially) single atoms. These can be employed to create controlled interactions in a quantum light-matter interface, where photonic qubits stored in an atomic ensemble are mapped to a quantum register represented by…
▽ More
We propose and discuss `quantum spin lenses', where quantum states of delocalized spin excitations in an atomic medium are `focused' in space in a coherent quantum process down to (essentially) single atoms. These can be employed to create controlled interactions in a quantum light-matter interface, where photonic qubits stored in an atomic ensemble are mapped to a quantum register represented by single atoms. We propose Hamiltonians for quantum spin lenses as inhomogeneous spin models on lattices, which can be realized with Rydberg atoms in 1D, 2D and 3D, and with strings of trapped ions. We discuss both linear and non-linear quantum spin lenses: in a non-linear lens, repulsive spin-spin interactions lead to focusing dynamics conditional to the number of spin excitations. This allows the mapping of quantum superpositions of delocalized spin excitations to superpositions of spatial spin patterns, which can be addressed by light fields and manipulated. Finally, we propose multifocal quantum spin lenses as a way to generate and distribute entanglement between distant atoms in an atomic lattice array.
△ Less
Submitted 28 April, 2017;
originally announced April 2017.
-
Cooperative resonances in light scattering from two-dimensional atomic arrays
Authors:
Ephraim Shahmoon,
Dominik S. Wild,
Mikhail D. Lukin,
Susanne F. Yelin
Abstract:
We consider light scattering off a two-dimensional (2D) dipolar array and show how it can be tailored by properly choosing the lattice constant of the order of the incident wavelength. In particular, we demonstrate that such arrays can operate as nearly perfect mirrors for a wide range of incident angles and frequencies close to the individual atomic resonance. These results can be understood in t…
▽ More
We consider light scattering off a two-dimensional (2D) dipolar array and show how it can be tailored by properly choosing the lattice constant of the order of the incident wavelength. In particular, we demonstrate that such arrays can operate as nearly perfect mirrors for a wide range of incident angles and frequencies close to the individual atomic resonance. These results can be understood in terms of the cooperative resonances of the surface modes supported by the 2D array. Experimental realizations are discussed, using ultracold arrays of trapped atoms and excitons in 2D semiconductor materials, as well as potential applications ranging from atomically thin metasurfaces to single photon nonlinear optics and nanomechanics.
△ Less
Submitted 6 October, 2016; v1 submitted 1 October, 2016;
originally announced October 2016.
-
Adiabatic Quantum Search in Open Systems
Authors:
Dominik S. Wild,
Sarang Gopalakrishnan,
Michael Knap,
Norman Y. Yao,
Mikhail D. Lukin
Abstract:
Adiabatic quantum algorithms represent a promising approach to universal quantum computation. Whilst in a closed system these algorithms are limited by avoided level crossings, where the gap becomes exponentially small in the system size, their robustness in open systems remains unresolved. We study the dynamics in the proximity of such an avoided level crossing associated with the adiabatic quant…
▽ More
Adiabatic quantum algorithms represent a promising approach to universal quantum computation. Whilst in a closed system these algorithms are limited by avoided level crossings, where the gap becomes exponentially small in the system size, their robustness in open systems remains unresolved. We study the dynamics in the proximity of such an avoided level crossing associated with the adiabatic quantum search algorithm in a quantum system that is coupled to a generic environment. At zero temperature, we find that the algorithm remains scalable provided the noise spectral density of the environment decays sufficiently fast at low frequencies. At finite temperature, however, scattering processes render the algorithm inefficient and no quantum speedup can be achieved. Owing to the generic nature of our model, we expect our results to be widely applicable to other adiabatic quantum algorithms.
△ Less
Submitted 7 October, 2016; v1 submitted 6 June, 2016;
originally announced June 2016.