Qubit portrait of the photon-number tomogram and separability of two-mode light states

In view of the photon-number tomograms of two-mode light states, using the qubit-portrait method for studying the probability distributions with infinite outputs, the separability and entanglement detection of the states are studied. Examples of entangled Gaussian state and Schr\"{o}dinger cat state are discussed.Comment: 20 pages, 6 figures, TeX file, to appear in Journal of Russian Laser Researc

LYRICS: a General Interface Layer to Integrate AI and Deep Learning

In spite of the amazing results obtained by deep learning in many applications, a real intelligent behavior of an agent acting in a complex environment is likely to require some kind of higher-level symbolic inference. Therefore, there is a clear need for the definition of a general and tight integration between low-level tasks, processing sensorial data that can be effectively elaborated using deep learning techniques, and the logic reasoning that allows humans to take decisions in complex environments. This paper presents LYRICS, a generic interface layer for AI, which is implemented in TensorFlow (TF). LYRICS provides an input language that allows to define arbitrary First Order Logic (FOL) background knowledge. The predicates and functions of the FOL knowledge can be bound to any TF computational graph, and the formulas are converted into a set of real-valued constraints, which participate to the overall optimization problem. This allows to learn the weights of the learners, under the constraints imposed by the prior knowledge. The framework is extremely general as it imposes no restrictions in terms of which models or knowledge can be integrated. In this paper, we show the generality of the approach showing some use cases of the presented language, including model checking, supervised learning and collective classification

Generation of optical 'Schrödinger cats' from photon number states

Schrödinger's cat is a Gedankenexperiment in quantum physics, in which an atomic decay triggers the death of the cat. Because quantum physics allow atoms to remain in superpositions of states, the classical cat would then be simultaneously dead and alive. By analogy, a 'cat' state of freely propagating light can be defined as a quantum superposition of well separated quasi-classical states, —it is a classical light wave that simultaneously possesses two opposite phases. Such states play an important role in fundamental tests of quantum theory and in many quantum information processing tasks, including quantum computation, quantum teleportation and precision measurements. Recently, optical Schrödinger 'kittens' were prepared; however, they are too small for most of the aforementioned applications and increasing their size is experimentally challenging. Here we demonstrate, theoretically and experimentally, a protocol that allows the generation of arbitrarily large squeezed Schrödinger cat states, using homodyne detection and photon number states as resources. We implemented this protocol with light pulses containing two photons, producing a squeezed Schrödinger cat state with a negative Wigner function. This state clearly exhibits several quantum phase-space interference fringes between the 'dead' and 'alive' components, and is large enough to become useful for quantum information processing and experimental tests of quantum theory