Last two pieces of the puzzle for unsolvability of a system of two quadratic (in)equalities
Given two quadratic functions \( f(x) = x^T Ax + 2a^T x + a_0 \) and \( g(x) = x^T Bx + 2b^T x + b_0 ,\) each associated with either the strict inequality ($<0$); non-strict inequality ($\leq 0$); or the equality ($=0$), it is a fundamental question to ask whether or not the joint system has a solution. For homogeneous quadratic systems ($a=b=0,~a_0=b_0=0$), starting from Finsler's lemma in 1936 until Yuan's alternative lemma in 1990, all combinations of the unsolvability for $\{x\in \mathbb{R} ^n\mid x^T Ax \mathbin{\star } 0\}\cap \{x\in \mathbb{R} ^n\mid x^T Bx \mathbin{\#} 0\}\subset…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.30571
curl -X POST /api/v1/records/arxiv/2608.30571/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.30571/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'