partition
6235 papers tagged with this keyword
The Saxl Conjecture and the Dominance Order
Published
• View Publication
• BIB
In 2012 Jan Saxl conjectured that all irreducible representations of the symmetric group occur in the decomposition of the tensor square of the irreducible representation corresponding to the staircase partition. We make progress on this conjecture by proving the occurrence of all those irreducibles which correspond to partitions that are comparable to the staircase partition in the dominance order. Moreover, we use our result to show the occurrence of all irreducibles corresponding to hook partitions. This generalizes results by Pak, Panova, and Vallejo from 2013.
A conjecture of Han on 3-cores and modular forms
Published
• View Publication
• BIB
In his study of Nekrasov-Okounkov type formulas on "partition theoretic" expressions for families of infinite products, Han discovered seemingly unrelated $q$-series that are supported on precisely the same terms as these infinite products. In earlier work with Ono, Han proved one instance of this occurrence that exhibited a relation between numbers $a(n)$ that are given in terms of hook lengths of partitions, with numbers $b(n)$ that equal the number of 3-core partitions of $n$. Recently Han revisited the $q$-series with coefficients $a(n)$ and $b(n)$, and numerically found a third $q$-series whose coefficients appear to be supported on the same terms. Here we prove Han's Conjecture about this third series by proving a general theorem about this phenomenon.
Arithmetic Properties of Partition Quadruples With Odd Parts Distinct
Published in Bulletin of the Australian Mathematical Society 92 (2015) 353-364
• View Publication
• BIB
Let $\mathrm{pod}_{-4}(n)$ denote the number of partition quadruples of $n$ where the odd parts in each partition are distinct. We find many arithmetic properties of $\mathrm{pod}_{-4}(n)$ involving the following infinite family of congruences: for any integers $α\ge 1$ and $n \ge 0$,
\[\mathrm{pod}_{-4}\Big({{3}^{α+1}}n+\frac{5\cdot {{3}^{α}}+1}{2}\Big)\equiv 0 \pmod{9}.\] We also establish some internal congruences and some congruences modulo 2, 5 and 8 satisfied by $\mathrm{pod}_{-4}(n)$.
An overpartition analogue of the $q$-binomial coefficients
Published
• View Publication
• BIB
We define an overpartition analogue of Gaussian polynomials (also known as $q$-binomial coefficients) as a generating function for the number of overpartitions fitting inside the $M \times N$ rectangle. We call these new polynomials over Gaussian polynomials or over $q$-binomial coefficients. We investigate basic properties and applications of over $q$-binomial coefficients. In particular, via the recurrences and combinatorial interpretations of over q-binomial coefficients, we prove a Rogers-Ramaujan type partition theorem.
Exact solution of the $2d$ dimer model: Corner free energy, correlation functions and combinatorics
Published
• View Publication
• BIB
In this work, some classical results of the pfaffian theory of the dimer model based on the work of Kasteleyn, Fisher and Temperley are introduced in a fermionic framework. Then we shall detail the bosonic formulation of the model {\it via} the so-called height mapping and the nature of boundary conditions is unravelled. The complete and detailed fermionic solution of the dimer model on the square lattice with an arbitrary number of monomers is presented, and finite size effect analysis is performed to study surface and corner effects, leading to the extrapolation of the central charge of the model. The solution allows for exact calculations of monomer and dimer correlation functions in the discrete level and the scaling behavior can be inferred in order to find the set of scaling dimensions and compare to the bosonic theory which predict particular features concerning corner behaviors. Finally, some combinatorial and numerical properties of partition functions with boundary monomers are discussed, proved and checked with enumeration algorithms.
On the largest size of $(t,t+1,..., t+p)$-core partitions
In this paper we prove that Amdeberhan's conjecture on the largest size of $(t, t+1, t+2)$-core partitions is true. We also show that the number of $(t, t + 1, t + 2)$-core partitions with the largest size is $1$ or $2$ based on the parity of $t$. More generally, the largest size of $(t,t+1,..., t+p)$-core partitions and the number of such partitions with the largest size are determined.
Computing the partition function for graph homomorphisms with multiplicities
Published
• View Publication
• BIB
We consider a refinement of the partition function of graph homomorphisms and present a quasi-polynomial algorithm to compute it in a certain domain. As a corollary, we obtain quasi-polynomial algorithms for computing partition functions for independent sets, perfect matchings, Hamiltonian cycles and dense subgraphs in graphs as well as for graph colorings. This allows us to tell apart in quasi-polynomial time graphs that are sufficiently far from having a structure of a given type (i.e., independent set of a given size, Hamiltonian cycle, etc.) from graphs that have sufficiently many structures of that type, even when the probability to hit such a structure at random is exponentially small.
Equitable partition of graphs into induced forests
Published in Discrete Math. 338(8) (2015), 1481-1483
• View Publication
• BIB
An equitable partition of a graph $G$ is a partition of the vertex-set of $G$ such that the sizes of any two parts differ by at most one. We show that every graph with an acyclic coloring with at most $k$ colors can be equitably partitioned into $k-1$ induced forests. We also prove that for any integers $d\ge 1$ and $k\ge 3^{d-1}$, any $d$-degenerate graph can be equitably partitioned into $k$ induced forests.
Each of these results implies the existence of a constant $c$ such that for any $k \ge c$, any planar graph has an equitable partition into $k$ induced forests. This was conjectured by Wu, Zhang, and Li in 2013.
On a family of symmetric rational functions
Published
• View Publication
• BIB
This paper is about a family of symmetric rational functions that form a one-parameter generalization of the classical Hall-Littlewood polynomials. We introduce two sets of (skew and non-skew) functions that are akin to P and Q Hall-Littlewood polynomials. We establish (a) a combinatorial formula that represents our functions as partition functions for certain path ensembles in the square grid; (b) symmetrization formulas for non-skew functions; (c) identities of Cauchy and Pieri type; (d) explicit formulas for principal specializations; (e) two types of orthogonality relations for non-skew functions.
Our construction is closely related to the half-infinite volume, finite magnon sector limit of the higher spin six-vertex (or XXZ) model, with both sets of functions representing higher spin six-vertex partition functions and/or transfer-matrices for certain domains.
Dual immaculate creation operators and a dendriform algebra structure on the quasisymmetric functions
Published in Canad. J. Math. 69(2017), 21-53 (published version is version 5 without ancillary file)
• View Publication
• BIB
The dual immaculate functions are a basis of the ring QSym of quasisymmetric functions, and form one of the most natural analogues of the Schur functions. The dual immaculate function corresponding to a composition is a weighted generating function for immaculate tableaux in the same way as a Schur function is for semistandard Young tableaux; an "immaculate tableau" is defined similarly to a semistandard Young tableau, but the shape is a composition rather than a partition, and only the first column is required to strictly increase (whereas the other columns can be arbitrary; but each row has to weakly increase). Dual immaculate functions have been introduced by Berg, Bergeron, Saliola, Serrano and Zabrocki in arXiv:1208.5191, and have since been found to possess numerous nontrivial properties.
In this note, we prove a conjecture of Mike Zabrocki which provides an alternative construction for the dual immaculate functions in terms of certain "vertex operators". The proof uses a dendriform structure on the ring QSym; we discuss the relation of this structure to known dendriform structures on the combinatorial Hopf algebras FQSym and WQSym.
The polytope of Tesler matrices
Published in B. Sel. Math. New Ser. (2017) 23: 425
• View Publication
• BIB
We introduce the Tesler polytope Tes_n(a_1,a_2,...,a_n), whose integer points are the Tesler matrices of size n with nonnegative integer hook sums a_1,a_2,...,a_n. We show that Tes_n(a) is a flow polytope and therefore the number of Tesler matrices is counted by the type A_n Kostant partition function evaluated at (a_1,a_2,...,a_n,-a_1-...-a_n). We describe the faces of this polytope in terms of "Tesler tableaux" and characterize when the polytope is simple. We prove that the h-vector of Tes_n(a) when all a_i>0 is given by the Mahonian numbers and calculate the volume of Tes_n(1,1,...,1) to be a product of consecutive Catalan numbers multiplied by the number of standard Young tableaux of staircase shape.
The m-Degenerate Chromatic Number of a Digraph
Published in Noah Golowich. The m-degenerate chromatic number of a digraph, Discrete Mathematics, 339(6): 1734-1743, 2016
• View Publication
• BIB
The digraph chromatic number of a directed graph $D$, denoted $χ_A(D)$, is the minimum positive integer $k$ such that there exists a partition of the vertices of $D$ into $k$ disjoint sets, each of which induces an acyclic subgraph. For any $m \geq 1$, a digraph is weakly $m$-degenerate if each of its induced subgraphs has a vertex of in-degree or out-degree less than $m$. We introduce a generalization of the digraph chromatic number, namely $χ_m(D)$, which is the minimum number of sets into which the vertices of a digraph $D$ can be partitioned so that each set induces a weakly $m$-degenerate subgraph. We show that for all digraphs $D$ without directed 2-cycles, $χ_m(D) \leq \frac{2Δ(D)}{4m+1} + O(1)$. Because $χ_1(D) = χ_A(D)$, we obtain as a corollary that $χ_A(D) \leq 2/5 \cdot Δ(D) + O(1)$. We then use this bound to show that $χ_A(D) \leq \sqrt{2/3} \cdot \tildeΔ(D) + O(1)$, substantially improving a bound of Harutyunyan and Mohar that states that $χ_A(D) \leq (1 - e^{-13})\cdot \tildeΔ(D)$ for large enough $\tildeΔ(D)$.
Superlinear subset partition graphs with dimension reduction, strong adjacency, and endpoint count
Published
• View Publication
• BIB
We construct a sequence of subset partition graphs satisfying the dimension reduction, adjacency, strong adjacency, and endpoint count properties whose diameter has a superlinear asymptotic lower bound. These abstractions of polytope graphs give further evidence against the Linear Hirsch Conjecture.
The number of simultaneous core partitions
Amdeberhan conjectured that the number of $(t,t+1, t+2)$-core partitions is $\sum_{0\leq k\leq [\frac{t}{2}]}\frac{1}{k+1}\binom{t}{2k}\binom{2k}{k}$. In this paper, we obtain the generating function of the numbers $f_t$ of $(t, t + 1, ..., t + p)$-core partitions. In particular, this verifies that Amdeberhan's conjecture is true. We also prove that the number of $(t_1,t_2,..., t_m)$-core partitions is finite if and only if gcd$(t_1,t_2,..., t_m)=1,$ which extends Anderson's result on the finiteness of the number of $(t_1,t_2)$-core partitions for coprime positive integers $t_1$ and $t_2$ and thus rediscover a result of Keith and Nath with a different proof.
Noncrossing partitions, fully commutative elements and bases of the Temperley-Lieb algebra
Published
• View Publication
• BIB
We introduce a new basis of the Temperley-Lieb algebra. It is defined using a bijection between noncrossing partitions and fully commutative elements together with a basis introduced by Zinno, which is obtained by mapping the simple elements of the Birman-Ko-Lee braid monoid to the Temperley-Lieb algebra. The combinatorics of the new basis involve the Bruhat order restricted to noncrossing partitions. As an application we can derive properties of the coefficients of the base change matrix between Zinno's basis and the well-known diagram or Kazhdan-Lusztig basis of the Temperley-Lieb algebra. In particular, we give closed formulas for some of the coefficients of the expansion of an element of the diagram basis in the Zinno basis.
Signatures of representations of Hecke algebras and rational Cherednik algebras
Published
• View Publication
• BIB
Determining whether an irreducible representation of a group (or $*$-algebra) admits a non-degenerate invariant, positive-definite Hermitian form is an important problem in representation theory. In this paper, we study a related notion: that of signatures. We study representations $S^λ(q)$ of $\mathcal{H}_{n}(q)$, the Hecke algebra of type $A$ ($|q| = 1$), and representations $M_{c}(λ)$ of $\mathbb{H}_{c}$, the rational Cherednik algebra of type $A$ ($c \in \mathbb{R}$), which have unique (up to scaling) invariant Hermitian forms (here $λ$ is a partition of $n$). The signature is the number of elements with positive norm minus the number of elements with negative norm, and we analogously define the signature character in the case that there is a natural grading on the module. We provide formulas for (1) signatures of modules over $\mathcal{H}_{n}(q)$ and (2) signature characters of modules over $\mathbb{H}_{c}$. We study the limit $c \rightarrow -\infty$, in which case the signature character has a simpler form in terms of inversions and descents of permutations in $S(n)$. We provide examples corresponding to some special shapes, and small values of $n$. Finally, when $q = e^{2 πi c}$, we show that the asymptotic signature character of the $\mathbb{H}_{c}$-module $M_{c}(τ)$ is the signature of the $\mathcal{H}_{n}(q)$-module $S^τ(q)$.
Conjugacy and Iteration of Standard Interval Rank in Finite Ordered Sets
In order theory, a rank function measures the vertical "level" of a poset element. It is an integer-valued function on a poset which increments with the covering relation, and is only available on a graded poset. Defining a vertical measure to an arbitrary finite poset can be accomplished by extending a rank function to be interval-valued. This establishes an order homomorphism from a base poset to a poset over real intervals, and a standard (canonical) specific interval rank function is available as an extreme case. Various ordering relations are available over intervals, and we begin in this paper by considering conjugate orders which "partition" the space of pairwise comparisons of order elements. For us, these elements are real intervals, and we consider the weak and subset interval orders as (near) conjugates. It is also natural to ask about interval rank functions applied reflexively on whatever poset of intervals we have chosen, and thereby a general iterative strategy for interval ranks. We explore the convergence properties of standard and conjugate interval ranks, and conclude with a discussion of the experimental mathematics needed to support this work.
Odd values of the Klein j-function and the cubic partition function
Published in J. Number Theory 151 (2015), 107--115
• View Publication
• BIB
In this note, using entirely algebraic or elementary methods, we determine a new asymptotic lower bound for the number of odd values of one of the most important modular functions in number theory, the Klein $j$-function. Namely, we show that the number of integers $n\le x$ such that the Klein $j$-function --- or equivalently, the cubic partition function --- is odd is at least of the order of $$\frac{\sqrt{x} \log \log x}{\log x},$$ for $x$ large. This improves recent results of Berndt-Yee-Zaharescu and Chen-Lin, and approaches significantly the best lower bound currently known for the ordinary partition function, obtained using the theory of modular forms. Unlike many works in this area, our techniques to show the above result, that have in part been inspired by some recent ideas of P. Monsky on quadratic representations, do not involve the use of modular forms.
Then, in the second part of the article, we show how to employ modular forms in order to slightly refine our bound. In fact, our brief argument, which combines a recent result of J.-L. Nicolas and J.-P. Serre with a classical theorem of J.-P. Serre on the asymptotics of the Fourier coefficients of certain level 1 modular forms, will more generally apply to provide a lower bound for the number of odd values of any positive power of the generating function of the partition function.
Image Partition near an Idempotent
Some of the classical results of Ramsey Theory can be naturally stated in terms of image partition regularity of matrices. There have been many significant results of image partition regular matrices as well as image partition regular matrices near zero. Here, we are investigating image partition regularity near an idempotent of an arbitrary Hausdorff semitopological semigroup (T, +) and a dense subsemigroup S of T . We describe some combinatorial applications on finite as well as infinite image partition regular matrices based on the Central Sets Theorem near an idempotent of T .
Relations among complementary and supplementary pairings of Saalschutzian 4F3(1) series
Published
• View Publication
• BIB
We investigate sums $K(\vec{x})$ and $L(\vec{x})$ of pairs of (suitably normalized) Saalschützian ${}_4F_3(1)$ hypergeometric series, and develop a theory of relations among these $K$ and $L$ functions.
The function $L(\vec{x})$ has been studied extensively in the literature, and has been shown to satisfy a number of two-term and three-term relations with respect to the variable $\vec{x}$. More recent works have framed these relations in terms of Coxeter group actions on $\vec{x}$, and have developed a similar theory of two-term and three-term relations for $K(\vec{x})$.
In this article, we derive "mixed" three-term relations, wherein any one of the $L$ (respectively, $K$) functions arising in the above context may be expressed as a linear combination of two of the above $K$ (respectively, $L$) functions. We show that, under the appropriate Coxeter group action, the resulting set of three-term relations (mixed and otherwise) among $K$ and $L$ functions partitions into eighteen orbits. We provide an explicit example of a relation from each orbit.
We further classify the eighteen orbits into five types, with each type uniquely determined by the distances (under a certain natural metric) between the $K$ and $L$ functions in the relation. We show that the type of a relation dictates the complexity (in terms of both number of summands and number of factors in each summand) of the coefficients of the $K$ and $L$ functions therein.