Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Statement
Setting (p. 113). is the number of by Latin rectangles in the symbols , that is, of rows of length with no symbol repeated in a row or in a column; the rows, columns and symbols are labeled.
Theorem 2 (p. 118, quoted). "For , being positive constant, we have the asymptotic relation
for the number of by Latin rectangles."
The relation is as , uniformly in the allowed: the proof gives with for all sufficiently large , and both bounds tend to .
Remark (p. 119). The paper says the generalization made for Theorem 1 is immediate here: may be a positive function of with as . The introduction (p. 113) states the result in this form, for a positive constant "or more generally, may be a positive-valued function of tending to zero such that" .
Erdős and Kaplansky had proved the same relation for and conjectured it for up to nearly (p. 113); Theorem 2 confirms that conjecture. The paper adds (p. 119) that the range is the limit of its method, as seen from (27), and that it seems likely to be the natural boundary of the problem, as Erdős and Kaplansky observed.
Proof pointer
Pp. 118--119. Apply Theorem 1 with to the extensions of by Latin rectangles for , where : every by Latin rectangle has between and extensions, so , with . Multiplying these inequalities gives the bounds above, and (27) shows they tend to .
Read depth
Claims checked: the setting, Theorem 2, the remark after it and the introduction's statement were read clause by clause on the page images of the print, and the proof on pp. 118--119 was followed. Nothing here is independently reviewed.
Dependencies
- Theorem 1 (p. 118), the per-row extension estimate.
Source. K. Yamamoto, On the asymptotic number of Latin rectangles, Jpn. J. Math. 21 (1951), 113--119, doi:10.4099/jjm1924.21.0_113; the edition read is named on the source card.
Bears on
- Problem 725: Theorem 2 gives the asymptotic number of by Latin rectangles, the problem's Latin rectangles, for , and by the remark for a positive function of with . It says nothing about larger , which the problem also asks about.