Note sur l’identifiabilité (à partir JBL et réunion JA, PB, SD)
-Soient B,B^{\prime} avec B_{\bullet,R} = B^{\prime}_{\bullet,R} = \vec{0}_{p+1} et X de rang plein tel que X^{\top}X soit inversible. Soit j=1,\dots,n_2 alors \begin{align*}
-&\sigma(XB)_{j} = \sigma(XB^{\prime})_{j}\\
-&\implies \exists c \in \mathbb{R}, X_{j,\bullet}B = X_{j,\bullet}B^{\prime} + c \\
-&\implies \exists c \in \mathbb{R}, \begin{pmatrix} X_{j,\bullet} \beta_1 & \dots & X_{j,\bullet} \beta_{R-1} & \vec{0}_{p+1} \end{pmatrix} = X_{j,\bullet}B^{\prime} + c
-
-\end{align*}
-Soient X : (p+1, n_2), B : (p+1, R) avec X de plein rang, i.e., rg(X) = p+1\implies XX^{\top} est inversible.
-On veut qu’il existe B^{\prime} et B avec B_{:,R} = \vec 0_p, par les propriétés de la fonction softmax, \sigma(.) :
+Soient B,B^{\prime} avec B_{\bullet,R} = B^{\prime}_{\bullet,R} = \vec{0}_{p+1} et X de rang plein tel que X^{\top}X soit inversible pas nécessaire.
\begin{align*}
-& \sigma(B^{\top}X) = \sigma({B^{\prime}}^{\top}X)\\
-& \iff \exists C \in \mathbb{R}^{n_2}, B^{\top} X = {B^{\prime}}^{\top} X + \pmb{1}_R C^{\top}\\
-& \iff \exists C \in \mathbb{R}^{n_2}, B^{\top} X - \pmb{1}_R C^{\top} = {B^{\prime}}^{\top} X\\
-& \iff \exists C \in \mathbb{R}^{n_2}, (B^{\top} X - \pmb{1}_R C^{\top}) X^{\top} = {B^{\prime}}^{\top} X X^{\top}\\
-& \iff \exists C \in \mathbb{R}^{n_2}, (B^{\top} X - \pmb{1}_R C^{\top}) X^{\top}(X X^{\top})^{-1} = {B^{\prime}}^{\top}\\
-
+&\sigma(XB) = \sigma(XB^{\prime})\\
+&\implies \exists C = \begin{pmatrix}c_1 \\ \vdots \\ c_j \\ \vdots \\ c_{n_2}\end{pmatrix} \in \mathbb{R}^{n_2}, X B = X B^{\prime} + C \pmb{1}_{R}^{\top} \\
+&\implies \exists C \in \mathbb{R}^{n_2}, (X B)_{j,r} = (X B^{\prime})_{j,r} + (C \pmb{1}_{R}^{\top})_{j,r} \\
+&\implies \exists C \in \mathbb{R}^{n_2}, \forall r\in\{1\dots,R\}, \forall j\in\{1,\dots,n_2\}, \sum_{k=1}^{p+1} x_{j,k} \beta_{k,r} = \sum_{k=1}^{p+1} x_{j,k} \beta^{\prime}_{k,r} + c_j\\
+&\implies \exists C \in \mathbb{R}^{n_2}, \forall j\in\{1,\dots,n_2\}, \sum_{k=1}^{p+1} x_{j,k} \beta_{k,R} = \sum_{k=1}^{p+1} x_{j,k} \beta^{\prime}_{k,R} + c_j \\
+&\implies \exists C \in \mathbb{R}^{n_2}, \forall j\in\{1,\dots,n_2\}, \sum_{k=1}^{p+1} x_{j,k} \times 0 = \sum_{k=1}^{p+1} x_{j,k} \times 0 + c_j \\
+&\implies \exists C \in \mathbb{R}^{n_2}, \forall j\in\{1,\dots,n_2\}, 0 = 0 + c_j \implies c_j = 0 \\
+&\implies C = \begin{pmatrix} 0 \\ \vdots \\ 0 \end{pmatrix} \text{and thus}, B = B^{\prime} \\
\end{align*}