Encoding ‘DNAs’ for flow topologies

0
  • Dr Takashi Sakajo and his colleagues from the universities in Kyoto, Japan, have developed an effective and efficient way of describing fluid flow patterns. Their data compression software can convert vast amounts of flow data into small sets of sequences of letters, called regular expressions, therefore speeding up the statistical analysis of large data sets. This enables the user to spot trends and predict future flow patterns from big data in combination with machine learnings.

    Fluid dynamics, describing the flow of liquids and gases, is one of the most important of all areas in the fields of science and technology. Life would not exist without fluids, particularly air and water. The movement of air, for example, keeps us warm and enables us to breathe oxygen, while water makes up most of our body mass.

    The study of the motion of fluids underpins many aspects of physics, biology, astronomy and engineering. Fluid dynamics can be subdivided into disciplines such as aerodynamics, describing the flow of air and other gases, which plays a significant role in areas such as aerospace development, and wind turbine generators, and hydrodynamics, describing the flow of water and other liquids, modelling concepts such as ocean and cardiovascular flow.

    A schematic illustrating how the word and tree representations are assigned for a given 2D flow pattern. (a) A streamline pattern around East-Asia ocean current that are numerically constructed. (b) Extracting topological pattern structures from the streamlines. (c) Assigning specific symbols to each domains separated by those topological streamlines, we then construct a tree structure to the adjacent relations between those domains, which gives rise to the regular expression o (o2(o2(o2(o2(–2),+2(+0,+0),+2(+0,+0(+0,+0)),+2))) and the word representation IA2A2A2CCCCB0B0B0. All process is now automatically executable with our computer software.

    Modelling fluid flow
    There are numerous applications of fluid dynamics. Mathematical modelling of the movement of fluids plays a significant role in the developments of modern infrastructure such as the flow of traffic on our road networks. The recent improvements in observation and measurement technologies allows the extraction of information from ultrasonic images of cardiovascular flows and satellite images of coastal flows enables the numerical simulation of various scenarios.

    A flow pattern generated by a vertical flow going downward behind an obstacle in a two-dimensional soap file experiment, showing a beautiful row of vortex structures known as von Kármán vortex street. Their method can describe this pattern as a sequence of letters.

    Data explosion
    The volume of data obtained from numerical simulations, together with observation and measurement data necessitates an efficient way of describing flow properties in order to spot trends and make predictions from big data.

    Dr Takashi Sakajo and Dr Tomoo Yokoyama have developed a novel approach to classifying patterns that describe the flow of fluids using topology (the study of geometrical properties and spatial relations which are unaltered by elastic deformations such as a stretching or a twisting) and dynamical systems theory (used to describe the behaviour of complex dynamical systems where a function describes the time dependence of a point e.g. a clock pendulum swinging or the flow of water in a pipe).

    Visualisation
    In order to analyse fluid flow, it is necessary to be able to visualise the key features of the flow in the situation being studied. It is also important to remember that it is the flow and not the fluid that is of interest. While all physical fluid flows are three dimensional, it can be convenient and quite accurate to visualise them as two dimensional (2D) in order to model flow phenomena. Dr Sakajo’s research is underpinned with his classifying the global streamline patterns of 2D incompressible flows in vortex structures.

    Definitions and assumptions
    The streamline is the path taken by an imaginary particle suspended in the fluid as it is carried along. While the fluid moves, these streamlines are fixed and can be interpreted in a similar way to contours on a map. In streamline flow, velocity, pressure and other flow properties remain constant. When the streamlines are close together, the fluid is moving relatively quickly. Where the streamlines are more spread out, the fluid is moving slowly and may be relatively still. In streamline flow, velocity, pressure and other flow properties remain constant.

    While no fluid can really be incompressible, when modelling flow, a fluid can be assumed incompressible when the effects of pressure on the fluid density are zero or negligible. The density and the specific volume of the fluid, therefore, do not change when the pressure changes. Similarly, fluids possess varying degrees of viscosity, but in some situations, the forces on fluid elements that arise from viscosity are small compared with other forces and can be considered negligible, so we can treat the flow as inviscid and ignore the effects of viscosity.

    A specific sequence in the word and regular representation can be a link to a certain function realised by the flow as “DNA”. The graph in the right is a numerical result of the lift-drag ratio acting on a single plate in the presence of a uniform flow, in which there are times when the ratio attains local maximums and minimums. At each time, we have an instantaneous snapshot (shown at the upper right corner of each colour panel), but it is difficult to say the difference between them. However, by assigning the word representation to each streamline pattern, we understand the inclusion of the subsequence “CCB0” represent the existence of the lift-enhancing entrapped vortex structures at time=5.5 and 12.6. (IMA J Appl. Math 2018).

    When analysing 2D incompressible flow, a stream function is employed to make both the associated calculations and understanding the flow easier. A stream function’s derivatives give the velocity components of a particular flow situation. The stream function can be used to plot streamlines, the lines with a constant value of the stream function, representing the trajectories of imaginary particles in a steady flow, i.e. a flow with constant velocity.

    A flow of 2D incompressible and inviscid fluid is an example of a Hamiltonian vector field, a geometric representation of Hamilton’s equations in classical mechanics, where its Hamiltonian, or energy function, corresponds to the stream function whose curves are streamlines.

    Dr Sakajo uses genus elements, depicted as circles, to represent the physical obstacles in the flow. These are also the elliptic centres, and singularities of the Hamiltonian vector fields i.e. the points where the values of the Hamiltonian, or stream function, diverge.

    Establishing uniqueness means that these specific sequences of characters can be considered as ‘DNA’ for flow patterns.

    Topological classification
    Hamiltonian vector fields with uniform flow and solid boundaries are employed to model engineering and geophysical flow problems such as aerodynamic flows around multiple wings and coastal flows around various islands. Initially, Dr Sakajo and Dr Yokoyama developed a classification process that involves assigning a sequence of letters, which they refer to as a maximal word, to a structurally stable Hamiltonian vector field, whose streamline patterns are robustly unchanged subject to general perturbations and noise. Each letter of the maximal word symbolises a specific local streamline structure, and the maximal word denotes the global streamline structure.

    This innovative word representation proved useful, particularly as a maximal word can be assigned to every structurally stable streamline topology, so large quantities of streamline plots, obtained from experiments and simulations, can be converted into small sets of simple symbolic data ready for analysis. Further work, however, revealed that the word representation has a uniqueness problem. While a unique maximal word can be assigned to every structurally stable streamline topology, a given maximal word only represents an equivalence class of streamline patterns. This means the correspondence between streamline patterns and maximal words is one-to-many.

    Once the word representation and the regular expressions are obtained, one can identify the marginal state between them. Suppose that we have two words ICCB0 and IA0B0C at time 5.5 and 6.6. We then compare these two words by which we know the possible candidate transitions from the transition table (PhysD 2015). Finally, comparing the regular expression, which is one-to-one, we can identify the unique transition from the candidates.

    Uniqueness
    In order to resolve the uniqueness problem, the researchers at the Kyoto University and the Kyoto University of Education decided to model the streamline topology for each Hamiltonian vector field is with a discrete structure: a rooted, labelled and directed tree. Referring to graph theory, a tree is a graph, or network of vertices and edges, where any two distinct vertices are connected by a single path of one or more edges. Where a tree has one vertex identified as the root, the tree is a rooted tree. Where the edges have a direction associated with them, the tree is directed. A tree is labelled when a particular symbol or label is specified for each vertex.

    Employing these rooted, labelled and directed trees, which we will refer to as just ‘trees’, enabled the researchers to develop an alternative combinatorial classification theory with a one-to-one correspondence between streamline topologies of Hamiltonian vector fields and their new symbolic sequence called regular expressions.

    Establishing uniqueness means that these specific sequences of characters form codes that represent particular flow functionalities and their significant properties and can be considered as ‘DNA’ for flow patterns. The streamline topology of every structurally stable Hamiltonian vector field is now in one-to-one correspondence with a unique tree and its associated exclusive sequence of symbols defined by a distinct regular expression. This uniqueness means that every streamline topology is identified globally by the regular expression. Hence users can carry out a simple symbolic comparison of regular expressions to differentiate between topological streamline patterns regardless of the structures’ complexity.

    By simply comparing the sequences, it is now possible to predict the changes to global flow patterns that could happen in future.

    Application of the methodology
    While the underpinning mathematics is complex, the conversion of a specific streamline pattern into its unique regular expression is performed in a straightforward manner and a user’s guide is available to aid those who are not mathematicians. Once familiar with the expression components, the conversion from a streamlined pattern into its unique regular expression becomes intuitively recognisable.

    The researchers have developed software that converts large quantities of streamline plots, obtained from laboratory experiments and numerical simulations, into small sets of simple symbolic data made up of regular expressions. This is amenable to a big data analysis for streamline patterns and facilitates the analysis of massive flow pattern data obtained via numerical simulations and physical measurements recorded from engineering and medical studies. The software also employs an automatic conversion that can convert regular expressions into their corresponding maximal words s-o the established analysis techniques can be employed. This has also facilitated the successful interpretation of latent knowledge hidden behind flow data.

    Further developments
    The advanced algorithmic conversion to tree structures and their associated regular expressions is easily performed.

    Transition between streamline patterns
    Now that word representations can be generated for all structurally stable topologies as well as all possible transitions between them, we can visualise the global network of transitions as a graph, the transition graph, provided the number of genus elements is fixed.

    Work has also been carried out to develop a mathematical theory that describes all generic transitions of global 2D flow patterns in terms of the changes to the sequence of letters. This has led to the discovery that any transition between two structurally stable Hamiltonian vector fields is topologically equivalent to one of the 34 possible transitions through marginal structurally unstable Hamiltonian vector fields. The one-to-one correspondence between streamline topologies and regular expressions means that the transitions between streamline topologies can now be described as conversion rules of regular expressions. By simply comparing the sequences, it is now possible to predict the possible changes to global flow patterns that could happen in future.

    The methodology provides an efficient data compression of a large number of streamline plots of flow evolutions into a small set of regular expressions.

    Modelling viscous fluids
    The original modelling assumptions of the word representation method treated all fluids as inviscid, ignoring the effects of viscosity on their flow, has already been discussed. The tree representation theory, however, can be extended beyond the original assumptions and can be used to model viscous fluids as well. The streamline topologies are established locally and globally without any ambiguity and a specific sequence of characters contained within the regular expressions can characterise a variation of a physical quantity.

    Research impact
    This innovative characterisation of streamline topologies in terms of their regular expression is of practical significance in a variety of ways. It provides the classification of Hamiltonian flows in the presence of uniform flow and multiple solid boundaries. These particular flow models appear in many engineering and geophysical problems. The tree representation also provides a complementary topological characterisation for Hamiltonian vector fields and can be utilised in the study of generic vector fields.

    Transition graph. All streamline patterns have their own unique word representation and regular expressions. We also identify all possible transitions between them. Hence, we have the network of streamline patterns showing all possible transitions. Courtesy by Tetsuo Yokoyama and Tomoo Yokoyama.

    The technique can be applied to categorise instantaneous snapshots of streamline patterns observed in laboratory experiments and numerical simulations that are usually structurally stable. Only a snapshot of level curves needs to be recorded from experiments and simulations. Consequently, the methodology provides efficient data compression whereby a vast amount of streamline plots of flow evolutions can be converted into a small set of regular expressions. This speeds up the statistical analysis thus enabling the user to spot trends and predict future flow patterns from big data. The regular expressions are also utilised as new global identifiers for machine learning – topological machine learning.

    Unique DNA-like sequences can be generated for all structurally stable topologies and all possible transitions between them, so possible changes to global flow patterns can be envisaged through the comparison of sequences and used to predict future flow patterns. This can be employed in situations such as forecasting the diffusion of contaminants affected by the flow in rivers and ocean flows, containing obstacles such as water breaks, sandbanks and islands.

    Although the tree representation was initially devised for incompressible and inviscid flows with vortex structures, Dr Sakajo has shown that its application can now be extended. In addition to modelling incompressible and viscous flows, the methodology can be applied to any physical phenomena described by Hamiltonian vector fields, such as electromagnetism.

    Dr Sakajo and his colleagues are keen to show that their methodology can be applied to real-world situations. They have already employed their software to analyse numerical flow data used in the development of hydraulic machines for an established engineering business, and the investigation of medical image data of cardiovascular flows.

    What initially prompted your research into categorising fluid flow?
    As applied mathematicians, in addition to developing mathematical theories for fluid flows, we also have many opportunities to carry out interdisciplinary research with researchers from other fields such as science, engineering and industry. When we work with these researchers, we all share the same fluid data, which are the outcomes of numerical simulations and laboratory measurements. We feel, however, that sometimes there is a substantial barrier preventing us from exchanging information regarding the flow properties, due to the lack of common language available for us to describe the flow structures. The purpose of the present study is to remove this barrier of technical terms by inventing a new common language that everyone can share with ease.

    What are your plans for future research in this area?
    We are now in the “proof of concept” stage. We would like to apply this methodology to many scientific and engineering problems in various disciplines in order to show its effectiveness. We shall establish a topological data-driven modelling method by applying the techniques to big data that will bring us a new way to describe the global flow evolutions. We have also extended the theory of word and tree representations to compressible flows and three-dimensional flows in the near future.

    References

    • Sakajo, T. and Yokoyama, T. (2018). ‘Tree representation of topological streamline patterns of structurally stable 2D Hamiltonian vector fields in multiply connected domains’. The IMA Journal of Applied Mathematics, 83, 380-411.
    • Sakajo, T. and Yokoyama, T. (2014). ‘Transitions between streamline topologies of structurally stable Hamiltonian flows in multiply connected domains’. Physica D, 307, 22-41.
    • Sakajo, T., Sawamura, Y and Yokoyama, T. (2014). ‘Unique encoding for streamline topologies of incompressible and inviscid flows in multiply connected domains’. Fluid Dynamics Research, 46 (3), 031411.
    • Yokoyama, T. and Sakajo, T. (2013). ‘Word representation of streamline topologies for structurally stable vortex flows in multiply connected domains’. Proc. Roy. Soc. A, 469.
  • Research Objectives
    Professor Sakajo is researching the dynamical phenomena observed in the evolutions of incompressible fluid motion and aims to develop a new way to describe fluid flow properties. This underpins his development of innovative software, which compresses vast amounts of flow data into small sets of regular expressions; thus accelerating the statistical analysis of large data sets to predict future flow patterns from big data.

    Funding

    • Japan Science and Technology Agency (JST)
    • Japan Society of Promotion of Science (JSPS)

    Collaborators
    Dr Tomoo Yokoyama, Associate Professor at the Kyoto University of Education.

    Bio
    Takashi Sakajo holds a BSc from Kyoto University and a PhD from the Graduate School of Science, Kyoto University, Japan. He was awarded the Takebe Awards 2000 from the Mathematical Society of Japan and Paper of the Year 2000 from the Japan Society of Industrial and Applied Mathematics. He is currently a Professor in the Department of Mathematics, and Chief Coordinator of the Math Clinic at Kyoto University.

    Contact
    Dr Takashi Sakajo
    Kyoto University
    Kitashirakawa Oiwake-cho, Sakyo-ku,
    Kyoto 606-8502, Japan

    E: sakajo@math.kyoto-u.ac.jp
    T: +81 075 753 2660
    W:

    Japan Science and Technology (CREST project page)

    JST CREST project mathematics field that support this research

  • Encoding ‘DNAs’ for flow topologies

Share.

Leave A Reply

%d bloggers like this: