}^{(j)}$ the $j$th column of ${{D}_i}$, then $$\label{eq:columns}
{{D}_i}^{(j)}=\sum_{t=1}^{\ell}y_{t,i,j}{{C}_i}^{(t)}$$ for some $y_{t,i,j}$, which we also consider variable. This way we can consider a $k\times n$ generator matrix as a matrix in ${{\mathbb{F}}}_q[x_{w,z}, y_{t,i,j}]^{k\times n}$ (where ${{\mathbb{F}}}_q[x_{w,z}, y_{t,i,j}]$ denotes the polynomial ring in all $x_{w,z}, y_{t,i,j}$).

Let $R=\sum_{i=1}^m r_i$. We denote $\boldsymbol{\alpha} := (\alpha_{w,z})_{w,z}\in {{\mathbb{F}}}_q^{sk}$ and $\boldsymbol{\beta} := (\beta_{t,i,j})_{t,i,j} \in {{\mathbb{F}}}_q^{\ell R}$. If we replace the variables $x_{w,z}, y_{t,i,j}$ described above in a matrix in PMDS standard form by the values $\alpha_{w,z}, \beta_{t,i,j}$, we denote the corresponding generator matrix by $$G(\boldsymbol{\alpha},\boldsymbol{\beta}).$$ Analogously we will denote the variable form by $ G(\boldsymbol{x},\boldsymbol{y})$.

However, a general matrix of this form is not necessarily a generator matrix of a PMDS code for any values $\boldsymbol{\alpha},\boldsymbol{\beta}$. The following proposition shows what needs to be fulfilled to generate a PMDS code:

\[prop:PMDS\] A matrix $G\in {{\mathbb{F}}}_q^{k\times n}$ generates a $[n,k=m\ell-s, \ell; r_1,\dots,r_m]$-PMDS code if and only if, every submatrix in the set $$\mathcal T_{k,\ell}(G):=\left\{S\in {{\mathbb{F}}}^{k \times k} \mid \begin{array}{l}S \mbox{ is a submatrix of } G \mbox{ with }\\ \mbox{ at most }  \ell \mbox{ columns per block } B_
} ^{(j)}$ the $ j$th column of $ { { D}_i}$, then $ $ \label{eq: columns } 
 { { D}_i}^{(j)}=\sum_{t=1}^{\ell}y_{t, i, j}{{C}_i}^{(t)}$$ for some $ y_{t, i, j}$, which we also consider variable. This direction we can think a $ k\times n$ generator matrix as a matrix in $ { { \mathbb{F}}}_q[x_{w, z }, y_{t, i, j}]^{k\times n}$ (where $ { { \mathbb{F}}}_q[x_{w, z }, y_{t, one, j}]$ denotes the polynomial ring in all $ x_{w, z }, y_{t, i, j}$). 

 permit $ R=\sum_{i=1}^m r_i$. We denote $ \boldsymbol{\alpha }: = (\alpha_{w, z})_{w, z}\in { { \mathbb{F}}}_q^{sk}$ and $ \boldsymbol{\beta }: = (\beta_{t, i, j})_{t, i, j } \in { { \mathbb{F}}}_q^{\ell R}$. If we supplant the variables $ x_{w, z }, y_{t, i, j}$ described above in a matrix in PMDS standard shape by the values $ \alpha_{w, z }, \beta_{t, i, j}$, we announce the corresponding generator matrix by $ $ G(\boldsymbol{\alpha},\boldsymbol{\beta}).$$ Analogously we will denote the variable form by $ G(\boldsymbol{x},\boldsymbol{y})$. 

 However, a general matrix of this form is not necessarily a generator matrix of a PMDS code for any value $ \boldsymbol{\alpha},\boldsymbol{\beta}$. The following proposition shows what need to be fulfilled to generate a PMDS code: 

 \[prop: PMDS\ ] A matrix $ G\in { { \mathbb{F}}}_q^{k\times n}$ generates a $ [ n, k = m\ell - s, \ell; r_1,\dots, r_m]$-PMDS code if and merely if, every submatrix in the set $ $ \mathcal T_{k,\ell}(G):=\left\{S\in { { \mathbb{F}}}^{k \times k } \mid \begin{array}{l}S \mbox { is a submatrix of } G \mbox { with } \\ \mbox { at most }   \ell \mbox { columns per block } B _
}^{(j)}$ tje $j$th column of ${{D}_i}$, then $$\label{eq:columns}
{{B}_u}^{(j)}=\sum_{t=1}^{\xll}y_{t,i,j}{{D}_i}^{(t)}$$ for rome $y_{t,i,j}$, which we also consmder variqble. This way we can cunsider a $k\times b$ geierator matrix as a matrlr in ${{\jwthby{F}}}_w[x_{w,z}, y_{t,i,j}]^{k\timex n}$ (where ${{\kathbb{F}}}_q[x_{w,z}, y_{t,h,j}]$ dznotes the polynomial ring in all $x_{w,s}, y_{t,i,j}$).

Lrt $R=\sum_{i=1}^m r_i$. We qenoue $\foldajmnol{\alpha} := (\alpha_{w,z})_{w,z}\in {{\mathbb{F}}}_q^{sk}$ and $\bondsymbol{\beta} := (\beta_{t,i,j})_{t,i,j} \in {{\mathbb{F}}}_q^{\ell R}$. Iv we replace the vwriables $x_{w,e}, y_{t,y,h}$ described xbove in a matrix in PJDS standard form by the values $\alphc_{w,z}, \beta_{t,i,j}$, ww dftote the cocrespogding generabpr matsix by $$B(\boldsymbol{\alpma},\bolvsymvol{\beta}).$$ Analogously wx will denote the vatiable fork yy $ G(\boldsymbol{x},\boldstmvol{y})$.

Hmwevar, a tendram kafrix ov tiis form is not necessqrily a generator mstwpc of a PMDS dode fjr any values $\boldsymbol{\alpha},\boldsymbol{\beua}$. Ths following proposition shows what needs to he fulfiljed to generate a PMDS code:

\[prop:PMDS\] A matrix $G\in {{\kathbu{F}}}_d^{k\tnnes n}$ tejerates a $[n,k=m\ell-s, \ell; r_1,\dots,r_m]$-PMDS code if and knky if, every submctrix in the set $$\mwtnsal T_{k,\ell}(G):=\lefj\{S\in {{\macgbg{F}}}^{k \times k} \mid \behin{arrai}{l}S \mbix{ is a stbmayrix of } G \mbox{ with }\\ \mbox{ qt most }  \elj \mbox{ columns per ylock } B_
}^{(j)}$ the $j$th column of ${{D}_i}$, then for $y_{t,i,j}$, which also consider variable. a n$ generator matrix a matrix in y_{t,i,j}]^{k\times n}$ (where ${{\mathbb{F}}}_q[x_{w,z}, y_{t,i,j}]$ denotes polynomial ring in all $x_{w,z}, y_{t,i,j}$). Let $R=\sum_{i=1}^m r_i$. We denote $\boldsymbol{\alpha} := {{\mathbb{F}}}_q^{sk}$ and $\boldsymbol{\beta} := (\beta_{t,i,j})_{t,i,j} \in {{\mathbb{F}}}_q^{\ell R}$. If we replace the variables y_{t,i,j}$ above a in PMDS standard form by the values $\alpha_{w,z}, \beta_{t,i,j}$, we denote the corresponding generator matrix by Analogously we will denote the variable form by G(\boldsymbol{x},\boldsymbol{y})$. However, a general of this form is not a matrix of PMDS for values $\boldsymbol{\alpha},\boldsymbol{\beta}$. The proposition shows what needs to be fulfilled to generate a PMDS code: \[prop:PMDS\] A matrix $G\in {{\mathbb{F}}}_q^{k\times generates a r_1,\dots,r_m]$-PMDS code and if, submatrix in the T_{k,\ell}(G):=\left\{S\in {{\mathbb{F}}}^{k \times k} \mid \begin{array}{l}S submatrix of } G \mbox{ with }\\ \mbox{ most } \mbox{ columns per block } B_
}^{(j)}$ the $j$th column of ${{D}_i}$, then $$\labeL{eq:columns}
{{d}_i}^{(j)}=\suM_{t=1}^{\eLl}y_{T,i,J}{{C}_i}^{(t)}$$ For sOme $y_{t,i,j}$, which we ALso cOnsider variable. This way We can CoNSideR A $k\Times N$ generaTOr MATriX aS a MatRiX In ${{\MathbB{F}}}_q[X_{w,z}, y_{t,i,j}]^{K\times n}$ (wheRe ${{\mAtHbb{F}}}_q[x_{w,z}, y_{t,i,j}]$ DEnOtes the polYnoMial ring in alL $x_{w,Z}, y_{t,i,j}$).

LEt $r=\suM_{I=1}^m r_i$. WE deNote $\bOldsymBOl{\alphA} := (\alpha_{w,z})_{w,Z}\iN {{\Mathbb{f}}}_Q^{sk}$ and $\bOLDsYmboL{\beta} := (\beta_{t,i,j})_{t,i,j} \in {{\MAtHBb{F}}}_q^{\ell R}$. If we rePlace tHe VArIABleS $x_{w,Z}, y_{t,i,j}$ descrIbEd aboVE in a matRIx IN pmDS STandard form by The values $\alPHa_{w,Z}, \beta_{t,I,j}$, We dENote thE corrEsPOndIng generatoR matRix by $$G(\bolDsymboL{\Alpha},\boLDsymbol{\Beta}).$$ AnAloGouSly wE WiLl DenOtE The VArIabLE foRm by $ G(\bolDsYmBol{x},\bOldsYMBOL{y})$.

HoWevEr, a gEneraL matrix of this ForM is nOT neCessaRily a GeneRaTor maTrix of A PMDS CoDe for any values $\bOldsYmbol{\alphA},\boLdSymBoL{\beta}$. tHe follOwiNg pRopositIon showS WhaT nEEDS tO be fulfilled to geneRaTE A PmDS code:

\[pRop:PMDs\] a mAtRIx $G\in {{\matHbB{F}}}_q^{K\timES N}$ geneRateS A $[n,K=m\ell-s, \elL; r_1,\dots,R_M]$-PmDs code if AnD only iF, eVerY suBmatrIX in tHe set $$\mAthcal T_{k,\Ell}(G):=\lEFt\{S\in {{\mathbb{F}}}^{k \tIMes k} \mid \begin{aRRaY}{L}s \mBOx{ is A suBmatrix of } G \mBox{ wITh }\\ \mbOx{ at MOsT }  \elL \Mbox{ cOlumnS pER bLOck } B_
}^{(j)}$ the $j$th columnof ${{D}_i }$, t hen  $$ \l abel {eq: columns}
{{D}_ i }^{( j)}=\sum_{t=1}^{\ell}y _{t,i ,j } {{C} _ i} ^{(t) }$$ for so m e  $y _{ t, i,j }$ ,  w hichwealso co nsider var iab le . This way w e  c an conside r a  $k\times n$  ge nerato rmat r ix as  amatri x in $ { {\math bb{F}}}_q [x _ {w,z}, y_{t,i, j } ]^ {k\t imes n}$ (where $ { {\ m athbb{F}}}_q[x _{w,z} ,y _{ t , i,j }]$  denotes t he  poly n omial r i ng i n  al l  $x_{w,z}, y_ {t,i,j}$).Let  $R=\s um _{i = 1}^m r _i$.We den ote $\bolds ymbo l{\alpha}  := (\ a lpha_{w , z})_{w, z}\in{{\ mat hbb{ F }} }_ q^{ sk } $ a n d$\b o lds ymbol{\b et a}  := ( \bet a _ { t ,i,j })_ {t,i ,j} \ in {{\mathbb{ F}} }_q^ { \el l R}$ . Ifwe r ep lacethe va riabl es  $x_{w,z}, y_{t ,i,j }$ descri bed  a bov ein am atrixinPMD S stand ard for m  by  t h e va lues $\alpha_{w,z} ,\ b et a_{t,i,j }$, we de no t e the co rr esp ondi n g  gene rato r  m atrix by  $$G(\ b ol ds ymbol{\ al pha},\ bo lds ymb ol{\b e ta}) .$$ An alogousl y wew ill denote the variable form by $  G ( \bol dsy mbol{x},\bo ldsy m bol{ y})$ . 
How e ver,a gen er a lm atrix of this formis  not n ecess arily a gener ator matri x o f a PMDS  cod e  f o r any values $ \bold symbol{\al p ha},\bol dsymb ol{\beta }$. The f o l lowing p rop osi tio n s h o ws  what needs t o be f ul filledtogenerat e a  PM DScod e: 

\[prop: PMDS\] A  m at ri x$G\ in {{ \ mathbb{F }} }_q ^{ k\t imesn }$ gen erate s a$[ n, k =m\ ell-s,\ el l ;  r_1 ,\ do ts,r _m] $- PMDScode ifand onl y if, eve rys ubma tr ix  in the  set $$\mathc al  T_{k,\ell }( G): =\left \ { S\in {{\ mathbb{F}}}^{k \times k }  \mid \ beg in{ar ray} {l}S \mbo x{is a s ubm a trix o f } G\mbox {wit h }\\ \ m b ox { a tmost }  \e l l  \m box{co lumn s per b lock } B_
}^{(j)}$ the_$j$th column_of ${{D}_i}$, then $$\label{eq:columns}
{{D}_i}^{(j)}=\sum_{t=1}^{\ell}y_{t,i,j}{{C}_i}^{(t)}$$_for some_$y_{t,i,j}$,_which we_also_consider variable. This_way we can_consider a $k\times n$_generator matrix as_a_matrix in ${{\mathbb{F}}}_q[x_{w,z}, y_{t,i,j}]^{k\times n}$ (where ${{\mathbb{F}}}_q[x_{w,z}, y_{t,i,j}]$ denotes the polynomial ring in all_$x_{w,z},_y_{t,i,j}$).

Let $R=\sum_{i=1}^m_r_i$._We_denote $\boldsymbol{\alpha} := (\alpha_{w,z})_{w,z}\in {{\mathbb{F}}}_q^{sk}$_and $\boldsymbol{\beta} := (\beta_{t,i,j})_{t,i,j} \in_{{\mathbb{F}}}_q^{\ell R}$._If we replace the variables $x_{w,z}, y_{t,i,j}$ described_above_in a matrix_in PMDS standard form by the values $\alpha_{w,z}, \beta_{t,i,j}$,_we denote the corresponding generator matrix_by $$G(\boldsymbol{\alpha},\boldsymbol{\beta}).$$ Analogously_we_will_denote the variable form_by $ G(\boldsymbol{x},\boldsymbol{y})$.

However, a general matrix_of this form is not necessarily_a generator matrix of a PMDS code_for any values $\boldsymbol{\alpha},\boldsymbol{\beta}$. The following_proposition shows what needs to_be fulfilled_to generate a PMDS code:

\[prop:PMDS\]_A matrix $G\in_{{\mathbb{F}}}_q^{k\times n}$_generates a $[n,k=m\ell-s,_\ell; r_1,\dots,r_m]$-PMDS code if and only_if, every submatrix_in the set $$\mathcal T_{k,\ell}(G):=\left\{S\in {{\mathbb{F}}}^{k_\times_k} \mid \begin{array}{l}S_\mbox{_is_a submatrix_of } G_\mbox{_with }\\_\mbox{_at most }  \ell \mbox{_columns_per block } B_