activity
20152022
most citedThe growth rate over trees of any family of set defined by a monadic second order formula is semi-computable

1 citations · 1 across the 7 of their papers we have counts for

collaborators

12 papers

cs.DM2022

It is undecidable whether the growth rate of a given bilinear system is 1

Matthieu Rosenfeld

We show that there exists no algorithm that decides for any bilinear system if the growth rate of is . This answers a question of Bui who showed that if the coef…

math.CO2021

Avoiding large squares in trees and planar graphs

Daniel Gonçalves, Pascal Ochem, Matthieu Rosenfeld

The Thue number of a graph is the minimum number of colors needed to color without creating a square on a path of . For a graph class , is the supremum…

math.CO2021

Avoiding squares over words with lists of size three amongst four symbols

Matthieu Rosenfeld

In 2007, Grytczuk conjecture that for any sequence of alphabets of size there exists a square-free infinite word such that for all , the -th letter…

math.CO2021

Avoiding Square-Free Words on Free Groups

Golnaz Badkobeh, Tero Harju, Pascal Ochem +1

We consider sets of factors that can be avoided in square-free words on two-generator free groups. The elements of the group are presented in terms of 0,1,2,3 such that 0 and 2 (re…

math.CO2021

Nonrepetitively 3-colorable subdivisions of graphs with a logarithmic number of subdivisions per edge

Matthieu Rosenfeld

We show that for every graph and every graph obtained by subdividing each edge of at least , is nonrepetitively 3-colorable. In fact, we show that $…

math.CO2020

Another approach to non-repetitive colorings of graphs of bounded degree

Matthieu Rosenfeld

We propose a new proof technique that aims to be applied to the same problems as the Lovász Local Lemma or the entropy-compression method. We present this approach in the context o…