Showing 1–20 of 20 results for author: Bik, A

Strength and partition rank under limits and field extensions

Authors: Arthur Bik, Jan Draisma, Amichai Lampert, Tamar Ziegler

Abstract: The strength of a multivariate homogeneous polynomial is the minimal number of terms in an expression as a sum of products of lower-degree homogeneous polynomials. Partition rank is the analogue for multilinear forms. Both ranks can drop under field extensions, and both can jump in a limit. We show that, for fixed degree and under mild conditions on the characteristic of the ground field, the stre… ▽ More The strength of a multivariate homogeneous polynomial is the minimal number of terms in an expression as a sum of products of lower-degree homogeneous polynomials. Partition rank is the analogue for multilinear forms. Both ranks can drop under field extensions, and both can jump in a limit. We show that, for fixed degree and under mild conditions on the characteristic of the ground field, the strength is at most a polynomial in the border strength. We also establish an analogous result for partition rank. Our results control both the jump under limits and the drop under field extensions. △ Less

Submitted 14 February, 2025; originally announced February 2025.

Comments: 15 pages

The geometry of polynomial representations in positive characteristic

Authors: Arthur Bik, Jan Draisma, Andrew Snowden

Abstract: A $\mathbf{GL}$-variety is a (typically infinite dimensional) variety modeled on the polynomial representation theory of the general linear group. In previous work, we studied these varieties in characteristic 0. In this paper, we obtain results in positive characteristic: for example, we prove a version of Chevalley's theorem on constructible sets. We give an application of our theory to strength… ▽ More A $\mathbf{GL}$-variety is a (typically infinite dimensional) variety modeled on the polynomial representation theory of the general linear group. In previous work, we studied these varieties in characteristic 0. In this paper, we obtain results in positive characteristic: for example, we prove a version of Chevalley's theorem on constructible sets. We give an application of our theory to strength of polynomials. △ Less

Submitted 11 June, 2024; originally announced June 2024.

Comments: 36 pages

Two improvements in Brauer's theorem on forms

Authors: Arthur Bik, Jan Draisma, Andrew Snowden

Abstract: Let $k$ be a Brauer field, that is, a field over which every diagonal form in sufficiently many variables has a nonzero solution; for instance, $k$ could be an imaginary quadratic number field. Brauer proved that if $f_1, \ldots, f_r$ are homogeneous polynomials on a $k$-vector space $V$ of degrees $d_1, \ldots, d_r$, then the variety $Z$ defined by the $f_i$'s has a non-trivial $k$-point, provide… ▽ More Let $k$ be a Brauer field, that is, a field over which every diagonal form in sufficiently many variables has a nonzero solution; for instance, $k$ could be an imaginary quadratic number field. Brauer proved that if $f_1, \ldots, f_r$ are homogeneous polynomials on a $k$-vector space $V$ of degrees $d_1, \ldots, d_r$, then the variety $Z$ defined by the $f_i$'s has a non-trivial $k$-point, provided that $\dim{V}$ is sufficiently large compared to the $d_i$'s and $k$. We offer two improvements to this theorem, assuming $k$ is infinite. First, we show that the Zariski closure of the set $Z(k)$ of $k$-points has codimension $<C$, where $C$ is a constant depending only on the $d_i$'s and $k$. And second, we show that if the strength of the $f_i$'s is sufficiently large in terms of the $d_i$'s and $k$, then $Z(k)$ is actually Zariski dense in $Z$. The proofs rely on recent work of Ananyan and Hochster on high strength polynomials. △ Less

Submitted 4 January, 2024; originally announced January 2024.

Comments: 22 pages

Uniformity for limits of tensors

Authors: Arthur Bik, Jan Draisma, Rob Eggermont, Andrew Snowden

Abstract: There are many notions of rank in multilinear algebra: tensor rank, partition rank, slice rank, and strength (or Schmidt rank) are a few examples. Typically the rank $\le r$ locus is not Zariski closed, and understanding the closure (the locus with "border rank" $\le r$) is an important problem. We make two contributions in this direction: we prove a de-bordering result, which bounds border rank a… ▽ More There are many notions of rank in multilinear algebra: tensor rank, partition rank, slice rank, and strength (or Schmidt rank) are a few examples. Typically the rank $\le r$ locus is not Zariski closed, and understanding the closure (the locus with "border rank" $\le r$) is an important problem. We make two contributions in this direction: we prove a de-bordering result, which bounds border rank as a function of rank; and we show that the limits required to realize a point of border rank $\le r$ do not become increasingly complicated as the dimension of the vector space increases. We prove both results for a fairly general class of ranks. We deduce our theorems on ranks from foundational results on $\mathbf{GL}$-varieties, which are infinite dimensional algebraic varieties on which the infinite general linear group acts. For example, an important result concerns the existence of curves on $\mathbf{GL}$-varieties. △ Less

Submitted 20 February, 2024; v1 submitted 31 May, 2023; originally announced May 2023.

Comments: 25 pages

Higher-degree symmetric rank-metric codes

Authors: Arthur Bik, Alessandro Neri

Abstract: Over fields of characteristic unequal to $2$, we can identify symmetric matrices with homogeneous polynomials of degree $2$. This allows us to view symmetric rank-metric codes as living inside the space of such polynomials. In this paper, we generalize the construction of symmetric Gabidulin codes to polynomials of degree $d>2$ over field of characteristic $0$ or $>d$. To do so, we equip the space… ▽ More Over fields of characteristic unequal to $2$, we can identify symmetric matrices with homogeneous polynomials of degree $2$. This allows us to view symmetric rank-metric codes as living inside the space of such polynomials. In this paper, we generalize the construction of symmetric Gabidulin codes to polynomials of degree $d>2$ over field of characteristic $0$ or $>d$. To do so, we equip the space of homogeneous polynomials of degree $d\geq 2$ with the metric induced by the essential rank, which is the minimal number of linear forms needed to express a polynomial. We provide bounds on the minimal distance and dimension of the essential-rank metric codes we construct and provide an efficient decoding algorithm. Finally, we show how essential-rank metric codes can be seen as special instances of rank-metric codes and compare our construction to known rank-metric codes with the same parameters. △ Less

Submitted 12 March, 2023; originally announced March 2023.

Comments: 26 pages

MSC Class: 94B05; 14N07; 11T71; 51E22

Isogeny classes of cubic spaces

Authors: Arthur Bik, Alessandro Danelon, Andrew Snowden

Abstract: A cubic space is a vector space equipped with a symmetric trilinear form. Two cubic spaces are isogeneous if each embeds into the other. A cubic space is non-degenerate if its form cannot be expressed as a finite sum of products of linear and quadratic forms. We classify non-degenerate cubic spaces of countable dimension up to isogeny: the isogeny classes are completely determined by an invariant… ▽ More A cubic space is a vector space equipped with a symmetric trilinear form. Two cubic spaces are isogeneous if each embeds into the other. A cubic space is non-degenerate if its form cannot be expressed as a finite sum of products of linear and quadratic forms. We classify non-degenerate cubic spaces of countable dimension up to isogeny: the isogeny classes are completely determined by an invariant we call the residual rank, which takes values in $\mathbf{N} \cup \{\infty\}$. In particular, the set of classes is discrete and (under the partial order of embedability) satisfies the descending chain condition. △ Less

Submitted 12 October, 2022; v1 submitted 28 July, 2022; originally announced July 2022.

Comments: 14 pages

Classifying one-dimensional discrete models with maximum likelihood degree one

Authors: Arthur Bik, Orlando Marigliano

Abstract: We propose a classification of all one-dimensional discrete statistical models with maximum likelihood degree one based on their rational parametrization. We show how all such models can be constructed from members of a smaller class of 'fundamental models' using a finite number of simple operations. We introduce 'chipsplitting games', a class of combinatorial games on a grid which we use to repre… ▽ More We propose a classification of all one-dimensional discrete statistical models with maximum likelihood degree one based on their rational parametrization. We show how all such models can be constructed from members of a smaller class of 'fundamental models' using a finite number of simple operations. We introduce 'chipsplitting games', a class of combinatorial games on a grid which we use to represent fundamental models. This combinatorial perspective enables us to show that there are only finitely many fundamental models in the probability simplex $Δ_n$ for $n\leq 4$. △ Less

Submitted 16 February, 2024; v1 submitted 19 May, 2022; originally announced May 2022.

Comments: 34 pages. New version is shorter and focuses on the essential

MSC Class: 62R01; 05C57; 05E14

The Geometries of Jordan nets and Jordan webs

Authors: Arthur Bik, Henrik Eisenmann

Abstract: A Jordan net (resp. web) is an embedding of a unital Jordan algebra of dimension $3$ (resp. $4$) into the space $\mathbb{S}^n$ of symmetric $n\times n$ matrices. We study the geometries of Jordan nets and webs: we classify the congruence-orbits of Jordan nets (resp. webs) in $\mathbb{S}^n$ for $n\leq 7$ (resp. $n\leq 5$), we find degenerations between these orbits and list obstructions to the exis… ▽ More A Jordan net (resp. web) is an embedding of a unital Jordan algebra of dimension $3$ (resp. $4$) into the space $\mathbb{S}^n$ of symmetric $n\times n$ matrices. We study the geometries of Jordan nets and webs: we classify the congruence-orbits of Jordan nets (resp. webs) in $\mathbb{S}^n$ for $n\leq 7$ (resp. $n\leq 5$), we find degenerations between these orbits and list obstructions to the existence of such degenerations. For Jordan nets in $\mathbb{S}^n$ for $n\leq5$, these obstructions show that our list of degenerations is complete. For $n=6$, the existence of one degeneration is still undetermined. To explore further, we used an algorithm that indicates numerically whether a degeneration between two orbits exists. We verified this algorithm using all known degenerations and obstructions, and then used it to compute the degenerations between Jordan nets in $\mathbb{S}^7$ and Jordan webs in $\mathbb{S}^n$ for $n=4,5$. △ Less

Submitted 12 April, 2022; v1 submitted 12 January, 2022; originally announced January 2022.

Comments: 38 pages

MSC Class: 17C50; 14M15; 14L30; 65K10

The geometry of polynomial representations

Authors: Arthur Bik, Jan Draisma, Rob H. Eggermont, Andrew Snowden

Abstract: We define a GL-variety to be a (typically infinite dimensional) algebraic variety equipped with an action of the infinite general linear group under which the coordinate ring forms a polynomial representation. Such varieties have been used to study asymptotic properties of invariants like strength and tensor rank, and played a key role in two recent proofs of Stillman's conjecture. We initiate a s… ▽ More We define a GL-variety to be a (typically infinite dimensional) algebraic variety equipped with an action of the infinite general linear group under which the coordinate ring forms a polynomial representation. Such varieties have been used to study asymptotic properties of invariants like strength and tensor rank, and played a key role in two recent proofs of Stillman's conjecture. We initiate a systematic study of GL-varieties, and establish a number of foundational results about them. For example, we prove a version of Chevalley's theorem on constructible sets in this setting. △ Less

Submitted 6 September, 2022; v1 submitted 26 May, 2021; originally announced May 2021.

Comments: 46 pages

Universality of high-strength tensors

Authors: Arthur Bik, Alessandro Danelon, Jan Draisma, Rob H. Eggermont

Abstract: A theorem due to Kazhdan and Ziegler implies that, by substituting linear forms for its variables, a homogeneous polynomial of sufficiently high strength specialises to any given polynomial of the same degree in a bounded number of variables. Using entirely different techniques, we extend this theorem to arbitrary polynomial functors. As a corollary of our work, we show that specialisation induces… ▽ More A theorem due to Kazhdan and Ziegler implies that, by substituting linear forms for its variables, a homogeneous polynomial of sufficiently high strength specialises to any given polynomial of the same degree in a bounded number of variables. Using entirely different techniques, we extend this theorem to arbitrary polynomial functors. As a corollary of our work, we show that specialisation induces a quasi-order on elements in polynomial functors, and that among the elements with a dense orbit there are unique smallest and largest equivalence classes in this quasi-order. △ Less

Submitted 1 June, 2021; v1 submitted 30 April, 2021; originally announced May 2021.

Comments: 19 pages

MSC Class: 14R20; 15A21; 15A69

Journal ref: Vietnam J. Math. 50 (2022), pp. 557-580

Strength and slice rank of forms are generically equal

Authors: Edoardo Ballico, Arthur Bik, Alessandro Oneto, Emanuele Ventura

Abstract: We prove that strength and slice rank of homogeneous polynomials of degree $d \geq 5$ over an algebraically closed field of characteristic zero coincide generically. To show this, we establish a conjecture of Catalisano, Geramita, Gimigliano, Harbourne, Migliore, Nagel and Shin concerning dimensions of secant varieties of the varieties of reducible homogeneous polynomials. These statements were al… ▽ More We prove that strength and slice rank of homogeneous polynomials of degree $d \geq 5$ over an algebraically closed field of characteristic zero coincide generically. To show this, we establish a conjecture of Catalisano, Geramita, Gimigliano, Harbourne, Migliore, Nagel and Shin concerning dimensions of secant varieties of the varieties of reducible homogeneous polynomials. These statements were already known in degrees $2\leq d\leq 7$ and $d=9$. △ Less

Submitted 23 February, 2021; originally announced February 2021.

Comments: 9 pages

MSC Class: 15A21; 13A02; 14R20

The set of forms with bounded strength is not closed

Authors: Edoardo Ballico, Arthur Bik, Alessandro Oneto, Emanuele Ventura

Abstract: The strength of a homogeneous polynomial (or form) is the smallest length of an additive decomposition expressing it whose summands are reducible forms. Using polynomial functors, we show that the set of forms with bounded strength is not always Zariski-closed. More specifically, if the ground field is algebraically closed, we prove that the set of quartics with strength $\leq3$ is not Zariski-clo… ▽ More The strength of a homogeneous polynomial (or form) is the smallest length of an additive decomposition expressing it whose summands are reducible forms. Using polynomial functors, we show that the set of forms with bounded strength is not always Zariski-closed. More specifically, if the ground field is algebraically closed, we prove that the set of quartics with strength $\leq3$ is not Zariski-closed for a large number of variables. △ Less

Submitted 2 November, 2021; v1 submitted 2 December, 2020; originally announced December 2020.

Comments: 9 pages, removed condition on characteristic

MSC Class: 15A21; 13A02; 14R20

Journal ref: Comptes Rendus. Mathématique 360 (2022), pp. 371-380

Topological Noetherianity of polynomial functors II: base rings with Noetherian spectrum

Authors: Arthur Bik, Alessandro Danelon, Jan Draisma

Abstract: In a previous paper, the third author proved that finite-degree polynomial functors over infinite fields are topologically Noetherian. In this paper, we prove that the same holds for polynomial functors from free $R$-modules to finitely generated $R$-modules, for any commutative ring $R$ whose spectrum is Noetherian. As Erman-Sam-Snowden pointed out, when applying this with $R = \mathbb{Z}$ to dir… ▽ More In a previous paper, the third author proved that finite-degree polynomial functors over infinite fields are topologically Noetherian. In this paper, we prove that the same holds for polynomial functors from free $R$-modules to finitely generated $R$-modules, for any commutative ring $R$ whose spectrum is Noetherian. As Erman-Sam-Snowden pointed out, when applying this with $R = \mathbb{Z}$ to direct sums of symmetric powers, one of their proofs of a conjecture by Stillman becomes characteristic-independent. Our paper advertises and further develops the beautiful but not so well-known machinery of polynomial laws. In particular, to any finitely generated R-module M we associate a topological space, which we show is Noetherian when $\operatorname{Spec}(R)$ is; this is the degree-zero case of our result on polynomial functors. △ Less

Submitted 21 March, 2022; v1 submitted 25 November, 2020; originally announced November 2020.

Comments: 35 pages, 1 figure

Jordan Algebras of Symmetric Matrices

Authors: Arthur Bik, Henrik Eisenmann, Bernd Sturmfels

Abstract: We study linear spaces of symmetric matrices whose reciprocal is also a linear space. These are Jordan algebras. We classify such algebras in low dimensions, and we study the associated Jordan loci in the Grassmannian. We study linear spaces of symmetric matrices whose reciprocal is also a linear space. These are Jordan algebras. We classify such algebras in low dimensions, and we study the associated Jordan loci in the Grassmannian. △ Less

Submitted 17 May, 2021; v1 submitted 1 October, 2020; originally announced October 2020.

Comments: 16 pages

MSC Class: 17C27; 14M15

Journal ref: Le Matematiche 76 (2021), no 2, pp. 337-353

On the strength of general polynomials

Authors: Arthur Bik, Alessandro Oneto

Abstract: A slice decomposition is an expression of a homogeneous polynomial as a sum of forms with a linear factor. A strength decomposition is an expression of a homogeneous polynomial as a sum of reducible forms. The slice rank and strength of a polynomial are the minimal lengths of such decompositions, respectively. The slice rank is an upper bound for the strength and the gap between these two values c… ▽ More A slice decomposition is an expression of a homogeneous polynomial as a sum of forms with a linear factor. A strength decomposition is an expression of a homogeneous polynomial as a sum of reducible forms. The slice rank and strength of a polynomial are the minimal lengths of such decompositions, respectively. The slice rank is an upper bound for the strength and the gap between these two values can be arbitrary large. However, in line with a conjecture by Catalisano et al. on the dimensions of secant varieties of the varieties of reducible forms, we conjecture that equality holds for general forms. By using a weaker version of Fröberg's Conjecture on the Hilbert series of ideals generated by general forms, we show that our conjecture holds up to degree $7$ and in degree $9$. △ Less

Submitted 22 June, 2021; v1 submitted 18 May, 2020; originally announced May 2020.

Comments: 19 pages, final revision

MSC Class: 13A02; 13D02; 13D40; 14N05; 14N15

Semi-algebraic properties of Minkowski sums of a twisted cubic segment

Authors: Arthur Bik, Adam Czapliński, Markus Wageringel

Abstract: We find a semi-algebraic description of the Minkowski sum $\mathcal{A}_{3,n}$ of $n$ copies of the bounded twisted cubic $\{(t,t^2,t^3)\mid -1\leq t\leq 1\}$ for each integer $n\geq3$. These descriptions provide efficient membership tests for the sets $\mathcal{A}_{3,n}$. These membership tests in turn can be used to resolve some instances of the underdetermined matrix moment problem, which was fo… ▽ More We find a semi-algebraic description of the Minkowski sum $\mathcal{A}_{3,n}$ of $n$ copies of the bounded twisted cubic $\{(t,t^2,t^3)\mid -1\leq t\leq 1\}$ for each integer $n\geq3$. These descriptions provide efficient membership tests for the sets $\mathcal{A}_{3,n}$. These membership tests in turn can be used to resolve some instances of the underdetermined matrix moment problem, which was formulated by Michael Rubinstein and Peter Sarnak in order to study problems related to $L$-functions and their zeros. △ Less

Submitted 30 November, 2019; v1 submitted 15 May, 2019; originally announced May 2019.

Comments: 19 pages, 3 figures, major revision

MSC Class: 14P10

Journal ref: Collect. Math. 72 (2021), Issue 1, pp. 87-107

The monic rank

Authors: Arthur Bik, Jan Draisma, Alessandro Oneto, Emanuele Ventura

Abstract: We introduce the monic rank of a vector relative to an affine-hyperplane section of an irreducible Zariski-closed affine cone $X$. We show that the monic rank is finite and greater than or equal to the usual $X$-rank. We describe an algorithmic technique based on classical invariant theory to determine, in concrete situations, the maximal monic rank. Using this technique, we establish three new in… ▽ More We introduce the monic rank of a vector relative to an affine-hyperplane section of an irreducible Zariski-closed affine cone $X$. We show that the monic rank is finite and greater than or equal to the usual $X$-rank. We describe an algorithmic technique based on classical invariant theory to determine, in concrete situations, the maximal monic rank. Using this technique, we establish three new instances of a conjecture due to B. Shapiro which states that a binary form of degree $d\cdot e$ is the sum of $d$ $d$-th powers of forms of degree $e$. Furthermore, in the case where $X$ is the cone of highest weight vectors in an irreducible representation---this includes the well-known cases of tensor rank and symmetric rank---we raise the question whether the maximal rank equals the maximal monic rank. We answer this question affirmatively in several instances. △ Less

Submitted 11 November, 2019; v1 submitted 31 January, 2019; originally announced January 2019.

Comments: 26 pages, added a discussion on the monic rank for reducible cones

MSC Class: 15A21; 14R20; 13P10

Journal ref: Math. Comput. 89 (2020), no. 325, pp. 2481-2505

Polynomials and tensors of bounded strength

Authors: Arthur Bik, Jan Draisma, Rob H. Eggermont

Abstract: Notions of rank abound in the literature on tensor decomposition. We prove that strength, recently introduced for homogeneous polynomials by Ananyan-Hochster in their proof of Stillman's conjecture and generalised here to other tensors, is universal among these ranks in the following sense: any non-trivial Zariski-closed condition on tensors that is functorial in the underlying vector space implie… ▽ More Notions of rank abound in the literature on tensor decomposition. We prove that strength, recently introduced for homogeneous polynomials by Ananyan-Hochster in their proof of Stillman's conjecture and generalised here to other tensors, is universal among these ranks in the following sense: any non-trivial Zariski-closed condition on tensors that is functorial in the underlying vector space implies bounded strength. This generalises a theorem by Derksen-Eggermont-Snowden on cubic polynomials, as well as a theorem by Kazhdan-Ziegler which says that a polynomial all of whose directional derivatives have bounded strength must itself have bounded strength. △ Less

Submitted 2 August, 2018; v1 submitted 4 May, 2018; originally announced May 2018.

Comments: Improved the bounds on strength as a function of the dimension of the space where one first sees nontrivial equations for the tensor property X

Journal ref: Commun. Contemp. Math. 21 (2019), no. 7, 1850062

Noetherianity up to conjugation of locally diagonal inverse limits

Authors: Arthur Bik

Abstract: We prove that the inverse limit of the sequence dual to a sequence of Lie algebras is Noetherian up to the action of the direct limit of the corresponding sequence of classical algebraic groups when the sequence of groups consists of diagonal embeddings. We also classify all conjugation-stable closed subsets of the space of $\mathbb{N}\times\mathbb{N}$ matrices. We prove that the inverse limit of the sequence dual to a sequence of Lie algebras is Noetherian up to the action of the direct limit of the corresponding sequence of classical algebraic groups when the sequence of groups consists of diagonal embeddings. We also classify all conjugation-stable closed subsets of the space of $\mathbb{N}\times\mathbb{N}$ matrices. △ Less

Submitted 31 July, 2019; v1 submitted 28 February, 2018; originally announced February 2018.

Comments: 43 pages, final revision

MSC Class: 13E99; 14L30; 17B45

Journal ref: Linear Algebra Appl. 582 (2019), pp 237-290

A note on ED degrees of group-stable subvarieties in polar representations

Authors: Arthur Bik, Jan Draisma

Abstract: In a recent paper, Drusvyatskiy, Lee, Ottaviani, and Thomas establish a "transfer principle" by means of which the Euclidean distance degree of an orthogonally-stable matrix variety can be computed from the Euclidean distance degree of its intersection with a linear subspace. We generalise this principle. In a recent paper, Drusvyatskiy, Lee, Ottaviani, and Thomas establish a "transfer principle" by means of which the Euclidean distance degree of an orthogonally-stable matrix variety can be computed from the Euclidean distance degree of its intersection with a linear subspace. We generalise this principle. △ Less

Submitted 17 January, 2018; v1 submitted 25 August, 2017; originally announced August 2017.

MSC Class: 14N10; 14M17; 51N35; 90C26; 17B10

Journal ref: Isr. J. Math. 228 (2018), Issue 1, pp 353-377