<?xml version="1.0" encoding="UTF-8"?>
<article xmlns="http://specifications.silverchair.com/xsd/article/1/0/SCJATS-journalpublishing1-0.xsd" xmlns:xlink="http://www.w3.org/1999/xlink" article-type="research-article" xml:lang="EN">
<front>
<journal-meta>
<journal-id journal-id-type="publisher-id">ptep</journal-id>
<journal-title-group>
<journal-title>Progress of Theoretical and Experimental Physics</journal-title>
</journal-title-group>
<issn pub-type="epub">2050-3911</issn>
<publisher>
<publisher-name>Oxford University Press</publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id pub-id-type="doi">10.1093/ptep/pty054</article-id>
<article-id pub-id-type="publisher-id">pty054</article-id>
<article-id pub-id-type="arxiv">arXiv:1707.04813</article-id>
<article-categories>
<subj-group subj-group-type="category-toc-heading">
<subject>Papers</subject>
<subj-group subj-group-type="category-toc-heading">
<subject>Condensed Matter Physics</subject>
</subj-group>
</subj-group>
<subj-group subj-group-type="category-journal-collection">
<subject>PTEP/I10</subject>
</subj-group>
</article-categories>
<title-group>
<article-title>Conformal bootstrap analysis for the Yang&#x2013;Lee edge singularity</article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author" corresp="yes">
<name><surname>Hikami</surname><given-names>S</given-names></name>
<xref ref-type="corresp" rid="COR1"/>
<xref ref-type="aff" rid="AFF1"/>
<email xlink:type="simple">hikami@oist.jp</email>
</contrib>
</contrib-group>
<aff id="AFF1"><italic>Mathematical and Theoretical Physics Unit, Okinawa Institute of Science and Technology Graduate University, Okinawa, Onna 904-0495, Japan</italic></aff>
<author-notes>
<corresp id="COR1">E-mail: <email>hikami@oist.jp</email></corresp>
</author-notes>
<pub-date pub-type="cover">
<month>05</month>
<year>2018</year>
</pub-date>
<pub-date pub-type="collection">
<day>01</day>
<month>05</month>
<year>2018</year>
</pub-date>
<pub-date pub-type="epub" iso-8601-date="2018-05-30">
<day>30</day>
<month>05</month>
<year>2018</year>
</pub-date>
<volume>2018</volume>
<issue>5</issue>
<elocation-id>053I01</elocation-id>
<history>
<date date-type="received">
<day>18</day>
<month>01</month>
<year>2018</year>
</date>
<date date-type="rev-recd">
<day>04</day>
<month>04</month>
<year>2018</year>
</date>
<date date-type="accepted">
<day>16</day>
<month>04</month>
<year>2018</year>
</date>
</history>
<permissions>
<copyright-statement>&#x00A9; The Author(s) 2018. Published by Oxford University Press on behalf of the Physical Society of Japan.</copyright-statement>
<copyright-year>2018</copyright-year>
<license license-type="cc-by" xlink:href="http://creativecommons.org/licenses/by/4.0/">
<license-p>This is an Open Access article distributed under the terms of the Creative Commons Attribution License (<ext-link ext-link-type="uri" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://creativecommons.org/licenses/by/4.0/">http://creativecommons.org/licenses/by/4.0/</ext-link>), which permits unrestricted reuse, distribution, and reproduction in any medium, provided the original work is properly cited.</license-p>
<license-p>Funded by SCOAP<sup>3</sup></license-p>
</license>
</permissions>
<self-uri xlink:href="pty054.pdf"/>
<abstract abstract-type="abstract"><title>Abstract</title>
<p>The Yang&#x2013;Lee edge singularity is investigated by the determinant method of the conformal field theory. <inline-formula><tex-math notation="LaTeX" id="ImEquation1"><![CDATA[$3\times 3$]]></tex-math></inline-formula> minors are used for the evaluation of the scale dimension. The agreement with the Pad&#x00E9; of <inline-formula><tex-math notation="LaTeX" id="ImEquation2"><![CDATA[$\epsilon$]]></tex-math></inline-formula> expansion in the region <inline-formula><tex-math notation="LaTeX" id="ImEquation3"><![CDATA[$3< D< 6$]]></tex-math></inline-formula> is improved. The critical dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation4"><![CDATA[$D_\mathrm{c}$]]></tex-math></inline-formula>, where the scale dimension of scalar <inline-formula><tex-math notation="LaTeX" id="ImEquation5"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula> is vanishing, is used for the improvement of the Pad&#x00E9;. For the understanding of the intersection point of zero loci of <inline-formula><tex-math notation="LaTeX" id="ImEquation6"><![CDATA[$3\times 3$]]></tex-math></inline-formula> minors, <inline-formula><tex-math notation="LaTeX" id="ImEquation7"><![CDATA[$2\times 2$]]></tex-math></inline-formula> minors are investigated in detail; these are connected through Pl&#x00FC;ker relations.</p>
</abstract>
<kwd-group kwd-group-type="jel">
<kwd>I10</kwd>
</kwd-group>
<counts>
<page-count count="15"/>
</counts>
</article-meta>
</front>
<body>
<sec sec-type="intro" id="SEC1"><title>1. Introduction</title>
<p>The conformal field theory was developed a long time ago [<xref ref-type="bibr" rid="B1">1</xref>], and the modern numerical approach was initiated in Ref. [<xref ref-type="bibr" rid="B2">2</xref>]. Recent studies using this conformal bootstrap method have obtained some remarkable results for the 3D Ising model [<xref ref-type="bibr" rid="B3">3</xref>,<xref ref-type="bibr" rid="B4">4</xref>], Yang&#x2013;Lee edge singularities [<xref ref-type="bibr" rid="B5">5</xref>,<xref ref-type="bibr" rid="B6">6</xref>], <inline-formula><tex-math notation="LaTeX" id="ImEquation8"><![CDATA[$O(N)$]]></tex-math></inline-formula> models [<xref ref-type="bibr" rid="B7">7</xref>&#x2013;<xref ref-type="bibr" rid="B10">10</xref>], and self-avoiding walks [<xref ref-type="bibr" rid="B11">11</xref>].</p>
<p>A brief summary of the determinant method for the conformal bootstrap theory is as follows. The conformal bootstrap theory is based on the conformal group <inline-formula><tex-math notation="LaTeX" id="ImEquation9"><![CDATA[$O(D,2)$]]></tex-math></inline-formula>, and the conformal block <inline-formula><tex-math notation="LaTeX" id="ImEquation10"><![CDATA[$G_{\Delta,L}$]]></tex-math></inline-formula> is the eigenfunction of the Casimir differential operator <inline-formula><tex-math notation="LaTeX" id="ImEquation11"><![CDATA[$\tilde D_2$]]></tex-math></inline-formula>. The eigenvalue of this Casimir operator is <inline-formula><tex-math notation="LaTeX" id="ImEquation12"><![CDATA[$C_2$]]></tex-math></inline-formula>:
<disp-formula id="pty054-M1"><label>(1)</label><tex-math notation="LaTeX" id="Equation1"><![CDATA[
\begin{eqnarray}\label{Casimir}
&&\tilde D_2 G_{\Delta,L} = C_2 G_{\Delta,L},\nonumber\\
&&C_2 = \frac{1}{2}[\Delta (\Delta - D) + L( L + D - 2)].
\end{eqnarray}
]]></tex-math></disp-formula></p>
<p>The solutions of the Casimir equation have been studied in Refs. [<xref ref-type="bibr" rid="B18">18</xref>&#x2013;<xref ref-type="bibr" rid="B20">20</xref>]. The conformal block <inline-formula><tex-math notation="LaTeX" id="ImEquation13"><![CDATA[$G_{\Delta,L}(u,v)$]]></tex-math></inline-formula> has two variables <inline-formula><tex-math notation="LaTeX" id="ImEquation14"><![CDATA[$u$]]></tex-math></inline-formula> and <inline-formula><tex-math notation="LaTeX" id="ImEquation15"><![CDATA[$v$]]></tex-math></inline-formula>, which denote the cross ratios, <inline-formula><tex-math notation="LaTeX" id="ImEquation16"><![CDATA[$u= (x_{12}x_{34}/x_{13}x_{24})^2$]]></tex-math></inline-formula>, <inline-formula><tex-math notation="LaTeX" id="ImEquation17"><![CDATA[$v=(x_{14}x_{23}/x_{13}x_{24})^2$]]></tex-math></inline-formula>, where <inline-formula><tex-math notation="LaTeX" id="ImEquation18"><![CDATA[$x_{ij}= x_i-x_j$]]></tex-math></inline-formula> (<inline-formula><tex-math notation="LaTeX" id="ImEquation19"><![CDATA[$x_i$]]></tex-math></inline-formula> is a 2D coordinate). They are expressed as <inline-formula><tex-math notation="LaTeX" id="ImEquation20"><![CDATA[$u= z\bar z$]]></tex-math></inline-formula> and <inline-formula><tex-math notation="LaTeX" id="ImEquation21"><![CDATA[$v=(1-z)(1-\bar z)$]]></tex-math></inline-formula>. For the particular point <inline-formula><tex-math notation="LaTeX" id="ImEquation22"><![CDATA[$z=\bar z$]]></tex-math></inline-formula>, the conformal block <inline-formula><tex-math notation="LaTeX" id="ImEquation23"><![CDATA[$G_{\Delta,L}(u,v)$]]></tex-math></inline-formula> for the spin-zero (<inline-formula><tex-math notation="LaTeX" id="ImEquation24"><![CDATA[$L=0$]]></tex-math></inline-formula>) case has a simple expression:
<disp-formula id="pty054-M2"><label>(2)</label><tex-math notation="LaTeX" id="Equation2"><![CDATA[
\begin{equation}\label{hyper}
G_{\Delta,0}(u,v)|_{z=\bar z} = {\left(\frac{z^2}{1-z}\right)^{\Delta/2}} { }_3F_2\left[\frac{\Delta}{2},\frac{\Delta}{2},\frac{\Delta}{2}-\frac{D}{2}+1;\frac{D+1}{2},\Delta-\frac{D}{2}+1; \frac{z^2}{4(z-1)}\right]\!.
\end{equation}
]]></tex-math></disp-formula></p>
<p>The conformal bootstrap determines <inline-formula><tex-math notation="LaTeX" id="ImEquation25"><![CDATA[$\Delta$]]></tex-math></inline-formula> by the condition of the crossing symmetry <inline-formula><tex-math notation="LaTeX" id="ImEquation26"><![CDATA[$x_1\leftrightarrow x_3$]]></tex-math></inline-formula>. For practical calculations, the point <inline-formula><tex-math notation="LaTeX" id="ImEquation27"><![CDATA[$z=\bar z = 1/2$]]></tex-math></inline-formula> is chosen and, by the recursion relation derived from the Casimir equation of Eq. (<xref ref-type="disp-formula" rid="pty054-M1">1</xref>), <inline-formula><tex-math notation="LaTeX" id="ImEquation28"><![CDATA[$G_{\Delta,L}(u,v)$]]></tex-math></inline-formula> at <inline-formula><tex-math notation="LaTeX" id="ImEquation29"><![CDATA[$z=\bar z=1/2$]]></tex-math></inline-formula> can be obtained [<xref ref-type="bibr" rid="B3">3</xref>].</p>
<p>The conformal bootstrap analysis with a small matrix size has been investigated for the Yang&#x2013;Lee edge singularity with accurate results for the scale dimensions by Gliozzi and Rago [<xref ref-type="bibr" rid="B5">5</xref>,<xref ref-type="bibr" rid="B6">6</xref>]. For other models, this bootstrap method for the determinant has been considered [<xref ref-type="bibr" rid="B12">12</xref>,<xref ref-type="bibr" rid="B15">15</xref>,<xref ref-type="bibr" rid="B21">21</xref>,<xref ref-type="bibr" rid="B22">22</xref>]. In this paper, we emphasize the importance of the structure of minors along the Pl&#x00FC;ker relations, as shown in the appendix, and we apply it to the Yang&#x2013;Lee model for a scale dimension of <inline-formula><tex-math notation="LaTeX" id="ImEquation30"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula>. The intersection point of the zero loci of <inline-formula><tex-math notation="LaTeX" id="ImEquation31"><![CDATA[$3\times 3$]]></tex-math></inline-formula> minors was evaluated and it gave a remarkable value of the critical exponent in Ref. [<xref ref-type="bibr" rid="B5">5</xref>]. In these <inline-formula><tex-math notation="LaTeX" id="ImEquation32"><![CDATA[$3\times 3$]]></tex-math></inline-formula> minors, if the value of the space dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation33"><![CDATA[$D$]]></tex-math></inline-formula> is given, the value of <inline-formula><tex-math notation="LaTeX" id="ImEquation34"><![CDATA[$\Delta_\epsilon=\Delta_\phi$]]></tex-math></inline-formula> is determined from the intersection point. However, if one goes to larger minors, for instance <inline-formula><tex-math notation="LaTeX" id="ImEquation35"><![CDATA[$4\times4$]]></tex-math></inline-formula> or <inline-formula><tex-math notation="LaTeX" id="ImEquation36"><![CDATA[$5\times 5$]]></tex-math></inline-formula> minors, one need the values of additional scale dimensions of the operator product expansion (OPE). In the study of such large minors, however, the values of <inline-formula><tex-math notation="LaTeX" id="ImEquation37"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula> deviate from the <inline-formula><tex-math notation="LaTeX" id="ImEquation38"><![CDATA[$\epsilon$]]></tex-math></inline-formula> expansion [<xref ref-type="bibr" rid="B6">6</xref>]. This discrepancy should be improved by the determinant method or by analysis of the <inline-formula><tex-math notation="LaTeX" id="ImEquation39"><![CDATA[$\epsilon$]]></tex-math></inline-formula> expansion, since the conformal bootstrap method should be consistent with the <inline-formula><tex-math notation="LaTeX" id="ImEquation40"><![CDATA[$\epsilon$]]></tex-math></inline-formula> expansion [<xref ref-type="bibr" rid="B24">24</xref>,<xref ref-type="bibr" rid="B25">25</xref>]. Recently, consistent results were obtained in the <inline-formula><tex-math notation="LaTeX" id="ImEquation41"><![CDATA[$O(N)$]]></tex-math></inline-formula> vector model through the Mellin amplitude [<xref ref-type="bibr" rid="B13">13</xref>].</p>
<p>We consider this discrepancy by repeating Gliozzi&#x2019;s evaluation of the <inline-formula><tex-math notation="LaTeX" id="ImEquation42"><![CDATA[$3\times 3$]]></tex-math></inline-formula> minors [<xref ref-type="bibr" rid="B5">5</xref>] and find that <inline-formula><tex-math notation="LaTeX" id="ImEquation43"><![CDATA[$3\times 3$]]></tex-math></inline-formula> minors give accurate values that agree with the improved <inline-formula><tex-math notation="LaTeX" id="ImEquation44"><![CDATA[$\epsilon$]]></tex-math></inline-formula> expansion (see <xref ref-type="fig" rid="F8">Fig. 8</xref>). The nature of the determinant method is still not known, and the convergence to the true value seems to be slow. As we mentioned before, we have to assume the values of the scale dimensions of the OPE, such as spin 4, spin 6, etc., for the large minors. Unfortunately we do not know precisely these higher spin values at present. Therefore, we concentrate on <inline-formula><tex-math notation="LaTeX" id="ImEquation45"><![CDATA[$3\times 3$]]></tex-math></inline-formula> minors without any assumption of the other scale dimensions of the OPE.</p>

<p>The four-point correlation function is given by
<disp-formula id="pty054-M3"><label>(3)</label><tex-math notation="LaTeX" id="Equation3"><![CDATA[
\begin{equation}
\left<\phi(x_1)\phi(x_2)\phi(x_3)\phi(x_4)\right> = \frac{g(u,v)}{|x_{12}|^{2\Delta_\phi}|x_{34}|^{2\Delta_\phi}}
\end{equation}
]]></tex-math></disp-formula>
and the amplitude <inline-formula><tex-math notation="LaTeX" id="ImEquation50"><![CDATA[$g(u,v)$]]></tex-math></inline-formula> is expanded as the sum of conformal blocks:
<disp-formula id="pty054-M4"><label>(4)</label><tex-math notation="LaTeX" id="Equation4"><![CDATA[
\begin{equation}
g(u,v) = 1 + \sum_{\Delta,L} p_{\Delta,L} G_{\Delta,L}(u,v).
\end{equation}
]]></tex-math></disp-formula></p>
<p>The crossing symmetry of <inline-formula><tex-math notation="LaTeX" id="ImEquation51"><![CDATA[$x_1\leftrightarrow x_3$]]></tex-math></inline-formula> implies
<disp-formula id="pty054-M5"><label>(5)</label><tex-math notation="LaTeX" id="Equation5"><![CDATA[
\begin{equation}\label{crossing}
\sum_{\Delta,L} p_{\Delta,L} \frac{v^{\Delta_\phi}G_{\Delta,L}(u,v)- u^{\Delta_\phi}G_{\Delta,L}(v,u)}{u^{\Delta_\phi}-v^{\Delta_\phi}} = 1.
\end{equation}
]]></tex-math></disp-formula></p>
<p>The minor method consists of the derivatives at the symmetric point <inline-formula><tex-math notation="LaTeX" id="ImEquation52"><![CDATA[$z=\bar z= 1/2$]]></tex-math></inline-formula> of Eq. (<xref ref-type="disp-formula" rid="pty054-M5">5</xref>). By a change of variables <inline-formula><tex-math notation="LaTeX" id="ImEquation53"><![CDATA[$z=(a+ \sqrt{b})/2$]]></tex-math></inline-formula>, <inline-formula><tex-math notation="LaTeX" id="ImEquation54"><![CDATA[$\bar z= (a-\sqrt{b})/2$]]></tex-math></inline-formula>, derivatives are taken about <inline-formula><tex-math notation="LaTeX" id="ImEquation55"><![CDATA[$a$]]></tex-math></inline-formula> and <inline-formula><tex-math notation="LaTeX" id="ImEquation56"><![CDATA[$b$]]></tex-math></inline-formula>. Since the number of equations becomes larger than the number of truncated variables <inline-formula><tex-math notation="LaTeX" id="ImEquation57"><![CDATA[$\Delta$]]></tex-math></inline-formula>, we need to consider the minors for the determination of the values of <inline-formula><tex-math notation="LaTeX" id="ImEquation58"><![CDATA[$\Delta$]]></tex-math></inline-formula>. The matrix elements of minors are expressed by
<disp-formula id="pty054-M6"><label>(6)</label><tex-math notation="LaTeX" id="Equation6"><![CDATA[
\begin{equation}\label{bootstrap}
f_{\Delta,L}^{(m,n)}= \left(\partial_a^m \partial_b^n \frac{v^{\Delta_\phi}G_{\Delta,L}(u,v)- u^{\Delta_\phi}G_{\Delta,L}(v,u)}{u^{\Delta_\phi}-v^{\Delta_\phi}}\right)|_{a=1,b=0}
\end{equation}
]]></tex-math></disp-formula>
and the minors of <inline-formula><tex-math notation="LaTeX" id="ImEquation59"><![CDATA[$2\times 2$]]></tex-math></inline-formula>, <inline-formula><tex-math notation="LaTeX" id="ImEquation60"><![CDATA[$3\times 3$]]></tex-math></inline-formula>, e.g., <inline-formula><tex-math notation="LaTeX" id="ImEquation61"><![CDATA[$d_{ij}$]]></tex-math></inline-formula>, <inline-formula><tex-math notation="LaTeX" id="ImEquation62"><![CDATA[$d_{ijk}$]]></tex-math></inline-formula>, are determinants such as
<disp-formula id="pty054-M7"><label>(7)</label><tex-math notation="LaTeX" id="Equation7"><![CDATA[
\begin{equation}\label{dijk}
d_{ij}= {\rm det}\left(f_{\Delta,L}^{(m,n)}\right)\!,\hskip 3mm
d_{ijk} = {\rm det} \left( f_{\Delta,L}^{(m,n)} \right)\!,
\end{equation}
]]></tex-math></disp-formula>
where <inline-formula><tex-math notation="LaTeX" id="ImEquation63"><![CDATA[$i,j,k$]]></tex-math></inline-formula> are numbers chosen differently from (<inline-formula><tex-math notation="LaTeX" id="ImEquation64"><![CDATA[$1,\ldots,6$]]></tex-math></inline-formula>), following the concise correspondence to <inline-formula><tex-math notation="LaTeX" id="ImEquation65"><![CDATA[$(m,n)$]]></tex-math></inline-formula> as <inline-formula><tex-math notation="LaTeX" id="ImEquation66"><![CDATA[$1\to (2,0)$]]></tex-math></inline-formula>, <inline-formula><tex-math notation="LaTeX" id="ImEquation67"><![CDATA[$2\to (4,0)$]]></tex-math></inline-formula>, <inline-formula><tex-math notation="LaTeX" id="ImEquation68"><![CDATA[$3\to (0,1)$]]></tex-math></inline-formula>, <inline-formula><tex-math notation="LaTeX" id="ImEquation69"><![CDATA[$4\to (0,2)$]]></tex-math></inline-formula>, <inline-formula><tex-math notation="LaTeX" id="ImEquation70"><![CDATA[$5\to (2,1)$]]></tex-math></inline-formula>, and <inline-formula><tex-math notation="LaTeX" id="ImEquation71"><![CDATA[$6\to (6,0)$]]></tex-math></inline-formula>.</p>
<p>In the Yang&#x2013;Lee case, a fusion rule is simply written as [<xref ref-type="bibr" rid="B5">5</xref>]
<disp-formula id="pty054-M8"><label>(8)</label><tex-math notation="LaTeX" id="Equation8"><![CDATA[
\begin{equation}
[ \Delta_\phi ] \times [ \Delta_\phi ] = 1 + [ \Delta_\phi ] + [ D,2 ] + [\Delta_4,4 ] + \cdots .
\end{equation}
]]></tex-math></disp-formula></p>
<p>The scalar (<inline-formula><tex-math notation="LaTeX" id="ImEquation72"><![CDATA[$L=0$]]></tex-math></inline-formula>) term in the bootstrap equation of Eq. (<xref ref-type="disp-formula" rid="pty054-M6">6</xref>) is denoted as
<disp-formula id="pty054-M9"><label>(9)</label><tex-math notation="LaTeX" id="Equation9"><![CDATA[
\begin{equation}
vs0= \frac{v^{\Delta_\phi}G_{\Delta,0}(u,v) - u^{\Delta_\phi}G_{\Delta,0}(v,u)}{u^{\Delta_\phi}-v^{\Delta_\phi}}.
\end{equation}
]]></tex-math></disp-formula></p>
<p>We use the notation <inline-formula><tex-math notation="LaTeX" id="ImEquation73"><![CDATA[$(vsk)$]]></tex-math></inline-formula> (<inline-formula><tex-math notation="LaTeX" id="ImEquation74"><![CDATA[$k$]]></tex-math></inline-formula> is a number, related to the degree of the differential, <inline-formula><tex-math notation="LaTeX" id="ImEquation75"><![CDATA[$v$]]></tex-math></inline-formula> is a vector, and <inline-formula><tex-math notation="LaTeX" id="ImEquation76"><![CDATA[$s$]]></tex-math></inline-formula> is a scalar) for the derivatives of the <inline-formula><tex-math notation="LaTeX" id="ImEquation77"><![CDATA[$(vs0)$]]></tex-math></inline-formula> rule in Eq. (<xref ref-type="disp-formula" rid="pty054-M6">6</xref>). For <inline-formula><tex-math notation="LaTeX" id="ImEquation78"><![CDATA[$L=2$]]></tex-math></inline-formula> we use (<inline-formula><tex-math notation="LaTeX" id="ImEquation79"><![CDATA[$vtk$]]></tex-math></inline-formula>), and for <inline-formula><tex-math notation="LaTeX" id="ImEquation80"><![CDATA[$L=4$]]></tex-math></inline-formula> we use <inline-formula><tex-math notation="LaTeX" id="ImEquation81"><![CDATA[$(vqk)$]]></tex-math></inline-formula>. <inline-formula><tex-math notation="LaTeX" id="ImEquation82"><![CDATA[$(vxk)$]]></tex-math></inline-formula> is for <inline-formula><tex-math notation="LaTeX" id="ImEquation83"><![CDATA[$L=6$]]></tex-math></inline-formula>.</p>
<p>The scalar (<inline-formula><tex-math notation="LaTeX" id="ImEquation84"><![CDATA[$L=0$]]></tex-math></inline-formula>) case is expressed by the hypergeometric function (<inline-formula><tex-math notation="LaTeX" id="ImEquation85"><![CDATA[$\Delta = \Delta_\phi$]]></tex-math></inline-formula> for the Yang&#x2013;Lee edge singularity)
<disp-formula id="pty054-M10"><label>(10)</label><tex-math notation="LaTeX" id="Equation10"><![CDATA[
\begin{equation}\label{vs0}
vs0 = - 2^{-\Delta/2} ys + \frac{3 \times2^{-1-\Delta/2}}{2} ys + \frac{2^{-\Delta/2}}{2 \Delta} ys',
\end{equation}
]]></tex-math></disp-formula>
where
<disp-formula id="pty054-M11"><label>(11)</label><tex-math notation="LaTeX" id="Equation11"><![CDATA[
\begin{equation}
ys = {}_3 F_2\left( \frac{\Delta}{2},\frac{\Delta}{2},\frac{\Delta}{2}-\frac{D}{2} + 1;\frac{\Delta}{2}+\frac{1}{2}, \Delta - \frac{D}{2}+1: \frac{a^2}{8(-2+a)}\right)
\end{equation}
]]></tex-math></disp-formula>
and <inline-formula><tex-math notation="LaTeX" id="ImEquation86"><![CDATA[$ys'$]]></tex-math></inline-formula> is derivative of <inline-formula><tex-math notation="LaTeX" id="ImEquation87"><![CDATA[$ys$]]></tex-math></inline-formula>. We consider the derivative at a point <inline-formula><tex-math notation="LaTeX" id="ImEquation88"><![CDATA[$a=1$]]></tex-math></inline-formula>.</p>
<p>For instance, we have <inline-formula><tex-math notation="LaTeX" id="ImEquation89"><![CDATA[$2\times 2$]]></tex-math></inline-formula> minors:
<disp-formula id="pty054-M12"><label>(12)</label><tex-math notation="LaTeX" id="Equation12"><![CDATA[
\begin{equation}
d_{13} = {\rm det}\left(\begin{array}{cc}
vs1 & vs3\\
vt1 & vt3
\end{array} \right)\!,\hskip 3mm
d_{23} = {\rm det}\left(\begin{array}{cc}
vs2 & vs3\\
vt2 & vt3
\end{array} \right)\!.\end{equation}
]]></tex-math></disp-formula></p>
<p>In this Yang&#x2013;Lee edge singularity, we find that the <inline-formula><tex-math notation="LaTeX" id="ImEquation90"><![CDATA[$2\times 2$]]></tex-math></inline-formula> minor, <inline-formula><tex-math notation="LaTeX" id="ImEquation91"><![CDATA[$d_{13}$]]></tex-math></inline-formula>, becomes zero at <inline-formula><tex-math notation="LaTeX" id="ImEquation92"><![CDATA[$D=6$]]></tex-math></inline-formula>, and it provides exact values of <inline-formula><tex-math notation="LaTeX" id="ImEquation93"><![CDATA[$\Delta_\phi=2$]]></tex-math></inline-formula>.</p>
</sec>
<sec id="SEC2"><title>2. <inline-formula><tex-math notation="LaTeX" id="ImEquation94"><![CDATA[$2\times 2$]]></tex-math></inline-formula> minors</title>
<p>The intersection points of zero loci of <inline-formula><tex-math notation="LaTeX" id="ImEquation95"><![CDATA[$3\times 3$]]></tex-math></inline-formula> minors are decomposed to <inline-formula><tex-math notation="LaTeX" id="ImEquation96"><![CDATA[$2\times 2$]]></tex-math></inline-formula> minors at the critical dimensions <inline-formula><tex-math notation="LaTeX" id="ImEquation97"><![CDATA[$D=6$]]></tex-math></inline-formula> for the free theory. In the appendix (relation 1), this decomposition is shown. Among several <inline-formula><tex-math notation="LaTeX" id="ImEquation98"><![CDATA[$2\times 2$]]></tex-math></inline-formula> minors, <inline-formula><tex-math notation="LaTeX" id="ImEquation99"><![CDATA[$d_{12}, d_{13}, d_{23},\ldots,$]]></tex-math></inline-formula> the most fundamental minors may be <inline-formula><tex-math notation="LaTeX" id="ImEquation100"><![CDATA[$d_{13}$]]></tex-math></inline-formula> and <inline-formula><tex-math notation="LaTeX" id="ImEquation101"><![CDATA[$d_{23}$]]></tex-math></inline-formula>, which are made of lower derivatives of <inline-formula><tex-math notation="LaTeX" id="ImEquation102"><![CDATA[$a$]]></tex-math></inline-formula> and <inline-formula><tex-math notation="LaTeX" id="ImEquation103"><![CDATA[$b$]]></tex-math></inline-formula>. Note that, in the Yang&#x2013;Lee model, the constraint <inline-formula><tex-math notation="LaTeX" id="ImEquation104"><![CDATA[$\Delta_\epsilon =\Delta_\phi$]]></tex-math></inline-formula> is taken, and the <inline-formula><tex-math notation="LaTeX" id="ImEquation105"><![CDATA[$2\times 2$]]></tex-math></inline-formula> minor analysis corresponds to the <inline-formula><tex-math notation="LaTeX" id="ImEquation106"><![CDATA[$3\times 3$]]></tex-math></inline-formula> minor analysis of another model such as the Ising model, in which <inline-formula><tex-math notation="LaTeX" id="ImEquation107"><![CDATA[$\Delta_\epsilon \ne \Delta_\phi$]]></tex-math></inline-formula>. From the point of the truncation error in the OPE, as discussed in Ref. [<xref ref-type="bibr" rid="B15">15</xref>], it is interesting to start from <inline-formula><tex-math notation="LaTeX" id="ImEquation108"><![CDATA[$2\times 2$]]></tex-math></inline-formula> minors. The Yang&#x2013;Lee singularity is connected to supersymmetry through the dimensional reduction of a branched polymer, where we have an exact relation of <inline-formula><tex-math notation="LaTeX" id="ImEquation109"><![CDATA[$\Delta_\epsilon = \Delta_\phi + 1$]]></tex-math></inline-formula> [<xref ref-type="bibr" rid="B14">14</xref>,<xref ref-type="bibr" rid="B16">16</xref>,<xref ref-type="bibr" rid="B17">17</xref>]. We will discuss the dimensional reduction <inline-formula><tex-math notation="LaTeX" id="ImEquation110"><![CDATA[$D+2\to D$]]></tex-math></inline-formula> behavior in the Yang&#x2013;Lee model in <inline-formula><tex-math notation="LaTeX" id="ImEquation111"><![CDATA[$2\times 2$]]></tex-math></inline-formula> minors.</p>
<p>The <inline-formula><tex-math notation="LaTeX" id="ImEquation112"><![CDATA[$2\times 2$]]></tex-math></inline-formula> minors consist of two parameters, dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation113"><![CDATA[$D$]]></tex-math></inline-formula> and the scaling dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation114"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula>, since we have <inline-formula><tex-math notation="LaTeX" id="ImEquation115"><![CDATA[$\Delta_{\phi^2} = \Delta_\phi$]]></tex-math></inline-formula> (<inline-formula><tex-math notation="LaTeX" id="ImEquation116"><![CDATA[$\Delta_\epsilon = \Delta_{\phi^2}$]]></tex-math></inline-formula>) for the Yang&#x2013;Lee case, due to the <inline-formula><tex-math notation="LaTeX" id="ImEquation117"><![CDATA[$\phi^3$]]></tex-math></inline-formula> theory.</p>
<p><list list-type="simple">
<list-item><p><bold>(i)</bold> Free field theory at <inline-formula><tex-math notation="LaTeX" id="ImEquation118"><![CDATA[$D=6$]]></tex-math></inline-formula></p>
<p>The zero loci of <inline-formula><tex-math notation="LaTeX" id="ImEquation119"><![CDATA[$d_{13}$]]></tex-math></inline-formula> gives exactly the scale dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation120"><![CDATA[$\Delta_\phi = 2.0$]]></tex-math></inline-formula> at <inline-formula><tex-math notation="LaTeX" id="ImEquation121"><![CDATA[$D=6$]]></tex-math></inline-formula>. The minors for <inline-formula><tex-math notation="LaTeX" id="ImEquation122"><![CDATA[$vq$]]></tex-math></inline-formula>, <inline-formula><tex-math notation="LaTeX" id="ImEquation123"><![CDATA[$vx$]]></tex-math></inline-formula>, and <inline-formula><tex-math notation="LaTeX" id="ImEquation124"><![CDATA[$vs'$]]></tex-math></inline-formula> (with a scalar scale dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation125"><![CDATA[$\Delta'$]]></tex-math></inline-formula>) can be zero:
<disp-formula id="pty054-M13"><label>(13)</label><tex-math notation="LaTeX" id="Equation13"><![CDATA[
\begin{equation}
{\rm det}\left(\begin{array}{cc}
vs1 & vq1\\
vs3 & vq3
\end{array} \right) = 0,\hskip 3mm
 {\rm det}\left(\begin{array}{cc}
vs1 & vx1\\
vs3 & vx3
\end{array} \right)=0,\hskip 3mm
 {\rm det}\left(\begin{array}{cc}
vs1 & vs1'\\
vs3 & vs3'
\end{array} \right)=0.\end{equation}
]]></tex-math></disp-formula></p>
<p>For the value <inline-formula><tex-math notation="LaTeX" id="ImEquation126"><![CDATA[$\Delta_\phi=2$]]></tex-math></inline-formula>, they yield <inline-formula><tex-math notation="LaTeX" id="ImEquation127"><![CDATA[$Q(=\Delta_4)= 8$]]></tex-math></inline-formula>, <inline-formula><tex-math notation="LaTeX" id="ImEquation128"><![CDATA[$\Delta_6= 10$]]></tex-math></inline-formula>, and <inline-formula><tex-math notation="LaTeX" id="ImEquation129"><![CDATA[$\Delta'=4$]]></tex-math></inline-formula>, respectively. These <inline-formula><tex-math notation="LaTeX" id="ImEquation130"><![CDATA[$\Delta_\phi,\ \Delta_4,\ \Delta_6,\ \Delta'$]]></tex-math></inline-formula> are determined exactly by <inline-formula><tex-math notation="LaTeX" id="ImEquation131"><![CDATA[$2\times 2$]]></tex-math></inline-formula> minors of <inline-formula><tex-math notation="LaTeX" id="ImEquation132"><![CDATA[$d_{13}$]]></tex-math></inline-formula>. This is due to the free theory, i.e., no interactions between the scale dimensions. It is known that the six dimensions have algebraic identities, which are valid for a free theory in any dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation133"><![CDATA[$D$]]></tex-math></inline-formula> [<xref ref-type="bibr" rid="B23">23</xref>].</p>
<p>Other minors yield different values; for instance, <inline-formula><tex-math notation="LaTeX" id="ImEquation134"><![CDATA[$d_{23}$]]></tex-math></inline-formula> gives <inline-formula><tex-math notation="LaTeX" id="ImEquation135"><![CDATA[$\Delta_\phi = 2.158$]]></tex-math></inline-formula> at <inline-formula><tex-math notation="LaTeX" id="ImEquation136"><![CDATA[$D=6$]]></tex-math></inline-formula>. These two different values of <inline-formula><tex-math notation="LaTeX" id="ImEquation137"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula> are understood when we evaluate <inline-formula><tex-math notation="LaTeX" id="ImEquation138"><![CDATA[$3\times 3$]]></tex-math></inline-formula> minors, as shown in <xref ref-type="fig" rid="F1">Figs. 1</xref> and <xref ref-type="fig" rid="F2">2</xref>. There are two fixed points of zero loci of <inline-formula><tex-math notation="LaTeX" id="ImEquation139"><![CDATA[$3\times 3$]]></tex-math></inline-formula> minors in the six dimensions. The <inline-formula><tex-math notation="LaTeX" id="ImEquation140"><![CDATA[$3\times 3$]]></tex-math></inline-formula> minors are denoted by <inline-formula><tex-math notation="LaTeX" id="ImEquation141"><![CDATA[$d_{ijk}$]]></tex-math></inline-formula> in Eq. (<xref ref-type="disp-formula" rid="pty054-M7">7</xref>); for instance, <inline-formula><tex-math notation="LaTeX" id="ImEquation142"><![CDATA[$d_{123}$]]></tex-math></inline-formula> means
<disp-formula id="pty054-M14"><label>(14)</label><tex-math notation="LaTeX" id="Equation14"><![CDATA[
\begin{align}
d_{123}= {\rm det}\left(\begin{array}{ccc}
vs1 & vt1 & vq1\\
vs2 & vt2 & vq2\\
vs3 & vt3 & vq3
\end{array} \right)\!.
\end{align}
]]></tex-math></disp-formula></p></list-item>
<list-item><p><bold>(ii)</bold> <inline-formula><tex-math notation="LaTeX" id="ImEquation143"><![CDATA[$D=3$]]></tex-math></inline-formula></p>
<p>The zero loci of <inline-formula><tex-math notation="LaTeX" id="ImEquation144"><![CDATA[$2\times 2$]]></tex-math></inline-formula> minor do not provide good results except for <inline-formula><tex-math notation="LaTeX" id="ImEquation145"><![CDATA[$D=6$]]></tex-math></inline-formula> dimensions. This is due to the situation where the free theory breaks down in general dimensions. We have to consider the loci of <inline-formula><tex-math notation="LaTeX" id="ImEquation146"><![CDATA[$2\times 2$]]></tex-math></inline-formula> minors of a finite small value due to the interactions, instead of a zero value, for the non-trivial fixed point. The small non-vanishing value of the minor might have an important meaning for the bound of <inline-formula><tex-math notation="LaTeX" id="ImEquation147"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula>. The loci of two important <inline-formula><tex-math notation="LaTeX" id="ImEquation148"><![CDATA[$2\times 2$]]></tex-math></inline-formula> minors <inline-formula><tex-math notation="LaTeX" id="ImEquation149"><![CDATA[$d_{13}$]]></tex-math></inline-formula> and <inline-formula><tex-math notation="LaTeX" id="ImEquation150"><![CDATA[$d_{23}$]]></tex-math></inline-formula> are shown in <xref ref-type="fig" rid="F2">Fig. 2</xref>, in which the value of <inline-formula><tex-math notation="LaTeX" id="ImEquation151"><![CDATA[$d_{13}$]]></tex-math></inline-formula> is changed by small values from <inline-formula><tex-math notation="LaTeX" id="ImEquation152"><![CDATA[$-$]]></tex-math></inline-formula>0.007 to 0.004, and the zero loci of <inline-formula><tex-math notation="LaTeX" id="ImEquation153"><![CDATA[$d_{23}$]]></tex-math></inline-formula> are also shown in <xref ref-type="fig" rid="F3">Fig. 3</xref> as a guide. The correct value of <inline-formula><tex-math notation="LaTeX" id="ImEquation154"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula> is realized in some finite-value contours of <inline-formula><tex-math notation="LaTeX" id="ImEquation155"><![CDATA[$d_{13}$]]></tex-math></inline-formula> for <inline-formula><tex-math notation="LaTeX" id="ImEquation156"><![CDATA[$D < 6$]]></tex-math></inline-formula>. Near <inline-formula><tex-math notation="LaTeX" id="ImEquation157"><![CDATA[$D=6$]]></tex-math></inline-formula>, deviation from the zero loci of <inline-formula><tex-math notation="LaTeX" id="ImEquation158"><![CDATA[$d_{13}$]]></tex-math></inline-formula> is expected since <inline-formula><tex-math notation="LaTeX" id="ImEquation159"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula> deviates from 2 as the <inline-formula><tex-math notation="LaTeX" id="ImEquation160"><![CDATA[$\epsilon=6-D$]]></tex-math></inline-formula> expansion shows: <inline-formula><tex-math notation="LaTeX" id="ImEquation161"><![CDATA[$\Delta_\phi \simeq 2 -0.5555 \epsilon$]]></tex-math></inline-formula>.</p>
<p>In <xref ref-type="fig" rid="F2">Fig. 2</xref>, the finite-value curves of <inline-formula><tex-math notation="LaTeX" id="ImEquation162"><![CDATA[$d_{13}$]]></tex-math></inline-formula> converge to a curve starting from <inline-formula><tex-math notation="LaTeX" id="ImEquation163"><![CDATA[$\Delta_\phi= 0.25$]]></tex-math></inline-formula> (at <inline-formula><tex-math notation="LaTeX" id="ImEquation164"><![CDATA[$D=1$]]></tex-math></inline-formula>) to 2.0 (at <inline-formula><tex-math notation="LaTeX" id="ImEquation165"><![CDATA[$D=4$]]></tex-math></inline-formula>). This curve resembles the correct <inline-formula><tex-math notation="LaTeX" id="ImEquation166"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula> contour if the space dimension is shifted from <inline-formula><tex-math notation="LaTeX" id="ImEquation167"><![CDATA[$D$]]></tex-math></inline-formula> to <inline-formula><tex-math notation="LaTeX" id="ImEquation168"><![CDATA[$D+2$]]></tex-math></inline-formula>. (The curve is translated to the right in <xref ref-type="fig" rid="F2">Fig. 2</xref> by two space dimensions by keeping the same value of <inline-formula><tex-math notation="LaTeX" id="ImEquation169"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula>.) This dimensional reduction will be discussed in <xref ref-type="sec" rid="SEC4">Sect. 4</xref>.</p>
<p>The finite-value contour map of <inline-formula><tex-math notation="LaTeX" id="ImEquation170"><![CDATA[$d_{13}$]]></tex-math></inline-formula> shows a valley shape, and one line is located at <inline-formula><tex-math notation="LaTeX" id="ImEquation171"><![CDATA[$D=2$]]></tex-math></inline-formula> near the exact value <inline-formula><tex-math notation="LaTeX" id="ImEquation172"><![CDATA[$\Delta_\phi = -0.4$]]></tex-math></inline-formula>, as shown in <xref ref-type="fig" rid="F3">Fig. 3</xref>. In <xref ref-type="fig" rid="F3">Fig. 3</xref>, the value of minor <inline-formula><tex-math notation="LaTeX" id="ImEquation173"><![CDATA[$d_{13}$]]></tex-math></inline-formula> is 0.0034, which gives <inline-formula><tex-math notation="LaTeX" id="ImEquation174"><![CDATA[$\Delta_\phi=-0.4$]]></tex-math></inline-formula>. The cusp point moves when the value of minor <inline-formula><tex-math notation="LaTeX" id="ImEquation175"><![CDATA[$d_{13}$]]></tex-math></inline-formula> is changed and its trace may give the bound of <inline-formula><tex-math notation="LaTeX" id="ImEquation176"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula>.</p>
<p>In <xref ref-type="fig" rid="F2">Figs. 2</xref> and <xref ref-type="fig" rid="F3">3</xref>, contour maps of <inline-formula><tex-math notation="LaTeX" id="ImEquation177"><![CDATA[$d_{13}$]]></tex-math></inline-formula> with small non-vanishing values are shown.</p></list-item>
</list></p>

<fig id="F1" orientation="portrait" position="float"><label>Fig. 1.</label><caption><p>The intersection of zero loci of <inline-formula><tex-math notation="LaTeX" id="ImEquation178"><![CDATA[$3\times 3$]]></tex-math></inline-formula> minors (<inline-formula><tex-math notation="LaTeX" id="ImEquation179"><![CDATA[$d_{123},\ d_{135},\ d_{134},\ d_{234},\ d_{235}$]]></tex-math></inline-formula>) for dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation180"><![CDATA[$D=6$]]></tex-math></inline-formula>. The axes are <inline-formula><tex-math notation="LaTeX" id="ImEquation181"><![CDATA[$(x,y) = (\Delta_\phi, Q)$]]></tex-math></inline-formula>. The intersection point of the five lines is <inline-formula><tex-math notation="LaTeX" id="ImEquation182"><![CDATA[$D=6, \Delta_\phi = 2$]]></tex-math></inline-formula> with <inline-formula><tex-math notation="LaTeX" id="ImEquation183"><![CDATA[$Q=8$]]></tex-math></inline-formula>, which is decomposed to the <inline-formula><tex-math notation="LaTeX" id="ImEquation184"><![CDATA[$2\times 2$]]></tex-math></inline-formula> minor <inline-formula><tex-math notation="LaTeX" id="ImEquation185"><![CDATA[$d_{13}$]]></tex-math></inline-formula>. The upper fixed point is related to the minor <inline-formula><tex-math notation="LaTeX" id="ImEquation186"><![CDATA[$d_{23}$]]></tex-math></inline-formula>.</p></caption>
<graphic xmlns:xlink="http://www.w3.org/1999/xlink" orientation="portrait" position="float" xlink:href="pty054f1.tif"/></fig>


<fig id="F2" orientation="portrait" position="float"><label>Fig. 2.</label><caption><p>The loci of <inline-formula><tex-math notation="LaTeX" id="ImEquation187"><![CDATA[$2\times 2$]]></tex-math></inline-formula> minors <inline-formula><tex-math notation="LaTeX" id="ImEquation188"><![CDATA[$d_{13}$]]></tex-math></inline-formula> with values from <inline-formula><tex-math notation="LaTeX" id="ImEquation189"><![CDATA[$-$]]></tex-math></inline-formula>0.007 to 0.004 are shown; <inline-formula><tex-math notation="LaTeX" id="ImEquation190"><![CDATA[$d_{23}=0$]]></tex-math></inline-formula> is also shown by a green line. The axes are <inline-formula><tex-math notation="LaTeX" id="ImEquation191"><![CDATA[$(x,y) = (D, \Delta_\phi)$]]></tex-math></inline-formula>.</p></caption>
<graphic xmlns:xlink="http://www.w3.org/1999/xlink" orientation="portrait" position="float" xlink:href="pty054f2.tif"/></fig>


<fig id="F3" orientation="portrait" position="float"><label>Fig. 3.</label><caption><p>A close-up of the contour map in <xref ref-type="fig" rid="F2">Fig. 2</xref> near the <inline-formula><tex-math notation="LaTeX" id="ImEquation192"><![CDATA[$\Delta_\phi=0$]]></tex-math></inline-formula> loci of minor <inline-formula><tex-math notation="LaTeX" id="ImEquation193"><![CDATA[$d_{13}$]]></tex-math></inline-formula>. The green line shows the zero loci of <inline-formula><tex-math notation="LaTeX" id="ImEquation194"><![CDATA[$d_{23}$]]></tex-math></inline-formula> as a guide. The axes are <inline-formula><tex-math notation="LaTeX" id="ImEquation195"><![CDATA[$(x,y) = (D, \Delta_\phi)$]]></tex-math></inline-formula>.</p></caption>
<graphic xmlns:xlink="http://www.w3.org/1999/xlink" orientation="portrait" position="float" xlink:href="pty054f3.tif"/></fig>

</sec>
<sec id="SEC3"><title>3. Critical dimension for <inline-formula><tex-math notation="LaTeX" id="ImEquation196"><![CDATA[$\Delta_\phi = 0$]]></tex-math></inline-formula></title>
<p>In the Yang&#x2013;Lee edge singularity, the scale dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation197"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula> of <inline-formula><tex-math notation="LaTeX" id="ImEquation198"><![CDATA[$\phi$]]></tex-math></inline-formula> becomes zero at some dimension between 2 and 3, since it is <inline-formula><tex-math notation="LaTeX" id="ImEquation199"><![CDATA[$-0.4$]]></tex-math></inline-formula> in two dimensions and approximately 0.2 in three dimensions. We call this dimension the critical dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation200"><![CDATA[$D_\mathrm{c}$]]></tex-math></inline-formula>, on which the scale dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation201"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula> vanishes. In the determinant method, it is known that even small minors give accurate values of the scale dimensions [<xref ref-type="bibr" rid="B5">5</xref>,<xref ref-type="bibr" rid="B6">6</xref>]. We discuss here small determinants of <inline-formula><tex-math notation="LaTeX" id="ImEquation202"><![CDATA[$2\times 2$]]></tex-math></inline-formula>, <inline-formula><tex-math notation="LaTeX" id="ImEquation203"><![CDATA[$3\times3$]]></tex-math></inline-formula>, and <inline-formula><tex-math notation="LaTeX" id="ImEquation204"><![CDATA[$4\times 4$]]></tex-math></inline-formula> matrices for this critical dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation205"><![CDATA[$D_\mathrm{c}$]]></tex-math></inline-formula>.</p>
<p><xref ref-type="fig" rid="F2">Figure 2</xref> shows <inline-formula><tex-math notation="LaTeX" id="ImEquation206"><![CDATA[$Z$]]></tex-math></inline-formula>-shaped curves for zero or very small values of the loci of <inline-formula><tex-math notation="LaTeX" id="ImEquation207"><![CDATA[$d_{13}$]]></tex-math></inline-formula>. This figure can be understood when we plot <inline-formula><tex-math notation="LaTeX" id="ImEquation208"><![CDATA[$\Delta_\epsilon$]]></tex-math></inline-formula> versus <inline-formula><tex-math notation="LaTeX" id="ImEquation209"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula> for various values of fixed dimensions. The minor of <inline-formula><tex-math notation="LaTeX" id="ImEquation210"><![CDATA[$d_{13}$]]></tex-math></inline-formula> has so far been considered as a function of <inline-formula><tex-math notation="LaTeX" id="ImEquation211"><![CDATA[$D$]]></tex-math></inline-formula> and <inline-formula><tex-math notation="LaTeX" id="ImEquation212"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula> with the condition of <inline-formula><tex-math notation="LaTeX" id="ImEquation213"><![CDATA[$\Delta_\epsilon= \Delta_\phi$]]></tex-math></inline-formula> due to the Yang&#x2013;Lee model. However, in general we are able to consider <inline-formula><tex-math notation="LaTeX" id="ImEquation214"><![CDATA[$\Delta_\epsilon$]]></tex-math></inline-formula> and <inline-formula><tex-math notation="LaTeX" id="ImEquation215"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula> as two free parameters for <inline-formula><tex-math notation="LaTeX" id="ImEquation216"><![CDATA[$d_{13}$]]></tex-math></inline-formula>, and, for the Yang&#x2013;Lee case, we put <inline-formula><tex-math notation="LaTeX" id="ImEquation217"><![CDATA[$\Delta_\epsilon=\Delta_\phi$]]></tex-math></inline-formula>.</p>
<p>In <xref ref-type="fig" rid="F4">Fig. 4</xref>, we plot the zero loci of <inline-formula><tex-math notation="LaTeX" id="ImEquation218"><![CDATA[$d[\Delta_\phi,\Delta_\epsilon]_{13}$]]></tex-math></inline-formula> for different values of <inline-formula><tex-math notation="LaTeX" id="ImEquation219"><![CDATA[$D$]]></tex-math></inline-formula>. This minor then becomes the usual one including the Ising case. A complicated contour for the zero loci of <inline-formula><tex-math notation="LaTeX" id="ImEquation220"><![CDATA[$d_{13}$]]></tex-math></inline-formula> is obtained especially around <inline-formula><tex-math notation="LaTeX" id="ImEquation221"><![CDATA[$D=4.4$]]></tex-math></inline-formula>, where it has three solutions for <inline-formula><tex-math notation="LaTeX" id="ImEquation222"><![CDATA[$\Delta_\epsilon = \Delta_\phi$]]></tex-math></inline-formula>. This solution corresponds to the <inline-formula><tex-math notation="LaTeX" id="ImEquation223"><![CDATA[$Z$]]></tex-math></inline-formula> shape around <inline-formula><tex-math notation="LaTeX" id="ImEquation224"><![CDATA[$(D,\Delta)= (4,1.5)$]]></tex-math></inline-formula> in <xref ref-type="fig" rid="F2">Fig. 2</xref>.</p>

<fig id="F4" orientation="portrait" position="float"><label>Fig. 4.</label><caption><p>The zero loci of <inline-formula><tex-math notation="LaTeX" id="ImEquation225"><![CDATA[$d[\Delta_\phi,\Delta_\epsilon]_{13}$]]></tex-math></inline-formula> for different dimensions: <inline-formula><tex-math notation="LaTeX" id="ImEquation226"><![CDATA[$D=6$]]></tex-math></inline-formula> (dark blue), <inline-formula><tex-math notation="LaTeX" id="ImEquation227"><![CDATA[$D=5.5$]]></tex-math></inline-formula> (red), <inline-formula><tex-math notation="LaTeX" id="ImEquation228"><![CDATA[$D=5$]]></tex-math></inline-formula> (green), <inline-formula><tex-math notation="LaTeX" id="ImEquation229"><![CDATA[$D=4.5$]]></tex-math></inline-formula> (yellow), and <inline-formula><tex-math notation="LaTeX" id="ImEquation230"><![CDATA[$D=4$]]></tex-math></inline-formula> (blue). The axes are <inline-formula><tex-math notation="LaTeX" id="ImEquation231"><![CDATA[$(x,y) = (\Delta_\phi, \Delta_\epsilon)$]]></tex-math></inline-formula>.</p></caption>
<graphic xmlns:xlink="http://www.w3.org/1999/xlink" orientation="portrait" position="float" xlink:href="pty054f4.tif"/></fig>

<p>In addition, we find that the line of <inline-formula><tex-math notation="LaTeX" id="ImEquation232"><![CDATA[$\Delta_\epsilon =\Delta_\phi$]]></tex-math></inline-formula> of the Yang&#x2013;Lee condition goes through very near the zero loci of <inline-formula><tex-math notation="LaTeX" id="ImEquation233"><![CDATA[$d_{13}$]]></tex-math></inline-formula>, but it does not intersect. This corresponds to <xref ref-type="fig" rid="F2">Fig. 2</xref> with the finite-value loci of <inline-formula><tex-math notation="LaTeX" id="ImEquation234"><![CDATA[$d_{13}$]]></tex-math></inline-formula> around <inline-formula><tex-math notation="LaTeX" id="ImEquation235"><![CDATA[$D=3$]]></tex-math></inline-formula>.</p>
<p>With some value of <inline-formula><tex-math notation="LaTeX" id="ImEquation236"><![CDATA[$D$]]></tex-math></inline-formula>, the contours in <xref ref-type="fig" rid="F4">Fig. 4</xref> (bottom left) and <xref ref-type="fig" rid="F5">Fig. 5</xref> intersect at the point <inline-formula><tex-math notation="LaTeX" id="ImEquation237"><![CDATA[$(\Delta_\epsilon,\Delta_\phi)= (0,0)$]]></tex-math></inline-formula>. We find that this critical dimension from <xref ref-type="fig" rid="F5">Fig. 5</xref> is
<disp-formula id="pty054-M15"><label>(15)</label><tex-math notation="LaTeX" id="Equation15"><![CDATA[
\begin{equation}
D_\mathrm{c} = 2.6199.
\end{equation}
]]></tex-math></disp-formula></p>

<fig id="F5" orientation="portrait" position="float"><label>Fig. 5.</label><caption><p>A contour plot of the zero loci of <inline-formula><tex-math notation="LaTeX" id="ImEquation238"><![CDATA[$d[\Delta_\phi,\Delta_\epsilon]_{13}$]]></tex-math></inline-formula> for different dimensions: <inline-formula><tex-math notation="LaTeX" id="ImEquation239"><![CDATA[$D=2.6$]]></tex-math></inline-formula> (blue), <inline-formula><tex-math notation="LaTeX" id="ImEquation240"><![CDATA[$D=2.61$]]></tex-math></inline-formula> (yellow), <inline-formula><tex-math notation="LaTeX" id="ImEquation241"><![CDATA[$D=2.6199$]]></tex-math></inline-formula> (green). The axes are <inline-formula><tex-math notation="LaTeX" id="ImEquation242"><![CDATA[$(x,y) = (\Delta_\phi, \Delta_\epsilon)$]]></tex-math></inline-formula>.</p></caption>
<graphic xmlns:xlink="http://www.w3.org/1999/xlink" orientation="portrait" position="float" xlink:href="pty054f5.tif"/></fig>

<p>As seen in <xref ref-type="fig" rid="F3">Fig. 3</xref>, for a small finite value of <inline-formula><tex-math notation="LaTeX" id="ImEquation243"><![CDATA[$d_{13}$]]></tex-math></inline-formula>, the contour of <inline-formula><tex-math notation="LaTeX" id="ImEquation244"><![CDATA[$d_{13}$]]></tex-math></inline-formula> approaches the line <inline-formula><tex-math notation="LaTeX" id="ImEquation245"><![CDATA[$\Delta_\phi =0$]]></tex-math></inline-formula> from both sides, above <inline-formula><tex-math notation="LaTeX" id="ImEquation246"><![CDATA[$\Delta_\phi > 0$]]></tex-math></inline-formula> and <inline-formula><tex-math notation="LaTeX" id="ImEquation247"><![CDATA[$\Delta_\phi < 0$]]></tex-math></inline-formula>. The peak of the contours approaches the critical dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation248"><![CDATA[$D_\mathrm{c}$]]></tex-math></inline-formula>. We consider the derivative of <inline-formula><tex-math notation="LaTeX" id="ImEquation249"><![CDATA[$d_{13}$]]></tex-math></inline-formula> by the dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation250"><![CDATA[$D$]]></tex-math></inline-formula>, and we estimate <inline-formula><tex-math notation="LaTeX" id="ImEquation251"><![CDATA[$D_\mathrm{c}$]]></tex-math></inline-formula> as the point at which this derivative becomes zero. For <inline-formula><tex-math notation="LaTeX" id="ImEquation252"><![CDATA[$\Delta_\phi = 0.000\,001$]]></tex-math></inline-formula>, we obtain <inline-formula><tex-math notation="LaTeX" id="ImEquation253"><![CDATA[$D_\mathrm{c} = 2.605\,74$]]></tex-math></inline-formula>. The derivative of <inline-formula><tex-math notation="LaTeX" id="ImEquation254"><![CDATA[$d_{13}$]]></tex-math></inline-formula> by the space dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation255"><![CDATA[$D$]]></tex-math></inline-formula> gives the approximate solution of <inline-formula><tex-math notation="LaTeX" id="ImEquation256"><![CDATA[$D_\mathrm{c}$]]></tex-math></inline-formula> in the limit <inline-formula><tex-math notation="LaTeX" id="ImEquation257"><![CDATA[$\Delta_\phi \to 0$]]></tex-math></inline-formula>. The minor <inline-formula><tex-math notation="LaTeX" id="ImEquation258"><![CDATA[$d_{12}$]]></tex-math></inline-formula> is proportional to <inline-formula><tex-math notation="LaTeX" id="ImEquation259"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula> in the limit <inline-formula><tex-math notation="LaTeX" id="ImEquation260"><![CDATA[$\Delta_\phi \to 0$]]></tex-math></inline-formula>, since <inline-formula><tex-math notation="LaTeX" id="ImEquation261"><![CDATA[$vs1,vs3 \sim \Delta_\phi^2$]]></tex-math></inline-formula>, and <inline-formula><tex-math notation="LaTeX" id="ImEquation262"><![CDATA[$vt1,vt3 \sim \Delta_\phi^{-1}$]]></tex-math></inline-formula>.</p>
<p>We consider how the minors become zero in the limit <inline-formula><tex-math notation="LaTeX" id="ImEquation263"><![CDATA[$\Delta_\phi \to 0$]]></tex-math></inline-formula>. For instance, at <inline-formula><tex-math notation="LaTeX" id="ImEquation264"><![CDATA[$D= 2.61$]]></tex-math></inline-formula>, we have, for small <inline-formula><tex-math notation="LaTeX" id="ImEquation265"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula>,
<disp-formula id="pty054-M16"><label>(16)</label><tex-math notation="LaTeX" id="Equation16"><![CDATA[
\begin{eqnarray}
&&vs1= 0.188 \Delta_\phi^2, \hskip 2mm vs2= 0.139\Delta_\phi^2,\hskip 2mm vs3= 0.225 \Delta_\phi^2\nonumber\\
&&vt1= \frac{1.055}{\Delta_\phi},\hskip 2mm vt2= \frac{0.667}{\Delta_\phi}, \hskip 2mm vt3= \frac{1.078}{\Delta_\phi}.
\end{eqnarray}
]]></tex-math></disp-formula></p>
<p>The coefficients <inline-formula><tex-math notation="LaTeX" id="ImEquation266"><![CDATA[$p_\phi, p_t$]]></tex-math></inline-formula> are obtained from
<disp-formula id="pty054-M17"><label>(17)</label><tex-math notation="LaTeX" id="Equation17"><![CDATA[
\begin{equation}
\left(\begin{array}{cc}
vs0 & vt0\\
vs1 & vt1
\end{array}\right) \left(\begin{array}{c} p_\phi\\p_t \end{array} \right) = \left(\begin{array} {c} 1\\ 0 \end{array}\right)\!.
\end{equation}
]]></tex-math></disp-formula></p>
<p>Since <inline-formula><tex-math notation="LaTeX" id="ImEquation267"><![CDATA[$vs0=-\frac{1}{4}, vt0 = 0.7185/\Delta_\phi$]]></tex-math></inline-formula> in the limit <inline-formula><tex-math notation="LaTeX" id="ImEquation268"><![CDATA[$\Delta_\phi \to 0$]]></tex-math></inline-formula>, we obtain a solution of <inline-formula><tex-math notation="LaTeX" id="ImEquation269"><![CDATA[$p_\phi=-4, p_t = a \Delta_\phi^2 {\rm log} \Delta_\phi$]]></tex-math></inline-formula> (<inline-formula><tex-math notation="LaTeX" id="ImEquation270"><![CDATA[$a$]]></tex-math></inline-formula> is a constant), which gives the value of the central charge <inline-formula><tex-math notation="LaTeX" id="ImEquation271"><![CDATA[$C=0$]]></tex-math></inline-formula>. With this choice of <inline-formula><tex-math notation="LaTeX" id="ImEquation272"><![CDATA[$p_t=p_{(D,2)}$]]></tex-math></inline-formula>, the central charge <inline-formula><tex-math notation="LaTeX" id="ImEquation273"><![CDATA[$C$]]></tex-math></inline-formula> becomes <inline-formula><tex-math notation="LaTeX" id="ImEquation274"><![CDATA[$C = \Delta_\phi^2/p_t = 0$]]></tex-math></inline-formula> for this critical dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation275"><![CDATA[$D_\mathrm{c}$]]></tex-math></inline-formula>. This means that the energy&#x2013;momentum tensor operator <inline-formula><tex-math notation="LaTeX" id="ImEquation276"><![CDATA[$T = \Delta_{(D,2)}$]]></tex-math></inline-formula> can be neglected since the OPE coefficient of this operator <inline-formula><tex-math notation="LaTeX" id="ImEquation277"><![CDATA[$p_t$]]></tex-math></inline-formula> becomes zero. This is the well known <inline-formula><tex-math notation="LaTeX" id="ImEquation278"><![CDATA[$c$]]></tex-math></inline-formula> catastrophe, which leads to logarithmic conformal field theory [<xref ref-type="bibr" rid="B26">26</xref>]. When neglecting the <inline-formula><tex-math notation="LaTeX" id="ImEquation279"><![CDATA[$\Delta_{(D,2)}$]]></tex-math></inline-formula> term, and only considering <inline-formula><tex-math notation="LaTeX" id="ImEquation280"><![CDATA[$vs0$]]></tex-math></inline-formula> in Eq. (<xref ref-type="disp-formula" rid="pty054-M10">10</xref>), we obtain the critical dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation281"><![CDATA[$D_\mathrm{c}= 2.748\,632\cdots$]]></tex-math></inline-formula>. However, this value is too large compared to the expected value and might not be correct. We need further operators to get the correct value. We hope to get the correct value of the critical dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation282"><![CDATA[$D_\mathrm{c}$]]></tex-math></inline-formula> by another sophisticated method by taking higher operators.</p>
<p><inline-formula><tex-math notation="LaTeX" id="ImEquation283"><![CDATA[$4\times 4$]]></tex-math></inline-formula> minors The numbers of zero loci of minors are <inline-formula><tex-math notation="LaTeX" id="ImEquation284"><![CDATA[${}_6C_4= 6!/4!2!=15$]]></tex-math></inline-formula>. We investigated the critical dimensions <inline-formula><tex-math notation="LaTeX" id="ImEquation285"><![CDATA[$D_\mathrm{c}$]]></tex-math></inline-formula> by changing <inline-formula><tex-math notation="LaTeX" id="ImEquation286"><![CDATA[$D$]]></tex-math></inline-formula> between <inline-formula><tex-math notation="LaTeX" id="ImEquation287"><![CDATA[$D=2.58$]]></tex-math></inline-formula> and <inline-formula><tex-math notation="LaTeX" id="ImEquation288"><![CDATA[$D=2.59$]]></tex-math></inline-formula>. Remarkably, at <inline-formula><tex-math notation="LaTeX" id="ImEquation289"><![CDATA[$D=2.589\,53$]]></tex-math></inline-formula>, all 15 lines intersect at a single point in the contour map of <inline-formula><tex-math notation="LaTeX" id="ImEquation290"><![CDATA[$(Q, \Delta')$]]></tex-math></inline-formula> under the condition <inline-formula><tex-math notation="LaTeX" id="ImEquation291"><![CDATA[$\Delta_\phi=0$]]></tex-math></inline-formula>. If we take this as the value of the critical dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation292"><![CDATA[$D_\mathrm{c}$]]></tex-math></inline-formula>, we find the following set of results:
<disp-formula id="pty054-M18"><label>(18)</label><tex-math notation="LaTeX" id="Equation18"><![CDATA[
\begin{equation}
D_\mathrm{c}=2.589\,53, \hskip 2mm \Delta_\phi=0, \hskip 2mm Q= 4.403\,97,\hskip 2mm \Delta'=3.871\,27.
\end{equation}
]]></tex-math></disp-formula></p>
<p>This critical dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation293"><![CDATA[$D_\mathrm{c}$]]></tex-math></inline-formula> obtained with <inline-formula><tex-math notation="LaTeX" id="ImEquation294"><![CDATA[$4\times 4$]]></tex-math></inline-formula> minors is close to <inline-formula><tex-math notation="LaTeX" id="ImEquation295"><![CDATA[$D_\mathrm{c}=2.6199$]]></tex-math></inline-formula> from the <inline-formula><tex-math notation="LaTeX" id="ImEquation296"><![CDATA[$2\times 2$]]></tex-math></inline-formula> minor <inline-formula><tex-math notation="LaTeX" id="ImEquation297"><![CDATA[$d_{13}$]]></tex-math></inline-formula> with the intersection point of <inline-formula><tex-math notation="LaTeX" id="ImEquation298"><![CDATA[$\Delta_\epsilon=\Delta_\phi=0$]]></tex-math></inline-formula>. In <xref ref-type="fig" rid="F6">Fig. 6</xref>, all loci coincide but, if we include more relevant operators, this value may change.</p>

<fig id="F6" orientation="portrait" position="float"><label>Fig. 6.</label><caption><p>The intersection of zero loci of minors at <inline-formula><tex-math notation="LaTeX" id="ImEquation299"><![CDATA[$D=2.589\,53$]]></tex-math></inline-formula>, <inline-formula><tex-math notation="LaTeX" id="ImEquation300"><![CDATA[$\Delta_\phi = 0$]]></tex-math></inline-formula>. The axes are <inline-formula><tex-math notation="LaTeX" id="ImEquation301"><![CDATA[$(x,y)=(Q,\Delta')$]]></tex-math></inline-formula>.</p></caption>
<graphic xmlns:xlink="http://www.w3.org/1999/xlink" orientation="portrait" position="float" xlink:href="pty054f6.tif"/></fig>

<p>For the <inline-formula><tex-math notation="LaTeX" id="ImEquation302"><![CDATA[$\Delta_\phi=0$]]></tex-math></inline-formula> case, in any dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation303"><![CDATA[$D$]]></tex-math></inline-formula>, <inline-formula><tex-math notation="LaTeX" id="ImEquation304"><![CDATA[$d_{ij}$]]></tex-math></inline-formula> can become zero. When <inline-formula><tex-math notation="LaTeX" id="ImEquation305"><![CDATA[$\Delta_\phi=0$]]></tex-math></inline-formula>, by the definition of the scale dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation306"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula>, the two-point correlation function <inline-formula><tex-math notation="LaTeX" id="ImEquation307"><![CDATA[$G(r) = 1/r^{2 \Delta_\phi}$]]></tex-math></inline-formula> becomes a constant in the long-range limit <inline-formula><tex-math notation="LaTeX" id="ImEquation308"><![CDATA[$r\to \infty$]]></tex-math></inline-formula>.</p>
<p>In the Yang&#x2013;Lee edge singularity, the exponent of the density <inline-formula><tex-math notation="LaTeX" id="ImEquation309"><![CDATA[$\sigma$]]></tex-math></inline-formula> is related to <inline-formula><tex-math notation="LaTeX" id="ImEquation310"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula> as
<disp-formula id="pty054-M19"><label>(19)</label><tex-math notation="LaTeX" id="Equation19"><![CDATA[
\begin{equation}
\sigma = \frac{\Delta_\phi}{D - \Delta_\phi}.
\end{equation}
]]></tex-math></disp-formula></p>
<p>From this relation, <inline-formula><tex-math notation="LaTeX" id="ImEquation311"><![CDATA[$\sigma$]]></tex-math></inline-formula> is vanishing for <inline-formula><tex-math notation="LaTeX" id="ImEquation312"><![CDATA[$\Delta_\phi=0$]]></tex-math></inline-formula>. This means that the density is constant at the transition point. Several interesting systems are known in which the density is constant but a phase transition occurs. One example is a localization problem under the random potential.</p>
</sec>
<sec id="SEC4"><title>4. Dimensional reduction</title>
<p>The zero loci of the <inline-formula><tex-math notation="LaTeX" id="ImEquation313"><![CDATA[$2\times 2$]]></tex-math></inline-formula> minor <inline-formula><tex-math notation="LaTeX" id="ImEquation314"><![CDATA[$d_{13}$]]></tex-math></inline-formula> shows an interesting characteristic linear behavior for <inline-formula><tex-math notation="LaTeX" id="ImEquation315"><![CDATA[$D < 4$]]></tex-math></inline-formula>, which is approximated as <inline-formula><tex-math notation="LaTeX" id="ImEquation316"><![CDATA[$\Delta_\phi = (3D -2)/5$]]></tex-math></inline-formula>. In <xref ref-type="fig" rid="F7">Fig. 7</xref>, the shift of the zero loci of <inline-formula><tex-math notation="LaTeX" id="ImEquation317"><![CDATA[$d_{13}$]]></tex-math></inline-formula> for <inline-formula><tex-math notation="LaTeX" id="ImEquation318"><![CDATA[$D\to D+2$]]></tex-math></inline-formula> is shown (translation of two dimensions to the right in <xref ref-type="fig" rid="F7">Fig. 7</xref>). The blue line of <xref ref-type="fig" rid="F7">Fig. 7</xref> for the zero loci of <inline-formula><tex-math notation="LaTeX" id="ImEquation319"><![CDATA[$d_{13}$]]></tex-math></inline-formula> almost coincides with the red line of the Yang&#x2013;Lee edge singularity analyzed by the Pad&#x00E9; approximation. The red line represents the result of <inline-formula><tex-math notation="LaTeX" id="ImEquation320"><![CDATA[$3\times 3$]]></tex-math></inline-formula> minors and it can be approximated as
<disp-formula id="pty054-M20"><label>(20)</label><tex-math notation="LaTeX" id="Equation20"><![CDATA[
\begin{equation}\label{linear}
\Delta_\phi =\frac{3 D - 8}{5}.
\end{equation}
]]></tex-math></disp-formula></p>

<fig id="F7" orientation="portrait" position="float"><label>Fig. 7.</label><caption><p>The <inline-formula><tex-math notation="LaTeX" id="ImEquation321"><![CDATA[$D\to D+2$]]></tex-math></inline-formula> shifted line of the zero loci of <inline-formula><tex-math notation="LaTeX" id="ImEquation322"><![CDATA[$d_{13}$]]></tex-math></inline-formula> (yellow line) is shown by the blue line and is consistent with the estimated Yang&#x2013;Lee line (red) by Pad&#x00E9; analysis. The blue and red lines are almost the same for <inline-formula><tex-math notation="LaTeX" id="ImEquation323"><![CDATA[$1 < D < 5.5$]]></tex-math></inline-formula>.</p></caption>
<graphic xmlns:xlink="http://www.w3.org/1999/xlink" orientation="portrait" position="float" xlink:href="pty054f7.tif"/></fig>

<p>This expression satisfies the exact values of <inline-formula><tex-math notation="LaTeX" id="ImEquation324"><![CDATA[$D=1$]]></tex-math></inline-formula> (<inline-formula><tex-math notation="LaTeX" id="ImEquation325"><![CDATA[$\Delta_\phi=-1$]]></tex-math></inline-formula>), <inline-formula><tex-math notation="LaTeX" id="ImEquation326"><![CDATA[$D=2$]]></tex-math></inline-formula> (<inline-formula><tex-math notation="LaTeX" id="ImEquation327"><![CDATA[$\Delta_\phi= -0.4$]]></tex-math></inline-formula>), and <inline-formula><tex-math notation="LaTeX" id="ImEquation328"><![CDATA[$D=6$]]></tex-math></inline-formula> (<inline-formula><tex-math notation="LaTeX" id="ImEquation329"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula>= 2).</p>
<p>This dimensional shift seems accidental and only appears in a lower truncation, but there is a dimensional reduction that has been proven rigorously.</p>
<p>It is known that a branched polymer in <inline-formula><tex-math notation="LaTeX" id="ImEquation330"><![CDATA[$D+ 2$]]></tex-math></inline-formula> dimensions is equivalent to a <inline-formula><tex-math notation="LaTeX" id="ImEquation331"><![CDATA[$D$]]></tex-math></inline-formula>-dimensional Yang&#x2013;Lee edge singularity for the critical phenomena. This dimensional reduction has been explained by supersymmetry [<xref ref-type="bibr" rid="B28">28</xref>]. A rigorous mathematical proof of this dimensional reduction was shown in Ref. [<xref ref-type="bibr" rid="B29">29</xref>]. We will study this dimensional reduction in a separate paper using the conformal bootstrap in a determinant method [<xref ref-type="bibr" rid="B14">14</xref>]. The Yang&#x2013;Lee edge singularity requires <inline-formula><tex-math notation="LaTeX" id="ImEquation332"><![CDATA[$\Delta_\epsilon (= \Delta_{\phi^2}) = \Delta_\phi$]]></tex-math></inline-formula>. For a branched polymer due to dimensional reduction there is a relation <inline-formula><tex-math notation="LaTeX" id="ImEquation333"><![CDATA[$\Delta_\epsilon = \Delta_\phi +1$]]></tex-math></inline-formula>. This relation is a manifestation of the supersymmetry of the system [<xref ref-type="bibr" rid="B16">16</xref>].</p>
<p>Since the blue line is very close to the red line in <xref ref-type="fig" rid="F7">Fig. 7</xref>, one can make an estimation of the critical dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation334"><![CDATA[$D_\mathrm{c}$]]></tex-math></inline-formula>, in which <inline-formula><tex-math notation="LaTeX" id="ImEquation335"><![CDATA[$\Delta_\phi=0$]]></tex-math></inline-formula>. The intersection of <inline-formula><tex-math notation="LaTeX" id="ImEquation336"><![CDATA[$d_{13}$]]></tex-math></inline-formula> with the <inline-formula><tex-math notation="LaTeX" id="ImEquation337"><![CDATA[$\Delta_\phi=0$]]></tex-math></inline-formula> line can be evaluated very precisely as <inline-formula><tex-math notation="LaTeX" id="ImEquation338"><![CDATA[$D=0.599\,547\,1444$]]></tex-math></inline-formula>. Adding 2 to this value for the dimensional reduction, it gives the estimation of the critical dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation339"><![CDATA[$D_\mathrm{c}$]]></tex-math></inline-formula> as <inline-formula><tex-math notation="LaTeX" id="ImEquation340"><![CDATA[$D_\mathrm{c} = 2.599\,547\,1444$]]></tex-math></inline-formula>, which is very close to other estimations of this paper. We discussed this value in the previous section as <inline-formula><tex-math notation="LaTeX" id="ImEquation341"><![CDATA[$D_\mathrm{c} = 2.6199$]]></tex-math></inline-formula> as in Eq. (<xref ref-type="disp-formula" rid="pty054-M18">18</xref>).</p>
</sec>
<sec id="SEC5"><title>5. <inline-formula><tex-math notation="LaTeX" id="ImEquation342"><![CDATA[$3\times 3$]]></tex-math></inline-formula> minors and Pad&#x00E9; analysis</title>
<p>Up to now, we have mainly discussed <inline-formula><tex-math notation="LaTeX" id="ImEquation343"><![CDATA[$2\times 2$]]></tex-math></inline-formula> minors. If we take a spin-4 operator and its scale dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation344"><![CDATA[$Q=\Delta_4$]]></tex-math></inline-formula>, we need to do an analysis of the intersection of the zero loci of the <inline-formula><tex-math notation="LaTeX" id="ImEquation345"><![CDATA[$3\times 3$]]></tex-math></inline-formula> minors <inline-formula><tex-math notation="LaTeX" id="ImEquation346"><![CDATA[$d_{ijk}$]]></tex-math></inline-formula>.</p>
<p>From the formula of the minors in a <inline-formula><tex-math notation="LaTeX" id="ImEquation347"><![CDATA[$3\times 6$]]></tex-math></inline-formula> matrix in the appendix, we have a Pl&#x00FC;ker formula such as (Eq. (<xref ref-type="disp-formula" rid="pty054-MA-12">A.12</xref>))
<disp-formula id="pty054-M21"><label>(21)</label><tex-math notation="LaTeX" id="Equation21"><![CDATA[
\begin{equation}
[126][345] -[123][456] + [124][356] - [125][346]= 0.
\end{equation}
]]></tex-math></disp-formula></p>
<p>For instance, at <inline-formula><tex-math notation="LaTeX" id="ImEquation348"><![CDATA[$D=3$]]></tex-math></inline-formula>, we find that the zero loci of <inline-formula><tex-math notation="LaTeX" id="ImEquation349"><![CDATA[$d_{123}=[123]$]]></tex-math></inline-formula>, <inline-formula><tex-math notation="LaTeX" id="ImEquation350"><![CDATA[$d_{126}=[126]$]]></tex-math></inline-formula>, <inline-formula><tex-math notation="LaTeX" id="ImEquation351"><![CDATA[$d_{124}=[124]$]]></tex-math></inline-formula>, and <inline-formula><tex-math notation="LaTeX" id="ImEquation352"><![CDATA[$d_{346}=[346]$]]></tex-math></inline-formula> intersect at a point, and the above Pl&#x00FC;ker formula is satisfied.</p>
<p>In <xref ref-type="table" rid="T1">Table 1</xref>, we present the intersection of three zero loci of minors <inline-formula><tex-math notation="LaTeX" id="ImEquation353"><![CDATA[$d_{123}$]]></tex-math></inline-formula>, <inline-formula><tex-math notation="LaTeX" id="ImEquation354"><![CDATA[$d_{134}$]]></tex-math></inline-formula>, and <inline-formula><tex-math notation="LaTeX" id="ImEquation355"><![CDATA[$d_{124}$]]></tex-math></inline-formula>. The value of <inline-formula><tex-math notation="LaTeX" id="ImEquation356"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula> is obtained from the intersection point of the zero loci of the minors. However, the intersection point is not the only one, and we find at least three different intersection points for each fixed dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation357"><![CDATA[$D$]]></tex-math></inline-formula>. In <xref ref-type="table" rid="T1">Table 1</xref>, we present in parentheses such nearby different intersection points of the three zero loci of the minors.</p>
<p><table-wrap id="T1" orientation="portrait" position="float"><label>Table 1.</label><caption><p>Estimated scale dimensions by zero loci of three dimensional minors. Comparison with Pade analysis is shown. The value of parenthesis is estimation from other zero loci nearby.</p></caption>
<table frame="hsides" rules="groups">
<thead>
<tr>
<th align="left">&#160;</th>
<th align="center"><inline-formula><tex-math notation="LaTeX" id="ImEquation358"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula></th>
<th align="center"><inline-formula><tex-math notation="LaTeX" id="ImEquation359"><![CDATA[$Q$]]></tex-math></inline-formula></th>
<th align="center"><inline-formula><tex-math notation="LaTeX" id="ImEquation360"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula> (Pad&#x00E9;)</th>
</tr>
</thead>
<tbody>
<tr>
<td align="left"><inline-formula><tex-math notation="LaTeX" id="ImEquation361"><![CDATA[$D=3.0$]]></tex-math></inline-formula></td>
<td align="center">0.174 343 (0.187 825)</td>
<td align="center">4.341 06 (3.771 24)</td>
<td align="center">0.229 95</td>
</tr>
<tr>
<td align="left"><inline-formula><tex-math notation="LaTeX" id="ImEquation362"><![CDATA[$D=3.5$]]></tex-math></inline-formula></td>
<td align="center">0.499 401 (0.500 969)</td>
<td align="center">5.041 95 (4.375 56)</td>
<td align="center">0.531 53</td>
</tr>
<tr>
<td align="left"><inline-formula><tex-math notation="LaTeX" id="ImEquation363"><![CDATA[$D=4.0$]]></tex-math></inline-formula></td>
<td align="center">0.823 283 (0.815 623)</td>
<td align="center">5.711 52 (4.922 83)</td>
<td align="center">0.831 75</td>
</tr>
<tr>
<td align="left"><inline-formula><tex-math notation="LaTeX" id="ImEquation364"><![CDATA[$D=4.5$]]></tex-math></inline-formula></td>
<td align="center">1.137 55 (1.123 71)</td>
<td align="center">6.333 95 (5.446 45)</td>
<td align="center">1.1300</td>
</tr>
<tr>
<td align="left"><inline-formula><tex-math notation="LaTeX" id="ImEquation365"><![CDATA[$D=5.0$]]></tex-math></inline-formula></td>
<td align="center">1.438 07 (1.419 87)</td>
<td align="center">6.917 16 (5.959 72)</td>
<td align="center">1.4255</td>
</tr>
<tr>
<td align="left"><inline-formula><tex-math notation="LaTeX" id="ImEquation366"><![CDATA[$D=5.5$]]></tex-math></inline-formula></td>
<td align="center">1.724 69 (1.746 82)</td>
<td align="center">7.469 85 (6.466 72)</td>
<td align="center">1.7165</td>
</tr>
<tr>
<td align="left"><inline-formula><tex-math notation="LaTeX" id="ImEquation367"><![CDATA[$D=6.0$]]></tex-math></inline-formula></td>
<td align="center">2.0</td>
<td align="center">8.0</td>
<td align="center">2.0</td>
</tr>
</tbody>
</table>
</table-wrap></p>
<p>In the <inline-formula><tex-math notation="LaTeX" id="ImEquation368"><![CDATA[$\epsilon = 6 - D$]]></tex-math></inline-formula> expansion, <inline-formula><tex-math notation="LaTeX" id="ImEquation369"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula> is known up to the four-loop level [<xref ref-type="bibr" rid="B30">30</xref>]:
<disp-formula id="pty054-M22"><label>(22)</label><tex-math notation="LaTeX" id="Equation22"><![CDATA[
\begin{equation}
\Delta_\phi = 2 - 0.555\,55 x -0.029\,4925 x^2 + 0.021\,845 x^3 -0.039\,4773 x^4,
\end{equation}
]]></tex-math></disp-formula>
where <inline-formula><tex-math notation="LaTeX" id="ImEquation370"><![CDATA[$x= \epsilon = 6 - D$]]></tex-math></inline-formula>. Including the critical dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation371"><![CDATA[$D_\mathrm{c}$]]></tex-math></inline-formula>, for which <inline-formula><tex-math notation="LaTeX" id="ImEquation372"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula> is vanishing, the above expansion becomes
<disp-formula id="pty054-M23"><label>(23)</label><tex-math notation="LaTeX" id="Equation23"><![CDATA[
\begin{equation}
\Delta_\phi = (6 - x - D_\mathrm{c})\left[ \frac{2}{6 - D_\mathrm{c}} + \left(\frac{2}{(6 - D_\mathrm{c})^2} - \frac{0.55555}{6 - D_\mathrm{c}}\right) x + O(x^2)\right]\!.
\end{equation}
]]></tex-math></disp-formula></p>
<p>Inserting the value of <inline-formula><tex-math notation="LaTeX" id="ImEquation373"><![CDATA[$D_\mathrm{c}= 2.6199$]]></tex-math></inline-formula> from <xref ref-type="sec" rid="SEC4">Sect. 4</xref>, it becomes
<disp-formula id="pty054-M24"><label>(24)</label><tex-math notation="LaTeX" id="Equation24"><![CDATA[
\begin{eqnarray}
\Delta_\phi &=& (3.3801 - x)[0.591\,70 + 0.010\,695 x - 0.005\,561\,25 x^2 \nonumber\\
&&{}+ 0.004\,817\,55 x^3 - 0.010\,2541 x^4 + \cdots ].
\end{eqnarray}
]]></tex-math></disp-formula></p>
<p>This expansion is approximated by the [2,2] Pad&#x00E9; method,
<disp-formula id="pty054-M25"><label>(25)</label><tex-math notation="LaTeX" id="Equation25"><![CDATA[
\begin{equation}\label{Pade1}
\Delta_\phi = (3.3801 - x) \left[\frac{a_0 + a_1 x + a_2 x^2}{1 + b_1 x + b_2 x^2}\right]\!,
\end{equation}
]]></tex-math></disp-formula>
with <inline-formula><tex-math notation="LaTeX" id="ImEquation374"><![CDATA[$a_0=0.591\,70,\ a_1= 2.3916,\ a_2= 1.0090,\ b_1=4.023\,85,\ b_2=1.6419$]]></tex-math></inline-formula>. The curve of this Pad&#x00E9; is incorporated in <xref ref-type="fig" rid="F8">Fig. 8</xref>.</p>

<fig id="F8" orientation="portrait" position="float"><label>Fig. 8.</label><caption><p><inline-formula><tex-math notation="LaTeX" id="ImEquation46"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula> is estimated by a [2,2] Pad&#x00E9; with <inline-formula><tex-math notation="LaTeX" id="ImEquation47"><![CDATA[$D_\mathrm{c}=2.6199$]]></tex-math></inline-formula>. The dots are the values from <xref ref-type="table" rid="T1">Table 1</xref> for a <inline-formula><tex-math notation="LaTeX" id="ImEquation48"><![CDATA[$3\times 3$]]></tex-math></inline-formula> minor analysis of <inline-formula><tex-math notation="LaTeX" id="ImEquation49"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula>.</p></caption>
<graphic xmlns:xlink="http://www.w3.org/1999/xlink" orientation="portrait" position="float" xlink:href="pty054f8.tif"/></fig>

<p>For the values of <inline-formula><tex-math notation="LaTeX" id="ImEquation375"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula> of the Yang&#x2013;Lee singularity in <inline-formula><tex-math notation="LaTeX" id="ImEquation376"><![CDATA[$D$]]></tex-math></inline-formula> dimensions, the previous results obtained by Gliozzi [<xref ref-type="bibr" rid="B5">5</xref>] are very close to the values of <xref ref-type="table" rid="T1">Table 1</xref>; for instance, at <inline-formula><tex-math notation="LaTeX" id="ImEquation377"><![CDATA[$D=4$]]></tex-math></inline-formula>, <inline-formula><tex-math notation="LaTeX" id="ImEquation378"><![CDATA[$\Delta_\phi = 0.823$]]></tex-math></inline-formula>. In another evaluation with more primary operators [<xref ref-type="bibr" rid="B6">6</xref>], the values <inline-formula><tex-math notation="LaTeX" id="ImEquation379"><![CDATA[$\Delta_\phi=0.8466$]]></tex-math></inline-formula> in <inline-formula><tex-math notation="LaTeX" id="ImEquation380"><![CDATA[$D=4$]]></tex-math></inline-formula> and <inline-formula><tex-math notation="LaTeX" id="ImEquation381"><![CDATA[$\Delta_\phi=1.455$]]></tex-math></inline-formula> in <inline-formula><tex-math notation="LaTeX" id="ImEquation382"><![CDATA[$D=5$]]></tex-math></inline-formula> are obtained, which are larger than the values in <xref ref-type="table" rid="T1">Table 1</xref>, and a comparison with <inline-formula><tex-math notation="LaTeX" id="ImEquation383"><![CDATA[$\epsilon$]]></tex-math></inline-formula> expansion shows the apparent deviations, as shown in <xref ref-type="fig" rid="F5">Fig. 5</xref> of Ref. [<xref ref-type="bibr" rid="B6">6</xref>]. Our new analysis of Pad&#x00E9; with a fixed value at the critical dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation384"><![CDATA[$\Delta_\phi=0$]]></tex-math></inline-formula> seems more precise, and the <inline-formula><tex-math notation="LaTeX" id="ImEquation385"><![CDATA[$\epsilon$]]></tex-math></inline-formula> expansion and bootstrap determinant method agree well with each other, as shown in <xref ref-type="fig" rid="F8">Fig. 8</xref>. One of the aims of this paper was to clarify this point by the evaluation of the critical dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation386"><![CDATA[$D_\mathrm{c}$]]></tex-math></inline-formula>. Unfortunately, what we have done is a numerical estimation of <inline-formula><tex-math notation="LaTeX" id="ImEquation387"><![CDATA[$D_\mathrm{c}$]]></tex-math></inline-formula> by the bootstrap determinant method and it may be an approximation. It is important to obtain an exact value of <inline-formula><tex-math notation="LaTeX" id="ImEquation388"><![CDATA[$D_\mathrm{c}$]]></tex-math></inline-formula>, and the comparison with <inline-formula><tex-math notation="LaTeX" id="ImEquation389"><![CDATA[$\epsilon$]]></tex-math></inline-formula> expansion will be improved with an exact value of <inline-formula><tex-math notation="LaTeX" id="ImEquation390"><![CDATA[$D_\mathrm{c}$]]></tex-math></inline-formula>.</p>
</sec>
<sec id="SEC6"><title>6. Summary</title>
<p>We have considered the Yang&#x2013;Lee edge singularity in this article by the bootstrap determinant method, initiated by Gliozzi. Although our results for the scale dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation391"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula> are same as the <inline-formula><tex-math notation="LaTeX" id="ImEquation392"><![CDATA[$3\times 3$]]></tex-math></inline-formula> determinant result of Gliozzi [<xref ref-type="bibr" rid="B5">5</xref>], we have improved the consistency with the result of the <inline-formula><tex-math notation="LaTeX" id="ImEquation393"><![CDATA[$\epsilon$]]></tex-math></inline-formula> expansion. We find that the basic <inline-formula><tex-math notation="LaTeX" id="ImEquation394"><![CDATA[$2\times 2$]]></tex-math></inline-formula> minor <inline-formula><tex-math notation="LaTeX" id="ImEquation395"><![CDATA[$d_{13}$]]></tex-math></inline-formula> is important for the determination of the above scale dimensions through the analysis of the intersection points of dimensions one to six, although we used the practical value of <inline-formula><tex-math notation="LaTeX" id="ImEquation396"><![CDATA[$\Delta_\phi$]]></tex-math></inline-formula> obtained by <inline-formula><tex-math notation="LaTeX" id="ImEquation397"><![CDATA[$3\times 3$]]></tex-math></inline-formula> minors. We have shown that the value obtained by the intersection of the zero loci of <inline-formula><tex-math notation="LaTeX" id="ImEquation398"><![CDATA[$3\times 3$]]></tex-math></inline-formula> minors agrees with the result of the <inline-formula><tex-math notation="LaTeX" id="ImEquation399"><![CDATA[$\epsilon$]]></tex-math></inline-formula> expansion. The discrepancy between the <inline-formula><tex-math notation="LaTeX" id="ImEquation400"><![CDATA[$\epsilon$]]></tex-math></inline-formula> expansion and the determinant method is reduced with the new Pad&#x00E9; analysis with the introduction of the critical dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation401"><![CDATA[$D_\mathrm{c}$]]></tex-math></inline-formula>.</p>
<p>We obtained the critical dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation402"><![CDATA[$D_\mathrm{c}$]]></tex-math></inline-formula> from the minor <inline-formula><tex-math notation="LaTeX" id="ImEquation403"><![CDATA[$d_{13}$]]></tex-math></inline-formula> for the <inline-formula><tex-math notation="LaTeX" id="ImEquation404"><![CDATA[$\Delta_\phi=0$]]></tex-math></inline-formula> and <inline-formula><tex-math notation="LaTeX" id="ImEquation405"><![CDATA[$\Delta_\epsilon \to 0$]]></tex-math></inline-formula> limits. The intersection of the zero loci of <inline-formula><tex-math notation="LaTeX" id="ImEquation406"><![CDATA[$d[D,\Delta_\phi,\Delta_\epsilon]_{13}$]]></tex-math></inline-formula> at the point <inline-formula><tex-math notation="LaTeX" id="ImEquation407"><![CDATA[$\Delta_\epsilon=\Delta_\phi=0$]]></tex-math></inline-formula> gives the critical dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation408"><![CDATA[$D_\mathrm{c}= 2.6199$]]></tex-math></inline-formula>. We have estimated the critical dimension approximately by other methods, by the peak approaching the finite <inline-formula><tex-math notation="LaTeX" id="ImEquation409"><![CDATA[$d_{13}$]]></tex-math></inline-formula> <inline-formula><tex-math notation="LaTeX" id="ImEquation410"><![CDATA[$(D_\mathrm{c}=2.6050)$]]></tex-math></inline-formula>, the dimensional reduction value <inline-formula><tex-math notation="LaTeX" id="ImEquation411"><![CDATA[$(D_\mathrm{c}=2.5995)$]]></tex-math></inline-formula>, and <inline-formula><tex-math notation="LaTeX" id="ImEquation412"><![CDATA[$4\times 4$]]></tex-math></inline-formula> minor analysis <inline-formula><tex-math notation="LaTeX" id="ImEquation413"><![CDATA[$(D_\mathrm{c}=2.589)$]]></tex-math></inline-formula>.</p>
<p>We emphasize that the estimation of the critical dimension <inline-formula><tex-math notation="LaTeX" id="ImEquation414"><![CDATA[$D_\mathrm{c}$]]></tex-math></inline-formula> is useful in practical terms for the precise analysis of the Yang&#x2013;Lee edge singularity between two and six dimensions by the Pad&#x00E9; analysis of the <inline-formula><tex-math notation="LaTeX" id="ImEquation415"><![CDATA[$\epsilon$]]></tex-math></inline-formula> expansion [<xref ref-type="bibr" rid="B30">30</xref>].</p>
<p>We have discussed the dimensional reduction property in the Yang&#x2013;Lee model, using the fact that a branched polymer in <inline-formula><tex-math notation="LaTeX" id="ImEquation416"><![CDATA[$D+2$]]></tex-math></inline-formula> dimensions is equivalent to a <inline-formula><tex-math notation="LaTeX" id="ImEquation417"><![CDATA[$D$]]></tex-math></inline-formula>-dimensional Yang&#x2013;Lee edge singularity.</p>
</sec>
</body>
<back>
<ack><title>Acknowledgements</title>
<p>The author is grateful to Ferdinando Gliozzi for discussions on the determinant method and the useful suggestion of the critical dimension. He also thanks Edouard Br&#x00E9;zin for discussion of the dimensional reduction problem. This work is supported by a Japan Society for the Promotion of Science (JSPS) KAKENHI Grant-in-Aid 16K05491. The Mathematica11 system of wolfram.com is acknowledged for this research.</p>
</ack>
<sec><title>Funding</title>
<p>Open Access funding: SCOAP<inline-formula><tex-math notation="LaTeX" id="ImEquation418"><![CDATA[$^3$]]></tex-math></inline-formula>.</p>
</sec>
<app-group>
<app><title>Appendix. Pl&#x00FC;ker formula</title>
<sec id="SECA"><title/>
<p>Relation 1 (<inline-formula><tex-math notation="LaTeX" id="ImEquation419"><![CDATA[$3\times 3$]]></tex-math></inline-formula> minors) For the determinant <inline-formula><tex-math notation="LaTeX" id="ImEquation420"><![CDATA[$d_{123}$]]></tex-math></inline-formula>, which is defined as
<disp-formula id="pty054-MA-1"><label>(A.1)</label><tex-math notation="LaTeX" id="Equation26"><![CDATA[
\begin{eqnarray}
d_{123}&=& {\rm det} \left( \begin{array}{ccc}
 vs1 & vs2 & vs3 \\
vt1 & vt2 & vt3 \\
vq1 & vq2 & vq3
\end{array} \right) \nonumber\\
&=& (vq3 ){\rm det}\left(
\begin{array}{cc}
 vs1 & vs2 \\
vt1 & vt2
\end{array} \right) - (vq2) {\rm det}\left(\begin{array}{cc}
 vs1 & vs3 \\
vt1 & vt3
\end{array}\right) + (vq1) {\rm det}\left( \begin{array}{cc}
 vs2 & vs3 \\
vt2 & vt3
\end{array} \right)\!,\qquad
\end{eqnarray}
]]></tex-math></disp-formula>
if the first determinant (<inline-formula><tex-math notation="LaTeX" id="ImEquation421"><![CDATA[$d_{12}$]]></tex-math></inline-formula>) and second minor <inline-formula><tex-math notation="LaTeX" id="ImEquation422"><![CDATA[$(d_{13})$]]></tex-math></inline-formula> on the right-hand side are zero, then the third minor (<inline-formula><tex-math notation="LaTeX" id="ImEquation423"><![CDATA[$d_{23}$]]></tex-math></inline-formula>) should be vanishing when <inline-formula><tex-math notation="LaTeX" id="ImEquation424"><![CDATA[$d_{123}=0$]]></tex-math></inline-formula>.</p>
<p>Relation 2 (<inline-formula><tex-math notation="LaTeX" id="ImEquation425"><![CDATA[$2\times 4$]]></tex-math></inline-formula> matrix) The <inline-formula><tex-math notation="LaTeX" id="ImEquation426"><![CDATA[$2\times 4$]]></tex-math></inline-formula> matrix is denoted as
<disp-formula id="pty054-MA-2"><label>(A.2)</label><tex-math notation="LaTeX" id="Equation27"><![CDATA[
\begin{equation}
M=\left(\begin{array}{cccc}
x_{11} & x_{12} & x_{13} & x_{14}\\
x_{21} & x_{22} & x_{23} & x_{24}
\end{array}\right)\!.
\end{equation}
]]></tex-math></disp-formula></p>
<p>The Pl&#x00FC;ker relation is
<disp-formula id="pty054-MA-3"><label>(A.3)</label><tex-math notation="LaTeX" id="Equation28"><![CDATA[
\begin{equation}\label{relation1}
[12][34] - [13][24] + [14][23] = 0,
\end{equation}
]]></tex-math></disp-formula>
where the minor is denoted as <inline-formula><tex-math notation="LaTeX" id="ImEquation427"><![CDATA[$[ij] = (x_{1i}) (x_{2j}) - (x_{1j} )(x_{2i})$]]></tex-math></inline-formula>. The application of this formula to minors of our case can be taken as
<disp-formula id="pty054-MA-4"><label>(A.4)</label><tex-math notation="LaTeX" id="Equation29"><![CDATA[
\begin{equation}
M=\left(\begin{array}{cccc}
vs1 & vs2 & vs3 & vs4\\
vt1 & vt2 & vt3 & vt4
\end{array}\right)\!.
\end{equation}
]]></tex-math></disp-formula></p>
<p>Thus, in our notation for <inline-formula><tex-math notation="LaTeX" id="ImEquation428"><![CDATA[$2\times 2$]]></tex-math></inline-formula> minors,
<disp-formula id="pty054-MA-5"><label>(A.5)</label><tex-math notation="LaTeX" id="Equation30"><![CDATA[
\begin{equation}
d_{12}= [12], \hskip 2mm d_{13}=[13],\hskip 2mm d_{14}=[14],\hskip 2mm
d_{23}=[23], \hskip 2mm d_{24}=[24],\hskip 2mm d_{34}=[34]
\end{equation}
]]></tex-math></disp-formula>
and we have an identity
<disp-formula id="pty054-MA-6"><label>(A.6)</label><tex-math notation="LaTeX" id="Equation31"><![CDATA[
\begin{equation}\label{Pluker2}
d_{12} d_{34} - d_{13} d_{24} + d_{14} d_{23} = 0,
\end{equation}
]]></tex-math></disp-formula>
which is represented by the tableaux
<disp-formula id="pty054-MA-7"><label>(A.7)</label><graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="pty054m1.gif"/></disp-formula></p>
<p>Note that the third tableau is not ordered by increasing row and column (4 is larger than 3). Another application of this formula is to take the following matrix:
<disp-formula id="pty054-MA-8"><label>(A.8)</label><tex-math notation="LaTeX" id="Equation32"><![CDATA[
\begin{equation}\label{choice}
M=\left(\begin{array}{cccc}
vs1 & vt1 & vq1 & vx1\\
vs3 & vt3 & vq3 & vx3
\end{array}\right)\!.
\end{equation}
]]></tex-math></disp-formula></p>
<p>In the <inline-formula><tex-math notation="LaTeX" id="ImEquation429"><![CDATA[$D=6$]]></tex-math></inline-formula> case, we find that <inline-formula><tex-math notation="LaTeX" id="ImEquation430"><![CDATA[$2\times 2$]]></tex-math></inline-formula> minors made of the above matrix are vanishing, <inline-formula><tex-math notation="LaTeX" id="ImEquation431"><![CDATA[$[12]=[13]= [14]=0$]]></tex-math></inline-formula> for <inline-formula><tex-math notation="LaTeX" id="ImEquation432"><![CDATA[$\Delta_\phi=2, \Delta_4= 8$]]></tex-math></inline-formula>, and <inline-formula><tex-math notation="LaTeX" id="ImEquation433"><![CDATA[$\Delta_6=10$]]></tex-math></inline-formula>. Therefore they satisfy the relation of Eq. (<xref ref-type="disp-formula" rid="pty054-MA-3">A.3</xref>). In this <inline-formula><tex-math notation="LaTeX" id="ImEquation434"><![CDATA[$D=6$]]></tex-math></inline-formula> case, we also find that, for such values of <inline-formula><tex-math notation="LaTeX" id="ImEquation435"><![CDATA[$\Delta_\phi=2,\ \Delta_4=8,\ \Delta_6=10$]]></tex-math></inline-formula>, the other three sets of minors are vanishing at <inline-formula><tex-math notation="LaTeX" id="ImEquation436"><![CDATA[$D=6$]]></tex-math></inline-formula>:
<disp-formula id="pty054-MA-9"><label>(A.9)</label><tex-math notation="LaTeX" id="Equation33"><![CDATA[
\begin{eqnarray}
&&[34]= {\rm det}\left( \begin{array}{cc}
vq1 & vx1\\
vq3 & vx3
\end{array}\right) = 0, \hskip 3mm [24]= {\rm det}\left( \begin{array}{cc}
vt1 & vx1\\
vt3 & vx3
\end{array}\right) = 0, \nonumber\\
&&[23] ={\rm det}\left( \begin{array}{cc}
vt1 & vq1\\
vt3 & vq3
\end{array}\right) = 0.
\end{eqnarray}
]]></tex-math></disp-formula></p>
<p>Relation 3 (<inline-formula><tex-math notation="LaTeX" id="ImEquation437"><![CDATA[$3\times 6$]]></tex-math></inline-formula> matrix)
<list list-type="simple">
<list-item><p>(i) The <inline-formula><tex-math notation="LaTeX" id="ImEquation438"><![CDATA[$3\times 6$]]></tex-math></inline-formula> matrix in the bootstrap minor method is
<disp-formula id="pty054-MA-10"><label>(A.10)</label><tex-math notation="LaTeX" id="Equation34"><![CDATA[
\begin{equation}
\left(\begin{array}{cccccc}
vs1 & vs2 & vs3 & vs4 & vs5 & vs6\\
vt1 & vt2 & vt3 & vt4 & vt5 & vt6\\
vq1 & vq2 & vq3 & vq4 & vq5 & vq6
\end{array}\right)\!.
\end{equation}
]]></tex-math></disp-formula></p>
<p>The Pl&#x00FC;ker relation is obtained by a mutual exchange of numbers:
<disp-formula id="pty054-MA-11"><label>(A.11)</label><tex-math notation="LaTeX" id="Equation35"><![CDATA[
\begin{equation}\label{3pl}
[146][235]+ [124][356]-[134][256]+[126][345]-[136][245]+[123][456]=0
\end{equation}
]]></tex-math></disp-formula></p>
<p>This identity is obtained from the first term to the second term by <inline-formula><tex-math notation="LaTeX" id="ImEquation439"><![CDATA[$(2\leftrightarrow 6)$]]></tex-math></inline-formula>, and from the second to third by <inline-formula><tex-math notation="LaTeX" id="ImEquation440"><![CDATA[$(2\leftrightarrow 3)$]]></tex-math></inline-formula>, etc. with the sign. We can also use the following relations (obtained similarly):
<disp-formula id="pty054-MA-12"><label>(A.12)</label><tex-math notation="LaTeX" id="Equation36"><![CDATA[
\begin{eqnarray}\label{eq3}
&&[126][345]-[123][456]+[124][356]-[125][346]=0\nonumber\\
&&[136][245]+[123][456]+[134][256]-[135][246]=0;
\end{eqnarray}
]]></tex-math></disp-formula>
from these equations, Eq. (<xref ref-type="disp-formula" rid="pty054-MA-11">A.11</xref>) becomes
<disp-formula id="pty054-MA-13"><label>(A.13)</label><tex-math notation="LaTeX" id="Equation37"><![CDATA[
\begin{equation}\label{tableau}
[146][235]= - 3 [123][456]-[125][346]+[135][246].
\end{equation}
]]></tex-math></disp-formula></p>
<p>In our minor examples, we have
<disp-formula id="pty054-MA-14"><label>(A.14)</label><tex-math notation="LaTeX" id="Equation38"><![CDATA[
\begin{equation}\label{15Pl}
d_{146} d_{235} = -3 d_{123} d_{456} - d_{125} d_{346} + d_{135} d_{246}.
\end{equation}
]]></tex-math></disp-formula></p>
<p>The terms on the right-hand side are ordered by increasing row and column.</p></list-item>
<list-item><p>(ii) Another application can be taken as
<disp-formula id="pty054-MA-15"><label>(A.15)</label><tex-math notation="LaTeX" id="Equation39"><![CDATA[
\begin{equation}
\left(\begin{array}{cccccc}
vs1 & vt1 & vq1 & vx1 & vs1' & vs1''\\
vs2 & vt2 & vq2 & vx2 & vs2' & vs2''\\
vs3 & vt3 & vq3 & vx3 & vs3' & vs3''
\end{array}\right)\!.
\end{equation}
]]></tex-math></disp-formula></p>
<p>The Pl&#x00FC;ker relation is the same as before. In a tableau, Eq. (<xref ref-type="disp-formula" rid="pty054-MA-13">A.13</xref>) is expressed as
<disp-formula id="pty054-MA-16"><label>(A.16)</label><graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="pty054m2.gif"/></disp-formula></p>
<p>The left-hand side is not ordered by increasing column, but the right-hand side is a combination of ordering by both increasing row and column.</p>
<p>The Pl&#x00FC;ker relation is expressed by a two-row tableau [<xref ref-type="bibr" rid="B27">27</xref>], and for an <inline-formula><tex-math notation="LaTeX" id="ImEquation441"><![CDATA[$m\times n$]]></tex-math></inline-formula> matrix, the formula becomes
<disp-formula id="pty054-MA-17"><label>(A.17)</label><tex-math notation="LaTeX" id="Equation40"><![CDATA[
\begin{equation}
\sum_{i_1< \cdots < i_t, i_{t+1} \cdots < i_s} \sigma (i_1,\ldots,i_s) [a_1,\ldots,a_k,c_{i_1}, \ldots, c_{i_t}][c_{i_{t+1}},\ldots,c_{i_s},b_l,\ldots,b_m] = 0,
\end{equation}
]]></tex-math></disp-formula>
where <inline-formula><tex-math notation="LaTeX" id="ImEquation442"><![CDATA[$(1,\ldots,s)=(i_{1},\ldots,i_s)$]]></tex-math></inline-formula>, <inline-formula><tex-math notation="LaTeX" id="ImEquation443"><![CDATA[$a_j,b_{j'},c_{j''} \in (1,\ldots,n)$]]></tex-math></inline-formula>, and <inline-formula><tex-math notation="LaTeX" id="ImEquation444"><![CDATA[$s=m-k+l -1 > m,\ t= m-k>0$]]></tex-math></inline-formula>.</p>
<p>These tableau representations suggest algebraic structures such as character expansion.</p></list-item>
</list></p>
</sec>
</app>
</app-group>
<ref-list>
<title>References</title>
<ref id="B1"><label>[1]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>Ferrara</surname> <given-names>S.</given-names></string-name>, <string-name name-style="western"><surname>Grillo</surname> <given-names>A. F.</given-names></string-name>, and <string-name name-style="western"><surname>Gatto</surname> <given-names>R.</given-names></string-name></person-group>, <source>Ann. Phys.</source> <volume>76</volume>, <fpage>161</fpage> (<year>1973</year>). (<comment><ext-link ext-link-type="uri" xlink:href="http://dx.doi.org/10.1016/0003-4916(73)90446-6">http://dx.doi.org/10.1016/0003-4916(73)90446-6</ext-link></comment>).</mixed-citation></ref>
<ref id="B2"><label>[2]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>Rattazzi</surname> <given-names>R.</given-names></string-name>, <string-name name-style="western"><surname>Rychkov</surname> <given-names>V. S.</given-names></string-name>, <string-name name-style="western"><surname>Tonni</surname> <given-names>E.</given-names></string-name>, and <string-name name-style="western"><surname>Vichi</surname> <given-names>A.</given-names></string-name></person-group>, <source>J. High Energy Phys.</source> <volume>12</volume>, <fpage>031</fpage> (<year>2008</year>) [<ext-link ext-link-type="uri" xlink:href="http://arxiv.org/abs/0807.0004">arXiv:0807.0004</ext-link> [hep-th]] [<ext-link ext-link-type="uri" xlink:href="http://www.inspirehep.net/search?p=find+EPRINT+0807.0004">Search <sc>in</sc>SPIRE</ext-link>]. (<comment><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1088/1126-6708/2008/12/031">https://doi.org/10.1088/1126-6708/2008/12/031</ext-link></comment>)</mixed-citation></ref>
<ref id="B3"><label>[3]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>El-Showk</surname> <given-names>S.</given-names></string-name>, <string-name name-style="western"><surname>Paulos</surname> <given-names>M. F.</given-names></string-name>, <string-name name-style="western"><surname>Poland</surname> <given-names>D.</given-names></string-name>, <string-name name-style="western"><surname>Rychkov</surname> <given-names>S.</given-names></string-name>, <string-name name-style="western"><surname>Simmons-Duffin</surname> <given-names>D.</given-names></string-name>, and <string-name name-style="western"><surname>Vichi</surname> <given-names>A.</given-names></string-name></person-group>, <source>Phys. Rev. D</source> <volume>86</volume>, <fpage>025022</fpage> (<year>2012</year>) [<ext-link ext-link-type="uri" xlink:href="http://arxiv.org/abs/1203.6064">arXiv:1203.6064</ext-link> [hep-th]] [<ext-link ext-link-type="uri" xlink:href="http://www.inspirehep.net/search?p=find+EPRINT+1203.6064">Search <sc>in</sc>SPIRE</ext-link>]. (<comment><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1103/PhysRevD.86.025022">https://doi.org/10.1103/PhysRevD.86.025022</ext-link></comment>)</mixed-citation></ref>
<ref id="B4"><label>[4]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>El-Showk</surname> <given-names>S.</given-names></string-name>, <string-name name-style="western"><surname>Paulos</surname> <given-names>M. F.</given-names></string-name>, <string-name name-style="western"><surname>Poland</surname> <given-names>D.</given-names></string-name>, <string-name name-style="western"><surname>Rychkov</surname> <given-names>S.</given-names></string-name>, <string-name name-style="western"><surname>Simmons-Duffin</surname> <given-names>D.</given-names></string-name>, and <string-name name-style="western"><surname>Vichi</surname> <given-names>A.</given-names></string-name></person-group>, <source>J. Stat. Phys.</source> <volume>157</volume>, <fpage>869</fpage> (<year>2014</year>) [<ext-link ext-link-type="uri" xlink:href="http://arxiv.org/abs/1403.4545">arXiv:1403.4545</ext-link> [hep-th]] [<ext-link ext-link-type="uri" xlink:href="http://www.inspirehep.net/search?p=find+EPRINT+1403.4545">Search <sc>in</sc>SPIRE</ext-link>]. (<comment><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/s10955-014-1042-7">https://doi.org/10.1007/s10955-014-1042-7</ext-link></comment>)</mixed-citation></ref>
<ref id="B5"><label>[5]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>Gliozzi</surname> <given-names>F.</given-names></string-name></person-group>, <source>Phys. Rev. Lett.</source> <volume>111</volume>, <fpage>161602</fpage> (<year>2013</year>) [<ext-link ext-link-type="uri" xlink:href="http://arxiv.org/abs/1307.3111">arXiv:1307.3111</ext-link> [hep-th]] [<ext-link ext-link-type="uri" xlink:href="http://www.inspirehep.net/search?p=find+EPRINT+1307.3111">Search <sc>in</sc>SPIRE</ext-link>]. (<comment><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1103/PhysRevLett.111.161602">https://doi.org/10.1103/PhysRevLett.111.161602</ext-link></comment>)</mixed-citation></ref>
<ref id="B6"><label>[6]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>Gliozzi</surname> <given-names>F.</given-names></string-name> and <string-name name-style="western"><surname>Rago</surname> <given-names>A.</given-names></string-name></person-group>, <source>J. High Energy Phys.</source> <volume>10</volume>, <fpage>042</fpage> (<year>2014</year>) [<ext-link ext-link-type="uri" xlink:href="http://arxiv.org/abs/1403.6003">arXiv:1403.6003</ext-link> [hep-th]] [<ext-link ext-link-type="uri" xlink:href="http://www.inspirehep.net/search?p=find+EPRINT+1403.6003">Search <sc>in</sc>SPIRE</ext-link>]. (<comment><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/JHEP10(2014)042">https://doi.org/10.1007/JHEP10(2014)042</ext-link></comment>)</mixed-citation></ref>
<ref id="B7"><label>[7]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>Kos</surname> <given-names>F.</given-names></string-name>, <string-name name-style="western"><surname>Poland</surname> <given-names>D.</given-names></string-name>, <string-name name-style="western"><surname>Simmons-Duffin</surname> <given-names>D.</given-names></string-name>, and <string-name name-style="western"><surname>Vichi</surname> <given-names>A.</given-names></string-name></person-group>, <source>J. High Energy Phys.</source> <volume>11</volume>, <fpage>106</fpage> (<year>2015</year>) [<ext-link ext-link-type="uri" xlink:href="http://arxiv.org/abs/1504.07997">arXiv:1504.07997</ext-link> [hep-th]] [<ext-link ext-link-type="uri" xlink:href="http://www.inspirehep.net/search?p=find+EPRINT+1504.07997">Search <sc>in</sc>SPIRE</ext-link>]. (<comment><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/JHEP11(2015)106">https://doi.org/10.1007/JHEP11(2015)106</ext-link></comment>)</mixed-citation></ref>
<ref id="B8"><label>[8]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>Kos</surname> <given-names>F.</given-names></string-name>, <string-name name-style="western"><surname>Poland</surname> <given-names>D.</given-names></string-name>, <string-name name-style="western"><surname>Simmons-Duffin</surname> <given-names>D.</given-names></string-name>, and <string-name name-style="western"><surname>Vichi</surname> <given-names>A.</given-names></string-name></person-group>, <source>J. High Energy Phys.</source> <volume>08</volume>, <fpage>036</fpage> (<year>2016</year>) [<ext-link ext-link-type="uri" xlink:href="http://arxiv.org/abs/1603.04436">arXiv:1603.04436</ext-link> [hep-th]] [<ext-link ext-link-type="uri" xlink:href="http://www.inspirehep.net/search?p=find+EPRINT+1603.04436">Search <sc>in</sc>SPIRE</ext-link>]. (<comment><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/JHEP08(2016)036">https://doi.org/10.1007/JHEP08(2016)036</ext-link></comment>)</mixed-citation></ref>
<ref id="B9"><label>[9]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>Nakayama</surname> <given-names>Y.</given-names></string-name> and <string-name name-style="western"><surname>Ohtsuki</surname> <given-names>T.</given-names></string-name></person-group>, <source>Phys. Rev. D</source> <volume>89</volume>, <fpage>126009</fpage> (<year>2014</year>) [<ext-link ext-link-type="uri" xlink:href="http://arxiv.org/abs/1404.0489">arXiv:1404.0489</ext-link> [hep-th]] [<ext-link ext-link-type="uri" xlink:href="http://www.inspirehep.net/search?p=find+EPRINT+1404.0489">Search <sc>in</sc>SPIRE</ext-link>]. (<comment><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1103/PhysRevD.89.126009">https://doi.org/10.1103/PhysRevD.89.126009</ext-link></comment>)</mixed-citation></ref>
<ref id="B10"><label>[10]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>Basu</surname> <given-names>P.</given-names></string-name> and <string-name name-style="western"><surname>Krishnan</surname> <given-names>C.</given-names></string-name></person-group>, <source>J. High Energy Phys.</source> <volume>11</volume>, <fpage>040</fpage> (<year>2015</year>) [<ext-link ext-link-type="uri" xlink:href="http://arxiv.org/abs/1506.06616">arXiv:1506.06616</ext-link> [hep-th]] [<ext-link ext-link-type="uri" xlink:href="http://www.inspirehep.net/search?p=find+EPRINT+1506.06616">Search <sc>in</sc>SPIRE</ext-link>]. (<comment><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/JHEP11(2015)040">https://doi.org/10.1007/JHEP11(2015)040</ext-link></comment>)</mixed-citation></ref>
<ref id="B11"><label>[11]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>Shimada</surname> <given-names>H.</given-names></string-name> and <string-name name-style="western"><surname>Hikami</surname> <given-names>S.</given-names></string-name></person-group>, <source>J. Stat. Phys.</source> <volume>165</volume>, <fpage>1006</fpage> (<year>2016</year>) [<ext-link ext-link-type="uri" xlink:href="http://arxiv.org/abs/1509.04039">arXiv:1509.04039</ext-link> [cond-mat.stat-mech]] [<ext-link ext-link-type="uri" xlink:href="http://www.inspirehep.net/search?p=find+EPRINT+1509.04039">Search <sc>in</sc>SPIRE</ext-link>]. (<comment><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/s10955-016-1658-x">https://doi.org/10.1007/s10955-016-1658-x</ext-link></comment>)</mixed-citation></ref>
<ref id="B12"><label>[12]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>Esterlis</surname> <given-names>I.</given-names></string-name>, <string-name name-style="western"><surname>Fitzpatrick</surname> <given-names>A. L.</given-names></string-name>, and <string-name name-style="western"><surname>Ramirez</surname> <given-names>D. M.</given-names></string-name></person-group>, <source>J. High Energy Phys.</source> <volume>11</volume>, <fpage>030</fpage> (<year>2016</year>) [<ext-link ext-link-type="uri" xlink:href="http://arxiv.org/abs/1606.07458">arXiv:1606.07458</ext-link> [hep-th]] [<ext-link ext-link-type="uri" xlink:href="http://www.inspirehep.net/search?p=find+EPRINT+1606.07458">Search <sc>in</sc>SPIRE</ext-link>]. (<comment><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/JHEP11(2016)030">https://doi.org/10.1007/JHEP11(2016)030</ext-link></comment>)</mixed-citation></ref>
<ref id="B13"><label>[13]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>Dey</surname> <given-names>P.</given-names></string-name>, <string-name name-style="western"><surname>Kaviraj</surname> <given-names>A.</given-names></string-name>, and <string-name name-style="western"><surname>Sinha</surname> <given-names>A.</given-names></string-name></person-group>, <source>J. High Energy Phys.</source> <volume>07</volume>, <fpage>019</fpage> (<year>2017</year>) [<ext-link ext-link-type="uri" xlink:href="http://arxiv.org/abs/1612.05032">arXiv:1612.05032</ext-link> [hep-th]] [<ext-link ext-link-type="uri" xlink:href="http://www.inspirehep.net/search?p=find+EPRINT+1612.05032">Search <sc>in</sc>SPIRE</ext-link>]. (<comment><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/JHEP07(2017)019">https://doi.org/10.1007/JHEP07(2017)019</ext-link></comment>)</mixed-citation></ref>
<ref id="B14"><label>[14]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>Hikami</surname> <given-names>S.</given-names></string-name></person-group>, <ext-link ext-link-type="uri" xlink:href="http://arxiv.org/abs/1708.03072">arXiv:1708.03072</ext-link> [hep-th] [<ext-link ext-link-type="uri" xlink:href="http://www.inspirehep.net/search?p=find+EPRINT+1708.03072">Search <sc>in</sc>SPIRE</ext-link>].</mixed-citation></ref>
<ref id="B15"><label>[15]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>Li</surname> <given-names>W.</given-names></string-name></person-group>, <ext-link ext-link-type="uri" xlink:href="http://arxiv.org/abs/1711.09075">arXiv:1711.09075</ext-link> [hep-th] [<ext-link ext-link-type="uri" xlink:href="http://www.inspirehep.net/search?p=find+EPRINT+1711.09075">Search <sc>in</sc>SPIRE</ext-link>].</mixed-citation></ref>
<ref id="B16"><label>[16]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>Bashkirov</surname> <given-names>D.</given-names></string-name></person-group>, <ext-link ext-link-type="uri" xlink:href="http://arxiv.org/abs/1310.8255">arXiv:1310.8255</ext-link> [hep-th] [<ext-link ext-link-type="uri" xlink:href="http://www.inspirehep.net/search?p=find+EPRINT+1310.8255">Search <sc>in</sc>SPIRE</ext-link>].</mixed-citation></ref>
<ref id="B17"><label>[17]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>Hikami</surname> <given-names>S.</given-names></string-name></person-group>, <ext-link ext-link-type="uri" xlink:href="http://arxiv.org/abs/1801.09052">arXiv:1801.09052</ext-link> [cond-mat.dis-nn] [<ext-link ext-link-type="uri" xlink:href="http://www.inspirehep.net/search?p=find+EPRINT+1801.09052">Search <sc>in</sc>SPIRE</ext-link>].</mixed-citation></ref>
<ref id="B18"><label>[18]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>James</surname> <given-names>A. T.</given-names></string-name></person-group>, <source>Ann. Math. Stat.</source> <volume>39</volume>, <fpage>1711</fpage> (<year>1968</year>). (<comment><ext-link ext-link-type="uri" xlink:href="http://dx.doi.org/10.1214/aoms/1177698153">http://dx.doi.org/10.1214/aoms/1177698153</ext-link></comment>)</mixed-citation></ref>
<ref id="B19"><label>[19]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>Koornwinder</surname> <given-names>T.</given-names></string-name> and <string-name name-style="western"><surname>Sprinkhuizen-Kuyper</surname> <given-names>I.</given-names></string-name></person-group>, <source>SIAM J. Math. Anal.</source> <volume>9</volume>, <fpage>457</fpage> (<year>1978</year>). (<comment><ext-link ext-link-type="uri" xlink:href="http://dx.doi.org/10.1137/0509028">http://dx.doi.org/10.1137/0509028</ext-link></comment>)</mixed-citation></ref>
<ref id="B20"><label>[20]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>Dolan</surname> <given-names>F. A.</given-names></string-name> and <string-name name-style="western"><surname>Osborn</surname> <given-names>H.</given-names></string-name></person-group>, <source>Nucl. Phys. B</source> <volume>678</volume>, <fpage>491</fpage> (<year>2004</year>) [<ext-link ext-link-type="uri" xlink:href="http://arxiv.org/abs/hep-th/0309180">arXiv:hep-th/0309180</ext-link> [hep-th]] [<ext-link ext-link-type="uri" xlink:href="http://www.inspirehep.net/search?p=find+EPRINT+hep-th/0309180">Search <sc>in</sc>SPIRE</ext-link>]. (<comment><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1016/j.nuclphysb.2003.11.016">https://doi.org/10.1016/j.nuclphysb.2003.11.016</ext-link></comment>)</mixed-citation></ref>
<ref id="B21"><label>[21]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>Nakayama</surname> <given-names>Y.</given-names></string-name></person-group>, <source>Phys. Rev. Lett.</source> <volume>116</volume>, <fpage>141602</fpage> (<year>2016</year>) [<ext-link ext-link-type="uri" xlink:href="http://arxiv.org/abs/1601.06851">arXiv:1601.06851</ext-link> [hep-th]] [<ext-link ext-link-type="uri" xlink:href="http://www.inspirehep.net/search?p=find+EPRINT+1601.06851">Search <sc>in</sc>SPIRE</ext-link>]. (<comment><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1103/PhysRevLett.116.141602">https://doi.org/10.1103/PhysRevLett.116.141602</ext-link></comment>)</mixed-citation></ref>
<ref id="B22"><label>[22]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>Rychkov</surname> <given-names>S.</given-names></string-name> and <string-name name-style="western"><surname>Tan</surname> <given-names>Z. M.</given-names></string-name></person-group>, <source>J. Phys. A: Math. Theor.</source> <volume>48</volume>, <fpage>29FT01</fpage> (<year>2015</year>). [<ext-link ext-link-type="uri" xlink:href="http://arxiv.org/abs/1505.00963">arXiv:1505.00963</ext-link> [hep-th]] [<ext-link ext-link-type="uri" xlink:href="http://www.inspirehep.net/search?p=find+EPRINT+1505.00963">Search <sc>in</sc>SPIRE</ext-link>]. (<comment><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1088/1751-8113/48/29/29FT01">https://doi.org/10.1088/1751-8113/48/29/29FT01</ext-link></comment>)</mixed-citation></ref>
<ref id="B23"><label>[23]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>Gliozzi</surname> <given-names>F.</given-names></string-name></person-group>, <source>J. High Energy Phys.</source> <volume>10</volume>, <fpage>037</fpage> (<year>2016</year>) [<ext-link ext-link-type="uri" xlink:href="http://arxiv.org/abs/1605.04175">arXiv:1605.04175</ext-link> [hep-th]] [<ext-link ext-link-type="uri" xlink:href="http://www.inspirehep.net/search?p=find+EPRINT+1605.04175">Search <sc>in</sc>SPIRE</ext-link>]. (<comment><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/JHEP10(2016)037">https://doi.org/10.1007/JHEP10(2016)037</ext-link></comment>)</mixed-citation></ref>
<ref id="B24"><label>[24]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>Gliozzi</surname> <given-names>F.</given-names></string-name>, <string-name name-style="western"><surname>Guerrieri</surname> <given-names>A. L.</given-names></string-name>, <string-name name-style="western"><surname>Petkou</surname> <given-names>A. C.</given-names></string-name>, and <string-name name-style="western"><surname>Wen</surname> <given-names>C.</given-names></string-name></person-group>, <source>Phys. Rev. Lett.</source> <volume>118</volume>, <fpage>061601</fpage> (<year>2017</year>). (<comment><ext-link ext-link-type="uri" xlink:href="http://dx.doi.org/10.1103/PhysRevLett.118.061601">http://dx.doi.org/10.1103/PhysRevLett.118.061601</ext-link></comment>)</mixed-citation></ref>
<ref id="B25"><label>[25]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>Gliozzi</surname> <given-names>F.</given-names></string-name>, <string-name name-style="western"><surname>Guerrieri</surname> <given-names>A. L.</given-names></string-name>, <string-name name-style="western"><surname>Petkou</surname> <given-names>A. C.</given-names></string-name>, and <string-name name-style="western"><surname>Wen</surname> <given-names>C.</given-names></string-name></person-group>, <source>J. High Energy Phys.</source> <volume>04</volume>, <fpage>056</fpage> (<year>2017</year>) [<ext-link ext-link-type="uri" xlink:href="http://arxiv.org/abs/1702.03938">arXiv:1702.03938</ext-link> [hep-th]] [<ext-link ext-link-type="uri" xlink:href="http://www.inspirehep.net/search?p=find+EPRINT+1702.03938">Search <sc>in</sc>SPIRE</ext-link>]. (<comment><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/JHEP04(2017)056">https://doi.org/10.1007/JHEP04(2017)056</ext-link></comment>)</mixed-citation></ref>
<ref id="B26"><label>[26]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>Cardy</surname> <given-names>J.</given-names></string-name></person-group>, <source>J. Phys. A: Math. Theor.</source> <volume>46</volume>, <fpage>494001</fpage> (<year>2013</year>) [<ext-link ext-link-type="uri" xlink:href="http://arxiv.org/abs/1302.4279">arXiv:1302.4279</ext-link> [cond-mat.stat-mech]] [<ext-link ext-link-type="uri" xlink:href="http://www.inspirehep.net/search?p=find+EPRINT+1302.4279">Search <sc>in</sc>SPIRE</ext-link>]. (<comment><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1088/1751-8113/46/49/494001">https://doi.org/10.1088/1751-8113/46/49/494001</ext-link></comment>)</mixed-citation></ref>
<ref id="B27"><label>[27]</label><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name name-style="western"><surname>Bruns</surname> <given-names>W.</given-names></string-name> and <string-name name-style="western"><surname>Vetter</surname> <given-names>V.</given-names></string-name></person-group>, <source>Determinantal Rings</source> (<publisher-name>Springer</publisher-name>, <publisher-loc>Berlin</publisher-loc>, <year>1988</year>), <series>Lecture Notes in Mathematics</series> <volume>Vol. 1327</volume>.</mixed-citation></ref>
<ref id="B28"><label>[28]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>Parisi</surname> <given-names>G.</given-names></string-name> and <string-name name-style="western"><surname>Sourlas</surname> <given-names>N.</given-names></string-name></person-group>, <source>Phys. Rev. Lett.</source> <volume>46</volume>, <fpage>871</fpage> (<year>1981</year>). (<comment><ext-link ext-link-type="uri" xlink:href="http://dx.doi.org/10.1103/PhysRevLett.46.871">http://dx.doi.org/10.1103/PhysRevLett.46.871</ext-link></comment>)</mixed-citation></ref>
<ref id="B29"><label>[29]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>Brydges</surname> <given-names>D. C.</given-names></string-name> and <string-name name-style="western"><surname>Imbrie</surname> <given-names>J. Z.</given-names></string-name></person-group>, <source>Ann. Math.</source> <volume>158</volume>, <fpage>1019</fpage> (<year>2003</year>). (<comment><ext-link ext-link-type="uri" xlink:href="http://dx.doi.org/10.4007/annals.2003.158.1019">http://dx.doi.org/10.4007/annals.2003.158.1019</ext-link></comment>)</mixed-citation></ref>
<ref id="B30"><label>[30]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name name-style="western"><surname>Gracey</surname> <given-names>J. A.</given-names></string-name></person-group>, <source>Phys. Rev. D</source> <volume>92</volume>, <fpage>025012</fpage> (<year>2015</year>) [<ext-link ext-link-type="uri" xlink:href="http://arxiv.org/abs/1506.03357">arXiv:1506.03357</ext-link> [hep-th]] [<ext-link ext-link-type="uri" xlink:href="http://www.inspirehep.net/search?p=find+EPRINT+1506.03357">Search <sc>in</sc>SPIRE</ext-link>]. (<comment><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1103/PhysRevD.92.025012">https://doi.org/10.1103/PhysRevD.92.025012</ext-link></comment>)</mixed-citation></ref>
</ref-list>
</back>
</article>