Guaranteed Slater Conditions for the Numerical Conformal Bootstrap: Fixing Instabilities in SDPB, Navigator Methods, and Skydiving
Abstract
The semidefinite programs (SDPs) of the numerical conformal bootstrap, and of S-matrix and quantum-mechanics bootstraps, are solved with primal-dual interior-point methods whose convergence guarantees rest on primal and dual Slater conditions: the existence of strictly feasible points on both sides of the duality. Many bootstrap SDPs violate these. The consequences range from slow convergence to inconclusive verdicts and the breakdown of the Skydive algorithm. We introduce "Slater tools", all acting within the PMP class accepted by SDPB. Diagnostics measure the Slater margins and, when a margin vanishes, extract the exposing certificate that identifies the degeneracy. Two independent cures follow. Transforms that provide rigorous bounds on the original SDP objective and that for the right parameter choices return the exact value. Facial reductions that use the exposing certificate to remove the degeneracies themselves. We reproduce, explain and resolve all known types of failures in a mixed-correlator 3d Ising setup. We show that the X-Slater condition (SDPB's primal) fails at every disallowed point in feasibility mode, holds in every navigator problem we tested, and can be guaranteed by one additional condition on the navigator function. We show that the folklore "instability remedy" of a twist gap works by removing degeneracies at the endpoints of the positivity conditions. These often stem from a mistake in factoring out the block prefactor but can also arise legitimately in channels that mix equal and unequal operator pairs. Finally we classify and remove all degeneracies of the published current-scalar bootstrap, among them one at x=∞, thus incurable by any gap assumption, caused by unequal polynomial degrees within one matrix block.
Related
- Region bounds, error margins and certified positivity in the numerical conformal bootstrap; Or the first mathematically rigorous bounds on the 3d Ising CFT critical exponents
- Conformal soft modes at elastic instabilities
- Conformal Bootstrap for surfaces with boundary in Liouville CFT. Part II: spectral resolution and bootstrap
- Cusped Defects: Cusp Operator Expansion, Conformal Properties and Bootstrap Applications
- Conformal Bootstrap Unblocked
BibTeX
@misc{reehorst2026guaranteed,
title = {{Guaranteed Slater Conditions for the Numerical Conformal Bootstrap: Fixing Instabilities in SDPB, Navigator Methods, and Skydiving}},
author = {Marten Reehorst},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.40764},
eprint = {2610.40764},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.40764},
}
RIS
TY - UNPB
TI - Guaranteed Slater Conditions for the Numerical Conformal Bootstrap: Fixing Instabilities in SDPB, Navigator Methods, and Skydiving
AU - Marten Reehorst
PY - 2026
DA - 2026/10/29
PB - arXiv
DO - 10.48550/arxiv.2610.40764
UR - https://arxiv.org/abs/2610.40764
AB - The semidefinite programs (SDPs) of the numerical conformal bootstrap, and of S-matrix and quantum-mechanics bootstraps, are solved with primal-dual interior-point methods whose convergence guarantees rest on primal and dual Slater conditions: the existence of strictly feasible points on both sides of the duality. Many bootstrap SDPs violate these. The consequences range from slow convergence to inconclusive verdicts and the breakdown of the Skydive algorithm. We introduce "Slater tools", all acting within the PMP class accepted by SDPB. Diagnostics measure the Slater margins and, when a margin vanishes, extract the exposing certificate that identifies the degeneracy. Two independent cures follow. Transforms that provide rigorous bounds on the original SDP objective and that for the right parameter choices return the exact value. Facial reductions that use the exposing certificate to remove the degeneracies themselves. We reproduce, explain and resolve all known types of failures in a mixed-correlator 3d Ising setup. We show that the X-Slater condition (SDPB's primal) fails at every disallowed point in feasibility mode, holds in every navigator problem we tested, and can be guaranteed by one additional condition on the navigator function. We show that the folklore "instability remedy" of a twist gap works by removing degeneracies at the endpoints of the positivity conditions. These often stem from a mistake in factoring out the block prefactor but can also arise legitimately in channels that mix equal and unequal operator pairs. Finally we classify and remove all degeneracies of the published current-scalar bootstrap, among them one at x=∞, thus incurable by any gap assumption, caused by unequal polynomial degrees within one matrix block.
ER -