st-red-strat / sdpb

A semidefinite program solver for the conformal bootstrap.

Contents

• SDPB
• Installation and Usage
• Attribution
• Acknowledgements
• Works Using SDPB

SDPB

SDPB is an open-source, arbitrary-precision, parallelized semidefinite program solver, designed for the conformal bootstrap. It solves the following problem:

For more information, see A Semidefinite Program Solver for the Conformal Bootstrap and the manual.

Authors: David Simmons-Duffin ([e-mail]), Walter Landry ([e-mail]).

On April 25, 2019, the main branch of this repository was updated to SDPB 2 which has very different performance characteristics and somewhat different usage instructions from version 1.0. Please see the changelog and other documentation for details.

Installation and Usage

The easiest way to run SDPB on a Windows or Mac machine is to follow the Docker instructions. For Linux and HPC centers, the Singularity instructions will probably work better. If you want to build it yourself, there are detailed instructions in Install.md.

Usage instructions are detailed in Usage.md.

Two python wrappers for SDPB are available:

• PyCFTBoot by Connor Behan (arXiv:1602.02810)
• cboot by Tomoki Ohtsuki (arXiv:1602.07295).

An unofficial Haskell wrapper is available:

• sdpb-haskell by David Simmons-Duffin

Attribution

If you use SDPB in work that results in publication, consider citing

• D. Simmons-Duffin, "A Semidefinite Program Solver for the Conformal Bootstrap", arXiv:1502.02033 [hep-th].

Depending on how SDPB is used, the following other sources might be relevant:

The first use of semidefinite programming in the bootstrap:

• D. Poland, D. Simmons-Duffin and A. Vichi, "Carving Out the Space of 4D CFTs," JHEP 1205, 110 (2012) arXiv:1109.5176 [hep-th].

The generalization of semidefinite programming methods to arbitrary spacetime dimension:

• F. Kos, D. Poland and D. Simmons-Duffin, "Bootstrapping the O(N) Vector Models," JHEP 1406, 091 (2014) arXiv:1307.6856 [hep-th].

The generalization of semidefinite programming methods to arbitrary systems of correlation functions:

• F. Kos, D. Poland and D. Simmons-Duffin, "Bootstrapping Mixed Correlators in the 3D Ising Model," arXiv:1406.4858 [hep-th].

Acknowledgements

• Version 2 of SDPB was made possible by the Simons Collaboration on the Nonperturbative Bootstrap.

• The design of SDPB was partially based on the solvers SDPA and SDPA-GMP, which were essential sources of inspiration and examples.

• Thanks to Filip Kos, David Poland, and Alessandro Vichi for collaboration in developing semidefinite programming methods for the conformal bootstrap and assistance testing SDPB.

• Thanks to Amir Ali Ahmadi, Hande Benson, Pablo Parrilo, and Robert Vanderbei for advice and discussions about semidefinite programming.

• Thanks also to Noah Stein, who first suggested the idea of semidefinite programming to me in this Math Overflow question.

Works Using SDPB

As of April 2019, SDPB has been used in approximately 60 works. Here is a list of papers citing SDPB.