We present a method to systematically identify and classify quantum optical nonclassical states as classical or nonclassical based on the resources they create on a bosonic quantum computer. This is achieved by converting arbitrary bosonic states into multiple modes, each occupied by a single photon, thereby defining qubits of a bosonic quantum computer. Starting from a bosonic classical-like state in a representation that explicitly respects particle number superselection rules, we apply universal gates to create arbitrary superpositions of states with the same total particle number. The nonclassicality of the corresponding states can then be associated with the operations they induce in the quantum computer. We also provide a correspondence between the adopted representation and the more conventional one in quantum optics, where superpositions of Fock states describe quantum optical states, and we identify how multimode states can lead to quantum advantage. Our work contributes to establish a seamless transition from continuous to discrete properties of quantum optics while laying the grounds for a description of nonclassicality and quantum computational advantage that is applicable to spin systems as well.
We present a method to systematically identify and classify quantum optical nonclassical states as classical or nonclassical based on the resources they create on a bosonic quantum computer. This is achieved by converting arbitrary bosonic states into multiple modes, each occupied by a single photon, thereby defining qubits of a bosonic quantum computer. Starting from a bosonic classical-like state in a representation that explicitly respects particle number superselection rules, we apply universal gates to create arbitrary superpositions of states with the same total particle number. The nonclassicality of the corresponding states can then be associated with the operations they induce in the quantum computer. We also provide a correspondence between the adopted representation and the more conventional one in quantum optics, where superpositions of Fock states describe quantum optical states, and we identify how multimode states can lead to quantum advantage. Our work contributes to establish a seamless transition from continuous to discrete properties of quantum optics while laying the grounds for a description of nonclassicality and quantum computational advantage that is applicable to spin systems as well.
Since the early days of quantum information science, diverse strategies have been proposed to encode qubits and implement quantum gates across various physical platforms. Modes and bosonic states offer a flexible framework for quantum information processing, from single-photon optics to superconducting circuits, combining massless and massive particles. Universal gate sets have been established for specific encodings—such as those based on Fock states or the field’s quadratures. However, a general framework clarifying how different bosonic resources—such as mode structure, particle-number statistics, Gaussian and non-Gaussian states and operations—combine to enable universality and potential quantum advantage irrespectively of the encoding remains lacking. A main difficulty lies in the coexistence of distinct paradigms that appear to combine loosely in bosonic quantum information: discrete-variable schemes—where information is encoded in qubits or effective finite-dimensional systems—and continuous-variable schemes—which rely on infinite-dimensional Hilbert spaces associated with the field’s quadratures. Despite the success of each approach, they remain seemingly incompatible in many aspects—in particular in terms of physical resource analysis for universality—due to their underlying mathematical differences. In this work, we apply a superselection-rule-compliant framework for bosonic quantum information that unifies these paradigms. This representation explicitly incorporates the phase reference and enforces total particle number conservation, allowing for a consistent treatment of bosonic quantum information protocols and resources across both discrete and continuous regimes. We derive necessary and sufficient conditions expressed in terms of Gaussian and non-Gaussian resources for universality that apply to any encoding, without resorting to specific mappings. Our results show that continuous variable encodings are not fundamentally distinct from discrete ones, but rather emerge as subspaces within a general bosonic structure. Importantly, in such a widely studied framework, non-Gaussian properties of bosonic states and operations can be washed out, providing evidence that the continuous variables regime is not the most suitable to fully assess the quantum properties of bosons.
Bosonic systems, particularly in quantum optics and atomic physics, are leading platforms for achieving quantum enhanced precision in parameter estimation. By exploiting properties such as mode and particle entanglement, it is possible to attain precisions that surpass the shot noise limit with respect to key resources like probe number or energy. Yet the mechanisms by which these bosonic resources enable quantum enhancement remain unclear. Consequently, the design of optimal probes and evolutions often relies on case by case analyses, where continuous and discrete variable regimes are treated separately and their connection is still unclear. We develop a comprehensive framework for quantum metrology that unifies all known precision enhancement mechanisms based on bosonic systems. Our approach employs a superselection rule compliant representation of the electromagnetic field that explicitly includes the phase reference, thereby enforcing total particle number conservation and bridging the discrete and continuous limits of quantum optics and symmetric massive systems. Within this unified formalism, of which established results emerge as special cases, we identify the distinct roles of mode and particle entanglement for quantum enhanced precision. The framework further provides general measurement optimization strategies for arbitrary multimode entangled probe states and naturally incorporates noise and non-unitary dynamics, ensuring applicability to realistic experimental conditions.
We introduce a framework for simulating quantum optics by decomposing the system into a finite rank (number of terms) superposition of coherent states. This allows us to define a resource theory, where linear optical operations are “free” (i.e., do not increase the rank), and the simulation complexity for an m -mode system scales quadratically in m , in stark contrast to the Hilbert space dimension. We outline this approach explicitly in the Fock basis, relevant in particular for Boson sampling, where the simulation time (space) complexity for computing output amplitudes, to arbitrary accuracy, scales as O ( m 2 2 n ) [ O ( m 2 n )] for n photons distributed among m modes. We additionally demonstrate that linear optical simulations with the n photons initially in the same mode scales efficiently, as O ( m 2 n ). This paradigm provides a practical notion of “non-classicality,” i.e., the classical resources required for simulation. Moreover, by making connections to the stellar rank formalism, we show this comes from two independent contributions, the number of single-photon additions and the amount of squeezing.
Nonclassicality, defined in the quantum optical sense, serves as a resource for photon-based quantum technologies. Therefore, certifying the nonclassicality of a quantum state is crucial for gauging its potential for quantum advantage. However, traditional nonclassicality witnesses that assume perfect knowledge of the witness observables often fail in realistic scenarios with limited statistics and finite-resolution photon detectors. Furthermore, these witnesses do not exploit the fact that certain states are unlikely to be observed in a given experiment. Here, we train a variational model to distinguish classical from nonclassical states using finitely many measurement samples of multimode quantum states that are probed with different photon-number-resolving detection schemes. The learned decision rule is then an indicator of nonclassicality, tailored to a given set of physically relevant states. Our approach is both data-driven and interpretable in the sense that the learned analytical decision rule can be extracted. Training the model on experimental data measured with (i) a superconducting nanowire single-photon detector and (ii) a time-bin multiplexing detection scheme demonstrates the versatility of the approach, paving the way for efficient nonclassicality detection.
Nonclassical states of light and their correlations lie at the heart of quantum optics, serving as fundamental resources that underpin both the exploration of quantum phenomena and the realisation of quantum information protocols. These lecture notes provide an accessible yet rigorous introduction to the foundations of quantum optics, emphasising their relevance to quantum information science and technology. Starting from the quantisation of the electromagnetic field and the bosonic formalism of Fock space, the notes develop a unified framework for describing and analysing quantum states of light. Key families of states -- thermal, coherent, and squeezed -- are introduced as paradigmatic examples illustrating the transition from classical to nonclassical behaviour. The concepts of convexity, classicality, and quasiprobability representations are presented as complementary tools for characterising quantumness and defining operational notions such as P-nonclassicality. The discussion extends naturally to Gaussian states, composite systems, and continuous-variable entanglement, highlighting how nonclassicality serves as a resource for generating and quantifying quantum correlations. Theoretical developments are complemented by computational and experimental perspectives, including simulations of optical states using the Python library Strawberry Fields and data analysis from simulated data. Together, these notes aim to bridge the foundational concepts of quantum optics and modern quantum information, offering both conceptual insight and practical tools for students and researchers entering the field.
If suitable quantum optical interactions were available, transforming the field mode operators in a nonlinear fashion, the all-photonics platform could be one of the strongest contenders for realizing a quantum computer. While single-photon qubits may be processed directly, “brighter” logical qubits may be embedded in individual oscillator modes, using so-called bosonic codes, for an in-principle fault-tolerant processing. In this paper, we show how elements of all-optical, universal, and fault-tolerant quantum computation can be implemented using only beam splitters together with single-mode cubic phase gates in reasonable numbers, and possibly off-line squeezed-state or single-photon resources. Our approach is based on a decomposition technique combining exact gate decompositions and approximate Trotterization. This allows for efficient decompositions of certain nonlinear continuous-variable multimode gates into the elementary gates, where the few cubic gates needed may even be weak or all identical, thus facilitating potential experiments. The final gate operations include two-mode controlled phase rotation and three-mode Rabi-type Hamiltonian gates, which are shown to be employable for realizing high-fidelity single-photon two-qubit entangling gates or creating high-quality Gottesman-Kitaev-Preskill states. We expect our method to be of general use with various applications, including those that rely on quartic Kerr-type interactions. Published by the American Physical Society 2024