{"id":"105c60fb-5088-4eb5-8047-b484bcf9e33e","arxiv_id":"1908.04428","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The second-moment width of a Bessel-Gaussian-based perfect vortex beam is derived analytically as w2(l)=T^2(l+1)+R^2(1+I_{l+1}/I_l), experimentally confirmed, and shown to scale as sqrt(l) in the best case.","lead":"The paper derives and tests a formula for how the ring width of quasi-perfect vortex beams grows with the amount of orbital angular momentum they carry. The result lets experimenters predict and compensate the width change, and it argues that a truly OAM-independent vortex beam is physically impossible.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. 7 is not the R/T>>1 limit of Eq. 6: the leading I_{l+1}/I_l correction cancels the T^2(l+1) term, so the width is nearly OAM-independent for l << (R/T)^2, not sqrt(l).","rationale":"The reader correctly notes that the experimental validation does not independently measure R and T, but that is a confirmation issue rather than a challenge to the analytic derivation. The more load-bearing problem is internal: Eq. 7, which drives the abstract's central claim, is not the asymptotic limit of the exact formula. I verified Eq. 6 by differentiating the standard Bessel integral; the derivation is sound. The inconsistency is that Eq. 4 has an l-independent intensity, so no width formula derived from Eq. 4 can show sqrt(l) scaling; the l-dependence in Eq. 6 comes from the finite-thickness Bessel profile and vanishes to leading order as R/T grows with l fixed. The paper's exact result still shows OAM-dependence through higher-order terms, so a conditional acceptance with a corrected asymptotic discussion is appropriate. The independent-validation concern from the reader could be addressed by measuring R and T directly, but it does not undermine the analytic derivation.","tokens_in":5888,"tokens_out":22494,"duration_ms":221960,"concrete_test":"Evaluate Eq. 6 numerically for R/T = 15 (e.g., T=1, R=15) over l=0..50 and compare with Eq. 7 and with w2(0). If w2(l)-w2(0) is of order T^4 l^2/R^2 rather than T^2 l (e.g., about 5-6 units vs 50 units at l=50), the claimed sqrt(l) asymptotic is not the R/T>>1 limit. An independent analytical check is to expand Eq. 6 to second order in x=(l+1/2)/(R/T)^2 and verify that the T^2(l+1) term cancels identically.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The exact width formula Eq. 6 is correct and is the paper's main mathematical result. The problem is the asymptotic interpretation. The paper states that for R/T >> 1, Eq. 6 'simplifies to' Eq. 7, w2(l) ~ T^2(l+1)+2R^2, and uses Eq. 7 to conclude that in the best case the width scales as sqrt(l). This is not a valid simplification. For z=R^2/T^2, the ratio I_{l+1}(z)/I_l(z) = 1 - (l+1/2)/z + O((l+1/2)^2/z^2). Substituting this into Eq. 6 gives w2(l)=T^2(l+1)+R^2(2 - (l+1/2)/z + ...)=2R^2 + T^2/2 + O(T^4(l+1/2)^2/R^2). The T^2(l+1) term is canceled by the correction to the Bessel ratio; both are of the same order in the R/T >> 1 expansion. Eq. 7 keeps one and drops the other, so it overstates the OAM dependence by roughly T^2 l. The exact formula only begins to grow as sqrt(l) once l is of order (R/T)^2 or larger; for l << (R/T)^2 the width is nearly constant. This also makes the sentence that Eq. 7 'shows even the asymptotic PV field as given in Eq. 4 has an OAM-dependent width' internally inconsistent, since the intensity of Eq. 4 is l-independent.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper derives an analytic expression for the second-moment width of quasi-perfect vortex (PV) beams described by Eq. (3), namely w2(l) = T^2(l+1) + R^2(1 + I_{l+1}(R^2/T^2)/I_l(R^2/T^2)). It reports agreement between this formula and CCD-measured widths for l in [0,50], proposes Eq. (7) as the large-R/T asymptotic simplification, and uses Eq. (7) to argue that even in the best case the PV width scales as sqrt(l). The paper also proposes a compensation scheme based on numerically inverting Eq. (13) to adjust the ring radius, associates a cutoff in that inversion with an OAM density limit, and concludes that a truly OAM-independent propagating beam is unattainable.","tokens_in":6233,"tokens_out":12996,"duration_ms":131679,"significance":"The exact result in Eq. (6) is a useful analytic contribution: it is derived from the stated field model without free parameters, and it correctly recovers the ideal-Bessel limit w2 = 2R^2 in Eq. (8). If the paper is revised, the precise width formula and the correct scaling regimes will be of practical value to groups generating quasi-PVs for trapping, tweezing, and communications. However, the current headline claims rest on Eq. (7), which is not a valid R/T >> 1 simplification, and on Eq. (13), which does not correctly implement the proposed compensation. These issues are load-bearing for the abstract and for the correction demonstration, so the manuscript needs substantial revision.","major_comments":[{"comment":"Eq. (7) is not the R/T >> 1 limit of Eq. (6). For z = R^2/T^2, I_{l+1}(z)/I_l(z) = 1 - (l+1/2)/z + O(l^2/z^2). Substitution into Eq. (6) gives w2(l) = 2R^2 + T^2/2 + O(T^4 l^2/R^2), not T^2(l+1) + 2R^2; the T^2(l+1) term is cancelled by the correction from the Bessel-function ratio. Consequently the width is almost OAM-independent for l << R/T, and the claimed sqrt(l) scaling in the abstract and conclusion does not follow in the 'best' R/T >> 1 regime. In addition, the statement that Eq. (7) shows the asymptotic PV field of Eq. (4) has an OAM-dependent width is internally inconsistent, because the radial amplitude in Eq. (4) is independent of l.","section":"Eq. (7)"},{"comment":"The stated compensation condition w2(l) = w2(0), with T held fixed, leads to x^2(1 + I_{l+1}(x^2)/I_l(x^2)) = x0^2(1 + I_1(x0^2)/I_0(x0^2)) - l, with x = R(l)/T and x0 = R(0)/T. Eq. (13) contains no x0 and is therefore independent of the initial radius, yet the text says it is inverted for different initial radii. Moreover, in the R/T >> 1 limit the left-hand side of Eq. (13) tends to l for every large x, so the equation is asymptotically degenerate and cannot select a unique correction radius. The authors should derive the correct inversion, repeat the numerical examples in Fig. 4A, and verify whether the corrected-width result in Fig. 4B remains valid.","section":"Eq. (13) and Fig. 4"},{"comment":"The experimental validation does not independently determine R and T. The theory curves use R = k_r f/k and T = 2f/(k w_0) from the nominal Bessel-Gaussian parameters, and the same parameters are used to encode the Eq. (3) field on the SLM. Agreement between Eq. (6) and the measured widths therefore tests the encoding plus the formula, but not the mapping from these parameters to the physical field. This does not affect the analytic derivation of Eq. (6), but it does weaken the claim that the expression is 'experimentally confirmed'; an independent measurement of R and T, or an explicit statement that the comparison is a consistency check, would be needed.","section":"Fig. 2 and experimental method"}],"minor_comments":[{"comment":"The phrase 'it's finite-energy approximation' should read 'its finite-energy approximation'.","section":"Page 1"},{"comment":"'psuedo-gradient' should be 'pseudo-gradient', and 'the the ring thickness' contains a duplicated article.","section":"Pages 3-4"},{"comment":"The sentence 'It should be noted that R and T are constants... As l changes, so too do these ring attributes' is confusing, since R and T were just called constants; please clarify that the actual ring radius and thickness of the quasi-PV differ from the l = 0 parameters R and T.","section":"After Eq. (6)"},{"comment":"The LG comparison curve is not defined; please state which LG mode and which width definition are used for the comparison.","section":"Fig. 3"},{"comment":"The prefactor 2 in the second-moment definition should be stated explicitly, for example by noting that for an azimuthally symmetric field w2 = 2<r^2>, to avoid ambiguity with other common second-moment conventions.","section":"Eq. (5)"}],"recommendation":"major_revision","confidential_remarks":"The exact width formula in Eq. (6) appears sound and is the main contribution. The revision should focus on correcting the asymptotic interpretation and the compensation inversion; if the compensation scheme cannot be repaired, the corresponding claims should be removed or substantially scaled back before publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Eq. 6 is the real result, and the stress-test is right: Eq. 7 is not a valid simplification of Eq. 6. For z = R^2/T^2 >> 1, I_{l+1}(z)/I_l(z) = 1 - (l+1/2)/z + ..., so the T^2(l+1) term cancels against the leading correction, leaving w^2(l) = 2R^2 + T^2/2 plus corrections of order T^4 l^2/R^2. The width stays nearly OAM-independent until l is of order (R/T)^2; it does not grow as sqrt(l) in the best case. This also exposes the internal inconsistency: Eq. 4 has an l-independent intensity, so it cannot have an OAM-dependent width. The paper's abstract and conclusion lean on exactly this claim, so the error is load-bearing, not cosmetic.\n\nWhat the paper does well: the analytic second-moment calculation is a genuine first-principles result, new as far as I know. The experimental work is straightforward and appears to confirm Eq. 6 across the measured range. The inversion scheme for correcting the width is a practical addition, and the cutoff behavior is interesting even if the OAM-density argument is hand-wavy.\n\nSoft spots beyond the asymptotic error: uncertainties are absent from the width measurements, and R and T are never independently measured—the experiment checks Eq. 6 using parameters from the same model that produced the formula, which is mildly circular even though nothing is fitted. The correction procedure also assumes T(l) is constant, which the authors acknowledge.\n\nThe exact formula is solid and worth citing; the interpretation needs rework. A serious referee should be engaged, with a request to fix Eq. 7, re-examine the sqrt(l) claim, and add quantitative uncertainties. The practical takeaway will then be more nuanced: high R/T quasi-PVs remain nearly perfect over a wide range of l, and only degrade as l approaches (R/T)^2. That is a good paper after revision.","headline":"The exact width formula is useful and likely correct, but the paper's advertised sqrt(l) scaling in the R/T >> 1 limit rests on an invalid asymptotic simplification.","tokens_in":6729,"tokens_out":2824,"would_cite":true,"duration_ms":30094,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that experimentally realizable 'perfect' vortex beams have a width that grows with orbital angular momentum, scaling as the square root of the topological charge in the best case.","keywords":["perfect vortex beams","orbital angular momentum","second moment width","Bessel-Gaussian beams","structured light","OAM density limit","topological charge","optical trapping"],"falsifier":"Measure the second-moment width of quasi-perfect vortices generated by Fourier-transforming an independently characterized Bessel-Gaussian beam, with $k_r$ and $w_0$ measured from the input beam and the lens focal length calibrated separately, over $\\ell=0$ to at least 50 for several values of $R/T$; if the data deviate from Eq. (6) beyond experimental error, the analytic width is wrong. A second test targets the unattainability claim: any propagating helical beam whose measured second-moment width stays constant while $\\ell$ varies over a wide range would contradict the conclusion.","tokens_in":5709,"feed_emoji":"🌀","tokens_out":11809,"duration_ms":98564,"temperature":0.7,"pith_summary":"Perfect vortex beams are structured light fields meant to keep a fixed ring radius regardless of the orbital angular momentum (OAM) they carry, but the paper shows that experimentally realizable versions cannot do this. It derives an exact analytic expression for the second-moment width of a quasi-perfect vortex, the finite-energy field obtained by Fourier-transforming a Bessel-Gaussian beam, and confirms the expression experimentally. The formula shows the width grows with the topological charge, and in the best regime (ring radius much larger than ring thickness) it grows as $\\sqrt{\\ell}$, just like ordinary vortex beams but with a smaller proportionality constant. This matters for optical trapping, tweezing, and communications that need an OAM-independent beam profile, because the growth can only be compensated up to a cutoff set by the OAM density limit. The paper's conclusion is that a truly OAM-independent propagating beam is unattainable.","feed_headline":"Even 'perfect' vortex beams widen as OAM climbs","feed_subtitle":"The ring width scales with the square root of orbital angular momentum; correction has a hard cutoff.","key_machinery":"The load-bearing object is the quasi-perfect vortex field, a finite-thickness ring beam described by a modified Bessel function: $PV(r,\\phi)\\propto \\exp[-(r^2+R^2)/T^2]I_\\ell(2Rr/T^2)e^{i\\ell\\phi}$, where $R$ sets the nominal ring radius and $T$ the ring thickness. Its width is quantified by the standard second-moment definition, and the analytic integration of that definition produces the ratio $I_{\\ell+1}(R^2/T^2)/I_\\ell(R^2/T^2)$, which is the mechanism that makes the width depend on $\\ell$. The combined parameter $R/T$ (set by the Bessel product $k_r w_0$) controls how visible the growth is: for $R/T\\gg1$ the Bessel-function ratio approaches 1 and the width grows slowly as $\\sqrt{\\ell}$, while for small $R/T$ the growth is much stronger. The same ratio appears in the inversion condition used for compensation, and the paper connects the cutoff of that inversion to the OAM density limit $|\\ell|/R\\le k\\,\\mathrm{NA}$, which states that a helical phase cannot be compressed beyond a wavelength-scale area.","core_discovery":"The paper's central claim is Eq. (6): for the quasi-perfect vortex field $PV(r,\\phi)\\propto \\exp[-(r^2+R^2)/T^2]I_\\ell(2Rr/T^2)e^{i\\ell\\phi}$, the second-moment width is exactly $w^2(\\ell)=T^2(\\ell+1)+R^2(1+I_{\\ell+1}(R^2/T^2)/I_\\ell(R^2/T^2))$. Evaluating the second-moment integrals analytically gives this closed form, and in the limit $R/T\\gg1$ it reduces to $w^2(\\ell)\\approx T^2(\\ell+1)+2R^2$, so the width scales as $\\sqrt{\\ell}$ even for the best-approximated perfect vortex. The paper confirms the formula by generating quasi-PVs with a spatial light modulator over $\\ell\\in[0,50]$, computing widths from camera images, and finding agreement for several values of the product $k_r w_0$ (equivalently $R/T$). It also shows that the combined parameter $R/T$, not $R$ or $T$ alone, sets the degree of 'perfectness', and it demonstrates a numerical compensation procedure that fixes the width by choosing $R(\\ell)$, but only up to a cutoff where the required radius reaches zero. That cutoff is argued to be consistent with the optical OAM density limit $|\\ell|/R\\le k\\,\\mathrm{NA}$, and the paper concludes that no truly OAM-independent beam exists.","pith_inferences":["A testable extension is to generate quasi-PVs by the other standard route, creating the Bessel-Gaussian beam with an axicon and Fourier-transforming it with a lens, rather than using complex-amplitude modulation; if Eq. (6) holds across both routes, the formula is tied to the field itself, not to the encoding.","The compensation procedure in the paper holds $T$ fixed while adjusting $R$; an untested extension is to dynamically adjust both parameters, which may push the usable cutoff to higher $\\ell$.","The same second-moment approach could be applied to other finite-energy approximations of ideal vortices, such as aperture-truncated or higher-order Bessel beams, to see whether the $\\sqrt{\\ell}$ scaling is universal or specific to the Bessel-Gaussian route."],"forward_implications":["In the best-case regime $R/T\\gg1$, the width of a quasi-perfect vortex grows as $\\ell^{1/2}$, so applications that need a fixed ring size must either operate at low topological charge or actively compensate.","The ratio $R/T$ (equivalently the Bessel product $k_r w_0$) is the figure of merit for 'perfectness'; experiments should report it, because small values make the beam behave much like a Laguerre-Gaussian mode and erase the advantage.","The compensation scheme based on numerically inverting Eq. (13) can hold the width fixed for a range of $\\ell$, but it fails above a cutoff $\\ell_c$; past that point no realizable quasi-PV can maintain the $\\ell=0$ width.","The OAM density limit $|\\ell|/R\\le k\\,\\mathrm{NA}$ implies that any propagating beam with a helical phase has a vortex core whose radius grows with $\\ell$, so a truly OAM-independent beam is unattainable.","Prior reports of a small width increase over narrow ranges of $\\ell$, sometimes attributed to systematic error, are consistent with Eq. (6); the effect is real and predictable."],"supporting_citations":[{"why":"Introduces the ideal perfect vortex as a delta-ring field, the concept the paper shows is not realizable in finite-energy form.","marker":"[4]"},{"why":"Provides the Bessel-Gaussian beam as the finite-energy approximation whose Fourier transform yields the quasi-perfect vortex field.","marker":"[5]"},{"why":"Supplies the quasi-perfect vortex field expression (Eq. 3) and a semi-empirical radius rule that the paper makes exact.","marker":"[6]"},{"why":"Supplies the OAM density limit used to explain the compensation cutoff and the unattainability argument.","marker":"[3]"},{"why":"Describes the complex-amplitude modulation method used to generate the quasi-perfect vortex fields in the experiment.","marker":"[10]"},{"why":"Establishes the quantitative OAM-content measurement used to verify the topological charge of the generated beams.","marker":"[12]"}],"fun_headline_variants":["Perfect vortex beams aren't: width grows as sqrt of OAM","No truly perfect vortex: ring width scales with sqrt(l)","Quasi-perfect vortices still widen with angular momentum","Perfect vortex myth: even best modes widen with OAM","Vortex rings don't stay perfect: width grows with OAM"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes the generated beam really is the finite-energy Bessel-Gaussian-derived ring field whose radius and thickness are set by the stated lens and beam parameters; if the hologram or Fourier lens distorts that field, the agreement between theory and measurement could be coincidental.","fun_headline_variants_meta":{"raw":{"variants":["Perfect vortex beams aren't: width grows as sqrt of OAM","No truly perfect vortex: ring width scales with sqrt(l)","Quasi-perfect vortices still widen with angular momentum","Perfect vortex myth: even best modes widen with OAM","Vortex rings don't stay perfect: width grows with OAM"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000557,"raw_usage":{"total_tokens":2679,"prompt_tokens":1002,"completion_tokens":1677,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":618,"completion_tokens_details":{"reasoning_tokens":1592}},"tokens_in":618,"tokens_out":1677,"duration_ms":13838,"temperature":1.0,"reasoning_tokens":1592,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:43:42.548117+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Measure the second-moment width of quasi-perfect vortices generated by Fourier-transforming an independently characterized Bessel-Gaussian beam, with $k_r$ and $w_0$ measured from the input beam and the lens focal length calibrated separately, over $\\ell=0$ to at least 50 for several values of $R/T$; if the data deviate from Eq. (6) beyond experimental error, the analytic width is wrong. A second test targets the unattainability claim: any propagating helical beam whose measured second-moment width stays constant while $\\ell$ varies over a wide range would contradict the conclusion.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the ideal perfect vortex as a delta-ring field, the concept the paper shows is not realizable in finite-energy form."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the Bessel-Gaussian beam as the finite-energy approximation whose Fourier transform yields the quasi-perfect vortex field."},{"cited_title":"Vaity and L","cited_arxiv_id":null,"evidence_quote":"Supplies the quasi-perfect vortex field expression (Eq. 3) and a semi-empirical radius rule that the paper makes exact."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the OAM density limit used to explain the compensation cutoff and the unattainability argument."},{"cited_title":"Arrizon, U","cited_arxiv_id":null,"evidence_quote":"Describes the complex-amplitude modulation method used to generate the quasi-perfect vortex fields in the experiment."},{"cited_title":"Pinnell, V","cited_arxiv_id":null,"evidence_quote":"Establishes the quantitative OAM-content measurement used to verify the topological charge of the generated beams."}],"review_version":1}