Editing Incidence matrix

{{Short description|Matrix that shows the relationship between two classes of objects}}
In [[mathematics]], an '''incidence matrix''' is a [[logical matrix]] that shows the relationship between two classes of objects, usually called an [[Incidence (geometry)|incidence relation]]. If the first class is ''X'' and the second is ''Y'', the matrix has one row for each element of ''X'' and one column for each mapping from ''X'' to ''Y''. The entry in row ''x'' and column ''y'' is 1 if the vertex ''x'' is part of (called ''incident'' in this context) the mapping that corresponds to ''y'', and 0 if it is not. There are variations; see below.

==Graph theory==
Incidence matrix is a common graph representation in [[graph theory]]. It is different to an [[adjacency matrix]], which encodes the relation of vertex-vertex pairs.

===Undirected and directed graphs===
[[Image:Labeled undirected graph.svg|thumb|250px|An undirected graph.]]
In graph theory an [[undirected graph]] has two kinds of incidence matrices: unoriented and oriented.

The ''unoriented incidence matrix'' (or simply ''incidence matrix'') of an undirected graph is a <math>n\times m</math> [[matrix (mathematics)|matrix]] ''B'', where ''n'' and ''m'' are the numbers of [[Vertex (graph theory)|vertices]] and [[Edge (graph theory)|edge]]s respectively, such that
:<math>B_{ij}=\left\{\begin{array}{rl}\,1 & \text{if vertex }v_i\text{ is incident with edge }e_j, \\ 0 & \text{otherwise.}\end{array}\right.</math>

For example, the incidence matrix of the undirected graph shown on the right is a matrix consisting of 4 rows (corresponding to the four vertices, 1–4) and 4 columns (corresponding to the four edges, <math>e_{1},e_{2},e_{3},e_{4}</math>):
{|
|
{| align=left class=wikitable
|-
! !! e<sub>1</sub> !! e<sub>2</sub> !! e<sub>3</sub> !! e<sub>4</sub>
|-
!1
|1||1||1||0
|-
!2
|1||0||0||0 
|-
!3
|0||1||0||1 
|-
!4
|0||0||1||1
|}
| =
|
<math>
\begin{bmatrix}
 1 & 1 & 1 & 0 \\
 1 & 0 & 0 & 0 \\
 0 & 1 & 0 & 1 \\
 0 & 0 & 1 & 1 \\
\end{bmatrix}.
</math>
|}

If we look at the incidence matrix, we see that the sum of each column is equal to 2. This is because each edge has a vertex connected to each end.

The ''incidence matrix'' of a [[directed graph]] is a <math>n\times m</math> matrix ''B'' where ''n'' and ''m'' are the number of vertices and edges respectively, such that
:<math>B_{ij}=\left\{\begin{array}{rl}
{-1} & \text{if edge }e_j\text{ leaves vertex }v_i, \\
\phantom{-}1 & \text{if edge }e_j\text{ enters vertex }v_i, \\
\phantom{-}0 & \text{otherwise.}
\end{array}\right.</math>
(Many authors use the opposite sign convention.)

The ''oriented incidence matrix'' of an undirected graph is the incidence matrix, in the sense of directed graphs, of any [[Orientation (graph theory)|orientation]] of the graph. That is, in the column of edge ''e'', there is one 1 in the row corresponding to one vertex of ''e'' and one −1 in the row corresponding to the other vertex of ''e'', and all other rows have 0. The oriented incidence matrix is unique [[up to]] negation of any of the columns, since negating the entries of a column corresponds to reversing the orientation of an edge.

The unoriented incidence matrix of a graph ''G'' is related to the [[adjacency matrix]] of its [[line graph]] ''L''(''G'') by the following theorem:
: <math>A(L(G)) = B(G)^\textsf{T}B(G) - 2I_m.</math>

where ''A''(''L''(''G'')) is the adjacency matrix of the line graph of ''G'', ''B''(''G'') is the incidence matrix, and ''I''<sub>''m''</sub> is the [[identity matrix]] of dimension ''m''.

The discrete [[Kirchhoff matrix|Laplacian]] (or Kirchhoff matrix) is obtained from the oriented incidence matrix ''B''(''G'') by the formula
: <math>B(G) B(G)^\textsf{T}.</math>

The integral [[cycle space]] of a graph is equal to the [[null space]] of its oriented incidence matrix, viewed as a matrix over the [[integers]] or [[Real numbers|real]] or [[complex numbers]]. The binary cycle space is the null space of its oriented or unoriented incidence matrix, viewed as a matrix over the two-element [[Field (mathematics)|field]].

===Signed and bidirected graphs===
The incidence matrix of a [[signed graph]] is a generalization of the oriented incidence matrix. It is the incidence matrix of any [[bidirected graph]] that orients the given signed graph. The column of a positive edge has a 1 in the row corresponding to one endpoint and a −1 in the row corresponding to the other endpoint, just like an edge in an ordinary (unsigned) graph. The column of a negative edge has either a 1 or a −1 in both rows. The line graph and Kirchhoff matrix properties generalize to signed graphs.

===Multigraphs===
The definitions of incidence matrix apply to graphs with [[loop (graph theory)|loops]] and [[multiple edges]]. The column of an oriented incidence matrix that corresponds to a loop is all zero, unless the graph is signed and the loop is negative; then the column is all zero except for ±2 in the row of its incident vertex.

===Weighted graphs===
[[File:Weighted undirected graph.svg|thumb|A weighted undirected graph]]
A weighted graph can be represented using the weight of the edge in place of a 1. For example, the incidence matrix of the graph to the right is:
{|
|
{| align=left class=wikitable
|-
! !! e<sub>1</sub> !! e<sub>2</sub> !! e<sub>3</sub> !! e<sub>4</sub>
|-
!1
|2||1||5||0
|-
!2
|2||0||0||0 
|-
!3
|0||1||0||6 
|-
!4
|0||0||5||6
|}
| =
|
<math>
\begin{bmatrix}
 2 & 1 & 5 & 0 \\
 2 & 0 & 0 & 0 \\
 0 & 1 & 0 & 6 \\
 0 & 0 & 5 & 6 \\
\end{bmatrix}.
</math>
|}

===Hypergraphs===
Because the edges of ordinary graphs can only have two vertices (one at each end), the column of an incidence matrix for graphs can only have two non-zero entries. By contrast, a [[hypergraph]] can have multiple vertices assigned to one edge; thus, a general matrix of non-negative integers describes a hypergraph.

==Incidence structures==
The ''incidence matrix'' of an [[incidence structure]] ''C'' is a {{nowrap|''p'' × ''q''}} matrix ''B'' (or its transpose), where ''p'' and ''q'' are the number of ''points'' and ''lines'' respectively, such that {{nowrap|1=''B''<sub>''i'',''j''</sub> = 1}} if the point ''p''<sub>i</sub> and line ''L''<sub>''j''</sub> are incident and 0 otherwise. In this case, the incidence matrix is also a [[biadjacency matrix]] of the [[Levi graph]] of the structure. As there is a [[hypergraph]] for every Levi graph, and ''vice versa'', the incidence matrix of an incidence structure describes a hypergraph.

===Finite geometries===
An important example is a [[finite geometry]]. For instance, in a finite plane, ''X'' is the set of points and ''Y'' is the set of lines. In a finite geometry of higher dimension, ''X'' could be the set of points and ''Y'' could be the set of subspaces of dimension one less than the dimension of the entire space (hyperplanes); or, more generally, ''X'' could be the set of all subspaces of one dimension ''d'' and ''Y'' the set of all subspaces of another dimension ''e'', with incidence defined as containment.

===Polytopes===
In a similar manner, the relationship between cells whose dimensions differ by one in a polytope, can be represented by an incidence matrix.<ref>{{citation|first=H.S.M.|last=Coxeter|author-link=Coxeter|title=[[Regular Polytopes (book)|Regular Polytopes]]|year=1973|edition=3rd|orig-year=1963|publisher=Dover|isbn=0-486-61480-8|pages=[https://archive.org/details/regularpolytopes0000coxe/page/166 166-167]}}</ref>

===Block designs===
Another example is a [[block design]]. Here ''X'' is a finite set of "points" and ''Y'' is a class of subsets of ''X'', called "blocks", subject to rules that depend on the type of design. The incidence matrix is an important tool in the theory of block designs. For instance, it can be used to prove [[Fisher's inequality]], a fundamental theorem of balanced incomplete 2-designs (BIBDs), that the number of blocks is at least the number of points.<ref>{{citation|page=99|first=Herbert John|last=Ryser|title=Combinatorial Mathematics|series=The Carus Mathematical Monographs #14|publisher=The Mathematical Association of America|year=1963}}</ref> Considering the blocks as a system of sets, the [[Permanent (mathematics)|permanent]] of the incidence matrix is the number of [[system of distinct representatives|systems of distinct representatives]] (SDRs).

== See also ==

* [[Parry–Sullivan invariant]]

==References==
{{Reflist}}

==Further reading==

* {{citation | last=Diestel | first=Reinhard | title=Graph Theory | series=[[Graduate Texts in Mathematics]] | volume=173 | edition=3rd | date=2005 | publisher=Springer-Verlag | isbn=3-540-26183-4}}
* Jonathan L Gross, Jay Yellen, ''Graph Theory and its applications'', second edition, 2006 (p 97, Incidence Matrices for undirected graphs; p 98, incidence matrices for digraphs)

==External links==
{{Commons category|Incidence matrices of graphs}}
{{Wiktionary}}
* {{mathworld | urlname = IncidenceMatrix | title = Incidence matrix}}

{{Graph representations}}
{{Incidence structures}}
{{Matrix classes}}
{{Authority control}}

[[Category:Algebraic graph theory]]
[[Category:Combinatorics]]
[[Category:Matrices (mathematics)]]
[[Category:Graph data structures]]