加载中…
We address a problem on large signed sums of unit vectors that arose in work of Brugger, Fiedler, González Merino and Kirschbaum and was later formulated in its present form by Ambrus and Nietert. Given unit vectors in , with , the problem asks for the smallest possible value of We prove that this value is . We also determine all equality cases: up to independent sign changes and orthogonal transformations, they consist of the vertices of a centered regular simplex of positive even dimension together with an orthonormal basis of its orthogonal complement.

生成讲解博客的中文版本

生成AI智能校验的中文版本