Feynman diagram
From Academic Kids

A Feynman diagram is a bookkeeping device for performing calculations in quantum field theory, invented by American physicist Richard Feynman. They are sometimes also referred to as Stückelberg diagrams or (for a subset of special cases) penguin diagrams.
Contents 
Motivation and history
The problem of calculating scattering cross sections in particle physics reduces to summing over the amplitudes of all possible intermediate states, in what is known as a perturbation expansion. These states can be represented by Feynman diagrams, which are much easier to keep track of than frequently tortuous calculations. Feynman showed how to calculate diagram amplitudes using socalled Feynman rules, which can be derived from the system's underlying Lagrangian. Each internal line corresponds to a factor of the corresponding virtual particle's propagator; each vertex where lines meet gives a factor derived from an interaction term in the Lagrangian, and incoming and outgoing lines provide constraints on energy, momentum and spin.
In addition to their value as a mathematical technology, Feynman diagrams provide deep physical insight to the nature of particle interactions. Particles interact in every way available; in fact, intermediate virtual particles are allowed to propagate faster than light. (This does not violate relativity for deep reasons; in fact, it helps preserve causality in a relativistic spacetime.) The probability of each outcome is then obtained by summing over all such possibilities. This is closely tied to the functional integral formulation of quantum mechanics, also invented by Feynman – see path integral formulation.
The naïve application of such calculations often produces diagrams whose amplitudes are infinite, which is undesirable in a physical theory. The problem is that particle selfinteractions are erroneously ignored. The technique of renormalization, pioneered by Feynman, Schwinger, and Tomonaga, compensates for this effect and eliminates the troublesome infinite terms. After renormalization has been carried out, calculations using Feynman diagrams often match experimental results with very good accuracy.
Feynman diagram and path integral methods are also used in statistical mechanics.
Alternative names
Murray GellMann always referred to Feynman diagrams as Stückelberg diagrams, after a Swiss physicist, Ernst Stückelberg, who devised a similar notation[1] (http://www.theatlantic.com/issues/2000/07/johnson.htm).
John Ellis was the first to refer to a certain class of Feynman diagrams as penguin diagrams, due in part to their shape, and in part to a legendary barroom bet with Melissa Franklin (the loser reportedly had to incorporate the term "penguin" into their next research paper). Thorsten Ohl's paper on generating Feynman diagrams with LaTeX (see #External links) illustrates their penguinlike shape.
Historically they were also called FeynmanDyson diagrams.
Interpretation
Feynman diagrams are really a graphical way of keeping track of deWitt indices much like Penrose's graphical notation for indices in multilinear algebra. There are several different types for the indices, one for each field (this depends on how the fields are grouped; for instance, if the up quark field and down quark field are treated as different fields, then there would be different type assigned to both of them but if they are treated as a single multicomponent field with "flavors", then there would only be one type). The edges, (i.e. propagators) are tensors of rank (2,0) in deWitt's notation (i.e. with two contravariant indices and no covariant indices), while the vertices of degree n are rank n covariant tensors which are totally symmetric among all bosonic indices of the same type and totally antisymmetric among all fermionic indices of the same type and the contraction of a propagator with a rank n covariant tensor is indicated by an edge incident to a vertex (there is no ambiguity in which "slot" to contract with because the vertices correspond to totally symmetric tensors). The external vertices correspond to the uncontracted contravariant indices.
A derivation of the Feynman rules using Gaussian functional integrals is given in the functional integral article.
Each Feynman diagram on its own does not have a physical significance. It's only the infinite sum over all possible (bubblefree) Feynman diagrams which gives physical results. Unfortunately, this infinite sum is only asymptotically convergent.
Mathematical details
In an effort at clarity, this explanation of a Feynman graph has been phrased in physical terms, in which each field is composed of particles  as an electromagnetic field is composed of photons. Those who would apply Feynman diagrams in other subjects or categories should translate the explanation with an appropriate isomorphism.
A Feynman graph is a finite, partially directed, colored pseudograph which satisfies certain conditions.("Pseudograph" means the graph can have loops and multiple edges; "partially directed" means, in general, some edges are directed and others are not). Each edge represents a segment of the world line of a particle. There are two kinds of vertex: External vertices represent single particles entering or exiting the reaction as a whole, and so they have degree 1. The color of an edge or an exterior vertex will represent the type of particle. Internal vertices represent interactions, involving more than one particle; and so have degree more than one. The color of an internal vertex will represent the type of interaction.
Thus, there is a set of field labels, one for each type of field; also a set of interaction labels, one for each permitted type of interaction. Depending on the type of field, field labels may or may not be orientable. These labels are the colors of the graph.
Both edges and vertices are colored. Internal vertices are colored with the interaction label corresponding to the interaction they represent; similarly, edges are colored with field labels. The edges with orientable field labels (and only those) are directed; give the label the same direction as its edge. An external vertex is colored with the field label of its incident edge (and if the field label is orientable, with a head or a tail).
Each type of interaction must involve the right number of the right type of particles. To represent this, each interaction label has a matching condition: an ordered set of field labels. (The two directions of orientable labels are counted as distinct.)
An internal vertex, which is colored with an interaction label, satisfies the matching condition of its color if the vertex has degree equal to the size of the matching condition (as a set); and the incident edges can be ordered so that their labels are equal to the matching condition (as an ordered set). Loops are counted twice; once with each orientation.
A pseudograph is a Feynman graph if it is finite, partially directed, and colored, such that: Every edge is colored with a field label; an edge is directed if and only if its color is orientable. There are no isolated vertices; each vertex of degree 1 is colored with the field label (and orientation, if any) of its incident edge; every vertex of degree more than one is colored with an interaction label and satisfies the corresponding matching condition.
An automorphism of a Feynman graph is a map from the graph onto itself which preserves the coloring and the graph structure (both the orientation of edges and their incidence with vertices). The size of the automorphism group is called the symmetry factor.
A Feynman graph decomposes uniquely into a union of connected components. A vacuum bubble is a connected component without any external vertices . (A Feynman graph without any vacuum bubbles is a bubbleless graph.) A tadpole is a connected component with only one external vertex. The external vertices (each with its single incident edge) are legs.
We analyse the connected components of a Feynman graph as follows: Define a relation weakly connected between the vertices: two vertices are weakly connected if and only if no edge can be cut so as separate the vertices. (In graph theory, this is weakly 2lineconnected.)
The following lemmata are then obvious, at least in the sense of Laplace:
 Weak connection is an equivalence relation.
 An edge connects different equivalence classes if and only if it is a bridge.
 There is at most one bridge connecting any two different equivalence classes.
 Each external vertex is the only element of its equivalence class.
A one particle irreducible (1PI) subgraph of a Feynman graph is the subgraph induced by an equivalence class which is not an external vertex.
 A Feynman graph is the edgedisjoint union of its external vertices, one particle irreducible subgraphs, and bridges.
The reduced graph of a Feynman graph is the graph produced by identifying all equivalent vertices (that is, each vertex with all other vertices weakly connected to it). The points of the reduced graph are the external vertices and the one particle irreducible subgraphs of the Feynman graph; its edges are the bridges.
 The reduced graph of a Feynman graph is a forest. It is a tree if and only if the Feynman graph is connected.
Isolated vertices of the reduced graph are bubbles. Any other tree in the forest can be simplified by:
 if any nonexternal vertex has degree 1 (and is not directly adjacent to an external vertex), removing it and its incident edge; or
 if any vertex has degree 2, replacing it and its incident edges by a single edge (which joins the vertices adjacent to the original vertex);
and repeating as often as possible. Neither kind of simplication can change the external vertices. Eventually a tree will be left with no vertices of either kind.
The resulting simplified tree is unique; it does not depend on the order of simplification. It will have the same number of legs as the corresponding component of the original Feynman graph. If this component had no legs, it was a bubble; the simplified tree will be a single vertex. If it had one leg, it was a tadpole; the simplified tree will have exactly one edge connecting two vertices (the graph K_{2}). If it had at least 2 legs, every other vertex of the simplified tree will have degree at least three.
Numerical evaluation
The model will assign operators: one to each interaction label (called coupling constants), and one to each field label (called bare propagators). The initial conditions provide a position/momentum for each external vertex. Contraction of these will result in a value for each graph; computation of this value often requires some regularization.
Usually, in quantum field theory and statistical mechanics, each of the operators is just a multiplication by a complex constant, so the value is their product, effectively also a complex number. In other applications, the value will be more general.
The correlation function is the sum over all bubbleless Feynman graphs (with the given external vertices and positions/momenta) of the values computed for each graph, each divided by its symmetry factor. There are almost always infinitely many such graphs and, usually, this sum does not converge, but instead gives an asymptotic series in the coupling constants.
Because every such graph can be reduced uniquely into a forest of reduced trees, we can use a two step procedure to compute the correlation function.
 1. sum over 1PI graphs to get the one particle irreducible correlation functions.
 2. compute the tadpole correlation functions and 2point connected correlation functions.
 3. using the intermediate values obtained from steps 1 and 2, sum over the reduced trees to get the npoint connected correlation functions
 4. look at the forests and compute the correlation function from the connected correlation functions
Because the sum is not convergent in general, much less absolutely convergent, there might be some problems with the rearrangement. In the usual derivations of the feynman rules using perturbation theory, the infinite series is summed in the order of the power of the coupling constants (in other words, according to the number of vertices) while the 1PI method performs the summation in a different order. This has led to some occasional subtleties.
Examples
Beta decay
To the right is the Feynman diagram for beta decay. The straight lines in the diagrams represent fermions, while the wavy line represents virtual bosons. In this particular case, the diagram is set in the manifold spacetime, where the ycoordinate is time and the xcoordinate is space; the xcoordinate also represents the "location" for some interaction (think collision) of particles. As time runs along the ycoordinate of the diagram, the neutrino looks as if it is moving against or backwards in time. But using such notation only means that that fermion is not the particle travelling backwards in time but its antiparticle travelling forwards in time. Hence the particle labelled neutrino is, in fact, an antineutrino. This method works very well for all particles and antiparticles.
QED
In QED, there are two field labels, called "electron" and "photon". "Electron" is oriented while "photon" is unoriented. There is only one interaction label with degree 3 called "γ" to which is assigned a "photon", an "electron" "head" and an "electron" "tail".
Real φ^{4}
In (real) φ^{4}, there is only one field label, called "φ" which is unoriented. There is also only one interaction label with degree 4 called "λ" to which is assigned four "φ"'s.
Missing image
Phi4_feynrules.png
Image:phi4_feynrules.png
See also
External links
 WikiTeX (http://wikisophia.org/wiki/Wikitex_Feyn) supports editing Feynman diagrams directly in Wiki articles.
 AMS article: "What's New in Mathematics: Finitedimensional Feynman Diagrams" (http://www.ams.org/newinmath/cover/feynman1.html)
 Drawing Feynman diagrams with LaTeX (http://cnlart.web.cern.ch/cnlart/221/node63.html) and METAFONT, from a CERN sitede:FeynmanDiagramm