Software

  • Formal certificates for the computer-assisted proof of Theorem 2.1 in paper titled "Convex ternary quartics are sos-convex" (with Blekherman and Parrilo) 
    • Link to Colab file (no software download required)
  • Software for DSOS and SDSOS optimization, implemented in SPOTless (package by Megretski, Tobenkin, Permenter) with add-on by Anirudha Majumdar.
  • Code (written by my student Jeff Zhang) for approximation of Nash equilibria of bimatrix games via SDP:
    • nash.m computes an approximate Nash equilibrium.
    • nashbound.m gives a lower bound on the minimum of an input quadratic function over the set of Nash equilibria.
    • See related paper here for details.
  • Problem instances for our paper "Optimization over structured subsets of psd matrices via column generation" (with Sanjeeb Dash and Georgina Hall)
  • Formal certificates for computer assisted proofs of some of our papers:
    • Certificates for the paper "A Complete Characterization of the Gap between Convexity and SOS-Convexity"
      (Attachment below: Minimal_counterexamples_certificates.zip)
    • Rational SOS certificates for the paper "A Convex Polynomial that Is not SOS-Convex". 
      (Attachment below: rationalSOSconvex_not_sosconvex.m)
  • Data and code accompanying our paper on the joint spectral radius and path-complete Graph Lyapunov functions
    • Counterexamples associated with the Hasse diagram of Section 4
    • Code for the wavelet application (Example 5.8)
  • A MATLAB code for finding nonnegative polynomials that are not sums of squares using semidefinite programming. 
    (removed the file since the code needs some clean up, but email me if interested)
  • A few links to useful (and free!) software packages related to my research:
DownloadAuthor and DateVersion
Minimal_counterexamples_certificates.zip (66k)Amir Ali Ahmadi, Nov 19, 2011, 2:15 PMv.1
rationalSOSconvex_not_sosconvex.m (9k)Amir Ali Ahmadi, Mar 17, 2011, 7:54 AMv.1