Showing 1–50 of 120 results for author: Sole, P

Magnetic ground state discrimination of a Polyradical Nanog-raphene using Nickelocene-Functionalized Tips

Authors: Diego Soler-Polo, Oleksandr Stetsovych, Manish Kumar, Benjamin Lowe, Ana Barragán, Zhiqiang Gao, Andrés Pinar Solé, Hao Zhao, Elena Pérez-Elvira, Goudappagouda, David Écija, Akimitsu Narita, Pavel Jelínek, José I. Urgel

Abstract: Molecular magnets are a promising class of materials with exciting properties and applications. However, a profound understanding and application of such materials depends on the accurate detection of their electronic and magnetic properties. Despite the availability of experimental techniques that can sense the magnetic signal, the exact determination of the spin ground states and spatial distrib… ▽ More Molecular magnets are a promising class of materials with exciting properties and applications. However, a profound understanding and application of such materials depends on the accurate detection of their electronic and magnetic properties. Despite the availability of experimental techniques that can sense the magnetic signal, the exact determination of the spin ground states and spatial distribution of exchange interaction of strongly correlated single-molecule magnets remains challenging. Here, we demonstrate that scanning probe microscopy with a nickelocene-functionalized probe can distinguish between nearly degenerate multireference ground states of single-molecule π-magnets and map their spatial distribution of the exchange interaction. This method expands the already outstanding imaging capabilities of scanning probe microscopy for characterizing the chemical and electronic structures of individual molecules, paving the way for the study of strongly correlated molecular magnets with unprecedented spatial resolution. △ Less

Submitted 9 April, 2025; originally announced April 2025.

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

Disproving some theorems in Sharma and Chauhan et al. (2018, 2021)

Authors: Ramy Takieldin, Patrick Solé

Abstract: The main objective of this work is to show, through counterexamples, that some of the theorems presented in the papers of Sharma \textit{et al.} (2018) and Chauhan \textit{et al.} ( 2021) are incorrect. Although they used these theorems to establish a sufficient condition for a multi-twisted (MT) code to be linear complementary dual (LCD), we show that this condition itself remains valid. We furth… ▽ More The main objective of this work is to show, through counterexamples, that some of the theorems presented in the papers of Sharma \textit{et al.} (2018) and Chauhan \textit{et al.} ( 2021) are incorrect. Although they used these theorems to establish a sufficient condition for a multi-twisted (MT) code to be linear complementary dual (LCD), we show that this condition itself remains valid. We further improve this condition by removing the restrictions on the shift constants and relaxing the required coprimality condition. We show that compared to the previous condition, the modified condition is able to identify more LCD MT codes. Furthermore, without the need for a normalized set of generators, we develop a formula to determine the dimension of any $ρ$-generator MT code. △ Less

Submitted 24 February, 2025; originally announced March 2025.

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.

Triorthogonal Codes and Self-dual Codes

Authors: Minjia Shi, Haodong Lu, Jon-Lark Kim, Patrick Sole

Abstract: Triorthogonal matrices were introduced in Quantum Information Theory in connection with distillation of magic states (Bravyi and Haah (2012)). We give an algorithm to construct binary triorthogonal matrices from binary self-dual codes. Further, we generalize to this setting the classical coding techniques of shortening and extending. We also give some simple propagation rules. Triorthogonal matrices were introduced in Quantum Information Theory in connection with distillation of magic states (Bravyi and Haah (2012)). We give an algorithm to construct binary triorthogonal matrices from binary self-dual codes. Further, we generalize to this setting the classical coding techniques of shortening and extending. We also give some simple propagation rules. △ Less

Submitted 18 August, 2024; originally announced August 2024.

Comments: 21 pages

MSC Class: 94B05

Journal ref: Quantum Inf Process 23, 280 (2024)

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

Some bounds on the cardinality of the $b$-symbol weight spectrum of codes

Authors: Hongwei Zhu, Shitao Li, Minjia Shi, Shu-Tao Xia, Patrick Sole

Abstract: The size of the Hamming distance spectrum of a code has received great attention in recent research. The main objective of this paper is to extend these significant theories to the $b$-symbol distance spectrum. We examine this question for various types of codes, including unrestricted codes, additive codes, linear codes, and cyclic codes, successively. For the first three cases, we determine the… ▽ More The size of the Hamming distance spectrum of a code has received great attention in recent research. The main objective of this paper is to extend these significant theories to the $b$-symbol distance spectrum. We examine this question for various types of codes, including unrestricted codes, additive codes, linear codes, and cyclic codes, successively. For the first three cases, we determine the maximum size of the $b$-symbol distance spectra of these codes smoothly. For the case of cyclic codes, we introduce three approaches to characterize the upper bound for the cardinality of the $b$-symbol weight spectrum of cyclic codes, namely the period distribution approach, the primitive idempotent approach, and the $b$-symbol weight formula approach. As two by-products of this paper, the maximum number of symplectic weights of linear codes is determined, and a basic inequality among the parameters $[n,k,d_H(\C)]_q$ of cyclic codes is provided. △ Less

Submitted 3 April, 2024; originally announced April 2024.

Unveiling the inter-layer interaction in a 1H/1T TaS$_2$ van de Waals heterostructure

Authors: Cosme G. Ayani, M. Bosnar, F. Calleja, Andrés Pinar Solé, O. Stetsovych, Iván M. Ibarburu, Clara Rebanal, Manuela Garnica, Rodolfo Miranda, M. M. Otrokov, M. Ondráček, Pavel Jelínek, A. Arnau, Amadeo L. Vázquez de Parga

Abstract: This study delves into the intriguing properties of 1H/1T-TaS$_2$ van der Waals heterostructure, focusing on the transparency of the 1H layer to the Charge Density Wave of the underlying 1T layer. Despite the sizable interlayer separation and metallic nature of the 1H layer, positive bias voltages result in a pronounced superposition of the 1T charge density wave structure on the 1H layer. The con… ▽ More This study delves into the intriguing properties of 1H/1T-TaS$_2$ van der Waals heterostructure, focusing on the transparency of the 1H layer to the Charge Density Wave of the underlying 1T layer. Despite the sizable interlayer separation and metallic nature of the 1H layer, positive bias voltages result in a pronounced superposition of the 1T charge density wave structure on the 1H layer. The conventional explanation relying on tunneling effects proves insufficient. Through a comprehensive investigation combining lowtemperature scanning tunneling microscopy, scanning tunneling spectroscopy, non-contact atomic force microscopy, and firstprinciples calculations, we propose an alternative interpretation. The transparency effect arises from a weak yet substantial electronic coupling between the 1H and 1T layers, challenging prior understanding of the system. Our results highlight the critical role played by interlayer electronic interactions in van der Waals heterostructures to determine the final ground states of the systems. △ Less

Submitted 26 February, 2024; originally announced February 2024.

Butson Hadamard matrices, bent sequences, and spherical codes

Authors: Minjia Shi, Danni Lu, Andrés Armario, Ronan Egan, Ferruh Ozbudak, Patrick Solé

Abstract: We explore a notion of bent sequence attached to the data consisting of an Hadamard matrix of order $n$ defined over the complex $q^{th}$ roots of unity, an eigenvalue of that matrix, and a Galois automorphism from the cyclotomic field of order $q.$ In particular we construct self-dual bent sequences for various $q\le 60$ and lengths $n\le 21.$ Computational construction methods comprise the resol… ▽ More We explore a notion of bent sequence attached to the data consisting of an Hadamard matrix of order $n$ defined over the complex $q^{th}$ roots of unity, an eigenvalue of that matrix, and a Galois automorphism from the cyclotomic field of order $q.$ In particular we construct self-dual bent sequences for various $q\le 60$ and lengths $n\le 21.$ Computational construction methods comprise the resolution of polynomial systems by Groebner bases and eigenspace computations. Infinite families can be constructed from regular Hadamard matrices, Bush-type Hadamard matrices, and generalized Boolean bent functions.As an application, we estimate the covering radius of the code attached to that matrix over $\Z_q.$ We derive a lower bound on that quantity for the Chinese Euclidean metric when bent sequences exist. We give the Euclidean distance spectrum, and bound above the covering radius of an attached spherical code, depending on its strength as a spherical design. △ Less

Submitted 1 November, 2023; originally announced November 2023.

A quaternary analogue of Tang-Ding codes

Authors: Minjia Shi, Sihui Tao, Jon-Lark Kim, Patrick Sole

Abstract: In a recent paper, Tang and Ding introduced a class of binary cyclic codes of rate close to one half with a designed lower bound on their minimum distance. The definition involves the base $2$ expansion of the integers in their defining set. In this paper we propose an analogue for quaternary codes. In addition, the performances of the subfield subcode and of the trace code (two binary cyclic code… ▽ More In a recent paper, Tang and Ding introduced a class of binary cyclic codes of rate close to one half with a designed lower bound on their minimum distance. The definition involves the base $2$ expansion of the integers in their defining set. In this paper we propose an analogue for quaternary codes. In addition, the performances of the subfield subcode and of the trace code (two binary cyclic codes) are investigated. △ Less

Submitted 21 September, 2023; originally announced September 2023.

Multi-orbital Kondo screening in strongly correlated polyradical nanographenes

Authors: Aitor Calvo-Fernández, Diego Soler-Polo, Andrés Pinar Solé, Shaotang Song, Oleksander Stetsovych, Manish Kumar, Guangwu Li, Jishan Wu, Jiong Lu, Asier Eiguren, María Blanco-Rey, Pavel Jelínek

Abstract: We discuss coexistence of Kondo and spin excitation signals in tunneling spectroscopy in strongly correlated polyradical $π$-magnetic nanographenes on a metal surface. The Kondo signal is rationalized by a multi-orbital Kondo screening of the unpaired electrons. The fundamental processes are spin-flips of antiferromagnetic (AFM) order involving charged molecular multiplets. We introduce a~perturba… ▽ More We discuss coexistence of Kondo and spin excitation signals in tunneling spectroscopy in strongly correlated polyradical $π$-magnetic nanographenes on a metal surface. The Kondo signal is rationalized by a multi-orbital Kondo screening of the unpaired electrons. The fundamental processes are spin-flips of antiferromagnetic (AFM) order involving charged molecular multiplets. We introduce a~perturbative model, which provides simple rules to identify the presence of AFM channels responsible for Kondo screening. The Kondo regime is confirmed by numerical renormalization group calculations. This framework can be applied to similar strongly correlated open-shell systems. △ Less

Submitted 15 September, 2023; originally announced September 2023.

Comments: 43 pages (14 in main, 29 in SM), 20 figures (3 in main, 17 in SM)

Generator polynomial matrices of the Galois hulls of multi-twisted codes

Authors: Ramy Taki Eldin, Patrick Sole

Abstract: In this study, we consider the Euclidean and Galois hulls of multi-twisted (MT) codes over a finite field $\mathbb{F}_{p^e}$ of characteristic $p$. Let $\mathbf{G}$ be a generator polynomial matrix (GPM) of a MT code $\mathcal{C}$. For any $0\le κ<e$, the $κ$-Galois hull of $\mathcal{C}$, denoted by $h_κ\left(\mathcal{C}\right)$, is the intersection of $\mathcal{C}$ with its $κ$-Galois dual. The m… ▽ More In this study, we consider the Euclidean and Galois hulls of multi-twisted (MT) codes over a finite field $\mathbb{F}_{p^e}$ of characteristic $p$. Let $\mathbf{G}$ be a generator polynomial matrix (GPM) of a MT code $\mathcal{C}$. For any $0\le κ<e$, the $κ$-Galois hull of $\mathcal{C}$, denoted by $h_κ\left(\mathcal{C}\right)$, is the intersection of $\mathcal{C}$ with its $κ$-Galois dual. The main result in this paper is that a GPM for $h_κ\left(\mathcal{C}\right)$ has been obtained from $\mathbf{G}$. We start by associating a linear code $\mathcal{Q}_\mathbf{G}$ with $\mathbf{G}$. We show that $\mathcal{Q}_\mathbf{G}$ is quasi-cyclic. In addition, we prove that the dimension of $h_κ\left(\mathcal{C}\right)$ is the difference between the dimension of $\mathcal{C}$ and that of $\mathcal{Q}_\mathbf{G}$. Thus the determinantal divisors are used to derive a formula for the dimension of $h_κ\left(\mathcal{C}\right)$. Finally, we deduce a GPM formula for $h_κ\left(\mathcal{C}\right)$. In particular, we handle the cases of $κ$-Galois self-orthogonal and linear complementary dual MT codes; we establish equivalent conditions that characterize these cases. Equivalent results can be deduced immediately for the classes of cyclic, constacyclic, quasi-cyclic, generalized quasi-cyclic, and quasi-twisted codes, because they are all special cases of MT codes. Some numerical examples, containing optimal and maximum distance separable codes, are used to illustrate the theoretical results. △ Less

Submitted 24 May, 2023; originally announced May 2023.

Highly-Entangled Polyradical Nanographene with Coexisting Strong Correlation and Topological Frustration

Authors: Shaotang Song, Andrés Pinar Solé, Adam Matěj, Guangwu Li, Oleksandr Stetsovych, Diego Soler, Huimin Yang, Mykola Telychko, Jing Li, Manish Kumar, Jiri Brabec, Libor Veis, Jishan Wu, Pavel Jelinek, Jiong Lu

Abstract: Open-shell benzenoid polycyclic aromatic hydrocarbons, known as magnetic nanographenes, exhibit unconventional p-magnetism arising from topological frustration or strong electronic-electron (e-e) interaction. Imprinting multiple strongly entangled spins into polyradical nanographenes creates a major paradigm shift in realizing non-trivial collective quantum behaviors and exotic quantum phases in o… ▽ More Open-shell benzenoid polycyclic aromatic hydrocarbons, known as magnetic nanographenes, exhibit unconventional p-magnetism arising from topological frustration or strong electronic-electron (e-e) interaction. Imprinting multiple strongly entangled spins into polyradical nanographenes creates a major paradigm shift in realizing non-trivial collective quantum behaviors and exotic quantum phases in organic quantum materials. However, conventional design approaches are limited by a single magnetic origin, which can restrict the number of correlated spins or the type of magnetic ordering in open-shell nanographenes. Here, we present a novel design strategy combing topological frustration and e-e interactions to fabricate the largest fully-fused open-shell nanographene reported to date, a 'butterfly'-shaped tetraradical on Au(111). We employed bond-resolved scanning tunneling microscopy and spin excitation spectroscopy to unambiguously resolve the molecular backbone and reveal the strongly correlated open-shell character, respectively. This nanographene contains four unpaired electrons with both ferromagnetic and anti-ferromagnetic interactions, harboring a many-body singlet ground state and strong multi-spin entanglement, which can be well described by many-body calculations. Furthermore, we demonstrate that the nickelocene magnetic probe can sense highly-correlated spin states in nanographene. The ability to imprint and characterize many-body strongly correlated spins in polyradical nanographenes not only presents exciting opportunities for realizing non-trivial quantum magnetism and phases in organic materials but also paves the way toward high-density ultrafast spintronic devices and quantum information technologies. △ Less

Submitted 4 April, 2023; originally announced April 2023.

Comments: 17 pages, 4 figures

The weight spectrum of two families of Reed-Muller codes

Authors: Claude Carlet, Patrick Solé

Abstract: We determine the weight spectra of the Reed-Muller codes $RM(m-3,m)$ for $m\ge 6$ and $RM(m-4,m)$ for $m\ge 8$. The technique used is induction on $m$, using that the sum of two weights in $RM(r-1,m-1)$ is a weight in $RM(r,m)$, and using the characterization by Kasami and Tokura of the weights in $RM(r,m)$ that lie between its minimum distance $2^{m-r}$ and the double of this minimum distance. We… ▽ More We determine the weight spectra of the Reed-Muller codes $RM(m-3,m)$ for $m\ge 6$ and $RM(m-4,m)$ for $m\ge 8$. The technique used is induction on $m$, using that the sum of two weights in $RM(r-1,m-1)$ is a weight in $RM(r,m)$, and using the characterization by Kasami and Tokura of the weights in $RM(r,m)$ that lie between its minimum distance $2^{m-r}$ and the double of this minimum distance. We also derive the weights of $RM(3,8),\,RM(4,9),$ by the same technique. We conclude with a conjecture on the weights of $RM(m-c,m)$, where $c$ is fixed and $m$ is large enough. △ Less

Submitted 13 June, 2023; v1 submitted 31 January, 2023; originally announced January 2023.

Comments: 11 pages

MSC Class: 94B27; 94D10

Journal ref: Discrete Math 2023

Additive complementary dual codes over $\F_4$

Authors: Minjia Shi, Na Liu, Jon-Lark Kim, Patrick Solé

Abstract: A linear code is linear complementary dual (LCD) if it meets its dual trivially. LCD codes have been a hot topic recently due to Boolean masking application in the security of embarked electronics (Carlet and Guilley, 2014). Additive codes over $\F_4$ are $\F_4$-codes that are stable by codeword addition but not necessarily by scalar multiplication. An additive code over $\F_4$ is additive complem… ▽ More A linear code is linear complementary dual (LCD) if it meets its dual trivially. LCD codes have been a hot topic recently due to Boolean masking application in the security of embarked electronics (Carlet and Guilley, 2014). Additive codes over $\F_4$ are $\F_4$-codes that are stable by codeword addition but not necessarily by scalar multiplication. An additive code over $\F_4$ is additive complementary dual (ACD) if it meets its dual trivially. The aim of this research is to study such codes which meet their dual trivially. All the techniques and problems used to study LCD codes are potentially relevant to ACD codes. Interesting constructions of ACD codes from binary codes are given with respect to the trace Hermitian and trace Euclidean inner product. The former product is relevant to quantum codes. △ Less

Submitted 5 July, 2022; originally announced July 2022.

MSC Class: 94B05

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)

Designer magnetic topological graphene nanoribbons

Authors: Shaotang Song, Pei Wen Ng, Shayan Edalatmanesh, Andrés Pinar Solé, Xinnan Peng, Jindřich Kolorenč, Zdenka Sosnová, Oleksander Stetsovych, Jie Su, Jing Li, Hongli Sun, Alexander Liebig, Chenliang Su, Jishan Wu, Franz J. Giessibl, Pavel Jelinek, Chunyan Chi, Jiong Lu

Abstract: The interplay of magnetism and topology lies at the heart of condensed matter physics, which offers great opportunities to design intrinsic magnetic topological materials hosting a variety of exotic topological quantum states including the quantum anomalous Hall effect (QAHE), axion insulator state, and Majorana bound states. Extending this concept to one-dimension (1D) systems offers additional r… ▽ More The interplay of magnetism and topology lies at the heart of condensed matter physics, which offers great opportunities to design intrinsic magnetic topological materials hosting a variety of exotic topological quantum states including the quantum anomalous Hall effect (QAHE), axion insulator state, and Majorana bound states. Extending this concept to one-dimension (1D) systems offers additional rich quantum spin physics with great promise for molecular-scale spintronics. Despite recent progress in the discovery of symmetry-protected topological quantum phases in 1D graphene nanoribbons (GNRs), the rational design and realization of magnetic topological GNRs (MT-GNRs) represents a grand challenge, as one must tackle multiple dimensions of complexity including time-reversal symmetry (TRS), spatial symmetry (width, edge, end geometry) and many-electron correlations. Here, we devised a new route involving the real- and reciprocal-space descriptions by unifying the chemists and physicists perspectives, for the design of such MT-GNRs with non-trivial electronic topology and robust magnetic terminal. Classic Clar's rule offers a conceptually qualitative real-space picture to predict the transition from closed-shell to open-shell with terminal magnetism, and band gap reopening with possible non-trivial electronic topology in a series of wave-like GNRs, which are further verified by first principle calculations of band-structure topology in a momentum-space. With the advance of on-surface synthesis and careful design of molecular precursors, we have fabricated these MT-GNRs with observation of topological edge bands, whose terminal pi-magnetism can be directly captured using a single-nickelocene spin sensor. Moreover, the transition from strong anti-ferromagnetic to weak coupling (paramagnetism-like) between terminal spins can be controlled by tuning the length of MT-GNRs. △ Less

Submitted 27 April, 2022; originally announced April 2022.

Comments: 29 pages, 11 figures

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

On the structure of $1$-generator quasi-polycyclic codes over finite chain rings

Authors: Rongsheng Wu, Minjia Shi, Patrick Solé

Abstract: Quasi-polycyclic (QP for short) codes over a finite chain ring $R$ are a generalization of quasi-cyclic codes, and these codes can be viewed as an $R[x]$-submodule of $\mathcal{R}_m^{\ell}$, where $\mathcal{R}_m:= R[x]/\langle f\rangle$, and $f$ is a monic polynomial of degree $m$ over $R$. If $f$ factors uniquely into monic and coprime basic irreducibles, then their algebraic structure allow us t… ▽ More Quasi-polycyclic (QP for short) codes over a finite chain ring $R$ are a generalization of quasi-cyclic codes, and these codes can be viewed as an $R[x]$-submodule of $\mathcal{R}_m^{\ell}$, where $\mathcal{R}_m:= R[x]/\langle f\rangle$, and $f$ is a monic polynomial of degree $m$ over $R$. If $f$ factors uniquely into monic and coprime basic irreducibles, then their algebraic structure allow us to characterize the generator polynomials and the minimal generating sets of 1-generator QP codes as $R$-modules. In addition, we also determine the parity check polynomials for these codes by using the strong Gröbner bases. In particular, via Magma system, some quaternary codes with new parameters are derived from these 1-generator QP codes. △ Less

Submitted 8 November, 2021; originally announced November 2021.

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)

Self-orthogonal codes over a non-unital ring and combinatorial matrices

Authors: Minjia Shi, Shukai Wang, Jon-Lark Kim, Patrick Solé

Abstract: There is a local ring $E$ of order $4,$ without identity for the multiplication, defined by generators and relations as $E=\langle a,b \mid 2a=2b=0,\, a^2=a,\, b^2=b,\,ab=a,\, ba=b\rangle.$ We study a special construction of self-orthogonal codes over $E,$ based on combinatorial matrices related to two-class association schemes, Strongly Regular Graphs (SRG), and Doubly Regular Tournaments (DRT)… ▽ More There is a local ring $E$ of order $4,$ without identity for the multiplication, defined by generators and relations as $E=\langle a,b \mid 2a=2b=0,\, a^2=a,\, b^2=b,\,ab=a,\, ba=b\rangle.$ We study a special construction of self-orthogonal codes over $E,$ based on combinatorial matrices related to two-class association schemes, Strongly Regular Graphs (SRG), and Doubly Regular Tournaments (DRT). We construct quasi self-dual codes over $E,$ and Type IV codes, that is, quasi self-dual codes whose all codewords have even Hamming weight. All these codes can be represented as formally self-dual additive codes over $\F_4.$ The classical invariant theory bound for the weight enumerators of this class of codesimproves the known bound on the minimum distance of Type IV codes over $E.$ △ Less

Submitted 13 June, 2021; originally announced June 2021.

Comments: 18 pages

MSC Class: 94B05 ACM Class: F.2.2

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

A new method for constructing linear codes with small hulls

Authors: Liqin Qian, Xiwang Cao, Wei Lu, Patrick Sole

Abstract: The hull of a linear code over finite fields is the intersection of the code and its dual, which was introduced by Assmus and Key. In this paper, we develop a method to construct linear codes with trivial hull ( LCD codes) and one-dimensional hull by employing the positive characteristic analogues of Gauss sums. These codes are quasi-abelian, and sometimes doubly circulant. Some sufficient conditi… ▽ More The hull of a linear code over finite fields is the intersection of the code and its dual, which was introduced by Assmus and Key. In this paper, we develop a method to construct linear codes with trivial hull ( LCD codes) and one-dimensional hull by employing the positive characteristic analogues of Gauss sums. These codes are quasi-abelian, and sometimes doubly circulant. Some sufficient conditions for a linear code to be an LCD code (resp. a linear code with one-dimensional hull) are presented. It is worth mentioning that we present a lower bound on the minimum distances of the constructed linear codes. As an application, using these conditions, we obtain some optimal or almost optimal LCD codes (resp. linear codes with one-dimensional hull) with respect to the online Database of Grassl. △ Less

Submitted 19 March, 2021; originally announced March 2021.

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

On isodual double Toeplitz codes

Authors: Minjia Shi, Li Xu, Patrick Solé

Abstract: Double Toeplitz (shortly DT) codes are introduced here as a generalization of double circulant codes. We show that such a code is isodual, hence formally self-dual. Self-dual DT codes are characterized as double circulant or double negacirculant. Likewise, even DT binary codes are characterized as double circulants. Numerical examples obtained by exhaustive search show that the codes constructed h… ▽ More Double Toeplitz (shortly DT) codes are introduced here as a generalization of double circulant codes. We show that such a code is isodual, hence formally self-dual. Self-dual DT codes are characterized as double circulant or double negacirculant. Likewise, even DT binary codes are characterized as double circulants. Numerical examples obtained by exhaustive search show that the codes constructed have best-known minimum distance, up to one unit, amongst formally self-dual codes, and sometimes improve on the known values. Over $\F_4$ an explicit construction of DT codes, based on quadratic residues in a prime field, performs equally well. We show that DT codes are asymptotically good over $\F_q$. Specifically, we construct DT codes arbitrarily close to the asymptotic varshamov-Gilbert bound for codes of rate one half. △ Less

Submitted 18 February, 2021; originally announced February 2021.

Comments: 15 pages

MSC Class: Primary 94B05; Secondary 11C08

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)

Two-weight codes over the integers modulo a prime power

Authors: Minjia Shi, Tor Helleseth, Patrick Sole

Abstract: Let $p$ be a prime number. Irreducible cyclic codes of length $p^2-1$ and dimension $2$ over the integers modulo $p^h$ are shown to have exactly two nonzero Hamming weights. The construction uses the Galois ring of characteristic $p^h$ and order $p^{2h}.$ When the check polynomial is primitive, the code meets the Griesmer bound of (Shiromoto, Storme) (2012). By puncturing some projective codes are… ▽ More Let $p$ be a prime number. Irreducible cyclic codes of length $p^2-1$ and dimension $2$ over the integers modulo $p^h$ are shown to have exactly two nonzero Hamming weights. The construction uses the Galois ring of characteristic $p^h$ and order $p^{2h}.$ When the check polynomial is primitive, the code meets the Griesmer bound of (Shiromoto, Storme) (2012). By puncturing some projective codes are constructed. Those in length $p+1$ meet a Singleton-like bound of (Shiromoto , 2000). An infinite family of strongly regular graphs is constructed as coset graphs of the duals of these projective codes. A common cover of all these graphs, for fixed $p$, is provided by considering the Hensel lifting of these cyclic codes over the $p$-adic numbers. △ Less

Submitted 14 November, 2019; originally announced November 2019.

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

Good Stabilizer Codes from Quasi-Cyclic Codes over $\mathbb{F}_4$ and $\mathbb{F}_9$

Authors: Martianus Frederic Ezerman, San Ling, Buket Özkaya, Patrick Solé

Abstract: We apply quantum Construction X on quasi-cyclic codes with large Hermitian hulls over $\mathbb{F}_4$ and $\mathbb{F}_9$ to derive good qubit and qutrit stabilizer codes, respectively. In several occasions we obtain quantum codes with stricly improved parameters than the current record. In numerous other occasions we obtain quantum codes with best-known performance. For the qutrit ones we supply a… ▽ More We apply quantum Construction X on quasi-cyclic codes with large Hermitian hulls over $\mathbb{F}_4$ and $\mathbb{F}_9$ to derive good qubit and qutrit stabilizer codes, respectively. In several occasions we obtain quantum codes with stricly improved parameters than the current record. In numerous other occasions we obtain quantum codes with best-known performance. For the qutrit ones we supply a systematic construction to fill some gaps in the literature. △ Less

Submitted 12 June, 2019; originally announced June 2019.

Comments: Accepted ISIT 2019

Construction of isodual codes from polycirculant matrices

Authors: Minjia Shi, Li Xu, Patrick Sole

Abstract: Double polycirculant codes are introduced here as a generalization of double circulant codes. When the matrix of the polyshift is a companion matrix of a trinomial, we show that such a code is isodual, hence formally self-dual. Numerical examples show that the codes constructed have optimal or quasi-optimal parameters amongst formally self-dual codes. Self-duality, the trivial case of isoduality,… ▽ More Double polycirculant codes are introduced here as a generalization of double circulant codes. When the matrix of the polyshift is a companion matrix of a trinomial, we show that such a code is isodual, hence formally self-dual. Numerical examples show that the codes constructed have optimal or quasi-optimal parameters amongst formally self-dual codes. Self-duality, the trivial case of isoduality, can only occur over $ \F_2$ in the double circulant case. Building on an explicit infinite sequence of irreducible trinomials over $\F_2,$ we show that binary double polycirculant codes are asymptotically good. △ Less

Submitted 29 March, 2020; v1 submitted 9 November, 2018; originally announced November 2018.

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

How many weights can a cyclic code have ?

Authors: Minjia Shi, Xiaoxiao Li, Alessandro Neri, Patrick Solé

Abstract: Upper and lower bounds on the largest number of weights in a cyclic code of given length, dimension and alphabet are given. An application to irreducible cyclic codes is considered. Sharper upper bounds are given for the special cyclic codes (called here strongly cyclic), {whose nonzero codewords have period equal to the length of the code}. Asymptotics are derived on the function $Γ(k,q),$ {that… ▽ More Upper and lower bounds on the largest number of weights in a cyclic code of given length, dimension and alphabet are given. An application to irreducible cyclic codes is considered. Sharper upper bounds are given for the special cyclic codes (called here strongly cyclic), {whose nonzero codewords have period equal to the length of the code}. Asymptotics are derived on the function $Γ(k,q),$ {that is defined as} the largest number of nonzero weights a cyclic code of dimension $k$ over $\F_q$ can have, and an algorithm to compute it is sketched. The nonzero weights in some infinite families of Reed-Muller codes, either binary or $q$-ary, as well as in the $q$-ary Hamming code are determined, two difficult results of independent interest. △ Less

Submitted 15 November, 2018; v1 submitted 22 July, 2018; originally announced July 2018.

Comments: submitted on 21 June, 2018

The Concatenated Structure of Quasi-Abelian Codes

Authors: Martino Borello, Cem Güneri, Elif Saçıkara, Patrick Solé

Abstract: The decomposition of a quasi-abelian code into shorter linear codes over larger alphabets was given in (Jitman, Ling, (2015)), extending the analogous Chinese remainder decomposition of quasi-cyclic codes (Ling, Solé, (2001)). We give a concatenated decomposition of quasi-abelian codes and show, as in the quasi-cyclic case, that the two decompositions are equivalent. The concatenated decomposition… ▽ More The decomposition of a quasi-abelian code into shorter linear codes over larger alphabets was given in (Jitman, Ling, (2015)), extending the analogous Chinese remainder decomposition of quasi-cyclic codes (Ling, Solé, (2001)). We give a concatenated decomposition of quasi-abelian codes and show, as in the quasi-cyclic case, that the two decompositions are equivalent. The concatenated decomposition allows us to give a general minimum distance bound for quasi-abelian codes and to construct some optimal codes. Moreover, we show by examples that the minimum distance bound is sharp in some cases. In addition, examples of large strictly quasi-abelian codes of about a half rate are given. The concatenated structure also enables us to conclude that strictly quasi-abelian linear complementary dual codes over any finite field are asymptotically good. △ Less

Submitted 26 March, 2019; v1 submitted 3 July, 2018; originally announced July 2018.

Comments: 13 pages

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 self-dual and LCD double circulant and double negacirculant codes over $\mathbb{F}_q + u\mathbb{F}_q$

Authors: Minjia Shi, Hongwei Zhu, Liqin Qian, Lin Sok, Patrick Solé

Abstract: Double circulant codes of length $2n$ over the semilocal ring $R = \mathbb{F}_q + u\mathbb{F}_q,\, u^2=u,$ are studied when $q$ is an odd prime power, and $-1$ is a square in $\mathbb{F}_q.$ Double negacirculant codes of length $2n$ are studied over $R$ when $n$ is even and $q$ is an odd prime power. Exact enumeration of self-dual and LCD such codes for given length $2n$ is given. Employing a dual… ▽ More Double circulant codes of length $2n$ over the semilocal ring $R = \mathbb{F}_q + u\mathbb{F}_q,\, u^2=u,$ are studied when $q$ is an odd prime power, and $-1$ is a square in $\mathbb{F}_q.$ Double negacirculant codes of length $2n$ are studied over $R$ when $n$ is even and $q$ is an odd prime power. Exact enumeration of self-dual and LCD such codes for given length $2n$ is given. Employing a duality-preserving Gray map, self-dual and LCD codes of length $4n$ over $\mathbb{F}_q$ are constructed. Using random coding and the Artin conjecture, the relative distance of these codes is bounded below. The parameters of examples of the modest length are computed. Several such codes are optimal. △ Less

Submitted 7 June, 2018; originally announced June 2018.

Comments: 20 pages, submitted on 26 November, 2017

Linear codes with few weights over $\mathbb{F}_2+u\mathbb{F}_2$

Authors: Minjia Shi, Liqin Qian, Patrick Sole

Abstract: In this paper, we construct an infinite family of five-weight codes from trace codes over the ring $R=\mathbb{F}_2+u\mathbb{F}_2$, where $u^2=0.$ The trace codes have the algebraic structure of abelian codes. Their Lee weight is computed by using character sums. Combined with Pless power moments and Newton's Identities, the weight distribution of the Gray image of trace codes was present. Their su… ▽ More In this paper, we construct an infinite family of five-weight codes from trace codes over the ring $R=\mathbb{F}_2+u\mathbb{F}_2$, where $u^2=0.$ The trace codes have the algebraic structure of abelian codes. Their Lee weight is computed by using character sums. Combined with Pless power moments and Newton's Identities, the weight distribution of the Gray image of trace codes was present. Their support structure is determined. An application to secret sharing schemes is given. △ Less

Submitted 24 February, 2018; originally announced February 2018.

Comments: 14 pages, need help in page 12. arXiv admin note: text overlap with arXiv:1612.00966

How many weights can a linear code have ?

Authors: Minjia Shi, Hongwei Zhu, Patrick Solé, Gérard D. Cohen

Abstract: We study the combinatorial function $L(k,q),$ the maximum number of nonzero weights a linear code of dimension $k$ over $\F_q$ can have. We determine it completely for $q=2,$ and for $k=2,$ and provide upper and lower bounds in the general case when both $k$ and $q$ are $\ge 3.$ A refinement $L(n,k,q),$ as well as nonlinear analogues $N(M,q)$ and $N(n,M,q),$ are also introduced and studied. We study the combinatorial function $L(k,q),$ the maximum number of nonzero weights a linear code of dimension $k$ over $\F_q$ can have. We determine it completely for $q=2,$ and for $k=2,$ and provide upper and lower bounds in the general case when both $k$ and $q$ are $\ge 3.$ A refinement $L(n,k,q),$ as well as nonlinear analogues $N(M,q)$ and $N(n,M,q),$ are also introduced and studied. △ Less

Submitted 24 April, 2018; v1 submitted 31 January, 2018; originally announced February 2018.

Journal ref: Designs, Codes and Cryptography, 2018

Double circulant self-dual and LCD codes over Galois rings

Authors: Minjia Shi, Daitao Huang, Lin Sok, Patrick Solé

Abstract: This paper investigates the existence, enumeration and asymptotic performance of self-dual and LCD double circulant codes over Galois rings of characteristic $p^2$ and order $p^4$ with $p$ and odd prime. When $p \equiv 3 \pmod{4},$ we give an algorithm to construct a duality preserving bijective Gray map from such a Galois ring to $\mathbb{Z}_{p^2}^2.$ Using random coding, we obtain families of as… ▽ More This paper investigates the existence, enumeration and asymptotic performance of self-dual and LCD double circulant codes over Galois rings of characteristic $p^2$ and order $p^4$ with $p$ and odd prime. When $p \equiv 3 \pmod{4},$ we give an algorithm to construct a duality preserving bijective Gray map from such a Galois ring to $\mathbb{Z}_{p^2}^2.$ Using random coding, we obtain families of asymptotically good self-dual and LCD codes over $\mathbb{Z}_{p^2},$ for the metric induced by the standard $\mathbb{F}_p$-valued Gray maps. △ Less

Submitted 20 January, 2018; originally announced January 2018.

Comments: Sbumitted on 4, December, 20 pages

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

Asymptotically Good Additive Cyclic Codes Exist

Authors: Minjia Shi, Rongsheng Wu, Patrick Sole

Abstract: Long quasi-cyclic codes of any fixed index $>1$ have been shown to be asymptotically good, depending on Artin primitive root conjecture in (A. Alahmadi, C. Güneri, H. Shoaib, P. Solé, 2017). We use this recent result to construct good long additive cyclic codes on any extension of fixed degree of the base field. Similarly self-dual double circulant codes, and self-dual four circulant codes, have b… ▽ More Long quasi-cyclic codes of any fixed index $>1$ have been shown to be asymptotically good, depending on Artin primitive root conjecture in (A. Alahmadi, C. Güneri, H. Shoaib, P. Solé, 2017). We use this recent result to construct good long additive cyclic codes on any extension of fixed degree of the base field. Similarly self-dual double circulant codes, and self-dual four circulant codes, have been shown to be good, also depending on Artin primitive root conjecture in (A. Alahmadi, F. Özdemir, P. Solé, 2017) and ( M. Shi, H. Zhu, P. Solé, 2017) respectively. Building on these recent results, we can show that long cyclic codes are good over $\F_q,$ for many classes of $q$'s. This is a partial solution to a fifty year old open problem. △ Less

Submitted 9 September, 2018; v1 submitted 28 September, 2017; originally announced September 2017.

On self-dual four circulant codes

Authors: Minjia Shi, Hongwei Zhu, Patrick Sole

Abstract: Four circulant codes form a special class of $2$-generator, index $4$, quasi-cyclic codes. Under some conditions on their generator matrices they can be shown to be self-dual. Artin primitive root conjecture shows the existence of an infinite subclass of these codes satisfying a modified Gilbert-Varshamov bound. Four circulant codes form a special class of $2$-generator, index $4$, quasi-cyclic codes. Under some conditions on their generator matrices they can be shown to be self-dual. Artin primitive root conjecture shows the existence of an infinite subclass of these codes satisfying a modified Gilbert-Varshamov bound. △ Less

Submitted 21 September, 2017; originally announced September 2017.

Comments: Submitted on 29 May

On self-dual negacirculant codes of index two and four

Authors: Minjia Shi, Qian Liqin, Patrick Sole

Abstract: In this paper, we study a special kind of factorization of $x^n+1$ over $\mathbb{F}_q, $ with $q$ a prime power $\equiv 3~({\rm mod}~4)$ when $n=2p,$ with $p\equiv 3~({\rm mod}~4)$ and $p$ is a prime. Given such a $q$ infinitely many such $p$'s exist that admit $q$ as a primitive root by the Artin conjecture in arithmetic progressions. This number theory conjecture is known to hold under GRH. We s… ▽ More In this paper, we study a special kind of factorization of $x^n+1$ over $\mathbb{F}_q, $ with $q$ a prime power $\equiv 3~({\rm mod}~4)$ when $n=2p,$ with $p\equiv 3~({\rm mod}~4)$ and $p$ is a prime. Given such a $q$ infinitely many such $p$'s exist that admit $q$ as a primitive root by the Artin conjecture in arithmetic progressions. This number theory conjecture is known to hold under GRH. We study the double (resp. four)-negacirculant codes over finite fields $\mathbb{F}_q, $ of co-index such $n$'s, including the exact enumeration of the self-dual subclass, and a modified Varshamov-Gilbert bound on the relative distance of the codes it contains. △ Less

Submitted 9 September, 2018; v1 submitted 21 September, 2017; originally announced September 2017.

Comments: Design, Codes and Cryptography,2018

Two-weight codes and second order recurrences

Authors: Minjia Shi, Zhongyi Zhang, Patrick Sole

Abstract: Cyclic codes of dimension $2$ over a finite field are shown to have at most two nonzero weights. This extends a construction of Rao et al (2010) and disproves a conjecture of Schmidt-White (2002). We compute their weight distribution, and give a condition on the roots of their check polynomials for them to be MDS. Cyclic codes of dimension $2$ over a finite field are shown to have at most two nonzero weights. This extends a construction of Rao et al (2010) and disproves a conjecture of Schmidt-White (2002). We compute their weight distribution, and give a condition on the roots of their check polynomials for them to be MDS. △ Less

Submitted 16 September, 2017; v1 submitted 13 September, 2017; originally announced September 2017.

Comments: 10 pages

Pisano period codes

Authors: Minjia Shi, Zhongyi Zhang, Patrick Sole

Abstract: The cyclic codes with parity check polynomial the reciprocal of the characteristic polynomial of the Fibonacci recurrence over a prime finite field are shown to have either one weight or two weights. When these codes are irreducible cyclic we obtain many counterexamples to the conjectural classification of two-weight irreducible cyclic codes of Schmidt and White (2002). When they are reducible and… ▽ More The cyclic codes with parity check polynomial the reciprocal of the characteristic polynomial of the Fibonacci recurrence over a prime finite field are shown to have either one weight or two weights. When these codes are irreducible cyclic we obtain many counterexamples to the conjectural classification of two-weight irreducible cyclic codes of Schmidt and White (2002). When they are reducible and projective their duals are uniformly packed. △ Less

Submitted 13 September, 2017; originally announced September 2017.

Comments: 10 pages, submitted on 9th, September