If an unknown finite set C ⊂ Z 2 is cut by lines parallel to given directions, then one may count the number of points of C that are intercepted by each line, that is, the projections of C in the given directions. The inverse problem consists in reconstructing the set C , interpreted as a binary image, from the knowledge of its projections. In general, this challenging combinatorial problem, also related to the tomographic reconstruction of an unknown homogeneous object by means of X-rays, is ill-posed, meaning that different binary images exist that match the available projections. Therefore, as a preliminary step, one can try to find conditions to be imposed on the considered directions in order to limit the number of allowed solutions. In this paper we address the above problems for sets C contained in a finite assigned lattice grid, and generalize some results known in literature. First, we describe special sets of lattice directions, called simple cycles, and focus on some of their properties. Then we prove that uniqueness of reconstruction for binary images is guaranteed if and only if the line sums are computed along suitable simple cycles having even cardinality. As a second item, we prove that the unique binary solution can be explicitly reconstructed from a real-valued solution having minimal Euclidean norm. This leads to an explicit reconstruction algorithm, tested on four different phantoms and compared with previous results, which points out a significant improvement of the corresponding performance.

In 2013, while studying a relevant class of polyominoes that tile the plane by translation, i.e., double square polyominoes, Blondin Massé et al. found that their boundary words, encoded by the Freeman chain coding on a four letters alphabet, have specific interesting properties that involve notions of combinatorics on words such as palindromicity, periodicity and symmetry. Furthermore, they defined a notion of reducibility on double squares using homologous morphisms, so leading to a set of irreducible tile elements called prime double squares. The authors, by inspecting the boundary words of the smallest prime double squares, conjectured the strong property that no runs of two (or more) consecutive equal letters are present there. In this paper, we prove such a conjecture using combinatorics on words’ tools, and setting the path to the definition of a fast generation algorithm and to the possibility of enumerating the elements of this class w.r.t. standard parameters, as perimeter and area.

International audience