DOKK / manpages / debian 12 / sdpb / sdpb.1.en
SDPB(1) User Commands SDPB(1)

sdpb - Semidefinite program solver

sdpb [OPTIONS] [SOLVER PARAMETERS]

ERROR: the option '--sdpFile' is required but missing

Show this helpful message.
SDP data file in XML format.
Any parameter can optionally be set via this file in key=value format. Command line arguments override values in the parameter file.
The optimal solution is saved to this file in Mathematica format. Defaults to sdpFile with '.out' extension.
Checkpoints are saved to this file every checkpointInterval. Defaults to sdpFile with '.ck' extension.

Precision in binary digits. GMP will round up to the nearest multiple of 64 (or 32 on older systems).
Maximum number of threads to use for parallel calculation.
Save checkpoints to checkpointFile every checkpointInterval seconds.
Don't save a final checkpoint after terminating (useful when debugging).
Terminate once a primal feasible solution is found.
Terminate once a dual feasible solution is found.
Terminate if a primal-step of 1 is taken. This often indicates that a primal feasible solution would be found if the precision were high enough. Try increasing either primalErrorThreshold or precision and run from the latest checkpoint.
Terminate if a dual-step of 1 is taken. This often indicates that a dual feasible solution would be found if the precision were high enough. Try increasing either dualErrorThreshold or precision and run from the latest checkpoint.
Maximum number of iterations to run the solver.
Maximum amount of time to run the solver in seconds.
Threshold for duality gap (roughly the difference in primal and dual objective) at which the solution is considered optimal. Corresponds to SDPA's epsilonStar.
Threshold for feasibility of the primal problem. Corresponds to SDPA's epsilonBar.
Threshold for feasibility of the dual problem. Corresponds to SDPA's epsilonBar.
The primal matrix X begins at initialMatrixScalePrimal times the identity matrix. Corresponds to SDPA's lambdaStar.
initialMatrixScaleDual times the identity matrix. Corresponds to SDPA's lambdaStar.
Shrink the complementarity X Y by this factor when the primal and dual problems are feasible. Corresponds to SDPA's betaStar.
Shrink the complementarity X Y by this factor when either the primal or dual problems are infeasible. Corresponds to SDPA's betaBar.
Shrink each newton step by this factor (smaller means slower, more stable convergence). Corresponds to SDPA's gammaStar.
Adds stabilizing terms to the cholesky decomposition of the schur complement matrix for diagonal entries which are smaller than this threshold times the geometric mean of other diagonal entries. Somewhat higher choleskyStabilizeThreshold can improve numerical stability but if the threshold is large enough that a high proportion of eigenvalues are being stabilized, the computation will slow substantially.
Terminate if the complementarity mu = Tr(X Y)/dim(X) exceeds this value.

The example files are contained in the package sdpb-doc and can be found at /usr/share/doc/sdpb-doc/examples/.

The input format for SDPB is XML-based and described in the manual. The Mathematica file mathematica/SDPB.m includes code to export semidefinite programs in this format, along with some examples. An example input file test.xml is included as well.

Two python wrappers for SDPB are also available:


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

The SDPB manual and the README file are contained in the package sdpb-doc and can be found at /usr/share/doc/sdpb-doc/.

The full documentation for sdpb is maintained as a Texinfo manual. If the info and sdpb programs are properly installed at your site, the command

info sdpb

should give you access to the complete manual.


This manpage was written by Nilesh Patra for the Debian distribution and
can be used for any other usage of the program.

February 2021 sdpb 1.0