arXiv++ Combinatorics

Browse math.CO papers from arXiv

contain ↗ reference

7720 papers tagged with this keyword
1999-12-29 v3
Translated tori in the characteristic varieties of complex hyperplane arrangements
Published in Topology and Appl. 118 (2002), 209-223 • View Publication • BIB
We give examples of complex hyperplane arrangements for which the top characteristic variety contains positive-dimensional irreducible components that do not pass through the origin of the character torus. These examples answer several questions of Libgober and Yuzvinsky. As an application, we exhibit a pair of arrangements for which the resonance varieties of the Orlik-Solomon algebra are (abstractly) isomorphic, yet whose characteristic varieties are not isomorphic. The difference comes from translated components, which are not detected by the tangent cone at the origin.
1999-12-06 v2
The Intersection of All Maximum Stable Sets of a Tree and its Pendant Vertices
Published • View Publication • BIB
One theorem of Nemhauser and Trotter ensures that, under certain conditions, a stable set of a graph G can be enlarged to a maximum stable set of this graph. For example, any stable set consisting of only simplicial vertices is contained in a maximum stable set of G. In this paper we demonstrate that an inverse assertion is true for trees of order greater than one, where, in fact, all the simplicial vertices are pendant. Namely, we show that any maximum stable set of such a tree contains at least one pendant vertex. Moreover, we prove that if T does not own a perfect matching, then a stable set, consisting of at least two pendant vertices, is included in the intersection of all its maximum stable sets. For trees, the above assertion is also a strengthening of one result of Hammer, Hansen, and Simeone, stating that if half of order of G is less than the cardinality of a maximum stable set of G, then the intersection of all its maximum stable sets is non-empty.
1999-12-06 v2
Restricted permutations, continued fractions, and Chebyshev polynomials
Published • View Publication • BIB
Let f_n^r(k) be the number of 132-avoiding permutations on n letters that contain exactly r occurrences of 12... k, and let F_r(x;k) and F(x,y;k) be the generating functions defined by $F_r(x;k)=\sum_{n\gs0} f_n^r(k)x^n$ and $F(x,y;k)=\sum_{r\gs0}F_r(x;k)y^r$. We find an explcit expression for F(x,y;k) in the form of a continued fraction. This allows us to express F_r(x;k) for $1\ls r\ls k$ via Chebyshev polynomials of the second kind.
1999-11-30 v2
Permutations containing and avoiding certain patterns
Published in Proc. 12th Conference on Formal Power Series and Algebraic combinatorics, 2000, 706-708 • View Publication • BIB
Let T_k^m={σ\in S_k | σ_1=m}. We prove that the number of permutations which avoid all patterns in T_k^m equals (k-2)!(k-1)^{n+1-k} for k <= n. We then prove that for any τin T_k^1 (or any τin T_k^k), the number of permutations which avoid all patterns in T_k^1 (or in T_k^k) except for τand contain τexactly once equals (n+1-k)(k-1)^{n-k} for k <= n. Finally, for any τin T_k^m, 2 <= m <= k-1, this number equals (k-1)^{n-k} for k <= n. These results generalize recent results due to Robertson concerning permutations avoiding 123-pattern and containing 132-pattern exactly once.
1999-11-21
Mod 2 cohomology of combinatorial Grassmannians
Published in Selecta Mathematica 8 (2002), 161-200 • View Publication • BIB
Matroid bundles, introduced by MacPherson, are combinatorial analogues of real vector bundles. This paper sets up the foundations of matroid bundles, and defines a natural transformation from isomorphism classes of real vector bundles to isomorphism classes of matroid bundles, as well as a transformation from matroid bundles to spherical quasifibrations. The poset of oriented matroids of a fixed rank classifies matroid bundles, and the above transformations give a splitting from topology to combinatorics back to topology. This shows the mod 2 cohomology of the poset of rank k oriented matroids (this poset classifies matroid bundles) contains the free polynomial ring on the first k Stiefel-Whitney classes. The homotopy groups of this poset are related to the image of the J-homomorphism from stable homotopy theory.
1999-10-19
On Generalized Van der Waerden Triples
Published • View Publication • BIB
Van der Waerden's classical theorem on arithmetic progressions states that for any positive integers k and r, there exists a least positive integer, w(k,r), such that any r-coloring of {1,2,...,w(k,r)} must contain a monochromatic k-term arithmetic progression {x,x+d,x+2d,...,x+(k-1)d}. We investigate the following generalization of w(3,r). For fixed positive integers a and b with a <= b, define N(a,b;r) to be the least positive integer, if it exists, such that any r-coloring of {1,2,...,N(a,b;r)} must contain a monochromatic set of the form {x,ax+d,bx+2d}. We show that N(a,b;2) exists if and only if b <> 2a, and provide upper and lower bounds for it. We then show that for a large class of pairs (a,b), N(a,b;r) does not exist for r sufficiently large. We also give a result on sets of the form {x,ax+d,ax+2d,...,ax+(k-1)d}.
1999-09-07
The number of rhombus tilings of a symmetric hexagon which contain a fixed rhombus on the symmetry axis, II
Published in Europ. J. Combin. 21 (2000), 601-640. • View Publication • BIB
We compute the number of rhombus tilings of a hexagon with side lengths N,M,N,N,M,N, with N and M having the same parity, which contain a particular rhombus next to the center of the hexagon. The special case N=M of one of our results solves a problem posed by Propp. In the proofs, Hankel determinants featuring Bernoulli numbers play an important role.
1999-09-03 v2
Towards a characterisation of Pfaffian graphs
Published • View Publication • BIB
A bipartite graph G is known to be Pfaffian if and only if it does not contain an even subdivision H of $K_{3,3}$ such that $G - VH$ contains a 1-factor. However a general characterisation of Pfaffian graphs in terms of forbidden subgraphs is currently not known. In this paper we describe a possible approach to the derivation of such a characterisation. We also extend the characterisation for bipartite graphs to a slightly more general class of graphs.
1999-07-01
Set-polynomials and polynomial extension of the Hales-Jewett Theorem
Published in Ann. of Math. (2) 150 (1999), no. 1, 33-75 • View Publication • BIB
An abstract, Hales-Jewett type extension of the polynomial van der Waerden Theorem [J. Amer. Math. Soc. 9 (1996),725-753] is established: Theorem. Let r,d,q \in \N. There exists N \in \N such that for any r-coloring of the set of subsets of V={1,...,N}^{d} x {1,...,q} there exist a set a \subset V and a nonempty set γ\subseteq {1,...,N} such that a \cap (γ^{d} x {1,...,q}) = \emptyset, and the subsets a, a \cup (γ^{d} x {1}), a \cup (γ^{d} x {2}), ..., a \cup (γ^{d} x {q}) are all of the same color. This ``polynomial'' Hales-Jewett theorem contains refinements of many combinatorial facts as special cases. The proof is achieved by introducing and developing the apparatus of set-polynomials (polynomials whose coefficients are finite sets) and applying the methods of topological dynamics.
1999-06-22 v4
Mixed hook-length formula for degenerate affine Hecke algebras
Published in Lecture Notes in Math. 1815 (2003), 223-236 • View Publication • BIB
Take the degenerate affine Hecke algebra $H_{l+m}$ corresponding to the group $GL_{l+m}$ over a $p$-adic field. Consider the $H_{l+m}$-module $W$ induced from the tensor product of the evaluation modules over the algebras $H_l$ and $H_m$. The module $W$ depends on two partitions $λ$ of $l$ and $μ$ of $m$, and on two complex numbers $z$ and $w$. There is a canonical operator $J$ acting in $W$, it corresponds to the rational Yang $R$-matrix. The algebra $H_{l+m}$ contains the symmetric group $S_{l+m}$, and $J$ commutes with the action of $S_{l+m}$ in $W$. Under this action, $W$ decomposes into irreducible subspaces according to the Littlewood-Richardson rule. We compute the eigenvalues of $J$, corresponding to certain multiplicity-free irreducible components of $W$. In particular, we obtain a nice formula for the ratio of two eigenvalues of $J$, corresponding to the "highest" and "lowest" (multiplicity-free) irreducible components of $W$.
1999-06-15
Enumeration of rhombus tilings of a hexagon which contain a fixed rhombus in the centre
Published • View Publication • BIB
We compute the number of rhombus tilings of a hexagon with side lengths a,b,c,a,b,c which contain the central rhombus and the number of rhombus tilings of a hexagon with side lengths a,b,c,a,b,c which contain the `almost central` rhombus above the centre.
1999-03-29
Permutations Containing and Avoiding 123 and 132 Patterns
Published • View Publication • BIB
We prove that the number of permutations which avoid 132-patterns and have exactly one 123-pattern equals (n-2)2^(n-3). We then give a bijection onto the set of permutations which avoid 123-patterns and have exactly one 132-pattern. Finally, we show that the number of permutations which contain exactly one 123-pattern and exactly one 132-pattern is (n-3)(n-4)2^(n-5).
1999-03-04
Relative moduli spaces of complex structures: an example
Let M and N be even-dimensional oriented real manifolds, and $u:M \to N$ be a smooth mapping. A pair of complex structures at M and N is called u-compatible if the mapping u is holomorphic with respect to these structures. The quotient of the space of u-compatible pairs of complex structures by the group of u-equivariant pairs of diffeomorphisms of M and N is called a moduli space of u-equivariant complex structures. The paper contains a description of the fundamental group G of this moduli space in the following case: $N = CP^1, M \subset CP^2$ is a hyperelliptic genus g curve given by the equation $y^2 = Q(x)$ where Q is a generic polynomial of degree 2g+1, and $u(x,y) = y^2$. The group G is a kernel of several (equivalent) actions of the braid-cyclic group $BC_{2g}$ on 2g strands. These are: an action on the set of trees with 2g numbered edges, an action on the set of all splittings of a (4g+2)-gon into numbered nonintersecting quadrangles, and an action on a certain set of subgroups of the free group with 2g generators. $G_{2g} \subset BC_{2g}$ is a subgroup of the index $(2g+1)^{2g-2}$. Key words: Teichmüller spaces, Lyashko-Looijenga map, braid group.
1998-12-11
An Infinite Antichain of Permutations
We constructively prove that the partially ordered set of finite permutations ordered by deletion of entries contains an infinite antichain.
1998-09-17
Multivision: an intractable impartial game with a linear winning strategy
Published • View Publication • BIB
Something is definitely wrong. If the game has a linear winning strategy, then it is tractable. What's going on? Well, we describe a two-person game which has a definite winner, that is, a player who can force a win in a finite number of moves, and we determine the winner in linear time. Moreover, the winner's winning moves can be computed in linear time, yet the game is highly intractable. In particular, at each step, except the very last ones, a player can make the length of play arbitrarily long. Unfortunately, the space for this summary is too small to contain a proof that these properties are not contradictory.
1998-07-03
The leafage of a chordal graph
Published in Discussiones Mathematicae - Graph Theory 18(1998), 23-48 • View Publication • BIB
The leafage l(G) of a chordal graph G is the minimum number of leaves of a tree in which G has an intersection representation by subtrees. We obtain upper and lower bounds on l(G) and compute it on special classes. The maximum of l(G) on n-vertex graphs is n - lg n - (1/2) lg lg n + O(1). The proper leafage l*(G) is the minimum number of leaves when no subtree may contain another; we obtain upper and lower bounds on l*(G). Leafage equals proper leafage on claw-free chordal graphs. We use asteroidal sets and structural properties of chordal graphs.
1997-12-27 v2
The Martin Boundary of the Young-Fibonacci Lattice
Published • View Publication • BIB
We find the Martin boundary for the Young-Fibonacci lattice YF. Along with the lattice of Young diagrams, this is the most interesting example of a differential poset. The Martin boundary construction provides an explicit Poisson-type integral representation of non-negative harmonic functions on YF. The latter are in a canonical correspondence with a set of traces on Okada locally semisimple algebra. The set is known to contain all the indecomposable traces. Presumably, all of the traces in the set are indecomposable, though we have no proof of this conjecture. Using a new explicit product formula for Okada characters, we derive precise regularity conditions under which a sequence of characters of finite-dimensional Okada algebras converges to a character of the infinite-dimensional one.
1997-12-10 v2
The number of rhombus tilings of a symmetric hexagon which contain a fixed rhombus on the symmetry axis, I
Published in Ann. Combin. 2 1998, 19-40 • View Publication • BIB
We compute the number of rhombus tilings of a hexagon with sides $N,M,N,N,M,N$, which contain a fixed rhombus on the symmetry axis that cuts through the sides of length $M$.
1997-12-01
The number of centered lozenge tilings of a symmetric hexagon
Published in J. Combin. Theory Ser. A 86 (1999), 103-126 • View Publication • BIB
Propp conjectured that the number of lozenge tilings of a semiregular hexagon of sides $2n-1$, $2n-1$ and $2n$ which contain the central unit rhombus is precisely one third of the total number of lozenge tilings. Motivated by this, we consider the more general situation of a semiregular hexagon of sides $a$, $a$ and $b$. We prove explicit formulas for the number of lozenge tilings of these hexagons containing the central unit rhombus, and obtain Propp's conjecture as a corollary of our results.
Enumeration of rhombus tilings of a hexagon which contain a fixed rhombus on its symmetry axis
We compute the number of rhombus tilings of a hexagon with sides $N,M,N,N,M,N$, which contain a fixed rhombus on the symmetry axis. A special case solves a problem posed by Jim Propp.