---
title: Negativity Cores in Gaussian Entanglement
url: https://www.emergentmind.com/topics/negativity-cores
type: topic
---

# Negativity Cores in Gaussian Entanglement

Negativity cores are localized entanglement carriers defined with respect to the partial-transpose structure of a mixed bipartite state. In the Gaussian quantum-field and many-body settings where the term is used explicitly, a negativity core is not merely a region-level scalar such as the logarithmic negativity, but a mode-resolved decomposition in which the entanglement between two disjoint subsystems is concentrated into paired modes, one on each side of the bipartition. In lattice scalar-field vacuum states this concentration is achieved by local symplectic transformations that isolate a tensor-product “core” of entangled two-mode Gaussian states from a residual “halo” [2110.10736]. In the continuum vacuum of a \(1+1\)-dimensional massless real scalar field, each negativity core is a pair of localized interval modes associated with a partially transposed symplectic eigenvalue \(\tilde{\nu}_n<1\), contributing exactly \(-\log_2 \tilde{\nu}_n\) to the total logarithmic negativity [2606.30231]. The notion therefore turns entanglement negativity into a structural description of where mixed-state entanglement resides in field space, rather than only how much of it is present [2605.23824].

## 1. Definition and terminological scope

In the lattice formulation developed for non-interacting scalar field theory in one spatial dimension, the vacuum entanglement between two finite disjoint regions \(A\) and \(B\), initially a \((d_A\times d_B)_{\rm mixed}\) Gaussian continuous-variable state, is locally transformed into a tensor-product core of \((1_A\times 1_B)_{\rm mixed}\) entangled pairs [2110.10736]. The number of such pairs is \(n_c=n_-\), where \(n_-\) is the number of partially transposed symplectic eigenvalues below unity, and each pair is associated with one negativity-contributing mode. The remainder of the degrees of freedom is termed the “halo.”

The continuum definition is sharper. For two compact spacelike-separated intervals \(A\) and \(B\) in the vacuum of a \(1+1\)D massless real scalar field, the term “negativity cores” denotes the pairwise local mode decomposition of the entangled content of the bipartite Gaussian state: modes with \(\tilde{\nu}_n<1\) form the core, while the orthogonal complement forms a halo that does not contribute to the logarithmic negativity [2606.30231]. A complementary formulation describes a negativity core as the pair of localized field modes, one in \(A\) and one in \(B\), that together capture a single “modewise” contribution to the mixed-state entanglement between the two regions [2605.23824].

This usage is therefore specific and technical. It does not refer generically to regions of negative spectrum, nor to a coarse spatial subregion, but to a canonical mode pair singled out by the spectrum of the partially transposed Gaussian structure.

## 2. Gaussian-state and partial-transpose framework

The negativity-core construction is formulated in phase space. In the lattice Gaussian setting, the vacuum covariance matrix is written as
\[
\sigma=\begin{pmatrix} G & 0 \\ 0 & H \end{pmatrix},
\]
and partial transpose for a bipartition \(A|B\) is implemented by the continuous-variable rule \(\hat{\pi}_j\to -\hat{\pi}_j\) for \(j\in B\), or equivalently \(\sigma^\Gamma=\Gamma \sigma \Gamma\) at the covariance-matrix level [2110.10736]. The partially transposed symplectic spectrum
\[
\boldsymbol{\nu}^\Gamma=\mathrm{spec}|i\Omega \sigma^\Gamma|=2\,\mathrm{spec}\sqrt{GH^\Gamma}
\]
determines the logarithmic negativity,
\[
\mathcal N=-\sum_j \log_2 \min(\nu_j^\Gamma,1)= -\sum_{j=1}^{n_-}\log_2 \nu_j^\Gamma.
\]
The negativity core is obtained by constructing local symplectic transformations
\[
\sigma'=(S_A\oplus S_B)\,\sigma\,(S_A\oplus S_B)^T
\]
from the partial-transpose eigenvectors and organizing the state as
\[
\sigma'=\sigma_c\oplus \sigma_h + Y,
\]
where \(\sigma_c\) is the core, \(\sigma_h\) the halo, and \(Y\) a positive semidefinite classical-noise matrix [2110.10736].

The continuum formulation recasts the same structure in Kähler language. For a Gaussian state with covariance matrix \(G^{ab}\), the linear complex structure is
\[
\tensor{J}{^a_b}:=-G^{ac}\omega_{cb},
\]
and partial transpose gives
\[
(G^\Gamma)^{ab}=\tensor{\Gamma}{^a_c}G^{cd}\tensor{(\Gamma^T)}{_d^b},
\qquad
\tensor{(J^\Gamma)}{^a_b}:=-(G^\Gamma)^{ac}\omega_{cb}.
\]
The partially transposed symplectic eigenvalues \(\tilde{\nu}_n\) are then the spectral data of \(J^\Gamma\), and
\[
E_{\mathcal N}=\sum_{\tilde{\nu}_n<1} -\log_2 \tilde{\nu}_n
\]
follows directly [2606.30231]. A notable refinement of this framework is a basis-independent definition of transpose: a linear map \(T:V\to V\) is a transpose iff
\[
T^2=1,\qquad T^T\omega T=-\omega.
\]
This isolates the essential operation behind partial transpose without tying it to a preferred coordinate basis [2606.30231].

## 3. Exact continuum solution in the \(1+1\)D massless scalar vacuum

The most complete realization of negativity cores is presently available for the vacuum of a free massless real scalar field in \(1+1\) dimensions. The field Hamiltonian is
\[
H=\frac12\int dx\,\big[\pi(x)^2+\phi'(x)^2\big],
\]
with two disjoint bounded intervals
\[
A=(a_1,a_2),\qquad B=(b_1,b_2),
\]
and with observables restricted to derivative degrees of freedom via smearing functions of vanishing integral on each interval, which removes the zero-mode divergence [2605.23824]. In the right/left-moving basis,
\[
\phi(x)=\phi_R(x)+\phi_L(x),\qquad \pi(x)=-\phi_R'(x)+\phi_L'(x),
\]
the two chiral sectors decouple and contribute equally, producing a twofold degeneracy in the negativity spectrum [2606.30231].

For this problem, all interval-geometry dependence is encoded in the conformal cross ratio
\[
\eta=\frac{(a_2-a_1)(b_2-b_1)}{(b_1-a_1)(b_2-a_2)}
=\frac{\ell_A\ell_B}{(\ell_A+d)(\ell_B+d)}.
\]
The diagonalization of the partially transposed restricted complex structure reduces to a boundary-value problem in the complex plane. The analytic function \(S(z)\), defined off the cuts \(\overline{A\cup B}\), has the unique solution relevant for \(|\tilde{\nu}|<1\),
\[
S(z)=C\,(z-a_1)^{-\frac12+is}(z-a_2)^{-\frac12-is}(z-b_1)^{-\frac12-is}(z-b_2)^{-\frac12+is},
\]
with
\[
\lambda=-e^{2\pi s},\qquad \tilde{\nu}=\tanh(\pi s).
\]
Imposing the vanishing-integral constraints discretizes the spectrum through
\[
P_{-is-\frac12}\!\left(\frac{1+\eta}{1-\eta}\right)=0,
\]
so that the admissible \(s_n\) are zeros of a conical/Legendre function and
\[
E_{\mathcal N}=\sum_n -\log_2\big(\tanh(\pi s_n)\big)
\]
for the full theory [2606.30231].

The resulting negativity-core modes are given in closed form. Their smearing functions on \(A\) and \(B\) have endpoint-controlled square-root denominators and oscillatory phases \(e^{\mp is_n\omega(x)}\), where
\[
\omega(x)=\ln\!\left(-\frac{x-a_1}{x-a_2}\frac{x-b_2}{x-b_1}\right).
\]
These modes are canonical, interval-localized, and pairwise entangled; as \(s_n\) increases, the oscillations become more rapid. The continuum solution thereby identifies not only the total negativity but also the explicit local mode pairs that carry it [2605.23824].

## 4. Core–halo decomposition, hierarchy, and asymptotics

The core–halo split is central to the meaning of negativity cores. In the lattice construction, the transformed state can be resolved as
\[
\sigma'=\sigma_{c,1}\oplus \sigma_{c,2}\oplus \cdots \oplus \sigma_{c,n_c}\oplus \sigma_h + Y,
\]
with each two-mode block \(\sigma_{c,j}\) carrying one contribution
\[
\mathcal N_j=-\log_2 \nu_j^\Gamma
\]
to the total negativity [2110.10736]. Accessible entanglement is exactly the sum of these core-pair contributions and matches the full region-region logarithmic negativity. The ordering is hierarchical: the strongest partial-transpose mode becomes the strongest physical core pair, the next strongest becomes the next pair, and so forth. Numerically this hierarchy is typically exponential, so that at moderate separations
\[
\mathcal N_1 \gg \mathcal N_2 \gg \mathcal N_3 \cdots
\]
and only a few pairs dominate the long-range entanglement [2110.10736].

The halo is more subtle than a simple separable remainder. The lattice analysis shows that the halo can be \(AB\)-separable in isolation and also separable from the core with respect to another partition, yet these two separability statements are not simultaneously compatible in the full mixed state because positivity of the combined classical-noise structure fails. This motivates the interpretation of halo correlations as inaccessible or bound entanglement: they are obscured by classical correlations and may be required by the preparation protocol even though the distillable entanglement is concentrated in the core [2110.10736].

The continuum solution adds exact asymptotics. For equal-length intervals with \(d/\ell\gg1\), the \(n\)-th negativity contribution obeys
\[
E_{\mathcal N,n}\sim 2\,e^{-\pi j_{0,n}\left(1+\frac{d}{\ell}\right)},
\]
where \(j_{0,n}\) is the \(n\)-th zero of \(J_0\), and the dominant decay rate is \(\pi j_{0,1}\approx 7.555\) [2605.23824]. As the intervals approach each other, \(\eta\to1\), the total negativity diverges as
\[
E_{\mathcal N}\sim -\frac18\log_2(1-\eta)-\log_2\big(-\ln(1-\eta)\big),
\]
which combines the universal adjacent-interval logarithm with an additional double-logarithmic term attributed to the infrared structure of the massless scalar [2605.23824]. In physical terms, increased separation forces the core modes to become more oscillatory, exhibiting an explicit ultraviolet–infrared connection.

## 5. Conceptual interpretations in the wider negativity literature

Negativity cores are a mode-localized notion, but they resonate with broader interpretations of negativity. One such line of thought is the dimension-counting interpretation of negativity. For a bipartite state \(\rho\), the quantity
\[
\mathcal N_{\mathrm{dim}}(\rho)=2\mathcal N(\rho)+1=\|\rho^{T_A}\|_1
\]
was introduced as an estimator of how many local degrees of freedom are entangled; in particular, \(\mathcal N_{\mathrm{dim}}(\rho)\) is a lower bound on the Schmidt number for arbitrary states, and for axisymmetric states one has
\[
\text{SLOCC class }k=\lceil \mathcal N_{\mathrm{dim}}(x,y)\rceil
\]
exactly [1304.7225]. This suggests a natural interpretation of negativity cores: the core need not be viewed only as a set of localized modes, but also as the minimal entangled subspace certified by the partial transpose.

A second line concerns the distinction between bipartite and multipartite correlations. In monitored stabilizer circuits, mutual negativity obeys
\[
N_{A,B}=e_{AB}\ln 2,
\]
whereas
\[
\frac12 I_{A,B}=\left(e_{AB}+\frac12 g_{ABC}\right)\ln 2.
\]
Negativity therefore counts only the EPR-pair content \(e_{AB}\), while mutual information also counts GHZ-type content \(g_{ABC}\) [2012.00031]. Although that work does not introduce negativity cores as a technical construction, it implies that a negativity-based decomposition isolates a genuinely bipartite entanglement backbone rather than total or multipartite correlation. In that sense, the core language aligns with a broader operational reading of negativity as the part of a mixed-state correlation structure that remains directly distillable and pairwise.

These parallels are interpretive rather than definitional. The explicit notion of a negativity core remains tied to Gaussian mode decompositions, but its conceptual significance is strengthened by the wider literature on negativity as a witness of entangled dimensionality and of strictly bipartite quantum correlations.

## 6. Applications, extensions, and open problems

The principal application of negativity cores is entanglement localization. In the lattice scalar-field setting, the core pairs identify the dominant region modes from which vacuum entanglement could be extracted into a spatially separated pair of quantum detectors, while the partial-transpose eigenmodes provide a guide for constructing effective detector couplings when the local preprocessing cannot be performed directly in the continuum [2110.10736]. The same work argues that entanglement consolidation should persist in higher dimensions and may aid classical and quantum simulations of asymptotically free gauge field theories such as quantum chromodynamics [2110.10736].

The continuum analysis extends this program by giving a complete mode-resolved characterization for arbitrary disjoint intervals in a massless scalar vacuum and by exhibiting an exact complex-analytic route to the negativity spectrum [2606.30231]. Several extensions are stated explicitly: higher dimensions, where related boundary-value reformulations of Gaussian entanglement problems already exist; fermionic fields, where the Kähler framework persists but the partial transpose is subtler; and alternative modal decompositions together with the energetic cost of extracting entanglement from the field [2605.23824]. The same continuum work also remarks that all negativity cores are mutually commuting across different \(n\), so the entire family of core modes can in principle be extracted simultaneously [2605.23824].

Limitations remain equally clear. The most complete results are for free Gaussian theories. The halo structure is only partly understood, especially when inaccessible or bound entanglement is implicated in state preparation. Even within the exactly solved massless scalar problem, high-\(n\) cores are increasingly oscillatory and become harder to resolve numerically on a lattice regularization [2605.23824]. A plausible implication is that negativity cores furnish a canonical language for mixed-state entanglement geometry in free theories, while interacting and non-Gaussian systems still require an analogous structural theory.

Source: https://www.emergentmind.com/topics/negativity-cores