Take the 2-minute tour ×
Physics Stack Exchange is a question and answer site for active researchers, academics and students of physics. It's 100% free, no registration required.

Are there any "natural" physical observables which have non-empty point spectrum which consists of numbers which are not algebraic numbers?

share|improve this question
    
Weird, but good question. I'm not sure whether it's well-posed, though; surely you have to fix a system of units? And then you have the problem of constants: is the electron charge $e$ transcendental or not? –  Greg Graviton Jul 7 '11 at 12:16
3  
@Greg is right. You always have scaling and shifting freedom in units. Which means first two eigenvalues (in the case the operator is bounded from below and has a "mass gap") can always be taken to be 0 and 1. In any case, I am not sure about the physical value of this question... –  Marek Jul 7 '11 at 12:38
1  
I assume that you are considering theories that take only rational or algebraic numbers as input. (Otherwise just observe the fine structure constant). And only dimensionless ratios of observables. One would have to imagine that "almost" all observables have transcendental spectra, but proving this for particular cases is hard, because we can't calculate the spectra and its hard to prove transcendentality. –  BebopButUnsteady Jul 7 '11 at 13:38
add comment

2 Answers

I don't have a complete answer, but maybe the following is useful for your purposes:

Consider the Laplacian $\Delta$ on a circular drum of unit radius. As explained on the wikipedia page, the axially symmetric eigenvectors $\Delta u(r) = -\lambda^2 u(r) $ are Bessel functions $u(r)=J_0(\lambda r)$. Obviously, the boundary condition requires $J_0(\lambda)=0$. In other words, the eigenvalues of this Laplacian correspond to zeroes of Bessel functions, and I would be very surprised if these numbers are not transcendental. In fact, Mathworld mentions that the first zero has been proven to be transcendental by Le Lionnais.

The corresponding quantum mechanical situation would be the Hamilton operator $H=-\hbar^2/2m\cdot \Delta$ of a free 2D electron confined to the unit disk. The boundary conditions are the same, $\psi|_{ \partial\Omega}=0$.


Of course, the electron has the problem that it's not clear whether $\hbar= h/2\pi$ should be counted as transcendental or algebraic, physicists frequently set $\hbar = 1$.

For instance, consider a 1D electron inside a box of length $L$, i.e. $\psi(0)=\psi(L)=0$. The eigenstates are simply standing waves, and the eigenvalues are

$$ E_n = \frac{\hbar^2}{2m_e} \left(\frac{\pi n}{L}\right)^2.$$

If you count $h$ as algebraic, then this is algebraic. But if you count $\hbar$ as algebraic, then this is transcendental. Your way out is probably to turn the question into a relative one: is there a physical observable whose eigenvalues are algebraically independent of the $E_n$? Clearly, you only need to consider the eigenvalues of the Laplace operator now.

share|improve this answer
    
+1 for the argument simplicity –  lurscher Jul 7 '11 at 15:34
    
Is this example worked out somewhere in the literature? –  Łukasz Grabowski Jul 7 '11 at 16:35
    
@Łukasz Grabowski. The wikipedia page already solves the problem of the circular drum completely, but it doesn't answer the question of whether the zeroes of the Bessel functions are algebraic or transcendental. I don't know any reference for the latter problem. –  Greg Graviton Jul 7 '11 at 17:28
1  
@Greg Graviton At least the smallest zero of $J_0(x)$ is transcendental. –  mmc Jul 7 '11 at 22:58
    
@mmc. Thanks! I've edited my answer. –  Greg Graviton Jul 8 '11 at 5:43
show 2 more comments

Transcendental numbers often pop out in higher-loop Feynman diagram calculations. One example is the spectrum of local operators in $\mathcal{N}=4$ supersymmetric Yang-Mills theory, where the anomalous dimensions at higher loops in general contain $\zeta$-functions. As an example, the dimension of the operator $\mathop{Tr} \phi^a\phi^a$ is given perturbatively by $$\gamma = 4 + 12g^2 - 48g^4 + 336g^6 + (-2496+576\zeta(3)-1440\zeta(5))g^8 + \mathcal{O}(g^{10})$$ (I don't think there is a rigorous proof showing that $\zeta(n)$ is non-algebraic for positive and odd values of $n$, but it seems likely to me...)

share|improve this answer
2  
"Perturbatively"! How do you know that the real answer isn't actually algebraic? –  C.R. Jul 7 '11 at 13:01
    
@Karsus: I guess that's true. I just wanted to given an example where non-algebraic numbers appear naturally. By the way, can an algebraic function have a convergent series expansion around 0 with non-algebraic coefficients? –  Olof Jul 7 '11 at 13:44
1  
$ 1=\sum_{n=0}^{\infty}\frac{e^{-1}}{n!} $. And I remember reading somewhere that a lot of series obtained by perturbation is not convergent at all; they are asymptotic. –  C.R. Jul 7 '11 at 14:33
    
@Karus: That's a nice example, thanks! A perturbative series may in general asymptotic, but the perturbative expansion of $\mathcal{N}=4$ SYM is supposed have a finite radius of convergence. –  Olof Jul 7 '11 at 14:40
1  
@Karus: Sorry, I'm not sure it's such a good example after all. While it is true that your series have non-algebraic coefficients but sum up to an algebraic number, I don't think of that series as an expansion of the constant function 1. And something like $\sum_{n=0}^{\infty} \frac{e^{-1} x^n}{n!} = e^{x-1}$ is clearly not an algebraic function. Anyway, I'm afraid we are getting a bit off-topic... –  Olof Jul 7 '11 at 14:46
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.