Extremal Least Common Multiples in Rows of Pascal's Triangle
En palabras de los autores
For , let be the set of distinct entries in row of Pascal's triangle. We study the least possible least common multiple of entries chosen from one row, with the row itself also free: \[ a(n)=\min_{\substack{r\geq 0,\ S\subseteq\mathcal P_r\\ |S|=n}}\operatorname{lcm}(S). \] We first recast the fixed-row problem exactly as a weighted prime-power exclusion problem. This structural description explains why optimal supports may develop holes and yields an exact certification method for finite cases. Our main asymptotic result is \[ \log a(n)=2n+O\!\left(n\exp\!\left(-c\frac{(\log n)^{3/5}}{(\log\log n)^{1/5}}\right)\right) \] for some absolute , so . A two-band refinement further shows that every optimal row satisfies \[ r_n=2n+O\!\left(n\exp\!\left(-c\frac{(\log n)^{3/5}}{(\log\log n)^{1/5}}\right)\right), \] and that the minimum prefix defect of an optimal support is . Finally, two independent exact implementations certify the first finite structural transitions: is the first non-prefix optimum, while is the first case of minimum prefix defect greater than one.
Apareció: martes, 22 de septiembre. arXiv. Preprint, todavía sin revisión por pares.
Comentario de los autores: 20 pages. Ancillary files contain the reproducibility archive for the exact computations