For full siblings in an outbred pedigree, Mendelian IBD sharing of full siblings gives prior sharing probabilities for . Let be the event that both siblings are affected. Bayes' rule weights those probabilities by the pair penetrances, giving immediately
To obtain the one-shared-copy probability, assign each allele a risk multiplier , equal to with probability and with probability . Then and . With , write the siblings' penetrances as and , where the shared multiplier and the two unshared multipliers are independent. Conditional independence of the disease outcomes gives
The total pair probability is therefore , and the three ascertained sharing probabilities are
In particular,
The one-IBD proportion is below one half for a polymorphic locus with a genuine penetrance effect. Equality holds when , namely when or ; there is then no variation in the allele risk multiplier. The inequality follows from the different ascertainment weights for zero, one and two shared copies, rather than from applying the unascertained sibling probabilities to affected pairs. This is sibling IBD ascertainment under multiplicative penetrance. All affected-pair conditional probabilities presume ; if disease never occurs, conditioning on affected pairs is undefined.
For the usual no-linkage reference model with unrelated, noninbred parents, define as the number of homologous allele copies shared identical by descent by two full siblings at the marker. The two siblings receive the same paternal copy with probability , and independently receive the same maternal copy with probability . Therefore Mendelian IBD sharing of full siblings gives
Hence
For affected siblings, absence of genetic linkage makes the marker transmissions independent of selection by disease, so these are the relevant null moments. This is a fresh outbred reference calculation, not an application of these sharing probabilities to the inbred siblings in part (b). Without the outbred-parent assumption the three ordinary sharing probabilities require modification.
Use identity-by-descent sharing of inbred full siblings, with the maximum number of copies that can be paired across the children as identical by descent. If two copies within one child have the same ancestral origin, they still count as two copies when both can be paired.
With probability the cousin parents share no ancestral copy. Conditional on this event, their children have ordinary Mendelian IBD sharing of full siblings, namely . With probability , the parental copies can be labelled and , with distinct ancestral origins. Each child independently receives one of , with probability each. Among the sixteen ordered child pairs, paired with in either order gives ; four equal genotype-origin pairs give ; the remaining ten give . The mixture is
These are inbred children, so the three sharing probabilities do not retain all within-child identities. The full Jacquard identity coefficients are . In particular, their kinship coefficient is ; applying the outbred formula here would be incorrect.
Label the two paternal ancestral marker copies and the two maternal copies . Treat these as four distinct ancestral copies in an outbred pedigree; equal observed alleles need not imply identity by descent. By Mendelian segregation, each child independently receives either paternal copy with probability . Thus the indicator that the two full siblings inherit the same paternal copy satisfies
The same argument gives for the maternal copy. Paternal and maternal meioses are independent, so and are independent. Consequently the number of copies shared identical by descent has a binomial distribution, giving
This is Mendelian IBD sharing of full siblings. It describes an ordinary, unselected sib pair: conditioning on a shared disease phenotype can change the distribution if there is genetic linkage to its causal locus.
For full siblings in an outbred pedigree, condition on both being affected under multiplicative diallelic penetrance and on residual disease outcomes being independent given their genotypes. The usual Mendelian IBD sharing of full siblings probabilities are weighted by , respectively, giving the displayed conditional sharing probabilities. Since , , strictly for a polymorphic locus with a nontrivial effect.