l=1 case of Set Mapping Theorem

Open Problem: Reducing l to 1 in the Set Mapping Theorem · arXiv:1507.00547

arXiv Problem medium confidence— first stated 2016-02-11

Status open medium confidence

The conjecture asks whether p(m,k,1)=\Theta(m^{1/k}), reducing the parameter l in Theorem 2.1 from (k-1)! to 1. No paper directly resolving this conjecture was identified. A 2026 paper 'Set mappings for general graphs' (arXiv:2601.00766) by Gishboliner, Jin, and Sudakov (the last of whom is a co-author of the source paper) addresses related set mapping problems for general graphs but targets questions due to Caro--Patkos--Tuza--Vizer, not the specific p(m,k,1) formulation. The conjecture appears to remain open.

Reviewer notes. A 2026 arXiv preprint 2601.00766 ('Set mappings for general graphs', Gishboliner--Jin--Sudakov) addresses related set mapping problems for general graphs with O(m) bounds tight for cliques, but it appears to address questions from Caro--Patkos--Tuza--Vizer rather than the specific p(m,k,1) conjecture from 1507.00547. The conjecture is approximately 10 years old; the combination of a related recent paper by a co-author that does not appear to resolve it, and no other follow-up found, yields medium confidence that it remains open.

Auto-reviewed 2026-05-15 with claude-sonnet-4-6 (web search enabled).

Problem. Determine whether $l$ can be decreased to $1$ for all $k$; that is, whether $p(m,k,1)=\Theta(m^{1/k})$.

Context

Theorem 2.1 establishes $p(m,k,(k-1)!)=\Theta(m^{1/k})$. The case $l=(k-1)!$ is noted to be best possible when $k=2$ (independently solved earlier by Füredi). The authors remark it would be very interesting to determine whether $l$ can be decreased to $1$ for all $k$.

Notes. Stated in running prose: 'It would be very interesting to determine whether l can be decreased to 1 for all k.' No labelled environment.

Source paper

Short proofs of some extremal results II
David Conlon, Jacob Fox, Benny Sudakov · 2016-02-11
https://arxiv.org/abs/1507.00547 PDF source