Abstract
We reconsider the fundamental commutation relations for non-commutative \(\mathbb {R}^{2}\) described in polar coordinates with non-commutativity parameter \(\theta \). Previous analysis found that the natural transition from Cartesian coordinates to the traditional polar system led to a representation of \([\hat{r}, \hat{\varphi }]\) as an everywhere diverging series. In this article we compute the Borel resummation of this series, showing that it can subsequently be extended throughout parameter space and hence provide an interpretation of this commutator. Our analysis provides a complete solution for arbitrary r and \(\theta \) that reproduces the earlier calculations at lowest order and benefits from being generally applicable to problems in a two-dimensional non-commutative space. We compare our results to previous literature in the (pseudo-)commuting limit, finding a surprising spatial dependence for the coordinate commutator when \(\theta \gg r^{2}\). Finally, we raise some questions for future study in light of this progress.
Avoid common mistakes on your manuscript.
1 Introduction
Non-commutative spaces have become of recent interest for a wide variety of topics in high energy physics. Such ideas appear naturally in some applications of string theory [1, 2], in particular for string propagation in a background electromagnetic field or Kalb–Ramond form, and they are postulated in some models of quantum gravity [3, 4]. A common starting point in such a setting is the introduction of the fundamental commutator between spatial coordinates
for constant non-commutativity parameters assembled into a real, skew-symmetric matrix \(\theta _{ij}\). Much progress has been made in understanding various aspects of these non-commutative spaces [5] and their application to quantum field theory [6,7,8,9], where the effects of UV / IR mixing have played an important rôle. There is also interest in generalisations of (1), perhaps most famously to describe the “fuzzy sphere” [10, 11]. For general background information on non-commutative coordinates, their geometry and physical applications see, for example, [12, 13]. In this note we revisit a two-dimensional non-commutative space which we will describe in polar coordinates.
One facet of non-commutative geometry that has not often been discussed is its application in non-Cartesian coordinates. However, in [14], as a refinement of [15], the authors considered black holes in a non-commutative version of \(AdS_{3}\), using the polar variables, \(\hat{r}, \hat{\varphi }\), to describe the spatial coordinates – see also [16, 17] for similar applications and [18] for a discussion of the use of these coordinates. One outstanding issue was that the transition to the basic commutator in polar coordinates, \([\hat{r}, \hat{\varphi }]\), was not justified, which in turn led Iskauskas to investigate how it might be deduced [19]. The result was somewhat surprising; as we will briefly recapitulate below, starting from (1) it was possible to find a power series expansion for the polar commutator, which unfortunately suffered from a vanishing radius of convergence. Consequently, the conclusion of [19] was to treat \(\hat{r}^{2}\) and \(\hat{\varphi }\) as the natural non-commuting variables – the power series for their commutator was found to converge everywhere and was evaluated to give \([\hat{r}^{2}, \hat{\varphi }] = 2i\theta \), in agreement with the commutator used for simplicityFootnote 1 in [14].
We briefly return here to the problematic expansion for \([\hat{r}, \hat{\varphi }]\) to show that it is possible to give some meaning to this series. This is a pertinent issue since there remain different commutation relations in use in the existing literature. As we will show, it turns out to have a Borel resummation which will allow us to give an interpretation to the commutator. In fact we will find that the result can be used to define the commutator everywhere on the plane and for all values of the non-commutativity parameter \(\theta \). This is a physically significant problem since with three spatial dimensions (assuming a flat, non-compact manifold) a suitable rotation takes the space described by (1) into the product of a two-dimensional non-commuting space and the (commuting) real line, wherein symmetry considerations may make polar coordinates a natural description of the non-commutative plane. In particular, the translational symmetry retained by (1) is exchanged for the rotational symmetry, or translational symmetry with respect to the direction of increasing \(\varphi \), which will be implied by our results for \([\hat{r}, \hat{\varphi }]\). In the following section we recap the calculation of the polar commutator in [19] before presenting the Borel resummation of the resulting series. We then investigate its compatibility with the commutators previously employed in the literature and explore other limiting cases. It is hoped that this might clarify the differences between the choices for the fundamental commutator in polar coordinates, which is an important point for further understanding of non-commutativity on general spaces.
2 Non-commutative polar coordinates
We quickly outline the calculation carried out in [19]. Starting with \([\hat{x}, \hat{y}] = i\theta _{12} \equiv i\theta \) we relate this (at least formally) to polar variables via the familiar, but non-linear, relationship \(\hat{r}= \sqrt{\hat{x}^{2} + \hat{y}^{2}} > 0\) and \(\hat{\varphi }= \arctan (\frac{\hat{y}}{\hat{x}})\). To avoid the ambiguity of the variable ordering in these identifications, it proved advantageous to use the well-known correspondence between these non-commuting operators and the space of functions on \(\mathbb {R}^{D}\) under a non-commuting product. Such a map is exhibited by the Weyl symbol
From this map the Moyal \(\star \)-product [20, 21] is defined to deduce the position space representation of the product of two Weyl operators,
which acts as a deformation of the usual algebra of functions on \(\mathbb {R}^{D}\) [22, 23]. We use the customary notation that the derivatives act on the functions in the directions of their overhead arrows.
This was used in [19] to overcome the ordering ambiguities in the transition to polar coordinates by instead considering the commutator of the real functions \(f(x, y) = r = \sqrt{x^{2} + y^{2}}\) and \(g(x, y) = \phi = \arctan (\frac{y}{x})\) under the \(\star \)-product:
By formally expanding the exponential in (3) it was possible to arrive at the power series solutionFootnote 2
It is simple to verify that the radius of convergence of this series is zero, from which it is tempting to abandon the commutator as a sensible object. In the next section, however, we will calculate its Borel resummation to enlarge its radius of convergence, the result of which will be possible to continue to all positive values of \(\theta \) and will be valid for all values of r.
2.1 The resummation of the series
In general, consider a power series in the (typically complex) variable z with radius of convergence \(R < \infty \) defined by \(A(z) = \sum _{n=1}^{\infty } a_{n}z^{n}\). In many cases one may sensibly enlargeFootnote 3 the radius of convergence. This procedure is motivated by using the Gamma function to express \(z^{n}\) as an integral and consequently swapping the order of integration and summation to arrive at the Borel sum
where \(\mathcal {B}_{a}(t)\) is the Borel transform of the series
The point is that the series (7) may have better convergence properties since its terms grow more slowly than those of the original series by a factor of \((n-1)!\) – one hopes that this improvement is transferred to the resulting expression in (6) and that it may prove possible that it be continued to an even wider region for z.
We adapt this technique to the series in (5), defining first \(z = \frac{\theta }{4r^{2}}\) and stripping the first term from the sum. Then for \(n \geqslant 1\) we may write \(z^{2n} = \frac{1}{(2n-1)!}\int _{0}^{\infty }\mathrm{d}t\, t^{2n-1} e^{-t / z}\) which leads to the Borel transform
This series in the variable t has radius of convergence equal to \(\frac{1}{4}\), which is indeed an improvement on the original series in (5). Furthermore, we have evaluated this sum in closed form,
so that the resummation of the commutator can be expressed as
whose required integral we now look to compute.
One notes the presence of the divergence at \(t = \frac{1}{4}\), as can be expected given the radius of convergence of \(\mathcal {B}(t)\). However, this poses no problem in (10) as it is too soft to damage the convergence of the integration.Footnote 4 Moreover, the perceived divergence of the integrand as \(t \rightarrow 0\) is easily seen to be artificial by verifying that the Taylor expansion of the Borel transform about \(t = 0\) takes the form
Indeed, considering also the behaviour of the integrand as \(t \rightarrow \infty \) we see that the integral converges for all \(\mathfrak {R}(z) \geqslant 0\) and as such provides us with a means of interpreting the commutator after all. To check that such an interpretation is compatible with previous results, we may already see that in the limit of vanishing \(\theta \) (representing a commuting space) or the (pseudo-commutative) limit \(r \rightarrow \infty \) we have \(z \rightarrow 0\) and we recover the previously postulated commutation relation \([r, \phi ]_{\star } = \frac{i\theta }{r}\). We are interested here in determining the corrections to this result implied by (10).
A simple observation is that the integration required to complete the Borel resummation in (6) and (10) can be thought of as finding the Laplace transform of the Borel transform of the terms in the series, thought of as a function of \(\frac{1}{z}\). Consequently we may use various well-known properties of the Laplace transform. In particular, for smooth functions f(t) with Laplace transform \(F(s) \equiv \mathcal {L} [f](s)\), we will require the result that \(\lim _{s \rightarrow \infty } F(s) = 0\) and that \(\mathcal {L} [t f(t)](s) = -F^{\prime }(s)\), which allows us to deduce the Laplace transforms of \(t^{-1}f(t)\) and \(t^{-2}f(t)\) up to constants (henceforth denoted by \(\simeq \))
We may use these properties to calculate – at least up to such undetermined constants – the Laplace transforms of the individual terms in (10) and then use their asymptotic behaviour to infer the remaining s-independent term when these parts are combined to a result that we know is well defined (we identify \(s =z^{-1}\)). In this way we regulate the small-t divergences of the individual terms under the integral (in the sense of introducing a cut-off, so that the undetermined constants may, in intermediate steps, be divergent in the limit that the regulator is removed). Our result can then be checked against a numerical evaluation of the integral to verify the analytic calculation is correct. We shall further see that it is possible to write the result in terms of familiar classical functions despite the complexity of the integrand in (10).
The basic results we need follow from simple changes of variable and subsequent algebraic manipulation and are (the definitions of the special functions used are given in the Appendix)
from which we use (12) to formally deduce the regulated parts of the Laplace transforms for \(\mathfrak {R}(s) > 0\) up to constants to be fixed later:
and similarly
Putting these together, after suitable manipulations the integral in (10) can at last be written in terms of familiar functions as
In the above equation we have used the requirement that its limit as \(z\rightarrow 0\) (or as \(s \rightarrow \infty \)) must vanish to determine the required (finite) constant piece that has hitherto been neglected. One may verify the absence of a divergence for positive real values of s in the remaining terms. We have also carefully checked this analytic result against a numerical evaluation of the integral and found complete agreement.
Finally we may return to the commutator (4) to investigate the consequences of our calculation. Using (16) in (10) we find our main result:
where, as in (16), we have used the \(\leftrightarrow \) notation to signify that to the first three terms in square brackets should be added their value upon negation of both \(\theta \) and r. Inspection of (17) reveals that a consequence of this resummation is that the commutator picks up a real part, a point to which we later return. At this stage, we note that (17) provides an analytic expression for the polar commutator for arbitrary values of r and \(\varphi \) and for any size of non-commutativity parameter \(\theta \).
2.2 Limiting cases
Now that we have an analytic expression for the commutator, we may explore its behaviour in different regimes. We first use our result to revisit the limiting case of (pseudo-)commutativity, whereby \(\theta \rightarrow 0\) or \(r \rightarrow \infty \). In this case we have found (see the series expansions for the relevant functions in the Appendix) that the commutator has expansion
which correctly reproduces the original (purely imaginary) series (5) term by term. It is worth recalling that the apparent small-r divergence here causes no problems for the analysis of black holes in [14] since attention is limited to coordinates \(r > 0\) and besides, this expansion is appropriate only for \(r^{2} \gg \theta \). At the other extreme we can investigate the large \(\theta \) or small r limit in which \(z \rightarrow \infty \). Then we have shown that the commutator has leading order behaviourFootnote 5
with further corrections in powers of \(\frac{r^{2}}{\sqrt{\theta }}\) whose coefficients decrease faster than the inverse square of their order. This suggests that when \(r^{2}\) is small in comparison to \(\theta \) the commutator is approximately constant with respect to radial distance, which warrants further investigation as we discuss below. The complete analytic result (17) allows us to interpolate between these two limits, although its complexity makes a plot of its shape for different values of \(\theta \) and r more illuminating. To this end, Fig. 1 shows the real and imaginary parts of the commutator for suitable values of the parameters \(\theta \) and r.
We have also determined that if we had instead chosen the contour of integration in (16) to run just below the square root branch cut on the real axis then the only change is to the imaginary part of the result, whose sign is directly reversed. Since both choices lead to valid resummations of (5), and there is no underlying field theory from which to derive a physical reason to favour one choice over another, one may average these two solutions so as to arrive at a real-valued function; this would consequently allow us to recover a purely imaginary commutator, desirable if the coordinate operators are to be Hermitian as is usual. In this case, our large \(\theta \) expansion becomes
whilst (18) remains unchanged.
3 Conclusion
We have considered the fundamental commutation relations for two-dimensional non-commutative space described by polar coordinates \(\hat{r}\) and \(\hat{\varphi }\). Applying the Borel resummation technique we defined and evaluated the power series for \([r, \varphi ]_{\star }\), verifying the analytic result agrees with a numerical calculation. Our answer is written in terms of functions well known to the mathematics community. Furthermore, we have shown our result is consistent with the commutator previously proposed in the literature at lowest order in the non-commutativity parameter \(\theta \). The advantage of our analytic calculation is that it can now be extended to arbitrary values of \(\theta \) and radial distance and we have in particular considered the regime where \(r^{2} \ll \theta \), or indeed r is comparable to the square root of \(\theta \), finding the commutator’s leading order behaviour to depend only upon (the square root of) \(\theta \).
One immediate application of our result is to the commutator \([\hat{r}^{2}, \hat{\varphi }]\) mentioned in the introduction. In the current context, (18) implies higher order corrections
and when \(\theta \) is large in comparison to \(r^{2}\) (20) provides
whereas in [19], Iskauskas found the series expansion arising from application of (3) terminates at the \(\mathcal {O}(\theta )\) contribution in (21). For this reason it would be interesting to investigate the consequences of the higher order terms of (21) in the context of fuzzy BTZ black holes. In this setting, it may be that some consistency condition can be used to determine which form of the commutator is physical meaningful.
Furthermore, it would be worthwhile using (19) or (20) to probe the large \(\theta \) limit of these objects. Indeed, the spatial dependence of the fundamental commutation relations in this limit is easily deduced by determining the Cartesian commutator \([x, y]_{\star }\). This can be achieved by using (3), based on (20), with \(f(r, \theta ) = r \cos {(\theta )}\) and \(g(r, \theta ) = r\sin {(\theta )}\) or by direct calculation of \([\hat{r}\cos {(\hat{\varphi })}, \hat{r}\sin {(\hat{\varphi })}]\) from (20). In either case we obtain
which shows that the non-commutativity of the coordinates becomes position dependent. A representation of this algebra is easily determined by noting that (20) is at leading order solved by operators satisfying the Heisenberg algebra, which are then transformed to coordinates fulfilling (23). One example is to parameterise the two-dimensional space by the eigenvalues of the angular coordinate, \(\hat{\varphi }\), and take \(\hat{x}= i\sqrt{\theta }\partial _{\varphi }\cos {(\varphi )}\) and \(\hat{y}= i\sqrt{\theta }\partial _{\varphi }\sin {(\varphi )}\), whereby \(\hat{x}^{2} + \hat{y}^{2} = -\theta \partial ^{2}_{\varphi }\). An interesting avenue for future work would be to investigate black hole solutions in this curious limit of high non-commutativity to complement previous work in this area. There, we are immediately confronted with the minimal length scale set by quantum gravity or models that involve minimal length uncertainty relations [25, 26] which imply it might be more appropriate to consider \(r^{2} \sim \theta \). However, the functional form of the polar commutator remains unchanged (see footnote 5) at lowest order when r is of the order \(\sqrt{\theta }\), so that (23) remains valid in this regime. It is clear that many open questions remain on the subject of non-commutativity in polar coordinates and we hope that this article makes a positive contribution towards research in this area.
Notes
It is easy to check that this is compatible with the commutator \([\hat{r}, \hat{\varphi }] = \frac{i \theta }{r}\) postulated in [14].
The restriction \(r > 0\) is important for (5) which holds up to dependence on \(\delta ^{2}(r)\) and its derivatives.
In the sense that when the original series converges then the result of the Borel resummation converges to the same value.
The required branch cut forces us to define precisely the integration over the parameter t, which we take with infinitesimal positive imaginary part; we would encounter the usual Stokes phenomenon [24] were we to deform the integration contour to run just below the real axis.
A subtlety arises when gravity is taken into account, where a minimal length scale \(r \sim \sqrt{\theta }\) is present; however, it turns out that the functional form of (18) is not affected if the commutator is instead expanded for r close to this length scale: one finds \([r, \varphi ]_{\star } = {\text {const}}\times \sqrt{\theta } + \mathcal {O}(r - \sqrt{\theta })\).
References
A.Y. Alekseev, A. Recknagel, V. Schomerus, J. High Energy Phys. 1999(09), 023 (1999)
P.M. Ho, Y.T. Yeh, Phys. Rev. Lett. 85, 5523 (2000). doi:10.1103/PhysRevLett.85.5523
A.H. Chamseddine, Phys. Lett. B 504(12), 33 (2001). doi:10.1016/S0370-2693(01)00272-6
X. Calmet, C. Fritz, Phys. Lett. B 747, 406 (2015). doi:10.1016/j.physletb.2015.06.033
M.R. Douglas, N.A. Nekrasov, Rev. Mod. Phys. 73, 977 (2001). doi:10.1103/RevModPhys.73.977
W. Bietenholz, F. Hofheinz, H. Meja-Daz, M. Panero, J. Phys. Conf. Ser. 651(1), 012003 (2015)
J. Gomis, T. Mehen, Nucl. Phys. B 591, 265 (2000). doi:10.1016/S0550-3213(00)00525-3
N. Ahmadiniaz, O. Corradini, D. D’Ascanio, S. Estrada-Jimnez, P. Pisani, JHEP 11, 069 (2015). doi:10.1007/JHEP11(2015)069
S.M. Carroll, J.A. Harvey, V.A. Kostelecký, C.D. Lane, T. Okamoto, Phys. Rev. Lett. 87, 141601 (2001). doi:10.1103/PhysRevLett.87.141601
J. Madore, Class. Quantum Gravity 9(1), 69 (1992)
A.B. Hammou, M. Lagraa, M.M. Sheikh-Jabbari, Phys. Rev. D 66, 025025 (2002). doi:10.1103/PhysRevD.66.025025
J.C. Varilly (1997)
G. Landi, Lect. Notes Phys. Monogr. 51, 1 (1997). doi:10.1007/3-540-14949-X
E. Chang-Young, D. Lee, Y. Lee, Class. Quantum Gravity 26(18), 185001 (2009)
H.C. Kim, M.I. Park, C. Rim, J.H. Yee, J. High Energy Phys. 2008(10), 060 (2008)
E. Chang-Young, K. Kimm, D. Lee, Y. Lee, Class. Quantum Gravity 29, 105008 (2012). doi:10.1088/0264-9381/29/10/105008
E. Chang-Young, in Proceedings, 5th International Symposium on Cosmology and Particle Astrophysics (CosPA 2008), Pohang (2009). https://inspirehep.net/record/810769/files/arXiv:0901.1516.pdf
E. Chang-Young, D. Lee, Y. Lee, J. Korean Phys. Soc. 56 (2010). doi:10.3938/jkps.56.536
A. Iskauskas, Phys. Lett. B 746, 25 (2015). doi:10.1016/j.physletb.2015.04.052
J.E. Moyal, Proc. Camb. Philos. Soc. 45, 99 (1949). doi:10.1017/S0305004100000487
H.J. Groenewold, Physica 12, 405 (1946). doi:10.1016/S0031-8914(46)80059-4
F. Lizzi, in Workshop on Geometry, Topology, QFT and Cosmology, Paris (2008)
L. Alvarez-Gaum, S.R. Wadia, Phys. Lett. B 501(34), 319 (2001). doi:10.1016/S0370-2693(01)00125-3
V. Kowalenko, The Stokes phenomenon, Borel summation and Mellin-Barnes regularisation (Bentham Science, 2009). doi:10.2174/97816080501091090101
S. Dey, Solvable models on noncommutative spaces with minimal length uncertainty relations, Ph.D. thesis, London (2014). https://inspirehep.net/record/1321679/files/arXiv:1410.3193.pdf
H. Hassanabadi, Z. Molaee, S. Zarrinkamar, Adv. High Energy Phys. 2014, 459345 (2014). doi:10.1155/2014/459345
Acknowledgements
The author is grateful for constructive comments on the manuscript from Paul Cook, Andrew Iskauskas and Daniele Galloni. Sincere and warm thanks also to Jorge Bruno, Nadia Jaszczynska and Marcus Kaiser for helpful discussions, recommending various resources and encouragement throughout this work, without which support this article would not have come to be. Thanks also to the stimulating comments made by the reviewer of this article which significantly improved the clarity of the text.
Author information
Authors and Affiliations
Corresponding author
Appendix A: Special functions
Appendix A: Special functions
We list here the definitions of the special functions used in the main text so as to provide a complete reference for the calculations described therein (x is a generally complex argument to these functions):
In the final definition of the generalised hypergeometric function we have made use of the Pochhammer symbol, defined by \((\beta )_{0} =1\) and
for \(n > 0\).
1.1 Series expansions
For reference we include leading order series expansions of the functions entering the main result. These were employed to determine the limiting behaviour of the polar commutator. We first consider the series expansions for small arguments:
Furthermore, in the limit as \(x \rightarrow \pm \infty \) we find the leading order behaviour of these functions to be (we denote by \(\Theta (x)\) the Heaviside step function)
and
where \(\psi (x) \equiv (\ln (\Gamma [x]))^{\prime }\) is the digamma function. We have expanded the last function to next to leading order, required due to its prefactor of \(\frac{r^{3}}{\theta }\) in the main result (17). These series are sufficient to verify the limits discussed in the article.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
Edwards, J.P. Non-commutativity in polar coordinates. Eur. Phys. J. C 77, 320 (2017). https://doi.org/10.1140/epjc/s10052-017-4873-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-017-4873-y