-
Quantum Computing for Software Engineering: Prospects
Authors:
Andriy Miranskyy,
Mushahid Khan,
Jean Paul Latyr Faye,
Udson C. Mendes
Abstract:
Quantum computers (QCs) are maturing. When QCs are powerful enough, they may be able to handle problems in chemistry, physics, and finance that are not classically solvable. However, the applicability of quantum algorithms to speed up Software Engineering (SE) tasks has not been explored. We examine eight groups of quantum algorithms that may accelerate SE tasks across the different phases of SE a…
▽ More
Quantum computers (QCs) are maturing. When QCs are powerful enough, they may be able to handle problems in chemistry, physics, and finance that are not classically solvable. However, the applicability of quantum algorithms to speed up Software Engineering (SE) tasks has not been explored. We examine eight groups of quantum algorithms that may accelerate SE tasks across the different phases of SE and sketch potential opportunities and challenges.
△ Less
Submitted 14 November, 2022; v1 submitted 7 March, 2022;
originally announced March 2022.
-
Gate-based Quantum Computing for Protein Design
Authors:
Mohammad Hassan Khatami,
Udson C. Mendes,
Nathan Wiebe,
Philip M. Kim
Abstract:
Protein design is a technique to engineer proteins by modifying their sequence to obtain novel functionalities. In this method, amino acids in the sequence are permutated to find the low energy states satisfying the configuration. However, exploring all possible combinations of amino acids is generally impossible to achieve on conventional computers due to the exponential growth of possibilities w…
▽ More
Protein design is a technique to engineer proteins by modifying their sequence to obtain novel functionalities. In this method, amino acids in the sequence are permutated to find the low energy states satisfying the configuration. However, exploring all possible combinations of amino acids is generally impossible to achieve on conventional computers due to the exponential growth of possibilities with the number of designable sites. Thus, sampling methods are currently used as a conventional approach to address the protein design problems. Recently, quantum computation methods have shown the potential to solve similar types of problems. In the present work, we use the general idea of Grover's algorithm, a pure quantum computation method, to design circuits at the gate-based level and address the protein design problem. In our quantum algorithms, we use custom pair-wise energy tables consisting of eight different amino acids. Also, the distance reciprocals between designable sites are included in calculating energies in the circuits. Due to the noisy state of current quantum computers, we mainly use quantum computer simulators for this study. However, a very simple version of our circuits is implemented on real quantum devices to examine their capabilities to run these algorithms. Our results show that using $\mathcal{O}(\sqrt N)$ iterations, the circuits find the correct results among all $N$ possibilities, providing the expected quadratic speed up of Grover's algorithm over classical methods.
△ Less
Submitted 22 November, 2022; v1 submitted 28 January, 2022;
originally announced January 2022.
-
EP-PQM: Efficient Parametric Probabilistic Quantum Memory with Fewer Qubits and Gates
Authors:
Mushahid Khan,
Jean Paul Latyr Faye,
Udson C. Mendes,
Andriy Miranskyy
Abstract:
Machine learning (ML) classification tasks can be carried out on a quantum computer (QC) using Probabilistic Quantum Memory (PQM) and its extension, Parameteric PQM (P-PQM) by calculating the Hamming distance between an input pattern and a database of $r$ patterns containing $z$ features with $a$ distinct attributes.
For accurate computations, the feature must be encoded using one-hot encoding,…
▽ More
Machine learning (ML) classification tasks can be carried out on a quantum computer (QC) using Probabilistic Quantum Memory (PQM) and its extension, Parameteric PQM (P-PQM) by calculating the Hamming distance between an input pattern and a database of $r$ patterns containing $z$ features with $a$ distinct attributes.
For accurate computations, the feature must be encoded using one-hot encoding, which is memory-intensive for multi-attribute datasets with $a>2$. We can easily represent multi-attribute data more compactly on a classical computer by replacing one-hot encoding with label encoding. However, replacing these encoding schemes on a QC is not straightforward as PQM and P-PQM operate at the quantum bit level.
We present an enhanced P-PQM, called EP-PQM, that allows label encoding of data stored in a PQM data structure and reduces the circuit depth of the data storage and retrieval procedures. We show implementations for an ideal QC and a noisy intermediate-scale quantum (NISQ) device.
Our complexity analysis shows that the EP-PQM approach requires $O\left(z \log_2(a)\right)$ qubits as opposed to $O(za)$ qubits for P-PQM. EP-PQM also requires fewer gates, reducing gate count from $O\left(rza\right)$ to $O\left(rz\log_2(a)\right)$.
For five datasets, we demonstrate that training an ML classification model using EP-PQM requires 48% to 77% fewer qubits than P-PQM for datasets with $a>2$. EP-PQM reduces circuit depth in the range of 60% to 96%, depending on the dataset. The depth decreases further with a decomposed circuit, ranging between 94% and 99%.
EP-PQM requires less space; thus, it can train on and classify larger datasets than previous PQM implementations on NISQ devices. Furthermore, reducing the number of gates speeds up the classification and reduces the noise associated with deep quantum circuits. Thus, EP-PQM brings us closer to scalable ML on a NISQ device.
△ Less
Submitted 25 April, 2022; v1 submitted 10 January, 2022;
originally announced January 2022.
-
Quantum Otto Thermal Machines Powered by Kerr Nonlinearity
Authors:
Udson C. Mendes,
José S. Sales,
Norton G. de Almeida
Abstract:
We study the effect of Kerr nonlinearity in quantum thermal machines having a Kerr-nonlinear oscillator as working substance and operating under the ideal quantum Otto cycle. We first investigate the efficiency of a Kerr-nonlinear heat engine and show that by varying the Kerr-nonlinear strength the efficiency surpasses in up to 2.5 times the efficiency of a quantum harmonic oscillator Otto engine.…
▽ More
We study the effect of Kerr nonlinearity in quantum thermal machines having a Kerr-nonlinear oscillator as working substance and operating under the ideal quantum Otto cycle. We first investigate the efficiency of a Kerr-nonlinear heat engine and show that by varying the Kerr-nonlinear strength the efficiency surpasses in up to 2.5 times the efficiency of a quantum harmonic oscillator Otto engine. Moreover, the Kerr-nonlinearity makes the coefficient of performance of the Kerr-nonlinear refrigerator to be as large as 3 times the performance of quantum harmonic oscillator Otto refrigerators. These results were obtained using realistic parameters from circuit quantum electrodynamics devices formed by superconducting circuits and operating in the microwave regime.
△ Less
Submitted 19 May, 2021;
originally announced May 2021.
-
Topological Josephson Bifurcation Amplifier: Semiclassical theory
Authors:
Samuel Boutin,
Pedro L. S. Lopes,
Anqi Mu,
Udson C. Mendes,
Ion Garate
Abstract:
Amplifiers based on Josephson junctions allow for a fast and noninvasive readout of superconducting qubits. Motivated by the ongoing progress toward the realization of fault-tolerant qubits based on Majorana bound states, we investigate the topological counterpart of the Josephson bifurcation amplifier. We predict that the bifurcation dynamics of a topological Josephson junction driven in the appr…
▽ More
Amplifiers based on Josephson junctions allow for a fast and noninvasive readout of superconducting qubits. Motivated by the ongoing progress toward the realization of fault-tolerant qubits based on Majorana bound states, we investigate the topological counterpart of the Josephson bifurcation amplifier. We predict that the bifurcation dynamics of a topological Josephson junction driven in the appropriate parameter regime may be used as an additional tool to detect the emergence of Majorana bound states.
△ Less
Submitted 16 July, 2021; v1 submitted 17 March, 2021;
originally announced March 2021.
-
Two-level quantum Otto heat engine operating with unit efficiency far from the quasi-static regime under a squeezed reservoir
Authors:
Rogério J. de Assis,
J. S. Sales,
Udson C. Mendes,
Norton G. de Almeida
Abstract:
Recent theoretical and experimental studies in quantum heat engines show that, in the quasi-static regime, it is possible to have higher efficiency than the limit imposed by Carnot, provided that engineered reservoirs are used. The quasi-static regime, however, is a strong limitation to the operation of heat engines, since infinitely long time is required to complete a cycle. In this paper we prop…
▽ More
Recent theoretical and experimental studies in quantum heat engines show that, in the quasi-static regime, it is possible to have higher efficiency than the limit imposed by Carnot, provided that engineered reservoirs are used. The quasi-static regime, however, is a strong limitation to the operation of heat engines, since infinitely long time is required to complete a cycle. In this paper we propose a two-level model as the working substance to perform a quantum Otto heat engine surrounded by a cold thermal reservoir and a squeezed hot thermal reservoir. Taking advantage of this model we show a striking achievement, that is to attain unity efficiency even at non null power.
△ Less
Submitted 28 July, 2020; v1 submitted 27 March, 2020;
originally announced March 2020.
-
Microwave signatures of $\mathbb{Z}_{2}$ and $\mathbb{Z}_{4}$ fractional Josephson effects
Authors:
Pedro L. S. Lopes,
Samuel Boutin,
Philippe Karan,
Udson C. Mendes,
Ion Garate
Abstract:
We present a many-body exact diagonalization study of the $\mathbb{Z}_2$ and $\mathbb{Z}_4$ Josephson effects in circuit quantum electrodynamics architectures. Numerical simulations are conducted on Kitaev chain Josephson junctions hosting nearest-neighbor Coulomb interactions. The low-energy effective theory of highly transparent Kitaev chain junctions is shown to be identical to that of junction…
▽ More
We present a many-body exact diagonalization study of the $\mathbb{Z}_2$ and $\mathbb{Z}_4$ Josephson effects in circuit quantum electrodynamics architectures. Numerical simulations are conducted on Kitaev chain Josephson junctions hosting nearest-neighbor Coulomb interactions. The low-energy effective theory of highly transparent Kitaev chain junctions is shown to be identical to that of junctions created at the edge of a quantum spin-Hall insulator. By capacitively coupling the interacting junction to a microwave resonator, we predict signatures of the fractional Josephson effects on the cavity frequency and on time-resolved reflectivity measurements.
△ Less
Submitted 28 September, 2018;
originally announced September 2018.
-
Coherent microwave photon mediated coupling between a semiconductor and a superconductor qubit
Authors:
P. Scarlino,
D. J. van Woerkom,
U. C. Mendes,
J. V. Koski,
A. J. Landig,
C. K. Andersen,
S. Gasparinetti,
C. Reichl,
W. Wegscheider,
K. Ensslin,
T. Ihn,
A. Blais,
A. Wallraff
Abstract:
Semiconductor qubits rely on the control of charge and spin degrees of freedom of electrons or holes confined in quantum dots (QDs). They constitute a promising approach to quantum information processing [1, 2], complementary to superconducting qubits [3]. Typically, semiconductor qubit-qubit coupling is short range [1, 2, 4, 5], effectively limiting qubit distance to the spatial extent of the wav…
▽ More
Semiconductor qubits rely on the control of charge and spin degrees of freedom of electrons or holes confined in quantum dots (QDs). They constitute a promising approach to quantum information processing [1, 2], complementary to superconducting qubits [3]. Typically, semiconductor qubit-qubit coupling is short range [1, 2, 4, 5], effectively limiting qubit distance to the spatial extent of the wavefunction of the confined particle, which represents a significant constraint towards scaling to reach dense 1D or 2D arrays of QD qubits. Following the success of circuit quantum eletrodynamics [6], the strong coupling regime between the charge [7, 8] and spin [9, 10, 11] degrees of freedom of electrons confined in semiconducting QDs interacting with individual photons stored in a microwave resonator has recently been achieved. In this letter, we demonstrate coherent coupling between a superconducting transmon qubit and a semiconductor double quantum dot (DQD) charge qubit mediated by virtual microwave photon excitations in a tunable high-impedance SQUID array resonator acting as a quantum bus [12, 13, 14]. The transmon-charge qubit coherent coupling rate ($ \sim$ 21 MHz) exceeds the linewidth of both the transmon ($ \sim$ 0.8 MHz) and the DQD charge ($ \sim$ 3 MHz) qubit. By tuning the qubits into resonance for a controlled amount of time, we observe coherent oscillations between the constituents of this hybrid quantum system. These results enable a new class of experiments exploring the use of the two-qubit interactions mediated by microwave photons to create entangled states between semiconductor and superconducting qubits. The methods and techniques presented here are transferable to QD devices based on other material systems and can be beneficial for spin-based hybrid systems.
△ Less
Submitted 26 June, 2018;
originally announced June 2018.
-
Parametric amplification and squeezing with an ac- and dc-voltage biased superconducting junction
Authors:
Udson C. Mendes,
Sébastien Jezouin,
Philippe Joyez,
Bertrand Reulet,
Alexandre Blais,
Fabien Portier,
Christophe Mora,
Carles Altimiras
Abstract:
We theoretically investigate a near-quantum-limited parametric amplifier based on the nonlinear dynamics of quasiparticles flowing through a superconducting-insulator-superconducting junction. Photon-assisted tunneling, resulting from the combination of dc- and ac-voltage bias, gives rise to a strong parametric interaction for the electromagnetic modes reflected by the junction coupled to a transm…
▽ More
We theoretically investigate a near-quantum-limited parametric amplifier based on the nonlinear dynamics of quasiparticles flowing through a superconducting-insulator-superconducting junction. Photon-assisted tunneling, resulting from the combination of dc- and ac-voltage bias, gives rise to a strong parametric interaction for the electromagnetic modes reflected by the junction coupled to a transmission line. We show phase-sensitive and phase-preserving amplification, together with single- and two-mode squeezing. For an aluminum junction pumped at twice the center frequency, $ω_0/2π=6$~GHz, we predict narrow-band phase-sensitive amplification of microwaves signals to more than 20 dB, and broadband phase-preserving amplification of 20 dB over a 1.2 GHz 3-dB bandwidth. We also predict single- and two-mode squeezing reaching more than -12 dB over 5.3 GHz 3-dB bandwidth. Moreover, with a simple impedance matching circuit, we demonstrate 3 dB bandwidth reaching 4.3 GHz for 20 dB of gain. A key feature of the device is that its performance can be controlled in-situ with the applied dc- and ac-voltage biases.
△ Less
Submitted 6 March, 2019; v1 submitted 20 February, 2018;
originally announced February 2018.
-
Strong spin-photon coupling in silicon
Authors:
N. Samkharadze,
G. Zheng,
N. Kalhor,
D. Brousse,
A. Sammak,
U. C. Mendes,
A. Blais,
G. Scappucci,
L. M. K. Vandersypen
Abstract:
We report the strong coupling of a single electron spin and a single microwave photon. The electron spin is trapped in a silicon double quantum dot and the microwave photon is stored in an on-chip high-impedance superconducting resonator. The electric field component of the cavity photon couples directly to the charge dipole of the electron in the double dot, and indirectly to the electron spin, t…
▽ More
We report the strong coupling of a single electron spin and a single microwave photon. The electron spin is trapped in a silicon double quantum dot and the microwave photon is stored in an on-chip high-impedance superconducting resonator. The electric field component of the cavity photon couples directly to the charge dipole of the electron in the double dot, and indirectly to the electron spin, through a strong local magnetic field gradient from a nearby micromagnet. This result opens the way to the realization of large networks of quantum dot based spin qubit registers, removing a major roadblock to scalable quantum computing with spin qubits.
△ Less
Submitted 6 November, 2017;
originally announced November 2017.
-
Coherent spin-qubit photon coupling
Authors:
A. J. Landig,
J. V. Koski,
P. Scarlino,
U. C. Mendes,
A. Blais,
C. Reichl,
W. Wegscheider,
A. Wallraff,
K. Ensslin,
T. Ihn
Abstract:
Electron spins hold great promise for quantum computation due to their long coherence times. An approach to realize interactions between distant spin-qubits is to use photons as carriers of quantum information. We demonstrate strong coupling between single microwave photons in a NbTiN high impedance cavity and a three-electron spin-qubit in a GaAs triple quantum dot. We resolve the vacuum Rabi mod…
▽ More
Electron spins hold great promise for quantum computation due to their long coherence times. An approach to realize interactions between distant spin-qubits is to use photons as carriers of quantum information. We demonstrate strong coupling between single microwave photons in a NbTiN high impedance cavity and a three-electron spin-qubit in a GaAs triple quantum dot. We resolve the vacuum Rabi mode splitting with a coupling strength of $g/2π\simeq31$ MHz and a qubit decoherence of $γ_2/2π\simeq 20$ MHz. We can tune the decoherence electrostatically and obtain a minimal $γ_2/2π\simeq 10$ MHz for $g/2π\simeq 23$ MHz. The dependence of the qubit-photon coupling strength on the tunable electric dipole moment of the qubit is measured directly using the ac Stark effect. Our demonstration of strong spin-photon interaction is an important step towards coherent long-distance coupling of spin-qubits.
△ Less
Submitted 6 November, 2017;
originally announced November 2017.
-
Electron-photon interaction in a quantum point contact coupled to a microwave resonator
Authors:
Udson C. Mendes,
Christophe Mora
Abstract:
We study a single-mode cavity weakly coupled to a voltage-biased quantum point contact. In a perturbative analysis, the lowest order predicts a thermal state for the cavity photons, driven by the emission noise of the conductor. The cavity is thus emptied as all transmission probabilities of the quantum point contact approach one or zero. Two-photon processes are identified at higher coupling, and…
▽ More
We study a single-mode cavity weakly coupled to a voltage-biased quantum point contact. In a perturbative analysis, the lowest order predicts a thermal state for the cavity photons, driven by the emission noise of the conductor. The cavity is thus emptied as all transmission probabilities of the quantum point contact approach one or zero. Two-photon processes are identified at higher coupling, and pair absorption dominates over pair emission for all bias voltages. As a result, the number of cavity photons, the cavity damping rate and the second order coherence $g^{(2)}$ are all reduced and exhibit less bunching than the thermal state. These results are obtained with a Keldysh path integral formulation and reproduced with rate equations. They can be seen as a backaction of the cavity measuring the electronic noise. Extending the standard $P(E)$ theory to a steady-state situation, we compute the modified noise properties of the conductor and find quantitative agreement with the perturbative calculation.
△ Less
Submitted 13 April, 2016;
originally announced April 2016.
-
Optically controlled spin-polarization memory effect on Mn delta-doped heterostrucutres
Authors:
M. A. G. Balanta,
M. J. S. P. Brasil,
F. Iikawa,
Udson C. Mendes,
J. A. Brum,
Yu. A. Danilov,
M. V. Dorokhin,
O. V. Vikhrova,
B. N. Zvonkov
Abstract:
We investigated the dynamics of the interaction between spin-polarized photo-created carriers and Mn ions on InGaAs/GaAs:Mn structures. The carriers are confined in an InGaAs quantum well and the Mn ions come from a Mn delta-layer grown at the GaAs barrier close to the well. Even though the carriers and the Mn ions are spatially separated, the interaction between them is demonstrated by time-resol…
▽ More
We investigated the dynamics of the interaction between spin-polarized photo-created carriers and Mn ions on InGaAs/GaAs:Mn structures. The carriers are confined in an InGaAs quantum well and the Mn ions come from a Mn delta-layer grown at the GaAs barrier close to the well. Even though the carriers and the Mn ions are spatially separated, the interaction between them is demonstrated by time-resolved spin-polarized photoluminescence measurements. Using a pre-pulse laser excitation with an opposite circular-polarization clearly reduces the polarization degree of the quantum-well emission for samples where a strong magnetic interaction is observed. The results demonstrate that the Mn ions act as a spin-memory that can be optically controlled by the polarization of the photocreated carriers. On the other hand, the spin-polarized Mn ions also affect the spin-polarization of the subsequently created carriers as observed by their spin relaxation time. These effects fade away with increasing time delays between the pulses as well as with increasing temperatures.
△ Less
Submitted 17 April, 2016; v1 submitted 9 November, 2015;
originally announced November 2015.
-
Electronic and optical properties of InGaAs quantum wells with Mn-delta-doping GaAs barriers
Authors:
Udson C. Mendes,
M. A. G. Balanta,
Maria J. S. P. Brasil,
José A. Brum
Abstract:
We present here the electronic structure and optical properties of InGaAs quantum wells with barrier doped with Manganese. We calculated the electronic states and optical emission within the envelope function and effective mass approximations using the spin-density functional theory in the presence of an external magnetic field. We observe magneto-oscillations of the Landau levels at low-magnetic…
▽ More
We present here the electronic structure and optical properties of InGaAs quantum wells with barrier doped with Manganese. We calculated the electronic states and optical emission within the envelope function and effective mass approximations using the spin-density functional theory in the presence of an external magnetic field. We observe magneto-oscillations of the Landau levels at low-magnetic fields (B < 5 T) that are dominated by the magnetic interaction between holes spin and Mn spin, while at high magnetic fields the spin-polarization of the hole gas is the dominant effect. Our results also show that a gate voltage alter significantly the magneto-oscillations of the emission energy and may be an external control parameter for the magnetic properties of the system. Finally, we discuss the influence of the Landau Levels oscillations in the emission spectra and compare with available experimental.
△ Less
Submitted 23 September, 2015;
originally announced September 2015.
-
Cavity squeezing by a quantum conductor
Authors:
Udson C. Mendes,
Christophe Mora
Abstract:
Hybrid architectures integrating mesoscopic electronic conductors with resonant microwave cavities have a great potential for investigating unexplored regimes of electron-photon coupling. In this context, producing nonclassical squeezed light is a key step towards quantum communication with scalable solid-state devices. Here we show that parametric driving of the electronic conductor induces a squ…
▽ More
Hybrid architectures integrating mesoscopic electronic conductors with resonant microwave cavities have a great potential for investigating unexplored regimes of electron-photon coupling. In this context, producing nonclassical squeezed light is a key step towards quantum communication with scalable solid-state devices. Here we show that parametric driving of the electronic conductor induces a squeezed steady state in the cavity. We find that squeezing properties of the cavity are essentially determined by the electronic noise correlators of the quantum conductor. In the case of a tunnel junction, we predict that squeezing is optimized by applying a time-periodic series of quantized $δ-$peaks in the bias voltage. For an asymmetric quantum dot, we show that a sharp Leviton pulse is able to achieve perfect cavity squeezing.
△ Less
Submitted 6 November, 2015; v1 submitted 30 April, 2015;
originally announced May 2015.
-
Electron-electron interaction mediated indirect coupling of electron and magnetic ion or nuclear spins in self-assembled quantum dots
Authors:
Udson C. Mendes,
Marek Korkusinski,
Pawel Hawrylak
Abstract:
We show here the existence of the indirect coupling of electron and magnetic or nuclear ion spins in self-assembled quantum dots mediated by electron-electron interactions. With a single localized spin placed in the center of the dot, only the spins of electrons occupying the zero angular momentum states couple directly to the localized spin. We show that when the electron-electron interactions ar…
▽ More
We show here the existence of the indirect coupling of electron and magnetic or nuclear ion spins in self-assembled quantum dots mediated by electron-electron interactions. With a single localized spin placed in the center of the dot, only the spins of electrons occupying the zero angular momentum states couple directly to the localized spin. We show that when the electron-electron interactions are included, the electrons occupying finite angular momentum orbitals interact with the localized spin. This effective interaction is obtained using exact diagonalization of the microscopic Hamiltonian as a function of the number of electronic shells, shell spacing, and anisotropy of the electron-Mn exchange interaction. The effective interaction can be engineered to be either ferromagnetic or antiferromagnetic by tuning the parameters of the quantum dot.
△ Less
Submitted 20 May, 2014;
originally announced May 2014.
-
Optical properties of charged quantum dots doped with a single magnetic impurity
Authors:
U. C. Mendes,
M. Korkusinski,
A. H. Trojnar,
P. Hawrylak
Abstract:
We present a microscopic theory of the optical properties of self-assembled quantum dots doped with a single magnetic manganese (Mn) impurity and containing a controlled number of electrons. The single-particle electron and heavy-hole electronic shells are described by two-dimensional harmonic oscillators. The electron-electron, electron-hole Coulomb as well as the short-range electron spin-Mn spi…
▽ More
We present a microscopic theory of the optical properties of self-assembled quantum dots doped with a single magnetic manganese (Mn) impurity and containing a controlled number of electrons. The single-particle electron and heavy-hole electronic shells are described by two-dimensional harmonic oscillators. The electron-electron, electron-hole Coulomb as well as the short-range electron spin-Mn spin and hole spin-Mn spin contact exchange interactions are included. The electronic states of the photo-excited electron-hole-Mn complex and of the final electron-Mn complex are expanded in a finite number of configurations and the full interacting Hamiltonian is diagonalized numerically. The emission spectrum is predicted as a function of photon energy for a given number of electrons and different number of confined electronic quantum dot shells. We show how emission spectra allow to identify the number of electronic shells, the number of electrons populating these shells and, most importantly, their spin. We show that electrons not interacting directly with the spin of Mn ion do so via electron-electron interactions. This indirect interaction is a strong effect even when Mn impurity is away from the quantum dot center.
△ Less
Submitted 16 September, 2013; v1 submitted 1 September, 2013;
originally announced September 2013.