168,782 research outputs found

    Parity of Sets of Mutually Orthogonal Latin Squares

    Full text link
    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 OA(k,n)\mathrm{OA}(k,n) has an information content of dim(k,n)\dim(k,n) bits. We show that dim(k,n)(k2)1\dim(k,n) \leq {k \choose 2}-1. For the case corresponding to projective planes we prove a tighter bound, namely dim(n+1,n)(n2)\dim(n+1,n) \leq {n \choose 2} when nn is odd and dim(n+1,n)(n2)1\dim(n+1,n) \leq {n \choose 2}-1 when nn is even. Using the existence of MOLS with subMOLS, we prove that if dim(k,n)=(k2)1\dim(k,n)={k \choose 2}-1 then dim(k,N)=(k2)1\dim(k,N) = {k \choose 2}-1 for all sufficiently large NN. Let the ensemble of an OA\mathrm{OA} 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 OA(k,n)\mathrm{OA}(k,n) can contain. These restrictions depend on nmod4n\mod4 and give some insight as to why it is harder to build projective planes of order n2mod4n \not= 2\mod4 than for n2mod4n \not= 2\mod4. For example, we prove that when n2mod4n \not= 2\mod 4 it is impossible to build an OA(n+1,n)\mathrm{OA}(n+1,n) for which all Latin squares in the ensemble are isotopic (equivalent to each other up to permutation of the rows, columns and symbols)

    Multi-layer S=1/2 Heisenberg antiferromagnet

    Full text link
    The multi-layer S=12S={1\over 2} square lattice Heisenberg antiferromagnet with up to 6 layers is studied via various series expansions. For the systems with an odd number of coupled planes, the ground-state energy, staggered magnetization, and triplet excitation spectra are calculated via two different Ising expansions. The systems are found to have long range N\'eel order and gapless excitations for all ratios of interlayer to intralayer couplings, as for the single-layer system. For the systems with an even number of coupled planes, there is a second order transition point separating the gapless Ne\'el phase and gapped quantum disordered spin liquid phase, and the critical points are located via expansions in the interlayer exchange coupling. This transition point is found to vary about inversely as the number of layers. The triplet excitation spectra are also computed, and at the critical point the normalized spectra appear to follow a universal function, independent of number of layers.Comment: 13 pages plus 8 figure

    Central aspects of skew translation quadrangles, I

    Full text link
    Except for the Hermitian buildings H(4,q2)\mathcal{H}(4,q^2), up to a combination of duality, translation duality or Payne integration, every known finite building of type B2\mathbb{B}_2 satisfies a set of general synthetic properties, usually put together in the term "skew translation generalized quadrangle" (STGQ). In this series of papers, we classify finite skew translation generalized quadrangles. In the first installment of the series, as corollaries of the machinery we develop in the present paper, (a) we obtain the surprising result that any skew translation quadrangle of odd order (s,s)(s,s) is a symplectic quadrangle; (b) we determine all skew translation quadrangles with distinct elation groups (a problem posed by Payne in a less general setting); (c) we develop a structure theory for root-elations of skew translation quadrangles which will also be used in further parts, and which essentially tells us that a very general class of skew translation quadrangles admits the theoretical maximal number of root-elations for each member, and hence all members are "central" (the main property needed to control STGQs, as which will be shown throughout); (d) we solve the Main Parameter Conjecture for a class of STGQs containing the class of the previous item, and which conjecturally coincides with the class of all STGQs.Comment: 66 pages; submitted (December 2013
    corecore