The dimension of an orbitope based on a solution to the Legendre pair problem

Kristopher Kilpatrick,Dursun Bulutoglu
DOI: https://doi.org/10.1007/s10801-024-01367-2
2024-12-04
Journal of Algebraic Combinatorics
Abstract:The Legendre pair problem is a particular case of a rank-1 semidefinite description problem that seeks to find a pair of vectors each of length such that the vector satisfies the rank-1 semidefinite description. The group acts on the solutions satisfying the rank-1 semidefinite description by for each . By applying the methods based on representation theory in Bulutoglu [Discrete Optim 45 (2022)], and results in Ingleton [J Lond Math Soc 1(4): 445–460, 1956] and Lam and Leung [J Algebra 224:91–109, 2000], for a given solution satisfying the rank-1 semidefinite description, we show that the dimension of the convex hull of the orbit of under the action of or is provided that or for , any positive integer n , and any two odd primes p ,  q . Our results lead to the conjecture that this dimension is in both cases. We also show that the dimension of the convex hull of all feasible points of the Legendre pair problem of length is provided that it has at least one feasible point.
mathematics
What problem does this paper attempt to address?