Pub Date : 2024-12-06DOI: 10.1016/j.jctb.2024.11.005
Huajun Zhang , Biao Wu
Two families of sets and are called cross-t-intersecting if for all , . An active problem in extremal set theory is to determine the maximum product of sizes of cross-t-intersecting families. This incorporates the classical Erdős–Ko–Rado (EKR) problem. In the present paper, we prove that if and are cross-t-intersecting with and , then . Moreover, equality holds if and only if is a maximum t-intersecting subfamily of . This confirms a conjecture of Tokushige for .
{"title":"On a conjecture of Tokushige for cross-t-intersecting families","authors":"Huajun Zhang , Biao Wu","doi":"10.1016/j.jctb.2024.11.005","DOIUrl":"10.1016/j.jctb.2024.11.005","url":null,"abstract":"<div><div>Two families of sets <span><math><mi>A</mi></math></span> and <span><math><mi>B</mi></math></span> are called cross-<em>t</em>-intersecting if <span><math><mo>|</mo><mi>A</mi><mo>∩</mo><mi>B</mi><mo>|</mo><mo>≥</mo><mi>t</mi></math></span> for all <span><math><mi>A</mi><mo>∈</mo><mi>A</mi></math></span>, <span><math><mi>B</mi><mo>∈</mo><mi>B</mi></math></span>. An active problem in extremal set theory is to determine the maximum product of sizes of cross-<em>t</em>-intersecting families. This incorporates the classical Erdős–Ko–Rado (EKR) problem. In the present paper, we prove that if <span><math><mi>A</mi><mo>⊆</mo><mrow><mo>(</mo><mtable><mtr><mtd><mrow><mo>[</mo><mi>n</mi><mo>]</mo></mrow></mtd></mtr><mtr><mtd><mi>k</mi></mtd></mtr></mtable><mo>)</mo></mrow></math></span> and <span><math><mi>B</mi><mo>⊆</mo><mrow><mo>(</mo><mtable><mtr><mtd><mrow><mo>[</mo><mi>n</mi><mo>]</mo></mrow></mtd></mtr><mtr><mtd><mi>k</mi></mtd></mtr></mtable><mo>)</mo></mrow></math></span> are cross-<em>t</em>-intersecting with <span><math><mi>k</mi><mo>≥</mo><mi>t</mi><mo>≥</mo><mn>3</mn></math></span> and <span><math><mi>n</mi><mo>≥</mo><mo>(</mo><mi>t</mi><mo>+</mo><mn>1</mn><mo>)</mo><mo>(</mo><mi>k</mi><mo>−</mo><mi>t</mi><mo>+</mo><mn>1</mn><mo>)</mo></math></span>, then <span><math><mo>|</mo><mi>A</mi><mo>|</mo><mo>|</mo><mi>B</mi><mo>|</mo><mo>≤</mo><msup><mrow><mo>(</mo><mtable><mtr><mtd><mrow><mi>n</mi><mo>−</mo><mi>t</mi></mrow></mtd></mtr><mtr><mtd><mrow><mi>k</mi><mo>−</mo><mi>t</mi></mrow></mtd></mtr></mtable><mo>)</mo></mrow><mrow><mn>2</mn></mrow></msup></math></span>. Moreover, equality holds if and only if <span><math><mi>A</mi><mo>=</mo><mi>B</mi></math></span> is a maximum <em>t</em>-intersecting subfamily of <span><math><mo>(</mo><mtable><mtr><mtd><mrow><mo>[</mo><mi>n</mi><mo>]</mo></mrow></mtd></mtr><mtr><mtd><mi>k</mi></mtd></mtr></mtable><mo>)</mo></math></span>. This confirms a conjecture of Tokushige for <span><math><mi>t</mi><mo>≥</mo><mn>3</mn></math></span>.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"171 ","pages":"Pages 49-70"},"PeriodicalIF":1.2,"publicationDate":"2024-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142929320","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-12-05DOI: 10.1016/j.jctb.2024.11.003
Ervin Győri , Nika Salia
Extensions of Erdős-Gallai Theorem for general hypergraphs are well studied. In this work, we prove the extension of Erdős-Gallai Theorem for linear hypergraphs. In particular, we show that the number of hyperedges in an n-vertex 3-uniform linear hypergraph, without a Berge path of length k as a subgraph is at most for . The bound is sharp for infinitely many k and n.
{"title":"Linear three-uniform hypergraphs with no Berge path of given length","authors":"Ervin Győri , Nika Salia","doi":"10.1016/j.jctb.2024.11.003","DOIUrl":"10.1016/j.jctb.2024.11.003","url":null,"abstract":"<div><div>Extensions of Erdős-Gallai Theorem for general hypergraphs are well studied. In this work, we prove the extension of Erdős-Gallai Theorem for linear hypergraphs. In particular, we show that the number of hyperedges in an <em>n</em>-vertex 3-uniform linear hypergraph, without a Berge path of length <em>k</em> as a subgraph is at most <span><math><mfrac><mrow><mo>(</mo><mi>k</mi><mo>−</mo><mn>1</mn><mo>)</mo></mrow><mrow><mn>6</mn></mrow></mfrac><mi>n</mi></math></span> for <span><math><mi>k</mi><mo>≥</mo><mn>4</mn></math></span>. The bound is sharp for infinitely many <em>k</em> and <em>n</em>.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"171 ","pages":"Pages 36-48"},"PeriodicalIF":1.2,"publicationDate":"2024-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142929321","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-11-28DOI: 10.1016/j.jctb.2024.11.002
Ji Zeng
We prove that every n-vertex complete simple topological graph generates at least pairwise disjoint 4-faces. This improves upon a recent result by Hubard and Suk. As an immediate corollary, every n-vertex complete simple topological graph drawn in the unit square generates a 4-face with area at most . This can be seen as a topological variant of the Heilbronn problem for quadrilaterals. We construct examples showing that our result is asymptotically tight. We also discuss the similar problem for k-faces with arbitrary .
{"title":"Note on disjoint faces in simple topological graphs","authors":"Ji Zeng","doi":"10.1016/j.jctb.2024.11.002","DOIUrl":"10.1016/j.jctb.2024.11.002","url":null,"abstract":"<div><div>We prove that every <em>n</em>-vertex complete simple topological graph generates at least <span><math><mi>Ω</mi><mo>(</mo><mi>n</mi><mo>)</mo></math></span> pairwise disjoint 4-faces. This improves upon a recent result by Hubard and Suk. As an immediate corollary, every <em>n</em>-vertex complete simple topological graph drawn in the unit square generates a 4-face with area at most <span><math><mi>O</mi><mo>(</mo><mn>1</mn><mo>/</mo><mi>n</mi><mo>)</mo></math></span>. This can be seen as a topological variant of the Heilbronn problem for quadrilaterals. We construct examples showing that our result is asymptotically tight. We also discuss the similar problem for <em>k</em>-faces with arbitrary <span><math><mi>k</mi><mo>≥</mo><mn>3</mn></math></span>.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"171 ","pages":"Pages 28-35"},"PeriodicalIF":1.2,"publicationDate":"2024-11-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142743022","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-11-14DOI: 10.1016/j.jctb.2024.11.001
Alexander L. Gavrilyuk , Jack H. Koolen
The Grassmann graph is a graph on the D-dimensional subspaces of with two subspaces being adjacent if their intersection has dimension . Characterizing these graphs by their intersection numbers is an important step towards a solution of the classification problem for -polynomial association schemes, posed by Bannai and Ito in their monograph “Algebraic Combinatorics I” (1984).
Metsch (1995) [37] showed that the Grassmann graph with is characterized by its intersection numbers except for the following two principal open cases: or . Van Dam and Koolen (2005) [57] constructed the twisted Grassmann graphs with the same intersection numbers as the Grassmann graphs (for any prime power q and ), but not isomorphic to the latter ones. This shows that characterizing the graphs in the remaining cases would require a conceptually new approach.
We prove that the Grassmann graph is characterized by its intersection numbers provided that D is large enough.
格拉斯曼图 Jq(n,D) 是 Fqn 的 D 维子空间上的图,如果两个子空间的相交维数为 D-1,则这两个子空间相邻。Metsch (1995) [37]指出,D≥3的格拉斯曼图 Jq(n,D)由其交点数表征,但以下两种主要开放情况除外:n=2D 或 n=2D+1。Van Dam 和 Koolen(2005)[57] 构建的扭曲格拉斯曼图与格拉斯曼图 Jq(2D+1,D)(对于任意质幂 q 和 D≥2)具有相同的交点数,但与后者不同构。我们证明,只要 D 足够大,格拉斯曼图 Jq(2D,D) 的交点数就是它的特征。
{"title":"A characterization of the Grassmann graphs","authors":"Alexander L. Gavrilyuk , Jack H. Koolen","doi":"10.1016/j.jctb.2024.11.001","DOIUrl":"10.1016/j.jctb.2024.11.001","url":null,"abstract":"<div><div>The Grassmann graph <span><math><msub><mrow><mi>J</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>,</mo><mi>D</mi><mo>)</mo></math></span> is a graph on the <em>D</em>-dimensional subspaces of <span><math><msubsup><mrow><mi>F</mi></mrow><mrow><mi>q</mi></mrow><mrow><mi>n</mi></mrow></msubsup></math></span> with two subspaces being adjacent if their intersection has dimension <span><math><mi>D</mi><mo>−</mo><mn>1</mn></math></span>. Characterizing these graphs by their intersection numbers is an important step towards a solution of the classification problem for <span><math><mo>(</mo><mi>P</mi><mrow><mspace></mspace><mi>and</mi><mspace></mspace></mrow><mi>Q</mi><mo>)</mo></math></span>-polynomial association schemes, posed by Bannai and Ito in their monograph “Algebraic Combinatorics I” (1984).</div><div>Metsch (1995) <span><span>[37]</span></span> showed that the Grassmann graph <span><math><msub><mrow><mi>J</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>,</mo><mi>D</mi><mo>)</mo></math></span> with <span><math><mi>D</mi><mo>≥</mo><mn>3</mn></math></span> is characterized by its intersection numbers except for the following two principal open cases: <span><math><mi>n</mi><mo>=</mo><mn>2</mn><mi>D</mi></math></span> or <span><math><mi>n</mi><mo>=</mo><mn>2</mn><mi>D</mi><mo>+</mo><mn>1</mn></math></span>. Van Dam and Koolen (2005) <span><span>[57]</span></span> constructed the twisted Grassmann graphs with the same intersection numbers as the Grassmann graphs <span><math><msub><mrow><mi>J</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>(</mo><mn>2</mn><mi>D</mi><mo>+</mo><mn>1</mn><mo>,</mo><mi>D</mi><mo>)</mo></math></span> (for any prime power <em>q</em> and <span><math><mi>D</mi><mo>≥</mo><mn>2</mn></math></span>), but not isomorphic to the latter ones. This shows that characterizing the graphs in the remaining cases would require a conceptually new approach.</div><div>We prove that the Grassmann graph <span><math><msub><mrow><mi>J</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>(</mo><mn>2</mn><mi>D</mi><mo>,</mo><mi>D</mi><mo>)</mo></math></span> is characterized by its intersection numbers provided that <em>D</em> is large enough.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"171 ","pages":"Pages 1-27"},"PeriodicalIF":1.2,"publicationDate":"2024-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142663746","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-11-05DOI: 10.1016/j.jctb.2024.10.002
On-Hei Solomon Lo , Carol T. Zamfirescu
We investigate the minimum number of cycles of specified lengths in planar n-vertex triangulations G. We prove that this number is for any cycle length at most , where denotes the radius of the triangulation's dual, which is at least logarithmic but can be linear in the order of the triangulation. We also show that there exist planar hamiltonian n-vertex triangulations containing many k-cycles for any . Furthermore, we prove that planar 4-connected n-vertex triangulations contain many k-cycles for every , and that, under certain additional conditions, they contain k-cycles for many values of k, including n.
我们研究了平面 n 顶点三角剖分 G 中指定长度循环的最小数目。我们证明,对于循环长度最多为 3+max{rad(G⁎),⌈(n-32)log32⌉} 的任意循环,该数目为 Ω(n),其中 rad(G⁎) 表示三角剖分的对偶半径,它至少是对数,但可以是三角剖分顺序的线性。我们还证明,对于任意 k∈{⌈n-n5⌉,...,n},存在包含 O(n) 个 k 循环的平面哈密顿 n 顶点三角剖分。此外,我们还证明了平面四连 n 顶点三角形在任何 k∈{3,...,n} 条件下都包含 Ω(n) 个 k 循环,而且在某些附加条件下,它们在包括 n 在内的许多 k 值上都包含 Ω(n2) 个 k 循环。
{"title":"Counting cycles in planar triangulations","authors":"On-Hei Solomon Lo , Carol T. Zamfirescu","doi":"10.1016/j.jctb.2024.10.002","DOIUrl":"10.1016/j.jctb.2024.10.002","url":null,"abstract":"<div><div>We investigate the minimum number of cycles of specified lengths in planar <em>n</em>-vertex triangulations <em>G</em>. We prove that this number is <span><math><mi>Ω</mi><mo>(</mo><mi>n</mi><mo>)</mo></math></span> for any cycle length at most <span><math><mn>3</mn><mo>+</mo><mi>max</mi><mo></mo><mo>{</mo><mrow><mi>rad</mi></mrow><mo>(</mo><msup><mrow><mi>G</mi></mrow><mrow><mo>⁎</mo></mrow></msup><mo>)</mo><mo>,</mo><mo>⌈</mo><msup><mrow><mo>(</mo><mfrac><mrow><mi>n</mi><mo>−</mo><mn>3</mn></mrow><mrow><mn>2</mn></mrow></mfrac><mo>)</mo></mrow><mrow><msub><mrow><mi>log</mi></mrow><mrow><mn>3</mn></mrow></msub><mo></mo><mn>2</mn></mrow></msup><mo>⌉</mo><mo>}</mo></math></span>, where <span><math><mrow><mi>rad</mi></mrow><mo>(</mo><msup><mrow><mi>G</mi></mrow><mrow><mo>⁎</mo></mrow></msup><mo>)</mo></math></span> denotes the radius of the triangulation's dual, which is at least logarithmic but can be linear in the order of the triangulation. We also show that there exist planar hamiltonian <em>n</em>-vertex triangulations containing <span><math><mi>O</mi><mo>(</mo><mi>n</mi><mo>)</mo></math></span> many <em>k</em>-cycles for any <span><math><mi>k</mi><mo>∈</mo><mo>{</mo><mo>⌈</mo><mi>n</mi><mo>−</mo><mroot><mrow><mi>n</mi></mrow><mrow><mn>5</mn></mrow></mroot><mo>⌉</mo><mo>,</mo><mo>…</mo><mo>,</mo><mi>n</mi><mo>}</mo></math></span>. Furthermore, we prove that planar 4-connected <em>n</em>-vertex triangulations contain <span><math><mi>Ω</mi><mo>(</mo><mi>n</mi><mo>)</mo></math></span> many <em>k</em>-cycles for every <span><math><mi>k</mi><mo>∈</mo><mo>{</mo><mn>3</mn><mo>,</mo><mo>…</mo><mo>,</mo><mi>n</mi><mo>}</mo></math></span>, and that, under certain additional conditions, they contain <span><math><mi>Ω</mi><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></math></span> <em>k</em>-cycles for many values of <em>k</em>, including <em>n</em>.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"170 ","pages":"Pages 335-351"},"PeriodicalIF":1.2,"publicationDate":"2024-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142586484","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-10-15DOI: 10.1016/j.jctb.2024.10.001
Alistair Benford , Richard Montgomery
Sumner's universal tournament conjecture states that every -vertex tournament should contain a copy of every n-vertex oriented tree. If we know the number of leaves of an oriented tree, or its maximum degree, can we guarantee a copy of the tree with fewer vertices in the tournament? Due to work initiated by Häggkvist and Thomason (for number of leaves) and Kühn, Mycroft and Osthus (for maximum degree), it is known that improvements can be made over Sumner's conjecture in some cases, and indeed sometimes an -vertex tournament may be sufficient.
In this paper, we give new results on these problems. Specifically, we show
i)
for every , there exists such that, whenever , every -vertex tournament contains a copy of every n-vertex oriented tree with k leaves, and
ii)
for every , there exists and such that, whenever , every -vertex tournament contains a copy of every n-vertex oriented tree with maximum degree .
Our first result gives an asymptotic form of a conjecture by Havet and Thomassé, while the second improves a result of Mycroft and Naia which applies to trees with polylogarithmic maximum degree.
萨姆纳的通用锦标赛猜想指出,每一个 (2n-2)- 顶点锦标赛都应该包含每一棵 n 个顶点的定向树的副本。如果我们知道一棵定向树的叶子数或它的最大度数,我们能否保证锦标赛中会有顶点数较少的定向树的副本呢?由于海格奎斯特(Häggkvist)和托马森(Thomason)(针对树叶数)以及库恩(Kühn)、迈克罗夫特(Mycroft)和奥斯特胡斯(Osthus)(针对最大度)所做的工作,我们知道在某些情况下可以改进萨姆纳猜想,实际上有时一个(n+o(n))顶点锦标赛可能就足够了。具体地说,我们证明i)对于每一个 α>0, 都存在 n0∈N 这样的情况:当 n⩾n0 时,每一个 ((1+α)n+k)-vertex tournament 都包含每一个有 k 个叶子的 n-vertex 定向树的副本;ii)对于每一个 α>;0,存在 c>0 和 n0∈N 这样的情况:当 n⩾n0 时,每一个 (1+α)n 顶点锦标赛都包含每一棵具有最大度 Δ(T)⩽cn 的 n 顶点定向树的副本。我们的第一个结果给出了 Havet 和 Thomassé 猜想的渐近形式,第二个结果改进了 Mycroft 和 Naia 的一个结果,该结果适用于最大度为多对数的树。
{"title":"Trees with many leaves in tournaments","authors":"Alistair Benford , Richard Montgomery","doi":"10.1016/j.jctb.2024.10.001","DOIUrl":"10.1016/j.jctb.2024.10.001","url":null,"abstract":"<div><div>Sumner's universal tournament conjecture states that every <span><math><mo>(</mo><mn>2</mn><mi>n</mi><mo>−</mo><mn>2</mn><mo>)</mo></math></span>-vertex tournament should contain a copy of every <em>n</em>-vertex oriented tree. If we know the number of leaves of an oriented tree, or its maximum degree, can we guarantee a copy of the tree with fewer vertices in the tournament? Due to work initiated by Häggkvist and Thomason (for number of leaves) and Kühn, Mycroft and Osthus (for maximum degree), it is known that improvements can be made over Sumner's conjecture in some cases, and indeed sometimes an <span><math><mo>(</mo><mi>n</mi><mo>+</mo><mi>o</mi><mo>(</mo><mi>n</mi><mo>)</mo><mo>)</mo></math></span>-vertex tournament may be sufficient.</div><div>In this paper, we give new results on these problems. Specifically, we show<ul><li><span>i)</span><span><div>for every <span><math><mi>α</mi><mo>></mo><mn>0</mn></math></span>, there exists <span><math><msub><mrow><mi>n</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>∈</mo><mi>N</mi></math></span> such that, whenever <span><math><mi>n</mi><mo>⩾</mo><msub><mrow><mi>n</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span>, every <span><math><mo>(</mo><mo>(</mo><mn>1</mn><mo>+</mo><mi>α</mi><mo>)</mo><mi>n</mi><mo>+</mo><mi>k</mi><mo>)</mo></math></span>-vertex tournament contains a copy of every <em>n</em>-vertex oriented tree with <em>k</em> leaves, and</div></span></li><li><span>ii)</span><span><div>for every <span><math><mi>α</mi><mo>></mo><mn>0</mn></math></span>, there exists <span><math><mi>c</mi><mo>></mo><mn>0</mn></math></span> and <span><math><msub><mrow><mi>n</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>∈</mo><mi>N</mi></math></span> such that, whenever <span><math><mi>n</mi><mo>⩾</mo><msub><mrow><mi>n</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span>, every <span><math><mo>(</mo><mn>1</mn><mo>+</mo><mi>α</mi><mo>)</mo><mi>n</mi></math></span>-vertex tournament contains a copy of every <em>n</em>-vertex oriented tree with maximum degree <span><math><mi>Δ</mi><mo>(</mo><mi>T</mi><mo>)</mo><mo>⩽</mo><mi>c</mi><mi>n</mi></math></span>.</div></span></li></ul> Our first result gives an asymptotic form of a conjecture by Havet and Thomassé, while the second improves a result of Mycroft and Naia which applies to trees with polylogarithmic maximum degree.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"170 ","pages":"Pages 260-334"},"PeriodicalIF":1.2,"publicationDate":"2024-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142442896","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-10-14DOI: 10.1016/j.jctb.2024.09.004
Andrzej Dudek , Jarosław Grytczuk , Andrzej Ruciński
For , an ordered r-uniform matching of size n is an r-uniform hypergraph on a linearly ordered vertex set V, with , consisting of n pairwise disjoint edges. There are different ways two edges may intertwine, called here patterns. Among them we identify collectable patterns P, which have the potential of appearing in arbitrarily large quantities called P-cliques.
We prove an Erdős-Szekeres type result guaranteeing in every ordered r-uniform matching the presence of a P-clique of a prescribed size, for some collectable pattern P. In particular, in the diagonal case, one of the P-cliques must be of size . In addition, for each collectable pattern P we show that the largest size of a P-clique in a random ordered r-uniform matching of size n is, with high probability, .
对于 r,n⩾2,大小为 n 的有序 r-Uniform 匹配是线性有序顶点集 V 上的 r-Uniform 超图,|V|=rn,由 n 条成对不相交的边组成。两条边有 12(2rr) 种不同的交织方式,在此称为模式。我们证明了 Erdős-Szekeres 类型的结果,即对于某个可收集模式 P,保证在每个有序 r-uniform 匹配中存在规定大小的 P-clique。此外,对于每个可收集模式 P,我们证明在大小为 n 的随机有序 r-uniform 匹配中,P-clique 的最大大小很有可能是 Θ(n1/r)。
{"title":"Erdős-Szekeres type theorems for ordered uniform matchings","authors":"Andrzej Dudek , Jarosław Grytczuk , Andrzej Ruciński","doi":"10.1016/j.jctb.2024.09.004","DOIUrl":"10.1016/j.jctb.2024.09.004","url":null,"abstract":"<div><div>For <span><math><mi>r</mi><mo>,</mo><mi>n</mi><mo>⩾</mo><mn>2</mn></math></span>, an ordered <em>r</em>-uniform matching of size <em>n</em> is an <em>r</em>-uniform hypergraph on a linearly ordered vertex set <em>V</em>, with <span><math><mo>|</mo><mi>V</mi><mo>|</mo><mo>=</mo><mi>r</mi><mi>n</mi></math></span>, consisting of <em>n</em> pairwise disjoint edges. There are <span><math><mfrac><mrow><mn>1</mn></mrow><mrow><mn>2</mn></mrow></mfrac><mrow><mo>(</mo><mtable><mtr><mtd><mrow><mn>2</mn><mi>r</mi></mrow></mtd></mtr><mtr><mtd><mi>r</mi></mtd></mtr></mtable><mo>)</mo></mrow></math></span> different ways two edges may intertwine, called here patterns. Among them we identify <span><math><msup><mrow><mn>3</mn></mrow><mrow><mi>r</mi><mo>−</mo><mn>1</mn></mrow></msup></math></span> collectable patterns <em>P</em>, which have the potential of appearing in arbitrarily large quantities called <em>P</em>-cliques.</div><div>We prove an Erdős-Szekeres type result guaranteeing in <em>every</em> ordered <em>r</em>-uniform matching the presence of a <em>P</em>-clique of a prescribed size, for <em>some</em> collectable pattern <em>P</em>. In particular, in the diagonal case, one of the <em>P</em>-cliques must be of size <span><math><mi>Ω</mi><mrow><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><msup><mrow><mn>3</mn></mrow><mrow><mn>1</mn><mo>−</mo><mi>r</mi></mrow></msup></mrow></msup><mo>)</mo></mrow></math></span>. In addition, for <em>each</em> collectable pattern <em>P</em> we show that the largest size of a <em>P</em>-clique in a <em>random</em> ordered <em>r</em>-uniform matching of size <em>n</em> is, with high probability, <span><math><mi>Θ</mi><mrow><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>1</mn><mo>/</mo><mi>r</mi></mrow></msup><mo>)</mo></mrow></math></span>.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"170 ","pages":"Pages 225-259"},"PeriodicalIF":1.2,"publicationDate":"2024-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142432825","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-10-03DOI: 10.1016/j.jctb.2024.09.003
David Bradley-Williams , Peter J. Cameron , Jan Hubička , Matěj Konečný
If G is a graph, A and B its induced subgraphs, and an isomorphism, we say that f is a partial automorphism of G. In 1992, Hrushovski proved that graphs have the extension property for partial automorphisms (EPPA, also called the Hrushovski property), that is, for every finite graph G there is a finite graph H, an EPPA-witness for G, such that G is an induced subgraph of H and every partial automorphism of G extends to an automorphism of H.
The EPPA number of a graph G, denoted by , is the smallest number of vertices of an EPPA-witness for G, and we put . In this note we review the state of the area, prove several lower bounds (in particular, we show that , thereby identifying the correct base of the exponential) and pose many open questions. We also briefly discuss EPPA numbers of hypergraphs, directed graphs, and -free graphs.
如果 G 是一个图,A 和 B 是它的诱导子图,f:A→B 是同构,我们就说 f 是 G 的部分自动形。1992 年,赫鲁晓夫斯基证明了图具有部分自动态的扩展性质(EPPA,又称赫鲁晓夫斯基性质),即对于每个有限图 G,都有一个有限图 H(G 的 EPPA 见证),使得 G 是 H 的诱导子图,并且 G 的每个部分自动态都扩展为 H 的一个自动态。图 G 的 EPPA 数(用 eppa(G) 表示)是 G 的 EPPA 证图的最小顶点数,我们将 eppa(n)=max{eppa(G):|G|=n} 放为 eppa(n)=max{eppa(G):|G|=n}。在本说明中,我们回顾了这一领域的现状,证明了几个下界(特别是,我们证明了 eppa(n)≥2nn ,从而确定了指数的正确基数),并提出了许多开放性问题。我们还简要讨论了超图、有向图和无 Kk 图的 EPPA 数。
{"title":"EPPA numbers of graphs","authors":"David Bradley-Williams , Peter J. Cameron , Jan Hubička , Matěj Konečný","doi":"10.1016/j.jctb.2024.09.003","DOIUrl":"10.1016/j.jctb.2024.09.003","url":null,"abstract":"<div><div>If <em>G</em> is a graph, <em>A</em> and <em>B</em> its induced subgraphs, and <span><math><mi>f</mi><mo>:</mo><mi>A</mi><mo>→</mo><mi>B</mi></math></span> an isomorphism, we say that <em>f</em> is a <em>partial automorphism</em> of <em>G</em>. In 1992, Hrushovski proved that graphs have the <em>extension property for partial automorphisms</em> (<em>EPPA</em>, also called the <em>Hrushovski property</em>), that is, for every finite graph <em>G</em> there is a finite graph <em>H</em>, an <em>EPPA-witness</em> for <em>G</em>, such that <em>G</em> is an induced subgraph of <em>H</em> and every partial automorphism of <em>G</em> extends to an automorphism of <em>H</em>.</div><div>The <em>EPPA number</em> of a graph <em>G</em>, denoted by <span><math><mrow><mi>eppa</mi></mrow><mo>(</mo><mi>G</mi><mo>)</mo></math></span>, is the smallest number of vertices of an EPPA-witness for <em>G</em>, and we put <span><math><mrow><mi>eppa</mi></mrow><mo>(</mo><mi>n</mi><mo>)</mo><mo>=</mo><mi>max</mi><mo></mo><mo>{</mo><mrow><mi>eppa</mi></mrow><mo>(</mo><mi>G</mi><mo>)</mo><mo>:</mo><mo>|</mo><mi>G</mi><mo>|</mo><mo>=</mo><mi>n</mi><mo>}</mo></math></span>. In this note we review the state of the area, prove several lower bounds (in particular, we show that <span><math><mrow><mi>eppa</mi></mrow><mo>(</mo><mi>n</mi><mo>)</mo><mo>≥</mo><mfrac><mrow><msup><mrow><mn>2</mn></mrow><mrow><mi>n</mi></mrow></msup></mrow><mrow><msqrt><mrow><mi>n</mi></mrow></msqrt></mrow></mfrac></math></span>, thereby identifying the correct base of the exponential) and pose many open questions. We also briefly discuss EPPA numbers of hypergraphs, directed graphs, and <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span>-free graphs.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"170 ","pages":"Pages 203-224"},"PeriodicalIF":1.2,"publicationDate":"2024-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142421461","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-27DOI: 10.1016/j.jctb.2024.09.002
Denys Bulavka , Eran Nevo , Yuval Peled
We study the generic volume-rigidity of -dimensional simplicial complexes in , and show that the volume-rigidity of a complex can be identified in terms of its exterior shifting. In addition, we establish the volume-rigidity of triangulations of several 2-dimensional surfaces and prove that, in all dimensions >1, volume-rigidity is not characterized by a corresponding hypergraph sparsity property.
{"title":"Volume rigidity and algebraic shifting","authors":"Denys Bulavka , Eran Nevo , Yuval Peled","doi":"10.1016/j.jctb.2024.09.002","DOIUrl":"10.1016/j.jctb.2024.09.002","url":null,"abstract":"<div><div>We study the generic volume-rigidity of <span><math><mo>(</mo><mi>d</mi><mo>−</mo><mn>1</mn><mo>)</mo></math></span>-dimensional simplicial complexes in <span><math><msup><mrow><mi>R</mi></mrow><mrow><mi>d</mi><mo>−</mo><mn>1</mn></mrow></msup></math></span>, and show that the volume-rigidity of a complex can be identified in terms of its exterior shifting. In addition, we establish the volume-rigidity of triangulations of several 2-dimensional surfaces and prove that, in all dimensions >1, volume-rigidity is <em>not</em> characterized by a corresponding hypergraph sparsity property.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"170 ","pages":"Pages 189-202"},"PeriodicalIF":1.2,"publicationDate":"2024-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142328092","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-24DOI: 10.1016/j.jctb.2024.08.007
Eoin Hurley , Felix Joos , Richard Lang
We develop a method to study sufficient conditions for perfect mixed tilings. Our framework allows the embedding of bounded degree graphs H with components of sublinear order. As a corollary, we recover and extend the work of Kühn and Osthus regarding sufficient minimum degree conditions for perfect F-tilings (for an arbitrary fixed graph F) by replacing the F-tiling with the aforementioned graphs H. Moreover, we obtain analogous results for degree sequences and in the setting of uniformly dense graphs. Finally, we asymptotically resolve a conjecture of Komlós in a strong sense.
我们开发了一种方法来研究完美混合倾斜的充分条件。我们的框架允许嵌入具有亚线性阶成分的有界阶图 H。作为推论,我们恢复并扩展了库恩(Kühn)和奥斯特胡斯(Osthus)的工作,即用上述图 H 替换 F-tiling,从而获得完美 F-tiling(对于任意固定图 F)的最小阶数充分条件。最后,我们在强意义上渐近地解决了孔洛斯的一个猜想。
{"title":"Sufficient conditions for perfect mixed tilings","authors":"Eoin Hurley , Felix Joos , Richard Lang","doi":"10.1016/j.jctb.2024.08.007","DOIUrl":"10.1016/j.jctb.2024.08.007","url":null,"abstract":"<div><div>We develop a method to study sufficient conditions for perfect mixed tilings. Our framework allows the embedding of bounded degree graphs <em>H</em> with components of sublinear order. As a corollary, we recover and extend the work of Kühn and Osthus regarding sufficient minimum degree conditions for perfect <em>F</em>-tilings (for an arbitrary fixed graph <em>F</em>) by replacing the <em>F</em>-tiling with the aforementioned graphs <em>H</em>. Moreover, we obtain analogous results for degree sequences and in the setting of uniformly dense graphs. Finally, we asymptotically resolve a conjecture of Komlós in a strong sense.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"170 ","pages":"Pages 128-188"},"PeriodicalIF":1.2,"publicationDate":"2024-09-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142314331","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}