Polynomiální metoda v kombinatorice - Polynomial method in combinatorics - Wikipedia
V matematice polynomiální metoda je algebraický přístup k kombinatorika problémy, které zahrnují zachycení nějaké kombinatorické struktury pomocí polynomů a pokračování argumentů o jejich algebraických vlastnostech. Polynomiální metoda v poslední době vedla k vývoji pozoruhodně jednoduchých řešení několika dlouhodobých otevřených problémů[1]. Metoda polynomu zahrnuje širokou škálu specifických technik pro použití polynomů a nápadů z oblastí, jako je algebraická geometrie, k řešení kombinatorických problémů. Zatímco několik technik, které následují rámec polynomiální metody, jako je Alon Kombinatorický Nullstellensatz[2], jsou známy od 90. let, až kolem roku 2010 byl vyvinut širší rámec pro polynomiální metodu.
Matematický přehled
Mnoho použití metody polynomu se řídí stejným přístupem na vysoké úrovni. Přístup je následující:
- Vložte nějaký kombinatorický problém do vektorového prostoru.
- Zachyťte hypotézy problému konstrukcí polynomu nízkého stupně, který je na určité množině nulový
- Po konstrukci polynomu se dohadujte o jeho algebraických vlastnostech, abyste odvodili, že původní konfigurace musí splňovat požadované vlastnosti.
Příklad
Jako příklad uvedeme Dvirův důkaz Konečná dohad Kakeya pole pomocí polynomiální metody[3].
Konečná pole Kakeya dohad: Nechte být konečným polem s elementy. Nechat být sadou Kakeya, tj. pro každý vektor tady existuje takhle obsahuje řádek . Pak sada má velikost alespoň kde je konstanta, na které záleží jen .
Důkaz: Důkaz, který poskytneme, to ukáže má velikost alespoň . Vázaný z lze získat stejnou metodou s trochou další práce.
Předpokládejme, že máme sadu Kakeya s
Zvažte sadu monomiálů formuláře stupně přesně . Existují přesně takové monomily. Existuje tedy nenulová hodnota homogenní polynom stupně který zmizí ve všech bodech . Všimněte si to proto, že nalezení takového polynomu se redukuje na řešení systému lineární rovnice pro koeficienty.
Nyní použijeme vlastnost, která je Kakeya, který to má ukázat musí zmizet na všech . Jasně . Dále pro , tady je takové, že linka je obsažen v . Od té doby je homogenní, pokud pro některé pak pro všechny . Zejména
pro všechny nenulové . Nicméně, je polynom stupně v ale má alespoň kořeny odpovídající nenulovým prvkům takže to musí být shodně nula. Zejména připojení odvodíme .
Ukázali jsme to pro všechny ale má stupeň menší než v každé z proměnných, takže to je nemožné Schwartz – Zippelovo lemma. Dedukujeme, že to vlastně musíme mít
Polynomiální rozdělení
Variaci polynomiální metody, často nazývaná polynomiální rozdělení, zavedli Guth a Katz ve svém řešení Erdőův problém se značnými vzdálenostmi[4]. Polynomiální rozdělení zahrnuje použití polynomů k rozdělení podkladového prostoru do oblastí a dohadování se o geometrické struktuře oddílu. Tyto argumenty se spoléhají na výsledky z algebraické geometrie ohraničující počet výskytů mezi různými algebraickými křivkami. Technika polynomiálního dělení byla použita k poskytnutí nového důkazu Szemerédi – Trotterova věta přes polynomiální šunková sendvičová věta a byl aplikován na řadu problémů v geometrii dopadu[5][6].
Aplikace
Několik příkladů dlouhodobých otevřených problémů, které byly vyřešeny pomocí polynomiální metody, jsou:
- The Kakeya domněnka konečného pole[3] podle Dvir
- The sada čepic problém Ellenberga a Gijswijta[7] s původním rámcem vyvinutým na analogickém problému Croot, Lev a Pach[8]
- The Erdőův problém se značnými vzdálenostmi Guth a Katz[4]
- Problém kloubů ve 3D od Guth a Katz[9]. Jejich argumenty později zjednodušili Elekes, Kaplan a Sharir[10]
Viz také
Reference
- ^ Guth, L. (2016). Polynomiální metody v kombinatorice. Série univerzitních přednášek. Americká matematická společnost. ISBN 978-1-4704-2890-7. Citováno 2019-12-11.
- ^ Alon, Noga (1999). "Combinatorial Nullstellensatz". Kombinatorika, pravděpodobnost a výpočetní technika. 8 (1–2): 7–29. doi:10.1017 / S0963548398003411. ISSN 0963-5483.
- ^ A b Dvir, Zeev (2008). „O velikosti Kakeyových sad v konečných polích“. Journal of the American Mathematical Society. 22 (4): 1093–1097. doi:10.1090 / S0894-0347-08-00607-3. ISSN 0894-0347.
- ^ A b Guth, Larry; Katz, Nets (2015). „Na Erdőově problému s různými vzdálenostmi v letadle“. Annals of Mathematics: 155–190. doi:10.4007 / annals.2015.181.1.2. hdl:1721.1/92873. ISSN 0003-486X.
- ^ Kaplan, Haim; Matoušek, Jiří; Sharir, Micha (2012). „Jednoduché důkazy klasických vět v diskrétní geometrii pomocí techniky Gnom – Katzova polynomiálního dělení“. Diskrétní a výpočetní geometrie. 48 (3): 499–517. arXiv:1102.5391. doi:10.1007 / s00454-012-9443-3. ISSN 0179-5376.
- ^ Dvir, Zeev (2012). "Věty o incidenci a jejich aplikace". Základy a trendy v teoretické informatice. 6 (4): 257–393. arXiv:1208.5073. Bibcode:2012arXiv1208.5073D. doi:10.1561/0400000056. ISSN 1551-305X.
- ^ Ellenberg, Jordan; Gijswijt, Dion (2017). "Na velké podmnožiny bez třídobého aritmetického postupu “. Annals of Mathematics. 185 (1): 339–343. doi:10.4007 / annals.2017.185.1.8. ISSN 0003-486X.
- ^ Croot, Ernie; Lev, Vsevolod; Pach, Péter (2017). "Nastavuje se bez progrese jsou exponenciálně malé " (PDF). Annals of Mathematics. 185 (1): 331–337. doi:10.4007 / annals.2017.185.1.7. ISSN 0003-486X.
- ^ Guth, Larry; Katz, Nets Hawk (2010). "Algebraické metody v diskrétních analogech problému Kakeya". Pokroky v matematice. 225 (5): 2828–2839. arXiv:0812.1043. doi:10.1016 / j.aim.2010.05.015. ISSN 0001-8708.
- ^ Elekes, György; Kaplan, Haim; Sharir, Micha (2011). "Na liniích, spojích a incidencích ve třech rozměrech". Journal of Combinatorial Theory, Series A. 118 (3): 962–977. doi:10.1016 / j.jcta.2010.11.008. ISSN 0097-3165.
Externí odkazy
- Průzkum polynomiální metody Terence Tao
- Průzkum polynomiální metody Larry Guth