Problems of the MiklΓ³s Schweitzer Memorial Competition, 2009. 1

Problems of the Miklós Schweitzer Memorial Competition,
2009.
1. On every card of a deck of cards a regular 17-gon is displayed with
all sides and diagonals, and the vertices are numbered from 1 through
17. On every card all edges (sides and diagonals) are colored with
a color 1, 2, . . . , 105 such that the following property holds: for every
15 vertices of the 17-gon the 105 edges connecting these vertices are
colored with different colors on at least one of the cards. What is the
minimum number of cards in the deck?
2. Let 𝑝1 , . . . , π‘π‘˜ be prime numbers, and let 𝑆 be the set of those integers whose all prime divisors are among 𝑝1 , . . . , π‘π‘˜ . For a finite subset
𝐴 of the integers let us denote by 𝒒(𝐴) the graph whose vertices are
the elements of 𝐴, and the edges are those pairs π‘Ž, 𝑏 ∈ 𝐴 for which
π‘Ž βˆ’ 𝑏 ∈ 𝑆. Does there exist for all π‘š β‰₯ 3 an π‘š-element subset 𝐴 of the
integers such that
(i) 𝒒(𝐴) is complete?
(ii) 𝒒(𝐴) is connected, but all vertices have degree at most 2?
3. Prove that there exist positive constants 𝑐 and 𝑛0 with the following
property. If 𝐴 is a finite set of integers, ∣𝐴∣ = 𝑛 > 𝑛0 , then
∣𝐴 βˆ’ 𝐴∣ βˆ’ ∣𝐴 + 𝐴∣ ≀ 𝑛2 βˆ’ 𝑐𝑛8/5 .
4. Prove that the polynomial
π‘₯𝑛 + π‘₯π‘š βˆ’ 2
π‘₯gcd(π‘š,𝑛) βˆ’ 1
is irreducible over β„š for all integers 𝑛 > π‘š > 0.
𝑓 (π‘₯) =
5. Let 𝐺 be a finite non-commutative group of order 𝑑 = 2𝑛 π‘š, where
𝑛, π‘š are positive and π‘š is odd. Prove, that if the group contains an
element of order 2𝑛 , then
(i) 𝐺 is not simple;
(ii) 𝐺 contains a normal subgroup of order π‘š.
6. A set system (𝑆, 𝐿) is called a Steiner triple system, if 𝐿 βˆ•= βˆ…, any
pair π‘₯, 𝑦 ∈ 𝑆, π‘₯ βˆ•= 𝑦 of points lie on a unique line β„“ ∈ 𝐿, and every
line β„“ ∈ 𝐿 contains exactly three points. Let (𝑆, 𝐿) be a Steiner triple
system, and let us denote by π‘₯𝑦 the thrid point on a line determined
by the points π‘₯ βˆ•= 𝑦. Let 𝐴 be a group whose factor by its center 𝐢(𝐴)
is of prime power order. Let 𝑓, β„Ž : 𝑆 β†’ 𝐴 be maps, such that 𝐢(𝐴)
contains the range of 𝑓 , and the range of β„Ž generates 𝐴. Show, that if
𝑓 (π‘₯) = β„Ž(π‘₯)β„Ž(𝑦)β„Ž(π‘₯)β„Ž(π‘₯𝑦)
holds for all pairs π‘₯ βˆ•= 𝑦 of points, then 𝐴 is commutative, and there
exists an element π‘˜ ∈ 𝐴, such that 𝑓 (π‘₯) = π‘˜β„Ž(π‘₯) for all π‘₯ ∈ 𝑆.
7. Let 𝐻 be an arbitrary subgroup of the diffeomorphism group
Diο¬€βˆž (𝑀 ) of a differentiable manifold 𝑀 . We say that a π’ž ∞ vector
field 𝑋 is weakly tangent to the group 𝐻, if there exists a positive
integer π‘˜ and a π’ž ∞ -differentiable map πœ‘ : ] βˆ’ πœ€, πœ€[π‘˜ × π‘€ β†’ 𝑀 such that
(i) for fixed 𝑑1 , . . . , π‘‘π‘˜ the map
πœ‘π‘‘1 ,...,π‘‘π‘˜ : π‘₯ ∈ 𝑀 7β†’ πœ‘(𝑑1 , . . . , π‘‘π‘˜ , π‘₯)
is a diffeomorphism of 𝑀 , and πœ‘π‘‘1 ,...,π‘‘π‘˜ ∈ 𝐻;
(ii) πœ‘π‘‘1 ,...,π‘‘π‘˜ ∈ 𝐻 = Id whenever 𝑑𝑗 = 0 for some 1 ≀ 𝑗 ≀ π‘˜;
(iii) for any π’ž ∞ -function 𝑓 : 𝑀 β†’ ℝ
βˆ‚ π‘˜ (𝑓 ∘ πœ‘π‘‘1 ,...,π‘‘π‘˜ ) 𝑋𝑓 =
.
βˆ‚π‘‘1 . . . βˆ‚π‘‘π‘˜ (𝑑1 ,...,π‘‘π‘˜ )=(0,...,0)
Prove, that the commutators of π’ž ∞ vector fields that are weakly tangent to 𝐻 βŠ‚ Diο¬€βˆž (𝑀 ) are also weakly tangent to 𝐻.
8. Let {𝐴𝑛 }π‘›βˆˆβ„• be a sequence of measurable subsets of the real line
which covers almost every point infinitely often. Prove, that there
exists a set 𝐡 βŠ‚ β„• of zero density, such that {𝐴𝑛 }π‘›βˆˆπ΅ also covers
almost every point infinitely often. (The set 𝐡 βŠ‚ β„• is of zero density
if π‘™π‘–π‘šπ‘›β†’βˆž #{𝐡∩{0,...,π‘›βˆ’1}}
= 0.)
𝑛
9. Let 𝑃 βŠ† β„π‘š be a non-empty compact convex set and 𝑓 : 𝑃 β†’ ℝ+
be a concave function. Prove, that for every πœ‰ ∈ β„π‘š
[
] ∫
∫
π‘š+1
1
βŸ¨πœ‰, π‘₯βŸ©π‘“ (π‘₯)𝑑π‘₯ ≀
𝑓 (π‘₯)𝑑(π‘₯).
supβŸ¨πœ‰, π‘₯⟩ +
inf βŸ¨πœ‰, π‘₯⟩ β‹…
π‘š + 2 π‘₯βˆˆπ‘ƒ
π‘š + 2 π‘₯βˆˆπ‘ƒ
𝑃
𝑃
10. Let π‘ˆ βŠ‚ ℝ𝑛 be an open set, and let 𝐿 : π‘ˆ ×ℝ𝑛 β†’ ℝ be a continuous,
in its second variable first order positive homogeneous, positive over
π‘ˆ × (ℝ𝑛 βˆ– {0}) and of 𝐢 2 -class Langrange function, such that for all
𝑝 ∈ π‘ˆ the Gauss-curvature of the hyper surface
{𝑣 ∈ ℝ𝑛 ∣ 𝐿(𝑝, 𝑣) = 1}
is nowhere zero. Determine the extremals of 𝐿 if it satisfies the following system
𝑛
βˆ‘
π‘˜=1
π‘˜
𝑦 βˆ‚π‘˜ βˆ‚π‘›+𝑖 𝐿 =
𝑛
βˆ‘
𝑦 π‘˜ βˆ‚π‘– βˆ‚π‘›+π‘˜ 𝐿
(𝑖 ∈ {1, . . . , 𝑛})
π‘˜=1
of partial differetial equations, where 𝑦 π‘˜ (𝑒, 𝑣) := 𝑣 π‘˜ for (𝑒, 𝑣) ∈ π‘ˆ × β„π‘˜ ,
𝑣 = (𝑣 1 , . . . , 𝑣 π‘˜ ).
11. Denote by 𝐻𝑛 the linear space of 𝑛 × π‘› self-adjoint complex matrices, and by 𝑃𝑛 the cone of positive-semidefinite matrices in this space.
Let us consider the usual inner product on 𝐻𝑛
⟨𝐴, 𝐡⟩ = tr𝐴𝐡
(𝐴, 𝐡 ∈ 𝐻𝑛 )
and its derived metric. Show that every πœ™ : 𝑃𝑛 β†’ 𝑃𝑛 isometry (that
is a not necessarily surjective, distance preserving map with respect to
the above metric) can be expressed as
πœ™(𝐴) = π‘ˆ π΄π‘ˆ βˆ— + 𝑋
(𝐴 ∈ 𝐻𝑛 )
or
πœ™(𝐴) = π‘ˆ 𝐴𝑇 π‘ˆ βˆ— + 𝑋
(𝐴 ∈ 𝐻𝑛 )
where π‘ˆ is an 𝑛×𝑛 unitary matrix, 𝑋 is a positive-semidefinite matrix,
and 𝑇 and βˆ— denote taking the transpose and the adjoint, respectively.
12. Let 𝑍1 , 𝑍2 , . . . , 𝑍𝑛 be 𝑑-dimensional independent random (column)
vectors with standard normal distribution, 𝑛 βˆ’ 1 > 𝑑. Furthermore let
𝑛
𝑛
1 βˆ‘
1βˆ‘
𝑍𝑖 , 𝑆𝑛 =
(𝑍𝑖 βˆ’ 𝑍)(𝑍𝑖 βˆ’ 𝑍)⊀
𝑍=
𝑛 𝑖=1
𝑛 βˆ’ 1 𝑖=1
be the sample mean and the corrected empirical covariance matrix.
βˆ’1/2
Consider the standardized samples π‘Œπ‘– = 𝑆𝑛 (𝑍𝑖 βˆ’ 𝑍), 𝑖 = 1, 2, . . . , 𝑛.
Show that
πΈβˆ£π‘Œ1 βˆ’ π‘Œ2 ∣
> 1,
πΈβˆ£π‘1 βˆ’ 𝑍2 ∣
and that the ratio does not depend on 𝑑, only on 𝑛.
Unofficial translation by Dmytro Mitin and Miklós Maróti