Let $\vec{\mu}_1, \vec{\mu}_2,\ldots, \vec{\mu}_k \in \Delta^{d-1}$ be $k\ (k\geq 2)$ distinct vectors on the standard simplex, where $$\Delta^{d-1} = \{\vec{\mu}\in R^{d}:\| \vec{\mu}\|_1 = 1,\mu_j \geq 0\}.$$ (Here $\mu_j$ means the $j$-th entry of $\vec{\mu} \in R^d$.) We define $\Delta^{k-1}$ similarly.

Our goal is to find a $\vec{\mu}^* \in \Delta^{d-1}$ that satisfies $\vec{\mu}^* \notin \{\vec{\mu}_1,\ldots, \vec{\mu}_k\}$, such that for some $\vec{w} \in \Delta^{k-1}$,
$$ \sum_{i} w_i \vec{\mu}_i = \vec{\mu}^*, $$ and $$ \sum_{i} w_i \vec{\mu}_i^{\otimes 2} = (\vec{\mu}^*)^{\otimes 2}. $$ (Here $\vec{\mu}_i^{\otimes 2}$ means $\vec{\mu}_i\vec{\mu}_i^\top$.) Equivalently, one can think of constructing $\vec{\mu}_1, \vec{\mu}_2,\ldots, \vec{\mu}_k$ for a given $\vec{\mu}^*$.

Here is the question: Is there a principled way to do this construction? Or does there exist a solution at all?

In the simplest example where $k=2$ and $\vec{\mu}^* = (1/d,\ldots,1/d)^\top$, it seems that the solution doesn't exist. So what about general settings?

A variant of this problem is that we want to match $$ \sum_{i} w_i \vec{\mu}_i = \sum_{i} w_i^* \vec{\mu}_i^*, $$ and $$ \sum_{i} w_i \vec{\mu}_i^{\otimes 2} = \sum_{i} w_i^* (\vec{\mu}_i^*)^{\otimes 2}, $$ where $\vec{w}^*\in\Delta^{k-1}$, $\vec{w}^*\neq \vec{w}$, $\vec{\mu}_1^*,\ldots, \vec{\mu}_k^* \in \Delta^{d-1}$, and $\vec{\mu}_1^*,\ldots, \vec{\mu}_k^* \notin \{\vec{\mu}_1,\ldots, \vec{\mu}_k\}$.

Let $\vec{\mu}_1, \vec{\mu}_2,\ldots, \vec{\mu}_k \in \Delta^{d-1}$ be $k\ (k\geq 2)$ distinct vectors on the standard simplex, where $$\Delta^{d-1} = \{\vec{\mu}\in R^{d}:\| \vec{\mu}\|_1 = 1,\mu_j \geq 0\}.$$ (Here $\mu_j$ means the $j$-th entry of $\vec{\mu} \in R^d$.) We define $\Delta^{k-1}$ similarly.

Our goal is to find a $\vec{\mu}^* \in \Delta^{d-1}$ that satisfies $\vec{\mu}^* \notin \{\vec{\mu}_1,\ldots, \vec{\mu}_k\}$, such that for some $\vec{w} \in \Delta^{k-1}$,
$$ \sum_{i} w_i \vec{\mu}_i = \vec{\mu}^*, $$ and $$ \sum_{i} w_i \vec{\mu}_i^{\otimes 2} = (\vec{\mu}^*)^{\otimes 2}. $$ (Here $\vec{\mu}_i^{\otimes 2}$ means $\vec{\mu}_i\vec{\mu}_i^\top$.) Equivalently, one can think of constructing $\vec{\mu}_1, \vec{\mu}_2,\ldots, \vec{\mu}_k$ for a given $\vec{\mu}^*$.

Here is the question: Is there a principled way to do this construction? Or does there exist a solution at all?

In the simplest example where $k=2$ and $\vec{\mu}^* = (1/d,\ldots,1/d)^\top$, it seems that the solution doesn't exist. So what about general settings?

A variant of this problem is that we want to match $$ \sum_{i} w_i \vec{\mu}_i = \sum_{i} w_i^* \vec{\mu}_i^*, $$ and $$ \sum_{i} w_i \vec{\mu}_i^{\otimes 2} = \sum_{i} w_i^* (\vec{\mu}_i^*)^{\otimes 2}, $$ where $\vec{w}^*\in\Delta^{k-1}$, $\vec{w}^*\neq \vec{w}$, $\vec{\mu}_1^*,\ldots, \vec{\mu}_k^* \in \Delta^{d-1}$, and $\vec{\mu}_1^*,\ldots, \vec{\mu}_k^* \notin \{\vec{\mu}_1,\ldots, \vec{\mu}_k\}$.

Let $\vec{\mu}_1, \vec{\mu}_2,\ldots, \vec{\mu}_k \in \Delta^{d-1}$ be $k\ (k\geq 2)$ distinct vectors on the standard simplex, where $$\Delta^{d-1} = \{\vec{\mu}\in R^{d}:\| \vec{\mu}\|_1 = 1,\mu_j \geq 0\}.$$ (Here $\mu_j$ means the $j$-th entry of $\vec{\mu} \in R^d$.) We define $\Delta^{k-1}$ similarly.

Our goal is to find a $\vec{\mu}^* \in \Delta^{d-1}$ that satisfies $\vec{\mu}^* \notin \{\vec{\mu}_1,\ldots, \vec{\mu}_k\}$, such that for some $\vec{w} \in \Delta^{k-1}$,
$$ \sum_{i} w_i \vec{\mu}_i = \vec{\mu}^*, $$ and $$ \sum_{i} w_i \vec{\mu}_i^{\otimes 2} = (\vec{\mu}^*)^{\otimes 2}. $$ (Here $\vec{\mu}_i^{\otimes 2}$ means $\vec{\mu}_i\vec{\mu}_i^\top$.) Equivalently, one can think of constructing $\vec{\mu}_1, \vec{\mu}_2,\ldots, \vec{\mu}_k$ for a given $\vec{\mu}^*$.

Here is the question: Is there a principled way to do this construction? Or does there exist a solution at all?

In the simplest example where $k=2$ and $\vec{\mu}^* = (1/d,\ldots,1/d)^\top$, it seems that the solution doesn't exist. So what about general settings?

A variant of this problem is that we want to match $$ \sum_{i} w_i \vec{\mu}_i = \sum_{i} w_i^* \vec{\mu}_i^*, $$ and $$ \sum_{i} w_i \vec{\mu}_i^{\otimes 2} = \sum_{i} w_i^* (\vec{\mu}_i^*)^{\otimes 2}, $$ where $\vec{w}^*\in\Delta^{k-1}$, $\vec{\mu}_1^*,\ldots, \vec{\mu}_k^* \in \Delta^{d-1}$, and $\vec{\mu}_1^*,\ldots, \vec{\mu}_k^* \notin \{\vec{\mu}_1,\ldots, \vec{\mu}_k\}$.

Let $\vec{\mu}_1, \vec{\mu}_2,\ldots, \vec{\mu}_k \in \Delta^{d-1}$ be $k\ (k\geq 2)$ distinct vectors on the standard simplex, where $$\Delta^{d-1} = \{\vec{\mu}\in R^{d}:\| \vec{\mu}\|_1 = 1,\mu_j \geq 0\}.$$ (Here $\mu_j$ means the $j$-th entry of $\vec{\mu} \in R^d$.) We define $\Delta^{k-1}$ similarly.

Our goal is to find a $\vec{\mu}^* \in \Delta^{d-1}$ that satisfies $\vec{\mu}^* \notin \{\vec{\mu}_1,\ldots, \vec{\mu}_k\}$, such that for some $\vec{w} \in \Delta^{k-1}$,
$$ \sum_{i} w_i \vec{\mu}_i = \vec{\mu}^*, $$ and $$ \sum_{i} w_i \vec{\mu}_i^{\otimes 2} = (\vec{\mu}^*)^{\otimes 2}. $$ (Here $\vec{\mu}_i^{\otimes 2}$ means $\vec{\mu}_i\vec{\mu}_i^\top$.) Equivalently, one can think of constructing $\vec{\mu}_1, \vec{\mu}_2,\ldots, \vec{\mu}_k$ for a given $\vec{\mu}^*$.

Here is the question: Is there a principled way to do this construction? Or does there exist a solution at all?

In the simplest example where $k=2$ and $\vec{\mu}^* = (1/d,\ldots,1/d)^\top$, it seems that the solution doesn't exist. So what about general settings?

A variant of this problem is that we want to match $$ \sum_{i} w_i \vec{\mu}_i = \sum_{i} w_i^* \vec{\mu}_i^*, $$ and $$ \sum_{i} w_i \vec{\mu}_i^{\otimes 2} = \sum_{i} w_i^* (\vec{\mu}_i^*)^{\otimes 2}, $$ where $\vec{w}^*\in\Delta^{k-1}$, $\vec{w}^*\neq \vec{w}$, $\vec{\mu}_1^*,\ldots, \vec{\mu}_k^* \in \Delta^{d-1}$, and $\vec{\mu}_1^*,\ldots, \vec{\mu}_k^* \notin \{\vec{\mu}_1,\ldots, \vec{\mu}_k\}$.