How to calculate phase space shift of function in Dirac Bracket Notation
I'm working through some material in Ch. 2 (p. 70-71) of the book "Ray Tracing and Beyond" by Tracy et. al. on Weyl Symbol Calculus which is the underlying mathematical framework originally developed for quantum mechanics (QM). The authors in the book walk the reader through an example on how to apply the phase space shift operator to a function $\psi(x)$: $$ e^{i(\sigma \hat{x} - \tau \hat{k})} \psi(x), $$ where $\sigma$ and $\tau$ are constants. I would say that they make a range of incorrect arguments, but by coincidence end up at the correct result. My question is whether my method of calculation is correct.
Setting
$\hat{x}, \hat{k}$ are the 1D-position and momentum operators with the canonical commutation relation $[\hat{x}, \hat{k}] = i$ and the momentum eigenstates in the position basis $\left\langle x \middle| k \right\rangle = \frac{1}{\sqrt{2\pi}} e^{i k x}$.
$e^{- i \tau \hat{k}}$ translates in position space, which I prefer to prove by insertion of the identity $\int dk \, \left| k \right\rangle \left\langle k \right|$: $$ \left\langle x \middle| e^{- i \tau \hat{k}} \middle| \psi \right\rangle = \int dk \, \left\langle x \right| e^{- i \tau \hat{k}} \left| k \right\rangle \left\langle k \middle| \psi \right\rangle = \int dk \, e^{- i \tau k} \left\langle x \middle| k \right\rangle \left\langle k \middle| \psi \right\rangle \\ = \int dk \, e^{i k (x - \tau) k} \left\langle k \middle| \psi \right\rangle = \int dk \, \left\langle x - \tau \mid k \right\rangle \left\langle k \middle| \psi \right\rangle = \left\langle x - \tau \middle| \psi \right\rangle $$
Operators act on kets (vectors in the Hilber-space), but Tracy et al. often writes expressions such as $\hat{A} \psi(x)$. I take it to be a fact, that what they really mean is: $\hat{A} \psi(x) \equiv \left\langle x \middle| \hat{A} \middle| \psi \right\rangle$.
Calculation by Tracy et al. on p. 71 in "Ray Tracing and Beyond"
In order to evaulate $e^{i(\sigma \hat{x} - \tau \hat{k})}$, we should use the special case of the Baker-Campbell-Hausdorff Thm. (See Griffiths, p. 121 or Wikipedia): $$ e^{\hat{A} + \hat{B}}=e^{\hat{A}}e^{\hat{B}}e^{- \frac{1}{2}\left[\hat{A}, \hat{B} \right]} $$ We have $\hat{A} = i \sigma \hat{x}$, $\hat{B} = - i \tau \hat{k}$, $\left[\hat{x}, \hat{k} \right] = i$. Therefore I would say that this gives us $\left[\hat{A}, \hat{B} \right] = i \sigma \tau$ and therefore: $$ e^{i(\sigma \hat{x} - \tau \hat{k})} = e^{i \sigma \hat{x}} e^{- i \tau \hat{k}} e^{- \frac{i}{2} \sigma \tau} $$ Mistake 1: But in the book they claim: $$ e^{i(\sigma \hat{x} - \tau \hat{k})} = e^{i \sigma \hat{x}} e^{- i \tau \hat{k}} e^{+ \frac{i}{2} \sigma \tau} $$
Continuing from here, the authors calculates the phase space shift operator by first applying the translation: $$ e^{i(\sigma \hat{x} - \tau \hat{k})} \psi(x) = e^{i \sigma \hat{x}} e^{- i \tau \hat{k}} e^{+ \frac{i}{2} \sigma \tau} \psi(x) = e^{+ \frac{i}{2} \sigma \tau} e^{i \sigma \hat{x}} \psi(x - \tau) $$ Mistake 2: The authors then perform the following specious step, where they let $e^{i \sigma \hat{x}}$ digest the entire argument $x - \tau$: $$ e^{+ \frac{i}{2} \sigma \tau} e^{i \sigma \hat{x}} \psi(x - \tau) = e^{+ \frac{i}{2} \sigma \tau} e^{i \sigma (x - \tau)} \psi(x - \tau) = e^{-\frac{i}{2} \sigma \tau} e^{i \sigma x} \psi(x - \tau). $$ I would argue that this step is also incorrect.
Q3.c with my method and my sign ($e^{- \frac{i}{2} \sigma \tau}$)
If I stick to Dirac bracket notation and the minus sign in the exponent, I actually do end up with the same results as Tracy et al. (but by a very different path!): $$ e^{i(\sigma \hat{x} - \tau \hat{k})} \psi(x) \equiv \left\langle x \right| e^{i \sigma \hat{x}} e^{- i \tau \hat{k}} e^{- \frac{i}{2} \sigma \tau} \left| \psi \right\rangle = e^{- \frac{i}{2} \sigma \tau} e^{i \sigma x} \left\langle x \right| e^{- i \tau \hat{k}} \left| \psi \right\rangle = e^{- \frac{i}{2} \sigma \tau} e^{i \sigma x} \psi(x - \tau) $$
My question: Is it correct that the authors have made two mistakes in their line of arguments? Or is there something I have misunderstood in the Dirac notation used for Weyl Symbol Calculus?