Showing papers in "arXiv: Combinatorics in 1995"

A new series of dense graphs of high girth

Abstract: Let $k\ge 1$ be an odd integer, $t=\lfloor {{k+2}\over 4}\rfloor$, and $q$ be a prime power. We construct a bipartite, $q$-regular, edge-transitive graph $C\!D(k,q)$ of order $v \le 2q^{k-t+1}$ and girth $g \ge k+5$. If $e$ is the the number of edges of $C\!D(k,q)$, then $e =\Omega(v^{1+ {1\over {k-t+1}}})$. These graphs provide the best known asymptotic lower bound for the greatest number of edges in graphs of order $v$ and girth at least $g$, $ g\ge 5$, $g ot= 11,12$. For $g\ge 24$, this represents a slight improvement on bounds established by Margulis and Lubotzky, Phillips, Sarnak; for $5\le g\le 23$, $g ot= 11,12$, it improves on or ties existing bounds.

Algebraic constructions of efficient broadcast networks

Abstract: Cayley graph techniques are introduced for the problem of constructing networks having the maximum possible number of nodes, among networks that satisfy prescribed bounds on the parameters maximum node degree and broadcast diameter. The broadcast diameter of a network is the maximum time required for a message originating at a node of the network to be relayed to all other nodes, under the restriction that in a single time step any node can communicate with only one neighboring node. For many parameter values these algebraic methods yield the largest known constructions, improving on previous graph-theoretic approaches. It has previously been shown that hypercubes are optimal for degree $k$ and broadcast diameter $k$. A construction employing dihedral groups is shown to be optimal for degree $k$ and broadcast diameter $k+1$.

Scenic trails ascending from sea-level Nim to alpine chess

Abstract: Aim: Present a systematic development of part of the theory of combinatorial games from the ground up. Approach: Computational complexity. Combinatorial games are completely determined; the questions of interest are efficiencies of strategies. Methodology: Divide and conquer. Ascend from Nim to chess in small strides at a gradient that's not too steep. Presentation: Informal; examples of games sampled from various strategic viewing points along scenic mountain trails, which illustrate the theory.

Asymptotically optimal covering designs

Abstract: A (v,k,t) covering design, or covering, is a family of k-subsets, called blocks, chosen from a v-set, such that each t-subset is contained in at least one of the blocks. The number of blocks is the covering's size}, and the minimum size of such a covering is denoted by C(v,k,t). It is easy to see that a covering must contain at least (v choose t)/(k choose t) blocks, and in 1985 Rodl [European J. Combin. 5 (1985), 69-78] proved a long-standing conjecture of Erdős and Hanani [Publ. Math. Debrecen 10 (1963), 10-13] that for fixed k and t, coverings of size (v choose t)/(k choose t) (1+o(1)) exist (as v \to \infty). An earlier paper by the first three authors [J. Combin. Des. 3 (1995), 269-284] gave new methods for constructing good coverings, and gave tables of upper bounds on C(v,k,t) for small v, k, and t. The present paper shows that two of those constructions are asymptotically optimal: For fixed k and t, the size of the coverings constructed matches Rodl's bound. The paper also makes the o(1) error bound explicit, and gives some evidence for a much stronger bound.

An analysis of Bennett's pebble game

Abstract: Bennett's pebble game was introduced to obtain better time/space tradeoffs in the simulation of standard Turing machines by reversible ones. So far only upper bounds for the tradeoff based on the pebble game have been published. Here we give a recursion for the time optimal solution of the pebble game given a space bound. We analyze the recursion to obtain an explicit asymptotic expression for the best time-space product.

Group testing problems in experimental molecular biology

Abstract: In group testing, the task is to determine the distinguished members of a set of objects L by asking subset queries of the form ``does the subset Q of L contain a distinguished object?'' The primary biological application of group testing is for screening libraries of clones with hybridization probes. This is a crucial step in constructing physical maps and for finding genes. Group testing has also been considered for sequencing by hybridization. Another important application includes screening libraries of reagents for useful chemically active zones. This preliminary report discusses some of the constrained group testing problems which arise in biology.

Sequences of symmetric functions of binomial type

Abstract: We take advantage of the combinatorial interpretations of many sequences of polynomials of binomial type to define a sequence of symmetric functions corresponding to each sequence of polynomials of binomial type. We derive many of the results of Umbral Calculus in this context including a Taylor's expansion and a binomial identity for symmetric functions. Surprisingly, the delta operators for all the sequences of binomial type correspond to the same operator on symmetric functions. On s'appuie ici sur les interpretations combinatoires de nombreuses suites de polynomes de type binomial pour definir une suite de fonctions symetriques associee a chque suite de polynomes de type binomial. On retrouve dans ce cadre, de nombreaux resultats du calcul ombral, en particulier une version de la formule de Taylor et la formule d'identite du binome pour les fonctions symetriques. On s'aper\oit que les operateurs differentiels de degre un pour toutes les suite de polynomes de type a binomial correspondent a un operateur unique sur les fonction symetriques.

Error-correcting codes derived from combinatorial games

Abstract: The ``losing positions" of certain combinatorial games constitute linear error detecting and correcting codes. We show that a large class of games that can be cast in the form of *annihilation games*, provides a potentially polynomial method for computing codes (*anncodes*). We also give a short proof of the basic properties of the previously known *lexicodes*, which are defined by means of an exponential algorithm, and are related to game theory. The set of lexicodes is seen to constitute a subset of the set of anncodes. In the final section we indicate, by means of an example, how the method of producing lexicodes can be applied optimally to find anncodes. Some extensions are indicated.

Symmetric function generalizations of graph polynomials

Abstract: In Chapter 2 we study the path-cycle symmetric function of a digraph, a symmetric function generalization of Chung and Graham's cover polynomial Most of this material appears in either Advances in Math 118 (1996), 71-98 or J Algebraic Combin 10 (1999), 227-240 Chapter 3 contains miscellaneous results about Stanley's symmetric function generalization X_G of the chromatic polynomial, eg, we establish a connection with some of Tutte's work on the chromatic polynomial and use this to prove that X_G is reconstructible Most of Chapter 3 does not appear elsewhere

Self Avoiding Walks, the Language of Science, and Fibonacci Numbers

Abstract: The Bordelaise philosophy, or rather a juvenile version of it, is used to enumerate self avoiding walks in a $[0,1] \times (- \infty, \infty)$.

The iterated logarithmic algebra

Abstract: We generalize the Umbral Calculus of G-C. Rota by studying not only sequences of polynomials and inverse power series, or even the logarithms studied in, but instead we study sequences of formal expressions involving the iterated logarithms and x to an arbitrary real power. Using a theory of formal power series with real exponents, and a more general definition of factorial, binomial coefficient, and Stirling numbers to all the real numbers, we define the Iterated Logarithmic Algebra I. Its elements are the formal representations of the asymptotic expansions of a large class of real functions, and we define the harmonic logarithm basis of I which will be interpreted as a generalization of the powers x^n since it behaves nicely with respect to the derivative We classify all operators over I which commute with the derivative (classically these are known as shift-invariant operators), and formulate several equivalent definitions of a sequence of binomial type. We then derive many formulas useful towards the calculation of these sequences including the Recurrence Formula, the Transfer Formula, and the Lagrange Inversion Formula. Finally, we study Sheffer sequences, and give many examples.

Four symmetry classes of plane partitions under one roof

Abstract: In previous paper, the author applied the permanent-determinant method of Kasteleyn and its non-bipartite generalization, the Hafnian-Pfaffian method, to obtain a determinant or a Pfaffian that enumerates each of the ten symmetry classes of plane partitions. After a cosmetic generalization of the Kasteleyn method, we identify the matrices in the four determinantal cases (plain plane partitions, cyclically symmetric plane partitions, transpose-complement plane partitions, and the intersection of the last two types) in the representation theory of sl(2,C). The result is a unified proof of the four enumerations.

VLSI layouts and DNA physical mappings

Abstract: We show that an important problem ($k$-ICG) in computational biology is equivalent to a colored version of a well-known graph layout problem ($k$-CVS).

The iterated logarithmic algebra II: Sheffer sequences

Abstract: An extension of the theory of the Iterated Logarithmic Algebra gives the logarithmic analog of a Sheffer or Appell sequence of polynomials. This leads to several examples including Stirling's formula and a logarithmic version of the Euler-MacLaurin summation formula. Grâce a une generalisation de la theorie de l'algebre des logarithmes iteres, on definit un analogue logarithmique des suites de polynomes de Sheffer et d'Appell. Quelques exemples d'applications permettent de deduire la formule de Stirling ainsi qu'un version logarithmique de la formule de sommation de Euler--MacLaurin.

A generalization of Stirling numbers

Abstract: We generalize the Stirling numbers of the first kind $s(a,k)$ to the case where $a$ may be an arbitrary real number In particular, we study the case in which $a$ is an integer There, we discover new combinatorial properties held by the classical Stirling numbers, and analogous properties held by the Stirling numbers $s(n,k)$ with $n$ a negative integer On generalise ici les nombres de Stirling du premier ordre $s(a,k)$ au cas ou $a$ est un reel quelconque On s'interesse en particulier au cas ou $a$ est entier Ceci permet de mettre en evidence de nouvelles proprietes combinatoires aux quelles obeissent les nombres de Stirling usuels et des proprietes analougues auquelles obeissent les nombres de Stirling $s(n,k)$ ou $n$ est un entier negatif

Obstructions to within a few vertices or edges of acyclic

Abstract: Finite obstruction sets for lower ideals in the minor order are guaranteed to exist by the Graph Minor Theorem. It has been known for several years that, in principle, obstruction sets can be mechanically computed for most natural lower ideals. In this paper, we describe a general-purpose method for finding obstructions by using a bounded treewidth (or pathwidth) search. We illustrate this approach by characterizing certain families of cycle-cover graphs based on the two well-known problems: $k$-{\sc Feedback Vertex Set} and $k$-{\sc Feedback Edge Set}. Our search is based on a number of algorithmic strategies by which large constants can be mitigated, including a randomized strategy for obtaining proofs of minimality.

A new proof of Monjardet's median theorem

Abstract: New proofs are given for Monjardet's theorem that all strong simple games (i.e., ipsodual elements of the free distributive lattice) can be generated by the median operation. Tighter limits are placed on the number of iterations necessary. Comparison is drawn with the $\chi$ function which also generates all strong simple games.

Getting results with negative thinking

Abstract: Given a universe of discourse U, a multiset can be thought of as a function M from U to the natural numbers N. In this paper, we define a hybrid set to be any function from the universe U to the integers Z. These sets are called hybrid since they contain elements with either a positive or negative multiplicity. Our goal is to use these hybrid sets as if they were multisets in order to adequately generalize certain combinatorial facts which are true classically only for nonnegative integers. However, the definition above does not tell us much about these hybrid sets; we must define operations on them which provide us with the needed combinatorial structure. In section 1, we will define an analog of a set which can contain either a positive or negative number of elements. We will allow sums to be calculated over an arbitrary hybrid set and in particular over “improper” intervals. This will lead us in section 2 to the calculation of the complementary symmetric functions compn(H) whose argument is a hybrid set of variables which is at the same time a generalization of elementary and complete symmetric functions. In particular, as we will see in section 2.2, the complementary symmetric function generalizes the following two classic results concerning sequences of polynomials with persistant roots, that is to say, having the form pn(x) = (x a1)(x a2)···(x an).

A finite partition theorem with double exponential bounds

Abstract: We prove that double exponentiation is an upper bound to Ramsey theorem for colouring of pairs when we want to predetermine the order of the differences of successive members of the homogeneous set.

A generalization of the binomial coefficients

Abstract: We pose the question of what is the best generalization of the factorial and the binomial coefficient. We give several examples, derive their combinatorial properties, and demonstrate their interrelationships. On cherche ici a determiner est la meilleure generalisation possible des factorielles et des coefficients du binoome. On s'interesse a plusieurs exemples, a leurs proprietes combinatoires, et aux differentes relations qu'ils mettent en jeu.

New constructions for covering designs

Abstract: A $(v,k,t)$ {\em covering design}, or {\em covering}, is a family of $k$-subsets, called blocks, chosen from a $v$-set, such that each $t$-subset is contained in at least one of the blocks. The number of blocks is the covering's {\em size}, and the minimum size of such a covering is denoted by $C(v,k,t)$. This paper gives three new methods for constructing good coverings: a greedy algorithm similar to Conway and Sloane's algorithm for lexicographic codes~\cite{lex}, and two methods that synthesize new coverings from preexisting ones. Using these new methods, together with results in the literature, we build tables of upper bounds on $C(v,k,t)$ for $v \leq 32$, $k \leq 16$, and $t \leq 8$.%

Recent contributions to the calculus of finite differences: a survey

Abstract: We retrace the recent history of the Umbral Calculus. After studying the classic results concerning polynomial sequences of binomial type, we generalize to a certain type of logarithmic series. Finally, we demonstrate numerous typical examples of our theory. Nous passons en revue ici les resultats recents du calcul ombral. Nous nous interessons tout d'abord aux resultats classique appliques aux suites de polynomes de type binomial, pius elargions le champ d'etude aux series logarithmiques. Enfin nous donnons de nombreaux exemples types d'application de cette theorie.

Reverend Charles to the aid of Major Percy and Fields-Medalist Enrico

Abstract: Dodgson's determinant condensation rule is shown to immediately imply the evaluation of MacMahon's determinant expression that leads to the Box Theorem.

Series with general exponents

Abstract: We define the Artinian and Noetherian algebra which consist of formal series involving exponents which are not necessarily integers. All of the usual operations are defined here and characterized. As an application, we compute the algebra of symmetric functions with nonnegative real exponents. The applications to logarithmic series and the Umbral calculus are deferred to another paper. On definit ici les algebres Artinienne et Noetherienne comme etant des algebres constituees des series formelles a exposants pas necessairement entiers. On definit sur ces algebres toutes les operations classiques et on les caracterise. Comme exemple d'exploitation de cette theorie, on s'interesse a algebre de fonctions symetriques à exponsants reels en nonnegatifs. Une autre publication est consacree aux applications aux series logarithmiques et au calcul ombral.

Proof of a conjecture of Narayana on dominance refinements of the Smirnov two-sample test

Abstract: We prove the following conjecture of Narayana: there are no dominance refinements of the Smirnov two-sample test if and only if the two sample sizes are relatively prime.

Symmetric chain decompositions of B_n and Pi_n

Abstract: We review the Green/Kleitman/Leeb interpretation of de Bruijn's symmetric chain decomposition of ${\cal B}_{n}$, and explain how it can be used to find a maximal collection of disjoint symmetric chains in the nonsymmetric lattice of partitions of a set.

Maple Umbral Calculus Package

Abstract: Rota’s Umbral Calculus uses sequences of Sheffer polynomials to count certain combinatorial objects. We have developed a Maple package that implements Rota’s Umbral Calculus and some of its generalizations. A Mathematica version of this package is being developed in parallel.

An Explicit Formula for the Number of Solutions of X^2=0 in Triangular Matrices over a Finite Field

Abstract: We prove an explicit formula for the number of $n \times n$ upper triangular matrices, over $GF(q)$, whose square is the zero matrix. This formula was recently conjectured by Sasha Kirillov and Anna Melnikov[KM].

The Knowlton-Graham partition problem

Abstract: A set partition technique that is useful for identifying wires in cables can be recast in the language of 0--1 matrices, thereby resolving an open problem stated by R.~L. Graham in Volume 1 of this journal. The proof involves a construction of 0--1 matrices having row and column sums without gaps.

Partitioned tensor products and their spectra

Abstract: A pleasant family of graphs defined by Godsil and McKay is shown to have easily computed eigenvalues in many cases.