arXiv++ Combinatorics

Identifiability of tensor decompositions is often established through linear-algebraic conditions on the factor families. For nonnegative decompositions, however, positivity provides additional information that is not captured by dimension and independence alone: nonnegative terms cannot cancel, and their supports constrain competing decompositions. We introduce a positive scattering term that quantifies this additional source of identifiability and combine it with the dimension budget underlying the Lovitz--Petrov generalization of Kruskal's theorem. For every subset of components, we obtain two sufficient conditions: a threshold of $2|S|-2$ guarantees minimality and nonnegative rank, while the stronger threshold $2|S|-1$ guarantees uniqueness among nonnegative decompositions of the same length. The key result is a positive splitting inequality for irreducible exchanges of nonnegative rank-one tensors, which combines the dimension constraint with support-induced geometric rigidity. Although the scattering term is defined through an optimization over intermediate factor spaces, we show that its mode costs are exactly $0$, $1$, or $+\infty$, yielding an exact activation characterization in terms of graph connectivity. The resulting criterion can strictly certify sparse nonnegative tensor decompositions beyond the reach of Kruskal and Lovitz--Petrov conditions, including examples for which those conditions fail even after reshaping. In the matrix case, the two criteria reduce respectively to full-rank factorization and two-sided separability.

This paper introduces four matrix normal distributions extending the separable covariance $ \varPhi \otimes \varPsi$ with potentially variable-level ($ \varPsi$) and/or sample-level ($ \varPhi$) correlations. The joint distribution of sample variances and covariances, leading to the product-moment distribution, is considered when precision matrices admit a specific tensor form. Several well-known results, including the non-central Wishart distribution and normal quadratic forms, now appear as corollaries. Moreover, we propose a conjecture concerning the analytic continuation of the real gamma distribution. By applying these results to the flag varieties, we classify the double flag and the single flag.

The derivation of zonal polynomials involves evaluating the integral \[ \exp\left( - \frac{1}{2} \operatorname{tr} D_β Q D_{l} Q \right) \] with respect to orthogonal matrices \(Q\), where \(D_β\) and \(D_{l}\) are diagonal matrices. The integral is expressed through a polynomial expansion in terms of the traces of these matrices, leading to the identification of zonal polynomials as symmetric, homogeneous functions of the variables \(l_1, l_2, \ldots, l_n\). The coefficients of these polynomials are derived systematically from the structure of the integrals, revealing relationships between them and illustrating the significance of symmetry in their formulation. Furthermore, properties such as the uniqueness up to normalization are established, reinforcing the foundational role of zonal polynomials in statistical and mathematical applications involving orthogonal matrices.