--- abstract: 'The linear response is investigated in a long-range Hamiltonian system from the view point of dynamics, which is described by the Vlasov equation in the limit of large population. Due to existence of the Casimir invariants of the Vlasov dynamics, an external field does not drive the system to the forced thermal equilibrium in general, and the linear response is suppressed. With the aid of a linear response theory based on the Vlasov dynamics, we compute the suppressed linear response in a system having two order parameters, which introduce the conjugate two external fields and the susceptibility matrix of size two accordingly. Moreover, the two order parameters bring three phases and the three types of second-order phase transitions between two of them. For each type of the phase transitions, all the critical exponents for elements of the susceptibility matrix are computed. The critical exponents reveal that some elements of the matrices do not diverge even at critical points, while the mean-field theory predicts divergences. The linear response theory also suggests appearance of negative off-diagonal elements, in other words, an applied external field decreases the value of an order parameter. These theoretical predictions are confirmed by direct numerical simulations of the Vlasov equation.' author: - 'Yoshiyuki Y. Yamaguchi' - Daiki Sawai title: 'Nondivergent and negative susceptibilities around critical points of a long-range Hamiltonian system with two order parameters' --- Introduction ============ The phase transition is one of the central issues in the field of many-body systems. It is classified into some universality classes, and in particular, the mean-field universality class is easily understood by the Landau's phenomenological theory @landau-37. Nevertheless, a new aspect of the mean-field universality class is recently revealed by considering dynamics. Dynamics of the mean-field class, including the systems having long-range interaction @campa-giansanti-moroni-00 [@mori-10; @campa-dauxois-ruffo-09], is described by the VLF's equation, or the collisionless Boltzmann equation, in the limit of large population @braun-hepp-77 [@dobrushin-79; @neunzert-84; @spohn-91]. The Vlasov equation has the infinite number of Casimir invariants, and these invariants may prevent the system from relaxing to thermal equilibrium. Indeed, when the initial state has different values of the Casimir invariants from ones in thermal equilibrium, then the relaxation is impossible. We note that, with finite population, the finite-size fluctuation plays the role of collision and drives the system to thermal equilibrium, while the relaxation time gets longer as the population increases @zanette-montemurro-03 [@yamaguchi-04; @barre-06; @moyano-anteneodo-06; @jain-bouchet-mukamel-07; @debuyl-mukamel-ruffo-11; @chavanis-12]. The Casimir invariants hold even when an external field is applied, and the invariants suppress the response @mazur-69 [@suzuki-71]. This suppression may induce reduction of the critical exponent for the linear response in the Vlasov dynamics. In a ferromagnetic body, the critical exponents $\gamma_{\pm}$ of susceptibility $\chi$ are defined as $\chi\propto\tau^{-\gamma_{\pm}}$ around the second order phase transition. Here $\tau$ is the parameter distance from the critical point like $|T-T_{\rm c}|$ with temperature $T$ and its critical value $T_{\rm c}$, and $\gamma_{+}$ ($\gamma_{-})$ is defined in the paramagnetic (ferromagnetic) phase. The classical values of $\gamma_{\pm}$ in the mean-field universality class are $\gamma_{\pm}=1$. However, in the Vlasov dynamics of the Hamiltonian mean-field (HMF) model @inagaki-konishi-93 [@antoni-ruffo-95], which is a paradigmatic toy model of a ferromagnetic body in the mean-field class, the linear response theory gives $\gamma_{+}=1$ @patelli-gupta-nardini-ruffo-12 [@ogawa-yamaguchi-12] but $\gamma_{-}=1/4$ @ogawa-patelli-yamaguchi-14. The nonclassical critical exponent is not restricted in the HMF model, and the universality is discussed for spatially periodic one-dimensional systems @ogawa-yamaguchi-15. In the HMF model, detection of nonclassical critical exponents is extended to the nonlinear response at the critical point @ogawa-yamaguchi-14 and to the correlation length @yamaguchi-16, which is generalized to the infinite-range models by introducing the coherent number of particles @botet-jullien-pfeuty-82 [@botet-jullien-83]. Interestingly, the nonclassical critical exponents share some scaling relations with the classical critical exponents. Another direction of detecting nonclassical critical exponents is to consider the linear response in extended models. In this article, we consider the so-called generalized Hamiltonian mean-field (GHMF) model @teles-12. In the HMF model, particles are confined on the unit circle, and interaction potential consists of the spatial first Fourier mode only. Introducing the second Fourier mode, the GHMF model acquires the Nematic phase in addition to the paramagnetic (Para) and the ferromagnetic (Ferro) phases. As a result, the GHMF model has the new two phase transitions: the Para-Nematic and the Nematic-Ferro phase transitions. As observed in the HMF model, the critical exponents in the Vlasov dynamics may differ between the two sides of a phase transition, and hence we need to consider six sides for the three phase transitions. Moreover, the susceptibility in one side is described by a $2\times 2$ matrix, since the three phases are characterized by the two order parameters corresponding to the two Fourier modes and each order parameter has the conjugate external field. Consequently, we must consider $6$ critical exponent matrices of the size $2\times 2$ and the total number of $\gamma$ is $24$ accordingly. Appearance of the Nematic phase and the matrix form of the susceptibility give natural questions: Does the appearance of the Nematic phase drastically change the critical exponents from the HMF model? Are there any differences in the off-diagonal elements of the critical exponent matrix between the mean-field theory and the Vlasov dynamics? The purpose of this paper is to answer to these questions. We compute the $24$ critical exponents theoretically by using a response theory based on the Vlasov dynamics @ogawa-yamaguchi-15, and confirm theoretical predictions by performing direct numerical simulations of the Vlasov dynamics. In the HMF model the reduction of the critical exponent is observed, but we show a stronger result in the GHMF model that some elements of the susceptibility matrices do not diverge at the critical point, even they diverge in the mean-field theory. Further, close to the critical point, we demonstrate that the off-diagonal elements of susceptibility matrix become negative in the Ferro side of the Para-Ferro phase transition. This article is constructed as follows. The GHMF model and the three phases are introduced in Sec.\[sec:GHMF\] with the corresponding Vlasov equation. Responses in statistical mechanics and in the Vlasov dynamics are derived in Secs.\[sec:statistical-mechanics\] and \[sec:dynamics\], respectively. Theoretical predictions are examined numerically in Sec.\[sec:numerics\]. The last section \[sec:summary\] is devoted to a summary and discussions. Generalized Hamiltonian mean-field model {#sec:GHMF} ======================================== The model --------- The GHMF model represents particles confined on the unit circle and is described by the Hamiltonian $$\label{eq:HN} \begin{split} H_{N} & = \sum_{j=1}^{N} \dfrac{p_{j}^{2}}{2} + \dfrac{1}{2N} \sum_{j,k=1}^{N} \Phi(q_{j}-q_{k}) - \sum_{a=1}^{2} h_{a} \sum_{j=1}^{N} \cos aq_{j}. \end{split}$$ The position of $j$-th particle is $q_{j}\in (-\pi,\pi]$, and $p_{j}\in\mathbb{R}$ is the conjugate momentum. $h_{1}$ and $h_{2}$ represent strength of the external fields. The interaction potential $\Phi$ is $$\Phi(q) = 1 - \Lambda_{1} \cos q - \Lambda_{2}\cos 2q$$ where $\Lambda_{1}$ and $\Lambda_{2}$ are non-negative constants. Setting $\Lambda_{1}=1$ and $\Lambda_{2}=0$, and restricting $h_{2}=0$, the GHMF model results to the HMF model with the external field $h_{1}$. The coefficients are originally defined as $\Lambda_{1}=\Delta$ and $\Lambda_{2}=1-\Delta$ with $\Delta\in [0,1]$ to ensure the attractive interaction, but we slightly restrict the parameter interval as $\Lambda_{1}\in (0,1)$ and $\Lambda_{2}=1-\Lambda_{1}\in (0,1)$ for later convenience. Corresponding to the two Fourier modes in $\Phi(q)$, the two order parameter vectors are defined as $$\dfrac{1}{N} \sum_{j=1}^{N} (\cos q_{j}, \sin q_{j}), \quad \dfrac{1}{N} \sum_{j=1}^{N} (\cos 2q_{j}, \sin 2q_{j}),$$ but we may set the sine parts to be zeros from the rotational symmetry of the system and omit them accordingly. The remaining parts, $$M_{1} = \dfrac{1}{N} \sum_{j=1}^{N} \cos q_{j}, \quad M_{2} = \dfrac{1}{N} \sum_{j=1}^{N} \cos 2q_{j},$$ are conjugate to the external field $h_{1}$ and $h_{2}$ respectively. In the limit $N\to\infty$, dynamics is described by the Vlasov equation $$\label{eq:Vlasov} {\dfrac{\partial f}{\partial t}} + {\dfrac{\partial \mathcal{H}[f]}{\partial p}} {\dfrac{\partial f}{\partial q}} - {\dfrac{\partial \mathcal{H}[f]}{\partial q}} {\dfrac{\partial f}{\partial p}} = 0,$$ where the one-particle distribution function $f(q,p,t)$ is defined on the two-dimensional phase space $\mu=(-\pi,\pi]\times\mathbb{R}$. The one-particle Hamiltonian functional $\mathcal{H}[f]$ is defined by $$\mathcal{H}[f](q,p,t) = \dfrac{p^{2}}{2} + \mathcal{V}[f](q,t),$$ where the potential functional is $$\mathcal{V}[f](q,t) = \int \Phi(q-q') f(q',p',t) dq'dp'.$$ Omitting the sine part in $\mathcal{V}[f]$ again from the rotational symmetry of the system, and introducing the order parameter functionals defined by $$\mathcal{M}_{a}[f](t) = \iint_{\mu} \cos aq~ f(q,p,t) dqdp, \quad (a=1,2)$$ the potential functional is rewritten as $$\mathcal{V}[f](q,t) = 1 - \sum_{a=1}^{2} (\Lambda_{a}\mathcal{M}_{a}[f](t)+h_{a})\cos aq.$$ Three phases in unforced equilibrium state {#sec:unforced-eq} ------------------------------------------ The canonical thermal equilibrium states with zero external fields, $h_{1}=h_{2}=0$, are written as $$\label{eq:f0eq} {f_{0}}(q,p) = \dfrac{G({H_{0}},\beta)}{\iint_{\mu} G({H_{0}},\beta) dqdp}, \quad G(E,\beta) = e^{-\beta E},$$ where $\beta$ is the inverse temperature, $${H_{0}}= \mathcal{H}[{f_{0}}] = \dfrac{p^{2}}{2} + {V_{0}}(q),$$ and $${V_{0}}(q) = \mathcal{V}[{f_{0}}] = 1 - \Lambda_{1}m_{10}\cos q - \Lambda_{2}m_{20}\cos 2q.$$ The values of $m_{10}$ and $m_{20}$ are determined by solving the simultaneous self-consistent equations $$\label{eq:self-consistent} m_{10} = \mathcal{M}_{1}[{f_{0}}], \quad m_{20} = \mathcal{M}_{2}[{f_{0}}].$$ Note that the right-hand-sides depend on $m_{10}$ and $m_{20}$ through ${H_{0}}$. We may set $m_{10}$ and $m_{20}$ as non-negative from the rotational symmetry of the system. The three phases of the GHMF model are characterized as $$\begin{split} \text{Para:} & \quad m_{10}=0,~ m_{20}=0, \\ \text{Nematic:} & \quad m_{10}=0,~ m_{20}>0, \\ \text{Ferro:} & \quad m_{10}>0,~ m_{20}>0. \\ \end{split}$$ On the two-dimensional phase space $\mu$, the separatrix is an iso-${H_{0}}$ contour, and forms the skeleton of the phase space. The Para phase has no separatrix, since the iso-${H_{0}}$ contours in the Para phase coincide with the iso-$p$ contours. On the other hand, the Ferro and the Nematic phases have separatrices as schematically shown in Fig.\[fig:phasespace\]. ![Schematic pictures of phase space. The red dotted lines represent separatrices. (a) Ferro phase with $m_{10}\gg m_{20}$. (b) Nematic phase.<span data-label="fig:phasespace"></span>](fig1.eps){width="8.5cm"} Response in statistical mechanics {#sec:statistical-mechanics} ================================= Before going to the linear response in the Vlasov dynamics, we revisit the linear response in statistical mechanics for comparison. The Vlasov dynamics corresponds to the microcanonical ensemble, but the microcanonical one gives the equivalent phase diagram with the canonical one except for the parameter region where the first-order phase transition exists @pikovsky-14. We are interested in the susceptibility around the second-order phase transition, and hence we discuss on the response in the canonical ensemble for simplicity. The susceptibility is defined in Sec. \[sec:statistical-mechanics-susceptibility\] by applying constant external fields, $h_{1}$ and $h_{2}$. The critical lines are discussed in Sec. \[sec:critical-lines\] based on the divergence of the susceptibility. The critical exponent matrices are obtained in Sec. \[sec:cr-exp-eq\]. Susceptibility {#sec:statistical-mechanics-susceptibility} -------------- Let the system be in the canonical thermal equilibrium state ${f_{0}}$ in the time interval $t<0$. We apply constant external fields $h_{1}$ and $h_{2}$ at the time $t=0$ and wait a long time. Then the system is expected to relax to the forced canonical thermal equilibrium state $$f^{\rm c}(q,p) = \dfrac{G(H^{\rm c},\beta)}{\iint_{\mu} G(H^{\rm c},\beta) dqdp}$$ with the forced equilibrium Hamiltonian $H^{\rm c}=\mathcal{H}[f^{\rm c}]$. The relaxation is not always true in the Vlasov dynamics, but we consider the state $f^{\rm c}(q,p)$ in this section. The order parameters in $f^{\rm c}$ are denoted by $$m_{a}^{\rm c} = \mathcal{M}_{a}[f^{\rm c}], \quad (a=1,2).$$ Expanding the order parameters as $$m_{a}^{\rm c} = m_{a0} + \delta m_{a}^{\rm c}, \quad (a=1,2),$$ the Hamiltonian $H^{\rm c}$ is also expanded as $$H^{\rm c} = H_{0} + \delta V^{\rm c}$$ with the discrepancy of potential $$\delta V^{\rm c} = - (\Lambda_{1}\delta m_{1}^{\rm c}+h_{1})\cos q - (\Lambda_{2}\delta m_{2}^{\rm c}+h_{2})\cos 2q.$$ When the external field ${\boldsymbol{h}}=(h_{1},h_{2})^{\rm T}$ is small, where the superscript T represents the transposition, the discrepancy $\delta V^{\rm c}$ is also small and $f^{\rm c}$ is expanded as $$\label{eq:feq-expand} f^{\rm c} \simeq f_{0} - \beta f_{0} \left( \delta V^{\rm c} - {\left\langle \delta V^{\rm c} \right\rangle}_{0} \right) + O({\left|\left| {\boldsymbol{h}}\right|\right|}^{2}).$$ Here the symbol ${\left\langle X \right\rangle}_{0}$ represents the average of the observable $X(q,p)$ over $f_{0}$ as $${\left\langle X \right\rangle}_{0} = \iint_{\mu} X(q,p) f_{0}(q,p) dqdp.$$ Multiplying by $\cos aq$ and integrating over $\mu$, we have the self-consistent equations and their formal solution $$\label{eq:deltam-eq} \delta{\boldsymbol{m}}^{\rm c} = (D^{\rm c})^{-1} \beta C^{\rm c}{\boldsymbol{h}},$$ where the matrix $D^{\rm c}$ is defined by $$\label{eq:Deq} D^{\rm c} = \mathbb{1}_{2} - \beta C^{\rm c} \Lambda,$$ the $(a,b)$-element of the matrix $C^{\rm c}$ is defined by $$\label{eq:Ceq} C_{ab}^{\rm c} = {\left\langle \cos aq\cos bq \right\rangle}_{0} - {\left\langle \cos aq \right\rangle}_{0} {\left\langle \cos bq \right\rangle}_{0},$$ and $$\delta{\boldsymbol{m}}^{\rm c} = \begin{pmatrix} \delta m_{1}^{\rm c} \\ \delta m_{2}^{\rm c} \\ \end{pmatrix}, \quad \mathbb{1}_{2} = \begin{pmatrix} 1 & 0 \\ 0 & 1 \\ \end{pmatrix}, \quad \Lambda = \begin{pmatrix} \Lambda_{1} & 0 \\ 0 & \Lambda_{2} \\ \end{pmatrix}.$$ The susceptibility matrix $\chi^{\rm c}=(\chi^{\rm c}_{ab})$ is defined by $$\chi^{\rm c}_{ab} = \lim_{{\left|\left| {\boldsymbol{h}}\right|\right|}\to 0} {\dfrac{\partial \delta m^{\rm c}_{a}}{\partial h_{b}}},$$ and the response formula gives $$\label{eq:chieq} \chi^{\rm c} = (D^{\rm c})^{-1} \beta C^{\rm c} = (D^{\rm c})^{-1} ( \mathbb{1}_{2} - D^{\rm c}) \Lambda^{-1}.$$ Critical lines {#sec:critical-lines} -------------- Extending the number of order parameters as $$\label{eq:m30m40} m_{a0} = \iint_{\mu} \cos aq ~{f_{0}}(q,p) dqdp \quad (a=3,4),$$ the matrix $C^{\rm c}$ is expressed as $$C^{\rm c} = \begin{pmatrix} \dfrac{1+m_{20}}{2} - m_{10}^{2} & \dfrac{m_{10}+m_{30}}{2} - m_{10}m_{20} \\ \dfrac{m_{10}+m_{30}}{2} - m_{10}m_{20} & \dfrac{1+m_{40}}{2} - m_{20}^{2} \\ \end{pmatrix}.$$ On the three critical lines, the order parameter $m_{10}$ is always zero, which induces $m_{30}=0$ by the parity of the mode numbers, and the matrix $D^{\rm c}$ can be reduced to $$D^{\rm c} = \begin{pmatrix} 1 - \beta \Lambda_{1} \dfrac{1+m_{20}}{2} & 0 \\ 0 & 1 - \beta \Lambda_{2} \left( \dfrac{1+m_{40}}{2} - m_{20}^{2} \right) \\ \end{pmatrix}.$$ The critical point has $\det D^{\rm c}=0$, which determines the critical inverse temperature $\beta$ for fixed $\Lambda_{1}$ and $\Lambda_{2}$, or the critical parameter $\Lambda_{1}$ ($\Lambda_{2}$) for fixed $\beta$ and $\Lambda_{2}$ ($\Lambda_{1}$). The Para-Ferro and the Nematic-Ferro phase transitions are ruled by the order parameter $m_{10}$, and the Para-Nematic phase transition by $m_{20}$. Therefore, the critical lines are obtained as $$\label{eq:critical-lines} \begin{split} \text{Para-Ferro:} \quad & 1 - \dfrac{\beta \Lambda_{1}}{2} = 0, \\ \text{Nematic-Ferro:} \quad & 1 - \dfrac{\beta \Lambda_{1}}{2}(1+m_{20}) = 0, \\ \text{Para-Nematic:} \quad & 1 - \dfrac{\beta\Lambda_{2}}{2} = 0, \end{split}$$ where we used the fact that $m_{20}=m_{40}=0$ on the critical lines of the Para-Ferro and Para-Nematic phase transitions. The value of $m_{20}$ in the Nematic-Ferro phase transition are determined for a given set of $\beta, \Lambda_{1}$ and $\Lambda_{2}$ by solving the self-consistent equations with $m_{10}=0$. Temperature in the canonical ensemble can be transformed to energy in the microcanonical ensemble. The energy functional is defined by $$\mathcal{E}[f] = \iint_{\mu} \left( \dfrac{p^{2}}{2} + \dfrac{\mathcal{V}[f](q,t)}{2} \right) f(q,p,t) dqdp,$$ where the potential is divided by $2$ to avoid the double counting of pair interactions. The value of $\mathcal{E}[f]$ is conserved in the Vlasov dynamics. The unforced equilibrium value of energy $\epsilon_{0}=\mathcal{E}[{f_{0}}]$ is related to the temperature $T=1/\beta$ as $$\label{eq:energy-T} \epsilon_{0} = \dfrac{T}{2} + \dfrac{1-\Lambda_{1}m_{10}^{2}-\Lambda_{2}m_{20}^{2}}{2}.$$ The critical temperature and the critical energy for a given set of $\Lambda_{1}$ and $\Lambda_{2}$ are arranged in Table \[tab:critical-lines\]. Critical temperature Critical energy --------------- ----------------------------- ---------------------------------- Para-Ferro $T=\Lambda_{1}/2$ $\epsilon_{0}=(2+\Lambda_{1})/4$ Para-Nematic $T=\Lambda_{2}/2$ $\epsilon_{0}=(2+\Lambda_{2})/4$ Nematic-Ferro $T=\Lambda_{1}(1+m_{20})/2$ $\epsilon_{0}=\epsilon_{\rm NF}$ : Critical temperature and critical energy of second-order phase transitions. The critical energy of the Nematic-Ferro phase transition is $\epsilon_{\rm NF}=(2+\Lambda_{1})/4 + m_{20}(\Lambda_{1}-2\Lambda_{2}m_{20})/4$.<span data-label="tab:critical-lines"></span> Critical exponent matrix $\gamma^{\rm c}$ {#sec:cr-exp-eq} ----------------------------------------- The critical exponent matrix $\gamma^{\rm c}=(\gamma^{\rm c}_{ab})$ is defined by $$\chi^{\rm c}_{ab} \propto \tau^{-\gamma^{\rm c}_{ab}},$$ where $\tau$ is the parameter distance from the critical point. Looking back , we find that the divergences of the susceptibility comes from the inverse matrix $(D^{\rm c})^{-1}$, and hence we have to compute $\tau$ dependence of the matrix $D^{\rm c}$. For later convenience, we decompose the matrix $D^{\rm c}$ into the two parts as $$D^{\rm c} = A^{\rm c} + B^{\rm c},$$ where $$A^{\rm c} = \mathbb{1}_{2} - \dfrac{\beta}{2} \begin{pmatrix} 1 + m_{20} & m_{10} + m_{30} \\ m_{10} + m_{30} & 1 + m_{40} \\ \end{pmatrix} \Lambda$$ and $$B^{\rm c} = \beta \begin{pmatrix} m_{10}^{2} & m_{10}m_{20} \\ m_{10}m_{20} & m_{20}^{2} \\ \end{pmatrix} \Lambda.$$ As shown later, the $A$ part is common to the Vlasov dynamics, but the $B$ part is modified. The estimations of $m_{a0}~(a=1,2,3,4)$ are obtained from the self-consistent equations for $m_{10}$ and $m_{20}$, , and from the definitions of $m_{30}$ and $m_{40}$, . The analyses are given in the Appendix \[sec:estimation-ma0\], and the estimated orders are arranged in Table \[tab:order-of-m\]. $m_{10}$ $m_{20}$ $m_{30}$ $m_{40}$ ---- ----------------- ----------------- ----------------- --------------- PF 0 0 0 0 FP $O(\tau^{1/2})$ $O(\tau)$ $O(\tau^{3/2})$ $O(\tau^{2})$ PN 0 0 0 0 NP 0 $O(\tau^{1/2})$ 0 $O(\tau)$ NF 0 $O(1)$ 0 $O(1)$ FN $O(\tau^{1/2})$ $O(1)$ $O(\tau^{1/2})$ $O(1)$ : $\tau$ dependence of the spontaneous order parameters $m_{10}, m_{20}, m_{30}$ and $m_{40}$, where $\tau$ is the parameter distance from the critical point. PF and FP represent, for instance, the Para side and the Ferro side of the Para-Ferro phase transition, respectively.<span data-label="tab:order-of-m"></span> We may assume, around the critical lines, the left-hand-sides of are of $O(\tau)$ in general. This assumption and Table \[tab:order-of-m\] give estimations of the matrices $D^{\rm c}$'s as $$\begin{split} & D^{\rm c}({\rm PF}) = \begin{pmatrix} O(\tau) & 0 \\ 0 & O(1) \end{pmatrix}, \quad D^{\rm c}({\rm FP}) = \begin{pmatrix} O(\tau) & O(\tau^{1/2}) \\ O(\tau^{1/2}) & O(1) \end{pmatrix}, \\ & D^{\rm c}({\rm PN}) = \begin{pmatrix} O(1) & 0 \\ 0 & O(\tau) \end{pmatrix}, \quad D^{\rm c}({\rm NP}) = \begin{pmatrix} O(1) & 0 \\ 0 & O(\tau) \end{pmatrix}, \\ & D^{\rm c}({\rm NF}) = \begin{pmatrix} O(\tau) & 0 \\ 0 & O(1) \end{pmatrix}, \quad D^{\rm c}({\rm FN}) = \begin{pmatrix} O(\tau) & O(\tau^{1/2}) \\ O(\tau^{1/2}) & O(1) \end{pmatrix}, \\ \end{split}$$ where NF and FN represent, for instance, the Nematic side and the Ferro side of the Nematic-Ferro phase transition, respectively. We remark that the orders of elements of the matrix $B^{\rm c}$ are equal to or higher than the matrix $A^{\rm c}$, and the matrix $B^{\rm c}$ is negligible for computing the critical exponent matrices in thermal equilibrium. Coming back to the formula , we have the critical exponent matrices as $$\label{eq:cr-exp-eq} \begin{split} & \gamma^{\rm c}({\rm PF}) = \begin{pmatrix} 1 & 0 \\ 0 & 0 \\ \end{pmatrix}, \quad \gamma^{\rm c}({\rm FP}) = \begin{pmatrix} 1 & 1/2 \\ 1/2 & 0 \\ \end{pmatrix},\\ & \gamma^{\rm c}({\rm PN}) = \begin{pmatrix} 0 & 0 \\ 0 & 1 \\ \end{pmatrix}, \quad \gamma^{\rm c}({\rm NP}) = \begin{pmatrix} 0 & 0 \\ 0 & 1 \\ \end{pmatrix},\\ & \gamma^{\rm c}({\rm NF}) = \begin{pmatrix} 1 & 0 \\ 0 & 0 \\ \end{pmatrix}, \quad \gamma^{\rm c}({\rm FN}) = \begin{pmatrix} 1 & 1/2 \\ 1/2 & 0 \\ \end{pmatrix}.\\ \end{split}$$ Here we assigned the critical exponent $0$ if no divergence appears. These critical exponent matrices are reported in Fig.\[fig:phase-diagram-eq\] with the critical lines obtained in Sec.\[sec:critical-lines\]. ![Phase diagram on $(\Lambda_{1},\epsilon)$ plane. $\Lambda_{2}=1-\Lambda_{1}$. The region around the black dashed circle includes the first-order phase transition @teles-12 [@pikovsky-14], and is out-of-range of the present investigation. The blue right, the green left, and red lower lines are the critical lines of the Para-Ferro, the Para-Nematic and the Nematic-Ferro phase transitions, respectively. In each side of the three phase transitions, the critical exponent matrix $\gamma^{\rm c}$ is reported.<span data-label="fig:phase-diagram-eq"></span>](fig2.eps){width="8cm"} The microcanonical susceptibility does not exceed the canonical susceptibility due to existence of energy conservation @mazur-69 [@suzuki-71], but the two types of susceptibility share the critical exponents as shown in the HMF model @ogawa-patelli-yamaguchi-14. See Appendix \[sec:micro-cr-exp\] for the critical exponents in the microcanonical ensemble. Response in Vlasov dynamics {#sec:dynamics} =========================== A nonlinear response theory is recently proposed for the Vlasov systems @ogawa-yamaguchi-14. Based on it, a simple response formula has been provided @ogawa-yamaguchi-15, which unifies the nonlinear response theory with the linear response theory @patelli-gupta-nardini-ruffo-12 [@ogawa-yamaguchi-12]. The formula is valid under some conditions, but they are satisfied for computing the critical exponents @yamaguchi-ogawa-15. We first review the formula in Sec.\[sec:Vlasov-response-formula\], and the critical exponent matrices are obtained in Sec.\[sec:cr-exp-qss\]. We further discuss on negative elements of a susceptibility matrix in Sec.\[sec:negative-susceptibility\]. Response formula {#sec:Vlasov-response-formula} ---------------- The setting is the same with the case of thermal equilibrium discussed in Sec.\[sec:statistical-mechanics\]. The initial state is the unforced thermal equilibrium state ${f_{0}}$ and then a small external field ${\boldsymbol{h}}$ is applied at the time $t=0$. Under the Vlasov dynamics, the state, however, does not go to the forced thermal equilibrium state $f^{\rm c}$: it is trapped at a nonequilibrium state denoted by $f^{\rm V}$ due to the Casimir invariants of the form $\iint_{\mu} s(f) dqdp$, where $s$ is an arbitrary differentiable function. The response formula predicts $f^{\rm V}$ from ${f_{0}}$. The associated one-particle Hamiltonian $H^{\rm V}=\mathcal{H}[f^{\rm V}]$ is integrable since $f^{\rm V}$ is stationary and $H^{\rm V}$ has one degree of freedom accordingly. The integrability introduces the angle-action variables $(\theta,J)$ associated with $H^{\rm V}$, and $H^{\rm V}$ can be written as a function of $J$ only. Roughly speaking, the response formula is expressed as @ogawa-yamaguchi-14 [@ogawa-yamaguchi-15] $$\label{eq:fqss} f^{\rm V} = {\left\langle {f_{0}}\right\rangle}_{H^{\rm V}},$$ where the bracket means the average over the angle variable as $${\left\langle X \right\rangle}_{H^{\rm V}} = \dfrac{1}{2\pi} \int_{0}^{2\pi} X(q(\theta,J),p(\theta,J)) d\theta.$$ In other words, $f^{\rm V}$ is obtained by taking time average of the initial state ${f_{0}}$ under the Hamiltonian flow associated with $H^{\rm V}$. For obtaining the response, as done in Sec.\[sec:statistical-mechanics-susceptibility\], we expand the right-hand-side of with the expansion $$\label{eq:HV-Heqz-dVV} H^{\rm V} = {H_{0}}+ \delta V^{\rm V}$$ where $$\delta V^{\rm V} = -(\Lambda_{1}\delta m_{1}^{\rm V}+h_{1}) \cos q -(\Lambda_{2}\delta m_{2}^{\rm V}+h_{2}) \cos 2q.$$ The key idea for expanding the right-hand-side of the formula is to use the equality $${\left\langle \varphi(H^{\rm V}) \right\rangle}_{\rm H^{\rm V}} = \varphi(H^{\rm V}) \quad \text{for any } \varphi$$ which holds from the definition of the partial average ${\left\langle \cdot \right\rangle}_{H^{\rm V}}$. Substituting ${H_{0}}=H^{\rm V}-\delta V^{\rm V}$ into the explicit expression $$\label{eq:GH0HV} {\left\langle {f_{0}}\right\rangle}_{H^{\rm V}} = \dfrac{{\left\langle G({H_{0}},\beta) \right\rangle}_{H^{\rm V}}}{\iint_{\mu} G({H_{0}},\beta) dqdp}$$ and expanding the right-hand-side with respect to the small $\delta V^{\rm V}$, we have $$\label{eq:fqss-expand} f^{\rm V} \simeq {f_{0}}- \beta f_{0} \left( \delta V^{\rm V} - {\left\langle \delta V^{\rm V} \right\rangle}_{{H_{0}}} \right).$$ In the way we performed the expansion again by using $H^{\rm V}={H_{0}}+\delta V^{\rm V}$. The bracket ${\left\langle \cdot \right\rangle}_{{H_{0}}}$ is the average over the angle variable associated with ${H_{0}}$. We omitted a higher order contribution coming from the replacement of ${\left\langle \cdot \right\rangle}_{H^{\rm V}}$ with ${\left\langle \cdot \right\rangle}_{{H_{0}}}$. Multiplying by $\cos aq$ and integrating over $\mu$, we have a similar formula for susceptibility with thermal equilibrium as $$\label{eq:chiqss} \chi^{\rm V} = (D^{\rm V})^{-1} \beta C^{\rm V} = (D^{\rm V})^{-1} ( \mathbb{1}_{2}-D^{\rm V}) \Lambda^{-1}$$ but with the different matrix $D^{\rm V}$ $$D^{\rm V} = \mathbb{1}_{2} - \beta C^{\rm V} \Lambda$$ where the $(a,b)$-element of the matrix $C^{\rm V}$ is $$\label{eq:Cqss} C_{ab}^{\rm V} = {\left\langle \cos aq\cos bq \right\rangle}_{0} - {\left\langle {\left\langle \cos aq \right\rangle}_{{H_{0}}} {\left\langle \cos bq \right\rangle}_{{H_{0}}} \right\rangle}_{0}.$$ Here we used the equality $$\label{eq:psi1psi2} {\left\langle \psi_{1} {\left\langle \psi_{2} \right\rangle}_{{H_{0}}} \right\rangle}_{0} = {\left\langle {\left\langle \psi_{1} \right\rangle}_{{H_{0}}}{\left\langle \psi_{2} \right\rangle}_{{H_{0}}} \right\rangle}_{0}.$$ The matrix $D^{\rm V}$ is decomposed into the two parts as $$D^{\rm V} = A^{\rm c} + B^{\rm V}$$ where the $(a,b)$-element of the matrix $B^{\rm V}$ is $$\begin{split} \label{eq:BV-definition} B_{ab}^{\rm V} & = \beta {\left\langle {\left\langle \cos aq \right\rangle}_{{H_{0}}} {\left\langle \cos bq \right\rangle}_{{H_{0}}} \right\rangle}_{0} \Lambda_{b}. \\ \end{split}$$ See the Appendix \[sec:integral-BV\] for a definite integral formula of each element in a reduced case. The matrix $B^{\rm V}$ results to the matrix $B^{\rm c}$ if we replace the partial average over the angle variable, ${\left\langle \cos bq \right\rangle}_{{H_{0}}}$, with the average over ${f_{0}}$, ${\left\langle \cos bq \right\rangle}_{0}$. However, existence of the partial average modifies the critical exponents. Critical exponent matrix $\gamma^{\rm V}$ {#sec:cr-exp-qss} ----------------------------------------- According to the Appendix \[sec:estimation-Dqss\], the matrices $B^{\rm V}$'s are estimated as $$\label{eq:BV} \begin{split} & B^{\rm V}({\rm PF}) = \begin{pmatrix} 0 & 0 \\ 0 & 0 \\ \end{pmatrix}, \quad B^{\rm V}({\rm FP}) = \begin{pmatrix} O(\tau^{1/4}) & O(\tau^{1/4}) \\ O(\tau^{1/4}) & O(\tau^{1/4}) \\ \end{pmatrix},\\ & B^{\rm V}({\rm PN}) = \begin{pmatrix} 0 & 0 \\ 0 & 0 \\ \end{pmatrix}, \quad B^{\rm V}({\rm NP}) = \begin{pmatrix} O(\tau^{1/4}) & 0 \\ 0 & O(\tau^{1/4}) \\ \end{pmatrix},\\ & B^{\rm V}({\rm NF}) = \begin{pmatrix} O(1) & 0 \\ 0 & O(1) \\ \end{pmatrix}, \quad B^{\rm V}({\rm FN}) = \begin{pmatrix} O(1) & O(\tau^{c_{1}}) \\ O(\tau^{c_{2}}) & O(1) \\ \end{pmatrix}.\\ \end{split}$$ The constants $c_{1}$ and $c_{2}$ in $B^{\rm V}({\rm FN})$ are positive and we skip to compute their precise values since they do not contribute to the critical exponents as shown later. As contrasted with thermal equilibrium case, the matrix $B^{\rm V}$ can partially dominate the matrix $D^{\rm V}$. This domination modifies the estimations of $D^{\rm V}$'s from $D^{\rm c}$'s as $$\label{eq:DV} \begin{split} & D^{\rm V}({\rm PF}) = \begin{pmatrix} O(\tau) & 0 \\ 0 & O(1) \end{pmatrix}, \quad D^{\rm V}({\rm FP}) = \begin{pmatrix} O(\tau^{1/4}) & O(\tau^{1/4}) \\ O(\tau^{1/4}) & O(1) \end{pmatrix}, \\ & D^{\rm V}({\rm PN}) = \begin{pmatrix} O(1) & 0 \\ 0 & O(\tau) \end{pmatrix}, \quad D^{\rm V}({\rm NP}) = \begin{pmatrix} O(1) & 0 \\ 0 & O(\tau^{1/4}) \end{pmatrix}, \\ & D^{\rm V}({\rm NF}) = \begin{pmatrix} O(1) & 0 \\ 0 & O(1) \end{pmatrix}, \quad D^{\rm V}({\rm FN}) = \begin{pmatrix} O(1) & O(\tau^{\bar{c}_{1}}) \\ O(\tau^{\bar{c}_{2}}) & O(1) \end{pmatrix}, \\ \end{split}$$ where $\bar{c}_{j}=\min\{1/2,c_{j}\}~(j=1,2)$. Recalling the susceptibility formula , we have the critical exponent matrices $\gamma^{\rm V}$ as $$\label{eq:cr-exp-qss} \begin{split} & \gamma^{\rm V}({\rm PF}) = \begin{pmatrix} 1 & 0 \\ 0 & 0 \\ \end{pmatrix}, \quad \gamma^{\rm V}({\rm FP}) = \begin{pmatrix} 1/4 & 0 \\ 0 & 0 \\ \end{pmatrix},\\ & \gamma^{\rm V}({\rm PN}) = \begin{pmatrix} 0 & 0 \\ 0 & 1 \\ \end{pmatrix}, \quad \gamma^{\rm V}({\rm NP}) = \begin{pmatrix} 0 & 0 \\ 0 & 1/4 \\ \end{pmatrix},\\ & \gamma^{\rm V}({\rm NF}) = \begin{pmatrix} 0 & 0 \\ 0 & 0 \\ \end{pmatrix}, \quad \gamma^{\rm V}({\rm FN}) = \begin{pmatrix} 0 & 0 \\ 0 & 0 \\ \end{pmatrix},\\ \end{split}$$ where we assigned the critical exponents $0$ when no divergences appear even if $\chi_{ab}$'s go to zeros in the limit $\tau\to 0$. The obtained critical exponent matrices are shown in Fig.\[fig:phase-diagram-dyn\] with stressing the different values from the thermal equilibrium case. ![The same with Fig.\[fig:phase-diagram-eq\] but the critical exponent matrices are for the Vlasov dynamics, $\gamma^{\rm V}$. The red bold elements are different values from the corresponding equilibrium values.<span data-label="fig:phase-diagram-dyn"></span>](fig3.eps){width="8cm"} We remark that existence of invariants suppress the response @mazur-69 [@suzuki-71], and hence $\chi^{\rm V}\leq\chi^{\rm c}$. This fact implies that no critical lines exist on the parameter plane except for the ones obtained in canonical statistical mechanics. Consequently, there are no shifts of the critical lines and the new zero critical exponents correctly capture the dynamical obstacle to divergences of susceptibility at the critical point. Negative susceptibility in the Para-Ferro phase transition {#sec:negative-susceptibility} ---------------------------------------------------------- We note that the susceptibility matrix $\chi$ is proportional to $D^{-1}(\mathbb{1}_{2}-D)=D^{-1}-\mathbb{1}_{2}$, which is written as $$D^{-1}-\mathbb{1}_{2} = \dfrac{1}{\det D} \begin{pmatrix} D_{22} - \det D & - D_{12} \\ -D_{21} & D_{11} - \det D \\ \end{pmatrix}.$$ We consider if the signs of the off-diagonal elements can change around the critical point. The sign of $\det D$ must be fixed in one side of a phase transition around the critical line, since $\det D=0$ appears only on the critical lines. Thus, we concentrate on the off-diagonal elements of the matrix $D$ by focusing on the Ferro side of the Para-Ferro phase transition. The off-diagonal elements of $D^{\rm c}({\rm FP})$ are proportional to $$- \dfrac{m_{10}+m_{30}}{2} + m_{10}m_{20},$$ and are dominated by the negative first term. Thus, no change of sign is possible around the critical point in thermal equilibrium. Indeed, $\chi_{21}^{\rm c}({\rm FP})\to +\infty$ in the limit $\tau\to 0$ reflecting the positive critical exponent $\gamma_{12}^{\rm c}({\rm FP})=1/2$. However, in the Vlasov dynamics, the off-diagonal elements of $D^{\rm V}({\rm FP})$, which are proportional to $$- \dfrac{m_{10}+m_{30}}{2} + {\left\langle {\left\langle \cos q \right\rangle}_{{H_{0}}} {\left\langle \cos 2q \right\rangle}_{{H_{0}}} \right\rangle}_{0},$$ may change the signs around the critical point. The second term is of $O(\tau^{1/4})$ \[see $B^{\rm V}({\rm FP})$ in \], and is positive by considering iso-${H_{0}}$ contour and ${f_{0}}$, while the first term is negative and is of $O(\tau^{1/2})$. Thus, the second term can dominate close to the critical point and change the signs of susceptibility. We will numerically demonstrate the negative susceptibility, i.e. $\chi_{21}^{\rm V}({\rm FP})<0$, in Sec.\[eq:Num-negative-susceptibility\]. Numerical tests {#sec:numerics} =============== The critical exponents $1/4$ of $\gamma^{\rm V}_{11}({\rm FP})$ and $\gamma^{\rm V}_{22}({\rm NP})$ are direct extensions of the HMF model, whose Ferro phase also has the same critical exponent @ogawa-patelli-yamaguchi-14. $\gamma^{\rm V}_{12}({\rm FN})=\gamma^{\rm V}_{21}({\rm FN})=0$ may associate with $\gamma^{\rm V}_{11}({\rm FN})=0$. Therefore, interesting exponents are $\gamma^{\rm V}_{11}({\rm NF})=\gamma^{\rm V}_{11}({\rm FN})=0$ and $\gamma^{\rm V}_{12}({\rm FP})=\gamma^{\rm V}_{21}({\rm FP})=0$. We confirm $\gamma^{\rm V}_{11}({\rm NF})=\gamma^{\rm V}_{11}({\rm FN})=0$ in Sec.\[eq:NumNemaFerro\] and $\gamma^{\rm V}_{21}({\rm FP})=0$ in Sec.\[eq:NumFerroPara\] by direct numerical simulations of the Vlasov equation . The negative susceptibility discussed in Sec.\[sec:negative-susceptibility\] is also examined in Sec.\[eq:Num-negative-susceptibility\]. We perform the semi-Lagrangian simulations @debuyl-10 with the fixed time step $\Delta t=0.05$. The phase space $\mu$ is truncated into $(-\pi,\pi]\times [-4,4]$, and is divided into the grid size $G\times G$. The initial state is the unforced thermal equilibrium state ${f_{0}}(q,p)$, , and a small external field $h_{1}$ is applied with keeping $h_{2}=0$. We compute temporal evolution of the order parameter values $m_{1}=\mathcal{M}_{1}[f]$ and $m_{2}=\mathcal{M}_{2}[f]$ both for $h_{1}=0$ and for $h_{1}>0$, which are denoted by $m_{a}(t,0)$ and $m_{a}(t,h_{1})$ $(a=1,2)$ respectively at the time $t$. Then, we observe the normalized discrepancy between the two to exclude numerical errors for $h_{1}=0$. That is, we observe the quantities $$\chi_{a1}(t) = \dfrac{m_{a}(t,h_{1})-m_{a}(t,0)}{h_{1}}, \quad (a=1,2).$$ The family of initial states is characterized by the inverse temperature $\beta=1/T$, but $\beta$ is just a parameter and is interpreted as energy by the relation . All the simulations are performed for the deterministic Vlasov equation , and no thermal noise is introduced. $\gamma^{\rm V}_{11}({\rm NF})=\gamma^{\rm V}_{11}({\rm FN})=0$ {#eq:NumNemaFerro} --------------------------------------------------------------- Following the previous work @teles-12, we fix energy as $\epsilon=0.55$ to avoid the first-order phase transition region, and vary $\Lambda_{1}$. The parameter $\tau$ is, therefore, $\tau=|\Lambda_{1}-\Lambda_{1{\rm c}}|$, where the critical value $V_{1{\rm c}}$ and the value of $m_{20}$ at the critical point are computed as $$\label{eq:critical-pt} V_{1{\rm c}} \simeq 0.358989, \quad m_{20} \simeq 0518977$$ for $h_{1}=h_{2}=0$. We concentrate on the nondivergence of $\chi_{11}$ at the critical point of the Nematic-Ferro phase transition, which implies $\gamma^{\rm V}_{11}({\rm NF})=\gamma^{\rm V}_{11}({\rm FN})=0$. The $(1,1)$-element of the matrix $B^{\rm V}({\rm NF})$ is expressed in the integral form as $$\label{eq:BV-11-NF} B^{\rm V}_{11}({\rm NF}) = \dfrac{\sqrt{2\pi\beta \Lambda_{2}m_{20}}}{I_{0}(\beta \Lambda_{2}m_{20})} \int_{0}^{1} e^{-\beta \Lambda_{2}m_{20}(2k^{2}-1)} \dfrac{k}{K(k)} dk$$ where $I_{0}$ is the zeroth order modified Bessel function, and $K(k)$ is the complete elliptic integral of the first kind. $k=0$ and $k=1$ correspond to the minimum energy and the separatrix energy respectively. We used the fact that ${\left\langle \cos q \right\rangle}_{{H_{0}}}=0$ in the separatrix outside. See the Appendix \[sec:11element-nematic\] for the derivation of . Computing the integral numerically, we have the values of $D^{\rm V}_{11}({\rm NF})$ and $\chi_{11}^{\rm V}({\rm NF})$ as $$\label{eq:theory} D_{11}^{\rm V}({\rm NF}) \simeq 0.936902, \quad \chi_{11}^{\rm V}({\rm NF}) = \dfrac{1-D_{11}^{\rm V}}{\Lambda_{1} D_{11}^{\rm V}} \simeq 0.187603$$ at the critical point. The grid size dependence of $\chi_{11}(t)$ is reported in Fig.\[fig:NemaFerroCtPt\], and the numerical results approach to the theoretical level as the grid gets finer. We also computed $h_{1}$ dependence of $\chi_{11}(t)$ with the grid size $G=512$, and the three numerical curves for $h_{1}=10^{-4},10^{-5}$ and $10^{-6}$ almost collapse within the symbol size of Fig.\[fig:NemaFerroCtPt\] (not shown). We, therefore, conclude that the nondivergence of susceptibility and the finite theoretical level are successfully confirmed at the critical point. ![Temporal evolution of $\chi_{11}(t)$ at the critical point of the Nematic-Ferro phase transition with energy $\epsilon=0.55$. Initial state is ${f_{0}}$, \[Eq.\]. $h_{1}=10^{-4}$ and $h_{2}=0$. The grid sizes are $G=128$ (green squares), $256$ (blue circles) and $512$ (red triangles). The black horizontal solid line is the theoretical level of $\chi^{\rm V}_{11}({\rm NF})$, .<span data-label="fig:NemaFerroCtPt"></span>](fig4.eps){width="8.5cm"} $\gamma^{\rm V}_{21}({\rm FP})=0$ {#eq:NumFerroPara} --------------------------------- To avoid the first-order phase transition region again, we set $\Lambda_{1}=0.8$ and $\Lambda_{2}=0.2$, which gives the critical energy $\epsilon_{\rm c}=0.7$, and vary $\epsilon$ below the critical point $\epsilon_{\rm c}$. Thus, the parameter $\tau$ is $\tau=\epsilon_{\rm c}-\epsilon$, since we are in the Ferro, low energy phase. We compute the time averages of $\chi_{11}(t)$ and $\chi_{21}(t)$ in the time window $t\in [200,1000]$. The averaged susceptibilities are reported in Fig.\[fig:FerroPara\] as functions of $\epsilon_{\rm c}-\epsilon$ for the three Grid sizes, $G=128,~256$ and $512$. The numerical results are in good agreements with an approximate theory, in which $m_{a0}~(a=2,3,4)$ are neglected (see the Appendix \[sec:integral-BV\] for the integral form of each element of the matrix $B^{\rm c}({\rm FP})$ in this approximated case). The critical exponent $\gamma^{\rm V}_{11}({\rm FP})=1/4$ is successfully reproduced as in the HMF model @ogawa-patelli-yamaguchi-14, and no divergence of $\chi_{21}$ to $+\infty$ is also confirmed. ![Time averaged $\chi_{11}$ (open symbols) and $\chi_{21}$ (filled symbols) in the Ferro side of the Para-Ferro phase transitions. $h_{1}=10^{-5}$ and $h_{2}=0$. The averages are taken in the time window $[200,1000]$. The grid size is $G=128$ (green squares), $256$ (blue circles) and $512$ (red triangles). The black dashed and the black solid lines are susceptibilities from an approximate theory for $\chi_{11}$ and $\chi_{21}$ respectively. The magenta straight line is a guide of eyes for the slope $-1/4$.<span data-label="fig:FerroPara"></span>](fig5.eps){width="8.5cm"} $\chi^{\rm V}_{21}({\rm FP})<0$ close to the critical point {#eq:Num-negative-susceptibility} ----------------------------------------------------------- The susceptibility $\chi_{21}$ in Fig.\[fig:FerroPara\] is hidden close to the critical point, since $\chi_{21}$ becomes negative. The negative susceptibility is confirmed as shown in Fig.\[fig:NegaSusFerroPara\] by taking the linear scale for the vertical axis. This observation in the Vlasov dynamics gives a sharp contrast with in thermal equilibrium, in which the susceptibility $\chi_{21}^{\rm c}$ is positive and diverges at the critical point. ![The same with Fig.\[fig:FerroPara\], but we omitted $\chi_{11}$ and the vertical axis is in the linear scale to observe the negative part. (Inset) Temporal evolution of $\chi_{21}(t)$ in the interval $t\in [0,1000]$. The upper magenta and the lower red lines are for $\epsilon_{\rm c}-\epsilon=10^{-3}$ and $10^{-5}$, respectively, with the approximate theoretical levels (black solid lines).<span data-label="fig:NegaSusFerroPara"></span>](fig6.eps){width="8.5cm"} Summary and discussions {#sec:summary} ======================= We considered responses to the external fields in the GHMF model. This model has the two order parameters, which characterize the Para, the Ferro and the Nematic phases. In each of thermal equilibrium and of the Vlasov dynamics, we derived $6$ critical exponent matrices corresponding to the two sides of the three phase transitions, where each critical exponent matrix is of $2\times 2$ associated with the two order parameters and their conjugate external fields. As in the HMF model, the Para phase in the Vlasov dynamics has the same critical exponent matrices with thermal equilibrium. This agreement comes from the fact that both ${\left\langle \cos aq \right\rangle}_{0}$ and ${\left\langle \cos aq \right\rangle}_{{H_{0}}}$ vanish in the Para phase and no dynamical effects appear in the matrix $D^{\rm V}$. In the Ferro side of the Para-Ferro phase transition, and the Nematic side of the Para-Nematic phase transition, we obtained the suppressed critical exponent $\gamma=1/4$ as the straightforward extension from the HMF model, where $\gamma=1$ in statistical mechanics. However, in the Ferro and the Nematic phases, all the other exponents are zeros, and no divergences of susceptibility appear at the critical points. The vanishing critical exponents in the Vlasov dynamics are stronger suppression than the reduced value of the previously mentioned $\gamma=1/4$. These theoretical predictions of no divergences are successfully confirmed by direct numerical simulations of the Vlasov dynamics. We found two types of nondivergences of susceptibilities: one appears in $\chi_{11}^{\rm V}({\rm NF})$ and $\chi_{11}^{\rm V}({\rm FN})$, and the other in the off-diagonal elements of $\chi^{\rm V}({\rm FP})$. The former type might be understood by the potential barrier formed spontaneously by $m_{20}$. Around the critical point, the potential is $V_{0}\simeq -\Lambda_{2}m_{20}\cos 2q$, and has the two wells centered at $q=0$ (well-1) and $q=\pi$ (well-2). Applying the external field to the direction of $q=0$, particles in the well-2 tend to move to the well-1, but the potential barrier may prevent them from moving, since each particle must conserve energy in the Vlasov dynamics. On the other hand, in the latter type, the nondivergences comes from the domination of $O(\sqrt{m_{10}})$ in the off-diagonal elements of the matrix $D^{\rm V}$, but the thermal equilibrium case also have the leading $O(m_{10})$ terms in the off-diagonal elements of the matrix $D^{\rm c}$. Thus, the mechanism might not be straightforward comparing with the former type. We remark that a non-divergent susceptibility is reported in the HMF model with a family of spatially homogeneous but asymmetric momentum distributions @yamaguchi-15 at the point of stability change. The thermal equilibrium states, discussed in the present article, are symmetric and accept non-homogeneous distributions, and hence the reported non-divergences might have a larger impact than the asymmetric case. We also revealed that negative elements appear in the susceptibility matrix for the Ferro side of the Para-Ferro phase transition. The negative susceptibility has been reported in the HMF model @chavanis-11 [@deninno-fanelli-12; @debuyl-fanelli-ruffo-12] and in the $\phi^{4}$ model @campa-ruffo-touchette-07 [@campa-dauxois-ruffo-09], but they appear under the energy conservation between with and without the external field @chavanis-11 (see also Appendix \[sec:micro-cr-exp\]), the fixed value of magnetization @campa-ruffo-touchette-07 [@campa-dauxois-ruffo-09], or the nonstationary initial states @deninno-fanelli-12 [@debuyl-fanelli-ruffo-12]. The negative susceptibility reported in this article is observed for the initial thermal equilibrium states by applying an external field without any additional constraints, and therefore, it might be rather easy to compare with experiments. Finally, it might be worth noting that the nonclassical critical exponents of the HMF model are also observed in a model of coupled oscillators by setting the so-called natural frequencies deterministically @hong-chate-tang-park-15. In the model, the oscillators are confined on the unit circle and the interaction is realized only through the first Fourier mode as the HMF model. Thus, it might be interesting to consider a similar extension in the coupled oscillator system. Y.Y.Y. thanks S.Ogawa for valuable discussions. He acknowledges the supports of JSPS KAKENHI Grant Numbers 23560069 and 16K05472. Estimations of $m_{a0}$ {#sec:estimation-ma0} ======================= Around the critical point, we estimate the spontaneous order parameters $m_{a0}$'s, which are written as $$\label{eq:appendix-ma0} m_{a0} = \dfrac{\int_{-\pi}^{\pi} \exp[ \beta(\Lambda_{1}m_{10}\cos q + \Lambda_{2}m_{20}\cos 2q) ] \cos aq dq} {\int_{-\pi}^{\pi} \exp[ \beta(\Lambda_{1}m_{10}\cos q + \Lambda_{2}m_{20}\cos 2q) ] dq},$$ where the denominator is of $O(1)$. The key idea of this section is to use the orthogonality of $\{\cos aq\}_{a\in\mathbb{Z}}$, which gives $$\label{eq:estimation-m30m40} \begin{split} & m_{30} = O(m_{10}^{3}) + O(m_{10}m_{20}), \\ & m_{40} = O(m_{10}^{4}) + O(m_{10}^{2}m_{20}) + O(m_{20}^{2}). \\ \end{split}$$ It is, therefore, enough to estimate $m_{10}$ and $m_{20}$. We first consider the Para-Ferro and the Para-Nematic phase transitions, around which $m_{10}$ and $m_{20}$ are small enough, and then go to the Nematic-Ferro transition. Para-Ferro and Para-Nematic transitions --------------------------------------- All the order parameters are zeros in the Para phase, and we focus on estimating the order parameters in the Ferro and the Nematic sides. The normalization factor, the numerator of the right-hand-side of , is expanded as $$\begin{split} & \int_{-\pi}^{\pi} \exp[ \beta (\Lambda_{1}m_{10}\cos q + \Lambda_{2}m_{20}\cos 2q) ] dq \\ & = 2\pi + O(m_{10}^{2}) + O(m_{20}^{2}). \end{split}$$ Thus, the self-consistent equations, which are $a=1$ and $2$ in , are reduced to $$\label{eq:self-consistent-expand} \begin{split} & m_{10} = \dfrac{\beta \Lambda_{1}}{2} m_{10} + O(m_{10}m_{20}) + O(m_{10}^{3}) + \cdots, \\ & m_{20} = \dfrac{\beta \Lambda_{2}}{2} m_{20} + O(m_{10}^{2}) + O(m_{10}^{2}m_{20}) + O(m_{20}^{3}) + \cdots . \end{split}$$ In the Ferro side of the Para-Ferro phase transition, the ordering is $O(m_{20})\leq O(m_{10}^{2})$ @ogawa-yamaguchi-15, and $m_{10}$ is determined by the leading two terms as $$\left( 1 - \dfrac{\beta \Lambda_{1}}{2} \right) m_{10} + O(m_{10}^{3}) = 0.$$ As assumed at the head of Sec.\[sec:cr-exp-eq\], the coefficient of the first term is of $O(\tau)$. Thus, we obtain $m_{10}=O(\tau^{1/2})$ and $m_{20}=O(m_{10}^{2})=O(\tau)$ from the second equation of . Further, the estimations give $m_{30}=O(\tau^{3/2})$ and $m_{40}=O(\tau^{2})$. In the Nematic side of the Para-Nematic transition $m_{10}$ is always zero, and $m_{20}$ is determined by the equation $$\left( 1 - \dfrac{\beta \Lambda_{2}}{2} \right) m_{20} + O(m_{20}^{3}) = 0.$$ As discussed above, we have $m_{20}=O(\tau^{1/2})$. Further, $m_{30}=0$ and $m_{40}=O(\tau)$ from . Nematic-Ferro transition ------------------------ In the Nematic-Ferro transition $m_{20}$ is of $O(1)$, and we need to estimate $m_{10}$. Smallness of $m_{10}$ reduces the normalization factor as $$\begin{split} & \int_{-\pi}^{\pi} \exp[\beta (\Lambda_{1}m_{10}\cos q + \Lambda_{2}m_{20}\cos 2q) ] dq \\ & \simeq \int_{-\pi}^{\pi} \exp(\beta \Lambda_{2}m_{20}\cos 2q) dq + O(m_{10}^{2}). \end{split}$$ The self-consistent equation for $m_{10}$ is expanded as $$m_{10} = \dfrac{\beta \Lambda_{1}m_{10}}{2} \left ( 1 + \dfrac{\int \exp(\beta \Lambda_{2}m_{20}\cos 2q) \cos 2q dq} {\int \exp(\beta \Lambda_{2}m_{20}\cos 2q) dq} \right) + O(m_{10}^{3}),$$ and the definition of $m_{20}$ gives $$\label{eq:appendix-nemaferro-m10} \left[ 1 - \dfrac{\beta \Lambda_{1}m_{10}}{2}(1+m_{20}) \right] m_{10} + O(m_{10}^{3}) = 0$$ where we used the fact $$m_{20} = \dfrac{\int \exp [\beta \Lambda_{2}m_{20}\cos 2q ] \cos 2q dq} {\int \exp [\beta \Lambda_{2}m_{20}\cos 2q) ] dq} + O(m_{10}^{2}).$$ Recalling the critical line , from , we conclude that $m_{10}=O(\tau^{1/2})$. From we also estimate $m_{30}=O(\tau^{1/2})$ and $m_{40}=O(1)$. Critical exponents in microcanonical ensemble {#sec:micro-cr-exp} ============================================= In the microcanonical ensemble, temperature may be modified by applying an external field ${\boldsymbol{h}}$ at the time $t=0$ due to the energy conservation. Denoting the modified temperature by $T^{\rm mc}$, we consider the energy conservation relation between $t=0^{+}$ and $t\to\infty$ as $$\label{eq:energy-conservation} \begin{split} & \dfrac{T}{2} + \dfrac{1-\Lambda_{1}m_{10}^{2}-\Lambda_{2}m_{20}^{2}}{2} - h_{1}m_{10} - h_{2}m_{20} \\ & = \dfrac{T^{\rm mc}}{2} + \dfrac{1-\Lambda_{1}(m_{1}^{\rm mc})^{2}-\Lambda_{2}(m_{2}^{\rm mc})^{2}}{2} - h_{1}m_{1}^{\rm mc} - h_{2}m_{2}^{\rm mc} \\ \end{split}$$ where $m_{1}^{\rm mc}$ and $m_{2}^{\rm mc}$ are the values of order parameters in the microcanonical ensemble. Introducing the response $$\delta{\boldsymbol{m}}^{\rm mc} = \begin{pmatrix} m_{1}^{\rm mc} - m_{10} \\ m_{2}^{\rm mc} - m_{20} \\ \end{pmatrix},$$ which will be determined later, the above relation gives the shift of inverse temperature from $\beta$ to $\beta+\delta\beta$, where $$\label{eq:deltabeta} \delta\beta \simeq - 2\beta^{2}~ {\boldsymbol{m}}_{0}^{\rm T}~ \Lambda~ \delta{\boldsymbol{m}}^{\rm mc}$$ up to the leading order. Let us introduce the vectors $${\boldsymbol{m}}_{0} = \begin{pmatrix} m_{10} \\ m_{20} \end{pmatrix}, \quad {\boldsymbol{c}}(q) = \begin{pmatrix} \cos q \\ \cos 2q \end{pmatrix}$$ and the discrepancy of potential $$\label{eq:deltaVmc} \delta V^{\rm mc} = -{\boldsymbol{c}}^{\rm T}\Lambda~ \delta{\boldsymbol{m}}^{\rm mc} - {\boldsymbol{c}}^{\rm T}{\boldsymbol{h}}.$$ The self-consistent equation in the microcanonical ensemble is obtained by replacing $\beta\delta V^{\rm c}$ with $\beta\delta V^{\rm mc}+H_{0}\delta\beta$ in , $$\label{eq:micro-self-consistent} \delta{\boldsymbol{m}}^{\rm mc} = - {\left\langle {\boldsymbol{c}}(\beta\delta V^{\rm mc} + H_{0}\delta\beta) \right\rangle}_{0} + {\left\langle {\boldsymbol{c}}\right\rangle}_{0} {\left\langle \beta\delta V^{\rm mc} + H_{0}\delta\beta \right\rangle}_{0}.$$ Noting that $p^{2}/2$ term of $H_{0}$ is canceled between the two terms, and substituting , and $$V_{0} = - {\boldsymbol{c}}^{\rm T} \Lambda {\boldsymbol{m}}_{0}$$ into the self-consistent equation , we have $$\delta{\boldsymbol{m}}^{\rm mc} = \beta C^{\rm c} \left( \mathbb{1}_{2} - 2\beta \Lambda{\boldsymbol{m}}_{0}{\boldsymbol{m}}_{0}^{\rm T} \right) \Lambda \delta{\boldsymbol{m}}^{\rm mc} + \beta C^{\rm c} {\boldsymbol{h}}$$ where $C^{\rm c}={\left\langle {\boldsymbol{c}}{\boldsymbol{c}}^{\rm T} \right\rangle}_{0}$ by the definition. The response $\delta{\boldsymbol{m}}^{\rm mc}$ in the microcanonical ensemble is, therefore, $$\delta{\boldsymbol{m}}^{\rm mc} = (D^{\rm mc})^{-1} \beta C^{\rm c}{\boldsymbol{h}},$$ where the matrix $D^{\rm mc}$ is defined by $$D^{\rm mc} = \mathbb{1}_{2} - \beta C^{\rm c} \left( \mathbb{1}_{2} - 2\beta \Lambda{\boldsymbol{m}}_{0}{\boldsymbol{m}}_{0}^{\rm T} \right) \Lambda.$$ The matrix $D^{\rm mc}$ is expressed as $$D^{\rm mc} = D^{\rm c} + 2\beta^{2} C^{\rm c} \Lambda {\boldsymbol{m}}_{0}{\boldsymbol{m}}_{0}^{\rm T}\Lambda,$$ and the second term of the right-hand-side does not change the dominating $\tau$ dependence of $D^{\rm mc}$ from $D^{\rm c}$. This concludes that the critical exponents are shared between the canonical and the microcanonical ensembles. We give a remark on usage of the energy conservation. If we require the energy conservation between $t=0^{-}$ and $t\to\infty$, the energy conservation relation is modified from to $$\label{eq:energy-conservation-Efix} \begin{split} & \dfrac{T}{2} + \dfrac{1-\Lambda_{1}m_{10}^{2}-\Lambda_{2}m_{20}^{2}}{2} \\ & = \dfrac{T^{\rm ene}}{2} + \dfrac{1-\Lambda_{1}(m_{1}^{\rm ene})^{2}-\Lambda_{2}(m_{2}^{\rm ene})^{2}}{2} - h_{1}m_{1}^{\rm ene} - h_{2}m_{2}^{\rm ene} \\ \end{split}$$ where all the superscripts are replaced to represent the considering situation. Then, $\delta\beta$ is modified to $$\delta\beta^{\rm ene} \simeq - 2\beta^{2} {\boldsymbol{m}}_{0}^{\rm T} \left( \Lambda\delta{\boldsymbol{m}}^{\rm ene} + {\boldsymbol{h}}\right).$$ In the previous setting, the last term was not proportional to ${\boldsymbol{m}}_{0}^{\rm T}{\boldsymbol{h}}$ but to $\delta{\boldsymbol{m}}^{\rm T}{\boldsymbol{h}}$ and was omitted since it was of higher order. With the modified $\delta\beta^{\rm ene}$, we have the linear response $\delta{\boldsymbol{m}}^{\rm ene}$ as $$\delta{\boldsymbol{m}}^{\rm ene} = (D^{\rm mc})^{-1} \beta C^{\rm c} \left( \mathbb{1}_{2}-2\beta\Lambda{\boldsymbol{m}}_{0}{\boldsymbol{m}}_{0}^{\rm T} \right) {\boldsymbol{h}}.$$ Divergences of the linear response come from $(D^{\rm mc})^{-1}$ again, and hence the critical exponents are not modified. On the other hand, the response $\delta{\boldsymbol{m}}^{\rm ene}$ may be negative in the off-diagonal elements due to the factor $\mathbb{1}_{2}-2\beta\Lambda{\boldsymbol{m}}_{0}{\boldsymbol{m}}_{0}^{\rm T}$, and even in the diagonal elements for large $\beta$, which implies large ${\boldsymbol{m}}_{0}$. Integral formula for elements of the matrix $B^{\rm V}$ in a reduced case {#sec:integral-BV} ========================================================================= We give a useful formula of the matrix $B^{\rm V}$ in the case that the one-particle Hamiltonian is written in the form $$\label{eq:AppH0} {H_{0}}(q,p) = \dfrac{p^{2}}{2} - M\cos q, \quad (M>0).$$ This form includes the Nematic phase by replacing $q$ with $2q$ and setting $M=\Lambda_{2}m_{20}$, and the approximate theory used in Sec.\[eq:NumFerroPara\], which is for the Ferro side of the Para-Ferro phase transition, by setting $m_{20}=0$ and $M=\Lambda_{1}m_{10}$. We note that this Hamiltonian is symmetric with respect to both $q$ and $p$, namely ${H_{0}}(-q,p)={H_{0}}(q,-p)={H_{0}}(q,p)$. We will use this symmetry for reducing computations. Angle-action variables and elliptic integrals --------------------------------------------- The Hamiltonian system ${H_{0}}$ is integrable, and we can introduce the associated angle-action variables $(\theta,J)$. They are written in the use of the Legendre elliptic integrals, defined by $$F(\phi,k) = \int_{0}^{\phi}\dfrac{d\varphi}{\sqrt{1-k^{2}\sin^{2}\varphi}} = \int_{0}^{\sin\phi} \dfrac{du}{\sqrt{(1-u^{2})(1-k^{2}u^{2})}}$$ and $$E(\phi,k) = \int_{0}^{\phi} \sqrt{1-k^{2}\sin^{2}\varphi} d\varphi = \int_{0}^{\sin\phi} \sqrt{\dfrac{1-k^{2}u^{2}}{1-u^{2}}} du.$$ The complete elliptic integrals of the first and the second kinds are defined respectively as $$K(k) = F(\pi/2,k), \quad E(k) = E(\pi/2,k).$$ The Hamiltonian system ${H_{0}}$ has two hyperbolic fixed points, $(q,p)=(-\pi,0)$ and $(\pi,0)$, and they are connected by the separatrix. The phase space $\mu$ is divided into outside and inside of the separatrix. See Fig.\[fig:phasespace\](a) for a schematic picture of the phase space. Based on this knowledge, the angle-action variables $(\theta,J)$ are introduced as @barre-olivetti-yamaguchi-10 $$J = \left\{ \begin{array}{ll} \dfrac{4\sqrt{M}}{\pi} k E(1/k) & \text{separatrix outside} \\ \dfrac{8\sqrt{M}}{\pi} [E(k)-(1-k^{2})K(k)] & \text{separatrix inside} \\ \end{array} \right.$$ and $$\theta = \left\{ \begin{array}{ll} \pi \dfrac{F(q/2, 1/k)}{K(1/k)} & \text{separatrix outside, upper-half} \\ \dfrac{\pi}{2} \dfrac{F(Q,k)}{K(k)} & \text{separatrix inside, upper-half} \\ \dfrac{\pi}{2} \left( 2 - \dfrac{F(Q,k)}{K(k)} \right) & \text{separatrix inside, lower-half} \\ - \pi \dfrac{F(q/2, 1/k)}{K(1/k)} & \text{separatrix outside, lower-half} \\ \end{array} \right.$$ where $$\label{eq:appendix-k} k = \sqrt{\dfrac{{H_{0}}(q,p)+M}{2M}}$$ and $Q$ is defined by $$k\sin Q = \sin(q/2).$$ The energy minimum corresponds to $k=0$, and the separatrix energy to $k=1$. For later convenience, we introduce the integrals $$N_{n}(k) = \int_{0}^{1} \dfrac{u^{n}du}{\sqrt{(1-u^{2})(1-k^{2}u^{2})}}.$$ This integrals have the recursive formula $$(m+2)k^{2}N_{m+3}(k) - (m+1)(1+k^{2})N_{m+1}(k) + mN_{m-1}(k) = 0,$$ and hence $$\label{eq:In-integrals} \begin{split} N_{0}(k) & = K(k), \\ N_{2}(k) & = \dfrac{K(k)-E(k)}{k^{2}}, \\ N_{4}(k) & = \dfrac{(2+k^{2})K(k)-2(1+k^{2})E(k)}{3k^{4}}. \\ \end{split}$$ Computations of ${\left\langle \cos bq \right\rangle}_{{H_{0}}}$ ---------------------------------------------------------------- Let us compute the averages $${\left\langle \cos^{n}q \right\rangle}_{{H_{0}}} = \dfrac{1}{2\pi} \int_{-\pi}^{\pi} \cos^{n}q(\theta,J) d\theta.$$ Using the elliptic function ${\rm sn}$, which is the inverse function of $F(\phi,k)$ and is defined by $${\rm sn}(F(\phi,k),k) = \sin\phi,$$ we can write $\cos q$ as @ogawa-yamaguchi-14 $$\label{eq:appendix-cosq} \cos q = \left\{ \begin{array}{ll} 1 - 2{\rm sn}^{2}\left( \dfrac{K(1/k)}{\pi} \theta, \dfrac{1}{k} \right) & \text{separatrix outside,} \\ 1 - 2k^{2}{\rm sn}^{2}\left( \dfrac{2K(k)}{\pi} \theta, k \right) & \text{separatrix inside.} \\ \end{array} \right.$$ Changing the variable as $$\theta = \left\{ \begin{array}{ll} \dfrac{\pi}{K(1/k)} F(\phi,1/k) & \text{separatrix outside,} \\ \dfrac{\pi}{2K(k)} F(\phi,k) & \text{separatrix inside,} \\ \end{array} \right.$$ and using the symmetry of ${H_{0}}(q,p)$, we have the expressions of ${\left\langle \cos^{n}q \right\rangle}_{{H_{0}}}$ as $${\left\langle \cos^{n}q \right\rangle}_{{H_{0}}} = \left\{ \begin{array}{l} \dfrac{1}{K(1/k)} \displaystyle{\int_{0}^{1}} \dfrac{(1-2u^{2})^{n}}{\sqrt{(1-u^{2})(1-k^{-2}u^{2})}} du \\ \text{separatrix outside}, \\ \dfrac{1}{K(k)} \displaystyle{\int_{0}^{1}} \dfrac{(1-2k^{2}u^{2})^{n}}{\sqrt{(1-u^{2})(1-k^{2}u^{2})}} du \\ \text{separatrix inside}. \\ \end{array} \right.$$ Thus, the integrals $N_{n}(k)$, , derive ${\left\langle \cos q \right\rangle}_{{H_{0}}}$ and ${\left\langle \cos^{2}q \right\rangle}_{{H_{0}}}$. The concrete expressions of ${\left\langle \cos q \right\rangle}_{{H_{0}}}$ and ${\left\langle \cos 2q \right\rangle}_{{H_{0}}}$, which can be computed from ${\left\langle \cos^{2}q \right\rangle}_{{H_{0}}}$, are $${\left\langle \cos q \right\rangle}_{{H_{0}}} = \left\{ \begin{array}{ll} 2k^{2}\dfrac{E(1/k)}{K(1/k)} - (2k^{2}-1) & \text{separatrix outside}, \\ 2\dfrac{E(k)}{K(k)} - 1 & \text{separatrix inside}, \end{array} \right.$$ and $${\left\langle \cos 2q \right\rangle}_{{H_{0}}} = \left\{ \begin{array}{l} \dfrac{8k^{2}}{3}(1-2k^{2})\dfrac{E(1/k)}{K(1/k)} +1 - \dfrac{16k^{2}}{3}(1-k^{2}) \\ \text{separatrix outside},\\ \dfrac{8}{3}(1-2k^{2}) \dfrac{E(k)}{K(k)} - \dfrac{5-8k^{2}}{3} \\ \text{separatrix inside}. \end{array} \right.$$ Computations of ${\left\langle {\left\langle \cos aq \right\rangle}_{{H_{0}}} {\left\langle \cos bq \right\rangle}_{{H_{0}}} \right\rangle}_{0}$ ------------------------------------------------------------------------------------------------------------------------------------------------ We first show the equality . Noting that $f_{0}$ and ${\left\langle \psi_{2} \right\rangle}_{{H_{0}}}$ depends on $J$ only, and using $dqdp=d\theta dJ$, we can show $$\begin{split} & {\left\langle \psi_{1} {\left\langle \psi_{2} \right\rangle}_{{H_{0}}} \right\rangle}_{0} = \int dJ f_{0} {\left\langle \psi_{2} \right\rangle}_{{H_{0}}} \int d\theta \psi_{1} \\ & = 2\pi \int dJ f_{0} {\left\langle \psi_{2} \right\rangle}_{{H_{0}}} {\left\langle \psi_{1} \right\rangle}_{{H_{0}}} = \iint_{\mu} f_{0} {\left\langle \psi_{1} \right\rangle}_{{H_{0}}} {\left\langle \psi_{2} \right\rangle}_{{H_{0}}} dqdp \\ & = {\left\langle {\left\langle \psi_{1} \right\rangle}_{{H_{0}}} {\left\langle \psi_{2} \right\rangle}_{{H_{0}}} \right\rangle}_{0}. \end{split}$$ We then consider the average $${\left\langle {\left\langle \cos aq \right\rangle}_{{H_{0}}} {\left\langle \cos bq \right\rangle}_{{H_{0}}} \right\rangle}_{0} = 2\pi \int f_{0} {\left\langle \cos aq \right\rangle}_{{H_{0}}} {\left\langle \cos bq \right\rangle}_{{H_{0}}} dJ.$$ As shown previously, the average ${\left\langle \cos aq \right\rangle}_{{H_{0}}}$ is obtained as a function of $k$, and accordingly, we change the integral variable from $J$ to $k$ by using the Jacobian $$\dfrac{dJ}{dk} = \left\{ \begin{array}{ll} \dfrac{4\sqrt{M}}{\pi} K(1/k) & \text{separatrix outside}, \\ \dfrac{8\sqrt{M}}{\pi} k K(k) & \text{separatrix inside}, \\ \end{array} \right.$$ where we used the derivatives of $K(k)$ and $E(k)$ $$\begin{split} \dfrac{dK}{dk}(k) & = \dfrac{E(k)-(1-k^{2})K(k)}{k(1-k^{2})}, \\ \dfrac{dE}{dk}(k) & = \dfrac{E(k)-K(k)}{k}. \end{split}$$ Denoting the initial stationary state as ${f_{0}}(q,p)=G_{0}(k)$, and recalling that the separatrix outside has two contributions from the upper and the lower of the separatrix, we have $$\label{eq:avecosaqcosbq-qss} \begin{split} & {\left\langle {\left\langle \cos aq \right\rangle}_{{H_{0}}} {\left\langle \cos bq \right\rangle}_{{H_{0}}} \right\rangle}_{0} \\ & = 16 \sqrt{M} \int_{1}^{\infty} G_{0}(k) K(1/k) {\left\langle \cos aq \right\rangle}_{{H_{0}}} {\left\langle \cos bq \right\rangle}_{{H_{0}}} dk \\ & + 16 \sqrt{M} \int_{0}^{1} G_{0}(k) k K(k) {\left\langle \cos aq \right\rangle}_{{H_{0}}} {\left\langle \cos bq \right\rangle}_{{H_{0}}} dk. \end{split}$$ The $(1,1)$-element in the Nematic phase {#sec:11element-nematic} ---------------------------------------- We give the $(1,1)$-element in the Nematic phase. We derive it via replacing $q$ with $2q$ in the obtained results. We note that the same formula is also derived by starting from the Hamiltonian $$H_{0} = \dfrac{p^{2}}{2} - \Lambda_{2}m_{20}\cos 2q.$$ The Nematic phase has two hyperbolic fixed points of $(q,p)=(-\pi/2,0)$ and $(\pi/2,0)$ and the separatrix connects them by forming two "eyes" centered at $(q,p)=(0,0)$ (eye-1) and $(\pi,0)$ (eye-2). See Fig.\[fig:phasespace\](b). From symmetry, the average ${\left\langle \cos q \right\rangle}_{{H_{0}}}$ is canceled in separatrix outside. Indeed, the average is modified as $$\begin{split} & 2\pi {\left\langle \cos aq \right\rangle}_{{H_{0}}} = \int_{0}^{2\pi} \cos aq(\theta) d\theta = \int_{0}^{2\pi} \cos aq(\theta+\pi) d\theta \\ & = \int_{0}^{2\pi} \cos a(q(\theta)+\pi) d\theta = \cos a\pi \times 2\pi {\left\langle \cos aq \right\rangle}_{{H_{0}}}. \end{split}$$ In
{'source': 'arXiv_out/1701'}