Showing 1–12 of 12 results for author: Buczynska, W

Cactus varieties of sufficiently ample embeddings of projective schemes have determinantal equations

Authors: Weronika Buczyńska, Jarosław Buczyński, Łucja Farnik

Abstract: For a fixed projective scheme X, a property P of line bundles is satisfied by sufficiently ample line bundles if there exists a line bundle L_0 on X such that P(L) holds for any L with (L - L_0) ample. As an example, sufficiently ample line bundles are very ample, moreover, for a normal variety X, the embedding corresponding to sufficiently ample line bundle is projectively normal. The grandfather… ▽ More For a fixed projective scheme X, a property P of line bundles is satisfied by sufficiently ample line bundles if there exists a line bundle L_0 on X such that P(L) holds for any L with (L - L_0) ample. As an example, sufficiently ample line bundles are very ample, moreover, for a normal variety X, the embedding corresponding to sufficiently ample line bundle is projectively normal. The grandfather of such properties and a basic ingredient used to study this concept is Fujita vanishing theorem, which is a strengthening of Serre vanishing to sufficiently ample line bundles. The r-th cactus variety of X is an analogue of secant variety and it is defined using linear spans of finite schemes of degree r. In this article we show that cactus varieties of sufficiently ample embeddings of X are set-theoretically defined by minors of matrices with linear entries. The topic is closely related to conjectures of Eisenbud-Koh-Stillman, which was proved by Ginensky in the case X a smooth curve. On the other hand Sidman-Smith proved that the ideal of sufficiently ample embedding of any projective scheme X is generated by 2 x 2 minors of a matrix with linear entries. △ Less

Submitted 1 December, 2024; originally announced December 2024.

Comments: 32 pages, 1 figure, Dedicated in memory of Gianfranco Casnati

Report number: BCSim-2022-s04 MSC Class: 14N07 (Primary) 14M12; 14F17; 14C05 (Secondary)

Apolarity, border rank and multigraded Hilbert scheme

Authors: Weronika Buczyńska, Jarosław Buczyński

Abstract: We introduce an elementary method to study the border rank of polynomials and tensors, analogous to the apolarity lemma. This can be used to describe the border rank of all cases uniformly, including those very special ones that resisted a systematic approach. We also define a border rank version of the variety of sums of powers and analyse its usefulness in studying tensors and polynomials with l… ▽ More We introduce an elementary method to study the border rank of polynomials and tensors, analogous to the apolarity lemma. This can be used to describe the border rank of all cases uniformly, including those very special ones that resisted a systematic approach. We also define a border rank version of the variety of sums of powers and analyse its usefulness in studying tensors and polynomials with large symmetries. In particular, it can be applied to provide lower bounds for the border rank of some very interesting tensors, such as the matrix multiplication tensor. We work in a general setting, where the base variety is not necessarily a Segre or Veronese variety, but an arbitrary smooth toric projective variety. A critical ingredient of our work is an irreducible component of a multigraded Hilbert scheme related to the toric variety in question. △ Less

Submitted 7 November, 2020; v1 submitted 4 October, 2019; originally announced October 2019.

Comments: 37 pages; v2: accepted version, to appear in Duke Mathematical Journal

MSC Class: 14C05 (Primary) 14M25; 15A69; 68Q17 (Secondary)

The Hackbusch conjecture on tensor formats - part two

Authors: Weronika Buczyńska

Abstract: We prove a conjecture of W.~Hackbusch in a bigger generality than in our previous article. Here we consider Tensor Train (TT) model with an arbitrary number of leaves and a corresponding "almost binary tree" for Hierarchical Tucker (HT) model, i.e. the deepest tree with the same number of leaves. Our main result is an algorithm that computes the flattening rank of a generic tensor in a Tensor Netw… ▽ More We prove a conjecture of W.~Hackbusch in a bigger generality than in our previous article. Here we consider Tensor Train (TT) model with an arbitrary number of leaves and a corresponding "almost binary tree" for Hierarchical Tucker (HT) model, i.e. the deepest tree with the same number of leaves. Our main result is an algorithm that computes the flattening rank of a generic tensor in a Tensor Network State (TNS) model on a given tree with respect to any flattening coming from combinatorics of the space. The methods also imply that the tensor rank (which is also called CP-rank) of most tensors in a TNS model grows exponentially with the growth of the number of leaves for any shape of the tree. △ Less

Submitted 1 February, 2018; originally announced February 2018.

Comments: 9 pages

MSC Class: 15A69 (primary); 46B28; 65D15 (secondary)

Hackbusch Conjecture on tensor formats

Authors: Weronika Buczyńska, Jarosław Buczyński, Mateusz Michałek

Abstract: We prove a conjecture of W. Hackbusch about tensor network states related to a perfect binary tree and train track tree. Tensor network states are used to present seemingly complicated tensors in a relatively simple and efficient manner. Each such presentation is described by a binary tree and a collection of vector spaces, one for each vertex of the tree. A problem suggested by Wolfgang Hackbusch… ▽ More We prove a conjecture of W. Hackbusch about tensor network states related to a perfect binary tree and train track tree. Tensor network states are used to present seemingly complicated tensors in a relatively simple and efficient manner. Each such presentation is described by a binary tree and a collection of vector spaces, one for each vertex of the tree. A problem suggested by Wolfgang Hackbusch and Joseph Landsberg is to compare the complexities of encodings, if one presents the same tensor with respect to two different trees. We answer this question when the two trees are extremal cases: the most "spread" tree (perfect binary tree), and the "deepest" binary tree (train track tree). The corresponding tensor formats are called hierarchical formats (HF) and tensor train (TT) formats, respectively. △ Less

Submitted 7 August, 2015; v1 submitted 6 January, 2015; originally announced January 2015.

Comments: 14 pages, 6 figures, final published version in Journal de Mathématiques Pures et Appliquées, 2015

MSC Class: 15A69 (primary); 46B28; 65D15 (secondary)

Apolarity and direct sum decomposability of polynomials

Authors: Weronika Buczyńska, Jarosław Buczyński, Johannes Kleppe, Zach Teitler

Abstract: A polynomial is a direct sum if it can be written as a sum of two non-zero polynomials in some distinct sets of variables, up to a linear change of variables. We analyze criteria for a homogeneous polynomial to be decomposable as a direct sum, in terms of the apolar ideal of the polynomial. We prove that the apolar ideal of a polynomial of degree $d$ strictly depending on all variables has a minim… ▽ More A polynomial is a direct sum if it can be written as a sum of two non-zero polynomials in some distinct sets of variables, up to a linear change of variables. We analyze criteria for a homogeneous polynomial to be decomposable as a direct sum, in terms of the apolar ideal of the polynomial. We prove that the apolar ideal of a polynomial of degree $d$ strictly depending on all variables has a minimal generator of degree $d$ if and only if it is a limit of direct sums. △ Less

Submitted 23 February, 2015; v1 submitted 11 July, 2013; originally announced July 2013.

Comments: 35 pages. v2: added remarks generalizing results to arbitrary characteristic. v3: extensive rewrite, several generalizations in last section, numerous clarifications throughout. v4: another extensive rewrite with improved notation and terminology, clarifications and corrections throughout, to incorporate suggestions of referee

MSC Class: 13H10; 14N15

On differences between the border rank and the smoothable rank of a polynomial

Authors: Weronika Buczyńska, Jarosław Buczyński

Abstract: We consider higher secant varieties to Veronese varieties. Most points on the r-th secant variety are represented by a finite scheme of length r contained in the Veronese variety --- in fact, for generic point, it is just a union of r distinct points. A modern way to phrase it is: the smoothable rank is equal to the border rank for most polynomials. This property is very useful for studying secant… ▽ More We consider higher secant varieties to Veronese varieties. Most points on the r-th secant variety are represented by a finite scheme of length r contained in the Veronese variety --- in fact, for generic point, it is just a union of r distinct points. A modern way to phrase it is: the smoothable rank is equal to the border rank for most polynomials. This property is very useful for studying secant varieties, especially, whenever the smoothable rank is equal to the border rank for all points of the secant variety in question. In this note we investigate those special points for which the smoothable rank is not equal to the border rank. In particular, we show an explicit example of a cubic in five variables with border rank 5 and smoothable rank 6. We also prove that all cubics in at most four variables have the smoothable rank equal to the border rank. △ Less

Submitted 6 March, 2014; v1 submitted 8 May, 2013; originally announced May 2013.

Comments: 17 pages; v2: final version to appear in Glasgow Journal of Mathematics; added the calculation of rank of the key example

MSC Class: 14M17 (Primary) 14C05; 15A69; 14Q20 (Secondary)

Waring decompositions of monomials

Authors: Weronika Buczyńska, Jarosław Buczyński, Zach Teitler

Abstract: A Waring decomposition of a polynomial is an expression of the polynomial as a sum of powers of linear forms, where the number of summands is minimal possible. We prove that any Waring decomposition of a monomial is obtained from a complete intersection ideal, determine the dimension of the set of Waring decompositions, and give the conditions under which the Waring decomposition is unique up to s… ▽ More A Waring decomposition of a polynomial is an expression of the polynomial as a sum of powers of linear forms, where the number of summands is minimal possible. We prove that any Waring decomposition of a monomial is obtained from a complete intersection ideal, determine the dimension of the set of Waring decompositions, and give the conditions under which the Waring decomposition is unique up to scaling the variables. △ Less

Submitted 31 January, 2013; v1 submitted 13 January, 2012; originally announced January 2012.

Comments: v2: Improved exposition. v3: Final version; minor changes only. 13 pages

MSC Class: 15A21; 14N15

Journal ref: J. Algebra, Volume 378, (2013), pages 45-57

On the graph labellings arising from phylogenetics

Authors: Weronika Buczyńska, Jarosław Buczyński, Kaie Kubjas, Mateusz Michałek

Abstract: We study semigroups of labellings associated to a graph. These generalize the Jukes-Cantor model and phylogenetic toric varieties defined by Buczyńska. Our main theorem bounds the degree of the generators of the semigroup by g+1 when the graph has first Betti number g. Also, we provide a series of examples where the bound is sharp. We study semigroups of labellings associated to a graph. These generalize the Jukes-Cantor model and phylogenetic toric varieties defined by Buczyńska. Our main theorem bounds the degree of the generators of the semigroup by g+1 when the graph has first Betti number g. Also, we provide a series of examples where the bound is sharp. △ Less

Submitted 9 October, 2012; v1 submitted 26 May, 2011; originally announced May 2011.

Comments: 17 pages, 13 figures; v2: presentation improved, results generalised to arbitrary graphs (not only trivalent); to appear in Central European Journal of Mathematics

Report number: Mittag-Leffler-2011spring MSC Class: 20M14 (Primary) 14M25; 20M05; 52B20; 13P25; 14D21 (Secondary)

Journal ref: Central European Journal of Mathematics, 11(9), 2013, 1577-1592

Secant varieties to high degree Veronese reembeddings, catalecticant matrices and smoothable Gorenstein schemes

Authors: Weronika Buczyńska, Jarosław Buczyński

Abstract: We study the secant varieties of the Veronese varieties and of Veronese reembeddings of a smooth projective variety. We give some conditions, under which these secant varieties are set-theoretically cut out by determinantal equations. More precisely, they are given by minors of a catalecticant matrix. These conditions include the case when the dimension of the projective variety is at most 3 and t… ▽ More We study the secant varieties of the Veronese varieties and of Veronese reembeddings of a smooth projective variety. We give some conditions, under which these secant varieties are set-theoretically cut out by determinantal equations. More precisely, they are given by minors of a catalecticant matrix. These conditions include the case when the dimension of the projective variety is at most 3 and the degree of reembedding is sufficiently high. This gives a positive answer to a set-theoretic version of a question of Eisenbud in dimension at most 3. For dimension four and higher we produce plenty of examples when the catalecticant minors are not enough to set-theoretically define the secant varieties to high degree Veronese varieties. This is done by relating the problem to smoothability of certain zero-dimensional Gorenstein schemes. △ Less

Submitted 29 November, 2011; v1 submitted 16 December, 2010; originally announced December 2010.

Comments: 28 pages, 10 figures; v2: improved presentation in accordance with referee's suggestions. The corrections were made while the first named author was at Mittag-Leffler Institute; v3: added Remark 1.5 (thanks to Anthony Iarrobino) on previously known results; v4: added new references; To appear in Journal of Algebraic Geometry

Report number: Mittag-Leffler-2011spring MSC Class: 14M12 (Primary) 13H10; 14M17 (Secondary)

Phylogenetic toric varieties on graphs

Authors: Weronika Buczyńska

Abstract: We define phylogenetic projective toric model of a trivalent graph as a generalization of a binary symmetric model of a trivalent phylogenetic tree. Generators of the pro- jective coordinate ring of the models of graphs with one cycle are explicitly described. The phylogenetic models of graphs with the same topological invariants are deforma- tion equivalent and share the same Hilbert function. We… ▽ More We define phylogenetic projective toric model of a trivalent graph as a generalization of a binary symmetric model of a trivalent phylogenetic tree. Generators of the pro- jective coordinate ring of the models of graphs with one cycle are explicitly described. The phylogenetic models of graphs with the same topological invariants are deforma- tion equivalent and share the same Hilbert function. We also provide an algorithm to compute the Hilbert function. △ Less

Submitted 19 November, 2010; v1 submitted 7 April, 2010; originally announced April 2010.

Comments: 36 pages, improved exposition

MSC Class: 14M25 (Primary) 60J20; 92D15 (Secondary)

Fake weighted projective spaces

Authors: Weronika Buczynska

Abstract: We define fake weighted projective spaces as a generalisation of weighted projective spaces. We introduce the notions of fundamental group in codimension 1 and of universal covering in codimension 1. We prove that for every fake weighted projective space its universal cover in codimension 1 is a weighted projective space. We define fake weighted projective spaces as a generalisation of weighted projective spaces. We introduce the notions of fundamental group in codimension 1 and of universal covering in codimension 1. We prove that for every fake weighted projective space its universal cover in codimension 1 is a weighted projective space. △ Less

Submitted 8 May, 2008; originally announced May 2008.

Comments: 20 pages, master thesis defended at Warsaw University in June 2002

MSC Class: 14M25; 14F35; 14L30

On phylogenetic trees - a geometer's view

Authors: Weronika Buczynska, Jaroslaw A. Wisniewski

Abstract: We investigate projective varieties which are geometric models of binary symmetric phylogenetic 3-valent trees. We prove that these varieties have Gorenstein terminal singularities (with small resolution) and they are Fano varieties of index 4. Moreover any two such varieties associated to trees with the same number of leaves are deformation equivalent, that is, they are in the same connected co… ▽ More We investigate projective varieties which are geometric models of binary symmetric phylogenetic 3-valent trees. We prove that these varieties have Gorenstein terminal singularities (with small resolution) and they are Fano varieties of index 4. Moreover any two such varieties associated to trees with the same number of leaves are deformation equivalent, that is, they are in the same connected component of the Hilbert scheme of the projective space. As an application we provide a simple formula for computing their Hilbert-Ehrhard polynomial. △ Less

Submitted 14 January, 2006; originally announced January 2006.

Comments: 44 pages, 1 figure

MSC Class: 14M25 (primary) 14J45; 92B10 (secondary)