When the positive semidefinite relaxation guarantees a solution to a system of real quadratic equations

06/15/2021
by   Alexander Barvinok, et al.
0

By solving a positive semidefinite program, one can reduce a system of real quadratic equations to a system of the type q_i(x)=α_i, i=1, …, m, where q_i: R^n ⟶ R are quadratic forms and α_i=trace q_i. We prove a sufficient condition for the latter system to have a solution x ∈ R^n: assuming that the operator norms of the n × n matrices Q_i of q_i do not exceed 1, the smallest eigenvalue the m × m matrix with the (i,j)-th entry equal tr (Q_i Q_j) is at least γ n^2/3 m^2 ln n for an absolute constant γ >0. In particular, this happens when n ≫ m^6 and the forms q_i are sufficiently generic. We prove a similar sufficient condition for a homogeneous system of quadratic equations to have a non-trivial solution.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/23/2018

On polyhedral approximations of the positive semidefinite cone

Let D be the set of n× n positive semidefinite matrices of trace equal t...
research
02/17/2020

Shifted Lanczos method for quadratic forms with Hermitian matrix resolvents

Quadratic forms of Hermitian matrix resolvents involve the solutions of ...
research
06/16/2020

Testing systems of real quadratic equations for approximate solutions

Consider systems of equations q_i(x)=0, where q_i: R^n ⟶ R, i=1, …, m, ...
research
02/25/2021

Semidefinite Relaxations of Products of Nonnegative Forms on the Sphere

We study the problem of maximizing the geometric mean of d low-degree no...
research
04/04/2019

Embeddings of k-complexes into 2k-manifolds

If K is a simplicial k-complex, the standard van Kampen obstructions tel...
research
03/01/2019

Trajectory convergence from coordinate-wise decrease of quadratic energy functions, and applications to platoons

We consider trajectories where the sign of the derivative of each entry ...
research
02/17/2020

Integrating products of quadratic forms

We prove that if q_1, ..., q_m: R^n ⟶ R are quadratic forms in variable...

Please sign up or login with your details

Forgot password? Click here to reset