Pointed Alien Derivative in Resurgence

• Pointed alien derivative is a specialized resurgent operator that localizes at a specific Borel singularity using lateral analytic continuation and an exponential weight.
• It isolates singular data, extracting the jump between lateral Borel sums and connecting perturbative sectors with neighboring trans-series sectors.
• Bridging geometric insights from Picard–Lefschetz theory with analytic resurgent methods, it clarifies the structure of Stokes transitions in divergent series.

Searching arXiv for the exact and closely related terms to ground the article in the relevant literature. Searching for resurgence/alien calculus papers that define the pointed alien operator and its relation to the alien derivative. Pointed alien derivative denotes, in resurgence terminology, the alien derivative localized at a chosen Borel singularity $\omega$ and, in the most explicit recent formulation, its exponentially weighted form $$\dot\Delta_\omega^{+}:=e^{-\omega/\hbar}\Delta_\omega^{+}$$, introduced as the pointed alien operator (Li et al., 9 May 2026). It is an infinitesimal Stokes operator: it isolates singular data attached to a specified point of the Borel plane, controls the jump between lateral Borel sums, and relates perturbative sectors to neighboring trans-series sectors. The terminology is not fully uniform. Closely related literature uses alien derivative $\Delta_\omega$, right-lateral or directional versions $\Delta_\omega^{+}$, and dotted alien derivative $\dot\Delta_\omega$, all of which express the same localized resurgent mechanism with different conventions and emphases (Dorigoni, 2014).

1. Terminology and conceptual scope

The exact phrase “pointed alien derivative” is not a universal standard name across the literature. In the resurgence notes "An Introduction to Resurgence, Trans-Series and Alien Calculus" (Dorigoni, 2014), the central object is the alien derivative $\Delta_\omega$ attached to a specific singular point $\omega$ in the Borel plane, together with a refined right-lateral determination $\Delta_\omega^{+}$. In the case study "Picard-Lefschetz theory and alien calculus: a case study" (Li et al., 9 May 2026), the explicit term is pointed alien operator, defined by inserting the exponential action factor into the alien operator. In the level-one differential-systems setting (Loday-Richaud et al., 2010), the closest analogous objects are the direction-dependent principal singular data and the dotted alien derivations extracted from the logarithm of the graded Stokes automorphism.

This usage suggests that “pointed” refers to two layers of localization. First, the operator is attached to a specific singularity $\omega$, not merely to a Stokes direction $\theta$. Second, in refined form it depends on a chosen analytic continuation path or lateral determination used to access that singularity. The pointed object is therefore not a global derivative on formal series in the ordinary sense; it is a singularity-resolving derivation internal to the resurgent/Stokes structure.

Term	Definition or role	Source
Alien derivative $$\dot\Delta_\omega^{+}:=e^{-\omega/\hbar}\Delta_\omega^{+}$$0	Coefficient in the logarithm of the Stokes automorphism at singularity $$\dot\Delta_\omega^{+}:=e^{-\omega/\hbar}\Delta_\omega^{+}$$1	(Dorigoni, 2014)
Right-lateral alien derivative $$\dot\Delta_\omega^{+}:=e^{-\omega/\hbar}\Delta_\omega^{+}$$2	Determination defined by a path reaching $$\dot\Delta_\omega^{+}:=e^{-\omega/\hbar}\Delta_\omega^{+}$$3 while avoiding intermediate singularities to the right	(Dorigoni, 2014)
Dotted alien derivative $$\dot\Delta_\omega^{+}:=e^{-\omega/\hbar}\Delta_\omega^{+}$$4	Version commuting with $$\dot\Delta_\omega^{+}:=e^{-\omega/\hbar}\Delta_\omega^{+}$$5	(Dorigoni, 2014)
Pointed alien operator $$\dot\Delta_\omega^{+}:=e^{-\omega/\hbar}\Delta_\omega^{+}$$6	Exponentially weighted operator acting naturally on full trans-series terms	(Li et al., 9 May 2026)

2. Localized singularity extraction in the Borel plane

Alien calculus is introduced in the setting of a divergent asymptotic series

$$\dot\Delta_\omega^{+}:=e^{-\omega/\hbar}\Delta_\omega^{+}$$7

with Borel transform

$$\dot\Delta_\omega^{+}:=e^{-\omega/\hbar}\Delta_\omega^{+}$$8

When $$\dot\Delta_\omega^{+}:=e^{-\omega/\hbar}\Delta_\omega^{+}$$9 is analytic along the integration ray, one recovers an actual function by the directional Laplace transform

$\Delta_\omega$0

The need for alien calculus arises precisely when $\Delta_\omega$1 develops singularities in the Borel plane (Dorigoni, 2014).

For simple resurgent functions, a singularity at $\Delta_\omega$2 has the form

$\Delta_\omega$3

The singularity data are packaged as

$\Delta_\omega$4

In this form, the alien derivative at $\Delta_\omega$5 extracts exactly the singular content localized at that point. For a single simple singularity, the paper gives

$\Delta_\omega$6

so the operator returns the residue plus the minor of the singularity (Dorigoni, 2014).

This is the fundamental reason the alien derivative is “alien”: it differentiates with respect to resurgent singular structure rather than with respect to the base variable. The operator does not probe local Taylor coefficients near the origin of the Borel plane; it probes data translated from a remote singular point $\Delta_\omega$7.

3. Stokes automorphism, lateral determination, and pointed form

The Stokes phenomenon is encoded by the difference between lateral sums

$\Delta_\omega$8

and the associated Stokes automorphism

$\Delta_\omega$9

The alien derivative is then defined through

$\Delta_\omega^{+}$0

so $\Delta_\omega^{+}$1 appears as the coefficient in the logarithm of the Stokes jump, localized at the singularity $\Delta_\omega^{+}$2 (Dorigoni, 2014).

The localized, or “pointed,” character becomes sharper in the lateral version

$\Delta_\omega^{+}$3

where $\Delta_\omega^{+}$4 is a path from the origin to $\Delta_\omega^{+}$5 avoiding intermediate singularities to the right. The operator is therefore specified not only by the point $\Delta_\omega^{+}$6 but also by the analytic continuation data used to reach it (Dorigoni, 2014).

The 2026 case study makes this lateralization completely explicit: $\Delta_\omega^{+}$7 with $\Delta_\omega^{+}$8. In this presentation, the alien operator extracts the local singular behavior at $\Delta_\omega^{+}$9, shifts it back to the origin, and converts it to a formal series. The pointed alien operator is then defined by

$\dot\Delta_\omega$0

and the Stokes automorphism along a ray $\dot\Delta_\omega$1 is

$\dot\Delta_\omega$2

The same paper also introduces the logarithmic pointed alien operator

$\dot\Delta_\omega$3

whose homogeneous components $\dot\Delta_\omega$4 are the alien derivations in the Hopf-algebraic sense (Li et al., 9 May 2026).

A plausible implication is that “pointed alien derivative” is best understood as the convergence of these three notions: localization at a singular point, specification of a lateral path, and insertion of the exponential weight needed to act directly on full trans-series sectors.

4. Derivation properties and bridge equations

Alien derivatives are derivations. In the convolutive model one has

$\dot\Delta_\omega$5

and in the multiplicative model

$\dot\Delta_\omega$6

They also satisfy

$\dot\Delta_\omega$7

This motivates the dotted alien derivative

$\dot\Delta_\omega$8

for which

$\dot\Delta_\omega$9

The dotted form is thus the resurgent derivation that is compatible with ordinary differentiation after the exponential weight has been inserted (Dorigoni, 2014).

The bridge equation makes this compatibility structural rather than incidental. For a one-parameter trans-series

$\Delta_\omega$0

the paper states

$\Delta_\omega$1

In components,

$\Delta_\omega$2

and

$\Delta_\omega$3

with $\Delta_\omega$4 for $\Delta_\omega$5. The singularity of sector $\Delta_\omega$6 at $\Delta_\omega$7 is therefore governed by sector $\Delta_\omega$8 (Dorigoni, 2014).

In level-one linear differential systems, the same idea is expressed as the infinitesimal tangent to Stokes data. After conjugation by the exponential torus, the logarithm of the graded Stokes automorphism is written

$\Delta_\omega$9

and the undotted alien derivation is

$\omega$0

The bridge relation is then expressed conceptually as

$\omega$1

This formulation places alien derivations in the Lie algebra of the unipotent graded Stokes group rather than at the level of finite Stokes jumps (Loday-Richaud et al., 2010).

5. Geometric meaning: Picard–Lefschetz wall-crossing and model examples

The 2026 case study identifies a precise dictionary between Picard–Lefschetz theory and alien calculus. For a saddle expansion

$\omega$2

the Borel singularities occur at action differences

$\omega$3

and the paper states the correspondence

$\omega$4

If near $\omega$5 one has

$\omega$6

then

$\omega$7

The pointed alien operator is the version that acts on the full trans-series term with its exponential action factor included (Li et al., 9 May 2026).

The Airy, Bessel, and Gamma models provide canonical realizations of this dictionary.

Model	Geometric statement	Resurgent statement
Airy	At $\omega$8, there is a unique connecting trajectory from $\omega$9 to $\Delta_\omega^{+}$0	$\Delta_\omega^{+}$1 and $\Delta_\omega^{+}$2
Bessel	At $\Delta_\omega^{+}$3, there are exactly two direct connecting trajectories from $\Delta_\omega^{+}$4 to $\Delta_\omega^{+}$5	$\Delta_\omega^{+}$6 and $\Delta_\omega^{+}$7
Gamma	At $\Delta_\omega^{+}$8, the direct connecting trajectories are exactly the neighboring ones $\Delta_\omega^{+}$9	$\omega$0 for $\omega$1

In the Airy model, the single trajectory corresponds to a single off-diagonal Stokes coefficient. In the Bessel model, the coefficient is $\omega$2, matching the existence of exactly two direct connecting trajectories. In the Gamma model, the infinite ladder of saddles yields an infinite triangular Stokes action, and the pointed alien operators become literal shift operators: $\omega$3 with

$\omega$4

This example isolates the distinction between primitive jumps and composite ones: nearest-neighbor transitions are the direct geometric data, while farther couplings arise through iteration and logarithmic expansion (Li et al., 9 May 2026).

6. Terminological ambiguities and non-resurgent uses of “alien”

A recurring source of confusion is that alien has a distinct meaning in perturbative QCD. In "Constraints for twist-two alien operators in QCD" (Falcioni et al., 2024) and "Alien operators for PDF evolution" (Thurenhout et al., 2 Sep 2025), alien operators are gauge-variant EOM/ghost operators that mix with gauge-invariant twist-two operators under off-shell renormalization. They are not alien derivatives in the sense of resurgence. Their role is to close the operator-mixing problem needed for the extraction of anomalous dimensions and splitting functions. The paper explains this using operators such as

$\omega$5

together with generalized BRST constraints on the couplings $\omega$6 (Thurenhout et al., 2 Sep 2025).

This suggests that a phrase such as “pointed alien derivative” can be misleading if imported into QCD language. In that setting the closest analogy is not a derivative operator in the resurgent sense but a derivative distribution encoded by $\omega$7-projected momentum monomials inside alien-operator vertices (Falcioni et al., 2024). The underlying objects are operator counterterms, not Borel-plane singularity extractors.

A second ambiguity comes from noncommutative algebra. "Noncommutative Partial Derivative" (Liu, 2022) introduces point-derivation and partial point-derivatives, defined axiomatically by a map

$\omega$8

such that each $\omega$9 is a derivation and $\theta$0 for central $\theta$1. In the algebra of noncommutative formal power series, the corresponding operator $\theta$2 is characterized by

$\theta$3

This theory is unrelated to alien calculus despite the superficial proximity of the words “point” and “derivative” (Liu, 2022).

The term pointed alien derivative is therefore best reserved for the resurgent setting in which the operator is attached to a chosen singularity $\theta$4, often to a chosen lateral determination, and frequently weighted by an exponential factor so that it acts on full trans-series sectors. In that sense, its defining significance is not ordinary differentiation but the infinitesimal encoding of Stokes transitions and inter-saddle coupling in the Borel plane (Dorigoni, 2014, Li et al., 9 May 2026).