Showing 1–47 of 47 results for author: Solé, P

Proof of the Lehmer conjecture on Ramanujan's $τ$ function

Authors: Minjia Shi, Lu Wang, Patrick Solé

Abstract: A criterion for Lehmer's conjecture in terms of the spherical designs held in the shells of the lattice $E_8$ was derived by de La Harpe, Pache and Venkov circa 2005. We check that this criterion is satisfied by combining spherical designs, harmonic polynomials, weighted theta series, and Deligne's bound on the modulus of the $τ$ function. A criterion for Lehmer's conjecture in terms of the spherical designs held in the shells of the lattice $E_8$ was derived by de La Harpe, Pache and Venkov circa 2005. We check that this criterion is satisfied by combining spherical designs, harmonic polynomials, weighted theta series, and Deligne's bound on the modulus of the $τ$ function. △ Less

Submitted 1 April, 2025; v1 submitted 30 March, 2025; originally announced March 2025.

Comments: The Venkov theorem is incorrect as stated. As a result Theorem 1 reduces to $η(n)>0,$ which cannot hold for all n

The log concavity of two graphical sequences

Authors: Minjia Shi, Lu Wang, Patrick Sole

Abstract: We show that the large Cartesian powers of any graph have log-concave valencies with respect to a ffxed vertex. We show that the series of valencies of distance regular graphs is log-concave, thus improving on a result of (Taylor, Levingston, 1978). Consequences for strongly regular graphs, two-weight codes, and completely regular codes are derived. By P-Q duality of association schemes the series… ▽ More We show that the large Cartesian powers of any graph have log-concave valencies with respect to a ffxed vertex. We show that the series of valencies of distance regular graphs is log-concave, thus improving on a result of (Taylor, Levingston, 1978). Consequences for strongly regular graphs, two-weight codes, and completely regular codes are derived. By P-Q duality of association schemes the series of multiplicities of Q-polynomial association schemes is shown, under some assumption, to be log-concave. △ Less

Submitted 19 January, 2025; v1 submitted 7 January, 2025; originally announced January 2025.

Some $3$-designs invariant under $2.PΣL(2,49).$

Authors: Minjia Shi, Ruowen Liu, Patrick Solé

Abstract: We construct a ternary [49,25,7] code from the row span of a Jacobsthal matrix. It is equivalent to a Generalized Quadratic Residue (GQR) code in the sense of van Lint and MacWilliams (1978). These codes are the abelian generalizations of the quadratic residue (QR) codes which are cyclic. The union of the [50,25,8] extension of the said code and its dual supports a 3-(50,14,1248) design. The autom… ▽ More We construct a ternary [49,25,7] code from the row span of a Jacobsthal matrix. It is equivalent to a Generalized Quadratic Residue (GQR) code in the sense of van Lint and MacWilliams (1978). These codes are the abelian generalizations of the quadratic residue (QR) codes which are cyclic. The union of the [50,25,8] extension of the said code and its dual supports a 3-(50,14,1248) design. The automorphism group of the latter design is a double cover of the permutation part of the automorphism group of the [50,25,8] code, which is isomorphic to $PΣL(2,49).$ Other weights in this code, other GQR codes, and other QR codes yield other 3-designs by the same process. A simple group action argument is provided to explain this behaviour of isodual codes. △ Less

Submitted 23 July, 2024; originally announced July 2024.

Comments: 9 pages

MSC Class: 94 B15; 05 B05

On the coset graph construction of distance-regular graphs

Authors: Minjia Shi, Denis S. Krotov, Patrick Solé

Abstract: We show that no more new distance-regular graphs in the tables of the book of (Brouwer, Cohen, Neumaier, 1989) can be produced by using the coset graph of additive completely regular codes over finite fields. We show that no more new distance-regular graphs in the tables of the book of (Brouwer, Cohen, Neumaier, 1989) can be produced by using the coset graph of additive completely regular codes over finite fields. △ Less

Submitted 31 May, 2022; originally announced June 2022.

MSC Class: 05E30; 94B25

Journal ref: Discrete Math. 345(11) 2022, 113037(1-6)

Self-dual Hadamard bent sequences

Authors: Minjia Shi, Yaya Li, Wei Cheng, Dean Crnković, Denis Krotov, Patrick Solé

Abstract: A new notion of bent sequence related to Hadamard matrices was introduced recently, motivated by a security application ( Solé et al, 2021). We study the self dual class in length at most $196.$ We use three competing methods of generation: Exhaustion, Linear Algebra and Groebner bases. Regular Hadamard matrices and Bush-type Hadamard matrices provide many examples. We conjecture that if $v$ is an… ▽ More A new notion of bent sequence related to Hadamard matrices was introduced recently, motivated by a security application ( Solé et al, 2021). We study the self dual class in length at most $196.$ We use three competing methods of generation: Exhaustion, Linear Algebra and Groebner bases. Regular Hadamard matrices and Bush-type Hadamard matrices provide many examples. We conjecture that if $v$ is an even perfect square, a self-dual bent sequence of length $v$ always exist. We introduce the strong automorphism group of Hadamard matrices, which acts on their associated self-dual bent sequences. We give an efficient algorithm to compute that group. △ Less

Submitted 22 June, 2022; v1 submitted 30 March, 2022; originally announced March 2022.

MSC Class: Primary 94D10; Secondary 15B34

Journal ref: J. Syst. Sci. Complex. 36(2) 2023, 894-908

The covering radius of permutation designs

Authors: Patrick Solé

Abstract: A notion of $t$-designs in the symmetric group on $n$ letters was introduced by Godsil in 1988. In particular $t$-transitive sets of permutations form a $t$-design. We derive upper bounds on the covering radius of these designs, as a function of $n$ and $t$ and in terms of the largest zeros of Charlier polynomials. A notion of $t$-designs in the symmetric group on $n$ letters was introduced by Godsil in 1988. In particular $t$-transitive sets of permutations form a $t$-design. We derive upper bounds on the covering radius of these designs, as a function of $n$ and $t$ and in terms of the largest zeros of Charlier polynomials. △ Less

Submitted 9 August, 2021; originally announced August 2021.

Comments: 8 pages. arXiv admin note: text overlap with arXiv:2105.07979

MSC Class: 05E30 (Primary); 94B60 (Secondary)

Designs, permutations, and transitive groups

Authors: Minjia Shi, XiaoXiao Li, Patrick Solé

Abstract: A notion of $t$-designs in the symmetric group on $n$ letters was introduced by Godsil in 1988. In particular $t$-transitive sets of permutations form a $t$-design. We derive special lower bounds for $t=1$ and $t=2$ by a power moment method. For general $n,t$ we give a %linear programming lower bound . For $n\ge 4$ and $t=2,$ this bound is strong enough to show a lower bound on the size of such… ▽ More A notion of $t$-designs in the symmetric group on $n$ letters was introduced by Godsil in 1988. In particular $t$-transitive sets of permutations form a $t$-design. We derive special lower bounds for $t=1$ and $t=2$ by a power moment method. For general $n,t$ we give a %linear programming lower bound . For $n\ge 4$ and $t=2,$ this bound is strong enough to show a lower bound on the size of such $t$-designs of $n(n-1)\dots (n-t+1),$ which is best possible when sharply $t$-transitive sets of permutations exist. This shows, in particular, that tight $2$-designs do not exist. △ Less

Submitted 24 June, 2023; v1 submitted 17 May, 2021; originally announced May 2021.

Comments: 12 pages. arXiv admin note: text overlap with arXiv:2102.08276

MSC Class: Primary 05E35; Secondary O5E20; 05E24

LCD Codes from tridiagonal Toeplitz matrice

Authors: Minjia Shi, Ferruh Özbudak, Li Xu, Patrick Solé

Abstract: Double Toeplitz (DT) codes are codes with a generator matrix of the form $(I,T)$ with $T$ a Toeplitz matrix, that is to say constant on the diagonals parallel to the main. When $T$ is tridiagonal and symmetric we determine its spectrum explicitly by using Dickson polynomials, and deduce from there conditions for the code to be LCD. Using a special concatenation process, we construct optimal or qua… ▽ More Double Toeplitz (DT) codes are codes with a generator matrix of the form $(I,T)$ with $T$ a Toeplitz matrix, that is to say constant on the diagonals parallel to the main. When $T$ is tridiagonal and symmetric we determine its spectrum explicitly by using Dickson polynomials, and deduce from there conditions for the code to be LCD. Using a special concatenation process, we construct optimal or quasi-optimal examples of binary and ternary LCD codes from DT codes over extension fields. △ Less

Submitted 7 March, 2021; originally announced March 2021.

Comments: 16 pages

MSC Class: 94B05; 15B05; 12E10

Designs in finite metric spaces: a probabilistic approach

Authors: Minjia Shi, Olivier Rioul, Patrick Solé

Abstract: A finite metric space is called here distance degree regular if its distance degree sequence is the same for every vertex. A notion of designs in such spaces is introduced that generalizes that of designs in $Q$-polynomial distance-regular graphs. An approximation of their cumulative distribution function, based on the notion of Christoffel function in approximation theory is given. As an applicat… ▽ More A finite metric space is called here distance degree regular if its distance degree sequence is the same for every vertex. A notion of designs in such spaces is introduced that generalizes that of designs in $Q$-polynomial distance-regular graphs. An approximation of their cumulative distribution function, based on the notion of Christoffel function in approximation theory is given. As an application we derive limit laws on the weight distributions of binary orthogonal arrays of strength going to infinity. An analogous result for combinatorial designs of strength going to infinity is given. △ Less

Submitted 16 February, 2021; originally announced February 2021.

Comments: 18 pages

MSC Class: Primary 05E35; Secondary O5E20; 05E24

Zero sum sets in abelian groups

Authors: Minjia Shi, Denis S. Krotov, Xiaoxiao Li, Patrick Solé

Abstract: The distribution of cardinalities of zero-sum sets in abelian groups is completely determined. A complex summation involving the Möbius function is given for the general abelian group, while in many special cases, including the case of elementary abelian groups, solved earlier by Li and Wan, it has a compact form. The proof involves two different Möbius transforms, on positive integers and on set… ▽ More The distribution of cardinalities of zero-sum sets in abelian groups is completely determined. A complex summation involving the Möbius function is given for the general abelian group, while in many special cases, including the case of elementary abelian groups, solved earlier by Li and Wan, it has a compact form. The proof involves two different Möbius transforms, on positive integers and on set partitions. △ Less

Submitted 7 February, 2021; v1 submitted 29 January, 2021; originally announced February 2021.

Comments: The result is not new, see [J. Li and D. Wan, Counting subset sums of finite abelian groups, J. Combin. Theory, Ser. A, 119(1) (2012), 170-182]

MSC Class: 05A18; 05E40; 68P27

The extended binary quadratic residue code of length 42 holds a 3-design

Authors: Alexis Bonnecaze, Patrick Solé

Abstract: The codewords of weight $10$ of the $[42,21,10]$ extended binary quadratic residue code are shown to hold a design of parameters $3-(42,10,18).$ Its automorphism group is isomorphic to $PSL(2,41)$. Its existence can be explained neither by a transitivity argument, nor by the Assmus-Mattson theorem. The codewords of weight $10$ of the $[42,21,10]$ extended binary quadratic residue code are shown to hold a design of parameters $3-(42,10,18).$ Its automorphism group is isomorphic to $PSL(2,41)$. Its existence can be explained neither by a transitivity argument, nor by the Assmus-Mattson theorem. △ Less

Submitted 6 May, 2021; v1 submitted 8 January, 2021; originally announced January 2021.

Comments: 6 pages. Second version

MSC Class: 94 B15; 62K10

Journal ref: Journal of Combinatorial Designs, (2021)

On strongly walk regular graphs, triple sum sets and their codes

Authors: Michael Kiermaier, Sascha Kurz, Patrick Solé, Michael Stoll, Alfred Wassermann

Abstract: Strongly walk regular graphs (SWRGs or $s$-SWRGs) form a natural generalization of strongly regular graphs (SRGs) where paths of length~2 are replaced by paths of length~$s$. They can be constructed as coset graphs of the duals of projective three-weight codes whose weights satisfy a certain equation. We provide classifications of the feasible parameters of these codes in the binary and ternary ca… ▽ More Strongly walk regular graphs (SWRGs or $s$-SWRGs) form a natural generalization of strongly regular graphs (SRGs) where paths of length~2 are replaced by paths of length~$s$. They can be constructed as coset graphs of the duals of projective three-weight codes whose weights satisfy a certain equation. We provide classifications of the feasible parameters of these codes in the binary and ternary case for medium size code lengths. For the binary case, the divisibility of the weights of these codes is investigated and several general results are shown. It is known that an $s$-SWRG has at most 4 distinct eigenvalues $k > θ_1 > θ_2 > θ_3$, and that the triple $(θ_1, θ_2, θ_3)$ satisfies a certain homogeneous polynomial equation of degree $s - 2$ (Van Dam, Omidi, 2013). This equation defines a plane algebraic curve; we use methods from algorithmic arithmetic geometry to show that for $s = 5$ and $s = 7$, there are only the obvious solutions, and we conjecture this to remain true for all (odd) $s \ge 9$. △ Less

Submitted 5 October, 2022; v1 submitted 11 December, 2020; originally announced December 2020.

Comments: 42 pages

MSC Class: Primary 05E30; Secondary 11D41; 94B05

The uncertainty principle over finite fields

Authors: Martino Borello, Patrick Solé

Abstract: In this paper we study the uncertainty principle (UP) connecting a function over a finite field and its Mattson-Solomon polynomial, which is a kind of Fourier transform in positive characteristic. Three versions of the UP over finite fields are studied, in connection with the asymptotic theory of cyclic codes. We first show that no finite field satisfies the strong version of UP, introduced recent… ▽ More In this paper we study the uncertainty principle (UP) connecting a function over a finite field and its Mattson-Solomon polynomial, which is a kind of Fourier transform in positive characteristic. Three versions of the UP over finite fields are studied, in connection with the asymptotic theory of cyclic codes. We first show that no finite field satisfies the strong version of UP, introduced recently by Evra, Kowalsky, Lubotzky, 2017. A refinement of the weak version is given, by using the asymptotic Plotkin bound. A naive version, which is the direct analogue over finite fields of the Donoho-Stark bound over the complex numbers, is proved by using the BCH bound. It is strong enough to show that there exist sequences of cyclic codes of length $n$, arbitrary rate, and minimum distance $Ω(n^α)$ for all $0<α<1/2$. Finally, a connection with Ramsey Theory is pointed out. △ Less

Submitted 23 March, 2021; v1 submitted 8 July, 2020; originally announced July 2020.

Comments: 13 pages

Three-weight codes over rings and strongly walk regular graphs

Authors: Michael Kiermaier, Sascha Kurz, Minjia Shi, Patrick Solé

Abstract: We construct strongly walk-regular graphs as coset graphs of the duals of codes with three non-zero homogeneous weights over $\mathbb{Z}_{p^m},$ for $p$ a prime, and more generally over chain rings of depth $m$, and with a residue field of size $q$, a prime power. Infinite families of examples are built from Kerdock and generalized Teichmüller codes. As a byproduct, we give an alternative proof th… ▽ More We construct strongly walk-regular graphs as coset graphs of the duals of codes with three non-zero homogeneous weights over $\mathbb{Z}_{p^m},$ for $p$ a prime, and more generally over chain rings of depth $m$, and with a residue field of size $q$, a prime power. Infinite families of examples are built from Kerdock and generalized Teichmüller codes. As a byproduct, we give an alternative proof that the Kerdock code is nonlinear. △ Less

Submitted 9 December, 2019; originally announced December 2019.

Comments: 28 pages, 6 tables

MSC Class: 05E30 (Primary); 94B05 (Secondary)

Asymptotic performance of metacyclic codes

Authors: Martino Borello, Pieter Moree, Patrick Solé

Abstract: A finite group with a cyclic normal subgroup N such that G/N is cyclic is said to be metacyclic. A code over a finite field F is a metacyclic code if it is a left ideal in the group algebra FG for G a metacyclic group. Metacyclic codes are generalizations of dihedral codes, and can be constructed as quasi-cyclic codes with an extra automorphism. In this paper, we prove that metacyclic codes form a… ▽ More A finite group with a cyclic normal subgroup N such that G/N is cyclic is said to be metacyclic. A code over a finite field F is a metacyclic code if it is a left ideal in the group algebra FG for G a metacyclic group. Metacyclic codes are generalizations of dihedral codes, and can be constructed as quasi-cyclic codes with an extra automorphism. In this paper, we prove that metacyclic codes form an asymptotically good family of codes. Our proof relies on a version of Artin's conjecture for primitive roots in arithmetic progression being true under the Generalized Riemann Hypothesis (GRH). △ Less

Submitted 18 June, 2019; originally announced June 2019.

Comments: 6 pages

A new approach to the Kasami codes of type 2

Authors: Minjia Shi, Denis Krotov, Patrick Solé

Abstract: The dual of the Kasami code of length $q^2-1$, with $q$ a power of $2$, is constructed by concatenating a cyclic MDS code of length $q+1$ over $F_q$ with a Simplex code of length $q-1$. This yields a new derivation of the weight distribution of the Kasami code, a new description of its coset graph, and a new proof that the Kasami code is completely regular. The automorphism groups of the Kasami co… ▽ More The dual of the Kasami code of length $q^2-1$, with $q$ a power of $2$, is constructed by concatenating a cyclic MDS code of length $q+1$ over $F_q$ with a Simplex code of length $q-1$. This yields a new derivation of the weight distribution of the Kasami code, a new description of its coset graph, and a new proof that the Kasami code is completely regular. The automorphism groups of the Kasami code and the related $q$-ary MDS code are determined. New cyclic completely regular codes over finite fields a power of $2$, generalized Kasami codes, are constructed; they have coset graphs isomorphic to that of the Kasami codes. Another wide class of completely regular codes, including additive codes, as well as unrestricted codes, is obtained by combining cosets of the Kasami or generalized Kasami code. △ Less

Submitted 26 June, 2023; v1 submitted 28 September, 2018; originally announced October 2018.

Comments: Revised version. The automorphism-group part essentially updated (in the previous versions, it contained incorrect results)

MSC Class: 05E30; 94B05

Journal ref: IEEE Trans. Inf. Theory 66(4) 2020, 2456-2465

A complete characterization of plateaued Boolean functions in terms of their Cayley graphs

Authors: Constanza Riera, Patrick Sole, Pantelimon Stanica

Abstract: In this paper we find a complete characterization of plateaued Boolean functions in terms of the associated Cayley graphs. Precisely, we show that a Boolean function $f$ is $s$-plateaued (of weight $=2^{(n+s-2)/2}$) if and only if the associated Cayley graph is a complete bipartite graph between the support of $f$ and its complement (hence the graph is strongly regular of parameters… ▽ More In this paper we find a complete characterization of plateaued Boolean functions in terms of the associated Cayley graphs. Precisely, we show that a Boolean function $f$ is $s$-plateaued (of weight $=2^{(n+s-2)/2}$) if and only if the associated Cayley graph is a complete bipartite graph between the support of $f$ and its complement (hence the graph is strongly regular of parameters $e=0,d=2^{(n+s-2)/2}$). Moreover, a Boolean function $f$ is $s$-plateaued (of weight $\neq 2^{(n+s-2)/2}$) if and only if the associated Cayley graph is strongly $3$-walk-regular (and also strongly $\ell$-walk-regular, for all odd $\ell\geq 3$) with some explicitly given parameters. △ Less

Submitted 1 July, 2018; originally announced July 2018.

Comments: 7 pages, 1 figure, Proceedings of Africacrypt 2018

A new distance-regular graph of diameter 3 on 1024 vertices

Authors: Minjia Shi, Denis Krotov, Patrick Solé

Abstract: The dodecacode is a nonlinear additive quaternary code of length $12$. By puncturing it at any of the twelve coordinates, we obtain a uniformly packed code of distance $5$. In particular, this latter code is completely regular but not completely transitive. Its coset graph is distance-regular of diameter three on $2^{10}$ vertices, with new intersection array $\{33,30,15;1,2,15\}$. The automorphis… ▽ More The dodecacode is a nonlinear additive quaternary code of length $12$. By puncturing it at any of the twelve coordinates, we obtain a uniformly packed code of distance $5$. In particular, this latter code is completely regular but not completely transitive. Its coset graph is distance-regular of diameter three on $2^{10}$ vertices, with new intersection array $\{33,30,15;1,2,15\}$. The automorphism groups of the code, and of the graph, are determined. Connecting the vertices at distance two gives a strongly regular graph of (previously known) parameters $(2^{10},495,238,240)$. Another strongly regular graph with the same parameters is constructed on the codewords of the dual code. A non trivial completely regular binary code of length $33$ is constructed. △ Less

Submitted 5 November, 2018; v1 submitted 19 June, 2018; originally announced June 2018.

MSC Class: 05E30; 94B05

Journal ref: Des. Codes Cryptogr. 87(9) 2019, 2091--2101

On the proximity of large primes

Authors: Minjia Shi, Florian Luca, Patrick Solé

Abstract: By a sphere-packing argument, we show that there are infinitely many pairs of primes that are close to each other for some metrics on the integers. In particular, for any numeration basis $q$, we show that there are infinitely many pairs of primes the base $q$ expansion of which differ in at most two digits. Likewise, for any fixed integer $t,$ there are infinitely many pairs of primes, the first… ▽ More By a sphere-packing argument, we show that there are infinitely many pairs of primes that are close to each other for some metrics on the integers. In particular, for any numeration basis $q$, we show that there are infinitely many pairs of primes the base $q$ expansion of which differ in at most two digits. Likewise, for any fixed integer $t,$ there are infinitely many pairs of primes, the first $t$ digits of which are the same. In another direction, we show that, there is a constant $c$ depending on $q$ such that for infinitely many integers $m$ there are at least $c\log \log m$ primes which differ from $m$ by at most one base $q$ digit. △ Less

Submitted 15 November, 2017; originally announced November 2017.

MSC Class: Primary 11A25; Secondary 11B75

$Θ_S-$cyclic codes over $A_k$

Authors: Irwansyah, Aleams Barra, Steven T. Dougherty, Ahmad Muchlis, Intan Muchtadi-Alamsyah, Patrick Solé, Djoko Suprijanto, Olfa Yemen

Abstract: We study $Θ_S-$cyclic codes over the family of rings $A_k.$ We characterize $Θ_S-$cyclic codes in terms of their binary images. A family of Hermitian inner-products is defined and we prove that if a code is $Θ_S-$cyclic then its Hermitian dual is also $Θ_S-$cyclic. Finally, we give constructions of $Θ_S-$cyclic codes. We study $Θ_S-$cyclic codes over the family of rings $A_k.$ We characterize $Θ_S-$cyclic codes in terms of their binary images. A family of Hermitian inner-products is defined and we prove that if a code is $Θ_S-$cyclic then its Hermitian dual is also $Θ_S-$cyclic. Finally, we give constructions of $Θ_S-$cyclic codes. △ Less

Submitted 14 July, 2017; originally announced July 2017.

Comments: 23 pages

MSC Class: 94B15

Journal ref: International Journal of Computer Mathematics: Computer Systems Theory Volume 1, 2016 - Issue 1, pp 14-31

On Codes over $\mathbb{F}_{q}+v\mathbb{F}_{q}+v^{2}\mathbb{F}_{q}$

Authors: A. Melakhessou, K. Guenda, T. A. Gulliver, M. Shi, P. Solé

Abstract: In this paper we investigate linear codes with complementary dual (LCD) codes and formally self-dual codes over the ring $R=\F_{q}+v\F_{q}+v^{2}\F_{q}$, where $v^{3}=v$, for $q$ odd. We give conditions on the existence of LCD codes and present construction of formally self-dual codes over $R$. Further, we give bounds on the minimum distance of LCD codes over $\F_q$ and extend these to codes over… ▽ More In this paper we investigate linear codes with complementary dual (LCD) codes and formally self-dual codes over the ring $R=\F_{q}+v\F_{q}+v^{2}\F_{q}$, where $v^{3}=v$, for $q$ odd. We give conditions on the existence of LCD codes and present construction of formally self-dual codes over $R$. Further, we give bounds on the minimum distance of LCD codes over $\F_q$ and extend these to codes over $R$. △ Less

Submitted 11 April, 2017; originally announced April 2017.

Comments: 19 pages

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

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

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

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

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.

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

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

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

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

Clifford groups of quantum gates, BN-pairs and smooth cubic surfaces

Authors: Michel Planat, Patrick Solé

Abstract: The recent proposal (M Planat and M Kibler, Preprint 0807.3650 [quantph]) of representing Clifford quantum gates in terms of unitary reflections is revisited. In this essay, the geometry of a Clifford group G is expressed as a BN-pair, i.e. a pair of subgroups B and N that generate G, is such that intersection H = B \cap N is normal in G, the group W = N/H is a Coxeter group and two extra axioms… ▽ More The recent proposal (M Planat and M Kibler, Preprint 0807.3650 [quantph]) of representing Clifford quantum gates in terms of unitary reflections is revisited. In this essay, the geometry of a Clifford group G is expressed as a BN-pair, i.e. a pair of subgroups B and N that generate G, is such that intersection H = B \cap N is normal in G, the group W = N/H is a Coxeter group and two extra axioms are satisfied by the double cosets acting on B. The BN-pair used in this decomposition relies on the swap and match gates already introduced for classically simulating quantum circuits (R Jozsa and A Miyake, Preprint arXiv:0804.4050 [quant-ph]). The two- and three-qubit steps are related to the configuration with 27 lines on a smooth cubic surface. △ Less

Submitted 3 December, 2008; v1 submitted 13 November, 2008; originally announced November 2008.

Comments: 7 pages, version to appear in Journal of Physics A: Mathematical and Theoretical (fast track communications)

Journal ref: Journal of Physics A Mathematical and Theoretical 42 (2009) 042003

On Robin's criterion for the Riemann Hypothesis

Authors: Y. -J. Choie, N. Lichiardopol, P. Moree, P. Sole

Abstract: Robin's criterion states that the Riemann Hypothesis (RH) is true if and only if Robin's inequality sum_{d|n}d<e^{gamma}n loglog n is satisfied for n>=5041, where gamma denotes the Euler(-Mascheroni) constant. We show by elementary methods that if n>=37 does not satisfy Robin's criterion it must be even and is neither squarefree nor squarefull. Using a bound of Rosser and Schoenfeld we show, mor… ▽ More Robin's criterion states that the Riemann Hypothesis (RH) is true if and only if Robin's inequality sum_{d|n}d<e^{gamma}n loglog n is satisfied for n>=5041, where gamma denotes the Euler(-Mascheroni) constant. We show by elementary methods that if n>=37 does not satisfy Robin's criterion it must be even and is neither squarefree nor squarefull. Using a bound of Rosser and Schoenfeld we show, moreover, that n must be divisible by a fifth power >1. As a consequence we infer that RH holds true if and only if every natural number divisible by a fifth power >1 satisfies Robin's inequality. △ Less

Submitted 7 September, 2006; v1 submitted 13 April, 2006; originally announced April 2006.

Comments: 15 pages. Corrected version. In the first version in Theorem 5 (main result) it was falsely asserted that n must be superabundant, invalidating the proof. An alternative proof is provided in this version, some typos have been corrected, and the presentation has been improved

MSC Class: 11Y35; 11A25; 11A41

Journal ref: J. Theor. Nombres Bordeaux 19 (2007), 351-366.

On the Existence of Hermitian Self-Dual Extended Abelian Group Codes

Authors: Lilibeth Dicuangco, Pieter Moree, Patrick Sole

Abstract: Split group codes are a class of group algebra codes over an abelian group. They were introduced in 2000 by Ding, Kohel and Ling as a generalization of the cyclic duadic codes. For a prime power q and an abelian group G of order n such that n and q are coprime, consider the group algebra F_{q^2}[G^{*}] of F_{q^2} over the dual group G^{*} of G. We prove that every ideal code in F_{q^{2}}[G^{*}]… ▽ More Split group codes are a class of group algebra codes over an abelian group. They were introduced in 2000 by Ding, Kohel and Ling as a generalization of the cyclic duadic codes. For a prime power q and an abelian group G of order n such that n and q are coprime, consider the group algebra F_{q^2}[G^{*}] of F_{q^2} over the dual group G^{*} of G. We prove that every ideal code in F_{q^{2}}[G^{*}] whose extended code is Hermitian self-dual is a split group code. We characterize the orders of finite abelian groups G for which an ideal code of F_{q^2}[G^{*}] whose extension is Hermitian self-dual exists and derive asymptotic estimates for the number of non-isomorphic abelian groups with this property. △ Less

Submitted 2 April, 2006; originally announced April 2006.

Comments: 20 pages

MSC Class: 11N64; 94B05; 11N37

The lengths of Hermitian Self-Dual Extended Duadic Codes

Authors: Lilibeth Dicuangco, Pieter Moree, Patrick Sole

Abstract: Duadic codes are a class of cyclic codes that generalizes quadratic residue codes from prime to composite lengths. For every prime power q, we characterize the integers n such that over the finite field with q^2 elements there is a duadic code of length n having an Hermitian self-dual parity-check extension. We derive using analytic number theory asymptotic estimates for the number of such n a… ▽ More Duadic codes are a class of cyclic codes that generalizes quadratic residue codes from prime to composite lengths. For every prime power q, we characterize the integers n such that over the finite field with q^2 elements there is a duadic code of length n having an Hermitian self-dual parity-check extension. We derive using analytic number theory asymptotic estimates for the number of such n as well as for the number of lengths for which duadic codes exist. △ Less

Submitted 9 May, 2006; v1 submitted 11 November, 2005; originally announced November 2005.

Comments: To appear in the Journal of Pure and Applied Algebra. 21 pages and 1 Table. Corollary 4.9 and Theorem 5.8 have been added. Some small changes have been made

Report number: MPIM-2005, Report-no 102 MSC Class: 11N64; 94B15; 11N37

Journal ref: J. Pure Appl. Algebra 209 (2007), 223-237

Around Pelikan's conjecture on very odd sequences

Authors: Pieter Moree, Patrick Sole

Abstract: Very odd sequences were introduced in 1973 by J. Pelikan who conjectured that there were none of length >=5. This conjecture was disproved by MacWilliams and Odlyzko in 1977 who proved there are in fact many very odd sequences. We give connections of these sequences with duadic codes, cyclic difference sets, levels (Stufen) of cyclotomic fields, and derive some new asymptotic results on their le… ▽ More Very odd sequences were introduced in 1973 by J. Pelikan who conjectured that there were none of length >=5. This conjecture was disproved by MacWilliams and Odlyzko in 1977 who proved there are in fact many very odd sequences. We give connections of these sequences with duadic codes, cyclic difference sets, levels (Stufen) of cyclotomic fields, and derive some new asymptotic results on their lengths and on S(n), which denotes the number of very odd sequences of length n. △ Less

Submitted 22 March, 2005; v1 submitted 6 July, 2004; originally announced July 2004.

Comments: 21 pages, two tables. Revised version with improved presentation and correction of some typos and minor errors that will appear in Manuscripta Mathematica

MSC Class: 11N64; 94B15; 11N37

Journal ref: Manuscripta Mathematica 117 (2005), 219-238

The Z_4-Linearity of Kerdock, Preparata, Goethals and Related Codes

Authors: A. Roger Hammons, Jr., P. Vijay Kumar, A. R. Calderbank, N. J. A. Sloane, Patrick Solé

Abstract: Certain notorious nonlinear binary codes contain more codewords than any known linear code. These include the codes constructed by Nordstrom-Robinson, Kerdock, Preparata, Goethals, and Delsarte-Goethals. It is shown here that all these codes can be very simply constructed as binary images under the Gray map of linear codes over Z_4, the integers mod 4 (although this requires a slight modificatio… ▽ More Certain notorious nonlinear binary codes contain more codewords than any known linear code. These include the codes constructed by Nordstrom-Robinson, Kerdock, Preparata, Goethals, and Delsarte-Goethals. It is shown here that all these codes can be very simply constructed as binary images under the Gray map of linear codes over Z_4, the integers mod 4 (although this requires a slight modification of the Preparata and Goethals codes). The construction implies that all these binary codes are distance invariant. Duality in the Z_4 domain implies that the binary images have dual weight distributions. The Kerdock and "Preparata" codes are duals over Z_4 -- and the Nordstrom-Robinson code is self-dual -- which explains why their weight distributions are dual to each other. The Kerdock and "Preparata" codes are Z_4-analogues of first-order Reed-Muller and extended Hamming codes, respectively. All these codes are extended cyclic codes over Z_4, which greatly simplifies encoding and decoding. An algebraic hard-decision decoding algorithm is given for the "Preparata" code and a Hadamard-transform soft-decision decoding algorithm for the Kerdock code. Binary first- and second-order Reed-Muller codes are also linear over Z_4, but extended Hamming codes of length n >= 32 and the Golay code are not. Using Z_4-linearity, a new family of distance regular graphs are constructed on the cosets of the "Preparata" code. △ Less

Submitted 23 July, 2002; originally announced July 2002.

Comments: 50 pages, 2 figures

MSC Class: 94B05 (94B60)

Journal ref: IEEE Trans. Inform. Theory, 40 (1994), 301-319

A linear construction for certain Kerdock and Preparata codes

Authors: A. R. Calderbank, A. Roger Hammons Jr., P. Vijay Kumar, N. J. A. Sloane, Patrick Solé

Abstract: The Nordstrom-Robinson, Kerdock, and (slightly modified) Pre\- parata codes are shown to be linear over $\ZZ_4$, the integers $\bmod~4$. The Kerdock and Preparata codes are duals over $\ZZ_4$, and the Nordstrom-Robinson code is self-dual. All these codes are just extended cyclic codes over $\ZZ_4$. This provides a simple definition for these codes and explains why their Hamming weight distributi… ▽ More The Nordstrom-Robinson, Kerdock, and (slightly modified) Pre\- parata codes are shown to be linear over $\ZZ_4$, the integers $\bmod~4$. The Kerdock and Preparata codes are duals over $\ZZ_4$, and the Nordstrom-Robinson code is self-dual. All these codes are just extended cyclic codes over $\ZZ_4$. This provides a simple definition for these codes and explains why their Hamming weight distributions are dual to each other. First- and second-order Reed-Muller codes are also linear codes over $\ZZ_4$, but Hamming codes in general are not, nor is the Golay code. △ Less

Submitted 30 September, 1993; originally announced October 1993.

Comments: 5 pages

Report number: Bulletin migration 11/99

Journal ref: Bull. Amer. Math. Soc. (N.S.) 29 (1993) 218-222