QFT anchor 01

What is a particle if reality is a field?

Begin with objects you can see and calculate: masses joined by springs. Their collective motions become independent modes. In the continuum limit those modes become waves in a field, and quantization turns their energy steps into particles.

Current objectiveExplain why one spring-mass oscillator repeats and conserves energy.

Evidence needed: prediction, calculation, explanation.

Dependency path

Branch map from motion to later arcs

Mastery-paced branches
Primary spine

Oscillators to renormalization

Main investigation spine

The original QFT-first investigation remains the main sequential backbone through free-field foundations and perturbative control.

  1. One oscillatorClassical mechanics
Branch A

Symmetry, spinors, and gauge structure

Branches from Renormalization
From RenormalizationContinues as a side arc

This arc grows out of renormalized field language into global symmetry, spinors, local gauge structure, Yang-Mills theory, and Standard Model organization.

Branch B

Alternative formulation branch

Branches from Interaction picture and Dyson series and reconnects at Local gauge symmetry and QED
From Interaction picture and Dyson seriesRejoins at Local gauge symmetry and QED

The path-integral route branches from interaction-picture material and feeds into the gauge arc rather than replacing it.

Support bridge

Symmetry support bridge

Branches from Lagrangian density and reconnects at Locality, commutators, and causality
From Lagrangian densityRejoins at Locality, commutators, and causality

Support studios on canonical variables, Lorentz invariance, and continuous symmetry reinforce the variational and locality interpretation branches.

Support bridge

Measurement support bridge

Branches from Lagrangian density and reconnects at Quantized modes
From Lagrangian densityRejoins at Quantized modes

A support studio on states, operators, and measurement opens before quantized modes and clarifies the eigenvalue boundary.

Support bridge

Relativistic dispersion bridge

Branches from Quantized modes and reconnects at One-particle wave packets
From Quantized modesRejoins at One-particle wave packets

A support studio on relativistic energy and Klein-Gordon frequency clarifies how on-shell mode frequencies feed particle-energy interpretation.

Branch C

Statistical field theory branch

Branches from Normal modes
From Normal modesContinues as a side arc

Thermal ensembles split off early from mode language and support later condensed-matter and statistical-field directions.

Foundation studioBefore many coordinates, make one coordinate fully legible.
One oscillator
Concept 01 · One oscillator

Why does a spring repeat?

Active

A mass attached to a spring has one coordinate, x(t)x(t): its signed displacement from equilibrium at time tt. Positive and negative values name opposite sides of the same equilibrium point.

Velocity v=dx/dtv=dx/dt is how quickly displacement changes. Acceleration a=dv/dt=d2x/dt2a=dv/dt=d^2x/dt^2 is how quickly velocity changes. The notation d/dtd/dt means a derivative with respect to time: a local rate of change.

01

Point back toward equilibrium

Hooke's law says the spring force is proportional to displacement and points the opposite way. The stiffness kk has units newtons per meter.

Fspring=kxF_{\mathrm{spring}}=-kx

If x>0x>0, then F<0F<0. Ifx<0x<0, then F>0F>0. The minus sign encodes a restoring direction, not negative energy.

02

Turn force into an equation of motion

Newton's second law is F=maF=ma. Substituting acceleration and the spring force gives a second-order ordinary differential equation: an equation involving the second time derivative.

mx¨=kxx¨+kmx=0m\ddot{x}=-kx\quad\Rightarrow\quad \ddot{x}+\frac{k}{m}x=0

The double dot means x¨=d2x/dt2\ddot{x}=d^2x/dt^2. The equation says acceleration is always proportional tox-x.

03

Find the repeating solution

Cosine returns to itself after one cycle, and differentiating it twice returns the negative of the original function. That matches the ODE when ω2=k/m\omega^2=k/m.

x(t)=Acos(ωt+ϕ),ω=km,T=2πωx(t)=A\cos(\omega t+\phi),\qquad \omega=\sqrt{\frac{k}{m}},\qquad T=\frac{2\pi}{\omega}

AA is amplitude, the largest displacement; ϕ\phi sets the starting phase; ω\omega is radians per second; and TT is seconds per cycle.

Interactive model 00

Mass, spring, and phase

Motion, force, phase space, and energy from one oscillator state

Position and restoring forceHorizontal mass-spring oscillatorA mass moves left and right about equilibrium while an arrow points in the restoring-force direction.x = 0mF = -kx
Phase spaceOscillator phase-space ellipseThe horizontal axis is displacement and the vertical axis is velocity normalized by angular frequency.xv/ω
Energy exchange
Kinetic
0.000 J
Spring potential
1.440 J
Total
1.440 J
Kinetic Potential
Harmonic motion
x(t)=Acos(ωt+ϕ),ω=kmx(t)=A\cos(\omega t+\phi),\qquad \omega=\sqrt{\frac{k}{m}}

The same state sets the mass position, force, phase-space point, and energy split. Total mechanical energy remains E = ½kA² throughout the motion.

Grounded tutor

Ask about one oscillator

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeRestoring force, harmonic motion, phase, period, and conserved energy

Unsupported claims are returned as uncertainty, not invented citations.

Conserved quantity

Motion trades two forms of energy

At a turning pointSpring potential is largest

The mass pauses at x=A|x|=A, so v=0v=0 and U=12kA2U=\tfrac12 kA^2.

At equilibriumKinetic energy is largest

At x=0x=0 the spring is unstretched and speed has magnitude AωA\omega.

At every phaseTotal energy stays fixed

E=12mv2+12kx2=12kA2E=\tfrac12mv^2+\tfrac12kx^2=\tfrac12kA^2. No damping means no energy leaves the oscillator.

Concept 01 mastery evidence

Make one cycle explain itself

0 of 3 passed
Predict

Increase the inertia

Keep the spring fixed and multiply the mass by four. Predict the factor by which the period TT changes.

Calculate

Recover the natural frequency

For m=2kgm=2\,\mathrm{kg} and k=18Nm1k=18\,\mathrm{N\,m^{-1}}, calculateω=k/m\omega=\sqrt{k/m}.

Explain

Connect force, motion, and energy

Explain the minus sign in F=kxF=-kx, howF=maF=ma determines acceleration, and how kinetic and spring potential energy exchange during one cycle.

Concept 01 record

Foundation evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Bridge to Concept 02A normal mode is one harmonic oscillator hidden inside many coordinates.
Normal modes
Concept 02 · Normal modes

Many coordinates, one clean basis

Ready

One mass needs one coordinate, x(t)x(t). A chain of NN masses needs an entire vector, x(t)\mathbf{x}(t). The original coordinates tell us where each mass is. The normal-mode coordinates tell us which collective patterns are present.

This is a change of basis, not a new physical system. We choose directions in configuration space that the restoring-force matrix does not mix. Along each special direction, the full chain behaves like one simple harmonic oscillator.

01

Measure local curvature

The mass at site jj is pulled by its two neighbors. Their forces combine into a second finite difference.

mx¨j=k(xj+12xj+xj1)m\ddot{x}_j=k\left(x_{j+1}-2x_j+x_{j-1}\right)

If neighboring displacements lie on a straight line, the bracket vanishes. Curvature is what creates acceleration.

02

Separate shape from time

Try a motion whose spatial profile stays fixed while one amplitude changes in time.

xj(t)=ej(r)qr(t)x_j(t)=e_j^{(r)}q_r(t)

The vector e(r)\mathbf{e}^{(r)} is a mode shape; qrq_r is its generalized coordinate.

03

Diagonalize the coupling

An eigenvector returns parallel to itself when the stiffness matrix acts on it. That removes all other coordinates.

Ke(r)=mωr2e(r)q¨r+ωr2qr=0K\mathbf{e}^{(r)}=m\omega_r^2\mathbf{e}^{(r)}\quad\Rightarrow\quad\ddot q_r+\omega_r^2q_r=0

Each mode now evolves independently. This same move later turns a free field into independent momentum-space oscillators.

Interactive model 01

Fixed-end oscillator chain

Transverse displacement in a single normal mode

Normal mode 1 of a 7-mass chainThe masses move above and below equilibrium with the eigenvector shape of the selected normal mode.1234567
Positive NegativeDashed line: equilibrium
Fixed-end mode frequency
ωr=2kmsin ⁣(rπ2(N+1))\omega_r = 2\sqrt{\frac{k}{m}}\sin\!\left(\frac{r\pi}{2(N+1)}\right)

Increasing k raises every frequency; increasing m lowers every frequency. Changing r changes the spatial eigenvector itself.

Grounded tutor

Ask about normal modes

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeNormal modes and the oscillator-to-field bridge

Unsupported claims are returned as uncertainty, not invented citations.

Mastery evidence

Make the model answerable

0 of 3 passed
Predict

Change the inertia

Before moving the mass slider, predict the factor by which every frequency changes when each mass is multiplied by four.

Calculate

Recover one frequency

For N=3N=3, r=2r=2, m=1kgm=1\,\mathrm{kg}, and k=16Nm1k=16\,\mathrm{N\,m^{-1}}, calculate the angular frequency.

Explain

Name what disappeared

Explain why the normal coordinates do not contain terms such as q1q2q_1q_2, and name a condition under which mode coupling returns.

Transfer bridges

The same structure, new physical meaning

Solids and heat

Lattice modes become phonons when the normal coordinates are quantized.

Direct extension
Radio and cavities

Boundary conditions select electromagnetic standing-wave modes.

Same mathematics
Quantum computing

Superconducting circuits engineer oscillator modes and their couplings.

Engineered analogue
Learning record

Evidence, not seat time

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Phase languageNormal coordinates now need a compact language for phase.
Complex waves
Concept 03 · Complex waves

One rotation, two projections

Locked

A cosine tells us the value of an oscillator. A rotating complex number stores that cosine together with its quarter-cycle companion, sine. The pair keeps amplitude and phase in one object.

This does not add a second physical displacement. For a classical wave we may take the real part as the measured displacement. The imaginary part is a bookkeeping direction that makes phase shifts, derivatives, and later Fourier sums easier to calculate.

01

Add a perpendicular number line

A complex number z=a+ibz=a+ib is a point with horizontal coordinate aa and vertical coordinate bb. The symbol iimarks that perpendicular axis.

i2=1,z=a+ibi^2=-1,\qquad z=a+ib

Multiplying by ii rotates a point by one quarter turn: 1i1i1\mapsto i\mapsto -1\mapsto -i.

02

Read rotation as coordinates

On a circle of radius AA, cosine is the horizontal projection and sine is the vertical projection. Euler's formula gives this rotating point a compact name.

Aeiθ=Acosθ+iAsinθAe^{i\theta}=A\cos\theta+iA\sin\theta

The number e2.718e\approx2.718is the natural exponential base. Its power series separates into cosine's even powers and iitimes sine's odd powers. One full turn is 2π2\pi radians.

03

Let phase vary through space and time

The wave number kk counts radians per meter; angular frequency ω\omega counts radians per second. The wavelength λ\lambda is distance per cycle, ff is cycles per second, andϕ\phi is the phase atx=t=0x=t=0.

θ=kxωt+ϕ,k=2πλ,ω=2πf\theta=kx-\omega t+\phi,\quad k=\frac{2\pi}{\lambda},\quad \omega=2\pi f

Increasing position advances phase. Increasing time subtracts phase, so a constant-phase crest moves toward positive xx.

Interactive model 02

Phase laboratory

One complex value, shown as a rotation and two wave projections

Visible projection
Complex plane at selected xComplex phase vectorA vector with real horizontal coordinate and imaginary vertical coordinate rotates with the selected wave phase.ReImθ
Two wavelengths at current tReal and imaginary wave projectionsThe cosine real component and sine imaginary component are one quarter cycle apart and share the selected complex phase.0λ0.5λ1λ1.5λ2λ
Real · cosine Imaginary · sineGold line: selected position
Traveling complex wave
ψ(x,t)=Aeiθ,θ=kxωt+ϕ\psi(x,t)=A e^{i\theta},\qquad \theta=kx-\omega t+\phi

The arrow, cosine trace, and sine trace all use this same phase. Holding phase fixed gives x=(ω/k)t+constant, so the minus sign makes the pattern move toward increasing x.

Do not conflate the symbols

Same complex notation, different physical meaning

HereComplex phasor

ψ=Aeiθ\psi=Ae^{i\theta} stores amplitude and phase. Its real and imaginary parts are two quadratures of one oscillation. The magnitude ψ=A|\psi|=Ais the arrow's length.

Classical measurementReal displacement

A detector may measure Reψ=Acosθ\operatorname{Re}\psi=A\cos\theta. The imaginary axis is not another direction in physical space.

Later in quantum mechanicsProbability amplitude

Only when a normalized complex function is declared a wavefunction does ψ2|\psi|^2 represent probability density. That interpretation is not automatic here.

Grounded tutor

Ask about complex waves

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeComplex phase, traveling waves, and representation boundaries

Unsupported claims are returned as uncertainty, not invented citations.

Concept 03 mastery evidence

Make phase carry meaning

0 of 3 passed
Predict

Rotate one quarter turn

Begin with Aeiθ=AAe^{i\theta}=A at θ=0\theta=0. Increase the phase by π/2\pi/2. Predict the new real and imaginary projections.

Calculate

Convert distance into phase

A wave has wavelength λ=4m\lambda=4\,\mathrm{m}. Calculate its wave number k=2π/λk=2\pi/\lambda.

Explain

Separate notation from physics

Explain why kxωtkx-\omega t describes motion toward positive xx, what the imaginary component does in this classical representation, and why ψ2|\psi|^2 is not automatically a probability density.

Concept 03 record

Phase-language evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Spectral synthesisDelocalized modes combine into localized structure.
Fourier synthesis
Concept 04 · Fourier synthesis

Profile and spectrum are one state in two views

Locked

A localized profile can be represented by many extended basis waves. Fourier synthesis does not choose one view as more physical: the profile and coefficient spectrum encode the same finite state.

Translation in space is a clean diagnostic. The profile moves, while each coefficient keeps its magnitude and rotates phase by a mode-dependent angle. Parseval then confirms that profile and spectral norms agree under one declared normalization.

01

Define periodic basis modes

On a periodic domain, each integer label gives one basis wave number and one complex basis function.

kn=2πnL,en(x)=eiknxk_n=\frac{2\pi n}{L},\qquad e_n(x)=e^{ik_nx}
02

Project and reconstruct with one normalization

Orthogonality isolates coefficients, while finite synthesis rebuilds the profile from the retained band.

ϕN(x)=n=NNcneiknx,cn=1L0Lϕ(x)eiknxdx\phi_N(x)=\sum_{n=-N}^{N}c_ne^{ik_nx},\qquad c_n=\frac{1}{L}\int_0^L\phi(x)e^{-ik_nx}\,dx
03

Interpret translation and Parseval correctly

Translation rotates phases without changing magnitudes, and Parseval equates norms under this convention.

ϕ(xΔx)=n(cneiknΔx)eiknx,1L0LϕN2dx=ncn2\phi(x-\Delta x)=\sum_n\left(c_ne^{-ik_n\Delta x}\right)e^{ik_nx},\quad \frac{1}{L}\int_0^L|\phi_N|^2dx=\sum_n|c_n|^2
Interactive model 03

Profile and spectrum laboratory

One coefficient state drives profile shape, spectrum, translation, and Parseval readouts

Target and reconstructed profileThe dashed curve is the selected target profile. The solid curve is the finite Fourier reconstruction.0.00π0.50π1.00π1.50π2.00π
Reconstruction Target profile (dashed)
Parseval
1L0LϕN(x)2dx=n=NNcn2\frac{1}{L}\int_0^L|\phi_N(x)|^2\,dx=\sum_{n=-N}^{N}|c_n|^2

These readouts compare both sides for the current finite mode set.

Finite spectrum

Mode magnitudes and phases

N = 8
Mode|c_n|arg(c_n)
-80.0006.283 rad
-70.0013.142 rad
-60.0046.283 rad
-50.0193.142 rad
-40.0566.283 rad
-30.1063.142 rad
-20.1340.000 rad
-11.0000.000 rad
00.1110.000 rad
+11.0000.000 rad
+20.1340.000 rad
+30.1063.142 rad
+40.0560.000 rad
+50.0193.142 rad
+60.0040.000 rad
+70.0013.142 rad
+80.0000.000 rad

Translating the profile by Δx\Delta x rotates each coefficient by eiknΔxe^{-ik_n\Delta x} while preserving its magnitude.

Interpretation boundary

Coefficient labels are not operator labels

HereClassical Fourier coefficient

cnc_n stores amplitude and phase for one basis wave in a finite classical representation.

LaterQuantum mode operator

A quantized mode uses operator-valued amplitudes and commutators. Sharing an index does not make the objects identical.

AlwaysNormalization matters

Parseval comparisons and coefficient values depend on the chosen normalization convention and domain definition.

Grounded tutor

Ask about Fourier synthesis

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopePeriodic Fourier basis, finite synthesis-analysis, translation phases, and Parseval boundaries

Unsupported claims are returned as uncertainty, not invented citations.

Concept 04 mastery evidence

Reason across profile and spectrum

0 of 3 passed
Predict

Translate without changing spectral magnitude

Translate a profile by Δx\Delta x. Predict what changes in the coefficients' magnitudes and phases.

Calculate

Recover low-mode coefficients

For ϕ(x)=1+2cos(2πx/L)\phi(x)=1+2\cos(2\pi x/L), recover  c0,  c1,  c1\;c_0,\;c_1,\;c_{-1}using this lesson's Fourier convention.

Explain

Connect localization, phase, and Parseval

Explain why localized profiles generally require many modes, why relative phases matter, and what Parseval's identity says without claiming it automatically defines physical energy.

Concept 04 record

Fourier synthesis evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Discrete to continuousRefine the lattice while keeping physical scales fixed.
Continuum field
Concept 05 · Continuum field

A lattice equation becomes a PDE under controlled scaling

Locked

The continuum limit is not a symbol swap from index to coordinate. It is a scaling statement: lattice spacing shrinks while we keep the physical profile and wave speed fixed, so the centered second difference approaches a spatial second derivative.

Long-wavelength lattice modes track continuum dispersion well. High-kk lattice modes do not. This boundary is part of the model, not a numerical accident.

01

Start from the scaled lattice equation

q¨j=c2a2(qj+12qj+qj1)\ddot q_j=\frac{c^2}{a^2}(q_{j+1}-2q_j+q_{j-1})

The factor c2/a2c^2/a^2 is the scaling choice that keeps wave speed fixed as spacing changes.

02

Take the continuum limit with fixed physical profile

ϕ(x+a,t)2ϕ(x,t)+ϕ(xa,t)a2x2ϕ\frac{\phi(x+a,t)-2\phi(x,t)+\phi(x-a,t)}{a^2}\longrightarrow \partial_x^2\phi

Refinement changes resolution, not the modeled object.

03

Compare lattice and continuum dispersion

ωa(k)=2casinka2,ω(k)=ck  for  ka1\omega_a(k)=\frac{2c}{a}\left|\sin\frac{ka}{2}\right|,\qquad \omega(k)=c|k|\;\text{for}\;|ka|\ll1

Long wavelengths approach continuum behavior; high-kk modes retain lattice character.

Interactive model 04

Lattice-to-field explorer

Compare discrete lattice evolution with continuum wave evolution at fixed physical profile

Lattice and continuum field overlaySolid line is continuum profile. Points are lattice node displacements sampled at the same time.0.001.573.144.716.28
Continuum profile Lattice nodesFixed physical profile under refinement

Lattice dispersion uses ωa(k)=2casin(ka/2)\omega_a(k)=\frac{2c}{a}|\sin(ka/2)|, while continuum dispersion uses ω(k)=ck\omega(k)=c|k|.

Interpretation boundary

Refinement is not identity of all spectra

Valid claimLong-wavelength agreement

When ka1|ka|\ll1, lattice and continuum frequencies are close.

Invalid claimAll-k equivalence

High-kk lattice modes do not satisfyω=ck\omega=c|k| accurately.

Required statementWhat is held fixed

Continuum limits require explicit fixed quantities, including wave speed and physical profile.

Grounded tutor

Ask about continuum fields

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeSecond differences, continuum scaling, lattice dispersion, and long-wavelength limits

Unsupported claims are returned as uncertainty, not invented citations.

Concept 05 mastery evidence

Bridge lattice dynamics to the PDE field

0 of 3 passed
Predict

Refine the lattice spacing

At fixed physical kk and fixed  c\;c, predict what happens to lattice-continuum frequency discrepancy when aa is halved.

Calculate

Recover continuum angular frequency

For c=3ms1c=3\,\mathrm{m\,s^{-1}} and  k=2radm1\;k=2\,\mathrm{rad\,m^{-1}}, compute  ω=ck\;\omega=c|k|.

Explain

Explain the continuum limit boundary

Explain how the centered second difference becomes  x2ϕ\;\partial_x^2\phi, what must stay fixed in refinement, and why high-kk lattice modes do not follow continuum dispersion accurately.

Concept 05 record

Continuum-limit evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Support bridge Q01Basis states, operators, and measurement outcomes must stay distinct before the oscillator ladder structure is introduced.
Quantum states and operators
Support Q01 · Quantum mechanics

States, operators, and measurement boundaries

Locked

A quantum state stores amplitudes. An operator acts on that state. Measurement returns an outcome tied to the operator's eigenstructure.

Keeping those roles separate matters before the canonical-quantization oscillator picture is built.

01

State vector

ψ=a00+a11|\psi\rangle = a_0|0\rangle + a_1|1\rangle
02

Operator action

O^n=λnn\hat O|n\rangle = \lambda_n|n\rangle
03

Boundary

The state, the operator, and the measurement outcome are distinct roles.

Support model Q01

Quantum states, operators, and measurement laboratory

Compare state amplitudes, operator eigenvalues, and the expectation-value boundary in a two-basis proxy.

State and operator proxyTwo-basis probability weights and operator eigenvalue proxy for a normalized state.basis 00.64basis 10.36
Operator
O^n=λnn\hat O|n\rangle = \lambda_n |n\rangle

The state basis and the operator's eigenstructure stay distinct.

Grounded tutor

Ask about states and operators

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeTwo-basis state vectors, diagonal operators, expectation values, and the measurement boundary

Unsupported claims are returned as uncertainty, not invented citations.

Support Q01 mastery evidence

State and operator reasoning

0 of 3 passed
Predict

Predict operator action

Predict what happens when a basis eigenstate is acted on by the operator in this support proxy.

Calculate

Compute an expectation value

Use the amplitudes and eigenvalues to compute the expectation-value proxy.

Explain

Explain the measurement boundary

Explain why the state, the operator, and the measurement outcome are distinct roles.

Support Q01 record

State/operator evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Support bridge Q02Ordered operator action must be explicit before the canonical commutator and uncertainty boundary are used downstream.
Commutator ordering
Support Q02 · Quantum mechanics

Commutators and uncertainty

Locked

A commutator compares two operator orderings. When the order changes the result, the operators do not commute.

That noncommutation is the boundary signal behind simultaneous sharpness limits in the uncertainty story.

01

Ordered difference

[A^,B^]=A^B^B^A^[\hat A,\hat B] = \hat A\hat B - \hat B\hat A
02

Noncommutation

Swapping the operators changes the result when the bracket is nonzero.

03

Uncertainty boundary

Noncommuting observables do not admit arbitrarily sharp simultaneous values in one basis.

Support model Q02

Commutators and uncertainty laboratory

Compare ordered operator action, commutator magnitude, and the uncertainty boundary in a finite proxy.

Commutator proxyOrdered operator contributions and the resulting commutator magnitude.order AB10.00order BA3.00
Commutator
[A^,B^]=A^B^B^A^[\hat A,\hat B] = \hat A\hat B - \hat B\hat A

The ordered difference is the quantity that exposes noncommutation.

Grounded tutor

Ask about commutators

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeOrdered operator action, basic commutators, and the boundary behind uncertainty

Unsupported claims are returned as uncertainty, not invented citations.

Support Q02 mastery evidence

Commutator and uncertainty reasoning

0 of 3 passed
Calculate

Evaluate a basic commutator

Compute the ordered difference that defines the bracket in this support model.

Explain

Explain noncommutation

Explain why reversing operator order changes the result.

Explain

Explain the uncertainty boundary

Explain why noncommuting observables resist simultaneous sharp values in the same basis.

Support Q02 record

Commutator evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Support bridge Q03One quantum oscillator must be understood as a ladder of mode excitations before the full free-field mode tower is quantized.
Quantum oscillator ladder
Support Q03 · Quantum mechanics

Quantum harmonic oscillator

Locked

Ladder operators organize the energy spectrum of one oscillator into equally spaced levels.

That ladder structure prepares the mode-by-mode quantization picture, but it is still not a localized particle story by itself.

01

Raising action

a^n=n+1n+1\hat a^\dagger |n\rangle = \sqrt{n+1}\,|n+1\rangle
02

Lowering action

a^n=nn1\hat a |n\rangle = \sqrt{n}\,|n-1\rangle
03

Energy ladder

En=ω(n+12)E_n = \hbar\omega\left(n+\tfrac12\right)
Support model Q03

Quantum harmonic oscillator laboratory

Track ladder action, equal level spacing, and the vacuum offset before those ingredients are lifted to field modes.

Oscillator energy ladderEnergy levels of a one-mode quantum harmonic oscillator with equal spacing.n=01.5n=14.5n=27.5n=310.5n=413.5
Oscillator
En=ω(n+12)E_n = \hbar\omega\left(n+\tfrac12\right)

Neighboring energy levels differ by exactly one fixed step.

Grounded tutor

Ask about the quantum oscillator

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeSingle-oscillator ladder operators, equal energy spacing, and the boundary between a mode ladder and localization

Unsupported claims are returned as uncertainty, not invented citations.

Support Q03 mastery evidence

Quantum oscillator reasoning

0 of 3 passed
Predict

Predict one ladder step

Apply the raising operator once and describe the new occupation, coefficient, and energy step.

Calculate

Describe the spectrum

Use the oscillator spectrum to identify the vacuum offset and the spacing between levels.

Explain

Explain the model boundary

Explain why the oscillator ladder does not by itself produce a localized particle picture.

Support Q03 record

Oscillator evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Support bridge M07Canonical variables bridge the variational and Hamiltonian descriptions before quantization.
Legendre transforms and canonical variables
Support M07 · Variational mechanics

Legendre transform and canonical variables

Locked

This support concept turns the Lagrangian description into canonical variables without changing the underlying field content.

The Hamiltonian density is a reformulation of the same dynamics, not a new law.

01

Canonical momentum

p=L/ϕ˙p=\partial\mathcal{L}/\partial\dot\phi
02

Hamiltonian proxy

H=pϕ˙L\mathcal{H}=p\dot\phi-\mathcal{L}
03

Boundary

The canonical rewrite preserves the dynamics while changing the variables.

Support model M07

Legendre transforms and canonical variables laboratory

Compare the Lagrangian and Hamiltonian proxy forms while keeping canonical variables separate from the Euler-Lagrange boundary.

Legendre
p=Lϕ˙,H=pϕ˙Lp=\frac{\partial \mathcal{L}}{\partial \dot\phi},\quad \mathcal{H}=p\dot\phi-\mathcal{L}

The Hamiltonian proxy stays finite when the canonical transform is well posed.

Grounded tutor

Ask about canonical variables

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeLegendre transforms, canonical momentum, Hamiltonian density, and the stationarity boundary

Unsupported claims are returned as uncertainty, not invented citations.

Support M07 mastery evidence

Legendre transform reasoning

0 of 3 passed
Predict

Predict canonical momentum

Predict what variable is paired with the time derivative in the Legendre transform of the Lagrangian proxy.

Calculate

Compute the Hamiltonian proxy

Use the sample field state to identify the canonical momentum and Hamiltonian density proxy.

Explain

Explain the canonical-variable boundary

Explain why the Legendre transform changes variables without replacing the Euler-Lagrange field equation.

Support M07 record

Canonical-variable evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Support bridge R01Lorentz invariance keeps spacetime symmetry explicit before the later gauge and causality branches.
Lorentz invariance support
Support R01 · Relativity

Interval symmetry and boost bookkeeping

Locked

This support concept treats Lorentz invariance as a spacetime symmetry statement and keeps it separate from local gauge dynamics.

The interval proxy and gamma bookkeeping are a bridge into the later field-theory stack, not a literal trajectory narrative.

01

Invariant interval

s2=t2x2s^2 = t^2 - x^2
02

Time dilation

t=γtt' = \gamma t
03

Boundary

Lorentz invariance is not the same object as local-gauge connection dynamics.

Support model R01

Lorentz invariance laboratory

Compare interval, time-dilation, and length-contraction proxies while keeping the spacetime-symmetry boundary explicit.

Lorentz invariance profileSelected profile across normalized boost index for the spacetime-symmetry proxy.0.000.200.400.600.801.00
Lorentz
s2=t2x2s^2 = t^2 - x^2

This proxy tracks interval invariance and boost bookkeeping.

Grounded tutor

Ask about Lorentz invariance

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeLorentz invariance interval proxies, gamma bookkeeping, and separation from local gauge dynamics

Unsupported claims are returned as uncertainty, not invented citations.

Support R01 mastery evidence

Lorentz-invariance reasoning

0 of 3 passed
Predict

Predict the invariant interval

Predict what remains invariant under a Lorentz boost in this support proxy.

Calculate

Compute gamma-based time dilation

Use gamma = 1/sqrt(1-v^2) with v = 0.3 and proper time 1.2 to compute the proxy.

Explain

Explain the symmetry boundary

Explain why Lorentz invariance is a spacetime symmetry statement and not local gauge dynamics or a literal trajectory story.

Support R01 record

Lorentz-invariance evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Variational mechanicsOne local density determines the field equation.
Lagrangian density
Concept 06 · Lagrangian density

Stationary action over field history

Locked

For a field, the action depends on the whole spacetime history, not one instant. Varying that history and requiring stationarity yields the Euler-Lagrange field equation.

This stationarity claim is precise but limited: it does not imply minimum instantaneous energy, and boundary terms vanish only when variation constraints are declared.

01

Declare density and action

L=ρ2(tϕ)2T2(xϕ)2ρΩ022ϕ2,S[ϕ]=dtdxL\mathcal{L}=\frac{\rho}{2}(\partial_t\phi)^2-\frac{T}{2}(\partial_x\phi)^2-\frac{\rho\Omega_0^2}{2}\phi^2,\quad S[\phi]=\int dt\,dx\,\mathcal{L}
02

Vary and integrate by parts

δS=dtdx[LϕtL(tϕ)xL(xϕ)]δϕ\delta S=\int dt\,dx\left[\frac{\partial\mathcal{L}}{\partial\phi}-\partial_t\frac{\partial\mathcal{L}}{\partial(\partial_t\phi)}-\partial_x\frac{\partial\mathcal{L}}{\partial(\partial_x\phi)}\right]\delta\phi

Boundary terms require explicit variation assumptions.

03

Recover field equation and dispersion

t2ϕc2x2ϕ+Ω02ϕ=0,ω2=c2k2+Ω02\partial_t^2\phi-c^2\partial_x^2\phi+\Omega_0^2\phi=0,\quad \omega^2=c^2k^2+\Omega_0^2

On-shell trials satisfy zero residual in the explorer.

Interactive model 05

Action and field-equation explorer

Track on-shell residuals and first-order action variation under trial-frequency changes

Euler-Lagrange residual across spaceResidual profile over one periodic interval. Zero line indicates on-shell satisfaction.0.00pi0.50pi1.00pi1.50pi2.00pi
E-L
t2ϕc2x2ϕ+Ω02ϕ=0\partial_t^2\phi-c^2\partial_x^2\phi+\Omega_0^2\phi=0

On-shell mode condition: omega^2 = c^2 k^2 + Omega_0^2.

Interpretation boundary

Stationary is not necessarily minimum

CorrectVariational stationarity

Field history satisfies Euler-Lagrange equation under admissible variations.

Incorrect shortcutIntegrand equals zero

Setting L=0\mathcal{L}=0 is not the derivation rule.

Always requiredBoundary assumptions

Boundary terms vanish only when variation constraints are explicitly declared.

Grounded tutor

Ask about Lagrangian density

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeScalar Lagrangian density, variation boundary terms, and Euler-Lagrange dispersion

Unsupported claims are returned as uncertainty, not invented citations.

Concept 06 mastery evidence

Reason from action to field equation

0 of 3 passed
Predict

Move trial frequency off shell

If trial ω\omega is moved away fromω2=c2k2+Ω02\omega^2=c^2k^2+\Omega_0^2, predict what happens to the Euler-Lagrange residual and first-order action stationarity.

Calculate

Recover canonical derivatives

From the declared L\mathcal{L}, computeL/(tϕ)\partial\mathcal{L}/\partial(\partial_t\phi) andL/(xϕ)\partial\mathcal{L}/\partial(\partial_x\phi), then state the field equation with signs intact.

Explain

Separate stationarity from minimum energy

Explain why action is a functional of full field history, why integration by parts introduces boundary terms, and why stationary action is not the same claim as minimum instantaneous energy.

Concept 06 record

Lagrangian-density evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Support bridge S01Continuous symmetry introduces Noether current bookkeeping that later supports locality and causality interpretation boundaries.
Continuous symmetry and Noether current
Support S01 · Continuous symmetry

Global symmetry and conserved-current structure

Locked

This support concept introduces global-symmetry conservation structure in a controlled Noether-current proxy.

Keep interpretation boundaries explicit: global-symmetry conservation is distinct from local-gauge connection dynamics and from literal trajectory narratives.

01

Global phase symmetry

ϕeiαϕ\phi\to e^{i\alpha}\phi
02

Continuity relation

tρ+xj=0\partial_t\rho + \partial_x j = 0
03

Boundary

Global Noether-current reasoning is not the same object as local-gauge connection dynamics.

Support model S01

Continuous-symmetry and Noether-current laboratory

Compare charge density, current density, and continuity residual proxies for a global-symmetry conservation model.

Noether current profileSelected profile across normalized phase index for the deterministic Noether-current proxy.0.000.200.400.600.801.00
Noether
tρ+xj=0\partial_t\rho + \partial_x j = 0

This proxy tracks conservation bookkeeping for global symmetry.

Grounded tutor

Ask about continuous symmetry and Noether current

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeGlobal phase symmetry, Noether current continuity bookkeeping, and boundaries versus local gauge dynamics

Unsupported claims are returned as uncertainty, not invented citations.

Support S01 mastery evidence

Continuous-symmetry Noether reasoning

0 of 3 passed
Predict

Predict global-phase invariance

Predict what remains invariant under a global phase rotation and identify what conservation channel is associated with it.

Calculate

Use a continuity relation

Given a declared density-current proxy pair, identify the continuity residual condition for conservation.

Explain

Explain global versus local boundaries

Explain why global-symmetry Noether-current reasoning is distinct from local-gauge connection dynamics.

Support S01 record

Noether-current evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Quantized free modesIndependent classical modes become independent quantum oscillators.
Quantized modes
Concept 07 · Quantized modes

From canonical coordinates to occupation spectrum

Locked

Once the free field is diagonalized into independent modes, each mode is quantized as a harmonic oscillator with canonical commutators and ladder operators.

Number states track occupation quanta by mode, but they are not localized particles by default. Localization needs superposition and measurement context.

01

Independent-mode Hamiltonian

H=r(pr22+ωr2qr22)H=\sum_r\left(\frac{p_r^2}{2}+\frac{\omega_r^2 q_r^2}{2}\right)
02

Canonical quantization

[q^r,p^s]=iδrs,[q^r,q^s]=[p^r,p^s]=0[\hat q_r,\hat p_s]=i\hbar\delta_{rs},\quad [\hat q_r,\hat q_s]=[\hat p_r,\hat p_s]=0
03

Ladder spectrum

H^=rωr(a^ra^r+12),ΔE=ωr\hat H=\sum_r\hbar\omega_r\left(\hat a_r^\dagger\hat a_r+\frac12\right),\quad \Delta E=\hbar\omega_r

One creation step raises one mode occupation and energy by exactly ωr\hbar\omega_r.

Interactive model 06

Quantized-mode laboratory

Occupation numbers, energy ladders, and operator actions for independent field modes

Mode r = 0

omega = 1.20, n = 0, E_r = 0.60

Included by cutoff
Mode r = 1

omega = 2.40, n = 0, E_r = 1.20

Included by cutoff
Mode r = 2

omega = 3.60, n = 0, E_r = 1.80

Included by cutoff
Mode r = 3

omega = 4.80, n = 0, E_r = 2.40

Included by cutoff
Spectrum
H^=rωr(a^ra^r+12)\hat H=\sum_r\hbar\omega_r\left(\hat a_r^\dagger\hat a_r+\frac12\right)

Finite cutoff keeps vacuum sums bounded in this model.

Classical comparisonMode amplitude

Continuous amplitude value in a classical oscillator picture.

Number stateDiscrete occupation n_r

Eigenstate of number operator, not a definite oscillating classical field profile.

Coherent-state previewExpectation-like analogue

A classical-looking expectation requires coherent-state assumptions, not bare number states.

Grounded tutor

Ask about quantized modes

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeFree-field mode Hamiltonian, canonical commutators, ladder operators, and finite-cutoff number spectra

Unsupported claims are returned as uncertainty, not invented citations.

Concept 07 mastery evidence

Reason in occupation-number language

0 of 3 passed
Predict

Apply one creation step

Apply a^r\hat a_r^\dagger once to a state with occupation nrn_r. Predict occupation and energy change.

Calculate

Energy above vacuum for two modes

Two independent modes have frequencies ω\omega and2ω2\omega with occupationsn1=2,  n2=1n_1=2,\;n_2=1. Compute energy above vacuum.

Explain

Separate mode labels from localized particles

Explain why free-field diagonalization gives independent quantum oscillators, what canonical commutators change, and why neither a grid point nor a single mode label is automatically a localized particle.

Concept 07 record

Quantized-mode evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Support bridge R02Relativistic dispersion fixes which mode frequencies are allowed before excitation language is interpreted as particle energy.
Relativistic dispersion
Support R02 · Relativistic field theory

Relativistic energy and the Klein-Gordon relation

Locked

For a free relativistic scalar mode, the allowed frequency is tied to momentum by the mass-shell relation.

That frequency relation constrains the mode spectrum, but one on-shell momentum label still does not by itself define a localized particle trajectory.

01

Relativistic shell

E2=p2c2+m2c4E^2=p^2c^2+m^2c^4
02

Mode frequency

ω=E/\omega = E/\hbar
03

Boundary

One mode frequency is not automatically a localized particle track.

Support model R02

Relativistic energy and Klein-Gordon laboratory

Link the mass-shell relation to the allowed mode frequency without collapsing one mode label into a localized particle.

Relativistic dispersion proxyMomentum, energy, and Klein-Gordon mode frequency linked by the relativistic mass shell.p4.00E14.42omega14.42
Mass shell
E2=p2c2+m2c4,ω=E/E^2 = p^2 c^2 + m^2 c^4,\qquad \omega = E/\hbar

The relativistic dispersion relation fixes the allowed mode frequency.

Grounded tutor

Ask about relativistic dispersion

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeRelativistic dispersion, Klein-Gordon mode frequency, and the boundary between on-shell modes and localization

Unsupported claims are returned as uncertainty, not invented citations.

Support R02 mastery evidence

Relativistic dispersion reasoning

0 of 3 passed
Predict

Predict the dispersion shift

Predict how the on-shell mode frequency changes when momentum grows at fixed mass.

Calculate

Compute the mode frequency

Use the relativistic mass shell to compute the Klein-Gordon mode frequency.

Explain

Explain the boundary

Explain why relativistic dispersion fixes frequency without making one mode label a localized trajectory.

Support R02 record

Relativistic-dispersion evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Excitation interpretationParticle language emerges from quantized field occupation and measurement context.
Field excitation
Concept 08 · Field excitation

From quantized modes to one-particle packets

Locked

In the free-field model, particle language refers to quantized mode excitation. One-particle packets are normalized superpositions over mode creation operators, not localized classical lumps.

A key boundary is operational: a number state can keep nonzero occupation and energy while the field expectationϕ^\langle\hat\phi\rangle is zero.

01

Vacuum and number operator

a^r0=0,N^r=a^ra^r\hat a_r|0\rangle=0,\qquad \hat N_r=\hat a_r^\dagger\hat a_r
02

One-particle packet

1f=rfra^r0,rfr2=1|1_f\rangle=\sum_r f_r\hat a_r^\dagger|0\rangle,\qquad \sum_r|f_r|^2=1
03

Energy above vacuum

HE0=rωrNr\langle H\rangle-E_0=\sum_r\hbar\omega_r\langle N_r\rangle

Occupation and energy can be nonzero while ϕ^\langle\hat\phi\rangle vanishes for number states.

Interactive model 08

Excitation and localization laboratory

Compare number states, one-particle packets, and coherent-state previews without conflating their meanings

One-particle amplitude profile proxyProbability-density-like profile from phased one-particle mode superposition.0.00pi0.50pi1.00pi1.50pi2.00pi
Packet
1f=rfra^r0,rfr2=1|1_f\rangle=\sum_r f_r\hat a_r^\dagger|0\rangle,\quad \sum_r|f_r|^2=1

Single-mode occupation is delocalized; superposition phases shape localization.

Mode 0 occupation and coefficient controls
n_0 = 1
Mode 1 occupation and coefficient controls
n_1 = 0
Mode 2 occupation and coefficient controls
n_2 = 0
Mode 3 occupation and coefficient controls
n_3 = 0
Number stateOccupation-defined excitation

Can have nonzero number and energy while field expectation is zero.

One-particle packetNormalized mode superposition

Localization proxy comes from superposition phases, not a single mode.

Coherent previewClassical-like expectation comparison

Displayed for interpretation contrast, not as default meaning of one-particle state.

Grounded tutor

Ask about field excitations

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeVacuum, number operators, one-particle superpositions, and interpretation boundaries between <phi>, amplitudes, and occupation

Unsupported claims are returned as uncertainty, not invented citations.

Concept 08 mastery evidence

Reason across state representations

0 of 3 passed
Predict

Number-state field expectation

For a one-particle number state, predict whetherϕ^(x,t)\langle\hat\phi(x,t)\rangle must look like a nonzero classical wave.

Calculate

Normalize and compute packet energy

With f1=1/2f_1=1/\sqrt2 andf2=i/2f_2=i/\sqrt2, verify normalization and computeHE0\langle H\rangle-E_0.

Explain

Explain particle-as-excitation interpretation

Explain why a particle is a field excitation, why localization needs mode superposition, and why one-particle amplitude is not a classical field profile.

Concept 08 record

Excitation evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Cumulative exit gateTrace one scientifically coherent chain from oscillators to field excitation.
Transfer synthesis
Investigation completion

Cumulative transfer explanation

Locked

This final task checks whether you can connect the full chain: oscillator dynamics, normal-mode and Fourier decompositions, continuum-field structure, canonical quantization, and particle-as-excitation interpretation boundaries.

The rubric is authored and deterministic. Passing requires explicit bridge reasoning and clear representation boundaries, not broad qualitative claims.

Cumulative transfer gate

Final transfer explanation rubric

0 of 3 passed
Transfer

Trace the derivation chain

Explain one coherent chain from oscillator equations to normal modes, then Fourier superposition, then continuum-field dynamics.

Transfer

Separate representation layers

Explain the boundary between classical field profiles, quantum states, one-particle amplitudes, and operator expectations.

Transfer

Synthesize the particle-as-excitation story

Deliver a final synthesis linking quantized occupation, localization by superposition, and the zero-field-expectation boundary.

Cumulative transfer record

Exit-gate evidence

Concept state
Active
Transfer submissions
Sign in to record
Next retrieval
After mastery
Free scalar extensionLocalized one-particle packets emerge from normalized mode superposition.
Wave packets
Concept 10 · One-particle wave packets

Localization, spread, and representation boundaries

Locked

One-particle wave packets are states in the one-excitation sector,1f=rfra^r0|1_f\rangle=\sum_r f_r\hat a_r^\dagger|0\rangle. Localization appears when multiple modes interfere coherently; a single occupied mode is delocalized.

Translation changes packet phases mode-by-mode while preserving coefficient magnitudes. Keep this object distinct from both classical field profiles and operator expectations such asϕ^\langle\hat\phi\rangle.

01

State construction

1f=rfra^r0,rfr2=1|1_f\rangle=\sum_r f_r\hat a_r^\dagger|0\rangle,\qquad \sum_r|f_r|^2=1
02

Free evolution

fr(t)=fr(0)eiωrtf_r(t)=f_r(0)e^{-i\omega_r t}
03

Translation

frfreikrΔxwithfr invariantf_r \to f_r e^{-ik_r\Delta x}\quad\text{with}\quad |f_r|\ \text{invariant}
Interactive model 10

One-particle packet laboratory

Build normalized mode superpositions, translate packets, and track spread proxies under free evolution

One-particle packet density proxyNormalized packet profile built from translated and freely evolved mode coefficients.0.00L0.25L0.50L0.75L1.00L
Packet
1f=rfra^r0,rfr2=1|1_f\rangle=\sum_r f_r\hat a_r^\dagger|0\rangle,\quad \sum_r|f_r|^2=1

Translation rotates mode phases while leaving coefficient magnitudes invariant.

Mode 0 coefficient
Mode 1 coefficient
Mode 2 coefficient
Mode 3 coefficient
Grounded tutor

Ask about one-particle wave packets

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeOne-particle packet construction, translation phase updates, spread proxies, and representation boundaries

Unsupported claims are returned as uncertainty, not invented citations.

Concept 10 mastery evidence

One-particle packet reasoning

0 of 3 passed
Predict

Translate a packet

When a one-particle packet is translated by Δx\Delta x, predict what changes in frf_r and what remains invariant.

Calculate

Normalize and compute spread proxy

Given a finite coefficient set, verify normalization and compute one declared spread proxy from the profile.

Explain

Representation boundary

Explain why localized one-particle packets require superposition, why single-mode occupation is delocalized, and why packet amplitude is not the same object asϕ^\langle\hat\phi\rangle or a classical field profile.

Concept 10 record

Packet evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Linear response extensionGreen functions invert the linear field operator and map source to response.
Propagators
Concept 11 · Green functions and propagators

Source-response kernels, not trajectories

Locked

A Green function is the inverse of a linear differential operator: it tells you how a source produces a response. In mode space the relation becomes multiplicative,

ϕr=GrJr\phi_r = G_r J_r
.

This is a response kernel, not a literal movie of a particle moving through spacetime. Scaling the source scales the response, and the kernel controls how strongly each mode is transmitted.

01

Inverse operator

(L)G=δ(\mathcal{L})G = \delta
02

Source response

ϕ=GJ\phi = G * J
03

Kernel in mode space

Gr=1/(kr2+μ2)G_r = 1/(k_r^2 + \mu^2)
Interactive model 11

Source-response laboratory

Compare source and response coefficients through a finite-mode Green-function kernel

Source and response profile proxyFinite-mode source coefficients and their Green-function response through a linear inverse kernel.0.00.20.40.60.81.0
Kernel
ϕr=GrJr,Gr=1kr2+μ2\phi_r = G_r J_r,\qquad G_r = \frac{1}{k_r^2 + \mu^2}

The response scales linearly with the source and is suppressed at larger kernel denominators.

Mode 0 source coefficient
J_0 = 1.00
Mode 1 source coefficient
J_1 = 0.70
Mode 2 source coefficient
J_2 = 0.40
Mode 3 source coefficient
J_3 = 0.20
Grounded tutor

Ask about Green functions and propagators

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeInverse operators, source-response kernels, and the boundary between propagators and trajectories

Unsupported claims are returned as uncertainty, not invented citations.

Concept 11 mastery evidence

Source-response reasoning

0 of 3 passed
Predict

Scale the source

If the source amplitude doubles, predict how the response through GG changes.

Calculate

Apply the kernel

Compute the response coefficient from a source coefficient and a kernel factor.

Explain

Explain the inverse operator

Explain why a Green function is an inverse operator / response kernel and why it is not a particle trajectory.

Concept 11 record

Green-function evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Causal boundary extensionLocality is encoded in commutators, not in an absence of field structure.
Locality
Concept 12 · Locality, commutators, and causality

Equal-time structure versus spacelike causality

Locked

In the free scalar field, the equal-time canonical boundary is nonzero for the field and its conjugate momentum, while the field-field commutator vanishes at spacelike separation. That is the locality/causality statement of this lesson.

Keep the operator commutator boundary separate from ordinary correlation functions. A vanishing spacelike commutator is a causality claim about influence, not a claim that every field statistic is zero.

01

Canonical boundary

[phi, pi] is nonzero at equal time.

02

Locality boundary

[phi, phi] vanishes spacelike in the free proxy.

03

Causality boundary

Commutator locality is not the same as correlationlessness.

Interactive model 12

Locality and commutator laboratory

Compare canonical equal-time commutators with the free-field spacelike locality boundary

Boundary
[ϕ^(x,t),π^(x,t)]=iδ(xx)[\hat\phi(x,t), \hat\pi(x',t)] = i\,\delta(x-x')
[ϕ^(x,t),ϕ^(x,t)]=0for spacelike separation[\hat\phi(x,t), \hat\phi(x',t)] = 0\quad\text{for spacelike separation}

Equal-time canonical structure stays nonzero, while spacelike locality vanishes in the free proxy.

Grounded tutor

Ask about locality, commutators, and causality

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeEqual-time canonical commutators, spacelike locality, and the distinction between causality and correlation

Unsupported claims are returned as uncertainty, not invented citations.

Concept 12 mastery evidence

Locality reasoning

0 of 3 passed
Predict

Equal-time versus spacelike

Predict which commutator vanishes and which remains nonzero when you compare equal-time and spacelike separation.

Calculate

Locality proxy

Given a finite separation and cutoff, identify which commutator boundary is forced to vanish in the free proxy.

Explain

Causality versus correlation

Explain why a vanishing spacelike commutator is a causality statement and why it does not mean all correlations vanish.

Concept 12 record

Causality evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Perturbative extensionFree evolution stays in H0 while the interaction picture organizes H_I perturbatively.
Dyson series
Concept 13 · Interaction picture and Dyson series

Free evolution versus time-ordered perturbation

Locked

In the interaction picture, the free Hamiltonian drives the operator evolution while the interaction Hamiltonian appears inside a time-ordered perturbation series. The Dyson expansion lets us truncate by order without pretending the truncated series is the exact history.

Keep the operator split, the time-ordering structure, and the perturbative cutoff separate. Doubling the coupling changes the interaction correction, but it does not rewrite the free evolution itself.

01

Operator split

H=H0+HIH = H_0 + H_I
02

Time ordering

UI(t)=Texp ⁣[i0tHI(t)dt]U_I(t)=\mathcal{T}\exp\!\left[-i\int_0^t H_I(t')\,dt'\right]
03

Perturbative cutoff

Truncation keeps only the declared Dyson orders, not a literal trajectory.

Interactive model 13

Interaction-picture laboratory

Separate free evolution from interaction evolution and inspect a truncated Dyson series

Truncated Dyson-series response proxyFree evolution and interaction correction compared across a finite Dyson cutoff.0.00.20.40.60.81.0
Dyson
UI(t)=Texp ⁣[i0tHI(t)dt]U_I(t)=\mathcal{T}\exp\!\left[-i\int_0^t H_I(t')\,dt'\right]

The free evolution stays separate from the interaction correction, which is truncated by order.

01

Free evolution

Operators evolve with the free Hamiltonian while the interaction is separated out.

02

Time ordering

The Dyson series orders interaction insertions before truncating to the chosen cutoff.

03

Perturbative boundary

A truncated series is bookkeeping, not a literal chronology of the system.

Grounded tutor

Ask about the interaction picture and Dyson series

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeInteraction-picture evolution, time ordering, and the perturbative Dyson expansion

Unsupported claims are returned as uncertainty, not invented citations.

Concept 13 mastery evidence

Interaction-picture reasoning

0 of 3 passed
Predict

Free versus interaction evolution

If the interaction strength doubles, predict what changes in HIH_I and what stays tied to the free evolution.

Calculate

Dyson truncation

Identify the leading truncated Dyson-series contribution for the declared order cutoff.

Explain

Explain the time-ordered expansion

Explain why the Dyson series is a perturbative time-ordered expansion rather than a literal history.

Concept 13 record

Dyson evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Diagrammatic extensionWick contractions organize perturbative terms; diagrams are bookkeeping, not movies.
Wick expansion
Concept 14 · Wick expansion and Feynman diagrams

Contractions, terms, and diagram bookkeeping

Locked

Wick expansion rewrites time-ordered products into contraction structures. Each allowed contraction pattern contributes a perturbative term, and diagram notation labels those organized contributions compactly.

Keep algebra and interpretation boundaries explicit: diagrams encode amplitude bookkeeping at fixed order, not literal paths followed by particles through spacetime.

01

Wick structure

T{ϕ1ϕn}=: ⁣ϕ1ϕn ⁣:+contractions\mathcal{T}\{\phi_1\cdots\phi_n\}=:\!\phi_1\cdots\phi_n\!:+\text{contractions}
02

Diagram mapping

Contraction classes map to diagram classes at each perturbative order.

03

Interpretation boundary

A diagram is a perturbative contribution label, not a microscopic movie.

Interactive model 14

Wick expansion laboratory

Track contraction-count proxies and diagram-weight organization across perturbative order

Wick expansion term-weight proxyPerturbative term weights organized by order for a fixed external-leg count.0.000.250.500.751.00
Wick
T{ϕ1ϕn}=: ⁣ϕ1ϕn ⁣:+contractions\mathcal{T}\{\phi_1\cdots\phi_n\}=:\!\phi_1\cdots\phi_n\!:+\text{contractions}

Diagram classes encode contraction bookkeeping within each perturbative order.

01

Operator ordering

Time-ordered products expand into normal-ordered pieces plus contractions.

02

Contraction bookkeeping

Contraction structure at each order maps to a diagram class.

03

Interpretation boundary

Diagrams organize amplitude contributions; they are not microscopic movies.

Grounded tutor

Ask about Wick expansion and Feynman diagrams

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeWick contractions, perturbative order bookkeeping, and diagram interpretation boundaries

Unsupported claims are returned as uncertainty, not invented citations.

Concept 14 mastery evidence

Wick-expansion reasoning

0 of 3 passed
Predict

Predict term organization

Predict what changes when one interaction insertion is added while external legs stay fixed.

Calculate

Count contractions

Given order and external legs, identify a contraction-count proxy and diagram class mapping.

Explain

Explain diagram meaning

Explain why diagrams are perturbative bookkeeping terms rather than literal microscopic movies.

Concept 14 record

Diagram evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Observable extensionScattering amplitudes become observable rates only after probability, flux, and phase-space normalization.
Cross sections
Concept 15 · Scattering amplitudes and cross sections

From amplitudes to measurable rates

Locked

Scattering amplitudes are complex-valued transition ingredients. Observable predictions require squaring the matrix-element structure and then normalizing with beam flux and final-state phase-space factors.

Cross sections summarize measurable rates under declared experimental conditions. Keep amplitude bookkeeping separate from literal trajectory storytelling.

01

Amplitude layer

M  M2\mathcal{M}\ \Rightarrow\ |\mathcal{M}|^2
02

Observable normalization

dσM2dΦfluxd\sigma \propto \frac{|\mathcal{M}|^2 d\Phi}{\text{flux}}
03

Interpretation boundary

Cross section is an observable rate summary, not a frame-by-frame particle movie.

Interactive model 15

Scattering observable laboratory

Map amplitude scaling to differential rates and flux-normalized cross sections

Cross-section proxy across perturbative orderFlux-normalized scattering contribution organized by perturbative order.0.000.250.500.751.00
Rate
dσM2dΦfluxd\sigma \propto \frac{|\mathcal{M}|^2\,d\Phi}{\text{flux}}

Cross sections are observable rate summaries after amplitude-squared and flux normalization.

01

Amplitude layer

Scattering amplitudes encode transition structure before observable normalization.

02

Probability and rate

Observable rates depend on squared amplitude structure and phase-space factors.

03

Cross-section boundary

Cross section is a flux-normalized observable summary, not a microscopic path narrative.

Grounded tutor

Ask about scattering amplitudes and cross sections

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeAmplitude-to-probability mapping, flux normalization, and cross-section interpretation boundaries

Unsupported claims are returned as uncertainty, not invented citations.

Concept 15 mastery evidence

Scattering observables

0 of 3 passed
Predict

Predict observable scaling

Predict how observable rate/cross-section scales when the scattering amplitude scale is increased.

Calculate

Normalize by flux

Given a declared rate proxy and incoming flux, identify the cross-section normalization step.

Explain

Explain interpretation boundary

Explain why cross sections summarize observable scattering likelihoods rather than literal microscopic trajectories.

Concept 15 record

Cross-section evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Renormalization-prep extensionRegularization defines divergent intermediate expressions with controlled parameters before renormalized matching.
Regularization
Concept 16 · Regularization

Controlled definitions for divergent intermediates

Locked

Perturbative loop expressions can diverge without an additional definition rule. Regularization introduces such a rule with explicit parameters, so intermediate quantities become finite and auditable.

This is not yet the final observable statement. Keep regularization and renormalization conceptually distinct: one defines divergent expressions, the other matches theory parameters to measured quantities.

01

Divergent structure

Loop-level expressions can diverge in the ultraviolet without additional definition rules.

02

Regulated form

IIreg(Λ,μ)I \rightarrow I_{\mathrm{reg}}(\Lambda,\mu)
03

Interpretation boundary

Regularization is controlled bookkeeping; physical matching belongs to renormalization conditions.

Interactive model 16

Regularization laboratory

Define divergent intermediate terms with a controlled regulator and inspect cutoff sensitivity

Regulated contribution proxyRegulated intermediate contribution by perturbative order for declared cutoff and scale.0.000.250.500.751.00
Reg
Ireg(Λ,μ) finite for fixed regulator parametersI_\text{reg}(\Lambda,\mu)\ \text{finite for fixed regulator parameters}

Regularization is a controlled intermediate definition, not the final observable prediction.

01

Divergent intermediate form

Loop-level terms can diverge without a regulator definition.

02

Controlled regulator

A regulator introduces parameters that make the intermediate expression finite and trackable.

03

Boundary to renormalization

Regularization defines terms; renormalization later matches parameters to observables.

Grounded tutor

Ask about regularization

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeControlled regulator definitions, cutoff/scale dependence, and boundaries between regularization and renormalization

Unsupported claims are returned as uncertainty, not invented citations.

Concept 16 mastery evidence

Regularization reasoning

0 of 3 passed
Predict

Predict cutoff dependence

Predict what changes in the intermediate expression when the regulator cutoff is varied.

Calculate

Write a regulated form

Given a declared regulator and scale, identify a finite regulated expression structure.

Explain

Explain the boundary

Explain why regularization is an intermediate definition and how it differs from renormalized physical predictions.

Concept 16 record

Regulator evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Predictive extensionRenormalization absorbs regulator dependence into parameter definitions while preserving observable matching.
Renormalization
Concept 17 · Renormalization

Running parameters and fixed observables

Locked

After regularization defines divergent expressions, renormalization introduces parameter redefinitions and matching conditions so the theory makes finite, testable predictions.

Renormalized parameters can run with scale and depend on scheme conventions. Observable quantities remain constrained by the chosen renormalization conditions and measured inputs.

01

Parameter redefinition

g0=gR(μ)+δg(μ)g_0 = g_R(\mu) + \delta g(\mu)
02

Running law

μdgRdμ=β(gR)\mu\frac{d g_R}{d\mu}=\beta(g_R)
03

Interpretation boundary

Scheme/scale dependence in parameters does not imply arbitrary observables once matching conditions are imposed.

Interactive model 17

Renormalization laboratory

Relate bare and renormalized parameters, counterterms, and scale running proxies

Running-coupling proxy by perturbative orderCounterterm-adjusted coupling trend under a declared renormalization scheme and scale.0.00.20.40.60.81.0
Run
gR(μ)=g0δg(μ),μdgRdμ=β(gR)g_R(\mu)=g_0-\delta g(\mu),\quad \mu\frac{dg_R}{d\mu}=\beta(g_R)

Counterterms absorb regulator dependence while renormalized parameters run with scale by construction.

01

Parameter split

Bare parameters are rewritten into renormalized parameters plus counterterms at a scale.

02

Running relation

Renormalized couplings run with renormalization scale according to a beta-function relation.

03

Observable boundary

Scheme and scale dependencies are organized in parameters while observables are fixed by matching conditions.

Grounded tutor

Ask about renormalization

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeCounterterms, running parameters, renormalization conditions, and scheme/observable boundaries

Unsupported claims are returned as uncertainty, not invented citations.

Concept 17 mastery evidence

Renormalization reasoning

0 of 3 passed
Predict

Predict running behavior

Predict how counterterm shifts affect renormalized coupling when the renormalization scale changes.

Calculate

Compute parameter relation

Given bare coupling and a scale-dependent correction, identify the renormalized parameter relation.

Explain

Explain scale dependence

Explain why running parameters can depend on scheme/scale while observables remain fixed by renormalization conditions.

Concept 17 record

Renormalization evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Symmetry extensionComplex-scalar global U(1) symmetry introduces conserved Noether-charge structure without local gauge dynamics yet.
Global symmetry
Concept 18 · Complex scalar and global symmetry

Phase rotation, current, and conserved charge

Locked

A complex scalar field supports global U(1) phase rotations. By Noether reasoning, this symmetry corresponds to a conserved current and charge.

Keep the conceptual boundary clear: global symmetry conservation is the focus here. Local gauge fields and gauge-covariant dynamics are introduced in later concepts.

01

Global phase rotation

ϕeiαϕ\phi \to e^{i\alpha}\phi
02

Noether continuity

μjμ=0\partial_\mu j^\mu = 0
03

Boundary to gauge symmetry

Global U(1) conservation does not yet introduce a local gauge connection in this slice.

Interactive model 18

Complex-scalar symmetry laboratory

Track global U(1) phase rotations, Noether-current proxies, and charge-density organization

Charge-density proxy by orderSigned charge-density proxy under global U(1) phase evolution.0.00.20.40.60.81.0
U(1)
ϕeiαϕ,μjμ=0\phi \rightarrow e^{i\alpha}\phi,\quad \partial_\mu j^\mu = 0

Global phase symmetry implies a Noether current and conserved-charge structure in this proxy.

01

Global phase rotation

Complex-scalar fields admit a global U(1) phase symmetry with invariant magnitude.

02

Noether current

Symmetry implies a conserved current and charge-density relation.

03

Boundary

This concept keeps global symmetry separate from local gauge-field dynamics.

Grounded tutor

Ask about complex scalar global symmetry

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeGlobal U(1) phase symmetry, Noether current/charge conservation, and global-versus-local symmetry boundaries

Unsupported claims are returned as uncertainty, not invented citations.

Concept 18 mastery evidence

Complex-scalar symmetry reasoning

0 of 3 passed
Predict

Predict global phase rotation

Predict what changes and what remains invariant under a global U(1) phase rotation of a complex scalar.

Calculate

Relate current and charge

Given current and charge-density proxies, identify the continuity/conservation relation.

Explain

Explain symmetry boundary

Explain how global U(1) symmetry differs from local gauge symmetry in this lesson boundary.

Concept 18 record

Global-symmetry evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Spinor extensionDirac spinors organize relativistic fermionic structure and particle-antiparticle interpretation before gauge-coupled QED dynamics.
Dirac field
Concept 19 · Spinors and the Dirac field

Spinor components and first-order relativistic dynamics

Locked

The Dirac field introduces spinor-valued dynamics where first-order equations encode relativistic behavior and organize particle-antiparticle sectors.

Keep the boundary explicit: this concept develops free spinor structure and interpretation. Gauge-coupled interaction dynamics are introduced in the QED concept.

01

Spinor field

ψ(x) is a Dirac spinor field\psi(x)\text{ is a Dirac spinor field}
02

Dirac equation

(iγμμm)ψ=0(i\gamma^\mu\partial_\mu - m)\psi = 0
03

Boundary to QED

Particle-antiparticle interpretation appears here; gauge-coupled QED interaction terms are introduced next.

Interactive model 19

Spinor and Dirac-field laboratory

Explore spinor-component balance, Dirac-equation structure, and particle-antiparticle interpretation boundaries.

Spinor normalization error by orderError proxy for finite-order spinor component normalization.0.00.20.40.60.81.0
Dirac
(iγμμm)ψ=0(i\gamma^\mu\partial_\mu - m)\psi = 0

First-order relativistic dynamics constrain spinor components and particle-antiparticle interpretation.

01

Spinor structure

Dirac fields use spinors whose components encode relativistic spin and energy-sector structure.

02

First-order equation

The Dirac equation is first order and links components through gamma-matrix operator relations.

03

Boundary

This concept separates free spinor interpretation from gauge-interaction dynamics introduced in QED.

Grounded tutor

Ask about spinors and the Dirac field

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeDirac spinor components, first-order relativistic equation structure, and particle-antiparticle interpretation boundaries

Unsupported claims are returned as uncertainty, not invented citations.

Concept 19 mastery evidence

Spinor and Dirac-field reasoning

0 of 3 passed
Predict

Predict spinor-component changes

Predict how spinor components rebalance when momentum and mass scales change.

Calculate

Relate the Dirac operator

Given a spinor setup, identify the first-order Dirac-operator relation linking components.

Explain

Explain particle-antiparticle boundary

Explain how this lesson distinguishes spinor particle-antiparticle interpretation from later QED interactions.

Concept 19 record

Spinor evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Gauge extensionLocal U(1) symmetry introduces a compensating gauge field and the Abelian interaction structure of QED.
QED
Concept 20 · Local gauge symmetry and QED

Local phase symmetry, covariant derivatives, and Abelian interactions

Locked

Turning a global U(1) phase rule into a local spacetime-dependent symmetry requires a compensating gauge field. In the Abelian case, that structure becomes QED.

Keep the conceptual boundary explicit: this concept introduces local U(1) gauge compensation and charged-matter interaction structure, but not non-Abelian Yang-Mills self-couplings.

01

Local transformation

ϕ(x)eiα(x)ϕ(x)\phi(x) \to e^{i\alpha(x)}\phi(x)
02

Covariant compensation

Dμ=μ+ieAμD_\mu = \partial_\mu + i e A_\mu
03

Abelian interaction boundary

QED introduces Abelian matter-gauge coupling here; non-Abelian Yang-Mills structure comes later.

Interactive model 20

Local gauge symmetry and QED laboratory

Track local phase variation, covariant compensation, and Abelian QED interaction structure.

Gauge-alignment proxy by orderSigned proxy for local gauge-alignment behavior across finite orders.0.00.20.40.60.81.0
QED
Dμ=μ+ieAμD_\mu = \partial_\mu + i e A_\mu

Local gauge symmetry promotes phase variation to spacetime dependence and introduces a compensating gauge field.

01

Local phase rule

Phase rotations can vary with spacetime point rather than remaining globally constant.

02

Covariant derivative

A compensating Abelian gauge field enters the derivative so the local symmetry is preserved.

03

QED boundary

This concept introduces Abelian charged-matter interaction structure, not non-Abelian Yang-Mills self-couplings.

Grounded tutor

Ask about local gauge symmetry and QED

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeLocal U(1) symmetry, covariant derivatives, Abelian gauge-field compensation, and QED interaction boundaries

Unsupported claims are returned as uncertainty, not invented citations.

Concept 20 mastery evidence

Local gauge symmetry and QED reasoning

0 of 3 passed
Predict

Predict local gauge-phase behavior

Predict what changes when the phase transformation becomes local instead of global.

Calculate

Relate the covariant derivative

Given matter and gauge-field terms, identify the covariant-derivative relation.

Explain

Explain the QED interaction boundary

Explain how local U(1) gauge symmetry leads to Abelian QED interactions while stopping short of non-Abelian gauge theory.

Concept 20 record

Local-gauge evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Formulation extensionThe path integral reframes the same field theory through action-weighted configurations and source-based generating functionals.
Path integral
Concept 21 · Path-integral formulation

Action weights, source functionals, and formulation boundaries

Locked

The path-integral formulation packages quantum-field amplitudes as a weighted sum over field configurations, with the action and source terms organizing interference and response.

Keep the conceptual boundary explicit: this is another formulation of the same physics, not a claim that one literal microscopic path is singled out as the physical movie.

01

Action phase weight

eiS[ϕ]/e^{iS[\phi]/\hbar}
02

Generating functional

Z[J]=Dϕ  eiS[ϕ]/+iJϕZ[J] = \int \mathcal{D}\phi\; e^{iS[\phi]/\hbar + i\int J\phi}
03

Boundary to storytelling

Weighted configurations are a formulation tool, not a literal camera-trace of one microscopic realized history.

Interactive model 21

Path-integral formulation laboratory

Track action-phase weights, source dependence, and interference structure in a deterministic path-integral proxy.

Interference proxy by orderSigned interference proxy from action-phase weighted contributions.0.00.20.40.60.81.0
PI
Z[J]=Dϕ  eiS[ϕ]/+iJϕZ[J] = \int \mathcal{D}\phi\; e^{iS[\phi]/\hbar + i\int J\phi}

Configurations contribute with phase weights, and sources package response information in the generating functional.

01

Weighted configurations

Configurations contribute through action-dependent phase weights rather than one singled-out classical trajectory.

02

Source packaging

The generating functional packages source dependence so response information can be extracted systematically.

03

Boundary

This is a formulation of the same physics, not a literal movie of one realized microscopic history.

Grounded tutor

Ask about the path-integral formulation

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeAction-phase weights, generating functionals with sources, and the formulation boundary between path integrals and literal microscopic histories

Unsupported claims are returned as uncertainty, not invented citations.

Concept 21 mastery evidence

Path-integral formulation reasoning

0 of 3 passed
Predict

Predict phase-weight behavior

Predict how changing action relative to hbar changes the interference pattern of path contributions.

Calculate

Relate the generating functional

Given source language, identify how the generating functional packages response information.

Explain

Explain the formulation boundary

Explain why the path integral is a weighted sum-over-configurations formulation rather than a literal single microscopic movie.

Concept 21 record

Path-integral evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Yang-Mills extensionNon-Abelian gauge fields introduce commutator-driven curvature and gauge-field self-interaction beyond the Abelian QED case.
Yang-Mills
Concept 22 · Non-Abelian gauge fields

Generator commutators, field strength, and self-interactions

Locked

Non-Abelian gauge theories extend the Abelian gauge idea by giving the gauge generators nontrivial commutators. That extra structure feeds directly into the field strength and lets gauge fields self-interact.

Keep the boundary explicit: this concept establishes Yang-Mills structure and self-coupling, but it does not yet organize the full electroweak and QCD content of the Standard Model.

01

Noncommuting generators

[Ta,Tb]=ifabcTc[T^a,T^b] = i f^{abc} T^c
02

Yang-Mills field strength

Fμν=μAννAμ+ig[Aμ,Aν]F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu + ig[A_\mu,A_\nu]
03

Boundary to Standard Model structure

Gauge self-interaction and group structure are in scope here; electroweak and QCD sector assembly comes next.

Interactive model 22

Non-Abelian gauge-field laboratory

Track commutator structure, Yang-Mills self-coupling, and field-strength closure in a deterministic proxy.

Closure-balance proxy by orderSigned proxy for non-Abelian closure and self-coupling balance across finite orders.0.00.20.40.60.81.0
YM
Fμν=μAννAμ+ig[Aμ,Aν]F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu + ig[A_\mu,A_\nu]

The commutator term distinguishes Yang-Mills curvature from the Abelian limit and leads to gauge-field self-interaction.

01

Noncommuting generators

Non-Abelian groups carry commutator structure that does not collapse to the Abelian U(1) case.

02

Yang-Mills curvature

The field strength includes a commutator term, so gauge fields can self-interact.

03

Boundary

This slice establishes non-Abelian gauge structure before full Standard Model electroweak and QCD organization.

Grounded tutor

Ask about non-Abelian gauge fields

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeNon-Abelian generator commutators, Yang-Mills field strength, gauge-field self-interaction, and the boundary before full Standard Model organization

Unsupported claims are returned as uncertainty, not invented citations.

Concept 22 mastery evidence

Non-Abelian gauge-field reasoning

0 of 3 passed
Predict

Predict commutator-structure consequences

Predict what changes when gauge generators do not commute, compared with the Abelian limit.

Calculate

Relate the Yang-Mills field strength

Given gauge-field language, identify the derivative and commutator pieces of the non-Abelian field strength.

Explain

Explain the Yang-Mills boundary

Explain how non-Abelian gauge structure extends QED while stopping short of the full Standard Model sector organization.

Concept 22 record

Yang-Mills evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Model assemblyThe Standard Model assembles gauge sectors, matter representations, and Higgs structure into one organized framework while stopping short of grand unification or gravity.
Standard Model
Concept 23 · Standard Model structure

Gauge sectors, matter content, and Higgs organization

Locked

The Standard Model combines the gauge-sector structure developed in earlier slices with matter representations and the Higgs sector. The result is an organized framework for strong, weak, and electromagnetic interactions.

Keep the conceptual boundary explicit: this concept assembles Standard Model structure, but it does not claim grand unification, quantum gravity, cosmology, or broader beyond-Standard-Model physics.

01

Gauge-sector product

SU(3)c×SU(2)L×U(1)YSU(3)_c \times SU(2)_L \times U(1)_Y
02

Matter and Higgs structure

Matter multiplets and the Higgs sector organize masses and interaction patterns inside the model.

03

Boundary beyond the model

Standard Model organization is in scope here; grand unification, gravity, and broader beyond-Standard-Model structure are not.

Interactive model 23

Standard Model structure laboratory

Track gauge-sector organization, Higgs-sector weighting, and interaction assembly in a deterministic Standard Model proxy.

Interaction-assembly proxy by orderSigned proxy for sector and Higgs-weighted interaction assembly across finite orders.0.00.20.40.60.81.0
SM
SU(3)c×SU(2)L×U(1)YSU(3)_c \times SU(2)_L \times U(1)_Y

The Standard Model organizes gauge sectors, matter representations, and Higgs structure without extending to grand unification or gravity.

01

Gauge-sector product

Color and electroweak interactions occupy distinct gauge-sector roles within one combined structure.

02

Matter and Higgs organization

Matter representations and Higgs structure determine how masses and interactions are organized.

03

Boundary

This slice stops at Standard Model organization and does not claim grand unification, gravity, or broader beyond-Standard-Model physics.

Grounded tutor

Ask about Standard Model structure

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeStandard Model gauge-sector product structure, matter and Higgs organization, and the boundary before grand unification or gravity

Unsupported claims are returned as uncertainty, not invented citations.

Concept 23 mastery evidence

Standard Model structure reasoning

0 of 3 passed
Predict

Predict sector organization

Predict how electroweak and color sectors are organized within the Standard Model structure.

Calculate

Relate group factors and matter structure

Given gauge-group and matter language, identify how the Standard Model structure combines them.

Explain

Explain the Higgs and model boundary

Explain the Higgs role and the Standard Model organizational boundary without extending into grand unification or gravity.

Concept 23 record

Standard Model evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Statistical arcThermal ensembles and partition functions organize many-state weighting without collapsing into one real-time microscopic history.
Statistical ensembles
Concept 24 · Statistical ensembles and partition functions

Boltzmann weights, partition sums, and thermal boundaries

Locked

Statistical ensembles describe how many states contribute at finite temperature. Partition functions package that weighting into a compact object that drives thermal predictions.

Keep the boundary explicit: this slice organizes thermal populations and free-energy-style bookkeeping, not a real-time trajectory of one singled-out microscopic history.

01

Boltzmann weighting

pieβ(Eiμ)p_i \propto e^{-\beta(E_i-\mu)}
02

Partition sum

Z=igieβ(Eiμ)Z = \sum_i g_i e^{-\beta(E_i-\mu)}
03

Boundary to dynamics

Thermal state sums are in scope here; literal real-time single-history evolution is not.

Interactive model 24

Statistical ensembles laboratory

Track Boltzmann weights, partition contributions, and free-energy trends in a deterministic thermal proxy.

Partition contribution by orderPositive partition-sum contribution proxy across finite energy levels.0.00.20.40.60.81.0
Z
Z=igieβ(Eiμ)Z = \sum_i g_i e^{-\beta(E_i-\mu)}

Thermal ensembles weight many states rather than following one singled-out real-time microscopic history.

01

Boltzmann weights

Thermal populations are weighted by energy and temperature rather than fixed as equal-count microstates.

02

Partition bookkeeping

The partition function packages normalization and thermodynamic information across many accessible states.

03

Boundary

This is a thermal ensemble description, not a real-time trajectory or one singled-out microscopic history.

Grounded tutor

Ask about statistical ensembles and partition functions

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeBoltzmann weights, partition-function state sums, thermal free-energy interpretation, and the boundary between ensemble bookkeeping and real-time microscopic history

Unsupported claims are returned as uncertainty, not invented citations.

Concept 24 mastery evidence

Statistical ensemble reasoning

0 of 3 passed
Predict

Predict Boltzmann-weight trends

Predict how changing temperature changes the weighting of higher-energy states.

Calculate

Relate the partition function

Given energy and degeneracy language, identify the weighted state sum in the partition function.

Explain

Explain the ensemble boundary

Explain how an ensemble and partition function describe thermal populations without becoming a real-time trajectory story.

Concept 24 record

Ensemble evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Statistical arcQuantum occupation formulas sharpen thermal counting into bosonic pile-up and fermionic exclusion without turning ensemble language into a time-history story.
Quantum occupations
Concept 25 · Quantum occupation statistics

Bose-Einstein pile-up, Fermi-Dirac exclusion

Locked

Once a thermal ensemble is in place, the next distinction is quantum statistics. Bosons can accumulate in the same state, while fermions are capped by exclusion.

Keep the boundary explicit: these occupation laws describe equilibrium-style thermal weighting across many states, not one microscopic trajectory unfolding in real time.

01

Boltzmann baseline

nBe(Eμ)/Tn_B \propto e^{-(E-\mu)/T}
02

Quantum occupation rules

nBE=frac1e(Emu)/T1,qquadnFD=frac1e(Emu)/T+1n_{BE}=\\frac{1}{e^{(E-\\mu)/T}-1},\\qquad n_{FD}=\\frac{1}{e^{(E-\\mu)/T}+1}
03

Boundary to microscopic stories

These formulas encode many-state occupancy and exclusion structure, not a singled-out trajectory of one realized micro-history.

Interactive model 25

Quantum occupation laboratory

Compare Boltzmann, Bose-Einstein, and Fermi-Dirac occupancy curves in one bounded thermal proxy.

Occupation by energy levelOccupation proxy across discrete levels for the selected quantum statistics.012345
n
nBE=frac1e(Emu)/T1,qquadnFD=frac1e(Emu)/T+1n_{BE}=\\frac{1}{e^{(E-\\mu)/T}-1},\\qquad n_{FD}=\\frac{1}{e^{(E-\\mu)/T}+1}

These formulas organize thermal state occupancy. They do not narrate one realized microscopic trajectory through time.

01

Common thermal exponent

All three descriptions compare the level energy to the chemical potential through the same thermal exponent.

02

Enhancement versus exclusion

The minus sign in the Bose denominator allows pile-up, while the plus sign in the Fermi denominator enforces an occupation cap below one.

03

Boundary

This is thermal occupancy bookkeeping across many states, not a real-time movie of one microscopic history.

Grounded tutor

Ask about quantum occupation statistics

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeBoltzmann baseline, Bose-Einstein occupation enhancement, Fermi-Dirac exclusion, and the thermal boundary against real-time microscopic stories

Unsupported claims are returned as uncertainty, not invented citations.

Concept 25 mastery evidence

Quantum occupation reasoning

0 of 3 passed
Predict

Predict pile-up versus exclusion

Predict which statistics allow many quanta in one low-energy state and which are capped by exclusion.

Calculate

Compare the two occupations

For x = ln 3, compare n_BE = 1/(e^x-1) and n_FD = 1/(e^x+1).

Explain

Explain the occupation boundary

Explain bosonic accumulation, fermionic exclusion, and why these formulas describe thermal occupancy rather than one real-time microscopic trajectory.

Concept 25 record

Occupation evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Statistical arcConnected correlations isolate fluctuation structure and response without collapsing into operator causality or time-history storytelling.
Correlation and response
Concept 26 · Correlation functions and response

Thermal fluctuations, connected correlators, and response

Locked

After thermal occupations, the next step is to ask how fluctuations at one point correlate with another. The connected correlation subtracts the mean square, which isolates the fluctuation content.

Keep the boundary explicit: a correlation function can be nonzero without becoming a commutator-based causality statement, and neither one is a literal microscopic trajectory.

01

Correlator

C(r)=x(0)x(r)C(r)=\langle x(0)x(r)\rangle
02

Connected piece

Cc(r)=x(0)x(r)x2C_c(r)=\langle x(0)x(r)\rangle-\langle x\rangle^2
03

Boundary to causality

Correlation functions can stay nonzero even when a separate commutator-based causality boundary is enforced.

Interactive model 26

Correlation and response laboratory

Track connected correlations, a simple response proxy, and their decay with separation in a deterministic thermal model.

Connected correlation by separationCorrelation proxy across discrete separations for the selected thermal model.012345
C
C(r)=x(0)x(r)c=x(0)x(r)x2C(r)=\langle x(0)x(r)\rangle_c=\langle x(0)x(r)\rangle-\langle x\rangle^2

Connected correlations summarize fluctuations and response. They are not a literal microscopic trajectory through time.

01

Fluctuations

Thermal fluctuations generate nonzero nearby correlations even when the mean itself is simple.

02

Connected piece

Subtracting the mean square isolates the connected fluctuation content.

03

Boundary

Correlation and response are statistical structure, not commutator influence or a real-time story.

Grounded tutor

Ask about correlation functions and response

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeThermal fluctuations, connected correlation functions, a simple response proxy, and the boundary between correlation and commutator-based causality

Unsupported claims are returned as uncertainty, not invented citations.

Concept 26 mastery evidence

Correlation reasoning

0 of 3 passed
Predict

Predict the decay trend

Predict how a connected thermal correlation changes as separation increases.

Calculate

Compute the connected piece

Given mean 2 and squared mean 5, compute the connected variance proxy.

Explain

Explain correlation versus commutator

Explain why correlation functions can be nonzero without turning commutator-based causality into a statement about literal trajectories.

Concept 26 record

Correlation evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Statistical arcAfter fluctuation-dissipation scaling, the next bridge is a Kubo-style response kernel that keeps dissipative channels distinct from commutator causality boundaries.
Kubo response kernel
Concept 28 · Kubo response kernel

Linear kernel and dissipation channel

Locked

Fluctuation-dissipation gave one equilibrium scaling bridge. This concept introduces a Kubo-style response-kernel proxy and separates kernel, dissipation, and spectral bookkeeping into explicit channels.

Keep interpretation boundaries explicit: this remains linear-response bookkeeping, not a microscopic trajectory story and not a replacement for commutator-causality statements.

01

Kernel channel

K(ω)=gχ(ω)K(\omega)=g\,\chi(\omega)
02

Dissipation channel

Imχ(ω)dissipative proxy\mathrm{Im}\,\chi(\omega)\leftrightarrow\text{dissipative proxy}
03

Interpretation boundary

Kubo response structure is distinct from commutator locality/causality and should not be framed as a literal microscopic movie.

Interactive model 28

Kubo response-kernel laboratory

Compare response kernel, dissipative channel, and spectral weight in one deterministic linear-response proxy.

Kubo response profileSelected profile across normalized frequencies for the deterministic Kubo-response proxy.0.000.200.400.600.801.00
Kubo
K(ω)gχ(ω)K(\omega)\propto g\,\chi(\omega)

This proxy links linear response and dissipative bookkeeping. It is not a literal microscopic trajectory.

01

Kernel channel

The response kernel captures how source strength maps into observables.

02

Dissipative channel

The imaginary-response channel tracks dissipation without replacing the full kernel.

03

Boundary

Kubo bookkeeping remains distinct from commutator causality statements.

Grounded tutor

Ask about the Kubo kernel

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeKubo response kernel, dissipative channels, spectral bookkeeping, and boundaries versus commutator causality

Unsupported claims are returned as uncertainty, not invented citations.

Concept 28 mastery evidence

Kubo-response reasoning

0 of 3 passed
Predict

Predict kernel scaling

Predict how the response kernel changes when driving strength increases at fixed relaxation profile.

Calculate

Compute the Kubo proxy

Given g = 2 and chi = 0.5, compute the proxy kernel K = g chi.

Explain

Explain the interpretation boundary

Explain why Kubo response and dissipative channels are distinct from commutator causality and from literal trajectories.

Concept 28 record

Kubo-response evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Statistical arcAfter Kubo kernel bookkeeping, the next bridge is a dynamic structure-factor view that ties detailed-balance weighting to dissipation channels while keeping commutator causality boundaries explicit.
Dynamic structure factor
Concept 29 · Dynamic structure factor

Detailed-balance structure channels

Locked

This concept reframes the linear-response bookkeeping into a dynamic structure-factor channel and tracks how thermal weighting shapes the low-frequency sector.

Interpretation boundaries stay explicit: detailed-balance and dissipation channels are not equivalent to commutator-causality boundaries and are not literal microscopic trajectories.

01

Structure channel

S(ω)TCχ(ω)S(\omega)\propto T\,C\,\chi(\omega)
02

Dissipation channel

Imχ(ω)dissipative proxy\mathrm{Im}\,\chi(\omega)\leftrightarrow\text{dissipative proxy}
03

Interpretation boundary

Detailed-balance structure-factor relations and commutator causality statements are separate layers of reasoning.

Interactive model 29

Dynamic structure-factor laboratory

Compare structure-factor, susceptibility-proxy, and dissipation-proxy channels in a deterministic linear-response model.

Dynamic structure-factor profileSelected profile across normalized frequencies for the deterministic dynamic structure-factor proxy.0.000.200.400.600.801.00
S
S(ω)TCχ(ω)S(\omega)\propto T\,C\,\chi(\omega)

This proxy keeps linear response and detailed-balance bookkeeping explicit.

01

Structure channel

Structure-factor response tracks frequency-resolved fluctuation strength.

02

Dissipation channel

Imaginary-response bookkeeping tracks dissipation proxies without replacing S(w).

03

Boundary

Detailed-balance statements remain distinct from commutator causality constraints.

Grounded tutor

Ask about structure-factor response

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeDynamic structure factor, detailed-balance weighting, dissipation channels, and boundaries versus commutator causality

Unsupported claims are returned as uncertainty, not invented citations.

Concept 29 mastery evidence

Dynamic structure-factor reasoning

0 of 3 passed
Predict

Predict the low-frequency structure limit

Predict how the structure-factor proxy changes near zero frequency as temperature scale increases at fixed damping and coupling.

Calculate

Compute a structure-factor proxy

Given temperature scale T = 2 and coupling factor C = 0.5, compute the proxy S = T*C.

Explain

Explain the detailed-balance boundary

Explain why dynamic structure-factor and dissipation bookkeeping remain distinct from commutator-causality statements and literal trajectory narratives.

Concept 29 record

Dynamic structure-factor evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Statistical arcAfter dynamic structure-factor bookkeeping, the next bridge tracks spectral sum-rule moments and keeps normalization constraints distinct from commutator-causality boundaries.
Spectral sum rules
Concept 30 · Spectral sum rules

Spectral moments and normalization boundaries

Locked

This concept reframes response bookkeeping into spectral moments, with emphasis on normalization-style sum-rule constraints for low-order moments.

Interpretation boundaries stay explicit: sum-rule and moment statements are not commutator-causality claims and are not literal microscopic trajectories.

01

Density channel

ρ(ω)Nf(ω)\rho(\omega)\propto N\,f(\omega)
02

Zeroth moment

M0dωρ(ω)M_0\sim\int d\omega\,\rho(\omega)
03

Interpretation boundary

Sum-rule normalization and commutator-causality statements are separate layers of reasoning.

Interactive model 30

Spectral sum-rules laboratory

Compare spectral density and low-order moment proxies in one deterministic sum-rule bookkeeping model.

Spectral sum-rule profileSelected profile across normalized frequencies for the deterministic spectral sum-rule proxy.0.000.200.400.600.801.00
M0
M0Nρ(ω)M_0\propto N\,\rho(\omega)

This proxy keeps spectral normalization and moment bookkeeping explicit.

01

Density channel

Spectral density tracks frequency-resolved weight in this proxy.

02

Moment channel

Low-order moments capture normalization-style constraints without replacing full spectra.

03

Boundary

Sum-rule bookkeeping remains distinct from commutator-causality statements.

Grounded tutor

Ask about spectral sum rules

Answers are constrained to the approved Field Notes source packet.

Provider
Teaching mode
Current scopeSpectral sum-rule moments, normalization constraints, dissipation bookkeeping, and boundaries versus commutator causality

Unsupported claims are returned as uncertainty, not invented citations.

Concept 30 mastery evidence

Spectral sum-rule reasoning

0 of 3 passed
Predict

Predict moment scaling

Predict how the zeroth-moment proxy changes when normalization target increases at fixed width and density profile.

Calculate

Compute a zeroth-moment proxy

Given normalization N = 2 and density factor D = 0.5, compute the proxy M0 = N*D.

Explain

Explain the sum-rule boundary

Explain why spectral sum-rule bookkeeping remains distinct from commutator-causality statements and literal trajectory narratives.

Concept 30 record

Spectral sum-rule evidence

Concept state
Active
First-attempt evidence
Sign in to record
Next retrieval
After mastery
Reference spine

Sources for this investigation

Account data

Your learning data

Private by default

Sign in with GitHub to export, restore, or delete your learning record.

Delete Field Notes account?

This cannot be undone. Export JSON first if you may want your learning record later.