-
A classical limit of Grover's algorithm induced by dephasing: Coherence vs entanglement
Authors:
Kazuo Fujikawa,
C. H. Oh,
Koichiro Umetsu
Abstract:
A new approach to the classical limit of Grover's algorithm is discussed by assuming a very rapid dephasing of a system between consecutive Grover's unitary operations, which drives pure quantum states to decohered mixed states. One can identify a specific element among $N$ unsorted elements by a probability of the order of unity after $k\sim N$ steps of classical amplification, which is realized…
▽ More
A new approach to the classical limit of Grover's algorithm is discussed by assuming a very rapid dephasing of a system between consecutive Grover's unitary operations, which drives pure quantum states to decohered mixed states. One can identify a specific element among $N$ unsorted elements by a probability of the order of unity after $k\sim N$ steps of classical amplification, which is realized by a combination of Grover's unitary operation and rapid dephasing, in contrast to $k\sim π\sqrt{N}/4$ steps in quantum mechanical amplification. The initial two-state system with enormously unbalanced existence probabilities, which is realized by a chosen specific state and a superposition of all the rest of states among $N$ unsorted states, is crucial in the present analysis of classical amplification. This analysis illustrates Grover's algorithm in extremely noisy circumstances. A similar increase from $k\sim \sqrt{N}$ to $k\sim N$ steps due to the loss of quantum coherence takes place in the {\em analog} model of Farhi and Gutmann where the entanglement does not play an obvious role. This supports a view that entanglement is crucial in quantum computation to describe quantum states by a set of qubits, but the actual speedup of the quantum computation is based on quantum coherence.
△ Less
Submitted 27 February, 2019; v1 submitted 26 April, 2018;
originally announced April 2018.
-
Exact algebraic separability criterion for two-qubit systems
Authors:
Kazuo Fujikawa,
C. H. Oh
Abstract:
A conceptually simpler proof of the separability criterion for two-qubit systems, which is referred to as "Hefei inequality" in literature, is presented. This inequality gives a necessary and sufficient separability criterion for any mixed two-qubit system unlike the Bell-CHSH inequality that cannot test the mixed-states such as the Werner state when regarded as a separability criterion. The origi…
▽ More
A conceptually simpler proof of the separability criterion for two-qubit systems, which is referred to as "Hefei inequality" in literature, is presented. This inequality gives a necessary and sufficient separability criterion for any mixed two-qubit system unlike the Bell-CHSH inequality that cannot test the mixed-states such as the Werner state when regarded as a separability criterion. The original derivation of this inequality emphasized the uncertainty relation of complementary observables, but we show that the uncertainty relation does not play any role in the actual derivation and the Peres-Hodrodecki condition is solely responsible for the inequality. Our derivation, which contains technically novel aspects such as an analogy to the Dirac equation, sheds light on this inequality and on the fundamental issue to what extent the uncertainty relation can provide a test of entanglement. This separability criterion is illustrated for an exact treatment of the Werner state.
△ Less
Submitted 9 September, 2016; v1 submitted 12 April, 2016;
originally announced April 2016.
-
Separability criteria with angular and Hilbert space averages
Authors:
Kazuo Fujikawa,
C. H. Oh,
Koichiro Umetsu,
Sixia Yu
Abstract:
The practically useful criteria of separable states $ρ=\sum_{k}w_{k}ρ_{k}$ in $d=2\times2$ are discussed. The equality $G({\bf a},{\bf b})= 4[\langle ψ|P({\bf a})\otimes P({\bf b})|ψ\rangle-\langle ψ|P({\bf a})\otimes{\bf 1}|ψ\rangle\langle ψ|{\bf 1}\otimes P({\bf b})|ψ\rangle]=0$ for any two projection operators $P({\bf a})$ and $P({\bf b})$ provides a necessary and sufficient separability criter…
▽ More
The practically useful criteria of separable states $ρ=\sum_{k}w_{k}ρ_{k}$ in $d=2\times2$ are discussed. The equality $G({\bf a},{\bf b})= 4[\langle ψ|P({\bf a})\otimes P({\bf b})|ψ\rangle-\langle ψ|P({\bf a})\otimes{\bf 1}|ψ\rangle\langle ψ|{\bf 1}\otimes P({\bf b})|ψ\rangle]=0$ for any two projection operators $P({\bf a})$ and $P({\bf b})$ provides a necessary and sufficient separability criterion in the case of a separable pure state $ρ=|ψ\rangle\langleψ|$. We propose the separability criteria of mixed states, which are given by ${\rm Tr}ρ\{{\bf a}\cdot {\bf σ}\otimes {\bf b}\cdot {\bf σ}\}=(1/3)C\cos\varphi$ for two spin $1/2$ systems and $4{\rm Tr}ρ\{P({\bf a})\otimes P({\bf b})\}=1+(1/2)C\cos2\varphi$ for two photon systems, respectively, after taking a geometrical angular average of ${\bf a}$ and ${\bf b}$ with fixed $\cos\varphi={\bf a}\cdot{\bf b}$. Here $-1\leq C\leq 1$, and the difference in the numerical coefficients $1/2$ and $1/3$ arises from the different rotational properties of the spinor and the transverse photon. If one instead takes an average over the states in the $d=2$ Hilbert space, the criterion for two photon systems is replaced by $4{\rm Tr}ρ\{P({\bf a})\otimes P({\bf b})\}=1+(1/3)C\cos2\varphi$.
Those separability criteria are shown to be very efficient using the existing experimental data of Aspect et al. in 1981 and Sakai et al. in 2006. When the Werner state is applied to two photon systems, it is shown that the Hilbert space average can judge its inseparability but not the geometrical angular average.
△ Less
Submitted 6 March, 2016;
originally announced March 2016.
-
Uncertainty principle, Shannon-Nyquist sampling and beyond
Authors:
Kazuo Fujikawa,
Mo-Lin Ge,
Yu-Long Liu,
Qing Zhao
Abstract:
Donoho and Stark have shown that a precise deterministic recovery of missing information contained in a time interval shorter than the time-frequency uncertainty limit is possible. We analyze this signal recovery mechanism from a physics point of view and show that the well-known Shannon-Nyquist sampling theorem, which is fundamental in signal processing, also uses essentially the same mechanism.…
▽ More
Donoho and Stark have shown that a precise deterministic recovery of missing information contained in a time interval shorter than the time-frequency uncertainty limit is possible. We analyze this signal recovery mechanism from a physics point of view and show that the well-known Shannon-Nyquist sampling theorem, which is fundamental in signal processing, also uses essentially the same mechanism. The uncertainty relation in the context of information theory, which is based on Fourier analysis, provides a criterion to distinguish Shannon-Nyquist sampling from compressed sensing. A new signal recovery formula, which is analogous to Donoho-Stark formula, is given using the idea of Shannon-Nyquist sampling; in this formulation, the smearing of information below the uncertainty limit as well as the recovery of information with specified bandwidth take place. We also discuss the recovery of states from the domain below the uncertainty limit of coordinate and momentum in quantum mechanics and show that in principle the state recovery works by assuming ideal measurement procedures. The recovery of the lost information in the sub-uncertainty domain means that the loss of information in such a small domain is not fatal, which is in accord with our common understanding of the uncertainty principle, although its precise recovery is something we are not used to in quantum mechanics. The uncertainty principle provides a universal sampling criterion covering both the classical Shannon-Nyquist sampling theorem and the quantum mechanical measurement.
△ Less
Submitted 6 April, 2015;
originally announced April 2015.
-
Hardy's Paradox and Measurement-disturbance Relations
Authors:
Kazuo Fujikawa,
C. H. Oh,
Sixia Yu
Abstract:
We establish a quantitative relation between Hardy's paradox and the breaking of uncertainty principle in the sense of measurement-disturbance relations in the conditional measurement of non-commuting operators. The analysis of the inconsistency of local realism with entanglement by Hardy is simplified if this breaking of measurement-disturbance relations is taken into account, and a much simplifi…
▽ More
We establish a quantitative relation between Hardy's paradox and the breaking of uncertainty principle in the sense of measurement-disturbance relations in the conditional measurement of non-commuting operators. The analysis of the inconsistency of local realism with entanglement by Hardy is simplified if this breaking of measurement-disturbance relations is taken into account, and a much simplified experimental test of local realism is illustrated in the framework of Hardy's thought experiment. The essence of Hardy's model is identified as a combination of two conditional measurements, which give rise to definite eigenvalues to two non-commuting operators simultaneously in hidden-variables models. Better understanding of the intimate interplay of entanglement and measurement-disturbance is crucial in the current discussions of Hardy's paradox using the idea of weak measurement, which is based on a general analysis of measurement-disturbance relations.
△ Less
Submitted 24 December, 2014;
originally announced December 2014.
-
A hidden-variables version of Gisin's theorem
Authors:
Kazuo Fujikawa,
Koichiro Umetsu
Abstract:
It is generally assumed that {\em local realism} represented by a noncontextual and local hidden-variables model in $d=4$ such as the one used by Bell always gives rise to CHSH inequality $|\langle B\rangle|\leq 2$. On the other hand, the contraposition of Gisin's theorem states that the inequality $|\langle B\rangle|\leq 2$ for arbitrary parameters implies (pure) separable quantum states. The fac…
▽ More
It is generally assumed that {\em local realism} represented by a noncontextual and local hidden-variables model in $d=4$ such as the one used by Bell always gives rise to CHSH inequality $|\langle B\rangle|\leq 2$. On the other hand, the contraposition of Gisin's theorem states that the inequality $|\langle B\rangle|\leq 2$ for arbitrary parameters implies (pure) separable quantum states. The fact that local realism can describe only pure separable quantum states is naturally established in hidden-variables models, and it is quantified by $G({\bf a},{\bf b})= 4[\langle ψ|P({\bf a})\otimes P({\bf b})|ψ\rangle-\langle ψ|P({\bf a})\otimes{\bf 1}|ψ\rangle\langle ψ|{\bf 1}\otimes P({\bf b})|ψ\rangle]=0$ for any two projection operators $P({\bf a})$ and $P({\bf b})$. The test of local realism by the deviation of $G({\bf a},{\bf b})$ from $G({\bf a},{\bf b})=0$ is shown to be very efficient using the past experimental setup of Aspect and his collaborators in 1981.
△ Less
Submitted 7 October, 2014;
originally announced October 2014.
-
Linearity of quantum probability measure and Hardy's model
Authors:
Kazuo Fujikawa,
C. H. Oh,
Chengjie Zhang
Abstract:
We re-examine d=4 hidden-variables-models for a system of two spin-$1/2$ particles in view of the concrete model of Hardy, who analyzed the criterion of entanglement without referring to inequality. The basis of our analysis is the linearity of the probability measure related to the Born probability interpretation, which excludes non-contextual hidden-variables models in $d\geq 3$. To be specific,…
▽ More
We re-examine d=4 hidden-variables-models for a system of two spin-$1/2$ particles in view of the concrete model of Hardy, who analyzed the criterion of entanglement without referring to inequality. The basis of our analysis is the linearity of the probability measure related to the Born probability interpretation, which excludes non-contextual hidden-variables models in $d\geq 3$. To be specific, we note the inconsistency of the non-contextual hidden-variables model in $d=4$ with the linearity of the quantum mechanical probability measure in the sense $\langleψ|{\bf a}\cdot {\bf σ}\otimes{\bf b}\cdot {\bf σ}|ψ\rangle+\langleψ|{\bf a}\cdot {\bf σ}\otimes{\bf b}^{\prime}\cdot {\bf σ}|ψ\rangle=\langleψ|{\bf a}\cdot {\bf σ}\otimes ({\bf b}+{\bf b}^{\prime})\cdot {\bf σ}|ψ\rangle$ for non-collinear ${\bf b}$ and ${\bf b}^{\prime}$. It is then shown that Hardy's model in $d=4$ does not lead to a unique mathematical expression in the demonstration of the discrepancy of local realism (hidden-variables model) with entanglement and thus his proof is incomplete. We identify the origin of this non-uniqueness with the non-uniqueness of translating quantum mechanical expressions into expressions in hidden-variables models, which results from the failure of the above linearity of the probability measure. In contrast, if the linearity of the probability measure is strictly imposed, which is tantamount to asking that the non-contextual hidden-variables model in $d=4$ gives the CHSH inequality $|\langle B\rangle|\leq 2$ uniquely, it is shown that the hidden-variables model can describe only separable quantum mechanical states; this conclusion is in perfect agreement with the so-called Gisin's theorem which states that $|\langle B\rangle|\leq 2$ implies separable states.
△ Less
Submitted 30 December, 2013;
originally announced January 2014.
-
Heisenberg Uncertainty Relation Revisited
Authors:
Kazuo Fujikawa
Abstract:
It is shown that all the known uncertainty relations are the secondary consequences of Robertson's relation. The basic idea is to use the Heisenberg picture so that the time development of quantum mechanical operators incorporate the effects of the measurement interaction. A suitable use of triangle inequalities then gives rise to various forms of uncertainty relations. The assumptions of unbiased…
▽ More
It is shown that all the known uncertainty relations are the secondary consequences of Robertson's relation. The basic idea is to use the Heisenberg picture so that the time development of quantum mechanical operators incorporate the effects of the measurement interaction. A suitable use of triangle inequalities then gives rise to various forms of uncertainty relations. The assumptions of unbiased measurement and unbiased disturbance are important to simplify the resulting uncertainty relations and to give the familiar uncertainty relations such as a naive Heisenberg error-disturbance relation. These simplified uncertainty relations are however valid only conditionally. Quite independently of uncertainty relations, it is shown that the notion of precise measurement is incompatible with the assumptions of unbiased measurement and unbiased disturbance. We can thus naturally understand the failure of the naive Heisenberg's error-disturbance relation, as was demonstrated by the recent spin-measurement by J. Erhart, et al..
△ Less
Submitted 16 January, 2014; v1 submitted 29 December, 2013;
originally announced December 2013.
-
Spin Operator and Entanglement in Quantum Field Theory
Authors:
Kazuo Fujikawa,
C. H. Oh,
Chengjie Zhang
Abstract:
Entanglement is studied in the framework of Dyson's S-matrix theory in relativistic quantum field theory, which leads to a natural definition of entangled states of a particle-antiparticle pair and the spin operator from a Noether current. As an explicit example, the decay of a massive pseudo-scalar particle into a pair of electron and positron is analyzed. Two spin operators are extracted from th…
▽ More
Entanglement is studied in the framework of Dyson's S-matrix theory in relativistic quantum field theory, which leads to a natural definition of entangled states of a particle-antiparticle pair and the spin operator from a Noether current. As an explicit example, the decay of a massive pseudo-scalar particle into a pair of electron and positron is analyzed. Two spin operators are extracted from the Noether current. The Wigner spin operator characterizes spin states at the rest frame of each fermion and, although not measurable in the laboratory, gives rise to a straightforward generalization of low energy analysis of entanglement to the ultra-relativistic domain. In contrast, if one adopts a (modified) Dirac spin operator, the entanglement measured by spin correlation becomes maximal near the threshold of the decay, while the entanglement is replaced by the classical correlation for the ultra-relativistic electron-positron pair by analogy to the case of neutrinos, for which a hidden-variables-type description is possible. Chiral symmetry differentiates the spin angular momentum and the magnetic moment. The use of weak interaction that can measure helicity is suggested in the analysis of entanglement at high energies instead of a Stern-Gerlach apparatus which is useless for the electron. A difference between the electron spin at high energies and the photon linear polarization is also noted. The Standard Model can describe all the observable properties of leptons.
△ Less
Submitted 18 July, 2014; v1 submitted 1 December, 2013;
originally announced December 2013.
-
Improved Error-Tradeoff and Error-Disturbance Relations
Authors:
Xiao-Ming Lu,
Sixia Yu,
Kazuo Fujikawa,
C. H. Oh
Abstract:
Heisenberg's uncertainty principle is quantified by error-disturbance tradeoff relations, which have been tested experimentally in various scenarios. Here we shall report improved new versions of various error-disturbance tradeoff relations by decomposing the measurement errors into two different components, namely, operator bias and fuzziness. Our improved uncertainty relations reveal the tradeof…
▽ More
Heisenberg's uncertainty principle is quantified by error-disturbance tradeoff relations, which have been tested experimentally in various scenarios. Here we shall report improved new versions of various error-disturbance tradeoff relations by decomposing the measurement errors into two different components, namely, operator bias and fuzziness. Our improved uncertainty relations reveal the tradeoffs between these two components of errors, and imply various conditionally valid error-tradeoff relations for the unbiased and projective measurements. We also design a quantum circuit to measure the two components of the error and disturbance.
△ Less
Submitted 16 June, 2014; v1 submitted 19 October, 2013;
originally announced October 2013.
-
Conditionally valid uncertainty relations
Authors:
Kazuo Fujikawa
Abstract:
It is shown that the well-defined unbiased measurement or disturbance of a dynamical variable is not maintained for the precise measurement of the conjugate variable, independently of uncertainty relations. The conditionally valid uncertainty relations on the basis of those additional assumptions, which include most of the familiar Heisenberg-type relations, thus become singular for the precise me…
▽ More
It is shown that the well-defined unbiased measurement or disturbance of a dynamical variable is not maintained for the precise measurement of the conjugate variable, independently of uncertainty relations. The conditionally valid uncertainty relations on the basis of those additional assumptions, which include most of the familiar Heisenberg-type relations, thus become singular for the precise measurement. We clarify some contradicting conclusions in the literature concerning those conditionally valid uncertainty relations: The failure of a naive Heisenberg-type error-disturbance relation and the modified Arthurs-Kelly relation in the recent spin measurement is attributed to this singular behavior. The naive Heisenberg-type error-disturbance relation is formally preserved in quantum estimation theory, which is shown to be based on the strict unbiased measurement and disturbance, but it leads to unbounded disturbance for bounded operators such as spin variables. In contrast, the Heisenberg-type error-error uncertainty relation and the Arthurs-Kelly relation, as conditionally valid uncertainty relations, are consistently maintained.
△ Less
Submitted 28 May, 2013;
originally announced May 2013.
-
Quantum Discord, CHSH Inequality and Hidden Variables -- Critical reassessment of hidden-variables models
Authors:
Kazuo Fujikawa
Abstract:
Hidden-variables models are critically reassessed. It is first examined if the quantum discord is classically described by the hidden-variable model of Bell in the Hilbert space with $d=2$. The criterion of vanishing quantum discord is related to the notion of reduction and, surprisingly, the hidden-variable model in $d=2$, which has been believed to be consistent so far, is in fact inconsistent a…
▽ More
Hidden-variables models are critically reassessed. It is first examined if the quantum discord is classically described by the hidden-variable model of Bell in the Hilbert space with $d=2$. The criterion of vanishing quantum discord is related to the notion of reduction and, surprisingly, the hidden-variable model in $d=2$, which has been believed to be consistent so far, is in fact inconsistent and excluded by the analysis of conditional measurement and reduction. The description of the full contents of quantum discord by the deterministic hidden-variables models is not possible. We also re-examine CHSH inequality. It is shown that the well-known prediction of CHSH inequality $|B|\leq 2$ for the CHSH operator $B$ introduced by Cirel'son is not unique. This non-uniqueness arises from the failure of linearity condition in the non-contextual hidden-variables model in $d=4$ used by Bell and CHSH, in agreement with Gleason's theorem which excludes $d=4$ non-contextual hidden-variables models. If one imposes the linearity condition, their model is converted to a factored product of two $d=2$ models which describes quantum mechanical separable states. The CHSH inequality thus does not test the hidden-variables model in $d=4$. This observation is consistent with an application of the CHSH inequality to quantum cryptography by Ekert, which is based on mixed separable states without referring to dispersion-free representations. As for hidden-variables models, there exist no viable local non-contextual models in any dimensions.
△ Less
Submitted 4 February, 2013;
originally announced February 2013.
-
Aharonov-Bohm effect and geometric phases -- Exact and approximate topology
Authors:
Kazuo Fujikawa
Abstract:
By analyzing an exactly solvable model in the second quantized formulation which allows a unified treatment of adiabatic and non-adiabatic geometric phases, it is shown that the topology of the adiabatic Berry's phase, which is characterized by the singularity associated with possible level crossing, is trivial in a precise sense. This topology of the geometric phase is quite different from the to…
▽ More
By analyzing an exactly solvable model in the second quantized formulation which allows a unified treatment of adiabatic and non-adiabatic geometric phases, it is shown that the topology of the adiabatic Berry's phase, which is characterized by the singularity associated with possible level crossing, is trivial in a precise sense. This topology of the geometric phase is quite different from the topology of the Aharonov-Bohm effect, where the topology is specified by the external local gauge field and it is exact for the slow as well as for the fast motion of the electron.
△ Less
Submitted 2 February, 2013;
originally announced February 2013.
-
Aspects of universally valid Heisenberg uncertainty relation
Authors:
Kazuo Fujikawa,
Koichiro Umetsu
Abstract:
A numerical illustration of a universally valid Heisenberg uncertainty relation, which was proposed recently, is presented by using the experimental data on spin-measurements by J. Erhart, et al.[ Nature Phys. {\bf 8}, 185 (2012)]. This uncertainty relation is closely related to a modified form of the Arthurs-Kelly uncertainty relation which is also tested by the spin-measurements. The universally…
▽ More
A numerical illustration of a universally valid Heisenberg uncertainty relation, which was proposed recently, is presented by using the experimental data on spin-measurements by J. Erhart, et al.[ Nature Phys. {\bf 8}, 185 (2012)]. This uncertainty relation is closely related to a modified form of the Arthurs-Kelly uncertainty relation which is also tested by the spin-measurements. The universally valid Heisenberg uncertainty relation always holds, but both the modified Arthurs-Kelly uncertainty relation and Heisenberg's error-disturbance relation proposed by Ozawa, which was analyzed in the original experiment, fail in the present context of spin-measurements, and the cause of their failure is identified with the assumptions of unbiased measurement and disturbance. It is also shown that all the universally valid uncertainty relations are derived from Robertson's relation and thus the essence of the uncertainty relation is exhausted by Robertson's relation as is widely accepted.
△ Less
Submitted 8 November, 2012;
originally announced November 2012.
-
A universally valid Heisenberg uncertainty relation
Authors:
Kazuo Fujikawa
Abstract:
A universally valid Heisenberg uncertainty relation is proposed by combining the universally valid error-disturbance uncertainty relation of Ozawa with the relation of Robertson. This form of the uncertainty relation, which is defined with the same mathematical rigor as the relations of Kennard and Robertson, incorporates both of the intrinsic quantum fluctuations and measurement effects.
A universally valid Heisenberg uncertainty relation is proposed by combining the universally valid error-disturbance uncertainty relation of Ozawa with the relation of Robertson. This form of the uncertainty relation, which is defined with the same mathematical rigor as the relations of Kennard and Robertson, incorporates both of the intrinsic quantum fluctuations and measurement effects.
△ Less
Submitted 7 May, 2012;
originally announced May 2012.
-
Does CHSH inequality test the model of local hidden variables?
Authors:
Kazuo Fujikawa
Abstract:
It is pointed out that the local hidden variables model of Bell and Clauser-Horne-Shimony-Holt (CHSH) gives $|<B>|\leq 2\sqrt{2}$ or $|<B>|\leq 2$ for the quantum CHSH operator $B={\bf a}\cdot {\bf σ}\otimes ({\bf b}+{\bf b}^{\prime})\cdot {\bf σ} +{\bf a}^{\prime}\cdot{\bf σ}\otimes ({\bf b}-{\bf b}^{\prime})\cdot{\bf σ} $ depending on two different ways of evaluation, when it is applied to a…
▽ More
It is pointed out that the local hidden variables model of Bell and Clauser-Horne-Shimony-Holt (CHSH) gives $|<B>|\leq 2\sqrt{2}$ or $|<B>|\leq 2$ for the quantum CHSH operator $B={\bf a}\cdot {\bf σ}\otimes ({\bf b}+{\bf b}^{\prime})\cdot {\bf σ} +{\bf a}^{\prime}\cdot{\bf σ}\otimes ({\bf b}-{\bf b}^{\prime})\cdot{\bf σ} $ depending on two different ways of evaluation, when it is applied to a $d=4$ system of two spin-1/2 particles. This is due to the failure of linearity, and it shows that the conventional CHSH inequality $|<B>|\leq 2$ does not provide a reliable test of the $d=4$ local non-contextual hidden variables model. To achieve $|<B>|\leq 2$ uniquely, one needs to impose a linearity requirement on the hidden variables model, which in turn adds a von Neumann-type stricture. It is then shown that the local model is converted to a factored product of two non-contextual $d=2$ hidden variables models. This factored product implies pure separable quantum states and satisfies $|<B>|\leq 2$, but no more a proper hidden variables model in $d=4$. The conventional CHSH inequality $|<B>|\leq 2$ thus characterizes the pure separable quantum mechanical states but does not test the model of local hidden variables in $d=4$, to be consistent with Gleason's theorem which excludes non-contextual models in $d=4$. This observation is also consistent with an application of the CHSH inequality to quantum cryptography by Ekert, which is based on mixed separable states without referring to hidden variables.
△ Less
Submitted 16 April, 2012; v1 submitted 16 April, 2012;
originally announced April 2012.
-
Conditional measurement in noncontextual hidden variables models
Authors:
Kazuo Fujikawa
Abstract:
The noncontextual hidden variables models in $d=2$, such as the ones constructed by Bell and by Kochen and Specker, have difficulties in accounting for the conditional measurement of two non-orthogonal projectors. An idea of branching in the hidden variables space, which provides a means to realize the notion of reduction effectively and describe the state preparation, is suggested as a way to res…
▽ More
The noncontextual hidden variables models in $d=2$, such as the ones constructed by Bell and by Kochen and Specker, have difficulties in accounting for the conditional measurement of two non-orthogonal projectors. An idea of branching in the hidden variables space, which provides a means to realize the notion of reduction effectively and describe the state preparation, is suggested as a way to resolve the difficulties associated with the conditional measurement.
△ Less
Submitted 14 April, 2012;
originally announced April 2012.
-
Quantum discord and noncontextual hidden variables models
Authors:
Kazuo Fujikawa
Abstract:
It is shown that theoretically viable noncontextual hidden variables models in $d=2$ lead to conflicting dispersion free expressions in the analysis of the conditional measurement of two non-orthogonal projectors.
No satisfactory criterion of the quantum discord, which relies on the analysis of conditional measurement, is formulated in the $d=2$ hidden variables space due to a lack of uniqueness…
▽ More
It is shown that theoretically viable noncontextual hidden variables models in $d=2$ lead to conflicting dispersion free expressions in the analysis of the conditional measurement of two non-orthogonal projectors.
No satisfactory criterion of the quantum discord, which relies on the analysis of conditional measurement, is formulated in the $d=2$ hidden variables space due to a lack of uniqueness of the dispersion free representation.
We also make a speculative comment on a "many-worlds interpretation" of hidden variables models to account for the conditional measurement.
△ Less
Submitted 20 January, 2012;
originally announced January 2012.
-
Explicit formula of the separability criterion for continuous variables systems
Authors:
Kazuo Fujikawa
Abstract:
A very explicit analytic formula of the separability criterion of two-party Gaussian systems is given. This formula is compared to the past formulation of the separability criterion of continuous variables two-party Gaussian systems.
A very explicit analytic formula of the separability criterion of two-party Gaussian systems is given. This formula is compared to the past formulation of the separability criterion of continuous variables two-party Gaussian systems.
△ Less
Submitted 10 December, 2011;
originally announced December 2011.
-
Uncertainty relation and probability: Numerical illustration
Authors:
Kazuo Fujikawa,
Koichiro Umetsu
Abstract:
The uncertainty relation and the probability interpretation of quantum mechanics are intrinsically connected, as is evidenced by the evaluation of standard deviations. It is thus natural to ask if one can associate a very small uncertainty product of suitably sampled events with a very small probability. We have shown elsewhere that some examples of the evasion of the uncertainty relation noted in…
▽ More
The uncertainty relation and the probability interpretation of quantum mechanics are intrinsically connected, as is evidenced by the evaluation of standard deviations. It is thus natural to ask if one can associate a very small uncertainty product of suitably sampled events with a very small probability. We have shown elsewhere that some examples of the evasion of the uncertainty relation noted in the past are in fact understood in this way. We here numerically illustrate that a very small uncertainty product is realized if one performs a suitable sampling of measured data which occur with a very small probability. It is also shown that our analysis is consistent with the Landau-Pollak type uncertainty relation. It is suggested that the present analysis may help reconcile the contradicting views about the "standard quantum limit" in the detection of gravitational waves.
△ Less
Submitted 8 December, 2010;
originally announced December 2010.
-
Comment on the uncertainty relation with periodic boundary conditions
Authors:
Kazuo Fujikawa
Abstract:
The Kennard-type uncertainty relation $ΔxΔp >\frac{\hbar}{2}$ is formulated for a free particle with given momentum < \hat{p}>$ inside a box with periodic boundary conditions in the large box limit. Our construction of a free particle state is analogous to that of the Bloch wave in a periodic potential. A simple Robertson-type relation, which minimizes the effect of the box boundary and may be use…
▽ More
The Kennard-type uncertainty relation $ΔxΔp >\frac{\hbar}{2}$ is formulated for a free particle with given momentum < \hat{p}>$ inside a box with periodic boundary conditions in the large box limit. Our construction of a free particle state is analogous to that of the Bloch wave in a periodic potential. A simple Robertson-type relation, which minimizes the effect of the box boundary and may be useful in some practical applications, is also presented.
△ Less
Submitted 29 September, 2010;
originally announced September 2010.
-
Geometric phases and hidden gauge symmetry
Authors:
Kazuo Fujikawa
Abstract:
The second quantized approach to geometric phases is reviewed. The second quantization generally induces a hidden local (time-dependent) gauge symmetry. This gauge symmetry defines the parallel transport and holonomy, and thus it controls all the known geometric phases, either adiabatic or non-adiabatic, in a unified manner. The transitional region from the adiabatic to non-adiabatic phases is t…
▽ More
The second quantized approach to geometric phases is reviewed. The second quantization generally induces a hidden local (time-dependent) gauge symmetry. This gauge symmetry defines the parallel transport and holonomy, and thus it controls all the known geometric phases, either adiabatic or non-adiabatic, in a unified manner. The transitional region from the adiabatic to non-adiabatic phases is thus analyzed in a quantitative way. It is then shown that the topology of the adiabatic Berry's phase is trivial in a precise sense and also the adiabatic phase is rather fragile against the non-adiabatic deformation. In this formulation, the notion such as the projective Hilbert space does not appear.
△ Less
Submitted 2 October, 2009;
originally announced October 2009.
-
Separability criteria for continuous variable systems
Authors:
Kazuo Fujikawa
Abstract:
A general separability condition on the second moment (covariance matrix) for continuous variable two-party systems is derived by an analysis analogous to the derivation of the Kennard's uncertainty relation without referring to the non-negativity of the partially transposed density matrix. This separability criterion is generally more stringent than that used by Simon which is based on the non-…
▽ More
A general separability condition on the second moment (covariance matrix) for continuous variable two-party systems is derived by an analysis analogous to the derivation of the Kennard's uncertainty relation without referring to the non-negativity of the partially transposed density matrix. This separability criterion is generally more stringent than that used by Simon which is based on the non-negativity of partially transposed density matrix, and thus this criterion may be useful in the analysis of general continuous two-party systems. Another separability criterion used by Duan et al. is shown to be generally weaker than that of Simon. We thus have a hierarchy of separability criteria, but all these criteria when combined with suitable squeezing become equivalent at the boundary of the P-representation condition and thus turned out to be sufficient to analyze the separability of two-party Gaussian systems.
△ Less
Submitted 18 June, 2009;
originally announced June 2009.
-
Analytic solution of the separability criterion for continuous variable systems
Authors:
Kazuo Fujikawa
Abstract:
By using the algebraic separability criterion of R. Simon, we present an explicit determination of squeezing parameters for which the P-representation condition saturates the $Sp(2,R)\otimes Sp(2,R)$ invariant separability condition for continuous variable two-party Gaussian systems. We thus give for the first time the explicit analytic formulas of squeezing parameters which establish the equiva…
▽ More
By using the algebraic separability criterion of R. Simon, we present an explicit determination of squeezing parameters for which the P-representation condition saturates the $Sp(2,R)\otimes Sp(2,R)$ invariant separability condition for continuous variable two-party Gaussian systems. We thus give for the first time the explicit analytic formulas of squeezing parameters which establish the equivalence of the separability condition with the P-representation condition. The implications of our algebraic analysis on some of the past related works are discussed.
△ Less
Submitted 12 February, 2009;
originally announced February 2009.
-
Clear evasion of the uncertainty relation with very small probability
Authors:
Kazuo Fujikawa,
Koichiro Umetsu
Abstract:
We entertain the idea that the uncertainty relation is not a principle, but rather it is a consequence of quantum mechanics. The uncertainty relation is then a probabilistic statement and can be clearly evaded in processes which occur with a very small probability in a tiny sector of the phase space. This clear evasion is typically realized when one utilizes indirect measurements, and some examp…
▽ More
We entertain the idea that the uncertainty relation is not a principle, but rather it is a consequence of quantum mechanics. The uncertainty relation is then a probabilistic statement and can be clearly evaded in processes which occur with a very small probability in a tiny sector of the phase space. This clear evasion is typically realized when one utilizes indirect measurements, and some examples of the clear evasion appear in the system with entanglement though the entanglement by itself is not essential for the evasion. The standard Kennard's relation and its interpretation remain intact in our analysis.
As an explicit example, we show that the clear evasion of the uncertainty relation for coordinate and momentum in the diffraction process discussed by Ballentine is realized in a tiny sector of the phase space with a very small probability. We also examine the uncertainty relation for a two-spin system with the EPR entanglement and show that no clear evasion takes place in this system with the finite discrete degrees of freedom.
△ Less
Submitted 14 October, 2008; v1 submitted 24 July, 2008;
originally announced July 2008.
-
Non-hermitian radial momentum operator and path integrals in polar coordinates
Authors:
Kazuo Fujikawa
Abstract:
A salient feature of the Schrödinger equation is that the classical radial momentum term $p_{r}^{2}$ in polar coordinates is replaced by the operator $\hat{P}^{\dagger}_{r} \hat{P}_{r}$, where the operator $\hat{P}_{r}$ is not hermitian in general. This fact has important implications for the path integral and semi-classical approximations. When one defines a formal hermitian radial momentum ope…
▽ More
A salient feature of the Schrödinger equation is that the classical radial momentum term $p_{r}^{2}$ in polar coordinates is replaced by the operator $\hat{P}^{\dagger}_{r} \hat{P}_{r}$, where the operator $\hat{P}_{r}$ is not hermitian in general. This fact has important implications for the path integral and semi-classical approximations. When one defines a formal hermitian radial momentum operator $\hat{p}_{r}=(1/2)((\frac{\hat{\vec{x}}}{r}) \hat{\vec{p}}+\hat{\vec{p}}(\frac{\hat{\vec{x}}}{r}))$, the relation $\hat{P}^{\dagger}_{r} \hat{P}_{r}=\hat{p}_{r}^{2}+\hbar^{2}(d-1)(d-3)/(4r^{2})$ holds in $d$-dimensional space and this extra potential appears in the path integral formulated in polar coordinates. The extra potential, which influences the classical solutions in the semi-classical treatment such as in the analysis of solitons and collective modes, vanishes for $d=3$ and attractive for $d=2$ and repulsive for all other cases $d\geq 4$. This extra term induced by the non-hermitian operator is a purely quantum effect, and it is somewhat analogous to the quantum anomaly in chiral gauge theory.
△ Less
Submitted 15 July, 2008; v1 submitted 26 May, 2008;
originally announced May 2008.
-
Geometric phase of a two-level system in a dissipative environment
Authors:
Kazuo Fujikawa,
Ming-Guang Hu
Abstract:
The geometric (Berry) phase of a two-level system in a dissipative environment is analyzed by using the second-quantized formulation, which provides a unified and gauge-invariant treatment of adiabatic and nonadiabatic phases and is thus applicable to a quantitative analysis of transitional regions away from ideal adiabaticity. In view of the recent experimental observation of the Berry phase in…
▽ More
The geometric (Berry) phase of a two-level system in a dissipative environment is analyzed by using the second-quantized formulation, which provides a unified and gauge-invariant treatment of adiabatic and nonadiabatic phases and is thus applicable to a quantitative analysis of transitional regions away from ideal adiabaticity. In view of the recent experimental observation of the Berry phase in a superconducting qubit, we illustrate our formulation for a concrete adiabatic case in the Ohmic dissipation. The correction to the total phase together with the geometry-dependent dephasing time is given in a transparent way. The behavior of the geometric phase away from ideal adiabaticity is also analyzed in some detail.
△ Less
Submitted 8 May, 2009; v1 submitted 6 May, 2008;
originally announced May 2008.
-
Geometric Phase and Chiral Anomaly in Path Integral Formulation
Authors:
Kazuo Fujikawa
Abstract:
All the geometric phases, adiabatic and non-adiabatic, are formulated in a unified manner in the second quantized path integral formulation. The exact hidden local symmetry inherent in the Schrödinger equation defines the holonomy. All the geometric phases are shown to be topologically trivial. The geometric phases are briefly compared to the chiral anomaly which is naturally formulated in the p…
▽ More
All the geometric phases, adiabatic and non-adiabatic, are formulated in a unified manner in the second quantized path integral formulation. The exact hidden local symmetry inherent in the Schrödinger equation defines the holonomy. All the geometric phases are shown to be topologically trivial. The geometric phases are briefly compared to the chiral anomaly which is naturally formulated in the path integral.
△ Less
Submitted 16 November, 2007;
originally announced November 2007.
-
Adiabatic approximation in the second quantized formulation
Authors:
Kazuo Fujikawa
Abstract:
Recently there have been some controversies about the criterion of the adiabatic approximation. It is shown that an approximate diagonalization of the effective Hamiltonian in the second quantized formulation gives rise to a reliable and unambiguous criterion of the adiabatic approximation. This is illustrated for the model of Marzlin and Sanders and a model related to the geometric phase which…
▽ More
Recently there have been some controversies about the criterion of the adiabatic approximation. It is shown that an approximate diagonalization of the effective Hamiltonian in the second quantized formulation gives rise to a reliable and unambiguous criterion of the adiabatic approximation. This is illustrated for the model of Marzlin and Sanders and a model related to the geometric phase which can be exactly diagonalized in the present sense.
△ Less
Submitted 29 October, 2007;
originally announced October 2007.
-
On the separability criterion for continuous variable systems
Authors:
Kazuo Fujikawa
Abstract:
We present an elementary and explicit proof of the separability criterion for continuous variable two-party Gaussian systems. Our proof is based on an elementary formulation of uncertainty relations and an explicit determination of squeezing parameters for which the P-representation condition saturates the $Sp(2,R)\otimes Sp(2,R)$ invariant separability condition. We thus give the explicit formu…
▽ More
We present an elementary and explicit proof of the separability criterion for continuous variable two-party Gaussian systems. Our proof is based on an elementary formulation of uncertainty relations and an explicit determination of squeezing parameters for which the P-representation condition saturates the $Sp(2,R)\otimes Sp(2,R)$ invariant separability condition. We thus give the explicit formulas of squeezing parameters, which establish the equivalence of the separability condition with the P-representation condition, in terms of the parameters of the standard form of the correlation matrix. Our proof is compared to the past proofs, and it is pointed out that the original proof of the P-representation by Duan, Giedke, Cirac and Zoller(DGCZ) is incomplete. A way to complete their proof is then shown. It is noted that both of the corrected proof of DGCZ and the proof of R. Simon are closely related to our explicit construction despite their quite different appearances.
△ Less
Submitted 19 July, 2008; v1 submitted 26 October, 2007;
originally announced October 2007.
-
Geometric phases for mixed states and decoherence
Authors:
Kazuo Fujikawa
Abstract:
The gauge invariance of geometric phases for mixed states is analyzed by using the hidden local gauge symmetry which arises from the arbitrariness of the choice of the basis set defining the coordinates in the functional space. This approach gives a reformulation of the past results of adiabatic, non-adiabatic and mixed state geometric phases. The geometric phases are identified uniquely as the…
▽ More
The gauge invariance of geometric phases for mixed states is analyzed by using the hidden local gauge symmetry which arises from the arbitrariness of the choice of the basis set defining the coordinates in the functional space. This approach gives a reformulation of the past results of adiabatic, non-adiabatic and mixed state geometric phases. The geometric phases are identified uniquely as the holonomy associated with the hidden local gauge symmetry which is an exact symmetry of the Schrödinger equation. The purification and its inverse in the description of de-coherent mixed states are consistent with the hidden local gauge symmetry. A salient feature of the present formulation is that the total phase and visibility in the mixed state, which are directly observable in the interference experiment, are manifestly gauge invariant.
△ Less
Submitted 20 October, 2006;
originally announced October 2006.
-
Geometric phases, gauge symmetries and ray representation
Authors:
Kazuo Fujikawa
Abstract:
The conventional formulation of the non-adiabatic (Aharonov-Anandan) phase is based on the equivalence class $\{e^{iα(t)}ψ(t,\vec{x})\}$ which is not a symmetry of the Schrödinger equation. This equivalence class when understood as defining generalized rays in the Hilbert space is not generally consistent with the superposition principle in interference and polarization phenomena. The hidden loc…
▽ More
The conventional formulation of the non-adiabatic (Aharonov-Anandan) phase is based on the equivalence class $\{e^{iα(t)}ψ(t,\vec{x})\}$ which is not a symmetry of the Schrödinger equation. This equivalence class when understood as defining generalized rays in the Hilbert space is not generally consistent with the superposition principle in interference and polarization phenomena. The hidden local gauge symmetry, which arises from the arbitrariness of the choice of coordinates in the functional space, is then proposed as a basic gauge symmetry in the non-adiabatic phase. This re-formulation reproduces all the successful aspects of the non-adiabatic phase in a manner manifestly consistent with the conventional notion of rays and the superposition principle. The hidden local symmetry is thus identified as the natural origin of the gauge symmetry in both of the adiabatic and non-adiabatic phases in the absence of gauge fields, and it allows a unified treatment of all the geometric phases. The non-adiabatic phase may well be regarded as a special case of the adiabatic phase in this re-formulation, contrary to the customary understanding of the adiabatic phase as a special case of the non-adiabatic phase. Some explicit examples of geometric phases are discussed to illustrate this re-formulation.
△ Less
Submitted 12 July, 2006; v1 submitted 9 May, 2006;
originally announced May 2006.
-
Quantum anomaly and geometric phase; their basic differences
Authors:
Kazuo Fujikawa
Abstract:
It is sometimes stated in the literature that the quantum anomaly is regarded as an example of the geometric phase. Though there is some superficial similarity between these two notions, we here show that the differences bewteen these two notions are more profound and fundamental. As an explicit example, we analyze in detail a quantum mechanical model proposed by M. Stone, which is supposed to s…
▽ More
It is sometimes stated in the literature that the quantum anomaly is regarded as an example of the geometric phase. Though there is some superficial similarity between these two notions, we here show that the differences bewteen these two notions are more profound and fundamental. As an explicit example, we analyze in detail a quantum mechanical model proposed by M. Stone, which is supposed to show the above connection. We show that the geometric term in the model, which is topologically trivial for any finite time interval $T$, corresponds to the so-called ``normal naive term'' in field theory and has nothing to do with the anomaly-induced Wess-Zumino term. In the fundamental level, the difference between the two notions is stated as follows: The topology of gauge fields leads to level crossing in the fermionic sector in the case of chiral anomaly and the {\em failure} of the adiabatic approximation is essential in the analysis, whereas the (potential) level crossing in the matter sector leads to the topology of the Berry phase only when the precise adiabatic approximation holds.
△ Less
Submitted 8 January, 2006; v1 submitted 14 November, 2005;
originally announced November 2005.
-
Berry's phases and topological properties in the Born-Oppenheimer approximation
Authors:
Kazuo Fujikawa
Abstract:
The level crossing problem is neatly formulated by the second quantized formulation, which exhibits a hidden local gauge symmetry. The analysis of geometric phases is reduced to a simple diagonalization of the Hamiltonian. If one diagonalizes the geometric terms in the infinitesimal neighborhood of level crossing, the geometric phases become trivial (and thus no monopole singularity) for arbitra…
▽ More
The level crossing problem is neatly formulated by the second quantized formulation, which exhibits a hidden local gauge symmetry. The analysis of geometric phases is reduced to a simple diagonalization of the Hamiltonian. If one diagonalizes the geometric terms in the infinitesimal neighborhood of level crossing, the geometric phases become trivial (and thus no monopole singularity) for arbitrarily large but finite time interval $T$. The topological proof of the Longuet-Higgins' phase-change rule, for example, thus fails in the practical Born-Oppenheimer approximation where $T$ is identified with the period of the slower system. The crucial difference between the Aharonov-Bohm phase and the geometric phase is explained. It is also noted that the gauge symmetries involved in the adiabatic and non-adiabatic geometric phases are quite different.
△ Less
Submitted 7 October, 2005;
originally announced October 2005.
-
Geometric phases and hidden local gauge symmetry
Authors:
Kazuo Fujikawa
Abstract:
The analysis of geometric phases associated with level crossing is reduced to the familiar diagonalization of the Hamiltonian in the second quantized formulation. A hidden local gauge symmetry, which is associated with the arbitrariness of the phase choice of a complete orthonormal basis set, becomes explicit in this formulation (in particular, in the adiabatic approximation) and specifies physi…
▽ More
The analysis of geometric phases associated with level crossing is reduced to the familiar diagonalization of the Hamiltonian in the second quantized formulation. A hidden local gauge symmetry, which is associated with the arbitrariness of the phase choice of a complete orthonormal basis set, becomes explicit in this formulation (in particular, in the adiabatic approximation) and specifies physical observables. The choice of a basis set which specifies the coordinate in the functional space is arbitrary in the second quantization, and a sub-class of coordinate transformations, which keeps the form of the action invariant, is recognized as the gauge symmetry. We discuss the implications of this hidden local gauge symmetry in detail by analyzing geometric phases for cyclic and noncyclic evolutions. It is shown that the hidden local symmetry provides a basic concept alternative to the notion of holonomy to analyze geometric phases and that the analysis based on the hidden local gauge symmetry leads to results consistent with the general prescription of Pancharatnam. We however note an important difference between the geometric phases for cyclic and noncyclic evolutions. We also explain a basic difference between our hidden local gauge symmetry and a gauge symmetry (or equivalence class) used by Aharonov and Anandan in their definition of generalized geometric phases.
△ Less
Submitted 18 July, 2005; v1 submitted 11 May, 2005;
originally announced May 2005.
-
Second quantized formulation of geometric phases
Authors:
Shinichi Deguchi,
Kazuo Fujikawa
Abstract:
The level crossing problem and associated geometric terms are neatly formulated by the second quantized formulation. This formulation exhibits a hidden local gauge symmetry related to the arbitrariness of the phase choice of the complete orthonormal basis set. By using this second quantized formulation, which does not assume adiabatic approximation, a convenient exact formula for the geometric t…
▽ More
The level crossing problem and associated geometric terms are neatly formulated by the second quantized formulation. This formulation exhibits a hidden local gauge symmetry related to the arbitrariness of the phase choice of the complete orthonormal basis set. By using this second quantized formulation, which does not assume adiabatic approximation, a convenient exact formula for the geometric terms including off-diagonal geometric terms is derived. The analysis of geometric phases is then reduced to a simple diagonalization of the Hamiltonian, and it is analyzed both in the operator and path integral formulations. If one diagonalizes the geometric terms in the infinitesimal neighborhood of level crossing, the geometric phases become trivial (and thus no monopole singularity) for arbitrarily large but finite time interval $T$. The integrability of Schrödinger equation and the appearance of the seemingly non-integrable phases are thus consistent. The topological proof of the Longuet-Higgins' phase-change rule, for example, fails in the practical Born-Oppenheimer approximation where a large but finite ratio of two time scales is involved and $T$ is identified with the period of the slower system. The difference and similarity between the geometric phases associated with level crossing and the exact topological object such as the Aharonov-Bohm phase become clear in the present formulation. A crucial difference between the quantum anomaly and the geometric phases is also noted.
△ Less
Submitted 6 May, 2005; v1 submitted 20 January, 2005;
originally announced January 2005.
-
Topological properties of Berry's phase
Authors:
Kazuo Fujikawa
Abstract:
By using a second quantized formulation of level crossing, which does not assume adiabatic approximation, a convenient formula for geometric terms including off-diagonal terms is derived. The analysis of geometric phases is reduced to a simple diagonalization of the Hamiltonian in the present formulation. If one diagonalizes the geometric terms in the infinitesimal neighborhood of level crossing…
▽ More
By using a second quantized formulation of level crossing, which does not assume adiabatic approximation, a convenient formula for geometric terms including off-diagonal terms is derived. The analysis of geometric phases is reduced to a simple diagonalization of the Hamiltonian in the present formulation. If one diagonalizes the geometric terms in the infinitesimal neighborhood of level crossing, the geometric phases become trivial for any finite time interval $T$. The topological interpretation of Berry's phase such as the topological proof of phase-change rule thus fails in the practical Born-Oppenheimer approximation, where a large but finite ratio of two time scales is involved.
△ Less
Submitted 24 December, 2004; v1 submitted 1 November, 2004;
originally announced November 2004.
-
Remarks on Shannon's Statistical Inference and the Second Law in Quantum Statistical Mechanics
Authors:
Kazuo Fujikawa
Abstract:
We comment on a formulation of quantum statistical mechanics, which incorporates the statistical inference of Shannon.
Our basic idea is to distinguish the dynamical entropy of von Neumann, $H = -k Tr \hatρ\ln\hatρ$, in terms of the density matrix $\hatρ(t)$, and the statistical amount of uncertainty of Shannon, $S= -k \sum_{n}p_{n}\ln p_{n}$, with $p_{n}=< n|\hatρ|n>$ in the representation wh…
▽ More
We comment on a formulation of quantum statistical mechanics, which incorporates the statistical inference of Shannon.
Our basic idea is to distinguish the dynamical entropy of von Neumann, $H = -k Tr \hatρ\ln\hatρ$, in terms of the density matrix $\hatρ(t)$, and the statistical amount of uncertainty of Shannon, $S= -k \sum_{n}p_{n}\ln p_{n}$, with $p_{n}=< n|\hatρ|n>$ in the representation where the total energy and particle numbers are diagonal. These quantities satisfy the inequality $S\geq H$. We propose to interprete Shannon's statistical inference as specifying the {\em initial conditions} of the system in terms of $p_{n}$. A definition of macroscopic observables which are characterized by intrinsic time scales is given, and a quantum mechanical condition on the system, which ensures equilibrium, is discussed on the basis of time averaging.
An interesting analogy of the change of entroy with the running coupling in renormalization group is noted. A salient feature of our approach is that the distinction between statistical aspects and dynamical aspects of quantum statistical mechanics is very transparent.
△ Less
Submitted 1 April, 2002; v1 submitted 29 May, 2000;
originally announced May 2000.
-
Duality in potential curve crossing: Application to quantum coherence
Authors:
Kazuo Fujikawa,
Hiroshi Suzuki
Abstract:
A field dependent $su(2)$ gauge transformation connects between the adiabatic and diabatic pictures in the (Landau-Zener-Stueckelberg) potential curve crossing problem. It is pointed out that weak and strong potential curve crossing interactions are interchanged under this transformation, and thus realizing a naive strong and weak duality. A reliable perturbation theory should thus be formulated…
▽ More
A field dependent $su(2)$ gauge transformation connects between the adiabatic and diabatic pictures in the (Landau-Zener-Stueckelberg) potential curve crossing problem. It is pointed out that weak and strong potential curve crossing interactions are interchanged under this transformation, and thus realizing a naive strong and weak duality. A reliable perturbation theory should thus be formulated in the both limits of weak and strong interactions. In fact, main characteristics of the potential crossing phenomena such as the Landau-Zener formula including its numerical coefficient are well-described by simple (time-independent) perturbation theory without referring to Stokes phenomena. We also show that quantum coherence in a double well potential is generally suppressed by the effect of potential curve crossing, which is analogous to the effect of Ohmic dissipation on quantum coherence.
△ Less
Submitted 23 July, 1997; v1 submitted 8 April, 1997;
originally announced April 1997.
-
Phase operator problem and an index theorem for Q-deformed oscillator
Authors:
Kazuo Fujikawa
Abstract:
The notion of index is applied to analyze the phase operator problem associated with the photon. We clarify the absence of the hermitian phase operator on the basis of an index consideration. We point out an interesting analogy between the phase operator problem and the chiral anomaly in gauge theory, and an appearance of a new class of quantum anomaly is noted. The notion of index, which is inv…
▽ More
The notion of index is applied to analyze the phase operator problem associated with the photon. We clarify the absence of the hermitian phase operator on the basis of an index consideration. We point out an interesting analogy between the phase operator problem and the chiral anomaly in gauge theory, and an appearance of a new class of quantum anomaly is noted. The notion of index, which is invariant under a wide class of continuous deformation, is also shown to be useful to characterize the representations of Q-deformed oscillator algebra.
△ Less
Submitted 3 April, 1996; v1 submitted 19 March, 1996;
originally announced March 1996.
-
Path integral of the hydrogen atom, the Jacobi's principle of least action and one-dimensional quantum gravity
Authors:
Kazuo Fujikawa
Abstract:
A path integral evaluation of the Green's function for the hydrogen atom initiated by Duru and Kleinert is studied by recognizing it as a special case of the general treatment of the separable Hamiltonian of Liouville-type. The basic dynamical principle involved is identified as the Jacobi's principle of least action for given energy which is reparametrization invariant, and thus the appearance…
▽ More
A path integral evaluation of the Green's function for the hydrogen atom initiated by Duru and Kleinert is studied by recognizing it as a special case of the general treatment of the separable Hamiltonian of Liouville-type. The basic dynamical principle involved is identified as the Jacobi's principle of least action for given energy which is reparametrization invariant, and thus the appearance of a gauge freedom is naturally understood. The separation of variables in operator formalism corresponds to a choice of gauge in path integral, and the Green's function is shown to be gauge independent if the operator ordering is properly taken into account. Unlike the conventional Feynman path integral,which deals with a space-time picture of particle motion, the path integral on the basis of the Jacobi's principle sums over orbits in space. We illustrate these properties by evaluating an exact path integral of the Green's function for the hydrogen atom in parabolic coordinates, and thus avoiding the use of the Kustaanheimo-Stiefel transformation. In the present formulation , the Hamiltonian for Stark effect is converted to the one for anharmonic oscillators with an unstable quartic coupling. We also study the hydrogen atom path integral from a view point of one-dimensional quantum gravity coupled to matter fields representing the electron coordinates. A simple BRST analysis of the problem with an evaluation of Weyl anomaly is presented .
△ Less
Submitted 9 October, 1996; v1 submitted 15 February, 1996;
originally announced February 1996.
