Skip to main content
Course and syllabus guidance

University Quantum Field Theory I · topic UQFTI-02.08

Wick's theorem for time-ordered products, proved by induction

Connect the ideas, make your working visible, and test the result. Use the hints when you need a starting point; open the full solution after your attempt.

Further practice

Work through a fresh case before tackling the extension.

Further practice · 01

Wick's theorem for time-ordered products, by induction: predict a finite change

Wick's theorem writes a time-ordered product of free fields as a sum over every way of choosing disjoint pairs among them: each term is the product of the chosen pairs' Feynman propagators times the normal-ordered product of the fields left unpaired. Use the supplied topic model Y_out = 1+n*(n-1)/2*(1+(n-2)*(n-3)/4*(1+(n-4)*(n-5)/6*(1+(n-6)*(n-7)/8*(1+(n-8)*(n-9)/10)))), where Y_out is TERMS IN T(φ₁ … φₙ) (terms). The output symbol Y_out is distinct from all input symbols. ^ denotes a power; π = 3.141592653589793. n is Number of fields n, dimensionless. Keep no other adjustable input fixed. For this exercise use only 2 ≤ n ≤ 10, at the specified test settings separated by 1. A grid of test settings is an input restriction for this exercise, not by itself a claim of physical quantisation. This calculation retains the topic model's stated assumptions; it does not extend them to a different physical setup. Calculate Y_out at n = 4 and 5. Find the signed output change ΔY_out and the average sensitivity ΔY_out/Δn across this interval. State whether the response increases or decreases; explain why a finite difference between these settings does not require interpolation between them.

Explore the question data

TERMS IN T(φ₁ … φₙ) against n

Predictions from the supplied Wick's theorem for time-ordered products, by induction model, with all other inputs fixed as stated in the question. 5 calibration points support a trend comparison; they are not measured data or a straight-line law.

Vertical axis (y): TERMS IN T(φ₁ … φₙ) / terms

TERMS IN T(φ₁ … φₙ) against nPredictions from the supplied Wick's theorem for time-ordered products, by induction model, with all other inputs fixed as stated in the question. 5 calibration points support a trend comparison; they are not measured data or a straight-line law. Horizontal axis: n: Number of fields n. Vertical axis: TERMS IN T(φ₁ … φₙ) / terms. Exact values are available in the data table below.-377.821864749731298761.683.8468.1610.32xy

Horizontal axis (x): n: Number of fields n

Axes show the supplied calibration interval; the origin may lie outside the plot.

Reading 1n: Number of fields n: 2TERMS IN T(φ₁ … φₙ) / terms: 2
Read the exact data as a table
TERMS IN T(φ₁ … φₙ) against n — supplied values
n: Number of fields nTERMS IN T(φ₁ … φₙ) / terms
22
410
676
8764
109496

These are the supplied values, not a worked answer. No fitted trend is drawn.

Show a hint

Substitute each value of n separately while keeping every other input fixed, then subtract in the same order.

Reveal the worked solution
  1. At n = 4, substitute into Y_out = 1+n*(n-1)/2*(1+(n-2)*(n-3)/4*(1+(n-4)*(n-5)/6*(1+(n-6)*(n-7)/8*(1+(n-8)*(n-9)/10)))): Y₀ = 10 terms.
  2. At n = 5, the same fixed-parameter model gives Y₁ = 26 terms.
  3. Signed change: ΔY_out = Y₁ − Y₀ = 16 terms; the input change is Δn = 1.
  4. Average sensitivity is ΔY_out/Δn = 16 terms per unit input. Its positive sign means that this response increases over the specified interval.
  5. This finite difference compares two specified test settings without interpolating between them. A point derivative is not required. Any quantum numbers or particle counts must also obey their physical admissibility conditions.

Answer Y₀ = 10 terms, Y₁ = 26 terms; ΔY_out = 16 terms; average sensitivity = 16 terms per unit input.

Compare the assumptions, method and units with your attempt. Explain any correction before trying another question.

Extra challenging questions

Work through the linked stages and explain what each result means.

Extra challenging · 01

Wick's theorem for time-ordered products, by induction: infer an input with uncertainty

Wick's theorem writes a time-ordered product of free fields as a sum over every way of choosing disjoint pairs among them: each term is the product of the chosen pairs' Feynman propagators times the normal-ordered product of the fields left unpaired. Use the supplied topic model Y_out = 1+n*(n-1)/2*(1+(n-2)*(n-3)/4*(1+(n-4)*(n-5)/6*(1+(n-6)*(n-7)/8*(1+(n-8)*(n-9)/10)))), where Y_out is TERMS IN T(φ₁ … φₙ) (terms). The output symbol Y_out is distinct from all input symbols. ^ denotes a power; π = 3.141592653589793. n is Number of fields n, dimensionless. Keep no other adjustable input fixed. For this exercise use only 2 ≤ n ≤ 10, at the specified test settings separated by 1. A grid of test settings is an input restriction for this exercise, not by itself a claim of physical quantisation. This calculation retains the topic model's stated assumptions; it does not extend them to a different physical setup. A reading gives Y_out = 232 terms, with a bounded reading uncertainty ±759.52 terms. Treat the model and all fixed inputs as exact for this exercise; the bound is not a standard deviation. Determine every allowed value of n consistent with that bound. Compare with a straight-line interpolation between the two endpoint predictions, and explain why a fractional setting may be inadmissible. Do not assume that the supplied calibration points prove monotonicity outside this branch.

Explore the question data

TERMS IN T(φ₁ … φₙ) against n

Predictions from the supplied Wick's theorem for time-ordered products, by induction model, with all other inputs fixed as stated in the question. 5 calibration points support a trend comparison; they are not measured data or a straight-line law.

Vertical axis (y): TERMS IN T(φ₁ … φₙ) / terms

TERMS IN T(φ₁ … φₙ) against nPredictions from the supplied Wick's theorem for time-ordered products, by induction model, with all other inputs fixed as stated in the question. 5 calibration points support a trend comparison; they are not measured data or a straight-line law. Horizontal axis: n: Number of fields n. Vertical axis: TERMS IN T(φ₁ … φₙ) / terms. Exact values are available in the data table below.-377.821864749731298761.683.8468.1610.32xy

Horizontal axis (x): n: Number of fields n

Axes show the supplied calibration interval; the origin may lie outside the plot.

Reading 1n: Number of fields n: 2TERMS IN T(φ₁ … φₙ) / terms: 2
Read the exact data as a table
TERMS IN T(φ₁ … φₙ) against n — supplied values
n: Number of fields nTERMS IN T(φ₁ … φₙ) / terms
22
410
676
8764
109496

These are the supplied values, not a worked answer. No fitted trend is drawn.

Show a hint

Enumerate the permitted settings in the stated range, evaluate Y_out at each, and retain every setting satisfying |Y_out − Y_measured| ≤ u. The plotted predictions are supplied calibration evidence.

Reveal the worked solution
  1. Endpoint predictions are Y_out(2) = 2 terms and Y_out(10) = 9496 terms. The target lies between them. On the selected branch the response is strictly increasing.
  2. Endpoint interpolation gives n_line = 2 + (232 − 2)(10 − 2)/(9496 − 2) = 2.19381. This estimates the inverse of the endpoint chord, rather than assuming that chord is the physical model.
  3. Evaluate the model at each permitted setting. The central reading corresponds to n = 7; only the allowed settings 2, 3, 4, 5, 6, 7, 8 lie inside the stated reading bound.
  4. The interpolation error in the input is |n_line − n| = 4.80619.
  5. The compatible allowed values span 2 to 8. Values between specified test settings are outside this exercise's input domain even if an interpolation passes through them.
  6. The quoted output bound restricts which specified settings remain compatible. It does not change physical restrictions on quantum numbers or counts, and the chosen grid alone does not establish physical quantisation.

Answer Compatible n: 2, 3, 4, 5, 6, 7, 8. Endpoint interpolation predicts 2.19381; check admissibility against the discrete settings.

Compare the assumptions, method and units with your attempt. Explain any correction before trying another question.