The fracture

Given an initial state and a time-independent Lindblad generator, the master equation fixes the unconditional density matrix ρ(t).

It does not fix which pure-state trajectories produced that average.

Two observers can monitor the same Markovian output channel in different ways. After discarding their records, both assign the same ρ(t). Conditioned on the records, they can assign different states and different entanglement.

The distinction is

ρ(t)=Eξ[ρξ(t)]

versus

Eξ[f(ρξ(t))],

where f is nonlinear. Entanglement entropy is one such f.

This is the small algebraic fact behind a large part of monitored many-body physics.

1. What the master equation fixes

Consider

ρ˙=L(ρ)=−i[H,ρ]+∑μD[Lμ]ρ,

with

D[L]ρ=LρL†−12{L†L,ρ}.

For a specified L and ρ(0), the solution is

ρ(t)=etLρ(0).

It fixes every single-copy linear expectation value:

⟨O⟩t=Tr[Oρ(t)].

It also fixes unconditional multitime correlations once the Markovian model, operator insertions, and regression assumptions are specified.

The eigenvalues alone do not contain all of that information. Eigenoperators, overlaps, Jordan blocks, and nonnormal transient growth can matter even for unconditional relaxation.

Two nonuniquenesses

A Lindblad generator admits many stochastic unravelings. Its displayed jump operators are also nonunique: unitary mixing and standard gauge shifts can leave L unchanged.

An unraveling adds a classical record ξ and a conditional state ρξ. The record may describe photon counts, a homodyne current, heterodyne data, or known classical noise.

The average must recover the channel:

Eξ[ρξ(t)]=ρ(t).

This equality constrains a first moment. It does not determine the probability law over conditional states.

2. The Bell-pair test

Take two qubits with H=0, initially

|Φ+⟩=|00⟩+|11⟩2,

and let each qubit dephase:

(1)ρ˙=γ∑j=12(ZjρZj−ρ).

Equation (1) is an exact statement inside the assumed time-homogeneous Markovian model. It is not a microscopic derivation of that model.

Only the Bell coherence evolves. Set

X=|00⟩⟨11|.

For either qubit,

ZjXZj=−X.

Each dissipator contributes −2γX, so

X(t)=e−4γtX(0).

The unconditional state is

(2)ρ(t)=12(100e−4γt00000000e−4γt001).

Its purity is

(3)Trρ(t)2=12(1+e−8γt).

The reduced state of either qubit remains I/2. Its entropy stays ln⁡2, but that entropy is not an entanglement measure once the joint state is mixed.

For this two-qubit state, concurrence and negativity are

(4)C(t)=e−4γt,N(t)=12e−4γt.

These are properties of ρ(t). They agree for every unraveling of Eq. (1).

3. Unraveling A: known random phase flips

Choose jump operators

Lj=γZj.

Because

Lj†Lj=γI,

each jump occurs at a state-independent Poisson rate. The waiting time carries no information about the qubit state.

A trajectory is

|ψξ(t)⟩=Z1n1(t)Z2n2(t)|Φ+⟩.

It is always |Φ+⟩ or

|Φ−⟩=|00⟩−|11⟩2.

Both states contain one ebit. The trajectory entropy of either qubit is therefore

S1[ψξ(t)]=ln⁡2

for every record and every time.

The sum n1+n2 is Poisson with rate 2γ. Its parity average is

E[(−1)n1+n2]=e−4γt,

which reproduces Eq. (2).

This unraveling can represent a monitored bath whose observed events cause known phase flips. It can also represent classical stochastic control noise whose realization is logged.

Calling it a “measurement of Z” would be misleading. The record tells us which phase kick occurred; it does not reveal whether the system occupied |0⟩ or |1⟩.

4. Unraveling B: informative continuous monitoring

Now monitor each Zj diffusively with unit efficiency. In one common convention,

(5)dρc=γ∑jD[Zj]ρcdt+γ∑jH[Zj]ρcdWj,

where

H[A]ρ=Aρ+ρA†−Tr[(A+A†)ρ]ρ.

The independent Wiener increments satisfy

E[dWj]=0,dWjdWk=δjkdt.

A compatible measurement current is

(6)dYj=2γ⟨Zj⟩cdt+dWj.

Coefficients move between γ, H, and the current in other conventions. Equations (1), (5), and (6) use one internally consistent choice.

Averaging Eq. (5) removes the innovation term and returns Eq. (1).

Conditioning does something different. In the Bell subspace, both records gather evidence about the alternatives |00⟩ and |11⟩.

An efficient trajectory remains pure and can be written as

|ψc(t)⟩=at|00⟩+bt|11⟩.

The posterior weight pt=|at|2 approaches 0 or 1 almost surely as the integrated signal-to-noise ratio grows.

Thus

|ψc(t)⟩⟶|00⟩or|11⟩,

and

S1[ψc(t)]=−ptln⁡pt−(1−pt)ln⁡(1−pt)⟶0.

The two records are partly redundant in this subspace, but both favor the same branch. Their information rates add.

5. No contradiction

The random-flip ensemble gives

Eξ[S1(ψξ)]=ln⁡2.

The informative ensemble approaches

Eξ[S1(ψξ)]⟶0.

Both average to Eq. (2).

The equality

E[ρξ]=ρ

does not imply

E[f(ρξ)]=f(ρ).

Nor does it imply that two different ensembles have the same average of f.

For entropy, concavity gives

S(E[ρξ])≥E[S(ρξ)].

That inequality concerns the entropy of the full conditional state. Trajectory entanglement instead applies entropy after reducing each pure trajectory to a subsystem.

The two operations must not be conflated.

The Hughston-Jozsa-Wootters theorem sharpens the static statement: different measurements on a purifying system can realize different pure-state ensembles of the same density matrix.

A continuous unraveling carries extra causal and hardware constraints, so not every static decomposition defines a realizable monitoring protocol for a given apparatus.

6. What counts as a physical unraveling

A stochastic differential equation can be useful numerically without describing an installed detector.

To assign operational meaning, specify at least:

  • a system-environment dilation or input-output model;
  • which environmental observable is measured;
  • detector efficiency and bandwidth;
  • what part of the record is retained;
  • whether feedback uses that record.

The same reduced Lindbladian can arise from inequivalent microscopic environments. A mathematically valid unraveling need not be implementable by measuring the output ports of every such realization.

Efficiency matters. If a fraction η<1 of the output is observed, Eq. (5) acquires η in the stochastic term while the full dissipator remains.

The observer has discarded part of the record. The conditional state is then generally mixed, and “pure-state trajectory entanglement” is no longer the right quantity without a further purification convention.

Different observers can therefore assign different conditional states to the same device because they possess different records. Their unconditional prediction remains the same.

This is observer dependence with an operational cause, not arbitrary subjectivity.

7. Which quantities can distinguish unravelings

Every quantity linear in the single-copy conditional state collapses to the unconditional answer:

Eξ[Tr(Oρξ)]=Tr(Oρ).

Nonlinear trajectory averages retain information about the record-conditioned ensemble.

A useful object is the replicated moment

Mn(t)=Eξ[ρξ(t)⊗n].

M1=ρ obeys the ordinary master equation. For n>1, the shared record couples replicas, and the evolution depends on the unraveling.

Rényi entropies can be represented through swap operators acting on these replicas. The von Neumann entropy follows from a replica derivative when the continuation is controlled.

This is why trajectory entanglement requires replica, Keldysh, tensor-network, or postselection-aware methods absent from the one-copy Lindblad equation.

Piñol et al. gave an operational proposal for distinguishing photon-counting and phase-sensitive unravelings through nonlinear trajectory-averaged fluctuations.

The full record statistics can also distinguish monitoring schemes. The unconditional system state cannot reconstruct a record that was never retained.

8. From a Bell pair to a monitored phase

The Bell calculation proves unraveling dependence in a finite system. It does not prove a phase transition.

In a one-dimensional many-body system, an entanglement transition requires a scaling statement after specifying the order of limits. Schematically,

SA(L)∼sL

in a volume-law phase, while

SA(L)=O(1)

in an area-law phase for a finite fraction subsystem.

At criticality, logarithmic or other subvolume scaling can occur. Finite-size crossovers can imitate such scaling over many decades.

Local informative measurements compete with unitary scrambling. Scrambling hides information in nonlocal correlations; the measurement record attempts to learn it locally.

This motivates the quantum-error-correction interpretation of the volume-law phase. In random-circuit models, a reference can remain encoded against low-rate measurements until a threshold is crossed.

See Choi et al. for the channel-capacity formulation.

The analogy is not an identity for every monitored model. Nonlocal measurements, degenerate measured observables, symmetry sectors, adaptive feedback, and dark subspaces can create or preserve entanglement in an area-law state.

“Measurement destroys entanglement” is therefore too crude. The measured operator, retained outcome, scrambling dynamics, and feedback decide what information leaves the system.

9. Fixed Lindbladian, changing trajectory physics

The literature contains explicit same-Lindbladian comparisons.

A 2022 study of a dephasing quantum Ising chain found different entanglement behavior for a quantum-state-diffusion unraveling and a Gaussian-preserving jump unraveling.

This establishes that a master equation does not select one trajectory ensemble. See Piccitto, Russomanno, and Rossini.

A 2024 free-fermion study varied the detected quadrature at fixed dissipative rate and reported an unraveling-induced area-to-logarithmic entanglement transition.

See Eissler, Lesanovsky, and Carollo.

The later infrared analysis changed the interpretation. A 2026 nonlinear-sigma-model treatment with larger-scale numerics found that, for the studied one-dimensional chain, every informative angle ultimately flows to an area law.

The apparent critical regime survives below a large crossover length. Close to the random-unitary endpoint, the asymptotic scale behaves as

ln⁡ℓφ,∗∼Jγcos⁡φ.

Only the exactly no-information endpoint φ=π/2 retains the volume law in that model.

This is a useful correction, not a retreat from unraveling dependence. The trajectory steady states still differ sharply. What failed was the finite-size inference of a generic phase boundary.

See Niederegger et al..

10. Channel transitions and trajectory transitions can separate

An ordinary Liouvillian gap diagnoses relaxation of the averaged channel. A trajectory entanglement transition concerns a replicated, record-conditioned statistical object.

There is no general theorem forcing both singularities to coincide.

A 2026 superconducting-processor experiment combined mid-circuit measurement with low-latency feedback. It observed an absorbing-state transition in the averaged channel and a trajectory entanglement transition at distinct tuning values.

The result gives direct experimental support to the separation of diagnostics. It does not imply that every monitored platform has two transitions.

See Wu et al., Physical Review Letters 137, 010401 (2026).

The safe inference is

No closing of a one-copy Liouvillian gap does not exclude a trajectory transition.

Conversely, a Liouvillian critical point need not imply a change in trajectory entanglement scaling.

The deliberately false claim

If two monitoring protocols have the same Lindbladian and the same Liouvillian spectrum, they must have the same measurement-induced entanglement transition.

The premise fixes one-copy unconditional dynamics. Trajectory entanglement depends on higher moments of the conditioned ensemble and on the measurement record.

Even the phrase “same Liouvillian spectrum” is weaker than “same Liouvillian”: eigenvalues without eigenoperators and Jordan structure need not determine the full linear evolution.

Collision: five different statements

  1. Master equation: ρ(t)=etLρ(0) fixes the unconditional state.
  2. Unraveling: a monitoring rule fixes a distribution over records and conditional states.
  3. Finite-system fact: nonlinear averages can differ while every linear system observable agrees.
  4. Many-body claim: a phase requires controlled long-time and thermodynamic scaling.
  5. Experimental claim: the physical detector, efficiency, feedback, and accessible record select which trajectory ensemble is realized.

Skipping a line changes the question.

Do this now

For Eq. (1) and the initial Bell state:

Target A

Derive Eq. (2) and the purity in Eq. (3).

Target B

For independent phase-flip counts n1,n2 of rate γ, compute the probabilities of even and odd total parity and recover Eq. (2).

Target C

Compute the trajectory-averaged single-qubit entropy for the random-jump unraveling.

Target D

Determine its t→∞ value for ideal informative Z monitoring.

Target E

Compute the eigenvalues of ρT2(t) and verify the negativity in Eq. (4). Explain why this unraveling-independent number differs from both trajectory averages.

Oral check 1

Can an unconditional density matrix become mixed while every efficient conditioned trajectory stays pure?

Oral check 2

If detector efficiency is zero, which state does the observer assign?

Hints
  • Only |00⟩⟨11| and its adjoint evolve.
  • A Poisson variable with mean λ satisfies E[(−1)n]=e−2λ.
  • Partial transpose moves the corner coherence into the |01⟩,|10⟩ block.
Solution outline

Each local dissipator multiplies X by −2γ, so

X(t)=e−4γtX(0).

The populations remain 1/2, which gives Eq. (2). Squaring its nonzero 2×2 block yields

Trρ2=12(1+e−8γt).

The total number of jumps is Poisson with mean 2γt. Therefore

peven=1+e−4γt2,podd=1−e−4γt2.

The averaged state is

ρ(t)=peven|Φ+⟩⟨Φ+|+podd|Φ−⟩⟨Φ−|,

which is Eq. (2).

Every random-jump trajectory is maximally entangled, so

S―1jump=ln⁡2.

Ideal informative monitoring eventually identifies one branch, hence

S―1info⟶0.

The partial-transpose eigenvalues are

12,12,12e−4γt,−12e−4γt.

Thus

N(t)=12e−4γt.

Negativity is calculated from the unconditional density matrix. It quantifies entanglement left after the record is discarded.

The trajectory averages ask how entangled the conditional pure state is for an observer who keeps a specified record. They answer a different operational question.

Exit ticket

A simulation finds logarithmic trajectory entanglement up to size L=512, while the one-copy Liouvillian gap stays finite.

What must be checked before calling this an unraveling-induced critical phase?

A strong answer should include larger-size flow, crossover scaling, order of limits, detector efficiency, record definition, and a replicated or information-theoretic diagnostic.

Research checks worth doing next

  1. Record audit. State exactly which environmental quadrature or event stream is measured.
  2. Efficiency sweep. Track how lost records convert pure trajectories into mixed conditional states.
  3. Replica observable. Measure or simulate M2=E[ρc⊗2] instead of inferring trajectory physics from ρ.
  4. Crossover collapse. Test competing algebraic and exponential length scales before fitting a critical exponent.
  5. Reference test. Couple the system to an external reference and measure recoverable information, not entropy alone.
  6. Feedback separation. Compare passive conditioning with active feedback driven by the same record.
  7. Dilation check. Verify that the proposed unraveling can be implemented by the actual output channels of the device.

Further reading

What to retain

  • A master equation fixes the unconditional density matrix, given its initial condition and model assumptions.
  • The displayed Lindblad operators and the stochastic unraveling are not unique.
  • Random phase-flip records can preserve Bell entanglement along every trajectory while the average state dephases.
  • Informative Z records localize the same Bell pair and remove its conditional entanglement.
  • Unconditional concurrence or negativity is not trajectory-averaged pure-state entanglement.
  • A physical unraveling requires a detector model, accessible output channel, and efficiency.
  • Quantities linear in one conditional copy cannot distinguish unravelings of the same master equation.
  • Replicated moments retain record-dependent information.
  • A finite Bell-pair example proves unraveling dependence, not a many-body phase transition.
  • A finite Liouvillian gap does not rule out trajectory criticality.
  • Large crossover lengths can masquerade as unraveling-induced phases.

Next: derive the two-replica stochastic generator for dephasing and show where the shared measurement record couples replicas.