{"id":"1e05b90d-bfa1-4b18-b3dc-440c5ce34486","arxiv_id":"1908.08725","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Imposing rank-one and rank-two shift conditions on symmetric and skew-symmetric moment matrices yields the C-Toda and B-Toda hierarchies with explicit Lax matrices, and shows the Pfaff lattice is the large BKP hierarchy.","lead":"This mathematics paper derives two integrable hierarchies, the C-Toda and B-Toda equations, as special reductions of the 2d-Toda hierarchy by imposing rank conditions on the underlying moment matrix. Those same reductions connect the Cauchy two-matrix model and the Bures ensemble from random matrix theory to explicit Lax matrices and spectral problems.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Prop. 4.6's identification of the Pfaff lattice with the large BKP hierarchy depends on the unproved factorization at Eq. (4.18); this step needs an independent derivation before the equivalence can be accepted.","rationale":"The reader's weakest_assumption was the mKP property of tau_n(t,-t) in Section 3.2. I think that issue is fillable: setting s = -t and s' = -t' in the 2d-Toda bilinear identity (2.7), and applying the already-proved symmetry tau_n(-s,-t) = tau_n(t,s), turns the identity into the mKP bilinear identity, so the t2-flow cancellation used for Eq. (3.14b) is derivable from the paper's own framework. The reader also mentioned the factorization leading to Eq. (4.18) as a secondary point, and this is the more serious gap: it is the step that identifies the Pfaff lattice with the large BKP hierarchy in Proposition 4.6, without which one of the paper's central claims is unsupported. The C-Toda and B-Toda derivations otherwise appear internally consistent, and the rank-one and rank-two shift conditions are well motivated by the Cauchy two-matrix model and the Bures ensemble. Since the concern is a proof gap rather than a demonstrated counterexample, the appropriate verdict remains CONDITIONAL, matching the reader's conditional assessment, so the recommended adjustment is UNCHANGED.","tokens_in":33496,"tokens_out":20631,"duration_ms":168202,"concrete_test":"Substitute the explicit wave functions (4.9a)-(4.9d) into the bilinear identity (4.8) for the even-odd index pair (2n, 2m+1) and reduce the contour integrals by residues without using the disputed step. Verify that the result is exactly Eq. (4.18) with no leftover tau_{2n}(t) or tau_{2n+2}(t) factors. If an extra factor remains, or if the parity of the exponents differs, the factorization in Section 4.2 is invalid and Proposition 4.6 needs revision.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The main concern is the transition in Section 4.2 from the bilinear identity for Phi_{1,2n+1} and Phi_{2,2m} to Eq. (4.18). The text obtains, for all t and t', the identity tau_{2n}(t)I_1(n,m) - tau_{2n+2}(t)I_2(n,m) = 0, and then asserts by 'symmetry invariance' that tau_{2n}(t)tau_{2m+1}(t') = I_2(n,m). This does not follow from symmetry invariance alone: I_1 and I_2 are independent contour integrals, and a linear relation in which they are multiplied by different tau factors does not by itself single out one of them. Equation (4.18) is exactly the even-odd case of the large BKP bilinear identity (4.19), so it is load-bearing for Proposition 4.6; without it, the claimed equality of the Pfaff lattice and large BKP hierarchies is not established. The external mKP citation in Section 3.2 is less problematic: substituting s = -t and s' = -t' into the 2d-Toda bilinear identity (2.7) and using tau_n(-s,-t) = tau_n(t,s) converts it into the mKP bilinear identity, so the t2-flow cancellation can be obtained from the paper's own framework. Thus the decisive soft spot is the unjustified factorization behind Eq. (4.18).","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a moment-matrix approach to reductions of the 2d-Toda hierarchy. For symmetric moment matrices it shows that the rank-one shift condition Λm∞ + m∞Λ^T = αα^T leads to the C-Toda hierarchy, with explicit Lax matrix, a local spectral problem, and bilinear equations (Propositions 3.7 and 3.12). For skew-symmetric moment matrices it studies the Pfaff lattice hierarchy, introduces odd-indexed Pfaffian tau functions, and claims that the Pfaff lattice hierarchy coincides with the large BKP hierarchy (Proposition 4.6). It then imposes the rank-two shift condition Λm∞ + m∞Λ^T = Λαα^T − αα^TΛ^T and derives the B-Toda hierarchy with an explicit Lax matrix and recurrence relations (Propositions 4.12 and 4.14). The paper is framed as a unification of integrable structures behind the Cauchy two-matrix model and the Bures ensemble.","tokens_in":33796,"tokens_out":15415,"duration_ms":136525,"significance":"If the proof gaps identified below are filled, the paper would be a useful contribution: it connects two concrete random-matrix models to explicit discrete integrable hierarchies, provides explicit Lax matrices and four-term recurrences that are checkable, and addresses an open comparison between the Pfaff lattice and the large BKP hierarchy. The rank shift conditions are a genuinely structural input, and the derivations are mostly carried out with explicit contour-integral and Pfaffian machinery. The paper also gives several falsifiable concrete equations, such as the C-Toda lattice (3.14) and the B-Toda lattice (4.29), which are valuable even if the full hierarchy equivalence needs further justification.","major_comments":[{"comment":"The passage from the bilinear identity for Φ_{1,2n+1} and Φ_{2,2m} to Eq. (4.18) is not justified as written. The preceding display yields a single linear relation of the form τ_{2n}(t) I_1(n,m) − τ_{2n+2}(t) I_2(n,m) = 0, where I_1 and I_2 are two different contour integrals. The text then states that, by 'symmetry invariance,' this implies τ_{2n}(t)τ_{2m+1}(t') = I_2(n,m). This does not follow from the displayed relation alone: a linear combination with independent coefficients does not determine either integral separately. Equation (4.18) is exactly the even-odd case of the large BKP bilinear identity used in Proposition 4.6, and later Lemma 4.13 and Proposition 4.12 also rely on the large BKP identity (4.19), so the gap propagates to the B-Toda derivation as well. The authors should supply an independent derivation of Eq. (4.18), for example by deriving a second independent relation that permits elimination of I_1, or by a direct residue/Pfaffian argument.","section":"§4.2, Eq. (4.18)"},{"comment":"The derivation of the second C-Toda equation (3.14b) uses the statement that {τ_n(t,−t)} satisfies the modified KP hierarchy, cited to [28] without proof in this setting. This is a load-bearing input: the cancellation of the t2-flow in the computation leading to Eq. (3.15) depends on it, and if the restricted tau functions did not satisfy the mKP property, the C-Toda hierarchy would not follow from the stated reductions. The gap is local and fixable: substituting s = −t and s′ = −t′ into the 2d-Toda bilinear identity (2.7), together with the symmetry τ_n(−s,−t) = τ_n(t,s), yields the needed mKP bilinear identity. The paper should include this derivation as a lemma or explicitly state and prove the required form of the mKP property.","section":"§3.2, Eq. (3.15)"}],"minor_comments":[{"comment":"The phrase 'Gauu-Borel decomposition' should be corrected to 'Gauss-Borel decomposition'.","section":"§2.1"},{"comment":"In the display after Eq. (3.15) and again in §4.3, the term written as (∂²_{t1}τ_{2n}(t,s)|_{s=−t})² appears to be a typo for (∂_{t1}τ_{2n}(t,s)|_{s=−t})²; the current display makes the subsequent algebra hard to follow.","section":"§3.2 and §4.3"},{"comment":"The sentence describing the large BKP hierarchy as 'the same with' the Pfaff lattice hierarchy should read 'the same as'.","section":"§4.2"},{"comment":"The Schur functions p_k and the notation p_k(∂̃_t) are used extensively after Eq. (2.7) but are not defined; a short definition or an explicit reference would improve readability.","section":"§2.3 and later"},{"comment":"The block matrix displayed for h̃ is not fully explained; the 2×2 block structure and the pattern of the entries should be stated explicitly.","section":"§4.2, Eq. (4.11)"}],"recommendation":"major_revision","confidential_remarks":"The decisive point for publication is Eq. (4.18): the paper's claimed equivalence between the Pfaff lattice hierarchy and the large BKP hierarchy rests on this factorization, and the current justification is insufficient. I would be willing to reconsider after the authors provide a complete derivation. The mKP input in Section 3.2 is a smaller fix, since it can be derived from the paper's own bilinear identity."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this paper is worth engaging with, but its headline equivalence is not established as written. The rank-shift machinery gives clean derivations of the full C-Toda and B-Toda hierarchies with explicit Lax matrices, and the idea of using odd-indexed Pfaffian tau functions to compare the Pfaff lattice with the large BKP hierarchy is the right direction. The problem is that Proposition 4.6 depends on Eq. (4.18), and the text does not justify the inference.\n\nWhat is actually new: the symmetric and skew-symmetric moment-matrix reductions with rank-one and rank-two shift conditions, the resulting full hierarchies rather than just first members, and the explicit Lax matrices and spectral problems in Propositions 3.12 and 4.14. This goes beyond the first-member results in [15,31] and the partial discussion in [42,7]. The determinant/Pfaffian computations are careful and readable, and the random-matrix motivation is honest. The citation pattern is fine: prior results are cited where used, and the main objects are derived rather than assumed.\n\nThe soft spot is real and load-bearing. In Section 4.2, after obtaining tau_{2n}(t) I_1(n,m) - tau_{2n+2}(t) I_2(n,m) = 0, the paper claims by \"symmetry invariance\" that tau_{2n}(t) tau_{2m+1}(t') = I_2(n,m). That does not follow: I_1 and I_2 are different contour integrals, and a linear relation with tau-dependent coefficients does not identify one of them. Since (4.18) is exactly the even-odd case of the large BKP bilinear identity, Proposition 4.6 is not proven. This may be repairable, but it needs an independent argument, not an appeal to symmetry.\n\nThe other concern—the modified KP property of tau_n(t,-t) in Section 3.2—is minor. As the stress-test note says, the needed t2-flow cancellation can be obtained from the paper's own 2d-Toda bilinear identity by restricting s = -t and s' = -t'. I would not hold the paper up on that.\n\nWho is this for: people in integrable systems and random matrix theory who want explicit Lax matrices for C-Toda and B-Toda, or who care about the Pfaff/large-BKP relation. The paper deserves a serious referee. My recommendation: send it out, but direct the referee to focus on Eq. (4.18) and require either a complete proof or a revised, weaker claim. Do not desk-reject.","headline":"A substantial rank-shift derivation of C-Toda and B-Toda with explicit Lax matrices, but the claimed Pfaff-large-BKP equivalence rests on an unjustified step at (4.18) and needs a real fix.","tokens_in":34321,"tokens_out":3795,"would_cite":true,"duration_ms":38898,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37K10","15A23"],"pacs":[],"model":"deepseek-v4-flash","headline":"Rank-one and rank-two shift conditions on the moment matrix reduce the 2d-Toda hierarchy to the C-Toda and B-Toda hierarchies, giving explicit Lax matrices and spectral problems.","keywords":["2d-Toda hierarchy","moment matrix","rank one shift condition","rank two shift condition","C-Toda hierarchy","B-Toda hierarchy","Pfaff lattice","large BKP hierarchy"],"falsifier":"Take a symmetric weight that satisfies the rank-one shift condition but whose restricted tau functions fail the modified KP bilinear identity, and compute the first two C-Toda equations; if (3.14b) fails while (3.14a) holds, the reduction depends essentially on the external mKP input. For the rank-two case, verify whether the B-Toda bilinear equation $D_{t_1}^2\\tau_n\\cdot\\tau_n = 2D_{t_1}\\tau_{n-1}\\cdot\\tau_{n+1}$ follows from the rank-two shift alone; a counterexample would falsify the claimed reduction.","tokens_in":33290,"feed_emoji":"🧮","tokens_out":9268,"duration_ms":73875,"temperature":0.7,"pith_summary":"This paper establishes that two concrete algebraic constraints on the moment matrix of the 2d-Toda hierarchy recover two named integrable hierarchies: the C-Toda hierarchy from a rank-one shift condition in the symmetric case, and the B-Toda hierarchy from a rank-two shift condition in the skew-symmetric case. These constraints are not ad hoc; they are the moment-matrix translations of the Cauchy two-matrix model and the Bures ensemble from random matrix theory. The payoff is explicit Lax matrices and local spectral problems for both hierarchies, plus a proof that the Pfaff lattice hierarchy and the large BKP hierarchy coincide once odd-indexed Pfaffian tau functions are included.","feed_headline":"Two rank conditions reduce 2d-Toda to C-Toda and B-Toda","feed_subtitle":"The Cauchy two-matrix model and Bures ensemble supply the shift conditions behind both hierarchies.","key_machinery":"The central object is the semi-infinite moment matrix $m_\\infty$ with its Gauss–Borel (symmetric case) and skew-Borel (skew-symmetric case) decompositions. The load-bearing identities are the rank-one shift condition $\\Lambda m_\\infty + m_\\infty\\Lambda^\\top = \\alpha\\alpha^\\top$ and the rank-two shift condition $\\Lambda m_\\infty + m_\\infty\\Lambda^\\top = \\Lambda\\alpha\\alpha^\\top - \\alpha\\alpha^\\top\\Lambda^\\top$; after dressing, the second reads $Lh + hL^\\top = \\rho\\sigma^\\top - \\sigma\\rho^\\top$. These conditions convert the nonlocal Hessenberg Lax operator into a local four-term ($3\\times3$-type) spectral problem and yield explicit Lax matrices, given in Propositions 3.12 and 4.14.","core_discovery":"The central claim is that the rank of the shift of the moment matrix governs the reduction of the 2d-Toda hierarchy. For a symmetric moment matrix satisfying $\\Lambda m_\\infty + m_\\infty\\Lambda^\\top = \\alpha\\alpha^\\top$, the Lax operator becomes a four-term recurrence and the symmetric tau functions satisfy the C-Toda lattice, equations (3.14). For a skew-symmetric moment matrix satisfying $\\Lambda m_\\infty + m_\\infty\\Lambda^\\top = \\Lambda\\alpha\\alpha^\\top - \\alpha\\alpha^\\top\\Lambda^\\top$, the Pfaffian tau functions satisfy the B-Toda lattice $D_{t_1}^2 \\tau_n\\cdot\\tau_n = 2D_{t_1}\\tau_{n-1}\\cdot\\tau_{n+1}$. The paper writes explicit Lax matrices for both hierarchies (Propositions 3.12 and 4.14) and proves that the Pfaff lattice hierarchy coincides with the large BKP hierarchy once odd-indexed Pfaffian tau functions are included (Proposition 4.6).","pith_inferences":["The rank-shift mechanism suggests a general family of higher-rank conditions: a rank-$k$ shift should produce a $(k+2)$-term recurrence and a $(k+1)\\times(k+1)$ spectral problem, with the C-Toda and B-Toda cases at $k=1,2$. This is a conjecture about how the present construction extends, not a claim of the paper.","Because the C-Toda and B-Toda moment matrices arise from the Cauchy two-matrix model and the Bures ensemble, the explicit Lax pairs may open a route to Virasoro constraints and gap probabilities for those random-matrix ensembles; the authors list this as an open direction.","The Pfaff lattice / large BKP equivalence could transfer results in either direction; for instance, BKP-type derivative laws for odd-indexed tau functions become available to the Pfaff lattice under the rank-two condition, which is precisely the B-type feature the paper identifies as missing without it."],"forward_implications":["C-Toda and B-Toda are reductions of the single 2d-Toda theory, so construction of tau functions and wave functions for 2d-Toda restricts directly to both hierarchies.","The rank-one shift gives a local $3\\times3$ spectral problem and a four-term recurrence for symmetric Cauchy biorthogonal polynomials, opening the hierarchy to orthogonal-polynomial methods.","The rank-two shift yields an explicit Lax matrix for the B-Toda hierarchy, whose first equations were previously known mainly through the B-Toda lattice.","With odd-indexed Pfaffian tau functions included, the Pfaff lattice hierarchy and the large BKP hierarchy share the same wave functions and bilinear identities.","Odd-indexed tau functions in the B-Toda case are true BKP-type tau functions, not auxiliary variables; equivalently $\\sigma$ and $\\rho$ become tau functions themselves."],"supporting_citations":[{"why":"Supplies the bi-moment matrix setup and 2d-Toda tau functions that the paper reduces.","marker":"[3]"},{"why":"Establishes the Pfaff lattice from skew-symmetric moment matrices and poses the relation to large BKP as an open problem.","marker":"[7]"},{"why":"Introduces the rank-one shift condition and Cauchy biorthogonal polynomials that the C-Toda reduction builds on.","marker":"[10]"},{"why":"Provides partial skew orthogonal polynomials, their recurrence, and the odd-indexed Pfaffian tau functions used for the B-Toda and large BKP analysis.","marker":"[15]"},{"why":"Names the B-Toda lattice whose bilinear equation the rank-two reduction recovers.","marker":"[25]"},{"why":"Supplies the modified KP hierarchy for the restricted tau functions, used to cancel the $t_2$-flow in deriving the second C-Toda equation.","marker":"[28]"},{"why":"Defines the large BKP hierarchy whose equivalence with the Pfaff lattice the paper proves.","marker":"[29]"},{"why":"Gives the C-Toda lattice and CKP connection from the Cauchy two-matrix model that the paper reproduces and extends.","marker":"[31]"}],"fun_headline_variants":["Rank shift conditions cut 2d-Toda down to C-Toda and B-Toda","From 2d-Toda to C- and B-Toda via rank shifts","Moment matrix ranks dictate reductions of 2d-Toda","Two rank conditions forge C-Toda and B-Toda from 2d-Toda","2d-Toda yields C-Toda and B-Toda under special rank shifts"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the restricted tau functions $\\{\\tau_n(t,-t)\\}$ satisfy the modified KP hierarchy, an external result cited without proof; the second C-Toda equation cancels the $t_2$-flow with this identity, and if the restricted tau functions are not in that class, the C-Toda hierarchy does not follow from the rank-one reduction.","fun_headline_variants_meta":{"raw":{"variants":["Rank shift conditions cut 2d-Toda down to C-Toda and B-Toda","From 2d-Toda to C- and B-Toda via rank shifts","Moment matrix ranks dictate reductions of 2d-Toda","Two rank conditions forge C-Toda and B-Toda from 2d-Toda","2d-Toda yields C-Toda and B-Toda under special rank shifts"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00082,"raw_usage":{"total_tokens":3543,"prompt_tokens":854,"completion_tokens":2689,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":470,"completion_tokens_details":{"reasoning_tokens":2584}},"tokens_in":470,"tokens_out":2689,"duration_ms":18126,"temperature":1.0,"reasoning_tokens":2584,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:31:42.042037+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a symmetric weight that satisfies the rank-one shift condition but whose restricted tau functions fail the modified KP bilinear identity, and compute the first two C-Toda equations; if (3.14b) fails while (3.14a) holds, the reduction depends essentially on the external mKP input. For the rank-two case, verify whether the B-Toda bilinear equation $D_{t_1}^2\\tau_n\\cdot\\tau_n = 2D_{t_1}\\tau_{n-1}\\cdot\\tau_{n+1}$ follows from the rank-two shift alone; a counterexample would falsify the claimed reduction.","supporting_citations":[{"cited_title":"Adler and P","cited_arxiv_id":null,"evidence_quote":"Supplies the bi-moment matrix setup and 2d-Toda tau functions that the paper reduces."},{"cited_title":"Adler, T","cited_arxiv_id":null,"evidence_quote":"Establishes the Pfaff lattice from skew-symmetric moment matrices and poses the relation to large BKP as an open problem."},{"cited_title":"Bertola, M","cited_arxiv_id":null,"evidence_quote":"Introduces the rank-one shift condition and Cauchy biorthogonal polynomials that the C-Toda reduction builds on."},{"cited_title":"Chang, Y","cited_arxiv_id":null,"evidence_quote":"Provides partial skew orthogonal polynomials, their recurrence, and the odd-indexed Pfaffian tau functions used for the B-Toda and large BKP analysis."},{"cited_title":"Hirota, M","cited_arxiv_id":null,"evidence_quote":"Names the B-Toda lattice whose bilinear equation the rank-two reduction recovers."},{"cited_title":"Jimbo and T","cited_arxiv_id":null,"evidence_quote":"Supplies the modified KP hierarchy for the restricted tau functions, used to cancel the $t_2$-flow in deriving the second C-Toda equation."},{"cited_title":"Kac and J","cited_arxiv_id":null,"evidence_quote":"Defines the large BKP hierarchy whose equivalence with the Pfaff lattice the paper proves."},{"cited_title":"Li and S","cited_arxiv_id":null,"evidence_quote":"Gives the C-Toda lattice and CKP connection from the Cauchy two-matrix model that the paper reproduces and extends."}],"review_version":1}