REVIEW
Momentum-space entanglement and mutual information in Kaluza-Klein reduction
High Energy Physics - Theory · Submitted 27 Oct 2026 · 58 references
Pith's verdict: Careful leading-order calculation showing KK reduction loses state information via a 1/m_n tail and ln N growth that local EFT cannot capture; deserves refereeing.
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Kaluza–Klein reduction leaves the four-dimensional vacuum in a mixed state, entangled with the tower of massive modes.
The reading
What carries the argument
The load-bearing object is the entanglement kernel $I = \Sigma/V$, the trace of the Gram matrix of first-order entangled amplitudes divided by the spatial volume: each coefficient is $|\langle Y,Z|H_I|0\rangle|^2/(\lambda^2 E^2)$, summed over states with excitations in both the accessible and discarded sectors. Its trace determines the purity deficit and the leading logarithm of the von Neumann entropy at order $\lambda^2$, and because the trace is basis independent it can be evaluated directly as phase-space integrals over the three entangling channels, labelled (2,2), (1,3), and mixed. The dependence on the level $n$ is carried entirely by one hard integral $\int d^3q\, (q^2 + m_n^2)^{-2}$, which is dominated by momenta $|q| \sim m_n$ and produces the $1/m_n$ tail; the pattern of ultraviolet divergence is fixed by how many hard momenta a vertex leaves free.
Extended reading notes
Core claim
The paper establishes that the state a four-dimensional observer obtains by tracing the higher-dimensional vacuum over the Kaluza–Klein tower is, once interactions are switched on, mixed, and that this mixing is invisible to the local effective action. Quantitatively, when the zero modes couple linearly and without derivatives to tower pairs, the mutual information $I_n$ with level $n$ falls as $1/m_n$; in the cubic theory the tail is cutoff independent with coefficient $(\mu R)^2/1024\pi^3$, and the mutual information with the first $N$ levels grows as $\ln N$. The quartic vertex masks this tail because it also produces states with an additional hard quantum, whose phase space is dominated by momenta near the cutoff and depends on the ultraviolet completion. The paper reads the result as a sharp distinction: amplitude corrections fall as $1/m_n^2$, saturate at the lightest levels, and are captured by local operators, whereas the information receives an equal contribution from every octave of levels, lives in the time-nonlocal part of the effective action, and grows with the number of levels integrated out. A supersymmetric compactification with exactly vanishing vacuum energy therefore still leaves the accessible sector entangled with the tower.
Load-bearing premise
The quantitative claims rest on the assumption that the order-$\lambda^2$ calculation in a finite box exponentiates, so that the intensive entanglement kernel $I$ still controls the entropy density of the infinite system; if that exponentiation fails, the literal $1/m_n$ tail and $\ln N$ growth lose their meaning for an infinite volume.
Editorial extensions
If this is right
- The mutual information between the zero-mode vacuum and the whole Kaluza–Klein tower grows as $\ln N$, so doubling the tower adds a fixed amount of information even though amplitude corrections change by $O(1/N)$.
- In the cubic theory the leading coefficient $(\mu R)^2/1024\pi^3$ is independent of the ultraviolet cutoff, making the logarithmic growth a genuine property of the compactification rather than a regulator artefact.
- The four-dimensional effective description captures correlation functions but not nonlinear functionals of the state, so state-level predictions such as decoherence are incomplete without the time-nonlocal terms that a derivative expansion discards.
- A supersymmetric Minkowski compactification with vanishing vacuum energy still leaves the accessible sector in a mixed state, because at leading order the mutual information is a sum of squared amplitudes that cannot cancel.
- On internal manifolds of codimension at least two, Weyl's law turns the logarithmic level sum into a power of $N$, making the missing information parametrically larger than in the codimension-one case.
Reading between the lines
- If the $1/m_n$ decay and the $\ln N$ growth survive beyond leading order, the practical diagnostic is the per-mode mixedness $\epsilon$ of Eq. (8.2), which suggests that a tower with $\ln N \gtrsim 270\,\mu R/(\lambda_3 R)^2$ would break the perturbative description of the reduced state even while each level individually couples weakly.
- The cubic result depends on a single underlying hard integral, which feeds the connected-correlation bound of Section 8.3; a laboratory analogue with transverse trap levels playing the role of the tower could in principle test the predicted $m_n^{-1/2}$ decay of the bounded two-point correlators between the low-energy sector and a single level.
- Because the sharp momentum partition is frame dependent, only cutoff-independent combinations are physically meaningful; a testable extension is to recompute $I_n$ with a Lorentz-symmetric, smeared cutoff and check that the $1/m_n$ tail and the $\ln N$ coefficient survive unchanged.
Original abstract
In theories with compact extra dimensions, the four-dimensional effective description is obtained by Kaluza-Klein reduction. The state available to a four-dimensional observer is the reduced density matrix obtained by tracing the higher-dimensional vacuum over the tower of massive modes, and it need not be pure. In this paper we study the momentum-space entanglement of this state for a five-dimensional scalar on $M_4\times S^1$ with a cubic or quartic self-interaction. We compute, at leading order in the coupling, the mutual information $I_n$ between the zero modes below a resolution scale $\mu$ and a single Kaluza-Klein level $n$. When the zero modes couple linearly and without derivatives to pairs of tower modes, $I_n$ falls as $1/m_n$, where $m_n$ is the mass of level $n$. In the cubic theory, this tail is independent of the ultraviolet cutoff, with coefficient $(\mu R)^2/1024\pi^3$ for compactification radius $R$, and the mutual information with the whole tower grows logarithmically with the number of levels. In the quartic theory, the tail is masked by states containing additional hard quanta, which make $I_n$ depend on the cutoff. Compared with the corrections the tower makes to low-energy amplitudes, which are dominated by the lightest levels and captured by local operators, the mutual information with the tower is not dominated by any finite set of levels and arises from the time-nonlocal part of the effective action. The local four-dimensional effective theory therefore describes the low-energy observables of the reduced system but not its state. Unbroken supersymmetry cancels the vacuum energy of the compactification but not the mutual information, which at leading order is a sum of squared amplitudes.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
In theories with compact extra dimensions, the four-dimensional effective description is obtained by Kaluza-Klein reduction. The state available to a four-dimensional observer is the reduced density matrix obtained by tracing the higher-dimensional vacuum over the tower of massive modes, and it need not be pure. In this paper we study the momentum-space entanglement of this state for a five-dimensional scalar on $M_4\times S^1$ with a cubic or quartic self-interaction. We compute, at leading order in the coupling, the mutual information $I_n$ between the zero modes below a resolution scale $\mu$ and a single Kaluza-Klein level $n$. When the zero modes couple linearly and without derivatives to pairs of tower modes, $I_n$ falls as $1/m_n$, where $m_n$ is the mass of level $n$. In the cubic theory, this tail is independent of the ultraviolet cutoff, with coefficient $(\mu R)^2/1024\pi^3$ for compactification radius $R$, and the mutual information with the whole tower grows logarithmically with the number of levels. In the quartic theory, the tail is masked by states containing additional hard quanta, which make $I_n$ depend on the cutoff. Compared with the corrections the tower makes to low-energy amplitudes, which are dominated by the lightest levels and captured by local operators, the mutual information with the tower is not dominated by any finite set of levels and arises from the time-nonlocal part of the effective action. The local four-dimensional effective theory therefore describes the low-energy observables of the reduced system but not its state. Unbroken supersymmetry cancels the vacuum energy of the compactification but not the mutual information, which at leading order is a sum of squared amplitudes.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | In theories with compact extra dimensions, the four-dimensional effective description is obtained by Kaluza-Klein reduction. | background 1.00 | 0.04 | 0.02 | asserted 1.00 |
| s1 | The state available to a four-dimensional observer is the reduced density matrix obtained by tracing the higher-dimensional vacuum over the tower of massive modes, and it need not be pure. | background 0.99 | 0.09 | 0.06 | asserted 0.69 |
| s2 | In this paper we study the momentum-space entanglement of this state for a five-dimensional scalar on $M_4\times S^1$ with a cubic or quartic self-interaction. | contribution 1.00 | 0.82 | 0.03 | asserted 0.95 |
| s3 | We compute, at leading order in the coupling, the mutual information $I_n$ between the zero modes below a resolution scale $\mu$ and a single Kaluza-Klein level $n$. | contribution 0.73 | 0.96 | 0.07 | asserted 1.00 |
| s4 | When the zero modes couple linearly and without derivatives to pairs of tower modes, $I_n$ falls as $1/m_n$, where $m_n$ is the mass of level $n$. | result 1.00 | 0.89 | 0.13 | asserted 1.00 |
| s5 | In the cubic theory, this tail is independent of the ultraviolet cutoff, with coefficient $(\mu R)^2/1024\pi^3$ for compactification radius $R$, and the mutual information with the whole tower grows logarithmically with the number of levels. | result 1.00 | 0.94 | 0.18 | asserted 1.00 |
| s6 | In the quartic theory, the tail is masked by states containing additional hard quanta, which make $I_n$ depend on the cutoff. | result 1.00 | 0.90 | 0.06 | asserted 1.00 |
| s7 | Compared with the corrections the tower makes to low-energy amplitudes, which are dominated by the lightest levels and captured by local operators, the mutual information with the tower is not dominated by any finite set of levels and arises from the time-nonlocal part of the effective action. | interpretation 0.93 | 0.79 | 0.42 | asserted 1.00 |
| s8 | The local four-dimensional effective theory therefore describes the low-energy observables of the reduced system but not its state. | interpretation 0.99 | 0.66 | 0.54 | asserted 1.00 |
| s9 | Unbroken supersymmetry cancels the vacuum energy of the compactification but not the mutual information, which at leading order is a sum of squared amplitudes. | result 0.85 | 0.68 | 0.09 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
Figures
Figures reproduced from arXiv:2610.37009 by the authors.
References
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.