Zobrazeno 1 - 10
of 240
pro vyhledávání: '"Weil, Pascal"'
Publikováno v:
In LICS'24: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, ACM, 2024, Article No.: 2, Pages 1-13
We propose a local, past-oriented fragment of propositional dynamic logic to reason about concurrent scenarios modelled as Mazurkiewicz traces, and prove it to be expressively complete with respect to regular trace languages. Because of locality, spe
Externí odkaz:
http://arxiv.org/abs/2405.11308
We show that the probability for a finitely generated subgroup of the modular group, of size $n$, to be almost malnormal or non-parabolic, tends to 0 as $n$ tends to infinity -- where the notion of the size of a subgroup is based on a natural graph-t
Externí odkaz:
http://arxiv.org/abs/2311.08021
We show how to efficiently count and generate uniformly at random finitely generated subgroups of the modular group $\textsf{PSL}(2,\mathbb{Z})$ of a given isomorphism type. The method to achieve these results relies on a natural map of independent i
Externí odkaz:
http://arxiv.org/abs/2310.18923
Publikováno v:
Journal of Group Theory 27:5, 2024, 1059--1089
We study the average case complexity of the uniform membership problem for subgroups of free groups, and we show that it is orders of magnitude smaller than the worst case complexity of the best known algorithms. This applies to subgroups given by a
Externí odkaz:
http://arxiv.org/abs/2303.14697
Publikováno v:
Logical Methods in Computer Science, Volume 18, Issue 2 (June 28, 2022) lmcs:7504
We develop new algebraic tools to reason about concurrent behaviours modelled as languages of Mazurkiewicz traces and asynchronous automata. These tools reflect the distributed nature of traces and the underlying causality and concurrency between eve
Externí odkaz:
http://arxiv.org/abs/2105.10897
We show how to count and randomly generate finitely generated subgroups of the modular group $\textsf{PSL}(2,\mathbb{Z})$ of a given isomorphism type. We also prove that almost malnormality and non-parabolicity are negligible properties for these sub
Externí odkaz:
http://arxiv.org/abs/2011.09179
We develop a new algebraic framework to reason about languages of Mazurkiewicz traces. This framework supports true concurrency and provides a non-trivial generalization of the wreath product operation to the trace setting. A novel local wreath produ
Externí odkaz:
http://arxiv.org/abs/2007.07940
Publikováno v:
International Journal of Algebra and Computation, 31:08 (2021), pages 1691-1751
We count the finitely generated subgroups of the modular group $\textsf{PSL}(2,\mathbb{Z})$. More precisely: each such subgroup $H$ can be represented by its Stallings graph $\Gamma(H)$, we consider the number of vertices of $\Gamma(H)$ to be the siz
Externí odkaz:
http://arxiv.org/abs/2004.00437
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.