Pith. sign in

REVIEW 4 major objections 4 minor 1 cited by

Solvability of the Zakharov-Shabat systems with meromorphic potentials by quadrature

T0 review · 4 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Pith's one-line read The paper proves that for Zakharov-Shabat systems with meromorphic potentials that are absolutely integrable away from a bounded interval, solvability by quadrature is equivalent to the potentials being reflectionless.

desk verdict Meromorphic extension with a new negaton example, but the abstract's biconditional outruns the hypotheses and the spectral-finiteness step is underproved. read the letter →

arxiv 2506.07246 v2 pith:BVYCZLAZ submitted 2025-06-08 math.AP math.DS

classification math.APmath.DS MSC 35Q5137K1534M0334M1534M3534M4035P2537K40
keywords solvabilitybyquadratureZakharov-ShabatsystemdifferentialGaloistheoryinversescatteringtransformmeromorphicpotentialreflectionlessintegrablePDEnegaton-typesolution
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Zakharov-Shabat systems are the linear scattering problems behind the inverse scattering transform for the nonlinear Schrödinger, modified Korteweg-de Vries, sine-Gordon, and $\sinh$-Gordon equations. This paper asks when those linear systems can be solved in closed form for a given spectral parameter $k$, in the sense of differential Galois theory: by algebraic operations, integrals, and exponentials. The author proves that, for meromorphic potentials that are absolutely integrable on $\mathbb{R}\setminus(-R_0,R_0)$ for some $R_0>0$, this solvability by quadrature coincides exactly with the potentials being reflectionless, meaning the scattering coefficients $b(k)$ and $\bar b(k)$ vanish on the real axis. A sympathetic reader should care because reflectionless meromorphic potentials include solitons, positons, negatons, and complexitons, so the result says precisely when the Jost solutions, and hence the inverse-scattering solutions of the associated integrable PDEs, have explicit rational-exponential form.

What carries the argument

The load-bearing object is the differential Galois group $G\subset SL(2,\mathbb{C})$ of the system (1.1), with the classification of algebraic subgroups of $SL(2,\mathbb{C})$: the system is solvable by quadrature exactly when $G$ is not the full group $SL(2,\mathbb{C})$. In the forward direction the work is done by the scattering coefficients and their zeros: rewriting the scattering relations in terms of modified Jost functions, applying projection operators $P^\pm$, and expanding around the finitely many zeros of $a$ and $\bar a$ yields a finite linear system whose solution expresses the Jost functions as rational-exponential combinations. In the converse, the equation is examined near $x=\infty$, where it acquires an irregular singularity; the formal monodromy, the exponential torus, and the Stokes matrices generate a subgroup of $SL(2,\mathbb{C})$, and a standard theorem connecting formal monodromy and Stokes data to differential Galois groups forces $G$ to contain their Zariski closure, so unless a Stokes coefficient vanishes the group is too large for quadrature solvability.

What would settle it

For the explicit two-pole potential $q(x)=r(x)=\frac{32 e^{2x}(4x e^{4x}+x+1)}{e^{8x}-2(8x^2+8x+3)e^{4x}+1}$ from Example 3.2, feed the scalar second-order equation (5.2) at $k=i$ into a standard algorithm that decides solvability of second-order linear differential equations by quadrature; if the algorithm answered 'no', Theorem 1.2 would be contradicted by the paper's own example.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is a characterization: under condition (A1), the Zakharov-Shabat system (1.1) is integrable in the differential-Galois sense, i.e., solvable by quadrature for every $k\in\mathbb{C}^*$, if and only if the meromorphic potentials are reflectionless. The forward half, Theorem 1.2, assumes the scattering coefficients $a(k)$ and $\bar a(k)$ have zeros in $\mathbb{C}_+$ and $\mathbb{C}_-$, respectively, and shows that reflectionlessness lets one write the Jost solutions as rational functions of $x$, of $e^{ik_j x}$, and of $e^{i\bar k_j x}$, where $k_j$ and $\bar k_j$ run through those zeros. The converse half, Theorem 1.3, assumes the potentials are analytic at infinity and satisfy one of the symmetry relations $r=\pm q$ or $r=\pm q^*$; it shows that if the system is solvable by quadrature for every real $k$, then $b(k)$ and $\bar b(k)$ vanish identically, so the potentials are reflectionless. The abstract states the equivalence without the extra hypotheses, under the same absolute-integrability condition.

Load-bearing premise

The argument's load-bearing premise is Proposition 2.1(iii): the scattering coefficients $a(k)$ and $\bar a(k)$ continue analytically to the closed upper and lower half-planes and have only finitely many zeros there, a fact established by a short curve-deformation and identity-theorem argument; if that analytic continuation failed for some meromorphic potential satisfying (A1), the residue expansions in Theorem 1.2 and the identity-theorem step in Theorem 1.3 would collapse.

Editorial extensions

If this is right

  • For every reflectionless meromorphic potential satisfying (A1) with half-plane zeros of $a,\bar a$, the Jost solutions are explicit rational-exponential functions, so the inverse-scattering solutions of the NLS, mKdV, sine-Gordon, and sinh-Gordon equations have closed-form expressions.
  • If an integrable PDE from this list has meromorphic initial data, analytic at infinity and satisfying one of the four symmetries, and the associated ZS system is solvable by quadrature for every spectral parameter, then the initial data must be reflectionless.
  • The equivalence makes reflectionlessness the sharp boundary between explicit, quadrature-built solutions and solutions that require more than elementary operations, at least under condition (A1).
  • The residue and projection construction in Theorem 1.2 is also a generation method: from the zeros of $a,\bar a$ and the values of $b,\bar b$ at those zeros, one can reconstruct the potentials $q,r$, as illustrated by the two-pole negaton-type potential in Example 3.2.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Because the proof uses only the linear scattering system, the same characterization should transfer to every integrable PDE in the Zakharov-Shabat hierarchy, not just the four listed in the introduction.
  • The residue expansion suggests an algorithm: given reflectionless meromorphic data, discretize the finite linear system for the modified Jost functions and output explicit $q,r$; testing this on randomly generated meromorphic potentials could probe how the number of poles and their multiplicities affect the resulting rational-exponential expressions.
  • The unproved converse for potentials with no half-plane zeros (Remark 1.4(i)) leaves open whether quadrature solvability can also occur for non-reflectionless potentials in that excluded case; if it could, the equivalence would need an additional hypothesis.
  • The explanation in Section 5 of why the linear-Schrödinger argument fails for ZS systems suggests that non-integrable rational potentials for the ZS system, if they exist, would require a genuinely new method rather than a direct adaptation of existing pole-order arguments.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 4 minor

Summary. The paper studies the two-dimensional Zakharov-Shabat system (1.1) with meromorphic potentials satisfying the tail integrability condition (A1). The abstract claims an 'if and only if' characterization: such a system is solvable by quadrature in the differential-Galois sense exactly when the potentials are reflectionless. The body proves two conditional results: Theorem 1.2 gives the reflectionless-to-quadrature direction under the additional hypothesis that the scattering coefficients a(k) and \bar a(k) have zeros in C+ and C-, and Theorem 1.3 gives the converse under analyticity at infinity plus one of four symmetry conditions. The proofs use residue expansions built from finitely many scattering zeros and a Stokes-matrix/Ramis-theorem argument.

Significance. If the main claim held as stated, it would substantially extend the author's earlier analytic-potential result [26] to meromorphic potentials and would identify reflectionlessness with quadrature solvability for ZS systems, with explicit formulas such as the negaton-type potential (3.8). The paper has real strengths: Example 3.2 provides concrete Jost solutions and a rational-exponential potential, and the residue-computation strategy is clearly laid out. However, the advertised iff is broader than what the theorems prove, and the proof of the spectral finiteness on which both directions rely has a central gap. The result is potentially salvageable under extra hypotheses, but the manuscript in its present form does not support the headline claim.

major comments (4)
  1. [Abstract; Remark 1.4(i); Theorems 1.2 and 1.3] The abstract's 'if and only if' statement is not what the body establishes. Theorem 1.2 requires the extra hypothesis that a(k) and \bar a(k) have zeros in C+ and C- (and, via Proposition 2.1(iii), only finitely many), while Theorem 1.3 requires analyticity of q,r at x=infinity and one of the four symmetry conditions (i)-(iv). Remark 1.4(i) explicitly concedes that when no zeros exist, Theorem 1.2 does not apply. Thus the characterization claimed in the abstract is unsupported; the abstract needs to be weakened or qualified to match the theorems.
  2. [Section 2, Proposition 2.1(iii) and its proof] The proof does not establish the asserted analyticity of a(k) and \bar a(k) in neighborhoods of C+ \cup R and C- \cup R, nor the finiteness of their zeros, under condition (A1). The curve Gamma is noncompact, and the construction of a neighborhood U of Gamma avoiding the pole set S is not justified, since poles of a meromorphic potential satisfying (A1) may accumulate toward R at infinity. More seriously, the proof invokes the identity theorem using the very analyticity-in-a-neighborhood conclusion that is supposed to be proved. Nothing in the argument excludes infinitely many zeros accumulating at k=0; such behavior occurs for reflectionless infinite-soliton limits, and if such a potential is admissible under (A1), the finite residue expansions in Theorem 1.2 collapse.
  3. [Section 3, proof of Theorem 1.2, around Eqs. (3.4)-(3.5)] The step 'We solve the system of linear equations to express them as rational functions of x and exponentials' is asserted without proof. The linear system for the quantities N_j^r(x) and \bar N_j^r(x) may have zero or identically zero determinant for some or all x; if the determinant vanishes identically, Cramer's rule does not yield the claimed rational-form representation of the Jost solutions. This nondegeneracy is load-bearing for the conclusion that the system is solvable by quadrature, and it must be proved or the theorem must be restricted.
  4. [Section 4, Lemma 4.2 and its use in Theorem 1.3] The bridge between the Stokes matrices and the reflection coefficients is not proved in the meromorphic setting. The text states that, 'with the assistance of (4.5) and (4.6), we can prove that if alpha- and alpha+ = 0, then b(-k) and b(k), respectively', referring to Lemma 4.1 of [27], but the actual argument is omitted. Since this equivalence is what converts solvability of the differential Galois group into vanishing of b or \bar b, it needs to be demonstrated or stated as a lemma with proof, especially because the potentials are now meromorphic rather than analytic.
minor comments (4)
  1. [Abstract] There is a typo: 'meromporphic' should be 'meromorphic'.
  2. [Section 2, Proposition 2.2(iii)-(iv)] For the cases r(x)=q(x)^* and r(x)=-q(x)^*, the proof discusses complex conjugation without specifying the appropriate meromorphic continuation on a complex neighborhood of R; as written, q(x)^* is antiholomorphic in x. The intended convention, namely using the meromorphic function \overline{q(\bar x)}, should be stated.
  3. [Section 3, residue formula for \nu_j=2] In the displayed formula for the second-order residue, the term \bar a_kkk(\bar k_j)\bar b(k_j) appears to contain a typo; it should presumably be \bar b(\bar k_j).
  4. [Example 3.2 and Figure 1] The sentence 'It has simple poles at x = -0.245036... and 0.864558...' should refer to the potential q(x),r(x) having simple poles; the phrase 'the loci of which are represented by vertical dotted lines' is slightly imprecise because the vertical dotted lines mark the poles.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation; only a minor, non-load-bearing self-citation burden and an unresolved analytic-continuation premise that is a correctness risk, not circularity.

full rationale

The paper contains no circular step in which a prediction is fitted into existence, a parameter is renamed as a result, or a target theorem is assumed among the hypotheses. The forward direction (Theorem 1.2) constructs the Jost solutions from reflectionless data by a residue-expansion argument, and the converse (Theorem 1.3) uses Stokes-matrix data together with the differential-Galois classification of Proposition 2.3. Reflectionlessness (b, bbar = 0 on R*) and quadrature solvability (Galois group not SL(2,C)) are connected through the scattering identities and the Galois classification, not identified by definition. The self-citations to the author's prior work are auxiliary: [26] supplies Theorem 1.1 and technical scattering-coefficient facts in a more restrictive analytic setting, and [27] supplies an analogous Stokes-matrix lemma for the linear Schrodinger/KdV case; neither is used as a substitute for proving Theorems 1.2 and 1.3, and [27] concerns a different, independently falsifiable problem. The main unresolved point is Proposition 2.1(iii), whose proof asserts: 'So we apply the identity theorem (e.g., Theorem 3.2.6 of [2]) to obtain part (iii), since a(k) and \bar a(k) are analytic in neighborhoods of C+ \cup R and C- \cup R, respectively.' That analytic-continuation and finite-zero premise is load-bearing and is not fully established under (A1), but it is a correctness gap, not a circularity: the identity theorem is used to conclude a property of the scattering coefficients, not to assume the theorem being proved. Accordingly, only a minor self-citation burden is present, and the central claims retain independent mathematical content.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No free parameters are fitted. The paper depends on standard background from differential Galois theory, Ramis' theorem, and ODE scattering theory, plus the hypotheses of meromorphic integrability and analyticity at infinity. No new particles, forces, or entities are introduced.

assumptions (4)
  • standard math Differential Galois group of a 2x2 linear system is an algebraic subgroup of SL(2,C), classified by the six types in Proposition 2.3.
    Used to decide solvability by quadrature; see Section 2, Proposition 2.3, and the classification is cited to [16].
  • standard math Ramis' theorem: the differential Galois group contains the Zariski closure of the group generated by formal monodromy, exponential torus, and Stokes matrices.
    Used in Section 4 to constrain G when the system is solvable; cited from [14, 19, 20].
  • domain assumption Under condition A1, Jost solutions exist with the asymptotic behavior (1.8).
    Invoked before Proposition 2.1, from Coddington and Levinson [9, Theorem 8.1].
  • domain assumption Potentials are analytic at x=∞ in the Riemann sphere (hypothesis of Theorem 1.3).
    Needed to write q(y) and r(y) as power series in y=1/x and apply Stokes analysis at the irregular singularity at y=0.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Solvability of the Zakharov-Shabat systems with meromorphic potentials by quadrature." pith.science (2026). https://pith.science/paper/BVYCZLAZ

@misc{pith2026250607246,
  author       = {Pith},
  title        = {Pith review of: Solvability of the Zakharov-Shabat systems with meromorphic potentials by quadrature},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BVYCZLAZ}},
  note         = {Machine review of arXiv:2506.07246}
}
abstract

We study the solvability of the general two-dimensional Zakharov-Shabat (ZS) systems with meromorphic potentials by quadrature. These systems appear in application of the inverse scattering transform (IST) to an important class of nonlinear partial differential equations (PDEs) called integrable systems. Their solvability by quadrature is a key to obtain analytical expressions for solutions to the initial value problems of the integrable PDEs by using the IST. We prove that the ZS systems are always integrable in the sense of differential Galois theory, i.e., solvable by quadrature, if and only if the meromporphic potentials are reflectionless, under the condition that the potentials are absolutely integrable on $\mathbb{R}\setminus(-R_0,R_0)$ for some $R_0>0$. Similar statements were previously proved to be true by the author for a limited class of potentials and the linear Schr\"odinger equations.

Figures

Figures reproduced from arXiv: 2506.07246 by the authors.

Figure 1
Figure 1. Potentials q(x), r(x) in Example 3.2: They have a sim￾ple pole at x = −0.245036 . . . and and 0.864558 . . ., the loci of which are represented by vertical dotted lines. so that a(k) = (k − i) 2 (k + i) 2 , a¯(k) = (k + i) 2 (k − i) 2 . On the other hand, we see that ψ(x;i)e −x ∼  1 0  and ψ¯(x; −i)e −x ∼  0 1  as x → −∞, and consequently φ(x;i) = ψ(x;i), b(i) = 1 and φ¯(x; −i) = ψ¯(x; −i), ¯b(−i) = 1. Moreover,… view at source ↗
Figure 2
Figure 2. Singular directions d± and sectors Σ±: The boundaries of Σ+ and Σ− are plotted as solid and dotted lines.. which yield two formal solution to (4.1), w1(y) = exp  − ik y  w¯11(y), exp  ik y  w¯12(y), where ¯w1j (y), j = 1, 2, are formal power series in y. Hence, we can express a formal fundamental matrix of (4.1) as V (y) = V˜ (y)e Q(y) , (4.4) where V˜ (y) is a 2 × 2 formal meromorphic invertible matrix of power… view at source ↗

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

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

  1. Solvability of the Korteweg-de Vries equation under meromorphic initial conditions by quadrature

    math.AP 2025-06 conditional novelty 6.0 of 10

    For meromorphic KdV potentials, the Schrödinger equation in the Lax pair is solvable by quadrature if and only if the potential is reflectionless, but the paper proves this only under extra hypotheses on the scatterin...

Reference graph

Works this paper leans on

28 extracted references · 27 canonical work pages · cited by 1 Pith paper

  1. [27]

    Solvability of the Korteweg-de Vries equation under meromorphic initial conditions by quadrature

    K. Yagasaki, Solvability of the Korteweg-de Vries equa tion under meromorphic initial condi- tions by quadrature, submitted for publication. [arXiv:2506.08046]

  2. [26]

    Yagasaki, Integrability of the Zakharov-Shabat sys tems by quadrature, Comm

    K. Yagasaki, Integrability of the Zakharov-Shabat sys tems by quadrature, Comm. Math. Phys., 400 (2023), 315–340

  3. [1]

    Ablowitz, Nonlinear Dispersive Waves: Asymptotic Analysis and Solit ons, Cambridge University Press, Cambridge, 2011

    M.J. Ablowitz, Nonlinear Dispersive Waves: Asymptotic Analysis and Solit ons, Cambridge University Press, Cambridge, 2011

  4. [2]

    Ablowitz and A.S

    M.J. Ablowitz and A.S. Fokas, Complex Variables: Introduction and Applications , 2nd ed., Cambridge University Press, Cambridge, 2003

  5. [3]

    Ablowitz, B

    M.J. Ablowitz, B. Prinari and A.D. Trubatch, Discrete and Continuous Nonlinear Scr¨ odinger Systems, Cambridge University Press, Cambridge, 2004

  6. [4]

    Ablowitz and H

    M.J. Ablowitz and H. Segur, Solitons and Inverse Scattering Transform , SIAM, Philadelphia, 1981

  7. [5]

    Balser, Formal Power Series and Linear Systems of Meromorphic Ordin ary Differential Equations Springer, New York, 2000

    W. Balser, Formal Power Series and Linear Systems of Meromorphic Ordin ary Differential Equations Springer, New York, 2000

  8. [6]

    Beutler, Positon solutions of the sine-Gordon equati on, J

    R. Beutler, Positon solutions of the sine-Gordon equati on, J. Math. Phys. , 34 (1993), 3098– 3109. 16 KAZUYUKI YAGASAKI

Show all 28 references
  1. [7]

    Clarkson, Special polynomials associated with rat ional solutions of the defocusing non- linear Schr¨ odinger equation and the fourth Painlev´ e equation, European J

    P.A. Clarkson, Special polynomials associated with rat ional solutions of the defocusing non- linear Schr¨ odinger equation and the fourth Painlev´ e equation, European J. Appl. Math. , 17 (2006), 293–322

  2. [8]

    Clarkson, Special polynomials associated with rat ional solutions of the Painlev´ e equa- tions and applications to soliton equations, Comput

    P.A. Clarkson, Special polynomials associated with rat ional solutions of the Painlev´ e equa- tions and applications to soliton equations, Comput. Methods Funct. Theory , 6 (2006), 329– 401

  3. [9]

    Coddington and N

    E.A. Coddington and N. Levinson, Theory of Ordinary Differential Equations , McGraw-Hill, New York, 1955

  4. [10]

    Crespo and Z

    T. Crespo and Z. Hajto, Algebraic Groups and Differential Galois Theory , American Math- ematical Society, Providence, RI, 2011

  5. [11]

    Hane, Crum transformation and rational solutio ns of the non-focusing nonlinear Schr¨ odinger equation,J

    A.N.W. Hane, Crum transformation and rational solutio ns of the non-focusing nonlinear Schr¨ odinger equation,J. Phys. A , 30 (1997), 7473–7483

  6. [12]

    Jaworski and J

    M. Jaworski and J. Zagrodzi´ nski, Positon and positon- like solutions of the Korteweg-de Vries and Sine-Gordon equations, Chaos Solitons Fractals , 5 (1995), 2229–2233

  7. [13]

    Kovacic, An algorithm for solving second order lin ear homogeneous differential equations, J

    J.J. Kovacic, An algorithm for solving second order lin ear homogeneous differential equations, J. Symbolic Comput., 2 (1986), 3–43

  8. [14]

    Loday-Richaud, Stokes phenomenon, multisummabili ty and differential Galois groups, Ann

    M. Loday-Richaud, Stokes phenomenon, multisummabili ty and differential Galois groups, Ann. Inst. Fourier (Grenoble) , 44 (1994), 849–906

  9. [15]

    Mitschi anhd D

    C. Mitschi anhd D. Sauzin, Divergent Series, Summability and Resurgence I. Monodromy and Resurgence, Lecture Notes in Math., 2153, Springer, Cham, 2016

  10. [16]

    Morales-Ruiz, Differential Galois Theory and Non-Integrability of Hamilt onian Systems Birkh¨ auser, Basel,1999

    J.J. Morales-Ruiz, Differential Galois Theory and Non-Integrability of Hamilt onian Systems Birkh¨ auser, Basel,1999

  11. [17]

    Nakamura and R

    A. Nakamura and R. Hirota, A new example of explode-deca y solitary waves in one-dimension, J. Phys. Soc. Japan , 54 (1985), 491—499

  12. [18]

    Ohmiya, The inverse scattering problem for the Dirac operator and the modified Korteweg- de Vries equation, Osaka J

    M. Ohmiya, The inverse scattering problem for the Dirac operator and the modified Korteweg- de Vries equation, Osaka J. Math. , 16 (1979), 249–269

  13. [19]

    van der Put and M

    M. van der Put and M. F. Singer, Galois Theory of Linear Differential Equations , Springer, New York, 2003

  14. [20]

    Ramis and J

    J.-P. Ramis and J. Martinet, Th´ eorie de Galois diff´ erentielle et resommation, in Computer Al- gebra and Differential Equations , E. Tournier (ed.), Academic Press, London, 1990, pp. 117– 214

  15. [21]

    Rasinariu, U

    C. Rasinariu, U. Sukhatme and A. Khare, Negaton and posi ton solutions of the KdV and mKdV hierarchy, J. Phys. A , 29 (1996), 1803–1823

  16. [22]

    Singer, Introduction to the Galois theory of linear d ifferential equations, in Algebraic Theory of Differential Equations , M.A.H

    M. Singer, Introduction to the Galois theory of linear d ifferential equations, in Algebraic Theory of Differential Equations , M.A.H. MacCallum and A.V. Mikhailov (eds.), Cambridge University Press, Cambridge, 2009, pp. 1–82

  17. [23]

    Stahlhofen, Positons of the modified Korteweg de Vr ies equation, Ann

    A.A. Stahlhofen, Positons of the modified Korteweg de Vr ies equation, Ann. Physik, 1 (1992), 554–569

  18. [24]

    W u and T

    H. W u and T. Fan, Negaton and complexiton solutions of si ne-Gordon equation, Phys. A , 379 (2007), 471–482

  19. [25]

    H. W u, Y. Zeng and T. Fan, Complexitons of the modified KdV equation by Darboux trans- formation Appl. Math. Comput. , 196 (2008), 501—510

  20. [28]

    Zakharov and A.B

    V.E. Zakharov and A.B. Shabat, Interaction between sol itons in a stable medium, Sov. Phys. JETP, 37 (1973), 823–828. Department of Applied Mathematics and Physics, Graduate Sch ool of Informatics, Kyoto University, Yoshida-Honmachi, Sakyo-ku, Kyoto 606-850 1, JAPAN Email addr...

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.