A Unified Analytic Framework for Microlensing Caustics: Geode Solutions and Hyper--Catalan Signatures
Abstract
We give a preparation-invariant analytic description of image formation near microlensing caustics. After a local Weierstrass preparation at any multiple image (order d2), the lens mapping reduces to a single geode variable m satisfying m=U\,(m), where U is a prepared source coordinate and is an image-side kernel. The coefficients of m(U) obey closed Hyper-Catalan (HC) recurrences, allowing termwise derivatives and truncation control from the characteristic system. We also use the same form for a short HC predictor-corrector: evaluate the series within its certified radius and apply a brief Newton polish near the boundary. We define an HC signature (first nonzero kernel coefficients) and an HC spectrum (branch points and analyticity radius U), which quantify sparsity, stiffness, and safe evaluation domains. The construction covers folds and cusps of any global degree. On a binary fold and cusp, an artificial decic with a resonant unit, and two triple-lens cusps of a challenging geometry, HC seeds plus a few Newton steps recover the exact images to machine precision within the certified domain and maintain continuity under continuation. The resulting single-series templates (with (SigR,U) metadata) are ready for photometric and astrometric modeling.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.