Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Relations between Potts and RSOS models on a torus
Published in Nuclear Physics B 731 (2005) 335-351
• View Publication
• BIB
We study the relationship between Q-state Potts models and staggered RSOS models of the A\_{p-1} type on a torus, with sqrt(Q)=2 cos(pi / p). In general the partition functions of these models differ due to clusters of non-trivial topology. However we find exact identities, valid for any temperature and any finite size of the torus, between various modified partition functions in the two pictures. The field theoretic interpretation of these modified partition function is discussed.
Matched pairs approach to set-theoretic solutions of the Yang-Baxter equation
Published
• View Publication
• BIB
We study set-theoretic solutions $(X,r)$ of the Yang-Baxter equations on a set $X$ in terms of the induced left and right actions of $X$ on itself. We give a characterization of involutive square-free solutions in terms of cyclicity conditions. We characterise general solutions in terms of abstract matched pair properties of the associated monoid $S(X,r)$ and we show that $r$ extends as a solution $(S(X,r),r_S)$. Finally, we study extensions of solutions both directly and in terms of matched pairs of their associated monoids. We also prove several general results about matched pairs of monoids $S$ of the required type, including iterated products $S\bowtie S\bowtie S$ equivalent to $r_S$ a solution, and extensions $(S\bowtie T,r_{S\bowtie T})$. Examples include a general `double' construction $(S\bowtie S,r_{S\bowtie S})$ and some concrete extensions, their actions and graphs based on small sets.
A bijection between certain non-crossing partitions and sequences
Published in Discrete Mathematics 286 (2004) 269-275
• View Publication
• BIB
We present a bijection between non-crossing partitions of the set $[2n+1]$ into $n+1$ blocks such that no block contains two consecutive integers, and the set of sequences $\{s_{i}\}_{1}^{n}$ such that $1 \leq s_{i} \leq i$, and if $s_{i}=j$, then $s_{i-r} \leq j-r$ for $1 \leq r \leq j-1$.
On algebras associated to partially ordered sets
Published in Math. Scand. 103 (2008), no. 2, 169-185
• View Publication
• BIB
We continue the study on sheaves of rings on finite posets. We present examples where the ring of global sections coincide with toric faces rings, quotients of a polynomial ring by a monomial ideal and algebras with straightening laws. We prove a rank-selection theorem which generalizes the well-known rank-selection theorem of Stanley-Reisner rings. Finally, we determine an explicit presentation of certain global rings of sections.
Kocay's lemma, Whitney's theorem, and some polynomial invariant reconstruction problems
Published in The Electronic Journal of Combinatorics 12 (2005), #R63.
• View Publication
• BIB
Given a graph G, an incidence matrix N(G) is defined for the set of distinct isomorphism types of induced subgraphs of G. If Ulam's conjecture is true, then every graph invariant must be reconstructible from this matrix, even when the graphs indexing the rows and the columns of N(G) are unspecified. It is proved that the characteristic polynomial, the rank polynomial, and the number of spanning trees of a graph are reconstructible from its N-matrix. These results are stronger than the original results of Tutte in the sense that actual subgraphs are not used. It is also proved that the characteristic polynomial of a graph with minimum degree 1 can be computed from the characteristic polynomials of all its induced proper subgraphs. The ideas in Kocay's lemma play a crucial role in most proofs. Here Kocay's lemma is used to prove Whitney's subgraph expansion theorem in a simple manner. The reconstructibility of the characteristic polynomial is then demonstrated as a direct consequence of Whitney's theorem as formulated here.
A combinatorial generalization of the Boson-Fermion correspondence
Published
• View Publication
• BIB
We attempt to explain the ubiquity of tableaux and of Pieri and Cauchy formulae for combinatorially defined families of symmetric functions. We show that such formulae are to be expected from symmetric functions arising from representations of Heisenberg algebras. The resulting framework that we describe is a generalization of the classical Boson-Fermion correspondence, from which Schur functions arise. Our work can be used to understand Hall-Littlewood polynomials, Macdonald polynomials and Lascoux, Leclerc and Thibon's ribbon functions, together with other new families of symmetric functions.
Limit shapes of multiplicative measures associated with coagulation-fragmentation processes and random combinatorial structures
We find limit shapes for a family of multiplicative measures on the set of partitions, induced by exponential generating functions with expansive parameters, $a_k\sim Ck^{p-1}, k\to\infty, p>0$,where $C$ is a positive constant. The measures considered are associated with reversible coagulation-fragmentation processes and certain combinatorial structures, known as assemblies. We prove the functional central limit theorem for the fluctuations of a scaled random partition from its limit shape. We demonstrate that when the component size passes beyond the threshold value, the independence of numbers of components transforms into their conditional independence. Among other things, the paper also discusses, in a general setting, the interplay between limit shapes, threshold and gelation.
Logged Rewriting for Monoids
A rewriting system is a set of equations over a given set of terms called rules that characterize a system of computation and is a powerful general method for providing decision procedures of equational theories, based upon the principle of replacing subterms of an expression with other terms.
In particular, a string rewriting system is usually associated with a monoid presentation. At the first level the problem is to decide which combinations of the generators are equivalent under the given rules; Knuth-Bendix completion of the string rewriting system is one of the most successful mechanisms for solving this problem. At the second level, the problem involves determining which combinations of rules are equivalent.
Logged rewriting is a technique which not only transforms strings but records the transformation in terms of the original system of rules. The relations between combinatorial, homotopical and homological finiteness conditions for monoids prompt us to consider using computer-friendly rewriting systems to calculate homotopical and homological structure from monoid presentations.
A short proof of w_1^n(Hom(C_{2r+1}, K_{n+2}))=0 for all n and a graph colouring theorem by Babson and Kozlov
Published
• View Publication
• BIB
We show that the n-th power of the first Stiefel-Whitney class of the Z_2-operation on the graph complex Hom(C_{2r+1},K_{n+2})$ is zero, confirming a conjecture by Babson and Kozlov. This proves the strong form of their graph colouring theorem, which they had only proven for odd n. Our proof is also considerably simpler than their proof of the weak form of the theorem, which is also known as the Lovász conjecture.
On the sign-imbalance of skew partition shapes
Let the sign of a skew standard Young tableau be the sign of the permutation you get by reading it row by row from left to right, like a book. We examine how the sign property is transferred by the skew Robinson-Schensted correspondence invented by Sagan and Stanley. The result is a remarkably simple generalization of the ordinary non-skew formula. The sum of the signs of all standard tableaux on a given skew shape is the sign-imbalance of that shape. We generalize previous results on the sign-imbalance of ordinary partition shapes to skew ones.
Hyperplane arrangements and Lefschetz's hyperplane section theorem
Published in Kodai Math. Journal 30 no. 2 (2007) 157--194.
• View Publication
• BIB
The Lefschetz hyperplane section theorem asserts that an affine variety is homotopy equivalent to a space obtained from its generic hyperplane section by attaching some cells. The purpose of this paper is to describe attaching maps of these cells for the complement of a complex hyperplane arrangement defined over real numbers. The cells and attaching maps are described in combinatorial terms of chambers. We also discuss the cellular chain complex with coefficients in a local system and a presentation for the fundamental group associated to the minimal CW-decomposition for the complement.
Link complexes of subspace arrangements
Published
• View Publication
• BIB
Given a simplicial hyperplane arrangement H and a subspace arrangement A embedded in H, we define a simplicial complex Delta_{A,H} as the subdivision of the link of A induced by H. In particular, this generalizes Steingrimsson's coloring complex of a graph.
We do the following:
(1) When A is a hyperplane arrangement, Delta_{A,H} is shown to be shellable. As a special case, we answer affirmatively a question of Steingrimsson on coloring complexes.
(2) For H being a Coxeter arrangement of type A or B we obtain a close connection between the Hilbert series of the Stanley-Reisner ring of Delta_{A,H} and the characteristic polynomial of A. This extends results of Steingrimsson and provides an interpretation of chromatic polynomials of hypergraphs and signed graphs in terms of Hilbert polynomials.
Colouring Lines in Projective Space
Published
• View Publication
• BIB
Let $V$ be a vector space of dimension $v$ over a field of order $q$. The $q$-Kneser graph has the $k$-dimensional subspaces of $V$ as its vertices, where two subspaces $α$ and $β$ are adjacent if and only if $α\capβ$ is the zero subspace. This paper is motivated by the problem of determining the chromatic numbers of these graphs. This problem is trivial when $k=1$ (and the graphs are complete) or when $v<2k$ (and the graphs are empty). We establish some basic theory in the general case. Then specializing to the case $k=2$, we show that the chromatic number is $q^2+q$ when $v=4$ and $(q^{v-1}-1)/(q-1)$ when $v > 4$. In both cases we characterise the minimal colourings.
How neighborly can a centrally symmetric polytope be?
Published
• View Publication
• BIB
We show that there exist k-neighborly centrally symmetric d-dimensional polytopes with 2(n+d) vertices, where k(d,n)=Theta(d/(1+log ((d+n)/d))). We also show that this bound is tight.
New Categorifications of the Chromatic and the Dichromatic Polynomials for Graphs
Published in Fund. Math. 190 (2006), 231-243
• Search Publication
In this paper, for each graph $G$, we def\mbox{}ine a chain complex of graded modules over the ring of polynomials, whose graded Euler characteristic is equal to the chromatic polynomial of $G$. Furthermore, we def\mbox{}ine a chain complex of doubly-graded modules, whose (doubly) graded Euler characteristic is equal to the dichromatic polynomial of $G$. Both constructions use Koszul complexes, and are similar to the new Khovanov-Rozansky categorif\mbox{}ications of HOMFLYPT polynomial. We also give simplif\mbox{}ied def\mbox{}inition of this triply-graded link homology theory.
The dinner table problem: the rectangular case
$n$ people are seated randomly at a rectangular table with $\lfloor n/2\rfloor$ and $\lceil n/2\rceil$ seats along the two opposite sides for two dinners. What's the probability that neighbors at the first dinner are no more neighbors at the second one? We give an explicit formula and we show that its asymptotic behavior as $n$ goes to infinity is $e^{-2}(1+4/n)$ (it is known that it is $e^{-2}(1-4/n)$ for a round table). A more general permutation problem is also considered.
Local Euler-Maclaurin formula for polytopes
Published
• View Publication
• BIB
We give a local Euler-Maclaurin formula for rational convex polytopes in a rational euclidean space . For every affine rational polyhedral cone C in a rational euclidean space W, we construct a differential operator of infinite order D(C) on W with constant rational coefficients, which is unchanged when C is translated by an integral vector. Then for every convex rational polytope P in a rational euclidean space V and every polynomial function f (x) on V, the sum of the values of f(x) at the integral points of P is equal to the sum, for all faces F of P, of the integral over F of the function D(N(F)).f, where we denote by N(F) the normal cone to P along F.
The Borsuk-Ulam-property, Tucker-property and constructive proofs in combinatorics
Published
• View Publication
• BIB
This article is concerned with a general scheme on how to obtain constructive proofs for combinatorial theorems that have topological proofs so far. To this end the combinatorial concept of Tucker-property of a finite group $G$ is introduced and its relation to the topological Borsuk-Ulam-property is discussed. Applications of the Tucker-property in combinatorics are demonstrated.
A new proof of the refined alternating sign matrix theorem
Published
• View Publication
• BIB
In the early 1980s, Mills, Robbins and Rumsey conjectured, and in 1996 Zeilberger proved a simple product formula for the number of $n \times n$ alternating sign matrices with a 1 at the top of the $i$-th column. We give an alternative proof of this formula using our operator formula for the number of monotone triangles with prescribed bottom row. In addition, we provide the enumeration of certain 0-1-(-1) matrices generalizing alternating sign matrices.
Domination Cover Pebbling: Graph Families
Given a configuration of pebbles on the vertices of a connected graph G, a pebbling move is defined as the removal of two pebbles from some vertex, and the placement of one of these on an adjacent vertex. We introduce the notion of domination cover pebbling, obtained by combining graph cover pebbling with the theory of domination in graphs. The domination cover pebbling number, psi(G), of a graph G is the minimum number of pebbles that must be placed on V(G) such that after a sequence of pebbling moves, the set of vertices with pebbles forms a dominating set of G, regardless of the initial configuration of pebbles. We discuss basic results and determine psi(G) for paths, cycles and complete binary trees.