stevendaryl said:
2. Assuming that the answer to the first question is "yes", does that imply that two photons can interfere so that there is zero probability of detecting any photon anywhere? I'm pretty sure the answer is "no".
It's illuminating to try to find a counterexample to see why exactly is that impossible. So let us consider non-relativistic free Schrodinger equation in 1 spatial dimension. Suppose that we have two packets, ##\psi_1(x,t)## and ##\psi_2(x,t)##, one moving from the left to the right and the other moving from the right to the left, such that at some time ##t_0## they "collide" and satisfy
$$ \psi_1(x,t_0)=f(x), \;\;\psi_2(x,t_0)=-f(x) \;\;\; (1) $$
for some arbitrary function ##f(x)##. Hence at ##t=t_0## we have
$$\psi_1(x,t_0)+\psi_2(x,t_0)=0 \;\;\; (2)$$
for all ##x##, so we have a total destructive interference at ##t=t_0##. But before that, at ##t<t_0##, we had two separated wave packets so
$$\psi_1(x,t)+\psi_2(x,t)\neq 0 \;\;\; (3) $$
for at least some ##x##. But that should be impossible, because it contradicts the continuity equation. What went wrong?
The answer is the following. A priori, there is nothing wrong with (1). We can take ##t_0## to be the initial time, so (1) can be chosen to be the initial condition. But the Schrodinger equation is a first-order equation in time, so the initial condition ##\psi(x,t_0)## determines ##\psi(x,t)##
uniquely, for all ##t##. Furthermore, the initial condition (1) says that the two packets are identical (up to the global phase factor -1) at the initial time, so by the Schrodinger equation they must be identical at
all times. So contrary to the initial assumption, it cannot be the case that one wave packet travels to the left and the other to the right. Instead, they must travel identically for all times ##t##, depending on the function ##f(x)##. In particular, if ##f(x)## is a symmetric Gaussian ##f(x)=e^{-x^2/\sigma^2}##, then ##\psi_1(x,t)## and ##\psi_2(x,t)## travel neither to the right nor to the left. Instead, their centers are at rest at ##x=0##, while only their widths change with time. In other words, if (2) is right, then Schrodinger equation implies that (3) is wrong. If two packets cancel each other at one time ##t_0##, then they cancel each other for all times ##t##.