olymmath

SCHWEITZER 2012

Miklós Schweitzer Competition 2012.

Other problems

Problem 1

Is there any real number α\alpha for which there exist two functions f,g:N→Nf,g: \mathbb{N} \to \mathbb{N} such that α=lim⁡n→∞f(n)g(n),\alpha=\lim_{n \to \infty} \frac{f(n)}{g(n)}, but the function which associates to nn the nn -th decimal digit of α\alpha is not recursive?

Problem 2

Call a subset AA of the cyclic group (Zn,+)(\mathbb{Z}_n,+) rich if for all x,y∈Znx,y \in \mathbb{Z}_n there exists r∈Znr \in \mathbb{Z}_n such that x−r,x+r,y−r,y+rx-r,x+r,y-r,y+r are all in AA . For what α\alpha is there a constant Cα>0C_\alpha>0 such that for each odd positive integer nn , every rich subset A⊂ZnA \subset \mathbb{Z}_n has at least CαnαC_\alpha n^\alpha elements?

Problem 4

Let KK be a convex shape in the nn dimensional space, having unit volume. Let S⊂KS \subset K be a Lebesgue measurable set with measure at least 1−ε1-\varepsilon , where 0<ε<1/30<\varepsilon<1/3 . Prove that dilating KK from its centroid by the ratio of 2εln⁡(1/ε)2\varepsilon \ln(1/\varepsilon) , the shape obtained contains the centroid of SS .

Problem 5

Let V1,V2,V3,V4V_1,V_2,V_3,V_4 be four dimensional linear subspaces in R8\mathbb{R}^8 such that the intersection of any two contains only the zero vector. Prove that there exists a linear four dimensional subspace WW in R8\mathbb{R}^8 such that all four vector spaces W∩ViW\cap V_i are two dimensional.

Problem 6

Let A,B,CA,B,C be matrices with complex elements such that [A,B]=C,[B,C]=A[A,B]=C, [B,C]=A and [C,A]=B[C,A]=B , where [X,Y][X,Y] denotes the XY−YXXY-YX commutator of the matrices. Prove that e4πAe^{4 \pi A} is the identity matrix.

Problem 7

Let Γ\Gamma be a simple curve, lying inside a circle of radius rr , rectifiable and of length ℓ\ell . Prove that if ℓ>krπ\ell > kr\pi , then there exists a circle of radius rr which intersects Γ\Gamma in at least k+1k+1 distinct points.

Problem 8

For any function f:R2→Rf: \mathbb{R}^2\to \mathbb{R} consider the function Φf:R2→[−∞,∞]\Phi_f:\mathbb{R}^2\to [-\infty,\infty] for which Φf(x,y)=lim sup⁡z→yf(x,z)\Phi_f(x,y)=\limsup_{ z \to y} f(x,z) for any (x,y)∈R2(x,y) \in \mathbb{R}^2 . [list=a] []Is it true that if ff is Lebesgue measurable then Φf\Phi_f is also Lebesgue measurable?[/] []Is it true that if ff is Borel measurable then Φf\Phi_f is also Borel measurable?[/] [/list]

Problem 9

Let DD be the complex unit disk D={z∈C:∣z∣<1}D=\{z \in \mathbb{C}: |z|<1\} , and 0<a<10<a<1 a real number. Suppose that f:D→C∖{0}f:D \to \mathbb{C}\setminus \{0\} is a holomorphic function such that f(a)=1f(a)=1 and f(−a)=−1f(-a)=-1 . Prove that sup⁡z∈D∣f(z)∣⩾exp⁡(1−a24aπ).\sup_{z \in D} |f(z)| \geqslant \exp\left(\frac{1-a^2}{4a}\pi\right) .

Problem 10

Let KK be a knot in the 33 -dimensional space (that is a differentiable injection of a circle into R3\mathbb{R}^3 , and DD be the diagram of the knot (that is the projection of it to a plane so that in exception of the transversal double points it is also an injection of a circle). Let us color the complement of DD in black and color the diagram DD in a chessboard pattern, black and white so that zones which share an arc in common are coloured differently. Define ΓB(D)\Gamma_B(D) the black graph of the diagram, a graph which has vertices in the black areas and every two vertices which correspond to black areas which have a common point have an edge connecting them. [list=a] []Determine all knots having a diagram DD such that ΓB(D)\Gamma_B(D) has at most 33 spanning trees. (Two knots are not considered distinct if they can be moved into each other with a one parameter set of the injection of the circle)[/] []Prove that for any knot and any diagram DD , ΓB(D)\Gamma_B(D) has an odd number of spanning trees.[/] [/list]

Problem 11

Let X1,X2,..X_1,X_2,.. be independent random variables with the same distribution, and let Sn=X1+X2+...+Xn,n=1,2,...S_n=X_1+X_2+...+X_n, n=1,2,... . For what real numbers cc is the following statement true: P(∣S2n2n−c∣⩽∣Snn−c∣)⩾12P\left(\left| \frac{S_{2n}}{2n}- c \right| \leqslant \left| \frac{S_n}{n}-c\right| \right)\geqslant \frac{1}{2}