Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Counterexamples to the 0-1 conjecture
Published
• View Publication
• BIB
For permutations x and w, let mu(x,w) be the coefficient of highest possible degree in the Kazhdan-Lusztig polynomial P_{x,w}. It is well-known that the coefficients mu(x,w) arise as the edge labels of certain graphs encoding the representations of S_n. The 0-1 Conjecture states that the mu(x,w) are either 0 or 1. We present two counterexamples to this conjecture, the first in S_16, for which x and w are in the same left cell, and the second in S_10. The proof of the counterexample in S_16 relies on computer calculations.
On the diagram of Schroeder permutations
Published
• View Publication
• BIB
Egge and Mansour have recently studied permutations which avoid 1243 and 2143 regarding the occurrence of certain additional patterns. Some of the open questions related to their work can easily be answered by using permutation diagrams. Like for 132-avoiding permutations the diagram approach gives insights into the structure of {1243,2143}-avoiding permutations that yield simple proofs for some enumerative results concerning forbidden patterns in such permutations.
Lagrangian Matroids: Representations of Type $B_n$
We introduce the concept of orientation for Lagrangian matroids represented in the flag variety of maximal isotropic subspaces of dimension N in the real vector space of dimension 2N+1. The paper continues the study started in math.CO/0209100.
A Novel Approach Applied to the Largest Clique Problem
A novel approach to complex problems has been previously applied to graph classification and the graph equivalence problem. Here we apply it to the NP complete problem of finding the largest perfect clique within a graph $G$.
Identities for Tribonacci-related sequences
We establish some identities relating two sequences that are, as explained, related to the Tribonacci sequence. One of these sequences bears the same resemblance to the Tribonacci sequence as the Lucas sequence does to the Fibonacci sequence. Defining a matrix that we call Tribomatrix, which extends the Fibonacci matrix, we see that the other sequence is related to the sum of the determinants of the 2nd order principal minors of this matrix.
On the Largest Eigenvalue of a Random Subgraph of the Hypercube
Published
• View Publication
• BIB
Let G be a random subgraph of the n-cube where each edge appears randomly and independently with probability p. We prove that the largest eigenvalue of the adjacency matrix of G is almost surely λ_1(G)= (1+o(1)) max(Δ^{1/2}(G),np), where Δ(G) is the maximum degree of G and o(1) term tends to zero as max (Δ^{1/2}(G), np) tends to infinity.
Asymptotics of the transition probabilities of the simple random walk on self-similar graphs
It is shown explicitly how self-similar graphs can be obtained as `blow-up' constructions of finite cell graphs $\hat C$. This yields a larger family of graphs than the graphs obtained by discretising continuous self-similar fractals.
For a class of symmetrically self-similar graphs we study the simple random walk on a cell graph $\hat C$, starting in a vertex $v$ of the boundary of $\hat C$. It is proved that the expected number of returns to $v$ before hitting another vertex in the boundary coincides with the resistance scaling factor.
Using techniques from complex rational iteration and singularity analysis for Green functions we compute the asymptotic behaviour of the $n$-step transition probabilities of the simple random walk on the whole graph. The results of Grabner and Woess for the Sierpiński graph are generalised to the class of symmetrically self-similar graphs and at the same time the error term of the asymptotic expression is improved. Finally we present a criterion for the occurrence of oscillating phenomena of the $n$-step transition probabilities.
The Resultant of an Unmixed Bivariate System
Published
• View Publication
• BIB
This paper gives an explicit method for computing the resultant of any sparse unmixed bivariate system with given support. We construct square matrices whose determinant is exactly the resultant. The matrices constructed are of hybrid Sylvester and Bézout type. We make use of the exterior algebra techniques of Eisenbud, Fløystad, and Schreyer.
Symmetric polynomials vanishing on the diagonals shifted by roots of unity
For a pair of positive integers (k,r) with r>1 such that k+1 and r-1 are relatively prime, we describe the space of symmetric polynomials in variables x_1,...,x_n which vanish at all diagonals of codimension k of the form x_i=tq^{s_i}x_{i-1}, i=2,...,k+1, where t and q are primitive roots of unity of orders k+1 and r-1.
Ordinal Distances in Transfinite Graphs
Published
• View Publication
• BIB
An ordinal-valued metric taking its values in the set of all countable ordinals can be assigned to a metrizable set of nodes in a transfinite graph. Then, a variety of results concerning nodal eccentricities, radii, diameters, centers, peripheries, and blocks can be extended to transfinite graphs.
Representations of Yangians associated with skew Young diagrams
Published in Proceedings of the ICM, Beijing 2002, vol. 2, 643--654
• Search Publication
The Yangian of the Lie algebra $gl_N$ has a distinguished family of irreducible finite-dimensional representations, called elementary representations. They are parametrized by pairs, consisting of a skew Young diagram and a complex number. Each of these representations has an explicit realization, it extends the classical realization of the irreducible polynomial representations of $gl_N$ by means of the Young symmetrizers. We explicitly construct analogues of these elementary representations for the twisted Yangian, which corresponds to the Lie algebra $so_N$. Our construction provides solutions to several open problems in the classical representation theory. In particular, we obtain analogues of the Young symmetrizers for the Brauer centralizer algebra.
Linearly Independent Products of Rectangularly Complementary Schur Functions
Published in Electronic Journal of Combinatorics 9(1) (2002) #R39
• View Publication
• BIB
Fix a rectangular Young diagram R, and consider all the products of Schur functions s(mu) s(mu^c), where mu and mu^c run over all (unordered) pairs of partitions which are complementary with respect to R.
Theorem: The self-complementary products, s(mu)^2 where mu=mu^c, are linearly independent of all other s(mu) s(mu^c).
Conjecture: The products s(mu) s(mu^c) are all linearly independent.
On Thin Sets of Primes Expressible as Sumsets
Published
• View Publication
• BIB
Suppose that P is an infinite set of primes such that P = A + B + C, where A,B,C are sets with at least two elements. We show that if P(x) > c x/log^d x (where P(x) = the number of elements of P that are <= x), and if A,B,C is a "regular" triple of sets, then either |A+B| <= d, or |B+C| <= d, or |A+C| <= d.
Temperley-Lieb Stochastic Processes
Published in J.Phys. A35 (2002) L661-L668
• View Publication
• BIB
We discuss one-dimensional stochastic processes defined through the Temperley-Lieb algebra related to the Q=1 Potts model. For various boundary conditions, we formulate a conjecture relating the probability distribution which describes the stationary state, to the enumeration of a symmetry class of alternating sign matrices, objects that have received much attention in combinatorics.
On some integrals over the U(N) unitary group and their large N limit
Published in J.Phys.A36:3173-3194,2003
• View Publication
• BIB
The integral over the U(N) unitary group $I=\int DU \exp\Tr A U B U^\dagger$ is reexamined. Various approaches and extensions are first reviewed. The second half of the paper deals with more recent developments: relation with integrable Toda lattice hierarchy, diagrammatic expansion and combinatorics, and on what they teach us on the large $N$ limit of $\log I$.
Sorting with a forklift
Published
• View Publication
• BIB
A fork stack is a generalised stack which allows pushes and pops of several items at a time. We consider the problem of determining which input streams can be sorted using a single forkstack, or dually, which permutations of a fixed input stream can be produced using a single forkstack. An algorithm is given to solve the sorting problem and the minimal unsortable sequences are found. The results are extended to fork stacks where there are bounds on how many items can be pushed and popped at one time. In this context we also establish how to enumerate the collection of sortable sequences.
On the non-3-colourability of random graphs
We show that for c >= 2.4682, a random graph on n vertices with c n (1+o(1)) edges almost surely has no 3-colouring. This improves on the current best upper bound of 2.4947.
Jack polynomials in superspace
Published in Commun.Math.Phys. 242 (2003) 331-360
• View Publication
• BIB
This work initiates the study of {\it orthogonal} symmetric polynomials in superspace. Here we present two approaches leading to a family of orthogonal polynomials in superspace that generalize the Jack polynomials. The first approach relies on previous work by the authors in which eigenfunctions of the supersymmetric extension of the trigonometric Calogero-Moser-Sutherland Hamiltonian were constructed. Orthogonal eigenfunctions are now obtained by diagonalizing the first nontrivial element of a bosonic tower of commuting conserved charges not containing this Hamiltonian. Quite remarkably, the expansion coefficients of these orthogonal eigenfunctions in the supermonomial basis are stable with respect to the number of variables. The second and more direct approach amounts to symmetrize products of non-symmetric Jack polynomials with monomials in the fermionic variables. This time, the orthogonality is inherited from the orthogonality of the non-symmetric Jack polynomials, and the value of the norm is given explicitly.
Lagrangian Pairs and Lagrangian Orthogonal Matroids
Published
• View Publication
• BIB
Represented Coxeter matroids of types $C_n$ and $D_n$, that is, symplectic and orthogonal matroids arising from totally isotropic subspaces of symplectic or (even-dimensional) orthogonal spaces, may also be represented in buildings of type $C_n$ and $D_n$, respectively. Indeed, the particular buildings involved are those arising from the flags or oriflammes, respectively, of totally isotropic subspaces. There are also buildings of type $B_n$ arising from flags of totally isotropic subspaces in odd-dimensional orthogonal space. Coxeter matroids of type $B_n$ are the same as those of type $C_n$ (since they depend only upon the reflection group, not the root system). However, buildings of type $B_n$ are distinct from those of the other types. The matroids representable in odd dimensional orthogonal space (and therefore in the building of type $B_n$) turn out to be a special case of symplectic (flag) matroids, those whose top component, or Lagrangian matroid, is a union of two Lagrangian orthogonal matroids. These two matroids are called a Lagrangian pair, and they are the combinatorial manifestation of the ``fork'' at the top of an oriflamme (or of the fork at the end of the Coxeter diagram of $D_n$).
Here we give a number of equivalent characterizations of Lagrangian pairs, and prove some rather strong properties of them.
Virtual crystals and Kleber's algorithm
Published in Commun.Math.Phys. 238 (2003) 187-209
• View Publication
• BIB
Kirillov and Reshetikhin conjectured what is now known as the fermionic formula for the decomposition of tensor products of certain finite dimensional modules over quantum affine algebras. This formula can also be extended to the case of $q$-deformations of tensor product multiplicities as recently conjectured by Hatayama et al. (math.QA/9812022 and math.QA/0102113). In its original formulation it is difficult to compute the fermionic formula efficiently. Kleber (q-alg/9611032 and math.QA/9809087) found an algorithm for the simply-laced algebras which overcomes this problem. We present a method which reduces all other cases to the simply-laced case using embeddings of affine algebras. This is the fermionic analogue of the virtual crystal construction by the authors, which is the realization of crystal graphs for arbitrary quantum affine algebras in terms of those of simply-laced type.