-
Sensing orbital hybridization of graphene-diamond interface with a single spin
Authors:
Yucheng Hao,
Zhi** Yang,
Zeyu Li,
Xi Kong,
Wenna Tang,
Tianyu Xie,
Shaoyi Xu,
Xiangyu Ye,
Pei Yu,
Pengfei Wang,
Ya Wang,
Zhenhua Qiao,
Libo Gao,
Jian-Hua Jiang,
Fazhan Shi,
Jiangfeng Du
Abstract:
Interfacial interactions are crucial in a variety of fields and can greatly affect the electric, magnetic, and chemical properties of materials. Among them, interface orbital hybridization plays a fundamental role in the properties of surface electrons such as dispersion, interaction, and ground states. Conventional measurements of electronic states at interfaces such as scanning tunneling microsc…
▽ More
Interfacial interactions are crucial in a variety of fields and can greatly affect the electric, magnetic, and chemical properties of materials. Among them, interface orbital hybridization plays a fundamental role in the properties of surface electrons such as dispersion, interaction, and ground states. Conventional measurements of electronic states at interfaces such as scanning tunneling microscopes are all based on electric interactions which, however, suffer from strong perturbation on these electrons. Here we unveil a new experimental detection of interface electrons based on the weak magnetic interactions between them and the nitrogen-vacancy (NV) center in diamond. With negligible perturbation on the interface electrons, their physical properties can be revealed by the NV spin coherence time. In our system, the interface interaction leads to significant decreases in both the density and coherence time of the electron spins at the diamond-graphene interface. Furthermore, together with electron spin resonance spectra and first-principle calculations, we can retrieve the effect of interface electron orbital hybridization. Our study opens a new pathway toward the microscopic probing of interfacial electronic states with weak magnetic interactions and provides a new avenue for future research on material interfaces.
△ Less
Submitted 16 May, 2023;
originally announced May 2023.
-
Iterative Gradient Ascent Pulse Engineering algorithm for quantum optimal control
Authors:
Yuquan Chen,
Yajie Hao,
Ze Wu,
Bi-Ying Wang,
Ran Liu,
Yanjun Hou,
Jiangyu Cui,
Man-Hong Yung,
Xinhua Peng
Abstract:
Gradient ascent pulse engineering algorithm (GRAPE) is a typical method to solve quantum optimal control problems. However, it suffers from an exponential resource in computing the time evolution of quantum systems with the increasing number of qubits, which is a barrier for its application in large-qubit systems. To mitigate this issue, we propose an iterative GRAPE algorithm (iGRAPE) for prepari…
▽ More
Gradient ascent pulse engineering algorithm (GRAPE) is a typical method to solve quantum optimal control problems. However, it suffers from an exponential resource in computing the time evolution of quantum systems with the increasing number of qubits, which is a barrier for its application in large-qubit systems. To mitigate this issue, we propose an iterative GRAPE algorithm (iGRAPE) for preparing a desired quantum state, where the large-scale, resource-consuming optimization problem is decomposed into a set of lower-dimensional optimization subproblems by disentanglement operations. Consequently these subproblems can be solved in parallel with less computing resources. For physical platforms such as nuclear magnetic resonance (NMR) and superconducting quantum systems, we show that iGRAPE can provide up to 13-fold speedup over GRAPE when preparing desired quantum states in systems within 12 qubits. Using a four-qubit NMR system, we also experimentally verify the feasibility of the iGRAPE algorithm.
△ Less
Submitted 8 December, 2022; v1 submitted 6 December, 2022;
originally announced December 2022.
-
Latency considerations for stochastic optimizers in variational quantum algorithms
Authors:
Matt Menickelly,
Yunsoo Ha,
Matthew Otten
Abstract:
Variational quantum algorithms, which have risen to prominence in the noisy intermediate-scale quantum setting, require the implementation of a stochastic optimizer on classical hardware. To date, most research has employed algorithms based on the stochastic gradient iteration as the stochastic classical optimizer. In this work we propose instead using stochastic optimization algorithms that yield…
▽ More
Variational quantum algorithms, which have risen to prominence in the noisy intermediate-scale quantum setting, require the implementation of a stochastic optimizer on classical hardware. To date, most research has employed algorithms based on the stochastic gradient iteration as the stochastic classical optimizer. In this work we propose instead using stochastic optimization algorithms that yield stochastic processes emulating the dynamics of classical deterministic algorithms. This approach results in methods with theoretically superior worst-case iteration complexities, at the expense of greater per-iteration sample (shot) complexities. We investigate this trade-off both theoretically and empirically and conclude that preferences for a choice of stochastic optimizer should explicitly depend on a function of both latency and shot execution times.
△ Less
Submitted 17 October, 2022; v1 submitted 31 January, 2022;
originally announced January 2022.
-
Magnetically tunable Shubnikov-de Hass oscillations in MnBi2Te4
Authors:
X. Lei,
L. Zhou,
Z. Y. Hao,
H. T. Liu,
S. Yang,
H. P. Sun,
X. Z. Ma,
C. Ma,
H. Z. Lu,
J. W. Mei,
J. N. Wang,
H. T. He
Abstract:
Shubnikov-de Hass oscillations are directly observed in undoped antiferromagnetic topological insulator MnBi2Te4. With increasing magnetic fields, the oscillation period decreases gradually in the magnetic transition from canted antiferromagnetism to ferromagnetism and then saturates in high magnetic fields, indicating the field-induced evolution of the band structure. From the analysis of the hig…
▽ More
Shubnikov-de Hass oscillations are directly observed in undoped antiferromagnetic topological insulator MnBi2Te4. With increasing magnetic fields, the oscillation period decreases gradually in the magnetic transition from canted antiferromagnetism to ferromagnetism and then saturates in high magnetic fields, indicating the field-induced evolution of the band structure. From the analysis of the high-field oscillations, a nontrivial Berry phase and a small effective mass are extracted, in agreement with the predicted Weyl semimetal phase in ferromagnetic MnBi2Te4. Furthermore, rotating the magnetization of MnBi2Te4 can lead to a splitting of the high-field oscillations, which suggests the enhanced asymmetry of the Weyl cones in tilted fields. Therefore, the observation of these magnetically tunable quantum oscillations clearly demonstrates the indispensable role of field in tuning the band structure or physical properties of MnBi2Te4.
△ Less
Submitted 20 December, 2021;
originally announced December 2021.
-
Detected the steerability bounds of the generalized Werner states via BackPropagation neural network
Authors:
Jun Zhang,
Kan He,
Ying Zhang,
Yu-Yang Hao,
**-Chuan Hou,
Fang-Peng Lan,
Bao-Ning Niu
Abstract:
We use error BackPropagation (BP) neural network to determine whether an arbitrary two-qubit quantum state is steerable and optimize the steerability bounds of the generalized Werner state. The results show that no matter how we choose the features for the quantum states, we can use the BP neural network to construct several models to realize high-performance quantum steering classifiers compared…
▽ More
We use error BackPropagation (BP) neural network to determine whether an arbitrary two-qubit quantum state is steerable and optimize the steerability bounds of the generalized Werner state. The results show that no matter how we choose the features for the quantum states, we can use the BP neural network to construct several models to realize high-performance quantum steering classifiers compared with the support vector machine (SVM). In addition, we predict the steerability bounds of the generalized Werner states by using the classifiers which are newly constructed by the BP neural network, that is, the predicted steerability bounds are closer to the theoretical bounds. In particular, high-performance classifiers with partial information of the quantum states which we only need to measure in three fixed measurement directions are obtained.
△ Less
Submitted 25 October, 2021;
originally announced October 2021.
-
High accuracy theoretical investigations of CaF, SrF, and BaF and implications for laser-cooling
Authors:
Yongliang Hao,
Lukaš F. Pašteka,
Lucas Visscher,
the NL-eEDM collaboration,
:,
Parul Aggarwal,
Hendrick L. Bethlem,
Alexander Boeschoten,
Anastasia Borschevsky,
Malika Denis,
Kevin Esajas,
Steven Hoekstra,
Klaus Jungmann,
Virginia R. Marshall,
Thomas B. Meijknecht,
Maarten C. Mooij,
Rob G. E. Timmermans,
Anno Touwen,
Wim Ubachs,
Lorenz Willmann,
Yanning Yin,
Artem Zapara
Abstract:
The NL-eEDM collaboration is building an experimental setup to search for the permanent electric dipole moment of the electron in a slow beam of cold barium fluoride molecules [Eur. Phys. J. D, 72, 197 (2018)]. Knowledge of molecular properties of BaF is thus needed to plan the measurements and in particular to determine an optimal laser-cooling scheme. Accurate and reliable theoretical prediction…
▽ More
The NL-eEDM collaboration is building an experimental setup to search for the permanent electric dipole moment of the electron in a slow beam of cold barium fluoride molecules [Eur. Phys. J. D, 72, 197 (2018)]. Knowledge of molecular properties of BaF is thus needed to plan the measurements and in particular to determine an optimal laser-cooling scheme. Accurate and reliable theoretical predictions of these properties require incorporation of both high-order correlation and relativistic effects in the calculations. In this work theoretical investigations of the ground and the lowest excited states of BaF and its lighter homologues, CaF and SrF, are carried out in the framework of the relativistic Fock-space coupled cluster (FSCC) and multireference configuration interaction (MRCI) methods. Using the calculated molecular properties, we determine the Franck-Condon factors (FCFs) for the $A^2Π_{1/2} \rightarrow X^2Σ^{+}_{1/2}$ transition, which was successfully used for cooling CaF and SrF and is now considered for BaF. For all three species, the FCFs are found to be highly diagonal. Calculations are also performed for the $B^2Σ^{+}_{1/2} \rightarrow X^2Σ^{+}_{1/2}$ transition recently exploited for laser-cooling of CaF; it is shown that this transition is not suitable for laser-cooling of BaF, due to the non-diagonal nature of the FCFs in this system. Special attention is given to the properties of the $A'^2Δ$ state, which in the case of BaF causes a leak channel, in contrast to CaF and SrF species where this state is energetically above the excited states used in laser-cooling. We also present the dipole moments of the ground and the excited states of the three molecules and the transition dipole moments (TDMs) between the different states.
△ Less
Submitted 3 June, 2019; v1 submitted 4 April, 2019;
originally announced April 2019.
-
Mode Structure in Superconducting Metamaterial Transmission Line Resonators
Authors:
H. Wang,
A. P. Zhuravel,
S. Indrajeet,
Bruno G. Taketani,
M. D. Hutchings,
Y. Hao,
F. Rouxinol,
F. K. Wilhelm,
M. LaHaye,
A. V. Ustinov,
B. L. T. Plourde
Abstract:
Superconducting metamaterials are a promising resource for quantum information science. In the context of circuit QED, they provide a means to engineer on-chip, novel dispersion relations and a band structure that could ultimately be utilized for generating complex entangled states of quantum circuitry, for quantum reservoir engineering, and as an element for quantum simulation architectures. Here…
▽ More
Superconducting metamaterials are a promising resource for quantum information science. In the context of circuit QED, they provide a means to engineer on-chip, novel dispersion relations and a band structure that could ultimately be utilized for generating complex entangled states of quantum circuitry, for quantum reservoir engineering, and as an element for quantum simulation architectures. Here we report on the development and measurement at millikelvin temperatures of a particular type of circuit metamaterial resonator composed of planar superconducting lumped-element reactances in the form of a discrete left-handed transmission line (LHTL). We discuss the details of the design, fabrication, and circuit properties of this system. As well, we provide an extensive characterization of the dense mode spectrum in these metamaterial resonators, which we conducted using both microwave transmission measurements and laser scanning microscopy (LSM). Results are observed to be in good quantitative agreement with numerical simulations and also an analytical model based upon current-voltage relationships for a discrete transmission line. In particular, we demonstrate that the metamaterial mode frequencies, spatial profiles of current and charge densities, and dam** due to external loading can be readily modeled and understood, making this system a promising tool for future use in quantum circuit applications and for studies of complex quantum systems.
△ Less
Submitted 31 May, 2019; v1 submitted 6 December, 2018;
originally announced December 2018.
-
Measurements of nanoresonator-qubit interactions in a hybrid quantum electromechanical system
Authors:
F. Rouxinol,
Y. Hao,
F. Brito,
A. O. Caldeira,
E. K. Irish,
M. D. LaHaye
Abstract:
Experiments to probe the basic quantum properties of motional degrees of freedom of mechanical systems have developed rapidly over the last decade. One promising approach is to use hybrid electromechanical systems incorporating superconducting qubits and microwave circuitry. However, a critical challenge facing the development of these systems is to achieve strong coupling between mechanics and qu…
▽ More
Experiments to probe the basic quantum properties of motional degrees of freedom of mechanical systems have developed rapidly over the last decade. One promising approach is to use hybrid electromechanical systems incorporating superconducting qubits and microwave circuitry. However, a critical challenge facing the development of these systems is to achieve strong coupling between mechanics and qubits while simultaneously reducing coupling of both the qubit and mechanical mode to the environment. Here we report measurements of a qubit-coupled mechanical resonator system consisting of an ultra-high-frequency nanoresonator and a long coherence-time superconducting transmon qubit, embedded in superconducting coplanar waveguide cavity. It is demonstrated that the nanoresonator and transmon have commensurate energies and transmon coherence times are one order of magnitude larger than for all previously reported qubit-coupled nanoresonators. Moreover, we show that numerical simulations of this new hybrid quantum system are in good agreement with spectroscopic measurements and suggest that the nanoresonator in our device resides at low thermal occupation number, near its ground state, acting as a dissipative bath seen by the qubit. We also outline how this system could soon be developed as a platform for implementing more advanced experiments with direct relevance to quantum information processing and quantum thermodynamics, including the study of nanoresonator quantum noise properties, reservoir engineering, and nanomechanical quantum state generation and detection.
△ Less
Submitted 4 May, 2016;
originally announced May 2016.
-
Application of RWA leads to false conclusions about the transition probability for the near or exact resonance
Authors:
Dafa Li,
Yanjun Hao
Abstract:
Rotating wave approximation (RWA) plays a key rule in quantum optics to solve some Schrödinger equation approximately. For example, it is well known that RWA has been used to calculate the transition probability. However, so far no one shows the validity of RWA. Recently Larson [J. Larson, Phys. Rev. Lett. 108, 033601 (2012)] gave the first example showing that the application of RWA in the Jaynes…
▽ More
Rotating wave approximation (RWA) plays a key rule in quantum optics to solve some Schrödinger equation approximately. For example, it is well known that RWA has been used to calculate the transition probability. However, so far no one shows the validity of RWA. Recently Larson [J. Larson, Phys. Rev. Lett. 108, 033601 (2012)] gave the first example showing that the application of RWA in the Jaynes-Cummings model may lead to false conclusions. In this paper, we analytically and numerically show that the application of RWA leads to false conclusions about the transition probability for the near or exact resonance.
△ Less
Submitted 28 April, 2016; v1 submitted 19 November, 2015;
originally announced November 2015.
-
Superconducting Circuitry for Quantum Electromechanical Systems
Authors:
Matthew D. LaHaye,
Francisco Rouxinol,
Yu Hao,
Seung-Bo Shim,
Elinor K. Irish
Abstract:
Superconducting systems have a long history of use in experiments that push the frontiers of mechanical sensing. This includes both applied and fundamental research, which at present day ranges from quantum computing research and efforts to explore Planck-scale physics to fundamental studies on the nature of motion and the quantum limits on our ability to measure it. In this paper, we first provid…
▽ More
Superconducting systems have a long history of use in experiments that push the frontiers of mechanical sensing. This includes both applied and fundamental research, which at present day ranges from quantum computing research and efforts to explore Planck-scale physics to fundamental studies on the nature of motion and the quantum limits on our ability to measure it. In this paper, we first provide a short history of the role of superconducting circuitry and devices in mechanical sensing, focusing primarily on efforts in the last decade to push the study of quantum mechanics to include motion on the scale of human-made structures. This background sets the stage for the remainder of the paper, which focuses on the development of quantum electromechanical systems (QEMS) that incorporate superconducting quantum bits (qubits), superconducting transmission line resonators and flexural nanomechanical elements. In addition to providing the motivation and relevant background on the physical behavior of these systems, we discuss our recent efforts to develop a particular type of QEMS that is based upon the Cooper-pair box (CPB) and superconducting coplanar waveguide (CPW) cavities, a system which has the potential to serve as a testbed for studying the quantum properties of motion in engineered systems.
△ Less
Submitted 11 April, 2015;
originally announced April 2015.
-
Development of a broadband reflective T-filter for voltage biasing high-Q superconducting microwave cavities
Authors:
Yu Hao,
Francisco Rouxinol,
M. D. LaHaye
Abstract:
We present the design of a reflective stop-band filter based on quasi-lumped elements that can be utilized to introduce large dc and low-frequency voltage biases into a low-loss superconducting coplanar waveguide (CPW) cavity. Transmission measurements of the filter are seen to be in good agreement with simulations and demonstrate insertion losses greater than $20\,{\rm dB}$ in the range of…
▽ More
We present the design of a reflective stop-band filter based on quasi-lumped elements that can be utilized to introduce large dc and low-frequency voltage biases into a low-loss superconducting coplanar waveguide (CPW) cavity. Transmission measurements of the filter are seen to be in good agreement with simulations and demonstrate insertion losses greater than $20\,{\rm dB}$ in the range of ${\rm 3\,to\,10\,GHz}$. Moreover, transmission measurements of the CPW's fundamental mode demonstrate that loaded quality factors exceeding $10^5$ can be achieved with this design for dc voltages as large as ${\rm 20\,V}$ and for the cavity operated in the single-photon regime. This makes the design suitable for use in a number of applications including qubit-coupled mechanical systems and circuit QED.
△ Less
Submitted 26 September, 2014;
originally announced September 2014.
-
Ground-state Riemannian metric, cyclic quantum distance, and the quantum criticality in an inhomogeneous Ising spin chain
Authors:
Yu-Quan Ma,
Deng-Shan Wang,
Ya-Jiang Hao,
Xiang-Guo Yin,
Wu-Ming Liu
Abstract:
We investigate the ground-state Riemannian metric and the cyclic quantum distance of an inhomogeneous quantum Ising spin-1/2 chain in a transverse field. This model can be diagonalized by using a general canonical transformation to the fermionic Hamiltonian mapped from the spin system. The ground-state Riemannian metric is derived exactly on a parameter manifold ring $S^1$, which is introduced by…
▽ More
We investigate the ground-state Riemannian metric and the cyclic quantum distance of an inhomogeneous quantum Ising spin-1/2 chain in a transverse field. This model can be diagonalized by using a general canonical transformation to the fermionic Hamiltonian mapped from the spin system. The ground-state Riemannian metric is derived exactly on a parameter manifold ring $S^1$, which is introduced by performing a gauge transformation to the spin Hamiltonian through a twist operator. The ground-state cyclic quantum distance and the second derivative of the ground-state energy are studied in different inhomogeneous exchange coupling parameter region. Particularly, we show that the quantum ferromagnetic phase in the uniform Ising chain can be characterized by an invariant cyclic quantum distance with a constant ground-state Riemannian metric, and this metric will rapidly decay to zero in the paramagnetic phase.
△ Less
Submitted 9 March, 2014;
originally announced March 2014.
-
Density-functional theory for 1D harmonically trapped Bose-Fermi mixture
Authors:
Hongmei Wang,
Yajiang Hao,
Yunbo Zhang
Abstract:
We present a density-functional theory for the one dimensional harmonically trapped Bose-Fermi mixture with repulsive contact interactions. The ground state density distribution of each component is obtained by solving the Kohn-Sham equations numerically based on the Local Density Approximation and the exact solution for the homogeneous system given by Bethe ansatz method. It is shown that for str…
▽ More
We present a density-functional theory for the one dimensional harmonically trapped Bose-Fermi mixture with repulsive contact interactions. The ground state density distribution of each component is obtained by solving the Kohn-Sham equations numerically based on the Local Density Approximation and the exact solution for the homogeneous system given by Bethe ansatz method. It is shown that for strong enough interaction, a considerable amount of fermions are repelled out of the central region of the trap, exhibiting partial phase separation of Bose and Fermi components. Oscillations emerge in the Bose density curves reflecting the strong correlation with Fermions. For infinite strong interaction, the ground state energy of the mixture and the total density are consistent with the scenario that all atoms in the mixture are fully fermionized.
△ Less
Submitted 28 March, 2012;
originally announced March 2012.
-
Tonks-Girardeau gas, super-Tonks-Girardeau gas, and bound states of one-dimensional bosons in a hard-wall trap
Authors:
Hua Li,
Taifeng Liu,
Yaojiang Hao,
Yunbo Zhang
Abstract:
We investigate the Bose gas with repulsive or attractive interactions between atoms in the scheme of Bethe Ansatz equation in a hard wall trap. Three typical quantum phases in the current research of 1D interacting cold atoms are clarified in terms of the energy spectrum, single particle density distribution and two-particle correlation function. We identify two matching points in the phase diagra…
▽ More
We investigate the Bose gas with repulsive or attractive interactions between atoms in the scheme of Bethe Ansatz equation in a hard wall trap. Three typical quantum phases in the current research of 1D interacting cold atoms are clarified in terms of the energy spectrum, single particle density distribution and two-particle correlation function. We identify two matching points in the phase diagram, i.e. the TG and STG gas show the same profiles at the strongly interacting point $-1/γ=0$, and in the weakly interacting limit $γ=0$ the ground states TG and BS join to each other smoothly.
△ Less
Submitted 2 May, 2011;
originally announced May 2011.
-
Dynamics of Two-Component Bose-Einstein Condensates Coupled with Environment
Authors:
Yajiang Hao,
Qiang Gu
Abstract:
We investigate the dynamics of an open Bose-Einstein condensate system consisting of two hyperfine states of the same atomic species which are coupled by tunable Raman laser. It is already suggested that the detuning between the laser frequency and transition frequency affect significantly on the dynamics of the pure condensate. Here we show that the detuning effect is suppressed by noise and diss…
▽ More
We investigate the dynamics of an open Bose-Einstein condensate system consisting of two hyperfine states of the same atomic species which are coupled by tunable Raman laser. It is already suggested that the detuning between the laser frequency and transition frequency affect significantly on the dynamics of the pure condensate. Here we show that the detuning effect is suppressed by noise and dissipation caused by the environment. The increase of coherence and purity are also displayed for specific parameters. As a verification to the lowest-order approximation we derive the hierarchy of motion equations in the second-order approximation. It turns out that the former one can describe the dynamical evolution qualitatively for weak noise and dissipation and quantitatively for strong noise and dissipation.
△ Less
Submitted 22 February, 2011;
originally announced February 2011.
-
Preparation of stable excited states in an optical lattice via sudden quantum quench
Authors:
Li Wang,
Yajiang Hao,
Shu Chen
Abstract:
We study how stable excited many-body states of the Bose-Hubbard model, including both the gas-like state for strongly attractive bosons and bound cluster state for repulsive bosons, can be produced with cold bosonic atoms in an one-dimensional optical lattice. Starting from the initial ground states of strongly interacting bosonic systems, we can achieve stable excited states of the systems with…
▽ More
We study how stable excited many-body states of the Bose-Hubbard model, including both the gas-like state for strongly attractive bosons and bound cluster state for repulsive bosons, can be produced with cold bosonic atoms in an one-dimensional optical lattice. Starting from the initial ground states of strongly interacting bosonic systems, we can achieve stable excited states of the systems with opposite interaction strength by suddenly switching the interaction to the opposite limit. By exactly solving dynamics of the Bose-Hubbard model, we demonstrate that the produced excited state can be a very stable dynamic state. This allows the experimental study of excited state properties of ultracold atoms system in optical lattices.
△ Less
Submitted 30 June, 2010; v1 submitted 14 April, 2010;
originally announced April 2010.
-
Quantum entanglement of particles on a ring with fractional statistics
Authors:
Hongli Guo,
Yajiang Hao,
Shu Chen
Abstract:
In this paper we investigate the von Neumann entropy in the ground state of one-dimensional anyonic systems with the repulsive interaction. Based on the Bethe-ansatz method, the entanglement properties for the arbitrary statistical parameter ($0\leqκ\leq1$) are obtained from the one-particle reduced density matrix in the full interacting regime. It is shown that the entanglement entropy increase…
▽ More
In this paper we investigate the von Neumann entropy in the ground state of one-dimensional anyonic systems with the repulsive interaction. Based on the Bethe-ansatz method, the entanglement properties for the arbitrary statistical parameter ($0\leqκ\leq1$) are obtained from the one-particle reduced density matrix in the full interacting regime. It is shown that the entanglement entropy increases with the increase in the interaction strength and statistical parameter. The statistic parameter affects the entanglement properties from two aspects: renormalizing of the effective interaction strength and introducing an additional anyonic phase. We also evaluate the entanglement entropy of hard-core anyons for different statistical parameters in order to clarify solely the effect induced by the anyonic phase.
△ Less
Submitted 2 June, 2009;
originally announced June 2009.