Draft:Kirchhoff graph
Submission declined on 26 July 2023 by Primefac (talk).
Where to get help
How to improve a draft
You can also browse Wikipedia:Featured articles and Wikipedia:Good articles to find examples of Wikipedia's best writing on topics similar to your proposed article. Improving your odds of a speedy review To improve your odds of a faster review, tag your draft with relevant WikiProject tags using the button below. This will let reviewers know a new draft has been submitted in their area of interest. For instance, if you wrote about a female astronomer, you would want to add the Biography, Astronomy, and Women scientists tags. Editor resources
| ![]() |
Comment: References are entirely from one author (along with co-authors of course) which indicates this is a specialist subject and not necessarily a notable topic (i.e. receiving significant/widespread coverage). Primefac (talk) 07:37, 26 July 2023 (UTC)
Comment: WikiProject Mathematics is being requested to review. Robert McClenon (talk) 04:26, 26 July 2023 (UTC)
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
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 : where is the vector whose entries are the vectors, is the coefficient matrix, and the multiplication here is the row vector of vectors dotted with each of the columns of the matrix whose upper block is and whose lower block is the negative of the identity matrix.
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 where is row-equivalent to but has integer entries. The rows of form a basis for the row space of , while the columns of form a basis for the null space of . By the rank–nullity theorem for the row space and the null space of a matrix, these two bases can be combined and viewed as a basis for either or . Also as with vector above, because of the orthogonality of the rows and columns, . So regardless of which vector space the come from, the columns of can be used as a canonical representation for the .
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 So here . Again the columns of represent the vectors . The four smallest Kirchhoff graphs in this case are:[4]
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
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
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
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] The stoichiometric matrix for this network is then and this row-reduces to
![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/76/DiamondKG.pdf/page1-220px-DiamondKG.pdf.jpg)
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
- ^ a b 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.
- ^ a b 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.
- ^ a b 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.
Category:Graph theory Category:Matrices Category:Stoichiometry
- in-depth (not just passing mentions about the subject)
- reliable
- secondary
- independent of the subject
Make sure you add references that meet these criteria before resubmitting. Learn about mistakes to avoid when addressing this issue. If no additional references exist, the subject is not suitable for Wikipedia.