SearcharxivSearch

arXiv subjects

Patrick Fraser

Publications and source records attributed to Patrick Fraser.

5 recordsLinked to original sources

Taming Fluctuations for Gaussian States in Loop Quantum Cosmology

We do not observe quantum effects on cosmological scales. Thus, if loop quantum cosmology (LQC) is to provide an accurate depiction of the real world, it must allow for quantum states of spacetime geometry which are semi-classical in two respects: they must be sharply peaked around a single, classical geometry, and they must have small quantum fluctuations. It is generally assumed that Gaussian states exhibit both of these properties. After all, they do in ordinary quantum mechanics. In this paper, we derive exact closed-form expressions for the fluctuations of Gaussian states in LQC and their lower bound given by the Robertson-Schr\"odinger inequality. We demonstrate that, contrary to ordinary quantum mechanics, fluctuations for Gaussian states in spatially flat, homogeneous and isotropic LQC diverge as the state variance increases (as well as in related cosmological models with the same kinematic Hilbert space and canonical observables). However, when the holonomy length is made to scale with a volume regularization parameter, these fluctuations may be arbitrarily suppressed by taking the fiducial volume to be large, providing analytic control over their divergence. Finally, we show that, despite this, Gaussian states in LQC generally do not minimize uncertainty. Moreover, it is conjectured that no such minimal-uncertainty states exist. Throughout this work, it becomes clear how important the often-assumed condition of holonomy length volume-scaling is; we show that when this condition is violated, the resulting theory exhibits operator closure pathologies and other exotic algebraic features.

gr-qc

Quantum epistemology and constructivism

Constructivist epistemology posits that all truths are knowable. One might ask to what extent constructivism is compatible with naturalized epistemology and knowledge obtained from inference-making using successful scientific theories. If quantum theory correctly describes the structure of the physical world, and if quantum theoretic inferences about which measurement outcomes will be observed with unit probability count as knowledge, we demonstrate that constructivism cannot be upheld. Our derivation is compatible with both intuitionistic and quantum propositional logic. This result is implied by the Frauchiger-Renner theorem, though it is of independent importance as well.

quant-ph

Functoriality of Quantum Resource Theory and Variable-Domain Modal Logic

Quantum resource theory is a cutting-edge tool used to study practical implementations of quantum mechanical principles under realistic operational constraints. It does this by modelling quantum systems as restricted classes of possible or permissible experimental operations. Modal logic provides a formal tool for studying possibility and impossibility is a completely general logical setting. Here, I show that quantum resource theories may be functorially translated into models of variable-domain S4 modal logic in a way that provides a new class of formal techniques for exploring quantum resource-theoretic problems. I then extend this functorial relationship to an injective one by adding structure to these logical models to reflect the convertibility preorder of resources in the underlying resource theory. I conclude by discussing how this viewpoint may be deployed concretely.

quant-ph

An Introduction to Abstract Classification Theory in the Operator Algebraic Setting

In the setting of modern mathematical logic and model theory, classification theory has been one of the landmark achievements of the field. Likewise, the classification of UHF-algebras and AF-algebras were substantial contributions to the field of operator algebra theory. These seemingly disparate topics of study in mathematics, model theory and operator algebras, have in recent years become closely related in many respects. I here attempt to bridge the gap between these two topics by discussing how operator algebraic classifications may be understood in terms of model-theoretic classification theory. This introductory article assumes basic familiarity with model theory and linear operator, but higher-level concepts are introduced when necessary. The focus of this introduction is conceptual and informal, and as such, many results are stated without proof, but relevant sources are cited for completeness. The reader should take this not as a detailed review, but rather as an overview of a general narrative thread connecting these two branches of modern mathematics.

math.OA

Loophole-Free Bell Tests and the Falsification of Local Realism

Quantum mechanics is strictly incompatible with local realism. It has been shown by Bell and others that it is possible, in principle, to experimentally differentiate between local realism and quantum mechanics. Numerous experiments have attempted to falsify local realism; however, they have consistently failed to close the detection loophole under strict locality conditions, thereby allowing local realistic explanations for their observations. In 2015, three experiments took place that tested local realism without the impediments of these significant loopholes. Between these three experiments, a substantial data set was collected. All of the collected data show a strong violation of local realism and strong support for quantum mechanics. This article reviews the theoretical basis of Bell tests and the affiliated loopholes, as well as the methods employed by these recent experiments and the implications of the results they observed.

quant-ph