arXiv subjects

Tomoki Uda

Publications and source records attributed to Tomoki Uda.

3 recordsLinked to original sources

arXiv2026

Borelness of Moduli Spaces of Metrics Implies Separability

Let X be a metrizable space, and let Met(X) denote the space of metrics compatible with the topology of X, regarded as a subspace of the space of continuous pseudometrics with the supremum-metric topology. We first prove that if Z is a discrete space of cardinality aleph-one, then Met(Z) is not Borel. As a consequence, if Met(X) is Borel, then X is separable. Combined with a theorem of Koshino, our result yields that the space of bounded compatible metrics on a metrizable space X is completely metrizable if and only if X is sigma-compact. We also establish non-Archimedean analogues for spaces of ultrametrics.

math.GN↗

arXiv2026

On Ishiki's Conjecture: $\mathrm{Met}(D)$ Is Not Completely Metrizable for $\lvert D\rvert=\aleph_1$

For a discrete topological space $D$, let $\mathrm{Met}(D)$ denote the set of metrics on $D$ that are compatible with the discrete topology, equipped with the topology induced by the supremum distance. Ishiki's Conjecture 5.1 asserts that $\mathrm{Met}(D)$ is not completely metrizable when $\lvert D\rvert = \aleph_1$. We prove this in ZFC by constructing a set $A \subseteq [0,1]$ of cardinality $\aleph_1$ that is not $F_\sigma$ and embedding its complement as a closed subspace of $\mathrm{Met}(D)$. The proof has also been formalised in Lean 4.

math.GN↗

arXiv2025

Topological flow data analysis for transient flow patterns: a graph-based approach

We introduce a method of time series analysis for two-dimensional transient flow patterns based on Topological Flow Data Analysis (TFDA), a new approach to topological data analysis. TFDA identifies local topological flow structures from an instantaneous streamline pattern and describes their global connections as a unique planar tree and its string representation. With TFDA, the evolution of two-dimensional flow patterns is reduced to a discrete dynamical system represented as a transition graph between topologically equivalent streamline patterns. We apply this method to study the lid-driven cavity flow for Reynolds numbers from $Re=14000$ to $16000$, a benchmark problem in the analysis of fluid dynamics. Our approach can extract some physical information from the lid-driven cavity flow: transition of the flow from periodic to quasi-periodic and chaotic; estimation of the period of periodic dynamics; relation between variations in energy and enstrophy and topological changes in flow patterns; statistical properties of intricate flow evolution at higher Reynolds number. In addition, we perform an observational causal inference to analyse changes in local flow patterns in the cavity corner. This work demonstrates the potential of TFDA-based time series analysis to uncover complex dynamical behaviours in fluid flow data from a topological perspective.

physics.flu-dyn↗