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})$.

Background

In the additional discussion of complete graphs, pdd(n)\mathrm{pdd}(n) is defined as the smallest Euclidean dimension in which the complete graph KnK_n, and hence every graph on nn vertices, is pandichotomous. The sphericity sp(G)\mathrm{sp}(G) is the least dimension in which a graph is representable as a unit-ball graph.

The text observes that the sphericity of balanced complete bipartite graphs gives lower bounds for pdd(n)\mathrm{pdd}(n) and conjectures that these graphs are the extremal obstructions determining the exact value. Establishing the conjecture would connect the worst-case dichotomous realization dimension for nn vertices with a specific complete bipartite sphericity.

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