arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82851 papers, 47869 authors in database)
2002-08-05 v2
Cluster algebras and Poisson geometry
We introduce a Poisson variety compatible with a cluster algebra structure and a compatible toric action on this variety. We study Poisson and topological properties of the union of generic orbits of this toric action. In particular, we compute the number of connected components of the union of generic toric orbits for cluster algebras over real numbers. As a corollary we compute the number of connected components of refined open Bruhat cells in Grassmanians G(k,n) over real numbers.
2002-08-03
Derangements in simple and primitive groups
Published • View Publication • BIB
We investigate the proportion of fixed point free permutations (derangements) in finite transitive permutation groups. This article is the first in a series where we prove a conjecture of Shalev that the proportion of such elements is bounded away from zero for a simple finite group. In fact, there are much stronger results. This article focuses on finite Chevalley groups of bounded rank. We also discuss derangements in algebraic groups and in more general primitive groups. These results have applications in questions about probabilistic generation of finite simple groups and maps between varieties over finite fields.
2002-08-03
On the Isomorphic Embedding of Rectangular Grids in n-cubes
All previously published work on isomorphic grid embeddings into n-cubes has been restricted to binary n-cubes. This paper describes a straightforward method for embedding a A x B grid isomorphically into a k-ary n-cube with k>2.
2002-08-02
Rectangular Matrix Models and Combinatorics of Colored Graphs
Published in Nucl.Phys. B648 (2003) 461-496 • View Publication • BIB
We present applications of rectangular matrix models to various combinatorial problems, among which the enumeration of face-bicolored graphs with prescribed vertex degrees, and vertex-tricolored triangulations. We also mention possible applications to Interaction-Round-a-Face and hard-particle statistical models defined on random lattices.
2002-08-02
Packing Planes in Four Dimensions and Other Mysteries
Published in In Algebraic Combinatorics and Related Topics (Yamagata 1997), ed. E. Bannai, M. Harada and M. Ozeki, Yamagata University, 1999 • Search Publication
How should you choose a good set of (say) 48 planes in four dimensions? More generally, how do you find packings in Grassmannian spaces? In this article I give a brief introduction to the work that I have been doing on this problem in collaboration with A. R. Calderbank, J. H. Conway, R. H. Hardin, E. M. Rains and P. W. Shor. We have found many nice examples of specific packings (70 4-spaces in 8-space, for instance), several general constructions, and an embedding theorem which shows that a packing in Grassmannian space G(m,n) is a subset of a sphere in R^D, where D = (m+2)(m-1)/2, and leads to a proof that many of our packings are optimal. There are a number of interesting unsolved problems.
2002-08-01
Self-Dual Codes
Published in In Handbook of Coding Theory (ed. V. S. Pless and W. C. Huffman), 1998, pp. 177-294 • Search Publication
Self-dual codes are important because many of the best codes known are of this type and they have a rich mathematical theory. Topics covered in this survey include codes over F_2, F_3, F_4, F_q, Z_4, Z_m, shadow codes, weight enumerators, Gleason-Pierce theorem, invariant theory, Gleason theorems, bounds, mass formulae, enumeration, extremal codes, open problems. There is a comprehensive bibliography.
A Group-Theoretic Framework for the Construction of Packings in Grassmannian Spaces
Published in J. Algebraic Combinatorics, 9 (1999), 129-140 • View Publication • BIB
By using totally isotropic subspaces in an orthogonal space Omega^{+}(2i,2), several infinite families of packings of 2^k-dimensional subspaces of real 2^i-dimensional space are constructed, some of which are shown to be optimal packings. A certain Clifford group underlies the construction and links this problem with Barnes-Wall lattices, Kerdock sets and quantum-error-correcting codes.
2002-08-01
A Family of Optimal Packings in Grassmannian Manifolds
Published in J. Algebraic Combinatorics, 7 (1998), 157-163 • View Publication • BIB
A remarkable coincidence has led to the discovery of a family of packings of (m^2+m-2) m/2-dimensional subspaces of m-dimensional space, whenever m is a power of 2. These packings meet the ``orthoplex bound'' and are therefore optimal.
2002-08-01
Packing Lines, Planes, etc.: Packings in Grassmannian Space
Published in Experimental Mathematics, 5 (1996), 139-159 • View Publication • BIB
This paper addresses the question: how should N n-dimensional subspaces of m-dimensional Euclidean space be arranged so that they are as far apart as possible? The results of extensive computations for modest values of N, n, m are described, as well as a reformulation of the problem that was suggested by these computations. The reformulation gives a way to describe n-dimensional subspaces of m-space as points on a sphere in dimension (m-1)(m+2)/2, which provides a (usually) lower-dimensional representation than the Pluecker embedding, and leads to a proof that many of the new packings are optimal. The results have applications to the graphical display of multi-dimensional data via Asimov's "Grand Tour" method.
2002-08-01 v3
On the diagram of 132-avoiding permutations
Published • View Publication • BIB
The diagram of a 132-avoiding permutation can easily be characterized: it is simply the diagram of a partition. Based on this fact, we present a new bijection between 132-avoiding and 321-avoiding permutations. We will show that this bijection translates the correspondences between these permutations and Dyck paths given by Krattenthaler and by Billey-Jockusch-Stanley, respectively, to each other. Moreover, the diagram approach yields simple proofs for some enumerative results concerning forbidden patterns in 132-avoiding permutations.
2002-07-31
A Note on Optimal Unimodular Lattices
Published in J. Number Theory, 72 (1998), 357-362 • View Publication • BIB
The highest possible minimal norm of a unimodular lattice is determined in dimensions n <= 33. There are precisely five odd 32-dimensional lattices with the highest possible minimal norm (compared with more than 8*10^20 in dimension 33). Unimodular lattices with no roots exist if and only if n >= 23, n not = 25.
2002-07-31
The Shadow Theory of Modular and Unimodular Lattices
Published in J. Number Theory, 73 (1998), 359-389 • View Publication • BIB
It is shown that an n-dimensional unimodular lattice has minimal norm at most 2[n/24] +2, unless n = 23 when the bound must be increased by 1. This result was previously known only for even unimodular lattices. Quebbemann had extended the bound for even unimodular lattices to strongly N-modular even lattices for N in {1,2,3,5,6,7,11,14,15,23} ... (*), and analogous bounds are established here for odd lattices satisfying certain technical conditions (which are trivial for N = 1 and 2). For N > 1 in (*), lattices meeting the new bound are constructed that are analogous to the ``shorter'' and ``odd'' Leech lattices. These include an odd associate of the 16-dimensional Barnes-Wall lattice and shorter and odd associates of the Coxeter-Todd lattice. A uniform construction is given for the (even) analogues of the Leech lattice, inspired by the fact that (*) is also the set of square-free orders of elements of the Mathieu group M_{23}.
Multiple Description Vector Quantization with Lattice Codebooks: Design and Analysis
Published in IEEE Trans. Information Theory 47 (2001), 1718-1734 • View Publication • BIB
The problem of designing a multiple description vector quantizer with lattice codebook Lambda is considered. A general solution is given to a labeling problem which plays a crucial role in the design of such quantizers. Numerical performance results are obtained for quantizers based on the lattices A_2 and Z^i, i=1,2,4,8, that make use of this labeling algorithm. The high-rate squared-error distortions for this family of L-dimensional vector quantizers are then analyzed for a memoryless source with probability density function p and differential entropy h(p) < infty. For any a in (0,1) and rate pair (R,R), it is shown that the two-channel distortion d_0 and the channel 1 (or channel 2) distortions d_s satisfy lim_{R -> infty} d_0 2^(2R(1+a)) = (1/4) G(Lambda) 2^{2h(p)} and lim_{R -> infty} d_s 2^(2R(1-a)) = G(S_L) 2^2h(p), where G(Lambda) is the normalized second moment of a Voronoi cell of the lattice Lambda and G(S_L) is the normalized second moment of a sphere in L dimensions.
2002-07-30
On Kissing Numbers in Dimensions 32 to 128
Published in Electronic J. Combinatorics, 5 (1), item R22, 1998 • View Publication • BIB
An elementary construction using binary codes gives new record kissing numbers in dimensions from 32 to 128.
2002-07-29
Census of Planar Maps: From the One-Matrix Model Solution to a Combinatorial Proof
Published in Nucl.Phys. B645 (2002) 477-499 • View Publication • BIB
We consider the problem of enumeration of planar maps and revisit its one-matrix model solution in the light of recent combinatorial techniques involving conjugated trees. We adapt and generalize these techniques so as to give an alternative and purely combinatorial solution to the problem of counting arbitrary planar maps with prescribed vertex degrees.
2002-07-29 v2
Iterating random functions on a finite set
Let f_1,f_2,..., be functions chosen independently and uniformly from the set of all functions from a set of cardinality n into itself. Let g_t be the composition of the first t functions, and let T be the smallest t for which g_t is constant. We find the limiting distribution of T/n, as n --> infinity.
2002-07-26
The Sphere-Packing Problem
Published in Documenta Mathematika, Vol. III (1998), 387-396 • View Publication • BIB
A brief report on recent work on the sphere-packing problem.
2002-07-23
Avoiding 2-letter signed patterns
Let B_n be the hyperoctahedral group; that is, the set of all signed permutations on n letters, and let B_n(T) be the set of all signed permutations in B_n which avoids a set T of signed patterns. In this paper, we find all the cardinalities of the sets B_n(T) where $T \subseteq B_2$. This allow us to express these cardinalities via inverse of binomial coefficients, binomial coefficients, Catalan numbers, and Fibonacci numbers.
The Z_4-Linearity of Kerdock, Preparata, Goethals and Related Codes
Published in IEEE Trans. Inform. Theory, 40 (1994), 301-319 • View Publication • BIB
Certain notorious nonlinear binary codes contain more codewords than any known linear code. These include the codes constructed by Nordstrom-Robinson, Kerdock, Preparata, Goethals, and Delsarte-Goethals. It is shown here that all these codes can be very simply constructed as binary images under the Gray map of linear codes over Z_4, the integers mod 4 (although this requires a slight modification of the Preparata and Goethals codes). The construction implies that all these binary codes are distance invariant. Duality in the Z_4 domain implies that the binary images have dual weight distributions. The Kerdock and "Preparata" codes are duals over Z_4 -- and the Nordstrom-Robinson code is self-dual -- which explains why their weight distributions are dual to each other. The Kerdock and "Preparata" codes are Z_4-analogues of first-order Reed-Muller and extended Hamming codes, respectively. All these codes are extended cyclic codes over Z_4, which greatly simplifies encoding and decoding. An algebraic hard-decision decoding algorithm is given for the "Preparata" code and a Hadamard-transform soft-decision decoding algorithm for the Kerdock code. Binary first- and second-order Reed-Muller codes are also linear over Z_4, but extended Hamming codes of length n >= 32 and the Golay code are not. Using Z_4-linearity, a new family of distance regular graphs are constructed on the cosets of the "Preparata" code.
Interleaver Design for Turbo Codes
Published in IEEE J. Selected Areas Communication, 19 (2001), 831-837 • View Publication • BIB
The performance of a Turbo code with short block length depends critically on the interleaver design. There are two major criteria in the design of an interleaver: the distance spectrum of the code and the correlation between the information input data and the soft output of each decoder corresponding to its parity bits. This paper describes a new interleaver design for Turbo codes with short block length based on these two criteria. A deterministic interleaver suitable for Turbo codes is also described. Simulation results compare the new interleaver design to different existing interleavers.