partition
6235 papers tagged with this keyword
Ramsey degrees and entropy of combinatorial structures
Close connections between various notions of entropy and the apparatus of category theory have been observed already in the 1980s and more vigorously developed in the past ten years. The starting point of the paper is the recent categorical understanding of structural Ramsey degrees, which then leads to a way to compute entropy of an object in a small category not as a measure of statistical, but as a measure of its combinatorial complexity. The new entropy function we propose, the Ramsey entropy, is a real-valued invariant of an object in an arbitrary small category. We require no additional categorical machinery to introduce and prove the properties of this entropy. Motivated by combinatorial phenomena (structural Ramsey degrees) we build the necessary infrastructure and prove the fundamental properties using only special partitions imposed on homsets. We conclude the paper with the discussion of the maximal Ramsey entropy on a category that we refer to as the Ramsey-Boltzmann entropy.
Refinements of Beck-type partition identities
Published
• View Publication
• BIB
Franklin's identity generalizes Euler's identity and states that the number of partitions of $n$ with $j$ different parts divisible by $r$ equals the number of partitions of $n$ with $j$ repeated parts. In this article, we give a refinement of Franklin's identity when $j=1$. We prove Franklin's identity when $j=1$, $r=2$ for partitions with fixed perimeter, i.e., fixed largest hook. We also derive a Beck-type identity for partitions with fixed perimeter: the excess in the number of parts in all partitions into odd parts with perimeter $M$ over the number of parts in all partitions into distinct parts with perimeter $M$ equals the number of partitions with perimeter $M$ whose set of even parts is a singleton. We provide analytic and combinatorial proofs of our results.
2-colored Rogers-Ramanujan partition identities
In this paper, we combined two types of partitions and introduced 2-colored Rogers-Ramanujan partitions. By finding some functional equations and using a constructive method, some identities have been found. Some Overpartition identities coincide with our findings. A correspondence between colored partitions and overpartitions is provided.
10 Problems for Partitions of Triangle-free Graphs
Published
• View Publication
• BIB
We will state 10 problems, and solve some of them, for partitions in triangle-free graphs related to Erdős' Sparse Half Conjecture. Among others we prove the following variant of it: For every sufficiently large even integer $n$ the following holds. Every triangle-free graph on $n$ vertices has a partition $V(G)=A\cup B$ with $|A|=|B|=n/2$ such that $e(G[A])+e(G[B])\leq n^2/16$. This result is sharp since the complete bipartite graph with class sizes $3n/4$ and $n/4$ achieves equality, when $n$ is a multiple of 4.
Additionally, we discuss similar problems for $K_4$-free graphs.
Combinatorics of Triangular Partitions
Published
• View Publication
• BIB
The aim of this paper is to develop the combinatorics of constructions associated to what we call \emph{triangular partitions}. As introduced in arXiv:2102.07931, these are the partitions whose cells are those lying below the line joining points $(r,0)$ and $(0,s)$, for any given positive reals $r$ and $s$. Classical notions such as Dyck paths and parking functions are naturally generalized by considering the set of partitions included in a given triangular partition. One of our striking results is that the restriction of the Young lattice to triangular partition has a planar Hasse diagram, with many nice properties. It follows that we may generalize the "first-return" recurrence, for the enumeration of classical Dyck paths, to the enumeration of all partitions contained in a fixed triangular one.
Integrality in the Matching-Jack conjecture and the Farahat-Higman algebra
Published
• View Publication
• BIB
Using Jack polynomials, Goulden and Jackson have introduced a one parameter deformation $τ_b$ of the generating series of bipartite maps, which generalizes the partition function of $β$-ensembles of random matrices. The Matching-Jack conjecture suggests that the coefficients $c^λ_{μ,ν}$ of the function $τ_b$ in the power-sum basis are non-negative integer polynomials in the deformation parameter $b$. Dołęga and Féray have proved in 2016 the "polynomiality" part in the Matching-Jack conjecture, namely that coefficients $c^λ_{μ,ν}$ are in $\mathbb{Q}[b]$. In this paper, we prove the "integrality" part, i.e that the coefficients $c^λ_{μ,ν}$ are in $\mathbb{Z}[b]$.
The proof is based on a recent work of the author that deduces the Matching-Jack conjecture for marginal sums from an analog result for the $b$-conjecture, established in 2020 by Chapuy and Dołęga. A key step in the proof involves a new connection with the graded Farahat-Higman algebra.
A proof of the $\frac{n!}{2}$ conjecture for hook shapes
Published
• View Publication
• BIB
A well-known representation-theoretic model for the transformed Macdonald polynomial $\widetilde{H}_μ(Z;t,q)$, where $μ$ is an integer partition, is given by the Garsia-Haiman module $\mathcal{H}_μ$. We study the $\frac{n!}{k}$ conjecture of Bergeron and Garsia, which concerns the behavior of certain $k$-tuples of Garsia-Haiman modules under intersection. In the special case that $μ$ has hook shape, we use a basis for $\mathcal{H}_μ$ due to Adin, Remmel, and Roichman to resolve the $\frac{n!}{2}$ conjecture by constructing an explicit basis for the intersection of two Garsia-Haiman modules.
A combinatorial view of stochastic processes: White noise
Published
• View Publication
• BIB
White noise is a fundamental and fairly well understood stochastic process that conforms the conceptual basis for many other processes, as well as for the modeling of time series. Here we push a fresh perspective toward white noise that, grounded on combinatorial considerations, contributes to give new interesting insights both for modelling and theoretical purposes. To this aim, we incorporate the ordinal pattern analysis approach which allows us to abstract a time series as a sequence of patterns and their associated permutations, and introduce a simple functional over permutations that partitions them into classes encoding their level of asymmetry. We compute the exact probability mass function (p.m.f.) of this functional over the symmetric group of degree $n$, thus providing the description for the case of an infinite white noise realization. This p.m.f. can be conveniently approximated by a continuous probability density from an exponential family, the Gaussian, hence providing natural sufficient statistics that render a convenient and simple statistical analysis through ordinal patterns. Such analysis is exemplified on experimental data for the spatial increments from tracks of gold nanoparticles in 3D diffusion.
On the Binary and Boolean Rank of Regular Matrices
Published
• View Publication
• BIB
A $0,1$ matrix is said to be regular if all of its rows and columns have the same number of ones. We prove that for infinitely many integers $k$, there exists a square regular $0,1$ matrix with binary rank $k$, such that the Boolean rank of its complement is $k^{\widetildeΩ(\log k)}$. Equivalently, the ones in the matrix can be partitioned into $k$ combinatorial rectangles, whereas the number of rectangles needed for any cover of its zeros is $k^{\widetildeΩ(\log k)}$. This settles, in a strong form, a question of Pullman (Linear Algebra Appl., 1988) and a conjecture of Hefner, Henson, Lundgren, and Maybee (Congr. Numer., 1990). The result can be viewed as a regular analogue of a recent result of Balodis, Ben-David, Göös, Jain, and Kothari (FOCS, 2021), motivated by the clique vs. independent set problem in communication complexity and by the (disproved) Alon-Saks-Seymour conjecture in graph theory. As an application of the produced regular matrices, we obtain regular counterexamples to the Alon-Saks-Seymour conjecture and prove that for infinitely many integers $k$, there exists a regular graph with biclique partition number $k$ and chromatic number $k^{\widetildeΩ(\log k)}$.
The second shifted difference of partitions and its applications
Published
• View Publication
• BIB
A number of recent papers have estimated ratios of the partition function $p(n-j)/p(n)$, which appears in many applications. Here, we prove an easy-to-use effective bound on these ratios. Using this, we then study second shifted difference of partitions, $f(j,n):= p(n) -2p(n-j) +p(n-2j)$, and give another easy-to-use estimate of $f(j,n)$. As applications of these, we prove a shifted convexity property of $p(n)$, as well as giving new estimates of the $k$-rank partition function $N_k(m,n)$ and non-$k$-ary partitions along with their differences.
How Expressive Are Friendly School Partitions?
A natural procedure for assigning students to classes in the beginning of the school-year is to let each student write down a list of $d$ other students with whom she/he wants to be in the same class (typically $d=3$). The teachers then gather all the lists and try to assign the students to classes in a way that each student is assigned to the same class with at least one student from her/his list. We refer to such partitions as friendly. In realistic scenarios, the teachers may also consider other constraints when picking the friendly partition: e.g. there may be a group of students whom the teachers wish to avoid assigning to the same class; alternatively, there may be two close friends whom the teachers want to put together; etc.
Inspired by such challenges, we explore questions concerning the expressiveness of friendly partitions. For example: Does there always exist a friendly partition? More generally, how many friendly partitions are there? Can every student $u$ be separated from any other student $v$? Does there exist a student $u$ that can be separated from any other student $v$?
We show that when $d\geq 3$ there always exist at least $2$ friendly partitions and when $d\geq 15$ there always exists a student $u$ which can be separated from any other student $v$. The question regarding separability of each pair of students is left open, but we give a positive answer under the additional assumption that each student appears in at most roughly $\exp(d)$ lists. We further suggest several open questions and present some preliminary findings towards resolving them.
Enumeration of symmetric arc diagrams
Published in Involve 16 (2023) 107-126
• View Publication
• BIB
We give recurrence relations for the enumeration of symmetric elements within four classes of arc diagrams corresponding to certain involutions and set partitions whose blocks contain no consecutive integers. These arc diagrams are motivated by the study of RNA secondary structures. For example, classic RNA secondary structures correspond to 3412-avoiding involutions with no adjacent transpositions, and structures with base triples may be represented as partitions with crossings. Our results rely on combinatorial arguments. In particular, we use Motzkin paths to describe noncrossing arc diagrams that have no arc connecting two adjacent nodes, and we give an explicit bijection to ternary words whose length coincides with the sum of their digits. We also discuss the asymptotic behavior of some of the sequences considered here in order to quantify the extremely low probability of finding symmetric structures with a large number of nodes.
On sets related to integer partitions with quasi-required elements and disallowed elements
Published in Aequationes Math. 98(2) (2024), 423-440
• View Publication
• BIB
Given a set A of non-negative integers and a set B of positive integers,we are interested in computing all sets C (of positive integers) that are minimal in the family of sets K (of positive integers) such that (i) K contains no elements generated by non-negative integer linear combinations of elements in A and (ii) for any partition of an element in B there is at least one summand that belongs to K. To solve this question, we translate it into a numerical semigroups problem.
Proofs of some conjectures of Chan-Mao-Osburn on Beck's partition statistics
Published
• View Publication
• BIB
Recently, George Beck introduced two partition statistics $NT(m,j,n)$ and $M_ω(m,j,n)$, which denote the total number of parts in the partition of $n$ with rank congruent to $m$ modulo $j$ and the total number of ones in the partition of $n$ with crank congruent to $m$ modulo $j$, respectively. Andrews proved a congruence on $NT(m,5,n)$ which was conjectured by Beck. Very recently, Chan, Mao and Osburn established a number of Andrews-Beck type congruences and posed several conjectures involving $NT(m,j,n)$ and $M_ω(m,j,n)$. Some of those conjectures were proved by Chern and Mao. In this paper, we confirm the remainder three conjectures of Chan-Mao-Osburn and two conjectures due to Mao. We also present two new conjectures on $M_ω(m,j,n)$ and $NT(m,j,n)$.
Partitions, Multiple Zeta Values and the q-bracket
Published
• View Publication
• BIB
We provide a framework for relating certain q-series defined by sums over partitions to multiple zeta values. In particular, we introduce a space of polynomial functions on partitions for which the associated q-series are q-analogues of multiple zeta values. By explicitly describing the (regularized) multiple zeta values one obtains as $q\to 1$, we extend previous results known in this area. Using this together with the fact that other families of functions on partitions, such as shifted symmetric functions, are elements in our space will then give relations among (q-analogues of) multiple zeta values. Conversely, we will show that relations among multiple zeta values can be `lifted' to the world of functions on partitions, which provides new examples of functions where the associated q-series are quasimodular.
Flag-transitive, point-imprimitive symmetric $2$-$(v,k,λ)$ designs with $k>λ\left(λ-3 \right)/2$
Let $\mathcal{D}=\left(\mathcal{P},\mathcal{B} \right)$ be a symmetric $2$-$(v,k,λ)$ design admitting a flag-transitive, point-imprimitive automorphism group $G$ that leaves invariant a non-trivial partition $Σ$ of $\mathcal{P}$. Praeger and Zhou \cite{PZ} have shown that, there is a constant $k_{0}$ such that, for each $B \in \mathcal{B}$ and $Δ\in Σ$, the size of $\left\vert B \cap Δ\right \vert$ is either $0$ or $k_{0}$. In the present paper we show that, if $k>λ\left(λ-3 \right)/2$ and $k_{0} \geq 3$, $\mathcal{D}$ is isomorphic to one of the known flag-transitive, point-imprimitive symmetric $2$-designs with parameters $(45,12,3)$ or $(96,20,4)$.
Zero-sum partitions of Abelian groups and their applications to magic- and antimagic-type labelings
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:3, Combinatorics (October 25, 2024) dmtcs:12361
• View Publication
• BIB
The following problem has been known since the 80s. Let $Γ$ be an Abelian group of order $m$ (denoted $|Γ|=m$), and let $t$ and $\{m_i\}_{i=1}^{t}$, be positive integers such that $\sum_{i=1}^t m_i=m-1$. Determine when $Γ^*=Γ\setminus\{0\}$, the set of non-zero elements of $Γ$, can be partitioned into disjoint subsets $\{S_i\}_{i=1}^{t}$ such that $|S_i|=m_i$ and $\sum_{s\in S_i}s=0$ for every $1 \leq i \leq t$. Such a subset partition is called a \textit{zero-sum partition}. $|I(Γ)|\neq 1$, where $I(Γ)$ is the set of involutions in $Γ$, is a necessary condition for the existence of zero-sum partitions. In this paper, we show that the additional condition of $m_i\geq 4$ for every $1 \leq i \leq t$, is sufficient. Moreover, we present some applications of zero-sum partitions to magic- and antimagic-type labelings of graphs.
Integer partitions with large Dyson rank
The Dyson rank of an integer partition is the difference between its largest part and the number of parts it contains. Using Fine-Dyson symmetry, we give formulas for the number of partitions of n with rank larger than n/2, and we prove identities for counts of partitions with large rank in fixed residue classes.
Partitioning planar graphs without 4-cycles and 6-cycles into a forest and a disjoint union of paths
Published
• View Publication
• BIB
In this paper, we show that every planar graph without $4$-cycles and $6$-cycles has a partition of its vertex set into two sets, where one set induces a forest, and the other induces a forest with maximum degree at most $2$ (equivalently, a disjoint union of paths).
Note that we can partition the vertex set of a forest into two independent sets. However, a pair of independent sets combined may not induce a forest. Thus our result extends the result of Wang and Xu (2013) stating that the vertex set of every planar graph without $4$-cycles and $6$-cycles can be partitioned into three sets, where one induces a graph with maximum degree two, and the remaining two are independent sets.
Completing the $\mathrm{A}_2$ Andrews-Schilling-Warnaar identities
Published
• View Publication
• BIB
We study the Andrews-Schilling-Warnaar sum-sides for the principal characters of standard (i.e., integrable, highest weight) modules of $\mathrm{A}_2^{(1)}$. These characters have been studied recently by various subsets of Corteel, Dousse, Foda, Uncu, Warnaar and Welsh. We prove complete sets of identities for moduli $5$ through $8$ and $10$, in Andrews-Schilling-Warnaar form. The cases of moduli $6$ and $10$ are new. Our methods depend on the Corteel-Welsh recursions governing the cylindric partitions and on certain relations satisfied by the Andrews-Schilling-Warnaar sum-sides. We speculate on the role of the latter in the proofs of higher modulus identities. Further, we provide a complete set of conjectures for modulus $9$. In fact, we show that at any given modulus, a complete set of conjectures may be deduced using a subset of "seed" conjectures. These seed conjectures are obtained by appropriately truncating conjectures for the "infinite" level. Additionally, for moduli $3k$, we use an identity of Weierstrass to deduce new sum-product identities starting from the results of Andrews-Schilling-Warnaar.