1,262 research outputs found
Parity of Sets of Mutually Orthogonal Latin Squares
Every Latin square has three attributes that can be even or odd, but any two
of these attributes determines the third. Hence the parity of a Latin square
has an information content of 2 bits. We extend the definition of parity from
Latin squares to sets of mutually orthogonal Latin squares (MOLS) and the
corresponding orthogonal arrays (OA). Suppose the parity of an
has an information content of bits. We show that
. For the case corresponding to projective
planes we prove a tighter bound, namely when
is odd and when is even. Using the
existence of MOLS with subMOLS, we prove that if
then for all sufficiently large .
Let the ensemble of an be the set of Latin squares derived by
interpreting any three columns of the OA as a Latin square. We demonstrate many
restrictions on the number of Latin squares of each parity that the ensemble of
an can contain. These restrictions depend on and
give some insight as to why it is harder to build projective planes of order than for . For example, we prove that when it is impossible to build an for which all
Latin squares in the ensemble are isotopic (equivalent to each other up to
permutation of the rows, columns and symbols)
Low-Density Parity-Check Codes From Transversal Designs With Improved Stopping Set Distributions
This paper examines the construction of low-density parity-check (LDPC) codes
from transversal designs based on sets of mutually orthogonal Latin squares
(MOLS). By transferring the concept of configurations in combinatorial designs
to the level of Latin squares, we thoroughly investigate the occurrence and
avoidance of stopping sets for the arising codes. Stopping sets are known to
determine the decoding performance over the binary erasure channel and should
be avoided for small sizes. Based on large sets of simple-structured MOLS, we
derive powerful constraints for the choice of suitable subsets, leading to
improved stopping set distributions for the corresponding codes. We focus on
LDPC codes with column weight 4, but the results are also applicable for the
construction of codes with higher column weights. Finally, we show that a
subclass of the presented codes has quasi-cyclic structure which allows
low-complexity encoding.Comment: 11 pages; to appear in "IEEE Transactions on Communications
Absorbing Set Analysis and Design of LDPC Codes from Transversal Designs over the AWGN Channel
In this paper we construct low-density parity-check (LDPC) codes from
transversal designs with low error-floors over the additive white Gaussian
noise (AWGN) channel. The constructed codes are based on transversal designs
that arise from sets of mutually orthogonal Latin squares (MOLS) with cyclic
structure. For lowering the error-floors, our approach is twofold: First, we
give an exhaustive classification of so-called absorbing sets that may occur in
the factor graphs of the given codes. These purely combinatorial substructures
are known to be the main cause of decoding errors in the error-floor region
over the AWGN channel by decoding with the standard sum-product algorithm
(SPA). Second, based on this classification, we exploit the specific structure
of the presented codes to eliminate the most harmful absorbing sets and derive
powerful constraints for the proper choice of code parameters in order to
obtain codes with an optimized error-floor performance.Comment: 15 pages. arXiv admin note: text overlap with arXiv:1306.511
Tree-Based Construction of LDPC Codes Having Good Pseudocodeword Weights
We present a tree-based construction of LDPC codes that have minimum
pseudocodeword weight equal to or almost equal to the minimum distance, and
perform well with iterative decoding. The construction involves enumerating a
-regular tree for a fixed number of layers and employing a connection
algorithm based on permutations or mutually orthogonal Latin squares to close
the tree. Methods are presented for degrees and , for a
prime. One class corresponds to the well-known finite-geometry and finite
generalized quadrangle LDPC codes; the other codes presented are new. We also
present some bounds on pseudocodeword weight for -ary LDPC codes. Treating
these codes as -ary LDPC codes rather than binary LDPC codes improves their
rates, minimum distances, and pseudocodeword weights, thereby giving a new
importance to the finite geometry LDPC codes where .Comment: Submitted to Transactions on Information Theory. Submitted: Oct. 1,
2005; Revised: May 1, 2006, Nov. 25, 200
Parity of transversals of Latin squares
We introduce a notion of parity for transversals, and use it to show that in
Latin squares of order , the number of transversals is a multiple of
4. We also demonstrate a number of relationships (mostly congruences modulo 4)
involving , where is the number of diagonals of a given
Latin square that contain exactly different symbols.
Let denote the matrix obtained by deleting row and column
from a parent matrix . Define to be the number of transversals
in , for some fixed Latin square . We show that for all and . Also, if has odd order then the
number of transversals of equals mod 2. We conjecture that for all .
In the course of our investigations we prove several results that could be of
interest in other contexts. For example, we show that the number of perfect
matchings in a -regular bipartite graph on vertices is divisible by
when is odd and . We also show that for all , when is an integer matrix of odd
order with all row and columns sums equal to
Structure of the sets of mutually unbiased bases with cyclic symmetry
Mutually unbiased bases that can be cyclically generated by a single unitary
operator are of special interest, since they can be readily implemented in
practice. We show that, for a system of qubits, finding such a generator can be
cast as the problem of finding a symmetric matrix over the field
equipped with an irreducible characteristic polynomial of a given Fibonacci
index. The entanglement structure of the resulting complete sets is determined
by two additive matrices of the same size.Comment: 20 page
- …