b56fc80ebbfe37cd.tex
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: