迹幺半群边界上的均匀测度与 Bernoulli 测度
组合数学
2015-06-08 v3 概率论
摘要
迹幺半群 (trace monoids) 和部件堆 (heaps of pieces) 出现在组合学的各种语境中。它们也构成了计算机科学中用于描述异步系统执行的模型。在该模型之上设计一个自然的概率层一直是一个长期存在的挑战。困难源于存在可交换的部件以及缺乏全局时钟。在本文中，我们引入并研究了 Bernoulli 概率测度类，我们声称这是无限迹上最简单的适当概率测度。为此，我们严重依赖迹组合学理论，其中 M"obius 多项式起着关键作用。这些新测度为并发系统的概率研究提供了理论基础。
引用
@article{arxiv.1407.5879,
title = {Uniform and Bernoulli measures on the boundary of trace monoids},
author = {Samy Abbes and Jean Mairesse},
journal= {arXiv preprint arXiv:1407.5879},
year = {2015}
}
备注
34 pages, 5 figures, 27 references