Showing 1–15 of 15 results for author: Mogilnykh, I Y

Multispreads

Authors: Denis S. Krotov, Ivan Yu. Mogilnykh

Abstract: Additive one-weight codes over a finite field of non-prime order are equivalent to special subspace coverings of the points of projective space, which we call multispreads. The current paper is devoted to the characterization of the parameters of multispreads, which is equivalent to the characterization of the parameters of additive one-weight codes. We characterize these parameters for the case o… ▽ More Additive one-weight codes over a finite field of non-prime order are equivalent to special subspace coverings of the points of projective space, which we call multispreads. The current paper is devoted to the characterization of the parameters of multispreads, which is equivalent to the characterization of the parameters of additive one-weight codes. We characterize these parameters for the case of the prime-square order of the field and make a partial characterization for the prime-cube case and the case of the fourth degree of a prime (including a complete characterization for orders 8, 27, and 16). △ Less

Submitted 19 March, 2024; v1 submitted 12 December, 2023; originally announced December 2023.

Comments: v.3: revised; draft tables removed; unnecessary constructions removed. v.2: section "Dual partitions" added; some cases computationally solved

MSC Class: 51E23; 94B05; 51E22

$L_{\infty}$ norm minimization for nowhere-zero integer eigenvectors of the block graphs of Steiner triple systems and Johnson graphs

Authors: E. A. Bespalov, I. Yu. Mogilnykh, K. V. Vorob'ev

Abstract: We study nowhere-zero integer eigenvectors of the block graphs of Steiner triple systems and the Johnson graphs. For the first eigenvalue we obtain the minimums of $L_{\infty}$-norm for several infinite series of Johnson graphs, including J(n,3) as well as general upper and lower bounds. The minimization of $L_{\infty}$-norm for nowhere-zero integer eigenvectors with the second eigenvalue of the b… ▽ More We study nowhere-zero integer eigenvectors of the block graphs of Steiner triple systems and the Johnson graphs. For the first eigenvalue we obtain the minimums of $L_{\infty}$-norm for several infinite series of Johnson graphs, including J(n,3) as well as general upper and lower bounds. The minimization of $L_{\infty}$-norm for nowhere-zero integer eigenvectors with the second eigenvalue of the block graph of a Steiner triple system $S$ is equivalent to finding the minimum nowhere-zero flow for Steiner triple system S. For the all Assmuss-Mattson Steiner triple systems of order at least 99 we prove that this minimum is bounded above by 4. △ Less

Submitted 1 November, 2023; v1 submitted 3 April, 2023; originally announced April 2023.

Comments: Accepted to Siberian Electronic Mathematical Reports

On completely regular codes with minimum eigenvalue in geometric graphs

Authors: I. Yu. Mogilnykh, K. V. Vorob'ev

Abstract: We prove that any completely regular code with minimum eigenvalue in any geometric graph G corresponds to a completely regular code in the clique graph of G. Studying the interrelation of these codes, a complete characterization of the completely regular codes in the Johnson graphs J(n,w) with covering radius w-1 and strength 1 is obtained. In particular this result finishes a characterization of… ▽ More We prove that any completely regular code with minimum eigenvalue in any geometric graph G corresponds to a completely regular code in the clique graph of G. Studying the interrelation of these codes, a complete characterization of the completely regular codes in the Johnson graphs J(n,w) with covering radius w-1 and strength 1 is obtained. In particular this result finishes a characterization of the completely regular codes in the Johnson graphs J(n,3). We also classify the completely regular codes of strength 1 in the Johnson graphs J(n,4) with only one case for the eigenvalues left open. △ Less

Submitted 21 December, 2022; v1 submitted 20 October, 2022; originally announced October 2022.

Completely regular codes in Johnson and Grassmann graphs with small covering radii

Authors: I. Yu. Mogilnykh

Abstract: Let L be a Desarguesian 2-spread in the Grassmann graph $J_q(n,2)$. We prove that the collection of the 4-subspaces, which do not contain subspaces from L is a completely regular code in $J_q(n,4)$. Similarly, we construct a completely regular code in the Johnson graph $J(n,6)$ from the Steiner quadruple system of the extended Hamming code. We obtain several new completely regular codes covering r… ▽ More Let L be a Desarguesian 2-spread in the Grassmann graph $J_q(n,2)$. We prove that the collection of the 4-subspaces, which do not contain subspaces from L is a completely regular code in $J_q(n,4)$. Similarly, we construct a completely regular code in the Johnson graph $J(n,6)$ from the Steiner quadruple system of the extended Hamming code. We obtain several new completely regular codes covering radius 1 in the Grassmann graph $J_2(6,3)$ using binary linear programming. △ Less

Submitted 13 December, 2020; originally announced December 2020.

Coordinate transitivity of extended perfect codes and their SQS

Authors: I. Yu. Mogilnykh, F. I. Solov'eva

Abstract: We continue the study of the class of binary extended perfect propelinear codes constructed in the previous paper and consider their permutation automorphism (symmetry) groups and Steiner quadruple systems. We show that the automorphism group of the SQS of any such code coincides with the permutation automorphism group of the code. In particular, the SQS of these codes are complete invariants for… ▽ More We continue the study of the class of binary extended perfect propelinear codes constructed in the previous paper and consider their permutation automorphism (symmetry) groups and Steiner quadruple systems. We show that the automorphism group of the SQS of any such code coincides with the permutation automorphism group of the code. In particular, the SQS of these codes are complete invariants for the isomorphism classes of these codes. We obtain a criterion for the point transitivity of the automorphism group of SQS of proposed codes in terms of GL-equivalence (similar to EA-type equivalence for permutations of F^r). Based on these results we suggest a new construction for coordinate transitive and neighbor transitive extended perfect codes. △ Less

Submitted 17 September, 2020; originally announced September 2020.

Journal ref: Siberian Electronic Mathematical Reports 17 (2020), 1451-1462

On existence of perfect bitrades in Hamming graphs

Authors: I. Yu. Mogilnykh, F. I. Solov'eva

Abstract: A pair $(T_0,T_1)$ of disjoint sets of vertices of a graph $G$ is called a perfect bitrade in $G$ if any ball of radius 1 in $G$ contains exactly one vertex in $T_0$ and $T_1$ or none simultaneously. The volume of a perfect bitrade $(T_0,T_1)$ is the size of $T_0$. In particular, if $C_0$ and $C_1$ are distinct perfect codes with minimum distance $3$ in $G$ then… ▽ More A pair $(T_0,T_1)$ of disjoint sets of vertices of a graph $G$ is called a perfect bitrade in $G$ if any ball of radius 1 in $G$ contains exactly one vertex in $T_0$ and $T_1$ or none simultaneously. The volume of a perfect bitrade $(T_0,T_1)$ is the size of $T_0$. In particular, if $C_0$ and $C_1$ are distinct perfect codes with minimum distance $3$ in $G$ then $(C_0\setminus C_1,C_1\setminus C_0)$ is a perfect bitrade. For any $q\geq 3$, $r\geq 1$ we construct perfect bitrades in the Hamming graph $H(qr+1,q)$ of volume $(q!)^r$ and show that for $r=1$ their volume is minimum. △ Less

Submitted 19 December, 2019; originally announced December 2019.

A concatenation construction for propelinear perfect codes from regular subgroups of GA(r,2)

Authors: I. Yu. Mogilnykh, F. I. Solov'eva

Abstract: A code $C$ is called propelinear if there is a subgroup of $Aut(C)$ of order $|C|$ acting transitively on the codewords of $C$. In the paper new propelinear perfect binary codes of any admissible length more than $7$ are obtained by a particular case of the Solov'eva concatenation construction--1981 and the regular subgroups of the general affine group of the vector space over $GF(2)$. A code $C$ is called propelinear if there is a subgroup of $Aut(C)$ of order $|C|$ acting transitively on the codewords of $C$. In the paper new propelinear perfect binary codes of any admissible length more than $7$ are obtained by a particular case of the Solov'eva concatenation construction--1981 and the regular subgroups of the general affine group of the vector space over $GF(2)$. △ Less

Submitted 16 December, 2019; v1 submitted 23 May, 2019; originally announced May 2019.

On completely regular codes of covering radius 1 in the halved hypercubes

Authors: Denis S. Krotov, Ivan Yu. Mogilnykh, Anastasia Yu. Vasil'eva

Abstract: We consider constructions of covering-radius-1 completely regular codes, or, equivalently, equitable 2-partitions (regular 2-partitions, perfect 2-colorings), of halved n-cubes. Keywords: completely regular code, equitable partition, regular partition, partition design, perfect coloring, halved hypercube. We consider constructions of covering-radius-1 completely regular codes, or, equivalently, equitable 2-partitions (regular 2-partitions, perfect 2-colorings), of halved n-cubes. Keywords: completely regular code, equitable partition, regular partition, partition design, perfect coloring, halved hypercube. △ Less

Submitted 7 December, 2018; originally announced December 2018.

MSC Class: 05B30

On components of a Kerdock code and the dual of the BCH code $C_{1,3}$

Authors: I. Yu. Mogilnykh, F. I. Solov'eva

Abstract: In the paper we investigate the structure of $i$-components of two classes of codes: Kerdock codes and the duals of the primitive cyclic BCH code with designed distance 5 of length $n=2^m-1$, for odd $m$. We prove that for any admissible length a punctured Kerdock code consists of two $i$-components and the dual of BCH code is a $i$-component for any $i$. We give an alternative proof for the fact… ▽ More In the paper we investigate the structure of $i$-components of two classes of codes: Kerdock codes and the duals of the primitive cyclic BCH code with designed distance 5 of length $n=2^m-1$, for odd $m$. We prove that for any admissible length a punctured Kerdock code consists of two $i$-components and the dual of BCH code is a $i$-component for any $i$. We give an alternative proof for the fact presented by De Caen and van Dam in 1999 that the restriction of the Hamming scheme to a doubly shortened Kerdock code is an association scheme. △ Less

Submitted 10 October, 2018; originally announced October 2018.

MSC Class: 94B25; 94B15

A note on regular subgroups of the automorphism group of the linear Hadamard code

Authors: I. Yu. Mogilnykh

Abstract: We consider the regular subgroups of the automorphism group of the linear Hadamard code. These subgroups correspond to the regular subgroups of $GA(r,2)$, w.t.r action on the vectors of $F_2^{r}$, where $n=2^r-1 $ is the length of the Hamadard code. We show that the dihedral group $D_{2^{r-1}}$ is a regular subgroup of $GA(r,2)$ only when $r=3$. Following the approach of \cite{M} we study the regu… ▽ More We consider the regular subgroups of the automorphism group of the linear Hadamard code. These subgroups correspond to the regular subgroups of $GA(r,2)$, w.t.r action on the vectors of $F_2^{r}$, where $n=2^r-1 $ is the length of the Hamadard code. We show that the dihedral group $D_{2^{r-1}}$ is a regular subgroup of $GA(r,2)$ only when $r=3$. Following the approach of \cite{M} we study the regular subgroups of the Hamming code obtained from the regular subgroups of the automorphism group of the Hadamard code of length 15. △ Less

Submitted 12 July, 2018; originally announced July 2018.

Comments: 8 pages

MSC Class: 05E15; 94B05

On the extention of propelinear structures of Nordstrom-Robinson code to Hamming code

Authors: I. Yu. Mogilnykh

Abstract: A code is called propelinear if its automorphism group contains a subgroup that acts regularly on its codewords, which is called a propelinear structure on the code. In the paper a classification of the propelinear structures on the Nordstrom-Robinson code is obtained and the question of extension of these structures to propelinear structures of the Hamming code, that contains the Nordstrom-Robins… ▽ More A code is called propelinear if its automorphism group contains a subgroup that acts regularly on its codewords, which is called a propelinear structure on the code. In the paper a classification of the propelinear structures on the Nordstrom-Robinson code is obtained and the question of extension of these structures to propelinear structures of the Hamming code, that contains the Nordstrom-Robinson code. The result partially relies on a representation of all partitions of the Hamming code into codes with parameters of Nordstrom-Robinson code via Fano planes which is given in the paper. △ Less

Submitted 10 December, 2015; originally announced December 2015.

Comments: The paper is in Russian. Submitted to Problems of Information Transmission

On maximum components of a class of perfect codes

Authors: I. Yu. Mogilnykh, F. I. Solov'eva

Abstract: In the paper we show the existence of a large class of extended perfect binary codes containing maximum ij-components. In the paper we show the existence of a large class of extended perfect binary codes containing maximum ij-components. △ Less

Submitted 10 December, 2015; originally announced December 2015.

Comments: The paper is in Russian. submitted to Sibirian Electronic Mathematical Reports

Ranks of propelinear perfect binary codes

Authors: George K. Guskov, Ivan Yu. Mogilnykh, Faina I. Solov'eva

Abstract: It is proven that for any numbers n=2^m-1, m >= 4 and r, such that n - log(n+1)<= r <= n excluding n = r = 63, n = 127, r in {126,127} and n = r = 2047 there exists a propelinear perfect binary code of length n and rank r. It is proven that for any numbers n=2^m-1, m >= 4 and r, such that n - log(n+1)<= r <= n excluding n = r = 63, n = 127, r in {126,127} and n = r = 2047 there exists a propelinear perfect binary code of length n and rank r. △ Less

Submitted 31 October, 2012; originally announced October 2012.

MSC Class: 94B25

On weak isometries of Preparata codes

Authors: Ivan Yu. Mogilnykh

Abstract: Let C1 and C2 be codes with code distance d. Codes C1 and C2 are called weakly isometric, if there exists a map** J:C1->C2, such that for any x,y from C1 the equality d(x,y)=d holds if and only if d(J(x),J(y))=d. Obviously two codes are weakly isometric if and only if the minimal distance graphs of these codes are isomorphic. In this paper we prove that Preparata codes of length n>=2^12 are we… ▽ More Let C1 and C2 be codes with code distance d. Codes C1 and C2 are called weakly isometric, if there exists a map** J:C1->C2, such that for any x,y from C1 the equality d(x,y)=d holds if and only if d(J(x),J(y))=d. Obviously two codes are weakly isometric if and only if the minimal distance graphs of these codes are isomorphic. In this paper we prove that Preparata codes of length n>=2^12 are weakly isometric if and only if these codes are equivalent. The analogous result is obtained for punctured Preparata codes of length not less than 2^10-1. △ Less

Submitted 20 February, 2009; v1 submitted 13 February, 2009; originally announced February 2009.

Comments: Submitted to Problems of Information Transmission on 11th of January 2009

Reconstructing Extended Perfect Binary One-Error-Correcting Codes from Their Minimum Distance Graphs

Authors: Ivan Yu. Mogilnykh, Patric R. J. Östergård, Olli Pottonen, Faina I. Solov'eva

Abstract: The minimum distance graph of a code has the codewords as vertices and edges exactly when the Hamming distance between two codewords equals the minimum distance of the code. A constructive proof for reconstructibility of an extended perfect binary one-error-correcting code from its minimum distance graph is presented. Consequently, inequivalent such codes have nonisomorphic minimum distance grap… ▽ More The minimum distance graph of a code has the codewords as vertices and edges exactly when the Hamming distance between two codewords equals the minimum distance of the code. A constructive proof for reconstructibility of an extended perfect binary one-error-correcting code from its minimum distance graph is presented. Consequently, inequivalent such codes have nonisomorphic minimum distance graphs. Moreover, it is shown that the automorphism group of a minimum distance graph is isomorphic to that of the corresponding code. △ Less

Submitted 12 February, 2009; v1 submitted 31 October, 2008; originally announced October 2008.

Comments: 4 pages. Accepted for publication in IEEE Transactions on Information Theory

Journal ref: IEEE Trans. Inform. Theory 55 (2009) 2622-2625