Let N = {0, 1, ···, n-1}. A strongly idempotent self-orthogonal row Latin magic array of order n(SISORLMA(n) for short) based on N is an n × n array M satisfying the following properties:(1)...Let N = {0, 1, ···, n-1}. A strongly idempotent self-orthogonal row Latin magic array of order n(SISORLMA(n) for short) based on N is an n × n array M satisfying the following properties:(1) each row of M is a permutation of N, and at least one column is not a permutation of N;(2) the sums of the n numbers in every row and every column are the same;(3) M is orthogonal to its transpose;(4) the main diagonal and the back diagonal of M are 0, 1, ···, n-1 from left to right. In this paper, it is proved that an SISORLMA(n)exists if and only if n ? {2, 3}. As an application, it is proved that a nonelementary rational diagonally ordered magic square exists if and only if n ? {2, 3}, and a rational diagonally ordered magic square exists if and only if n ≠2.展开更多
We present two constructions for binary self-orthogonal codes. It turns out that our constructions yield a constructive bound on binary self-orthogonal codes. In particular, when the in-formation rate R = 1/2, by our ...We present two constructions for binary self-orthogonal codes. It turns out that our constructions yield a constructive bound on binary self-orthogonal codes. In particular, when the in-formation rate R = 1/2, by our constructive lower bound, the relative minimum distance δ≈ 0.0595 (for GV bound, δ≈ 0.110). Moreover, we have proved that the binary self-orthogonal codes asymptotically achieve the Gilbert-Varshamov bound.展开更多
Let Fq be a finite field with order q and D2n be the dihedral group with 2n elements, and gcd(q, 2n) = 1. In this article, the authors give precise descriptions and enumerations of linear complementary dual(LCD) codes...Let Fq be a finite field with order q and D2n be the dihedral group with 2n elements, and gcd(q, 2n) = 1. In this article, the authors give precise descriptions and enumerations of linear complementary dual(LCD) codes and self-orthogonal codes in the finite dihedral group algebras Fq[D2n]. Some numerical examples are also presented to illustrate the main results.展开更多
It is a regular way of constructing quantum error-correcting codes via codes with self-orthogonal property, and whether a classical Bose-Chaudhuri-Hocquenghem (BCH) code is self-orthogonal can be determined by its des...It is a regular way of constructing quantum error-correcting codes via codes with self-orthogonal property, and whether a classical Bose-Chaudhuri-Hocquenghem (BCH) code is self-orthogonal can be determined by its designed distance. In this paper, we give the sufficient and necessary condition for arbitrary classical BCH codes with self-orthogonal property through algorithms. We also give a better upper bound of the designed distance of a classical narrow-sense BCH code which contains its Euclidean dual. Besides these, we also give one algorithm to compute the dimension of these codes. The complexity of all algorithms is analyzed. Then the results can be applied to construct a series of quantum BCH codes via the famous CSS constructions.展开更多
Let m ≥ 2 be any natural number and let be a finite non-chain ring, where and q is a prime power congruent to 1 modulo (m-1). In this paper we study duadic codes over the ring and their extensions. A Gray map from to...Let m ≥ 2 be any natural number and let be a finite non-chain ring, where and q is a prime power congruent to 1 modulo (m-1). In this paper we study duadic codes over the ring and their extensions. A Gray map from to is defined which preserves self duality of linear codes. As a consequence self-dual, formally self-dual and self-orthogonal codes over are constructed. Some examples are also given to illustrate this.展开更多
Let <i>f</i>(u) and <i>g</i>(v) be two polynomials of degree <i>k</i> and <i>l</i> respectively, not both linear which split into distinct linear factors over F<sub&g...Let <i>f</i>(u) and <i>g</i>(v) be two polynomials of degree <i>k</i> and <i>l</i> respectively, not both linear which split into distinct linear factors over F<sub>q</sub>. Let <img src="Edit_83041428-d8b0-4505-8c3c-5e29f2886159.png" width="160" height="15" alt="" /> be a finite commutative non-chain ring. In this paper, we study polyadic codes and their extensions over the ring <i>R</i>. We give examples of some polyadic codes which are optimal with respect to Griesmer type bound for rings. A Gray map is defined from <img src="Edit_c75f119d-3176-4a71-a36a-354955044c09.png" width="50" height="15" alt="" /> which preserves duality. The Gray images of polyadic codes and their extensions over the ring <i>R</i> lead to construction of self-dual, isodual, self-orthogonal and complementary dual (LCD) codes over F<i><sub>q</sub></i>. Some examples are also given to illustrate this.展开更多
Let t ≥ 2 be an integer, and let p1, ···, ptbe distinct primes. By using algebraic properties, the present paper gives a sufficient and necessary condition for the existence of non-trivial self-orthogo...Let t ≥ 2 be an integer, and let p1, ···, ptbe distinct primes. By using algebraic properties, the present paper gives a sufficient and necessary condition for the existence of non-trivial self-orthogonal cyclic codes over the ring Zp1p2···ptand the corresponding explicit enumerating formula. And it proves that there does not exist any self-dual cyclic code over Zp1p2···pt.展开更多
In Enochs'relative homological dimension theory occur the(co)resolvent and(co)proper dimensions,which are defined by proper and coproper resolutions constructed by precovers and preenvelopes,respectively.Recently,...In Enochs'relative homological dimension theory occur the(co)resolvent and(co)proper dimensions,which are defined by proper and coproper resolutions constructed by precovers and preenvelopes,respectively.Recently,some authors have been interested in relative homological dimensions defined by just exact sequences.In this paper,we contribute to the investigation of these relative homological dimensions.First we study the relation between these two kinds of relative homological dimensions and establish some transfer results under adjoint pairs.Then relative global dimensions are studied,which lead to nice characterizations of some properties of particular cases of self-orthogonal subcategories.At the end of this paper,relative derived functors are studied and generalizations of some known results of balance for relative homology are established.展开更多
Let A be an abelian category,C an additive,full and self-orthogonal subcategory of A closed under direct summands,rG(C)the right Gorenstein subcategory of A relative to C,and⊥C the left orthogonal class of C.For an o...Let A be an abelian category,C an additive,full and self-orthogonal subcategory of A closed under direct summands,rG(C)the right Gorenstein subcategory of A relative to C,and⊥C the left orthogonal class of C.For an object A in A,we prove that if A is in the right 1-orthogonal class of rG(C),then the C-projective and rG(C)-projective dimensions of A are identical;if the rG(C)-projective dimension of A is finite,then the rG(C)-projective and⊥C-projective dimensions of A are identical.We also prove that the supremum of the C-projective dimensions of objects with finite C-projective dimension and that of the rG(C)-projective dimensions of objects with finite rG(C)-projective dimension coincide.Then we apply these results to the category of modules.展开更多
This paper discusses optimal binary codes and pure binary quantum codes created using Steane construction. First, a local search algorithm for a special subclass of quasi-cyclic codes is proposed, then five binary qua...This paper discusses optimal binary codes and pure binary quantum codes created using Steane construction. First, a local search algorithm for a special subclass of quasi-cyclic codes is proposed, then five binary quasi-cyclic codes are built. Second, three classical construction methods are generalized for new codes from old such that they are suitable for constructing binary self-orthogonal codes, and 62 binary codes and six subcode chains of obtained self-orthogonal codes are designed. Third, six pure binary quantum codes are constructed from the code pairs obtained through Steane construction. There are 66 good binary codes that include 12 optimal linear codes, 45 known optimal linear codes, and nine known optimal self-orthogonal codes. The six pure binary quantum codes all achieve the performance of their additive counterparts constructed by quaternary construction and thus are known optimal codes.展开更多
The authors study the binary codes spanned by the adjacency matrices of the strongly regular graphs(SRGs)on at most two hundred vertices whose existence is unknown.The authors show that in length less than one hundred...The authors study the binary codes spanned by the adjacency matrices of the strongly regular graphs(SRGs)on at most two hundred vertices whose existence is unknown.The authors show that in length less than one hundred they cannot be cyclic,except for the exceptions of the SRGs of parameters(85,42,20,21)and(96,60,38,36).In particular,the adjacency code of a(85,42,20,21)is the zero-sum code.In the range[100,200]the authors find 29 SRGs that could possibly have a cyclic adjacency code.展开更多
基金Supported by the National Natural Science Foundation of China(No.11271089)Guangxi Nature Science Foundation(No.2012GXNSFAA053001)+1 种基金Key Foundation of Guangxi Education Department(No.201202ZD012)Guangxi “Ba Gui” Team for Research and Innovation
文摘Let N = {0, 1, ···, n-1}. A strongly idempotent self-orthogonal row Latin magic array of order n(SISORLMA(n) for short) based on N is an n × n array M satisfying the following properties:(1) each row of M is a permutation of N, and at least one column is not a permutation of N;(2) the sums of the n numbers in every row and every column are the same;(3) M is orthogonal to its transpose;(4) the main diagonal and the back diagonal of M are 0, 1, ···, n-1 from left to right. In this paper, it is proved that an SISORLMA(n)exists if and only if n ? {2, 3}. As an application, it is proved that a nonelementary rational diagonally ordered magic square exists if and only if n ? {2, 3}, and a rational diagonally ordered magic square exists if and only if n ≠2.
基金supported by the China Scholarship Council, National Natural Science Foundation of China(Grant No.10571026)the Cultivation Fund of the Key Scientific and Technical Innovation Project of Ministry of Education of Chinathe Specialized Research Fund for the Doctoral Program of Higher Education (GrantNo. 20060286006)
文摘We present two constructions for binary self-orthogonal codes. It turns out that our constructions yield a constructive bound on binary self-orthogonal codes. In particular, when the in-formation rate R = 1/2, by our constructive lower bound, the relative minimum distance δ≈ 0.0595 (for GV bound, δ≈ 0.110). Moreover, we have proved that the binary self-orthogonal codes asymptotically achieve the Gilbert-Varshamov bound.
基金supported by the National Natural Science Foundation of China(Nos.61772015,11971321,12101326)Foundation of Nanjing Institute of Technology(No.CKJB202007)+4 种基金the NUPTSF(No.NY220137)the Guangxi Natural Science Foundation(No.2020GXNSFAA159053)the National Key Research and Development Program of China(No.2018YFA0704703)Foundation of Science and Technology on Information Assurance Laboratory(No.KJ-17-010)the Open Project of Shanghai Key Laboratory of Trustworthy Computing(No.OP202101)。
文摘Let Fq be a finite field with order q and D2n be the dihedral group with 2n elements, and gcd(q, 2n) = 1. In this article, the authors give precise descriptions and enumerations of linear complementary dual(LCD) codes and self-orthogonal codes in the finite dihedral group algebras Fq[D2n]. Some numerical examples are also presented to illustrate the main results.
基金Supported by the National Natural Science Foundation of China (No.60403004)the Outstanding Youth Foundation of China (No.0612000500)
文摘It is a regular way of constructing quantum error-correcting codes via codes with self-orthogonal property, and whether a classical Bose-Chaudhuri-Hocquenghem (BCH) code is self-orthogonal can be determined by its designed distance. In this paper, we give the sufficient and necessary condition for arbitrary classical BCH codes with self-orthogonal property through algorithms. We also give a better upper bound of the designed distance of a classical narrow-sense BCH code which contains its Euclidean dual. Besides these, we also give one algorithm to compute the dimension of these codes. The complexity of all algorithms is analyzed. Then the results can be applied to construct a series of quantum BCH codes via the famous CSS constructions.
文摘Let m ≥ 2 be any natural number and let be a finite non-chain ring, where and q is a prime power congruent to 1 modulo (m-1). In this paper we study duadic codes over the ring and their extensions. A Gray map from to is defined which preserves self duality of linear codes. As a consequence self-dual, formally self-dual and self-orthogonal codes over are constructed. Some examples are also given to illustrate this.
文摘Let <i>f</i>(u) and <i>g</i>(v) be two polynomials of degree <i>k</i> and <i>l</i> respectively, not both linear which split into distinct linear factors over F<sub>q</sub>. Let <img src="Edit_83041428-d8b0-4505-8c3c-5e29f2886159.png" width="160" height="15" alt="" /> be a finite commutative non-chain ring. In this paper, we study polyadic codes and their extensions over the ring <i>R</i>. We give examples of some polyadic codes which are optimal with respect to Griesmer type bound for rings. A Gray map is defined from <img src="Edit_c75f119d-3176-4a71-a36a-354955044c09.png" width="50" height="15" alt="" /> which preserves duality. The Gray images of polyadic codes and their extensions over the ring <i>R</i> lead to construction of self-dual, isodual, self-orthogonal and complementary dual (LCD) codes over F<i><sub>q</sub></i>. Some examples are also given to illustrate this.
基金supported by the Project of Science and Technology Department of Sichuan Province(No.2016JY0134)
文摘Let t ≥ 2 be an integer, and let p1, ···, ptbe distinct primes. By using algebraic properties, the present paper gives a sufficient and necessary condition for the existence of non-trivial self-orthogonal cyclic codes over the ring Zp1p2···ptand the corresponding explicit enumerating formula. And it proves that there does not exist any self-dual cyclic code over Zp1p2···pt.
基金The second and fourth authors were partially supported by the grant MTM2014-54439-P from Ministerio de Economia y CompetitividadThe third author was partially supported by NSFC(11771202).
文摘In Enochs'relative homological dimension theory occur the(co)resolvent and(co)proper dimensions,which are defined by proper and coproper resolutions constructed by precovers and preenvelopes,respectively.Recently,some authors have been interested in relative homological dimensions defined by just exact sequences.In this paper,we contribute to the investigation of these relative homological dimensions.First we study the relation between these two kinds of relative homological dimensions and establish some transfer results under adjoint pairs.Then relative global dimensions are studied,which lead to nice characterizations of some properties of particular cases of self-orthogonal subcategories.At the end of this paper,relative derived functors are studied and generalizations of some known results of balance for relative homology are established.
基金This research was partially supported by NSFC(Grant Nos.11571164,11971225,11901341)the NSF of Shandong Province(Grant No.ZR2019QA015)。
文摘Let A be an abelian category,C an additive,full and self-orthogonal subcategory of A closed under direct summands,rG(C)the right Gorenstein subcategory of A relative to C,and⊥C the left orthogonal class of C.For an object A in A,we prove that if A is in the right 1-orthogonal class of rG(C),then the C-projective and rG(C)-projective dimensions of A are identical;if the rG(C)-projective dimension of A is finite,then the rG(C)-projective and⊥C-projective dimensions of A are identical.We also prove that the supremum of the C-projective dimensions of objects with finite C-projective dimension and that of the rG(C)-projective dimensions of objects with finite rG(C)-projective dimension coincide.Then we apply these results to the category of modules.
基金Acknowledgements This work was supported by the National Natural Science Foundation of China (Grant No. 11071255) and Science Foundation for young teachers in Science College, Air Force Engineering University. The authors are very grateful to the anonymous referees and the editors for their valuable comments and suggestions, which help to improve the manuscript significantly.
文摘This paper discusses optimal binary codes and pure binary quantum codes created using Steane construction. First, a local search algorithm for a special subclass of quasi-cyclic codes is proposed, then five binary quasi-cyclic codes are built. Second, three classical construction methods are generalized for new codes from old such that they are suitable for constructing binary self-orthogonal codes, and 62 binary codes and six subcode chains of obtained self-orthogonal codes are designed. Third, six pure binary quantum codes are constructed from the code pairs obtained through Steane construction. There are 66 good binary codes that include 12 optimal linear codes, 45 known optimal linear codes, and nine known optimal self-orthogonal codes. The six pure binary quantum codes all achieve the performance of their additive counterparts constructed by quaternary construction and thus are known optimal codes.
基金supported by the National Natural Science Foundation of China under Grant Nos. 120710012021 University Graduate Research Project under Grant Nos. Y020410077+1 种基金the National Natural Science Foundation of China under Grant No. 12201170the Natural Science Foundation of Anhui Province under Grant No. 2108085QA03
文摘The authors study the binary codes spanned by the adjacency matrices of the strongly regular graphs(SRGs)on at most two hundred vertices whose existence is unknown.The authors show that in length less than one hundred they cannot be cyclic,except for the exceptions of the SRGs of parameters(85,42,20,21)and(96,60,38,36).In particular,the adjacency code of a(85,42,20,21)is the zero-sum code.In the range[100,200]the authors find 29 SRGs that could possibly have a cyclic adjacency code.