arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1303.6471math.CO
收藏

有界树深图的结构极限和极限的统一方法

A unified approach to structural limits, and limits of graphs with bounded tree-depth

Jaroslav Nesetril, Patrice Ossona De Mendez

摘要:

在本文中,我们介绍了一个通用的框架,一般的关系结构的限制,特别是图的研究,这是基于模型论和(功能)分析相结合。我们展示了如何图限制的各种方法适合这个框架,他们自然出现的一般理论的“易处理的情况下”。作为一个结果,我们提供了已知结果的扩展。我们认为,这将这些问题纳入下一个背景和视角。例如,我们证明了稀疏-稠密二分法恰好对应于随机自由图子。本文的第二部分是关于稀疏结构的研究。首先,我们考虑有界直径连接组件的结构的限制,我们证明了在这种情况下的收敛性可以“几乎”研究组件。我们还提出了稀疏结构的收敛序列的极限对象的结构。最后,我们考虑的具体情况下的限制的彩色有根树有界的高度和图形有界的树深度,其作用的基本砖这些图在稀疏图的分解发挥的动机,并给出一个明确的建设在这种情况下的限制对象。这个极限对象是一个建立在标准概率空间上的图,它具有每个一阶可定义元组集都是可测的属性。这是我们在此介绍的{ \em建模}的一般概念的一个示例。我们的例子也是第一个具有显式定义的极限结构的“中间类”。

英文摘要:

In this paper we introduce a general framework for the study of limits of relational structures in general and graphs in particular, which is based on a combination of model theory and (functional) analysis. We show how the various approaches to graph limits fit to this framework and that they naturally appear as "tractable cases" of a general theory. As an outcome of this, we provide extensions of known results. We believe that this put these into next context and perspective. For example, we prove that the sparse--dense dichotomy exactly corresponds to random free graphons. The second part of the paper is devoted to the study of sparse structures. First, we consider limits of structures with bounded diameter connected components and we prove that in this case the convergence can be "almost" studied component-wise. We also propose the structure of limits objects for convergent sequences of sparse structures. Eventually, we consider the specific case of limits of colored rooted trees with bounded height and of graphs with bounded tree-depth, motivated by their role of elementary brick these graphs play in decompositions of sparse graphs, and give an explicit construction of a limit object in this case. This limit object is a graph built on a standard probability space with the property that every first-order definable set of tuples is measurable. This is an example of the general concept of {\em modeling} we introduce here. Our example is also the first "intermediate class" with explicitly defined limit structures.

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

↑