Conformal Borel Mapping¶
Method — instantiates Resummation and Nonperturbative Extrapolation
Maps a cut Borel domain to a disk to improve transformed-series convergence, using an assumed singularity geometry as an explicit, testable input.
When you already believe you know where the nearest Borel-plane singularities sit, that knowledge is worth more than another rational fit. Conformal Borel Mapping exploits it: it applies a conformal change of variable that sends the cut Borel plane — cut along the ray where the singularities live — onto the interior of a unit disk, so the re-expanded Borel series converges throughout the mapped domain instead of stalling at the nearest cut. The defining commitment, and the defining risk, is that the map is built from an assumed singularity geometry. That assumption is a declared prior, not a derived fact. Change the assumed singularity location and you get a different map and a different reconstruction, which is why the mechanism's whole discipline is to label the geometry as input, vary it, and check the mapped result against structure it must independently satisfy.
Example¶
Consider the ground-state energy of the quartic anharmonic oscillator in quantum mechanics — a textbook system whose weak-coupling perturbation series diverges factorially, and whose Borel transform is known on physical grounds to have its nearest singularity on the negative real axis at a fixed distance set by the instanton action. Direct rational continuation of the Borel series is workable but jittery near that cut. Instead, the analyst chooses a conformal map that opens the cut plane into a disk with the known singularity pushed to the boundary. Re-expanded in the mapped variable, the Borel series becomes markedly more stable: successive orders now agree to several digits where before they crept. To keep honest, the analyst re-runs the map with the assumed singularity distance shifted by a plausible margin; the reconstructed energy barely moves, which is the evidence that the map is helping rather than manufacturing a confident but biased answer.
How it works¶
- Declare the singularity geometry. State the assumed location and type of the nearest Borel-plane singularity, and its evidential status (physically derived, expected, or convenient).
- Choose and apply the map. Pick the conformal transformation that carries the cut plane to a disk and pushes the singularity to its boundary; re-expand the Borel series in the new variable.
- Register the map's dials. Record the map parameters and re-expansion order as scheme choices to be varied, not fixed defaults.
- Enforce known structure. Check that the reconstruction still respects exact limits, positivity, and symmetry; a map that improves smoothness while breaking those is producing biased stability.
Tuning parameters¶
- Assumed singularity location — the distance and angle fed into the map. The dominant dial: a wrong location yields impressive but systematically shifted results, so it is varied rather than trusted.
- Map family — which conformal transformation is used (single-cut disk map vs. a multi-cut variant). Richer maps encode more assumed structure at the cost of more prior.
- Re-expansion order — how many terms of the mapped series are kept. More terms sharpen convergence only while the assumed geometry holds.
- Prior trust weight — how strongly the geometry constrains versus how widely it is scanned in sensitivity runs.
When it helps, and when it misleads¶
Its strength is that credible analytic knowledge — a known instanton position, a physically mandated cut — becomes computational leverage, and the reconstruction is often far more stable than blind continuation of the same coefficients.[n1] When the singularity structure is genuinely known, this is the sharpest tool in the family.
Its failure mode is precisely proportional to its strength: an incorrect map produces stability that looks like convergence but is systematically biased toward the assumed geometry. The classic misuse is choosing the singularity location that makes the output land on a hoped-for value and then reporting the resulting smoothness as validation — a guessed prior dressed as a derived one. The guarding discipline is to treat the geometry as a scanned input: vary it across its plausible range, and only report features that survive that scan and that also satisfy the exact structural constraints the answer must obey.
How it implements the components¶
singularity_prior— the assumed nearest-singularity location and type is the map's defining input, carried with its evidential status.scheme_and_scale_register— logs the map parameters and re-expansion order as scheme choices whose influence is measured, not hidden.structural_constraint_register— enforces the exact limits, positivity, and symmetry the mapped reconstruction must still satisfy, catching maps that buy smoothness by breaking structure.
It does not choose the underlying Borel family or own the inverse-integral prescription — that resummation_transform_choice and ambiguity_and_uncertainty_budget are Borel Resummation's — and it does not supply the independent benchmark_case_set the map is checked against, which is Exact-or-Numerical Benchmark's.
Related¶
- Instantiates: Resummation and Nonperturbative Extrapolation — uses known analytic geometry to make a Borel reconstruction converge.
- Consumes: Borel Resummation — the map improves the very transform whose inverse integral that mechanism then evaluates.
- Sibling mechanisms: Borel–Padé Resummation · Borel Resummation · 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: Maps a cut Borel domain to a disk to improve transformed-series convergence, using an assumed singularity geometry as an explicit, testable input, making its operative form a computation, comparison, model, or analytic representation used to infer, estimate, or choose.
Independent corroboration: The frozen evidence defines Conformal Borel Mapping as 'Maps a cut Borel domain to a disk to improve transformed-series convergence, using an assumed singularity geometry as an explicit, testable input', so its operative form is Analysis, Modeling & Optimization.
Review outcome: Independent reviewer agreement; high confidence.
Origin Attribution¶
Primary origin: Physics
Origin pattern: Cross-disciplinary synthesis
Present-day reach: Specialized
Rationale: Mathematical physics established conformal mapping of Borel planes to accelerate resummation using known singularity geometry.
Related originating lineages:
- Mathematics — Complex analysis supplies conformal maps, analytic continuation, and convergence control.
Review resolution: Both reviewers agree on physics as primary. Reading the source mechanism confirms that its defining operation belongs to that lineage; the final record retains mathematics only where it materially formed the mechanism and keeps present-day application breadth separate from provenance.
Review outcome: Reconciled after independent review; high confidence.
Notes¶
[n1] The instanton — a nonperturbative saddle whose action fixes the location of the nearest Borel-plane singularity for many quantum-mechanical and field-theoretic series. When that action is known, it supplies the credible singularity geometry a conformal map needs. ↩