Related papers: Sparsity in the numerical six-point bootstrap
In this work we initiate a positive semi-definite numerical bootstrap program for multi-point correlators. Considering six-point functions of operators on a line we reformulate the crossing symmetry equation for a pair of comb-channel…
Many problems in control theory can be formulated as semidefinite programs (SDPs). For large-scale SDPs, it is important to exploit the inherent sparsity to improve the scalability. This paper develops efficient first-order methods to solve…
In recent years, many estimation problems in robotics have been shown to be solvable to global optimality using their semidefinite relaxations. However, the runtime complexity of off-the-shelf semidefinite programming (SDP) solvers is up to…
We study two-dimensional conformal field theories (CFTs) with boundaries via the conformal bootstrap. We derive a positive semi-definite program from crossing symmetry of three observables: the annulus partition function, the two-point…
Applications of the bootstrap program to superconformal field theories promise unique new insights into their landscape and could even lead to the discovery of new models. Most existing results of the superconformal bootstrap were obtained…
We develop new methods for approximating conformal blocks as positive functions times polynomials, with applications to the numerical bootstrap. We argue that to obtain accurate bootstrap bounds, conformal block approximations should…
We study the constraints of crossing symmetry and unitarity for conformal field theories in the presence of a boundary, with a focus on the Ising model in various dimensions. We show that an analytic approach to the bootstrap is feasible…
Semidefinite programs (SDPs) are standard convex problems that are frequently found in control and optimization applications. Interior-point methods can solve SDPs in polynomial time up to arbitrary accuracy, but scale poorly as the size of…
It is well-known that by adding integrality constraints to the semidefinite programming (SDP) relaxation of the max-cut problem, the resulting integer semidefinite program is an exact formulation of the problem. In this paper we show…
We study the conformal bootstrap for systems of correlators involving non-identical operators. The constraints of crossing symmetry and unitarity for such mixed correlators can be phrased in the language of semidefinite programming. We…
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…
Semidefinite programming (SDP) is a powerful framework from convex optimization that has striking potential for data science applications. This paper develops a provably correct randomized algorithm for solving large, weakly constrained SDP…
Semidefinite programming (SDP) problems are challenging to solve because of their high dimensionality. However, solving sparse SDP problems with small tree-width are known to be relatively easier because: (1) they can be decomposed into…
Neural networks are central to many emerging technologies, but verifying their correctness remains a major challenge. It is known that network outputs can be sensitive and fragile to even small input perturbations, thereby increasing the…
The combination of integrability and crossing symmetry has proven to give tight non-perturbative bounds on some planar structure constants in $\mathcal{N}$=4 SYM, particularly in the setup of defect observables built on a Wilson-Maldacena…
The numerical conformal bootstrap is used to study mixed correlators in $\mathcal{N}=1$ superconformal field theories (SCFTs) in $d=4$ spacetime dimensions. Systems of four-point functions involving scalar chiral and real operators are…
The matching problem between two adjacency matrices can be formulated as the NP-hard quadratic assignment problem (QAP). Previous work on semidefinite programming (SDP) relaxations to the QAP have produced solutions that are often tight in…
Kohn-Sham density functional theory (DFT) has long struggled with the accurate description of strongly correlated and open shell systems and improvements have been minor even in the newest hybrid functionals. In this Letter we treat the…
We study a general class of functionals providing an analytic handle on the conformal bootstrap equations in one dimension. We explicitly identify the extremal functionals, corresponding to theories saturating conformal bootstrap bounds, in…
We study the conformal bootstrap constraints for 3D conformal field theories with a $\mathbb{Z}_2$ or parity symmetry, assuming a single relevant scalar operator $\epsilon$ that is invariant under the symmetry. When there is additionally a…