In this paper we investigate the coupling properties of pairs of quadrature observables, showing that, apart from the Weyl relation, they share the same coupling properties as the position-momentum pair. In particular, they are complementary. We determine the marginal observables of a covariant phase space observable with respect to an arbitrary rotated reference frame, and observe that these marginal observables are unsharp quadrature observables. The related distributions constitute the Radon transform of a phase space (...) distribution of the covariant phase space observable. Since the quadrature distributions are the Radon transform of the Wigner function of a state, we also exhibit the relation between the quadrature observables and the tomography observable, and show how to construct the phase space observable from the quadrature observables. Finally, we give a method to measure together with a single measurement scheme any complementary pair of quadrature observables. (shrink)

In his Metrica, Hero provides four procedures for finding the area of a circular segment (with b the base of the segment and h its height): an Ancient method for when the segment is smaller than a semicircle, $$(b + h)/2 \, \cdot \, h$$ ( b + h ) / 2 · h ; a Revision, $$(b + h)/2 \, \cdot \, h + (b/2)^{2} /14$$ ( b + h ) / 2 · h + ( b / 2 (...) ) 2 / 14 ; a quasi-Archimedean method (said to be inspired by the quadrature of the parabola) for cases where b is more than triple h, $${\raise0.5ex\hbox{$\scriptstyle 4$} \kern-0.1em/\kern-0.15em \lower0.25ex\hbox{$\scriptstyle 3$}}(h \, \cdot \, b/2)$$ 4 / 3 ( h · b / 2 ) ; and a method of Subtraction using the Revised method, for when it is larger than a semicircle. He gives superficial arguments that the Ancient method presumes $$\pi = 3$$ π = 3 and the Revision, $$\pi = {\raise0.5ex\hbox{$\scriptstyle {22}$} \kern-0.1em/\kern-0.15em \lower0.25ex\hbox{$\scriptstyle 7$}}$$ π = 22 / 7. We are left with many questions. How ancient is the Ancient? Why did anyone think it worked? Why would anyone revise it in just this way? In addition, why did Hero think the Revised method did not work when $$b > 3\;h$$ b > 3 h? I show that a fifth century BCE Uruk tablet employs the Ancient method, but possibly with very strange consequences, and that a Ptolemaic Egyptian papyrus that checks this method by comparing the area of a circle calculated from the sum of a regular inscribed polygon and the areas of the segments on its sides as determined by the Ancient method with the area of the circle as calculated from its diameter correctly sees that the calculations do not quite gel in the case of a triangle but do in the case of a square. Both traditions probably could also calculate the area of a segment on an inscribed regular polygon by subtracting the area of the polygon from the area of the circle and dividing by the number of sides of the polygon. I then derive two theorems about pairs of segments, that the reviser of the Ancient method should have known, that explain each method, why they work when they do and do not when they do not, and which lead to a curious generalization of the Revised method. Hero’s comment is right, but not for the reasons he gives. I conclude with an exploration of Hero’s restrictions of the Revised method and Hero’s two alternative methods. (shrink)

Beta integrals for several non-integer values of the exponents were calculated by Leonhard Euler in 1730, when he was trying to find the general term for the factorial function by means of an algebraic expression. Nevertheless, 70 years before, Pietro Mengoli (1626–1686) had computed such integrals for natural and half-integer exponents in his Geometriae Speciosae Elementa (1659) and Circolo(1672) and displayed the results in triangular tables. In particular, his new arithmetic–algebraic method allowed him to compute the quadrature of the (...) circle. The aim of this article is to show how Mengoli calculated the values of these integrals as well as how he analysed the relation between these values and the exponents inside the integrals. This analysis provides new insights into Mengoli’s view of his algorithmic computation of quadratures. (shrink)

Several arguments are considered which purport to demonstrate the impossibility of theory-neutral observation. The most important of these infers the continuity of observation with theory from the presumed continuity of perception with cognition, a doctrine widely espoused in recent cognitive psychology. An alternative psychological account of the relation between cognition and perception is proposed and its epistemological consequences for the observation/theory distinction are then explored.

In this paper we reconsider the constraints which are imposed by relativistic requirements to any model of dynamical reduction. We review the debate on the subject and we call attention on the fundamental contributions by Aharonov and Albert. Having done this we present a new formulation, which is much simpler and more apt for our analysis, of the proposal put forward by these authors to perform measurements of nonlocal observables by means of local interactions and detections. We take into (...) account recently proposed relativistic models of dynamical reduction and we show that, in spite of some mathematical difficulties related to the appearence of divergences, they represent a perfectly appropriate conceptual framework which meets all necessary requirements for a relativistic account of wave packet reduction. Subtle questions like the appropriate way to deal with counterfactual reasoning in a relativistic and nonlocal context are also analyzed in detail. (shrink)

This article takes up a suggestion that the reason we cannot find certain hidden variable theories for quantum mechanics, as in Bell’s theorem, is that we require them to assign joint probability distributions on incompatible observables. These joint distributions are problematic because they are empirically meaningless on one standard interpretation of quantum mechanics. Some have proposed getting around this problem by using generalized probability spaces. I present a theorem to show a sense in which generalized probability spaces can’t serve (...) as hidden variable theories for quantum mechanics, so the proposal for getting around Bell’s theorem fails. 1 Introduction2 Bell’s Theorem and Classical Probability Spaces2.1 Bell’s derivation of the Bell inequalities2.2 Pitowsky’s derivation of the Bell inequalities3 Incompatible Observables4 Generalized Probability Spaces5 A ‘No-Go’ Theorem6 Conclusions. (shrink)

This paper challenges a central tenet of constructive empiricism, namely that empirical adequacy has a privileged epistemic status. I argue that perceptions of observables are theory-wrought, and theory-wrought in the same ways as the observation sentences we use to describe those perceptions, van Fraassen can draw no privileged or fundamental distinction between what we observe and interpreting those observations through theory. Since empirical adequacy depends upon accurately describing what we observe, and we have no theory-independent reason to believe that (...) what we ‘observe’ is a reflection of what is true, then empirical adequacy can inherit no special connection to what is real via what we observe. The epistemological significance of empirical adequacy is thereby reduced. (shrink)

Change and local spatial variation are missing in Hamiltonian general relativity according to the most common definition of observables as having 0 Poisson bracket with all first-class constraints. But other definitions of observables have been proposed. In pursuit of Hamiltonian–Lagrangian equivalence, Pons, Salisbury and Sundermeyer use the Anderson–Bergmann–Castellani gauge generator G, a tuned sum of first-class constraints. Kuchař waived the 0 Poisson bracket condition for the Hamiltonian constraint to achieve changing observables. A systematic combination of the two (...) reforms might use the gauge generator but permit non-zero Lie derivative Poisson brackets for the external gauge symmetry of General Relativity. Fortunately one can test definitions of observables by calculation using two formulations of a theory, one without gauge freedom and one with gauge freedom. The formulations, being empirically equivalent, must have equivalent observables. For de Broglie-Proca non-gauge massive electromagnetism, all constraints are second-class, so everything is observable. Demanding equivalent observables from gauge Stueckelberg–Utiyama electromagnetism, one finds that the usual definition fails while the Pons–Salisbury–Sundermeyer definition with G succeeds. This definition does not readily yield change in GR, however. Should GR’s external gauge freedom of general relativity share with internal gauge symmetries the 0 Poisson bracket, or is covariance sufficient? A graviton mass breaks the gauge symmetry, but it can be restored by parametrization with clock fields. By requiring equivalent observables, one can test whether observables should have 0 or the Lie derivative as the Poisson bracket with the gauge generator G. The latter definition is vindicated by calculation. While this conclusion has been reported previously, here the calculation is given in some detail. (shrink)

Two postulates concerning observables on a quantum logic are formulated. By Postulate 1 compatibility of observables is defined by the strong topology on the set of observables. Postulate 2 requires that the range of the sum of observables ought to be contained in the smallestC-closed sublogic generated by their ranges. It is shown that the Hilbert space logicL(H) satisfies the two postulates. A theorem on the connection between joint distributions of types 1 and 2 on the (...) logic satisfying Postulate 2 is proved. (shrink)

I propose a general geometric framework in which to discuss the existence of time observables. This framework allows one to describe a local sense in which time observables always exist, and a global sense in which they can sometimes exist subject to a restriction on the vector fields that they generate. Pauli׳s prohibition on quantum time observables is derived as a corollary to this result. I will then discuss how time observables can be regained in modest (...) extensions of quantum theory beyond its standard formulation. (shrink)

It is shown that stochastic observables defined by an instrument need not, and generally do not, commute.

We define two types of convergence for observables on a quantum logic which we call M-weak and uniform M-weak convergence. These convergence modes correspond to weak convergence of probability measures. They are motivated by the idea that two (in general unbounded) observables are “close” if bounded functions of them are “close.” We show that M-weak and uniform M-weak convergence generalize strong resolvent and norm resolvent convergence for self-adjoint operators on a Hilbert space. Also, these types of convergence strengthen (...) the weak operator convergence and operator norm convergence of bounded self-adjoint operators on a Hilbert space. Finally, we consider spectral perturbation by showing that the spectra of approximating observables approach the spectrum of the limit in a certain sense. (shrink)

This is a comment on J. A. Barrett's article 'The Preferred-Basis Problem and the Quantum Mechanics of Everything' ([2005]), which concerns theories postulating that certain quantum observables have determinate values, corresponding to additional (often called 'hidden') variables. I point out that it is far from clear, for most observables, what such a postulate is supposed to mean, unless the postulated additional variable is related to a clear ontology in space-time, such as particle world lines, string world sheets, or (...) fields. (shrink)

ABSTRACT Ruetsche claims that an abstract C*-algebra of observables will not contain all of the physically significant observables for a quantum system with infinitely many degrees of freedom. This would signal that in addition to the abstract algebra, one must use Hilbert space representations for some purposes. I argue to the contrary that there is a way to recover all of the physically significant observables by purely algebraic methods. 1Introduction 2Preliminaries 3Three Extremist Interpretations 3.1Algebraic imperialism 3.2Hilbert space (...) conservatism 3.3Universalism 4Parochial Observables 4.1Parochial observables for the imperialist 4.2Parochial observables for the universalist 5Conclusion. (shrink)

A relation ≺ϕ between noncommuting 1-0 quantum observables (i.e., projections) is introduced, ϕ being the state vector of the system. This relation extends the empirical implication between commuting projections. An operational interpretation of the new relation is given, which can be expressed also in counterfactual terms. It is shown that a relation proposed some years ago by Hardegree, namely the Sasaki arrow ↪ϕ, can be interpreted in terms of the relation ≺ϕ; furthermore, this new relation turns out to be (...) successful also in cases in which the Sasaki arrow fails. (shrink)

Ruetsche claims that an abstract C*-algebra of observables will not contain all of the physically significant observables for a quantum system with infinitely many degrees of freedom. This would signal that in addition to the abstract algebra, one must use Hilbert space representations for some purposes. I argue to the contrary that there is a way to recover all of the physically significant observables by purely algebraic methods. 1 Introduction2 Preliminaries3 Three Extremist Interpretations3.1 Algebraic imperialism3.2 Hilbert space (...) conservatism3.3 Universalism4 Parochial Observables4.1 Parochial observables for the imperialist4.2 Parochial observables for the universalist5 Conclusion. (shrink)

The aim of this note is to complete the discussion on the possibility of creation of quantum-like (QL) representation for the question order effect which was presented by Wang and Busemeyer (2013). We analyze the role of a fundamental feature of mental operators (given, e.g., by questions), namely, their complementarity.

In attempting to derive irreversible macroscopic thermodynamics from reversible microscopic dynamics, Boltzmann inadvertently smuggled in a premise that assumed the very irreversibility he was trying to prove: ‘molecular chaos.’ The program of ‘Einselection’ within Everettian approaches faces a similar ‘Loschmidt’s Paradox’: the universe, according to the Everettian picture, is a closed system obeying only unitary dynamics, and it therefore contains no distinguishable environmental subsystems with the necessary ‘phase randomness’ to effect einselection of a pointer observable. The theoretically unjustified assumption of (...) distinguishable environmental subsystems is the hidden premise that makes the derivation of einselection circular. In effect, it presupposes the ‘emergent’ structures from the beginning. Thus the problem of basis ambiguity remains unsolved in Everettian interpretations. (shrink)

A formulation by Einstein of the Einstein-Podolsky-Rosen incompleteness argument found in his scientific manuscripts is presented and briefly commented on. It is the only known version in which Einstein discussed the argument for spin observables. The manuscript dates, in all probability, from late 1954 or early 1955 and hence also represents Einstein's latest version of the incompleteness argument and one of his last statements on quantum theory in general. A puzzling formulation raises the question of Einstein's interpretation of space (...) quantization and the non-classical spin degree of freedom. (shrink)

In this paper, aspects of observable and non-observable based models are discussed. A survey of recent literature was done to show how using non-observable-based language carelessly may cause disagreement, even in professional research programs and incorrect assertions, even in prestigious journals. The relation between physical measurements and observables is discussed and it is shown that, in contrast to general belief, this relation may be complicated and not always straightforward. The decomposition of the system into basic subsystems (physical or conceptual) (...) is traced as the origin of non-observable-based languages. The possibility of defining new quantum mechanical observables for open quantum subsystems and of replacing them with non-observable-based concepts has been mentioned and the AIM theory is explained as an example. An account of some current non-observable-based models for molecular geometry is discussed and it is shown that not all non-observable-based languages possess the same effectiveness. In the end, the need to develop a clear chemical language is stressed. (shrink)

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)

Noncommuting quantum observables, if considered asunsharp observables, are simultaneously measurable. This fact is exemplified for complementary observables in two-dimensional state spaces. Two proposals of experimentally feasible joint measurements are presented for pairs of photon or neutron polarization observables and for path and interference observables in a photon split-beam experiment. A recent experiment proposed and performed by Mittelstaedt, Prieur, and Schieder in Cologne is interpreted as a partial version of the latter example.

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)

We investigate the theory of finite observables, i.e., resolutions of the finite-dimensional identity by means of positive operators, that have a physical interpretation in terms of measurement schemes. We focus on extremal and rank-one observables and consider various constructions that reduce observables to simpler ones. However, these constructions do not suffice to generate all finite extremal observables, as we show by means of counter-examples.

Some seeming logical deficiencies in a recent paper are described. The author responds to the arguments of the work by de Muynck, De Baere, and Martens , who argue it is widely accepted today that some sort of nonlocal effect is needed to resolve the problems raised by the works of Einstein, Podolsky, and Rosen and John Bell. In MBM a variety of arguments are set forth that aim to invalidate the existing purported proofs of nonlocality and to provide, moreover, (...) a local solution to the problems uncovered by EPR and Bell. Much of the argumentation in MBM is based on the idea of introducing `nonideal` measurements, which, according to MBM, allow one to construct joint probability distributions for incompatible observables. The existence of a bona fide joint probability distribution for the incompatible observables occurring in the EPRB experiments would entail that Bell`s inequalities can be satisfied, and hence that the mathematical basis for the nonlocal effects would disappear. This relult would apparently allow one to eliminate the need for nonlocal effects by considering experiments of this new kind. (shrink)

We study perfect effect algebras, that is, effect algebras with the Riesz decomposition property where every element belongs either to its radical or to its co-radical. We define perfect effect algebras with principal radical and we show that the category of such effect algebras is categorically equivalent to the category of unital po-groups with interpolation. We introduce an observable on a \-monotone \-complete perfect effect algebra with principal radical and we show that observables are in a one-to-one correspondence with (...) spectral resolutions of observables. (shrink)

I argue against a general time observable in quantum mechanics except for quantum gravity theory. Then I argue in support of case specific arrival time and dwell time observables with a cautionary note concerning the broad approach to POVM observables because of the wild proliferation available.

Traditionally spatial transformations such as translations and rotations are formulated in terms of transformations of the entire spatial space. In other words, transformations are taken automatically to be of a global nature. This paper investigates a local approach to spatial transformations; local transformations lead naturally to local observables in quantum mechanics.

Common eigenfunctions of nontrivial projectors of x and p are constructed.

We present a content markup language for physics realized by extending the OMDoc format by an infrastructure for the principal concepts of physics: observables, physical systems, and experiments.

A reproducibility principle is formulated and adopted as the guiding criterion for the acceptance of an experimental procedure as a simultaneous measurement of several observables. It is pointed out that this criterion can be applied to classical as well as quantum physics, and that it incorporates compatible as well as incompatible observables. The concept of fuzzy probability measure is presented as a possible mathematical tool for the description of statistical processes involving measurements of incompatible observables.

For sharp quantum observables the following facts hold: (i) if we have a collection of sharp observables and each pair of them is jointly measurable, then they are jointly measurable all together; (ii) if two sharp observables are jointly measurable, then their joint observable is unique and it gives the greatest lower bound for the effects corresponding to the observables; (iii) if we have two sharp observables and their every possible two outcome partitionings are jointly (...) measurable, then the observables themselves are jointly measurable. We show that, in general, these properties do not hold. Also some possible candidates which would accompany joint measurability and generalize these apparently useful properties are discussed. (shrink)