1: \begin{abstract}
2: %\hspace{-.2cm}
3: The Legendre pair problem is a particular case of a rank-$1$ semidefinite description problem that seeks to find a pair of vectors $(\uu,\vv)$ each of length $\ell$ such that the vector $(\uu^{\top},\vv^{\top})^{\top}$ satisfies the rank-$1$ semidefinite description.
4: %Bulutoglu~\cite{Bulutoglu2022} developed a general method for decreasing the number of possible values for the dimension of the convex hull of all feasible points of an integer linear problem
5: The group $\ZZtimes$ acts on the solutions satisfying the rank-$1$ semidefinite description by
6: $
7: ((i,j),k)(\uu,\vv)=((i,k)\uu,(j,k)\vv)
8: $
9: for each $((i,j),k) \in \ZZtimes$.
10: By applying the methods based on representation theory in Bulutoglu [Discrete Optim. 45 (2022)], and results in Ingleton [Journal of the London Mathematical Society s(1-31) (1956), 445-460] and Lam and Leung [Journal of Algebra 224 (2000), 91-109], for a given solution $(\uu^{\top},\vv^{\top})^{\top}$ satisfying the rank-$1$ semidefinite description, we show that
11: the dimension of the convex hull of the orbit of $\uu$ under the action of $\Z_{\ell}$ or $\Ztimes$ is $\ell-1$ provided that $\ell=p^n$ or $\ell=pq^i$ for $i=1,2$, any positive integer $n$, and any two odd primes $p,q$. Our results lead to the conjecture that this dimension is $\ell-1$ in both cases. We also show that the dimension of the convex hull of all feasible points of the Legendre
12: pair problem of length $\ell$ is $2\ell-2$ provided that it has at least one feasible point.
13: \end{abstract}
14: