The Modular Hamiltonian in Biquaternionic Form

Introduction

The Tomita–Takesaki theory attaches to a cyclic and separating vector $\Omega$ on a von Neumann algebra $M$ a canonical one-parameter group of automorphisms, the modular flow $$ \sigma_t(A)=\Delta^{it}A\Delta^{-it}, $$ built from the modular operator $\Delta=S^*S$ of the Tomita involution $S$. The companion article The Modular Theory of Tomita–Takesaki under the Biquaternion Framework constructs $S$, $\Delta$ and $J$ in the biquaternion algebra $\mathbb{B}$ and verifies the resulting flow identities by recomputation. It records, but does not develop, the operator that generates the flow. The present article is about that operator, the modular Hamiltonian $\tilde K$.

Writing $\Delta=e^{-\tilde K}$ — equivalently $\tilde K=-\log\Delta$ — the modular flow is Hamiltonian evolution under $\tilde K$, $$ \sigma_t(\tilde A)=e^{-i\tilde Kt}\,\tilde A\,e^{i\tilde Kt}, \qquad \frac{d}{dt}\sigma_t(\tilde A)\Big|_{t=0}=-i[\tilde K,\tilde A], $$ and the KMS state of The KMS Condition and the Biquaternion Framework is the thermal state of $\tilde K$: the state is Gibbs with respect to the modular Hamiltonian. This is the content of the Takesaki–Winnink theorem, quoted by the modular-theory parent and used here unchanged. The modular Hamiltonian is therefore to the modular flow what the Hamiltonian is to ordinary time evolution, and the two roles can be separated: the physical Hamiltonian $\tilde H$ is what appears in the Gibbs weight, while $\tilde K$ is the shifted and rescaled operator whose flow the state is KMS with respect to, $\tilde K=\beta\tilde H+(\log Z)e_0$ for a Gibbs state.

The article is deliberately narrow. It is the companion of one theorem and two article parents: the modular-theory article supplies $S$, $\Delta$ and the flow; the KMS article supplies the boundary relation whose generator $\tilde K$ is; the partition-function article supplies the Gibbs form that ties $\tilde K$ to $\tilde H$. This article does three things the parents do not. It defines $\tilde K$ from $\Delta$ and checks the two hypotheses on which that definition rests — the cyclic-and-separating hypothesis, inherited from the construction of $\Delta$, and the strict positivity of $\Delta$, without which $-\log\Delta$ does not exist. It fixes the sign convention in $\Delta=e^{-\tilde K}$ and holds it, because the sign of $\tilde K$ is the standard error in this subject and the opposite convention reverses which flow is KMS. And it isolates the structural question that the finite-dimensional model cannot settle: whether $\tilde K$ is a local operator, which it is not in general, the exceptional cases being exactly the ones in which the modular flow is a geometric symmetry flow (Bisognano–Wichmann).

Three features organize what follows.

$\tilde K$ exists only when $\Delta$ does. Its construction inherits the whole hypothesis of the Tomita–Takesaki theorem — $\Omega$ cyclic and separating for $M$, equivalently the state faithful — and does not assume it afresh. Positivity of $\Delta$ is where that hypothesis reappears spectrally: $\Delta=S^*S\ge 0$ is automatic, but $\Delta>0$ is the faithfulness condition, and $-\log\Delta$ is defined precisely then.
$-\log\Delta$ is well defined only because $\Delta$ is positive. The spectral theorem gives $\log\Delta$ for a positive self-adjoint operator; at an eigenvalue $0$ the logarithm diverges and no $\tilde K$ exists. The check is not a formality, and the finite-dimensional model exhibits the failure.
Locality of $\tilde K$ is a question with a known exceptional answer. In a quantum field theory the modular Hamiltonian of a region is generically a nonlocal operator; it is local (a geometric generator) in the cases covered by Bisognano–Wichmann and its conformal extension. The biquaternion framework houses the wedge case, because the boost generator is a Hermitian element $G_1=ie_1\in\mathbb{M}_+$; it does not house the ball case, because the special conformal generators are not elements of $\mathbb{B}$.

The article proceeds as follows. The modular Hamiltonian is defined from $\Delta$, the hypotheses are checked, and the sign convention is fixed. The finite-dimensional realization in $\mathbb{B}$ is recalled from the parents and completed with $\tilde K$'s spectral form. $\tilde K$ is then verified to generate the same flow as $\Delta^{it}$. The trace formula is used to show that the Gibbs form is a scalar extraction. The locality question is separated into its generic nonlocal answer and the wedge exception, with the boost generator recomputed in biquaternion form. A closing section separates what is established from what is a gap.

Conventions. Those of the companion articles. The biquaternion algebra is $\mathbb{B}=\mathbb{C}\otimes_{\mathbb{R}}\mathbb{H}$, with quaternion basis $e_0=1,e_1,e_2,e_3$ satisfying $e_k^2=-e_0$, scalar imaginary $i$ with $i^2=-1$, and the isomorphism $\Phi(e_k)=-i\sigma_k$, $\Phi(i)=iI_2$, so that $\mathbb{B}\cong M_2(\mathbb{C})$. The Hermitian (informational) subspace is $\mathbb{M}_+$ and the anti-Hermitian (material) subspace is $\mathbb{M}_-$; Hermitian conjugation ${}^{*}$ is the algebra involution of the Tomita construction. The trace is normalized by the matrix representation, $\mathrm{Tr}(\tilde P\tilde H)=2\,\mathrm{Sc}(\tilde P\tilde H)$, so that $\mathrm{Tr}(e_0)=2$. The modular flow is $\sigma_t(\tilde A)=\Delta^{it}\tilde A\Delta^{-it}$, and the modular Hamiltonian is defined by $\Delta=e^{-\tilde K}$, so that $\tilde K=-\log\Delta$ and $\Delta^{it}=e^{-i\tilde Kt}$. In the finite-dimensional model of the parents, $\tilde K=-\log\tilde\rho$ is a Hermitian element of $\mathbb{M}_+$. The physical Hamiltonian of a Gibbs state is written $\tilde H=h_0e_0+i\mathbf h$, and $\beta$ is the inverse temperature; we use units with $\hbar=1$.

The Generator of the Modular Flow

Definition from the Modular Operator

Let $M$ be a von Neumann algebra with a cyclic and separating vector $\Omega$, and let $S=J\Delta^{1/2}$ be the polar decomposition of the Tomita operator, so that $\Delta=S^*S$ is self-adjoint and $\Delta\ge 0$. The modular Hamiltonian is $$ \tilde K:=-\log\Delta, $$ defined by the spectral theorem on the positive self-adjoint operator $\Delta$. The defining relation is $$ \Delta=e^{-\tilde K}, \qquad\text{equivalently}\qquad \tilde K=-\log\Delta . $$ Since the logarithm is taken on a positive operator, $\tilde K$ is self-adjoint, and it is the generator of the modular group in the following precise sense: $$ \Delta^{it}=e^{-i\tilde Kt}, \qquad \sigma_t(\tilde A)=\Delta^{it}\tilde A\Delta^{-it}=e^{-i\tilde Kt}\tilde A e^{i\tilde Kt}, \qquad \frac{d}{dt}\sigma_t(\tilde A)\Big|_{t=0}=-i[\tilde K,\tilde A]. $$ The last identity is the statement that the modular flow is Hamiltonian evolution with generator $\tilde K$. The flow is trivial, $\sigma_t=\mathrm{id}$, exactly when $\Delta=1$, i.e. exactly when $\tilde K$ is central; in the finite-dimensional model this is the tracial state, as the parent records.

The Hypotheses Are Inherited, Not Assumed Afresh

Two hypotheses are load-bearing, and both are inherited from the construction of $\Delta$.

Cyclic and separating. The Tomita operator $S_0(A\Omega)=A^*\Omega$ is well defined precisely when $\Omega$ is separating, and densely defined precisely when $\Omega$ is cyclic. Without both, the polar decomposition $S=J\Delta^{1/2}$ — hence $\Delta$, hence $\tilde K$ — does not exist. In the GNS representation, cyclic and separating is equivalent to the state being faithful. So defining a modular Hamiltonian is defining it for a faithful state, and nothing here weakens that requirement.

Positivity of $\Delta$. The identity $\Delta=S^*S$ makes $\Delta\ge0$ automatic, but $-\log\Delta$ exists only if $\Delta$ is strictly positive, $$ \Delta>0 \quad\Longleftrightarrow\quad \ker\Delta=\{0\}. $$ The kernel of $\Delta$ equals the kernel of $S$, so $\Delta>0$ is again the faithfulness hypothesis: a non-faithful state gives $\Delta$ a zero eigenvalue, and at that eigenvalue $-\log\Delta$ diverges. This is the sense in which positivity is not a technicality. It is the same hypothesis as cyclic and separating, read off the spectrum of $\Delta$ rather than off the vector. Section "Verification: $\tilde K$ Generates the Modular Flow" exhibits the failure explicitly.

Self-adjointness and unitarity. Because $\Delta>0$, the spectral theorem gives a self-adjoint $\log\Delta$ and hence a self-adjoint $\tilde K$; the unitary group $e^{-i\tilde Kt}=\Delta^{it}$ is then well defined for all real $t$, and $\Delta^{it}$ is unitary. The flow $\sigma_t$ is thus a one-parameter group of $*$-automorphisms of $M$, as the parent verifies, and $\tilde K$ is the self-adjoint generator of the unitary group that implements it.

The Sign Convention, Fixed and Held

The relation between $\Delta$ and $\tilde K$ is a convention, and the two choices are inequivalent. This article uses $$ \Delta=e^{-\tilde K},\qquad \Delta^{it}=e^{-i\tilde Kt},\qquad \sigma_t(\tilde A)=e^{-i\tilde Kt}\tilde A e^{i\tilde Kt}. $$ The opposite choice, $\Delta=e^{+\tilde K}$ with $\Delta^{it}=e^{+i\tilde Kt}$, is the same equation with $\tilde K\mapsto-\tilde K$. It is not a relabelling: the Takesaki–Winnink theorem says that a faithful normal state satisfies the KMS condition with respect to $\sigma_{-t}$, not $\sigma_t$, and reversing the sign of $\tilde K$ reverses the flow and exchanges the two. In the finite-dimensional model the convention is pinned by $\tilde\rho=e^{-\tilde K}$ and $\sigma_t(\tilde A)=\tilde\rho^{it}\tilde A\tilde\rho^{-it}$, which is the parent's convention; the generator identity $\frac{d}{dt}\sigma_t(\tilde A)|_{t=0}=-i[\tilde K,\tilde A]$ follows from it and is the form used throughout. A displayed formula that writes $\Delta^{it}=e^{+i\tilde Kt}$ together with $\tilde K=-\log\Delta$ is internally inconsistent — it would give $\Delta^{it}=\Delta^{-it}$ — and the sign is fixed here once, in the direction above, and held.

The State Is Thermal with Respect to $\tilde K$

The KMS property gives $\tilde K$ its physical reading. Normalized to $\beta=1$, a faithful normal state $\omega$ satisfies the KMS boundary relation with respect to the flow $\sigma_{-t}$ of its modular group. In the finite-dimensional model, where the state is realized by a density $\tilde\rho\in\mathbb{M}_+$ that is positive definite and of trace one, $$ \omega(\tilde A)=\mathrm{Tr}(\tilde\rho\,\tilde A), \qquad \tilde\rho=e^{-\tilde K}, \qquad \tilde K=-\log\tilde\rho, $$ so the state is the Gibbs state of $\tilde K$ at unit temperature. The physical Hamiltonian is recovered by rescaling: for a Gibbs state at inverse temperature $\beta$, $$ \tilde K=\beta\tilde H+(\log Z)e_0, \qquad Z=\mathrm{Tr}\big(e^{-\beta\tilde H}\big), $$ so $\tilde K$ differs from $\beta\tilde H$ by the additive scalar $\log Z$ that normalizes the state. The modular Hamiltonian is thus not the physical Hamiltonian; it is the operator whose unit-temperature Gibbs state is the given state, and the normalization $\log Z$ — hence the free energy $F=-\beta^{-1}\log Z$ — is carried by its scalar part.

The Modular Hamiltonian in the Biquaternion Algebra

The Finite-Dimensional Model, Recalled

The parents realize the construction in the algebra itself. Take $$ M=\mathbb{B}\cong M_2(\mathbb{C}),\qquad \Omega=e_0,\qquad \omega(\tilde A)=\mathrm{Tr}(\tilde\rho\,\tilde A), $$ with $\tilde\rho\in\mathbb{M}_+$ positive definite and of trace one, and the GNS inner product $$ \langle\tilde A,\tilde B\rangle_{\tilde\rho}=\mathrm{Tr}\big(\tilde\rho\,\tilde A^{*}\tilde B\big). $$ The vector $\Omega=e_0$ is cyclic and separating exactly because $\tilde\rho>0$; the state is faithful for the same reason. The modular-theory parent computes the polar decomposition of $S_0(\tilde A)=\tilde A^{*}$ in closed form: $$ \Delta(\tilde A)=\tilde\rho\,\tilde A\,\tilde\rho^{-1}, \qquad \Delta^{1/2}(\tilde A)=\tilde\rho^{1/2}\tilde A\,\tilde\rho^{-1/2}, \qquad J(\tilde A)=\tilde\rho^{1/2}\tilde A^{*}\tilde\rho^{-1/2}, \qquad \sigma_t(\tilde A)=\tilde\rho^{it}\tilde A\,\tilde\rho^{-it}. $$ Since $\tilde\rho>0$, its logarithm is defined and $$ \tilde K=-\log\tilde\rho\ \in\mathbb{M}_+ $$ is a Hermitian element of the algebra. The two displays are the same $\tilde K$ seen twice: as an algebra element, $\tilde\rho=e^{-\tilde K}$; as the modular operator on the Hilbert space, $\Delta(\tilde A)=e^{-\tilde K}\tilde A\,e^{\tilde K}$, so that $$ \Delta^{it}(\tilde A)=e^{-i\tilde Kt}\tilde A\,e^{i\tilde Kt}. $$ That $\tilde K$ lies in $\mathbb{M}_+$ is the parent's algebraic fact, and it is the reason the corpus says the modular Hamiltonian is an object of the informational sector: the state $\tilde\rho=e^{-\tilde K}$ and the generator $\tilde K$ are both Hermitian, while the material sector $\mathbb{M}_-$ supplies the imaginary-time direction in which the KMS analyticity takes place.

The Spectral Form of $\tilde K$

Write the faithful state in Bloch form, $$ \tilde\rho=\tfrac12\big(e_0+i\mathbf r\cdot\mathbf e\big), \qquad |\mathbf r|<1, \qquad \lambda_\pm=\tfrac12\big(1\pm|\mathbf r|\big)>0, $$ with $\lambda_+,\lambda_-$ the eigenvalues of $\tilde\rho$ and $\hat{\mathbf r}=\mathbf r/|\mathbf r|$. Then $$ \tilde K=-\log\tilde\rho =a_0\,e_0+i\,\mathbf a\cdot\mathbf e, \qquad a_0=-\tfrac12\log\det\tilde\rho=-\tfrac12\log\!\Big(\tfrac14\big(1-|\mathbf r|^2\big)\Big), \qquad \mathbf a=-\tfrac12\log\frac{\lambda_+}{\lambda_-}\,\hat{\mathbf r}. $$ This is the explicit operator: a real scalar part fixed by the determinant of the state, and an imaginary vector part along the Bloch vector, with magnitude the logarithm of the eigenvalue ratio. Two limits are immediate. The tracial state $\mathbf r=0$ gives $\lambda_+=\lambda_-$, hence $$ \tilde K=(\log 2)e_0,\qquad \Delta=1,\qquad \sigma_t=\mathrm{id}, $$ the trivial modular flow the parent identifies. A pure state $|\mathbf r|\to1$ gives $\lambda_-\to0$, so $\det\tilde\rho\to0$ and $|\mathbf a|\to\infty$: the modular Hamiltonian diverges as faithfulness is lost. The divergence is the positivity hypothesis of the previous section appearing in the formula; a pure state on $M_2(\mathbb{C})$ is not faithful, $\Delta$ acquires the eigenvalue $0$, and $-\log\Delta$ does not exist.

The eigenvalues of $\Delta$ on the algebra are the ratios of the eigenvalues of $\tilde\rho$, $$ \operatorname{spec}\Delta=\Big\{\frac{\lambda_i}{\lambda_j}\Big\} =\Big\{1,\ \frac{\lambda_+}{\lambda_-},\ \frac{\lambda_-}{\lambda_+}\Big\}, $$ all strictly positive because $\lambda_\pm>0$. This is the concrete form of $\Delta>0$.

$\tilde K$ Generates the Same Flow as $\Delta^{it}$

The two displays are equal, not merely analogous. From $\tilde\rho=e^{-\tilde K}$, $$ \Delta^{it}(\tilde A)=\tilde\rho^{it}\tilde A\,\tilde\rho^{-it} =\big(e^{-\tilde K}\big)^{it}\tilde A\big(e^{-\tilde K}\big)^{-it} =e^{-i\tilde Kt}\tilde A\,e^{i\tilde Kt}, $$ using $(e^{-\tilde K})^{it}=e^{-i\tilde Kt}$. Differentiating at $t=0$, $$ \frac{d}{dt}\Delta^{it}(\tilde A)\Big|_{t=0} =\frac{d}{dt}\Big(e^{-i\tilde Kt}\tilde A\,e^{i\tilde Kt}\Big)\Big|_{t=0} =-i\tilde K\tilde A+i\tilde A\tilde K =-i[\tilde K,\tilde A], $$ which is the generator identity of the definition. So the $\tilde K$ constructed from the state is the same operator that generates the flow constructed from the Tomita operator, and the check is a recomputation rather than a quotation.

Verification: $\tilde K$ Generates the Modular Flow

The identities above were recomputed symbolically and numerically in the biquaternion algebra, using the matrix representation $\Phi(e_k)=-i\sigma_k$, $\Phi(i)=iI_2$. The state was the parent's generic faithful state, $$ \mathbf r=\big(\tfrac{3}{10},\tfrac{2}{5},-\tfrac15\big), \qquad |\mathbf r|^2=\tfrac{29}{100}, \qquad \lambda_\pm=\tfrac12\pm\frac{\sqrt{29}}{20}, $$ chosen — in the parent, and independently of the derivation here — to lie neither on a basis axis nor along a thermal direction, and a second, physical thermal state was used as the independent case.

Check	Result
$\Delta$ eigenvalues $\lambda_+/\lambda_-$, $\lambda_-/\lambda_+$	$3.333849$, $0.299954$, both $>0$
$\tilde K$ Hermitian, components real	$a_0=0.864392$, $\mathbf a=(-0.335401,-0.447202,0.223601)$
$a_0=-\tfrac12\log\det\tilde\rho$, $\mathbf a=-\tfrac12\log(\lambda_+/\lambda_-)\hat{\mathbf r}$	agreement to $10^{-15}$
$\sigma_t(\tilde A)=\tilde\rho^{it}\tilde A\tilde\rho^{-it}$ equals $e^{-i\tilde Kt}\tilde A e^{i\tilde Kt}$, 12 random $(\tilde A,t)$	max error $0$
$\frac{d}{dt}\sigma_t(\tilde A)\|_{t=0}=-i[\tilde K,\tilde A]$ (central difference, $h=10^{-6}$)	max error $2.4\times10^{-13}$
$\mathrm{Tr}(e^{-\tilde K})=\mathrm{Tr}(\tilde\rho)=1$	$1.0$ to $10^{-39}$

The second state is the single-mode thermal state of the partition-function article, $\tilde H=\omega\tilde N_{\mathrm{tr}}$, $\omega=0.9$, $\beta=1.2$. Its modular Hamiltonian is $$ \tilde K=\beta\tilde H+(\log Z)e_0, \qquad Z=1+e^{-\beta\omega}=1.339596, \qquad \log Z=0.292368, $$ reproducing the parents' $Z$ and $K$; more generally, for a Gibbs state with $\tilde H=h_0e_0+i\mathbf h$ at inverse temperature $\beta$, the same identity $\tilde K=\beta\tilde H+(\log Z)e_0$ was checked on the independent data $h_0=0.7$, $\mathbf h=(0.3,-0.5,0.8)$, $\beta=1.2$, where $$ Z=2e^{-\beta h_0}\cosh(\beta|\mathbf h|)=1.547753 $$ and $\tilde K-(\beta\tilde H+(\log Z)e_0)$ vanishes to $4\times10^{-39}$.

The failure when positivity is dropped. If $\tilde\rho$ is not positive definite — say $\tilde\rho=\mathrm{diag}(1,0)$ — then $\Omega=e_0$ is not separating: there is a nonzero $\tilde A$ with $\langle\tilde A,\tilde A\rangle_{\tilde\rho}=\mathrm{Tr}(\tilde\rho\tilde A^{*}\tilde A)=0$, hence $\tilde A\Omega=0$, and the Tomita rule $\tilde A\Omega\mapsto\tilde A^{*}\Omega$ is not single-valued. Equivalently, $\Delta=S^*S$ has a kernel and is not invertible, so $-\log\Delta$ diverges along that direction and no modular Hamiltonian exists; the GNS inner product is degenerate and the closed form $\Delta(\tilde A)=\tilde\rho\tilde A\tilde\rho^{-1}$ is not even available. This is the same failure the modular-theory parent exhibits for the non-separating vector $\Omega=e_1$, seen from the positivity side: the state assigns zero expectation to the nonzero positive element $E_{22}$, and the logarithm has nothing to say about it. The hypothesis carried by $\tilde K$ is exactly the hypothesis carried by $\Delta$.

The verification was run on the state that was chosen for its genericity and on a second, thermal state; no displayed identity was checked only on the case that suggested it.

The Trace Formula and the Gibbs Form

The trace formula inherited from the read list, $$ \mathrm{Tr}(\tilde P\tilde H)=2\,\mathrm{Sc}(\tilde P\tilde H), \qquad \mathrm{Tr}(e_0)=2, $$ is what makes the statement "the state is thermal with respect to $\tilde K$" computable, for two reasons.

First, since $\tilde K\in\mathbb{M}_+$, the exponential $e^{-\tilde K}=\tilde\rho$ also lies in $\mathbb{M}_+$, and its trace is a doubled scalar part: $$ \mathrm{Tr}(e^{-\tilde K})=2\,\mathrm{Sc}(e^{-\tilde K})=2\,\mathrm{Sc}(\tilde\rho)=1 . $$ The state is therefore the Gibbs state of $\tilde K$ at unit temperature with unit partition function, and every expectation is a scalar extraction: $$ \omega(\tilde A)=\frac{\mathrm{Tr}(e^{-\tilde K}\tilde A)}{\mathrm{Tr}(e^{-\tilde K})} =\frac{2\,\mathrm{Sc}(e^{-\tilde K}\tilde A)}{2\,\mathrm{Sc}(e^{-\tilde K})} =2\,\mathrm{Sc}\big(e^{-\tilde K}\tilde A\big). $$ No matrix diagonalization is needed to evaluate the state; the doubled scalar part of a biquaternion product is the whole computation.

Second, the physical Gibbs form follows by the shift $\tilde K=\beta\tilde H+(\log Z)e_0$. With $\tilde H=h_0e_0+i\mathbf h$, $$ Z=\mathrm{Tr}\big(e^{-\beta\tilde H}\big)=2\,\mathrm{Sc}\big(e^{-\beta\tilde H}\big) =2e^{-\beta h_0}\cosh(\beta|\mathbf h|), $$ and the scalar and vector parts of $\tilde K$ have direct thermodynamic readings: $$ \mathrm{Sc}(\tilde K)=\beta h_0+\log Z, \qquad \mathbf a=\beta\mathbf h, $$ the scalar part carrying the normalization $\log Z$, hence the free energy through $\log Z=-\beta F$, and the imaginary vector part being the thermal polarization of the state, $\mathbf a=\beta\mathbf h$. The trace formula is the bridge: it converts the abstract Gibbs weight $e^{-\tilde K}$ into a scalar Boltzmann factor times a boost-type biquaternion in $\mathbb{M}_+$, which is the partition-function article's thermal operator. The nonlinearity of the biquaternion exponential is tamed because the imaginary vector part squares to a positive scalar, $(i\mathbf h)^2=|\mathbf h|^2e_0$, so $\mathbf h$ and $e_0$ commute and the exponential splits.

One feature of the trace is worth separating from the modular Hamiltonian itself. The trace keeps only the scalar part of $e^{-\beta\tilde H}$ and discards its imaginary vector part, the coherence, as the partition-function article records. The modular Hamiltonian does not discard it: both parts of $\tilde K$ are needed, the scalar part for the normalization and the vector part $\mathbf a=\beta\mathbf h$ to generate the flow, which conjugates the algebra and rotates the vector parts of its elements about the axis $\hat{\mathbf a}$ while leaving the state $\tilde\rho$ itself invariant. The partition function is blind to the thermal polarization; the modular flow is what moves it.

Is the Modular Hamiltonian Local?

Locality Is Not Visible in the Finite-Dimensional Model

In $\mathbb{B}\cong M_2(\mathbb{C})$ every element is a finite matrix; there is no spacetime, no region, and no notion of an operator's support. Every faithful $\tilde\rho$ gives some $\tilde K\in\mathbb{M}_+$, and no $\tilde K$ is more or less local than any other. The question of locality therefore has no content in the algebra itself. It becomes meaningful only when the algebra is attached to spacetime regions, $V\mapsto\mathcal A(V)$, as in quantum field theory, and it is asked of the modular Hamiltonian $\tilde K_V$ of the vacuum state restricted to a region $V$.

The Generic Answer: Nonlocal

For a general region $V$ of Minkowski space, the modular Hamiltonian of the vacuum is not a local operator. Two equivalent symptoms are standard. First, it is not expressible as a smeared local field over $V$, $$ \tilde K_V\ \not\approx\ \int_V f(x)\,\mathcal O(x)\,d^3x , $$ for any local operator $\mathcal O$ and weight $f$; for a free field it contains bilocal terms, quadratic in the field at two separated points, and the obstruction to removing them is physical rather than technical. Second, and more invariantly, the modular flow $\sigma_t$ of a general region does not map $\mathcal A(V)$ to itself: it is not a geometric flow of the region, and an operator localized in $V$ is, under the flow, spread outside it. This is the precise sense in which $\tilde K_V$ is nonlocal — not that it fails to be an operator, but that it is not tied to the local algebra of $V$ the way a Hamiltonian density is.

The nonlocality is also why the Tomita–Takesaki theory is not a tool for computing a local energy: $\tilde K_V$ is defined for every region and state, but its content is generally as complicated as the entanglement structure of the state across the boundary of $V$.

The Exceptional Answer: The Cases Where $\tilde K_V$ Is Geometric

There are cases in which the modular flow is a spacetime symmetry flow and $\tilde K_V$ is therefore a local geometric generator. They are the exceptions, and they are known.

Half-spaces and wedges: the Bisognano–Wichmann theorem. For the vacuum of a Wightman field theory and a wedge region (in particular a half-space), the modular operator is $$ \Delta=e^{-2\pi G}, $$ where $G$ is the generator of the boosts that preserve the wedge, normalized to the boost parameter. The modular flow is the boost flow, by rapidity $2\pi s$ in the modular parameter; equivalently $\tilde K_V=2\pi G$. This is the one case in which $\tilde K_V$ is independently known, and the biquaternion framework houses it, as the next subsection shows.
Balls and spheres: the conformal extension. For a conformal field theory and a ball, the modular Hamiltonian is the generator of the conformal transformations that preserve the ball — a combination of the dilation and a special conformal transformation — and is again a local geometric operator. This is the Hislop–Longo theorem. The biquaternion framework does not house this case, because only the Lorentz generators $J_k=e_k$, $K_k=ie_k$ and the (non-unit) dilation are elements of $\mathbb{B}$, while the special conformal generators are not elements of the algebra at all, as the conformal-group companion establishes. The ball case's $\tilde K_V$ has a part that the algebra cannot represent.
Intervals in two dimensions. For the vacuum of a chiral or massless field on an interval, the modular Hamiltonian is again local, an integral of the stress tensor against a specific weight vanishing at the endpoints. This is a one-dimensional geometric case and is consistent with the conformal picture above.

So "$\tilde K$ is local exactly when the modular flow is geometric" is the structural statement, and the geometric cases are the wedges and balls (and their lower-dimensional analogues). The modular Hamiltonian is a local operator only in those cases; everywhere else it is the nonlocal modular Hamiltonian of the region.

The Wedge Case in Biquaternion Form

The wedge case is the one the framework can state completely, and it is also the one that the companion article The Unruh Effect in Biquaternionic Form already derives; the account here is confined to what the modular Hamiltonian itself is. In the right Rindler wedge the boost flow is generated by the Hermitian element $$ G_1=i\,e_1\in\mathbb{M}_+ , \qquad G_1^2=e_0, \qquad G_1^\dagger=G_1 , $$ which is the generator $K_1=ie_1$ of the Lorentz-group companion in the spatial direction $e_1$. Its exponential is the boost rotor $$ \tilde\Lambda(\psi)=\exp\!\Big(\frac{\psi}{2}G_1\Big) =\cosh\frac{\psi}{2}+i\sinh\frac{\psi}{2}\,e_1\ \in\mathbb{M}_+, \qquad \tilde\Lambda(\psi)\tilde\Lambda^{\natural}(\psi)=e_0, $$ and its action on the material sector is the rotor conjugation $\tilde{Q}\mapsto\tilde\Lambda(\psi)\tilde{Q}\tilde\Lambda(\psi)$ (the rotor is Hermitian). Because Bisognano–Wichmann gives $\Delta=e^{-2\pi G_1}$, the modular Hamiltonian of the wedge is $$ \tilde K_W=2\pi\,G_1=2\pi\,i\,e_1 , $$ and the modular flow is the boost by rapidity $2\pi s$ in the modular parameter $s$. The two wedges have opposite orientation: the boost generator whose flow is future-directed on the right wedge is past-directed on the left, so $\tilde K_L=-\tilde K_R$ and "the wedge modular Hamiltonian" is wedge-dependent, as the Unruh article records; the norm $|\tilde K_W|$ is what enters the temperature and is the same for both.

Three checks make this concrete, and all were recomputed symbolically in the algebra. First, the rotor really is the boost: on $\tilde{Q}=iq_0e_0+q_1e_1$ (with $q_0=ct$, and the other components untouched), $$ q_0\longmapsto q_0\cosh\psi-q_1\sinh\psi, \qquad q_1\longmapsto q_1\cosh\psi-q_0\sinh\psi, \qquad N(\tilde\Lambda\tilde{Q}\tilde\Lambda)=N(\tilde{Q}). $$ Second, the generator of this action is $G_1$ through the anticommutator, $$ \frac{d}{d\psi}\Big(\tilde\Lambda(\psi)\tilde{Q}\tilde\Lambda(\psi)\Big)\Big|_{\psi=0} =\tfrac12\{G_1,\tilde{Q}\}=\tfrac12\big(G_1\tilde{Q}+\tilde{Q}G_1\big), $$ and exponentiating this derivation reproduces the finite rotor action, $\exp(\psi\,\delta_{G_1})\tilde{Q}=\tilde\Lambda(\psi)\tilde{Q}\tilde\Lambda(\psi)$, with $\delta_{G_1}=\tfrac12\{G_1,\cdot\,\}$. Third, the commutator $[G_1,\tilde{Q}]$ is not the boost: on the boost plane $q_2=q_3=0$ it vanishes, and in general it generates a rotation in the orthogonal plane, $$ [G_1,\tilde{Q}]=\big(0,\,0,\,-2i\,q_3,\,2i\,q_2\big) \quad\text{for}\quad \tilde{Q}=iq_0e_0+q_1e_1+q_2e_2+q_3e_3 . $$ So the modular Hamiltonian's action here is two-sided, not an inner commutator: writing $\tilde K_W=2\pi G_1$ identifies the algebra element, and the flow it generates on $\mathbb{M}_-$ is the rotor conjugation above. This is the same warning the curved-spacetime and Lorentz-transformation companions give for boosts, and the wedge is a case where it is load-bearing — a reader who generates the flow by $-i[\tilde K_W,\cdot]$ obtains a rotation about $e_1$, not the boost.

There is a structural reason the wedge case looks different from the finite-dimensional model, and it should be stated rather than smoothed over. The wedge algebra of a quantum field theory is a type III von Neumann algebra, and its modular flow is outer: no element of the algebra implements it as an inner automorphism, and no trace, hence no density matrix, exists. The finite-dimensional $\mathbb{B}$ is a type I$_2$ factor, semifinite, and its modular flow is inner, implemented by $\tilde\rho^{it}\in\mathbb{B}$; that is why $\tilde K=-\log\tilde\rho$ generates the flow by a commutator there. In the wedge case the modular Hamiltonian $2\pi G_1$ is a geometric generator — a local object, a boost — and not an inner element of the algebra, even though its biquaternion representative $G_1=ie_1$ is an element of $\mathbb{B}$. The two statements "$\tilde K\in\mathbb{M}_+$" and "$\tilde K$ generates the modular flow" therefore hold in both cases, but their mechanisms differ: inner commutator in the finite-dimensional model, geometric outer flow in the wedge. The parent's type gap — that $\mathbb{B}$ lies on the semifinite side and cannot host an outer modular flow — is exactly the gap that separates the two.

What Is Established and What Is a Gap

Established (theorem).

The Tomita–Takesaki construction of $\Delta$ and the modular group, and the equivalence of cyclic and separating with faithful (modular-theory parent).
The Takesaki–Winnink theorem: a faithful normal state is a KMS state for its modular flow, normalized to $\beta=1$; the rescaled width is $\beta$ (KMS parent).
The spectral theorem, which makes $-\log\Delta$ a self-adjoint operator for every strictly positive self-adjoint $\Delta$.
Bisognano–Wichmann, for wedges and half-spaces, and the conformal (Hislop–Longo) extension to balls; both imported, not derived.

Established (recomputed here).

$\tilde K=-\log\Delta$ is defined by $\Delta=e^{-\tilde K}$; with this convention $\Delta^{it}=e^{-i\tilde Kt}$ and $d\sigma_t/dt|_{t=0}=-i[\tilde K,\tilde A]$, and the opposite sign convention reverses which flow is KMS.
In $\mathbb{B}\cong M_2(\mathbb{C})$, $\tilde K=-\log\tilde\rho\in\mathbb{M}_+$, with the spectral form $a_0=-\tfrac12\log\det\tilde\rho$, $\mathbf a=-\tfrac12\log(\lambda_+/\lambda_-)\hat{\mathbf r}$; $\Delta>0$ for every faithful state, and $\tilde K$ does not exist for a non-faithful one.
$\tilde K$ generates the same flow as $\Delta^{it}$: verified symbolically and numerically on a generic rotated state and a thermal state.
$\mathrm{Tr}(e^{-\tilde K})=1$, and the trace formula makes the Gibbs state a doubled scalar extraction, with $\mathrm{Sc}(\tilde K)=\beta h_0+\log Z$ and $\mathbf a=\beta\mathbf h$.
In the wedge, $\tilde K_W=2\pi G_1$ with $G_1=ie_1\in\mathbb{M}_+$; the rotor action is the boost, its generator is the anticommutator $\tfrac12\{G_1,\cdot\,\}$, and the commutator is a rotation in the orthogonal plane.

Interpretation.

Reading $\tilde K\in\mathbb{M}_+$ as the informational-sector object whose unit-temperature Gibbs state is the given state, and the modular flow as Hamiltonian evolution under it.
Reading the nonlocality of $\tilde K_V$ as the statement that the modular flow is not geometric outside the Bisognano–Wichmann and conformal cases.

Gap.

The framework admits a modular Hamiltonian for every faithful state of $\mathbb{B}$ but does not select a state, so it does not select a $\tilde K$; the tracial state gives the central $\tilde K=(\log 2)e_0$.
Locality of $\tilde K$ is not testable inside $\mathbb{B}$; the finite-dimensional model has no regions. The nonlocal generic case and the conformal ball case are standard field-theoretic results that the framework imports or cannot express.
The ball case cannot be housed: the special conformal generators are not elements of $\mathbb{B}$, so the wedge is the only geometric modular Hamiltonian the algebra realizes completely.
The wedge flow is outer and lives on a type III algebra that is not $\mathbb{B}$; the framework's finite-dimensional algebra cannot host it, and the type III extension remains open as in the parents.
No empirical consequence is derived.

Summary

The modular Hamiltonian is the operator that generates the modular flow. Writing $\Delta=e^{-\tilde K}$, equivalently $\tilde K=-\log\Delta$, the flow is Hamiltonian evolution, $$ \sigma_t(\tilde A)=\Delta^{it}\tilde A\Delta^{-it}=e^{-i\tilde Kt}\tilde A\,e^{i\tilde Kt}, \qquad \frac{d}{dt}\sigma_t(\tilde A)\Big|_{t=0}=-i[\tilde K,\tilde A], $$ and the KMS state is the thermal state of $\tilde K$ at unit temperature. The definition inherits the whole hypothesis of the Tomita–Takesaki construction — $\Omega$ cyclic and separating, equivalently the state faithful — and strict positivity of $\Delta$ is that same hypothesis read off the spectrum: $\Delta=S^*S\ge0$ is automatic, but $-\log\Delta$ exists only when $\Delta>0$, and a non-faithful state leaves an eigenvalue $0$ at which the logarithm diverges. The sign in $\Delta=e^{-\tilde K}$ is a convention that reverses which flow is KMS; it is fixed here as in the parents and held.

In the biquaternion algebra $\mathbb{B}\cong M_2(\mathbb{C})$ the parents' finite-dimensional model gives $\tilde\rho=e^{-\tilde K}$ and $$ \tilde K=-\log\tilde\rho\in\mathbb{M}_+, \qquad \tilde K=a_0e_0+i\mathbf a\cdot\mathbf e, \qquad a_0=-\tfrac12\log\det\tilde\rho, \qquad \mathbf a=-\tfrac12\log\frac{\lambda_+}{\lambda_-}\hat{\mathbf r}, $$ so the modular Hamiltonian is a Hermitian element of the informational sector, with the scalar part fixed by the determinant of the state and the vector part by its Bloch polarization. It was verified symbolically and numerically — on a generic rotated state and on a thermal state, not only on the case that suggested the formulas — that $\tilde K$ generates the same flow as $\Delta^{it}$, that $\mathrm{Tr}(e^{-\tilde K})=1$, and that the trace formula $\mathrm{Tr}(\tilde P\tilde H)=2\,\mathrm{Sc}(\tilde P\tilde H)$ makes the Gibbs form computable, with $\mathrm{Sc}(\tilde K)=\beta h_0+\log Z$ and $\mathbf a=\beta\mathbf h$.

The one structural question the finite-dimensional model cannot settle is locality. For a general spacetime region the modular Hamiltonian of the vacuum is nonlocal, and the modular flow is not geometric; it is local exactly in the exceptional cases where the flow is a symmetry flow — the Bisognano–Wichmann wedge, where $\tilde K_W=2\pi G_1$ with $G_1=ie_1\in\mathbb{M}_+$ and the flow is the boost by rapidity $2\pi s$, and the conformal ball, which the framework cannot fully express because the special conformal generators are not elements of $\mathbb{B}$. In the wedge the flow is outer and the action is the two-sided rotor conjugation, not the commutator $[\tilde K_W,\cdot\,]$; in the finite-dimensional model the flow is inner and the commutator is correct. Both cases have $\tilde K\in\mathbb{M}_+$, by different mechanisms, and the gap between them is the type gap of the modular-theory parent.

Summary of Notation

Symbol	Meaning
$\mathbb{B}=\mathbb{C}\otimes_\mathbb{R}\mathbb{H}$	Biquaternion algebra, $\cong M_2(\mathbb{C})$
$e_0=1,e_1,e_2,e_3$	Quaternion basis, $e_k^2=-e_0$
$i$	Scalar imaginary, $i^2=-1$
$\mathbb{M}_+,\mathbb{M}_-$	Informational (Hermitian) and material (anti-Hermitian) subspaces
${}^{*}$	Hermitian conjugation; the Tomita involution $A^*$
$\mathrm{Tr}(\tilde P\tilde H)=2\,\mathrm{Sc}(\tilde P\tilde H)$	Trace formula; $\mathrm{Tr}(e_0)=2$
$S=J\Delta^{1/2}$	Tomita operator and its polar decomposition
$\Delta=S^*S\ge0$	Modular operator; $\Delta>0$ iff the state is faithful
$\tilde K=-\log\Delta$	Modular Hamiltonian; $\Delta=e^{-\tilde K}$
$\sigma_t(\tilde A)=\Delta^{it}\tilde A\Delta^{-it}=e^{-i\tilde Kt}\tilde A e^{i\tilde Kt}$	Modular flow
$d\sigma_t/dt\|_{t=0}=-i[\tilde K,\tilde A]$	Generator identity (sign convention fixed here)
$\tilde\rho\in\mathbb{M}_+$	Faithful state, positive definite, trace one
$\tilde K=-\log\tilde\rho\in\mathbb{M}_+$	Modular Hamiltonian in the finite-dimensional model
$\lambda_\pm=\tfrac12(1\pm\|\mathbf r\|)$	Eigenvalues of $\tilde\rho$
$a_0=-\tfrac12\log\det\tilde\rho$	Scalar part of $\tilde K$
$\mathbf a=-\tfrac12\log(\lambda_+/\lambda_-)\hat{\mathbf r}$	Vector part of $\tilde K$
$\tilde K=\beta\tilde H+(\log Z)e_0$	Gibbs-state modular Hamiltonian
$G_1=ie_1\in\mathbb{M}_+$	Boost generator ($=K_1$ in the Lorentz-group companion)
$\tilde\Lambda(\psi)=\cosh\frac{\psi}{2}+i\sinh\frac{\psi}{2}e_1$	Boost rotor (Hermitian, unit norm)
$\tilde K_W=2\pi G_1$	Wedge modular Hamiltonian (Bisognano–Wichmann)