{"id":"2a399843-3e07-4f5e-99e2-4ade14bf946a","arxiv_id":"2506.07513","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Multiple SLE(0) traces can develop spirals and same-direction asymptotics when two or more interior marked points are present, even without spin.","lead":"This note studies the paths of multiple SLE(0) systems, deterministic limits of random curves, when extra marked points are added. It reports that with two or more interior marked points, paths can spiral or align in the same direction even without spin, and it supplies MATLAB code for the counterexamples.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The plotted streamlines are not shown to be SLE(0) traces: Theorem 2.8 only asserts containment of hulls in horizontal trajectories, not equality with the specific streamlines computed in Section 3, and its proof is deferred.","rationale":"The reader's weakest assumption is exactly the bridge between the quadratic differential and the SLE(0) traces, namely Theorem 2.8. My independent reading confirms that this is the load-bearing step: the paper's counterexamples illustrate horizontal trajectories of auxiliary quadratic differentials, but they never demonstrate that these are the actual traces of the multiple SLE(0) Loewner chain. In fact, Theorem 2.8, as stated, is weaker than what the examples require. It only gives containment of hulls in horizontal trajectories and says nothing about which individual streamline is followed by a given trace. The proof is deferred to 'similar' cases, so the central claim rests on an unverified identification. There is also a technical warning in Example 3.3: the square root of Q is written with half-integer exponents, so the vector field v_Q is not globally single-valued and the MATLAB spiral may depend on the branch choice. This reinforces, rather than replaces, the primary concern. The numerical code is transparent and reproducible, but reproducibility of streamlines is not evidence that those streamlines are SLE(0) traces. A direct Loewner-chain simulation or an independent proof of Theorem 2.8 with an explicit trace-selection rule would settle the matter. Until then, the central claim is not established, and the reader's REJECT verdict is appropriate.","tokens_in":10230,"tokens_out":6248,"duration_ms":82446,"concrete_test":"Simulate the multiple Loewner chain (2.4)-(2.5) for the Example 3.3 configuration with the partition function Z from (2.6), using the SLE(0) capacity parametrization (e.g., ν_j(t)=1), and compute the traces emanating from x1 = -i, x2 = e^{iπ/3}, and x3 = i up to the first collision time. Compare their asymptotic tangent directions and winding behavior with the streamlines generated by the Section 3 code. If the Loewner traces do not follow the same streamlines, or if the chain degenerates before reproducing the spiral, then Theorem 2.8 cannot supply the missing identification. As a secondary check, re-derive the integral of motion in Theorem 2.9 by differentiating (2.8) along (2.4)-(2.5) with a specified evolution law for q_j(t); without such a derivation, the claimed invariance is unverified.","verdict_should_be":"REJECT","load_bearing_attack":"The central claim is that the irregular curves in Section 3 are traces of multiple SLE(0) systems. The only bridge is Theorem 2.8, whose proof is a single sentence deferring to 'similar' cases. More seriously, even if Theorem 2.8 were true, it would not imply the paper's conclusion: it states that the Loewner hulls K_t are contained in horizontal trajectories of Q(z)dz^2 with terminal directions toward critical points, not that each SLE(0) trace coincides with the particular streamline obtained in Section 3 by integrating v_Q = 1/sqrt(Q). At a double zero of Q there are several horizontal directions, and the theorem gives no criterion for selecting the actual trace. Hence the MATLAB streamlines in Figures 3.1-3.3 may be horizontal trajectories of an auxiliary quadratic differential that need not be the multiple SLE(0) traces. Example 3.3 is additionally problematic because its displayed sqrt(Q) contains factors (z-1/2)^{-3/2}(z-2)^{-3/2}, which are not single-valued on the disk; the vector field v_Q is branch-dependent, so the reported spiral around q1 = -1/3 could be an artifact of the chosen branch cut rather than a property of the SLE(0) trace. Without a derivation identifying the actual Loewner trace with the specific streamline, the abstract's assertion that trajectories 'may asymptotically approach the same direction, and spiraling can occur' is unsubstantiated for SLE(0) traces.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript proposes a framework for multiple SLE(0) systems associated with a symmetric divisor with several marked points. It asserts (Theorem 2.8) that for half-integer charges the Loewner hulls are contained in horizontal trajectories of an explicit quadratic differential, and (Theorem 2.9) that an integral of motion exists. The paper then presents three MATLAB-generated examples (Section 3) claimed to exhibit irregular trace behavior: two trajectories asymptotically approaching the same direction and, in Example 3.3, a spiral around an uncharged marked point. The stated conclusion is that regularity of SLE(0) traces breaks down when multiple interior marked points are present.","tokens_in":10529,"tokens_out":8546,"duration_ms":90756,"significance":"If rigorously established, the paper would report a new phenomenon in the deterministic limit of multiple SLE: multiple interior marked points could cause spiraling and asymptotic convergence of traces even without spin. The explicit constructions and the included MATLAB code are useful and reproducible, and the flow-line pictures of the quadratic differentials are self-contained. However, the paper does not prove that the plotted streamlines are the SLE(0) traces; Theorem 2.8 only asserts containment of hulls in horizontal trajectories, with proof deferred to prior work on single-marked-point cases. The branch dependence of the vector field in Example 3.3 adds further doubt. Thus the significance is conditional on a missing identification between the Loewner dynamics and the auxiliary differential.","major_comments":[{"comment":"The central identification of SLE(0) traces with horizontal trajectories of Q(z) dz^2 is asserted with the one-sentence proof 'The proof is similar to the multiple chordal and multiple radial SLE(0) cases.' This conveys no argument, and the cited cases (MZ25b, Zha25b) involve one marked point, not the multiple-interior-point configurations used in Section 3. Since every counterexample in this note is derived from this identification, the paper's main claim is unsupported within the manuscript.","section":"§2.3 (Theorem 2.8)"},{"comment":"Even accepting Theorem 2.8, the theorem states that the Loewner hull K_t is contained in horizontal trajectories, with terminal directions toward the critical points; it does not assert that the trace emanating from a specified growth point coincides with the particular streamline of v_Q = 1/sqrt(Q) computed in MATLAB. At a double zero of Q several horizontal directions are possible, and no selection criterion is provided. Therefore Figures 3.1–3.3 demonstrate properties of flow lines of an auxiliary vector field, not of SLE(0) traces.","section":"§3 (Examples 3.1–3.3)"},{"comment":"The square root of the quadratic differential contains factors (z-1/2)^{-3/2}(z-2)^{-3/2}, which are not single-valued on the upper half-plane or the disk. The vector field v_Q is branch-dependent, and different branch cuts can change the computed streamlines and in particular the reported spiral around q1 = -1/3. The manuscript does not specify the branch cut or explain why the resulting curve is a well-defined SLE(0) trace. This makes the claimed 'spiraling in the absence of spin' an artifact of the numerical setup rather than a demonstrated property.","section":"§3.3 (Example 3.3)"},{"comment":"The abstract states that the paper establishes regularity of trajectories near singularities (no spiraling, no same-direction convergence) in the chordal and radial cases with one marked point, but no theorem in Section 2 proves this. The introduction says it 'has been shown', but no specific reference or proof is given. This is a missing load-bearing support for the paper's claimed contribution, which is the contrast between those regular cases and the new irregular examples.","section":"Abstract / §2"}],"minor_comments":[{"comment":"Definition 2.1 is grammatically incomplete: 'C[σ] is a differential of conformal dimension λj at zj by Let λ(σ) = ...' The sentence should be rewritten.","section":"Definition 2.1"},{"comment":"The proof says 'By direction computation'; it should be 'direct computation'.","section":"Theorem 2.9"},{"comment":"There are typos: 'where eachνi' missing space, and 'conjudgation' for 'conjugation' in Definition 2.7.","section":"§2.2, Definition 2.6"},{"comment":"The caption uses q1 = 2πi/3, while the text and code use q1 = e^{2πi/3}; please align the notation.","section":"§3.1, Figure 3.1 caption"},{"comment":"The text lists marked points q1=0, q2=∞, q3=−1, but the caption says q1=1, q2=−1, q2*=∞. This inconsistency should be resolved.","section":"§3.2, Figure 3.2 vs text"},{"comment":"The statement says 'with zeros at z', but the set of growth points is x = {x1,...,xn}; please use consistent notation.","section":"Theorem 2.8"}],"recommendation":"reject","confidential_remarks":"The note is best viewed as a supplement to the author's thesis or previous papers; as a standalone submission, the main theorems are unproved and the numerical examples are not connected to SLE(0) traces. The fit to a probability journal may be limited given the computational emphasis."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: the phenomenon described is plausible, but the note is a sketch, not a proof. The central claim—that multiple interior marked points make SLE(0) traces irregular—rests on Theorem 2.8, whose proof is deferred, and on streamlines that may only be trajectories of an auxiliary differential.\n\nWhat is actually new: the symmetric-divisor setup and the explicit counterexamples with two marked points are not in the cited literature. The examples are concrete and the MATLAB code is included, which is reproducible evidence that certain quadratic differentials have the claimed horizontal trajectories. The observation that half-integer charges can produce same-direction convergence or spiraling without spin is worth taking seriously.\n\nBut the gap is load-bearing. Theorem 2.8 says the Loewner hulls are contained in horizontal trajectories; it does not say the SLE(0) trace coincides with the particular streamline drawn in Section 3. Without a criterion selecting which horizontal arc the Loewner chain actually traces, the examples describe the auxiliary differential, not the SLE(0) system. The proof of Theorem 2.8 is one sentence deferring to earlier work; that is fine if the earlier work has the exact statement, but no precise reference is given. Example 3.3 has an additional issue: the vector field involves (z-0.5)^(-3/2) and (z-2)^(-3/2), which are not single-valued, so the reported spiral around -1/3 could depend on the branch cut chosen by MATLAB. Minor: the abstract claims regularity for general chordal and radial cases without proof in the text.\n\nThis is a supplementary note, not a self-contained paper. The idea is relevant to the multiple-SLE(0) program, but as it stands the main conclusion is unproven. A careful reader can verify the quadratic-differential facts; connecting them to SLE(0) traces requires the missing theorem.\n\nI would send it to a referee who knows the prior work, because the claim is specific and the examples may be valuable. But the referee would rightly ask for the missing proofs or exact pointers. If the author can supply those, the note becomes a useful complement to the longer papers.","headline":"The examples are explicit and the question is real, but the note never shows that the plotted streamlines are SLE(0) traces.","tokens_in":11048,"tokens_out":2728,"would_cite":false,"duration_ms":33074,"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":"The paper claims that multiple SLE(0) traces, deterministic limits of random Loewner curves, lose their usual regularity when two or more marked points are present: traces can share asymptotic directions and spiral around marked points…","keywords":["multiple SLE(0)","quadratic differentials","horizontal trajectories","Loewner equation","Coulomb gas","marked points","spin","deterministic classical limit"],"falsifier":"Run the multiple SLE(0) Loewner chain itself for the Figure 3.3 configuration: integrate the driving equations (2.4)-(2.5) with the partition function Z from (2.6) for the divisor $\\sigma=x_1+x_2+x_3-q_1-q_2-\\frac{3}{2}q_3-\\frac{3}{2}q_4$, and compare the computed hull boundaries with the flow lines of $v_Q$. The claim is false if the hull boundary starting at $x_3=i$ does not wind around $q_1=-1/3$, or if the boundaries from $x_1=-i$ and $x_2=e^{\\pi i/3}$ do not asymptotically share a direction.","tokens_in":9972,"feed_emoji":"🌀","tokens_out":9537,"duration_ms":107098,"temperature":0.7,"pith_summary":"Multiple SLE(0) systems are the deterministic $\\kappa \\to 0$ limits of Schramm–Loewner evolution, and their traces have been described by real rational loci in the chordal case and by horizontal trajectories of quadratic differentials in the radial case. This note claims that this description is regular in the previously understood one-marked-point settings, but that the regularity breaks down when two or more marked points are present. Concretely, trajectories from different growth points can asymptotically converge to the same direction, and a trajectory can spiral around a marked point even when the charges carry no spin. The paper supports this with three explicitly parametrized counterexamples generated from the vector field $v_Q(z)=1/\\sqrt{Q(z)}$, with MATLAB code included.","feed_headline":"Spiraling SLE(0) traces appear without any spin","feed_subtitle":"Multiple marked points break the regularity of deterministic SLE traces in explicit examples with code.","key_machinery":"The central object is the symmetric divisor and its associated quadratic differential and vector field. For half-integer charges, $Q(z)dz^2=\\prod_{k}(z-x_k)^2\\prod_j(z-q_j)^{2\\sigma_j}dz^2$ is a meromorphic quadratic differential, and the claimed traces are its horizontal trajectories, equivalently flow lines of $v_Q(z)=1/\\sqrt{Q(z)}$. The machinery has three moving parts: the normalized Coulomb gas correlation $C[\\sigma]=\\prod_{i<j}(z_i-z_j)^{2\\sigma_i\\sigma_j}$ supplies the partition function driving the Loewner equations; the integral of motion $N_t(z)$ transfers the description along the Loewner map; and the phase portrait of $v_Q$ near the singularities determines regularity. When several marked points are present, the vector field can have separatrices from different growth points joining the same direction and recurrent flow around a zero, which is what produces the irregular traces.","core_discovery":"The core claim is that for configurations with multiple additional marked points, the otherwise regular SLE(0) trace picture fails. Working with a symmetric divisor $\\sigma=\\sum x_k+\\sum \\sigma_j q_j$ and half-integer charges $2\\sigma_j\\in\\mathbb{Z}$, the author identifies the traces with the horizontal trajectories of $Q(z)dz^2=\\prod(z-x_k)^2\\prod(z-q_j)^{2\\sigma_j}dz^2$. Theorem 2.8 asserts this identification up to collision times, and Theorem 2.9 supplies the integral of motion $N_t(z)$ that makes the Loewner flow follow those trajectories. The new phenomenon is that in the presence of at least two marked points, trajectories can asymptotically share a direction and spiraling can occur without spin; the three examples in Section 3 display same-direction convergence and a zero-spin spiral around $q_1=-1/3$.","pith_inferences":["Extension: since half-integer charges already break regularity, configurations with non-half-integer charges, where the paper notes that even the quadratic-differential description is unavailable, should exhibit at least as wild behaviour, possibly with logarithmic winding at the marked points.","Extension: the shared asymptotic directions in the examples resemble saddle connections of the vector field $1/\\sqrt{Q}$; a systematic phase-portrait classification of real symmetric divisors would predict exactly when two SLE(0) traces merge directions or spiral.","Extension: it would be testable whether these irregular classical flows are the $\\kappa\\to 0$ limits of random multiple SLE($\\kappa$) curves, or whether the randomness selects only the regular subset; the MATLAB code in the note is a starting point for such a comparison."],"forward_implications":["With at least two marked points, full regularity of SLE(0) traces cannot be taken for granted: shared asymptotic directions and zero-spin spirals are genuine features of the described systems.","The quadratic-differential correspondence still holds up to collisions, so the same machinery that produced regular traces also produces the irregular examples, meaning the correspondence itself does not select only regular geometries.","Spin at an interior marked point is sufficient for radial spiraling, but multiple marked points make it non-essential: spiraling occurs with no spin at all.","The regularity statements established for one marked point cannot be extended unchanged to general multi-marked-point configurations; any extension must impose extra conditions on the divisor or the placement of marked points."],"supporting_citations":[{"why":"Supplies the radial SLE(0) construction and the Coulomb gas correlation setup used in Section 2.1, and the radial case of the trace-to-quadratic-differential identification invoked in Theorem 2.8.","marker":"[MZ25b]"},{"why":"Gives the chordal SLE(0) framework whose 'similar' proof is invoked for Theorem 2.8.","marker":"[Zha25b]"},{"why":"Establishes the real-rational-function description of multichordal SLE0+ traces that underlies the chordal picture the author extends.","marker":"[PW24]"},{"why":"Provides the conformal-field-theory martingale observables whose classical limit becomes the integral of motion N_t(z) in Theorem 2.9.","marker":"[KM13]"},{"why":"Gives the systematic conformal field theory on the Riemann sphere that supplies the integral-of-motion argument for Theorem 2.9.","marker":"[KM21]"}],"fun_headline_variants":["No spin needed: multiple marked points make SLE(0) traces spiral","SLE(0) traces spiral from multiple marked points, no spin required","Multiple marked points break SLE(0) trace regularity: spiraling without spin","No spin, but multiple marked points cause SLE(0) traces to spiral","Spiraling SLE(0) traces emerge from multiple marked points even with zero spin"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is Theorem 2.8's identification of the multiple SLE(0) Loewner traces with the horizontal trajectories of the constructed quadratic differential; its proof is one sentence referring to 'similar' chordal and radial cases, and if that identification fails for multi-marked-point configurations the reported spiraling describes only the auxiliary vector field, not SLE(0).","fun_headline_variants_meta":{"raw":{"variants":["No spin needed: multiple marked points make SLE(0) traces spiral","SLE(0) traces spiral from multiple marked points, no spin required","Multiple marked points break SLE(0) trace regularity: spiraling without spin","No spin, but multiple marked points cause SLE(0) traces to spiral","Spiraling SLE(0) traces emerge from multiple marked points even with zero spin"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000656,"raw_usage":{"total_tokens":2971,"prompt_tokens":878,"completion_tokens":2093,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":494,"completion_tokens_details":{"reasoning_tokens":1991}},"tokens_in":494,"tokens_out":2093,"duration_ms":16635,"temperature":1.0,"reasoning_tokens":1991,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T05:32:41.186863+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run the multiple SLE(0) Loewner chain itself for the Figure 3.3 configuration: integrate the driving equations (2.4)-(2.5) with the partition function Z from (2.6) for the divisor $\\sigma=x_1+x_2+x_3-q_1-q_2-\\frac{3}{2}q_3-\\frac{3}{2}q_4$, and compare the computed hull boundaries with the flow lines of $v_Q$. The claim is false if the hull boundary starting at $x_3=i$ does not wind around $q_1=-1/3$, or if the boundaries from $x_1=-i$ and $x_2=e^{\\pi i/3}$ do not asymptotically share a direction.","supporting_citations":[],"review_version":1}