---
title: Denominator-SOS Hierarchy
url: https://www.emergentmind.com/topics/denominator-sos-hierarchy
type: topic
---

# Denominator-SOS Hierarchy

The Denominator-SOS (Sum of Squares) hierarchy is a structured framework for characterizing and certifying representations of nonnegative polynomials and rational functions as ratios of sums of squares (SOS) polynomials, with explicit control over the degree and structure of the denominator. This hierarchy arises from the interplay between real algebraic geometry, semidefinite programming (SDP), and the Positivstellensatz, addressing foundational questions regarding the impossibility (or necessity) of Hilbert–Artin representations with prescribed denominator characteristics. Its study elucidates the fine gradation of representability barriers among nonnegative functions, and provides algorithmic certificates delimiting the boundaries of such representations [1203.0253][2309.15398].

## 1. Definitions and the Hierarchy Structure

Let $K \subseteq \mathbb{R}$ (e.g., $K = \mathbb{Q}$) and $f(x) \in K(x_1, \dots, x_n)$ be a rational function. A Hilbert–Artin representation is a decomposition 
$$
f(x) = \frac{N(x)}{D(x)}, \quad N(x) = \sum_{i=1}^L u_i(x)^2,\quad D(x) = \sum_{j=1}^{L'} v_j(x)^2,
$$
where $u_i, v_j \in K[x_1, \dots, x_n]$. By Artin’s solution to Hilbert’s 17th problem, every $f \geq 0$ admits some such representation for sufficiently large denominator degree.

Define, for $d = 0, 1, 2, \dots$,
$$
H_d := \big\{ f : \exists~\mathrm{Hilbert\text{–}Artin~representation~with}~\max \deg v_j \leq d \big\},
$$
producing an ascending chain $H_0 \subseteq H_1 \subseteq H_2 \subseteq \cdots$. Here $H_0$ is the cone of SOS polynomials, $H_1$ extends to denominators of degree $\le 1$, and so forth, with the union encompassing all nonnegative $f$.

Denominator-SOS hierarchies are similarly defined in the context of polynomial optimization over basic semialgebraic sets $K$ involving equations $h_i(x)=0$ and inequalities $g_j(x)\geq 0$, modeling generalized moment problems and their dual SOS relations [1203.0253][2309.15398].

## 2. Theoretical Foundations

The heart of the Denominator-SOS hierarchy lies in characterizing which nonnegative functions admit a Hilbert–Artin representation with denominators of limited structure or degree, and providing certificates when such representation is impossible.

- **SDP Reformulation:** The existence of a denominator-SOS representation of degree $\le d$ manifests as a system of linear matrix inequalities over Gram matrices associated with possible numerator and denominator monomials. For $f = N(x)/D(x)$ with prescribed degree bounds, feasibility becomes an SDP problem in the Gram matrix variables.
  
- **Farkas’ Lemma for SDPs:** A generalization of Farkas’ Lemma (Alizadeh 1993) establishes that infeasibility of the SDP is certified by a dual vector $y$ such that certain moment and localizing matrices satisfy $M_d(y) \succeq 0,~ M_e(fy)+sI \succeq 0$, with $s < 0$, furnishing an exact impossibility certificate.

- **Exact Rational Certificates:** Numerical interior-point solutions can be post-processed—by convex combination and rational rounding—to yield an exact rational certificate $y$, which gives rise to a separating linear form $L_y$ demonstrating $f \notin H_d$ [1203.0253].

The extension of the Denominator-SOS concept to polynomial optimization over semialgebraic sets $\{x \mid h_i(x)=0,~g_j(x)\geq0\}$ is accomplished by defining the “denominator-augmented” quadratic module, e.g.,
$$
\mathrm{QM}[g;r]_{\leq 2k} = \text{Ideal}[h]_{\leq 2k} + \sum_{j} g_j(x)^{r_j} \cdot \Sigma[x]_{\leq 2k - r_j \deg g_j} + (1 + \|x\|^2)^{r_0} \cdot \Sigma[x]_{\leq 2k - 2r_0},
$$
which enlarges the feasible cone and overcomes archimedean and radicality barriers [2309.15398].

## 3. Algorithmic Realization

The verification of nonexistence of SOS denominator representations with specified degree proceeds via the following algorithmic schema [1203.0253]:

1. **Big-M Regularization:** Apply an SDP with additional trace/eigenvalue bounds to enforce strict feasibility.
2. **Interior-Point and Rational Recovery:** Numerically solve the regularized primal/dual SDP to high precision. Locate a strictly feasible point, then form a convex combination to ensure the dual objective remains negative. Coordinates are rounded to rationals to yield a valid dual certificate.
3. **Certificate Validation:** The resulting rational $y$ is a separating form, certifying that for all candidate denominator SOS polynomials within degree constraints, no admissible representation exists.

In the polynomial optimization and moment-SOS context, the denominator-SOS relaxations take the form
$$
f(x) - \lambda = \sum_i h_i(x)\tau_i(x) + \sum_j g_j(x)^{r_j}\sigma_j(x) + (1+\|x\|^2)^{r_0}\sigma_0(x),
$$
where nonnegative $\sigma_j$, $\sigma_0$ are SOS, and the dual moment relaxation includes corresponding moment and localizing matrix positivity constraints. Feasibility and flat extension of the obtained truncated moment matrices are then checked to certify global optimality [2309.15398].

## 4. Applications and Concrete Results

The Denominator-SOS hierarchy provides a systematic method for proving impossibility results for SOS denominator representations of definite polynomials. Key examples include:

- **Symmetric Sextics:** For the family $f_{n,k}(x)=(k^2+k)M_{n,6}-(2k+1)M_{n,2}M_{n,4}+M_{n,2}^3$, explicit rational certificates demonstrate, for various $(n, k)$, the nonexistence of denominator-SOS representations below specified degrees. For instance:
    - $f_{4,2} \notin H_2$ (certificate of size $m=369$),
    - $f_{5,2} \notin H_2$ ($m=1036$),
    - $f_{5,3} \notin H_4$ ($m=2751$),
    - and similar exclusions for $f_{6,2}$, $f_{6,3}$, $f_{6,4}$ [1203.0253].

- **Non-uniform and Restricted-Term Denominators:** Unlike earlier results requiring uniform denominators (e.g., powers of $x_1^2 + \cdots + x_n^2$ as in Reznick’s bounds), the method applies to arbitrary non-uniform SOS sums or denominators with specified term restrictions, such as Landau’s reduction omitting a variable [1203.0253].

- **Classical Counterexamples:** Motzkin’s sextic polynomial is shown to evade $H_0$; certain rational functions (e.g., Motzkin divided by $1 + x_1^2$) are excluded from $H_2$. 

- **Moment-SOS Hierarchies with Denominators:** The extension to the polynomial optimization framework allows for finite convergence guarantees even in the presence of non-real radical constraints or non-archimedean sets, via denominator-augmented relaxations [2309.15398].

## 5. Implications and Limitations

The Denominator-SOS hierarchy clarifies the gradations between the existence and nonexistence of low-degree denominator SOS representations. The explicit construction of impossibility certificates fills in “no-barrier-below-d” cells in the hierarchy for various families of polynomials, particularly symmetric forms where classical results (such as Reznick’s uniform denominator bounds) do not exclude non-uniform, lower-degree denominators [1203.0253].

A table summarizing example results:

| Instance         | Minimum Denominator Degree Excluded | Certificate Size (m) |
|------------------|------------------------------------|----------------------|
| $f_{4,2}$        | 2                                  | 369                  |
| $f_{5,3}$        | 4                                  | 2751                 |
| Motzkin (sextic) | 0 ($\notin H_0$)                   | Not specified        |

A plausible implication is that non-uniform denominators often do not enable lower-degree representations for extremal examples, and explicit certification is now feasible for such claims.

## 6. Connections, Extensions, and Open Questions

The Denominator-SOS hierarchy interacts deeply with several core areas:

- **Polynomial Optimization:** In contexts where the standard quadratic module is not archimedean or the constraint ideal is not real-radical, classical SOS or moment relaxations may fail to attain exactness. The introduction of denominators, possibly as sphere weights $(1+\|x\|^2)^r$ or powers of constraint polynomials $g_j$, enables the restoration of finite convergence and strong duality under mild assumptions, provided suitable KKT conditions hold [2309.15398].

- **Finite Convergence:** It is established that when denominator powers are sufficiently large and $k$ is taken large enough, the denominator-SOS relaxations and their dual moment programs yield exactness, with atomic measures corresponding to global minimizers upon satisfaction of the flat extension condition.

- **Symbolic vs. Numeric Certification:** While the method is fundamentally numerical (SDP/interior-point), it produces rational certificates guaranteeing mathematical correctness. However, the computational size of the SDP (and resulting certificates) can be limiting. Whether explicit symbolic (algebraic) bounds or characterizations can supplant SDP-based infeasibility certificates remains open.

- **Future Directions:** Characterizing precisely which polynomials admit minimal-degree denominator SOS Hilbert–Artin representations, extending the hierarchy to infinite-dimensional contexts (e.g., trigonometric polynomials), and exploring decision complexity or tightness (i.e., whether every extremal case genuinely requires a non-uniform denominator) are significant open questions [1203.0253].

## 7. Summary and Significance

The Denominator-SOS hierarchy transforms the classical existential theory of Hilbert and Artin into an explicit obstruction-theoretic framework with concrete separation certificates. Through semidefinite programming and rational post-processing, one can demarcate the exact locations where low-degree denominator-SOS representations are impossible for nonnegative polynomials and rational functions. The methodology extends naturally to generic polynomial optimization problems on semialgebraic sets, removing obstructions arising from nonarchimedean or non-real-radical constraints by the systematic use of denominators. This hierarchy thus critically refines the structure of nonnegativity certificates in real algebraic geometry, advancing both the theoretical landscape and the constructive power of SDP-based proof systems [1203.0253][2309.15398].

Source: https://www.emergentmind.com/topics/denominator-sos-hierarchy