Single-Trace, Multi-Trace, and Collective-Field Organization for Bulk Criteria
At leading large , an isolated normalized single-trace primary can label an approximate one-particle state, while multi-trace primaries organize the corresponding multiparticle sector. This interpretation is conditional rather than absolute. The inner-product matrix must first be normalized, the dilatation operator must then be diagonalized, and near-degenerate levels can mix through an -independent angle even though the off-diagonal coupling is only .
Required background. Large-N Factorization and Classical Bulk Scaling supplies the connected-correlator hierarchy.
Helpful background. From the Local OPE to Conformal Data defines the CFT spectrum and OPE coefficients. Local Field Redefinitions and the Equivalence Theorem explains which bulk statements survive a change of variables.
Read the taxonomy first, then follow the Gram-matrix calculation into the near-degenerate regime. The worked basis change separates invariant data—the generalized spectrum and metric-completed projections—from candidate-basis data such as individual overlaps, off-diagonal entries, and fixed-gap mixing angles.
Single traces, double traces, and collective coordinates
Section titled “Single traces, double traces, and collective coordinates”In an adjoint matrix theory, a single-trace candidate is a renormalized gauge-invariant composite with one color trace, normalized so that its two-point function is order one. A leading-order double-trace candidate is the normalized conformal-primary projection of the product after descendant contamination and null directions have been removed. At finite , lower-trace components are determined by the Gram and dilatation problem rather than removed in advance. Vector models use a different organization; there, singlet bilocals can be the efficient collective coordinates.
| Candidate coordinate | Large-N construction | Conditional bulk reading | Main limitation |
|---|---|---|---|
| Normalized single-trace primary | One color trace, with order-one two-point norm | Approximate one-particle label | Requires spectral isolation and weak mixing |
| Normalized leading-order double-trace candidate | Product of two single traces, projected to a primary at N = ∞ | Approximate two-particle label | Resonances can destroy trace-number labels |
| Singlet bilocal in a vector model | Sum over one vector index, kept as a function of two points | Collective coordinate for a higher-spin sector | It is not one local particle or a finite-field Einstein EFT |
Let and be normalized scalar single-trace primaries, and write
for this normalized conformal-primary projection of their double-trace family. Here counts radial excitation and is orbital spin; only even occurs when the two constituents are identical bosonic scalars. Spinning constituents require additional tensor-family labels. Under radial quantization, write
In an orientable adjoint-matrix ’t Hooft expansion, at fixed and and away from resonant mixing,
The contribution is the energy of two free AdS particles in global units, while records the leading interaction shift in this matrix normalization. The exact tower follows from generalized-free factorization Fitzpatrick and Kaplan 2013, § 2.2, eqs. (18) and (23), printed pp. 9–10, Open PDF. The displayed correction is matrix-theory-specific; Heemskerk et al. 2009, §§ 3.2–3.3, eqs. (3.3) and (3.9), printed pp. 10–12, Open PDF exhibit it in a more restrictive model with a low scalar, a symmetry, and a large gap. Other large- expansions can use different powers.
In the standard orientable single-trace ’t Hooft organization assumed here, normalized connected counting permits single–double candidate overlaps at order . After the subtractions implicit in the leading-order double-trace projection,
whereas the leading double-trace norm contains a disconnected product of two two-point functions and is . The Gram overlap follows directly from the connected three-point hierarchy. Assigning the same generic power to the candidate-basis dilatation matrix additionally assumes the usual single-trace large- organization of the Hamiltonian or dilatation generator; leading multi-trace deformations are outside this statement Heemskerk et al. 2009, § 2.4, footnote 9, printed pp. 7–8, Open PDF. A symmetry or selection rule can also remove the leading coupling. This discussion concerns a basis assembled from the trace sectors. Distinct exact conformal primaries with distinct dimensions already have zero two-point overlap.
The particle language is therefore most reliable when a finite set of low-dimension single traces generates an approximate Fock space below a declared gap. It is not implied by the word “trace” alone Fitzpatrick and Kaplan 2013, § 1, printed pp. 1–4, Open PDF.
Normalize before diagonalizing
Section titled “Normalize before diagonalizing”Take candidate operators with the same exact global quantum numbers. They may be regulated composites or another convenient basis that has not yet been diagonalized. Under the state–operator correspondence of radial quantization, insertions at the origin create states and Hermitian conjugation is implemented by inversion. This supplies two Hermitian matrices,
The Gram matrix is positive semidefinite in a unitary theory. Remove null directions, then choose a matrix on the positive subspace satisfying
as one convenient choice. This whitening step removes nonorthogonality but does not determine scaling dimensions. If the candidate space is closed under mixing through the target order, its eigenoperators solve
Equivalently, principal whitening asks us to diagonalize
This is the standard reduction of a Hermitian generalized eigenproblem with positive-definite metric Anderson et al. 1999, Table 2.13. Whitening is not unique: also works for any unitary . Consequently, the generalized eigenvalues are invariant, while individual off-diagonal entries and eigenvector components depend on the declared orthonormal reference convention.
If important operators have been omitted, the calculation is only a truncated variational problem. Mixing with the excluded space must be smaller than the claimed accuracy. Conflating an off-diagonal entry of with one of mistakes nonorthogonality for dynamical mixing. If the are already exact conformal primaries with distinct dimensions, conformal symmetry has performed the diagonalization: their two-point Gram matrix is diagonal.
A first-order calculation makes the distinction concrete. Let and, for real and , take
Then
with
Thus neither the Gram overlap nor the unwhitened entry is the post-normalization coupling. Even is an off-diagonal entry in the principal-whitening reference convention, not a basis-invariant observable.
When the trace label fails
Section titled “When the trace label fails”Choose a Gram-orthonormal reference basis that approaches the single- and double-trace sectors as . At the first nontrivial order, its two-state block is
After removing the phase of , the displayed truncation has eigenvalues and a rotation angle relative to that reference basis,
where . The eigenvalues are invariant; and are reference-basis quantities. Their useful content is the scale comparison:
| Gap regime | Spectral result in the displayed block | Status of the large-N trace label |
|---|---|---|
| δΔ → δ0 ≠ 0 | Mixing shifts eigenvalues by O(N−2) | A continuously chosen trace basis needs only an O(N−1) rotation, but that angle is convention dependent |
| δΔ = c/N, c ≠ 0 | The level splitting is O(N−1) | If μ approaches a nonzero limit, the rotation approaches an N-independent angle; if a selection rule sets that limit to zero, no mixing follows at this order |
| δΔ = o(N−1) or exact degeneracy | The whole degenerate block contributes at leading order | Diagonalize the complete block before assigning particle labels |
For a fixed gap, omitted diagonal terms of order are needed for a complete eigenvalue at the same accuracy as the mixing-induced shift. When and , the rotation approaches an -independent angle with , while
The angle’s numerical size still depends on ; “unsuppressed” need not mean close to . This absence of suppression is robust under perturbatively near-identity basis changes that preserve the trace sectors. The next calculation isolates the basis dependence and explains the robustness claim.
Basis dependence and an invariant stress test
Section titled “Basis dependence and an invariant stress test”Let be a row of candidate operators, where is the projected double trace, and make the trace-changing basis transformation
The first transformed operator is , so this is nonlinear when expressed in single-trace coordinates.
Transforming the two-state pair
Section titled “Transforming the two-state pair”To isolate the algebra, temporarily treat
as the exact two-state model. The transformed matrices are
Invariant spectrum and movable fixed-gap mixing
Section titled “Invariant spectrum and movable fixed-gap mixing”The generalized characteristic polynomial transforms as
so its roots are exactly unchanged. Principal whitening of the transformed pair instead gives
For a fixed nonzero gap, choosing removes the leading principal-whitening off-diagonal entry. Hence the fixed-gap angle cannot be called physical. If instead with , any changes that entry only at . Canceling for would require , hence ; the transformation would not approach the identity and would not preserve the declared trace sectors. If , this shear does not change the leading off-diagonal entry at all. That is why the absence of suppression is robust even though a particular angle is not invariant.
Metric-completed overlaps
Section titled “Metric-completed overlaps”Complete contractions provide a second invariant. For an external-overlap vector ,
The candidate overlaps themselves change, but their metric-completed contraction over the same operator subspace does not. Because is generally not a primary eigenoperator, its three-point overlaps are not new conformal-primary OPE coefficients. After rediagonalization, nondegenerate normalized-primary dimensions and OPE data are unchanged up to phase conventions. In an exactly degenerate eigenspace, individual components can rotate, so invariant contraction matrices or sums over the degenerate subspace are the appropriate data.
Boundary bases and matched bulk variables
Section titled “Boundary bases and matched bulk variables”A boundary operator-basis change and a local bulk field redefinition are related dictionary choices, but they are not the same operation. As explained in Local Field Redefinitions and the Equivalence Theorem, the bulk change of variables must transform the action, functional measure or Jacobian, boundary conditions, source map, boundary terms, and counterterms consistently. Then the renormalized generating functional expressed in matched physical sources is unchanged. Separated-point correlators agree, while local contact terms may depend on counterterm and source conventions Criado and Pérez-Victoria 2019, § 2, printed pp. 5–8, Open PDF.
An explicit / SYM protected-operator example shows how bulk field redefinitions, boundary terms, and single–double-trace operator admixtures fit together Arutyunov and Frolov 2000, §§ 2–3 and conclusion, printed pp. 5, 7–8, and 13–14, Open PDF. It is a useful application, not a universal theorem for every CFT. In general, exchange and contact contributions may be redistributed, while an off-shell cubic coefficient by itself remains basis information rather than a separately invariant observable.
Collective variables and higher-spin sectors
Section titled “Collective variables and higher-spin sectors”Vector models and collective-field formulations may instead make bilocals natural. For real vector components, define the expectation-normalized bilocal and its order-one fluctuation by
For , at separated or regulated bilocal endpoints, every connected Wick contraction of bilocals in the free theory carries one closed vector-index sum and explicit factors of . Thus
The cumulant of vanishes by centering. The same generic leading tree-level power counting follows around the conventional interacting vector-model saddle: the bilocal propagator is order one, while a -fluctuation vertex scales as Das and Jevicki 2003, eqs. (1.5), (2.26), and (2.35)–(2.36), printed pp. 4 and 10–12, Open PDF. This differs from the matrix hierarchy .
In the real free model, the center and relative coordinates of the bilocal decompose into the even-spin singlet tower Das and Jevicki 2003, eqs. (1.6)–(1.9), printed pp. 4–5, Open PDF. A canonical map to higher-spin variables is developed in Jevicki, Jin, and Ye 2011, § 4, eqs. (118)–(127), printed pp. 11–14, Open PDF. At finite , the bilocal variables are overcomplete and obey constraints; treating every bilocal component as independent overcounts the Hilbert space Das and Jevicki 2003, § 1, printed p. 5, Open PDF. Calling the bilocal “one field” therefore names a collective coordinate, not one local bulk particle or a finite-field Einstein EFT.
Scaled limits, evidence ceiling, and handoff
Section titled “Scaled limits, evidence ceiling, and handoff”For each operator, state its normalization, primary and descendant status, trace organization, large- scaling, mixing partners, and spectral isolation. Then:
- Compute the Gram matrix in the regulated candidate basis.
- Remove null states and whiten the positive subspace.
- Transform and diagonalize the dilatation matrix.
- Compare every level splitting with its off-diagonal mixing element.
- Test a near-identity trace-changing basis transformation and retain only invariant spectral or complete-correlator statements.
- Treat boundary operator-basis changes and matched bulk field redefinitions as separate transformations.
The single-particle interpretation is taken at fixed operator length and away from splittings that vanish as fast as the mixing matrix element. Holding fixed before yields a small reference-basis rotation; when , scaling yields an -independent rotation.
This organization licenses an approximate particle-number basis, not a unique off-shell field basis or a proof of bulk locality. The next article, From Genus Counting to a Holographic String Regime, asks when the matrix expansion has the topology and parameter control needed for a string interpretation.
Common pitfalls
Section titled “Common pitfalls”Diagonalizing the Gram matrix and stopping. Gram whitening removes nonorthogonality. Scaling dimensions come from the generalized eigenproblem; off-diagonal entries and mixing angles still depend on the chosen orthonormal reference basis.
Calling every nonlinear admixture a primary. A boundary-basis change can be useful, and a separately matched bulk field redefinition may reorganize the same calculation, but the two operations are not identical. A generic boundary admixture is not a dilatation eigenoperator until the candidate sector has been rediagonalized.
Using trace number as an exact particle number. Trace organization is an asymptotic bookkeeping device. Near degeneracy, finite- identities, collective variables, and strong mixing can all defeat a literal particle label.
Exercises
Section titled “Exercises”Whiten first, then mix
Section titled “Whiten first, then mix”Let and consider two real candidate states with
Find and the off-diagonal entry of through first order in . Assuming , which combination controls the rotation in this reference convention, and which part of the answer is invariant?
Solution — first-order whitening
Writing gives
Therefore
For the nonzero limiting gap stated in the question,
Thus neither the Gram entry nor the unwhitened dilatation entry alone controls the reference-basis rotation. The generalized eigenvalues are invariant, but and the corresponding fixed-gap angle change under an allowed change of orthonormal reference basis.
Scale the gap against the mixing
Section titled “Scale the gap against the mixing”Take the whitened two-state block with fixed and
Classify the reference-basis rotation and leading level splitting for , , and . At which value does the rotation cease to vanish as ?
Solution — three gap regimes
The ratio of the off-diagonal entry to the gap is
For , this ratio vanishes and the reference-basis angle scales as . Dropping the unspecified matrix remainder, the leading two-state truncation gives
The continuously labeled levels receive mixing-induced shifts
Each shift has magnitude . At , unknown diagonal terms contribute at the same order, so this is only the mixing-induced part of the full correction.
For , the angle has a finite limit,
and the leading splitting is
For , the original gap is smaller than the mixing entry. The reference-basis eigenvectors approach equal-magnitude mixtures and the leading splitting is . The rotation ceases to vanish at the threshold .
Challenge an “observable” off-diagonal entry
Section titled “Challenge an “observable” off-diagonal entry”A collaborator calls the principal-whitening entry an observable. For fixed nonzero and a fixed nonzero gap , use the near-identity transformation in the text to choose so that the transformed principal-whitening entry vanishes through order . Then explain why the generalized spectrum is unchanged and why the same cannot remove the leading mixing when with . What happens for ?
Solution — movable entry, invariant spectrum
The transformed entry is
At fixed , choose
This removes the order- entry while keeping . Nevertheless,
so the generalized eigenvalues are unchanged. If with , any changes the bracket only by and therefore changes the full off-diagonal entry only at . Canceling would require , which is not a near-identity transformation and does not preserve the trace sectors. If , the shear term proportional to vanishes and cannot change the leading off-diagonal entry at all. The individual entry is movable at fixed gap; the spectrum and the -independent near-degenerate rotation for nonzero leading are robust.
The chapter overview contains the structure diagram and validity and failure diagram. They are embedded there once so that their shared chapter-level context is not repeated on every article.
For the chapter-wide comparison of assumptions, counterevidence, falsifiers, and claim ceilings, see the claim-domain table.
References
Section titled “References”- Anderson, E.; Bai, Z.; Bischof, C.; Blackford, S.; Demmel, J.; Dongarra, J.; Du Croz, J.; Greenbaum, A.; Hammarling, S.; McKenney, A.; and Sorensen, D. LAPACK Users’ Guide. 3rd ed. Philadelphia: Society for Industrial and Applied Mathematics, 1999. doi:10.1137/1.9780898719604.
- Arutyunov, G., and S. Frolov. “On the Correspondence between Gravity Fields and CFT Operators.” Journal of High Energy Physics 04, 017 (2000). doi:10.1088/1126-6708/2000/04/017. Open PDF.
- Criado, J. C., and M. Pérez-Victoria. “Field Redefinitions in Effective Theories at Higher Orders.” Journal of High Energy Physics 03, 038 (2019). doi:10.1007/JHEP03(2019)038. Open PDF.
- Das, Sumit R., and Antal Jevicki. “Large-N Collective Fields and Holography.” Physical Review D 68, 044011 (2003). doi:10.1103/PhysRevD.68.044011. Open PDF.
- Fitzpatrick, A. Liam, and Jared Kaplan. “AdS Field Theory from Conformal Field Theory.” Journal of High Energy Physics 02, 054 (2013). doi:10.1007/JHEP02(2013)054. Open PDF.
- Heemskerk, Idse; Penedones, João; Polchinski, Joseph; and Sully, James. “Holography from Conformal Field Theory.” Journal of High Energy Physics 10, 079 (2009). doi:10.1088/1126-6708/2009/10/079. Open PDF.
- Jevicki, Antal; Jin, Kewang; and Ye, Qibin. “Collective Dipole Model of AdS/CFT and Higher Spin Gravity.” Journal of Physics A: Mathematical and Theoretical 44, 465402 (2011). doi:10.1088/1751-8113/44/46/465402. Open PDF.