partition
6235 papers tagged with this keyword
Modeling languages from graph networks
We model and compute the probability distribution of the letters in random generated words in a language by using the theory of set partitions, Young tableaux and graph theoretical representation methods. This has been of interest for several application areas such as network systems, bioinformatics, internet search, data mining and computacional linguistics.
Arithmetic Properties of Partition Triples With Odd Parts Distinct
Published
• View Publication
• BIB
Let $\mathrm{pod}_{-3}(n)$ denote the number of partition triples of $n$ where the odd parts in each partition are distinct. We find many arithmetic properties of $\mathrm{pod}_{-3}(n)$ involving the following infinite family of congruences: for any integers $α\ge 1$ and $n\ge 0$, \[\mathrm{pod}_{-3}\Big({{3}^{2α+2}}n+\frac{23\times {{3}^{2α+1}}+3}{8}\Big)\equiv 0 \pmod{9}.\] We also establish some arithmetic relations between $\mathrm{pod}(n)$ and $\mathrm{pod}_{-3}(n)$, as well as some congruences for $\mathrm{pod}_{-3}(n)$ modulo 7 and 11.
Inequalities involving the generating function for the number of partitions into odd parts
Published
• View Publication
• BIB
Fibonacci numbers can be expressed in terms of multinomial coefficients as sums over integer partitions into odd parts. We use this fact to introduce a family of double inequalities involving the generating function for the number of partitions into odd parts and the generating function for the number of odd divisors.
A relative of Hadwiger's conjecture
Published in SIAM J. Discrete Math., 29(2015)(4), pp. 2385-2388
• View Publication
• BIB
Hadwiger's conjecture asserts that if a simple graph $G$ has no $K_{t+1}$ minor, then its vertex set $V(G)$ can be partitioned into $t$ stable sets. This is still open, but we prove under the same hypotheses that $V(G)$ can be partitioned into $t$ sets $X_1,\ldots, X_t$, such that for $1\le i\le t$, the subgraph induced on $X_i$ has maximum degree at most a function of $t$. This is sharp, in that the conclusion becomes false if we ask for a partition into $t-1$ sets with the same property.
On the tractability of some natural packing, covering and partitioning problems
In this paper we fix 7 types of undirected graphs: paths, paths with prescribed endvertices, circuits, forests, spanning trees, (not necessarily spanning) trees and cuts. Given an undirected graph $G=(V,E)$ and two "object types" $\mathrm{A}$ and $\mathrm{B}$ chosen from the alternatives above, we consider the following questions. \textbf{Packing problem:} can we find an object of type $\mathrm{A}$ and one of type $\mathrm{B}$ in the edge set $E$ of $G$, so that they are edge-disjoint? \textbf{Partitioning problem:} can we partition $E$ into an object of type $\mathrm{A}$ and one of type $\mathrm{B}$? \textbf{Covering problem:} can we cover $E$ with an object of type $\mathrm{A}$, and an object of type $\mathrm{B}$? This framework includes 44 natural graph theoretic questions. Some of these problems were well-known before, for example covering the edge-set of a graph with two spanning trees, or finding an $s$-$t$ path $P$ and an $s'$-$t'$ path $P'$ that are edge-disjoint. However, many others were not, for example can we find an $s$-$t$ path $P\subseteq E $ and a spanning tree $T\subseteq E$ that are edge-disjoint? Most of these previously unknown problems turned out to be NP-complete, many of them even in planar graphs. This paper determines the status of these 44 problems. For the NP-complete problems we also investigate the planar version, for the polynomial problems we consider the matroidal generalization (wherever this makes sense).
Partitioning two-coloured complete multipartite graphs into monochromatic paths and cycles
Published
• View Publication
• BIB
We show that any complete $k$-partite graph $G$ on $n$ vertices, with $k \ge 3$, whose edges are two-coloured, can be covered with two vertex-disjoint monochromatic paths of distinct colours. We prove this under the necessary assumption that the largest partition class of $G$ contains at most $n/2$ vertices. This extends known results for complete and complete bipartite graphs.
Secondly, we show that in the same situation, all but $o(n)$ vertices of the graph can be covered with two vertex-disjoint monochromatic cycles of distinct colours, if colourings close to a split colouring are excluded. From this we derive that the whole graph, if large enough, may be covered with 14 vertex-disjoint monochromatic cycles.
Armstrong's Conjecture for $(k, mk + 1)$-Core Partitions
Published in European Journal of Combinatorics 47, 54-67 (2015)
• View Publication
• BIB
A conjecture of Armstrong states that if $\gcd (a, b) = 1$, then the average size of an $(a, b)$-core partition is $(a - 1)(b - 1)(a + b + 1) / 24$. Recently, Stanley and Zanello used a recursive argument to verify this conjecture when $a = b - 1$. In this paper we use a variant of their method to establish Armstrong's conjecture in the more general setting where $a$ divides $b - 1$.
Hamiltonicity and $σ$-hypergraphs
Published
• View Publication
• BIB
We define and study a special type of hypergraph. A $σ$-hypergraph $H= H(n,r,q$ $\mid$ $σ$), where $σ$ is a partition of $r$, is an $r$-uniform hypergraph having $nq$ vertices partitioned into $ n$ classes of $q$ vertices each. If the classes are denoted by $V_1$, $V_2$,...,$V_n$, then a subset $K$ of $V(H)$ of size $r$ is an edge if the partition of $r$ formed by the non-zero cardinalities $ \mid$ $K$ $\cap$ $V_i \mid$, $ 1 \leq i \leq n$, is $σ$. The non-empty intersections $K$ $\cap$ $V_i$ are called the parts of $K$, and $s(σ)$ denotes the number of parts. We consider various types of cycles in hypergraphs such as Berge cycles and sharp cycles in which only consecutive edges have a nonempty intersection. We show that most $σ$-hypergraphs contain a Hamiltonian Berge cycle and that, for $n \geq s+1$ and $q \geq r(r-1)$, a $σ$-hypergraph $H$ always contains a sharp Hamiltonian cycle. We also extend this result to $k$-intersecting cycles.
Bounded monochromatic components for random graphs
Published
• View Publication
• BIB
We consider vertex partitions of the binomial random graph $G_{n,p}$. For $np\to\infty$, we observe the following phenomenon: in any partition into asymptotically fewer than $χ(G_{n,p})$ parts, i.e. $o(np/\log np)$ parts, one part must induce a connected component of order at least roughly the average part size.
Stated another way, we consider the $t$-component chromatic number, the smallest number of colours needed in a colouring of the vertices for which no monochromatic component has more than $t$ vertices. As long as $np \to \infty$, there is a threshold for $t$ around $Θ(p^{-1}\log np)$: if $t$ is smaller then the $t$-component chromatic number is nearly as large as the chromatic number, while if $t$ is greater then it is around $n/t$.
For $0 < p <1$ fixed, we obtain more precise information. We find something more subtle happens at the threshold $t = Θ(\log n)$, and we determine that the asymptotic first-order behaviour is characterised by a non-smooth function. Moreover, we consider the $t$-component stability number, the maximum order of a vertex subset that induces a subgraph with maximum component order at most $t$, and show that it is concentrated in a constant length interval about an explicitly given formula, so long as $t = O(\log \log n)$.
We also consider a related Ramsey-type parameter and use bounds on the component stability number of $G_{n,1/2}$ to describe its basic asymptotic growth.
The role of residue and quotient tables in the theory of k-Schur functions
Published
• View Publication
• BIB
Recently, residue and quotient tables were defined by Fishel and the author, and were used to describe strong covers in the lattice of $k$-bounded partitions. In this paper, we show or conjecture that residue and quotient tables can be used to describe many other results in the theory of $k$-bounded partitions and $k$-Schur functions, including $k$-conjugates, weak horizontal and vertical strips, and the Murnaghan-Nakayama rule. Evidence is presented for the claim that one of the most important open questions in the theory of $k$-Schur functions, a general rule that would describe their product, can be also concisely stated in terms of residue tables.
Beta-gamma system, pure spinors and Hilbert series of arc spaces
Published
• View Publication
• BIB
Algorithms are presented for calculating the partition function of constrained beta-gamma systems in terms of the generating functions of the individual fields of the theory, the latter obtained as the Hilbert series of the arc space of the algebraic variety defined by the constraint. Examples of a beta-gamma system on a complex surface with an $A_1$ singularity and pure spinors are worked out and compared with existing results.
Perfect sampling algorithm for Schur processes
Published in Markov Processes Relat. Fields 24, 381-418 (2018)
• Search Publication
We describe random generation algorithms for a large class of random combinatorial objects called Schur processes, which are sequences of random (integer) partitions subject to certain interlacing conditions. This class contains several fundamental combinatorial objects as special cases, such as plane partitions, tilings of Aztec diamonds, pyramid partitions and more generally steep domino tilings of the plane. Our algorithm, which is of polynomial complexity, is both exact (i.e. the output follows exactly the target probability law, which is either Boltzmann or uniform in our case), and entropy optimal (i.e. it reads a minimal number of random bits as an input).
The algorithm encompasses previous growth procedures for special Schur processes related to the primal and dual RSK algorithm, as well as the famous domino shuffling algorithm for domino tilings of the Aztec diamond. It can be easily adapted to deal with symmetric Schur processes and general Schur processes involving infinitely many parameters. It is more concrete and easier to implement than Borodin's algorithm, and it is entropy optimal.
At a technical level, it relies on unified bijective proofs of the different types of Cauchy and Littlewood identities for Schur functions, and on an adaptation of Fomin's growth diagram description of the RSK algorithm to that setting. Simulations performed with this algorithm suggest interesting limit shape phenomena for the corresponding tiling models, some of which are new.
Equistarable graphs and counterexamples to three conjectures on equistable graphs
Published in J. Graph Theory, 84: 536-551 (2017)
• View Publication
• BIB
Equistable graphs are graphs admitting positive weights on vertices such that a subset of vertices is a maximal stable set if and only if it is of total weight $1$. In $1994$, Mahadev et al.~introduced a subclass of equistable graphs, called strongly equistable graphs, as graphs such that for every $c \le 1$ and every non-empty subset $T$ of vertices that is not a maximal stable set, there exist positive vertex weights such that every maximal stable set is of total weight $1$ and the total weight of $T$ does not equal $c$. Mahadev et al. conjectured that every equistable graph is strongly equistable. General partition graphs are the intersection graphs of set systems over a finite ground set $U$ such that every maximal stable set of the graph corresponds to a partition of $U$. In $2009$, Orlin proved that every general partition graph is equistable, and conjectured that the converse holds as well.
Orlin's conjecture, if true, would imply the conjecture due to Mahadev, Peled, and Sun. An intermediate conjecture, one that would follow from Orlin's conjecture and would imply the conjecture by Mahadev, Peled, and Sun, was posed by Miklavič and Milanič in $2011$, and states that every equistable graph has a clique intersecting all maximal stable sets. The above conjectures have been verified for several graph classes. We introduce the notion of equistarable graphs and based on it construct counterexamples to all three conjectures within the class of complements of line graphs of triangle-free graphs.
Deligne categories and reduced Kronecker coefficients
Published
• View Publication
• BIB
The Kronecker coefficients are the structural constants for the tensor categories of representations of the symmetric groups; namely, given three partitions $λ, μ, τ$ of $n$, the multiplicity of $λ$ in $μ\otimes τ$ is called the Kronecker coefficient $g^λ_{μ, τ}$.
When the first part of each of the partitions is taken to be very large (the remaining parts being fixed), the values of the appropriate Kronecker coefficients stabilize; the stable value is called the reduced (or stable) Kronecker coefficient. These coefficients also generalize the Littlewood-Richardson coefficients, and have been studied quite extensively.
In this paper, we show that reduced Kronecker coefficients appear naturally as structure constants of the Deligne categories $\underline{Rep}(S_t)$. This allows us to interpret various properties of the reduced Kronecker coefficients as categorical properties of the categories $\underline{Rep}(S_t)$.
From Aztec diamonds to pyramids: steep tilings
Published in Trans. Amer. Math. Soc. 369 (2017), 5921-5959
• View Publication
• BIB
We introduce a family of domino tilings that includes tilings of the Aztec diamond and pyramid partitions as special cases. These tilings live in a strip of $\mathbb{Z}^2$ of the form $1 \leq x-y \leq 2\ell$ for some integer $\ell \geq 1$, and are parametrized by a binary word $w\in\{+,-\}^{2\ell}$ that encodes some periodicity conditions at infinity. Aztec diamond and pyramid partitions correspond respectively to $w=(+-)^\ell$ and to the limit case $w=+^\infty-^\infty$. For each word $w$ and for different types of boundary conditions, we obtain a nice product formula for the generating function of the associated tilings with respect to the number of flips, that admits a natural multivariate generalization. The main tools are a bijective correspondence with sequences of interlaced partitions and the vertex operator formalism (which we slightly extend in order to handle Littlewood-type identities). In probabilistic terms our tilings map to Schur processes of different types (standard, Pfaffian and periodic). We also introduce a more general model that interpolates between domino tilings and plane partitions.
Finite Differences of the Logarithm of the Partition Function
Published
• View Publication
• BIB
Let $p(n)$ denote the partition function. DeSalvo and Pak proved that $\frac{p(n-1)}{p(n)}\left(1+\frac{1}{n}\right)> \frac{p(n)}{p(n+1)}$ for $n\geq 2$, as conjectured by Chen. Moreover, they conjectured that a sharper inequality $\frac{p(n-1)}{p(n)}\left( 1+\fracπ{\sqrt{24}n^{3/2}}\right) > \frac{p(n)}{p(n+1)}$ holds for $n\geq 45$. In this paper, we prove the conjecture of Desalvo and Pak by giving an upper bound for $-Δ^{2} \log p(n-1)$, where $Δ$ is the difference operator with respect to $n$. We also show that for given $r\geq 1$ and sufficiently large $n$, $(-1)^{r-1}Δ^{r} \log p(n)>0$. This is analogous to the positivity of finite differences of the partition function. It was conjectured by Good and proved by Gupta that for given $r\geq 1$, $Δ^{r} p(n)>0$ for sufficiently large $n$.
Heaps and Two Exponential Structures
Published
• View Publication
• BIB
Take ${\sf Q}=({\sf Q}_1,{\sf Q}_2,\ldots)$ to be an exponential structure and $M(n)$ to be the number of minimal elements of ${\sf Q}_n$ where $M(0)=1$. Then a sequence of numbers $\{r_n({\sf Q}_n)\}_{n\ge 1}$ is defined by the equation \begin{eqnarray*} \sum_{n\ge 1}r_n({\sf Q}_n)\frac{z^n}{n!\,M(n)}=-\log(\sum_{n\ge 0}(-1)^n\frac{z^n}{n!\,M(n)}). \end{eqnarray*} Let $\bar{\sf Q}_n$ denote the poset ${\sf Q}_n$ with a $\hat{0}$ adjoined and let $\hat{1}$ denote the unique maximal element in the poset ${\sf Q}_n$. Furthermore, let $μ_{{\sf Q}_n}$ be the Möbius function on the poset $\bar{\sf Q}_n$. Stanley proved that $r_n({\sf Q}_n)=(-1)^nμ_{{\sf Q}_n}(\hat{0},\hat{1})$. This implies that the numbers $r_n({\sf Q}_n)$ are integers. In this paper, we study the cases ${\sf Q}_n=Π_n^{(r)}$ and ${\sf Q}_n={\sf Q}_n^{(r)}$ where $Π_n^{(r)}$ and ${\sf Q}_n^{(r)}$ are posets, respectively, of set partitions of $[rn]$ whose block sizes are divisible by $r$ and of $r$-partitions of $[n]$. In both cases we prove that $r_n(Π_n^{(r)})$ and $r_n({\sf Q}_n^{(r)})$ enumerate the pyramids by applying the Cartier-Foata monoid identity and further prove that $r_n(Π_n^{(r)})$ is the generalized Euler number $E_{rn-1}$ and that $r_n({\sf Q}_n^{(2)})$ is the number of complete non-ambiguous trees of size $2n-1$ by bijections. This gives a new proof of Welker's theorem that $r_n(Π_n^{(r)})=E_{rn-1}$ and implies the construction of $r$-dimensional complete non-ambiguous trees. As a bonus of applying the theory of heaps, we establish a bijection between the set of complete non-ambiguous forests and the set of pairs of permutations with no common rise. This answers an open question raised by Aval {\it et al.}.
On Hochster's formula for a class of quotient spaces of moment-angle complexes
Published in Osaka Journal of Mathematics 56 (2019), no. 1, 33--50
• Search Publication
Any finite simplicial complex K and a partition of the vertex set of K determines a canonical quotient space of the moment-angle complex of K. We prove that the cohomology groups of such a space can be computed via some Hochster's type formula, which generalizes the usual Hochster's formula for the cohomology groups of moment-angle complexes. In addition, we show that the stable decomposition of moment-angle complexes can also be extended to such spaces. This type of spaces include all the quasitoric manifolds that are pullback from the linear models. And we prove that the moment-angle complex associated to a finite simplicial poset is always homotopy equivalent to one of such spaces.
Asymptotic formulae for partition ranks
Published in Acta Arithmetica 168 (2015), pp. 83-100
• View Publication
• BIB
Using an extension of Wright's version of the circle method, we obtain asymptotic formulae for partition ranks similar to formulae for partition cranks which where conjectured by F. Dyson and recently proved by the first author and K. Bringmann.
Estimating the asymptotics of solid partitions
Published in J Stat Phys 158 (2015) 950-967
• View Publication
• BIB
We study the asymptotic behavior of solid partitions using transition matrix Monte Carlo simulations. If $p_3(n)$ denotes the number of solid partitions of an integer $n$, we show that $\lim_{n\rightarrow\infty} n^{-3/4} \log p_3(n)\sim 1.822\pm 0.001$. This shows clear deviation from the value $1.7898$, attained by MacMahon numbers $m_3(n)$, that was conjectured to hold for solid partitions as well. In addition, we find estimates for other sub-leading terms in $\log p_3(n)$. In a pattern deviating from the asymptotics of line and plane partitions, we need to add an oscillatory term in addition to the obvious sub-leading terms. The period of the oscillatory term is proportional to $n^{1/4}$, the natural scale in the problem. This new oscillatory term might shed some insight into why partitions in dimensions greater than two do not admit a simple generating function.