Related papers: The Local Structure of Injective LOT-Complexes
If a complex $X$ is a subcomplex of a diagrammatically reducible 2-complex $Y$ that has locally indicable fundamental group, then $X$ has locally indicable fundamental group. This is a consequence of the Corson-Trace characterization of…
Relative notions of combinatorial asphericity have been used to prove that injective labeled oriented trees (which encode spines of ribbon 2-knots) are aspherical. This article presents an overview and comparison of the different notions of…
A labeled oriented graph (LOG) is an oriented graph with a labeling function from the edge set into the vertex set. The complexity of a LOG is the minimal cardinality of an initial set $S$ of vertices such that every vertex can be reached…
A labeled oriented tree is called injective if each generator occurs at most once as an edge label. We show that injective labeled oriented trees are aspherical. The proof relies on a new relative asphericity test based on a lemma of…
Wirtinger presentations of deficiency 1 appear in the context of knots, long virtual knots, and ribbon 2-knots. They are encoded by (word) labeled oriented trees and, for that reason, are also called LOT presentations. These presentations…
Diagrammatic reducibility DR and its generalization vertex asphericity VA are combinatorial tools developed for detecting asphericity of a 2-complex. Here we present tests for a relative version of VA that apply to pairs of 2-complexes…
The lambda model is a one parameter deformation of the principal chiral model that arises when regularizing the non-compactness of a non-abelian T dual in string theory. It is a current-current deformation of a WZW model that is known to be…
We give an explicit combinatorial proof of a weighted version of strong log-concavity for the generating polynomial of increasing spanning forests of a finite simple graph equipped with a total ordering of the vertices. In contrast to…
In this paper, we study rationality properties of reductive group actions which are defined over an arbitrary field of characteristic zero. Thereby, we unify Luna's theory of spherical systems and Borel-Tits' theory of reductive groups. In…
Digraphs H for which the list homomorphism problem with template H (LHOM(H)) is in logspace (L) was characterized by Egri et al. (SODA 2014): LHOM(H) is in L if and only if H does not contain a circular N (assuming L is different from NL).…
In this paper the concept of local embeddability into finite structures (being LEF) for the class of semigroups is expanded with investigations of non-LEF structures, a closely related generalising property of local wrapping of finite…
We give practical, efficient algorithms that automatically determine the asymptotic distributed round complexity of a given locally checkable graph problem in the $[\Theta(\log n), \Theta(n)]$ region, in two settings. We present one…
It is a classical result that the set $K\backslash G /B$ is finite, where $G$ is a reductive algebraic group over an algebraically closed field with characteristic not equal to two, $B$ is a Borel subgroup of $G$, and $K = G^{\theta}$ is…
Generalised spin structures, or r-spin structures, on a 2-dimensional orbifold \Sigma are r-fold fibrewise connected coverings (also called r-th roots) of its unit tangent bundle ST\Sigma. We investigate such structures on hyperbolic…
This is the second paper of a series dedicated to the study of Poisson structures of compact types (PMCTs). In this paper, we focus on regular PMCTs, exhibiting a rich transverse geometry. We show that their leaf spaces are integral affine…
Consider any locally checkable labeling problem $\Pi$ in rooted regular trees: there is a finite set of labels $\Sigma$, and for each label $x \in \Sigma$ we specify what are permitted label combinations of the children for an internal node…
A rich line of work has been addressing the computational complexity of locally checkable labelings (LCLs), illustrating the landscape of possible complexities. In this paper, we study the landscape of LCL complexities under bandwidth…
For a finitely generated discrete group $\Gamma$, the $\Gamma$-sectors of an orbifold $Q$ are a disjoint union of orbifolds corresponding to homomorphisms from $\Gamma$ into a groupoid presenting $Q$. Here, we show that the inertia orbifold…
We consider locally checkable labeling LCL problems in the LOCAL model of distributed computing. Since 2016, there has been a substantial body of work examining the possible complexities of LCL problems. For example, it has been established…
We use the reflection group trick to glue manifolds with corners that are Borel-Serre compactifications of locally symmetric spaces of noncompact type and obtain aspherical manifolds. We call these \emph{piecewise locally symmetric}…