## Solution of renormalization group equation for flux tubes having minimum string tension and RG evolution in terms of Riemann zeta
The great surprise of the last year was that twistor induction allows large number of induced twistor structures. SO(3) acts as moduli space for the dimensional reductions of the 6-D Kähler action defining the twistor space of space-time surface as a 6-D surface in 12-D twistor space assignable to M This in turn led to the understanding of coupling constant evolution in terms of the flow changing the value of cosmological constant defined by the area of the twistor sphere of space-time surface for induced twistor structure.
dlog(α
It came as a further pleasant surprise that for a very important special case defined by the minima of the dimensionally reduce action consisting of Kähler magnetic part and volume term one can solve the renormalization group equations explicitly. For magnetic flux tubes for which one has S
dlog(α and solve the equation explicitly:
α
A more general situation would correspond to a model with x≠ 1/2: the deviation from x=1/2 could be interpreted as anomalous dimension. This allows to deduce numerically a formula for the value spectrum of α The following considerations strongly suggest that this formula is not quite correct but applies only the real part of Kähler coupling strength. The following argument allows to deduce the imaginary part.
Number theoretical intuitions strongly suggests that the critical values of 1/α
The naivest ad hoc hypothesis is that the values of 1/α - The complexity of the zeros and the non-constancy of their phase implies that the RG equation can hold only for the imaginary part of s=1/2+it and therefore only for the imaginary part of the action. This suggests that 1/α
_{K}is proportional to y. If 1/α_{K}is complex, RG equation implies that its phase RG invariant since the real and imaginary parts would obey the same RG equation. - The second - and much deeper - problem is that one has no reason for why dlog(α
_{K})/ds should vanish at zeros: one should have dy/ds=0 at zeros but since one can choose instead of parameter s any coordinate as evolution parameter, one can choose s=y so that one has dy/ds=1 and criticality condition cannot hold true. Hence it seems that this proposal is unrealistic although it worked qualitatively at numerical level.
- The very fact that zero of zeta is in question should somehow guarantee quantum criticality. Zeros of ζ define the critical points of the complex analytic function defined by the integral
X(s _{0},s)= a∫_{Cs0→ s}ζ (s)ds ,where C _{s0→ s}is any curve connecting zeros of ζ, a is complex valued constant. Here s does not refer to s= sin(ε) introduced above but to complex coordinate s of Riemann sphere.By analyticity the integral does not depend on the curve C connecting the initial and final points and the derivative dS _{c}/ds= ζ(s) vanishes at the endpoints if they correspond to zeros of ζ so that would have criticality. The value of the integral for a closed contour containing the pole s=1 of ζ is non-vanishing so that the integral has two values depending on which side of the pole C goes. - The first guess is that one can define S
_{c}as complex analytic function F(X) having interpretation as analytic continuation of the S^{2}part of action identified as Re(S_{c}):S _{c}(S^{2})= F(X(s,s_{0})) , & X(s,s_{0})= ∫_{Cs0→ s}ζ (s)ds ,S(S ^{2})= Re(S_{c})= Re(F(X)) ,ζ(s)=0 , & Re(s _{0})=1/2 .S _{c}(S^{2})=F(X) would be a complexified version of the Kähler action for S^{2}. s_{0}must be at critical line but it is not quite clear whether one should require ζ(s_{0})=0.The real valued function S(S ^{2}) would be thus extended to an analytic function S_{c}=F(X) such that the S(S^{2})=Re(S_{c}) would depend only on the end points of the integration path C_{s0→ s}. This is geometrically natural. Different integration paths at Riemann sphere would correspond to paths in the moduli space SO(3), whose action defines paths in S^{2}and are indeed allowed as most general deformations. Therefore the twistor sphere could be identified Riemann sphere at which Riemann zeta is defined. The critical line and real axis would correspond to particular one parameter sub-groups of SO(3) or to more general one parameter subgroups.One would have α _{K,0}/α_{K}= (S_{c}/S_{0})^{1/2}.The imaginary part of 1/α _{K}(and in some sense also of the action S_{c}(S^{2})) would determined by analyticity somewhat like the real parts of the scattering amplitudes are determined by the discontinuities of their imaginary parts. - What constraints can one pose on F? F must be such that the value range for F(X) is in the value range of S(S
^{2}). The lower limit for S(S^{2}) is S(S^{2})=0 corresponding to J_{uΦ}→ 0.The upper limit corresponds to the maximum of S(S ^{2}). If the one Kähler forms of M^{4}and S^{2}have same sign, the maximum is 2× A, where A= 4π is the area of unit sphere. This is however not the physical case.If the Kähler forms of M ^{4}and S^{2}have opposite signs or if one has RP option, the maximum, call it S_{max}, is smaller. Symmetry considerations strongly suggest that the upper limit corresponds to a rotation of 2π in say (y,z) plane (s=sin(ε)= 1 using the previous notation).For s→ s _{0}the value of S_{c}approaches zero: this limit must correspond to S(S^{2})=0 and J_{uΦ}→ 0. For Im(s)→ +/- ∞ along the critical line, the behavior of Re(ζ) (see this) strongly suggests that | X|→ ∞ . This requires that F is an analytic function, which approaches to a finite value at the limit |X| → ∞. Perhaps the simplest elementary function satisfying the saturation constraints isF(X) = S _{max}tanh(-iX) .One has tanh(x+iy)→ +/- 1 for y→ +/- ∞ implying F(X)→ +/- S _{max}at these limits. More explicitly , one has tanh(-i/2-y)= [-1+exp(-4y)-2exp(-2y)(cos(1)-1)]/[1+exp(-4y)-2exp(-2y)(cos(1)-1)]. Since one has tanh(-i/2+0)= 1-1/cos(1)<0 and tanh(-i/2+∞)=1, one must have some finite value y=y_{0}>0 for which one hastanh(-i/2+y _{0})=0 .The smallest possible lower bound s _{0}for the integral defining X would naturally to s_{0}=1/2-iy_{0}and would be below the real axis. - The interpretation of S(S
^{2}) as a positive definite action requires that the sign of S(S^{2})=Re(F) for a given choice of s_{0}= 1/2+iy_{0}and for a propertly sign of y-y_{0}at critical line should remain positive. One should show that the sign of S= a∫ Re(ζ)(s=1/2+it)dt is same for all zeros of ζ. The graph representing the real and imaginary parts of Riemann zeta along critical line s= 1/2+it (see this) shows that both the real and imaginary part oscillate and increase in amplitude. For the first zeros real part stays in good approximation positive but the the amplitude for the negative part increase be gradually. This suggests that S identified as integral of real part oscillates but preserves its sign and gradually increases as required.
- The natural guess is that the function F(X) is same as for the critical line. The integral defining X would be along real axis and therefore real as also 1/α
_{K}provided the sign of S_{c}is positive: for negative sign for S_{c}not allowed by the geometric interpretation the square root would give imaginary unit. The graph of the Riemann Zeta at real axis (real) is given in MathWorld Wolfram (see this). - The functional equation
ζ(1-s)= ζ(s)Γ(s/2)/Γ((1-s)/2) allows to deduce information about the behavior of ζ at negative real axis. Γ((1-s)/2) is negative along negative real axis (for Re(s)≤ 1 actually) and poles at n+1/2. Its negative maxima approach to zero for large negative values of Re(s) (see this) whereas ζ(s) approaches value one for large positive values of s (see this). A cautious guess is that the sign of ζ(s) for s≤ 1 remains negative. If the integral defining the area is defined as integral contour directed from s<0 to a point s _{0}near origin, S_{c}has positive sign and has a geometric interpretation. - The formula for 1/α
_{K}would read as α_{K,0}/α_{K}(s=-2n) = (S_{c}/S_{0})^{1/2}so that α_{K}would remain real. This integration path could be interpreted as a rotation around z-axis leaving invariant the Kähler form J of S^{2}(X^{4}) and therefore also S=Re(S_{c}). Im(S_{c})=0 indeed holds true. For the non-trivial zeros this is not the case and S=Re(S_{c}) is not invariant. - One can wonder whether one could distinguish between Minkowskian and Euclidian and regions in the sense that in Minkowskian regions 1/α
_{K}correspond to the non-trivial zeros and in Euclidian regions to trivial zeros along negative real axis. The interpretation as different kind of phases might be appropriate.
See the chapter TGD View about Coupling Constant Evolution or the article with the same title. |