Verification of Semidefinite Optimization Problems with Application to Variational Electronic Structure Calculation

Algorithms for computing lower and upper bounds of global optimal value, as well as enclosures of ε-optimal solutions in semidefinite programming are presented. Suggested verification methods are successfully applied to the electronic structure problem (RDM formulation) to calculate a lower bound of the ground state energy of an N-electron system.

Algorithmen zur Berechnung oberer und unterer Schranken für den Optimalwert, sowie Einschließungen ε-Optimallösungen in der semidefiniten Programmierung sind präsentiert. Die vorgeschlagenen Verifikationsverfahren wurden erfolgreich auf RDM Elektronenstrukturproblem angewendet um eine untere Grenze für die Grundzustandsenergie eines N-Elektron Systems zu ermitteln.