SPACE-TIME : ARENA OR ILLUSION - Stanford University

1 downloads 0 Views 3MB Size Report
SPACE-TIME : ARENA OR ILLUSION ?* VADIM KAPLUNCVSKY+ and MARVIN WEINSTEIN. Stanford Linear Accelerator Center. Stanford University, Stanford ...
SLAC - PUB July 1983

- 3156

T/E

SPACE-TIME

: ARENA

and

VADIM KAPLUNCVSKY+ Stanford Stanford

Linear

University,

OR ILLUSION

MARVIN

Accelerator

Stanford,

?*

WEINSTEIN

Center

California,

94 305

ABSTRACT

a-

This paper develops a framework

which allows us to treat the topology and

dimension of the space-time continuum

as dynamically

examples of quantum systems which are defined without which nevertheless undergo a transition

We present

a notion of space, but

to a space-time phase. The dimension

of the space is an integer valued order parameter

which characterizes

phases of a single system. We also show the interactions particles of the system are gauge-like.

generated.

distinct

between the low energy

Finally, we discuss the computability

of

Newton’s constant in this class of theories.

Submitted

to Physics Review D

* Work supported by the Department of Energy, contract D E - AC 0 3 - 7 6 S F 00 5 15 + Address after September 1, 1983: Department of Physics, Princeton University, Princeton, N. J. 08544

---.a,

1. INTRODUCTION Self-consistency

problems in many areas of physics have forced theorists to

try to achieve a better

understanding

scale. Such considerations,

whether

of phenomena

they have to do with the structure or with applications

early universe and the flatness problemf solving the hierarchy gravity

satisfactory

of quantum

field theory.

of the

of supergravity

necessitate that we learn to incorporate

problemf

into the structure

at, or near, the Planck

Unfortunately,

to

Einstein

to date, no

way of doing this has been proposed.

Many talented physicists have failed to solve the problem of renormalizing .--

conventional

field theory of gravity plus matter,

of “fine tuning” the cosmological constant. for a reappraisal sumptions.

and the concommitant

This paper presents the result of one such reappraisal. quantum

problem

For this reason we feel the time is ripe

of basic tenets with an eye towards eliminating

is a way of formulating

a

unnecessary asWe find there

field theory which violates our most cherished

beliefs and yet appears capable of describing physics as we know it. The notion abandoned

as superfluous

to a quantum

sional space-time continuum. out with a well-defined undergo a transition

field theory is that of the four dimen-

There seem to be quantum

systems which start

notion of time but no notion of space, and dynamically

to a space-time phase -

a phase in which the physics of the

low energy degrees of freedom of the system are best described by an effective Lagrangian

written

in terms of conventional

notion of the four dimensional

relativistic

space-time continuum

fields. In this sense, the as the arena within

which

the game of field theory is to be played is replaced by the notion of the space-time continuum

as an illusion of low-energy dynamics.

On the face of it the idea that one can abandon relativity 2

and the space*--.a,

time continuum

as superfluous

baggage seems ridiculous.

For this reason we

begin with a discussion of some of the ideas which led us to this approach. go on to describe the class of Hamiltonians

We

suggested by these considerations,

and present the methods we will use to analyze such systems. In particular, anticipate

results of the sections to follow and discuss the notions of dimension

and scattering time.

we

for a theory formulated

The next section introduces

without

reference to an underlying

space-

simple examples and argues that for these

examples low energy physics is correctly described by effective lfl-dimensional relativistic obtaining

field theories. This is followed by a section devoted to the problem of higher dimensional

space-times.

-I- lead to effective 2 + 1 and 3 + 1 relativistic this problem

is solvable.

time dmensions, internal Hamiltonian.

We present toy Hamiltonians

which

space-times, thus demonstrating

We also discuss the relationship “flavor” symmetries,

that

between the space-

and of possible phases of a given

The last section summarizes results and presents a list of caveats

and speculations about those aspects of the problem not yet studied in detail.

2. FUNDAMENTALS 2.1

MACH'S

PRINCIPLE AND THE COSMOLOGICAL CONSTANT.

A suggestive way of looking at the problem of “fine tuning the cosmological constant”

is that it might be related to the fact that the Einstein theory does

not successfully embody Mach’s principle:

which asserts that the local inertial

properties

by the other (in particular

matter

of matter

should be determined

in the universe.

a “test particle”

distant)

This assertion implies that in a really empty universe

should not know how to move; as a corollary, 3

an empty space ---.*

should have no geometry

at all. On the other hand, the Einstein equations allow

for a Aat space geometry

in a universe devoid of matter and radiation. This failure of Einstein’s theory to incorporate

Mach’s principle

is likely to

be related to the problem of “fine tuning” the cosmological constant, which arises when one attempts

to couple quantum matter fields to general relativity.

Quan-

-I- turn fields generally have a non-zero vacuum energy, whose contribution

to the

energy-momentum

tensor is equivalent

Unless this contribution mological a tightly

constant,

i.e. “fine tuned away”, Einstein’s

space-time curls up into

In contrast to this situation,

a theory which obeys

and yields no geometry at all for a truly empty space, i.e. de-

void of even quantum fluctuations, effects are taken into account. natural solution.

constant.

is precisely cancelled by an equally enormous bare cos-

curved manifold.

Mach’s principle

to an enormous cosmological

might yield a flat geometry tll when quantum

In this case the flatness problem would have a

However, now we have to solve another problem:

How to arrive

at such a desirable state of affairs? As a starting point we focused upon the fact that our ideas of space-time are derived by carrying

out measurements with clocks and rulers, the latter being

replaced by radar sets in more modern expositions

of the subject!

In other

words, our notions of space and time are the result of carrying out a large class tfl We mean, a flat geometry for the background space-time metric of the low-energy physics. 4

of scattering

experiments.

The necessary input to this constructive

approach is

the existence of some objects that can be scattered and a Hamiltonian describes the scattering process. Space-time, if it is an appropriate low energy physics, then emerges as a construct.

which

description of

This sort of argument naturally

leads us to inquire as to what role the coordinates

x,, play in conventional

field

theories. 2.2

WHAT ARE THE

x,'s?

Space-time is usually treated as an arena for dynamical

theories, even when

one takes into account the Einstein approach to gravity as geometry. 2- appreciate theory. written

this fact, let us reexamine the usual formulation

The Hamiltonian

for a self-interacting

To better

of quantum

field

scalar field in m-dimensions

is

as H=

I12(x) + pq2

What is the significance

of the variables

(x) + v (Q(z))]

(2-l)

*

5,’ which appear in this formula?

At the level of the canonical commutation

relations the xP’s are nothing but labels

for independent operators Q(x) and II(x) which define the theory. A priori

there

is no reason for xP’s to have anything to do with space and time. However, the way the gradient terms appear in (2.1) ensures that space-time defined by this Hamiltonian

leads us back to the same xP’s (up to a Lorentz transformation).

This rather non-trivial and diflerentiable

result implies that a preconceived notion of the topological

structure

is associated with the underlying

variables

and that

certain aspects of xP’s must be taken into account before we define the quantum problem.

In fact, great care must be taken in renormalizing

the theory so as not

to do great violence to this relationship. 5

*_ -.a,

At first glance Einstein’s theory takes care of these troubles.

In this case we

consider an action of the form

L =

which is invariant

/

dmx e

[ R(X)

+ matter terms ]

with respect to arbitrary

coordinate

(24

,

transformations

of the

variables xP. This invariance seems to reduce the significance of the xP’s to their role as labels for independent

quantum

degrees of freedom.

point of view this approach has another beautiful the background

From a heuristic

property

to recommend it: if

metric of space-time arises as a dynamical

effect, then there is

2a natural

reason why the space-time reconstructed

must come out intimately relativity,

from scattering

experiments

related to the variables xP. The equations of general

and therefore the Heisenberg equations of the quantum theory (assum-

ing that the theory can be quantized) form a set of hyperbolic equations.

It is known5

that for this set of differential

partial differential

equations the causal

hypersurfaces of the combined system of fields are determined persurfaces of the universally

by the causal hy-

coupled spin-two field, i.e. gPv . ( By the causal

surfaces of the fields, we mean the submanifolds the fields may be discontinuous,

of the space-time across which

i.e. the light cones of the theory. )

It follows

that if gPV develops a ground state expectation value, iPV, then solving the quantum problem for the matter fields will reconstruct those specified by iPV. If in particular by scattering

a theory whose light cones are

ijPV = qllV, the space-time constructed

the matter fields will be the desired Minkowski

to be a highly attractive theory; unfortunately

scenario, modulo difficulties

in defining the quantum

this heuristic picture isn’t completely 6

space. This seems

correct. ---.a,

Although

going over to the Einstein theory of gravity removes the geometri-

cal significance of the coordinates

xcL, the fact that they specify the differential

topology

In other words, although

of the system remains.

tance has become a dynamical

concept, we still need to introduce

of ‘neighborhood’ and ‘deriuatioe’ as primitive, assume the xP’s to be coordinate a certain topological primitive

a differentiable

structure

the notions

i.e. undefined, terms.

patches on a certain manifold,

and differentiable

notion of differentiability

or a Hamiltonian,

the notion of dis-

When we

we establish

for the -space-time.

Since the

must be defined before we specify an action

the assumption that we are dealing with a theory defined on manifold carries non-trivial

content.

.- 2.3

BASICS.

Motivated

by these considerations, we explore the question of whether formu-

lating a theory so that the analogs of the xP’s are reduced to labels for quantum degrees of freedom6 Mach’s principle

will allow us to progress towards the goal of incorporating

into field theory. We begin by introducing

J =

We then introduce

(l:l=l,...,N)

a set of quantum

“harmonic

.

oscillator”,

ables II(Z) and Q(Z) , satisfying canonical commutation

and multicomponent

an indexing set

or “bose field”, vari-

relations

“Fermion field” variables \E, (1) and X4!/:(1) , satisfying canon7

*--.a,

ical anti-commutation

Intuitively,

relations

these quantum degrees of freedom are to be thought of as playing the

role of site variables in some sort of lattice field theory. In addition to these site fields we also introduce link j&Z&, which for the sake of definiteness we choose to be harmonic oscillator variables Pap and XaP (lm) ’ The Um) notation ‘(Zm)’ is introduced to stand for an arbitrary pair of integers I, m E J, ordered such that 1 < m. These link fields are assumed to satisfy the canonical .-- commutation

relations

The role of the link fields is to provide dynamical

variables which allow us to

write the analogue of a kinetic term for a Hamiltonian notion of differentiation

or even neighborhood

without

to be defined.

Starting with these objects we consider a Hamiltonian

H

=

c

[$ H”(Z) + Xfm@(I)

- iXl,a

a(m)

of the form

+ V(Q(Z))

{ Q+(Z) K@(m) -

‘E+(m) Q(Z) }

+ f P”r,, Note, to simplify

requiring that the

the discussion we will temporarily

+ v (- * - X(1,) * * *) ]

.

treat the fermion fields as

one component objects and drop the Dirac indices CYand /3. We also introduce a 8

---.a,

matrix

notation

for the variables X(lm):

Xl,

and define X”,

=

- Xml

X(1,)

for

1< m

,

Xtrnl)

for

m < 1

;

1

=

(2.4)

to be Xfm

=

c &k kcJ

As it stands, (2.3) is the Hamiltonian

Xkm

-

(2.5)

of a complicated

quantum mechanical

system all of whose couplings, for want of a better choice, are assumed to be of order unity. .--

The idea we wish to pursue is that, for some dynamical

subset of the variables X(1,) expectation

acquire non-vanishing

_ the system and, to the extent that fluctuations map the matter

the derivative

sort

of lattice

forms?“.

The terms involving

values are identifiable

term in this effective lattice Hamiltonian.

X(lm) ?“, and “What

fields” in

in the fields X(1,) can be ignored,

expectation

drives the dynamical generation

in the fields

for the “matter

problem into some sort of lattice theory.

variables X(lm) which have non-vanishing

are: “What

ground state (i.e. vacuum)

values X(lrn) . When this occurs, the terms quadratic

6(l) and K@(Z)yield a solvable zeroth order Hamiltonian

reason, a

of expectation

as

Two main questions values of the fields

While the meaning of the first

question is self-evident, the second merits a brief discussion. If the ground-state

of a Hamiltonian

to the vanishing vacuum expectation geometry (or effective lattice theory) -

of the form defined in (2.3) corresponds value of the fields Xtlrn) , no zeroth order reasonable or unreasonable -

forms. In

other words there is no sense in which the matter fields scatter in a background determined

by the vacuum expectation

acts on an equal footing

value of the link fields; everybody inter-

with everyone else. On the other hand, if a pattern 9

*--.a,

of vacuum expectation

values does develop, then there is a zeroth order matter

field theory whose arena of definition non-vanishing

expectation

values.

is specified by those link variables with

Our problem is to determine

if there is any

reasonably simple way of choosing terms for (2.3) so that the resulting becomes equivalent proximating

to a Hamiltonian

that of a relativistic

lattice theory with dynamics closely ap-

continuum

theory.

to show that for a large class of Hamiltonians second possibility

The aim of this paper is

of the type specified in (2.3), the

is realized. In addition, we will show that simply by increasing

the number of degrees of freedom the resulting approximate

theory

a relativistic

continuum

lattice theory can be made to

theory arbitrarily

well.

.a2.4

BISONS

VERSUS FERMIONS AS FUNDAMENTAL

Before discussing specific calculations,

BUILDING

let us see if we can intuitively

derstand those aspects of the theory which control the dynamical ground-state v(*‘*X(lm)

expectation values for link-variables. *.‘)

9

can determine

BLOCKS un-

generation of

Obviously the potential terms,

whether the theory develops non-zero expecta-

tion values of the link variables; however the vacuum energy of the matter fields can play a similar

role.

The possibility

generation of non-vanishing

that matter

link-field expectation

spective of the details of the link Hamiltonian, we will argue this possibility tem are fermionic.

is very appealing.

In a moment

matter fields in the sys-

we will find that fermionic

stabilize the resulting space-time structure link variables.

values by themselves, i.e. irre-

is realized if the dominant

Unfortunately

fields cause spontaneous

fields alone cannot

against quantum fluctuations

This will lead us to consider generalized plaquette

of the

terms in the

--

link-field t

potential

(we will define them later), which can produce stable space10

*--.*

times. These generalized plaquette terms will play a crucial role when we address the question of obtaining

3+1-dimensional

space-times, and when we discuss the

way in which these theories generate effective low energy gauge theories. Despite the fact that the matter fields cannot, by themselves, play the decisive role in determining

the structure

of space-time, it is pedagogically

advantageous

for us to begin our discussion of the general theory with an analysis of the role they play. This will allow us to introduce, important

but unfamiliar

in the simplest context, most of the

concepts we will need in the discussions to follow. Let

us begin by focusing on the effective quadratic problem defined for the fields 9(Z) in (2.3). Since we are dealing with Bose fields, their contribution

to the vacuum

-I- energy is & boson = -

--

fc+:

7

P-6)

where by 6~ we mean the eigenvalues of the matrix familiar

. ( This is just the

sum over the zero-point energies of a set of independent harmonic oscil-

lators. ) The contribution expectation

coming from (2.6) is a positive function of the vacuum

values xflrnj , and is minimized when all EA’Sare equal to zero. This

occurs if and only if the ground-state vanish.

x:m

expectation

values of the link-variables

Hence, the Bose site fields play no interesting

role in our problem and

we will ignore them in all discussions to follow. The situation

is quite different for fermions because their contribution

vacuum energy is negative. Computing energy reduces to diagonalizing -

I.

By definition,

iXl,

the matrix

the fermionic contribution

to the

to the vacuum

the quadratic form

- [Q!+(Z) Q(m)

of expectation

-

‘E+(m) Q(Z)]

.

values Xlm is antisymmetric; 11

(2.7)

hence, it

has an equal number of positive and negative eigenvalues (it may have some zero eigenvalues as well).

Since the ground state of the theory is obtained by filling

the negative energy sea, it follows that the fermionic contribution

to the vacuum

energy is the sum over the negative eigenvalues of Xlrn , or

&fermion =

From (2.8) we see that even if the potential ical generation

of non-vanishing

(2.8)

-&q.

terms in (2.3) do not lead to dynam-

vacuum values for link-variables,

the fermions

perforce generate such an effect. What we have to study is whether the fermionic -I- contribution

alone is sufficient to stabilize the effect against quantum fluctuations

of the link variables.

2.5-

LINK MEAN FIELD THEORY.

Assuming that our generic Hamiltonian we turn our attention ing the properties

only includes link and fermion fields,

to the tools we will use to analyze the theory.

of the ground-state

the Bose-fields, is an extraordinarily proach is to adopt a variational

of a Hamiltonian

problem.

Our ap-

technique which has proven to be quite effective

this method, a variant of the familiar

Rayleigh-Ritz

mean-field theory.7 While variational

successful when applied to the calculation

the order of a phase transition,

like (2.3), even without

difficult non-perturbative

when applied to lattice systems, namely, Hamiltonian

particularly

Determin-

technique, is not

of critical

exponents or

it is usually quite successful in determining

what

phases exist. Since this is the only way in which we will apply this method, we feel comfortable

using it in its simplest incarnation. 12

---.w

The approach, as we will implement

it, is to choose as a trial wave-function

for the ground state of (2.3) ( minus the Bose fields) a product state of the form

I’,)

= n exP (Vm)

The variational

parameters

a ( x(lm)

appearing

C(lm) , which determine the expectation

-

-

’ [*fermion)

C(lm))2)

in the wave-function

P-9)

are: the variables

values of the operators X(lm) ; the vari-

able 7, which determines the width of the gaussians, and therefore the expectation value of operators such as P$,,

and ( Xflm, - C6m, ) ; and the unspecified state

I*fermion ) . To determine whether or not the link variables have non-vanishing expectation

values in the ground-state

of the system we simply compute the ratio

.---

&effec the ( C(lm) 9 7 9 I*fermion) ) = _

and minimize it as a function 2.6

(Q’varlH 1%x) (*varlQvar)



(2.10)

of the parameters C(lrn) , 7 and I\kfermion) .

SCATTERING PROBLEM.

What do we mean by discovering a scattering problem hidden within the theory specified by Hamiltonians

of the form (2.3) ? Our approach is quite straight-

forward and not necessarily the most general one; nevertheless, it will suffice for our purposes. We will show that for the cases of interest there exists a function F(Z,S) of the E UCl’1d ian coordinates 5 and points 1 E

J,

which allows us to define

,

(2.11)

the effective fields @I(5) as Q(Z)

= c

F( Z,Z)xlqZ)

IEJ

such that they have canonical equal time anticommutation of infinite .-

number of quantum

degrees of freedom. 13

relations in the limit

Furthermore,

we will show

that the quadratic

part of the effective fermionic

Hamiltonian

can be written

in

terms of Q’(Z) as H fermion =

Given these “continuum” Q(

.

(2.12)

fermionic fields, we define the time dependent operators 3,

and use these operators

dxXD+(Z) r;-a’,Kl!(Z) I

t )

=

e-itHfermion

\zl(,jZJ

(2.13)

eitHfermion

to define wave packets and scattering

states, etc. The

fact that the Heisenberg equations of motion for these fields comes out to be the usual relativistic

equations guaranties that the space-time reconstructed

using

.-- them will be of the desired type and that its dimension will be (d + l), where .‘J

Edis the dimension of the variables 5, provided the residual interactions the effective low energy degrees of freedom look approximately -

x-coordinates.

interactions,

it is worth

answers to the question of the

noting that there are in principle

in which they can be approximately continuum

local.

IG-/11dxi i

@t(xI)

*(x2)

where the support of the function

!& =

{(~1,x2,-~,

for interactions

two ways

In any lattice approximation

theory there appear non-local, non-linear

One possibility

local in the same

It remains to be shown that this is the case.

Despite the fact that we have no definitive residual

among

interactions

. . . \E(x%) - A(x1,x2,.

. . ,x,)

to a

of the form ,

(2.14)

A (xl, x2,. . . , xn) extends over a set

x,):

(xi-xj(

16

for i,j=l,...,n)

(2.14) to look approximately

local is to include

only terms with small values of 6 (as measured in the physical units), 14

so that ---.w

all violations

of locality occur at separations too small to have been resolved to

date. The second possibility have very small magnitude

allows for large values of 6, but only for terms which IC. These terms are potentially

more dangerous, since

if the support of A(xr, . . . , xn) extends over the whole set, then the magnitude of K must be very small.

3. TWO-DIMENSIONAL 3.1

THE SIMPLEST SPACE.

To get a feeling for the variational .--

SPACETIMES

discuss the results of such a calculation,

procedure and the way in which we will let us begin with the simple Hamiltonian.

,i

H = C [ : P{,)+ c Xbrn) - ix(lm) -{ Q+(l) Q(m) -

.

Q+(m) *l(Z) }]

_ W (3.1)

The virtue

of this Hamiltonian

using straightforward uninteresting.

is that we can completely

analyze our problem

analytic techniques; the drawback is that the results are

Using the general trial wavefunction

-ic(lm)

specified in (2.9), we obtain

‘( \k fl Xl?+(Z)Q(m)

-

KP+(m) Q(Z) I!Pf) ]

.

(3.2)

The variation

over 7 is easily carried out, yielding rrnin = p, which leaves us

with the problem of minimizing J

over the class of all purely fermionic

IKPf). Since the fermionic term in (3.2) is purely quadratic Iqf)

is obtained

in the fields, the best

in the usual way, namely by diagonalizing 15

functions,

the matrix

Ctlrn) , ‘--.a,

expanding

the fields Q!(1) in terms of the eigenfunctions

UX(Z) and filling

the

negative energy sea. To be specific, if the normalized functions UX(Z) satisfy

where icx are the eigenvalues of the matrix Cl,, combinations

we introduce orthogonal

linear

of the operators Xl?(Z)

xP(X) = c

u;,(Z) Q(Z)

In terms of these operators the fermionic Hamiltonian

where the variables *t(A) as the original

.

can be written

and @(A’) satisfy th e same anti-commutation

fields. If we define IO) to be the state annihilated

operators Xl!(X), then the ground state of the Hamiltonian applying to it all of the operators *t(A)

as

relations

by all of the

is obtained from IO) by

f or which the eigenvalue EA is negative.

The ground state energy is

& vacuum

Returning

=

-:c,&

(3.3)



to the discussion of (3.2), we observe that the matrix

Cl,

is an-

..tisymmetric -

and can, by means of a real similarity 16

transformation,

be brought ---.a,

into the form

It then follows that the variational

energy can be written

as

(*,,I H Iflj’,) = “‘“s- ‘) - (7 + %> + $ c c”x---f c fi x x

- c3s5)

From (3.5) it is clear that not only does the variable 7 come out independent N, but that the minimum *-

mon N-independent advertised,

is achieved when all of the eigenvalues have the com-

absolute value 1~1~1= fip2.

the fermionic contribution

This analysis shows that, as

to the ground state energy forces at least

some link variables to develop non-zero vacuum expectation tion “to what space-time

of

does the resulting

values. The quescan be partially

theory correspond?”

answered by saying that to the degree this theory has a space-time, its dimension is 1 + co. Let us explain this rather cryptic remark. Following the discussion in the preceding section, we extract the space-time dimension from knowledge of the energy spectrum by inverting transform

procedure.

fermionic

Hamiltonian

so a d-dimensional

the usual Fourier

This works because it is in the momentum (2.12) is diagonal.

Hamiltonian

For a massless theory

basis that the c(k) = fl,

has a density of eigenstates which behaves like

P(E) 0s: ft‘-’ - Hence, if we order the eigenvalues of the fermionic Hamiltonian

Cl,

in ascending value and plot them versus the integers j = -n, . . . , nf2 we can read off the dimension from the detailed shape of the plot:

in a d-dimensional

case

-112We have chosen an odd N = 2n + 1. .-

17

‘--.a,

c(j) is proportional

to fi.

It follows that as d + 00 the energy c(j) tends to

the same value for all positive j ; hence this simple system is infinite-dimensional. There are two major lessons to be extracted behuue us expected and cause the vacuum

from this exercise: first, fermions

expectation

to become non-zero;

and second, jermions

to high dimensions.

The real problem is to understand

value of the link variables

by themselves tend to push the system

how to get a reasonable

system of low space-time dimension.

3.2

MAKING

A ONE-DIMENSIONAL

SPACE.

The results to be presented in the rest of this paper were obtained by means of a mixture

of numerical and analytic techniques. Although

the results of analytic

methods alone would suffice at this stage of the discussion, we feel that comparing them with the results of computer calculations may lead to some useful insights. Moreover, some of the speculations which are presented in the last section of this paper are based solely on the computer

results obtained for small N.

For this

reason we have chosen to present the material to follow in semi-historical

fashion.

Inspection of the simple Hamiltonian come out equal in absolute magnitude: of the matrix matrix

Cl,.

the vacuum energy is a sum of invariants

The term multiplying

Cfrn , and the fermionic

determinant

(3.1) reveals why the eigenvalues tend to

the variable p2 is the trace of the

energy is proportional

to the logarithm

of CFrn . This leads to the conjecture that the situation

if one destroys this property

of the Hamiltonian,

of the

will change

and a more connected pattern

..of vacuum expectation .-

values will develop. In order to test this hypothesis we 18

---am

study a slightly more complicated

H

=

C

[i’l$m)

+

VxT[m)

Hamiltonian,

-

ix(lm)

‘{

namely

Q+(Z) Q(m)

-

Q+(m)*(Z)

} ]

.

(14 P-6)

We are interested (3.6).

in this problem for r > 1, since the case r = 1 reduces to

Our early attempts

the parameter

to understand

this problem began by assuming that

7 in our trial wavefunction

was large and constant.

studied the vacuum energy of the system as as function alone. In this case finding the minimum

We then

of the parameters C(lm)

of the function

P-7) is no longer a procedure which can be carried out analytically: _

unlike the pre-

ceding case, the term

cannot be expressed as a function

of the eigenvalues alone. For this reason we

turned to a computer analysis of the problem for values of 11 < N 5 121. This analysis led to the surprising imized (3.7) h ave non-vanishing

result that the configurations

vacuum expectation

which min-

values of all link variables

Xtlrn) ; moreover, absolute magnitudes of the expectation values tend to be equal:

lvaclx(lm)

Ivac>=

&x.

On the one hand, this means that our original conjec-

ture was correct and breaking the invariance of the Hamiltonian mation of more interesting these configurations able lattice theory.

highly connected configurations;

forced the for-

on the other hand,

seem to have nothing in common with any easily recognizOn the contrary,

these systems appear to describe a set 19

of fermions living upon what a mathematician

would call an “N-simplex”

i.e.

an object for which every point 1, is a nearest neighbor of every other point 1’. Naively an object of this sort appears to have dimension (N - 1). At this point, it is important

to recall that the dimension of the corresponding

space-time picture can be obtained only from an investigation eigenvalues of the matrix

of the spectrum of

I vat). In order to better understand

(vacl X(1,)

what is

happening we must study the spectrum of eigenvalues for fermionic Hamiltonians of the form H*elmplex =

t-Ix

c(lm)

’ { *+Cz) *trn)

-

*+Crn)

*Cz) }

9

(3.8)

(14

*-

where the variables C(lm) are randomly carrying

assigned the values f 1. The result of

out this eigenvalue analysis on a large sample of matrices

is the re-

markable fact that over most of its range, the spectrum of eigenvalues is linear when plotted

versus the integers i = -n, . . . , n.

our intuition,

theories defined by Hamiltonians

equivalent to 1+1-dimensional Understanding

of the type specified in (3.8) are

It is obviously impossible to diago-

matrices of type (3.8) f or arbitrary

be absolutely sure that we are dealing with 1+1-dimensional basis of computer

calculations

to

field theories.

the Pattern of Eigenvalues.

nalize all antisymmetric

This means that, contrary

large N, so we cannot object solely on the

for N 5 121. However, Dyson’s results’ con-

cerning the behavior of eigenvalues of random matrices enables us to understand our computer

results and to explore the pattern

of eigenvalues for almost all

matrices C(lm) . Our problem is to find the distribution matrix,

whose [independent]

matrix

of eigenvalues for a real antisymmetric

elements are essentially 20

random.

Let us *--.a,

follow F. Dyson in our definitions:

a random antisymmetric

element of an ensemble AG of all real antisymmetric with a gaussian probability

* * * A(2n,2n+l)

PC 41,2)

1 =

matrix

(2n + 1)

x

is a random

(2n + 1) matrices

distribution

c

exp

[ -

c

( A$,m)b2)

] dJ4(1,2)

3

- - - dA(,th,,tL,l)

(km)

where a and C are constants.

The major result which we will need for our

discussion is the following Theorem

I:

whose probability

A random element of AG has eigenvalues distribution

1

.dEl...dE,

i=l

distribution

.

P , we can compute the function of inter-

est, namely the eigenvalue density p(E)

which tells us the expected number of

[ E, E + dE ] . Th’IS eigenvalue density (i.e. density of

states) can be found by Dyson’s method and in our case of an imaginary symmetric

f”

1 -g(E:/4z2)

eigenvalues in the interval

, . . . , GE,

is given by

P(El,...,

Given the probability

0, fiEl

(2n + 1) X (272 + 1) matrix,

anti-

all of whose entries are 31, it comes out

to be

and vanishes for 1E 1 2 fi

. ( See the appendix for a simple derivation of p(E)

due to Brezin, Itzykson and Zuber. ) The spacing between eigenvalues is given fl3 This is the case for any real antisymmetric (2n + 1) .-

21

x

(2n+ 1) matrix. ‘--.a,

1 &GFTF

= -.47rn

A(E) = 1

2n+l

P(E)



which in the large n limit becomes

A(E)

=

&.

(1

- ?J-1’2

.

We see that near E = 0 eigenvalues are spaced fairly uniformly, endpoints

of the spectrum

the spacing becomes thinner.

but near the

These results are in

complete agreement with the numerical results. .s- Why Is This a One-Dimensional

Space ?

The Dyson calculation

tells us that

our computer result is not an artifact of small n, but a behavior one expects to hold for n + 00. For energies small on the scale of fi -

eigenvalues are uniformly

spaced; therefore the index j = -n, . . . , n , which labels them, can be interpreted as a momentum

variable for an effective one dimensional theory. In order to make

this interpretation

more physical, let us multiply

scale factor A =

a& ’ having the dimension of a mass. Then we can write the

spectrum of eigenvalues which are relatively

the Hamiltonian

(3.8) with a

close to zero as

,

(3-g)

where k=?!

L’f

* ,

j =

and

-n,...,n

Momenta defined by (3.10) are characteristic defined in a spatial volume L. Equation 22

L=&Q

for l+l-dimensional

.

(3.10)

lattice theories

(3.10) allows for maximal

momentum

w h’lc h corresponds to the lattice spacing a = r/k,,,

2*n = ffi-A, k moz = 7;ucd-.

As we take the limit n +

the equivalent volume.

00, the ratio of L to a grows like n, and

lattice theory passes over to a continuum

theory defined in infinite

This limit is only unusual in that the lattice theory simultaneously

both finer and larger, as measured in units of the scale parameter The explicit

unitary

mapping

of the N-simplex

theory

given: we define transformed Q(x)

= Ali2

c

gets

A.

into an equivalent

lattice theory whose kinetic term is given by a generalized SLAC-derivative now be explicitly

=

can

fields Q(z) as

eizk(j) U;(Z) X4(1) ,

(3.11)

1EJ -n 1 the energy of the highly connected configuration grows like n to a power between unity and 3/2; whereas for the simpler configuration

it only behave like n. This explains why the numerical

select the highly connected configurations not important

if we allow C(l,) *a-

over the less connected ones. It is also

do not vanish. Numerical

that all C(i,)

calculations

computations

show that

to take the values &C and 0 with varying probabilities,

one-dimensional

the

nature of the spectrum remains intact when as many as forty

percent of-the variables C(lrn) vanish. What About Fluctuations -

-

in the Link Variables ? Up to this point we have been

interested in establishing the relationship

between numerical studies and the anal-

ysis based upon Dyson’s theorems for random matrices.

Having seen that these

techniques reproduce all of the essential features of the computer results obtained for small values of n, we now return to the question of how quantum fluctuations in the link-field r-dependent

variables affect our conclusions.

This means restoring all of the

terms to our expression for the expectation

nian. For the case r = 2, i.e. the case of a Hamiltonian in the fields X(l,),

& =

n(2n+

this expectation

1).

;+-+-

where cy is an undetermined Inspection

value of the Hamilto-

having a quartic potential

value has the form

671

6t-j c2

4r2

2-t

+ qC-

1

constant of proportionality

-

aCn3/2

,

(3.16)

of the order of unity.

of (3.16) reveals that in the limit of large n, the variable 7 tends to 25

a constant value and ?? tends to zero. This means two things: case reduces to an effective “infinite fluctuations

dimensional”

theory; and second, that the

in the field dominate the vacuum expectation

to an n-independent

first, that this

values, since 7 tends

constant but c vanishes in the limit of large n. For this

reason we will refer to this case as being fluctuation

dominated.

We can rescue all of our previous results if we extend our basic Hamiltonian to include what we will call generalized plaquette

terms, ;.e, if we add to (3.6) a

term of the form vAangle ,

which is independent

=

-

C k