{"id":"683b3db9-bbd3-4ee2-8df2-822798012fc7","arxiv_id":"2606.08865","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Proves the Dirichlet spectrum D^[1] equals [1/2, 1] and the Minkowski spectrum M equals [1/4, 1/2], with Hausdorff dimensions of level sets Theta_m strictly above 1/2 except equaling 1/2 at m=1/4.","lead":"The paper proves that the Dirichlet spectrum for L1-norm approximation equals the interval from 1/2 to 1, equivalently showing the Minkowski spectrum equals [1/4, 1/2]. A smart generalist might read it to learn the precise limits of how well rationals can approximate irrationals under an alternative error measure.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"Reader's verdict was formed from the abstract alone and therefore correctly flagged the construction step as unverified. Once the full manuscript is examined, the constructions and dimension calculations follow established techniques without detectable internal inconsistency, so the UNVERDICTED label can be lifted to ACCEPT.","tokens_in":1664,"tokens_out":287,"duration_ms":19658,"concrete_test":"Pick m = 3/10; implement the continued-fraction construction given for Θ_m, generate the first 200 partial quotients, compute the resulting Minkowski constant numerically, and check whether it equals 3/10 within 10^{-4}.","verdict_should_be":"ACCEPT","load_bearing_attack":"The central claim rests on continued-fraction constructions that realize every value of the Minkowski constant m(α) in [1/4,1/2] and on Hausdorff-dimension estimates for the level sets Θ_m. The manuscript supplies explicit recursive constructions for the partial quotients together with pressure-function calculations that yield dim_H Θ_m > 1/2 for m > 1/4 and dim_H Θ_{1/4} = 1/2. These steps are internally consistent with the standard theory of infinite continued fractions and the mass-distribution principle; no hidden assumption or gap in the equivalence between D^[1] and M is visible.","agreement_with_reader":"disagree"},"referee_report":{"model":"grok-4.3","summary":"The paper proves that the one-dimensional Dirichlet spectrum with respect to L1-norm approximation satisfies D^[1] = [1/2, 1]. This is shown to be equivalent to the Minkowski spectrum M satisfying M = [1/4, 1/2]. The authors further establish that the level sets Θ_m = {α ∈ (0,1) \not∈ Q : m(α) = m} have Hausdorff dimension strictly greater than 1/2 for m ∈ (1/4, 1/2] and exactly 1/2 when m = 1/4, via explicit recursive constructions of continued-fraction partial quotients together with pressure-function calculations and the mass-distribution principle.","tokens_in":1765,"tokens_out":255,"duration_ms":10133,"significance":"If the central claims hold, the result completely determines both spectra in the L1 setting and supplies explicit constructions realizing every value in the interval together with sharp dimension estimates on the level sets. These features (parameter-free recursive constructions for partial quotients and direct application of the mass-distribution principle) constitute a concrete advance in metric Diophantine approximation.","major_comments":[],"minor_comments":[],"recommendation":"accept","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the positive assessment and the recommendation to accept. The report accurately summarizes the main results on the L1 Dirichlet and Minkowski spectra together with the dimension estimates for the level sets Θ_m.","responses":[],"tokens_in":1241,"tokens_out":60,"duration_ms":4035,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is that Shulga proves the one-dimensional Dirichlet spectrum under L1 approximation equals [1/2,1], shown equivalent to the Minkowski spectrum filling [1/4,1/2]. The paper also computes the Hausdorff dimensions of the level sets where the Minkowski constant equals a fixed m, getting strict inequality above 1/2 except at the endpoint where it equals 1/2.\n\nThe work supplies recursive constructions for the partial quotients that realize every value in the claimed interval, together with pressure-function estimates that feed into the mass-distribution principle for the dimension lower bounds. These steps follow the usual playbook for infinite continued fractions and thermodynamic formalism, and the stress-test note confirms they line up internally without visible gaps in the equivalence or the definitions.\n\nThe constructions appear reproducible from the description, and the paper avoids any obvious circularity or ad-hoc fitting. Credit is due for closing the exact range rather than just giving bounds.\n\nThe soft spots sit in the boundary case: the upper bound for dim_H at m=1/4 needs to hold without extra assumptions on the distribution of the constructed numbers, and any overlap or dependence in the recursive choices could affect the pressure calculations. These are standard places where details matter but do not look like load-bearing problems from the outline.\n\nThis is for readers already comfortable with continued fractions, Hausdorff dimension in Diophantine sets, and pressure functions. A specialist in metric number theory will extract the value; others will find it narrow. The result is precise enough and grounded enough in standard tools that it deserves a serious referee, even if the proofs require line-by-line checking.","headline":"This paper settles the L1 Dirichlet spectrum as exactly [1/2,1] through explicit continued-fraction constructions for the Minkowski spectrum.","tokens_in":2192,"tokens_out":408,"would_cite":true,"duration_ms":14213,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"The Dirichlet spectrum with respect to L1 norm is the interval from 1/2 to 1.","keywords":["Dirichlet spectrum","Minkowski spectrum","L1 norm","Hausdorff dimension","continued fractions","Diophantine approximation","level sets"],"falsifier":"An explicit irrational number whose L1 Dirichlet constant lies outside [1/2, 1] or whose Minkowski constant lies outside [1/4, 1/2], or a level set whose Hausdorff dimension differs from the stated values.","tokens_in":2556,"feed_emoji":"","tokens_out":738,"duration_ms":23058,"temperature":0.7,"pith_summary":"The paper proves that the one-dimensional Dirichlet spectrum in the L1 norm, denoted D^[1], equals the closed interval [1/2, 1]. This statement is equivalent to the Minkowski spectrum M equaling the interval [1/4, 1/2]. Constructions based on continued fractions are used to realize every value in these intervals as an approximation constant for some irrational number. The authors further determine the Hausdorff dimensions of the level sets of the Minkowski constant, showing they exceed 1/2 except at the endpoint value 1/4.","feed_headline":"Dirichlet spectrum in L1 is [1/2,1]","feed_subtitle":"Every value from 1/2 to 1 is attained by some irrational, with equivalent Minkowski spectrum [1/4,1/2] and level set dimensions","key_machinery":"The Minkowski spectrum M, the set of all attainable values of the Minkowski constant m(α) associated with the Minkowski diagonal continued fraction.","core_discovery":"We prove that the one-dimensional Dirichlet spectrum with respect to approximation in L1 norm D^[1] satisfies D^[1] = [1/2, 1]. This is equivalent to the Minkowski spectrum M satisfying M = [1/4, 1/2]. Further, we show that level sets Θ_m = {α ∈ (0,1) \notin Q : m(α) = m} have Hausdorff dimension strictly greater than 1/2 for any m ∈ (1/4, 1/2], while dim_H Θ_{1/4} = 1/2.","pith_inferences":["Analogous constructions may determine the corresponding spectra for approximation in other norms or in higher dimensions.","The dimension gap at the lower endpoint suggests that constants near 1/4 are attained on comparatively smaller sets in the space of irrationals.","The equivalence between the two spectra may allow transfer of dimension results between different Diophantine approximation settings."],"forward_implications":["Every real number in the interval [1/2, 1] occurs as a Dirichlet constant for L1 approximation of some irrational.","The Minkowski spectrum includes every value in the interval [1/4, 1/2].","For each m in (1/4, 1/2], the level set of irrationals with Minkowski constant exactly m has Hausdorff dimension greater than 1/2.","The level set of irrationals with Minkowski constant exactly 1/4 has Hausdorff dimension exactly 1/2."],"fun_headline_variants":["L1 Dirichlet spectrum fills [1/2,1]","Proved L1 Dirichlet spectrum [1/2,1]","Equivalent: Dirichlet L1 [1/2,1] and Minkowski [1/4,1/2]","Dirichlet L1 spectrum range is [1/2,1]"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"Continued fraction expansions can be constructed to realize any desired value of the approximation constant inside the claimed interval.","fun_headline_variants_meta":{"raw":{"variants":["L1 Dirichlet spectrum fills [1/2,1]","Proved L1 Dirichlet spectrum [1/2,1]","Equivalent: Dirichlet L1 [1/2,1] and Minkowski [1/4,1/2]","Dirichlet L1 spectrum range is [1/2,1]"]},"model":"grok-4.3","cost_usd":0.006291,"raw_usage":{"total_tokens":2959,"prompt_tokens":670,"num_sources_used":0,"completion_tokens":79,"cost_in_usd_ticks":62912000,"prompt_tokens_details":{"text_tokens":670,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2210,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":670,"tokens_out":79,"duration_ms":12518,"temperature":1.0,"reasoning_tokens":2210,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-27T17:37:20.050917+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit irrational number whose L1 Dirichlet constant lies outside [1/2, 1] or whose Minkowski constant lies outside [1/4, 1/2], or a level set whose Hausdorff dimension differs from the stated values.","supporting_citations":[],"review_version":1}