Contraction Analysis of Holomorphic Dynamical Systems via the Intrinsic Kobayashi Metric

Technical Summary: Contraction Analysis of Holomorphic Dynamical Systems via the Intrinsic Kobayashi Metric

Problem Statement
The paper addresses the incremental stability of holomorphic dynamical systems on complex manifolds. Standard contraction analysis relies on auxiliary Riemannian or Hermitian metrics, which introduce coordinate dependence and lack canonicity. In complex-analytic settings (e.g., quantum control), embedding systems into doubled real spaces discards the complex-linearity of the Jacobian inherent to holomorphicity. The paper seeks to establish a contraction theory that is intrinsic to the complex geometry, utilizing the Kobayashi pseudometric ($F_K$), which is non-increasing under holomorphic maps and free of auxiliary structure. The core challenge is twofold: (1) formulating a differential contraction condition directly on the nonsmooth Kobayashi metric, and (2) deriving a practically verifiable sufficient condition for this intrinsic contraction without relying solely on the abstract metric.

Methodology
The approach integrates tools from several complex variables with contraction theory:

1. Intrinsic Formulation: The paper defines intrinsic contraction via an upper Dini-derivative inequality on the infinitesimal Kobayashi metric $F_K(z, \delta z)$ along trajectories. Because $F_K$ is generally nonsmooth, standard derivatives are insufficient; the Dini derivative handles the lack of differentiability.
2. Variational Structure: Using the definition of $F_K$ as an infimum over admissible holomorphic discs, the author establishes a geometric link between the flow of the dynamical system and the deformation of these discs. They prove that on taut Kobayashi hyperbolic manifolds, $F_K$ is jointly continuous (a correction to the standard upper semicontinuity assumption), which is crucial for rigorous comparison arguments.
3. Dini Comparison Lemma: A classical comparison lemma is adapted to convert the pointwise Dini-derivative inequality into a global exponential decay bound on the Kobayashi distance $d_K$.
4. Hermitian Sufficient Condition: Recognizing that verifying conditions directly on $F_K$ is difficult, the paper develops a practical sufficient condition using an auxiliary smooth Hermitian metric $H$. This condition is the direct complex-analytic analogue of the real-valued matrix contraction inequality (Lohmiller and Slotine, 1998), replacing the transpose with the Hermitian conjugate.
5. Equivalence Bridge: A key technical step involves proving that on a forward-invariant compact set, the Hermitian norm and the Kobayashi metric are locally equivalent with explicit constants ($c_1, c_2$). This allows the Hermitian contraction condition to imply intrinsic Kobayashi contraction, albeit with a multiplicative cost factor.
6. Invariance Construction: For Laplacian-coupled holomorphic networks, a Nagumo-type invariance result is established. It shows that if the local drift satisfies a boundary condition on a disc, the diffusive coupling (via the graph Laplacian) cannot push trajectories out of the product of these discs, ensuring the existence of the required forward-invariant compact set.

Key Contributions

• Intrinsic Contraction Theory: The paper formalizes contraction for holomorphic systems using the Kobayashi metric, proving that a Dini-derivative condition on $F_K$ implies exponential decay of the Kobayashi distance. This is an instantiation of the Forni and Sepulchre (2014) Finsler-metric mechanism specifically for the Kobayashi structure.
• Verifiable Sufficient Condition: It provides a concrete, checkable criterion (Theorem 2) based on a Hermitian metric inequality. Crucially, it quantifies the relationship between this auxiliary condition and the intrinsic metric via explicit equivalence constants on compact sets.
• Network Invariance: The paper constructs a forward-invariant compact set for Laplacian-coupled holomorphic networks from first principles (Lemma 5), a result not previously available for this class of systems using this type of argument.
• Control Extension: The framework is extended to feedback-controlled systems, with careful derivation of the closed-loop variational dynamics, including the often-overlooked directional derivative term of the control gain.
• Quantitative Gap Analysis: Through numerical experiments on coupled oscillators, the paper identifies a precise discrepancy between the guaranteed contraction rate (derived from the node-wise Hermitian condition) and the empirical synchronization rate. The empirical rate is shown to be governed by the network's graph Laplacian spectral gap, a factor the current node-wise sufficient condition does not capture.

Results

• Theoretical:
  • Intrinsic contraction implies the uniqueness of equilibria and the exclusion of nontrivial periodic orbits within forward-invariant sets.
  • The Hermitian condition is proven to imply intrinsic contraction on compact invariant sets, with the rate scaled by the ratio of equivalence constants.
  • A Nagumo-type condition ensures that for diffusive coupling, the invariance of a product of discs depends only on the local vector field at the boundary, independent of network topology.
• Numerical:
  • Simulations on a network of 6 coupled holomorphic oscillators verified the theoretical invariance and contraction hypotheses.
  • The guaranteed rate derived from Theorem 2 was $\lambda \approx 0.402$.
  • The observed synchronization rate was $\approx 1.858$.
  • The paper demonstrates that the observed rate matches the closed-form expression $-f'(0) + \kappa \mu_2$ (where $\mu_2$ is the smallest nonzero Laplacian eigenvalue), while the guaranteed rate is limited by the worst-case local behavior over the entire invariant set.

Significance and Claims
The paper modestly claims its primary contribution lies not in the adaptation of the Hermitian contraction condition itself (which is a standard complex-analytic extension of real results), but in:

1. The Bridge: The explicit, quantified connection (via Lemma 4) between the auxiliary Hermitian condition and the intrinsic Kobayashi metric.
2. The Construction: The novel invariance argument for coupled holomorphic networks.
3. The Gap: The identification and precise quantification of the gap between node-wise sufficient conditions and network-level synchronization rates.

The author explicitly states that the paper does not provide a fully intrinsic, verifiable condition (one free of auxiliary metrics). They note that previous attempts at a disc-based, auxiliary-metric-free condition failed due to difficulties in controlling scaling factors across minimizing sequences. Consequently, the paper frames the development of a "network-aware" extension that incorporates the Laplacian spectral gap directly, and a truly intrinsic verifiable condition, as specific targets for future work rather than resolved results. The work is presented as a rigorous instantiation of existing Finsler-metric machinery for the specific case of the Kobayashi metric, coupled with a practical, albeit conservative, verification tool.