-
Principal Curves In Metric Spaces And The Space Of Probability Measures
Authors:
Andrew Warren,
Anton Afanassiev,
Forest Kobayashi,
Young-Heon Kim,
Geoffrey Schiebinger
Abstract:
We introduce principal curves in Wasserstein space, and in general compact metric spaces. Our motivation for the Wasserstein case comes from optimal-transport-based trajectory inference, where a developing population of cells traces out a curve in Wasserstein space. Our framework enables new experimental procedures for collecting high-density time-courses of developing populations of cells: time-p…
▽ More
We introduce principal curves in Wasserstein space, and in general compact metric spaces. Our motivation for the Wasserstein case comes from optimal-transport-based trajectory inference, where a developing population of cells traces out a curve in Wasserstein space. Our framework enables new experimental procedures for collecting high-density time-courses of developing populations of cells: time-points can be processed in parallel (making it easier to collect more time-points). However, then the time of collection is unknown, and must be recovered by solving a seriation problem (or one-dimensional manifold learning problem).
We propose an estimator based on Wasserstein principal curves, and prove it is consistent for recovering a curve of probability measures in Wasserstein space from empirical samples. This consistency theorem is obtained via a series of results regarding principal curves in compact metric spaces. In particular, we establish the validity of certain numerical discretization schemes for principal curves, which is a new result even in the Euclidean setting.
△ Less
Submitted 7 May, 2025;
originally announced May 2025.
-
Structure of average distance minimizers in general dimensions
Authors:
Lucas O'Brien,
Forest Kobayashi,
Young-Heon Kim
Abstract:
For a fixed, compactly supported probability measure $μ$ on $\mathbb{R}^d$, we consider the problem of minimizing the $p^{\mathrm{th}}$-power average distance functional over all compact, connected $Σ\subseteq \mathbb{R}^d$ with Hausdorff 1-measure $\mathcal{H}^1(Σ) \leq l$. This problem, known as the average distance problem, was first studied by Buttazzo, Oudet, and Stepanov in 2002, and has und…
▽ More
For a fixed, compactly supported probability measure $μ$ on $\mathbb{R}^d$, we consider the problem of minimizing the $p^{\mathrm{th}}$-power average distance functional over all compact, connected $Σ\subseteq \mathbb{R}^d$ with Hausdorff 1-measure $\mathcal{H}^1(Σ) \leq l$. This problem, known as the average distance problem, was first studied by Buttazzo, Oudet, and Stepanov in 2002, and has undergone a considerable amount of research since. We will provide a novel approach to studying this problem by analyzing it using the so-called barycentre field introduced previously by Hayase and two of the authors. This allows us to provide a complete topological description of minimizers in arbitrary dimension when $p = 2$ and $p > \frac{1}{2}(3 + \sqrt{5}) \approx 2.618$, the first such result which includes the case when $d > 2$.
△ Less
Submitted 29 March, 2025;
originally announced March 2025.
-
Monge-Kantorovich Fitting With Sobolev Budgets
Authors:
Forest Kobayashi,
Jonathan Hayase,
Young-Heon Kim
Abstract:
Given $m < n$, we consider the problem of ``best'' approximating an $n\text{-d}$ probability measure $ρ$ via an $m\text{-d}$ measure $ν$ such that $\mathrm{supp}\ ν$ has bounded total ``complexity.'' When $ρ$ is concentrated near an $m\text{-d}$ set we may interpret this as a manifold learning problem with noisy data. However, we do not restrict our analysis to this case, as the more general formu…
▽ More
Given $m < n$, we consider the problem of ``best'' approximating an $n\text{-d}$ probability measure $ρ$ via an $m\text{-d}$ measure $ν$ such that $\mathrm{supp}\ ν$ has bounded total ``complexity.'' When $ρ$ is concentrated near an $m\text{-d}$ set we may interpret this as a manifold learning problem with noisy data. However, we do not restrict our analysis to this case, as the more general formulation has broader applications.
We quantify $ν$'s performance in approximating $ρ$ via the Monge-Kantorovich (also called Wasserstein) $p$-cost $\mathbb{W}_p^p(ρ, ν)$, and constrain the complexity by requiring $\mathrm{supp}\ ν$ to be coverable by an $f : \mathbb{R}^{m} \to \mathbb{R}^{n}$ whose $W^{k,q}$ Sobolev norm is bounded by $\ell \geq 0$. This allows us to reformulate the problem as minimizing a functional $\mathscr J_p(f)$ under the Sobolev ``budget'' $\ell$. This problem is closely related to (but distinct from) principal curves with length constraints when $m=1, k = 1$ and an unsupervised analogue of smoothing splines when $k > 1$. New challenges arise from the higher-order differentiability condition.
We study the ``gradient'' of $\mathscr J_p$, which is given by a certain vector field that we call the barycenter field, and use it to prove a nontrivial (almost) strict monotonicity result. We also provide a natural discretization scheme and establish its consistency. We use this scheme as a toy model for a generative learning task, and by analogy, propose novel interpretations for the role regularization plays in improving training.
△ Less
Submitted 29 March, 2025; v1 submitted 24 September, 2024;
originally announced September 2024.
-
Generalized $F$-signatures of the rings of invariants of finite group schemes
Authors:
Mitsuyasu Hashimoto,
Fumiya Kobayashi
Abstract:
Let $k$ be a perfect field of prime characteristic $p$, $G$ a finite group scheme over $k$, and $V$ a finite-dimensional $G$-module. Let $S=\mathop{\mathrm{Sym}}V$ be the symmetric algebra with the standard grading. Let $M$ be a $\Bbb Q$-graded $S$-finite $S$-free $(G,S)$-module, and $L$ be its $S$-reflexive graded $(G,S)$-submodule.
Assume that the action of $G$ on $V$ is small in the sense tha…
▽ More
Let $k$ be a perfect field of prime characteristic $p$, $G$ a finite group scheme over $k$, and $V$ a finite-dimensional $G$-module. Let $S=\mathop{\mathrm{Sym}}V$ be the symmetric algebra with the standard grading. Let $M$ be a $\Bbb Q$-graded $S$-finite $S$-free $(G,S)$-module, and $L$ be its $S$-reflexive graded $(G,S)$-submodule.
Assume that the action of $G$ on $V$ is small in the sense that there exists some $G$-stable Zariski closed subset $F$ of $V$ of codimension two or more such that the action of $G$ on $V\setminus F$ is free. Generalizing the result of P. Symonds and the first author, we describe the Frobenius limit $\mathop{\mathrm{FL}}(L^G)$ of the $S^G$-module $L^G$. In particular, we determine the generalized $F$-signature $s(M,S^G)$ for each indecomposable gradable reflexive $S^G$-module $M$. In particular, we prove the fact that the $F$-signature $s(S^G)=s(S^G,S^G)$ equals $1/\dim k[G]$ if $G$ is linearly reductive (already proved by Watanabe--Yoshida, Carvajal-Rojas--Schwede--Tucker, and Carvajal-Rojas) and $0$ otherwise (some important cases has already been proved by Broer, Yasuda, Liedtke--Martin--Matsumoto).
△ Less
Submitted 30 May, 2023; v1 submitted 24 April, 2023;
originally announced April 2023.
-
Uniform Convergence and Knot Equivalence
Authors:
Forest Kobayashi
Abstract:
Given a uniformly convergent sequence of ambient isotopies $(H_n)_{n\in\mathbb{N}}$, bijectivity of the limit function $H_\infty$ together with a minor compactness condition guarantees that $H_\infty$ is also an ambient isotopy. By offloading the uniform convergence hypothesis to a more diagrammatic condition, we obtain sufficient conditions for performing countably-many Reidemeister moves. We use…
▽ More
Given a uniformly convergent sequence of ambient isotopies $(H_n)_{n\in\mathbb{N}}$, bijectivity of the limit function $H_\infty$ together with a minor compactness condition guarantees that $H_\infty$ is also an ambient isotopy. By offloading the uniform convergence hypothesis to a more diagrammatic condition, we obtain sufficient conditions for performing countably-many Reidemeister moves. We use this to construct examples of tame knots with countably-many crossings and discuss what distinguishes these from similar-looking wild curves.
△ Less
Submitted 11 January, 2021;
originally announced January 2021.
-
Kaestner Brackets
Authors:
Forest Kobayashi,
Sam Nelson
Abstract:
We introduce \textit{Kaestner brackets}, a generalization of biquandle brackets to the case of parity biquandles. This infinite set of quantum enhancements of the biquandle counting invariant for oriented virtual knots and links includes the classical quantum invariants, the quandle and biquandle $2$-cocycle invariants and the classical biquandle brackets as special cases, coinciding with them for…
▽ More
We introduce \textit{Kaestner brackets}, a generalization of biquandle brackets to the case of parity biquandles. This infinite set of quantum enhancements of the biquandle counting invariant for oriented virtual knots and links includes the classical quantum invariants, the quandle and biquandle $2$-cocycle invariants and the classical biquandle brackets as special cases, coinciding with them for oriented classical knots and links but defining generally stronger invariants for oriented virtual knots and links. We provide examples to illustrate the computation of the new invariant and to show that it is stronger than the classical biquandle bracket invariant for virtual knots.
△ Less
Submitted 10 June, 2020; v1 submitted 21 September, 2019;
originally announced September 2019.
