olymmath

SCHWEITZER 1984

Miklós Schweitzer Competition 1984.

Other problems

Problem 1

Let kk be an arbitrary cardinality. Show that there exists a tournament Tk=(Vn,En)T_k = (V_n , E_n) such that for any coloring f:En→kf: E_n \to k of the edge set EnE_n , there are three different vertices x0,x1,x2∈Vnx_0 , x_1 , x_2 \in V_n such that x0x1,x1x2,x2x0∈Enx_0 x_1 , x_1 x_2 , x_2 x_0 \in E_n and ∣{f(x0x1),f(x1x2),f(x2x0)}∣≤2\left | \{ f(x_0 x_1), f(x_1 x_2), f(x_2 x_0)\} \right |\leq 2 (A tounament is a directed graph such that for any vertices x,y∈Vn,x≠yx, y \in V_n, x \neq y exactly one of the relations xy∈Enxy \in E_n holds.) (C.19) [A. Hajnal]

Problem 2

Show that threre exist a compact set K⊂RK \subset \mathbb{R} and a set A⊂RA \subset \mathbb{R} of type FσF_{\sigma} such that the set {x∈R:K+x⊂A}\{ x\in \mathbb{R} : K+x \subset A\} is not Borel-measurable (here K+x={y+x:y∈K}K+x = \{y+x : y \in K\} ). (M.16) [M. Laczkovich]

Problem 3

Let aa and bb be positive integers such that when dividing them by any prime pp , the remainder of aa is always less than or equal to the remainder of bb . Prove that a=ba=b . (N.16) [P. Erdos, P. P. Pálify]

Problem 4

Let x1,x2,y1,y2,z1,z2x_1 , x_2 , y_1 , y_2 , z_1 , z_2 be transcendental numbers. Suppose that any 3 of them are algebraically independent, and among the 15 four-tuples on {x1,x2,y1,y2}\{x_1 , x_2 , y_1, y_2 \} , {x1,x2,z1,z2}\{ x_1 , x_2 , z_1 , z_2 \} and {y1,y2,z1,z2}\{y_1 , y_2 , z_1 , z_2 \} are algebraically dependent. Prove that there exists a transcendental number tt that depends algebraically on each of the pairs {x1,x2}\{ x_1 , x_2\} , {y1,y2}\{ y_1 , y_2 \} , and {z1,z2}\{ z_1 , z_2 \} . (A.37) [L. Lovász]

Problem 5

Let a0,a1,…a_0 , a_1 , \dots be nonnegative real numbers such that ∑n=0∞an=∞\sum_{n=0}^{\infty}a_n = \infty For arbitrary c>0c>0 , let nj(c)=min⁡{k:c.j≤∑i=0kai}n_{j}(c)= \min \left \{ k : c.j \leq \sum_{i=0}^{k} a_i \right \} , j=1,2,…j= 1,2, \dots Prove that if ∑i=0∞ai2=∞\sum_{i=0}^{\infty}a_i^2 = \infty , then there exists a c>0c>0 for which ∑j=1∞anj(c)=∞\sum_{j=1}^{\infty} a_{n_j (c)} = \infty .(S.24) [P. Erdos, I. Joó, L. Székely]

Problem 6

For which Lebesgue-measurable subsets EE of the real line does a positive constant cc exist for which sup⁡−∞<t<∞∣∫Eeitxf(x)dx∣≤csup⁡n=0,±1,…∣∫Eeinxf(x)dx∣\sup_{-\infty < t<\infty} \left | \int_{E} e^{itx} f(x) dx\right | \leq c \sup_{n=0,\pm 1,\dots } \left | \int_{E} e^{inx} f(x) dx\right | for all integrable functions ff on EE ? (M.17) [G. Halász]

Problem 7

Let VV be a finite-dimensional subspace of C[0,1]C[0,1] such that every nonzero f∈Vf\in V attains positive value at some point. Prove that there exists a polynomial PP that is strictly positive on [0,1][0,1] and orthogonal to VV , that is, for every f∈Vf \in V , ∫01f(x)P(x)dx=0\int_{0}^{1} f(x)P(x)dx =0 (F.39) [A. Pinkus, V. Totik]

Problem 8

Among all point lattices on the plane intersecting every closed convex region of unit width, which on's fundamental parallelogram has the largest area? (G.36) [L. Fejes-Tóth]

Problem 9

Let X0,X1,…X_0, X_1, \dots be independent, indentically distributed, nondegenerate random variables, and let 0<α<10<\alpha <1 be a real number. Assume that the series ∑k=1∞αkXk\sum_{k=1}^{\infty} \alpha^{k} X_k is convergent with probability one. Prove that the distribution function of the sum is continuous. (P. 23) [T. F. Móri]

Problem 10

Let X1,X2,…X_1, X_2, \dots be independent random variables with the same distribution P(Xi=1)=P(Xi=−1)=12(i=1,2,… )P(X_i = 1) = P(X_i = -1)=\frac{1}{2} (i= 1, 2, \dots ) Define S0=0,Sn=X1+X2+⋯+Xn(n=1,2,…S_0=0, Sn=X_1 +X_2+\dots +X_n (n=1, 2, \dots ), ξ(x,n)=∣{k:0≤k≤n,Sk=x}∣(x=0,±1,±2,…\xi (x,n) = \left | \{k : 0 \leq k \leq n, S_k= x \} \right | (x=0, \pm 1, \pm 2, \dots ),

and α(n)=∣{x:ξ(x,n)=a}∣(n=0,1,…\alpha(n)= \left | \{ x: \xi(x,n)=a \} \right | (n=0,1,\dots ).

Prove that P(lim⁡inf⁡α(n)=0)=1P(\lim \inf \alpha(n)=0) =1 and that there is a number 0<c<∞0<c<\infty such that P(lim⁡inf⁡α(n)/log⁡n=c)=1P(\lim \inf \alpha(n)/\log n=c) =1 (P.24) [P. Révész]