Showing 1–3 of 3 results for author: Kovačec, A

On sums of squares of $k$-nomials

Authors: João Gouveia, Alexander Kovačec, Mina Saee

Abstract: In 2005, Boman et al introduced the concept of factor width for a real symmetric positive semidefinite matrix. This is the smallest positive integer $k$ for which the matrix $A$ can be written as $A=VV^T$ with each column of $V$ containing at most $k$ non-zeros. The cones of matrices of bounded factor width give a hierarchy of inner approximations to the PSD cone. In the polynomial optimization co… ▽ More In 2005, Boman et al introduced the concept of factor width for a real symmetric positive semidefinite matrix. This is the smallest positive integer $k$ for which the matrix $A$ can be written as $A=VV^T$ with each column of $V$ containing at most $k$ non-zeros. The cones of matrices of bounded factor width give a hierarchy of inner approximations to the PSD cone. In the polynomial optimization context, a Gram matrix of a polynomial having factor width $k$ corresponds to the polynomial being a sum of squares of polynomials of support at most $k$. Recently, Ahmadi and Majumdar, explored this connection for case $k=2$ and proposed to relax the reliance on sum of squares polynomials in semidefinite programming to sum of binomial squares polynomials (sobs; which they call sdsos), for which semidefinite programming can be reduced to second order programming to gain scalability at the cost of some tolerable loss of precision. With this they tap into the study of sobs that goes back to Reznick and Hurwitz. In this paper, we will prove some results on the geometry of the cones of matrices with bounded factor widths and their duals, and use them to derive new results on the limitations of certificates of nonnegativity of quadratic forms by sums of $k$-nomial squares using standard multipliers. In particular we will show that they never help for symmetric quadratics, for any quadratic if $k=2$, and any quaternary quadratic if $k=3$. Furthermore we give some evidence that those are a complete list of such cases. △ Less

Submitted 12 January, 2021; v1 submitted 3 December, 2019; originally announced December 2019.

MSC Class: 90C30; 13J30; 12D15

Convex Hull Calculations: a Matlab Implementation and Correctness Proofs for the lrs-Algorithm

Authors: Alexander Kovačec, Bernardete Ribeiro

Abstract: This paper provides full \Matlab-code and informal correctness proofs for the lexicographic reverse search algorithm for convex hull calculations. The implementation was tested on a 1993 486-PC for various small and some larger, partially highly degenerate combinatorial polytopes, one of which (a certain 13-dimensional 24 vertex polyhedron) occurs naturally in the study of a well known problem pos… ▽ More This paper provides full \Matlab-code and informal correctness proofs for the lexicographic reverse search algorithm for convex hull calculations. The implementation was tested on a 1993 486-PC for various small and some larger, partially highly degenerate combinatorial polytopes, one of which (a certain 13-dimensional 24 vertex polyhedron) occurs naturally in the study of a well known problem posed by Professor Graciano de Oliveira: see end of section 1. △ Less

Submitted 20 April, 2016; originally announced April 2016.

Comments: 21 pages, 2 figures

A Note on Extrema of Linear Combinations of Elementary Symmetric Functions

Authors: Alexander Kovačec, Salma Kuhlmann, Cordian Riener

Abstract: This note provides a new approach to a result of Foregger and related earlier results by Keilson and Eberlein. Using quite different techniques, we prove a more general result from which the others follow easily. Finally, we argue that the proof given by Foregger is flawed. This note provides a new approach to a result of Foregger and related earlier results by Keilson and Eberlein. Using quite different techniques, we prove a more general result from which the others follow easily. Finally, we argue that the proof given by Foregger is flawed. △ Less

Submitted 21 March, 2013; v1 submitted 2 March, 2011; originally announced March 2011.

Comments: (v2) revision based on suggestions by referee

MSC Class: 13J30 (Primary); 26D05 (Secondary)

Journal ref: Linear and Multilinear Algebra 60(2), 219-224 (2012)