Pub Date : 2026-05-01Epub Date: 2026-01-16DOI: 10.1016/j.jctb.2026.01.003
Dániel Garamvölgyi
A graph matroid family is a family of matroids defined on the edge set of each finite graph G in a compatible and isomorphism-invariant way. We say that has the Whitney property if there is a constant c such that every c-connected graph G is uniquely determined by . Similarly, has the Lovász-Yemini property if there is a constant c such that for every c-connected graph G, has maximal rank among graphs on the same number of vertices.
We show that if is unbounded (that is, there is no absolute constant bounding the rank of for every G), then has the Whitney property if and only if it has the Lovász-Yemini property. We also give a complete characterization of these properties in the bounded case. As an application, we show that if some graph matroid families have the Whitney property, then so does their union. Finally, we show that every 1-extendable graph matroid family has the Lovász-Yemini (and thus the Whitney) property. These results unify and extend a number of earlier results about graph reconstruction from an underlying matroid.
{"title":"Rigidity and reconstruction in matroids of highly connected graphs","authors":"Dániel Garamvölgyi","doi":"10.1016/j.jctb.2026.01.003","DOIUrl":"10.1016/j.jctb.2026.01.003","url":null,"abstract":"<div><div>A <em>graph matroid family</em> <span><math><mi>M</mi></math></span> is a family of matroids <span><math><mi>M</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> defined on the edge set of each finite graph <em>G</em> in a compatible and isomorphism-invariant way. We say that <span><math><mi>M</mi></math></span> has the <em>Whitney property</em> if there is a constant <em>c</em> such that every <em>c</em>-connected graph <em>G</em> is uniquely determined by <span><math><mi>M</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span>. Similarly, <span><math><mi>M</mi></math></span> has the <em>Lovász-Yemini property</em> if there is a constant <em>c</em> such that for every <em>c</em>-connected graph <em>G</em>, <span><math><mi>M</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> has maximal rank among graphs on the same number of vertices.</div><div>We show that if <span><math><mi>M</mi></math></span> is unbounded (that is, there is no absolute constant bounding the rank of <span><math><mi>M</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> for every <em>G</em>), then <span><math><mi>M</mi></math></span> has the Whitney property if and only if it has the Lovász-Yemini property. We also give a complete characterization of these properties in the bounded case. As an application, we show that if some graph matroid families have the Whitney property, then so does their union. Finally, we show that every 1-extendable graph matroid family has the Lovász-Yemini (and thus the Whitney) property. These results unify and extend a number of earlier results about graph reconstruction from an underlying matroid.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"178 ","pages":"Pages 211-244"},"PeriodicalIF":1.2,"publicationDate":"2026-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145977792","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 : 2026-05-01Epub Date: 2025-12-10DOI: 10.1016/j.jctb.2025.12.002
Kaizhe Chen , Shiping Liu
In this paper, we derive new sharp diameter bounds for distance regular graphs, which better answer a problem raised by Neumaier and Penjić in many cases. Our proof is built upon a relation between the diameter and long-scale Ollivier Ricci curvature of a graph, which can be considered as an improvement of the discrete Bonnet-Myers theorem. Our method further leads to significant improvements of existing diameter bounds for amply regular graphs and -graphs.
{"title":"Diameter bounds for distance-regular graphs via long-scale Ollivier Ricci curvature","authors":"Kaizhe Chen , Shiping Liu","doi":"10.1016/j.jctb.2025.12.002","DOIUrl":"10.1016/j.jctb.2025.12.002","url":null,"abstract":"<div><div>In this paper, we derive new sharp diameter bounds for distance regular graphs, which better answer a problem raised by Neumaier and Penjić in many cases. Our proof is built upon a relation between the diameter and long-scale Ollivier Ricci curvature of a graph, which can be considered as an improvement of the discrete Bonnet-Myers theorem. Our method further leads to significant improvements of existing diameter bounds for amply regular graphs and <span><math><mo>(</mo><mi>s</mi><mo>,</mo><mi>c</mi><mo>,</mo><mi>a</mi><mo>,</mo><mi>k</mi><mo>)</mo></math></span>-graphs.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"178 ","pages":"Pages 104-117"},"PeriodicalIF":1.2,"publicationDate":"2026-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145732369","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 : 2026-03-20DOI: 10.1016/j.jctb.2026.03.002
Peter Bradshaw, Ilkyoo Choi, Alexandr Kostochka, Jingwei Xu
{"title":"A lower bound on the number of edges in DP-critical graphs","authors":"Peter Bradshaw, Ilkyoo Choi, Alexandr Kostochka, Jingwei Xu","doi":"10.1016/j.jctb.2026.03.002","DOIUrl":"https://doi.org/10.1016/j.jctb.2026.03.002","url":null,"abstract":"","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"1 1","pages":""},"PeriodicalIF":1.4,"publicationDate":"2026-03-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147496049","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 : 2026-03-19DOI: 10.1016/j.jctb.2026.03.001
Carsten Thomassen
{"title":"Chords in longest cycles in 3-connected graphs","authors":"Carsten Thomassen","doi":"10.1016/j.jctb.2026.03.001","DOIUrl":"https://doi.org/10.1016/j.jctb.2026.03.001","url":null,"abstract":"","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"112 1","pages":""},"PeriodicalIF":1.4,"publicationDate":"2026-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147496609","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 : 2026-03-01Epub Date: 2025-11-28DOI: 10.1016/j.jctb.2025.11.005
Daniel Gonçalves
In his PhD Thesis E.R. Scheinerman conjectured that planar graphs are intersection graphs of line segments in the plane. This conjecture was proved with two different approaches by J. Chalopin and the author, and by the author, L. Isenmann, and C. Pennarun. In the case of 3-colorable planar graphs E.R. Scheinerman conjectured that it is possible to restrict the set of slopes used by the segments to only 3 slopes. Here we prove this conjecture by using an approach introduced by S. Felsner to deal with contact representations of planar graphs with homothetic triangles.
{"title":"3-colorable planar graphs have an intersection segment representation using 3 slopes","authors":"Daniel Gonçalves","doi":"10.1016/j.jctb.2025.11.005","DOIUrl":"10.1016/j.jctb.2025.11.005","url":null,"abstract":"<div><div>In his PhD Thesis E.R. Scheinerman conjectured that planar graphs are intersection graphs of line segments in the plane. This conjecture was proved with two different approaches by J. Chalopin and the author, and by the author, L. Isenmann, and C. Pennarun. In the case of 3-colorable planar graphs E.R. Scheinerman conjectured that it is possible to restrict the set of slopes used by the segments to only 3 slopes. Here we prove this conjecture by using an approach introduced by S. Felsner to deal with contact representations of planar graphs with homothetic triangles.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"177 ","pages":"Pages 234-256"},"PeriodicalIF":1.2,"publicationDate":"2026-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145611785","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 : 2026-03-01Epub Date: 2025-12-04DOI: 10.1016/j.jctb.2025.11.009
Łukasz Bożyk , Oscar Defrain , Karolina Okrasa , Michał Pilipczuk
The t-onion star is the digraph obtained from a star with 2t leaves by replacing every edge by a triple of arcs, where in t triples we orient two arcs away from the center, and in the remaining t triples we orient two arcs towards the center. Note that the t-onion star contains, as an immersion, every digraph on t vertices where each vertex has outdegree at most 2 and indegree at most 1, or vice versa.
We investigate the structure in digraphs that exclude a fixed onion star as an immersion. The main discovery is that in such digraphs, for some duality statements true in the undirected setting we can prove their directed analogues. More specifically, we show the next two statements.
•
There is a function satisfying the following: If a digraph D contains a set X of vertices such that for any there are arc-disjoint paths from x to y, then D contains the t-onion star as an immersion.
•
There is a function satisfying the following: If x and y is a pair of vertices in a digraph D such that there are at least arc-disjoint paths from x to y and there are at least arc-disjoint paths from y to x, then either D contains the t-onion star as an immersion, or there is a family of 2k pairwise arc-disjoint paths with k paths from x to y and k paths from y to x.
{"title":"On digraphs without onion star immersions","authors":"Łukasz Bożyk , Oscar Defrain , Karolina Okrasa , Michał Pilipczuk","doi":"10.1016/j.jctb.2025.11.009","DOIUrl":"10.1016/j.jctb.2025.11.009","url":null,"abstract":"<div><div>The <em>t-onion star</em> is the digraph obtained from a star with 2<em>t</em> leaves by replacing every edge by a triple of arcs, where in <em>t</em> triples we orient two arcs away from the center, and in the remaining <em>t</em> triples we orient two arcs towards the center. Note that the <em>t</em>-onion star contains, as an immersion, every digraph on <em>t</em> vertices where each vertex has outdegree at most 2 and indegree at most 1, or vice versa.</div><div>We investigate the structure in digraphs that exclude a fixed onion star as an immersion. The main discovery is that in such digraphs, for some duality statements true in the undirected setting we can prove their directed analogues. More specifically, we show the next two statements.<ul><li><span>•</span><span><div>There is a function <span><math><mi>f</mi><mo>:</mo><mi>N</mi><mo>→</mo><mi>N</mi></math></span> satisfying the following: If a digraph <em>D</em> contains a set <em>X</em> of <span><math><mn>2</mn><mi>t</mi><mo>+</mo><mn>1</mn></math></span> vertices such that for any <span><math><mi>x</mi><mo>,</mo><mi>y</mi><mo>∈</mo><mi>X</mi></math></span> there are <span><math><mi>f</mi><mo>(</mo><mi>t</mi><mo>)</mo></math></span> arc-disjoint paths from <em>x</em> to <em>y</em>, then <em>D</em> contains the <em>t</em>-onion star as an immersion.</div></span></li><li><span>•</span><span><div>There is a function <span><math><mi>g</mi><mo>:</mo><mi>N</mi><mo>×</mo><mi>N</mi><mo>→</mo><mi>N</mi></math></span> satisfying the following: If <em>x</em> and <em>y</em> is a pair of vertices in a digraph <em>D</em> such that there are at least <span><math><mi>g</mi><mo>(</mo><mi>t</mi><mo>,</mo><mi>k</mi><mo>)</mo></math></span> arc-disjoint paths from <em>x</em> to <em>y</em> and there are at least <span><math><mi>g</mi><mo>(</mo><mi>t</mi><mo>,</mo><mi>k</mi><mo>)</mo></math></span> arc-disjoint paths from <em>y</em> to <em>x</em>, then either <em>D</em> contains the <em>t</em>-onion star as an immersion, or there is a family of 2<em>k</em> pairwise arc-disjoint paths with <em>k</em> paths from <em>x</em> to <em>y</em> and <em>k</em> paths from <em>y</em> to <em>x</em>.</div></span></li></ul></div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"177 ","pages":"Pages 257-272"},"PeriodicalIF":1.2,"publicationDate":"2026-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145689360","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 : 2026-03-01Epub Date: 2025-11-11DOI: 10.1016/j.jctb.2025.10.010
Vojtěch Dvořák, Adva Mond, Victor Souza
We study the Maker-Breaker percolation game on , introduced by Day and Falgas-Ravry. In this game, on each of their turns, Maker and Breaker claim respectively m and b unclaimed edges of the square lattice . Breaker wins if the component containing the origin becomes finite when his edges are deleted from . Maker wins if she can indefinitely avoid a win of Breaker. We show that Breaker has a winning strategy for the game whenever , breaking the ratio 2 barrier proved by Day and Falgas-Ravry.
Addressing further questions of Day and Falgas-Ravry, we show that Breaker can win the game even if he allows Maker to claim c edges before the game starts, for any integer c, and that he can moreover win rather quickly as a function of c.
We also consider the game played on the so-called polluted board, obtained after performing Bernoulli bond percolation on with parameter p. We show that for the game on the polluted board, Breaker almost surely has a winning strategy whenever .
{"title":"The Maker-Breaker percolation game on the square lattice","authors":"Vojtěch Dvořák, Adva Mond, Victor Souza","doi":"10.1016/j.jctb.2025.10.010","DOIUrl":"10.1016/j.jctb.2025.10.010","url":null,"abstract":"<div><div>We study the <span><math><mo>(</mo><mi>m</mi><mo>,</mo><mi>b</mi><mo>)</mo></math></span> Maker-Breaker percolation game on <span><math><msup><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span>, introduced by Day and Falgas-Ravry. In this game, on each of their turns, Maker and Breaker claim respectively <em>m</em> and <em>b</em> unclaimed edges of the square lattice <span><math><msup><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span>. Breaker wins if the component containing the origin becomes finite when his edges are deleted from <span><math><msup><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span>. Maker wins if she can indefinitely avoid a win of Breaker. We show that Breaker has a winning strategy for the <span><math><mo>(</mo><mi>m</mi><mo>,</mo><mi>b</mi><mo>)</mo></math></span> game whenever <span><math><mi>b</mi><mo>⩾</mo><mo>(</mo><mn>2</mn><mo>−</mo><mn>1</mn><mo>/</mo><mn>14</mn><mo>+</mo><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo><mo>)</mo><mi>m</mi></math></span>, breaking the ratio 2 barrier proved by Day and Falgas-Ravry.</div><div>Addressing further questions of Day and Falgas-Ravry, we show that Breaker can win the <span><math><mo>(</mo><mi>m</mi><mo>,</mo><mn>2</mn><mi>m</mi><mo>)</mo></math></span> game even if he allows Maker to claim <em>c</em> edges before the game starts, for any integer <em>c</em>, and that he can moreover win rather quickly as a function of <em>c</em>.</div><div>We also consider the game played on the so-called polluted board, obtained after performing Bernoulli bond percolation on <span><math><msup><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span> with parameter <em>p</em>. We show that for the <span><math><mo>(</mo><mn>1</mn><mo>,</mo><mn>1</mn><mo>)</mo></math></span> game on the polluted board, Breaker almost surely has a winning strategy whenever <span><math><mi>p</mi><mo>⩽</mo><mn>0.6298</mn></math></span>.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"177 ","pages":"Pages 31-66"},"PeriodicalIF":1.2,"publicationDate":"2026-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145499108","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 : 2026-03-01Epub Date: 2025-11-20DOI: 10.1016/j.jctb.2025.11.003
Eero Räty , István Tomon
A celebrated result of Alon from 1993 states that any d-regular graph on n vertices (where ) has a bisection with at most edges, and this is optimal. Recently, this result was greatly extended by Räty, Sudakov, and Tomon. We build on the ideas of the latter, and use a semidefinite programming inspired approach to prove the following variant for hypergraphs: every r-uniform d-regular hypergraph on n vertices (where ) has a bisection of size at most for some . This bound is the best possible up to the precise value of c. Moreover, a bisection achieving this bound can be found by a polynomial-time randomized algorithm.
The minimum bisection is closely related to discrepancy. We also prove sharp bounds on the discrepancy and so called positive discrepancy of hypergraphs, extending results of Bollobás and Scott. Furthermore, we discuss implications about Alon-Boppana type bounds. We show that if H is an r-uniform d-regular hypergraph, then certain notions of second largest eigenvalue associated with the adjacency tensor satisfy , improving results of Li and Mohar.
{"title":"Bisection width, discrepancy, and eigenvalues of hypergraphs","authors":"Eero Räty , István Tomon","doi":"10.1016/j.jctb.2025.11.003","DOIUrl":"10.1016/j.jctb.2025.11.003","url":null,"abstract":"<div><div>A celebrated result of Alon from 1993 states that any <em>d</em>-regular graph on <em>n</em> vertices (where <span><math><mi>d</mi><mo>=</mo><mi>O</mi><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>1</mn><mo>/</mo><mn>9</mn></mrow></msup><mo>)</mo></math></span>) has a bisection with at most <span><math><mfrac><mrow><mi>d</mi><mi>n</mi></mrow><mrow><mn>2</mn></mrow></mfrac><mo>(</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mn>2</mn></mrow></mfrac><mo>−</mo><mi>Ω</mi><mo>(</mo><mfrac><mrow><mn>1</mn></mrow><mrow><msqrt><mrow><mi>d</mi></mrow></msqrt></mrow></mfrac><mo>)</mo><mo>)</mo></math></span> edges, and this is optimal. Recently, this result was greatly extended by Räty, Sudakov, and Tomon. We build on the ideas of the latter, and use a semidefinite programming inspired approach to prove the following variant for hypergraphs: every <em>r</em>-uniform <em>d</em>-regular hypergraph on <em>n</em> vertices (where <span><math><mi>d</mi><mo>≪</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>1</mn><mo>/</mo><mn>2</mn></mrow></msup></math></span>) has a bisection of size at most<span><span><span><math><mfrac><mrow><mi>d</mi><mi>n</mi></mrow><mrow><mi>r</mi></mrow></mfrac><mrow><mo>(</mo><mn>1</mn><mo>−</mo><mfrac><mrow><mn>1</mn></mrow><mrow><msup><mrow><mn>2</mn></mrow><mrow><mi>r</mi><mo>−</mo><mn>1</mn></mrow></msup></mrow></mfrac><mo>−</mo><mfrac><mrow><mi>c</mi></mrow><mrow><msqrt><mrow><mi>d</mi></mrow></msqrt></mrow></mfrac><mo>)</mo></mrow><mo>,</mo></math></span></span></span> for some <span><math><mi>c</mi><mo>=</mo><mi>c</mi><mo>(</mo><mi>r</mi><mo>)</mo><mo>></mo><mn>0</mn></math></span>. This bound is the best possible up to the precise value of <em>c</em>. Moreover, a bisection achieving this bound can be found by a polynomial-time randomized algorithm.</div><div>The minimum bisection is closely related to discrepancy. We also prove sharp bounds on the discrepancy and so called positive discrepancy of hypergraphs, extending results of Bollobás and Scott. Furthermore, we discuss implications about Alon-Boppana type bounds. We show that if <em>H</em> is an <em>r</em>-uniform <em>d</em>-regular hypergraph, then certain notions of second largest eigenvalue <span><math><msub><mrow><mi>λ</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> associated with the adjacency tensor satisfy <span><math><msub><mrow><mi>λ</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>≥</mo><msub><mrow><mi>Ω</mi></mrow><mrow><mi>r</mi></mrow></msub><mo>(</mo><msqrt><mrow><mi>d</mi></mrow></msqrt><mo>)</mo></math></span>, improving results of Li and Mohar.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"177 ","pages":"Pages 186-215"},"PeriodicalIF":1.2,"publicationDate":"2026-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145559890","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}
<div><div>We say that a subset <span><math><mi>M</mi></math></span> of <span><math><msup><mrow><mi>R</mi></mrow><mrow><mi>n</mi></mrow></msup></math></span> is <em>exponentially Ramsey</em> if there exists <span><math><mi>ε</mi><mo>></mo><mn>0</mn></math></span> and <span><math><msub><mrow><mi>n</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span> such that <span><math><mi>χ</mi><mo>(</mo><msup><mrow><mi>R</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>,</mo><mi>M</mi><mo>)</mo><mo>≥</mo><msup><mrow><mo>(</mo><mn>1</mn><mo>+</mo><mi>ε</mi><mo>)</mo></mrow><mrow><mi>n</mi></mrow></msup></math></span> for any <span><math><mi>n</mi><mo>></mo><msub><mrow><mi>n</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span>, where <span><math><mi>χ</mi><mo>(</mo><msup><mrow><mi>R</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>,</mo><mi>M</mi><mo>)</mo></math></span> stands for the minimum number of colors in a coloring of <span><math><msup><mrow><mi>R</mi></mrow><mrow><mi>n</mi></mrow></msup></math></span> such that no copy of <span><math><mi>M</mi></math></span> is monochromatic. One important result in Euclidean Ramsey theory is due to Frankl and Rödl, and states the following (under some mild extra conditions): if both <span><math><msub><mrow><mi>N</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> and <span><math><msub><mrow><mi>N</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> are exponentially Ramsey then so is their Cartesian product. Applied several times to simple two-point sets <span><math><msub><mrow><mi>N</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span>, this result implies that any subset <span><math><mi>M</mi></math></span> of a ‘hyperrectangle’ <span><math><msub><mrow><mi>N</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>×</mo><mo>⋯</mo><mo>×</mo><msub><mrow><mi>N</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span> is exponentially Ramsey.</div><div>However, generally, such ‘embeddings’ of <span><math><mi>M</mi></math></span> result in very inefficient bounds on the aforementioned <em>ε</em>. In this paper, we present another way of combining exponentially Ramsey sets, which gives much better estimates in some important cases. In particular, we show that the chromatic number of <span><math><msup><mrow><mi>R</mi></mrow><mrow><mi>n</mi></mrow></msup></math></span> with a forbidden equilateral triangle satisfies <span><math><mi>χ</mi><mo>(</mo><msup><mrow><mi>R</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>,</mo><mo>△</mo><mo>)</mo><mo>≥</mo><msup><mrow><mo>(</mo><mn>1.0742</mn><mo>.</mo><mo>.</mo><mo>.</mo><mo>+</mo><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo><mo>)</mo></mrow><mrow><mi>n</mi></mrow></msup></math></span>, greatly improving upon the previous constant 1.0144. We also obtain similar strong results for regular simplices of larger dimensions, as well as for related geometric Ramsey-type questions in Manhattan norm.</div><div>We then show that the same technique implies several interesting corollaries in other combi
{"title":"Cutting corners","authors":"Andrey Kupavskii , Arsenii Sagdeev , Dmitrii Zakharov","doi":"10.1016/j.jctb.2025.11.008","DOIUrl":"10.1016/j.jctb.2025.11.008","url":null,"abstract":"<div><div>We say that a subset <span><math><mi>M</mi></math></span> of <span><math><msup><mrow><mi>R</mi></mrow><mrow><mi>n</mi></mrow></msup></math></span> is <em>exponentially Ramsey</em> if there exists <span><math><mi>ε</mi><mo>></mo><mn>0</mn></math></span> and <span><math><msub><mrow><mi>n</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span> such that <span><math><mi>χ</mi><mo>(</mo><msup><mrow><mi>R</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>,</mo><mi>M</mi><mo>)</mo><mo>≥</mo><msup><mrow><mo>(</mo><mn>1</mn><mo>+</mo><mi>ε</mi><mo>)</mo></mrow><mrow><mi>n</mi></mrow></msup></math></span> for any <span><math><mi>n</mi><mo>></mo><msub><mrow><mi>n</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span>, where <span><math><mi>χ</mi><mo>(</mo><msup><mrow><mi>R</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>,</mo><mi>M</mi><mo>)</mo></math></span> stands for the minimum number of colors in a coloring of <span><math><msup><mrow><mi>R</mi></mrow><mrow><mi>n</mi></mrow></msup></math></span> such that no copy of <span><math><mi>M</mi></math></span> is monochromatic. One important result in Euclidean Ramsey theory is due to Frankl and Rödl, and states the following (under some mild extra conditions): if both <span><math><msub><mrow><mi>N</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> and <span><math><msub><mrow><mi>N</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> are exponentially Ramsey then so is their Cartesian product. Applied several times to simple two-point sets <span><math><msub><mrow><mi>N</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span>, this result implies that any subset <span><math><mi>M</mi></math></span> of a ‘hyperrectangle’ <span><math><msub><mrow><mi>N</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>×</mo><mo>⋯</mo><mo>×</mo><msub><mrow><mi>N</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span> is exponentially Ramsey.</div><div>However, generally, such ‘embeddings’ of <span><math><mi>M</mi></math></span> result in very inefficient bounds on the aforementioned <em>ε</em>. In this paper, we present another way of combining exponentially Ramsey sets, which gives much better estimates in some important cases. In particular, we show that the chromatic number of <span><math><msup><mrow><mi>R</mi></mrow><mrow><mi>n</mi></mrow></msup></math></span> with a forbidden equilateral triangle satisfies <span><math><mi>χ</mi><mo>(</mo><msup><mrow><mi>R</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>,</mo><mo>△</mo><mo>)</mo><mo>≥</mo><msup><mrow><mo>(</mo><mn>1.0742</mn><mo>.</mo><mo>.</mo><mo>.</mo><mo>+</mo><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo><mo>)</mo></mrow><mrow><mi>n</mi></mrow></msup></math></span>, greatly improving upon the previous constant 1.0144. We also obtain similar strong results for regular simplices of larger dimensions, as well as for related geometric Ramsey-type questions in Manhattan norm.</div><div>We then show that the same technique implies several interesting corollaries in other combi","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"177 ","pages":"Pages 273-292"},"PeriodicalIF":1.2,"publicationDate":"2026-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145690151","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 : 2026-03-01Epub Date: 2025-11-24DOI: 10.1016/j.jctb.2025.11.004
Andrey Kupavskii
The covering number of a family is the size of the smallest set that intersects all sets from the family. In 1978 Frankl determined for the largest intersecting family of k-element subsets of with covering number 3. In this paper, we essentially settle this problem, showing that the same family is extremal for any and .
{"title":"Intersecting families with covering number 3","authors":"Andrey Kupavskii","doi":"10.1016/j.jctb.2025.11.004","DOIUrl":"10.1016/j.jctb.2025.11.004","url":null,"abstract":"<div><div>The covering number of a family is the size of the smallest set that intersects all sets from the family. In 1978 Frankl determined for <span><math><mi>n</mi><mo>≥</mo><msub><mrow><mi>n</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>(</mo><mi>k</mi><mo>)</mo></math></span> the largest intersecting family of <em>k</em>-element subsets of <span><math><mo>[</mo><mi>n</mi><mo>]</mo></math></span> with covering number 3. In this paper, we essentially settle this problem, showing that the same family is extremal for any <span><math><mi>k</mi><mo>≥</mo><mn>100</mn></math></span> and <span><math><mi>n</mi><mo>></mo><mn>2</mn><mi>k</mi></math></span>.</div></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"177 ","pages":"Pages 216-233"},"PeriodicalIF":1.2,"publicationDate":"2026-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145583813","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}