Cosmological Weight-Shifting Matrices

Abstract: We construct matrices that shift the scaling dimension of scalar fields for arbitrary de Sitter Feynman diagrams. Acting on a set of master integrals, these weight-shifting matrices shift the scaling dimensions of individual edges of a given diagram by an integer. They can thus be applied to a broader range of problems and are simpler to implement than earlier derivative-based approaches. By introducing a Kronecker product representation of our matrix formulation, we generalise weight-shifting operators beyond four-point functions to arbitrary tree-level diagrams. As an application, we obtain explicit expressions for several massless wavefunction coefficients in four-dimensional de Sitter space, starting from conformally coupled seed functions. Our construction provides a systematic and graph-local approach to generating cosmologically relevant correlators from simpler master integrals.

• The paper introduces a systematic method using weight-shifting matrices to locally change scaling dimensions in de Sitter Feynman diagrams.
• The paper applies a Kronecker product representation to organize master integrals, simplifying computations for both contact and exchange diagrams.
• The paper demonstrates numerical benchmarks and recursive applications, offering practical insights for extensions to AdS contexts and spinning field computations.

Cosmological Weight-Shifting Matrices: Algebraic Structures for de Sitter Feynman Diagrams

Overview and Motivation

This work introduces a systematic, local, and highly generalizable method for shifting the scaling dimensions ("weights") of scalar fields within arbitrary de Sitter (dS) Feynman diagrams through the construction and application of weight-shifting matrices. These matrices act directly on master integrals—finite complete bases for the time-ordered perturbative coefficients of diagrams—realizing discrete integer shifts in the scaling dimension associated with either external or internal lines. The approach leverages recent progress in the "cosmological bootstrap" and related developments in algebraic analysis of Feynman-type integrals for cosmological correlators.

The motivation stems from the marked complexity of time-integrals in dS relative to flat space due to the absence of energy conservation, especially for fields of arbitrary mass, and from the successful recasting of correlator computation as linear algebraic operations on master integrals thanks to the so-called "kinematic flow" method.

Technical Structure

de Sitter Perturbation Theory and Master Integrals

In $(d+1)$-dimensional dS, correlators of massive scalar fields are fundamentally complicated by the nontrivial time dependence of mode functions, generically of Hankel type. Recent work has shown that all wavefunction coefficients (the building blocks for boundary correlators) associated with a given Feynman graph can be organized into a basis of master integrals, denoted $\vec I$, each satisfying a first-order linear system:

$d\vec I = A \cdot \vec I,$

where $A$ is a matrix-valued 1-form encoding differentiation with respect to kinematic variables.

Local Graph-Based Construction

The new methodology constructs weight-shifting matrices $M$ such that

$\vec I_{\nu + 1} = M \cdot \vec I_\nu,$

realizing a weight shift for any designated line in the graph. Here, the "weight" $\nu$ is related to the physical mass by $\Delta = d/2 + \nu$. Notably, unlike previous (derivative-based) operators which act non-locally or on pairs of edges, the matrices obtained here have strictly local action: they modify the scaling dimension of a single propagator at a time.

Implementation is purely algebraic—matrix multiplication—without further derivation with respect to momenta or explicit differentiation of the integrANDS.

Kronecker Product Representation

Key to the generalization from simple graphs (contacts, exchanges) to arbitrary tree-level diagrams is the use of Kronecker product representations. Each propagator or vertex is associated with a small matrix, and the full master integral vector is constructed as a Kronecker product over all such local objects. This enables the entire set of master integrals for a diagram to be represented succinctly and allows the weight-shifting matrices to be realized via insertions of local weight-shifting matrices into the Kronecker product structure.

Figure 1: On the left is an arbitrary contact diagram, with $n$ arbitrary mass lines (dark grey) and any number of conformally coupled lines (light grey). On the right is an example of a tree-level diagram with internal lines. The kinematic variables have been suppressed.

The mixed product property of Kronecker products ensures these local shifts propagate consistently through the master integral basis.

Applications and Explicit Results

The formalism is constructed in full for both small ("contact" and "exchange") and arbitrary diagrams, with explicit demonstrations:

• For single and multi-point contact diagrams, closed-form expressions for the weight-shifting matrices are given, both in the presence and absence of shifts in the vertex parameter $\alpha$, with connections drawn to hypergeometric contiguous relations and Jacobi polynomials.
• For all-massless external states, the methodology enables recursive application of the matrices, furnishing the explicit rational relation between massless and conformally coupled wavefunction coefficients—which is not practically accessible via previous operator-based methods.
• For exchange diagrams (e.g., four-point, one internal line), the method provides explicit expressions relating the arbitrary-mass exchange to the conformally coupled (much simpler) seed diagrams.

Strong numerical benchmarks are demonstrated, including agreement with explicit integral evaluations and with previously derived (derivative-operator-based) weight-shifting operations, but with algebraic simplifications and extensions made possible only by the new approach.

Implications and Extensions

Algebraic Systematization

The main theoretical implication is a systematic, algebraic "algebrazation" of weight-shifting in cosmological perturbation theory. This reframes the challenging analytic problem of mass-shifting for dS correlators as a finite-dimensional linear algebra task, allowing for algorithmic computation and, in practice, significant computational simplification for high-point and/or complicated graphs.

Graph Locality and Recursion

The locality property (i.e., the ability to shift one propagator's dimension at a time) means that, in principle, a graph with arbitrary assignments of scaling dimensions (masses) can be built up recursively from the minimal (conformally coupled) basis, iteratively applying single-edge shifts. This is a marked departure from previous approaches, which often required pairwise or non-local manipulations, especially problematic for diagrams with odd numbers of shifted legs.

Extension to Other Backgrounds

Although the focus is on de Sitter, the approach is structurally applicable to momentum-space Witten diagrams in Euclidean Anti-de Sitter (EAdS), as the relevant recursive/differential relations for Bessel (as opposed to Hankel) mode functions are analogous.

Derivative Interactions and Spinning Fields

The interpretation of derivative interactions (e.g., interactions with $\vec I$0 insertions) is shown to be closely related to further (matrix) shifts in the master integral space, offering a unified algebraic prescription for a wider class of interactions.

The paper speculates that, as in the scalar case, similar "spin-raising" or "spin-lowering" matrices might be constructible for diagrammatic computations involving spinning fields—potentially unlocking new systematic treatments in cosmological bootstrap programs for bosonic higher-spin fields.

Limitations and Open Directions

• The method operates directly at the level of integrands and their differential systems. For loop diagrams, while the integrand formalism is available, explicit construction of the integrated weight-shifting matrices remains open.
• Applications to fields with imaginary weight (principal series) are not currently covered; only real-valued (complementary series) shifts are supported.
• Closed-form expressions for weight-shifting matrices in the most general (arbitrarily connected) graphs may require nontrivial (possibly non-local) inversions of $\vec I$1-matrices. While tractable and explicit for tree graphs and contacts, the general case invites future explicit diagrammatic rules or further algebraic insight.

Conclusion

The work establishes a comprehensive, graph-local, and algebraic formalism for shifting scaling dimension in dS Feynman diagram computations. This both unifies and extends previous approaches, yielding new practical tools for high-point cosmological correlator calculation and opening potential avenues for automated, recursive, and more general diagrammatic analyses, particularly with implications for the cosmological collider and bootstrap programs. The techniques and explicit results are likely to have further applications in both perturbative cosmology and AdS/CFT contexts.