Searcharxiv⌕ Search

arXiv subjects

Cordian Riener

Publications and source records attributed to Cordian Riener.

42 records · Page 3Linked to original sources
arXiv2016

Bounds on the individual Betti numbers of complex varieties, stability and algorithms

We prove graded bounds on the individual Betti numbers of affine and projective complex varieties. In particular, we give for each $p,d,r$, explicit bounds on the $p$-th Betti numbers of affine and projective subvarieties of $\mathrm{C}^k$, $\mathbb{P}^k_{\mathrm{C}}$, as well as products of projective spaces, defined by $r$ polynomials of degrees at most $d$ as a function of $p,d$ and $r$. Unlike previous bounds these bounds are independent of $k$, the dimension of the ambient space. We also prove as consequences of our technique certain homological and representational stability results for sequences of complex projective varieties which could be of independent interest. Finally, we highlight differences in computational complexities of the problem of computing Betti numbers of complex as opposed to real projective varieties.

math.AG↗
arXiv2015

Symmetric semi-algebraic sets and non-negativity of symmetric polynomials

The question of how to certify the non-negativity of a polynomial function lies at the heart of Real Algebra and it also has important applications to Optimization. In the setting of symmetric polynomials Timofte provided a useful way of certifying non-negativity of symmetric polynomials that are of a fixed degree. In this note we present more general results which naturally generalize Timofte's setting. We investigate families of polynomials that allow special representations in terms of power-sum polynomials.These in particular also include the case of symmetric polynomials of fixed degree. Therefore, we recover the consequences of Timofte's original statements as a corollary. Thus, this note also provides an alternative and simple proof of Timofte's original statements.

math.OC↗
arXiv2015

Deciding positivity of multisymmetric polynomials

The question how to certify non-negativity of a polynomial function lies at the heart of Real Algebra and also has important applications to Optimization. In this article we investigate the question of non-negativity in the context of multisymmetric polynomials. In this setting we generalize the characterization of non-negative symmetric polynomials by adapting the method of proof developed by the second author. One particular case where our results can be applied is the question of certifying that a (multi-)symmetric polynomial defines a convex function. As a direct corollary of our main result we are able to derive that in the case of (multi-)symmetric polynomials of a fixed degree testing for convexity can be done in a time which is polynomial in the number of variables. This is in sharp contrast to the general case, where it is known that testing for convexity is NP-hard already in the case of quartic polynomials.

math.OC↗
arXiv2012

Exploiting symmetries in SDP-relaxations for polynomial optimization

In this paper we study various approaches for exploiting symmetries in polynomial optimization problems within the framework of semi definite programming relaxations. Our special focus is on constrained problems especially when the symmetric group is acting on the variables. In particular, we investigate the concept of block decomposition within the framework of constrained polynomial optimization problems, show how the degree principle for the symmetric group can be computationally exploited and also propose some methods to efficiently compute in the geometric quotient.

math.OC↗
arXiv2011

On the degree and half degree principle for symmetric polynomials

In this note we aim to give a new, elementary proof of a statement that was first proved by Timofte. It says that a symmetric real polynomial $F$ of degree $d$ in $n$ variables is positive on $\R^n$ (on $\R^{n}_{\geq 0}$) if and only if it is so on the subset of points with at most $\max\{\lfloor d/2\rfloor,2\}$ distinct components. We deduce Timofte's original statement as a corollary of a slightly more general statement on symmetric optimization problems. The idea we are using to prove this statement is to relate it to a linear optimization problem in the orbit space. The fact that for the case of the symmetric group $S_n$ this can be viewed as a question on normalized univariate real polynomials with only real roots allows us to conclude the theorems in a very elementary way. We hope that the methods presented here will make it possible to derive similar statements also in the case of other groups.

math.AG↗