Table of Contents
Fetching ...

On Graphical Partitions with Restricted Parts

Gilead Levy

TL;DR

This paper studies how arithmetic restrictions on partition parts affect the prevalence of graphical partitions of an even integer $n$. It introduces a general restriction model via a function $\mu$ and analyzes the induced random partition ensemble $\mathcal{P}_\mu$ with a $q$-weighted measure, tracking the statistics $X_k$ and $Y_k$. Using a probabilistic framework with Poissonization, saddle-point methods, and Esseen-type bounds, the authors show the graphical-fraction among restricted partitions is $O(n^{-1/2})$, with the slowest decay when the restriction is linear. Moreover, they prove the existence of a minimal lower bound $l_n$ on the parts beyond which the restrictions' influence becomes negligible, with $l_n = \mu(\log n) - \log n$; in the binary-partition case this specializes to $l_n = \frac{n^{\log 2}}{2} + O(\log n)$. These results illuminate how multiple restrictions interact to shape graphical partitions and suggest avenues for tighter closed-form expressions and broader restriction types.

Abstract

We study the distributions of parts in random integer partitions subject to general arithmetic restrictions. In particular, we enumerate restricted graphical partitions of an even integer $n$ and identify the conditions under which the fraction of graphical partitions, relative to all restricted partitions, is maximal. We prove that this maximal fraction is asymptotically $O(n^{-1/2})$. Furthermore, for any set of arithmetic restrictions, we establish the existence of a minimal lower bound on the parts beyond which the influence of these restrictions on the fraction of graphical partitions becomes negligible; in this regime, the fraction depends primarily on the choice of this lower bound. We highlight a key example of partitions restricted to powers of 2, where the critical lower bound is found to be $\frac{1}{2}n^{\log2}+O(\log n)$.

On Graphical Partitions with Restricted Parts

TL;DR

This paper studies how arithmetic restrictions on partition parts affect the prevalence of graphical partitions of an even integer . It introduces a general restriction model via a function and analyzes the induced random partition ensemble with a -weighted measure, tracking the statistics and . Using a probabilistic framework with Poissonization, saddle-point methods, and Esseen-type bounds, the authors show the graphical-fraction among restricted partitions is , with the slowest decay when the restriction is linear. Moreover, they prove the existence of a minimal lower bound on the parts beyond which the restrictions' influence becomes negligible, with ; in the binary-partition case this specializes to . These results illuminate how multiple restrictions interact to shape graphical partitions and suggest avenues for tighter closed-form expressions and broader restriction types.

Abstract

We study the distributions of parts in random integer partitions subject to general arithmetic restrictions. In particular, we enumerate restricted graphical partitions of an even integer and identify the conditions under which the fraction of graphical partitions, relative to all restricted partitions, is maximal. We prove that this maximal fraction is asymptotically . Furthermore, for any set of arithmetic restrictions, we establish the existence of a minimal lower bound on the parts beyond which the influence of these restrictions on the fraction of graphical partitions becomes negligible; in this regime, the fraction depends primarily on the choice of this lower bound. We highlight a key example of partitions restricted to powers of 2, where the critical lower bound is found to be .

Paper Structure

This paper contains 4 sections, 4 theorems, 20 equations.

Key Result

Theorem 1

Let $n\in\mathbb{N}$ and $\mu\in M$. For all $k\in\mathbb{N}$, denote by $Y_k$ the $k$-th largest part of a partition of $n$ from $\mathcal{P}_\mu$ and denote by $X_k$ the number of parts greater than or equal to $k$. Then the density distributions of $X_k,\mu(Y_k)$ become equal in the limit $n\to\i

Theorems & Definitions (4)

  • Theorem 1
  • Theorem 2
  • Theorem 3
  • Theorem 4