Expand description
Warping function utilities and Hilbert sphere geometry.
This module provides operations on warping (reparameterization) functions,
including their Hilbert sphere representation via ψ(t) = √γ'(t).
Key capabilities:
gam_to_psi/psi_to_gam— Convert between warping functions and sphereexp_map_sphere/inv_exp_map_sphere— Riemannian exponential / log mapsnormalize_warp/invert_gamma— Warp normalization and inversionphase_distance— Geodesic distance from a warp to the identity
Functions§
- exp_
map_ sphere - Exponential map on the Hilbert sphere.
Moves from
psialong tangent vectorv. - gam_
to_ psi - Convert warping function to Hilbert sphere representation: ψ = √γ’.
- inner_
product_ l2 - L2 inner product: ∫ψ₁·ψ₂ dt via trapezoidal rule.
- inv_
exp_ map_ sphere - Inverse exponential (log) map on the Hilbert sphere.
Returns tangent vector at
mupointing towardpsi. - invert_
gamma - Invert a warping function: find γ⁻¹ such that γ⁻¹(γ(t)) = t.
gamandtimeare both on [0,1]. - l2_
norm_ l2 - L2 norm: √(∫ψ² dt).
- normalize_
warp - Ensure γ is a valid warping: monotone non-decreasing, with correct boundary values.
- phase_
distance - Geodesic distance from a warping function to the identity on the Hilbert sphere.
- psi_
to_ gam - Convert ψ back to warping function: γ = cumtrapz(ψ²), normalized to [0,1].