Kirchhoff graph
Script error: No such module "Draft topics".
Script error: No such module "AfC topic".
In the mathematical field of graph theory, a Kirchhoff graph is a vector graph (a graph whose edges are vectors or are assigned vectors) that satisfies a generalized version of Kirchhoff's laws (and is therefore named after Gustav Kirchhoff). If the edge vectors represent reaction steps for a reaction network, a Kirchhoff graph can be viewed as a circuit diagram for the reaction network.[1][2] For a finite set of vectors in some vector space, a Kirchhoff graph represents the dependencies of these vectors. In this regard, Kirchhoff graphs are related to matroids[3] They also represent the orthcomplementrarity of the row space and the null space of the matrix whose columns represent these vectors; the vertex cuts lie in the row space and the cycles of the graph span for the null space[2]
Definition[edit]
Given a finite set of vectors from some vector space, suppose that for , the first are a basis for the span of the full set. Then it is possible to write each of the final vectors as a linear combination of the first :
Now, assuming that all of the entries of are rational (the vectors form only rational combinations), let be the least common multiple of the denominators of these entries. Define
A Kirchhoff graph for the set , the matrix and/or any matrix row-equivalent to is a vector graph (1) whose edges are the edge vectors , (2) whose vertex cuts span the row space of and (3) whose cycles span the null space of .
Here is a simple example of a Kirchhoff graph: Suppose that
Small symmetric | Large symmetric | Lower chiral | Upper chiral |
---|---|---|---|
The numbers on the edge vectors give the numbers of copies of a given edge vector that lie in parallel between the same vertices. For the small symmetric graph, notice that the vertex cut for the lower left vertex is which is the sum of the two rows of , and indeed all of the vertex cuts are some linear combination of the rows of (a negative entry in a vertex cut corresponds to a vector entering that vertex). Similarly, the cycle vector is the difference of the two columns of and represents (starting at the vertex on the lower left) the cycle .
Chirals[edit]
Given a Kirchhoff graph projected onto a plane (if its natural embedding is in a higher dimensional space), its chiral is obtained by rotating the entire graph by 180 degrees, then reversing (flipping) each individual vector. This chiral graph must also be a Kirchhoff graph.[4]
In the example above, the two Kirchhoff graphs on the left are symmetric in the sense that they are self chirals. The two Kirchhoff graphs on the right, on the other hand, are each the chiral of the other.
Uniformity[edit]
One of the most important properties for many Kirchhoff graphs is uniformity---that each edge vector occurs in the graph the same number of times counting the edge multiplicities. For a uniform Kirchhoff graph, let be the common edge multiplicity; in the example above, for each Kirchhoff graph.
The general uniformity result is that all vector 2-connected Kirchhoff graphs are uniform[5][6]
Reaction network circuit diagram[edit]
For the hydrogen evolution reaction (HER) network, the overall reaction (that does not occur directly) and the three reaction steps that yield that overall reaction are as follows[1]
A Kirchhoff graph that can be used as a circuit diagram for the HER network is shown at right. This graph shows that the overall reaction can be achieved through any one of three reaction pathways: (1) (2) and (3) . These are the only pathways consistent with the stoichiometry. This also means that each cycle in this Kirchhoff graph correspond to a vector from the null space of the stoichiometric matrix—a version of the Kirchhoff potential law (since all species are conserved around a cycle, the electrochemical potential must also be conserved).
The Kirchhoff circuit law is reflected by the rate balances at each vertex (the sum of the rates at each node must be zero; what flows in flows out). In terms of the spaces, the requirement is that each vertex lies in the row space of the stoichiometric matrix and thus of . For example, at the top and bottom vertex, . So the difference between the rates for and is twice the rate for , and this balance makes this Kirchhoff graph a sort of Wheatstone bridge: the rate and direction of the flow across the middle on determines whether the rate of or is largest.
All of the information in this Kirchhoff graph is also present in the stoichiometric matrix and in the electrochemical reaction steps, but it may be much easier to see in the Kirchhoff graph.
References[edit]
- ↑ 1.0 1.1 Fehribach, Joseph D. (2009). "Vector-space methods and Kirchhoff graphs for reaction networks". SIAM J. Appl. Math. 70: 543–562. doi:10.1137/080722667. ISSN 0036-1399.
- ↑ 2.0 2.1 Fehribach, Joseph D. (2015). "Matrices and their Kirchhoff graphs". Ars Mathematica Comtemporanea. 9: 125–144. doi:10.26493/1855-3974.329.82d. ISSN 1855-3974.
- ↑ Reese, Tyler M.; Fehribach, Joseph D.; Paffenroth, Randy C.; Servatius, Brigitte (2018). "Matrices over finite fields and their Kirchhoff graphs". Linear Algebra and its Applications. 547: 128–147. doi:10.1016/j.laa.2018.02.020. ISSN 0024-3795.
- ↑ 4.0 4.1 Wang, Jessica; Fehribach, Joseph D. (2022). "Prime, Composite and Fundamental Kirchhoff graphs". arXiv:2207.11435.
- ↑ Reese, Tyler M.; Fehribach, Joseph D.; Paffenroth, Randy C.; Servatius, Brigitte (2019). "Uniform Kirchhoff graphs". Linear Algebra and its Applications. 566: 1–16. doi:10.1016/j.laa.2018.12.018. ISSN 0024-3795.
- ↑ Fehribach, Joseph D. (2019). "Kirchhoff graph uniformity". Congressus Numerantium. 233: 143–150.
This article "Kirchhoff graph" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Kirchhoff graph. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.