{"id":"5af86a86-fb78-4699-934a-6466f9f89c41","arxiv_id":"2607.08496","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Every function satisfying the three abstract properties of a mass exponent arises as the mass exponent of eigenfunction edge-mass measures on quantum star graphs.","lead":"Quantum star graphs realize every admissible multifractal scaling law for eigenfunction edge-mass distributions in the large-edge limit. This supplies an explicit, fully controllable model of intermediate behavior between localization and equidistribution.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The reader correctly isolates the spectral-repulsion condition as the most delicate hypothesis of the constructive theorem, yet that condition is under the author’s control via the coupling α and is justified by the explicit first-order formula (1.21). All other steps (characterization of mass exponents, approximation by measures in M, ergodic extraction of eigenvalues, stability under finite-set modifications) are standard and carefully checked. Within the stated scope—edge-mass distributions on star graphs—the argument is complete and free of free parameters. The limitation that the model is highly symmetric is already acknowledged by the reader and does not affect internal correctness. Hence the ACCEPT verdict with high confidence stands.","tokens_in":17548,"tokens_out":602,"duration_ms":6200,"concrete_test":"Independently recompute the first-order expansion of ∑ cot(k L_i) for the lengths (1.18) at k = (1-t)p_{m,i_{0}} + t p_{m,i_{0}+1} with mε∥ℓ∥ ≪ 1; verify that the resulting rational function of t is continuous and non-constant on (0,1) and that its range covers an open interval of α-values for every fixed δ ∈ (0,½]. If the range is empty or collapses to a point, the constructive realization fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Theorems 1.4–1.5) holds under the paper’s own hypotheses. The characterization E = P (Theorem 3.7) follows from the standard convex-analysis representation of functions in P as pointwise suprema of tangents in A, together with the explicit block-uniform construction of Lemma 3.3 and the diagonal argument of Lemma 3.4; the discrete constraint τ(q)/q ≥ τ′(q) is correctly identified and used. For generic lengths, ergodicity of the linear flow on the torus plus continuity of the Gauss map G (Lemma 5.1) and the approximation of measures in M by points of Z ∩ A (Lemma 5.2) produce mass measures within ℓ^{1}-distance 1/n of any prescribed sequence, so Corollary 2.5 transfers the mass exponent. For the constructive quasi-equilateral case the spectral-repulsion condition (1.17) is not an uncontrolled assumption: the first-order expansion (1.21) shows that α is essentially a continuous function of the relative position t ∈ (0,1) inside the cluster, so any fixed δ ∈ (0,½] can be realized by an open interval of admissible α. The two exceptional edges i_{0}, i_{0}+1 contribute only a finite set and are absorbed by the stability Lemma 2.4. No hidden free parameter or circular step appears.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper studies edge-mass distributions of eigenfunctions on quantum star graphs in the large-edge-number limit, and shows that these distributions realize every admissible multifractal scaling law. After characterizing the set of possible mass exponents τ (functions satisfying 0 ≥ τ ≥ 1-id, convexity, and τ(q)/q ≥ τ'(q)) via convex analysis and an explicit block-uniform construction (Theorem 1.3 / 3.7), the authors prove two realization theorems. For generic rationally independent edge lengths and α = 0, ergodicity of the linear flow on the torus together with approximation of measures in M by points of the spectral variety Z ∩ A yields a subsequence of mass measures with any prescribed exponent (Theorem 1.4). For quasi-equilateral graphs, an explicit construction of lengths from a target measure \nu_n, together with a spectral-repulsion condition on the coupling α, produces eigenvalues inside clusters whose mass measures are asymptotically equivalent to \nu_n except on two edges, hence share the same mass exponent (Theorem 1.5).","tokens_in":17808,"tokens_out":813,"duration_ms":7203,"significance":"The work supplies a clean, fully rigorous model of the full range of admissible multifractal scaling between localization and equidistribution. The characterization of discrete mass exponents is elementary but sharp, and the two realization theorems (generic ergodic extraction and constructive quasi-equilateral construction) together give both existence and an explicit recipe. The arguments rest on standard tools (Hölder, convex analysis, spectral determinant, Kronecker–Weyl, Taylor expansion of cotangents) with no free parameters or circular fitting; the spectral-repulsion condition is shown to be realizable by an open set of couplings. This substantially generalizes the earlier examples of Keating–Ueberschär and makes star graphs a transparent laboratory for intermediate eigenfunction statistics.","major_comments":[],"minor_comments":[{"comment":"In the statement of Theorem 1.5 the word \"wich\" should be \"which\".","section":null},{"comment":"Definition 3.2 of the set M is used crucially in Lemmas 3.3–3.4 and 5.2; a brief sentence explaining why the signed-square-root cancellation condition appears (compatibility with the hyperplane ∑ y_i = 0) would help the reader.","section":null},{"comment":"The passage from (1.20) to (1.21) asserts that α_m(k_m(t)) is, up to first order, a rational function of t independent of m; writing the leading term explicitly would make the claim that any fixed δ is attainable by an open interval of α completely transparent.","section":null},{"comment":"Figure 2 is referenced but not described in the caption beyond \"zeros k shown in red\"; a short indication that the poles form clusters would improve readability.","section":null},{"comment":"The arXiv identifier of the companion paper [KU] is given only as arXiv:2202.13634; adding the full bibliographic data once it is published would be useful.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is technically solid and the central claims hold under the stated hypotheses. The reader’s and stress-test assessments are consistent with my own reading: no load-bearing gap appears. Fit for a math-physics journal is excellent."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The punchline is simple: Nietschmann proves that the edge-mass measures of eigenfunctions on quantum star graphs realize every function τ that can arise as a mass exponent for any sequence of probability measures on growing finite sets. That is the full set P of functions satisfying the three elementary inequalities (bounds, convexity, and the discrete derivative constraint). Prior work by Keating–Ueberschär only hit a one-parameter family of piecewise-affine examples; this paper closes the class.\n\nWhat is new is the abstract characterization (Theorem 3.7) via block-uniform measures plus diagonalization, the approximation of those measures by points on the spectral variety (Lemma 5.2), and the two realization theorems. For generic rationally independent lengths the argument is ergodic extraction along the linear flow; for quasi-equilateral graphs it is fully constructive—prescribe the target measures ν_n, build the lengths, and pick eigenvalues inside clusters that stay a fixed fraction away from the poles. The stability lemmas then transfer the exponents cleanly. The math is elementary convex analysis, spectral determinants, and Taylor expansions of cotangents; everything is self-contained and free of free parameters or circular steps.\n\nSoft spots are minor and proportional. The spectral-repulsion condition is not uncontrolled: the first-order expansion shows α is essentially a continuous function of the relative position inside the cluster, so any fixed δ works for an open set of couplings. The two exceptional edges are absorbed by the finite-set stability lemma. The model remains a highly symmetric toy; nothing here transfers yet to Anderson mobility edges or polygonal billiards, but the paper never claims otherwise. The generic subsequence is non-constructive, which is why the quasi-equilateral construction is valuable.\n\nThis is for people working on quantum graphs, intermediate spectral statistics, or rigorous multifractality. The proofs are clean enough that a serious referee will have little trouble checking them. I would send it out for review without hesitation and would bring it to reading group. Worth citing if you touch these models.","headline":"Solid complete classification: every admissible discrete mass exponent is realized by star-graph eigenfunctions, both generically and constructively.","tokens_in":18427,"tokens_out":504,"would_cite":true,"duration_ms":11054,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81Q35","35P20","37D50","28A80"],"pacs":[],"model":"grok-4.5","headline":"Quantum star graphs can realize every admissible multifractal mass scaling between localization and equidistribution.","keywords":["quantum star graphs","semiclassical measures","multifractality","mass exponents","edge-mass distributions","spectral clusters","quasi-equilateral graphs"],"falsifier":"Construct a sequence of quasi-equilateral star graphs from a non-affine τ, choose α so that the spectral-repulsion condition holds, compute the edge-mass measures of the selected eigenvalues inside successive clusters, and check whether their empirical mass exponents converge to that τ.","tokens_in":18402,"feed_emoji":"⬡","tokens_out":844,"duration_ms":9264,"temperature":0.7,"pith_summary":"The paper asks how the mass of eigenfunctions of quantum star graphs can be distributed across edges when the number of edges grows. It shows that the discrete mass distributions carried by those eigenfunctions can obey every scaling law that is mathematically allowed for probability measures on growing finite sets. For generic edge lengths this is obtained along a subsequence of eigenvalues extracted by an ergodicity argument; for quasi-equilateral lengths the paper gives an explicit construction that starts from any prescribed probability measures, builds the lengths, and selects eigenvalues inside spectral clusters so that the eigenfunctions reproduce the same scaling. The result turns star graphs into a fully flexible, completely explicit model of intermediate multifractality between pure localization and uniform equidistribution.","feed_headline":"Star graphs realize every multifractal mass law","feed_subtitle":"Eigenfunctions can be tuned from pure localization to full equidistribution by edge lengths alone","key_machinery":"The mass exponent τ(q) = lim sup (log ∥μ_n∥_q^q)/log n of the edge-mass probability measures μ_n, together with the spectral determinant on the torus and the clustering of poles for quasi-equilateral lengths, which together convert abstract scaling laws into concrete eigenfunction mass distributions.","core_discovery":"Every function τ that satisfies the three necessary properties of a mass exponent (0 ≥ τ ≥ 1-id, convexity, and τ(q)/q ≥ τ'(q)) is realized as the mass exponent of a sequence of edge-mass measures of eigenfunctions of quantum star graphs. This holds both for generic rationally independent lengths (via an ergodic extraction of eigenvalues) and constructively for quasi-equilateral graphs (by building lengths from prescribed measures and selecting eigenvalues that stay a fixed fraction of the inter-pole gap away from neighboring poles).","pith_inferences":["The same torus-flow and clustering techniques should extend, with only minor changes, to other tree-like quantum graphs that admit an analogous spectral determinant.","Once every mass exponent is realizable, one can ask which of them appear with positive density among all eigenvalues rather than only along a subsequence.","The constructive quasi-equilateral route supplies a practical numerical test-bed for conjectured multifractal statistics at mobility edges in disordered systems."],"forward_implications":["Every mathematically admissible multifractal scaling law can appear as an eigenfunction mass distribution on some sequence of quantum star graphs.","Star graphs become a completely explicit laboratory for intermediate spectral statistics between Poisson and random-matrix regimes.","The same construction yields both pure localization (τ=0) and full equidistribution (τ=1-id) as special cases of a single geometric model.","Quasi-equilateral graphs allow the eigenvalues realizing a given scaling to be located inside explicitly known spectral clusters rather than merely asserted to exist."],"fun_headline_variants":["Star graphs realize every admissible multifractal mass law","Eigenfunctions hit all multifractal scalings on star graphs","Every valid mass exponent arises in star-graph eigenfunctions","Star graphs span multifractality from localization to equidistribution","Semiclassical measures on star graphs attain full multifractal range"],"cache_read_input_tokens":128,"weakest_assumption_plain":"The eigenvalue must stay a fixed positive fraction of the gap away from the two neighboring poles so that its mass on almost every edge is asymptotically equivalent to the prescribed measure.","fun_headline_variants_meta":{"raw":{"variants":["Star graphs realize every admissible multifractal mass law","Eigenfunctions hit all multifractal scalings on star graphs","Every valid mass exponent arises in star-graph eigenfunctions","Star graphs span multifractality from localization to equidistribution","Semiclassical measures on star graphs attain full multifractal range"]},"model":"grok-4.5","effort":"low","cost_usd":0.006414,"raw_usage":{"total_tokens":1583,"prompt_tokens":675,"num_sources_used":0,"completion_tokens":70,"cost_in_usd_ticks":64140000,"prompt_tokens_details":{"text_tokens":675,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":838,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":675,"tokens_out":70,"duration_ms":7476,"temperature":1.0,"reasoning_tokens":838,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-10T06:30:52.942839+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Construct a sequence of quasi-equilateral star graphs from a non-affine τ, choose α so that the spectral-repulsion condition holds, compute the edge-mass measures of the selected eigenvalues inside successive clusters, and check whether their empirical mass exponents converge to that τ.","supporting_citations":[],"review_version":1}