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

被引:0
作者
Vyacheslav Z. Grines
Dmitry S. Malyshev
Olga V. Pochinka
Svetlana Kh. Zinina
机构
[1] National Research University Higher School of Economics,
[2] N. I. Lobachevsky State University of Nizhni Novgorod,undefined
[3] Ogarev Mordovia State University,undefined
来源
Regular and Chaotic Dynamics | 2016年 / 21卷
关键词
Morse–Smale diffeomorphism; gradient-like diffeomorphism; topological classification; three-color graph; directed graph; graph isomorphism; surface orientability; surface genus; polynomial-time algorithm; magnetic field; 32S50; 37C15;
D O I
暂无
中图分类号
学科分类号
摘要
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.
引用
收藏
页码:189 / 203
页数:14
相关论文
共 40 条
[1]  
Afraimovich V. S.(1973)On Critical Sets of Morse–Smale Systems Trans. Moscow Math. Soc 28 179-212
[2]  
Shilnikov L.P.(1937)Systèmes grossiers Dokl. Akad. Nauk. SSSR 14 247-250
[3]  
Andronov A.(2002)Magnetic Topologies due to Two Bipolar Regions Sol. Phys 209 333-347
[4]  
Pontryagin L.(1992)Dynamical Properties and Topological Classification of Gradient- Like Diffeomorphisms on Two-Dimensional Manifolds: Part 1 Selecta Math. Soviet 11 1-11
[5]  
Beveridge C.(1992)Dynamical Properties and Topological Classification of Gradient- Like Diffeomorphisms on Two-Dimensional Manifolds: Part 2 Selecta Math. Soviet 11 13-17
[6]  
Priest E.R.(2000)Knots as Topological Invariants for Gradient-Like Diffeomorphisms of the Sphere S3 J. Dynam. Control Systems 6 579-602
[7]  
Brown D. S.(2005)Domain Structures in Complex 3D Magnetic Fields Geophys. Astrophys. Fluid Dyn 99 513-534
[8]  
Bezdenezhnykh A.N.(1987)An O(n3 log n) Deterministic and an O(n3) Las Vegas Isomorphism Test for Trivalent Graphs J. Assoc. Comput. Mach 34 513-531
[9]  
Grines V. Z.(2010)Classification of Morse–Smale Diffeomorphisms with One-Dimensional Set of Unstable Separatrices Proc. Steklov Inst. Math 270 57-79
[10]  
Bezdenezhnykh A.N.(2013)Morse–Smale Cascades on 3-Manifolds Russian Math. Surveys 68 117-173