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

On null completely regular codes in Manhattan metric

Authors: I. Yu. Mogilnykh, A. Yu. Vasil'eva

Abstract: We investigate the class of completely regular codes in graphs with a distance partition C_0,..., C_ρ, where each set C_i, for 0<=i<=r-1, is an independent set. This work focuses on the existence problem for such codes in the n-dimensional infinite grid. We demonstrate that several parameter families of such codes necessarily arise from binary or ternary Hamming graphs or do not exist. Furthermore… ▽ More We investigate the class of completely regular codes in graphs with a distance partition C_0,..., C_ρ, where each set C_i, for 0<=i<=r-1, is an independent set. This work focuses on the existence problem for such codes in the n-dimensional infinite grid. We demonstrate that several parameter families of such codes necessarily arise from binary or ternary Hamming graphs or do not exist. Furthermore, employing binary linear programming techniques, we explore completely regular codes in infinite grids of dimensions 3 and 4 for the cases r=1 and r=2. △ Less

Submitted 14 May, 2025; originally announced May 2025.

MSC Class: 94B60

Binary codes from subset inclusion matrices

Authors: Alexey D. Marin, Ivan Yu. Mogilnykh

Abstract: In this paper, we study the minimum distances of binary linear codes with parity check matrices formed from subset inclusion matrices $W_{t,n,k}$, representing $t$-element subsets versus $k$-element subsets of an $n$-element set. We provide both lower and upper bounds on the minimum distances of these codes and determine the exact values for any $t\leq 3$ and sufficiently large $n$. Our study comb… ▽ More In this paper, we study the minimum distances of binary linear codes with parity check matrices formed from subset inclusion matrices $W_{t,n,k}$, representing $t$-element subsets versus $k$-element subsets of an $n$-element set. We provide both lower and upper bounds on the minimum distances of these codes and determine the exact values for any $t\leq 3$ and sufficiently large $n$. Our study combines design and integer linear programming techniques. The codes we consider are connected to locally recoverable codes, LDPC codes and combinatorial designs. △ Less

Submitted 22 August, 2024; originally announced August 2024.

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

MMS-type problems for Johnson scheme

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

Abstract: In the current work we consider the minimization problems for the number of nonzero or negative values of vectors from the first and second eigenspaces of the Johnson scheme respectively. The topic is a meeting point for generalizations of the Manikam-Miklós-Singhi conjecture proven by Blinovski and the minimum support problem for the eigenspaces of the Johnson graph, asymptotically solved by auth… ▽ More In the current work we consider the minimization problems for the number of nonzero or negative values of vectors from the first and second eigenspaces of the Johnson scheme respectively. The topic is a meeting point for generalizations of the Manikam-Miklós-Singhi conjecture proven by Blinovski and the minimum support problem for the eigenspaces of the Johnson graph, asymptotically solved by authors in a recent paper. △ Less

Submitted 9 October, 2018; originally announced October 2018.

Comments: 9 pages

MSC Class: 05E30

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

On symmetry group of Mollard code

Authors: I. Yu. Mogilnykh, F. I. Soloveva

Abstract: For a pair of given binary perfect codes C and D of lengths t and m respectively, the Mollard construction outputs a perfect code M(C,D) of length tm + t + m, having subcodes C1 and D2, that are obtained from codewords of C and D respectively by adding appropriate number of zeros. In this work we generalize of a result for symmetry groups of Vasilev codes [2] and find the group Stab_{D2}Sym(M(C,D)… ▽ More For a pair of given binary perfect codes C and D of lengths t and m respectively, the Mollard construction outputs a perfect code M(C,D) of length tm + t + m, having subcodes C1 and D2, that are obtained from codewords of C and D respectively by adding appropriate number of zeros. In this work we generalize of a result for symmetry groups of Vasilev codes [2] and find the group Stab_{D2}Sym(M(C,D)). The result is preceded by and partially based on a discussion of linearity of coordinate positions (points) in a nonlinear perfect code (non-projective Steiner triple system respectively). △ Less

Submitted 9 December, 2014; originally announced December 2014.

Comments: submitted to Electronic Journal of Combinatorics

On homogeneous nontransitive binary perfect code

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

Abstract: Studying binary perfect codes we show the existence of homogeneous nontransitive codes. Thus, as far as perfect codes are concerned, the propelinear codes are strictly contained in transitive codes, wheresas homogeneous codes form a strict subclass of transitive codes. In the work we deduce a necessary and sufficient condition for transitivity of perfect binary codes of rank one more than that of… ▽ More Studying binary perfect codes we show the existence of homogeneous nontransitive codes. Thus, as far as perfect codes are concerned, the propelinear codes are strictly contained in transitive codes, wheresas homogeneous codes form a strict subclass of transitive codes. In the work we deduce a necessary and sufficient condition for transitivity of perfect binary codes of rank one more than that of Hamming code. The paper is in Russian. △ Less

Submitted 9 December, 2014; originally announced December 2014.

Comments: in Russian, submitted to Problems for Information Transmission

Transitive nonpropelinear perfect codes

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

Abstract: A code is called transitive if its automorphism group (the isometry group) of the code acts transitively on its codewords. If there is a subgroup of the automorphism group acting regularly on the code, the code is called propelinear. Using Magma software package we establish that among 201 equivalence classes of transitive perfect codes of length 15 from \cite{ost} there is a unique nonpropelinear… ▽ More A code is called transitive if its automorphism group (the isometry group) of the code acts transitively on its codewords. If there is a subgroup of the automorphism group acting regularly on the code, the code is called propelinear. Using Magma software package we establish that among 201 equivalence classes of transitive perfect codes of length 15 from \cite{ost} there is a unique nonpropelinear code. We solve the existence problem for transitive nonpropelinear perfect codes for any admissible length $n$, $n\geq 15$. Moreover we prove that there are at least 5 pairwise nonequivalent such codes for any admissible length $n$, $n\geq 255$. △ Less

Submitted 10 November, 2014; originally announced November 2014.

Comments: Accepted to Discrete Mathematics

MSC Class: 94B25

On the Godsil -- Higman necessary condition for equitable partitions of association schemes

Authors: Alexander L. Gavrilyuk, Ivan Yu. Mogilnykh

Abstract: In the monograph 'Association schemes', C. Godsil derived a necessary condition for equitable partitions of association schemes and noticed that it could be used to show that certain equitable partitions do not exist. In this short note, we show that, in fact, this condition is not stronger than the well-known Lloyd theorem. In the monograph 'Association schemes', C. Godsil derived a necessary condition for equitable partitions of association schemes and noticed that it could be used to show that certain equitable partitions do not exist. In this short note, we show that, in fact, this condition is not stronger than the well-known Lloyd theorem. △ Less

Submitted 18 June, 2013; originally announced June 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.

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

A note on Cameron - Liebler line classes in PG(n,4)

Authors: Alexander L. Gavrilyuk, Ivan Y. Mogilnykh

Abstract: A {\it Cameron -- Liebler line class} ${\cal L}$ with parameter $x$ is a set of lines of projective geometry $PG(3,q)$ such that each line of ${\cal L}$ meets exactly $x(q+1)+q^2-1$ lines of ${\cal L}$ and each line that is not from ${\cal L}$ meets exactly $x(q+1)$ lines of ${\cal L}$. In this paper, we obtain a classification of Cameron -- Liebler line classes in PG(3,4) and a classification of… ▽ More A {\it Cameron -- Liebler line class} ${\cal L}$ with parameter $x$ is a set of lines of projective geometry $PG(3,q)$ such that each line of ${\cal L}$ meets exactly $x(q+1)+q^2-1$ lines of ${\cal L}$ and each line that is not from ${\cal L}$ meets exactly $x(q+1)$ lines of ${\cal L}$. In this paper, we obtain a classification of Cameron -- Liebler line classes in PG(3,4) and a classification of their generalization in PG(n,4), $n\geqslant 4$. △ Less

Submitted 28 August, 2012; v1 submitted 10 May, 2012; originally announced May 2012.

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