Weakly Regular Quantum Grammars and Asynchronous Quantum Automata

In this paper, we define weakly regular quantum grammars (WRQG), regular quantum grammars (RQG), asynchronous quantum automata (AQA) and synchronous quantum automata (SQA). Moreover, we investigate the relationships between quantum languages generated by weakly quantum regular grammars and by asynchronous quantum automata. At the mean time, we discuss the relationships between regular quantum grammars and synchronous quantum automata. This work is supported by National Science Foundation of China (Grant No. 10571112) and 973 Program of China (No. 2002CB312200).     

Lattices of Quantum Automata

We defined and studied three different types of lattice-valued finite state quantum automata (LQA) and four different kinds of LQA operations, discussed their advantages, disadvantages, and various properties. There are four major results obtained in this paper. First, no one of the above mentioned LQA follows the law of lattice value conservation. Second, the theorem of classical automata theory, that each nondeterministic finite state automaton has an equivalent deterministic one, is not necessarily valid for finite state quantum automata. Third, we proved the existence of semilattices and also lattices formed by different types of LQA. Fourth, there are tight relations between properties of the original lattice l and those of the l-valued lattice formed by LQA.     

Complete Axiomatizations for Quantum Actions

We present two equivalent axiomatizations for a logic of quantum actions: one in terms of quantum transition systems, and the other in terms of quantum dynamic algebras. The main contribution of the paper is conceptual, offering a new view of quantum structures in terms of their underlying logical dynamics. We also prove Representation Theorems, showing these axiomatizations to be complete with respect to the natural Hilbert-space semantics. The advantages of this setting are many: (1) it provides a clear and intuitive dynamic-operational meaning to key postulates (e.g. Orthomodularity, Covering Law); (2) it reduces the complexity of the Solèr–Mayet axiomatization by replacing some of their key higher-order concepts (e.g. “automorphisms of the ortholattice”) by first-order objects (“actions”) in our structure; (3) it provides a link between traditional quantum logic and the needs of quantum computation. PACS: 02.10.-v Logic; set theory and algebra; 03.65.-w Quantum mechanics; 03.65.Fd Algebraic methods; 03.67.-a Quantum information.     

Quantum ω-Automata over Infinite Words and Their Relationships

Inspired by the results of finite automata working on infinite words, we studied the quantum ω-automata with Büchi, Muller, Rabin and Streett acceptance condition. Quantum finite automata play a pivotal part in quantum information and computational theory. Investigation of the power of quantum finite automata over infinite words is a natural goal. We have investigated the classes of quantum ω-automata from two aspects: the language recognition and their closure properties. It has been shown that quantum Muller automaton is more dominant than quantum Büchi automaton. Furthermore, we have demonstrated the languages recognized by one-way quantum finite automata with different quantum acceptance conditions. Finally, we have proved the closure properties of quantum ω-automata.

     

Classical and Quantum Coherent States

p-Mechanics is a consistent physical theory which describes both quantum and classical mechanics simultaneously (V. V. Kisil, p-Mechanics as a physical theory. An Introduction, E-print:arXiv:quant-ph/0212101, 2002; International Journal of Theoretical Physics 41(1), 63–77, 2002). We continue the development of p-mechanics by introducing the concept of states. The set of coherent states we introduce allows us to evaluate classical observables at any point of phase space and simultaneously to evaluate quantum probability amplitudes. The example of the forced harmonic oscillator is used to demonstrate these concepts.     

Quantum Set Theory

The complete orthomodular lattice of closed subspaces of a Hilbert space is considered as the logic describing a quantum physical system, and called a quantum logic. G. Takeuti developed a quantum set theory based on the quantum logic. He showed that the real numbers defined in the quantum set theory represent observables in quantum physics. We formulate the quantum set theory by introducing a strong implication corresponding to the lattice order, and represent the basic concepts of quantum physics such as propositions, symmetries, and states in the quantum set theory.     

Finite State and Finite Stop Quantum Languages

We propose the concept of finite stop quantum automata (ftqa) based on Hilbert space and compare it with the finite state quantum automata (fsqa) proposed by Moore and Crutchfield (Theoretical Computer Science 237(1–2), 2000, 275–306). The languages accepted by fsqa form a proper subset of the languages accepted by ftqa. In addition, the fsqa form an infinite hierarchy of language inclusion with respect to the dimensionality of unitary matrices. We introduce complex-valued acceptance degrees and two types of finite stop quantum automata based on them: the invariant ftqa (icftq) and the variant ftqa (vcftq). The languages accepted by icftq form a proper subset of the languages accepted by vcftq. In addition, the icftq form an infinite hierarchy of language inclusion with respect to the dimensionality of unitary matrices. In this way, we establish two proper inclusion relations (fsqa) ⊂ (ftqa) and (icftq) ⊂ (vcftq), where the symbol means languages, and two infinite language hierarchies (fsqa) ⊂ (fsqa), (icftq) (icftq).     

Basic Properties of Quantum Automata

This paper develops a theory of quantum automata and their slightly more general versions, q-automata. Quantum languages and -quantum languages, 0<1, are studied. Functions that can be realized as probability maps for q-automata are characterized. Quantum grammars are discussed and it is shown that quantum languages are precisely those languages that are induced by a quantum grammar. A quantum pumping lemma is employed to show that there are regular languages that are not -quantum, 0<1.     

Stochastic and quantum space-time metrics and the weak-field limit

In this review we present a simple method of introducing stochastic and quantum metrics into gravitational theory at short distances in terms of small fluctuations around a classical background space-time. We consider only residual effects due to the stochastic (or quantum) theory of gravity and use a perturbative stochastization (or quantization) method. By using the general covariance and correspondence principles, we reconstruct the theory of gravitational, mechanical, electromagnetic, and quantum mechanical processes and tensor algebra in the space-time with stochastic and quantum metrics. Some consequences of the theory are also considered, in particular, it indicates that the value of the fundamental lengthl lies in the interval 10^–23l10^–22 cm.     

Automata Theory Based on Quantum Logic: Recognizability and Accessibility

Inspired by Ying’s work on automata theory based on quantum logic and classical automata theory, we introduce the concepts of reversal, accessible, coaccessible and complete part of finite state automata based on quantum logic. Some properties of them are discussed. More importantly we investigate the recognizability and accessibility properties of these types on the framework of quantum logic by employing the approach of semantic analysis. Foundation: supported by the National Natural Science Foundation of China (No. 10671030).     

Quantum Pushdown Automata

Quantum automata are mathematical models for quantum computing. We analyze the existing quantum pushdown automata, propose a q quantum pushdown automata (qQPDA), and partially clarify their connections. We emphasize some advantages of our qQPDA over others. We demonstrate the equivalence between qQPDA and another QPDA. We indicate that qQPDA are at least as powerful as the QPDA of Moore and Crutchfield with accepting words by empty stack. We introduce the quantum languages accepted by qQPDA and prove that every -q quantum context-free language is also an -q quantum context-free language for any (0, 1) and (0, 1).     

Qubit Semantics and Quantum Trees

In the qubit semantics the meaning of any sentence α is represented by a quregister: a unit vector of the n–fold tensor product ⊗ⁿ ℂ², where n depends on the number of occurrences of atomic sentences in α (see Cattaneo et al.). The logic characterized by this semantics, called quantum computational logic (QCL), is unsharp, because the noncontradiction principle is violated. We show that QCL does not admit any logical truth. In this framework, any sentence α gives rise to a quantum tree, consisting of a sequence of unitary operators. The quantum tree of α can be regarded as a quantum circuit that transforms the quregister associated to the occurrences of atomic subformulas of α into the quregister associated to α.     

Modeling Modal Talk in Quantum Mechanics

In this paper, modal and counterfactual logical connectives are defined in an extended framework of branching space-time (Belnap, N. D. (1992). Branching space-time. Synthese 92, 385–434). It is shown that a variety of definitions of the counterfactual can be given. The validity of certain modal statements occurring in quantum mechanics depends on the choice of definition. These considerations can be applied to an analysis of Stapp’s premises LOC1 and LOC2 from his purported proof of non-locality (Stapp, H. P. (1997). Nonlocal character of quantum theory. American Journal of Physics 65, 300–304). It is shown that while the validity of LOC1 depends on the choice of the definition of the counterfactual, LOC2 is absolutely invalid.     

Quasi-Hopf Deformations of Quantum Groups

The search for elliptic quantum groups leads to a modified quantum Yang–Baxter relation and to a special class of quasi-triangular quasi-Hopf algebras. This Letter calculates deformations of standard quantum groups (with or without spectral parameter) in the category of quasi-Hopf algebras. An earlier investigation of the deformations of quantum groups, in the category of Hopf algebras, showed that quantum groups are generically rigid: Hopf algebra deformations exist only under some restrictions on the parameters. In particular, affine Kac–Moody algebras are more rigid than their loop algebra quotients and only the latter (in the case of sl(n)) can be deformed to elliptic Hopf algebras. The generalization to quasi-Hopf deformations lifts this restriction. The full elliptic quantum groups (with central extension) associated with sl(n) are thus quasi-Hopf algebras. The universal R-matrices satisfy a modified Yang–Baxter relation and are calculated more or less explicitly. The modified classical Yang–Baxter relation is obtained and the elliptic solutions are worked out explicitly.The same method is used to construct the Universal R-matrices associated with Felder's quantization of the Knizhnik–Zamolodchikov–Bernard equation, to throw some light on the quasi-Hopf structure of conformal field theory and (perhaps) the Calogero–Moser models.     

Temperature dependence of the electron distribution in a GaAs matrix with embedded InAs quantum dots

We report on the effect of the Debye averaging process on the CV characteristics of a sample containing four coupled planes of InAs self-assembled quantum dots. The observed electron distribution presented a dynamical dependence of the temperature during the C–V measurements which was explained in terms of the screening length dependence on the temperature. In addition, using the C–V data, we calculated the electron density at the planes containing the InAs dots and we have observed a high-temperature stability: the electron density at the quantum dots remained constant over a large range of temperature.     

On the Eigenstates of the Elliptic Calogero–Moser Model

It is known that the trigonometric Calogero–Sutherland model is obtained by the trigonometric limit (–1) of the elliptic Calogero–Moser model, where (1, ) is a basic period of the elliptic function. We show that for all square-integrable eigenstates and eigenvalues of the Hamiltonian of the Calogero–Sutherland model, if exp(2–1) is small enough then there exist square-integrable eigenstates and eigenvalues of the Hamiltonian of the elliptic Calogero–Moser model which converge to the ones of the Calogero–Sutherland model for the 2-particle and the coupling constant l is positive integer cases and the 3-particle and l=1 case. In other words, we justify the regular perturbation with respect to the parameter exp(2–1). With some assumptions, we show analogous results for N-particle and l is positive integer cases.     

Thermal Equilibrium Between Radiation and Matter

In 1916, Einstein rederived the blackbody radiation law of Planck that originated the idea of quantized energy one hundred years ago. For this purpose, Einstein introduced the concept of transition probability, which had a profound influence on the development of quantum theory. In this article, we adopt Einstein's assumptions with two exceptions and seek the statistical condition for the thermal equilibrium of matter without referring to the inner details of either statistical thermodynamics or quantum theory. It is shown that the conditions of thermodynamic equilibrium of electromagnetic radiation and the energy balance of thermal radiation by the matter, between any of its two energy-states, not only result in Planck's radiation law and the Bohr frequency condition, but they remarkably yield the law of the statistical thermal equilibrium of matter: the Maxwell–Boltzmann distribution. Since the transition probabilities of the modern quantum theory of radiation coincide with their definition in Einstein's theory of blackbody radiation, the presented deduction of the Maxwell–Boltzmann distribution is equally valid within the bounds of modern quantum theory. Consequently, within the framework of the fundamental assumptions, the Maxwell–Boltzmann distribution of energy-states is not only a sufficient, but a necessary condition for thermal equilibrium between the matter and radiation.     

Spectral theory in quantum logics

If one supposes a quantum logicL to be a -orthocomplete, orthomodular partially ordered set admitting a set of -orthoadditive functions (called states) fromL to the unit intervals [0, 1] such that these states distinguish the ordering and orthocomplement onL, then the observables onL are identified withL-valued measures defined on the Borel subsets of the real line. In this structure (and without the aid of Hilbert space formalism) the author shows that (1) the spectrum of an observable can be completely characterised by studying the observable (A–)^–1, and (2) corresponding to every observableA there is a spectral resolution uniquely determined byA and uniquely determiningA.     

Structural properties of Li atom under quantum and classical plasmas: A composite variational framework

Structural properties of 1s²nl (²L) [n = 2–5, l = 0–4; where, n and l are the principal quantum number and orbital angular momentum quantum number, respectively] states of Li atom embedded in classical weakly coupled plasma (WCP) and dense quantum plasma (DQP) have been discussed. The Debye-Hckel potential or the screened-Coulomb potential (SCP) and exponential-cosine-screened Coulomb potential (ECSCP) have been used to mimic the WCP and DQP, respectively. Li atom has been treated as a composite system with a frozen core Li⁺ ion and a chemically active valence electron. The Rayleigh-Ritz variational method with Hylleraas-type basis set has been used to estimate the energy eigenvalue of 1s² (¹S) state of Li⁺ ion core and a pure exponential basis has been considered to compute the energy of nl (²L) states of the valence electron of Li atom. The influence of ECSCP and SCP on the radial probability distribution of the valence electron of the Li atom has also been studied.