Boolean Rainbow Ramsey Numbers

• Boolean rainbow Ramsey numbers are extremal parameters that measure when any coloring of the Boolean lattice forces a monochromatic copy of one poset or a rainbow copy of another.
• Exact results for poset pairs such as antichain–antichain and chain–chain provide concrete benchmarks, using thresholds like binomial coefficients and product formulas.
• Combinatorial methods, including symmetric chain decomposition and the Lubell function, are pivotal in establishing upper and lower bounds and guiding further research.

A Boolean rainbow Ramsey number is a Ramsey-type extremal parameter quantifying the interplay between monochromatic and rainbow subposet configurations in the Boolean lattice. Formally, given two finite posets $P$ and $Q$, the Boolean rainbow Ramsey number $\operatorname{RR}(P, Q)$ is the minimal dimension $n$ such that for every coloring of $\mathcal{B}_n = (2^{[n]}, \subseteq)$, one finds either an induced monochromatic copy of $P$ or an induced rainbow copy of $Q$ (Chen et al., 2019, Chen et al., 2021, Katona et al., 31 Jan 2026, Chang et al., 2018). This concept forms the poset-theoretic analogue of classical and rainbow Ramsey theory, naturally extending work of Axenovich, Walzer, Chang, Gerbner, Li, Methuku, Nagy, Patkós, and Vizer.

1. Formalism and Foundational Definitions

Let $P$, $Q$ be finite posets. The Boolean lattice of dimension $n$ is $Q$0 with elements $Q$1 and order given by subset inclusion. The $Q$2th level, $Q$3, is the set of all size-$Q$4 subsets.

• Coloring: A map $Q$5, $Q$6 a color set.
• Monochromatic $Q$7: An induced copy of $Q$8 mapped by some order-preserving injection $Q$9 such that all images have the same color.
• Rainbow $\operatorname{RR}(P, Q)$0: An induced copy of $\operatorname{RR}(P, Q)$1 mapped by some injection so that all images have different colors.

The Boolean rainbow Ramsey number satisfies

$\operatorname{RR}(P, Q)$2

where “copy” always means induced unless specified otherwise (cf. “weak” version in (Chang et al., 2018)).

This extremal function admits both “strong” (induced) and “weak” variants:

• $\operatorname{RR}(P, Q)$3 for induced copies,
• $\operatorname{RR}(P, Q)$4 for non-induced (monotone) copies.

Further, the Boolean Gallai-Ramsey number $\operatorname{RR}(P, Q)$5 restricts to exact $\operatorname{RR}(P, Q)$6-colorings, serving as a refinement for studying coloring structures avoiding prescribed rainbow or monochromatic patterns (Katona et al., 31 Jan 2026).

2. Exact Results in Canonical Poset Classes

For certain pairs $\operatorname{RR}(P, Q)$7, exact values for $\operatorname{RR}(P, Q)$8 are known (Chen et al., 2019, Chen et al., 2021):

Antichain–antichain:

• Let $\operatorname{RR}(P, Q)$9, $n$0 be $n$1- and $n$2-element antichains.
• $n$3.
• Theorem: $n$4.

Chain–chain:

• Let $n$5, $n$6 be $n$7- and $n$8-element chains.
• Theorem: $n$9.

Boolean sublattice–Boolean sublattice:

Let $\mathcal{B}_n = (2^{[n]}, \subseteq)$0 denote the $\mathcal{B}_n = (2^{[n]}, \subseteq)$1-dimensional Boolean lattice.

• $\mathcal{B}_n = (2^{[n]}, \subseteq)$2.
• $\mathcal{B}_n = (2^{[n]}, \subseteq)$3.
• $\mathcal{B}_n = (2^{[n]}, \subseteq)$4.

V-shaped posets–antichains (Chen et al., 2021):

Let $\mathcal{B}_n = (2^{[n]}, \subseteq)$5 denote the “V-shaped” poset formed from chains of lengths $\mathcal{B}_n = (2^{[n]}, \subseteq)$6 and $\mathcal{B}_n = (2^{[n]}, \subseteq)$7 joined at a single minimum.

• For all $\mathcal{B}_n = (2^{[n]}, \subseteq)$8 and $\mathcal{B}_n = (2^{[n]}, \subseteq)$9, $P$0.

General antichain targets:

In the $P$1 setting, for any poset $P$2 with $P$3, writing $P$4 for the minimal Boolean dimension containing $P$5 and $P$6 for the number of extremal elements,

• $P$7.

3. General Bounds and Structural Theorems

Upper and lower bounds for $P$8 leverage poset invariants such as height $P$9, width $Q$0, and Lubell function/induced-Lubell boundedness:

Lower bounds (Chen et al., 2019, Chang et al., 2018):

• $Q$1,
• $Q$2,
• Stronger forms incorporating $Q$3, the number of extremal elements in $Q$4 (Chang et al., 2018).

Upper bounds:

• $Q$5,
• For Boolean sublattices:

$Q$6

where $Q$7 is the ordinary $Q$8-color Ramsey number for $Q$9.

Refinements substantially improve upper bounds for certain pairs. For example, (Katona et al., 31 Jan 2026) gives for $P$0:

$P$1

replacing a prior dependence on $P$2 from (Chen et al., 2019), thereby reducing the dependence on $P$3 from doubly exponential to linear.

Lubell-boundedness:

For uniformly induced Lubell-bounded poset $P$4 and a fixed small pattern (e.g., $P$5), sharp formulas are achievable:

$P$6

where $P$7 is the Lubell bound parameter (Katona et al., 31 Jan 2026).

4. Proof Methodologies and Technical Tools

Several combinatorial and extremal techniques underpin modern results:

• Symmetric Chain Decomposition: Essential for antichain results; it partitions $P$8 efficiently to facilitate block colorings avoiding forbidden monochromatic/rainbow structures (Chen et al., 2019).
• Pigeonhole Principle: Applied to middle levels or maximal chains to force the emergence of monochromatic or rainbow configurations.
• Principal Chains Construction: Used in rainbow-subposet existence arguments, especially for Boolean sublattices.
• Poset-Splitting via Slices: Exploits two-dimensional slices of $P$9 to reduce Ramsey-type arguments to lower dimensions.
• Lubell Mass Methods: The chain-averaging (Lubell function) approach provides thresholds for the existence of rainbow (especially chain or antichain) subposets (Chang et al., 2018, Katona et al., 31 Jan 2026).
• Block-structural Decomposition in Colorings: Exact colorings that avoid small rainbow patterns often admit a rigid block structure (e.g., decomposition by chain or antichain deletion), from which extremal configurations are forced (Katona et al., 31 Jan 2026).

These methods combine to yield sharp constructive colorings below threshold, and counting/averaging techniques above threshold, often leveraging extremal families, forbidden subposet thresholds, and recursive/inductive arguments.

5. Connections, Applications, and Special Cases

Forks, brooms, and small patterns:

• For “fork” $Q$0 (one minimal element plus $Q$1 incomparable points) and “broom” $Q$2 (one maximal element and $Q$3 incomparable points), one recovers the general Ramsey numbers:
  • $Q$4,
  • $Q$5 (Chang et al., 2018).
• These results echo classic Ramsey-type constructions for graphs and hypergraphs, but within poset inclusion structures.

Rainbow chain/antichain extremals:

• Precise extremal functions for the minimal size of color classes needed to force rainbow $Q$6 or $Q$7 are identified (e.g., $Q$8 or $Q$9 when $n$0 odd and at least $n$1) (Chang et al., 2018).

Lubell mass thresholds:

• Lubell mass $n$2 provides analytic control in probabilistic/average sense for extremal families, e.g., the threshold $n$3 for rainbow $n$4 in $n$5-colorings (Chang et al., 2018).

Gallai–Ramsey theory for Boolean lattices:

• A strengthened program includes the Gallai–Ramsey numbers $n$6 for exact $n$7-colorings, with rigorous structural characterizations for colorings avoiding small rainbow subposets (Katona et al., 31 Jan 2026).

6. Open Questions and Research Directions

Pronounced gaps in current understanding motivate future work:

• Sharp determination of $n$8: Current gaps—upper $n$9 versus lower $Q$00—remain to be narrowed (Chen et al., 2019).
• The value of $Q$01: Precise growth rates are open, with conjectures in the case $Q$02 that $Q$03; e.g., the case $Q$04 is not settled (Chen et al., 2019).
• Extension to larger or composite poset patterns (diamonds, crowns, $Q$05) in both Gallai–Ramsey and rainbow Ramsey regimes (Katona et al., 31 Jan 2026).
• Refinement of block-structural decompositions to yield exact (rather than asymptotic) thresholds for $Q$06 (Katona et al., 31 Jan 2026).
• Complete resolution for the Chang–Gerbner–Li–Methuku–Nagy–Patkós–Vizer question on uniformly induced Lubell-bounded posets $Q$07 for general patterns $Q$08 (Katona et al., 31 Jan 2026).

7. Summary Table of Principal Values

Below is a table of principal Boolean rainbow Ramsey numbers for canonical poset pairs, extracted from the established results:

Pair $Q$09	$Q$10	Source
$Q$11	$Q$12	(Chen et al., 2019)
$Q$13	$Q$14	(Chen et al., 2019)
$Q$15	$Q$16	(Chen et al., 2019)
$Q$17	$Q$18	(Chen et al., 2019)
$Q$19	$Q$20	(Chen et al., 2019)
$Q$21	$Q$22	(Chen et al., 2021)
$Q$23 ($Q$24)	$Q$25	(Chen et al., 2021)

Advancements continue to refine the structure of colorings in the Boolean lattice and establish connections to Lubell mass, poset parameters, and extremal set theory. The Boolean rainbow Ramsey number consolidates these developments in the intersection of combinatorics, poset theory, and Ramsey theory (Chen et al., 2019, Chen et al., 2021, Katona et al., 31 Jan 2026, Chang et al., 2018).