description: [X,fX,trace_min,flat,error_flat,norm_H,range]=NCtraceOptRand(f,S,d) computes lower bounds for trace of f over all symmetric matrices from D_S: ie bounds L_{\Theta^2}^{s} for s=d/2 and s=d/2+delta, delta=deg(S)/2
Function also tries to extend the optimal solution underlying L_{\Theta^2}^{d/2+delta} to a flat solution using randomization idea arguments: f is an NCpoly representing a polynomial
S is a set of nc polynomails defining D_S d is a starting degree for the hierarchy (even number) output: X: from GNS - a matrix where each of its rows represents a square matrix
fX: f(X) where X is from GNS trace_min: L_{\Theta^2}^{s} flat = 1 if program finds flat extension flat = 0, if program does not find flat ext. flat = -1 if the primal problem is infeasible (f is not in the module error_flat ... norm of the difference between the flat extension returned by randomization idea and the brute force flat extension (which is no more feasible for constraints) norm_H ... Frobenious norm of flat extension returned by randomization idea range ... diference between ranks of original matrix and flat extension used 3 methods for rank computation possible usage: NCtraceOptRand(f,S,d)
|
Documentation >