The quantum harmonic oscillator is described in terms of two basic sets of coordinates: linear coordinates x, px and angular coordinates eiφ, Pφ (action-angle variables). The angular “coordinate” eiφ is assumed unitary, the conjugate momentum pφ is assumed Hermitian, and eiφ and pφ are assumed to be a canonical pair. Two transformations are defined connecting the angular coordinates to the linear coordinates. It is found that x, px can be physical, i.e., Hermitian and canonical, only under constraints (...) on the pφ eigenvalue spectrum. The conclusion is that eiφ can be a unitary operator. A parallel analysis of the classical harmonic oscillator is done with equivalent results. (shrink)

In an accompanying paper Gomes, we have put forward an interpretation of quantum mechanics based on a non-relativistic, Lagrangian 3+1 formalism of a closed Universe M, existing on timeless configuration space \ of some field over M. However, not much was said there about the role of locality, which was not assumed. This paper is an attempt to fill that gap. Locality in full can only emerge dynamically, and is not postulated. This new understanding of locality is based solely (...) on the properties of extremal paths in configuration space. I do not demand locality from the start, as it is usually done, but showed conditions under which certain systems exhibit it spontaneously. In this way we recover semi-classical local behavior when regions dynamically decouple from each other, a notion more appropriate for extension into quantum mechanics. The dynamics of a sub-region O within the closed manifold M is independent of its complement, \, if the projection of extremal curves on \ onto the space of extremal curves intrinsic to O is a surjective map. This roughly corresponds to \, where \ is a linear projection. This criterion for locality can be made approximate—an impossible feat had it been already postulated—and it can be applied for theories which do not have hyperbolic equations of motion, and/or no fixed causal structure. When two regions are mutually independent according to the criterion proposed here, the semi-classical path integral kernel factorizes, showing cluster decomposition which is the ultimate aim of a definition of locality. (shrink)

The more common scheme to explain the classical limit of quantum mechanics includes decoherence, which removes from the state the interference terms classically inadmissible since embodying non-Booleanity. In this work we consider the classical limit from a logical viewpoint, as a quantum-to-Boolean transition. The aim is to open the door to a new study based on dynamical logics, that is, logics that change over time. In particular, we appeal to the notion of hybrid logics to describe (...) semiclassical systems. Moreover, we consider systems with many characteristic decoherence times, whose sublattices of properties become distributive at different times. (shrink)

The Copenhagen interpretation of quantum mechanics assumes the existence of the classical deterministic Newtonian world. We argue that in fact the Newton determinism in classical world does not hold and in the classical mechanics there is fundamental and irreducible randomness. The classical Newtonian trajectory does not have a direct physical meaning since arbitrary real numbers are not observable. There are classical uncertainty relations: Δq>0 and Δp>0, i.e. the uncertainty (errors of observation) in the determination (...) of coordinate and momentum is always positive (non zero).A “functional” formulation of classical mechanics was suggested. The fundamental equation of the microscopic dynamics in the functional approach is not the Newton equation but the Liouville equation for the distribution function of the single particle. Solutions of the Liouville equation have the property of delocalization which accounts for irreversibility. The Newton equation in this approach appears as an approximate equation describing the dynamics of the average values of the position and momenta for not too long time intervals. Corrections to the Newton trajectories are computed. An interpretation of quantum mechanics is attempted in which both classical and quantum mechanics contain fundamental randomness. Instead of an ensemble of events one introduces an ensemble of observers. (shrink)

My life as a quantum physicist / M. Nakahara -- A review on operator quantum error correction - Dedicated to Professor Mikio Nakahara on the occasion of his 60th birthday / C.-K. Li, Y.-T. Poon and N.-S. Sze -- Implementing measurement operators in linear optical and solid-state qubits / Y. Ota, S. Ashhab and F. Nori -- Fast and accurate simulation of quantum computing by multi-precision MPS: Recent development / A. Saitoh -- Entanglement properties of a (...) quantum lattice-gas model on square and triangular ladders / S. Tanaka, R. Tamura and H. Katsura -- On signal amplification from weak-value amplification / Y. Shikano -- Topological protection of quantum information / K. Fujii -- Quantum annealing with antiferromagnetic fluctuations for mean-field models / Y. Seki and H. Nishimori -- A method to change phase transition nature - Toward annealing methods / R. Tamura and S. Tanaka -- Computational analysis of the first stage of the photosynthetic system, the light-dependent reaction, by quantum chemical simulation method / M. Tada-Umezaki -- Two-qubit gate operation on selected nearest neighboring qubits in a neutral atom quantum computer / E. Hosseini Lapasar... [et al.] -- A simple operator quantum error correction scheme avoiding fully correlated errors / C. Bagnasco, Y. Kondo and M. Nakahara -- Black hole predictability, classical and quantum / A. Ishibashi -- Classical field simulation of finite-temperature Bose gases / T. Sato -- Atomic quantum simulations of lattice gauge theory: Effect of gauge symmetry breaking / K. Kasamatsu, I. Ichinose and T. Matsui -- Recursive construction of noiseless subsystem for qudits / U. Gungordu... [et al.] -- Composite quantum gates for precise quantum control / M. Bando... [et al.] -- New formulation of statistical mechanics using thermal pure quantum states / S. Sugiura and A. Shimizu -- Thermodynamics in unitary time evolution / T. N. Ikeda -- Second law of thermodynamics with QC-mutual information / T. Sagawa. (shrink)

A transition effect matrix (TEM) is a quantum generalization of a classical stochastic matrix. By employing a TEM we obtain a quantum generalization of a classical Markov chain. We first discuss state and operator dynamics for a quantum Markov chain. We then consider various types of TEMs and vector states. In particular, we study invariant, equilibrium and singular vector states and investigate projective, bistochastic, invertible and unitary TEMs.

In recent literature, it has become clear that quantum physics does not refute Humeanism: Lewis’s thesis of Humean supervenience can be literally true even in the light of quantum entanglement. This point has so far been made with respect to Bohm’s quantum theory. Against this background, this paper seeks to achieve the following four results: to generalize the option of quantum Humeanism from Bohmian mechanics to primitive ontology theories in general; to show that this option applies (...) also to classical mechanics; to establish that it requires a commitment to matter as primitive stuff, but no commitment to natural properties ; to point out that by removing the commitment to properties, the stock metaphysical objections against Humeanism from quidditism and humility no longer apply. In that way, quantum physics strengthens Humeanism instead of refuting it. (shrink)

Aquantum logic (σ-orthocomplete orthomodular poset L with a convex, unital, and separating set Δ of states) is said to have theexistence property if the expectation functionals onlin(Δ) associated with the bounded observables of L form a vector space. Classical quantum logics as well as the Hilbert space logics of traditional quantum mechanics have this property. We show that, if a quantum logic satisfies certain conditions in addition to having property E, then the number (...) of its blocks (maximal classical subsystems) must either be one (classical logics) or uncountable (as in Hilbert space logics). (shrink)

Variants of classical linear logics are presented based on the modal version of new structural rule !?mingle instead of the known rules !weakening and ?weakening. The cut-elimination theorems, the completeness theorems and a characteristic property named the mix separation principle are proved for these logics.

We study the question of how to decompose Hilbert space into a preferred tensor-product factorization without any pre-existing structure other than a Hamiltonian operator, in particular the case of a bipartite decomposition into "system" and "environment." Such a decomposition can be defined by looking for subsystems that exhibit quasi-classical behavior. The correct decomposition is one in which pointer states of the system are relatively robust against environmental monitoring (their entanglement with the environment does not continually and dramatically increase) and (...) remain localized around approximately-classical trajectories. We present an in-principle algorithm for finding such a decomposition by minimizing a combination of entanglement growth and internal spreading of the system. Both of these properties are related to locality in different ways. This formalism could be relevant to the emergence of spacetime from quantum entanglement. (shrink)

In the framework of the topos approach to quantum mechanics we give a representation of physical properties in terms of modal operators on Heyting algebras. It allows us to introduce a classical type study of the mentioned properties.

This paper will take into account the Lindenbaum property in Orthomodular Quantum Logic (OQL) and Partial Classical Logic (PCL). The Lindenbaum property has an interest both from a logical and a physical point of view since it has to do with the problem of the completeness of quantum theory and with the possibility of extending any semantically non-contradictory set of formulas to a semantically non-contradictory complete set of formulas. The main purpose of this paper is (...) to show that both OQL and PCL cannot satisfy the Lindenbaum property. (shrink)

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)

We present a procedure which allows us to recover classical and nonclassical logical structures as concrete logics associated with physical theories expressed by means of classical languages. This procedure consists in choosing, for a given theory ${{\mathcal{T}}}$ and classical language ${{\fancyscript{L}}}$ expressing ${{\mathcal{T}}, }$ an observative sublanguage L of ${{\fancyscript{L}}}$ with a notion of truth as correspondence, introducing in L a derived and theory-dependent notion of C-truth (true with certainty), defining a physical preorder $\prec$ induced by C-truth, (...) and finally selecting a set of sentences ϕ V that are verifiable (or testable) according to ${{\mathcal{T}}, }$ on which a weak complementation ⊥ is induced by ${{\mathcal{T}}. }$ The triple $(\phi_{V},\prec,^{\perp})$ is then the desired concrete logic. By applying this procedure we recover a classical logic and a standard quantum logic as concrete logics associated with classical and quantum mechanics, respectively. The latter result is obtained in a purely formal way, but it can be provided with a physical meaning by adopting a recent interpretation of quantum mechanics that reinterprets quantum probabilities as conditional on detection rather than absolute. Hence quantum logic can be considered as a mathematical structure formalizing the properties of the notion of verification in quantum physics. This conclusion supports the general idea that some nonclassical logics can coexist without conflicting with classical logic (global pluralism) because they formalize metalinguistic notions that do not coincide with the notion of truth as correspondence but are not alternative to it either. (shrink)

Bewildering features of modern physics, such as relativistic space-time structure and the peculiarities of so-called quantum statistics, challenge traditional ways of conceiving of objects in space and time. Interpreting Bodies brings together essays by leading philosophers and scientists to provide a unique overview of the implications of such physical theories for questions about the nature of objects. The collection combines classic articles by Max Born, Werner Heisenberg, Hans Reichenbach, and Erwin Schrodinger with recent contributions, including several papers that have (...) never before been published. -/- The book focuses on the microphysical objects that are at the heart of quantum physics and addresses issues central to both the "foundational" and the philosophical debates about objects. Contributors explore three subjects in particular: how to identify a physical object as an individual, the notion of invariance with respect to determining what objects are or could be, and how to relate objective and measurable properties to a physical entity. The papers cover traditional philosophical topics, common-sense questions, and technical matters in a consistently clear and rigorous fashion, illuminating some of the most perplexing problems in modern physics and the philosophy of science. (shrink)

We give the precise correspondence between polarized linear logic and polarized classical logic. The properties of focalization and reversion of linear proofs are at the heart of our analysis: we show that the tq-protocol of normalization for the classical systems and perfectly fits normalization of polarized proof-nets. Some more semantical considerations allow us to recover LC as a refinement of multiplicative.

We introduce a new approach to analyzing the interaction between classical and quantum systems that is based on a limiting procedure applied to multi-particle Schrödinger equations. The limit equations obtained by this procedure, which we refer to as the classical-quantum limit, govern the interaction between classical and quantum systems, and they possess many desirable properties that are inherited in the limit from the multi-particle quantum system. As an application, we use the classical- (...) class='Hi'>quantum limit equations to identify the source of the non-local signalling that is known to occur in the classical-quantum hybrid scheme of Hall and Reginatto. We also derive the first order correction to the classical-quantum limit equation to obtain a fully consistent first order approximation to the Schrödinger equation that should be accurate for modeling the interaction between particles of disparate mass in the regime where the particles with the larger masses are effectively classical. (shrink)

We propose a conceptual framework for understanding the relationship between observables and operators in mechanics. To do so, we introduce a postulate that establishes a correspondence between the objective properties permitting to identify physical states and the symmetry transformations that modify their gauge dependant properties. We show that the uncertainty principle results from a faithful—or equivariant—realization of this correspondence. It is a consequence of the proposed postulate that the quantum notion of objective physical states is not incomplete, but rather (...) that the classical notion is overdetermined. (shrink)

We consider the problem of therelationship between the quantum and theclassical domains from the point of view that itis possible to speak of a direct physicaldescription of quantum systems havingphysical properties. We put emphasis, inevidencing it, on the specific quantum conceptof indistinguishability of identical in aconceptual way (and not in a logical way in thevein of ``da Costa's school''). In essence, thesubsequent argumentation deals with therelationship between the classical and thequantum, with the problem of the (...) class='Hi'>quantum theoryof measurement. Even in the absence of adefinitive response to this problem, the bestattitude for the time being, as we cannot reducethe classical and the quantum one to the other,seems to be to accept their pacific coexistence,and this is possible with the toleranceprinciple of the ``pragmatic truth'' developedfrom a logical point of view by Newton daCosta.RESUMO. As áreas quântica eclássica enquanto provisórioscoexistentes parallelos. Abordamos oproblema da relação entre as áreasdo quântico e do clássico considerandoque é possível falar de umadescrição física direta de sistemas quânticos tendo propriedades.Insistimos, para isto, sobre o conceitoespecificamente quântico daindicernabilidade dos idênticos de um ponto devista conceptual (não de um ponto de vistalógico à maneira da ``escola da Costa'')como evidenciando isto. O essencial daargumentação a seguir tem como enfoquea relação clássico-quântico, como problema da teoria quântica damedição. Mesmo não tendo umaresposta definitiva para este, a melhor atitudepor enquanto, já que não se podemreduzir um ao outro o clássico e oquântico, nos parece ser esta de aceitar suacoexistência pacífica, o que épossível com o princípio detolerância da ``verdade pragmática''desenvolvida logicamente por Newton da Costa. (shrink)

The two concepts of probability used in physics are analyzed from the formal and the material points of view. The standard theory corresponds toprob 1 (probability of the coexistence of two properties). A general logicomathematical theory ofprob 2 (probability of transition between states) is presented in axiomatic form. The underlying state algebra is neither Boolean nor Birkhoff-von Neumann but partial Boolean. In the Boolean subalgebras,prob 1 theory holds. The theory presented contains the logicomathematical foundations of quantum mechanics and, as (...) degenerate cases, the theories of stochastic games and of Markov chains. (shrink)

We discuss the main results of Linear Stochastic Electrodynamics, starting from a reformulation of its basic assumptions. This theory shares with Stochastic Electrodynamics the core assumption that quantization comes about from the permanent interaction between matter and the vacuum radiation field, but it departs from it when it comes to considering the effect that this interaction has on the statistical properties of the nearby field. In the transition to the quantum regime, correlations between field modes of well-defined characteristic (...) frequencies arise, which coincide with the transition frequencies of quantum mechanics and are therefore directly related with the energy quantization. The Heisenberg equations of motion of (non-relativistic) quantum electrodynamics are thus obtained. After a detailed consideration of the significance of the approximations made, we present a discussion on some of the most delicate or controversial features of quantum mechanics from the perspective provided by the present theory. (shrink)

Bogolubov's classical example of statistical relaxation in a many-dimensional linear oscillator is discussed. The relation of the discovered relaxation mechanism to quantum dynamics as well as to some new problems in classical mechanics is considered.

Reception of the Bohm-Hiley interpretation of quantum mechanics has a curiously Janus faced quality. On the one hand, it is frequently derided as a conservative throwback to outdated classical patterns of thought. On the other hand, it is equally often taken to task for encouraging a wild quantum mysticism, often regarded as anti-scientific. I will argue that there are reasons for this reception, but that a proper appreciation of the dual scientific and philosophical aspects of the view (...) reveals a powerful and extremely interesting metaphysical view of the world. This view is akin to that of Russellian Monism, in which the empirical world studied by science is restricted to relational features that stand in need of some background intrinsic properties to ground their reality. This allows for a theory that can embrace a world which exhibits a reasonable and plausible sort of emergence (especially of domains that fall under classical concepts) while also making room for distinctive and scientifically intransigent properties such as consciousness. (shrink)

Nature's simplest atom and mother of all matter, hydrogen feeds the stars as well as interlaces the molecules of their biological descendants – to whom it ultimately whispers the secrets of quantum reality. Hydrogen’s most prevalent earthly guise lies within the composition of water. A slight electrical disturbance can split water into hydrogen and oxygen gas, resulting in diaphanous bubble clouds slowly rising towards the liquid’s surface. Though the founding fathers of electrochemistry posited that the mass of liberated bubbles (...) is directly proportional to the input voltage, certain modes of electrolysis release more energy than is spent. One such mode involves water’s Janus-faced capacity to react as either an acid or a base. Emanating from an array of electrodes at the bottom of a water-filled chamber, strings and strata of hydrogen bubbles meticulously trace their emergent surroundings. In addition to eddy formations incited by a bubble's rapid growth and subsequent detachment from the electrode surface, acoustic vibrations permeate the two-phase fluid. As the sonic frequency and amplitude rises, the hydrogen bubbles start to coalesce with one another. When the sound field reaches maximum intensity, it can trap bubbles within its antinodes. The vibrations are generated both by transducers and by the bubbles themselves, which emit frequencies ranging from the audible spectrum to as high as 800 kHz. A white laser sheet scans and illuminates the hydrogen bubble trajectories. Each quivering bubble-lens divides the white light into its constituent spectrum of colors. While scanning, the laser sheet also swiftly pulsates and thereby extends the perceivable resolution of micro-momentary bubble dynamics. Before it even begins to map out its vibratory environment, a bubble goes through various stages of spatio-temporal evolution. During the first phase of growth, a bubble nucleus inflates linearly with time. At the second stage, bubble growth is limited by the diffusion of gas within the liquid, causing its size to increase as the square root of time. The final phase before detachment is limited by the kinetics of dissolved gas production, causing the bubble to grow as the cube root of time.1 Beyond macroscopically observable bubbles, an expanse of nanobubbles hides within the water’s internal architecture. Some researchers presume that these nanobubbles of dissolved gas are the carriers of water’s magnetic ‘memory’, enabling electromagnetic fields to saturate its innards for hours and even days after their initial appearance. In the seas and oceans, the lingering presence of electromagnetic fields photonically imparted by sunlight, triggers the electrolysis responsible for most of the Earth’s hydrogen. An essential form of photosynthesis, solar water splitting is the cleanest and most efficient means imaginable for generating and storing energy. —Evelina Domnitch & Dmitry Gelfand *** Animals and plants are formed in earth and in water because there is water in earth, and there is pneuma in water, and there is soul heat in all pneuma ; so that in a way all things are full of soul. Hence plants and animals quickly form once this gets enclosed; and when this enclosing happens, when the corporeal liquids get heated, a sort of frothy bubble is formed. Now the difference between the various creatures which are produced in this way are due to the stuff which makes up the envelope around the soul-source.2 Throwing light into this pneumatic spray of perdurances, which would otherwise swarm below the threshold of human visibility, Evelina Domnitch and Dmitry Gelfand’s Hydrogeny saturates the viewer’s sensorial space with the nano-architectures of froth. Straddling the cell wall between scientific enquiry and artistic praxis, Hydrogeny , beckons a recasting of Lucretius' clinamen in tune with the technologies of the modern observer. For Lucretius it was the indeterminate swerving of an atomistic layer of reality which accounted for the unpredictability of change and the existence of free will. Taken up by Harold Bloom to describe the swerving of cultural production from that which has already been made, the idea has since been textually redressed by Lacan, Derrida, Serres, Deleuze, Nancy, and Badiou. Here we have been given a kaleidoscopic technique for refining and expanding awareness of our enmeshment with so many nested, atomistic layers of object-bubbles—of things—as Aristotle might say,“full of soul.” The gravitational pull of Hydrogeny ushers a de-centered human spectatorship to the ever more intimate recesses of what media philosopher N. Katherine Hayles calls our capacity for “deep attention.”3 Vaporous attention suspended and re-oriented. Microscopic as these diaphanous waves are, the calling they produce is anything but inconsequential. Evelina Domnitch and Dmitry Gelfand are two-thirds of the Amsterdam-based Art–Science Labratory, Optofonica , an atelier initiated by the Italian interdisciplinary artist TeZ in 2006. Follow more of their work at www.portablepalace.com —Isaac Linder NOTES (1) cf. Brandon, Kelsall, Levine, & Smith. “Interfacial Electrical Properties of Electrogenerated Bubbles.” Journal of Applied Electrochemistry 15 (1985):485-493. (2)Aristotle, On the Generation of Animals, 762a18, tr. A. L. Peck (Cambridge, MA: Loeb Classical Library, 1942). (3)“ My article on hyper and deep attention ,” N. Katherine Hayles, accessed on September 14, 2011. (shrink)

The present work is motivated by recent experiments aimed to measure the propagation velocity of bound electromagnetic field that reveal no retardation in the absence of EM radiation. We show how these findings can be incorporated into the mathematical structure of special relativity theory that allows us to reconsider some selected problems of classical and quantum electrodynamics. In particular, we come to the conclusion that the total four-momentum for a classical system “particles plus fields” ought to be (...) a present state function of moving charges if EM radiation is negligible. In quantum domain, we analyze novel definition of the momentum operator recently suggested in the study of quantum phase effects. It implies that bound EM field energy and momentum are to be present state functions, too. Being in agreement with reported experiments, these conclusions suggest the necessity to carry out more precise experimental verifications for additional and independent determination of propagation properties of bound EM fields. A scheme of a possible experiment on this subject is also proposed. (shrink)

Correlations of spins in a system of entangled particles are inconsistent with Kolmogorov’s probability theory (KPT), provided the system is assumed to be non-contextual. In the Alice–Bob EPR paradigm, non-contextuality means that the identity of Alice’s spin (i.e., the probability space on which it is defined as a random variable) is determined only by the axis $\alpha _{i}$ chosen by Alice, irrespective of Bob’s axis $\beta _{j}$ (and vice versa). Here, we study contextual KPT models, with two properties: (1) Alice’s (...) and Bob’s spins are identified as $A_{ij}$ and $B_{ij}$ , even though their distributions are determined by, respectively, $\alpha _{i}$ alone and $\beta _{j}$ alone, in accordance with the no-signaling requirement; and (2) the joint distributions of the spins $A_{ij},B_{ij}$ across all values of $\alpha _{i},\beta _{j}$ are constrained by fixing distributions of some subsets thereof. Of special interest among these subsets is the set of probabilistic connections, defined as the pairs $\left( A_{ij},A_{ij'}\right) $ and $\left( B_{ij},B_{i'j}\right) $ with $\alpha _{i}\not =\alpha _{i'}$ and $\beta _{j}\not =\beta _{j'}$ (the non-contextuality assumption is obtained as a special case of connections, with zero probabilities of $A_{ij}\not =A_{ij'}$ and $B_{ij}\not =B_{i'j}$ ). Thus, one can achieve a complete KPT characterization of the Bell-type inequalities, or Tsirelson’s inequalities, by specifying the distributions of probabilistic connections compatible with those and only those spin pairs $\left( A_{ij},B_{ij}\right) $ that are subject to these inequalities. We show, however, that quantum-mechanical (QM) constraints are special. No-forcing theorem says that if a set of probabilistic connections is not compatible with correlations violating QM, then it is compatible only with the classical–mechanical correlations. No-matching theorem says that there are no subsets of the spin variables $A_{ij},B_{ij}$ whose distributions can be fixed to be compatible with and only with QM-compliant correlations. (shrink)

Wigner's quantum-mechanical classification of particle-types in terms of irreducible representations of the Poincaré group has a classical analogue, which we extend in this paper. We study the compactness properties of the resulting phase spaces at fixed energy, and show that in order for a classical massless particle to be physically sensible, its phase space must feature a classical-particle counterpart of electromagnetic gauge invariance. By examining the connection between massless and massive particles in the massless limit, we (...) also derive a classical-particle version of the Higgs mechanism. (shrink)

In 1927 Louis de Broglie proposed an alternative approach to standard quantum mechanics known as the double solution program (DSP) where particles are represented as bunched fields or solitons guided by a base (weaker) wave. DSP evolved as the famous de Broglie-Bohm pilot wave interpretation (PWI) also known as Bohmian mechanics but the general idea to use solitons guided by a base wave to reproduce the dynamics of the PWI was abandoned. Here we propose a nonlinear scalar field theory (...) able to reproduce the PWI for the Schrödinger and Klein–Gordon guiding waves. Our model relies on a relativistic ‘phase harmony’ condition locking the phases of the solitonic particle and the guiding wave. We also discuss an extension of the theory for the N particles cases in presence of entanglement and external (classical) electromagnectic fields. (shrink)

The laser, first operated in 1960, produced light with coherence properties that demanded explanation. While some attempted a treatment within the framework of classical coherence theory, others insisted that only quantum electrodynamics could give adequate insight and generality. The result was a sharp and rather bitter controversy, conducted over the physics and mathematics that were being deployed, but also over the criteria for doing good science. Three physicists were at the center of this dispute, Emil Wolf, Max Born’s (...) collaborator on a canonical text on optics as a branch of classical electromagnetism, Roy J. Glauber, a student of Julian Schwinger and a high-energy particle theorist, and Leonard Mandel, both experimentalist and theorist and versed in the physics of photodetection. The story told here is thus one of three distinct research trajectories and of the explosion that occurred when, pushed into the well-financed field of laser studies, these trajectories collided. (shrink)

It is assumed that the coupling of the field quantities Dμv (x) and F αβ (x) is nonlocal. This hypothesis leads to a theory of an electromagnetic field that has the following properties.(1) The source of the field F αβ (x) exhibits a center of charge and a center of mass that do not coincide, in general.(2) The field componentF 0i=−c2Ei is regular at the origin.(3) In the first-order approximation the new field equations are equivalent to the conventional Maxwell field (...) equations.(4) The conventional cutoff procedure in momentum space as practiced in the Maxwell-Lorentz theory is equivalent to the first-order approximation in terms of an invariant length ξ2.(5) The gyromagnetic ratio of the source of F αβ (x) is equal toc/mc for a quantum of chargee and massm. (shrink)

The D-CTC condition, introduced by David Deutsch as a condition to be fulfilled by analogues for processes of quantum systems in the presence of closed timelike curves, is investigated for classical statistical bi-partite systems. It is shown that the D-CTC condition can generically be fulfilled in classical statistical systems, under very general, model-independent conditions. The central property used is the convexity and completeness of the state space that allows it to generalize Deutsch’s original proof for q-bit (...) systems to more general classes of statistically described systems. The results demonstrate that the D-CTC condition, or the conditions under which it can be fulfilled, is not characteristic of, or dependent on, the quantum nature of a bi-partite system. (shrink)

This paper presents an abstract study of completeness properties of non-classical logics with respect to matricial semantics. Given a class of reduced matrix models we define three completeness properties of increasing strength and characterize them in several useful ways. Some of these characterizations hold in absolute generality and others are for logics with generalized implication or disjunction connectives, as considered in the previous papers. Finally, we consider completeness with respect to matrices with a linear dense order and characterize (...) it in terms of an extension property and a syntactical metarule. This is the final part of the investigation started and developed in the papers :417–446, 2010; Arch Math Logic 53:353–372, 2016). (shrink)

By probability theory the probability space to underlie the set of statistical data described by the squared modulus of a coherent superposition of microscopically distinct (sub)states (CSMDS) is non-Kolmogorovian and, thus, such data are mutually incompatible. For us this fact means that the squared modulus of a CSMDS cannot be unambiguously interpreted as the probability density and quantum mechanics itself, with its current approach to CSMDSs, does not allow a correct statistical interpretation. By the example of a 1D completed (...) scattering and double slit diffraction we develop a new quantum-mechanical approach to CSMDSs, which requires the decomposition of the non-Kolmogorovian probability space associated with the squared modulus of a CSMDS into the sum of Kolmogorovian ones. We adapt to CSMDSs the presented by Khrennikov (Found. Phys. 35(10):1655, 2005) concept of real contexts (complexes of physical conditions) to determine uniquely the properties of quantum ensembles. Namely we treat the context to create a time-dependent CSMDS as a complex one consisting of elementary (sub)contexts to create alternative subprocesses. For example, in the two-slit experiment each slit generates its own elementary context and corresponding subprocess. We show that quantum mechanics, with a new approach to CSMDSs, allows a correct statistical interpretation and becomes compatible with classical physics. (shrink)

Two Lagrangians L and L′ are equivalent if the equations of motion derived from them have the same set of solutions. In that case, a matrix Λ may be defined which has the property that the trace of any analytic function of Λ is a constant of the motion. We extend this trace theorem to the case of classical field theory and discuss some of the implications for quantum theory and for procedures for finding equivalent Lagrangians.

We discuss the interpolation property on some important families of non classical logics, such as intuitionistic, modal, fuzzy, and linear logics. A special paragraph is devoted to a generalization of the interpolation property, uniform interpolation.

A first-order theory T has the Independence Property provided deduction of a statement of type (quantifiers) (P -> (P1 or P2 or .. or Pn)) in T implies that (quantifiers) (P -> Pi) can be deduced in T for some i, 1 <= i <= n). Variants of this property have been noticed for some time in logic programming and in linear programming. We show that a first-order theory has the Independence Property for the class of (...) basic formulas provided it can be axiomatized with Horn sentences. The existence of free models is a useful intermediate result. The independence Property is also a tool to decide that a sentence cannot be deduced. We illustrate this with the case of the classical Caratheodory theorem for Pasch-Peano geometries. (shrink)

The paper sketches out an ontology of physics in terms of matter being primitive stuff distributed in space and all the properties physics is committed to being dispositions that fix the temporal development of the distribution of matter in space. Whereas such properties can be conceived as intrinsic properties of particles in classical mechanics, in quantum physics, there is a holistic property or structure that relates all matter and that fixes its temporal development.

We discuss the question of linear momentum conservation when an atom coupled to a laser field enters into a state which is not an eigenstate of the linear momentum. Such a situation happens in the recently demonstrated laser cooling of atoms by velocity selective coherent population trapping. We show that this process can be understood as a filtering of the atomic state by the laser field taken as a classical measuring apparatus. In a different approach, the laser (...) field can be taken as a quantized system; then the filtering process leads to an “entangled state” of the atom and the field. (shrink)

One of the most relevant features of quantum field theory is the phenomenon of pair production, the existence of which, first suggested by Dirac, was not even suspected in the older theories. On the other hand Feynman, in the spirit of his spatiotemporal approach to quantum mechanics, showed how a description of pair production could be given within classical relativistic kinematics; in fact, he actually exhibited world lines with the required properties in the framework of a nonlocal (...) modification of classical electrodynamics conceived by Bopp. In the present paper we show how classical world lines, just of the type required by Feynman to describe the phenomenon of pair production, naturally arise in classical electrodynamics. More precisely, we show that such world lines occur as solutions of the well-known Abraham-Lorentz-Dirac equation, which was originally designed to describe the motion of just a single point charge in self-interaction with the electromagnetic field. (shrink)

We look into the ontology of quantum theory as distinct from that of the classical theory in the sciences. Theories carry with them their own ontology while the metaphysics may remain the same in the background. We follow a broadly Kantian tradition, distinguishing between the noumenal and phenomenal realities where the former is independent of our perception while the latter is assembled from the former by means of fragmentary bits of interpretation. Theories do not tell us how the (...) noumenal world is constituted but are conceptual constructs applying to models generated in the phenomenal world within limited contexts. -/- The ontology of quantum theory principally rests on the view that entities in the world are pervasively correlated with one another not by means of probabilities as in the case of the classical theory, but by means of probability amplitudes involving finely tuned phases characterising the oscillatory behaviour of quantum mechanical states. -/- The amplitude-dependent correlations (quantum entanglement) exist over and above the classical ones expressed in terms of probabilities. While the classical correlations are essentially local in nature, quantum correlations are shared globally in the process of environment-induced decoherence. The decoherence is an effectively random process that removes local correlations in the course of global sharing of entanglement—the removal being especially manifest in the case of systems that appear as classical ones. It is this aspect of the decoherence process that makes the so-called measurement postulate (one relating to wave function collapse) cohere with the rest of the principles of quantum theory where the latter implies a Schrodinger type time evolution of quantum mechanical systems. -/- The mathematical basis of the quantum correlations consists of the description of pure states of a system in terms of vectors in a linear vector space (a mixed state appears as an admixture of pure states with some probability distribution associated with it) and, in addition, the description of (pure) states of composite systems as vectors in the product space arising from the component sub-systems. -/- The crucial aspect of the decoherence process, of significance in the context of the apparent incompatibility of the measurement postulate with the unitary Schrodinger evolution, relates to the fact that it is almost instantaneous in the case of a classical object (one that is nevertheless amenable to a quantum description). Indeed, the decoherence time is, in all likelihood, of the order of the Planck scale, being driven by field fluctuations in the Planck regime. This points to factors of an unknown nature determining the finest details of the decoherence process since Planck scale physics remains an obscure terrain. -/- In other words, quantum theory is, to all intents and purposes, in the need of a radical revision, in keeping with the fact that all theories are defeasible and need revision as our domains of experience expand and get realigned in a complex manner. The context within which quantum theory (and quantum field theory too) is defined is set precisely by the Planck scale, across which a novel theoretical framework is likely to emerge. However, as in the case of theory revisions in general, that emerging theory will stand in an asymmetric relation of incommensurability with the present-day quantum theory, where the concepts of the latter will be comprehensible in terms of those of the former, but the converse will not hold. (shrink)

Maxwell's equations are formulated as a relativistic “Schrödinger-like equation” for a single photon of a given helicity. The probability density of the photon satisfies an equation of continuity. The energy eigenvalue problem gives both positive and negative energies. The Feynman concept of antiparticles is applied here to show that the negative-energy states going backward in time (t → −t) give antiphoton states, which are photon states with the opposite helicity. For a given mode, properties of a photon, such as energy, (...) linear momentum, total angular momentum, orbital angular momentum, and spin are equivalent in both classical electromagnetic field theory and quantum theory. The single-photon Schrödinger equation is field (or “second”) quantized in a gauge-invariant way to obtain the quantum field theory of many photons. This approach treats the quantization of electromagnetic radiation in a way that parallels the quantization of material particles and, thus, provides a unified treatment. (shrink)

On many currently live interpretations, quantum mechanics violates the classical supposition of value definiteness, according to which the properties of a given particle or system have precise values at all times. Here we consider whether either metaphysical supervaluationist or determinable-based approaches to metaphysical indeterminacy can accommodate quantum metaphysical indeterminacy (QMI). We start by discussing the standard theoretical indicator of QMI, and distinguishing three seemingly different sources of QMI (S1). We then show that previous arguments for the conclusion (...) that metaphysical supervaluationism cannot accommodate QMI, due to Darby 2010 and Skow 2010, are unsuccessful, in leaving open several supervaluationist responses. We go on to provide more comprehensive argumentation for the negative conclusion. Here, among other results, we establish that the problems for supervaluationism extend far beyond the concern that is the focus of Darby's and Skow's discussions (according to which a supervaluationist approach is incompatible with the orthodox interpretation, in light of the Kochen-Specker theorem) to also attach to common understandings of other interpretations on which there is QMI (S2). We then argue that a determinable-based account can successfully accommodate all three varieties of QMI (S3). We close by observing the positive mutual bearing of our results on the coherence and intelligibility of both quantum mechanics and metaphysical indeterminacy (S4). (shrink)

This is the first in a series of papers that present a new classical statistical treatment of the system of a charged harmonic oscillator (HO) immersed in an omnipresent stochastic zero-point (ZP) electromagnetic radiation field. This paper establishes the Gaussian statistical properties of this ZP field using Bourret's postulate that all statistical moments of the stochastic field plane waves at a given space-time point should agree with their corresponding quantized field vacuum expectations. This postulate is more than adequate to (...) derive the Planck spectrum classically via Boyer's and Theimer's methods, but it requires that the stochastic amplitude of each linearly polarized plane wave in the field contain two independent Gaussian random variables, not just a random phase as has sometimes been assumed. In the succeeding papers in the series, the total motion of a charged HO is described by a fully renormalized dipole-approximation Abraham-Lorentz equation. This leads without further approximation to the following major results concerning this stochastic electrodynamics (SED) of the HO: i) The ensemble-average Liouville equation for the oscillator-ZP field system in the presence of an arbitrary applied classical radiation field is exactly equivalent to the usual time-dependent Schrödinger equation supplemented by an explicit radiation reaction vector potential similar to that of the Crisp-Jaynes-Stroud theory; ii) this SED Schrödinger equation for the HO is incomplete, insmuch as there exists a companion equation that restricts initial conditions such that the corresponding Wigner phase-space distribution is always positive; iii) the wave function of the SED Schrödinger equation has thea priori significance of position probability amplitude; iv) first-order transition rates predicted for the HO by this theory agree with those predicted by quantum electrodynamics for resonance absorption and spontaneous emission, which occurs with no triggering necessary; and v) if SED is taken seriously, then the concepts of quantized energies and photons must be abandoned. (shrink)

After the seminal work of Kraus, Lehmann and Magidor (formally known as the KLM approach) on conditionals and preferential models, many aspects of defeasibility in more complex formalisms have been studied in recent years. Examples of these aspects are the notion of typicality in description logic and defeasible necessity in modal logic. We discuss a new aspect of defeasibility that can be expressed in the case of temporal logic, which is the normality in an execution. In this contribution, we take (...) Linear Temporal Logic (LTL) as case study for this defeasible aspect. LTL has found extensive applications in Computer Science and Artificial Intelligence, notably as a formal framework for representing and verifying computer systems that vary over time. However, some systems may presents exceptions at some innocuous time points where they can be tolerated, or conversely, exceptions at other crucial time points where they need to be addressed. In order to ensure the reliability of such systems, we study a preferential extension of LTL, called defeasible linear temporal logic (LTL ~ ). In the first part of this paper, we show how semantics of KLM's preferential models can be integrated with LTL. We also discuss the addition of non-monotonic temporal operators as a way to formalise defeasible properties of these systems. The second part of this paper is a study of the satisfiability problem of LTL ~ sentences. Based on Sistla and Clarke's work on the complexity of the classical LTL language, we show the bounded-model property of two fragments of LTL ~ language. Moreover, we provide a procedure to check the satisfiability of sentences in both of these fragments. (shrink)

LetEbe a computably enumerable equivalence relation on the setωof natural numbers. We say that the quotient set$\omega /E$realizesa linearly ordered set${\cal L}$if there exists a c.e. relation ⊴ respectingEsuch that the induced structure is isomorphic to${\cal L}$. Thus, one can consider the class of all linearly ordered sets that are realized by$\omega /E$; formally,${\cal K}\left = \left\{ {{\cal L}\,|\,{\rm{the}}\,{\rm{order}}\, - \,{\rm{type}}\,{\cal L}\,{\rm{is}}\,{\rm{realized}}\,{\rm{by}}\,E} \right\}$. In this paper we study the relationship between computability-theoretic properties ofEand algebraic properties of linearly ordered sets realized (...) byE. One can also define the following pre-order$ \le _{lo} $on the class of all c.e. equivalence relations:$E_1 \le _{lo} E_2 $if every linear order realized byE1is also realized byE2. Following the tradition of computability theory, thelo-degrees are the classes of equivalence relations induced by the pre-order$ \le _{lo} $. We study the partially ordered set oflo-degrees. For instance, we construct various chains and anti-chains and show the existence of a maximal element among thelo-degrees. (shrink)

It is argued that while quantum mechanics contains nonlocal or entangled states, the instantaneous or nonlocal influences sometimes thought to be present due to violations of Bell inequalities in fact arise from mistaken attempts to apply classical concepts and introduce probabilities in a manner inconsistent with the Hilbert space structure of standard quantum mechanics. Instead, Einstein locality is a valid quantum principle: objective properties of individual quantum systems do not change when something is done to (...) another noninteracting system. There is no reason to suspect any conflict between quantum theory and special relativity. (shrink)

_René Descartes proposed an interactive dualism that posits an interaction between the_ _mind of a human being and some of the matter located in his or her brain. Isaac Newton_ _subsequently formulated a physical theory based exclusively on the material/physical_ _part of Descartes’ ontology. Newton’s theory enforced the principle of the causal closure_ _of the physical, and the classical physics that grew out of it enforces this same principle._ _This classical theory purports to give, in principle, a complete (...) deterministic account of the_ _physically described properties of nature, expressed exclusively in terms of these_ _physically described properties themselves. Orthodox contemporary physical theory_ _violates this principle in two separate ways. First, it injects random elements into the_ _dynamics. Second, it allows, and also requires, abrupt probing actions that disrupt the_ _mechanistically described evolution of the physically described systems. These probing_ _actions are called Process 1 interventions by von Neumann. They are psycho-physical_ _events. Neither the content nor the timing of these events is determined either by any_ _known law, or by the afore-mentioned random elements. Orthodox quantum mechanics_ _considers these events to be instigated by choices made by conscious agents. In von_ _Neumann’s formulation of quantum theory each such intervention acts upon the state of_ _the brain of some conscious agent. Thus orthodox von Neumann contemporary physics_ _posits an interactive dualism similar to that of Descartes. But in this quantum version the_ _effects of the conscious choices upon our brains are controlled, in part, by the known_ _basic rules of quantum physics. This theoretically specified mind-brain connection allows_ _many basic psychological and neuropsychological findings associated with the apparent_ _physical effectiveness of our conscious volitional efforts to be explained in a causal and_ _practically useful way.. (shrink)

The term “vagueness” describes a property of natural concepts, which normally have fuzzy boundaries, admit borderline cases, and are susceptible to Zeno's sorites paradox. We will discuss the psychology of vagueness, especially experiments investigating the judgment of borderline cases and contradictions. In the theoretical part, we will propose a probabilistic model that describes the quantitative characteristics of the experimental finding and extends Alxatib's and Pelletier's () theoretical analysis. The model is based on a Hopfield network for predicting truth values. (...) Powerful as this classical perspective is, we show that it falls short of providing an adequate coverage of the relevant empirical results. In the final part, we will argue that a substantial modification of the analysis put forward by Alxatib and Pelletier and its probabilistic pendant is needed. The proposed modification replaces the standard notion of probabilities by quantum probabilities. The crucial phenomenon of borderline contradictions can be explained then as a quantum interference phenomenon. (shrink)

It is suggested that an understanding of blackbody radiation within classical physics requires the presence of classical electromagnetic zero-point radiation, the restriction to relativistic (Coulomb) scattering systems, and the use of discrete charge. The contrasting scaling properties of nonrelativistic classical mechanics and classical electrodynamics are noted, and it is emphasized that the solutions of classical electrodynamics found in nature involve constants which connect together the scales of length, time, and energy. Indeed, there are analogies between (...) the electrostatic forces for groups of particles of discrete charge and the van der Waals forces in equilibrium thermal radiation. The differing Lorentz- or Galilean-transformation properties of the zero-point radiation spectrum and the Rayleigh-Jeans spectrum are noted in connection with their scaling properties. Also, the thermal effects of acceleration within classical electromagnetism are related to the existence of thermal equilibrium within a gravitational field. The unique scaling and phase-space properties of a discrete charge in the Coulomb potential suggest the possibility of an equilibrium between the zero-point radiation spectrum and matter which is universal (independent of the particle mass), and an equilibrium between a universal thermal radiation spectrum and matter where the matter phase space depends only upon the ratio mc 2/k B T. The observations and qualitative suggestions made here run counter to the ideas of currently accepted quantum physics. (shrink)