Topological classification theory of streamline patterns
When a two-dimensional vector field \({\varvec{u}}\left(x,y\right)=(u\left(x,y\right),v\left(x,y\right))\) on a domain \(\left(x,y\right)\in D\subset {\mathbb{R}}^{2}\) is incompressible, i.e. divergence free, there exists a scalar function called the Hamiltonian or stream function \(H(x,y)\). The vector field is given by \(u=\partial H/\partial y\) and \(v=-\partial H/\partial x\), and it is called the Hamiltonian vector field. As clear from \(\nabla H\bullet {\varvec{u}}=0\), particle orbits in the Hamiltonian vector field are identical to contour lines of the Hamiltonian \(H\) referred to as streamlines. As discussed in Sect. 1, the geostrophic vector field can be regarded as a structurally stable Hamiltonian vector field in a uniform flow, where the Hamiltonian is equivalent to the SSH.
Figure 2 shows all topological streamline patterns appearing in structurally stable Hamiltonian flows in the uniform flow. A unique symbolic expression referred to as a COT symbol is assigned to each streamline pattern. The topological streamline patterns in Fig. 2a, b, d, g have been shown in Uda et al. (2021) in which atmospheric blocking events are detected via TFDA. Additionally, we present streamline patterns in Fig. 2c, e, f related to topographic boundaries (islands).
Figure 2a indicates a uniform flow referred to as root structure, whose COT symbol is represented by \({a}_{\mathrm{\varnothing }}({\square }_{a}^{1}\cdot \cdots \cdot {\square }_{a}^{n}\)). Here, each box symbol \({\square }_{a}^{\mathrm{i}}\) for \(i=1,\dots ,n\) in the COT symbol expresses that either a streamline pattern \({a}_{\pm }\) in Fig. 2b or \({a}_{2}\) in Fig. 2c is embedded in the uniform flow, i.e. \({\square }_{a}^{\mathrm{i}}\in \{{a}_{\pm },{a}_{2}\}\) for \(i=1,\dots ,n\). The COT symbols corresponding to these streamline patterns are arranged in order by picking them up from bottom to top when the uniform flow direction is from left to right.
Figure 2b shows streamline patterns with a self-connected saddle separatrix embedded in the root structure. To distinguish the flow directions of the saddle separatrix, we assign the COT symbol \({a}_{+}({\square }_{{b}_{+}})\) [\({a}_{-}({\square }_{{b}_{-}})\)] to the streamline pattern when the flow along the saddle separatrix turns in the counter-clockwise (clockwise) direction. The streamline pattern inside the self-connected saddle separatrix is chosen from either \({b}_{\pm \pm }\), \({b}_{\pm \mp }\) in Fig. 2d, \({\beta }_{\pm }\) in Fig. 2f, or \({\sigma }_{\pm }\) in Fig. 2g, i.e. \({\square }_{{b}_{\pm }}\in\){\({b}_{\pm \pm }, {b}_{\pm \mp }, {\beta }_{\pm }, {\sigma }_{\pm }\)}, in which double signs correspond.
As shown in Fig. 2c, a streamline pattern embedded in the root structure is represented by the COT symbol \({a}_{2}\left({\square }_{c+s}, {\square }_{c-s}\right)\). This consists of a physical boundary with two saddles to which streamlines of the uniform flow are connected. Although this illustration schematically draws the boundary as a circular disc, it can be transformed continuously to any shapes, because the shape of the boundary does not affect TFDA results in terms of topology. Any number of streamline patterns \({c}_{-}\) (\({c}_{+}\)) are attached to the upper (lower) side of the boundary, and their details are described later. The box symbol \({\square }_{c\pm s}\) is an abbreviation for a sequence of streamline patterns of \({c}_{\pm }\), i.e. \({\square }_{c+s}={\square }_{{c}_{+}}^{1},\cdots , {\square }_{{c}_{+}}^{s}\) and \({\square }_{c-s}={\square }_{{c}_{-}}^{1},\cdots , {\square }_{{c}_{-}}^{s}\), respectively, where \(s (>0)\) is the number of the streamline patterns attached to the boundary.
Streamline patterns consisting of two self-connected saddle separatrices are shown in Fig. 2d. When the counter-clockwise (clockwise) saddle separatrices form a figure eight pattern, the COT symbol \({b}_{++}\{{\square }_{{b}_{+}},{\square }_{{b}_{+}}\}\) [\({b}_{--}\{{\square }_{{b}_{-}},{\square }_{{b}_{-}}\}\)] is assigned, where \({\square }_{b\pm }\) represents inner streamline patterns enclosed by the two saddle separatrices, and the parentheses \(\{\bullet \}\) expresses that the inner streamline patterns are arranged in cyclic order. When one counter-clockwise (clockwise) saddle separatrix encloses the other clockwise (counter-clockwise) saddle separatrix, the COT symbol of the streamline pattern is given by \({b}_{+-}({\square }_{{b}_{+}},{\square }_{{b}_{-}})\) [\({b}_{-+}({\square }_{{b}_{-}},{\square }_{{b}_{+}})\)]. The streamline patterns in \({\square }_{b\pm }\) are chosen from either a pattern of \({b}_{\pm \pm }\), \({b}_{\pm \mp }\), \({\beta }_{\pm }\), or \({\sigma }_{\pm }\).
An orbit connecting two saddles at the same boundary forms a streamline pattern denoted by the COT symbol \({c}_{\pm }\) (Fig. 2e). Inside the domain enclosed by the saddle separatrix and the boundary, it is necessary to embed one streamline pattern represented by \({\square }_{{b}_{\pm }}\in\){\({b}_{\pm \pm }, {b}_{\pm \mp }, {\beta }_{\pm }, {\sigma }_{\pm }\)}. When the flow direction of the outer saddle separatrix is counter-clockwise (clockwise), the COT symbol \({c}_{+}\left({\square }_{{b}_{+}},{\square }_{c-s}\right)\) [\({c}_{-}\left({\square }_{{b}_{-}},{\square }_{c+s}\right)]\) is assigned. Here, any number of \({c}_{\pm }\) streamline patterns can be attached to the boundary, and the COT symbol \({\square }_{{c}_{\pm }}^{\mathrm{i}}\in \{{c}_{+}\left({\square }_{{b}_{+}},{\square }_{c-s}\right), {c}_{-}\left({\square }_{{b}_{-}},{\square }_{c+s}\right)\}\) is arranged along the boundary in the flow direction.
An isolated physical boundary, to which any number of \({c}_{\pm }\) streamline patterns are attached, is shown in Fig. 2f. Its COT symbol is represented by \({\beta }_{\pm }\{{\square }_{c\pm s}\}\) with \({\square }_{c\pm s}={\square }_{{c}_{\pm }}^{1},\cdots , {\square }_{{c}_{\pm }}^{\mathrm{s}}\), in which the sign corresponds to the flow direction along the boundary, and \({c}_{\pm }\) streamline patterns are arranged in cyclic order. When any \({c}_{\pm }\) structure is not attached to the boundary, the COT symbol is simply denoted as \({\beta }_{\pm }\), and this is an innermost streamline pattern having no internal structure. Another innermost streamline pattern in structurally stable Hamiltonian flows is an isolated elliptic center associated with counter-clockwise (clockwise) periodic orbits in its neighborhood. Its COT symbol is denoted by \({\sigma }_{+}\) (\({\sigma }_{-}\)) (Fig. 2g).
The procedure providing a unique COT representation for a given structurally stable Hamiltonian flow in the uniform flow is as follows. [See Uda et al. (2019) for the detailed description of the algorithm]: First, streamline patterns \({a}_{\pm }\) and \({a}_{2}\) are detected in the uniform flow, and then the COT symbols are arranged in the root structure \({a}_{\mathrm{\varnothing }}({\square }_{a}^{1}\cdots {\square }_{a}^{n}\)), where \({\square }_{a}^{\mathrm{i}}\in \{{a}_{\pm }({\square }_{{b}_{\pm }}), {a}_{2}({\square }_{c+s},{\square }_{c-s})\}\) for \(i=1, \dots , n\). Identifying inner streamline patterns of \({b}_{\pm \pm }\), \({b}_{\pm \mp }\), \({\beta }_{\pm }\), or \({\sigma }_{\pm }\) in the streamline patterns \({a}_{\pm }\) and \({a}_{2}\), the COT symbols are substituted in \({\square }_{{b}_{\pm }}\) and \({\square }_{c\pm s}\). Here, \({\square }_{{b}_{\pm }}\in \{{b}_{\pm \pm }\{{\square }_{{b}_{\pm }},{\square }_{{b}_{\pm }}\},{b}_{\pm \mp }\{{\square }_{{b}_{\pm }},{\square }_{{b}_{\pm }}\},{\beta }_{\pm }\{{\square }_{c\pm s}\},{\sigma }_{\pm }\}\), and \({\square }_{{c}_{\pm }}\) is chosen from \({c}_{\pm }({\square }_{{b}_{\pm }},{\square }_{c\pm s})\). Repeating this step recursively to every streamline pattern until the streamline patterns reach innermost structure such as elliptic centers \({\sigma }_{\pm }\) and physical boundaries \({\beta }_{\pm }\), the COT representation for the structurally stable Hamiltonian flow is finally obtained. Furthermore, at every step in this procedure, by regarding the outer and embedded inner streamline patterns as parent and child nodes, respectively, the edges between these nodes are created. At the same time, the value of the Hamiltonian is associated with each node. This produces a planar acyclic graph with height values, called Reeb graph. As described in Sect. 1, it is mathematically assured that every structurally stable Hamiltonian vector field has a unique Reeb graph and its associated COT representation, and therefore they are utilized as topological identifiers of the Hamiltonian flow in terms of topology.
We have developed a practical software, psiclone, to compute the Reeb graph and its associated COT representation and perform TFDA for a given Hamiltonian gridded dataset. The software has the following two important functions useful for data analyses: First, defining the length of an edge as the height difference between nodes connected by the edge, edges with a shorter length than a prescribed threshold can be cut off. This function acts as a low-pass filter removing small-scale topological streamline patterns such as noises. Second, regions enclosed by saddle separatrices of streamline patterns \({a}_{\pm }\), \({b}_{\pm \pm }\), \({b}_{\pm \mp }\), and \({c}_{\pm }\) can be extracted, and they are referred to as regions of influence. This function plays an important role in detecting the Kuroshio meanderings from the SSH dataset.
Application of TFDA to the SSH dataset
Since the SSH contour lines correspond to geostrophic streamlines except for the tropical regions, we apply TFDA to the SSH dataset using psiclone to represent topological features of the geostrophic flows in the mid-latitude regions. While the slip boundary condition is assumed in the topological classification theory (Yokoyama and Sakajo 2013), this condition is not necessarily satisfied with the SSH dataset used in this study. In some cases, the no-slip boundary condition is adopted, but in other cases, the slip boundary condition is assumed. Hence, we have applied both slip and no-slip boundary conditions to TFDA. The original SSH dataset can be regarded to satisfy the slip boundary condition. On the other hand, to satisfy the no-slip condition, we adjust land grid cells along coastlines as follows: An SSH value at each land grid cell is set to that at an ocean grid cell normal to the land. As a result, we have confirmed that the results are the same regardless of the slip and no-slip boundary conditions. This is because any artificial saddles along the coastlines are not created by this procedure for the no-slip boundary condition.
In this study, to reduce computational costs, we restrict the analysis domain to off the southern-eastern coast of Japan as shown in Fig. 3. This is referred to as the region of interest (ROI) and denoted by \(\Omega\). We set the threshold of the length of an edge for the low-pass filter to be 4.0 × 10−2 m. As a result, small-scale structure, such that the SSH differences at both ends between nodes are smaller than the threshold, is not identified. We have confirmed that the qualitatively same results are obtained even if the different analysis domains and thresholds are applied.
Figure 3b shows an output of psiclone for the SSH dataset in December 2004 when the Kuroshio LM occurs south of the Tokai district (135°–140°E, 30°–35°N). The COT representation of this streamline pattern is described as
$${a}_{\varnothing }\left({a}_{-}^{0}\bullet {a}_{+}^{1}\bullet {a}_{+}^{2}\bullet {a}_{-}^{3}\bullet {a}_{-}^{4}\bullet {a}_{2}\left({c}_{+}^{0},\lambda \right)\bullet {a}_{-}^{6}\bullet {a}_{-}^{7}\bullet {a}_{-}^{8}\bullet {a}_{+}^{9}\bullet {a}_{+}^{10}\left({b}_{++}\right)\bullet {a}_{+}^{11}\right),$$
(1)
where \(\lambda\) denotes the non-existence of the streamline pattern for \({\square }_{c-s}\) in \({a}_{2}\). Here, the symbols \({\sigma }_{\pm }\) representing elliptic centers are not shown to reduce the length of the COT representation. The superscript numbers are assigned to the COT symbols \({a}_{\pm }\) and \({c}_{+}\) in (1) to identify which streamline patterns are represented by the COT symbols. A Reeb graph associated with the COT representation is also shown in the same panel. Nodes of the Reeb graph (red stars in Fig. 3b) are placed at saddle points for \({a}_{\pm }\) and \({b}_{++}\) structure, elliptic centers, and a boundary saddle for the \({a}_{2}\) structure. Edges are drawn as gray segments connecting these nodes.
Here, we describe an important note about outputs from psiclone, which is caused by the opposite sign between the geostrophic and Hamiltonian velocity fields in the Northern Hemisphere with the positive Coriolis parameter (\(f>0\)). As described in Sect. 1, the geostrophic velocity field is calculated from the SSH \(h(x,y)\) through the formula \({{\varvec{u}}}_{{\varvec{g}}}=g/f(-\partial h/\partial y, \partial h/\partial x)\), whereas psiclone assumes that the Hamiltonian vector field with a Hamiltonian \(H\) is given by \({\varvec{u}}=(\partial H/\partial y, -\partial H/\partial x)\). This leads that the uniform flow direction in psiclone (Fig. 2a) is recognized as the opposite to the actual geostrophic flow. Consequently, in the psiclone calculation, the COT symbols \({\square }_{a}^{\mathrm{i}}\) for \(i=1, \dots , n\) in \({a}_{\varnothing }\) are arranged from the left to the right by picking up \({a}_{\pm }\) and \({a}_{2}\) streamline patterns from the north to the south, and for instance the COT symbol \({a}_{+}\) (\({a}_{-}\)) expresses an anticyclonic (cyclonic) eddy in the Northern Hemisphere.
Based on the COT representation (1) and its associated Reeb graph, the topological structure around the Kuroshio region is characterized (Fig. 3b). The sub-sequence \({a}_{-}^{0}\bullet {a}_{+}^{1}\bullet {a}_{+}^{2}\) in the COT representation correspond to the streamline patterns on the northern side of the Kuroshio Extension. Streamline patterns on the southern side of the Kuroshio and Kuroshio Extension are represented by the sub-sequence \({a}_{-}^{6}\cdots {a}_{+}^{11}\) after \({a}_{2}\). The streamline pattern represented by \({a}_{-}^{3}\) has a self-connected saddle separatrix enclosing a cyclonic eddy associated with the LM between the Kuroshio and the southern coast of the Tokai district. The streamline pattern represented by \({a}_{-}^{4}\) is located between the Kyushu and Shikoku Islands on the northern side of the Kuroshio, and the COT symbol \({a}_{2}\left({c}_{+}^{0},\lambda \right)\) indicates that the Shikoku Island is a physical boundary with two boundary saddles connecting to the Kuroshio, entrapping an anticyclonic eddy represented by the COT symbol \({c}_{+}^{0}\).
In Fig. 3b, different colors are painted to show the flow domains surrounded by saddle separatrices of the streamline patterns \({a}_{\pm }\), \({b}_{++}\), \({c}_{+}\) (i.e. the regions of influence), and this color map is referred to as a partition plot associated with the COT representation. Each eddy is shaded by the different color, and therefore psiclone successfully extracts the regions of influence. The region of influence enclosed by the saddle separatrix of the streamline pattern \({a}_{-}^{3}\) south of the Tokai district (dark blue in Fig. 3b) indicates an area where the cyclonic eddy is entrapped by the Kuroshio during the LM period. Accordingly, area and geometric centers of the cyclonic eddies south off the Tokai and Kanto districts estimated from the region of influence enable us to detect the Kuroshio meanderings using TFDA.
Algorithm detecting the Kuroshio meanderings
We develop a TFDA algorithm proposed for the detection of atmospheric blocking (Uda et al. 2021) to detect periods when the Kuroshio stably meanders southward south of Japan. The monthly mean SSH on \((x,y)\in\Omega\) at a time \(t\) is represented as \({h}_{t}(x,y)\). Here we describe a time \(t\) in the form of \(t=YYYYMM\), where \(YYYY\) and \(MM\) denote a year and month. For each month, psiclone calculates a unique COT representation, Reeb graph, and the partition plot from the SSH \({h}_{t}\), as shown in Fig. 3b. The COT representations contain an \({a}_{2}\) symbol attached to the Shikoku Island throughout the whole analysis period, and the COT symbols on the left side of the \({a}_{2}\) symbol indicate topological features on the northern side of the Kuroshio and Kuroshio Extension. Hence, we utilize the region of influence represented by \({a}_{-}\) on the left side of the \({a}_{2}\) symbol in the COT representations. The algorithm to detect the stable Kuroshio meanderings south of the Kanto and Tokai districts comprises four steps. First, we identify domains where cyclonic eddies stay over 3 months by focusing on the region of influence associated with the COT symbols \({a}_{-}\). Second, we create chronological links between at present and previous months by tracking the geometric centers of the cyclonic eddies. Third, we extract links expressing a stable cyclonic eddy entrapped by the Kuroshio current south of the Kanto and Tokai districts. Finally, we distinguish the detected meandering periods into the oNLM and LM. The details are described as follows:
At first, to identify domains with stable cyclonic eddies, we construct the union of the regions of influence enclosed by the saddle separatrices of the \({a}_{-}\) streamline patterns, denoted by \(A({h}_{t})\), at a time \(t\), and then define the following histogram \({C}_{t,\Delta t}\left({\varvec{x}}\right)\) estimating how long the region of influence stays over \({\varvec{x}}\in\Omega\) in the time window of \([t-\Delta t/2, t+\Delta t/2)\):
$${C}_{t,\Delta t}\left({\varvec{x}}\right):=\#\left\{\tau \in {\varvec{N}}\left|t-\frac{\Delta t}{2}\le \tau <t+\frac{\Delta t}{2}, {\varvec{x}}\in A({h}_{\tau })\right.\right\}$$
(2)
where \(\#A\) denotes the number of elements contained in a set \(A\), \(\tau\) denotes a month. In this study, we use \(\Delta t=6 \;months\) to identify stable Kuroshio meanderings. The histogram \({C}_{t,\Delta t}\left({\varvec{x}}\right)\) is calculated by adding 1 month whenever a region of influence in \(A({h}_{\tau })\) exists over \({\varvec{x}}\) in the period \(\tau \in [t-\Delta t/2, t+\Delta t/2)\),and, therefore, \(0\le {C}_{t,\Delta t}\left({\varvec{x}}\right)\le\Delta t\). Figure 4a shows the histogram \({C}_{t,\Delta t}\left({\varvec{x}}\right)\) constructed from the SSH in March 2005 (\(t=200503\)). The support of the histogram with positive values consists of four connected domains (Fig. 4a): southwest of the Kyushu Island, between the Kyushu and Shikoku Islands, south of the Tokai district, and on the northern side of Kuroshio Extension. Since \({C}_{t,\Delta t}\left({\varvec{x}}\right)\) means how long a cyclonic eddy represented by the \({a}_{-}\) symbol stays within 3 months before and after at a time \(t\), the high \({C}_{t,\Delta t}\left({\varvec{x}}\right)\) values off the southern coast of the Tokai district are consistent with the LM. Consequently, we extract the disjoint domains \({B}_{t}^{n}\), where \({C}_{t,\Delta t}\left({\varvec{x}}\right)\) is longer than the threshold \(\theta :=\Delta t/2=3 \; months\) at a time \(t\). We thus obtain the union of such disjoint domains \({\mathfrak{B}}_{t}={\{{B}_{t}^{n}\}}_{n=1}^{{N}_{t}}\subset\Omega\), where \({N}_{t}\) denotes the number of connected components (Fig. 4b). The resulting support of \({C}_{t,\Delta t}\left({\varvec{x}}\right)\) are then divided into several connected components, belonging to \({\mathfrak{B}}_{t}\), and a large connected component with \({C}_{t,\Delta t}\left({\varvec{x}}\right)=6 \; months\) is located south of the Tokai district (a blue rectangle in Fig. 4b). This represents that the Kuroshio meandering with a cyclonic eddy is maintained 3 months before and after March 2005 in this domain.
In the second step, we track all connected components in \(\mathfrak{B}={\cup }_{t}{\mathfrak{B}}_{t}\) in the temporal direction to extract the period when the Kuroshio meanders south of the Kanto and Tokai districts. Specifically, we adopt a chronological link among the connected components in \(\mathfrak{B}\) as follows: When the geometric center of a disjoint domain \(B_{t + 1}^{n^{\prime}} \subset {\mathfrak{B}}_{\text{t}}\) at a time \(t+1\) is contained in a domain \({B}_{t}^{n}\subset {\mathfrak{B}}_{t}\) at a time \(t\), we create a directed edge between them such as \(B_{t + 1}^{n^{\prime} } \to B_t^n\), since the domain \(B_{t + 1}^{n^{\prime} }\) is likely to move from the domain \({B}_{t}^{n}\). Here, the geometric center of a domain \({B}_{t}^{n}\) is estimated from the position vectors for a certain fixed point in \({B}_{t}^{n}\). Applying this operation to all domains in \(\mathfrak{B}\) leads to a directed acyclic graph (DAG) of \(\mathfrak{B}\). The DAG of \(\mathfrak{B}\) comprises several disjoint links, called paths, connecting the connected components in \({\mathfrak{B}}_{t}\) in the backward chronological order. The maximum number of nodes of DAG contained in a path is referred to as a lifespan of the path, expressing how many months the stable cyclonic eddy persists.
From February to April 2005, there are several connected components extracted in the first step as shown in Fig. 5. Here, we focus on a substantial connected component south of the Tokai district. Since the geometric center of the connected component in April 2005 is contained in that in March 2005, we create a directed edge linking between them. From March to February 2005, similarly, we can create a directed edge. All nodes in the link (bottom boxes in Fig. 5) contain the location of the geometric center and area of the connected component. We apply this procedure to all connected components during the whole analysis period. If the area of a disjoint domain at a time \(t\) is small, its geometric center is less likely to be contained in the previous month, and thus paths between the disjoint domains are hardly created.
In the third step, we identify paths associated with stable Kuroshio meanderings. Since a cyclonic eddy is located south of the Tokai and Kanto districts during the LM and oNLM periods (Fig. 1a), respectively, we pick up paths of the disjoint domains whose geometric centers exist within [133°– 141°E, 31°– 35°N]. We then extract nodes and connecting directed edges from the obtained paths if the area exceeds \({S}_{0}(=40 \, pixels)\) and the lifespan exceeds three months to detect stable meanderings. The area of \({S}_{0}=40 \, pixels\) roughly corresponds to an eddy with the 100 km radius. We have confirmed that only the number of nodes of DAG is slightly changed at \({S}_{0}=35-45 \, pixels\).
Finally, we distinguish the obtained meandering periods into the oNLM and LM periods. As described in Sect. 1, the Kuroshio meanders southward off the Kanto district passing through the southern gate of the Izu Ridge during the oNLM period, whereas it forms southward meandering off the Tokai district and then flows along the southern coast around the Kanto district during the LM period. Consequently, we define the oNLM (LM) events if the Kuroshio flows south (north) of 34°N along 140°E section. Here, the Kuroshio position is defined as the southernmost latitude of the COT symbol \({a}_{-}\) representing a cyclonic eddy. If any cyclonic eddies do not exist south of the Kanto district along 140°E, the Kuroshio position is assumed to be 35.5°N.