{"id":"arxiv/2609.29568","url":"https://arxiv.org/abs/2609.29568","tags":["cs.CC","math.AG"],"score":0,"title":"An $n^2\\log\\log n$ Lower Bound for Permanent Circuits with Valid Division","domain":"cs.CC","source":"arxiv","authors":["Jizhou Guo"],"reviews":0,"subject":"cs.CC","summary":"We record lower bounds for permanent circuits with valid division over characteristic zero, counting nonscalar multiplications and divisions while additions and scalar operations are free. Chapter 5 of OpenAI's Ten Advances supplies the block construction and critical-locus estimate; these, with the parameter choice made here and the classical bounds of Strassen and Baur-Strassen, give liminf as n tends to infinity of L_div(per_n)/(n^2 log_2 log_2 n) >= 1/12. Our finite-parameter refinement for matching-minor polynomials observes that the coefficient vector at deletion size h lies in a space…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-08-26","reactions":{}}