Pub Date : 2024-03-26DOI: 10.1007/s00373-024-02766-9
Bryan Freyberg, Alison Marr
Given a simple graph G, we ask when V(G) may be partitioned into two sets such that every vertex has an equal number of neighbors from each set. We establish a number of results for common families of graphs and completely classify 4-regular circulants which posses this property.
{"title":"Neighborhood Balanced Colorings of Graphs","authors":"Bryan Freyberg, Alison Marr","doi":"10.1007/s00373-024-02766-9","DOIUrl":"https://doi.org/10.1007/s00373-024-02766-9","url":null,"abstract":"<p>Given a simple graph <i>G</i>, we ask when <i>V</i>(<i>G</i>) may be partitioned into two sets such that every vertex has an equal number of neighbors from each set. We establish a number of results for common families of graphs and completely classify 4-regular circulants which posses this property.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140297678","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-03-26DOI: 10.1007/s00373-024-02770-z
Abstract
A set of edges (Xsubseteq E(G)) of a graph G is an edge general position set if no three edges from X lie on a common shortest path. The edge general position number ({textrm{gp}}_{textrm{e}}(G)) of G is the cardinality of a largest edge general position set in G. Graphs G with ({textrm{gp}}_{{textrm{e}}}(G) = |E(G)| - 1) and with ({textrm{gp}}_{{textrm{e}}}(G) = 3) are respectively characterized. Sharp upper and lower bounds on ({textrm{gp}}_{{textrm{e}}}(G)) are proved for block graphs G and exact values are determined for several specific block graphs.
Abstract 如果没有来自 X 的三条边位于一条共同的最短路径上,那么图 G 的边集 (Xsubseteq E(G))就是一个边一般位置集。G 的边一般位置数 ({textrm{gp}}_{textrm{e}}(G))是 G 中最大的一个边一般位置集的卡入度。分别描述了具有 ({textrm{gp}}_{{textrm{e}}(G) = |E(G)| - 1) 和 ({textrm{gp}}_{{textrm{e}}(G) = 3) 的图 G。对于块图 G,证明了 ({textrm{gp}}_{textrm{e}}}(G))的尖锐上界和下界,并确定了几个特定块图的精确值。
{"title":"Extremal Edge General Position Sets in Some Graphs","authors":"","doi":"10.1007/s00373-024-02770-z","DOIUrl":"https://doi.org/10.1007/s00373-024-02770-z","url":null,"abstract":"<h3>Abstract</h3> <p>A set of edges <span> <span>(Xsubseteq E(G))</span> </span> of a graph <em>G</em> is an edge general position set if no three edges from <em>X</em> lie on a common shortest path. The edge general position number <span> <span>({textrm{gp}}_{textrm{e}}(G))</span> </span> of <em>G</em> is the cardinality of a largest edge general position set in <em>G</em>. Graphs <em>G</em> with <span> <span>({textrm{gp}}_{{textrm{e}}}(G) = |E(G)| - 1)</span> </span> and with <span> <span>({textrm{gp}}_{{textrm{e}}}(G) = 3)</span> </span> are respectively characterized. Sharp upper and lower bounds on <span> <span>({textrm{gp}}_{{textrm{e}}}(G))</span> </span> are proved for block graphs <em>G</em> and exact values are determined for several specific block graphs.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140297708","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-03-26DOI: 10.1007/s00373-024-02757-w
Dániel Gerbner
Given a hypergraph ({{mathcal {H}}}) and a graph G, we say that ({{mathcal {H}}}) is a Berge-G if there is a bijection between the hyperedges of ({{mathcal {H}}}) and the edges of G such that each hyperedge contains its image. We denote by (textrm{ex}_k(n,Berge- F)) the largest number of hyperedges in a k-uniform Berge-F-free graph. Let (textrm{ex}(n,H,F)) denote the largest number of copies of H in n-vertex F-free graphs. It is known that (textrm{ex}(n,K_k,F)le textrm{ex}_k(n,Berge- F)le textrm{ex}(n,K_k,F)+textrm{ex}(n,F)), thus if (chi (F)>r), then (textrm{ex}_k(n,Berge- F)=(1+o(1)) textrm{ex}(n,K_k,F)). We conjecture that (textrm{ex}_k(n,Berge- F)=textrm{ex}(n,K_k,F)) in this case. We prove this conjecture in several instances, including the cases (k=3) and (k=4). We prove the general bound (textrm{ex}_k(n,Berge- F)= textrm{ex}(n,K_k,F)+O(1)).
{"title":"On Non-degenerate Berge–Turán Problems","authors":"Dániel Gerbner","doi":"10.1007/s00373-024-02757-w","DOIUrl":"https://doi.org/10.1007/s00373-024-02757-w","url":null,"abstract":"<p>Given a hypergraph <span>({{mathcal {H}}})</span> and a graph <i>G</i>, we say that <span>({{mathcal {H}}})</span> is a <i>Berge</i>-<i>G</i> if there is a bijection between the hyperedges of <span>({{mathcal {H}}})</span> and the edges of <i>G</i> such that each hyperedge contains its image. We denote by <span>(textrm{ex}_k(n,Berge- F))</span> the largest number of hyperedges in a <i>k</i>-uniform Berge-<i>F</i>-free graph. Let <span>(textrm{ex}(n,H,F))</span> denote the largest number of copies of <i>H</i> in <i>n</i>-vertex <i>F</i>-free graphs. It is known that <span>(textrm{ex}(n,K_k,F)le textrm{ex}_k(n,Berge- F)le textrm{ex}(n,K_k,F)+textrm{ex}(n,F))</span>, thus if <span>(chi (F)>r)</span>, then <span>(textrm{ex}_k(n,Berge- F)=(1+o(1)) textrm{ex}(n,K_k,F))</span>. We conjecture that <span>(textrm{ex}_k(n,Berge- F)=textrm{ex}(n,K_k,F))</span> in this case. We prove this conjecture in several instances, including the cases <span>(k=3)</span> and <span>(k=4)</span>. We prove the general bound <span>(textrm{ex}_k(n,Berge- F)= textrm{ex}(n,K_k,F)+O(1))</span>.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140297677","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-03-26DOI: 10.1007/s00373-024-02768-7
Gang Zhang, Baoyindureng Wu
Let G be a graph. A subset (D subseteq V(G)) is a decycling set of G if (G-D) contains no cycle. A subset (D subseteq V(G)) is a cycle isolating set of G if (G-N[D]) contains no cycle. The decycling number and cycle isolation number of G, denoted by (phi (G)) and (iota _c(G)), are the minimum cardinalities of a decycling set and a cycle isolating set of G, respectively. Dross, Montassier and Pinlou (Discrete Appl Math 214:99–107, 2016) conjectured that if G is a planar graph of size m and girth at least g, then (phi (G) le frac{m}{g}). So far, this conjecture remains open. Recently, the authors proposed an analogous conjecture that if G is a connected graph of size m and girth at least g that is different from (C_g), then (iota _c(G) le frac{m+1}{g+2}), and they presented a proof for the initial case (g=3). In this paper, we further prove that for the cases of girth at least 4, 5 and 6, this conjecture is true. The extremal graphs of results above are characterized.
让 G 是一个图。如果 (G-D) 不包含循环,那么子集 (Dsubseteq V(G)) 就是 G 的去循环集。如果 (G-N[D]) 不包含循环,那么子集 (Dsubseteq V(G)) 就是 G 的循环隔离集。G 的去周期数和周期隔离数分别用 (phi (G)) 和 (iota _c(G))表示,它们是 G 的去周期集和周期隔离集的最小心数。Dross、Montassier 和 Pinlou(Discrete Appl Math 214:99-107, 2016)猜想,如果 G 是大小为 m、周长至少为 g 的平面图,那么 (phi (G) le frac{m}{g}).迄今为止,这一猜想仍未解决。最近,作者们提出了一个类似的猜想,即如果 G 是一个大小为 m、周长至少为 g 的连通图,并且不同于 (C_g),那么 (iota _c(G))le frac{m+1}{g+2}(),并且他们提出了对初始情形 (g=3)的证明。本文将进一步证明,对于周长至少为 4、5 和 6 的情况,这一猜想是真的。本文对上述结果的极值图进行了描述。
{"title":"Cycle Isolation of Graphs with Small Girth","authors":"Gang Zhang, Baoyindureng Wu","doi":"10.1007/s00373-024-02768-7","DOIUrl":"https://doi.org/10.1007/s00373-024-02768-7","url":null,"abstract":"<p>Let <i>G</i> be a graph. A subset <span>(D subseteq V(G))</span> is a decycling set of <i>G</i> if <span>(G-D)</span> contains no cycle. A subset <span>(D subseteq V(G))</span> is a cycle isolating set of <i>G</i> if <span>(G-N[D])</span> contains no cycle. The decycling number and cycle isolation number of <i>G</i>, denoted by <span>(phi (G))</span> and <span>(iota _c(G))</span>, are the minimum cardinalities of a decycling set and a cycle isolating set of <i>G</i>, respectively. Dross, Montassier and Pinlou (Discrete Appl Math 214:99–107, 2016) conjectured that if <i>G</i> is a planar graph of size <i>m</i> and girth at least <i>g</i>, then <span>(phi (G) le frac{m}{g})</span>. So far, this conjecture remains open. Recently, the authors proposed an analogous conjecture that if <i>G</i> is a connected graph of size <i>m</i> and girth at least <i>g</i> that is different from <span>(C_g)</span>, then <span>(iota _c(G) le frac{m+1}{g+2})</span>, and they presented a proof for the initial case <span>(g=3)</span>. In this paper, we further prove that for the cases of girth at least 4, 5 and 6, this conjecture is true. The extremal graphs of results above are characterized.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140297813","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-03-23DOI: 10.1007/s00373-024-02774-9
Pál Bärnkopf, Zoltán Lóránt Nagy, Zoltán Paulovics
An internal or friendly partition of a graph is a partition of the vertex set into two nonempty sets so that every vertex has at least as many neighbours in its own class as in the other one. It has been shown that apart from finitely many counterexamples, every 3, 4 or 6-regular graph has an internal partition. In this note we focus on the 5-regular case and show that among the subgraphs of minimum degree at least 3 of 5-regular graphs, there are some which have small intersection. We also discuss the existence of internal partitions in some families of Cayley graphs, notably we determine all 5-regular Abelian Cayley graphs which do not have an internal partition.
{"title":"A Note on Internal Partitions: The 5-Regular Case and Beyond","authors":"Pál Bärnkopf, Zoltán Lóránt Nagy, Zoltán Paulovics","doi":"10.1007/s00373-024-02774-9","DOIUrl":"https://doi.org/10.1007/s00373-024-02774-9","url":null,"abstract":"<p>An internal or friendly partition of a graph is a partition of the vertex set into two nonempty sets so that every vertex has at least as many neighbours in its own class as in the other one. It has been shown that apart from finitely many counterexamples, every 3, 4 or 6-regular graph has an internal partition. In this note we focus on the 5-regular case and show that among the subgraphs of minimum degree at least 3 of 5-regular graphs, there are some which have small intersection. We also discuss the existence of internal partitions in some families of Cayley graphs, notably we determine all 5-regular Abelian Cayley graphs which do not have an internal partition.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140200397","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-03-21DOI: 10.1007/s00373-024-02763-y
Dean Crnković, Andrea Švob
In this paper, we give constructions of self-orthogonal codes from orbit matrices of Deza graphs, normally regular digraphs and Deza digraphs in terms of a definition given by Wang and Feng. These constructions can also be applied to adjacency matrices of the mentioned graphs. Since a lot of constructions of Deza graphs, normally regular digraphs and Deza digraphs in the sense of Wang and Feng have been known, the methods presented in this paper give us a rich source of matrices that span self-orthogonal codes.
{"title":"Self-Orthogonal Codes from Deza Graphs, Normally Regular Digraphs and Deza Digraphs","authors":"Dean Crnković, Andrea Švob","doi":"10.1007/s00373-024-02763-y","DOIUrl":"https://doi.org/10.1007/s00373-024-02763-y","url":null,"abstract":"<p>In this paper, we give constructions of self-orthogonal codes from orbit matrices of Deza graphs, normally regular digraphs and Deza digraphs in terms of a definition given by Wang and Feng. These constructions can also be applied to adjacency matrices of the mentioned graphs. Since a lot of constructions of Deza graphs, normally regular digraphs and Deza digraphs in the sense of Wang and Feng have been known, the methods presented in this paper give us a rich source of matrices that span self-orthogonal codes.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-03-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140200194","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-03-12DOI: 10.1007/s00373-024-02759-8
Amine El Sahili, Maidoun Mortada, Sara Nasser
We give a new elementary proof of El Sahili conjecture El Sahili (Discrete Math 287:151–153, 2004) stating that any n-chromatic digraph D, with (nge 4), contains a path with two blocks of order n.
我们给出了 El Sahili 猜想的一个新的基本证明 El Sahili(《离散数学》287:151-153,2004 年)指出,任何 n 个色度数图 D,在 (nge 4) 的情况下,都包含一条有两个 n 阶块的路径。
{"title":"The Existence of a Path with Two Blocks in Digraphs","authors":"Amine El Sahili, Maidoun Mortada, Sara Nasser","doi":"10.1007/s00373-024-02759-8","DOIUrl":"https://doi.org/10.1007/s00373-024-02759-8","url":null,"abstract":"<p>We give a new elementary proof of El Sahili conjecture El Sahili (Discrete Math 287:151–153, 2004) stating that any <i>n</i>-chromatic digraph <i>D</i>, with <span>(nge 4)</span>, contains a path with two blocks of order <i>n</i>.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-03-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140126444","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-03-08DOI: 10.1007/s00373-024-02754-z
Tung Nguyen, Alex Scott, Paul Seymour
The Gyárfás–Sumner conjecture says that for every tree T and every integer (tge 1), if G is a graph with no clique of size t and with sufficiently large chromatic number, then G contains an induced subgraph isomorphic to T. This remains open, but we prove that under the same hypotheses, G contains a subgraph H isomorphic to T that is “path-induced”; that is, for some distinguished vertex r, every path of H with one end r is an induced path of G.
Gyárfás-Sumner 猜想说,对于每棵树 T 和每个整数 (tge 1),如果 G 是一个没有大小为 t 的簇且色度数足够大的图,那么 G 包含一个与 T 同构的诱导子图。这一点仍未解决,但我们证明,在同样的假设下,G 包含一个与 T 同构的子图 H,它是 "路径诱导 "的;也就是说,对于某个区分顶点 r,H 的每条路径的一个端点 r 都是 G 的一条诱导路径。
{"title":"A Note on the Gyárfás–Sumner Conjecture","authors":"Tung Nguyen, Alex Scott, Paul Seymour","doi":"10.1007/s00373-024-02754-z","DOIUrl":"https://doi.org/10.1007/s00373-024-02754-z","url":null,"abstract":"<p>The Gyárfás–Sumner conjecture says that for every tree <i>T</i> and every integer <span>(tge 1)</span>, if <i>G</i> is a graph with no clique of size <i>t</i> and with sufficiently large chromatic number, then <i>G</i> contains an induced subgraph isomorphic to <i>T</i>. This remains open, but we prove that under the same hypotheses, <i>G</i> contains a subgraph <i>H</i> isomorphic to <i>T</i> that is “path-induced”; that is, for some distinguished vertex <i>r</i>, every path of <i>H</i> with one end <i>r</i> is an induced path of <i>G</i>.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-03-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140072224","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-03-05DOI: 10.1007/s00373-024-02761-0
Wenqian Zhang
In this paper, we study the relationship between spectral radius and maximum average degree of graphs. By using this relationship and the previous technique of Li and Ning in (J Graph Theory 103:486–492, 2023), we prove that, for any given positive number (varepsilon <frac{1}{3}), if n is a sufficiently large integer, then any graph G of order n with (rho (G)>sqrt{leftlfloor frac{n^{2}}{4}rightrfloor }) contains a cycle of length t for all integers (tin [3,(frac{1}{3}-varepsilon )n]), where (rho (G)) is the spectral radius of G. This improves the result of Li and Ning (2023).
本文研究了图的谱半径和最大平均度之间的关系。利用这一关系以及李和宁在《图论》(J Graph Theory 103:486-492, 2023)中的技术,我们证明了对于任何给定的正数 (varepsilon <frac{1}{3}), 如果 n 是一个足够大的整数,那么任何阶数为 n 的图 G 具有 (rho (G)>;sqrt{leftfloor frac{n^{2}}{4}rightrfloor }) 包含一个长度为 t 的循环,对于所有整数 (tin [3,(frac{1}{3}-varepsilon )n]), 其中 (rho (G)) 是 G 的光谱半径。这改进了李和宁(2023)的结果。
{"title":"The Spectral Radius, Maximum Average Degree and Cycles of Consecutive Lengths of Graphs","authors":"Wenqian Zhang","doi":"10.1007/s00373-024-02761-0","DOIUrl":"https://doi.org/10.1007/s00373-024-02761-0","url":null,"abstract":"<p>In this paper, we study the relationship between spectral radius and maximum average degree of graphs. By using this relationship and the previous technique of Li and Ning in (J Graph Theory 103:486–492, 2023), we prove that, for any given positive number <span>(varepsilon <frac{1}{3})</span>, if <i>n</i> is a sufficiently large integer, then any graph <i>G</i> of order <i>n</i> with <span>(rho (G)>sqrt{leftlfloor frac{n^{2}}{4}rightrfloor })</span> contains a cycle of length <i>t</i> for all integers <span>(tin [3,(frac{1}{3}-varepsilon )n])</span>, where <span>(rho (G))</span> is the spectral radius of <i>G</i>. This improves the result of Li and Ning (2023).</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140045305","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-03-04DOI: 10.1007/s00373-024-02760-1
Jeremy Chizewer
A sunflower with r petals is a collection of r sets over a ground set X such that every element in X is in no set, every set, or exactly one set. Erdős and Rado [5] showed that a family of sets of size n contains a sunflower if there are more than (n!(r-1)^n) sets in the family. Alweiss et al. [1] and subsequently, Rao [7] and Bell et al. [2] improved this bound to ((O(r log n))^n). We study the case where the pairwise intersections of the set family are restricted. In particular, we improve the best known bound for set families when the size of the pairwise intersections of any two sets is in a set L. We also present a new bound for the special case when the set L is the nonnegative integers less than or equal to d using the techniques of Alweiss et al. [1].
有 r 个花瓣的向日葵是地面集合 X 上 r 个集合的集合,这样 X 中的每个元素都不在任何集合中,也不在每个集合中,或者正好在一个集合中。Erdős 和 Rado [5] 证明,如果大小为 n 的集合族中有多于 (n!(r-1)^n) 个集合,那么这个集合族就包含一朵向日葵。Alweiss等人[1]以及随后的Rao[7]和Bell等人[2]将这个约束改进为((O(rlog n))^n)。我们研究的是集合族的成对交集受到限制的情况。我们还利用 Alweiss 等人[1]的技术,为集合 L 是小于或等于 d 的非负整数的特殊情况提出了一个新的约束。
{"title":"On Restricted Intersections and the Sunflower Problem","authors":"Jeremy Chizewer","doi":"10.1007/s00373-024-02760-1","DOIUrl":"https://doi.org/10.1007/s00373-024-02760-1","url":null,"abstract":"<p>A sunflower with <i>r</i> petals is a collection of <i>r</i> sets over a ground set <i>X</i> such that every element in <i>X</i> is in no set, every set, or exactly one set. Erdős and Rado [5] showed that a family of sets of size <i>n</i> contains a sunflower if there are more than <span>(n!(r-1)^n)</span> sets in the family. Alweiss et al. [1] and subsequently, Rao [7] and Bell et al. [2] improved this bound to <span>((O(r log n))^n)</span>. We study the case where the pairwise intersections of the set family are restricted. In particular, we improve the best known bound for set families when the size of the pairwise intersections of any two sets is in a set <i>L</i>. We also present a new bound for the special case when the set <i>L</i> is the nonnegative integers less than or equal to <i>d</i> using the techniques of Alweiss et al. [1].</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140025466","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}