{"id":"662bf0af-bf67-49c3-9cf7-6125a06e57ce","arxiv_id":"2505.02691","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"In three nonlinear optical resonator models, spontaneous symmetry breaking is shown to be dislocated from Jacobian exceptional points, yet a Jacobian exceptional point is a necessary precursor to the symmetry-breaking instability.","lead":"Spontaneous symmetry breaking and exceptional points in Kerr resonators occur at different points in parameter space, not at the same point as often assumed. The paper shows that despite this separation, crossing a Jacobian exceptional point is still a necessary precursor to symmetry breaking.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The precursor necessity is proven only for the homogeneous reduction at Eq. (8); the conclusion states it for the full LLE systems, whose patterned states (solitons, faticons, breathers) are not covered.","rationale":"The reader's weakest assumption identifies the homogeneous-state restriction, and I agree that this is the main limitation of the central claim. Within the homogeneous ODE reduction, the derivation is essentially sound: the corrected eigenvalue formula gives the stated EP conditions and instability boundary. Note that Eq. (16) as printed contains an extra factor of 2 in the outer square root; the Methods derivation in Eqs. (28)-(30) uses the correct formula y²=η±√(η²−ν), so this appears to be a typographical error rather than a fatal flaw. The load-bearing gap is that the Conclusion and abstract state the precursor property and the 'more general principle' for the three optical platforms, while the proof only covers the homogeneous reduction. The paper itself lists patterned states as relevant to Eqs. (5)-(7), and finite-wavevector perturbations are excluded by the ∂²τE=0 assumption. A finite-k linear stability analysis of the full LLE is the natural check: it would reveal whether a k≠0 instability occurs before the k=0 Jacobian EP, and whether a mode-resolved EP precursor still holds. If the mode-resolved version holds, the qualitative conclusion may survive in a generalized form; if not, the unqualified claim is false. This assessment does not change the reader's conditional verdict: the homogeneous result is correct, but the scope must be stated precisely in the final version.","tokens_in":15304,"tokens_out":24062,"duration_ms":284899,"concrete_test":"For the full LLE Eq. (5), linearize around the homogeneous symmetric solution with perturbations e^{ikτ}. The k-dependent Jacobian is the homogeneous Jacobian with θ replaced by θ−ηk². Along a detuning scan, compute the first k for which Re(λ)>0 and compare that onset with the k=0 EP conditions ν=0 or ν=η² from Eq. (19). If the first instability occurs at k≠0 before the k=0 EP, the homogeneous precursor claim fails for the full system; if no such case is found, the paper's qualitative conclusion may survive in mode-resolved form.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section II derives the EP conditions (19) and the stability boundary (20) from the ODE (8), which is obtained from Eqs. (5)-(7) by imposing ∂²τE=0 and replacing fast-time averages by local intensities before Eq. (8). The 'necessary precursor' proof in IIC then relies on the symmetric homogeneous branch tending to the qCS-unbroken phase as θ→±∞ or I→0,∞. This establishes, at most, that the k=0 Jacobian EP precedes k=0 SSB of the homogeneous state. It does not establish the Conclusion's unqualified claim for the three LLE platforms, which also support bright and dark solitons, breathers, faticons, and soliton chains (Sec. I.B). If SSB of those patterned states sets in through a finite-wavevector (k≠0) or non-homogeneous instability, the homogeneous Jacobian EP need not be a precursor; the mode-resolved Jacobian, with θ shifted by dispersion (θ→θ−ηk²), has different EP and stability boundaries. The paper itself flags this restriction ('we focus on homogeneous states'), but the abstract and conclusion generalize beyond it. Within the homogeneous class the algebra is consistent, so the defect is one of scope rather than internal soundness.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript studies the relation between spontaneous symmetry breaking (SSB) and exceptional points (EPs) in three Kerr-resonator models. Starting from the coupled Lugiato-Lefever equations (5)-(7), it imposes the homogeneous-state reduction ∂²τE1,2=0 and ⟨|E|²⟩→|E|², obtaining a single two-component ODE (8). It then derives the Jacobian, its eigenvalues (16), the EP conditions (19), and the SSB/instability boundary (20) in terms of two invariants η and ν. The central claims are that SSB and Jacobian EPs are generically located at different points in parameter space, but that crossing a Jacobian EP is a necessary precursor to SSB, because parameter scans start and end in the qCS-unbroken phase of the Jacobian and therefore must cross an EP line to reach an unstable regime.","tokens_in":15532,"tokens_out":15752,"duration_ms":193927,"significance":"If correct within its stated homogeneous-state domain, the paper gives a clean, analytic demonstration that Jacobian EPs and SSB bifurcations do not have to coincide, together with a non-trivial necessary-condition relation between them. The construction of the η-ν plane and the use of symmetry phases to organize both the EP and stability conditions is elegant, and the central derivation contains no fitted parameters: Eqs. (19) and (20) are derived algebraically from the model. The cautionary message about not equating EPs with SSB is valuable. However, as detailed below, the displayed eigenvalue formula contains an internal inconsistency, the precursor claim as stated in the abstract and conclusion goes beyond the homogeneous-state analysis, and one auxiliary asymptotic result in the Methods is asserted without derivation. These issues are local and addressable, so the paper is promising but needs revision.","major_comments":[{"comment":"The eigenvalue formula (16) is inconsistent with the subsequent derivation. Equation (16) and the display before Methods B.2 write λ±1±2 = −1 ± √(η ± 2S) with S = √(η²−ν), but the stability analysis in Methods B.2 uses λ = −1 + √(η+S) (for example, it states that in Regions I and IV, where η+S≥0, Eq. (28) becomes √(η+S)≥1). For a traceless 4×4 matrix with invariants η=tr(J̃²)/4 and ν=det(J̃), the characteristic polynomial has roots ±√(η ± √(η²−ν)), without the factor 2 in the inner radical. If Eq. (16) were taken literally, the outer square roots would vanish at ν=3η²/4 rather than at ν=0, which would change the single-EP2 condition in Eq. (19). The EP conditions (19) and the stability boundary (20) appear to be based on the correct form, but the manuscript as written is internally contradictory; Eq. (16) and the corresponding display in Methods B.2 should be corrected and their consistency with Eq. (19) checked explicitly.","section":"Eq. (16); Methods B.2"},{"comment":"The necessary-precursor claim is proven only for the homogeneous reduction. Eq. (8) is obtained from Eqs. (5)-(7) by imposing ∂²τE1,2=0 and replacing all fast-time averages by local intensities, and the Jacobian (14) is built from this ODE. Section I.B explicitly notes that the full coupled LLEs also support bright and dark solitons, breathers, faticons, and soliton chains. The proof in §II.C that parameter scans begin and end in the qCS-unbroken phase uses Eq. (21) and the homogeneous-state relation d=4B²(I−P)P, so it establishes at most that the k=0 Jacobian EP precedes the k=0 SSB instability of the homogeneous branch. The Conclusion, however, states without qualification that \"the emergence of Jacobian EPs is a necessary precursor to the onset of SSB\" for the three LLE platforms. For patterned or finite-wavevector instabilities, the mode-resolved Jacobian involves the replacement θ→θ−ηk² and modified averaged XPM terms, so the EP and stability boundaries become k-dependent; the present analysis does not cover them. The authors should either restrict the abstract and conclusion to homogeneous-state SSB, or extend the analysis to the k-resolved Jacobian and show that the precursor property survives.","section":"§I.B, §II.C, Conclusion"},{"comment":"The treatment of the B>3A case relies on an asymptotic expansion that is not derived. Eq. (31) gives the leading-order form of d(θ,P1,P2) for P1,P2→∞, and the text infers from its positivity that the intensity scan remains in the qCS-unbroken phase and does not approach the dual EP2 line. The expansion is stated without derivation and under the assumption that P1 and P2 grow with the same asymptotic scaling; the validity of that scaling is not justified. Because the B>3A regime is explicitly invoked to extend the precursor argument beyond the B<3A case analyzed in the main text, this omission leaves a gap in the proof. Please provide a derivation of Eq. (31) and a justification of the scaling assumption, or explicitly label the B>3A discussion as heuristic.","section":"Methods B.3, Eq. (31)"}],"minor_comments":[{"comment":"The phrase \"recurring behavior across disparate platforms\" overstates what is demonstrated: the three models are reduced to the same homogeneous ODE, Eq. (8), so the analysis of their common reduction does not by itself establish platform-specific generality. Suggest rewording to reflect that the three systems share the same homogeneous-state dynamics.","section":"Abstract and §III"},{"comment":"The mapping from Eq. (7) to Eq. (8) via the substitution (3A,3B)→(A,B) is stated in one clause; a short derivation or explicit definition of the rescaled A and B would help readers verify that no cross-averaged terms survive in the homogeneous limit.","section":"§I.B"},{"comment":"The displayed expression for d in Eq. (31) is difficult to parse as typeset; please add explicit multiplication signs and parentheses, for example around the terms involving P1²P2² and P1P2(P1²+P2²), so that the algebraic expression is unambiguous.","section":"Eq. (31)"},{"comment":"The caption states that \"the gray dashed area denotes instability,\" while the text describes the gray line as the stability boundary; clarifying whether the dashed side or the enclosed area is unstable would remove ambiguity.","section":"Fig. 4 caption"},{"comment":"The text moves between \"onset of instability\" and \"onset of SSB.\" Given that Eq. (20) is the instability boundary, the equivalence of these notions for the homogeneous solutions considered here should be stated explicitly.","section":"§II.C"}],"recommendation":"major_revision","confidential_remarks":"The paper is within the journal's scope and the main claims are intellectually interesting. The two substantive issues are the internal inconsistency in Eq. (16)/Methods B.2 and the gap between the homogeneous-state proof and the unqualified conclusion; both appear fixable by rewriting the affected passages rather than by new computations. I found no evidence of circularity: the EP conditions and the stability boundary are independently derived, and no parameters are fitted. The heavy use of the authors' own prior work is noticeable but each citation appears technically relevant."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague — this one is worth reading, but keep the scope caveat front and center. The clean result is that for the homogeneous-state reduction of three coupled Kerr LLEs, the Jacobian EP conditions (ν=η² dual, ν=0 single) and the SSB instability boundary (η≥(2−√ν) or (1+ν)/2) are algebraically distinct, and crossing a Jacobian EP is necessary for the SSB instability. That necessity argument is the genuinely new piece, and it is proved inside the homogeneous class. The paper also does a good job of situating the EP in the PT/qCS symmetry language and of disclosing the overlapping unpublished work by Woodley.\n\nWhere it gets soft: the abstract and conclusion claim the decoupling and precursor necessity for the three fully general LLE platforms, but the proof lives entirely in the ODE reduction at Eq. (8), obtained by dropping the τ-derivative and replacing fast-time averages with local intensities. The patterned states the paper itself lists—solitons, faticons, breathers, soliton chains—are not covered, and the mode-resolved Jacobian with θ→θ−ηk² will have different EP and stability boundaries. So the \"necessary precursor\" is proven for k=0 homogeneous SSB, not for patterned SSB. That is a scope defect, not an internal inconsistency; the homogeneous algebra checks out. Also minor: Eq. (31), the B>3A asymptotic expansion, is stated without derivation, and the \"more general principle\" in the abstract is speculation, though labeled as likely.\n\nThe stress-test note lands. I read the relevant sections; the paper flags \"we focus on homogeneous states\" but the framing repeatedly generalizes. Fixing this is a matter of tightening claims and perhaps adding a cautious paragraph about patterned states, not redoing the derivation.\n\nWho is this for? People working on SSB in Kerr resonators and on non-Hermitian photonics who care about where EPs sit relative to bifurcations. It is a useful cautionary result for device design. It deserves a serious referee; I would send it out. My own verdict would be conditional acceptance, with the scope claim revised in the abstract and conclusion.","headline":"Clean homogeneous-state result proving Jacobian EPs precede SSB, but the paper overclaims the scope to patterned LLE states.","tokens_in":16087,"tokens_out":1570,"would_cite":true,"duration_ms":17624,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"In three Kerr-resonator systems, spontaneous symmetry breaking and exceptional points occur at different parameter points, but every route to breaking still crosses an exceptional point first.","keywords":["spontaneous symmetry breaking","exceptional points","Kerr resonators","Lugiato-Lefever equation","non-Hermitian photonics","quasi-chiral symmetry","optical bistability","Jacobian stability"],"falsifier":"Run a full numerical integration of Eqs. (5)-(7) without the homogeneous-state restriction while scanning detuning and input intensity; if any symmetry-broken branch is reached from a stable symmetric state without the trajectory crossing $\\nu=\\eta^2$ or $\\nu=0$ in the homogeneous Jacobian, the necessary-precursor claim is false.","tokens_in":15084,"feed_emoji":"💡","tokens_out":13391,"duration_ms":140714,"temperature":0.7,"pith_summary":"The paper studies three common Kerr-resonator configurations — two co-propagating polarizations in a ring, two counter-propagating pumps in a ring, and a Fabry-Pérot cavity — and asks whether spontaneous symmetry breaking (SSB) coincides with exceptional points (EPs) in the system's Jacobian. After reducing all three to the same homogeneous-state equation, it shows that the algebraic conditions for a Jacobian EP and for the SSB instability are different, so the two phenomena generally sit at different locations in parameter space. For the homogeneous, round-trip-uniform states analyzed, it then proves that every path from a stable symmetric state to SSB must cross a Jacobian EP, making such EPs necessary precursors even though they are not the bifurcation points. The result matters because much of non-Hermitian photonics assumes EP and SSB are tied together; the paper argues that assumption must be made carefully, and that the relevant class of EP has to be identified.","feed_headline":"Exceptional points don't trigger symmetry breaking — they precede it","feed_subtitle":"Three cavity models show the two phenomena sit apart, yet crossing an exceptional point is still required.","key_machinery":"The load-bearing object is the Jacobian matrix $J$ of the linearized coupled field equations, evaluated on the symmetric stationary state. Writing the shifted traceless Jacobian $\\tilde J=J+\\tfrac14$, the four eigenvalues take the two-parameter form $\\lambda_{\\pm_1\\pm_2}=-1\\pm_1\\sqrt{\\eta\\pm_2 2\\sqrt{\\eta^2-\\nu}}$, with $\\eta=\\operatorname{tr}(\\tilde J^2)/4$ and $\\nu=\\det(\\tilde J)$. This two-invariant structure separates the conditions: eigenvalue degeneracies (EPs) live on $\\nu=\\eta^2$ or $\\nu=0$ with $\\eta\\neq 0$, while the onset of instability obeys Eq. (20). The same matrix carries $\\mathcal{PT}$ and quasi-chiral symmetry, and the symmetry-phase argument is what forces a trajectory from the stable region to the unstable region to pass through an EP.","core_discovery":"The central claim is that for the generalized coupled field equation governing homogeneous states of all three resonators, Jacobian EPs and SSB bifurcations obey distinct algebraic conditions. A dual EP2 — two simultaneous second-order EPs — occurs when $\\nu=\\eta^2$, and a single EP2 occurs when $\\nu=0$ with $\\eta\\neq 0$; the SSB instability boundary is $\\eta\\geq 2-\\sqrt{\\nu}$ for $\\nu\\geq 1$ and $\\eta\\geq (1+\\nu)/2$ for $\\nu\\leq 1$, where $\\eta$ and $\\nu$ are trace and determinant invariants of the shifted Jacobian. Because these curves differ, SSB and Jacobian EPs are generally dislocated in parameter space. Yet every parameter scan considered begins and ends in the quasi-chiral-symmetry-unbroken phase, so reaching the unstable region in which SSB occurs forces a crossing of a Jacobian EP. The paper therefore concludes that Jacobian EPs are necessary precursors to SSB, not coincident markers of it.","pith_inferences":["A natural testable extension is to check whether the precursor relation survives for non-uniform states such as temporal solitons, breathers, and faticons, whose homogeneous-state reduction this paper deliberately leaves out.","The algebraic separation suggests an experimental route: measure the Jacobian eigen-spectrum with weak probe perturbations while sweeping detuning, and compare the EP location with the SSB bifurcation; a mismatch would directly confirm dislocation.","The symmetry-phase logic may extend beyond optics to any non-Hermitian system whose linearization has the same two-invariant trace-determinant structure, although the paper itself does not claim that extension."],"forward_implications":["In the three Kerr-resonator platforms, locating an EP in the spectrum does not by itself locate the SSB threshold; devices tuned to an EP to trigger symmetry breaking may be tuned to the wrong parameter point.","The necessary-precursor result provides a diagnostic: before SSB can appear from a stable symmetric state, the trajectory in the $(\\eta,\\nu)$ plane must cross a Jacobian EP, so monitoring the Jacobian's symmetry phase can flag impending SSB.","The distinction between dual and single EP2s matters: in the large-detuning and large-intensity limits for $B<3A$ the system approaches the dual EP2 line, while for $B>3A$ the high-intensity symmetry-broken branch stays in the qCS-unbroken phase.","Because the same separation appears across three experimentally distinct resonator geometries, the authors argue the dislocation is likely a general principle rather than an accident of one platform."],"supporting_citations":[{"why":"Supplies the base resonator field equation from which the coupled variants in Eqs. (5)-(7) are built.","marker":"[57]"},{"why":"Provides the round-trip averaged Fabry-Pérot model used for the cavity with counter-propagating polarizations.","marker":"[60]"},{"why":"Gives the two-polarization ring-resonator equation that becomes one of the three systems reduced to Eq. (8).","marker":"[11]"},{"why":"Gives the counter-propagating-pump coupled equation that becomes the second system reduced to Eq. (8).","marker":"[36]"},{"why":"Derives the Jacobian trace and determinant invariants with which the paper's Eq. (17) agrees, grounding the EP analysis.","marker":"[17]"},{"why":"Fixes the physically allowed SPM/XPM parameter ranges and the B<3A condition used in the limit argument.","marker":"[23]"},{"why":"Supplies the eigenvalue parameterization of the traceless Jacobian used to write Eq. (16).","marker":"[87]"}],"fun_headline_variants":["EPs gate SSB but don't trigger it","Exceptional points are prerequisites, not partners, in SSB","Crossing an EP is required, but SSB happens elsewhere","EPs: necessary detours on the road to SSB"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The analysis covers only states that do not vary along the cavity round-trip time; if symmetry breaking in these resonators instead happens through moving or patterned states, the dislocation and precursor claims could fail.","fun_headline_variants_meta":{"raw":{"variants":["EPs gate SSB but don't trigger it","Exceptional points are prerequisites, not partners, in SSB","Crossing an EP is required, but SSB happens elsewhere","EPs: necessary detours on the road to SSB"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001058,"raw_usage":{"total_tokens":4411,"prompt_tokens":886,"completion_tokens":3525,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":502,"completion_tokens_details":{"reasoning_tokens":3456}},"tokens_in":502,"tokens_out":3525,"duration_ms":28193,"temperature":1.0,"reasoning_tokens":3456,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T00:43:14.927270+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run a full numerical integration of Eqs. (5)-(7) without the homogeneous-state restriction while scanning detuning and input intensity; if any symmetry-broken branch is reached from a stable symmetric state without the trajectory crossing $\\nu=\\eta^2$ or $\\nu=0$ in the homogeneous Jacobian, the necessary-precursor claim is false.","supporting_citations":[{"cited_title":"Rah and K","cited_arxiv_id":null,"evidence_quote":"Supplies the base resonator field equation from which the coupled variants in Eqs. (5)-(7) are built."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the round-trip averaged Fabry-Pérot model used for the cavity with counter-propagating polarizations."},{"cited_title":"Self-symmetrization of symmetry-breaking dynamics in passive Kerr resonators","cited_arxiv_id":"2106.07642","evidence_quote":"Gives the counter-propagating-pump coupled equation that becomes the second system reduced to Eq. (8)."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Fixes the physically allowed SPM/XPM parameter ranges and the B<3A condition used in the limit argument."}],"review_version":1}