Ferdinand Ihringer, Paulien Jansen, Linde Lambrecht, Yannick Neyt, Daan Rijpert, Hendrik Van Maldeghem, Magali Victoor
Given a finite Lie incidence geometry, which is either a polar space of rank at least 3 or a strong parapolar space of symplectic rank at least 4 and diameter at most 4, or the parapolar space arising from the line Grassmannian of a projective space of dimension at least 4, we show that its point graph is determined by its local structure. This follows from a more general result, which classifies graphs whose local structure can vary over all local structures of the point graphs of the aforementioned geometries. In particular, this characterises the strongly regular graphs arising from the line Grassmannian of a finite projective space, from the half spin geometry related to the quadric and from the exceptional group of type by their local structure.
{"title":"Local Recognition of the Point Graphs of Some Lie Incidence Geometries","authors":"Ferdinand Ihringer, Paulien Jansen, Linde Lambrecht, Yannick Neyt, Daan Rijpert, Hendrik Van Maldeghem, Magali Victoor","doi":"10.1002/jgt.23243","DOIUrl":"https://doi.org/10.1002/jgt.23243","url":null,"abstract":"<div>\u0000 \u0000 <p>Given a finite Lie incidence geometry, which is either a polar space of rank at least 3 or a strong parapolar space of symplectic rank at least 4 and diameter at most 4, or the parapolar space arising from the line Grassmannian of a projective space of dimension at least 4, we show that its point graph is determined by its local structure. This follows from a more general result, which classifies graphs whose local structure can vary over all local structures of the point graphs of the aforementioned geometries. In particular, this characterises the strongly regular graphs arising from the line Grassmannian of a finite projective space, from the half spin geometry related to the quadric <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <msup>\u0000 <mi>Q</mi>\u0000 \u0000 <mo>+</mo>\u0000 </msup>\u0000 \u0000 <mrow>\u0000 <mo>(</mo>\u0000 \u0000 <mrow>\u0000 <mn>10</mn>\u0000 \u0000 <mo>,</mo>\u0000 \u0000 <mi>q</mi>\u0000 </mrow>\u0000 \u0000 <mo>)</mo>\u0000 </mrow>\u0000 </mrow>\u0000 </mrow>\u0000 </semantics></math> and from the exceptional group of type <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <msub>\u0000 <mi>E</mi>\u0000 \u0000 <mn>6</mn>\u0000 </msub>\u0000 \u0000 <mrow>\u0000 <mo>(</mo>\u0000 \u0000 <mi>q</mi>\u0000 \u0000 <mo>)</mo>\u0000 </mrow>\u0000 </mrow>\u0000 </mrow>\u0000 </semantics></math> by their local structure.</p>\u0000 </div>","PeriodicalId":16014,"journal":{"name":"Journal of Graph Theory","volume":"109 4","pages":"518-524"},"PeriodicalIF":0.9,"publicationDate":"2025-04-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144255823","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Let be a family of -uniform hypergraphs (henceforth -graphs). An -saturated -graph is a maximal -graph not containing any member of as a subgraph. For integers , let be the collection of all
<div> <p>Let <span></span><math> <semantics> <mrow> <mrow> <mi>G</mi> </mrow> </mrow> </semantics></math> be a graph of order <span></span><math> <semantics> <mrow> <mrow> <mi>n</mi> </mrow> </mrow> </semantics></math>. For an integer <span></span><math> <semantics> <mrow> <mrow> <mi>k</mi> <mo>≥</mo> <mn>2</mn> </mrow> </mrow> </semantics></math>, a partition <span></span><math> <semantics> <mrow> <mrow> <mi>P</mi> </mrow> </mrow> </semantics></math> of <span></span><math> <semantics> <mrow> <mrow> <mi>V</mi> <mrow> <mo>(</mo> <mi>G</mi> <mo>)</mo> </mrow> </mrow> </mrow> </semantics></math> is called a <span></span><math> <semantics> <mrow> <mrow> <mi>k</mi> </mrow> </mrow> </semantics></math>-proper partition of <span></span><math> <semantics> <mrow> <mrow> <mi>G</mi> </mrow> </mrow> </semantics></math> if every <span></span><math> <semantics> <mrow> <mrow> <mi>P</mi> <mo>∈</mo> <mi>P</mi> </mrow> </mrow> </semantics></math> induces a <span></span><math> <semantics> <mrow> <mrow> <mi>k</mi> </mrow> </mrow> </semantics></math>-connected subgraph of <span></span><math> <semantics> <mrow> <mrow> <mi>G</mi> </mrow> </mrow> </semantics></math>. This concept was introduced by Ferrara et al., and Borozan et al. gave minimum degree conditions for the existence of a <span></span><math> <semantics
Endre Boros, Vladimir Gurvich, Martin Milanič, Yushi Uno
Given a hypergraph , the dual hypergraph of is the hypergraph of all minimal transversals of . The dual hypergraph is always Sperner, that is, no hyperedge contains another. A special case of Sperner hypergraphs are the conformal Sperner hypergraphs, which correspond to the families of maximal cliques of graphs. All these notions play an important role in many fields of mathematics and computer science, including combinatorics, algebra, database theory, and so on. Motivated by a question related to clique transversals in graphs, we study in this paper conformality of dual hypergraphs and prove several results related to the problem of recognizing this property. In particular, we show that the problem is in co-NP and that it can be solved in polynomial time for hypergraphs of bounded dimension. For dimension 3, we show that the problem can be reduced to 2-Satisfiability. Our approach has an application in algorithmic graph theory: we obtain a polynomial-time algorithm for recognizing graphs in which all minimal transversals of maximal cliques have size at most , for any fixed .
{"title":"Conformal Hypergraphs: Duality and Implications for the Upper Clique Transversal Problem","authors":"Endre Boros, Vladimir Gurvich, Martin Milanič, Yushi Uno","doi":"10.1002/jgt.23238","DOIUrl":"https://doi.org/10.1002/jgt.23238","url":null,"abstract":"<p>Given a hypergraph <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>ℋ</mi>\u0000 </mrow>\u0000 </mrow>\u0000 </semantics></math>, the dual hypergraph of <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>ℋ</mi>\u0000 </mrow>\u0000 </mrow>\u0000 </semantics></math> is the hypergraph of all minimal transversals of <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>ℋ</mi>\u0000 </mrow>\u0000 </mrow>\u0000 </semantics></math>. The dual hypergraph is always Sperner, that is, no hyperedge contains another. A special case of Sperner hypergraphs are the conformal Sperner hypergraphs, which correspond to the families of maximal cliques of graphs. All these notions play an important role in many fields of mathematics and computer science, including combinatorics, algebra, database theory, and so on. Motivated by a question related to clique transversals in graphs, we study in this paper conformality of dual hypergraphs and prove several results related to the problem of recognizing this property. In particular, we show that the problem is in \u0000<span>co-NP</span> and that it can be solved in polynomial time for hypergraphs of bounded dimension. For dimension 3, we show that the problem can be reduced to <span>2-Satisfiability.</span> Our approach has an application in algorithmic graph theory: we obtain a polynomial-time algorithm for recognizing graphs in which all minimal transversals of maximal cliques have size at most <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>k</mi>\u0000 </mrow>\u0000 </mrow>\u0000 </semantics></math>, for any fixed <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>k</mi>\u0000 </mrow>\u0000 </mrow>\u0000 </semantics></math>.</p>","PeriodicalId":16014,"journal":{"name":"Journal of Graph Theory","volume":"109 4","pages":"466-480"},"PeriodicalIF":0.9,"publicationDate":"2025-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/jgt.23238","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144256575","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The total face color polynomial is based upon the Poincaré polynomials of a family of filtered -color homologies. It counts the number of -face colorings of ribbon graphs for each positive integer . As such, it may be seen as a successor of the Penrose polynomial, which at counts 3-edge colorings (and consequently 4-face colorings) of planar trivalent graphs. In this paper, we describe a state sum formula for the polynomial. This formula unites two different perspectives about graph coloring: one based upon topological quantum field theory and the other on diagrammatic tensors.
{"title":"A State Sum for the Total Face Color Polynomial","authors":"Scott Baldridge, Louis H. Kauffman, Ben McCarty","doi":"10.1002/jgt.23239","DOIUrl":"https://doi.org/10.1002/jgt.23239","url":null,"abstract":"<div>\u0000 \u0000 <p>The total face color polynomial is based upon the Poincaré polynomials of a family of filtered <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>n</mi>\u0000 </mrow>\u0000 </mrow>\u0000 </semantics></math>-color homologies. It counts the number of <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>n</mi>\u0000 </mrow>\u0000 </mrow>\u0000 </semantics></math>-face colorings of ribbon graphs for each positive integer <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>n</mi>\u0000 </mrow>\u0000 </mrow>\u0000 </semantics></math>. As such, it may be seen as a successor of the Penrose polynomial, which at <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>n</mi>\u0000 \u0000 <mo>=</mo>\u0000 \u0000 <mn>3</mn>\u0000 </mrow>\u0000 </mrow>\u0000 </semantics></math> counts 3-edge colorings (and consequently 4-face colorings) of planar trivalent graphs. In this paper, we describe a state sum formula for the polynomial. This formula unites two different perspectives about graph coloring: one based upon topological quantum field theory and the other on diagrammatic tensors.</p>\u0000 </div>","PeriodicalId":16014,"journal":{"name":"Journal of Graph Theory","volume":"109 4","pages":"481-491"},"PeriodicalIF":0.9,"publicationDate":"2025-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144256576","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In infinite graph theory, the notion of ends, first introduced by Freudenthal and Jung for locally finite graphs, plays an important role when generalizing statements from finite graphs to infinite ones. Nash-Williams' Tree-Packing Theorem and MacLane's Planarity Criteria are examples of results that allow a topological approach, in which ends may be considered as endpoints of rays. In fact, there are extensive studies in the literature showing that classical (vertex-)connectivity theorems for finite graphs can be discussed regarding ends, in a more general context. However, aiming to generalize results of edge-connectivity, this paper recalls the definition of edge-ends in infinite graphs due to Hahn, Laviolette and Širáň. In terms of that object, we state an edge version of Menger's Theorem (following a previous work of Polat) and generalize the Lovász-Cherkassky Theorem for infinite graphs with edge-ends (inspired by a recent paper of Jacobs, Joó, Knappe, Kurkofka and Melcher).
{"title":"Edge-Connectivity Between Edge-Ends of Infinite Graphs","authors":"Leandro Aurichi, Lucas Real","doi":"10.1002/jgt.23234","DOIUrl":"https://doi.org/10.1002/jgt.23234","url":null,"abstract":"<p>In infinite graph theory, the notion of <i>ends</i>, first introduced by Freudenthal and Jung for locally finite graphs, plays an important role when generalizing statements from finite graphs to infinite ones. Nash-Williams' Tree-Packing Theorem and MacLane's Planarity Criteria are examples of results that allow a topological approach, in which ends may be considered as <i>endpoints</i> of rays. In fact, there are extensive studies in the literature showing that classical (vertex-)connectivity theorems for finite graphs can be discussed regarding ends, in a more general context. However, aiming to generalize results of edge-connectivity, this paper recalls the definition of <i>edge-ends</i> in infinite graphs due to Hahn, Laviolette and Širáň. In terms of that object, we state an edge version of Menger's Theorem (following a previous work of Polat) and generalize the Lovász-Cherkassky Theorem for infinite graphs with edge-ends (inspired by a recent paper of Jacobs, Joó, Knappe, Kurkofka and Melcher).</p>","PeriodicalId":16014,"journal":{"name":"Journal of Graph Theory","volume":"109 4","pages":"454-465"},"PeriodicalIF":0.9,"publicationDate":"2025-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/jgt.23234","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144256574","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
<div> <p>Thomassen suggested the following three conjectures: (1) Every 2-strong <span></span><math> <semantics> <mrow> <mrow> <mrow> <mo>(</mo> <mrow> <mi>n</mi> <mo>−</mo> <mn>1</mn> </mrow> <mo>)</mo> </mrow> </mrow> </mrow> </semantics></math>-regular digraph of order <span></span><math> <semantics> <mrow> <mrow> <mi>n</mi> </mrow> </mrow> </semantics></math>, except for two exceptional digraphs of orders 5 and 7, is Hamiltonian. (2) Every 3-strong digraph of order <span></span><math> <semantics> <mrow> <mrow> <mi>n</mi> </mrow> </mrow> </semantics></math> and with a minimum degree of at least <span></span><math> <semantics> <mrow> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </mrow> </semantics></math> is Hamiltonian-connected. (3) Let <span></span><math> <semantics> <mrow> <mrow> <mi>D</mi> </mrow> </mrow> </semantics></math> be a 4-strong digraph of order <span></span><math> <semantics> <mrow> <mrow> <mi>n</mi> </mrow> </mrow> </semantics></math> such that the sum of the degrees of every pair of nonadjacent vertices is at least <span></span><math> <semantics> <mrow> <mrow> <mn>2</mn> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </mrow> </semantics></math>. Then <span></span><math> <semantics> <mrow> <mrow> <mi>D</mi> </mrow> </mrow> </semantics></math> is Hamiltonian-connected. In this paper, we disprove Conjectures 1 and 2. We prove that: Conjecture 3 is true if and only if every 3-strong dig
{"title":"On Three Conjectures of Thomassen and the Extremal Digraphs for Two Conjectures of Nash-Williams","authors":"Samvel Kh. Darbinyan","doi":"10.1002/jgt.23233","DOIUrl":"https://doi.org/10.1002/jgt.23233","url":null,"abstract":"<div>\u0000 \u0000 <p>Thomassen suggested the following three conjectures: (1) Every 2-strong <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 \u0000 <mrow>\u0000 <mi>n</mi>\u0000 \u0000 <mo>−</mo>\u0000 \u0000 <mn>1</mn>\u0000 </mrow>\u0000 \u0000 <mo>)</mo>\u0000 </mrow>\u0000 </mrow>\u0000 </mrow>\u0000 </semantics></math>-regular digraph of order <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>n</mi>\u0000 </mrow>\u0000 </mrow>\u0000 </semantics></math>, except for two exceptional digraphs of orders 5 and 7, is Hamiltonian. (2) Every 3-strong digraph of order <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>n</mi>\u0000 </mrow>\u0000 </mrow>\u0000 </semantics></math> and with a minimum degree of at least <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>n</mi>\u0000 \u0000 <mo>+</mo>\u0000 \u0000 <mn>1</mn>\u0000 </mrow>\u0000 </mrow>\u0000 </semantics></math> is Hamiltonian-connected. (3) Let <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>D</mi>\u0000 </mrow>\u0000 </mrow>\u0000 </semantics></math> be a 4-strong digraph of order <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>n</mi>\u0000 </mrow>\u0000 </mrow>\u0000 </semantics></math> such that the sum of the degrees of every pair of nonadjacent vertices is at least <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mn>2</mn>\u0000 \u0000 <mi>n</mi>\u0000 \u0000 <mo>+</mo>\u0000 \u0000 <mn>1</mn>\u0000 </mrow>\u0000 </mrow>\u0000 </semantics></math>. Then <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>D</mi>\u0000 </mrow>\u0000 </mrow>\u0000 </semantics></math> is Hamiltonian-connected. In this paper, we disprove Conjectures 1 and 2. We prove that: Conjecture 3 is true if and only if every 3-strong dig","PeriodicalId":16014,"journal":{"name":"Journal of Graph Theory","volume":"109 4","pages":"412-425"},"PeriodicalIF":0.9,"publicationDate":"2025-03-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144256533","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
<p>In this article, we introduce the generic circular triangle-free graph <span></span><math> <semantics> <mrow> <mrow> <msub> <mi>C</mi> <mn>3</mn> </msub> </mrow> </mrow> </semantics></math> and propose a finite axiomatization of its first-order theory. In particular, our main results show that a countable graph <span></span><math> <semantics> <mrow> <mrow> <mi>G</mi> </mrow> </mrow> </semantics></math> embeds into <span></span><math> <semantics> <mrow> <mrow> <msub> <mi>C</mi> <mn>3</mn> </msub> </mrow> </mrow> </semantics></math> if and only if it is a <span></span><math> <semantics> <mrow> <mrow> <mrow> <mo>{</mo> <mrow> <msub> <mi>K</mi> <mn>3</mn> </msub> <mo>,</mo> <msub> <mi>K</mi> <mn>1</mn> </msub> <mo>+</mo> <mn>2</mn> <msub> <mi>K</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>K</mi> <mn>1</mn> </msub> <mo>+</mo> <msub> <mi>C</mi> <mn>5</mn> </msub>
圆色数χ c (G)是经典色数χ (G)的细化。我们构造c3，使图G的圆色数严格小于3当且仅当G同态映射到c3。 我们在主要结果的基础上表明χ c (G)& lt;3当且仅当G可以扩展到a {K3 ,k1 + 2k2,k1 + c5， c6}自由图，依次，我们用这个结果来修正χ c (G)的一个旧的表征。& lt;3由于勃兰特（1999）。最后，我们回答一个最近由Guzmán-Pro提出的问题，和Hernández-Cruz，通过证明对于给定的有限图G是否χ c的判定问题(G) <；3为np完全。
{"title":"The Generic Circular Triangle-Free Graph","authors":"Manuel Bodirsky, Santiago Guzmán-Pro","doi":"10.1002/jgt.23235","DOIUrl":"https://doi.org/10.1002/jgt.23235","url":null,"abstract":"<p>In this article, we introduce the generic circular triangle-free graph <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <msub>\u0000 <mi>C</mi>\u0000 \u0000 <mn>3</mn>\u0000 </msub>\u0000 </mrow>\u0000 </mrow>\u0000 </semantics></math> and propose a finite axiomatization of its first-order theory. In particular, our main results show that a countable graph <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>G</mi>\u0000 </mrow>\u0000 </mrow>\u0000 </semantics></math> embeds into <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <msub>\u0000 <mi>C</mi>\u0000 \u0000 <mn>3</mn>\u0000 </msub>\u0000 </mrow>\u0000 </mrow>\u0000 </semantics></math> if and only if it is a <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mrow>\u0000 <mo>{</mo>\u0000 \u0000 <mrow>\u0000 <msub>\u0000 <mi>K</mi>\u0000 \u0000 <mn>3</mn>\u0000 </msub>\u0000 \u0000 <mo>,</mo>\u0000 \u0000 <msub>\u0000 <mi>K</mi>\u0000 \u0000 <mn>1</mn>\u0000 </msub>\u0000 \u0000 <mo>+</mo>\u0000 \u0000 <mn>2</mn>\u0000 \u0000 <msub>\u0000 <mi>K</mi>\u0000 \u0000 <mn>2</mn>\u0000 </msub>\u0000 \u0000 <mo>,</mo>\u0000 \u0000 <msub>\u0000 <mi>K</mi>\u0000 \u0000 <mn>1</mn>\u0000 </msub>\u0000 \u0000 <mo>+</mo>\u0000 \u0000 <msub>\u0000 <mi>C</mi>\u0000 \u0000 <mn>5</mn>\u0000 </msub>\u0000 \u0000 ","PeriodicalId":16014,"journal":{"name":"Journal of Graph Theory","volume":"109 4","pages":"426-445"},"PeriodicalIF":0.9,"publicationDate":"2025-03-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/jgt.23235","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144256303","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We show that the basis graph of an even delta-matroid is Hamiltonian if it has more than two vertices. More strongly, we prove that for two distinct edges and sharing a common end, it has a Hamiltonian cycle using and avoiding unless it has at most two vertices or it is a cycle of length at most four. We also prove that if the basis graph is not a hypercube graph, then each vertex belongs to cycles of every length , and each edge belongs to cycles of every length . For the last theorem, we provide two proofs, one of which uses the result of Naddef (1984) on polytopes and the result of Chepoi (2007) on basis graphs of even delta-matroids, and the other is a direct proof using various properties of even delta-matroids. Our theorems generalize the analogous results for matroids by Holzmann and Harary (1972) and Bondy and Ingleton (1976).
{"title":"Note on Hamiltonicity of Basis Graphs of Even Delta-Matroids","authors":"Donggyu Kim, Sang-il Oum","doi":"10.1002/jgt.23237","DOIUrl":"https://doi.org/10.1002/jgt.23237","url":null,"abstract":"<p>We show that the basis graph of an even delta-matroid is Hamiltonian if it has more than two vertices. More strongly, we prove that for two distinct edges <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>e</mi>\u0000 </mrow>\u0000 </mrow>\u0000 </semantics></math> and <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>f</mi>\u0000 </mrow>\u0000 </mrow>\u0000 </semantics></math> sharing a common end, it has a Hamiltonian cycle using <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>e</mi>\u0000 </mrow>\u0000 </mrow>\u0000 </semantics></math> and avoiding <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>f</mi>\u0000 </mrow>\u0000 </mrow>\u0000 </semantics></math> unless it has at most two vertices or it is a cycle of length at most four. We also prove that if the basis graph is not a hypercube graph, then each vertex belongs to cycles of every length <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>ℓ</mi>\u0000 \u0000 <mo>≥</mo>\u0000 \u0000 <mn>3</mn>\u0000 </mrow>\u0000 </mrow>\u0000 </semantics></math>, and each edge belongs to cycles of every length <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 \u0000 <mrow>\u0000 <mi>ℓ</mi>\u0000 \u0000 <mo>≥</mo>\u0000 \u0000 <mn>4</mn>\u0000 </mrow>\u0000 </mrow>\u0000 </semantics></math>. For the last theorem, we provide two proofs, one of which uses the result of Naddef (1984) on polytopes and the result of Chepoi (2007) on basis graphs of even delta-matroids, and the other is a direct proof using various properties of even delta-matroids. Our theorems generalize the analogous results for matroids by Holzmann and Harary (1972) and Bondy and Ingleton (1976).</p>","PeriodicalId":16014,"journal":{"name":"Journal of Graph Theory","volume":"109 4","pages":"446-453"},"PeriodicalIF":0.9,"publicationDate":"2025-03-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/jgt.23237","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144256304","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
扫码关注我们
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号