首页/论文/1307.0992

arXiv 1307.09922013-07math.CO

无限图中边不相交的双光线：Halin型结果

Edge-disjoint double rays in infinite graphs: a Halin type result

Nathan Bowler, Johannes Carmesin, Julian Pott

备注：: 15 pages, 2 figures

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们证明了任何包含k个边不相交的双射线的图，对于任意k>0，也包含无穷多个边不相交的双射线。1981年，安德拉斯提出了这一观点。

英文摘要：

We show that any graph that contains k edge-disjoint double rays for any k>0 contains also infinitely many edge-disjoint double rays. This was conjectured by Andreae in 1981.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

有向图的 Halin 网格定理

Halin's grid theorem for digraphs

本文将 Halin 关于厚端包含无限网格的定理推广至有向图，证明等价出射线无限族可构造垂直射线属于该族的网格，并对入射线与项链给出类似结论。

2025-06-16math.CO

Halin网格定理的一个加强

A strengthening of Halin's grid theorem

证明了对于图$G$中不相交的等价射线的每一个无限集合$\mathcal{R}$，$G$中的六边形半网格都有一个细分，使得它的所有垂直射线都属于$\mathcal{R}$ .这个结果加强了哈林的网格定理，因为它控制了使用哪一组特定的射线，而它的证明明显更短。

2021-04-21math.CO

图的端点$G$是一个等价射线类，其中两条射线等价，如果在$G$中它们之间有无穷多条顶点不相交的路。端点的度是在这个等价类中成对不相交射线的集合的最大基数。Halin解释说，端度可以用某些典型的射线配置来表征，这将推广他著名的\emph{grid theorem}。特别地，正则不可数度$κ$的每一端将包含一个\emph{star of rays}，即\由中心射线$R$和$κ$相邻射线$(R_i \colon i < κ)$组成的配置，所有射线都彼此不相交，并且每个$R_i$向$R$发送一个具有无限多个不相交路径的族，使得来自不同族的路径仅在$R$中相遇。我们证明了Halin猜想对于端度$ \aleph_1$是不成立的，对于$\aleph_2,\aleph_3,\ldots,\aleph_ω$是成立的，对于$ \aleph_{ω+1}$是不成立的，对于下一个$\aleph_{ω+n}$和$n \in \mathbb{N}$，$n \geq 2$是不可判定的（在ZFC中）.进一步的结果包括一个完整的解决方案，所有的基数下GCH，补充了一些一致性的结果。

2020-10-20math.CO

琼斯猜想在哈林图中的应用及更广泛类图的探讨

Jones' conjecture for Halin graphs and a bit more

Alfréd Rényi Institute of Mathematics（阿尔弗雷德·雷尼数学研究所）

本文证明了琼斯猜想在哈林图及更广泛图类中的成立，通过删除特定数量的顶点使图变为无环图。

2026-08-13math.CO

生成Halin子图的Dirac条件

Dirac's Condition for Spanning Halin Subgraphs

设$G$是一个具有$n\ge 3$的$n$ -顶点图. Dirac在1952年的一个经典结果断言$G$是哈密顿的，如果$δ(G)\ge n/2$ .狄拉克定理是哈密顿性研究中最有影响力的结果之一，到目前为止，已有许多相关的已知结果，（参见，例如，J. A. Bondy，基本图论：路径和电路，{ \it Handbook of Combinatorics Vol.1}中的第1章）。一个{ \it Halin图}是由两个边不相交的子图组成的平面图：一个至少有4个顶点且没有2度顶点的生成树，以及在生成树的叶子集合上诱导的一个圈。Halin图具有丰富的哈密尔顿性，如哈密尔顿图、哈密尔顿连通图和几乎泛圈图。作为Dirac定理的一个连续推广，本文证明了存在正整数$n_0$，使得任何具有$n\ge n_0$顶点和$δ(G)\ge (n+1)/2$的图$G$都包含一个生成Halin子图.特别地，它包含一个生成Halin子图，这也是泛圈的。

2017-07-14math.CO

Halin 无限射线定理：复杂度与反推数学：E 版

Halin's Infinite Ray Theorems: Complexity and Reverse Mathematics: Version E

该研究分析Halin无限射线定理等的可计算与证明论复杂度，证明其属于超算术分析定理，提供多个纯数学例子，解答了反推数学领域的公开问题。

2023-08-28math.COmath.LO

更多相关论文收起更多论文

粗Halin网格定理及其在拟传递、局部有限图上的应用

A coarse Halin Grid Theorem with applications to quasi-transitive, locally finite graphs

University of Hamburg（汉堡大学）

本文证明了粗版本的Halin网格定理：每个一端、局部有限且包含无穷多条射线的不交并作为渐近子式的图，也包含半网格作为渐近子式，并应用于拟传递局部有限图，解决了Georgakopoulos和Papasoglu的猜想与问题。

2026-05-26math.COmath.GR

有向图中的无限网格

Infinite grids in digraphs

University of Hamburg（汉堡大学）；Technical University of Denmark（丹麦技术大学）

本文研究了有向图中无限网格的结构，证明了具有无限多个互不相交有向射线的端点的有向图包含特定的网格状子图。

2026-02-26math.CO

具有指定起始顶点的无限食端射线集

Infinite end-devouring sets of rays with prescribed start vertices

我们证明，每一个图的结束包含不可数许多不相交的射线或一组不相交的射线，满足所有的射线结束，并开始于任何规定的可行的一组开始顶点。这证实了Georgakopoulos的一个猜想。

2017-04-21math.CO

关于单端图的树分解

On tree-decompositions of one-ended graphs

一个图是单端的，如果它包含一条射线（一条单向无限路径），并且每当我们从图中删除有限数量的顶点时，剩下的只有一个包含射线的分量。顶点$v$ { \em支配}一条射线，如果有无穷多条路径将$v$连接到该射线，使得这些路径中的任何两条路径只有顶点$v$是公共的。本文证明了：如果一个单端图不含由顶点支配的射线，也不含无限族两两不相交的射线，则它有一个树分解，使得分解树是单端的，且树分解在自同构自同构群下不变.这可以用来证明Halin在2000年提出的一个猜想，即这种图的自同构群不可能是可数无限的，并解决了Boutin和Imrich最近提出的一个问题。此外，它意味着每个传递单端图包含无限族的两两不相交的射线。

2018-05-21math.CO

有向射线的普遍性

Ubiquity of oriented rays

本文研究有向图的普遍性，刻画了底图为射线的有向图中满足普遍性的条件。

2024-03-16math.CO

单端Cayley图的Hamilton分解

Hamilton decompositions of one-ended Cayley graphs

我们证明了任何一端的，局部有限的Cayley图与非扭发电机允许分解成边不相交的哈密顿（即生成）双射线。特别地，$n$维网格$\mathbb{Z}^n$允许对于所有$n \in \mathbb{N}$分解成$n$边缘不相交的哈密顿双射线。

2017-09-27math.CO

论有向双射线的普适性

On the ubiquity of oriented double rays

本文研究有向双射线的普适性，证明含转折的有向双射线普适当且仅当其转折数为有限奇数，并留下一致定向双射线是否普适的开放问题。

2024-05-07math.CO

拓扑无限伽模和无限图的一个新的Menger型定理

Topological infinite gammoids, and a new Menger-type theorem for infinite graphs

通过讨论Diestel的一个问题，我们提出了一个在无限图中的gammoid的拓扑概念，它与传统的无限gammoid不同，总是定义一个拟阵。作为我们的主要工具，我们证明了：对于任意顶点集为$A$和$B$的无限图$G$，如果$A$的每个有限子集都通过不交路与$B$相连，那么在$G$及其端点的自然拓扑中，整个$A$都可以通过不交路或射线与$B$的闭包相连.后一个定理重新证明和加强了Aharoni和Berger关于“良好分离”集$A$和$B$的无限门格尔定理。它还包含了局部有限图的Diestel拓扑Menger定理。

2014-04-01math.CO