Tomaszewski's conjecture
Tomaszewského hypotéza
diplomová práce (OBHÁJENO)

Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/98675Identifikátory
SIS: 190697
Kolekce
- Kvalifikační práce [11264]
Autor
Vedoucí práce
Oponent práce
Hladký, Jan
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Diskrétní modely a algoritmy
Katedra / ústav / klinika
Informatický ústav Univerzity Karlovy
Datum obhajoby
6. 6. 2018
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Angličtina
Známka
Výborně
Klíčová slova (česky)
pravděpodobnost;náhodné součtyKlíčová slova (anglicky)
probability;random sumV roce 1986 Boguslaw Tomaszewski zformuloval následující otázku: Mějme n reálných čísel a1, . . . , an takových, že součet jejich druhých mocnin je 1. Uvážíme-li 2n výrazů tvaru |ε1a1 +· · ·+εnan|, kde εi = ±1, může se stát, že výrazů s hodnotou ostře větší než 1 bude více než výrazů s hodnotou nejvýše 1? Kromě toho, že tato otázka je zajímavá z pohledu pravděpodobnosti, odpověď na tuto otázku by měla také aplikace například v kvadratickém programování. Otázka je ale po třiceti letech stále otevřená. V této práci vyřešíme speciální případ této domněnky. Dokážeme, že domněnka platí pro vektory tvaru (α, δ, . . . , δ) dostatečně velké dimenze. To zobecňuje předešlý výsledek dokazující, že domněnka platí pro vektory tvaru (δ, . . . , δ). 1
In 1986, Boguslaw Tomaszewski asked the following question: Consider n real numbers a1, . . . , an such that the sum of their squares is 1. Of the 2n expressions |ε1a1 + · · · + εnan| with εi = ±1, can there be more with value > 1 than with value ≤ 1? Apart from being of intrinsic interest in probability, an answer to this conjecture would also have applications in quadratic programming. However, even after more than thirty years the conjecture is still unsolved. In this thesis we settle a special case of the conjecture - we prove that the conjecture holds for vectors of the form (α, δ, . . . , δ) of sufficiently large dimension. This generalizes earlier result which showed that the conjecture holds for vectors of the form (δ, . . . , δ). 1