The two output ports are orthogonal single-photon states. Conservation of total probability at a lossless beam splitter gives . With real and positive,
In the ordered input basis and output basis , the beam splitter scattering matrix is
For the usual reciprocal lossless beam splitter, reversing propagation uses . Consequently,
The relative phase in the first rule is essential to the repeated-path calculation. Overall port phases may be changed consistently; they cannot be changed on one pass alone while retaining the original scattering rules. In the following, take unit mirror reflection amplitudes by incorporating fixed reflection phases into the propagation-mode convention, and keep any unremoved propagation phase explicitly if needed.
Starting at port 1, the first beam splitter encounter sends amplitude straight out through port 0 and stores amplitude towards M2. A return from M2 enters port ; it sends the stored amplitude times out through port 1 and times towards M1. A return from M1 enters port ; it sends amplitude times out through port 0 and times towards M2. Both internal continuations carry , so two additional encounters multiply the surviving amplitude by .
With the fixed mirror and propagation phases absorbed as in a, the nonzero coefficients of the outgoing single-photon state are
and . The first nonzero terms are , , and . If fixed reflection amplitudes are retained instead, multiply by and by , as well as the appropriate delay propagation phases. These unit-modulus factors do not alter the following probabilities.
Distinct exit events are orthogonal because they differ in output port or arrival-time bin. This requires the incident wavepacket to resolve the delay. Summing the squared moduli as geometric series gives
Their sum is one. After encounters the probability of still being inside is , which tends to zero, so no trapped component is omitted.
The source drawing places the delay line in the M2 arm. A visit to M2 crosses that line in both directions. If is its one-way delay, then an exit after encounters has crossed it times:
If the phrase “delay time ” instead denotes the complete M2-arm round-trip delay, replace by in the floor formula. The wording does not explicitly distinguish these conventions. Consecutive encounters can produce the same exit time in different ports: for example both follow one M2 visit. If the incident wavepacket were much longer than the arm delay, different histories in the same port would overlap and their probability amplitudes would have to be added before squaring; the asserted time-bin expansion would then not be an orthonormal event basis.
Let denote immediate transmission through the BS1 subsystem between Bob's lower-right port and Alice's upper-left port; let denote transmission after one visit to each internal mirror. From the same beam splitter rules as in b, the corresponding amplitudes in either direction are
up to a common fixed two-mirror propagation phase. The minus sign in comes from the or reverse scattering. The two paths selected by D0's time gate are on the outward journey followed by on the return, and outward followed by on the return. They have the same total delay and fixed propagation phase, so their probability amplitudes interfere.
For the first history, Alice applies to the late component, while Bob's return-time modulation is not encountered in the return delay arm. For the second, Alice's early component is unmodulated and Bob applies in the return delay arm. Bob must time his modulation to the return passage, leaving the outward reference preparation unchanged; this is implicit in the stated encoding. Each enabled modulator is traversed twice, so its single-pass phase becomes the stipulated .
Include the amplitude to enter BS1 through BS2, and the amplitude of modulus to reach D0 through BS2 on return. Both histories therefore contain six 50:50 beam splitter factors. Ignoring one common unobservable global phase,
Hence the unconditional probability per emitted photon, with no renormalization after discarding paths, is
For the allowed values , this is when and zero otherwise. The ignored trajectories exit other ports or other time bins; excluding them from D0's acceptance does not increase the success probability. Equal mirror reflection phases, channel phases and Alice's mirror phase multiply both accepted histories equally and cancel from the interference condition. A residual relative phase would need calibration.
Encode by phase zero and by phase . Alice and Bob choose their bits independently and keep their choices private. Bob announces the trial numbers with a D0 click over an authenticated public channel. For each retained trial, c guarantees that their bits agree. In the ideal symmetric setup, the two equal-phase cases and give the same click probability, so announcing success does not itself reveal which shared bit was used.
The matching-phase cases occur with probability , and a matching case succeeds with probability . Therefore
For independent ideal trials, the raw-key length has a binomial distribution with standard deviation . These are bits before sacrificing test positions or performing privacy amplification.
A missing click does not certify unequal phases: the same phases also fail to click with probability . With uniform choices,
Thus a no-click trial supplies neither a known equal bit nor a known complemented bit. This is why it cannot be retained by the direct error-free sifting rule. The source's “cannot use” should be understood in this sense: the events are not statistically independent, so an absolute claim that they contain no information would be false.
To obtain a secret final key, reveal and discard a random subset of retained bits to test the observed error rate, then apply reconciliation and privacy amplification as required by a security analysis of the actual implementation. Resolving which time path a photon took removes the accepted histories' quantum coherence and can turn destructive interference into false D0 clicks, providing a simple disturbance test. Equal-phase click correlations alone are not a proof of security against every attack, particularly in the presence of losses and device imperfections. The supplied ideal model fixes the sifted rate ; it does not fix a positive secure final length without an adversary model and observed parameters.

Articles by others on the same topic (0)

There are currently no matching articles.