A 2.81n upper bound on the number of stable matchings
Abstract
We study the maximum number SM(n) of stable matchings in an instance with n men and n women. Karlin, Oveis Gharan, and Weber (STOC 2018) proved the first single-exponential upper bound; their argument gives SM(n)≤ 217n for sufficiently large n. Palmer and Pálvölgyi (FOCS 2021) improved this bound to 3.55n+O(1). We prove that SM(n)<2.81n. This brings the exponential base closer to $2.28$, the base of the best known lower bound. More precisely, we bound the number of stable matchings in each instance in terms of each person's number of stable partners, where a stable partner is someone matched to that person in at least one stable matching. Our proof assigns each person a weight determined by this number and uses these weights to bound the number of stable matchings by induction.
Related
- A Sub-3n Upper Bound on the Number of Stable Matchings
- A double-logarithmic upper bound on the chromatic number of the associahedron
- An upper bound of 61 for the Ramsey number $R(3,3,3,3)$
- The Tight Upper Bound on the Number of Distinct Squares in Circular Words
- An improved upper bound on the chromatic number of the n-dimensional sphere
BibTeX
@misc{ghorbani2026281n,
title = {{A $2.81^n$ upper bound on the number of stable matchings}},
author = {Ebrahim Ghorbani and Matthias Mnich},
howpublished = {arXiv},
year = {2026},
month = nov,
doi = {10.48550/arxiv.2611.06494},
eprint = {2611.06494},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2611.06494},
note = {CC BY-NC-ND 4.0},
}
RIS
TY - UNPB
TI - A 2.81^n upper bound on the number of stable matchings
AU - Ebrahim Ghorbani
AU - Matthias Mnich
PY - 2026
DA - 2026/11/04
PB - arXiv
DO - 10.48550/arxiv.2611.06494
UR - https://arxiv.org/abs/2611.06494
AB - We study the maximum number SM(n) of stable matchings in an instance with n men and n women. Karlin, Oveis Gharan, and Weber (STOC 2018) proved the first single-exponential upper bound; their argument gives SM(n)≤ 2^17n for sufficiently large n. Palmer and Pálvölgyi (FOCS 2021) improved this bound to 3.55^n+O(1). We prove that SM(n)<2.81^n. This brings the exponential base closer to $2.28$, the base of the best known lower bound. More precisely, we bound the number of stable matchings in each instance in terms of each person's number of stable partners, where a stable partner is someone matched to that person in at least one stable matching. Our proof assigns each person a weight determined by this number and uses these weights to bound the number of stable matchings by induction.
ER -