Continuous graph
Encyclopedia
A continuous graph is a graph
whose set of vertices is a continuous space X. Edges are then defined by a function from the cartesian product
X2 to the set {0, 1}. This could represent 1 for an edge between two vertices, and 0 for no edge, or it could represent a complete graph
with a 2-color edge coloring
. In this context, the set {0,1} is often denoted by 2, so we have f(X2)→2. For multi-colorings of edges we would have f(X2)→n. Continuous graphs have applications to peer-to-peer
systems.
A graph limit or graphon is the limit
of a sequence
of graphs. Such a limit is a symmetric
measurable
function in two variables, that can often be written f(S2)→[0,1] which is the same as a complete continuous graph where the edges have values in the interval
[0,1].
For any sets X and Y, the two-variable function f(X2)→Y is a complete graph with edges labelled with elements of Y. For multi-variable functions we have f(Xn)→Y for the complete hypergraph
with edges labelled with elements of Y.
Given a discrete-time dynamical system
, the trajectories, or orbits (state space)
of all the points form a (possibly disconnected
) directed graph
which is a continuous graph if the system is defined on a continuous space. The trajectories of a continuous-time dynamical system would form a collection of curved paths (phase space)
rather than a collection of piece-wise linear paths and so is not a graph in the traditional sense.
Graph (mathematics)
In mathematics, a graph is an abstract representation of a set of objects where some pairs of the objects are connected by links. The interconnected objects are represented by mathematical abstractions called vertices, and the links that connect some pairs of vertices are called edges...
whose set of vertices is a continuous space X. Edges are then defined by a function from the cartesian product
Cartesian product
In mathematics, a Cartesian product is a construction to build a new set out of a number of given sets. Each member of the Cartesian product corresponds to the selection of one element each in every one of those sets...
X2 to the set {0, 1}. This could represent 1 for an edge between two vertices, and 0 for no edge, or it could represent a complete graph
Complete graph
In the mathematical field of graph theory, a complete graph is a simple undirected graph in which every pair of distinct vertices is connected by a unique edge.-Properties:...
with a 2-color edge coloring
Edge coloring
In graph theory, an edge coloring of a graph is an assignment of “colors” to the edges of the graph so that no two adjacent edges have the same color. For example, the figure to the right shows an edge coloring of a graph by the colors red, blue, and green. Edge colorings are one of several...
. In this context, the set {0,1} is often denoted by 2, so we have f(X2)→2. For multi-colorings of edges we would have f(X2)→n. Continuous graphs have applications to peer-to-peer
Peer-to-peer
Peer-to-peer computing or networking is a distributed application architecture that partitions tasks or workloads among peers. Peers are equally privileged, equipotent participants in the application...
systems.
A graph limit or graphon is the limit
Limit (mathematics)
In mathematics, the concept of a "limit" is used to describe the value that a function or sequence "approaches" as the input or index approaches some value. The concept of limit allows mathematicians to define a new point from a Cauchy sequence of previously defined points within a complete metric...
of a sequence
Sequence
In mathematics, a sequence is an ordered list of objects . Like a set, it contains members , and the number of terms is called the length of the sequence. Unlike a set, order matters, and exactly the same elements can appear multiple times at different positions in the sequence...
of graphs. Such a limit is a symmetric
Symmetric function
In algebra and in particular in algebraic combinatorics, the ring of symmetric functions, is a specific limit of the rings of symmetric polynomials in n indeterminates, as n goes to infinity...
measurable
Measure (mathematics)
In mathematical analysis, a measure on a set is a systematic way to assign to each suitable subset a number, intuitively interpreted as the size of the subset. In this sense, a measure is a generalization of the concepts of length, area, and volume...
function in two variables, that can often be written f(S2)→[0,1] which is the same as a complete continuous graph where the edges have values in the interval
Interval (mathematics)
In mathematics, a interval is a set of real numbers with the property that any number that lies between two numbers in the set is also included in the set. For example, the set of all numbers satisfying is an interval which contains and , as well as all numbers between them...
[0,1].
For any sets X and Y, the two-variable function f(X2)→Y is a complete graph with edges labelled with elements of Y. For multi-variable functions we have f(Xn)→Y for the complete hypergraph
Hypergraph
In mathematics, a hypergraph is a generalization of a graph, where an edge can connect any number of vertices. Formally, a hypergraph H is a pair H = where X is a set of elements, called nodes or vertices, and E is a set of non-empty subsets of X called hyperedges or links...
with edges labelled with elements of Y.
Given a discrete-time dynamical system
Dynamical system
A dynamical system is a concept in mathematics where a fixed rule describes the time dependence of a point in a geometrical space. Examples include the mathematical models that describe the swinging of a clock pendulum, the flow of water in a pipe, and the number of fish each springtime in a...
, the trajectories, or orbits (state space)
State space
In the theory of discrete dynamical systems, a state space is a directed graph where each possible state of a dynamical system is represented by a vertex, and there is a directed edge from a to b if and only if ƒ = b where the function f defines the dynamical system.State spaces are...
of all the points form a (possibly disconnected
Connectivity (graph theory)
In mathematics and computer science, connectivity is one of the basic concepts of graph theory: it asks for the minimum number of elements which need to be removed to disconnect the remaining nodes from each other. It is closely related to the theory of network flow problems...
) directed graph
Directed graph
A directed graph or digraph is a pair G= of:* a set V, whose elements are called vertices or nodes,...
which is a continuous graph if the system is defined on a continuous space. The trajectories of a continuous-time dynamical system would form a collection of curved paths (phase space)
Phase space
In mathematics and physics, a phase space, introduced by Willard Gibbs in 1901, is a space in which all possible states of a system are represented, with each possible state of the system corresponding to one unique point in the phase space...
rather than a collection of piece-wise linear paths and so is not a graph in the traditional sense.