sdpb
sdpb copied to clipboard
davidsd
A semidefinite program solver for the conformal bootstrap.
This PR resolves #74 Currently this branch does not faithfully build tests. The last commit where everything apart from tests works is 9baff5e. Here's a list of things to fix...
If there are several input files for `pmp2sdp`, currently one has to create `.nsv` file with the file list. It would be more convenient to and pass the directory path...
# Repro ## The problem Consider the problem: `maximize -y s.t. 1+x^4 + y(x^4/12 + x^2) >= 0 for all x>=2, and for x=2/3, x=4/3` It has solution `y =...
Currently, `sdpb --version` prints only its own version + Elemental configuration. It should print versions for all libraries, e.g. Boost, GMP, MPFR etc.
This is an umbrella issue for `pvm2sdp`/`sdp2input` formats, naming and other things that could be improved. # TL;DR - [x] #79 - [ ] #78 - [x] #185 - [x]...
In our code, we write JSON manually - this is hard to read and edit. We should use [rapidjson::Writer](https://rapidjson.org/md_doc_sax.html#Writer) instead of reinventing the wheel. Example of our code: https://github.com/davidsd/sdpb/blob/3169d9f80bec1399572dfa10fdb1b72d34a40c9a/src/pmp2sdp/write_block_data.cxx#L14-L37
# Problem Common use case: - User runs sdp2input, it writes sdp to disk - User run sdpb, it reads sdp from disk and runs solver - Intermediate sdp is...
For simple non-polynomial SDPs, there are standard SDP formats, such as `cbf` (see https://cblib.zib.de/doc/format2.pdf) and `dat-s` (see http://opt.imi.kyushu-u.ac.jp/~fujisawa/sdpa_doc.pdf). SDPB could support these formats along with their gzip compressed versions, `cbf.gz`...
Could there be some bug in (the new version of) `spectrum`? I don't see where I can obtain the OPE or `lambda` of a fixed-x vector. It seems to just...
