Pandichotomic dimension of complete graphs and balanced complete bipartite sphericity
Prove or refute the conjecture that the smallest Euclidean dimension in which every dichotomous ordinal graph on $n$ vertices is realizable equals the sphericity of the balanced complete bipartite graph $K_{\lceil n/2\rceil,\lfloor n/2\rfloor}$, namely establish whether $\mathrm{pdd}(n)=\mathrm{sp}(K_{\lceil n/2\rceil,\lfloor n/2\rfloor})$.
References
\begin{conjecture}$\mathrm{pdd}(n)=\mathrm{sp}(K_{\lceil\frac{n}{2}\rceil,\lfloor\frac{n}{2}\rfloor})$.\end{conjecture}
— Geometric realizations of dichotomous ordinal graphs
(2503.07361 - Angelini et al., 10 Mar 2025) in Section Sphericity of $K_{m,m}$, Conjecture