Motivated by a recent proof of free choices in linking equations to the experiments they describe, I clarify some relations among purely mathematical entities featured in quantum mechanics (probabilities, density operators, partial traces, and operator-valued measures), thereby allowing applications of these entities to the modeling of a wider variety of physical situations. I relate conditional probabilities associated with projection-valued measures to conditional density operators identical, in some cases but not in others, to the usual reduced (...) class='Hi'>density operators. While a fatal obstacle precludes associating conditional density operators with general non-projective measures, tensor products of general positive operator-valued measures (POVMs) are associated with conditional density operators. This association together with the free choice of probe particles allows a postulate of state reductions to be replaced by a theorem. An application shows an equivalence between one form of quantum key distribution and another with respect to certain eavesdropping attacks. (shrink)

We generalize the modal interpretation of quantum mechanics so that it may be applied to composite systems represented by arbitrary density operators. We discuss the interpretation these density operators receive and relate this to the discussion about the interpretation of proper and improper mixtures in the standard interpretation.

There are many computational problems which are generally “easy” to solve but have certain rare examples which are much more difficult to solve. One approach to studying these problems is to ignore the difficult edge cases. Asymptotic computability is one of the formal tools that uses this approach to study these problems. Asymptotically computable sets can be thought of as almost computable sets, however every set is computationally equivalent to an almost computable set. Intrinsic density was introduced as a (...) way to get around this unsettling fact, and which will be our main focus.Of particular interest for the first half of this dissertation are the intrinsically small sets, the sets of intrinsic density $0$. While the bulk of the existing work concerning intrinsic density was focused on these sets, there were still many questions left unanswered. The first half of this dissertation answers some of these questions. We proved some useful closure properties for the intrinsically small sets and applied them to prove separations for the intrinsic variants of asymptotic computability. We also completely separated hyperimmunity and intrinsic smallness in the Turing degrees and resolved some open questions regarding the relativization of intrinsic density.For the second half of this dissertation, we turned our attention to the study of intermediate intrinsic density. We developed a calculus using noncomputable coding operations to construct examples of sets with intermediate intrinsic density. For almost all $r\in $, this construction yielded the first known example of a set with intrinsic density r which cannot compute a set random with respect to the r-Bernoulli measure. Motivated by the fact that intrinsic density coincides with the notion of injection stochasticity, we applied these techniques to study the structure of the more well-known notion of MWC-stochasticity.prepared by Justin Miller.E-mail: [email protected]: https://curate.nd.edu/show/6t053f4938w. (shrink)

In a recent paper, Martin Hackl and I identified a variety of circumstances where scalar implicatures, questions, definite descriptions, and sentences with the focus particle only are absent or unacceptable (Fox and Hackl 2006, henceforth F&H). We argued that the relevant effect is one of maximization failure (MF): an application of a maximization operator to a set that cannot have the required maximal member. We derived MF from our hypothesis that the set of degrees relevant for the semantics of degree (...) constructions is always dense (the Universal Density of Measurement, UDM). The goal of this paper is to present an apparent shortcoming of F&H and to argue that it is overcome once certain consequences of the proposal are shown to follow from more general properties of MF. Specifically, the apparent problem comes from evidence that the core generalizations argued for in F&H extend to areas for which an account in terms of density is unavailable. Nevertheless, I will argue that the account could still be right. Certain dense sets contain "too many alternatives" for there to be a maximal member, thus leading to MF. But, there are other sets that lead to the same predicament. My goal will be to characterize a general signature of MF in the hope that it could be used to determine the identity of alternatives in areas where their identity is not clear on independent grounds. (shrink)

The sum, difference, product and quotient of two functions with different domains are usually defined only on their common domain. This paper extends these definitions so that the sum and other operations are essentially defined anywhere that at least one of the components is defined. This idea is applied to propositions and events, expressed as indicator functions, to define conditional propositions and conditional events as three-valued indicator functions that are undefined when their condition is false. Extended operations of "and", "or", (...) "not" and "conditioning" are then defined on these conditional events with variable conditions. The probabilities of the disjunction and of the conjunction of two conditionals are expressed in terms of the conditional probabilities of the component conditionals. In a special case, these are shown to be weighted averages of the component conditional probabilities where the weights are the relative probabilities of the various conditions. Next, conditional random variables are defined to be random variables X whose domain has been restricted by a condition on a second random variable Y. The extended sum, difference, product and conditioning operations on functions are then applied to these conditional random variables. The expectation of a random variable and the conditional expectation of a conditional random variable are recounted. Theorem 1 generalizes the standard result that the conditional expectation of the sum of two conditional random variables with disjoint and exhaustive conditions is a weighted sum of the conditional expectations of the component conditional random variables. Because of the extended operations, the theorem is true for arbitrary conditions. Theorem 2 gives a formula for the expectation of the product of two conditional random variables. After the definition of independence of two random variables is extended to accommodate the extended operations, it is applied to the formula of Theorem 2 to simplify the expectation of a product of conditional random variables. Two examples end the paper. The first concerns a work force of n workers of different output levels and work shifts. The second example involves two radars with overlapping surveillance regions and different detection error rates. One radar's error rate is assumed to be sensitive to fog and the other radar's error rate is assumed to be sensitive to air traffic density. The combined error rate over the combined surveillance region given heavy fog and moderate air traffic is computed. (shrink)

Let ℋ be a finite-dimensional complex Hilbert space and D the set of density matrices on ℋ, i.e., the positive operators with trace 1. Our goal in this note is to identify a probability measure u on D that can be regarded as the uniform distribution over D. We propose a measure on D, argue that it can be so regarded, discuss its properties, and compute the joint distribution of the eigenvalues of a random density matrix distributed (...) according to this measure. (shrink)

Many industrial processes are operated in multiple modes due to different manufacturing strategies. Multimodality of process data is often accompanied with nonlinear and non-Gaussian characteristics, which makes data-driven monitoring more complicated. In this paper, statistics pattern analysis is introduced to extract low- and high-order statistics from raw process data. Support vector data description, which can deal with nonlinear and non-Gaussian problems, is applied to monitor multimode process in this paper. To improve detection performance of SVDD for training multimode data with (...) outliers, modified local reachability density ratio is proposed as a weight factor to be embedded in the weighted-SVDD model, in which the local neighbors in terms of both space and time are considered. Finally, the effectiveness and superiority of our proposed method are demonstrated by the Tennessee-Eastman process and wastewater treatment process. (shrink)

In a modern, calculative world, the techniques of tracking are everywhere in the ascendant. Enhanced by algorithmic procedures and analytics, they have been incorporated into distributed network systems, augmented by new sensing and locationing technologies, and embedded into mobile devices, urban structures and environments. Simultaneously, new practices of tracking and sensing have emerged across the consumer, state and corporate sectors. These practices are amplified in the case of megacities as they strive to keep pace with rapid urban development. All movement (...) is subordinated to a condition of 'calculative mobilization’, whereby the urban realm is understood through the spatialization of algorithmic operations. And yet, due to their unique large- and multi-scaled accumulations of data-enhanced actors and their complex, stratified modes of proximity and interoperable relationality, the particular densities of megacities challenge conventional spatial formats of movement and positioning. This article offers new formats of analysis for these calculative practices and the agential and ontological status of the hybrid urban entities that they register and engender. It also offers new structuring principles and political orientations, which are particularly urgent as we witness the ascendance of 'Spatial Data Infrastructures’ that are often promoted as participatory and inclusive while remaining largely inaccessible, pursuing proprietary aims, and infused with the potential not only to protect and inform but also to violate. (shrink)

It is well known that the structure of honest elementary degrees is a lattice with rather strong density properties. Let $\mbox{\bf a} \cup \mbox{\bf b}$ and $\mbox{\bf a} \cap \mbox{\bf b}$ denote respectively the join and the meet of the degrees $\mbox{\bf a}$ and $\mbox{\bf b}$ . This paper introduces a jump operator ( $\cdot'$ ) on the honest elementary degrees and defines canonical degrees $\mbox{\bf 0},\mbox{\bf 0}', \mbox{\bf 0}^{\prime \prime },\ldots$ and low and high degrees analogous to the (...) corresponding concepts for the Turing degrees. Among others, the following results about the structure of the honest elementary degrees are shown: There exist low degrees, and there exist degrees which are neither low nor high. Every degree above $\mbox{\bf 0}'$ is the jump of some degree, moreover, for every degree $\mbox{\bf c}$ above $\mbox{\bf 0}'$ there exist degrees $\mbox{\bf a},\mbox{\bf b}$ such that $\mbox{\bf c}=\mbox{\bf a} \cup \mbox{\bf b} = \mbox{{\bf a}}'=\mbox{\bf b}'$ . We have $\mbox{\bf a}'\cup \mbox{\bf b}' \leq (\mbox{\bf a}\cup\mbox{\bf b})'$ and $\mbox{\bf a}'\cap \mbox{\bf b}' \geq (\mbox{\bf a}\cap \mbox{\bf b})'$ . The jump operator is of course monotonic, i.e. $\mbox{\bf a}\leq\mbox{{\bf b}}\Rightarrow \mbox{\bf a}'\leq \mbox{\bf b}'$ . We prove that every situation compatible with $\mbox{\bf a}\leq\mbox{\bf b}\Rightarrow \mbox{\bf a}'\leq \mbox{\bf b}'$ is realized in the structure, e.g. we have incomparable degrees $\mbox{\bf a},\mbox{\bf b}$ such that $\mbox{\bf a}'<\mbox{\bf b}'$ and incomparable degrees $\mbox{\bf a},\mbox{\bf b}$ such that $\mbox{\bf a}' = \mbox{\bf b}'$ etcetera. We are able to prove all these results without the traditional recursion theoretic constructions. Our proof method relies on the fact that the growth of the functions in a degree is bounded. This technique also yields a very simple proof of an old result, namely that the structure is a lattice. (shrink)

Neurite orientation dispersion and density imaging is a diffusion model specifically designed for brain magnetic resonance imaging. Despite recent studies suggesting that NODDI modeling might be more sensitive to brain development than diffusion tensor imaging, these studies were limited to a relatively small age range and mainly based on the manually operated region of interest analysis. Therefore, this study applied NODDI to investigate brain development in a large sample size of 214 subjects ranging in ages from 0 to 14. (...) The whole brain was automatically segmented into 122 regions. The maturation trajectory of each region was characterized by the time course of diffusion metrics and further quantified using nonlinear regression. The NODDI-derived metrics, neurite density index and orientation dispersion index, increased with age. And these two metrics were superior to the DTI-derived metrics in SVM regression models of age. The NDI in white matter exhibited a more rapid growth than that in gray matter. These diffusion indicators experienced conspicuous increases during early childhood and the growth speed slowed down in adolescence. Region-specific maturation patterns were described throughout the brain, including white matter, cortical and deep gray matter. These development patterns were evaluated and discussed on the basis of NODDI’s model assumptions. To summarize, this study verified the high sensitivity of NODDI to age over a crucial developmental period from newborn to adolescence. Moreover, the existing knowledge of brain development has been complemented, suggesting that NODDI has a potential capability in the investigation of brain development. (shrink)

Photovoltaic power forecasting can provide strong support for the safe operation of the power system. Existing forecasting methods are ineffective for grid scheduling decisions or risk analysis. The novel multicluster interval prediction method is proposed to consider the volatility and randomness of PV power output. First, this method utilizes the sparse autoencoder and Bayesian regularized NARX network for point forecasting of PV power. Second, density peak clustering improved by kernel Mahalanobis distance is applied to classify the dataset into multiple (...) clusters, including forecasting error and meteorological factors. Finally, the joint probability density is established by multivariate kernel density estimation to accomplish the PV power interval prediction. The proposed hybrid method is applied for the interval prediction of PV power at Yulara, Australia. Comparative research of point forecasting is implemented to evaluate the machine learning and deep learning methods, with the proposed SAE-BRNARX under four different periods. Results shows that the average values of nRMSE, MRE, nMAE, and R2 for the four periods are 4.45%, 0.90%, −0.15%, 3.39%, and 95.93%, respectively. Moreover, the results of interval prediction obtained by the other interval prediction approaches are compared with the proposed KMDDPC-MKDE. It shows that the average values of PICP, PINAW, ACE, and nMPICD for four periods are 93.93%, 9.50%, 3.93%, and 7.10% at 90% confidence level, respectively. Outcomes demonstrate that the proposed method can obtain more accuracy, a higher coverage rate, narrower average bandwidth, and a closer distance between the middle of interval and actual value than other methods. (shrink)

Precise global solar radiation data are indispensable to the design, planning, operation, and management of solar radiation utilization equipment. Some examples prove that the uncertainty of the prediction of solar radiation provides more value than deterministic ones in the management of power systems. This study appraises the potential of random forest, V-support vector regression, and a resilient backpropagation artificial neural network for daily global solar radiation point prediction from average relative humidity, daily average temperature, and daily sunshine duration. To acquire (...) more accurate predictions of DGSR and examine the influence of historical DGSR on the performance of point prediction models, two different model inputs are considered: three meteorological variables and the lags of DGSR and three meteorological variables. Then, two interval prediction methods are developed by introducing the KDE to out-of-bag, introducing kernel density estimation to split conformal based on the three machine learning models. The two methods for interval prediction are denoted as OOB-KDE and SC-KDE. The mean absolute error, mean relative error, and Kendall rank correlation are used to assess the point prediction models. The performance of interval prediction methods is evaluated by the prediction interval coverage probability, prediction interval normalized average width, and coverage width criteria. The following conclusions are drawn from this study. First, the V-SVR model performs best with the lowest mean absolute error of 0.016 and mean relative error of 0.001. Second, the lags of DGSR improve the prediction accuracy by about 30%. Third, the OOB-KDE and SC-KDE methods improved the quality of the prediction interval. OOB-KDE improved CWC by 81%, and SC-KDE improved CWC by 99.99%. Fourth, the best interval prediction result is obtained using the SC-KDE method using the V-SVR model. The average difference between its PICP and prediction interval nominal coverage is only 3% of the PINC, and its PINAW is less than 0.007. (shrink)

I discuss the connection between the Hamiltonian and path integral approaches for fermionic fields. I show how the temporal Wilson projection operators appear naturally in a lattice action. I also carefully treat the insertion of a chemical potential term.

Bohmian mechanics is arguably the most naively obvious embedding imaginable of Schr¨ odinger’s equation into a completely coherent physical theory. It describes a world in which particles move in a highly non-Newtonian sort of way, one which may at first appear to have little to do with the spectrum of predictions of quantum mechanics. It turns out, however, that as a consequence of the defining dynamical equations of Bohmian mechanics, when a system has wave function ψ its configuration is typically (...) random, with probability density ρ given by |ψ|2, the quantum equilibrium distribution. It also turns out that the entire quantum formalism, operators as observables and all the rest, naturally emerges in Bohmian mechanics from the analysis of “measurements.” This analysis reveals the status of operators as observables in the description of quantum phenomena, and facilitates a clear view of the range of applicability of the usual quantum mechanical formulas. (shrink)

The high traffic density of railway line causes ballasted track to be extremely busy, and thus it is particularly important to improve the efficiency during railway maintenance. The changing law of dynamic characteristics of ballast bed during operation for the dynamic track stabilizer is conducive to optimize simulation analysis of the vehicle-track system, so as to provide an optimized choice of operating parameters for promoting the pertinence and efficiency of dynamic track stabilizer. This paper presents the acceleration response of (...) vehicle-track-subgrade system during operation of a WD-320 dynamic track stabilizer and proposes the range of effective operating parameters. Then, the influence of operating parameters on the dynamic characteristics of the ballast bed is discussed for searching the optimal operating parameters under the single factor influence. Finally, the change laws including the support stiffness, damping, lateral resistance, and subsidence for the ballast bed are studied, and a parameterized model for dynamic characteristics of the ballast bed which can optimize the selection for operating parameters is constructed, rendering an effective reference variable for improving the simulation accuracy of the vehicle-track coupling system. (shrink)

We present the Dirac and Laplacian operators on Clifford bundles over space–time, associated to metric compatible linear connections of Cartan–Weyl, with trace-torsion, Q. In the case of nondegenerate metrics, we obtain a theory of generalized Brownian motions whose drift is the metric conjugate of Q. We give the constitutive equations for Q. We find that it contains Maxwell’s equations, characterized by two potentials, an harmonic one which has a zero field (Bohm-Aharonov potential) and a coexact term that generalizes the (...) Hertz potential of Maxwell’s equations in Minkowski space.We develop the theory of the Hertz potential for a general Riemannian manifold. We study the invariant state for the theory, and determine the decomposition of Q in this state which has an invariant Born measure. In addition to the logarithmic potential derivative term, we have the previous Maxwellian potentials normalized by the invariant density. We characterize the time-evolution irreversibility of the Brownian motions generated by the Cartan–Weyl laplacians, in terms of these normalized Maxwell’s potentials. We prove the equivalence of the sourceless Maxwell equation on Minkowski space, and the Dirac-Hestenes equation for a Dirac-Hestenes spinor field written on Minkowski space provided with a Cartan–Weyl connection. If Q is characterized by the invariant state of the diffusion process generated on Euclidean space, then the Maxwell’s potentials appearing in Q can be seen alternatively as derived from the internal rotational degrees of freedom of the Dirac-Hestenes spinor field, yet the equivalence between Maxwell’s equation and Dirac-Hestenes equations is valid if we have that these potentials have only two components corresponding to the spin-plane. We present Lorentz-invariant diffusion representations for the Cartan–Weyl connections that sustain the equivalence of these equations, and furthermore, the diffusion of differential forms along these Brownian motions. We prove that the construction of the relativistic Brownian motion theory for the flat Minkowski metric, follows from the choices of the degenerate Clifford structure and the Oron and Horwitz relativistic Gaussian, instead of the Euclidean structure and the orthogonal invariant Gaussian. We further indicate the random Poincaré–Cartan invariants of phase-space provided with the canonical symplectic structure. We introduce the energy-form of the exact terms of Q and derive the relativistic quantum potential from the groundstate representation. We derive the field equations corresponding to these exact terms from an average on the invariant state Cartan scalar curvature, and find that the quantum potential can be identified with 1 / 12R(g), where R(g) is the metric scalar curvature. We establish a link between an anisotropic noise tensor and the genesis of a gravitational field in terms of the generalized Brownian motions. Thus, when we have a nontrivial curvature, we can identify the quantum nonlocal correlations with the gravitational field. We discuss the relations of this work with the heat kernel approach in quantum gravity. We finally present for the case of Q restricted to this exact term a supersymmetric system, in the classical sense due to E.Witten, and discuss the possible extensions to include the electromagnetic potential terms of Q. (shrink)

Quantum theory of Lorentz invariant local scalar fields without restrictions on 4-momentum spectrum is considered. The mass spectrum may be both discrete and continues and the square of mass as well as the energy may be positive or negative. One may assume the existence of such fields only if they interact with ordinary fields very weakly. Generalization of Kallen-Lehmann representation for propagators of these fields is found. The considered generalized fields may violate CPT-invariance. Restrictions on mass-spectrum of CPT-violating fields are (...) found. Local fields that annihilate vacuum state and violate CPT-invariance are constructed in this scope. Correct local relativistic generalization of Lindblad equation for density matrix is written for such fields. This generalization is particularly needed to describe the evolution of quantum system and measurement process in a unique way. Difficulties arising when the field annihilating the vacuum interacts with ordinary fields are discussed. (shrink)

The formula for the differential scattering cross section in quantum mechanics is derived without the usual assumption that the square of the ψ-function is a position probability density for particles. It is argued that position, like time, may be basically a macroscopic parameter rather than a random variable for microparticles.

We introduce a graphical framework for Bayesian inference that is sufficiently general to accommodate not just the standard case but also recent proposals for a theory of quantum Bayesian inference wherein one considers density operators rather than probability distributions as representative of degrees of belief. The diagrammatic framework is stated in the graphical language of symmetric monoidal categories and of compact structures and Frobenius structures therein, in which Bayesian inversion boils down to transposition with respect to an appropriate (...) compact structure. We characterize classical Bayesian inference in terms of a graphical property and demonstrate that our approach eliminates some purely conventional elements that appear in common representations thereof, such as whether degrees of belief are represented by probabilities or entropie quantities. We also introduce a quantum-like calculus wherein the Frobenius structure is noncommutative and show that it can accommodate Leifer's calculus of 'conditional density operators'. The notion of conditional independence is also generalized to our graphical setting and we make some preliminary connections to the theory of Bayesian networks. Finally, we demonstrate how to construct a graphical Bayesian calculus within any dagger compact category. (shrink)

Here P is the density operator of the system under consideration, and σ ± and σ 3 are the usual Pauli matrices, acting on atom i whose states are |1 > or |0 >, representing, respectively, the atom being in an excited state or in the ground state. B and C are appropriate decay constants and s has been called the pumping parameter [1]. It varies from s = 0 for pure damping to s = 1 for full laser (...) action. To solve the corresponding quantum master equations, three approaches have been taken: First, one focuses on the case of one atom. Second, one truncates eq. (1) and derives semi-classical models. Third, one employs numerical simulation methods such as the quantum trajectory method. While the latter method is very popular, it should be noted that the numerical complexity of the problem increases exponentially with the number of atoms, and so numerical methods soon become unfeasible. (shrink)

The axioms for the density operator in quantum mechanics are discussed. A comparison is made with an axiomatization based on Gleason's theorem.

The application of geometry to physics has provided us with new insightful information about many physical theories such as classical mechanics, general relativity, and quantum geometry. The geometry also plays an important role in foundations of quantum mechanics and quantum information. In this work we discuss a geometric framework for mixed quantum states represented by density matrices, where the quantum phase space of density matrices is equipped with a symplectic structure, an almost complex structure, and a compatible Riemannian (...) metric. This compatible triple allow us to investigate arbitrary quantum systems. We will also discuss some applications of the geometric framework. (shrink)

According to spacetime state realism, the fundamental ontology of a quantum mechanical world consists of a state-valued field evolving in four-dimensional spacetime. One chief advantage it claims over rival wave-function realist views is its natural compatibility with relativistic quantum field theory. I argue that the original density operator formulation of SSR cannot be extended to QFTs where the local observables form type III von Neumann algebras. Instead, I propose a new formulation of SSR in terms of a presheaf of (...) local state spaces dual to the net of local observables studied by algebraic QFT. 1Introduction2Spacetime State Realism in Quantum Field Theory 2.1Equivalence thesis3Entanglement and the Type III Property 3.1No-Go Lemma 13.2No-Go Lemma 24State Space Axioms for Quantum Field Theory 4.1Revised equivalence thesis5Discussion. (shrink)

The sets of contexts and properties of a concept are embedded in the complex Hilbert space of quantum mechanics. States are unit vectors or density operators, and contexts and properties are orthogonal projections. The way calculations are done in Hilbert space makes it possible to model how context influences the state of a concept. Moreover, a solution to the combination of concepts is proposed. Using the tensor product, a procedure for describing combined concepts is elaborated, providing a natural (...) solution to the pet fish problem. This procedure allows the modeling of an arbitrary number of combined concepts. By way of example, a model for a simple sentence containing a subject, a predicate and an object, is presented. (shrink)

It is shown that Lewis’ ontological doctrine of Humean supervenience incorporates at its foundation the so-called separability principle of classical physics. In view of the systematic violation of the latter within quantum mechanics, the claim that contemporary physical science may posit non-supervenient relations beyond the spatiotemporal ones is reinforced on a foundational basis concerning constraints on the state representation of physical systems. Depending on the mode of assignment of states to quantum systems — unit state vectors versus statistical density (...) operators — we distinguish between strongly and weakly non-Humean, non-supervenient relations. It is demonstrated that in either case, the relations of quantum entanglement constitute prototypical examples of irreducible physical relations that do not supervene upon a spatiotemporal arrangement of Humean qualities, weakening, thereby, the thesis of Humean supervenience. In this respect, the status of Lewis’ recombination principle is examined, whereas his conception of lawhood is critically investigated. It is concluded that the assumption of ontological reductionism, as expressed in Lewis’ Humean doctrine, cannot be regarded as a reliable code of the nature of the physical world and its contents. It is proposed instead that due to the undeniable existence of non-supervenient relations, a metaphysic of relations of a moderate kind ought to be acknowledged as an indispensable part of our understanding of the natural world at a fundamental level. (shrink)

Technical results about the time dependence of eigenvectors of reduced density operators are considered, and the relevance of these results is discussed for modal interpretations of quantum mechanics which take the corresponding eigenprojections to represent definite properties. Continuous eigenvectors can be found if degeneracies are avoided. We show that, in finite dimensions, the space of degenerate operators has co-dimension 3 in the space of all reduced operators, suggesting that continuous eigenvectors almost surely exist. In any dimension, (...) even when degeneracies are hit, we find conditions under which a theorem due to Rellich can provide continuous eigenvectors. We use this result to formulate an extended version of the modal interpretation. We also discuss eigenvector instability which we argue poses a serious problem for the modal interpretation, even in our extended version. Many examples are given to illustrate the mathematics. (shrink)

Standard quantum mechanics unquestionably violates the separability principle that classical physics (be it point-like analytic, statistical, or field-theoretic) accustomed us to consider as valid. In this paper, quantum nonseparability is viewed as a consequence of the Hilbert-space quantum mechanical formalism, avoiding thus any direct recourse to the ramifications of Kochen-Specker’s argument or Bell’s inequality. Depending on the mode of assignment of states to physical systems – unit state vectors versus non-idempotent density operators – we distinguish between strong/relational and (...) weak/deconstructional forms of quantum nonseparability. The origin of the latter is traced down and discussed at length, whereas its relation to the all important concept of potentiality in forming a coherent picture of the puzzling entangled interconnections among spatially separated systems is also considered. Finally, certain philosophical consequences of quantum non-separability concerning the nature of quantum objects, the question of realism in quantum mechanics, and possible limitations in revealing the actual character of physical reality in its entirety are explored. (shrink)

A normal state on a von Neumann algebra defines a countably additive probability measure over its projection lattice. The von Neumann algebras familiar from ordinary QM are algebras of all the bounded operators on a Hilbert space H, aka Type I factor von Neumann algebras. Their normal states are density operator states, and can be pure or mixed. In QFT and the thermodynamic limit of QSM, von Neumann algebras of more exotic types abound. Type III von Neumann algebras, (...) for instance, have no pure normal states; the pure states they do have fail to be countably additive. I will catalog a number of temptations to accord physical significance to non-normal states, and then give some reasons to resist these temptations: pure though they may be, non-normal states on non-Type I factor von Neumann algebras can't do the interpretive work we've come to expect from pure states on Type I factors; our best accounts of state preparation don't work for the preparation of non-normal states; there is a sense in which non-normal states fail to instantiate the laws of quantum mechanics. (shrink)

This article develops an analogy proposed by Stachel between general relativity (GR) and quantum mechanics (QM) as regards permutation invariance. Our main idea is to overcome Pooley's criticism of the analogy by appeal to paraparticles. In GR, the equations are (the solution space is) invariant under diffeomorphisms permuting spacetime points. Similarly, in QM the equations are invariant under particle permutations. Stachel argued that this feature—a theory's ‘not caring which point, or particle, is which’—supported a structuralist ontology. Pooley criticizes this analogy: (...) in QM the (anti-)symmetrization of fermions and bosons implies that each individual state (solution) is fixed by each permutation, while in GR a diffeomorphism yields in general a distinct, albeit isomorphic, solution. We define various versions of structuralism, and go on to formulate Stachel's and Pooley's positions, admittedly in our own terms. We then reply to Pooley. Though he is right about fermions and bosons, QM equally allows more general types of particle symmetry, in which states (vectors, rays, or density operators) are not fixed by all permutations (called ‘paraparticle states’). Thus Stachel's analogy is revived. (shrink)

We consider probabilistic theories in which the most elementary system, a two-dimensional system, contains one bit of information. The bit is assumed to be contained in any complete set of mutually complementary measurements. The requirement of invariance of the information under a continuous change of the set of mutually complementary measurements uniquely singles out a measure of information, which is quadratic in probabilities. The assumption which gives the same scaling of the number of degrees of freedom with the dimension as (...) in quantum theory follows essentially from the assumption that all physical states of a higher dimensional system are those and only those from which one can post-select physical states of two-dimensional systems. The requirement that no more than one bit of information (as quantified by the quadratic measure) is contained in all possible post-selected two-dimensional systems is equivalent to the positivity of density operator in quantum theory. (shrink)

The centerpiece of Jeffrey Bub's book Interpreting the Quantum World is a theorem (Bub and Clifton 1996) which correlates each member of a large class of no-collapse interpretations with some 'privileged observable'. In particular, the Bub-Clifton theorem determines the unique maximal sublattice L(R,e) of propositions such that (a) elements of L(R,e) can be simultaneously determinate in state e, (b) L(R,e) contains the spectral projections of the privileged observable R, and (c) L(R,e) is picked out by R and e alone. In (...) this paper, we explore the issue of maximal determinate sets of observables using the tools provided by the algebraic approach to quantum theory; and we call the resulting algebras of determinate observables, "maximal *beable* subalgebras". The capstone of our exploration is a generalized version of Bub and Clifton's theorem that applies to arbitrary (i.e., both mixed and pure) quantum states, to Hilbert spaces of arbitrary (i.e., both finite and infinite) dimension, and to arbitrary observables (including those with a continuous spectrum). Moreover, in the special case covered by the original Bub-Clifton theorem, our theorem reproduces their result under strictly weaker assumptions. This added level of generality permits us to treat several topics that were beyond the reach of the original Bub-Clifton result. In particular: (a) We show explicitly that a (non-dynamical) version of the Bohm theory can be obtained by granting privileged status to the position observable. (b) We show that Clifton's (1995) characterization of the Kochen-Dieks modal interpretation is a corollary of our theorem in the special case when the density operator is taken as the privileged observable. (c) We show that the 'uniqueness' demonstrated by Bub and Clifton is only guaranteed in certain special cases -- viz., when the quantum state is pure, or if the privileged observable is compatible with the density operator. We also use our results to articulate a solid mathematical foundation for certain tenets of the orthodox Copenhagen interpretation of quantum theory. For example, the uncertainty principle asserts that there are strict limits on the precision with which we can know, simultaneously, the position and momentum of a quantum-mechanical particle. However, the Copenhagen interpretation of this fact is not simply that a precision momentum measurement necessarily and uncontrollably disturbs the value of position, and vice-versa; but that position and momentum can never in reality be thought of as simultaneously determinate. We provide warrant for this stronger 'indeterminacy principle' by showing that there is no quantum state that assigns a sharp value to both position and momentum; and, a fortiori, that it is mathematically impossible to construct a beable algebra that contains both the position observable and the momentum observable. We also prove a generalized version of the Bub-Clifton theorem that applies to "singular" states (i.e., states that arise from non-countably-additive probability measures, such as Dirac delta functions). This result allows us to provide a mathematically rigorous reconstruction of Bohr's response to the original EPR argument -- which makes use of a singular state. In particular, we show that if the position of the first particle is privileged (e.g., as Bohr would do in a position measuring context), the position of the second particle acquires a definite value by virtue of lying in the corresponding maximal beable subalgebra. But then (by the indeterminacy principle) the momentum of the second particle is not a beable; and EPR's argument for the simultaneous reality of both position and momentum is undercut. (shrink)

It is argued that those who defend the Everett, or ‘many-worlds’, interpretation of quantum mechanics should embrace what we call the general quantum theory of open systems (GT) as the proper framework in which to conduct foundational and philosophical investigations in quantum physics. GT is a wider dynamical framework than its alternative, standard quantum theory (ST). This is true even though GT makes no modifications to the quantum formalism. GT rather takes a different view, what we call the open systems (...) view, of the formalism; i.e., in GT, the dynamics of systems whose physical states are fundamentally represented by density operators are represented as fundamentally open as specified by an in general non-unitary dynamical map. This includes, in principle, the dynamics of the universe as a whole. We argue that the more general dynamics describable in GT can be physically motivated, that there is as much prima facie empirical support for GT as there is for ST, and that GT could be fully in the spirit of the Everett interpretation—that there might, in short, be little reason for an Everettian not to embrace the more general theoretical landscape that GT allows one to explore. (shrink)

This article focuses on two of the main problems raising interpretational issues in quantum mechanics, namely the notorious measurement problem and the equally important but not quite as widely discussed problem of the classical regime. The two problems are distinct, but they are both intimately related to some of the issues arising from entanglement and density operators. The article aims to be fairly non-technical in language, but modern in outlook and covering the chosen topics in more depth than (...) most introductory treatments. (shrink)

Decoherence results from the dissipative interaction between a quantum system and its environment. As the system and environment become entangled, the reduced density operator describing the system "decoheres" into a mixture (with the interference terms damped out). This formal result prompts some to exclaim that the measurement problem is solved. I will scrutinize this claim by examining how modal and relative-state interpretations can use decoherence. Although decoherence cannot rescue these interpretations from general metaphysical difficulties, decoherence may help these interpretations (...) to pick out a preferred basis. I will explore whether decoherence solves nagging technical problems associated with selecting a preferred basis. (shrink)

The purpose of this paper is to resolve two paradoxes, which occur in quantum theory, by using the discussion of the theory of measurement presented in two earlier papers by the author [3], [4], [5]. The two paradoxes discussed will be the Schrödinger cat paradox and the Einstein, Podolski, Rosen paradox [2]. An introductory section will be included which summarizes the relevant results from the author's previous papers. Also a discussion will be made regarding the author's interpretation of the (...) class='Hi'>density operator. (shrink)

A unified axiomatic theory that embraces both mechanics and thermodynamics is presented in three parts. It is based on four postulates; three are taken from quantum mechanics, and the fourth is the new disclosure of the existence of quantum states that are stable (Part I). For nonequilibrium and equilibrium states, the theory provides general original results, such as the relation between irreducible density operators and the maximum work that can be extracted adiabatically (Part IIa). For stable equilibrium states, (...) it shows for the first time that the canonical and grand canonical distributions are the only stable distributions (Part IIb). The theory discloses the incompleteness of the equation of motion of quantum mechanics not only for irreversible processes but, more significantly, for reversible processes (Part IIb). It establishes the operational meaning of an irreducible density operator and irreducible dispersions associated with any state, and reveals the relationship between such dispersions and the second law (Part III). (shrink)

There is a deeply entrenched view in philosophy and physics, the closed systems view, according to which isolated systems are conceived of as fundamental. On this view, when a system is under the influence of its environment this is described in terms of a coupling between it and a separate system which taken together are isolated. We argue against this view, and in favor of the alternative open systems view, for which systems interacting with their environment are conceived of as (...) fundamental, and the environment's influence is represented via the dynamical equations that govern the system's evolution. Taking quantum theories of closed and open systems as our case study, and considering three alternative notions of fundamentality: (i) ontic fundamentality, (ii) epistemic fundamentality, and (iii) explanatory fundamentality, we argue that the open systems view is fundamental, and that this has important implications for the philosophy of physics, the philosophy of science, and for metaphysics. (shrink)

By exhibiting a violation of a novel form of the Bell-CHSH inequality, \.{Z}ukowski has recently established that the quantum correlations exploited in the standard perfect teleportation protocol cannot be recovered by any local hidden variables model. Allowing the quantum channel state in the protocol to be given by any density operator of two spin-1/2 particles, we show that a violation of a generalized form of \.{Z}ukowski's teleportation inequality can only occur if the channel state, considered by itself, violates a (...) Bell-CHSH inequality. On the other hand, although it is sufficient for a teleportation process to have a nonclassical fidelity---defined as a fidelity exceeding $2/3$---that the channel state employed violate a Bell-CHSH inequality, we show that such a violation does \emph{not} imply a violation of \.{Z}ukowski's teleportation inequality or any of its generalizations. The implication does hold, however, if the fidelity of the teleportation exceeds $2/3(1+1/2\sqrt{2})\approx .90$, suggesting the existence of a regime of nonclassical values of the fidelity, less than $.90$, for which the standard teleportation protocol can be modelled by local hidden variables. (shrink)

Born’s quantum probability rule is traditionally included among the quantum postulates as being given by the squared amplitude projection of a measured state over a prepared state, or else as a trace formula for density operators. Both Gleason’s theorem and Busch’s theorem derive the quantum probability rule starting from very general assumptions about probability measures. Remarkably, Gleason’s theorem holds only under the physically unsound restriction that the dimension of the underlying Hilbert space \ must be larger than two. (...) Busch’s theorem lifted this restriction, thereby including qubits in its domain of validity. However, while Gleason assumed that observables are given by complete sets of orthogonal projectors, Busch made the mathematically stronger assumption that observables are given by positive operator-valued measures. The theorem we present here applies, similarly to the quantum postulate, without restricting the dimension of \ and for observables given by complete sets of orthogonal projectors. We also show that the Born rule applies beyond the quantum domain, thereby exhibiting the common root shared by some quantum and classical phenomena. (shrink)

The purpose of the simultaneous measurement of noncommuting quantum observables can be viewed as the joint estimation of parameters of the density operator of the quantum system. Joint estimation involves the application of a multiply parameterized operator-valued measure. An example related to the simultaneous estimation of the position and velocity of a particle is given. Conceptual difficulties attending simultaneous measurement of noncommuting observables are avoided by this formation.

We first relate the random matrix model to a Fokker-Planck Hamiltonian system, such that the correlation functions of the model are expressed as the vacuum expectation values of equal-time products of density operators. We then analyze the universality of the random matrix model by solving the Focker-Planck Hamiltonian system for large N. We use two equivalent methods to do this, namely the method of relating it to a system of interacting fermions in one space dimension and the method (...) of collective fields for large N matrix quantum mechanics. The final result using both these methods is the same Hamiltonian system of chiral bosons on a circle, which manifestly exhibits the universality of the random matrix model. (shrink)

We introduce a new interpretation of non-relativistic quantum mechanics (QM) called Relational Blockworld (RBW). We motivate the interpretation by outlining two results due to Kaiser, Bohr, Ulfeck, Mottelson, and Anandan, independently. First, the canonical commutation relations for position and momentum can be obtained from boost and translation operators,respectively, in a spacetime where the relativity of simultaneity holds. Second, the QM density operator can be obtained from the spacetime symmetry group of the experimental configuration exclusively. We show how QM, (...) obtained from relativistic quantum field theory per RBW, explains the twin-slit experiment and conclude by resolving the standard conceptual problems of QM, i.e., the measurement problem, entanglement and non-locality. (shrink)

It is shown that the traditional formalism of equilibrium quantum statistical mechanics may fully be incorporated into a general macro-observable approach to quantum statistical mechanics recently proposed by the same author. (1,2) In particular, the partition functions which in the traditional approach are assumed to connect nonnormalized density operators with thermodynamic functions are reinterpreted as functions connecting so-called quantum mechanical effect operators with state parameters. It is argued that these functions although only part of a much richer (...) internal structure of the macro-observable are sufficient to cope with all problems one usually encounters in equilibrium quantum statistical mechanics. p]Denn eigentlich unternehmen wir umsonst, das Wesen eines Dinges auszudrücken. Wirkungen werden wir gewahr, und eine vollständige Geschichte dieser Wirkungen umfaßte wohl allenfalls das Wesen jenes Dinges.Johann W. v. Goethe Farbenlehre. (shrink)

The traditional formalism of quantum mechanics is mainly used to describe ensembles of identical systems (with a density-operator formalism) or single isolated systems, but is not capable of describing single open quantum objects with many degrees of freedom showing pure-state stochastic dynamical behaviour. In particular, stochastic 'line-migration' as in single-molecule spectroscopy of defect molecules in a molecular matrix is not adequately described. Starting with the Bohr scenario of stochastic quantum jumps (between strict energy eigenstates), we try to incorporate more (...) general pure-state stochastic dynamical behaviour into the quantum mechanical formalism.Probability distributions of (approximately) pure states, arising through the stochastic pure-state dynamics for long times, give rise to appropriate decompositions of thermal density operators. These decompositions of density operators into pure states mediate between quantum mechanics for ensembles of molecules and quantum theory for single molecules (or single dressed quantum objects). We suggest that such decompositions should be consistent with infinite limits (e.g. the Born-Oppenheimer limit for infinite nuclear masses) in the sense that quantum fluctuations (around classical behaviour in the infinite limit) die out asymptotically. (shrink)

A well-known relativistic action at a distance interaction of two unequal masses is altered so as to yield purely Newtonian radial forces with fixed particle rest masses in the system center-of-momentum inertial frame. Although particle masses experience no kinematic mass increase in this frame, speeds are naturally restricted to less than the speed of light. We derive a relation between the center-of-momentum frame total Newtonian energy and the composite rest mass. In a new proper time quantum formalism, we obtain an (...) L2(R4 ⊗ R4, C) Hilbert space by varying individual particle rest masses. We propose the use of density operators, recognizing that the auxiliary proper time parameter is not an observable. The quantum formalism is applied to our altered version of the relativistic harmonic oscillator. Our generalized coherent states yield four-dimensional wave packets which follow the correct classical world lines. Appendices contain reviews of classical Hamiltonian reparametrization (incorporating our notion of manifest covariance), and a comparison of this work with the literature. (shrink)