Abstract
We introduce SDPB: an open-source, parallelized, arbitrary-precision semidefinite program solver, designed for the conformal bootstrap. SDPB significantly outperforms less specialized solvers and should enable many new computations. As an example application, we compute a new rigorous high-precision bound on operator dimensions in the 3d Ising CFT, Δ σ = 0.518151(6), Δ ϵ = 1.41264(6).
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
R. Rattazzi, V.S. Rychkov, E. Tonni and A. Vichi, Bounding scalar operator dimensions in 4D CFT, JHEP 12 (2008) 031 [arXiv:0807.0004] [INSPIRE].
V.S. Rychkov and A. Vichi, Universal constraints on conformal operator dimensions, Phys. Rev. D 80 (2009) 045006 [arXiv:0905.2211] [INSPIRE].
S. Rychkov, Conformal bootstrap in three dimensions?, arXiv:1111.2115 [INSPIRE].
S. El-Showk et al., Solving the 3D Ising model with the conformal bootstrap, Phys. Rev. D 86 (2012) 025022 [arXiv:1203.6064] [INSPIRE].
S. El-Showk et al., Solving the 3d Ising model with the conformal bootstrap II. c-Minimization and precise critical exponents, J. Stat. Phys. 157 (2014) 869 [arXiv:1403.4545] [INSPIRE].
S. El-Showk and M.F. Paulos, Bootstrapping conformal field theories with the extremal functional method, Phys. Rev. Lett. 111 (2013) 241601 [arXiv:1211.2810] [INSPIRE].
F. Kos, D. Poland and D. Simmons-Duffin, Bootstrapping the O(N) vector models, JHEP 06 (2014) 091 [arXiv:1307.6856] [INSPIRE].
C. Beem, L. Rastelli and B.C. van Rees, The \( \mathcal{N}=4 \) superconformal bootstrap, Phys. Rev. Lett. 111 (2013) 071601 [arXiv:1304.1803] [INSPIRE].
F. Kos, D. Poland and D. Simmons-Duffin, Bootstrapping mixed correlators in the 3D Ising model, JHEP 11 (2014) 109 [arXiv:1406.4858] [INSPIRE].
S. Ferrara, A.F. Grillo and R. Gatto, Tensor representations of conformal algebra and conformally covariant operator product expansion, Annals Phys. 76 (1973) 161 [INSPIRE].
A.M. Polyakov, Nonhamiltonian approach to conformal quantum field theory, Zh. Eksp. Teor. Fiz. 66 (1974) 23 [INSPIRE].
F. Caracciolo and V.S. Rychkov, Rigorous limits on the interaction strength in quantum field theory, Phys. Rev. D 81 (2010) 085037 [arXiv:0912.2726] [INSPIRE].
D. Poland and D. Simmons-Duffin, Bounds on 4D conformal and superconformal field theories, JHEP 05 (2011) 017 [arXiv:1009.2087] [INSPIRE].
R. Rattazzi, S. Rychkov and A. Vichi, Central charge bounds in 4D conformal field theory, Phys. Rev. D 83 (2011) 046011 [arXiv:1009.2725] [INSPIRE].
R. Rattazzi, S. Rychkov and A. Vichi, Bounds in 4D conformal field theories with global symmetry, J. Phys. A 44 (2011) 035402 [arXiv:1009.5985] [INSPIRE].
A. Vichi, Improved bounds for CFT’s with global symmetries, JHEP 01 (2012) 162 [arXiv:1106.4037] [INSPIRE].
D. Poland, D. Simmons-Duffin and A. Vichi, Carving out the space of 4D CFTs, JHEP 05 (2012) 110 [arXiv:1109.5176] [INSPIRE].
P. Liendo, L. Rastelli and B.C. van Rees, The bootstrap program for boundary CFT d , JHEP 07 (2013) 113 [arXiv:1210.4258] [INSPIRE].
S. El-Showk et al., Conformal field theories in fractional dimensions, Phys. Rev. Lett. 112 (2014) 141601 [arXiv:1309.5089] [INSPIRE].
L.F. Alday and A. Bissi, The superconformal bootstrap for structure constants, JHEP 09 (2014) 144 [arXiv:1310.3757] [INSPIRE].
D. Gaiotto, D. Mazac and M.F. Paulos, Bootstrapping the 3d Ising twist defect, JHEP 03 (2014) 100 [arXiv:1310.5078] [INSPIRE].
D. Bashkirov, Bootstrapping the \( \mathcal{N}=1 \) SCFT in three dimensions, arXiv:1310.8255 [INSPIRE].
M. Berkooz, R. Yacoby and A. Zait, Bounds on \( \mathcal{N}=1 \) superconformal theories with global symmetries, JHEP 08 (2014) 008 [arXiv:1402.6068] [INSPIRE].
Y. Nakayama and T. Ohtsuki, Approaching the conformal window of O(n) × O(m) symmetric Landau-Ginzburg models using the conformal bootstrap, Phys. Rev. D 89 (2014) 126009 [arXiv:1404.0489] [INSPIRE].
Y. Nakayama and T. Ohtsuki, Five dimensional O(N)-symmetric CFTs from conformal bootstrap, Phys. Lett. B 734 (2014) 193 [arXiv:1404.5201] [INSPIRE].
S.M. Chester, J. Lee, S.S. Pufu and R. Yacoby, The \( \mathcal{N}=8 \) superconformal bootstrap in three dimensions, JHEP 09 (2014) 143 [arXiv:1406.4814] [INSPIRE].
F. Caracciolo, A.C. Echeverri, B. von Harling and M. Serone, Bounds on OPE coefficients in 4D conformal field theories, JHEP 10 (2014) 020 [arXiv:1406.7845] [INSPIRE].
L.F. Alday and A. Bissi, Generalized bootstrap equations for \( \mathcal{N}=4 \) SCFT, JHEP 02 (2015) 101 [arXiv:1404.5864] [INSPIRE].
Y. Nakayama and T. Ohtsuki, Bootstrapping phase transitions in QCD and frustrated spin systems, Phys. Rev. D 91 (2015) 021901 [arXiv:1407.6195] [INSPIRE].
S.M. Chester, J. Lee, S.S. Pufu and R. Yacoby, Exact correlators of BPS operators from the 3d superconformal bootstrap, JHEP 03 (2015) 130 [arXiv:1412.0334] [INSPIRE].
J.-B. Bae and S.-J. Rey, Conformal bootstrap approach to O(N) fixed points in five dimensions, arXiv:1412.6549 [INSPIRE].
C. Beem, M. Lemos, P. Liendo, L. Rastelli and B.C. van Rees, The \( \mathcal{N}=2 \) superconformal bootstrap, arXiv:1412.7541 [INSPIRE].
S.M. Chester, S.S. Pufu and R. Yacoby, Bootstrapping O(N) vector models in 4 < d < 6, Phys. Rev. D 91 (2015) 086014 [arXiv:1412.7746] [INSPIRE].
M.S. Costa, J. Penedones, D. Poland and S. Rychkov, Spinning conformal correlators, JHEP 11 (2011) 071 [arXiv:1107.3554] [INSPIRE].
M.S. Costa, J. Penedones, D. Poland and S. Rychkov, Spinning conformal blocks, JHEP 11 (2011) 154 [arXiv:1109.6321] [INSPIRE].
D. Simmons-Duffin, Projectors, shadows and conformal blocks, JHEP 04 (2014) 146 [arXiv:1204.3894] [INSPIRE].
A. Dymarsky, On the four-point function of the stress-energy tensors in a CFT, arXiv:1311.4546 [INSPIRE].
C. Beem et al., Infinite chiral symmetry in four dimensions, Commun. Math. Phys. 336 (2015) 1359 [arXiv:1312.5344] [INSPIRE].
A.L. Fitzpatrick et al., Covariant approaches to superconformal blocks, JHEP 08 (2014) 129 [arXiv:1402.1167] [INSPIRE].
Z.U. Khandker, D. Li, D. Poland and D. Simmons-Duffin, \( \mathcal{N}=1 \) superconformal blocks for general scalar operators, JHEP 08 (2014) 049 [arXiv:1404.5300] [INSPIRE].
Wolfram Research, Mathematica, Wolfram Research Inc., Champaign U.S.A. (2014).
GNU Linear Programming Kit, http://www.gnu.org/software/glpk/glpk.html.
IBM ILOG CPLEX Optimizer (2010), http://www-01.ibm.com/software/integration/optimization/cplex-optimizer/.
M. Yamashita, K. Fujisawa, M. Fukuda, K. Nakata and M. Nakata, A high-performance software package for semidefinite programs: SDPA 7, Research Report B-463, Dept. of Mathematical and Computing Science, Tokyo Institute of Technology, Tokyo Japan (2010).
M. Yamashita, K. Fujisawa and M. Kojima, Implementation and evaluation of SDPA 6.0 (SemiDefinite Programming Algorithm 6.0), Optim. Method. Softw. 18 (2003) 491.
M. Nakata, A numerical evaluation of highly accurate multiple-precision arithmetic version of semidefinite programming solver: SDPA-GMP, -QD and -DD, IEEE Int. Symp. CACSD (2010) 29.
Y. Nesterov and A. Nemirovskii, Interior-point polynomial algorithms in convex programming, Society for Industrial and Applied Mathematics (1994) [doi:10.1137/1.9781611970791].
F. Alizadeh, Combinatorial optimization with interior point methods and semidefinite matrices, Ph.D. Thesis, University of Minnesota, Minneapolis U.S.A. (1991).
C. Helmberg, F. Rendl, R.J. Vanderbei and H. Wolkowicz, An interior-point method for semidefinite programming, SIAM J. Optim. 6 (1996) 342.
L. Vandenberghe and S. Boyd, A primal-dual potential reduction method for problems involving matrix inequalities, Math. Program. 69 (1995) 205.
C. Hanselka and M. Schweighofer, Matrix polynomials positive semidefinite on intervals, to appear.
M.-D. Choi, T.-Y. Lam and B. Reznick, Real zeros of positive semidefinite forms. I, Math. Z. 171 (1980) 1.
E.M. Aylward, S.M. Itani and P.A. Parrilo, Explicit SOS decompositions of univariate polynomial matrices and the Kalman-Yakubovich-Popov lemma, IEEE Conf. Decis. Contr. (2007) 5660.
M.J. Todd, A study of search directions in primal-dual interior-point methods for semidefinite programming, Optim. Method. Softw. 11 (1999) 1.
M. Kojima, S. Shindoh and S. Hara, Interior-point methods for the monotone semidefinite linear complementarity problem in symmetric matrices, SIAM J. Optim. 7 (1997) 86.
R.D. Monteiro, Primal-dual path-following algorithms for semidefinite programming, SIAM J. Optim. 7 (1997) 663.
S. Mehrotra, On the implementation of a primal-dual interior point method, SIAM J. Optim. 2 (1992) 575.
Z. Liu and L. Vandenberghe, Low-rank structure in semidefinite programs derived from the KYP lemma, IEEE Decis. Contr. (2007) 5652.
M.F. Anjos and S. Burer, On handling free variables in interior-point methods for conic linear optimization, SIAM J. Optim. 18 (2007) 1310.
K. Kobayashi, K. Nakata and M. Kojima, A conversion of an SDP having free variables into the standard form SDP, Comput. Optim. Appl. 36 (2007) 289.
C. Lanczos, An iteration method for the solution of the eigenvalue problem of linear differential and integral operators, J. Res. Nat. Bur. Std. 45 (1950) 225.
T. Granlund and the GMP Development Team, GNU MP: the GNU Multiple Precision Arithmetic Library, ed. 5.0.5 (2012), http://gmplib.org/.
M. Nakata, The MPACK (MBLAS/MLAPACK); a multiple precision arithmetic version of BLAS and LAPACK, ed. 0.6.7 (2010), http://mplapack.sourceforge.net/.
C++ Standards Committee Library Working Group and other contributors, BOOST C++ libraries, http://www.boost.org.
L. Thomason, TinyXML2, http://www.grinninglizard.com/tinyxml2docs/index.html.
OpenMP Architecture Review Board, OpenMP application program interface, version 3.0 (2008), http://www.openmp.org/mp-documents/spec30.pdf.
M. Hasenbusch, Finite size scaling study of lattice models in the three-dimensional Ising universality class, Phys. Rev. B 82 (2010) 174433 [arXiv:1004.4486].
P. Borwein et al., The inverse symbolic calculator (1995), http://oldweb.cecm.sfu.ca/projects/ISC/ISCmain.html.
F. Lenz, The ratio of proton and electron masses, Phys. Rev. 82 (1951) 554.
M.F. Paulos, JuliBootS: a hands-on guide to the conformal bootstrap, arXiv:1412.4127 [INSPIRE].
F. Kos, D. Poland, D. Simmons-Duffin and A. Vichi, Bootstrapping the O(N) archipelago, arXiv:1504.07997 [INSPIRE].
M. Caselle, G. Costagliola and N. Magnoli, Numerical determination of the operator-product-expansion coefficients in the 3D Ising model from off-critical correlators, Phys. Rev. D 91 (2015) 061901 [arXiv:1501.04065] [INSPIRE].
L. Iliesiu et al., Bootstrapping 3D fermions, to appear.
S. Hellerman, A universal inequality for CFT and quantum gravity, JHEP 08 (2011) 130 [arXiv:0902.2790] [INSPIRE].
D. Friedan and C.A. Keller, Constraints on 2d CFT partition functions, JHEP 10 (2013) 180 [arXiv:1307.6562] [INSPIRE].
D. Pappadopulo, S. Rychkov, J. Espin and R. Rattazzi, OPE convergence in conformal field theory, Phys. Rev. D 86 (2012) 105043 [arXiv:1208.6449] [INSPIRE].
M. Hogervorst and S. Rychkov, Radial coordinates for conformal blocks, Phys. Rev. D 87 (2013) 106004 [arXiv:1303.1111] [INSPIRE].
Open Access
This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.
Author information
Authors and Affiliations
Corresponding author
Additional information
ArXiv ePrint: 1502.02033
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Simmons-Duffin, D. A semidefinite program solver for the conformal bootstrap. J. High Energ. Phys. 2015, 174 (2015). https://doi.org/10.1007/JHEP06(2015)174
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/JHEP06(2015)174