M-<M> for M operator: why not a mismatch?

  • Context: Graduate 
  • Thread starter Thread starter nomadreid
  • Start date Start date
  • Tags Tags
    Operator
Click For Summary
SUMMARY

The discussion centers on the expression M- in quantum mechanics, where M is a Hermitian operator and is the expected value <ψ|M|ψ> for a vector ψ. The confusion arises from the dimensional mismatch when subtracting a vector from an operator, specifically when M is represented as a 2x2 matrix and ψ as a 1x2 vector. The resolution lies in recognizing that the expression M- should be interpreted as M - I, where I is the identity operator, thus clarifying the dimensional consistency.

PREREQUISITES
  • Understanding of Hermitian operators in quantum mechanics
  • Familiarity with expected values in quantum states
  • Basic knowledge of linear algebra, specifically matrix and vector operations
  • Concept of identity operators in mathematical expressions
NEXT STEPS
  • Study the properties of Hermitian operators in quantum mechanics
  • Learn about expected values and their significance in quantum states
  • Explore linear algebra concepts, focusing on matrix-vector multiplication
  • Investigate the role of identity operators in quantum mechanics and linear algebra
USEFUL FOR

Quantum physicists, students of quantum mechanics, and mathematicians interested in linear algebra applications in quantum theory will benefit from this discussion.

nomadreid
Gold Member
Messages
1,773
Reaction score
256
In "Quantum Computation and Quantum Information" by Nielsen & Chuang, on pp. 88-89, applying basic statistical definitions to operators, one of the intermediary steps uses the expression
M-<M>
where M is a Hermitian operator, and <M> is the expected value = <ψ|M|ψ> for a given vector ψ (that is, when one is testing for |ψ>.)
What I do not understand is how one can subtract a vector from an operator. That is, <ψ|M|ψ> is a vector, and M is an operator. For example, if one took an example of M as a 2x2 matrix and ψ as a 1x2 vector, then <ψ|M|ψ> is a 1x2 vector, and then M-<M> has a mismatch in dimensions.
What am I wrongly interpreting? Thanks.
 
Physics news on Phys.org
Usually, if ##A## is an operator and ##\lambda## is a number, we write ##A-\lambda##. This is of course nonsense, like you indicated. But what we mean by this is actually ##A-\lambda I##, where ##I## is the identity operator. So numbers should often be seen as multiplied with some identity operator that we don't write.
 
  • Like
Likes   Reactions: 1 person
Thanks, micromass. That clears it up completely.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 28 ·
Replies
28
Views
4K
  • · Replies 2 ·
Replies
2
Views
16K
Replies
18
Views
2K
  • · Replies 41 ·
2
Replies
41
Views
6K
  • · Replies 0 ·
Replies
0
Views
1K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 8 ·
Replies
8
Views
2K