...more precisely screwing string theory...
The 5,250+ TRF blog entries discuss various topics, mostly scientific ones, including minor advances. However, there isn't any text on this website that would talk about matrix string theory (inpendently found 2 months later by a herald who inaugurated the new Dutch king and an excoauthor of mine along with two twins).
If you search for the closest topic, you will find one article about Matrix theory published a year ago and a supplement about membranes in Matrix theory that was added a week later.
But now we want to talk about matrix string theory. It's a version of Matrix theory. Much like Matrix theory – or M(atrix) Theory – describes Mtheory in 11 dimensions (which has no strings), matrix string theory describes type IIA or heterotic \(E_8\times E_8\) string theory in \(d=10\). So it's a stringy version of Matrix theory; or string theory formulated in a matrix form.
The discovery of matrix string theory was important for several reasons. First, it was an important confirmation of the ability of the Matrix theory concept to define the dynamics of string/Mtheory in many situations; and it was the first time when we had a complete, nonperturbative definition of a string theory.
What do I mean by this comment? Before Matrix theory, all calculations in string theory would be organized as Taylor expansions in \(g_s\), the string coupling. All amplitudes would be written as \(A_0 + A_1 g_s + A_2 g_s^2\dots\), and so on. However, not every function may be expanded in this way and the general amplitudes in quantum field theory or string theory can't. For example, \(\exp(C/g_s^2)\) has a Taylor expansion whose terms vanish (because all higherorder derivatives of this function at \(g_s=0\) vanish) even though the function was nonvanishing.
In this sense, a complete definition was absent. One could have even believed that the existence or consistency of string theory was just a perturbative illusion. Matrix string theory was the first "constructive proof" that string theory is welldefined even nonperturbatively. In the type IIA case, one had a definition for any \(g_s\). In the \(g_s\to\infty\) limit, one could easily show that the theory reduces to Matrix theory, the matrix model for Mtheory; in the \(g_s\to 0\) limit, one could prove – and this is the main achievement of the matrix string theory founding papers – that the dynamics reproduces the states and interactions of type IIA string theory as we had known them from the perturbative approaches.
Formal and informal derivations of the matrix string Lagrangian
Matrix theory is formulated in terms of the following Hamiltonian\[
H = P^ = \frac{N}{2} {\rm Tr}\zav{ \Pi_i^2  [X_i,X_j]^2 +{\rm fermionic} }
\] which is interpreted as a lightcone component \(P^ = (P^0P^{10})/\sqrt{2}\) of the spacetime energymomentum vector. Well, the original Matrix theory paper by BFSS (Banks, Fischler, Shenker, Susskind) talked about the "infinite momentum frame" and various "highly boosted limits". But one could easily go to the limit and rewrite the quantities in the lightcone gauge. I was always baffled how a paper by Lenny could have become wellknown just because it made this selfevident point. My papers (written before Susskind) always took the lightcone gauge as an obvious fact, for granted, and I am confident that everyone who followed the GreenSchwarz machinery from the early 1980s (these physicists preferred to calculate things in the lightcone gauge at that time) had to immediately see that the more natural and more right way to interpret the BFSS model was the lightcone gauge and not just some halfbaked "infinite momentum frame".
But let me avoid these discussions. I will assume that the reader has no problem with null combinations of spacelike and timelike components of the energymomentum vector and realizes that they are often natural combinations to consider.
The Hamiltonian above also contains fermionic, Yukawalike terms of the form \({\rm Tr}(\theta\gamma_i [X_i,\theta])\) needed for supersymmetry (and various related crucial cancellations) and all the fields are \(N\times N\) matrices chosen for the matrix model to respect the \(U(N)\) gauge symmetry; yes, all physically allowed states must be invariant under the whole \(U(N)\) group.
In the previous articles, I tried to explain why this quantum mechanical model whose fields are "large matrices", generalizations of the usual nonrelativistic operators \(X_i,P_i\), contains multigraviton states, their superpartners, and large membranes: it has all the objects it needs to agree with the physical spectrum of Mtheory in 11 dimensions.
Now, we want to compactify Mtheory on a circle. Mtheory on \(S^1\times \RR^{10}\) has been known to be equivalent to type IIA string theory in 10 dimensions (from the very first paper by Witten that introduced Mtheory: the equivalence of the lowenergy limits had been known for 10 years before that Witten's paper). What do we have to do with the matrix model to see all the physics of type IIA string theory?
There was some confusion about this question in the original BFSS paper on Matrix theory. The authors tended to believe that their exact Hamiltonian contains "the whole Hilbert space" of string/Mtheory in all of its backgrounds. However, it wasn't the case. The moduli are modes with \(P^=0\) and they correspond to excitations of the \(U(0)\) matrix model. The BFSS matrix model has no degrees of freedom for \(N=0\) so there are no ways to change the moduli. Consequently, the model may only describe one particular superselection sectors – the states of string/Mtheory that respect the asymptotic form of the spacetime that looks like one in 11dimensional Mtheory (with one lightlike direction compactified on a "long" circle).
To see type IIA string theory, i.e. the states in a different superselection sector of string/Mtheory, we need to construct a different matrix model. What is it?
At the end of 1997, Ashoke Sen and especially Nathan Seiberg proposed a straightforward way to derive the BFSS matrix model and its compactifications from a limiting procedure combined with some widely believed dualities in string/Mtheory. It's a clever (and superior) derivation that allows us to derive matrix models that are gauge theories; as well as matrix models that aren't just "ordinary" gauge theories but their novel UV completions such as the \((2,0)\) theory in \(d=6\) and little string theory.
However, if we want to find a matrix model for a compactification of Mtheory on \(T^k\) and the dimension \(k\) of the torus isn't greater than three, it's enough to use the formal "gauge theory assuming" derivation I used at the beginning of 1997. How does it work?
One develops (your humble correspondent developed) a more general procedure to "orbifold a matrix model". The compactification on a circle is an orbifold by the group isomorphic to \(\ZZ\) composed of translations by \(2\pi R n\) in the direction of the circular dimension. To find the matrix description of the orbifold, we need to enhance \(N\) sufficiently and constrain the matrices of this "enhanced BFSS model" in a way that says that "the matrices transformed by elements of the orbifold group are gauge conjugations of the original ones".
This may sound complicated but the example of the compactification, an important one, makes it rather clear what I mean. The BFSS model has matrices with elements such as \(X^i_{mn}\) where \(m,n=1,2,\dots N\) are the gauge indices. We need the set of values of these indices to be infinitely greater. So we replace these matrix degrees of freedom by \(X^i_{mn}(\sigma,\sigma')\) where \(\sigma\in(0,2\pi)\) with periodic boundary conditions (a circular set of possible values of this "index") is a continuous counterpart of the index \(m\) and similarly for \(\sigma'\) and \(n\).
Now the group \(\ZZ\) of the translations in the direction \(X^9\) has a generator, a translation by \(2\pi R_{9}\), and we identify it with the conjugation by \(\exp(i\sigma)\), a gauge transformation matrix that only acts on the continuous \(\sigma\) indices. Because the translation doesn't physically act on the bosons \(X^1\dots X^8\) and their momenta \(\Pi^i\), the condition "physical transformation equals gauge transformation" says that these matrices are simply functions of one \(\sigma\) because they impose \(\sigma=\sigma'\), or demand \(\delta(\sigma\sigma')\) in the kernel, along the way. Similarly, \(X^9\) has an extra \(\delta'(\sigma\sigma')\) term on the right hand side so this matrix gets promoted to the covariant derivative \(D_\sigma\). Again, what used to be the degrees of freedom in \(X^9(\sigma)\) get reinterpreted as the component \(A_\sigma\) of a gauge field.
It may sound incomprehensible or difficult or abstract but I don't find it constructive to spend too much time with that. When you do these operations properly, you will find out that the matrix model for type IIA string theory is a 1+1dimensional gauge theory with the same group \(U(N)\) as the BFSS model compactified on \(S^1\times\RR\) where the \(S^1\) part of the infinite cylinder arises from the \(\sigma\) "continuous index" we had to add. This 1+1dimensional gauge theory has a dimensionful parameter \(g_{YM}^2\). The formal procedure "physical transformation defining the orbifold equals gauge transformation of the matrices" even tells us how the coupling \(g_{YM}^2\) depends on the length of the circle \(2\pi R_9\) in the compactification of Mtheory. Together with some analyses of the interactions in the resulting matrix model, we may derive that \(R_9/l_{Pl,11}\sim g_s^{3/2}\).
But let's not be too acausal. So far, we have derived the matrix model for type IIA string theory. It looks like the integral of the BFSS Hamiltonian over the circle \(\sigma\) except that the component \(X^9\) of the bosonic fields is replaced by the covariant derivative \(D_9\) involving the 1+1dimensional gauge field. The original BFSS matrix model may be viewed as the compactification of the 10dimensional (nonrenormalizable) supersymmetric gauge theory to 0+1 dimensions. When we're compactifying the dimensions of the Mtheory we want to describe by a matrix model, we must decompactify the spatial dimensions that were dimensionally reduced in the BFSS matrix model to start with. For type IIA string theory in ten dimensions, we must decompactify one (add the single "continuous index" \(\sigma\)). This operation is the opposite of dimensional reduction and because in chemistry, the opposite of reduction is oxidation, this procedure to construct higherdimensional versions of the BFSS model to describe lowerdimensional vacua of Mtheory is sometimes jokingly called the dimensional oxidation. ;)
Minimizing the energy
Just to be sure: we have "derived" that type IIA string theory in ten dimensions at any coupling is completely equivalent to the maximally supersymmetric \(U(N)\) gauge theory in 1+1 dimensions whose "world volume" has one infinite timelike dimension and one circular, compact spacelike dimension. To get rid of the effects of the compactification of the lightlike dimension, we need to take the large \(N\) limit.
In some sense, this is a very modest generalization or variation of the original BFSS claim. I became totally certain that this matrix model is the right one. This certainty is probably necessary for one to be sufficiently motivated to study its physics a bit more closely. So I started with that.
If the 1+1dimensional gauge theory is the full type IIA string theory, including its Dbranes, type IIA supergravity at low energies, black holes, and many other things, it should contain what type IIA string theory is known to contain. For example, it must contain the strings. They must also be able to split and join.
Diagonal in a basis that may change
A general Hamiltonian defines the energy in a quantum mechanical model. All states may be written as superpositions of energy eigenstates. However, some states are more interesting than others: the lowenergy eigenstates of the Hamiltonian. Because energy tends to dissipates, physical systems generally like to "drop" to their lowlying states. That's why the lowlying states, starting from the ground state (lowesteigenvalue eigenstate of the Hamiltonian), are the most important ones.
In other words, the first step in trying to understand the physics of a Hamiltonian in a quantum mechanical theory is to try to help Nature to minimize the energy. How do we do it with the matrix model for matrix string theory?
Let's consider the bosons only; the fermions add additional degrees of freedom, terms in the zeropoint energy (that mostly cancel some bosonic terms that would destroy a consistent spacetime interpretation of the physics if they remained uncancelled), and other details. If you assume that fermions play this peaceful, calming, generalizing role, you may say that the important physics is already contained in the bosons.
How do we minimize the energy carried by the bosonic parts of the Hamiltonian? The matrix string Hamiltonian contains \(\int \dd \sigma\,{\rm Tr}(\Pi_i^2)\) times a coefficient. Clearly, this is minimized if the momenta \(\Pi_i(\sigma)\) are zero. More realistically, these matrices may be approximately diagonal and the diagonal entries \(\Pi^i_{nn}(\sigma)\) will behave as the degrees of freedom \(\pi_i(\sigma)\) defined on a GreenSchwarz string. Soon we will see what happens with the extra \(n\) etc.
The offdiagonal entries of \(\Pi^i\) as well as the same entries of \(X^i\) behave like Wbosons of a sort, massive degrees of freedom, and at low energies, the wave function is almost required to be proportional to the ground states wave function as a function of these offdiagonal entries.
More interestingly, we want to minimize the term \({\rm Tr}\zav{[X_i,X_j]^2}\) in the energy, too. The minus sign has to be there because for each \(i,j\), the commutator is antiHermitian so its square is negatively definite, not positively definite. How do we minimize it? Clearly, it will be smaller if the eight matrices \(X^i\) commute with each other. (Quantum mechanically, the wave function will be concentrated near the points on the configuration space where they commute with each other.)
If they commute with each other, it means that we can simultaneously diagonalize them. In other words, we can write\[
X^i(\sigma) = U(\sigma) X^i_{\rm diag}(\sigma) U^{1}(\sigma).
\] The matrix \(U\) may be assumed to be unitary because Hermitian matrices are diagonalized in an orthonormal basis. The matrix with the "diag" subscript on the right hand side is diagonal. But an important detail is that \(U(\sigma)\) must be allowed to be arbitrary because the energy minimization tells us nothing about the basis in which all the \(X^i\) matrices are diagonal.
And that makes a difference because \(U(\sigma)\) doesn't have to be periodic with the period of \(2\pi\). Only the total field \(X^i(\sigma)\) of the gauge theory has to be periodic. However, the transformation \(U(\sigma)\) to the basis in which \(X^i(\sigma)\) is diagonal may undergo a nontrivial monodromy if we change \(\sigma\) by \(2\pi\). The matrix \(X^i_{\rm diag}(0)\), for example, was constrained by our rules to be diagonal but the matrix \(U(0)\) that (via conjugation) brings a given \(X^i(\sigma)\) to the diagonal form is "almost unique" but not quite. First, one may add some \(N\) phases on the diagonal of \(U\).
Second, and this is more important here, the matrix \(U\) may be multiplied by a permutation matrix! If a matrix is diagonal in a certain basis, it is diagonal in a permutation of this basis, too! So we must consider more general matrices \(U(\sigma)\) that are continuous functions of \(\sigma\) but that obey\[
U(\sigma+2\pi) = U(\sigma) P
\] where \(P\) is a permutation matrix. In combination with some continuous but also aperiodic diagonal matrices \(X^i_{\rm diag}\), such a unitary matrix may still produce an energyminimizing, periodic field \(X^{i}(\sigma)\). This is the key subtlety not to be overlooked if you want to understand physics of matrix string theory.
What is this fact good for?
It's easy to see how the \(U(N)\) matrix model, the twodimensional gauge theory, contains \(N\) "short strings". The degrees of freedom of each such short string is carried by the diagonal entries of \(X^i(\sigma)\). There are \(N\) such entries along the diagonal. However, we also need "long strings"; the length of the \(\sigma\) coordinate space has been known to be proportional to the lightcone momentum \(P^+\) to everyone who was familiar with the lightcone gauge string theory.
This \(P^+\) is quantized, equal to \(N/R\), because the null coordinate \(X^\) is compactified on a circle of radius \(R\) (we want to send \(R\to\infty\) to get rid of this semiunphysical compactification which also forces us to send \(N\to\infty\) to keep \(P^+\) fixed). And we know how to find strings with \(P^+=1/R\) i.e. with the \(N=1\) unit of the lightlike longitudinal momentum.
However, the permutation business tells us how to find the "long strings" with \(P^+=N/R\) for any positive integer \(N\). You pick an eigenvalue of \(X^i\) along the diagonal; trace it as you continuously change \(\sigma\) from \(0\) to \(2\pi\); and when you reach \(\sigma=2\pi\), this eigenvalue doesn't connect to the original one at \(\sigma=0\). Instead, it will connect to a different one and only if you increase \(\sigma\) by \(2\pi N\), you may return to the original function because \(N\) basis vectors participate in a cycle of the permutation (used in the boundary conditions for \(U(\sigma)\).
(The "long strings" were also called "screwing strings" by your humble correspondent because the monodromy bringing the eigenvalue to a new level every time you get around the circle looks like a screw. I didn't know what the verb "screw" had meant informally. But this informal meaning of "screwing" is one of the reasons why the incorrect name "matrix string theory" became more frequently used than the technically correct name "screwing string theory". Incidentally, note that "matrices" and "nuts [waiting for screws]" are translated by the same Czech word, "matice".)
Because every permutation may be decomposed into a product of circular cycles, we see that every lowenergy state in matrix string theory is composed of several strings with arbitrary values of \(P^+=N/R\). The permutation defines a "sector" of matrix string theory. The decomposition into the sector is just an artifact of the lowenergy approximation; there is no sharp "barrier" between the sectors as they're continuously connected on the configuration space of the 1+1dimensional gauge theory.
One may also derive the origin of some other subtle conditions. For example, the bosonic/fermionic states of the long strings obey the right statistics because the permutations that interchange the whole long strings are elements of the \(U(N)\) gauge group that must keep all physical states invariant. However, one may also derive the \(L_0=\tilde L_0\) condition for each separate string as the gauge invariance under the generator of the \(ZZ_k\) cyclic group that defines the cyclical permutations associated with a given string. Well, this is really equivalent to \(L_0\tilde L_0 \in k\ZZ\) but for large values \(k\), all values except for \(L_0\tilde L_0=0\) will correspond to string states of a high energy and will not belong to the lowenergy spectrum.
Merging and splitting strings: jumping in between the permutation sectors
I have already said that in the lowenergy limit, it looks like the Hilbert space is composed of sectors labeled by permutations in \(S_N\subset U(N)\). Each cycle that such a permutation is composed of corresponds to one "long string" – an ordinary type IIA string – present in the configuration.
At the same time, matrix string theory allows you to continuously switch between different "sectors". This corresponds to changing the permutation or, equivalently, the decomposition of the total longitudinal momentum \(P^+\) to the individual strings.
The most elementary operation changing a permutation is the composition of this permutation with an extra transposition (of two pieces of the string; or two eigenvalues). The lowenergy approximation of the gauge theory's (matrix model's) Hamiltonian will involve the list of the allowed sectors and the free Hamiltonian for the individual strings that match the free type IIA string theory. However, the gauge theory isn't quite free so there will also be corrections and those may change the sector (the permutation). Those that only add one transposition will be the leading ones and they will correspond to nothing else than the usual splitting or merging of strings, a threeclosedstring vertex.
We know that the gauge theory is supersymmetric so the interactions will have to preserve the same supersymmetry. DVV showed that the form of the splitting/merging leading interaction is essentially unique. But even without knowing its form, I could have derived – using a trick using the assumption that the large \(N\) limit is universal and independent of \(R\), the lightlike radius – how the coefficient of the threestring vertex depends on the radius \(R_9\) of the coordinate we compactified to get the matrix model of type IIA string theory out of the BFSS model for Mtheory. (There are two radii compactified here which are often labeled as \(R_9\) and \(R_{11}\). People who don't understand the logic of matrix string theory may confuse them. The exchange of these two radii that is effectively used in the construction was also called the 9/11 flip and be sure that it was before my PhD defense on 9/11/2001.)
The DVV description of the permutations
In March 1997, DVV who were much more familiar with the standard machinery of twodimensional conformal field theories described the freestring limit of the gauge theory by a concise term: the symmetric orbifold CFT. It means a CFT – a linear (not nonlinear, in this case) sigma model on \(\RR^{8N}/S_N\) where \(S_N\) is the permutation group exchanging the \(N\) copies of the 8dimensional transverse space.
They also wrote down the explicit form of the threestring interaction vertex (leading interaction) emerging in this limit in terms of spin fields and twist fields, fixed a mistake in my not quite correct derivation of the levelmatching \(L_0=\tilde L_0\) condition, and added some comments about the appearance of the D0branes (short strings with the electric field etc.).
Higherorder terms in the Hamiltonian
The transposition of two eigenvalues is just the simplest among the extra permutations that may change the sector. In reality, the matrix model for string theory predicts all the complicated permutations (cycles with 3 elements or any number of elements), too. One may guess a natural Ansatz how these terms look like at any order in \(g_s\). We wrote these formulae with Dijkgraaf – a paper showing that the matrix string Hamiltonian is corrected at every order and how (these extra highorder terms produce contact terms interactions that are needed for the consistency of the lightcone gauge string theory but they may be largely circumvented in the usual covariant calculations based on moduli spaces of Riemann surfaces). This particular paper remained almost unknown, one of the numerous testimonies of the fact that in the 21st century, the interest in technical things such as "filling the gaps in the only nonperturbative definition of type IIA string theory we have" was dropping to zero. In 2003, people were already much more excited with philosophical gibberish such as the anthropic lack of principle and fabricated "technical evidence" that it applies in string theory.
I won't proofread this text because I am afraid that its technical character will shrink its readership close to an infinitesimal number that can't justify the extra work needed for proofreading.
Saturday, May 18, 2013 ... /////
Ways to discover matrix string theory
Posted by
Luboš Motl
at
1:57 PM



Subscribe to:
all TRF disqus traffic via RSS
[old]
To subscribe to this single disqus thread only, click at ▼ next to "★ 0 stars" at the top of the disqus thread above and choose "Subscribe via RSS".
Subscribe to: new TRF blog entries (RSS)
To subscribe to this single disqus thread only, click at ▼ next to "★ 0 stars" at the top of the disqus thread above and choose "Subscribe via RSS".
Subscribe to: new TRF blog entries (RSS)
snail feedback (20) :
Dear Lumo,
I will blame the missing proofreading for everything I dont understand (joking) ... :P ;) :D
Hi. Do you need to oxidize the matrix model to even higher dimensional gauge theories to describe compactifications of string theory to dimensions <10?
Hi Cyril, the BFSS matrix model may be oxidized up to 6 times to describe Mtheory on a ktorus up to k=6. For k=0,1,2,3, the matrix model is a conventional (k+1)dimensional gauge theory. For k=4, it's the UV completion of 5dimensional gauge theory, namely the 6dimensional (2,0) theory with all spatial dimensions toroidally compactified. For k=5, the 6dimensional gauge theory is UVcompleted to little string theory, a special nongravitational limit of string theory on NS5branes (or other definitions).
There is no known matrix model for Mtheory on T^6 or higher where the exceptional symmetry Uduality groups should emerge. The standard Seiberg(Sen) derivation leads nowhere because the Tdualiized D0branes are no longer the lightest degrees of freedom. One has to include D6branes as well and gravity doesn't decouple from the matrix model as a consequence.
Correspondingly and more generally, there's no known credible matrix model for string/Mtheory vacua with 5 or fewer large spacetime dimensions.
Thanks for the summary and the nice post.
BFSS and followups somehow didn't make it into my education, it should have. I'll read Nati's paper.
did you discover it before you started a PhD? did anyone advise you to work on this kind of thing? why do you think people with more experience on string theory did not discover this?
Lubos  how many of these dimensions are timelike? I suspect one; any reason for that choice?
Lightcone gauge only allows 1 time dimension. In a spacetime with 1 time dimension, there are 2 lightlike directions, one is chosen is a time and the other one is chosen as the dual of N, the size of matrices or length of strings (the longitudinal momentum).
This doesn't exclude the more general theories that would have more times. But they're probably unphysical, at least for macroscopic time coordinates, because they would contain closed timelike curves (circles in the plane spanned by any 2 times) and also lead to negativenorm states (from the other times that can't be killed by gauge invariance). These problems of 2time and higher theories are independent of lightcone gauge and matrix theory.
1) Yes. 2) No. 3) Because a) experience is far from enough, b) it was a new way of thinking about physics so experience was (even) more useless than usually, c) they really did discover if you believe they're honest about the credits, just 2 months later than me.
thanks.
Lubos,
I intuitively empathize with all the ‘not quite contented or confident’ sentiments you express in this (I hope especially noted by young string/Mtheory students/ budding developers) article of yours!
To be honest, it prompted me to think that you and your amazingly didactic and waspnest disturbing activities (both by me much welcomed) amount to something like a vitamin pill :>  especially one with lots of vitamin B compounds in it.
Actually I think I would not be completely wrong to also associate you with something like a huge packet of Berocca tablets. :)
I think my choice of B vitamins as the main ingredient of this my 'L.M. metaphor' is a good and hopeful one; This since a big dose of such vitamins are known to be able to bring people back from a state of stupor caused by them having been rendered deficient in such enzymes (a deficiency usually caused by their own bad eating and drinking habits). :)
Yours sincerely and cordially (as usual),
Peter
Hmm, Seems like the loons have access to the arxiv..
http://arxiv.org/abs/1305.3913
Dear OXO, the loons  and all other people  have always had a full reading and posting access to archives such as genph where this (ludicrous) preprint was sent.
I have a speculative question. Would it be possible, by using some mathematical analogies, to get another point of view about the standard quantum oscillator For instance, the energy of the quantum oscillator (minus the groundstate energy) could be modelized, going to continuous variables, as E(σ,σ') = δ′(σ−σ') ?
No, I think that there is nothing phenomenologically interesting about the 8D vacua.
In fact, I would say that even at the level of the matrix model, k=3 isn't too special. It's the highest k for which the model is an "ordinary Lagrangianbased" gauge theory but who cares? The k=4 and k=5 cases are naively nonrenormalizable field theories but string theory gives us unique UV completions instead, so these completions may become the definitions of the 5 and 6dimensional gauge theories, too. String theory doesn't really care whether some theory is described by the tools of a local quantum field theory or not.
The real qualitative change is between k=5 which is still OK and k=6 for which the matrix model doesn't exist anymore.
Dear Trimok, if you're asking whether the Hamiltonian may be written by its matrix elements in a continuous basis, of course that it can. We are doing it all the time.
For example, in the position representation, the harmonicoscillator Hamiltonian's kernel is the "continuous matrix"
H(x,x') = (kx^2) * δ(x−x') + (1/2m) * δ′′(x−x')
I was thinking about a discrete Fourier transformation between E_nm = n δ(n  m) and E(σ,σ') = δ′(σ−σ'), so the continuous part correspond to a torus.
Dear Trimok, the operator given by the kernel E(σ,σ') = δ′(σ−σ') has a spectrum that can be easily determined.
If sigmas are real numbers, it's just the operator of momentum which is any real number.
If the sigmas are defined with a periodic identification, i.e. each sigma lives on a circle, than E(σ,σ') = i*δ′(σ−σ')  I added the "i" to make it Hermitian  is the operator of the momentum on a circle whose spectrum is any integer (times 1/r),
That's a different spectrum than the spectrum of the harmonic oscillator Hamiltonian which is (n+1/2)*hbar*omega, effectively just nonnegative (not all) integers, so the spectra are completely different (one of them is bounded from below, the other is not, a huge difference) and the kernel you wrote down can't correspond to the harmonic oscillator Hamiltonian in any basis. Clear?
Speaking of Nati, his latest paper with Aharony is very interesting (and long).
Dear Lubos, what do you think about this: http://xxx.lanl.gov/pdf/1305.5547.pdf ? Would it be possible to do a similar stuff with BFSS ? Regards
Dear Numcracker, before going to BFSS, I would say that while I have doubts whether the IKKT model may consistently describe any stringy physics in any form, I feel almost certain that this particular paper  and many similar papers about the realization of various things in the IKKT model  is wrong.
Post a Comment