Analytical characterization of the calibrated achievability bound

Determine whether the tightened calibrated achievability bound for composite binary hypothesis testing under a uniform Type I error constraint admits an analytical characterization and, consequently, a closed-form expression.

Background

The paper introduces a calibrated achievability procedure that fixes the log-likelihood ratio induced by a joint Rényi projection and numerically selects its threshold and boundary randomization to satisfy the composite Type I constraint exactly. This calibration can improve on the explicit exponential bound, but its optimization is less amenable to analysis because the threshold and projected pair may depend on the Rényi order.

The authors explicitly leave unresolved whether this tightened bound can be represented analytically or in closed form. This concerns the finite-sample evaluation of the bound rather than the already established asymptotic error exponents.