Orbit Dissimilarity Function (D-Function) Overview

• D-function is a scalar measure comparing orbit pairs, with its definition and application varying across meteor science, operator algebras, diffeomorphism-invariant learning, and celestial mechanics.
• In meteor science, classical D-criteria (e.g., D_SH, D_D, D_H) use thresholds to group meteors and face challenges like failing the triangle inequality, affecting shower duration analyses.
• Advanced formulations in operator algebras, diffeomorphism-invariant learning, and MOID provide theoretical bounds and computational efficiencies for measuring orbit similarity and geometric separation.

Searching arXiv for recent and foundational papers on orbit dissimilarity functions across meteor science, operator algebras, and geometric orbit distance. {"^^^^^^^^3query3 dissimilarity\"^^^^^^^^3 OR title:\3^^^^^^^^"orbit dissimilarity\"","max_results":^^^^3all:\3query3^^^^,"sort_by":"submittedDate","sort_order":"descending"} Searching arXiv for exact cited works to anchor the article. {"^^^^^^^^3query3 Orbit dissimilarity function, or D-function, denotes a scalar comparison construction whose precise meaning depends on the surrounding theory. In meteor science, a D-function assigns one value to two meteoroid orbits or to two meteors represented through observed or geocentric quantities, and small values are interpreted as orbital similarity; together with a threshold, it becomes a D-criterion used to form meteor groups (&&&^^^^3all:\3^^^^&&&). In operator algebras, PRESERVED_PLACEHOLDER_^^^^3query3^^^^ compares normal elements through Cuntz comparison and is designed to control the distance between closures of unitary orbits (&&&^^^^3 OR title:\3^^^^&&&). In diffeomorphism-invariant learning, DID can be read as an orbit-aware dissimilarity for functions under smooth reparameterizations of the domain, although it is not defined as a quotient metric on orbit space (Cantelobre et al., 2022). In celestial mechanics, the Keplerian distance and the MOID are geometric orbit-to-orbit distances measuring actual Euclidean separation between confocal Keplerian trajectories (Gronchi et al., 2023, Mikryukov et al., 2019).

^^^^3all:\3^^^^. General definition and structural role

In the literature considered here, a D-function is always a scalar object attached to a pair of mathematical objects regarded through an orbit relation, a similarity relation, or an actual geometric orbit. What changes from field to field is the meaning of “orbit,” the data used in the comparison, and the logical role of the resulting scalar.

Context	Objects compared	Role of the D-function
Meteor science	Two meteoroid orbits or observed/geocentric parameters	Pairwise similarity used with a threshold and clustering algorithm
Simple PRESERVED_PLACEHOLDER_^^^^3all:\3^^^^-algebras	Normal elements or associated homomorphisms	Controls distance between closures of unitary orbits
Diffeomorphism-invariant learning	Functions PRESERVED_PLACEHOLDER_^^^^3 OR title:\3^^^^ under $f\mapsto f\circ Q$	Regularized certificate of similarity under diffeomorphic reparameterization
Celestial mechanics	Two confocal elliptic or circular Keplerian orbits	Actual geometric orbit distance or computable bounds on it

A recurring pattern is that the scalar is not self-sufficient. In meteor science, a D-function must be paired with a threshold $D_S$ and a grouping algorithm; in operator algebras, $D_c$ must be supplemented by $K_1$-information in the nontrivial case; in DID, regularization and a mask break symmetry; and in MOID work, the distance captures closest spatial approach but not timing or long-term dynamical accessibility (&&&^^^^3all:\3^^^^&&&, &&&^^^^3 OR title:\3^^^^&&&, Cantelobre et al., 2022, Mikryukov et al., 2019).

^^^^3 OR title:\3^^^^. Meteor-shower D-functions and D-criteria

In meteor science, the review literature distinguishes sharply between a D-function and a D-criterion. The D-function is the scalar comparison map; the D-criterion is the function plus a threshold $D_S$. Operationally, if

$D(\text{object}_1,\text{object}_2)<D_S,$

the two meteors are treated as orbitally similar and may be assigned to the same meteor group. The review also distinguishes “meteor group,” meaning a set of meteors with similar orbits, from “meteor shower,” meaning a group additionally shown to share a common origin (&&&^^^^3all:\3^^^^&&&).

The classical orbital-element criteria are $D_{SH}$ of Southworth and Hawkins, PRESERVED_PLACEHOLDER_^^^^3all:\3query3^^^^ of Drummond, and PRESERVED_PLACEHOLDER_^^^^3all:\3all:\3^^^^ of Jopek. The review presents PRESERVED_PLACEHOLDER_^^^^3all:\3 OR title:\3^^^^ as historically foundational and still dominant in meteor-shower identification, PRESERVED_PLACEHOLDER_^^^^3all:\33^^^^ as a dimensionless normalized alternative, and PRESERVED_PLACEHOLDER_^^^^3all:\3^^^^4 as a hybrid intended to combine a physically motivated structure with partial normalization. Beyond these, the review discusses geocentric or observational formulations such as Valsecchi’s PRESERVED_PLACEHOLDER_^^^^3all:\3^^^^5 and PRESERVED_PLACEHOLDER_^^^^3all:\3^^^^6, Rudawska’s PRESERVED_PLACEHOLDER_^^^^3all:\3^^^^7, vectorial criteria such as Neslušan’s momentum-vector distance and Jopek et al.’s PRESERVED_PLACEHOLDER_^^^^3all:\3^^^^8, and reduced-variable or dynamical comparators such as Jenniskens’ PRESERVED_PLACEHOLDER_^^^^3all:\3^^^^9 and PRESERVED_PLACEHOLDER_^^^^3 OR title:\3query3^^^^ (&&&^^^^3all:\3^^^^&&&).

The meteor-astronomy use case is not limited to a choice of formula. The same D-function can behave very differently depending on the threshold and on the clustering procedure. The review identifies several operational modes: all-pairs searches to discover new groups, comparisons against one or more reference orbits to assign meteors to known showers, single-neighbour or single-linkage chaining, iterative mean-orbit procedures, two-stage procedures using multiple D-functions, and density-based methods such as DBSCAN. A central conclusion is that D-functions are pairwise similarity kernels embedded inside broader workflows rather than standalone identification methods (&&&^^^^3all:\3^^^^&&&).

Several recurring criticisms are also emphasized. Many classical criteria incorporate PRESERVED_PLACEHOLDER_^^^^3 OR title:\3all:\3^^^^ or solar longitude, so time is effectively built into the similarity score. This can split a long-duration shower into shorter subgroups. Standard orbital-element functions also operate in a five-dimensional element space even though Earth intersection makes the meteor-shower similarity problem effectively four-variable. The review further notes that PRESERVED_PLACEHOLDER_^^^^3 OR title:\3 OR title:\3^^^^ and PRESERVED_PLACEHOLDER_^^^^3 OR title:\33^^^^ fail the triangle inequality, so they are not true distances in the mathematical sense. Threshold choice is treated as a balance between false positives and false negatives, and the review strongly favors dataset-specific calibration against the sporadic background rather than blind reuse of literature values (&&&^^^^3all:\3^^^^&&&).

3. Static-reference bias in shower activity profiles

A major limitation of meteor D-criteria appears when they are used not merely to isolate dynamically similar meteors, but to recover a shower’s activity profile as a function of solar longitude. The central physical point is that meteoroids in a real shower can disperse in longitude of the ascending node, and therefore in solar longitude, while preserving a common Sun-centered ecliptic radiant and geocentric speed. A static reference orbit plus a fixed D-threshold therefore penalizes true members observed far from the shower peak, making the shower “appear briefer than it actually is” (&&&^^^^3query3^^^^&&&).

The paper makes this argument explicitly with the Drummond criterion

PRESERVED_PLACEHOLDER_^^^^3 OR title:\3^^^^4

where PRESERVED_PLACEHOLDER_^^^^3 OR title:\3^^^^5 is perihelion distance, PRESERVED_PLACEHOLDER_^^^^3 OR title:\3^^^^6 is eccentricity, and the subscripts PRESERVED_PLACEHOLDER_^^^^3 OR title:\3^^^^7 and PRESERVED_PLACEHOLDER_^^^^3 OR title:\3^^^^8 denote the meteor and the shower reference orbit. The angular terms are

PRESERVED_PLACEHOLDER_^^^^3 OR title:\3^^^^9

and

$f\mapsto f\circ Q$^^^^3query3^^^^

with

$f\mapsto f\circ Q$^^^^3all:\3^^^^

The paper states that the shortening effect is not peculiar to Drummond $f\mapsto f\circ Q$^^^^3 OR title:\3^^^^; it “will occur for any method that incorporates time, solar longitude, or longitude of the ascending node into a single measure of shower member likelihood,” including most other variants (&&&^^^^3query3^^^^&&&).

The demonstration uses simulated Perseid and Southern Taurid showers with double-exponential activity profiles in solar longitude. Radiants are scattered with a circularly symmetric angular offset having standard deviation $f\mapsto f\circ Q$3, and geocentric speeds are drawn from a normal distribution with standard deviation equal to $f\mapsto f\circ Q$4 of the shower speed. Two selection methods are then compared. Method ^^^^3all:\3^^^^ is a direct cut in observational space: within $f\mapsto f\circ Q$5 of the Sun-centered ecliptic radiant and within $f\mapsto f\circ Q$6 of the geocentric speed. Method ^^^^3 OR title:\3^^^^ uses Drummond $f\mapsto f\circ Q$7 with $f\mapsto f\circ Q$8 for Perseids and $f\mapsto f\circ Q$9 for Southern Taurids, following Galligan’s thresholds for approximately 7^^^^3query3^^^^% stream retrieval in AMOR radar data. In the present simulation those thresholds recover only 5^^^^3 OR title:\3^^^^% of Perseids and ^^^^3 OR title:\3^^^^5% of Taurids, excluding noise, whereas the direct radiant/velocity cut recovers 86% of meteors in both showers, regardless of whether they are shower or noise meteors. This is used to argue that D-thresholds are not universal and depend on instrument precision (&&&^^^^3query3^^^^&&&).

The strongest quantitative example concerns the Southern Taurids. The simulated true profile uses $D_S$^^^^3query3^^^^, but fitting the $D_S$^^^^3all:\3^^^^-selected sample yields $D_S$^^^^3 OR title:\3^^^^, so the recovered profile is between 3 and 4 times steeper than the true one. At the same time, the same Drummond-$D_S$3 filter recovers ^^^^3 OR title:\3^^^^5% of simulated Taurids but only ^^^^3 OR title:\3^^^^% of simulated noise, showing why D-based selection remains attractive when the aim is to derive representative stream orbits rather than durations or rise and decay rates. The paper therefore recommends two ways to avoid temporal compression: detect showers initially using only Sun-centered ecliptic radiant and velocity, as in the wavelet coefficient method of Brown et al. (^^^^3 OR title:\3query3query3^^^^8), or replace a single static reference orbit with a time-dependent set of reference orbits or radiants/velocities, as in the “look-up table” approach of Jenniskens et al. (^^^^3 OR title:\3query3all:\3^^^^8) (&&&^^^^3query3^^^^&&&).

4. Comparison-theoretic orbit dissimilarity in simple $D_S$4-algebras

In the $D_S$5-algebraic setting, the relevant orbit is the unitary orbit of a normal element. For a unital $D_S$6-algebra $D_S$7, a normal element $D_S$8, and unitary group $D_S$9, the orbit closure is

$D_c$^^^^3query3^^^^

For two normal elements $D_c$^^^^3all:\3^^^^, the geometric quantity under study is $D_c$^^^^3 OR title:\3^^^^. The paper introduces $D_c$3 as a comparison-theoretic dissimilarity for the associated homomorphisms $D_c$4, where $D_c$5 and $D_c$6, $D_c$7 (&&&^^^^3 OR title:\3^^^^&&&).

The core definition is

$D_c$8

where $D_c$9 is a positive function with support exactly $K_1$^^^^3query3^^^^, $K_1$^^^^3all:\3^^^^, and $K_1$^^^^3 OR title:\3^^^^ denotes Cuntz subequivalence of positive elements. For normal elements,

$K_1$3

This construction does not compare $K_1$4 and $K_1$5 directly in norm. It compares how spectral pieces of $K_1$6 and $K_1$7 sit in the algebra through the Cuntz semigroup. In the stable-rank-one simple setting, a priori asymmetry disappears, and $K_1$8 is a metric space (&&&^^^^3 OR title:\3^^^^&&&).

The main orbit-distance statements are upper and lower bounds under increasingly restrictive hypotheses. If $K_1$9 is a unital simple separable $D_S$^^^^3query3^^^^-algebra with real rank zero, stable rank one, and weakly unperforated $D_S$^^^^3all:\3^^^^, and if $D_S$^^^^3 OR title:\3^^^^ and $D_S$3 in $D_S$4 outside the spectra, then

$D_S$5

For unital separable AF-algebras, no $D_S$6-assumption is needed: $D_S$7 A refined essential version $D_S$8 is introduced by splitting off arbitrarily small common finite-dimensional pieces supported in $D_S$9, and under matching $D(\text{object}_1,\text{object}_2)<D_S,$^^^^3query3^^^^-data one has

$D(\text{object}_1,\text{object}_2)<D_S,$^^^^3all:\3^^^^

while in favorable “hub” configurations the stronger $D(\text{object}_1,\text{object}_2)<D_S,$^^^^3 OR title:\3^^^^ is recovered (&&&^^^^3 OR title:\3^^^^&&&).

The lower-bound side is equally important. In AF-algebras there exists a constant $D(\text{object}_1,\text{object}_2)<D_S,$3 such that

$D(\text{object}_1,\text{object}_2)<D_S,$4

The introduction states that this constant is universal, that Davidson computed it at least $D(\text{object}_1,\text{object}_2)<D_S,$5, and that it cannot be improved to $D(\text{object}_1,\text{object}_2)<D_S,$6 even in matrices. The same paper also warns against a common misconception: $D(\text{object}_1,\text{object}_2)<D_S,$7 is not a complete invariant of orbit distance in the presence of nontrivial $D(\text{object}_1,\text{object}_2)<D_S,$8-information. Theorem 7.^^^^3 OR title:\3^^^^ gives examples with

$D(\text{object}_1,\text{object}_2)<D_S,$9

so $D_{SH}$^^^^3query3^^^^ alone measures only the Cuntz/spectral-comparison side of dissimilarity and must be supplemented by $D_{SH}$^^^^3all:\3^^^^-obstruction terms (&&&^^^^3 OR title:\3^^^^&&&).

5. Diffeomorphism-invariant dissimilarity and orbit actions

DID is introduced as a pairwise dissimilarity for data represented as functions

$D_{SH}$^^^^3 OR title:\3^^^^

with invariance sought under right-composition by a diffeomorphism $D_{SH}$3. A natural orbit interpretation is

$D_{SH}$4

although the paper itself does not define DID by minimizing over this orbit. Instead, it uses the change-of-variables formula and an RKHS optimization over weighting functions $D_{SH}$5 to eliminate $D_{SH}$6 implicitly (Cantelobre et al., 2022).

The definition is

$D_{SH}$7

where

$D_{SH}$8

With the operators

$D_{SH}$9

the paper shows

PRESERVED_PLACEHOLDER_^^^^3all:\3query3query3^^^^

and derives the closed form

PRESERVED_PLACEHOLDER_^^^^3all:\3query3all:\3^^^^

The inner minimization is PRESERVED_PLACEHOLDER_^^^^3all:\3query3 OR title:\3^^^^-strongly convex, so it has a unique global minimizer (Cantelobre et al., 2022).

The invariance is quantitative and approximate rather than exact for fixed PRESERVED_PLACEHOLDER_^^^^3all:\3query33^^^^. If PRESERVED_PLACEHOLDER_^^^^3all:\3query3^^^^4 is open and bounded with Lipschitz boundary, PRESERVED_PLACEHOLDER_^^^^3all:\3query3^^^^5 has compact support PRESERVED_PLACEHOLDER_^^^^3all:\3query3^^^^6, PRESERVED_PLACEHOLDER_^^^^3all:\3query3^^^^7 is a Sobolev kernel of smoothness PRESERVED_PLACEHOLDER_^^^^3all:\3query3^^^^8, and PRESERVED_PLACEHOLDER_^^^^3all:\3query3^^^^9 is a PRESERVED_PLACEHOLDER_^^^^3all:\3all:\3query3^^^^ diffeomorphism with PRESERVED_PLACEHOLDER_^^^^3all:\3all:\3all:\3^^^^, then

PRESERVED_PLACEHOLDER_^^^^3all:\3all:\3 OR title:\3^^^^

so

PRESERVED_PLACEHOLDER_^^^^3all:\3all:\33^^^^

This makes DID approximately orbit-invariant for smooth domain warps in a precise asymptotic sense (Cantelobre et al., 2022).

The paper is equally explicit about limitations. Because of the mask PRESERVED_PLACEHOLDER_^^^^3all:\3all:\3^^^^4, symmetry between PRESERVED_PLACEHOLDER_^^^^3all:\3all:\3^^^^5 and PRESERVED_PLACEHOLDER_^^^^3all:\3all:\3^^^^6 is broken: PRESERVED_PLACEHOLDER_^^^^3all:\3all:\3^^^^7 becomes the reference and one searches in PRESERVED_PLACEHOLDER_^^^^3all:\3all:\3^^^^8 for matching statistics. Identity of indiscernibles is not established; for PRESERVED_PLACEHOLDER_^^^^3all:\3all:\3^^^^9, even PRESERVED_PLACEHOLDER_^^^^3all:\3 OR title:\3query3^^^^ need not be zero because regularization introduces bias. No triangle inequality is proved, and no converse theorem states that small DID implies the existence of a diffeomorphism PRESERVED_PLACEHOLDER_^^^^3all:\3 OR title:\3all:\3^^^^ with PRESERVED_PLACEHOLDER_^^^^3all:\3 OR title:\3 OR title:\3^^^^. DID is therefore best read as a regularized RKHS-based certificate of diffeomorphic equivalence rather than a metric on orbit space (Cantelobre et al., 2022).

6. Geometric orbit distance, MOID, and explicit lower bounds

In celestial mechanics, the relevant “orbit dissimilarity” is often not a heuristic element-space similarity score but the actual Euclidean distance between two confocal Keplerian trajectories. For two elliptic orbits PRESERVED_PLACEHOLDER_^^^^3all:\3 OR title:\33^^^^ with common focus, the Keplerian distance is

PRESERVED_PLACEHOLDER_^^^^3all:\3 OR title:\3^^^^4

where PRESERVED_PLACEHOLDER_^^^^3all:\3 OR title:\3^^^^5 specifies one point on each orbit. The absolute minimum

PRESERVED_PLACEHOLDER_^^^^3all:\3 OR title:\3^^^^6

is the MOID. The computation is organized through the critical points of PRESERVED_PLACEHOLDER_^^^^3all:\3 OR title:\3^^^^7, not PRESERVED_PLACEHOLDER_^^^^3all:\3 OR title:\3^^^^8, because “we squared the distance PRESERVED_PLACEHOLDER_^^^^3all:\3 OR title:\3^^^^9 to include crossing points among the critical ones.” The paper revisits two algebraic routes to all critical points of PRESERVED_PLACEHOLDER_^^^^3all:\33query3^^^^: one using ordinary polynomials and one using trigonometric polynomials. In both formulations the generic problem reduces to a univariate polynomial of degree PRESERVED_PLACEHOLDER_^^^^3all:\33all:\3^^^^, which the paper describes as minimal in the general elliptic case (Gronchi et al., 2023).

The same work emphasizes that MOID is a genuine geometric dissimilarity measure between two confocal Keplerian trajectories. It measures actual minimum spatial separation rather than a weighted difference of orbital elements. At the same time, it is not presented as a metric on orbital-element space, and it does not encode timing, phase, dynamical accessibility, or long-term evolution. Two orbits can have small MOID yet be dynamically very different, and conversely element-wise similar orbits can have a nontrivial geometric separation. This places MOID in a different category from classical meteor PRESERVED_PLACEHOLDER_^^^^3all:\33 OR title:\3^^^^-criteria (Gronchi et al., 2023).

A related paper gives a computable positive lower bound for MOID between two noncoplanar bounded Keplerian orbits with a common focus. If PRESERVED_PLACEHOLDER_^^^^3all:\333^^^^ denotes MOID and PRESERVED_PLACEHOLDER_^^^^3all:\33^^^^4 is the nodal-distance-based upper bound constructed from the four distinguished nodal pairings, then the new lower bound is

PRESERVED_PLACEHOLDER_^^^^3all:\33^^^^5

with

PRESERVED_PLACEHOLDER_^^^^3all:\33^^^^6

The coefficient is

PRESERVED_PLACEHOLDER_^^^^3all:\33^^^^7

For noncoplanar pairs, this lower bound is positive and vanishes if and only if the orbits intersect, so it is a rigorous geometric filter rather than a heuristic similarity score (Mikryukov et al., 2019).

The computational significance is substantial. On the first PRESERVED_PLACEHOLDER_^^^^3all:\33^^^^8 asteroids of the MPC numbered catalog, yielding PRESERVED_PLACEHOLDER_^^^^3all:\33^^^^9 distinct pairs, the lower-bound test skipped PRESERVED_PLACEHOLDER_^^^^3all:\3max_results3query3^^^^, PRESERVED_PLACEHOLDER_^^^^3all:\3max_results3all:\3^^^^, and PRESERVED_PLACEHOLDER_^^^^3all:\3max_results3 OR title:\3^^^^ of pairs for MOID thresholds PRESERVED_PLACEHOLDER_^^^^3all:\3^^^^43, PRESERVED_PLACEHOLDER_^^^^3all:\3^^^^44, and PRESERVED_PLACEHOLDER_^^^^3all:\3^^^^45 AU, with corresponding total speedups of PRESERVED_PLACEHOLDER_^^^^3all:\3^^^^46, PRESERVED_PLACEHOLDER_^^^^3all:\3^^^^47, and PRESERVED_PLACEHOLDER_^^^^3all:\3^^^^48. This suggests a useful distinction within orbit dissimilarity research: some D-functions are thresholded similarity surrogates, whereas MOID and its explicit lower bounds are geometrically certified orbit-distance quantities that can be used as safe rejectors in large catalogs (Mikryukov et al., 2019).