Graph Dynamical System - Formal Definition

Formal Definition

A graph dynamical system is constructed from the following components:

  • A finite graph Y with vertex set v = {1,2, ..., n}. Depending on the context the graph can be directed or undirected.
  • A state xv for each vertex v of Y taken from a finite set K. The system state is the n-tuple x = (x1, x2, ..., xn), and x is the tuple consisting of the states associated to the vertices in the 1-neighborhood of v in Y (in some fixed order).
  • A vertex function fv for each vertex v. The vertex function maps the state of vertex v at time t to the vertex state at time t + 1 based on the states associated to the 1-neighborhood of v in Y.
  • An update scheme specifying the mechanism by which the mapping of individual vertex states is carried out so as to induce a discrete dynamical system with map F: Kn → Kn.

The phase space associated to a dynamical system with map F: Kn → Kn is the finite directed graph with vertex set Kn and directed edges (x, F(x)). The structure of the phase space is governed by the properties of the graph Y, the vertex functions (fi)i, and the update scheme. The research in this area seeks to infer phase space properties based on the structure of the system constituents. The analysis has a local-to-global character.

Read more about this topic:  Graph Dynamical System

Famous quotes containing the words formal and/or definition:

    Good gentlemen, look fresh and merrily.
    Let not our looks put on our purposes,
    But bear it as our Roman actors do,
    With untired spirits and formal constancy.
    William Shakespeare (1564–1616)

    One definition of man is “an intelligence served by organs.”
    Ralph Waldo Emerson (1803–1882)