partitionAug 31, 2026

A small partition-bijection challenge

I
idriss-bado
Member · Research discussion
Votes
1
Answers
0
Views
9
1

A small partition-bijection challenge

Suppose that two families of integer partitions, say An\mathcal A_n and Bn\mathcal B_n, satisfy

∑λ∈An1=∑μ∈Bn1,\sum_{\lambda\in\mathcal A_n} 1 = \sum_{\mu\in\mathcal B_n} 1,

or equivalently,

∣An∣=∣Bn∣|\mathcal A_n|=|\mathcal B_n|

for every nn in some range (or for every n≥0n\ge 0).

The equality may come from an algebraic identity, a recurrence, or an identity between generating functions. My question is:

Can one construct an explicit and natural bijection

>Φn:An⟶Bn?> > \Phi_n:\mathcal A_n\longrightarrow\mathcal B_n? >

Of course, equality of the cardinalities guarantees the existence of some bijection when the sets are finite. The interesting problem is whether the numerical identity can be explained combinatorially by a map preserving meaningful partition statistics.

More generally, if an identity of the form

∑λ∈Anw(λ)=∑μ∈Bnv(μ)\sum_{\lambda\in\mathcal A_n} w(\lambda) = \sum_{\mu\in\mathcal B_n} v(\mu)

holds, under what conditions should one expect a bijective or weight-preserving explanation?

I am particularly interested in examples where the equality is easy to prove analytically but finding the corresponding bijection is nontrivial.

Replies

0 answers
✎

No replies yet

This question is waiting for a mathematically grounded reply from the community.

Your answer

You need a verified account to contribute. Create an account or log in to join the discussion.