1 Introduction

The question to characterize and to decide whether a polynomial or an exponential sum is non-negative occurs in many branches of mathematics and application areas. In the development of real algebraic geometry, the connection between the cone of non-negative polynomials and the cone of sums of squares of polynomials plays a prominent role (see, for example, Bochnak et al. 1998; Marshall 2008; Prestel and Delzell 2001). If a polynomial can be written as a sum of squares of polynomials, this provides a certificate for the non-negativity of the polynomial. Since the beginning of the current millennium, non-negativity certificates of polynomials have also seen much interest from the computational point of view and have strongly advanced the rich connections between real and convex algebraic geometry as well as polynomial optimization (see, for example, Lasserre 2010; Laurent 2009).

Within the research activities on non-negativity certificates in the last years, the cones of sums of arithmetic-geometric exponentials (SAGE, introduced by Chandrasekaran and Shah 2016) and sums of non-negative circuit polynomials (SONC, introduced by Iliman and de Wolff 2016) have received a lot of attention (see, e.g., Averkov 2019; Dressler et al. 2018a; Forsgård and de Wolff 2019; Murray et al. 2018, 2019; Wang 2018). These cones build upon earlier work of Reznick (1989). They provide non-negativity certificates based on the arithmetic-geometric inequality and are particularly useful in the context of sparse polynomials.

In Katthän et al. (2019), the authors of the current paper and Katthän have introduced a common generalization, called the \({\mathcal {S}}\)-cone, which facilitates to study the SAGE cone and the SONC cone within a uniform generalized setting. Formally, for two finite disjoint sets \(\emptyset \ne {\mathcal {A}}\subseteq {\mathbb {R}}^n, {\mathcal {B}}\subseteq {\mathbb {N}}^n{\setminus }(2{\mathbb {N}})^n\), let \({\mathbb {R}}[{\mathcal {A}}, {\mathcal {B}}]\) denote the space of all functions \(f:{\mathbb {R}}^n \rightarrow {\mathbb {R}}\cup \{\infty \}\) of the form

$$\begin{aligned} f({\mathbf {x}}) = \sum _{\alpha \in {\mathcal {A}}} c_{\alpha } |{\mathbf {x}}|^{\alpha } + \sum _{\beta \in {\mathcal {B}}} c_{\beta } {\mathbf {x}}^{\beta }\in {\mathbb {R}}[{\mathcal {A}},{\mathcal {B}}] \end{aligned}$$
(1.1)

with real coefficients \(c_{\alpha }\), \(\alpha \in {\mathcal {A}}\cup {\mathcal {B}}\). Our precondition \({\mathcal {A}} \cap {\mathcal {B}} =\emptyset \) is a slight restriction to the setup in Katthän et al. (2019), in order to enable a little more convenient notation.

One motivation for the class of functions (1.1) is that it allows to capture non-negativity of polynomials on \({\mathbb {R}}^n\) and non-negativity of polynomials on the non-negative orthant \({\mathbb {R}}_+^n\) within a uniform setting. Moreover, global non-negativity of the summand \(\sum _{\alpha \in {\mathcal {A}}} c_{\alpha } |{\mathbf {x}}|^{\alpha }\) is equivalent to global non-negativity of the exponential sum \({\mathbf {y}}\mapsto \sum _{\alpha \in {\mathcal {A}}} c_{\alpha } \exp (\alpha ^T {\mathbf {y}})\).

Definition 1.1

A function f of the form (1.1) is called an even AG function if for at most one \(\alpha \in {\mathcal {A}}\), \(c_\alpha \) is negative and for all \(\beta \in {\mathcal {B}}\), \(c_\beta \) is zero; and it is called an odd AG function if for all \(\alpha \in {\mathcal {A}}\), \(c_\alpha \) is non-negative and for at most one \(\beta \in {\mathcal {B}}\), \(c_\beta \) is nonzero.

f is called an AG function (arithmetic-geometric mean function), if f is an even AG function or an odd AG function.

Definition 1.2

Let \(\emptyset \ne {\mathcal {A}}\subseteq {\mathbb {R}}^n, {\mathcal {B}}\subseteq {\mathbb {N}}^n{\setminus }(2{\mathbb {N}})^n\) be finite disjoint sets. The \({\mathcal {S}}\)-cone \(C_{\mathcal {S}}({\mathcal {A}}, {\mathcal {B}})\) is defined as

$$\begin{aligned} C_{\mathcal {S}}({\mathcal {A}}, {\mathcal {B}}) := {{\,\mathrm{cone}\,}}\left\{ f\in {\mathbb {R}}[{\mathcal {A}}, {\mathcal {B}}] \, : \, f \text { is a non-negative AG function} \right\} , \end{aligned}$$

where \({{\,\mathrm{cone}\,}}\) denotes the conic (or positive) hull. \(C_{\mathcal {S}}({\mathcal {A}},{\mathcal {B}})\) is called rational if \({\mathcal {A}} \subseteq {\mathbb {Q}}^n\).

The SAGE and SONC cones arise as special cases of this cone, see Sect. 2.

Both from the geometric and from the optimization point of view, it is of prominent interest to understand how the different classes of cones relate to each other and whether techniques for different cones can be fruitfully combined. Karaca et al. (2017) have studied non-negativity certificates based on a combination of the SAGE cone with the cone of sums of squares. Concerning relations between the various cones, Averkov has shown that the SONC cone can be represented as a projection of a spectrahedron (Averkov 2019). In fact, his proof applies the techniques from Ben-Tal and Nemirovski (2001), which reveals that the SONC cone is even second-order representable. Wang and Magron gave an alternative proof based on binomial squares and \({\mathcal {A}}\)-mediated sets (Wang and Magron 2019).

Here, we take the general view of the \({\mathcal {S}}\)-cone as well as a primal-dual viewpoint. Generalizing the results of Averkov and of Wang and Magron, we show that rational \({\mathcal {S}}\)-cones and their duals are second-order representable and provide explicit and direct descriptions. Our proof combines the techniques for the second-order cones techniques from Ben-Tal and Nemirovski (2001) with the concepts and the duality theory of the \({\mathcal {S}}\)-cone from Katthän et al. (2019). Our derivation is different from the approach of Wang and Magron, and it does not need binomial squares or \({\mathcal {A}}\)-mediated sets. Moreover, our second-order representation prevents the consideration of redundant circuits by using a characterization of the extreme rays of the \({\mathcal {S}}\)-cone from Katthän et al. (2019).

Beyond the specific representability result, the goal of the paper is to offer further insights into the use of the framework of the \({\mathcal {S}}\)-cone as a generalization of SONC and SAGE.

2 Preliminaries

Throughout the text, we use the notations \({\mathbb {N}}=\{0,1,2,3,\ldots \}\) and \({\mathbb {R}}_+=\{x\in {\mathbb {R}}:x\ge 0\}\). For a finite subset \({\mathcal {A}}\subseteq {\mathbb {R}}^n\), denote by \({\mathbb {R}}^{\mathcal {A}}\) the set of \(|{\mathcal {A}}|\)-dimensional vectors whose components are indexed by the set \({\mathcal {A}}\). Moreover, we write

$$\begin{aligned} |{\mathbf {x}}|^{\alpha } = \prod _{j=1}^n |x_j|^{\alpha _{j}} \quad \text { and } \quad {\mathbf {x}}^{\beta } = \prod _{j=1}^n x_j^{\beta _{j}}, \end{aligned}$$

and if one component of \({\mathbf {x}}\) is zero and the corresponding exponent is negative, then we set \(|{\mathbf {x}}|^\alpha = \infty \).

2.1 The \({\mathcal {S}}\)-cone, SAGE and SONC

We explain that the \({\mathcal {S}}\)-cone generalizes the SAGE cone and the SONC cone and collect some basic properties of the three cones.

The SAGE cone Let \({\mathcal {A}}\) be a non-empty, finite set. An exponential sum supported on \({\mathcal {A}}\) is a function of the form

$$\begin{aligned} {\mathbf {y}}\mapsto \sum _{\alpha \in {\mathcal {A}}} c_{\alpha } \exp (\alpha ^T {\mathbf {y}}) \end{aligned}$$
(2.1)

with real coefficients \(c_{\alpha }\). If \({\mathcal {B}} = \emptyset \), then \({\mathbb {R}}[{\mathcal {A}},{\mathcal {B}}]\) can be identified with the space of exponential sums supported on \({\mathcal {A}}\) by means of the substitution \(|x_i| = \exp (y_i)\).

For finite \({\mathcal {A}}\subseteq {\mathbb {R}}^n\), \({\mathcal {A}}' \subsetneq {\mathcal {A}}\) and \(\beta \in {\mathcal {A}}{\setminus } {\mathcal {A}}'\), the SAGE cone \(C_{\mathrm {SAGE}}({\mathcal {A}})\) is defined as

$$\begin{aligned} C_{\mathrm {SAGE}}({\mathcal {A}}) = \sum _{\beta \in {\mathcal {A}}} C_{\text {AGE}}({\mathcal {A}}{\setminus } \{\beta \},\beta ), \end{aligned}$$

where for \(\mathcal {A'} := {\mathcal {A}} {\setminus } \{\beta \}\)

$$\begin{aligned} C_{\mathrm {AGE}}({\mathcal {A}}',\beta )= & {} \left\{ c\in {\mathbb {R}}^{\mathcal {A}}: c_{\alpha } \ge 0 \text { for } \alpha \in {\mathcal {A}}',\right. \\&\left. \quad \sum \limits _{\alpha \in {\mathcal {A}}'} c_\alpha \exp (\alpha ^Tx) + c_\beta \exp (\beta ^Tx)\ge 0 \text { on } {\mathbb {R}}^n\right\} \end{aligned}$$

(see Chandrasekaran and Shah 2016). We observe that the \({\mathcal {S}}\)-cone \(C_{\mathcal {S}}({\mathcal {A}},\emptyset )\) can be identified with \(C_{\mathrm {SAGE}}({\mathcal {A}})\) using the substitution (2.1). \(C_{\mathrm {SAGE}}({\mathcal {A}})\) is a closed convex cone in \({\mathbb {R}}^{{\mathcal {A}}}\). The membership problem for this convex cone can be formulated as a relative entropy program (Murray et al. 2018, see also Proposition 2.2 below).

The SONC cone Here, let the non-empty finite set \({\mathcal {A}}\) be contained in \({\mathbb {N}}^n\). Let

$$\begin{aligned} \begin{array}{rcl} I({\mathcal {A}})= & {} \big \{ (A,\beta ) \, : \, A \subseteq (2 {\mathbb {N}})^n\cap {\mathcal {A}}\text { affinely independent}, \; \beta \in {{\,\mathrm{relint}\,}}({{\,\mathrm{conv}\,}}A) \cap {\mathcal {A}}\big \}, \end{array}\nonumber \\ \end{aligned}$$
(2.2)

where \({{\,\mathrm{relint}\,}}\) denotes the relative interior of a set. For singleton sets \(A = \{\alpha \}\), the sets \((A,\beta )\) are formally of the form \((\{\alpha \}, \alpha )\). By convention, we write these circuits simply as \((\alpha )\), and with this convention, the set \(\{(\alpha ) \, : \, \alpha \in (2 {\mathbb {N}})^n\} \cap {\mathcal {A}}\) is contained in \(I({\mathcal {A}})\).

For \((A,\beta ) \in I({\mathcal {A}})\), let \(P_{A,\beta }\) denote the set of polynomials in \({\mathbb {R}}[x_1, \ldots , x_n]\) whose supports are contained in \(A\cup \{\beta \}\) and which are non-negative on \({\mathbb {R}}^n\). The Minkowski sum

$$\begin{aligned} C_{\mathrm {SONC}}({\mathcal {A}}) \ = \ \sum _{(A,\beta ) \ \in \ I({\mathcal {A}})} P_{A,\beta } \end{aligned}$$

defines the cone of SONC polynomials with support \({\mathcal {A}}\) (see Averkov 2019; Iliman and de Wolff 2016).

The cone \(C_{\mathrm {SONC}}({\mathcal {A}})\) is a closed convex cone, and it can be recognized as a special case of a rational \({\mathcal {S}}\)-cone by observing

$$\begin{aligned} C_{\mathrm {SONC}}({\mathcal {A}}) = C_{{\mathcal {S}}}\left( {\mathcal {A}}\cap (2{\mathbb {N}})^n,{\mathcal {A}}\cap ({\mathbb {N}}^n{\setminus }(2{\mathbb {N}})^n)\right) \end{aligned}$$

(see Katthän et al. 2019). Using the results from Murray et al. (2018), membership in the SONC cone can also be formulated in terms of a relative entropy program.

The \({\mathcal {S}}\)-cone The \({\mathcal {S}}\)-cone from Definition 1.1 offers a uniform setting for the SAGE and the SONC cones. We collect some further properties of the \({\mathcal {S}}\)-cone. For a non-empty finite set \({\mathcal {A}}\subseteq {\mathbb {R}}^n\) and \(\beta \in {\mathbb {N}}^n {\setminus }\left( (2{\mathbb {N}})^n\cup {\mathcal {A}}\right) \) let

$$\begin{aligned} P^{\mathrm {odd}}_{{\mathcal {A}}, \beta } := \left\{ f \ : \ f = \sum _{\alpha \in {\mathcal {A}}} c_\alpha |{\mathbf {x}}|^\alpha + c_\beta {\mathbf {x}}^{\beta }, f({\mathbf {x}}) \ge 0 \; \, \forall \; {\mathbf {x}}\in {\mathbb {R}}^n, \, c_{|{\mathcal {A}}}\in {\mathbb {R}}_+^{\mathcal {A}}, \, c_\beta \in {\mathbb {R}}\right\} \end{aligned}$$

be the cone of non-negative odd AG functions supported on \(({\mathcal {A}}, \beta )\), and similarly for \(\beta \in {\mathbb {R}}^n {\setminus } {\mathcal {A}}\) let

$$\begin{aligned} P^{\mathrm {even}}_{{\mathcal {A}}, \beta } := \left\{ f \ : \ f = \sum _{\alpha \in {\mathcal {A}}} c_\alpha |{\mathbf {x}}|^\alpha + c_\beta | {\mathbf {x}}|^{\beta }, f({\mathbf {x}}) \ge 0 \; \, \forall \;{\mathbf {x}}\in {\mathbb {R}}^n, \, c_{|{\mathcal {A}}}\in {\mathbb {R}}_+^{\mathcal {A}}, \, c_{\beta } \in {\mathbb {R}}\right\} \nonumber \\ \end{aligned}$$
(2.3)

be the cone of non-negative even AG functions supported on \(({\mathcal {A}}, \beta )\). By definition,

$$\begin{aligned} C_{\mathcal {S}}({\mathcal {A}}, {\mathcal {B}}) = \sum _{\alpha \in {\mathcal {A}}} P^{\mathrm {even}}_{{\mathcal {A}}{\setminus }\{\alpha \}, \alpha } + \sum _{\beta \in {\mathcal {B}}} P^{\mathrm {odd}}_{{\mathcal {A}}, \beta }. \end{aligned}$$

Note that non-negative even AG functions correspond exactly to the AGE functions (arithmetic-geometric exponentials) in Chandrasekaran and Shah (2016) and Murray et al. (2018).

The following alternative representation allows to express the \({\mathcal {S}}\)-cone in terms of the SAGE cone. Here, |d| denotes the absolute value of the vector \(d\in {\mathbb {R}}^{\mathcal {B}}\), taken component-wise.

Proposition 2.1

(Katthän et al. 2019) Let \(\emptyset \ne {\mathcal {A}}\subseteq {\mathbb {R}}^n\), \({\mathcal {B}}\subseteq {\mathbb {N}}^n{\setminus }(2{\mathbb {N}})^n\) be finite and disjoint. Then,

$$\begin{aligned} C_{\mathcal {S}}({\mathcal {A}},{\mathcal {B}})&= \left\{ \sum \limits _{\alpha \in {\mathcal {A}}}c_\alpha |x|^\alpha + \sum \limits _{\beta \in {\mathcal {B}}}d_\beta x^\beta : (c,-|d|)\in C_{\mathrm {SAGE}}({\mathcal {A}}\cup {\mathcal {B}})\right\} \end{aligned}$$
(2.4)
$$\begin{aligned}&= \left\{ \sum \limits _{\alpha \in {\mathcal {A}}}c_\alpha |x|^\alpha + \sum \limits _{\beta \in {\mathcal {B}}}d_\beta x^\beta : \exists t\in {\mathbb {R}}^{\mathcal {B}}\; \, (c,t)\in C_{\mathrm {SAGE}}({\mathcal {A}}\cup {\mathcal {B}}), \, t\le -|d|\right\} . \end{aligned}$$
(2.5)

For a finite set \(\emptyset \ne {\mathcal {A}}\subseteq {\mathbb {R}}^n\), we use the notion

$$\begin{aligned} C_{\mathcal {S}}({\mathcal {A}}):=C_{\mathcal {S}}({\mathcal {A}},\emptyset )=C_{\text {SAGE}}({\mathcal {A}}) \end{aligned}$$

and immediately observe \(C_{\mathcal {S}}({\mathcal {A}}) = \sum _{\alpha \in {\mathcal {A}}} P^{\mathrm {even}}_{{\mathcal {A}}\setminus \{\alpha \}, \alpha }\). Hence, for our purpose it suffices to study the cone \(P^{\mathrm {even}}_{{\mathcal {A}},\beta }\) of even AG functions and use the results of this cone for the odd case in Sect. 4.

Using the relative entropy function and the circuit number, the cones \(P^{\mathrm {even}}_{{\mathcal {A}}, \beta }\) and \(P^{\mathrm {odd}}_{{\mathcal {A}}, \beta }\) can be characterized in terms of convex optimization problems. For a finite set \(\emptyset \ne {\mathcal {A}}\subseteq {\mathbb {R}}^n\), denote by \(D:{\mathbb {R}}_{>0}^{\mathcal {A}}\times {\mathbb {R}}_{>0}^{\mathcal {A}}\rightarrow {\mathbb {R}}\),

$$\begin{aligned} D(\nu , \gamma ) \ = \ \sum _{\alpha \in {\mathcal {A}}} \nu _\alpha \ln \left( \frac{\nu _\alpha }{\gamma _\alpha } \right) , \end{aligned}$$

the relative entropy function. D can also be extended to \({\mathbb {R}}_{+}^{\mathcal {A}}\times {\mathbb {R}}_{+}^{\mathcal {A}}\rightarrow {\mathbb {R}}\cup \{\infty \}\) via the conventions \(0 \cdot \ln \frac{0}{y} = 0\) for \(y \ge 0\) and \(y \cdot \ln \frac{y}{0} = \infty \) for \(y > 0\). Non-negativity of an (even or odd) AG function f with coefficients \(c_{\alpha }\) and \(c_{\beta }\) can be characterized through the product \(\prod _{\alpha \in {\mathcal {A}}} \left( c_\alpha / \lambda _\alpha \right) ^{\lambda _\alpha }\) and \(c_{\beta }\) (see Katthän et al. 2019, Theorem 2.7). For an affinely independent ground set \({\mathcal {A}}\), this product is called the circuit number of f (see Iliman and de Wolff 2016). In particular, for an even AG function, this non-negativity characterization in terms of the circuit number is given by

$$\begin{aligned} \prod _{\alpha \in {\mathcal {A}}} \left( \frac{c_\alpha }{\lambda _\alpha }\right) ^{\lambda _\alpha } \ge -c_{\beta }. \end{aligned}$$
(2.6)

The following characterization of \(P^{\mathrm {even}}_{{\mathcal {A}}, \beta }\) and \(P^{\mathrm {odd}}_{{\mathcal {A}},\beta }\) in terms of the relative entropy function and in terms of the circuit number is a direct consequence of Theorem 2.7 of Katthän et al. (2019).

Proposition 2.2

Let \({\mathcal {A}}\subseteq {\mathbb {R}}^n\) be a non-empty finite set, \( \beta \in {\mathbb {R}}^n {\setminus }{\mathcal {A}}\) and an AG function f with coefficient vector \({\mathbf {c}}\) supported on \({\mathcal {A}}\cup \{\beta \}\).

  1. 1.

    If f is an even AG function, then

    $$\begin{aligned} f \in P^{\mathrm {even}}_{{\mathcal {A}}, \beta }&\iff \exists \nu \in {\mathbb {R}}_{+}^{{\mathcal {A}}} \quad \sum \limits _{\alpha \in {\mathcal {A}}} \nu _{\alpha }\alpha =\Big ( \sum \limits _{\alpha \in {\mathcal {A}}} \nu _{\alpha } \Big ) \beta , \; D(\nu , e\cdot c) \le c_\beta \\&\iff \exists \lambda \in {\mathbb {R}}_{+}^{{\mathcal {A}}} \quad \sum _{\alpha \in {\mathcal {A}}} \lambda _{\alpha }\alpha =\beta , \; \sum \limits _{\alpha \in {\mathcal {A}}} \lambda _{\alpha }=1, \; \prod _{\alpha \in {\mathcal {A}}} \left( \frac{c_\alpha }{\lambda _\alpha }\right) ^{\lambda _\alpha } \ge -c_\beta . \end{aligned}$$
  2. 2.

    If f is an odd AG function, then

    $$\begin{aligned} f \in P^{\mathrm {odd}}_{{\mathcal {A}}, \beta }&\iff \exists \nu \in {\mathbb {R}}_{+}^{{\mathcal {A}}} \quad \sum \limits _{\alpha \in {\mathcal {A}}} \nu _{\alpha }\alpha =\Big ( \sum \limits _{\alpha \in {\mathcal {A}}} \nu _{\alpha } \Big ) \beta , \; D(\nu , e\cdot c) \le -|c_\beta | \\&\iff \exists \lambda \in {\mathbb {R}}_{+}^{{\mathcal {A}}} \quad \sum _{\alpha \in {\mathcal {A}}} \lambda _{\alpha }\alpha =\beta , \; \sum \limits _{\alpha \in {\mathcal {A}}} \lambda _{\alpha }=1, \; \prod _{\alpha \in {\mathcal {A}}} \left( \frac{c_\alpha }{\lambda _\alpha }\right) ^{\lambda _\alpha } \ge |c_\beta |. \end{aligned}$$

If \({\mathcal {A}}\) is a set of affinely independent vectors and \(\beta \in {{\,\mathrm{relint}\,}}{\mathcal {A}}\), then \(\lambda \) is unique. We call the corresponding AG function a circuit function, the tuple \(({\mathcal {A}},\beta )\) the circuit and identify the unique \(\lambda \) with the above declared characteristics \(\lambda =\lambda ({\mathcal {A}},\beta )\).

2.2 Duality theory

Studying the duality theory has been initiated in Chandrasekaran and Shah (2016) (for SAGE), Dressler et al. (2018b) (for SONC) and Katthän et al. (2019) (for the \({\mathcal {S}}\)-cone). See also the recent work of Papp (2019), who developed an alternative approach for deriving the dual cones, by expressing the non-negativity of circuit polynomials in terms of a power cone. We can identify the dual space of \({\mathbb {R}}[{\mathcal {A}}]\) with \({\mathbb {R}}^{{\mathcal {A}}}\). For \(f \in {\mathbb {R}}[{\mathcal {A}}]\) with coefficients \({\mathbf {c}}\in {\mathbb {R}}^{\mathcal {A}}\) and an element \({\mathbf {v}}\in {\mathbb {R}}^{{\mathcal {A}}}\), we consider the natural duality pairing

$$\begin{aligned} {\mathbf {v}}(f) = \sum \limits _{\alpha \in {\mathcal {A}}}v_\alpha c_\alpha . \end{aligned}$$
(2.7)

Using this notation, the dual cone \((C_{\mathcal {S}}({{\mathcal {A}}}))^*\) is defined as

$$\begin{aligned} (C_{\mathcal {S}}({{\mathcal {A}}}))^* \ = \ \left\{ {\mathbf {v}}\in {\mathbb {R}}^{{\mathcal {A}}} \, : \, {\mathbf {v}}(f) \ge 0 \text { for all } f \in C_{\mathcal {S}}({\mathcal {A}}) \right\} . \end{aligned}$$

The following statement expresses the dual \({\mathcal {S}}\)-cone in terms of the dual SAGE cone.

Proposition 2.3

Let \(\emptyset \ne {\mathcal {A}}\subseteq {\mathbb {R}}^n\) and \({\mathcal {B}}\subseteq {\mathbb {N}}^n{\setminus } (2{\mathbb {N}})^n\) disjoint and finite. The dual cone of the \({\mathcal {S}}\)-cone \(C_{\mathcal {S}}({\mathcal {A}},{\mathcal {B}})\) is

$$\begin{aligned} C_{\mathcal {S}}({\mathcal {A}},{\mathcal {B}})^*&= \left\{ ({\mathbf {v}},{\mathbf {w}})\in {\mathbb {R}}^{\mathcal {A}}\times {\mathbb {R}}^{\mathcal {B}}: ({\mathbf {v}},|{\mathbf {w}}|)\in C_{\text {SAGE}}({\mathcal {A}}\cup {\mathcal {B}})^*\right\} \end{aligned}$$
(2.8)
$$\begin{aligned}&= \left\{ ({\mathbf {v}},{\mathbf {w}})\in {\mathbb {R}}^{\mathcal {A}}\times {\mathbb {R}}^{\mathcal {B}}: \exists {\mathbf {u}}\in {\mathbb {R}}^{{\mathcal {B}}} \; \, ({\mathbf {v}},{\mathbf {u}})\in C_{\text {SAGE}}({\mathcal {A}}\cup {\mathcal {B}})^*, \, {\mathbf {u}}\ge |{\mathbf {w}}| \right\} . \end{aligned}$$
(2.9)

Proof

We use (2.5), which provides a characterization for the primal cone \(C_{\mathcal {S}}({\mathcal {A}},{\mathcal {B}})\) in terms of an existential quantification. Consider its lifted cone

$$\begin{aligned} {\widehat{C_{\mathcal {S}}}}({\mathcal {A}},{\mathcal {B}})&:= C_{\text {SAGE}}({\mathcal {A}}\cup {\mathcal {B}})\times {\mathbb {R}}^{\mathcal {B}}\cap \left\{ ({\mathbf {c}},{\mathbf {t}},{\mathbf {d}}) : t_\beta \le -|d_\beta | \text { for all }\beta \in {\mathcal {B}}\right\} \nonumber \\&= C_{\text {SAGE}}({\mathcal {A}}\cup {\mathcal {B}})\times {\mathbb {R}}^{\mathcal {B}}\cap \left\{ ({\mathbf {c}},{\mathbf {t}},{\mathbf {d}}) : t_\beta \le d_\beta , t_\beta \le -d_\beta \text { for all }\beta \in {\mathcal {B}}\right\} \end{aligned}$$
(2.10)

in the space \({\mathbb {R}}^{\mathcal {A}}\times {\mathbb {R}}^{\mathcal {B}}\times {\mathbb {R}}^{\mathcal {B}}\). The dual cone of the right-hand cone in (2.10) is the set

$$\begin{aligned} {{\,\mathrm{cone}\,}}\left\{ (0,\ldots ,0,-e^{(\beta )}, \pm e^{(\beta )}) \, : \, \beta \in {\mathcal {B}}\right\} , \end{aligned}$$

where \(e^{(\beta )}\) denotes the unit vector with respect to \(\beta \in {\mathcal {B}}\). As intersection and Minkowski sum are dual operations, we obtain

$$\begin{aligned} {\widehat{C_{\mathcal {S}}}}({\mathcal {A}},{\mathcal {B}})^*= C_{\text {SAGE}}({\mathcal {A}}\cup {\mathcal {B}})^*\times \{0\} + {{\,\mathrm{cone}\,}}\left\{ (0,\ldots ,0,-e^{(\beta )},\pm e^{(\beta )}) \, : \, \beta \in {\mathcal {B}}\right\} . \end{aligned}$$

Identifying the \({\mathcal {S}}\)-cone with its coefficients, we can express \(C_{\mathcal {S}}({\mathcal {A}},{\mathcal {B}})^*\) in terms of the lifted cone \({\widehat{C_{\mathcal {S}}}}({\mathcal {A}},{\mathcal {B}})\) by

$$\begin{aligned} C_{\mathcal {S}}({\mathcal {A}},{\mathcal {B}})^* = {\widehat{C_{\mathcal {S}}}}({\mathcal {A}},{\mathcal {B}}) \cap \left\{ ({\mathbf {v}},{\mathbf {s}},{\mathbf {w}}) \in {\mathbb {R}}^{{\mathcal {A}}} \times {\mathbb {R}}^{{\mathcal {B}}} \times {\mathbb {R}}^{{\mathcal {B}}} \, : \, {\mathbf {s}} = 0\right\} . \end{aligned}$$

Thus, \(({\mathbf {v}},{\mathbf {w}}) \in C_{\mathcal {S}}({\mathcal {A}},{\mathcal {B}})\) whenever \(({\mathbf {v}},|{\mathbf {w}}|) \in C_{\text {SAGE}}({\mathcal {A}}\cup {\mathcal {B}})^*\). Convexity then implies the second characterization (2.9). \(\square \)

Hence, as in the primal case, it suffices to study even AG functions in the dual situation. We will make use of a representation of the dual of the \({\mathcal {S}}\)-cone from Katthän et al. (2019). For this, observe that similar to the SONC case in (2.2), one can also consider circuits in the case of the SAGE cone. In slight variation of (2.2), for a finite set \(\emptyset \ne {\mathcal {A}}\subseteq {\mathbb {R}}^n\), the set of circuits supported on \({\mathcal {A}}\) is the set

$$\begin{aligned} \begin{array}{rcl} I({\mathcal {A}})= & {} \big \{ (A,\beta ) \, : \, A \subseteq {\mathcal {A}}\text { affinely independent}, \; \beta \in {{\,\mathrm{relint}\,}}({{\,\mathrm{conv}\,}}A) \cap ({\mathcal {A}}{\setminus } A) \big \}. \end{array} \end{aligned}$$

Two examples of circuits are the pairs \((A,\beta )\) with \(A=\{0,6\}\) and \(\beta =\{2\}\) (see Fig. 1) and \((A',\beta ')\) with \(A'=\{(0,0)^T,(4,2)^T,(2,4)^T\}\) and \(\beta '=(1,1)^T\) (see Fig. 2).

Fig. 1
figure 1

Circuit \((A,\beta )\)

Fig. 2
figure 2

Circuit \((A',\beta ')\)

Thereby, the dual \({\mathcal {S}}\)-cone \(C_{\mathcal {S}}({\mathcal {A}})\) can be represented as follows.

Proposition 2.4

(Katthän et al. 2019, Theorem 3.5) Let \(\emptyset \ne {\mathcal {A}}\subseteq {\mathbb {R}}^n\) be finite. Then a point \({\mathbf {v}}\in {\mathbb {R}}^{{\mathcal {A}}}\) is contained in \(C_{\mathcal {S}}({\mathcal {A}})^*\) if and only if \({\mathbf {v}}\ge 0\) and

$$\begin{aligned} \ln (v_\beta ) \le \sum _{\alpha \in A} \lambda _{\alpha } \ln (v_\alpha ) \text { for every circuit } (A, \beta ) \text { in } I({\mathcal {A}}) \text { and } \lambda =\lambda (A,\beta ). \end{aligned}$$

2.3 Second-order formulations

Let [m] abbreviate the set \(\{1, \ldots , m\}\) and denote by \(\Vert \cdot \Vert \) the Euclidean norm. A second-order cone program (SOCP) is an optimization problem of the form

$$\begin{aligned} \min \left\{ {\mathbf {c}}^T {\mathbf {x}} \, : \, ||A_i {\mathbf {x}}+{\mathbf {b}}_i||_2 \le {\mathbf {c}}_i^T {\mathbf {b}}+{\mathbf {d}}_i \text { for all }i\in [m] \right\} \end{aligned}$$
(2.11)

with real symmetric matrices \(A_i\), vectors \({\mathbf {b}}_i,{\mathbf {c}}_i,{\mathbf {d}}_i\) and a vector \({\mathbf {c}}\). A subset of \({\mathbb {R}}^n\) is called second-order representable if it can be represented as a projection of the feasible set of a second-order program.

For a symmetric \(2 \times 2\)-matrix, positive semidefiniteness can be formulated as a second-order condition.

Lemma 2.5

(See, e.g., Nesterov and Nemirovski 1994, §6.4.3.8, Wang and Magron 2019, Lemma 4.3) A symmetric \(2\times 2\) matrix \(A=\left( \begin{array}{cc} a &{} b\\ b &{} c \end{array}\right) \) is positive semidefinite if and only if the second-order condition

$$\begin{aligned} \left| \left| \left( \begin{array}{c} 2b \\ a-c \end{array}\right) \right| \right| _2 \le a+c \end{aligned}$$

is satisfied.

Let \(S_+^n\) be the subset of symmetric \(n \times n\)-matrices which are positive semidefinite. By Averkov (2019), there exists some \(m\in {\mathbb {N}}\) so that the cone of SONC polynomials \(C_{\text {SONC}}({\mathcal {A}})\) supported on \({\mathcal {A}}\) can be written as the projection of the spectrahedron \((S_+^2)^m\cap H\) for some affine space H.

3 A second-order representation for the cone of non-negative AG functions and its dual

In order to provide a second-order representation for the \({\mathcal {S}}\)-cone and its dual, the main task is to capture the cone of non-negative AG functions and its dual. For a comprehensive collection of techniques for handling second-order cones, we refer to Ben-Tal and Nemirovski (2001).

Throughout the section, let \((A,\beta )\) be a fixed circuit and rational barycentric coordinates \(\lambda \in {\mathbb {R}}_+^A\), which represent \(\beta \) as a convex combination of A. That is, \(\beta = \sum _{\alpha \in {\mathcal {A}}} \lambda _{\alpha } \alpha \) and \(\sum _{\alpha \in {\mathcal {A}}} \lambda _{\alpha } =1\). Let \(p\in {\mathbb {N}}\) denote the smallest common denominator of the fractions \(\lambda _\alpha \) for \(\alpha \in A\), i.e., \(\lambda _\alpha =\frac{p_\alpha }{p}\) with \(p_\alpha \in {\mathbb {N}}\) for all \(\alpha \in A\) and p is minimal.

With the given circuit \((A,\beta )\in I({\mathcal {A}})\), we associate a set of dual circuit variables

$$\begin{aligned} (y_{k,i})_{k,i}, \end{aligned}$$
(3.1)

where \(k\in [\lceil \log _2(p)\rceil -1]\) and \(i\in [2^{\lceil \log _2(p)\rceil -k}]\). The collection of these \(\sum _{k=1}^{\lceil \log _2(p)\rceil -1} 2^{\lceil \log _2(p)\rceil -k} \) \(= 2^{\lceil \log _2(p)\rceil }-2\) variables is denoted as \({\mathbf {y}}^{A,\beta }\) or shortly as \({\mathbf {y}}\). Further, denote the restriction of a vector \({\mathbf {v}}\in {\mathbb {R}}^{{\mathcal {A}}}\) to the components of \(A \subseteq {\mathcal {A}}\) by \({\mathbf {v}}_{|A}\).

Definition 3.1

A dual circuit matrix \(C_{A,\beta }^*({\mathbf {v}}_{| A},v_\beta ,{\mathbf {y}})\) is a block diagonal matrix consisting of the blocks

$$\begin{aligned}&\left( \begin{array}{cc} y_{k-1,2i-1} &{} y_{k,i} \\ y_{k,i} &{} y_{k-1,2i} \end{array}\right) \quad \text {for }k\in \{2,\ldots ,\lceil \log _2(p)\rceil -1 \}\text { and } i\in \left[ 2^{\lceil \log _2(p)\rceil -k}\right] , \end{aligned}$$
(3.2)
$$\begin{aligned}&\left( \begin{array}{cc} y_{\lceil \log _2(p)\rceil -1,1} &{} v_\beta \\ v_\beta &{} y_{\lceil \log _2(p)\rceil -1,2} \end{array}\right) , \end{aligned}$$
(3.3)

the singleton block \( ( v_\beta ), \) as well as \(2^{\lceil \log _2(p)\rceil -1}\) blocks of the form

$$\begin{aligned} \left( \begin{array}{cc} u &{} y_{1,l} \\ y_{1,l} &{} w \end{array}\right) \quad \text { for } l\in [2^{\lceil \log _2(p)\rceil -1} ], \end{aligned}$$
(3.4)

where in each of these blocks u and w represent a variable of the set \(\{v_\alpha \, : \, \alpha \in A\}\cup \{v_\beta \}\) such that altogether each \(v_{\alpha }\) appears \(p_{\alpha }\) times and \(v_\beta \) appears \(2^{\lceil \log _2(p)\rceil }-p\) times.

In this definition, the exact order of appearances of the variables in \(\{v_\alpha \, : \, \alpha \in A\}\cup \{v_\beta \}\) is not uniquely determined. However, since this order of appearances will not matter, we will speak of the dual circuit matrix.

Remark 3.2

Each block of the type (3.4) contains two (not necessarily identical) variables from the set \(\{v_\alpha \, : \, \alpha \in A\}\cup \{v_\beta \}\). Since \(\sum _{\alpha \in A} \lambda _{\alpha } = 1\), we have \(\sum _{\alpha \in A} p_{\alpha } = p\) and hence the total number of occurrences of variables from the set \(\{v_\alpha \, : \, \alpha \in A\}\cup \{v_\beta \}\) in the blocks of type (3.4) is

$$\begin{aligned} \sum _{\alpha \in A} p_{\alpha } + (2^{\lceil \log _2(p)\rceil }-p) = 2^{\lceil \log _2(p)\rceil }, \end{aligned}$$

which is twice the number of blocks of type (3.4).

Note that every \(y_{k,i}\) only serves as an auxiliary variable to make the non-linear constraints \( \ln (v_\beta ) \le \sum \nolimits _{\alpha \in A} \lambda _\alpha \ln (v_\alpha ) \) of the dual \({\mathcal {S}}\)-cone description from Proposition 2.4 linear. In the end, we will only multiply those constraints to obtain the original ones. In particular, factors \(v_\beta \) serve to cover cases where p is not a power of 2. For the purpose of the second-order descriptions, it does not matter in which order the variables appear in the blocks (3.4), because only the product of these blocks will be considered.

The goal of this subsection is to show the following characterization of the cone of non-negative even AG functions \(P^{\mathrm {even}}_{A,\beta }\) supported on the circuit \((A,\beta )\). Here, positive semidefiniteness of a symmetric matrix is denoted by \(\succeq 0\).

Theorem 3.3

The dual cone \((P^{\mathrm {even}}_{A,\beta })^*\) of the cone of non-negative even AG functions \(P^{\mathrm {even}}_{A,\beta }\) supported on the circuit \((A,\beta )\in I({\mathcal {A}})\) is the projection of the spectrahedron

$$\begin{aligned}&\left\{ ({\mathbf {v}}, {\mathbf {y}}) \in {\mathbb {R}}^{{\mathcal {A}}}\times {\mathbb {R}}^{2^{\lceil \log _2(p)\rceil }-2} \ : \ C_{A,\beta }^*({\mathbf {v}}_{| A},v_\beta , {\mathbf {y}}) \succcurlyeq 0 \right\} \end{aligned}$$
(3.5)

on \(({\mathbf {v}}_{|A}, v_\beta )\). \((P^{\mathrm {even}}_{A,\beta })^*\) is second-order representable.

Here, the second-order representability follows immediately from the representation (3.5) in connection with Lemma 2.5. Let us consider an example for the theorem.

Example 3.4

Let \({\mathcal {A}}=\{0,6\}, {\mathcal {B}}=\{2\}\) and consider the circuit \((A,\beta )\) with \(A={\mathcal {A}}\) and \(\beta =2\) (compare Fig. 1). We have \(p=3, p_0=2, p_6=1\) and \({\mathbf {y}}\) consists of the components

$$\begin{aligned} \ y_{1,1}, \ y_{1,2}. \end{aligned}$$

A vector \((v_0,v_2,v_6)\) is contained in \((P^{\mathrm {even}}_{A,\beta })^*\) if and only if \(v_2\ge 0\) and the three \(2 \times 2\)-matrices

$$\begin{aligned} \left( \begin{array}{cc} y_{1,1} &{} v_2 \\ v_2 &{} y_{1,2} \end{array} \right) , \; \left( \begin{array}{cc} v_0 &{} y_{1,1} \\ y_{1,1} &{} v_0 \end{array} \right) , \; \left( \begin{array}{cc} v_6 &{} y_{1,2} \\ y_{1,2} &{} v_2 \end{array}\right) \end{aligned}$$

are positive semidefinite.

In Averkov (2019), Averkov considered the size of the blocks in the SDP-representation of SONC-polynomials but does not give a number or bound on the number of blocks. Here, for the \({\mathcal {S}}\)-cone, we provide a bound on the number of inequalities of a second-order representation, which also gives a bound on the number of \(2 \times 2\)-blocks in a semidefinite representation. The bound depends on the smallest common denominator of the barycentric coordinates representing the inner exponent of a circuit as a convex combination of the outer ones.

Corollary 3.5

The matrix \(C_{A,\beta }^*({\mathbf {v}}_{|A},v_\beta ,{\mathbf {y}})\) consists of \({2^{\lceil \log _2(p)\rceil }}-1\) blocks of size \(2 \times 2\) and one block of size \(1 \times 1\).

Proof

Counting the number of \(2 \times 2\)-blocks, there are \(\sum _{k=2}^{\lceil \log _2(p)\rceil -1}\left( 2^{\lceil \log _2(p)\rceil -k} \right) = 2^{\lceil \log _2(p)\rceil -1}\) \(-2\) blocks of type (3.2), a single block (3.3) and \(2^{\lceil \log _2(p)\rceil -1}\) blocks of type (3.4). \(\square \)

Remark 3.6

It is useful to record the set inequalities characterizing the positive semidefiniteness of the matrix \(C_{A,\beta }^*({\mathbf {v}}_{|A},v_\beta ,{\mathbf {y}})\). Besides the non-negativity conditions for the variables,

$$\begin{aligned}&{\mathbf {v}}_{|A} \ge 0, \quad v_\beta \ge 0, \end{aligned}$$
(3.6)
$$\begin{aligned}&\quad \text { and } x_{k,i} \ge 0 \text { for all } k\in \left\{ 2,\ldots ,\lceil \log _2(p)\rceil -1\right\} , i\in \left[ 2^{\lceil \log _2(p)\rceil }-k\right] , \end{aligned}$$
(3.7)

these are the determinantal conditions arising from the positive semidefiniteness of the matrices in (3.2), (3.3) and (3.4):

$$\begin{aligned} v_\beta ^2&\le {y_{\lceil \log _2(p)\rceil -1,1}y_{\lceil \log _2(p)\rceil -1,2}}, \end{aligned}$$
(3.8)
$$\begin{aligned} y_{k,i}^2&\le y_{k-1,2i-1} y_{k-1,2i} \text { for all }k\in \left\{ 2,\ldots ,\lceil \log _2(p)\rceil -1\right\} , i\in \left[ 2^{\lceil \log _2(p)\rceil -k}\right] \end{aligned}$$
(3.9)
$$\begin{aligned}&\text { and } uw \ge \left( y_{1,l}\right) ^2 \text { for } l\in \left[ 2^{\lceil \log _2(p)\rceil -1}\right] \end{aligned}$$
(3.10)

for \(u,w\in \{v_\alpha \, : \, \alpha \in A\}\cup \{v_\beta \}\), such that \(v_{\alpha }\) appears \(p_{\alpha }\) times for every \(\alpha \in A\) and \(v_\beta \) appears \(2^{\lceil \log _2(p)\rceil }-p\) times.

The next lemma prepares one inclusion of Theorem 3.3.

Lemma 3.7

Let \({\mathbf {v}}\in {\mathbb {R}}^{A,\beta }\) such that there exists \({\mathbf {y}}\in {\mathbb {R}}^{2^{\lceil \log _2(p)\rceil }-2}\) with \(C_{A,\beta }^*({\mathbf {v}}_{|A},v_\beta , {\mathbf {y}}) \succcurlyeq 0\). Then \({\mathbf {v}}_{|A}\) is non-negative and satisfies

$$\begin{aligned} v_\beta ^p \le \prod \limits _{\alpha \in A} v_\alpha ^{p_\alpha }. \end{aligned}$$

Proof

By (3.6), we have \({\mathbf {v}}_{|A} \ge 0\) and \(v_{\beta } \ge 0\). Moreover, (3.8) and successively applying (3.9) gives

$$\begin{aligned} v_\beta\le & {} \left( y_{\lceil \log _2(p)\rceil -1,1} \, y_{\lceil \log _2(p)\rceil -1,2}\right) ^{1/2} \\\le & {} \left( y_{\lceil \log _2(p)\rceil -2,1} \, y_{\lceil \log _2(p)\rceil -2,2} \right) ^{1/4} \left( y_{\lceil \log _2(p)\rceil -2,3} \, y_{\lceil \log _2(p)\rceil -2,4}\right) ^{1/4} \\= & {} \left( y_{\lceil \log _2(p)\rceil -2,1} \, y_{\lceil \log _2(p)\rceil -2,2} \, y_{\lceil \log _2(p)\rceil -2,3} \, y_{\lceil \log _2(p)\rceil -2,4}\right) ^{\frac{1}{2^{\lceil \log _2(p)\rceil -(\lceil \log _2(p)\rceil -2)}}}\\\le & {} \cdots \le \left( \left( \prod \nolimits _{\alpha \in A} v_\alpha ^{p_\alpha }\right) \cdot \left( v_\beta \right) ^{2^{\lceil \log _2(p)\rceil }-p} \right) ^{\frac{1}{2^{\lceil \log _2(p)\rceil }}}. \end{aligned}$$

This is equivalent to

$$\begin{aligned} \left( v_\beta \right) ^{2^{\lceil \log _2(p)\rceil }} \cdot \left( v_\beta \right) ^{p-2^{\lceil \log _2(p)\rceil }} \le \prod \nolimits _{\alpha \in A} v_\alpha ^{p_\alpha }, \end{aligned}$$

which implies \( v_\beta ^p \le \prod _{\alpha \in A} v_\alpha ^{p_\alpha }. \) \(\square \)

Now we prepare the converse inclusion of Theorem 3.3.

Lemma 3.8

For every \({\mathbf {v}}\in {\mathbb {R}}^{A,\beta }\) with \({\mathbf {v}}_{|A \cup \{\beta \}} \ge 0\) and \(v_\beta ^p \le \prod _{\alpha \in A} v_\alpha ^{p_\alpha }\), there exists \({\mathbf {y}}\in {\mathbb {R}}^{2^{\lceil \log _2(p)\rceil }-2}\) such that \(C_{A,\beta }^*({\mathbf {v}}_{|A},v_\beta , {\mathbf {y}}) \succcurlyeq 0\).

Proof

Define \({\mathbf {y}}\) inductively by

$$\begin{aligned}&y_{1,l}=\sqrt{uw} \text { for those } u,w \text { which occur in the block with }y_{1,l}, \\&y_{k,i}=\sqrt{y_{k-1,2i-1}y_{k-1,2i}} \text { for all }k\in \left\{ 2,\ldots ,\lceil \log _2(p)\rceil -1\right\} , i\in \left[ 2^{\lceil \log _2(p)\rceil -k}\right] . \end{aligned}$$

It suffices to show that the inequalities (3.6)–(3.10) in Remark 3.6 are satisfied. The non-negativity conditions (3.6) and (3.7) hold by assumption and by definition of \({\mathbf {y}}\). The construction of \({\mathbf {y}}\) also implies that a subchain of the chain of inequalities considered in the previous proof even holds with equality,

$$\begin{aligned}&\left( y_{\lceil \log _2(p)\rceil -1,1} \, y_{\lceil \log _2(p)\rceil -1,2}\right) ^{1/2} \\&\quad = \left( y_{\lceil \log _2(p)\rceil -2,1} \, y_{\lceil \log _2(p)\rceil -2,2} \right) ^{1/4} \left( y_{\lceil \log _2(p)\rceil -2,3} \, y_{\lceil \log _2(p)\rceil -2,4}\right) ^{1/4} \\&\quad = \left( y_{\lceil \log _2(p)\rceil -2,1} \, y_{\lceil \log _2(p)\rceil -2,2} \, y_{\lceil \log _2(p)\rceil -2,3} \, y_{\lceil \log _2(p)\rceil -2,4}\right) ^{\frac{1}{2^{\lceil \log _2(p)\rceil -(\lceil \log _2(p)\rceil -2)}}}\\&\quad = \cdots = \left( \left( \prod \nolimits _{\alpha \in A} v_\alpha ^{p_\alpha }\right) \cdot \left( v_\beta \right) ^{2^{\lceil \log _2(p)\rceil }-p} \right) ^{\frac{1}{2^{\lceil \log _2(p)\rceil }}}. \end{aligned}$$

By the assumption \(v_\beta ^p \le \prod _{\alpha \in A} v_\alpha ^{p_\alpha }\), we obtain \(v_\beta ^2 \le {y_{\lceil \log _2(p)\rceil -1,1}y_{\lceil \log _2(p)\rceil -1,2}}\), which shows inequality (3.8). The remaining inequalities (3.9), (3.10) are satisfied with equality by construction. \(\square \)

Finally, we can conclude the proof of Theorem 3.3.

Proof of Theorem 3.3

Let p be defined as in Definition 3.1 and \(\lambda \in {\mathbb {R}}^A\) denote the barycentric coordinates representing \(\beta \) as a convex combination of A, i.e., \(\lambda _\alpha =\frac{p_\alpha }{p}\) with \(p_\alpha \in {\mathbb {N}}\) for all \(\alpha \in A\). By (2.3) and Proposition 2.4, we have

$$\begin{aligned} (P^{\mathrm {even}}_{A,\beta })^*&=\left\{ {\mathbf {v}}\in {\mathbb {R}}^{A,\beta } \, : \, {\mathbf {v}}_{|A\cup \{\beta \}} \ge 0, \;\ln (v_\beta )\le \sum \nolimits _{\alpha \in A} \lambda _\alpha \ln (v_\alpha )\right\} \\&= \left\{ {\mathbf {v}}\in {\mathbb {R}}^{A,\beta } \, : \, {\mathbf {v}}_{|A\cup \{\beta \}}\ge 0, \; v_\beta ^p \le \prod \nolimits _{\alpha \in A} v_\alpha ^{p_\alpha }\right\} . \end{aligned}$$

Applying Lemmas 3.7 and 3.8, we obtain that \(C^*_{A,\beta }(x,v_\beta )\succcurlyeq 0\) if and only if \({\mathbf {v}}\in P_{A,\beta }^*\). \(\square \)

Our derivation of the second-order representation of the dual cone \((P^{\mathrm {even}}_{A,\beta })^*\) also suggests a simple way to derive a second-order cone representation of the primal cone \(P^{\mathrm {even}}_{A,\beta }\). For the dual cone, Proposition 2.4 gives—besides non-negativity-constraints on \(v_\alpha \) for \(\alpha \in {\mathcal {A}}\) and on \(v_{\beta }\)—the condition \( \ln (v_\beta ) \le \sum \nolimits _{\alpha \in A} \lambda _\alpha \ln (v_\alpha ) \) for every circuit \((A,\beta )\in I({\mathcal {A}})\). Those conditions can—as done in the previous proof – be stated as

$$\begin{aligned} v_\beta ^p \le \prod _{\alpha \in A} v_\alpha ^{p_\alpha }, \text { where } \lambda _\alpha =\frac{p_\alpha }{p}. \end{aligned}$$

The conditions for the primal cone can be reformulated similarly. Namely, by (2.6), an even circuit function f with coefficient vector \({\mathbf {c}}\) is non-negative if and only if \( -c_{\beta } \le \prod _{\alpha \in A} \left( c_{\alpha } / \lambda _{\alpha } \right) ^{\lambda _{\alpha }}, \) which we write as

$$\begin{aligned} (-c_\beta )^p \le \prod _{\alpha \in A} \left( \frac{c_\alpha }{\lambda _\alpha }\right) ^{p_\alpha }. \end{aligned}$$

This motivates to carry over the definition of the dual circuit matrix to the primal case as follows. Since \(c_\beta \) may be negative (in contrast to the dual case), we introduce the primal circuit variables, or simply circuit variables,

$$\begin{aligned} (x_\beta , (x_{k,i})_{k,i}), \end{aligned}$$

where \(k\in [\lceil \log _2(p)\rceil ]\) and \(i\in [2^{\lceil \log _2(p)\rceil -k}]\). As in the dual case, we refer to these \(1+\sum _{k=1}^{\lceil \log _2(p)\rceil }2^{\lceil \log _2(p)\rceil -k}=2^{\lceil \log _2(p)\rceil }\) variables as \({\mathbf {x}}^{A,\beta }\) or shortly as \({\mathbf {x}}\).

Definition 3.9

(Circuit matrix) The circuit matrix \(C_{A,\beta }({\mathbf {c}}_{|A\cup \{\beta \}},x_\beta ,{\mathbf {x}})\) is the block diagonal matrix consisting of the blocks

$$\begin{aligned}&\left( \begin{array}{cc} x_{k-1,2i-1} &{} x_{k,i} \\ x_{k,i} &{} x_{k-1,2i} \end{array}\right) \quad \text { for } k\in \left\{ 2,\ldots , \lceil \log _2(p)\rceil \right\} , \ i\in \left[ 2^{\lceil \log _2(p)\rceil -k}\right] , \end{aligned}$$

the two singleton blocks

$$\begin{aligned} \left( \begin{array}{c} x_{\lceil \log _2(p)\rceil ,1} - \left( \prod \nolimits _{\alpha \in A} (\lambda _\alpha )^{\lambda _\alpha }\right) x_\beta \end{array}\right) , \quad \left( \begin{array}{c} x_\beta +c_\beta \end{array}\right) , \end{aligned}$$
(3.11)

as well as \(2^{\lceil \log _2(p)\rceil -1}\) blocks of the form

$$\begin{aligned} \left( \begin{array}{cc} u &{} x_{1,l} \\ x_{1,l} &{} w \end{array}\right) \quad \text { for } l\in [2^{\lceil \log _2(p)\rceil -1} ], \end{aligned}$$
(3.12)

where \(u,w \in \{c_\alpha \, : \, \alpha \in A\}\cup \{\left( \prod \nolimits _{\alpha \in A} (\lambda _\alpha )^{\lambda _\alpha }\right) x_\beta \}\), such that \(c_{\alpha }\) appears \(p_{\alpha }\) times for every \(\alpha \in A\) and \(\left( \prod \nolimits _{\alpha \in A} (\lambda _\alpha )^{\lambda _\alpha }\right) x_\beta \) appears \(2^{\lceil \log _2(p)\rceil }-p\) times.

Note that for a circuit \((A,\beta )\), the product \(\left( \prod \nolimits _{\alpha \in A} (\lambda _\alpha )^{\lambda _\alpha }\right) \) is always non-zero, because \(\beta \in {{\,\mathrm{relint}\,}}{{\,\mathrm{conv}\,}}A\) and A consists of affinely independent vectors.

In contrast to the dual cone, there is no sign constraint on \(c_\beta \) in the primal cone. If p is not a power of 2, then \(x_\beta \) appears on the main diagonal of (3.12). In our coupling of \(x_\beta \) with \(c_{\beta }\), the constraint \(x_\beta +c_\beta \ge 0\) results in \(-c_\beta \le x_\beta \) and thus reflects these sign considerations.

Note that the primal cone consists of circuit functions, whereas in our definition of the dual cone, the elements are coefficient vectors. Therefore, the projection regarded in Theorem 3.3 only delivers the coefficients of the circuit functions rather than the cone itself.

Theorem 3.10

The set of coefficients of the cone \(P^{\mathrm {even}}_{A,\beta }\) of non-negative even circuit polynomials supported on the circuit \((A,\beta )\) coincides with the projection of the spectrahedron

$$\begin{aligned}&\widehat{P^{\mathrm {even}}_{A,\beta }} := \left\{ ({\mathbf {c}}, {\mathbf {x}}) \in {\mathbb {R}}^{{\mathcal {A}}}\times {\mathbb {R}}^{2^{\lceil \log _2(p)\rceil }} \, : \, C_{A,\beta }({\mathbf {c}}_{|A\cup \{\beta \}},x_\beta , {\mathbf {x}}) \succcurlyeq 0 , \ c_{|{\mathcal {A}}{\setminus } \left( A\cup \{\beta \}\right) }=0\right\} \end{aligned}$$
(3.13)

on \(({\mathbf {c}}_{|A},c_\beta )\). The cone \(P^{\mathrm {even}}_{A,\beta }\) is second-order representable.

The last equality constraint in (3.13) is redundant and can be omitted. We include it here, because this formulation is needed in Sect. 4 for the description of the \({\mathcal {S}}\)-cone supported on the full set \({\mathcal {A}}\).

Proof

First, let \(({\mathbf {c}},{\mathbf {x}})\in \widehat{P^{\mathrm {even}}_{A,\beta }}\). The positive semidefiniteness of the \(2\times 2\)-blocks in \(C_{A,\beta }({\mathbf {c}}_{|A\cup \{\beta \}}, \) \(x_\beta , {\mathbf {x}})\) imply the inequalities

$$\begin{aligned} {\mathbf {c}}_{|A} \ge 0 \text { and } (-x_\beta )^p \cdot \left( \prod \nolimits _{\alpha \in A} {\lambda _\alpha }^{\lambda _\alpha }\right) \le \prod \nolimits _{\alpha \in A} c_\alpha ^{p_\alpha }. \end{aligned}$$

The two \(1\times 1\)-blocks from (3.11) give the inequalities \( x_{\lceil \log _2(p)\rceil ,1} \ge \left( \prod \nolimits _{\alpha \in A} \lambda _\alpha ^{\lambda _\alpha }\right) x_\beta \text { and } x_\beta \ge -c_\beta . \) They imply \( -c_\beta \left( \prod \nolimits _{\alpha \in A} \lambda _\alpha ^{\lambda _\alpha }\right) \le x_\beta \left( \prod \nolimits _{\alpha \in A} \lambda _\alpha ^{\lambda _\alpha }\right) \le x_{\lceil \log _2(p)\rceil ,1}. \) Hence, similar to Lemma 3.7,

$$\begin{aligned}&x_\beta \left( \prod \nolimits _{\alpha \in A} \lambda _\alpha ^{\lambda _\alpha }\right) \le x_{\lceil \log _2(p)\rceil ,1}\ \le \ \left( x_{\lceil \log _2(p)\rceil -1,1} \, x_{\lceil \log _2(p)\rceil -1,2}\right) ^{1/2} \\&\quad \le \left( x_{\lceil \log _2(p)\rceil -2,1} \, x_{\lceil \log _2(p)\rceil -2,2} \right) ^{1/4} \left( x_{\lceil \log _2(p)\rceil -2,3} \, x_{\lceil \log _2(p)\rceil -2,4}\right) ^{1/4} \\&\quad = \left( x_{\lceil \log _2(p)\rceil -2,1} \, x_{\lceil \log _2(p)\rceil -2,2} \, x_{\lceil \log _2(p)\rceil -2,3} \, x_{\lceil \log _2(p)\rceil -2,4}\right) ^{\frac{1}{2^{\lceil \log _2(p)\rceil -(\lceil \log _2(p)\rceil -2)}}}\\&\quad \le \cdots \le \left( \left( \prod \nolimits _{\alpha \in A} c_\alpha ^{p_\alpha }\right) \cdot \left( x_\beta \right) ^{2^{\lceil \log _2(p)\rceil }-p}\left( \prod \nolimits _{\alpha \in A} \lambda _\alpha ^{\lambda _\alpha }\right) ^{2^{\lceil \log _2(p)\rceil }-p} \right) ^{\frac{1}{2^{\lceil \log _2(p)\rceil }}}. \end{aligned}$$

This is equivalent to

$$\begin{aligned} \left( x_\beta \right) ^{2^{\lceil \log _2(p)\rceil }}&\cdot \left( \prod \nolimits _{\alpha \in A} \lambda _\alpha ^{\lambda _\alpha }\right) ^{2^{\lceil \log _2(p)\rceil }} \cdot \left( x_\beta \right) ^{p-2^{\lceil \log _2(p)\rceil }}\\&\cdot \left( \prod \nolimits _{\alpha \in A} \lambda _\alpha ^{\lambda _\alpha }\right) ^{p-2^{\lceil \log _2(p)\rceil }} \le \prod \nolimits _{\alpha \in A} c_\alpha ^{p_\alpha }, \end{aligned}$$

which, together with the considerations before the chain of inequalities, yields \( (-c_\beta )^p \le \prod _{\alpha \in A} (c_\alpha /\lambda _{\alpha })^{p_\alpha } \) and further \({\mathbf {c}}_{|A \cup \{\beta \}} \in P^{\mathrm {even}}_{A,\beta }\).

For the converse inclusion, we remind the reader that \(\lambda _\alpha >0\) for all \(\alpha \in A\). We set \(x_\beta := x_{\lceil \log _2(p)\rceil ,1}\left( \prod \nolimits _{\alpha \in A} \left( \frac{1}{\lambda _\alpha }\right) ^{\lambda _\alpha }\right) \) and, similar to the proof of Lemma 3.8, define \({\mathbf {x}}\) inductively by

$$\begin{aligned}&x_{1,l}=\sqrt{uw} \text { for those } u,w \text { which occur in the block with }x_{1,l}, \\&x_{k,i}=\sqrt{x_{k-1,2i-1}x_{k-1,2i}} \text { for all }k\in \{2,\ldots ,\lceil \log _2(p)\rceil \}, i\in \left[ 2^{\lceil \log _2(p)\rceil -k}\right] . \end{aligned}$$

Analogous to that proof, the construction of \({\mathbf {x}}\) gives \(C_{A,\beta }({\mathbf {c}}_{A \cup \{\beta \}},x_{\beta },{\mathbf {x}}) \succeq 0\).

Second-order representability is then an immediate consequence in view of Lemma 2.5. \(\square \)

Example 3.11

Let \({\mathcal {A}}=\{0,2\}\), \({\mathcal {B}}=\{1\}\) and consider the circuit \((A,\beta )\) with \(A={\mathcal {A}}\) and \(\beta =1\). Since

$$\begin{aligned} 1=\frac{1}{2}\cdot 0+ \frac{1}{2}\cdot 2, \end{aligned}$$

we have \(p_1=p_2=1\) and \(p=2\). Hence, \(\lceil \log _2(p) \rceil = \log _2(p)= 1\), \(2^{\lceil \log _2(p) \rceil }-p=2-p=0\) as well as

$$\begin{aligned} \prod \limits _{\alpha \in A} \lambda _\alpha ^{\lambda _\alpha } =\frac{1}{2} \; \text { and } \; {\mathbf {x}}=\left( \begin{array}{c} x_1 \\ x_{1,1} \end{array}\right) . \end{aligned}$$

A given vector \((c_0,c_1,c_2)\) is contained in \(P_{{\mathcal {A}},\beta }\) if and only if

$$\begin{aligned} x_{1,1} - \frac{1}{2}x_1 \ge 0, \; x_{1}+c_1 \ge 0 \; \text { and } \; \left( \begin{array}{cc} c_0 &{} x_{1,1} \\ x_{1,1} &{} c_2 \end{array}\right) \succeq 0. \end{aligned}$$

Similar to Lemma 3.5, we can determine the number of blocks.

Corollary 3.12

The matrix \(C_{A,\beta }({\mathbf {c}}_{|A\cup \{\beta \}},x_\beta ,{\mathbf {x}})\) consists of \({2^{\lceil \log _2(p)\rceil }}-1\) blocks of size \(2\times 2\) and two blocks of size \(1\times 1\).

4 A second-order representation of the \({\mathcal {S}}\)-cone and its dual

In Sect. 3, we obtained second-order representations of the subcones of non-negative even circuit functions and their duals, under the condition that the barycentric coordinates are rational. We now assume that \({\mathcal {A}}\) and \({\mathcal {B}}\) are rational and derive an explicit second-order representation of the rational \({\mathcal {S}}\)-cone \(C_{\mathcal {S}}({\mathcal {A}},{\mathcal {B}})\) and its dual. In the primal case, those cones are obtained via projection and Minkowski sum, and in the dual case, they arise from projection and intersection. First we consider the lifted cones for the dual case.

Taking all circuits \((A,\beta )\) into account would induce a highly redundant representation. To avoid those redundancies, we make use of the following characterization from Katthän et al. (2019) of the extreme rays of the \({\mathcal {S}}\)-cone.

For finite and disjoint sets \(\emptyset \ne {\mathcal {A}}, {\mathcal {B}}\subseteq {\mathbb {R}}^n\), the set of reduced circuits contained in \({\mathcal {A}}\cup {\mathcal {B}}\) is the set

$$\begin{aligned} R({\mathcal {A}},{\mathcal {B}})= & {} \big \{ (A,\beta ) \, : \, A \subseteq {\mathcal {A}}\text { affinely independent}, \; \; \beta \in {{\,\mathrm{relint}\,}}({{\,\mathrm{conv}\,}}A) \cap ({\mathcal {B}}{\setminus } A), \\&\; {\mathcal {A}}\cap ({{\,\mathrm{conv}\,}}(A)){\setminus }(A\cup \{\beta \})=\emptyset \big \}. \end{aligned}$$

Less formally, this is the set of all circuits with outer exponents in \({\mathcal {A}}\) and inner exponents in \({\mathcal {B}}\) without additional support points contained in the convex hull of the circuit.

Note that for \({\mathcal {A}}\subseteq {\mathbb {R}}^n\) and \({\mathcal {B}}\subseteq {\mathbb {N}}^n{\setminus }(2{\mathbb {N}})^n\) disjoint and finite, the set \(R({\mathcal {A}},{\mathcal {A}})\) is exactly the set of even reduced circuits and the set \(R({\mathcal {A}},{\mathcal {B}})\) the set of odd reduced circuits. The set \(R({\mathcal {A}},{\mathcal {A}}\cup {\mathcal {B}})\) denotes the set of all reduced circuits \((A,\beta )\) with \(A\subseteq {\mathcal {A}}\) and \( \beta \in {\mathcal {A}}\cup {\mathcal {B}}\). A circuit function supported on a reduced circuit in \(R({\mathcal {A}},{\mathcal {A}}\cup {\mathcal {B}})\) has non-negative coefficients corresponding to exponents in \({\mathcal {A}}\) and a possibly negative coefficient corresponding to a single exponent in \({\mathcal {A}}\cup {\mathcal {B}}\).

The question whether a circuit is reduced or not depends on the ground set \({\mathcal {A}}\). For example, the circuit \((A,\beta )\) with \(A=\left\{ \left( \begin{array}{c} 0 \\ 0 \end{array}\right) ,\left( \begin{array}{c} 4 \\ 0 \end{array}\right) , \left( \begin{array}{c} 0 \\ 2 \end{array}\right) \right\} \) and \(\beta =\left( \begin{array}{c} 1 \\ 1 \end{array}\right) \) is reduced for the ground set \({\mathcal {A}}=A\cup \{\beta \}\cup \left\{ {\left( \begin{array}{c} 4 \\ 2 \end{array}\right) } \right\} \) (compare Fig. 3), but not reduced for \({\mathcal {A}}=A\cup \{\beta \}\cup \left\{ {\left( \begin{array}{c} {2} \\ {0} \end{array}\right) } \right\} \) (compare Fig. 4).

Fig. 3
figure 3

The circuit is reduced, as \((4,2)^T\notin {{\,\mathrm{conv}\,}}(A)\)

Fig. 4
figure 4

The circuit is not reduced, as \((2,0)^T\in {{\,\mathrm{conv}\,}}(A)\)

The following proposition is a direct consequence of Theorem 3.5(d) in Katthän et al. (2019).

Proposition 4.1

Let \(\emptyset \ne {\mathcal {A}}\subseteq {\mathbb {R}}^n\) and \({\mathcal {B}}\subseteq {\mathbb {N}}^n{\setminus }(2{\mathbb {N}})^n\) be finite and disjoint sets. Then

$$\begin{aligned} C_{\mathcal {S}}({\mathcal {A}},{\mathcal {B}})=\sum \limits _{(A,\beta )\in R({\mathcal {A}},{\mathcal {A}})} P^{\mathrm {even}}_{A,\beta } + \sum \limits _{(A,\beta )\in R({\mathcal {A}},{\mathcal {B}})} P^{\mathrm {odd}}_{A,\beta }. \end{aligned}$$

Using this decomposition theorem, we can exclude many circuits from our consideration. Thus, the second-order program will be much smaller than the one considering all circuits.

In Sect. 3, we only considered even circuits. To use Lemma 2.1 and obtain the conditions for odd circuits as well, we extend the dual circuit variables for odd circuits to

$$\begin{aligned} (y_\beta ,(y_{k,i})_{k,i}) \end{aligned}$$

for \(k\in [2^{\lceil \log _2(p)\rceil } -1]\) and \(i\in [2^{\log _2(p)-k}]\). We call them \({\mathbf {y}}^{A,\beta }\) nevertheless for a fixed circuit \((A,\beta )\in R({\mathcal {A}},{\mathcal {B}})\).

For the dual case, we consider the coordinates

$$\begin{aligned} {\mathbf {y}}^{{\mathcal {A}},{\mathcal {B}}} = \left\{ ({\mathbf {y}}^{A,\beta }) \, : \, (A,\beta )\in R({\mathcal {A}},{\mathcal {A}}\cup {\mathcal {B}}) \right\} , \end{aligned}$$

which consist of \(\sum _{(A,\beta )\in R({\mathcal {A}},{\mathcal {A}}\cup {\mathcal {B}})} 2^{\lceil \log _2(p_{A,\beta })\rceil }-1\) components, where \(p_{A,\beta }\) denotes the smallest common denominator of the barycentric coordinates \(\lambda _{A,\beta }\) of the circuit \((A,\beta )\) representing \(\beta \) as a convex combination of A.

For the primal case, we consider

$$\begin{aligned} {\mathbf {x}}^{{\mathcal {A}},{\mathcal {B}}} = \left\{ ({\mathbf {x}}^{A,\beta }) \, : \, (A,\beta )\in R({\mathcal {A}},{\mathcal {A}}\cup {\mathcal {B}}) \right\} , \end{aligned}$$

which consist of \(\sum _{(A,\beta )\in R({\mathcal {A}},{\mathcal {A}}\cup {\mathcal {B}})} 2^{\lceil \log _2(p_{A,\beta })\rceil }\) components.

Using Lemma 2.1, we can use our earlier characterizations of \(P^{\mathrm {even}}_{A,\beta }\) to obtain the following second-order characterization for \(P^{\mathrm {odd}}_{A,\beta }\).

Corollary 4.2

Let \((A,\beta )\in R({\mathcal {A}},{\mathcal {B}})\) an odd reduced circuit with rational \(A\subseteq {\mathcal {A}}\subseteq {\mathbb {Q}}^n\) and \(\beta \in {\mathcal {B}}\).

  1. 1.

    Let f be an odd AG function supported on \((A,\beta )\) with coefficient vector \({\mathbf {c}}\). f is non-negative if and only if there exists \({\mathbf {x}}\in {\mathbb {R}}^{2^{\lceil \log _2(p) \rceil }}\) such that \(C_{A,\beta }({\mathbf {c}}_{|A},x_\beta , {\mathbf {x}}) \succcurlyeq 0\) and

    $$\begin{aligned} \left( \begin{array}{cc} x_\beta &{} c_\beta \\ c_\beta &{} x_\beta \end{array}\right) \succcurlyeq 0. \end{aligned}$$
    (4.1)
  2. 2.

    A vector \({\mathbf {v}}\in {\mathbb {R}}^{A,\beta }\) is contained in \(\left( P^{\mathrm {odd}}_{A,\beta }\right) ^*\) if and only if there exist \({\mathbf {y}}\in {\mathbb {R}}^{2^{\lceil \log _2(p) \rceil }-2}\) and \(y_\beta \in {\mathbb {R}}\) such that \(C_{A,\beta }^*({\mathbf {v}}_{|A},y_\beta , {\mathbf {y}}) \succcurlyeq 0\) and

    $$\begin{aligned} \left( \begin{array}{cc} y_\beta &{} v_\beta \\ v_\beta &{} y_\beta \end{array}\right) \succcurlyeq 0. \end{aligned}$$
    (4.2)

Note that, as a consequence of the application of Lemma 2.1, the second argument of \(C_{A,\beta }^*({\mathbf {v}}_{|A},y_\beta , {\mathbf {y}})\) is \(y_\beta \) now instead of \(v_\beta \) that we had in Theorem 3.3.

Proof

  1. 1.

    The semidefinite condition on the matrix (4.1) is equivalent to \( x_\beta \ge 0 \text { and } |c_\beta | \le x_\beta . \) Hence, altogether we obtain

    $$\begin{aligned} f\in P^{\mathrm {odd}}_{A,\beta } \ \text { if and only if } \ |c_\beta | \le \prod \limits _{\alpha \in A}\left( \frac{c_\alpha }{\lambda }\right) ^{\lambda _\alpha } \end{aligned}$$

    for barycentric coordinates \(\lambda \in {\mathbb {R}}_+^A\) decomposing \(\beta \) as a convex combination of A. This is exactly Proposition 2.2(b).

  2. 2.

    If \({\mathbf {v}}\in (P^{\mathrm {odd}}_{A,\beta })^*\), then, in the notation of Theorem 2.9, there exists some u such that \(({\mathbf {v}},u) \in (P^{\mathrm {even}}_{A,\beta })^*\) and \(u\ge |v_\beta |\). In particular, \(u\ge 0\) is necessary for containment in \(\left( P^{\mathrm {even}}_{A,\beta }\right) ^*\). The semidefinite constraints (4.2) are equivalent to \(y_\beta \ge 0\) and the latter inequality \(u\ge |v_\beta |\), and the constraint \(C_{A,\beta }^*({\mathbf {v}}_{|A},y_\beta , {\mathbf {y}}) \succcurlyeq 0\) is equivalent to \(({\mathbf {v}},y_\beta )\in \left( P^{\mathrm {even}}_{A,\beta }\right) ^*\) by Theorem 3.3.

\(\square \)

For every odd reduced circuit \((A,\beta )\in R({\mathcal {A}},{\mathcal {B}})\), define the block diagonal matrix \(\widehat{C}_{A,\beta }^*({\mathbf {v}}_{|A\cup \{\beta \}},y_\beta ,{\mathbf {y}})\) consisting of the dual circuit matrix \(C_{A,\beta }^*({\mathbf {v}}_{|A\cup \{\beta \}},y_\beta ,{\mathbf {y}})\) and (4.1) for the dual cone. Considering all the reduced circuits, these lifting matrices define the lifted cone

$$\begin{aligned} {\widehat{C}}^*({\mathcal {A}},{\mathcal {B}})&= \big \{ ({\mathbf {v}}, {\mathbf {y}}^{{\mathcal {A}},{\mathcal {B}}}) \ : \ {{\widehat{C}}}_{A,\beta }^*({\mathbf {v}}_{|A\cup \{\beta \}},y_\beta , {\mathbf {y}}) \succcurlyeq 0 \text { for all } (A,\beta )\in R({\mathcal {A}},{\mathcal {B}}),\\&\quad C_{A,\beta }^*({\mathbf {v}}_{|A},v_\beta , {\mathbf {y}}) \succcurlyeq 0 \text { for all } (A,\beta )\in R({\mathcal {A}},{\mathcal {A}}) \big \}, \end{aligned}$$

where the variable vector \({\mathbf {v}}\) lives in the space \({\mathbb {R}}^{{\mathcal {A}},{\mathcal {B}}}\).

For a fixed odd reduced circuit \(({A},{\beta })\in R({\mathcal {A}},{\mathcal {B}})\), let

$$\begin{aligned} \widehat{P^{\mathrm {odd}}_{A,\beta }}= \left\{ ({\mathbf {c}},{\mathbf {x}}^{{\mathcal {A}},{\mathcal {B}}}) \, : \, \widehat{C}_{{A},{\beta }}({\mathbf {c}}_{|{A}\cup \{\beta \}},x_{{\beta }},{\mathbf {x}}^{{A},{\beta }}) \succcurlyeq 0 , c_{|{\mathcal {A}}\cup {\mathcal {B}}\setminus (A\cup \{\beta \})}=0\right\} , \end{aligned}$$

where \({\widehat{C}}_{{A},{\beta }}({\mathbf {c}}_{|{A}\cup \{\beta \}},x_{{\beta }},{\mathbf {x}}^{{A},{\beta }})\) is defined analogous to the dual case. We define the lifted cone

$$\begin{aligned} {\widehat{C}}({\mathcal {A}},{\mathcal {B}})=\sum \limits _{({A},{\beta })\in R({\mathcal {A}},{\mathcal {A}})} \widehat{P^{\mathrm {even}}_{{A},{\beta }}} + \sum \limits _{({A},{\beta })\in R({\mathcal {A}},{\mathcal {B}})} \widehat{P^{\mathrm {odd}}_{{A},{\beta }}}. \end{aligned}$$

Here, for every \((A,\beta )\in R({\mathcal {A}},{\mathcal {A}})\), \(\widehat{P^{\mathrm {even}}_{{A},{\beta }}} \) is the set from Theorem 3.10.

Corollary 4.3

  1. 1.

    The dual of the rational \({\mathcal {S}}\)-cone \(C_{\mathcal {S}}^*({\mathcal {A}},{\mathcal {B}})\) is the projection on the coordinates \({\mathbf {v}}\in {\mathbb {R}}^{{\mathcal {A}},{\mathcal {B}}}\) of \({\widehat{C}}^*({\mathcal {A}},{\mathcal {B}})\).

  2. 2.

    The primal rational \({\mathcal {S}}\)-cone \(C_{\mathcal {S}}({\mathcal {A}},{\mathcal {B}})\) is the projection on the coordinates \({\mathbf {v}}\in {\mathbb {R}}^{{\mathcal {A}},{\mathcal {B}}}\) of \({\widehat{C}}({\mathcal {A}},{\mathcal {B}})\).

Applying this lifting to the second-order representations of Theorems 3.10 and 3.3 in standard form also gives second-order representations of \(C_{{\mathcal {S}}}({\mathcal {A}},{\mathcal {B}})\) and \(C^*_{{\mathcal {S}}}({\mathcal {A}},{\mathcal {B}})\) in standard form.

Corollary 4.4

(Second-order representation of the dual rational \({\mathcal {S}}\)-cone) A vector \({\mathbf {v}}\in {\mathbb {R}}^{({\mathcal {A}},{\mathcal {B}})}\) is contained in the rational \({\mathcal {S}}\)-cone \((C_{{\mathcal {S}}}({\mathcal {A}},{\mathcal {B}}))^*\) if and only if the circuit vector \({\mathbf {y}}^{{\mathcal {A}},{\mathcal {B}}}\) satisfies for every reduced odd circuit \((A,\beta )\in R({\mathcal {A}}, {\mathcal {B}})\)

  1. 1.

    \( \left( \begin{array}{cc} y^{A,\beta }_{k-1,2i-1} &{} y^{A,\beta }_{k,i} \\ y^{A,\beta }_{k,i} &{} y^{A,\beta }_{k-1,2i} \end{array}\right) \succeq 0, \quad 2 \le k \le \lceil \log _2(p_{A,\beta })\rceil -1 \; \forall i\in [2^{\lceil \log _2(p_{A,\beta })\rceil -k}],\)

  2. 2.
  3. 3.

    for \(l\in [2^{\lceil \log _2(p_{A,\beta })\rceil -1} ]\) and \(u,w\in \{v_\alpha : \alpha \in A\}\cup \{y^{A,\beta }_\beta \}\), such that \(v_{\alpha }\) appears \((p_{A,\beta })_{\alpha }\) times for each \(\alpha \in A\) and \(y^{A,\beta }_\beta \) appears \(2^{\lceil \log _2(p_{A,\beta })\rceil }-(p_{A,\beta })_{\alpha }\) times,

  4. 4.

    \( \left| \left| v_\beta \right| \right| _2 \le y^{A,\beta }_\beta , \)

and for every reduced even circuit \((A,\beta )\in R({\mathcal {A}}, {\mathcal {A}})\) the conditions of Theorem 3.3.

We need to write \({\mathbf {y}}^{A,\beta }\) instead of just writing \({\mathbf {y}}\) in the previous corollary, since different \({\mathbf {y}}^{A,\beta }\) for every reduced circuit \((A,\beta )\) may appear.

For the primal case, we have to consider every reduced circuit as well. Here, sums take the role of the intersections from the dual case.

Corollary 4.5

(A second-order representation of the rational \({\mathcal {S}}\)-cone) A function \(f \in {\mathbb {R}}[{\mathcal {A}},{\mathcal {B}}]\) with coefficient vector \({\mathbf {c}}\) is contained in the rational \({\mathcal {S}}\)-cone \(C_{{\mathcal {S}}}({\mathcal {A}}, {\mathcal {B}})\) if and only if there exists \({\mathbf {c}}^{A,\beta }\) for \((A,\beta )\in R({\mathcal {A}},{\mathcal {A}}\cup {\mathcal {B}})\) with \({\mathbf {c}}=\sum \nolimits _{(A,\beta )\in R({\mathcal {A}},{\mathcal {A}}\cup {\mathcal {B}})}{\mathbf {c}}^{A,\beta }\) and for the circuit vector \({\mathbf {x}}^{{\mathcal {A}},{\mathcal {B}}}\) and for every \((A,\beta )\in R({\mathcal {A}},{\mathcal {A}}\cup {\mathcal {B}})\) the following inequalities hold.

  1. 1.

    \( \left( \begin{array}{cc} x^{A,\beta }_{k-1,2i-1} &{} x^{A,\beta }_{k,i} \\ x^{A,\beta }_{k,i} &{} x^{A,\beta }_{k-1,2i} \end{array}\right) \succcurlyeq 0 , \; 2 \le k \le \lceil \log _2(p_{A,\beta })\rceil , \; i \in [2^{\lceil \log _2(p_{A,\beta })\rceil -k}],\)

  2. 2.

    \(x^{A,\beta }_{\lceil \log _2(p_{A,\beta })\rceil ,1} -\left( \prod \nolimits _{\alpha \in A} \lambda _\alpha ^{(p{A,\beta })_\alpha }\right) x^{A,\beta }_\beta \ge 0,\)

  3. 3.

    \(x^{A,\beta }_\beta +c_\beta \ge 0\),

  4. 4.

    \( \left| \left| c_\beta \right| \right| _2 \le x^{A,\beta }_\beta \) if \((A,\beta )\) is an odd circuit,

  5. 5.

    as well as in both the even and the odd case,

    $$\begin{aligned} \left( \begin{array}{cc} u &{} x^{A,\beta }_{1,l} \\ x^{A,\beta }_{1,l} &{} w \end{array}\right) \succcurlyeq 0 \quad \text { for } l\in [2^{\lceil \log _2(\lambda _{A,\beta })\rceil -1} ] \end{aligned}$$

    for \(u,w \in \{c_\alpha \, : \, \alpha \in A\}\cup \big \{\big (\prod \nolimits _{\alpha \in A} \lambda _\alpha ^{(\lambda _{A,\beta })_\alpha }\big )x^{A,\beta }_\beta \big \}\), such that \(c_{\alpha }\) appears \((p_{A,\beta })_{\alpha }\) times for every \(\alpha \in A\) and \(\big (\prod \nolimits _{\alpha \in A} \lambda _\alpha ^{(\lambda _{A,\beta })_\alpha }\big )x^{A,\beta }_\beta \) appears \(2^{\lceil \log _2(p_{A,\beta })\rceil }-p_{A,\beta }\) times.

As already mentioned in Sect. 2, the SONC cone \(C_{\mathrm {SONC}}({\mathcal {A}})\) and its dual are always rational \({\mathcal {S}}\)-cones and thus occur as a special case of Corollaries 4.5 and 4.4.

Remark 4.6

The specific case of the primal SONC cone has also been studied in detail by Wang and Magron (2019). Their approach is based on different methods. In particular, it relies on mediated sets and intermediately uses sums of squares representations. However, the resulting second-order programs are structurally similar. Notably, the dependence of the size of the second-order program on the parameter p in our derivation relates to the dependency on the size of the rational mediated set in Wang and Magron (2019). Note also that various amendments are integrated into the approaches (such as the handling of denominators in Wang and Magron (2019) and the use of extreme rays in our approach).

5 Conclusion and open question

We have provided second-order representations for primal and dual rational \({\mathcal {S}}\)-cones. These statements remain valid also for non-rational sets \({\mathcal {A}}\), as long as all the relevant barycentric coordinates are still rational. It is an open question whether an \({\mathcal {S}}\)-cone and its dual are also second-order representable in the general non-rational case.

Also, despite the use of the reduced circuits, the second-order representation of the \({\mathcal {S}}\)-cone is still rather large. It remains the question whether smaller second-order representations for the \({\mathcal {S}}\)-cone exist.