Infinite-dimensional Categorical Quantum Mechanics
|
|
- Charlene Garrett
- 5 years ago
- Views:
Transcription
1 Infinite-dimensional Categorical Quantum Mechanics A talk for CLAP Scotland Stefano Gogioso and Fabrizio Genovese Quantum Group, University of Oxford 5 Apr 2017 University of Strathclyde, Glasgow S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 1 / 24
2 Introduction - motivation for this work We want to do (diagrammatic) CQM in -dimensions, but... 1 Although there is a characterisation of orthonormal bases in terms of H -algebras. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 2 / 24
3 Introduction - motivation for this work We want to do (diagrammatic) CQM in -dimensions, but... Hilb has no unital -Frobenius algebras 1 NO group algebras NO Fourier sampling 1 Although there is a characterisation of orthonormal bases in terms of H -algebras. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 2 / 24
4 Introduction - motivation for this work We want to do (diagrammatic) CQM in -dimensions, but... Hilb has no unital -Frobenius algebras 1 NO group algebras NO Fourier sampling Hilb is not dagger compact NO traces, cups or caps NO operator-state duality 1 Although there is a characterisation of orthonormal bases in terms of H -algebras. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 2 / 24
5 Introduction - motivation for this work We want to do (diagrammatic) CQM in -dimensions, but... Hilb has no unital -Frobenius algebras 1 NO group algebras NO Fourier sampling Hilb is not dagger compact NO traces, cups or caps NO operator-state duality Hilb lacks other useful gadgets NO plane-waves or delta functions NO unbounded operators 1 Although there is a characterisation of orthonormal bases in terms of H -algebras. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 2 / 24
6 Introduction - motivation for this work We want to do (diagrammatic) CQM in -dimensions, but... Hilb has no unital -Frobenius algebras 1 NO group algebras NO Fourier sampling Hilb is not dagger compact NO traces, cups or caps NO operator-state duality Hilb lacks other useful gadgets NO plane-waves or delta functions NO unbounded operators Can we recover all of this (using non-standard analysis)? 1 Although there is a characterisation of orthonormal bases in terms of H -algebras. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 2 / 24
7 Introduction - motivation for this work We want to do (diagrammatic) CQM in -dimensions, but... Hilb has no unital -Frobenius algebras 1 NO group algebras NO Fourier sampling Hilb is not dagger compact NO traces, cups or caps NO operator-state duality Hilb lacks other useful gadgets NO plane-waves or delta functions NO unbounded operators Can we recover all of this (using non-standard analysis)? YES, WE CAN. 1 Although there is a characterisation of orthonormal bases in terms of H -algebras. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 2 / 24
8 Introduction - limit constructions, algebraically Non-standard analysis: an algebraic way to handle limit constructions 2. 2 Regardless of topological convergence. The sceptics out there might prefer to think directly in terms of the ultraproduct construction: we work in spaces of sequences, quotiented by a notion of asymptotic equality, or equality almost everywhere, determined by some non-principal ultrafilter F on N. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 3 / 24
9 Introduction - limit constructions, algebraically Non-standard analysis: an algebraic way to handle limit constructions 2. (a) Natural numbers are unbounded, and hence: (i) infinite non-standard natural numbers exist (ii) any sequence has an non-standard extension to infinite natural indices 2 Regardless of topological convergence. The sceptics out there might prefer to think directly in terms of the ultraproduct construction: we work in spaces of sequences, quotiented by a notion of asymptotic equality, or equality almost everywhere, determined by some non-principal ultrafilter F on N. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 3 / 24
10 Introduction - limit constructions, algebraically Non-standard analysis: an algebraic way to handle limit constructions 2. (a) Natural numbers are unbounded, and hence: (i) infinite non-standard natural numbers exist (ii) any sequence has an non-standard extension to infinite natural indices (b) Algebraic manipulation of series (without taking limits): (i) consider a sequence of partial sums a n := n j=1 b j (ii) extend it to obtain infinite sums ν j=1 b j, where ν is infinite natural 2 Regardless of topological convergence. The sceptics out there might prefer to think directly in terms of the ultraproduct construction: we work in spaces of sequences, quotiented by a notion of asymptotic equality, or equality almost everywhere, determined by some non-principal ultrafilter F on N. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 3 / 24
11 Introduction - limit constructions, algebraically Non-standard analysis: an algebraic way to handle limit constructions 2. (a) Natural numbers are unbounded, and hence: (i) infinite non-standard natural numbers exist (ii) any sequence has an non-standard extension to infinite natural indices (b) Algebraic manipulation of series (without taking limits): (i) consider a sequence of partial sums a n := n j=1 b j (ii) extend it to obtain infinite sums ν j=1 b j, where ν is infinite natural (c) Some genuinely new finite vectors arise in non-standard Hilbert spaces: e.g. 1 ν { ν e n form an orthonormal basis e n, where ν is an infinite natural n=1 2 Regardless of topological convergence. The sceptics out there might prefer to think directly in terms of the ultraproduct construction: we work in spaces of sequences, quotiented by a notion of asymptotic equality, or equality almost everywhere, determined by some non-principal ultrafilter F on N. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 3 / 24
12 Introduction - the Transfer Theorem The heavy lifting in non-standard analysis is done by the following result. Theorem (Transfer Theorem) A sentence ϕ holds in the standard model M of some theory with quantifiers ranging over standard elements, functions, relations and subsets if and only if the sentence ϕ holds in any/all non-standard models M of the theory with quantifiers ranging over internal non-standard elements, functions, relations and subsets. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 4 / 24
13 Introduction - the Transfer Theorem Example (Natural predecessors) Consider the sentence defining predecessors in the natural numbers: n N. [ n 0 [ m N. n = m + 1] ] By TT, the following sentence holds in the non-standard model N: n N. [ n 0 [ m N. n = m + 1] ] Hence all non-zero non-standard naturals have predecessors. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 5 / 24
14 Introduction - the Transfer Theorem Example (Well-ordering of naturals) Consider the sentence defining the well-order property for the natural numbers, i.e. saying that every non-empty subset of N has a minimum: A N. [A [ m A. a A.m a ]] By TT, the following sentence holds in the non-standard model N: [ A N. A [ m A. a A.m a ]] Hence all non-empty internal subsets A N have a minimum. (The requirement that A be internal is key here: e.g. the subset of all infinite non-standard naturals has no minimum, but it is also not internal.) S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 6 / 24
15 Introduction - the Transfer Theorem Example (Partial sums) Consider the sentence defining the sequence s : N R of partial sums for every sequence f : N R in the standard model R: f : N R. s : N R. [ s(0) = f (0) [ n N.s(n + 1) = s(n) + f (n + 1)] ] By TT, the following sentence holds in the non-standard model R: f : N R. s : N R. [ s(0) = f (0) [ n N.s(n + 1) = s(n) + f (n + 1)] ] Hence every internal sequence f : N R admits a corresponding internal sequence of partial sums s : N R, i.e. the notation m n=0 f (n) is legitimate for all m N. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 7 / 24
16 The category Hilb - objects Objects are pairs H := ( H, P H ) specified by the following data: S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 8 / 24
17 The category Hilb - objects Objects are pairs H := ( H, P H ) specified by the following data: (i) a non-standard Hilbert space H (the underlying Hilbert space); S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 8 / 24
18 The category Hilb - objects Objects are pairs H := ( H, P H ) specified by the following data: (i) a non-standard Hilbert space H (the underlying Hilbert space); (ii) an internal non-standard linear map P H : H H such that: S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 8 / 24
19 The category Hilb - objects Objects are pairs H := ( H, P H ) specified by the following data: (i) a non-standard Hilbert space H (the underlying Hilbert space); (ii) an internal non-standard linear map P H : H H such that: P H is a self-adjoint idempotent (the truncating projector); S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 8 / 24
20 The category Hilb - objects Objects are pairs H := ( H, P H ) specified by the following data: (i) a non-standard Hilbert space H (the underlying Hilbert space); (ii) an internal non-standard linear map P H : H H such that: P H is a self-adjoint idempotent (the truncating projector); there are a non-standard natural D N and a family ( e d ) D d=1 of non-standard vectors in H (an orthonormal basis for H) such that P H = D e d e d d=1 S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 8 / 24
21 The category Hilb - objects Objects are pairs H := ( H, P H ) specified by the following data: (i) a non-standard Hilbert space H (the underlying Hilbert space); (ii) an internal non-standard linear map P H : H H such that: P H is a self-adjoint idempotent (the truncating projector); there are a non-standard natural D N and a family ( e d ) D d=1 of non-standard vectors in H (an orthonormal basis for H) such that P H = D e d e d By Transfer Theorem we have that D is unique, and we define the dimension of object H to be the non-standard natural dim H := D. d=1 S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 8 / 24
22 The category Hilb - morphisms Morphisms F : H K in Hilb are the those internal non-standard linear maps F : H K such that: P K F P H = F S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 9 / 24
23 The category Hilb - morphisms Morphisms F : H K in Hilb are the those internal non-standard linear maps F : H K such that: P K F P H = F In particular, the identity for an object H is the truncating projector: id H := P H S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 9 / 24
24 The category Hilb - morphisms Morphisms F : H K in Hilb are the those internal non-standard linear maps F : H K such that: P K F P H = F In particular, the identity for an object H is the truncating projector: id H := P H This makes Hilb a full subcategory of the Karoubi envelope for the category of non-standard Hilbert spaces and C-linear maps. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 9 / 24
25 The category Hilb - -symmetric monoidal structure Morphisms F : H K in Hilb can be expressed as matrices with non-standard dimensions, using orthonormal bases for H and K: F = dim K d =1 dim H d=1 e d F d d e d S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 10 / 24
26 The category Hilb - -symmetric monoidal structure Morphisms F : H K in Hilb can be expressed as matrices with non-standard dimensions, using orthonormal bases for H and K: F = dim K d =1 dim H d=1 e d F d d e d In particular, the identity on H can be expressed as follows: id H = dim H d=1 e d e d S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 10 / 24
27 The category Hilb - -symmetric monoidal structure Morphisms F : H K in Hilb can be expressed as matrices with non-standard dimensions, using orthonormal bases for H and K: F = dim K d =1 dim H d=1 e d F d d e d In particular, the identity on H can be expressed as follows: id H = dim H d=1 e d e d Equipped with Kronecker product, conjugate transpose, and the C-linear structure of matrices, Hilb is an enriched -symmetric monoidal category, with C as its field of scalars. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 10 / 24
28 The category Hilb - some classical structures If e d dim H d=1 is an orthonormal basis for H, the following comultiplication and counit define a unital special commutative -Frobenius algebra on H: := dim H d=1 e d e d e d := e d dim H d=1 S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 11 / 24
29 The category Hilb - some classical structures If e d dim H d=1 is an orthonormal basis for H, the following comultiplication and counit define a unital special commutative -Frobenius algebra on H: := dim H d=1 e d e d e d := e d dim H d=1 When e d dim d=1 H is the non-standard extension of a standard complete orthonormal basis e d d=1, the comultiplication is the non-standard extension of the standard isometry given by the H*-algebra associated with e d d=1. In that case, the counit is the genuinely non-standard object. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 11 / 24
30 The category Hilb - dagger compact structure (i) Consider an object H, and a decomposition P H = dim H d=1 e d e d of its truncating projector in terms of some orthonormal basis of H. 3 By Transfer Theorem, this definition is independent of the choice of basis. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 12 / 24
31 The category Hilb - dagger compact structure (i) Consider an object H, and a decomposition P H = dim H d=1 e d e d of its truncating projector in terms of some orthonormal basis of H. (ii) Let ξ d be the state in H corresponding to the effect e d in H. 3 By Transfer Theorem, this definition is independent of the choice of basis. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 12 / 24
32 The category Hilb - dagger compact structure (i) Consider an object H, and a decomposition P H = dim H d=1 e d e d of its truncating projector in terms of some orthonormal basis of H. (ii) Let ξ d be the state in H corresponding to the effect e d in H. (iii) The dual object is defined by H := ( H, P H ), where we let 3 : P H := dim H d=1 ξ d ξ d 3 By Transfer Theorem, this definition is independent of the choice of basis. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 12 / 24
33 The category Hilb - dagger compact structure (i) Consider an object H, and a decomposition P H = dim H d=1 e d e d of its truncating projector in terms of some orthonormal basis of H. (ii) Let ξ d be the state in H corresponding to the effect e d in H. (iii) The dual object is defined by H := ( H, P H ), where we let 3 : P H := dim H d=1 ξ d ξ d (iv) Cups and caps can then be defined as follows: dim H := ξ n e n := dim H n=1 n=1 e n ξ n 3 By Transfer Theorem, this definition is independent of the choice of basis. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 12 / 24
34 The category Hilb - dagger compact structure (i) Consider an object H, and a decomposition P H = dim H d=1 e d e d of its truncating projector in terms of some orthonormal basis of H. (ii) Let ξ d be the state in H corresponding to the effect e d in H. (iii) The dual object is defined by H := ( H, P H ), where we let 3 : P H := dim H d=1 ξ d ξ d (iv) Cups and caps can then be defined as follows: dim H := ξ n e n := dim H n=1 n=1 e n ξ n (v) The category-theoretic dimension for H is Tr P H = dim H. 3 By Transfer Theorem, this definition is independent of the choice of basis. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 12 / 24
35 Case study - wavefunctions with periodic boundary Wavefunctions in an n-dimensional box with periodic boundary conditions. (i) Underlying Hilbert space L 2 [ ( R/Z ) n ]. (ii) Complete orthonormal basis of momentum eigenstates: i2π k x χ k := x e (iii) Dimension D := (2ω + 1) n, where ω is some infinite natural. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 13 / 24
36 Case study - wavefunctions with periodic boundary Wavefunctions in an n-dimensional box with periodic boundary conditions. (i) Underlying Hilbert space L 2 [ ( R/Z ) n ]. (ii) Complete orthonormal basis of momentum eigenstates: i2π k x χ k := x e (iii) Dimension D := (2ω + 1) n, where ω is some infinite natural. Classical structure corresponding to the momentum observable: := +ω k 1= ω... +ω k n= ω χ k χ k χ k := +ω k 1= ω... +ω k n= ω χ k S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 13 / 24
37 Case study - wavefunctions with periodic boundary The following multiplication and unit define a unital quasi-special commutative -Frobenius algebra, with normalisation factor (2ω + 1) n : +ω +ω :=... χ k+h χ k χ h := χ 0 k 1,h 1= ω k n,h n= ω S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 14 / 24
38 Case study - wavefunctions with periodic boundary The following multiplication and unit define a unital quasi-special commutative -Frobenius algebra, with normalisation factor (2ω + 1) n : +ω +ω :=... χ k+h χ k χ h := χ 0 k 1,h 1= ω k n,h n= ω The addition used here is that of the abelian group Z n 2ω+1 : from the point of view of Z n, it is cyclic on { ω,..., +ω} n ; from the point of view of Z n, it cycles beyond infinity. In particular, it contains Z n as a proper subgroup. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 14 / 24
39 Case study - wavefunctions with periodic boundary The classical states for are those in the following form, where x takes the form x = 1 2ω+1 q for some q Z n 1 2ω+1 (i.e. we have x 2ω+1 Z n 2ω+1 ): δ x := +ω k 1 = ω... +ω k n= ω χ k (x) χ k S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 15 / 24
40 Case study - wavefunctions with periodic boundary The classical states for are those in the following form, where x takes the form x = 1 2ω+1 q for some q Z n 1 2ω+1 (i.e. we have x 2ω+1 Z n 2ω+1 ): δ x := +ω k 1 = ω... +ω k n= ω χ k (x) χ k The classical states for behave as Dirac deltas: δ x0 f f (x 0 ), for near-standard smooth f and near-standard x 0 We call them the position eigenstates, and the position observable. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 15 / 24
41 Interlude - approximating tori by periodic lattices The requirement that x 1 2ω+1 Z n 2ω+1 for position eigenstates δ x is a consequence of the fact that the functions χ k are multiplicative characters of Z n, but not necessarily of Z n 2ω+1. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 16 / 24
42 Interlude - approximating tori by periodic lattices The requirement that x 1 2ω+1 Z n 2ω+1 for position eigenstates δ x is a consequence of the fact that the functions χ k are multiplicative characters of Z n, but not necessarily of Z n 2ω+1. An undesirable extra phase e i2π(2ω+1)s x (for generic s j { 1, 0, +1}) appears when equation δ x = δ x δ x is expanded, and this phase cancels out in general if and only if x 1 2ω+1 Z n 2ω+1. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 16 / 24
43 Interlude - approximating tori by periodic lattices The requirement that x 1 2ω+1 Z n 2ω+1 for position eigenstates δ x is a consequence of the fact that the functions χ k are multiplicative characters of Z n, but not necessarily of Z n 2ω+1. An undesirable extra phase e i2π(2ω+1)s x (for generic s j { 1, 0, +1}) appears when equation δ x = δ x δ x is expanded, and this phase cancels out in general if and only if x 1 2ω+1 Z n 2ω+1. 1 From the non-standard point of view, 2ω+1 Z n 2ω+1 is a periodic lattice 1 of infinitesimal mesh 2ω+1 in the non-standard torus (R/Z) n. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 16 / 24
44 Interlude - approximating tori by periodic lattices The requirement that x 1 2ω+1 Z n 2ω+1 for position eigenstates δ x is a consequence of the fact that the functions χ k are multiplicative characters of Z n, but not necessarily of Z n 2ω+1. An undesirable extra phase e i2π(2ω+1)s x (for generic s j { 1, 0, +1}) appears when equation δ x = δ x δ x is expanded, and this phase cancels out in general if and only if x 1 2ω+1 Z n 2ω+1. 1 From the non-standard point of view, 2ω+1 Z n 2ω+1 is a periodic lattice 1 of infinitesimal mesh 2ω+1 in the non-standard torus (R/Z) n. 1 From the standard point of view, 2ω+1 Z n 2ω+1 approximates all elements of the standard torus (R/Z) n up to infinitesimal equivalence. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 16 / 24
45 Case study - wavefunctions with periodic boundary The position and momentum observables are strongly complementary, a manifestation of the Weyl Canonical Commutation Relations. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 17 / 24
46 Case study - wavefunctions with periodic boundary The position and momentum observables are strongly complementary, a manifestation of the Weyl Canonical Commutation Relations. Position observable defined by the group algebra for boosts B k. Momentum observable acts as the group algebra for translations T x : ( { } δ x x 1 ) ( Z n 2ω+1,, = 1 ) Z n 2ω + 1 2ω + 1 2ω+1, +, 0 S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 17 / 24
47 Case study - wavefunctions with periodic boundary The position and momentum observables are strongly complementary, a manifestation of the Weyl Canonical Commutation Relations. Position observable defined by the group algebra for boosts B k. Momentum observable acts as the group algebra for translations T x : ( { } δ x x 1 ) ( Z n 2ω+1,, = 1 ) Z n 2ω + 1 2ω + 1 2ω+1, +, 0 The Weyl Canonical Commutation Relations in graphical form: δ x χ k = δ x χ k χ k δ x T x B k χ k (x) B k T x S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 17 / 24
48 Case study - wavefunctions on lattices Wavefunctions on an n-dimensional lattice Z n. (i) Underlying Hilbert space L 2 [Z n ]. (ii) Complete orthonormal basis of position eigenstates: { 1 if k = h δ k := h 0 otherwise (iii) Dimension D := (2ω + 1) n, where ω is some infinite natural. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 18 / 24
49 Case study - wavefunctions on lattices Wavefunctions on an n-dimensional lattice Z n. (i) Underlying Hilbert space L 2 [Z n ]. (ii) Complete orthonormal basis of position eigenstates: { 1 if k = h δ k := h 0 otherwise (iii) Dimension D := (2ω + 1) n, where ω is some infinite natural. Classical structure corresponding to the position observable: := +ω k 1= ω... +ω k n= ω δ k δ k δ k := +ω k 1= ω... +ω k n= ω δ k S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 18 / 24
50 Case study - wavefunctions on lattices The following multiplication and unit define a unital quasi-special commutative -Frobenius algebra, with normalisation factor (2ω + 1) n : +ω +ω :=... δ k+h δ k δ h := δ 0 k 1,h 1= ω k n,h n= ω S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 19 / 24
51 Case study - wavefunctions on lattices The following multiplication and unit define a unital quasi-special commutative -Frobenius algebra, with normalisation factor (2ω + 1) n : +ω +ω :=... δ k+h δ k δ h := δ 0 k 1,h 1= ω k n,h n= ω Its classical states are those in the following form, for x 1 2ω+1 Z n 2ω+1 : χ x := +ω k 1 = ω... +ω k n= ω e i2π k x δ k We call them the momentum eigenstates (they are self-evidently plane-waves), and the momentum observable. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 19 / 24
52 Case study - wavefunctions on lattices The following multiplication and unit define a unital quasi-special commutative -Frobenius algebra, with normalisation factor (2ω + 1) n : +ω +ω :=... δ k+h δ k δ h := δ 0 k 1,h 1= ω k n,h n= ω Its classical states are those in the following form, for x 1 2ω+1 Z n 2ω+1 : χ x := +ω k 1 = ω... +ω k n= ω e i2π k x δ k We call them the momentum eigenstates (they are self-evidently plane-waves), and the momentum observable. Once again, position and momentum observables are strongly complementary. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 19 / 24
53 Interlude - approximating real space by lattices A common trick in non-standard analysis sees standard real space approximated by non-standard lattices of infinitesimal mesh. 4 For the sceptics out there: an odd non-standard natural κ N is an equivalence class κ = [(k i ) i N ] of sequences the elements of which are asymptotically odd, or odd almost everywhere, according to the chosen non-principal ultrafilter F on N. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 20 / 24
54 Interlude - approximating real space by lattices A common trick in non-standard analysis sees standard real space approximated by non-standard lattices of infinitesimal mesh. (i) Fix two odd 4 infinite naturals ω uv, ω ir N. 4 For the sceptics out there: an odd non-standard natural κ N is an equivalence class κ = [(k i ) i N ] of sequences the elements of which are asymptotically odd, or odd almost everywhere, according to the chosen non-principal ultrafilter F on N. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 20 / 24
55 Interlude - approximating real space by lattices A common trick in non-standard analysis sees standard real space approximated by non-standard lattices of infinitesimal mesh. (i) Fix two odd 4 infinite naturals ω uv, ω ir N. (ii) Write ω uv ω ir = 2ω + 1 for some (unique) infinite natural ω N. 4 For the sceptics out there: an odd non-standard natural κ N is an equivalence class κ = [(k i ) i N ] of sequences the elements of which are asymptotically odd, or odd almost everywhere, according to the chosen non-principal ultrafilter F on N. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 20 / 24
56 Interlude - approximating real space by lattices A common trick in non-standard analysis sees standard real space approximated by non-standard lattices of infinitesimal mesh. (i) Fix two odd 4 infinite naturals ω uv, ω ir N. (ii) Write ω uv ω ir = 2ω + 1 for some (unique) infinite natural ω N. (iii) Consider the periodic lattice 1 ω uv Z n 2ω+1 of infinitesimal mesh in the non-standard torus ( R/ω ir Z) n. 4 For the sceptics out there: an odd non-standard natural κ N is an equivalence class κ = [(k i ) i N ] of sequences the elements of which are asymptotically odd, or odd almost everywhere, according to the chosen non-principal ultrafilter F on N. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 20 / 24
57 Interlude - approximating real space by lattices A common trick in non-standard analysis sees standard real space approximated by non-standard lattices of infinitesimal mesh. (i) Fix two odd 4 infinite naturals ω uv, ω ir N. (ii) Write ω uv ω ir = 2ω + 1 for some (unique) infinite natural ω N. (iii) Consider the periodic lattice 1 ω uv Z n 2ω+1 of infinitesimal mesh in the non-standard torus ( R/ω ir Z) n. (iv) The standard reals R are recovered by restricting to the (aperiodic) 1 sub-lattice of finite elements ω uv Z n 2ω+1 ( R 0 /ω ir Z) n, and then quotienting by infinitesimal equivalence : R = ( 1 ω uv Z n 2ω+1 ( R 0 /ω ir Z) n)/ 4 For the sceptics out there: an odd non-standard natural κ N is an equivalence class κ = [(k i ) i N ] of sequences the elements of which are asymptotically odd, or odd almost everywhere, according to the chosen non-principal ultrafilter F on N. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 20 / 24
58 Case study - wavefunctions in real space Wavefunctions in n-dimensional real space R n. (i) Underlying Hilbert space L 2 [R n ]. (ii) Orthonormal set of non-standard momentum eigenstates: χ p := x 1 ωuv e i2π (p x), for all p 1 ω uv Z n 2ω+1 (iii) Dimension D := (2ω + 1) n, where 2ω + 1 = ω uv ω ir. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 21 / 24
59 Case study - wavefunctions in real space Wavefunctions in n-dimensional real space R n. (i) Underlying Hilbert space L 2 [R n ]. (ii) Orthonormal set of non-standard momentum eigenstates: χ p := x 1 ωuv e i2π (p x), for all p 1 ω uv Z n 2ω+1 (iii) Dimension D := (2ω + 1) n, where 2ω + 1 = ω uv ω ir. Classical structure corresponding to the momentum observable: := +ω ir... p 1= ω ir +ω ir p n= ω ir χ p χ p χ p := +ω ir... p 1= ω ir +ω ir p n= ω ir χ p S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 21 / 24
60 Case study - wavefunctions in real space The following multiplication and unit define a unital quasi-special commutative -Frobenius algebra, with normalisation factor (2ω + 1) n : +ω ir +ω ir :=... χ p+q χ p χ q := χ 0 p 1,q 1= ω ir p n,q n= ω ir S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 22 / 24
61 Case study - wavefunctions in real space The following multiplication and unit define a unital quasi-special commutative -Frobenius algebra, with normalisation factor (2ω + 1) n : +ω ir +ω ir :=... χ p+q χ p χ q := χ 0 p 1,q 1= ω ir p n,q n= ω ir Its classical states are those in the following form, for x 1 ω ir Z n 2ω+1 : δ x := +ω ir p 1 = ω ir... +ω ir p n= ω ir χ p (x) χ p Once again, the classical states for them the position eigenstates, and behave as Dirac deltas, so we call the position observable. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 22 / 24
62 Case study - wavefunctions in real space The following multiplication and unit define a unital quasi-special commutative -Frobenius algebra, with normalisation factor (2ω + 1) n : +ω ir +ω ir :=... χ p+q χ p χ q := χ 0 p 1,q 1= ω ir p n,q n= ω ir Its classical states are those in the following form, for x 1 ω ir Z n 2ω+1 : δ x := +ω ir p 1 = ω ir... +ω ir p n= ω ir χ p (x) χ p Once again, the classical states for behave as Dirac deltas, so we call them the position eigenstates, and the position observable. And once again the position and momentum observables are strongly complementary. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 22 / 24
63 More stuff out there, and a lot more to come The framework already covers a lot more material: quantum fields on infinite lattices (non-separable); quantum fields in real spaces (non-separable); quantum algorithm for the Hidden Subgroup Problem on Z n ; Mermin-type non-locality arguments for infinite-dimensional systems. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 23 / 24
64 More stuff out there, and a lot more to come The framework already covers a lot more material: quantum fields on infinite lattices (non-separable); quantum fields in real spaces (non-separable); quantum algorithm for the Hidden Subgroup Problem on Z n ; Mermin-type non-locality arguments for infinite-dimensional systems. And even more material is currently being worked out: position/momentum duality, quantum symmetries and dynamics; applications to other quantum protocols (e.g. RFI quantum teleport n); wavefunctions/fields over general locally compact abelian Lie groups; wavefunctions/fields over Minkowski space; connections with Feynman diagrams. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 23 / 24
65 Thank You! Thanks for Your Attention! Any Questions? S Gogioso, F Genovese. Infinite-dimensional CQM. arxiv: S Gogioso, F Genovese. Towards Quantum Field Theory in CQM 5. arxiv: v2 S Abramsky, C Heunen. H*-algebras and nonunital FAs. arxiv: A Robinson. Non-standard analysis. Princeton University Press, 1974 CQM := Categorical Quantum Mechanics FA := Frobenius algebra 5 This is a revised and extended version, and will be out by the end of the week. S Gogioso, F Genovese (Oxford) Infinite-dimensional CQM CLAP Scotland 24 / 24
Categories and Quantum Informatics: Hilbert spaces
Categories and Quantum Informatics: Hilbert spaces Chris Heunen Spring 2018 We introduce our main example category Hilb by recalling in some detail the mathematical formalism that underlies quantum theory:
More informationFourier transforms from strongly complementary observables
Fourier transforms from strongly complementary observables Stefano Gogioso William Zeng Quantum Group, Department of Computer Science University of Oxford, UK stefano.gogioso@cs.ox.ac.uk william.zeng@cs.ox.ac.uk
More informationCategorical quantum mechanics
Categorical quantum mechanics Chris Heunen 1 / 76 Categorical Quantum Mechanics? Study of compositional nature of (physical) systems Primitive notion: forming compound systems 2 / 76 Categorical Quantum
More informationCategories and Quantum Informatics
Categories and Quantum Informatics Week 6: Frobenius structures Chris Heunen 1 / 41 Overview Frobenius structure: interacting co/monoid, self-duality Normal forms: coherence theorem Frobenius law: coherence
More informationEndomorphism Semialgebras in Categorical Quantum Mechanics
Endomorphism Semialgebras in Categorical Quantum Mechanics Kevin Dunne University of Strathclyde November 2016 Symmetric Monoidal Categories Definition A strict symmetric monoidal category (A,, I ) consists
More informationThe semantics of algebraic quantum mechanics and the role of model theory.
The semantics of algebraic quantum mechanics and the role of model theory. B. Zilber University of Oxford August 6, 2016 B.Zilber, The semantics of the canonical commutation relations arxiv.org/abs/1604.07745
More informationCategorical relativistic quantum theory. Chris Heunen Pau Enrique Moliner Sean Tull
Categorical relativistic quantum theory Chris Heunen Pau Enrique Moliner Sean Tull 1 / 15 Idea Hilbert modules: naive quantum field theory Idempotent subunits: base space in any category Support: where
More informationmsqm 2011/8/14 21:35 page 189 #197
msqm 2011/8/14 21:35 page 189 #197 Bibliography Dirac, P. A. M., The Principles of Quantum Mechanics, 4th Edition, (Oxford University Press, London, 1958). Feynman, R. P. and A. P. Hibbs, Quantum Mechanics
More informationDualities in Mathematics: Locally compact abelian groups
Dualities in Mathematics: Locally compact abelian groups Part III: Pontryagin Duality Prakash Panangaden 1 1 School of Computer Science McGill University Spring School, Oxford 20-22 May 2014 Recall Gelfand
More informationThe semantics of non-commutative geometry and quantum mechanics.
The semantics of non-commutative geometry and quantum mechanics. B. Zilber University of Oxford July 30, 2014 1 Dualities in logic and geometry 2 The Weyl-Heisenberg algebra 3 Calculations Tarskian duality
More informationThus we get. ρj. Nρj i = δ D(i),j.
1.51. The distinguished invertible object. Let C be a finite tensor category with classes of simple objects labeled by a set I. Since duals to projective objects are projective, we can define a map D :
More informationCategorical Models for Quantum Computing
Categorical odels for Quantum Computing Linde Wester Worcester College University of Oxford thesis submitted for the degree of Sc in athematics and the Foundations of Computer Science September 2013 cknowledgements
More informationThe geometrical semantics of algebraic quantum mechanics
The geometrical semantics of algebraic quantum mechanics B. Zilber University of Oxford November 29, 2016 B.Zilber, The semantics of the canonical commutation relations arxiv.org/abs/1604.07745 The geometrical
More informationDiagrammatic Methods for the Specification and Verification of Quantum Algorithms
Diagrammatic Methods or the Speciication and Veriication o Quantum lgorithms William Zeng Quantum Group Department o Computer Science University o Oxord Quantum Programming and Circuits Workshop IQC, University
More informationMAT 445/ INTRODUCTION TO REPRESENTATION THEORY
MAT 445/1196 - INTRODUCTION TO REPRESENTATION THEORY CHAPTER 1 Representation Theory of Groups - Algebraic Foundations 1.1 Basic definitions, Schur s Lemma 1.2 Tensor products 1.3 Unitary representations
More informationA Graph Theoretic Perspective on CPM(Rel)
A Graph Theoretic Perspective on CPM(Rel) Daniel Marsden Mixed states are of interest in quantum mechanics for modelling partial information. More recently categorical approaches to linguistics have also
More informationLecture Notes 2: Review of Quantum Mechanics
Quantum Field Theory for Leg Spinners 18/10/10 Lecture Notes 2: Review of Quantum Mechanics Lecturer: Prakash Panangaden Scribe: Jakub Závodný This lecture will briefly review some of the basic concepts
More informationNOTES ON ATIYAH S TQFT S
NOTES ON ATIYAH S TQFT S J.P. MAY As an example of categorification, I presented Atiyah s axioms [1] for a topological quantum field theory (TQFT) to undergraduates in the University of Chicago s summer
More informationLectures on the Orbit Method
Lectures on the Orbit Method A. A. Kirillov Graduate Studies in Mathematics Volume 64 American Mathematical Society Providence, Rhode Island Preface Introduction xv xvii Chapter 1. Geometry of Coadjoint
More informationQuantising noncompact Spin c -manifolds
Quantising noncompact Spin c -manifolds Peter Hochs University of Adelaide Workshop on Positive Curvature and Index Theory National University of Singapore, 20 November 2014 Peter Hochs (UoA) Noncompact
More informationBRST and Dirac Cohomology
BRST and Dirac Cohomology Peter Woit Columbia University Dartmouth Math Dept., October 23, 2008 Peter Woit (Columbia University) BRST and Dirac Cohomology October 2008 1 / 23 Outline 1 Introduction 2 Representation
More informationCategorical quantum channels
Attacking the quantum version of with category theory Ian T. Durham Department of Physics Saint Anselm College 19 March 2010 Acknowledgements Some of this work has been the result of some preliminary collaboration
More informationMath 210C. The representation ring
Math 210C. The representation ring 1. Introduction Let G be a nontrivial connected compact Lie group that is semisimple and simply connected (e.g., SU(n) for n 2, Sp(n) for n 1, or Spin(n) for n 3). Let
More informationWe then have an analogous theorem. Theorem 1.2.
1. K-Theory of Topological Stacks, Ryan Grady, Notre Dame Throughout, G is sufficiently nice: simple, maybe π 1 is free, or perhaps it s even simply connected. Anyway, there are some assumptions lurking.
More informationBases as Coalgebras. Bart Jacobs
Bases as Coalgebras Bart Jacobs Institute for Computing and Information Sciences (icis), Radboud University Nijmegen, The Netherlands. Webaddress: www.cs.ru.nl/b.jacobs Abstract. The free algebra adjunction,
More informationTopics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem
Topics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem 1 Fourier Analysis, a review We ll begin with a short review of simple facts about Fourier analysis, before going on to interpret
More informationWhy do we do representation theory?
Why do we do representation theory? V. S. Varadarajan University of California, Los Angeles, CA, USA Bologna, September 2008 Abstract Years ago representation theory was a very specialized field, and very
More informationWhat is the Langlands program all about?
What is the Langlands program all about? Laurent Lafforgue November 13, 2013 Hua Loo-Keng Distinguished Lecture Academy of Mathematics and Systems Science, Chinese Academy of Sciences This talk is mainly
More informationEinstein-Hilbert action on Connes-Landi noncommutative manifolds
Einstein-Hilbert action on Connes-Landi noncommutative manifolds Yang Liu MPIM, Bonn Analysis, Noncommutative Geometry, Operator Algebras Workshop June 2017 Motivations and History Motivation: Explore
More informationQuantum Symmetries in Free Probability Theory. Roland Speicher Queen s University Kingston, Canada
Quantum Symmetries in Free Probability Theory Roland Speicher Queen s University Kingston, Canada Quantum Groups are generalizations of groups G (actually, of C(G)) are supposed to describe non-classical
More informationInstitut für Mathematik, Universität Wien, Strudlhofgasse 4, A-1090 Wien, Austria.
Letters in Math. Phys. 28 (1993), 251 255 A QUANTUM GROUP LIKE STRUCTURE ON NON COMMUTATIVE 2 TORI Andreas Cap Peter W. Michor Hermann Schichl Institut für Mathematik, Universität Wien, Strudlhofgasse
More information1 Categorical Background
1 Categorical Background 1.1 Categories and Functors Definition 1.1.1 A category C is given by a class of objects, often denoted by ob C, and for any two objects A, B of C a proper set of morphisms C(A,
More informationAbstract structure of unitary oracles for quantum algorithms
Abstract structure o unitary oracles or quantum algorithms William Zeng 1 Jamie Vicary 2 1 Department o Computer Science University o Oxord 2 Centre or Quantum Technologies, University o Singapore and
More informationGROUP THEORY IN PHYSICS
GROUP THEORY IN PHYSICS Wu-Ki Tung World Scientific Philadelphia Singapore CONTENTS CHAPTER 1 CHAPTER 2 CHAPTER 3 CHAPTER 4 PREFACE INTRODUCTION 1.1 Particle on a One-Dimensional Lattice 1.2 Representations
More informationClifford Algebras and Spin Groups
Clifford Algebras and Spin Groups Math G4344, Spring 2012 We ll now turn from the general theory to examine a specific class class of groups: the orthogonal groups. Recall that O(n, R) is the group of
More informationWeyl Group Representations and Unitarity of Spherical Representations.
Weyl Group Representations and Unitarity of Spherical Representations. Alessandra Pantano, University of California, Irvine Windsor, October 23, 2008 β ν 1 = ν 2 S α S β ν S β ν S α ν S α S β S α S β ν
More informationIntroduction to the Baum-Connes conjecture
Introduction to the Baum-Connes conjecture Nigel Higson, John Roe PSU NCGOA07 Nigel Higson, John Roe (PSU) Introduction to the Baum-Connes conjecture NCGOA07 1 / 15 History of the BC conjecture Lecture
More informationOperational Theories and Categorical Quantum Mechanics
Operational Theories and Categorical Quantum Mechanics Samson Abramsky and Chris Heunen Department of Computer Science University of Oxford June 7, 2013 Abstract A central theme in current work in quantum
More informationThe quantum state as a vector
The quantum state as a vector February 6, 27 Wave mechanics In our review of the development of wave mechanics, we have established several basic properties of the quantum description of nature:. A particle
More informationPicturing Quantum Processes,
Bob Coecke & Aleks Kissinger, Picturing Quantum Processes, Cambridge University Press, to appear. Bob: Ch. 01 Processes as diagrams Ch. 02 String diagrams Ch. 03 Hilbert space from diagrams Ch. 04 Quantum
More informationLECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O
LECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O CHRISTOPHER RYBA Abstract. These are notes for a seminar talk given at the MIT-Northeastern Category O and Soergel Bimodule seminar (Autumn
More informationAHAHA: Preliminary results on p-adic groups and their representations.
AHAHA: Preliminary results on p-adic groups and their representations. Nate Harman September 16, 2014 1 Introduction and motivation Let k be a locally compact non-discrete field with non-archimedean valuation
More informationk=0 /D : S + S /D = K 1 2 (3.5) consistently with the relation (1.75) and the Riemann-Roch-Hirzebruch-Atiyah-Singer index formula
20 VASILY PESTUN 3. Lecture: Grothendieck-Riemann-Roch-Hirzebruch-Atiyah-Singer Index theorems 3.. Index for a holomorphic vector bundle. For a holomorphic vector bundle E over a complex variety of dim
More informationAbelian Varieties and the Fourier Mukai transformations (Foschungsseminar 2005)
Abelian Varieties and the Fourier Mukai transformations (Foschungsseminar 2005) U. Bunke April 27, 2005 Contents 1 Abelian varieties 2 1.1 Basic definitions................................. 2 1.2 Examples
More informationLinear Algebra and Dirac Notation, Pt. 1
Linear Algebra and Dirac Notation, Pt. 1 PHYS 500 - Southern Illinois University February 1, 2017 PHYS 500 - Southern Illinois University Linear Algebra and Dirac Notation, Pt. 1 February 1, 2017 1 / 13
More informationThe Spinor Representation
The Spinor Representation Math G4344, Spring 2012 As we have seen, the groups Spin(n) have a representation on R n given by identifying v R n as an element of the Clifford algebra C(n) and having g Spin(n)
More informationLemma 1.3. The element [X, X] is nonzero.
Math 210C. The remarkable SU(2) Let G be a non-commutative connected compact Lie group, and assume that its rank (i.e., dimension of maximal tori) is 1; equivalently, G is a compact connected Lie group
More informationIntertwining integrals on completely solvable Lie groups
s on s on completely solvable Lie June 16, 2011 In this talk I shall explain a topic which interests me in my collaboration with Ali Baklouti and Jean Ludwig. s on In this talk I shall explain a topic
More informationOn model theory, non-commutative geometry and physics. B. Zilber. University of Oxford. zilber/
On model theory, non-commutative geometry and physics B. Zilber University of Oxford http://www.maths.ox.ac.uk/ zilber/ 1 Plan I. Generalities on physics, logical hierarchy of structures and Zariski geometries.
More informationQuantum Quandaries: A Category Theoretic Perspective
Quantum Quandaries: A Category Theoretic Perspective John C. Baez Les Treilles April 24, 2007 figures by Aaron Lauda for more, see http://math.ucr.edu/home/baez/quantum/ The Big Idea Once upon a time,
More informationQuantum Mechanics for Mathematicians: Energy, Momentum, and the Quantum Free Particle
Quantum Mechanics for Mathematicians: Energy, Momentum, and the Quantum Free Particle Peter Woit Department of Mathematics, Columbia University woit@math.columbia.edu November 28, 2012 We ll now turn to
More informationVery quick introduction to the conformal group and cft
CHAPTER 1 Very quick introduction to the conformal group and cft The world of Conformal field theory is big and, like many theories in physics, it can be studied in many ways which may seem very confusing
More informationLECTURE 3 MATH 261A. Office hours are now settled to be after class on Thursdays from 12 : 30 2 in Evans 815, or still by appointment.
LECTURE 3 MATH 261A LECTURES BY: PROFESSOR DAVID NADLER PROFESSOR NOTES BY: JACKSON VAN DYKE Office hours are now settled to be after class on Thursdays from 12 : 30 2 in Evans 815, or still by appointment.
More informationGeneralized Global Symmetries
Generalized Global Symmetries Anton Kapustin Simons Center for Geometry and Physics, Stony Brook April 9, 2015 Anton Kapustin (Simons Center for Geometry and Physics, Generalized StonyGlobal Brook) Symmetries
More informationNotes 10: Consequences of Eli Cartan s theorem.
Notes 10: Consequences of Eli Cartan s theorem. Version 0.00 with misprints, The are a few obvious, but important consequences of the theorem of Eli Cartan on the maximal tori. The first one is the observation
More informationQUANTUM FIELD THEORY: THE WIGHTMAN AXIOMS AND THE HAAG-KASTLER AXIOMS
QUANTUM FIELD THEORY: THE WIGHTMAN AXIOMS AND THE HAAG-KASTLER AXIOMS LOUIS-HADRIEN ROBERT The aim of the Quantum field theory is to offer a compromise between quantum mechanics and relativity. The fact
More informationCATEGORIES IN CONTROL. John Baez Canadian Mathematical Society Winter Meeting 5 December 2015
CATEGORIES IN CONTROL John Baez Canadian Mathematical Society Winter Meeting 5 December 2015 To understand ecosystems, ultimately will be to understand networks. B. C. Patten and M. Witkamp We need a good
More informationQuantizations and classical non-commutative non-associative algebras
Journal of Generalized Lie Theory and Applications Vol. (008), No., 35 44 Quantizations and classical non-commutative non-associative algebras Hilja Lisa HURU and Valentin LYCHAGIN Department of Mathematics,
More informationTopics in Representation Theory: Roots and Weights
Topics in Representation Theory: Roots and Weights 1 The Representation Ring Last time we defined the maximal torus T and Weyl group W (G, T ) for a compact, connected Lie group G and explained that our
More informationBLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n)
BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n) VERA SERGANOVA Abstract. We decompose the category of finite-dimensional gl (m n)- modules into the direct sum of blocks, show that
More informationMath 210C. Weyl groups and character lattices
Math 210C. Weyl groups and character lattices 1. Introduction Let G be a connected compact Lie group, and S a torus in G (not necessarily maximal). In class we saw that the centralizer Z G (S) of S in
More informationDe Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)
II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the
More informationExercises on chapter 0
Exercises on chapter 0 1. A partially ordered set (poset) is a set X together with a relation such that (a) x x for all x X; (b) x y and y x implies that x = y for all x, y X; (c) x y and y z implies that
More informationMix Unitary Categories
1/31 Mix Unitary Categories Robin Cockett, Cole Comfort, and Priyaa Srinivasan CT2018, Ponta Delgada, Azores Dagger compact closed categories Dagger compact closed categories ( -KCC) provide a categorical
More informationUniversal Properties in Quantum Theory
Universal Properties in Quantum Theory Mathieu Huot ENS Paris-Saclay Sam Staton University of Oxford We argue that notions in quantum theory should have universal properties in the sense of category theory.
More informationFundamental Lemma and Hitchin Fibration
Fundamental Lemma and Hitchin Fibration Gérard Laumon CNRS and Université Paris-Sud May 13, 2009 Introduction In this talk I shall mainly report on Ngô Bao Châu s proof of the Langlands-Shelstad Fundamental
More informationSome algebraic properties of. compact topological groups
Some algebraic properties of compact topological groups 1 Compact topological groups: examples connected: S 1, circle group. SO(3, R), rotation group not connected: Every finite group, with the discrete
More information1 Fields and vector spaces
1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary
More informationManifestly diffeomorphism invariant classical Exact Renormalization Group
Manifestly diffeomorphism invariant classical Exact Renormalization Group Anthony W. H. Preston University of Southampton Supervised by Prof. Tim R. Morris Talk prepared for Asymptotic Safety seminar,
More informationTHE EULER CHARACTERISTIC OF A LIE GROUP
THE EULER CHARACTERISTIC OF A LIE GROUP JAY TAYLOR 1 Examples of Lie Groups The following is adapted from [2] We begin with the basic definition and some core examples Definition A Lie group is a smooth
More informationKähler manifolds and variations of Hodge structures
Kähler manifolds and variations of Hodge structures October 21, 2013 1 Some amazing facts about Kähler manifolds The best source for this is Claire Voisin s wonderful book Hodge Theory and Complex Algebraic
More informationMP463 QUANTUM MECHANICS
MP463 QUANTUM MECHANICS Introduction Quantum theory of angular momentum Quantum theory of a particle in a central potential - Hydrogen atom - Three-dimensional isotropic harmonic oscillator (a model of
More informationIn the beginning God created tensor... as a picture
In the beginning God created tensor... as a picture Bob Coecke coecke@comlab.ox.ac.uk EPSRC Advanced Research Fellow Oxford University Computing Laboratory se10.comlab.ox.ac.uk:8080/bobcoecke/home en.html
More informationThe geometric semantics of algebraic quantum mechanics
The geometric semantics of algebraic quantum mechanics John Alexander Cruz Morales Instituto Nacional de Matemática Pura e Aplicada, IMPA. Estrada Dona Castorina 110. Rio de Janeiro, 22460-320, Brasil.
More informationThe Structure of Compact Groups
Karl H. Hofmann Sidney A. Morris The Structure of Compact Groups A Primer for the Student A Handbook for the Expert wde G Walter de Gruyter Berlin New York 1998 Chapter 1. Basic Topics and Examples 1 Definitions
More informationBoolean Algebras, Boolean Rings and Stone s Representation Theorem
Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to
More informationIntroduction to Group Theory
Chapter 10 Introduction to Group Theory Since symmetries described by groups play such an important role in modern physics, we will take a little time to introduce the basic structure (as seen by a physicist)
More informationRepresentation theory and quantum mechanics tutorial Spin and the hydrogen atom
Representation theory and quantum mechanics tutorial Spin and the hydrogen atom Justin Campbell August 3, 2017 1 Representations of SU 2 and SO 3 (R) 1.1 The following observation is long overdue. Proposition
More informationALGEBRAIC GROUPS JEROEN SIJSLING
ALGEBRAIC GROUPS JEROEN SIJSLING The goal of these notes is to introduce and motivate some notions from the theory of group schemes. For the sake of simplicity, we restrict to algebraic groups (as defined
More informationAn LMI description for the cone of Lorentz-positive maps II
An LMI description for the cone of Lorentz-positive maps II Roland Hildebrand October 6, 2008 Abstract Let L n be the n-dimensional second order cone. A linear map from R m to R n is called positive if
More informationTr (Q(E)P (F )) = µ(e)µ(f ) (1)
Some remarks on a problem of Accardi G. CASSINELLI and V. S. VARADARAJAN 1. Introduction Let Q, P be the projection valued measures on the real line R that are associated to the position and momentum observables
More informationQuaternionic Complexes
Quaternionic Complexes Andreas Čap University of Vienna Berlin, March 2007 Andreas Čap (University of Vienna) Quaternionic Complexes Berlin, March 2007 1 / 19 based on the joint article math.dg/0508534
More informationTopological nature of the Fu-Kane-Mele invariants. Giuseppe De Nittis
Topological nature of the Fu-Kane-Mele invariants Giuseppe De Nittis (Pontificia Universidad Católica) Topological Matter, Strings, K-theory and related areas Adelaide, Australia September 26-30, 2016
More informationRepresentations Are Everywhere
Representations Are Everywhere Nanghua Xi Member of Chinese Academy of Sciences 1 What is Representation theory Representation is reappearance of some properties or structures of one object on another.
More informationOn k-groups and Tychonoff k R -spaces (Category theory for topologists, topology for group theorists, and group theory for categorical topologists)
On k-groups and Tychonoff k R -spaces 0 On k-groups and Tychonoff k R -spaces (Category theory for topologists, topology for group theorists, and group theory for categorical topologists) Gábor Lukács
More informationvon Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai)
von Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai) Lecture 3 at IIT Mumbai, April 24th, 2007 Finite-dimensional C -algebras: Recall: Definition: A linear functional tr
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2 RAVI VAKIL CONTENTS 1. Where we were 1 2. Yoneda s lemma 2 3. Limits and colimits 6 4. Adjoints 8 First, some bureaucratic details. We will move to 380-F for Monday
More informationLOOP GROUPS AND CATEGORIFIED GEOMETRY. Notes for talk at Streetfest. (joint work with John Baez, Alissa Crans and Urs Schreiber)
LOOP GROUPS AND CATEGORIFIED GEOMETRY Notes for talk at Streetfest (joint work with John Baez, Alissa Crans and Urs Schreiber) Lie 2-groups A (strict) Lie 2-group is a small category G such that the set
More informationLECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori
LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI 1. Maximal Tori By a torus we mean a compact connected abelian Lie group, so a torus is a Lie group that is isomorphic to T n = R n /Z n. Definition 1.1.
More informationMV-algebras and fuzzy topologies: Stone duality extended
MV-algebras and fuzzy topologies: Stone duality extended Dipartimento di Matematica Università di Salerno, Italy Algebra and Coalgebra meet Proof Theory Universität Bern April 27 29, 2011 Outline 1 MV-algebras
More informationQubits vs. bits: a naive account A bit: admits two values 0 and 1, admits arbitrary transformations. is freely readable,
Qubits vs. bits: a naive account A bit: admits two values 0 and 1, admits arbitrary transformations. is freely readable, A qubit: a sphere of values, which is spanned in projective sense by two quantum
More informationCategorical techniques for NC geometry and gravity
Categorical techniques for NC geometry and gravity Towards homotopical algebraic quantum field theory lexander Schenkel lexander Schenkel School of Mathematical Sciences, University of Nottingham School
More informationarxiv:math/ v1 [math.at] 5 Oct 1999
arxiv:math/990026v [math.at] 5 Oct 999 REPRESENTATIONS OF THE HOMOTOPY SURFACE CATEGORY OF A SIMPLY CONNECTED SPACE MARK BRIGHTWELL AND PAUL TURNER. Introduction At the heart of the axiomatic formulation
More informationRepresentation Theory
Representation Theory Representations Let G be a group and V a vector space over a field k. A representation of G on V is a group homomorphism ρ : G Aut(V ). The degree (or dimension) of ρ is just dim
More informationCategories and functors
Lecture 1 Categories and functors Definition 1.1 A category A consists of a collection ob(a) (whose elements are called the objects of A) for each A, B ob(a), a collection A(A, B) (whose elements are called
More informationTwisted Equivariant Matter
Twisted Equivariant Matter Gregory Moore, Rutgers University, SCGP, June 12, 2013 References: 1. D. Freed and G. Moore, Twisted Equivariant Matter, arxiv:1208.5055 2. G. Moore, Quantum Symmetries and K
More informationNonstandard methods in Lie theory
Nonstandard methods in Lie theory Isaac Goldbring UCLA University of Illinois at Chicago Math Department Colloquium January 20, 2012 Isaac Goldbring ( UCLA ) Nonstandard methods in Lie theory UIC January
More informationLECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups
LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups A Lie group is a special smooth manifold on which there is a group structure, and moreover, the two structures are compatible. Lie groups are
More informationMöbius Functions and Semigroup Representation Theory
Möbius Functions and Semigroup Representation Theory December 31, 2007 Inverse Semigroups Just as groups abstract permutations, inverse semigroups abstract partial permutations. A semigroup S is an inverse
More informationTHEORY OF GROUP REPRESENTATIONS AND APPLICATIONS
THEORY OF GROUP REPRESENTATIONS AND APPLICATIONS ASIM 0. BARUT Institute for Theoretical Physics, University of Colorado, Boulder, Colo., U.S.A. RYSZARD RATJZKA Institute for Nuclear Research, Warszawa,
More information