We compute the lowest operator dimension ∆(J; D) at large global charge J in the O(2) Wilson-Fisher model in D = 4 − ϵ dimensions, to leading order in both 1/J and ϵ. While the effective field theory approach of [1] could only determine ∆(J; 3) as a series expansion in 1/J up to an undetermined constant in front of each term, this time we try to determine the coefficient in front of J3/2 in the ϵ-expansion. The final result for ∆(J; D) in the (resummed) ϵ-expansion, valid when J ≫ 1/ϵ ≫ 1, turns out to beΔJD=2D−13D−29D−2π5DD2D−15ΓD224π21D−1ϵD−12D−1×JDD−1+OJD−2D−1\\documentclass[12pt]{minimal}\t\t\t\t\\usepackage{amsmath}\t\t\t\t\\usepackage{wasysym}\t\t\t\t\\usepackage{amsfonts}\t\t\t\t\\usepackage{amssymb}\t\t\t\t\\usepackage{amsbsy}\t\t\t\t\\usepackage{mathrsfs}\t\t\t\t\\usepackage{upgreek}\t\t\t\t\\setlength{\\oddsidemargin}{-69pt}\t\t\t\t\\begin{document}$$ \\Delta \\left(J;D\\right)=\\left[\\frac{2\\left(D-1\\right)}{3\\left(D-2\\right)}{\\left(\\frac{9\\left(D-2\\right)\\pi }{5D}\\right)}^{\\frac{D}{2\\left(D-1\\right)}}{\\left[\\frac{5\\Gamma \\left(\\frac{D}{2}\\right)}{24{\\pi}^2}\\right]}^{\\frac{1}{D-1}}{\\epsilon}^{\\frac{D-1}{2\\left(D-1\\right)}}\\right]\\times {J}^{\\frac{D}{D-1}}+O\\left({J}^{\\frac{D-2}{D-1}}\\right) $$\\end{document}where next-to-leading order onwards were not computed here due to technical cumbersomeness, despite there are no fundamental difficulties. We also compare the result at ϵ = 1,ΔJ=0.293×J3/2+⋯\\documentclass[12pt]{minimal}\t\t\t\t\\usepackage{amsmath}\t\t\t\t\\usepackage{wasysym}\t\t\t\t\\usepackage{amsfonts}\t\t\t\t\\usepackage{amssymb}\t\t\t\t\\usepackage{amsbsy}\t\t\t\t\\usepackage{mathrsfs}\t\t\t\t\\usepackage{upgreek}\t\t\t\t\\setlength{\\oddsidemargin}{-69pt}\t\t\t\t\\begin{document}$$ \\Delta (J)=0.293\\times {J}^{3/2}+\\cdots $$\\end{document}to the actual data from the Monte-Carlo simulation in three dimensions [2], and the discrepancy of the coefficient 0.293 from the numerics turned out to be 13%. Additionally, we also find a crossover of ∆(J; D) from ∆(J) ∝ {J}^{frac{D}{D-1}} to ∆(J) ∝ J, at around J ∼ 1/ϵ, as one decreases J while fixing ϵ (or vice versa), reflecting the fact that there are no interacting fixed-point at ϵ = 0. Based on this behaviour, we propose an interesting double-scaling limit which fixes λ ≡ Jϵ, suitable for probing the region of the crossover. I will give ∆(J; D) to next-to-leading order in perturbation theory, either in 1/λ or in λ, valid when λ ≫ 1 and λ ≪ 1, respectively.
Read full abstract