Fate of Arnold tongues and canards in Mobius systems with noise

Technical Summary: Fate of Arnold Tongues and Canards in Möbius Systems with Noise

Problem Statement
The paper investigates the interplay between deterministic phase-locking phenomena and stochastic perturbations in a specific class of dynamical systems defined on a two-dimensional torus. These systems, termed Möbius systems, describe the evolution of a phase variable $\phi$ under an external periodic drive, where the Poincaré return map is a fractional-linear (Möbius) transformation. In the deterministic limit, these systems exhibit Arnold tongues (phase-locking plateaus) and canard trajectories (solutions that follow a repelling branch of the slow manifold for an $O(1)$ interval of slow time).

The central problem addressed is how weak noise affects these structures. Specifically, the author aims to:

1. Quantify the "melting" (rounding) of Arnold tongues due to noise.
2. Determine the conditions under which canard trajectories persist in the presence of noise, given that canards are exponentially sensitive to initial conditions and perturbations.
3. Unify three distinct theoretical frameworks—geometric singular perturbation theory (slow-fast), semiclassical analysis (WKB), and large deviation theory (Freidlin-Wentzell)—to provide quantitative criteria for metastable phase-locking and canard survival.

Methodology
The author employs a multi-scale analytical approach combining deterministic spectral theory with stochastic variational methods:

1. Möbius Structure and Stochastic Extension:

   • The deterministic dynamics are mapped to a linear system in $SL(2, \mathbb{R})$ via a Riccati transformation.
   • Noise is introduced in a way that preserves the Möbius structure pathwise. This is achieved by using Stratonovich noise terms aligned with the Lie algebra generators of the Möbius group ($PSU(1,1)$). This ensures the stochastic flow remains a random Möbius transformation.
   • The existence of a random rotation number is established using the theory of stationary random circle homeomorphisms.

2. Deterministic Skeleton (WKB Method):

   • In the slow-fast limit ($\omega \to 0$), the deterministic dynamics are analyzed using the Wentzel-Kramers-Brillouin (WKB) method.
   • The Riccati equation is related to a Schrödinger-type equation with a periodic potential. The band-gap structure of this operator corresponds to the Arnold tongues.
   • Exact WKB techniques, including Borel resummation and Delabaere-Dillinger-Pham (DDP) relations, are used to resolve exponentially small features (tongue boundaries and canard windows) that standard perturbation theory misses.
   • The geometry of the spectral curve (a Riemann surface of genus $g \ge 1$) is analyzed to understand the accumulation of contraction and expansion along canard paths.

3. Stochastic Analysis (Large Deviation Theory):

   • Freidlin-Wentzell (FW) theory is applied to calculate the action cost of rare events, specifically phase slips (loss of locking) and deviations from canard paths.
   • The paper distinguishes between two exponential scales:
     • The WKB scale (deterministic, related to spectral gaps and canard selection).
     • The FW scale (stochastic, related to noise intensity $D$ and escape rates).
   • Large Deviation Principles (LDP) are derived for the finite-time rotation number and the probability of phase slips.

4. Canard Persistence Analysis:

   • The author analyzes the amplification of noise along the repelling branch of a canard.
   • They derive sufficient conditions for a stochastic trajectory to track a deterministic canard segment, balancing the entrance accuracy against the exponential amplification of fluctuations.

Key Contributions and Results

• Melting of Arnold Tongues:

  • The paper establishes that noise causes the sharp boundaries of Arnold tongues to "melt" or round off.
  • It provides quantitative criteria for metastable phase-locking: the probability of a completed phase slip is exponentially small, governed by the FW action $S_{FW}$.
  • The rotation number accuracy and the survival time of the locked state are shown to depend on the ratio $D/\omega$ and the specific geometry of the noise channels.
  • Near regular saddle-node boundaries, the melting width scales as $D^{2/3}$, consistent with Kramers' theory for moving folds.

• Canard Persistence Theorem:

  • A rigorous theorem is derived stating that a canard segment persists with high probability if the noise intensity $D$ is sufficiently small relative to the canard budget (the accumulated repulsion along the path).
  • The critical noise scale is identified as $D_{path} \sim r^2 e^{-2K_{out}/\omega}$, where $K_{out}$ is the action integral of the repulsion.
  • The result highlights that entrance accuracy is paramount: even small errors at the entrance to the repelling branch are exponentially amplified, requiring the noise to be exponentially small to maintain the trajectory within a prescribed tube.

• Comparison of Exponential Scales:

  • The paper explicitly compares the deterministic WKB action (scaling with $1/\omega$) and the stochastic FW action (scaling with $1/D$).
  • It identifies matching scales where these two effects compete. For instance, for rare deviations near a moving fold, the matching scale is $D \sim \omega^2$.
  • This comparison clarifies that observing a canard requires satisfying both the deterministic selection criteria (WKB) and the stochastic stability criteria (FW), which often impose conflicting constraints on the parameters.

• Model Applications:

  • The theory is applied to three specific models: the Adler equation (simple benchmark), the $\theta$-neuron (type-I excitability), and the overdamped Josephson junction (RSJ model).
  • A constructed G2-model is used to demonstrate higher-genus spectral curves ($g=2$), showing that the theory extends beyond simple elliptic cases.
  • Numerical simulations confirm the predicted scaling laws for tongue melting and canard survival probabilities.

Significance and Claims
The paper claims to provide a unified quantitative framework for understanding how noise interacts with singular perturbation phenomena in Möbius systems. Its significance lies in:

1. Bridging Disciplines: It connects spectral theory (Schrödinger operators), geometric singular perturbation theory (canards), and large deviation theory (rare events) within a single coherent mathematical structure.
2. Quantitative Predictions: Unlike qualitative descriptions of noise-induced rounding, this work provides explicit exponential estimates for the "melting" of tongues and the probability of canard survival.
3. Clarifying Observability: The author argues that while phase-locking (Arnold tongues) remains robust and observable under weak noise, canard trajectories are extremely fragile. Their observability is limited by the interplay between the deterministic repulsion (WKB action) and stochastic amplification.
4. Metastability: The work distinguishes between the asymptotic behavior (where locking is lost eventually) and metastable behavior (where locking persists for exponentially long times), providing criteria for the latter based on observation time and noise intensity.

The paper remains modest regarding experimental implications, noting that while the framework applies to systems like Josephson junctions and neurons, the extreme sensitivity of canards makes their direct experimental detection challenging without precise control of noise and initial conditions. It suggests that the "delay of stability loss" in Hopf bifurcations may be a more promising indirect observable for canard-like phenomena.