# how to determine a biquadratic form is positive-definite

A biquadratic form $\sum_{i,j,k,l}b_{i,j,k,l}x_{i}x_{j}y_{k}y_{l}$， how to determine whether it is positive-definite？

A necessary and sufficient condition？

In fact, I have a matrix $B=\sum_{1\leq i,j\leq n}A_{i,j}z_{i}z_{j}$. $A_{i,j}$ are $n\times n$ matrix, $z$ is n-dimension vector. I want to prove that B is positive-definite. I know $A_{i,j}$ are positive-definite, but the big matrix $\{A_{i,j}\}$ is not positive-definite. How can I prove that B is positive-definite.

If there is not a general conclusion, how about $n=2$?

• I'm not sure if it can help, but note that if $f(a,b,c,d)$ is the multilinear form associated to the tensor $[b_{i,j,k,l}]\in\Bbb R^{m\times m \times s \times s}$ then your are trying to determine when $f(x,x,y,y)$ is positive definite. – Surb Jul 14 '15 at 13:56
• Anyone care to explain the votes to close? – Noah Stein Jul 14 '15 at 14:48
• Can you clarify the definition of $B$ ? In your definition, $i$ and $j$ are already used. – Thomas Richard Jul 14 '15 at 14:53

In general one doesn't expect to have nice necessary and sufficient conditions for checking positivity of a biquadratic form. The sum-of-squares methods outlined in these course notes provide an efficient way of checking whether a given biquadratic form can be written as a sum of squares of bilinear forms. However, not all positive semidefinite biquadratic forms are sums of squares of bilinear forms as shown by Choi. Choi cites references that positivity is equivalent to being a sum of squares of of bilinear terms for $n=1,2$ and gives an explicit example showing that this characterization fails for $n\geq 3$.
• Thanks. I can give a pretty good string of examples by a different guy, at what I suspect is a similar level. Here is the sixth question on a variant of Hadamard matrices math.stackexchange.com/questions/1359986/… where the initial post allowed entries $1,0,-1$ in the matrices. If you look at all his questions, it just appears that he is crowdsourcing something like a Master's project instead of doing anything himself, including simple computer runs for $n$ by $n$ examples with $n$ smaller – Will Jagy Jul 14 '15 at 19:28