REVIEW 3 major objections 4 minor 14 references
The Dirichlet spectrum
T0 review · 3 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read For every $(m,n)$ with $\max(m,n)>1$ and every choice of norms on $\mathbb{R}^m$ and $\mathbb{R}^n$, the Dirichlet spectrum is the full interval $[0,\Delta]$, with every level attained on an uncountable dense set.
desk verdict Strong result, likely patchable gap: the proof of Theorem 5 asserts that nested nonempty open sets with compact closures have nonempty intersection, which is false, and the rest of the paper leans on it. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the topological interval theorem, Theorem 5. It says that if $\Xi$ is a Hausdorff space, $f:\Xi\times(0,\infty)\to[0,\infty]$ is continuous, and there is a sequence of subsets $(X_n)$ such that $\Xi$ is locally connected via $(X_n)$ and the $X_n$ satisfy upper uniformity, meaning $f(x,t)\to 0$ uniformly on compact sets as $t\to\infty$ for $x\in X_n$, then whenever the set of points with $\limsup_{t\to\infty} f(x,t)\ge b$ is dense, every level $c\in(0,b)$ is realized by uncountably many points. The construction threads a point through shrinking connected pieces $\Omega_k$ that alternately force $f$ below $c$ on long time intervals and above $c-\varepsilon_k$ at specified moments. In the applications, $\Xi$ is the matrix space $M_{m,n}$, $f$ is either the continuous function $\lambda_{\Theta,\psi}(t)$ or the return function $\inf\{\varepsilon: g_{t,\vec\alpha,\vec\beta}\Lambda_\Theta\notin E_\varepsilon\}$, and the sets $X_n$ are rational affine lines or planes, whose upper uniformity is verified using Dirichlet's theorem and explicit vector estimates.
What would settle it
Take a bounded positive-measure set $B\subset M_{m,n}$ and a compactly supported continuous function $F$ supported inside one compact set $E_c$ of the exhaustion, and check whether the averaged integral $\mathrm{vol}(B)^{-1}\int_B F(g_{t,\vec\alpha,\vec\beta}\Lambda_\Theta)\,d\mathrm{vol}(\Theta)$ approaches the Haar-Siegel average for large $t$; if the equidistribution statement of Theorem 6 fails for some weights or norms, the dense starting set used in the induction does not exist and the interval conclusion is unsupported for that case. A second check is to verify that in an explicit application of Theorem 5 the constructed sets $\Omega_k$ have closures whose intersection is nonempty.
Extended reading notes
Core claim
The central discovery is that the Dirichlet spectrum is an interval $D_{m,n}=[0,\Delta]$ for all $m,n$ with $\max(m,n)>1$ and arbitrary norms, where $\Delta$ is the minimal constant in the higher-dimensional Dirichlet theorem. Moreover, the level sets $\{\Theta\in M_{m,n}: \limsup_{t\to\infty}\chi(\Theta,t)=c\}$ are uncountable and dense for each $c\in[0,\Delta]$. The same statement is proved for the extended Dirichlet constant on unimodular lattices in dimension $d\ge 3$ with arbitrary weights and arbitrary continuous compact exhaustions, for the $\psi$-Dirichlet spectrum with $\psi(t)=o(t^{-1})$, and for the uniform exponent $\hat\omega(\Theta)$, while a separate theorem shows the analogous lattice spectrum in dimension $d=2$ has a gap, so the interval phenomenon is genuinely a high-dimensional one.
Load-bearing premise
The load-bearing premise is that the equidistribution theorem cited as [KW08] applies to the weighted diagonal flow for every bounded set used in the induction, because it alone provides the dense full-measure set of matrices with maximal limsup from which the level-by-level construction starts; the proof of Theorem 5 also needs a repair in the nesting of open sets, since compact-closure nesting is asserted rather than derived.
Editorial extensions
If this is right
- For every $c\in[0,\Delta]$, uncountably many matrices in any open set have $\limsup_{t\to\infty}\chi(\Theta,t)=c$, so the spectrum is not just an interval but has every level dense.
- For any positive continuous decreasing $\psi(t)=o(t^{-1})$ satisfying the extra decay condition when $n=1$, the $\psi$-Dirichlet spectrum is $[0,\infty]$, giving prescribed limsup values for the continuous approximation function $\lambda_{\Theta,\psi}$.
- For every uniform exponent $\gamma>n/m$, with $\gamma<1$ when $n=1$, there are uncountably many dense matrices with $\hat\omega(\Theta)=\gamma$ and with $\limsup_{t\to\infty}\chi_\gamma(\Theta,t)$ equal to any prescribed $c\in[0,\infty]$.
- In dimension $d\ge 3$, for arbitrary weights and any continuous decreasing compact exhaustion of the lattice space, the extended Dirichlet spectrum is $[0,b]$, which answers previously open questions about metric-ball versions of the spectrum.
- For $d=2$, the extended spectrum always contains a gap $(0,r)$, so the full-interval phenomenon fails there, marking the dimensional threshold.
Reading between the lines
- Implicit in the paper: the same topological theorem should produce interval spectra for other continuous Diophantine quantities with a rational-affine upper-uniform family and a dense high-limsup set, such as weighted approximations with time-dependent weights.
- Implicit in the paper: the obstruction in the $(1,1)$ case is presented as topological, since the auxiliary sets collapse to points, which suggests a geometric criterion for interval spectra rather than an arithmetic one.
- A testable extension: one can numerically probe a single level $c$ near $\Delta$ by starting from a rational matrix on one of the affine lines used in the proof and adding a tiny perturbation; the proof predicts the limsup stays exactly $c$ for uncountably many nearby matrices, so stability of the limsup under such perturbations would corroborate the dense-level claim.
- Implicit in the paper: the $d=2$ gap and the $(1,1)$ failure suggest the natural next question is the sharp size and location of the gap for specific exhaustions, and whether the gap persists for all proper metric exhaustions in $d=2$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that for max(m,n)>1 and arbitrary norms on R^m and R^n, the Dirichlet spectrum D_{m,n} equals the full interval [0,Delta], and that the set of matrices attaining any prescribed limsup value is uncountable and dense in M_{m,n}. It also proves interval results for weighted psi-Dirichlet spectra and the associated uniform exponent (Theorems 2-3), formulates a general topological criterion (Theorem 5), and gives a negative result in dimension two (Theorem 4). The proofs combine a Khintchine-type topological construction with upper-uniformity estimates along rational affine subspaces and an equidistribution result of Kleinbock-Weiss.
Significance. If the gaps described below are repaired, this is a strong and significant paper. It resolves a natural generalization of Akhunzhanov-Shatskov, removes norm restrictions, and unifies several recent partial results under one topological mechanism. The verification of local connectedness via affine lines and planes and the parameter-free upper-uniformity bounds are explicit and careful, and the dependence on external results is clearly isolated: the equidistribution theorem of Kleinbock-Weiss and Mahler compactness are prior results, not derived from the paper's conclusion. The topological theorem is also likely to be useful beyond the present application.
major comments (3)
- [Section 4, proof of Theorem 5] The passage after condition (E) states: 'Omega_k is non-empty and open with compact closure for all k, hence the intersection cap_k Omega_k is not empty by condition (B).' This implication is false: a nested sequence of nonempty open sets with compact closures need not have nonempty intersection (for example (0,1/k) in R). The induction only guarantees Omega_{k+1} subset U_w cap Omega_k, not cl(Omega_{k+1}) subset Omega_k, so the existence of the point x_0 is not established. Since Theorems 2, 3 and 1 obtain their limsup points as elements of this intersection, this is a load-bearing gap. The repair is standard: in the locally compact setting one may first choose U_w with compact closure contained in Omega_k, then choose Omega_{k+1} with cl(Omega_{k+1}) subset Omega_k, making the closures a nested family of compact sets to which Cantor's theorem applies. The written proof should be amended to state and use this stronger inclusion.
- [Section 5.1, proof of Theorem 2] The statement of Theorem 2 includes the value c=0, but the proof only covers the interior values via Theorem 5 (which requires 0<c<b) and the value b via the full-measure equidistribution argument. No argument is supplied for c=0. For the special case E_epsilon=K_epsilon(||.||) this follows from rational matrices, and for an arbitrary continuous decreasing exhaustion it can be obtained similarly once one observes that a lattice Lambda_Theta with rational Theta contains a vector whose g_t-image tends to 0, forcing f(Theta,t) to tend to 0; however this is not stated in the proof. The endpoint c=0 therefore needs an explicit justification in the text.
- [Section 4, uncountability part of the proof of Theorem 5] In the 'uncountably many' part of the proof of Theorem 5, the induction step at level k chooses U_w avoiding v_{k+1}, so it yields v_{k+1} notin Omega_{k+1}; it never excludes v_0 from Omega_0. The sentence 'repeating this argument at each step, we get that v_k notin Omega_k for all k' therefore does not follow for k=0. One can repair this by requiring at the base step that Omega_0 subset V setminus {v_0} (which is possible in the non-isolated spaces used in the applications, and otherwise the statement needs a separate discussion), and then the subsequent steps exclude v_1, v_2, and so on; this repair needs to be written explicitly.
minor comments (4)
- [Section 5.2, Case 1] The definition of the lines X_{i,z} in the proof of Theorem 3 should use z in Q^m consistently; the text writes z in Z^m in the enumeration, but the local-connectedness argument from Section 5.1 requires the rational translates.
- [Theorems 1-3] The notation 'open set V in M_{m,n}' should be 'open set V subset M_{m,n}' (and similarly in the corollaries); as written it suggests V is a matrix rather than a set.
- [Throughout] The manuscript contains numerous OCR-style typographical errors, including 'co rresponding', 'define', repeated bold words, and 'disjoints sets'; a careful proofreading pass is needed.
- [Section 5.1] The full-measure conclusion is stated for each fixed c<b; to obtain a single full-measure set on which limsup f >= b one should intersect over a countable sequence of c-values approaching b. This is standard but should be stated.
Circularity Check
No significant circularity: the main result is derived from an independent equidistribution theorem and a self-contained topological argument.
full rationale
The derivation chain is not circular. Theorem 1 is reduced to Theorem 2 by taking the exhaustion E_epsilon = K_epsilon and uniform weights, with the dictionary given in equations (6), (7) and (9); Theorem 2 for arbitrary exhaustions and weights is genuinely more general than Theorem 1. Theorems 2 and 3 are deduced from the topological Theorem 5, whose proof is included in the paper, and the dense full-measure hypothesis required by Theorem 5 is supplied by the Kleinbock-Weiss equidistribution theorem (Theorem 6, cited from [KW08]). That theorem is an established external result with an independent proof; although Weiss is a coauthor of the present paper, the citation is to a previously published theorem, not to the paper's own claim, and no parameter of the present argument is fitted to force the conclusion. The interval [0,Delta] is not produced by definition: only the inclusion D subset [0,Delta] is immediate from Dirichlet's theorem, and the surjectivity is the content of the proof. The false nested-open-set inference in the proof of Theorem 5 is a proof-correctness gap, not a circularity, because the desired point is not assumed to exist but is claimed to follow from the nesting conditions.
Assumptions & free parameters
assumptions (4)
- standard math Minkowski convex body theorem (used to derive Dirichlet's theorem (1))
- standard math Mahler's compactness criterion (used to define K_epsilon exhaustion and bound E_eta inside K_c)
- domain assumption Kleinbock-Weiss equidistribution theorem (Theorem 6) for expanding diagonal flows on X_d
- domain assumption Known fact for d=2 that any nondivergent orbit of the diagonal flow intersects a fixed compact set infinitely often (Einsiedler-Ward, Lemma 11.29)
Cite this review
Pith. "Pith review of The Dirichlet spectrum." pith.science (2026). https://pith.science/paper/KNKVEIH2
@misc{pith2026241205858,
author = {Pith},
title = {Pith review of: The Dirichlet spectrum},
year = {2026},
howpublished = {\url{https://pith.science/paper/KNKVEIH2}},
note = {Machine review of arXiv:2412.05858}
}
abstract
Akhunzhanov and Shatskov defined the Dirichlet spectrum, corresponding to $m \times n$ matrices and to norms on $\mathbb{R}^m$ and $\mathbb{R}^n$. In case $(m,n) = (2,1)$ and using the Euclidean norm on $\mathbb{R}^2$, they showed that the spectrum is an interval. We generalize this result to arbitrary $(m,n) \neq (1,1)$ and arbitrary norms, improving previous works from recent years. We also define some related spectra and show that they too are intervals. Our argument is a modification of an argument of Khintchine from 1926.
Reference graph
Works this paper leans on
-
[1]
A. Agin. Constructing displacement vectors. Mosc. J. Comb. Number Theory , 13(3):239–264, 2024
work page 2024
-
[2]
R.K. Akhunzhanov and D.O. Shatskov. On dirichlet spectrum for two-dimensional simultaneous diophantine approximation. Mosc. J. Comb. Number Theory , 3(3-4):5--23, 2013
work page 2013
-
[3]
An introduction to diophantine approximation
J.W.S Cassels. An introduction to diophantine approximation. Cambridge Tracts , 45, 1957
work page 1957
-
[4]
S.G. Dani. Divergent trajectories of flows on homogeneous spaces and diophantine approximation. J. Reine Angew. Math , 359:55--89, 1985
work page 1985
-
[5]
H. Davenport and W.M. Schmidt. Dirichlet’s theorem on diophantine approximation ii. Acta Arith , 16:413--424, 1969-1970
work page 1969
-
[6]
On the Folklore set and Dirichlet spectrum for matrices
M. Hussain, J. Schleischitz, and B. Ward. On the folklore set and dirichlet spectrum for matrices. arXiv preprint arXiv:2402.13451v2 , 2024
work page Pith review arXiv 2024
-
[7]
A.Ya. Khintchine. Uber eine klasse linearer diophantischer approximationen. Rend. Circ. Math. Palermo , 50:170--195, 1926
work page 1926
-
[8]
D. Kleinbock, N. Moshchevitin, and B. Weiss. Singular vectors on manifolds and fractals. Israel J. Math , 245(2), 2021
work page 2021
Show all 14 references
-
[9]
Kleinbock and A
D. Kleinbock and A. Rao. Weighted uniform diophantine approximation of system of linear forms. Pure Appl. Math, to appear , 2021
2021
-
[10]
Kleinbock and A
D. Kleinbock and A. Rao. Abundance of dirichlet-improvable pairs with respect to arbitrary norms. Mosc. J. Comb. Number Theory , 11(1):97--114, 2022
2022
-
[11]
Kleinbock and B
D. Kleinbock and B. Weiss. Dirichlet's theorem on diophantine approximation and homogeneous flows. J. Mod. Dyn. , 2(1), 2008
2008
-
[12]
Schleischitz
J. Schleischitz. Dirichlet spectrum for one linear form. Bull. Lond. Math. Soc. , 55(3):1330--1339, 2023
2023
-
[13]
Schleischitz
J. Schleischitz. Exact uniform approximation and dirichlet spectrum in dimension at least two. Selecta Math. , 29(5):article 86, 2023
2023
-
[14]
B. Weiss. Divergent trajectories on noncompact parameter spaces. Geom. Funct. Anal. , 14(1):94--149, 2004
2004
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.