Tadpole diagram

A perturbative loop graph or loop subgraph attached to the rest of a Feynman graph through one line, with its physical contribution set by the surrounding calculation.

Version

v1 · 2026-10-25 · History

Domain-specific #

14448

Domain group

Natural Sciences

Origin domain

Physics

Subdomains

Quantum Field Theory, Perturbation Theory, Quantum Many Body Theory → Physics

Aliases

Tadpole Physics

Core Idea

A tadpole diagram is a recognizable loop shape in a perturbative Feynman calculation: a closed internal contribution joins the rest of the graph through one attachment.^[1][2] Sometimes the entire drawing is a one-point scalar graph.^[1] In other calculations it is a loop subgraph of a larger two-point graph.^[2] The physical quantity corrected comes from the surrounding lines, fields and Feynman rules, not from the tadpole silhouette alone. Goodsell and Paßehr work with scalar tadpoles in vacuum minimization.^[1] Bruus and Flensberg call a Hartree self-energy diagram tadpole-shaped even though the full graph has two external fermion lines.^[2]

The one-attachment relation, not a universal vacuum interpretation, makes these uses members of one diagram family. A scalar one-point tadpole may contribute to the derivative of an effective potential.^[1] A fermion loop attached to an electron line can yield a Hartree self-energy.^[2] These are different mathematical outputs. The same topological label does not license transferring a Higgs vacuum prescription to an electron gas.

Structural Signature

Sig role-phrases: closed loop — single attachment — surrounding graph — theory-specific amplitude — physical readout.

• Closed loop. Internal propagators close on themselves. Removing that closure gives a tree insertion rather than the loop topology at issue. Both the scalar and Hartree calculations evaluate loop contributions.^[1][2]

• Single attachment. One line ties the loop to the rest of the drawing. In the Hartree case it is an interaction line between the fermion loop and an electron propagator; the Fock exchange topology is a distinct comparison.^[2]

• Surrounding graph. External legs and fields determine which observable or correlator contains the loop. A scalar one-point calculation and an electron two-point self-energy cannot be substituted merely because one subgraph looks similar.^[1][2]

• Amplitude evaluation. Couplings, propagators and loop integration or summation assign a value to the shape. Goodsell and Paßehr write scalar tadpole contributions through effective-potential derivatives; Bruus and Flensberg derive the Hartree term from their interaction and particle density.^[1][2]

• Physical readout. The evaluated scalar graph enters a vacuum stationarity condition in one setting.^[1] In the electron-gas setting the result is a self-energy, which may cancel against a positive-background contribution in the stated model.^[2]

What It Is Not

The diagram type is not identical to a no-tadpole renormalization condition. Goodsell and Paßehr use the scalar tadpole equations to eliminate a mass parameter in favor of a chosen vacuum value and loop derivatives; this is a calculation-specific treatment of scalar tadpole terms, not the definition of every tadpole-shaped loop.^[1] It is also not a promise that every tadpole correction survives, vanishes, or has the same sign. Those outcomes require the fields, interactions, regulator, and subtraction convention of a particular calculation.

A tree-level one-point insertion has one external leg but lacks the loop. Conversely, the Hartree diagram has two external fermion legs as a whole, yet its attached closed loop is still called tadpole-shaped. Counting the whole graph's external legs without identifying the loop subgraph therefore misclassifies one of the documented uses.^[2]

Scope of Application

In scalar field calculations, tadpole terms can enter the derivative of a loop-corrected effective potential and the stationarity equation for a chosen vacuum.^[1] Goodsell and Paßehr formulate this for neutral scalars and develop general two-loop results; their treatment does not make the whole diagram family one-loop-only.^[1]

In condensed-matter many-body perturbation theory, the Hartree self-energy of an interacting electron gas provides a different habitat. Bruus and Flensberg draw the relevant tadpole-shaped self-energy and obtain a Hartree contribution equal to \(W(0)N/V\) in their notation.^[2] They then discuss why a compensating positive background removes that term in their electron-gas model.^[2] The calculation's full external-leg count and physical readout differ from the scalar one-point case.

Coleman and Glashow's 1964 publisher abstract also describes symmetry-breaking tadpole diagrams in a strong-interaction model.^[3] It directly supports that bounded historical use, while it cannot by itself establish that it was the first or an influential use.

Clarity

Ask what is being labeled: a whole one-point graph, or a loop subgraph inside a larger diagram? Then ask which quantity is calculated. A scalar tadpole function can be related to the vacuum condition; the Hartree loop contributes to a two-point self-energy. The same word can name a topology across these calculations without making their observables interchangeable.^[1][2]

The word “one” can refer to one attachment line, one external scalar leg in a common subtype, or one loop order. These are distinct counts. The article's identity uses one attachment; the number of external legs in the full graph and the perturbative loop order must be specified separately.

Manages Complexity

The graphical label compresses a complicated calculation into a recognizable substructure. It lets a physicist locate terms with a single attached loop before evaluating the complete amplitudes. Yet the compression hides critical distinctions: scalar versus fermion fields, one-point versus two-point functions, and vacuum shifts versus self-energy corrections. The label is most useful when carried with the surrounding graph and rules rather than interpreted as an answer by itself.^[1][2]

Abstract Reasoning

Start with the full Feynman graph and mark the closed loop. Check whether it joins the remainder through one line. Next identify the external legs, field types and quantity whose perturbative expansion is being computed. Evaluate the amplitude under that theory's propagators, vertices, regulator and renormalization convention. Only then decide whether the result enters a scalar vacuum condition, a fermion self-energy, or another quantity. The Hartree example shows why topology recognition must precede, but cannot replace, interpretation.^[2]

A claimed zero deserves the same discipline. The frozen source makes a broad dimensional-regularization claim for many massless theories, but that needs a separately verified scaleless-integral scope. Neither positive worked case licenses the unqualified assertion that tadpole graphs vanish whenever a theory is massless.

Knowledge Transfer

Within physics, the one-attachment loop recognition carries from scalar quantum field theory to many-body electron calculations. The amplitudes and observables do not travel with the drawing: Goodsell and Paßehr's effective-potential derivative and Bruus and Flensberg's Hartree self-energy have different carriers and conditions.^[1][2] A looped icon in a workflow chart would be a visual analogy, not an instance of this perturbative diagram type.

Examples

Canonical: neutral-scalar vacuum tadpole

Goodsell and Paßehr express loop corrections to the scalar effective potential and relate their derivatives to tadpole terms in vacuum minimization.^[1] In their stated scheme, a tadpole equation expresses the mass parameter \(\mu^2\) using the chosen vacuum value and tadpole derivatives; this is the source-exact step, not a claim that a counterterm fixes the VEV.^[1] Mapped back: the loop supplies the perturbative scalar contribution; the scalar one-point setting and surrounding field theory determine the amplitude; the physical readout is the stationarity equation.^[1]

Applied: electron-gas Hartree self-energy

Bruus and Flensberg's Hartree diagram contains a closed fermion loop attached by one interaction line to an electron propagator.^[2] They evaluate the self-energy as \(W(0)N/V\) and compare it with the Fock exchange term.^[2] Mapped back: the loop and one attachment retain the tadpole shape; the two external fermion lines make the whole graph a self-energy diagram; its value and cancellation in the stated background model are not a Higgs vacuum shift.^[2]

Structural Tensions

T1: Narrow whole-graph identity vs broad subgraph identity. Defining a tadpole only as a scalar one-point graph makes vacuum calculations precise but wrongly excludes the attested Hartree loop. Calling every roughly looped attachment a tadpole captures more diagrams but can falsely import the scalar VEV readout into a two-point self-energy. The workable boundary names the loop subgraph and then states the full graph's external legs and rules. Diagnostic: Does the claimed instance have the one-attachment perturbative loop, and is its physical readout assigned from its own surrounding graph?^[1][2]

T2: Early topology grouping vs full amplitude evaluation. Grouping tadpole-shaped contributions before calculation makes a complicated perturbation expansion easier to organize, but risks assuming equal values or universal cancellation. Waiting for full field-specific amplitudes protects the physical result, yet can hide the recurring one-attachment pattern that makes the terms recognizable together. Diagnostic: Is the current decision only to classify the diagram, or to assert its numerical or vacuum effect?^[1][2]

T3: Domain autonomy vs structural reduction. Reducing the entry to any graph-theoretic loop on one edge makes the skeleton easy to transfer, but admits drawings with no propagators, vertices, or perturbative amplitude. Treating only one physics calculation as the whole identity protects local meaning but loses the genuine scalar-to-Hartree recurrence. Diagnostic: Does the proposed instance preserve the perturbative diagram roles while allowing its physical readout to differ?^[1][2]

Structural–Framed Character

The tadpole identity lies toward the structural side within physics: the one-attachment loop relation is recognized in both scalar and Hartree calculations.^[1][2] Its evaluative weight is zero; the term does not praise a diagram or rank one physical theory above another. Its human-practice dependence is real but limited: physicists choose which full graph or subgraph to name and apply conventional Feynman rules, while the resulting topology and amplitude are testable under those rules. Its institutional origin is disciplinary nomenclature, not an institution's authority conferring truth. Its vocabulary travel outside physics can mean a looped icon or abstract lollipop graph, but that is an analogy or a stripped skeleton, not a literal perturbative tadpole. Under an import-versus-recognition test, the pattern is recognized in a new physical calculation only when a one-attachment loop with valid propagators and vertices is present; importing the word into a nonphysical chart does not create such an instance. Its character: a structural domain abstraction with a portable graph skeleton and irreducible perturbative meaning.

Structural Core vs. Domain Accent

The skeletal structure is a closed loop attached to a larger graph through one line. The existing Network Prime owns the portable node, typed-edge, and connectivity structure; this tadpole diagram is one physics-specific realization of it. The domain accent is the assignment of propagators, interactions, external fields and loop amplitudes to the graph. A generic loop icon or graph-theoretic lollipop does not itself compute a scalar tadpole or Hartree term. These two unlike examples remain inside physics; they do not establish a new substrate-independent Prime.

Instantiates / Related Primes

This entry is a decomposition of Network.

Live Perturbation Theory and Renormalization are relevant catalog concepts, but this shape alone does not carry their full methods as direct strict parents. The scalar no-tadpole condition is a particular renormalization treatment, not every occurrence of the shape. The single reviewed direct edge is a strict decomposition to Network; the official prospective graph confirmed one new node and edge with zero cycles.

Relationships to Other Abstractions

Current abstraction Tadpole diagram Domain-specific

Parents (1) — outgoing typed relations

• Tadpole diagram is a decomposition of Network Prime

  The loop and its one-line attachment retain a graph connectivity pattern after the physics interpretation is removed.

Hierarchy path (1) — routes to 1 parentless root

• Tadpole diagram → is a decomposition of Network

Neighborhood in Abstraction Space

Tadpole diagram sits in a sparse region of the domain-specific corpus (82^nd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2769 abstractions)

Nearest neighbors

• Random-Phase Approximation — 0.83
• Heteroclinic Cycle — 0.82
• Quantum Walk — 0.82
• Diffuson — 0.81
• Slater Determinant — 0.81

Computed from structural-signature embeddings · 2026-10-25

Not to Be Confused With

Fock exchange uses a different self-energy topology from the Hartree tadpole-shaped contribution in Bruus and Flensberg.^[2] No-tadpole condition names a scalar vacuum prescription in Goodsell and Paßehr, not the whole diagram family.^[1] Historical priority and the 1985 naming anecdote in the frozen article remain source-held; the inspected 1964 publisher abstract supports only Coleman and Glashow's stated strong-interaction use.^[3]

References

[1] Mark D. Goodsell and Sebastian Paßehr (2020), “All two-loop scalar self-energies and tadpoles in general renormalisable field theories,” European Physical Journal C 80, 417, §1.1, equations (6)–(7). https://link.springer.com/article/10.1140/epjc/s10052-020-7657-8 . Original open-access research article inspected. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p ↩q ↩r ↩s ↩t ↩u ↩v

[2] Henrik Bruus and Karsten Flensberg (2002), Introduction to Many-body Quantum Theory in Condensed Matter Physics, §12.6.1, printed pp. 209–210, PDF p. 224, equations (12.28)–(12.29), and §12.6.2 for Fock comparison. https://www.phys.lsu.edu/~jarrell/COURSES/ADV_SOLID_HTML/Other_online_texts/Many-body%20quantum%20theory%20in%0Acondensed%20matter%20physics%0AHenrik%20Bruus%20and%20Karsten%20Flensberg.pdf . Authors' full teaching monograph inspected; this is a worked source, not original Hartree discovery research. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p ↩q ↩r ↩s ↩t ↩u ↩v ↩w ↩x

[3] Sidney Coleman and S. L. Glashow (1964), “Departures from the Eightfold Way: Theory of Strong Interaction Symmetry Breakdown,” Physical Review 134, B671–B681. https://journals.aps.org/pr/abstract/10.1103/PhysRev.134.B671 . Original publisher abstract inspected; full article not used to establish influence or priority. registry ↩a ↩b