Related papers: Algebraic C(4) and T(4) groups are bi-automatic
Given a group G, we construct, in a canonical way, an inverse semigroup S(G) associated to G. The actions of S(G) are shown to be in one-to-one correspondence with the partial actions of G, both in the case of actions on a set, and that of…
Let W~ be an affine Weyl group, and let C be a left, right, or two-sided Kazhdan--Lusztig cell in W~. Let Reduced (C) be the set of all reduced expressions of elements of C, regarded as a formal language in the sense of the theory of…
A discrete group is said to be C*-simple if its reduced C*-algebra is simple, and is said to have the unique trace property if its reduced C*-algebra has a unique tracial state. A dynamical characterization of C*-simplicity was recently…
It is known that the canonical double cover of any connected nonbipartite graph have an automorphism group of the form $H \rtimes \mathbb{Z}_2$, where $H$ is the set of automorphism which preserve bipartite parts. We construct connected…
In 2006, Barat and Thomassen conjectured in 2006 that the edges of every planar 4-regular 4-edge-connected graph can be decomposed into copies of the star with 3 leaves. Shortly afterward, Lai constructed a counterexample to this…
In this paper we consider some results obtained for graphs using minimal vertex separators and generalized chordality and translate them to the context of Geometric Group Theory. Using these new tools, we are able to give two new…
Let $\gamma = (\gamma_1,...,\gamma_N)$, $N \geq 2$, be a system of proper contractions on a complete metric space. Then there exists a unique self-similar non-empty compact subset $K$. We consider the union ${\mathcal G} = \cup_{i=1}^N…
We show that the SO(3) monopole cobordism formula from Feehan and Leness (2002) implies that all smooth, closed, oriented four-manifolds with $b^1=0$ and $b^+\geq 3$ and odd with Seiberg-Witten simple type satisfy the superconformal simple…
We show various vanishing theorems for the cohomology groups of compact hermitian manifolds for which the Bismut connection has (restricted) holonomy contained in SU(n) and classify all such manifolds of dimension four. In this way we…
We generalize a version of small cancellation theory to the class of acylindrically hyperbolic groups. This class contains many groups which admit some natural action on a hyperbolic space, including non-elementary hyperbolic and relatively…
A topological group is minimal if it does not admit a strictly coarser Hausdorff group topology. We provide a sufficient and necessary condition for the minimality of the semidirect product $G\leftthreetimes P,$ where $G$ is a compact…
In this paper, we show that if the reduced Fourier-Stieltjes algebra $B_{\rho}(G)$ of a second countable locally compact group $G$ has either weak* fixed point property or asymptotic center property, then $G$ is compact. As a result, we…
This short expository paper outlines applications of computer algebra to the implication problem of conditional independence for Gaussian random variables. We touch on certificates for validity and invalidity of inference rules from the…
A finite non-abelian group $H$ is hamiltonian if all of its subgroups are normal. We compute the minimal orders of graphs having a hamiltonian group as their automorphism group. The fixing number of a graph $\Gamma$ is the minimum…
Understanding the structure of a graph along with the structure of its subgraphs is important for several problems in graph theory. Two examples are the Reconstruction Conjecture and isomorph-free generation. This paper raises the question…
Given a not-necessarily Hausdorff, topologically free, twisted \'etale groupoid $(G, L)$, we consider its "essential groupoid C*-algebra", denoted $C^*_{ess}(G, L)$, obtained by completing $C_c(G, L)$ with the smallest among all…
The vanishing of Van Kampen's obstruction is known to be necessary and sufficient for embeddability of a simplicial n-complex into $R^{2n}$ for $n\neq 2$, and it was recently shown to be incomplete for $n=2$. We use algebraic-topological…
Motivated by a longstanding conjecture of Thomassen, we study how large the average degree of a graph needs to be to imply that it contains a $C_4$-free subgraph with average degree at least $t$. K\"uhn and Osthus showed that an average…
The notions of nonpositive curved spaces and biautomatic groups are generalizations of the geometric properties of hyperbolic spaces and computational properties of their fundamental groups. Given the mutual origins of these conditions, one…
We derive faithful inclusions of C*-algebras from a coend-type construction in unitary tensor categories. This gives rise to different potential notions of discreteness for an inclusion in the non-irreducible case, and provides a unified…