Discussion Overview
The discussion centers on whether functions of commuting operators always commute with each other, specifically in the context of quantum mechanics. Participants explore the implications of commuting operators and provide examples and counterexamples related to this concept.
Discussion Character
- Debate/contested
- Technical explanation
- Mathematical reasoning
Main Points Raised
- Some participants propose that if two operators A and B commute, then any function of A will commute with any function of B.
- One participant provides a specific example involving the operators L_z and r^2, claiming that since [L_z, r^2] = 0, it follows that [L_z, r] = 0, and seeks proof for this assertion.
- Another participant discusses the expansion of functions of operators as power series and suggests that if A and B commute, then A^n commutes with B^m for any integers n and m.
- A participant questions how to prove the commutation for decreasing powers of operators, indicating a need for clarification on the reverse argument.
- One participant presents a mathematical manipulation involving L and r, attempting to derive that [L, r] = 0, but expresses uncertainty about the validity of their reasoning.
- A counterexample is provided involving the Pauli matrices, where it is noted that while [σ_x, σ_y^2] = 0, [σ_x, σ_y] ≠ 0, suggesting that the initial claim does not hold in general.
- Another participant acknowledges the counterexample and expresses understanding that proving [L, r] = 0 may not have shortcuts.
Areas of Agreement / Disagreement
Participants express disagreement regarding the generality of the claim that functions of commuting operators always commute. Some provide examples supporting the claim, while others present counterexamples that challenge it, indicating that the discussion remains unresolved.
Contextual Notes
The discussion includes various assumptions about the properties of operators and their functions, with some participants relying on specific examples that may not universally apply. There are also unresolved mathematical steps in the arguments presented.