Aditivní kombinatorika - Additive combinatorics
Aditivní kombinatorika je oblast kombinatorika v matematice. Jednou z hlavních oblastí studia aditivní kombinatoriky jsou inverzní problémy: vzhledem k velikosti souprava A + B je malý, co můžeme říci o strukturách a ? V případě celých čísel klasická Freimanova věta poskytuje částečnou odpověď na tuto otázku, pokud jde o vícerozměrné aritmetické posloupnosti.
Dalším typickým problémem je najít dolní mez pro ve smyslu a . To lze považovat za inverzní problém s danou informací je dostatečně malý a strukturální závěr je pak v té formě nebo je prázdná množina; v literatuře se však tyto problémy někdy považují také za přímé problémy. Mezi příklady tohoto typu patří Domněnka Erdős – Heilbronn (pro omezená částka ) a Cauchy – Davenportova věta. Metody používané při řešení těchto otázek často pocházejí z mnoha různých oborů matematiky, včetně kombinatorika, ergodická teorie, analýza, teorie grafů, teorie skupin, a lineární algebraika a polynomiální metody.
Historie aditivní kombinatoriky
Ačkoli aditivní kombinatorika je poměrně nová větev kombinatoriky (ve skutečnosti termín aditivní kombinatorika byl vytvořen Terence Tao a Van H. Vu ve své knize z roku 2000), což je extrémně starý problém Cauchy – Davenportova věta je jedním z nejzásadnějších výsledků v této oblasti.
Cauchy – Davenportova věta
Předpokládejme to A a B jsou konečné podmnožiny pro nejlepšího , pak platí následující nerovnost.
Vosperova věta
Nyní máme nerovnost pro mohutnost množiny , je přirozené se ptát na inverzní problém, konkrétně za jakých podmínek a platí rovnost? Na tuto otázku odpovídá Vosperova věta. Předpokládejme to (to znamená vyloučení okrajových případů) a
pak a jsou aritmetické průběhy se stejným rozdílem. To ilustruje struktury, které jsou často studovány v aditivní kombinatorice: kombinatorická struktura ve srovnání s algebraickou strukturou aritmetických postupů.
Nerovnost Plünnecke – Ruzsa
Užitečná věta v aditivní kombinatorice je Nerovnost Plünnecke – Ruzsa. Tato věta dává horní mez na mohutnosti pokud jde o zdvojnásobující konstantu . Například pomocí nerovnosti Plünnecke – Ruzsa můžeme dokázat verzi Freimanovy věty v konečných polích.
Základní pojmy
Operace na soupravách
Nechat A a B být konečné podmnožiny abelianské skupiny, pak je množina součtů definována jako
Například můžeme psát . Podobně můžeme definovat sadu rozdílů A a B být
Zde uvádíme další užitečné notace.
Zdvojnásobující konstanta
Nechat A být podmnožinou abelianské skupiny. Konstanta zdvojnásobení měří, jak velká je nastavená suma je ve srovnání s původní velikostí |A|. Definujeme zdvojnásobující konstantu A být
Ruzsa vzdálenost
Nechat A a B být dvě podmnožiny abelianské skupiny. Definujeme Ruzsovu vzdálenost mezi těmito dvěma množinami jako veličinu
Nerovnost trojúhelníku Ruzsa nám říká, že vzdálenost Ruzsy se řídí nerovností trojúhelníku:
Nicméně od té doby nemůže být nula, všimněte si, že Ruzsova vzdálenost není ve skutečnosti metrikou.
Reference
Citace
- Tao, T., & Vu, V. (2012). Aditivní kombinatorika. Cambridge: Cambridge University Press.
- Green, B. (2009, 15. ledna). Recenze knihy Additive Combinatorics. Citováno z https://www.ams.org/journals/bull/2009-46-03/S0273-0979-09-01231-2/S0273-0979-09-01231-2.pdf.