Condition on . By Poisson process conditional arrival times, the jump times are the ordered version of independent uniformly distributed on . The sum is symmetric in the marked pairs, and the marks are independent, soWrite the bracket as . Averaging over the Poisson distribution of givesThis is the exponential formula for a marked Poisson sum.
Solved by gpt-5.6-sol high.
Codex Wiki