partition
6235 papers tagged with this keyword
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
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
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
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
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
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.
Arithmetic Ramsey theory over the primes
Published
• View Publication
• BIB
We study density and partition properties of polynomial equations in prime variables. We consider equations of the form $a_1h(x_1) + \cdots + a_sh(x_s)=b$, where the $a_i$ and $b$ are fixed coefficients, and $h$ is an arbitrary integer polynomial of degree $d$. Provided there are at least $(1+o(1))d^2$ variables, we establish necessary and sufficient criteria for this equation to have a monochromatic non-constant solution with respect to any finite colouring of the prime numbers. We similarly characterise when such equations admit solutions over any set of primes with positive relative upper density. In both cases, we obtain counting results which provide asymptotically sharp lower bounds for the number of monochromatic or dense solutions in primes. Our main new ingredient is a uniform lower bound on the cardinality of a prime polynomial Bohr set.
Combinatorics of q,r-analogues of Stirling numbers of type B
Stirling number of the first and the second kinds have seen many generalizations and applications in various areas of mathematics. We introduce some combinatorial parameters which realize $q$-analogues and Broder's $r$-variants of Stirling numbers of type $B$ of both kinds, which count signed set partitions and signed permutations respectively. Applications to orthogonality relations and power sums are given.
Manifolds from Partitions
If f maps a discrete d-manifold G onto a (k+1)-partite complex P then H(G,f,P),the set of simplices x in G such that f(x) contains at least one facet in P defines a (d-k)-manifold.
Intersective sets for sparse sets of integers
For $E \subset \mathbb{N}$, a subset $R \subset \mathbb{N}$ is $E$-intersective if for every $A \subset E$ having positive upper relative density, we have $R \cap (A - A) \neq \varnothing$. On the other hand, $R$ is chromatically $E$-intersective if for every finite partition $E=\bigcup_{i=1}^k E_i$, there exists $i$ such that $R\cap (E_i-E_i)\neq\varnothing$. When $E=\mathbb{N}$, we recover the usual notions of intersectivity and chromatic intersectivity.
In this article, we investigate to which extent known intersectivity results hold in the relative setting when $E = \mathbb{P}$, the set of primes, or other sparse subsets of $\mathbb{N}$. Among other things, we prove:
-There exists an intersective set that is not $\mathbb{P}$-intersective.
-However, every $\mathbb{P}$-intersective set is intersective.
-There exists a chromatically $\mathbb{P}$-intersective set which is not intersective (and therefore not $\mathbb{P}$-intersective).
-The set of shifted Chen primes $\mathbb{P}_{\mathrm{Chen}} + 1$ is $\mathbb{P}$-intersective (and therefore intersective).