関数の最大のクラスは何である

[1]には、

「それは、内のすべての関数か否かの未解決の問題のまま有する（少なくともしないすべてことが知られているが回路関数はDLogTime均一有する回路）。」 $\#P$ $TC^0$ $\#P$ $TC^0$

DLogTime関数によって生成された回路が含まれていない。あれば私たちは知っていない任意の関数によって生成された回路が含まれていません。 $TC^0$ $\#P$ $TC^0$ $\#P$

これらの2つの間のケースについて何か既知のものはありますか？場合などは、それが知られているによって生成回路含まれていない？ $TC^0$ $L$ $\#P$

[1] Agarwal、Allender、およびDatta、「On 、、および算術回路」 $TC^0$ $AC^0$

— T ....
ソース

@Kavehあなたはあなたの答えを保つことができます。たぶんあなたはそれが誤ったバージョンのためであったと言うことができます。

— T ...

質問の答えにはならないと思いますので、答えにはなりません。:)

— カヴェ

まあそれはいくつかの素晴らしい詳細がありました。

— T ...

私の知る限り、これは（興味深い）未解決の問題です。Rahul Santhanamと私は、パーマネントを証明する問題が、CCC'13ペーパー（中程度の均一性と回路の下限について）のLOGSPACE-uniform TC0にはないことを明確に述べています。

— ライアン・ウィリアムス
ソース

より保守的に、DTISPについて質問することができます

(\log (n) \cdot (\log (\log (n)))^{o (1)}, O (\log (n)))

$\hspace{-0.04 in}\left(\log(n)\hspace{-0.04 in}\cdot \hspace{-0.03 in}(\log(\log(n)))^{o(1)}\hspace{-0.02 in},\hspace{-0.02 in}O(\log(n))\right)\hspace{-0.02 in}$ -均一。

$\;\;\:\:$

@Ricky Demer、それはすでに知られています。たとえば、ChenとKabanets eccc.hpi-web.de/report/2012/007/downloadを

— Ryan Williams

まあ、その論文によると、POLYLOGTIMEは「#Pが含まれていないことがわかるような関数Cのクラス」C-uniform TC0です。

$\:$ さらに、パディングにより、POLYLOGTIMEはDLOGTIMEより大きくなります。

正確に...したがって、上記の均一性の下限はすでにわかっています。

— ライアンウィリアムズ

...そして、それらの下限はあなたの答えでは言及されていません。

$\;$