The Hausdorff dimension of the generalized level sets of Takagi's function (Q2510968)

Let the Takagi's continuous nowhere differentiable function be defined by \[ T(x)=\sum_{k=0}^{+\infty}\frac{d(2^{k}x)}{2^{k}}, \, x\in [0, 1], \] where \(d(t)\) is the distance from \(t\) to the nearest integer. Consider \(\operatorname{Graph}(T)=\{(x, T(x)) ; x\in [0, 1]\}\) and for \(m\in \mathbb{Z}\), \(r\in \mathbb{R}\), the generalized level sets \(L_{m, r}=\{(x, y)\in \operatorname{Graph}(T) ; y=mx + r \}\), \[ L_{m, r}^{1}=[0, 1/2]\cap L_{m, r}, \, L_{m, r}^{2}=[1/2, 1]\cap L_{m, r}, L_{m, r}^{3}=[1/4, 1/2]\cap L_{m, r}. \] The main result is the following. { Theorem.} The Hausdorff and upper box-counting dimensions of any \(L_{m, r}^{i}\), \(i=1, 2, 3\), are at most \(1/2\).