CAUSAL SET APPROACH TO DISCRETE QUANTUM GRAVITY
|
|
- Rebecca Hampton
- 5 years ago
- Views:
Transcription
1 CAUSAL SET APPROACH TO DISCRETE QUANTUM GRAVITY S. Gudder Department of Mathematics University of Denver Denver, Colorado 80208, U.S.A. Abstract We begin by describing a sequential growth model in which the universe grows one element at a time in discrete time steps. At each step, the process has the form of a causal set and the completed universe is given by a path consisting of a discretely growing chain of causal sets. We then introduce a quantum dynamics to obtain a quantum sequential growth process (QSGP) which may lead to a viable model for discrete quantum gravity. A discrete version of Einstein s field equation is derived and a definition for discrete geodesics is proposed. A type of QSGP called an amplitude process is introduced. An example of an amplitude process called a complex percolation process is studied. This process conforms with general principles of causality and covariance. We end with some detailed quantum measure calculations for a specific percolation constant. 1 Introduction The causal set approach to discrete quantum gravity is an attempt to unify general relativity and quantum mechanics [1, 8, 9]. These two theories are quite different and it is not at all clear how such a unification is possible. This question has been investigated for about 80 years and is probably the greatest unsolved problem in theoretical physics. Briefly speaking, quantum theory is based on the study of self-adjoint and unitary operators on a complex Hilbert space, while general relativity is based on the study of smooth curves and tensors on a 4-dimensional, real, differentiable manifold M with a Lorentzian metric tensor g µν. 1
2 We first examine M more closely. For each a M there is a forward light cone C a + M consisting of points in the future of a that a can communicate with via a light signal. If b C a + we say that b is in the causal future of a and write a < b. Then (M, <) becomes a partially ordered set (poset); that is, a a (irreflexivity) and a < b, b < c imply that a < c (transitivity). We call (M, <) the causal structure on M. To remind us that we are dealing with causal structures, we call an arbitrary finite poset a causal set (or causet). Investigators have shown that the causal structure completely determines M [8, 9]. That is, < determines the topology, differential structure, smooth functions, dimension, line and volume elements and tensor g µν for M. We can therefore forget about the differential structure of M and only consider the poset (M, <) which is clearly a great simplification. In comparing quantum mechanics (especially quantum field theory) and general relativity, we notice one important similarity. They both contain many singularities and the theories break down at small distances. This indicates that quantum mechanics should be based upon a finite-dimensional complex Hilbert space and that general relativity should be discrete with a minimum distance which we take to be a Planck length l p cm. and a minimum time which we take to be a Planck instant t p sec. Beside discreteness, a second motivating feature of the causal set approach is that the universe is expanding both in size and in matter creation. These features suggest that we should consider a discrete sequential growth model. In such a model, the universe grows one element at a time in discrete steps given by Planck instants. At each step, the universe has the form of a causet and the completed universe is given by a path consisting of a discretely growing chain of causets. We then introduce a quantum dynamics ρ n, n = 1, 2,..., to obtain a quantum sequential growth process (QSGP) which may lead to a viable model for discrete quantum gravity. The dynamics ρ n is given by a positive operator on the Hilbert space of causet paths of length n. The operators ρ n are required to satisfy certain normalization and consistency conditions. At this stage of development, the precise form of ρ n is not known. However, a discrete version of Einstein s field equation is derived and it is possible that ρ n can be specified by determining whether this discrete equation is approximated by the classical Einstein equation. We also propose a definition for discrete geodesics. Although various constructions of a QSGP ρ n are known [2, 3, 4], we now introduce a particularly simple type called an amplitude process. An example of an amplitude process called a complex percolation process is studied. 2
3 This process conforms with general principles of causality and covariance. Some detailed quantum measure calculations for a specific percolation constant are performed and some geodesics are briefly examined. 2 Sequential Growth Model Let P n be the collection of all causets of cardinality n, n = 1, 2,..., and let P = P n. Two isomorphic causets are considered to be identical. If x P and a, b x, we say that a is an ancestor of b and b is a successor of a if a < b. We say that a is a parent of b and b is a child of a if a < b and there is no c x with a < c < b. We call a maximal in x if there is no b x with a < b. If x P n, y P n+1, then x produces y (and y is a product of x) if y is obtained from x by adjoining a single element a to x that is maximal in y. Thus, a is not in the causal past of any element of y. If x produces y, we write x y. The transitive closure of makes P into a poset and we call (P, ) a sequential growth model. A path in P is a string (sequence) ω = ω 1 ω 2, ω i P i and ω i ω i+1, i = 1, 2,.... An n-path is a finite string ω = ω 1 ω 2 ω n, where again ω i P i and ω i ω i+1. We denote the set of paths by Ω and the set of n-paths by Ω n. If x produces y in r isomorphic ways, we say that the multiplicity of x y is r and write m(x y) = r. For example, in Figure 1, m(x 3 x 6 ) = 2 and multiplicities greater than 1 are designated. To be precise, the different isomorphic ways requires a labeling of the causets. This is the only place we need to mention labeled causets and we otherwise only consider unlabeled causets. We think of a path ω Ω as a possible universe (universe history) [2, 3, 4]. For ω = ω 1 ω 2, ω i P i represents a universe at Planck instant i. This gives a growth model for the universe [6, 9, 10]. The vertices of the causet ω i represent a space-time framework (scaffolding) at step i (instant i). A vertex may or may not be occupied by a point mass or energy. Figure 1 gives the first four steps of the sequential growth model representing possible universes. The vertical rectangles represent antimatter causets, the horizontal rectangles represent matter causets and the circles represent mixed causets. For a discussion of these types, we refer the reader to [4]. 3
4 x9 x10 x11 x14 x12 x13 2 x4 x5 x2 x15 x16 x6 x1 x17 x18 2 x7 2 Figure 1 x19 x3 x20 3 x21 x8 3 x22 x23 x24 4
5 We use the notation A n for the power set 2 Ωn, n = 1, 2,.... For x P i we use the notation x = {y P i+1 : x y} and for ω = ω 1 ω 2 ω n Ω n we write Finally, for A A n we define ω = {ω 1 ω 2 ω n ω n+1 : ω n ω n+1 } A n+1 A = (ω ) A n+1 ω A The set of paths beginning with ω = ω 1 ω n Ω n is called an elementary cylinder set and is denoted cyl(ω). If A A n, then the cylinder set cyl(a) is defined by cyl(a) = cyl(ω) Using the notation ω A C(Ω n ) = {cyl(a): A A n } notice that if A C(Ω n ), then A = cyl(a 1 ) for some A 1 A n so A = cyl(a 1 ) C(Ω n+1 ). We conclude that C(Ω 1 ) C(Ω 2 ) is an increasing sequence of subalgebras of the cylinder algebra C(Ω) = C(Ω n ). For A 2 Ω we define the set A n A n by A n = {ω 1 ω 2 ω n Ω n : ω 1 ω 2 ω n ω n+1 A} We think of A n as the step-n approximation to A. Notice that A n is the set of n-paths whose continuations are in A. 3 Quantum Sequential Growth Processes Denoting the cardinality of a set A by A, we define the Ω n -dimensional complex Hilbert space H n = L 2 (Ω n, A n, ν n ) where ν n is the counting measure on Ω n. Of course, H n is isomorphic to C Ωn. Let χ A denote the characteristic function of a set A A n and let 1 n = χ Ωn. A positive operator ρ n on H n satisfying ρ n 1 n, 1 n = 1 is called a q-probability operator and the set of q-probability operators on H n is denoted Q(H n ). Corresponding to 5
6 ρ n Q(H n ) we have an n-decoherence functional D n : A n A n C given by D n (A, B) = ρ n χ B, χ A which gives a measure of the interference between A and B. It is easy to show that D n has the usual properties of a decoherence functional. That is, D n (Ω n Ω n ) = 1, D n (A, B) = D n (B, A), A D n (A, B) is a complex measure on A n for any B A n and if A 1,..., A m A n then D n (A i, A j ) are the components of a positive semidefinite m m matrix. The map µ n : A n R + given by µ n (A) = D n (A, A) is called the q-measure corresponding to ρ n [7]. We interpret µ n (A) as the propensity of the event A when the system is described by ρ n [2, 3]. Notice that µ n (Ω n ) = 1. Although µ n is not additive, it does satisfy the grade-2 additivity condition: if A, B, C A n are mutually disjoint, then µ n (A B C) = µ n (A B)+µ n (A C)+µ n (B C) µ n (A) µ n (B) µ n (C) We say that a sequence ρ n Q(H n ), n = 1, 2,..., is consistent if D n+1 (A, B ) = D n (A, B) for all A, B A n. Of course, it follows that µ n+1 (A ) = µ n (A) for all A A n. A consistent sequence ρ n Q(H n ) provides a quantum dynamics for the growth model (P, ) and we call ρ n a quantum sequential growth process (QSGP) [2, 3, 4]. At this stage of development we do not know the specific form of ρ n that would describe quantum gravity. It is hoped that further theoretical properties or experimental data will determine ρ n. One possible approach is considered in Section 4. Let ρ n Q(H n ) be a QSGP. Although we have a q-measure µ n on A n, n = 1, 2,..., it is important to extend µ n to physically relevant subsets of Ω in a systematic way. We say that a set A Ω is beneficial if lim µ n (A n ) exists and is finite in which case we define µ(a) to be this limit. We denoted the collection of beneficial sets by B(ρ n ). If A C(Ω) is a cylinder set, then A C(Ω i ) for some i N. In this case A = cyl(a 1 ) for some A 1 A i. Now A i = A 1, A i+1 = A 1, A i+2 = (A 1 ),. Hence, lim µ n (A n ) = µ i (A i ) = µ i (A 1 ) so A is beneficial and µ(a) = µ i (A 1 ). We conclude that C(Ω) B(ρ n ) and if A C(Ω) then µ(a) = µ n (A n ) for n sufficiently large. Simple examples are, Ω B(ρ n ) with µ( ) = 0, µ(ω) = 1. Of course, there are physically relevant subsets of Ω that are not cylinder sets. For example, if ω Ω then {ω} / C(Ω). Whether {ω} B(ρ n ) depends on ρ n and we shall consider some examples in Section 6. 6
7 4 Discrete Einstein Equation Let Q n = n i=1 P i and let K n be the Hilbert space C Qn with the standard inner product f, g = f(x)g(x) x QN Let L n = K n K n which we identify with C Qn Qn. Let ρ n Q(H n ) be a QSGP with corresponding decoherence matrices D n (ω, ω ) = D n ( {ω}, { ω }), ω, ω Ω n If ω = ω 1 ω 2 ω n Ω n and ω i = x for some i, then ω contains x. For x, y Q n we define D n (x, y) = { Dn (ω, ω ): ω contains x, ω contains y } Due to the consistency of ρ n, D n (x, y) is independent of n if n x, y where x is the cardinality of x Q n. Also D n (x, y), x, y Q n, are the components of a positive semi-definite matrix. We think of Q n as an analogue of a differentiable manifold and D n (x, y) as an analogue of a metric tensor. If y Q n and x y we think of the pair (x, y) as a tangent vector at y. Thus, there are as many tangent vectors at y as there are producers of y. Finally, the elements of K n are analogous to smooth functions on the manifold. If ω = ω 1 ω 2 ω n Ω n and ω i = x, then i = x and ω contains x if and only if ω x = x. An n-path ω containing x determines a tangent vector (ω x 1, x) at x (assuming x 2). For ω Ω n define the difference operator n ω on K n by n ωf(x) = [ f(x) f(ω x 1 ) ] δ x,ω x where δ x,ω x is the Kronecker delta. It is easy to check that n ω satisfies the discrete Leibnitz rule: n ωfg(x) = f(x) n ω g(x) + g(ω x 1 ) n ω f(x) Given a function f C Qn Qn = L n of two variables we have the function f K n of one variable f(x) = f(x, x) and given a function g K n we have the functions of two variables g 1, g 2 L n where g 1 (x, y) = g(x) and g 2 (x, y) = g(y) for all x, y Q n. For ω, ω Ω n, we want n ω,ω : L n L n that extends n ω and satisfies Leibnitz s rule. That is, n ω,ω g 1(x, y) = n ωg(x)δ y,ω y, n ω,ω g 2(x, y) = n ω g(y)δ x,ω x (4.1) 7
8 and n ω,ω fg(x, y) = f(x, y) ω,ω g(x, y) + g(ω x 1, ω x 1 ) n ω,ω f(x, y) (4.2) The next two theorems are proved in [5] Theorem 4.1. A linear operator n ω,ω : L n L n satisfies (4.1) and (4.2) if and only if it has the form n ω,ω f(x, y) = [ f(x, y) f(ω x 1, ω y 1 ) ] δ x,ω x δ y,ω y (4.3) The result (4.3) is not surprising because it is the natural extension of n ω from K n to L n. Also, n ω,ω extends n ω in the sense that n ω,ωf(x, y) = n ω f(x) Theorem 4.2. (a) A linear operator T ω : K n K n satisfies the Leibnitz rule and T ω f(x) = 0 when ω x x if and only if there exists a function β ω : Q n C such that T ω = β ω n ω. (b) A linear operator T ω,ω : L n L n satisfies the Leibnitz rule and T ω,ω f(x, y) = 0 when ω x x or ω y y if and only if there exists a function β ω,ω : Q n Q n C such that T ω,ω = β ω,ω n ω,ω. It is clear that µ n (x) = D n (x, x) is not stationary. That is, n ωµ n (x) 0 for all x Q n in general. It is shown in [5] that the simplest nontrivial combination n ω = β ω ω +α ω satisfying n ωµ n (x) = 0 for all x Q n is given by n ωf(x) = [ µ n (ω x 1 )f(x) µ n (x)f(ω x 1 ) ] δ x,ω x We call n ω the covariant difference operator. Again, n ω,ω D n (x, y) 0 for all x, y Q n. It is shown in [5] that the simplest nontrivial combination n ω,ω = β ω,ω n ω,ω +α ω,ω satisfying n ω,ω D n (x, y) = 0 for all x, y Q n is given by n ω,ω f(x, y) = [ D n (ω x 1, ω y 1 )f(x, y) D n(x, y)f(ω x 1, ω y 1 ) ] δ x,ω x δ y,ω y We call n ω,ω the covariant bidifference operator. 8
9 The curvature operator is defined as R n ω,ω = n ω,ω n ω,ω We define the metric operator Dω,ω n on L n by [ Dω,ω n f(x, y) = D n(x, y) f(ω x 1, ω y 1)δ x,ω δ y,ω y x ] f(ω x 1, ω y 1 )δ x,ω x δ y,ω y and the mass-energy operator T n ω,ω on L n by T n ω,ω f(x, y) = [D n (ω x 1, ω y 1 )δ x,ω x δ y,ω y It is shown in [5] that D n (ω x 1, ω y 1)δ x,ω x δ y,ω y ] f(x, y) R n ω,ω = Dn ω,ω + T n ω,ω (4.4) We call (4.4) the discrete Einstein equation [5, 11]. In this sense, Einstein s equation always holds in this framework no matter what we have for the quantum dynamics ρ n. One might argue that we obtained (4.4) just by definition. However, our derivation shows that R n ω,ω is a reasonable counterpart of the classical curvature tensor and Dω,ω n is a discrete counterpart of the metric tensor. Equation (4.4) does not give information about D n (x, y) and D n (ω, ω ) (which after all, are what we wanted to find), but it may give useful indirect information. If we can find D n (ω, ω ) such that the classical Einstein equation is an approximation to (4.4), then this gives information about D n (ω, ω ). Moreover, an important problem in discrete quantum gravity theory is how to test whether general relativity is a close approximation to the theory. Whether Einstein s equation is an approximation to (4.4) would provide such a test. In order to consider approximations by Einstein s equation, it will be necessary to let n in (4.4). However, the convergence of the operators depends on D n and will be left for later investigations. We now propose a definition for discrete geodesics. For A Q n we define the q-measure ({ µ n (A) = µ n ω Ωn : ω x = x for some x A }) and for x, y Q n let µ n (x y) = µ n ({ ω Ωn : ω x = x and ω y = y }) 9
10 For x, y Q n it is natural to define the conditional q-measure µ n (x y) = µ n(x y) µ n (y) if µ n (y) 0 and µ n (x y)=0 if µ n (y) = 0. For ω Ω n define the function ω : Q n R + by ω(x) = µ n (x ω x 1 )δ x,ω x (4.5) Of course, ω K n. We say that ω Ω n is a discrete geodesic if there is an a R such that n ω ω = a ω; that is ω is an eigenvector of n ω. Theorem 4.3. An n-path ω Ω n is a discrete geodesic if and only if there exists a c R such that whenever ω x = x for x 3 we have µ n (x ω x 1 ) = cµ n (ω x 1 ω x 2 ) (4.6) Proof. By definition, ω is a discrete geodesic if and only if there is an a R such that for all x Q n we have a ω(x) = n ω ω(x) = [ ω(x) ω(ω x 1 ) ] δ x,ω x Letting c = 1 a this last statement is equivalent to Applying (4.5) we conclude that ω(x) = c ω(ω x 1 )δ x,ω x µ n (x ω x 1 )δ x,ω x = cµ n (ω x 1 ω x 2 )δ x,ω x If ω x x, both sides of this equation vanish so the equation holds. ω x = x we obtain (4.6). If This definition of a discrete geodesic is very restrictive and it seems desirable to have a more general concept. If ω = ω j ω j+1 ω n with ω i P i, ω i ω i+1, i = j,..., n 1, we call ω an n-path starting at ω j. Motivated by Theorem 4.3, we say that ω = ω j ω j+1 ω n is a discrete geodesic starting at ω j if ω is a maximal n-path starting at ω j satisfying for some c R. µ n (ω k ω k+1 ) = cµ n (ω k 1 ω k 2 ), k = j + 2,..., n 10
11 5 Amplitude Processes Various constructions of a QSGP have been investigated [2, 3, 4]. In this section we introduce a simple type of QSGP that we call an amplitude process. If nothing else, this might serve as a toy model for discrete quantum gravity. For x P n, y P n+1 with x y, let a(x y) C satisfy {a(x y): y x } = 1 (5.1) We call a(x y) a transition amplitude from x to y. By convention we define a(x y) = 0 if x y. For ω = ω 1 ω 2 ω n Ω n we define the amplitude of ω by a n (ω) = a(ω 1 ω 2 )a(ω 2 ω 3 ) a(ω n 1 ω n ) and we call the vector a n H n an amplitude vector. For ω, ω Ω n define the decoherence matrix as D n (ω, ω ) = a n (ω)a n (ω ) Let ρ n be the operator on H n given by the matrix D n (ω, ω ). We call the sequence of operators ρ n, n = 1, 2,..., an amplitude process (AP). Theorem 5.1. An AP ρ n is a QSGP. Proof. It is clear that ρ n is a positive operator on H n. Moreover, we have ρ n 1 n, 1 n = D n (ω, ω ), 1 n = D n (ω, ω ) ω Ω n ω,ω Ω n = a n (ω)a n (ω 2 ) = a n (ω) (5.2) ω,ω Ω n ω Ω n Applying (5.1) we obtain a n (ω) = a(ω1 ω 2 )a(ω 2 ω 3 ) a(ω n 1 ω n ) ω Ω n = a(ω 1 ω 2 ) a(ω n 2 ω n 1 ) = a(ω 1 ω 2 ) a(ω n 2 ω n 1 ). ω n 1 a(ω n 1 ω n ) = a(ω 1 ω 2 ) = 1 (5.3) ω 1 11
12 By (5.2) and (5.3) we conclude that ρ n 1 n, 1 n = 1. To show that ρ n is a consistent sequence, let ω, ω Ω n with ω = ω 1 ω 2 ω n, ω = ω 1 ω 2 ω n. By (5.1) we have D n+1 (ω, ω ) = ρ n+1 χ ω, χ ω = } {a n (ω)a(ω n x)a n (ω ) a(ω n y): ω n x, ω n y = a n (ω)a n (ω ) {a(ω n x): ω n x} } {a(ω n y): ω n y = a n (ω)a n (ω ) = D n (ω, ω ) (5.4) For A, B A n, by (5.4) we have D n+1 (A, B ) = { Dn+1 (ω, ω ): ω A, ω B } = { Dn (ω, ω ): ω A, ω B } = D n (A, B) Since the operator ρ n on H n has the form ρ n = a n a n we not only see that ρ n is a positive operator but that it has rank 1 with norm ρ n = a n a n = a n 2 = a n (ω) 2 = tr(ρ n ) The decoherence functional corresponding to ρ n becomes D n (A, B) = ρ n χ B, χ A = a n a n χ B, χ A = a n, χ A χ B, a n = a n (ω) a n (ω) ω A ω B = { Dn (ω, ω ): ω A, ω B } for all A, B A n which is what we expect. The corresponding q-measure is given by µ n (A) = D n (A, A) = a n, χ A 2 2 = a n (ω) (5.5) for all A A n. In particular, for ω Ω n we have µ n ({ω}) = a n (ω) 2. We conclude that A B(ρ n ) if and only if lim µ n (A n 2 ) = lim a n (ω) ω A n exists and is finite in which case µ(a) is the limit. 12 ω A
13 6 Complex Percolation Process This section introduces a particular type of AP that still has physical relevance. We use the notation y = x a if x y and y is obtained from x by adjoining the maximal element a to x. Let r C with r 0, 1. For x, y P with y = x a define a(x y) = m(x y)r p (1 r) u (6.1) where p is the number of parents of a and u is the number of unrelated (non ancestors, not equal to a) elements of a. Theorem 6.1. If a(x y) is given by (6.1), then a(x y) satisfies (5.1) and hence is a transition amplitude. Proof. We prove the result by strong induction on x. If x = 1, then x = x 1 and (x ) = {x 2, x 3 } in Figure 1. Hence, a(x y) = a(x 1 x 2 ) + a(x 1 x 3 ) = r + (1 r) = 1 x 1 If x = 2, then x = x 2 or x = x 3 and (x 2 ) = {x 4, x 5, x 6 }, (x 3 ) = {x 6, x 7, x 8 } in Figure 1. Hence, a(x 2 y) = r + r(1 r) + (1 r) 2 = 1 x 2 a(x 3 y) = 2r(1 r) + r 2 + (1 r) 2 = 1 x 3 Now assume the result holds for x n and suppose that x = n We have that x = x a for some x P n and if z x, then z = x b. Let A = {z x : b a} B = {z x : b > a} v = {c x: c a} P We then have {a(x z): z A} = (1 r) a(x y ) = 1 r x {a(x z): z B} = r a(v v ) = r v 13
14 Hence, a(x y) = (1 r) + r = 1 x This completes the induction proof. It follows from Theorems 5.1 and 6.1 that if a(x y) is given by (6.1), then the operator ρ n corresponding to the matrix D n (ω, ω ) = a n (ω)a(ω ) forms an AP and hence a QSGP. We then call ρ n n = 1, 2,..., a complex percolation process (CPP) with percolation constant r. The form of (6.1) was chosen because it conforms with general principles of causality and covariance [6, 10]. As an illustration of a CPP suppose the percolation constant is r = 1 2 e iπ/4 = i 2 This example may have physical relevance because r is the unique complex number satisfying r 2 = 1 r 2 = 1/2. Notice that 1 r = r and we have a(x y) = m(x y)r p r u = m(x y) 2 (p+u)/2 e i(p u)π/4 For n = 2, letting γ 1 = x 1 x 2, γ 2 = x 1 x 3 from Figure 1, the amplitude vector becomes a 2 = 1 (e iπ/4, e iπ/4 ) 2 and the decoherence matrix is [ ] D 2 = 1 1 i 2 i 1 We then have that ρ 2 = tr(ρ 2 ) = 1. For further computations, it is useful to list the transition amplitudes for the causets of Figure 1. (i, j) (1, 2) (1, 3) (2, 4) (2, 5) (2, 6) (3, 7) (3, 8) a(x i x j ) r 1 r r r(1 r) 2r(1 r) r 2 (1 r) 2 (4, 9) (4, 10) (4, 11) (4, 14) (5, 11) (5, 12) (5, 13) (5, 15) r r(1 r) 2 r(1 r) 2 (1 r) 3 2r(1 r) r(1 r) 2 r 2 (1 r) 3 14
15 (6, 14) (6, 15) (6, 16) (6, 17) (6, 18) (6, 19) (7, 18) r(1 r) r(1 r) 2 r(1 r) 2 r 2 r 2 (1 r) (1 r) 3 2r(1 r) 2 (7, 20) (7, 21) (7, 22) (8, 19) (8, 22) (8, 23) (8, 24) r r 2 (1 r) (1 r) 3 3r(1 r) 2 3r 2 (1 r) r 3 (1 r) 3 Table 1 Letting γ 1 = x 1 x 2 x 4, γ 2 = x 1 x 2 x 5, γ 3 = x 1 x 2 x 6, γ 4 = x 1 x 3 x 6, γ 5 = x 1 x 3 x 7, γ 6 = x 1 x 3 x 8 in Figure 1, we have that Ω 6 = {γ 1,..., γ 6 } with amplitude vector a 3 = 2 3/2 ( 2 i, e iπ/4, e iπ/4, 2e iπ/4, e iπ/4 e i3π/4 ) We conclude that ρ 3 = tr(ρ 3 ) = 5/4. The decoherence matrix can be computed from [ ] D 3 (ω, ω ) = a 3 (ω) a 3 (ω ) the following table gives an ordering of the paths γ j Ω 4. j γ j x 1 x 2 x 4 x 9 x 1 x 2 x 4 x 10 x 1 x 2 x 4 x 11 x 1 x 2 x 4 x 14 x 1 x 2 x 5 x 11 x 1 x 2 x 5 x 12 x 1 x 2 x 5 x x 1 x 2 x 5 x 15 x 1 x 2 x 6 x 14 x 1 x 2 x 6 x 15 x 1 x 2 x 6 x 16 x 1 x 2 x 6 x 17 x 1 x 2 x 6 x 18 x 1 x 2 x 6 x x 1 x 3 x 6 x 14 x 1 x 3 x 6 x 15 x 1 x 3 x 6 x 16 x 1 x 3 x 6 x 17 x 1 x 3 x 6 x 18 x 1 x 3 x 6 x 19 x 1 x 3 x 7 x x 1 x 3 x 7 x 20 x 1 x 3 x 7 x 21 x 1 x 3 x 7 x 22 x 1 x 3 x 8 x 19 x 1 x 3 x 8 x 22 x 1 x 3 x 8 x 23 x 1 x 3 x 8 x 24 Table 2 15
16 Then Ω 4 = {γ 1, γ 2,..., γ 28 } with amplitude vector a 4 = 1 8 (23/2 e i3π/4, 2i, 2 e iπ/4, 2 e iπ/4, 2 3/2 e iπ/4, 1, 2i, i, 2 e iπ/4, i, i, 2 e iπ/4, 1, 1, 2 3/2 e iπ/4, 2i, 2i, 2 3/2 e iπ/4, 2, 2, 2, 2i, i, i, 3, 3i, 1, i) We then have ρ 4 = tr(ρ 4 ) = 25/16. Although we have not been able to show this, we conjecture that in general ρ n = (5/4) n 2. We now compute some q-measures. For Ω 2 = {γ 1, γ 2 } we have µ 2 (γ 1 ) = µ 2 (γ 2 ) = 1/2, µ 2 (Ω 2 ) = 1. Also, µ 2 (x 2 ) = µ 2 (x 3 ) = 1/2, µ 2 (P 2 ) = 1. In this case there is no interference and µ 2 is a measure. For Ω 3 = {γ 1,..., γ 6 } we have µ 3 (γ 1 ) = 1/4, µ 3 (γ 2 ) = µ 3 (γ 3 ) = µ(γ 5 ) = µ 3 (γ 6 ) = 1/8 µ 3 (γ 4 ) = 1/2, µ 3 (Ω 3 ) = 1 Moreover, by (5.5) we have µ 3 ({γ 1, γ 2 }) = µ 3 (γ 1 ) + µ 3 (γ 2 ) + 2Re a 3 (γ 1 )a 3 (γ 2 ) Re ( 2 ie iπ/4 ) = 5 8 The q-measures of the other doubleton sets are computed in a similar way. These are summarized in Table 3. (j, k) (1, 3) (1, 4) (1, 5) (1, 6) (2, 3) (2, 4) (2, 5) µ 3 ({γ j, γ k }) 1/8 1/4 5/8 1/8 1/4 5/8 1/2 (2, 6) (3, 4) (3, 5) (3, 6) (4, 5) (4, 6) (5, 6) 0 9/8 1/4 1/4 5/8 5/8 0 Table 3 The other q-measure for Ω 3 can be found using our previous results and grade-2 additivity. For example, µ 3 ({γ 2, γ 5, γ 6 }) = µ 3 ({γ 2, γ 5 }) + µ 3 ({γ 2, γ 6 }) + µ 3 ({γ 5, γ 6 }) µ 3 (γ 2 ) µ 3 (γ 5 ) µ 3 (γ 6 ) = 1/8 16
17 In a similar way we obtain µ 3 ({γ 1, γ 2, γ 3 }) = 1/2, µ 3 ({γ 1, γ 2, γ 6 }) = 1/4 µ 3 ({γ 1, γ 2, γ 4 }) = 5/8, µ 3 ({γ 2, γ 3, γ 4 }) = 5/4 An example of a 4-element set is given by µ 3 ({γ 1, γ 2, γ 3, γ 4 }) = µ 3 ({γ 1, γ 2 }) + µ 3 ({γ 1, γ 3 }) + µ 3 ({γ 1, γ 4 }) + µ 3 ({γ 2, γ 3 }) + µ 3 ({γ 2, γ 4 }) + µ 3 ({γ 3, γ 4 }) 2 [µ 3 (γ 1 ) + µ 3 (γ 2 ) + µ 3 (γ 3 ) + µ 3 (γ 4 )] = 1 The q-measure of paths in Ω 4 = {γ 1,..., γ 28 } are given in Table 4. j µ 4 (γ j ) 1/8 1/16 1/32 1/32 1/8 1/64 1/16 1/64 1/32 1/ /64 1/32 1/64 1/64 1/8 1/16 1/16 1/8 1/16 1/ /16 1/16 1/64 1/64 9/64 9/64 1/64 1/64 Table 4 Instead of finding µ 4 (A) for arbitrary A A 4, we compute µ 4 (x), x P 4 which are given in Table 5. j µ 4 (x j ) 1/8 1/16 9/32 1/16 1/16 1/4 1/4 9/64 9/32 25/64 Table 5 We now briefly consider the q-measure of some sets in B(ρ n ) C(Ω). If ω = ω 1 ω 2 Ω, then {ω} / C(Ω) and {ω} n = {ω 1 ω 2 ω n }. We define 17
18 the multiplicity m(ω) by m(ω) = m(ω j ω j+1 j=1 As suggested by Figure 1, most ω Ω have finite multiplicity, although there are a few with m(ω) =. If m(ω) < then it is easy to verify that {ω} B(ρ n ) and µ ({ω}) = lim n a n(ω 1 ω 2 ω n ) 2 = 0 Moreover, it follows by (5.1) that if m(ω) <, then {ω} B(ρ n ) and µ ( {ω} ) = lim n 1 a n(ω 1 ω 2 ω n ) 2 = 1 It would be interesting to investigate whether there exist ω Ω with m(ω) = and ω B(ρ n ). Finally, we briefly discuss discrete geodesics. Let ρ n be an AP. If x y with x P n, then µ n (x y) = µ n ({ω : ω = ω 1 ω 2 xy}) = µ n (x) a(x y) 2 It follows that µ n (y x) = a(x y) 2. We conclude that ω = ω j ω j+1 ω n is a discrete geodesic starting with ω j if and only if ω is maximal and satisfies a(ω k 1 ω k ) = c a(ω k 2 ω k 1 (6.2) k = j + 2,..., n, for some c R. In particular, suppose ρ n is a CPP with percolation constant r. Letting n = 4 and employing the notation of Figure 1, the only discrete geodesics starting at x 1 are x 1 x 2 x 4 x 9 and x 1 x 3 x 8 x 24. The constant c in (6.2) for x 1 x 2 x 4 x 9 is 1 and for x 1 x 2 x 8 x 24 is 1 r. A generic causet is contained in at least two discrete geodesics with c = 1 or c = 1 r. However, there are exceptional causets that are contained in only one discrete geodesic. It would be interesting to classify causets according to their geodesic structure. References [1] L. Bombelli, J. Lee, D. Meyer and R. Sorkin, Spacetime as a casual set, Phys. Rev. Lett. 59 (1987), [2] S. Gudder, Discrete quantum gravity, arxiv: gr-qc (2011). 18
19 [3] S. Gudder, Models for discrete quantum gravity, arxiv: gr-qc (2011). [4] S. Gudder, A matter of matter and antimatter, arxiv: gr-qc (2012). [5] S. Gudder, An Einstein equation for discrete quantum gravity, arxiv: gr-qc (2012). [6] D. Rideout and R. Sorkin, A classical sequential growth dynamics for causal sets, Phys. Rev. D 61 (2000), [7] R. Sorkin, Quantum mechanics as quantum measure theory, Mod. Phys. Letts. A 9 (1994), [8] R. Sorkin, Causal sets: discrete gravity, arxiv: gr-qc (2003). [9] S. Surya, Directions in causal set quantum gravity, arxiv: gr-qc (2011). [10] M. Varadarajan and D. Rideout, A general solution for classical sequential growth dynamics of causal sets, Phys. Rev. D 73 (2006), [11] R. Wald, General Relativity, University of Chicago Press, Chicago
AN EINSTEIN EQUATION FOR DISCRETE QUANTUM GRAVITY
AN EINSTEIN EQUATION FOR DISCRETE QUANTUM GRAVITY S. Gudder Department of Mathematics University of Denver Denver, Colorado 80208, U.S.A. sgudder@du.edu Abstract The basic framework for this article is
More informationLABELED CAUSETS IN DISCRETE QUANTUM GRAVITY
LABELED CAUSETS IN DISCRETE QUANTUM GRAVITY S. Gudder Department of Mathematics University of Denver Denver, Colorado 80208, U.S.A. sgudder@du.edu Abstract We point out that labeled causets have a much
More informationAn Isometric Dynamics for a Causal Set Approach to Discrete Quantum Gravity
University of Denver Digital Commons @ DU Mathematics Preprint Series Department of Mathematics 214 An Isometric Dynamics for a Causal Set Approach to Discrete Quantum Gravity S. Gudder Follow this and
More informationCURVATURE AND QUANTUM MECHANICS ON COVARIANT CAUSAL SETS
CURVATURE AND QUANTUM MECHANICS ON COVARIANT CAUSAL SETS S. Gudder Department of Mathematics University of Denver Denver, Colorado 80208, U.S.A. sgudder@du.edu Abstract This article begins by reviewing
More informationQUANTUM MEASURES and INTEGRALS
QUANTUM MEASURES and INTEGRALS S. Gudder Department of Mathematics University of Denver Denver, Colorado 8008, U.S.A. sgudder@.du.edu Abstract We show that quantum measures and integrals appear naturally
More informationTWO-SITE QUANTUM RANDOM WALK
TWO-SITE QUANTUM RANDOM WALK S. Gudder Department of Mathematics University of Denver Denver, Colorado 80208, U.S.A. sgudder@math.du.edu and Rafael D. Sorkin Perimeter Institute for Theoretical Physics
More informationTHE UNIVERSE AND THE QUANTUM COMPUTER
THE UNIVERSE AND THE QUANTUM COMPUTER Stan Gudder Department of Mathematics University of Denver Denver, Colorado 8008 sgudder@math.du.edu Abstract It is first pointed out that there is a common mathematical
More informationPosts in Transitive Percolation
in Transitive Percolation First from Dq Dg Department of Mathematics Knox College arxiv:/0809.2258 18th Midwest Relativity Meeting October 24, 2008 Who We Are Definition ( Dq Dg ) Discrete Quantum Dynamics
More informationCausal Sets: Overview and Status
University of Mississippi QGA3 Conference, 25 Aug 2006 The Central Conjecture Causal Sets A causal set is a partially ordered set, meaning that x, y, z x y, y z x z x y, y x x = y which is locally finite,
More informationFINITE QUANTUM MEASURE SPACES
FINITE QUANTUM MEASURE SPACES Stan Gudder Department of Mathematics University of Denver Denver, Colorado 80208 sgudder@math.du.edu 1 Introduction Measure and integration theory is a well established field
More informationLorentzian Geometry from Discrete Causal Structure
Lorentzian Geometry from Discrete Causal Structure Sumati Surya Raman Research Institute FTAG Sept 2013 (RRI) March 2013 1 / 25 Outline An Introduction to the Causal Set Approach to Quantum Gravity LBombelli,
More informationA historical perspective on fine tuning: lessons from causal set cosmology
A historical perspective on fine tuning: lessons from causal set cosmology Fay Dowker Oxford th December 01 Rafael Sorkin, Graham Brightwell, Djamel Dou, Fay Dowker Raquel Garcia, Joe Henson, Xavier Martin,
More informationCauset Dynamics with Dq Dg.
Causet Dynamics with Dq Dg. Department of Mathematics Knox College 17th Midwest Relativity Meeting November 2, 2007 Motivation Causets Classical Sequential Growth Reminder Points p and q in a (causal)
More informationCausal Sets Approach to Quantum Gravity
Causal Sets Approach to Quantum Gravity Mir Emad Aghili 1 1 Department of Physics and Astronomy, University of Mississippi, 38677 Introduction The fact that singularities happen in general relativity is
More information(Quantum) Fields on Causal Sets
(Quantum) Fields on Causal Sets Michel Buck Imperial College London July 31, 2013 1 / 32 Outline 1. Causal Sets: discrete gravity 2. Continuum-Discrete correspondence: sprinklings 3. Relativistic fields
More informationVectors. January 13, 2013
Vectors January 13, 2013 The simplest tensors are scalars, which are the measurable quantities of a theory, left invariant by symmetry transformations. By far the most common non-scalars are the vectors,
More informationQuantum Field Theory on a Causal Set
Quantum Field Theory on a Causal Set Fay Dowker Imperial College, London York April 2017 QFT in curved spacetime I A stepping stone to quantum gravity I Furnishes us with a quantum gravity result: the
More informationGeometric inequalities for black holes
Geometric inequalities for black holes Sergio Dain FaMAF-Universidad Nacional de Córdoba, CONICET, Argentina. 3 August, 2012 Einstein equations (vacuum) The spacetime is a four dimensional manifold M with
More informationThe following definition is fundamental.
1. Some Basics from Linear Algebra With these notes, I will try and clarify certain topics that I only quickly mention in class. First and foremost, I will assume that you are familiar with many basic
More informationNoncommutative geometry and quantum field theory
Noncommutative geometry and quantum field theory Graeme Segal The beginning of noncommutative geometry is the observation that there is a rough equivalence contravariant between the category of topological
More informationUniversal homogeneous causal sets
Universal homogeneous causal sets arxiv:gr-qc/0510118v1 28 Oct 2005 Manfred Droste Institut für Informatik Universität Leipzig D-04109 Leipzig, Germany email: droste@informatik.uni-leipzig.de July 30,
More informationNonperturbative dynamics for abstract p,q string networks
Nonperturbative dynamics for abstract p,q string networks Fotini Markopoulou* and Lee Smolin Center for Gravitational Physics and Geometry Department of Physics, The Pennsylvania State University, University
More informationTEST CODE: PMB SYLLABUS
TEST CODE: PMB SYLLABUS Convergence and divergence of sequence and series; Cauchy sequence and completeness; Bolzano-Weierstrass theorem; continuity, uniform continuity, differentiability; directional
More informationQUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 21, 2004 (Day 1)
QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 21, 2004 (Day 1) Each of the six questions is worth 10 points. 1) Let H be a (real or complex) Hilbert space. We say
More informationAn Algebraic Quantization of Causal Sets
An Algebraic Quantization of Causal Sets arxiv:gr-qc/9906103v1 24 Jun 1999 Ioannis Raptis Abstract A scheme for an algebraic quantization of the causal sets of Sorkin et al. is presented. The suggested
More informationObserver dependent background geometries arxiv:
Observer dependent background geometries arxiv:1403.4005 Manuel Hohmann Laboratory of Theoretical Physics Physics Institute University of Tartu DPG-Tagung Berlin Session MP 4 18. März 2014 Manuel Hohmann
More informationThe Causal Set Approach to Quantum Gravity
Department of Physics The Causal Set Approach to Quantum Gravity Author: Yichao Hu Supervisor: Prof. Fay Dowker September 2013 Submitted in partial fulfilment of the requirements for the degree of Master
More informationBlack Holes and Thermodynamics I: Classical Black Holes
Black Holes and Thermodynamics I: Classical Black Holes Robert M. Wald General references: R.M. Wald General Relativity University of Chicago Press (Chicago, 1984); R.M. Wald Living Rev. Rel. 4, 6 (2001).
More informationAN ALGEBRAIC APPROACH TO GENERALIZED MEASURES OF INFORMATION
AN ALGEBRAIC APPROACH TO GENERALIZED MEASURES OF INFORMATION Daniel Halpern-Leistner 6/20/08 Abstract. I propose an algebraic framework in which to study measures of information. One immediate consequence
More informationarxiv:gr-qc/ v1 17 Mar 2005
A new time-machine model with compact vacuum core Amos Ori Department of Physics, Technion Israel Institute of Technology, Haifa, 32000, Israel (May 17, 2006) arxiv:gr-qc/0503077 v1 17 Mar 2005 Abstract
More informationQUANTUM MEASURE THEORY. Stanley Gudder. Department of Mathematics. University of Denver. Denver Colorado
QUANTUM MEASURE THEORY Stanley Gudder Department of Mathematics University of Denver Denver Colorado 828 sgudder@math.du.edu 1. Introduction A measurable space is a pair (X, A) where X is a nonempty set
More informationTutorial 5 Clifford Algebra and so(n)
Tutorial 5 Clifford Algebra and so(n) 1 Definition of Clifford Algebra A set of N Hermitian matrices γ 1, γ,..., γ N obeying the anti-commutator γ i, γ j } = δ ij I (1) is the basis for an algebra called
More informationReal Analysis Prelim Questions Day 1 August 27, 2013
Real Analysis Prelim Questions Day 1 August 27, 2013 are 5 questions. TIME LIMIT: 3 hours Instructions: Measure and measurable refer to Lebesgue measure µ n on R n, and M(R n ) is the collection of measurable
More informationDeformations of Spacetime Horizons and Entropy
Adv. Studies Theor. Phys., ol. 7, 2013, no. 22, 1095-1100 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/astp.2013.39100 Deformations of Spacetime Horizons and Entropy Paul Bracken Department
More informationLoos Symmetric Cones. Jimmie Lawson Louisiana State University. July, 2018
Louisiana State University July, 2018 Dedication I would like to dedicate this talk to Joachim Hilgert, whose 60th birthday we celebrate at this conference and with whom I researched and wrote a big blue
More informationAnalysis Preliminary Exam Workshop: Hilbert Spaces
Analysis Preliminary Exam Workshop: Hilbert Spaces 1. Hilbert spaces A Hilbert space H is a complete real or complex inner product space. Consider complex Hilbert spaces for definiteness. If (, ) : H H
More informationQUANTUM EINSTEIN S EQUATIONS AND CONSTRAINTS ALGEBRA
QUANTUM EINSTEIN S EQUATIONS AND CONSTRAINTS ALGEBRA FATIMAH SHOJAI Physics Department, Iran University of Science and Technology, P.O.Box 16765 163, Narmak, Tehran, IRAN and Institute for Studies in Theoretical
More informationThe Erlangen Program and General Relativity
The Erlangen Program and General Relativity Derek K. Wise University of Erlangen Department of Mathematics & Institute for Quantum Gravity Colloquium, Utah State University January 2014 What is geometry?
More informationn [ F (b j ) F (a j ) ], n j=1(a j, b j ] E (4.1)
1.4. CONSTRUCTION OF LEBESGUE-STIELTJES MEASURES In this section we shall put to use the Carathéodory-Hahn theory, in order to construct measures with certain desirable properties first on the real line
More informationVirasoro hair on locally AdS 3 geometries
Virasoro hair on locally AdS 3 geometries Kavli Institute for Theoretical Physics China Institute of Theoretical Physics ICTS (USTC) arxiv: 1603.05272, M. M. Sheikh-Jabbari and H. Y Motivation Introduction
More informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
More informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More information2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is
More informationMATHS 730 FC Lecture Notes March 5, Introduction
1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists
More informationl(y j ) = 0 for all y j (1)
Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that
More informationEntanglement and the Bekenstein-Hawking entropy
Entanglement and the Bekenstein-Hawking entropy Eugenio Bianchi relativity.phys.lsu.edu/ilqgs International Loop Quantum Gravity Seminar Black hole entropy Bekenstein-Hawking 1974 Process: matter falling
More informationPath Algebras in Quantum Causal Theory
Path Algebras in Quantum Causal Theory Benjamin F. Dribus Conference on Ordered Algebraic Structures Louisiana State University May 3, 2014 Introduction Path algebras are generated by directed paths in
More informationEmergent Causality in Holography
Emergent Causality in Holography Netta Engelhardt Princeton University 20.6.18 Based mostly on: NE, Horowitz 16; NE 16; NE, Fischetti 17 Spacetime Emergence Holography: the equivalence of a higher-dim
More informationSPACETIME FROM ENTANGLEMENT - journal club notes -
SPACETIME FROM ENTANGLEMENT - journal club notes - Chris Heinrich 1 Outline 1. Introduction Big picture: Want a quantum theory of gravity Best understanding of quantum gravity so far arises through AdS/CFT
More informationCosmic Censorship Conjecture and Topological Censorship
Cosmic Censorship Conjecture and Topological Censorship 21 settembre 2009 Cosmic Censorship Conjecture 40 years ago in the Rivista Nuovo Cimento Sir Roger Penrose posed one of most important unsolved problems
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationExtensions of Lorentzian spacetime geometry
Extensions of Lorentzian spacetime geometry From Finsler to Cartan and vice versa Manuel Hohmann Teoreetilise Füüsika Labor Füüsika Instituut Tartu Ülikool LQP33 Workshop 15. November 2013 Manuel Hohmann
More informationCW-complexes. Stephen A. Mitchell. November 1997
CW-complexes Stephen A. Mitchell November 1997 A CW-complex is first of all a Hausdorff space X equipped with a collection of characteristic maps φ n α : D n X. Here n ranges over the nonnegative integers,
More informationExact Solutions of the Einstein Equations
Notes from phz 6607, Special and General Relativity University of Florida, Fall 2004, Detweiler Exact Solutions of the Einstein Equations These notes are not a substitute in any manner for class lectures.
More informationOn angular momentum operator in quantum field theory
On angular momentum operator in quantum field theory Bozhidar Z. Iliev Short title: Angular momentum operator in QFT Basic ideas: July October, 2001 Began: November 1, 2001 Ended: November 15, 2001 Initial
More informationWhat is a particle? Carlo Rovelli. Daniele Colosi and C.R., Class. and Quantum Grav. 2009, gr-qc/
What is a particle? Carlo Rovelli Daniele Colosi and C.R., Class. and Quantum Grav. 2009, gr-qc/0409054 Happy birthday Abhay!! It is a very exciting time for Loop Quantum Gravity Applications Loop Quantum
More informationPoisson Equation on Closed Manifolds
Poisson Equation on Closed anifolds Andrew acdougall December 15, 2011 1 Introduction The purpose of this project is to investigate the poisson equation φ = ρ on closed manifolds (compact manifolds without
More informationIsomorphisms between pattern classes
Journal of Combinatorics olume 0, Number 0, 1 8, 0000 Isomorphisms between pattern classes M. H. Albert, M. D. Atkinson and Anders Claesson Isomorphisms φ : A B between pattern classes are considered.
More informationInequivalence of First and Second Order Formulations in D=2 Gravity Models 1
BRX TH-386 Inequivalence of First and Second Order Formulations in D=2 Gravity Models 1 S. Deser Department of Physics Brandeis University, Waltham, MA 02254, USA The usual equivalence between the Palatini
More informationQuantum Gravity Phenomenology
Quantum Gravity Phenomenology Sabine Hossenfelder Sabine Hossenfelder, Quantum Gravity Phenomenology 1/16 Why do we need quantum gravity? Because We don t know what is the gravitational field of a quantum
More informationBoolean Inner-Product Spaces and Boolean Matrices
Boolean Inner-Product Spaces and Boolean Matrices Stan Gudder Department of Mathematics, University of Denver, Denver CO 80208 Frédéric Latrémolière Department of Mathematics, University of Denver, Denver
More informationarxiv: v2 [gr-qc] 7 Jan 2019
Classical Double Copy: Kerr-Schild-Kundt metrics from Yang-Mills Theory arxiv:1810.03411v2 [gr-qc] 7 Jan 2019 Metin Gürses 1, and Bayram Tekin 2, 1 Department of Mathematics, Faculty of Sciences Bilkent
More informationQuantum algorithms (CO 781, Winter 2008) Prof. Andrew Childs, University of Waterloo LECTURE 1: Quantum circuits and the abelian QFT
Quantum algorithms (CO 78, Winter 008) Prof. Andrew Childs, University of Waterloo LECTURE : Quantum circuits and the abelian QFT This is a course on quantum algorithms. It is intended for graduate students
More informationarxiv:gr-qc/ v2 19 Jan 2004
The Manifold Dimension of a Causal Set: tests in conformally flat spacetimes David D. Reid Department of Physics and Astronomy, Eastern Michigan University, Ypsilanti, MI 48197 arxiv:gr-qc/0207103v2 19
More informationInitial-Value Problems in General Relativity
Initial-Value Problems in General Relativity Michael Horbatsch March 30, 2006 1 Introduction In this paper the initial-value formulation of general relativity is reviewed. In section (2) domains of dependence,
More informationNull Cones to Infinity, Curvature Flux, and Bondi Mass
Null Cones to Infinity, Curvature Flux, and Bondi Mass Arick Shao (joint work with Spyros Alexakis) University of Toronto May 22, 2013 Arick Shao (University of Toronto) Null Cones to Infinity May 22,
More informationStationarity of non-radiating spacetimes
University of Warwick April 4th, 2016 Motivation Theorem Motivation Newtonian gravity: Periodic solutions for two-body system. Einstein gravity: Periodic solutions? At first Post-Newtonian order, Yes!
More informationBasic Concepts of Group Theory
Chapter 1 Basic Concepts of Group Theory The theory of groups and vector spaces has many important applications in a number of branches of modern theoretical physics. These include the formal theory of
More informationTHEOREMS, ETC., FOR MATH 516
THEOREMS, ETC., FOR MATH 516 Results labeled Theorem Ea.b.c (or Proposition Ea.b.c, etc.) refer to Theorem c from section a.b of Evans book (Partial Differential Equations). Proposition 1 (=Proposition
More informationGravitation: Tensor Calculus
An Introduction to General Relativity Center for Relativistic Astrophysics School of Physics Georgia Institute of Technology Notes based on textbook: Spacetime and Geometry by S.M. Carroll Spring 2013
More informationTHE LANDSCAPE OF THEORETICAL PHYSICS: A GLOBAL VIEW. From Point Particles to the Brane World and Beyond, in Search of a Unifying Principle
THE LANDSCAPE OF THEORETICAL PHYSICS: A GLOBAL VIEW From Point Particles to the Brane World and Beyond, in Search of a Unifying Principle MATEJ PAVŠIČ Department of Theoretical Physics Jožef Stefan Institute
More informationThe Theorem of Gauß-Bonnet in Complex Analysis 1
The Theorem of Gauß-Bonnet in Complex Analysis 1 Otto Forster Abstract. The theorem of Gauß-Bonnet is interpreted within the framework of Complex Analysis of one and several variables. Geodesic triangles
More informationSymmetries, Groups Theory and Lie Algebras in Physics
Symmetries, Groups Theory and Lie Algebras in Physics M.M. Sheikh-Jabbari Symmetries have been the cornerstone of modern physics in the last century. Symmetries are used to classify solutions to physical
More informationREAL AND COMPLEX ANALYSIS
REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any
More informationMetric Compatibility Condition And Tetrad Postulate
Chapter 8 Metric Compatibility Condition And Tetrad Postulate by Myron W. Evans, Alpha Foundation s Institutute for Advance Study (AIAS). (emyrone@oal.com, www.aias.us, www.atomicprecision.com) Abstract
More informationAs always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing).
An Interlude on Curvature and Hermitian Yang Mills As always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing). Suppose we wanted
More informationNote 1: Some Fundamental Mathematical Properties of the Tetrad.
Note 1: Some Fundamental Mathematical Properties of the Tetrad. As discussed by Carroll on page 88 of the 1997 notes to his book Spacetime and Geometry: an Introduction to General Relativity (Addison-Wesley,
More informationFinite Quantum Measure Spaces
Finite Quantum Measure Spaces Denise Schmitz 4 June 2012 Contents 1 Introduction 2 2 Preliminaries 2 2.1 Finite Measure Spaces........................ 2 2.2 Quantum Systems.......................... 3
More informationTHE INITIAL VALUE FORMULATION OF GENERAL RELATIVITY
THE INITIAL VALUE FORMULATION OF GENERAL RELATIVITY SAM KAUFMAN Abstract. The (Cauchy) initial value formulation of General Relativity is developed, and the maximal vacuum Cauchy development theorem is
More informationTHE ELEMENTARY PARTICLE CUBE
THE ELEMENTARY PARTICLE CUBE S. Gudder Department of Mathematics University of Denver Denver, Colorado 80208, U.S.A. sgudder@du.edu Abstract Postulating that spacetime is discrete, we assume that physical
More informationMath 1131 Multiple Choice Practice: Exam 2 Spring 2018
University of Connecticut Department of Mathematics Math 1131 Multiple Choice Practice: Exam 2 Spring 2018 Name: Signature: Instructor Name: TA Name: Lecture Section: Discussion Section: Read This First!
More informationCOMBINATORICS OF RANDOM TENSOR MODELS
THE PUBLISHING HOUSE PROCEEDINGS OF THE ROMANIAN ACADEMY, Series A, OF THE ROMANIAN ACADEMY Volume 13, Number 1/2012, pp. 27 31 COMBINATORICS OF RANDOM TENSOR MODELS Adrian TANASA 1,2 1 LIPN, Institut
More informationThe Spine Model: Relativistic Generalization to any N-dimensional spacetime
Published in the New Age Journal of Physics www.cthepjo.wordpress.com Copyright 2013, Shreyak Chakraborty The Spine Model: Relativistic Generalization to any N-dimensional spacetime Shreyak Chakraborty
More informationarxiv:gr-qc/ v1 7 Nov 2000
ON CYCLICALLY SYMMETRICAL SPACETIMES arxiv:gr-qc/0011023v1 7 Nov 2000 A. BARNES Computer Science, Aston University, Birmingham, B4 7ET, UK E-mail: barnesa@aston.ac.uk In a recent paper Carot et al. considered
More informationCurvature homogeneity of type (1, 3) in pseudo-riemannian manifolds
Curvature homogeneity of type (1, 3) in pseudo-riemannian manifolds Cullen McDonald August, 013 Abstract We construct two new families of pseudo-riemannian manifolds which are curvature homegeneous of
More informationNotes on General Relativity (Wald, 1984)
Notes on General Relativity (Wald, 1984) Robert B. Scott, 1,2 1 Institute for Geophysics, Jackson School of Geosciences, The University of Texas at Austin, Austin, Texas, USA 2 Department of Physics, University
More informationSpin(10,1)-metrics with a parallel null spinor and maximal holonomy
Spin(10,1)-metrics with a parallel null spinor and maximal holonomy 0. Introduction. The purpose of this addendum to the earlier notes on spinors is to outline the construction of Lorentzian metrics in
More informationAn introduction to Hodge algebras
An introduction to Hodge algebras Federico Galetto May 28, 2009 The Grassmannian Let k be a field, E a k-vector space of dimension m Define Grass(n, E) := {V E dim V = n} If {e 1,, e m } is a basis of
More informationLQG, the signature-changing Poincaré algebra and spectral dimension
LQG, the signature-changing Poincaré algebra and spectral dimension Tomasz Trześniewski Institute for Theoretical Physics, Wrocław University, Poland / Institute of Physics, Jagiellonian University, Poland
More informationMobius Inversion on Partially Ordered Sets
Mobius Inversion on Partially Ordered Sets 1 Introduction The theory of Möbius inversion gives us a unified way to look at many different results in combinatorics that involve inverting the relation between
More informationA New Perspective on Path Integral Quantum Mechanics in Curved Space-Time
A New Perspective on Path Integral Quantum Mechanics in Curved Space-Time Dinesh Singh Department of Physics/Physics & Engineering Physics University of Regina/Saskatchewan (dinesh.singh@uregina.ca) QFEXT
More informationBlack Strings and Classical Hair
UCSBTH-97-1 hep-th/97177 Black Strings and Classical Hair arxiv:hep-th/97177v1 17 Jan 1997 Gary T. Horowitz and Haisong Yang Department of Physics, University of California, Santa Barbara, CA 9316, USA
More informationBefore you begin read these instructions carefully.
MATHEMATICAL TRIPOS Part IB Tuesday, 5 June, 2012 9:00 am to 12:00 pm PAPER 1 Before you begin read these instructions carefully. Each question in Section II carries twice the number of marks of each question
More informationGravitational waves, solitons, and causality in modified gravity
Gravitational waves, solitons, and causality in modified gravity Arthur Suvorov University of Melbourne December 14, 2017 1 of 14 General ideas of causality Causality as a hand wave Two events are causally
More informationProbability and Random Processes
Probability and Random Processes Lecture 7 Conditional probability and expectation Decomposition of measures Mikael Skoglund, Probability and random processes 1/13 Conditional Probability A probability
More informationSeparability of Dirac equation in higher dimensional Kerr NUT de Sitter spacetime
Physics Letters B 659 2008 688 693 wwwelseviercom/locate/physletb Separability of Dirac equation in higher dimensional Kerr NUT de Sitter spacetime Takeshi Oota a Yukinori Yasui b a Osaka City University
More informationCausality, hyperbolicity, and shock formation in Lovelock theories
Causality, hyperbolicity, and shock formation in Lovelock theories Harvey Reall DAMTP, Cambridge University HSR, N. Tanahashi and B. Way, arxiv:1406.3379, 1409.3874 G. Papallo, HSR arxiv:1508.05303 Lovelock
More informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
More informationExcluding Black Hole Firewalls with Extreme Cosmic Censorship
Excluding Black Hole Firewalls with Extreme Cosmic Censorship arxiv:1306.0562 Don N. Page University of Alberta February 14, 2014 Introduction A goal of theoretical cosmology is to find a quantum state
More informationCOMMON COMPLEMENTS OF TWO SUBSPACES OF A HILBERT SPACE
COMMON COMPLEMENTS OF TWO SUBSPACES OF A HILBERT SPACE MICHAEL LAUZON AND SERGEI TREIL Abstract. In this paper we find a necessary and sufficient condition for two closed subspaces, X and Y, of a Hilbert
More information