Searcharxiv⌕ Search

arXiv subjects

Khazhgali Kozhasov

Publications and source records attributed to Khazhgali Kozhasov.

At least 19 recordsLinked to original sources
arXiv2026

Stubborn Polynomials

The relationship between nonnegative polynomials and sums of squares is a classical topic in real algebraic geometry. We study \emph{stubborn polynomials} $f$ on a real variety $X$, which are polynomials nonnegative on $X$, such that no odd power of $f$ is a sum of squares. Previously, stubborn polynomials were studied only in the globally nonnegative case, with results restricted to polynomials nonnegative on $\mathbb{P}^2$. We fully characterize stubborn polynomials on smooth curves, showing that a polynomial on a smooth totally real curve is stubborn if and only if all of its zeros are real. This implies that there exist smooth curves with no stubborn polynomials in low degree, while stubborn polynomials must exist in sufficiently high degrees on curves with positive genus. We explore the much more delicate situation with singular and reducible curves. While being real-rooted always implies being stubborn, there also exist singular curves with no stubborn polynomials at all. We then analyze the case of ternary sextics, i.e.,~polynomials of degree $6$ on $\mathbb{P}^2$. We prove the Conjecture of Blekherman, Kozhasov, and Reznick that a nonnegative ternary sextic is stubborn if and only if its real delta-invariant is at least 9. To analyze this case, we develop results for lifting stubborn polynomials from curves to higher dimensional varieties and use the theory of weak Del Pezzo surfaces. We complement these results with structural properties of stubborn polynomials and present many explicit examples.

math.AG↗
arXiv2025

Certificates for nonnegativity of multivariate integer polynomials under perturbations

We develop a general and unconditional framework for certifying the global nonnegativity of multivariate integer polynomials; based on rewriting them as sum of squares modulo their gradient ideals. We remove the two structural assumptions typically required by other approaches, namely that the polynomial attains its infimum and zero-dimensionality of the gradient ideal. Our approach combines a denominator-free stereographic transformation with a refined variant of the Hanzon--Jibetean perturbation scheme. The stereographic transformation preserves nonnegativity while making the polynomial coercive, with explicit bounds on the radius of positivity and on the nonzero critical values. Subsequently, we apply carefully constructed explicit perturbations that enforce zero-dimensionality of the gradient ideal without altering nonnegativity, allowing us to invoke recent algorithms to derive algebraic certificates or rational witness points. We present three algorithms implementing our framework and analyze their bit complexity in detail, which is single exponential with respect to the number of variables. A second contribution is a new explicit SOS perturbation scheme, which allows us to perturb any nonnegative polynomial in such a way that it can be written as a sum of squares (SOS). In contrast to Lasserre's classical SOS approximation, which guaranties density but currently does not provide an effective control over the perturbation size, we only derive concrete perturbation bounds ensuring that a nonnegative polynomial enters the SOS cone.

cs.SC↗
arXiv2025

On the minimal algebraic complexity of the rank-one approximation problem for general inner products

We study the algebraic complexity of Euclidean distance minimization from a generic tensor to a variety of rank-one tensors. The Euclidean Distance (ED) degree of the Segre-Veronese variety counts the number of complex critical points of this optimization problem. We regard this invariant as a function of inner products. We prove that Frobenius inner product is a local minimum of the ED degree, and conjecture that it is a global minimum. We prove our conjecture in the case of matrices and symmetric binary and $3\times 3\times 3$ tensors. We discuss the above optimization problem for other algebraic varieties, classifying all possible values of the ED degree. Our approach combines tools from Singularity Theory, Morse Theory, and Algebraic Geometry.

math.AG↗
arXiv2024

On odd powers of nonnegative polynomials that are not sums of squares

We initiate a systematic study of nonnegative polynomials $P$ such that $P^k$ is not a sum of squares for any odd $k\geq 1$, calling such $P$ \emph{stubborn}. We develop a new invariant of a real isolated zero of a nonnegative polynomial in the plane, that we call \emph{the SOS-invariant}, and relate it to the well-known delta invariant of a plane curve singularity. Using the SOS-invariant we show that any polynomial that spans an extreme ray of the convex cone of nonnegative ternary forms of degree 6 is stubborn. We also show how to use the SOS-invariant to prove stubbornness of ternary forms in higher degree. Furthermore, we prove that in a given degree and number of variables, nonnegative polynomials that are not stubborn form a convex cone, whose interior consists of all strictly positive polynomials.

math.AG↗
arXiv2022

Probabilistic bounds on best rank-one approximation ratio

We provide new upper and lower bounds on the minimum possible ratio of the spectral and Frobenius norms of a (partially) symmetric tensor. In the particular case of general tensors our result recovers a known upper bound. For symmetric tensors our upper bound unveils that the ratio of norms has the same order of magnitude as the trivial lower bound $1/\sqrt{n^{d-1}}$, when the order of a tensor $d$ is fixed and the dimension of the underlying vector space $n$ tends to infinity. However, when $n$ is fixed and $d$ tends to infinity, our lower bound is better than $1/\sqrt{n^{d-1}}$.

math.FA↗
arXiv2022

Non-negative forms, volumes of sublevel sets, complete monotonicity and moment matrices

Let $\mathcal{C}_{d,n}$ be the convex cone consisting of real $n$-variate degree $d$ forms that are strictly positive on $\mathbb{R}^n\setminus \{\mathbf{0}\}$. We prove that the Lebesgue volume of the sublevel set $\{g\leq 1\}$ of $g\in \mathcal{C}_{d,n}$ is a completely monotone function on $\mathcal{C}_{d,n}$ and investigate the related properties. Furthermore, we provide (partial) characterization of forms, whose sublevel sets have finite Lebesgue volume. Finally, we discover an interesting property of a centered Gaussian distribution, establishing a connection between the matrix of its degree $d$ moments and the quadratic form given by the inverse of its covariance matrix.

math.AG↗
arXiv2021

Minimality of tensors of fixed multilinear rank

We discover a geometric property of the space of tensors of fixed multilinear (Tucker) rank. Namely, it is shown that real tensors of fixed multilinear rank form a minimal submanifold of the Euclidean space of tensors endowed with the Frobenius inner product. We also establish the absence of local extrema for linear functionals restricted to the submanifold of rank-one tensors, finding application in statistics.

math.DG↗
arXiv2021

On eigenvalues of symmetric matrices with PSD principal submatrices

We investigate convexity properties of the set of eigenvalue tuples of $n\times n$ real symmetric matrices, whose all $k\times k$ (where $k\leq n$ is fixed) minors are positive semidefinite. It is proven that the set $λ(\mathcal{S}^{n,k})$ of eigenvalue vectors of all such matrices is star-shaped with respect to the nonnegative orthant $\mathbb{R}^n_{\geq 0}$ and not convex already when $(n,k)=(4,2)$.

math.AG↗
arXiv2020

Nodes on quintic spectrahedra

We classify transversal quintic spectrahedra by the location of 20 nodes on the respective real determinantal surface of degree 5. We identify 65 classes of such surfaces and find an explicit representative in each of them.

math.AG↗
arXiv2020

Rational functions with only real periodic points

We study self-morphisms of smooth real projective algebraic curves that have only real periodic points. In the case of the projective line we provide a convenient characterization of such morphisms. We derive a semialgebraic description of the component of real fibered rational functions all of whose periodic points are real.

math.AG↗
arXiv2020

Nonnegative forms with sublevel sets of minimal volume

We show that the Euclidean ball has the smallest volume among sublevel sets of nonnegative forms of bounded Bombieri norm as well as among sublevel sets of sum of squares forms whose Gram matrix has bounded Frobenius or nuclear (or, more generally, p-Schatten) norm. These volume-minimizing properties of the Euclidean ball with respect to its representation (as a sublevel set of a form of fixed even degree) complement its numerous intrinsic geometric properties. We also provide a probabilistic interpretation of the results.

math.OC↗
arXiv2020

Chebyshev polynomials and best rank-one approximation ratio

We establish a new extremal property of the classical Chebyshev polynomials in the context of best rank-one approximation of tensors. We also give some necessary conditions for a tensor to be a minimizer of the ratio of spectral and Frobenius norms.

math.AG↗
arXiv2020

On minimality of determinantal varieties

We prove that semialgebraic sets of rectangular matrices of a fixed rank, of skew-symmetric matrices of a fixed rank and of real symmetric matrices whose eigenvalues have prescribed multiplicities are minimal submanifolds of the space of real matrices of a given size.

math.AG↗
arXiv2019

Random spectrahedra

Spectrahedra are affine-linear sections of the cone $\mathcal{P}_n$ of positive semidefinite symmetric $n\times n$-matrices. We consider random spectrahedra that are obtained by intersecting~$\mathcal{P}_n$ with the affine-linear space $\mathbf{1} + V$, where $\mathbf{1}$ is the identity matrix and $V$ is an $\ell$-dimensional linear space that is chosen from the unique orthogonally invariant probability measure on the Grassmanian of $\ell$-planes in the space of $n\times n$ real symmetric matrices (endowed with the Frobenius inner product). Motivated by applications, for $\ell=3$ we relate the average number $\mathbb{E} σ_n$ of singular points on the boundary of a three-dimensional spectrahedron to the volume of the set of symmetric matrices whose two smallest eigenvalues coincide. In the case of quartic spectrahedra ($n=4$) we show that $\mathbb{E} σ_4 = 6-\frac{4}{\sqrt{3}}$. Moreover, we prove that the average number $\mathbb{E} ρ_n$ of singular points on the real variety of singular matrices in $\mathbf{1} + V$ is $n(n-1)$. This quantity is related to the volume of the variety of real symmetric matrices with repeated eigenvalues. Furthermore, we compute the asymptotics of the volume and the volume of the boundary of a random spectrahedron.

math.AG↗
arXiv2019

Positivity Certificates via Integral Representations

Complete monotonicity is a strong positivity property for real-valued functions on convex cones. It is certified by the kernel of the inverse Laplace transform. We study this for negative powers of hyperbolic polynomials. Here the certificate is the Riesz kernel in Garding's integral representation. The Riesz kernel is a hypergeometric function in the coefficients of the given polynomial. For monomials in linear forms, it is a Gel'fand-Aomoto hypergeometric function, related to volumes of polytopes. We establish complete monotonicity for sufficiently negative powers of elementary symmetric functions. We also show that small negative powers of these polynomials are not completely monotone, proving one direction of a conjecture by Scott and Sokal.

math.FA↗
arXiv2018

On fully real eigenconfigurations of tensors

We construct generic real symmetric tensors with only real eigenvectors or, equivalently, real homogeneous polynomials with the maximum possible finite number of critical points on the sphere.

math.AG↗
arXiv2018

On the geometry of the set of symmetric matrices with repeated eigenvalues

We investigate some geometric properties of the real algebraic variety $Δ$ of symmetric matrices with repeated eigenvalues. We explicitly compute the volume of its intersection with the sphere and prove a Eckart-Young-Mirsky-type theorem for the distance function from a generic matrix to points in $Δ$. We exhibit connections of our study to Real Algebraic Geometry (computing the Euclidean Distance Degree of $Δ$) and Random Matrix Theory.

math.AG↗