Purpose: Provide mathematical background on hybrid dynamical systems and their application to RelationWorld's state space.
D.1 What Is a Hybrid Dynamical System?
A hybrid dynamical system (HDS) combines:
- Continuous dynamics: smooth evolution governed by differential equations.
- Discrete dynamics: mode switches or jumps (resets) at specified conditions.
Formal definition (simplified for this context):
A hybrid dynamical system is a 6-tuple where:
| Component | Meaning |
|---|---|
| Finite set of discrete modes (qualitative states). | |
| Continuous state space associated with mode . | |
| Vector field (continuous dynamics) in mode . | |
| Guard sets: conditions triggering transition . | |
| Reset maps: how continuous state transforms during transition. | |
| Initial condition . |
Execution:
- Within mode , the state evolves via .
- When hits guard , a discrete transition fires: changes to , and is reset via .
- In the new mode , continuous evolution resumes.
Key property: The state space is stratified — not a single manifold, but a union of different-dimensional spaces.
D.2 Application to RelationWorld
Mapping RelationWorld to the HDS Framework
| HDS Component | RelationWorld Instantiation |
|---|---|
| Topologies: | |
| For : raw parameter space | |
| Yang--Mills gradient flow: (Chapter 13) plus exogenous DEFORM | |
| Topology-change guards (e.g., CONTACT, BIRTH, DEATH triggers) | |
| Event resets (e.g., initialization of new edge weights/transits after CONTACT) | |
| Initial world configuration |
The Six Events as Discrete Transitions
| Event | Mode Transition | Guard | Reset |
|---|---|---|---|
| DEFORM | Continuous (always active) | Identity (in-place update) | |
| CONTACT | Command triggered | , | |
| BIRTH | Command triggered | New node initialization | |
| DEATH | Command triggered | Remove incident edges | |
| SPLIT | crossing | Recompute | |
| MERGE | crossing | Recompute |
D.3 Continuous Dynamics: Yang--Mills Gradient Flow
The Flow Equation
Within a fixed topology , the continuous dynamics are driven by Yang--Mills gradient flow:
where:
- is the gauge transformation vector.
- is the Yang--Mills (flattening) energy on the fruit interior (Chapter 7).
- is the gradient w.r.t. the -th factor.
Convergence (Theorem H, Chapter 7): For fixed topology, this gradient flow converges to a critical point (local minimum) of .
Geometric interpretation: The flow minimizes the "curvature" of the connection, driving it toward flatness. In the flat limit (all holonomies ), the system reaches a stable equilibrium.
Phase Portrait
The phase portrait of the continuous dynamics within a topology has:
- Stable fixed points (local minima of ).
- Saddle points (saddle critical points).
- Unstable manifolds (rare; the energy is Morse-like).
Trajectories may approach different fixed points depending on initial conditions (basin of attraction).
D.4 Discrete Dynamics: Guard Crossings and Resets
Topology-Change Events
When the system trajectory hits a guard condition, a discrete transition fires.
Guard: CONTACT(i,j)
Condition: External command or intrinsic rule triggers edge activation.
Effect:
- Edge support expands: .
- Dimension of continuous state increases: .
- The reset map initializes the new edge: (small perturbation), (identity).
Consequence for fruits: Adding an edge may create new fruits (if the new edge has low conductance) or merge existing fruits (if the new edge has high conductance).
Guard: BIRTH(v)
Condition: External command introduces a new node.
Effect:
- Node set expands: ; .
- Gauge group grows: .
- Initial edge specification: typically a pre-computed set of edges from to existing nodes.
Consequence for fruits: The new node may form its own fruit or join existing fruits, depending on weights.
Guard: DEATH(v)
Condition: External command removes a node.
Effect:
- Node set shrinks: ; .
- All edges incident to are deleted: .
- The fruit containing is recomputed (may split or vanish entirely).
Threshold-Based Guards: SPLIT/MERGE
SPLIT guard condition:
When the Cheeger conductance decreases below the threshold , a new fruit "splits off." Formally, the fruit detection algorithm in Chapter 4 recomputes and finds a new component.
MERGE guard condition:
When the conductance of a union drops below , two fruits merge.
Reset for SPLIT/MERGE: The discrete topology does not change. Only the derived structures are recomputed. This is a "mode switch" within the same continuous state space .
D.5 Switching and Transversality
Transversal Crossings
A guard crossing is transversal if the trajectory crosses the guard set transversely (not tangentially). Formally:
Definition D.1 (Transversal crossing): The trajectory is transversal to guard at time if:
(the velocity is not parallel to the guard surface).
Consequence: Near a transversal crossing, the solution is locally unique, and the reset map applies cleanly.
Zeno Behavior and Chattering
Zeno behavior occurs when a system undergoes infinitely many discrete transitions in finite time.
Example: If SPLIT/MERGE guards are very close, the system might oscillate rapidly between modes.
Mitigation: Hysteresis (guard conditions with threshold width) prevents Zeno. In RelationWorld, we can impose:
- Splitting threshold: (strictly below).
- Merging threshold: (strictly above).
This creates a dead band and prevents oscillation.
D.6 Lyapunov Stability and Convergence
Energy Function
Define the total Lyapunov function for the hybrid system:
where is the Yang--Mills energy of the configuration in mode , and the topological cost penalizes topology changes (or encourages them, depending on design goals).
Stability Theorem
Theorem D.1 (Hybrid stability): The hybrid evolution satisfies:
provided:
- Yang--Mills gradient flow is applied continuously (Theorem H, Chapter 7).
- Discrete events are sufficiently sparse (no Zeno behavior).
Consequence: The system converges to an attractor (equilibrium or limit cycle in the state space).
D.7 Examples from RelationWorld
Example 1: Stable Equilibrium
Scenario: A 5-node complete graph with two fruits well-separated (high inter-fruit conductance threshold).
- Continuous phase: Yang--Mills flow flattens the connection within each fruit.
- Equilibrium: Both fruits stabilize with (flat). The system converges to an energy minimum.
- No guards triggered: Topology remains fixed; fruits remain fixed.
- Limit behavior: The system sits at a fixed point with .
Example 2: SPLIT Event
Scenario: A single fruit with weights slowly decreasing due to exogenous DEFORM.
- Continuous phase: increases gradually as weights decrease.
- Guard trigger: At time , crosses from below.
- Discrete transition: Fruit detection recomputes . Now, , and two new fruits appear.
- Reset: The discrete topology is unchanged; the recomputation of is the reset.
- Continued evolution: Yang--Mills flow continues in the same topology, now with two fruits instead of one.
Example 3: BIRTH Event (Node Addition)
Scenario: At time , an external event triggers node to appear in a 5-node graph.
- Pre-BIRTH: Mode , continuous state .
- Guard trigger: Command BIRTH(6).
- Reset:
- New mode: where (pre-specified neighborhoods).
- New continuous state: .
- Old edges retain their parameters; new edges from node 6 are initialized (small weights, identity transits).
- Continued evolution: Yang--Mills flow in the new 6-node topology.
D.8 Formal Relationships to Chapter 0
Chapter 0 (Formal State Space) defines:
- State space (configuration spaces per topology).
- Gauge quotient: .
- Event maps: transitions between strata.
This appendix provides the dynamical systems framework:
- The hybrid automaton formalization of the evolution.
- Guard conditions specifying when transitions occur.
- Reset maps governing how continuous state changes during transitions.
- Convergence analysis via Lyapunov functions.
Connection:
- The configuration space (Definition 0.4) is the semantic state space (gauge-equivalence classes).
- The raw parameter space (Definition 0.2) is the computational representation.
- The hybrid system evolves in but should be understood modulo gauge equivalence (i.e., in ).
D.9 Literature and Further Reading
Hybrid dynamical systems are a well-developed area. Key references:
- Liberzon (2003) — Switching in Systems and Control. Covers switched linear systems and stability conditions.
- Goebel et al. (2012) — Hybrid Dynamical Systems: Modeling, Stability, and Robustness. General theory with applications.
- van der Schaft & Schumacher (2000) — An Introduction to Hybrid Dynamical Systems. Detailed mathematical treatment.
Gauge theory on graphs:
- Baez & Lauda (2010) — discrete analogues of continuous gauge theory.
- Landi & Lanteri — applications to combinatorial geometry.
Yang--Mills flow:
- Rade (1994), Donaldson (2002) — continuous setting; the discrete analogue in Chapter 13 extends these ideas.
D.10 Open Problem: Hybrid Attractors for RelationWorld
Problem D.1: Characterize the attractors of the hybrid system governing world evolution. Specifically:
- For what initial configurations do stable multi-fruit equilibria exist?
- Can the system exhibit limit cycles or strange attractors (chaotic behavior)?
- What is the basin of attraction for a given attractor?
Understanding these questions would provide a complete picture of "typical" world behavior over long timescales.