Showing 1–50 of 64 results for author: Bernardi, A

Lattice tilings of Hilbert spaces

Authors: Carlo Alberto De Bernardi, Tommaso Russo, Jacopo Somaglia

Abstract: We construct a bounded and symmetric convex body in $\ell_2(Γ)$ (for certain cardinals $Γ$) whose translates yield a tiling of $\ell_2(Γ)$. This answers a question due to Fonf and Lindenstrauss. As a consequence, we obtain the first example of an infinite-dimensional reflexive Banach space that admits a tiling with balls (of radius $1$). Further, our tiling has the property of being point-countabl… ▽ More We construct a bounded and symmetric convex body in $\ell_2(Γ)$ (for certain cardinals $Γ$) whose translates yield a tiling of $\ell_2(Γ)$. This answers a question due to Fonf and Lindenstrauss. As a consequence, we obtain the first example of an infinite-dimensional reflexive Banach space that admits a tiling with balls (of radius $1$). Further, our tiling has the property of being point-countable and lattice (in the sense that the set of translates forms a group). The same construction performed in $\ell_1(Γ)$ yields a point-$2$-finite lattice tiling by balls of radius $1$ for $\ell_1(Γ)$, which compares to a celebrated construction due to Klee. We also prove that lattice tilings by balls are never disjoint and, more generally, each tile intersects as many tiles as the cardinality of the tiling. Finally, we prove some results concerning discrete subgroups of normed spaces. By a simplification of the proof of our main result, we prove that every infinite-dimensional normed space contains a subgroup that is $1$-separated and $(1+\varepsilon)$-dense, for every $\varepsilon>0$; further, the subgroup admits a set of generators of norm at most $2+\varepsilon$. This solves a problem due to Swanepoel and yields a simpler proof of a result of Dilworth, Odell, Schlumprecht, and Zsák. We also give an alternative elementary proof of Steprāns' result that discrete subgroups of normed spaces are free. △ Less

Submitted 7 May, 2025; originally announced May 2025.

Some remarks on almost locally uniformly rotund points

Authors: Carlo Alberto De Bernardi, Jacopo Somaglia

Abstract: We study the relations between different notions of almost locally uniformly rotund points that appear in literature. We show that every non-reflexive Banach space admits an equivalent norm having a point in the corresponding unit sphere which is not almost locally uniformly rotund, and which is strongly exposed by all its supporting functionals. This result is in contrast with a characterization… ▽ More We study the relations between different notions of almost locally uniformly rotund points that appear in literature. We show that every non-reflexive Banach space admits an equivalent norm having a point in the corresponding unit sphere which is not almost locally uniformly rotund, and which is strongly exposed by all its supporting functionals. This result is in contrast with a characterization due to P. Bandyopadhyay, D. Huang, and B.-L. Lin from 2004. We also show that such a characterization remains true in reflexive Banach spaces. △ Less

Submitted 7 April, 2025; originally announced April 2025.

MSC Class: 46B03; 46B20; 52A07

Decomposition loci of tensors

Authors: Alessandra Bernardi, Alessandro Oneto, Pierpaola Santarsiero

Abstract: The decomposition locus of a tensor is the set of rank-one tensors appearing in a minimal tensor-rank decomposition of the tensor. For tensors lying on the tangential variety of any Segre variety, but not on the variety itself, we show that the decomposition locus consists of all rank-one tensors except the tangency point only. We also explicitly compute decomposition loci of all tensors belonging… ▽ More The decomposition locus of a tensor is the set of rank-one tensors appearing in a minimal tensor-rank decomposition of the tensor. For tensors lying on the tangential variety of any Segre variety, but not on the variety itself, we show that the decomposition locus consists of all rank-one tensors except the tangency point only. We also explicitly compute decomposition loci of all tensors belonging to tensor spaces with finitely many orbits with respect to the action of product of general linear groups. △ Less

Submitted 25 July, 2024; originally announced July 2024.

Comments: 25 pages. Comments are welcome

MSC Class: 15A69; 14N07; 14N05

A note on smooth rotund norms which are not midpoint locally uniformly rotund

Authors: Carlo Alberto De Bernardi, Alessandro Preti, Jacopo Somaglia

Abstract: We prove that every separable infinite-dimensional Banach space admits a Gâteaux smooth and rotund norm which is not midpoint locally uniformly rotund. Moreover, by using a similar technique, we provide in every infinite-dimensional Banach space with separable dual a Fréchet smooth and weakly uniformly rotund norm which is not midpoint locally uniformly rotund. These two results provide a positive… ▽ More We prove that every separable infinite-dimensional Banach space admits a Gâteaux smooth and rotund norm which is not midpoint locally uniformly rotund. Moreover, by using a similar technique, we provide in every infinite-dimensional Banach space with separable dual a Fréchet smooth and weakly uniformly rotund norm which is not midpoint locally uniformly rotund. These two results provide a positive answer to some open problems by A. J. Guirao, V. Montesinos, and V. Zizler. △ Less

Submitted 7 April, 2025; v1 submitted 21 February, 2024; originally announced February 2024.

Tensoring by a plane maintains secant-regularity in degree at least two

Authors: Edoardo Ballico, Alessandra Bernardi, Tomasz Mańdziuk

Abstract: Starting from an integral projective variety $Y$ equipped with a very ample, non-special and not-secant defective line bundle $\mathcal{L}$, the paper establishes, under certain conditions, the regularity of $(Y \times \mathbb P^2,\mathcal{L}[t])$ for $t\geq 2$. The mildness of those conditions allow to classify all secant defective cases of any product of… ▽ More Starting from an integral projective variety $Y$ equipped with a very ample, non-special and not-secant defective line bundle $\mathcal{L}$, the paper establishes, under certain conditions, the regularity of $(Y \times \mathbb P^2,\mathcal{L}[t])$ for $t\geq 2$. The mildness of those conditions allow to classify all secant defective cases of any product of $(\mathbb P^1)^{ j}\times (\mathbb P^2)^{k}$, $j,k \geq 0$, embedded in multidegree at least $(2, \ldots , 2)$ and $(\mathbb{P}^m\times\mathbb{P}^n\times (\mathbb{P}^2)^k, \mathcal{O}_{\mathbb{P}^m\times\mathbb{P}^n\times (\mathbb{P}^2)^k} (d,e,t_1, \ldots, t_k))$ where $d,e \geq 3$, $t_i\geq 2$, for any $n$ and $m$. △ Less

Submitted 4 December, 2023; originally announced December 2023.

Report number: BCSim-2022-s04 MSC Class: 14N07

On schemes evinced by generalized additive decompositions and their regularity

Authors: Alessandra Bernardi, Alessandro Oneto, Daniele Taufer

Abstract: We define and explicitly construct schemes evinced by generalized additive decompositions (GADs) of a given $d$-homogeneous polynomial $F$. We employ GADs to investigate the regularity of $0$-dimensional schemes apolar to $F$, focusing on those satisfying some minimality conditions. We show that irredundant schemes to $F$ need not be $d$-regular, unless they are evinced by special GADs of $F$. Ins… ▽ More We define and explicitly construct schemes evinced by generalized additive decompositions (GADs) of a given $d$-homogeneous polynomial $F$. We employ GADs to investigate the regularity of $0$-dimensional schemes apolar to $F$, focusing on those satisfying some minimality conditions. We show that irredundant schemes to $F$ need not be $d$-regular, unless they are evinced by special GADs of $F$. Instead, we prove that tangential decompositions of minimal length are always $d$-regular, as well as irredundant apolar schemes of length at most $2d+1$. △ Less

Submitted 27 May, 2024; v1 submitted 22 September, 2023; originally announced September 2023.

MSC Class: 13B25; 13D40; 14N07

Journal ref: Journal de Mathématiques Pures et Appliquées 188, 2024, pp. 446-469

Unit balls of Polyhedral Banach spaces with many extreme points

Authors: Carlo Alberto De Bernardi

Abstract: Let $E$ be a $(\mathrm{IV})$-polyhedral Banach space. We show that, for each $ε>0$, $E$ admits an $ε$-equivalent $\mathrm{(V)}$-polyhedral norm such that the corresponding closed unit ball is the closed convex hull of its extreme points. In particular, we obtain that every separable isomorphically polyhedral Banach space, for each $ε>0$, admits an $ε$-equivalent $(\mathrm{V})$-polyhedral norm su… ▽ More Let $E$ be a $(\mathrm{IV})$-polyhedral Banach space. We show that, for each $ε>0$, $E$ admits an $ε$-equivalent $\mathrm{(V)}$-polyhedral norm such that the corresponding closed unit ball is the closed convex hull of its extreme points. In particular, we obtain that every separable isomorphically polyhedral Banach space, for each $ε>0$, admits an $ε$-equivalent $(\mathrm{V})$-polyhedral norm such that the corresponding closed unit ball is the closed convex hull of its extreme points. △ Less

Submitted 17 March, 2023; originally announced March 2023.

Rotund Gateaux smooth norms which are not locally uniformly rotund

Authors: Carlo Alberto De Bernardi, Jacopo Somaglia

Abstract: We provide, in every infinite-dimensional separable Banach space, an average locally uniformly rotund (and hence rotund) Gateaux smooth renorming which is not locally uniformly rotund. This solves an open problem posed by A.J. Guirao, V. Montesinos, and V. Zizler. We provide, in every infinite-dimensional separable Banach space, an average locally uniformly rotund (and hence rotund) Gateaux smooth renorming which is not locally uniformly rotund. This solves an open problem posed by A.J. Guirao, V. Montesinos, and V. Zizler. △ Less

Submitted 27 February, 2024; v1 submitted 3 March, 2023; originally announced March 2023.

Stochastic Approximation in convex multiobjective optimization

Authors: Carlo Alberto De Bernardi, Enrico Miglierina, Elena Molho, Jacopo Somaglia

Abstract: Given a strictly convex multiobjective optimization problem with objective functions $f_1,\dots,f_N$, let us denote by $x_0$ its solution, obtained as minimum point of the linear scalarized problem, where the objective function is the convex combination of $f_1,\dots,f_N$ with weights $t_1,\ldots,t_N$. The main result of this paper gives an estimation of the averaged error that we make if we appro… ▽ More Given a strictly convex multiobjective optimization problem with objective functions $f_1,\dots,f_N$, let us denote by $x_0$ its solution, obtained as minimum point of the linear scalarized problem, where the objective function is the convex combination of $f_1,\dots,f_N$ with weights $t_1,\ldots,t_N$. The main result of this paper gives an estimation of the averaged error that we make if we approximate $x_0$ with the minimum point of the convex combinations of $n$ functions, chosen among $f_1,\dots,f_N$, with probabilities $t_1,\ldots,t_N$, respectively, and weighted with the same coefficient $1/n$. In particular, we prove that the averaged error considered above converges to 0 as $n$ goes to $\infty$, uniformly w.r.t. the weights $t_1,\ldots,t_N$. The key tool in the proof of our stochastic approximation theorem is a geometrical property, called by us small diameter property, ensuring that the minimum point of a convex combination of the function $f_1,\dots,f_N$ continuously depends on the coefficients of the convex combination. △ Less

Submitted 3 March, 2023; originally announced March 2023.

Extendability of continuous quasiconvex functions from subspaces

Authors: Carlo Alberto De Bernardi, Libor Veselý

Abstract: Let $Y$ be a subspace of a topological vector space $X$, and $A\subset X$ an open convex set that intersects $Y$. We say that the property $(QE)$ [property $(CE)$] holds if every continuous quasiconvex [continuous convex] function on $A\cap Y$ admits a continuous quasiconvex [continuous convex] extension defined on $A$. We study relations between $(QE)$ and $(CE)$ properties, proving that $(QE)$ a… ▽ More Let $Y$ be a subspace of a topological vector space $X$, and $A\subset X$ an open convex set that intersects $Y$. We say that the property $(QE)$ [property $(CE)$] holds if every continuous quasiconvex [continuous convex] function on $A\cap Y$ admits a continuous quasiconvex [continuous convex] extension defined on $A$. We study relations between $(QE)$ and $(CE)$ properties, proving that $(QE)$ always implies $(CE)$ and that, under suitable hypotheses (satisfied for example if $X$ is a normed space and $Y$ is a closed subspace of $X$), the two properties are equivalent. By combining the previous implications between $(QE)$ and $(CE)$ properties with known results about the property $(CE)$, we obtain some new positive results about the extension of quasiconvex continuous functions. In particular, we generalize the results contained in \cite{DEQEX} to the infinite-dimensional separable case. Moreover, we also immediately obtain existence of examples in which $(QE)$ does not hold. △ Less

Submitted 28 December, 2022; originally announced December 2022.

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

Terracini locus for three points on a Segre variety

Authors: Edoardo Ballico, Alessandra Bernardi, Pierpaola Santarsiero

Abstract: We introduce the notion of r-th Terracini locus of a variety and we compute it for at most three points on a Segre variety. We introduce the notion of r-th Terracini locus of a variety and we compute it for at most three points on a Segre variety. △ Less

Submitted 1 December, 2020; originally announced December 2020.

Comments: 27 pages, 3 figures

MSC Class: 14N07; 15A69

A note on the maximal rank

Authors: Alessandra Bernardi, Reynaldo Staffolani

Abstract: We give an upper-bound for the $X$-rank of points with respect to a non-degenerate irreducible variety $X$ in the case that sub-generic $X$-rank points generate a hypersurface. We give examples where this bound is sharp and it improves the existing ones. We give an upper-bound for the $X$-rank of points with respect to a non-degenerate irreducible variety $X$ in the case that sub-generic $X$-rank points generate a hypersurface. We give examples where this bound is sharp and it improves the existing ones. △ Less

Submitted 12 February, 2022; v1 submitted 29 July, 2020; originally announced July 2020.

Comments: 8 pages, accepted for pubblication by European Journal of Mathematics

MSC Class: 14N07; 15A69

Regularity and stability for a convex feasibility problem

Authors: Enrico Miglierina, Carlo A. De Bernardi

Abstract: Let us consider two sequences of closed convex sets $\{A_n\}$ and $\{B_n\}$ converging with respect to the Attouch-Wets convergence to $A$ and $B$, respectively. Given a starting point $a_0$, we consider the sequences of points obtained by projecting on the "perturbed" sets, i.e., the sequences $\{a_n\}$ and $\{b_n\}$ defined inductively by $b_n=P_{B_n}(a_{n-1})$ and $a_n=P_{A_n}(b_n)$. Suppose… ▽ More Let us consider two sequences of closed convex sets $\{A_n\}$ and $\{B_n\}$ converging with respect to the Attouch-Wets convergence to $A$ and $B$, respectively. Given a starting point $a_0$, we consider the sequences of points obtained by projecting on the "perturbed" sets, i.e., the sequences $\{a_n\}$ and $\{b_n\}$ defined inductively by $b_n=P_{B_n}(a_{n-1})$ and $a_n=P_{A_n}(b_n)$. Suppose that $A\cap B$ (or a suitable substitute if $A \cap B=\emptyset$) is bounded, we prove that if the couple $(A,B)$ is (boundedly) regular then the couple $(A,B)$ is $d$-stable, i.e., for each $\{a_n\}$ and $\{b_n\}$ as above we have $\mathrm{dist}(a_n,A\cap B)\to 0$ and $\mathrm{dist}(b_n,A\cap B)\to 0$. △ Less

Submitted 23 July, 2020; originally announced July 2020.

Comments: 16 pages. arXiv admin note: text overlap with arXiv:1907.13402

MSC Class: 47J25; 90C25; 90C48

A note on point-finite coverings by balls

Authors: Carlo Alberto De Bernardi

Abstract: We provide an elementary proof of a result by V.P.~Fonf and C.~Zanco on point-finite coverings of separable Hilbert spaces. Indeed, by using a variation of the famous argument introduced by J.~Lindenstrauss and R.R.~Phelps \cite{LP} to prove that the unit ball of a reflexive infinite-dimensional Banach space has uncountably many extreme points, we prove the following result: Let $X$ be an infinite… ▽ More We provide an elementary proof of a result by V.P.~Fonf and C.~Zanco on point-finite coverings of separable Hilbert spaces. Indeed, by using a variation of the famous argument introduced by J.~Lindenstrauss and R.R.~Phelps \cite{LP} to prove that the unit ball of a reflexive infinite-dimensional Banach space has uncountably many extreme points, we prove the following result: Let $X$ be an infinite-dimensional Hilbert space satisfying $\mathrm{dens}(X)<2^{\aleph_0}$, then $X$ does not admit point-finite coverings by open or closed balls, each of positive radius. In the second part of the paper, we follow the argument introduced by V.P. Fonf, M. Levin, and C. Zanco in \cite{FonfLevZan14} to prove that the previous result holds also in infinite-dimensional Banach spaces that are both uniformly rotund and uniformly smooth. △ Less

Submitted 10 July, 2020; originally announced July 2020.

Star-finite coverings of Banach spaces

Authors: Carlo Alberto De Bernardi, Jacopo Somaglia, Libor Vesely

Abstract: We study star-finite coverings of infinite-dimensional normed spaces. A family of sets is called star-finite if each of its members intersects only finitely many other members of the family. It follows by our results that an LUR or a uniformly Fréchet smooth infinite-dimensional Banach space does not admit star-finite coverings by closed balls. On the other hand, we present a quite involved constr… ▽ More We study star-finite coverings of infinite-dimensional normed spaces. A family of sets is called star-finite if each of its members intersects only finitely many other members of the family. It follows by our results that an LUR or a uniformly Fréchet smooth infinite-dimensional Banach space does not admit star-finite coverings by closed balls. On the other hand, we present a quite involved construction proving existence of a star-finite covering of $c_0(Γ)$ by Fréchet smooth centrally symmetric bounded convex bodies. A similar but simpler construction shows that every normed space of countable dimension (and hence incomplete) has a star-finite covering by closed balls. △ Less

Submitted 11 February, 2020; originally announced February 2020.

Identifiability of rank-3 tensors

Authors: Edoardo Ballico, Alessandra Bernardi, Pierpaola Santarsiero

Abstract: Rank-2 and rank-3 tensors are almost all identifiable with only few exceptions. We classify them all together with the dimensions and the structures of all the sets evincing the rank. Rank-2 and rank-3 tensors are almost all identifiable with only few exceptions. We classify them all together with the dimensions and the structures of all the sets evincing the rank. △ Less

Submitted 11 February, 2021; v1 submitted 28 January, 2020; originally announced January 2020.

Comments: Accepted for publication by Mediterranean J. of Mathematics

MSC Class: 14N07 (Primary); 15A69 (Secondary)

High Order Singular Value Decomposition for Plant Biodiversity Estimation

Authors: Alessandra Bernardi, Martina Iannacito, Duccio Rocchini

Abstract: We propose a new method to estimate plant biodiversity with R{é}nyi and Rao indexes through the so called High Order Singular Value Decomposition (HOSVD) of tensors. Starting from NASA multispectral images we evaluate biodiversity and we compare original biodiversity estimates with those realised via the HOSVD compression methods for big data. Our strategy turns out to be extremely powerful in ter… ▽ More We propose a new method to estimate plant biodiversity with R{é}nyi and Rao indexes through the so called High Order Singular Value Decomposition (HOSVD) of tensors. Starting from NASA multispectral images we evaluate biodiversity and we compare original biodiversity estimates with those realised via the HOSVD compression methods for big data. Our strategy turns out to be extremely powerful in terms of storage memory and precision of the outcome. The obtained results are so promising that we can support the efficiency of our method in the ecological framework. △ Less

Submitted 29 November, 2019; originally announced November 2019.

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)

A variational approach to the alternating projections method

Authors: Carlo A. De Bernardi, Enrico Miglierina

Abstract: The 2-sets convex feasibility problem aims at finding a point in the nonempty intersection of two closed convex sets $A$ and $B$ in a Hilbert space $X$. The method of alternating projections is the simplest iterative procedure for finding a solution and it goes back to von Neumann. In the present paper, we study some stability properties for this method in the following sense: we consider two sequ… ▽ More The 2-sets convex feasibility problem aims at finding a point in the nonempty intersection of two closed convex sets $A$ and $B$ in a Hilbert space $X$. The method of alternating projections is the simplest iterative procedure for finding a solution and it goes back to von Neumann. In the present paper, we study some stability properties for this method in the following sense: we consider two sequences of sets, each of them converging, with respect to the Attouch-Wets variational convergence, respectively, to $A$ and $B$. Given a starting point $a_0$, we consider the sequences of points obtained by projecting on the "perturbed" sets, i.e., the sequences $\{a_n\}$ and $\{b_n\}$ given by $b_n=P_{B_n}(a_{n-1})$ and $a_n=P_{A_n}(b_n)$. Under appropriate geometrical and topological assumptions on the intersection of the limit sets, we ensure that the sequences $\{a_n\}$ and $\{b_n\}$ converge in norm to a point in the intersection of $A$ and $B$. In particular, we consider both when the intersection $A\cap B$ reduces to a singleton and when the interior of $A \cap B$ is nonempty. Finally we consider the case in which the limit sets $A$ and $B$ are subspaces. △ Less

Submitted 26 June, 2020; v1 submitted 31 July, 2019; originally announced July 2019.

Comments: 18 pages

MSC Class: 47J25; 90C25; 90C48

Strict inclusions of high rank loci

Authors: Edoardo Ballico, Alessandra Bernardi, Emanuele Ventura

Abstract: For a given projective variety $X$, the high rank loci are the closures of the sets of points whose $X$-rank is higher than the generic one. We show examples of strict inclusion between two consecutive high rank loci. Our first example is for the Veronese surface of plane quartics. Although Piene had already shown an example when $X$ is a curve, we construct infinitely many curves in… ▽ More For a given projective variety $X$, the high rank loci are the closures of the sets of points whose $X$-rank is higher than the generic one. We show examples of strict inclusion between two consecutive high rank loci. Our first example is for the Veronese surface of plane quartics. Although Piene had already shown an example when $X$ is a curve, we construct infinitely many curves in $\mathbb P^4$ for which such strict inclusion appears. For space curves, we give two criteria to check whether the locus of points of maximal rank 3 is finite (possibly empty). △ Less

Submitted 14 July, 2019; originally announced July 2019.

Comments: 12 pp

MSC Class: 14N05; 15A72

The Hitchhiker guide to: Secant Varieties and Tensor Decomposition

Authors: Alessandra Bernardi, Enrico Carlini, Maria Virginia Catalisano, Alessandro Gimigliano, Alessandro Oneto

Abstract: We consider here the problem, which is quite classical in Algebraic geometry, of studying the secant varieties of a projective variety $X$. The case we concentrate on is when $X$ is a Veronese variety, a Grassmannian or a Segre variety. Not only these varieties are among the ones that have been most classically studied, but a strong motivation in taking them into consideration is the fact that the… ▽ More We consider here the problem, which is quite classical in Algebraic geometry, of studying the secant varieties of a projective variety $X$. The case we concentrate on is when $X$ is a Veronese variety, a Grassmannian or a Segre variety. Not only these varieties are among the ones that have been most classically studied, but a strong motivation in taking them into consideration is the fact that they parameterize, respectively, symmetric, skew-symmetric and general tensors, which are decomposable, and their secant varieties give a stratification of tensors via tensor rank. We collect here most of the known results and the open problems on this fascinating subject. △ Less

Submitted 26 December, 2018; originally announced December 2018.

Comments: This paper belongs to the special issue "Decomposability of Tensors", ed. Prof. Luca Chiantini

MSC Class: 13D40; 14A05; 14A10; 14A15; 14C20; 14M12; 14M15; 14M99; 14N05; 15A69; 15A75

Journal ref: Mathematics 2018, 6(12), 314

Waring, tangential and cactus decompositions

Authors: Alessandra Bernardi, Daniele Taufer

Abstract: (EN) We revise the famous algorithm for symmetric tensor decomposition due to Brachat, Comon, Mourrain and Tsidgaridas. Afterwards, we generalize it in order to detect possibly different decompositions involving points on the tangential variety of a Veronese variety. Finally, we produce an algorithm for cactus rank and decomposition, which also detects the support of the minimal apolar scheme and… ▽ More (EN) We revise the famous algorithm for symmetric tensor decomposition due to Brachat, Comon, Mourrain and Tsidgaridas. Afterwards, we generalize it in order to detect possibly different decompositions involving points on the tangential variety of a Veronese variety. Finally, we produce an algorithm for cactus rank and decomposition, which also detects the support of the minimal apolar scheme and its length at each component. (FR) Nous revenons sur le fameux algorithme de Brachat, Comon, Mourrain et Tsidgaridas pour la dćomposition des tenseurs symétriques. Ensuite, nous le généralisons afin de détecter de possibles décompositions différentes impliquant des points sur la variété tangentielle d'une variété de Veronese. Enfin, nous proposons un algorithme pour le rang et la décomposition cactus, qui, lui aussi, détecte le support du schéma apolaire minimal ainsi que sa longueur sur chaque composante. △ Less

Submitted 27 July, 2020; v1 submitted 6 December, 2018; originally announced December 2018.

Comments: 37 pages

MSC Class: 14N07

Journal ref: Journal de Mathématiques Pures et Appliquées 143, 2020, pp. 1-30

Skew-Symmetric Tensor Decomposition

Authors: Enrique Arrondo, Alessandra Bernardi, Pedro Macias Marques, Bernard Mourrain

Abstract: We introduce the ``skew apolarity lemma'' and we use it to give algorithms for the skew-symmetric rank and the decompositions of tensors in {$\bigwedge^dV_{\mathbb{C}}$ with $d\leq 3$ and $\dim V_{\mathbb{C}} \leq 8$}. New algorithms to compute the rank and a minimal decomposition of a tritensor are also presented. We introduce the ``skew apolarity lemma'' and we use it to give algorithms for the skew-symmetric rank and the decompositions of tensors in {$\bigwedge^dV_{\mathbb{C}}$ with $d\leq 3$ and $\dim V_{\mathbb{C}} \leq 8$}. New algorithms to compute the rank and a minimal decomposition of a tritensor are also presented. △ Less

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

Comments: 25 pages, 3 figures

Journal ref: Communications in Contemporary Mathematics, 2019

Stability of a convex feasibility problem

Authors: Carlo Alberto De Bernardi, Enrico Miglierina, Elena Molho

Abstract: The 2-sets convex feasibility problem aims at finding a point in the intersection of two closed convex sets $A$ and $B$ in a normed space $X$. More generally, we can consider the problem of finding (if possible) two points in $A$ and $B$, respectively, which minimize the distance between the sets. In the present paper, we study some stability properties for the convex feasibility problem: we consi… ▽ More The 2-sets convex feasibility problem aims at finding a point in the intersection of two closed convex sets $A$ and $B$ in a normed space $X$. More generally, we can consider the problem of finding (if possible) two points in $A$ and $B$, respectively, which minimize the distance between the sets. In the present paper, we study some stability properties for the convex feasibility problem: we consider two sequences of sets, each of them converging, with respect to a suitable notion of set convergence, respectively, to $A$ and $B$. Under appropriate assumptions on the original problem, we ensure that the solutions of the perturbed problems converge to a solution of the original problem. We consider both the finite-dimensional and the infinite-dimensional case. Moreover, we provide several examples that point out the role of our assumptions in the obtained results. △ Less

Submitted 26 June, 2018; originally announced June 2018.

Comments: 17 pages

MSC Class: 90c25; 90c31; 49j53

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

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

On the dimension of contact loci and the identifiability of tensors

Authors: Edoardo Ballico, Alessandra Bernardi, Luca Chiantini

Abstract: Let $X\subset \mathbb{P}^r$ be an integral and non-degenerate variety. Set $n:= \dim (X)$. We prove that if the $(k+n-1)$-secant variety of $X$ has (the expected) dimension $(k+n-1)(n+1)-1<r$ and $X$ is not uniruled by lines, then $X$ is not $k$-weakly defective and hence the $k$-secant variety satisfies identifiability, i.e. a general element of it is in the linear span of a unique $S\subset X$ w… ▽ More Let $X\subset \mathbb{P}^r$ be an integral and non-degenerate variety. Set $n:= \dim (X)$. We prove that if the $(k+n-1)$-secant variety of $X$ has (the expected) dimension $(k+n-1)(n+1)-1<r$ and $X$ is not uniruled by lines, then $X$ is not $k$-weakly defective and hence the $k$-secant variety satisfies identifiability, i.e. a general element of it is in the linear span of a unique $S\subset X$ with $\sharp (S) =k$. We apply this result to many Segre-Veronese varieties and to the identifiability of Gaussian mixtures $G_{1,d}$. If $X$ is the Segre embedding of a multiprojective space we prove identifiability for the $k$-secant variety (assuming that the $(k+n-1)$-secant variety has dimension $(k+n-1)(n+1)-1<r$, this is a known result in many cases), beating several bounds on the identifiability of tensors. △ Less

Submitted 1 December, 2017; v1 submitted 8 June, 2017; originally announced June 2017.

Comments: 12 pages

Bounds on the tensor rank

Authors: Edoardo Ballico, Alessandra Bernardi, Luca Chiantini, Elena Guardo

Abstract: We give a sufficient criterion for a lower bound of the cactus rank of a tensor. Then we refine that criterion in order to be able to give an explicit sufficient condition for a non-redundant decomposition of a tensor to be minimal and unique. We give a sufficient criterion for a lower bound of the cactus rank of a tensor. Then we refine that criterion in order to be able to give an explicit sufficient condition for a non-redundant decomposition of a tensor to be minimal and unique. △ Less

Submitted 5 May, 2017; originally announced May 2017.

Comments: 14 pages

On the ranks of the third secant variety of Segre-Veronese embeddings

Authors: Edoardo Ballico, Alessandra Bernardi

Abstract: We give an upper bound for the rank of the border rank 3 partially symmetric tensors. In the special case of border rank 3 tensors $T\in V_1\otimes \cdots \otimes V_k$ (Segre case) we can show that all ranks among 3 and $k-1$ arise and if $\dim V_i \geq 3$ for all $i$'s, then also all the ranks between $k$ and $2k-1$ arise. We give an upper bound for the rank of the border rank 3 partially symmetric tensors. In the special case of border rank 3 tensors $T\in V_1\otimes \cdots \otimes V_k$ (Segre case) we can show that all ranks among 3 and $k-1$ arise and if $\dim V_i \geq 3$ for all $i$'s, then also all the ranks between $k$ and $2k-1$ arise. △ Less

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

Comments: Accepted version: Linear and Multilinear Algebra

Singularities of plane rational curves via projections

Authors: Alessandra Bernardi, Alessandro Gimigliano, Monica Idà

Abstract: We consider the parameterization ${\mathbf{f}}=(f_0,f_1,f_2)$ of a plane rational curve $C$ of degree $n$, and we want to study the singularities of $C$ via such parameterization. We do this by using the projection from the rational normal curve $C_n\subset \mathbb{P}^n$ to $C$ and its interplay with the secant varieties to $C_n$. In particular, we define via ${\mathbf{f}}$ certain 0-dimensional s… ▽ More We consider the parameterization ${\mathbf{f}}=(f_0,f_1,f_2)$ of a plane rational curve $C$ of degree $n$, and we want to study the singularities of $C$ via such parameterization. We do this by using the projection from the rational normal curve $C_n\subset \mathbb{P}^n$ to $C$ and its interplay with the secant varieties to $C_n$. In particular, we define via ${\mathbf{f}}$ certain 0-dimensional schemes $X_k\subset \mathbb{P}^k$, $2\leq k\leq (n-1)$, which encode all information on the singularities of multiplicity $\geq k$ of $C$ (e.g. using $X_2$ we can give a criterion to determine whether $C$ is a cuspidal curve or has only ordinary singularities). We give a series of algorithms which allow to get info about the singularities from such schemes. △ Less

Submitted 18 May, 2017; v1 submitted 7 September, 2016; originally announced September 2016.

Comments: 23 pages, 4 algorithms. Conjecture 4.4 in v1, now is Proposition 4.4. Accepted for the publication in JSC

A new class of non-identifiable skew symmetric tensors

Authors: Davide Vanzo, Alessandra Bernardi

Abstract: We prove that the generic element of the fifth secant variety $σ_5(Gr(\mathbb{P}^2,\mathbb{P}^9)) \subset \mathbb{P}(\bigwedge^3 \mathbb{C}^{10})$ of the Grassmannian of planes of $\mathbb{P}^9$ has exactly two decompositions as a sum of five projective classes of decomposable skew-symmetric tensors. {We show that this, {together with $Gr(\mathbb{P}^3, \mathbb{P}^8)$, is the only non-identifiable… ▽ More We prove that the generic element of the fifth secant variety $σ_5(Gr(\mathbb{P}^2,\mathbb{P}^9)) \subset \mathbb{P}(\bigwedge^3 \mathbb{C}^{10})$ of the Grassmannian of planes of $\mathbb{P}^9$ has exactly two decompositions as a sum of five projective classes of decomposable skew-symmetric tensors. {We show that this, {together with $Gr(\mathbb{P}^3, \mathbb{P}^8)$, is the only non-identifiable case} among the non-defective secant varieties $σ_s(Gr(\mathbb{P}^k, \mathbb{P}^n))$ for any $n<14$. In the same range for $n$, we classify all the weakly defective and all tangentially weakly defective secant varieties of any Grassmannians.} We also show that the dual variety $(σ_3(Gr(\mathbb{P}^2,\mathbb{P}^7)))^{\vee}$ of the variety of 3-secant planes of the Grassmannian of $\mathbb{P}^2\subset \mathbb{P}^7$ is $σ_2(Gr(\mathbb{P}^2,\mathbb{P}^7))$ the variety of bi-secant lines of the same Grassmannian. The proof of this last fact has a very interesting physical interpretation in terms of measurement of the entanglement of a system of 3 identical fermions, the state of each of them belonging to a 8-th dimensional "Hilbert" space. △ Less

Submitted 16 February, 2018; v1 submitted 13 June, 2016; originally announced June 2016.

Comments: The article has been accepted by Annali di Matematica Pura ed Applicata

Typical and Admissible ranks over fields

Authors: Edoardo Ballico, Alessandra Bernardi

Abstract: Let $X(\RR)$ be a geometrically connected variety defined over $\RR$ and such that the set of all its (also complex) points $X(\CC)$ is non-degenerate. We introduce the notion of \emph{admissible rank} of a point $P$ with respect to $X$ to be the minimal cardinality of a set of points of $X(\CC)$ such that $P\in \langle S \rangle$ that is stable under conjugation. Any set evincing the admissib… ▽ More Let $X(\RR)$ be a geometrically connected variety defined over $\RR$ and such that the set of all its (also complex) points $X(\CC)$ is non-degenerate. We introduce the notion of \emph{admissible rank} of a point $P$ with respect to $X$ to be the minimal cardinality of a set of points of $X(\CC)$ such that $P\in \langle S \rangle$ that is stable under conjugation. Any set evincing the admissible rank can be equipped with a \emph{label} keeping track of the number of its complex and real points. We show that in the case of generic identifiability there is an open dense euclidean subset of points with certain admissible rank for any possible label. Moreover we show that if $X$ is a rational normal curve than there always exists a label for the generic element. We present two examples in which either the label doesn't exists or the admissible rank is strictly bigger than the usual complex rank. △ Less

Submitted 8 April, 2016; originally announced April 2016.

Comments: 12 pages, Comments welcome

Tensor decomposition and homotopy continuation

Authors: Alessandra Bernardi, Noah S. Daleo, Jonathan D. Hauenstein, Bernard Mourrain

Abstract: A computationally challenging classical elimination theory problem is to compute polynomials which vanish on the set of tensors of a given rank. By moving away from computing polynomials via elimination theory to computing pseudowitness sets via numerical elimination theory, we develop computational methods for computing ranks and border ranks of tensors along with decompositions. More generally,… ▽ More A computationally challenging classical elimination theory problem is to compute polynomials which vanish on the set of tensors of a given rank. By moving away from computing polynomials via elimination theory to computing pseudowitness sets via numerical elimination theory, we develop computational methods for computing ranks and border ranks of tensors along with decompositions. More generally, we present our approach using joins of any collection of irreducible and nondegenerate projective varieties $X_1,\ldots,X_k\subset\mathbb{P}^N$ defined over $\mathbb{C}$. After computing ranks over $\mathbb{C}$, we also explore computing real ranks. Various examples are included to demonstrate this numerical algebraic geometric approach. △ Less

Submitted 6 July, 2016; v1 submitted 14 December, 2015; originally announced December 2015.

Comments: We have added two examples: A Coppersmith-Winograd tensor, Matrix multiplication with zeros. (26 pages, 1 figure)

MSC Class: 65H10; 13P05; 14Q99; 68W30

On real typical ranks

Authors: Alessandra Bernardi, Grigoriy Blekherman, Giorgio Ottaviani

Abstract: We study typical ranks with respect to a real variety $X$. Examples of such are tensor rank ($X$ is the Segre variety) and symmetric tensor rank ($X$ is the Veronese variety). We show that any rank between the minimal typical rank and the maximal typical rank is also typical. We investigate typical ranks of $n$-variate symmetric tensors of order $d$, or equivalently homogeneous polynomials of degr… ▽ More We study typical ranks with respect to a real variety $X$. Examples of such are tensor rank ($X$ is the Segre variety) and symmetric tensor rank ($X$ is the Veronese variety). We show that any rank between the minimal typical rank and the maximal typical rank is also typical. We investigate typical ranks of $n$-variate symmetric tensors of order $d$, or equivalently homogeneous polynomials of degree $d$ in $n$ variables, for small values of $n$ and $d$. We show that $4$ is the unique typical rank of real ternary cubics, and quaternary cubics have typical ranks $5$ and $6$ only. For ternary quartics we show that $6$ and $7$ are typical ranks and that all typical ranks are between $6$ and $8$. For ternary quintics we show that the typical ranks are between $7$ and $13$. △ Less

Submitted 6 December, 2015; originally announced December 2015.

Comments: 13 pages, 1 figure

MSC Class: 15A21; 15A69; 15A72; 14P10

A uniqueness result on the decompositions of a bi-homogeneous polynomial

Authors: Edoardo Ballico, Alessandra Bernardi

Abstract: In the first part of this paper we give a precise description of all the minimal decompositions of any bi-homogeneous polynomial $p$ (i.e. a partially symmetric tensor of $S^{d_1}V_1\otimes S^{d_2}V_2$ where $V_1,V_2$ are two complex, finite dimensional vector spaces) if its rank with respect to the Segre-Veronese variety $S_{d_1,d_2}(V_1,V_2)$ is at most $\min \{d_1,d_2\}$. Such a polynomial may… ▽ More In the first part of this paper we give a precise description of all the minimal decompositions of any bi-homogeneous polynomial $p$ (i.e. a partially symmetric tensor of $S^{d_1}V_1\otimes S^{d_2}V_2$ where $V_1,V_2$ are two complex, finite dimensional vector spaces) if its rank with respect to the Segre-Veronese variety $S_{d_1,d_2}(V_1,V_2)$ is at most $\min \{d_1,d_2\}$. Such a polynomial may not have a unique minimal decomposition as $p=\sum_{i=1}^rλ_i p_i$ with $p_i\in S_{d_1,d_2}(V_1,V_2)$ and $λ_i$ coefficients, but we can show that there exist unique $p_1, \ldots , p_{r'}$, $p_{1}', \ldots , p_{r''}'\in S_{d_1,d_2}(V_1,V_2) $, two unique linear forms $l\in V_1^*$, $l'\in V_2^*$, and two unique bivariate polynomials $q\in S^{d_2}V_2^*$ and $q'\in S^{d_1}V_1^*$ such that either $p=\sum_{i=1}^{r'} λ_i p_i+l^{d_1}q $ or $ p= \sum_{i=1}^{r''}λ'_i p_i'+l'^{d_2}q'$, ($λ_i, λ'_i$ being appropriate coefficients). In the second part of the paper we focus on the tangential variety of the Segre-Veronese varieties. We compute the rank of their tensors (that is valid also in the case of Segre-Veronese of more factors) and we describe the structure of the decompositions of the elements in the tangential variety of the two-factors Segre-Veronese varieties. △ Less

Submitted 12 June, 2016; v1 submitted 22 July, 2015; originally announced July 2015.

Comments: Accepted for the Publication in "Linear and Multilinear Algebra" 21 Pages, 7 Figures. We have strengthened the main theorem with respect to the first version

On Parameterizations of plane rational curves and their syzygies

Authors: Alessandra Bernardi, Alessandro Gimigliano, Monica Idà

Abstract: Let $C$ be a plane rational curve of degree $d$ and $p:\tilde C \rightarrow C$ its normalization. We are interested in the splitting type $(a,b)$ of $C$, where $\mathcal{O}_{\mathbb{P}^1}(-a-d)\oplus \mathcal{O}_{\mathbb{P}^1}(-b-d)$ gives the syzigies of the ideal $(f_0,f_1,f_2)\subset K[s,t]$, and $(f_0,f_1,f_2)$ is a parameterization of $C$. We want to describe in which cases $(a,b)=(k,d-k)$ (… ▽ More Let $C$ be a plane rational curve of degree $d$ and $p:\tilde C \rightarrow C$ its normalization. We are interested in the splitting type $(a,b)$ of $C$, where $\mathcal{O}_{\mathbb{P}^1}(-a-d)\oplus \mathcal{O}_{\mathbb{P}^1}(-b-d)$ gives the syzigies of the ideal $(f_0,f_1,f_2)\subset K[s,t]$, and $(f_0,f_1,f_2)$ is a parameterization of $C$. We want to describe in which cases $(a,b)=(k,d-k)$ ($2k\leq d)$, via a geometric description; namely we show that $(a,b)=(k,d-k)$ if and only if $C$ is the projection of a rational curve on a rational normal surface in $\mathbb{P}^{k+1}$. △ Less

Submitted 8 July, 2015; originally announced July 2015.

Comments: 12 Pages

Unique decomposition for a polynomial of low rank

Authors: E. Ballico, A. Bernardi

Abstract: Let $F$ be a homogeneous polynomial of degree $d$ in $m+1$ variables defined over an algebraically closed field of characteristic 0 and suppose that $F$ belongs to the $s$-th secant variety of the $d$-uple Veronese embedding of $\mathbb{P}^m$ into $ \PP {{m+d\choose d}-1}$ but that its minimal decomposition as a sum of $d$-th powers of linear forms requires more than $s$ addenda. We show that if… ▽ More Let $F$ be a homogeneous polynomial of degree $d$ in $m+1$ variables defined over an algebraically closed field of characteristic 0 and suppose that $F$ belongs to the $s$-th secant variety of the $d$-uple Veronese embedding of $\mathbb{P}^m$ into $ \PP {{m+d\choose d}-1}$ but that its minimal decomposition as a sum of $d$-th powers of linear forms requires more than $s$ addenda. We show that if $s\leq d$ then $F$ can be uniquely written as $F=M_1^d+\cdots + M_t^d+Q$, where $M_1, \ldots, M_t$ are linear forms with $t\leq (d-1)/2$, and $Q$ a binary form such that $Q=\sum_{i=1}^q l_i^{d-d_i}m_i$ with $l_i$'s linear forms and $m_i$'s forms of degree $d_i$ such that $\sum (d_i+1)=s-t$. △ Less

Submitted 6 May, 2013; originally announced May 2013.

Comments: 6 pages

MSC Class: 15A21; 15A69; 14N15

Journal ref: Ann. Polon. Math. 108 (2013), 219--224

Real and complex rank for real symmetric tensors with low ranks

Authors: Edoardo Ballico, Alessandra Bernardi

Abstract: We study the case of a real homogeneous polynomial $P$ whose minimal real and complex decompositions in terms of powers of linear forms are different. We prove that, if the sum of the complex and the real ranks of $P$ is at most $ 3°(P)-1$, then the difference of the two decompositions is completely determined either on a line or on a conic or two disjoint lines. We study the case of a real homogeneous polynomial $P$ whose minimal real and complex decompositions in terms of powers of linear forms are different. We prove that, if the sum of the complex and the real ranks of $P$ is at most $ 3°(P)-1$, then the difference of the two decompositions is completely determined either on a line or on a conic or two disjoint lines. △ Less

Submitted 11 March, 2013; originally announced March 2013.

Comments: 8 pages

Journal ref: Algebra, Volume 2013, Article ID 794054, 5 pages

On polynomials with given Hilbert function and applications

Authors: Alessandra Bernardi, Joachim Jelisiejew, Pedro Macias Marques, Kristian Ranestad

Abstract: Using Macaulay's correspondence we study the family of Artinian Gorenstein local algebras with fixed symmetric Hilbert function decomposition. As an application we give a new lower bound for cactus varieties of the third Veronese embedding. We discuss the case of cubic surfaces, where interesting phenomena occur. Using Macaulay's correspondence we study the family of Artinian Gorenstein local algebras with fixed symmetric Hilbert function decomposition. As an application we give a new lower bound for cactus varieties of the third Veronese embedding. We discuss the case of cubic surfaces, where interesting phenomena occur. △ Less

Submitted 23 June, 2016; v1 submitted 30 November, 2012; originally announced November 2012.

MSC Class: 13H10 (Primary) 14Q15; 14C05 (Secondary)

Journal ref: Collectanea Mathematica, 69 (2018) 39-64

Curvilinear schemes and maximum rank of forms

Authors: Edoardo Ballico, Alessandra Bernardi

Abstract: We define the \emph{curvilinear rank} of a degree $d$ form $P$ in $n+1$ variables as the minimum length of a curvilinear scheme, contained in the $d$-th Veronese embedding of $\mathbb{P}^n$, whose span contains the projective class of $P$. Then, we give a bound for rank of any homogenous polynomial, in dependance on its curvilinear rank. We define the \emph{curvilinear rank} of a degree $d$ form $P$ in $n+1$ variables as the minimum length of a curvilinear scheme, contained in the $d$-th Veronese embedding of $\mathbb{P}^n$, whose span contains the projective class of $P$. Then, we give a bound for rank of any homogenous polynomial, in dependance on its curvilinear rank. △ Less

Submitted 6 July, 2015; v1 submitted 30 October, 2012; originally announced October 2012.

Comments: Changed Questions 2 and 3. More detailed proofs

A comparison of different notions of ranks of symmetric tensors

Authors: Alessandra Bernardi, Jérôme Brachat, Bernard Mourrain

Abstract: We introduce various notions of rank for a symmetric tensor, namely: rank, border rank, catalecticant rank, generalized rank, scheme length, border scheme length, extension rank and smoothable rank. We analyze the stratification induced by these ranks. The mutual relations between these stratifications, allow us to describe the hierarchy among all the ranks. We show that strict inequalities are po… ▽ More We introduce various notions of rank for a symmetric tensor, namely: rank, border rank, catalecticant rank, generalized rank, scheme length, border scheme length, extension rank and smoothable rank. We analyze the stratification induced by these ranks. The mutual relations between these stratifications, allow us to describe the hierarchy among all the ranks. We show that strict inequalities are possible between rank, border rank, extension rank and catalecticant rank. Moreover we show that scheme length, generalized rank and extension rank coincide. △ Less

Submitted 27 November, 2012; v1 submitted 30 October, 2012; originally announced October 2012.

Tensor ranks on tangent developable of Segre varieties

Authors: Edoardo Ballico, Alessandra Bernardi

Abstract: We describe the stratification by tensor rank of the points belonging to the tangent developable of any Segre variety. We give algorithms to compute the rank and a decomposition of a tensor belonging to the secant variety of lines of any Segre variety. We prove Comon's conjecture on the rank of symmetric tensors for those tensors belonging to tangential varieties to Veronese varieties. We describe the stratification by tensor rank of the points belonging to the tangent developable of any Segre variety. We give algorithms to compute the rank and a decomposition of a tensor belonging to the secant variety of lines of any Segre variety. We prove Comon's conjecture on the rank of symmetric tensors for those tensors belonging to tangential varieties to Veronese varieties. △ Less

Submitted 19 December, 2012; v1 submitted 30 October, 2012; originally announced October 2012.

Comments: Remarks 1 and 2 modified with respect to the published version. No modifications in the main Theorem and its proof

Journal ref: Linear and Multilinear Algebra. 61(7) 881-984 (2013)

Apolar Ideal and Normal Bundle of Rational Curves

Authors: Alessandro Bernardi

Abstract: As in our previous work [1] we address the problem to determine the splitting of the normal bundle of rational curves. With apolarity theory we are able to characterize some particular subvarieties in some Hilbert scheme of rational curves, defined by the splitting type of the normal bundle and the restricted tangent bundle. As in our previous work [1] we address the problem to determine the splitting of the normal bundle of rational curves. With apolarity theory we are able to characterize some particular subvarieties in some Hilbert scheme of rational curves, defined by the splitting type of the normal bundle and the restricted tangent bundle. △ Less

Submitted 22 March, 2012; originally announced March 2012.

Normal Bundle of Rational Curves and Waring Decomposition

Authors: Alessandro Bernardi

Abstract: The problem of determining the splitting of the normal bundle of rational space curves has been considered in the 80s in a series of papers by Ghione and Sacchiero and by Eisenbud and Van de Ven. With our approach we are able to obtain results for curves embedded in $\bbP^m$ for $m\geq 3$ and we find an interesting interplay between the Waring decomposition of binary forms and the splitting of the… ▽ More The problem of determining the splitting of the normal bundle of rational space curves has been considered in the 80s in a series of papers by Ghione and Sacchiero and by Eisenbud and Van de Ven. With our approach we are able to obtain results for curves embedded in $\bbP^m$ for $m\geq 3$ and we find an interesting interplay between the Waring decomposition of binary forms and the splitting of the normal bundle. △ Less

Submitted 20 November, 2013; v1 submitted 22 March, 2012; originally announced March 2012.

Journal ref: Journal of Algebra 400 ( 2014 ) 123 - 141

Grassmann secants, identifiability, and linear systems of tensors

Authors: Edoardo Ballico, Alessandra Bernardi, Maria Virginia Catalisano, Luca Chiantini

Abstract: For any irreducible non-degenerate variety $X\subset \mathbb{P}^r$, we give a criterion for the $(k,s)$-identifiability of $X$. If $k\leq s-1 <r$, then the $(k,s)$-identifiability holds for $X$ if and only if the $s$-identifiability holds for the Segre product $Seg(\mathbb{P}^k\times X)$. Moreover, if the $s$-th secant variety of $X$ is not defective and it does not fill the ambient space, then we… ▽ More For any irreducible non-degenerate variety $X\subset \mathbb{P}^r$, we give a criterion for the $(k,s)$-identifiability of $X$. If $k\leq s-1 <r$, then the $(k,s)$-identifiability holds for $X$ if and only if the $s$-identifiability holds for the Segre product $Seg(\mathbb{P}^k\times X)$. Moreover, if the $s$-th secant variety of $X$ is not defective and it does not fill the ambient space, then we can produce a family of pairs $(k,s)$ for which the $(k,s)$-identifiability holds for $X$. △ Less

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

Comments: Accepted for the publication: Linear Algebra and its Applications

Journal ref: Linear Algebra and its Applications 438 (2013) 121-135

On the cactus rank of cubics forms

Authors: Alessandra Bernardi, Kristian Ranestad

Abstract: We prove that the smallest degree of an apolar 0-dimensional scheme of a general cubic form in $n+1$ variables is at most $2n+2$, when $n\geq 8$, and therefore smaller than the rank of the form. For the general reducible cubic form the smallest degree of an apolar subscheme is $n+2$, while the rank is at least $2n$. We prove that the smallest degree of an apolar 0-dimensional scheme of a general cubic form in $n+1$ variables is at most $2n+2$, when $n\geq 8$, and therefore smaller than the rank of the form. For the general reducible cubic form the smallest degree of an apolar subscheme is $n+2$, while the rank is at least $2n$. △ Less

Submitted 20 May, 2024; v1 submitted 10 October, 2011; originally announced October 2011.

Comments: We thank Joachim Jelisiejew for pointing out that Lemma 2 is correct as stated only when using apolarity by contraction (as reflected in the current version of this paper, updated in May 2024) instead of apolarity by differentiation (as it was in the originally published version)

Report number: Mittag-Leffler-2011spring

Journal ref: Journal of Symbolic Computation 50 (2013) 291-297

Algebraic Geometry tools for the study of entanglement: an application to spin squeezed states

Authors: Alessandra Bernardi, Iacopo Carusotto

Abstract: A short review of Algebraic Geometry tools for the decomposition of tensors and polynomials is given from the point of view of applications to quantum and atomic physics. Examples of application to assemblies of indistinguishable two-level bosonic atoms are discussed using modern formulations of the classical Sylvester's algorithm for the decomposition of homogeneous polynomials in two variables.… ▽ More A short review of Algebraic Geometry tools for the decomposition of tensors and polynomials is given from the point of view of applications to quantum and atomic physics. Examples of application to assemblies of indistinguishable two-level bosonic atoms are discussed using modern formulations of the classical Sylvester's algorithm for the decomposition of homogeneous polynomials in two variables. In particular, the symmetric rank and symmetric border rank of spin squeezed states is calculated as well as their Schrödinger-cat-like decomposition as the sum of macroscopically different coherent spin states; Fock states provide an example of states for which the symmetric rank and the symmetric border rank are different. △ Less

Submitted 1 September, 2011; originally announced September 2011.

Comments: 8 pages, 1 figure

MSC Class: 81Qxx; 14Q05; 13P05

Journal ref: J. Phys. A: Math. Theor. 45 (2012) 105304

General Tensor Decomposition, Moment Matrices and Applications

Authors: Alessandra Bernardi, Jerome Brachat, Pierre Comon, Bernard Mourrain

Abstract: The tensor decomposition addressed in this paper may be seen as a generalisation of Singular Value Decomposition of matrices. We consider general multilinear and multihomogeneous tensors. We show how to reduce the problem to a truncated moment matrix problem and give a new criterion for flat extension of Quasi-Hankel matrices. We connect this criterion to the commutation characterisation of border… ▽ More The tensor decomposition addressed in this paper may be seen as a generalisation of Singular Value Decomposition of matrices. We consider general multilinear and multihomogeneous tensors. We show how to reduce the problem to a truncated moment matrix problem and give a new criterion for flat extension of Quasi-Hankel matrices. We connect this criterion to the commutation characterisation of border bases. A new algorithm is described. It applies for general multihomogeneous tensors, extending the approach of J.J. Sylvester to binary forms. An example illustrates the algebraic operations involved in this approach and how the decomposition can be recovered from eigenvector computation. △ Less

Submitted 20 October, 2011; v1 submitted 6 May, 2011; originally announced May 2011.

Comments: Submitted (2011)

Journal ref: Journal of Symbolic Computation (2012)

Higher secant varieties of $\mathbb P^n \times\mathbb P^ 1$ embedded in bi-degree $(a,b)$

Authors: Edoardo Ballico, Alessandra Bernardi, Maria Virginia Catalisano

Abstract: In this paper we compute the dimension of all the higher secant varieties to the Segre-Veronese embedding of $\mathbb{P}^n\times \mathbb{P}^1$ via the section of the sheaf $\mathcal{O}(a,b)$ for any $n,a,b\in \mathbb{Z}^+$. We relate this result to the Grassmann Defectivity of Veronese varieties and we classify all the Grassmann $(1,s-1)$-defective Veronese varieties. In this paper we compute the dimension of all the higher secant varieties to the Segre-Veronese embedding of $\mathbb{P}^n\times \mathbb{P}^1$ via the section of the sheaf $\mathcal{O}(a,b)$ for any $n,a,b\in \mathbb{Z}^+$. We relate this result to the Grassmann Defectivity of Veronese varieties and we classify all the Grassmann $(1,s-1)$-defective Veronese varieties. △ Less

Submitted 6 March, 2011; originally announced March 2011.

Comments: 19 pages

Report number: Mittag-Leffler-2011spring

Journal ref: Comm. Algebra. 40:3822--3840 (2012)