Feynman Diagrams for Scalar Field Theories

Position-space Feynman rules turn each term of a correlation function's perturbation series into a picture and back: D_F(a − b) for every line joining points a and b, and −iλ with ∫d⁴z over all spacetime for every φ⁴ vertex z, divided by the diagram's symmetry factor. Use the supplied topic model Y_out = (cut*sqrt(cut*cut+1)-ln(cut+sqrt(cut*cut+1)))/(8*pi*pi), where Y_out is D_F(0)/m² WITH CUTOFF (dimensionless). The output symbol Y_out is distinct from all input symbols. ^ denotes a power; π = 3.141592653589793; sqrt(x) means √x; ln(x) means the natural logarithm. cut is Cutoff on |p|, Λ/m, dimensionless. Keep lam (Coupling λ) = 0.6; s (Probe separation m r) = 2 fixed. For this exercise use only 1.74375 ≤ cut ≤ 7.25625 on this continuous branch. 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 = 0.30696864, with a bounded reading uncertainty ±0.041899. Treat the model and all fixed inputs as exact for this exercise; the bound is not a standard deviation. First estimate the unknown cut by straight-line interpolation between the two endpoint predictions. Then solve the actual model on the stated branch to an absolute input tolerance of 0.00055125, using a numerical bracket if required. Find the full input interval consistent with the bounded reading uncertainty and compare it with a symmetric input-error assumption. Do not assume that the supplied calibration points prove monotonicity outside this branch.

A diagram's symmetry factor S is the number of ways to permute its vertices, and the line ends at each vertex, that give back exactly the same contraction, every line end still paired with the same partner and external points held fixed; the diagram enters the series with weight 1/S. Use the supplied topic model Y_out = 0.5+1/ss, where Y_out is λ² COEFFICIENT (EXACT 0.667) (dimensionless). The output symbol Y_out is distinct from all input symbols. ^ denotes a power; π = 3.141592653589793. ss is Sunset symmetry factor S, dimensionless. Keep st (Tadpole symmetry factor S) = 1 fixed. For this exercise use only 1 ≤ ss ≤ 12, 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 = 0.625, with a bounded reading uncertainty ±0.073333. Treat the model and all fixed inputs as exact for this exercise; the bound is not a standard deviation. Determine every allowed value of ss 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.

A vacuum bubble is a piece of a diagram joined to none of the external points; summed over every number of copies, the bubbles multiply each diagram by the same factor exp(Σᵢ Vᵢ), which is exactly the Gell-Mann-Low denominator, so they cancel. Use the supplied topic model Y_out = 20*2.60958*lc^4*box^3/197.327, where Y_out is PHASE E₀t AT t = 20 fm/c (rad). The output symbol Y_out is distinct from all input symbols. ^ denotes a power; π = 3.141592653589793. lc is Cutoff Λ on ⟨φ²⟩, measured in GeV. Keep box (Box side L) = 3 fm; nb (Bubbles kept N) = 2 fixed. For this exercise use only 0.574375 GeV ≤ lc ≤ 1.12562 GeV on this continuous branch. 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 = 4.9108875 rad, with a bounded reading uncertainty ±0.62005 rad. Treat the model and all fixed inputs as exact for this exercise; the bound is not a standard deviation. First estimate the unknown lc by straight-line interpolation between the two endpoint predictions. Then solve the actual model on the stated branch to an absolute input tolerance of 0.000055125 GeV, using a numerical bracket if required. Find the full input interval consistent with the bounded reading uncertainty and compare it with a symmetric input-error assumption. Do not assume that the supplied calibration points prove monotonicity outside this branch.

The connected four-point function is the four-point correlation function minus every product of lower correlation functions; in φ⁴ that means minus the three products of two-point functions, which leaves exactly the diagrams joining all four external points into one piece. Use the supplied topic model Y_out = gap/(0.197327/m*sqrt(1.25-cos(10.13546*m))), where Y_out is 2 → 2 STRETCH ÷ REST (dimensionless). The output symbol Y_out is distinct from all input symbols. ^ denotes a power; π = 3.141592653589793; sqrt(x) means √x; unmarked trigonometric functions use radians. m is Mass m, measured in GeV. Keep z0 (Vertex time cz⁰) = 0.25 fm; gap (Gap between the pairs c(t₃ − t₂)) = 4 fm fixed. For this exercise use only 0.174375 GeV ≤ m ≤ 0.615375 GeV on this continuous branch. 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 = 7.4212541, with a bounded reading uncertainty ±0.67216. Treat the model and all fixed inputs as exact for this exercise; the bound is not a standard deviation. First estimate the unknown m by straight-line interpolation between the two endpoint predictions. Then solve the actual model on the stated branch to an absolute input tolerance of 0.0000441 GeV, using a numerical bracket if required. Find the full input interval consistent with the bounded reading uncertainty and compare it with a symmetric input-error assumption. Do not assume that the supplied calibration points prove monotonicity outside this branch.