Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated

Some of Paul's favorite problems (1999)

../

problem_1_22: Records the 1999 booklet's item 1.22, which asks for the largest subset B of a set A of n integers avoiding, in turn, b_1 + b_2 = b_3 in B, an element of B equal to a sum of distinct others in B, b_1 + b_2 equal to an element of A, and coinciding subset sums, with the estimates the booklet records.

problem_2_44: Records the exact 1999 formulation of the ordinary-Lagrange local question.

problem_6_76: Records the original random-radius definition and exponential-law conjecture.

problem_6_77: Records the original infinitely-often question about ties for maximum local time.

problem_6_78: Records the almost-sure polylogarithmic conjecture for all past favorite sites.


Some of Paul's favorite problems, booklet circulated at the conference Paul Erdős and his mathematics, Budapest, July 1999. The final printed page credits a collection by B. Bollobás, Z. Füredi, A. Hajnal, G. Halász, G. O. H. Katona, P. Komjáth, M. Laczkovich, L. Lovász, L. Pyber, P. Révész, I. Z. Ruzsa, A. Sárközy, M. Simonovits, V. T. Sós, J. Szabados, T. Szőnyi, K. Vesztergombi, and P. Vértesi.

Canonical source. The nine-spread scan is hosted by Vjekoslav Kovač at the University of Zagreb. The file includes handwritten introductory material and paired printed pages; PDF page numbers therefore differ from printed ones. The scan has cropped letters at some outer edges. Selected formulas were read visually; an unverified transcription is not the canonical source. No notice is printed on the scan's rendered first or last page, and the hosting directory it was taken from is a bare file listing with no terms (https://web.math.pmf.unizg.hr/~vjekovac/EP/); the booklet identifies no publisher, its last page crediting only the collectors; the term is unstated.

This is the booklet cited as [Va99] on erdosproblems.com. It is a historical collection, so its conjectures and solution notices describe its own period. It covers number theory, analysis, graphs and hypergraphs, geometry, algebra, probability, and set theory. Its primary filing is a single broad home; verified problem relationships supply the cross-references to other subjects.

Selected original statements

PDF p. 5, right leaf, item 2.44 prints the ordinary-Lagrange local question corresponding to Problem 1153. Its setup is item 2.40 on the left leaf of the same spread, with distinct nodes and λ(Xn,x)=∑k∣lk(Xn,x)∣\lambda(X_n,x)=\sum_k|l_k(X_n,x)|. The item 2.44 statement record preserves the printed [2/π+o(1)]log⁡n[2/\pi+o(1)]\log n convention and its relationship to the modern −o(1)-o(1) form. This is an exact historical statement, not current status evidence.

Printed p. 12, the left half of PDF p. 8, gives:

  • Problem 6.76: the random radius of the disc centered at the origin covered by a planar walk, its expected scale, and Kesten's proposed exponential limit law.
  • Problem 6.77: probabilities of infinitely many occurrences of exactly rr favorite sites.
  • Problem 6.78: a polylogarithmic bound on the union of all earlier favorite sets.

The setup starts on printed p. 11, the right half of PDF p. 7. These are statement records, not proofs. In particular, Problem 6.76 defines a path-dependent radius and prints a cumulative distribution of the form 1−e−λx1-e^{-\lambda x}; it does not place an almost-every-walk quantifier inside a deterministic finite-time radius definition.

PDF p. 6, left leaf (read on the page image; the printed page number is not legible on the render), in the Ramsey section, prints the sentence "Erdős and Szekeres proved that cn2n/2<R(n)≤(2n−2n−1)cn2^{n/2}<R(n)\le\binom{2n-2}{n-1}" (the lower bound is Erdős's 1947 probabilistic bound, folded here into the attribution) followed by item 3.49, "Find a constructive proof of R(n)>(1+c)nR(n)>(1+c)^n", the booklet's form of Problem 78, and item 3.50, "Prove that lim⁡n→∞R(n)1/n=c\lim_{n\to\infty}R(n)^{1/n}=c exists", the booklet's form of Problem 77 (existence only; the site's question asks for the value), and item 3.51, "Prove r(4,n)>n3−εr(4,n)>n^{3-\varepsilon}", the booklet's form of Problem 166 (without the logarithmic factor of the site's statement; the booklet writes r(4,n)r(4,n) here and R(n)R(n) in 3.49 and 3.50). The same leaf prints item 3.54, "(Erdős, Faudree, Ordman) Let f(n)f(n) be the smallest integer for which if we color the edges of K(n)K(n) by two colors there are at least f(n)f(n) edge disjoint monochromatic triangles. Is it true that f(n)=(1+o(1))n212f(n)=(1+o(1))\frac{n^2}{12}?", the booklet's form of Problem 76 (the site cites "Va99, 3.54"; the booklet's f(n)f(n) is Erdős's 1995 h(n)h(n)). All four are historical statements read clause by clause on the page image; no result page was made for them. Read status: claims checked for items 3.49, 3.50, 3.51 and 3.54 (PDF p. 6, left leaf), read on the page image.

PDF p. 7, left leaf (read on the page image; its printed page number is not legible on the render, and the right leaf of the same spread is printed p. 11), Section 3.5 "Set-systems", prints item 3.64, "Find the maximum number of edges in a tt-uniform hypergraph in which every kk vertices span at most rr edges. This very difficult question contains the existence problem of block designs, the Ruzsa--Szemerédi Theorem etc.", the booklet's form of Problem 1157, and item 3.65, "Find a matching lower bound for the hypergraph version of the Kővári--T. Sós--Turán Theorem. Let ext(n,r)\mathrm{ex}_t(n,r) denote the maximum number of edges in a tt-partite tt-uniform hypergraph that does not contain a complete tt-partite subhypergraph with rr vertices in each class. What is lim⁡n→∞log⁡ext(n,r)/log⁡n\lim_{n\to\infty}\log\mathrm{ex}_t(n,r)/\log n? Is the 1962 bound t−1rt−1t-\frac1{r^{t-1}} of Erdős best possible?", the booklet's form of Problem 1158 (the booklet's letters tt and rr are the site's). Both are historical statements read clause by clause on the page image; no result page was made for them. Read status: claims checked for items 3.64 and 3.65 (PDF p. 7, left leaf), read on the page image.

PDF p. 3 (read on the page image; the left leaf is printed p. 2, its page number legible at the foot, and the right leaf printed p. 3), Section 1.2 "Egyptian fractions", prints item 1.13, "(Erdős, Straus) Prove that for every n>1n>1 4n=1x+1y+1z\frac4n=\frac1x+\frac1y+\frac1z is solvable in integers x,y,zx,y,z" (the display closes the left leaf and the words "is solvable in integers x,y,zx,y,z" open the right leaf), the booklet's form of Problem 242 (the site asks for n>2n>2 and distinct x<y<zx<y<z; the booklet asks for n>1n>1 and prints no distinctness); item 1.14, "What is the maximum number of integers a1<a2<⋯<ak≤na_1<a_2<\dots<a_k\le n [such] that no sum ∑ϵiai\sum\frac{\epsilon_i}{a_i}, (ϵi=0,1\epsilon_i=0,1) equals 1? Can kk be n−o(n)n-o(n)?" (the word before "that" is cut at the scan's right edge), the booklet's form of Problem 300; and item 1.15, "If a1<a2<⋯<ana_1<a_2<\dots<a_n are positive integers and ∑1ai=1\sum\frac1{a_i}=1, then max⁡i(ai+1−ai)>2\max_i(a_{i+1}-a_i)>2", the booklet's form of Problem 287 (the item is printed as an assertion, its word "then" cut at the scan's right edge after "th"; a strict inequality >2>2 between integers is the site's ≥3\ge3; the booklet prints no a1>1a_1>1). Read status: claims checked for items 1.13, 1.14 and 1.15, read clause by clause on the page image.

PDF pp. 3--4 (read on the page images; the right leaf of PDF p. 3 is printed p. 3 and the left leaf of PDF p. 4 is printed p. 4 by the order of the spreads, its number not legible on the render), Section 1.3 "Additive number theory", prints item 1.22, "We have a set AA of nn integers and we want to select a subset B⊂AB\subset A, ∣B∣=k|B|=k as large as possible, with certain properties. The question is to estimate the maximal kk", with four parts: a) "Avoid b1+b2=b3b_1+b_2=b_3 with bi∈Bb_i\in B. The maximum of kk is somewhere between n/3n/3 and n/2n/2", the booklet's form of Problem 792; b) "Avoid b2=b2+b3+⋯+bmb_2=b_2+b_3+\dots+b_m [so printed; the first symbol is evidently b1b_1] for any number of distinct bi∈Bb_i\in B. Is k>cnk>cn always possible?", the booklet's form of Problem 790 (asked as a linear-size question, which the 1975 bound l(n)≪n/log⁡nl(n)\ll n/\log n of Choi, Komlós and Szemerédi answers in the negative); c) "Avoid b1+b2=ab_1+b_2=a, bi∈Bb_i\in B, a∈Aa\in A. No decent estimates", the booklet's form of Problem 787; and d) "Find BB so that all 2k2^k subset sums are distinct. Maximum is between log⁡3n\log_3n and log⁡2n\log_2n", the booklet's form of Problem 963 (the distinct-subset-sums question of the 1965 paper, p. 188). The right edge of the item's opening lines is cropped after "B⊂AB\subset A". The item is on problem_1_22. Read status: claims checked for item 1.22 (PDF pp. 3--4), read clause by clause on the page images on 2026-09-18; a 1999 statement that proves nothing.

The remaining entries have not been systematically mapped to the modern problem numbers or checked against later literature. No complete extraction of the booklet is claimed.

Bears on. #1153, #1164, #1165, #1166, #77 (item 3.50, PDF p. 6, left leaf), #78 (item 3.49, PDF p. 6, left leaf), #166 (item 3.51, PDF p. 6, left leaf), #76 (item 3.54, PDF p. 6, left leaf: the least number f(n)f(n) of edge-disjoint monochromatic triangles forced in every two-coloring of K(n)K(n), asked to be (1+o(1))n2/12(1+o(1))n^2/12), #1157 (item 3.64, PDF p. 7, left leaf, Section 3.5: the maximum number of edges of a tt-uniform hypergraph in which no kk vertices carry more than rr edges, which the booklet says contains the existence of block designs and the Ruzsa--Szemerédi theorem), #1158 (item 3.65, PDF p. 7, left leaf, Section 3.5: lim⁡n→∞log⁡ext(n,r)/log⁡n\lim_{n\to\infty}\log\mathrm{ex}_t(n,r)/\log n for tt-partite tt-uniform hypergraphs with no complete tt-partite subhypergraph having rr vertices per class, and whether Erdős's 1962 bound t−1/rt−1t-1/r^{t-1} is sharp), #242 (item 1.13, PDF p. 3, printed pp. 2--3: the Erdős--Straus equation for every n>1n>1), #300 (item 1.14, PDF p. 3, printed p. 3: the maximum number of ai≤na_i\le n with no subset of reciprocals summing to 11, and whether it can be n−o(n)n-o(n)) and #287 (item 1.15, PDF p. 3, printed p. 3: ∑1/ai=1\sum1/a_i=1 forces a consecutive gap >2>2), #963 (item 1.22 d), PDF pp. 3--4: select BB whose 2k2^k subset sums are all distinct, with the maximum kk placed between log⁡3n\log_3n and log⁡2n\log_2n), #787 (item 1.22 c), PDF pp. 3--4: avoid b1+b2=ab_1+b_2=a with bi∈Bb_i\in B, a∈Aa\in A, for which the booklet records no decent estimate), #790 (item 1.22 b), PDF pp. 3--4: avoid b1=b2+⋯+bmb_1=b_2+\dots+b_m for distinct bi∈Bb_i\in B, asking whether k>cnk>cn is always possible) and #792 (item 1.22 a), PDF pp. 3--4: avoid b1+b2=b3b_1+b_2=b_3 in BB, with the maximum kk placed between n/3n/3 and n/2n/2); and, from Section 7 "Set theory" (PDF p. 8, right leaf, printed p. 13, except item 7.94 on PDF p. 9, left leaf, printed p. 14), #1171 (item 7.84), #1169 (item 7.85), #1174 (item 7.91), #1176 (item 7.93) and #1177 (item 7.94).

No file of this source is held: no license on record permits its redistribution, and the card cites the edition it names above.