{"id":"42cd32e5-ea55-45d4-bfc3-c5e43b2468eb","arxiv_id":"1908.01680","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Turing patterns in Kerr cavities rotate at ω = 2m/R^2, and vector-beam pumps tune the speed continuously from -2m/R^2 to +2m/R^2.","lead":"Light patterns inside a mirrored cavity rotate when the pump beam is twisted, at a speed fixed by the twist strength and the pattern radius. The authors show that pumping with two differently twisted beams gives continuous control over the rotation, including opposite-spinning rings.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The 2D extension of ω=2m/R² rests on the constant-R ring reduction; for finite-width rings the angular velocity is radius-dependent, so the universal law needs a width condition that is neither stated nor tested.","rationale":"The scalar 1D derivation of ω = 2m/R² is internally consistent and is verified in 2D for the specific narrow, ring-localized patterns shown. The numerical agreement in Figs. 3, 4, and 9 is genuine evidence, and the vector-beam control results are demonstrated rather than merely conjectured. However, the central claim is stated as a general law for 2D Turing patterns on rings, and its extension from 1D to 2D depends on dropping all radial derivatives. The manuscript does not provide a quantitative condition under which this reduction is valid, nor does it test a regime where the ring is broad enough for the radius dependence of 2m/r² to become visible. This is not a refutation of the reported results, but it is the most load-bearing soft spot: if a wide-ring simulation showed radially dependent rotation or shear, the headline formula would need a width restriction. A single targeted simulation with a broad ring would settle whether the concern lands. Because the paper's own evidence is consistent but the universal claim is not fully delimited, the appropriate verdict is conditional acceptance pending that check, rather than unconditional acceptance of the unrestricted form of Eq. (14).","tokens_in":12700,"tokens_out":8845,"duration_ms":103252,"concrete_test":"Run the full 2D LLE, Eq. (1), with a deliberately broad ring-forming pump (e.g., a top-hat with small steepness S ≈ 1.0, m = 1, or an LG pump with large w0 such that the patterned ring has radial half-width ΔR comparable to R). From space-time plots at radii r = R − ΔR, R, and R + ΔR, extract the local angular velocity ω(r). Check whether ω(r) follows 2m/r² at each radius and whether a single fitted ω is consistent across the ring width. If the peaks shear or the local speeds differ significantly from 2m/r², then the constant-R reduction fails and Eq. (14) must be explicitly restricted to rings with ΔR ≪ R.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The derivation of the central rotation law is exact only on a mathematical ring. In the paragraph after Eq. (2), the transverse Laplacian is reduced to (1/R²) ∂²/∂ϕ² by treating R as constant, dropping the radial terms (∂²/∂r² + (1/r)∂/∂r) of the full polar Laplacian. Equation (14), ω = 2m/R², then follows from the traveling-wave ansatz in the 1D ring model. In the 2D simulations, however, R is not imposed a priori but is measured after the pattern forms, and the rings have finite radial width (for example, Fig. 2 reports R = 11.0 ± 0.5 for an LG pump with w0 = 15). If the ring width is not small compared with R, the local OAM advection term is 2m/r², which varies across the ring; a rigidly rotating pattern with a single angular velocity would then be impossible, and the observed ω would be some average over the radial profile. The paper reports excellent agreement for several LG and top-hat cases, and Fig. 9 shows independent rings rotating according to Eq. (14), but it never quantifies ring width or checks the local radius dependence of ω. The vector-beam control claims, Eqs. (24) and (26), inherit this assumption because they are calibrated against the scalar law. Thus the load-bearing assumption is the narrow-ring ansatz; it is plausible for the simulated ring-localized patterns, but its range of validity is not established.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript studies Turing pattern formation in the transverse plane of a Kerr cavity described by the Lugiato–Lefever equation (LLE) when the pump beam carries orbital angular momentum (OAM). By reducing the two-dimensional Laplacian to its angular part on a ring of fixed radius R (Eq. (3)), the authors derive that a pump phase e^{imφ} produces patterns rotating with angular velocity ω = 2m/R² (Eq. (14)), and that the OAM renormalizes the detuning by m²/R² (Eqs. (7), (16)–(18)). The prediction is checked in 2D simulations for Laguerre–Gaussian pumps with m = 1–5 and several waists, including the parameter-free consequence that LG modes with the same waist rotate at ±4/w0², and for top-hat pumps that generate concentric rings, each rotating at 2m/R² with R the measured radius of the ring. For vector pumps the authors demonstrate numerically that cylindrical vector beams tune the angular velocity continuously in −2m/R² ≤ ω ≤ 2m/R² (Eq. (24)), that Poincaré beams give ω = (mL + mR)/R² (Eq. (26)), and that weakly overlapping modes give counter-rotating 'optical peppermill' rings. Appendices provide a retarded-time formulation (Appendix A) and a stationarity condition for rotating Turing patterns away from threshold (Appendix B).","tokens_in":12994,"tokens_out":18155,"duration_ms":168127,"significance":"If it holds, the central result is a clean, parameter-free prediction: the rotation speed of a dissipative pattern is fixed by the pump OAM and the ring radius, with no fitted constants, and the simulations confirm it within the reported error bars (for example, ω = 0.0164 ± 0.0003 versus 2/11² ≈ 0.0165 in Fig. 2). The strengths of the paper are the exact 1D derivation of Eq. (14); the parameter-free prediction ω = ±4/w0² for LG pumps, verified for several waists including a two-ring case; the per-ring verification of Eq. (14) for multi-ring top-hat pumps in Fig. 9; and the demonstration of continuous, sign-tunable rotation control through vector beams, which is new for this system and relevant to particle manipulation, optical trapping, and cold-atom transport. The manuscript also credits earlier related results on OPO domain walls [3] and necklace-ring beams [15] appropriately. Its main limitations are that the 2D validity of Eq. (14) rests on a narrow-ring assumption that is neither stated nor tested, and that the vector-beam laws (24) and (26) are supported only numerically, with the radius R underspecified when the eigenmodes have different |m|.","major_comments":[{"comment":"The derivation of the central law ω = 2m/R² (Eq. (14)) is exact only for the 1D ring model (Eq. (3)), in which the transverse Laplacian is replaced by (1/R²)∂²/∂ϕ², with R treated as a constant and the radial terms (∂²/∂r² + (1/r)∂/∂r) dropped. The abstract, however, states the law as an unqualified property of 2D Turing patterns, and the conclusion asserts that the 2D case is confirmed numerically. The missing piece is a stated regime of validity: the manuscript neither quantifies the radial width ΔR of the patterned rings nor establishes that ΔR/R is small. For the example in Fig. 2 (R = 11.0 ± 0.5 with w0 = 15), the local advection rate 2m/r² changes by several tens of percent over a radial spread of a few units, so a pattern of finite width cannot, in general, rotate rigidly with a single ω unless nonlinear radial locking keeps the pattern at the intensity maximum. The reported agreement suggests that such a mechanism operates, but it is not characterized. I request that the authors (i) report the radial intensity widths of the rings in the LG and top-hat simulations, (ii) state the condition under which Eq. (14) is expected to hold in 2D (e.g., ΔR/R ≪ 1, or radial localization of the pattern), and (iii) test the radial dependence directly, for example by varying w0 or the top-hat steepness S, to verify that the measured ω equals the local value 2m/r² at the intensity maximum rather than some radial average. This also bears on the multi-ring case of Fig. 9 and the 'peppermill' structures, where the rings are described as independent without a quantitative check of radial decoupling.","section":"§2 (paragraph after Eq. (2)) and Figs. 2–4, 9"},{"comment":"The vector-beam control laws are presented as results but are supported only by numerical simulation of the coupled LLE (22); no analytical derivation is given, and for the Poincaré beams the relation ω = (mL + mR)/R² is not a closed prediction because the radius R is left undefined. When |mL| ≠ |mR|, the two LG eigenmodes have different radii of maximum intensity, rmax = w0√(|m|/2), so the 'good overlap' assumption invoked in the abstract is violated by construction, and it is unclear whether R in Fig. 12 is the radius of the output ring common to both modes, the radius of the dominant mode, or a fitted quantity. Please specify the operational definition of R used for the data in Fig. 12 and state the overlap condition quantitatively, including the expected breakdown when the eigenmode radii differ substantially. A parallel clarification is needed for Eq. (24), where R should also be defined for the CV beams of Fig. 11.","section":"§4, Eqs. (24) and (26), Figs. 11–12"}],"minor_comments":[{"comment":"In the final sentence of the Introduction, 'Applications of these rotating structures to particle manipulation, optical beam shaping and photonic devices will is discussed' should read 'will be discussed.'","section":"Introduction"},{"comment":"The first sentence of the Numerical Simulations section contains the typo 'Althought' for 'Although.'","section":"§3 (Numerical simulations)"},{"comment":"In the Conclusion, 'the numer of independent concentric rings' should read 'the number.'","section":"Conclusion"},{"comment":"In Eq. (21), the right-circular component appears to be written with the same LG index mL as the left-circular component; it should presumably carry mR, consistent with Eq. (25) and the surrounding discussion.","section":"Eq. (21)"},{"comment":"In the peppermill paragraph, the phrase 'rotating counter-clockwise and the inner clockwise with the same angular velocity ω = 0.0375 ± 0.0015' is ambiguous; the two rings have the same angular speed but opposite angular velocities, so the wording should be rephrased.","section":"§4 (Optical peppermill)"},{"comment":"The caption of Fig. 3 states only that the red line is the analytical result (14), whereas the text explains that the analytical curve uses the measured ring radius for each m; the caption should state this, since otherwise the flat blue line could be misread as contradicting the OAM dependence.","section":"Fig. 3 caption"},{"comment":"For Fig. 12, please report the measurement uncertainty or the number of rotation periods over which ω was averaged; without error bars the claimed 'very good agreement' with the line mL + mR cannot be quantified.","section":"Fig. 12"},{"comment":"The phrase 'left ellptical' should read 'left elliptical,' and a similar check of spelling is suggested throughout the vector-beam section.","section":"§4 (CV beams)"},{"comment":"The sentence 'the dynamics leading to the asymptotic ring rotation for m ≠ 0 is much faster that that of m = 0' contains a grammatical error: 'faster that' should be 'faster than.'","section":"§3 (top-hat pumps)"}],"recommendation":"major_revision","confidential_remarks":"The paper is well within the journal's scope and the scalar result is solid: the 1D derivation is exact, the numerics are extensive and the agreement is genuine rather than a fitted or circular check. My reservation, which agrees with the stress-test concern, is that the abstract and conclusion present ω = 2m/R² as an unqualified 2D law although the derivation is 1D and the regime of validity (narrow annulus, radial localization) is not characterized; in addition, the Poincaré law (26) has an undefined radius when the eigenmodes have different |m|. Both points are addressable with additional analysis and a small number of simulations, so I recommend major revision rather than acceptance as is or rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe short version: this is a solid, honest pattern-formation paper with one clean exact result, a lot of confirming numerics, and one genuinely new control idea. It deserves peer review.\n\nThe exact result is that a Kerr cavity pumped with a beam carrying orbital angular momentum m forms Turing patterns that rotate at omega = 2m/R^2 on a ring of radius R. The derivation in the 1D ring LLE is correct and simple: factoring out the e^(im phi) phase leaves an advection term 2m/R^2, and the traveling-wave ansatz cancels it. The paper is upfront that similar expressions appeared in earlier work on OPO domain walls and necklace-ring beams; the contribution here is the systematic 2D verification in Kerr cavities — LG pumps for m = 1 through 5, several beam waists, and top-hat pumps producing multiple concentric rings. The measured angular velocity tracks 2m/R^2 using the measured ring radius, with no fitted constants. The LG corollary omega = ±4/w0^2 is neat.\n\nThe genuinely new piece is the vector-beam control. A cylindrical-vector pump continuously tunes omega between -2m/R^2 and +2m/R^2 by varying the eigenmode bias, and Poincaré pumps give omega = (m_L + m_R)/R^2 for several tested mode combinations. The counter-rotating 'peppermill' of concentric rings is a nice demonstration. The catch is that these laws are empirical: no analytic derivation is given, and for Poincaré beams the radius R in the formula is not clearly defined when m_L and m_R place the two eigenmodes at different ring radii.\n\nThe soft spot the stress-test flagged is real: the 1D derivation lives on a mathematical ring, while in 2D the local advection speed is 2m/r^2, which varies across a finite-width ring. The paper never quantifies ring width or probes where rigid rotation breaks down. For the parameters simulated the variation is within the reported error bars (R = 11.0 ± 0.5 makes omega uncertain at the ~3% level), so the central claim holds up; it is the unqualified 'universal law' phrasing that overreaches. A referee should ask for a width condition or a test in a wider-ring regime. Minor items: Eq. (21) has a typo (both LG modes labelled m_L), and Fig. 12's radius convention needs stating.\n\nThis paper is for people working on OAM in nonlinear cavities, pattern formation, or structured-light control of dissipative systems. It is a within-subfield contribution, not a field reshuffling, but it is carefully done and the control idea will likely get used. I would send it to peer review, and cite it if I worked nearby.","headline":"A clean exact rotation law (omega = 2m/R^2) for OAM-pumped Kerr cavities, honestly situated against prior work, with a genuinely new vector-beam control mechanism; the ring-width assumption is a real but nonfatal gap.","tokens_in":13546,"tokens_out":8524,"would_cite":true,"duration_ms":73851,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["42.65.-k","42.65.Sf"],"model":"deepseek-v4-flash","headline":"Turing patterns in a Kerr cavity rotate at a rate set by orbital angular momentum and ring radius, and vector beams make that rate continuously tunable.","keywords":["Turing patterns","Kerr cavity","orbital angular momentum","rotating patterns","Lugiato-Lefever equation","cylindrical vector beams","Poincaré beams","optical trapping"],"falsifier":"Take a top-hat pump with known radius $R$ and OAM $m$ in a 2D Kerr-cavity simulation or experiment, measure the angular velocity of the ring pattern after the transients settle, and compare with $2m/R^2$; any deviation beyond the uncertainty in $R$, or any dependence of $\\omega$ on pump steepness or intensity at fixed measured $R$, would falsify the law. A sharper check is to vary ring curvature by reducing $R$ until radial gradients are unavoidable and see where the measured $\\omega$ departs from the formula.","tokens_in":12498,"feed_emoji":"🌀","tokens_out":9436,"duration_ms":86622,"temperature":0.7,"pith_summary":"This paper establishes that Turing patterns in a self-focusing Kerr cavity pumped by light carrying orbital angular momentum $m$ rotate around a ring of radius $R$ with angular velocity $\\omega = 2m/R^2$. The rotation law is derived from the Lugiato-Lefever equation by a traveling-wave ansatz and verified in full 2D simulations for Laguerre-Gaussian and top-hat pumps. With vector pumps that superpose orthogonally polarized OAM modes, the angular velocity can be swept continuously between $-2m/R^2$ and $+2m/R^2$, and Poincaré-beam pumps rotate at the sum of the two mode indices divided by $R^2$. If the paper is right, rotating optical patterns are a predictable and fully controllable resource for particle trapping, transport, and optically driven stirring.","feed_headline":"Light patterns rotate at a rate set by vortex charge and radius","feed_subtitle":"Orbital angular momentum and vector-beam pumps tune ring rotation continuously","key_machinery":"The load-bearing mechanism is the traveling-wave reduction of the ring-reduced Lugiato-Lefever equation: writing the field as $E(\\varphi,t) = F(\\varphi - \\omega t)e^{im\\varphi}$ turns the OAM phase into a Doppler-like shift, and the cancellation condition fixes $\\omega = 2m/R^2$. This maps rotating patterns onto stationary patterns with detuning $\\theta + m^2/R^2$, so the standard Turing linear-stability analysis (critical wavevector $k_c = \\sqrt{2\\beta I_s - \\theta - m^2/R^2}$) applies unchanged. For control, the coupled LLE for two circular polarizations provides the platform: the relative amplitude $\\gamma$ of orthogonal OAM eigenmodes is the bias knob for $\\omega$, and the sum $m_L + m_R$ sets the net rotation when the modes overlap.","core_discovery":"In the paper's own terms, the discovery is that the azimuthal motion of a Turing pattern is slaved to the pump's orbital angular momentum: factoring $E = F e^{im\\varphi}$ in the ring-reduced Lugiato-Lefever equation produces a first-order derivative term $\\frac{2m}{R^2} \\partial_\\varphi F$, and requiring the envelope to travel as $F(\\varphi - \\omega t)$ fixes $\\omega = 2m/R^2$ exactly. The same reduction leaves a stationary equation with detuning shifted by $m^2/R^2$, so every known result for $m=0$ Turing patterns, including the critical wavevector and peak-number formula, carries over with the renormalized detuning. Simulations confirm the law for LG and top-hat pumps, including multi-ring cases where each ring rotates at $2m/R^2$ with its own measured radius. Vector pumps then give continuous control: equal-and-opposite OAM modes with relative amplitude $\\gamma$ interpolate $\\omega$ across $[-2m/R^2, 2m/R^2]$, and Poincaré modes with overlapping eigenmodes rotate at $(m_L + m_R)/R^2$, while non-overlapping modes yield counter-rotating concentric rings ('optical peppermill').","pith_inferences":["The same traveling-wave argument should apply to any translationally invariant pump carrying a linear phase gradient in a nonlinear cavity, so equivalent speed laws are expected for tilted-plane-wave pumps; that extension is not explored in the paper.","Because each concentric ring is dynamically independent, multi-ring pumps with independent OAM assignments per ring suggest reconfigurable multi-speed rotors, which could be used to create differential flows for sorting or mixing microscale objects.","The relation $\\omega = 2m/R^2$ makes the accumulated rotation angle a deterministic function of time, so a rotating Turing ring is a candidate for an all-optical clock or phase reference whose frequency is set geometrically by $R$ and $m$, testable by interferometric phase measurement."],"forward_implications":["Rotation speed is no longer a free parameter: for any measured ring radius $R$ and pump OAM $m$, the pattern must rotate at $2m/R^2$, giving a quantitative check in any Kerr-cavity experiment.","For a Laguerre-Gaussian pump of fixed waist $w_0$, the speed is $\\pm 4/w_0^2$ independent of $m$, explaining and unifying earlier observations of slowly varying rotation across OAM values.","Cylindrical vector beam bias provides a knob that smoothly tunes rotation from full clockwise to full counter-clockwise, passing through a stationary pattern at zero net OAM.","Poincaré-beam pumps rotate at $(m_L+m_R)/R^2$ when modes overlap; when they do not, concentric rings rotate independently and oppositely, forming an 'optical peppermill' with individual ring-speed control.","These rotors can act as optically driven conveyors: dipole trapping of atoms, molecules, and particles, cell stretching by differential rotation, and circular transport of cold atoms or BEC wavepackets."],"supporting_citations":[{"why":"supplies the Lugiato-Lefever equation that is the starting model for the Kerr cavity.","marker":"[2]"},{"why":"provides the linear-stability and critical-wavevector analysis of Turing patterns in passive Kerr cavities that the paper extends to rotating solutions.","marker":"[13]"},{"why":"introduces the tilted-wavefront travelling-wave reduction that the ring analysis generalizes to polar coordinates.","marker":"[14]"},{"why":"derives a similar angular-velocity expression for rotating domain walls in optical parametric oscillators, a prior anchor for Eq. (14).","marker":"[3]"},{"why":"reports rotating cavity solitons in semiconductor microresonators, supporting the universality of the rotation law.","marker":"[4]"},{"why":"observes vortex-induced rotation of optical patterns in a photorefractive feedback system, another experimental confirmation.","marker":"[5]"},{"why":"defines cylindrical vector beams used for the bias-control pump.","marker":"[6]"},{"why":"defines Poincaré beams used for the $(m_L+m_R)/R^2$ velocity law.","marker":"[7]"},{"why":"gives the coupled Lugiato-Lefever equations for two circular polarizations used to model vector-beam pumps.","marker":"[23]"}],"fun_headline_variants":["Vortex charge sets pattern spin in optical cavities","2m/R^2: the law for rotating Turing patterns","Counter-rotating rings make optical peppermill","Full control of pattern rotation in Kerr cavities","Vector beams dial rotation speed from -2m/R^2 to +2m/R^2"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The central derivation assumes a fixed ring radius (dropping radial derivatives) and, in its analytic part, proximity to the pattern-formation threshold; the 2D radius is measured after the fact rather than predicted, so if radial coupling or threshold-distance effects are significant the formula could fail.","fun_headline_variants_meta":{"raw":{"variants":["Vortex charge sets pattern spin in optical cavities","2m/R^2: the law for rotating Turing patterns","Counter-rotating rings make optical peppermill","Full control of pattern rotation in Kerr cavities","Vector beams dial rotation speed from -2m/R^2 to +2m/R^2"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000658,"raw_usage":{"total_tokens":3078,"prompt_tokens":1082,"completion_tokens":1996,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":698,"completion_tokens_details":{"reasoning_tokens":1912}},"tokens_in":698,"tokens_out":1996,"duration_ms":15915,"temperature":1.0,"reasoning_tokens":1912,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:06:34.259490+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a top-hat pump with known radius $R$ and OAM $m$ in a 2D Kerr-cavity simulation or experiment, measure the angular velocity of the ring pattern after the transients settle, and compare with $2m/R^2$; any deviation beyond the uncertainty in $R$, or any dependence of $\\omega$ on pump steepness or intensity at fixed measured $R$, would falsify the law. A sharper check is to vary ring curvature by reducing $R$ until radial gradients are unavoidable and see where the measured $\\omega$ departs from the formula.","supporting_citations":[{"cited_title":"Note that the numer of independent concentric rings that can form inside the top-hat depends on its diameter and the Turing pattern wavelength","cited_arxiv_id":null,"evidence_quote":"supplies the Lugiato-Lefever equation that is the starting model for the Kerr cavity."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"provides the linear-stability and critical-wavevector analysis of Turing patterns in passive Kerr cavities that the paper extends to rotating solutions."},{"cited_title":"Bouchard, H","cited_arxiv_id":null,"evidence_quote":"introduces the tilted-wavefront travelling-wave reduction that the ring analysis generalizes to polar coordinates."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"derives a similar angular-velocity expression for rotating domain walls in optical parametric oscillators, a prior anchor for Eq. (14)."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"reports rotating cavity solitons in semiconductor microresonators, supporting the universality of the rotation law."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"observes vortex-induced rotation of optical patterns in a photorefractive feedback system, another experimental confirmation."},{"cited_title":"Kheradmand, L","cited_arxiv_id":null,"evidence_quote":"defines cylindrical vector beams used for the bias-control pump."},{"cited_title":"Caullet, N","cited_arxiv_id":null,"evidence_quote":"defines Poincaré beams used for the $(m_L+m_R)/R^2$ velocity law."},{"cited_title":"Lemke, C","cited_arxiv_id":null,"evidence_quote":"gives the coupled Lugiato-Lefever equations for two circular polarizations used to model vector-beam pumps."}],"review_version":1}