Dice Question Streamline Icon: https://streamlinehq.com

Approximate counting for GapP

Determine whether GapP functions admit efficient approximate counting analogous to known approximations for SpanP (and #P), for example by developing deterministic algorithms with appropriate oracle access that approximate GapP functions within specified relative error.

Information Square Streamline Icon: https://streamlinehq.com

Background

The paper uses approximate counting for SpanP to convert SpanP-martingales to weaker-resource supermartingales, enabling measure conservation within E with low-level oracles. Such approximations are known for #P and SpanP via Stockmeyer and derandomization results.

An analogous approximation for GapP would extend these conservation results and strengthen the toolkit for measuring quantum-related classes, but whether this is possible remains unknown.

References

It is open whether $GapP$ can be approximately counted in the same way, so Theorem \ref{th:counting_measure_conservation} is the best we have for $GapP$.

Counting Martingales for Measure and Dimension in Complexity Classes (2508.07619 - Hitchcock et al., 11 Aug 2025) in Section 3.5, Measure Conservation