Showing 20 papers (Total: 82851 papers, 47869 authors in database)
On generalised Kneser colourings
There are two possible definitions of the "s-disjoint r-uniform Kneser hypergraph'' of a set system T: The hyperedges are either r-sets or r-multisets. We point out that Ziegler's (combinatorial) lower bound on the chromatic number of an s-disjoint r-uniform Kneser hypergraph only holds if we consider r-multisets as hyperedges. We give a new proof of his result and show by example that a similar result does not hold if one considers r-sets as hyperedges.
In case of r-sets as hyperedges and $s \geq 2$ the only known lower bounds are obtained from topological invariants of associated simplicial complexes if r is a prime or the power of prime. This is also true for arbitrary r-uniform hypergraphs with r-sets or r-multisets as hyperedges as long as r is a power of a prime.
Tropical Halfspaces
Published
• View Publication
• BIB
As a new concept tropical halfspaces are introduced to the (linear algebraic) geometry of the tropical semiring (R,min,+). This yields exterior descriptions of the tropical polytopes that were recently studied by Develin and Sturmfels in a variety of contexts. The key tool to the understanding is a newly defined sign of the tropical determinant, which shares remarkably many properties with the ordinary sign of the determinant of a matrix. The methods are used to obtain an optimal tropical convex hull algorithm in two dimensions.
The Cayley trick and triangulations of products of simplices
Published in In "Integer Points in Polyhedra - Geometry, Number Theory, Algebra, Optimization", A. Barvinok, M. Beck, C. Haase, B. Reznick, and V. Welker (eds), Contemporary Mathematics 374, Amer. Math. Soc., Providence, 2005. ISBN 0-8218-3459-2.
• View Publication
• BIB
We use the Cayley Trick to study polyhedral subdivisions of the product of two simplices. For arbitrary (fixed) $l$, we show that the numbers of regular and non-regular triangulations of $Δ^l\timesΔ^k$ grow, respectively, as $k^{Θ(k)}$ and $2^{Ω(k^2)}$.
For the special case of $l=2$, we relate triangulations to certain class of lozenge tilings. This allows us to compute the exact number of triangulations up to $k=15$, show that the number grows as $e^{βk^2/2 + o(k^2)}$ where $β\simeq 0.32309594$ and prove that the set of all triangulations is connected under geometric bistellar flips. The latter has as a corollary that the toric Hilbert scheme of the determinantal ideal of $2\times 2$ minors of a $3\times k$ matrix is connected, for every $k$.
We include ``Cayley Trick pictures'' of all the triangulations of $Δ^2\times Δ^2$ and $Δ^2\times Δ^3$, as well as one non-regular triangulation of $Δ^2\times Δ^5$ and one of $Δ^3\times Δ^3$.
Spin-preserving Knuth correspondences for ribbon tableaux
Published
• View Publication
• BIB
The RSK correspondence generalises the Robinson-Schensted correspondence by replacing permutation matrices by matrices with entries in ${\bf N}$, and standard Young tableaux by semistandard ones. For $r>0$, the Robinson-Schensted correspondence can be trivially extended, using the $r$-quotient map, to one between coloured permutations and pairs of standard $r$-ribbon tableaux built on a fixed $r$-core (the Stanton-White correspondence). This correspondence can also be generalised to arbitrary matrices with entries in ${\bf N}^r$ and pairs of semistandard $r$-ribbon tableaux built on a fixed $r$-core; the generalisation is derived from the RSK correspondence, again using the $r$-quotient map. Shimozono and White recently defined a more interesting generalisation of the Robinson-Schensted correspondence to coloured permutations and standard $r$-ribbon tableaux, one that (unlike the Stanton-White correspondence) respects the spin statistic (total height of ribbons) on standard $r$-ribbon tableaux, relating it directly to the colours of the coloured permutation. We define a construction establishing a bijective correspondence between general matrices with entries in ${\bf N}^r$ and pairs of semistandard $r$-ribbon tableaux built on a fixed $r$-core, which respects the spin statistic on those tableaux in a similar manner, relating it directly to the matrix entries. We also define a similar generalisation of the asymmetric RSK correspondence, in which case the matrix entries are taken from $\{0,1\}^r$.
Constructing expander graphs by 2-lifts and discrepancy vs. spectral gap
Published
• View Publication
• BIB
We present a new explicit construction for expander graphs with nearly optimal spectral gap. The construction is based on a series of 2-lift operations.
Let $G$ be a graph on $n$ vertices. A 2-lift of $G$ is a graph $H$ on $2n$ vertices, with a covering map $π:H \to G$. It is not hard to see that all eigenvalues of $G$ are also eigenvalues of $H$. In addition, $H$ has $n$ ``new'' eigenvalues. We conjecture that every $d$-regular graph has a 2-lift such that all new eigenvalues are in the range $[-2\sqrt{d-1},2\sqrt{d-1}]$ (If true, this is tight, e.g. by the Alon-Boppana bound). Here we show that every graph of maximal degree $d$ has a 2-lift such that all ``new'' eigenvalues are in the range $[-c \sqrt{d \log^3d}, c \sqrt{d \log^3d}]$ for some constant $c$. This leads to a polynomial time algorithm for constructing arbitrarily large $d$-regular graphs, with second eigenvalue $O(\sqrt{d \log^3 d})$.
The proof uses the following lemma: Let $A$ be a real symmetric matrix such that the $l_1$ norm of each row in $A$ is at most $d$. Let $α= \max_{x,y \in \{0,1\}^n, supp(x)\cap supp(y)=\emptyset} \frac {|xAy|} {||x||||y||}$. Then the spectral radius of $A$ is at most $c α\log(d/α)$, for some universal constant $c$.
An interesting consequence of this lemma is a converse to the Expander Mixing Lemma.
Ehrhart polynomials, simplicial polytopes, magic squares and a conjecture of Stanley
Published
• View Publication
• BIB
It is proved that a certain symmetric sequence of nonnegative integers arising in the enumeration of magic squares of given size n by row sums or, equivalently, in the generating function of the Ehrhart polynomial of the polytope of doubly stochastic n by n matrices, is equal to the h-vector of a simplicial polytope and hence that it satisfies the conditions of the g-theorem. The unimodality of this sequance, which follows, was conjectured by Stanley (1983). Several generalizations are given.
The symmetric group representation on cohomology of the regular elements of a maximal torus of the special linear group
Published in J. Aust. Math. Soc. 84 (2008), no. 1, pp. 85-98
• View Publication
• BIB
We give a formula for the character of the representation of the symmetric group $S_n$ on each isotypic component of the cohomology of the set of regular elements of a maximal torus of $SL_n$, with respect to the action of the centre.
Local limit of labeled trees and expected volume growth in a random quadrangulation
Published in Annals of Probability 2006, Vol. 34, No. 3, 879-917
• View Publication
• BIB
Exploiting a bijective correspondence between planar quadrangulations and well-labeled trees, we define an ensemble of infinite surfaces as a limit of uniformly distributed ensembles of quadrangulations of fixed finite volume. The limit random surface can be described in terms of a birth and death process and a sequence of multitype Galton--Watson trees. As a consequence, we find that the expected volume of the ball of radius $r$ around a marked point in the limit random surface is $Θ(r^4)$.
Independent sets in association schemes
Published
• View Publication
• BIB
Let $X$ be $k$-regular graph on $v$ vertices and let $τ$ denote the least eigenvalue of its adjacency matrix $A(X)$. If $α(X)$ denotes the maximum size of an independent set in $X$, we have the following well known bound: \[ α(X) \le\frac{v}{1-\frac{k}τ}. \] It is less well known that if equality holds here and $S$ is a maximum independent set in $X$ with characteristic vector $x$, then the vector \[ x-\frac{|S|}{v}\one \] is an eigenvector for $A(X)$ with eigenvalue $τ$. In this paper we show how this can be used to characterise the maximal independent sets in certain classes of graphs. As a corollary we show that a graph defined on the partitions of $\{1,...,9\}$ with three cells of size three is a core.
On orbital variety closures in sl(n). I. Induced Duflo order
Published in Journal of Algebra, 271, 2004, pp. 179-233
• View Publication
• BIB
For a semisimple Lie algebra g the orbit method attempts to assign representations of g to (coadjoint) orbits in g*. Orbital varieties are particular Lagrangian subvarieties of such orbits leading to highest weight representations of g. In sl(n) orbital varieties are described by Young tableaux. Inclusion relation on orbital variety closures defines a partial order on Young tableaux. Our aim is to describe this order. The paper is devoted to the combinatorial description of induced Duflo order on Young tableaux (the order generated by inclusion of generating subspaces of orbital varieties). This is a very interesting and complex combinatorial question. This is the first paper in the series. In Part II and Part III we use repeatedly the results of the paper as a basis for further study of orbital variety closures.
On orbital variety closures in sl(n). II. Descendants of a Richardson orbital variety
Published in Journal of Algebra 271, 2004, pp 698-724
• View Publication
• BIB
For a semisimple Lie algebra g the orbit method attempts to assign representations of g to (coadjoint) orbits in g*. Orbital varieties are particular Lagrangian subvarieties of such orbits leading to highest weight representations of g. In sl(n) orbital varieties are described by Young tableaux. In this paper we consider so called Richardson orbital varieties in sl(n). A Richardson orbital variety is an orbital variety whose closure is a standard nilradical. We show that in sl(n) a Richardson orbital variety closure is a union of orbital varieties. We give a complete combinatorial description of such closures in terms of Young tableaux.
This is the second paper in the series of three papers devoted to a combinatorial description of orbital variety closures in sl(n) in terms of Young tableaux.
The minimal spanning tree and the upper box dimension
Published in Proc. Amer. Math. Soc. 134:4 (2006), 1183--1187
• View Publication
• BIB
We show that the alpha-weight of an MST over n points in a metric space with upper box dimension d has a bound independent of n if alpha is smaller than d and does not have one if alpha is larger than d.
Kazhdan Constants for $SL_n(Z)$
Published
• View Publication
• BIB
In this article we improve the known Kazhdan constant for $SL_n(Z)$ with respect to the generating set of the elementary matrices. We prove that the Kazhdan constant is bounded from below by $[42\sqrt{n}+860]^{-1}$, which gives the exact asymptotic behavior of the Kazhdan constant, as $n$ goes to infinity, since $\sqrt{2/n}$ is an upper bound.
We can use this bound to improve the bounds for the spectral gap of the Cayley graph of $SL_n(F_p)$ and for the working time of the product replacement algorithm for abelian groups.
Cluster algebras: Notes for the CDM-03 conference
Published
• View Publication
• BIB
This is an expanded version of the notes of our lectures given at the conference "Current Developments in Mathematics 2003" held at Harvard University on November 21--22, 2003. We present an overview of the main definitions, results and applications of the theory of cluster algebras.
Asymptotically optimal $K_k$-packings of dense graphs via fractional $K_k$-decompositions
Let $H$ be a fixed graph. A {\em fractional $H$-decomposition} of a graph $G$ is an assignment of nonnegative real weights to the copies of $H$ in $G$ such that for each $e \in E(G)$, the sum of the weights of copies of $H$ containing $e$ in precisely one. An {\em $H$-packing} of a graph $G$ is a set of edge disjoint copies of $H$ in $G$. The following results are proved. For every fixed $k > 2$, every graph with $n$ vertices and minimum degree at least $n(1-1/9k^{10})+o(n)$ has a fractional $K_k$-decomposition and has a $K_k$-packing which covers all but $o(n^2)$ edges.
On the topology of nested set complexes
Published
• View Publication
• BIB
Nested set complexes appear as the combinatorial core of De Concini-Procesi arrangement models. We show that nested set complexes are homotopy equivalent to the order complexes of the underlying meet-semilattices without their minimal elements. For atomic semilattices, we consider the realization of nested set complexes by simplicial fans as proposed in math.AG/0305142 by the first author and S. Yuzvinsky. We show that in this case the nested set complexes in fact are homeomorphic to the mentioned order complexes.
Minimal Bar Tableaux
Published
• View Publication
• BIB
Motivated by Stanley's results in \cite{St02}, we generalize the rank of a partition $λ$ to the rank of a shifted partition $S(λ)$. We show that the number of bars required in a minimal bar tableau of $S(λ)$ is max$(o, e + (\ell(λ) \mathrm{mod} 2))$, where $o$ and $e$ are the number of odd and even rows of $λ$. As a consequence we show that the irreducible projective characters of $S_n$ vanish on certain conjugacy classes. Another corollary is a lower bound on the degree of the terms in the expansion of Schur's $Q_λ$ symmetric functions in terms of the power sum symmetric functions.
A New Approach to Order Polynomials of Labeled Posets and Their Generalizations
In this paper, we first give formulas for the order polynomial $Ω(\Pw; t)$ and the Eulerian polynomial $e(\Pw; λ)$ of a finite labeled poset $(P, ω)$ using the adjacency matrix of what we call the $ω$-graph of $(P, ω)$. We then derive various recursion formulas for $Ω(\Pw; t)$ and $e(\Pw; λ)$ and discuss some applications of these formulas to Bernoulli numbers and Bernoulli polynomials. Finally, we give a recursive algorithm using a single linear operator on a vector space. This algorithm provides a uniform method to construct a family of new invariants for labeled posets $(\Pw)$, which includes the order polynomial $Ω(\Pw; t)$ and the invariant $\tilde e(\Pw; λ) =\frac {e(\Pw; λ)}{(1-λ)^{|P|+1}}$. The well-known quasi-symmetric function invariant of labeled posets and a further generalization of our construction are also discussed.
On unavoidable sets of word patterns
Published
• View Publication
• BIB
We introduce the notion of unavoidable (complete) sets of word patterns, which is a refinement for that of words, and study certain numerical characteristics for unavoidable sets of patterns. In some cases we employ the graph of pattern overlaps introduced in this paper, which is a subgraph of the de Bruijn graph and which we prove to be Hamiltonian. In other cases we reduce a problem under consideration to known facts on unavoidable sets of words. We also give a relation between our problem and intensively studied universal cycles, and prove there exists a universal cycle for word patterns of any length over any alphabet.
Keywords: pattern, word, (un)avoidability, de Bruijn graph, universal cycles
Symmetric group blocks of small defect
Published
• View Publication
• BIB
This paper is an attempt to compute the decomposition numbers of the blocks of the symmetric group which have "small defect"; that is, blocks of weight smaller than the characteristic. We present various methods for computing such decomposition numbers and use these as support for a conjecture which relates decomposition numbers in different characteristics. Finally, we apply our techniques to blocks of weight three.