Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

CRC Press eBooks

Current in a quantum antenna

Harish Parthasarathy

Published Feb 3, 2021• 0 citations
Publisher

Abstract

H a , a =1,2,..., N are identical copies of a one particle Hamiltonian acting in different Hilbert spaces and V ab , a < b are identical copies of the interaction Hamiltonian between two particles We try a wave function | ψ t > = ⊗ k - 1 N | ψ k t > https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1428.tif"/> Substituting this into the Schrodinger equation gives Σ k ⁢ ψ 1 t ⊗ … ⊗ ( i d ψ k t / d t ) ⊗ … ⊗ ψ n t = = Σ k ⁢ ψ 1 t ⊗ ... ⊗ H k ψ k t ⊗ ... ⊗ ψ n t + + ⁢ Σ a < b ψ 1 t ⊗ ... ⊗ V a b ψ a t ⁢ ... ⊗ ψ b t ⊗ ... ⊗ ψ n t https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1429.tif"/> Taking the inner product on both sides with ψ 1 t ⨶.. ψ kt ⨶...⨶ ψ nt where a hat above a symbol means omission of that symbol gives the approximate equations i d | ψ k t > / d t = H k | ψ k t > + Σ m ≠ k < I ⊗ ψ m t | V k m | ψ k t ⊗ ψ m t > https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1430.tif"/> 256 In terms of kernels, we can express this as i d ψ k t ( r ) / d t = H k ψ k t ( r ) + ( Σ m ≠ k ∫ V ( r , r ′ ) | ψ m t ( r ′ ) | 2 d 3 r ′ ) ψ k t ( r ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1431.tif"/> This equation however does not take into account the Pauli exclusion principle. For taking that into account, we must try an antisymmetrized wave function | ψ t > = Σ σ ∈ S n ⁢ | ψ σ 1 , t > ⊗ ... ⊗ | ψ σ n , t > https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1432.tif"/> Substituting and taking the inner products after assuming orthonormality of the component wave functions gives us i d | ψ k t > / d t = H k | ψ k t > + Σ m ≠ k < I ⊗ ψ m t | V | ψ k t ⊗ ψ m t > − Σ m ≠ k < ψ m t ⊗ I | V | ψ k t ⊗ ψ m t > https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1433.tif"/> which in coordinate form can be expressed as i d ψ k t ( r ) / d t = H k ψ k t ( r ) + Σ m ≠ k ⁢ ( ∫ V ( r , r ′ ) | ψ m t ( r ′ ) | 2 d 3 r ′ ) ψ k t ( r ) − Σ m ≠ k ⁢ ( ∫ V ( r , r ′ ) ψ ¯ m t ( r ′ ) ψ k t ( r ′ ) d 3 r ′ ) ψ m t ( r ) = 0 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1434.tif"/> These equations are special cases of nonlinear Schrodinger equations of the form i d ψ k t ( r ) / d t = ∇ 2 ψ k t ( r ) / 2 m + V 0 ( r ) ψ k t ( r ) + Σ m ⁢ V k m ⁢ ( r , ψ 1 t , ... , ψ N t ) ψ m t ( r ) , k = 1 , 2 , ... , N https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1435.tif"/> The charge density is ρ ( t , r ) = − e ⁢ Σ k ⁢ | ψ k t ( r ) | 2 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1436.tif"/> and its rate of increase is given by ρ t ( r ) = - e ⁢ Σ k ( ψ ¯ k t , t ( r ) ⁢ . ⁢ ψ k t ( r ) + ψ ¯ k t ( r ) ⁢ . ⁢ ψ k t , t ( r ) = ( i e / 2 m ) ⁢ Σ k [ ψ k t ( r ) ∇ 2 ψ ¯ k t ( r ) - ψ ¯ k t ( r ) ∇ 2 ψ k t ( r ) ] = d i v ( ( i e / 2 m ) ⁢ Σ k ⁢ [ ψ k t ( r ) ∇ ψ ¯ k t ( r ) - ψ ¯ k t ( r ) ∇ ψ k t ( r ) ] ) = - d i v J ( t , r ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1437.tif"/> 257 where the current density J ( t,r ) is given by J ( t , r ) = ( − i e / 2 m ) Σ k [ ψ k t ( r ) ∇ ψ ¯ k t ( r ) − ψ ¯ k t ( r ) ∇ ψ k t ( r ) ] https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1438.tif"/> It should be noted that this expression for the current density is the same as that derived using the linear Schrodinger equations but the wave functions ψ kt are calculated by solving the nonlinear Schrodinger equation. It should be noted that in deriving the above formula for the current density, we have made used of the relation V ¯ k m ( r , ψ 1 , … , ψ N ) = V m k ( r , ψ 1 , … , ψ N ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1439.tif"/> which is readily verified.

DOI
10.1201/9781003163626-16

Related papers

Mathematical introduction

In-Gee Kim

The properties of a quantum mechanical system composed of many identical particles are most conveniently described in terms of the second‐quantized, Heisenberg representation, particle‐creation, and annihilation operators. The creation operator ψ ^ † ( r , t ) $ \hat{\psi }^{\dag } ({\mathbf{r}}, t) $ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781315196596/a397f31e-8107-49bb-8694-b978d38168d6/content/inline-math2_1.tif"/> , when acting to the right on a state of the system, adds a particle to the state at the space‐time point r , $ {\mathbf{r}}, $ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781315196596/a397f31e-8107-49bb-8694-b978d38168d6/content/inline-math2_2.tif"/> t ; the annihilation operator ψ ^ ( r , t ) $ \hat{\psi }({\mathbf{r}}, t) $ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781315196596/a397f31e-8107-49bb-8694-b978d38168d6/content/inline-math2_3.tif"/> , the adjoint of the creation operator acting to the right, removes a particle from the state at the point r , t .

•Mar 14, 2018•1 citation

Identical Particles and Symmetry

Hans Albrecht Bethe

The Hamiltonian for a system of n particles that are identical, that is, particles that can be substituted for each other with no physical change, must be completely symmetric under any interchange of its arguments. Let Ψ(1, 2, …, n) be any solution of the Schrödinger equation, depending on the coordinates (spatial and spin) of the n identical particles 1 to n, and let P be any permutation of the n numbers 1 to n. Then PΨ(1, 2, …, n) ≡ Ψ(P1, P2, …, Pn) is a function which depends on the coordinates of particle Ψ in the same manner as the original function Ψ depended on the coordinates of particle i. Then using the symmetry of H, we can show that the operator P commutes with the Hamiltonian ( 2-1 ) H ( P Ψ ) = P ( H Ψ ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429493645/749bab20-4a79-4f5a-8c66-d9e9a36a87b9/content/eq89.tif"/>

CRC Press eBooks•Nov 23, 2018•0 citations

The Schrodinger Wave Equation

The approach here will be to start with some elementary ideas of the classical mechanics and to convert these concepts to their equivalents in the quantum mechanics. This will be done by changing the total energy of an electron in classical terms into the

ASTM International eBooks•Dec 8, 2008•0 citations

Design of quantum gates using electrons, positrons and photons, quantum information theory and quantum stochastic filtering

Harish Parthasarathy

Assume that system 1 evolves according to the dynamics ρ ′ ( t ) ⁢ = i [ H 1 , ρ ( t ) ] + ⁢ θ 1 ( ρ ( t ) ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math407.tif"/> 78 and system 2 evolves according to σ ′ ( t ) = − i [ H 2 , σ ( t ) ] + ⁢ θ 2 ( σ ( t ) ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math408.tif"/> where θ 1 , θ 2 are Lindblad maps: θ 1 ( ρ ) ⁢ = ⁢ ( - 1 / 2 ) Σ k = 1 N ( L k * L k ρ + ρ L k * L k - 2 L k ρ L k * ) θ 2 ( σ ) ⁢ = ⁢ ( - 1 / 2 ) ⁢ Σ k = 1 M ⁢ ( P k * P k σ ⁢ + ⁢ σ P k * P k - 2 P k σ P k * ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math409.tif"/> Then calculate the rate of change of the relative entropy between the two states at time t : H ( ρ ( t ) , σ ( t ) ) ⁢ = T r ( ρ ( t ) ( l o g ( ρ ( t ) ) ⁢ − l o g ( σ ( t ) ) ) ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math410.tif"/> hint: Use the formula for the differential of the exponential map in the form: d d t e x p ( Z ( t ) ) ⁢ = e x p ( Z ( t ) ) g ( a d ( Z ( t ) ) − 1 ( Z ′ ( t ) ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math411.tif"/> where g ( z ) = z 1 − exp ⁡ ( − z ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math412.tif"/> Equivalently, Z ′ ( t ) ⁢ = g ( α d ( Z ( t ) ) ( e x p ( − Z ( t ) ) . d d t e x p ( Z ( t ) ) ) f https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math413.tif"/> Take ρ ( t )= exp ( Z ( t )) and deduce that d d t l o g ( ρ ( t ) ) ⁢ = g ( a d ( l o g ( ρ ( t ) ) ) ) ( ρ ( t ) − 1 ρ ′ ( t ) ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math414.tif"/> Now note that g ( z ) ⁢ = 1 1 − z / 2 ! + z 2 / 3 ! + … = - 1 + Σ k ≥ 1 c [ k ] z k https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math415.tif"/> Note that ρ(t) has eigenvalues in the range [0,1]. So log(ρ(t)) has all eigenvalues in the range (−∞,0]. Hence, ad(log(ρ(t)) has eigenvalues in the range ℝ = (−∞,∞). So in order that we be able to substitute ad(log(ρ(t))) for z in the above equation, we require that the Taylor series for g(z) be convergent for all z ∈ ℝ which may not be the case. Note that Tr(ρ ' (t)) = 0 and that for k ≥ 1, T r ( ρ ( t ) a d ( l o g ( ρ ( t ) ) k ( ρ ( t ) − 1 ρ ′ ( t ) ) ) ⁢ - T r ( a d ( l o g ( ρ ( t ) ) ) k ( ρ ′ ( t ) ) ) ⁢ = 0 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math416.tif"/> since the commutator of two operators has trace zero (provided that the operators are bounded). Thus, we get T r ( ρ ( t ) d d t l o g ( ρ ( t ) ) ) ⁢ = 0 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math417.tif"/> 79 and so d d t T r ( ρ ( t ) . ⁢ l o g ( ρ ( t ) ) ) ⁢ = T r ( ρ ′ ( t ) . ⁢ l o g ( ρ ( t ) ) ) - T r ( T ( ρ ( t ) ) . ⁢ l o g ( ρ ( t ) ) ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math418.tif"/> where T ( X ) ⁢ = - i [ H 1 , X ] + θ 1 ( X ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math419.tif"/> Now, T r ( [ H 1 , ρ ] . ⁢ l o g ( ρ ) ) ⁢ = T r ( [ H 1 ⁢ . ⁢ l o g ( ρ ) , ρ ] ) ⁢ = 0 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math420.tif"/> so d d t ⁢ T r ( ρ ( t ) ⁢ . ⁢ l o g ( ρ ( t ) ) ) ⁢ = T r ( θ 1 ( ρ ( t ) ) ⁢ . ⁢ l o g ( ρ ( t ) ) ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math421.tif"/>

CRC Press eBooks•Feb 3, 2021•0 citations

SYMMETRIZATION OF THE WAVE FUNCTIONS OF IDENTICAL PARTICLES AND THE PRINCIPLE OF THE QUANTUM-MECHANICAL AMPLITUDE INTERFERENCE.

V.L. Lyuboshits, M.I. Podgoretskii

•Jan 1, 1971•0 citations

Quantum gravity with photon interactions, cavity resonators with inhomogeneities, classical and quantum optimal control of fields

Harish Parthasarathy

We wish j t ( X ) to track the noiseless trajectory X d ( t )∈ L ( h ). Assume non-demoltion measurements Y o ( t )= U ( t )* Y i ( t ) U ( t ) are made and the Belavkin filter for π t ( X ) =  j t ( X ) | η t ) , η t = σ ( Y 0 ( s ) : s ≤ t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1006.tif"/> has been constructed as d π t ( X ) = F t ( X ) d t + G t ( X ) d Y o ( t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1007.tif"/> trajectory estimation error X d ( t )− π t ( X ) is given as feedback to the state equations in the form d j t ( X ) = j t ( θ 0 ( X ) ) d t ⁢ + ⁢ j t ( θ 1 ( X ) ) d A ( t ) + j t ( θ 2 ( X ) ) d A ( t ) * + ⁢ j t ( θ 3 ( X ) ) d Λ ( t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1008.tif"/> 192 + ⁢ K ( t ) ( X d ( t ) − π t ( X ) ) d t https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1009.tif"/> Alternately, if we assume that X d follows a noiseless trajectory, ie, it evolves according to the equation X d ( t ) , = j t ( 0 ) ( X d ) = U 0 ( t ) * X d U 0 ( t ) , U 0 ( t ) = e x p ( − i t H 0 ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1010.tif"/> then we can give as feedback the estimation error E ( t ) = X d ( t ) − T r 2 ( π t ( X ) ( I ⊗ | ϕ ( u ) > < ϕ ( u ) | ) ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1011.tif"/> which is a system observable. This error feedback is given to the above state equations, ie, to the Evans-Hudson flow resulting in the dynamics d j t ( X ) = j t ( θ 0 ( X ) ) d t + j t ( θ 1 ( X ) ) d A ( t ) + j t ( θ 2 ( X ) ) d A ( t ) * + j t ( θ 3 ( X ) ) d Λ ( t ) + K ( t ) E ( t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1012.tif"/> Alternately, we can incorporate this error feedback in the original HP equation as d U ( t ) ⁢ = ⁢ ( - ( i H + ⁢ P + ⁢ K ( t ) E ( t ) ) d t + L 1 d A ( t ) ⁢ + ⁢ L 2 d A ( t ) * ⁢ + ⁢ S d Λ ( t ) ) U ( t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1013.tif"/> resulting in the Evans-Hudson flow the same as above but with θ 0 (X) replaced by θ 0 ( X )+ iK ( t )[ E ( t ), X ]. Luc-Bouten’s method of control is slightly different. Here, we choose a system observable Z and give an infinitesimal control unitary U c ( t , t ⁢ + ⁢ d t ) ⁢ = ⁢ U ( t ⁢ + ⁢ d t ) * e x p ( - i Z d Y i ( t ) ) U ( t + d t ) ⁢ = ⁢ e x p ( i Z ( t + d t ) d Y o ( t ) ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1014.tif"/> Note that Y o ( t ) ⁢ = ⁢ U ( t + d t ) * Y i ( t ) U ( t + d t ) , Y o ( t + d t ) ⁢ = ⁢ U ( t + d t ) * Y i ( t + d t ) U ( t + d t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1015.tif"/> and hence, forming the difference, we get d Y 0 ( t ) = U ( t + d t ) * d Y i ( t ) U ( t + d t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1016.tif"/> Also, Z commutes with dY i ( t ) and hence Z ( t + dt )= U ( t + dt )* ZU ( t + dt ) commutes with U ( t + dt )* dY o ( t ) U ( t + dt ). Let ρ c ( t ) denote the controlled state at time t, ie after applying the Belavkin filter and control upto time t to the HP evolved state. Then, we apply the Belavkin filter from t to t + dt , via ρ B ( t + d t ) - ρ c ( t ) + δ ρ B ( t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1017.tif"/> where δ ρ B ( t ) = L t * ( ρ c ( t ) ) d t + ( M t ρ c ( t ) + ρ c ( t ) M t * - T r ( M t + M t * ) ρ c ( t ) ) ρ c ( t ) ) ( d Y o ( t ) - T r ( ρ c ( t ) ( M t + M t * ) ) d t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1018.tif"/> Finally, the filtered and controlled state at time t + dt is given by ρ c ( t + d t ) - ρ c ( t ) ⁢ + ⁢ δ ρ c ( t ) = https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1019.tif"/>

CRC Press eBooks•Feb 3, 2021•0 citations
H a , a =1,2,..., N are identical copies of a one particle Hamiltonian acting in different Hilbert spaces and V ab , a < b are identical copies of the interaction Hamiltonian between two particles We try a wave function | ψ t > = ⊗ k - 1 N | ψ k t > https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1428.tif"/> Substituting this into the Schrodinger equation gives Σ k ⁢ ψ 1 t ⊗ … ⊗ ( i d ψ k t / d t ) ⊗ … ⊗ ψ n t = = Σ k ⁢ ψ 1 t ⊗ ... ⊗ H k ψ k t ⊗ ... ⊗ ψ n t + + ⁢ Σ a < b ψ 1 t ⊗ ... ⊗ V a b ψ a t ⁢ ... ⊗ ψ b t ⊗ ... ⊗ ψ n t https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1429.tif"/> Taking the inner product on both sides with ψ 1 t ⨶.. ψ kt ⨶...⨶ ψ nt where a hat above a symbol means omission of that symbol gives the approximate equations i d | ψ k t > / d t = H k | ψ k t > + Σ m ≠ k < I ⊗ ψ m t | V k m | ψ k t ⊗ ψ m t > https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1430.tif"/> 256 In terms of kernels, we can express this as i d ψ k t ( r ) / d t = H k ψ k t ( r ) + ( Σ m ≠ k ∫ V ( r , r ′ ) | ψ m t ( r ′ ) | 2 d 3 r ′ ) ψ k t ( r ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1431.tif"/> This equation however does not take into account the Pauli exclusion principle. For taking that into account, we must try an antisymmetrized wave function | ψ t > = Σ σ ∈ S n ⁢ | ψ σ 1 , t > ⊗ ... ⊗ | ψ σ n , t > https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1432.tif"/> Substituting and taking the inner products after assuming orthonormality of the component wave functions gives us i d | ψ k t > / d t = H k | ψ k t > + Σ m ≠ k < I ⊗ ψ m t | V | ψ k t ⊗ ψ m t > − Σ m ≠ k < ψ m t ⊗ I | V | ψ k t ⊗ ψ m t > https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1433.tif"/> which in coordinate form can be expressed as i d ψ k t ( r ) / d t = H k ψ k t ( r ) + Σ m ≠ k ⁢ ( ∫ V ( r , r ′ ) | ψ m t ( r ′ ) | 2 d 3 r ′ ) ψ k t ( r ) − Σ m ≠ k ⁢ ( ∫ V ( r , r ′ ) ψ ¯ m t ( r ′ ) ψ k t ( r ′ ) d 3 r ′ ) ψ m t ( r ) = 0 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1434.tif"/> These equations are special cases of nonlinear Schrodinger equations of the form i d ψ k t ( r ) / d t = ∇ 2 ψ k t ( r ) / 2 m + V 0 ( r ) ψ k t ( r ) + Σ m ⁢ V k m ⁢ ( r , ψ 1 t , ... , ψ N t ) ψ m t ( r ) , k = 1 , 2 , ... , N https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1435.tif"/> The charge density is ρ ( t , r ) = − e ⁢ Σ k ⁢ | ψ k t ( r ) | 2 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1436.tif"/> and its rate of increase is given by ρ t ( r ) = - e ⁢ Σ k ( ψ ¯ k t , t ( r ) ⁢ . ⁢ ψ k t ( r ) + ψ ¯ k t ( r ) ⁢ . ⁢ ψ k t , t ( r ) = ( i e / 2 m ) ⁢ Σ k [ ψ k t ( r ) ∇ 2 ψ ¯ k t ( r ) - ψ ¯ k t ( r ) ∇ 2 ψ k t ( r ) ] = d i v ( ( i e / 2 m ) ⁢ Σ k ⁢ [ ψ k t ( r ) ∇ ψ ¯ k t ( r ) - ψ ¯ k t ( r ) ∇ ψ k t ( r ) ] ) = - d i v J ( t , r ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1437.tif"/> 257 where the current density J ( t,r ) is given by J ( t , r ) = ( − i e / 2 m ) Σ k [ ψ k t ( r ) ∇ ψ ¯ k t ( r ) − ψ ¯ k t ( r ) ∇ ψ k t ( r ) ] https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1438.tif"/> It should be noted that this expression for the current density is the same as that derived using the linear Schrodinger equations but the wave functions ψ kt are calculated by solving the nonlinear Schrodinger equation. It should be noted that in deriving the above formula for the current density, we have made used of the relation V ¯ k m ( r , ψ 1 , … , ψ N ) = V m k ( r , ψ 1 , … , ψ N ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1439.tif"/> which is readily verified.
The properties of a quantum mechanical system composed of many identical particles are most conveniently described in terms of the second‐quantized, Heisenberg representation, particle‐creation, and annihilation operators. The creation operator ψ ^ † ( r , t ) $ \hat{\psi }^{\dag } ({\mathbf{r}}, t) $ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781315196596/a397f31e-8107-49bb-8694-b978d38168d6/content/inline-math2_1.tif"/> , when acting to the right on a state of the system, adds a particle to the state at the space‐time point r , $ {\mathbf{r}}, $ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781315196596/a397f31e-8107-49bb-8694-b978d38168d6/content/inline-math2_2.tif"/> t ; the annihilation operator ψ ^ ( r , t ) $ \hat{\psi }({\mathbf{r}}, t) $ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781315196596/a397f31e-8107-49bb-8694-b978d38168d6/content/inline-math2_3.tif"/> , the adjoint of the creation operator acting to the right, removes a particle from the state at the point r , t .
The Hamiltonian for a system of n particles that are identical, that is, particles that can be substituted for each other with no physical change, must be completely symmetric under any interchange of its arguments. Let Ψ(1, 2, …, n) be any solution of the Schrödinger equation, depending on the coordinates (spatial and spin) of the n identical particles 1 to n, and let P be any permutation of the n numbers 1 to n. Then PΨ(1, 2, …, n) ≡ Ψ(P1, P2, …, Pn) is a function which depends on the coordinates of particle Ψ in the same manner as the original function Ψ depended on the coordinates of particle i. Then using the symmetry of H, we can show that the operator P commutes with the Hamiltonian ( 2-1 ) H ( P Ψ ) = P ( H Ψ ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429493645/749bab20-4a79-4f5a-8c66-d9e9a36a87b9/content/eq89.tif"/>
Assume that system 1 evolves according to the dynamics ρ ′ ( t ) ⁢ = i [ H 1 , ρ ( t ) ] + ⁢ θ 1 ( ρ ( t ) ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math407.tif"/> 78 and system 2 evolves according to σ ′ ( t ) = − i [ H 2 , σ ( t ) ] + ⁢ θ 2 ( σ ( t ) ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math408.tif"/> where θ 1 , θ 2 are Lindblad maps: θ 1 ( ρ ) ⁢ = ⁢ ( - 1 / 2 ) Σ k = 1 N ( L k * L k ρ + ρ L k * L k - 2 L k ρ L k * ) θ 2 ( σ ) ⁢ = ⁢ ( - 1 / 2 ) ⁢ Σ k = 1 M ⁢ ( P k * P k σ ⁢ + ⁢ σ P k * P k - 2 P k σ P k * ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math409.tif"/> Then calculate the rate of change of the relative entropy between the two states at time t : H ( ρ ( t ) , σ ( t ) ) ⁢ = T r ( ρ ( t ) ( l o g ( ρ ( t ) ) ⁢ − l o g ( σ ( t ) ) ) ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math410.tif"/> hint: Use the formula for the differential of the exponential map in the form: d d t e x p ( Z ( t ) ) ⁢ = e x p ( Z ( t ) ) g ( a d ( Z ( t ) ) − 1 ( Z ′ ( t ) ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math411.tif"/> where g ( z ) = z 1 − exp ⁡ ( − z ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math412.tif"/> Equivalently, Z ′ ( t ) ⁢ = g ( α d ( Z ( t ) ) ( e x p ( − Z ( t ) ) . d d t e x p ( Z ( t ) ) ) f https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math413.tif"/> Take ρ ( t )= exp ( Z ( t )) and deduce that d d t l o g ( ρ ( t ) ) ⁢ = g ( a d ( l o g ( ρ ( t ) ) ) ) ( ρ ( t ) − 1 ρ ′ ( t ) ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math414.tif"/> Now note that g ( z ) ⁢ = 1 1 − z / 2 ! + z 2 / 3 ! + … = - 1 + Σ k ≥ 1 c [ k ] z k https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math415.tif"/> Note that ρ(t) has eigenvalues in the range [0,1]. So log(ρ(t)) has all eigenvalues in the range (−∞,0]. Hence, ad(log(ρ(t)) has eigenvalues in the range ℝ = (−∞,∞). So in order that we be able to substitute ad(log(ρ(t))) for z in the above equation, we require that the Taylor series for g(z) be convergent for all z ∈ ℝ which may not be the case. Note that Tr(ρ ' (t)) = 0 and that for k ≥ 1, T r ( ρ ( t ) a d ( l o g ( ρ ( t ) ) k ( ρ ( t ) − 1 ρ ′ ( t ) ) ) ⁢ - T r ( a d ( l o g ( ρ ( t ) ) ) k ( ρ ′ ( t ) ) ) ⁢ = 0 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math416.tif"/> since the commutator of two operators has trace zero (provided that the operators are bounded). Thus, we get T r ( ρ ( t ) d d t l o g ( ρ ( t ) ) ) ⁢ = 0 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math417.tif"/> 79 and so d d t T r ( ρ ( t ) . ⁢ l o g ( ρ ( t ) ) ) ⁢ = T r ( ρ ′ ( t ) . ⁢ l o g ( ρ ( t ) ) ) - T r ( T ( ρ ( t ) ) . ⁢ l o g ( ρ ( t ) ) ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math418.tif"/> where T ( X ) ⁢ = - i [ H 1 , X ] + θ 1 ( X ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math419.tif"/> Now, T r ( [ H 1 , ρ ] . ⁢ l o g ( ρ ) ) ⁢ = T r ( [ H 1 ⁢ . ⁢ l o g ( ρ ) , ρ ] ) ⁢ = 0 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math420.tif"/> so d d t ⁢ T r ( ρ ( t ) ⁢ . ⁢ l o g ( ρ ( t ) ) ) ⁢ = T r ( θ 1 ( ρ ( t ) ) ⁢ . ⁢ l o g ( ρ ( t ) ) ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math421.tif"/>
We wish j t ( X ) to track the noiseless trajectory X d ( t )∈ L ( h ). Assume non-demoltion measurements Y o ( t )= U ( t )* Y i ( t ) U ( t ) are made and the Belavkin filter for π t ( X ) =  j t ( X ) | η t ) , η t = σ ( Y 0 ( s ) : s ≤ t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1006.tif"/> has been constructed as d π t ( X ) = F t ( X ) d t + G t ( X ) d Y o ( t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1007.tif"/> trajectory estimation error X d ( t )− π t ( X ) is given as feedback to the state equations in the form d j t ( X ) = j t ( θ 0 ( X ) ) d t ⁢ + ⁢ j t ( θ 1 ( X ) ) d A ( t ) + j t ( θ 2 ( X ) ) d A ( t ) * + ⁢ j t ( θ 3 ( X ) ) d Λ ( t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1008.tif"/> 192 + ⁢ K ( t ) ( X d ( t ) − π t ( X ) ) d t https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1009.tif"/> Alternately, if we assume that X d follows a noiseless trajectory, ie, it evolves according to the equation X d ( t ) , = j t ( 0 ) ( X d ) = U 0 ( t ) * X d U 0 ( t ) , U 0 ( t ) = e x p ( − i t H 0 ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1010.tif"/> then we can give as feedback the estimation error E ( t ) = X d ( t ) − T r 2 ( π t ( X ) ( I ⊗ | ϕ ( u ) > < ϕ ( u ) | ) ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1011.tif"/> which is a system observable. This error feedback is given to the above state equations, ie, to the Evans-Hudson flow resulting in the dynamics d j t ( X ) = j t ( θ 0 ( X ) ) d t + j t ( θ 1 ( X ) ) d A ( t ) + j t ( θ 2 ( X ) ) d A ( t ) * + j t ( θ 3 ( X ) ) d Λ ( t ) + K ( t ) E ( t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1012.tif"/> Alternately, we can incorporate this error feedback in the original HP equation as d U ( t ) ⁢ = ⁢ ( - ( i H + ⁢ P + ⁢ K ( t ) E ( t ) ) d t + L 1 d A ( t ) ⁢ + ⁢ L 2 d A ( t ) * ⁢ + ⁢ S d Λ ( t ) ) U ( t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1013.tif"/> resulting in the Evans-Hudson flow the same as above but with θ 0 (X) replaced by θ 0 ( X )+ iK ( t )[ E ( t ), X ]. Luc-Bouten’s method of control is slightly different. Here, we choose a system observable Z and give an infinitesimal control unitary U c ( t , t ⁢ + ⁢ d t ) ⁢ = ⁢ U ( t ⁢ + ⁢ d t ) * e x p ( - i Z d Y i ( t ) ) U ( t + d t ) ⁢ = ⁢ e x p ( i Z ( t + d t ) d Y o ( t ) ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1014.tif"/> Note that Y o ( t ) ⁢ = ⁢ U ( t + d t ) * Y i ( t ) U ( t + d t ) , Y o ( t + d t ) ⁢ = ⁢ U ( t + d t ) * Y i ( t + d t ) U ( t + d t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1015.tif"/> and hence, forming the difference, we get d Y 0 ( t ) = U ( t + d t ) * d Y i ( t ) U ( t + d t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1016.tif"/> Also, Z commutes with dY i ( t ) and hence Z ( t + dt )= U ( t + dt )* ZU ( t + dt ) commutes with U ( t + dt )* dY o ( t ) U ( t + dt ). Let ρ c ( t ) denote the controlled state at time t, ie after applying the Belavkin filter and control upto time t to the HP evolved state. Then, we apply the Belavkin filter from t to t + dt , via ρ B ( t + d t ) - ρ c ( t ) + δ ρ B ( t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1017.tif"/> where δ ρ B ( t ) = L t * ( ρ c ( t ) ) d t + ( M t ρ c ( t ) + ρ c ( t ) M t * - T r ( M t + M t * ) ρ c ( t ) ) ρ c ( t ) ) ( d Y o ( t ) - T r ( ρ c ( t ) ( M t + M t * ) ) d t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1018.tif"/> Finally, the filtered and controlled state at time t + dt is given by ρ c ( t + d t ) - ρ c ( t ) ⁢ + ⁢ δ ρ c ( t ) = https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1019.tif"/>