Showing 1–39 of 39 results for author: Gesmundo, F

Identifiability through special linear measurements

Authors: Fulvio Gesmundo, Alexandros Grosdos, André Uschmajew

Abstract: We show that one can always identify a point on an algebraic variety $X$ uniquely with $\dim X +1$ generic linear measurements taken themselves from a variety under minimal assumptions. As illustrated by several examples the result is sharp, that is, $\dim X$ measurements are in general not enough for unique identifiability. We show that one can always identify a point on an algebraic variety $X$ uniquely with $\dim X +1$ generic linear measurements taken themselves from a variety under minimal assumptions. As illustrated by several examples the result is sharp, that is, $\dim X$ measurements are in general not enough for unique identifiability. △ Less

Submitted 30 May, 2025; originally announced May 2025.

Comments: 12 pages, 1 figure. Comments are welcome

MSC Class: 14Q15; 15A29; 90C30

Algebraic metacomplexity and representation theory

Authors: Maxim van den Berg, Pranjal Dutta, Fulvio Gesmundo, Christian Ikenmeyer, Vladimir Lysikov

Abstract: In the algebraic metacomplexity framework we prove that the decomposition of metapolynomials into their isotypic components can be implemented efficiently, namely with only a quasipolynomial blowup in the circuit size. We use this to resolve an open question posed by Grochow, Kumar, Saks & Saraf (2017). Our result means that many existing algebraic complexity lower bound proofs can be efficiently… ▽ More In the algebraic metacomplexity framework we prove that the decomposition of metapolynomials into their isotypic components can be implemented efficiently, namely with only a quasipolynomial blowup in the circuit size. We use this to resolve an open question posed by Grochow, Kumar, Saks & Saraf (2017). Our result means that many existing algebraic complexity lower bound proofs can be efficiently converted into isotypic lower bound proofs via highest weight metapolynomials, a notion studied in geometric complexity theory. In the context of algebraic natural proofs, it means that without loss of generality algebraic natural proofs can be assumed to be isotypic. Our proof is built on the Poincaré-Birkhoff-Witt theorem for Lie algebras and on Gelfand-Tsetlin theory, for which we give the necessary comprehensive background. △ Less

Submitted 7 February, 2025; v1 submitted 5 November, 2024; originally announced November 2024.

Comments: 31 pages. Added Corollary 1.2 adressing an open question from [GKSS]; Introduction is rewritten; some minor fixes

MSC Class: 68Q15; 20C35; 16S30 ACM Class: F.1.3

Linear preservers of secant varieties and other varieties of tensors

Authors: Fulvio Gesmundo, Young In Han, Benjamin Lovitz

Abstract: We study the problem of characterizing linear preserver subgroups of algebraic varieties, with a particular emphasis on secant varieties and other varieties of tensors. We introduce a number of techniques built on different geometric properties of the varieties of interest. Our main result is a simple characterization of the linear preservers of secant varieties of Segre varieties in many cases, i… ▽ More We study the problem of characterizing linear preserver subgroups of algebraic varieties, with a particular emphasis on secant varieties and other varieties of tensors. We introduce a number of techniques built on different geometric properties of the varieties of interest. Our main result is a simple characterization of the linear preservers of secant varieties of Segre varieties in many cases, including $σ_r((\mathbb{P}^{n-1})^{\times k})$ for all $r \leq n^{\lfloor k/2 \rfloor}$. We also characterize the linear preservers of several other sets of tensors, including subspace varieties, the variety of slice rank one tensors, symmetric tensors of bounded Waring rank, the variety of biseparable tensors, and hyperdeterminantal surfaces. Computational techniques and applications in quantum information theory are discussed. We provide geometric proofs for several previously known results on linear preservers. △ Less

Submitted 16 April, 2025; v1 submitted 23 July, 2024; originally announced July 2024.

Comments: 26 pages. Final version

MSC Class: 15A69; 15A86; 14N07; 47B49

Fixed-parameter debordering of Waring rank

Authors: Pranjal Dutta, Fulvio Gesmundo, Christian Ikenmeyer, Gorav Jindal, Vladimir Lysikov

Abstract: Border complexity measures are defined via limits (or topological closures), so that any function which can approximated arbitrarily closely by low complexity functions itself has low border complexity. Debordering is the task of proving an upper bound on some non-border complexity measure in terms of a border complexity measure, thus getting rid of limits. Debordering is at the heart of underst… ▽ More Border complexity measures are defined via limits (or topological closures), so that any function which can approximated arbitrarily closely by low complexity functions itself has low border complexity. Debordering is the task of proving an upper bound on some non-border complexity measure in terms of a border complexity measure, thus getting rid of limits. Debordering is at the heart of understanding the difference between Valiant's determinant vs permanent conjecture, and Mulmuley and Sohoni's variation which uses border determinantal complexity. The debordering of matrix multiplication tensors by Bini played a pivotal role in the development of efficient matrix multiplication algorithms. Consequently, debordering finds applications in both establishing computational complexity lower bounds and facilitating algorithm design. Currently, very few debordering results are known. In this work, we study the question of debordering the border Waring rank of polynomials. Waring and border Waring rank are very well studied measures in the context of invariant theory, algebraic geometry, and matrix multiplication algorithms. For the first time, we obtain a Waring rank upper bound that is exponential in the border Waring rank and only linear in the degree. All previous known results were exponential in the degree. For polynomials with constant border Waring rank, our results imply an upper bound on the Waring rank linear in degree, which previously was only known for polynomials with border Waring rank at most 5. △ Less

Submitted 15 January, 2024; originally announced January 2024.

Comments: 22 pages; accepted at STACS 2024; this is an edited part of the preprint arXiv:2211.07055

MSC Class: 68Q99 ACM Class: F.1.3

Journal ref: 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), pp. 30:1-30:15

Bernstein-Gelfand-Gelfand meets geometric complexity theory: resolving the 2 x 2 permanents of a 2 x n matrix

Authors: Fulvio Gesmundo, Hang, Huang, Hal Schenck, Jerzy Weyman

Abstract: We describe the minimal free resolution of the ideal of $2 \times 2$ subpermanents of a $2 \times n$ generic matrix $M$. In contrast to the case of $2 \times 2$ determinants, the $2 \times 2$ permanents define an ideal which is neither prime nor Cohen-Macaulay. We combine work of Laubenbacher-Swanson on the Gröbner basis of an ideal of $2 \times 2$ permanents of a generic matrix with our previous… ▽ More We describe the minimal free resolution of the ideal of $2 \times 2$ subpermanents of a $2 \times n$ generic matrix $M$. In contrast to the case of $2 \times 2$ determinants, the $2 \times 2$ permanents define an ideal which is neither prime nor Cohen-Macaulay. We combine work of Laubenbacher-Swanson on the Gröbner basis of an ideal of $2 \times 2$ permanents of a generic matrix with our previous work connecting the initial ideal of $2 \times 2$ permanents to a simplicial complex. The main technical tool is a spectral sequence arising from the Bernstein-Gelfand-Gelfand correspondence. △ Less

Submitted 19 November, 2024; v1 submitted 19 December, 2023; originally announced December 2023.

Comments: v1: 24 pages, 4 figures, v2: changes made to reflect referee input

MSC Class: 13D02; 13F55; 13C40; 68Q15

Collineation varieties of tensors

Authors: Fulvio Gesmundo, Hanieh Keneshlou

Abstract: In this article, we introduce the $k$-th collineation variety of a third order tensor. This is the closure of the image of the rational map of size $k$ minors of a matrix of linear forms associated to the tensor. We classify such varieties in the case of pencils of matrices, and nets of matrices of small size. We discuss the natural stratification of tensor spaces induced by the invariants and the… ▽ More In this article, we introduce the $k$-th collineation variety of a third order tensor. This is the closure of the image of the rational map of size $k$ minors of a matrix of linear forms associated to the tensor. We classify such varieties in the case of pencils of matrices, and nets of matrices of small size. We discuss the natural stratification of tensor spaces induced by the invariants and the geometric type of the collineation varieties. △ Less

Submitted 11 January, 2025; v1 submitted 13 December, 2023; originally announced December 2023.

Comments: 20 pages, one ancillary file. Final version

MSC Class: 14E05; 14M17; 14N07

Journal ref: Collectanea Mathematica, 2025

Homogeneous Algebraic Complexity Theory and Algebraic Formulas

Authors: Pranjal Dutta, Fulvio Gesmundo, Christian Ikenmeyer, Gorav Jindal, Vladimir Lysikov

Abstract: We study algebraic complexity classes and their complete polynomials under \emph{homogeneous linear} projections, not just under the usual affine linear projections that were originally introduced by Valiant in 1979. These reductions are weaker yet more natural from a geometric complexity theory (GCT) standpoint, because the corresponding orbit closure formulations do not require the padding of po… ▽ More We study algebraic complexity classes and their complete polynomials under \emph{homogeneous linear} projections, not just under the usual affine linear projections that were originally introduced by Valiant in 1979. These reductions are weaker yet more natural from a geometric complexity theory (GCT) standpoint, because the corresponding orbit closure formulations do not require the padding of polynomials. We give the \emph{first} complete polynomials for VF, the class of sequences of polynomials that admit small algebraic formulas, under homogeneous linear projections: The sum of the entries of the non-commutative elementary symmetric polynomial in 3 by 3 matrices of homogeneous linear forms. Even simpler variants of the elementary symmetric polynomial are hard for the topological closure of a large subclass of VF: the sum of the entries of the non-commutative elementary symmetric polynomial in 2 by 2 matrices of homogeneous linear forms, and homogeneous variants of the continuant polynomial (Bringmann, Ikenmeyer, Zuiddam, JACM '18). This requires a careful study of circuits with arity-3 product gates. △ Less

Submitted 28 November, 2023; originally announced November 2023.

Comments: This is edited part of preprint arXiv:2211.07055

MSC Class: 68Qxx ACM Class: F.1.3

Journal ref: 15th Innovations in Theoretical Computer Science Conference (ITCS 2024), pp. 43:1-43:23

Quatroids and Rational Plane Cubics

Authors: Taylor Brysiewicz, Fulvio Gesmundo, Avi Steiner

Abstract: It is a classical result that there are $12$ (irreducible) rational cubic curves through $8$ generic points in $\mathbb{P}_{\mathbb{C}}^2$, but little is known about the non-generic cases. The space of $8$-point configurations is partitioned into strata depending on combinatorial objects we call quatroids, a higher-order version of representable matroids. We compute all $779777$ quatroids on eight… ▽ More It is a classical result that there are $12$ (irreducible) rational cubic curves through $8$ generic points in $\mathbb{P}_{\mathbb{C}}^2$, but little is known about the non-generic cases. The space of $8$-point configurations is partitioned into strata depending on combinatorial objects we call quatroids, a higher-order version of representable matroids. We compute all $779777$ quatroids on eight distinct points in the plane, which produces a full description of the stratification. For each stratum, we generate several invariants, including the number of rational cubics through a generic configuration. As a byproduct of our investigation, we obtain a collection of results regarding the base loci of pencils of cubics and positive certificates for non-rationality. △ Less

Submitted 13 September, 2023; originally announced September 2023.

Comments: 34 pages, 11 figures, 5 tables. Comments are welcome!

MSC Class: 14N10; 14E08; 55R80; 14H50; 05B35; 14Q05

Characteristic polynomials and eigenvalues of tensors

Authors: Francesco Galuppi, Fulvio Gesmundo, Ettore Teixeira Turatti, Lorenzo Venturello

Abstract: We lay the geometric foundations for the study of the characteristic polynomial of tensors. For symmetric tensors of order $d \geq 3$ and dimension $2$ and symmetric tensors of order $3$ and dimension $3$, we prove that only finitely many tensors share any given characteristic polynomial, unlike the case of symmetric matrices and the case of non-symmetric tensors. We propose precise conjectures fo… ▽ More We lay the geometric foundations for the study of the characteristic polynomial of tensors. For symmetric tensors of order $d \geq 3$ and dimension $2$ and symmetric tensors of order $3$ and dimension $3$, we prove that only finitely many tensors share any given characteristic polynomial, unlike the case of symmetric matrices and the case of non-symmetric tensors. We propose precise conjectures for the dimension of the variety of tensors sharing the same characteristic polynomial, in the symmetric and in the non-symmetric setting. △ Less

Submitted 21 August, 2023; originally announced August 2023.

Comments: 25 pages, comments are welcome

Report number: BCSim-2022-s04 MSC Class: 15A72; 15A69; 13P15

The next gap in the subrank of 3-tensors

Authors: Fulvio Gesmundo, Jeroen Zuiddam

Abstract: Recent works of Costa-Dalai, Christandl-Gesmundo-Zuiddam, Blatter-Draisma-Rupniewski, and Briët-Christandl-Leigh-Shpilka-Zuiddam have investigated notions of discreteness and gaps in the possible values that asymptotic tensor ranks can take. In particular, it was shown that the asymptotic subrank and asymptotic slice rank of any nonzero 3-tensor is equal to 1, equal to 1.88, or at least 2 (over an… ▽ More Recent works of Costa-Dalai, Christandl-Gesmundo-Zuiddam, Blatter-Draisma-Rupniewski, and Briët-Christandl-Leigh-Shpilka-Zuiddam have investigated notions of discreteness and gaps in the possible values that asymptotic tensor ranks can take. In particular, it was shown that the asymptotic subrank and asymptotic slice rank of any nonzero 3-tensor is equal to 1, equal to 1.88, or at least 2 (over any field), and that the set of possible values of these parameters is discrete (in several regimes). We determine exactly the next gap, showing that the asymptotic subrank and asymptotic slice rank of any nonzero 3-tensor is equal to 1, equal to 1.88, equal to 2, or at least 2.68. △ Less

Submitted 12 May, 2025; v1 submitted 12 July, 2023; originally announced July 2023.

MSC Class: 5A69; 4N07; 15A72; 68R05

Hilbert Functions of Chopped Ideals

Authors: Fulvio Gesmundo, Leonie Kayser, Simon Telen

Abstract: A chopped ideal is obtained from a homogeneous ideal by considering only the generators of a fixed degree. We investigate cases in which the chopped ideal defines the same finite set of points as the original one-dimensional ideal. The complexity of computing these points from the chopped ideal is governed by the Hilbert function and regularity. We conjecture values for these invariants and prove… ▽ More A chopped ideal is obtained from a homogeneous ideal by considering only the generators of a fixed degree. We investigate cases in which the chopped ideal defines the same finite set of points as the original one-dimensional ideal. The complexity of computing these points from the chopped ideal is governed by the Hilbert function and regularity. We conjecture values for these invariants and prove them in many cases. We show that our conjecture is of practical relevance for symmetric tensor decomposition. △ Less

Submitted 2 December, 2024; v1 submitted 5 July, 2023; originally announced July 2023.

Comments: 30 pages, 2 figures, comments are welcome! v2: Fixed typos thanks to referee reports. Numbering in section 2 changed slightly. To appear in J.Algebra

MSC Class: 13D02; 13C40; 14N07; 65Y20

Geometry of Tensors: Open problems and research directions

Authors: Fulvio Gesmundo

Abstract: This is a collection of open problems and research ideas following the presentations and the discussions of the AGATES Kickoff Workshop held at the Institute of Mathematics of the Polish Academy of Sciences (IMPAN) and at the Department of Mathematics of University of Warsaw (MIM UW), September 19-26, 2022. This is a collection of open problems and research ideas following the presentations and the discussions of the AGATES Kickoff Workshop held at the Institute of Mathematics of the Polish Academy of Sciences (IMPAN) and at the Department of Mathematics of University of Warsaw (MIM UW), September 19-26, 2022. △ Less

Submitted 20 April, 2023; originally announced April 2023.

Comments: Comments are welcome. Final version also available at https://agates.mimuw.edu.pl/index.php/research-reports-and-notes

Report number: BCSim-2022-s04

Decompositions and Terracini loci of cubic forms of low rank

Authors: Luca Chiantini, Fulvio Gesmundo

Abstract: We study Waring rank decompositions for cubic forms of rank $n+2$ in $n+1$ variables. In this setting, we prove that if a concise form has more than one non-redundant decomposition of length $n+2$, then all such decompositions share at least $n-3$ elements, and the remaining elements lie in a special configuration. Following this result, we give a detailed description of the $(n+2)$-th Terracini l… ▽ More We study Waring rank decompositions for cubic forms of rank $n+2$ in $n+1$ variables. In this setting, we prove that if a concise form has more than one non-redundant decomposition of length $n+2$, then all such decompositions share at least $n-3$ elements, and the remaining elements lie in a special configuration. Following this result, we give a detailed description of the $(n+2)$-th Terracini locus of the third Veronese embedding of $n$-dimensional projective space. △ Less

Submitted 20 September, 2024; v1 submitted 7 February, 2023; originally announced February 2023.

Comments: 15 pages. Final version

Report number: BCSim-2022-s04 MSC Class: 14N07; 14N05; 15A69

Journal ref: Deformation of Artinian Algebras and Jordan Type, Contemporary Mathematics, vol. 805, pp. 139--155, 2024

Partial Degeneration of Tensors

Authors: Matthias Christandl, Fulvio Gesmundo, Vladimir Lysikov, Vincent Steffan

Abstract: Tensors are often studied by introducing preorders such as restriction and degeneration: the former describes transformations of the tensors by local linear maps on its tensor factors; the latter describes transformations where the local linear maps may vary along a curve, and the resulting tensor is expressed as a limit along this curve. In this work we introduce and study partial degeneration, a… ▽ More Tensors are often studied by introducing preorders such as restriction and degeneration: the former describes transformations of the tensors by local linear maps on its tensor factors; the latter describes transformations where the local linear maps may vary along a curve, and the resulting tensor is expressed as a limit along this curve. In this work we introduce and study partial degeneration, a special version of degeneration where one of the local linear maps is constant whereas the others vary along a curve. Motivated by algebraic complexity, quantum entanglement and tensor networks, we present constructions based on matrix multiplication tensors and find examples by making a connection to the theory of prehomogeneous tensor spaces. We highlight the subtleties of this new notion by showing obstruction and classification results for the unit tensor. To this end, we study the notion of aided rank, a natural generalization of tensor rank. The existence of partial degenerations gives strong upper bounds on the aided rank of a tensor, which allows one to turn degenerations into restrictions. In particular, we present several examples, based on the W-tensor and the Coppersmith-Winograd tensors, where lower bounds on aided rank provide obstructions to the existence of certain partial degenerations. △ Less

Submitted 3 June, 2024; v1 submitted 28 December, 2022; originally announced December 2022.

Comments: 31 pages, final version

MSC Class: 15A69; 14N07; 68Q15; 81P45

Journal ref: SIAM Journal on Matrix Analysis and Applications (SIMAX), 45(1), pp. 771-800 (2024)

Quantum max-flow in the bridge graph

Authors: Fulvio Gesmundo, Vladimir Lysikov, Vincent Steffan

Abstract: The quantum max-flow quantifies the maximal possible entanglement between two regions of a tensor network state for a fixed graph and fixed bond dimensions. In this work, we calculate the quantum max-flow exactly in the case of the bridge graph. The result is achieved by drawing connections to the theory of prehomogenous tensor and the representation theory of quivers. Further, we highlight relati… ▽ More The quantum max-flow quantifies the maximal possible entanglement between two regions of a tensor network state for a fixed graph and fixed bond dimensions. In this work, we calculate the quantum max-flow exactly in the case of the bridge graph. The result is achieved by drawing connections to the theory of prehomogenous tensor and the representation theory of quivers. Further, we highlight relations to invariant theory and to algebraic statistics. △ Less

Submitted 19 December, 2022; originally announced December 2022.

Comments: 26 pages, comments welcome

Journal ref: Transformation Groups (advance online publication), 2024

A Gap in the Subrank of Tensors

Authors: Matthias Christandl, Fulvio Gesmundo, Jeroen Zuiddam

Abstract: The subrank of tensors is a measure of how much a tensor can be ''diagonalized''. This parameter was introduced by Strassen to study fast matrix multiplication algorithms in algebraic complexity theory and is closely related to many central tensor parameters (e.g. slice rank, partition rank, analytic rank, geometric rank, G-stable rank) and problems in combinatorics, computer science and quantum i… ▽ More The subrank of tensors is a measure of how much a tensor can be ''diagonalized''. This parameter was introduced by Strassen to study fast matrix multiplication algorithms in algebraic complexity theory and is closely related to many central tensor parameters (e.g. slice rank, partition rank, analytic rank, geometric rank, G-stable rank) and problems in combinatorics, computer science and quantum information theory. Strassen (J. Reine Angew. Math., 1988) proved that there is a gap in the subrank when taking large powers under the tensor product: either the subrank of all powers is at most one, or it grows as a power of a constant strictly larger than one. In this paper, we precisely determine this constant for tensors of any order. Additionally, for tensors of order three, we prove that there is a second gap in the possible rates of growth. Our results strengthen the recent work of Costa and Dalai (J. Comb. Theory, Ser. A, 2021), who proved a similar gap for the slice rank. Our theorem on the subrank has wider applications by implying such gaps not only for the slice rank, but for any ``normalized monotone''. In order to prove the main result, we characterize when a tensor has a very structured tensor (the W-tensor) in its orbit closure. Our methods include degenerations in Grassmanians, which may be of independent interest. △ Less

Submitted 24 November, 2023; v1 submitted 3 December, 2022; originally announced December 2022.

Comments: 25 pages. Final version

MSC Class: 15A69; 14N07; 15A72; 68R05

Journal ref: SIAM J. Applied Alg. Geom., 7 (4), 742-767, 2023

Geometric complexity theory for product-plus-power

Authors: Pranjal Dutta, Fulvio Gesmundo, Christian Ikenmeyer, Gorav Jindal, Vladimir Lysikov

Abstract: According to Kumar's recent surprising result (ToCT'20), a small border Waring rank implies that the polynomial can be approximated as a sum of a constant and a small product of linear polynomials. We prove the converse of Kumar's result and establish a tight connection between border Waring rank and the model of computation in Kumar's result. In this way, we obtain a new formulation of border War… ▽ More According to Kumar's recent surprising result (ToCT'20), a small border Waring rank implies that the polynomial can be approximated as a sum of a constant and a small product of linear polynomials. We prove the converse of Kumar's result and establish a tight connection between border Waring rank and the model of computation in Kumar's result. In this way, we obtain a new formulation of border Waring rank, up to a factor of the degree. We connect this new formulation to the orbit closure problem of the product-plus-power polynomial. We study this orbit closure from two directions: 1. We deborder this orbit closure and some related orbit closures, i.e., prove all points in the orbit closure have small non-border algebraic branching programs. 2. We fully implement the geometric complexity theory approach against the power sum by generalizing the ideas of Ikenmeyer-Kandasamy (STOC'20) to this new orbit closure. In this way, we obtain new multiplicity obstructions that are constructed from just the symmetries of the polynomials. △ Less

Submitted 28 May, 2025; v1 submitted 13 November, 2022; originally announced November 2022.

Comments: This version (v3) has been accepted for publication at the "special issue on the topics of MEGA 2024" of the Journal of Symbolic Computation. Parts of v1/v2 have been published independently as "Fixed-parameter debordering of Waring rank" (DOI: 10.4230/LIPIcs.STACS.2024.30) and "Homogeneous Algebraic Complexity Theory and Algebraic Formulas" (DOI: 10.4230/LIPIcs.ITCS.2024.43)

MSC Class: 68W30; 14-XX; 05E10 ACM Class: F.1.3

Degree-restricted strength decompositions and algebraic branching programs

Authors: Fulvio Gesmundo, Purnata Ghosal, Christian Ikenmeyer, Vladimir Lysikov

Abstract: We analyze Kumar's recent quadratic algebraic branching program size lower bound proof method (CCC 2017) for the power sum polynomial. We present a refinement of this method that gives better bounds in some cases. The lower bound relies on Noether-Lefschetz type conditions on the hypersurface defined by the homogeneous polynomial. In the explicit example that we provide, the lower bound is prove… ▽ More We analyze Kumar's recent quadratic algebraic branching program size lower bound proof method (CCC 2017) for the power sum polynomial. We present a refinement of this method that gives better bounds in some cases. The lower bound relies on Noether-Lefschetz type conditions on the hypersurface defined by the homogeneous polynomial. In the explicit example that we provide, the lower bound is proved resorting to classical intersection theory. Furthermore, we use similar methods to improve the known lower bound methods for slice rank of polynomials. We consider a sequence of polynomials that have been studied before by Shioda and show that for these polynomials the improved lower bound matches the known upper bound. △ Less

Submitted 25 August, 2022; v1 submitted 4 May, 2022; originally announced May 2022.

Comments: 14 pages

MSC Class: 15A69; 14N07; 68Q17 ACM Class: F.1.3

Journal ref: 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2022), pp. 20:1--20:15

The Geometry of Discotopes

Authors: Fulvio Gesmundo, Chiara Meroni

Abstract: We study a class of semialgebraic convex bodies called discotopes. These are instances of zonoids, objects of interest in real algebraic geometry and random geometry. We focus on the face structure and on the boundary hypersurface of discotopes, highlighting interesting birational properties which may be investigated using tools from algebraic geometry. When a discotope is the Minkowski sum of two… ▽ More We study a class of semialgebraic convex bodies called discotopes. These are instances of zonoids, objects of interest in real algebraic geometry and random geometry. We focus on the face structure and on the boundary hypersurface of discotopes, highlighting interesting birational properties which may be investigated using tools from algebraic geometry. When a discotope is the Minkowski sum of two-dimensional discs, the Zariski closure of its set of extreme points is an irreducible hypersurface. In this case, we provide an upper bound for the degree of the hypersurface, drawing connections to the theory of classical determinantal varieties. △ Less

Submitted 28 July, 2022; v1 submitted 1 November, 2021; originally announced November 2021.

Comments: 22 pages, 4 figures. Journal version

MSC Class: 14P10; 52A99; 52A21; 14M12

Journal ref: Le Matematiche, 77 (1), 143-171 (2022)

Algebraic compressed sensing

Authors: Paul Breiding, Fulvio Gesmundo, Mateusz Michałek, Nick Vannieuwenhoven

Abstract: We introduce the broad subclass of algebraic compressed sensing problems, where structured signals are modeled either explicitly or implicitly via polynomials. This includes, for instance, low-rank matrix and tensor recovery. We employ powerful techniques from algebraic geometry to study well-posedness of sufficiently general compressed sensing problems, including existence, local recoverability,… ▽ More We introduce the broad subclass of algebraic compressed sensing problems, where structured signals are modeled either explicitly or implicitly via polynomials. This includes, for instance, low-rank matrix and tensor recovery. We employ powerful techniques from algebraic geometry to study well-posedness of sufficiently general compressed sensing problems, including existence, local recoverability, global uniqueness, and local smoothness. Our main results are summarized in thirteen questions and answers in algebraic compressed sensing. Most of our answers concerning the minimum number of required measurements for existence, recoverability, and uniqueness of algebraic compressed sensing problems are optimal and depend only on the dimension of the model. △ Less

Submitted 24 June, 2024; v1 submitted 30 August, 2021; originally announced August 2021.

Comments: 30 pages, 1 figure

MSC Class: 14Q15; 58C07; 58C15; 65J22; 65H20; 90C30

Journal ref: Applied and Computational Harmonic Analysis 65, pp. 374--406, 2023

Dimension of Tensor Network varieties

Authors: Alessandra Bernardi, Claudia De Lazzari, Fulvio Gesmundo

Abstract: The tensor network variety is a variety of tensors associated to a graph and a set of positive integer weights on its edges, called bond dimensions. We determine an upper bound on the dimension of the tensor network variety. A refined upper bound is given in cases relevant for applications such as varieties of matrix product states and projected entangled pairs states. We provide a range (the "sup… ▽ More The tensor network variety is a variety of tensors associated to a graph and a set of positive integer weights on its edges, called bond dimensions. We determine an upper bound on the dimension of the tensor network variety. A refined upper bound is given in cases relevant for applications such as varieties of matrix product states and projected entangled pairs states. We provide a range (the "supercritical range") of the parameters where the upper bound is sharp. △ Less

Submitted 1 August, 2022; v1 submitted 8 January, 2021; originally announced January 2021.

Comments: 27 pages, 3 figures. Final version, to appear in Communications in Contemporary Mathematics

MSC Class: 15A69; 81P45

Border rank non-additivity for higher order tensors

Authors: Matthias Christandl, Fulvio Gesmundo, Mateusz Michałek, Jeroen Zuiddam

Abstract: Whereas matrix rank is additive under direct sum, in 1981 Schönhage showed that one of its generalizations to the tensor setting, tensor border rank, can be strictly subadditive for tensors of order three. Whether border rank is additive for higher order tensors has remained open. In this work, we settle this problem by providing analogs of Schönhage's construction for tensors of order four and hi… ▽ More Whereas matrix rank is additive under direct sum, in 1981 Schönhage showed that one of its generalizations to the tensor setting, tensor border rank, can be strictly subadditive for tensors of order three. Whether border rank is additive for higher order tensors has remained open. In this work, we settle this problem by providing analogs of Schönhage's construction for tensors of order four and higher. Schönhage's work was motivated by the study of the computational complexity of matrix multiplication; we discuss implications of our results for the asymptotic rank of higher order generalizations of the matrix multiplication tensor. △ Less

Submitted 9 April, 2021; v1 submitted 10 July, 2020; originally announced July 2020.

Comments: 26 pages, 5 figures. Final version accepted in SIMAX

MSC Class: 14N07; 15A69

Journal ref: SIAM J. Matrix Anal. Appl., 42(2), 503-527, 2021

Optimization at the boundary of the tensor network variety

Authors: Matthias Christandl, Fulvio Gesmundo, Daniel Stilck Franca, Albert H. Werner

Abstract: Tensor network states form a variational ansatz class widely used, both analytically and numerically, in the study of quantum many-body systems. It is known that if the underlying graph contains a cycle, e.g. as in projected entangled pair states (PEPS), then the set of tensor network states of given bond dimension is not closed. Its closure is the tensor network variety. Recent work has shown tha… ▽ More Tensor network states form a variational ansatz class widely used, both analytically and numerically, in the study of quantum many-body systems. It is known that if the underlying graph contains a cycle, e.g. as in projected entangled pair states (PEPS), then the set of tensor network states of given bond dimension is not closed. Its closure is the tensor network variety. Recent work has shown that states on the boundary of this variety can yield more efficient representations for states of physical interest, but it remained unclear how to systematically find and optimize over such representations. We address this issue by defining a new ansatz class of states that includes states at the boundary of the tensor network variety of given bond dimension. We show how to optimize over this class in order to find ground states of local Hamiltonians by only slightly modifying standard algorithms and code for tensor networks. We apply this new method to a different of models and observe favorable energies and runtimes when compared with standard tensor network methods. △ Less

Submitted 25 May, 2021; v1 submitted 30 June, 2020; originally announced June 2020.

Comments: 20 pages, 6 figures. Close to published version

Journal ref: Phys. Rev. B 103, 195139 (2021)

The Degree of Stiefel Manifolds

Authors: Taylor Brysiewicz, Fulvio Gesmundo

Abstract: We compute the degree of Stiefel manifolds, that is, the variety of orthonormal frames in a finite dimensional vector space. Our approach employs techniques from classical algebraic geometry, algebraic combinatorics, and classical invariant theory. We compute the degree of Stiefel manifolds, that is, the variety of orthonormal frames in a finite dimensional vector space. Our approach employs techniques from classical algebraic geometry, algebraic combinatorics, and classical invariant theory. △ Less

Submitted 9 April, 2021; v1 submitted 22 September, 2019; originally announced September 2019.

Comments: 24 pages, Final version accepted in ECA

MSC Class: 14M17; 05A10; 52B20; 15B10;

Journal ref: Enumerative Combinatorics and Applications, Vol 1(3), n. S2R19, 2021

Tensors with maximal symmetries

Authors: Austin Conner, Fulvio Gesmundo, Joseph M. Landsberg, Emanuele Ventura

Abstract: We classify tensors with maximal and next to maximal dimensional symmetry groups under a natural genericity assumption (1-genericity), in dimensions greater than 7. In other words, we classify minimal dimensional orbits in the space of (m,m,m) tensors assuming 1-genericity. Our study uncovers new tensors with striking geometry. This paper was motivated by Strassen's laser method for bounding the e… ▽ More We classify tensors with maximal and next to maximal dimensional symmetry groups under a natural genericity assumption (1-genericity), in dimensions greater than 7. In other words, we classify minimal dimensional orbits in the space of (m,m,m) tensors assuming 1-genericity. Our study uncovers new tensors with striking geometry. This paper was motivated by Strassen's laser method for bounding the exponent of matrix multiplication. The best known tensor for the laser method is the large Coppersmith-Winograd tensor, and our study began with the observation that it has a large symmetry group, of dimension m^2/2 +m/2. We show that in odd dimensions, this is the largest possible for a 1-generic tensor, but in even dimensions we exhibit a tensor with a larger dimensional symmetry group. In the course of the proof, we classify nondegenerate bilinear forms with large dimensional stabilizers, which may be of interest in its own right. △ Less

Submitted 8 October, 2021; v1 submitted 20 September, 2019; originally announced September 2019.

Comments: Much cleaner proof of main theorem and additional results added

MSC Class: 15A69; 68Q17; 14L30

Rank and border rank of Kronecker powers of tensors and Strassen's laser method

Authors: Austin Conner, Fulvio Gesmundo, Joseph M. Landsberg, Emanuele Ventura

Abstract: We prove that the border rank of the Kronecker square of the little Coppersmith-Winograd tensor $T_{cw,q}$ is the square of its border rank for $q > 2$ and that the border rank of its Kronecker cube is the cube of its border rank for $q > 4$. This answers questions raised implicitly in [Coppersmith-Winograd, 1990] and explicitly in [Bläser, 2013] and rules out the possibility of proving new upper… ▽ More We prove that the border rank of the Kronecker square of the little Coppersmith-Winograd tensor $T_{cw,q}$ is the square of its border rank for $q > 2$ and that the border rank of its Kronecker cube is the cube of its border rank for $q > 4$. This answers questions raised implicitly in [Coppersmith-Winograd, 1990] and explicitly in [Bläser, 2013] and rules out the possibility of proving new upper bounds on the exponent of matrix multiplication using the square or cube of a little Coppersmith-Winograd tensor in this range. In the positive direction, we enlarge the list of explicit tensors potentially useful for Strassen's laser method, introducing a skew-symmetric version of the Coppersmith-Winograd tensor, $T_{skewcw,q}$. For $q = 2$, the Kronecker square of this tensor coincides with the $3\times 3$ determinant polynomial, $\det_3 \in \mathbb{C}^9\otimes \mathbb{C}^9\otimes \mathbb{C}^9$, regarded as a tensor. We show that this tensor could potentially be used to show that the exponent of matrix multiplication is two. We determine new upper bounds for the (Waring) rank and the (Waring) border rank of $\det_3$, exhibiting a strict submultiplicative behaviour for $T_{skewcw,2}$ which is promising for the laser method. We establish general results regarding border ranks of Kronecker powers of tensors, and make a detailed study of Kronecker squares of tensors in $\mathbb{C}^3\otimes \mathbb{C}^3\otimes \mathbb{C}^3$. △ Less

Submitted 27 December, 2021; v1 submitted 10 September, 2019; originally announced September 2019.

Comments: Final Version

MSC Class: 68Q17; 14L30; 15A69

Journal ref: computational complexity, 31 (1), 2022

Geometric conditions for strict submultiplicativity of rank and border rank

Authors: Edoardo Ballico, Alessandra Bernardi, Fulvio Gesmundo, Alessandro Oneto, Emanuele Ventura

Abstract: The $X$-rank of a point $p$ in projective space is the minimal number of points of an algebraic variety $X$ whose linear span contains $p$. This notion is naturally submultiplicative under tensor product. We study geometric conditions that guarantee strict submultiplicativity. We prove that in the case of points of rank two, strict submultiplicativity is entirely characterized in terms of the tris… ▽ More The $X$-rank of a point $p$ in projective space is the minimal number of points of an algebraic variety $X$ whose linear span contains $p$. This notion is naturally submultiplicative under tensor product. We study geometric conditions that guarantee strict submultiplicativity. We prove that in the case of points of rank two, strict submultiplicativity is entirely characterized in terms of the trisecant lines to the variety. Moreover, we focus on the case of curves: we prove that for curves embedded in an even-dimensional projective space, there are always points for which strict submultiplicativity occurs, with the only exception of rational normal curves. △ Less

Submitted 27 May, 2020; v1 submitted 9 September, 2019; originally announced September 2019.

Comments: 21 pages

MSC Class: 15A69; 14N05; 14H99

Journal ref: Annali di Matematica Pura ed Applicata (2020)

Border Waring Rank via Asymptotic Rank

Authors: Matthias Christandl, Fulvio Gesmundo, Alessandro Oneto

Abstract: We investigate an extension of a lower bound on the Waring (cactus) rank of homogeneous forms due to Ranestad and Schreyer. We show that for particular classes of homogeneous forms, for which a generalization of this method applies, the lower bound extends to the level of border (cactus) rank. The approach is based on recent results on tensor asymptotic rank. We investigate an extension of a lower bound on the Waring (cactus) rank of homogeneous forms due to Ranestad and Schreyer. We show that for particular classes of homogeneous forms, for which a generalization of this method applies, the lower bound extends to the level of border (cactus) rank. The approach is based on recent results on tensor asymptotic rank. △ Less

Submitted 4 October, 2019; v1 submitted 8 July, 2019; originally announced July 2019.

Comments: 12 pages; Comments are welcome

MSC Class: 15A69; 13A02; 51N35

Towards a Geometric Approach to Strassen's Asymptotic Rank Conjecture

Authors: Austin Conner, Fulvio Gesmundo, Joseph M. Landsberg, Emanuele Ventura, Yao Wang

Abstract: We make a first geometric study of three varieties in $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ (for each $m$), including the Zariski closure of the set of tight tensors, the tensors with continuous regular symmetry. Our motivation is to develop a geometric framework for Strassen's Asymptotic Rank Conjecture that the asymptotic rank of any tight tensor is minimal. In particular, we… ▽ More We make a first geometric study of three varieties in $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ (for each $m$), including the Zariski closure of the set of tight tensors, the tensors with continuous regular symmetry. Our motivation is to develop a geometric framework for Strassen's Asymptotic Rank Conjecture that the asymptotic rank of any tight tensor is minimal. In particular, we determine the dimension of the set of tight tensors. We prove that this dimension equals the dimension of the set of oblique tensors, a less restrictive class introduced by Strassen. △ Less

Submitted 11 February, 2020; v1 submitted 13 November, 2018; originally announced November 2018.

Comments: Final version. Revisions in Section 1 and Section 3

Report number: BCSim-2018-s09 MSC Class: 15A69; 14L35; 68Q15

Journal ref: Collectanea Mathematica, 2020

Partially symmetric variants of Comon's problem via simultaneous rank

Authors: Fulvio Gesmundo, Alessandro Oneto, Emanuele Ventura

Abstract: A symmetric tensor may be regarded as a partially symmetric tensor in several different ways. These produce different notions of rank for the symmetric tensor which are related by chains of inequalities. By exploiting algebraic tools such as apolarity theory, we show how the study of the simultaneous symmetric rank of partial derivatives of the homogeneous polynomial associated to the symmetric te… ▽ More A symmetric tensor may be regarded as a partially symmetric tensor in several different ways. These produce different notions of rank for the symmetric tensor which are related by chains of inequalities. By exploiting algebraic tools such as apolarity theory, we show how the study of the simultaneous symmetric rank of partial derivatives of the homogeneous polynomial associated to the symmetric tensor can be used to prove equalities among different partially symmetric ranks. This approach aims to understand to what extent the symmetries of a tensor affect its rank. We apply this to the special cases of binary forms, ternary and quaternary cubics, monomials, and elementary symmetric polynomials. △ Less

Submitted 2 December, 2019; v1 submitted 17 October, 2018; originally announced October 2018.

Comments: 28 pp

Report number: BCSim-2018-s09

Journal ref: SIAM J. Matrix Anal. Appl., 40(4), 1453-1477 (2019)

On the partially symmetric rank of tensor products of W-states and other symmetric tensors

Authors: Edoardo Ballico, Alessandra Bernardi, Matthias Christandl, Fulvio Gesmundo

Abstract: Given tensors $T$ and $T'$ of order $k$ and $k'$ respectively, the tensor product $T \otimes T'$ is a tensor of order $k+k'$. It was recently shown that the tensor rank can be strictly submultiplicative under this operation ([Christandl-Jensen-Zuiddam]). We study this phenomenon for symmetric tensors where additional techniques from algebraic geometry become available. The tensor product of symmet… ▽ More Given tensors $T$ and $T'$ of order $k$ and $k'$ respectively, the tensor product $T \otimes T'$ is a tensor of order $k+k'$. It was recently shown that the tensor rank can be strictly submultiplicative under this operation ([Christandl-Jensen-Zuiddam]). We study this phenomenon for symmetric tensors where additional techniques from algebraic geometry become available. The tensor product of symmetric tensors results in a partially symmetric tensor and our results amount to bounds on the partially symmetric rank. Following motivations from algebraic complexity theory and quantum information theory, we focus on the so-called "W-states", namely monomials of the form $x^{d-1}y$, and on products of such. In particular, we prove that the partially symmetric rank of $x^{d_1 -1}y \otimes ... \otimes x^{d_k-1} y$ is at most $2^{k-1}(d_1+ ... +d_k)$. △ Less

Submitted 19 March, 2019; v1 submitted 5 March, 2018; originally announced March 2018.

Comments: 24 pages, 2 figures, final version to appear in Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl

MSC Class: 15A69; 14M20; 14N05

Journal ref: Atti Accad. Naz. Lincei - Rend. Lincei Mat. Appl. - Vol. 30, issue 1, pp. 93 - 124 - 2019

Matrix product states and the quantum max-flow/min-cut conjectures

Authors: Fulvio Gesmundo, J. M. Landsberg, Michael Walter

Abstract: In this note we discuss the geometry of matrix product states with periodic boundary conditions and provide three infinite sequences of examples where the quantum max-flow is strictly less than the quantum min-cut. In the first we fix the underlying graph to be a 4-cycle and verify a prediction of Hastings that inequality occurs for infinitely many bond dimensions. In the second we generalize this… ▽ More In this note we discuss the geometry of matrix product states with periodic boundary conditions and provide three infinite sequences of examples where the quantum max-flow is strictly less than the quantum min-cut. In the first we fix the underlying graph to be a 4-cycle and verify a prediction of Hastings that inequality occurs for infinitely many bond dimensions. In the second we generalize this result to a 2d-cycle. In the third we show that the 2d-cycle with periodic boundary conditions gives inequality for all d when all bond dimensions equal two, namely a gap of at least 2^{d-2} between the quantum max-flow and the quantum min-cut. △ Less

Submitted 18 October, 2018; v1 submitted 27 January, 2018; originally announced January 2018.

Comments: 12 pages, 3 figures - Final version accepted for publication on J. Math. Phys

Journal ref: Journal of Mathematical Physics (Vol.59, Issue 10) - 2018 - https://doi.org/10.1063/1.5026985

Border rank is not multiplicative under the tensor product

Authors: Matthias Christandl, Fulvio Gesmundo, Asger Kjærulff Jensen

Abstract: It has recently been shown that the tensor rank can be strictly submultiplicative under the tensor product, where the tensor product of two tensors is a tensor whose order is the sum of the orders of the two factors. The necessary upper bounds were obtained with help of border rank. It was left open whether border rank itself can be strictly submultiplicative. We answer this question in the affirm… ▽ More It has recently been shown that the tensor rank can be strictly submultiplicative under the tensor product, where the tensor product of two tensors is a tensor whose order is the sum of the orders of the two factors. The necessary upper bounds were obtained with help of border rank. It was left open whether border rank itself can be strictly submultiplicative. We answer this question in the affirmative. In order to do so, we construct lines in projective space along which the border rank drops multiple times and use this result in conjunction with a previous construction for a tensor rank drop. Our results also imply strict submultiplicativity for cactus rank and border cactus rank. △ Less

Submitted 1 May, 2019; v1 submitted 15 January, 2018; originally announced January 2018.

Comments: 25 pages, 1 figure - Revised version

MSC Class: 14M20; 15A69; 15A72

Journal ref: SIAM J. Appl. Algebra Geometry, 3(2) - 231-255 (2019)

A note on the cactus rank for Segre-Veronese varieties

Authors: Edoardo Ballico, Alessandra Bernardi, Fulvio Gesmundo

Abstract: We give an upper bound for the cactus rank of any multi-homogeneous polynomial. We give an upper bound for the cactus rank of any multi-homogeneous polynomial. △ Less

Submitted 20 February, 2019; v1 submitted 20 July, 2017; originally announced July 2017.

Comments: Few more references. Improvement on the growth of the bound

Journal ref: Journal of Algebra, Volume 526, 15 May 2019, Pages 6-11

Explicit polynomial sequences with maximal spaces of partial derivatives and a question of K. Mulmuley

Authors: Fulvio Gesmundo, Joseph M. Landsberg

Abstract: We answer a question of K. Mulmuley: In [Efremenko-Landsberg-Schenck-Weyman] it was shown that the method of shifted partial derivatives cannot be used to separate the padded permanent from the determinant. Mulmuley asked if this "no-go" result could be extended to a model without padding. We prove this is indeed the case using the iterated matrix multiplication polynomial. We also provide several… ▽ More We answer a question of K. Mulmuley: In [Efremenko-Landsberg-Schenck-Weyman] it was shown that the method of shifted partial derivatives cannot be used to separate the padded permanent from the determinant. Mulmuley asked if this "no-go" result could be extended to a model without padding. We prove this is indeed the case using the iterated matrix multiplication polynomial. We also provide several examples of polynomials with maximal space of partial derivatives, including the complete symmetric polynomials. We apply Koszul flattenings to these polynomials to have the first explicit sequence of polynomials with symmetric border rank lower bounds higher than the bounds attainable via partial derivatives. △ Less

Submitted 29 December, 2018; v1 submitted 10 May, 2017; originally announced May 2017.

Comments: 18 pages - final version to appear in Theory of Computing

MSC Class: 68Q15; 15A69

Journal ref: Vol. 15 Art. 3 pp. 1-24, 2019

Geometric complexity theory and matrix powering

Authors: Fulvio Gesmundo, Christian Ikenmeyer, Greta Panova

Abstract: Valiant's famous determinant versus permanent problem is the flagship problem in algebraic complexity theory. Mulmuley and Sohoni (Siam J Comput 2001, 2008) introduced geometric complexity theory, an approach to study this and related problems via algebraic geometry and representation theory. Their approach works by multiplying the permanent polynomial with a high power of a linear form (a process… ▽ More Valiant's famous determinant versus permanent problem is the flagship problem in algebraic complexity theory. Mulmuley and Sohoni (Siam J Comput 2001, 2008) introduced geometric complexity theory, an approach to study this and related problems via algebraic geometry and representation theory. Their approach works by multiplying the permanent polynomial with a high power of a linear form (a process called padding) and then comparing the orbit closures of the determinant and the padded permanent. This padding was recently used heavily to show no-go results for the method of shifted partial derivatives (Efremenko, Landsberg, Schenck, Weyman, 2016) and for geometric complexity theory (Ikenmeyer Panova, FOCS 2016 and Bürgisser, Ikenmeyer Panova, FOCS 2016). Following a classical homogenization result of Nisan (STOC 1991) we replace the determinant in geometric complexity theory with the trace of a variable matrix power. This gives an equivalent but much cleaner homogeneous formulation of geometric complexity theory in which the padding is removed. This radically changes the representation theoretic questions involved to prove complexity lower bounds. We prove that in this homogeneous formulation there are no orbit occurrence obstructions that prove even superlinear lower bounds on the complexity of the permanent. This is the first no-go result in geometric complexity theory that rules out superlinear lower bounds in some model. Interestingly---in contrast to the determinant---the trace of a variable matrix power is not uniquely determined by its stabilizer. △ Less

Submitted 26 July, 2017; v1 submitted 2 November, 2016; originally announced November 2016.

Comments: 21 pages. Final version to appear: Differential Geometry and its Applications - Special issue in Geometry and Complexity Theory

MSC Class: 68Q17; 05E10; 20C30; 15A86

Geometric Aspects of Iterated Matrix Multiplication

Authors: Fulvio Gesmundo

Abstract: This paper studies geometric properties of the Iterated Matrix Multiplication polynomial and the hypersurface that it defines. We focus on geometric aspects that may be relevant for complexity theory such as the symmetry group of the polynomial, the dual variety and the Jacobian loci of the hypersurface, that are computed with the aid of representation theory of quivers. This paper studies geometric properties of the Iterated Matrix Multiplication polynomial and the hypersurface that it defines. We focus on geometric aspects that may be relevant for complexity theory such as the symmetry group of the polynomial, the dual variety and the Jacobian loci of the hypersurface, that are computed with the aid of representation theory of quivers. △ Less

Submitted 19 May, 2016; v1 submitted 2 December, 2015; originally announced December 2015.

Comments: 20 pages - minor typos have been fixed - final version to appear in Journal of Algebra

MSC Class: 68Q17; 15A86; 14L40; 16G20

Journal ref: J. Algebra - Vol. 461, pp. 42 - 64, 2016

Complexity of linear circuits and geometry

Authors: Fulvio Gesmundo, Jonathan Hauenstein, Christian Ikenmeyer, JM Landsberg

Abstract: We use algebraic geometry to study matrix rigidity, and more generally, the complexity of computing a matrix-vector product, continuing a study initiated by Kumar, et. al. We (i) exhibit many non-obvious equations testing for (border) rigidity, (ii) compute degrees of varieties associated to rigidity, (iii) describe algebraic varieties associated to families of matrices that are expected to have s… ▽ More We use algebraic geometry to study matrix rigidity, and more generally, the complexity of computing a matrix-vector product, continuing a study initiated by Kumar, et. al. We (i) exhibit many non-obvious equations testing for (border) rigidity, (ii) compute degrees of varieties associated to rigidity, (iii) describe algebraic varieties associated to families of matrices that are expected to have super-linear rigidity, and (iv) prove results about the ideals and degrees of cones that are of interest in their own right. △ Less

Submitted 10 March, 2015; v1 submitted 4 October, 2013; originally announced October 2013.

Comments: 29 pages, final version to appear in FOCM

MSC Class: 68Q17; 15B05; 65T

An asymptotic bound for secant varieties of Segre varieties

Authors: Fulvio Gesmundo

Abstract: This paper studies the defectivity of secant varieties of Segre varieties. We prove that there exists an asymptotic lower estimate for the greater non-defective secant variety (without filling the ambient space) of any given Segre variety. In particular, we prove that the ratio between the greater non-defective secant variety of a Segre variety and its expected rank is lower bounded by a value dep… ▽ More This paper studies the defectivity of secant varieties of Segre varieties. We prove that there exists an asymptotic lower estimate for the greater non-defective secant variety (without filling the ambient space) of any given Segre variety. In particular, we prove that the ratio between the greater non-defective secant variety of a Segre variety and its expected rank is lower bounded by a value depending just on the number of factors of the Segre variety. Moreover, in the final section, we present some results obtained by explicit computation, proving the non-defectivity of all the secant varieties of Segre varieties of the shape (P^n)^4, with 1 < n < 11, except at most σ_199((P^8)^4) and σ_357((P^10)^4). △ Less

Submitted 8 September, 2012; originally announced September 2012.

Comments: 14 pages

MSC Class: 14M20; 14Q99; 15A69; 15A72

Journal ref: Annali dell'Universita' di Ferrara - Vol. 59, Issue 2, pp 285-302 (2013)