The Frucht property in the quantum group setting

A classical theorem of Frucht states that any finite group appears as the automorphism group of a finite graph. In the quantum setting, the problem is to understand the structure of the compact quantum groups which can appear as quantum automorphism groups of finite graphs. We discuss here this question, notably with a number of negative results.

Greedy Matching in Bipartite Random Graphs

This paper studies the performance of greedy matching algorithms on bipartite graphs [Formula: see text]. We focus primarily on three classical algorithms: [Formula: see text], which sequentially selects random edges from [Formula: see text]; [Formula: see text], which sequentially matches random vertices in [Formula: see text] to random neighbors; and [Formula: see text], which generates a random priority order over vertices in [Formula: see text] and then sequentially matches random vertices in [Formula: see text] to their highest-priority remaining neighbor. Prior work has focused on identifying the worst-case approximation ratio for each algorithm. This guarantee is highest for [Formula: see text] and lowest for [Formula: see text]. Our work instead studies the average performance of these algorithms when the edge set [Formula: see text] is random. Our first result compares [Formula: see text] and [Formula: see text] and shows that on average, [Formula: see text] produces more matches. This result holds for finite graphs (in contrast to previous asymptotic results) and also applies to “many to one” matching in which each vertex in [Formula: see text] can match with multiple vertices in [Formula: see text]. Our second result compares [Formula: see text] and [Formula: see text] and shows that the better worst-case guarantee of [Formula: see text] does not translate into better average performance. In “one to one” settings where each vertex in [Formula: see text] can match with only one vertex in [Formula: see text], the algorithms result in the same number of matches. When each vertex in [Formula: see text] can match with two vertices in [Formula: see text] produces more matches than [Formula: see text].

Folding-like techniques for CAT(0) cube complexes

In a seminal paper, Stallings introduced folding of morphisms of graphs. One consequence of folding is the representation of finitely-generated subgroups of a finite-rank free group as immersions of finite graphs. Stallings’s methods allow one to construct this representation algorithmically, giving effective, algorithmic answers and proofs to classical questions about subgroups of free groups. Recently Dani–Levcovitz used Stallings-like methods to study subgroups of right-angled Coxeter groups, which act geometrically on CAT(0) cube complexes. In this paper we extend their techniques to fundamental groups of non-positively curved cube complexes.

One-dimensional dynamical systems

The survey is devoted to the topological dynamics of maps defined on one-dimensional continua such as a closed interval, a circle, finite graphs (for instance, finite trees), or dendrites (locally connected continua without subsets homeomorphic to a circle). Connections between the periodic behaviour of trajectories, the existence of a horseshoe and homoclinic trajectories, and the positivity of topological entropy are investigated. Necessary and sufficient conditions for entropy chaos in continuous maps of an interval, a circle, or a finite graph, and sufficient conditions for entropy chaos in continuous maps of dendrites are presented. Reasons for similarities and differences between the properties of maps defined on the continua under consideration are analyzed. Extensions of Sharkovsky’s theorem to certain discontinuous maps of a line or an interval and continuous maps on a plane are considered. Bibliography: 207 titles.