Non-Hitting Spectrum in Markov–Lagrange Setting

• Non-Hitting Spectrum is the set M\L, the complement of the Lagrange spectrum within the Markov spectrum, capturing Markov values that never recur as limsup in continued fraction representations.
• Research shows that near the accumulation point α∞, the spectrum exhibits a Cantor-set structure with positive Hausdorff dimension (e.g., >0.353), linking symbolic dynamics to fractal geometry.
• Explicit constructions via forbidden continued-fraction words identify isolated values and dynamic intervals, demonstrating how combinatorial constraints yield rich arithmetic and geometric properties.

Searching arXiv for the primary and closely related papers on the non-hitting spectrum in the Markov–Lagrange setting. In Diophantine approximation, the non-hitting spectrum denotes the set

$M\setminus L,$

the complement of the Lagrange spectrum $L$ inside the Markov spectrum $M$. Equivalently, these are Markov values that do not arise as a $\limsup$ in Perron’s continued-fraction description of $L$. Although $M\setminus L$ was long known primarily through isolated examples, work of Freiman, Cusick–Flahive, and later Matheus–Moreira established that it contains structured fractal pieces of positive Hausdorff dimension, including a Cantor model near a non-isolated point $\alpha_\infty$, together with explicit new elements and quantitative lower bounds such as $HD(M\setminus L)>0.353$ (Matheus et al., 2017). Complementary analysis around Freiman’s isolated points identified the largest interval $(c_\infty,C_\infty)$ containing Freiman’s countable family and avoiding $L$, located the smallest known element $L$0 in that interval, and proved a separate positive dimension bound $L$1 for the corresponding portion of the Markov spectrum (Matheus et al., 2018).

1. Classical definitions and Perron’s description

For an irrational $L$2, the classical Diophantine approximation constant is

$L$3

where $L$4 is the distance to the nearest integer. The Lagrange spectrum is

$L$5

The Markov spectrum admits an equivalent formulation in terms of indefinite binary quadratic forms of determinant $L$6: $L$7

A convenient description is Perron’s continued-fraction characterization. For a bi-infinite sequence

$L$8

define

$L$9

Then

$M$0

It follows that $M$1, and both are closed subsets of $M$2 (Matheus et al., 2017). In the terminology used in the later survey of Freiman’s isolated points, the set

$M$3

consists exactly of Markov values that “never hit” the Lagrange spectrum, which motivates the name non-hitting spectrum (Matheus et al., 2018).

The distinction between $M$4 and $M$5 is decisive. A Markov value may occur as the global maximum of the quantities $M$6 along a bi-infinite coding without recurring in the asymptotic sense required for membership in $M$7. This suggests a symbolic-dynamical viewpoint in which $M$8 records exceptional maxima constrained by finite combinatorics of continued-fraction words.

2. Freiman’s breakthrough and the first non-isolated point

Freiman proved in 1973 that $M$9 by exhibiting

$\limsup$0

with $\limsup$1 (Matheus et al., 2017). Cusick–Flahive later produced an infinite sequence

$\limsup$2

all lying in $\limsup$3, so $\limsup$4 is a non-isolated point of the non-hitting spectrum (Matheus et al., 2017).

A different and earlier strand of Freiman’s work produced isolated points of $\limsup$5. In 1968 he constructed an explicit bi-infinite sequence $\limsup$6 with Markov value

$\limsup$7

and generalized this to an infinite countable set

$\limsup$8

whose elements are isolated in $\limsup$9 (Matheus et al., 2018).

These two phenomena—isolated points and a non-isolated accumulation point—already show that $L$0 is not a uniform object. One part is discrete and countable; another supports accumulation and, as later work proved, positive Hausdorff dimension. A common misconception is that $L$1 is merely a sporadic exceptional set. The existence of $L$2 and its surrounding Cantor structure rules this out (Matheus et al., 2017).

3. Cantor model near $L$3

A refinement of Perron-type arguments shows that any $L$4 sufficiently close to $L$5 arises from a bi-infinite continued-fraction sequence on the alphabet $L$6 that avoids a finite forbidden list

$L$7

This leads to the dynamically defined Cantor set

$L$8

Matheus–Moreira proved that

$L$9

where $M\setminus L$0 is the maximal open interval around $M\setminus L$1 disjoint from $M\setminus L$2. In particular,

$M\setminus L$3

(Matheus et al., 2017).

This result turns a local problem in the Markov spectrum into a finite-type symbolic system. The crucial feature is that the non-hitting condition near $M\setminus L$4 can be encoded by forbidding finitely many words, so the local geometry becomes that of a Gauss-type Cantor set. This suggests that at least some parts of $M\setminus L$5 are naturally modeled by subshifts of finite type under continued-fraction coding.

The same structural principle reappears in the later study of Freiman’s isolated region. There, every Markov value in $M\setminus L$6 arises from a continued fraction in $M\setminus L$7 avoiding a finite collection of forbidden words, and the corresponding Cantor set

$M\setminus L$8

satisfies

$M\setminus L$9

(Matheus et al., 2018). The two constructions differ in local combinatorics but share the same mechanism: forbidden subwords produce a Gauss-Cantor model for a fragment of the non-hitting spectrum.

4. Hausdorff dimension and thermodynamical formalism

The Cantor set $\alpha_\infty$0 is a dynamically defined Cantor set for the Gauss map $\alpha_\infty$1 with inverse branches

$\alpha_\infty$2

For words of length $\alpha_\infty$3 avoiding $\alpha_\infty$4, let

$\alpha_\infty$5

and for each $\alpha_\infty$6 define

$\alpha_\infty$7

Then set

$\alpha_\infty$8

Using Palis–Takens estimates, for every $\alpha_\infty$9,

$HD(M\setminus L)>0.353$0

A computer-assisted evaluation at $HD(M\setminus L)>0.353$1 yields

$HD(M\setminus L)>0.353$2

(Matheus et al., 2017).

A simpler rigorous lower bound comes from the inclusion

$HD(M\setminus L)>0.353$3

where $HD(M\setminus L)>0.353$4 is the Gauss-Cantor set generated by $HD(M\setminus L)>0.353$5 and $HD(M\setminus L)>0.353$6. For the 12th iterate one finds

$HD(M\setminus L)>0.353$7

hence

$HD(M\setminus L)>0.353$8

Therefore

$HD(M\setminus L)>0.353$9

(Matheus et al., 2017).

A parallel dimension argument applies in the interval $(c_\infty,C_\infty)$0. There the relevant Cantor set $(c_\infty,C_\infty)$1 contains

$(c_\infty,C_\infty)$2

and a computer-assisted pressure computation gives

$(c_\infty,C_\infty)$3

Since $(c_\infty,C_\infty)$4, one concludes

$(c_\infty,C_\infty)$5

(Matheus et al., 2018).

These results establish positive local thickness without claiming that the entire set $(c_\infty,C_\infty)$6 has been completely characterized. The available bounds are local and constructive. A plausible implication is that finite-type symbolic restrictions provide a systematic route to quantifying Hausdorff dimension in selected windows of $(c_\infty,C_\infty)$7.

5. Explicit elements, extremal known points, and local intervals

Matheus–Moreira’s symbolic extensions produce infinitely many new values in $(c_\infty,C_\infty)$8 accumulating at $(c_\infty,C_\infty)$9. In particular, they give the largest known member

$L$0

which exceeds the former record $L$1 of Cusick–Flahive (Matheus et al., 2017).

On the side of Freiman’s isolated region, there is a maximal open interval

$L$2

containing $L$3 and disjoint from $L$4, with endpoints

$L$5

$L$6

(Matheus et al., 2018).

Within this interval, the smallest known element of $L$7 is

$L$8

and

$L$9

(Matheus et al., 2018).

These computations show that the non-hitting spectrum is accessible not only via abstract dimension theory but also through explicit continued-fraction formulas. In this sense, the subject combines combinatorial symbolic dynamics with concrete arithmetic data: one can identify forbidden patterns, compute fractal dimensions, and still exhibit named extremal elements by exact expansions.

6. Geometric picture and significance

Several geometric conclusions emerge from these works. First, $L$00 is not exhausted by a countable family of isolated exceptions. Near $L$01, it is homeomorphic via continued-fraction coding to a Cantor set $L$02 of positive Hausdorff dimension (Matheus et al., 2017). Second, around Freiman’s isolated points, the Markov spectrum inside $L$03 also carries a Cantor-type structure arising from forbidden words, with positive dimension $L$04 (Matheus et al., 2018).

The overarching mechanism is uniform across these analyses. One starts from Perron’s formulas, imposes local constraints guaranteeing exclusion from $L$05, translates these constraints into finitely many forbidden subwords on the alphabet $L$06, and then studies the resulting Gauss-Cantor set by thermodynamical or pressure-type estimates. This gives a symbolic-dynamical explanation of why the non-hitting spectrum can be fractal rather than discrete.

A common misunderstanding is to identify the interval disjoint from $L$07 with a gap in $L$08. The cited results do not say that the relevant intervals are empty of Markov values. On the contrary, $L$09 and $L$10 are intervals avoiding $L$11 but supporting intricate subsets of $L$12, including Cantor pieces and explicit elements of $L$13 (Matheus et al., 2017, Matheus et al., 2018).

From a broader perspective, the non-hitting spectrum sits at the intersection of Diophantine approximation, continued fractions, hyperbolic dynamics, and fractal geometry. Its study converts arithmetic questions about best approximation constants into dimension-theoretic questions about symbolic subshifts and dynamically defined Cantor sets. This suggests that further progress is likely to depend on increasingly refined symbolic codings and rigorous computer-assisted estimates for the associated pressure equations.