Abstract Quantum optics connects fundamental phenomena such as entanglement and superposition with practical applications like metrology and communication. Throughout, there is an interplay between information theoretic concepts such as entropy and physical considerations such as quantum system design, noise, and loss. Therefore, a result at the heart of these fields can have numerous ramifications in development of applications and advancing our understanding of quantum physics. Our recent proof for the entanglement properties of states interfering with the vacuum on a beam splitter led to monotonicity and convexity properties for quantum states undergoing photon loss [Lupu-Gladstein et al., PRA 112 , 033722 (2025)] by breathing life into a decades-old conjecture. In this work, we extend these fundamental properties to measures of similarity between states, provide inequalities for creation and annihilation operators beyond the Cauchy–Bunyakovsky–Schwarz inequality, prove a conjecture [Hertz et al., PRA 110 , 012408 (2024)] dictating that nonclassicality through the quadrature coherence scale is uncertifiable beyond a loss of 50%, place constraints on quasiprobability distributions of all physical states, and explore entanglement generation optimized over all input states and linear optical networks. These ideas can now be used throughout quantum optics.
Abstract Quantum optics connects fundamental phenomena such as entanglement and superposition with practical applications like metrology and communication. Throughout, there is an interplay between information theoretic concepts such as entropy and physical considerations such as quantum system design, noise, and loss. Therefore, a result at the heart of these fields can have numerous ramifications in development of applications and advancing our understanding of quantum physics. Our recent proof for the entanglement properties of states interfering with the vacuum on a beam splitter led to monotonicity and convexity properties for quantum states undergoing photon loss [Lupu-Gladstein et al., PRA 112 , 033722 (2025)] by breathing life into a decades-old conjecture. In this work, we extend these fundamental properties to measures of similarity between states, provide inequalities for creation and annihilation operators beyond the Cauchy–Bunyakovsky–Schwarz inequality, prove a conjecture [Hertz et al., PRA 110 , 012408 (2024)] dictating that nonclassicality through the quadrature coherence scale is uncertifiable beyond a loss of 50%, place constraints on quasiprobability distributions of all physical states, and explore entanglement generation optimized over all input states and linear optical networks. These ideas can now be used throughout quantum optics.
Quantum optics routinely uses beam splitters to generate entanglement, including in pioneering experiments conducted by Hanbury-Brown and Twiss and Hong, Ou, and Mandel. The quantum interference at beam splitters lies at the heart of what makes boson sampling hard to emulate by classical computers and is a vital component of quantum computation with light. Yet, despite overwhelming positive evidence, the conjecture that beam splitters with equal reflection and transmission probabilities generate the most entanglement for any state interfered with the vacuum has remained unproven for almost two decades [Asbóth et al., Phys. Rev. Lett. 94, 173602 (2005)]. We prove this conjecture for ubiquitous entanglement monotones including mixed-state generalizations of entanglement entropy and purity by uncovering monotonicity and convexity with respect to photon loss for these monotones. At the same time, we highlight an infinite class of lesser-used monotones for which the conjecture fails. Because beam splitters are so fundamental, our results yield numerous corollaries for quantum optics, including proof of a recent conjecture for the evolution of a measure of quantumness through loss and a more efficient computational strategy for optimizing entanglement generation over linear optics. These results justify the value of seeking mathematical rigour behind commonly accepted facts and the danger of trusting them unconditionally.
The quantum nature of the state of a bosonic quantum field may manifest itself in its entanglement, coherence, or optical nonclassicality. Each of these distinct properties is known to be a resource for quantum computing or metrology and can be evaluated via a variety of measures, witnesses, or monotones. Here, we provide quantitative and computable bounds relating, in particular, some entanglement measures with optical nonclassicality measures. Overall, these bounds capture the fact that strongly entangled states must necessarily be strongly optically nonclassical. As an application, we infer strong bounds on the entanglement that can be produced with an optically nonclassical state impinging on a beam splitter. Then, focusing on Gaussian states, we analyze the link between the logarithmic negativity and a specific nonclassicality measure called quadrature coherence scale.
In the first part of this dissertation a framework for categorizing entropic measures of nonclassical correlations in bipartite quantum states is presented. The measures are based on the difference between a quantum entropic quantity and the corresponding classical quantity obtained from measurements on the two systems. Three types of entropic quantities are used, and three different measurement strategies are applied to these quantities. Many of the resulting measures of nonclassical correlations have been proposed previously. Properties of the various measures are explored, and results of evaluating the measures for two-qubit quantum states are presented. To demonstrate how these measures differ from entanglement we move to the set of Bell-diagonal states for two qubits, which can be depicted as a tetrahedron in three dimensions. We consider the level surfaces of entanglement and of the correlation measures from our framework for Bell-diagonal states. This provides a complete picture of the structure of entanglement and discord for this simple case and, in particular, of their nonanalytic behavior under decoherence. The pictorial approach also indicates how to show that all of the proposed correlation measures are neither convex nor concave. In the second part we look at two practical interferometric setups that use nonclassical states of light to enhance their performance. First we consider an interferometer powered by laser light (a coherent state) into one input port and ask the following question: what is the best state to inject into the second input port, given a constraint on the mean number of photons this state can carry, in order to optimize the interferometer's phase sensitivity? This question is the practical question for high-sensitivity interferometry. We answer the question by considering the quantum Cram\'er-Rao bound for such a setup. The answer is squeezed vacuum. Then we analyze the ultimate bounds on the phase sensitivity of an interferometer, given the constraint that the state input to the interferometer's initial 50:50 beam splitter B is a product state of the two input modes. Requiring a product state is a natural restriction: if one were allowed to input an arbitrary, entangled two-mode state ∣Ξ⟩ to the beam splitter, one could generally just as easily input the state B∣Ξ⟩ directly into the two modes after the beam splitter, thus rendering the beam splitter unnecessary. We find optimal states for a fixed photon number and for a fixed mean photon number. Our results indicate that entanglement is not a crucial resource for quantum-enhanced interferometry. Initially the analysis for both of these setups is performed for the idealized case of a lossless interferometer. Then the analysis is extended to the more realistic scenario where the interferometer suffers from photon losses.
If a single-mode nonclassical light is combined with the vacuum on a beam splitter, then the output state is entangled. As proposed in [Phys. Rev. Lett. 94, 173602 (2005)], by measuring this output-state entanglement for a balanced lossless beam splitter, one can quantify the input-state nonclassicality. These measures of nonclassicality (referred to as entanglement potentials) can be based, in principle, on various entanglement measures, leading to the negativity (NP) and concurrence (CP) potentials, and the potential for the relative entropy of entanglement (REEP). We search for the maximal relative nonclassicality, which can be achieved by comparing two entanglement measures for (i) arbitrary two-qubit states and (ii) those which can be generated from a photon-number qubit via a balanced lossless beam splitter, where the qubit basis states are the vacuum and single-photon states. Surprisingly, we find that the maximal relative nonclassicality, measured by the REEP for a given value of the NP, can be increased (if NP<0.527) by using either a tunable beam splitter or by amplitude damping of the output state of the balanced beam splitter. We also show that the maximal relative nonclassicality, measured by the NP for a given value of the REEP, can be increased by phase damping (dephasing). Note that the entanglement itself is not increased by these losses (since they act locally), but the possible ratios of different measures are affected. Moreover, we show that partially dephased states can be more nonclassical than both pure states and completely dephased states, by comparing the NP for a given value of the REEP. Thus, one can conclude that not all standard entanglement measures can be used as entanglement potentials. Alternatively, one can infer that a single balanced lossless beam splitter is not always transferring the whole nonclassicality of its input state into the entanglement of its output modes. The application of a lossy beam splitter can solve this problem, at least for the cases analyzed in this paper.
If a single-mode nonclassical light is combined with the vacuum on a beam splitter, then the output state is entangled. As proposed in [Phys. Rev. Lett. 94, 173602 (2005)], by measuring the output-state entanglement for a balanced lossless beam splitter, one can quantify the input-state nonclassicality. These measures of nonclassicality (referred to as entanglement potentials) can be based, in principle, on various entanglement measures, leading to the negativity (NP) and concurrence (CP) potentials, and the potential for the relative entropy of entanglement (REEP). We search for the maximal nonclassicality, which can be achieved by comparing two entanglement measures for arbitrary two-qubit states and those which can be generated from a photon-number qubit via a balanced lossless beam-splitter, where the qubit basis states are the vacuum and single-photon states. Surprisingly, we find that the maximal nonclassicality, measured by the REEP for a given value of the NP, can be increased (if NP<0.527) by using either a tunable beam splitter or by amplitude damping of the output state of the balanced beam splitter. We also show that the maximal nonclassicality, measured by the NP for a given value of the REEP, can be increased by dephasing. The entanglement itself is not increased by these local losses, but the possible ratios of different measures are affected. Moreover, we show that partially-mixed states can be more nonclassical than both pure states and completely-mixed states, by comparing the NP for a given value of the REEP. This implies that not all entanglement measures can be used as entanglement potentials. Alternatively, a single balanced lossless beam splitter is not always transferring the whole nonclassicality of its input state into the entanglement of its output modes. Applying a lossy beam splitter can solve this problem at least for the cases analyzed in this paper.
The main topic of this thesis is the proof of two fundamental entropic inequalities for quantum Gaussian channels. Quantum Gaussian channels model the propagation of electromagnetic waves through optical fibers and free space in the quantum regime, and provide the mathematical model to determine the maximum rates achievable by quantum communication devices for communication and quantum key distribution. The first inequality proven in this thesis is the quantum Entropy Power Inequality, which provides a lower bound to the output entropy of the beam-splitter or of the squeezing in terms of the entropies of the two inputs. The second inequality states that Gaussian states minimize the output entropy of the one-mode quantum Gaussian attenuator among all the input states with a given entropy, and was a longstanding conjecture in quantum communication theory. The generalization of this inequality to the multimode attenuator would determine its triple trade-off region and its capacity region for broadcast communication to two receivers. The thesis contains further results in Gaussian quantum information, quantum statistical mechanics and relativistic quantum information. The most important of these results concerns the Eigenstate Thermalization Hypothesis (ETH). The ETH is an assumption in quantum statistical mechanics stating that the eigenstates of the Hamiltonian of a system+bath compound look as thermal states if we can access only the system. We prove that the ETH must hold if the system thermalizes for any initial product state of the system+bath compound with a well-defined temperature.