A two-dimensional Minkowski \(?(x)\) function (Q1827523)

In this paper, the authors construct a function similar to Minkowski's question-mark function, and use that function in order to understand the properties of cubic irrational. In Section~2, a review of the Minkowski question-mark function is given. In Section 3, they construct a map from a two-dimensional simplex (a triangle) to itself, as an analog to the map of the Minkowski question-mark function from a one-dimensional simplex to itself. In Section 4, the Farey iteration can be viewed as a multidimensional continued fraction. Periodicity of the Farey iteration corresponds to a class of cubic irrationals. In Section 5, by contrast, periodicity for the barycentric iterations corresponds to a class of rational points. In Section 6, the authors prove an analog of singularity by showing that almost everywhere the area of image triangles in the barycentric partitioning approaches zero far more quickly than the area of the domain triangles in the Farey partitioning.