AION-1: Cross-Domain Research Overview
- AION-1 is a versatile designation encompassing domain-specific systems in atom interferometry, astronomy ML, Android security, and database verification.
- In atom interferometry, AION-1 refers to a 10 m demonstrator for gravitational-wave detection that bridges the mid-frequency gap using ultracold atoms and large-momentum-transfer techniques.
- In astronomy, AION-1 designates an omnimodal foundation model pretrained on extensive sky surveys, significantly enhancing galaxy property estimation and morphological classification.
AION-1 is a research designation used for several distinct systems across atom interferometry, multimodal astronomical machine learning, Android malware detection, and online database-isolation checking. In the gravitational-wave literature, it most prominently denotes an atom-interferometer stage within the AION programme, intended to probe the mid-frequency band between LIGO/Virgo and LISA (Ellis et al., 2020). In astronomy, it denotes an omnimodal foundation-model family pretrained across large sky surveys (Parker et al., 20 Oct 2025). In cybersecurity and database systems, it denotes unrelated architectures for active-learning-based Android repackaged-malware detection and online snapshot-isolation checking, respectively (Salem, 2018, Li et al., 2 Apr 2025). The term therefore has no single cross-domain referent; its meaning is determined by the surrounding research context.
1. Nomenclature and domain-specific referents
The label is used heterogeneously in the literature.
| Research domain | Meaning of AION-1 | Source |
|---|---|---|
| Atom interferometry | A stage of the AION gravitational-wave programme | (Ellis et al., 2020) |
| Astronomy ML | Omnimodal foundation model for astronomical sciences | (Parker et al., 20 Oct 2025) |
| Android security | Active-learning malware-detection architecture | (Salem, 2018) |
| Database verification | Online snapshot-isolation checker | (Li et al., 2 Apr 2025) |
A further related but not identical usage appears in optimization theory, where AION denotes the “Analytic, Infinitely-Optimisable Network” architecture introduced together with the Method of Infinite Descent; that paper does not use the AION-1 designation (Batley et al., 7 Oct 2025).
This multiplicity is not merely nominal. Different papers attach the same string to objects with different physical scales, computational goals, and mathematical formalisms. Within atom interferometry alone, the label is not uniform across publications. This suggests that any technical reading of “AION-1” must begin with source-specific disambiguation.
2. AION-1 in atom-interferometric gravitational-wave detection
In the AION programme described in “Probes of Gravitational Waves with Atom Interferometers,” AION-1 is the first 10 m–scale terrestrial demonstrator, designed to bridge the mid-frequency gap between LIGO/Virgo at frequencies and LISA at frequencies (Ellis et al., 2020). The instrument is a vertical atomic fountain with baseline length , using ultracold selected for the narrow – clock transition at . Its laser system employs two counter-propagating ultra-stable beams frequency-stabilized by a high-finesse cavity, and the interferometric geometry is a Mach–Zehnder light-pulse sequence . Large-momentum-transfer techniques raise the effective momentum transfer to , while the pulse separation is chosen as 0, limited by the free-fall height in the 10 m tube (Ellis et al., 2020).
The basic gravitational-wave response is written in the frequency domain as
1
with transfer function
2
An equivalent time-domain expression is
3
where 4 is the response kernel of the 5–6–7 sequence (Ellis et al., 2020). The dominant noise is assumed to be atom-shot-noise-limited, with phase uncertainty 8 for 9, yielding
0
With 1, 2, and 3, the quoted single-sided strain-noise amplitudes are 4 at 5, 6 at 7, 8 at 9, 0 at 1, and 2 at 3, all in units of 4 (Ellis et al., 2020). In characteristic-strain form, the mid-band minimum is near 5 with 6.
The same study treats AION-1 as a probe of modified gravitational-wave propagation. For a massive graviton with dispersion relation 7, a Fisher-matrix forecast for a GW150914-like binary with redshifted chirp mass 8 at luminosity distance 9, observed over 0 day, yields a 1 confidence-level bound
2
For Lorentz-violating modified dispersion relations of the form 3, AION-1 improves on LIGO by factors 4–5 in the regime 6, excluding 7 down to 8 for 9 or 0 (Ellis et al., 2020).
The paper also positions AION-1 within a staged roadmap. Scaling from 1 to AION-100 m reduces 2 by 3 and tightens graviton-mass bounds to 4, while the full AION-1 km stage reaches 5 and 6 at 7 confidence level, exceeding LIGO’s current limit by 8 in a stand-alone inspiral measurement (Ellis et al., 2020).
3. Nonuniform atom-interferometer usage of the label
Later papers use the same designation for related but not identical atom-interferometric concepts. In “Testing Supersymmetric Hidden Sectors with Long-Baseline Atom Interferometers,” AION-1 is treated as a laboratory-scale probe of ultralight moduli, dilatons, or hidden scalars with masses in the range 9–0, detectable through coherent oscillations in atomic energy levels (Trivedi, 8 Jun 2026). The microscopic coupling dictionary is expressed through
1
and the interferometric phase shift is approximated by
2
with amplitude
3
if the scalar contributes a fraction 4 of the local dark-matter density (Trivedi, 8 Jun 2026). The projected oscillatory-phase sensitivity is stated as 5 per Fourier bin in the 6–7 band, leading to the benchmark scaling
8
with examples 9 at 0 and 1 at 2 (Trivedi, 8 Jun 2026). The assumed “AION-1-quality instrument” in that projection has baseline 3, a strontium clock atom with 4, 5, pulse spacing 6, and total run-time 7.
A different usage appears in “Probing supermassive black hole seed scenarios with gravitational wave measurements,” where AION-1, also referred to as AION-1 km, is described as a space-borne atom-interferometer concept with a 8 baseline, operating with ultracold strontium atoms in two drag-free spacecraft separated by 9 (Ellis et al., 2023). In that treatment, the detector spans roughly 0 to a few hertz, with a low-noise-model minimum 1 at 2. The inspiral matched-filtering analysis uses
3
and gives a detection horizon out to redshifts 4–5 for binaries with chirp masses 6–7 in the last minutes before merger (Ellis et al., 2023). One-year event yields are quoted as 8 in low-mass-seed scenarios and below unity in high-mass-seed scenarios, while Fisher-matrix estimates give 9–0 and 1–2 for a typical 3 binary at 4, improving to a few percent for the heaviest events seen into merger (Ellis et al., 2023).
These descriptions are not numerically interchangeable. One paper defines AION-1 as a 10 m terrestrial demonstrator, another uses AION-1-quality assumptions at approximately 100 m, and a third uses AION-1 or AION-1 km for a 5 space-borne concept (Ellis et al., 2020, Trivedi, 8 Jun 2026, Ellis et al., 2023). A plausible implication is that the label functions as a stage or concept marker rather than a universally fixed instrument specification.
4. AION-1 as an omnimodal astronomical foundation model
In astronomy, AION-1 denotes a family of multimodal foundation models intended for joint modeling of heterogeneous imaging, spectroscopic, and scalar data (Parker et al., 20 Oct 2025). The architecture has two stages. Stage 1 comprises modality-specific tokenizers: an imaging tokenizer built from a ResNet autoencoder with FSQ quantization, a spectra tokenizer using ConvNeXt-V2 with LFQ quantization, and a parameter-free FSQ scalar tokenizer based on empirical CDF estimation, Gaussianization, and inverse mapping through standard-normal quantiles (Parker et al., 20 Oct 2025). Stage 2 is a multimodal encoder–decoder transformer that consumes sequences of discrete tokens from any combination of modalities, with embeddings of the form
6
where 7 is a learnable modality-plus-instrument embedding and 8 a shared positional encoding (Parker et al., 20 Oct 2025).
The pretraining corpus spans five surveys: Legacy Survey, Hyper Suprime-Cam, Sloan Digital Sky Survey, Dark Energy Spectroscopic Instrument, and Gaia. These are stated to cover more than 200 million observations of stars, galaxies, and quasars (Parker et al., 20 Oct 2025). Optimization uses AdamW with 9, weight decay 00, global batch size 01, linear warmup to 02 followed by cosine decay over 03 steps, mixed precision in bfloat16, and FSDP ZeRO-2 (Parker et al., 20 Oct 2025). Three transformer variants are reported: AION-B with 300 M parameters, AION-L with 800 M parameters, and AION-XL with 3.1 B parameters (Parker et al., 20 Oct 2025).
The model is evaluated with a frozen encoder and lightweight downstream heads. In galaxy property estimation on PROVABGS targets, AION-B improves from 04 and 05 using photometry alone to 06 and 07 with photometry plus imaging, and to 08 and 09 with photometry, imaging, and spectra (Parker et al., 20 Oct 2025). In Galaxy Zoo 10 morphology classification, AION-L reaches 10 accuracy, compared with 11 for EfficientNet-B3 from scratch and 12 for DINOv2, while ZooBot trained on 13 labels achieves 14 (Parker et al., 20 Oct 2025). In Galaxy Zoo 3D segmentation, AION-B attains IoU 15 for spiral arms and 16 for bars, compared with 17 and 18 for a U-Net trained from scratch (Parker et al., 20 Oct 2025). For rare-object retrieval, AION-XL reaches nDCG@10 values of 19 for spirals, 20 for mergers, and 21 for strong lenses, exceeding the AstroCLIP results of 22, 23, and 24 (Parker et al., 20 Oct 2025).
The low-data behavior is emphasized as well. Across galaxy-property, morphology, and stellar-parameter tasks, AION-B reaches approximately 25 or accuracy 26 with only 27–28 labels, whereas supervised baselines remain near zero until approximately 29–30 labels (Parker et al., 20 Oct 2025). The release includes code, tokenizers, pretrained weights for the 300 M, 800 M, and 3 B models, and a lightweight evaluation suite under an MIT license (Parker et al., 20 Oct 2025).
5. Uncertainty quantification on frozen AION-1 embeddings
A subsequent study examines uncertainty quantification for galaxy-property regression using frozen AION-1 embeddings (Tame-Narvaez et al., 5 Jun 2026). In that setup, the pretrained encoder produces a pooled 31-dimensional representation
32
which is passed to a separate three-layer MLP for each target: redshift 33, stellar mass 34, mass-weighted stellar age 35, gas-phase metallicity 36, and specific star-formation rate 37 (Tame-Narvaez et al., 5 Jun 2026). The MLP architecture is 38 with GELU nonlinearities and MSE training under Adam with learning rate 39, weight decay 40, and cosine annealing over 41 epochs. On a held-out test set of 42 galaxies, the point-estimate 43 scores are
44
for 45 (Tame-Narvaez et al., 5 Jun 2026).
The UQ comparison includes Deep Ensembles, MC Dropout, VanillaSplit conformal prediction, MADSplit, Conformalized Quantile Regression, and Locally Valid and Discriminative variants using either MLP hidden activations or raw AION-1 embeddings (Tame-Narvaez et al., 5 Jun 2026). At nominal level 46, all conformal methods achieve marginal coverage within approximately 47 percentage point of 48 across the five targets, while the non-conformal baselines do not calibrate reliably: Deep Ensembles under-cover severely, and MC Dropout over-covers (Tame-Narvaez et al., 5 Jun 2026). In the worst-predicted 49 bin, CQR gives the highest coverage, approximately 50–51, whereas VanillaSplit collapses to approximately 52 and MADSplit is inconsistent at approximately 53–54 (Tame-Narvaez et al., 5 Jun 2026). Among well-calibrated methods, the LVD variants yield the tightest intervals.
The principal methodological claim concerns local validity. The LVD framework defines weights
55
and constructs a weighted local conformal quantile 56, producing intervals that adapt to local prediction difficulty (Tame-Narvaez et al., 5 Jun 2026). The paper states that only LVD—particularly when operating on AION-1 embeddings—provides finite-sample local validity rather than only marginal coverage. This makes the AION-1 embedding space part of the uncertainty model itself, not merely a fixed feature extractor.
6. AION-1 in cybersecurity and online database checking
In Android malware research, Aion or AION-1 denotes an architecture that couples app stimulation and malware detection through active learning (Salem, 2018). Its workflow contains five core modules in a feedback loop: App Stimulation Engine, Monitoring and Trace Collection, Behavior Representation, Classifier and Active Learner, and Feedback Manager. APKs are installed on an Android Virtual Device and stimulated for 57 with Droidutan, a UI exerciser that emulates taps, text input, and manifest-declared broadcast-intent injection (Salem, 2018). Static features extracted through Androguard include metadata, permissions, and counts in 27 sensitive API categories, forming a vector of approximately 58 dimensions. Dynamic features from droidmon intercept 71 key methods and are collapsed into a 37-dimensional vector. The hybrid representation is
59
The active-learning loop retrains on 60, identifies the misclassified query set
61
re-stimulates those apps, and iterates until 62 or 63 (Salem, 2018). The ensemble combines KNN, Random Forest, and linear SVM classifiers by majority vote. On the Piggybacking dataset, the best reported test result is approximately 64 with specificity approximately 65 using Random Forest with 100 trees and hybrid features, after up to a 66 F1 lift relative to single-run dynamics and convergence at iteration approximately 67 on average (Salem, 2018).
In database systems, AION is an online checker for snapshot isolation, derived from the offline checker CHRONOS (Li et al., 2 Apr 2025). It is designed for streaming histories with out-of-order timestamps, bounded memory, and no need for fence transactions or database pauses. The core versioned structures are frontier[68], which stores the last committed value of each key at or before timestamp 69, and ongoing[70] [k], which tracks transactions whose start has occurred by 71, whose commit is after 72, and which write key 73 (Li et al., 2 Apr 2025). The online algorithm processes a new transaction in three phases: initial checks on session order, start–commit order, and internal/external read consistency; re-checking write–write conflicts for overlapping transactions; and re-checking external reads of later transactions whose snapshots might have included the new commit (Li et al., 2 Apr 2025). Its axioms include
74
together with session-order, internal-consistency, external-consistency, and no-write-write-conflict conditions (Li et al., 2 Apr 2025). The amortized per-transaction complexity is stated as
75
where 76 is the number of transactions seen so far, 77 the number of operations in the new transaction, and 78 the number of events in the relevant timestamp interval (Li et al., 2 Apr 2025). Experimentally, AION and AION-SER sustain approximately 79 transactions per second; CDC extraction imposes only approximately 80 overhead on TiDB and YugabyteDB; and a 81 timeout virtually eliminates spurious violation reports caused by temporary out-of-order arrival effects (Li et al., 2 Apr 2025).
These two systems share neither domain nor method. One is an active-learning malware-analysis pipeline over behavioral traces; the other is an online consistency checker over timestamp-indexed transactional histories. Their coexistence under the same name is a case of terminological collision rather than conceptual relatedness.
7. Related AION nomenclature in optimization theory
A distinct but adjacent usage is the AION architecture introduced in “The Method of Infinite Descent” (Batley et al., 7 Oct 2025). Here AION means “Analytic, Infinitely-Optimisable Network,” a separable model family designed to satisfy the algebraic-closure conditions required by the Infinite Descent optimizer. For input 82 and rank 83, the model represents
84
with each atom given by a finite linear combination of exponential–trigonometric terms (Batley et al., 7 Oct 2025). The crucial property is algebraic closure under arbitrary differentiation orders and multiplicative composition, enabling exact resummation of the parameter-shift Taylor series:
85
The resulting update is posed as an exact nonlinear algebraic root problem in 86 rather than as an approximation through truncated gradients (Batley et al., 7 Oct 2025).
The demonstration problem is 87 on the unit square, sampled on a 88 grid and fitted with least squares. With rank 89 and 90 per atom, the paper states that the model can represent the target exactly as a sum of two separable trigonometric products (Batley et al., 7 Oct 2025). Reported optimization outcomes are: Steepest Descent, 1,000 iterations to loss approximately 91 in 92; Newton–CG, 28 iterations to loss approximately 93 in 94; and Infinite Descent, 1 outer iteration to loss approximately 95 in 96 (Batley et al., 7 Oct 2025). The paper further defines the “Infinity Class” as the class of separable neural architectures whose univariate bases are algebraically closed under differentiation and multiplication, so that the Taylor expansion in parameter shifts can be resummed in closed form (Batley et al., 7 Oct 2025).
Although this work does not name its model AION-1, it illustrates how the AION stem has proliferated into yet another technically specific meaning. Across the corpus, “AION-1” therefore functions less as a unique identifier than as a reused label spanning atom interferometers, astronomical foundation models, cybersecurity pipelines, and online verification algorithms.