Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 13 1 ii Solution Created 2026-10-03 Updated 2026-10-14
With a cyclically oriented independence digraph of events, each event is independent of one of the other two. Independence is symmetric, so all three pairs are independent events. This does not imply mutual independence. Put . The inclusion-exclusion principle givesbecause . Thus the oriented case guarantees positive avoidance exactly when .
For sharpness, for any prescribe the law of the three event indicators by assigning mass to each of the three singleton success patterns, to each doubleton, to the tripleton, and zero to the zero-success pattern. All masses are nonnegative and their sum is one. Each marginal isand each pair intersection has mass . These events satisfy the oriented independence conditions and have zero avoidance probability.
The unoriented triangle imposes no independence conditions at all: every vertex is adjacent to every other. The union bound gives positive avoidance if . To see that this is sharp for every , use uniform measure on the circle of circumference one and take three arcs of length starting at . They cover the circle. Hence the unoriented case guarantees positive avoidance exactly when .