Abstract:Let $\mathcal{H} \subset \mathcal{H}_{n,d} := \mathbb{R}[x_1$,$\ldots$, $x_n]_d$ be a vector space, and $A$ be a compact semialgebraic subset of $\mathbb{P}_{\mathbb{R}}^{n-1}$. We shall study some PSD cones $\mathcal{P} = \mathcal{P}(A$, $\mathcal{H}) := \big\{f \in \mathcal{H}$ $\big|$ $f(a) \geq 0$ ($\forall a \in A$)$\big\}$. Our interests are (1) to determine the extremal elements of $\mathcal{P}$, (2) to determine discriminants of $\mathcal{P}$, (3) to describe $\mathcal{P}$ as a union of basic semialgebraic subsets, and (4) to find a nice test set when $\dim \mathcal{H}$ is low. In this article, we present (1), (2), (3) and (4) for $\mathcal{P}(\mathbb{R}^4$, $\mathcal{H}_{4,4}^{s0})$ and $\mathcal{P}(\mathbb{R}_+^4$, $\mathcal{H}_{4,4}^{s0})$, where $\mathcal{H}_{n,d}^{s0} := \big\{f \in \mathcal{H}_{n,d}$ $\big|$ $f$ is symmetric and $f(1,\ldots,1)=0 \big\}$. We also provide (1) -- (4) for $\mathcal{P}(\mathbb{R}_+^4$, $\mathcal{H}_{4,3}^{c0})$, where $\mathcal{H}_{n,d}^{c0} := \big\{f \in \mathcal{H}_{n,d}$ $\big|$ $f$ is cyclic and $f(1,\ldots,1)=0 \big\}$.

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on the study of quaternary cubic and quartic polynomial inequalities. Specifically: 1. **Determining extreme value elements**: One of the goals of the paper is to determine all extreme value elements in some positive semi - definite cones (PSD cones). These extreme value elements are crucial for understanding the structure of the cone because they form the basis of the cone. 2. **Determining discriminants**: Another goal is to determine the discriminants of these PSD cones. The discriminant helps to identify the boundary of the cone and its geometric properties. 3. **Describing the cone as the union of basic semi - algebraic subsets**: The paper also attempts to describe these PSD cones through some inequalities, expressing them as the union of basic semi - algebraic subsets. This helps to more intuitively understand and analyze the properties of these cones. 4. **Finding a good test set in the low - dimensional case**: When the dimension of the vector space $H$ is low, find an effective test set such that if the value of a polynomial on the test set is non - negative, then it is also non - negative in the entire space. This is very important for both practical applications and theoretical research. Specifically in this paper, the author has studied the following cases: - $P(\mathbb{R}^4, H_{4,4}^{s0})$ and $P(\mathbb{R}_+^4, H_{4,4}^{s0})$, where $H_{4,4}^{s0}$ represents the space of quartic polynomials that are symmetric and satisfy $f(1, 1, 1, 1) = 0$. - $P(\mathbb{R}_+^4, H_{4,3}^{c0})$, where $H_{4,3}^{c0}$ represents the space of cubic polynomials that are cyclic and satisfy $f(1, 1, 1, 1) = 0$. The main contributions of the paper include: - Providing the specific forms of the extreme value elements of these PSD cones. - Determining the discriminants of these PSD cones. - Describing these PSD cones as the union of basic semi - algebraic subsets. - Finding an effective test set in the low - dimensional case. These results are not only of great significance for theoretical research, but also provide a powerful tool for practical applications.

Some Cubic and Quartic Inequalities of Four Variables

Some Extremal Symmetric Inequalities

Extremal Cubic Inequalities of Three Variables

A Refinement of Hilbert's 1888 Theorem: Separating Cones along the Veronese Variety

On $p$-adic denseness of quotients of values of integral forms

Integer Points in Arbitrary Convex Cones: The Case of the PSD and SOC Cones

On sharp isoperimetric inequalities on the hypercube

Quadruple Inequalities: Between Cauchy-Schwarz and Triangle

Intersections of sets, diophantine equations and Fourier analysis

On Poincaré polynomials for plane curves with quasi-homogeneous singularities

Copositivity criteria of a class of fourth order 3-dimensional symmetric tensors

On Certain Polytopes Associated to Products of Algebraic Integer Conjugates

Higher-dimensional Dedekind sums and their bounds arising from the discrete diagonal of the n-cube

Quantitative Correlation Inequalities via Semigroup Interpolation

SIC-POVMs and orders of real quadratic fields

On the coincidence of the Hausdorff and box dimensions for some affine-invariant sets

On Euler-Dierkes-Huisken variational problem

Separating Cones defined by Toric Varieties: Some Properties and Open Problems

Discrete logarithmic Sobolev inequalities in Banach spaces

Cubic fourfolds of discriminant 24 and rationality

Error terms for the motives of discriminant complements and a Cayley-Bacharach theorem