Entanglement of separate nitrogen-vacancy centers coupled to a whispering-gallery mode cavity

We present a quantum electrodynamical model involving nitrogen-vacancy centers coupled to a whispering-gallery mode cavity. Two schemes are considered to create W state and Bell state, respectively. One of the schemes makes use of the Raman transition with the cavity field virtually excited; The other enables the Bell state preparation and quantum information transfer by virtue of dark state evolution and adiabatic passage, which is tolerant to ambient noise and experimental parameter fluctuations. We justify our schemes by considering the experimental feasibility and challenge using currently available technology.Comment: 8 pages and 5 figure

A Case Study in Matching Test and Proof Coverage

AbstractThis paper studies the complementarity of test and deductive proof processes for Java programs specified in JML (Java Modeling Language). The proof of a program may be long and difficult, especially when automatic provers give up. When a theorem is not automatically proved, there are two possibilities: either the theorem is correct and there are not enough pieces of information to deal with the proof, or the theorem is incorrect. In order to discriminate between those two alternatives, testing techniques can be used. Here, we present experiments around the use of the JACK tool to prove Java programs annotated with JML assertions. When JACK fails to decide proof obligations, we use a combinatorial testing tool, TOBIAS, to produce large test suites that exercise the unproved program parts. The key issue is to establish the relevance of the test suite with respect to the unproved proof obligations. Therefore, we use code coverage techniques: our approach takes advantage of the statement orientation of the JACK tool to compare the statements involved in the unproved proof obligations and the statements covered by the test suite. Finally, we ensure our confidence within the test suites, by evaluating them on mutant program killing exercises. These techniques have been put into practice and are illustrated by a simple case study

High-fidelity quantum memory using nitrogen-vacancy center ensemble for hybrid quantum computation

We study a hybrid quantum computing system using nitrogen-vacancy center ensemble (NVE) as quantum memory, current-biased Josephson junction (CBJJ) superconducting qubit fabricated in a transmission line resonator (TLR) as quantum computing processor and the microwave photons in TLR as quantum data bus. The storage process is seriously treated by considering all kinds of decoherence mechanisms. Such a hybrid quantum device can also be used to create multi-qubit W states of NVEs through a common CBJJ. The experimental feasibility and challenge are justified using currently available technology.Comment: 4 pages, 4 figures, accepted for PRA rapid communicatio

Coexistence of localized and itinerant electrons in BaFe2X3 (X = S and Se) revealed by photoemission spectroscopy

We report a photoemission study at room temperature on BaFe2X3 (X = S and Se) and CsFe2Se3 in which two-leg ladders are formed by the Fe sites. The Fe 2p core-level peaks of BaFe2X3 are broad and exhibit two components, indicating that itinerant and localized Fe 3d sites coexist similar to KxFe2-ySe2. The Fe 2p core-level peak of CsFe2Se3 is rather sharp and is accompanied by a charge-transfer satellite. The insulating ground state of CsFe2Se3 can be viewed as a Fe2+ Mott insulator in spite of the formal valence of +2.5. The itinerant versus localized behaviors can be associated with the stability of chalcogen p holes in the two-leg ladder structure.Comment: 5 pages, 5 figures, Accepted in publication for Physical Review

Density of states and Fisher's zeros in compact U(1) pure gauge theory

We present high-accuracy calculations of the density of states using multicanonical methods for lattice gauge theory with a compact gauge group U(1) on 4^4, 6^4 and 8^4 lattices. We show that the results are consistent with weak and strong coupling expansions. We present methods based on Chebyshev interpolations and Cauchy theorem to find the (Fisher's) zeros of the partition function in the complex beta=1/g^2 plane. The results are consistent with reweighting methods whenever the latter are accurate. We discuss the volume dependence of the imaginary part of the Fisher's zeros, the width and depth of the plaquette distribution at the value of beta where the two peaks have equal height. We discuss strategies to discriminate between first and second order transitions and explore them with data at larger volume but lower statistics. Higher statistics and even larger lattices are necessary to draw strong conclusions regarding the order of the transition.Comment: 14 pages, 16 figure

Deterministically entangling distant nitrogen-vacancy centers by a nanomechanical cantilever

We present a practical scheme by global addressing to deterministically entangle negatively charged nitrogen-vacancy (N-V) centers in distant diamonds using a nano-mechanical cantilever with the magnetic tips strongly coupled to the N-V electron spins. Symmetric Dicke states are generated as an example, and the experimental feasibility and challenge of our scheme are discussed.Comment: 5 pages, 4 figure