Two-Time Pseudo-Density Operator

• The Two-Time Pseudo-Density Operator is a Hermitian, unit-trace operator representing quantum correlations between two sequential events, with non-positivity reflecting causality.
• It is constructed by symmetrizing the Jamiołkowski operator with an initial state, ensuring each one-time marginal is an ordinary density matrix while capturing two-time correlators.
• The formalism bridges spatial and temporal correlations through partial transposition, enabling insights into process tomography, causality, and entanglement in quantum systems.

A two-time pseudo-density operator is a Hermitian, unit-trace operator that represents quantum correlations between an earlier and a later event in a sequential measurement process. It is the temporal analogue of a bipartite density operator, except that positivity is not required: each one-time marginal is an ordinary density matrix, but the joint two-time object can have negative eigenvalues. In the qubit literature the same construction is often called a pseudo-density matrix, and in more general finite-dimensional settings it coincides with the canonical state over time $\mathcal E\star\rho=\frac12\{\rho\otimes\mathds 1_B,\mathscr J[\mathcal E]\}$. Recent work has sharpened its interpretation by showing that the partial transpose of any bipartite density operator is always a two-time pseudo-density operator, so that partial transposition can be understood as a mathematically precise conversion of spatial correlations into temporal correlations—a “space-time swap” (Fullwood, 2023, Fullwood et al., 2024, Fullwood et al., 17 Aug 2025).

1. Formal definition and state-over-time viewpoint

In the state-over-time approach, a pseudo-density operator is defined on a tensor-product algebra $A=A_0\otimes\cdots\otimes A_n$. A self-adjoint element $\tau\in A$ is a pseudo-density operator with respect to this factorization if and only if, for every $i\in\{0,\dots,n\}$, the corresponding partial trace is an ordinary density matrix. Because all marginals have unit trace, $\tau$ itself also has unit trace. The decisive departure from standard density operators is that $\tau$ need not be positive (Fullwood, 2023).

For the two-time case, the basic construction associates a single operator to a process $(\rho,\mathscr E)$ consisting of an initial state and a quantum channel. With $\mathscr J[\mathscr E]$ the Jamiołkowski operator of the channel, the two-time pseudo-density operator is

$(\rho,\mathscr E)=\frac12\Big((\rho\otimes \mathds{1})\mathscr J[\mathscr E]+\mathscr J[\mathscr E](\rho\otimes \mathds{1})\Big).$

The same formula appears in the canonical-state-over-time literature as

$\mathcal E\star\rho=\frac12\{\rho\otimes\mathds 1_B,\mathscr J[\mathcal E]\}.$

This symmetrized form is the quantum analogue of a classical joint distribution built from a prior state and a transition rule, but quantum temporality breaks the classical equivalence between static and dynamical descriptions. The pseudo-density operator therefore functions as a “state over time” rather than as an ordinary state at one time (Fullwood, 2023, Fullwood et al., 2024).

This viewpoint was developed in response to the observation, emphasized in work associated with Fitzsimons, Jones and Vedral, that a quantum process should be representable by a single operator carrying both the endpoint states and the correlations between them. The resulting object is density-matrix-like in its marginals and trace, but its non-positivity records specifically temporal structure (Fullwood, 2023).

2. Sequential measurement construction and operator representation

The operational core of the two-time pseudo-density operator is a sequential measurement experiment. In a two-point sequential measurement scenario, Alice prepares a state $A=A_0\otimes\cdots\otimes A_n$0, measures a Pauli observable $A=A_0\otimes\cdots\otimes A_n$1, sends the post-measurement system through a channel $A=A_0\otimes\cdots\otimes A_n$2, and Bob measures $A=A_0\otimes\cdots\otimes A_n$3. If $A=A_0\otimes\cdots\otimes A_n$4 are the projectors onto the $A=A_0\otimes\cdots\otimes A_n$5 eigenspaces of $A=A_0\otimes\cdots\otimes A_n$6, the two-time correlator is

$A=A_0\otimes\cdots\otimes A_n$7

Because Pauli operators form an orthogonal basis, there is a unique operator $A=A_0\otimes\cdots\otimes A_n$8 such that

$A=A_0\otimes\cdots\otimes A_n$9

That operator is the pseudo-density operator, given by

$\tau\in A$0

with $\tau\in A$1 (Fullwood et al., 17 Aug 2025).

In finite dimensions, this representation has a sharp domain of validity. There is no general operator $\tau\in A$2 such that $\tau\in A$3 for all observables $\tau\in A$4: a no-go theorem shows that the two-time expectation function is not universally bilinear in the first argument. The obstruction is removed by restricting earlier-time observables to the maximal class of light-touch observables, whose spectrum is either $\tau\in A$5 or $\tau\in A$6. For that class, there exists a unique operator representation, and the representing operator is exactly the canonical state over time

$\tau\in A$7

Pauli observables are the canonical qubit example, so the original pseudo-density-matrix formalism is recovered as a special case of a more general operator representation theorem (Fullwood et al., 2024).

The two-time pseudo-density operator is therefore not merely a formal rewriting of a channel-state pair. It is the unique operator reproducing the experimentally defined two-time correlators for the relevant class of earlier-time observables.

3. Structural properties, marginals, and non-positivity

The standard structural properties are fixed across the literature: a pseudo-density operator is Hermitian, has unit trace, and has ordinary density-matrix marginals, but it need not be positive semidefinite. Negative eigenvalues are not treated as defects of the formalism. Rather, they are interpreted as signatures of temporal quantum correlations or, in the state-over-time language, of correlations that imply causation (Marletto et al., 2019, Fullwood, 2023).

A basic qubit example is the two-time operator

$\tau\in A$8

Its marginals are both maximally mixed,

$\tau\in A$9

but $i\in\{0,\dots,n\}$0 is not positive: the singlet state is an eigenstate with eigenvalue $i\in\{0,\dots,n\}$1. The point of the example is that labels $i\in\{0,\dots,n\}$2 need not denote two spatial subsystems; they can denote two times of the same system. The resulting operator looks density-matrix-like while encoding time-ordered correlations that no ordinary density operator can capture (Marletto et al., 2019).

The same phenomenon persists beyond qubits. For a qutrit process with $i\in\{0,\dots,n\}$3 and $i\in\{0,\dots,n\}$4, the canonical state over time is a $i\in\{0,\dots,n\}$5 operator with eigenvalues

$i\in\{0,\dots,n\}$6

illustrating again that non-positivity is expected rather than exceptional (Fullwood et al., 2024).

A related quantitative witness is the PDM negativity or causal monotone

$i\in\{0,\dots,n\}$7

If $i\in\{0,\dots,n\}$8 has negative eigenvalues, then $i\in\{0,\dots,n\}$9. This supplies a compact diagnostic of temporality within the PDM formalism (Liu et al., 2023).

4. Partial transpose theorem and the space-time swap

The strongest recent interpretation of the two-time pseudo-density operator comes from the partial transpose theorem. For any bipartite density operator $\tau$0, there exists a quantum channel $\tau$1 such that

$\tau$2

where $\tau$3 and $\tau$4 is the complex-conjugate channel. If $\tau$5 is full rank, the channel $\tau$6 is unique. Thus the partial transpose of a bipartite state is always a two-time pseudo-density operator for some sequential measurement process (Fullwood et al., 17 Aug 2025).

This theorem makes precise the idea of a space-time swap. The ordinary bipartite state $\tau$7 describes correlations across space, while $\tau$8 or $\tau$9 reinterprets the same correlation data as arising from a causal sequence in which Alice measures first and Bob measures later after a channel. For Pauli observables,

$\tau$0

and analogously for $\tau$1. Partial transposition is therefore not merely an algebraic operation on matrix entries; it maps a spatial description into a temporal one (Fullwood et al., 17 Aug 2025).

The theorem also recasts the Peres-Horodecki criterion. If $\tau$2, then the pseudo-density operator obtained by the space-time swap is itself positive, so the correlations admit both a spatial and a temporal description. Such PPT states are described as dual states. Conversely, a negative partial transpose corresponds to temporal correlations that cannot be modeled by ordinary spacelike-separated quantum systems (Fullwood et al., 17 Aug 2025).

The Bell-state example makes the point sharply. A maximally entangled two-qubit state written as

$\tau$3

violates the CHSH inequality with the value $\tau$4 for a standard choice of observables $\tau$5. After partial transpose, the operator $\tau$6 yields the same CHSH-type value,

$\tau$7

but now the interpretation is temporal rather than spacelike. In particular, the resulting two-time operator has a negative eigenvalue, so its correlations cannot be realized by any ordinary spacelike-separated pair of qubits. The Bell-violating nonlocality of the original state is thus converted into Bell-violating causal correlations (Fullwood et al., 17 Aug 2025).

The same work proposes a geometric reading: $\tau$8 and $\tau$9 can be viewed as reflections about future or past light cones of an auxiliary system, or equivalently as a rotation of light-cone structure. The black-hole analogy is presented cautiously: because Schwarzschild geometry interchanges the roles of space and time inside the horizon, a partial transpose is suggested as a quantum-mechanical analogue of that interchange (Fullwood et al., 17 Aug 2025).

5. Relation to multiple-time states, process matrices, and transition matrices

The two-time pseudo-density operator sits within a broader family of spatiotemporal state formalisms. One major unification result shows that operational scenarios underlying two-time states can be represented as PDMs, and that this representation preserves the relevant probabilities. Since earlier work had already mapped bipartite process matrices to bipartite two-time states, the new mapping yields a route from process matrices with measurements to PDMs. The consequence is that PDMs can, like process matrices, model indefinite causal order (Liu et al., 2023).

Operationally, the mapping proceeds by representing a pre-/post-selected two-time scenario as a three-time or multi-time PDM whose trace reproduces the same outcome statistics as the ABL-style probability rule of the two-time-state formalism. For ensembles of pure two-time states, the corresponding PDM is obtained by linear mixing. The relation is therefore one of statistical equivalence for operationally realized scenarios, not of complete conceptual identity: the PDM still uses definite measurement times, while the process-matrix formalism is aimed at the absence of a global causal order (Liu et al., 2023).

A distinct but nearby construction is the reduced transition matrix

$(\rho,\mathscr E)$0

which underlies pseudoentropy and pseudo-Rényi entropy. Unlike the two-time pseudo-density operator, this object is generally non-Hermitian. Its reduced form $(\rho,\mathscr E)$1 supports entropic quantities such as

$(\rho,\mathscr E)$2

and is related by an operator sum rule to reduced density matrices of superposition states (Guo et al., 2023).

A closely related interpretation appears when the time evolution operator is treated as a density-operator-like object and projected onto an initial state. In that setting, the projected time evolution operator becomes essentially the reduced transition matrix of pseudo-entropy for the pair $(\rho,\mathscr E)$3. This motivates a two-time pseudo-density-operator viewpoint based on initial and final time slices, but the resulting entropy is generically complex, reflecting the non-Hermitian character of the transition-matrix framework (Narayan et al., 2023).

The key distinction is therefore structural: the two-time pseudo-density operator is a Hermitian state-over-time object designed to encode sequential correlations, whereas transition-matrix and pseudoentropy constructions are non-Hermitian generalizations built from off-diagonal amplitudes between two states.

6. Applications, simulations, and conceptual significance

An important application arises in chronology-violating scenarios. In the open-timelike-curve setting studied with three qubits $(\rho,\mathscr E)$4, the chronology-violating region is modeled by the pseudo-density operator

$(\rho,\mathscr E)$5

with $(\rho,\mathscr E)$6. Its marginals are chosen so that $(\rho,\mathscr E)$7 and $(\rho,\mathscr E)$8 are maximally entangled before the curve, $(\rho,\mathscr E)$9 and $\mathscr J[\mathscr E]$0 are maximally entangled after it, and $\mathscr J[\mathscr E]$1 and $\mathscr J[\mathscr E]$2 behave as the same qubit at two times. Because the two-time correlation operator $\mathscr J[\mathscr E]$3 is temporal rather than spatial, the model allows violations of entanglement monogamy that ordinary density matrices cannot represent (Marletto et al., 2019).

The same work gives an optical simulation with polarization-entangled photons and reports what it describes as the first tomographic reconstruction of a PDO. The reconstructed physical marginals agree well with theory, with fidelities approximately

$\mathscr J[\mathscr E]$4

The experiment is explicitly a simulation rather than a literal realization of time travel, but it demonstrates that PDO tomography is operationally meaningful even when ordinary state tomography must be modified because sequential measurement disturbance matters (Marletto et al., 2019).

Across these applications, the two-time pseudo-density operator serves a consistent interpretive role. It unifies spatially separated subsystems, temporally separated events, and mixed spacetime scenarios within a single operator formalism, while treating negativity as evidence that the relevant correlations are genuinely temporal. A plausible implication is that the formalism is best understood not as an extension of mixed-state ontology, but as a representation theory for quantum correlations when the tensor factors denote events in time as well as systems in space. In that sense, the two-time pseudo-density operator is the basic state-like object for temporal quantum correlations, just as the density operator is the basic state-like object for spatial ones (Marletto et al., 2019, Fullwood, 2023, Fullwood et al., 17 Aug 2025).