Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: S-Lemma with Equality and Its Applications   Let $f(x)=x^TAx+2a^Tx+c$ and $h(x)=x^TBx+2b^Tx+d$ be two quadratic functions
having symmetric matrices $A$ and $B$. The S-lemma with equality asks when the
unsolvability of the system $f(x)<0, h(x)=0$ implies the existence of a real
number $\mu$ such that $f(x) + \mu h(x)\ge0, ~\forall x\in \mathbb{R}^n$. The
problem is much harder than the inequality version which asserts that, under
Slater condition, $f(x)<0, h(x)\le0$ is unsolvable if and only if $f(x) + \mu
h(x)\ge0, ~\forall x\in \mathbb{R}^n$ for some $\mu\ge0$. In this paper, we
show that the S-lemma with equality does not hold only when the matrix $A$ has
exactly one negative eigenvalue and $h(x)$ is a non-constant linear function
($B=0, b\not=0$). As an application, we can globally solve $\inf\{f(x)\vert
h(x)=0\}$ as well as the two-sided generalized trust region subproblem
$\inf\{f(x)\vert l\le h(x)\le u\}$ without any condition. Moreover, the
convexity of the joint numerical range $\{(f(x), h_1(x),\ldots,
h_p(x)):~x\in\Bbb R^n\}$ where $f$ is a (possibly non-convex) quadratic
function and $h_1(x),\ldots,h_p(x)$ are affine functions can be characterized
using the newly developed S-lemma with equality.

13
The categories of this paper are: quant-ph
29
The categories of this paper are: funct-an
24
The categories of this paper are: dg-ga
4
The categories of this paper are: cond-mat
25
The categories of this paper are: patt-sol
16
The categories of this paper are: stat
23
The categories of this paper are: solv-int
12
The categories of this paper are: nucl-th
26
The categories of this paper are: bayes-an
32
The categories of this paper are: atom-ph
28
The categories of this paper are: alg-geom
15
The categories of this paper are: nucl-ex
18
The categories of this paper are: econ
9
The categories of this paper are: nlin
36
The categories of this paper are: cmp-lg
34
The categories of this paper are: chem-ph