Borel Resummation¶
Method — instantiates Resummation and Nonperturbative Extrapolation
Removes factorial coefficient growth in a Borel transform and reconstructs a value through a justified inverse integral, treating its contour ambiguity as a nonperturbative signal.
Once factorial growth has been divided out and the Borel function is available along the integration axis, the value of the original divergent series is recovered by an inverse integral of that Borel function against a decaying kernel. Borel Resummation is that reconstruction step — and its defining preoccupation is not the transform but the integral's path. Singularities sitting on or near the positive axis force a choice: deform the contour above, below, or take a principal value. The differences between those admissible prescriptions are not rounding error; they are a structured ambiguity whose size estimates the scale of contributions the perturbative series never contained. Where a rational-continuation cousin worries about inventing poles, this mechanism worries about which side of a real pole to pass, and reads the answer's dependence on that choice as physics rather than noise.
Example¶
A relativistic hydrodynamic description of the plasma formed in a heavy-ion collision is organized as a gradient expansion — successive corrections in how fast the fluid's gradients vary. Computed to high order, the coefficients diverge factorially, so the gradient series is asymptotic. Borel-transforming it produces a Borel function with a singularity off the positive axis, at a location set by the slowest-decaying non-hydrodynamic mode. Reconstructing the fluid's behavior means integrating back, and the pole means the lateral contour above and below the axis give values differing by a small imaginary piece scaling like an exponential of the inverse gradient size. Rather than average that away, the analysis records it: that exponential is the fingerprint of the non-hydrodynamic sector — real excitations that decay too fast to appear at any order of the gradient expansion — and it marks exactly what must be supplied from a fuller description before the reconstruction can be trusted deep into the early-time regime.
How it works¶
- Fix the transform and the path. State the Borel weight and, crucially, the inverse-integral prescription (lateral-above, lateral-below, principal value) as an explicit, recorded choice.
- Locate axis obstructions. Identify singularities on or near the integration contour; their position, not just their presence, controls the prescription's consequences.
- Budget the prescription spread. Carry the difference between admissible contours as its own line item, kept separate from coefficient noise and truncation error.
- Read the residual as a boundary. When that spread matches an expected exponentially-small scale, name the missing sector and route it to independent input instead of absorbing it into an error bar.
Tuning parameters¶
- Contour prescription — lateral above/below the axis or principal value. The highest-stakes dial: it fixes the reconstructed value's imaginary/ambiguous part and thereby the nonperturbative reading.
- Borel weight — which factorial power is divided out before integrating. Matches the diagnosed growth; a mismatch relocates or hides axis singularities.
- Ambiguity reporting — whether the prescription spread is surfaced as a structural quantity or collapsed into a single displayed number. Collapsing it erases the very signal the method exists to expose.
- Completion threshold — how large a prescription spread triggers a formal nonperturbative handoff rather than a widened bound.
When it helps, and when it misleads¶
Its strength is that it assigns a controlled value to a series that has no ordinary sum and extracts a bonus: the contour ambiguity measures the missing physics. In the theory of resurgence, that ambiguity is exactly cancelled by exponentially small terms in a transseries, so the prescription dependence is not a defect but a pointer to the sectors that complete the answer.[n1]
Its failure mode is burying the prescription inside a tuning knob — quietly fixing "lateral-above" and presenting a path-independent-looking number. That launders a structural ambiguity into false precision and discards the nonperturbative signal. The classic misuse is reporting one contour's value to many digits because the integral was numerically stable, mistaking numerical precision for structural certainty. The guarding discipline is to always report at least two admissible prescriptions and their difference, and to compare that difference against the theoretically expected missing-sector scale before deciding whether the reconstruction is complete.
How it implements the components¶
resummation_transform_choice— records the Borel family and the inverse-integral prescription as the governed method, with direct summation named as the rejected alternative.ambiguity_and_uncertainty_budget— keeps contour/prescription spread as a distinct structural line, never merged with coefficient or truncation error.nonperturbative_completion_boundary— interprets the prescription spread's scale as the size of the missing sector and routes it to an independent completion.
It does not diagnose the raw coefficients' factorial growth or rationally continue the Borel transform from finite terms — the large_order_or_singularity_diagnostic, the local_expansion_record of the Borel series, and the continuation_ensemble over Borel–Padé orders are Borel–Padé Resummation's, its nearest twin.
Related¶
- Instantiates: Resummation and Nonperturbative Extrapolation — the reconstruction-and-completion core once the Borel function is in hand.
- Consumes: Borel–Padé Resummation — supplies a usable continuation of the Borel transform when only finitely many coefficients are known.
- Sibling mechanisms: Borel–Padé Resummation · Conformal Borel Mapping · Exact-or-Numerical Benchmark · High-Temperature Series Resummation · Matched Asymptotic Expansion · Padé Approximant · Renormalization-Group Improvement · Sequence Acceleration Transform · Strong-Coupling Extrapolation Check
Editorial Notes¶
Form Classification¶
Form family: Analysis, Modeling & Optimization
Rationale: Removes factorial coefficient growth in a Borel transform and reconstructs a value through a justified inverse integral, treating its contour ambiguity as a nonperturbative signal, making its operative form a computation or analytic transformation that produces an inference, comparison, or optimized result.
Independent corroboration: The frozen evidence defines Borel Resummation as 'Removes factorial coefficient growth in a Borel transform and reconstructs a value through a justified inverse integral, treating its contour ambiguity as a nonperturbative signal', so its operative form is Analysis, Modeling & Optimization.
Review outcome: Independent reviewer agreement; high confidence.
Origin Attribution¶
Primary origin: Mathematics
Origin pattern: Single lineage
Present-day reach: Specialized
Rationale: Borel summation reconstructs a value from a transformed divergent series by an inverse integral and treats contour choices around singularities as structured ambiguity.
Related originating lineages:
- Physics — Physics contributes the wave, boundary-condition, scaling, perturbation, or measurement formalism used here.
Review outcome: Independent reviewer agreement; high confidence.
Notes¶
[n1] Resurgence and transseries — the framework in which the imaginary ambiguity of the Borel inverse integral is exactly cancelled by exponentially small ("nonperturbative") terms, so the prescription dependence encodes the scale of the missing sector rather than a computational flaw. ↩