-
Quantum Process Tomography with Digital Twins of Error Matrices
Authors:
Tangyou Huang,
Akshay Gaikwad,
Ilya Moskalenko,
Anuj Aggarwal,
Tahereh Abad,
Marko Kuzmanovic,
Yu-Han Chang,
Ognjen Stanisavljevic,
Emil Hogedal,
Christopher Warren,
Irshad Ahmad,
Janka Biznárová,
Amr Osman,
Mamta Dahiya,
Marcus Rommel,
Anita Fadavi Rousari,
Andreas Nylander,
Liangyu Chen,
Jonas Bylander,
Gheorghe Sorin Paraoanu,
Anton Frisk Kockum,
Giovanna Tancredi
Abstract:
Accurate and robust quantum process tomography (QPT) is crucial for verifying quantum gates and diagnosing implementation faults in experiments aimed at building universal quantum computers. However, the reliability of QPT protocols is often compromised by faulty probes, particularly state preparation and measurement (SPAM) errors, which introduce fundamental inconsistencies in traditional QPT alg…
▽ More
Accurate and robust quantum process tomography (QPT) is crucial for verifying quantum gates and diagnosing implementation faults in experiments aimed at building universal quantum computers. However, the reliability of QPT protocols is often compromised by faulty probes, particularly state preparation and measurement (SPAM) errors, which introduce fundamental inconsistencies in traditional QPT algorithms. We propose and investigate enhanced QPT for multi-qubit systems by integrating the error matrix in a digital twin of the identity process matrix, enabling statistical refinement of SPAM error learning and improving QPT precision. Through numerical simulations, we demonstrate that our approach enables highly accurate and faithful process characterization. We further validate our method experimentally using superconducting quantum gates, achieving at least an order-of-magnitude fidelity improvement over standard QPT. Our results provide a practical and precise method for assessing quantum gate fidelity and enhancing QPT on a given hardware.
△ Less
Submitted 12 May, 2025;
originally announced May 2025.
-
Iterative Linear Quadratic Regulator for Quantum Optimal Control
Authors:
Dirk Heimann,
Felix Wiebe,
Tahereh Abad,
Elie Mounzer,
Tangyou Huang,
Frank Kirchner,
Shivesh Kumar
Abstract:
Quantum optimal control for gate optimization aims to provide accurate, robust, and fast pulse sequences to achieve gate fidelities on quantum systems below the error correction threshold. Many methods have been developed and successfully applied in simulation and on quantum hardware. In this paper, we establish a connection between the iterative linear quadratic regulator and quantum optimal cont…
▽ More
Quantum optimal control for gate optimization aims to provide accurate, robust, and fast pulse sequences to achieve gate fidelities on quantum systems below the error correction threshold. Many methods have been developed and successfully applied in simulation and on quantum hardware. In this paper, we establish a connection between the iterative linear quadratic regulator and quantum optimal control by adapting it to gate optimization of quantum systems. We include constraints on the controls and their derivatives to enable smoother pulses. We achieve high-fidelity simulation results for X and cross-resonance gates on one- and two-qubit fixed-frequency transmons simulated with two and three levels.
△ Less
Submitted 4 June, 2025; v1 submitted 15 April, 2025;
originally announced April 2025.
-
Selective and efficient quantum state tomography for multi-qubit systems
Authors:
Aniket Patel,
Akshay Gaikwad,
Tangyou Huang,
Anton Frisk Kockum,
Tahereh Abad
Abstract:
Quantum state tomography (QST) is a crucial tool for characterizing quantum states. However, QST becomes impractical for reconstructing multi-qubit density matrices since data sets and computational costs grow exponentially with qubit number. In this Letter, we introduce selective and efficient QST (SEEQST), an approach for efficiently estimating multiple selected elements of an arbitrary $N$-qubi…
▽ More
Quantum state tomography (QST) is a crucial tool for characterizing quantum states. However, QST becomes impractical for reconstructing multi-qubit density matrices since data sets and computational costs grow exponentially with qubit number. In this Letter, we introduce selective and efficient QST (SEEQST), an approach for efficiently estimating multiple selected elements of an arbitrary $N$-qubit density matrix. We show that any $N$-qubit density matrix can be partitioned into $2^N$ subsets, each containing $2^N$ elements. With SEEQST, any such subset can be accurately estimated from just two experiments with only single-qubit measurements. The complexity for estimating any subset remains constant regardless of Hilbert-space dimension, so SEEQST can find the full density matrix using $2^{N+1} - 1$ experiments, where standard methods would use $3^N$ experiments. We provide a circuit decomposition for the SEEQST experiments, demonstrating that their maximum circuit depth scales logarithmically with $N$ assuming all-to-all connectivity. The Python code for SEEQST is publicly available at \href{https://github.com/aniket-ae/SEEQST}{github.com/aniket-ae/SEEQST}.
△ Less
Submitted 7 July, 2025; v1 submitted 26 March, 2025;
originally announced March 2025.
-
Mitigating transients in flux-control signals in a superconducting quantum processor
Authors:
Anuj Aggarwal,
Jorge Fernández-Pendás,
Tahereh Abad,
Daryoush Shiri,
Halldór Jakobsson,
Marcus Rommel,
Andreas Nylander,
Emil Hogedal,
Amr Osman,
Janka Biznárová,
Robert Rehammar,
Michele Faucci Giannelli,
Anita Fadavi Roudsari,
Jonas Bylander,
Giovanna Tancredi
Abstract:
Flux-tunable qubits and couplers are common components in superconducting quantum processors. However, dynamically controlling these elements via current pulses poses challenges due to distortions and transients in the propagating signals. In particular, long-time transients can persist, adversely affecting subsequent qubit control operations. We model the flux control line as a first-order RC cir…
▽ More
Flux-tunable qubits and couplers are common components in superconducting quantum processors. However, dynamically controlling these elements via current pulses poses challenges due to distortions and transients in the propagating signals. In particular, long-time transients can persist, adversely affecting subsequent qubit control operations. We model the flux control line as a first-order RC circuit and introduce a class of pulses designed to mitigate long-time transients. We theoretically demonstrate the robustness of these pulses against parameter mischaracterization and provide experimental evidence of their effectiveness in mitigating transients when applied to a flux-tunable qubit coupler. The proposed pulse design offers a practical solution for mitigating long-time transients, enabling efficient and reliable experiment tune-ups without requiring detailed flux line characterization.
△ Less
Submitted 11 March, 2025;
originally announced March 2025.
-
Quantum SWAP gate realized with CZ and iSWAP gates in a superconducting architecture
Authors:
Christian Križan,
Janka Biznárová,
Liangyu Chen,
Emil Hogedal,
Amr Osman,
Christopher W. Warren,
Sandoko Kosen,
Hang-Xi Li,
Tahereh Abad,
Anuj Aggarwal,
Marco Caputo,
Jorge Fernández-Pendás,
Akshay Gaikwad,
Leif Grönberg,
Andreas Nylander,
Robert Rehammar,
Marcus Rommel,
Olga I. Yuzephovich,
Anton Frisk Kockum,
Joonas Govenius,
Giovanna Tancredi,
Jonas Bylander
Abstract:
It is advantageous for any quantum processor to support different classes of two-qubit quantum logic gates when compiling quantum circuits, a property that is typically not seen with existing platforms. In particular, access to a gate set that includes support for the CZ-type, the iSWAP-type, and the SWAP-type families of gates, renders conversions between these gate families unnecessary during co…
▽ More
It is advantageous for any quantum processor to support different classes of two-qubit quantum logic gates when compiling quantum circuits, a property that is typically not seen with existing platforms. In particular, access to a gate set that includes support for the CZ-type, the iSWAP-type, and the SWAP-type families of gates, renders conversions between these gate families unnecessary during compilation as any two-qubit Clifford gate can be executed using at most one two-qubit gate from this set, plus additional single-qubit gates. We experimentally demonstrate that a SWAP gate can be decomposed into one iSWAP gate followed by one CZ gate, affirming a more efficient compilation strategy over the conventional approach that relies on three iSWAP or three CZ gates to replace a SWAP gate. Our implementation makes use of a superconducting quantum processor design based on fixed-frequency transmon qubits coupled together by a parametrically modulated tunable transmon coupler, extending this platform's native gate set so that any two-qubit Clifford unitary matrix can be realized using no more than two two-qubit gates and single-qubit gates.
△ Less
Submitted 19 December, 2024;
originally announced December 2024.
-
Fast unconditional reset and leakage reduction in fixed-frequency transmon qubits
Authors:
Liangyu Chen,
Simon Pettersson Fors,
Zixian Yan,
Anaida Ali,
Tahereh Abad,
Amr Osman,
Eleftherios Moschandreou,
Benjamin Lienhard,
Sandoko Kosen,
Hang-Xi Li,
Daryoush Shiri,
Tong Liu,
Stefan Hill,
Abdullah-Al Amin,
Robert Rehammar,
Mamta Dahiya,
Andreas Nylander,
Marcus Rommel,
Anita Fadavi Roudsari,
Marco Caputo,
Grönberg Leif,
Joonas Govenius,
Miroslav Dobsicek,
Michele Faucci Giannelli,
Anton Frisk Kockum
, et al. (2 additional authors not shown)
Abstract:
The realization of fault-tolerant quantum computing requires the execution of quantum error-correction (QEC) schemes, to mitigate the fragile nature of qubits. In this context, to ensure the success of QEC, a protocol capable of implementing both qubit reset and leakage reduction is highly desirable. We demonstrate such a protocol in an architecture consisting of fixed-frequency transmon qubits pa…
▽ More
The realization of fault-tolerant quantum computing requires the execution of quantum error-correction (QEC) schemes, to mitigate the fragile nature of qubits. In this context, to ensure the success of QEC, a protocol capable of implementing both qubit reset and leakage reduction is highly desirable. We demonstrate such a protocol in an architecture consisting of fixed-frequency transmon qubits pair-wise coupled via tunable couplers -- an architecture that is compatible with the surface code. We use tunable couplers to transfer any undesired qubit excitation to the readout resonator of the qubit, from which this excitation decays into the feedline. In total, the combination of qubit reset, leakage reduction, and coupler reset takes only 83ns to complete. Our reset scheme is fast, unconditional, and achieves fidelities well above 99%, thus enabling fixed-frequency qubit architectures as future implementations of fault-tolerant quantum computers. Our protocol also provides a means to both reduce QEC cycle runtime and improve algorithmic fidelity on quantum computers.
△ Less
Submitted 7 October, 2024; v1 submitted 25 September, 2024;
originally announced September 2024.
-
Impact of decoherence on the fidelity of quantum gates leaving the computational subspace
Authors:
Tahereh Abad,
Yoni Schattner,
Anton Frisk Kockum,
Göran Johansson
Abstract:
The fidelity of quantum operations is often limited by incoherent errors, which typically can be modeled by fundamental Markovian noise processes such as amplitude damping and dephasing. In Phys. Rev. Lett. 129, 150504 (2022; https://doi.org/10.1103/PhysRevLett.129.150504), we presented an analytical result for the average gate fidelity of a general multiqubit operation in terms of the dissipative…
▽ More
The fidelity of quantum operations is often limited by incoherent errors, which typically can be modeled by fundamental Markovian noise processes such as amplitude damping and dephasing. In Phys. Rev. Lett. 129, 150504 (2022; https://doi.org/10.1103/PhysRevLett.129.150504), we presented an analytical result for the average gate fidelity of a general multiqubit operation in terms of the dissipative rates and the corresponding Lindblad jump operators, provided that the operation remains in the computational subspace throughout the time evolution. Here we generalize this expression for the average gate fidelity to include the cases where the system state temporarily leaves the computational subspace during the gate. Such gate mechanisms are integral to several quantum-computing platforms, and our formula is applicable to all of them; as examples, we employ it for the two-qubit controlled-Z gate in both superconducting qubits and neutral atoms. We also obtain the average gate fidelity for simultaneous operations applied in multiqubit systems. These results are useful for understanding the error budgets of quantum gates while scaling up quantum computers.
△ Less
Submitted 5 March, 2025; v1 submitted 27 February, 2023;
originally announced February 2023.
-
Experimental realization of deterministic and selective photon addition in a bosonic mode assisted by an ancillary qubit
Authors:
Marina Kudra,
Martin Jirlow,
Mikael Kervinen,
Axel M. Eriksson,
Fernando Quijandría,
Per Delsing,
Tahereh Abad,
Simone Gasparinetti
Abstract:
Bosonic quantum error correcting codes are primarily designed to protect against single-photon loss. To correct for this type of error, one can encode the logical qubit in code spaces with a definite photon parity, such as cat codes or binomial codes. Error correction requires a recovery operation that maps the error states -- which have opposite parity -- back onto the code states. Here, we reali…
▽ More
Bosonic quantum error correcting codes are primarily designed to protect against single-photon loss. To correct for this type of error, one can encode the logical qubit in code spaces with a definite photon parity, such as cat codes or binomial codes. Error correction requires a recovery operation that maps the error states -- which have opposite parity -- back onto the code states. Here, we realize a collection of photon-number-selective, simultaneous photon addition operations on a bosonic mode, a microwave cavity, assisted by a superconducting qubit. These operations are implemented as two-photon transitions that excite the cavity and the qubit at the same time. The additional degree of freedom of the qubit makes it possible to implement a coherent, unidirectional mapping between spaces of opposite photon parity. We present the successful experimental implementation of the drives and the phase control they enable on superpositions of Fock states. The presented technique, when supplemented with qubit reset, is suitable for autonomous quantum error correction in bosonic systems, and, more generally, opens the possibility to realize a range of non-unitary transformations on a bosonic mode.
△ Less
Submitted 28 March, 2025; v1 submitted 22 December, 2022;
originally announced December 2022.
-
Extensive characterization of a family of efficient three-qubit gates at the coherence limit
Authors:
Christopher W. Warren,
Jorge Fernández-Pendás,
Shahnawaz Ahmed,
Tahereh Abad,
Andreas Bengtsson,
Janka Biznárová,
Kamanasish Debnath,
Xiu Gu,
Christian Križan,
Amr Osman,
Anita Fadavi Roudsari,
Per Delsing,
Göran Johansson,
Anton Frisk Kockum,
Giovanna Tancredi,
Jonas Bylander
Abstract:
While all quantum algorithms can be expressed in terms of single-qubit and two-qubit gates, more expressive gate sets can help reduce the algorithmic depth. This is important in the presence of gate errors, especially those due to decoherence. Using superconducting qubits, we have implemented a three-qubit gate by simultaneously applying two-qubit operations, thereby realizing a three-body interac…
▽ More
While all quantum algorithms can be expressed in terms of single-qubit and two-qubit gates, more expressive gate sets can help reduce the algorithmic depth. This is important in the presence of gate errors, especially those due to decoherence. Using superconducting qubits, we have implemented a three-qubit gate by simultaneously applying two-qubit operations, thereby realizing a three-body interaction. This method straightforwardly extends to other quantum hardware architectures, requires only a "firmware" upgrade to implement, and is faster than its constituent two-qubit gates. The three-qubit gate represents an entire family of operations, creating flexibility in quantum-circuit compilation. We demonstrate a gate fidelity of $97.90\%$, which is near the coherence limit of our device. We then generate two classes of entangled states, the GHZ and W states, by applying the new gate only once; in comparison, decompositions into the standard gate set would have a two-qubit gate depth of two and three, respectively. Finally, we combine characterization methods and analyze the experimental and statistical errors on the fidelity of the gates and of the target states.
△ Less
Submitted 6 July, 2022;
originally announced July 2022.
-
Building Blocks of a Flip-Chip Integrated Superconducting Quantum Processor
Authors:
Sandoko Kosen,
Hang-Xi Li,
Marcus Rommel,
Daryoush Shiri,
Christopher Warren,
Leif Grönberg,
Jaakko Salonen,
Tahereh Abad,
Janka Biznárová,
Marco Caputo,
Liangyu Chen,
Kestutis Grigoras,
Göran Johansson,
Anton Frisk Kockum,
Christian Križan,
Daniel Pérez Lozano,
Graham Norris,
Amr Osman,
Jorge Fernández-Pendás,
Alberto Ronzani,
Anita Fadavi Roudsari,
Slawomir Simbierowicz,
Giovanna Tancredi,
Andreas Wallraff,
Christopher Eichler
, et al. (2 additional authors not shown)
Abstract:
We have integrated single and coupled superconducting transmon qubits into flip-chip modules. Each module consists of two chips -- one quantum chip and one control chip -- that are bump-bonded together. We demonstrate time-averaged coherence times exceeding $90\,μs$, single-qubit gate fidelities exceeding $99.9\%$, and two-qubit gate fidelities above $98.6\%$. We also present device design methods…
▽ More
We have integrated single and coupled superconducting transmon qubits into flip-chip modules. Each module consists of two chips -- one quantum chip and one control chip -- that are bump-bonded together. We demonstrate time-averaged coherence times exceeding $90\,μs$, single-qubit gate fidelities exceeding $99.9\%$, and two-qubit gate fidelities above $98.6\%$. We also present device design methods and discuss the sensitivity of device parameters to variation in interchip spacing. Notably, the additional flip-chip fabrication steps do not degrade the qubit performance compared to our baseline state-of-the-art in single-chip, planar circuits. This integration technique can be extended to the realisation of quantum processors accommodating hundreds of qubits in one module as it offers adequate input/output wiring access to all qubits and couplers.
△ Less
Submitted 14 June, 2022; v1 submitted 5 December, 2021;
originally announced December 2021.
-
Universal fidelity reduction of quantum operations from weak dissipation
Authors:
Tahereh Abad,
Jorge Fernández-Pendás,
Anton Frisk Kockum,
Göran Johansson
Abstract:
Quantum information processing is in real systems often limited by dissipation, stemming from remaining uncontrolled interaction with microscopic degrees of freedom. Given recent experimental progress, we consider weak dissipation, resulting in a small error probability per operation. Here, we find a simple formula for the fidelity reduction of any desired quantum operation. Interestingly, this re…
▽ More
Quantum information processing is in real systems often limited by dissipation, stemming from remaining uncontrolled interaction with microscopic degrees of freedom. Given recent experimental progress, we consider weak dissipation, resulting in a small error probability per operation. Here, we find a simple formula for the fidelity reduction of any desired quantum operation. Interestingly, this reduction is independent of the specific operation; it depends only on the operation time and the dissipation. Using our formula, we investigate the situation where dissipation in different parts of the system have correlations, which is detrimental for the successful application of quantum error correction. Surprisingly, we find that a large class of correlations gives the same fidelity reduction as uncorrelated dissipation of similar strength.
△ Less
Submitted 29 October, 2021;
originally announced October 2021.
-
Fast multi-qubit gates through simultaneous two-qubit gates
Authors:
Xiu Gu,
Jorge Fernández-Pendás,
Pontus Vikstål,
Tahereh Abad,
Christopher Warren,
Andreas Bengtsson,
Giovanna Tancredi,
Vitaly Shumeiko,
Jonas Bylander,
Göran Johansson,
Anton Frisk Kockum
Abstract:
Near-term quantum computers are limited by the decoherence of qubits to only being able to run low-depth quantum circuits with acceptable fidelity. This severely restricts what quantum algorithms can be compiled and implemented on such devices. One way to overcome these limitations is to expand the available gate set from single- and two-qubit gates to multi-qubit gates, which entangle three or mo…
▽ More
Near-term quantum computers are limited by the decoherence of qubits to only being able to run low-depth quantum circuits with acceptable fidelity. This severely restricts what quantum algorithms can be compiled and implemented on such devices. One way to overcome these limitations is to expand the available gate set from single- and two-qubit gates to multi-qubit gates, which entangle three or more qubits in a single step. Here, we show that such multi-qubit gates can be realized by the simultaneous application of multiple two-qubit gates to a group of qubits where at least one qubit is involved in two or more of the two-qubit gates. Multi-qubit gates implemented in this way are as fast as, or sometimes even faster than, the constituent two-qubit gates. Furthermore, these multi-qubit gates do not require any modification of the quantum processor, but are ready to be used in current quantum-computing platforms. We demonstrate this idea for two specific cases: simultaneous controlled-Z gates and simultaneous iSWAP gates. We show how the resulting multi-qubit gates relate to other well-known multi-qubit gates and demonstrate through numerical simulations that they would work well in available quantum hardware, reaching gate fidelities well above 99 %. We also present schemes for using these simultaneous two-qubit gates to swiftly create large entangled states like Dicke and Greenberg-Horne-Zeilinger states.
△ Less
Submitted 25 August, 2021;
originally announced August 2021.
-
Critical slowing down of multi-atom entanglement by Rydberg blockade
Authors:
Tahereh Abad,
Klaus Mølmer
Abstract:
Laser excitation pulses that lead to perfect adiabatic state transfer in an ensemble of three-level ladder atoms lead to highly entangled states of many atoms if their highest excited state is subject to Rydberg blockade. Solution of the Schrödinger equation shows that it is increasingly difficult to ensure the adiabatic evolution as the number of atoms increases. A diminishing energy gap, signifi…
▽ More
Laser excitation pulses that lead to perfect adiabatic state transfer in an ensemble of three-level ladder atoms lead to highly entangled states of many atoms if their highest excited state is subject to Rydberg blockade. Solution of the Schrödinger equation shows that it is increasingly difficult to ensure the adiabatic evolution as the number of atoms increases. A diminishing energy gap, significant variations in collective observables, and increased work fluctuations link the critical slowing down of the adiabatic evolution with a quantum phase transition-like behavior of the system.
△ Less
Submitted 29 June, 2018;
originally announced June 2018.
-
Sequentially generated entanglement, macroscopicity and squeezing in a spin chain
Authors:
Tahereh Abad,
Klaus Mølmer,
Vahid Karimipour
Abstract:
We study quantum states generated by a sequence of nearest neighbor bipartite entangling operations along a one-dimensional chain of spin qubits. After a single sweep of such a set of operations, the system is effectively described by a matrix product state (MPS) with the same virtual dimension as the spin qubits. We employ the explicit form of the MPS to calculate expectation values and two-site…
▽ More
We study quantum states generated by a sequence of nearest neighbor bipartite entangling operations along a one-dimensional chain of spin qubits. After a single sweep of such a set of operations, the system is effectively described by a matrix product state (MPS) with the same virtual dimension as the spin qubits. We employ the explicit form of the MPS to calculate expectation values and two-site correlation functions of local observables, and we use the results to study fluctuations of collective observables. Through the so-called macroscopicity and the squeezing properties of the collective spin variables they witness the quantum correlations and multi-particle entanglement within the chain. Macroscopicity only occurs over the entire chain if the nearest neighbor interaction is maximally entangling, while a finite, sequential interaction between nearest neighbor particles leads to squeezing of the collective spin.
△ Less
Submitted 12 October, 2017; v1 submitted 28 July, 2017;
originally announced July 2017.
-
Scaling of macroscopic superpositions close to a quantum phase transition
Authors:
Tahereh Abad,
Vahid Karimipour
Abstract:
It is well known that in a quantum phase transition (QPT), entanglement remains short ranged [Osterloh et al., Nature 416 608-610 (2005)]. We ask if there is a quantum property entailing the whole system which diverges near this point. Using the recently proposed measures of quantum macroscopisity, we show that near a quantum critical point, it is the effective size of macroscopic superposition be…
▽ More
It is well known that in a quantum phase transition (QPT), entanglement remains short ranged [Osterloh et al., Nature 416 608-610 (2005)]. We ask if there is a quantum property entailing the whole system which diverges near this point. Using the recently proposed measures of quantum macroscopisity, we show that near a quantum critical point, it is the effective size of macroscopic superposition between the two symmetry breaking states which grows to the scale of system size and its derivative with respect to the coupling shows both singular behavior and scaling properties.
△ Less
Submitted 7 May, 2016; v1 submitted 26 December, 2015;
originally announced December 2015.
-
The power of quantum channels for creating quantum correlations
Authors:
Tahere Abad,
Vahid Karimipour,
Laleh Memarzadeh
Abstract:
Local noise can produce quantum correlations on an initially classically correlated state, provided that it is not represented by a unital or semi-classical channel \cite{DagmarBruss}. We find the power of any given local channel for producing quantum correlations on an initially classically correlated state. We introduce a computable measure for quantifying the quantum correlations in quantum-cla…
▽ More
Local noise can produce quantum correlations on an initially classically correlated state, provided that it is not represented by a unital or semi-classical channel \cite{DagmarBruss}. We find the power of any given local channel for producing quantum correlations on an initially classically correlated state. We introduce a computable measure for quantifying the quantum correlations in quantum-classical states, which is based on the non-commutativity of ensemble states in one party of the composite system. Using this measure we show that the amount of quantum correlations produced, is proportional to the classical correlations in the initial state. The power of an arbitrary channel for producing quantum correlations is found by averaging over all possible initial states. Finally we compare our measure with the geometrical measure of quantumness for a subclass of quantum-classical sates, for which we have been able to find a closed analytical expression.
△ Less
Submitted 8 December, 2012; v1 submitted 20 November, 2012;
originally announced November 2012.
