Advertisement

Regular and Chaotic Dynamics

, Volume 21, Issue 2, pp 189–203 | Cite as

Efficient algorithms for the recognition of topologically conjugate gradient-like diffeomorhisms

  • Vyacheslav Z. GrinesEmail author
  • Dmitry S. Malyshev
  • Olga V. Pochinka
  • Svetlana Kh. Zinina
Article

Abstract

It is well known that the topological classification of structurally stable flows on surfaces as well as the topological classification of some multidimensional gradient-like systems can be reduced to a combinatorial problem of distinguishing graphs up to isomorphism. The isomorphism problem of general graphs obviously can be solved by a standard enumeration algorithm. However, an efficient algorithm (i. e., polynomial in the number of vertices) has not yet been developed for it, and the problem has not been proved to be intractable (i. e., NPcomplete). We give polynomial-time algorithms for recognition of the corresponding graphs for two gradient-like systems. Moreover, we present efficient algorithms for determining the orientability and the genus of the ambient surface. This result, in particular, sheds light on the classification of configurations that arise from simple, point-source potential-field models in efforts to determine the nature of the quiet-Sun magnetic field.

Keywords

Morse–Smale diffeomorphism gradient-like diffeomorphism topological classification three-color graph directed graph graph isomorphism surface orientability surface genus polynomial-time algorithm magnetic field 

MSC2010 numbers

32S50 37C15 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Afraimovich, V. S. and Shilnikov, L.P., On Critical Sets of Morse–Smale Systems, Trans. Moscow Math. Soc., 1973, vol. 28, pp. 179–212.Google Scholar
  2. 2.
    Alekseev, V.E. and Talanov, V. A., Graphs and Algorithms. Data Structures. Models of Computing, Nighny Novgorod: Nighegorodsk. Univ., 2005 (Russian).Google Scholar
  3. 3.
    Andronov, A. and Pontryagin, L., Systèmes grossiers, Dokl. Akad. Nauk. SSSR, 1937, vol. 14, no. 5, pp. 247–250 (Russian).zbMATHGoogle Scholar
  4. 4.
    Beveridge, C., Priest, E.R., and Brown, D. S., Magnetic Topologies due to Two Bipolar Regions, Sol. Phys., 2002, vol. 209, no. 2, pp. 333–347.CrossRefGoogle Scholar
  5. 5.
    Bezdenezhnykh, A.N. and Grines, V. Z., Dynamical Properties and Topological Classification of Gradient- Like Diffeomorphisms on Two-Dimensional Manifolds: Part 1, Selecta Math. Soviet., 1992, vol. 11, no. 1, pp. 1–11.MathSciNetzbMATHGoogle Scholar
  6. 6.
    Bezdenezhnykh, A.N. and Grines, V. Z., Dynamical Properties and Topological Classification of Gradient- Like Diffeomorphisms on Two-Dimensional Manifolds: Part 2, Selecta Math. Soviet., 1992, vol. 11, no. 1, pp. 13–17.MathSciNetzbMATHGoogle Scholar
  7. 7.
    Bonatti, Ch. and Grines, V., Knots as Topological Invariants for Gradient-Like Diffeomorphisms of the Sphere S3, J. Dynam. Control Systems, 2000, vol. 6, no. 4, pp. 579–602.MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Close, R. M., Parnell, C.E., and Priest, E.R., Domain Structures in Complex 3D Magnetic Fields, Geophys. Astrophys. Fluid Dyn., 2005, vol. 99, no. 6, pp. 513–534.MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Cobham, A., The Intrinsic Computational Difficulty of Functions, in Proc. of the 1964 Internat. Congr. for Logic, Methodology, and Philosophy of Science (North-Holland, Amsterdam), pp. 24–30.Google Scholar
  10. 10.
    Galil, Z., Hoffmann, Ch.M., Luks, E.M., Schnorr, C.-P., and Weber, A., An O(n3 log n) Deterministic and an O(n3) Las Vegas Isomorphism Test for Trivalent Graphs, J. Assoc. Comput. Mach., 1987, vol. 34, no. 3, pp. 513–531.MathSciNetCrossRefGoogle Scholar
  11. 11.
    Garey, M.R. and Johnson, D. S., Computers and Intractability: A Guide to the Theory of NPCompleteness, San Francisco,Calif.: Freeman, 1979.zbMATHGoogle Scholar
  12. 12.
    Grines, V. Z., Gurevich, E.Ya., and Medvedev, V. S., Classification of Morse–Smale Diffeomorphisms with One-Dimensional Set of Unstable Separatrices, Proc. Steklov Inst. Math., 2010, vol. 270, no. 1, pp. 57–79; see also: Tr. Mat. Inst. Steklova, 2010, vol. 270, pp. 62–85.MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Grines, V. Z. and Pochinka, O.V., Introduction to topological classification of cascades on manifolds of dimension two and three, Izhevsk: R&C Dynamics, Institute of Computer Science, 2011 (Russian).zbMATHGoogle Scholar
  14. 14.
    Grines, V. Z. and Pochinka, O.V., Morse–Smale Cascades on 3-Manifolds, Russian Math. Surveys, 2013, vol. 68, no. 1, pp. 117–173; see also: Uspekhi Mat. Nauk, 2013, vol. 68, no. 1(409), pp. 129–188.MathSciNetCrossRefzbMATHGoogle Scholar
  15. 15.
    Grines, V. Z., Kapkaeva, S.Kh., and Pochinka, O.V., A Three-Color Graph As a Complete Topological Invariant for Gradient-Like Diffeomorphisms of Surfaces, Sb. Math., 2014, vol. 205, nos. 9–10, pp. 1387–1412; see also: Mat. Sb., 2014, vol. 205, no. 10, pp. 19–46.MathSciNetCrossRefzbMATHGoogle Scholar
  16. 16.
    Hopcroft, J.E. and Wong, J.K., Linear Time Algorithm for Isomorphism of Planar Graphs: Preliminary Report, in Proc. of the 6th Annual ACM Symposium on Theory of Computing (Seattle, Wash., 1974), pp. 172–184.Google Scholar
  17. 17.
    König, D., Grafokés matrixok, Matematikaiés Fizikai Lapok, 1931, vol. 38, pp. 116–119.Google Scholar
  18. 18.
    Leontovich, E.A. and Maier, A.G., On a Scheme Determining the Topological Structure of a Decomposition into Trajectories, Dokl. Akad. Nauk SSSR, 1955, vol. 103, no. 4, pp. 557–560 (Russian).MathSciNetGoogle Scholar
  19. 19.
    Maier, A.G., Rough Transform Circle into a Circle, Uchen. Zap. Gorkov. Gos. Univ., 1939, no. 12, pp. 215–229 (Russian).Google Scholar
  20. 20.
    Miller, G., Isomorphism Testing for Graphs of Bounded Genus, in Proc. of the 12th Annual ACM Symposium on Theory of Computing (New York, N.Y., 1980), pp. 225–235.Google Scholar
  21. 21.
    Oshemkov, A.A. and Sharko, V.V., On the Classification of Morse–Smale Flows on Two-Dimensional Manifolds, Sb. Math., 1998, vol. 189, nos. 7-8, pp. 1205–1250; see also: Mat. Sb., 1998, vol. 189, no. 8, pp. 93–140.MathSciNetCrossRefzbMATHGoogle Scholar
  22. 22.
    Palis, J., On Morse–Smale Dynamical Systems, Topology, 1968, vol. 8, pp. 385–404.MathSciNetCrossRefzbMATHGoogle Scholar
  23. 23.
    Palis, J. and Smale, S., Structural Stability Theorems, in Global Analysis: Proc. Sympos. Pure Math. (Berkeley, Calif., 1968): Vol. 14, Providence,R.I.: AMS, 1970, pp. 223–231.Google Scholar
  24. 24.
    Peixoto, M. M., On Structural Stability, Ann. of Math. (2), 1959, vol. 69, no. 1, pp. 199–222.MathSciNetCrossRefzbMATHGoogle Scholar
  25. 25.
    Peixoto, M. M., Structural Stability on Two-Dimensional Manifolds, Topology, 1962, vol. 1, no. 2, pp. 101–120.MathSciNetCrossRefzbMATHGoogle Scholar
  26. 26.
    Peixoto, M. M., Structural Stability on Two-Dimensional Manifolds: A Further Remark, Topology, 1963, vol. 2, nos. 1-2, pp. 179–180.MathSciNetCrossRefzbMATHGoogle Scholar
  27. 27.
    Peixoto, M.M., On the Classification of Flows on Two-Manifolds, in Dynamical Systems (Salvador, 1971), M.M. Peixoto (Ed.), New York: Acad. Press, 1973, pp. 389–419.Google Scholar
  28. 28.
    Smale, S., Morse Inequalities for a Dynamical System, Bull. Amer. Math. Soc., 1960, vol. 66, pp. 43–49.MathSciNetCrossRefzbMATHGoogle Scholar
  29. 29.
    Smale, S., A Structurally Stable Differentiable Homeomorphism with an Infinite Number of Periodic Points, in Proc. of the Internat. Symp. on Non-Linear Vibrations (Kiev, 12-18 September 1961): Vol. 2. Qualitative Methods in the Theory of Non-Linear Vibrations, Kiev: Akad. Nauk Ukrain. SSR, 1963, pp. 365–366.Google Scholar

Copyright information

© Pleiades Publishing, Ltd. 2016

Authors and Affiliations

  • Vyacheslav Z. Grines
    • 1
    Email author
  • Dmitry S. Malyshev
    • 1
    • 2
  • Olga V. Pochinka
    • 1
  • Svetlana Kh. Zinina
    • 3
  1. 1.National Research University Higher School of EconomicsNizhny NovgorodRussia
  2. 2.N. I. Lobachevsky State University of Nizhni NovgorodNizhny NovgorodRussia
  3. 3.Ogarev Mordovia State UniversitySaranskRussia

Personalised recommendations