Source author record

Matthieu Rosenfeld

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO Discrete Mathematics Formal Languages and Automata Theory

Catalog footprint

Research overview

11works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2023arXiv

Reconstructing words using queries on subwords or factors

We study word reconstruction problems. Improving a previous result by P. Fleischmann, M. Lejeune, F. Manea, D. Nowotka and M. Rigo, we prove that, for any unknown word $w$ of length $n$ over an alphabet of cardinality $k$ , $w$ can be reconstructed from the number of occurrences as subwords (or scattered factors) of $O(k^2\sqrt{n\log_2(n)})$ words. Two previous upper bounds obtained by S. S. Skiena and G. Sundaram are also slightly improved: one when considering information on the existence of subwords instead of on the numbers of their occurrences, and, the other when considering information on the existence of factors.

preprint2022arXiv

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

We show that there exists no algorithm that decides for any bilinear system $(B,v)$ if the growth rate of $(B,v)$ is $1$ . This answers a question of Bui who showed that if the coefficients are positive the growth rate is computable (i.e., there is an algorithm that outputs the sequence of digits of the growth rate of $(B,v)$ ). Our proof is based on a reduction of the computation of the joint spectral radius of a set of matrices to the computation of the growth rate of a bilinear system. We also use our reduction to deduce that there exists no algorithm that approximates the growth rate of a bilinear system with relative accuracy $\varepsilon$ in time polynomial in the size of the system and of $\varepsilon$ . Our two results hold even if all the coefficients are nonnegative rationals.

preprint2021arXiv

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

We show that for every graph $G$ and every graph $H$ obtained by subdividing each edge of $G$ at least $O(\log |V(G)|)$ , $H$ is nonrepetitively 3-colorable. In fact, we show that $O(\log π'(G))$ subdivisions per edge are enough, where $π'(G)$ is the nonrepetitive chromatic index of $G$ . This answers a question of Wood and improves a similar result of Pezarski and Zmarz that stated the existence of at least one 3-colorable division with a linear number of subdivision vertices per edge.

preprint2020arXiv

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

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 of non-repetitive colorings and we use it to improve upper-bounds relating different non-repetitive numbers to the maximal degree of a graph. It seems that there should be other interesting applications to the presented approach. In terms of upper-bound our approach seems to be as strong as entropy-compression, but the proofs are more elementary and shorter. The application we provide in this paper are upper bounds for graphs of maximal degree at most $Δ$ : a minor improvement on the upper-bound of the non-repetitive number, a $4.25Δ+o(Δ)$ upper-bound on the weak total non-repetitive number and a $Δ^2+\frac{3}{2^\frac{1}{3}}Δ^{\frac{5}{3}}+ o(Δ^{\frac{5}{3}})$ upper-bound on the total non-repetitive number of graphs. This last result implies the same upper-bound for the non-repetitive index of graphs, which improves the best known bound.

preprint2020arXiv

How far away must forced letters be so that squares are still avoidable?

We describe a new non-constructive technique to show that squares are avoidable by an infinite word even if we force some letters from the alphabet to appear at certain occurrences. We show that as long as forced positions are at distance at least 19 (resp. 3, resp. 2) from each other then we can avoid squares over 3 letters (resp. 4 letters, resp. 6 or more letters). We can also deduce exponential lower bounds on the number of solutions. For our main Theorem to be applicable, we need to check the existence of some languages and we explain how to verify that they exist with a computer. We hope that this technique could be applied to other avoidability questions where the good approach seems to be non-constructive (e.g., the Thue-list coloring number of the infinite path).

preprint2020arXiv

Nice formulas, $xyx$ -formulas, and palindrome patterns

We characterize the formulas that are avoided by every $α$ -free word for some $α>1$ . We study the avoidability index of formulas whose fragments are of the form $XYX$ . The largest avoidability index of an avoidable palindrome pattern is known to be at least $4$ and at most $16$ . We make progress toward the conjecture that every avoidable palindrome pattern is $4$ -avoidable.

preprint2020arXiv

On the binomial equivalence classes of finite words

Two finite words $u$ and $v$ are $k$ -binomially equivalent if, for each word $x$ of length at most $k$ , $x$ appears the same number of times as a subsequence (i.e., as a scattered subword) of both $u$ and $v$ . This notion generalizes abelian equivalence. In this paper, we study the equivalence classes induced by the $k$ -binomial equivalence with a special focus on the cardinalities of the classes. We provide an algorithm generating the $2$ -binomial equivalence class of a word. For $k \geq 2$ and alphabet of $3$ or more symbols, the language made of lexicographically least elements of every $k$ -binomial equivalence class and the language of singletons, i.e., the words whose $k$ -binomial equivalence class is restricted to a single element, are shown to be non context-free. As a consequence of our discussions, we also prove that the submonoid generated by the generators of the free nil- $2$ group on $m$ generators is isomorphic to the quotient of the free monoid $\{ 1, \ldots , m\}^{*}$ by the $2$ -binomial equivalence.

preprint2020arXiv

The growth rate over trees of any family of set defined by a monadic second order formula is semi-computable

Monadic second order logic can be used to express many classical notions of sets of vertices of a graph as for instance: dominating sets, induced matchings, perfect codes, independent sets or irredundant sets. Bounds on the number of sets of any such family of sets are interesting from a combinatorial point of view and have algorithmic applications. Many such bounds on different families of sets over different classes of graphs are already provided in the literature. In particular, Rote recently showed that the number of minimal dominating sets in trees of order $n$ is at most $95^{\frac{n}{13}}$ and that this bound is asymptotically sharp up to a multiplicative constant. We build on his work to show that what he did for minimal dominating sets can be done for any family of sets definable by a monadic second order formula. We first show that, for any monadic second order formula over graphs that characterizes a given kind of subset of its vertices, the maximal number of such sets in a tree can be expressed as the \textit{growth rate of a bilinear system}. This mostly relies on well known links between monadic second order logic over trees and tree automata and basic tree automata manipulations. Then we show that this "growth rate" of a bilinear system can be approximated from above.We then use our implementation of this result to provide bounds on the number of independent dominating sets, total perfect dominating sets, induced matchings, maximal induced matchings, minimal perfect dominating sets, perfect codes and maximal irredundant sets on trees. We also solve a question from D. Y. Kang et al. regarding $r$ -matchings and improve a bound from Górska and Skupień on the number of maximal matchings on trees. Remark that this approach is easily generalizable to graphs of bounded tree width or clique width (or any similar class of graphs where tree automata are meaningful).

preprint2016arXiv

Avoidability of formulas with two variables

In combinatorics on words, a word $w$ over an alphabet $Σ$ is said to avoid a pattern $p$ over an alphabet $Δ$ of variables if there is no factor $f$ of $w$ such that $f=h(p)$ where $h:Δ^*\toΣ^*$ is a non-erasing morphism. A pattern $p$ is said to be $k$ -avoidable if there exists an infinite word over a $k$ -letter alphabet that avoids $p$ . We consider the patterns such that at most two variables appear at least twice, or equivalently, the formulas with at most two variables. For each such formula, we determine whether it is $2$ -avoidable, and if it is $2$ -avoidable, we determine whether it is avoided by exponentially many binary words.

preprint2016arXiv

Avoiding two consecutive blocks of same size and same sum over $\mathbb{Z}^2$

A long standing question asks whether $\mathbb{Z}$ is uniformly 2-repetitive [Justin 1972, Pirillo and Varricchio, 1994], that is, whether there is an infinite sequence over a finite subset of $\mathbb{Z}$ avoiding two consecutive blocks of same size and same sum or not. Cassaigne \emph{et al.} [2014] showed that $\mathbb{Z}$ is not uniformly 3-repetitive. We show that $\mathbb{Z}^2$ is not uniformly 2-repetitive. Moreover, this problem is related to a question from Mäkelä in combinatorics on words and we answer to a weak version of it.

preprint2015arXiv

Avoidability of long $k$ -abelian repetitions

We study the avoidability of long $k$ -abelian-squares and $k$ -abelian-cubes on binary and ternary alphabets. For $k=1$ , these are Mäkelä's questions. We show that one cannot avoid abelian-cubes of abelian period at least $2$ in infinite binary words, and therefore answering negatively one question from Mäkelä. Then we show that one can avoid $3$ -abelian-squares of period at least $3$ in infinite binary words and $2$ -abelian-squares of period at least 2 in infinite ternary words. Finally we study the minimum number of distinct $k$ -abelian-squares that must appear in an infinite binary word.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Matthieu Rosenfeld

Research overview

Is this your work?

11 publications

Reconstructing words using queries on subwords or factors

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

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

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

How far away must forced letters be so that squares are still avoidable?

Nice formulas, $xyx$ -formulas, and palindrome patterns

On the binomial equivalence classes of finite words

The growth rate over trees of any family of set defined by a monadic second order formula is semi-computable

Avoidability of formulas with two variables

Avoiding two consecutive blocks of same size and same sum over $\mathbb{Z}^2$

Avoidability of long $k$ -abelian repetitions

See the researcher in context

Building this map preview

Matthieu Rosenfeld

Research overview

Is this your work?

11 publications

Reconstructing words using queries on subwords or factors

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

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

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

How far away must forced letters be so that squares are still avoidable?

Nice formulas, xyxxyxxyx-formulas, and palindrome patterns

On the binomial equivalence classes of finite words

The growth rate over trees of any family of set defined by a monadic second order formula is semi-computable

Avoidability of formulas with two variables

Avoiding two consecutive blocks of same size and same sum over Z2\mathbb{Z}^2Z2

Avoidability of long kkk-abelian repetitions

See the researcher in context

Building this map preview

Nice formulas, $xyx$ -formulas, and palindrome patterns

Avoiding two consecutive blocks of same size and same sum over $\mathbb{Z}^2$

Avoidability of long $k$ -abelian repetitions