partition
6354 papers tagged with this keyword
Cluster parking functions
Published in Bull. Belg. Math. Soc. Simon Stevin 32(1): 1-44 (April 2025)
• View Publication
• BIB
The cluster complex on one hand, parking functions on the other hand, are two combinatorial (po)sets that can be associated to a finite real reflection group. Cluster parking functions are obtained by taking an appropriate fiber product (over noncrossing partitions). There is a natural structure of simplicial complex on these objects, and our main goal is to show that it has the homotopy type of a (pure) wedge of spheres. The unique nonzero homology group (as a representation of the underlying reflection group) is a sign-twisted parking representation, which is the same as Gordon's quotient of diagonal coinvariants. Along the way, we prove some properties of the poset of parking functions. We also provide a long list of remaining open problems.
Neighborly boxes and bipartite coverings; constructions and conjectures
Published
• View Publication
• BIB
Two axis-aligned boxes in $\mathbb{R}^d$ are \emph{$k$-neighborly} if their intersection has dimension at least $d-k$ and at most $d-1$. The maximum number of pairwise $k$-neighborly boxes in $\mathbb{R}^d$ is denoted by $n(k,d)$. It is known that $n(k,d)=Θ(d^k)$, for fixed $1\leqslant k\leqslant d$, but exact formulas are known only in three cases: $k=1$, $k=d-1$, and $k=d$. In particular, the formula $n(1,d)=d+1$ is equivalent to the famous theorem of Graham and Pollak on bipartite partitions of cliques.
In this paper we are dealing with the case $k=2$. We give a new construction of $k$-neighborly \emph{codes} giving better lower bounds on $n(2,d)$. The construction is recursive in nature and uses a kind of ``algebra'' on \emph{lists} of ternary strings, which encode neighborly boxes in a familiar way. Moreover, we conjecture that our construction is optimal and gives an explicit formula for $n(2,d)$. This supposition is supported by some numerical experiments and some partial results on related open problems which are recalled.
Largest bipartite sub-matchings of a random ordered matching or a problem with socks
Published
• View Publication
• BIB
Let $M$ be an ordered matching of size $n$, that is, a partition of the set $[2n]$ into 2-element subsets. The sock number of $M$ is the maximum size of a sub-matching of $M$ in which all left-ends of the edges precede all the right-ends (such matchings are also called bipartite). The name of this parameter comes from an amusing "real-life" problem posed by Bosek, concerning an on-line pairing of randomly picked socks from a drying machine. Answering one of Bosek's questions we prove that the sock number of a random matching of size $n$ is asymptotically equal to $n/2$. Moreover, we prove that the expected average number of socks waiting for their match during the whole process is equal to $\frac{2n+1}{6}$. Analogous results are obtained if socks come not in pairs, but in sets of size $r\geq 2$, which corresponds to a similar problem for random ordered $r$-matchings. We also attempt to enumerate matchings with a given sock number.
Palindrome Partitions and the Calkin-Wilf Tree
Published
• View Publication
• BIB
There is a well-known bijection between finite binary sequences and integer partitions. Sequences of length r correspond to partitions of perimeter r+1. Motivated by work on rational numbers in the Calkin-Wilf tree, we classify partitions whose corresponding binary sequence is a palindrome. We give a generating function that counts these partitions, and describe how to efficiently generate all of them. Atypically for partitions generating functions, we find an unusual significance to prime degrees. Specifically, we prove there are nontrivial palindrome partitions of n except when n=3 or n+1 is prime. We find an interesting new "branching diagram" for partitions, similar to Young's lattice, with an action of the Klein four group corresponding to natural operations on the binary sequences.
Random partitions, potential, value, and externalities
Published
• View Publication
• BIB
The Shapley value equals a player's contribution to the potential of a game. The potential is a most natural one-number summary of a game, which can be computed as the expected accumulated worth of a random partition of the players. This computation integrates the coalition formation of all players and readily extends to games with externalities. We investigate those potential functions for games with externalities that can be computed this way. It turns out that the potential that corresponds to the MPW solution introduced by Macho-Stadler et al. (2007, J. Econ. Theory 135, 339--356) is unique in the following sense. It is obtained as the expected accumulated worth of a random partition, it generalizes the potential for games without externalities, and it induces a solution that satisfies the null player property even in the presence of externalities.
On the connected coalition number
Published
• View Publication
• BIB
For a graph $G=(V,E)$, a pair of vertex disjoint sets $A_{1}$ and $A_{2}$ form a connected coalition of $G$, if $A_{1}\cup A_{2}$ is a connected dominating set, but neither $A_{1}$ nor $A_{2}$ is a connected dominating set. A connected coalition partition of $G$ is a partition $Φ$ of $V(G)$ such that each set in $Φ$ either consists of only a singe vertex with the degree $|V(G)|-1$, or forms a connected coalition of $G$ with another set in $Φ$. The connected coalition number of $G$, denoted by $CC(G)$, is the largest possible size of a connected coalition partition of $G$. In this paper, we characterize graphs that satisfy $CC(G)=2$. Moreover, we obtain the connected coalition number for unicycle graphs and for the corona product and join of two graphs. Finally, we give a lower bound on the connected coalition number of the Cartesian product and the lexicographic product of two graphs.
A note on the number of plane partitions and $r$-component multipartitions of $n$
Published in Math. Commun. 29 (2024), 105-115
• Search Publication
Using elementary methods, we prove new formulas for $\operatorname{pp}(n)$, the number of plane partitions of $n$, $\operatorname{pp}_r(n)$, the number of plane partitions of $n$ with at most $r$ rows, $\operatorname{pp}^s(n)$, the number of strict plane partitions of $n$ and $\operatorname{pp}^{so}(n)$, the number of symmetric plane partitions of $n$. Also, we give new formulas for $P_r(n)$, the number of $r$-component multipartitions of $n$.
q-power symmetric functions and q-exponential formula
Let $λ=\left( λ_{1},λ_{2},...,λ_{r}\right) $ be an integer partition, and $\left[p_{λ}\right] $ the $q$-analog of the symmetric power function $%p_{λ}$. This $q$-analogue has been defined as a special case, in the author's previous article: "A $q$-analog of certain symmetric functions and one of its specializations". Here, we prove that a large part of the classical relations between $p_{λ}$, on one hand, and the elementary and complete symmetric functions $e_{n}$ and $h_{n}$, on the other hand, have $q$-analogues with $\left[ p_{λ}\right] $. In particular, the generating functions $E\left( t\right) =\sum\nolimits_{n\geq 0}e_{n}t^{n}$ and $H\left( t\right) =\sum\nolimits_{n\geq 0}h_{n}t^{n}$ are expressed in terms of $\left[ p_{n}\right] $, using Gessel's $q$-exponential formula and a variant of it. A factorization of these generating functions into infinite $q$-products, which has no classical counterpart, is established. By specializing these results, we show that the $q$-binomial theorem is a special case of these infinite $q$-products. We also obtain new formulas for the tree inversions enumerators and for certain $q$-orthogonal polynomials, detailing the case of dicrete $q$-Hermite polynomials.
On the Bessenrodt-Ono type inequality for a wide class of $A$-partition functions
Published
• View Publication
• BIB
The $A$-partition function $p_A(n)$ enumerates those partitions of $n$ whose parts belong to a fixed (finite or infinite) set $A$ of positive integers. On the other hand, the extended $A$-partition function $p_A\left(\boldsymbolμ\right)$ is defined as an multiplicative extension of the $A$-partition function to a function on $A$-partitions. In this paper, we investigate the Bessenrodt-Ono type inequality for a wide class of $A$-partition functions. In particular, we examine the property for both the $m$-ary partition function $b_m(n)$ and the $d$-th power partition function $p_d(n)$. Moreover, we show that $b_m(\boldsymbolμ)$ ($p_d(\boldsymbolμ)$) takes its maximum value at an explicitly described set of $m$-ary partitions (power partitions), where $\boldsymbolμ$ is an $m$-ary partition (a power partition) of $n$. Additionally, we exhibit analogous results for the Fibonacci partition function and the `factorial' partition function. It is worth pointing out that an elementary combinatorial reasoning plays a crucial role in our investigation.
Combinatorial identities from an inhomogeneous Ising chain
We study a family of inhomogeneous Ising chain models along with an equivalent family of nearest neighbour particle systems. By the correspondence between the two families we prove identities of combinatorial significance relating to certain integer and Frobenius partitions. In particular, for certain parameter values we see that one of our identities relates to generating functions for overpartitions. Using the identities we give a surprising product form of the partition function for an Ising chain with homogeneous interaction and an inhomogeneous external field. We also use the connection between the Ising chain and particle system to find interesting long-range reversible dynamics for the particle system that do not have a product form stationary measure.
$n\text{-}Lie_d$ Operad and its Koszul Dual
We study the operad $n\text{-}Lie_d$, whose algebras are graded $n$-Lie algebras with degree $d$ $n$-arity operations, which were introduced in Nambu mechanics and later studied in the algebraic setting with Filippov. We compute the Koszul dual of $n\text{-}Lie_d$, called $n\text{-}Com_{-d+n-2}$, whose relations are derived from the Specht module $S^{(n,n-1)}$ for a partition $(n,n-1)$ of $2n-1$. The intrinsic connection between these two operads come from the eigenvalues of the sequence of graphs $\{\mathcal{O}_n\}_{n\geq 0}$, called the Odd graphs, whose spectrum is related to the lower triangular sequence $\{\mathcal{E}_{r,n}\}$, called the Catalan triangle.
Complexity results on locally-balanced $2$-partitions of graphs
A \emph{$2$-partition of a graph $G$} is a function $f:V(G)\rightarrow \{0,1\}$. A $2$-partition $f$ of a graph $G$ is a \emph{locally-balanced with an open neighborhood} if for every $v\in V(G)$, $$\left\vert \vert \{u\in N_{G}(v)\colon\,f(u)=0\}\vert - \vert \{u\in N_{G}(v)\colon\,f(u)=1\}\vert \right\vert\leq 1.$$ A $2$-partition $f^{\prime}$ of a graph $G$ is a \emph{locally-balanced with a closed neighborhood} if for every $v\in V(G)$, $$\left\vert \vert \{u\in N_{G}[v]\colon\,f^{\prime}(u)=0\}\vert - \vert \{u\in N_{G}[v]\colon\,f^{\prime}(u)=1\}\vert \right\vert\leq 1.$$ In this paper we prove that the problem of the existence of locally-balanced $2$-partition with an open (closed) neighborhood is $NP$-complete for some restricted classes of graphs. In particular, we show that the problem of deciding if a given graph has a locally-balanced $2$-partition with an open neighborhood is $NP$-complete for biregular bipartite graphs and even bipartite graphs with maximum degree $4$, and the problem of deciding if a given graph has a locally-balanced $2$-partition with a closed neighborhood is $NP$-complete even for subcubic bipartite graphs and odd graphs with maximum degree $3$. Last results prove a conjecture of Balikyan and Kamalian.
Newton polytopes of dual $k$-Schur polynomials
Published
• View Publication
• BIB
Rado's theorem about permutahedra and dominance order on partitions reveals that each Schur polynomial is M-convex, or equivalently, it has a saturated Newton polytope and this polytope is a generalized permutahedron as well. In this paper we show that the support of each dual $k$-Schur polynomial indexed by a $k$-bounded partition coincides with that of the Schur polynomial indexed by the same partition, and hence the two polynomials share the same saturated Newton polytope. The main result is based on our recursive algorithm to generate a semistandard $k$-tableau for a given shape and $k$-weight. As consequences, we obtain the M-convexity of dual $k$-Schur polynomials, affine Stanley symmetric polynomials and cylindric skew Schur polynomials.
Chain-imprimitive, flag-transitive 2-designs
Published
• View Publication
• BIB
We consider $2$-designs which admit a group of automorphisms that is flag-transitive and leaves invariant a chain of nontrivial point-partitions. We build on our recent work on $2$-designs which are block-transitive but not necessarily flag-transitive. In particular we use the concept of the ``array'' of a point subset with respect to the chain of point-partitions; the array describes the distribution of the points in the subset among the classes of each partition. We obtain necessary and sufficient conditions on the array in order for the subset to be a block of such a design. By explicit construction we show that for any $s \geq 2$, there are infinitely many $2$-designs admitting a flag-transitive group that preserves an invariant chain of point-partitions of length $s$. Moreover an exhaustive computer search, using {\sc Magma}, seeking designs with $e_1e_2e_3$ points (where each $e_i\leq 50$) and a partition chain of length $s=3$, produced $57$ such flag-transitive designs, among which only three designs arise from our construction -- so there is still much to learn.
Planar binary trees, noncrossing partitions and the operator-valued S-transform
Published
• View Publication
• BIB
We revisit the twisted multiplicativity property of Voiculescu's S-transform in the operator-valued setting, using a specific bijection between planar binary trees and noncrossing partitions.
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
This paper introduces AlphaMapleSAT, a Cube-and-Conquer (CnC) parallel SAT solver that integrates Monte Carlo Tree Search (MCTS) with deductive feedback to efficiently solve challenging combinatorial SAT problems. Traditional lookahead cubing methods, used by solvers such as March, limit their search depth to reduce overhead often resulting in suboptimal partitions. By contrast, AlphaMapleSAT performs a deeper MCTS search guided by deductive rewards from SAT solvers. This approach enables informed exploration of the cubing space while keeping cubing costs low. We demonstrate the efficacy of our technique via extensive evaluations against the widely used and established March cubing solver on three well-known challenging combinatorial benchmarks, including the minimum Kochen-Specker (KS) problem from quantum mechanics, the Murty-Simon Conjecture, and the Ramsey problems from extremal graph theory. We compare AlphaMapleSAT against March using different types of conquering solvers such as SAT Modulo Symmetries (SMS) and SAT+CAS, both built on top of the CaDiCaL SAT solver. We show that in all cases, there is a speedup in elapsed real time (wall clock time) ranging from 1.61x to 7.57x on a 128 core machine for the above-mentioned problems. We also perform cube-level and parallel scaling analysis over 32, 64, and 128 cores, which shows that AlphaMapleSAT outperforms March on all these settings. Our results show that deductively-guided MCTS search technique for cubing in CnC solvers can significantly outperform March on hard combinatorial problems.
A common generalization of hypercube partitions and ovoids in polar spaces
We investigate what we call generalized ovoids, that is families of totally isotropic subspaces of finite classical polar spaces such that each maximal totally isotropic subspace contains precisely one member of that family. This is a generalization of ovoids in polar spaces as well as the natural $q$-analog of a subcube partition of the hypercube (which can be seen as a polar space with $q=1$). Our main result proves that a generalized ovoid of $k$-spaces in polar spaces of large rank does not exist. More precisely, for $q=p^h$, $p$ prime, and some positive integer $k$, a generalized ovoid of $k$-spaces in a polar space $\mathcal{P}$ with rank $r \geq r_0(k, p)$ in a vector space $V(n,q)$ does not exist.
Pattern-avoiding modified ascent sequences
Published
• View Publication
• BIB
We initiate an in-depth study of pattern avoidance on modified ascent sequences. Our main technique consists in using Stanley's standardization to obtain a transport theorem between primitive modified ascent sequences and permutations avoiding a bivincular pattern of length three. We enumerate some patterns via bijections with other combinatorial structures such as Fishburn permutations, lattice paths and set partitions. We settle the last remaining case of a conjecture by Duncan and Steingrímsson by proving that modified ascent sequences avoiding 2321 are counted by the Bell numbers.
From Zero-Freeness to Strong Spatial Mixing via a Christoffel-Darboux Type Identity
We present a unifying proof to derive the strong spatial mixing (SSM) property for the general 2-spin system from zero-free regions of its partition function. Our proof works for the multivariate partition function over all three complex parameters $(β, γ, λ)$, and we allow the zero-free regions of $β, γ$ or $λ$ to be of arbitrary shapes. Our main technical contribution is to establish a Christoffel-Darboux type identity for the 2-spin system on trees so that we are able to handle zero-free regions of the three different parameters $β, γ$ or $λ$ in a unified way. We use Riemann mapping theorem to deal with zere-free regions of arbitrary shapes.
Our result comprehensively turns all existing zero-free regions (to our best knowledge) of the partition function of the 2-spin system where pinned vertices are allowed into the SSM property. As a consequence, we obtain novel SSM properties for the 2-spin system beyond the direct argument for SSM based on tree recurrence. Moreover, we extend our result to handle the 2-spin system with non-uniform external fields. As an application, we obtain a new SSM property and two new forms of spatial mixing property, namely plus and minus spatial mixing for the non-uniform ferromagnetic Ising model from the celebrated Lee-Yang circle theorem.
The pod function and its connection with other partition functions
Published
• View Publication
• BIB
The number of partitions of $n$ wherein odd parts are distinct and even parts are unrestricted, often denoted by $pod(n)$. In this paper, we provide linear recurrence relations for $pod(n)$, and the connections of $pod(n)$ with other partition functions.