Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Hamilton Circuits in Graphs and Directed Graphs
We give polynomial-time algorithms for obtaining hamilton circuits in random graphs, G, and random directed graphs, D. If n is finite, we assume that G or D contains a hamilton circuit. If G is an arbitrary graph containing a hamilton circuit, we conjecture that Algorithm G always obtains a hamilton circuit in polynomial time.
On irreducibility of tensor products of Yangian modules associated with skew Young diagrams
Published in Duke Math. J. 112 (2002), 343-378
• View Publication
• BIB
We study the tensor product $W$ of any number of "elementary" irreducible modules $V_1,...,V_k$ over the Yangian of the general linear Lie algebra. Each of these modules is determined by a skew Young diagram and a complex parameter. For any indices $i,j=1,...,k$ there is a canonical non-zero intertwining operator $A_{ij}$ between the tensor products $V_i\otimes V_j$ and $V_j\otimes V_i$. This operator is defined up to a scalar multipler. We show that the tensor product $W$ is irreducible, if and only if all operators $A_{ij}$ with $i<j$ are invertible. This implies that the Yangian module $W$ is irreducible, if and only if all pairwise tensor products $V_i\otimes V_j$ with $i<j$ are irreducible. We also introduce the notion of a Durfee rank of a skew Young diagram. For an ordinary Young diagram, this is the length of its main diagonal.
A generalised inductive approach to the lace expansion
Published
• View Publication
• BIB
The lace expansion is a powerful tool for analysing the critical behaviour of self-avoiding walks and percolation. It gives rise to a recursion relation which we abstract and study using an adaptation of the inductive method introduced by den Hollander and the authors. We give conditions under which the solution to the recursion relation behaves as a Gaussian, both in Fourier space and in terms of a local central limit theorem. These conditions are shown elsewhere to hold for sufficiently spread-out models of networks of self-avoiding walks in dimensions $d>4$, and for critical oriented percolation in dimensions $d+1>5$, providing a unified approach and an essential ingredient for a detailed analysis of the branching behaviour of these models.
Permutations Restricted by Two Distinct Patterns of Length Three
Published
• View Publication
• BIB
Define $S_n(R;T)$ to be the number of permutations on $n$ letters which avoid all patterns in the set $R$ and contain each pattern in the multiset $T$ exactly once. In this paper we enumerate $S_n(\{α\};\{β\})$ and $S_n(\emptyset;\{α,β\})$ for all $α\neq β\in S_3$. The results for $S_n(\{α\};\{β\})$ follow from two papers by Mansour and Vainshtein.
On the chromatic roots of generalized theta graphs
Published in J. Combin. Theory B 83, 272-297 (2001)
• View Publication
• BIB
The generalized theta graph Θ_{s_1,...,s_k} consists of a pair of endvertices joined by k internally disjoint paths of lengths s_1,...,s_k \ge 1. We prove that the roots of the chromatic polynomial $pi(Θ_{s_1,...,s_k},z) of a k-ary generalized theta graph all lie in the disc |z-1| \le [1 + o(1)] k/\log k, uniformly in the path lengths s_i. Moreover, we prove that Θ_{2,...,2} \simeq K_{2,k} indeed has a chromatic root of modulus [1 + o(1)] k/\log k. Finally, for k \le 8 we prove that the generalized theta graph with a chromatic root that maximizes |z-1| is the one with all path lengths equal to 2; we conjecture that this holds for all k.
Logarithmic forms and anti-invariant forms of reflection groups
Published in Advanced Studies in Pure Math., 27, Arrangements, Tokyo 1998, (ed. M. Falk, H. Terao) 2000, Kinokuniya and North-Holland, Tokyo-Amsterdam
• View Publication
• BIB
Let W be a finite group generated by unitary reflections and A be the set of reflecting hyperplanes. We will give a characterization of the logarithmic differential forms with poles along A in terms of anti-invariant differential forms. If W is a Coxeter group defined over the real numbers, then the characterization provides a new method to find a basis for the module of logarithmic differential forms out of basic invariants.
Multiderivations of Coxeter arrangements
Published in Inventiones math., 148, 659-674 (2002)
• View Publication
• BIB
Let $V$ be an $\ell$-dimensional Euclidean space. Let $G \subset O(V)$ be a finite irreducible orthogonal reflection group. Let ${\cal A}$ be the corresponding Coxeter arrangement. Let $S$ be the algebra of polynomial functions on $V.$ For $H \in {\cal A}$ choose $α_H \in V^*$ such that $H = {\rm ker}(α_H).$ For each nonnegative integer $m$, define the derivation module $\sD^{(m)}({\cal A}) = \{θ\in {\rm Der}_S | θ(α_H) \in S α^m_H\}$. The module is known to be a free $S$-module of rank $\ell$ by K. Saito (1975) for $m=1$ and L. Solomon-H. Terao (1998) for $m=2$. The main result of this paper is that this is the case for all $m$. Moreover we explicitly construct a basis for $\sD^{(m)} (\cal A)$. Their degrees are all equal to $mh/2$ (when $m$ is even) or are equal to $((m-1)h/2) + m_i (1 \leq i \leq \ell)$ (when $m$ is odd). Here $m_1 \leq ... \leq m_{\ell}$ are the exponents of $G$ and $h= m_{\ell} + 1$ is the Coxeter number. The construction heavily uses the primitive derivation $D$ which plays a central role in the theory of flat generators by K. Saito (or equivalently the Frobenius manifold structure for the orbit space of $G$.) Some new results concerning the primitive derivation $D$ are obtained in the course of proof of the main result.
Non-intersecting Paths, Random Tilings and Random Matrices
Published
• View Publication
• BIB
We investigate certain measures induced by families of non-intersecting paths in domino tilings of the Aztec diamond, rhombus tilings of an abc-hexagon, a dimer model on a cylindrical brick lattice and a growth model. The measures obtained, e.g. the Krawtchouk and Hahn ensembles, have the same structure as the eigenvalue measures in random matrix theory like GUE, which can in fact be obtained from non-intersecting Brownian motions. The derivations of the measures are based on the Karlin-McGregor or Lindström-Gessel-Viennot method. We use the measure to show some asymptotic results for the models.
Higher Nimbers in pawn endgames on large chessboards
Published
• View Publication
• BIB
We answer a question posed in [Elkies 1996] (math.CO/9905198) by constructing a class of pawn endgames on m-by-n boards that show the Nimbers *k for large k. We do this by modifying and generalizing T.R. Dawson's ``pawns game'' [Berlekamp et al. 1982] (Winning Ways I). Our construction works for m>8 and n sufficiently large; on the basis of computational evidence we conjecture, but cannot yet prove, that the construction yields *k for all integers k.
Discrete Morse Complexes
Published
• View Publication
• BIB
We investigate properties of the set of discrete Morse functions on a simplicial complex as defined by Forman. It is not difficult to see that the pairings of discrete Morse functions of a finite simplicial complex again form a simplicial complex, the discrete Morse complex. It turns out that several known results from combinatorial topology and enumerative combinatorics, which previously seemed to be unrelated, can be re-interpreted in the setting of these discrete Morse complexes.
Generalised Pattern Avoidance
Published
• View Publication
• BIB
Recently, Babson and Steingrimsson have introduced generalised permutation patterns that allow the requirement that two adjacent letters in a pattern must be adjacent in the permutation. We consider pattern avoidance for such patterns, and give a complete solution for the number of permutations avoiding any single pattern of length three with exactly one adjacent pair of letters. We also give some results for the number of permutations avoiding two different patterns. Relations are exhibited to several well studied combinatorial structures, such as set partitions, Dyck paths, Motzkin paths, and involutions. Furthermore, a new class of set partitions, called monotone partitions, is defined and shown to be in one-to-one correspondence with non-overlapping partitions.
A Path Algorithm for Affine Kazhdan-Lusztig Polynomials
Published
• View Publication
• BIB
We develop an algorithm for computing affine Kazhdan-Lusztig polynomials, for all Lie types. This generalizes our previously published algorithm for type A, which in turn is a faster version of an algorithm due to Lascouz, Leclerc and Thibon (proposed in the setting of Hecke algebras of type A, at roots of unity.)
Random Walk in an Alcove of an Affine Weyl Group, and Non-Colliding Random Walks on an Interval
Published
• View Publication
• BIB
We use a reflection argument, introduced by Gessel and Zeilberger, to count the number of k-step walks between two points which stay within a chamber of a Weyl group. We apply this technique to walks in the alcoves of the classical affine Weyl groups. In all cases, we get determinant formulas for the number of k-step walks. One important example is the region m>x_1>x_2>...>x_n>0, which is a rescaled alcove of the affine Weyl group C_n. If each coordinate is considered to be an independent particle, this models n non-colliding random walks on the interval (0,m). Another case models n non-colliding random walks on the circle.
The generalized Borwein conjecture. I. The Burge transform
Published in Contemp. Math. 291 (2001), 243--267
• View Publication
• BIB
Given an arbitrary ordered pair of coprime integers (a,b) we obtain a pair of identities of the Rogers--Ramanujan type. These identities have the same product side as the (first) Andrews--Gordon identity for modulus 2ab\pm 1, but an altogether different sum side, based on the representation of (a/b-1)^{\pm 1} as a continued fraction. Our proof, which relies on the Burge transform, first establishes a binary tree of polynomial identities. Each identity in this Burge tree settles a special case of Bressoud's generalized Borwein conjecture.
The Coppersmith-Tetali-Winkler Identity for Mechanical Systems
Using a mixture of linear algebra and statics, we derive what can be viewed as a slight generalization of the Coppersmith-Tetali-Winkler Identity $H(i,j)+H(j,k)+H(k,i)=H(j,i)+H(k,j)+H(i,k)$ for hitting times of a random walk.
Short proof of the Gallai-Edmonds Structure Theorem
We derive the Gallai-Edmonds Structure Theorem from Hall's Theorem.
Random Lattices and Random Sphere Packings: Typical Properties
Published
• View Publication
• BIB
We review results about the density of typical lattices in $R^n.$ They state that such density is of the order of $2^{-n}.$ We then obtain similar results for random packings in $R^n$: after taking suitably a fraction $ν$ of a typical random packing $σ$, the resulting packing $τ$ has density $C(ν) 2^{-n},$ with a reasonable $C(ν).$ We obtain estimates on $C(ν).$
Dichromatic polynomials and Potts models summed over rooted maps
Published in Ann.Comb. 5 (2001) 17-36
• View Publication
• BIB
We consider the sum of dichromatic polynomials over non-separable rooted planar maps, an interesting special case of which is the enumeration of such maps. We present some known results and derive new ones. The general problem is equivalent to the $q$-state Potts model randomized over such maps. Like the regular ferromagnetic lattice models, it has a first-order transition when $q$ is greater than a critical value $q_c$, but $q_c$ is much larger - about 72 instead of 4.
Examples and counterexamples for Perles' conjecture
Published
• View Publication
• BIB
The combinatorial structure of a d-dimensional simple convex polytope can be reconstructed from its abstract graph [Blind & Mani 1987, Kalai 1988]. However, no polynomial/efficient algorithm is known for this task, although a polynomially checkable certificate for the correct reconstruction was found by [Joswig, Kaibel & Koerner 2000]. A much stronger certificate would be given by the following characterization of the facet subgraphs, conjectured by M. Perles:
``The facet subgraphs of the graph of a simple d-polytope are exactly all the (d-1)-regular, connected, induced, non-separating subgraphs'' [Perles 1970].
We give examples for the validity of Perles conjecture: In particular, it holds for the duals of cyclic polytopes, and for the duals of stacked polytopes. On the other hand, we identify a topological obstruction that must be present in any counterexample to Perles' conjecture; thus, starting with a modification of ``Bing's house'', we construct explicit 4-dimensional counterexamples.
The Eigenvectors of the Right-Justified Pascal Triangle: A Shorter Proof with Generating Functions
Instead of dealing with cumbersome binomial identities, we prove Callan's result using generating functions.