A poset $I=(\{1,\ldots, n\}, \leq_I)$ is called non-negative if the symmetric Gram matrix $G_I:=\frac{1}{2}(C_I + C_I^{tr})\in\mathbb{M}_n(\mathbb{R})$ is positive semi-definite, where $C_I\in\mathbb{M}_n(\mathbb{Z})$ is the $(0,1)$-matrix encoding the relation $\leq_I$. Every such a connected poset $I$, up to the $\mathbb{Z}$-congruence of the $G_I$ matrix, is determined by a unique simply-laced Dynkin diagram $\mathrm{Dyn}_I\in\{\mathbb{A}_m, \mathbb{D}_m,\mathbb{E}_6,\mathbb{E}_7,\mathbb{E}_8\}$. We show that $\mathrm{Dyn}_I=\mathbb{A}_n$ implies that the matrix $G_I$ is of rank $n$ or $n-1$. Moreover, we depict explicit shapes of Hasse digraphs $\mathcal{H}(I)$ of all such posets~$I$ and devise formulae for their number.
翻译:偏序集$I=(\{1,\ldots, n\}, \leq_I)$称为非负的,若其对称Gram矩阵$G_I:=\frac{1}{2}(C_I + C_I^{tr})\in\mathbb{M}_n(\mathbb{R})$是半正定的,其中$C_I\in\mathbb{M}_n(\mathbb{Z})$是编码关系$\leq_I$的$(0,1)$-矩阵。每一个这样的连通偏序集$I$(在$G_I$矩阵的$\mathbb{Z}$-合同意义下)由唯一一个单边Dynkin图$\mathrm{Dyn}_I\in\{\mathbb{A}_m, \mathbb{D}_m,\mathbb{E}_6,\mathbb{E}_7,\mathbb{E}_8\}$决定。我们证明,若$\mathrm{Dyn}_I=\mathbb{A}_n$,则矩阵$G_I$的秩为$n$或$n-1$。此外,我们刻画了所有此类偏序集$I$的Hasse有向图$\mathcal{H}(I)$的具体形状,并给出了其数目的公式。