Parametric Keldysh Decomposition

• Parametric Keldysh Decomposition is a framework that splits analytic matrix functions with parameter dependence into a rational pole-residue part and an analytic remainder.
• It extends the classical Keldysh decomposition by incorporating parametric effects, enabling efficient algorithms for handling nonlinear eigenvalue problems and nonequilibrium quantum systems.
• The method supports offline/online algorithms using rational approximation and Loewner reduction, with applications ranging from delay-differential stability to advanced quantum field theory analyses.

The parametric Keldysh decomposition provides a principled framework for dissecting analytic matrix-valued functions of spectral and auxiliary parameters, with direct algorithmic and structural implications for nonlinear eigenvalue problems and nonequilibrium quantum field theory. It extends the classical Keldysh decomposition, which separates a matrix function into a rational part capturing its spectral structure and an analytic remainder, by introducing parametric dependence and thus enabling efficient algorithms for parametric contour integral eigenvalue solvers and illuminating dualities in diagrammatic expansions.

1. Formal Definition and Core Properties

Let $T(z,\mu)$ be an $n \times n$ matrix-valued function, analytic jointly in $(z,\mu)$ on $$\Omega \times \Pi \subset \mathbb{C} \times \mathbb{C}$$, with $\Omega \subset \mathbb{C}$ a bounded, simply connected spectral region and $\Pi \subset \mathbb{C}$ a parameter domain. Suppose for each $\mu \in \Pi$ that $\det T(\cdot,\mu)$ is not identically zero and admits exactly $m$ zeros (counting algebraic multiplicity) in $\Omega$, and that this multiplicity is constant across $n \times n$0.

The unique parametric Keldysh decomposition is given by

$n \times n$1

where:

• $n \times n$2 is analytic in $n \times n$3 for each $n \times n$4, ensuring its contour-integral moments on $n \times n$5 vanish by Cauchy’s theorem.
• $n \times n$6, with $n \times n$7 a monic degree-$n \times n$8 polynomial in $n \times n$9 whose roots $(z,\mu)$0 are precisely the eigenvalues of $(z,\mu)$1 in $(z,\mu)$2. $(z,\mu)$3 is analytic in $(z,\mu)$4 and $(z,\mu)$5.

Upon selecting a local eigenbasis, for simple eigenvalues, $(z,\mu)$6 admits the pole-residue expansion:

$(z,\mu)$7

with $(z,\mu)$8, $(z,\mu)$9, and normalized such that $$\Omega \times \Pi \subset \mathbb{C} \times \mathbb{C}$$0.

Under any analytic $$\Omega \times \Pi \subset \mathbb{C} \times \mathbb{C}$$1,

$$\Omega \times \Pi \subset \mathbb{C} \times \mathbb{C}$$2

This decomposition is unique and generalizes the classical (non-parametric) Keldysh theorem to analytic parameter families (Balicki et al., 4 Jan 2026).

2. Theoretical Foundations and Proof Structure

The parametric Keldysh decomposition relies fundamentally on the two-variable Weierstrass Preparation and Division theorems:

• $$\Omega \times \Pi \subset \mathbb{C} \times \mathbb{C}$$3 is well-defined off the vanishing locus.
• $$\Omega \times \Pi \subset \mathbb{C} \times \mathbb{C}$$4, where $$\Omega \times \Pi \subset \mathbb{C} \times \mathbb{C}$$5 is the Weierstrass polynomial, and $$\Omega \times \Pi \subset \mathbb{C} \times \mathbb{C}$$6 is nonvanishing and analytic on $$\Omega \times \Pi \subset \mathbb{C} \times \mathbb{C}$$7.
• Define $$\Omega \times \Pi \subset \mathbb{C} \times \mathbb{C}$$8. For each entry, Weierstrass Division enables

$$\Omega \times \Pi \subset \mathbb{C} \times \mathbb{C}$$9

with $\Omega \subset \mathbb{C}$0 analytic and $\Omega \subset \mathbb{C}$1.

Unicity follows from analytic continuation and the monicity of $\Omega \subset \mathbb{C}$2. The specific identification of the pole-residue part in terms of eigenvectors is obtained by matching Laurent expansions, paralleling the residue formula in the non-parametric case.

Analytic dependence of eigenvalues and eigenvectors in $\Omega \subset \mathbb{C}$3 (for simple spectra) is ensured by the Implicit Function Theorem. Higher-order Jordan structures and multiple eigenvalues require additional care for local analytic parametrization (Balicki et al., 4 Jan 2026).

3. Parametric Contour Integral Algorithms

The decomposition is exploited in the parametric multipoint Loewner framework for rapid offline/online algorithms:

Offline phase:

• Sample $\Omega \subset \mathbb{C}$4 and apply quadrature on $\Omega \subset \mathbb{C}$5 at nodes $\Omega \subset \mathbb{C}$6.
• For each $\Omega \subset \mathbb{C}$7 and random probe vectors $\Omega \subset \mathbb{C}$8, solve linear systems $\Omega \subset \mathbb{C}$9 and $\Pi \subset \mathbb{C}$0.
• Form quadrature approximants for the action of $\Pi \subset \mathbb{C}$1 on $\Pi \subset \mathbb{C}$2 and $\Pi \subset \mathbb{C}$3 at a selection of offline sample points.
• Apply vector-valued multivariate rational approximation (e.g., p-AAA) to construct surrogates $\Pi \subset \mathbb{C}$4 and $\Pi \subset \mathbb{C}$5, analytic in $\Pi \subset \mathbb{C}$6.

Online phase (for new $\Pi \subset \mathbb{C}$7):

• Evaluate $\Pi \subset \mathbb{C}$8 on interlaced sample sets $\Pi \subset \mathbb{C}$9 to assemble Loewner matrices.
• Rank-$\mu \in \Pi$0 SVD reduction and solution of the resulting generalized eigenproblem yields the eigenvalue diagonal matrix $\mu \in \Pi$1.
• Recovery of residue data via standard Loewner formulas.

The table below summarizes the phases:

Phase	Main Computation	Complexity
Offline	Linear solves + rational approx.	$\mu \in \Pi$2 solves, $\mu \in \Pi$3 rational
Online	Loewner reduction + SVD	$\mu \in \Pi$4, no dependence on $\mu \in \Pi$5

If $\mu \in \Pi$6 is rational in $\mu \in \Pi$7, the p-AAA approximation recovers the eigenpairs exactly up to numerical precision. If $\mu \in \Pi$8 is merely analytic (e.g., due to branch points), the rational approximation still achieves high accuracy within the region of approximation (Balicki et al., 4 Jan 2026).

4. Applications, Examples, and Practical Considerations

The parametric Keldysh decomposition supports a spectrum of nonlinear eigenvalue problems with parameter dependence, including:

• Linear test case (3×3): Eigenvalues $\mu \in \Pi$9 with branch point at $\det T(\cdot,\mu)$0, demonstrating accurate rational and analytic recovery depending on whether the branch point is within the parameter range.
• Delay-differential stability: $\det T(\cdot,\mu)$1 with infinite eigenvalues; four rightmost eigenvalues are reliably computed for $\det T(\cdot,\mu)$2 and extrapolated to $\det T(\cdot,\mu)$3.
• Damped-string model: $\det T(\cdot,\mu)$4 involving $\det T(\cdot,\mu)$5; both eigenvalue coalescence and smooth spectral optimization are handled, including across coalescence points, with high-precision residuals.

Practical guidance:

• Contour $\det T(\cdot,\mu)$6 must be chosen to enclose exactly $\det T(\cdot,\mu)$7 eigenvalues for all parameter values, avoiding the introduction of branch or essential singularities.
• Probing vectors should statistically oversample the rank ($\det T(\cdot,\mu)$8) to ensure numerical stability.
• Rational approximation denominators must avoid vanishing in $\det T(\cdot,\mu)$9; approximation tolerance must balance accuracy and offline computational burden.
• Ill-conditioning of Loewner pencils and numerical issues with defective spectra may necessitate precision enhancement or algorithmic deflation.
• For optimal extrapolation, parameter sampling should cover the intended domain, but rational models may fail near singularities or branch points (Balicki et al., 4 Jan 2026).

5. Relations to Quantum Field Theory and Large-$m$0 Decompositions

A structurally related notion of parametric decomposition arises in nonequilibrium quantum field theory via the Keldysh rotation. In the Schwinger–Keldysh formalism, matrix fields defined on the “$m$1” and “$m$2” parts of the time contour $m$3 are linearly recombined into “classical” and “quantum” fields:

$m$4

The propagators in the new basis decompose into retarded ($m$5), advanced ($m$6), and Keldysh ($m$7) components, with three nonzero correlators and a vanishing $m$8 due to sum rules.

Notably, in large-$m$9 matrix theories, the Feynman diagram expansion dualized to ribbon graphs and string worldsheets gives rise—post Keldysh rotation—to a two-fold (“parametric”) decomposition:

$\Omega$0

where the classical foundation $\Omega$1 and the quantum embellishment $\Omega$2 each carry their own independent genus expansions, and the total Euler characteristic splits as $\Omega$3. This structure supports refined ’t Hooft expansions and fresh insights into the interplay of dynamics (retarded/advanced propagators) and statistical data (Keldysh sector) (Horava et al., 2020).

6. Impact, Limitations, and Outlook

The parametric Keldysh decomposition provides a unified analytic-spectral tool for parametric nonlinear eigenvalue analysis and is foundational for rational contour integral algorithms with efficient offline/online decomposition. Its robustness for both rationally and more generally analytically parameter-dependent matrix functions underpins a variety of application domains, from stabilization of delay systems to damping optimization in mechanical models.

Key limitations include:

• Sensitivity to ill-conditioning in the rational approximation.
• Algorithmic fragility near spectral coalescences or branch points, which may require refined sampling or high-precision arithmetic.
• Exact recovery of multiple or defective eigenvalues is theoretically covered but is prone to numerical instability.

A plausible implication is that further research may refine approaches to handle branch singularities and improve rational-analytic hybrid approximation schemes, as well as extend the two-fold worldsheet decomposition perspective to additional classes of nonequilibrium systems and topological expansions (Balicki et al., 4 Jan 2026, Horava et al., 2020).