Researcher profile

Tomoo Yokoyama

Tomoo Yokoyama contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
4topics
2close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

10 published item(s)

preprint2022arXiv

Discrete representations of orbit structures of flows for topological data analysis

This paper shows that the topological structures of particle orbits generated by a generic class of vector fields on spherical surfaces, called {\it the flow of finite type}, are in one-to-one correspondence with discrete structures such as trees/graphs and sequence of letters. The flow of finite type is an extension of structurally stable Hamiltonian vector fields, which appear in many theoretical and numerical investigations of 2D incompressible fluid flows. Moreover, it contains compressible 2D vector fields such as the Morse--Smale vector fields and the projection of 3D vector fields onto 2D sections. The discrete representation is not only a simple symbolic identifier for the topological structure of complex flows, but it also gives rise to a new methodology of topological data analysis for flows when applied to data brought by measurements, experiments, and numerical simulations of complex flows. As a proof of concept, we provide some applications of the representation theory to 2D compressible vector fields and a 3D vector field arising in an industrial problem.

preprint2022arXiv

Flows with time-reversal symmetric limit sets on surfaces

The Long-time behavior of orbits is one of the most fundamental properties in dynamical systems. Poincaré studied the Poisson stability, which satisfies a time-reversal symmetric condition, to capture the property of whether points return arbitrarily near the initial positions after a sufficiently long time. Birkhoff introduced and studied the concept of non-wandering points, which is one of the time-reversal symmetric conditions. Moreover, minimality and pointwise periodicity satisfy the time-reversal symmetric condition for limit sets. This paper characterizes flows with the time-reversal symmetric condition for limit sets, which refine the characterization of irrational or Denjoy flows by Athanassopoulos. Using the description, we construct flows on a sphere with Lakes of Wada attractors and with an arbitrarily large number of complementary domains, which are flow versions of such examples of spherical homeomorphisms constructed by Boroński, Činč, and Liu.

preprint2022arXiv

Generalization of Poincaré recurrence theorem for flows on surfaces and characterization of minimal flows on compact surfaces

Poincaré recurrence theorem implies the density of recurrent points for volume-preserving dynamical systems on compact domains. The density of closed orbits in the non-wandering set is one of the essential properties of Axiom A and chaos. The minimal flows are one of the most fundamental objects in topological dynamics. To analyze minimality, recurrence, and density in this paper, we introduce a strict limit circuit and a circuit with wandering holonomy. Using these concepts, we classify non-recurrent non-wandering orbits of flows on compact surfaces with finitely many singular points, characterize the minimality of flows on compact surfaces, and generalize the Poincaré recurrence theorem for flows on surfaces. Moreover, we characterize the density of closed orbits in the non-wandering set under finiteness of singular points. Furthermore, we demonstrate the necessity of finiteness of singular points and compactness of surfaces. In addition, the analogous results hold for flows with finitely many connected components of the singular point set on non-compact surfaces using the end compactification and collapsing singular points.

preprint2022arXiv

Morse hyper-graphs and abstract weak orbit spaces of semi-decompositions

We introduce topological invariants of semi-decompositions (e.g. filtrations, semi-group actions, multi-valued dynamical systems, combinatorial dynamical systems) on a topological space to analyze semi-decompositions from a dynamical systems point of view. In fact, we construct Morse hyper-graphs and abstract weak elements of semi-decompositions. Moreover, the Morse hyper-graphs of the set of sublevel sets of a Morse function of a compact manifold is the Reeb graph of such function as abstract multi-graphs. The abstract weak element space for a simplicial complex is the face poset. The abstract weak element spaces of positive orbits of acyclic directed graphs are their abstract directed multi-graphs.

preprint2022arXiv

Morse hyper-graphs of topological spaces and decompositions

The cell complex structure is one of the most fundamental structures in topology and combinatorics, the Morse decomposition of a dynamical system analyzes the global gradient behavior, and the Reeb graph of a function is an elementary tool in Morse theory to represent the global connection and is also used to analyze continuous and discrete data in topological data analysis. In this paper, we unify three concepts of cell complexes, Morse decompositions, and Reeb graphs into a concept. In fact, we introduce topological invariants for topological spaces and decompositions, which are analogous to abstract (weak) orbit spaces and Morse graphs for flows. To achieve these, we define analogous concepts of recurrence and "chain-recurrence" for topological spaces and decompositions such that the original and new recurrences correspond to each other for a flow orbits on a locally compact Hausdorff space and the orbit space. We show that the Morse hyper-graphs exist for any topological spaces and any invariant decompositions (e.g. compact foliated spaces). Moreover, the abstract weak element spaces generalize the Reeb graphs of Morse functions and the Morse (hyper-)graphs and refine abstract cell complexes.

preprint2022arXiv

On low-codimensional decompositions

Decompositions on manifolds appear in various geometric structures. Necessary and sufficient conditions for quotient spaces of decompositions to be manifolds are widely characterized. We characterize necessary and sufficient conditions to be $k$-manifolds $(k = 1, 2)$, which generalize characterizations in the codimension-$k$ cases for the leaf spaces of foliations, the orbit spaces of group-actions, decomposition spaces of upper semi-continuous decompositions, and leaf class spaces of Riemannian foliation with regular closure. To prove such characterizations, we generalize a characterization of upper semi-continuity for decomposition into one for a class decomposition. In addition, we completely characterize upper semi-continuity for class decompositions of homeomorphisms on orientable compact surfaces and of homeomorphisms isotopic to identity on non-orientable compact surfaces. Furthermore, a flow on a connected compact $3$-manifold whose class decomposition is upper semi-continuous is "almost $k$ dimensional" $(k=0, 1, 2, 3)$ or has "complicated" minimal sets.

preprint2022arXiv

Topological characterizations of Hamiltonian flows with finitely many singular points on unbounded surfaces

Hamiltonian flows on compact surfaces are characterized, and the topological invariants of such flows with finitely many singular points are constructed from the viewpoints of integrable systems, fluid mechanics, and dynamical systems. Though various fluid phenomena are modeled as flows on the plane, it is not obvious to determine if the flows are Hamiltonian, even the singular point set is totally disconnected and every orbit is contained in a straight line parallel to the $x$-axis. In fact, there are such non-Hamiltonian flows on the plane. On the other hand, this paper topologically characterizes Hamiltonian flows on unbounded surfaces and constructs their complete invariant under a regularity condition for singular points. In addition, under finite volume assumption, Hamiltonian flows on unbounded surfaces can be embedded into those on compact surfaces.

preprint2019arXiv

Existence and non-existence of length averages for foliations

Since the pioneering work of Ghys, Langevin and Walczak among others, it has been known that several methods of dynamical systems theory can be adopted to study of foliations. Our aim in this paper is to investigate complexity of foliations, by generalising existence problem of time averages in dynamical systems theory to foliations: It has recently been realised that a positive Lebesgue measure set of points without time averages only appears for complicated dynamical systems, such as dynamical systems with heteroclinic connections or homoclinic tangencies. In this paper, we introduce the concept of length averages to singular foliations, and attempt to collect interesting examples with/without length averages. In particular, we demonstrate that length averages exist everywhere for any codimension one $\mathscr{C}^1 $ orientable singular foliation without degenerate singularities on a compact surface under a mild condition on quasi-minimal sets of the foliation, which is in strong contrast to time averages of surface flows.

preprint2010arXiv

A note on Haynes-Hedetniemi-Slater Conjecture

We notice that Haynes-Hedetniemi-Slater Conjecture is true (i.e. $γ(G) \leq \fracδ{3δ-1}n$ for every graph $G$ of size $n$ with minimum degree $δ\geq 4$, where $γ(G)$ is the domination number of $G$). Because the conjecture for $δ=6$ follows from the estimate n (1 - \prod_{i= 1}^[δ+ 1} (δi)/(δi + 1) by W. E. Clark, B. Shekhtman, S. Suen [Upper bounds of the Domination Number of a Graph, Congressus Numerantium, 132 (1998), pp. 99-123.]