12,270 research outputs found
Complete enumeration of two-Level orthogonal arrays of strength with constraints
Enumerating nonisomorphic orthogonal arrays is an important, yet very
difficult, problem. Although orthogonal arrays with a specified set of
parameters have been enumerated in a number of cases, general results are
extremely rare. In this paper, we provide a complete solution to enumerating
nonisomorphic two-level orthogonal arrays of strength with
constraints for any and any run size . Our results not only
give the number of nonisomorphic orthogonal arrays for given and , but
also provide a systematic way of explicitly constructing these arrays. Our
approach to the problem is to make use of the recently developed theory of
-characteristics for fractional factorial designs. Besides the general
theoretical results, the paper presents some results from applications of the
theory to orthogonal arrays of strength two, three and four.Comment: Published at http://dx.doi.org/10.1214/009053606000001325 in the
Annals of Statistics (http://www.imstat.org/aos/) by the Institute of
Mathematical Statistics (http://www.imstat.org
Multi-latin squares
A multi-latin square of order and index is an array of
multisets, each of cardinality , such that each symbol from a fixed set of
size occurs times in each row and times in each column. A
multi-latin square of index is also referred to as a -latin square. A
-latin square is equivalent to a latin square, so a multi-latin square can
be thought of as a generalization of a latin square.
In this note we show that any partially filled-in -latin square of order
embeds in a -latin square of order , for each , thus
generalizing Evans' Theorem. Exploiting this result, we show that there exist
non-separable -latin squares of order for each . We also show
that for each , there exists some finite value such that for
all , every -latin square of order is separable.
We discuss the connection between -latin squares and related combinatorial
objects such as orthogonal arrays, latin parallelepipeds, semi-latin squares
and -latin trades. We also enumerate and classify -latin squares of small
orders.Comment: Final version as sent to journa
Difference Covering Arrays and Pseudo-Orthogonal Latin Squares
Difference arrays are used in applications such as software testing,
authentication codes and data compression. Pseudo-orthogonal Latin squares are
used in experimental designs. A special class of pseudo-orthogonal Latin
squares are the mutually nearly orthogonal Latin squares (MNOLS) first
discussed in 2002, with general constructions given in 2007. In this paper we
develop row complete MNOLS from difference covering arrays. We will use this
connection to settle the spectrum question for sets of 3 mutually
pseudo-orthogonal Latin squares of even order, for all but the order 146
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)
Genuinely multipartite entangled states and orthogonal arrays
A pure quantum state of N subsystems with d levels each is called
k-multipartite maximally entangled state, written k-uniform, if all its
reductions to k qudits are maximally mixed. These states form a natural
generalization of N-qudits GHZ states which belong to the class 1-uniform
states. We establish a link between the combinatorial notion of orthogonal
arrays and k-uniform states and prove the existence of several new classes of
such states for N-qudit systems. In particular, known Hadamard matrices allow
us to explicitly construct 2-uniform states for an arbitrary number of N>5
qubits. We show that finding a different class of 2-uniform states would imply
the Hadamard conjecture, so the full classification of 2-uniform states seems
to be currently out of reach. Additionally, single vectors of another class of
2-uniform states are one-to-one related to maximal sets of mutually unbiased
bases. Furthermore, we establish links between existence of k-uniform states,
classical and quantum error correction codes and provide a novel graph
representation for such states.Comment: 24 pages, 7 figures. Comments are very welcome
Absolutely Maximally Entangled states, combinatorial designs and multi-unitary matrices
Absolutely Maximally Entangled (AME) states are those multipartite quantum
states that carry absolute maximum entanglement in all possible partitions. AME
states are known to play a relevant role in multipartite teleportation, in
quantum secret sharing and they provide the basis novel tensor networks related
to holography. We present alternative constructions of AME states and show
their link with combinatorial designs. We also analyze a key property of AME,
namely their relation to tensors that can be understood as unitary
transformations in every of its bi-partitions. We call this property
multi-unitarity.Comment: 18 pages, 2 figures. Comments are very welcom
- …