Conic quadratic modeling

31 views
Skip to first unread message

İrem BAHTİYAR

unread,
Aug 1, 2025, 12:30:51 AMAug 1
to mosek
Hello I am trying to model the constraint in the screenshot, epsilon and gamma_i s are variables and theta=0.5. I tried to use mf.Domain.inRotatedQCone() this but it seems like it doesnt work. Do you have any idea how can I model this? I am using python.
Thanks.
Screenshot 2025-07-31 at 2.23.43 PM.png

Erling D. Andersen

unread,
Aug 1, 2025, 1:54:00 AMAug 1
to mosek
Is your problem convex?  

Erling D. Andersen

MOSEK APS 
Fruebjergvej 3, 
Symbion Science Park Box 16, 
DK-2100 Copenhagen O


fre. 1. aug. 2025, 06.30 skrev İrem BAHTİYAR <irem.ba...@gmail.com>:
Hello I am trying to model the constraint in the screenshot, epsilon and gamma_i s are variables and theta=0.5. I tried to use mf.Domain.inRotatedQCone() this but it seems like it doesnt work. Do you have any idea how can I model this? I am using python.
Thanks.

--
You received this message because you are subscribed to the Google Groups "mosek" group.
To unsubscribe from this group and stop receiving emails from it, send an email to mosek+un...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/mosek/656c7e11-c70d-44e3-846d-3b9ddfc26c42n%40googlegroups.com.

İrem BAHTİYAR

unread,
Aug 5, 2025, 2:56:24 AMAug 5
to mo...@googlegroups.com
The mathematical model i am trying to code is below for theta=0.5, a, x and B_i are vectors like a=[-1,0], x=[t,1], and B is a parameter vector.  I think it is convex.
Screenshot 2025-08-01 at 8.52.11 AM.png

Erling D. Andersen

unread,
Aug 5, 2025, 8:16:15 AMAug 5
to mosek
My thinking is that your model is nonconvex.

Please show us the proof for the claimed convexity. That should be very useful to convert the model to conic form.

Michal Adamaszek

unread,
Aug 5, 2025, 1:44:03 PMAug 5
to mosek
When theta=0.5 then the exponent equals theta/(theta-1)=-1. The only nonlinearities in the model are of the form

xi * (gamma/xi)^(-1) = xi^2 / gamma

which is known in most modeling tools as quad_over_lin and the constraint

something >=  xi^2/gamma

is equivalent to

something * gamma >= xi^2

and can be written using the rotated quadratic cone (assuming/enforcing gamma>0). So the model should be possible.

(I am assuming all coefficients like p_i are nonnnegative and the assummed gamma_i is nonnegative etc. as enforced by the remaining convexity requirements of the problem and by the definition of the RSOC cone).

From the statement "I tried to use mf.Domain.inRotatedQCone() this but it seems like it doesnt work" it is not clear what you did, what went wrong, or how to help.

Michal

Erling D. Andersen

unread,
Aug 6, 2025, 7:35:20 AMAug 6
to mosek
As far I can see the t in objective appears nowhere in the constraints. 

I misread the 1 in the exponent as t. 

Erling D. Andersen

MOSEK APS 
Fruebjergvej 3, 
Symbion Science Park Box 16, 
DK-2100 Copenhagen O

İrem BAHTİYAR

unread,
Aug 8, 2025, 3:04:29 AMAug 8
to mosek
Hello,
Thank you all for your comments. first of all, x is a vector containing t, so there is t in the constraints. I tried exactly what Micheal said and now it is working, thank you again for your help.
Best

Reply all
Reply to author
Forward
0 new messages