Pith. sign in

REVIEW 2 major objections 4 minor 1 cited by

Shifted KP tau functions are Wronskians of wave functions, via a degenerate limit of the addition formula.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-03 19:39 UTC pith:S6ZMZMBK

load-bearing objection Theorem 2.2 is the real result and it holds; Proposition 5.1 overstates exact equality by a scalar, but the central machinery is sound. the 2 major comments →

arxiv 2511.22876 v3 pith:S6ZMZMBK submitted 2025-11-28 nlin.SI math-phmath.AGmath.MPmath.RT

Degenerate Addition Formulas of the KP Hierarchy and Applications

Atsushi Nakayashiki This is my paper
classification nlin.SI math-phmath.AGmath.MPmath.RT MSC 37K1014H7035Q53
keywords KP hierarchytau functionsaddition formulasWronskiansvertex operatorsDarboux transformationstheta functionsRiemann surfaces
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper establishes a degenerate addition formula for tau functions of the KP hierarchy: shifting the time variables by n parameters turns the tau function into a Wronskian determinant of wave functions evaluated at those parameters, up to an exponential and a constant. The proof takes the known determinant form of the KP addition formula and carefully sends n of the shift parameters to zero, using the KP linear equations to eliminate all derivatives except those in the first time variable. The resulting identity is the missing bridge between two ways of building new solutions: vertex-operator exponentials and Darboux transformations, which are shown to produce the same tau functions. Applying the identity to theta-function solutions yields a new addition formula for Riemann theta functions, a limit of the classical theta addition formula that is different from the two standard limits.

Core claim

The paper's central claim is Theorem 2.2: for any n and nonzero parameters alpha_i, tau(t - sum_i [alpha_i]) equals (Wronskian of wave functions Psi(t, alpha_i) in x=t_1) times tau(t) times exp(-sum_i eta(t, alpha_i^{-1})), divided by the product over i<j of (alpha_j^{-1}-alpha_i^{-1}). This is obtained as the beta->0 limit of the determinant-form addition formula (2.6), after showing the limit is finite and collapses to a Wronskian. The author also derives companion formulas for shifts with positive parameters and mixed partial limits; as applications, vertex-operator-generated and Darboux-generated tau functions coincide, and theta-function solutions yield a new addition formula for Rieman

What carries the argument

The load-bearing object is the wave function Psi(t,z)=tau(t-[z])/tau(t) exp(eta(t,z^{-1})). The derivation uses the determinant addition formula for tau functions, with shifts by beta_i and alpha_i, and then takes beta_i->0. The subtle step is Lemma 2.2: after expanding in beta, the Schur-polynomial differential operator p_k(tilde_partial) acting on the wave function equals partial_x^k plus lower-order x-derivatives, so that when the determinant is evaluated at beta=0 all unwanted t_j derivatives cancel and only the Wronskian in x remains.

Load-bearing premise

The proof depends on Lemma 2.2, the claim that the Schur-polynomial operator p_k(tilde_partial) acts on the KP wave function as partial_x^k plus terms of lower order in x; if the KP linear equations failed to arrange these terms this way, the determinant would not collapse to a Wronskian.

What would settle it

Take n=2 and a concrete tau function, for example the theta solution of Theorem 6.1; expand both sides of Theorem 2.2 to low order in t_2 and t_3 and compare coefficients, or directly verify Lemma 2.2 for p_2(tilde_partial) applied to the wave function. A mismatch in any coefficient would refute the formula.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

If this is right

  • If two matrices B and C coincide, the tau function produced by a composition of vertex operators equals the tau function produced by a multiple Darboux transformation (Corollary 5.1).
  • Any point of the Grassmannian Gr(N,L) can be realized by a vertex-operator composition after permuting parameters, so the equivalence holds for all such Darboux solutions (Proposition 5.1).
  • For theta-function solutions of the KP hierarchy, Theorem 2.2 becomes a new theta addition formula: a shifted theta ratio is expressed as a determinant of derivatives of single-shift theta ratios, with x-derivatives replaced by certain first-order operators D_j.
  • In genus one the formula reduces to an identity for Weierstrass sigma functions and the Lame function, generalizing known elliptic soliton identities.
  • The partial-limit theorem 2.4 interpolates between the full Wronskian formula and the original determinant addition formula.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the formula holds for all tau functions, it gives a practical recipe: any shift of a tau function can be computed from Wronskians of wave functions, which may simplify numerical or symbolic evaluation for soliton and quasi-periodic solutions.
  • The identity may extend to other integrable hierarchies whose tau functions satisfy analogous determinant addition formulas, such as BKP or mKP, by adapting the limiting argument.
  • A possible testable consequence: for genus-one solutions the determinant formula (6.18) suggests new identities among sigma functions that could be verified directly by elliptic function manipulations.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper derives degenerate addition formulas for tau functions of the KP hierarchy by taking limits of the known determinant addition formula (Theorem 2.1). The central result, Theorem 2.2, expresses a tau function with shifted arguments, tau(t - sum_i [alpha_i]), as a Wronskian of wave functions evaluated at spectral parameters alpha_i, up to a known prefactor. Similar formulas are given for tau(t + sum [beta_i]) and for mixed partial limits (Theorems 2.3 and 2.4). The paper then applies Theorem 2.2 to compare tau functions produced by compositions of vertex operators with those produced by multiple Darboux transformations, and to derive a new addition formula for Riemann theta functions as a limit of Fay's formula. The proof of Theorem 2.2 is a coherent limit argument based on the Schur-polynomial identity in Lemma 2.2, and the main derivation appears sound. However, the claimed exact equality in Section 5 is overstated, and there is a sign/placement error in the displayed theta formula of Theorem 6.2.

Significance. If Theorem 2.2 is accepted, it is a clean and useful identity: it converts a shift of the tau function into a Wronskian of wave functions, with no fitted parameters. This gives a conceptual bridge between vertex-operator constructions and Darboux transformations, and the theta-function consequence is a genuinely different limit of Fay's addition formula from the two limits computed in Fay's book. The proof is not circular: it relies on the externally established addition formula and standard wave-function identities. The paper also gives an explicit genus-one version that connects to known elliptic identities. The main obstacle to acceptance is not the core derivation but the exact statement of the vertex-operator/Darboux equivalence, which currently fails for generic Grassmannian representatives, and a displayed formula in the theta section that is false as written.

major comments (2)
  1. [§5, Proposition 5.1 and proof] The claimed exact equality (5.1) is false for a generic L×N matrix C. The proof passes from C to its reduced column echelon form, but that reduction is a right multiplication C' = C G with an invertible G. Section 4 explicitly states that replacing C by C G multiplies bτ(t) by det(G). The matrix B is then constructed from C', so the equality obtained is τ-tilde(t) = bτ(C G)(t) = det(G) bτ(C)(t), not bτ(C)(t). A concrete failure is N=2, L=3, C=[[2,0],[1,1],[0,1]], G=diag(1/2,1), for which det(G)=1/2 and the resulting B gives τ-tilde = (1/2)bτ(C). The proposition can be repaired by stating the equality up to a non-zero constant, or by fixing a normalized representative of the Grassmannian point; the KP solution u(t)=2∂²log τ is unaffected by this scalar. Because the abstract and Section 1 claim an equivalence of vertex-operator and Darboux tau functions, this point is load-bearing and must
  2. [§6, Theorem 6.2(1) and equation (6.16)] As displayed, Theorem 6.2(1) cannot hold even for n=1. For n=1 the formula reads θ(x+c-ι(p))/(θ(x+c) e^{x∫dr1}) = θ(x+c-ι(p))/θ(x+c) e^{x∫dr1}, which is false unless ∫dr1=0. The derivation leading to equation (6.14) has the exponential e^{x∑∫dr1} in the numerator on the left, and the conversion to E(p∞,p_i) does not move it to the denominator. Thus the exponential in the theorem statement is misplaced; it should be in the numerator (or the exponent should have the opposite sign). The same issue propagates to the genus-one formula (6.16). This is a local fix, but it is a theorem-statement error and must be corrected before the theta application can be considered valid.
minor comments (4)
  1. [§1] There are several typos: 'opreaors', 'addtion', 'Nolinear' in references, and 'surafaces' in the title of [9]. The references would benefit from a final proofreading pass.
  2. [§2, proof of Theorem 2.2] The expansion in β and the replacement of ∂_{t_j} by ∂^j use the wave-function equation (2.3). It would help to state explicitly that the identities are first proved for |β|<|α| and then extend by analytic continuation/algebraic dependence; this is implicit but not spelled out.
  3. [§3] The notation p_k(∂~) is used before ∂~ is defined. Defining ∂~ immediately after (2.18) would improve readability.
  4. [§6, genus-one formulas] After correcting the exponential placement in Theorem 6.2(1), the derivation of the Weierstrass-form formulas (6.18)–(6.19) from (6.16) should be checked carefully; the factors θ11'(0) and the exponential exponents are easy to misprint.

Circularity Check

0 steps flagged

No significant circularity: Theorem 2.2 is an honest limit of Shigyo's external addition formula; Proposition 5.1 has a non-circular normalization gap.

full rationale

The central degenerate addition formula (Theorem 2.2) is obtained by taking β_j→0 in the determinant addition formula (2.6), which is cited to Shigyo [23] and is external to this paper. Lemma 2.1 is a determinant identity; Lemma 2.2 uses the KP linear equations (2.3) in the standard way to convert ∂_{t_j} on the wave function into ∂^j plus lower-order terms. The determinant collapse to the Wronskian in (2.22) is exact because f_{i-1}=C(t,α_j)Σ_k A_{i,k}∂^kΨ with A lower triangular and diagonal τ, so det f = (∏C_j)det(A)det(Wr); no parameter is fitted and no occurrence of the target formula is assumed. Theorem 2.3 follows by applying Theorem 2.2 to τ(-t), and Theorem 2.4 by the same determinant identities. The vertex-operator formula (3.7) is quoted from the author's earlier papers [18,19], but it is an explicit algebraic expansion of products of vertex operators with X(p,q)^2=0; it is not the equality being proved, and it does not assume Theorem 2.2. The Darboux Wronskian expansion (4.6) is from external sources [6,8,20]. The theta formulas follow by direct substitution of Krichever's tau function (6.5) and standard prime-form identities. The only material caveat is non-circular: in Proposition 5.1 the reduction to column echelon form is right multiplication by an invertible G, and the paper itself states before Proposition 4.1 that 'If the matrix C in (4.4) is replaced by CG ... bτ(t) changes to det(G)bτ(t)'. Thus the proof can show τ̃=bτ(CG)=det(G)bτ(C), so exact (5.1) may fail for the original representative. This is a normalization/correctness defect, not a definitional or fitted-input circularity; it does not affect the independence of Theorem 2.2, whose derivation is self-contained given (2.6) and the KP equations.

Axiom & Free-Parameter Ledger

0 free parameters · 6 axioms · 0 invented entities

The paper introduces no new fitted constants, empirical inputs, or invented physical entities. It relies on standard objects of the KP hierarchy and algebraic geometry: tau functions, wave functions, vertex operators, Darboux transformations, and prime forms. The main computational/background input is the existing addition formula (2.6).

axioms (6)
  • standard math Theorem 2.1: the determinant addition formula for KP tau functions (Shigyo [23]).
    The derivation of Theorem 2.2 starts from (2.6); the paper does not re-prove this background theorem.
  • standard math Wave function/tau relation (2.4) and the linear system (2.3) for the wave function.
    These are standard KP-hierarchy facts used throughout the proof of Theorem 2.2.
  • domain assumption Vertex-operator action formula, Proposition 3.1, taken from the author's earlier papers [18,19].
    The comparison in Section 5 relies on the explicit expansion (3.7) of vertex-operator-generated tau functions.
  • domain assumption Wronskian formula for repeated Darboux transformations, Theorem 4.2, from [20,6,7,8].
    The Darboux side btau(t) = Wr(phi_1,...,phi_N) tau(t) is imported from the cited literature.
  • domain assumption Theta-function solutions of the KP hierarchy (Theorem 6.1, from [22,9]) and the prime-form identities (6.9)-(6.11).
    Theorem 6.2 is obtained by substituting the theta tau function into Theorem 2.2; the conversion formulas involving the prime form are asserted rather than proved.
  • standard math Formal power series expansion in beta_i around beta_i = 0, with the sequential limit procedure in Lemma 2.1.
    The determinant limit is computed by expanding tau and the wave function in formal series; the paper assumes this formal manipulation is legitimate.

pith-pipeline@v1.3.0-alltime-deepseek · 17895 in / 23424 out tokens · 222506 ms · 2026-08-03T19:39:26.447575+00:00 · methodology

0 comments
read the original abstract

It is well known that tau functions of the KP hierarchy satisfy addition formulas. Among them we consider the formula which expresses a tau function with shifted arguments by $2n$ parameters in terms of the same tau function with shifted arguments by two parameters in the form of determinant. We then take the limits of it tending some of parameters to zero. As an important special case we obtain the formula which connects the shifted tau function to the Wronskian of functions obtained by substituting parameter values into the spectral variable of the wave function. As an application, we prove the equivalence of vertex operators and Darboux transformations. As another application, we derive a new addition formula for Riemann's theta functions of Riemann surfaces by considering theta function solutions of the KP hierarchy. It can be considered as a limit of Fay's famous formula (43) in the book [Lecture Notes in Math., Vol. 352, Springer, Berlin, 1973]. But the formula we have derived is a different limit from the limits of (43) considered in that book.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Integrability and transformations in the bilinear method: An introduction

    nlin.SI 2026-06 unverdicted novelty 2.0

    A pedagogical review of Hirota's bilinear method connecting the three-soliton condition with Hirota integrability, Backlund transformations, and vertex-operator transformations of tau functions; no new results are proved.

Reference graph

Works this paper leans on

27 extracted references · 3 linked inside Pith · cited by 1 Pith paper

  1. [1]

    Chakravarty and Y

    S. Chakravarty and Y. Kodama, Classification of the line-soliton solutions of KPII, J. Phys. A41(2008) 275209

    2008

  2. [2]

    E. Date, M. Jimbo, M. Kashiwara and T. Miwa, Transformation groups for soliton equations, in Nonlinear Integrable Systems-Classical Theory and Quantum Theory, M. Jimbo and T. Miwa (eds.), World Scientific, Singapore, (1983), 39-119. 26

    1983

  3. [3]

    Delice, F.W

    N. Delice, F.W. Nijhoff, On elliptic Lax pairs and isomonodromic deformation systems for elliptic lattice equations, in: Representation Theory, Special Functions and Painlev´ e Equations, Adv. Stud. in Pure Mathematics76(2018) 487-525

    2018

  4. [4]

    Fay,Theta functions on Riemann surfaces, LNM352, 1973, Springer

    J. Fay,Theta functions on Riemann surfaces, LNM352, 1973, Springer

    1973

  5. [5]

    J.S. He, Y.S. Li and Y. Cheng, The determinant representation of the gauge trans- formation operators,Chin. Ann. Math.Ser. B 23(2002) 475-486

    2002

  6. [6]

    Helminck and J.W

    G.F. Helminck and J.W. Van de Leur, Geometric Backlund-Darboux transforma- tions for the KP hierarchy,Publ. Res. Inst. Math. Sci..37(2001) 479-519

    2001

  7. [7]

    Kac and J.W

    V.G. Kac and J.W. Van de Leur, Equivalence of formulations of the MKP hierarchy and its polynomial tau-functions,Japanese J. Math.13(2018) 235-271

    2018

  8. [8]

    Kakei, Solutions to the KP hierarchy with an elliptic background, arXiv:2310.11679

    S. Kakei, Solutions to the KP hierarchy with an elliptic background, arXiv:2310.11679

    Pith/arXiv arXiv

  9. [9]

    Kawamoto, Y

    N. Kawamoto, Y. Namikawa, A. Tsuchiya and Y. Yamada, Geometric realization of conformal field theory on Riemann surafces,Comm. Math. Phys.116(1988) 247-308

    1988

  10. [10]

    Kodama and L

    Y. Kodama and L. Williams, KP solitons, total positivity and cluster algebras, Proc. Nat. Acad. Sci. USA108(22) (2011) 8984-8989

    2011

  11. [11]

    Kodama and L

    Y. Kodama and L. Williams, KP solitons and total positivity for the Grassmannian, Invent Math.198(2014) 637-699

    2014

  12. [12]

    Kodama,KP solitons and the Grassmannians, Springer, 2017

    Y. Kodama,KP solitons and the Grassmannians, Springer, 2017

    2017

  13. [13]

    Krichever, Methods of algebraic geometry in the theory of nonlinear equations, Russ

    I.M. Krichever, Methods of algebraic geometry in the theory of nonlinear equations, Russ. Math. Surv.,Vol. 32(1977) 185-213

    1977

  14. [14]

    Li and D.J

    X. Li and D.J. Zhang Elliptic soliton solutions:τfunctions, vertex operators and bilinear identities,J. Nolinear Sci.,32(2022) N. 70, 53pp

    2022

  15. [15]

    Mumford, Tata lectures on theta II, Birkhauser, 1983

    D. Mumford, Tata lectures on theta II, Birkhauser, 1983

    1983

  16. [16]

    Matveev and M.A

    V.B. Matveev and M.A. Salle, Darboux transformations and solitons, Springer Series in Nonlinear Dynamics. Springer-Verlag, Berlin, 1991

    1991

  17. [17]

    Nijhoff, Y.Y

    F.W. Nijhoff, Y.Y. Sun and D.J. Zhang, Elliptic solutions of Boussinesq type lattice equations and the ellipticN-th root of unity, arXiv:1909.02948

    Pith/arXiv arXiv 1909

  18. [18]

    Nakayashiki, Tau functions of (n,1) curves and soliton solutions on non-zero constant backgrounds,Lett

    A. Nakayashiki, Tau functions of (n,1) curves and soliton solutions on non-zero constant backgrounds,Lett. Math. Phys.111(2021) 85

    2021

  19. [19]

    Nakayashiki, Vertex operators of the KP hierarchy and singular algebraic curves, Lett

    A. Nakayashiki, Vertex operators of the KP hierarchy and singular algebraic curves, Lett. Math. Phys.114(2024)82. 27

    2024

  20. [20]

    Ovel, Darboux theorems and Wronskian formulas for integrable systems I

    W. Ovel, Darboux theorems and Wronskian formulas for integrable systems I. Constrained KP flows,Physica A195(1993) 533-576

    1993

  21. [21]

    Sato and Y

    M. Sato and Y. Sato, Soliton equations as dynamical systems on infinite dimen- sional Grassmann manifold, in Nolinear Partial Differential Equations in Applied Sciences, P.D. Lax, H. Fujita and G. Strang (eds.), North-Holland, Amsterdam, and Kinokuniya, Tokyo, (1982) 259-271

    1982

  22. [22]

    Segal and G

    G. Segal and G. Wilson, Loop groups and equations of KdV type,Publ. Math. IHES61(1985) 5-65

    1985

  23. [23]

    Shigyo, On addition formulae of KP, mKP and BKP hierarchies,SIGMA Sym- metry Integrability Geom

    Y. Shigyo, On addition formulae of KP, mKP and BKP hierarchies,SIGMA Sym- metry Integrability Geom. Methods Appl.9(2013) 035

    2013

  24. [24]

    Takasaki and T

    K. Takasaki and T. Takebe, Integrable hierarchies and dispersionless limit,Rev. Math. Phys.7(1995) 743-808

    1995

  25. [25]

    C. Wang, M. Chen and J. P. Cheng, Toda Darboux transformations and vacuum expectation values,J. Geom. Phys.209(2025) 105399

    2025

  26. [26]

    Whittaker and G.N

    E.T. Whittaker and G.N. Watson, A course of Modern Analysis, Cambridge Uni- versity Press, 1902

    1902

  27. [27]

    Zabrodin, Revisiting Backlund-Darboux transformations for KP and BKP in- tegrable hierarchies, arXiv:2506.07208v1

    A. Zabrodin, Revisiting Backlund-Darboux transformations for KP and BKP in- tegrable hierarchies, arXiv:2506.07208v1. 28

    Pith/arXiv arXiv