arxiv: v2 [math-ph] 17 Sep 2015

Transcription

1 Noame mauscript No (will be iserted by the editor) Quatum state represetatio based o combiatorial Laplacia matrix of star-relevat graph Jia-Qiag Li Xiu-Bo Che Yi-Xia Yag arxiv: v [math-ph] 7 Sep 05 Received: date / Accepted: date Abstract I this paper the desity matrices derived from combiatorial laplacia matrix of graphs is cosidered More specifically the paper places emphasis o the star-relevat graph which meas addig certai edges o peripheral vertices of star graph Iitially we provide the spectrum of the desity matrices correspodig to star-like graph(ie addig a edge o star graph) ad preset that the Vo Neuma etropy icreases uder the graph operatio(addig a edge o star graph) ad the graph operatio caot be simulated by local operatio ad classical commuicatio (LOCC) Subsequetly we illustrate the spectrum of desity matrices correspodig to star-alike graph(ie addig oe edge o star-like graph) ad exhibit that the Vo Neuma etropy icreases uder the graph operatio(addig a edge o star-like graph)ad the graph operatio caot be simulated by LOCC Fially the spectrum of desity matrices correspodig to star-mlike graph(ie addig m oadjacet edges o the peripheral vertices of star graph) is demostrated ad the relatio betwee the graph operatio ad Vo Neuma etropy LOCC is revealed i this paper Keywords Quatum state represetatio Combiatorial Laplacia matrix Star-relevat graph Vo Neuma etropy Itroductio Jia-Qiag Li Xiu-Bo Che Yi-Xia Yag )Iformatio Security Ceter State Key Laboratory of Networkig ad Switchig Techology Beijig Uiversity of Posts ad Telecommuicatios Beijig Chia ljqb06@6com flyover00@6com (Correspodig author Xiubo Che)

2 Jia-Qiag Li et al Durig the last cetury differet ideas have bee developed to describe quatum pheomea Hesieberg Jorda ad Dirac brought up matrix mechaics i 95 later Schrodiger proposed the wave mechaics from a etirely differet startig poit ad later proved it equivalet to the former[] All these efforts were made to describe the physical problem usig simple mathematics Ad quatum state ad observable are the two mai igrediets ecessary to describe physical pheomea Takig advatage of these advacemets various mathematical cocepts have bee proposed as quatum state represetatio such as state vector desity operator[] liear fuctioal[] ad graph[4] Util ow loads of fasciatig results are provided based o these quatum state represetatios for istace Shor s quatum factorig algorithm[5] quatum teleportatio[6 7] quatum dese codig[8 9] ad quatum cryptography protocols[0 ] etc Nevertheless there are still may ukow properties waitig to be explored Graph theory as a well-developed mathematical theory[ 4] is highly applicable i the diverse areas such as etwork system[5] ad optimizatio[6] Thus the itegratio of quatum state represetatio ad graph theory ca offer some attractive features of quatum states Geerally there are two approaches of mappig graphs ito quatum states First way is to use the vertex ad edge to represet quatum state ad the iteractio betwee quatum state respectively A good example here is graph-state which have bee widely applied i stabilizer states cluster states ad some multipartite etagled states[7] The other way is based o a faithful mappig betwee discrete Laplacias ad quatum states (while the coverse is ot ecessary) which was firstly itroduced by Braustei et al[8] Later by cosiderig graphs with complex edge weights ad loops with real positive weights Adhikari et al[0] provided a costructio of graphs correspodig to geeral quatum states ad establish a oe-to-oe mappig betwee graphs ad quatum states With the latter quatum represetatio several aspects of quatum state represetatio based o graph icludig separabilityvo Neuma etropy ad quatum operatio has bee ivestigated The simple combiatorial coditio(degree coditio) characterizes the separability of desity matrices of graphs[ 4 5] Filippo et al[6] aalyzed the etropy quatity for various graphs such as regular graphs radom graphs ad put forward a ope problem Does the star graph has smallest etropy amog all coected graphs o vertices? Braustei et al[8] proposed the quatum operatio eeded to implemet the graph operatio such as deletig or addig a edge deletig or addig a vertex Ad the LOCC operatio icreases the Vo Neuma etropy[] I this paper by presetig the spectrum of the desity operator correspodig to star-relevat graphs which meas addig certai edges o star graphs the faithful mappig betwee star-relevat graphs ad quatum states is established Also takig advatage of spectrum of the star-relevat graph we demostrate that the Vo Neuma etropy is icreased by addig a edge o star-relevat graph ad the graph operatio caot be simulated by LOCC

3 Title Suppressed Due to Excessive Legth The rest of the paper is orgaized as follows: Sectio II itroduces prelimiaries kowledge about the quatum state represetatio with graph; Sectio III presets the spectrum of desity operator obtaied from combiatorial laplacia matrix of the star-like graph which meas addig a edge o star graph Also the relatio betwee the graph operatio addig a edge o stargraph ad Vo Neuma etropy LOCC is illustrated Sectio IV presets the spectrums correspodig to two types of star-alike graph which meas addig a edge o star-like graph Meawhile the relatio betwee the graph operatio addig a edge o star-like graph ad Vo euma etropy LOCC is demostrated Furthermore the relatioship of Vo Neuma etropy LOCC betwee star alike ad star alike graph is also ivestigated Sectio V idicates spectrum correspodig to the star-mlike graph which meas addig m oadjacet edges o peripheral vertices of star graph Aalogously the relatio betwee the graph operatio addig a o-adjacet edge o the peripheral vertices of star-relevat graph ad Vo Neuma etropy LOCC is also displayed Fially we discuss the weighted graph situatio ad make a coclusio Prelimiaries Quatum state represetatio is associated with the desity operator which is a matrix i fiite dimesioal quatum system Ad graph theory has itimated the relatioship with matrix at the same time thus quatum state represetatio ca be built from graphs This sectio itroduces the basic cocepts of graph desity operator ad the way mappig graphs ito quatum states I order to ivestigate the relatioship betwee graph operatio ad the feature of quatum states the cocepts about Vo Neuma etropy ad LOCC are itroduced Graph Mathematically a graph G is a pair of sets (V E) where V is a fiite oempty set cotaiig the vertices ad E is a set of edges that coect pair of vertices The umber of edges adjacet to a vertex is called its degree Let G = (V E) be a simple udirected graph with set of vertices V (G) = ad E(G) V (G) V (G) {(v v) : v V (G)} The adjacecy matrix associated with G is deoted by A(G) ad defied by [A(G)] uv = if (u v) E(G) ad [A(G)] uv = 0 otherwise The degree of a vertex v V (G) deoted by d(v) is the umber of edges adjacet to v the degree matrix of G is a matrix deoted by (G) ad defied by [ (G)] uv = d(v) if u = v ad [ (G)] uv = 0 otherwise[4]

4 4 Jia-Qiag Li et al Desity operator I quatum mechaics a quatum state is described by a desity operator ρ i dimesios Hilbert space which associates with a quatum system Actually two coditios are ecessary ad sufficiet to describe a statistical esemble with desity operator ormalizatio tr(ρ) = ρ is a positive operator ρ 0 This is helpful for derivig desity operator from graph Graph ad Desity operator The desity operator ca also be built from graphs i theory the explicit costructio is explaied as follows: Iitially the combiatorial Laplacia matrix of a graph L(G) is the matrix L(G) = (G) A(G) () where L(G) is positive semi-defiite accordig to the Gersgori disc theorem[0] ad the scalig the Laplacia of a graph G by the d G ρ G = L(G) d G = L(G) T r( (G)) () here d G = v V (G) d(v) ρ G is a desity operator deduced from the fact that tr(ρ G ) = ad ρ G is a positive operator ρ 0 Thus with proper costructio the faithful mappig betwee quatum state ad graph is established 4 Vo Neuma etropy Etropy is a importat way to measure the ucertaity associated with a classical probability Whe it comes to quatum world Vo Neuma defied the etropy of a quatum state ρ by the formula : S(ρ) = tr(ρ log ρ) () Here logarithm is take with respect to base two ad the quatum state is described by desity operator ρ If λ x are the eigevalues of ρ the the Vo Neuma s defiitio ca be re-expressed as: S(ρ) = λ x log λ x (4) x Thus we have Vo Neuma etropy to measure the ucertaity of a quatum state[]

5 Title Suppressed Due to Excessive Legth 5 Fig Star graph 5 LOCC I quatum commuicatio LOCC is a way to reduce the cost of quatum resources ad plays a importat role i may quatum iformatio tasks sice quatum resources are more valuable It has bee demostrated that LOCC has a close relatioship with majorizatio[8] which is a importat mathematical method i optimizatio fields[9] That relatioship is further clarified with Nielse s theorem We take the sight of majorizatio first suppose x = (x x x ) y = (y y y ) ad use otatio x to deote the compoets of x i decreasig order for istace x meas the largest compoet of x We say x is majorized by y writte x y if k j= x j k j= y j here k = with equality whe k = Now we focus o Nielse s theorem suppose ψ ad φ are pure etagled states shared by Alice ad Bob Defie ρ ψ tr B ( ψ ψ ) ρ φ tr B ( φ φ ) to be the correspodig reduced desity matrices of Alice s system ad let λ ψ ad λ φ be the vectors whose etries are the eigevalues of ρ ψ ad ρ φ Nielse s theorem A bipartite pure state ψ may be trasformed ito aother pure state φ by LOCC if ad oly if λ ψ λ φ [] Therefore the criteria to trasform a quatum state to aother oe with LOCC is ofte reduced to the majorizatio coditio Also the relatio betwee Vo Neuma etropy ad the majorizatio coditio is illustrate i [] Lemma If λ ψ λ φ It holds that S(ρ ψ ) S(ρ φ ) Star-like graph addig a edge o star graph I this sectio the specific quatum state correspodig to star-like graph which meas addig oe edge o star graphs(fig) is itroduced Also the relatioship of Vo Neuma etropy betwee star graph ad star-like graph(fig) is ivestigated

6 6 Jia-Qiag Li et al Fig Star-like graph Spectrum of the desity operator correspodig to star-like graph Accordig to the method i sectio for star-like graphs the adjacet ad degree matrix are preseted as A(G) = 0 (5) ad (G) = respectively Hece the laplcia matrix of star-like graphs is give as follows: L(G) = (G) A(G) The desity operator correspodig to star-like graph as follows ρ(g) = L(G) d G = where d G = v V (G) d(v) = I order to cofirm the specific quatum states it is ecessary to show the spectrum of this desity operator (6) (7)

7 Title Suppressed Due to Excessive Legth 7 Theorem The spectrum of desity operator correspodig to star-like graphs is { [] [] [ ] 0 [] } Proof :The fidig of the spectrum is equivalet to solve the equatio det(λi ρ) = 0 that is λ λ 0 0 det(λi ρ) = λ 0 λ 0 λ = (λ )(λ ) [(λ ) ( ( )( ) (λ ) 4 [(λ ) ( ( ) (λ )(λ )(λ ) 4 = (λ )(λ ) (λ ) ( )( ) (λ ) (λ ) ( ) (λ )(λ )(λ ) 4 = (λ ) (λ = (λ ) (λ )(λ λ) = λ(λ )(λ )(λ ) = 0 ) ] ) ] )[(λ )(λ ) ( ) () ] = 0 (8) Clearly the roots are { [] [] [ ] 0 [] } which implies that the spectrum of desity operator correspodig to star-like graphs is { [] [] [ ] 0 [] } The faithful (ad exact) mappig ad the specific quatum states are ow coected with star-like graph Also the preparatio work for ivestigatio the relatioship betwee star-like graphs ad quatum states is ready to deploy Graph operatio ad Vo Neuma etropy LOCC The aforemetioed result presets oly the quatum states represetatio survey ad emphasizes o the specific quatum states correspodig to starlike graphs A systematic ivestigatio about the relatio of graph operatio ad feature of quatum states remais to be cosidered The graph operatio is a mappig that trasforms oe graph to aother which ca be implemeted by quatum operatio[8] I this sectio we limit ourselves to the proof of

8 8 Jia-Qiag Li et al the relatio betwee a particular graph operatio ad Vo Neuma etropy LOCC Graph operatio ad Vo Neuma etropy The graph operatio is a additio of edge to star graph which trasforms star graph ito star-like graph ca be implemeted by quatum operatio[8] Whe comeig to the relatioship with Vo Neuma etropy the Theorem The correspodig Vo Neuma etropy icreases uder the graph operatio addig a edge o star graph Proof :We have already kow that { [] [ ] 0 [] } is the spectrum of desity operator correspodig to star graphs[4 6] ad the spectrum of desity operator correspodig to star-like graphs is { [] [] [ ] 0 [] } Accordig to the defiitio of Vo Neuma etropy S(ρ star ) = x λ x log λ x = log( ) ( ) log( ) = log( ) + ( ) log( ) = log( ) + log( ) log() the etropy correspodig to quatum states represeted by star-like graphs is give as follows S(ρ star like ) = x λ x log λ x = log( ) log( ) ( ) log( ) = log + log( ) + log() = log + log( ) + log() The S(ρ star like ) S(ρ star ) = [ log log( )] +[ log() log( )] +[( log + log )] (S(ρ star like ) S(ρ star )) = [ + ] + [ ] + [ log + = + log + ( ) ( ) log() = log ( ) ( ) log() = log log()+ ( ) ( ) ( ) log()] (S(ρ star like ) S(ρ star )) < 0 whe Hece the etropy differece is decreasig with each icremet i Also lim [S(ρ star like ) S(ρ star )] = 0 ad whe = [S(ρ star like ) S(ρ star )] > 0 hece the etropy differece always remais positive which implies that Vo Neuma etropy icreases uder the graph operatio by addig a edge o star graph The relatioship betwee Vo Neuma etropy ad this graph operatio is revealed i this sectio As a byproduct the theorem also partially aswers

9 Title Suppressed Due to Excessive Legth 9 the ope problem put forward i[6] Does the star graph has the smallest etropy amog all coected graphs o vertices? Ad the what is the iteral relatioship betwee graph operatio ad quatum operatio? more specifically we wat to kow the relatioship betwee this graph operatio ad LOCC Graph operatio ad LOCC A systematic ivestigatio o the relatioship betwee graph operatio ad LOCC goes beyod the scope of this sectio Istead we focus o the relatio of the graph operatio addig a edge o star graph ad LOCC Cocretely we try to aswer the questio Whether this graph operatio ca be simulated by LOCC? Theorem Suppose ψ ad φ are pure etagled states shared by Alice ad Bob Let ρ star = tr B ( ψ ψ ) ρ star like = tr B ( φ φ ) correspodig to Alice s system The quatum states caot be trasformed ito states represeted by star-like graph by the way of LOCC whe 4 Proof :The desity operator ad spectrum of the desity operator correspodig to star ad star-like graphs are give as follows: ρ star = tr B ( ψ ψ ) ad λ ψ = { [] [ ] 0 [] } ρ star like = tr B ( φ φ ) ad λ φ = { [] [] [ ] 0 [] } With Nielse theorem the issue to decide the capability of ψ beig trasformed to φ by LOCC is equivalet to determie whether λ ψ λ φ Thus we have for each + + for + +4 for 4 +k +k+ for k + Clearly λ ψ λ φ if ad oly if which implies that ψ ad φ caot be trasformed by LOCC whe 4 For simplicity we say the graph operatio caot simulated by LOCC whe 4 sice the graph operatio is the oly variable that discrimiate ψ from φ The relatioship betwee graph operatio ad Vo Neuma etropy LOCC is revealed ad a comprehesive uderstadig o quatum states represetatio with graphs is provided i this sectio Thus the result leads towards a ew paradigm of ivestigatig quatum states with graph theory A atural problem comes subsequetly What will happe to the Vo Neuma etropy by cotiuig to add a edge o star-like graph ad what is the relatio betwee graph operatio ad LOCC?

10 0 Jia-Qiag Li et al Fig Star-alike graph Fig 4 Star-alike graph 4 Star-alike graph addig a edge o star-like graph I this sectio we ivestigate the specific quatum state correspodig to the star-alike graph(fig ad Fig4) which meas addig a edge o star-like graph I fact there are two ways for addig a edge o star-like graphs oe is addig adjacet edge o the peripheral vertices while the other is to add oadjacet edge Similarly the relatioship betwee the graph operatio ie addig a edge o star-like graphad Vo Neuma etropy LOCC is illustrated Furthermore we also preset the relatioship of Vo Neuma etropy ad LOCC betwee quatum states correspodig to the additio of adjacet edge ad oadjacet edge o star-like graph 4 Spectrum of desity operator correspodig to star-alike graph Similarly accordig to the method i sectio we have Theorem 4 The spectrum of desity operator correspodig to the additio of a adjacet edge or a oadjacet edge o the peripheral vertices of star-like graphs is { [ 4] 0 [] } or { [ 4] 0 [] } + [] + [] + + [] 4 + [] + [] + Proof :To fid the spectrum of desity operator correspodig to the additio of a adjacet edge o the peripheral vertices of star-like graphs is equal to

11 Title Suppressed Due to Excessive Legth solve the equatio: det(λi ρ) = 0 That is λ λ λ det(λi ρ) = 0 λ 0 0 = 0(9) 0 λ λ λ = (λ + )(λ + ) 5 [(λ + ) ( + ) ] ( 5)( + ) (λ + ) 6 [(λ + ) ( + ) ] 4( + ) (λ + )(λ + )[(λ + ) ( = (λ + )(λ + ) 4 (λ + ) (λ ( )( + ) (λ + ) 4 (λ + ) + ) ] + ) = [(λ + )(λ + ) ( ) (+) ](λ + ) (λ + ) 4 = (λ + λ)(λ + ) (λ + ) 4 = λ(λ + )(λ ) (λ + ) 4 = 0 Clearly the roots are { [] [] + + [ 4] + 0 [] } To fid the spectrum of desity operator correspodig to the additio of a oadjacet edge o the peripheral vertices of star-like graphs is equal to solve the equatio: det(λi ρ) = 0 that is λ λ det(λi ρ) = λ + 0 λ = 0 (0) λ λ = (λ + )(λ + ) 4 (λ + )(λ 4 + )(λ + ) ( 4)( + ) (λ + ) 5 (λ + )(λ 4 + )(λ ( + ) + ) + ) + ) ( + ) (λ + ) 5 (λ + )(λ 4 + )(λ ( = (λ + )(λ + ) 4 (λ + )(λ 4 + )(λ ( )( + ) (λ + ) 4 (λ + )(λ 4

12 Jia-Qiag Li et al = [(λ + )(λ + ) ( ) (+) ](λ + ) 4 (λ + )(λ 4 + ) = (λ + λ)(λ + ) 4 (λ + )(λ 4 + ) = λ(λ + )(λ + ) 4 (λ + )(λ 4 + ) = 0 Clearly the roots are { or { [] 4 [] + + [] + [ 4] + 0 [] } Hece the spectrum correspodig to star-alike graph is { + [] 4 [] + [] + + [ 4] 0 [] } + Now that the faithful (ad exact) mappig ad the specific quatum states coected with star-alike graph is preseted the preparatio work for ivestigatig o the relatioship betwee star-alike graph ad star-like graph is ready to deploy [] [] + [ 4] + 0 [] } 4 Graph operatio ad Vo Neuma etropy LOCC Aalogously i this sectio we ivestigate the relatioship betwee the graph operatio ie addig a edge o star-like graph ad Vo Neuma etropy LOCC 4 Graph operatio ad Vo Neuma etropy There are two ways of addig a edge o star-like graph we have Theorem 5 The correspodig Vo Neuma etropy icreases uder the graph operatio addig a edge o star-like graph Proof :It ca be easily verified that the spectrum of desity operator correspodig star-like graphs is{ [] [] [ ] 0 [] } ad we have already illustrated the spectrum of desity operator correspodig to star-alike graphs { [] [] + + [ 4] + 0 [] } or { [] 4 [] + + [] + [ 4] + 0 [] } Accordig to the defiitio of Vo Neuma etropy the etropy correspodig to quatum states represeted by star graph is preseted as follows: S(ρ star like ) = x λ x log λ x = log( ) log( ) ( ) log( ) = log + log( ) + log() = log + log( ) + log() the etropy correspodig to quatum states represeted by star-alike graphs is preseted as follows: S(ρ star alike ) = x λ x log λ x + log( ) = + = log( + ) + log() 6 + log( ) log log( + )

13 Title Suppressed Due to Excessive Legth or S(ρ star alike ) = x λ x log λ x + log( ) = + = log( + ) + + log( 4 ) log log() 0 + log( ) log( + ) The S(ρ star alike ) S(ρ star like ) = = [log( + ) + log() 6 + log ] [ log + log( ) + log()] or = [log( + ) 0 + log() + log ] [ log + log( ) + log()] (S(ρ star alike ) S(ρ star like )) = [ + + (+) log() + (+) log ] [ log + ] = (+) + 4 log() (+) log 4 log() (+) 4 or = [ + + (+) log() + 4 (+) log ] [ log + ] = (+) + 48 log() (+) log 4 log() (+) 5 The (S(ρ star alike ) S(ρ star like )) < 0 therefore the etropy differece is decreasig with each icremet i Also lim [S(ρ star like ) S(ρ star )] = 0 ad whe = 4 or = 5 [S(ρ star alike ) S(ρ star like )] > 0 hece the etropy differece always remais positive that is to say the correspodig Vo Neuma etropy icreases uder the graph operatio addig a edge o star-like graph 4 Graph operatio ad LOCC Theorem 6 Suppose ψ ad φ are pure etagled states shared by Alice ad Bob Let ρ star like = tr B ( ψ ψ ) ρ star alike = tr B ( φ φ ) correspodig to Alice s system The quatum states caot be trasformed to states represeted by star-like graph by the way of LOCC whe 5 Proof :The desity operator ad spectru of the desity operator correspodig to star ad star-like graphs are give as follows: ρ star like = tr B ( ψ ψ ) ad λ ψ = { [] [] [ ] 0 [] } ρ star alike = tr B ( φ φ ) ad λ φ = { [] [] + + [ 4] + 0 [] } or λ φ = { [] 4 [] + + [] + [ 4] + 0 [] } With Nielse theorem the issue to decide the capability of ψ beig trasformed φ by LOCC is equivalet to determie whether λ φ λ ψ Thus we have

14 4 Jia-Qiag Li et al for each for each for 4 +k+ + +k+ for k + Clearly λ φ λ ψ if ad oly if = 4 Hece ψ ad φ ca ot be trasformed by LOCC whe 5 for simplicity we coclude that the graph operatio caot be simulated by LOCC or for each for each for o sice 4 ad 5 Clearly there is o satisfyig λ φ λ ψ Hece ψ ad φ caot be trasformed by LOCC For simplicity we coclude that the graph operatio caot be simulated by LOCC whe 5 4 Relatioship of Vo Neuma etropy LOCC betwee Star alike ad Star alike graph Theorem 7 Suppose φ ad φ are pure etagled states shared by Alice ad Bob Let ρ star alike = tr B ( φ φ ) ρ star alike = tr B ( φ φ ) correspodig to Alice s system the quatum states represeted by oe kid of star-alike graph ca be trasformed ito aother by the way of LOCC Also S(ρ star alike ) > S(ρ star alike ) Proof :The desity operator ad spectrum of the desity operator correspodig to star ad star-like graphs are ρ star alike = tr B ( φ φ ) ad λ φ = { [] [] + + [ 4] + 0 [] } ρ star alike = tr B ( φ φ ) ad λ φ = { respectively + [] 4 [] + [] + [ 4] + 0 [] } With Nielse theorem the issue to decide the capability of φ beig trasformed φ by LOCC is equivalet to determie whether λ φ λ φ Thus we have

15 Title Suppressed Due to Excessive Legth 5 Fig 5 Star-mlike graph k+ + +k+ + for each for each for each for each Clearly λ φ λ φ for each thus with Lemma i sectio we have S(ρ star alike ) > S(ρ star alike ) That is to say φ ad φ ca be trasformed by LOCC For simplicity we say that the graph operatio ca be simulated by LOCC whe 5 ad the etropy of addig oadjacet edge o star-like graph is larger tha that of addig adjacet oe 5 Star-mlike graph addig m edges o star graph I this sectio we ivestigate the specific quatum state correspodig to the star-mlike graph(fig5) which meas the additio of oadjacet edges o peripheral vertices of star graph Similarly the relatioship betwee the graph operatio ie addig m oadjacet edges o star graphad Vo Neuma etropy LOCC is illustrated 5 Spectrum of desity operator correspodig to addig m oadjacet edges o star graph Theorem 8 The spectrum of desity operator correspodig to star-mlike graph which meas the additio of m oadjacet edges o peripheral vertices [ m ] of star graph is { 0 [] } m +(m ) [] +(m ) [m] +(m )

16 6 Jia-Qiag Li et al Proof : Fidig of the spectrum is equivalet to solve the equatio det(λi ρ) = 0 Deote α = +(m ) β = +(m ) σ = +(m ) that is λ α β β β β β β λ β λ β det(λi ρ) = β 0 λ σ β 0 0 β 0 β λ σ 0 0 β β λ σ β β β λ σ () = (λ +(m ) )(λ +(m ) ) m [(λ +(m ) ) ( +(m ) ) ] m ( m )( +(m ) ) (λ +(m ) ) m [(λ +(m ) ) ( +(m ) ) ] m m( +(m ) ) (λ +(m ) ) m (λ +(m ) )[(λ +(m ) ) ( +(m ) ) ] m = (λ +(m ) )(λ +(m ) ) m (λ +(m ) )m (λ +(m ) ) ( )( +(m ) ) (λ +(m ) ) m (λ +(m ) )m = [(λ +(m ) )(λ +(m ) ) ( ) (+(m )) ](λ +(m ) ) m = (λ +(m ) λ)(λ +(m ) )m (λ +(m ) ) m = λ(λ +(m ) )(λ +(m ) )m (λ +(m ) ) m +(m ) )m (λ = 0 Clearly the roots are{ [] [m] +(m ) +(m ) [ m ] +(m ) 0 [] } That is to say the spectrum of desity operator correspodig to star-mlike [ m ] graph is{ 0 [] } +(m ) [] +(m ) [m] +(m ) 5 Graph operatio ad Vo Neuma etropy LOCC 5 Graph operatio ad Vo Neuma etropy Theorem 9 The correspodig Vo Neuma etropy icreases uder the graph operatio addig a oadjacet edge o star-mlike graph Proof : The spectrum of desity operator correspodig to the additio of m oadjacet edges o star graphs is { [ m ] 0 [] } + [] + [m] + By addig oe edge o star graph we get star-like graph Cotiuig the additio of a oadjacet edge o star-like graph we get star-alike graph The spectrum of star-like graph ad star-alike graph is { [] [] + [ ] 0 [] }

17 Title Suppressed Due to Excessive Legth 7 ad { [] [] + [ 4] 0 [] } respectively Theorem 5 already proved that the additio of a oadjacet edge o star graph icreases the etropy Addig m oadjacet edges o star graph the resultig spectrum of correspodig desity operator is{ [] [m] +(m ) +(m ) [ m ] +(m ) 0 [] } Addig m + oadjacet edges o star graph the resultig spectrum of correspodig desity operator is { [] [m+] +m +m [ m ] +m 0 [] } The etropy differece betwee them is S(ρ dif ) +m = [ +m log( ) + (m+) +m +m log( ) + m +m log( + m)] [ +(m ) (m ))] = [log( + m) +(m ) log() log( +(m ) )+ m +(m ) +m m +(m ) S(ρ dif ) = [ +m +m [ +(m ) +(m ) = (m+) log() +m log ] m log( +(m ) )+ m +(m ) log(+ log ] [log( + (m )) 6(m+) (+m) log() + (+m) log ] (m ) 6m (+(m )) log() + (+m) log ] (+m)(+(m )) m(+(m )) (m )(+m) (+m) (+(m )) log()+ 6(m+)(+(m )) 6m(+m) (+m) (+(m )) log = (+m)(+(m ))+[(m )(+m) m(+(m )) ] (+m) (+(m )) log() + [6(m+)(+(m )) 6m(+m) ] (+m) (+(m )) log sice 5 ad m the S(ρ dif ) < 0 Hece the etropy differece decreases with the icremet i Also lim S(ρ dif ) = 0 ad whe = 5 S(ρ dif ) > 0 the etropy differece always remais positive therefore the correspodig Vo Neuma etropy icreases uder the graph operatio by addig a oadjacet edge o star-mlike graph The additio of a oadjacet edge to star-like graph icreases the etropy The additio of a oadjacet edge to star-mlike graph also icreases the etropy Thus the etropy always icreases with the additio of a oadjacet edge o star-relevat graph ad the edges umber remais m 5 Graph operatio ad LOCC Theorem 0 Suppose ψ ad φ are pure etagled states shared by Alice ad Bob Let ρ starm = tr B ( ψ ψ ) ρ starm+ = tr B ( φ φ ) correspodig to Alice s system where m ad m + deote the umber of oadjacet edges additio o star graph The quatum states ρ starm+ caot be trasformed ito states represeted by ρ starm by the way of LOCC Proof :The desity operator ad spectrum of the desity operator ρ starm correspodig to star-relevat graphs are ρ starm+ ad

18 8 Jia-Qiag Li et al ρ starm λ ψ = { +(m ) ρ starm+ λ φ = { +m = tr B ( ψ ψ ) ad [] +(m ) = tr B ( φ φ ) ad [] +m [m+] +m [m] [ m ] +(m ) 0 [] } [ m ] 0 [] } respectively With Nielse theorem the issue to decide the capability of φ beig trasformed ψ by LOCC is equivalet to determie whether λ φ λ ψ Thus we have +(m ) +m + +(m ) + +m for each for each +m+ +(m ) +m+ +m +(m ) +(m ) +(m ) +m for each for o sice m + ad m + 4 Clearly there is o to satisfy λ ψ λ φ Therefore ψ ad φ caot be trasformed by LOCC For simplicity we coclude that the graph operatio caot be simulated by LOCC for each 6 Discussio ad coclusio Our aalysis of desity matrices correspodig to the star-relevat graphs eables us to ivestigate the quatum state with a ew perspective The relatios betwee ) graph operatio ad special quatum operatio(locc) ) graph operatio ad Vo Neuma etropy ) the specific quatum state ad the graph are appropriately ivestigated i this paper Furthermore we ivestigate the weighted graph defied by Adhikari et al [0] where certai coditios should be satisfied for quatum state represetatio by utilizig graphs The ecessary coditios put forward by Adhikari et al are preseted i Theorem [0] Combiig those coditios ad star-relevat graph together we coclude that the star-relevat graph is ot qualified as quatum state represetatio with the provided weighted graph defiitio The reaso is explaied as follows: suppose that the complex weight of star-relevat graph is e iw ; all star-relevat graphs cotai a triagle as a subgraph Thus we assig the complex weights correspodig to triagle subgraph as e iw e iw e iw separately Cosiderig the coditios i Theorem [0] the complex weight o triagle subgraph of star-relevat graph should satisfy e iw e iw = e iw ()

19 Title Suppressed Due to Excessive Legth 9 e iw e iw = e iw () e iw e iw = e iw (4) I other words the weight correspodig to star-relevat graph should be real ad module should be equal to The relatioship betwee graph operatio ad LOCC revealed i this paper is fasciatig ie the graph operatio caot be simulated by LOCC with the star-relevat graph It ecourages us to further ivestigate more uiversal relatio betwee the graph operatio ad LOCC Ufortuately this relatioship caot be maitaied whe we cotiue addig edges o star-relevat graphs Here is a example that violates the relatio D(G) = (5) the correspodig spectrum is { } ad addig a edge o the peripheral vertices we get a rig uio star the correspodig desity matrices is preseted as follows: D r (G) = (6) ad the correspodig spectrum is { } It ca be verified that it satisfies the majorizatio relatio thus the graph operatio ca be simulated by the way of LOCC which meas that the relatioship betwee the graph operatio ad LOCC is t uiversal Although there is o geeral rule i the process of addig a edge from a star graph up util a star uio a rig graph We propose several cojectures through calculatio to depict the situatio Cojectures The graph operatio addig edges o the peripheral vertices of star graph caot be simulated by LOCC whe the icremetal edge umber m ( is the vertex umber) Cotiue addig edge up util a star uio a rig graph the graph operatio ca be simulated by LOCC

20 0 Jia-Qiag Li et al I the process of addig edge from a star graph up util a star uio a rig quatum states correspodig to those graphs ca be trasformed by LOCC whe the edges umber are the same Ackowledgemets Project supported by NSFC (Grat Nos ) NCET (Grat No NCET--068) the Natioal Developmet Foudatio for Cryptological Research (Grat No MMJJ0400) ad the Fok Yig Tug Educatio Foudatio (Grat No 067) Refereces Joh Vo Neuma Mathematical foudatios of quatum mechaics No Priceto uiversity press 955 pp5 Nielse Michael A ad Isaac L ChuagQuatum computatio ad quatum iformatio Cambridge uiversity press 00 pp Balachadra A P et al Algebraic approach to etaglemet ad etropy Physical Review A 88 (0): 00 4 Adhikari Bibhas Satyabrata Adhikari ad Subhashish Baerjee Graph represetatio of quatum states arxiv preprit arxiv:05747 (0) 5 Shor Peter W Polyomial-time algorithms for prime factorizatio ad discrete logarithms o a quatum computer SIAM joural o computig 65 (997): Beett Charles H et al Teleportig a ukow quatum state via dual classical ad Eistei-Podolsky-Rose chaels Physical review letters 70 (99): Bouwmeester Dik et al Experimetal quatum teleportatio Nature (997): Beett Charles H ad Stephe J Wieser Commuicatio via oe-ad two-particle operators o Eistei-Podolsky-Rose states Physical review letters 690 (99): 88 9 Liu X S et al Geeral scheme for superdese codig betwee multiparties Physical Review A 65 (00): Hillery Mark Vladimír Bužek ad Adré Berthiaume Quatum secret sharig Physical Review A 59 (999): 89 Che Xiu-Bo et al Cotrolled quatum secure direct commuicatio with quatum ecryptio Iteratioal Joural of Quatum Iformatio 60 (008): Beett Charles H ad Gilles Brassard Quatum cryptography: Public key distributio ad coi tossig Theoretical Computer Sciece 560 (04): 7- Liu Bolia ad Hog-Jia Lai Matrices i combiatorics ad graph theory Vol Spriger Sciece & Busiess Media 0 4 Brouwer Adries E ad Willem H Haemers Spectra of graphs Spriger Sciece & Busiess Media 0 5 Newma Mark Networks: a itroductio Oxford Uiversity Press 00 6 Kocay William ad Doald L Kreher Graphs algorithms ad optimizatio CRC Press Hei Marc et al Etaglemet i graph states ad its applicatios arxiv preprit quat-ph/ (006) 8 Braustei Samuel L Sibasish Ghosh ad Simoe Severii The Laplacia of a graph as a desity matrix: a basic combiatorial approach to separability of mixed states Aals of Combiatorics 0 (006): Hildebrad Rolad Stefao Macii ad Simoe Severii Combiatorial laplacias ad positivity uder partial traspose Mathematical Structures i Computer Sciece 80 (008): Adhikari Bibhas Satyabrata Adhikari ad Subhashish Baerjee Graph represetatio of quatum states arxiv preprit arxiv:05747 (0) Hassa Ali Saif M ad Pramod S Joag A combiatorial approach to multipartite quatum systems: basic formulatio Joural of Physics A: Mathematical ad Theoretical 40 (007): 05

21 Title Suppressed Due to Excessive Legth Hassa Ali Saif M ad Pramod S Joag O the degree cojecture for separability of multipartite quatum states Joural of Mathematical Physics 49 (008): 005 Wu Chai Wah Coditios for separability i geeralized Laplacia matrices ad diagoally domiat matrices as desity matrices Physics Letters A 5 (006): 8-4 Wu Chai Wah O graphs whose Laplacia matrixs multipartite separability is ivariat uder graph isomorphism Discrete Mathematics 0 (00): Hassa Ali Saif M Detectio ad Quatificatio of Etaglemet i Multipartite Quatum Systems Usig Weighted Graph ad Bloch Represetatio of States arxiv preprit arxiv:09050 (009) 6 Passerii Filippo ad Simoe Severii The vo Neuma etropy of etworks Available at SSRN 866 (008) 7 Chitambar Eric et al Everythig you always wated to kow about LOCC (but were afraid to ask) Commuicatios i Mathematical Physics 8 (04): Nielse Michael A ad Guifré Vidal Majorizatio ad the itercoversio of bipartite states Quatum Iformatio & Computatio (00): Marshall Albert W Igram Olki ad Barry Arold Iequalities: theory of majorizatio ad its applicatios Spriger Sciece & Busiess Media 00 0 Hor Roger A ad Charles R Johso Matrix aalysis Cambridge uiversity press 0pp87 Watrous Joh Theory of quatum iformatio Uiversity of Waterloo Fall (0)pp8