A Refinement of Hilbert's 1888 Theorem: Separating Cones along the Veronese Variety
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866911750481248256 |
|---|---|
| author | Goel, Charu Hess, Sarah Kuhlmann, Salma |
| author_facet | Goel, Charu Hess, Sarah Kuhlmann, Salma |
| contents | For $n,d\in\mathbb{N}$, the cone $\mathcal{P}_{n+1,2d}$ of positive semi-definite (PSD) $(n+1)$-ary $2d$-ic forms (i.e., homogeneous polynomials with real coefficients in $n+1$ variables of degree $2d$) contains the cone $Σ_{n+1,2d}$ of those that are representable as finite sums of squares (SOS) of $(n+1)$-ary $d$-ic forms. Hilbert's 1888 Theorem states that $Σ_{n+1,2d}=\mathcal{P}_{n+1,2d}$ exactly in the Hilbert cases $(n+1,2d)$ with $n+1=2$ or $2d=2$ or $(3,4)$. For the non-Hilbert cases, we examine in [GHK] a specific cone filtration \begin{equation} Σ_{n+1,2d}=C_0\subseteq \ldots \subseteq C_n \subseteq C_{n+1} \subseteq \ldots \subseteq C_{k(n,d)-n}=\mathcal{P}_{n+1,2d}\end{equation} along $k(n,d)+1-n$ projective varieties containing the Veronese variety via the Gram matrix method. Here, $k(n,d)+1$ is the dimension of the real vector space of $(n+1)$-ary $d$-ic forms. In particular, we compute the number $μ(n,d)$ of strictly separating intermediate cones (i.e., $C_i$ such that $Σ_{n+1,2d}\subsetneq C_i \subsetneq \mathcal{P}_{n+1,2d}$) for the cases $(3,6)$ and $(n+1,2d)_{n\geq 3,d=2,3}$.
In this paper, firstly, we generalize our findings from [GHK] to any non-Hilbert case by identifying each strict inclusion in the above cone filtration. This allows us to give a refinement of Hilbert's 1888 Theorem by computing $μ(n,d)$. The above cone filtration thus reduces to a specific cone subfiltration \begin{equation} Σ_{n+1,2d}=C_0^\prime\subsetneq C_1^\prime \subsetneq \ldots \subsetneq C_{μ(n,d)}^\prime \subsetneq C_{μ(n,d)+1}^\prime=\mathcal{P}_{n+1,2d} \end{equation} in which each inclusion is strict. Secondly, we show that each $C_i^\prime$, and hence each strictly separating $C_i$, fails to be a spectrahedral shadow. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_03813 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A Refinement of Hilbert's 1888 Theorem: Separating Cones along the Veronese Variety Goel, Charu Hess, Sarah Kuhlmann, Salma Algebraic Geometry 11E25, 11E76, 14A10, 14P10 For $n,d\in\mathbb{N}$, the cone $\mathcal{P}_{n+1,2d}$ of positive semi-definite (PSD) $(n+1)$-ary $2d$-ic forms (i.e., homogeneous polynomials with real coefficients in $n+1$ variables of degree $2d$) contains the cone $Σ_{n+1,2d}$ of those that are representable as finite sums of squares (SOS) of $(n+1)$-ary $d$-ic forms. Hilbert's 1888 Theorem states that $Σ_{n+1,2d}=\mathcal{P}_{n+1,2d}$ exactly in the Hilbert cases $(n+1,2d)$ with $n+1=2$ or $2d=2$ or $(3,4)$. For the non-Hilbert cases, we examine in [GHK] a specific cone filtration \begin{equation} Σ_{n+1,2d}=C_0\subseteq \ldots \subseteq C_n \subseteq C_{n+1} \subseteq \ldots \subseteq C_{k(n,d)-n}=\mathcal{P}_{n+1,2d}\end{equation} along $k(n,d)+1-n$ projective varieties containing the Veronese variety via the Gram matrix method. Here, $k(n,d)+1$ is the dimension of the real vector space of $(n+1)$-ary $d$-ic forms. In particular, we compute the number $μ(n,d)$ of strictly separating intermediate cones (i.e., $C_i$ such that $Σ_{n+1,2d}\subsetneq C_i \subsetneq \mathcal{P}_{n+1,2d}$) for the cases $(3,6)$ and $(n+1,2d)_{n\geq 3,d=2,3}$. In this paper, firstly, we generalize our findings from [GHK] to any non-Hilbert case by identifying each strict inclusion in the above cone filtration. This allows us to give a refinement of Hilbert's 1888 Theorem by computing $μ(n,d)$. The above cone filtration thus reduces to a specific cone subfiltration \begin{equation} Σ_{n+1,2d}=C_0^\prime\subsetneq C_1^\prime \subsetneq \ldots \subsetneq C_{μ(n,d)}^\prime \subsetneq C_{μ(n,d)+1}^\prime=\mathcal{P}_{n+1,2d} \end{equation} in which each inclusion is strict. Secondly, we show that each $C_i^\prime$, and hence each strictly separating $C_i$, fails to be a spectrahedral shadow. |
| title | A Refinement of Hilbert's 1888 Theorem: Separating Cones along the Veronese Variety |
| topic | Algebraic Geometry 11E25, 11E76, 14A10, 14P10 |
| url | https://arxiv.org/abs/2401.03813 |