Showing 1–14 of 14 results for author: Šivic, K

Cross-positive linear maps, positive polynomials and sums of squares

Authors: Igor Klep, Klemen Šivic, Aljaž Zalar

Abstract: A linear map $Φ$ between matrix spaces is called cross-positive if it is positive on orthogonal pairs $(U,V)$ of positive semidefinite matrices in the sense that $\langle U,V\rangle:=\text{Tr}(UV)=0$ implies $\langle Φ(U),V\rangle\geq0$, and is completely cross-positive if all its ampliations $I_n\otimes Φ$ are cross-positive. (Completely) cross-positive maps arise in the theory of operator semigr… ▽ More A linear map $Φ$ between matrix spaces is called cross-positive if it is positive on orthogonal pairs $(U,V)$ of positive semidefinite matrices in the sense that $\langle U,V\rangle:=\text{Tr}(UV)=0$ implies $\langle Φ(U),V\rangle\geq0$, and is completely cross-positive if all its ampliations $I_n\otimes Φ$ are cross-positive. (Completely) cross-positive maps arise in the theory of operator semigroups, where they are sometimes called exponentially-positive maps, and are also important in the theory of affine processes on symmetric cones in mathematical finance. To each $Φ$ as above a bihomogeneous form is associated by $p_Φ(x,y)=y^TΦ(xx^T)y$. Then $Φ$ is cross-positive if and only if $p_Φ$ is nonnegative on the variety of pairs of orthogonal vectors $\{(x,y)\mid x^Ty=0\}$. Moreover, $Φ$ is shown to be completely cross-positive if and only if $p_Φ$ is a sum of squares modulo the principal ideal $(x^Ty)$. These observations bring the study of cross-positive maps into the powerful setting of real algebraic geometry. Here this interplay is exploited to prove quantitative bounds on the fraction of cross-positive maps that are completely cross-positive. Detailed results about cross-positive maps $Φ$ mapping between $3\times 3$ matrices are given. Finally, an algorithm to produce cross-positive maps that are not completely cross-positive is presented. △ Less

Submitted 30 January, 2024; originally announced January 2024.

Comments: 42 pages

MSC Class: 13J30; 15B48; 46L07; 47D06; 52A40 (Primary); 47L25; 90C22 (Secondary)

Jordan structures of nilpotent matrices in the centralizer of a nilpotent matrix with two Jordan blocks of the same size

Authors: Duško Bogdanić, Alen Đurić, Sara Koljančić, Polona Oblak, Klemen Šivic

Abstract: In this paper we characterize all nilpotent orbits under the action by conjugation that intersect the nilpotent centralizer of a nilpotent matrix $B$ consisting of two Jordan blocks of the same size. We list all the possible Jordan canonical forms of the nilpotent matrices that commute with $B$ by characterizing the corresponding partitions. In this paper we characterize all nilpotent orbits under the action by conjugation that intersect the nilpotent centralizer of a nilpotent matrix $B$ consisting of two Jordan blocks of the same size. We list all the possible Jordan canonical forms of the nilpotent matrices that commute with $B$ by characterizing the corresponding partitions. △ Less

Submitted 16 December, 2022; originally announced December 2022.

MSC Class: 15A27; 14L30; 15A21

The solution of the Loewy-Radwan conjecture

Authors: Matjaž Omladič, Klemen Šivic

Abstract: A seminal result of Gerstenhaber gives the maximal dimension of a linear space of nilpotent matrices. It also exhibits the structure of this space where the maximal dimension is attained. Extensions of this result in the direction of linear spaces of matrices with a bounded number of eigenvalues have been studied. In this paper, we answer perhaps the most general problem of the kind as proposed by… ▽ More A seminal result of Gerstenhaber gives the maximal dimension of a linear space of nilpotent matrices. It also exhibits the structure of this space where the maximal dimension is attained. Extensions of this result in the direction of linear spaces of matrices with a bounded number of eigenvalues have been studied. In this paper, we answer perhaps the most general problem of the kind as proposed by Loewy and Radwan by solving their conjecture in the positive. We give the dimension of a maximal linear space of $n\times n$ matrices with no more than $k<n$ eigenvalues. We also exhibit the structure of the space where this dimension is attained. △ Less

Submitted 1 November, 2023; v1 submitted 19 September, 2022; originally announced September 2022.

Comments: Accepted in Linear and Mulilinear algebra, 26 pages

MSC Class: Primary: 15A18; 15A30; Primary: 15A18; 15A30; Secondary: 20G05

On approximate commutativity of spaces of matrices

Authors: Matjaž Omladič, Heydar Radjavi, Klemen Šivic

Abstract: The maximal dimension of commutative subspaces of $M_n(\mathbb{C})$ is known. So is the structure of such a subspace when the maximal dimension is achieved. We consider extensions of these results and ask the following natural questions: If $V$ is a subspace of $M_n(\mathbb{C})$ and $k$ is an integer less than $n$, such that for every pair $A$ and $B$ of members of $V$, the rank of the commutator… ▽ More The maximal dimension of commutative subspaces of $M_n(\mathbb{C})$ is known. So is the structure of such a subspace when the maximal dimension is achieved. We consider extensions of these results and ask the following natural questions: If $V$ is a subspace of $M_n(\mathbb{C})$ and $k$ is an integer less than $n$, such that for every pair $A$ and $B$ of members of $V$, the rank of the commutator $AB - BA$ is at most $k$, then how large can the dimension of $V$ be? If this maximum is achieved, can we determine the structure of $V$? We answer the first question. We also propose a conjecture on the second question which implies, in particular, that such a subspace $V$ has to be an algebra, just as in the known case of $k = 0$. We prove the proposed structure of $V$ if it is already assumed to be an algebra. △ Less

Submitted 3 August, 2023; v1 submitted 16 September, 2022; originally announced September 2022.

Comments: 17 pages, accepted in Linear Algebra and its Applications

MSC Class: primary 15A27; 15A30 primary 15A27; 15A30; secondary 20G05

Components and singularities of Quot schemes and varieties of commuting matrices

Authors: Joachim Jelisiejew, Klemen Šivic

Abstract: We investigate the variety of commuting matrices. We classify its components for any number of matrices of size at most 7. We prove that starting from quadruples of size 8 matrices, this scheme has generically nonreduced components, while up to degree 7 it is generically reduced. Our approach is to recast the problem as deformations of modules and generalize an array of methods: apolarity, duality… ▽ More We investigate the variety of commuting matrices. We classify its components for any number of matrices of size at most 7. We prove that starting from quadruples of size 8 matrices, this scheme has generically nonreduced components, while up to degree 7 it is generically reduced. Our approach is to recast the problem as deformations of modules and generalize an array of methods: apolarity, duality and Białynicki-Birula decompositions to this setup. We include a thorough review of our methods to make the paper self-contained and accessible to both algebraic and linear-algebraic communities. Our results give the corresponding statements for the Quot schemes of points, in particular we classify the components of $Quot_d(O_{\mathbb{A}^n}^{\oplus r})$ for $d\leq 7$ and all $r$, $n$. △ Less

Submitted 8 March, 2022; v1 submitted 24 June, 2021; originally announced June 2021.

Comments: v4: final, minor corrections v3: minor v2: light corrections to initial submission. Comments still welcome v1: Comments most welcome! Initial submission: slight changes probably will occur. 52 pages

MSC Class: 14C05; 15A27; 13E10

Commuting Varieties and Cohomological Complexity

Authors: Nham V. Ngo, Paul D. Levy, Klemen Šivic

Abstract: In this paper we determine, for all $r$ sufficiently large, the irreducible component(s) of maximal dimension of the variety of commuting $r$-tuples of nilpotent elements of $\mathfrak{gl}_n$. Our main result is that in characteristic $\neq 2,3$, this nilpotent commuting variety has dimension $(r+1)\lfloor \frac{n^2}{4}\rfloor$ for $n\geq 4$, $r\geq 7$. We use this to find the dimension of the (or… ▽ More In this paper we determine, for all $r$ sufficiently large, the irreducible component(s) of maximal dimension of the variety of commuting $r$-tuples of nilpotent elements of $\mathfrak{gl}_n$. Our main result is that in characteristic $\neq 2,3$, this nilpotent commuting variety has dimension $(r+1)\lfloor \frac{n^2}{4}\rfloor$ for $n\geq 4$, $r\geq 7$. We use this to find the dimension of the (ordinary) $r$-th commuting varieties of $\mathfrak{gl}_n$ and $\mathfrak{sl}_n$ for the same range of values of $r$ and $n$. Our principal motivation is the connection between nilpotent commuting varieties and cohomological complexity of finite group schemes, which we exploit in the last section of the paper to obtain explicit values for complexities of a large family of modules over the $r$-th Frobenius kernel $({\rm GL}_n)_{(r)}$. These results indicate an inequality between the complexities of a rational $G$-module $M$ when restricted to $G_{(r)}$ or to $G(\mathbb F_{p^r})$; we subsequently establish this inequality for every simple algebraic group $G$ defined over an algebraically closed field of good characteristic, significantly extending a result of Lin and Nakano. △ Less

Submitted 4 April, 2022; v1 submitted 17 May, 2021; originally announced May 2021.

Comments: 29 pages, no figures. Final version, to appear in the Journal of the London Mathematical Society

MSC Class: 14L35 (Primary) 20G15; 17B56 (Secondary)

Higher-distance commuting varieties

Authors: Madeleine Elyze, Alexander Guterman, Ralph Morrison, Klemen Šivic

Abstract: The commuting variety of matrices over a given field is a well-studied object in linear algebra and algebraic geometry. As a set, it consists of all pairs of square matrices with entries in that field that commute with one another. In this paper we generalise the commuting variety by using the commuting distance of matrices. We show that over an algebraically closed field, each of our sets does in… ▽ More The commuting variety of matrices over a given field is a well-studied object in linear algebra and algebraic geometry. As a set, it consists of all pairs of square matrices with entries in that field that commute with one another. In this paper we generalise the commuting variety by using the commuting distance of matrices. We show that over an algebraically closed field, each of our sets does indeed form a variety. We compute the dimension of the distance-$2$ commuting variety and characterize its irreducible components. We also work over other fields, showing that the distance-$2$ commuting set is a variety but that the higher distance commuting sets may or may not be varieties, depending on the field and on the size of the matrices. △ Less

Submitted 1 October, 2020; v1 submitted 23 November, 2018; originally announced November 2018.

Comments: 21 pages; updated to include new results on: the decomposition of the distance-2 variety into irreducibles, as well as a computation of the dimension; instances of higher-distance commuting sets that are not varieties; and the distance-3 variety over the reals, correcting previous results with erroneous proofs

MSC Class: 14M12; 15A27

New examples of extremal positive linear maps

Authors: Anita Buckley, Klemen Šivic

Abstract: New families of nonnegative biquadratic forms that have 8, 9 or 10 real zeros in $\mathbb{P}^2\times \mathbb{P}^2$ are constructed. These are the first examples with 8, 9 or 10 real zeros. It is known that nonnegative biquadratic forms with finitely many real zeros can have at most 10 zeros; our examples show that the upper bound is obtained. Such biquadratic forms define positive linear maps on r… ▽ More New families of nonnegative biquadratic forms that have 8, 9 or 10 real zeros in $\mathbb{P}^2\times \mathbb{P}^2$ are constructed. These are the first examples with 8, 9 or 10 real zeros. It is known that nonnegative biquadratic forms with finitely many real zeros can have at most 10 zeros; our examples show that the upper bound is obtained. Such biquadratic forms define positive linear maps on real symmetric $3\times 3$ matrices that are not completely positive. Our constructions are explicit, and moreover we are able to determine which of the examples are extremal. We extend the examples to positive maps on complex matrices and find families of extreme rays in the cone of positive maps. △ Less

Submitted 1 April, 2020; v1 submitted 29 November, 2016; originally announced November 2016.

Comments: This is the version, accepted for publication in Linear Algebra and Its Applications, DOI: 10.1016/j.laa.2020.03.033. A section on extensions of the examples to complex extremal positive maps is added to the previous version

MSC Class: 13J30; 15A86; 15B48; 47L07; 52A40

There are many more positive maps than completely positive maps

Authors: Igor Klep, Scott McCullough, Klemen Šivic, Aljaž Zalar

Abstract: A linear map between matrix spaces is positive if it maps positive semidefinite matrices to positive semidefinite ones, and is called completely positive if all its ampliations are positive. In this article quantitative bounds on the fraction of positive maps that are completely positive are proved. A main tool are real algebraic geometry techniques developed by Blekherman to study the gap between… ▽ More A linear map between matrix spaces is positive if it maps positive semidefinite matrices to positive semidefinite ones, and is called completely positive if all its ampliations are positive. In this article quantitative bounds on the fraction of positive maps that are completely positive are proved. A main tool are real algebraic geometry techniques developed by Blekherman to study the gap between positive polynomials and sums of squares. Finally, an algorithm to produce positive maps which are not completely positive is given. △ Less

Submitted 3 August, 2017; v1 submitted 9 November, 2016; originally announced November 2016.

Comments: v2: 47 pages; includes a more thorough discussion of (completely) positive maps on complex matrices; v1: 37 pages; supplementary material (a Mathematica notebook) is available from Other formats

MSC Class: 13J30; 46L07; 52A40 (Primary); 47L25; 81P45; 90C22 (Secondary)

Journal ref: Int. Math. Res. Not. IMRN (2019), Issue 11, 3313--3375

On the dimension of the algebra generated by two positive semi-commuting matrices

Authors: Marko Kandić, Klemen Šivic

Abstract: Gerstenhaber's theorem states that the dimension of the unital algebra generated by two commuting $n\times n$ matrices is at most $n$. We study the analog of this question for positive matrices with a positive commutator. We show that the dimension of the unital algebra generated by the matrices is at most $\frac{n(n+1)}{2}$ and that this bound can be attained. We also consider the corresponding q… ▽ More Gerstenhaber's theorem states that the dimension of the unital algebra generated by two commuting $n\times n$ matrices is at most $n$. We study the analog of this question for positive matrices with a positive commutator. We show that the dimension of the unital algebra generated by the matrices is at most $\frac{n(n+1)}{2}$ and that this bound can be attained. We also consider the corresponding question if one of the matrices is a permutation or a companion matrix or both of them are idempotents. In these cases, the upper bound for the dimension can be reduced significantly. In particular, the unital algebra generated by two semi-commuting positive idempotent matrices is at most $9$-dimensional. This upper bound can be attained. △ Less

Submitted 22 June, 2016; v1 submitted 4 March, 2016; originally announced March 2016.

MSC Class: 15A27; 15B48; 47B47

Exotic one-parameter semigroups of endomorphisms of a symmetric cone

Authors: Bojan Kuzma, Matjaž Omladič, Klemen Šivic, Josef Teichmann

Abstract: We construct an exotic one-parameter semigroup of endomorphims of a symmetric cone $C$, whose generator is not the sum of a Lie group generator and an endomorphism of $C$. The question is motivated by the theory of affine processes on symmetric cones, which plays an important role in mathematical finance. On the other hand, theoretical question that we solve in this paper seems to have been implic… ▽ More We construct an exotic one-parameter semigroup of endomorphims of a symmetric cone $C$, whose generator is not the sum of a Lie group generator and an endomorphism of $C$. The question is motivated by the theory of affine processes on symmetric cones, which plays an important role in mathematical finance. On the other hand, theoretical question that we solve in this paper seems to have been implicitly open even much longer then this motivation suggests. △ Less

Submitted 13 August, 2014; originally announced August 2014.

MSC Class: 15A86; 15B48; 17C20; 47D06

On the positive commutator in the radical

Authors: Marko Kandić, Klemen Šivic

Abstract: In this paper we prove that a positive commutator between a positive compact operator $A$ and a positive operator $B$ is in the radical of the Banach algebra generated by $A$ and $B$. Furthermore, on every at least three-dimensional Banach lattice we construct finite rank operators $A$ and $B$ satisfying $AB\geq BA\geq 0$ such that the commutator $AB-BA$ is not contained in the radical of the Bana… ▽ More In this paper we prove that a positive commutator between a positive compact operator $A$ and a positive operator $B$ is in the radical of the Banach algebra generated by $A$ and $B$. Furthermore, on every at least three-dimensional Banach lattice we construct finite rank operators $A$ and $B$ satisfying $AB\geq BA\geq 0$ such that the commutator $AB-BA$ is not contained in the radical of the Banach algebra generated by $A$ and $B$. These two results now completely answer to two open questions published in [4]. We also obtain relevant results in the case of the Volterra and the Donoghue operator. △ Less

Submitted 20 May, 2014; originally announced May 2014.

MSC Class: 47A10; 47A46; 47B07; 47B47

On varieties of commuting nilpotent matrices

Authors: Nham V. Ngo, Klemen Šivic

Abstract: Let $N(d,n)$ be the variety of all $d$-tuples of commuting nilpotent $n\times n$ matrices. It is well-known that $N(d,n)$ is irreducible if $d=2$, if $n\le 3$ or if $d=3$ and $n=4$. On the other hand $N(3,n)$ is known to be reducible for $n\ge 13$. We study in this paper the reducibility of $N(d,n)$ for various values of $d$ and $n$. In particular, we prove that $N(d,n)$ is reducible for all… ▽ More Let $N(d,n)$ be the variety of all $d$-tuples of commuting nilpotent $n\times n$ matrices. It is well-known that $N(d,n)$ is irreducible if $d=2$, if $n\le 3$ or if $d=3$ and $n=4$. On the other hand $N(3,n)$ is known to be reducible for $n\ge 13$. We study in this paper the reducibility of $N(d,n)$ for various values of $d$ and $n$. In particular, we prove that $N(d,n)$ is reducible for all $d,n\ge 4$. In the case $d=3$, we show that it is irreducible for $n\le 6$. △ Less

Submitted 26 March, 2014; v1 submitted 20 August, 2013; originally announced August 2013.

Comments: This paper is a revision of the preprints https://arxiv.boxedpaper.com/abs/1308.2420 (Guralnick and Ngo) and version 1 of https://arxiv.boxedpaper.com/abs/1308.4438 (Šivic) which contain errors: 1)Proof of Thm. 3.4.1 in the first one is not completed. 2)Thm. 22 in the second one is incorrect. We fix these mistakes in this final version, to appear in Linear Algebra Appl

MSC Class: 15A27

Jet Schemes of the Commuting Matrix Pairs Scheme

Authors: B. A. Sethuraman, Klemen Šivic

Abstract: We show that for all $k\ge 1$, there exists an integer $N(k)$ such that for all $n\ge N(k)$ the $k$-th order jet scheme over the commuting $n\times n$ matrix pairs scheme is reducible. At the other end of the spectrum, it is known that for all $k\ge 1$, the $k$-th order jet scheme over the commuting $2\times 2$ matrices is irreducible: we show that the same holds for $n=3$. We show that for all $k\ge 1$, there exists an integer $N(k)$ such that for all $n\ge N(k)$ the $k$-th order jet scheme over the commuting $n\times n$ matrix pairs scheme is reducible. At the other end of the spectrum, it is known that for all $k\ge 1$, the $k$-th order jet scheme over the commuting $2\times 2$ matrices is irreducible: we show that the same holds for $n=3$. △ Less

Submitted 19 February, 2009; originally announced February 2009.

Comments: To appear in Proceedings of the AMS

MSC Class: 15A30