Fig. 6.
Recursion for QIbiR,jR,iS,jS assuming iR○jS is a bond. We show a version of the recursion that contains two split points in each sequence for simplicity reasons. However, this would increase the complexity and can easily be resolved by introducing two additional matrices QIhh and QIhb for the region [iR,k1] × [k2, jS] as indicated by the arrows (see Supplementary Material for a full definition).