Abstract
We find a semialgebraic description of the Minkowski sum \(\mathcal {A}_{3,n}\) of n copies of the twisted cubic segment \(\{(t,t^2,t^3)\mid 1\le t\le 1\}\) for each integer \(n\ge 3\). These descriptions provide efficient membership tests for the sets \(\mathcal {A}_{3,n}\). These membership tests in turn can be used to resolve some instances of the underdetermined matrix moment problem, which was formulated by Michael Rubinstein and Peter Sarnak in order to study problems related to Lfunctions and their zeros.
Introduction
The zeros of Lfunctions are known to be able to describe various geometrical and arithmetical objects and are the subjects of several conjectures (cf. [1,2,3]). For example, the Generalized Riemann Hypothesis conjectures that all nontrivial zeros of an Lfunction have real part \(1/2\) and the Grand Simplicity Hypothesis asserts that the imaginary parts of zeros of Dirichlet Lfunctions are linearly independent over \(\mathbb {Q}\) (cf. [5]). Lfunctions can also be encountered in proofs of the Prime Number Theorem (cf. [6]) and in primality tests (cf. [4]).
Let \(\rho \) be an automorphic cusp form and let \(L(s,\rho )\) be its standard Lfunction. A conjecture, which has been verified in many cases, states that under certain conditions the function \(L(s,\rho )\) has an analytic continuation \(\Lambda (s,\rho )\) that satisfies the functional equation
where \(N_\rho \) is the conductor of \(\rho \) and \(W(\rho )\) is either 1 or \(1\). The sign \(W(\rho )\in \{\pm 1\}\) is called the root number of \(\rho \). The problems of computing root numbers and counting the zeros of Lfunctions are related to the following problem with \(\log N_\rho \approx n\).
Problem 1.1
(The underdetermined matrix moment problem) Determine the possible sets of eigenvalues of a real orthogonal \((2n+1)\times (2n+1)\) matrix A given its first \(k\le n\) moments \({{\,\mathrm{tr}\,}}(A),{{\,\mathrm{tr}\,}}(A^2),\ldots ,{{\,\mathrm{tr}\,}}(A^k)\).
This problem is the object of study in the paper [7] by Michael Rubinstein and Peter Sarnak. For the full background and relevance of the problem, we refer to this paper.
Let A be a real orthogonal \((2n+1)\times (2n+1)\) matrix. Then its eigenvalues are
for some \(\theta _1,\ldots ,\theta _n\in [0,\pi ]\). And conversely, any such sequence is the spectrum of a real orthogonal \((2n+1)\times (2n+1)\) matrix. We have
and \(\cos (j\theta _i)=T_j(\cos (\theta _i))\) for all integers \(j\ge 1\), where \(T_j\) is the jth Chebyshev polynomial of the first kind. The polynomial \(T_j(x)\) has degree j. So, given \(\det (A)\) and \({{\,\mathrm{tr}\,}}(A),{{\,\mathrm{tr}\,}}(A^2),\ldots ,{{\,\mathrm{tr}\,}}(A^k)\) for some integer \(k\le n\), we can compute \(\sum _{i=1}^n\cos (\theta _i)^j\) for each \(j\in \{1,\ldots ,k\}\) using Gaussian elimination on the coefficient vectors of \(T_1,\ldots ,T_k\). As \(\det (A)\in \{\pm 1\}\) only has finitely many possible values, we write \(t_i=\cos (\theta _i)\in [1,1]\) and see that Problem 1.1 reduces to the following problem.
Problem 1.2
(The moment curve problem) Determine the set
given the real numbers \(x_1,\ldots ,x_k\in \mathbb {R}\).
This problem was also formulated by Michael Rubinstein and Peter Sarnak. Note that given the first k power sums of \(t_1,\ldots ,t_n\), we can compute all symmetric polynomial expressions in \(t_1,\ldots ,t_n\) of degree at most k. So if \(k=n\), then we are able to compute the coefficients of the polynomial \((xt_1)\cdots (xt_n)\), which not only allows us to recover \(t_1,\ldots ,t_n\), but also shows that \(t_1,\ldots ,t_n\in \mathbb {C}\) are unique up to reordering. So we are interested in the case where \(k<n\). In this case, Michael Rubinstein and Peter Sarnak propose the following strategy: consider the set \(\mathcal {C}_k:=\{(t,t^2,\ldots ,t^k)\mid 1\le t\le 1\}\subseteq \mathbb {R}^k\) and define
to be the Minkowski sum of n copies of \(\mathcal {C}_k\) for each integer \(n\ge 1\). Then we can determine the set of tuples \((t_1,\ldots ,t_n)\in [1,1]^n\) such that
for all \(j\in \{1,\ldots ,k\}\) recursively by first computing the set of \(t_n\in [1,1]\) such that
In order to do the latter, we need an efficient membership test for the set \(\mathcal {A}_{k,n}\) for all \(n>k\). For \(k\in \{1,2\}\), this is easy. In general, one way to get an efficient membership test would be to describe the sets \(\mathcal {A}_{k,n}\) implicitly using only equalities and inequalities involving polynomial expressions in \(x_1,\ldots ,x_k\) and unions—in other words, using semialgebraic descriptions of the sets \(\mathcal {A}_{k,n}\). In this paper, we provide exactly such descriptions in the case that \(k=3\).
Main results
Let \(n\ge 3\) be a positive integer. Our first result describes the boundary of \(\mathcal {A}_{3,n}\). We need this result in order to prove the Main Theorem. However, it also provides us with a piecewise parametrization, which is useful for rendering a visualization of \(\mathcal {A}_{3,n}\). See Fig. 1 for an example.
Before we give the semialgebraic description of \(\mathcal {A}_{3,n}\), we first discuss the intuition behind it. As Fig. 1 for \(n=5\) and the interactive 3D models for \(n=3,\ldots ,20\) demonstrate, the set \(\mathcal {A}_{3,n}\) looks like an oyster with an upper and lower shell forming the boundary. We call these upper and lower shells \(\mathcal {B}_n^+\) and \(\mathcal {B}_n^\) respectively. These two shells have identical projections to the (x, y)plane, which we denote by \(\mathcal {B}^{\flat }_n\), and both projection maps are onetoone. This yields a first description of \(\mathcal {A}_{3,n}\): for a point \((x,y,z)\in \mathbb {R}^3\) to lie in \(\mathcal {A}_{3,n}\), it is necessary that (x, y) lies in \(\mathcal {B}^{\flat }_n\). When this is the case, the point lies in \(\mathcal {A}_{3,n}\) precisely when it lies below \(\mathcal {B}_n^+\) and above \(\mathcal {B}_n^\).
Each of the two shells consists of \(n1\) spiraling ridges. These are the sets \(\mathcal {C}_{k,nk1}^+\) and \(\mathcal {C}_{\ell ,n\ell 1}^\) defined below respectively. The projections of the ridges are easily visualized on \(\mathcal {B}^{\flat }_n\). See Fig. 2. We can now reformulate our first description of \(\mathcal {A}_{3,n}\) in the following way: let \((x,y,z)\in \mathbb {R}^3\) be a point such that (x, y) lies in \(\mathcal {B}^{\flat }_n\). Then (x, y) lies in the projections of \(\mathcal {C}_{k,nk1}^+\) and \(\mathcal {C}_{\ell ,n\ell 1}^\) for some \(k,\ell \). The point (x, y, z) lies in \(\mathcal {A}_{3,n}\) precisely when is lies below \(\mathcal {C}_{k,nk1}^+\) and above \(\mathcal {C}_{\ell ,n\ell 1}^\).
Next, we think of (x, y) as being fixed. This turns the conditions of lying below \(\mathcal {C}_{k,nk1}^+\) and above \(\mathcal {C}_{\ell ,n\ell 1}^\) into conditions on z. The former condition is equivalent to z being at most the biggest root of some parabola \(f=Az^2+Bz+C\) with \(A>0\) and can thus be expressed as f(z) being at most 0 or z is at most the value \(B/2A\) where f attains its minimum. See Fig. 3. Similarly, the latter condition is equivalent to z being at least the smallest root of a parabola \(f=Az^2+Bz+C\) with \(A>0\) and can be expressed as f(z) being at most 0 or z is at least the value \(B/2A\) where f attains its minimum. This is our description of \(\mathcal {A}_{3,n}\).
In order to state our results precisely, we define the following sets:

For all integers \(k,\ell \ge 1\) and \(a,b\ge 0\), we take
$$\begin{aligned} \mathcal {C}^{+}_{k,a}&=\left\{ k \left( \begin{array}{l} s\\ s^2\\ s^3 \end{array}\right) +\left( \begin{array}{l} t\\ t^2\\ t^3\end{array}\right) \,\Bigg 1\le s\le t\le 1\right\} +a\left( \begin{array}{l} 1\\ 1\\ 1\end{array}\right) ,\\ \mathcal {C}^{}_{\ell ,b}&=\left\{ \left( \begin{array}{l} s\\ s^2\\ s^3\end{array}\right) +\ell \left( \begin{array}{l} t\\ t^2\\ t^3\end{array}\right) \,\Bigg 1\le s\le t\le 1\right\} +b\left( \begin{array}{l} 1\\ 1\\ 1\end{array}\right).\end{aligned}$$ 
We take \(\mathcal {B}^{+}_{n}=\bigcup _{k=1}^{n1}\mathcal {C}^{+}_{k,nk1}.\) \(\mathcal {B}^{}_{n}=\bigcup _{\ell =1}^{n1}\mathcal {C}^{}_{\ell ,n\ell 1}.\)

We let \(\mathcal {B}^{\flat }_{n}\) be the set consisting of all points \((x,y)\in \mathbb {R}^2\) such that \(ny\ge x^2\) and \(y\le n1+(x+2i(n1))^2\) for each \(i\in \{0,\ldots ,n1\}\).
We also let \(\pi :\mathbb {R}^3\rightarrow \mathbb {R}^2\) be the projection map sending \((x,y,z)\mapsto (x,y)\).
Theorem 2.1
Let \((x,y)\in \mathcal {B}^{\flat }_{n}\) be a point and \(z\in \mathbb {R}\) be a real number.

(a)
The boundary of \(\mathcal {A}_{3,n}\) is the union of \(\mathcal {B}^{+}_{n}\) and \(\mathcal {B}^{}_{n}\).

(b)
We have \(\pi (\mathcal {B}^{+}_{n})=\pi (\mathcal {B}^{}_{n})=\mathcal {B}^{\flat }_{n}\).

(c)
There exist unique numbers \(z^{+},z^{}\in \mathbb {R}\) such that \((x,y,z^{+})\in \mathcal {B}^{+}_{n}\) and \((x,y,z^{})\in \mathcal {B}^{}_{n}\). We have \(z^{+}\ge z^{}\). Moreover, equality holds precisely when the point (x, y) lies on the boundary of \(\mathcal {B}^{\flat }_{n}\).

(d)
We have \((x,y,z)\in \mathcal {A}_{3,n}\) if and only if \(z^{+}\ge z\ge z^{}\).

(e)
Every point on the boundary of \(\mathcal {A}_{3,n}\) can be written as
$$\begin{aligned} p=\begin{pmatrix}t_1\\ t_1^2\\ t_1^3\end{pmatrix}+\cdots +\begin{pmatrix}t_n\\ t_n^2\\ t_n^3\end{pmatrix} \end{aligned}$$for some tuple \((t_1,\ldots ,t_n)\in [1,1]^n\). The set \(\{t_1,\ldots ,t_n\}{\setminus }\{1,1\}\) has at most two elements and the tuple \((t_1,\ldots ,t_n)\) is unique up to permutation of its entries.
In Sect. 5, we find semialgebraic descriptions of (in particular) \(\mathcal {C}^+_{k,a}\) and \(\mathcal {C}^{}_{\ell ,b}\). To write these descriptions down, we define
for all positive integers \(k,\ell \ge 1\). Note here that
for all \(k,\ell \). We then use these descriptions together with the previous theorem to prove our main result.
Take the following sets:
Main Theorem
We have \(\mathcal {A}_{3,n}=X\cap Y\).
Structure of the paper
The first step of the proof is to show that the boundary of \(\mathcal {A}_{3,n}\) is contained in the union of \(\mathcal {B}^{+}_{n}\) and \(\mathcal {B}^{}_{n}\). We start doing this by proving a result about representations of points on the boundary of \(\mathcal {A}_{3,n}\) in Sect. 3. In Sect. 4, we prove the statement for \(n=4\) and then conclude that it holds for all \(n\ge 3\). After that, in Sect. 5, we find semialgebraic descriptions for the components that make up the boundary. And then, in Sect. 6, we study the sets \(\mathcal {B}^{+}_{n}\) and \(\mathcal {B}^{}_{n}\) in more detail and prove Theorem 2.1 and the Main Theorem. We conclude the paper by discussing the problem for higher dimensions in Sect. 7.
Representations of points on the boundary of \(\mathcal {A}_{3,n}\)
The goal of this and the next section is to prove that the boundary of \(\mathcal {A}_{3,n}\) is contained in the union of \(\mathcal {B}^{+}_{n}\) and \(\mathcal {B}^{}_{n}\). We start with the following proposition.
Proposition 3.1
Let \(p\in \mathbb {R}^3\) be a point on the boundary of \(\mathcal {A}_{3,n}\) and write
for some tuple \((t_1,\ldots ,t_n)\in [1,1]^n\). Then the set \(\{t_1,\ldots ,t_n\}{\setminus }\{1,1\}\) has at most two elements.
Proof
Fix indices \(1\le i<j<k\le n\) and consider the map
Then we have \(p=\varphi (t_i,t_j,t_k)\). The Jacobian of \(\varphi \) at the point \((t_i,t_j,t_k)\) is
and hence has rank 3 if \(t_i\ne t_j\ne t_k\ne t_i\). So, if in addition \(t_i,t_j,t_k\not \in \{1,1\}\), then every point in a small neighborhood around p is in the image of \(\varphi \) by the inverse function theorem. As this cannot happen for a point p on the boundary of \(\mathcal {A}_{3,n}\), it follows that the set \(\{t_1,\ldots ,t_n\}{\setminus }\{1,1\}\) has at most two elements. \(\square \)
From the proposition, it immediately follows that the boundary of \(\mathcal {A}_{3,n}\) is contained in the union of the sets
over all integers \(k,\ell \ge 1\) and \(a,b\ge 0\) such that \(k+\ell +a+b=n\). So to prove that the boundary of \(\mathcal {A}_{3,n}\) is contained in the union of \(\mathcal {B}^{+}_{n}\) and \(\mathcal {B}^{}_{n}\), it suffices to prove that every point that is contained in one of these sets and is not contained in \(\mathcal {B}^{+}_{n}\cup \mathcal {B}^{}_{n}\) is also not contained in the boundary of \(\mathcal {A}_{3,n}\).
Lemma 3.2
Let \(k\ge k'\ge 1\), \(\ell \ge \ell '\ge 1\), \(a\ge a'\ge 0\) and \(b\ge b'\ge 0\) be integers. Take \(n=k+\ell +a+b\), \(n'=k'+\ell '+a'+b'\) and \(1<s<t<1\). Assume that
is not contained in the boundary of \(\mathcal {A}_{3,n'}\). Then
is not contained in the boundary of \(\mathcal {A}_{3,n}\).
Proof
If the point \(p'\) does not lie on the boundary of \(\mathcal {A}_{3,n'}\), then the point p cannot lie on the boundary of
and hence it can also not lie on the boundary of \(\mathcal {A}_{3,n}\). \(\square \)
To prove that the boundary of \(\mathcal {A}_{3,n}\) is contained in the union of \(\mathcal {B}^{+}_{n}\) and \(\mathcal {B}^{}_{n}\), we need to eliminate the cases where one of the following conditions holds:

(1)
\(k,\ell \ge 2\),

(2)
\(k=\ell =1\) and \(a,b>0\),

(3)
\(k=1\), \(\ell >1\) and \(a>0\),

(4)
\(k>1\), \(\ell =1\) and \(b>0\).
Using the previous lemma, we see that it suffices to eliminate the cases where
and hence we first consider the boundary of \(\mathcal {A}_{3,n}\) for \(n=4\).
The boundary of \(\mathcal {A}_{3,4}\) versus the boundary of \(\mathcal {A}_{3,n}\)
In this section, we show that the boundary of \(\mathcal {A}_{3,n}\) is contained in \(\mathcal {B}^{+}_{n}\cup \mathcal {B}^{}_{n}\) for \(n=4\) and conclude from this that the same statement holds for all \(n\ge 3\). We need to show that no point of
is contained in the boundary of \(\mathcal {A}_{3,4}\) for \((k,\ell ,a,b)=(1,1,1,1),(1,2,1,0)\), (2, 1, 0, 1), (2, 2, 0, 0). We start with the case \((k,\ell ,a,b)=(2,2,0,0)\).
Proposition 4.1
Take \(1<s<t<1\). Then the point
does not lie on the boundary of \(\mathcal {A}_{3,4}\).
Proof
Consider the system of equations
with the additional conditions that \(1<t_1,t_2,t_3,t_4<1\) are pairwise distinct. If this system has a solution that satisfies the additional conditions, then the point p cannot lie on the boundary of \(\mathcal {A}_{3,4}\) by Proposition 3.1. It turns out that such a solution \((t_1,t_2,t_3,t_4)\) can even be found when we assume that \(t_1+t_2=t_3+t_4\). Indeed, let \(0\ne \alpha \ne \beta \ne 0\) be such that \(\alpha ,\beta <1\frac{1}{2}s+t\) and \(\alpha ^2+\beta ^2=\frac{1}{2}(st)^2\). Then
is a solution to the system equalities so that \(1<t_1,t_2,t_3,t_4<1\) are pairwise distinct. One can check that \(\alpha ,\beta <1\frac{1}{2}s+t\) and \(\alpha ^2+\beta ^2=\frac{1}{2}(st)^2\) for \(\alpha ,\beta =\pm \frac{1}{2}(st)\). Here we use that \(st+s+t\le 2\cdot \max (s,t)<2\). It follows that for any point \((\alpha ,\beta )\) on the circle given by
that is sufficiently close to \((\frac{1}{2}(st),\frac{1}{2}(st))\) also satisfies these conditions. So to conclude the proof, we simply let \((\alpha ,\beta )\) be such a point with \(0\ne \alpha \ne \beta \ne 0\). \(\square \)
Next, we take care of the case \((k,\ell ,a,b)=(1,1,1,1)\).
Lemma 4.2
Take \(\delta >0\). Then there exists an \(\varepsilon >0\) such that
for all \(1<s<t<1\) and \(0\le \varepsilon '\le \varepsilon \) with \(1t,ts,s(1)\ge \delta \).
Proof
For \(0\le \lambda \ll 1\), consider \((t_1,t_2,t_3)=(s+\mu ,t+\lambda \mu ,1\lambda )\) where
Assuming that \(d\ge 0\) and \(1\le t_1,t_2,t_3\le 1\), one can check that
for \(\varepsilon '(\lambda )=3\lambda (1t\lambda )(1s\lambda )\). Note that \(\varepsilon '(0)=0\). So to prove the lemma, it suffices to find a \(c>0\) such that \(d\ge 0\) and \(1\le t_1,t_2,t_3\le 1\) for all \(0\le \lambda \le c\) and \(\varepsilon '(c)>0\), because we can then take \(\varepsilon =\varepsilon '(c)\) and have \([0,\varepsilon ]\subseteq \varepsilon '([0,c])\).
Take \(c=\min (\delta ,\delta ^2)/1000>0\) and assume that \(0\le \lambda \le c\). Then we have
and hence \(\sqrt{d}\ge ts\). We also have
since \(ts,1t\le 2\). Hence \(\mu \le \delta /100\) and therefore \(1\le t_1,t_2,t_3\le 1\). We have
Hence the statement of the lemma holds. \(\square \)
Lemma 4.3
Take \(\delta >0\). Then there exists an \(\varepsilon >0\) such that
for all \(1<s<t<1\) and \(0\le \varepsilon '\le \varepsilon \) with \(1t,ts,s(1)\ge \delta \).
Proof
The proof is similar to the Proof of Lemma 4.2. For \(0\le \lambda \ll 1\), one considers \((t_1,t_2,t_3)=(s\lambda +\mu ,t\mu ,1+\lambda )\) where
Assuming that \(d\ge 0\) and \(1\le t_1,t_2,t_3\le 1\), one can check that
for \(\varepsilon '(\lambda )=3\lambda (t(1)\lambda )(s(1)\lambda )\). The other details are left to the reader. \(\square \)
Proposition 4.4
Take \(1<s<t<1\). Then the point
does not lie on the boundary of \(\mathcal {A}_{3,4}\).
Proof
Set \(\delta =\min (1t,ts,s(1))/2>0\) and let \(\varepsilon >0\) be the minimum of the two \(\varepsilon \)’s from Lemmas 4.2 and 4.3 . Write \(p=(x,y,z)\). The Jacobian of the map
is invertible at (s, t). It follows that all points in \(\mathbb {R}^2\) in a small neighborhood of (x, y) are of the form
with (u, v) in a small neighborhood of (s, t) by the Inverse Function Theorem. By shrinking this neighborhood, we may assume that \(1<u<v<1\) and \(1v,vu,u(1)\ge \delta \). Lemmas 4.2 and 4.3 now tell us that
for all (u, v) in the neighborhood and \(\varepsilon '<\varepsilon \). Hence p is in the interior of \(\mathcal {A}_{3,4}\). \(\square \)
Finally, we take care of the cases \((k,\ell ,a,b)=(1,2,1,0),(2,1,0,1)\).
Lemma 4.5
Take \(\delta >0\). Then there exists an \(\varepsilon >0\) such that
for all \(1\le s<t<1\) and \(0\le \varepsilon '\le \varepsilon \) with \(1t,ts\ge \delta \).
Proof
The proof is similar to the Proof of Lemma 4.2. For \(0\le \lambda \ll 1\), one considers
where \(\mu =\sqrt{2(ts)\lambda 3\lambda ^2}\) and finds that
for \(\varepsilon '(\lambda )=6(ts)^2\lambda 24(ts)\lambda ^2+24\lambda ^3\). The other details are left to the reader. \(\square \)
Lemma 4.6
Take \(\delta >0\). Then there exists an \(\varepsilon >0\) such that
for all \(1<s<t\le 1\) and \(0\le \varepsilon '\le \varepsilon \) with \(ts,s(1)\ge \delta \).
Proof
The proof is similar to the Proof of Lemma 4.2. For \(0\le \lambda \ll 1\), one considers
where \(\mu =\sqrt{2(ts)\lambda 3\lambda ^2}\) and finds that
for \(\varepsilon '(\lambda )=6(ts)^2\lambda 24(ts)\lambda ^2+24\lambda ^3\). The other details are left to the reader. \(\square \)
Proposition 4.7
Take \(1<s<t<1\). Then the point
does not lie on the boundary of \(\mathcal {A}_{3,4}\).
Proof
The proof is similar to the proof of Proposition 4.4. For (u, v) in a small neighborhood of (s, t), we find points in \(\mathcal {A}_{3,4}\) above
using Lemma 4.5 and we find points below using Lemma 4.6. Note here that in the latter case the role of the pair (s, t) from Lemma 4.6 is played by (v, 1). \(\square \)
Proposition 4.8
Take \(1<s<t<1\). Then the point
does not lie on the boundary of \(\mathcal {A}_{3,4}\).
Proof
The proof is similar to the proof of Proposition 4.7. For (u, v) in a small neighborhood of (s, t), we find points in \(\mathcal {A}_{3,4}\) above
using Lemma 4.5 and we find points below using Lemma 4.6. Note here that in the former case the role of the pair (s, t) from Lemma 4.5 is played by \((1,u)\). \(\square \)
By combining Propositions 3.1, 4.1, 4.4, 4.7 and 4.8 , we see that the boundary of \(\mathcal {A}_{3,n}\) is contained in \(\mathcal {B}^{+}_{n}\cup \mathcal {B}^{}_{n}\) for \(n=4\). We now use this knowledge to prove the same for \(n>4\).
Theorem 4.9
The boundary of \(\mathcal {A}_{3,n}\) is contained in the union of \(\mathcal {B}^{+}_{n}\) and \(\mathcal {B}^{}_{n}\).
Proof
For \(n=3\), this follows directly from Proposition 3.1. For \(n=4\), we additionally use Propositions 4.1, 4.4, 4.7 and 4.8 . For \(n>4\), we need to show that points of the form
with \(1< s< t<1\), \(k,\ell \ge 1\) and \(a,b\ge 0\) are not on the boundary of \(\mathcal {A}_{3,n}\) when one of the following conditions holds:

(1)
\(k,\ell \ge 2\),

(2)
\(k=\ell =1\) and \(a,b>0\),

(3)
\(k=1\), \(\ell >1\) and \(a>0\),

(4)
\(k>1\), \(\ell =1\) and \(b>0\).
This is done by combining Lemma 3.2 with Propositions 4.1, 4.4, 4.7 and 4.8 . \(\square \)
The semialgebraic components of the boundary of \(\mathcal {A}_{3,n}\)
Consider the sets
for \(k,\ell \ge 1\). Recall that
and \(B_{k\ell }^24A_{k\ell }C_{k\ell }=4k\ell (\ell k)^2D_{k\ell }^3\) from Sect. 2. Our goal for this section is to prove the following proposition and theorem.
Proposition 5.1
If \(k=\ell \), then
decomposes the polynomial \(f_{k\ell }\) into irreducible factors over \(\mathbb {Q}\). If \(k\ne \ell \), then \(f_{k\ell }\) is irreducible over \(\mathbb {C}\).
Theorem 5.2
The set
consists of all points
such that \(f_{k\ell }(x,y,z)=0\), the inequalities
hold and in addition the following requirements are met:

If \(k<\ell \), then the inequality \(z\le \frac{B_{k\ell }(x,y)}{2A_{k\ell }}\) must hold.

If \(k=\ell \), then equation \(z=\frac{B_{k\ell }(x,y)}{2A_{k\ell }}\) must hold.

If \(k>\ell \), then the inequality \(z\ge \frac{B_{k\ell }(x,y)}{2A_{k\ell }}\) must hold.
For the remainder of the section, we fix integers \(k,\ell \ge 1\) and we write
in order to simplify the used notation.
Proof of Proposition 5.1
The first statement is easy. Assume that \(k\ne \ell \). To prove that f is irreducible under this assumption, note that f is homogeneous with respect to the grading where \(\deg (x)=1\), \(\deg (y)=2\) and \(\deg (z)=3\). It follows that if f is reducible, then
for some a, b, c, d. However, this would imply that the coefficient
of C at \(y^3\) equals 0. This is a contradiction. So f is irreducible. \(\square \)
Proof of Theorem 5.2
Note that we have \(x,z\in [(k+\ell ),(k+\ell )]\) and \(y\in [0,(k+\ell )]\) for all points
So we let
be a point and find out when it is contained in
We start by looking at the first two coordinates. So we solve the system of equations
under the conditions that \(1\le s\le t\le 1\). Solving the system, we find that
So we need to assume that \(k\ell D(x,y)\ge 0\). Adding the condition \(s\le t\), we get
and so the conditions \(1\le s\) and \(t\le 1\) translate to
As \(x\in [(k+\ell ),(k+\ell )]\), these conditions are equivalent to
Now, also consider the third coordinate \(z=ks^3+\ell t^3\). One can check that \(f(x,y,z)=0\). So if \(k=\ell \), then we have
by Proposition 5.1 and we are done. So assume that \(k\ne \ell \). Then there are a priori two possibilities for z given x and y. However, given s and t, it becomes clear that only one possibility remains. So we just need to find an inequality that selects the correct root of \(f(x,y,)\). One can check that
So we find that
when \(k<\ell \) and
when \(k>\ell \). This concludes the proof. \(\square \)
The sets \(\mathcal {B}^{+}_{n}\) and \(\mathcal {B}^{}_{n}\)
We are now ready to prove Theorem 2.1 and the Main Theorem. Let \(n\ge 3\) be an integer. Recall the following notation from Sect. 2.

We have
$$\begin{aligned} \mathcal {C}^{+}_{k,a}&=\left\{ k\begin{pmatrix}s\\ s^2\\ s^3\end{pmatrix}+\begin{pmatrix}t\\ t^2\\ t^3\end{pmatrix}\,\Bigg \,1\le s\le t\le 1\right\} +a\begin{pmatrix}1\\ 1\\ 1\end{pmatrix},\\ \mathcal {C}^{}_{\ell ,b}&=\left\{ \begin{pmatrix}s\\ s^2\\ s^3\end{pmatrix}+\ell \begin{pmatrix}t\\ t^2\\ t^3\end{pmatrix}\,\Bigg \,1\le s\le t\le 1\right\} +b\begin{pmatrix}1\\ 1\\ 1\end{pmatrix} \end{aligned}$$for all integers \(k,\ell \ge 1\) and \(a,b\ge 0\).

We have \(\mathcal {B}^{+}_{n}=\bigcup _{k=1}^{n1}\mathcal {C}^{+}_{k,nk1}\) and \(\mathcal {B}^{}_{n}=\bigcup _{\ell =1}^{n1}\mathcal {C}^{}_{\ell ,n\ell 1}\).

The set \(\mathcal {B}^{\flat }_{n}\) consists of all points \((x,y)\in \mathbb {R}^2\) such that \(ny\ge x^2\) and
$$\begin{aligned} y\le n1+(x+2i(n1))^2 \end{aligned}$$for each \(i\in \{0,\ldots ,n1\}\).

The projection map \(\pi :\mathbb {R}^3\rightarrow \mathbb {R}^2\) sends \((x,y,z)\mapsto (x,y)\).
We start by listing some properties of \(\mathcal {B}^{+}_{n}\) and \(\mathcal {B}^{}_{n}\).
Proposition 6.1
Let \(1\le k\le n1\) be an integer.

(a)
The map
$$\begin{aligned} \alpha _k:\{(s,t) 1\le s\le t\le 1\}&\rightarrow \pi (\mathcal {C}^{+}_{k,nk1}),\\ (s,t)&\mapsto k\begin{pmatrix}s\\ s^2\end{pmatrix}+\begin{pmatrix}t\\ t^2\end{pmatrix}+(nk1)\begin{pmatrix}1\\ 1\end{pmatrix}, \end{aligned}$$is a bijection.

(b)
The boundary of \(\pi (\mathcal {C}^{+}_{k,nk1})\) is the union of the following three sets:
$$\begin{aligned} \{\alpha _k(1,t)\mid 1\le t\le 1\}, \{\alpha _k(s,s)\mid 1\le s\le 1\}, \{\alpha _k(s,1)\mid 1\le s\le 1\}. \end{aligned}$$ 
(c)
We have \(\pi (\mathcal {B}^{+}_{n})=\mathcal {B}^{\flat }_{n}\).

(d)
The projection map
$$\begin{aligned} \mathcal {B}^{+}_{n}&\rightarrow \mathcal {B}^{\flat }_{n},\\ (x,y,z)&\mapsto (x,y), \end{aligned}$$is a bijection.
Proof
To see (a), note that the map clearly is surjective. For injectivity, one has to solve \(\alpha _k(s,t)=(x,y)\) for s, t under the condition that \(s\le t\). This yields at most one solution for all (x, y). For (b), note that the Jacobian of the map \(\alpha _k\) has full rank at all points (s, t) with \(1<t<s<1\). From (b) follows that the boundary of \(\pi (\mathcal {B}^{+}_{n})\) is the union of
and
for \(i=0,\ldots ,n1\). So the set itself is indeed given by the inequalities defining \(\mathcal {B}^{\flat }_{n}\). Finally, to see (d), it suffices to note that \(\pi (\mathcal {C}^{+}_{k,nk1}\cap \mathcal {C}^{+}_{k+1,nk})\) is equal to
for \(k=1,\ldots ,n2\). \(\square \)
Proposition 6.2
Let \(1\le \ell \le n1\) be an integer.

(a)
The map
$$\begin{aligned} \beta _\ell :\{(s,t)\mid 1\le s\le t\le 1\}&\rightarrow \pi (\mathcal {C}^{}_{\ell ,n\ell 1}),\\ (s,t)&\mapsto \begin{pmatrix}s\\ s^2\end{pmatrix}+\ell \begin{pmatrix}t\\ t^2\end{pmatrix}+(n\ell 1)\begin{pmatrix}1\\ 1\end{pmatrix}, \end{aligned}$$is a bijection.

(b)
The boundary of \(\pi (\mathcal {C}^{}_{\ell ,n\ell 1})\) is the union of the following three sets:
$$\begin{aligned} \{\beta _\ell (1,t)\mid 1\le t\le 1\}, \{\beta _\ell (t,t)\mid 1\le t\le 1\}, \{\beta _\ell (s,1)\mid 1\le s\le 1\}. \end{aligned}$$ 
(c)
We have \(\pi (\mathcal {B}^{}_{n})=\mathcal {B}^{\flat }_{n}\).

(d)
The projection map
$$\begin{aligned} \mathcal {B}^{}_{n}&\rightarrow \mathcal {B}^{\flat }_{n},\\ (x,y,z)&\mapsto (x,y), \end{aligned}$$is a bijection.
Proof
The proofs are similar to those of Proposition 6.1. \(\square \)
The decomposition of \(\mathcal {B}^{\flat }_n\) as a union of the projections of \(\mathcal {C}^{+}_{1,n2},\ldots ,\mathcal {C}^{+}_{n1,0}\) is visualized in Fig. 2. We note that the decomposition of \(\mathcal {B}^{\flat }_n\) as a union of the projections of \(\mathcal {C}^{}_{1,n2},\ldots ,\mathcal {C}^{}_{n1,0}\) looks similar but is mirrored along the vertical axis.
We can now prove Theorem 2.1.
Proof of Theorem 2.1
We already know that (b) holds by Propositions 6.1 and 6.2 . We know that \(\mathcal {B}^{+}_{n},\mathcal {B}^{}_{n}\subseteq \mathcal {A}_{3,n}\), we know that the boundary of \(\mathcal {A}_{3,n}\) is contained in \(\mathcal {B}^{+}_{n}\cup \mathcal {B}^{}_{n}\) by Theorem 4.9 and we know that the projection maps
are bijections by Propositions 6.1 and 6.2 . Together these statements imply (a). Let \((x,y)\in \mathcal {B}^{\flat }_{n}\) be a point. Then there exist unique numbers \(z^{+},z^{}\in \mathbb {R}\) such that \((x,y,z^{+})\in \mathcal {B}^{+}_{n}\) and \((x,y,z^{})\in \mathcal {B}^{}_{n}\) by Propositions 6.1 and 6.2 . Our goal is to prove that \(z^{+}\ge z^{}\) with equality if and only if (x, y) lies on the boundary of \(\mathcal {B}_n^{\flat }\). Let \(z\in \mathbb {R}\) be a real number. From (a) and (b) it is clear that \((x,y,z)\in \mathcal {A}_{3,n}\) if and only if z lies between \(z^{+}\) and \(z^{}\). So \(z^{+}=z^{}\) when (x, y) lies on the boundary of \(\mathcal {B}_n^{\flat }\). And, to prove that \(z^{+}>z^{}\) otherwise, it suffices to show that there exists a \(z\in \mathbb {R}\) such that \(z<z^{+}\) and \((x,y,z)\in \mathcal {A}_{3,n}\). Now, let
be a point where \(1\le s\le t\le 1\) and recall Lemmas 4.2 and 4.6 . If \(1<s<t<1\) and \(k=1\), then there is a point in \(\mathcal {A}_{3,3}\) below
and hence a point in \(\mathcal {A}_{3,n}\) below p. If \(1<s<t\le 1\) and \(k\ge 2\), then there is a point in \(\mathcal {A}_{3,3}\) below
and hence a point in \(\mathcal {A}_{3,n}\) below p. Taking into account how the sets \(\mathcal {C}^{+}_{k,nk1}\) intersect, we find that there is a point in \(\mathcal {A}_{3,n}\) below p unless \(s=1\), \((k,t)=(1,1)\) or \((s,k)=(t,n1)\), which are exactly the cases where p projects to the boundary of \(\mathcal {B}_n^{\flat }\). This proves (c) and (d). Finally, using (a), (c), and Propositions 6.1 and 6.2 , we see that the boundary of \(\mathcal {A}_{3,n}\) is the disjoint union of several (but not all) sets of the form
where \(k,\ell ,a,b\ge 0\) have sum n. Given a point of the boundary, the number s is unique when \(k>0\) and the number t is unique when \(\ell >0\). Together with Proposition 3.1, this shows (e). \(\square \)
Finally, we prove the Main Theorem.
Proof of the Main Theorem
Fix a point \((x,y,z)\in \mathbb {R}^3\). The following conditions are equivalent:

(a)
We have \((x,y)\in \mathcal {B}^{\flat }_n\).

(b)
We have \((x,y)\in \pi (\mathcal {C}^{+}_{k,nk1})\) for some \(k\in \{1,\ldots ,n1\}\).

(c)
We have \((x,y)\in \pi (\mathcal {C}^{}_{\ell ,n\ell 1})\) for some \(\ell \in \{1,\ldots ,n1\}\).
Take \(k,\ell \in \{1,\ldots ,n1\}\). Then, using Proposition 6.1, we see that
and we similarly get
using Proposition 6.2. Assume that \((x,y)\in \mathcal {B}^{\flat }_n\) and that \(k,\ell \) are as in (b) and (c). Using Theorem 2.1(d), we need to find conditions that express that \(z^{}\le z\le z^{+}\). We have
by Theorem 5.2. So \(z\le z^{+}\) when
or
Note here that the polynomial \(f_{k1}(x,y,)\) has degree 2 in z, that its leading coefficient is positive, that \(z^{+}\) is its highest root and that it attains its minimum at \(\theta \). This is visualized in Fig. 3. We also have
by Theorem 5.2 and from this we conclude that \(z\ge z^{}\) if and only if
or
This leads to the semialgebraic description of the Main Theorem. \(\square \)
Higher dimensions
The Main Theorem provides a semialgebraic description of the set \(\mathcal {A}_{3,n}\) for each integer \(n\ge 3\). So, a natural question to ask is: can we use the same proof strategy to find a semialgebraic description of the sets \(\mathcal {A}_{k,n}\) for \(k>3\)? At the moment, there still are some obstacles to doing so, which we discuss in this section.
Following the same strategy as for \(k=3\), we would again start by trying to find a description of the boundary of \(\mathcal {A}_{k,n}\). One can check that the statement and proof of Proposition 3.1 carry over in a straightforward fashion for \(k>3\), which yields a superset of the boundary. After this, one would again need to exclude points from this superset when they do not in fact lie on the boundary. In view of Theorem 2.1(d), proving that a point in \(\mathcal {A}_{3,n}\) does not lie on the boundary can be done by showing that there are points in \(\mathcal {A}_{3,n}\) above and below it. So an analogue of Theorem 2.1(d) for higher dimensions would be very useful. This leads to the following conjecture, which holds for \(k\le 3\).
Conjecture 7.1
Let \((x_1,\ldots ,x_k)\) be a point in \(\mathcal {A}_{k,n}\). Then the set
is a closed interval.
Another approach might be through a generalization of Theorem 2.1(e). The boundary of \(\mathcal {A}_{k,n}\) is contained in the union of the sets
over all integers \(\ell _1,\ldots ,\ell _{k1},a,b\ge 0\) that sum to n. The uniqueness of the representation of each point on the boundary would imply that the boundary of \(\mathcal {A}_{k,n}\) is a disjoint union of some of these sets. It would also be a tool to eliminate some of these sets from consideration. This leads to our second conjecture, which also holds for \(k\le 3\).
Conjecture 7.2
Every point on the boundary of \(\mathcal {A}_{k,n}\) can be written as
for some tuple \((t_1,\ldots ,t_n)\in [1,1]^n\). The set \(\{t_1,\ldots ,t_n\}{\setminus }\{1,1\}\) has at most \(k1\) elements and the tuple \((t_1,\ldots ,t_n)\) is unique up to permutation of its entries.
Apart from finding the boundary of \(\mathcal {A}_{k,n}\), there is also the problem of describing it semialgebraically. When one would attempt this, the main obstacle to overcome is, in our opinion, finding an analogue of Theorem 5.2. For \(k=4\), this means we need to solve the following problem.
Problem 7.3
Determine a semialgebraic description of the set
given the integers \(\ell _1,\ell _2,\ell _3\ge 1\).
These sets are expected to be the building blocks for the boundary of \(\mathcal {A}_{4,n}\), so a solution to this problem seems essential if we want to apply the same approach we used for \(\mathcal {A}_{3,n}\). Using elimination theory, we find that the Zariski closure of this set is a hypersurface defined by a single polynomial \(f_{\ell _1,\ell _2,\ell _3}(x_1,x_2,x_3,x_4)\). This polynomial is homogeneous of degree 24 with respect to the grading where \(\deg (x_i)=i\) and has 169 terms. Its coefficients are symmetric polynomials in \(\ell _1,\ell _2,\ell _3\) of degree up to 18. When \(\#\{\ell _1,\ell _2,\ell _3\}\le 2\), the polynomial is a square. And, we have
This suggests that we should first solve
for \(t_1,t_2,t_3\) and then solve \(f_{\ell _1,\ell _2,\ell _3}(x_1,x_2,x_3,x_4)=0\) for \(x_4\). As this only involves solving polynomial equations of degree \(\le 4\), this is theoretically doable. The problem however is to express the inequalities \(1\le t_1\le t_2\le t_3\le 1\) as polynomial inequalities in \(x_1,x_2,x_3,x_4\).
As an example, consider the case \(\ell _1=\ell _2=\ell _3=1\). In this case, the set is contained in the hypersurface given by the equation
which allows to eliminate the coordinate \(x_4\). So here, the problem consists of finding a semialgebraic description of the set
given \(x_1,x_2,x_3\in \mathbb {R}\).
If we can solve Problem 7.3, we still need to find analogues for the results in Sect. 6. These results rely on our complete understanding of the roots and extrema of parabolas. So to generalize these results, we probably need a similar level of understanding in the cases of cubics and quartics, which for now seems to be out of reach.
References
 1.
Chang, A., Mehrle, D., Miller, S.J., Reiter, T., Stahl, J., Yott, D.: Newman’s conjecture in function fields. J. Number Theory 157, 154–169 (2015)
 2.
Dou, Z.L., Zhang, Q.: Six Short Chapters on Automorphic Forms and \(L\)functions. Springer, Berlin (2012)
 3.
Hu, P.C., Wu, A.D.: Zero distribution of Dirichlet \(L\)functions. Ann. Acad. Sci. Fenn. Math. 41, 775–788 (2016)
 4.
Miller, G.L.: Riemann’s hypothesis and tests for primality. J. Comput. Syst. Sci. 13(3), 300–317 (1976)
 5.
Miller, S.J.: An orthogonal test of the \(L\)functions Ratios conjecture. Proc. Lond. Math. Soc. 99(2), 484–520 (2009)
 6.
Riemann, B.: Über die Anzahl der Primzahlen unter einer gegebenen Größe, Monatsberichte der Berliner Akademie (November 1859)
 7.
Rubinstein, M. O., Sarnak, P.: The underdetermined matrix moment Problem I, in preparation
Acknowledgements
Open Access funding provided by Projekt DEAL. The problem that this paper solves was brought to our attention by Bernd Sturmfels during the graduate student meeting on applied algebra and combinatorics held in Leipzig on 18–20 February 2019. We would like to thank him for doing so and we would like to thank the organizers of this meeting for making it possible. We would also like to thank Peter Sarnak for explaining the origin and relevance of the problem to us. Lastly, we would like to thank the anonymous referees for their precise reading of our paper and their helpful comments.
Author information
Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The first author was supported by the Vici grant Stabilisation in Algebra and Geometry from the Netherlands Organisation for Scientific Research (NWO). The third author was supported by DFG grant GK 1916 Kombinatorische Strukturen in der Geometrie of the German Research Foundation.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bik, A., Czapliński, A. & Wageringel, M. Semialgebraic properties of Minkowski sums of a twisted cubic segment. Collect. Math. 72, 87–107 (2021). https://doi.org/10.1007/s13348020002817
Received:
Accepted:
Published:
Issue Date:
Keywords
 Semialgebraic sets
 Implicitization
 Twisted cubic
Mathematics Subject Classification
 14P10