Pub Date : 2024-03-05DOI: 10.1016/j.jctb.2024.02.003
Allan Lo , Simón Piga , Nicolás Sanhueza-Matamala
We show that k-uniform hypergraphs on n vertices whose codegree is at least can be decomposed into tight cycles, subject to the trivial divisibility conditions. As a corollary, we show those graphs contain tight Euler tours as well. In passing, we also investigate decompositions into tight paths.
In addition, we also prove an alternative condition for building absorbers for edge-decompositions of arbitrary k-uniform hypergraphs, which should be of independent interest.
我们证明,n 个顶点上的 k 个均匀超图,如果其码度至少为 (2/3+o(1))n,则可以分解为紧密循环,但必须满足微不足道的可分条件。作为推论,我们证明这些图也包含紧密欧拉游。此外,我们还证明了为任意 k-uniform 超图的边分解建立吸收器的另一个条件,这应该是独立的兴趣所在。
{"title":"Cycle decompositions in k-uniform hypergraphs","authors":"Allan Lo , Simón Piga , Nicolás Sanhueza-Matamala","doi":"10.1016/j.jctb.2024.02.003","DOIUrl":"https://doi.org/10.1016/j.jctb.2024.02.003","url":null,"abstract":"<div><p>We show that <em>k</em>-uniform hypergraphs on <em>n</em> vertices whose codegree is at least <span><math><mo>(</mo><mn>2</mn><mo>/</mo><mn>3</mn><mo>+</mo><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo><mo>)</mo><mi>n</mi></math></span> can be decomposed into tight cycles, subject to the trivial divisibility conditions. As a corollary, we show those graphs contain tight Euler tours as well. In passing, we also investigate decompositions into tight paths.</p><p>In addition, we also prove an alternative condition for building absorbers for edge-decompositions of arbitrary <em>k</em>-uniform hypergraphs, which should be of independent interest.</p></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":null,"pages":null},"PeriodicalIF":1.4,"publicationDate":"2024-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0095895624000091/pdfft?md5=4e1edb0999ca3378e8c423d7ea50f42a&pid=1-s2.0-S0095895624000091-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140041359","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-03-01DOI: 10.1016/j.jctb.2024.02.002
Jiaxi Nie
Let be a family of r-uniform hypergraphs. The random Turán number is the maximum number of edges in an -free subgraph of , where is the Erdős-Rényi random r-graph with parameter p. Let denote the r-uniform linear cycle of length ℓ. For , Mubayi and Yepremyan showed that . This upper bound is not tight when . In this paper, we close the gap for . More precisely, we show that when
{"title":"Turán theorems for even cycles in random hypergraph","authors":"Jiaxi Nie","doi":"10.1016/j.jctb.2024.02.002","DOIUrl":"https://doi.org/10.1016/j.jctb.2024.02.002","url":null,"abstract":"<div><p>Let <span><math><mi>F</mi></math></span> be a family of <em>r</em>-uniform hypergraphs. The random Turán number <span><math><mrow><mi>ex</mi></mrow><mo>(</mo><msubsup><mrow><mi>G</mi></mrow><mrow><mi>n</mi><mo>,</mo><mi>p</mi></mrow><mrow><mi>r</mi></mrow></msubsup><mo>,</mo><mi>F</mi><mo>)</mo></math></span> is the maximum number of edges in an <span><math><mi>F</mi></math></span>-free subgraph of <span><math><msubsup><mrow><mi>G</mi></mrow><mrow><mi>n</mi><mo>,</mo><mi>p</mi></mrow><mrow><mi>r</mi></mrow></msubsup></math></span>, where <span><math><msubsup><mrow><mi>G</mi></mrow><mrow><mi>n</mi><mo>,</mo><mi>p</mi></mrow><mrow><mi>r</mi></mrow></msubsup></math></span> is the Erdős-Rényi random <em>r</em>-graph with parameter <em>p</em>. Let <span><math><msubsup><mrow><mi>C</mi></mrow><mrow><mi>ℓ</mi></mrow><mrow><mi>r</mi></mrow></msubsup></math></span> denote the <em>r</em>-uniform linear cycle of length <em>ℓ</em>. For <span><math><mi>p</mi><mo>≥</mo><msup><mrow><mi>n</mi></mrow><mrow><mo>−</mo><mi>r</mi><mo>+</mo><mn>2</mn><mo>+</mo><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo></mrow></msup></math></span>, Mubayi and Yepremyan showed that <span><math><mrow><mi>ex</mi></mrow><mo>(</mo><msubsup><mrow><mi>G</mi></mrow><mrow><mi>n</mi><mo>,</mo><mi>p</mi></mrow><mrow><mi>r</mi></mrow></msubsup><mo>,</mo><msubsup><mrow><mi>C</mi></mrow><mrow><mn>2</mn><mi>ℓ</mi></mrow><mrow><mi>r</mi></mrow></msubsup><mo>)</mo><mo>≤</mo><mi>max</mi><mo></mo><mo>{</mo><msup><mrow><mi>p</mi></mrow><mrow><mfrac><mrow><mn>1</mn></mrow><mrow><mn>2</mn><mi>ℓ</mi><mo>−</mo><mn>1</mn></mrow></mfrac></mrow></msup><mo>×</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>1</mn><mo>+</mo><mfrac><mrow><mi>r</mi><mo>−</mo><mn>1</mn></mrow><mrow><mn>2</mn><mi>ℓ</mi><mo>−</mo><mn>1</mn></mrow></mfrac><mo>+</mo><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo></mrow></msup><mo>,</mo><mi>p</mi><msup><mrow><mi>n</mi></mrow><mrow><mi>r</mi><mo>−</mo><mn>1</mn><mo>+</mo><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo></mrow></msup><mo>}</mo></math></span>. This upper bound is not tight when <span><math><mi>p</mi><mo>≤</mo><msup><mrow><mi>n</mi></mrow><mrow><mo>−</mo><mi>r</mi><mo>+</mo><mn>2</mn><mo>+</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mn>2</mn><mi>ℓ</mi><mo>−</mo><mn>2</mn></mrow></mfrac><mo>+</mo><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo></mrow></msup></math></span>. In this paper, we close the gap for <span><math><mi>r</mi><mo>≥</mo><mn>4</mn></math></span>. More precisely, we show that <span><math><mrow><mi>ex</mi></mrow><mo>(</mo><msubsup><mrow><mi>G</mi></mrow><mrow><mi>n</mi><mo>,</mo><mi>p</mi></mrow><mrow><mi>r</mi></mrow></msubsup><mo>,</mo><msubsup><mrow><mi>C</mi></mrow><mrow><mn>2</mn><mi>ℓ</mi></mrow><mrow><mi>r</mi></mrow></msubsup><mo>)</mo><mo>=</mo><mi>Θ</mi><mo>(</mo><mi>p</mi><msup><mrow><mi>n</mi></mrow><mrow><mi>r</mi><mo>−</mo><mn>1</mn></mrow></msup><mo>)</mo></math></span> when <span><math><mi>p</mi><mo>≥</mo><msup><mrow><mi>n</mi></mrow><mrow><mo>−</mo><mi>r</mi><mo>+</mo><m","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":null,"pages":null},"PeriodicalIF":1.4,"publicationDate":"2024-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139999287","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-02-22DOI: 10.1016/j.jctb.2024.01.005
Zequn Lv , Ervin Győri , Zhen He , Nika Salia , Casey Tompkins , Xiutao Zhu
We resolve a conjecture of Cox and Martin by determining asymptotically for every the maximum number of copies of in an n-vertex planar graph.
我们解决了考克斯和马丁的一个猜想,即在 n 个顶点的平面图中,渐近地确定每 k≥2 个顶点的 C2k 的最大副本数。
{"title":"The maximum number of copies of an even cycle in a planar graph","authors":"Zequn Lv , Ervin Győri , Zhen He , Nika Salia , Casey Tompkins , Xiutao Zhu","doi":"10.1016/j.jctb.2024.01.005","DOIUrl":"https://doi.org/10.1016/j.jctb.2024.01.005","url":null,"abstract":"<div><p>We resolve a conjecture of Cox and Martin by determining asymptotically for every <span><math><mi>k</mi><mo>≥</mo><mn>2</mn></math></span> the maximum number of copies of <span><math><msub><mrow><mi>C</mi></mrow><mrow><mn>2</mn><mi>k</mi></mrow></msub></math></span> in an <em>n</em>-vertex planar graph.</p></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":null,"pages":null},"PeriodicalIF":1.4,"publicationDate":"2024-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139936460","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-02-19DOI: 10.1016/j.jctb.2024.02.001
Suyun Jiang , Hong Liu , Nika Salia
The Erdős-Sós conjecture states that the maximum number of edges in an n-vertex graph without a given k-vertex tree is at most . Despite significant interest, the conjecture remains unsolved. Recently, Caro, Patkós, and Tuza considered this problem for host graphs that are connected. Settling a problem posed by them, for a k-vertex tree T, we construct n-vertex connected graphs that are T-free with at least edges, showing that the additional connectivity condition can reduce the maximum size by at most a factor of 2. Furthermore, we show that this is optimal: there is a family of k-vertex brooms T such that the maximum size of an n-vertex connected T-free graph is at most .
厄尔多斯-索斯猜想指出,在没有给定 k 个顶点树的 n 个顶点图中,边的最大数目最多为 n(k-2)2。尽管人们对这一猜想非常感兴趣,但它仍未得到解决。最近,Caro、Patkós 和 Tuza 考虑了连通主图的这一问题。为了解决他们提出的问题,对于 k 个顶点的树 T,我们构建了 n 个顶点连通的无 T 图,这些图至少有 (1/4-ok(1))nk 条边,这表明附加的连通性条件最多可以将最大尺寸减少 2 倍。此外,我们还证明了这是最优的:存在一个 k 个顶点的扫帚 T 族,使得 n 个顶点连通的无 T 图的最大尺寸最多为 (1/4+ok(1))nk。
{"title":"How connectivity affects the extremal number of trees","authors":"Suyun Jiang , Hong Liu , Nika Salia","doi":"10.1016/j.jctb.2024.02.001","DOIUrl":"https://doi.org/10.1016/j.jctb.2024.02.001","url":null,"abstract":"<div><p>The Erdős-Sós conjecture states that the maximum number of edges in an <em>n</em>-vertex graph without a given <em>k</em>-vertex tree is at most <span><math><mfrac><mrow><mi>n</mi><mo>(</mo><mi>k</mi><mo>−</mo><mn>2</mn><mo>)</mo></mrow><mrow><mn>2</mn></mrow></mfrac></math></span>. Despite significant interest, the conjecture remains unsolved. Recently, Caro, Patkós, and Tuza considered this problem for host graphs that are connected. Settling a problem posed by them, for a <em>k</em>-vertex tree <em>T</em>, we construct <em>n</em>-vertex connected graphs that are <em>T</em>-free with at least <span><math><mo>(</mo><mn>1</mn><mo>/</mo><mn>4</mn><mo>−</mo><msub><mrow><mi>o</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>(</mo><mn>1</mn><mo>)</mo><mo>)</mo><mi>n</mi><mi>k</mi></math></span> edges, showing that the additional connectivity condition can reduce the maximum size by at most a factor of 2. Furthermore, we show that this is optimal: there is a family of <em>k</em>-vertex brooms <em>T</em> such that the maximum size of an <em>n</em>-vertex connected <em>T</em>-free graph is at most <span><math><mo>(</mo><mn>1</mn><mo>/</mo><mn>4</mn><mo>+</mo><msub><mrow><mi>o</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>(</mo><mn>1</mn><mo>)</mo><mo>)</mo><mi>n</mi><mi>k</mi></math></span>.</p></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":null,"pages":null},"PeriodicalIF":1.4,"publicationDate":"2024-02-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139907785","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-01-26DOI: 10.1016/j.jctb.2024.01.002
Ralph Keusch
We show that for every graph without isolated edge, the edges can be assigned weights from so that no two neighbors receive the same sum of incident edge weights. This solves a conjecture of Karoński, Łuczak, and Thomason from 2004.
{"title":"A solution to the 1-2-3 conjecture","authors":"Ralph Keusch","doi":"10.1016/j.jctb.2024.01.002","DOIUrl":"10.1016/j.jctb.2024.01.002","url":null,"abstract":"<div><p>We show that for every graph without isolated edge, the edges can be assigned weights from <span><math><mo>{</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>,</mo><mn>3</mn><mo>}</mo></math></span> so that no two neighbors receive the same sum of incident edge weights. This solves a conjecture of Karoński, Łuczak, and Thomason from 2004.</p></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":null,"pages":null},"PeriodicalIF":1.4,"publicationDate":"2024-01-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139566010","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-01-26DOI: 10.1016/j.jctb.2024.01.003
Lior Gishboliner, Zhihan Jin, Benny Sudakov
The graph removal lemma is a fundamental result in extremal graph theory which says that for every fixed graph H and , if an n-vertex graph G contains edge-disjoint copies of H then G contains copies of H for some . The current proofs of the removal lemma give only very weak bounds on , and it is also known that is not polynomial in ε unless H is bipartite. Recently, Fox and Wigderson initiated the study of minimum degree conditions guaranteeing that depends polynomially or linearly on ε. In this paper we answer several questions of Fox and Wigderson on this topic.
图移除阶梯是极值图理论中的一个基本结果,它指出,对于每个固定图 H 和 ε>0,如果一个 n 顶点图 G 包含 H 的 εn2 边相交副本,那么对于某个 δ=δ(ε,H)>0,G 包含 H 的 δnv(H) 副本。目前对移除两难的证明只给出了关于 δ(ε,H) 的非常弱的约束,而且还知道,除非 H 是双分部的,否则 δ(ε,H) 不是 ε 的多项式。最近,Fox 和 Wigderson 开始研究保证 δ(ε,H) 多项式或线性地依赖于 ε 的最小度条件。
{"title":"The minimum degree removal lemma thresholds","authors":"Lior Gishboliner, Zhihan Jin, Benny Sudakov","doi":"10.1016/j.jctb.2024.01.003","DOIUrl":"10.1016/j.jctb.2024.01.003","url":null,"abstract":"<div><p>The graph removal lemma is a fundamental result in extremal graph theory which says that for every fixed graph <em>H</em> and <span><math><mi>ε</mi><mo>></mo><mn>0</mn></math></span>, if an <em>n</em>-vertex graph <em>G</em> contains <span><math><mi>ε</mi><msup><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span> edge-disjoint copies of <em>H</em> then <em>G</em> contains <span><math><mi>δ</mi><msup><mrow><mi>n</mi></mrow><mrow><mi>v</mi><mo>(</mo><mi>H</mi><mo>)</mo></mrow></msup></math></span> copies of <em>H</em> for some <span><math><mi>δ</mi><mo>=</mo><mi>δ</mi><mo>(</mo><mi>ε</mi><mo>,</mo><mi>H</mi><mo>)</mo><mo>></mo><mn>0</mn></math></span>. The current proofs of the removal lemma give only very weak bounds on <span><math><mi>δ</mi><mo>(</mo><mi>ε</mi><mo>,</mo><mi>H</mi><mo>)</mo></math></span>, and it is also known that <span><math><mi>δ</mi><mo>(</mo><mi>ε</mi><mo>,</mo><mi>H</mi><mo>)</mo></math></span> is not polynomial in <em>ε</em> unless <em>H</em> is bipartite. Recently, Fox and Wigderson initiated the study of minimum degree conditions guaranteeing that <span><math><mi>δ</mi><mo>(</mo><mi>ε</mi><mo>,</mo><mi>H</mi><mo>)</mo></math></span> depends polynomially or linearly on <em>ε</em>. In this paper we answer several questions of Fox and Wigderson on this topic.</p></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":null,"pages":null},"PeriodicalIF":1.4,"publicationDate":"2024-01-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0095895624000042/pdfft?md5=933ffe8670f6d93ed7560c5af633e7e3&pid=1-s2.0-S0095895624000042-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139567936","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-01-25DOI: 10.1016/j.jctb.2024.01.004
Yan Cao , Guantao Chen , Guangming Jing , Songling Shan
A simple graph G with maximum degree Δ is overfull if . The core of G, denoted , is the subgraph of G induced by its vertices of degree Δ. Clearly, the chromatic index of G equals if G is overfull. Conversely, Hilton and Zhao in 1996 conjectured that if G is a simple connected graph with and , then implies that G is overfull or , where is obtained from the Petersen graph by deleting a vertex. Cariolaro and Cariolaro settled the base case in 2003, and Cranston and Rabern proved the next case, , in 2019. In this paper, we give a proof of this conjecture for all .
如果|E(G)|>Δ⌊|V(G)|/2⌋,则最大度数为 Δ 的简单图 G 为过满图。显然,如果 G 是 overfull,则 G 的色度指数等于 Δ+1。相反,希尔顿和赵在 1996 年猜想,如果 G 是简单连通图,且 Δ≥3 和 Δ(GΔ)≤2,那么 χ′(G)=Δ+1 意味着 G 是过满的,或者 G=P⁎,其中 P⁎ 是通过删除一个顶点从彼得森图中得到的。Cariolaro 和 Cariolaro 于 2003 年解决了基本情况 Δ=3 的问题,Cranston 和 Rabern 于 2019 年证明了下一种情况 Δ=4。在本文中,我们给出了对所有 Δ≥4 的这一猜想的证明。
{"title":"The core conjecture of Hilton and Zhao","authors":"Yan Cao , Guantao Chen , Guangming Jing , Songling Shan","doi":"10.1016/j.jctb.2024.01.004","DOIUrl":"10.1016/j.jctb.2024.01.004","url":null,"abstract":"<div><p>A simple graph <em>G</em><span> with maximum degree Δ is </span><em>overfull</em> if <span><math><mo>|</mo><mi>E</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>|</mo><mo>></mo><mi>Δ</mi><mo>⌊</mo><mo>|</mo><mi>V</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>|</mo><mo>/</mo><mn>2</mn><mo>⌋</mo></math></span>. The <em>core</em> of <em>G</em>, denoted <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>Δ</mi></mrow></msub></math></span>, is the subgraph of <em>G</em> induced by its vertices of degree Δ. Clearly, the chromatic index of <em>G</em> equals <span><math><mi>Δ</mi><mo>+</mo><mn>1</mn></math></span> if <em>G</em> is overfull. Conversely, Hilton and Zhao in 1996 conjectured that if <em>G</em><span> is a simple connected graph with </span><span><math><mi>Δ</mi><mo>≥</mo><mn>3</mn></math></span> and <span><math><mi>Δ</mi><mo>(</mo><msub><mrow><mi>G</mi></mrow><mrow><mi>Δ</mi></mrow></msub><mo>)</mo><mo>≤</mo><mn>2</mn></math></span>, then <span><math><msup><mrow><mi>χ</mi></mrow><mrow><mo>′</mo></mrow></msup><mo>(</mo><mi>G</mi><mo>)</mo><mo>=</mo><mi>Δ</mi><mo>+</mo><mn>1</mn></math></span> implies that <em>G</em> is overfull or <span><math><mi>G</mi><mo>=</mo><msup><mrow><mi>P</mi></mrow><mrow><mo>⁎</mo></mrow></msup></math></span>, where <span><math><msup><mrow><mi>P</mi></mrow><mrow><mo>⁎</mo></mrow></msup></math></span> is obtained from the Petersen graph by deleting a vertex. Cariolaro and Cariolaro settled the base case <span><math><mi>Δ</mi><mo>=</mo><mn>3</mn></math></span> in 2003, and Cranston and Rabern proved the next case, <span><math><mi>Δ</mi><mo>=</mo><mn>4</mn></math></span>, in 2019. In this paper, we give a proof of this conjecture for all <span><math><mi>Δ</mi><mo>≥</mo><mn>4</mn></math></span>.</p></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":null,"pages":null},"PeriodicalIF":1.4,"publicationDate":"2024-01-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139551178","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-01-23DOI: 10.1016/j.jctb.2024.01.001
Primož Potočnik , Micael Toledo , Gabriel Verret
In this paper we investigate orders, longest cycles and the number of cycles of automorphisms of finite vertex-transitive graphs. In particular, we show that the order of every automorphism of a connected vertex-transitive graph with n vertices and of valence d, , is at most where and . Whether such a constant exists for valencies larger than 4 remains an unanswered question. Further, we prove that every automorphism g of a finite connected 3-valent vertex-transitive graph Γ, , has a regular orbit, that is, an orbit of of length equal to the order of g. Moreover, we prove that in this case either Γ belongs to a well understood family of exceptional graphs or at least 5/12 of the vertices of Γ belong to a regular orbit of g. Finally, we give an upper bound on the number of orbits of a cyclic group of automorphisms C of a connected 3-valent vertex-transitive graph Γ in terms of the number of vertices of Γ and the length of a longest orbit of C.
在本文中,我们研究了有限顶点传递图的阶数、最长循环和自形变的循环数。特别是,我们证明了一个有 n 个顶点、化合价为 d(d≤4)的连通顶点-传递图的每个自动形的阶最多为 cdn(其中 c3=1 和 c4=9)。对于价数大于 4 的图,是否存在这样的常量 cd 仍是一个未解之谜。此外,我们还证明了有限连接的三价顶点传递图 Γ, Γ≇K3,3 的每个自动形 g 都有一个正则轨道,即长度等于 g 的阶数的〈g〉轨道。最后,我们根据 Γ 的顶点数和 C 的最长轨道长度,给出了连通的三价顶点传递图 Γ 的循环群自形化 C 的轨道数上限。
{"title":"On orders of automorphisms of vertex-transitive graphs","authors":"Primož Potočnik , Micael Toledo , Gabriel Verret","doi":"10.1016/j.jctb.2024.01.001","DOIUrl":"10.1016/j.jctb.2024.01.001","url":null,"abstract":"<div><p>In this paper we investigate orders, longest cycles and the number of cycles of automorphisms of finite vertex-transitive graphs. In particular, we show that the order of every automorphism of a connected vertex-transitive graph with <em>n</em> vertices and of valence <em>d</em>, <span><math><mi>d</mi><mo>≤</mo><mn>4</mn></math></span>, is at most <span><math><msub><mrow><mi>c</mi></mrow><mrow><mi>d</mi></mrow></msub><mi>n</mi></math></span> where <span><math><msub><mrow><mi>c</mi></mrow><mrow><mn>3</mn></mrow></msub><mo>=</mo><mn>1</mn></math></span> and <span><math><msub><mrow><mi>c</mi></mrow><mrow><mn>4</mn></mrow></msub><mo>=</mo><mn>9</mn></math></span>. Whether such a constant <span><math><msub><mrow><mi>c</mi></mrow><mrow><mi>d</mi></mrow></msub></math></span> exists for valencies larger than 4 remains an unanswered question. Further, we prove that every automorphism <em>g</em> of a finite connected 3-valent vertex-transitive graph Γ, <span><math><mi>Γ</mi><mo>≇</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>3</mn><mo>,</mo><mn>3</mn></mrow></msub></math></span>, has a regular orbit, that is, an orbit of <span><math><mo>〈</mo><mi>g</mi><mo>〉</mo></math></span> of length equal to the order of <em>g</em>. Moreover, we prove that in this case either Γ belongs to a well understood family of exceptional graphs or at least 5/12 of the vertices of Γ belong to a regular orbit of <em>g</em>. Finally, we give an upper bound on the number of orbits of a cyclic group of automorphisms <em>C</em> of a connected 3-valent vertex-transitive graph Γ in terms of the number of vertices of Γ and the length of a longest orbit of <em>C</em>.</p></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":null,"pages":null},"PeriodicalIF":1.4,"publicationDate":"2024-01-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0095895624000029/pdfft?md5=5bdead4227eef1a873304cc296bf7df1&pid=1-s2.0-S0095895624000029-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139522954","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-01-17DOI: 10.1016/j.jctb.2023.12.001
Jang Soo Kim , Joonkyung Lee
A graph H is common if the number of monochromatic copies of H in a 2-edge-colouring of the complete graph is asymptotically minimised by the random colouring, or equivalently, holds for every graphon , where denotes the homomorphism density of the graph H. Paths and cycles being common is one of the earliest cornerstones in extremal graph theory, due to Mulholland and Smith (1959), Goodman (1959), and Sidorenko (1989).
We prove a graph homomorphism inequality that extends the commonality of paths and cycles. Namely, whenever H is a path or a cycle and is a bounded symmetric measurable function.
This answers a question of Sidorenko from 1989, who proved a slightly weaker result for even-length paths to prove the commonality of odd cycles. Furthermore, it also settles a recent conjecture of Behague, Morrison, and Noel in a strong form, who asked if the inequality holds for graphons W and odd cycles H. Our proof uses Schur convexity of complete homogeneous symmetric functions, which may be of independent interest.
如果完整图 Kn 的 2 边着色中 H 的单色副本数被随机着色渐近最小化,或者等价于 tH(W)+tH(1-W)≥21-e(H) 对于每个图元 W:[0,1]2→[0,1] 都成立,则图 H 是常见的,其中 tH(. )表示图 H 的同态密度。路径和循环的共通性是极值图理论最早的基石之一,归功于 Mulholland 和 Smith (1959)、Goodman (1959) 和 Sidorenko (1989)。也就是说,只要 H 是路径或循环,且 W:[0,1]2→R 是有界对称可测函数,tH(W)+tH(1-W)≥tK2(W)e(H)+tK2(1-W)e(H)。这回答了 Sidorenko 在 1989 年提出的一个问题,他针对偶数长度路径证明了一个稍弱的结果,以证明奇数循环的共性。此外,它还以强形式解决了贝哈格、莫里森和诺埃尔最近提出的一个猜想,他们问不等式是否对图元 W 和奇数循环 H 成立。
{"title":"Extended commonality of paths and cycles via Schur convexity","authors":"Jang Soo Kim , Joonkyung Lee","doi":"10.1016/j.jctb.2023.12.001","DOIUrl":"https://doi.org/10.1016/j.jctb.2023.12.001","url":null,"abstract":"<div><p>A graph <em>H</em> is <em>common</em> if the number of monochromatic copies of <em>H</em> in a 2-edge-colouring of the complete graph <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> is asymptotically minimised by the random colouring, or equivalently, <span><math><msub><mrow><mi>t</mi></mrow><mrow><mi>H</mi></mrow></msub><mo>(</mo><mi>W</mi><mo>)</mo><mo>+</mo><msub><mrow><mi>t</mi></mrow><mrow><mi>H</mi></mrow></msub><mo>(</mo><mn>1</mn><mo>−</mo><mi>W</mi><mo>)</mo><mo>≥</mo><msup><mrow><mn>2</mn></mrow><mrow><mn>1</mn><mo>−</mo><mi>e</mi><mo>(</mo><mi>H</mi><mo>)</mo></mrow></msup></math></span> holds for every graphon <span><math><mi>W</mi><mo>:</mo><msup><mrow><mo>[</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>]</mo></mrow><mrow><mn>2</mn></mrow></msup><mo>→</mo><mo>[</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>]</mo></math></span>, where <span><math><msub><mrow><mi>t</mi></mrow><mrow><mi>H</mi></mrow></msub><mo>(</mo><mo>.</mo><mo>)</mo></math></span><span> denotes the homomorphism density of the graph </span><em>H</em>. Paths and cycles being common is one of the earliest cornerstones in extremal graph theory, due to Mulholland and Smith (1959), Goodman (1959), and Sidorenko (1989).</p><p>We prove a graph homomorphism inequality that extends the commonality of paths and cycles. Namely, <span><math><msub><mrow><mi>t</mi></mrow><mrow><mi>H</mi></mrow></msub><mo>(</mo><mi>W</mi><mo>)</mo><mo>+</mo><msub><mrow><mi>t</mi></mrow><mrow><mi>H</mi></mrow></msub><mo>(</mo><mn>1</mn><mo>−</mo><mi>W</mi><mo>)</mo><mo>≥</mo><msub><mrow><mi>t</mi></mrow><mrow><msub><mrow><mi>K</mi></mrow><mrow><mn>2</mn></mrow></msub></mrow></msub><msup><mrow><mo>(</mo><mi>W</mi><mo>)</mo></mrow><mrow><mi>e</mi><mo>(</mo><mi>H</mi><mo>)</mo></mrow></msup><mo>+</mo><msub><mrow><mi>t</mi></mrow><mrow><msub><mrow><mi>K</mi></mrow><mrow><mn>2</mn></mrow></msub></mrow></msub><msup><mrow><mo>(</mo><mn>1</mn><mo>−</mo><mi>W</mi><mo>)</mo></mrow><mrow><mi>e</mi><mo>(</mo><mi>H</mi><mo>)</mo></mrow></msup></math></span> whenever <em>H</em> is a path or a cycle and <span><math><mi>W</mi><mo>:</mo><msup><mrow><mo>[</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>]</mo></mrow><mrow><mn>2</mn></mrow></msup><mo>→</mo><mi>R</mi></math></span><span> is a bounded symmetric measurable function.</span></p><p>This answers a question of Sidorenko from 1989, who proved a slightly weaker result for even-length paths to prove the commonality of odd cycles. Furthermore, it also settles a recent conjecture of Behague, Morrison, and Noel in a strong form, who asked if the inequality holds for graphons <em>W</em> and odd cycles <em>H</em><span>. Our proof uses Schur convexity of complete homogeneous symmetric functions, which may be of independent interest.</span></p></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":null,"pages":null},"PeriodicalIF":1.4,"publicationDate":"2024-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139487840","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-01-12DOI: 10.1016/j.jctb.2023.12.005
Tom Bohman , Jakob Hofstad
The biclique partition number of a graph , denoted , is the minimum number of pairwise edge disjoint complete bipartite subgraphs of G so that each edge of G belongs to exactly one of them. It is easy to see that , where is the maximum size of an independent set of G. Erdős conjectured in the 80's that for almost every graph G equality holds; i.e., if then with high probability. Alon showed that this is false. We show that the conjecture of Erdős is true if we instead take , where p is constant and less than a certain threshold value . This verifies a conjecture of Chung and Peng for these values of p. We also show that if then with high probability.
图 G=(V,E) 的双骰子分割数表示 bp(G),它是 G 的成对边缘相交的完整双骰子图的最小数目,这样 G 的每条边都正好属于其中之一。很容易看出,bp(G)≤n-α(G),其中α(G)是 G 的独立集的最大大小。埃尔德在上世纪 80 年代猜想,对于几乎所有的图 G 来说,等式都成立;也就是说,如果 G=Gn,1/2 那么 bp(G)=n-α(G) 的概率很高。阿隆证明了这是错误的。我们证明,如果我们取 G=Gn,p,其中 p 为常数且小于某个临界值 p0≈0.312,那么厄尔多斯的猜想就是真的。我们还证明,如果 p0<p<1/2,则 bp(Gn,p)=n-(1+Θ(1))α(Gn,p) 的概率很高。
{"title":"A critical probability for biclique partition of Gn,p","authors":"Tom Bohman , Jakob Hofstad","doi":"10.1016/j.jctb.2023.12.005","DOIUrl":"https://doi.org/10.1016/j.jctb.2023.12.005","url":null,"abstract":"<div><p>The biclique partition number of a graph <span><math><mi>G</mi><mo>=</mo><mo>(</mo><mi>V</mi><mo>,</mo><mi>E</mi><mo>)</mo></math></span>, denoted <span><math><mi>b</mi><mi>p</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span>, is the minimum number of pairwise edge disjoint complete bipartite subgraphs of <em>G</em> so that each edge of <em>G</em> belongs to exactly one of them. It is easy to see that <span><math><mi>b</mi><mi>p</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>≤</mo><mi>n</mi><mo>−</mo><mi>α</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span>, where <span><math><mi>α</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> is the maximum size of an independent set of <em>G</em>. Erdős conjectured in the 80's that for almost every graph <em>G</em> equality holds; i.e., if <span><math><mi>G</mi><mo>=</mo><msub><mrow><mi>G</mi></mrow><mrow><mi>n</mi><mo>,</mo><mn>1</mn><mo>/</mo><mn>2</mn></mrow></msub></math></span> then <span><math><mi>b</mi><mi>p</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>=</mo><mi>n</mi><mo>−</mo><mi>α</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> with high probability. Alon showed that this is false. We show that the conjecture of Erdős <em>is</em> true if we instead take <span><math><mi>G</mi><mo>=</mo><msub><mrow><mi>G</mi></mrow><mrow><mi>n</mi><mo>,</mo><mi>p</mi></mrow></msub></math></span>, where <em>p</em> is constant and less than a certain threshold value <span><math><msub><mrow><mi>p</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>≈</mo><mn>0.312</mn></math></span>. This verifies a conjecture of Chung and Peng for these values of <em>p</em>. We also show that if <span><math><msub><mrow><mi>p</mi></mrow><mrow><mn>0</mn></mrow></msub><mo><</mo><mi>p</mi><mo><</mo><mn>1</mn><mo>/</mo><mn>2</mn></math></span> then <span><math><mi>b</mi><mi>p</mi><mo>(</mo><msub><mrow><mi>G</mi></mrow><mrow><mi>n</mi><mo>,</mo><mi>p</mi></mrow></msub><mo>)</mo><mo>=</mo><mi>n</mi><mo>−</mo><mo>(</mo><mn>1</mn><mo>+</mo><mi>Θ</mi><mo>(</mo><mn>1</mn><mo>)</mo><mo>)</mo><mi>α</mi><mo>(</mo><msub><mrow><mi>G</mi></mrow><mrow><mi>n</mi><mo>,</mo><mi>p</mi></mrow></msub><mo>)</mo></math></span> with high probability.</p></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":null,"pages":null},"PeriodicalIF":1.4,"publicationDate":"2024-01-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0095895623001132/pdfft?md5=71cf1c709b7b2b2915195f842dad39ba&pid=1-s2.0-S0095895623001132-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139433916","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}