Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory...
Transcript of Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory...
![Page 1: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/1.jpg)
1
Workshop on switching dynamics & verificationParis, 29th January 2016
Morse-Conley theory for combinatorial vector fields
A B
C D E F
G H I J K
L M N O
P Q
Marian Mrozek
Jagiellonian University, Krakow, Poland
![Page 2: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/2.jpg)
Background 2
• Topological dynamics• Topological tools: Lefschetz fixed point theorem, fixed point index,
Wazewski criterion, Conley index, Conley-Morse theory• computer assisted proofs based on topological invariants
![Page 3: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/3.jpg)
Topology 3
![Page 4: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/4.jpg)
Computational Topology 4
![Page 5: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/5.jpg)
Rigorous numerics of dynamical systems 5
![Page 6: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/6.jpg)
Topological existence criterion 6
![Page 7: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/7.jpg)
Wazewski Theorem 7
![Page 8: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/8.jpg)
Wazewski Theorem 8
![Page 9: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/9.jpg)
Index pair and Conley index 9
![Page 10: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/10.jpg)
Index pair and Conley index 10
![Page 11: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/11.jpg)
11
![Page 12: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/12.jpg)
Existence results based on topological invariants 12
• bounded trajectories• stationary trajectories• periodic trajectories• heteroclinic connections• chaotic invariant sets• semiconjugacies onto model dynamics
![Page 13: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/13.jpg)
13
![Page 14: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/14.jpg)
Goal 14
• Combinatorization of topological dynamics• Applications to sampled dynamics
![Page 15: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/15.jpg)
Outline 15
• Review of the combinatorial Morse theory by Forman• Limitations of the Forman theory• Combinatorial multivector fields• Isolated invariant sets, Conley index and Morse inequalities• Examples• Relation to classical dynamics (joint with T. Kaczynski and Th. Wanner)
![Page 16: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/16.jpg)
Morse-Forman theory 16
• K - the collection of cells of a finite, regular, CW complex X .• Facet relation: τ ≺ σ ⇔ τ is a facet of σ• Facet digraph: (K2, { (σ, τ ) | τ ≺ σ })• bdσ := { τ | τ ≺ σ }.• cbdσ := { ρ | σ ≺ ρ }.
![Page 17: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/17.jpg)
Discrete vector fields 17
Definition.• A discrete vector field V on K is a partition of K into
doubletons and sigletons such that for each doubleton{τ, σ} ∈ V either τ ≺ σ or τ � σ.• The V -digraph of K is the facet digraph of K with the
direction reversed on the elements of V .
![Page 18: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/18.jpg)
Paths/solutions 18
�
� �
� �
![Page 19: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/19.jpg)
Morse Homology 19
�
� �
� �
•Morse complex (M,∆) := (Mq(K, V ),∆q(K, V )q∈Z of a gradient vectorfield V on K:
Mq := { critical cells of dimension q }〈∆qσ, τ〉 :=
∑α∈P aV (σ,τ)
w(α).
Theorem. (Forman, 1995)
H∗(K) ∼= H∗(M,∆).
![Page 20: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/20.jpg)
Goals 20
A B
C
D
E
1) Bring Forman’s combinatorial vector fields into the framework of classicaltopological dynamics.
![Page 21: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/21.jpg)
Goals 21
2) Extend the theory to combinatorial multivector fields.
![Page 22: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/22.jpg)
Goals 22
2) Extend the theory to combinatorial multivector fields.
![Page 23: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/23.jpg)
Goals 23
A B
C
D
E
3) Construct bridges between the combinatorial dynamics on the family ofcells of CW complexes and continuous dynamics on the topological space ofthe complex.
![Page 24: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/24.jpg)
Alexandrov topology on K 24
• A ⊂ K is open (closed) iff⋃A is open (closed) in X =
⋃K.
• esA := clA \ A - estuary of A• A is proper if esA is closed.• if A is closed, then
⋃A is a subcomplex of the CW complex X .
• A proper A ⊂ K is a zero space if H(clA, esA) = 0.
![Page 25: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/25.jpg)
Combinatorial multivector fields 25
• A multivector is a proper V ⊂ K with a unique maximal element.• A multivector field is a partition V of K into multivectors.• V is regular if V is a zero space. Otherwise it is critical.
![Page 26: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/26.jpg)
Combinatorial multivector fields 26
• A multivector is a proper V ⊂ K with a unique maximal element V ∗.• A multivector field is a partition V of K into multivectors.• V is regular if V is a zero space. Otherwise it is critical.
![Page 27: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/27.jpg)
V-digraph 27
A B C D
E F G H
• Vertices: cells in K• Arrows:
– explicit: given by V– implicit: from each maximal cell of a multivector to all its faces not in
the multivector– loops: at each maximal cell of a critical multivector
The multivalued map ΠV : K−→→K assigns to σ all targets of edges originatingfrom σ.
![Page 28: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/28.jpg)
Solutions and paths 28
A B
C D E F
G H I J K
L M N O
P Q
• A partial map γ : Z−→◦ K is a solution of V if it is a walk in the V-digraph,that is:
γ(i + 1) ∈ ΠV(γ(i)) for i, i + 1 ∈ dom γ.
![Page 29: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/29.jpg)
Isolated invariant sets 29
• V ∗ - maximal cell in V ∈ V
Sol(x,A) := { % : Z→ A a solution s.t. %(0) = x }.InvA :=
⋃{V ∈ V | V ⊂ A and Sol(V ?, A) 6= ∅ }
Let S ⊂ K.
Definition. S is V-invariant if InvS = S.
Definition.• A solution γ : Z → clS is an internal tangency to S if
for some n1 < n2 < n3 we have γ(n1), γ(n3) ∈ S butγ(n2) 6∈ S.• S is an isolated invariant set if it is invariant and admits
no internal tangencies.
![Page 30: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/30.jpg)
Isolated invariant sets 30
A B
C D E F
G H I J K
L M N O
P Q
Theorem. Let S ⊂ X be invariant. Then, S is an isolatedinvariant set if and only if S is proper.
![Page 31: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/31.jpg)
Index pairs 31
A B
C D E F
G H I J K
L M N O
P Q
Definition. A pair P = (P1, P2) of closed subsets of X isan index pair for S iff
(i) x ∈ P2, y ∈ P1 ∩ ΠV(x) ⇒ y ∈ P2,(ii) x ∈ P1, ΠV(x) \ P1 6= ∅ ⇒ x ∈ P2,
(iii) S = Inv(P1 \ P2).
![Page 32: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/32.jpg)
Conley index 32
A B
C D E F
G H I J K
L M N O
P Q
Theorem.• For every S an isolated invariant set (clS, esS) is an index
pair for S.• If P and Q are index pairs for S, then H(P1, P2) andH(Q1, Q2) are isomorphic .
![Page 33: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/33.jpg)
Conley index 33
Definition. The Conley index of S is the homology
H(P1, P2)
for any index pair P of S.
The Conley polynomial of S is
pS(t) :=
∞∑i=0
βi(S)ti,
where βi(S) := rank Hi(P1, P2).
![Page 34: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/34.jpg)
Attractors and repellers 34
A B
C D E F
G H I J K
L M N O
P Q
Let S ⊂ K be isolated invariant.
• N ⊂ S is a trapping region (backward trapping region) if for everysolution γ : Z+ → S (γ : Z− → S) condition γ(0) ∈ N impliesim γ ⊂ N .• A is an attractor (repeller) in S if iff there is a (backward) trapping regionN such that A = InvN .
![Page 35: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/35.jpg)
Attractors and repellers 35
A B
C D E F
G H I J K
L M N O
P Q
A B
C D E F
G H I J K
L M N O
P Q
Theorem. The following conditions are equivalent:
(i) A is an attractor,(ii) A is isolated invariant and closed in S.
Theorem. The following conditions are equivalent:
(i) R is a repeller,(ii) R is isolated invariant and open in S.
![Page 36: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/36.jpg)
α and ω limit sets 36
A B
C D E F
G H I J K
L M N O
P Q
% : Z→ S - a full solution. The α and ω limit sets of % are
α(%) :=⋂k≤0
Inv imσk%|Z−,
ω(%) :=⋂k≥0
Inv imσk%|Z+.
![Page 37: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/37.jpg)
Morse decompositions 37
A B
C D E F
G H I J K
L M N O
P Q
Definition. The collection M = {Mp | p ∈ P } is aMorse decomposition of S if M is a family of mutually disjointisolated invariant subsets of S and for every solution % eitherim % ⊂ Mp for some p ∈ P or there exists p, p′ ∈ P such that
p < p′, α(%) ⊂Mp′, ω(%) ⊂Mp.
![Page 38: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/38.jpg)
Morse-Conley graph 38
A B
C D E F
G H I J K
L M N O
P Q
Σ0
Σ1⋁Σ2
Σ1
Σ2
Σ0⋁Σ1
Σ1
Σ2
![Page 39: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/39.jpg)
Morse inequalities 39
Theorem. Given a Morse decomposition M ={Mι | ι ∈ P } of an isolated invariant set S we have∑
ι∈P
pMι(t) = pS(t) + (1 + t)q(t)
for some non-negative polynomial q.
Σ0
Σ1⋁Σ2
Σ1
Σ2
Σ0⋁Σ1
Σ1
Σ2 p1(t) = 1
p2(t) = 1 + t
p3(t) = t
p4(t) = t
p5(t) = t + t2
p6(t) = t2
p7(t) = t2∑ι∈P
pMι(t) = 2 + 4t + 3t2 = 1 + (1 + t)(1 + 3t) = pS(t) + (1 + t)q(t)
![Page 40: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/40.jpg)
Refinements. 40
A multivector field W is a refinement of V if each multivector in V is W-compatible.
![Page 41: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/41.jpg)
Refinements. 41
![Page 42: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/42.jpg)
Modelling a differential equation. 42
x1 = −x2 + x1(x21 + x22 − 4)(x21 + x22 − 1)
x2 = x1 + x2(x21 + x22 − 4)(x21 + x22 − 1)
![Page 43: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/43.jpg)
Modelling a differential equation - cmvf. 43
![Page 44: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/44.jpg)
Modelling a differential equation - cvf. 44
![Page 45: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/45.jpg)
Modelling a randomly selected vectors. 45
![Page 46: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/46.jpg)
Relation to classical theory 46
X - the collection of cells of a CW complex X =⋃X .
Conjecture. Given a Morse decomposition
M = {Mp | p ∈ P }of X , there exists a flow ϕ on X and a Morse decompositionM = {Mp | p ∈ P } of ϕ such that for any interval I in P the
Conley indexes of M(I) and M(I) coincide.
Theorem. (T. Kaczynski, MM, Th. Wanner)Assume X is the collection of cells of a simplicial complex X =⋃X . Given a Morse decomposition M = {Mp | p ∈ P } of
X , there exists an usc, acyclic valued, homotopic to identity,multivalued map F : K−→→K and a Morse decomposition M ={Mp | p ∈ P } of the induced multivalued dynamical systemsuch that for any interval I in P the Conley indexes of M(I)
and M(I) coincide.
![Page 47: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/47.jpg)
Conclusions and future work 47
• Forman theory generalizes to combinatorial multivectorfields.• Combinatorial multivector fields capture more dynamical
features than vector fields do.• The theory, both for vector and multivector fields, may be
extended towards an analogue of Morse-Conley theory.• It resembles in many, but not all aspects the classical theory.• It provides a very concise description of dynamics.
Current and future work:
• applications to the analysis of sampled dynamics• formal ties between classical and combinatorial theory• efficient algorithms for concise approximation of classical dynamics• continuation results• connection matrix theory• time-discrete dynamical systems
![Page 48: Morse-Conley theory for combinatorial vector eldssdv2016/slides/mrozek_SDV2016.pdf · Forman theory generalizes to combinatorial multivector elds. Combinatorial multivector elds capture](https://reader033.fdocuments.net/reader033/viewer/2022042403/5f158204edf83e73541a83c7/html5/thumbnails/48.jpg)
References 48
• R. Forman, Morse Theory for Cell Complexes, Advances in Math-ematics ( 1998).• R. Forman, Combinatorial vector fields and dynamical systems,Math. Z. ( 1998).• T. Kaczynski, M. Mrozek, and Th. Wanner, Towards a
Formal Tie Between Combinatorial and Classical Vector Field Dynamics,IMA Preprint Series #2443 ( 2014).• M. Mrozek, Conley-Morse-Forman theory for combinatorial mul-
tivector fields on Lefschetz complexes, preprint arXiv:1506.00018v1[math.DS] ( 2015).