We prove that every fan-in $2$ noncommutative arithmetic circuit computing the palindrome polynomial has size $Ω(nd)$. In particular, when $d=n$ we obtain an $Ω(n^2)$ lower bound. The proof builds on and refines a previous work of the author. Key ideas in the proof were generated by Gemini 3.1 Pro.

翻译：暂无翻译