Distinguish in-operators and out-operators before identifying the symbols in the final vacuum condition. The full charged-field Fourier component before the pulse containsThe conjugate incoming mode has the conjugate matched solution. Collecting the coefficients of and after the pulse gives the real Bogoliubov mapSince , the inverse map isThe Inverse Bogoliubov vacuum condition therefore yieldsHere the inside mean out-operators. Using the forward-map coefficient with the same plus sign would be inconsistent with this convention. Mode rephasings can change a displayed coefficient sign, but the map and squeezed-state exponent must change together.
The complete in-vacuum also obeys the antiparticle annihilation condition. In out-operators this is . The two conditions jointly select the vacuum sector used below; the particle condition alone would not exclude arbitrary incoming antiparticle excitations.