Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Combinatorics of the $\hat{sl}_2$ Spaces of Coinvariants III
Published
• View Publication
• BIB
We give the fermionic character formulas for the spaces of coinvariants obtained from level $k$ integrable representations of $\hat{\mathfrak sl}_2$. We establish the functional realization of the spaces dual to the coinvariant spaces. We parameterize functions in the dual spaces by rigged partitions, and prove the recursion relations for the sets of rigged partitions.
Chromatic roots are dense in the whole complex plane
Published in Combin. Probab. Comput. 13, 221-261 (2004)
• View Publication
• BIB
I show that the zeros of the chromatic polynomials P_G(q) for the generalized theta graphs Θ^{(s,p)} are, taken together, dense in the whole complex plane with the possible exception of the disc |q-1| < 1. The same holds for their dichromatic polynomials (alias Tutte polynomials, alias Potts-model partition functions) Z_G(q,v) outside the disc |q+v| < |v|. An immediate corollary is that the chromatic zeros of not-necessarily-planar graphs are dense in the whole complex plane. The main technical tool in the proof of these results is the Beraha-Kahane-Weiss theorem on the limit sets of zeros for certain sequences of analytic functions, for which I give a new and simpler proof.
Transitive permutation groups of prime-squared degree
Published in Journal of Algebraic Combinatorics 16 (2002) 43-69
• View Publication
• BIB
We explicitly determine all of the transitive groups of degree p-squared, p a prime, whose Sylow p-subgroup is not the wreath product of two cyclic groups of order p. Furthermore, we provide a general description of the transitive groups of degree p-squared whose Sylow p-subgroup is such a wreath product, and explicitly determine most of them. As applications, we solve the Cayley Isomorphism problem for Cayley objects of an abelian group of order p-squared, explicitly determine the full automorphism group of Cayley graphs of abelian groups of order p-squared, and find all nonnormal Cayley graphs of order p-squared.
Counting Paths in Graphs
Published in Enseign. Math. 45 (1999) 83-131
• Search Publication
We give a simple combinatorial proof of a formula that extends a result by Grigorchuk (rediscovered by Cohen) relating cogrowth and spectral radius of random walks. Our main result is an explicit equation determining the number of `bumps' on paths in a graph: in a $d$-regular (not necessarily transitive) non-oriented graph let the series $G(t)$ count all paths between two fixed points weighted by their length $t^{length}$, and $F(u,t)$ count the same paths, weighted as $u^{number of bumps}t^{length}$. Then one has $$F(1-u,t)/(1-u^2t^2) = G(t/(1+u(d-u)t^2))/(1+u(d-u)t^2).$$ We then derive the circuit series of `free products' and `direct products' of graphs. We also obtain a generalized form of the Ihara-Selberg zeta function.
The Complexity of Finding Small Triangulations of Convex 3-Polytopes
Published
• View Publication
• BIB
The problem of finding a triangulation of a convex three-dimensional polytope with few tetrahedra is proved to be NP-hard. We discuss other related complexity results.
Extremal properties for dissections of convex 3-polytopes
Published in SIAM J. Discrete Math. 14:2 (2001), 143-161
• View Publication
• BIB
A dissection of a convex d-polytope is a partition of the polytope into d-simplices whose vertices are among the vertices of the polytope. Triangulations are dissections that have the additional property that the set of all its simplices forms a simplicial complex. The size of a dissection is the number of d-simplices it contains. This paper compares triangulations of maximal size with dissections of maximal size. We also exhibit lower and upper bounds for the size of dissections of a 3-polytope and analyze extremal size triangulations for specific non-simplicial polytopes: prisms, antiprisms, Archimedean solids, and combinatorial d-cubes.
Moments of inertia associated with the lozenge tilings of a hexagon
Consider the probability that an arbitrary chosen lozenge tiling of the hexagon with side lengths a, b, c, a, b, c contains the horizontal lozenge with lowest vertex (x,y) as if it described the distribution of mass in the plane. We compute the horizontal and the vertical moments of inertia with respect to this distribution. This solves a problem by Propp [1, Problem 7].
Descent Numbers and Major Indices for the Hyperoctahedral Group
Published
• View Publication
• BIB
We introduce and study three new statistics on the hyperoctahedral group $B_{n}$, and show that they give two generalizations of Carlitz's identity for the descent number and major index over $S_{n}$. This answers a question posed by Foata.
A Fredholm Determinant Identity and the Convergence of Moments for Random Young Tableaux
Published
• View Publication
• BIB
We obtain an identity between Fredholm determinants of two kinds of operators, one acting on functions on the unit circle and the other acting on functions on a subset of the integers. This identity is a generalization of an identity between a Toeplitz determinant and a Fredholm determinant that has appeared in the random permutation context. Using this identity, we prove, in particular, convergence of moments for arbitrary rows of a random Young diagram under Plancherel measure.
Decomposition of polytopes and polynomials
Published
• View Publication
• BIB
Motivated by a connection with the factorization of multivariate polynomials, we study integral convex polytopes and their integral decompositions in the sense of the Minkowski sum. We first show that deciding decomposability of integral polygons is NP-complete then present a pseudo-polynomial time algorithm for decomposing polygons. For higher dimensional polytopes, we give a heuristic algorithm which is based upon projections and uses randomization. Applications of our algorithm include absolute irreducibility testing and factorization of polynomials via their Newton polytopes.
The Diameter of Long-Range Percolation Clusters on Finite Cycles
Published
• View Publication
• BIB
Bounds for the diameter and for the expansion of long-range percolation clusters on the cycle $\Z / N\Z$ are given.
Spin chains and combinatorics
Published in J.Phys.A34:3185,2001
• View Publication
• BIB
In this letter we continue the investigation of finite XXZ spin chains with periodic boundary conditions and odd number of sites, initiated in paper \cite{S}. As it turned out, for a special value of the asymmetry parameter $Δ=-1/2$ the Hamiltonian of the system has an eigenvalue, which is exactly proportional to the number of sites $E=-3N/2$. Using {\sc Mathematica} we have found explicitly the corresponding eigenvectors for $N \le 17$. The obtained results support the conjecture of paper \cite{S} that this special eigenvalue corresponds to the ground state vector. We make a lot of conjectures concerning the correlations of the model. Many remarkable relations between the wave function components are noticed. It is turned out, for example, that the ratio of the largest component to the least one is equal to the number of the alternating sing matrices.
Diagonal Sums of Boxed Plane Partitions
Published in Electronic Journal of Combinatorics 8(1):N1, 2001
• View Publication
• BIB
We give a simple proof of a nice formula for the means and covariances of the diagonal sums of a uniformly random boxed plane parition.
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.