Section 2 defines entrywise objective, max-entry constraint, symmetric selection and column linear programs. Positive definiteness is a theorem under assumptions, not a program constraint.