Showing 1–22 of 22 results for author: Östergård, P R

Improving Uniquely Decodable Codes in Binary Adder Channels

Authors: József Balogh, The Nguyen, Patric R. J. Ostergard, Ethan Patrick White, Michael Wigal

Abstract: We present a general method to modify existing uniquely decodable codes in the $T$-user binary adder channel. If at least one of the original constituent codes does not have average weight exactly half of the dimension, then our method produces a new set of constituent codes in a higher dimension, with a strictly higher rate. Using our method we improve the highest known rate for the $T$-user bina… ▽ More We present a general method to modify existing uniquely decodable codes in the $T$-user binary adder channel. If at least one of the original constituent codes does not have average weight exactly half of the dimension, then our method produces a new set of constituent codes in a higher dimension, with a strictly higher rate. Using our method we improve the highest known rate for the $T$-user binary adder channel for all $T \geq 2$. This information theory problem is equivalent to co-Sidon problems initiated by Lindstr{ö}m in the 1960s, and also the multi-set union-free problem. Our results improve the known lower bounds in these settings as well. △ Less

Submitted 18 December, 2023; originally announced December 2023.

Comments: 8 pages

MSC Class: 05D40; 05C65; 05D05; 94A40; 05B10

Enumerating Steiner Triple Systems

Authors: Daniel Heinlein, Patric R. J. Östergård

Abstract: Steiner triple systems (STSs) have been classified up to order 19. Earlier estimations of the number of isomorphism classes of STSs of order 21, the smallest open case, are discouraging as for classification, so it is natural to focus on the easier problem of merely counting the isomorphism classes. Computational approaches for counting STSs are here considered and lead to an algorithm that is use… ▽ More Steiner triple systems (STSs) have been classified up to order 19. Earlier estimations of the number of isomorphism classes of STSs of order 21, the smallest open case, are discouraging as for classification, so it is natural to focus on the easier problem of merely counting the isomorphism classes. Computational approaches for counting STSs are here considered and lead to an algorithm that is used to obtain the number of isomorphism classes for order 21: 14,796,207,517,873,771. △ Less

Submitted 21 June, 2023; v1 submitted 2 March, 2023; originally announced March 2023.

MSC Class: 05B07

Constructing Random Steiner Triple Systems: An Experimental Study

Authors: Daniel Heinlein, Patric R. J. Östergård

Abstract: Several methods for generating random Steiner triple systems (STSs) have been proposed in the literature, such as Stinson's hill-climbing algorithm and Cameron's algorithm, but these are not yet completely understood. Those algorithms, as well as some variants, are here assessed for STSs of both small and large orders. For large orders, the number of occurrences of certain configurations in the co… ▽ More Several methods for generating random Steiner triple systems (STSs) have been proposed in the literature, such as Stinson's hill-climbing algorithm and Cameron's algorithm, but these are not yet completely understood. Those algorithms, as well as some variants, are here assessed for STSs of both small and large orders. For large orders, the number of occurrences of certain configurations in the constructed STSs are compared with the corresponding expected values of random hypergraphs. Modifications of the algorithms are proposed. △ Less

Submitted 8 May, 2023; v1 submitted 25 August, 2022; originally announced August 2022.

MSC Class: 05B07

Algorithms and Complexity for Counting Configurations in Steiner Triple Systems

Authors: Daniel Heinlein, Patric R. J. Östergård

Abstract: Steiner triple systems form one of the most studied classes of combinatorial designs. Configurations, including subsystems, play a central role in the investigation of Steiner triple systems. With sporadic instances of small systems, ad-hoc algorithms for counting or listing configurations are typically fast enough for practical needs, but with many systems or large systems, the relevance of compu… ▽ More Steiner triple systems form one of the most studied classes of combinatorial designs. Configurations, including subsystems, play a central role in the investigation of Steiner triple systems. With sporadic instances of small systems, ad-hoc algorithms for counting or listing configurations are typically fast enough for practical needs, but with many systems or large systems, the relevance of computational complexity and algorithms of low complexity is highlighted. General theoretical results as well as specific practical algorithms for important configurations are presented. △ Less

Submitted 1 October, 2021; originally announced October 2021.

MSC Class: 05B07; 68Q25

Switching 3-edge-colorings of cubic graphs

Authors: Jan Goedgebeur, Patric R. J. Östergård

Abstract: The chromatic index of a cubic graph is either 3 or 4. Edge-Kempe switching, which can be used to transform edge-colorings, is here considered for 3-edge-colorings of cubic graphs. Computational results for edge-Kempe switching of cubic graphs up to order 30 and bipartite cubic graphs up to order 36 are tabulated. Families of cubic graphs of orders $4n+2$ and $4n+4$ with $2^n$ edge-Kempe equivalen… ▽ More The chromatic index of a cubic graph is either 3 or 4. Edge-Kempe switching, which can be used to transform edge-colorings, is here considered for 3-edge-colorings of cubic graphs. Computational results for edge-Kempe switching of cubic graphs up to order 30 and bipartite cubic graphs up to order 36 are tabulated. Families of cubic graphs of orders $4n+2$ and $4n+4$ with $2^n$ edge-Kempe equivalence classes are presented; it is conjectured that there are no cubic graphs with more edge-Kempe equivalence classes. New families of nonplanar bipartite cubic graphs with exactly one edge-Kempe equivalence class are also obtained. Edge-Kempe switching is further connected to cycle switching of Steiner triple systems, for which an improvement of the established classification algorithm is presented. △ Less

Submitted 4 May, 2021; originally announced May 2021.

Comments: 20 pages

Steiner Triple Systems of Order 21 with Subsystems

Authors: Daniel Heinlein, Patric R. J. Östergård

Abstract: The smallest open case for classifying Steiner triple systems is order 21. A Steiner triple system of order 21, an STS(21), can have subsystems of orders 7 and 9, and it is known that there are 12,661,527,336 isomorphism classes of STS(21)s with sub-STS(9)s. Here, the classification of STS(21)s with subsystems is completed by settling the case of STS(21)s with sub-STS(7)s. There are 116,635,963,20… ▽ More The smallest open case for classifying Steiner triple systems is order 21. A Steiner triple system of order 21, an STS(21), can have subsystems of orders 7 and 9, and it is known that there are 12,661,527,336 isomorphism classes of STS(21)s with sub-STS(9)s. Here, the classification of STS(21)s with subsystems is completed by settling the case of STS(21)s with sub-STS(7)s. There are 116,635,963,205,551 isomorphism classes of such systems. An estimation of the number of isomorphism classes of STS(21)s is given. △ Less

Submitted 24 August, 2022; v1 submitted 14 April, 2021; originally announced April 2021.

MSC Class: 05B07

On the Structure of Small Strength-$2$ Covering Arrays

Authors: Janne I. Kokkala, Karen Meagher, Reza Naserasr, Kari J. Nurmela, Patric R. J. Östergård, Brett Stevens

Abstract: A covering array $\rm{CA}(N;t,k,v)$ of strength $t$ is an $N \times k$ array of symbols from an alphabet of size $v$ such that in every $N \times t$ subarray, every $t$-tuple occurs in at least one row. A covering array is \emph{optimal} if it has the smallest possible $N$ for given $t$, $k$, and $v$, and \emph{uniform} if every symbol occurs $\lfloor N/v \rfloor$ or $\lceil N/v \rceil$ times in e… ▽ More A covering array $\rm{CA}(N;t,k,v)$ of strength $t$ is an $N \times k$ array of symbols from an alphabet of size $v$ such that in every $N \times t$ subarray, every $t$-tuple occurs in at least one row. A covering array is \emph{optimal} if it has the smallest possible $N$ for given $t$, $k$, and $v$, and \emph{uniform} if every symbol occurs $\lfloor N/v \rfloor$ or $\lceil N/v \rceil$ times in every column. Prior to this paper the only known optimal covering arrays for $t=2$ were orthogonal arrays, covering arrays with $v=2$ constructed from Sperner's Theorem and the Erdős-Ko-Rado Theorem, and eleven other parameter sets with $v>2$ and $N > v^2$. In all these cases, there is a uniform covering array with the optimal size. It has been conjectured that there exists a uniform covering array of optimal size for all parameters. In this paper a new lower bound as well as structural constraints for small uniform strength-$2$ covering arrays are given. Moreover, covering arrays with small parameters are studied computationally. The size of an optimal strength-$2$ covering array with $v > 2$ and $N > v^2$ is now known for $21$ parameter sets. Our constructive results continue to support the conjecture. △ Less

Submitted 27 June, 2019; v1 submitted 11 January, 2019; originally announced January 2019.

MSC Class: 05B40 68W01

Constructions of maximum few-distance sets in Euclidean spaces

Authors: Ferenc Szöllősi, Patric R. J. Östergård

Abstract: A finite set of distinct vectors $\mathcal{X}$ in the $d$-dimensional Euclidean space $\mathbb{R}^d$ is called an $s$-distance set if the set of mutual distances between distinct elements of $\mathcal{X}$ has cardinality $s$. In this paper we present a combined approach of isomorph-free exhaustive generation of graphs and Gröbner basis computation to classify the largest $3$-distance sets in… ▽ More A finite set of distinct vectors $\mathcal{X}$ in the $d$-dimensional Euclidean space $\mathbb{R}^d$ is called an $s$-distance set if the set of mutual distances between distinct elements of $\mathcal{X}$ has cardinality $s$. In this paper we present a combined approach of isomorph-free exhaustive generation of graphs and Gröbner basis computation to classify the largest $3$-distance sets in $\mathbb{R}^4$, the largest $4$-distance sets in $\mathbb{R}^3$, and the largest $6$-distance sets in $\mathbb{R}^2$. We also construct new examples of large $s$-distance sets for $d\leq 8$ and $s\leq 6$, and independently verify several earlier results from the literature. △ Less

Submitted 17 April, 2018; originally announced April 2018.

Comments: 9 pages, preprint

Enumeration of Seidel matrices

Authors: Ferenc Szöllősi, Patric R. J. Östergård

Abstract: In this paper Seidel matrices are studied, and their spectrum and several related algebraic properties are determined for order $n\leq 13$. Based on this Seidel matrices with exactly three distinct eigenvalues of order $n\leq 23$ are classified. One consequence of the computational results is that the maximum number of equiangular lines in $\mathbb{R}^{12}$ with common angle $1/5$ is exactly $20$. In this paper Seidel matrices are studied, and their spectrum and several related algebraic properties are determined for order $n\leq 13$. Based on this Seidel matrices with exactly three distinct eigenvalues of order $n\leq 23$ are classified. One consequence of the computational results is that the maximum number of equiangular lines in $\mathbb{R}^{12}$ with common angle $1/5$ is exactly $20$. △ Less

Submitted 8 March, 2017; originally announced March 2017.

Comments: 18 pages, 9 tables

MSC Class: 05B20; 05C50

There is No McLaughlin Geometry

Authors: Patric R. J. Östergård, Leonard H. Soicher

Abstract: We determine that there is no partial geometry ${\cal G}$ with parameters $(s,t,α)=(4,27,2)$. The existence of such a geometry has been a challenging open problem of interest to researchers for almost 40 years. The particular interest in ${\cal G}$ is due to the fact that it would have the exceptional McLaughlin graph as its point graph. Our proof makes extensive use of symmetry and high-performan… ▽ More We determine that there is no partial geometry ${\cal G}$ with parameters $(s,t,α)=(4,27,2)$. The existence of such a geometry has been a challenging open problem of interest to researchers for almost 40 years. The particular interest in ${\cal G}$ is due to the fact that it would have the exceptional McLaughlin graph as its point graph. Our proof makes extensive use of symmetry and high-performance distributed computing, and details of our techniques and checks are provided. One outcome of our work is to show that a pseudogeometric strongly regular graph achieving equality in the Krein bound need not be the point graph of any partial geometry. △ Less

Submitted 12 July, 2016; originally announced July 2016.

Comments: 19 pages

MSC Class: 51E14 (Primary); 05-04 (Secondary)

The chromatic number of the square of the 8-cube

Authors: Janne I. Kokkala, Patric R. J. Östergård

Abstract: A cube-like graph is a Cayley graph for the elementary abelian group of order $2^n$. In studies of the chromatic number of cube-like graphs, the $k$th power of the $n$-dimensional hypercube, $Q_n^k$, is frequently considered. This coloring problem can be considered in the framework of coding theory, as the graph $Q_n^k$ can be constructed with one vertex for each binary word of length $n$ and edge… ▽ More A cube-like graph is a Cayley graph for the elementary abelian group of order $2^n$. In studies of the chromatic number of cube-like graphs, the $k$th power of the $n$-dimensional hypercube, $Q_n^k$, is frequently considered. This coloring problem can be considered in the framework of coding theory, as the graph $Q_n^k$ can be constructed with one vertex for each binary word of length $n$ and edges between vertices exactly when the Hamming distance between the corresponding words is at most $k$. Consequently, a proper coloring of $Q_n^k$ corresponds to a partition of the $n$-dimensional binary Hamming space into codes with minimum distance at least $k+1$. The smallest open case, the chromatic number of $Q_8^2$, is here settled by finding a 13-coloring. Such 13-colorings with specific symmetries are further classified. △ Less

Submitted 6 July, 2016; originally announced July 2016.

Comments: 15 pages. Preliminary results of this research were reported in arXiv:1509.06913

MSC Class: 05C15 (Primary) 94B25 (Secondary)

Constructing error-correcting binary codes using transitive permutation groups

Authors: Antti Laaksonen, Patric R. J. Östergård

Abstract: Let $A_2(n,d)$ be the maximum size of a binary code of length $n$ and minimum distance $d$. In this paper we present the following new lower bounds: $A_2(18,4) \ge 5632$, $A_2(21,4) \ge 40960$, $A_2(22,4) \ge 81920$, $A_2(23,4) \ge 163840$, $A_2(24,4) \ge 327680$, $A_2(24,10) \ge 136$, and $A_2(25,6) \ge 17920$. The new lower bounds are a result of a systematic computer search over transitive perm… ▽ More Let $A_2(n,d)$ be the maximum size of a binary code of length $n$ and minimum distance $d$. In this paper we present the following new lower bounds: $A_2(18,4) \ge 5632$, $A_2(21,4) \ge 40960$, $A_2(22,4) \ge 81920$, $A_2(23,4) \ge 163840$, $A_2(24,4) \ge 327680$, $A_2(24,10) \ge 136$, and $A_2(25,6) \ge 17920$. The new lower bounds are a result of a systematic computer search over transitive permutation groups. △ Less

Submitted 18 July, 2016; v1 submitted 20 April, 2016; originally announced April 2016.

A coloring of the square of the 8-cube with 13 colors

Authors: Janne I. Kokkala, Patric R. J. Östergård

Abstract: Let $χ_{\bar{k}}(n)$ be the number of colors required to color the $n$-dimensional hypercube such that no two vertices with the same color are at a distance at most $k$. In other words, $χ_{\bar{k}}(n)$ is the minimum number of binary codes with minimum distance at least $k+1$ required to partition the $n$-dimensional Hamming space. By giving an explicit coloring, it is shown that… ▽ More Let $χ_{\bar{k}}(n)$ be the number of colors required to color the $n$-dimensional hypercube such that no two vertices with the same color are at a distance at most $k$. In other words, $χ_{\bar{k}}(n)$ is the minimum number of binary codes with minimum distance at least $k+1$ required to partition the $n$-dimensional Hamming space. By giving an explicit coloring, it is shown that $χ_{\bar{2}}(8)=13$. △ Less

Submitted 23 September, 2015; originally announced September 2015.

Comments: 3 pages

Further Results on the Classification of MDS Codes

Authors: Janne I. Kokkala, Patric R. J. Östergård

Abstract: A $q$-ary maximum distance separable (MDS) code $C$ with length $n$, dimension $k$ over an alphabet $\mathcal{A}$ of size $q$ is a set of $q^k$ codewords that are elements of $\mathcal{A}^n$, such that the Hamming distance between two distinct codewords in $C$ is at least $n-k+1$. Sets of mutually orthogonal Latin squares of orders $q\leq 9$, corresponding to two-dimensional \mbox{$q$-}ary MDS cod… ▽ More A $q$-ary maximum distance separable (MDS) code $C$ with length $n$, dimension $k$ over an alphabet $\mathcal{A}$ of size $q$ is a set of $q^k$ codewords that are elements of $\mathcal{A}^n$, such that the Hamming distance between two distinct codewords in $C$ is at least $n-k+1$. Sets of mutually orthogonal Latin squares of orders $q\leq 9$, corresponding to two-dimensional \mbox{$q$-}ary MDS codes, and $q$-ary one-error-correcting MDS codes for $q\leq 8$ have been classified in earlier studies. These results are used here to complete the classification of all $7$-ary and $8$-ary MDS codes with $d\geq 3$ using a computer search. △ Less

Submitted 27 April, 2015; originally announced April 2015.

New Lower Bounds for the Shannon Capacity of Odd Cycles

Authors: K. Ashik Mathew, Patric R. J. Östergård

Abstract: The Shannon capacity of a graph $G$ is defined as $c(G)=\sup_{d\geq 1}(α(G^d))^{\frac{1}{d}},$ where $α(G)$ is the independence number of $G$. The Shannon capacity of the cycle $C_5$ on $5$ vertices was determined by Lovász in 1979, but the Shannon capacity of a cycle $C_p$ for general odd $p$ remains one of the most notorious open problems in information theory. By prescribing stabilizers for the… ▽ More The Shannon capacity of a graph $G$ is defined as $c(G)=\sup_{d\geq 1}(α(G^d))^{\frac{1}{d}},$ where $α(G)$ is the independence number of $G$. The Shannon capacity of the cycle $C_5$ on $5$ vertices was determined by Lovász in 1979, but the Shannon capacity of a cycle $C_p$ for general odd $p$ remains one of the most notorious open problems in information theory. By prescribing stabilizers for the independent sets in $C_p^d$ and using stochastic search methods, we show that $α(C_7^5)\geq 350$, $α(C_{11}^4)\geq 748$, $α(C_{13}^4)\geq 1534$ and $α(C_{15}^3)\geq 381$. This leads to improved lower bounds on the Shannon capacity of $C_7$ and $C_{15}$: $c(C_7)\geq 350^{\frac{1}{5}}> 3.2271$ and $c(C_{15})\geq 381^{\frac{1}{3}}> 7.2495$. △ Less

Submitted 7 April, 2015; originally announced April 2015.

On the Classification of MDS Codes

Authors: Janne I. Kokkala, Denis S. Krotov, Patric R. J. Östergård

Abstract: A $q$-ary code of length $n$, size $M$, and minimum distance $d$ is called an $(n,M,d)_q$ code. An $(n,q^{k},n-k+1)_q$ code is called a maximum distance separable (MDS) code. In this work, some MDS codes over small alphabets are classified. It is shown that every $(k+d-1,q^k,d)_q$ code with $k\geq 3$, $d \geq 3$, $q \in \{5,7\}$ is equivalent to a linear code with the same parameters. This implies… ▽ More A $q$-ary code of length $n$, size $M$, and minimum distance $d$ is called an $(n,M,d)_q$ code. An $(n,q^{k},n-k+1)_q$ code is called a maximum distance separable (MDS) code. In this work, some MDS codes over small alphabets are classified. It is shown that every $(k+d-1,q^k,d)_q$ code with $k\geq 3$, $d \geq 3$, $q \in \{5,7\}$ is equivalent to a linear code with the same parameters. This implies that the $(6,5^4,3)_5$ code and the $(n,7^{n-2},3)_7$ MDS codes for $n\in\{6,7,8\}$ are unique. The classification of one-error-correcting $8$-ary MDS codes is also finished; there are $14$, $8$, $4$, and $4$ equivalence classes of $(n,8^{n-2},3)_8$ codes for $n=6,7,8,9$, respectively. One of the equivalence classes of perfect $(9,8^7,3)_8$ codes corresponds to the Hamming code and the other three are nonlinear codes for which there exists no previously known construction. △ Less

Submitted 21 November, 2014; originally announced November 2014.

Comments: Submitted to IEEE transactions on Information Theory; presented in part at the 4th International Castle Meeting in Coding Theory and Applications, Palmela, Portugal, September 2014

Journal ref: IEEE Trans. Inf. Theory 61(12) 2015, 6485-6492

Planar Hypohamiltonian Graphs on 40 Vertices

Authors: Mohammadreza Jooyandeh, Brendan D. McKay, Patric R. J. Östergård, Ville H. Pettersson, Carol T. Zamfirescu

Abstract: A graph is hypohamiltonian if it is not Hamiltonian, but the deletion of any single vertex gives a Hamiltonian graph. Until now, the smallest known planar hypohamiltonian graph had 42 vertices, a result due to Araya and Wiener. That result is here improved upon by 25 planar hypohamiltonian graphs of order 40, which are found through computer-aided generation of certain families of planar graphs wi… ▽ More A graph is hypohamiltonian if it is not Hamiltonian, but the deletion of any single vertex gives a Hamiltonian graph. Until now, the smallest known planar hypohamiltonian graph had 42 vertices, a result due to Araya and Wiener. That result is here improved upon by 25 planar hypohamiltonian graphs of order 40, which are found through computer-aided generation of certain families of planar graphs with girth 4 and a fixed number of 4-faces. It is further shown that planar hypohamiltonian graphs exist for all orders greater than or equal to 42. If Hamiltonian cycles are replaced by Hamiltonian paths throughout the definition of hypohamiltonian graphs, we get the definition of hypotraceable graphs. It is shown that there is a planar hypotraceable graph of order 154 and of all orders greater than or equal to 156. We also show that the smallest hypohamiltonian planar graph of girth 5 has 45 vertices. △ Less

Submitted 6 December, 2015; v1 submitted 11 February, 2013; originally announced February 2013.

MSC Class: 05C10; 05C30; 05C38; 05C45; 05C85

The quaternary complex Hadamard matrices of orders 10, 12, and 14

Authors: Pekka H. J. Lampio, Ferenc Szöllősi, Patric R. J. Östergård

Abstract: A complete classification of quaternary complex Hadamard matrices of orders 10, 12 and 14 is given, and a new parametrization scheme for obtaining new examples of affine parametric families of complex Hadamard matrices is provided. On the one hand, it is proven that all 10x10 and 12x12 quaternary complex Hadamard matrices belong to some parametric family, but on the other hand, it is shown by exhi… ▽ More A complete classification of quaternary complex Hadamard matrices of orders 10, 12 and 14 is given, and a new parametrization scheme for obtaining new examples of affine parametric families of complex Hadamard matrices is provided. On the one hand, it is proven that all 10x10 and 12x12 quaternary complex Hadamard matrices belong to some parametric family, but on the other hand, it is shown by exhibiting an isolated 14x14 matrix that there cannot be a general method for introducing parameters into these types of matrices. △ Less

Submitted 23 April, 2012; originally announced April 2012.

Comments: 14+8 pages, preprint

MSC Class: 05B20; 15B34

Packing Costas Arrays

Authors: J. H. Dinitz, P. R. J. Ostergard, D. R. Stinson

Abstract: A Costas latin square of order n is a set of n disjoint Costas arrays of the same order. Costas latin squares are studied here from a construction as well as a classification point of view. A complete classification is carried out up to order 27. In this range, we verify the conjecture that there is no Costas latin square for any odd order n >= 3. Various other related combinatorial structures are… ▽ More A Costas latin square of order n is a set of n disjoint Costas arrays of the same order. Costas latin squares are studied here from a construction as well as a classification point of view. A complete classification is carried out up to order 27. In this range, we verify the conjecture that there is no Costas latin square for any odd order n >= 3. Various other related combinatorial structures are also considered, including near Costas latin squares (which are certain packings of near Costas arrays) and Vatican Costas squares. △ Less

Submitted 7 February, 2011; originally announced February 2011.

Comments: 19 pages

MSC Class: 05B30

The number of Latin squares of order 11

Authors: Alexander Hulpke, Petteri Kaski, Patric R. J. Östergård

Abstract: Constructive and nonconstructive techniques are employed to enumerate Latin squares and related objects. It is established that there are (i) 2036029552582883134196099 main classes of Latin squares of order 11; (ii) 6108088657705958932053657 isomorphism classes of one-factorizations of $K_{11,11}$; (iii) 12216177315369229261482540 isotopy classes of Latin squares of order 11; (iv) 14781574551580… ▽ More Constructive and nonconstructive techniques are employed to enumerate Latin squares and related objects. It is established that there are (i) 2036029552582883134196099 main classes of Latin squares of order 11; (ii) 6108088657705958932053657 isomorphism classes of one-factorizations of $K_{11,11}$; (iii) 12216177315369229261482540 isotopy classes of Latin squares of order 11; (iv) 1478157455158044452849321016 isomorphism classes of loops of order 11; and (v) 19464657391668924966791023043937578299025 isomorphism classes of quasigroups of order 11. The enumeration is constructive for the 1151666641 main classes with an autoparatopy group of order at least 3. △ Less

Submitted 8 February, 2010; v1 submitted 18 September, 2009; originally announced September 2009.

Comments: Minor revision; to appear in Mathematics of Computation

MSC Class: 05B15; 05A15; 05C30; 05C70

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

There are 1,132,835,421,602,062,347 nonisomorphic one-factorizations of $K_{14}$

Authors: Petteri Kaski, Patric R. J. Östergård

Abstract: We establish by means of a computer search that a complete graph on 14 vertices has 98,758,655,816,833,727,741,338,583,040 distinct and 1,132,835,421,602,062,347 nonisomorphic one-factorizations. The enumeration is constructive for the 10,305,262,573 isomorphism classes that admit a nontrivial automorphism. We establish by means of a computer search that a complete graph on 14 vertices has 98,758,655,816,833,727,741,338,583,040 distinct and 1,132,835,421,602,062,347 nonisomorphic one-factorizations. The enumeration is constructive for the 10,305,262,573 isomorphism classes that admit a nontrivial automorphism. △ Less

Submitted 31 December, 2007; originally announced January 2008.

MSC Class: 05C70; 05-04; 68R05