lambda-connectedness

Short description: Deals with partial connectivity for a discrete space

In applied mathematics, lambda-connectedness (or λ-connectedness) deals with partial connectivity for a discrete space.

Assume that a function on a discrete space (usually a graph) is given. A degree of connectivity (connectedness) will be defined to measure the connectedness of the space with respect to the function. It was invented to create a new method for image segmentation. The method has expanded to handle other problems related to uncertainty for incomplete information analysis.

For a digital image and a certain value of [math]\displaystyle{ \lambda }[/math], two pixels are called [math]\displaystyle{ \lambda }[/math]-connected if there is a path linking those two pixels and the connectedness of this path is at least [math]\displaystyle{ \lambda }[/math]. [math]\displaystyle{ \lambda }[/math]-connectedness is an equivalence relation.

Background

Connectedness is a basic measure in many areas of mathematical science and social sciences. In graph theory, two vertices are said to be connected if there is a path between them. In topology, two points are connected if there is a continuous function that could move from one point to another continuously. In management science, for example, in an institution, two individuals are connected if one person is under the supervision of the other. Such connected relations only describe either full connection or no connection. lambda-connectedness is introduced to measure incomplete or fuzzy relations between two vertices, points, human beings, etc.

In fact, partial relations have been studied in other aspects. Random graph theory allows one to assign a probability to each edge of a graph. This method assumes, in most cases, each edge has the same probability. On the other hand, Bayesian networks are often used for inference and analysis when relationships between each pair of states/events, denoted by vertices, are known. These relationships are usually represented by conditional probabilities among these vertices and are usually obtained from outside of the system.

[math]\displaystyle{ \lambda }[/math]-connectedness is based on graph theory; however, graph theory only deals with vertices and edges with or without weights. In order to define a partial, incomplete, or fuzzy connectedness, one needs to assign a function on the vertex in the graph. Such a function is called a potential function. It can be used to represent the intensity of an image, the surface of a XY-domain, or the utility function of a management or economic network.

Basic concepts

A generalized definition of [math]\displaystyle{ \lambda }[/math]-connectedness can be described as follows: a simple system [math]\displaystyle{ \langle G,\rho\rangle }[/math], where [math]\displaystyle{ \rho }[/math] is called a potential function of [math]\displaystyle{ G }[/math]. If [math]\displaystyle{ \langle G,\rho\rangle }[/math] is an image, then [math]\displaystyle{ G }[/math] is a 2D or 2D grid space and [math]\displaystyle{ \rho }[/math] is an intensity function. For a color image, one can use [math]\displaystyle{ f=(\text{red},\text{green},\text{blue}) }[/math] to represent [math]\displaystyle{ \rho }[/math].

Neighbor connectivity will be first defined on a pair of adjacent points. Then one can define the general connectedness for any two points.

Assume [math]\displaystyle{ \alpha_\rho(x,y) }[/math] is used to measure the neighbor-connectivity of x,y where x and y are adjacent. In graph G = (V, E), a finite sequence [math]\displaystyle{ x_1,x_2,\ldots,x_n }[/math] is called a path, if [math]\displaystyle{ (x_i,x_{i+1})\in E }[/math].

The path-connectivity [math]\displaystyle{ \beta }[/math] of a path [math]\displaystyle{ \pi=\pi(x_1,x_n)=\{x_1,x_2,...,x_n\} }[/math] is defined as

[math]\displaystyle{ \beta_\rho(\pi(x_1,x_n)) = \min \{ \alpha_{\rho}(x_i,x_{i+1}) | i=1,\ldots,n-1 \} }[/math]

Finally, the degree of connectedness (connectivity) of two vertices x,y with respect to [math]\displaystyle{ \rho }[/math] is defined as

[math]\displaystyle{ C_\rho(x,y) = \max \{ \beta(\pi(x,y)) | \pi \text { is a (simple) path}. \} }[/math]

For a given [math]\displaystyle{ \lambda \in [0,1] }[/math], point [math]\displaystyle{ p=(x,\rho(x)) }[/math] and [math]\displaystyle{ q=(y,\rho(y)) }[/math] are said to be [math]\displaystyle{ \lambda }[/math]-connected if [math]\displaystyle{ C_{\rho}(x,y)\ge \lambda }[/math].

[math]\displaystyle{ \lambda }[/math]-connectedness is a equivalence relation. It can be used in image segmentation.

Relations to Image Segmentation

The lambda-connected segmentation is a region-growing segmentation method in general. It can also be made for split-and-merge segmentation. Its time complexity also reaches the optimum at [math]\displaystyle{ O(n log n ) }[/math] where [math]\displaystyle{ n }[/math] is the number of pixels in the image.

The lambda-connectedness has close relationships to Data Science that can be found in the Book entitled Mathematical Problems in Data Science.

New Developments

Researchers applied related techniques to smooth 3D data processing and transportation network management recently.