Lagrangian formulation of quantum mechanical Schrödinger equation is developed in general and illustrated in the eigenbasis of the Hamiltonian and in the coordinate representation. The Lagrangian formulation of physically plausible quantum system results in a well defined second order equation on a real vector space. The Klein–Gordon equation for a real field is shown to be the Lagrangian form of the corresponding Schrödinger equation.

Representation of quantum states by statistical ensembles on the quantum phase space in the Hamiltonian form of quantum mechanics is analyzed. Various mathematical properties and some physical interpretations of the equivalence classes of ensembles representing a mixed quantum state in the Hamiltonian formulation are examined. In particular, non-uniqueness of the quantum phase space probability density associated with the quantum mixed state, Liouville dynamics of the probability densities and the possibility to represent the reduced states of bipartite systems by marginal distributions (...) are discussed in detail. These considerations are used to study ensembles of hybrid quantum-classical systems. In particular, nonlinear evolution of a single hybrid system in a pure state and unequal evolutions of initially equivalent ensembles are discussed in the context of coupled hybrid systems. (shrink)

L. Hardy has formulated an axiomatization program of quantum mechanics and generalized probability theories that has been quite influential. In this paper, properties of typical Hamiltonian dynamical systems are used to argue that there are applications of probability in physical theories of systems with dynamical complexity that require continuous spaces of pure states. Hardy’s axiomatization program does not deal with such theories. In particular Hardy’s fifth axiom does not differentiate between such applications of classical probability and quantum probability.

There are at least three different notions of degrees of freedom that are important in comparison of quantum and classical dynamical systems. One is related to the type of dynamical equations and inequivalent initial conditions, the other to the structure of the system and the third to the properties of dynamical orbits. In this paper, definitions and comparison in classical and quantum systems of the tree types of DF are formulated and discussed. In particular, we concentrate on comparison of the (...) number of the so called dynamical DF in a quantum system and its classical model. The comparison involves analyzes of relations between integrability of the classical model, dynamical symmetry and separability of the quantum and the corresponding classical systems and dynamical generation of appropriately defined quantumness. The analyzes is conducted using illustrative typical systems. A conjecture summarizing the observed relation between generation of quantumness by the quantum dynamics and dynamical properties of the classical model is formulated. (shrink)