{"id":"2464df3e-a904-49a9-b8ac-7d3aa03aeba3","arxiv_id":"1908.06285","paper_version":1,"verdict":"REJECT","confidence":"HIGH","novelty_score":2.0,"correctness_risk":"high","formal_verification":"none","parameter_count":2,"one_line_summary":"The claimed unique family of non-spreading ring wave packets, Eq. (11), is not a solution of the stated Schrödinger equation, and the uniqueness proof wrongly excludes zero-free rotating superpositions.","lead":"The paper claims to find the only family of non-spreading matter-wave packets on a ring, packets that keep their shape while circling the ring. The central solution formula, however, does not satisfy the paper's own Schrödinger equation, and the claimed uniqueness is contradicted by simple two-mode superpositions.","discovery_kind":"incremental","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central solution (11) does not satisfy Eq. (1): the time phase has the wrong sign; independently, the uniqueness proof's zero-amplitude assumption after Eq. (8) is false.","rationale":"The reader's strongest claim is correct and decisive. I independently substituted Eq. (11) into Eq. (1) and found the sign error; moreover the derivation of Eq. (11) contains the same sign inconsistency. The reader's weakest-assumption critique is also valid: Eq. (8) does not imply c(t) = 0 unless A has a zero, and positive-background superpositions are legitimate non-spreading states. Since both the explicit central solution and the uniqueness proof fail, the paper's headline claim cannot stand. I agree with the REJECT verdict; my chosen primary concern (direct non-solution) differs slightly from the reader's weakest assumption (zero premise), so agreement is partial, but the conclusion is unchanged.","tokens_in":900,"tokens_out":905,"duration_ms":122016,"concrete_test":"Use a computer algebra system to solve i∂_tψ + (1/2)∂_θ^2ψ = 0 for the ansatz ψ = C cos(m(θ−lt)) e^{i(lθ+αt)}. The result is α = −(m^2+l^2)/2, not +(m^2+l^2)/2. Then verify the counterexample ψ = a e^{i(mθ−m^2t/2)} + b e^{−i(mθ+m^2t/2)} with a ≠ b: its density is a^2 + b^2 + 2ab cos(2mθ), which is time-independent, positive, and not of the form (11), falsifying the claimed uniqueness even after any sign correction.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Put ψ = A exp(iS). Substitute Eq. (11), A = cos(m(θ−lt)), S = lθ + ωt, into Eq. (1). The imaginary parts cancel, but the real part requires ω = −(m^2+l^2)/2; Eq. (11) prints ω = +(m^2+l^2)/2, so it is not a solution. The trivial state (9) similarly requires ω = −l^2/2, not +l^2/2. This is not an isolated typo: from Eq. (7), with A'' = −m^2 A and S_θ = c0 = l plus S_t = g'(t), one obtains m^2 = −(c0^2 + 2g'), whereas the paper's derivation yields A'' + (c0^2 − 2G1)A = 0, a conflicting sign. The uniqueness conclusion also fails independently. The step after Eq. (8) asserts that a nonconstant A must have an angle φ0 with A(φ0) = 0; this is false for everywhere-positive amplitudes, e.g. |a e^{imθ} + b e^{−imθ}|^2 = a^2 + b^2 + 2ab cos(2mθ) with a ≠ b. That superposition is nonconstant, nowhere zero, time-independent, hence non-spreading, and is not of the form (11). Thus both the explicit solution and the only-set claim are unsupported.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript considers the linear Schrödinger equation on a ring, Eq. (1), and claims to prove that the only non-spreading matter-wave packets are those of Eq. (11), with envelope cos(mθ−lt) and phase ilθ + i(m²+l²)t/2. It then proposes a toroidal BEC realization using Feshbach resonance to eliminate interactions, and reports numerical stability results: weak residual noise preserves shape, stronger noise induces breathing with period π/(2m²), and the shape difference grows as Dξ√t with Dξ linear in the noise strength.","tokens_in":12987,"tokens_out":16973,"duration_ms":159430,"significance":"The claimed uniqueness theorem would be a clean and useful result if true, and the numerical stability study addresses a relevant experimental question. However, the central analytical result fails direct substitution: Eq. (11) is not a solution of Eq. (1) for general m,l, and Eq. (9) has the same sign error. The uniqueness proof relies on a false assertion that nonconstant amplitudes must vanish somewhere, and explicit non-spreading superpositions of ±m modes provide counterexamples. The numerical section is carefully executed (500 realizations, operator splitting, a quantitative shape-difference metric) and the breathing-period relation is plausible, but it is built on the incorrect kinematics of Eq. (11) for m≠1. The paper's main claim is therefore unsupported and in fact false.","major_comments":[{"comment":"Direct substitution of ψ=C cos(mθ−lt) exp[ilθ+i(m²+l²)t/2] into Eq. (1) gives i∂tψ = [−(m²+l²)/2 cos(mθ−lt) + i l sin(mθ−lt)]e^{iS}, while −1/2∂²ψ = [(m²+l²)/2 cos(mθ−lt) + i l m sin(mθ−lt)]e^{iS}. The real parts have opposite signs and the imaginary parts agree only for m=1; for m=1 the time phase would need the opposite sign. Moreover, the exact evolution of the initial state C cos(mθ)e^{ilθ} is C cos(m(θ−lt)) e^{ilθ} e^{−i(m²+l²)t/2}, so Eq. (11) has the wrong envelope time argument for m≠1. Thus Eq. (11) is not a solution of Eq. (1) for general m,l, and the paper's central formula is invalid.","section":"Sec. 2, Eq. (11)"},{"comment":"The trivial state has the same time-phase error: ψ=C e^{ilθ+il²t/2} gives i∂tψ=−l²/2 ψ but −1/2∂²ψ=+l²/2 ψ; the correct state is C e^{ilθ−il²t/2}. The error is systematic in the derivation: after Eq. (7), the paper obtains A_φφ+(c0²−2G1)A=0, whereas the correct reduction of Eq. (7) for A_φφ=−m²A, S_θ=c0, and S_t=G1 gives G1=−(c0²+m²)/2. These two forms conflict unless the sign in front of G1 is reversed.","section":"Sec. 2, Eq. (9)"},{"comment":"The proof that c(t)=0 rests on the assertion that every nonconstant A(φ) has an angle φ0 with A(φ0)=0. This assertion is false: the density of |a e^{imθ}+b e^{-imθ}|² = a²+b²+2ab cos(2mθ) is positive and nonconstant for a≠b, and the corresponding wave function is time-independent up to a global phase, hence non-spreading. It is not of the form Eq. (11). The uniqueness conclusion is therefore unsupported, and the 'only set' claim is false.","section":"Sec. 2, after Eq. (8)"},{"comment":"The numerical stability analysis inherits the incorrect kinematics of Eq. (11). For the initial state C cos(mθ)e^{ilθ}, the exact free evolution has density C² cos²(m(θ−lt)), so the packet travels at speed l, whereas the paper shifts by φ=θ−lt/m throughout Figs. 2 and 4. For m≠1 the plotted co-moving frame does not track the packet, so the shape difference D_s(t) is not measured in the packet's rest frame. Furthermore, the quantitative laws D_s=D_ξ√t and D_ξ∝g_ξ (Figs. 5–7) are fits to the same numerical data from which they are extracted, presented without error bars, ensemble-size checks, or independent validation; they should be reframed as empirical fits and re-examined in the correct frame.","section":"Sec. 4, Figs. 2, 4 and Eq. (22)"}],"minor_comments":[{"comment":"The fitted Dξ values are listed as 2.09, 2.16, 1.18, 2.14×10⁻³; the third value appears to be a typo for 2.18, since the text states 2.18 and the curves are said to nearly overlap.","section":"Fig. 7 caption"},{"comment":"The notation ψ(θ−θc,t,t) should be written more clearly, for example ψ(θ−θc(t),t), to indicate the shift by the packet's center at time t.","section":"Eq. (21)"},{"comment":"There are typographical errors such as 'amizuthal' before Eq. (2) and 'svortices' in reference [47]; these should be corrected.","section":"Throughout"},{"comment":"For m=3, l=2 only one noise strength is shown; adding a second gξ value would strengthen the claim that the breathing period is independent of gξ.","section":"Table 1"},{"comment":"The estimate gξ≈0.022 from the experimental magnetic-field stability is stated without derivation; a brief calculation would improve reproducibility.","section":"Sec. 3"}],"recommendation":"reject","confidential_remarks":"The main mathematical claim is internally inconsistent rather than merely controversial: Eq. (11) fails Eq. (1) and the uniqueness proof is contradicted by elementary superpositions. The numerical stability study is independent work but cannot carry the paper. I see no issue with the citation pattern; the novelty claim is simply incorrect. A future version focusing on the correct family cos(m(θ−lt))e^{ilθ}e^{−i(m²+l²)t/2} and on a properly framed numerical study might be viable, but that would be a substantially different paper."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things you should know right away. The paper's central solution (11) does not satisfy the stated Schrödinger equation: the time phase has the wrong sign, and the cosine argument as printed does not follow from the derivation. Direct substitution gives ω = −(m²+l²)/2, not +(m²+l²)/2. The trivial state (9) has the same sign error. And the uniqueness proof is built on a false premise: after Eq. (8) the paper asserts that any nonconstant amplitude A(φ) must vanish somewhere. That is simply wrong – an unequal superposition of ±m angular momentum eigenstates gives density a²+b²+2ab cos(2mθ), which is nonconstant, nowhere zero, and time-independent. It is non-spreading and not in the family (11). So the main claim is unsupported.\n\nWhat is good: the question is natural, the Madelung setup is standard, and the numerical study is presented honestly as numerical. The breathing period T = π/(2m²) is backed by a simple mode-coupling argument and agrees with the simulations. The experimental realization paragraph is plausible.\n\nThe remaining soft spots: the stability law Ds = Dξ√t and the linear Dξ(gξ) relation are fits to the same simulation data, not independent derivations, and the simulations start from the invalid state, so the quantitative results should not be trusted as they stand. A minor issue: the paper conflates f(t)=lt with the actual φ argument, which is where the m factor goes missing.\n\nThis paper is for someone interested in ring BEC wave packets, but in its current form it would mislead. A serious referee would catch the sign error and the counterexample; I would send it to review, expecting major revision or rejection.","headline":"The central solution has a sign error and the uniqueness proof is false, but the numerical study is honest; the paper needs major revision.","tokens_in":13479,"tokens_out":6580,"would_cite":false,"duration_ms":59887,"reading_group":"no","serious_thinker":"no","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"A free ring allows just one family of shape-preserving matter-wave packets, the paper argues.","keywords":["non-spreading wave packets","ring trap","Bose-Einstein condensate","Madelung transformation","Feshbach resonance","Airy packet","interaction noise","shape breathing"],"falsifier":"Take equation (11), substitute it directly into the free-ring Schrödinger equation (1) with periodic boundary conditions, and check whether the time-dependent phase is consistent for integer $m,l$. The calculation is short enough to be done by hand, and its outcome decides whether the displayed packet is a solution and therefore whether the uniqueness claim stands.","tokens_in":12411,"feed_emoji":"🌀","tokens_out":9089,"duration_ms":80628,"temperature":0.7,"pith_summary":"This paper claims that the linear Schrödinger equation on a ring has exactly one family of non-spreading matter-wave packets, all of the form $\\psi(\\theta,t)=C\\cos(m\\theta-lt)\\exp[i l\\theta + i(m^2+l^2)t/2]$ with integers $m,l$. If the claim is correct, these packets are the unique shape-preserving solutions: they travel around the ring at the fractional speed $l/m$ without spreading, and Airy-like accelerating packets that exist on a line cannot appear on a circle. The same packets could be realized in a toroidal Bose-Einstein condensate by using a Feshbach resonance to cancel interatomic interactions. Under residual interaction noise the packets keep their shape for weak noise and undergo periodic shape breathing for stronger noise, with a common shape-keeping ability that grows linearly with the noise strength.","feed_headline":"A free ring allows just one non-spreading wave-packet family","feed_subtitle":"They travel at quantized fractional speeds and keep their shape in a toroidal BEC when interactions are off.","key_machinery":"The mechanism is the amplitude-phase (Madelung) decomposition $\\psi=A e^{iS}$ together with the travelling-shape ansatz $A=A(\\theta-f(t))$. Substituting these into the free Schrödinger equation produces a continuity equation that, evaluated at an angle where $A$ vanishes, forces the phase gradient to be a function of time only. That leaves a linear oscillator equation for $A$, whose periodic solutions are $\\cos(m\\varphi)$ with integer $m$, and fixes the packet speed as the ratio of two integers, $l/m$.","core_discovery":"The paper's central claim is a completeness statement: for a free ring, the only non-spreading wave packets are the cosine-modulated plane waves of equation (11). The proof separates $\\psi$ into an amplitude $A(\\varphi)$ moving with the packet and a phase $S(\\theta,t)$, then shows that periodicity forces $A$ to be $C\\cos(m\\varphi)$ and the phase to have the special time dependence of the displayed formula. The constant-density plane wave of equation (9) is recovered as the $m=0$ member of the same set. The paper also shows that the linear-order time dependence would lead to an Airy function, which cannot satisfy periodic boundary conditions, and that higher-order time dependence is inconsistent, so no self-accelerating non-spreading packets exist in a ring.","pith_inferences":["Because the uniqueness proof relies on finding a zero of the amplitude, packets with a permanently positive density background (for example, unequal mixtures of $\\pm m$ modes) are not explicitly covered; evolving such a superposition in a ring simulation would test whether the list in equation (11) is truly exhaustive.","The breathing formula $T=\\pi/(2m^2)$ offers a diagnostic: the dominant shape-oscillation frequency of a noisy packet directly reveals its node quantum number $m$.","If the family is indeed unique and linear, a ring-based matter-wave interferometer built from these packets could avoid the nonlinear phase diffusion that affects soliton interferometers, while keeping the packets from spreading during the sequence."],"forward_implications":["Equation (11) gives the complete list: every shape-preserving packet in a free ring is one of these cosine-modulated plane waves.","Packet speeds are locked to the fractional values $l/m$, so only quantized velocities occur, and $2m$ counts the nodes of the density profile.","Airy-type accelerating non-spreading packets are impossible in a periodic ring, even though they exist on the infinite line.","In a toroidal BEC with interactions removed by a Feshbach resonance, these packets should persist without spreading; residual noise produces breathing with period $T=\\pi/(2m^2)$.","All packets in the family resist interaction noise equally well, and the shape difference after time $t$ grows as $D_\\xi\\sqrt{t}$, with $D_\\xi$ proportional to the noise strength."],"supporting_citations":[{"why":"Supplies the amplitude-phase decomposition used to separate packet shape from its motion.","marker":"[54]"},{"why":"Extends the shape-preserving ansatz to general one-dimensional potentials; the derivation starts from this form.","marker":"[55]"},{"why":"Provides the Airy wave-packet solution on the free line, the contrast case that the ring proof rules out.","marker":"[30]"},{"why":"Gives Feshbach-resonance theory for tuning the scattering length to zero in the proposed BEC realization.","marker":"[51]"},{"why":"Supports the Feshbach-resonance elimination of interatomic interactions in condensates.","marker":"[52]"},{"why":"Provides the toroidal-trap geometry and parameters used in the ring BEC proposal.","marker":"[46]"},{"why":"Yields the residual interaction strength after Feshbach tuning, used to calibrate weak noise.","marker":"[22]"},{"why":"Provides the magnetic-field stability figure giving the small noise level used in the numerical study.","marker":"[23]"},{"why":"Supplies the stochastic integration rule used to advance the interaction-noise term in the numerics.","marker":"[60]"}],"fun_headline_variants":["Only one non-spreading wave packet exists in a ring","Ring traps: a unique non-spreading packet family","Free ring proves one non-spreading wave packet","A ring's only non-spreading packet is cosine-modulated","Non-spreading packets in rings: uniqueness theorem"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The derivation needs every non-uniform packet to have at least one point where its density is zero, so the integration constant in the amplitude-current relation is forced to vanish; if a shape-preserving packet keeps a positive density background, that step no longer applies and those packets are not covered by the proof.","fun_headline_variants_meta":{"raw":{"variants":["Only one non-spreading wave packet exists in a ring","Ring traps: a unique non-spreading packet family","Free ring proves one non-spreading wave packet","A ring's only non-spreading packet is cosine-modulated","Non-spreading packets in rings: uniqueness theorem"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000296,"raw_usage":{"total_tokens":1690,"prompt_tokens":889,"completion_tokens":801,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":505,"completion_tokens_details":{"reasoning_tokens":724}},"tokens_in":505,"tokens_out":801,"duration_ms":8249,"temperature":1.0,"reasoning_tokens":724,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:52:16.710065+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take equation (11), substitute it directly into the free-ring Schrödinger equation (1) with periodic boundary conditions, and check whether the time-dependent phase is consistent for integer $m,l$. The calculation is short enough to be done by hand, and its outcome decides whether the displayed packet is a solution and therefore whether the uniqueness claim stands.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the amplitude-phase decomposition used to separate packet shape from its motion."},{"cited_title":"Nonspreading wave packets in a general potential V(x,t) in one dimension","cited_arxiv_id":"0809.4105","evidence_quote":"Extends the shape-preserving ansatz to general one-dimensional potentials; the derivation starts from this form."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the Airy wave-packet solution on the free line, the contrast case that the ring proof rules out."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives Feshbach-resonance theory for tuning the scattering length to zero in the proposed BEC realization."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supports the Feshbach-resonance elimination of interatomic interactions in condensates."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the toroidal-trap geometry and parameters used in the ring BEC proposal."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Yields the residual interaction strength after Feshbach tuning, used to calibrate weak noise."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the magnetic-field stability figure giving the small noise level used in the numerical study."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the stochastic integration rule used to advance the interaction-noise term in the numerics."}],"review_version":1}