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:
“The spiritual kinship between Lincoln and Whitman was founded upon their Americanism, their essential Westernism. Whitman had grown up without much formal education; Lincoln had scarcely any education. One had become the notable poet of the day; one the orator of the Gettsyburg Address. It was inevitable that Whitman as a poet should turn with a feeling of kinship to Lincoln, and even without any association or contact feel that Lincoln was his.”
—Edgar Lee Masters (1869–1950)
“One definition of man is “an intelligence served by organs.””
—Ralph Waldo Emerson (1803–1882)