jeremyfiennes said:
But do these in principle (ie. ignoring detection inefficiency) always correlate: if one is detected, then the other necessarily will be; and if not then not?
You are talking about PDC pairs. So the answer is YES, despite everything being said that might indicate otherwise. When one of the pair goes through a double slit, and since it is a photon: it only has the opportunity to be detected once. That is what A. Neumaier is pointing out, and there is no argument about that. The key takeaways are:
a. There is 1 click at both detectors, or no clicks at either*. That is what you refer to as "correlated"; which is often used with PDC to mean something a bit different (again why A. Neumaier's answer is different than mine). But you are correct generally, that is the entire point of the reference I provided.
b. There are never cases of 1 click at one detector*, and 2 (or more) clicks at the other. That is because a PDC pair - sometimes referred to as a biphoton - is a special state with a known photon number (2 in this case). Such a state is called a Fock state. Most light does not appear in this state, as photon number is not usually a conserved quantity. In fact, PDC photon pairs are created from a single input photon (in those cases where a biphoton results).
c. Although often ignored with a double slit setup: it IS possible to determine which slit a photon goes through without destroying it. That's another subject though.
d. You should never make assumptions about what quantum particles are doing - at least not rigorous assumptions - when not being observed. They have a nasty habit of doing the impossible when you make an assumption which is reasonable yet wrong.
Now obviously, and as A. Neumaier correctly points out, there are many details being glossed over in our discussion. You can read more at the reference I provided. It is very good as it is intended for an undergrad lab. Note that this experiment soundly refutes one of the classical views of light. *Of course many photons that are part of PDC pairs never make it through the double slit in the first place (in your setup); so we are ignoring that for the purposes of our discussion.