There's subtleties in what you two are saying that I think are leading to miscommunication.
I think it is better to think about this through mutual information rather than "correlation"[0], adding DAGs (directed acrylic graphs) also helps but are hard to draw here.
If causation exists between A and B, the two must also have mutual information. This is more akin to the vernacular form of "correlation" which is how I believe you are using it. But statisticians are annoying and restrict "correlation" to be linear. In that case, no, causation does not necessitate nor imply linear correlation (/association).
For mjburgess's universe example, I think it may depend on a matter of interpretation as to what is being considered causal here. A trivial rejection is that causation is through physics (they both follow the same physics) so that's probably not what was meant. I also don't really like the example because there's a lot of potential complexity that can lead to confusion[1], but let's think about the DAG. Certainly tracing causality back both galaxies converge to a single node (at worst, the Big Bang), right? They all follow physics. So both have mutual information to that node. *BUT* this does not mean that there is an arrow pointing from one branch to the other branch. Meaning that they do not influence one another and are thus not causally related (despite having shared causal "history", if you will).
Maybe let's think of a different bland example. Suppose we have a function f(x) which outputs a truly random discrete outputs that are either 0 or 1 (no bias). Now we consider all possible inputs. Does there exist an f(a) = f(b) where a ≠ b? I think with this example we can see believe this is true but you can prove it if you wish. We can even believe that there is a stronger condition of a having no mutual information between a and b. In the same way here, if we tracked the "origin" of f(a) and f(b) we would have to come through f (f "causes" f(a) and f(b)), but a and b do not need to be constructed in any way that relates to one another. We can even complexity this example further by considering a different arbitrary function g which has a discrete output of [-1,0,1], or some other arbitrary (even same) output, and follow the same process. When doing that, we see no "choke point" and we could even pull a and b from two unrelated sets. So everything is entirely disjoint. Try other variations to add more clarity.
I think it is better to think about this through mutual information rather than "correlation"[0], adding DAGs (directed acrylic graphs) also helps but are hard to draw here.
If causation exists between A and B, the two must also have mutual information. This is more akin to the vernacular form of "correlation" which is how I believe you are using it. But statisticians are annoying and restrict "correlation" to be linear. In that case, no, causation does not necessitate nor imply linear correlation (/association).
For mjburgess's universe example, I think it may depend on a matter of interpretation as to what is being considered causal here. A trivial rejection is that causation is through physics (they both follow the same physics) so that's probably not what was meant. I also don't really like the example because there's a lot of potential complexity that can lead to confusion[1], but let's think about the DAG. Certainly tracing causality back both galaxies converge to a single node (at worst, the Big Bang), right? They all follow physics. So both have mutual information to that node. *BUT* this does not mean that there is an arrow pointing from one branch to the other branch. Meaning that they do not influence one another and are thus not causally related (despite having shared causal "history", if you will).
Maybe let's think of a different bland example. Suppose we have a function f(x) which outputs a truly random discrete outputs that are either 0 or 1 (no bias). Now we consider all possible inputs. Does there exist an f(a) = f(b) where a ≠ b? I think with this example we can see believe this is true but you can prove it if you wish. We can even believe that there is a stronger condition of a having no mutual information between a and b. In the same way here, if we tracked the "origin" of f(a) and f(b) we would have to come through f (f "causes" f(a) and f(b)), but a and b do not need to be constructed in any way that relates to one another. We can even complexity this example further by considering a different arbitrary function g which has a discrete output of [-1,0,1], or some other arbitrary (even same) output, and follow the same process. When doing that, we see no "choke point" and we could even pull a and b from two unrelated sets. So everything is entirely disjoint. Try other variations to add more clarity.
[0] I also corrected mjburgess through this too because a subtle misunderstanding led to a stronger statement which was erroneous https://news.ycombinator.com/item?id=41228512
[1] Not only the physics part but we now have to also consider light cones and what physicists mean by causation