I have a simple minimization with symmetry, but Julia gives an error while using symmetry reduction. I want to find the minimum of x_1^4+x_2^4+x_3^4-4x_1x_2x_3+x_1+x_2+x_3. Here is my script: using SumOfSquares using PermutationGroups using DynamicPolynomials using MosekTools G= PermGroup([perm"…

Symmetry reduction in Sumsofsquares

Khashayar-Neshat June 16, 2024, 9:56pm 2

Topic		Replies	Views
Symmetry & SOS Optimization Compatibility Issues? Optimization (Mathematical) jump , scientific-computing , algebra , compatibility	6	526	June 5, 2023
SDP Sum of Squares optimization Optimization (Mathematical) question , jump	10	737	October 27, 2022
Mosek does not give the optimal value derived by simplex methods Optimization (Mathematical) jump	10	550	November 25, 2022
Lyapunov + Symmetries = Infeasible, Lyapunov - Symmetries = Feasible Optimization (Mathematical) jump , optimization , algebra	9	627	September 22, 2023
JuMP & SumOfSquares generate SDPs with ~18x more constraints than YALMIP Optimization (Mathematical) jump	15	1624	July 30, 2021