{"id":"b04b14a0-ac23-4f84-9b5c-fd9b039d0c8e","arxiv_id":"2508.20397","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper constructs a spacetime generalization of the density matrix whose full moments are time-independent but whose reduced moments become nontrivial, coupling-sensitive probes of subsystem dynamics.","lead":"Researchers define a 'spacetime density matrix' that encodes correlations between observables on different time slices, generalizing the usual density matrix. It may provide a new diagnostic for how subsystems interact and how entanglement-like information behaves across time.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Moment identities (66)–(67) are the load-bearing link to the spectral and SVD claims, yet they are only illustrated diagrammatically and then analytically continued to n=1/2; an independent algebraic check is needed.","rationale":"The paper's strongest claim, as identified by the reader, is that the operator (9) encodes all two-time correlations and that its moment identities follow. I agree that the construction itself is sound: comparing basis matrix elements in Eqs. (6)-(8) uniquely fixes TC0C1, and the partial-trace relations (13) are direct. The central risk is not the definition but the quantitative structure built on it. Equations (66)-(67) are not proven in the text; they are supported by path-integral diagrams for thermal initial states in Appendix B. Yet they are used to conclude time-independence, positivity of moments, pseudo-Hermiticity of TC0C1, and, through Eq. (69), a constraint on singular values. The move from integer-n identities to n=1/2 is especially delicate and is not justified in the paper. This is a correctness risk rather than a disagreement with consensus, and it is the most load-bearing because the spectral and SVD claims have no other support. The entropy-interpretation issue flagged by the reader is real but explicitly acknowledged by the paper as an open physical-interpretation question, so it is less damaging to the formal claims. I therefore maintain the reader's CONDITIONAL verdict without changing it, while partially disagreeing about which assumption is the weakest.","tokens_in":28041,"tokens_out":5616,"duration_ms":55955,"concrete_test":"Perform an independent algebraic test of Eqs. (66)-(67): for a generic finite-dimensional system, for example d=3, choose a random Hermitian ρ0 and a random unitary U, construct T from Eq. (9), and compute tr(T^2), tr(T^3), tr(T^4), tr(TT†)^2, and the sum of singular values of T. If tr(T^3) differs from Trρ0^3, or tr(TT†)^2 differs from d Trρ0^4, or the singular-value sum differs from d, the moment identities fail. The decisive version is a symbolic index-contraction proof of (66)-(67) directly from Eq. (9) for all positive integers n, followed by a check of whether the n=1/2 identity can be justified without additional assumptions.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The construction of TC0C1 in Eq. (9) is elementary and the defining trace identity (5) is sound: it is a basis-resolved Choi/Jamiolkowski representation of the two-time correlator. The genuinely load-bearing quantitative claims are the moment formulas in Section 3.1. Equations (66) and (67) state that tr(T^n_{C0C1}) is either Trρ0^n or (Trρ0^{n/2})^2 depending on parity, and that tr(TC0C1T†_{C0C1})^n = d Trρ0^{2n}. These formulas are introduced with 'We expect the following results' and Appendix B supplies path-integral diagrams for thermal states, not a general derivation for arbitrary ρ0 and U. The pseudo-Hermiticity inference, the singular-value decomposition discussion, and especially Eq. (69), which sets n=1/2 in (67) and concludes that the sum of singular values equals d, all depend on these identities. But (67) was stated for integer n, and the analytic continuation to n=1/2 is underexplained; the step is formally plausible because TT† is positive, but the identity at half-integer n is not established by the integer-n diagrams. If any one of the moment formulas fails, the eigenvalue constraints (69)-(70) and the claim that the spectral data of TC0C1 reduce to those of ρ0 no longer follow. I do not claim the formulas are false; I claim they are the point where the paper's quantitative conclusions outrun its derivations.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a formalism for a 'spacetime density matrix' TC0C1 acting on H0⊗H1, defined so that tr(TC0C1 O0 O1) reproduces the anti-time-ordered correlator Tr(ρ0 O0 O1(t1)). The main construction is explicit: Eq. (9) gives the operator in a basis, Eq. (10) gives the compact form U†|k⟩⟨l|Uρ0 ⊗ |l⟩⟨k|, and Section 2.1 provides a Schwinger–Keldysh path-integral representation. The paper extends the construction to multiple time slices, introduces reduced transition operators for spacetime subsystems, and proposes Rényi/von Neumann-type entropies for these generally non-Hermitian operators. It derives a Liouville–von Neumann-type equation of motion, studies moments of the full and reduced operators, claims universal time-independent formulas (66)-(67) and universal short-time behavior in Section 3.3, develops a weak-coupling perturbative method, and illustrates the framework on a two-qubit model and on the thermal field double state.","tokens_in":28343,"tokens_out":7337,"duration_ms":66841,"significance":"If the moment formulas were proven, the paper would provide a clean, parameter-free operator formalism with potentially broad diagnostic value: the moments of reduced spacetime density matrices are sensitive to subsystem interactions (Section 3.4), and the path-integral representation in Section 2.1 connects the construction to standard Schwinger–Keldysh techniques. The explicit derivation of TC0C1, the partial-trace consistency relations (13), and the super-operator formulation are genuine strengths, and the two-qubit and TFD examples give concrete, checkable expressions. The quantitative core, however, is not yet at the same standard: the central identities (66)-(67) are presented as expectations supported by low-order path-integral diagrams, and the SVD constraint (69) depends on an unjustified analytic continuation.","major_comments":[{"comment":"The identities (66) and (67) are load-bearing: they underlie the pseudo-Hermiticity statement, the SVD discussion, and the constraint (69)-(70). In the text they are introduced with 'We expect the following results', and Appendix B supplies path-integral diagrams for a thermal initial state at low n rather than a derivation for arbitrary ρ0 and U. Please provide a direct algebraic proof from the explicit form (10), or alternatively state these results as conjectures and remove the spectral and SVD conclusions that depend on them. The n=2 case in (65) is checked, but that does not establish the general integer-n formula.","section":"Section 3.1, Eqs. (66)-(67) and Appendix B"},{"comment":"Equation (69) sets n=1/2 in (67), but (67) was stated for integer n. The step from integer moments to the sum of singular values requires an explicit analytic-continuation argument. Since TT† is positive, tr(TT†)^n = Σ σ_i^{2n} is analytic in n on a right half-plane, so a proof of (67) for all positive integers combined with analyticity of the right-hand side would suffice; the manuscript currently gives neither the continuation argument nor a non-integer proof. As written, the constraint Σ σ_i = d is not established.","section":"Section 3.1, Eq. (69)"},{"comment":"The Rényi and von Neumann entropies of the reduced transition operator are defined by log tr T^n/(1-n) and its n→1 limit for a generally non-Hermitian T. This is a definition imported from the pseudoentropy literature, not a theorem, and the paper itself notes at the end that the physical interpretation of these quantities remains unclear. Please state explicitly that these are formal definitions, specify the branch and domain assumptions needed when the spectrum of T is complex or has non-positive real eigenvalues, and separate the validity of the moment computations from the interpretive claim that they define entanglement entropies for causally connected subregions.","section":"Section 2.3, Eqs. (38)-(39); Section 4"},{"comment":"The short-time expansion results for tr(T^2_A0A1) and tr(T^2_A0\\bar A1) are presented after 'With some calculations' without derivation; these formulas support the claimed universal short-time behavior and the coupling-sensitivity analysis in Section 3.4. Please include the calculation, or at least an appendix outline, so the reader can verify the contractions and the basis dependence. The two-qubit example in Section 3.6.1 provides a consistency check, but only for one Hamiltonian.","section":"Section 3.3.1, Eqs. (88)-(91)"}],"minor_comments":[{"comment":"The displayed formula contains a malformed factor '|⟨ l_{N-2}|U(t_{N-1},t_{N-2})†|k_{N-1}⟩|'; the bra-ket notation should be cleaned up.","section":"Section 2.2, Eq. (25)"},{"comment":"The formula for the von Neumann entropy is misprinted as 'S(TA0A1)=−tr logTA0A1 logTA0A1'; it should read −tr(TA0A1 log TA0A1), and similarly for TA0B1.","section":"Section 3.6.1, equation after (113)"},{"comment":"The initial state is defined as cosθ|01⟩+sinθ|10⟩ in the main text but as sinθ|01⟩+cosθ|10⟩ in Appendix C.1; the displayed second moments are insensitive to this swap, but the explicit matrices (135)-(138) are not. Please align the conventions.","section":"Section 3.6.1 and Appendix C.1"},{"comment":"The sentence 'Fig.19 is an example' in the discussion of tr(TC0C1T†)^2 appears to refer to Fig.22 rather than Fig.19; all figure cross-references should be checked.","section":"Appendix B, figure cross-references"},{"comment":"There are numerous typographical errors, including 'mutiple timeslices' in the heading of Section 2.2, 'expreesion', 'amptitute', 'evlolution', 'inlcude', and 'convinent'; these should be corrected.","section":"Throughout"},{"comment":"The definition of ρ(t1) is garbled in the typesetting and should read ρ(t1) := U(t1,t0) ρ0 U(t1,t0)†.","section":"Section 2, Eq. (13)"}],"recommendation":"major_revision","confidential_remarks":"The main risk is not the basic construction, which is explicit and correct, but the unproven moment identities that drive the spectral and SVD claims. The manuscript would be acceptable after those identities are proved or the claims are appropriately weakened. The dependence on the author's prior work for QFT applications is not circular; the formalism itself is self-contained. The paper is within the scope of the journal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Worth a referee's time. The spacetime density matrix is a genuine object: it is the Choi/Jamiolkowski representation of the two-time correlator, and the paper builds a clean formalism around it—multi-time-slice generalization, superoperator and dual-operator framing, Liouville–von Neumann-type equations, reduced moments, and a perturbative method that is actually usable. The basic partial-trace properties are derived carefully and are correct. The two-qubit and TFD examples are concrete and mostly checkable. I went through the central definition and the low moments by hand; the algebra is sound.\n\nThe soft spots are real but mostly presentation-level. The load-bearing moment formulas (66)–(67) are introduced with \"we expect\" and supported by path-integral diagrams for thermal states, not by a general algebraic proof. That is a gap because the eigenvalue and SVD claims in Section 3.1 rest on those formulas. The claims themselves are true: (12) makes T_C0C1 unitarily equivalent to the equal-time case, and a direct computation for the equal-time operator gives (66)–(67). So the fix is straightforward—add the proof, or at least state the unitary-equivalence argument.\n\nThe n = 1/2 step in (69) is less problematic than it looks. T T^\\dagger is positive, so the half-integer power is defined, and the integer-n identities force the multisets of eigenvalues to match. Still, the paper should say this instead of just taking n → 1/2. Right now the reasoning looks like an unjustified analytic continuation even though it can be made rigorous in one line.\n\nSmaller issues: the von Neumann entropy formula in Section 3.6.1 is mistyped (S = -tr log T log T is not what anyone means), and the author explicitly says at the end that the physical interpretation of the complex entropy-like quantities remains unclear. That honesty is fine, but it should be moved into the body so readers do not mistake pseudoentropy for an established interpretation.\n\nCitation practice is fine; the prior work [5,6] is credited, and the self-citations are to independent results, not used to force the main claims. No fitted parameters, no invented entities.\n\nWho gets value: people working on pseudoentropy, real-time QFT, open systems, and holographic probes of dynamics. The paper deserves a serious referee. I would ask the referee to push for the algebraic proof of the moment identities and clarification of the n = 1/2 step, but I would not desk-reject.","headline":"Sound formalism with true but under-proven moment identities; worth refereeing after the author supplies the missing algebraic proof.","tokens_in":28862,"tokens_out":12409,"would_cite":true,"duration_ms":101076,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper defines the spacetime density matrix: a single operator for each pair of time slices whose trace with two operators reproduces their correlation across times, reducing to the ordinary density matrix as a special case.","keywords":["spacetime density matrix","transition operator","Schwinger-Keldysh path integral","entanglement in time","pseudoentropy","reduced density matrix","short-time expansion","perturbation theory"],"falsifier":"Build $\\mathrm{T}_{C_0C_1}$ by explicit matrix multiplication from Eq. (9) for a small system, say two or three qubits, with a generic Hamiltonian and a non-product initial state, and compute $\\mathrm{tr}(\\mathrm{T}^2_{C_0C_1})$, $\\mathrm{tr}(\\mathrm{T}^3_{C_0C_1})$, and $\\mathrm{tr}(\\mathrm{T}_{C_0C_1}\\mathrm{T}^\\dagger_{C_0C_1})$ at several times $t_1$; the identities (66)–(67) predict the constant values $(\\mathrm{Tr}\\rho_0)^2$, $\\mathrm{Tr}\\rho_0^3$, and $d\\,\\mathrm{Tr}\\rho_0^2$, so any $t_1$-dependence refutes the construction. Separately, expand the exactly computed $\\mathrm{tr}(\\mathrm{T}^2_{A_0A_1})$ in the two-qubit Heisenberg model to first order in $\\delta t$ and check the linear coefficient against $-2i\\,\\delta t\\,\\mathrm{Tr}[(\\rho_0-\\rho_{A_0}\\otimes\\rho_{\\bar{A}_0})H]$.","tokens_in":27795,"feed_emoji":"⏳","tokens_out":19622,"duration_ms":148369,"temperature":0.7,"pith_summary":"The paper sets out to show that the ordinary density matrix, which encodes all information on a single time slice, can be promoted to a spacetime density matrix living on two or more time slices: one operator for each pair of Cauchy surfaces whose trace with any two operators exactly reproduces their (anti-)time-ordered correlation across those surfaces. The construction is explicit and universal — for any initial state and Hamiltonian the operator is written down in Eq. (9), represented as a Schwinger–Keldysh path integral, and shown to obey a Liouville–von Neumann type equation of motion. For subsystems, partial tracing yields reduced spacetime density matrices whose moments are time-dependent, with a universal short-time behavior and a weak-coupling perturbative method developed to compute them; a key finding is that the coupling between subsystems is what makes these moments nontrivial. A sympathetic reader would care because a single-time density matrix cannot see correlations between different times, and this operator gives a concrete, computable probe of dynamics, subsystem interactions, and the proposed notion of entanglement in time.","feed_headline":"One operator now encodes all correlations between two times","feed_subtitle":"The spacetime density matrix captures correlations across time slices and opens a route to entanglement in time.","key_machinery":"The load-bearing object is the spacetime density matrix $\\mathrm{T}_{C_0C_1}$ of Eq. (9), an operator on the doubled Hilbert space whose matrix elements $\\langle l|\\mathrm{U}\\rho_0|i\\rangle\\langle j|\\mathrm{U}^\\dagger|k\\rangle$ are fixed uniquely by the requirement that its trace with $O_0\\otimes O_1$ reproduce the anti-time-ordered correlator $\\mathrm{Tr}(\\rho_0O_0O_1(t_1))$; it generalizes to $N$ slices as $\\mathrm{T}_{C_0C_1\\cdots C_{N-1}}$ and reduces to $\\rho_0$ or $\\rho(t_1)$ when either factor is traced out. The companion mechanism is the super-operator $\\mathcal{T}(O_0\\otimes O_1)=\\mathrm{U}^\\dagger|i\\rangle\\langle j|\\mathrm{U}\\,O_0\\otimes|j\\rangle\\langle i|O_1$, which generates $\\mathrm{T}_{C_0C_1}=\\mathcal{T}(\\rho_0\\otimes I)$, the dual $\\tilde{\\mathrm{T}}_{C_0C_1}=\\mathcal{T}(I\\otimes\\rho_0)$, and the two-state operator $\\mathcal{T}(\\rho_0\\otimes\\sigma_0)$, and which makes the equation of motion $\\partial_t\\mathcal{T}(\\rho_0\\otimes I)=i[H\\otimes I,\\mathcal{T}(\\rho_0\\otimes I)]+\\mathcal{T}(\\partial_t\\rho_0\\otimes I)$ compact. The Schwinger–Keldysh path integral with cuts at each time slice is the same object in a different representation; it supplies the moment identities (66)–(67) by gluing boundary conditions and provides the route toward replica computations of entropy-related quantities.","core_discovery":"For a system on two Cauchy surfaces $C_0$ at time $t_0$ and $C_1$ at $t_1$, the paper establishes that a unique operator $\\mathrm{T}_{C_0C_1}$ on $\\mathcal{H}_0\\otimes\\mathcal{H}_1$, given explicitly by $\\mathrm{T}_{C_0C_1}=\\langle l|\\mathrm{U}\\rho_0|i\\rangle\\langle j|\\mathrm{U}^\\dagger|k\\rangle\\,|j\\rangle\\langle i|\\otimes|l\\rangle\\langle k|$, satisfies $\\mathrm{tr}(\\mathrm{T}_{C_0C_1}O_0O_1)=\\mathrm{Tr}(\\rho_0O_0O_1(t_1))$ for all operators $O_0,O_1$; the adjoint operator handles the time-ordered correlator. The author extends the same construction to $N$ time slices, to a super-operator from which $\\mathrm{T}_{C_0C_1}$ and several generalizations descend, and to reduced operators obtained by tracing out complementary subsystems. The central results are that the full transition operator has time-independent moments, $\\mathrm{tr}(\\mathrm{T}^n_{C_0C_1})$ equal to $\\mathrm{Tr}\\rho_0^n$ for odd $n$ and $(\\mathrm{Tr}\\rho_0^{n/2})^2$ for even $n$, with $\\mathrm{tr}(\\mathrm{T}_{C_0C_1}\\mathrm{T}^\\dagger_{C_0C_1})^n=d\\,\\mathrm{Tr}\\rho_0^{2n}$; the reduced operators acquire time-dependent moments whose short-time form is universal in $\\delta t$ and whose leading dependence on the coupling between subsystems is computed to first order in the interaction.","pith_inferences":["If the moment identities hold for every integer $n$, the spectrum of $\\mathrm{T}_{C_0C_1}$ is fixed by the spectrum of $\\rho_0$ alone, which would make the full spacetime density matrix an encoding of the initial state rather than a record of the dynamics; writing out that reconstruction explicitly would settle its information content.","The singular-value bound $\\sum_i\\sigma_i=d$ together with the eigenvalue inequality $\\sum_i|\\lambda_i|\\le d$ suggests that the non-normality of $\\mathrm{T}_{C_0C_1}$ is tightly constrained, and measuring how close reduced operators come to saturating these bounds could quantify how far a causally connected pair of subsystems is from Hermiticity.","The sharp sign inversion in the imaginary part of the two-qubit entanglement entropy suggests that the pseudoentropy of reduced transition operators may encode directional information about the evolution; turning this feature into a quantitative diagnostic is a natural next step.","Extending the Dyson-series expansion to higher orders in the coupling, along the lines the paper outlines, should connect these moments to the diagrammatic language of perturbative QFT and to open-system questions such as decoherence rates and approach to equilibrium."],"forward_implications":["The full transition operator's moments are time-independent — $\\mathrm{tr}(\\mathrm{T}^n_{C_0C_1})$ is $\\mathrm{Tr}\\rho_0^n$ for odd $n$ and $(\\mathrm{Tr}\\rho_0^{n/2})^2$ for even $n$, while $\\mathrm{tr}(\\mathrm{T}_{C_0C_1}\\mathrm{T}^\\dagger_{C_0C_1})^n=d\\,\\mathrm{Tr}\\rho_0^{2n}$ — so all time dependence in correlation data is carried by the reduced operators.","Tracing out one time slice returns $\\rho_0$ and tracing out the other returns $\\rho(t_1)$, so the ordinary density matrices at both ends are special cases and the formalism is a strict generalization.","All spacetime density matrices for different time separations are unitarily equivalent, $T_{C_0C_2}=(I\\otimes \\mathrm{U}(t_2,t_1))\\,T_{C_0C_1}\\,(I\\otimes \\mathrm{U}(t_2,t_1)^\\dagger)$, which ties the whole family to one initial state and Hamiltonian.","The second moment of a reduced spacetime density matrix has a universal short-time linear term $-2i\\,\\delta t\\,\\mathrm{Tr}[(\\rho_0-\\rho_{A_0}\\otimes\\rho_{\\bar{A}_0})H]$, which vanishes for product initial states and for zero coupling, making these moments a direct probe of subsystem interactions.","In the absence of coupling between subsystems the reduced moments reduce to time-independent functions of $\\rho_0$ alone, so nontrivial time dependence of $\\mathrm{tr}(\\mathrm{T}_{A_0A_1}^n)$ is itself a signature that an interaction is present."],"supporting_citations":[{"why":"Proposes the operator for two-time correlators and the notion of entanglement in time; this is the idea the paper generalizes.","marker":"[5]"},{"why":"Introduced superdensity operators for spacetime quantum mechanics, the prior construction that the paper's super-operator framework extends.","marker":"[6]"},{"why":"Foundational Schwinger formalism on which the Schwinger–Keldysh path-integral representation of the transition operator rests.","marker":"[22]"},{"why":"Supplies the Keldysh diagram technique completing the Schwinger–Keldysh formalism used for the path-integral representation.","marker":"[24]"},{"why":"Provides the real-time Schwinger–Keldysh and replica treatment of density-matrix evolution that the QFT extension generalizes.","marker":"[25]"},{"why":"Defines pseudoentropy, the interpretation imported for the complex-valued entropies of non-Hermitian reduced operators.","marker":"[29]"},{"why":"Proves the pseudo-Hermiticity theorem invoked to conclude that the transition operator's eigenvalues are real or conjugate-paired.","marker":"[33]"},{"why":"Supplies the double-trace deformation between two CFTs used in the thermal-field-double weak-coupling example.","marker":"[42]"}],"fun_headline_variants":["New operator unifies correlations across time slices","Spacetime density matrix encodes multi-time correlations","From single-time to spacetime quantum states","Entanglement in time from new spacetime operator","One operator captures time correlations"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The entropy interpretation rests on treating powers and logarithms of a reduced transition operator that is generally not Hermitian as genuine Rényi-style and von Neumann-style entropies, with complex values read as pseudoentropy — a step the paper carries over from earlier work and itself flags at the end as still lacking a clear physical interpretation.","fun_headline_variants_meta":{"raw":{"variants":["New operator unifies correlations across time slices","Spacetime density matrix encodes multi-time correlations","From single-time to spacetime quantum states","Entanglement in time from new spacetime operator","One operator captures time correlations"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000525,"raw_usage":{"total_tokens":2600,"prompt_tokens":1072,"completion_tokens":1528,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":688,"completion_tokens_details":{"reasoning_tokens":1465}},"tokens_in":688,"tokens_out":1528,"duration_ms":11141,"temperature":1.0,"reasoning_tokens":1465,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T16:45:56.137596+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Build $\\mathrm{T}_{C_0C_1}$ by explicit matrix multiplication from Eq. (9) for a small system, say two or three qubits, with a generic Hamiltonian and a non-product initial state, and compute $\\mathrm{tr}(\\mathrm{T}^2_{C_0C_1})$, $\\mathrm{tr}(\\mathrm{T}^3_{C_0C_1})$, and $\\mathrm{tr}(\\mathrm{T}_{C_0C_1}\\mathrm{T}^\\dagger_{C_0C_1})$ at several times $t_1$; the identities (66)–(67) predict the constant values $(\\mathrm{Tr}\\rho_0)^2$, $\\mathrm{Tr}\\rho_0^3$, and $d\\,\\mathrm{Tr}\\rho_0^2$, so any $t_1$-dependence refutes the construction. Separately, expand the exactly computed $\\mathrm{tr}(\\mathrm{T}^2_{A_0A_1})$ in the two-qubit Heisenberg model to first order in $\\delta t$ and check the linear coefficient against $-2i\\,\\delta t\\,\\mathrm{Tr}[(\\rho_0-\\rho_{A_0}\\otimes\\rho_{\\bar{A}_0})H]$.","supporting_citations":[{"cited_title":"PseudoHermiticity versus PT symmetry. The necessary condition for the reality of the spectrum,","cited_arxiv_id":null,"evidence_quote":"Proves the pseudo-Hermiticity theorem invoked to conclude that the transition operator's eigenvalues are real or conjugate-paired."}],"review_version":2}