Showing 1–31 of 31 results for author: Rifà, J

Symplectic approach to global stability

Authors: Verónica Errasti Díez, Jordi Gaset Rifà, Manuel Lainz

Abstract: We present a new approach to the problem of proving global stability, based on symplectic geometry and with a focus on systems with several conserved quantities. We also provide a proof of instability for integrable systems whose momentum map is everywhere regular. Our results take root in the recently proposed notion of a confining function and are motivated by ghost-ridden systems, for whom we p… ▽ More We present a new approach to the problem of proving global stability, based on symplectic geometry and with a focus on systems with several conserved quantities. We also provide a proof of instability for integrable systems whose momentum map is everywhere regular. Our results take root in the recently proposed notion of a confining function and are motivated by ghost-ridden systems, for whom we put forward the first geometric definition. △ Less

Submitted 22 April, 2025; originally announced April 2025.

Comments: 7 pages, plus references

Practical Introduction to Action-Dependent Field Theories

Authors: Manuel de León, Jordi Gaset Rifà, Miguel C. Muñoz-Lecanda, Xavier Rivas, Narciso Román-Roy

Abstract: Action-dependent field theories are systems where the Lagrangian or Hamiltonian depends on new variables that encode the action. They model a larger class of field theories, including non-conservative behavior, while maintaining a well-defined notion of symmetries and a Noether theorem. This makes them especially suited for open systems. After a conceptual introduction, we make a quick presentatio… ▽ More Action-dependent field theories are systems where the Lagrangian or Hamiltonian depends on new variables that encode the action. They model a larger class of field theories, including non-conservative behavior, while maintaining a well-defined notion of symmetries and a Noether theorem. This makes them especially suited for open systems. After a conceptual introduction, we make a quick presentation of a new mathematical framework for action-dependent field theory: multicontact geometry. The formalism is illustrated with a variety of action-dependent Lagrangians, some of which are regular and others singular, derived from well-known theories whose Lagrangians have been modified to incorporate action-dependent terms. Detailed computations are provided, including the constraint algorithm for the singular cases, in both the Lagrangian and Hamiltonian formalisms. These are the one-dimensional wave equation, the Klein-Gordon equation and the telegrapher equation, Maxwell's electromagnetism, Metric-affine gravity, the heat equation and Burguers' equation, the Bosonic string theory, and (2+1)-dimensional gravity and Chern-Simons equation. △ Less

Submitted 4 April, 2025; v1 submitted 12 September, 2024; originally announced September 2024.

Comments: 34 pages, plus appendix and references. The paper has been substantially improved. A better explanation of the results is presented. New subdivisions, a list notation and diagrams have been added to add clarity and make the text more readable. Some results have been improved. Notational errors and misprints have been corrected along the paper

MSC Class: 70S05; 70S10; 53D10; 35R01

Foundations of ghost stability

Authors: Verónica Errasti Díez, Jordi Gaset Rifà, Georgina Staudt

Abstract: We present a new method to analytically prove global stability in ghost-ridden dynamical systems. Our proposal encompasses all prior results and consequentially extends them. In particular, we show that stability can follow from a conserved quantity that is unbounded from below, contrary to expectation. Novel examples illustrate all our results. Our findings take root on a careful examination of t… ▽ More We present a new method to analytically prove global stability in ghost-ridden dynamical systems. Our proposal encompasses all prior results and consequentially extends them. In particular, we show that stability can follow from a conserved quantity that is unbounded from below, contrary to expectation. Novel examples illustrate all our results. Our findings take root on a careful examination of the literature, here comprehensively reviewed for the first time. This work lays the mathematical basis for ulterior extensions to field theory and quantization, and it constitutes a gateway for inter-disciplinary research in dynamics and integrability. △ Less

Submitted 15 January, 2025; v1 submitted 29 August, 2024; originally announced August 2024.

Comments: 2 figures; 20 pages, plus appendices and references. v2: Journal version

On new infinite families of completely regular and completely transitive codes

Authors: Joaquim Borges, Josep Rifà, Victor Zinoviev

Abstract: In two previous papers we constructed new families of completely regular codes by concatenation methods. Here we determine cases in which the new codes are completely transitive. For these cases we also find the automorphism groups of such codes. For the remaining cases, we show that the codes are not completely transitive assuming an upper bound on the order of the monomial automorphism groups, a… ▽ More In two previous papers we constructed new families of completely regular codes by concatenation methods. Here we determine cases in which the new codes are completely transitive. For these cases we also find the automorphism groups of such codes. For the remaining cases, we show that the codes are not completely transitive assuming an upper bound on the order of the monomial automorphism groups, according to computational results. △ Less

Submitted 20 March, 2023; originally announced March 2023.

Rank and Kernel of $\mathbb{F}_p$-Additive Generalised Hadamard Codes

Authors: Steven T. Dougherty, Josep Rifà, Mercè Villanueva

Abstract: A subset of a vector space $\mathbb{F}_q^n$ is $K$-additive if it is a linear space over the subfield $K\subseteq \mathbb{F}_q$. Let $q=p^e$, $p$ prime, and $e>1$. Bounds on the rank and dimension of the kernel of generalised Hadamard (GH) codes which are $\mathbb{F}_p$-additive are established. For specific ranks and dimensions of the kernel within these bounds, $\mathbb{F}_p$-additive GH codes a… ▽ More A subset of a vector space $\mathbb{F}_q^n$ is $K$-additive if it is a linear space over the subfield $K\subseteq \mathbb{F}_q$. Let $q=p^e$, $p$ prime, and $e>1$. Bounds on the rank and dimension of the kernel of generalised Hadamard (GH) codes which are $\mathbb{F}_p$-additive are established. For specific ranks and dimensions of the kernel within these bounds, $\mathbb{F}_p$-additive GH codes are constructed. Moreover, for the case $e=2$, it is shown that the given bounds are tight and it is possible to construct an $\mathbb{F}_p$-additive GH code for all allowable ranks and dimensions of the kernel between these bounds. Finally, we also prove that these codes are self-orthogonal with respect to the trace Hermitian inner product, and generate pure quantum codes. △ Less

Submitted 30 January, 2020; originally announced January 2020.

On completely regular and completely transitive codes derived from Hamming codes

Authors: J. Borges, J. Rifà, V. A. Zinoviev

Abstract: Given a parity-check matrix $H_m$ of a $q$-ary Hamming code, we consider a partition of the columns into two subsets. Then, we consider the two codes that have these submatrices as parity-check matrices. We say that anyone of these two codes is the supplementary code of the other one. We obtain that if one of these codes is a Hamming code, then the supplementary code is completely regular and co… ▽ More Given a parity-check matrix $H_m$ of a $q$-ary Hamming code, we consider a partition of the columns into two subsets. Then, we consider the two codes that have these submatrices as parity-check matrices. We say that anyone of these two codes is the supplementary code of the other one. We obtain that if one of these codes is a Hamming code, then the supplementary code is completely regular and completely transitive. If one of the codes is completely regular with covering radius $2$, then the supplementary code is also completely regular with covering radius at most $2$. Moreover, in this case, either both codes are completely transitive, or both are not. With this technique, we obtain infinite families of completely regular and completely transitive codes which are quasi-perfect uniformly packed. △ Less

Submitted 6 March, 2019; v1 submitted 20 February, 2019; originally announced February 2019.

Hadamard full propelinear codes with associated group $C_{2t}\times C_2$; rank and kernel

Authors: Ivan Bailera, Joaquim Borges, Josep Rifà

Abstract: We introduce the Hadamard full propelinear codes that factorize as direct product of groups such that their associated group is $C_{2t}\times C_2$. We study the rank, the dimension of the kernel, and the structure of these codes. For several specific parameters we establish some links from circulant Hadamard matrices and the nonexistence of the codes we study. We prove that the dimension of the ke… ▽ More We introduce the Hadamard full propelinear codes that factorize as direct product of groups such that their associated group is $C_{2t}\times C_2$. We study the rank, the dimension of the kernel, and the structure of these codes. For several specific parameters we establish some links from circulant Hadamard matrices and the nonexistence of the codes we study. We prove that the dimension of the kernel of these codes is bounded by 3 if the code is nonlinear. We also get an equivalence between circulant complex Hadamard matrix and a type of Hadamard full propelinear code, and we find a new example of circulant complex Hadamard matrix of order 16. △ Less

Submitted 18 February, 2019; v1 submitted 27 August, 2018; originally announced August 2018.

Comments: Submitted to Advances in Mathematics of Communications

MSC Class: 5B; 5E; 94B

Circulant Hadamard matrices as HFP-codes of type $C_{4n}\times C_2$

Authors: Josep Rifà

Abstract: We prove that a circulant Hadamard code of length $4n$ can always be seen as an HFP-code (Hadamard full propelinear code) of type $C_{4n}\times C_2$, where $C_2=\langle u\rangle$ or the same, as a cocyclic Hadamard code. We compute the rank and dimension of the kernel of these kind of codes. We prove that a circulant Hadamard code of length $4n$ can always be seen as an HFP-code (Hadamard full propelinear code) of type $C_{4n}\times C_2$, where $C_2=\langle u\rangle$ or the same, as a cocyclic Hadamard code. We compute the rank and dimension of the kernel of these kind of codes. △ Less

Submitted 26 November, 2017; originally announced November 2017.

MSC Class: 5B; 5E; 94B

Hadamard Full Propelinear Codes of type Q. Rank and Kernel

Authors: J. Rifà, E. Suárez Canedo

Abstract: Hadamard full propelinear codes (HFP-codes) are introduced and their equivalence with Hadamard groups is proven (on the other hand, it is already known the equivalence of Hadamard groups with relative $(4n,2,4n,2n)$-difference sets in a group and also with cocyclic Hadamard matrices). We compute the available values for the rank and dimension of the kernel of HFP-codes of type Q and we show that t… ▽ More Hadamard full propelinear codes (HFP-codes) are introduced and their equivalence with Hadamard groups is proven (on the other hand, it is already known the equivalence of Hadamard groups with relative $(4n,2,4n,2n)$-difference sets in a group and also with cocyclic Hadamard matrices). We compute the available values for the rank and dimension of the kernel of HFP-codes of type Q and we show that the dimension of the kernel is always 1 or $2$. We also show that when the dimension of the kernel is 2 then the dimension of the kernel of the transposed code is 1 (so, both codes are not equivalent). Finally, we give a construction method such that from an HFP-code of length $4n$, dimension of the kernel $k=2$, and maximum rank $r=2n$, we obtain an HFP-code of double length $8n$, dimension of the kernel $k=2$, and maximum rank $r=4n$. △ Less

Submitted 5 October, 2017; v1 submitted 7 September, 2017; originally announced September 2017.

Comments: Submitted to Designs, Codes and Cryptography

MSC Class: 5B; 5E; 94B

On Completely Regular Codes

Authors: J. Borges, J. Rifà, V. A. Zinoviev

Abstract: This work is a survey on completely regular codes. Known properties, relations with other combinatorial structures and constructions are stated. The existence problem is also discussed and known results for some particular cases are established. In particular, we present a few new results on completely regular codes with covering radius 2 and on extended completely regular codes. This work is a survey on completely regular codes. Known properties, relations with other combinatorial structures and constructions are stated. The existence problem is also discussed and known results for some particular cases are established. In particular, we present a few new results on completely regular codes with covering radius 2 and on extended completely regular codes. △ Less

Submitted 25 March, 2017; originally announced March 2017.

Completely regular codes by concatenating Hamming codes

Authors: J. Borges, J. Rifà, V. Zinoviev

Abstract: We construct new families of completely regular codes by concatenation methods. By combining parity check matrices of cyclic Hamming codes, we obtain families of completely regular codes. In all cases, we compute the intersection array of these codes. We also study when the extension of these codes gives completely regular codes. Some of these new codes are completely transitive. We construct new families of completely regular codes by concatenation methods. By combining parity check matrices of cyclic Hamming codes, we obtain families of completely regular codes. In all cases, we compute the intersection array of these codes. We also study when the extension of these codes gives completely regular codes. Some of these new codes are completely transitive. △ Less

Submitted 17 March, 2017; originally announced March 2017.

Completely regular codes with different parameters and the same distance-regular coset graphs

Authors: J. Rifà, V. Zinoviev

Abstract: A known Kronecker construction of completely regular codes has been investigated taking different alphabets in the component codes. This approach is also connected with lifting constructions of completely regular codes. We obtain several classes of completely regular codes with different parameters, but identical intersection array. Given a prime power $q$ and any two natural numbers $a,b$, we con… ▽ More A known Kronecker construction of completely regular codes has been investigated taking different alphabets in the component codes. This approach is also connected with lifting constructions of completely regular codes. We obtain several classes of completely regular codes with different parameters, but identical intersection array. Given a prime power $q$ and any two natural numbers $a,b$, we construct completely transitive codes over different fields with covering radius $ρ=\min\{a,b\}$ and identical intersection array, specifically, one code over $\F_{q^r}$ for each divisor $r$ of $a$ or $b$. As a corollary, for any prime power $q$, we show that distance regular bilinear forms graphs can be obtained as coset graphs from several completely regular codes with different parameters. Under the same conditions, an explicit construction of an infinite family of $q$-ary uniformly packed codes (in the wide sense) with covering radius $ρ$, which are not completely regular, is also given. △ Less

Submitted 23 October, 2015; originally announced October 2015.

Comments: Submitted to Journal of Combinatorial Theory, Series A

Ranks and Kernels of Codes from Generalized Hadamard Matrices

Authors: Steven T. Dougherty, Josep Rifà, Mercè Villanueva

Abstract: The ranks and kernels of generalized Hadamard matrices are studied. It is proven that any generalized Hadamard matrix $H(q,λ)$ over $F_q$, $q>3$, or $q=3$ and $\gcd(3,λ)\not =1$, generates a self-orthogonal code. This result puts a natural upper bound on the rank of the generalized Hadamard matrices. Lower and upper bounds are given for the dimension of the kernel of the corresponding generalized… ▽ More The ranks and kernels of generalized Hadamard matrices are studied. It is proven that any generalized Hadamard matrix $H(q,λ)$ over $F_q$, $q>3$, or $q=3$ and $\gcd(3,λ)\not =1$, generates a self-orthogonal code. This result puts a natural upper bound on the rank of the generalized Hadamard matrices. Lower and upper bounds are given for the dimension of the kernel of the corresponding generalized Hadamard codes. For specific ranks and dimensions of the kernel within these bounds, generalized Hadamard codes are constructed. △ Less

Submitted 30 June, 2015; originally announced June 2015.

Comments: 13 pages Submitted to IEEE-IT

Hadamard Z2Z4Q8-codes. Constructions based on the rank and dimension of the kernel

Authors: P. Montolio, J. Rifà

Abstract: This work deals with Hadamard Z2Z4Q8-codes, which are binary codes after a Gray map from a subgroup of the direct product of Z2, Z4 and Q8 groups, where Q8 is the quaternionic group. In a previous work, these kind of codes were classified in five shapes. In this paper we analyze the allowable range of values for the rank and dimension of the kernel, which depends on the particular shape of the cod… ▽ More This work deals with Hadamard Z2Z4Q8-codes, which are binary codes after a Gray map from a subgroup of the direct product of Z2, Z4 and Q8 groups, where Q8 is the quaternionic group. In a previous work, these kind of codes were classified in five shapes. In this paper we analyze the allowable range of values for the rank and dimension of the kernel, which depends on the particular shape of the code. We show that all these codes can be represented in a standard form, from a set of generators, which help to a well understanding of the characteristics of each shape. The main results are the characterization of Hadamard Z2Z4Q8-codes as a quotient of a semidirect product of Z2Z4-linear codes and, on the other hand, the construction of Hadamard Z2Z4Q8-codes code with any given pair of allowable parameters for the rank and dimension of the kernel. △ Less

Submitted 15 May, 2014; originally announced May 2014.

Families of nested completely regular codes and distance-regular graphs

Authors: J. Borges, J. Rifà, V. A. Zinoviev

Abstract: In this paper infinite families of linear binary nested completely regular codes are constructed. They have covering radius $ρ$ equal to $3$ or $4$, and are $1/2^i$-th parts, for $i\in\{1,\ldots,u\}$ of binary (respectively, extended binary) Hamming codes of length $n=2^m-1$ (respectively, $2^m$), where $m=2u$. In the usual way, i.e., as coset graphs, infinite families of embedded distance-regular… ▽ More In this paper infinite families of linear binary nested completely regular codes are constructed. They have covering radius $ρ$ equal to $3$ or $4$, and are $1/2^i$-th parts, for $i\in\{1,\ldots,u\}$ of binary (respectively, extended binary) Hamming codes of length $n=2^m-1$ (respectively, $2^m$), where $m=2u$. In the usual way, i.e., as coset graphs, infinite families of embedded distance-regular coset graphs of diameter $D$ equal to $3$ or $4$ are constructed. In some cases, the constructed codes are also completely transitive codes and the corresponding coset graphs are distance-transitive. △ Less

Submitted 25 April, 2014; originally announced April 2014.

New families of completely transitive codes and distance transitive graphs

Authors: J. Borges, J. Rif`a, V. A. Zinoviev

Abstract: In this paper new infinite families of linear binary completely transitive codes are presented. They have covering radius $ρ= 3$ and 4, and are a half part of the binary Hamming and the binary extended Hamming code of length $n=2^m-1$ and $2^m$, respectively, where $m$ is even. From these new completely transitive codes, in the usual way, i.e., as coset graphs, new presentations of infinite famili… ▽ More In this paper new infinite families of linear binary completely transitive codes are presented. They have covering radius $ρ= 3$ and 4, and are a half part of the binary Hamming and the binary extended Hamming code of length $n=2^m-1$ and $2^m$, respectively, where $m$ is even. From these new completely transitive codes, in the usual way, i.e., as coset graphs, new presentations of infinite families of distance transitive coset graphs of diameter three and four, respectively, are constructed. △ Less

Submitted 8 April, 2013; originally announced April 2013.

On a family of binary completely transitive codes with growing covering radius

Authors: J. Rifa, V. Zinoviev

Abstract: A new family of binary linear completely transitive (and, therefore, completely regular) codes is constructed. The covering radius of these codes is growing with the length of the code. In particular, for any integer r > 1, there exist two codes with d=3, covering radius r and length 2r(4r-1) and (2r+1)(4r+1), respectively. These new completely transitive codes induce, as coset graphs, a family of… ▽ More A new family of binary linear completely transitive (and, therefore, completely regular) codes is constructed. The covering radius of these codes is growing with the length of the code. In particular, for any integer r > 1, there exist two codes with d=3, covering radius r and length 2r(4r-1) and (2r+1)(4r+1), respectively. These new completely transitive codes induce, as coset graphs, a family of distance-transitive graphs of growing diameter. △ Less

Submitted 11 March, 2013; originally announced March 2013.

Comments: Submitted to Discrete mathematics. March 10, 2013

On the number of nonequivalent propelinear extended perfect codes

Authors: J. Borges, I. Yu. Mogilnykh, J. Rifà, F. I. Solov'eva

Abstract: The paper proves that there exist an exponential number of nonequivalent propelinear extended perfect binary codes of length growing to infinity. Specifically, it is proved that all transitive extended perfect binary codes found by Potapov are propelinear. All such codes have small rank, which is one more than the rank of the extended Hamming code of the same length. We investigate the properties… ▽ More The paper proves that there exist an exponential number of nonequivalent propelinear extended perfect binary codes of length growing to infinity. Specifically, it is proved that all transitive extended perfect binary codes found by Potapov are propelinear. All such codes have small rank, which is one more than the rank of the extended Hamming code of the same length. We investigate the properties of these codes and show that any of them has a normalized propelinear representation. △ Less

Submitted 20 March, 2013; v1 submitted 4 March, 2013; originally announced March 2013.

Self-embeddings of Hamming Steiner triple systems of small order and APN permutations

Authors: J. Rifà, F. I. Solov'eva, M. Villanueva

Abstract: The classification, up to isomorphism, of all self-embedding monomial power permutations of Hamming Steiner triple systems of order n=2^m-1 for small m, m < 23, is given. As far as we know, for m in {5,7,11,13,17,19}, all given self-embeddings in closed surfaces are new. Moreover, they are cyclic for all m and nonorientable at least for all m < 21. For any non prime m, the nonexistence of such sel… ▽ More The classification, up to isomorphism, of all self-embedding monomial power permutations of Hamming Steiner triple systems of order n=2^m-1 for small m, m < 23, is given. As far as we know, for m in {5,7,11,13,17,19}, all given self-embeddings in closed surfaces are new. Moreover, they are cyclic for all m and nonorientable at least for all m < 21. For any non prime m, the nonexistence of such self-embeddings in a closed surface is proven. △ Less

Submitted 23 December, 2012; originally announced December 2012.

Comments: Submitted to Design, Codes and Cryptography

MSC Class: 94B15; 94A60

On binary quadratic symmetric bent and almost bent functions

Authors: Josep Rifà, Victor Zinoviev

Abstract: We give a new simple construction for known binary quadratic symmetric bent and almost bent functions. In particular, for even number of variables, they are self-dual and anti-self-dual quadratic bent functions, respectively, which are not of the Maiorana-McFarland type, but affine equivalent to it. We give a new simple construction for known binary quadratic symmetric bent and almost bent functions. In particular, for even number of variables, they are self-dual and anti-self-dual quadratic bent functions, respectively, which are not of the Maiorana-McFarland type, but affine equivalent to it. △ Less

Submitted 20 September, 2019; v1 submitted 22 November, 2012; originally announced November 2012.

MSC Class: 94C30; 94C10

Families of Hadamard Z2Z4Q8-codes

Authors: Ángel del Rio, Josep Rifà

Abstract: A Z2Z4Q8-code is a non-empty subgroup of a direct product of copies of Z_2, Z_4 and Q_8 (the binary field, the ring of integers modulo 4 and the quaternion group on eight elements, respectively). Such Z2Z4Q8-codes are translation invariant propelinear codes as the well known Z_4-linear or Z_2Z_4-linear codes. In the current paper, we show that there exist "pure" Z2Z4Q8-codes, that is, codes that… ▽ More A Z2Z4Q8-code is a non-empty subgroup of a direct product of copies of Z_2, Z_4 and Q_8 (the binary field, the ring of integers modulo 4 and the quaternion group on eight elements, respectively). Such Z2Z4Q8-codes are translation invariant propelinear codes as the well known Z_4-linear or Z_2Z_4-linear codes. In the current paper, we show that there exist "pure" Z2Z4Q8-codes, that is, codes that do not admit any abelian translation invariant propelinear structure. We study the dimension of the kernel and rank of the Z2Z4Q8-codes, and we give upper and lower bounds for these parameters. We give tools to construct a new class of Hadamard codes formed by several families of Z2Z4Q8-codes; we study and show the different shapes of such a codes and we improve the upper and lower bounds for the rank and the dimension of the kernel when the codes are Hadamard. △ Less

Submitted 22 November, 2012; originally announced November 2012.

Comments: Submitted to IT-IEEE

Product Perfect Z2Z4-linear codes in Steganography

Authors: J. Rifa, L. Ronquillo

Abstract: Product perfect codes have been proven to enhance the performance of the F5 steganographic method, whereas perfect Z2Z4-linear codes have been recently introduced as an efficient way to embed data, conforming to the +/-1-steganography. In this paper, we present two steganographic methods. On the one hand, a generalization of product perfect codes is made. On the other hand, this generalization is… ▽ More Product perfect codes have been proven to enhance the performance of the F5 steganographic method, whereas perfect Z2Z4-linear codes have been recently introduced as an efficient way to embed data, conforming to the +/-1-steganography. In this paper, we present two steganographic methods. On the one hand, a generalization of product perfect codes is made. On the other hand, this generalization is applied to perfect Z2Z4-linear codes. Finally, the performance of the proposed methods is evaluated and compared with those of the aforementioned schemes. △ Less

Submitted 25 March, 2010; originally announced March 2010.

Comments: 6 pages, 2 figures, submitted to the 2010 International Symposium on Information Theory and Its Applications (ISITA2010)

ACM Class: H.1.1

On linear $q$-ary completely regular codes with $ρ=2$ and dual antipodal

Authors: Joaquim Borges, Josep Rifa, Victor Zinoviev

Abstract: We characterize all linear $q$-ary completely regular codes with covering radius $ρ=2$ when the dual codes are antipodal. These completely regular codes are extensions of linear completely regular codes with covering radius 1, which are all classified. For $ρ=2$, we give a list of all such codes known to us. This also gives the characterization of two weight linear antipodal codes. We characterize all linear $q$-ary completely regular codes with covering radius $ρ=2$ when the dual codes are antipodal. These completely regular codes are extensions of linear completely regular codes with covering radius 1, which are all classified. For $ρ=2$, we give a list of all such codes known to us. This also gives the characterization of two weight linear antipodal codes. △ Less

Submitted 24 February, 2010; originally announced February 2010.

MSC Class: 94B25; 94B60

On lifting perfect codes

Authors: Josep Rifà, Victor Zinoviev

Abstract: In this paper we consider completely regular codes, obtained from perfect (Hamming) codes by lifting the ground field. More exactly, for a given perfect code C of length n=(q^m-1)/(q-1) over F_q with a parity check matrix H_m, we define a new code C_{(m,r)} of length n over F_{q^r}, r > 1, with this parity check matrix H_m. The resulting code C_{(m,r)} is completely regular with covering radius… ▽ More In this paper we consider completely regular codes, obtained from perfect (Hamming) codes by lifting the ground field. More exactly, for a given perfect code C of length n=(q^m-1)/(q-1) over F_q with a parity check matrix H_m, we define a new code C_{(m,r)} of length n over F_{q^r}, r > 1, with this parity check matrix H_m. The resulting code C_{(m,r)} is completely regular with covering radius R = min{r,m}. We compute the intersection numbers of such codes and, finally, we prove that Hamming codes are the only codes that, after lifting the ground field, result in completely regular codes. △ Less

Submitted 1 February, 2010; originally announced February 2010.

Comments: Submitted to IEEE Transactions on Information Theory

Perfect Z2Z4-linear codes in Steganography

Authors: H. Rifà-Pous, J. Rifà, L. Ronquillo

Abstract: Steganography is an information hiding application which aims to hide secret data imperceptibly into a commonly used media. Unfortunately, the theoretical hiding asymptotical capacity of steganographic systems is not attained by algorithms developed so far. In this paper, we describe a novel coding method based on Z2Z4-linear codes that conforms to +/-1-steganography, that is secret data is embedd… ▽ More Steganography is an information hiding application which aims to hide secret data imperceptibly into a commonly used media. Unfortunately, the theoretical hiding asymptotical capacity of steganographic systems is not attained by algorithms developed so far. In this paper, we describe a novel coding method based on Z2Z4-linear codes that conforms to +/-1-steganography, that is secret data is embedded into a cover message by distorting each symbol by one unit at most. This method solves some problems encountered by the most efficient methods known today, based on ternary Hamming codes. Finally, the performance of this new technique is compared with that of the mentioned methods and with the well-known theoretical upper bound. △ Less

Submitted 5 July, 2010; v1 submitted 1 February, 2010; originally announced February 2010.

Comments: 5 pages, revised version

ACM Class: H.1.1

Construction of Additive Reed-Muller Codes

Authors: J. Pujol, J. Rifà, L. Ronquillo

Abstract: The well known Plotkin construction is, in the current paper, generalized and used to yield new families of Z2Z4-additive codes, whose length, dimension as well as minimum distance are studied. These new constructions enable us to obtain families of Z2Z4-additive codes such that, under the Gray map, the corresponding binary codes have the same parameters and properties as the usual binary linear R… ▽ More The well known Plotkin construction is, in the current paper, generalized and used to yield new families of Z2Z4-additive codes, whose length, dimension as well as minimum distance are studied. These new constructions enable us to obtain families of Z2Z4-additive codes such that, under the Gray map, the corresponding binary codes have the same parameters and properties as the usual binary linear Reed-Muller codes. Moreover, the first family is the usual binary linear Reed-Muller family. △ Less

Submitted 28 December, 2011; v1 submitted 17 September, 2009; originally announced September 2009.

Comments: 7 pages, Part of the material in this paper was presented without proofs at the 18-th Symposium on Applied algebra, Algebraic algorithms, and Error Correcting Codes (AAECC 2009), Tarragona, Spain, June 8-12, 2009

ACM Class: H.1.1

Journal ref: J. Pujol, J. Rifa and L. Ronquillo. Construction of Additive Reed-Muller Codes. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, LNCS 5527 (June 2009), pages 223-226

Propelinear structure of Z_{2k}-linear codes

Authors: J. Borges, C. Fernandez-Cordoba, J. Rifa

Abstract: Let C be an additive subgroup of $\Z_{2k}^n$ for any $k\geq 1$. We define a Gray map $Φ:\Z_{2k}^n \longrightarrow \Z_2^{kn}$ such that $Φ(\codi)$ is a binary propelinear code and, hence, a Hamming-compatible group code. Moreover, $Φ$ is the unique Gray map such that $Φ(C)$ is Hamming-compatible group code. Using this Gray map we discuss about the nonexistence of 1-perfect binary mixed group code… ▽ More Let C be an additive subgroup of $\Z_{2k}^n$ for any $k\geq 1$. We define a Gray map $Φ:\Z_{2k}^n \longrightarrow \Z_2^{kn}$ such that $Φ(\codi)$ is a binary propelinear code and, hence, a Hamming-compatible group code. Moreover, $Φ$ is the unique Gray map such that $Φ(C)$ is Hamming-compatible group code. Using this Gray map we discuss about the nonexistence of 1-perfect binary mixed group code. △ Less

Submitted 30 July, 2009; originally announced July 2009.

Journal ref: Electronic Notes in Discrete Mathematics, Volume 10, November 2001, Pages 100-102

New completely regular q-ary codes based on Kronecker products

Authors: J. Rifa, V. A. Zinoviev

Abstract: For any integer $ρ\geq 1$ and for any prime power q, the explicit construction of a infinite family of completely regular (and completely transitive) q-ary codes with d=3 and with covering radius $ρ$ is given. The intersection array is also computed. Under the same conditions, the explicit construction of an infinite family of q-ary uniformly packed codes (in the wide sense) with covering radius… ▽ More For any integer $ρ\geq 1$ and for any prime power q, the explicit construction of a infinite family of completely regular (and completely transitive) q-ary codes with d=3 and with covering radius $ρ$ is given. The intersection array is also computed. Under the same conditions, the explicit construction of an infinite family of q-ary uniformly packed codes (in the wide sense) with covering radius $ρ$, which are not completely regular, is also given. In both constructions the Kronecker product is the basic tool that has been used. △ Less

Submitted 28 October, 2008; originally announced October 2008.

Comments: Submitted to IT-IEEE. Theorem 1 in Section III was presented at the 2nd International Castle Meeting on Coding Theory and Applications (2ICMCTA), Medina del Campo, Spain, September 2008.}}

MSC Class: 94B25

Construction of Z4-linear Reed-Muller codes

Authors: J. Pujol, J. Rifá, F. I. Solov'eva

Abstract: New quaternary Plotkin constructions are given and are used to obtain new families of quaternary codes. The parameters of the obtained codes, such as the length, the dimension and the minimum distance are studied. Using these constructions new families of quaternary Reed-Muller codes are built with the peculiarity that after using the Gray map the obtained Z4-linear codes have the same parameter… ▽ More New quaternary Plotkin constructions are given and are used to obtain new families of quaternary codes. The parameters of the obtained codes, such as the length, the dimension and the minimum distance are studied. Using these constructions new families of quaternary Reed-Muller codes are built with the peculiarity that after using the Gray map the obtained Z4-linear codes have the same parameters and fundamental properties as the codes in the usual binary linear Reed-Muller family. To make more evident the duality relationships in the constructed families the concept of Kronecker inner product is introduced. △ Less

Submitted 19 January, 2008; originally announced January 2008.

Comments: Paper submitted to IEEE Transactions on Information Theory

MSC Class: 68P30; 94A29

Z2Z4-linear codes: generator matrices and duality

Authors: J. Borges, C. Fernandez, J. Pujol, J. Rifa, M. Villanueva

Abstract: A code ${\cal C}$ is $\Z_2\Z_4$-additive if the set of coordinates can be partitioned into two subsets $X$ and $Y$ such that the punctured code of ${\cal C}$ by deleting the coordinates outside $X$ (respectively, $Y$) is a binary linear code (respectively, a quaternary linear code). In this paper $\Z_2\Z_4$-additive codes are studied. Their corresponding binary images, via the Gray map, are… ▽ More A code ${\cal C}$ is $\Z_2\Z_4$-additive if the set of coordinates can be partitioned into two subsets $X$ and $Y$ such that the punctured code of ${\cal C}$ by deleting the coordinates outside $X$ (respectively, $Y$) is a binary linear code (respectively, a quaternary linear code). In this paper $\Z_2\Z_4$-additive codes are studied. Their corresponding binary images, via the Gray map, are $\Z_2\Z_4$-linear codes, which seem to be a very distinguished class of binary group codes. As for binary and quaternary linear codes, for these codes the fundamental parameters are found and standard forms for generator and parity check matrices are given. For this, the appropriate inner product is deduced and the concept of duality for $\Z_2\Z_4$-additive codes is defined. Moreover, the parameters of the dual codes are computed. Finally, some conditions for self-duality of $\Z_2\Z_4$-additive codes are given. △ Less

Submitted 5 October, 2007; originally announced October 2007.

Comments: This paper will be submitted to IEEE Trans. on Inform. Theory

MSC Class: 94B25; 11T71

On the intersection of additive perfect codes

Authors: J. Rifà, F. Solov'eva, M. Villanueva

Abstract: The intersection problem for additive (extended and non-extended) perfect codes, i.e. which are the possibilities for the number of codewords in the intersection of two additive codes C1 and C2 of the same length, is investigated. Lower and upper bounds for the intersection number are computed and, for any value between these bounds, codes which have this given intersection value are constructed.… ▽ More The intersection problem for additive (extended and non-extended) perfect codes, i.e. which are the possibilities for the number of codewords in the intersection of two additive codes C1 and C2 of the same length, is investigated. Lower and upper bounds for the intersection number are computed and, for any value between these bounds, codes which have this given intersection value are constructed. For all these codes the abelian group structure of the intersection is characterized. The parameters of this abelian group structure corresponding to the intersection codes are computed and lower and upper bounds for these parameters are established. Finally, constructions of codes the intersection of which fits any parameters between these bounds are given. △ Less

Submitted 4 December, 2006; originally announced December 2006.

Comments: Submitted to Trans. Inform. Theory

ACM Class: E.4