University Physics IV · topic UPIV-06.09
Commutators, compatibility, and the generalised uncertainty relation
Connect the ideas, make your working visible, and test the result. Use the hints when you need a starting point; open the full solution after your attempt.
Further practice
Work through a fresh case before tackling the extension.
Commutators and uncertainty: predict a finite change
The commutator [Â, B̂] = ÂB̂ − B̂Â measures how far two observables are from being simultaneously definite: it vanishes exactly when a complete shared eigenbasis exists, and otherwise half the modulus of its mean is a floor under the product of their standard deviations. Use the supplied topic model Y_out = c/(2*max(sa,0.01)), where Y_out is LEAST σB AT THIS σA (ħ/a). The output symbol Y_out is distinct from all input symbols. ^ denotes a power; π = 3.141592653589793; max(a,b) selects the larger value. sa is Spread σA of the prepared state, measured in a. Keep c (Commutator size |⟨[A,B]⟩|) = 1 ħ; sb (Spread σB of the prepared state) = 1 ħ/a fixed. For this exercise use only 0.648438 a ≤ sa ≤ 3.60156 a on this continuous branch. A grid of test settings is an input restriction for this exercise, not by itself a claim of physical quantisation. This calculation retains the topic model's stated assumptions; it does not extend them to a different physical setup. Calculate Y_out at sa = 1.29812 a and 1.71156 a. Find the signed output change ΔY_out and the average sensitivity ΔY_out/Δsa across this interval. State whether the response increases or decreases; distinguish this interval average from a derivative at one point.
LEAST σB AT THIS σA against sa
Predictions from the supplied Commutators and uncertainty model, with all other inputs fixed as stated in the question. 5 calibration points support a trend comparison; they are not measured data or a straight-line law.
Vertical axis (y): LEAST σB AT THIS σA / ħ/a
Horizontal axis (x): sa: Spread σA of the prepared state / a
Axes show the supplied calibration interval; the origin may lie outside the plot.
Read the exact data as a table
| sa: Spread σA of the prepared state / a | LEAST σB AT THIS σA / ħ/a |
|---|---|
| 0.6484375 | 0.7710843373493976 |
| 1.38671875 | 0.36056338028169016 |
| 2.125 | 0.23529411764705882 |
| 2.8632812499999996 | 0.17462482946794 |
| 3.6015624999999996 | 0.13882863340563992 |
These are the supplied values, not a worked answer. No fitted trend is drawn.
Show a hint
Substitute each value of sa separately while keeping every other input fixed, then subtract in the same order.
Reveal the worked solution
- At sa = 1.29812 a, substitute into Y_out = c/(2*max(sa,0.01)): Y₀ = 0.385171 ħ/a.
- At sa = 1.71156 a, the same fixed-parameter model gives Y₁ = 0.292131 ħ/a.
- Signed change: ΔY_out = Y₁ − Y₀ = -0.0930402 ħ/a; the input change is Δsa = 0.413438 a.
- Average sensitivity is ΔY_out/Δsa = -0.225041 ħ/a per a. Its negative sign means that this response decreases over the specified interval.
- This is a secant slope between two settings. It equals a point derivative only for a locally linear relation or in a justified small-interval limit.
Answer Y₀ = 0.385171 ħ/a, Y₁ = 0.292131 ħ/a; ΔY_out = -0.0930402 ħ/a; average sensitivity = -0.225041 ħ/a per a.
Compare the assumptions, method and units with your attempt. Explain any correction before trying another question.
Extra challenging questions
Work through the linked stages and explain what each result means.
Commutators and uncertainty: infer an input with uncertainty
The commutator [Â, B̂] = ÂB̂ − B̂Â measures how far two observables are from being simultaneously definite: it vanishes exactly when a complete shared eigenbasis exists, and otherwise half the modulus of its mean is a floor under the product of their standard deviations. Use the supplied topic model Y_out = c/(2*max(sa,0.01)), where Y_out is LEAST σB AT THIS σA (ħ/a). The output symbol Y_out is distinct from all input symbols. ^ denotes a power; π = 3.141592653589793; max(a,b) selects the larger value. sa is Spread σA of the prepared state, measured in a. Keep c (Commutator size |⟨[A,B]⟩|) = 1 ħ; sb (Spread σB of the prepared state) = 1 ħ/a fixed. For this exercise use only 0.648438 a ≤ sa ≤ 3.60156 a on this continuous branch. A grid of test settings is an input restriction for this exercise, not by itself a claim of physical quantisation. This calculation retains the topic model's stated assumptions; it does not extend them to a different physical setup. A reading gives Y_out = 0.20409465 ħ/a, with a bounded reading uncertainty ±0.0097899 ħ/a. Treat the model and all fixed inputs as exact for this exercise; the bound is not a standard deviation. First estimate the unknown sa by straight-line interpolation between the two endpoint predictions. Then solve the actual model on the stated branch to an absolute input tolerance of 0.000295312 a, using a numerical bracket if required. Find the full input interval consistent with the bounded reading uncertainty and compare it with a symmetric input-error assumption. Do not assume that the supplied calibration points prove monotonicity outside this branch.
LEAST σB AT THIS σA against sa
Predictions from the supplied Commutators and uncertainty model, with all other inputs fixed as stated in the question. 5 calibration points support a trend comparison; they are not measured data or a straight-line law.
Vertical axis (y): LEAST σB AT THIS σA / ħ/a
Horizontal axis (x): sa: Spread σA of the prepared state / a
Axes show the supplied calibration interval; the origin may lie outside the plot.
Read the exact data as a table
| sa: Spread σA of the prepared state / a | LEAST σB AT THIS σA / ħ/a |
|---|---|
| 0.6484375 | 0.7710843373493976 |
| 1.38671875 | 0.36056338028169016 |
| 2.125 | 0.23529411764705882 |
| 2.8632812499999996 | 0.17462482946794 |
| 3.6015624999999996 | 0.13882863340563992 |
These are the supplied values, not a worked answer. No fitted trend is drawn.
Show a hint
The model's endpoint predictions bracket the reading. Solve Y_out(sa) = Y_measured and then solve again at Y_measured − u and Y_measured + u; a nonlinear inverse can give unequal input deviations.
Reveal the worked solution
- Endpoint predictions are Y_out(0.648438) = 0.771084 ħ/a and Y_out(3.60156) = 0.138829 ħ/a. The target lies between them. On the selected branch the response is strictly decreasing.
- Endpoint interpolation gives sa_line = 0.648438 + (0.204095 − 0.771084)(3.60156 − 0.648438)/(0.138829 − 0.771084) = 3.29672 a. This estimates the inverse of the endpoint chord, rather than assuming that chord is the physical model.
- Use the actual equation, not the chord, and bracket its root. Evaluating the midpoint and retaining the sign-changing half-interval gives sa = 2.44984 a; substituting back gives Y_out = 0.20409465 ħ/a.
- The interpolation error in the input is |sa_line − sa| = 0.846876 a. This is larger than the requested numerical tolerance.
- Invert both limits Y_out = 0.19430475 ħ/a and 0.21388455 ħ/a. Sort the roots even if the response decreases: 2.33771 a ≤ sa ≤ 2.57328 a.
- The lower and upper input deviations are 0.112134 a and 0.123434 a. They differ because the inverse response is nonlinear; a symmetric error bar would only be a local approximation. This interval includes reading uncertainty only, not model error or uncertainty in fixed inputs.
Answer sa ≈ 2.44984 a; compatible interval [2.33771, 2.57328] a. Endpoint interpolation gives 3.29672 a.
Compare the assumptions, method and units with your attempt. Explain any correction before trying another question.