Pub Date : 2024-10-09DOI: 10.1016/j.ejc.2024.104075
Jacob Fox , Tung Nguyen , Alex Scott , Paul Seymour
<div><div>A well-known theorem of Rödl says that for every graph <span><math><mi>H</mi></math></span>, and every <span><math><mrow><mi>ɛ</mi><mo>></mo><mn>0</mn></mrow></math></span>, there exists <span><math><mrow><mi>δ</mi><mo>></mo><mn>0</mn></mrow></math></span> such that if <span><math><mi>G</mi></math></span> does not contain an induced copy of <span><math><mi>H</mi></math></span>, then there exists <span><math><mrow><mi>X</mi><mo>⊆</mo><mi>V</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span> with <span><math><mrow><mrow><mo>|</mo><mi>X</mi><mo>|</mo></mrow><mo>≥</mo><mi>δ</mi><mrow><mo>|</mo><mi>G</mi><mo>|</mo></mrow></mrow></math></span> such that one of <span><math><mrow><mi>G</mi><mrow><mo>[</mo><mi>X</mi><mo>]</mo></mrow><mo>,</mo><mover><mrow><mi>G</mi></mrow><mo>¯</mo></mover><mrow><mo>[</mo><mi>X</mi><mo>]</mo></mrow></mrow></math></span> has edge-density at most <span><math><mi>ɛ</mi></math></span>. But how does <span><math><mi>δ</mi></math></span> depend on <span><math><mi>ϵ</mi></math></span>? Fox and Sudakov conjectured that the dependence is at most polynomial: that for all <span><math><mi>H</mi></math></span> there exists <span><math><mrow><mi>c</mi><mo>></mo><mn>0</mn></mrow></math></span> such that for all <span><math><mi>ɛ</mi></math></span> with <span><math><mrow><mn>0</mn><mo><</mo><mi>ɛ</mi><mo>≤</mo><mn>1</mn><mo>/</mo><mn>2</mn></mrow></math></span>, Rödl’s theorem holds with <span><math><mrow><mi>δ</mi><mo>=</mo><msup><mrow><mi>ɛ</mi></mrow><mrow><mi>c</mi></mrow></msup></mrow></math></span>. This conjecture implies the Erdős–Hajnal conjecture, and until now it had not been verified for any non-trivial graphs <span><math><mi>H</mi></math></span>. Our first result shows that it is true when <span><math><mrow><mi>H</mi><mo>=</mo><msub><mrow><mi>P</mi></mrow><mrow><mn>4</mn></mrow></msub></mrow></math></span>. Indeed, in that case we can take <span><math><mrow><mi>δ</mi><mo>=</mo><mi>ɛ</mi></mrow></math></span>, and insist that one of <span><math><mrow><mi>G</mi><mrow><mo>[</mo><mi>X</mi><mo>]</mo></mrow><mo>,</mo><mover><mrow><mi>G</mi></mrow><mo>¯</mo></mover><mrow><mo>[</mo><mi>X</mi><mo>]</mo></mrow></mrow></math></span> has maximum degree at most <span><math><mrow><msup><mrow><mi>ɛ</mi></mrow><mrow><mn>2</mn></mrow></msup><mrow><mo>|</mo><mi>G</mi><mo>|</mo></mrow></mrow></math></span>).</div><div>Second, we will show that every graph <span><math><mi>H</mi></math></span> that can be obtained by substitution from copies of <span><math><msub><mrow><mi>P</mi></mrow><mrow><mn>4</mn></mrow></msub></math></span> satisfies the Fox–Sudakov conjecture. To prove this, we need to work with a stronger property. Let us say <span><math><mi>H</mi></math></span> is <em>viral</em> if there exists <span><math><mrow><mi>c</mi><mo>></mo><mn>0</mn></mrow></math></span> such that for all <span><math><mi>ɛ</mi></math></span> with <span><math><mrow><mn>0</mn><mo><</mo><mi>ɛ</mi><mo>≤</mo><mn>1</mn><mo>/
罗德尔(Rödl)的一个著名定理指出,对于每个图 H 和每个ɛ>0,都存在 δ>0,这样,如果 G 不包含 H 的诱导副本,则存在 X⊆V(G),其中 |X|≥δ|G| 这样,G[X],G¯[X]中的一个边密度最多为ɛ。但是,δ 如何取决于ϵ?福克斯和苏达科夫猜想,这种依赖性最多是多项式的:对于所有 H,存在 c>0 这样的条件:对于所有 ɛ 且 0<ɛ≤1/2 时,罗德尔定理成立,δ=ɛc。我们的第一个结果表明,当 H=P4 时,这个猜想成立。事实上,在这种情况下,我们可以取 δ=ɛ,并坚持认为 G[X],G¯[X] 中的一个图的最大度最多为ɛ2|G|)。其次,我们将证明每个可以从 P4 的副本中通过替换得到的图 H 都满足福克斯-苏达科夫猜想。为了证明这一点,我们需要使用一个更强的性质。如果存在 c>0 这样的情况,即对于所有 0<ɛ≤1/2 的ɛ,如果 G 最多包含 H 的ɛc|G|||H|副本作为诱导子图,那么存在 X⊆V(G),其中 |X|≥ɛc|G| 这样的情况,即 G[X],G¯[X] 中的一个边密度最多为ɛ。我们将利用 Alon 和 Fox 的 "多项式 P4-removal Lemma "来证明 P4 是病毒式的。最后,我们将给出罗德尔定理的另一个强化:我们将证明,如果 G 不包含 P4 的诱导副本,那么它的顶点最多可以划分为 480ɛ-4 个子集 X,使得 G[X],G¯[X] 中的一个子集的最大度最多为ɛ|X|。
{"title":"Induced subgraph density. II. Sparse and dense sets in cographs","authors":"Jacob Fox , Tung Nguyen , Alex Scott , Paul Seymour","doi":"10.1016/j.ejc.2024.104075","DOIUrl":"10.1016/j.ejc.2024.104075","url":null,"abstract":"<div><div>A well-known theorem of Rödl says that for every graph <span><math><mi>H</mi></math></span>, and every <span><math><mrow><mi>ɛ</mi><mo>></mo><mn>0</mn></mrow></math></span>, there exists <span><math><mrow><mi>δ</mi><mo>></mo><mn>0</mn></mrow></math></span> such that if <span><math><mi>G</mi></math></span> does not contain an induced copy of <span><math><mi>H</mi></math></span>, then there exists <span><math><mrow><mi>X</mi><mo>⊆</mo><mi>V</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span> with <span><math><mrow><mrow><mo>|</mo><mi>X</mi><mo>|</mo></mrow><mo>≥</mo><mi>δ</mi><mrow><mo>|</mo><mi>G</mi><mo>|</mo></mrow></mrow></math></span> such that one of <span><math><mrow><mi>G</mi><mrow><mo>[</mo><mi>X</mi><mo>]</mo></mrow><mo>,</mo><mover><mrow><mi>G</mi></mrow><mo>¯</mo></mover><mrow><mo>[</mo><mi>X</mi><mo>]</mo></mrow></mrow></math></span> has edge-density at most <span><math><mi>ɛ</mi></math></span>. But how does <span><math><mi>δ</mi></math></span> depend on <span><math><mi>ϵ</mi></math></span>? Fox and Sudakov conjectured that the dependence is at most polynomial: that for all <span><math><mi>H</mi></math></span> there exists <span><math><mrow><mi>c</mi><mo>></mo><mn>0</mn></mrow></math></span> such that for all <span><math><mi>ɛ</mi></math></span> with <span><math><mrow><mn>0</mn><mo><</mo><mi>ɛ</mi><mo>≤</mo><mn>1</mn><mo>/</mo><mn>2</mn></mrow></math></span>, Rödl’s theorem holds with <span><math><mrow><mi>δ</mi><mo>=</mo><msup><mrow><mi>ɛ</mi></mrow><mrow><mi>c</mi></mrow></msup></mrow></math></span>. This conjecture implies the Erdős–Hajnal conjecture, and until now it had not been verified for any non-trivial graphs <span><math><mi>H</mi></math></span>. Our first result shows that it is true when <span><math><mrow><mi>H</mi><mo>=</mo><msub><mrow><mi>P</mi></mrow><mrow><mn>4</mn></mrow></msub></mrow></math></span>. Indeed, in that case we can take <span><math><mrow><mi>δ</mi><mo>=</mo><mi>ɛ</mi></mrow></math></span>, and insist that one of <span><math><mrow><mi>G</mi><mrow><mo>[</mo><mi>X</mi><mo>]</mo></mrow><mo>,</mo><mover><mrow><mi>G</mi></mrow><mo>¯</mo></mover><mrow><mo>[</mo><mi>X</mi><mo>]</mo></mrow></mrow></math></span> has maximum degree at most <span><math><mrow><msup><mrow><mi>ɛ</mi></mrow><mrow><mn>2</mn></mrow></msup><mrow><mo>|</mo><mi>G</mi><mo>|</mo></mrow></mrow></math></span>).</div><div>Second, we will show that every graph <span><math><mi>H</mi></math></span> that can be obtained by substitution from copies of <span><math><msub><mrow><mi>P</mi></mrow><mrow><mn>4</mn></mrow></msub></math></span> satisfies the Fox–Sudakov conjecture. To prove this, we need to work with a stronger property. Let us say <span><math><mi>H</mi></math></span> is <em>viral</em> if there exists <span><math><mrow><mi>c</mi><mo>></mo><mn>0</mn></mrow></math></span> such that for all <span><math><mi>ɛ</mi></math></span> with <span><math><mrow><mn>0</mn><mo><</mo><mi>ɛ</mi><mo>≤</mo><mn>1</mn><mo>/","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"124 ","pages":"Article 104075"},"PeriodicalIF":1.0,"publicationDate":"2024-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142423576","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-10-09DOI: 10.1016/j.ejc.2024.104078
Lucas Aragão , Maurício Collares , Gabriel Dahia , João Pedro Marciano
The -dimensional random twisted hypercube is constructed recursively by taking two instances of , with any joint distribution, and adding a random perfect matching between their vertex sets. Benjamini, Dikstein, Gross, and Zhukovskii showed that its diameter is with high probability and at least . We improve their upper bound by showing that with high probability.
n 维随机扭曲超立方体 Gn 是由两个具有任意联合分布的 Gn-1 实例,并在它们的顶点集之间添加一个随机完美匹配来递归构造的。Benjamini、Dikstein、Gross 和 Zhukovskii 证明了其直径为 O(nloglogn/loglogn),且概率很高,至少为 (n-1)/log2n。我们通过证明 diam(Gn)=(1+o(1))nlog2n 的高概率,改进了他们的上限。
{"title":"The diameter of randomly twisted hypercubes","authors":"Lucas Aragão , Maurício Collares , Gabriel Dahia , João Pedro Marciano","doi":"10.1016/j.ejc.2024.104078","DOIUrl":"10.1016/j.ejc.2024.104078","url":null,"abstract":"<div><div>The <span><math><mi>n</mi></math></span>-dimensional random twisted hypercube <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> is constructed recursively by taking two instances of <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>n</mi><mo>−</mo><mn>1</mn></mrow></msub></math></span>, with any joint distribution, and adding a random perfect matching between their vertex sets. Benjamini, Dikstein, Gross, and Zhukovskii showed that its diameter is <span><math><mrow><mi>O</mi><mrow><mo>(</mo><mi>n</mi><mo>log</mo><mo>log</mo><mo>log</mo><mi>n</mi><mo>/</mo><mo>log</mo><mo>log</mo><mi>n</mi><mo>)</mo></mrow></mrow></math></span> with high probability and at least <span><math><mrow><mrow><mo>(</mo><mi>n</mi><mo>−</mo><mn>1</mn><mo>)</mo></mrow><mo>/</mo><msub><mrow><mo>log</mo></mrow><mrow><mn>2</mn></mrow></msub><mi>n</mi></mrow></math></span>. We improve their upper bound by showing that <span><math><mrow><mi>diam</mi><mrow><mo>(</mo><msub><mrow><mi>G</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>)</mo></mrow><mo>=</mo><mrow><mo>(</mo><mrow><mn>1</mn><mo>+</mo><mi>o</mi><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow></mrow><mo>)</mo></mrow><mfrac><mrow><mi>n</mi></mrow><mrow><msub><mrow><mo>log</mo></mrow><mrow><mn>2</mn></mrow></msub><mi>n</mi></mrow></mfrac></mrow></math></span> with high probability.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"124 ","pages":"Article 104078"},"PeriodicalIF":1.0,"publicationDate":"2024-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142423587","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-10-07DOI: 10.1016/j.ejc.2024.104079
Ademir Hujdurović , István Kovács , Klavdija Kutnar , Dragan Marušič
For a permutation group acting on a set , a subset of is said to be an intersecting set if for every pair of elements there exists such that . The intersection density of a transitive permutation group is the maximum value of the quotient where is a stabilizer of a point and runs over all intersecting sets in . If is a largest intersecting set in then is said to have the Erdős-Ko-Rado (EKR)-property. This paper is devoted to the study of transitive permutation groups, with point stabilizers of prime order with a special emphasis given to orders 2 and 3, which do not have the EKR-property. Among others, constructions of an infinite family of transitive permutation groups having point stabilizer of order 3 with intersection density and of infinite families of transitive permutation groups having point stabilizer of order 3 with arbitrarily large intersection density are given.
对于作用于集合 V 的置换群 G,如果每一对元素 g、h∈F 都存在 v∈V,使得 g(v)=h(v) ,则称 G 的子集 F 为交集。跨正交置换群 G 的交集密度 ρ(G) 是商 |F|/|Gv| 的最大值,其中 Gv 是点 v∈V 的稳定子,而 F 遍历 G 中的所有交集。如果 Gv 是 G 中的最大交集,则称 G 具有厄尔多斯-科-拉多(EKR)属性。本文致力于研究具有素阶点稳定器的传递置换群,特别强调不具有 EKR 属性的 2 阶和 3 阶。除其他外,本文还给出了具有交集密度为 4/3 的 3 阶点稳定器的传递置换群无穷族的构造,以及具有任意大交集密度的 3 阶点稳定器的传递置换群无穷族的构造。
{"title":"Intersection density of transitive groups with small cyclic point stabilizers","authors":"Ademir Hujdurović , István Kovács , Klavdija Kutnar , Dragan Marušič","doi":"10.1016/j.ejc.2024.104079","DOIUrl":"10.1016/j.ejc.2024.104079","url":null,"abstract":"<div><div>For a permutation group <span><math><mi>G</mi></math></span> acting on a set <span><math><mi>V</mi></math></span>, a subset <span><math><mi>F</mi></math></span> of <span><math><mi>G</mi></math></span> is said to be an <em>intersecting set</em> if for every pair of elements <span><math><mrow><mi>g</mi><mo>,</mo><mi>h</mi><mo>∈</mo><mi>F</mi></mrow></math></span> there exists <span><math><mrow><mi>v</mi><mo>∈</mo><mi>V</mi></mrow></math></span> such that <span><math><mrow><mi>g</mi><mrow><mo>(</mo><mi>v</mi><mo>)</mo></mrow><mo>=</mo><mi>h</mi><mrow><mo>(</mo><mi>v</mi><mo>)</mo></mrow></mrow></math></span>. The <em>intersection density</em> <span><math><mrow><mi>ρ</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span> of a transitive permutation group <span><math><mi>G</mi></math></span> is the maximum value of the quotient <span><math><mrow><mrow><mo>|</mo><mi>F</mi><mo>|</mo></mrow><mo>/</mo><mrow><mo>|</mo><msub><mrow><mi>G</mi></mrow><mrow><mi>v</mi></mrow></msub><mo>|</mo></mrow></mrow></math></span> where <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>v</mi></mrow></msub></math></span> is a stabilizer of a point <span><math><mrow><mi>v</mi><mo>∈</mo><mi>V</mi></mrow></math></span> and <span><math><mi>F</mi></math></span> runs over all intersecting sets in <span><math><mi>G</mi></math></span>. If <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>v</mi></mrow></msub></math></span> is a largest intersecting set in <span><math><mi>G</mi></math></span> then <span><math><mi>G</mi></math></span> is said to have the <em>Erdős-Ko-Rado (EKR)-property</em>. This paper is devoted to the study of transitive permutation groups, with point stabilizers of prime order with a special emphasis given to orders 2 and 3, which do not have the EKR-property. Among others, constructions of an infinite family of transitive permutation groups having point stabilizer of order 3 with intersection density <span><math><mrow><mn>4</mn><mo>/</mo><mn>3</mn></mrow></math></span> and of infinite families of transitive permutation groups having point stabilizer of order 3 with arbitrarily large intersection density are given.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"124 ","pages":"Article 104079"},"PeriodicalIF":1.0,"publicationDate":"2024-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142423575","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-10-03DOI: 10.1016/j.ejc.2024.104070
John P. Bright, Kevin G. Milans, Jackson Porter
An ordered hypergraph is a hypergraph whose vertex set is linearly ordered. We find the Turán numbers for the -uniform -vertex tight path (with vertices in the natural order) exactly when and is even; our results imply when . When , the asymptotics of remain open. For , we give a construction of an -uniform -vertex hypergraph not containing which we conjecture to be asymptotically extremal.
{"title":"Turán numbers of ordered tight hyperpaths","authors":"John P. Bright, Kevin G. Milans, Jackson Porter","doi":"10.1016/j.ejc.2024.104070","DOIUrl":"10.1016/j.ejc.2024.104070","url":null,"abstract":"<div><div>An <em>ordered hypergraph</em> is a hypergraph <span><math><mi>G</mi></math></span> whose vertex set <span><math><mrow><mi>V</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span> is linearly ordered. We find the Turán numbers for the <span><math><mi>r</mi></math></span>-uniform <span><math><mi>s</mi></math></span>-vertex tight path <span><math><msubsup><mrow><mover><mrow><mi>P</mi></mrow><mo>→</mo></mover></mrow><mrow><mi>s</mi></mrow><mrow><mrow><mo>(</mo><mi>r</mi><mo>)</mo></mrow></mrow></msubsup></math></span> (with vertices in the natural order) exactly when <span><math><mrow><mi>r</mi><mo>≤</mo><mi>s</mi><mo><</mo><mn>2</mn><mi>r</mi></mrow></math></span> and <span><math><mi>n</mi></math></span> is even; our results imply <span><math><mrow><mover><mrow><mi>ex</mi></mrow><mo>→</mo></mover><mrow><mo>(</mo><mi>n</mi><mo>,</mo><msubsup><mrow><mover><mrow><mi>P</mi></mrow><mo>→</mo></mover></mrow><mrow><mi>s</mi></mrow><mrow><mrow><mo>(</mo><mi>r</mi><mo>)</mo></mrow></mrow></msubsup><mo>)</mo></mrow><mo>=</mo><mrow><mo>(</mo><mn>1</mn><mo>−</mo><mfrac><mrow><mn>1</mn></mrow><mrow><msup><mrow><mn>2</mn></mrow><mrow><mi>s</mi><mo>−</mo><mi>r</mi></mrow></msup></mrow></mfrac><mo>+</mo><mi>o</mi><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow><mo>)</mo></mrow><mfenced><mrow><mfrac><mrow><mi>n</mi></mrow><mrow><mi>r</mi></mrow></mfrac></mrow></mfenced></mrow></math></span> when <span><math><mrow><mi>r</mi><mo>≤</mo><mi>s</mi><mo><</mo><mn>2</mn><mi>r</mi></mrow></math></span>. When <span><math><mrow><mi>s</mi><mo>≥</mo><mn>2</mn><mi>r</mi></mrow></math></span>, the asymptotics of <span><math><mrow><mover><mrow><mi>ex</mi></mrow><mo>→</mo></mover><mrow><mo>(</mo><mi>n</mi><mo>,</mo><msubsup><mrow><mover><mrow><mi>P</mi></mrow><mo>→</mo></mover></mrow><mrow><mi>s</mi></mrow><mrow><mrow><mo>(</mo><mi>r</mi><mo>)</mo></mrow></mrow></msubsup><mo>)</mo></mrow></mrow></math></span> remain open. For <span><math><mrow><mi>r</mi><mo>=</mo><mn>3</mn></mrow></math></span>, we give a construction of an <span><math><mi>r</mi></math></span>-uniform <span><math><mi>n</mi></math></span>-vertex hypergraph not containing <span><math><msubsup><mrow><mover><mrow><mi>P</mi></mrow><mo>→</mo></mover></mrow><mrow><mi>s</mi></mrow><mrow><mrow><mo>(</mo><mi>r</mi><mo>)</mo></mrow></mrow></msubsup></math></span> which we conjecture to be asymptotically extremal.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"124 ","pages":"Article 104070"},"PeriodicalIF":1.0,"publicationDate":"2024-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142423708","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-10-01DOI: 10.1016/j.ejc.2024.104077
John Haslegrave , Alex Scott , Youri Tamitegama , Jane Tan
The boundary rigidity problem is a classical question from Riemannian geometry: if is a Riemannian manifold with smooth boundary, is the geometry of determined up to isometry by the metric induced on the boundary ? In this paper, we consider a discrete version of this problem: can we determine the combinatorial type of a finite cube complex from its boundary distances? As in the continuous case, reconstruction is not possible in general, but one expects a positive answer under suitable contractibility and non-positive curvature conditions. Indeed, in two dimensions Haslegrave gave a positive answer to this question when the complex is a finite quadrangulation of the disc with no internal vertices of degree less than 4. We prove a 3-dimensional generalisation of this result: the combinatorial type of a finite CAT(0) cube complex with an embedding in can be reconstructed from its boundary distances. Additionally, we prove a direct strengthening of Haslegrave’s result: the combinatorial type of any finite 2-dimensional CAT(0) cube complex can be reconstructed from its boundary distances.
{"title":"Boundary rigidity of 3D CAT(0) cube complexes","authors":"John Haslegrave , Alex Scott , Youri Tamitegama , Jane Tan","doi":"10.1016/j.ejc.2024.104077","DOIUrl":"10.1016/j.ejc.2024.104077","url":null,"abstract":"<div><div>The boundary rigidity problem is a classical question from Riemannian geometry: if <span><math><mrow><mo>(</mo><mi>M</mi><mo>,</mo><mi>g</mi><mo>)</mo></mrow></math></span> is a Riemannian manifold with smooth boundary, is the geometry of <span><math><mi>M</mi></math></span> determined up to isometry by the metric <span><math><msub><mrow><mi>d</mi></mrow><mrow><mi>g</mi></mrow></msub></math></span> induced on the boundary <span><math><mrow><mi>∂</mi><mi>M</mi></mrow></math></span>? In this paper, we consider a discrete version of this problem: can we determine the combinatorial type of a finite cube complex from its boundary distances? As in the continuous case, reconstruction is not possible in general, but one expects a positive answer under suitable contractibility and non-positive curvature conditions. Indeed, in two dimensions Haslegrave gave a positive answer to this question when the complex is a finite quadrangulation of the disc with no internal vertices of degree less than 4. We prove a 3-dimensional generalisation of this result: the combinatorial type of a finite CAT(0) cube complex with an embedding in <span><math><msup><mrow><mi>R</mi></mrow><mrow><mn>3</mn></mrow></msup></math></span> can be reconstructed from its boundary distances. Additionally, we prove a direct strengthening of Haslegrave’s result: the combinatorial type of any finite 2-dimensional CAT(0) cube complex can be reconstructed from its boundary distances.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"124 ","pages":"Article 104077"},"PeriodicalIF":1.0,"publicationDate":"2024-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142359298","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-25DOI: 10.1016/j.ejc.2024.104076
Ann Clifton , Éva Czabarka , Audace A.V. Dossou-Olory , Kevin Liu , Sarah Loeb , Utku Okur , László Székely , Kristina Wicke
We consider extremal problems related to decks and multidecks of rooted binary trees (a.k.a. rooted phylogenetic tree shapes). Here, the deck (resp. multideck) of a tree refers to the set (resp. multiset) of leaf-induced binary subtrees of . On the one hand, we consider the reconstruction of trees from their (multi)decks. We give lower and upper bounds on the minimum (multi)deck size required to uniquely encode a rooted binary tree on leaves. On the other hand, we consider problems related to deck cardinalities. In particular, we characterize trees with minimum-size as well as maximum-size decks. Finally, we present some exhaustive computations for -universal trees, i.e., rooted binary trees that contain all -leaf rooted binary trees as leaf-induced subtrees.
我们考虑与有根二叉树(又称有根系统树形)的甲板和多甲板相关的极值问题。在这里,树 T 的甲板(或多甲板)指的是 T 的叶诱导二叉子树的集合(或多集合)。一方面,我们考虑从树的(多)甲板重建树。我们给出了唯一编码 n 个树叶上有根二叉树所需的最小(多)甲板大小的下限和上限。另一方面,我们还考虑了与牌面明度相关的问题。特别是,我们描述了具有最小尺寸和最大尺寸牌面的树的特征。最后,我们介绍了一些 k 通用树的详尽计算,即包含所有 k 叶有根二叉树作为叶诱导子树的有根二叉树。
{"title":"Decks of rooted binary trees","authors":"Ann Clifton , Éva Czabarka , Audace A.V. Dossou-Olory , Kevin Liu , Sarah Loeb , Utku Okur , László Székely , Kristina Wicke","doi":"10.1016/j.ejc.2024.104076","DOIUrl":"10.1016/j.ejc.2024.104076","url":null,"abstract":"<div><div>We consider extremal problems related to decks and multidecks of rooted binary trees (a.k.a. rooted phylogenetic tree shapes). Here, the deck (resp. multideck) of a tree <span><math><mi>T</mi></math></span> refers to the set (resp. multiset) of leaf-induced binary subtrees of <span><math><mi>T</mi></math></span>. On the one hand, we consider the reconstruction of trees from their (multi)decks. We give lower and upper bounds on the minimum (multi)deck size required to uniquely encode a rooted binary tree on <span><math><mi>n</mi></math></span> leaves. On the other hand, we consider problems related to deck cardinalities. In particular, we characterize trees with minimum-size as well as maximum-size decks. Finally, we present some exhaustive computations for <span><math><mi>k</mi></math></span>-universal trees, i.e., rooted binary trees that contain all <span><math><mi>k</mi></math></span>-leaf rooted binary trees as leaf-induced subtrees.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"124 ","pages":"Article 104076"},"PeriodicalIF":1.0,"publicationDate":"2024-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142318960","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"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.ejc.2024.104074
Maria Chudnovsky , Sepehr Hajebi , Sophie Spirkl
A clock is a graph consisting of an induced cycle and a vertex not in with at least two non-adjacent neighbours in . We show that every clock-free graph of large treewidth contains a “basic obstruction” of large treewidth as an induced subgraph: a complete graph, a subdivision of a wall, or the line graph of a subdivision of a wall.
{"title":"Induced subgraphs and tree decompositions XIV. Non-adjacent neighbours in a hole","authors":"Maria Chudnovsky , Sepehr Hajebi , Sophie Spirkl","doi":"10.1016/j.ejc.2024.104074","DOIUrl":"10.1016/j.ejc.2024.104074","url":null,"abstract":"<div><div>A <em>clock</em> is a graph consisting of an induced cycle <span><math><mi>C</mi></math></span> and a vertex not in <span><math><mi>C</mi></math></span> with at least two non-adjacent neighbours in <span><math><mi>C</mi></math></span>. We show that every clock-free graph of large treewidth contains a “basic obstruction” of large treewidth as an induced subgraph: a complete graph, a subdivision of a wall, or the line graph of a subdivision of a wall.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"124 ","pages":"Article 104074"},"PeriodicalIF":1.0,"publicationDate":"2024-09-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0195669824001598/pdfft?md5=fa98c8a13265d848775c4b52beb995da&pid=1-s2.0-S0195669824001598-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142315136","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-24DOI: 10.1016/j.ejc.2024.104073
T. Kyle Petersen , Yan Zhuang
For any finite partially ordered set , the -Eulerian polynomial is the generating function for the descent number over the set of linear extensions of , and is closely related to the order polynomial of arising in the theory of -partitions. Here we study the -Eulerian polynomial where is a naturally labeled zig-zag poset; we call these zig-zag Eulerian polynomials. A result of Brändén implies that these polynomials are gamma-nonnegative, and hence their coefficients are symmetric and unimodal. The zig-zag Eulerian polynomials and the associated order polynomials have appeared fleetingly in the literature in a wide variety of contexts—e.g., in the study of polytopes, magic labelings of graphs, and Kekulé structures—but they do not appear to have been studied systematically.
In this paper, we use a “relaxed” version of -partitions to both survey and unify results. Our technique shows that the zig-zag Eulerian polynomials also capture the distribution of “big returns” over the set of (up-down) alternating permutations, as first observed by Coons and Sullivant. We develop recurrences for refined versions of the relevant generating functions, which evoke similarities to recurrences for the classical Eulerian polynomials. We conclude with a literature survey and open questions.
对于任何有限部分有序集合 P,P-Eulerian 多项式是 P 的线性扩展集合上下降数的生成函数,它与 P 分区理论中出现的 P 的阶多项式密切相关。在这里,我们研究 P-Eulerian 多项式,其中 P 是一个自然标注的之字形正集;我们称这些之字形欧拉多项式为欧拉多项式。Brändén 的一个结果意味着这些多项式是伽马负的,因此它们的系数是对称和单模态的。之字形欧拉多项式和相关的阶多项式曾在各种文献中昙花一现--例如,在研究多面体、图的魔法标注和凯库雷结构时,但似乎还没有对它们进行过系统的研究。我们的技术表明,"之 "字形欧拉多项式也能捕捉到(上下)交替排列集合上 "大回报 "的分布,正如库恩斯和苏利文首次观察到的那样。我们为相关生成函数的改进版本建立了递推关系,这与经典欧拉多项式的递推关系相似。最后,我们将对文献进行梳理,并提出一些开放性问题。
{"title":"Zig-zag Eulerian polynomials","authors":"T. Kyle Petersen , Yan Zhuang","doi":"10.1016/j.ejc.2024.104073","DOIUrl":"10.1016/j.ejc.2024.104073","url":null,"abstract":"<div><div>For any finite partially ordered set <span><math><mi>P</mi></math></span>, the <span><math><mi>P</mi></math></span>-Eulerian polynomial is the generating function for the descent number over the set of linear extensions of <span><math><mi>P</mi></math></span>, and is closely related to the order polynomial of <span><math><mi>P</mi></math></span> arising in the theory of <span><math><mi>P</mi></math></span>-partitions. Here we study the <span><math><mi>P</mi></math></span>-Eulerian polynomial where <span><math><mi>P</mi></math></span> is a naturally labeled zig-zag poset; we call these <em>zig-zag Eulerian polynomials</em>. A result of Brändén implies that these polynomials are gamma-nonnegative, and hence their coefficients are symmetric and unimodal. The zig-zag Eulerian polynomials and the associated order polynomials have appeared fleetingly in the literature in a wide variety of contexts—e.g., in the study of polytopes, magic labelings of graphs, and Kekulé structures—but they do not appear to have been studied systematically.</div><div>In this paper, we use a “relaxed” version of <span><math><mi>P</mi></math></span>-partitions to both survey and unify results. Our technique shows that the zig-zag Eulerian polynomials also capture the distribution of “big returns” over the set of (up-down) alternating permutations, as first observed by Coons and Sullivant. We develop recurrences for refined versions of the relevant generating functions, which evoke similarities to recurrences for the classical Eulerian polynomials. We conclude with a literature survey and open questions.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"124 ","pages":"Article 104073"},"PeriodicalIF":1.0,"publicationDate":"2024-09-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0195669824001586/pdfft?md5=899109a09f3bf833016e01aae31a7980&pid=1-s2.0-S0195669824001586-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142315032","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-23DOI: 10.1016/j.ejc.2024.104071
Dániel Gerbner
The -uniform expansion of a graph is obtained by enlarging each edge with new vertices such that altogether we use new vertices. Two simple lower bounds on the largest number of -edges in -free -graphs are (in the case is not a star) and , which is the largest number of -cliques in -vertex -free graphs. We prove that . The proof comes with a structure theorem that we use to determine exactly for some graphs , every and sufficiently large .
图 F 的 r-uniform 扩展 F(r)+ 是通过用 r-2 个新顶点扩大每条边而得到的,这样我们总共使用了 (r-2)|E(F)| 个新顶点。关于无 F(r)+ r 图中 r 边的最大数量 exr(n,F(r)+) 的两个简单下限是 Ω(nr-1)(在 F 不是星形的情况下)和 ex(n,Kr,F),后者是无 n 个顶点的 F 图中 r 簇的最大数量。我们证明,exr(n,F(r)+)=ex(n,Kr,F)+O(nr-1)。该证明包含一个结构定理,我们用它来精确确定某些图 F、每个 r<χ(F)和足够大的 n 的 exr(n,F(r)+)。
{"title":"On non-degenerate Turán problems for expansions","authors":"Dániel Gerbner","doi":"10.1016/j.ejc.2024.104071","DOIUrl":"10.1016/j.ejc.2024.104071","url":null,"abstract":"<div><div>The <span><math><mi>r</mi></math></span>-uniform expansion <span><math><msup><mrow><mi>F</mi></mrow><mrow><mrow><mo>(</mo><mi>r</mi><mo>)</mo></mrow><mo>+</mo></mrow></msup></math></span> of a graph <span><math><mi>F</mi></math></span> is obtained by enlarging each edge with <span><math><mrow><mi>r</mi><mo>−</mo><mn>2</mn></mrow></math></span> new vertices such that altogether we use <span><math><mrow><mrow><mo>(</mo><mi>r</mi><mo>−</mo><mn>2</mn><mo>)</mo></mrow><mrow><mo>|</mo><mi>E</mi><mrow><mo>(</mo><mi>F</mi><mo>)</mo></mrow><mo>|</mo></mrow></mrow></math></span> new vertices. Two simple lower bounds on the largest number <span><math><mrow><msub><mrow><mi>ex</mi></mrow><mrow><mi>r</mi></mrow></msub><mrow><mo>(</mo><mi>n</mi><mo>,</mo><msup><mrow><mi>F</mi></mrow><mrow><mrow><mo>(</mo><mi>r</mi><mo>)</mo></mrow><mo>+</mo></mrow></msup><mo>)</mo></mrow></mrow></math></span> of <span><math><mi>r</mi></math></span>-edges in <span><math><msup><mrow><mi>F</mi></mrow><mrow><mrow><mo>(</mo><mi>r</mi><mo>)</mo></mrow><mo>+</mo></mrow></msup></math></span>-free <span><math><mi>r</mi></math></span>-graphs are <span><math><mrow><mi>Ω</mi><mrow><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mi>r</mi><mo>−</mo><mn>1</mn></mrow></msup><mo>)</mo></mrow></mrow></math></span> (in the case <span><math><mi>F</mi></math></span> is not a star) and <span><math><mrow><mi>ex</mi><mrow><mo>(</mo><mi>n</mi><mo>,</mo><msub><mrow><mi>K</mi></mrow><mrow><mi>r</mi></mrow></msub><mo>,</mo><mi>F</mi><mo>)</mo></mrow></mrow></math></span>, which is the largest number of <span><math><mi>r</mi></math></span>-cliques in <span><math><mi>n</mi></math></span>-vertex <span><math><mi>F</mi></math></span>-free graphs. We prove that <span><math><mrow><msub><mrow><mi>ex</mi></mrow><mrow><mi>r</mi></mrow></msub><mrow><mo>(</mo><mi>n</mi><mo>,</mo><msup><mrow><mi>F</mi></mrow><mrow><mrow><mo>(</mo><mi>r</mi><mo>)</mo></mrow><mo>+</mo></mrow></msup><mo>)</mo></mrow><mo>=</mo><mi>ex</mi><mrow><mo>(</mo><mi>n</mi><mo>,</mo><msub><mrow><mi>K</mi></mrow><mrow><mi>r</mi></mrow></msub><mo>,</mo><mi>F</mi><mo>)</mo></mrow><mo>+</mo><mi>O</mi><mrow><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mi>r</mi><mo>−</mo><mn>1</mn></mrow></msup><mo>)</mo></mrow></mrow></math></span>. The proof comes with a structure theorem that we use to determine <span><math><mrow><msub><mrow><mi>ex</mi></mrow><mrow><mi>r</mi></mrow></msub><mrow><mo>(</mo><mi>n</mi><mo>,</mo><msup><mrow><mi>F</mi></mrow><mrow><mrow><mo>(</mo><mi>r</mi><mo>)</mo></mrow><mo>+</mo></mrow></msup><mo>)</mo></mrow></mrow></math></span> exactly for some graphs <span><math><mi>F</mi></math></span>, every <span><math><mrow><mi>r</mi><mo><</mo><mi>χ</mi><mrow><mo>(</mo><mi>F</mi><mo>)</mo></mrow></mrow></math></span> and sufficiently large <span><math><mi>n</mi></math></span>.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"124 ","pages":"Article 104071"},"PeriodicalIF":1.0,"publicationDate":"2024-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0195669824001562/pdfft?md5=86fa8d5991cc3c3ff302bc8fdbd50279&pid=1-s2.0-S0195669824001562-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142311821","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-22DOI: 10.1016/j.ejc.2024.104072
Sepehr Hajebi
We prove that for all and , there exists with the following property. Let be a graph and let be a subgraph of isomorphic to a -subdivision of . Then either contains or as an induced subgraph, or there is an induced subgraph of isomorphic to a proper -subdivision of such that every branch vertex of is a branch vertex of . This answers in the affirmative a question of Lozin and Razgon. In fact, we show that both the branch vertices and the paths corresponding to the subdivided edges between them can be preserved.
我们证明,对于所有 r∈N∪{0} 和 s,t∈N,存在具有以下性质的 Ω=Ω(r,s,t)∈N。设 G 是图,设 H 是 G 的子图,与 KΩ 的(≤r)细分同构。那么要么 G 包含作为诱导子图的 Kt 或 Kt,t,要么 G 的诱导子图 J 与 Ks 的适当 (≤r)- 细分同构,使得 J 的每个分支顶点都是 H 的分支顶点。事实上,我们证明了分支顶点和它们之间对应于细分边的路径都可以保留。
{"title":"Induced subdivisions with pinned branch vertices","authors":"Sepehr Hajebi","doi":"10.1016/j.ejc.2024.104072","DOIUrl":"10.1016/j.ejc.2024.104072","url":null,"abstract":"<div><div>We prove that for all <span><math><mrow><mi>r</mi><mo>∈</mo><mi>N</mi><mo>∪</mo><mrow><mo>{</mo><mn>0</mn><mo>}</mo></mrow></mrow></math></span> and <span><math><mrow><mi>s</mi><mo>,</mo><mi>t</mi><mo>∈</mo><mi>N</mi></mrow></math></span>, there exists <span><math><mrow><mi>Ω</mi><mo>=</mo><mi>Ω</mi><mrow><mo>(</mo><mi>r</mi><mo>,</mo><mi>s</mi><mo>,</mo><mi>t</mi><mo>)</mo></mrow><mo>∈</mo><mi>N</mi></mrow></math></span> with the following property. Let <span><math><mi>G</mi></math></span> be a graph and let <span><math><mi>H</mi></math></span> be a subgraph of <span><math><mi>G</mi></math></span> isomorphic to a <span><math><mrow><mo>(</mo><mo>≤</mo><mi>r</mi><mo>)</mo></mrow></math></span>-subdivision of <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>Ω</mi></mrow></msub></math></span>. Then either <span><math><mi>G</mi></math></span> contains <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>t</mi></mrow></msub></math></span> or <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>t</mi><mo>,</mo><mi>t</mi></mrow></msub></math></span> as an induced subgraph, or there is an induced subgraph <span><math><mi>J</mi></math></span> of <span><math><mi>G</mi></math></span> isomorphic to a proper <span><math><mrow><mo>(</mo><mo>≤</mo><mi>r</mi><mo>)</mo></mrow></math></span>-subdivision of <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>s</mi></mrow></msub></math></span> such that every branch vertex of <span><math><mi>J</mi></math></span> is a branch vertex of <span><math><mi>H</mi></math></span>. This answers in the affirmative a question of Lozin and Razgon. In fact, we show that both the branch vertices and the paths corresponding to the subdivided edges between them can be preserved.</div></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":"124 ","pages":"Article 104072"},"PeriodicalIF":1.0,"publicationDate":"2024-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0195669824001574/pdfft?md5=ed4f41801de33ce909fbbc25a22d7d22&pid=1-s2.0-S0195669824001574-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142311820","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}