{"id":"28cf1cd9-f75b-4fb5-9bc6-db22087fde60","arxiv_id":"2505.07657","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Any smooth quasiperiodic potential with dihedral symmetry D_n (n≥3) and any number of quasiperiods has open level lines at a single energy value at most.","lead":"This paper proves that smooth quasiperiodic potentials with dihedral symmetry D_n, for n at least 3, can have open (unbounded) level lines at only one energy value. The result brings such potentials, which include models of quasicrystals, closer to random potentials and sharpens the Novikov problem for an arbitrary number of quasiperiods.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof's contradiction depends on unproved intersection claims between shifted and original level curves; entering a translated sector boundary does not by itself force an intersection with the two specified shifted curves.","rationale":"The Reader's verdict is CONDITIONAL, and this stress-test does not move it. The identified concern is real and load-bearing, but it is not exactly the sector lemma identified by the Reader. The sector lemma, while unproved in the text, is plausibly correct via a finite-order homeomorphism fixed-point argument. The more serious gap is the unproved intersection step in both situations A and B: the proof needs a definite point where a shifted level curve meets a fixed level curve, and no argument is given that such a point exists. The Lipschitz estimate can only produce a contradiction at such an intersection. The dense-winding property of the relevant ray or line gives flexibility, but the paper does not prove that the required intersection is achieved or stable. A concrete geometric test can determine whether the implication is a general fact or an additional hidden assumption. Since the central claim may still be true and the gaps appear fillable, the appropriate verdict remains CONDITIONAL, which is unchanged from the Reader's verdict.","tokens_in":8756,"tokens_out":24162,"duration_ms":262142,"concrete_test":"Model the configuration of Fig. 8 with straight-line arcs in a wedge: let S1 contain two disjoint unbounded arcs γ1 and γ2, let T be a translated copy of the adjacent sector with two internal arcs, and place T so that γ1 crosses the boundary of T. Check whether γ1 and γ2 necessarily meet the internal arcs of T. If a non-intersecting placement exists, the assertion in situation A is false as stated and the proof requires an additional argument ruling it out for level lines of D_n-symmetric quasiperiodic potentials. If no such placement exists, prove the ordering property that excludes it and state it explicitly.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central contradiction requires an actual intersection point between a curve γ1 or γ2 in S1 and a translated copy σ_h[γ′_2] or σ_h[γ′_1] from the shifted sector. The paper asserts this twice without proof: in situation A, 'In this case, either γ1 intersects σ_h[γ′_2] or γ2 intersects σ_h[γ′_1]', and in situation B, 'It is easy to see that with a suitable choice ... we can ensure the intersection'. Crossing a translated sector boundary is not sufficient: an unbounded curve can enter a wedge and run in a subregion between the two internal curves without meeting either. The Lipschitz comparison (II.1), (II.4), (II.5) only yields a contradiction at a point of intersection; without such a point the argument has no force. The density of the ray L or line P supplies many admissible shifts, but the paper does not show that for the chosen O′ or X the required intersection actually occurs, nor that it is stable under the small shifts used. This is the true load-bearing step: if intersection can fail for some D_n-symmetric potential, the theorem is not proved. The sector lemma highlighted by the Reader is also unproved, but it is less concerning because it can be justified by a fixed-point argument: a finite-order homeomorphism of the real line has a fixed point, forcing the claimed impossibility of crossing two adjacent symmetry rays.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies Novikov's problem for quasiperiodic potentials on the plane that are invariant under a dihedral group D_n, n ≥ 3, under a completely irrational embedding and a bounded gradient condition. The main claim is that for such potentials, open level lines can occur only at a single energy value ε = ε0; at every other energy all level lines are closed, with diameters bounded by a constant D(ε) that diverges as ε → ε0. The proof is by contradiction: assuming open nonsingular level lines at two energies E1 < E2, the author uses the dihedral symmetry to isolate unbounded curves γ1 and γ2 in each sector, then uses density of certain rays/lines under the irrational embedding to translate a copy of a neighboring sector close to the original one. A Lipschitz comparison then purports to force a contradiction at an intersection of a level-E1 curve with a translated level-E2 curve. The paper concludes that the energy interval [ε1, ε2] must collapse to a point and that chaotic open level lines occur only at a single energy.","tokens_in":8980,"tokens_out":7438,"duration_ms":74052,"significance":"If the proof is correct, the result is a substantial extension of the single-energy property of chaotic level lines from the N = 3 case and from the two-layer superposition case to all dihedral-symmetric quasiperiodic potentials with an arbitrary number of quasiperiods. This is directly relevant to quasicrystal models, for example those with fivefold symmetry, where approximation by periodic potentials of the same symmetry is not available. The paper formulates a clean falsifiable statement and uses a natural strategy combining dihedral symmetry, dense windings, and Lipschitz comparison. The main weakness is that several load-bearing topological intersection claims are stated without proof; these are not merely presentation issues and must be addressed before the result can be accepted.","major_comments":[{"comment":"The 'sector lemma' is stated without proof: 'An open non-singular level line (II.3) cannot intersect both rays bounding any of the sectors S_i at once (otherwise, by reflection symmetry, it must be a closed level line going around the point O).' This assertion is load-bearing: it is the only argument that every open level line either crosses a single symmetry ray or lies entirely in one sector, and it is what guarantees the existence of the curves γ1 and γ2 in each sector. The reasoning given is not sufficient: an unbounded connected level component that crosses two adjacent rays need not, by reflection symmetry alone, close around O; a topological argument is required. Please supply a rigorous proof (for instance, via the induced action of reflection on the component or a fixed-point argument), since without this lemma the reduction to the sector S1 on which the entire contradiction is built collapses.","section":"Section II, after Fig. 4"},{"comment":"The assertion 'In this case, either γ1 intersects σ_h[γ′_2] or γ2 intersects σ_h[γ′_1]' is not proved and does not follow from the hypothesis that γ1 or γ2 meets the shifted boundary ray σ_h[l′_2]. A curve entering the shifted sector through a boundary ray can continue to infinity while remaining between that boundary ray and the internal curves, without intersecting either σ_h[γ′_1] or σ_h[γ′_2]. The Lipschitz comparison (II.1), (II.4), (II.5) only produces a contradiction at an actual intersection point; without such a point the argument has no force. A complete topological argument for this intersection alternative is needed.","section":"Section II, situation A (Fig. 8)"},{"comment":"The statement 'It is easy to see that with a suitable choice of the point X ... we can ensure the intersection of the curves σ_q[γ∗_2] and σ_q[γ∗_1] with the curves γ1 and γ2' is another unproved intersection claim, with the same load-bearing role as in situation A. The density of the line P in the torus gives many admissible integer shifts X, but density alone does not guarantee that the shifted curves intersect the fixed unbounded curves γ1 and γ2; placing a sector near the strip Γ does not by itself place its internal curves across the target curves. Moreover, the intersection must be stable under the small perturbation q (|q| ≤ δ), which is not addressed. This step is the decisive one for the contradiction, and it must be proved rigorously.","section":"Section II, situation B (Fig. 10)"}],"minor_comments":[{"comment":"The abstract states the result for 'two-dimensional potentials of dihedral symmetry' without listing the standing hypotheses of a completely irrational embedding and a bounded gradient; these hypotheses should appear in the abstract or the statement of the main result.","section":"Abstract and Introduction"},{"comment":"In situation B the notation γ1, γ2 is reused for the curves in the shifted plane Π(a), although earlier the primed notation γ′1, γ′2 was used for analogous curves; this is confusing and should be made consistent.","section":"Section II, Fig. 10"},{"comment":"The choice of nonsingular energies E1, E2 should be justified, for example by Sard's theorem or a transversality argument; the proof relies on the level lines (II.3) being smooth non-singular curves.","section":"Section II, Eq. (II.3)"},{"comment":"The closing paragraph asserts that the sizes of closed level lines of all potentials V(r,a) at ε ≠ ε0 are limited by one constant D(ε); this uniformity over the whole family should be justified by a citation or a brief argument, since it does not follow immediately from the single-energy statement for V(r,0).","section":"Section II, final paragraph"},{"comment":"There are several typographical artifacts ('q uasiperiodic', 'affine', 'stripes') and the paper has no numbered theorems; the authors should proofread carefully and consider adding theorem statements.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: the result is a real extension of the Novikov-problem literature, and the high-level strategy is right. But the written proof has two unproved geometric steps, and the load-bearing one is the intersection claim in situations A and B. I'd still send it out, but the referee should demand those gaps be closed before publication.\n\nWhat's new: prior work [39] handled superpositions of two periodic potentials with a common rotational symmetry. This paper covers arbitrary D_n-symmetric potentials with arbitrary N, including the 5-fold quasicrystal case that cannot be approximated by symmetric periodic potentials. That is a genuine extension.\n\nWhat's good: the comparison argument is clean. Pick an integer shift of the plane so close to the original that the gradient bound (II.1) forces the shifted level-E2 curve to lie above E1. If it intersects the original level-E1 curve, contradiction. The choices of delta and the dense winding of L and P are standard. The reliance on [15,18] for the interval structure is legitimate; the self-citations are to independently published work, not a hidden assumption.\n\nSoft spots: the sector lemma, that an open non-singular level line cannot cross both rays of a sector, is plausible but only gestured at. I'm less worried about that, since a fixed-point argument should work. The bigger issue is the stress-test concern: in situation A, 'either γ1 intersects σh[γ′2] or γ2 intersects σh[γ′1]' is asserted without proof. Entering the shifted sector's boundary ray does not by itself force a crossing with the internal curves. Same in situation B, where 'it is easy to see' is doing real work. If those intersections can fail for a legitimate D_n-symmetric potential, the theorem is not proved by this argument. The singularity assumption (only multiple saddles or isolated extrema) is also stated without discussion.\n\nIf the intersection lemmas are true, the theorem goes through. I don't see circularity; it's a genuine contradiction argument. But the paper as written has a genuine gap at its center. I'd still engage: this is the right class of potentials and the right strategy, and a day of work might produce the missing topological lemma.\n\nRecommendation: accept for peer review, with instructions to the referee to focus on the intersection claims. If those hold up, it's a solid addition to the Novikov-problem literature.","headline":"Maltsev proves a plausible and useful single-energy theorem for dihedral-symmetric quasiperiodic potentials, but the proof's central intersection claims are asserted rather than proved.","tokens_in":9524,"tokens_out":3481,"would_cite":true,"duration_ms":31857,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"A dihedral-symmetric quasiperiodic potential has open level lines at a single energy value.","keywords":["Novikov problem","quasiperiodic functions","level lines","dihedral symmetry","D_n symmetry","open level lines","quasicrystals","chaotic level lines"],"falsifier":"A concrete test: construct or numerically search for a D_n-symmetric quasiperiodic potential (n ≥ 3, completely irrational embedding, bounded gradient) whose level set at two different energies E1 < E2 each contains an unbounded connected component. Even simpler: look for one open nonsingular level component that meets both rays bounding a symmetry sector while remaining unbounded away from the center; its existence would falsify the sector lemma and with it the theorem.","tokens_in":8493,"feed_emoji":"📐","tokens_out":10049,"duration_ms":88845,"temperature":0.7,"pith_summary":"Novikov's problem asks when the level sets V(x,y)=ε of a quasiperiodic function on the plane contain lines that run off to infinity. This paper treats quasiperiodic potentials—restrictions to a plane of periodic functions in higher dimension—that carry a dihedral symmetry D_n, n≥3, the symmetry of a regular n-gon with n mirror axes through one center. The paper claims that under a completely irrational embedding and a uniformly bounded gradient, such a potential can have open level lines only at one energy ε0, never over an interval of energies. If that is right, every level line at ε≠ε0 is closed, with diameters bounded by a constant D(ε) that grows without bound as ε approaches ε0. The single-level property is exactly what separates chaotic potentials, which resemble random plane potentials, from topologically regular ones.","feed_headline":"Open lines of dihedral potentials exist at one energy only","feed_subtitle":"For dihedral-symmetric quasiperiodic potentials, open level lines appear at a single energy, just as in random potentials.","key_machinery":"The central object is the decomposition of the plane by the n symmetry axes through the common center O into 2n sectors, together with the assertion that an open non-singular level line cannot meet both boundary rays of one sector. That sector lemma forces every open line to be representable by curves γ1 and γ2 inside each sector, one at each of two putative energy levels E1