 Feasible-set boundary in overlap inversion

The feasible-set boundary in overlap inversion separates joint measurements admitting a finite positive Gaussian radius ratio from measurements incompatible with that forward model. For radius-setting parameter $h>0$ and log-ratio $D$, the admissible region isAt its upper boundary the inferred radius ratio tends to zero; at its lower boundary it becomes arbitrarily large. The joint radius-setting and log-ratio bounds must therefore be checked against the sloping joint boundary, not against a fixed limit evaluated only at the central $h$.

An original ellipsoid calculation gives an exact test for a common joint-set model. Let $x=(D,h{)}^{\mathsf{T}}$ lie in $(x-\mu {)}^{\mathsf{T}}{\Sigma }^{-1}(x-\mu )\le k^2$, with $\Sigma$ positive definite. For any vector $l$, the maximum of $l^{\mathsf{T}}x$ isTo see this, write $x=\mu +{\Sigma }^{1/2}y$, $\Vert y\Vert \le k$, and apply the Cauchy-Schwarz inequality; equality is attained along the corresponding transformed direction.

Use $l_{+}=(1,-4{)}^{\mathsf{T}}$ and $l_{-}=(-1,-4{)}^{\mathsf{T}}$. The entire ellipse is strictly admissible if both displayed maxima are negative and its smallest $h$ is positive. This ellipsoidal admissibility test for overlap data checks every point of the stated joint set. It does not require sampling a coarse grid that might miss the closest approach to the boundary.

For stipulated means $(D_0,h_0)=(2.5,0.7)$, standard-scale parameters $s_D=0.1$, $s_h=0.03$ and $k=2$, the central distance $4h_0-D_0$ is 0.3. With zero covariance, the upper-boundary excursion isso the ellipse crosses that boundary. With correlation $+0.8$, the covariance is 0.0024 and the excursion becomesThat ellipse stays below the upper boundary; the lower boundary and positive-$h$ condition are also satisfied. Correlation changes the geometry even though both marginal uncertainty scales are unchanged.

If a set intersects the forbidden region, report the incompatibility and examine calibration, model adequacy and the meaning of the input bounds. Clipping points and applying the inverse to the survivors changes the propagated set or probability distribution. JCGM 101 separates input assignment, propagation and output summaries and gives conditions for valid Monte Carlo propagation.^[ref] An illustrative ellipse is a deterministic set here; interpreting it as a confidence region requires an additional statistical model.