Related papers: Complex of injective words revisited

We prove that any word hyperbolic group which is virtually compact special (in the sense of Haglund and Wise) is conjugacy separable. As a consequence we deduce that all word hyperbolic Coxeter groups and many classical small cancellation…

We find an explicit closed form for the subword complexity of the infinite fixed point of the morphism sending $a \rightarrow aab$ and $b \rightarrow b$. This morphism is then generalized in three different ways, and we find similar…

We prove a general version of the homological perturbation lemma which works in the presence of curvature, and without the restriction to strong deformation retracts, building on work of Markl. A key observation is that the notion of strong…

It is shown that if T is a connected nontrivial graph and X is an arbitrary finite simplicial complex, then there is a graph G such that the complex Hom(T,G) is homotopy equivalent to X. The proof is constructive, and uses a nerve lemma.…

We present a simpler way than usual to deduce the completeness theorem for the second-oder classical logic from the first-order one. We also extend our method to the case of second-order intuitionistic logic.

A Hausdorff topological semiring is called simple if every non-zero continuous homomorphism into another Hausdorff topological semiring is injective. Classical work by Anzai and Kaplansky implies that any simple compact ring is finite. We…

The planar Kepler problem is complexified and we show that this holomorphic completely integrable Hamiltonian system has nontrivial monodromy.

We study the P versus NP problem through properties of functions and monoids, continuing the work of [3]. Here we consider inverse monoids whose properties and relationships determine whether P is different from NP, or whether injective…

The manifold hypothesis suggests that word vectors live on a submanifold within their ambient vector space. We argue that we should, more accurately, expect them to live on a pinched manifold: a singular quotient of a manifold obtained by…

We prove the finiteness of crystalline cohomology of higher level. An important ingredient is a "higher de Rham complex" and a kind of Poincar\'e lemma for it.

We study the asymptotics and fine-scale behavior of quantitative combinatorial measures of infinite words and related dynamical and algebraic structures. We construct infinite recurrent words $w$ whose complexity functions $p_w(n)$ are…

Combinatorial topology is used in distributed computing to model concurrency and asynchrony. The basic structure in combinatorial topology is the simplicial complex, a collection of subsets called simplices of a set of vertices, closed…

The goal of this paper is to generalize some of the existing toolkit of combinatorial algebraic topology in order to study the homology of abstract chain complexes. We define shellability of chain complexes in a similar way as for cell…

We extend the Howlett-Isaacs theorem on the solvability of groups of central type taking into account actions by automorphisms. Then we study certain induced characters whose constituents have all the same degree.

We show that counterexamples of Iyengar and Walker to the algebraic version of Gunnar Carlsson's conjecture on the rank of the homology of a free complex can be extended to examples over any finite group with many choices of the complex.

The main result of this paper is the classification of the real irreducible representations of compact Lie groups with vanishing homogeneity rank.

Let us consider an infinite word and $k\geq 1$ an integer. By steps of $k$, we substitute a letter ofthis infinite word by the power of an external letter. The new word obtaining by this process is called $k$ to $k$ substitution of a power…

We show that finite-dimensional Lie algebras over a field of characteristic zero such that their high-degree cohomology in any finite-dimensional non-trivial irreducible module vanishes, are, essentially, direct sums of semisimple and…

We consider two-variable first-order logic on finite words with a fixed number of quantifier alternations. We show that all languages with a neutral letter definable using the order and finite-degree predicates are also definable with the…

Let G be a group which is topologically a CW-complex, BG a classifying space for G, and A a discrete abelian group. To a central extension of G by A, one can associate a cohomology class in $H^2(BG,A)$. We show this association is…