CombinatoricaPub Date : 2026-05-05DOI: 10.1007/s00493-026-00211-4
Archontia C. Giannopoulou, Sebastian Wiederrecht
{"title":"Two Disjoint Alternating Paths in Bipartite Graphs: Conformal Crosses","authors":"Archontia C. Giannopoulou, Sebastian Wiederrecht","doi":"10.1007/s00493-026-00211-4","DOIUrl":"https://doi.org/10.1007/s00493-026-00211-4","url":null,"abstract":"A bipartite graph <italic>B</italic> is called a brace if it is connected and every matching of size at most two in <italic>B</italic> is contained in some perfect matching of <italic>B</italic>. A conformal cross over some cycle <italic>C</italic> is a pair of disjoint paths <inline-formula><alternatives><mml:math><mml:msub><mml:mi>P</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:math><tex-math>documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} begin{document}$$P_1$$end{document}</tex-math></alternatives></inline-formula>, <inline-formula><alternatives><mml:math><mml:msub><mml:mi>P</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:math><tex-math>documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} begin{document}$$P_2$$end{document}</tex-math></alternatives></inline-formula> which are internally disjoint from <italic>C</italic>, the endpoints of each path separate the endpoints of the other path on <italic>C</italic>, and both <inline-formula><alternatives><mml:math><mml:mrow><mml:mi>C</mml:mi><mml:mo>∪</mml:mo><mml:msub><mml:mi>P</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo>∪</mml:mo><mml:msub><mml:mi>P</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:mrow></mml:math><tex-math>documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} begin{document}$$Ccup P_1cup P_2$$end{document}</tex-math></alternatives></inline-formula> and <inline-formula><alternatives><mml:math><mml:mrow><mml:mi>B</mml:mi><mml:mo>-</mml:mo><mml:mo stretchy=\"false\">(</mml:mo><mml:mi>V</mml:mi><mml:mrow><mml:mo stretchy=\"false\">(</mml:mo><mml:mi>C</mml:mi><mml:mo stretchy=\"false\">)</mml:mo></mml:mrow><mml:mo>∪</mml:mo><mml:mi>V</mml:mi><mml:mrow><mml:mo stretchy=\"false\">(</mml:mo><mml:msub><mml:mi>P</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo stretchy=\"false\">)</mml:mo></mml:mrow><mml:mo>∪</mml:mo><mml:mi>V</mml:mi><mml:mrow><mml:mo stretchy=\"false\">(</mml:mo><mml:msub><mml:mi>P</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo stretchy=\"false\">)</mml:mo></mml:mrow><mml:mo stretchy=\"false\">)</mml:mo></mml:mrow></mml:math><tex-math>documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} begin{document}$$B-(V(C)cup V(P_1)cup V(P_2))$$end{document}</tex-math></alternatives></inline-formula> have a perfect matching. We show that if <italic>C</italic> is a 4-cycle in a brace <italic>B</italic>, then <italic>C</italic> has a a conformal cross if and only if <italic>B</italic> contains <inline-formula><alternatives><mml:mat","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"57 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2026-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"148288246","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
CombinatoricaPub Date : 2026-04-27DOI: 10.1007/s00493-026-00209-y
Mingze Li, Jie Ma, Mingyuan Rong
{"title":"Exact Results on Traces of Sets","authors":"Mingze Li, Jie Ma, Mingyuan Rong","doi":"10.1007/s00493-026-00209-y","DOIUrl":"https://doi.org/10.1007/s00493-026-00209-y","url":null,"abstract":"","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"6 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2026-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147751496","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
CombinatoricaPub Date : 2026-04-27DOI: 10.1007/s00493-026-00213-2
Ivailo Hartarsky, Lyuben Lichev
{"title":"Explosive appearance of cores and bootstrap percolation on lattices","authors":"Ivailo Hartarsky, Lyuben Lichev","doi":"10.1007/s00493-026-00213-2","DOIUrl":"https://doi.org/10.1007/s00493-026-00213-2","url":null,"abstract":"Consider the process where the <jats:italic>n</jats:italic> vertices of a square 2-dimensional torus appear consecutively in a random order. We show that typically the size of the 3-core of the corresponding induced unit-distance graph transitions from 0 to <jats:inline-formula> <jats:alternatives> <jats:tex-math>$$n-o(n)$$</jats:tex-math> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>-</mml:mo> <mml:mi>o</mml:mi> <mml:mo>(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> </jats:alternatives> </jats:inline-formula> within a single step. Equivalently, by infecting the vertices of the torus in a random order, under two-neighbour bootstrap percolation, the size of the infected set transitions instantaneously from <jats:italic>o</jats:italic> ( <jats:italic>n</jats:italic> ) to <jats:italic>n</jats:italic> . This hitting time result answers a question of Benjamini. We also study the much more challenging and general setting of bootstrap percolation on two-dimensional lattices for a variety of finite-range infection rules. In this case, powerful but fragile bootstrap percolation tools such as the rectangles process and the Aizenman–Lebowitz lemma become unavailable. We develop a new method complementing and replacing these standard techniques, thus allowing us to prove the above hitting time result for a wide family of threshold bootstrap percolation rules on the 2-dimensional square lattice, including neighbourhoods given by large <jats:inline-formula> <jats:alternatives> <jats:tex-math>$$ell ^p$$</jats:tex-math> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:msup> <mml:mi>ℓ</mml:mi> <mml:mi>p</mml:mi> </mml:msup> </mml:math> </jats:alternatives> </jats:inline-formula> balls for <jats:inline-formula> <jats:alternatives> <jats:tex-math>$$pin [1,infty ]$$</jats:tex-math> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mrow> <mml:mi>p</mml:mi> <mml:mo>∈</mml:mo> <mml:mo>[</mml:mo> <mml:mn>1</mml:mn> <mml:mo>,</mml:mo> <mml:mi>∞</mml:mi> <mml:mo>]</mml:mo> </mml:mrow> </mml:math> </jats:alternatives> </jats:inline-formula> .","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"151 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2026-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147751500","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
CombinatoricaPub Date : 2026-03-12DOI: 10.1007/s00493-026-00202-5
Anurag Bishnoi, István Tomon
{"title":"Explicit Constructions of Optimal Blocking Sets and Minimal Codes","authors":"Anurag Bishnoi, István Tomon","doi":"10.1007/s00493-026-00202-5","DOIUrl":"https://doi.org/10.1007/s00493-026-00202-5","url":null,"abstract":"A strong <jats:italic>s</jats:italic> -blocking set in a projective space is a set of points that intersects each codimension- <jats:italic>s</jats:italic> subspace in a spanning set of the subspace. We present an explicit construction of such sets in a <jats:inline-formula> <jats:alternatives> <jats:tex-math>$$(k - 1)$$</jats:tex-math> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>k</mml:mi> <mml:mo>-</mml:mo> <mml:mn>1</mml:mn> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> </jats:alternatives> </jats:inline-formula> -dimensional projective space over <jats:inline-formula> <jats:alternatives> <jats:tex-math>$$mathbb {F}_q$$</jats:tex-math> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:msub> <mml:mi>F</mml:mi> <mml:mi>q</mml:mi> </mml:msub> </mml:math> </jats:alternatives> </jats:inline-formula> of size <jats:inline-formula> <jats:alternatives> <jats:tex-math>$$O_s(q^s k)$$</jats:tex-math> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mrow> <mml:msub> <mml:mi>O</mml:mi> <mml:mi>s</mml:mi> </mml:msub> <mml:mrow> <mml:mo>(</mml:mo> <mml:msup> <mml:mi>q</mml:mi> <mml:mi>s</mml:mi> </mml:msup> <mml:mi>k</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> </jats:alternatives> </jats:inline-formula> , which is optimal up to the constant factor depending on <jats:italic>s</jats:italic> . This also yields an optimal explicit construction of affine blocking sets in <jats:inline-formula> <jats:alternatives> <jats:tex-math>$$mathbb {F}_q^k$$</jats:tex-math> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:msubsup> <mml:mi>F</mml:mi> <mml:mi>q</mml:mi> <mml:mi>k</mml:mi> </mml:msubsup> </mml:math> </jats:alternatives> </jats:inline-formula> with respect to codimension- <jats:inline-formula> <jats:alternatives> <jats:tex-math>$$(s+1)$$</jats:tex-math> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>s</mml:mi> <mml:mo>+</mml:mo> <mml:mn>1</mml:mn> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> </jats:alternatives> </jats:inline-formula> affine subspaces, and of <jats:italic>s</jats:italic> -minimal codes. Our approach is motivated by a recent construction of Alon, Bishnoi, Das, and Neri of strong 1-blocking sets, which uses expander graphs with a carefully chosen set of vectors as their vertex set. The main novelty of our work lies in constructing specific hypergraphs on top of these expander graphs, where tree-like configurations correspond to strong <jats:italic>s</jats:italic> -blocking sets. We also discuss some connections to size-Ramsey numbers of hypergraphs, which might be of independent interest.","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"266 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2026-03-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147461906","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
CombinatoricaPub Date : 2026-03-04DOI: 10.1007/s00493-026-00205-2
Francesco Di Braccio, Kyriakos Katsamaktsis, Jie Ma, Alexandru Malekshahian, Ziyuan Zhao
{"title":"Leaf-to-leaf paths and cycles in degree-critical graphs","authors":"Francesco Di Braccio, Kyriakos Katsamaktsis, Jie Ma, Alexandru Malekshahian, Ziyuan Zhao","doi":"10.1007/s00493-026-00205-2","DOIUrl":"https://doi.org/10.1007/s00493-026-00205-2","url":null,"abstract":"An <jats:italic>n</jats:italic> -vertex graph is <jats:italic>degree 3-critical</jats:italic> if it has <jats:inline-formula> <jats:alternatives> <jats:tex-math>$$2n - 2$$</jats:tex-math> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mrow> <mml:mn>2</mml:mn> <mml:mi>n</mml:mi> <mml:mo>-</mml:mo> <mml:mn>2</mml:mn> </mml:mrow> </mml:math> </jats:alternatives> </jats:inline-formula> edges and no proper induced subgraph with minimum degree at least 3. In 1988, Erdős, Faudree, Gyárfás, and Schelp asked whether one can always find cycles of all short lengths in these graphs, which was disproven by Narins, Pokrovskiy, and Szabó through a construction based on leaf-to-leaf paths in trees whose vertices have degree either 1 or 3. They went on to suggest several weaker conjectures about cycle lengths in degree 3-critical graphs and leaf-to-leaf path lengths in these so-called 1-3 trees. We resolve three of their questions either fully or up to a constant factor. Our main results are the following: <jats:list list-type=\"bullet\"> <jats:list-item> every <jats:italic>n</jats:italic> -vertex degree 3-critical graph has <jats:inline-formula> <jats:alternatives> <jats:tex-math>$$Omega (log n)$$</jats:tex-math> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mrow> <mml:mi>Ω</mml:mi> <mml:mo>(</mml:mo> <mml:mo>log</mml:mo> <mml:mi>n</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> </jats:alternatives> </jats:inline-formula> distinct cycle lengths; </jats:list-item> <jats:list-item> every tree with maximum degree <jats:inline-formula> <jats:alternatives> <jats:tex-math>$$Delta ge 3$$</jats:tex-math> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mrow> <mml:mi>Δ</mml:mi> <mml:mo>≥</mml:mo> <mml:mn>3</mml:mn> </mml:mrow> </mml:math> </jats:alternatives> </jats:inline-formula> and <jats:inline-formula> <jats:alternatives> <jats:tex-math>$$ell $$</jats:tex-math> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mi>ℓ</mml:mi> </mml:math> </jats:alternatives> </jats:inline-formula> leaves has at least <jats:inline-formula> <jats:alternatives> <jats:tex-math>$$log _{Delta -1}, ((Delta -2)ell )$$</jats:tex-math> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mrow> <mml:msub> <mml:mo>log</mml:mo> <mml:mrow> <mml:mi>Δ</mml:mi> <mml:mo>-</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> <mml:mspace/> <mml:mrow> <mml:mo>(</mml:mo> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>Δ</mml:mi> <mml:mo>-</mml:mo> <mml:mn>2</mml:mn> <mml:mo>)</mml:mo> </mml:mrow> <mml:mi>ℓ</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> </jats:alternatives> </jats:inline-formula> distinct leaf-to-leaf path lengths; </jats:list-item> <jats:list-item> for every integer <jats:inline-formula> <jats:alternatives> <jats:tex-math>$$Nge 1$$</jats:tex-math> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mrow> <mml:mi>N</mml:mi> <mml:mo>≥</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:math> </jats:alternative","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"55 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2026-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147359909","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
CombinatoricaPub Date : 2026-03-04DOI: 10.1007/s00493-026-00207-0
Hidde Koerts, Benjamin Moore, Sophie Spirkl
{"title":"Orientations of Cycles in Digraphs of High Chromatic Number and High Minimum Out-Degree","authors":"Hidde Koerts, Benjamin Moore, Sophie Spirkl","doi":"10.1007/s00493-026-00207-0","DOIUrl":"https://doi.org/10.1007/s00493-026-00207-0","url":null,"abstract":"","PeriodicalId":50666,"journal":{"name":"Combinatorica","volume":"102 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2026-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147359910","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}