<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0" xml:base="http://openproblemgarden.org" xmlns:dc="http://purl.org/dc/elements/1.1/">
<channel>
 <title>Open Problem Garden - Waring rank of determinant - Comments</title>
 <link>http://openproblemgarden.org/op/waring_rank_of_determinant</link>
 <description>Comments for &quot;Waring rank of determinant&quot;</description>
 <language>en</language>
<item>
 <title>Waring rank of determinant</title>
 <link>http://openproblemgarden.org/op/waring_rank_of_determinant</link>
 <description>&lt;table cellspacing=&quot;10&quot;&gt;
&lt;tr&gt;
  &lt;td&gt;
    Author(s):
        &lt;a href=&quot;/category/teitler_zach&quot;&gt;Teitler&lt;/a&gt;&amp;nbsp;&amp;nbsp;
  &lt;/td&gt;
  &lt;td align=right&gt;
    Subject:
        &lt;a href=&quot;/category/algebra&quot;&gt;Algebra&lt;/a&gt;&amp;nbsp;&amp;nbsp;
  &lt;/td&gt;
&lt;/tr&gt;

&lt;tr&gt;
  &lt;td colspan=2&gt;
    &lt;table border=1 cellspacing=&quot;5&quot;&gt;
      &lt;tr&gt;&lt;td&gt;
        &lt;div class=&quot;envtheorem&quot;&gt;&lt;b&gt;Question&lt;/b&gt;&amp;nbsp;&amp;nbsp; What is the Waring rank of the determinant of a &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/c45454a8c7fc8473f2857a4a8ab99a16acf68925.png&quot; alt=&quot;$ d \times d $&quot; /&gt; generic matrix?  &lt;/div&gt;
&lt;p&gt;For simplicity say we work over the complex numbers. The &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/c45454a8c7fc8473f2857a4a8ab99a16acf68925.png&quot; alt=&quot;$ d \times d $&quot; /&gt; generic matrix is the matrix with entries &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/153763bb77e4900f1f8581c92819b890e93e32e5.png&quot; alt=&quot;$ x_{i,j} $&quot; /&gt; for &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/0432f30f0683856330c78607d0812c256e5ee97b.png&quot; alt=&quot;$ 1 \leq i,j \leq d $&quot; /&gt;. Its determinant is a homogeneous form of degree &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/aeba4a4076fc495e8b5df04d874f2911a838883a.png&quot; alt=&quot;$ d $&quot; /&gt;, in &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/791e3b923e6dd273589a663f8ad3e69230390626.png&quot; alt=&quot;$ d^2 $&quot; /&gt; variables. If &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/bfff269cc7df9bdb7c57d8b6a2a74020d114f24d.png&quot; alt=&quot;$ F $&quot; /&gt; is a homogeneous form of degree &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/aeba4a4076fc495e8b5df04d874f2911a838883a.png&quot; alt=&quot;$ d $&quot; /&gt;, a power sum expression for &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/bfff269cc7df9bdb7c57d8b6a2a74020d114f24d.png&quot; alt=&quot;$ F $&quot; /&gt; is an expression of the form &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/873a0aeb8aecc54032629dd5abb0045608e64c2b.png&quot; alt=&quot;$ F = \ell_1^d+\dotsb+\ell_r^d $&quot; /&gt;, the &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/96a79223f375ab480fe62ed8d8fb26d0641cdf94.png&quot; alt=&quot;$ \ell_i $&quot; /&gt; (homogeneous) linear forms. The Waring rank of &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/bfff269cc7df9bdb7c57d8b6a2a74020d114f24d.png&quot; alt=&quot;$ F $&quot; /&gt; is the least number of terms &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/535dee6c3b72bcc4d571239ed00be162ee1e6fbe.png&quot; alt=&quot;$ r $&quot; /&gt; in any power sum expression for &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/bfff269cc7df9bdb7c57d8b6a2a74020d114f24d.png&quot; alt=&quot;$ F $&quot; /&gt;. For example, the expression &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/5664d9f302ac356b4f937d72ed56ccfae5add933.png&quot; alt=&quot;$ xy = \frac{1}{4}(x+y)^2 - \frac{1}{4}(x-y)^2 $&quot; /&gt; means that &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/39834c9449acbf29f08da826e15123c18a148479.png&quot; alt=&quot;$ xy $&quot; /&gt; has Waring rank &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/5271e36bb1c040e0f14061d89cd97d0c86d4e06f.png&quot; alt=&quot;$ 2 $&quot; /&gt; (it can&#039;t be less than &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/5271e36bb1c040e0f14061d89cd97d0c86d4e06f.png&quot; alt=&quot;$ 2 $&quot; /&gt;, as &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/47b3861a873188fa0f87f1efd52a5f9dc5c70e9b.png&quot; alt=&quot;$ xy \neq \ell_1^2 $&quot; /&gt;).&lt;/p&gt;
&lt;p&gt;The &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/b9045f9c95c0be1d0b99179efd3eb9879bbe0650.png&quot; alt=&quot;$ 2 \times 2 $&quot; /&gt; generic determinant &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/9cd3a64cab2fa658370aa0447d6ca259e6ccbd9c.png&quot; alt=&quot;$ x_{1,1}x_{2,2}-x_{1,2}x_{2,1} $&quot; /&gt; (or &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/92b95c8c8282aa59955fe9a543bd686d885fea30.png&quot; alt=&quot;$ ad-bc $&quot; /&gt;) has Waring rank &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/1f1498726bb4b7754ca36de46c0ccdd09136d115.png&quot; alt=&quot;$ 4 $&quot; /&gt;. The Waring rank of the &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/7547bf159f6c0aa6d631e1c4fee70dd046c0b04d.png&quot; alt=&quot;$ 3 \times 3 $&quot; /&gt; generic determinant is at least &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/9e8caf3b47e06bce349d90ccce21b858c0d84b4e.png&quot; alt=&quot;$ 14 $&quot; /&gt; and no more than &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/cc33130e011d4451dda57fbe20578d1c2bda1643.png&quot; alt=&quot;$ 20 $&quot; /&gt;, see for instance &lt;a href=&quot;https://arxiv.org/abs/1409.0061&quot;&gt;Lower bound for ranks of invariant forms&lt;/a&gt;, Example 4.1. The Waring rank of the permanent is also of interest. The comparison between the determinant and permanent is potentially relevant to Valiant&#039;s &quot;VP versus VNP&quot; problem.&lt;/p&gt;

      &lt;/tr&gt;&lt;/td&gt;
    &lt;/table&gt;
  &lt;/td&gt;
&lt;/tr&gt;
&lt;/table&gt;</description>
 <category domain="http://openproblemgarden.org/category/teitler_zach">Teitler, Zach</category>
 <category domain="http://openproblemgarden.org/category/waring_rank_determinant">Waring rank, determinant</category>
 <category domain="http://openproblemgarden.org/category/algebra">Algebra</category>
 <comments>http://openproblemgarden.org/op/waring_rank_of_determinant#comment</comments>
 <pubDate>Fri, 15 Mar 2019 11:05:59 +0100</pubDate>
 <dc:creator>Zach Teitler</dc:creator>
 <guid isPermaLink="false">60031 at http://openproblemgarden.org</guid>
</item>
</channel>
</rss>
