Hubert space and structure constants of descendant fields ...lassig/docs/1991c.pdf · 74 M....
Transcript of Hubert space and structure constants of descendant fields ...lassig/docs/1991c.pdf · 74 M....
ComputerPhysicsCommunications66 (1991)71—88 71North-Holland
Hubertspaceandstructureconstantsof descendantfieldsin two-dimensionalconformaltheories
Michael LassigandGiuseppeMussardo1Departmentof Physics, University of California, SantaBarbara, CA 93106, USA
Received12 July 1990; in revised form 5 November1990
We have developedan algorithm to computethe Hubert-spacebasis and the operatoralgebraof descendantfields for(1 + 1)-dimensionalconformal field theories.Implementedas a Marhematicacomputerprogram, this algorithm is usedtoobtainnonperturbativelythespectrumof the transfermatrix theories,seenas deformationsof a masslessconformaltheory.
PROGRAM SUMMARY
Title of program: STRIP Nature ofphysicalproblem
To computethe spectrumof the transfermatrix for massiveCataloguenumber: ABZT (1 + 1)-dimensionalquantumfield theories.
Program obtainable from: CPC Program Library. Queen’s Methodofsolution
Universityof Belfast, N. Ireland(seeapplicationform in this The massiveregimeis seenasa deformationof themodel at itsissue) masslesscritical point, where it can besolvedexactly with the
methodsof conformal field theory. This programencodesan
Computer: DECstation 3100: Installation: Physics Depart- efficient algorithmfor thecomputationof thenecessarydataatment,Universityof California,SantaBarbara,CA 93106,USA the conformal point, namely (a) a convenient basis of the
Hubert space,truncatedto a finite numberof elements,and
Operatingsystem:ULTRIX (b) the “interaction” matrix elements,i.e. the structurecon-stantsof theperturbingoperatorbetweenthesestates.
Programminglanguage used: Mathematica[11Typical running time
High speedstoragerequired: stronglydependenton thedimen- Stronglydependenton the dimensionof thetruncatedHubertsion of the truncatedHilbert space;about11 megabytefor a space; about 1 s CPU to compute each interaction matrixgenericperturbationof thetricritical Ising model, element, and about 1 mm CPU to diagonalizea 200 x 200
Hamiltoman matrix.
No. of lines in combinedprogram and testdeck: 470Reference
Key words: conformal field theory, two-dimensionalsystems [1] S. Wolfram, Mathematica(Addison—Wesley, New York,awayfrom criticality, spectrumof thetransfermatrix 1988).
I.N.F.N. Fellow, Sez. di Trieste, Italy.
0010-4655/91/$03.50© 1991 -. ElsevierSciencePublishersB.V. (North-Holland)
72 M. Lässig,G. Mussardo/ Hilbert spaceandstructureconstantsofdescendantfields
LONG WRITE-UP
1. Introduction
The principle of conformal invariancehas beena very important tool for the analysisof two-dimen-sionalstatisticalsystemsat a critical point [1,2]. More recently, it also hasbeenusedsuccessfullyto obtaininformation about massivesystemsaway from criticality. Such a systemcan be regardedas the confor-mally invariant critical theory perturbedby a relevantscalingfield 4~dd of scalingdimension2d; via thelogarithmic mapping ~ = (R/2’rr) ln z, it defines a Euclideanquantum field theory on a cylinder ofcircumferenceR. The Hamiltonian (thelogarithmof the transfermatrix) has the form
Hx=Ho+XVHo+Xf’~4aa(w. i~)d(Imw)/21T, (1.1)
with an obvious generalizationto the caseof several perturbing fields. By scaling, the spectrumof H~dependsessentiallyonly on the dimensionlessvariable X R2 2d, thereforewe set in the following X = I andstudythe spectrumas a function of R.— The “unperturbed”part of the Hamiltoniancan beexpressedin terms of the Virasoro generatorsL
0,L0, and the central chargec of the conformal theory[3],
H0 = (2ii/R)(L0 + — c/12). (1.2)
The eigenvaluesof L0 + L0 are the scalingdimensionsin the plane, andthe eigenstatesof H0 (“conformalstates”),which are relatedto the scalingoperators,are assumedto form a basisof the Hilbert space.Thedimensionlessmatrix elementsof V betweenthem,
v~(d, c) (R/2~)2d
t<j I V I i) = (R/2~)2dKi I ~d,d (0~0)1 i) (1.3)
are structureconstantsof the conformal algebra. Since the Hamiltonian (1.1) commutes with themomentumoperatoron the cylinder,
P= (2’rr/R)(L0—L0), (1.4)
the dynamicsfactorizesinto Hilbert spacesectorsof definite momentumP = 2’rrK/R (K = 0, 1, 2, ...).
Yurov and Zamolodchikovsuggestedto truncatethe Hilbert spaceto a finite numberof conformalstates,thusreducingthe problemof finding the off-critical spectrumto the numericaldiagonalizationof afinite matrix whose elementscan be computedexactly from the conformal theory. They applied thismethod to themassiveYang—Leemodel [4]; Lassig,MussardoandCardy[5] studiedthe scalingregionofthe tricritical Ising model.A moderatenumberof conformal statesturnedout to be sufficient to reproducethe spectrumof the infinite-dimensionalHubert spaceaccurately in the massiveregime. For a detaileddiscussionof the results,the readeris referredto thesetwo papers.
We emphasizethat the methodis very generalandcan be usedto analyzenumericallythe scalingregionof any minimal conformalfield theory(i.e. a conformaltheorywith a finite numberof primary fields). It isessentiallynonperturbativeandcanbe usedin caseswherethereis no smallparameterfor an E-expansion.Thereforeit clearly deservesto be exploredfurther. However, alreadyfor the tricritical Ising model itbecomesquitecomplex to computethe necessarydataof the conformal theory,i.e. the basisof statesandthe interactionmatrix elements(1.3). Herewe providean efficientalgorithmfor that.
M. LiAssig, G. Mussardo/ Hilbert spaceand structureconstantsofdescendantfields 73
2. ConformalHubertspace
The statesof a conformal field theory organizeinto conformal families. Many physically interestingexamplesare describedby a “minimal” conformal theory, where thereis only a finite number F offamilies.Theseare productsof holomorphicandantiholomorphicVermamodules,irreduciblerepresenta-tions of the Virasoroalgebra
[La, Lm] = (n — m)Ln+m + — 1)6n+mo. (2.1)
EachVermamoduleP~,containsoneprimary state I d) of conformaldimensiond, which satisfies
L01d)= dId), LkId)=O (k>0), (2.2)
and the descendantstates
L_~,... L..~2... L~1Id) (n5� ... �n2�n1) (2.3)
of dimensiond + n(n = ~n1= 1, 2, ...). Thenumberv(n, d) of linearly independentdescendantstatesatlevel n is givenby the characterof the Verma module ~,
Xa(~)= qd_c/24~v(n, d)q~. (2.4)
The Verma modulecan be decomposedinto two orthogonalsubspaces(this decompositionis convenientfor the computationof the matrix elementsbelow).
(a) The quasiprimarysubspaceconsistsof the states I 6) which satisfy the equationL1 6) = 0 (and
hence cannot be written as the derivative of statesat the previous level). The number of linearlyindependentquasiprimarystatesat level n is v(n, d) — v(n— 1, d). A basis in this subspacemay beobtainedas follows. At each level n = 2, 3, ... thereis one “primitive” quasiprimarystate P~(d)d),whereP~( d) is a polynomial in the lowering operatorsL - k given recursivelyby
P1(d)= 1, P~(d)=p~~(d)L~+ ~ Pn,m(d)~_i’~1’m(d)(n � 2), (2.5)
with th = 0 if m = 1, th = m otherwise,
1, if m=1,2(2d+1)~_1
— if m=2,3, ... and n=mPn.m(”
t) n+1 (2.6)n!(2d+m)n_m
— , if m=2,3, ... andm!(n — m)!(2d+ 2m)nm
and (a )k = F( a + k)/F( a). The quasiprimarysubspaceof a nondegenerateVermamodule ~ is spanned
by the compositestates
Q,, ,jd)~d)= P~(d+n5..1+ ... +n~)...P~(d+n1)P~(d)Id), (2.7)
with n~� n55 < � n1. In a degenerateVerma module, the null stateshaveto be projectedout.
74 M. Lässig, G. Mussardo/ Hi/bert spaceandstructureconstantsof descendantfields
(b) The orthogonalsubspaceof ~ consistsof pure derivativestates.Any suchstateat level k is of theform L’ 16), where 6) is a quasiprimarystateat level k — r. A holomorphicdescendantstate
If. k, {n~})= L”Q{,~Idf) (2.8)
is thuscharacterizedby threequantumnumberslabelling its Vermamodule, its level andits quasiprimarysubfamily.
The full Hilbert spaceis obtainedby taking the tensorproductof the left andright Vermamodulesforeachconformal family, in a way that can be readoff from the decompositionof the partition function intermsof the characters(2.4),
~ (2.9)
the integers NdJ beingdeterminedby modular invariance[3]. Eachconformal state
lf~ k1, (n1); fr’ kr, {fni}r) = If~. k1, (n,)1) ® Ifr’ kr, (n,)1) (2.10)
is characterizedby six quantumnumbers;it has momentum(2’rr/R)K = (2ir/R)(k~— kr). In the caseof adiagonalmodular form, the zero-momentumHubert spacetruncatedat level N has dimension
~ v~(n,c/f). (2.11)f—I n=0
wherethe index f labelsthe conformal families appearingin the model.
3. Structureconstants
Thematrix elementsv11(d, c) of eq. (1.3) areanalyticfunctionsof the conformaldimensionsd,, d, andd, andthe centralchargec. The finitely many structureconstantsbetweenprimary states,
~ (R/2~)2~,I ~(0, 0)1~) (3.1)
are fundamentaldynamical characteristicsof the conformal theory. For the minimal models, they havebeen calculated by Dotsenko and Fateev [6]. Once the primary structureconstantsare known, thestructureconstantsbetweendescendantfields are determinedby conformal invariance[fl.
3.1. Matrix elementsbetweenderivativestates
The matrix elementsbetweenderivativestatesare given in termsof the quasiprimarymatrix elementsby the formula [4]
(62IL~24d(0)L1±l16I) =f(62, r2, d, 6~,r1)<62I4~d(0) I6~) (3.2)
with the “f-factor”
mln(rl,r,) (62+61 —d),(d+6, —62)~,(d+82—61),2~,f(62, r2, d, 6~,r1) = r2!r1! ~ l’r — l~~r— l~ (3.3)
I—() ‘\ I )‘‘~ 2 1’
and the analogousformula for the antiholomorphicpart.
M. Lässig,G. Mussardo/ Hi/bert spaceand structureconstantsofdescendantfields 75
3.2. Matrix elementsbetweenquasiprimarystates
The quasiprimarymatrix elementsmay be computedrecursivelyas follows. Considerfirst the matrixelementsbetweentwo primitive quasiprimaries,
Kd2 I P,~2(d2)~dd(0,0)P~(d1)Id1)
=p~~(d2)((d2I[L~2, 4d,d(0, 0)] P~(d1)Id1) + (d2 I~d.d(0,0)L~P~(d1)Id1))
n2—1
+ ~ Pn2m2(d2)(d2 I P~(d2)L~2_Pn2~dd(0,0)P~,(d1)Id1). (3.4)m2=I
Hencethe “q-factor” of proportionality,
(d2 IP,~2(d2)4d,a(0,0)Pfl,(dI)Id1)q(d2, n2, d, d1, n1, c)~ d (0 0~d ‘ (3.5)
< 2I4~d,d’. iI ~)is given by the recursion
q(d2, 1, d, d1, 1, c) = 1, (3.6)
q(d2, n2, d, d1, ni, c)
— n1 + d2 + n2d)q(d2, 1, d, d1, n1, c)
(l\l~2 ~
+ ( ~ a,,,,,(d~,c) x (n1 — — n2 + 1)~2...1(2d1+ n1 + th1 — n2),,2...1
xf(d2, 0, d,d1+ ni1, n1 — rn1 — n2)q(d2, 1, d, d1, m1, c))
n2—
+ ~ p,,2 ,,,(d~)f(d2+ m2, n2 — m2, d, d1 + h~,0)q(d2, m2, d, d1, n1, c). (3.7)m2=I
To deriveeq. (3.7), we usedeq. (3.2) andthe commutationrelations
[Lk, ~d.d(~’~ ~)]= e2 kw/R(kd+ (R/2rr)3,.,)4dd(w, ~), (3.8)
max(1,n—2)
[L2, P~(6)]16) = m~1 a,,m(6, C)L~i
2”Pm(6) 6) (3.9)
(andtheir complexconjugates),togetherwith the equation
LkP,,(8)I6)= (k_2)!~L2~
6~ô~ (3.10)
The coefficientsa,,m(6, c) in eq. (3.9) are generatedby the recursion
a21(6,c) = — i~(62 + f-j_~~6+ ...~.) (3.11)
76 M. Lassig,G. Mu.ssardo/ Hi/bert spaceand structureconstantsofdescendantfields
a,,,,,(6, c) =p,,,,,(6)(n — i~)(n— — 1)(3(6 + th) + n — iii —2)
rn—I (n +
+ ~:pnk(6)ak,rn(8, c) + 6k=th±2 Pn—2,n—2
f1 if m=n—2\ P,,-2.rn(6)’ if m = 1, 2 n —3. (3.12)
Becauseof the symmetryf,1(d, c) = v.,(d, c) of the matrix elements,the recursionrelation(3.7) needsto
be evaluatedonly for n2 � n1, so that at mostoneterm appearsin the sumover m1.Thenext step is to determinatethe q-factors,
(d2 I P,,~,(d2)P,,t22(d2+ n2I)~dd(0, 0)P,,(d1) Id1)q(d2, {n21, n22), d, d1, n1, c) (d2 I4d,d(0, 0) Id1) (3.13)
which is donein exactly the sameway as in eq. (3.7). Finally, the q-factors,
q(d2, {n21. n22), d, d1, {n11. n12}, c)
— (d2 I P,~(d2)P,~(d2 + n2I)4dd(0,0)P,,(d1+ n11)P,,,,(d1)Id1) (3 14
= <d2I~ad(0,0)IdI)
are computed.In this case, the terms L,,P,,(d1 + n11)P,,,(d1)Id1) are more complicated,and they areevaluatedin eachcaseseparately.If we truncatethe Hubertspaceat level 5 of the Vermamodules,thereare no quasiprimarieswith morethan two primitive factors.
The Hubert spacebasis(2.10) is not orthonormal;the inner productbetweentwo statesis
g,,(c) Ii) = v,,(0, c). (3.15)
The interactionmatrix elementsappearingin the logarithmof the transfermatrix (1.1) are the structureconstantswith onecontravariantindex; they areobtainedfrom eq. (1.3) by raising the index j,
v/(d, c) = g1’(c)v,
1(d,c). (3.16)
4. Structureandusageof the programSTRIP
Fora (1 + 1)-dimensionalperturbedconformalfield theory,the programSTRIPcomputesthe Hamilto-nian (1.1) and diagonalizesit. The structureof the programis sketchedin fig. 1; the Mathematicacodeappearsin the listing at the endof this paper.The computationinvolvesthreesteps(parts1—3, 4—6, and7of STRIP,respectively).First,the programcalculatesthe symbolicexpressionsof the descendantfactorsinthe conformalstructureconstants,using thealgorithmsdescribedin detail in sections2 and 3. Specifically,it encodesthe formulaefor1. the primitive quasiprimarypolynomialsP,, (d) given by eq. (2.6),2. the f-factors(3.3),3. the q-factors(3.5), (3.13) and(3.14).
M. Ldssig,G. Mussardo/ Hi/bert spaceandstructureconstantsofdescendantfields 77
CONFORMAL FIELD THEORY DATA
primary conformal
structure families andconstants dimensions
v states
~ectrum
Fig. 1. Flow diagramof STRIP.
As explained above, these formulae follow from conformal invariancealone and do not use inputdescribinga particularconformal theory. They appearin manycontextsof conformalfield theory, andtheuserjust interestedin them mayrun sections1—3 of STRIPindependentlyof therest,e.g. as subroutineofhis own program. Second,STRIP computesthe Hamiltonian matrices H0 and V. which govern thedynamicsoff criticality. It obtains4. the conformalbasis(2.10)of the Hubert spacesectorsof a given momentumK, truncatedto level 5 in
the Verma modules(andoptionally the further truncatedbasisof all suchstateswith scalingdimensionsmallerthan a givencutoff),
5. the dimensionlesscovariantmatrix elements(1.3) and(3.15),6. the (dimensionless)matricesH0 and V.The lastpart of the programcomputes7. the Hamiltonian(1.1) andits spectrumas a function of R (andoptionally of the Hubertspacecutoff),
for A = 1.To thispart, the userwill probablywant to addcommandsthat manipulatethe outputspectrafurther for
78 M. Lässig,G. Mussardo/ Hilbert spaceand structureconstantsofdescendantfields
his particularpurpose.Forinstance,Mathematicaallowsplotting of the spectrallines in a very convenientway (seefig. 2). This is describedin detail in ref. [7].
4.1. Input data
The input for STRIP that describesthe dynamics of the unperturbedconformal field theory isconvenientlycollected in a file INPUT (seethe examplediscussedin subsect.4.4, and the correspondingINPUT file shown at the endof this paper.It consistsof1. the central chargec and the conformaldimensionsof the primary fields (assembledto the vector dp),2. the modular form partition, which lists the pair (fI, fr) for eachprimary field appearingin the
theory,3. the structureconstantsbetweenprimary fields Ciki = C4,,4,5,~,given by eq. (3.1) (theseare the elements
of a symmetrictensorof rank 3 referredto as cptensor),and4. the basisverma[f, k] for f= 1, 2 F and k = 1, 2 5, consistingof all states(2.8) in the Verma
module ~ at level k.
4.2. RunningSTRIP,output
The programhas beentested and run on a DECstation3100 to obtain massivespectrafor severalperturbedconformalfield theories.For Hilbert spacedimensions > 100, economicuseof memoryspaceinthe Mathematicasessioncomputingthe matricesH0 and V is of concern.In thesecases,one would runSTRIP in practiceas follows. First, the sequenceof commands
~ STRIP; ~ INPUT (loadsthe files STRIP and INPUT)K = va Iue I (specifiesthe Hilbert spacesectorK = 0, 1, 2, ...)
fpertvalue2 (specifiesthe perturbingprimary field, fpert = 1,2 F) (4.1)hoCK,c] (computesthe matrix H0 in thesectorK)v[K,fpert,c] (computesthe matrix V in the sectorK)
E
Fig. 2. Lowest six eigenvaluesof the finite-size transfermatrix of the tncritical Ising model in an external magneticfield, as afunctionof thesizeRof thesystem.
M. Liissig, G. Mussardo/ Hi/bert spaceand structureconstantsof descendantfields 79
can convenientlybe executedin batchmode,and the output bestoredin a file DATA, togetherwith dpandc. ThequantitiesK, fpert, dp, c, H0, V form a completeset of input for part7 of STRIP,which canbeseparatedfrom the restandbe calledSTRIP2.Thenonerunsbatch-loadprogramsof the form
~ STRIP2; <<DATA; (loads the files STRIP andDATA)PlotEspecEr], Cr,1,3}] (plots the ground stateenergyfor 1 �R � 3) (4.2)DisplayC’’ Iine.ps’ ‘,%] (savesthe plot as a PostScriptfile)
4.3. Rangeof applicability, truncationeffects
The spectrumin the truncatedHilbert spaceis very accuratein the conformalregimeR ~x:~, wheretheinteractionR
2— 2d v becomessmall. In the massiveregimeR � ~, however,the interactionandhencethemixing of the conformalstatesis large.Henceit is importantto makesurethat the Hilbert spacetruncatedto a finite numberof dimensionsreproducesaccuratelythelow-lying spectrumof the infinite-dimensionalHilbert space.For all massiveperturbationswe studied,we found for R � ~ a domainseveralcorrelationlengthslong where the spacingof the low-lying energy levels becomesapproximatelyconstantand theone-particlelevels below thresholdmay be obtainedwith an accuracyof about1 to 2 percent.Indeed,inthis regimethe leadingfinite-sizecorrectionto theone-particlelevels vanisheslike exp(— ar/E), wherea isa constantof order 1. In many cases,even the first few one-and two-particlestatesabovethresholdaregiven with similar accuracy.
To estimatethe truncationeffects, the Hubertspacecanbe furtherreducedto the set of all stateswithscalingdimensionsmallerthana givencutoff. For the massiveperturbations,truncatingthe Hubertspaceat level 3 of the Verma modulesgives alreadyan accuracysimilar to level 5. This very fast convergencejustifies the useof the truncationmethodin thesecases.If the theoryhas a masslesssector,the situationisless clear.
The truncationcanbe carriedout in STRIPas follows. The commands
cutoff =va Lue3;entriesEK, cutoff] (4.3)
give a list of the numbersof the statesin the Hilbert spacesectorK that havescalingdimensionssmallerthan cutoff, which one stores in the file DATA. Then, by replacing spec(r] in (4.2) abovewithspec[cutoff,r], one obtains the spectrumin the further truncatedspace.
4.4. Example:the perturbedtricritical Ising model
Theconformal field theoryof the two-dimensionaltricritical Ising model hasthe following datarelevantfor our analysis.The centralchargeis c = 7/10, thereare six conformal families of dimensions
~1 1•~ 3 1 7 6 3 480’ 10’ 16’ 10’ 2’
the modularform is diagonal,and the nonvanishingprimary structureconstants(3.1) are— — 2 rFI4\r3(2\ ‘F~F3”~” C — —
~l/10.1/I0.6/10 — C
1 — ~V ~ 51 ‘~5J/ ‘~5/ k 5) ‘ 6/10,6/10,6/10 — C2 — C1,
= C3 = ~‘ c’3/807/161/lO = C4 =
C31803/80 1/10 = = 2c1, C3/807/166/lO= c~= ~, (4.5)
C3/803/806/10= C7 = 4C1, C7/167/163/2= C8 = 8C1,
C3/803/803/2= C9 =
80 M. Lässig,G. Mussardo/ Hilbert spaceand structureconstantsofdescendantfields
We use the quasiprimarybasis
10), P2(0) 10), P2(2)P2(0)10),3\ (3~~ 3\ (3\ 3\ (3 ~\ (3\ 3~ (3\ 3\ (3 ~ 13\ 380/’ 2t.80) 80/’ 3~,80/ 80/’ 2~,80 / 2’,801 80/’ 5t.80J 80/’ 2k8om_J) 31,80) 80
I \ I_L\ .L\ (L\ L\ (J_\ _L10/’ 31,10) 10/’ 41,10/ 10/’ 51,10) 107 (7\ 7 (7\ 7 (7\ 7
16/’ 31,16) 16/’ 41,16) 16/’ 51,16) 16
6_\ (.5\ 6.\ (_6_\ ..~\ (.~.. ~ \ I~\ .6.\ (6_\ 610/’ 21,10) 10/’ 41,10) 10/’ 21,10 / 21,10) 10/’ 51.10) 10
I ~)‘ P2(i) ~), P2(~+ 2)P2(~)I ~‘ P5(i) I
which is truncatedat level 5 in the Verma modules.Up to this level, the numberof zero-momentumstatesgiven by eq. (2.11) is 228.
As a typical result for a massiveperturbation,we presentin fig. 2 the spectrumof the model in anexternalmagneticfield as a function of R [5]. For larger valuesof R, the spacing of the lines becomesconstantand onecanreadoff the ratios of the massgapsof the transfermatrix.
Acknowledgements
It is a pleasureto acknowledgethe collaborationwith JohnL. Cardyon the tricntical Ising model whichwasthe basisfor this work. This work wassupportedin partby NSFGrantPHY 86-14185and by INFN.
References
[1] A.A. Belavin, AM. PolyakovandA.B. Zamolodchikov,Nuci. Phys.B241 (1984)333.[2] C. Itzykson, H. Saleurand J.B. Zuber,eds., Conformal InvarianceandApplicationsto Statistical Mechanics(World Scientific,
Singapore),andreferencestherein.
[3] J.L. Cardy, Nuci. Phys.B 270 [FS16] (1986) 186; NucI. Phys. B 275 [FS17](1986) 200; in: Champes,Cordes,et PhenomenesCritiques, Proc. 1988 LesHouchesSummerSchool, E. Brezin andJ. Zinn-Justin,eds.(North-Holland, Amsterdam,1989).
[4] V.P. Yurov andAl.B. Zamolodchikov,Truncatedconformalspaceapproachto scalingYang—Leemodel, preprint ITEP 89-161.
[5] M. Lassig,G. MussardoandJ.L. Cardy,Nucl. Phys.B. 348 (1991) 591.[6] Vl.S. DotsenkoandV.A. Fateev,Nucl. Phys.B 240 (1984) 312; Phys.Lett. 154 B (1985) 291.[7] S. Wolfram, Mathematics(Addison—Wesley,New York, 1988).
M. Liissig. G. Mussardo/ Hi/bert spaceandstructureconstantsofdescendantfields 81
LISTING
(* File STRIP *)
*************** 1. PRIMITIVE QUASIPRIMARY POLYNOMIALS~
prod[d_,s_Integer] : Product[cS+jj,(jj,O,s—l]]
ranklk_Integer] : IfIk~l,O,k]rankl(nl_Integer,n2_Integer]) : ni + n2
(* KAC DETERMINANT AT LEVEL 2 *)
kacld_,2,c_] : d2 + (c—5)/8d + c/16
(* COEFFICIENT OF P_n(d) *)
pid ,n Integer,n Integer]:— pld,n,m] —Whi~hL rn-1, I,rn>l && n——rn, —2/(n+l) pr~(2d+l,n—l],rn>l && n>m, —Bino.nial[n,m] prod[2d+nt,n—rn]/prodl2d+2m,n-rnl,True, 0
*********************** 2. DERIVATIVE FACTORS *~ **~********
f[d2_, s2_Integer,d_,dl_,sl_Integer]BlockI (1), s2! Si! SumI prod[d1i~d2—d,1] / (1!) *
prod[d+d2—dl,s2--i] / ((s2—l)!)prodld+dl—d2,sl—l] / ((si—i)!),(l,0,Min[sl,s2]]
1* **************************** 3. q—FACTORS********************************
(* COEFFICIENTS a_nm(d,c) APPEARING IN L_2 Pn(d) d) *)
a[d_,c_,n Integer,m_Integer) :~ a[d,c,n,rn) —
pTd,n,’n] In — ranklmfl(n — rank[t] — l)(3d + 2 rank[rn) + n — 2) +
Block) (k] , Sum) p[d,n,k) a[d,c,k,m],(k,rank(rn]+2,n—l) ] ] +
(n+2) p(d,n,nJ / p[d,n—2,n—2) If[ n—rn==2, 1, —p[d,n—2,rn] J /;n>2
afd_,c_,2,i] a[d,c,2,i] — —16/3 kac[d,2,c]
(* q—FACTORSFOR THE CASES: PRIMITIVEPRIMITIVE, COMPOSITE—PRIMITIVEAND COMPOSITE-COMPOSITE*)
q(d2_,n2_,d,.,dl_,ni ,c_] :— q[d2,n2,d,di,nl,c)Which[ IntegerQln2T &&
IntegerQ(nh]If) n2 >— ni
Whichi n2 > 1,p(d2,n2,n2] C (—d1—rank[nl)~d2*n2*d) q[d2,1,d,di,nl,cJ +
If) nl’-—n2, (—1) ni / ((nl—2)!) *
f[dl,ni—2,0,dl,nl—2) *
aLdl,c,nl,lj,0
Blocki (rn2] , Surn( pFd2,n2,n12] *f[d2+rank(rn2],n2—raflk[m2] ,d,
dl+ranklnl],0] *
qId2,rn2,d,dl,nl,c),frn2,l,n2—l)
n2 —— 1,1,
True,
q~dl,nId,d2,n2,C]
VectorQFn2l &&
82 M. Lass:g, G. Mussardo/ Hi/bert spaceand structureconstantsofdescendantfields
IntegerQ[ni)Which[ n2l12]] > 1,
pld2+n2IliJ] ,n2I)2}] ,ri2[ 2]]](—di—rank[nl)+d2+02[i]]+n2[2)J*d) *
q,jd2,n2I[i]),d,dl,ni,c) +
(—1) n2[2]J / ((n2I[2]]—2)!) *
Block[(ml),Sum[aldl,c,ni,ml) *
Prodi ni—ranklrni)—n2[2])+1,02[2))_2]
prod[2 di+ranklmi)i.nl—n2([2)],ni[2)]_2)f[d2+n2([i]] ,O,d,
di+ranklmi) ,ni—ranklnil]—n2[ 2])]qFd2,n2lLifl,d.dl,ml,c],
ml., 1, If[n2[2]j=—ni,a,ni—n2[2])]
Block] (m22), Sum] p(d2+02[iJ],fl2[2J],m22]f[d
2+n2[i]J+rank(m22],fli[2])_raflklml2j,d,d1+rariJ~[ri1) ,O]
q[d2,(n2([i)],m22),d,d1,~1,~](rn22,i,n2[2]]—i)
n2[2]]-~ 1,q[d2,n2[ 1]] ,d,dl,nl,cl,
True,
0
IntegerQ(n2) &&VectorQ[nh),
q[dl,ni,d,d2,nI,c],VectorQ[n2] &&VectcrQ[nl],
Which) n2 (2,2) && ni —— (2,2),p(d2+2,2,2] ( (—dl—4 —d2+2+ 2 d) qfd2,2,d,dl,(2,2J,c} *
(a[di+2,c,2,1Jn[di,c,2,1) p[d1—2,2,2]/p[d~,2,2)q[d2,2,d,dl,2,c]
a[dl,c,2,1] (1—P[dl—2,2,2]/p[dl,22J ) *
f[d22,O,d,ciJ.,2] *
qId2,2,d,dl,1,c]
f[d2+2,2,d,d~+4,o) q[d2.2,d,dl, (2 2) ,c)n2~—(2,3) && nl—~(2,2),p[d2+2,3,3) ( (—dl—4*di+2—3d) q[d2.2,d,dl,(2,2),c] +
atdJ.,c,2,]] 2(2d1÷1) *
( p[dl+2,2,2)/p(dl,2,2] —
f(d2+2,0,d,di,i]*q[d2,2,d,dl,i,c)
p[d2+2,3,2] f[d2+4,i,d,di+4,O] q[d2,(2,2),d,di,(2,2),c] +f[d2+2,3,d,di+4,0] q[d2,2,d,di,(2,2),c],
ri2~(2,3) && ni (2,3),pld2+2,3,3] I (—di—5+d2+2+3d) q[d2,2,d,di,(2,3),c] —
2(di+2) (a[di+2,c,3,i) +a[di,c,2,i]*
(p[di+2,3,2]*pldi+2,2,21/p[di,2,2)_p[di+2,3,3)*p[di,3,2]/p[di,3,3]
q[~2,2,d,di,2,c) -
3(2d1+2) a[di,c,2,i](1 —p[di+2,3,3]/pldl,3,3) +p[di+2,3,2]
(1 —p[d].+2,2,2]/pldl,2,2])) f[d2+2,O,d,dl,2] *
q[d2,2,d,dl,1,c]
pld2+2,3,2] f]d2+4,1,d,dl+5,O] q[d2,(2,2),d,di,(2,3),c) +f[d2+2,3,d,di+5,O] q[d2,2,d,di,(2,3),c],
n2[2J] ( n.i[2]],q[di,nl,d,d2,n2,cJ
*****~***~*** 4. HILBERT SPACE SECTORSOF A GIVEN MOMENTUM K *************
(* STATES OF A GIVEN FAMILY *)
space[fi ,fr ,kl ,kr 3~ioc~[ (T,j]7 Flatten] Table] (verrna[fl,kl][i]],vensa[fr,kr][j]]),
(i,i,Length[verina[fl,kl]]),(j,i,Lengthlverrna[fr,kr)])
2)
M. Lässig,G. Mussardo/ Hilbert spaceand structureconstantsof descendantfields 83
union] set ,fi ,fr ,K ,cc 3 :=Block] Tkl]T — —
Flatten]Tabie]set( fi, fr, ki, ki +dp][fifl—dp[(fr])—K,cc],
(U, Max(0,dp[fr])—dp[]fl]]+K] ,Min[5,5~dp[fr]]—dp]]f].)J+K])
i]
(* UNION OF ALL FAMILIES OCCURING IN THE OPERATOR ALGEBRA *3
union]set ,K_,cc_)Block] ]~f),
Flatten]Tabie[ union] set,partition]]ff,i]),partltion)]ff,2]),K,cc],{ff,i,Length[partition]) 3,
1]
space[K] := space)K3 union[space,K)
(* ENERGY TRUNCATED SUBSPACES *)
(* SCALING DIMENSIONS OF A CONFORMAL STATE *3dim(state_] : —c/l2 # dpi [state] [1,1]]]] + state] (1,2]] +
dp[]state(12,1]]1] 4 state]]2,2]]
test]state_] : dim]statej < cutoff
subspaceiK_,cutoff_] : Select] spacelK], test
(* NTJMBERS OF THE STATES IN SPACE] K] THAT ARE MEMBERS OFsubspace]K,cutoff] *3
entries(K_,cutoff ] : entries]K,cutoff] —Flatten] TaFI.eL Position] space]K], subspace[K.cutoff] ]]jj]] ],
(ii, 1, Length(subspace(K,cutoff]]) ]
( * ************************ 5. MATRIX ELEMENTS****************************** *3
(* H0WMORPNICFACTOR, I.E. THE PRODUCTOF q—FACTORAND DERIVATIVE FACTOR *3
cdesc]{f2 ,k2_,n2 ],fpert_,(fi ,ki ,ni_),c_]q]dp]i’f2]),ri2,~p]]fpert]], ~p]]?].)],ni,c]*f]dp(]f2])+rank[n2],k2—rank]n2],dp]]fpert]],dp]]fi]]+rank]ni],ki—rank]nl]]
(* FULL DESCENDANTSTRUCTURECONSTANT, I.E. THE PRODUCTOF PRIMARY STRUCTURECONSTANT, HOLOMORPHICFACTOR, AND ANTI}IOLOMORPHIC FACTOR *3
str]state2_,fpert_,statei ,c_] :=cptensor][fpert,state2T[1,1]] ,statel[i,i]3]]*cdesc]state2)[I]),fpert,statel)[i]),c) cdesc)state2[]2]],fpert,statei[)2]],c]
(* INTERACTION MATRIX ELEMENTS *3
v]i,fpertj,fks,c] :~str) space[fks])[iJ], fpert, space)fks])(j)], c]
1* COVARIANT INTERACTION MATRIX *3
vrow[i_,K_,fpert_,c_J Table] N) v]i,fpert,j,K,c) 3, (j,l,Length]space]K)])
vform]K,fpert,c] Table) vrow]i,K,fpert,cj, (i,l,Length]space]K]3)
(* HILBERT SPACE METRIC AND ITS INVERSE, COMPUTED IN BLOCK FORM *)
g[fl_,fr_,kl_,kr ,c)Block) (13), Table) v]i,i,j,fl,fr,kl,kr,c],
(j,i,Length(space[fl,fr,ki,kr]]),(j,i,Length]space]fl,fr,kl,kr]]) 3
round [matr 3Block] Ti,j), Table] If) Abs]matr][i,j]]) < 10 (—15), 0, matr[]i,j)] 3,
(1. l,Length[matr]),(j,l,Length)matrj] 3
84 M. Lassig,G. Mussardo/ Hi/bert spaceandstructureconstantsofdescendantfields
ginv]fl,fr_,kl,kr_,c_] :— (round] Inverse] NI g]fl,fr,kl,kr,c] ] ] ]]
ginvdiag]K,c_] :~union]ginv,K,c]
surn[rnatrl_,matr2 ]Block] (iI,i2,jl,j2),
Join] Table] Join] matrl]]il]]Table] 0, (j2,1,Length[matr2])
(il,1,Length]matrl])
Table] Join] Table] 0, (jl,l,Length[matrl]]matr2[ ]12]]
(i2,1,Length]matr2])
block[diag_] : Block] {t),. matr — LI,Do] matr — sum] matr , diag]]t]] I,
(t,l,Length]diagl]
matr
ginv]K_,c] :— ginv]K,c] — block] ginvdiaglx,c] I
~~~****** 6. HAMILTON OPERATOR, CONFORMAL PARTAND PERTURBATION ********* *3
ho]K,c ] ho]K,c] —
NT DiagonalMatrix] Table) dim) space3K][]ilfl,(i,l,Length)space]K]]) 3
v)K_,fpert,c] ,= v[K,fpert,cJ ginv[K,cl.vform]K,fpert,c]
“‘~~**‘***“* 7. HAMILTONIAN AND SPECTRUM AS A FUNCTION OF R * ********** *)
(* HAMILTONIAN ACTING ON THE HILBERT SPACE WITH SPECIFIED K AND
(OPTIONALLY) SPECIFIED CUTOFF, AS A FUNCTION OF THE SYSTEM SIZE R *)
ham[R) ,= N) ho)K,c] + R(2 — 2 dp))fpert)]) v)K,fpert,c)
harn)cutoff ,R ]NI ho)K,~]]Tentries]K,cutoff),entrjes)K,cutoff])) +
R (2 — 2 dp))fpertfl) v]K,fpert,c3))eritries)K,cutoff],eritries)K,cutoff)]]
(* SPECTRUM *)
spec)coff,R] — 1/B Sort] Eigenvalues[ harn)coff,R] ] I
M. Lassig, G. Mussardo/ Hi/bert spaceand structureconstantsofdescendantfields 85
TEST RUN INPUT
(* File INPUT : CONFORMAL DATA OF TRICRITICAL ISING MODEL *3
(* CENTRAL CHARGE, PRIMARY DIMENSIONS AND NONZEROSTRUCTURECONSTANTS*3
c’7/1O
dp—(0,3/80,l/lO,7/16,6/l0,3/2)
cl_2/3*SqrtIGamma[4/5]/Gamma]l/5)*(Gannna]2/5]/Gamma]3/5])~3)c2—cIc3—3/7c4—l/2c5~3/2*c1c6—3/4c7~1/4*clcB—7/BcB—1/(56)
(* DIAGONAL MODULAR FORM *3
partition — ((1,1], (2,2] ,(3,3] ,(4,4] ,(5,5), (6,6])
(* TENSOR OF PRIMARY STRUCTURE CONSTANTS *3
cptensor :— { IdentityMatrix[6],((0,1,0,0,0,0],(l,0,c5,O,c7,c9],1 0 , c5,0, c4,0, 0)( 0, 0,c4 , 0,c6, 0)(0,c7,0,c6,0,0),I0,c9,0,0,0,0) 3,
C (0, 0, 1, 0, 0, 03,(0,c5,0,c4,0,0],(1,0,0,0,cl,0],( 0,c4 , 0, 0, 0, 0](0,0,cl,0,0,c3),(0, 0, 0, 0,c3 , 01),
((0,0,0,1,0,0),(0,0,c4,0,c6,0),(0,c4,0,0,0,0)(1,0, 0, 0, 0, c8)(0,c6,0,0,0,0)(0,0,0 ,c8,0,O])
((0,0,0,0,1,0),(O,c7,0,c6,O,0),(0,0,ci,0,0,c3),(0,c6, 0, 0,0 , 0),(1, 0 , 0 , 0, c2 , 0),0,0,c3 , 0, 0, 0))
((0,0,0,0,0,1),(0,c9,0,0,0,01,(Q,0,0,0,c3,O)(0,0,0 , cB,0,0)(0,0,c3,0,0,O),(1,0,0,0,0,0)) 3
86 M. Lassig,G. Mussardo/ Hi/bert spaceandstructureconstantsofdescendantfields
(~BASIS OF THE VERMA MODULES *)
verrna[l,0]—((l,0,l])verina ]l,1) — (Iverina]l,2]—( (1, 2,2))verina]1,3]—((1,3,2))verma[1,4)—((l,4,2) ,(1,4, (2,2)))verma]l,5]—((l,5,2] ,(1,5, (2,2)1)
verxna]2,0)~((2,0,1))verina [2, 1] =( ( 2, 1,1)verma]2,2)—((2,2,1),(2,2,2))vertna) 2, 3)=( ( 2,3 ,1) , ( 2,3, 2), (2 ,3 ,3) 3verma[2,4)—((2,4,1),(2,4,2),(2,4,3),)2,4,(2,2)))verma]2,5)—((2,5,l),(2,5,2), (2,5,3) ,(2,5, (2,2)),(2,5,5), (2,5, (2,3)))
verma [3,0] —((3,0,1)3verma [3 ,l]—( (3,1,1)verma[3,23—{(3,2,1))verma[3,3]=((3,3,l),(3,3,3))verma ]3 , 4] —((3,4,1) , (3,4,3), (3,4,411verma]3,5)—((3,5,1),(3,5,3),)3,5,4],(3,5,5])
verma[4,0)—((4,0,1))verma)4,l]=((4,1,1)1verma)4, 2] —((4,2,1)]verma]4,3)=((4,3,l) ,(4,3,3)]verma [4 , 4) = ((4 , 4 , 1) , (4 , 4 , 3), (4 , 4 , 4))verma[4,5)=((4,5,l),(4,5,3),(4,5,4),(4,5,5))
verma]5,0]’~((5,0,1))verma[5,1)—((5,1,l)}verma[5 , 2) =( (5, 2,1) , (5,2,2))verma[5,3] ((5,3,1) , (5,3,2))verma] 5,4) ((5,4,1) , (5,4,2),) 5,4,4) , (5,4, (2,2)3)verma] 5,5] ((5,5,1), (5,5,2) , (5,5,4), (5,5, (2,2)) , (5,5,5))
verma) 6, 0] =( (6 ,0,1)verma)6,1)=((6,l,1))verma)6,2)=( (6,2,1) , (6,2,2))versa16,33=( (6,3,13 , (6,3,2))verma[6,4]=( (6,4,1) ,(6,4,2), (6,4, (2,2)))verma[6,5]=( (6,5,1) ,[6,5,2), (6,5,(2,2)),(6,5,5))
M. Lassig~G. Mussardo/ Hi/bert spaceandstructureconstantsof descendantfields 87
TEST RUN
Thefollowing (interactive)testrun illustratesthe featuresof STRIPdescribedin sections4.2 and4.3 forthe caseof the tricritical Ising model. It calculates[2] the simplest q-factorq(d1,1, d, d1, 2, c) as given by eq. (3.5),[4] the basis of the Hilbert spacesectorK = 0 consistingof the 228 states(2.10) up to level 5,[5,6] the numbersof all statesin space[0] with scalingdimensionsmallerthan5.2,[7] the 228 X 228 matrix H0 in the K = 0 sector,[8] the228 X 228 matrix V in the K = 0 sectorfor the magneticperturbationfpert = 2,[9,10] the spectrumof the perturbedsystemfor R = 1.5 (comparewith fig. 2).
Mathematica (DECstation 3100) 1.2 (August 22, 1989) [With pre—loaded data]by S. Wolfram, D. Grayson, R. Maeder, H. Cejtin,
S. Omohundro, D. Ballman and J. Keiperwith I. Rjejn and 13. WithoffCopyright 1988,1989 Wolfram Research Inc.Temporary license: expiration date is 31 Jul 1990.
—— Terminal graphics initialized ——
In]1] : <( STRIP;
In(2] := q[d2, 1, d, dl, 2, c]
Out[2] — (d + dl — d2)(l + d + dl — d2) — (2(1 + 2d1)(2d + dl — d2))/3
In]3] — << INPUT;
In[4] : spacelO)
Out]4] — (([1, 0, 1), (1, 0, 1)), ((1, 2, 2], (1, 2, 2)], ((1, 3, 2), (1, 3, 2)),((1, 4, 2), (1, 4, 2)), ((1, 4, 2), (1, 4, (2, 2)]),((1, 4, (2, 2)), (1, 4, 2)], ((1, 4, (2, 2)), (1, 4, (2, 2))),((1, 5, 2), (1, 5, 2)), ((1, 5, 2), (1, 5, (2, 2)]),((1, 5, (2, 2]], (1, 5, 2]), ((1, 5, (2, 2fl, (1, 5, (2, 2]]],((2, 0, 1), (2, 0, 1)),
((6, 5, 5), (6, 5, 5fl]
In]5] : cutoff — 5.2;
In[6] := entries[O,5.2)
Out]6] — (1, 2, 12, 13, 14, 15, 16, 17, 79, 80, 81, 111, 112, 113, 143, 144,145, 146, 147, 148, 194, 195)
In]7] : ho]0,c)
Out[7] = ((—0.05833333333333334, 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0.,
0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0.,
0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0.,
0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 12.94166666666667]]
In18] := v(0,2,c)
Out(S) ((0., 0., 0. ,~0., 0., 0., 0., 0., 0., 0., 0., 1., 0.005625,0.006500390624999999, 0., 0., 0., 0.02798824438476562, 0., 0., 0., 0.0., 0., 0., 0., 0.2646463433106994, 0., 0., 0., 0., 0., 0., 0., 0., 0.,0., 0., 0., 0., 0., 0., 4.394617934638734, 0., 0., 0., 0., 0., 0., 0.,0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0.,0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0.,0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0.,
0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0.,0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0.,
0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0.,0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0.,0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0.),
(0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0.02582906163265305,0.095712690625,0.0818943420410156,—0.1635267857142857,
88 M. Lässig, G. Mussardo/ Hubertspaceand structureconstantsofdescendantfields
0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0.,0., 0., 0., 0., o., 0., 0., 0., 0., 0., 0., 0.),
(0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0.,3.17357335090099*10—9, 0., 0., 0., 0., 6.214054969414237*10=—B,1.51267340091l6l6*10—8, 0., 1.512673400911616*10=—B,3.68226677924l586*10-9, 0., 0., 0., 0., 0., 7.289474657558488*10—7,l.774460441356883*10_7, 0.000001605113830918397, 0.,1.774460441356883*l0_7, 4.319529073724082*10=_B,3.907292435320182*10_7, 0., 0.000001605113830918397,3.907292435320182*10=—i, 0.000003534397827758554, 0., 0., 0., 0., 0.,0., 0., 0.000004286666808422988, 0.000001043493643295432,0.0000094390725219445, —0.000002236399320416519,—0.00001728789109515525, 0., 0.000001043493643295432,2.540153065916868*10—7, 0.000002297732157745475,—(5.444016479515904*10—7), —0.000004208352379599757, 0.,0.0000094390725219445, 0.000002297732157745475, 0.00002078446622586264,—0.000004924463765637256, —0.00003806725950288663, 0.,—0.000002236399320416519, _(5.444016479515904*10_7),—0.000004924463765637256, 0.000001166753131018235,0.00000901927526083219, 0., —0. 00001728789109515525,—0.000004208352379599757, —0.00003806725950288663,0.00000901927526083219, 0.0000697211124341849, 0., 0., 0., 0., 0., 0.,0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0.,0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0.,0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0.,
0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0.,0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0.,0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0., 0.,
In]9] : K = 0; fpert = 2;
In)1O] := spec)1.5]
Out]1O] — (—2.069345018486711,—0.813716650077005,—0.1050869152547375,0.3810511687097676,0.851621269803161,1.287730519273702,1.390730047852666,1.600517355488277,1.808635013860721,2.042915941392645, 2.201705414179244, 2.345325446274008,2.432025578722706,2.544489684412801,2.60754651176458, 2.847491797439055,