Using eigenvalue in JuMP constraint

Specific Domains Optimization (Mathematical)
4

What are you trying to do? Do you want Z to be positive semi-definite? You can do something like:

using JuMP
model = Model()
@variable(model, X[1:2, 1:2] >= 0)
@variable(model, c[1:2] >= 0)
@variable(model, Y[1:2, 1:2])
# @constraint(model, Y * X + X' * Y - c * c' >= 0, PSDCone())
Z = Y * X + X' * Y - c * c'
@constraint(model, Z >= 0, PSDCone())

Using eigen in nonlinear constraints isn’t supported.

Edit: I just tried my original suggestion and it looks like there is a bug: Bug with promote and adjoint of a vector · Issue #154 · jump-dev/MutableArithmetics.jl · GitHub