The use of quantum information in technology promises to supersede the so-called classical devices used nowadays. Understanding what features are inherently non-classical is crucial for reaching better-than-classical performance. This thesis focuses on two nonclassical behaviours: quantum contextuality and Wigner negativity. The former is a notion superseding nonlocality that can be exhibited by quantum systems. To date, it has mostly been studied in discrete-variable scenarios. In those scenarios, contextuality has been shown to be necessary and sufficient for advantages in some cases. On the other hand, negativity of the Wigner function is another unsettling non-classical feature of quantum states that originates from phase-space formulation in continuous-variable quantum optics. Continuous-variable scenarios offer promising candidates for implementing quantum computations. Wigner negativity is known to be a necessary resource for quantum speedup with continuous variables. However contextuality has been little understood and studied in continuous-variable scenarios. We first set out a robust framework for properly treating contextuality in continuous variables. We also quantify contextuality in such scenarios by using tools from infinite-dimensional optimisation theory. Building upon this, we show that Wigner negativity is equivalent to contextuality in continuous variables with respect to Pauli measurements thus establishing a continuous-variable analogue of a celebrated result by Howard et al. We then introduce experimentally-friendly witnesses for Wigner negativity of single mode and multimode quantum states, based on fidelities with Fock states, using again tools from infinite-dimensional optimisation theory. We further extend the range of previously known discrete-variable results linking contextuality and advantage into a new territory of information retrieval.
The use of quantum information in technology promises to supersede the so-called classical devices used nowadays. Understanding what features are inherently non-classical is crucial for reaching better-than-classical performance. This thesis focuses on two nonclassical behaviours: quantum contextuality and Wigner negativity. The former is a notion superseding nonlocality that can be exhibited by quantum systems. To date, it has mostly been studied in discrete-variable scenarios. In those scenarios, contextuality has been shown to be necessary and sufficient for advantages in some cases. On the other hand, negativity of the Wigner function is another unsettling non-classical feature of quantum states that originates from phase-space formulation in continuous-variable quantum optics. Continuous-variable scenarios offer promising candidates for implementing quantum computations. Wigner negativity is known to be a necessary resource for quantum speedup with continuous variables. However contextuality has been little understood and studied in continuous-variable scenarios. We first set out a robust framework for properly treating contextuality in continuous variables. We also quantify contextuality in such scenarios by using tools from infinite-dimensional optimisation theory. Building upon this, we show that Wigner negativity is equivalent to contextuality in continuous variables with respect to Pauli measurements thus establishing a continuous-variable analogue of a celebrated result by Howard et al. We then introduce experimentally-friendly witnesses for Wigner negativity of single mode and multimode quantum states, based on fidelities with Fock states, using again tools from infinite-dimensional optimisation theory. We further extend the range of previously known discrete-variable results linking contextuality and advantage into a new territory of information retrieval.
One of the central foundational questions of physics is to identify what makes a system quantum as opposed to classical. One seminal notion of classicality of a quantum system is the existence of a non-contextual hidden variable model as introduced in the early work by Bell, Kochen and Specker. In quantum optics, the non-negativity of the Wigner function is a ubiquitous notion of classicality. In this work we establish an equivalence between these two concepts. In particular, we show that any non-contextual hidden variable model for Gaussian quantum optics has an alternative non-negative Wigner function description. Conversely, it was known that the Wigner representation provides a non-negative non-contextual description of Gaussian quantum optics. It follows that contextuality and Wigner negativity are equivalent notions of non-classicality and equivalent resources for this quantum subtheory. In particular, both contextuality and Wigner negativity are necessary for a computational speed-up of quantum Gaussian optics. At the technical level, our result holds true for any subfamily of Gaussian measurements that include homodyne measurements, i.e., measurements of standard quadrature observables.
Negativity of the Wigner function is arguably one of the most striking non-classical features of quantum states. Beyond its fundamental relevance, it is also a necessary resource for quantum speedup with continuous variables. As quantum technologies emerge, the need to identify and characterize the resources which provide an advantage over existing classical technologies becomes more pressing. Here we derive witnesses for Wigner negativity of single mode and multimode quantum states, based on fidelities with Fock states, which can be reliably measured using standard detection setups. They possess a threshold expectation value indicating whether the measured state has a negative Wigner function. Moreover, the amount of violation provides an operational quantification of Wigner negativity. We phrase the problem of finding the threshold values for our witnesses as an infinite-dimensional linear optimisation. By relaxing and restricting the corresponding linear programs, we derive two hierarchies of semidefinite programs, which provide numerical sequences of increasingly tighter upper and lower bounds for the threshold values. We further show that both sequences converge to the threshold value. Moreover, our witnesses form a complete family – each Wigner negative state is detected by at least one witness – thus providing a reliable method for experimentally witnessing Wigner negativity of quantum states from few measurements. From a foundational perspective, our findings provide insights on the set of positive Wigner functions which still lacks a proper characterisation.
Quantum computers promise considerable speedups with respect to their classical counterparts. However, the identification of the innately quantum features that enable these speedups is challenging. In the continuous-variable setting-a promising paradigm for the realization of universal, scalable, and fault-tolerant quantum computing-contextuality and Wigner negativity have been perceived as two such distinct resources. Here we show that they are in fact equivalent for the standard models of continuous-variable quantum computing. While our results provide a unifying picture of continuous-variable resources for quantum speedup, they also pave the way toward practical demonstrations of continuous-variable contextuality and shed light on the significance of negative probabilities in phase-space descriptions of quantum mechanics.
The generation of non-Gaussian states of bosonic systems described by continuous quantum degrees of freedom is of interest in a variety of contexts, ranging from quantum foundations to computation and communication. A crucial feature of genuine non-Gaussian states is that they cannot be described in general with a non-negative Wignerquasi-probability distribution. In particular, this feature is equivalent to contextuality and it underpins all attempts at attaining quantum computational advantage in a universal setting. In this thesis, the generation of Wigner-negative states is addressed, pursuing two approaches. First, in an optomechanical-like setting, we develop schemes to generate Wigner-negative states of two massive mechanical systems, in turn correlated such that they also feature entanglement, another genuine quantum hallmark. These schemes are based on driven-dissipative systems where dissipation is properly engineered by taking advantage of linear-and-quadratic optomechanical interactions. We address the robustness of these schemes when uncontrollable noisy channels are included in the dynamics, proving that their resilience is comparable to Gaussian schemes that have already been implemented experimentally. Second, considering in particular circuit QED systems and trapped ions, we propose a method to engineer a set of Hamiltonian evolutions that are universal in terms of single-mode state preparation. This method is based on a driven quantum Rabi model, where the desired evolution is effectively imprinted on a continuous-variable degree of freedom by its interaction with a properly driven two-level system. We demonstrate the universality of such approach by simulating the generation of multi-squeezed and other states, including the celebrated cubic-phase state. We also consider the effect of noise in realistic settings, showing in particular that in systems involving superconducting qubits, the generation of tri-squeezed states --- a universal resource for continuous-variable quantum computation which we prove to display larger Wigner negativities with respect to Fock and cubic-phase states for the same energy --- is within experimental reach.
The central aim of the thesis is to examine how non-classical resources in finite-dimensional quantum systems can be identified, characterized, and protected for practical use in the presence of realistic noise. Using the discrete Wigner functions (DWFs) framework, we introduce negative quantum states and examine how their Wigner negativity, mana, coherence, and teleportation fidelity evolve under unital and non-unital channels, with particular attention to non-Markovian random-telegraph and amplitude-damping dynamics. We also analyze protection strategies based on weak measurement and quantum measurement reversal, showing that these methods can enhance quantum correlations, reduce fidelity deviation, and improve teleportation performance for two-qubit negative states in memory-bearing environments. Moreover, we demonstrate that certain negative states, derived from phase-space point operators, exhibit greater resilience than Bell states in measures of entanglement under non-Markovian noise. Further, this thesis focuses on developing and implementing quantum circuits for generating these states on superconducting hardware and realizing them for the first time on IBM's ibm-Brisbane device. Their preparation is verified using quantum state tomography, demonstrating high fidelity under realistic noise conditions. We propose a teleportation scheme that leverages one of the two-qubit negative quantum states as a resource. Moreover, these two-qubit negative quantum states are also found to perform better than the Bell states for maximal CHSH violation and Fisher information in noisy conditions. We believe that these negative quantum states have the potential to be used in place of the traditional Bell states in scenarios where non-Markovian errors are prevalent. (continued in the PDF)
An important problem in quantum computation is to characterize the resources required for a computational speedup over classical computation. Veitch et al. showed that one necessary condition for a computational speedup in the model of quantum computation with magic states is that the discrete Wigner function representing the input state of the quantum circuit must take negative values. The amount of negativity in the discrete Wigner function quantifies the complexity of classical simulation of a quantum computation with simulation being efficient if the Wigner function is nonnegative everywhere. In this sense, negativity of the Wigner quasiprobability representation serves as an indicator of quantumness from a computational perspective. However, this result only holds for systems of qudits where the local Hilbert space dimension is odd. The first main result discussed in this thesis relates to a discrete Wigner function suitable for describing quantum computation with magic states defined for any local Hilbert space dimension. When the local Hilbert space dimension is odd it subsumes the standard discrete Wigner function. When the local Hilbert space dimension is even, as a result of state-independent proofs of contextuality among multiqubit (or multi-even-dimensional-qudit) Pauli observables, the phase space over which the Wigner function is defined becomes much larger. However, for systems of qubits, the properties required for simulation of quantum computation with magic states remain. This simulation method effectively extends the result described above for odd-dimensional qudits to qubits. Although in the even-dimensional case the phase space is much larger, points in multiqubit phase space can be characterized and classified and some structure can be imparted on the phase space. The second main result discussed here is a hidden variable model for quantum computation with magic states on qubits. This model is similar in structure to quasiprobability representations like the discrete Wigner function, but unlike those representations the model is capable of representing all elements of any quantum computation---states, operations, and measurements---using only classical probabilities. No negativity is required. This calls into question the role of negativity in quasiprobability representations as an indicator of quantumness for models of quantum computation.