Showing 20 papers (Total: 81378 papers, 47165 authors in database)
On Kissing Numbers in Dimensions 32 to 128
Published in Electronic J. Combinatorics, 5 (1), item R22, 1998
• Search Publication
An elementary construction using binary codes gives new record kissing numbers in dimensions from 32 to 128.
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.
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.
The Sphere-Packing Problem
Published in Documenta Mathematika, Vol. III (1998), 387-396
• Search Publication
A brief report on recent work on the sphere-packing problem.
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
• Search Publication
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.
McLaren's Improved Snub Cube and Other New Spherical Designs in Three Dimensions
Published in Discrete Computational Geometry, 15 (1996), 429-441
• View Publication
• BIB
Evidence is presented to suggest that, in three dimensions, spherical 6-designs with N points exist for N=24, 26, >= 28; 7-designs for N=24, 30, 32, 34, >= 36; 8-designs for N=36, 40, 42, >= 44; 9-designs for N=48, 50, 52, >= 54; 10-designs for N=60, 62, >= 64; 11-designs for N=70, 72, >= 74; and 12-designs for N=84, >= 86. The existence of some of these designs is established analytically, while others are given by very accurate numerical coordinates. The 24-point 7-design was first found by McLaren in 1963, and -- although not identified as such by McLaren -- consists of the vertices of an "improved" snub cube, obtained from Archimedes' regular snub cube (which is only a 3-design) by slightly shrinking each square face and expanding each triangular face. 5-designs with 23 and 25 points are presented which, taken together with earlier work of Reznick, show that 5-designs exist for N=12, 16, 18, 20, >= 22. It is conjectured, albeit with decreasing confidence for t >= 9, that these lists of t-designs are complete and that no others exist. One of the constructions gives a sequence of putative spherical t-designs with N= 12m points (m >= 2) where N = t^2/2 (1+o(1)) as t -> infinity.
A Simple Construction for the Barnes-Wall Lattices
Published in Codes, Graphs, and Systems: A Celebraton of the Life and Career of G. David Forney Jr., ed. R. E. Blahut and R. Koetter, Kluwer, 2002, pp. 333-342
• View Publication
• BIB
A certain family of orthogonal groups (called "Clifford groups" by G. E. Wall) has arisen in a variety of different contexts in recent years. These groups have a simple definition as the automorphism groups of certain generalized Barnes-Wall lattices. This leads to an especially simple construction for the usual Barnes-Wall lattices. This is based on the third author's talk at the Forney-Fest, M.I.T., March 2000, which in turn is based on our paper "The Invariants of the Clifford Groups", Designs, Codes, Crypt., 24 (2001), 99--121, to which the reader is referred for further details and proofs.
321-polygon-avoiding permutations and Chebyshev polynomials
Published
• View Publication
• BIB
A 321-k-gon-avoiding permutation pi avoids 321 and the following four patterns: k(k+2)(k+3)...(2k-1)1(2k)23...(k+1), k(k+2)(k+3)...(2k-1)(2k)123...(k+1), (k+1)(k+2)(k+3)...(2k-1)1(2k)23...k, (k+1)(k+2)(k+3)...(2k-1)(2k)123...k. The 321-4-gon-avoiding permutations were introduced and studied by Billey and Warrington [BW] as a class of elements of the symmetric group whose Kazhdan-Lusztig, Poincare polynomials, and the singular loci of whose Schubert varieties have fairly simple formulas and descriptions. Stankova and West [SW] gave an exact enumeration in terms of linear recurrences with constant coefficients for the cases k=2,3,4. In this paper, we extend these results by finding an explicit expression for the generating function for the number of 321-k-gon-avoiding permutations on n letters. The generating function is expressed via Chebyshev polynomials of the second kind.
On Single-Deletion-Correcting Codes
Published in Codes and Designs, Ohio State University, May 2000 (Ray-Chaudhuri Festschrift), K. T. Arasu and A. Seress (editors), Walter de Gruyter, Berlin, 2002, pp. 273-291
• View Publication
• BIB
This paper gives a brief survey of binary single-deletion-correcting codes. The Varshamov-Tenengolts codes appear to be optimal, but many interesting unsolved problems remain. The connections with shift-register sequences also remain somewhat mysterious.
The Complexity of Three-Way Statistical Tables
Published in SIAM Journal on Computing, 33:819--836, 2004
• View Publication
• BIB
Multi-way tables with specified marginals arise in a variety of applications in statistics and operations research. We provide a comprehensive complexity classification of three fundamental computational problems on tables: existence, counting and entry-security.
One major outcome of our work is that each of the following problems is intractable already for "slim" 3-tables, with constant and smallest possible number 3 of rows: (1) deciding existence of 3-tables with given consistent 2-marginals; (2) counting all 3-tables with given 2-marginals; (3) finding whether an integer value is attained in entry (i,j,k) by at least one of the 3-tables satisfying given (feasible) 2-marginals. This implies that a characterization of feasible marginals for such slim tables, sought by much recent research, is unlikely to exist.
Another important consequence of our study is a systematic efficient way of embedding the set of 3-tables satisfying any given 1-marginals and entry upper bounds in a set of slim 3-tables satisfying suitable 2-marginals with no entry bounds. This provides a valuable tool for studying multi-index transportation problems and multi-index transportation polytopes.
The Antipode Construction for Sphere Packings
Published in Inventiones math., 123 (1996), 309-313
• View Publication
• BIB
A construction for sphere packings is introduced that is parallel to the ``anticode'' construction for codes. This provides a simple way to view Vardy's recent 20-dimensional sphere packing, and also produces packings in dimensions 22, 44--47 that are denser than any previously known.
Asymmetric Multiple Description Lattice Vector Quantizers
Published in IEEE Transactions Information Theory, 48 (2002), 174-191
• View Publication
• BIB
We consider the design of asymmetric multiple description lattice quantizers that cover the entire spectrum of the distortion profile, ranging from symmetric or balanced to successively refinable. We present a solution to a labeling problem, which is an important part of the construction, along with a general design procedure. This procedure is illustrated using the Z^2 lattice. The asymptotic performance of the quantizer is analyzed in the high-rate case. We also evaluate its rate-distortion performance and compare it to known information theoretic bounds.
David Gale's subset take-away game
Published in American Mathematical Monthly 104 (1997), 762-766
• Search Publication
Subset take-away is a two-player game involving a fixed finite set A. Players alternate choosing a proper, non-empty subset of A, with the condition that one may not name a set containing a set that was named earlier. A player unable to move loses. It was conjectured by David Gale that this game is always a second player win, and this was known to hold if A has no more than 5 elements. In this paper, we describe a technique called "binary star reduction" that often allows one to dramatically reduce the complexity of a position. Using this tool and some computer search we show that Gale's conjecture holds when A has six elements. We also show how this game can be interpreted geometrically.
My Favorite Integer Sequences
Published in Sequences and their Applications (Proceedings of SETA '98), C. Ding, T. Helleseth and H. Niederreiter (editors), Springer-Verlag, London, 1999, pp. 103-130
• Search Publication
This paper gives a brief description of the author's database of integer sequences, now over 35 years old, together with a selection of a few of the most interesting sequences in the table. Many unsolved problems are mentioned.
On Cayley's Enumeration of Alkanes (or 4-Valent Trees)
Published in J. Integer Sequences, 2 (1999), #99.1.1
• Search Publication
Cayley's 1875 enumerations of centered and bicentered alkanes (unlabeled trees of valency at most 4) are corrected and extended -- possibly for the first time in 124 years.
On the Existence of Similar Sublattices
Published in Canadian J. Math., 51 (1999), 1300-1306
• Search Publication
Partial answers are given to two questions. When does a lattice Lambda contain a sublattice Lambda' of index N that is geometrically similar to Lambda? When is the sublattice "clean", in the sense that the boundary of the Voronoi cells for Lambda ' do not intersect Lambda?
A Zador-Like Formula for Quantizers Based on Periodic Tilings
Published in IEEE Trans. Information Theory 48 (2002), 3138-3140
• View Publication
• BIB
We consider Zador's asymptotic formula for the distortion-rate function for a variable-rate vector quantizer in the high-rate case. This formula involves the differential entropy of the source, the rate of the quantizer in bits per sample, and a coefficient G which depends on the geometry of the quantizer but is independent of the source. We give an explicit formula for G in the case when the quantizing regions form a periodic tiling of n-dimensional space, in terms of the volumes and second moments of the Voronoi cells. As an application we show, extending earlier work of Kashyap and Neuhoff, that even a variable-rate three-dimensional quantizer based on the ``A15'' structure is still inferior to a quantizer based on the body-centered cubic lattice. We also determine the smallest covering radius of such a structure.
Quantizing Using Lattice Intersections
Published in Discrete and Computational Geometry 25 (2003), 799-824
• View Publication
• BIB
The usual quantizer based on an n-dimensional lattice L maps a point x in R^n to a closest lattice point. Suppose L is the intersection of lattices L_1, ..., L_r. Then one may instead combine the information obtained by simultaneously quantizing x with respect to each of the L_i. This corresponds to decomposing R^n into a honeycomb of cells which are the intersections of the Voronoi cells for the L_i, and identifying the cell to which x belongs. This paper shows how to write several standard lattices (the face-centered and body-centered cubic lattices, the root lattices D_4, E_6*, E_8, the Coxeter-Todd, Barnes-Wall and Leech lattices, etc.) in a canonical way as intersections of a small number of simpler, decomposable, lattices. The cells of the honeycombs are given explicitly and the mean squared quantizing error calculated in the cases when the intersection lattice is the face-centered or body-centered cubic lattice or the lattice D_4.