Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Statement
Setting (pp. 2, 4). is the largest such that every points of contain points whose non-zero volumes of -element subsets are all distinct, and is the least such that every points of contain such points. is as in Lemma 2.1.
Proposition 3.3 (p. 5, quoted). "For all integers and , . In particular, ."
The introduction announces this as (p. 2). It improves the exponent that Theorem 1.2 gives at . The paper adds (§5.1, p. 8) that for sets with no points on a hyperplane, counting all volumes, an almost identical proof gives .
Proof pointer
P. 5. For a -subset and a volume , the points completing to volume form two hyperplanes parallel to that of . If one holds of the points, those points have only zero volumes and suffice; otherwise the coloring of -sets by volume, with zero-volume sets colored uniquely, is -good, and Lemma 2.1 with , gives .
Read depth
Claims checked: the statement and definitions were read clause by clause on the page images of arXiv:1401.6734v3. The proof was read for structure only, and nothing here is independently reviewed.
Dependencies
Source. D. Conlon, J. Fox, W. Gasarch, D. G. Harris, D. Ulrich and S. Zbarsky, Distinct volume subsets, SIAM J. Discrete Math. 29 (2015), 472--480, doi:10.1137/140954519; pages cited are those of the arXiv version arXiv:1401.6734v3, the edition named on the source card.
Bears on
None directly: the result concerns volumes of -point simplices, not distances, and Problem 1208 asks about distances.