---
title: Pointed Alien Derivative in Resurgence
url: https://www.emergentmind.com/topics/pointed-alien-derivative
type: topic
---

# Pointed Alien Derivative in Resurgence

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** [2605.08867]. 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 [1411.3585].

## 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" [1411.3585], 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" [2605.08867], 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 [1006.2613], 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 \(\Delta_\omega\) | Coefficient in the logarithm of the Stokes automorphism at singularity \(\omega\) | [1411.3585] |
| Right-lateral alien derivative \(\Delta_\omega^{+}\) | Determination defined by a path reaching \(\omega\) while avoiding intermediate singularities to the right | [1411.3585] |
| Dotted alien derivative \(\dot\Delta_\omega=e^{-\omega z}\Delta_\omega\) | Version commuting with \(\partial_z\) | [1411.3585] |
| Pointed alien operator \(\dot\Delta_\omega^{+}=e^{-\omega/\hbar}\Delta_\omega^{+}\) | Exponentially weighted operator acting naturally on full trans-series terms | [2605.08867] |

## 2. Localized singularity extraction in the Borel plane

Alien calculus is introduced in the setting of a divergent asymptotic series
\[
\tilde{\phi}(z)=\sum_{n=0}^\infty c_n z^{-n-1},
\]
with Borel transform
\[
\hat{\phi}(\zeta)=\mathcal{B}[\tilde{\phi}](\zeta)=\sum_{n=0}^\infty c_n \frac{\zeta^n}{n!}.
\]
When \(\hat\phi\) is analytic along the integration ray, one recovers an actual function by the directional Laplace transform
\[
\mathcal{L}^\theta[\hat{\phi}](z)=\int_0^{e^{i\theta}\infty} d\zeta\, e^{-z\zeta}\hat{\phi}(\zeta).
\]
The need for alien calculus arises precisely when \(\hat\phi\) develops singularities in the Borel plane [1411.3585].

For **simple resurgent functions**, a singularity at \(\omega\) has the form
\[
\hat{\phi}(\zeta) = \frac{\alpha}{2\pi i\,(\zeta-\omega)} +\frac{1}{2\pi i}\hat{\Phi}(\zeta-\omega)\log(\zeta-\omega) +reg(\zeta-\omega).
\]
The singularity data are packaged as
\[
\operatorname{Sing}_\omega \hat{\phi} = \alpha\,\delta+\hat{\Phi}.
\]
In this form, the alien derivative at \(\omega\) extracts exactly the singular content localized at that point. For a single simple singularity, the paper gives
\[
\Delta_\omega \tilde{\phi}(z)=\alpha+\tilde{\Phi}(z),
\qquad
\Delta_\omega \hat{\phi}(\zeta)=\alpha\,\delta+\hat{\Phi}(\zeta),
\]
so the operator returns the residue plus the minor of the singularity [1411.3585].

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 \(\omega\).

## 3. Stokes automorphism, lateral determination, and pointed form

The Stokes phenomenon is encoded by the difference between lateral sums
\[
\mathcal{S}_{\theta^\pm}\tilde{\psi}(z) = c+\int_0^{e^{i\theta}(\infty\pm i\epsilon)} d\zeta\,e^{-z\zeta}\hat{\phi}(\zeta),
\]
and the associated **Stokes automorphism**
\[
\mathcal{S}_{\theta^+} = \mathcal{S}_{\theta^-}\circ \mathfrak{S}_\theta
= \mathcal{S}_{\theta^-}\circ (\mathrm{Id}-\mathrm{Disc}_\theta).
\]
The alien derivative is then defined through
\[
\mathfrak{S}_\theta = \exp\!\left(\sum_{\omega\in\Gamma_\theta} e^{-\omega z}\Delta_\omega\right),
\]
so \(\Delta_\omega\) appears as the coefficient in the logarithm of the Stokes jump, localized at the singularity \(\omega\) [1411.3585].

The localized, or “pointed,” character becomes sharper in the lateral version
\[
\Delta_\omega^+ \hat{\phi}(\zeta)=\alpha_{\gamma_\omega}\,\delta+\hat{\Phi}_{\gamma_\omega}(\zeta),
\]
where \(\gamma_\omega\) is a path from the origin to \(\omega\) avoiding intermediate singularities to the right. The operator is therefore specified not only by the point \(\omega\) but also by the analytic continuation data used to reach it [1411.3585].

The 2026 case study makes this lateralization completely explicit:
\[
\Delta_\omega^{+}:=\mathcal B^{-1}\circ \tau_{-\omega}\circ \mathrm{var}_\omega^{+}\circ \mathcal B,
\]
with \(\tau_{-\omega}f(\xi)=f(\xi+\omega)\). In this presentation, the alien operator extracts the local singular behavior at \(\omega\), shifts it back to the origin, and converts it to a formal series. The **pointed alien operator** is then defined by
\[
\dot\Delta_\omega^{+}:=e^{-\omega/\hbar}\Delta_\omega^{+},
\]
and the Stokes automorphism along a ray \(d\) is
\[
\mathfrak S^{+} :=\Id+\sum_{\omega\in d}\dot\Delta_\omega^{+},
\qquad
\mathfrak S^{-}=(\mathfrak S^{+})^{-1}.
\]
The same paper also introduces the logarithmic pointed alien operator
\[
\dot\Delta_d:=\log \mathfrak S_d^+,
\]
whose homogeneous components \(\dot\Delta_w\) are the alien derivations in the Hopf-algebraic sense [2605.08867].

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
\[
\Delta_\omega(\hat{\phi}_1*\hat{\phi}_2) = \Delta_\omega\hat{\phi}_1 * \hat{\phi}_2 + \hat{\phi}_1 * \Delta_\omega\hat{\phi}_2,
\]
and in the multiplicative model
\[
\Delta_\omega(\tilde{\phi}_1\cdot\tilde{\phi}_2) = \Delta_\omega\tilde{\phi}_1\cdot\tilde{\phi}_2 + \tilde{\phi}_1\cdot\Delta_\omega\tilde{\phi}_2.
\]
They also satisfy
\[
\Delta_\omega\,\partial_z\tilde{\phi} = \partial_z\,\Delta_\omega\tilde{\phi} -\omega\,\Delta_\omega\tilde{\phi}.
\]
This motivates the **dotted alien derivative**
\[
\dot{\Delta}_\omega=e^{-\omega z}\Delta_\omega,
\]
for which
\[
[\partial_z,\dot{\Delta}_\omega]=0.
\]
The dotted form is thus the resurgent derivation that is compatible with ordinary differentiation after the exponential weight has been inserted [1411.3585].

The bridge equation makes this compatibility structural rather than incidental. For a one-parameter trans-series
\[
\Phi(z,\sigma)=\sum_{n=0}^\infty \sigma^n e^{-nS_0 z}\tilde{\phi}_n(z),
\]
the paper states
\[
\dot{\Delta}_{kS_0}\Phi(z,\sigma) = A_k(\sigma)\,\partial_\sigma \Phi(z,\sigma).
\]
In components,
\[
\Delta_{kS_0}\tilde{\phi}_n = 0\qquad (k>1),
\]
and
\[
\Delta_{kS_0}\tilde{\phi}_n = A_k\,(n+k)\,\tilde{\phi}_{n+k} \qquad (k\le 1),
\]
with \(\tilde{\phi}_n=0\) for \(n<0\). The singularity of sector \(n\) at \(\omega=kS_0\) is therefore governed by sector \(n+k\) [1411.3585].

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
\[
\ln\!\big(I_n+T_{\underline\lambda} C_\theta T_{\underline\lambda}^{-1}\big)
=
\sum_{\omega\in\mathbf{\mathcal O}_\theta}\Delta_\omega\,\underline\lambda^{\underline m(\omega)},
\]
and the undotted alien derivation is
\[
\mathfrak D_\omega=e^{+\omega/x}\Delta_\omega.
\]
The bridge relation is then expressed conceptually as
\[
\mathfrak D_\omega\big(\widehat F(x)\,x^L\big)=\widehat F(x)\,x^L\,\Delta_\omega.
\]
This formulation places alien derivations in the Lie algebra of the unipotent graded Stokes group rather than at the level of finite Stokes jumps [1006.2613].

## 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
\[
I_{_p^\theta}(\hbar)=\int_{_p^\theta} e^{-S/\hbar}\,\mu \sim \widetilde I_p(\hbar) = e^{-S(p)/\hbar}\,\widetilde\Psi_p(\hbar),
\]
the Borel singularities occur at action differences
\[
\omega=S(q)-S(p),
\]
and the paper states the correspondence
\[
\text{Picard–Lefschetz trajectory count} \quad\Longleftrightarrow\quad \text{alien coefficient}.
\]
If near \(\omega\) one has
\[
\widehat\Psi_p(\xi)=H(\xi)+\frac{1}{2\pi i}\log(\xi-\omega)\,\widehat\Psi_q(\xi-\omega),
\]
then
\[
\Delta_\omega^{+}\widehat\Psi_p=\widehat\Psi_q,
\qquad
\Delta_\omega^{+}\widetilde\Psi_p=\widetilde\Psi_q.
\]
The pointed alien operator is the version that acts on the full trans-series term with its exponential action factor included [2605.08867].

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

| Model | Geometric statement | Resurgent statement |
|---|---|---|
| Airy | At \(\theta_*=0 \pmod\pi\), there is a unique connecting trajectory from \(p_-\) to \(p_+\) | \(\Delta_{4/3}^{+}\widetilde\phi_+ = -\,i\,\widetilde\phi_-\) and \(\dot\Delta_{4/3}^{+}\widetilde I_+ = -\widetilde I_-\) |
| Bessel | At \(\theta_*=\pi/2\), there are exactly two direct connecting trajectories from \(w_+\) to \(w_-\) | \(\Delta_{2}^{+}\widetilde\phi_-=-\,2i\,\widetilde\phi_+\) and \(\dot\Delta_{2}^{+}\widetilde I_- = 2\,\widetilde I_+\) |
| Gamma | At \(\theta_*=\pi/2\), the direct connecting trajectories are exactly the neighboring ones \(p_n\to p_{n+1}\) | \(\dot\Delta^+_{2\pi m}\widetilde I_n=\widetilde I_{n-m}\) for \(m=-1,1,2,3,\ldots\) |

In the Airy model, the single trajectory corresponds to a single off-diagonal Stokes coefficient. In the Bessel model, the coefficient is \(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:
\[
\mathfrak S^+\widetilde I_n = \widetilde I_n+\sum_{m\ge1}\widetilde I_{n-m} = \sum_{\ell\le n}\widetilde I_\ell,
\]
with
\[
\log\mathfrak S^+ = -\log(1-T) = \sum_{k\ge1}\frac{T^k}{k},
\qquad
\dot\Delta_{2\pi k}=\frac1k T^k.
\]
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 [2605.08867].

## 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" [2409.02870] and "Alien operators for PDF evolution" [2509.01994], 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
\[
O_c^{(N),I}=-\eta(N)(\partial\bar c^a)(\partial^{N-1}c^a),
\qquad
O_c^{(N),II}=-g_s f^{abc}\sum_{i+j=N-3}\eta_{ij}(\partial\bar c^a)(\partial^i A^b)(\partial^{j+1}c^c),
\]
together with generalized BRST constraints on the couplings \(\eta_{ij}\) [2509.01994].

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 \(\Delta\)-projected momentum monomials inside alien-operator vertices [2409.02870]. The underlying objects are operator counterterms, not Borel-plane singularity extractors.

A second ambiguity comes from noncommutative algebra. "Noncommutative Partial Derivative" [2205.10722] introduces **point-derivation** and **partial point-derivatives**, defined axiomatically by a map
\[
D:A\to \operatorname{End}(A)
\]
such that each \(D_B\) is a derivation and \(D_z=zD_1\) for central \(z\). In the algebra of noncommutative formal power series, the corresponding operator \(d_B\) is characterized by
\[
d_B(a)=0,\qquad d_B(x)=B,\qquad d_B(fg)=d_B(f)\,g+f\,d_B(g).
\]
This theory is unrelated to alien calculus despite the superficial proximity of the words “point” and “derivative” [2205.10722].

The term **pointed alien derivative** is therefore best reserved for the resurgent setting in which the operator is attached to a chosen singularity \(\omega\), 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 [1411.3585][2605.08867].

Source: https://www.emergentmind.com/topics/pointed-alien-derivative