{"id":"0453c581-4525-448f-8e83-06707fe4d740","arxiv_id":"2607.18120","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For (1,k) Virasoro models, periodic vertex operators plus two degenerate fields solve a modified Riemann–Hilbert problem; in the k=2, c=-2 case the solution is explicit and satisfies new bilinear identities.","lead":"The authors build solutions of a modified Riemann–Hilbert problem from conformal blocks of (1,k) Virasoro models, and work out the c=-2 (k=2) case with symplectic fermions, giving explicit solutions and new bilinear equations for the c=-2 tau functions. The result extends the isomonodromy/CFT dictionary beyond the well-studied c=1 case.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Prop. 4.10 uniqueness rests on an unshown 14×13 linear-algebra check; this is the least secure step in the advertised c=−2 three-puncture result.","rationale":"The reader’s weakest assumption—convergence of the lattice series in (4.27)—is a genuine concern, and the authors themselves state it as a conjecture. However, the explicit c=−2 three-puncture result, which is the advertised centrepiece, appears to reduce to finite sums, so the convergence conjecture is not the decisive issue for that headline result. The more load-bearing problem is Prop. 4.10: the uniqueness proof is asserted through an unshown finite computation. In a mathematical paper, a finite check can be a legitimate proof if the check is exhibited or is sufficiently transparent; here it is a 14×13 overdetermined linear system depending on several parameters, and no computation is shown. The paragraph after Theorem 4.4 also limits the theorem’s validity, but that limitation is stated; the uniqueness claim is not presented as conditional. Thus the most important additional risk is whether the omitted check actually holds. The reader’s CONDITIONAL verdict remains appropriate, but for a slightly different reason: not merely the conjectured convergence, but an unsubstantiated uniqueness proof at the core of the c=−2 construction.","tokens_in":41688,"tokens_out":19093,"duration_ms":206931,"concrete_test":"Perform the omitted computation symbolically with a CAS: for generic θ1,θ2,θ3, t1,t2,t3, z0, build the 13-parameter affine system from (4.37)–(4.39) (K(z) a 2×2 polynomial of degree 3 with K(z0)=0, satisfying (4.38) and (4.39)), form the 14×13 coefficient matrix and the augmented matrix, and compute their ranks and the solution. If the system is inconsistent or the rank is not 13, Prop. 4.10 is false. If it is consistent and rank 13, exhibit the unique (K,ν) and check it against the CFT solution (4.40)/(4.44).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The abstract advertises that the authors ‘prove its uniqueness under suitable initial data conditions’ for the 2-modified RH problem. The proof of Prop. 4.10 reduces the claim to a system of 14 affine-linear equations in the 12 coefficients of the degree-3 polynomial K(z) (vanishing at z0) plus the scalar ν, i.e. 13 variables, and then says: ‘We have checked explicitly that this system has a unique solution.’ No coefficient matrix, rank computation, or reproducible code is supplied. This is not a minor omission: the system is overdetermined, so a unique solution requires a specific linear dependence among the 14 equations that is never exhibited. Moreover, the dimension count in §4.4 gives −1 for (k,n)=(2,3), so the generic parameter counting cannot be used to support the claim. Remark 5.13 and the proposed reconstruction of periodic vertex operators from RH data rely on this uniqueness; if the check is wrong, the c=−2 three-point construction is one solution among many and the Wick-rule argument does not close. The convergence caveat attached to Thm. 4.4 is honestly flagged, but the uniqueness claim is presented as a proof without the proof.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes an extension of the Iorgov–Lisovyy–Teschner construction of solutions of Riemann–Hilbert problems from Virasoro conformal blocks to the case b^2 = k ∈ Z_{>0}, i.e. central charges c = 1 - 6(k-1)^2/k. For k>1 the authors introduce a modified RH problem with more singular local behaviour at the punctures and construct solutions using periodic vertex operators that are invariant under the appropriate lattice shifts. The central charge c=-2 (k=2) is studied in detail: an explicit three-puncture solution is given in terms of hypergeometric functions, a uniqueness statement is made under additional initial-data conditions, determinant formulae and bilinear tau-function identities are derived, and a generalized Wick theorem for symplectic fermions is proved. The paper is largely conditional: Theorem 4.4 depends on analyticity assumptions and on a conjectured convergence of the infinite series defining the periodic vertex-operator solution, and the uniqueness result in Prop. 4.10 rests on an unshown linear-algebra check.","tokens_in":42011,"tokens_out":4308,"duration_ms":39628,"significance":"If the main construction and the uniqueness claim are correct, the paper provides a substantial new class of explicit solutions of modified RH problems for c=-2 and opens a concrete path toward analogous results for all (1,k) minimal models. The determinant formula (5.16), the bilinear relations (5.29), and the Wick theorem (5.38) are concrete, falsifiable statements that go beyond the previously known c=1 case. The authors are honest about the analyticity/convergence limitations of Theorem 4.4, and the explicit hypergeometric formulas in Prop. 4.11 give a useful testing ground. However, the advertised uniqueness theorem is not proven in the manuscript as written, and the central existence theorem is conditional, so the paper's strongest claims are not yet established at the level of rigour one expects for a journal publication.","major_comments":[{"comment":"The uniqueness claim for the 2-modified RH problem with n=3 is not proved. The proof reduces the question to a system of 14 affine-linear equations in 13 variables (12 coefficients of K(z) plus the scalar ν), and then says 'We have checked explicitly that this system has a unique solution.' No coefficient matrix, rank argument, or reproducible computation is supplied. This is load-bearing: the system is overdetermined, so unique solvability requires a specific linear dependence among the 14 equations that is never exhibited. Moreover, the dimension count earlier in §4.4 gives -1 for (k,n)=(2,3), so generic parameter counting cannot be used to support the claim. Remark 5.13 and the reconstruction of periodic vertex operators from RH data rely on this uniqueness. Please provide the explicit linear system, its rank, and the solution, or a reproducible computer algebra verification.","section":"Sec. 4.4, Prop. 4.10"},{"comment":"Theorem 4.4 is stated as a theorem, but the text immediately below it says the theorem is conditional on the assumed analyticity of Virasoro conformal blocks and that convergence of the series in (4.27) is only conjectured for k≥1. Without convergence, the functions Φ_i need not be analytic and the monodromy conclusion is not established. This conditionality affects all subsequent results that rely on Theorem 4.4, including the determinant and bilinear identities. The abstract and introduction present the construction as a proven theorem; the conditional status should be clearly stated in the abstract and throughout, or the convergence should be proved at least for the cases where explicit formulas are available (k=2, n=3, Prop. 4.11).","section":"Sec. 4.3, Theorem 4.4"},{"comment":"The proof of the bilinear relations is sketched by comparing expansions (5.31)–(5.32), but the final comparison is not fully written out, and the text states that in the case n=4 the relations were only checked numerically in low orders. If the identities are proven for all n by the OPE/rational-function argument, then the numerical check is merely illustrative and should be labelled as such. If the comparison has not been made rigorously for all n, then Theorem 5.10 is not proven in the manuscript. Please clarify the logical status and, if necessary, provide the full derivation of the coefficient matching.","section":"Sec. 5.2.4, Theorem 5.10"}],"minor_comments":[{"comment":"The abstract says 'prove its uniqueness under suitable initial data conditions', but Prop. 4.10 contains only 'we have checked explicitly'. Please align the abstract with the actual proof content.","section":"Abstract and Sec. 1"},{"comment":"Typo: 'Cobsider' should be 'Consider'.","section":"Example 3.7"},{"comment":"The notation A'(z0) is used without specifying that the derivative is with respect to z; please clarify, especially because A(z) also depends on z0.","section":"Sec. 4.4, Eq. (4.35)"},{"comment":"The dimension count giving -1 for (k,n)=(2,3) is acknowledged, but the reason for the failure of the independence assumption is not discussed. Please add a comment explaining what this implies for the generic dimension estimate.","section":"Sec. 4.4"},{"comment":"The proof of det(\\tilde F^{[ji]})=1 is only 'Direct calculation'; a short derivation or a reference to a supplementary file would be helpful for reproducibility.","section":"Prop. 4.1"},{"comment":"The notation τ^{⊗2,(i,j)} is defined in words but could be made more precise with an explicit formula; this would aid readability.","section":"Sec. 5.2.3"}],"recommendation":"major_revision","confidential_remarks":"The paper is potentially valuable and contains several explicit, checkable results. However, the main advertised uniqueness theorem is not proven in the manuscript: the 14×13 linear-algebra check in Prop. 4.10 must be made explicit, and Theorem 4.4's conditional status should be handled carefully. I would ask the authors to supply the missing rank computation or a symbolic proof, and to either prove or explicitly flag the convergence assumption for (4.27). The bilinear relations in Theorem 5.10 need a clear statement of whether the proof is complete for all n or only checked numerically for n=4."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: the paper does what it says — it extends the Iorgov–Lisovyy–Teschner construction of RH solutions from conformal blocks to the (1,k) Virasoro models, and for k=2 (c=-2) it produces explicit formulas and new bilinear relations. The main thing you should know is that the headline uniqueness claim in Prop. 4.10 is not actually proven in the text: it rests on a statement that a 14x13 affine-linear system has a unique solution, with no matrix, no rank computation, and no reproducible code. For an overdetermined system, unique solvability is a non-generic fact, and the paper's own dimension count in §4.4 gives -1 for (k,n)=(2,3), so the parameter counting can't support it. This is the weakest link in the advertised c=-2 three-punctured result, and Remark 5.13 depends on it.\n\nWhat is genuinely new and good: the periodic vertex operators ¯V for k>1, the k-modified RH problem with apparent singularities, the explicit hypergeometric solution for n=3, k=2, the determinant formula (Prop. 5.7), and Theorem 5.10's bilinear relations for c=-2 tau functions. These go beyond ILT15 and GM16, and differ from the BS19 relations, which the authors honestly note. The normalization choices and the fusion-matrix periodicity arguments are careful and seem internally consistent.\n\nThe soft spots are proportionate to how they appear. Theorem 4.4 is explicitly conditional on analyticity of Virasoro conformal blocks and on a conjectured convergence of the series in (4.27). That is honestly flagged, not hidden, so it's a caveat rather than a flaw. The numerical check of the bilinear relations for n=4 in low orders is minor and fine as evidence. The real issue is Prop. 4.10: either the explicit linear-algebra check should be included (the coefficient matrix and the linear dependence among the 14 equations), or the uniqueness claim should be downgraded to a conjecture. As written, it is a load-bearing 'checked explicitly'.\n\nWho this is for: people working on the isomonodromy/CFT correspondence, logarithmic CFT, and tau functions. They will use the explicit k=2 formulas and the modified RH framework. I'd send it to a serious referee, with the request to open the Prop. 4.10 black box. The paper deserves referee time, but it needs a real proof or a reformulated claim before publication.","headline":"Genuine extension of the ILT/GM isomonodromy/CFT construction to (1,k), with c=-2 worked out in detail — but the advertised uniqueness proof is a 'checked explicitly' black box that a referee should force open.","tokens_in":42499,"tokens_out":2132,"would_cite":true,"duration_ms":26516,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T40","34M56"],"pacs":[],"model":"deepseek-v4-flash","headline":"c=-2 conformal blocks solve a modified Riemann-Hilbert problem","keywords":["modified Riemann-Hilbert problem","(1,k) Virasoro models","central charge c=-2","symplectic fermions","periodic vertex operators","tau functions","conformal blocks","isomonodromy/CFT correspondence"],"falsifier":"Compute the series (4.27) numerically for k=2, n=3 at a few generic puncture positions and check whether the monodromy matrices obtained by analytic continuation match the prescribed Fenchel–Nielsen data; if the series diverges or the monodromy differs, Theorem 4.4 is false. Alternatively, evaluate the bilinear relations (5.29) beyond the first few orders of t-expansion and look for a first-order violation.","tokens_in":41594,"feed_emoji":"🧮","tokens_out":4567,"duration_ms":45860,"temperature":0.7,"pith_summary":"The paper extends the isomonodromy/CFT correspondence from c=1 to the (1,k) Virasoro minimal models, focusing on k=2 which has central charge c=-2. It defines periodic vertex operators—infinite sums of Virasoro vertex operators over lattice-shifted modules—and shows that their correlation functions with two degenerate fields solve a modified Riemann-Hilbert problem with prescribed Fenchel–Nielsen monodromy data. For k>1 the problem has more solutions because the connection acquires apparent singularities; the paper constructs an explicit solution for three punctures at k=2 and proves it is the unique one under two extra normalization conditions. It then derives bilinear differential-difference relations satisfied by c=-2 tau functions, giving concrete identities for a logarithmic CFT where the tau function has a rational determinant.","feed_headline":"c=-2 conformal blocks solve a modified Riemann-Hilbert problem","feed_subtitle":"Explicit three-puncture solution, uniqueness proof, and new bilinear tau-function identities for the symplectic-fermion model.","key_machinery":"The periodic vertex operator—a block operator acting on L_[θ]_k = ⊕_{n∈Z} L_{θ+nk} whose restriction is the Virasoro vertex operator V^{θ_2}_{θ_3+n_3 k, θ_1+n_1 k}—is the object that makes the construction work. Its fusion with degenerate fields is 1-periodic after an appropriate normalization, so correlation functions with two degenerate insertions have constant SL_2 monodromy and yield solutions of the modified Riemann-Hilbert problem. For k=2 the additional structure is the symplectic-fermion field I(z)=J_+(z)∧J_-(z), whose OPE with the tensor square of periodic vertex operators controls the rational determinant and produces the bilinear tau-function relations.","core_discovery":"The central claim is Theorem 4.4: the matrix-valued functions Φ_i built from radially ordered correlators of periodic vertex operators and two degenerate fields ψ± form a solution of the k-modified Riemann-Hilbert problem, with the intermediate momenta and dual coordinates playing the roles of Fenchel–Nielsen lengths and angles. For k=2 the paper gives an explicit hypergeometric description of the three-puncture solution and proves uniqueness under Φ'(z0)=0 and Φ''(z0) proportional to the identity. The determinant of the solution is a rational function, which, through the operator I(z)=J_+∧J_-, yields three families of bilinear relations for c=-2 tau functions. The construction is conditiona","pith_inferences":["If the conjectured convergence of (4.27) holds for all k≥1, the same construction should give explicit tau functions and bilinear identities for every (1,k) minimal model, not just k=2; the authors note the OPEs become more complicated.","The apparent singularities w_j appearing as zeros of det Φ resemble Hecke modifications in the BPS/CFT picture; a testable extension would be to match these zeros with surface-defect fusion data in gauge theory.","The bilinear relations for k=2 look like discrete analogues of Painlevé hierarchies; one could try to take suitable limits to recover known Painlevé VI relations or connect them to blowup equations from a different route.","The uniqueness result for n=3 suggests a bootstrap: combined with the Wick theorem, it may determine all higher-point c=-2 tau functions purely from local-system data, without input from the normalization formulas."],"forward_implications":["For k=2 and n=3 the modified Riemann-Hilbert problem has a unique solution once the extra conditions Φ'(z0)=0 and Φ''(z0)∈C·1 are imposed; this pins down the periodic vertex operators from local-system data.","The determinant of the modified RH solution is an explicit rational function, giving an overdetermined set of constraints that close into bilinear relations for c=-2 tau functions.","The bilinear relations include algebraic, first-order, and second-order Hirota-type equations, linking the c=-2 tau functions to structures reminiscent of KZ and Toda equations.","A generalized Wick theorem expresses correlators with many symplectic-fermion insertions in terms of correlators with at most two insertions, so three-point data determines the vertex operators.","For k>1 the solution space of the modified RH problem has dimension at least k^{n-3}, with generic linear combinations parameterized by a tensor Λ∈(C^k)^{⊗(n-3)}."],"fun_headline_variants":["c=-2 conformal blocks yield unique RH solution with new tau relations","Explicit three-puncture RH solution for c=-2, proven unique","Symplectic fermions give new bilinear tau identities via RH problem","Uniqueness proven for c=-2 modified Riemann-Hilbert solution","New tau-function relations from c=-2 conformal blocks and RH"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The entire construction rests on the assumption that the infinite series in (4.27) defining the periodic-vertex-operator correlators converges, and that Virasoro conformal blocks are analytic; the authors state this as a conjecture directly after Theorem 4.4.","fun_headline_variants_meta":{"raw":{"variants":["c=-2 conformal blocks yield unique RH solution with new tau relations","Explicit three-puncture RH solution for c=-2, proven unique","Symplectic fermions give new bilinear tau identities via RH problem","Uniqueness proven for c=-2 modified Riemann-Hilbert solution","New tau-function relations from c=-2 conformal blocks and RH"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000162,"raw_usage":{"total_tokens":1047,"prompt_tokens":685,"completion_tokens":362,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":429,"completion_tokens_details":{"reasoning_tokens":267}},"tokens_in":429,"tokens_out":362,"duration_ms":3975,"temperature":1.0,"reasoning_tokens":267,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T15:56:06.091735+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the series (4.27) numerically for k=2, n=3 at a few generic puncture positions and check whether the monodromy matrices obtained by analytic continuation match the prescribed Fenchel–Nielsen data; if the series diverges or the monodromy differs, Theorem 4.4 is false. Alternatively, evaluate the bilinear relations (5.29) beyond the first few orders of t-expansion and look for a first-order violation.","supporting_citations":[],"review_version":1}