partition
6235 papers tagged with this keyword
Decompositions into subgraphs of small diameter
Published
• View Publication
• BIB
We investigate decompositions of a graph into a small number of low diameter subgraphs. Let P(n,ε,d) be the smallest k such that every graph G=(V,E) on n vertices has an edge partition E=E_0 \cup E_1 \cup ... \cup E_k such that |E_0| \leq εn^2 and for all 1 \leq i \leq k the diameter of the subgraph spanned by E_i is at most d. Using Szemerédi's regularity lemma, Polcyn and Ruciński showed that P(n,ε,4) is bounded above by a constant depending only ε. This shows that every dense graph can be partitioned into a small number of ``small worlds'' provided that few edges can be ignored. Improving on their result, we determine P(n,ε,d) within an absolute constant factor, showing that P(n,ε,2) = Θ(n) is unbounded for ε< 1/4, P(n,ε,3) = Θ(1/ε^2) for ε> n^{-1/2} and P(n,ε,4) = Θ(1/ε) for ε> n^{-1}. We also prove that if G has large minimum degree, all the edges of G can be covered by a small number of low diameter subgraphs. Finally, we extend some of these results to hypergraphs, improving earlier work of Polcyn, Rödl, Ruciński, and Szemerédi.
A product of integer partitions
I present a bijection on integer partitions that leads to recursive expressions, closed formulae and generating functions for the cardinality of certain sets of partitions of a positive integer $n$. The bijection leads also to a product on partitions that is associative with a natural grading thus defining a free associative algebra on the set of integer partitions. As an outcome of the computations, certain sets of integers appear that I call difference sets and the product of the integers in a difference set is an invariant for a family of sets of partitions. The main combinatorial objects used in these constructions are the central hooks of the Ferrers diagrams of partitions.
Edge Cover Colouring Versus Minimum Degree in Multigraphs
An edge colouring of a multigraph can be thought of as a partition of the edges into matchings (a matching meets each vertex at most once). Analogously, an edge cover colouring is a partition of the edges into edge covers (an edge cover meets each vertex at least once). We aim to determine a tight lower bound on the maximum number of parts in an edge cover colouring as a function of the minimum degree delta, which would be an analogue of Shannon's theorem from 1949 on edge-colouring multigraphs. We are able to give a lower bound that is tight except when delta=9 or delta is odd and > 12; in these non-tight cases the best upper and lower bounds differ by one.
Combinatorics of $(\ell,0)$-JM partitions, $\ell$-cores, the ladder crystal and the finite Hecke algebra
The following thesis contains results on the combinatorial representation theory of the finite Hecke algebra $H_n(q)$.
In Chapter 2 simple combinatorial descriptions are given which determine when a Specht module corresponding to a partition $λ$ is irreducible. This is done by extending the results of James and Mathas. These descriptions depend on the crystal of the basic representation of the affine Lie algebra $\widehat{\mathfrak{sl}_\ell}$. In Chapter 3 these results are extended to determine which irreducible modules have a realization as a Specht module. To do this, a new condition of irreducibility due to Fayers is combined with a new description of the crystal from Chapter 2. In Chapter 4 a bijection of cores first described by myself and Monica Vazirani is studied in more depth. Various descriptions of it are given, relating to the quotient $\widetilde{S_\ell}/{S_\ell}$ and to the bijection given by Lapointe and Morse.
A $q$-analogue of the FKG inequality and some applications
Let $L$ be a finite distributive lattice and $μ: L \to {\mathbb R}^{+}$ a log-supermodular function. For functions $k: L \to {\mathbb R}^{+}$ let $$E_μ (k; q) \defeq \sum_{x\in L} k(x) μ(x) q^{{\mathrm rank}(x)} \in {\mathbb R}^{+}[q].$$ We prove for any pair $g,h: L\to {\mathbb R}^{+}$ of monotonely increasing functions, that $$E_μ (g; q)\cdot E_μ (h; q) \ll
E_μ (1; q)\cdot E_μ (gh; q), $$ where ``$ \ll $'' denotes coefficientwise inequality of real polynomials. The FKG inequality of Fortuin, Kasteleyn and Ginibre (1971) is the real number inequality obtained by specializing to $q=1$.
The polynomial FKG inequality has applications to $f$-vectors of joins and intersections of simplicial complexes, to Betti numbers of intersections of certain Schubert varieties, and to the following kind of correlation inequality for power series weighted by Young tableaux. Let $Y$ be the set of all integer partitions. Given functions $k, μ: Y \rarr \R^+$, and parameters $0\le s\le t$, define the formal power series $$F_μ(k ; z) \defeq \sum_{\la\in Y} k(\la) μ(\la) (f_{\la})^t \frac{z^{|\la|}}{(|\la| !)^s} \in \R^+ [[z]], $$ %\sum_{\la\in Y} k(\la) μ(\la) (f_{\la})^t \frac{z^{|\la|}}{|\la| !} \in \R^+ [[z]],$$ where $f_{\la}$ is the number of standard Young tableaux of shape $\la$. Assume that $μ: Y\rarr \R^+$ is log-supermodular, and that $g, h: Y \rarr \R^+$ are monotonely increasing with respect to containment order of partition shapes. Then $$F_μ(g;z) \cdot F_μ(h;z) \ll F_μ(1;z) \cdot F_μ(gh;z). $$
Eliminating Human Insight: An Algorithmic Proof of Stembridge's TSPP Theorem
Published
• View Publication
• BIB
We present a new proof of Stembridge's theorem about the enumeration of totally symmetric plane partitions using the methodology suggested in the recent Koutschan-Kauers-Zeilberger semi-rigorous proof of the Andrews-Robbins q-TSPP conjecture. Our proof makes heavy use of computer algebra and is completely automatic. We describe new methods that make the computations feasible in the first place. The tantalizing aspect of this work is that the same methods can be applied to prove the q-TSPP conjecture (that is a q-analogue of Stembridge's theorem and open for more than 25 years); the only hurdle here is still the computational complexity.
A Bijective Proof of a Major Index Theorem of Garsia and Gessel
Published
• View Publication
• BIB
In this paper we provide a bijective proof of a theorem of Garsia and Gessel describing the generating function of the major index over the set of all permutations of [n]={1,...,n} which are shuffles of given disjoint ordered sequences whose union is [n]. Two special cases are singled out: If the single element j is inserted into any permutation P of the remaining elements of [n], then the theorem states that inserting j into P increases the major index of P by some element of {0,1,...,n-1}, the increase determined uniquely by the index of insertion. We provide a direct proof of this fact using an algorithm which calculates the increase at each index; this in turn leads to a bijective proof of MacMahon's 1916 result on the equidistribution of major index and inversion number over S_n. Using this special case we prove the general case of the theorem by establishing a bijection between shuffles of ordered sequences and a certain set of partitions. In the second special case of interest, Garsia and Gessel's theorem provides a proof of the equidistribution of major index and inversion number over inverse descent classes, a result first proved bijectively by Foata and Schutzenberger in 1978. We provide, based on the method of our first proof, another bijective proof of this result.
A class of symmetric graphs with 2-arc-transitive quotients
Published
• View Publication
• BIB
Let $Γ$ be a finite X-symmetric graph with a nontrivial X-invariant partition $\mathcal {B}$ on $V(Γ)$ such that $Γ_{\mathcal {B}}$ is a connected (X,2)-arc-transitive graph and $Γ$ is not a multicover of $Γ_{\mathcal {B}}$. This article aims to give a characterization of $(Γ, X, \mathcal {B})$ for the case where $|Γ(C) \cap B| = 3$ for $B\in \mathcal {B}$ and $C \in Γ_{\mathcal {B}}(B)$. This investigation requires a study on (X,2)-arc-transitive graphs of valency 4 or 7. We give a characterization of tetravalent (X,2)-arc-transitive graphs at first; and as a byproduct, we prove that every tetravalent (X,2)-transitive graph is either the complete graph on 5 vertices or a near n-gonal graph for some $n\ge 4$. Then we show that a heptavalent $(X,2)$-arc-transitive graph $Σ$ can occur as $Γ_{\mathcal {B}}$ if and only if $X_τ^{Σ(τ)}\cong PSL(3,2)$ for $τ\in V(Σ)$.
On Noncrossing and nonnesting partitions of type D
Published in Ann. Comb. 15 (2011), 637-654
• View Publication
• BIB
We present an explicit bijection between noncrossing and nonnesting partitions of Coxeter systems of type D which preserves openers, closers and transients.
The poset perspective on alternating sign matrices
Published in Discrete Math. Theor. Comput. Sci. Proc., AK, (2009) 813-824
• View Publication
• BIB
Alternating sign matrices (ASMs) are square matrices with entries 0, 1, or -1 whose rows and columns sum to 1 and whose nonzero entries alternate in sign. We put ASMs into a larger context by studying the order ideals of subposets of a certain poset, proving that they are in bijection with a variety of interesting combinatorial objects, including ASMs, totally symmetric self--complementary plane partitions (TSSCPPs), Catalan objects, tournaments, semistandard Young tableaux, and totally symmetric plane partitions. We use this perspective to prove an expansion of the tournament generating function as a sum over TSSCPPs which is analogous to a known formula involving ASMs.
SQS-graphs of Solov'eva-Phelps codes
A binary extended 1-perfect code $\mathcal C$ folds over its kernel via the Steiner quadruple systems associated with its codewords. The resulting folding, proposed as a graph invariant for $\mathcal C$, distinguishes among the 361 nonlinear codes $\mathcal C$ of kernel dimension $κ$ obtained via Solov'eva-Phelps doubling construction, where $9\geqκ\geq 5$. Each of the 361 resulting graphs has most of its nonloop edges expressible in terms of lexicographically ordered quarters of products of classes from extended 1-perfect partitions of length 8 (as classified by Phelps) and loops mostly expressible in terms of the lines of the Fano plane.
Theorems of Borsuk-Ulam type for flats and common transversals
Published in Math. Sbornik, 200:10, 2009, 39-58
• View Publication
• BIB
In this paper some results on the topology of the space of $k$-flats in $\mathbb R^n$ are proved, similar to the Borsuk-Ulam theorem on coverings of sphere. Some corollaries on common transversals for families of compact sets in $\mathbb R^n$, and on measure partitions by hyperplanes, are deduced.
A kicking basis for the two-column Garsia-Haiman modules
Published
• View Publication
• BIB
In the early 1990s, Garsia and Haiman conjectured that the dimension of the Garsia-Haiman module is n!, and they showed that the resolution of this conjecture implies the Macdonald Positivity Conjecture. Haiman proved these conjectures in 2001 using algebraic geometry, but the question remains to find an explicit basis for the module which would give a simple proof of the dimension. Using the theory of Orbit Harmonics developed by Garsia and Haiman, we present a "kicking basis" for Garsia-Haiman modules indexed by a partition with at most two columns.
Jucys-Murphy Elements and Unitary Matrix Integrals
Published in International Mathematics Research Notices (2013), no. 2, 362--397
• View Publication
• BIB
In this paper, we study the relationship between polynomial integrals on the unitary group and the conjugacy class expansion of symmetric functions in Jucys-Murphy elements. Our main result is an explicit formula for the top coefficients in the class expansion of monomial symmetric functions in Jucys-Murphy elements, from which we recover the first order asymptotics of polynomial integrals over $\U(N)$ as $N \rightarrow \infty$. Our results on class expansion include an analogue of Macdonald's result for the top connection coefficients of the class algebra, a generalization of Stanley and Olshanski's result on the polynomiality of content statistics on Plancherel-random partitions, and an exact formula for the multiplicity of the class of full cycles in the expansion of a complete symmetric function in Jucys-Murphy elements. The latter leads to a new combinatorial interpretation of the Carlitz-Riordan central factorial numbers.
The z-measures on partitions, Pfaffian point processes, and the matrix hypergeometric kernel
Published
• View Publication
• BIB
We consider a point process on one-dimensional lattice originated from the harmonic analysis on the infinite symmetric group, and defined by the z-measures with the deformation (Jack) parameter 2. We derive an exact Pfaffian formula for the correlation function of this process. Namely, we prove that the correlation function is given as a Pfaffian with a matrix kernel. The kernel is given in terms of the Gauss hypergeometric functions, and can be considered as a matrix analogue of the Hypergeometric kernel introduced by A. Borodin and G. Olshanski. Our result holds for all values of admissible complex parameters.
A Noncrossing Basis for Noncommutative Invariants of SL(2,C)
Published in J. Comb. Th. A 118 (2011), no. 1, 257-269
• View Publication
• BIB
Noncommutative invariant theory is a generalization of the classical invariant theory of the action of $SL(2,\IC)$ on binary forms. The dimensions of the spaces of invariant noncommutative polynomials coincide with the numbers of certain noncrossing partitions. We give an elementary combinatorial explanation of this fact by constructing a noncrossing basis of the homogeneous components. Using the theory free stochastic measures this provides a combinatorial proof of the Molien-Weyl formula in this setting.
Möbius numbers of some modified generalized noncrossing partitions
In this paper we will give a Möbius number of $NC^{k}(W) \setminus \bf{mins} \cup \{\hat{0} \}$ for a Coxeter group $W$ which contains an affirmative answer for the conjecture 3.7.9 in Armstrong's paper [ Generalized noncrossing partitions and combinatorics of Coxeter groups. arXiv:math/0611106].
q-Distributions on boxed plane partitions
Published in Selecta Mathematica, New Series, 16 (2010), no. 4, 731--789
• View Publication
• BIB
We introduce elliptic weights of boxed plane partitions and prove that they give rise to a generalization of MacMahon's product formula for the number of plane partitions in a box. We then focus on the most general positive degenerations of these weights that are related to orthogonal polynomials; they form three two-dimensional families. For distributions from these families we prove two types of results.
First, we construct explicit Markov chains that preserve these distributions. In particular, this leads to a relatively simple exact sampling algorithm.
Second, we consider a limit when all dimensions of the box grow and plane partitions become large, and prove that the local correlations converge to those of ergodic translation invariant Gibbs measures. For fixed proportions of the box, the slopes of the limiting Gibbs measures (that can also be viewed as slopes of tangent planes to the hypothetical limit shape) are encoded by a single quadratic polynomial.
Basis of Diagonally Alternating Harmonic Polynomials for low degree
Published in JCT-A 118 (2011) 37--57
• View Publication
• BIB
Given a list of $n$ cells $L=[(p_1,q_1),...,(p_n, q_n)]$ where $p_i, q_i\in \textbf{Z}_{\ge 0}$, we let $Δ_L=\det |{(p_j!)^{-1}(q_j!)^{-1} x^{p_j}_iy^{q_j}_i} |$. The space of diagonally alternating polynomials is spanned by $\{Δ_L\}$ where $L$ varies among all lists with $n$ cells. For $a>0$, the operators $E_a=\sum_{i=1}^{n} y_i\partial_{x_i}^a$ act on diagonally alternating polynomials and Haiman has shown that the space $A_n$ of diagonally alternating harmonic polynomials is spanned by $\{E_λΔ_n\}$. For $t=(t_m,...,t_1)\in \textbf{Z}_{> 0}^m$ with $t_m>...>t_1>0$, we consider here the operator $F_t=\det\big\|E_{t_{m-j+1}+(j-i)}\big\|$. Our first result is to show that $F_tΔ_L$ is a linear combination of $Δ_{L'}$ where $L'$ is obtained by {\sl moving} $\ell(t)=m$ distinct cells from $L$ in some determined fashion. This allows us to control the leading term of some elements of the form $F_{t_{(1)}}... F_{t_{(r)}}Δ_n$. We use this to describe explicit bases of some of the bihomogeneous components of $A_n=\bigoplus A_n^{k,l}$ where $A_n^{k,l}=\hbox{Span}\{E_λΔ_n :\ell(λ)=l, |λ|=k\}$. More precisely we give an explicit basis of $A_n^{k,l}$ whenever $k<n$. To this end, we introduce a new variation of Schensted insertion on a special class of tableaux. This produces a bijection between partitions and this new class of tableaux. The combinatorics of those tableaux $T$ allows us to know exactly the leading term of $F_TΔ_n$ where $F_T$ is the operator corresponding to the columns of $T$ and whenever $n$ is bigger than the weight of $T$.
Euler characteristic of the truncated order complex of generalized noncrossing partitions
Published in Electronic J. Combin. 16(1) (2009), Article #R143, 10 pp.
• View Publication
• BIB
The purpose of this note is to complete the study, begun in the first author's PhD thesis, of the topology of the poset of generalized noncrossing partitions associated to real reflection groups. In particular, we calculate the Euler characteristic of this poset with the maximal and minimal elements deleted. As we show, the result on the Euler characteristic extends to generalized noncrossing partitions associated to well-generated complex reflection groups.