{"id":"c5d927a5-9d5e-4f1a-901e-ccc50e360821","arxiv_id":"2506.01306","paper_version":3,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":2,"one_line_summary":"Fusion asymptotics of Coulomb gas integrals are identified with Temperley-Lieb meander matrices, yielding proposed pure partition functions for multiple chordal and radial SLE(κ) at irrational κ.","lead":"This paper sketches how the fusion limits of Coulomb gas integrals, the building blocks of multiple SLE (random curve) partition functions, match the loop-counting Gram matrices of Temperley-Lieb algebras, and proposes explicit pure partition functions by inverting those matrices. The core theorems are only sketched, one determinant formula is internally inconsistent as printed, and the decisive positivity property is left open.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The core identity l_beta(J_alpha)=Gram pairing is unsupported: the multi-pair fusion limit is never proved, and the printed single-pair fusion rules are internally inconsistent.","rationale":"The reader's REJECT verdict is well supported. The paper's central claim is the identification of the asymptotic evaluation functional with the Temperley-Lieb Gram pairing. That identification requires a multi-pair fusion computation, but the paper provides only a sketch and the single-pair statements in Theorems 3.1 and 4.1 contain inconsistent index shifts: collapsing a linked pair should reduce both the number of screening contours and the number of boundary points, yet the printed formulas keep or shift these indices incorrectly. Beyond internal consistency, the radial case requires assembling factors into a^{n_a} b^{n_b} with b=2, and no mechanism is shown for how non-contractible loop weights arise from iterating the local fusion rules. The affine meander determinant in Theorem 5.20 is also wrong as printed: for d=0 the k=1 factor a^2 - 4cos^2(4pi/kappa) vanishes identically because a = -2cos(4pi/kappa), making the determinant zero and contradicting the invertibility assertion. Although Theorem 1.7 cites RS14 and MS13, the paper's own proof of linear independence relies on the explicit determinant formula, so the contradiction matters. These are not mere stylistic gaps: they are places where the central argument as written fails. A direct small-case computation, either symbolic or high-precision numeric, of l_beta(J_alpha) for n=4, m=2 in the radial case would settle whether the Gram-pairing identity holds at all. Until then, the strongest claims in the abstract are not established by the body of the paper.","tokens_in":29468,"tokens_out":8342,"duration_ms":88082,"concrete_test":"Compute the radial fusion limit directly for the smallest nontrivial affine diagram, n=4, m=2, choosing beta to be the fully wrapped affine link pattern whose self-glue produces a non-contractible loop. Evaluate l_beta(J_alpha^{(2,4)}) by performing the four interval collapses in (4.1) explicitly, without invoking Theorem 4.1, and compare with the Gram entry; if the result is not a^{n_a} 2^{n_b}, Theorem 1.4 is false. As an independent check of Theorem 5.20, compute det eG^0_2 from Definition 1.5 (the single entry a = -2cos(4pi/kappa)) and compare with the printed product formula, which gives zero.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The entire bridge from Coulomb gas integrals to linear independence and to the Z_beta = M^{-1} J construction is the identity l_beta(J_alpha^{(m,n)}) = <alpha,beta> claimed in Theorems 1.1 and 1.4. This is supported only by a two-sentence sketch, and the theorems that should supply the single-fusion steps cannot be iterated as printed. In Theorems 3.1 and 4.1, Configuration 2 returns n(kappa) J_hat_alpha^{(m,n)} even though collapsing the common contour (x_i,x_{i+1}) should remove that screening contour, giving m-1 contours and n-2 boundary points; Configuration 3 returns J_hat_alpha^{(m-1,n)}, although the collapsed points should also reduce the number of marked points; and the chordal theorem assigns J_hat_alpha^{(m-1,n-2)} to Configuration 4, where two distinct contours are collapsed. The constants are also never assembled: the radial Gram weight b=2 must emerge as a product of single-fusion constants 0, n(kappa), 1, 2, but no argument shows that this product equals a^{n_a} b^{n_b} for the full diagram G(alpha,beta), including non-contractible loops that arise from several arcs. Without a correct multi-pair fusion computation, Theorem 1.1/1.4 is unproved and the pure partition function construction lacks a foundation. A separate concrete error compounds this: Theorem 5.20's d=0 affine determinant contains the factor a^2 - 4cos^2(4*pi/kappa) = 0, so the printed determinant vanishes identically, contradicting the claimed invertibility that the proof needs.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper aims to prove that the Coulomb gas integrals J_α^{(m,n)} for multiple chordal and radial SLE(κ) have fusion asymptotics equal to the Temperley–Lieb and affine Temperley–Lieb Gram pairings (Theorems 1.1 and 1.4). It then uses invertibility of the meander matrix, asserted for irrational κ, to conclude linear independence of the ground states and to define pure partition functions Z_β = Σ_α M^{-1}_{αβ} J_α. Sections 3–4 compute single-pair collapse asymptotics; Section 5 reviews Temperley–Lieb algebras and states a determinant formula for the affine meander matrix; Section 6 defines pure partition functions and conjectures the connection to Coulomb gas integrals; Section 7 sketches the extension to excited solutions.","tokens_in":29728,"tokens_out":9295,"duration_ms":94914,"significance":"The intended bridge is valuable: if the fusion identity and the determinant formula held, the paper would give a Coulomb-gas proof of linear independence and an explicit algebraic construction of pure partition functions for multiple SLE(κ). The paper is also explicit about the two conjectures it relies on, namely the spanning property of screening solutions and the positivity of Z_β. However, the two load-bearing pillars are not established: the multi-pair fusion identity is only sketched and its single-pair input is inconsistent, and the printed affine determinant vanishes identically for d = 0. Hence the advertised consequences do not currently follow, and the paper is not in publishable shape.","major_comments":[{"comment":"The single-pair fusion rules that would have to be iterated are internally inconsistent. In Theorem 3.1, Configuration 2 (Eq. 3.4) keeps the pair (m,n) unchanged when a contour with endpoints (x_i, x_{i+1}) collapses; Configuration 3 (Eq. 3.6) changes (m,n) to (m-1,n), although the collapsed point x_i or x_{i+1} should disappear from the marked set; and the two-contour collapse (Section 3.4, Eq. 3.10) changes (m,n) to (m-1,n-2). The same bookkeeping is repeated in Theorem 4.1 (Eqs. 4.3, 4.5, 4.7). Because no rule is given for how the screening-contour count and the marked-point count change consistently under fusion, these steps cannot be iterated to all pairs of β, and the factor δ^{ℓ(α,β)} in Theorems 1.1 and 1.4 is never derived.","section":"Theorems 3.1 and 4.1"},{"comment":"The displayed formula for d = 0 contains the factor a² - 4cos²(4π/κ) at k = 1. Since Definition 1.6 and Theorem 1.4 set a = n(κ) = -2cos(4π/κ), this factor is identically zero, so det eG^0_n = 0 for every κ; for example, n = 2 already gives determinant zero. This contradicts the claimed invertibility for irrational κ and invalidates the use of M^{-1} in (1.1), (6.4), and (6.8). A corrected determinant formula and a proof would be needed.","section":"Theorem 5.20 and Remark 5.21"},{"comment":"The central identity is supported only by the two-sentence sketch on page 4. The functional l_β is defined as the asymptotic limit 'with respect to β', but the theorem does not contain an independent computation of that limit; in particular, no argument shows that the constants 0, n(κ), 1, and 2 from the single-pair cases assemble into δ^{ℓ(α,β)} a^{n_a} b^{n_b}, including the non-contractible loop weight b = 2. Without such a multi-pair fusion computation, the equality l_β(J_α) = ⟨α,β⟩ is an assumption rather than a proved statement.","section":"Theorems 1.1 and 1.4"},{"comment":"The construction of the pure partition functions is incomplete as stated. The functions Z_β = Σ_α M^{-1}_{αβ} J_α are said to satisfy the required boundary asymptotics, but the manuscript explicitly states that their positivity is not rigorously established. Since pure partition functions are defined as positive solutions with prescribed asymptotics, positivity is part of the defining property, not an optional extra. Even granting the algebraic invertibility, the probabilistic interpretation of the constructed Z_β therefore does not follow.","section":"Section 6, Definitions 6.2/6.5 and Conjectures 6.3/6.6"}],"minor_comments":[{"comment":"Step 3 says 'if m closed loops are formed' and then writes a^{n_a} b^{n_b}; the letter m is already used for the number of screening charges, so the total number of loops and the split into n_a and n_b should be named differently.","section":"Definition 1.5"},{"comment":"The sentence 'The factor n(κ)^{-1} emerges naturally from the product of phase factors and gamma functions' is unexplained and appears to contradict the displayed limit, which has no such factor.","section":"Section 4.3, after Eq. (4.22)"},{"comment":"The proof is labelled 'Sketch of proof' and the displayed SDE contains the expression cot(Y_t/2) after a change of variables that is not defined; either supply the derivation or mark the result as heuristic.","section":"Section 6.1, Theorem 6.1"},{"comment":"The notation B_{m,n} is used without definition; the reader must infer from context that it denotes the space of ground-state Coulomb gas solutions.","section":"Abstract and Section 3"}],"recommendation":"reject","confidential_remarks":"The manuscript is a 'supplementary note' that relies heavily on the author's own unpublished arXiv works for the construction of the solutions and on [RS14; MS13] for the algebra results. The central determinant formula fails as printed, and the main identity is only sketched. I recommend rejection; a resubmission would need a complete multi-pair fusion proof, a corrected and proved determinant formula, and a treatment of positivity."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Punchline: the paper has a genuinely interesting idea—identifying fusion asymptotics of Coulomb gas integrals with the Temperley–Lieb Gram (meander) matrix—but as written it does not support its claims. The central identity is asserted rather than proved, and the printed affine determinant vanishes identically, contradicting the invertibility it is meant to establish.\n\nWhat is new: the explicit construction Z_β = Σ_α M^{-1}_{αβ} J_α for both radial and chordal multiple SLE(κ), and the observation that single-pair fusion limits should assemble into Gram pairings. That is a good organizing principle, and the references (FK15b, RS14, MS13, KP16) are the right ones. The paper is clearly structured as a working note, and some parts are honestly labeled as conjectures—though the introduction does not always respect those labels.\n\nThe soft spots are serious. Theorems 1.1 and 1.4 are the load-bearing wall; they get a two-sentence sketch and no multi-pair fusion computation. The single-pair rules in Sections 3 and 4 are internally inconsistent: Configuration 2 returns n(κ)J^{(m,n)}_{\\hat α} after collapsing a common contour, when the contour should be removed (both m and n drop); Configuration 3 shifts only m of (m,n) even though n should change. The constants 0, n(κ), 1, 2 from the five configurations are never multiplied together, so the claimed δ^{l(α,β)} a^{n_a}b^{n_b} never actually emerges. Theorem 5.20 compounds this: with a = −2cos(4π/κ), the k=1 factor is a² − 4cos²(4π/κ) = 0, making det G^0_n vanish for every κ, in direct contradiction to Remark 5.21 and Theorem 1.7. Finally, the Z_β = M^{-1}J formula is advertised as a consequence in the introduction but appears as Conjecture 6.3/6.6 in Section 6, with positivity explicitly unproved.\n\nWho this is for: researchers working on Coulomb gas methods for multiple SLE and on Temperley–Lieb representation theory. The meander-matrix idea might be useful to them, but the results cannot be used yet.\n\nRecommendation: I would not send this to peer review in its current form. The right response is a request for major revision: supply the missing multi-pair fusion calculation, correct the determinant (check the known affine Gram determinant), and move the Z_β construction back to conjecture status. If those are fixed, the paper could be a solid contribution.","headline":"Plausible meander-matrix program, but the central fusion identity is unproved and the affine determinant is identically zero as printed; needs major repair.","tokens_in":30398,"tokens_out":6554,"would_cite":false,"duration_ms":64290,"reading_group":"maybe","serious_thinker":"no","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60J67","81T40"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims that the asymptotic evaluation of Coulomb gas integrals reproduces the Temperley–Lieb meander/Gram matrix, yielding pure partition functions for multiple SLE systems.","keywords":["Schramm-Loewner evolution","Coulomb gas integral","Temperley-Lieb algebra","affine Temperley-Lieb algebra","meander matrix","pure partition functions","null vector equations","link patterns"],"falsifier":"Compute $l_\\beta(J^{(m,n)}_\\alpha)$ for the smallest nontrivial pair, e.g. $n=4$, $m=2$, by direct iterated contour integration as $x_{i+1}\\to x_i$, and compare each entry with the meander matrix at $\\delta=-2\\cos(4\\pi/\\kappa)$; a mismatch in any entry would settle the issue. A second direct check is evaluating the printed affine determinant at $k=1$, where the factor $a^2-4\\cos^2(4\\pi/\\kappa)$ is identically zero, which would force a correction to the displayed formula.","tokens_in":29088,"feed_emoji":"🔗","tokens_out":8747,"duration_ms":79948,"temperature":0.7,"pith_summary":"This paper tries to prove that the short-distance asymptotics of Coulomb gas integrals are governed by Temperley–Lieb combinatorics rather than by analysis peculiar to the integrals. It claims that when boundary points are fused according to a link pattern β, the leading term of the screening-charge integral J_α equals the Gram pairing of two link patterns α and β in the Temperley–Lieb algebra, with loop weight δ = −2cos(4π/κ). If true, this gives a linear-algebra dictionary: the meander matrix is invertible for irrational κ ∈ (0,8), the ground-state solutions J_α are linearly independent, and the inverse matrix builds the pure partition functions Z_β of multiple chordal and radial SLE(κ) systems. That matters because pure partition functions are the objects that determine connectivity probabilities in these random-curve systems, and here they are constructed explicitly from the Coulomb gas integrals rather than assumed.","feed_headline":"Fusing Coulomb gas points reproduces Temperley-Lieb Gram pairings","feed_subtitle":"For irrational κ in (0,8), the meander matrix is invertible, yielding pure partition functions for chordal and radial SLE.","key_machinery":"The object carrying the argument is the asymptotic evaluation functional $l_\\beta$: it takes a Coulomb gas integral $J^{(m,n)}_\\alpha$ and collapses the boundary points pairwise according to $\\beta$, reading off the constant picked up at each fusion. In the five local configurations two neighbouring points can fall into — neither is a contour endpoint, both are endpoints of one contour, one is an endpoint, the two are endpoints of distinct contours, or the collapse happens along the complementary arc — the constants are $0$, $n(\\kappa)$, $1$, and $2$, and these are claimed to multiply to the loop-weight product $\\delta^{\\ell(\\alpha,\\beta)} a^{n_a} b^{n_b}$. The counterpart on the algebra side is the Gram/meander matrix of the (affine) Temperley–Lieb standard module, whose entries count contractible and non-contractible loops formed by gluing the reflection of one link pattern to another; its determinant, nonzero for irrational $\\kappa$, is what upgrades the asymptotic identity to linear independence.","core_discovery":"The paper's central claim is that the leading short-distance asymptotics of the Coulomb gas integrals $J^{(m,n)}_\\alpha$ — the screening-charge solutions of the null vector equations indexed by non-crossing link patterns $\\alpha$ — are exactly the Gram pairings of the Temperley–Lieb standard module. For each link pattern $\\beta$, the paper defines an evaluation functional $l_\\beta$ that fuses the boundary insertion points according to $\\beta$ and proves (Theorem 1.1, chordal; Theorem 1.4, radial) that $l_\\beta(J^{(m,n)}_\\alpha) = \\langle\\alpha,\\beta\\rangle$, where $\\langle\\alpha,\\beta\\rangle = \\delta^{\\ell(\\alpha,\\beta)}$ with $\\delta = -2\\cos(4\\pi/\\kappa)$, and in the radial/affine case $\\langle\\alpha\\,|\\,\\beta\\rangle = a^{n_a} b^{n_b}$ with $a=\\delta$ and $b=2$. It then uses the known invertibility of these meander matrices for irrational $\\kappa\\in(0,8)$ to conclude that the ground states $J^{(m,n)}_\\alpha$ are linearly independent and that $Z_\\beta = \\sum_\\alpha M^{-1}_{\\alpha\\beta} J^{(m,n)}_\\alpha$ are the pure partition functions of multiple chordal and radial $\\mathrm{SLE}(\\kappa)$ systems.","pith_inferences":["If the fusion-constant assembly holds verbatim, the same dictionary should let one compute connection probabilities of multiple SLEs as ratios of meander-matrix entries, bypassing the integrals altogether.","The printed determinant formula for the affine meander matrix appears to contain a factor at $k=1$ that vanishes identically, so identifying the intended correction would pin down exactly which $\\kappa$ are allowed before the irrational-$\\kappa$ conclusion.","A natural direct test is the $n=3$ or $n=4$ case: explicit contour integrals give the fusion constants, and matching them against the loop-counting Gram matrix would turn the two-sentence sketch into a checkable pattern.","The same asymptotic-to-Gram mechanism could transfer to other Coulomb gas bases, such as different screening charge assignments or higher excited states, reducing those fusion computations to linear algebra in standard modules."],"forward_implications":["The ground-state solutions $J^{(m,n)}_\\alpha$ form a basis of their solution space for irrational $\\kappa\\in(0,8)$, since linear independence follows from $\\det M\\neq 0$.","The pure partition functions $Z_\\beta=\\sum_\\alpha M^{-1}_{\\alpha\\beta}J^{(m,n)}_\\alpha$ satisfy the defining fusion asymptotics of multiple chordal and radial $\\mathrm{SLE}(\\kappa)$ systems.","The radial case carries an independent non-contractible loop weight $b=2$, so the affine Temperley–Lieb module, not the ordinary one, is the right combinatorial model for radial SLE connectivity.","The same asymptotic evaluation machinery is claimed to extend to excited solutions $K^{(m,n)}_\\alpha$, giving fusion data for excited-state partition functions as well.","Because the meander matrix depends on $\\kappa$ only through $\\delta=-2\\cos(4\\pi/\\kappa)$, the construction is uniform for all irrational $\\kappa\\in(0,8)$ rather than case-by-case."],"supporting_citations":[{"why":"Supplies the asymptotic technique for Coulomb gas integrals that the paper adapts.","marker":"[FK15b]"},{"why":"Provides the chordal Coulomb gas solution space and contour-integration framework.","marker":"[FK15a]"},{"why":"Source for Temperley–Lieb standard modules, the affine version, and the Gram/meander matrix theory.","marker":"[RS14; MS13]"},{"why":"Defines pure partition functions and the inverse-meander-matrix construction the paper applies.","marker":"[KP16]"},{"why":"Constructs the radial Coulomb gas ground solutions used as input for the radial case.","marker":"[MZ25b; Zha25c]"}],"fun_headline_variants":["Coulomb gas integrals match Temperley-Lieb Gram matrices","Pure SLE partition functions from Coulomb gas asymptotics","Irrational κ ensures independent Coulomb gas ground states","Meander matrix invertibility yields pure SLE states","Coulomb gas asymptotics reproduce Temperley-Lieb pairings"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction rests on the fusion identity: when insertion points are collapsed one pair at a time according to β, the constants picked up at each step (0, n(κ), 1, or 2) multiply to exactly $δ^{{ℓ(α,β)}}$ $a^{{n_a}}$ $b^{{n_b}}$; the paper sketches this assembly in two sentences rather than carrying out the bookkeeping.","fun_headline_variants_meta":{"raw":{"variants":["Coulomb gas integrals match Temperley-Lieb Gram matrices","Pure SLE partition functions from Coulomb gas asymptotics","Irrational κ ensures independent Coulomb gas ground states","Meander matrix invertibility yields pure SLE states","Coulomb gas asymptotics reproduce Temperley-Lieb pairings"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000602,"raw_usage":{"total_tokens":2900,"prompt_tokens":1127,"completion_tokens":1773,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":743,"completion_tokens_details":{"reasoning_tokens":1696}},"tokens_in":743,"tokens_out":1773,"duration_ms":12987,"temperature":1.0,"reasoning_tokens":1696,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T11:48:59.256020+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute $l_\\beta(J^{(m,n)}_\\alpha)$ for the smallest nontrivial pair, e.g. $n=4$, $m=2$, by direct iterated contour integration as $x_{i+1}\\to x_i$, and compare each entry with the meander matrix at $\\delta=-2\\cos(4\\pi/\\kappa)$; a mismatch in any entry would settle the issue. A second direct check is evaluating the printed affine determinant at $k=1$, where the factor $a^2-4\\cos^2(4\\pi/\\kappa)$ is identically zero, which would force a correction to the displayed formula.","supporting_citations":[],"review_version":1}