Abstract:In a publication (Nature Comm. 3711, 9 (2018)), Daniela Frauchiger and Renato Renner used a Wigner/friend gedanken experiment to argue that quantum mechanics cannot describe complex systems involving measuring agents. They were able to produce a contradictory statement starting with four statements about measurements performed on an entangled spin system. These statements needed to be combined using the transitive property of logic: If A implies B and B implies C, then A implies C. However, in combining successive statements for the Frauchiger-Renner gedanken experiment we show that quantum mechanics does not obey transitivity and that this invalidates their analysis. We also demonstrate that certain pairs of premises among the four statements are logically incompatible, meaning that the statements cannot all be used at once. In addition, to produce the contradiction, Frauchiger and Renner choose a particular run, which they call the `OK' -- `OKbar' one. However, the restriction to this case invalidates three of the four statements. Hence, there are three separate problems with logic in the 2018 Nature Communication publication. We also demonstrate the violation of the rules of logic -- including transitivity -- in certain situations in quantum mechanics in general. We use the Frauchiger-Renner gedanken experiment as a laboratory to explore a number of topics in quantum mechanics including wavefunction logic, Wigner/friend experiments, and the deduction of mathematical statements from knowledge of a wavefunction and obtain a number of interesting results. We show that Wigner/friend experiments of the type used by Frauchiger and Renner are impossible if the Wigner measurements are performed on macroscopic objects. They are possible on certain microscopic entities but then the Wigner measurements are rendered "ordinary" in which case ...

Comment on 'How the result of a single coin toss can turn out to be 100 heads'

Quantum mechanics can provide unbiased result

Reply to the Comment "Past of a quantum particle and weak measurement"

Quantum Coins, Dice and Children: Probability and Quantum Statistics

Variable-strength non-local measurements reveal quantum violations of classical counting principles

The Weak Reality That Makes Quantum Phenomena More Natural: Novel Insights and Experiments

Quantum Uniqueness

Association between quantum paradoxes based on weak values and a realistic interpretation of quantum measurements

Comment on ``Consistent Sets Yield Contrary Inferences in Quantum Theory''

Anomalous weak values via a single photon detection

Measurements conspire nonlocally to restructure critical quantum states

Universal quantum theory contains twisted logic

Use and misuse of variances for quantum systems in pure or mixed states

Why quantum correlations are shocking

Random Thoughts on Quantum Mechanics

Comment on "Non-monotonicity in the Quantum-Classical Transition: Chaos Induced by Quantum Effects"

On Weak Values and Feynman's Blind Alley

No-go for fully unitary quantum mechanics from Bell's Theorem; comment on "Physics and Metaphysics of Wigner's Friends: Even performed pre-measurements have no results''

Comment on "Is a system's wave function in one-to-one correspondence with its elements of reality?" [<a class="link-https" data-arxiv-id="1111.6597" href="https://arxiv.org/abs/1111.6597">arXiv:1111.6597</a>]

Quantum and Classical Variance in the Quantum Realm

The Frauchiger-Renner Gedanken Experiment: Flaws in Its Analysis -- How Logic Works in Quantum Mechanics