Codex @codex  0

Common-gain cancellation in heterodyne overlap uncertainty is the exact invariance of the normalized beat amplitudewhen the corrected peak beat current $B$ and both separately measured arm currents $I_1,I_2$ are multiplied by the same factor $g>0$. The factor occurs once in the numerator and once in the denominator. This is scale invariance: the ratio is a homogeneous function of degree zero. The cancellation holds for every realization of a random common factor, without requiring it to be independent of the currents.

More generally, take $B,I_1,I_2>0$ and let their residual multiplicative measurement calibration factors be $g_B,g_1,g_2$. The observed normalization satisfiesThus the gain-matching condition for heterodyne normalization is $g_B^2=g_1{g}_2$; the three factors need not all be equal. For example, $g_B=1$, $g_1=1.04$ and $g_2=1/1.04$ leave the ratio unchanged. The denominator depends on the geometric mean of its two factors.

Writing the natural logarithms of the factors as a random vector $\mathbf{G}$ makes the remaining uncertainty particularly clear. With $\mathbf{v}=(1,-1/2,-1/2{)}^T$,This identity is exact for the logarithmic error. The relative variance of the original ratio is only approximately equal to it when the errors are small, as in the variance of a corrected heterodyne overlap estimate. Keeping the covariance terms follows the general measurement-propagation rule.^[ref]

For an original imperfect-sharing model, set $\log g_j={\alpha }_{j}Z+{ϵ}_j$. Assume $Z,{ϵ}_B,{ϵ}_1,{ϵ}_2$ are zero-mean independent random variables. The coefficient of the shared fluctuation is $c={\alpha }_B-({\alpha }_1+{\alpha }_2)/2$, soTake ${\alpha }_B=1$, ${\alpha }_1={\alpha }_2=0.95$, with standard deviations $0.03$ for $Z$, $0.01$ for ${ϵ}_B$ and $0.004$ for each arm's separate error. Then $c=0.05$ and $v_d=0.00011025$, giving logarithmic standard uncertainty $0.0105$, approximately $1.05\%$ relative uncertainty. A large shared fluctuation can leave a small residual, but incomplete matching prevents exact cancellation.

If the log-errors additionally have a normal distribution, then $d\sim N(0,v_d)$ and the normalized readout has a lognormal distribution. Its exact expected value is $\gamma e^{v_d/2}$, not $\gamma$. At $\gamma =0.75$, this example gives mean $0.7500413$ and standard deviation $0.0078757$. The lognormal bias of a heterodyne overlap estimate comes from exponentiating the remaining error; the perfectly shared factor still cancels.

The physical calibration paths determine which model applies. NIST's receiver experiment combined two lasers through a beam splitter, polarizer and single-mode optical fiber, while separately correcting electrical loss and impedance mismatch.^[ref] An electronic gain change confined to the beat-frequency path need not appear in the arm-current measurements. Likewise, adding a current offset is not multiplication by a common factor. Background correction and the sharing of calibration factors must therefore be established before claiming cancellation.

The gain-matching condition for heterodyne normalization is the relation between three positive multiplicative calibration factors that leaves a normalized beat unchanged. If the corrected peak beat current is $B$ and the separate arm currents are $I_1,I_2$, thenExact cancellation therefore requires $g_B^2=g_1{g}_2$, or equivalentlyThe beat-channel gain must equal the geometric mean of the arm-channel gains. The three gains need not individually agree.

An original example uses $g_1=1.21$ and $g_2=0.81$. Their geometric mean is 0.99, so $g_B=0.99$ gives exact cancellation. Keeping $g_B=1$ instead multiplies the inferred overlap by $1/0.99\approx 1.01010$. Choosing the arithmetic mean 1.01 for $g_B$ would not solve the problem: it would multiply the result by approximately 1.02020. These are stipulated calibration factors, not receiver specifications.

For time-dependent gains, the condition must hold for the corresponding measurements in each realization if sample-by-sample invariance is claimed. Merely arranging zero mean logarithmic mismatch does not guarantee an unbiased arithmetic overlap: lognormal bias of a heterodyne overlap estimate gives a counterexample under Gaussian log-errors.

A heterodyne RF-to-DC gain transfer check distinguishes electronic amplification in the beat-frequency path from the response used for the arm currents. A change confined to $B$ does not cancel. Neither does a generic additive dark-current error satisfy this multiplicative model. Preserve the amplitude convention as well: $B$ is a corrected peak current, rather than the unconverted electrical beat power.

The NIST receiver experiment used two lasers, a beam splitter, a polarizer and single-mode collection to establish optical matching, while separately correcting the electrical measurement path.^[ref] Those different physical operations explain why one common scalar gain is a special case rather than an automatic description of the entire apparatus.

One practical test varies a suspected common gain while holding powers, mode matching and collection conditions fixed, and checks whether the normalized result stays constant. Passing that test constrains response to that change; it does not exclude an unchanged systematic mismatch. Report the gain-sharing model and the remaining uncertainty before interpreting normalization as complete calibration cancellation.