Showing 51–100 of 114 results for author: Sole, P

Long quasi-polycyclic $t-$CIS codes

Authors: Adel Alahmadi, Cem Güneri, Hatoon Shoaib, Patrick Solé

Abstract: We study complementary information set codes of length $tn$ and dimension $n$ of order $t$ called ($t-$CIS code for short). Quasi-cyclic and quasi-twisted $t$-CIS codes are enumerated by using their concatenated structure. Asymptotic existence results are derived for one-generator and have co-index $n$ by Artin's conjecture for quasi cyclic and special case for quasi twisted. This shows that there… ▽ More We study complementary information set codes of length $tn$ and dimension $n$ of order $t$ called ($t-$CIS code for short). Quasi-cyclic and quasi-twisted $t$-CIS codes are enumerated by using their concatenated structure. Asymptotic existence results are derived for one-generator and have co-index $n$ by Artin's conjecture for quasi cyclic and special case for quasi twisted. This shows that there are infinite families of long QC and QT $t$-CIS codes with relative distance satisfying a modified Varshamov-Gilbert bound for rate $1/t$ codes. Similar results are defined for the new and more general class of quasi-polycyclic codes introduced recently by Berger and Amrani. △ Less

Submitted 8 March, 2017; originally announced March 2017.

Comments: 12 pages

Structure and Performance of Generalized Quasi-Cyclic Codes

Authors: Cem Güneri, Ferruh Özbudak, Buket Özkaya, Elif Saçıkara, Zahra Sepasdar, Patrick Solé

Abstract: Generalized quasi-cyclic (GQC) codes form a natural generalization of quasi-cyclic (QC) codes. They are viewed here as mixed alphabet codes over a family of ring alphabets. Decomposing these rings into local rings by the Chinese Remainder Theorem yields a decomposition of GQC codes into a sum of concatenated codes. This decomposition leads to a trace formula, a minimum distance bound, and to a cri… ▽ More Generalized quasi-cyclic (GQC) codes form a natural generalization of quasi-cyclic (QC) codes. They are viewed here as mixed alphabet codes over a family of ring alphabets. Decomposing these rings into local rings by the Chinese Remainder Theorem yields a decomposition of GQC codes into a sum of concatenated codes. This decomposition leads to a trace formula, a minimum distance bound, and to a criteria for the GQC code to be self-dual or to be linear complementary dual (LCD). Explicit long GQC codes that are LCD, but not QC, are exhibited. △ Less

Submitted 1 February, 2017; originally announced February 2017.

Two new families of two-weight codes

Authors: Minjia Shi, Yue Guan, Patrick Sole

Abstract: We construct two new infinite families of trace codes of dimension $2m$, over the ring $\mathbb{F}_p+u\mathbb{F}_p,$ when $p$ is an odd prime. They have the algebraic structure of abelian codes. Their Lee weight distribution is computed by using Gauss sums. By Gray map**, we obtain two infinite families of linear $p$-ary codes of respective lengths $(p^m-1)^2$ and $2(p^m-1)^2.$ When $m$ is singl… ▽ More We construct two new infinite families of trace codes of dimension $2m$, over the ring $\mathbb{F}_p+u\mathbb{F}_p,$ when $p$ is an odd prime. They have the algebraic structure of abelian codes. Their Lee weight distribution is computed by using Gauss sums. By Gray map**, we obtain two infinite families of linear $p$-ary codes of respective lengths $(p^m-1)^2$ and $2(p^m-1)^2.$ When $m$ is singly-even, the first family gives five-weight codes. When $m$ is odd, and $p\equiv 3 \pmod{4},$ the first family yields $p$-ary two-weight codes, which are shown to be optimal by application of the Griesmer bound. The second family consists of two-weight codes that are shown to be optimal, by the Griesmer bound, whenever $p=3$ and $m \ge 3,$ or $p\ge 5$ and $m\ge 4.$ Applications to secret sharing schemes are given. △ Less

Submitted 15 September, 2017; v1 submitted 3 December, 2016; originally announced December 2016.

Comments: 7 pages

MSC Class: 94B25

Journal ref: IEEE Transactions on Information Theory, Volume: 63, Issue: 10, pp. 6240-6246, Oct. 2017

New Classes of $p$-ary Few Weights Codes

Authors: Minjia Shi, Rongsheng Wu, Liqin Qian, Lin Sok, Patrick Solé

Abstract: In this paper, several classes of three-weight codes and two-weight codes for the homogeneous metric over the chain ring $R=\mathbb{F}_p+u\mathbb{F}_p+\cdots +u^{k-1}\mathbb{F}_{p},$ with $u^k=0,$ are constructed, which generalises \cite{SL}, the special case of $p=k=2.$ These codes are defined as trace codes. In some cases of their defining sets, they are abelian. Their homogeneous weight distrib… ▽ More In this paper, several classes of three-weight codes and two-weight codes for the homogeneous metric over the chain ring $R=\mathbb{F}_p+u\mathbb{F}_p+\cdots +u^{k-1}\mathbb{F}_{p},$ with $u^k=0,$ are constructed, which generalises \cite{SL}, the special case of $p=k=2.$ These codes are defined as trace codes. In some cases of their defining sets, they are abelian. Their homogeneous weight distributions are computed by using exponential sums. In particular, in the two-weight case, we give some conditions of optimality of their Gray images by using the Griesmer bound. Their dual homogeneous distance is also given. The codewords of these codes are shown to be minimal for inclusion of supports, a fact favorable to an application to secret sharing schemes. △ Less

Submitted 20 March, 2017; v1 submitted 3 December, 2016; originally announced December 2016.

Comments: This manuscript in contained in arXiv:1612.00915, thus the authors expect to withdraw it

MSC Class: 94B25

New Classes of $p$-ary Few Weights Codes

Authors: Minjia Shi, Rongsheng Wu, Liqin Qian, Lin Sok, Patrick Sole

Abstract: In this paper, several classes of three-weight codes and two-weight codes for the homogeneous metric over the chain ring $R=\mathbb{F}_p+u\mathbb{F}_p+\cdots +u^{k-1}\mathbb{F}_{p},$ with $u^k=0,$ are constructed, which generalises \cite{SL}, the special case of $p=k=2.$ These codes are defined as trace codes. In some cases of their defining sets, they are abelian. Their homogeneous weight distrib… ▽ More In this paper, several classes of three-weight codes and two-weight codes for the homogeneous metric over the chain ring $R=\mathbb{F}_p+u\mathbb{F}_p+\cdots +u^{k-1}\mathbb{F}_{p},$ with $u^k=0,$ are constructed, which generalises \cite{SL}, the special case of $p=k=2.$ These codes are defined as trace codes. In some cases of their defining sets, they are abelian. Their homogeneous weight distributions are computed by using exponential sums. In particular, in the two-weight case, we give some conditions of optimality of their Gray images by using the Griesmer bound. Their dual homogeneous distance is also given. The codewords of these codes are shown to be minimal for inclusion of supports, a fact favorable to an application to secret sharing schemes. △ Less

Submitted 7 January, 2017; v1 submitted 2 December, 2016; originally announced December 2016.

Comments: 24 pages

MSC Class: 94B25

Some ternary cubic two-weight codes

Authors: Minjia Shi, Daitao Huang, Patrick Sole

Abstract: We study trace codes with defining set $L,$ a subgroup of the multiplicative group of an extension of degree $m$ of the alphabet ring $\mathbb{F}_3+u\mathbb{F}_3+u^{2}\mathbb{F}_{3},$ with $u^{3}=1.$ These codes are abelian, and their ternary images are quasi-cyclic of co-index three (a.k.a. cubic codes). Their Lee weight distributions are computed by using Gauss sums. These codes have three nonze… ▽ More We study trace codes with defining set $L,$ a subgroup of the multiplicative group of an extension of degree $m$ of the alphabet ring $\mathbb{F}_3+u\mathbb{F}_3+u^{2}\mathbb{F}_{3},$ with $u^{3}=1.$ These codes are abelian, and their ternary images are quasi-cyclic of co-index three (a.k.a. cubic codes). Their Lee weight distributions are computed by using Gauss sums. These codes have three nonzero weights when $m$ is singly-even and $|L|=\frac{3^{3m}-3^{2m}}{2}.$ When $m$ is odd, and $|L|=\frac{3^{3m}-3^{2m}}{2}$, or $|L|={3^{3m}-3^{2m}}$ and $m$ is a positive integer, we obtain two new infinite families of two-weight codes which are optimal. Applications of the image codes to secret sharing schemes are also given. △ Less

Submitted 2 December, 2016; originally announced December 2016.

Comments: 11 pages, submitted on 2 December. arXiv admin note: text overlap with arXiv:1612.00118

MSC Class: 94B25

Trace Codes with Few Weights over $\mathbb{F}_p+u\mathbb{F}_p$

Authors: Minjia Shi, Yan Liu, Patrick Solé

Abstract: We construct an infinite family of two-Lee-weight and three-Lee-weight codes over the chain ring $\mathbb{F}_p+u\mathbb{F}_p.$ They have the algebraic structure of abelian codes. Their Lee weight distribution is computed by using Gauss sums. Then by using a linear Gray map, we obtain an infinite family of abelian codes with few weights over $\mathbb{F}_p$. In particular, we obtain an infinite fami… ▽ More We construct an infinite family of two-Lee-weight and three-Lee-weight codes over the chain ring $\mathbb{F}_p+u\mathbb{F}_p.$ They have the algebraic structure of abelian codes. Their Lee weight distribution is computed by using Gauss sums. Then by using a linear Gray map, we obtain an infinite family of abelian codes with few weights over $\mathbb{F}_p$. In particular, we obtain an infinite family of two-weight codes which meets the Griesmer bound with equality. Finally, an application to secret sharing schemes is given. △ Less

Submitted 30 November, 2016; originally announced December 2016.

Comments: 12 pages, submitted on 27 October, 2016. arXiv admin note: text overlap with arXiv:1612.00126, arXiv:1612.00118

Three-weight codes and the quintic construction

Authors: Yan Liu, Minjia Shi, Patrick Solé

Abstract: We construct a class of three-Lee-weight and two infinite families of five-Lee-weight codes over the ring $R=\mathbb{F}_2 +v\mathbb{F}_2 +v^2\mathbb{F}_2 +v^3\mathbb{F}_2 +v^4\mathbb{F}_2,$ where $v^5=1.$ The same ring occurs in the quintic construction of binary quasi-cyclic codes. %The length of these codes depends on the degree $m$ of ring extension. They have the algebraic structure of abelian… ▽ More We construct a class of three-Lee-weight and two infinite families of five-Lee-weight codes over the ring $R=\mathbb{F}_2 +v\mathbb{F}_2 +v^2\mathbb{F}_2 +v^3\mathbb{F}_2 +v^4\mathbb{F}_2,$ where $v^5=1.$ The same ring occurs in the quintic construction of binary quasi-cyclic codes. %The length of these codes depends on the degree $m$ of ring extension. They have the algebraic structure of abelian codes. Their Lee weight distribution is computed by using character sums. Given a linear Gray map, we obtain three families of binary abelian codes with few weights. In particular, we obtain a class of three-weight codes which are optimal. Finally, an application to secret sharing schemes is given. △ Less

Submitted 30 November, 2016; originally announced December 2016.

Comments: 15 pages, submitted on 21 November, 2016. arXiv admin note: text overlap with arXiv:1612.00118

Optimal three-weight cubic codes

Authors: Minjia Shi, Hongwei Zhu, Patrick Solé

Abstract: In this paper, we construct an infinite family of three-weight binary codes from linear codes over the ring $R=\mathbb{F}_2+v\mathbb{F}_2+v^2\mathbb{F}_2$, where $v^3=1.$ These codes are defined as trace codes. They have the algebraic structure of abelian codes. Their Lee weight distributions are computed by employing character sums. The three-weight binary linear codes which we construct are show… ▽ More In this paper, we construct an infinite family of three-weight binary codes from linear codes over the ring $R=\mathbb{F}_2+v\mathbb{F}_2+v^2\mathbb{F}_2$, where $v^3=1.$ These codes are defined as trace codes. They have the algebraic structure of abelian codes. Their Lee weight distributions are computed by employing character sums. The three-weight binary linear codes which we construct are shown to be optimal when $m$ is odd and $m>1$. They are cubic, that is to say quasi-cyclic of co-index three. An application to secret sharing schemes is given. △ Less

Submitted 29 June, 2018; v1 submitted 30 November, 2016; originally announced December 2016.

MSC Class: 94B05; 94B15; 94B60; 12E20

Journal ref: Applied and Computational Mathematics,2018,17(2):175-184

Two-weight and three-weight codes from trace codes over $\mathbb{F}_p+u\mathbb{F}_p+v\mathbb{F}_p+uv\mathbb{F}_p$

Authors: Yan Liu, Minjia Shi, Patrick Solé

Abstract: We construct an infinite family of two-Lee-weight and three-Lee-weight codes over the non-chain ring $\mathbb{F}_p+u\mathbb{F}_p+v\mathbb{F}_p+uv\mathbb{F}_p,$ where $u^2=0,v^2=0,uv=vu.$ These codes are defined as trace codes. They have the algebraic structure of abelian codes. Their Lee weight distribution is computed by using Gauss sums. With a linear Gray map, we obtain a class of abelian three… ▽ More We construct an infinite family of two-Lee-weight and three-Lee-weight codes over the non-chain ring $\mathbb{F}_p+u\mathbb{F}_p+v\mathbb{F}_p+uv\mathbb{F}_p,$ where $u^2=0,v^2=0,uv=vu.$ These codes are defined as trace codes. They have the algebraic structure of abelian codes. Their Lee weight distribution is computed by using Gauss sums. With a linear Gray map, we obtain a class of abelian three-weight codes and two-weight codes over $\mathbb{F}_p$. In particular, the two-weight codes we describe are shown to be optimal by application of the Griesmer bound. We also discuss their dual Lee distance. Finally, an application to secret sharing schemes is given. △ Less

Submitted 30 November, 2016; originally announced December 2016.

Comments: 11 pages, submitted on 29 November,2016

Decomposition of bent generalized Boolean functions

Authors: Lin Sok, MinJia Shi, Patrick Solé

Abstract: A one to one correspondence between regular generalized bent functions from $\F_2^n$ to $\Z_{2^m},$ and $m-$tuples of Boolean bent functions is established. This correspondence maps self-dual (resp. anti-self-dual) generalized bent functions to $m-$tuples of self-dual (resp. anti self-dual) Boolean bent functions. An application to the classification of regular generalized bent functions under the… ▽ More A one to one correspondence between regular generalized bent functions from $\F_2^n$ to $\Z_{2^m},$ and $m-$tuples of Boolean bent functions is established. This correspondence maps self-dual (resp. anti-self-dual) generalized bent functions to $m-$tuples of self-dual (resp. anti self-dual) Boolean bent functions. An application to the classification of regular generalized bent functions under the extended affine group is given. △ Less

Submitted 19 November, 2016; originally announced November 2016.

Comments: 3 pages, submitted to IEEE Communication Letters

Construction of MDS self-dual codes from orthogonal matrices

Authors: Minjia Shi, Lin Sok, Patrick Solé

Abstract: In this paper, we give algorithms and methods of construction of self-dual codes over finite fields using orthogonal matrices. Randomization in the orthogonal group, and code extension are the main tools. Some optimal, almost MDS, and MDS self-dual codes over both small and large prime fields are constructed. In this paper, we give algorithms and methods of construction of self-dual codes over finite fields using orthogonal matrices. Randomization in the orthogonal group, and code extension are the main tools. Some optimal, almost MDS, and MDS self-dual codes over both small and large prime fields are constructed. △ Less

Submitted 25 October, 2016; originally announced October 2016.

Comments: presented in part in the 3rd Sino-Korea International Conference on Coding Theory and Related Topics; submitted to IEEE trans. on Information Theory

Twisted Centralizer Codes

Authors: Adel Alahmadi, S. P. Glasby, Cheryl E. Praeger, Patrick Solé, Bahattin Yildiz

Abstract: Given an $n\times n$ matrix $A$ over a field $F$ and a scalar $a\in F$, we consider the linear codes $C(A,a):=\{B\in F^{n\times n}\mid \,AB=aBA\}$ of length $n^2$. We call $C(A,a)$ a twisted centralizer code. We investigate properties of these codes including their dimensions, minimum distances, parity-check matrices, syndromes, and automorphism groups. The minimal distance of a centralizer code (… ▽ More Given an $n\times n$ matrix $A$ over a field $F$ and a scalar $a\in F$, we consider the linear codes $C(A,a):=\{B\in F^{n\times n}\mid \,AB=aBA\}$ of length $n^2$. We call $C(A,a)$ a twisted centralizer code. We investigate properties of these codes including their dimensions, minimum distances, parity-check matrices, syndromes, and automorphism groups. The minimal distance of a centralizer code (when $a=1$) is at most $n$, however for $a\ne 0,1$ the minimal distance can be much larger, as large as $n^2$. △ Less

Submitted 12 March, 2017; v1 submitted 14 August, 2016; originally announced August 2016.

Comments: 14 pages. Proof of Proposition 2.6 corrected (see last 3 lines). Email address of last author changed

MSC Class: 94B05; 13M05

On constacyclic codes over $\mathbb{Z}_4[u]/\langle u^2-1\rangle$ and their Gray images

Authors: Minjia Shi, Liqing Qian, Lin Sok, Nuh Aydin, Patrick Solé

Abstract: We first define a new Gray map from $R=\mathbb{Z}_4+u\mathbb{Z}_4$ to $\mathbb{Z}^{2}_{4}$, where $u^2=1$ and study $(1+2u)$-constacyclic codes over $R$. Also of interest are some properties of $(1+2u)$-constacyclic codes over $R$. Considering their $\mathbb{Z}_4$ images, we prove that the Gray images of $(1+2u)$-constacyclic codes of length $n$ over $R$ are cyclic codes of length $2n$ over… ▽ More We first define a new Gray map from $R=\mathbb{Z}_4+u\mathbb{Z}_4$ to $\mathbb{Z}^{2}_{4}$, where $u^2=1$ and study $(1+2u)$-constacyclic codes over $R$. Also of interest are some properties of $(1+2u)$-constacyclic codes over $R$. Considering their $\mathbb{Z}_4$ images, we prove that the Gray images of $(1+2u)$-constacyclic codes of length $n$ over $R$ are cyclic codes of length $2n$ over $\mathbb{Z}_4$. In many cases the latter codes have better parameters than those in the online database of Aydin and Asamov. We also give a corrected version of a table of new cyclic $R$-codes published by Özen et al. in Finite Fields and Their Applications, {\bf 38}, (2016) 27-39. △ Less

Submitted 25 December, 2016; v1 submitted 2 August, 2016; originally announced August 2016.

Comments: 10 pages

Journal ref: Finite Fields and Their Applications 45(2017)86-95

On self-dual double negacirculant codes

Authors: Adel Alahmadi, Hatoon Shohaib, Patrick Solé

Abstract: Double negacirculant (DN) codes are the analogues in odd characteristic of double circulant codes. Self-dual DN codes of odd dimension are shown to be consta-dihedral. Exact counting formulae are derived for DN codes. The special class of length a power of two is studied by means of Dickson polynomials, and is shown to contain families of codes with relative distances satisfying a modified Gilbert… ▽ More Double negacirculant (DN) codes are the analogues in odd characteristic of double circulant codes. Self-dual DN codes of odd dimension are shown to be consta-dihedral. Exact counting formulae are derived for DN codes. The special class of length a power of two is studied by means of Dickson polynomials, and is shown to contain families of codes with relative distances satisfying a modified Gilbert-Varshamov bound. △ Less

Submitted 2 June, 2016; originally announced June 2016.

Comments: 1O pages

MSC Class: 94 B25; 05 E30

On self-dual double circulant codes

Authors: Adel Alahmadi, Funda Özdemir, Patrick Solé

Abstract: Self-dual double circulant codes of odd dimension are shown to be dihedral in even characteristic and consta-dihedral in odd characteristic. Exact counting formulae are derived for them and used to show they contain families of codes with relative distance satisfying a modified Gilbert-Varshamov bound. Self-dual double circulant codes of odd dimension are shown to be dihedral in even characteristic and consta-dihedral in odd characteristic. Exact counting formulae are derived for them and used to show they contain families of codes with relative distance satisfying a modified Gilbert-Varshamov bound. △ Less

Submitted 2 March, 2016; originally announced March 2016.

Comments: 8 pages

An asymptotic Robin inequality

Authors: Patrick Solé, Yuyang Zhu

Abstract: The conjectured Robin inequality for an integer $n>7!$ is $σ(n)<e^γn \log \log n,$ where $γ$ denotes Euler constant, and $σ(n)=\sum_{d | n} d $. Robin proved that this conjecture is equivalent to Riemann hypothesis (RH). Writing $D(n)=e^γn \log \log n-σ(n),$ and $d(n)=\frac{D(n)}{n},$ we prove unconditionally that $\liminf_{n \rightarrow \infty} d(n)=0.$ The main ingredients of the proof are an es… ▽ More The conjectured Robin inequality for an integer $n>7!$ is $σ(n)<e^γn \log \log n,$ where $γ$ denotes Euler constant, and $σ(n)=\sum_{d | n} d $. Robin proved that this conjecture is equivalent to Riemann hypothesis (RH). Writing $D(n)=e^γn \log \log n-σ(n),$ and $d(n)=\frac{D(n)}{n},$ we prove unconditionally that $\liminf_{n \rightarrow \infty} d(n)=0.$ The main ingredients of the proof are an estimate for Chebyshev summatory function, and an effective version of Mertens third theorem due to Rosser and Schoenfeld. A new criterion for RH depending solely on $\liminf_{n \rightarrow \infty}D(n)$ is derived. △ Less

Submitted 31 December, 2015; originally announced February 2016.

Comments: 5 pages

MSC Class: Primary 11A25; Secondary 11B75

Good Self-dual Generalized Quasi-Cyclic Codes Exist

Authors: MinJia Shi, Yan Liu, Patrick Solé

Abstract: We show that there are good long binary generalized quasi-cyclic self-dual (either Type I or Type II) codes. We show that there are good long binary generalized quasi-cyclic self-dual (either Type I or Type II) codes. △ Less

Submitted 11 January, 2016; originally announced January 2016.

Comments: submitted to Information Processing Letters

MSC Class: 94A15; 94B20; 94B60

The joint weight enumerator of an LCD code and its dual

Authors: Adel Alahmadi, Michel Deza, Mathieu Dutour Sikirić, Patrick Solé

Abstract: A binary linear code is called {\em LCD} if it intersects its dual trivially. We show that the coefficients of the joint weight enumerator of such a code with its dual satisfy linear constraints, leading to a new linear programming bound on the size of an LCD code of given length and minimum distance. In addition, we show that this polynomial is, in general, an invariant of a matrix group of dimen… ▽ More A binary linear code is called {\em LCD} if it intersects its dual trivially. We show that the coefficients of the joint weight enumerator of such a code with its dual satisfy linear constraints, leading to a new linear programming bound on the size of an LCD code of given length and minimum distance. In addition, we show that this polynomial is, in general, an invariant of a matrix group of dimension $4$ and order $12$. Also, we sketch a Gleason formula for this weight enumerator. △ Less

Submitted 28 November, 2015; originally announced November 2015.

Comments: 5 pages, 3 tables

$Z_4$-codes and their Gray map images as orthogonal arrays

Authors: Peter J. Cameron, Josephine Kusuma, Patrick Solé

Abstract: A classic result of Delsarte connects the strength (as orthogonal array) of a linear code with the minimum weight of its dual: the former is one less than the latter. We show that Delsarte's observation extends to codes over arbitrary finite rings. Since the paper of Hammons \emph{et al.}, there is a lot of interest in codes over rings, especially in codes over $Z_4$ and their (usually non-linea… ▽ More A classic result of Delsarte connects the strength (as orthogonal array) of a linear code with the minimum weight of its dual: the former is one less than the latter. We show that Delsarte's observation extends to codes over arbitrary finite rings. Since the paper of Hammons \emph{et al.}, there is a lot of interest in codes over rings, especially in codes over $Z_4$ and their (usually non-linear) binary Gray map images. We show that Delsarte's observation extends to codes over arbitrary finite commutative rings with identity. Also, we show that the strength of the Gray map image of a $Z_4$ code is one less than the minimum Lee weight of its Gray map image. △ Less

Submitted 5 May, 2016; v1 submitted 6 October, 2015; originally announced October 2015.

Comments: to appear in Designs, Codes, Cryptography

MSC Class: 05B15; 94B05

Journal ref: Designs, Codes, Crypt. 84 (2017), 109-114

Hypercube emulation of interconnection networks topologies

Authors: Adel Alahmadi, Husain Alhazmi, Shakir Ali, Michel Deza, Mathieu Dutour Sikirić, Patrick Solé

Abstract: We address various topologies (de Bruijn, chordal ring, generalized Petersen, meshes) in various ways ( isometric embedding, embedding up to scale, embedding up to a distance) in a hypercube or a half-hypercube. Example of obtained embeddings: infinite series of hypercube embeddable Bubble Sort and Double Chordal Rings topologies, as well as of regular maps. We address various topologies (de Bruijn, chordal ring, generalized Petersen, meshes) in various ways ( isometric embedding, embedding up to scale, embedding up to a distance) in a hypercube or a half-hypercube. Example of obtained embeddings: infinite series of hypercube embeddable Bubble Sort and Double Chordal Rings topologies, as well as of regular maps. △ Less

Submitted 8 July, 2015; originally announced July 2015.

Comments: 14 pages, 5 tables, 7 figures

Product Construction of Affine Codes

Authors: Yeow Meng Chee, Han Mao Kiah, Punarbasu Purkayastha, Patrick Solé

Abstract: Binary matrix codes with restricted row and column weights are a desirable method of coded modulation for power line communication. In this work, we construct such matrix codes that are obtained as products of affine codes - cosets of binary linear codes. Additionally, the constructions have the property that they are systematic. Subsequently, we generalize our construction to irregular product of… ▽ More Binary matrix codes with restricted row and column weights are a desirable method of coded modulation for power line communication. In this work, we construct such matrix codes that are obtained as products of affine codes - cosets of binary linear codes. Additionally, the constructions have the property that they are systematic. Subsequently, we generalize our construction to irregular product of affine codes, where the component codes are affine codes of different rates. △ Less

Submitted 11 June, 2015; originally announced June 2015.

Comments: 13 pages, to appear in SIAM Journal on Discrete Mathematics

MSC Class: 94B05; 94B60 (Primary); 94B20 (Secondary)

Quasi-Cyclic Complementary Dual Code

Authors: Cem Güneri, Buket Özkaya, Patrick Solé

Abstract: LCD codes are linear codes that intersect with their dual trivially. Quasi cyclic codes that are LCD are characterized and studied by using their concatenated structure. Some asymptotic results are derived. Hermitian LCD codes are introduced to that end and their cyclic subclass is characterized. Constructions of QCCD codes from codes over larger alphabets are given. LCD codes are linear codes that intersect with their dual trivially. Quasi cyclic codes that are LCD are characterized and studied by using their concatenated structure. Some asymptotic results are derived. Hermitian LCD codes are introduced to that end and their cyclic subclass is characterized. Constructions of QCCD codes from codes over larger alphabets are given. △ Less

Submitted 5 June, 2015; originally announced June 2015.

The combinatorics of LCD codes: Linear Programming bound and orthogonal matrices

Authors: Steven T. Dougherty, Jon-Lark Kim, Buket Ozkaya, Lin Sok, Patrick Solé

Abstract: Linear Complementary Dual codes (LCD) are binary linear codes that meet their dual trivially. We construct LCD codes using orthogonal matrices, self-dual codes, combinatorial designs and Gray map from codes over the family of rings $R_k$. We give a linear programming bound on the largest size of an LCD code of given length and minimum distance. We make a table of lower bounds for this combinatoria… ▽ More Linear Complementary Dual codes (LCD) are binary linear codes that meet their dual trivially. We construct LCD codes using orthogonal matrices, self-dual codes, combinatorial designs and Gray map from codes over the family of rings $R_k$. We give a linear programming bound on the largest size of an LCD code of given length and minimum distance. We make a table of lower bounds for this combinatorial function for modest values of the parameters. △ Less

Submitted 5 June, 2015; originally announced June 2015.

Comments: submitted to Linear Algebra and Applications on June, 1, 2015

MSC Class: 94B05; 20H30

Skew cyclic codes over $\mathbb{F}_{q}+v\mathbb{F}_{q}+v^{2}\mathbb{F}_{q}$

Authors: Minjia Shi, Ting Yao, Adel Alahmadi, Patrick Solé

Abstract: In this article, we study skew cyclic codes over ring $R=\mathbb{F}_{q}+v\mathbb{F}_{q}+v^{2}\mathbb{F}_{q}$, where $q=p^{m}$, $p$ is an odd prime and $v^{3}=v$. We describe generator polynomials of skew cyclic codes over this ring and investigate the structural properties of skew cyclic codes over $R$ by a decomposition theorem. We also describe the generator polynomials of the duals of skew cycl… ▽ More In this article, we study skew cyclic codes over ring $R=\mathbb{F}_{q}+v\mathbb{F}_{q}+v^{2}\mathbb{F}_{q}$, where $q=p^{m}$, $p$ is an odd prime and $v^{3}=v$. We describe generator polynomials of skew cyclic codes over this ring and investigate the structural properties of skew cyclic codes over $R$ by a decomposition theorem. We also describe the generator polynomials of the duals of skew cyclic codes. Moreover, the idempotent generators of skew cyclic codes over $\mathbb{F}_{q}$ and $R$ are considered. △ Less

Submitted 29 April, 2015; originally announced April 2015.

Comments: This manuscript has been accepted by a magazine. arXiv admin note: text overlap with arXiv:1504.07831

Skew Cyclic codes over $\F_q+u\F_q+v\F_q+uv\F_q$

Authors: Ting Yao, Minjia Shi, Patrick Solé

Abstract: In this paper, we study skew cyclic codes over the ring $R=\F_q+u\F_q+v\F_q+uv\F_q$, where $u^{2}=u,v^{2}=v,uv=vu$, $q=p^{m}$ and $p$ is an odd prime. We investigate the structural properties of skew cyclic codes over $R$ through a decomposition theorem. Furthermore, we give a formula for the number of skew cyclic codes of length $n$ over $R.$ In this paper, we study skew cyclic codes over the ring $R=\F_q+u\F_q+v\F_q+uv\F_q$, where $u^{2}=u,v^{2}=v,uv=vu$, $q=p^{m}$ and $p$ is an odd prime. We investigate the structural properties of skew cyclic codes over $R$ through a decomposition theorem. Furthermore, we give a formula for the number of skew cyclic codes of length $n$ over $R.$ △ Less

Submitted 29 April, 2015; originally announced April 2015.

Improving riemann prime counting

Authors: Michel Planat, Patrick Solé

Abstract: Prime number theorem asserts that (at large $x$) the prime counting function $π(x)$ is approximately the logarithmic integral $\mbox{li}(x)$. In the intermediate range, Riemann prime counting function $\mbox{Ri}^{(N)}(x)=\sum_{n=1}^N \frac{μ(n)}{n}\mbox{Li}(x^{1/n})$ deviates from $π(x)$ by the asymptotically vanishing sum $\sum_ρ\mbox{Ri}(x^ρ)$ depending on the critical zeros $ρ$ of the Riemann z… ▽ More Prime number theorem asserts that (at large $x$) the prime counting function $π(x)$ is approximately the logarithmic integral $\mbox{li}(x)$. In the intermediate range, Riemann prime counting function $\mbox{Ri}^{(N)}(x)=\sum_{n=1}^N \frac{μ(n)}{n}\mbox{Li}(x^{1/n})$ deviates from $π(x)$ by the asymptotically vanishing sum $\sum_ρ\mbox{Ri}(x^ρ)$ depending on the critical zeros $ρ$ of the Riemann zeta function $ζ(s)$. We find a fit $π(x)\approx \mbox{Ri}^{(3)}[ψ(x)]$ [with three to four new exact digits compared to $\mbox{li}(x)$] by making use of the Von Mangoldt explicit formula for the Chebyshev function $ψ(x)$. Another equivalent fit makes use of the Gram formula with the variable $ψ(x)$. Doing so, we evaluate $π(x)$ in the range $x=10^i$, $i=[1\cdots 50]$ with the help of the first $2\times 10^6$ Riemann zeros $ρ$. A few remarks related to Riemann hypothesis (RH) are given in this context. △ Less

Submitted 4 October, 2014; originally announced October 2014.

Comments: 6 pages

Report number: ISSN 1310-5132

Journal ref: Notes on Number Theory and Discrete Mathematics, 21 (3) 38-44 (2015)

Higher-order CIS codes

Authors: Claude Carlet, Finley Freibert, Sylvain Guilley, Michael Kiermaier, Jon-Lark Kim, Patrick Solé

Abstract: We introduce {\bf complementary information set codes} of higher-order. A binary linear code of length $tk$ and dimension $k$ is called a complementary information set code of order $t$ ($t$-CIS code for short) if it has $t$ pairwise disjoint information sets. The duals of such codes permit to reduce the cost of masking cryptographic algorithms against side-channel attacks. As in the case of codes… ▽ More We introduce {\bf complementary information set codes} of higher-order. A binary linear code of length $tk$ and dimension $k$ is called a complementary information set code of order $t$ ($t$-CIS code for short) if it has $t$ pairwise disjoint information sets. The duals of such codes permit to reduce the cost of masking cryptographic algorithms against side-channel attacks. As in the case of codes for error correction, given the length and the dimension of a $t$-CIS code, we look for the highest possible minimum distance. In this paper, this new class of codes is investigated. The existence of good long CIS codes of order $3$ is derived by a counting argument. General constructions based on cyclic and quasi-cyclic codes and on the building up construction are given. A formula similar to a mass formula is given. A classification of 3-CIS codes of length $\le 12$ is given. Nonlinear codes better than linear codes are derived by taking binary images of $\Z_4$-codes. A general algorithm based on Edmonds' basis packing algorithm from matroid theory is developed with the following property: given a binary linear code of rate $1/t$ it either provides $t$ disjoint information sets or proves that the code is not $t$-CIS. Using this algorithm, all optimal or best known $[tk, k]$ codes where $t=3, 4, \dots, 256$ and $1 \le k \le \lfloor 256/t \rfloor$ are shown to be $t$-CIS for all such $k$ and $t$, except for $t=3$ with $k=44$ and $t=4$ with $k=37$. △ Less

Submitted 17 June, 2014; originally announced June 2014.

Comments: 13 pages; 1 figure

Lattice Codes for the Binary Deletion Channel

Authors: Lin Sok, Patrick Solé, Aslan Tchamkerten

Abstract: The construction of deletion codes for the Levenshtein metric is reduced to the construction of codes over the integers for the Manhattan metric by run length coding. The latter codes are constructed by expurgation of translates of lattices. These lattices, in turn, are obtained from Construction~A applied to binary codes and $\Z_4-$codes. A lower bound on the size of our codes for the Manhattan d… ▽ More The construction of deletion codes for the Levenshtein metric is reduced to the construction of codes over the integers for the Manhattan metric by run length coding. The latter codes are constructed by expurgation of translates of lattices. These lattices, in turn, are obtained from Construction~A applied to binary codes and $\Z_4-$codes. A lower bound on the size of our codes for the Manhattan distance are obtained through generalized theta series of the corresponding lattices. △ Less

Submitted 4 June, 2014; originally announced June 2014.

Comments: 2 figs; presented in part in ISIT 2013; submitted to IEEE trans. on Information Theory

Multiply Constant-Weight Codes and the Reliability of Loop Physically Unclonable Functions

Authors: Yeow Meng Chee, Zouha Cherif, Jean-Luc Danger, Sylvain Guilley, Han Mao Kiah, Jon-Lark Kim, Patrick Solé, Xiande Zhang

Abstract: We introduce the class of multiply constant-weight codes to improve the reliability of certain physically unclonable function (PUF) response. We extend classical coding methods to construct multiply constant-weight codes from known $q$-ary and constant-weight codes. Analogues of Johnson bounds are derived and are shown to be asymptotically tight to a constant factor under certain conditions. We al… ▽ More We introduce the class of multiply constant-weight codes to improve the reliability of certain physically unclonable function (PUF) response. We extend classical coding methods to construct multiply constant-weight codes from known $q$-ary and constant-weight codes. Analogues of Johnson bounds are derived and are shown to be asymptotically tight to a constant factor under certain conditions. We also examine the rates of the multiply constant-weight codes and interestingly, demonstrate that these rates are the same as those of constant-weight codes of suitable parameters. Asymptotic analysis of our code constructions is provided. △ Less

Submitted 16 January, 2014; originally announced January 2014.

Xing-Ling Codes, Duals of their Subcodes, and Good Asymmetric Quantum Codes

Authors: Martianus Frederic Ezerman, Somphong Jitman, Patrick Solé

Abstract: A class of powerful $q$-ary linear polynomial codes originally proposed by Xing and Ling is deployed to construct good asymmetric quantum codes via the standard CSS construction. Our quantum codes are $q$-ary block codes that encode $k$ qudits of quantum information into $n$ qudits and correct up to $\flr{(d_{x}-1)/2}$ bit-flip errors and up to $\flr{(d_{z}-1)/2}$ phase-flip errors.. In many cases… ▽ More A class of powerful $q$-ary linear polynomial codes originally proposed by Xing and Ling is deployed to construct good asymmetric quantum codes via the standard CSS construction. Our quantum codes are $q$-ary block codes that encode $k$ qudits of quantum information into $n$ qudits and correct up to $\flr{(d_{x}-1)/2}$ bit-flip errors and up to $\flr{(d_{z}-1)/2}$ phase-flip errors.. In many cases where the length $(q^{2}-q)/2 \leq n \leq (q^{2}+q)/2$ and the field size $q$ are fixed and for chosen values of $d_{x} \in \{2,3,4,5\}$ and $d_{z} \ge δ$, where $δ$ is the designed distance of the Xing-Ling (XL) codes, the derived pure $q$-ary asymmetric quantum CSS codes possess the best possible size given the current state of the art knowledge on the best classical linear block codes. △ Less

Submitted 27 September, 2013; v1 submitted 17 July, 2013; originally announced July 2013.

Comments: To appear in Designs, Codes and Cryptography (accepted Sep. 27, 2013)

MSC Class: 81P45; 81P70; 94B05

Journal ref: Designs, Codes and Cryptography. April 2015, Volume 75, Issue 1, pp 21-42

2- and 3-modular Lattice Wiretap Codes in Small Dimensions

Authors: Fuchun Lin, Frédérique Oggier, Patrick Solé

Abstract: A recent line of work on lattice codes for Gaussian wiretap channels introduced a new lattice invariant called secrecy gain as a code design criterion which captures the confusion that lattice coding produces at an eavesdropper. Following up the study of unimodular lattice wiretap codes [1], this paper investigates 2- and 3-modular lattices and compares them with unimodular lattices. Most even 2-… ▽ More A recent line of work on lattice codes for Gaussian wiretap channels introduced a new lattice invariant called secrecy gain as a code design criterion which captures the confusion that lattice coding produces at an eavesdropper. Following up the study of unimodular lattice wiretap codes [1], this paper investigates 2- and 3-modular lattices and compares them with unimodular lattices. Most even 2- and 3-modular lattices are found to have better performance, that is, a higher secrecy gain than the best unimodular lattices in dimension n, n is between 2 and 23. Odd 2-modular lattices are considered, too, and three lattices are found to outperform the best unimodular lattices. △ Less

Submitted 16 April, 2013; originally announced April 2013.

Comments: 17 pages, 2 figures, journal. arXiv admin note: text overlap with arXiv:1201.3688

Lower bounds on the minimum distance of long codes in the Lee metric

Authors: Hugues Randriam, Lin Sok, Patrick Solé

Abstract: The Gilbert type bound for codes in the title is reviewed, both for small and large alphabets. Constructive lower bounds better than these existential bounds are derived from geometric codes, either over Fp or Fp2 ; or over even degree extensions of Fp: In the latter case the approach is concatena- tion with a good code for the Hamming metric as outer code and a short code for the Lee metric as an… ▽ More The Gilbert type bound for codes in the title is reviewed, both for small and large alphabets. Constructive lower bounds better than these existential bounds are derived from geometric codes, either over Fp or Fp2 ; or over even degree extensions of Fp: In the latter case the approach is concatena- tion with a good code for the Hamming metric as outer code and a short code for the Lee metric as an inner code. In the former case lower bounds on the minimum Lee distance are derived by algebraic geometric arguments inspired by results of Wu, Kuijper, Udaya (2007). △ Less

Submitted 9 February, 2013; originally announced February 2013.

Report number: 13 pages, 7 figures

On Polynomial Pairs of Integers

Authors: Martianus Frederic Ezerman, Bertrand Meyer, Patrick Sole

Abstract: The reversal of a positive integer $A$ is the number obtained by reading $A$ backwards in its decimal representation. A pair $(A,B)$ of positive integers is said to be palindromic if the reversal of the product $A \times B$ is equal to the product of the reversals of $A$ and of $B$. A pair $(A,B)$ of positive integers is said to be polynomial if the product $A \times B$ can be performed without ca… ▽ More The reversal of a positive integer $A$ is the number obtained by reading $A$ backwards in its decimal representation. A pair $(A,B)$ of positive integers is said to be palindromic if the reversal of the product $A \times B$ is equal to the product of the reversals of $A$ and of $B$. A pair $(A,B)$ of positive integers is said to be polynomial if the product $A \times B$ can be performed without carry. In this paper, we use polynomial pairs in constructing and in studying the properties of palindromic pairs. It is shown that polynomial pairs are always palindromic. It is further conjectured that, provided that neither $A$ nor $B$ is itself a palindrome, all palindromic pairs are polynomial. A connection is made with classical topics in recreational mathematics such as reversal multiplication, palindromic squares, and repunits. △ Less

Submitted 15 August, 2014; v1 submitted 29 October, 2012; originally announced October 2012.

Comments: 13 pages, 3 tables, errors are corrected, some proofs are made more explicit

Journal ref: Journal of Integer Sequences, Vol. 18 (2015), Article 15.3.5

The maximum number of minimal codewords in an $[n,k]-$code

Authors: A. Alahmadi, R. E. L. Aldred, R. dela Cruz, P. Solé, C. Thomassen

Abstract: Upper and lower bounds are derived for the quantity in the title, which is tabulated for modest values of $n$ and $k.$ An application to graphs with many cycles is given. Upper and lower bounds are derived for the quantity in the title, which is tabulated for modest values of $n$ and $k.$ An application to graphs with many cycles is given. △ Less

Submitted 4 March, 2012; originally announced March 2012.

Comments: 6 pp. Submitted

MSC Class: 94A10 (Primary) 05C38; 05B35 (Secondary)

Cyclic codes over $M_2(\F_2)$

Authors: Adel Alahmadi, Patrick Solé, Houda Sboui, Olfa Yemen

Abstract: The ring in the title is the first non commutative ring to have been used as alphabet for block codes. The original motivation was the construction of some quaternionic modular lattices from codes. The new application is the construction of space time codes obtained by concatenation from the Golden code. In this article, we derive structure theorems for cyclic codes over that ring, and use them to… ▽ More The ring in the title is the first non commutative ring to have been used as alphabet for block codes. The original motivation was the construction of some quaternionic modular lattices from codes. The new application is the construction of space time codes obtained by concatenation from the Golden code. In this article, we derive structure theorems for cyclic codes over that ring, and use them to characterize the lengths where self dual cyclic codes exist. These codes in turn give rise to formally self dual quaternary codes. △ Less

Submitted 31 January, 2012; originally announced January 2012.

Comments: 10 pages; submitted

MSC Class: Primary 94B15; Secondary 16S36

The maximum number of minimal codewords in long codes

Authors: Adel Alahmadi, R. E. L. Aldred, Romar dela Cruz, Patrick Solé, Carsten Thomassen

Abstract: Upper bounds on the maximum number of minimal codewords in a binary code follow from the theory of matroids. Random coding provide lower bounds. In this paper we compare these bounds with analogous bounds for the cycle code of graphs. This problem (in the graphic case) was considered in 1981 by Entringer and Slater who asked if a connected graph with $p$ vertices and $q$ edges can have only slight… ▽ More Upper bounds on the maximum number of minimal codewords in a binary code follow from the theory of matroids. Random coding provide lower bounds. In this paper we compare these bounds with analogous bounds for the cycle code of graphs. This problem (in the graphic case) was considered in 1981 by Entringer and Slater who asked if a connected graph with $p$ vertices and $q$ edges can have only slightly more that $2^{q-p}$ cycles. The bounds in this note answer this in the affirmative for all graphs except possibly some that have fewer than $2p+3\log_2(3p)$ edges. We also conclude that an Eulerian (even) graph has at most $2^{q-p}$ cycles unless the graph is a subdivision of a 4-regular graph that is the edge-disjoint union of two Hamiltonian cycles, in which case it may have as many as $2^{q-p}+p$ cycles. △ Less

Submitted 4 April, 2012; v1 submitted 29 January, 2012; originally announced January 2012.

Comments: 9 pages, submitted to Discrete Applied Math

MSC Class: 94A10 (Primary) 05C38; 05B35 (Secondary)

Chebyshev's bias and generalized Riemann hypothesis

Authors: Adel Alamadhi, Michel Planat, Patrick Solé

Abstract: It is well known that $li(x)>π(x)$ (i) up to the (very large) Skewes' number $x_1 \sim 1.40 \times 10^{316}$ \cite{Bays00}. But, according to a Littlewood's theorem, there exist infinitely many $x$ that violate the inequality, due to the specific distribution of non-trivial zeros $γ$ of the Riemann zeta function $ζ(s)$, encoded by the equation… ▽ More It is well known that $li(x)>π(x)$ (i) up to the (very large) Skewes' number $x_1 \sim 1.40 \times 10^{316}$ \cite{Bays00}. But, according to a Littlewood's theorem, there exist infinitely many $x$ that violate the inequality, due to the specific distribution of non-trivial zeros $γ$ of the Riemann zeta function $ζ(s)$, encoded by the equation $li(x)-π(x)\approx \frac{\sqrt{x}}{\log x}[1+2 \sum_γ\frac{\sin (γ\log x)}γ]$ (1). If Riemann hypothesis (RH) holds, (i) may be replaced by the equivalent statement $li[ψ(x)]>π(x)$ (ii) due to Robin \cite{Robin84}. A statement similar to (i) was found by Chebyshev that $π(x;4,3)-π(x;4,1)>0$ (iii) holds for any $x<26861$ \cite{Rubin94} (the notation $π(x;k,l)$ means the number of primes up to $x$ and congruent to $l\mod k$). The {\it Chebyshev's bias}(iii) is related to the generalized Riemann hypothesis (GRH) and occurs with a logarithmic density $\approx 0.9959$ \cite{Rubin94}. In this paper, we reformulate the Chebyshev's bias for a general modulus $q$ as the inequality $B(x;q,R)-B(x;q,N)>0$ (iv), where $B(x;k,l)=li[φ(k)*ψ(x;k,l)]-φ(k)*π(x;k,l)$ is a counting function introduced in Robin's paper \cite{Robin84} and $R$ resp. $N$) is a quadratic residue modulo $q$ (resp. a non-quadratic residue). We investigate numerically the case $q=4$ and a few prime moduli $p$. Then, we proove that (iv) is equivalent to GRH for the modulus $q$. △ Less

Submitted 11 December, 2011; originally announced December 2011.

Comments: 9 pages

Journal ref: Journal of Algebra, Number Theory: Advances and Applications 8, 1-2 (2013) 41-55

Classification of extremal and $s$-extremal binary self-dual codes of length 38

Authors: Carlos Aguilar-Melchor, Philippe Gaborit, Jon-Lark Kim, Lin Sok, Patrick Solé

Abstract: In this paper we classify all extremal and $s$-extremal binary self-dual codes of length 38. There are exactly 2744 extremal $[38,19,8]$ self-dual codes, two $s$-extremal $[38,19,6]$ codes, and 1730 $s$-extremal $[38,19,8]$ codes. We obtain our results from the use of a recursive algorithm used in the recent classification of all extremal self-dual codes of length 36, and from a generalization of… ▽ More In this paper we classify all extremal and $s$-extremal binary self-dual codes of length 38. There are exactly 2744 extremal $[38,19,8]$ self-dual codes, two $s$-extremal $[38,19,6]$ codes, and 1730 $s$-extremal $[38,19,8]$ codes. We obtain our results from the use of a recursive algorithm used in the recent classification of all extremal self-dual codes of length 36, and from a generalization of this recursive algorithm for the shadow. The classification of $s$-extremal $[38,19,6]$ codes permits to achieve the classification of all $s$-extremal codes with d=6. △ Less

Submitted 1 November, 2011; originally announced November 2011.

Comments: revised version - paper submitted (4/4/2011) to IEEE trans. Information and accepted 20/10/2011

A new class of codes for Boolean masking of cryptographic computations

Authors: Claude Carlet, Philippe Gaborit, Jon-Lark Kim, Patrick Solé

Abstract: We introduce a new class of rate one-half binary codes: {\bf complementary information set codes.} A binary linear code of length $2n$ and dimension $n$ is called a complementary information set code (CIS code for short) if it has two disjoint information sets. This class of codes contains self-dual codes as a subclass. It is connected to graph correlation immune Boolean functions of use in the se… ▽ More We introduce a new class of rate one-half binary codes: {\bf complementary information set codes.} A binary linear code of length $2n$ and dimension $n$ is called a complementary information set code (CIS code for short) if it has two disjoint information sets. This class of codes contains self-dual codes as a subclass. It is connected to graph correlation immune Boolean functions of use in the security of hardware implementations of cryptographic primitives. Such codes permit to improve the cost of masking cryptographic algorithms against side channel attacks. In this paper we investigate this new class of codes: we give optimal or best known CIS codes of length $<132.$ We derive general constructions based on cyclic codes and on double circulant codes. We derive a Varshamov-Gilbert bound for long CIS codes, and show that they can all be classified in small lengths $\le 12$ by the building up construction. Some nonlinear permutations are constructed by using $\Z_4$-codes, based on the notion of dual distance of an unrestricted code. △ Less

Submitted 4 April, 2012; v1 submitted 6 October, 2011; originally announced October 2011.

Comments: 19 pages. IEEE Trans. on Information Theory, to appear

Efficient prime counting and the Chebyshev primes

Authors: Michel Planat, Patrick Solé

Abstract: The function $ε(x)=\mbox{li}(x)-π(x)$ is known to be positive up to the (very large) Skewes' number. Besides, according to Robin's work, the functions $ε_θ(x)=\mbox{li}[θ(x)]-π(x)$ and $ε_ψ(x)=\mbox{li}[ψ(x)]-π(x)$ are positive if and only if Riemann hypothesis (RH) holds (the first and the second Chebyshev function are $θ(x)=\sum_{p \le x} \log p$ and $ψ(x)=\sum_{n=1}^x Λ(n)$, respectively,… ▽ More The function $ε(x)=\mbox{li}(x)-π(x)$ is known to be positive up to the (very large) Skewes' number. Besides, according to Robin's work, the functions $ε_θ(x)=\mbox{li}[θ(x)]-π(x)$ and $ε_ψ(x)=\mbox{li}[ψ(x)]-π(x)$ are positive if and only if Riemann hypothesis (RH) holds (the first and the second Chebyshev function are $θ(x)=\sum_{p \le x} \log p$ and $ψ(x)=\sum_{n=1}^x Λ(n)$, respectively, $\mbox{li}(x)$ is the logarithmic integral, $μ(n)$ and $Λ(n)$ are the Möbius and the Von Mangoldt functions). Negative jumps in the above functions $ε$, $ε_θ$ and $ε_ψ$ may potentially occur only at $x+1 \in \mathcal{P}$ (the set of primes). One denotes $j_p=\mbox{li}(p)-\mbox{li}(p-1)$ and one investigates the jumps $j_p$, $j_{θ(p)}$ and $j_{ψ(p)}$. In particular, $j_p<1$, and $j_{θ(p)}>1$ for $p<10^{11}$. Besides, $j_{ψ(p)}<1$ for any odd $p \in \mathcal{\mbox{Ch}}$, an infinite set of so-called {\it Chebyshev primes } with partial list $\{109, 113, 139, 181, 197, 199, 241, 271, 281, 283, 293, 313, 317, 443, 449, 461, 463, \ldots\}$. We establish a few properties of the set $\mathcal{\mbox{Ch}}$, give accurate approximations of the jump $j_{ψ(p)}$ and relate the derivation of $\mbox{Ch}$ to the explicit Mangoldt formula for $ψ(x)$. In the context of RH, we introduce the so-called {\it Riemann primes} as champions of the function $ψ(p_n^l)-p_n^l$ (or of the function $θ(p_n^l)-p_n^l$ ). Finally, we find a {\it good} prime counting function $S_N(x)=\sum_{n=1}^N \frac{μ(n)}{n}\mbox{li}[ψ(x)^{1/n}]$, that is found to be much better than the standard Riemann prime counting function. △ Less

Submitted 17 October, 2011; v1 submitted 29 September, 2011; originally announced September 2011.

Comments: 15 pages section 2.2 added, new sequences added, Fig. 2 and 3 are new

Journal ref: Journal of Discrete Mathematics 2013 (2013) ID 491627

Lattice Codes for the Wiretap Gaussian Channel: Construction and Analysis

Authors: Frédérique Oggier, Patrick Solé, Jean-Claude Belfiore

Abstract: We consider the Gaussian wiretap channel, where two legitimate players Alice and Bob communicate over an additive white Gaussian noise (AWGN) channel, while Eve is eavesdrop**, also through an AWGN channel. We propose a coding strategy based on lattice coset encoding. We analyze Eve's probability of decoding, from which we define the secrecy gain as a design criterion for wiretap lattice codes,… ▽ More We consider the Gaussian wiretap channel, where two legitimate players Alice and Bob communicate over an additive white Gaussian noise (AWGN) channel, while Eve is eavesdrop**, also through an AWGN channel. We propose a coding strategy based on lattice coset encoding. We analyze Eve's probability of decoding, from which we define the secrecy gain as a design criterion for wiretap lattice codes, expressed in terms of the lattice theta series, which characterizes Eve's confusion as a function of the channel parameters. The secrecy gain is studied for even unimodular lattices, and an asymptotic analysis shows that it grows exponentially in the dimension of the lattice. Examples of wiretap lattice codes are given. Interestingly, minimizing Eve's probability of error involves the same optimization of the theta series as does the flatness factor, another newly defined code design that characterizes lattice codes that achieve strong secrecy. △ Less

Submitted 9 January, 2013; v1 submitted 21 March, 2011; originally announced March 2011.

Comments: 43 pages, 16 figures, submitted to IEEE Trans. on Inform. Theory

Pauli graphs, Riemann hypothesis, Goldbach pairs

Authors: Michel Planat, Fabio Anselmi, Patrick Solé

Abstract: Let consider the Pauli group $\mathcal{P}_q=<X,Z>$ with unitary quantum generators $X$ (shift) and $Z$ (clock) acting on the vectors of the $q$-dimensional Hilbert space via $X|s> =|s+1>$ and $Z|s> =ω^s |s>$, with $ω=\exp(2iπ/q)$. It has been found that the number of maximal mutually commuting sets within $\mathcal{P}_q$ is controlled by the Dedekind psi function… ▽ More Let consider the Pauli group $\mathcal{P}_q=<X,Z>$ with unitary quantum generators $X$ (shift) and $Z$ (clock) acting on the vectors of the $q$-dimensional Hilbert space via $X|s> =|s+1>$ and $Z|s> =ω^s |s>$, with $ω=\exp(2iπ/q)$. It has been found that the number of maximal mutually commuting sets within $\mathcal{P}_q$ is controlled by the Dedekind psi function $ψ(q)=q \prod_{p|q}(1+\frac{1}{p})$ (with $p$ a prime) \cite{Planat2011} and that there exists a specific inequality $\frac{ψ(q)}{q}>e^γ\log \log q$, involving the Euler constant $γ\sim 0.577$, that is only satisfied at specific low dimensions $q \in \mathcal {A}=\{2,3,4,5,6,8,10,12,18,30\}$. The set $\mathcal{A}$ is closely related to the set $\mathcal{A} \cup \{1,24\}$ of integers that are totally Goldbach, i.e. that consist of all primes $p2$) is equivalent to Riemann hypothesis. Introducing the Hardy-Littlewood function $R(q)=2 C_2 \prod_{p|n}\frac{p-1}{p-2}$ (with $C_2 \sim 0.660$ the twin prime constant), that is used for estimating the number $g(q) \sim R(q) \frac{q}{\ln^2 q}$ of Goldbach pairs, one shows that the new inequality $\frac{R(N_r)}{\log \log N_r} \gtrapprox e^γ$ is also equivalent to Riemann hypothesis. In this paper, these number theoretical properties are discusssed in the context of the qudit commutation structure. △ Less

Submitted 14 March, 2011; originally announced March 2011.

Comments: 11 pages

Journal ref: Theoretical and Mathematical Physics 171, 3 (2012) 780-791

Constructive spherical codes near the Shannon bound

Authors: Patrick Solé, Jean-Claude Belfiore

Abstract: Shannon gave a lower bound in 1959 on the binary rate of spherical codes of given minimum Euclidean distance $ρ$. Using nonconstructive codes over a finite alphabet, we give a lower bound that is weaker but very close for small values of $ρ$. The construction is based on the Yaglom map combined with some finite sphere packings obtained from nonconstructive codes for the Euclidean metric. Concatena… ▽ More Shannon gave a lower bound in 1959 on the binary rate of spherical codes of given minimum Euclidean distance $ρ$. Using nonconstructive codes over a finite alphabet, we give a lower bound that is weaker but very close for small values of $ρ$. The construction is based on the Yaglom map combined with some finite sphere packings obtained from nonconstructive codes for the Euclidean metric. Concatenating geometric codes meeting the TVZ bound with a Lee metric BCH code over $GF(p),$ we obtain spherical codes that are polynomial time constructible. Their parameters outperform those obtained by Lachaud and Stern in 1994. At very high rate they are above 98 per cent of the Shannon bound. △ Less

Submitted 1 September, 2011; v1 submitted 10 January, 2011; originally announced January 2011.

Comments: 11 pages, 2 figures

Riemann hypothesis and Quantum Mechanics

Authors: Michel Planat, Patrick Solé, Sami Omar

Abstract: In their 1995 paper, Jean-Benoît Bost and Alain Connes (BC) constructed a quantum dynamical system whose partition function is the Riemann zeta function $ζ(β)$, where $β$ is an inverse temperature. We formulate Riemann hypothesis (RH) as a property of the low temperature Kubo-Martin-Schwinger (KMS) states of this theory. More precisely, the expectation value of the BC phase operator can be written… ▽ More In their 1995 paper, Jean-Benoît Bost and Alain Connes (BC) constructed a quantum dynamical system whose partition function is the Riemann zeta function $ζ(β)$, where $β$ is an inverse temperature. We formulate Riemann hypothesis (RH) as a property of the low temperature Kubo-Martin-Schwinger (KMS) states of this theory. More precisely, the expectation value of the BC phase operator can be written as $$φ_β(q)=N_{q-1}^{β-1} ψ_{β-1}(N_q), $$ where $N_q=\prod_{k=1}^qp_k$ is the primorial number of order $q$ and $ ψ_b $ a generalized Dedekind $ψ$ function depending on one real parameter $b$ as $$ ψ_b (q)=q \prod_{p \in \mathcal{P,}p \vert q}\frac{1-1/p^b}{1-1/p}.$$ Fix a large inverse temperature $β>2.$ The Riemann hypothesis is then shown to be equivalent to the inequality $$ N_q |φ_β(N_q)|ζ(β-1) >e^γ\log \log N_q, $$ for $q$ large enough. Under RH, extra formulas for high temperatures KMS states ($1.5< β<2$) are derived. △ Less

Submitted 16 February, 2011; v1 submitted 21 December, 2010; originally announced December 2010.

Comments: version to appear in J. Phys. A: Math. Theor

Journal ref: J.Phys.A44:145203,2011

On Nicolas criterion for the Riemann Hypothesis

Authors: Youngju Choie, Michel Planat, Patrick Solé

Abstract: Nicolas criterion for the Riemann Hypothesis is based on an inequality that Euler totient function must satisfy at primorial numbers. A natural approach to derive this inequality would be to prove that a specific sequence related to that bound is strictly decreasing. We show that, unfortunately, this latter fact would contradict Cramér conjecture on gaps between consecutive primes. An analogous si… ▽ More Nicolas criterion for the Riemann Hypothesis is based on an inequality that Euler totient function must satisfy at primorial numbers. A natural approach to derive this inequality would be to prove that a specific sequence related to that bound is strictly decreasing. We show that, unfortunately, this latter fact would contradict Cramér conjecture on gaps between consecutive primes. An analogous situation holds when replacing Euler totient by Dedekind $Ψ$ function. △ Less

Submitted 17 December, 2010; v1 submitted 16 December, 2010; originally announced December 2010.

Comments: 7 pages an important transmission misprint fixed on Cramer conjecture

Robin inequality for $7-$free integers

Authors: Patrick Solé, Michel Planat

Abstract: Recall that an integer is $t-$free iff it is not divisible by $p^t$ for some prime $p.$ We give a method to check Robin inequality $σ(n) < e^γn\log\log n,$ for $t-$free integers $n$ and apply it for $t=6,7.$ We introduce $Ψ_t,$ a generalization of Dedekind $Ψ$ function defined for any integer $t\ge 2$ by $$Ψ_t(n):=n\prod_{p | n}(1+1/p+...+1/p^{t-1}).$$ If $n$ is $t-$free then the sum of divisor fu… ▽ More Recall that an integer is $t-$free iff it is not divisible by $p^t$ for some prime $p.$ We give a method to check Robin inequality $σ(n) < e^γn\log\log n,$ for $t-$free integers $n$ and apply it for $t=6,7.$ We introduce $Ψ_t,$ a generalization of Dedekind $Ψ$ function defined for any integer $t\ge 2$ by $$Ψ_t(n):=n\prod_{p | n}(1+1/p+...+1/p^{t-1}).$$ If $n$ is $t-$free then the sum of divisor function $σ(n)$ is $ \le Ψ_t(n).$ We characterize the champions for $x \mapsto Ψ_t(x)/x,$ as primorial numbers. Define the ratio $R_t(n):=\frac{Ψ_t(n)}{n\log\log n}.$ We prove that, for all $t$, there exists an integer $n_1(t),$ such that we have $R_t(N_n)< e^γ$ for $n\ge n_1,$ where $N_n=\prod_{k=1}^np_k.$ Further, by combinatorial arguments, this can be extended to $R_t(N)\le e^γ$ for all $N\ge N_n,$ such that $n\ge n_1(t).$ This yields Robin inequality for $t=6,\,7.$ For $t$ varying slowly with $N$, we also derive $R_t(N)< e^γ.$ △ Less

Submitted 3 December, 2010; originally announced December 2010.

Comments: 5 pages

Journal ref: Integers : Electronic Journal of Combinatorial Number Theory 11 (2011) \#A65

Extreme values of the Dedekind $Ψ$ function

Authors: Patrick Solé, Michel Planat

Abstract: Let $Ψ(n):=n\prod_{p | n}(1+\frac{1}{p})$ denote the Dedekind $Ψ$ function. Define, for $n\ge 3,$ the ratio $R(n):=\frac{Ψ(n)}{n\log\log n}.$ We prove unconditionally that $R(n)< e^γ$ for $n\ge 31.$ Let $N_n=2...p_n$ be the primorial of order $n.$ We prove that the statement $R(N_n)>\frac{e^γ}{ζ(2)}$ for $n\ge 3$ is equivalent to the Riemann Hypothesis. Let $Ψ(n):=n\prod_{p | n}(1+\frac{1}{p})$ denote the Dedekind $Ψ$ function. Define, for $n\ge 3,$ the ratio $R(n):=\frac{Ψ(n)}{n\log\log n}.$ We prove unconditionally that $R(n)< e^γ$ for $n\ge 31.$ Let $N_n=2...p_n$ be the primorial of order $n.$ We prove that the statement $R(N_n)>\frac{e^γ}{ζ(2)}$ for $n\ge 3$ is equivalent to the Riemann Hypothesis. △ Less

Submitted 18 January, 2011; v1 submitted 8 November, 2010; originally announced November 2010.

Comments: 5 pages, to appear in Journal of Combinatorics and Number theory

Journal ref: Journal of Combinatorics and Number Theory 3, 1 (2011) 1-6

A Type II lattice of norm 8 in dimension 72

Authors: Jean-Claude Belfiore, Patrick Solé

Abstract: A Type II lattice of norm 8 in dimension 72 is obtained by Construction A applied to an extended Quadratic Residue code over Z8. Its automorphism group contains a subgroup isomorphic to PSL(2,71). A Type II lattice of norm 8 in dimension 72 is obtained by Construction A applied to an extended Quadratic Residue code over Z8. Its automorphism group contains a subgroup isomorphic to PSL(2,71). △ Less

Submitted 26 October, 2010; v1 submitted 21 October, 2010; originally announced October 2010.

Comments: withdrawn, result incorrect

On Bounded Weight Codes

Authors: Christine Bachoc, Venkat Chandar, Gerard Cohen, Patrick Sole, Aslan Tchamkerten

Abstract: The maximum size of a binary code is studied as a function of its length N, minimum distance D, and minimum codeword weight W. This function B(N,D,W) is first characterized in terms of its exponential growth rate in the limit as N tends to infinity for fixed d=D/N and w=W/N. The exponential growth rate of B(N,D,W) is shown to be equal to the exponential growth rate of A(N,D) for w <= 1/2, and equa… ▽ More The maximum size of a binary code is studied as a function of its length N, minimum distance D, and minimum codeword weight W. This function B(N,D,W) is first characterized in terms of its exponential growth rate in the limit as N tends to infinity for fixed d=D/N and w=W/N. The exponential growth rate of B(N,D,W) is shown to be equal to the exponential growth rate of A(N,D) for w <= 1/2, and equal to the exponential growth rate of A(N,D,W) for 1/2< w <= 1. Second, analytic and numerical upper bounds on B(N,D,W) are derived using the semidefinite programming (SDP) method. These bounds yield a non-asymptotic improvement of the second Johnson bound and are tight for certain values of the parameters. △ Less

Submitted 19 September, 2010; originally announced September 2010.