Additive combinatorics and number theory

Abstract

Tato práce obsahuje výsledky ohledně růstu počítacích funkcí ideálů různých kombinatorických struktur. Ideál je množina prvků uzavřená na relaci obsa- hování, například množina všech rozkladů je uzavřená na podrozklady, nebo množina grafů může být uzavřená na indukované podgrafy. Počítací funkce (PF) ideálu pak udává kolik prvků dané velikosti je obsaženo v tomto ideálu. V první kapitole dokazujeme asymtotiku PF ideálů číselných rozkladů, které neobsahují rozklady s částmi v pevně dané konečné množině S. Tuto asymp- totiku dále použijeme při konstrukci ideálu číselných rozkladů, jehož PF velmi osciluje. Zmíníme rovněž další aplikace při charakterizaci PF dalších rozk- ladových ideálů. V druhé kapitole zobecníme ideály uspořádaných grafů na uspořádané k- uniformní hypergrafy a ukážeme dvě dichotomie jejich PF. Nejprve dokážeme skok z konstantního na lineární růst PF pro uspořádané k-uniformní grafy. Druhý výsledek ukazuje skok z polynomiálního na exponenciální růst PF pro uspořádané 3-uniformní hypergrafy. Jinak řečeno, neexistují žádné uspořádané k-uniformní hypergrafy s nekonstantní, avšak subpolynomiální PF. Obdobně neexistují žádné uspořádané 3-uniformní...

We present several results for growth functions of ideals of different com- binatorial structures. An ideal is a set downward closed under a containment relation, like the relation of subpartition for partitions, or the relation of induced subgraph for graphs etc. Its growth function (GF) counts elements of given size. For partition ideals we establish an asymptotics for GF of ideals that do not use parts from a finite set S and use this to construct ideal with highly oscillating GF. Then we present application characterising GF of particular partition ideals. We generalize ideals of ordered graphs to ordered uniform hypergraphs and show two dichotomies for their GF. The first result is a constant to linear jump for k-uniform hypergraphs. The second result establishes the polynomial to exponential jump for 3-uniform hypergraphs. That is, there are no ordered hypergraph ideals with GF strictly inside the constant-linear and polynomial- exponential range. We obtain in both dichotomies tight upper bounds. Finally, in a quite general setting we present several methods how to generate for various combinatorial structures pairs of sets defining two ideals with iden- tical GF. We call these pairs Wilf equivalent pairs and use the automorphism method and the replacement method to obtain such pairs. 1