Relative Modular Operators and Connes Cocycles

Relative modular theory compares two states on the same algebra without introducing a trace or pretending that their logarithms commute. The relative modular operator supplies Araki relative entropy, while the Connes cocycle is an algebra-valued unitary that converts one state’s modular flow into the other’s. Together they are the natural continuum replacements for density-matrix ratios.

Required background. Tomita–Takesaki flow supplies the standard representation and modular automorphisms.

Helpful background. Araki relative entropy supplies the information-theoretic application and support conventions.

Relative Tomita operator

Let $\phi$ and $\psi$ be faithful normal states represented by vectors $\Phi$ and $\Psi$ in the natural cone of a standard form of $\mathcal A$ . On the dense set $\mathcal A\Psi$ , define the closable antilinear operator

S_{\Phi\mid\Psi}(A\Psi)=A^*\Phi.

Its positive part is the relative modular operator

\Delta_{\Phi\mid\Psi}=S_{\Phi\mid\Psi}^*S_{\Phi\mid\Psi}.

The ordering convention matters. With the definition above, Araki relative entropy can be written as in Araki 1976, pp. 809–817:

S(\psi\Vert\phi) =-\langle\Psi,\log\Delta_{\Phi\mid\Psi}\,\Psi\rangle,

provided the support condition is satisfied; otherwise the value is $+\infty$ . Some sources reverse the labels on $\Delta$ . The expectation-value formula, not the symbol alone, fixes the convention.

In a finite standard representation, with left action on Hilbert–Schmidt operators,

\Delta_{\Phi\mid\Psi}(X)=\rho_\phi X\rho_\psi^{-1}.

Evaluating the logarithm on $\Psi=\rho_\psi^{1/2}$ gives

-\langle\rho_\psi^{1/2}, \log\Delta_{\Phi\mid\Psi}\,\rho_\psi^{1/2}\rangle =\operatorname{Tr}\rho_\psi(\log\rho_\psi-\log\rho_\phi).

This equality is a check of the label order. It does not imply $\log\Delta_{\Phi\mid\Psi}=\log\rho_\phi-\log\rho_\psi$ as operators on one copy of the Hilbert space; left and right multiplication are essential.

The structural map places Relative Modular Operators and Connes Cocycles between intrinsic modular data and the additional hypotheses that permit a geometric interpretation.

A standard algebra-state pair determines the Tomita operator, modular conjugation, modular flow, and relative modular data; only additional covariance or conformal hypotheses turn the flow into wedge or ball geometry. — Tomita polar decomposition intrinsically produces $J$ and $\Delta$ . Wedge boosts and CFT ball flow are special consequences of locality, covariance, the spectrum condition, the vacuum, and—only for the ball—the conformal map. The diagram is schematic and not to scale.

Connes cocycle and change of modular frame

For faithful normal states, the Connes Radon–Nikodym cocycle is conventionally denoted

[D\psi:D\phi]_s =\Delta_{\psi\mid\chi}^{is}\Delta_{\phi\mid\chi}^{-is},

where the auxiliary faithful weight or state $\chi$ cancels from the result. The cocycle belongs to $\mathcal A$ and satisfies

u_{s+t}=u_s\,\sigma_s^\phi(u_t), \qquad u_s=[D\psi:D\phi]_s.

It intertwines the two modular groups:

\sigma_s^\psi(A)=u_s\,\sigma_s^\phi(A)\,u_s^*.

This is a cocycle relation rather than an ordinary one-parameter representation because the second factor is transported by $\sigma_s^\phi$ . When the states commute in a finite algebra, $u_s=\rho_\psi^{is}\rho_\phi^{-is}$ and the familiar likelihood ratio is recovered. For noncommuting states, this ordered product cannot be replaced by $e^{is(\log\rho_\psi-\log\rho_\phi)}$ .

The chain rule follows directly:

[D\psi:D\phi]_s[D\phi:D\omega]_s=[D\psi:D\omega]_s,

with all states represented faithfully on the same algebra and with consistent conventions. It makes changes of reference state composable.

Supports and nonfaithful states

If $\psi$ or $\phi$ is not faithful, the construction is localized to support projections. Relative entropy is finite only when $s(\psi)\le s(\phi)$ . Cocycles may then be partial isometries rather than unitaries on the unreduced algebra. In QFT applications, a local vacuum state is often faithful because its vector is separating, but excited or projected states and regulated truncations can violate this property.

A reliable calculation therefore records:

the common algebra and representation;
the ordering of the relative modular operator;
the support projection of each state;
the vector on which the logarithm is evaluated;
the strip or real-time domain in which cocycle products are defined.

Perturbations and modular response

Suppose $\psi_\lambda$ is a differentiable family with $\psi_0=\phi$ . The derivative of $u_s(\lambda)=[D\psi_\lambda:D\phi]_s$ is an algebra-valued tangent transported along reference modular flow. Its integral representations contain resolvents or modular-frequency kernels; they are the starting point for response theory and for noncommutative information metrics. The state-susceptibility page separates the vanishing first variation of relative entropy from the positive quadratic term.

The cocycle also lets one compare modular evolutions without asking either generator to be local. This is crucial in continuum QFT: $u_s$ can be localized in the algebra even when separate density-matrix logarithms do not exist.

Common pitfalls

Subtracting modular Hamiltonians inside an exponential. For noncommuting states, $e^{isK_\psi}e^{-isK_\phi}$ is not $e^{is(K_\psi-K_\phi)}$ . Preserve the ordered cocycle and its transported composition law.

Suppressing the reference algebra. Relative modular data compare states on one specified algebra. Changing the region or algebra is a different perturbation and adds shape and contact-term issues.

Ignoring support failure. A logarithm on a null eigenspace and a unitary cocycle on the full space may not exist. Reduce to supports or state that the relative entropy is infinite.

Before assigning geometric meaning to this modular statement, use the validity map to check standardness, spectral domains, normalization, geometric hypotheses, and approximation control independently.

A decision map separates exact modular conclusions from failures caused by missing faithfulness, uncontrolled operator domains, absent geometric theorems, or perturbative nonlocal kernels. — A modular-flow claim is only as strong as its algebra–state standardness, spectral domain, normalization, geometric hypotheses, and approximation control. Dashed branches mark conditional steps; the terminal warnings identify common out-of-domain uses. The diagram is schematic and not to scale.

References

Araki, Huzihiro. “Relative Entropy of States of von Neumann Algebras.” Publications of the Research Institute for Mathematical Sciences 11 (1976): 809–833. DOI.