Abstract
In light of the quantum Painlevé–Calogero correspondence, we investigate the inverse problem. We imply that this type of the correspondence (classical-quantum correspondence) holds true, and we find out what kind of potentials arise from the compatibility conditions of the related linear problems. The latter conditions are written as functional equations for the potentials depending on a choice of a single function—the left-upper element of the Lax connection. The conditions of the correspondence impose restrictions on this function. In particular, it satisfies the heat equation. It is shown that all natural choices of this function (rational, hyperbolic, and elliptic) reproduce exactly the Painlevé list of equations. In this sense, the classical-quantum correspondence can be regarded as an alternative definition of the Painlevé equations.
Similar content being viewed by others
Notes
This function is going to satisfy one of the six Painlevé equations (in the Calogero form).
There are in fact three essentially independent parameters.
References
Alexandrov, A., Kazakov, V., Leurent, S., Tsuboi, Z., Zabrodin, A.: Classical tau-function for quantum spin chains. arXiv:1112.3310 [math-ph]
Aminov, G., Arthamonov, S.: New \(2 \times 2\)-matrix linear problems for Painlevé equations. arXiv: 1112.4688 [nlin.SI]
Barouch, E., McCoy, B., Tracy, C., Wu, T.: Zero field susceptibility of the two-dimensional Ising model near \(T_c\). Phys. Rev. Lett. 31, 1409–1411 (1973)
Bazhanov, V., Mangazeev, V.: The eight-vertex model and Painlevé VI. J. Phys. A Math. Gen. 39, 12235–12243 (2006)
Brézin, E., Kazakov, V.: Exactly solvable field theories of closed strings. Phys. Lett. B236, 144–150 (1990); Gross, D., Migdal, A.: Nonperturbative two-dimensional quantum gravity. Phys. Rev. Lett. 64, 127–130 (1990); Douglas, M., Shenker, S.: Strings in less than one dimension. Nucl. Phys. B335, 635–654 (1990)
Calogero, F.: On a functional equation connected with integrable many-body problems. Lettere Al Nuovo Cimento 16(3), 77–80 (1976); Buchstaber, V.M., Perelomov, A.M.: On the functional equation related to the quantum three-body problem, Contemporary mathematical physics. Am. Math. Soc. Transl. Ser. 2(175), 15–34 (1996). arXiv:math-ph/0205032; Braden, H.W., Buchstaber, V.M.: Integrable systems with pairwise interactions and functional equations arXiv:hep-th/9411240
Conte, R. (ed.): The Painleve Property. One Century Later, CRM Series in Mathematical Physics, XXVI, 810 p (1999)
Dubrovin, B.: Geometry of 2D topological field theories, Integrable systems and quantum groups (Montecatini Terme, 1993), Lecture Notes in Math., vol. 1620, Springer, Berlin, pp. 120–348 (1996); Dubrovin, B.: Painlevé equations in 2D topological field theories. In: Painleve Property, One Century Later, Cargése (1996). arXiv:math.AG/9803107
Dubrovin, B., Mazzocco, M.: Monodromy of certain Painlevé-VI transcendents and reflection groups. Invent. Math. 141(1), 55–147 (2000); Guzzetti, D.: The elliptic representation of the general Painlevé VI equation. Commun. Pure Appl. Math. 55(10), 1280–1363 (2002); Boalch, P.: From Klein to Painlevé via Fourier, Laplace and Jimbo. Proc. Lond. Math. Soc. 90(01), 167–208 (2005); Guzzetti, D.: A review on the sixth Painlevé equation. arXiv:1210.0311 [math.CA]
Fateev, V., Litvinov, I.: On AGT conjecture. JHEP 1002, 014 (2010). arXiv:0912.0504
Flaschka, H., Newell, A.: Monodromy- and spectrum-preserving deformations, I. Commun. Math. Phys. 76, 65–116 (1980)
Forrester, P., Witte, N.: Application of the \(\tau \)-function theory of Painlevé equations to random matrices: \({\rm PIV}, {\rm PII}\) and the GUE, Commun. Math. Phys. 219 357–398 (2001); Forrester, P., Witte, N.: Random matrix theory and the sixth Painlevé equation. J. Phys. A Math. Gen. 39, 12211–12233 (2006)
Fuchs, R.: Sur quelques équations différentielles linéares du second ordre. C. R. Acad. Sci. (Paris) 141, 555–558 (1905)
Gamayun, O., Iorgov, N., Lisovyy, O.: Conformal field theory of Painlevé VI. JHEP 2012(10), 38 (2012). arXiv:1207.0787 [hep-th]
Gambier, B.: Sur les équations différentielles du second ordre et du premier degré dont l’intégrale générale est à points critique fixés. C. R. Acad. Sci. (Paris) 142, 266–269 (1906)
Garnier, R.: Sur des equations différentielles du troisiéme ordre dont l’intégrale générale est uniforme et sur une classe d’équations nouvelles d’ordre supérieur dont l’intégrale générale a ses points critique fixés. Ann. Ecol. Norm. Sup. 29, 1–126 (1912)
Ince, E.: Ordinary Differential Equations. Dover, New York (1956)
Inozemtsev, V.I.: Lax representation with spectral parameter on a torus for integrable particle systems. Lett. Math. Phys. 17, 11–17 (1989)
Its, A., Novokshenov, V.: The isomonodromic deformation method in the theory of Painlevé equations, Lecture Notes in Math. 1191. Springer, Berlin (1986); Fokas, A., Its, A., Kapaev, A., Novokshenov, V.: Painlevé transcendents: the Riemann–Hilbert approach. AMS Mathematical Surveys and Monographs, vol. 128, Providence, RI (2006)
Iwasaki, K., Kimura, H., Shimomura, S., Yoshida, M.: From Gauss to Painlevé, a Modern Theory of Special Funtions, Aspects of Mathematics, E16. Friedr. Vieweg & Sohn, Braunschweig (1991)
Jimbo, M., Miwa, T.: Monodromy preserving deformation of linear ordinary differential equations with rational coefficients II. Phys. D 2, 407–448 (1981)
Jimbo, M., Miwa, T.: Monodromy preserving deformation of linear ordinary differential equations with rational coefficients III. Phys. D 4, 26–46 (1981)
Jimbo, M., Miwa, T., Mori, Y., Sato, M.: Density matrix of an impenetrable gas and the fifth Painlevé transcendent. Phys. D 1, 80–158 (1980)
Jimbo, M., Nagoya, H., Sun, J.: Remarks on the confluent KZ equation for \({\rm sl}_{\rm 2}\) and quantum Painlevé equations. J. Phys. A Math. Theory 41, 175205 (2008); Nagoya, H.: Hypergeometric solutions to Schrödinger equations for the quantum Painlevé equations. J. Math. Phys. 52, 083509 (2011)
Jimbo, M., Miwa, T., Ueno, K.: Monodromy preserving deformation of linear ordinary differential equations with rational coefficients I. General theory and \(\tau \)-function. Phys. D 2, 306–352 (1981)
Joshi, N., Kitaev, A., Treharne, P.: On the linearization of the Painlevé III–VI equations and reductions of the three-wave resonant system. J. Math. Phys. 48, 103512 (2007). (42 pp.), arXiv:0706.1750
Kazakov, V., Sorin, A., Zabrodin, A.: Supersymmetric Bethe ansatz and Baxter equations from discrete Hirota dynamics. Nucl. Phys. B790, 345–413 (2008); Zabrodin, A.: Bäcklund transformations for difference Hirota equation and supersymmetric Bethe ansatz, Teor. Mat. Fyz. 155, 74–93 [English translation: Theor. Math. Phys. 155, 567–584 (2008)]
Krichever, I.: Elliptic solutions of the Kadomtsev-Petviashvili equation and integrable systems of particles. Funk. Anal. i ego Pril. 14(4), 45–54 (1980). [translation: Funct. Anal. Appl. 14(4), 282–290 (1980)]; Krichever, I.: On rational solutions of the Kadomtsev–Petviashvili equation and on integrable systems of N particles on the line. Funct. Anal. Appl. 12(1), 76–78 (1978); Krichever, I., Zabrodin, A.: Spin generalization of the Ruijsenaars–Schneider model, non-abelian 2D Toda chain and representations of Sklyanin algebra. Uspekhi Mat. Nauk 50(6), 3–56 (1995). [translation: Russ. Math. Surv. 50(6), 1101–1150 (1995)]
Krichever, I., Lipan, O., Wiegmann, P., Zabrodin, A.: Quantum integrable systems and elliptic solutions of classical discrete nonlinear equations. Commun. Math. Phys. 188, 267–304 (1997)
Lee, S.-Y., Teodorescu, R., Wiegmann, P.: Viscous shocks in Hele–Shaw flow and Stokes phenomena of the Painleve I transcendent. Phys. D 240, 1080–1091 (2011)
Levin, A., Olshanetsky, M.: Painlevé–Calogero correspondence, Calogero–Moser–Sutherlend models (Montreal, 1997), CRM Ser. Math. Phys., Springer, pp. 313–332 (2000). arXiv: alg-geom/9706010
Levin, A., Olshanetsky, M., Zotov, A.: Painlevé VI, Rigid tops and reflection equation. Commun. Math. Phys. 268(1), 67–103 (2006). arXiv:math/0508058 [math.QA]; Chernyakov, Y., Levin, A., Olshanetsky, M., Zotov, A.: Elliptic Schlesinger system and Painlevé VI. J. Phys. A Math. Gen. 39, 12083–12101 (2006). arXiv:nlin/0602043 [nlin.SI]; Levin, A., Zotov, A.: On rational and elliptic forms of Painlevé VI equation, Moscow Seminar on Mathematical Physics, II. Am. Math. Soc. Transl. Ser. 2 221, 173–184 (2007)
Levin, A., Olshanetsky, M., Zotov, A.: Hitchin systems—symplectic hecke correspondence and two-dimensional version. Commun. Math. Phys. 236(1) 93–133 (2003). arXiv:nlin/0110045 [nlin.SI]; Levin, A.M., Olshanetsky, M.A., Smirnov, A.V., Zotov, A.V.: Characteristic classes and hitchin systems. General construction. Commun. Math. Phys. 316(1), 1–44 (2012). arXiv:1006.0702 [math-ph]
Levin, A.M., Olshanetsky, M.A., Smirnov, A.V., Zotov, A.V.: Calogero–Moser systems for simple Lie groups and characteristic classes of bundles. J. Geometry Phys. 62, 1810–1850 (2012). arXiv:1007.4127 [math-ph]; Levin, A.M., Olshanetsky, M.A., Smirnov, A.V., Zotov, A.V.: Hecke transformations of conformal blocks in WZW theory. I. KZB equations for non-trivial bundles. SIGMA 8, 095, 37 pp., (2012). arXiv:1207.4386 [math-ph]; Levin, A.M., Olshanetsky, M.A., Smirnov, A.V., Zotov, A.V.: Characteristic classes of SL(N)-bundles and quantum dynamical elliptic R-matrices. J. Phys. A Math. Theor. to appear. arXiv:1208.5750 [math-ph]
Levin, A., Olshanetsky, M., Zotov, A.: Planck constant as spectral parameter in integrable systems and KZB equations. JHEP 10, 109 (2014). arXiv:1408.6246 [hep-th]
Manin, Y.: Sixth Painlevé equation, universal elliptic curve, and mirror of \(\mathbb{P}^2\). AMS Transl. (2) 186, 131–151 (1998)
Marshakov, A., Mironov, A., Morozov, A.: On AGT relations with surface operator insertion and stationary limit of beta-ensembles. J. Geom. Phys. 61, 1203–1222 (2011)
Mironov, A., Morozov, A., Runov, B., Zenkevich, Y., Zotov, A.: Spectral duality between Heisenberg chain and Gaudin model. Lett. Math. Phys. (2012), to appear, doi:10.1007/s11005-012-0595-0; arXiv:1206.6349 [hep-th]
Mironov, A., Morozov, A., Shakirov, S.: Towards a proof of AGT conjecture by methods of matrix models. Int. J. Mod. Phys. A 27, 1230001 (2012). arXiv:1011.5629
Mironov, A., Morozov, A., Zenkevich, Y., Zotov, A.: Spectral duality in integrable systems from AGT conjecture. JETP Lett. 97(1) (2013). arXiv:1204.0913 [hep-th]
Noumi, M., Yamada, Y.: A New Lax Pair for the Sixth Painlevé Equation Associated with \({\widehat{so}}\)(8), Microlocal Analysis and Complex Fourier Analysis, 238252. World Sci. Publ, River Edge, NJ (2002)
Novikov, D.P.: The \(2\times 2\) matrix Schlesinger system and the Belavin–Polyakov–Zamolodchikov system. Theor. Math. Phys. 161(2), 1485–1496 (2009)
Painlevé, P.: Memoire sur les équations différentielles dont l’intégrale générale est uniforme. Bull. Soc. Math. Phys. Fr. 28, 201–261; Painlevé, P.: Sur les équations différentielles du second ordre et d’ordre supérieur dont l’intégrale générale est uniforme. Acta Math. 21(1902), 1–85 (1900)
Schlesinger, L.: Über eine Klasse von Differentialsystemen beliebiger Ordnung mit feten kritischen Punkten. J. Reine u. Angew. Math. 141, 96–145 (1912)
Slavyanov, S.: Painlevé equations as classical analogs of Heun equations. J. Phys. A Math. Gen. 29, 7329–7335 (1996); Slavyanov, S.: Painlevé equations and isomonodromic deformations of equations of the Heun class. Theor. Math. Phys. 125(1), 744–753 (2000)
Suleimanov, B.: The Hamiltonian property of Painlevé equations and the method of isomonodromic deformations. Differ. Equ. 30(5), 726–732 (1994). [Translated from Differentsialnie Uravneniya 30(5), 791–796 (1994)]
Suleimanov, B.: “Quantizations” of the second Painlevé equation and the problem of the equivalence of its \(L\)-\(A\) pairs. Theor. Math. Phys. 156, 1280–1291 (2008). [Translated from Teor. Mat. Fys. 156, 364–377 (2008)]
Suleimanov, B.: “Quantization” of higher hamiltonian analogues of the Painleve I and Painleve II equations with two degrees of freedom. arXiv:1204.4006 [nlin.SI]
Takasaki, K.: Painlevé–Calogero correspondence revisited. J. Math. Phys. 42, 1443–1473 (2001)
Takasaki, K.: Elliptic Calogero–Moser systems and isomonodromic deformations. J. Math. Phys. 40, 57–87 (1999)
Tracy, C., Widom, H.: Fredholm determinants, differential equations and matrix models. Commun. Math. Phys. 163, 33–72 (1994)
Tsuda, T.: Universal characters, integrable chains and the Painlevé equations. Adv. Math. 197(2), 587–606 (2005)
Painlevé, P.: Sur les équations différentielles du second ordre à points critiques fixés. C. R. Acad. Sci. (Paris) 143, 1111–1117 (1906)
Zabrodin, A.: The master T-operator for vertex models with trigonometric \(R\)-matrices as classical tau-function. arXiv:1205.4152 [math-ph]
Zabrodin, A.: Bethe ansatz and Hirota equation in integrable models. arXiv:1211.4428 [math-ph]
Zabrodin, A.: Discrete Hirotas equation in quantum integrable models. Int. J. Mod. Phys. B11, 3125–3158 (1997); Zabrodin, A.: Hirota equation and Bethe ansatz. Teor. Mat. Fyz. 116, 54–100 (1998). [English translation: Theor. Math. Phys. 116, 782–819 (1998)]
Zabrodin, A., Zotov, A.: Quantum Painlevé–Calogero correspondence. J. Math. Phys. 53, 073507 (2012). arXiv:1107.5672 [math-ph]
Zabrodin, A., Zotov, A.: Quantum Painlevé–Calogero correspondence for Painlevé VI. J. Math. Phys. 53, 073508 (2012). arXiv:1107.5672 [math-ph]
Zamolodchikov, Al: Painlevé III and 2D polymers. Nucl. Phys. B432, 427–456 (1994)
Zotov, A.: Elliptic linear problem for Calogero–Inozemtsev model and Painlevé VI equation. Lett. Math. Phys. 67, 153–165 (2004). arXiv:hep-th/0310260
Acknowledgments
We are grateful to A. Morozov for discussions. The work was supported in part by Ministry of Science and Education of Russian Federation under contract 8207. The work of A. Zabrodin was also supported in part by RFBR Grant 11-02-01220, by joint RFBR Grants 12-02-91052-CNRS, 12-02-92108-JSPS, by Grant NSh-3349.2012.2 for support of leading scientific schools. The work of A. Zotov was also supported in part by RFBR-12-01-00482, RFBR-12-01-33071 mol_a_ved, by the Russian President fund MK-1646.2011.1 and by the “Dynasty” fund.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Percy Deift and Alexander Its.
Appendices
Appendix A: Special Cases
1.1 \(b=(x-u(t))e^{g(t)x}\) and \(b=(x-u(t))e^{g(t)x^2}\)
Let \(b=(x-u(t))e^{g(t)x}\). The calculation similar to the one leading to (4.2) gives in this case
and
with equation of motion
It is easy to see that equation (A.1) becomes equivalent to (4.2) for the potential \(\tilde{V}(\tilde{x})\) after the change of variables
where \(\dot{G}=g\). Notice also that the dependence \(H({\dot{u}})\) in (A.2) can be obtained from (3.10) via the local expansion (3.8). The later gives \(b_1=e^{ug}\) and \(b_2=g\, e^{ug}\). Then \(v={\dot{u}}+\frac{g}{2}\).
Consider now the case \(b=(x-u(t))e^{g(t)x^2}\). Let us perform the calculation similar to the one leading to (4.2) again. In this case, we have:
and
with equation of motion
As in the previous example, it can be shown that equation (A.3) becomes equivalent to (4.2) for the potential \(\tilde{V}(\tilde{x})\) after the following change of variables:
Notice also that the dependence \(H({\dot{u}})\) in (A.4) can be obtained from (3.10) via the local expansion (3.8). The latter gives \(b_1=e^{g u^2}\) and \(b_2=2gu\, e^{g u^2}\). Then \(v={\dot{u}}+gu\).
1.2 \(b=(x-u_1(t))(x-u_2(t))(x-u_3(t))\)
When \(b=(x-u_1)(x-u_2)(x-u_3)\), the coefficients behind the second-order pole \(\frac{1}{(x-u_1)^2}\) in (3.6) have the following form:
and two other coefficients can be obtained by the cyclic permutations. All three coefficients cannot vanish simultaneously. Therefore, some other anzats for \(W\) (3.2) should be used in this case. This reflects the fact that (3.1)–(3.2) imply the one degree of freedom case.
1.3 \(b=(x-u_1(t))^{\gamma }\) and \(b=(x-u_1(t))^{\gamma _1}(x-u_2(t))^{\gamma _2}\)
Let us study the case \(b=(x-u_1(t))^{\gamma }\), where \(\gamma \in {\mathbb {C}}^*\) (the case \(\gamma =0\) is trivial). Notice that under change \(b\rightarrow b^\gamma \) the functions \(f\) (3.4) and \(S\) (3.5) transform as follows:
For the case under consideration, we have \(f={\gamma }\frac{1}{x-u}\) and
Substituting it into (3.6), we obtain the following condition for cancellation of the fourth- and the third-order poles:
The first equation gives \(\gamma =\{0,1,3\}\), while the second one \(\gamma =\{0,1\}\). Therefore, the nontrivial solution is
Similarly, the case \(b=(x-u_1(t))^{\gamma _1}(x-u_2(t))^{\gamma _2}\) leads to the following conditions:
which give
1.4 \(b=\exp \Big (\left( z/u(t)\right) ^\gamma \Big )\)
First, it can be shown that \(\gamma =0,1,2,3\)...
Consider \(\gamma =1\). Substituting \(b(z,u(t),t)=\exp (z/u(t))\) into (3.6), we get
Applying \(\partial _x^2\) gives
Notice that the function \({U}(z,{\dot{u}},{ u},t)\) satisfies the same equation even if we do not impose the condition \({U}=V(x,t)-H({\dot{u}},{ u},t)\). Under assumption \({U}=V(x,t)-H({\dot{u}},{ u},t)\), we have
This leads to
Plugging it back into (A.5), we obtain the following two equations (as coefficients behind \(x^1\) and \(x^0\)):
1.5 Case 2 in (4.5)
Here it may be useful to use variable \(u=u_1-\frac{1}{2}\sqrt{c-4t}\) (then \(\dot{u}=\dot{u}_1+\frac{1}{\sqrt{c-4t}}\)). Then
and, therefore,
Cancellation of the first-order poles at \(x=u_{1,2}\) yields \( \ddot{u}_1=-V'(u_1)-2(c-4t)^{-\frac{3}{2}}\). On this equation, \(H_t=V_t(u_1)-V'(u_1)\frac{1}{\sqrt{c-4t}}\). Thus we arrive at
By analogy with (4.7), we get
From the two upper equations, it follows that \(V(x)\) is the 6-th degree polynomial. Plugging it into (A.8) drops the degree to 4 (similar to the Painlevé I, II cases). However, after substituting it back into (A.7), we get only the trivial solution
Appendix B: Elliptic Functions
Here we give a short version of the Appendix in [58].
1.1 Theta-functions
The Jacobi’s theta-functions \(\vartheta _a (z)= \vartheta _a (z|\tau )\), \(a=0,1,2,3\), are defined by the formulas
where \(\tau \) is a complex parameter (the modular parameter) such that \(\mathrm{Im}\, \tau >0\). Set
then the function \(\vartheta _a(z)\) has simple zeros at the points of the lattice \(\omega _{a-1}+{\mathbb {Z}}+{\mathbb {Z}}\tau \) (here \(\omega _a \equiv \omega _{a+4}\)).
1.2 Weierstrass \(\wp \)-function
The Weierstrass \(\wp \)-function is defined as
where
Its derivative is given by
The values at the half-periods
have special properties. For example, \(e_1 +e_2 +e_3=0\). The differences \(e_j-e_k\) can be represented in two different ways:
The second representation is a consequence of the heat equation (B.3) (see below):
or
where \(\{jkl\}\)—any cyclic permutation of \(\{123\}\). The \(\wp \)-function satisfies the differential equation
We also mention the formulae
1.3 Eisenstein functions and \(\Phi \)-function
By definition,
Behavior on the lattice:
The local expansion near \(z=0\):
Values at half-periods:
and, therefore,
holds true for any different \(j,k =1,2,3\).
Another useful function is
It has the following properties:
Behavior on the lattice:
Is is also convenient to introduce
with properties:
where \(j,k,l\) is any cyclic permutation of \(1,2,3\).
1.4 Heat equation and related formulae
All the theta-functions satisfy the “heat equation”
or
One can also introduce the “heat coefficient” \(\displaystyle {\kappa =\frac{1}{2\pi i}}\) and rewrite the heat equation in the form \(\displaystyle {\partial _{\tau }\vartheta _a(z|\tau )= \frac{\kappa }{2}\, \partial _{z}^{2}\vartheta _a(z|\tau )}\). All formulas for derivatives of elliptic functions with respect to the modular parameter are based on the heat equation.
The \(\tau \)-derivatives are given by the following:
Proposition B.1
The identities
with the “heat coefficient” \(\displaystyle {\kappa =\frac{1}{2\pi i}}\), hold true.Footnote 5
The proof can be found in [58].
Introduce now
Then we have
and, therefore,
Let us give some more relations:
The following identity holds trueFootnote 6:
or
Appendix C: \(\mathbf{U}{-}\mathbf{V}\) pairs for PI–PV
Here we list the \(\mathbf{U}{-}\mathbf{V}\) pairs for PI–PV satisfying zero curvature equation (1.2) and admitting the quantum Painlevé–Calogero correspondence. The PVI case is too complicated. In principle, it is gauge equivalent to different types of known elliptic \(2\times 2\) \(\mathbf{U}{-}\mathbf{V}\) pairs (see [32, 60]) which are in their turn related by Hecke transformations [33, 34].
Painlevé I
Painlevé II
Painlevé III
Notice that an interesting equation holds:
(in this case \(X=e^{2x}\)). Therefore, some relation exists between \(\mathbf{U}_{21}\) and \(\mathbf{V}_{21}\) elements just as for (12)-elements. For example, for PII we have \(\partial _x \mathbf{U}_{21}=2 \mathbf{V}_{21}\).
Truncated Painlevé III [2]: \(\ddot{u} =2\nu ^2 e^t\sinh (2u )\)
Painlevé IV
where
Painlevé V
Rights and permissions
About this article
Cite this article
Zabrodin, A., Zotov, A. Classical-Quantum Correspondence and Functional Relations for Painlevé Equations. Constr Approx 41, 385–423 (2015). https://doi.org/10.1007/s00365-015-9284-4
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00365-015-9284-4