Quantum Knots & Mosaics

Transcription

1 Quantum nots??? Quantum nots & Mosaics Samuel Lomonaco University of Maryland Baltimore County (UMBC) Webage: L-O-O- This talk was motivated by a number of papers This talk is based on the paper Lomonaco, Samuel, and Louis auffman, Quantum nots and Mosaics, QI, (008). Rasetti,, Mario, and Tullio Regge, Vortices in He II, current algebras and quantum knots, hysica 80 A, North-Holland, (975), itaev,, Alexei Yu, Fault-tolerant tolerant quantum computation by anyons, ph/97070 Lomonaco, Samuel J., Jr., The modern legacies of Thomson's atomic vortex theory in classical electrodynamics, AMS SAM/5, rovidence, RI (996), Classical Vortices in lasmas What Motivated This Talk? Lomonaco, Samuel J., Jr., The modern legacies of Thomson's atomic vortex theory in classical electrodynamics, AMS SAM/5, rovidence, RI (996),

2 nots Naturally Arise in the Quantum World as Dynamical rocesses Examples of dynamical knots in quantum physics: notted vortices In supercooled helium II In the Bose-Einstein Condensate In the Electron fluid found within the fractional quantum Hall effect Reason for current intense interest: A Natural Topological Obstruction to Decoherence Objectives We seek to create a quantum system that simulates a closed knotted physical piece of rope. We seek to define a quantum knot in such a way as to represent the state of the knotted rope, i.e., the particular spatial configuration of the knot tied in the rope. We also seek to model the ways of moving the rope around (without cutting the rope, and without letting it pass through itself.) Rules of the Game Find a mathematical definition of a quantum knot that is hysically meaningful, i.e., physically implementable,, and Simple enough to be workable and useable. Aspirations We would hope that this definition will be useful in modeling and predicting the behavior of knotted vortices that actually occur in quantum physics such as In supercooled helium II In the Bose-Einstein Condensate In the Electron fluid found within the fractional quantum Hall effect Overview art. Mosaic nots We reduce tame knot theory to a formal system of string manipulation rules,, i.e., string rewriting rules. art Mosaic nots art. Quantum nots We then use mosaic knots to build a physically implementable definition of quantum knots.

3 ??? Mosaic nots T Mosaic Tiles ( u) Let denote the following set of symbols, called mosaic (unoriented) tiles: lease note that, up to rotation, there are exactly 5 tiles Definition of an n-mosaicn An n-mosaic is an n n matrix of tiles, with rows and columns indexed 0,,, n Tile Connection oints A connection point of a tile is a midpoint of an edge which is also the endpoint of a curve drawn on a tile. For example, An example of a 4-mosaic4 0 Connection oints Connection oints 4 Connection oints Contiguous Tiles Two tiles in a mosaic are said to be contiguous if they lie immediately next to each other in either the same row or the same column. Contiguous Not Contiguous Suitably Connected Tiles A tile in a mosaic is said to be Suitably Connected if all its connection points touch the connection points of contiguous tiles. For example, Suitably Connected Not Suitably Connected 3

4 not Mosaics Figure Eight not 5-Mosaic A knot mosaic is a mosaic with all tiles suitably connected. For example, Non-not 4-Mosaic not 4-Mosaic Hopf Link 4-Mosaic Borromean Rings 6-Mosaic Notation M Set of n-mosaics Subset of knot n-mosaics lanar Isotopy Moves 4

5 Non-Determistic Tiles We use the following tile symbols to denote one of two possible tiles: lanar Isotopy (I) Moves on Mosaics 3 For example, the tile or denotes either lanar Isotopy (I) Moves on Mosaics It is understood that each of the above moves depicts all moves obtained by rotating the sub-mosaics by 0, 90, 80,, or 70 degrees. For example, represents each of the following 4 moves: Terminology: k-submosaic Moves Def. A k-submosaic move on a mosaic M is a mosaic move that replaces one k- submosaic in M by another k-submosaic. All of the I moves are examples of -submosaic moves. I.e., each I move replaces a -submosaic by another -submosaic For example, lanar Isotopy (I) Moves on Mosaics Each of the I -submosaic moves represents any one of the (n-k+) possible moves on an n-mosaic lanar Isotopy (I) Moves on Mosaics Each I move acts as a local transformation on an n-mosaic whenever its conditions are met. If its conditions are not met, it acts as the identity transformation. Ergo, each I move is a permutation of the set of all knot n-mosaics In fact, each I move,, as a permutation, is a product of disjoint transpositions. 5

6 Reidemeister (R) Moves on Mosaics Reidemeister Moves R R ' R ' R '' R ''' R More Non-Deterministic Tiles We also use the following tile symbols to denote one of two possible tiles: Synchronized Non-Determistic Tiles Nondeterministic tiles labeled by the same letter are synchronized: For example, the tile or denotes either Reidemeister (R) Moves on Mosaics Reidemeister (R) Moves on Mosaics R 3 '' R 3 ' R 3 ''' R 3 Just like each I move, each R move is a permutation of the set of all knot n-mosaics In fact, each R move,, as a permutation, is a product of disjoint transpositions. ( iv ) R3 ( v ) R3 6

7 The Ambient Group An ( ) We define the ambient isotopy group An ( ) as the subgroup of the group of all permutations of the set generated by the all I moves and all Reidemeister moves. not Type The Mosaic Injection ι ι : M We define the mosaic injection M ( n+ ) ι : M M if 0 i, j n otherwise ( n ) i, j M + < i, j M ( n+ ) Mosaic not Type Def. Two n-mosaics M and same knot n-type,, written n M M' M ' are of the provided there exists an element of the ambient group An ( ) that transforms M into M '. Two n-mosaics M and M ' are of the same knot type if there exists a non-negative negative integer k such that n+ k k ι M k i M' ' n Quickly page through slides 44 to 60 to see animation 7 7

8

9

10 ' n Oriented Mosaics 7 0

11 Oriented Mosaics and Oriented not Type In like manner, we can use the following oriented tiles to construct oriented mosaics, oriented mosaic knots,, and oriented knot type There are 9 oriented tiles, and 9 tiles up to rotation. Rotationally equivalent tiles have been grouped together. art Quantum nots & Quantum not Systems The Hilbert Space ( n ) M Let H be the dimensional Hilbert space with orthonormal basis labeled by the tiles T0 T T T3 T4 T5 T6 T7 T8 T9 T0 We define the Hilbert space M as n ( n ) M H k 0 of n-mosaicsn ( n ) This is the Hilbert space with induced orthonormal basis n T 0 ( k) : 0 ( k) < k { } of n-mosaics The Hilbert Space ( n ) M n We identify each basis ket T k 0 a ket M labeled by an n-mosaic M row major order. ( k ) with using For example, in the 3-mosaic Hilbert space (3) M, the basis ket T T T T T T T T T is identified with the 3-mosaic labeled ket T T5 T4 T9 T T T T T of n-mosaicsn Identification via Row Major Order Let H be the dimensional Hilbert space with orthonormal basis labeled by the tiles T0 T T T3 T4 T5 T6 T7 T8 T9 T0 Construct Mosaic Space n H 0 i, j< n T Select Basis Element k(,) i j H H H H H H H Row Major Order H H H H H H H H H The Hilbert Space ( n ) of Quantum nots The Hilbert space of quantum knots is defined as the sub-hilbert space of M spanned by all orthonormal basis elements labeled by knot n-mosaics.

12 Quantum nots ( n ) We define the Hilbert space M of n-mosaics as ( n ) n M k H 0 This is the Hilbert space with induced orthonormal basis n { } T 0 ( k ) :0 < n k n We identify each basis element T k 0 ( k ) with the mosaic labeled ket M via the bijection T M i, j Row major order where i / n and ni + j j n / n An Example of a Quantum not + The Ambient Group An ( ) as a Unitary Group We identify each element g An ( ) with the linear transformation defined by g Since each element g An ( ) is a permutation, it is a linear transformation that simply permutes basis elements. Hence, under this identification, the ambient group An ( ) becomes a discrete group of unitary transfs on the Hilbert space. An Example of the R R An ( ) + + Group Action The Quantum not System (, An ( ) ) A quantum knot system (, An ( ) ) Def. is a quantum system having as its state space, and having the Ambient group An ( ) as its set of accessible unitary transformations. ( ) The states of quantum system, An ( ) are quantum knots.. The elements of the ambient group An ( ) are quantum moves. () ( ) ( ) (, ()) ( n n+ A, An ( )) (, An ( ) ) ι ι ι ι + hysically hysically hysically Implementable Implementable Implementable The Quantum not System (, An ( ) ) () ( ) ( ) (, ()) ( n n+ A, An ( )) (, An ( ) ) ι ι ι ι + hysically hysically hysically Implementable Implementable Implementable Choosing an integer n is analogous to choosing a length of rope. The longer the rope, the more knots that can be tied. The parameters of the ambient group An ( ) are the knobs one turns to spacially manipulate the quantum knot.

13 Quantum not Type Def. Two quantum knots and are of the same knot n-type,, written n, provided there is an element g g An ( ) s.t. They are of the same knot type,, written m ι, provided there is an integer ι m n+ m m 0 such that Two Quantum nots of the Same not Type R R + + Two Quantum nots NOT of the Same not Type + Hamiltonians of the Generators of the Ambient Group Hamiltonians for An ( ) Each generator g An ( ) is the product of disjoint transpositions, i.e., ( α, β )( α, β ) ( α, β ) g Choose a permutation η so that η gη Hence, σ (, )(, ) (, ) 3 3 σ η gη σ I n 0 0, where σ Also, let σ 0 0, and note that iπ ln( σ) ( s+ )( σ0 σ), s For simplicity, we always choose the branch s 0. ( ) H iηln η gη η g Hamiltonians for An ( ) ( ) π I η σ σ 0 0 η 0 0 ( n ) ( n ) 3

14 Hamiltonians for An ( ) Using the Hamiltonian for the Reidemeister (,) move g e iπ t cos π t and the initial state we have that the solution to Schroedinger s equation for time t is π t i sin Some Miscellaneous Unitary Transformations Not in A Misc. Transformations The crossing tunneling transformation τ ij ( i, j) Misc. Transformations The hyperbolic transformation η ij ( i, j) The mirror image transformation n µ i, j 0 ( i, j) The elliptic transformation ε ij ( i, j) Observable Q. not Invariants Observables which are Quantum not Invariants Question. What do we mean by a physically observable knot invariant? ( ) Let, An ( ) be a quantum knot system. Then a quantum observable Ω is a Hermitian operator on the Hilbert space ( ) n. 4

15 Observable Q. not Invariants Question. But which observables Ω are actually knot invariants? Def. An observable Ω is an invariant of quantum knots provided UΩ U Ω for all U A Observable Q. not Invariants Question. But how do we find quantum knot invariant observables? ( ) Theorem. Let, An ( ) knot system, and let W be a decomposition of the representation An ( ) into irreducible representations. be a quantum Then, for each, the projection operator for the subspace W is quantum knot observable. Observable Q. not Invariants ( ) Theorem. Let, An ( ) be a quantum knot system, and let Ω be an observable on. Let St ( Ω) be the stabilizer subgroup for Ω, i.e., St Ω U A : UΩ U Ω ( ) { } Then the observable UΩU U A/ St( Ω) is a quantum knot invariant, where the above sum is over a complete set of coset representatives of St Ω in An ( ). ( ) Ω Observable Q. not Invariants The following is an example of a quantum knot invariant observable: + Future Directions & Open Questions Future Directions & Open Questions What is the structure of the ambient group An ( ) and its direct limit A lim A? Can one find a presentation of this group? Unlike classical knots, quantum knots can exhibit the non-classical behavior of quantum superposition and quantum entanglement. Are quantum and topological entanglement related to one another? If so, how? 5

16 Future Directions & Open Questions How does one find a quantum observable for the Jones polynomial? This would be a family of observables parameterized by points on the circle in the complex plane. Does this approach lead to an algorithmic improvement to the quantum algorithm created by Aharonov,, Jones, and Landau? How does one create quantum knot observables that represent other knot invariants sauch as, for example, the Vassiliev invariants? Future Directions & Open Questions What is gained by extenting the definition of quantum knot observables to OVMs? What is gained by extending the definition of quantum knot observables to mixed ensembles? Future Directions & Open Questions Def. We define the mosaic number of a knot k as the smallest integer n for which k is representable as a knot n-mosaic. The mosaic number of the trefoil is 4. In general, how does one compute the mosaic number of a knot? Is the mosaic number related to the crossing number of a knot? Future Directions & Open Questions Can quantum knot systems be used to model and predict the behavior of Quantum vortices in supercooled helium? Quantum vortices in the Bose-Einstein Condensate Fractional charge quantification that is manifest in the fractional quantum Hall effect Quantum nots Research Lab!!! UMBC Quantum nots Research Lab 6

17 Weird!!! This talk is based on the paper Lomonaco, Samuel, and Louis auffman, Quantum nots and Mosaics, QI, (008). 7