For readers who are jumping into the discussion at this stage, I want to be clear that this part of the discussion relates only to a claim I made in this thread that no mechanism has been proposed that would guarantee stability of the risk difference, and not to any argument we make in the preprint. I am less certain about the claims I am making in this post than anything we wrote in the preprint; if it turns out I’m making a mistake in this part of the discussion, it is highly unlikely to affect the argument in manuscript.
Maybe I am being thick, but after thinking about this for a while now, I still believe that at least some form of the argument I made in this thread is correct (though possibly phrased imprecisely).
Modern Epidemiology considers two interacting factors, which I will relabel as V and A. Suppose the outcome is Y. I am interested in whether the effect of A on Y differs between people who have V=0 and people who have V=1.
There is then a result which easily can be restated to tell you that if there are no “interacting response types”, it follows that Pr(Y^(a=1, v=1)) - Pr(Y^(a=0, v=1)) = Pr(Y^(a=1, v=0)) - Pr(Y^(a=0, v=0)). This is what Tyler refers to as absence of causal interaction on the additive scale.
I claim that what usually matters is not whether there is no causal interaction, but rather whether there is no effect modification, i.e. whether Pr(Y^(a=1) | V=1) - Pr(Y^(a=0) | V=1) = Pr(Y^(a=1) | V=0) - Pr(Y^(a=0) | V=0) . Absence of causal interaction does not imply absence of effect modification, and doctors will generally find themselves in a situation where it is impossible to intervene on V. Effect modification is therefore usually a much more useful concept for clinical decision making than causal interaction.
Even if doctors are assigning two interventions simultaneously, scale-stability relative to variation in baseline risk due to background causes is much more central to the decision-making problem than scale-stability between the two interventions relative to each other
You might be able to argue that deviation from effect measure additivity implies the existence of some past covariate U which V is a marker for, and which has “interaction response types” with Y. But I am not sure this solves any practical problems unless you can condition on U. I note that this is likely to be a very large set of covariates, my intuition is that it will functionally require adjustment for every cause of Y.
If you wanted to set up the argument from Modern Epidemiology in terms of effect modification, I think it would be preferable to instead of considering 16 joint response types, to consider 4 response types for A in V=0, and separately, 4 response types for A in V=1. But I think it would then be very hard to come up with a plausible biologically interpretable argument (based on these abstractions) that leads to stability of the risk difference for A between strata of V…
For a concrete example (for readers of this discussion who are less familiar with the distinction between effect modification and interaction than Sander), suppose A is alcohol and V is smoking. If there is no causal interaction, this means that in trial where you randomize both alcohol and smoking, the effect of alcohol will be equal between V=1 and V=0. However, when smoking is assigned randomly, it follows that if there is a difference between the two conditional baseline risks for the alcohol intervention, Pr(Y^(a=0) | V=0) and Pr(Y^(a=0) | V=1), then this is entirely due to the causal effect of smoking, not due to smoking being a predictor of risk. This observation is essential for why joint response types can get you the rest of the way towards an argument for stability when considering causal interactions.
(Edited to add: Maybe it is possible to interpret the model as implying no effect modification because any interaction with a past covariate U which predicts V will be reflected in the response types between V and A. But then it becomes really challenging to give a meaningful interpretation to what an “interaction response type” is, and in order to rule out their existence, you need to rule out interaction with everything in the past…)