Multinomial symmetric matrices

MultinomialSymmetric{n} <: AbstractMultinomialDoublyStochastic{N}

The multinomial symmetric matrices manifold consists of all symmetric $n×n$ matrices with positive entries such that each column sums to one, i.e.

where $\mathbf{1}_n$ is the vector of length $n$ containing ones.

It is modeled as an DefaultIsometricEmbeddingType, AbstractEmbeddedManifold via the AbstractMultinomialDoublyStochastic type, since it shares a few functions also with AbstractMultinomialDoublyStochastic, most and foremost projection of a point from the embedding onto the manifold.

The tangent space can be written as

where $\mathbf{0}_n$ is the vector of length $n$ containing zeros.

More details can be found in Section IV^{[DouikHassibi2019]}.

Constructor

MultinomialSymmetric(n)

Generate the manifold of matrices $\mathbb R^{n×n}$ that are doubly stochastic and symmetric.

check_manifold_point(M::MultinomialSymmetric, p)

Checks whether p is a valid point on the MultinomialSymmetric(m,n) M, i.e. is a symmetric matrix with positive entries whose rows sum to one.

check_tangent_vector(M::MultinomialSymmetric p, X; check_base_point = true, kwargs...)

Checks whether X is a valid tangent vector to p on the MultinomialSymmetric M. This means, that p is valid, that X is of correct dimension, symmetric, and sums to zero along any row.

The optional parameter check_base_point indicates, whether to call check_manifold_point for p.

manifold_dimension(M::MultinomialSymmetric{n}) where {n}

returns the dimension of the MultinomialSymmetric manifold namely

project(M::MultinomialSymmetric{n}, p, Y) where {n}

Project Y onto the tangent space at p on the MultinomialSymmetric M, return the result in X. The formula reads

where $⊙$ denotes the Hadamard or elementwise product and $\mathbb{1}_n$ is the vector of length $n$ containing ones. The two vector $α ∈ ℝ^{n×n}$ is given by solving

where $I_n$ is teh $n×n$ unit matrix and $\mathbf{1}_n$ is the vector of length $n$ containing ones.

retract(M::MultinomialSymmetric, p, X, ::ProjectionRetraction)

compute a projection based retraction by projecting $p\odot\exp(X⨸p)$ back onto the manifold, where $⊙,⨸$ are elementwise multiplication and division, respectively. Similarly, $\exp$ refers to the elementwise exponentiation.

vector_transport_to(M::MultinomialSymmetric, p, X, q)

transport the tangent vector X at p to q by projecting it onto the tangent space at q.