The claim under pressure

A nonzero imaginary part of pseudo-entropy establishes that a reduced transition matrix carries phase information. It does not, without further structure, establish a Lorentzian direction in an emergent spacetime.

Several mechanisms produce complex values:

  • complex eigenvalues of a non-Hermitian reduced transition matrix;
  • the branch chosen for the matrix logarithm;
  • a real-time response controlled by correlations between the physical and modular Hamiltonians;
  • analytic continuation of replica correlators to timelike separation;
  • complex or mixed-signature saddles in a holographic calculation.

They can coexist. Their interpretations are different.

The useful task is therefore diagnostic: identify which mechanism produced the imaginary part, determine its invariant content, and state which additional dictionary permits a geometric reading.

1. The object is a transition amplitude, not a state

Let

H=HA⊗HA¯

and choose two nonorthogonal pure states |ψ⟩ and |ϕ⟩. The normalized transition operator is

τψ|ϕ=|ψ⟩⟨ϕ|⟨ϕ|ψ⟩,Trτψ|ϕ=1.

After tracing out A¯,

τAψ|ϕ=TrA¯τψ|ϕ.

Pseudo-entropy is defined by

SA(p)=−TrA(τAψ|ϕlog⁡τAψ|ϕ).

Nakata and collaborators introduced this quantity as a postselected generalization of entanglement entropy. It reduces to ordinary entanglement entropy when |ϕ⟩=|ψ⟩.

For distinct states, τA generally fails to be Hermitian or positive. Its eigenvalues may be complex even though their sum is one. Standard entropy properties such as reality, positivity, concavity, and strong subadditivity do not follow from the definition.

Numerical studies have found violations of strong subadditivity for pseudo-entropy in field-theory and spin-system examples. Calling SA(p) an entropy records its algebraic ancestry; it does not import every theorem about density matrices.

Normalization singularity

The definition requires ⟨ϕ|ψ⟩≠0. Near an overlap zero, the normalized transition operator and its pseudo-entropy can become singular. Such behavior may diagnose postselection or Loschmidt physics before it says anything about geometry.

A finite-dimensional counterexample to the geometric inference

Take two qubits and the unnormalized vectors

|ψ⟩=|00⟩+2|11⟩,|ϕ⟩=|00⟩−i2|11⟩.

Their overlap is

⟨ϕ|ψ⟩=1+2i.

Tracing out the second qubit gives

τA=11+2i(1002i).

The eigenvalues are

λ0=1−2i5,λ1=4+2i5,λ0+λ1=1.

On the principal branch,

SA(p)=−λ0log⁡λ0−λ1log⁡λ1

is complex. The construction uses two qubits, postselection, and a partial trace. It contains no assumed spacetime dual.

This example is enough to disprove

ℑSA(p)≠0⟹emergent Lorentzian time.

It does not disprove more structured holographic proposals. Those proposals use additional input absent here.

2. The logarithm carries physical and conventional information

Suppose τA is diagonalizable:

τA=Vdiag(λ1,…,λr)V−1.

For a specified holomorphic branch of the logarithm on a domain containing the spectrum,

log⁡τA=Vdiag(log⁡λ1,…,log⁡λr)V−1.

Then

SA(p)=−∑jλjlog⁡λj.

Changing the branch for an eigenvalue by

log⁡λj↦log⁡λj+2πinj

changes the pseudo-entropy by

ΔSA(p)=−2πi∑jnjλj.

This shift need not be a pure imaginary constant because the λj themselves can be complex. A statement about ℑSA(p) is incomplete until the branch prescription is given.

A common real-time prescription starts at t=0, where τA(0)=ρA is positive, and continues the logarithm continuously. This works locally if the relevant eigenvalues remain inside a domain on which one branch is analytic.

Three obstructions can end that continuation:

  1. an eigenvalue reaches zero, where the logarithm is singular;
  2. an eigenvalue crosses the selected branch cut or winds around the origin;
  3. eigenvectors coalesce at a defective degeneracy, so the spectral decomposition becomes singular.

The third event is the non-Hermitian analogue of an exceptional point. A matrix logarithm can still sometimes be defined through a contour integral, but continuity and branch assignment require a fresh analysis.

Track the spectrum

A plot of SA(p)(t) alone can hide a branch jump. Track the complex eigenvalue trajectories of τA(t) and the overlap in the denominator.

For nondiagonalizable matrices, Jordan blocks add nilpotent terms to log⁡τA. The trace formula remains meaningful when the spectrum avoids the branch cut and zero, but eigenvalues alone no longer describe every response of the logarithm.

This spectral bookkeeping separates a change of convention from a genuine continuous response. It also identifies points where the observable itself becomes nonanalytic.

3. Real-time pseudo-entropy has a modular response

Now specialize to unitary time evolution from an initial state:

|Ψ(t)⟩=e−iHt|Ψ⟩.

Define

τ(t,0)=|Ψ(t)⟩⟨Ψ|⟨Ψ|Ψ(t)⟩,τA(t,0)=TrA¯τ(t,0).

Assume the initial reduced state ρA has full rank on its support and choose the logarithm by continuation from t=0. The initial modular Hamiltonian is

KA=−log⁡ρA.

Derivation of the first-order term

Expand the numerator:

|Ψ(t)⟩⟨Ψ|=(1−itH+O(t2))|Ψ⟩⟨Ψ|.

The denominator is

⟨Ψ|Ψ(t)⟩=1−it⟨H⟩+O(t2),

so its inverse contributes 1+it⟨H⟩. Therefore

τ(t,0)=|Ψ⟩⟨Ψ|−it(H−⟨H⟩)|Ψ⟩⟨Ψ|+O(t2).

The normalization removes the component parallel to the original transition amplitude. After tracing out A¯,

δτA=−itTrA¯[(H−⟨H⟩)|Ψ⟩⟨Ψ|]+O(t2).

For a trace-preserving first variation around the positive operator ρA,

δSA(p)=TrA(δτAKA).

Lifting KA to KA⊗IA¯ yields

SA(p)(t,0)=SA−it⟨KA(H−⟨H⟩)⟩+O(t2).

Misumi derived this short-time response and tested it in finite-dimensional models and transverse-field Ising-chain quenches in a 2026 preprint.

Let

ΔH=H−⟨H⟩,ΔKA=KA−⟨KA⟩.

Since ⟨ΔH⟩=0,

⟨KAΔH⟩=12⟨{ΔKA,ΔH}⟩+12⟨[KA,H]⟩.

For Hermitian H and KA, the anticommutator expectation is real and the commutator expectation is imaginary. Hence

ddtℜSA(p)|t=0=12i⟨[KA,H]⟩

and

ddtℑSA(p)|t=0=−12⟨{ΔKA,ΔH}⟩.

The imaginary slope is a symmetrized modular covariance. It depends on the state, subsystem, and physical Hamiltonian. It can vanish even when the transition matrix becomes non-Hermitian, and it can remain nonzero when [KA,H]=0.

This response contains temporal information in an operational sense: H generates the evolution, and the sign reverses when the bra and ket in the transition matrix are exchanged. It still does not define a bulk proper time.

Modular flow is not laboratory time

KA generates modular flow for the reduced state. H generates physical time evolution. Their covariance couples the two structures; it does not identify their parameters.

What the linear response cannot tell you

The formula is local in time. At later times, higher connected correlations enter, the logarithmic branch can change, and the overlap ⟨Ψ|Ψ(t)⟩ may approach zero.

Near a critical point, the covariance can show finite-size scaling. That makes it a candidate susceptibility, not an established universal order parameter. One must specify the subsystem, ultraviolet regularization, normalization of H, and scaling limit.

The response also depends on which side of the transition matrix evolves. Evolving both ket and bra with the same unitary produces an ordinary density matrix and ordinary entanglement dynamics. Real-time pseudo-entropy keeps an amplitude-level comparison between two times.

4. Timelike CFT continuation produces a different imaginary term

For a vacuum interval in a two-dimensional CFT,

S(Δx,Δt)=c6log(Δx2−Δt2+i0ϵ2).

Set Δx=0 and Δt=T>0. With

log⁡(−T2+i0)=log⁡T2+iπ,

one obtains

Stime(T)=c3log⁡Tϵ+iπc6.

The opposite i0 prescription reverses the sign of the imaginary constant. The term iπc/6 follows from causal ordering and the logarithmic branch.

It differs sharply from the modular-covariance term:

QuantityOriginTypical dependenceWhat fixes the sign
πc/6 in vacuum timelike CFTAnalytic continuation of a twist correlatorConstant for one interval branchTime ordering and i0 prescription
−12⟨{ΔKA,ΔH}⟩Infinitesimal real-time transition matrixState, subsystem, and Hamiltonian dependentExchange of forward and reverse transition matrices
−2πi∑jnjλjChange of logarithm branchSpectrum dependentChosen spectral continuation
Complex extremal areaSemiclassical holographic saddleGeometry and saddle dependentBoundary contour and saddle prescription

The vacuum constant can survive when no state-dependent temporal response exists. Conversely, a finite spin chain can have a modular-covariance response without conformal symmetry or a bulk dual.

Recent work formulates timelike Rényi quantities directly through time-ordered twist correlators. This matters because analytic continuation of a closed-form entropy formula can obscure the replica contour and operator ordering that select the branch.

5. The replica route adds another continuation problem

For integer n>1, define the pseudo-Rényi quantity

SA(n)=11−nlog⁡Tr(τAn).

The von Neumann-like pseudo-entropy is formally obtained from

SA(p)=−∂nlog⁡Tr(τAn)|n=1.

In a path integral, integer n specifies how replicas are sewn along the chosen region or contour. Reaching n=1 requires an analytic continuation away from the integers.

Integer data do not determine a unique analytic function without additional growth and regularity conditions. In practical CFT and holographic calculations, symmetry, operator product expansions, boundary conditions, and a chosen saddle family supply that extra input.

For timelike separation, one must also continue the operator positions and retain the ordering prescription. The continuations in n and in spacetime kinematics are logically distinct. Performing them in different orders can expose branch and saddle ambiguities.

In a semiclassical bulk path integral,

Zn∼∑αexp[−Iα(n)/GN].

Several real or complex saddles may satisfy the same boundary conditions. The smallest real part of the action often controls an asymptotic region, but the integration contour determines which saddles actually contribute.

As parameters vary, saddle dominance can change. Across a Stokes line, an asymptotic saddle decomposition can jump even when the exact boundary quantity remains analytic. A discontinuity in a leading semiclassical entropy may therefore reflect a change of approximation rather than a microscopic singularity.

A complex saddle is not selected by existence

Solving the complexified extremal equations finds candidates. Boundary conditions, homology, replica continuation, and the bulk integration contour decide whether a candidate contributes.

This is an active frontier. A 2025 proposal identifies boundary-anchored complex extremal surfaces as carriers of holographic timelike entropy and finds multiple candidate surfaces. A 2026 CFT analysis derives complex geodesics from time-ordered twist correlators and extends the construction to Rényi index n>1.

These developments strengthen the boundary-to-bulk calculation in specified AdS/CFT settings. They do not make every complex pseudo-entropy geometric.

6. What holography adds

The original holographic pseudo-entropy proposal relates reduced transition matrices in suitable CFT states to extremal areas in asymptotically AdS geometries. Timelike-entanglement constructions extend this idea to complex or mixed-signature extremal objects anchored on timelike boundary regions.

The geometric claim has content because several structures are matched at once:

  1. a boundary replica or transition-matrix construction;
  2. a large-N, semiclassical regime;
  3. bulk boundary conditions and a homology prescription;
  4. an extremal saddle with the correct analytic continuation;
  5. agreement of variations, symmetries, and limiting cases between the two sides.

Only after these checks does an imaginary area acquire a controlled geometric interpretation.

Even then, “imaginary part equals proper time” is usually too strong. The regulated result can include counterterms, branch constants, several curve segments, and complex-coordinate contributions. Proper time is a diffeomorphism-invariant length along a specified real timelike curve; a complex extremal area is a different object unless a derivation identifies them.

The de Sitter claim has an additional assumption

In proposed dS3/CFT2 constructions, the boundary theory is Euclidean and generally nonunitary, while the bulk contains Lorentzian de Sitter time. Pseudo-entropy is a natural candidate because the relevant boundary transition matrices and bulk extremal lengths can be complex.

Doi and collaborators argued that the imaginary part of timelike or de Sitter pseudo-entropy reflects emergent time in their examples. Takayanagi later presented pseudo-entropy and timelike entanglement as tools for investigating time emergence.

A 2025 preprint by Fujiki and collaborators gives a sharper conditional result: assuming the proposed dS/CFT dictionary, the first law of holographic pseudo-entropy for small perturbations matches the linearized Einstein equation in dS3 when complexified geodesics are included.

That is substantially stronger than observing a complex number. It matches a family of variations to a bulk dynamical equation.

It remains conditional on the dS/CFT proposal, the semiclassical approximation, the selected states, and the complex-geodesic prescription. It does not derive Lorentzian time from an arbitrary non-Hermitian quantum system.

7. An evidence ladder for “emergent time”

ObservationSupported inferenceUnsupported leap
τA has complex eigenvaluesThe reduced transition amplitude is non-HermitianA bulk spacetime exists
SA(p) changes under a log branchThe quantity is branch sensitiveThe shift measures elapsed time
ℑS˙A(p)(0) equals a modular covarianceThe subsystem detects oriented unitary evolution at first orderModular time and bulk proper time are identical
Timelike twist correlators yield iπc/6Causal continuation fixes a complex CFT observableThe constant alone reconstructs a metric
A complex extremal surface reproduces the CFT answerA specified holographic dictionary has passed a nontrivial testEvery complex saddle is physical
Pseudo-entropy variations reproduce a bulk field equationStrong conditional evidence for emergent bulk dynamicsA model-independent derivation of time

The last two rows contain geometric evidence because they compare complete calculational structures, not merely the sign or existence of an imaginary part.

False claim to diagnose

In a holographic theory, every nonzero imaginary part of pseudo-entropy measures a bulk proper-time interval.

This fails for three independent reasons.

First, pseudo-entropy can acquire a branch-dependent imaginary part before any bulk limit is taken. Second, a holographic observable may receive contributions from several real, timelike, and complex curve segments. Third, a bulk saddle requires a contour and dominance prescription.

A defensible replacement is:

In a specified holographic construction, a branch- and contour-fixed complex pseudo-entropy may encode timelike bulk information when a replica calculation, extremal saddle, and dynamical variation agree.

Extended problem set

Part A: branch constant

Starting from

S=c6log⁡Δx2−Δt2+i0ϵ2,

set Δx=0 and Δt=T>0. Derive the real and imaginary parts. Repeat with −i0 and explain the change.

Part B: modular response

Starting from

SA(p)(t)=SA−it⟨KAΔH⟩+O(t2),

derive the commutator and covariance formulae. Analyze these cases:

  1. [KA,H]=0 but ⟨ΔKAΔH⟩≠0;
  2. the symmetrized covariance vanishes but ⟨[KA,H]⟩≠0;
  3. both vanish at first order.

Does case 3 imply that SA(p)(t) is constant?

Part C: two-qubit spectrum

For the two-qubit example in Section 1:

  1. verify TrτA=1;
  2. calculate SA(p) numerically on the principal branch;
  3. shift the branch of λ0 by 2πi and calculate ΔSA(p);
  4. explain why the result supplies no evidence for a geometric time direction.

Part D: replica and saddle judgment

Suppose two complex bulk saddles have actions I1(n,eta) and I2(n,eta), where η controls timelike separation. At η=η∗ their real parts cross.

List the information required before declaring a phase transition in the boundary pseudo-entropy. Your list should include the original integration contour, intersection numbers or an equivalent saddle-selection rule, the n→1 continuation, finite-GN corrections, and the behavior of the exact boundary correlator.

Hints
  • Use log⁡(−a±i0)=log⁡a±iπ.
  • For Hermitian KA and H, ⟨KAΔH⟩∗=⟨ΔHKA⟩.
  • A vanishing first derivative leaves O(t2) and higher terms unconstrained.
  • Equality of the real parts of two saddle actions does not prove that both saddles lie on the original integration contour.
Solution outline

For the timelike interval,

Stime(±)=c3log⁡Tϵ±iπc6.

The sign records the ordering prescription. The magnitude of the constant does not depend on the evolving many-body state in this vacuum formula.

Write

z=⟨KAΔH⟩=12⟨{ΔKA,ΔH}⟩+12⟨[KA,H]⟩.

Since S˙A(p)=−iz,

ℜS˙A(p)(0)=12i⟨[KA,H]⟩,
ℑS˙A(p)(0)=−12⟨{ΔKA,ΔH}⟩.

Commutation removes the real linear response, not the covariance term. Zero covariance removes the imaginary linear response, not the commutator term. If both vanish, the response begins at second or higher order unless another symmetry forces all coefficients to vanish.

For the two-qubit example,

λ0=0.2−0.4i,λ1=0.8+0.4i.

Using principal arguments gives approximately

SA(p)≈0.879−0.427i.

Changing only the branch of λ0 gives

ΔSA(p)=−2πiλ0=−0.8π−0.4πi.

The complex value is fully explained by a finite-dimensional reduced transition matrix and a logarithm branch.

At a saddle crossing, compare the candidate saddles with the integration cycle rather than selecting them by existence. Check whether the exact boundary object is singular, whether the replica continuation follows the same saddle family, and whether finite-GN terms smooth the leading transition. A Stokes jump in an asymptotic expansion need not be a phase transition of the exact theory.

Research checks worth doing next

  1. Spectral tracking. Follow every eigenvalue of τA(t) in the complex plane together with ⟨Ψ|Ψ(t)⟩. Mark branch-cut crossings and near-defective degeneracies.
  2. Orientation test. Exchange the bra and ket transition states. Separate the odd imaginary response from branch constants that do not transform in the same way.
  3. Subsystem scaling. Test how the modular covariance changes with interval size, ultraviolet cutoff, and system size near criticality.
  4. Replica consistency. Compare direct spectral evaluation of SA(p) with analytic continuation of TrτAn.
  5. Bulk saddle audit. Derive the contributing complex saddles from the boundary correlator or a justified gravitational contour. Do not select a surface only because it produces the desired imaginary part.
  6. Dynamical matching. Look for equations obeyed by variations of pseudo-entropy. A matched bulk field equation carries more information than a matched constant.

Further Reading

What to retain

  • A reduced transition matrix is normalized but need not be Hermitian or positive.
  • The matrix logarithm requires a spectral branch and can fail at zeros or defective degeneracies.
  • The first imaginary real-time response is a symmetrized covariance of KA and H.
  • The vacuum timelike-CFT constant comes from causal analytic continuation, not that covariance.
  • Replica continuation and spacetime continuation are separate operations.
  • Complex bulk saddles require a contour and dominance prescription.
  • Geometric evidence begins when a specified holographic dictionary matches families of observables or dynamical equations.
  • A complex pseudo-entropy by itself proves none of that geometry.

Next: construct a two-qubit real-time example in which the logarithmic branch remains fixed, calculate the modular covariance exactly, and compare its orientation reversal with the branch-generated imaginary term.