Showing papers in "arXiv: Combinatorics in 2002"

The Z_4-Linearity of Kerdock, Preparata, Goethals and Related Codes

Abstract: 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.

Packing Lines, Planes, etc.: Packings in Grassmannian Space

Abstract: 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.

The strong perfect graph theorem

Abstract: A graph G is perfect if for every induced subgraph H, the chromatic number of H equals the size of the largest complete subgraph of H, and G is Berge if no induced subgraph of G is an odd cycle of length at least 5 or the complement of one. The "strong perfect graph conjecture" (Berge, 1961) asserts that a graph is perfect if and only if it is Berge. A stronger conjecture was made recently by Conforti, Cornuejols and Vuskovic -- that every Berge graph either falls into one of a few basic classes, or it has a kind of separation that cannot occur in a minimal imperfect graph. In this paper we prove both these conjectures.

Self-Dual Codes

Abstract: A survey of self-dual codes, written for the Handbook of Coding Theory. 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 chapter include codes over F2, F3, F4, Fq, Z4, Zm, shadow codes, weight enumerators, Gleason-Pierce theorem, invariant theory, Gleason theorems, bounds, mass formulae, enumeration, extremal codes, open problems. There is a comprehensive bibliography.

McLaren's Improved Snub Cube and Other New Spherical Designs in Three Dimensions

Abstract: 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.

On Single-Deletion-Correcting Codes

Abstract: 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.

Kerov’s Central Limit Theorem for the Plancherel Measure on Young Diagrams

Abstract: Consider random Young diagrams with fixed number n of boxes, distributed according to the Plancherel measure M n. That is, the weight M n(λ) of a diagram λ equals dim2 λ/n!, where dim λ denotes the dimension of the irreducible representation of the symmetric group indexed by λ. As n → ∞, the boundary of the (appropriately rescaled) random shape λ concentrates near a curve Ω (Logan-Shepp 1977, Vershik-Kerov 1977). In 1993, Kerov announced a remarkable theorem describing Gaussian fluctuations around the limit shape Ω. Here we propose a reconstruction of his proof. It is largely based on Kerov’s unpublished work notes, 1999

Short rational generating functions for lattice point problems

Abstract: We prove that for any fixed d the generating function of the projection of the set of integer points in a rational d-dimensional polytope can be computed in polynomial time. As a corollary, we deduce that various interesting sets of lattice points, notably integer semigroups and (minimal) Hilbert bases of rational cones, have short rational generating functions provided certain parameters (the dimension and the number of generators) are fixed. It follows then that many computational problems for such sets (for example, finding the number of positive integers not representable as a non-negative integer combination of given coprime positive integers a_1 ... a_d admit polynomial time algorithms. We also discuss a related problem of computing the Hilbert series of a ring generated by monomials.

Representation of matroids

Abstract: In this paper we give a necessary and sufficient criterion for representability of a matroid over an algebraic closed field. This leads to an algorithm, based on an extension of Groebner Bases, in order to decide if a given matroid is representable over such a field.

Lattice structure for orientations of graphs

Abstract: Earlier researchers have studied the set of orientations of a connected finite graph $G$, and have shown that any two such orientations having the same flow-difference around all closed loops can be obtained from one another by a succession of local moves of a simple type. Here I show that the set of orientations of $G$ having the same flow-differences around all closed loops can be given the structure of a distributive lattice. The construction generalizes partial orderings that arise in the study of alternating sign matrices. It also gives rise to lattices for the set of degree-constrained factors of a bipartite planar graph; as special cases, one obtains lattices that arise in the study of plane partitions and domino tilings. Lastly, the theory gives a lattice structure to the set of spanning trees of a planar graph.

Structure of The Malvenuto-Reutenauer Hopf Algebra of Permutations (Extended Abstract)

Abstract: We analyze the structure of the Malvenuto-Reutenauer Hopf algebra of permutations in detail. We give explicit formulas for its antipode, prove that it is a cofree coalgebra, determine its primitive elements and its coradical filtration and show that it decomposes as a crossed product over the Hopf algebra of quasi-symmetric functions. We also describe the structure constants of the multiplication as a certain number of facets of the permutahedron. Our results reveal a close relationship between the structure of this Hopf algebra and the weak order on the symmetric groups.

Max-Min Representation of Piecewise Linear Functions

Abstract: It is shown that a piecewise linear function on a convex domain in R d can be represented as a boolean polynomial in terms of its linear components.

Symmetric Functions and Random Partitions

Abstract: These axe notes from the lectures I gave at the NATO ASI “Symmetric Functions 2001” at the Isaac Newton Institute in Cambridge (June 25 — July 6, 2001). Their goal is an informal introduction to asymptotic combinatorics related to partitions

The Interlace Polynomial of a Graph

Abstract: Motivated by circle graphs, and the enumeration of Euler circuits, we define a one-variable ``interlace polynomial'' for any graph. The polynomial satisfies a beautiful and unexpected reduction relation, quite different from the cut and fuse reduction characterizing the Tutte polynomial. It emerges that the interlace graph polynomial may be viewed as a special case of the Martin polynomial of an isotropic system, which underlies its connections with the circuit partition polynomial and the Kauffman brackets of a link diagram. The graph polynomial, in addition to being perhaps more broadly accessible than the Martin polynomial for isotropic systems, also has a two-variable generalization that is unknown for the Martin polynomial. We consider extremal properties of the interlace polynomial, its values for various special graphs, and evaluations which relate to basic graph properties such as the component and independence numbers.

Residue formulae for vector partitions and Euler-MacLaurin sums

Abstract: Given a finite set of vectors spanning a lattice and lying in a halfspace of a real vector space, to each vector $a$ in this vector space one can associate a polytope consisting of nonnegative linear combinations of the vectors in the set which sum up to $a$. This polytope is called the partition polytope of $a$. If $a$ is integral, this polytope contains a finite set of lattice points corresponding to nonnegative integral linear combinations. The partition polytope associated to an integral $a$ is a rational convex polytope, and any rational convex polytope can be realized canonically as a partition polytope. We consider the problem of counting the number of lattice points in partition polytopes, or, more generally, computing sums of values of exponential-polynomial functions on the lattice points in such polytopes. We give explicit formulae for these quantities using a notion of multi-dimensional residue due to Jeffrey-Kirwan. We show, in particular, that the dependence of these quantities on $a$ is exponential-polynomial on "large neighborhoods" of chambers. Our method relies on a theorem of separation of variables for the generating function, or, more generally, for periodic meromorphic functions with poles on an arrangement of affine hyperplanes.

Counting Walks in the Quarter Plane

Abstract: We study planar walks that start from a given point (i0j0), take their steps in a finite set \(\mathfrak{S}\), and are confined in the first quadrant x ≥ 0, y ≥ 0. Their enumeration can be attacked in a systematic way: the generating function Q(x, y; t) that counts them by their length (variable t) and the coordinates of their endpoint (variables x, y) satisfies a linear functional equation encoding the step-by-step description of walks. For instance, for the square lattice walks starting from the origin this equation reads $$\left( {xy - t(x + y + {x^2}y + x{y^2})} \right) {\text{Q(x,y;t)}} {\text{ = }} {\text{xy - xtQ(x,0;t) - ytQ(0,y;t)}}{\text{.}}$$

Loops, matchings and alternating-sign matrices

Abstract: The appearance of numbers enumerating alternating sign matrices in stationary states of certain stochastic processes is reviewed. New conjectures concerning nest distribution functions are presented as well as a bijection between certain classes of alternating sign matrices and lozenge tilings of hexagons with cut off corners.

The Shadow Theory of Modular and Unimodular Lattices

Abstract: 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}.

The degree distribution in bipartite planar maps: applications to the Ising model

Abstract: We characterize the generating function of bipartite planar maps counted according to the degree distribution of their black and white vertices. This result is applied to the solution of the hard particle and Ising models on random planar lattices. We thus recover and extend some results previously obtained by means of matrix integrals. Proofs are purely combinatorial and rely on the idea that planar maps are conjugacy classes of trees. In particular, these trees explain why the solutions of the Ising and hard particle models on maps of bounded degree are always algebraic.

A Group-Theoretic Framework for the Construction of Packings in Grassmannian Spaces

Abstract: 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.

Arithmetic Progressions of Cycle Lengths in Graphs

Abstract: A recently posed question of Haggkvist and Scott's asked whether or not there exists a constant c such that if G is a graph of minimum degree ck then G contains cycles of k consecutive even lengths. In this paper we answer the question by proving that for k > 1, a bipartite graph of average degree at least 4k and girth g contains cycles of (g/2-1)k consecutive even lengths. We also obtain a short proof of the theorem of Bondy and Simonovits, that a graph of order n and size at least 8(k-1)n^{1 + 1/k} has a cycle of length 2k.

The Complexity of Three-Way Statistical Tables

Abstract: 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.

Walks confined in a quadrant are not always D-finite

Abstract: We consider planar lattice walks that start from a prescribed position, take their steps in a given finite subset of Z^2, and always stay in the quadrant x >= 0, y >= 0. We first give a criterion which guarantees that the length generating function of these walks is D-finite, that is, satisfies a linear differential equation with polynomial coefficients. This criterion applies, among others, to the ordinary square lattice walks. Then, we prove that walks that start from (1,1), take their steps in {(2,-1), (-1,2)} and stay in the first quadrant have a non-D-finite generating function. Our proof relies on a functional equation satisfied by this generating function, and on elementary complex analysis.

Some remarks on sign-balanced and maj-balanced posets

Abstract: Let P be a poset with elements 1,2,...,n. We say that P is sign-balanced if exactly half the linear extensions of P (regarded as permutations of 1,2,...,n) are even permutations, i.e., have an even number of inversions. This concept first arose in the work of Frank Ruskey, who was interested in the efficient generation of all linear extensions of P. We survey a number of techniques for showing that posets are sign-balanced, and more generally, computing their "imbalance." There are close connections with domino tilings and, for certain posets, a "domino generalization" of Schur functions due to Carre and Leclerc. We also say that P is maj-balanced if exactly half the linear extensions of P have even major index. We discuss some similarities and some differences between sign-balanced and maj-balanced posets.

Symmetric Functions in Noncommuting Variables

Abstract: Consider the algebra Q > of formal power series in countably many noncommuting variables over the rationals. The subalgebra Pi(x_1,x_2,...) of symmetric functions in noncommuting variables consists of all elements invariant under permutation of the variables and of bounded degree. We develop a theory of such functions analogous to the ordinary theory of symmetric functions. In particular, we define analogs of the monomial, power sum, elementary, complete homogeneous, and Schur symmetric functions as will as investigating their properties.

Zeros of Chromatic and Flow Polynomials of Graphs

Abstract: We survey results and conjectures concerning the zero distribution of chromatic and flow polynomials of graphs, and characteristic polynomials of matroids.

A two-variable interlace polynomial

Abstract: We introduce a new graph polynomial in two variables. This ``interlace'' polynomial can be computed in two very different ways. The first is an expansion analogous to the state space expansion of the Tutte polynomial; the significant differences are that our expansion is over vertex rather than edge subsets, and the rank and nullity employed are those of an adjacency matrix rather than an incidence matrix. The second computation is by a three-term reduction formula involving a graph pivot; the pivot arose previously in the study of interlacement and Euler circuits in four-regular graphs. We consider a few properties and specializations of the two-variable interlace polynomial. One specialization, the ``vertex-nullity interlace polynomial'', is the single-variable interlace graph polynomial we studied previously, closely related to the Tutte-Martin polynomial on isotropic systems previously considered by Bouchet. Another, the ``vertex-rank interlace polynomial'', is equally interesting. Yet another specialization of the two-variable polynomial is the independent-set polynomial.

Intersecting Families of Separated Sets

Abstract: We prove a conjecture due to Holroyd and Johnson that an analogue of the Erdos-Ko-Rado theorem holds for k-separated sets. In particular this determines the independence number of the vertex-critical subgraph of the Kneser graph identified by Schrijver, the collection of separated sets.

On the Existence of Similar Sublattices

Abstract: 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?

On a hypergraph Turan problem of Frankl

Abstract: Let $C^{2k}_r$ be the $2k$-uniform hypergraph obtained by letting $P_1,...,P_r$ be pairwise disjoint sets of size $k$ and taking as edges all sets $P_i \cup P_j$ with $i eq j$. This can be thought of as the `$k$-expansion' of the complete graph $K_r$: each vertex has been replaced with a set of size $k$. We determine the exact Turan number of $C^{2k}_3$ and the corresponding extremal hypergraph, thus confirming a conjecture of Frankl. Sidorenko has given an upper bound of $(r-2) / (r-1)$ for the Tur\'an density of $C^{2k}_r$ for any $r$, and a construction establishing a matching lower bound when $r$ is of the form $2^p + 1$. We show that when $r = 2^p + 1$, any $C^4_r$-free hypergraph of density $(r-2)/(r-1) - o(1)$ looks approximately like Sidorenko's construction. On the other hand, when $r$ is not of this form, we show that corresponding constructions do not exist and improve the upper bound on the Tur\'an density of $C^4_r$ to $(r-2)/(r-1) - c(r)$, where $c(r)$ is a constant depending only on $r$. The backbone of our arguments is a strategy of first proving approximate structure theorems, and then showing that any imperfections in the structure must lead to a suboptimal configuration. The tools for its realisation draw on extremal graph theory, linear algebra, the Kruskal-Katona theorem and properties of Krawtchouck polynomials.