{"id":"6d87aeb9-cde6-4feb-842f-c0579c8f91ad","arxiv_id":"2502.09302","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"A lifting-operator identity determines fermionic two-point functions from one-point functions for KP and BKP tau-functions, yielding closed formulas for the r-spin and BGW models.","lead":"This paper derives an identity that expresses the fermionic two-point function of a KP or BKP tau-function in terms of its one-point functions and a 'lifting operator', a Kac-Schwarz operator that generates the Sato Grassmannian basis. The authors apply it to write closed formulas for the r-spin and Brézin-Gross-Witten models, though the BKP applications contain internal inconsistencies.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central 'determination' claim rests on an unproven uniqueness assertion: Proposition 5.2 verifies only that the proposed Ψ satisfies (4.8), never that the solution is unique.","rationale":"I read the paper in good faith. The KP identity is a clean and checkable statement and its proof via Lemma 4.3 and the Wick theorem is essentially correct. What is not established is the advertised converse: that the equation determines the two-point function. The proof of Proposition 5.2 only checks the equation, and the appeal to uniqueness is unsupported. This is not a minor technicality because the space of formal series u^{-1}v^{-1}C[[u^{-1},v^{-1}]] is infinite-dimensional and the operator's leading term (u-v) is injective but not obviously surjective on that space; lower-order terms can produce nontrivial kernel elements. Since all the applications follow this same pattern, the gap is the single most load-bearing weak point of the central claim. I also checked the BKP inconsistency flagged by the reader: the anti-symmetrization of the BGW operator is not itself, because the involution (3.7) acts as ι(z²∂_z)=z. Hence Theorem 5.9's verification uses (l_u+l_v), whereas Theorem 4.9 requires the anti-symmetrized operator. This concrete error supports rejection of the paper in its present form, even though it is localized to the BKP application. Because the reader's weakest_assumption identified the same principal concern (uniqueness), I agree with the verdict; no adjustment is needed: the REJECT verdict stands. The paper should revise to prove the necessary injectivity and correct the BKP involution claims.","tokens_in":22920,"tokens_out":18236,"duration_ms":160189,"concrete_test":"Compute the homogeneous solution space for the r-spin operator: let r=2, ℏ=1, l=z-ℏz^{-2}(z∂_z-1/2) from (5.7), and solve (l*_u-l_v)δ=0 for δ∈u^{-1}v^{-1}C[[u^{-1},v^{-1}]]. Expand δ=Σ_{i,j≥0}c_{i,j}u^{-i-1}v^{-j-1}; the explicit differential equation yields a linear recursion for c_{i,j}. Truncate at total degree N and compute the dimension of the kernel for N=1,...,20. A nonzero kernel at any N falsifies the uniqueness used in Proposition 5.2; zero kernel in this test would still require a general injectivity proof to close the gap.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Central claim of the paper is that the lifting operator determines the fermionic two-point function from one-point functions. Theorem 4.4 proves a necessary condition: every KP tau-function satisfies (l*_u - l_v)Ψ(u,v)=Ψ*(u)Ψ(v). The applications (Proposition 5.2, Corollary 5.4, Theorem 5.9) propose a closed formula, check that it satisfies the equation, and then assert uniqueness of the solution with leading term 1/(u-v) plus regular part. The proof of Proposition 5.2 explicitly says 'by using ... the uniqueness of solution of that equation with certain leading terms,' but no uniqueness proof is supplied. If the operator (l*_u - l_v) has a nonzero kernel in u^{-1}v^{-1}C[[u^{-1},v^{-1}]], adding a kernel element to the proposed formula gives another solution with the same leading singularity, so the formula need not equal the true Ψ(u,v) that encodes the tau-function. This gap affects all advertised KP and BKP applications. Additionally, the BKP part has a concrete error: for l=z-ℏz²∂_z (5.10), the paper claims l∈w^B_{1+∞} and hence its anti-symmetrization equals l; but under (3.7), ι(z²∂_z)=z, so ι(l)=-(1+ℏ)z≠-l, so the anti-symmetrization is not l and Theorem 5.9 verifies the wrong equation for Theorem 4.9. Both issues are load-bearing; the uniqueness gap is the more fundamental one for the central claim.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces the notion of a lifting operator for KP and BKP tau-functions and derives equations relating the fermionic two-point function to fermionic one-point functions: (l_u^* - l_v)Ψ(u,v) = Ψ^*(u)Ψ(v) for KP (Theorem 4.4) and (̃l_u + ̃l_v)Ψ_B(u,v) = Ψ_B(u)̃Ψ_B(v) - Ψ_B(v)̃Ψ_B(u) for BKP (Theorem 4.9). The authors then apply these equations to propose closed formulas for the fermionic two-point functions of the generalized Kontsevich model (and the r-spin model as a special case) and of the Brézin–Gross–Witten model, and they list further examples in a table. The core KP theorem is proven from first principles, but the applications rely on an unproved uniqueness statement, and the BKP section contains several concrete inconsistencies with the paper's own definitions.","tokens_in":23344,"tokens_out":15117,"duration_ms":144678,"significance":"If the advertised determination claim were fully established, the paper would provide a useful and elegant method for computing fermionic two-point functions from one-point functions and a Kac–Schwarz-type operator; the explicit formulas for the r-spin and BGW models would be valuable. Theorem 4.4 is a clean, self-contained derivation and is a genuine contribution. However, the current manuscript does not prove uniqueness of the solution to the bilinear equation, so the formulas in Section 5 are only candidates, not proven two-point functions. The BKP application is further undermined by errors in the identification of the anti-symmetrization of the proposed lifting operator. These issues are load-bearing for the central claim that the lifting operator determines the two-point function.","major_comments":[{"comment":"The proof of Proposition 5.2 verifies that the proposed formula ̄Ψ(u,v) satisfies equation (5.5), then invokes 'the uniqueness of solution of that equation with certain leading terms' to conclude that ̄Ψ equals the true fermionic two-point function. No uniqueness proof is supplied. Since Theorem 4.4 only establishes that the true Ψ(u,v) satisfies (4.8), one must show that the operator l_u^* - l_v is injective on the space 1/(u-v) + u^{-1}v^{-1}C[[u^{-1},v^{-1}]]; otherwise adding any nonzero kernel element to ̄Ψ would produce another solution with the same leading singularity. This gap affects Corollary 5.4 and all the examples in Section 5.4 where equations are solved by verification only.","section":"§5.1, Proposition 5.2 and §5.2, Corollary 5.4"},{"comment":"The operator l = z - ℏz²∂_z is claimed to lie in w^B_{1+∞}, so that its anti-symmetrization equals itself. Under the involution (3.7), we have ι(z) = -z and, writing z²∂_z = z(z∂_z), ι(z²∂_z) = (-z∂_z)(-z) = z + z²∂_z as an operator (acting on a test function f: -z∂_z(-zf) = zf + z²f′). Therefore ι(l) = -z - ℏ(z + z²∂_z) = -(1+ℏ)z - ℏz²∂_z, which is not -l. Hence ̃l ≠ l, and the equation verified in (5.14) is not the equation required by Theorem 4.9. The BGW application as written is therefore invalid.","section":"§5.3, equation (5.10) and Theorem 5.9"},{"comment":"The text states 'Since ι(l_z) = l_z, the anti-symmetrization of this lifting operator is itself, i.e., ̃l_z = l_z.' This contradicts Definition 3.10, where ̃l := (1/2)(l - ι(l)). If ι(l) = l, then ̃l = 0, not l. The verification at the end of §5.4.6 uses ̃l = l and thus checks an equation different from that in Theorem 4.9. This is a second concrete inconsistency in the BKP applications.","section":"§5.4.6, spin Hurwitz numbers"}],"minor_comments":[{"comment":"The abstract contains a typo: 'fu nction' should be 'function'.","section":"Abstract, page 1"},{"comment":"The phrase 'equations (5.2) and (5.2)' should read 'equations (5.2) and (5.3)'.","section":"Remark 5.5"},{"comment":"The cross-reference 'as specified in (3.4)' is incorrect; the anti-symmetrization ̃l is defined in Definition 3.4, equation (3.10).","section":"Theorem 4.9"},{"comment":"The assertion that l_V is a lifting operator in the sense of Definition 4.1 is stated without proof; either an admissible basis satisfying the raising property should be exhibited, or the authors should clarify that only the Kac–Schwarz property (4.5) is needed for the subsequent argument.","section":"§5.1, Corollary 5.1"}],"recommendation":"major_revision","confidential_remarks":"The BKP section contains multiple inconsistencies that suggest the authors did not carefully verify the involution (3.7). If the BKP applications cannot be corrected, the authors should consider removing or substantially revising that part of the paper. The uniqueness gap in Section 5 is probably fillable by a triangularity argument, but it must be supplied before the advertised 'determination' claim is justified."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Plainly: the KP part of this paper gives a clean and checkable identity, but the advertised applications are not all proven, and the BKP section contains a concrete error. The paper deserves a serious referee, not a desk reject, but it needs revision.\n\nWhat is new: equation (4.8), (l_u^* - l_v)Ψ(u,v) = Ψ^*(u)Ψ(v), is a compact repackaging of Kac–Schwarz data into a bilinear equation for the fermionic two-point function. The proof via Wick's theorem and Lemma 4.3 is correct and short. The closed formula (5.9) for the r-spin two-point function for general r is not in the cited literature, which gives integral expansions or recursions. That is a genuine new output. The lifting-operator formalism is honestly presented as a tool, not a conceptual revolution.\n\nThe soft spots are real. First, the applications in Section 5 rely on an unproven uniqueness assertion. Proposition 5.2 proposes a formula, verifies it solves (4.8), and then cites \"the uniqueness of solution of that equation with certain leading terms\" without proof. If (l_u^* - l_v) has nonzero kernel in the space of series with the same leading singularity, the proposed formula need not be the actual two-point function. This gap is load-bearing for the r-spin and generalized Kontsevich results. It may be fixable by a triangularity argument, but it is not in the paper.\n\nSecond, the BKP section has a concrete error. The paper claims l = z - ℏ z^2∂_z lies in w^B_{1+∞} and hence its anti-symmetrization is itself. Under the paper's own involution (3.7), one computes ι(z^2∂_z) = z + z^2∂_z (not z), so ι(l) = -(1+ℏ)z - ℏ z^2∂_z, which is not -l. The anti-symmetrization is therefore not l, and the verification in Theorem 5.9 is checking (4.17) with the wrong operator. The stress-test note's shorthand \"ι(z²∂_z)=z\" is not exactly what (3.7) gives, but the conclusion that l∉w^B stands. This affects the BGW application and any BKP example built on that operator.\n\nThe other examples in Section 5.4 are mostly checks by solving the equation with proposed series, again without uniqueness. They are consistent, but they do not add independent weight.\n\nWho should read it: researchers who use fermionic two-point functions in integrable systems and enumerative geometry. The identity (4.8) is a useful tool; the r-spin formula is a nice data point. I would send it to peer review, with the expectation that the authors supply a uniqueness proof and fix the BKP involution issue.","headline":"A clean KP identity with an unproven uniqueness step and a real BKP involution error: worth a referee, but not in present form.","tokens_in":23790,"tokens_out":10160,"would_cite":false,"duration_ms":82478,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37K10","17B69"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that a lifting operator, a specially chosen Kac–Schwarz operator, determines the fermionic two-point function of a KP or BKP tau-function from its easier one-point functions.","keywords":["KP hierarchy","BKP hierarchy","fermionic two-point function","lifting operator","Kac–Schwarz operator","tau-function","r-spin model","Brézin–Gross–Witten model"],"falsifier":"Examine the homogeneous equation $(l^*_u-l_v)g=0$ in $u^{-1}v^{-1}\\mathbb{C}[[u^{-1},v^{-1}]]$: if a nonzero solution $g$ exists, then the same leading term admits many solutions and the proposed formulas are not forced by the theorem. Alternatively, expand the proposed $\\Psi(u,v)$ as $1/(u-v)+\\sum_{i,j\\ge 0}b_{i,j}u^{-i-1}v^{-j-1}$ and compare the $b_{i,j}$ with affine coordinates computed directly from the tau-function for a model such as monotone Hurwitz numbers; any mismatch would refute the formula.","tokens_in":2049,"feed_emoji":"🧮","tokens_out":2981,"duration_ms":105392,"temperature":0.7,"pith_summary":"Fermionic two-point functions of KP and BKP tau-functions are generating series for all affine coordinates of the Sato Grassmannian point, so they encode the whole tau-function. This paper introduces a lifting operator, a distinguished Kac–Schwarz operator that generates the admissible basis, and proves bilinear identities relating the two-point function to the one-point functions. The authors apply these identities to produce closed formulas for the generalized Kontsevich model, the r-spin model, and the Brézin–Gross–Witten model, and they check the pattern on several Hurwitz and Gromov–Witten examples. The result matters because it turns the usually hard problem of computing the full two-point function into a routine verification once a lifting operator and one-point functions are known.","feed_headline":"One lifting operator determines KP and BKP two-point functions","feed_subtitle":"Bilinear identities compute two-point functions from one-point data; r-spin and BGW get closed formulas","key_machinery":"The lifting operator is the central object. For KP, it is a Kac–Schwarz operator $l_z\\in w_{1+\\infty}$ with leading term $z$ such that, after conjugation by $z^{1/2}$, powers of it shift the first admissible-basis vector $\\phi_0$ to a whole basis: $(z^{1/2}l_z z^{-1/2})^k\\phi_0(z)=a_k\\phi_k(z)$. For BKP the same notion is used with the anti-symmetrization $\\tilde{l} = (l-\\iota(l))/2$, where $\\iota$ is the involution of equation (3.7). The machine that powers the theorem is the combination of the scalar action $\\hat{l}|V\\rangle = c_l|V\\rangle$, the adjoint-vacuum identity $\\langle 0|\\hat{l}=\\langle 0|\\psi^*_{1/2}\\psi_{-1/2}$, and the commutation relations $[\\hat{a},\\psi(z)]=-a\\psi(z)$ and $[\\hat{a},\\psi^*(z)]=a^*\\psi^*(z)$, which convert the two-point and one-point data into a Wick-theorem computation.","core_discovery":"On the paper's own terms, the central claim is Theorem 4.4, stated as Theorem 1.1 in the introduction: for a KP tau-function with lifting operator $l$, the fermionic two-point function satisfies $$(l^*_u - l_v)\\Psi(u,v) = \\Psi^*(u)\\Psi(v).$$ The proof combines the $W_{1+\\infty}$ representation of differential operators, the vacuum identity $\\langle 0|\\hat{l} = \\langle 0|\\psi^*_{1/2}\\psi_{-1/2}$, and Wick's theorem, so that the surviving contractions produce exactly the one-point product on the right-hand side. For BKP the paper proves the analogous identity (Theorem 4.9) using the anti-symmetrization $\\tilde{l} = (l - \\iota(l))/2$ and neutral-fermion one-point functions $\\Psi_B(u)$ and $\\tilde{\\Psi}_B(v)$. The paper then uses these equations as the method of solution: for the generalized Kontsevich model it obtains $$\\Psi(u,v) = \\frac{W(l_V^*(u), l_V(v))}{x(u)-x(v)}\\Psi^*(u)\\Psi(v),$$ with $W$ the divided difference of $x$, and derives the r-spin formula as the special case $V(z)=z^{r+1}/(r(r+1))$. For the Brézin–Gross–Witten model it obtains $$\\Psi_B(u,v) = -\\frac{2(-2l_u+2l_v+u-v)\\Psi_B(u)\\Psi_B(v)}{\\hbar(u+v)}.$$","pith_inferences":["Closing the uniqueness gap would turn the bilinear equation into a complete characterization: the two-point function would be the unique formal solution with the specified leading singularity, making the method a definition of $\\Psi(u,v)$ rather than a verification scheme.","The lifting operator appears to carry the spectral-curve data of the model, since in every example it is a quantized curve operator; this suggests a direct bridge between the bilinear fermionic form and quantum spectral curves, a connection the paper only mentions in passing for BGW.","The BKP proof structure should extend to other involutive reductions of the neutral-fermion formalism, such as CKP-type hierarchies, by choosing the appropriate involution $\\iota$; the paper does not state this extension.","One concrete testable extension is to apply the method to other tau-functions with known lifting operators but no closed two-point formula, and to compare the resulting coefficients with independently computed affine coordinates."],"forward_implications":["Any KP tau-function admitting a lifting operator has its two-point function constrained by $(l^*_u-l_v)\\Psi(u,v)=\\Psi^*(u)\\Psi(v)$, so one-point data plus the operator determine all affine coordinates.","For the generalized Kontsevich model with polynomial potential, Proposition 5.2 gives the closed divided-difference formula; the r-spin model follows as the monomial case with $\\Psi(u,v)=\\frac{(\\sum_{a=0}^{r-1}(l^*_u)^a(l_v)^{r-1-a})\\Psi^*(u)\\Psi(v)}{u^r-v^r}$.","In the BKP setting, the Brézin–Gross–Witten tau-function satisfies the explicit formula (5.13), compactly re-deriving the two-point function previously obtained by other methods.","The same theorem is verified on simple Hurwitz numbers, the framed one-leg vertex, monotone Hurwitz numbers, Grothendieck's dessins, spin Hurwitz numbers, and the Gromov–Witten theory of $\\mathbb{P}[r]$, so the method is not limited to the two featured models."],"supporting_citations":[{"why":"supplies the boson-fermion correspondence, Wick theorem, and wave-function identities used throughout the proofs","marker":"[DJM]"},{"why":"introduces Kac–Schwarz operators, the class to which the lifting operator belongs and from which the scalar action equation (4.5) is taken","marker":"[KS]"},{"why":"provides the $W_{1+\\infty}$ realization and the lemma used to assert that $\\hat{l}$ acts on $|V\\rangle$ by a scalar","marker":"[FKN]"},{"why":"gives the Kac–Schwarz operators and annihilation equations for the generalized Kontsevich model on which the main KP application relies","marker":"[A2]"},{"why":"defines the fermionic two-point function as the generating series of canonical-basis affine coordinates","marker":"[O3]"},{"why":"gives the BKP affine coordinates and one-point functions for the Brézin–Gross–Witten model used in the BKP application","marker":"[WY]"},{"why":"provides the lifting operator and affine coordinates for spin Hurwitz numbers checked in the final example","marker":"[JWY]"},{"why":"provides the r=2 Airy-kernel two-point formula that the r-spin corollary generalizes","marker":"[TW]"}],"fun_headline_variants":["Lifting operator gives bilinear fermionic form for KP and BKP","Bilinear identities link two-point to one-point in KP and BKP","One operator computes fermionic two-point functions for KP and BKP","Lifting operator yields new fermionic identities for KP and BKP","KP and BKP two-point functions via a single lifting operator"],"cache_read_input_tokens":25856,"weakest_assumption_plain":"The load-bearing premise is that the linear equation $(l^*_u-l_v)f=\\Psi^*(u)\\Psi(v)$ has only one formal power-series solution with leading term $1/(u-v)$ plus a regular part; the paper verifies its proposed formula satisfies the equation but never proves uniqueness.","fun_headline_variants_meta":{"raw":{"variants":["Lifting operator gives bilinear fermionic form for KP and BKP","Bilinear identities link two-point to one-point in KP and BKP","One operator computes fermionic two-point functions for KP and BKP","Lifting operator yields new fermionic identities for KP and BKP","KP and BKP two-point functions via a single lifting operator"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001581,"raw_usage":{"total_tokens":6325,"prompt_tokens":979,"completion_tokens":5346,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":595,"completion_tokens_details":{"reasoning_tokens":5254}},"tokens_in":595,"tokens_out":5346,"duration_ms":38447,"temperature":1.0,"reasoning_tokens":5254,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T21:59:50.999608+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Examine the homogeneous equation $(l^*_u-l_v)g=0$ in $u^{-1}v^{-1}\\mathbb{C}[[u^{-1},v^{-1}]]$: if a nonzero solution $g$ exists, then the same leading term admits many solutions and the proposed formulas are not forced by the theorem. Alternatively, expand the proposed $\\Psi(u,v)$ as $1/(u-v)+\\sum_{i,j\\ge 0}b_{i,j}u^{-i-1}v^{-j-1}$ and compare the $b_{i,j}$ with affine coordinates computed directly from the tau-function for a model such as monotone Hurwitz numbers; any mismatch would refute the formula.","supporting_citations":[],"review_version":1}