Showing 1–2 of 2 results for author: Goucher, A P

A New Formula for the Determinant and Bounds on Its Tensor and Waring Ranks

Authors: Robin Houston, Adam P. Goucher, Nathaniel Johnston

Abstract: We present a new explicit formula for the determinant that contains superexponentially fewer terms than the usual Leibniz formula. As an immediate corollary of our formula, we show that the tensor rank of the $n \times n$ determinant tensor is no larger than the $n$-th Bell number, which is much smaller than the previously best known upper bounds when $n \geq 4$. Over fields of non-zero characteri… ▽ More We present a new explicit formula for the determinant that contains superexponentially fewer terms than the usual Leibniz formula. As an immediate corollary of our formula, we show that the tensor rank of the $n \times n$ determinant tensor is no larger than the $n$-th Bell number, which is much smaller than the previously best known upper bounds when $n \geq 4$. Over fields of non-zero characteristic we obtain even tighter upper bounds, and we also slightly improve the known lower bounds. In particular, we show that the $4 \times 4$ determinant over $\mathbb{F}_2$ has tensor rank exactly equal to $12$. Our results also improve upon the best known upper bound for the Waring rank of the determinant when $n \geq 17$, and lead to a new family of axis-aligned polytopes that tile $\mathbb{R}^n$. △ Less

Submitted 6 January, 2025; v1 submitted 16 January, 2023; originally announced January 2023.

Comments: v2 is the same as the published version

MSC Class: 15A15; 52C22

Journal ref: Combinator. Probab. Comp. 33 (2024) 769-794

Invariant means on Abelian groups capture complementability of Banach spaces in their second duals

Authors: Adam P. Goucher, Tomasz Kania

Abstract: Let $X$ be a Banach space. Then $X$ is complemented in the bidual $X^{**}$ if and only if there exists an invariant mean $\ell_\infty(G, X)\to X$ with respect to a free Abelian group $G$ of rank equal to the cardinality of $X^{**}$, and this happens if and only if there exists an invariant mean with respect to the additive group of $X^{**}$. This improves upon previous results due to Bustos Domecq… ▽ More Let $X$ be a Banach space. Then $X$ is complemented in the bidual $X^{**}$ if and only if there exists an invariant mean $\ell_\infty(G, X)\to X$ with respect to a free Abelian group $G$ of rank equal to the cardinality of $X^{**}$, and this happens if and only if there exists an invariant mean with respect to the additive group of $X^{**}$. This improves upon previous results due to Bustos Domecq =and the second-named author, where certain idempotent semigroups of cardinality equal to the cardinality of $X^{**}$ were considered, and answers a question of J.M.F. Castillo (private communication). En route to the proof of the main result, we endow the family of all finite-dimensional subspaces of an infinite-dimensional vector space with a structure of a free commutative monoid with the property that the product of two subspaces contains the respective subspaces, which is possibly of interest in itself. △ Less

Submitted 14 January, 2021; v1 submitted 6 July, 2020; originally announced July 2020.

Comments: 12 pp., accepted for publication in Studia Mathematica

MSC Class: 43A07 (primary) and 46B50 (secondary)