テンソルランクはVNPにありますか?


8

3次元テンソルのテンソルランクがVNP(非決定論的バリアントクラス)にあるかどうかはわかりますか?はいの場合、高次元テンソルランクについて何がわかっていますか?

実際、私はもっと単純な問題に興味があります。私は1つのクラスの非ゼロ多項式を構築することができるかどうかを知りたいに、VNPのどの嘘そのような変数のテンソル階数なら未満N ^ {1.9} 。簡単にするために、\ mathbb {C}で作業していると仮定します。fnf iT = 0 T n 1.9 Cn3fi(T)=0Tn1.9C

高ランクのTに対してfi(T)=0であれば、すべての小さなランクテンソルに対して必要なのはf_i(T)= 0だけでよいことです。Tfi(T)=0


回答:


9

特定のランクのテンソルのコレクション、またはランクが最大でのテンソルのコレクションも(ザリスキ)閉じたセットではないため、複雑性に関係なく、多項式のセットの消失軌跡とは言えません。(ただし、以上の有限体テンソルランクはある -completeとオーバーそれがであることが知られて-hardではなく、。しかし、これらは通常、ブールのクラスではなく、ヴァリアントの類似体です。)N P Q N P N PkNPQNPNP

ランクが最大でテンソルのセットのクロージャは、境界が最大でテンソルのセットです。その消失座せいぜい境界ランクのテンソルのセットである多項式の集合呼び出しせいぜい境界ランクの式を定義する(集合論的)のシステム。このような定義方程式は小さなで知られていますが、ほとんどのこのような定義方程式を見つけることは、行列乗算の境界ランクと乗算の複雑さに関連する、長年にわたる未解決の問題です。k k k k kkkkkkk

序論といくつかの参考文献については、ランズバーグのBulletin記事「ジオメトリと行列乗算の複雑さ」を参照してください。また、ボーダーランクの方程式の定義について知られているすべてについては、ランズバーグの最近の本「テンソル:ジオメトリとアプリケーション」無料で入手できる序論)を参照してください。


ご回答ありがとうございます。高いランクのであれば問題ないことに注意してください。すべての小さいランクのテンソルでが必要なだけです。T f T = 0f(T)=0Tf(T)=0
クリム

@Klim:おそらく、もゼロ関数ではないことを望みます...それを超えて、たとえばがその入力のすべてのに依存するなど、に追加したい非自明性の条件がありますか?(もしそうなら、あなたは質問にその明確化を追加するかもしれません。)f f n 3fffn3
ジョシュア・グローホー

はそのすべての入力に依存するわけではありません。f
クリム
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.