Temporal quantum states generalize the multipartite density operator formalism to the time domain, enabling a unified treatment of quantum systems with both timelike and spacelike correlations. Despite a growing body of temporal state formalisms, their precise operational relationships and conceptual distinctions remain unclear. In this work, we resolve this issue by extending the Kirkwood-Dirac (KD) quasiprobability distribution to arbitrary multi-time quantum processes and, more broadly, to general spatiotemporal settings. We define left, right, and doubled temporal KD quasiprobabilities, together with their real components, which we identify as temporal Margenau-Hill (MH) quasiprobabilities. All of these quantities are experimentally accessible through interferometric measurement schemes. By characterizing their nonclassical features, we show that the generalized KD framework provides a unified operational foundation for a wide class of temporal state approaches and can be directly implemented via temporal or spatiotemporal Bloch tomography.
Temporal quantum states generalize the multipartite density operator formalism to the time domain, enabling a unified treatment of quantum systems with both timelike and spacelike correlations. Despite a growing body of temporal state formalisms, their precise operational relationships and conceptual distinctions remain unclear. In this work, we resolve this issue by extending the Kirkwood-Dirac (KD) quasiprobability distribution to arbitrary multi-time quantum processes and, more broadly, to general spatiotemporal settings. We define left, right, and doubled temporal KD quasiprobabilities, together with their real components, which we identify as temporal Margenau-Hill (MH) quasiprobabilities. All of these quantities are experimentally accessible through interferometric measurement schemes. By characterizing their nonclassical features, we show that the generalized KD framework provides a unified operational foundation for a wide class of temporal state approaches and can be directly implemented via temporal or spatiotemporal Bloch tomography.
The Kirkwood–Dirac (KD) quasiprobability distribution describes any quantum state with respect to the eigenbases of two incompatible observables. While the KD quasiprobability distribution behaves similarly to a classical probability distribution, it can take on negative or nonreal values. Recently, the framework of the temporal Kirkwood–Dirac quasiprobability distribution has been proposed, generalizing the KD quasiprobability distribution to arbitrary multi-time quantum processes. In this work, we specifically focus on the temporal KD quasiprobability distribution within the context of two-time dynamics. We begin by constructing a nonclassicality measure derived from the real and imaginary parts of the temporal KD quasiprobability distribution. Next, we establish two uncertainty relations closely linked to this nonclassicality measure, one of which shows that the nonclassicality measure is bounded below by the measurement disturbance caused by the first measurement. Finally, we elucidate the relationships among temporal KD nonclassicality, the spatiotemporal Born rule, and spatiotemporal compatibility.
The notion of a spatiotemporal quantum state extends the conventional concept of a spatial quantum state to the spatiotemporal domain. Such states are represented by unit-trace operators that encode correlations among quantum events distributed across space and time. In this work, we use the spatiotemporal Kirkwood-Dirac phase space to provide a unified characterization of spatiotemporal quantum states. Spatiotemporal states obtained from Kirkwood-Dirac distributions are generally non-Hermitian and nonnormal; whereas those constructed from Margenau-Hill distributions are Hermitian. We provide a unification via (quasi)probabilistic mixture of Kirkwwod-Dirac spatiotemporal states which encompasses almost all existing formulations of spatiotemporal quantum states. We derive recursive expressions for spatiotemporal states and elucidate the relation between Kirkwood-Dirac nonclassicality and the temporality of spatiotemporal states. We further extend the construction to many-fold correlation functions and establish its connection with out-of-time-ordered correlators (OTOCs). We also develop a more general unifying framework based on (quasi)probabilistic mixture of s-parametrized spatiotemporal states and establish their Petz time reversal and application in studying Kubo-Martin-Schwinger (KMS) condition in two-time setting. Finally, we apply this framework to characterize quantum entanglement in spacetime and analyze spatiotemporal entanglement using several complementary entropy measures.
The theory of quantum states over time extends the density operator formalism into the temporal domain, providing a unified treatment of timelike and spacelike separated systems in quantum theory. Although recent results have characterized quantum states over time involving two timelike separated systems, it remains unclear how to consistently extend the notion of quantum states over time to multipartite temporal scenarios, such as those considered in studies of Leggett-Garg inequalities. In this Letter, we show that two simple assumptions uniquely single out the Markovian multipartite extension of bipartite quantum states over time, namely, linearity in the initial state and a quantum analog of conditionability for multipartite probability distributions. As a direct consequence of our result, we establish a canonical correspondence between multipartite quantum states over time and Kirkwood-Dirac type quasiprobability distributions, which we show opens up the possibility of experimentally verifying the temporal correlations encoded in quantum states over time via the recent experimental technique of simulating quasiprobability known as quantum snapshotting.
Quantum tomography is a cornerstone of quantum information science, enabling the reconstruction of states and channels from experimental data. Here we introduce a new paradigm, temporal state tomography (TST), for reconstructing quantum processes across multiple times. Our approach is based on temporal quasiprobability distributions (TQDs), which, in the informationally complete setting, provide a complete description of multi-time quantum processes and uniquely determine temporal states. We formulate TST as a unified framework for reconstructing both density operators and quantum channels within a single scheme. We show that any TQD can be obtained via classical post-processing of measurement outcomes generated by a fixed set of quantum instruments, thereby establishing a direct operational route to accessing TQDs experimentally. For informationally complete TQDs, the associated temporal state can be reconstructed via a temporal Bloch-type representation. Leveraging this correspondence, we derive the sample complexity of TST, thereby quantifying its statistical efficiency.
Quantum theory is fundamentally different from its classical counterpart. This difference has led to striking new insights in the foundations of physics and the theories of computation and information. Nevertheless, characterising the difference between classical and quantum theory has proven to be a difficult problem. In this thesis, I present my progress towards a general solution for this open problem. My main tool is the Kirkwood-Dirac (KD) quasiprobability distribution. The KD distribution provides an alternative description of quantum states, operations and measurements in terms of quasiprobability distributions. The KD quasiprobability distribution obeys all properties of probability distributions except that its values may, in general, lie in the complex unit disc instead of the interval [0,1]. For some experiments, however, all associated KD distributions are genuine probability distributions. For such `KD-positive’ states, operations and measurements, the KD distribution enables the construction of a classical model. The absence of such a construction can provide a natural criterion for the definition of the quantum-classical boundary. In the first part of my thesis, I present my results on the mathematical structure of the KD distribution. I summarise previous literature, and prove several new results, including a proof that the set of KD-positive states is almost always minimal, which was published in Physical Review A; novel bounds on the entries of the KD distribution and KD nonpositivity, a measure of how far a KD distribution is from being positive; and the construction of exotic states, mixed KD-positive states that cannot be written as the convex combination of pure KD-positive states, for Hilbert spaces of any odd dimension. These results lay the foundation for the objective of the remainder of this thesis: the application of the KD distribution in quantum foundations, computation and information. In the foundational setting, I study contextuality, a notion of nonclassicality often used in quantum foundations. An experiment is contextual if it is impossible to describe its indistinguishable procedures identically classically. I design an experiment that is contextual if and only if the input state of the experiment is not KD-positive. By analysing this connection with respect to the aforementioned exotic states, I obtain a quantum protocol that allows an experimenter to verify contextuality using a noncontextual experiment, thereby uncovering a previously unknown feature of contextuality. This section of the thesis is based on my publication in Physical Review A `Verification of contextuality by noncontextual experiments’ KDContextualityPaper. In the computational setting, I study the Delfosse-Guerin-Bian-Raussendorf (DGBR) model of quantum computation with a restricted set of input states. For certain sets of input states, this model is computationally as powerful as a universal quantum computer. However, for other sets of input states, this model is efficiently simulable on a classical computer and thus cannot be as powerful as a universal quantum computer, unless quantum computers offer no advantage over their classical counterparts. I prove that if all states in the set of input states are KD-positive, then the DGBR model is classically efficiently simulable. In this setting, some exotic states are bound-magic states, magic states that are nevertheless simulable input states in the DGBR model. I use my previous work on exotic states to construct the first bound-magic states on qubits. Furthermore, I show that KD nonpositivity is a resource monotone for quantum computation, establishing KD nonpositivity as a necessary resource for quantum computational advantage. This section of the thesis is based on my article `Kirkwood-Dirac nonpositivity is a necessary resource for quantum computing’, which has been accepted for publication in Physical Review Letters. In the information-theoretical setting, I study the uncertainty principle. In modern quantum information theory, the uncertainty principle is formulated as an `entropic lower bound’ on the sum of the entropies of the outcome distributions of two observables. I extend the definition of the standard entropic functions to the KD distribution and the Margenau-Hill (MH) distribution, which is the real part of the KD distribution. I introduce the MH Shannon entropy and the KD Rényi entropy, and establish their basic properties. For the MH Shannon entropy, I prove a generalised subadditivity relation, which yields a state-dependent entropic uncertainty relation that strengthens the previous best bound in most regimes and implies the finite-dimensional analogue of the Van Herstraeten--Cerf conjecture. For the KD Rényi entropy, I prove an entropic uncertainty relation strengthening the Maassen--Uffink bound, in which the KD nonpositivity appears as an additive correction. This yields a new interpretation of KD nonpositivity as a measure of quantum uncertainty, as well as a new entropic witness of KD positivity. Applying these results to cryptographic games, I show that KD nonpositivity is the key resource governing the optimal strategy in each case. This section is based on my article `Kirkwood-Dirac nonpositivity is sufficient for quantum uncertainty'. These results demonstrate that the KD distribution provides an effective formulation of quantum theory for studying the quantum-classical boundary in various settings. My work establishes explicit connections between the KD distribution and quantum foundations, computation, and information, opening up these fields to be studied using the extensive KD toolkit.
Abstract The question of when the Kirkwood-Dirac (KD) quasiprobability serves as the most appropriate description for quantum measurements has remained unresolved, particularly across different measurement strengths. While known to generate anomalous weak values in the weak measurement regime and to reduce to classical probabilities under projective measurement, the physical mechanism governing its continuous transformation has been lacking. Here we demonstrate that the KD quasiprobability provides a general framework for all measurement regimes by identifying pointer-induced decoherence as the universal mechanism controlling this transition. We show that the decoherence factor F ( t ) simultaneously quantifies the loss of quantum coherence and interpolates the measurement strength from weak to strong. Within this framework, the KD quasiprobability naturally deforms from its full complex form—governing weak values—to the real, non-negative Wigner formula describing projective measurements, while maintaining informational completeness throughout the transition. Our work resolves the fundamental question of the KD distribution’s applicability by establishing it as the unified framework that seamlessly connects weak and strong measurement regimes through a physically transparent decoherence pathway.