Anagram-free Graph Colouring

An anagram is a word of the form $WP$ where $W$ is a non-empty word and $P$ is a permutation of $W$. We study anagram-free graph colouring and give bounds on the chromatic number. Alon et al. (2002) asked whether anagram-free chromatic number is bounded by a function of the maximum degree. We answer this question in the negative by constructing graphs with maximum degree 3 and unbounded anagram-free chromatic number. We also prove upper and lower bounds on the anagram-free chromatic number of trees in terms of their radius and pathwidth. Finally, we explore extensions to edge colouring and $k$-anagram-free colouring.Comment: Version 2: Changed 'abelian square' to 'anagram' for consistency with 'Anagram-free colourings of graphs' by Kam\v{c}ev, {\L}uczak, and Sudakov. Minor changes based on referee feedbac

Anagram-Free Chromatic Number is not Pathwidth-Bounded

The anagram-free chromatic number is a new graph parameter introduced independently Kam\v{c}ev, {\L}uczak, and Sudakov (2017) and Wilson and Wood (2017). In this note, we show that there are planar graphs of pathwidth 3 with arbitrarily large anagram-free chromatic number. More specifically, we describe $2n$-vertex planar graphs of pathwidth 3 with anagram-free chromatic number $\Omega(\log n)$. We also describe $kn$ vertex graphs with pathwidth $2k-1$ having anagram-free chromatic number in $\Omega(k\log n)$.Comment: 8 pages, 3 figure

Avoiding abelian powers cyclically

We study a new notion of cyclic avoidance of abelian powers. A finite word $w$ avoids abelian $N$-powers cyclically if for each abelian $N$-power of period $m$ occurring in the infinite word $w^\omega$, we have $m \geq |w|$. Let $\mathcal{A}(k)$ be the least integer $N$ such that for all $n$ there exists a word of length $n$ over a $k$-letter alphabet that avoids abelian $N$-powers cyclically. Let $\mathcal{A}_\infty(k)$ be the least integer $N$ such that there exist arbitrarily long words over a $k$-letter alphabet that avoid abelian $N$-powers cyclically.We prove that $5 \leq \mathcal{A}(2) \leq 8$, $3 \leq \mathcal{A}(3) \leq 4$, $2 \leq \mathcal{A}(4) \leq 3$, and $\mathcal{A}(k) = 2$ for $k \geq 5$. Moreover, we show that $\mathcal{A}_\infty(2) = 4$, $\mathcal{A}_\infty(3) = 3$, and $\mathcal{A}_\infty(4) = 2$.</p

Reducts of aleph_zero-categorical structures

Given two structures M and N on the same domain, we say that N is a reduct of M if all emptyset-definable relations of N are emptyset-definable in M. In this thesis, the reducts of the generic digraph, the Henson digraphs, the countable vector space over F_2 and of the linear order Q.2 are classified up to first-order interdefinability. These structures are aleph_zero-categorical, so classifying their reducts is equivalent to classifying the closed groups that lie in between the structures’ automorphism groups and the full symmetric group