Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Bases for certain cohomology representations of the symmetric group
Published in J. Algebraic Combin. 24 (2006), no. 4, pp. 361-390.
• View Publication
• BIB
We give a combinatorial description (including explicit differential-form bases) for the cohomology groups of the space of n distinct nonzero complex numbers, with coefficients in rank-one local systems which are of finite monodromy around the coordinate hyperplanes and trivial monodromy around all other hyperplanes. In the case where the local system is equivariant for the symmetric group, we write the cohomology groups as direct sums of inductions of one-dimensional characters of subgroups. This relies on an equivariant description of the Orlik-Solomon algebras of full monomial reflection groups (wreath products of the symmetric group with a cyclic group). The combinatorial models involved are certain representations of these wreath products which possess bases indexed by labelled trees.
Matrices of Forests and the Analysis of Digraphs
The matrices of spanning rooted forests are studied as a tool for analysing the structure of digraphs and measuring their characteristics. The problems of revealing the basis bicomponents, measuring vertex proximity, and ranking from preference relations / sports competitions are considered. It is shown that the vertex accessibility measure based on spanning forests has a number of desirable properties. An interpretation for the normalized matrix of out-forests in terms of information dissemination is given.
Keywords: Laplacian matrix, spanning forest, matrix-forest theorem, proximity measure, bicomponent, ranking, incomplete tournament, paired comparisons
Cyclotomic Polytopes and Growth Series of Cyclotomic Lattices
Published in Mathematical Research Letters 13, no. 4 (2006), 607-622
• View Publication
• BIB
The coordination sequence of a lattice $Ł$ encodes the word-length function with respect to $M$, a set that generates $Ł$ as a monoid. We investigate the coordination sequence of the cyclotomic lattice $Ł= \Z[ζ_m]$, where $ζ_m$ is a primitive $mþ$ root of unity and where $M$ is the set of all $mþ$ roots of unity. We prove several conjectures by Parker regarding the structure of the rational generating function of the coordination sequence; this structure depends on the prime factorization of $m$. Our methods are based on unimodular triangulations of the $mþ$ cyclotomic polytope, the convex hull of the $m$ roots of unity in $\R^{φ(m)}$, with respect to a canonically chosen basis of $Ł$.
Rainbow Hamilton cycles in random regular graphs
Published
• View Publication
• BIB
A rainbow subgraph of an edge-coloured graph has all edges of distinct colours. A random d-regular graph with d even, and having edges coloured randomly with d/2 of each of n colours, has a rainbow Hamilton cycle with probability tending to 1 as n tends to infinity, provided d is at least 8.
The combinatorics of the Baer-Specker group
Published in Israel Journal of Mathematics 168 (2008), 125-151
• View Publication
• BIB
Denote the integers by Z and the positive integers by N.
The groups Z^k (k a natural number) are discrete, and the classification up to isomorphism of their (topological) subgroups is trivial. But already for the countably infinite power Z^N of Z, the situation is different. Here the product topology is nontrivial, and the subgroups of Z^N make a rich source of examples of non-isomorphic topological groups. Z^N is the Baer-Specker group.
We study subgroups of the Baer-Specker group which possess group theoretic properties analogous to properties introduced by Menger (1924), Hurewicz (1925), Rothberger (1938), and Scheepers (1996). The studied properties were introduced independently by Kočinac and Okunev. We obtain purely combinatorial characterizations of these properties, and combine them with other techniques to solve several questions of Babinkostova, Kočinac, and Scheepers.
Complexes of Directed Trees and Independence Complexes
The theory of complexes of directed trees was initiated by Kozlov to answer a question by Stanley, and later on, results from the theory were used by Babson and Kozlov in their proof of the Lovasz conjecture. We develop the theory and prove that complexes on directed acyclic graphs are shellable.
A related concept is that of independence complexes: construct a simplicial complex on the vertex set of a graph, by including each independent set of vertices as a simplex. Two theorems used for breaking and gluing such complexes are proved and applied to generalize results by Kozlov.
A fruitful restriction is anti-Rips complexes: a subset P of a metric space is the vertex set of the complex, and we include as a simplex each subset of P with no pair of points within distance r. For any finite subset P of \mathbb{R} the homotopy type of the anti-Rips complex is determined.
A note on three types of quasisymmetric functions
Published
• View Publication
• BIB
In the context of generating functions for $P$-partitions, we revisit three flavors of quasisymmetric functions: Gessel's quasisymmetric functions, Chow's type B quasisymmetric functions, and Poirier's signed quasisymmetric functions. In each case we use the inner coproduct to give a combinatorial description (counting pairs of permutations) to the multiplication in: Solomon's type A descent algebra, Solomon's type B descent algebra, and the Mantaci-Reutenauer algebra, respectively. The presentation is brief and elementary, our main results coming as consequences of $P$-partition theorems already in the literature.
On Expected Factors in Reduced Decompositions in Type B
Published
• View Publication
• BIB
The expected number of Yang-Baxter moves appearing in a reduced decomposition of the longest element of the Coxeter group of type B_n is computed to be 2-4/n. For the same element, the expected number of 0101 or 1010 factors appearing in a reduced decomposition is 2/(n^2-2).
Coherent permutations with descent statistic and the boundary problem for the graph of zigzag diagrams
Published in Intern. Math. Research Notices 2006, Art. ID 51968, 39 pp.
• View Publication
• BIB
The graph of zigzag diagrams is a close relative of Young's lattice. The boundary problem for this graph amounts to describing coherent random permutations with descent-set statistic, and is also related to certain positive characters on the algebra of quasi-symmetric functions. We establish connections to some further relatives of Young's lattice and solve the boundary problem by reducing it to the classification of spreadable total orders on integers, as recently obtained by Jacka and Warren.
Las Vergnas Cube Conjecture and reconstruction properties of the cube matroid
Las Vergnas Cube Conjecture states that the cube matroid has exactly one class of orientations. We prove that this conjecture is equivalent to saying that the oriented matroid of the affine dependencies of the n-cube can be reconstructed from the underlying matroid and one of the following partial lists of signed circuits or cocircuits: A) the signed circuits of rank 3, or B) the positive signed cocircuits.
Crystal structure on rigged configurations
Published in International Mathematics Research Notices, Volume 2006, Article ID 97376, Pages 1-27
• View Publication
• BIB
Rigged configurations are combinatorial objects originating from the Bethe Ansatz, that label highest weight crystal elements. In this paper a new unrestricted set of rigged configurations is introduced for types ADE by constructing a crystal structure on the set of rigged configurations. In type A an explicit characterization of unrestricted rigged configurations is provided which leads to a new fermionic formula for unrestricted Kostka polynomials or q-supernomial coefficients. The affine crystal structure for type A is obtained as well.
Schubert classes in the equivariant cohomology of the Lagrangian Grassmannian
Published
• View Publication
• BIB
Let $LG_n$ denote the Lagrangian Grassmannian parametrizing maximal isotropic (Lagrangian) subspaces of a fixed symplectic vector space of dimension $2n.$ For each strict partition $λ=(λ_1,...,λ_k)$ with $λ_1\leq n$ there is a Schubert variety $X(λ).$ Let $T$ denote a maximal torus of the symplectic group acting on $LG_n.$ Consider the $T$-equivariant cohomology of $LG_n$ and the $T$-equivariant fundamental class $σ(λ)$ of $X(λ).$ The main result of the present paper is an explicit formula for the restriction of the class $σ(λ)$ to any torus fixed point. The formula is written in terms of factorial analogue of the Schur $Q$-function, introduced by Ivanov. As a corollary to the restriction formula, we obtain an equivariant version of the Giambelli-type formula for $LG_n.$ As another consequence of the main result, we obtained a presentation of the ring $H_T^*(LG_n).$
A Refinement of the Eulerian Numbers, and the Joint Distribution of $π(1)$ and Des($π$) in $S_n$
Given a permutation $π$ chosen uniformly from $S_n$, we explore the joint distribution of $π(1)$ and the number of descents in $π$. We obtain a formula for the number of permutations with $\des(π)=d$ and $π(1)=k$, and use it to show that if $\des(π)$ is fixed at $d$, then the expected value of $π(1)$ is $d+1$. We go on to derive generating functions for the joint distribution, show that it is unimodal if viewed correctly, and show that when $d$ is small the distribution of $π(1)$ among the permutations with $d$ descents is approximately geometric. Applications to Stein's method and the Neggers-Stanley problem are presented.
On abelian $(2^{2m+1}(2^{m-1}+1), 2^m(2^m+1), 2^m)$-difference sets
In this paper we prove that an abelian group contains $(2^{2m+1}(2^{m-1}+1), 2^m(2^m+1), 2^m)$-difference sets with $m\geqslant 3$ if and only if it contains an elementary abelian 2-group of order $2^{2m}$. Our proof shows that the method of constructing such difference sets is essentially unique.
Combinatorial congruences modulo prime powers
Published in Trans. Amer. Math. Soc. 359(2007), no.11, 5525-5553
• View Publication
• BIB
Let p be any prime, and let a and n be nonnegative integers. Let $r\in Z$ and $f(x)\in Z[x]$. We establish the congruence
$$p^{°f}\sum_{k=r(mod p^a)}\binom{n}{k}(-1)^k f((k-r)/p^a) =0 (mod p^{\sum_{i=a}^{\infty}[n/p^i]})$$ (motivated by a conjecture arising from algebraic topology), and obtain the following vast generalization of Lucas' theorem: If a is greater than one, and $l,s,t$ are nonnegative integers with $s,t<p$, then
$$\frac{1}{[n/p^{a-1}]!} \sum_{k=r(mod p^a)} \binom{pn+s}{pk+t}(-1)^{pk}((k-r)/p^{a-1})^l =\frac {1}{[n/p^{a-1}]!} \sum_{k=r(mod p^a)}\binom{n}{k}\binom{s}{t}(-1)^k((k-r)/p^{a-1})^l (mod p).$$
We also present an application of the first congruence to Bernoulli polynomials, and apply the second congruence to show that a p-adic order bound given by the authors in a previous paper can be attained when p=2.
Integrality and the Laurent phenomenon for Somos 4 sequences
Published
• View Publication
• BIB
Somos 4 sequences are a family of sequences defined by a fourth-order quadratic recurrence relation with constant coefficients. For particular choices of the coefficients and the four initial data, such recurrences can yield sequences of integers. Fomin and Zelevinsky have used the theory of cluster algebras to prove that these recurrences also provide one of the simplest examples of the Laurent phenomenon: all the terms of a Somos 4 sequence are Laurent polynomials in the initial data. The integrality of certain Somos 4 sequences has previously been understood in terms of the Laurent phenomenon. However, each of the authors of this paper has independently established the precise correspondence between Somos 4 sequences and sequences of points on elliptic curves. Here we show that these sequences satisfy a stronger condition than the Laurent property, and hence establish a broad set of sufficient conditions for integrality. As a by-product, non-periodic sequences provide infinitely many solutions of an associated quartic Diophantine equation in four variables. The analogous results for Somos 5 sequences are also presented, as well as various examples, including parameter families of Somos 4 integer sequences.
Curves in cages: an algebro-geometric zoo
Published
• View Publication
• BIB
The paper is concerned with families of plane algebraic curves that contain a given and quite special finite set X of points in the projective plane. We focus on the case in which the set X is formed by transversally intersecting pairs of lines selected from two given finite families of cardinality d. The union of all lines from both families is called a cage, and the intersection X consists of d^2 points at which a line from the first family intersects a line from the second. The points of X are called the nodes of the cage. We study the subsets A of the nodal set X such that any plane algebraic curve C of degree d that contains A must contain X as well. As a corollary, we get a few generalizations of the famous Pascal theorem, generalizations that employ polygons (instead of hexagons as in Pascal's theorem) inscribed in a quadratic curve. Our results are closely related to the classical theorems of Chasles and Bacharach. Although the nodal sets X produced by our cages are quite special in comparison to more general complete intersections studied by Bacharach, the cages provide us with a much better grip on the combinatorics of subsets A of X with the property that is described above.
Multiple polylogarithms, polygons, trees and algebraic cycles
Published
• View Publication
• BIB
We construct algebraic cycles in Bloch's cubical cycle group which correspond to multiple polylogarithms with generic arguments. Moreover, we construct out of them a Hopf subalgebra in the Bloch-Kriz cycle Hopf algebra. In the process, we are led to other Hopf algebras built from trees and polygons, which are mapped to the latter. We relate the coproducts to the one for Goncharov's motivic multiple polylogarithms and to the Connes-Kreimer coproduct on plane trees and produce the associated Hodge realization for polygons.
Eigenvalue bounds for independent sets
Published
• View Publication
• BIB
We derive bounds on the size of an independent set based on eigenvalues. This generalizes a result due to Delsarte and Hoffman. We use this to obtain new bounds on the independence number of the Erdős-Rényi graphs. We investigate further properties of our bounds, and show how our results on the Erdős-Rényi graphs can be extended to other polarity graphs.
On conjugates for set partitions and integer compositions
There is a familiar conjugate for integer partitions: transpose the Ferrers diagram, and a conjugate for integer compositions: transpose a Ferrers-like diagram. Here we propose a conjugate for set partitions and show that it interchanges # singletons and # adjacencies. Its restriction to noncrossing partitions cropped up in a 1972 paper of Kreweras. We also exhibit an analogous pairs of statistics interchanged by the composition conjugate.