Loading [MathJax]/jax/output/SVG/jax.js
Research article

Electromagnetic radiation and electrical stimulation controls of absence seizures in a coupled reduced corticothalamic model

  • Received: 23 July 2022 Revised: 27 September 2022 Accepted: 09 October 2022 Published: 21 October 2022
  • The important role of basal ganglia in corticothalamic loops has received widespread attention. However, its connection between coupled reduced corticothalamic networks is rarely researched, particularly the regulatory mechanism about electromagnetic radiation and electrical stimulation has not been comprehensively investigated. In this paper, we establish a model simplified the basal-ganglia as a connector connecting two corticothalamic loops. Four kinds of treatment methods are applied to the coupled reduced corticothalamic model, for instance deep brain stimulation (DBS), 1:0 coordinate reset stimulation (CRS) and 3:2 CRS to stimulate thalamic reticular nucleus (TRN) and electromagnetic radiation to stimulate the pyramidal neuronal population (PY). One of the important results is that the epileptic area can be significantly reduced in varying degrees by changing the strength of the basal-ganglia connector. Another one is that electromagnetic radiation, DBS and CRS have preferable inhibitory effects on absence seizure. The results show that DBS has a more significant inhibitory effect than 1:0 CRS and 3:2 CRS. The results might contribute to understanding the role of basal ganglia in coupled model and providing a reference for inhibiting epileptic seizures.

    Citation: Xiaolong Tan, Hudong Zhang, Yan Xie, Yuan Chai. Electromagnetic radiation and electrical stimulation controls of absence seizures in a coupled reduced corticothalamic model[J]. Electronic Research Archive, 2023, 31(1): 58-74. doi: 10.3934/era.2023004

    Related Papers:

    [1] Wei Qi . The polycyclic codes over the finite field Fq. AIMS Mathematics, 2024, 9(11): 29707-29717. doi: 10.3934/math.20241439
    [2] Turki Alsuraiheed, Elif Segah Oztas, Shakir Ali, Merve Bulut Yilgor . Reversible codes and applications to DNA codes over F42t[u]/(u21). AIMS Mathematics, 2023, 8(11): 27762-27774. doi: 10.3934/math.20231421
    [3] Ismail Aydogdu . On double cyclic codes over Z2+uZ2. AIMS Mathematics, 2024, 9(5): 11076-11091. doi: 10.3934/math.2024543
    [4] Ted Hurley . Ultimate linear block and convolutional codes. AIMS Mathematics, 2025, 10(4): 8398-8421. doi: 10.3934/math.2025387
    [5] Chaofeng Guan, Ruihu Li, Hao Song, Liangdong Lu, Husheng Li . Ternary quantum codes constructed from extremal self-dual codes and self-orthogonal codes. AIMS Mathematics, 2022, 7(4): 6516-6534. doi: 10.3934/math.2022363
    [6] Adel Alahmadi, Tamador Alihia, Patrick Solé . The build up construction for codes over a non-commutative non-unitary ring of order 9. AIMS Mathematics, 2024, 9(7): 18278-18307. doi: 10.3934/math.2024892
    [7] Hatoon Shoaib . Double circulant complementary dual codes over F4. AIMS Mathematics, 2023, 8(9): 21636-21643. doi: 10.3934/math.20231103
    [8] Adel Alahmadi, Altaf Alshuhail, Patrick Solé . The mass formula for self-orthogonal and self-dual codes over a non-unitary commutative ring. AIMS Mathematics, 2023, 8(10): 24367-24378. doi: 10.3934/math.20231242
    [9] Xuesong Si, Chuanze Niu . On skew cyclic codes over M2(F2). AIMS Mathematics, 2023, 8(10): 24434-24445. doi: 10.3934/math.20231246
    [10] Yuezhen Ren, Ruihu Li, Guanmin Guo . New entanglement-assisted quantum codes constructed from Hermitian LCD codes. AIMS Mathematics, 2023, 8(12): 30875-30881. doi: 10.3934/math.20231578
  • The important role of basal ganglia in corticothalamic loops has received widespread attention. However, its connection between coupled reduced corticothalamic networks is rarely researched, particularly the regulatory mechanism about electromagnetic radiation and electrical stimulation has not been comprehensively investigated. In this paper, we establish a model simplified the basal-ganglia as a connector connecting two corticothalamic loops. Four kinds of treatment methods are applied to the coupled reduced corticothalamic model, for instance deep brain stimulation (DBS), 1:0 coordinate reset stimulation (CRS) and 3:2 CRS to stimulate thalamic reticular nucleus (TRN) and electromagnetic radiation to stimulate the pyramidal neuronal population (PY). One of the important results is that the epileptic area can be significantly reduced in varying degrees by changing the strength of the basal-ganglia connector. Another one is that electromagnetic radiation, DBS and CRS have preferable inhibitory effects on absence seizure. The results show that DBS has a more significant inhibitory effect than 1:0 CRS and 3:2 CRS. The results might contribute to understanding the role of basal ganglia in coupled model and providing a reference for inhibiting epileptic seizures.



    Massey [1] introduced reversible codes that are known to exhibit useful properties in certain retrieval systems and data storage. Moreover, some reversible codes have been proven to possess excellent solid burst error correction capability and high transmission efficiency [2,3]. It has also recently been observed that reversible codes have broad applications in various areas of mathematics, including cryptography [4,5], and the theory of DNA codes [6,7,8].

    Interestingly, the class of reversible codes is closely connected to that of BCH codes because it is an important subclass of BCH codes. It is also closely related to the class of linear complementary dual codes (LCD codes, in short) introduced by Massey in [9]. In fact, Yang and Massey proved that a cyclic code is a reversible code if and only if it is an LCD code [10]. This interconnection between reversible codes, BCH codes, and LCD codes adds to their importance and potential applications in various domains.

    The Rosenbloom-Tsfasman metric, also known as the RT-metric, was first introduced by Rosenbloom and Tsfasman [11] in the field of coding theory. It was later introduced into the theory of uniform distributions by Skriganov [12] and Martin and Stinson [13]. RT-metric is a generalization of the classical Hamming metric, and it has immediately attracted the attention of many coding theorists, resulting in extensive research on codes equipped with this metric. The majority of research on codes in this metric focuses on various bounds [14], linearity [15,16,17], weight distribution and MacWilliam's identities [18,19,20,21], groups of automorphisms [22], maximum distance separability [23], burst error enumeration [24,25,26], normality [27], covering properties [28], construction of self-dual codes [29], and existence of LCD codes [30] over various algebraic structures.

    In the context of coding theory [11] and its corresponding notion in uniform distributions [12], the goal is to construct an RT-metric code with codewords that are maximally distant from each other, aiming for the smallest RT-distance between any two codewords to be as large as possible. Additionally, there is a desire for the RT-metric code to be as large as possible, akin to codes in the classical Hamming metric. However, these two objectives often conflict. Therefore, the aim is to achieve the maximum number of codewords with the greatest possible minimum distance or the largest minimum distance for a given number of codewords. Codes meeting these criteria are termed maximum distance separable (MDS) codes. Rosenbloom and Tsfasman [11] initially defined MDS codes over Fq with the ρ-metric in relation to potential information theoretic applications. Furthering their theory, Skriganov [12] related these codes to uniform distributions. An [n,k,dρ]q code in the RT-metric that attains the Singleton bound is considered an MDS code, meaning dρ=nk+1. Marka and Selvaraj [31] demonstrated that optimal codes in Fnq are MDS, and vice versa.

    As a result of this intriguing distinction of MDS codes in the RT metric, there arises a significant need for comprehensive study of MDS codes in this metric, such as the existence of MDS reversible codes. This paper aims to address this specific problem by investigating the presence of MDS reversible codes and subsequently exploring their properties if they are found to exist.

    Let u=(u1,u2,,un) and v=(v1,v2,,vn) be any two vectors in Fnq. The ρ-distance or RT-distance between them is denoted by dρ(u,v), defined as dρ(u,v)=max{i|uivi,1in}. A q-ary RT-metric code of length n refers to a subset of the space Fnq equipped with this metric. If this subset is a subspace, it is referred to as a linear RT-metric code. A generator matrix G of a k-dimensional linear code C in Fnq is a k×n matrix such that its rows form a basis for C. The coordinates of any set of k linearly independent columns of G represent the information set for code C.

    To derive MacWilliam's type relations for codes in the RT-metric, an essential inner product was introduced in [19] on the matrix space Matm×s(Fq). This particular inner product holds great importance in the investigation of codes in the RT-metric, as it influences various intriguing results. For instance, it indicates that the dual of an MDS code, under this specific inner product will also be an MDS code, which represents one of the noteworthy results in this context.

    For α=(α1,α2,...,αn),β=(β1,β2,...,βn)Fnq, the inner product of α and β is given by

    α,β=β,α=ni=1αiβni+1.

    Then, the dual C of the code C can be defined as

    C={αFnq|α,β=0forallβC}.

    An RT-metric code C is categorized based on certain properties. If C is contained within its dual code C, it is referred to as self-orthogonal. A self-dual code, on the other hand, satisfies the condition C=C. In contrast, for a code to be LCD, there are no non-zero codewords in common between C and its dual C. C is termed reversible if for every codeword c=(v1,v2,,vn) in C, its reverse Flip(c)=(vn,vn1,,v2,v1) is also an element of C and c is self-reversible if c=Flip(c).

    Let P=(pij)m×n be a matrix of size m×n. Then, we use the following notation (see Table 1) throughout this study.

    Table 1.  Notations and abbreviations.
    In the identity matrix of degree n
    Rn a matrix (rij)n×n, where rij=1, if i+j=n+1 and rij=0 otherwise
    PT the transpose of a matrix P, given by PT=(pji)n×m
    Flip(P) the column-reversed matrix of a matrix P, given by Flip(P)=(pi,nj+1)m×n
    RmP the row-reversed matrix of a rectangle matrix P
    PS the flip-diagonal transpose of a matrix P, which transposes the flip of P across its diagonal, i.e., PS=(pmi+1,nj+1)m×n
    Pk k×k square matrix
    RMDS reversible MDS
    SR self-dual reversible
    SRMDS self-dual reversible MDS
    x it rounds x up to the nearest integer

     | Show Table
    DownLoad: CSV

    Let P and Q be square matrices of order n. If PPT=In=PTP, then P is called orthogonal. If P=PT, then P is called symmetric. P is called centrosymmetric if P=PS. Furthermore, the following properties are straightforward:

    Rn=Flip(In);

    RTn=RSn=Rn;

    R2n=In;

    PS=RnPRn;

    (PT)S=(PS)T;

    (PS)S=P;

    (P+Q)S=PS+QS;

    (PQ)S=QSPS;

    Flip(P)=PRn.

    Lemma 3.1. If C is a reversible code of length n with dimension k over Fq with generator matrix G, then GS is also a generator matrix of C.

    Proof. Consider C as a reversible code with generator matrix G. Since C is reversible, Flip(G) is also a generator matrix of C. If Rk is non-singular, then GS = RkFlip(G) is also a generator matrix of C. Thus, the lemma holds true.

    Theorem 3.1. Let C be a linear code of even length n over Fq, with a generator matrix in the form G=[A|AS]. Then, C is reversible.

    Proof.

    G=[A|AS]isageneratormatrixofCFlip(G)=[Flip(AS)|Flip(A)]RkFlip(G)=Rk[Flip(AS)|Flip(A)]GS=[(AS)S|AS]GS=[A|AS]GS=G.

    Suppose C is not reversible. Then, Flip(G) cannot be a generator matrix of C. However, as Rk is non-singular, it implies that GS=RkFlip(G) is also not a generator matrix of C, leading to a contradiction. Therefore, C must be reversible.

    Theorem 3.2. Let C be a linear code of odd length n over Fq, with a generator matrix G in the form G=[A|y|AS], where y is a column vector such that y=yS. Then, C is reversible.

    Proof. The proof is similar to that of Theorem 3.1.

    Theorem 3.3. Let C be a reversible code of length n with dimension k over Fnq. Then:

    (i) If C has an odd length n, then we can express a generator matrix of C in the form G=[A|y|AS], where y is a column vector such that y=yS if and only if the total number of self-reversible codewords in code C is qk2.

    (ii) If C has an even length n, then we can represent a generator matrix of C in the form G=[A|AS] if and only if the total number of self-reversible codewords in C is qk2.

    Proof. Let C be a reversible code of length n with dimension k over Fnq.

    (ⅰ) Let us assume that G=[A|y|AS] represents a generator matrix for a reversible code C with an odd length n, where A is a matrix and y is a column vector satisfying y=yS.

    Case A: Assume k is even. Then, no self-reversible codeword exists as a row of generator matrix G=[A|y|AS]. Therefore, ri=Flip(rki+1),i{1,2,,k}, where ri is the ith row of G. Since C is reversible, ci=ri+rki+1(i=1,2,,k2) are k2 distinct self-reversible codewords. All distinct self-reversible codewords thus form a subspace of dimension k2 of C, leading to a total of qk2 self-reversible codewords.

    Case B: Assume k is odd. Then, exactly one self-reversible codeword exists as a row of generator matrix G=[A|y|AS] which is the (k+12)th row of G. Therefore, ri=Flip(rki+1),i{1,2,,k12}, where ri is the ith row of G. Since C is reversible, ci=ri+rki+1(i=1,2,,k12) and the (k+12)th row vectors as self-reversible codewords in G are k+12 distinct self-reversible codewords. Therefore, all distinct self-reversible codewords form a subspace of dimension k+12 of C, resulting in a total of qk+12 self-reversible codewords.

    From Cases A and B, we can conclude that the total number of self-reversible codewords in code C is qk2.

    Conversely, assume that the total number of self-reversible codewords in code C is qk2.

    Case A: Suppose k is even, and the total number of self-reversible codewords in C is qk2. Let U={u1,u2,,uk2} be a linearly independent subset of all self-reversible codewords in C. This subset forms a subspace with dimension k2 of C. Since C is reversible, every self-reversible codeword of subspace U can be written as ui=vi+Flip(vi)(i=1,2,,k2). Then, the sets Wi=<vi,Flip(vi)>, for i=1,2,,k2, span distinct subspaces of dimension 2 of C. For each j, WjijWi={0}, for i,j=1,2,,k2. Thus, B=k2i=1Wi, it contains k linearly independent codewords, and the direct sum of Wi's forms the basis of C, i.e., B=W1W2Wk2 is a basis of C.

    Case B: Suppose k is odd and the total number of self-reversible codewords in C is qk+12. Let t be one of the self-reversible codewords in C. Therefore, the subset t forms a subspace of dimension 1 of C. Let U={u1,u2,,uk12} be a linearly independent subset of all self-reversible codewords in C and it is disjoint from the subspace t in C. This subset forms a subspace with dimension k12 of C. Since C is reversible, every self-reversible codeword of subspace U can be written as ui=vi+Flip(vi)(i=1,2,,k12). Then, the sets Wi=<vi,Flip(vi)>,fori=1,2,,k12, span distinct subspaces of dimension 2 of C. For each j, WjijWi={0}, for i,j=1,2,,k12. Thus, B=k12i=1Wi, it contains k1 linearly independent codewords, and the direct sum of Wi's and t forms a basis of C, i.e., B=W1W2Wk12t is a basis of C.

    (ⅱ) The proof is similar to that for 3.3(i).

    Example 3.1. Consider a [7,3,4] reversible code C over GF(3) whose generator matrix is given by

    G=[121011200010002110121].

    The total number of self-reversible codewords in C is qk2=9 as the generators are (0,0,0,1,0,0,0) and (0,0,1,0,1,0,0). It is also to be observed that the generator matrix G above is in the form [A|y|AS]. This example follows from Theorem 3.3(i).

    Example 3.2. Consider a [6,4,2] reversible code C over GF(2) whose generator matrix is given by

    G=[110000101010010101000011].

    The total number of self-reversible codewords in C is qk2=4. It is also to be observed that the generator matrix G above is in the form G=[A|AS]. This example follows from Theorem 3.3(ii).

    Remark 3.1. Some of the reversible codes with a generator matrix G cannot be represented in the form G=[A|y|AS] or G=[A|AS], because the total number of self-reversible codewords in C is not equal to qk2. This can be seen from the following examples (Examples 3.3 and 3.4).

    Example 3.3. The matrix G given by

    G=[10000000001001000100001000000001]

    is a generator matrix for an [8,4,1] binary reversible code C in the RT-metric. However, this generator matrix G cannot be written in the form of [A|AS] for any matrix A. It is also to be noted that the total number of self-reversible codewords in C is 8, which is not equal to qk2=4.

    Example 3.4. The matrix G given by

    G=[101000102000101]

    is a generator matrix for a [5,3,3] ternary reversible code C in the RT-metric. However, this generator matrix G cannot be written in the form of G=[A|y|AS] for any matrix A. It is also to be noted that the total number of self-reversible codewords in C is 3, which is not equal to qk2=9.

    Theorem 3.4. Let C be a self-reversible code of length n with dimension k over Fnq. Then:

    (i) If C has an odd length n, then we can find a generator matrix of C in the form G=[A|y|Flip(A)], where y is a column vector, if and only if the total number of self-reversible codewords in C is qk.

    (ii) If C has an even length n, then we can find a generator matrix of C in the form G=[A|Flip(A)] if and only if the total number of self-reversible codewords in C is qk.

    Proof. The proof of this theorem is similar to the proof of Theorem 3.3.

    Theorem 3.5. Let C be an [n,k,d]q reversible code with the total number of self-reversible codewords qk2. Then, the dual C of C is an [n,nk,d]q reversible code, with the total number of self-reversible codewords qnk2.

    Proof. The proof of Theorem 3.5 is straightforward, relying on notations and basic algebraic manipulations.

    Theorem 4.1. Let C be a code of length n with dimension k (where kn2) in the RT-metric, whose generator matrix is in the form G=[Ak|Y|ASk], where Y is a k×(n2k) matrix. Then, C is MDS if and only if Ak is non-singular.

    Proof. Suppose that C is a code of length n with dimension k (where kn2) in the RT-metric, whose generator matrix is in the form G=[Ak|Y|ASk], where Y is a k×(n2k) matrix. Let C be an MDS code. Assume in contrary that Ak is singular. Then, ASk is also singular. Consequently, there exist at least two codewords x and z in C with the last k positions being the same, i.e., x=(x1,x2,,xnk,xnk+1,,xn) and z=(z1,z2,,znk,xnk+1,,xn). According to [31], "an (n,K,dρ)q code is MDS if and only if its partition number is ndρ+1." Thus, none of the two codewords have the same (ndρ+1)-tuple as their last ndρ+1 coordinates, which leads to a contradiction. Hence, Ak is non-singular.

    Conversely, assume that Ak is non-singular. Then, (ASk)1 is also non-singular. Thus, (ASk)1G is a generator matrix of C in the following form: (ASk)1G=[(ASk)1Ak|(ASk)1Y|(ASk)1ASk]=[(ASk)1Ak|(ASk)1Y|Ik]. Hence, C is an MDS.

    The following examples (Examples 5 and 6) illustrate Theorem 4.1.

    Example 4.1. Consider a [10,4,7] linear code C over GF(2) whose generator matrix is given by

    G=[1000100011001000101001010101001100110001].

    Here, d1=7, d2=8, d3=9, and d4=10. It is also to be observed that the generator matrix G above is in the form [Ak|Y|ASk] and that Ak is invertible.

    Example 4.2. Consider a [6,3,4] reversible code C over GF(3) whose generator matrix is given by

    G=[121122002200221121].

    Here, d1=4, d2=5, and d3=6. It is also to be observed that the generator matrix G above is in the form G=[Ak|ASk] and that Ak is invertible.

    Corollary 4.1. Let C be a code of length n with dimension k (where kn2) in the RT-metric, whose generator matrix is in the form G=[Ak|Y|ASk], where Y is a k×(n2k) matrix. Then, C is RMDS if and only if Ak is non-singular and Y is centrosymmetric.

    Proof. If we assume that C is RMDS in the RT-metric, from Theorem 4.1, Ak is non-singular. It is sufficient to prove that Y is centrosymmetric. As C is reversible, from Lemma 1, GS is also a generator matrix of C. Note that the rows of GS=[Ak|YS|ASk] and those of G=[Ak|Y|ASk] generate the same code C. This implies that Y=YS or Y is centrosymmetric.

    Conversely, assume that Ak is non-singular and Y is centrosymmetric. G=[Ak|Y|ASk] is a generator matrix of C, and (ASk)1G=[(ASk)1Ak|(ASk)1Y|(ASk)1ASk] is a generator matrix of C. This implies that G=[Bk|Y1|Ik] is a generator matrix of C, where Bk=(ASk)1Ak and Y1=(ASk)1Y. It is sufficient to prove that C is reversible, that is, to prove Y1=BkYS1 and (Flip(Bk))2=BkBSk=BSkBk=Ik. In [32], Theorem 3 states that the linear code C is RMDS code in the RT-metric if and only if Y1=BkYS1 and (Flip(Bk))2=BkBSk=BSkBk=Ik. Thus, Bk=(ASk)1AkandBSk=A1kR1kAkRk.

    ConsiderY1=(ASk)1YS(Yiscentrosymmetric)=(ASk)1(AkA1k)(RkFlip(Y))=((ASk)1Ak)(RkR1kA1k)(RkFlip(Y))=(Bk)Rk(RkAkRk)1(Flip(Y))(Bk=(ASk)1Ak)=(Bk)(Rk(ASk)1(Flip(Y)))=BkYS1(Y1=(ASk)1Y).
    Consider(Flip(Bk))2=BkBSk=((ASk)1Ak)(A1kR1kAkRk)=(RkAkRk)1(RkAkRk)=Ik.

    The following example (Example 4.3) illustrates Corollary 4.1.

    Example 4.3. Consider an [11,4,8] reversible code C over GF(2) whose generator matrix is given by

    G=[11100101000010001100111100110001000010100111].

    Here, d1=8, d2=9, d3=10, and d4=11. It is also to be observed that the generator matrix G above is in the form [Ak|Y|ASk]. Thus, Ak is invertible and Y is centrosymmetric.

    Theorem 4.2. Let C be a code of even length n with dimension k (n>k>n/2) in the RT-metric, where its generator matrix is in the form G=[A|AS], with Ak representing the first k×k square matrix of G. Then, the C is RMDS if and only if Ak is non-singular.

    Proof. The proof is similar to the proof of Theorem 4.1. The following example (Example 4.4) illustrates Theorem 4.2.

    Example 4.4. Consider a [6,4,3] reversible code C over GF(2) whose generator matrix is given by

    G=[100011001010010100110001].

    Here, d1=3, d2=4, d3=5, and d4=6. It is also to be observed that the generator matrix G above is in the form G=[A|AS] and that Ak is invertible.

    Theorem 4.3. Let C be a code of odd length n, with dimension k where n>k>n2, in the RT-metric. Its generator matrix is in the form G=[A|y|AS], where Ak represents the first k×k square matrix of G. Then, the C is RMDS if and only if Ak is non-singular and y is a column centrosymmetric vector.

    Proof. The proof is similar to the proof of Corollary 1. The following example (Example 4.5) illustrates Theorem 4.3.

    Example 4.5. Consider a [3,2,2] reversible code C over GF(5) whose generator matrix is given by

    G=[340043].

    Here, d1=2 and d2=3. It is also to be observed that the generator matrix G above is in the form G=[A|y|AS] and that Ak is invertible.

    Theorem 4.4. Every self-reversible [n=2k,k,dρ] code C in the RT-metric is MDS.

    Proof. Let C be any self-reversible [n=2k,k,dρ]q code with even length n=2k. Then, by using Definition 3 in [27], there exists a partition number l=k such that C is of type (k+1,k+2,2k). Hence, C is MDS. The following example (Example 4.6) illustrates Theorem 4.4.

    Example 4.6. Consider a [6,3,4] reversible code C over GF(2) whose generator matrix is given by

    G=[001100010010100001].

    Here, d1=4, d2=5, and d3=6. It is also to be observed that the generator matrix G above is in the form G=[Ak|Flip(Ak)] and that Ak is invertible.

    Theorem 4.5. Every self-reversible [n=2k1,k,dρ] code C with odd length n=2k1 in the RT-metric is MDS.

    Proof. The proof of this theorem is similar to the proof of Theorem 4.4. The following example (Example 4.7) illustrates Theorem 4.5.

    Example 4.7. Consider a [5,3,3] reversible code C over GF(3) whose generator matrix is given by

    G=[002000101020002].

    Here, d1=4, d2=5, and d3=6. It is also to be observed that the generator matrix G above is in the form G=[A|Flip(A)] and that Ak is invertible.

    Theorem 5.1. If C is an [n=2k,k,dρ] reversible code over Fq in the RT-metric with a minimum distance dρ=1, then C cannot be self-dual in the RT-metric.

    Proof. The proof of Theorem 5.1 is straightforward, relying on notations and basic algebraic manipulations.

    Remark 5.1. If C is an [n=2k,k,dρ] self-dual code over Fq in the RT-metric with a minimum distance of dρ=1, then C cannot be reversible. This can be seen from the following examples (Examples 5.1 and 5.2).

    Example 5.1. Consider a [6,3,1] linear code C over GF(2) whose generator matrix is given by

    G=[100000011000010110].

    Here, d1=1, d2=3, and d3=5. It can be observed that C is a [6,3,1] self-dual code in the RT-metric over GF(2), but it is not reversible.

    Example 5.2. Consider a [4,2,1] linear code C over GF(5) whose generator matrix is given by

    G=[40002030].

    Here, d1=1 and d2=3. It can be observed that C is a [4,2,1] self-dual code in the RT-metric over GF(5), but it is not reversible.

    Theorem 5.2. Let C be an [n=2k,k,dρ] binary reversible code in the RT-metric, with a generator matrix in the form [Ak|ASk]. Then, C is self-dual if and only if it satisfies one of the following conditions:

    (i) AkFlip(ATk)=(AkFlip(ATk))T;

    (ii) Flip(AkATk) is symmetric;

    (iii) AkATk is centrosymmetric.

    Proof. Consider:

    (i) Suppose C is self-dual [29], which implies that

    GG=0[Ak|ASk][(Flip(ASk))TFlip(Ak)T]=0Ak(Flip(ASk))T+ASk(Flip(Ak))T=0RkAkATk+AkFlip(ATk)=0RkAkATk=AkFlip(ATk)AkATkRk=(AkFlip(ATk))TAkFlip(ATk)=(AkFlip(ATk))T.

    (ii) Consider

    (AkATk)Rk=(AkFlip(ATk))TFlip(AkATk)=(AkATkRk)TFlip(AkATk)=(Flip(AkATk))TFlip(AkATk)is symmetric.

    (iii) Consider

    RkAkATk=AkFlip(ATk)RkAkATk=AkATkRkRk(AkATk)=(AkATk)Rk(AkATk)is centrosymmetric.

    Example 5.3. Consider a [6,3,3] reversible code C over GF(2) whose generator matrix is given by

    G=[101000010010000101].

    Here, d1=3, d2=5, and d3=6. It is also to be observed that the generator matrix G above is in the form G=[Ak|ASk] and that Flip(AkATk) is symmetric.

    Theorem 5.3. Let C be an [n=2k,k,dρ] non-binary reversible code in the RT-metric, with a generator matrix in the form [Ak|ASk]. Then, C is self-dual if and only if it satisfies one of the following conditions:

    (i) AkFlip(ATk)=(AkFlip(ATk))T;

    (ii) Flip(AkATk) is skew-symmetric.

    Proof. The proof of this theorem is similar to the proof of 5.2.

    Example 5.4. Consider a [4,2,3] reversible code C over GF(5) whose generator matrix is given by

    G=[40300304].

    Here, d1=3 and d2=4. It is also to be observed that the generator matrix G above is in the form G=[Ak|ASk] and that Flip(AkATk) is skew-symmetric.

    Theorem 5.4. Every binary self-reversible [n=2k,k,dρ] code C in the RT-metric is SR-MDS.

    Proof. The proof of Theorem 5.4 is straightforward, relying on notations and basic algebraic manipulations.

    Example 5.5. Consider a [4,2,3] binary self-reversible code C over GF(2) whose generator matrix is given by

    G=[10010110].

    Here, d1=3 and d2=4. It is also to be observed that the generator matrix G above is in the form G=[Ak|Flip(Ak)], and that C is self-dual.

    Theorem 6.1. Let G be a generator matrix of a self-dual code of length n. Then,

    [GOn/2,nOn/2,nFlip(G)]

    generates an SR code of length 2n in the RT-metric.

    Theorem 6.2. Let C be an [n1,k,d,R] RMDS code with a generator matrix in the form [AS|A] in the RT-metric. Then,

    [ORn2In2OASOOA]

    generates an RMDS code [2(n1+n2),n1+n2,dρ+n2,R+n2] with covering radius R+n.

    Proof. Consider

    [ORn2In2OASOOA][OFlip(A)TRn2OIn2OOFlip(AS)T]
    =[2In2OOAFlip(AT)+(AFlip(AT))T]
    =O(ifCisbinaryselfdual).

    In this study, we provided some basic properties of reversible linear codes and obtained a condition for a reversible code to be an MDS code. Furthermore, we established some necessary and sufficient conditions for a reversible code to be self-dual. Finally, some constructions of reversible codes in the RT-metric were proposed.

    Conceptualization: Bodigiri Sai Gopinadh formulated the initial research problem and developed the overarching mathematical framework. Validation: Venkatrajam Marka independently verified the correctness of the mathematical results, played a pivotal role in problem discussion, and providing continuous supervision. Both authors have read and approved the final version of the manuscript for publication.

    The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

    The authors declare no conflicts of interest.



    [1] R. M. Durón, M. T. Medina, I. E. Martínez-Juárez, Seizures of idiopathic generalized epilepsies, Epilepsia, 46 (2010), 34–47. https://doi.org/10.1111/j.1528-1167.2005.00312.x
    [2] A. Tolaymat, A. Nayak, J. D. Geyer, Diagnosis and management of childhood epilepsy, Curr. Probl. Pediatr. Adolesc. Health Care, 45 (2015), 3–17. https://doi.org/10.1016/j.cppeds.2014.12.002 doi: 10.1016/j.cppeds.2014.12.002
    [3] V. Crunelli, N. Leresche, Childhood absence epilepsy: Genes, channels, neurons and networks, Nat. Rev. Neurosci., 3 (2002), 371–382. https://doi.org/10.1038/nrn811 doi: 10.1038/nrn811
    [4] R. Guerrini, F. Melani, C. Brancati, A. R. Ferrari, Dysgraphia as a mild expression of dystonia in children with absence epilepsy, Plos One, 10 (2015), e0130883. https://doi.org/10.1371/journal.pone.0130883 doi: 10.1371/journal.pone.0130883
    [5] E. Murphy, K. Hoshi, A. Benítez-Burraco, Subcortical syntax: Reconsidering the neural dynamics of language, J. Neurolinguistics, 62 (2022), 101062. https://doi.org/10.1016/j.jneuroling.2022.101062 doi: 10.1016/j.jneuroling.2022.101062
    [6] G. Leisman, O. Braun-Benjamin, R. Melillo, Cognitive-motor interactions of the basal ganglia in development, Front. Syst. Neurosci., 8 (2014), 16. https://doi.org/10.3389/fnsys.2014.00016 doi: 10.3389/fnsys.2014.00016
    [7] C. Marescaux, M. Vergnes, Genetic absence epilepsy in rats from strasbourg (GAERS), Ital. J. Neurol. Sci., 16 (1995), 113–118. https://doi.org/10.1007/BF02229083 doi: 10.1007/BF02229083
    [8] A. M. L. Coenen, E. L. J. M. Luijtelaar, Genetic animal models for absence epilepsy: A review of the WAG/Rij strain of rats, Behav. Genet., 33 (2003), 635–655. https://doi.org/10.1023/A:1026179013847 doi: 10.1023/A:1026179013847
    [9] I. Timofeev, M. Steriade, Neocortical seizures: Initiation, development and cessation, Neuroscience, 123 (2004), 299–336. https://doi.org/10.1016/j.neuroscience.2003.08.051 doi: 10.1016/j.neuroscience.2003.08.051
    [10] R. L. Albin, A. B. Young, J. B. Penney, The functional anatomy of basal ganglia disorders, Trends Neurosci., 12 (1989), 366–375. https://doi.org/10.1016/0166-2236(89)90074-X doi: 10.1016/0166-2236(89)90074-X
    [11] A. Parent, L. N. Hazrati, Functional anatomy of the basal ganglia. I. The cortico-basal ganglia-thalamo-cortical loop, Brain Res. Rev., 20 (1995), 91–127. https://doi.org/10.1016/0165-0173(94)00007-C doi: 10.1016/0165-0173(94)00007-C
    [12] D. Pinault, The thalamic reticular nucleus: Structure, function and concept, Brain Res. Rev., 46 (2004), 1–31. https://doi.org/10.1016/j.brainresrev.2004.04.008 doi: 10.1016/j.brainresrev.2004.04.008
    [13] R. W. Guillery, J. K. Harting, Structure and connections of the thalamic reticular nucleus: Advancing views over half a century, J. Comp. Neurol., 463 (2003), 360–371. https://doi.org/10.1002/cne.10738 doi: 10.1002/cne.10738
    [14] Z. Wang, Q. Wang, Stimulation strategies for absence seizures: Targeted therapy of the focus in coupled thalamocortical model, Nonlinear Dyn., 96 (2019), 1649–1663. https://doi.org/10.1007/s11071-019-04876-z doi: 10.1007/s11071-019-04876-z
    [15] T. Bessaïh, L. Bourgeais, C. I. Badiu, D. A. Carter, T. I. Toth, Nucleus-specific abnormalities of GABAergic synaptic transmission in a genetic model of absence seizures, J. Neurophysiol., 96 (2006), 3074–3081. https://doi.org/10.1152/jn.00682.2006 doi: 10.1152/jn.00682.2006
    [16] S. Seo, B. Leitch, Synaptic changes in GABAA receptor expression in the thalamus of the stargazer mouse model of absence epilepsy, Neuroscience, 306 (2015), 28–38. https://doi.org/10.1016/j.neuroscience.2015.08.021 doi: 10.1016/j.neuroscience.2015.08.021
    [17] G. Avanzini, M. D. Curtis, C. Marescaux, F. Panzia, R. Sreafico, M. Vergnes, Role of the thalamic reticular nucleus in the generation of rhythmic thalamo-cortical activities subserving spike and waves, in Generalized Non-Convulsive Epilepsy: Focus on GABA-B Receptors, Springer, Vienna, 35 (1992), 85–95. https://doi.org/10.1007/978-3-7091-9206-1_6
    [18] Z. Nanobashvili, T. Chachua, A. Nanobashvili, I. Bilanishvili, O. Lindvall, Z. Kokaia, Suppression of limbic motor seizures by electrical stimulation in thalamic reticular nucleus, Exp. Neurol., 181 (2003), 224–230. https://doi.org/10.1016/S0014-4886(03)00045-1 doi: 10.1016/S0014-4886(03)00045-1
    [19] C. R. Pantoja-Jiménez, V. M. Magdaleno-Madrigal, S. Almazán-Alvarado, R. Fernández-Masa, Anti-epileptogenic effect of high-frequency stimulation in the thalamic reticular nucleus on PTZ-induced seizures, Brain Stimul., 7 (2014), 587–594. https://doi.org/10.1016/j.brs.2014.03.012
    [20] A. Clemente-Perez, S. R. Makinson, B. Higashikubo, S. Brovarney, Distinct thalamic reticular cell types differentially modulate normal and pathological cortical rhythms, Cell Rep., 19 (2017), 2130–2142. https://doi.org/10.1016/j.celrep.2017.05.044 doi: 10.1016/j.celrep.2017.05.044
    [21] W. J. Chang, W. P. Chang, B. C. Shyu, Suppression of cortical seizures by optic stimulation of the reticular thalamus in PV-mhChR2-YFP BAC transgenic mice, Mol. Brain, 10 (2017), 1–15. https://doi.org/10.1186/s13041-017-0320-0 doi: 10.1186/s13041-017-0320-0
    [22] P. Kwan, M. J. Brodie, Early identification of refractory epilepsy, New Engl. J. Med., 342 (2000), 314–319. https://doi.org/10.1056/NEJM200002033420503 doi: 10.1056/NEJM200002033420503
    [23] J. Engel, S. Wiebe, J. French, M. Sperling, P. Williamson, D. Spencer, et al., Practice parameter: temporal lobe and localized neocortical resections for epilepsy, Neurology, 60 (2003), 538–547. https://doi.org/10.1212/01.WNL.0000055086.35806.2D
    [24] P. Kwan, S. C. Schachter, M. J. Brodie, Drug-resistant epilepsy, New Engl. J. Med., 365 (2011), 919–926. https://doi.org/10.1056/NEJMra1004418
    [25] K. Lehtimäki, J. W. Långsjö, J. Ollikainen, H. Heinonen, M. Möttönen, Successful management of super-refractory status epilepticus with thalamic deep brain stimulation, Ann. Neurol., 81 (2017), 142–146. https://doi.org/10.1002/ana.24821 doi: 10.1002/ana.24821
    [26] I. Adamchic, C. Hauptmann, U. B. Barnikol, N. Pawelczyk, O. Popovych, T. T. Barnikol, Coordinated reset neuromodulation for Parkinson's disease: Proof-of-concept study, Mov. Disord., 29 (2014), 1679–1684. https://doi.org/10.1002/mds.25923 doi: 10.1002/mds.25923
    [27] D. Fan, Q. Wang, Closed-loop control of absence seizures inspired by feedback modulation of basal ganglia to the corticothalamic circuit, IEEE Trans. Neural Syst. Rehabil. Eng., 28 (2020), 581–590. https://doi.org/10.1109/TNSRE.2020.2969426 doi: 10.1109/TNSRE.2020.2969426
    [28] S. Majhi, D. Ghosh, Alternating chimeras in networks of ephaptically coupled bursting neurons, Chaos: An Interdiscip. J. Nonlinear Sci., 28 (2018), 083113. https://doi.org/10.1063/1.5022612 doi: 10.1063/1.5022612
    [29] B. K. Bera, S. Rakshit, D. Ghosh, J. Kurths, Spike chimera states and firing regularities in neuronal hypernetworks, Chaos: An Interdiscip. J. Nonlinear Sci., 29 (2019), 053115.
    [30] S. Rakshit, A. Ray, B. K. Bera, D. Ghosh, Synchronization and firing patterns of coupled Rulkov neuronal map, Nonlinear Dyn., 94 (2018), 785–805. https://doi.org/10.1007/s11071-018-4394-8 doi: 10.1007/s11071-018-4394-8
    [31] C. Wang, J. Tang, J. Ma, Minireview on signal exchange between nonlinear circuits and neurons via field coupling, Eur. Phys. J. Spec. Top., 228 (2019), 1907–1924. https://doi.org/10.1140/epjst/e2019-800193-8 doi: 10.1140/epjst/e2019-800193-8
    [32] M. Vinaya, R. P. Ignatius, Electromagnetic radiation from memristor applied to basal ganglia helps in controlling absence seizures, Nonlinear Dyn., 101 (2020), 2369–2380. https://doi.org/10.1007/s11071-020-05955-2 doi: 10.1007/s11071-020-05955-2
    [33] M. Lv, J. Ma, Multiple modes of electrical activities in a new neuron model under electromagnetic radiation, Neurocomputing, 205 (2016), 375–381. https://doi.org/10.1016/j.neucom.2016.05.004 doi: 10.1016/j.neucom.2016.05.004
    [34] M. Lv, C. Wang, G. Ren, J. Ma, X. Song, Model of electrical activity in a neuron under magnetic flow effect, Nonlinear Dyn., 85 (2016), 1479–1490. https://doi.org/10.1007/s11071-016-2773-6 doi: 10.1007/s11071-016-2773-6
    [35] M. Chen, D. Guo, T. Wang, W. Jing, Y. Xia, P. Xu, et al., Bidirectional control of absence seizures by the basal ganglia: A computational evidence, PLoS Comput. Biol., 10 (2014), e1003495. https://doi.org/10.1371/journal.pcbi.1003495
    [36] M. Chen, D. Guo, M. Li, S. Wu, J. Ma, Y. Cui, et al., Critical roles of the direct GABAergic pallido-cortical pathway in controlling absence seizures, PLoS Comput. Biol., 11 (2015), e1004539. https://doi.org/10.1371/journal.pcbi.1004539
    [37] P. A. Robinson, C. J. Rennie, D. L. Rowe, Dynamics of large-scale brain activity in normal arousal states and epileptic seizures, Phys. Rev. E, 65 (2002), 041924. https://doi.org/10.1103/PhysRevE.65.041924 doi: 10.1103/PhysRevE.65.041924
    [38] M. Breakspear, J. A. Roberts, J. R. Terry, S. Rodrigues, N. Mahant, P. A. Robinson, A unifying explanation of primary generalized seizures through nonlinear brain modeling and bifurcation analysis, Cereb. Cortex, 16 (2006), 1296–1313. https://doi.org/10.1093/cercor/bhj072 doi: 10.1093/cercor/bhj072
    [39] P. A. Robinson, C. J. Rennie, J. J. Wright, Propagation and stability of waves of electrical activity in the cerebral cortex, Phys. Rev. E, 56 (1997), 826–840. https://doi.org/10.1103/PhysRevE.56.826 doi: 10.1103/PhysRevE.56.826
    [40] P. A. Robinson, C. J. Rennie, J. J. Wright, H. Bahramali, E. Gordon, D. L. Rowe, Prediction of electroencephalographic spectra from neurophysiology, Phys. Rev. E, 63 (2001), 021903. https://doi.org/10.1103/PhysRevE.63.021903 doi: 10.1103/PhysRevE.63.021903
    [41] S. J. van Albada, R. T. Gray, P. M. Drysdale, P. A. Robinson, Mean-field modeling of the basal ganglia-thalamocortical system. II: Dynamics of parkinsonian oscillations, J. Theor. Biol., 257 (2009), 664–688. https://doi.org/10.1016/j.jtbi.2008.12.013 doi: 10.1016/j.jtbi.2008.12.013
    [42] B. Hu, Q. Wang, Controlling absence seizures by deep brain stimulus applied on substantia nigra pars reticulata and cortex, Chaos, Solitons Fractals, 80 (2015), 13–23. https://doi.org/10.1016/j.chaos.2015.02.014 doi: 10.1016/j.chaos.2015.02.014
    [43] M. I. Gulcebi, S. Ketenci, R. Linke, H. Hacıoğl, Topographical connections of the substantia nigra pars reticulata to higher-order thalamic nuclei in the rat, Brain Res. Bull., 87 (2012), 312–318. https://doi.org/10.1016/j.brainresbull.2011.11.005 doi: 10.1016/j.brainresbull.2011.11.005
    [44] G. D. Chiara, M. L. Porceddu, M. Morelli, M. L. Mulas, G. L. Gessa, Evidence for a GABAergic projection from the substantia nigra to the ventromedial thalamus and to the superior colliculus of the rat, Brain Res., 176 (1979), 273–284. https://doi.org/10.1016/0006-8993(79)90983-1 doi: 10.1016/0006-8993(79)90983-1
    [45] P. Suffczynski, S. Kalitzin, F. L. Da Silva, Dynamics of non-convulsive epileptic phenomena modeled by a bistable neuronal network, Neuroscience, 126 (2004), 467–484. https://doi.org/10.1016/j.neuroscience.2004.03.014
    [46] Q. Li, S. Tang, H. Zeng, T. Zhou, On hyperchaos in a small memristive neural network, Nonlinear Dyn., 78 (2014), 1087–1099. https://doi.org/10.1007/s11071-014-1498-7 doi: 10.1007/s11071-014-1498-7
    [47] Q. Li, H. Zeng, J. Li, Hyperchaos in a 4D memristive circuit with infinitely many stable equilibria, Nonlinear Dyn., 79 (2015), 2295–2308. https://doi.org/10.1007/s11071-014-1812-4 doi: 10.1007/s11071-014-1812-4
    [48] D. Cafagna, G. Grassi, On the simplest fractional-order memristor-based chaotic system, Nonlinear Dynam., 70 (2012), 1185–1197. https://doi.org/10.1007/s11071-012-0522-z doi: 10.1007/s11071-012-0522-z
    [49] F. Marten, S. Rodrigues, O. Benjamin, M. P. Richardson, J. R. Terry, Onset of polyspike complexes in a mean-field model of human electroencephalography and its application to absence epilepsy, Philos. Trans. R. Soc. A, 367 (2009), 1145–1161. https://doi.org/10.1098/rsta.2008.0255 doi: 10.1098/rsta.2008.0255
    [50] R. L. Macdonald, J. Q. Kang, M. J. Gallagher, H. J. Feng, GABAA receptor mutations epilepsy associated with generalized epilepsies, Adv. Pharmacol., 54 (2006), 147–169. https://doi.org/10.1016/S1054-3589(06)54007-4 doi: 10.1016/S1054-3589(06)54007-4
    [51] A. Destexhe, Spike-and-wave oscillations based on the properties of GABAB receptors, J. Neurosci., 18 (1998), 9099–9111. https://doi.org/10.1523/JNEUROSCI.18-21-09099.1998 doi: 10.1523/JNEUROSCI.18-21-09099.1998
  • This article has been cited by:

    1. Bodigiri Sai Gopinadh, Venkatrajam Marka, Reversible codes in the Rosenbloom-Tsfasman metric, 2024, 9, 2473-6988, 22927, 10.3934/math.20241115
  • Reader Comments
  • © 2023 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(1755) PDF downloads(93) Cited by(1)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog