{"id":"a3ecdbdd-0160-4bc0-b514-9e132c261e05","arxiv_id":"1908.02057","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Temporal localized structures in doubly resonant dispersive optical parametric oscillators form by domain wall locking and correspond to coherent optical frequency combs, even with large walk-off.","lead":"This paper shows theoretically that stable pulses of light, and the frequency combs they produce, can form in doubly resonant optical parametric oscillators through a new mechanism: two domain walls connecting opposite-phase continuous-wave states lock together into a localized pulse. The mechanism also works under large temporal walk-off, which could relax the dispersion-engineering requirements for comb generation.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central claim rests on the adiabatic elimination of B in Eq. (4b), but for drifting walk-off solitons the omitted term is not negligible; the paper gives no quantitative check that Eq. (5) controls the large-walk-off regime.","rationale":"Good-faith reading: the paper proposes a clear and interesting mechanism—domain-wall locking between the equivalent CW states ±A+ can produce stable combs in doubly resonant OPOs without relying on modulation instability. It derives a nonlocal mean-field model, explains the locking in a local limit, and uses numerical continuation to show that the localized structures survive large walk-off. The full-map simulation in Fig. 1 provides direct, independent evidence at one experimentally motivated parameter set, and individual LSs remain stable when used as initial conditions. This is real support and prevents a rejection.\n\nThe most load-bearing weakness is the reduction from Eq. (4) to Eq. (5). The paper's own text says the slaving of B is found 'through numerical inspection', and the validation against the map is described only as 'almost identical' with no error metric. For the parameters used, α=1, so the standard fast-mode justification for adiabatic elimination is absent. For drifting solitons, the neglected ∂tB term is -v∂τ'B, which can be O(1); omitting it changes the effective walk-off from d to d-v. The continuation in γ is performed on the reduced model whose validity is exactly the point at issue. This is an addressable numerical question, not an obvious invalidation: the full-map simulation suggests the phenomenon is real, and the reduced model may still be accurate despite the missing formal justification.\n\nBecause the concern is concrete and quantitative, and because the full-map evidence at one parameter set is not sufficient to certify the walk-off continuation, the reader's CONDITIONAL verdict remains appropriate. The proposed test would either confirm that Eq. (5) is a controlled reduction or would force a re-examination of the large-walk-off claim.","tokens_in":8289,"tokens_out":8458,"duration_ms":99384,"concrete_test":"Run the same localized initial condition through the infinite map (2)-(3), the two-field mean-field model (4), and the reduced Eq. (5) at the γ values of Fig. 3 (for example γ=0, 1, 2, 3, 5, 10). Measure the L2 relative error in the comoving A and B profiles and the drift velocity after transients. Also recompute the reduced kernel with the effective walk-off d-v, i.e. retaining -v∂τ'B in the elimination, and compare the LS branch. If the profile/velocity mismatch between Eq. (5) and Eq. (4)/(map) exceeds a few percent, or if the d-v corrected branch differs substantially, the adiabatic elimination is not controlled and the large-walk-off claim needs revision.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The main claim—stable domain-wall-locked combs exist for large walk-off—is established in the reduced model Eq. (5), obtained by setting ∂tB≈0 in Eq. (4b). This is the load-bearing step. The paper justifies it only by 'numerical inspection' and validates it against the map as 'almost identical', without giving an error estimate. The step is not innocuous: with the physical parameters used (α1=α2=T=0.0196, so α=1), B has the same normalized decay rate as A, so there is no standard fast-mode slaving. More importantly, the LSs at nonzero walk-off γ drift at velocity v (Fig. 3), so in the comoving frame ∂tB=-v∂τ'B. This term is not small when v is O(1) (the figure shows v up to about 2), and it changes the effective walk-off in the B equation from d to d-v. The kernel in Eq. (6) uses only d; the continuation in γ may therefore track solutions of Eq. (5) that are not the solutions of Eq. (4) or of the map (2)-(3). If the approximation fails in the large-γ regime, the central 'robust to walk-off' conclusion and the domain-wall-locking explanation are not supported by the reduced model alone. The single full-map realization in Fig. 1 is evidence for existence at one parameter set, but it is not a systematic validation of the γ-continuation.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper investigates, theoretically, the formation of temporal localized structures (LSs) and their associated frequency combs in doubly resonant dispersive optical parametric oscillators. Starting from a round-trip map for the fundamental and pump envelopes, Eqs. (2)-(3), the authors derive two coupled mean-field equations, Eq. (4), and then a single nonlocal mean-field equation, Eq. (5), by neglecting the time derivative of the pump field in Eq. (4b). They analyze the homogeneous steady states of Eq. (5), identify domain walls connecting the equivalent states -A+ and A+, and show that oscillatory tails can lock these walls into stable LSs. Using numerical continuation, they study the effect of temporal walk-off gamma and of the pump GVD eta, finding that the LSs drift and persist for large walk-off, in qualitative agreement with the structures obtained from the full map in Fig. 1. The paper concludes that domain-wall locking provides a mechanism for frequency comb generation that does not rely on modulational instability and that is robust to large temporal walk-off.","tokens_in":8591,"tokens_out":8709,"duration_ms":93966,"significance":"If the central claim holds, the paper identifies a new and practically relevant mechanism for frequency comb generation in quadratic cavities: comb formation would occur without modulational instability and without stringent dispersion engineering, which is a significant advantage over existing MI-based approaches. The work is commendably grounded in independently measured experimental parameters rather than in fitted free constants, and the derivation from the round-trip map to the mean-field models is coherent and standard in structure. The domain-wall-locking interpretation is well supported in the local limit, where the analysis is carried out explicitly. However, the paper's main large-walk-off claim rests on an adiabatic elimination that is not quantitatively justified, and the direct validation against the full map is limited to a single parameter set described only as 'almost identical' without an error estimate. These gaps are fixable and should be addressed before publication.","major_comments":[{"comment":"The adiabatic elimination of B in Eq. (4b) is the load-bearing step for the large-walk-off claim, but the justification given in the text ('numerical inspection') is not quantitative. For the parameters used in Fig. 1, alpha=1, so B has the same normalized decay rate as A and there is no fast-mode slaving. More importantly, the LSs at nonzero walk-off drift at velocity v (Fig. 3 shows v of order 1, up to v about 2), so in a comoving frame partial_t B = -v partial_tau' B is of order v and is not negligible; this term changes the effective walk-off in Eq. (4b) from d to d-v, while the kernel in Eq. (6) contains only gamma=d/alpha. Consequently, the continuation in gamma in Fig. 3 may follow solutions of Eq. (5) that are not solutions of Eq. (4) or of the map (2)-(3). The authors should provide quantitative evidence, for example a comparison of steady states of Eqs. (4) and (5) with an error norm over the gamma range of Fig. 3, plus direct checks against the map at several parameter sets, before the large-walk-off robustness claim can be accepted.","section":"Derivation of Eq. (5) from Eq. (4b)"},{"comment":"The domain-wall-locking mechanism is analyzed explicitly only for the local limit gamma=eta=0, using the eigenvalues of Eq. (8). The paper asserts that 'the mechanism of DW locking remains the same' for Eq. (5), but the nonlocal kernel and the drift velocity v of the LSs modify the spatial eigenvalues that determine whether the DW tails are oscillatory (K0 != 0). Without specifying how lambda0 is computed when v != 0 and showing that the predicted locking separations match the widths of the continued LSs in Fig. 3, the explanation of LS formation at large walk-off is not demonstrated even within the reduced model. This should be clarified or the claim softened.","section":"Domain-wall locking for gamma != 0, Eq. (5)"},{"comment":"The only direct comparison with the infinite map in the paper is the single realization in Fig. 1, and the agreement is described as 'almost identical' without an error estimate. Because the central conclusion, namely that LSs persist for very large walk-off, is obtained by continuation in the reduced model, the validation should include more than one parameter point. A quantitative comparison of the field envelopes obtained from the map (2)-(3), Eq. (4), and Eq. (5) for several values of gamma, including the large-gamma regime, would substantially strengthen the paper and directly address the validity of the reduction where the main claim is made.","section":"Validation against the full map, Fig. 1"}],"minor_comments":[{"comment":"The panel references are confusing: the caption uses '(c)-(d)[top]' and '(c)-(d)[bottom]', while the text refers to 'panels (b) and (c)[top]'. Please clarify the panel labels and the top/bottom rows.","section":"Fig. 1 and surrounding text"},{"comment":"The normalized walk-off gamma and the GVD parameter eta are introduced only in the sentence after Eq. (6); for readability, define them explicitly near Eq. (4) and before they are used in Fig. 3.","section":"Eq. (6) and parameter definitions"},{"comment":"The kernel in Eq. (6) has an unusual normalization with the prefactor 1 + Delta_tilde_2^2; please state explicitly that this is a normalization factor for the nonlocal interaction and specify the convolution convention used.","section":"Eq. (6)"},{"comment":"The statement that LS formation 'does not depend on modulational instabilities' is not directly tested: the simulations start from noisy backgrounds, and no linear MI gain analysis is reported for the parameters used. Consider adding such a check or softening the wording.","section":"Conclusions"},{"comment":"The definition of the LS width D is not given; please specify whether it is the separation between the two DW cores, a full width at half maximum, or another measure, since the monotonic increase of D with gamma is a quantitative claim.","section":"Fig. 3"},{"comment":"The phrase 'infinite map' would be clearer as 'infinite-dimensional map' or 'round-trip map'; as written it might be misread as a map with infinitely many round trips.","section":"Introduction"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is within the scope of the journal and presents a novel and attractive mechanism for quadratic frequency comb generation. My main concern is the quantitative validity of the adiabatic elimination leading to Eq. (5), which is load-bearing for the large-walk-off claim; this is fixable with additional numerical validation. I saw no citation or novelty issues."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague—\n\nThe one thing to know: this is a plausible new comb mechanism for quadratic cavities, not a revolutionary one. The domain-wall-locking idea is borrowed from Kerr combs and spatial OPOs, but the extension to temporal doubly resonant OPOs with walk-off is real, and the full-map simulation in Fig. 1 shows the structures actually form from noise. If that simulation is right, the central claim survives: localized structures exist in a regime where the old MI route wasn't needed.\n\nWhat the paper does well: the derivation chain from infinite map to two mean-field equations to the single nonlocal equation is standard and carefully executed. The kernel in Eq. (6) is derived, not fitted. The continuation in walk-off is a nice piece of work, and the physical parameters come from the independent experiment [6]. The paper is honest about using 'numerical inspection' to justify dropping ∂tB.\n\nSoft spots, in proportion. The adiabatic elimination is the load-bearing step. The stress-test note pushes harder: for a drifting localized structure, ∂tB = −v∂τ'B, and the kernel in Eq. (6) doesn't include that v. Strictly, the reduced model should use d−v in the kernel, not d. That's a real inconsistency in the derivation of Eq. (5) for moving states. But I don't think it kills the paper. The full-map simulation is direct evidence at one parameter set, and the comparison to the reduced model is described as 'almost identical'. The continuation may be quantitatively off, but the existence claim is backed by the map. What's missing is a quantitative error estimate: how close are the solutions of (5) to (4) or the map as γ varies? The paper gives 'almost identical' without a number. That's a referee's ask, not a fatal flaw.\n\nSecond soft spot: the claim that formation does not depend on MI is asserted without a stability calculation. They don't show the homogeneous steady state is stable in the relevant regime. The DW-locking mechanism is independent of MI, but 'independent' is not the same as 'in the absence of MI.' A linear stability analysis of the CW background would settle it. Also, no code or data is provided, which makes replication harder, though common for a letter.\n\nWho is this for: anyone working on quadratic frequency combs, microcombs, or dissipative solitons. It deserves a serious referee—not a desk reject. The gaps are addressable: add an error estimate for the adiabatic reduction, check HSS stability against MI, and ideally provide code or a reproducibility statement. I'd send it to review.","headline":"Plausible new comb mechanism in quadratic cavities, with a real gap in the adiabatic reduction that a revision can fix.","tokens_in":9120,"tokens_out":7461,"would_cite":true,"duration_ms":79344,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["42.65.-k","05.45.Jn","05.45.Vx","05.45.Xt","85.60.-q"],"model":"deepseek-v4-flash","headline":"In doubly resonant dispersive OPOs, stable temporal localized structures and their frequency combs form through the locking of domain walls between equivalent continuous-wave states, even under large temporal walk-off and without…","keywords":["optical frequency combs","doubly resonant OPO","domain wall locking","localized temporal structures","nonlocal mean-field model","temporal walk-off","parametrically forced Ginzburg-Landau equation"],"falsifier":"Integrate the infinite map (2)-(3) for parameters in which $B$ varies on the same slow-time scale as $A$ (for example, small $\\alpha$ or large detuning $\\Delta_2$) and compare the resulting localized profiles, velocities, and existence ranges with solutions of Eq. (5). If the reduced model fails to reproduce locked domain-wall pairs, or predicts stability where the map shows coarsening, the adiabatic-slavery premise is broken.","tokens_in":8093,"feed_emoji":"⚡","tokens_out":5531,"duration_ms":51336,"temperature":0.7,"pith_summary":"Doubly resonant dispersive optical parametric oscillators can produce stable temporal localized structures whose spectra are coherent frequency combs. The paper argues that these structures do not come from modulational instability, the usual comb route, but from the locking of pairs of domain walls that connect two equivalent continuous-wave states, $A_+$ and $-A_+$. The authors derive a nonlocal mean-field equation for the signal field alone, in which the pump field is adiabatically eliminated, and show that the same localized structures and combs appear in the reduced model, in the two-field model, and in the original infinite map. The mechanism survives large temporal walk-off, which matters practically because it relaxes dispersion engineering.","feed_headline":"Domain-wall locking creates OPO combs without modulation instability","feed_subtitle":"Localized combs arise from locked domain walls between opposite continuous-wave states, even at large walk-off.","key_machinery":"The load-bearing object is the single nonlocal mean-field equation $\\partial_t A = -(1+i\\Delta_1)A - i\\beta_1 \\partial^2_{\\tau'}A - \\bar{A}(A^2 \\otimes J) + \\rho \\bar{A}$, obtained by adiabatically eliminating the pump field $B$ from the two coupled mean-field equations. The kernel $J$ encodes the nonlocal nonlinear coupling between points of the fast time variable. In the local limit the equation reduces to the parametrically forced Ginzburg-Landau equation with $2:1$ resonance, whose domain walls are Ising fronts. The locking mechanism is governed by the leading eigenvalue $\\lambda_0 = Q_0 + iK_0$ of the linearized approach to the homogeneous state: when $K_0 \\neq 0$, two opposite-polarity walls interact through a force $\\partial_t D \\sim e^{-Q_0 D} \\cos(K_0 D)$ and lock at separations $D_n = 2\\pi n/K_0$, producing multistable localized structures.","core_discovery":"The central claim is that stable temporal localized structures exist in doubly resonant dispersive OPOs and correspond to coherent frequency combs at both the fundamental and the pump frequencies. These structures are bound states of two domain walls of opposite polarity, each connecting the two equivalent continuous-wave states related by $A \\to -A$; the walls lock because their oscillatory tails produce an exponentially decaying, oscillatory interaction force. The formation of this type of localized state does not require modulational instability. The claim is established through three levels of description—an infinite map, a two-field mean-field model, and a single nonlocal Ginzburg-Landau-type equation—that yield almost identical stationary profiles, and through continuation in the walk-off parameter showing that the localized states persist and drift at a velocity that saturates at large walk-off.","pith_inferences":["If the adiabatic slaving of $B$ is quantitatively justified, then the single nonlocal equation should predict not only stationary profiles but also the comb line spacing from the localized-structure width; that connection is not made explicit in the paper.","The same domain-wall locking logic may apply to other doubly resonant quadratic cavities, including nondegenerate configurations where the two equivalent CW states are related by a different symmetry; the paper studies only the degenerate case.","A direct experimental test would be to pump a doubly resonant OPO in the subcritical regime with walk-off large enough to suppress MI and look for the predicted multistable localized-structure combs rather than MI patterns."],"forward_implications":["In the subcritical regime, a doubly resonant OPO can support many coexisting localized structures of different widths, so the same cavity and pump settings can produce different coherent combs.","Because the mechanism does not depend on modulational instability, comb generation should be possible in parameter regions where MI gain is absent, as long as the two equivalent CW states coexist.","Large temporal walk-off does not destroy the localized states; it makes them drift and widens them, so dispersion engineering beyond phase matching is not required.","Each localized structure yields a frequency comb around both $\\omega_0$ and $2\\omega_0$, so the OPO comb extends to spectral regions away from the pump."],"supporting_citations":[{"why":"Supplies the experimental cavity parameters and the MI-induced OPO comb baseline that the paper compares against.","marker":"[6]"},{"why":"Provides the doubly resonant mean-field derivation and the resonance condition $\\delta_2 = 2\\delta_1$ used here.","marker":"[5]"},{"why":"Shows how domain walls form localized structures in spatial degenerate OPOs, the mechanism transferred to the temporal case.","marker":"[15]"},{"why":"Gives the diffractive domain-wall formalism, including the eigenvalue analysis used for the oscillatory tails.","marker":"[16]"},{"why":"Classifies localized oscillations in periodically forced dissipative systems, grounding the parametrically forced Ginzburg-Landau analysis.","marker":"[22]"},{"why":"Supplies the particle-like interaction force between fronts and the locking picture for localized structures.","marker":"[7]"},{"why":"Establishes stable topological spatial solitons in OPOs, the phase-indeterminacy origin of the domain walls.","marker":"[14]"},{"why":"Provides the singly resonant mean-field reduction whose nonlocal kernel treatment is adapted here.","marker":"[18]"}],"fun_headline_variants":["Domain-wall locking makes OPO combs without modulation instability","Locked domain walls create stable OPO frequency combs","OPO combs from locked domain walls, no modulation instability needed","Stable OPO combs via domain-wall locking, bypassing instability","Domain-wall locking yields coherent combs in optical parametric oscillators"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument's load-bearing step is the numerical observation that the pump field $B$ evolves slowly enough to set $\\partial_t B \\approx 0$ in the mean-field equations; if that adiabatic elimination is not valid for some cavity parameters, the single nonlocal equation and the domain-wall picture derived from it would not faithfully represent the full system.","fun_headline_variants_meta":{"raw":{"variants":["Domain-wall locking makes OPO combs without modulation instability","Locked domain walls create stable OPO frequency combs","OPO combs from locked domain walls, no modulation instability needed","Stable OPO combs via domain-wall locking, bypassing instability","Domain-wall locking yields coherent combs in optical parametric oscillators"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000126,"raw_usage":{"total_tokens":1008,"prompt_tokens":741,"completion_tokens":267,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":357,"completion_tokens_details":{"reasoning_tokens":180}},"tokens_in":357,"tokens_out":267,"duration_ms":37894,"temperature":1.0,"reasoning_tokens":180,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:54:41.650233+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Integrate the infinite map (2)-(3) for parameters in which $B$ varies on the same slow-time scale as $A$ (for example, small $\\alpha$ or large detuning $\\Delta_2$) and compare the resulting localized profiles, velocities, and existence ranges with solutions of Eq. (5). If the reduced model fails to reproduce locked domain-wall pairs, or predicts stability where the map shows coarsening, the adiabatic-slavery premise is broken.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the experimental cavity parameters and the MI-induced OPO comb baseline that the paper compares against."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the doubly resonant mean-field derivation and the resonance condition $\\delta_2 = 2\\delta_1$ used here."},{"cited_title":"Trillo, M","cited_arxiv_id":null,"evidence_quote":"Shows how domain walls form localized structures in spatial degenerate OPOs, the mechanism transferred to the temporal case."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the diffractive domain-wall formalism, including the eigenvalue analysis used for the oscillatory tails."},{"cited_title":"Gelens, D","cited_arxiv_id":null,"evidence_quote":"Classifies localized oscillations in periodically forced dissipative systems, grounding the parametrically forced Ginzburg-Landau analysis."},{"cited_title":"Mosca, M","cited_arxiv_id":null,"evidence_quote":"Supplies the particle-like interaction force between fronts and the locking picture for localized structures."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes stable topological spatial solitons in OPOs, the phase-indeterminacy origin of the domain walls."},{"cited_title":"Haelterman, S","cited_arxiv_id":null,"evidence_quote":"Provides the singly resonant mean-field reduction whose nonlocal kernel treatment is adapted here."}],"review_version":1}