Even input counts move each splitter branch across a floor. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Each splitter branch has a minimum count
A half splitter sends the same count to the upper and lower branches.
m=Nupper−Nmin
Three even inputs bracket the branch floor
Eight input photons are the boundary because each branch receives four.
Nin4812Nupper246m−202gatefailpasspass
Twelve input photons clear the branch floor
The lower branch carries the same count, so the balance remains exact.