How can one prove that a given state is entangled? In this paper we review different methods that have been proposed for entanglement detection. We first explain the basic elements of entanglement theory for two or more particles and then entanglement verification procedures such as Bell inequalities, entanglement witnesses, the determination of nonlinear properties of a quantum state via measurements on several copies, and spin squeezing inequalities. An emphasis is given on the theory and application of entanglement witnesses. We also discuss several experiments, where some of the presented methods have been implemented.

Entanglement detection

It is shown that the ordinary semiclassical theory of the absorption of light by exciton states is not completely satisfactory (in contrast to the case of absorption due to interband transitions). A more complete theory is developed. It is shown that excitons are approximate bosons, and, in interaction with the electromagnetic field, the exciton field plays the role of the classical polarization field. The eigenstates of the system of crystal and radiation field are mixtures of photons and excitons. The ordinary one-quantum optical lifetime of an excitation is infinite. Absorption occurs only when "three-body" processes are introduced. The theory includes "local field" effects, leading to the Lorentz local field correction when it is applicable. A Smakula equation for the oscillator strength in terms of the integrated absorption constant is derived.

a Quantum-Mechanical Theory of the Contribution of Excitons to the Complex Dielectric Constant of Crystals.

We report the creation of thermal, Fock, coherent, and squeezed states of motion of a harmonically bound {sup 9}Be{sup +} ion. The last three states are coherently prepared from an ion which has been initially laser cooled to the zero point of motion. The ion is trapped in the regime where the coupling between its motional and internal states, due to applied (classical) radiation, can be described by a Jaynes-Cummings-type interaction. With this coupling, the evolution of the internal atomic state provides a signature of the number state distribution of the motion. {copyright} {ital 1996 The American Physical Society.}

Generation of Non-classical Motional States of a Trapped Atom

Adiabatic evolution along the instantaneous eigenstate of a time-dependent Hamiltonian is used for robust and high fidelity state transfer in atomic and molecular physics. Shortcuts to adiabaticity (STA) are systematic approaches to accomplish the same final state transfer in a faster manner. This article presents an introduction to STA and reviews different theoretical approaches and applications of STA to a range of scientific and engineering tasks in quantum physics and beyond.

/pdf/shortcuts-to-adiabaticity-concepts-methods-and-applications-24er71w4ai.pdf

Shortcuts to adiabaticity: Concepts, methods, and applications

https://dml.riken.jp/images/pub/nori/pdf/Phys_Reports_Aug2011.pdf

Quantum spin squeezing

We show that the two definitions of spin squeezing extensively used in the literature [M. Kitagawa and M. Ueda, Phys. Rev. A 47, 5138 (1993) and D.J. Wineland et al., Phys. Rev. A 50, 67 (1994)] give different predictions of entanglement in the two-atom Dicke system. We analyze differences between the definitions and show that the spin squeezing parameter of Kitagawa and Ueda is a better measure of entanglement than the commonly used spectroscopic spin squeezing parameter. We illustrate this relation by examining different examples of a driven two-atom Dicke system in which spin squeezing and entanglement arise dynamically. We give an explanation of the source of the difference using the negativity criterion for entanglement.

https://arxiv.org/pdf/quant-ph/0305166.pdf

Spin squeezing as a measure of entanglement in a two-qubit system

We analyse the relation between the entanglement and the spin-squeezing parameter in the two-atom Dicke model and identify the source of the discrepancy recently reported by Banerjee (2001 Preprint quant-ph/0110032) and Zhou et al (2002 J. Opt. B. Quantum Semiclass. Opt. 4 425), namely that one can observe entanglement without spin squeezing. Our calculations demonstrate that there are two criteria for entanglement, one associated with the two-photon coherences that create two-photon entangled states, and the other associated with populations of the collective states. We find that the spin-squeezing parameter correctly predicts entanglement in the two-atom Dicke system only if it is associated with two-photon entangled states, but fails to predict entanglement when it is associated with the entangled symmetric state. This explicitly identifies the source of the discrepancy and explains why the system can be entangled without spin squeezing. We illustrate these findings with three examples of the interaction of the system with thermal, classical squeezed vacuum, and quantum squeezed vacuum fields.

Entanglement and spin squeezing in the two-atom Dicke model

The robustness of the three-level transitionless quantum driving proposed by Giannelli and Arimondo [L. Giannelli and E. Arimondo, Phys. Rev. A 89, 033419 (2014)] is investigated. In the case when the excited state is barely populated during the evolution, its decay rate has little effect on the adiabatic population transfer. However, the dephasing which is due to collisions or phase fluctuations of the driving fields will produce a significant effect on the evolution. We found that the dephasing reduces the performance of the population transfer and the fidelity can be far below the quantum computation target even for small dephasing rates.

Effect of dephasing on superadiabatic three-level quantum driving

We define WK linear grammars, as an extension of WK regular grammars with linear grammar rules, and WK context-free grammars, thus investigating their computational power and closure properties. We show that WK linear grammars can generate some context-sensitive languages. Moreover, we demonstrate that the family of WK regular languages is the proper subset of the family of WK linear languages, but it is not comparable with the family of linear languages. We also establish that the Watson-Crick regular grammars are closed under almost all of the main closure operations.

/pdf/generative-power-and-closure-properties-of-watson-crick-4wtm1upkqo.pdf

Generative Power and Closure Properties of Watson-Crick Grammars

In this paper, we define Watson-Crick linear grammars extending Watson-Crick regular grammars Subramanian et al. (CCSEIT’12 proceedings of the second international conference on computer science, science, engineering and information technology 151–156, 2012, [9]) with linear rules, and study their generative power. We show that Watson-Crick linear grammars can generate some context-sensitive languages. Moreover, we establish that the family of Watson-Crick regular languages proper subset of the family of Watson-Crick linear languages but it is not comparable with the family of linear languages.

Azeddine Messikh

Papers

Spin squeezing as a measure of entanglement in a two-qubit system

Entanglement and spin squeezing in the two-atom Dicke model

Effect of dephasing on superadiabatic three-level quantum driving

Generative Power and Closure Properties of Watson-Crick Grammars

Watson-Crick Linear Grammars