Nivat's conjecture holds for sums of two periodic configurations

Nivat's conjecture is a long-standing open combinatorial problem. It concerns two-dimensional configurations, that is, maps $\mathbb Z^2 \rightarrow \mathcal A$ where $\mathcal A$ is a finite set of symbols. Such configurations are often understood as colorings of a two-dimensional square grid. Let $P_c(m,n)$ denote the number of distinct $m \times n$ block patterns occurring in a configuration $c$. Configurations satisfying $P_c(m,n) \leq mn$ for some $m,n \in \mathbb N$ are said to have low rectangular complexity. Nivat conjectured that such configurations are necessarily periodic. Recently, Kari and the author showed that low complexity configurations can be decomposed into a sum of periodic configurations. In this paper we show that if there are at most two components, Nivat's conjecture holds. As a corollary we obtain an alternative proof of a result of Cyr and Kra: If there exist $m,n \in \mathbb N$ such that $P_c(m,n) \leq mn/2$, then $c$ is periodic. The technique used in this paper combines the algebraic approach of Kari and the author with balanced sets of Cyr and Kra.Comment: Accepted for SOFSEM 2018. This version includes an appendix with proofs. 12 pages + references + appendi

Incommensurate interactions and non-conventional spin-Peierls transition in TiOBr

Temperature-dependent x-ray diffraction of the low-dimensional spin 1/2 quantum magnet TiOBr shows that the phase transition at T_{c2} = 47.1 (4) K corresponds to the development of an incommensurate superstructure. Below T_{c1} = 26.8 \pm 0.3 K the incommensurate modulation locks in into a two-fold superstructure similar to the low-temperature spin-Peierls state of TiOCl. Frustration between intra- and interchain interations within the spin-Peierls scenario, and competition between two-dimensional magnetic order and one-dimensional spin-Peierls order are discussed as possible sources of the incommensurability.Comment: 5 pages including 3 figures and 1 tabl