TY - RPRT TI - The SPARSE-Relativization Framework and Applications to Optimal Proof Systems AU - Fabian Egidy PY - 2026 UR - https://arxiv.org/abs/2602.02294 ID - 2602.02294 ER -