Abstract:We show that most arithmetic circuit lower bounds and relations between lower bounds naturally fit into the representation-theoretic framework suggested by geometric complexity theory (GCT), including: the partial derivatives technique (Nisan-Wigderson), the results of Razborov and Smolensky on $AC^0[p]$, multilinear formula and circuit size lower bounds (Raz et al.), the degree bound (Strassen, Baur-Strassen), the connected components technique (Ben-Or), depth 3 arithmetic circuit lower bounds over finite fields (Grigoriev-Karpinski), lower bounds on permanent versus determinant (Mignon-Ressayre, Landsberg-Manivel-Ressayre), lower bounds on matrix multiplication (Bürgisser-Ikenmeyer) (these last two were already known to fit into GCT), the chasms at depth 3 and 4 (Gupta-Kayal-Kamath-Saptharishi; Agrawal-Vinay; Koiran), matrix rigidity (Valiant) and others. That is, the original proofs, with what is often just a little extra work, already provide representation-theoretic obstructions in the sense of GCT for their respective lower bounds. This enables us to expose a new viewpoint on GCT, whereby it is a natural unification and broad generalization of known results. It also shows that the framework of GCT is at least as powerful as known methods, and gives many new proofs-of-concept that GCT can indeed provide significant asymptotic lower bounds. This new viewpoint also opens up the possibility of fruitful two-way interactions between previous results and the new methods of GCT; we provide several concrete suggestions of such interactions. For example, the representation-theoretic viewpoint of GCT naturally provides new properties to consider in the search for new lower bounds.

Generalized Arithmetic Kakeya

New bounds on Kakeya problems

Arithmetic Kei Theory

On the problem of Kakeya

The Assouad dimension of Kakeya sets in $\mathbb{R}^3$

Arithmeticity of the Kontsevich--Zorich monodromies of certain families of square-tiled surfaces II

Arithmeticity of the Kontsevich–Zorich monodromies of certain families of square‐tiled surfaces II

On the subadditivity of generalized Kodaira dimensions

Nonvanishing of generalised Kato classes and Iwasawa main conjectures

Higher-dimensional Dedekind sums and their bounds arising from the discrete diagonal of the n-cube

On the asymptotic density of $k$-tuples of positive integers with pairwise non-coprime components

Dedekind sums: a combinatorial-geometric viewpoint

An improved bound on the Hausdorff dimension of sticky Kakeya sets in $\mathbb{R}^4$

On Kakeya's Geometric Proof of Eneström-Kakeya's Theorem

On the Canonical Bundle Formula and Adjunction for Generalized Kaehler Pairs

Arithmetic degree and its application to Zariski dense orbit conjecture

Arithmetic degrees of dynamical systems over fields of characteristic zero

EXTREMAL PAIRS OF YOUNG'S INEQUALITY FOR KAC ALGEBRAS

Arithmetic bigness and a uniform Bogomolov-type result

Koszul duality of affine kac -

Unifying and generalizing known lower bounds via geometric complexity theory