The below statement was inadvertently missed out during the typesetting process. The correct text is provided below.
In Sect. 4.1, the list of certificates a solver could return for conic continuous optimization problems is not complete as claimed,
as the paper was published without the following fifth point:
-
certified dual facial reducibility when we are given a feasible point to problem (P), modified such that b and B are fixed to zero,
with a zero-valued objective value,
cTc+<C,X>=0
(within a tolerance), and non-zero entries of any self-dual cone.
This is a facial reduction certificate for (D) showing it to be ill-posed in the sense of Renegar [2].
This certificate is needed when the problem (P) has an unattained optimal solution or if the objective value can be
improved indefinitely even though it has no improving ray (i.e., no certificate of dual infeasibility exists).
Both cases are shown to occur in [1] where an algorithm is furthermore constructed with the property of always
returning one of the five certificates. This shows the corrected list of certificates to be complete.