arXiv subjects

Chunming Tang

Publications and source records attributed to Chunming Tang.

At least 55 records · Page 3Linked to original sources

arXiv2020

An infinite family of linear codes supporting 4-designs

The first linear code supporting a $4$-design was the $[11, 6, 5]$ ternary Golay code discovered in 1949 by Golay. In the past 71 years, sporadic linear codes holding $4$-designs or $5$-designs were discovered and many infinite families of linear codes supporting $3$-designs were constructed. However, the question as to whether there is an infinite family of linear codes holding an infinite family of $t$-designs for $t\geq 4$ remains open for 71 years. This paper settles this long-standing problem by presenting an infinite family of BCH codes of length $2^{2m+1}+1$ over $\mathrm{GF}(2^{2m+1})$ holding an infinite family of $4$-$(2^{2m+1}+1, 6, 2^{2m}-4)$ designs. Moreover, an infinite family of linear codes holding the spherical design $S(3, 5, 4^m+1)$ is presented.

cs.IT↗

arXiv2019

Infinite families of near MDS codes holding $t$-designs

An $[n, k, n-k+1]$ linear code is called an MDS code. An $[n, k, n-k]$ linear code is said to be almost maximum distance separable (almost MDS or AMDS for short). A code is said to be near maximum distance separable (near MDS or NMDS for short) if the code and its dual code both are almost maximum distance separable. The first near MDS code was the $[11, 6, 5]$ ternary Golay code discovered in 1949 by Golay. This ternary code holds $4$-designs, and its extended code holds a Steiner system $S(5, 6, 12)$ with the largest strength known. In the past 70 years, sporadic near MDS codes holding $t$-designs were discovered and many infinite families of near MDS codes over finite fields were constructed. However, the question as to whether there is an infinite family of near MDS codes holding an infinite family of $t$-designs for $t\geq 2$ remains open for 70 years. This paper settles this long-standing problem by presenting an infinite family of near MDS codes over $\mathrm{GF}(3^s)$ holding an infinite family of $3$-designs and an infinite family of near MDS codes over $\mathrm{GF}(2^{2s})$ holding an infinite family of $2$-designs. The subfield subcodes of these two families are also studied, and are shown to be dimension-optimal or distance-optimal.

cs.IT↗

arXiv2019

Minimal linear codes from characteristic functions

Minimal linear codes have interesting applications in secret sharing schemes and secure two-party computation. This paper uses characteristic functions of some subsets of $\mathbb{F}_q$ to construct minimal linear codes. By properties of characteristic functions, we can obtain more minimal binary linear codes from known minimal binary linear codes, which generalizes results of Ding et al. [IEEE Trans. Inf. Theory, vol. 64, no. 10, pp. 6536-6545, 2018]. By characteristic functions corresponding to some subspaces of $\mathbb{F}_q$, we obtain many minimal linear codes, which generalizes results of [IEEE Trans. Inf. Theory, vol. 64, no. 10, pp. 6536-6545, 2018] and [IEEE Trans. Inf. Theory, vol. 65, no. 11, pp. 7067-7078, 2019]. Finally, we use characteristic functions to present a characterization of minimal linear codes from the defining set method and present a class of minimal linear codes.

cs.IT↗

arXiv2019

A Center-Point Algorithm for Unit Commitment with Carbon Emission Trading

This paper proposes a global optimization method for it ensures finding good solutions while solving the unit commitment (UC) problem with carbon emission trading (CET). This method con-sists of two parts. In the first part, a sequence of linear inte-ger-relaxed subproblems are first solved to rapidly generate a tight linear relaxation of the original mixed integer nonlinear pro-gramming problem (MINLP) model. In the second part, the algo-rithm introduces the idea of center-cut so that it can quickly find good solutions. The approach tested on 10 test instances with units ranging from 35 to 1560 over a scheduling period of 24h, and compared with state-of-the-art solver CPLEX. The results show that the proposed algorithm can find better solutions than CPLEX in a short time. And it is more suitable to solve large scale UC problem than CPLEX.

math.OC↗

arXiv2019

Linear codes of 2-designs associated with subcodes of the ternary generalized Reed-Muller codes

In this paper, the 3-rank of the incidence matrices of 2-designs supported by the minimum weight codewords in a family of ternary linear codes considered in [C. Ding, C. Li, Infinite families of 2-designs and 3-designs from linear codes, Discrete Mathematics 340(10) (2017) 2415--2431] are computed. A lower bound on the minimum distance of the ternary codes spanned by the incidence matrices of these designs is derived, and it is proved that the codes are subcodes of the 4th order generalized Reed-Muller codes.

cs.IT↗

arXiv2019

Codes, differentially $δ$-uniform functions and $t$-designs

Special functions, coding theory and $t$-designs have close connections and interesting interplay. A standard approach to constructing $t$-designs is the use of linear codes with certain regularity. The Assmus-Mattson Theorem and the automorphism groups are two ways for proving that a code has sufficient regularity for supporting $t$-designs. However, some linear codes hold $t$-designs, although they do not satisfy the conditions in the Assmus-Mattson Theorem and do not admit a $t$-transitive or $t$-homogeneous group as a subgroup of their automorphisms. The major objective of this paper is to develop a theory for explaining such codes and obtaining such new codes and hence new $t$-designs. To this end, a general theory for punctured and shortened codes of linear codes supporting $t$-designs is established, a generalized Assmus-Mattson theorem is developed, and a link between $2$-designs and differentially $δ$-uniform functions and $2$-designs is built. With these general results, binary codes with new parameters and known weight distributions are obtained, new $2$-designs and Steiner system $S(2, 4, 2^n)$ are produced in this paper.

cs.IT↗

arXiv2019

Codebooks from generalized bent $\mathbb{Z}_4$-valued quadratic forms

Codebooks with small inner-product correlation have application in unitary space-time modulations, multiple description coding over erasure channels, direct spread code division multiple access communications, compressed sensing, and coding theory. It is interesting to construct codebooks (asymptotically) achieving the Welch bound or the Levenshtein bound. This paper presented a class of generalized bent $\mathbb{Z}_4$-valued quadratic forms, which contain functions of Heng and Yue (Optimal codebooks achieving the Levenshtein bound from generalized bent functions over $\mathbb{Z}_4$. Cryptogr. Commun. 9(1), 41-53, 2017). By using these generalized bent $\mathbb{Z}_4$-valued quadratic forms, we constructs optimal codebooks achieving the Levenshtein bound. These codebooks have parameters $(2^{2m}+2^m,2^m)$ and alphabet size $6$.

cs.IT↗

arXiv2019

Infinite families of 3-designs from APN functions

Combinatorial $t$-designs have nice applications in coding theory, finite geometries and several engineering areas. The objective of this paper is to study how to obtain $3$-designs with $2$-transitive permutation groups. The incidence structure formed by the orbits of a base block under the action of the general affine groups, which are $2$-transitive, is considered. A characterization of such incidence structure to be a $3$-design is presented, and a sufficient condition for the stabilizer of a base block to be trivial is given. With these general results, infinite families of $3$-designs are constructed by employing APN functions. Some $3$-designs presented in this paper give rise to self-dual binary codes or linear codes with optimal or best parameters known. Several conjectures on $3$-designs and binary codes are also presented.

cs.IT↗

arXiv2019

Infinite families of $2$-designs from two classes of binary cyclic codes with three nonzeros

Combinatorial $t$-designs have been an interesting topic in combinatorics for decades. It is a basic fact that the codewords of a fixed weight in a code may hold a $t$-design. Till now only a small amount of work on constructing $t$-designs from codes has been done. In this paper, we determine the weight distributions of two classes of cyclic codes: one related to the triple-error correcting binary BCH codes, and the other related to the cyclic codes with parameters satisfying the generalized Kasami case, respectively. We then obtain infinite families of $2$-designs from these codes by proving that they are both affine-invariant codes, and explicitly determine their parameters. In particular, the codes derived from the dual of binary BCH codes hold five $3$-designs when $m=4$.

math.CO↗

arXiv2019

Combinatorial $t$-designs from special polynomials

Combinatorial $t$-designs have nice applications in coding theory, finite geometries and several engineering areas. There are two major methods of constructing $t$-designs. One of them is via group actions of certain permutation groups which are $t$-transitive or $t$-homogeneous on some point set. The other is a coding-theoretical one. The objectives of this paper are to introduce two constructions of $t$-designs with special polynomials over finite fields GF$(q)$, and obtain $2$-designs and $3$-designs with interesting parameters. A type of d-polynomials is defined and used to construct $2$-designs. Under the framework of the first construction, it is shown that every o-polynomial over GF$(2^m)$ gives a $2$-design, and every o-monomial over GF$(2^m)$ yields a $3$-design. Under the second construction, every $o$-polynomial gives a $3$-design. Some open problems and conjectures are also presented in this paper.

math.CO↗

arXiv2019

Infinite families of $2$-designs from two classes of linear codes

The interplay between coding theory and $t$-designs has attracted a lot of attention for both directions. It is well known that the supports of all codewords with a fixed weight in a code may hold a $t$-design. In this paper, by determining the weight distributions of two classes of linear codes, we derive infinite families of $2$-designs from the supports of codewords with a fixed weight in these codes, and explicitly obtain their parameters.

math.CO↗

arXiv2019

A class of narrow-sense BCH codes over $\mathbb{F}_q$ of length $\frac{q^m-1}{2}$

BCH codes with efficient encoding and decoding algorithms have many applications in communications, cryptography and combinatorics design. This paper studies a class of linear codes of length $ \frac{q^m-1}{2}$ over $\mathbb{F}_q$ with special trace representation, where $q$ is an odd prime power. With the help of the inner distributions of some subsets of association schemes from bilinear forms associated with quadratic forms, we determine the weight enumerators of these codes. From determining some cyclotomic coset leaders $δ_i$ of cyclotomic cosets modulo $ \frac{q^m-1}{2}$, we prove that narrow-sense BCH codes of length $ \frac{q^m-1}{2}$ with designed distance $δ_i=\frac{q^m-q^{m-1}}{2}-1-\frac{q^{ \lfloor \frac{m-3}{2} \rfloor+i}-1}{2}$ have the corresponding trace representation, and have the minimal distance $d=δ_i$ and the Bose distance $d_B=δ_i$, where $1\leq i\leq \lfloor \frac{m+3}{4} \rfloor$.

cs.IT↗

arXiv2019

On the boomerang uniformity of (quadratic) permutations over $F_{2^n}$

At Eurocrypt'18, Cid, Huang, Peyrin, Sasaki, and Song introduced a new tool called Boomerang Connectivity Table (BCT) for measuring the resistance of a block cipher against the boomerang attack (which is an important cryptanalysis technique introduced by Wagner in 1999 against block ciphers). Next, Boura and Canteaut introduced an important parameter (related to the BCT) for cryptographic Sboxes called boomerang uniformity. In this context, we present a brief state-of-the-art on the notion of boomerang uniformity of vectorial functions (or Sboxes) and provide new results. More specifically, we present a slightly different (and more convenient) formulation of the boomerang uniformity and show that the row sum and the column sum of the boomerang connectivity table can be expressed in terms of the zeros of the second-order derivative of the permutation or its inverse. Most importantly, we specialize our study of boomerang uniformity to quadratic permutations in even dimension and generalize the previous results on quadratic permutation with optimal BCT (optimal means that the maximal value in the Boomerang Connectivity Table equals the lowest known differential uniformity). As a consequence of our general result, we prove that the boomerang uniformity of the binomial differentially $4$-uniform permutations presented by Bracken, Tan, and Tan equals $4$. This result gives rise to a new family of optimal Sboxes.

cs.CR↗

arXiv2019

Steiner systems $S(2, 4, \frac{3^m-1}{2})$ and $2$-designs from ternary linear codes of length $\frac{3^m-1}{2}$

Coding theory and $t$-designs have close connections and interesting interplay. In this paper, we first introduce a class of ternary linear codes and study their parameters. We then focus on their three-weight subcodes with a special weight distribution. We determine the weight distributions of some shortened codes and punctured codes of these three-weight subcodes. These shortened and punctured codes contain some codes that have the same parameters as the best ternary linear codes known in the database maintained by Markus Grassl at http://www.codetables.de/. These three-weight subcodes with a special weight distribution do not satisfy the conditions of the Assmus-Mattson theorem and do not admit $2$-transitive or $2$-homogeneous automorphism groups in general. By employing the theory of projective geometries and projective generalized Reed-Muller codes, we prove that they still hold $2$-designs. We also determine the parameters of these $2$-designs. This paper mainly confirms some recent conjectures of Ding and Li regarding Steiner systems and $2$-designs from a special type of ternary projective codes.

cs.IT↗

arXiv2018

A Note on Two Constructions of Zero-Difference Balanced Functions

Notes on two constructions of zero-difference balanced (ZDB) functions are made in this letter. Then ZDB functions over $\mathbb{Z}_{e}\times \prod_{i=0}^{k}{\mathbb{F}_{q_i}}$ are obtained. And it shows that all the known ZDB functions using cyclotomic cosets over $\mathbb{Z}_{n}$ are special cases of a generic construction. Moreover, applications of these ZDB functions are presented.

cs.IT↗

arXiv2018

Cyclic bent functions and their applications in codes, codebooks, designs, MUBs and sequences

Let $m$ be an even positive integer. A Boolean bent function $f$ on $\GF{m-1} \times \GF {}$ is called a \emph{cyclic bent function} if for any $a\neq b\in \GF {m-1}$ and $ε\in \GF{}$, $f(ax_1,x_2)+f(bx_1,x_2+ε)$ is always bent, where $x_1\in \GF {m-1}, x_2 \in \GF {}$. Cyclic bent functions look extremely rare. This paper focuses on cyclic bent functions on $\GF {m-1} \times \GF {}$ and their applications. The first objective of this paper is to construct a new class of cyclic bent functions, which includes all known constructions of cyclic bent functions as special cases. The second objective is to use cyclic bent functions to construct good mutually unbiased bases (MUBs), codebooks and sequence families. The third objective is to study cyclic semi-bent functions and their applications. The fourth objective is to present a family of binary codes containing the Kerdock code as a special case, and describe their support designs. The results of this paper show that cyclic bent functions and cyclic semi-bent functions have nice applications in several fields such as symmetric cryptography, quantum physics, compressed sensing and CDMA communication.

cs.IT↗

arXiv2018

On the Menezes-Teske-Weng's conjecture

In 2003, Alfred Menezes, Edlyn Teske and Annegret Weng presented a conjecture on properties of the solutions of a type of quadratic equation over the binary extension fields, which had been convinced by extensive experiments but the proof was unknown until now. We prove that this conjecture is correct. Furthermore, using this proved conjecture, we have completely determined the null space of a class of linear polynomials.

cs.IT↗

arXiv2018

Further study on the maximum number of bent components of vectorial functions

In 2018, Pott, at al. have studied in [IEEE Transactions on Information Theory. Volume: 64, Issue: 1, 2018] the maximum number of bent components of vectorial function. They have presented serval nice results and suggested several open problems in this context. This paper is in the continuation of their study in which we solve two open problems raised by Pott et al. and partially solve an open problem raised by the same authors. Firstly, we prove that for a vectorial function, the property of having the maximum number of bent components is invariant under the so-called CCZ equivalence. Secondly, we prove the non-existence of APN plateaued having the maximum number of bent components. In particular, quadratic APN functions cannot have the maximum number of bent components. Finally, we present some sufficient conditions that the vectorial function defined from $\mathbb{F}_{2^{2k}}$ to $\mathbb{F}_{2^{2k}}$ by its univariate representation: $$ αx^{2^i}\left(x+x^{2^k}+\sum\limits_{j=1}^ργ^{(j)}x^{2^{t_j}} +\sum\limits_{j=1}^ργ^{(j)}x^{2^{t_j+k}}\right)$$ has the maximum number of {components bent functions, where $ρ\leq k$}. Further, we show that the differential spectrum of the function $ x^{2^i}(x+x^{2^k}+x^{2^{t_1}}+x^{2^{t_1+k}}+x^{2^{t_2}}+x^{2^{t_2+k}})$ (where $i,t_1,t_2$ satisfy some conditions) is different from the binomial function $F^i(x)= x^{2^i}(x+x^{2^k})$ presented in the article of Pott et al. Finally, we provide sufficient and necessary conditions so that the functions $$Tr_1^{2k}\left(αx^{2^i}\left(Tr^{2k}_{e}(x)+\sum\limits_{j=1}^ργ^{(j)}(Tr^{2k}_{e}(x))^{2^j} \right)\right) $$ are bent.

cs.IT↗