\def\revtex{1} \ifx\revtex\undefined % LaTeX support: latex@mdpi.com % For support, please attach all files needed for compiling as well as the log file, and specify your operating system, LaTeX version, and LaTeX editor. %================================================================= \documentclass[entropy,article,submit,oneauthor,pdftex]{Definitions/mdpi} % For posting an early version of this manuscript as a preprint, you may use "preprints" as the journal and change "submit" to "accept". The document class line would be, e.g., \documentclass[preprints,article,accept,moreauthors,pdftex]{mdpi}. This is especially recommended for submission to arXiv, where line numbers should be removed before posting. For preprints.org, the editorial staff will make this change immediately prior to posting. %-------------------- % Class Options: %-------------------- %---------- % journal %---------- % Choose between the following MDPI journals: % acoustics, actuators, addictions, admsci, adolescents, aerospace, agriculture, agriengineering, agronomy, ai, algorithms, allergies, analytica, animals, antibiotics, antibodies, antioxidants, appliedchem, applmech, applmicrobiol, applnano, applsci, arts, asi, atmosphere, atoms, audiolres, automation, axioms, batteries, bdcc, behavsci, beverages, biochem, bioengineering, biologics, biology, biomechanics, biomedicines, biomedinformatics, biomimetics, biomolecules, biophysica, biosensors, biotech, birds, bloods, brainsci, buildings, businesses, cancers, carbon, cardiogenetics, catalysts, cells, ceramics, challenges, chemengineering, chemistry, chemosensors, chemproc, children, civileng, cleantechnol, climate, clinpract, clockssleep, cmd, coatings, colloids, compounds, computation, computers, condensedmatter, conservation, constrmater, cosmetics, crops, cryptography, crystals, curroncol, cyber, dairy, data, dentistry, dermato, dermatopathology, designs, diabetology, diagnostics, digital, disabilities, diseases, diversity, dna, drones, dynamics, earth, ebj, ecologies, econometrics, economies, education, ejihpe, electricity, electrochem, electronicmat, electronics, encyclopedia, endocrines, energies, eng, engproc, entropy, environments, environsciproc, epidemiologia, epigenomes, fermentation, fibers, fire, fishes, fluids, foods, forecasting, forensicsci, forests, fractalfract, fuels, futureinternet, futuretransp, futurepharmacol, futurephys, galaxies, games, gases, gastroent, gastrointestdisord, gels, genealogy, genes, geographies, geohazards, geomatics, geosciences, geotechnics, geriatrics, hazardousmatters, healthcare, hearts, hemato, heritage, highthroughput, histories, horticulturae, humanities, hydrogen, hydrology, hygiene, idr, ijerph, ijfs, ijgi, ijms, ijns, ijtm, ijtpp, immuno, informatics, information, infrastructures, inorganics, insects, instruments, inventions, iot, j, jcdd, jcm, jcp, jcs, jdb, jfb, jfmk, jimaging, jintelligence, jlpea, jmmp, jmp, jmse, jne, jnt, jof, joitmc, jor, journalmedia, jox, jpm, jrfm, jsan, jtaer, jzbg, kidney, land, languages, laws, life, liquids, literature, livers, logistics, lubricants, machines, macromol, magnetism, magnetochemistry, make, marinedrugs, materials, materproc, mathematics, mca, measurements, medicina, medicines, medsci, membranes, metabolites, metals, metrology, micro, microarrays, microbiolres, micromachines, microorganisms, minerals, mining, modelling, molbank, molecules, mps, mti, nanoenergyadv, nanomanufacturing, nanomaterials, ncrna, network, neuroglia, neurolint, neurosci, nitrogen, notspecified, nri, nursrep, nutrients, obesities, oceans, ohbm, onco, oncopathology, optics, oral, organics, osteology, oxygen, parasites, parasitologia, particles, pathogens, pathophysiology, pediatrrep, pharmaceuticals, pharmaceutics, pharmacy, philosophies, photochem, photonics, physchem, physics, physiolsci, plants, plasma, pollutants, polymers, polysaccharides, proceedings, processes, prosthesis, proteomes, psych, psychiatryint, publications, quantumrep, quaternary, qubs, radiation, reactions, recycling, regeneration, religions, remotesensing, reports, reprodmed, resources, risks, robotics, safety, sci, scipharm, sensors, separations, sexes, signals, sinusitis, smartcities, sna, societies, socsci, soilsystems, solids, sports, standards, stats, stresses, surfaces, surgeries, suschem, sustainability, symmetry, systems, taxonomy, technologies, telecom, textiles, thermo, tourismhosp, toxics, toxins, transplantology, traumas, tropicalmed, universe, urbansci, uro, vaccines, vehicles, vetsci, vibration, viruses, vision, water, wevj, women, world %--------- % article %--------- % The default type of manuscript is "article", but can be replaced by: % abstract, addendum, article, book, bookreview, briefreport, casereport, comment, commentary, communication, conferenceproceedings, correction, conferencereport, entry, expressionofconcern, extendedabstract, datadescriptor, editorial, essay, erratum, hypothesis, interestingimage, obituary, opinion, projectreport, reply, retraction, review, perspective, protocol, shortnote, studyprotocol, systematicreview, supfile, technicalnote, viewpoint, guidelines, registeredreport, tutorial % supfile = supplementary materials %---------- % submit %---------- % The class option "submit" will be changed to "accept" by the Editorial Office when the paper is accepted. This will only make changes to the frontpage (e.g., the logo of the journal will get visible), the headings, and the copyright information. Also, line numbering will be removed. Journal info and pagination for accepted papers will also be assigned by the Editorial Office. %------------------ % moreauthors %------------------ % If there is only one author the class option oneauthor should be used. Otherwise use the class option moreauthors. %--------- % pdftex %--------- % The option pdftex is for use with pdfLaTeX. If eps figures are used, remove the option pdftex and use LaTeX and dvi2pdf. %================================================================= % MDPI internal commands \firstpage{1} \makeatletter \setcounter{page}{\@firstpage} \makeatother \pubvolume{1} \issuenum{1} \articlenumber{0} \pubyear{2021} \copyrightyear{2021} %\externaleditor{Academic Editor: Firstname Lastname} % For journal Automation, please change Academic Editor to "Communicated by" \datereceived{} \dateaccepted{} \datepublished{} \hreflink{https://doi.org/} % If needed use \linebreak %------------------------------------------------------------------ % The following line should be uncommented if the LaTeX file is uploaded to arXiv.org %\pdfoutput=1 %%%% If original paper need add "Retraction", please release the following command!!%%%%%% %\retractiondate{Date Month Year} % For example, 13 October 2020 %\retractionnoticeyear{Year} %\retractionnoticevolume{0} %\retractionnoticeidnumber{0000} %\retractionnoticedoi{10.3390/xxx} %================================================================= % Add packages and commands here. The following packages are loaded in our class file: fontenc, inputenc, calc, indentfirst, fancyhdr, graphicx, epstopdf, lastpage, ifthen, lineno, float, amsmath, setspace, enumitem, mathpazo, booktabs, titlesec, etoolbox, tabto, xcolor, soul, multirow, microtype, tikz, totcount, changepage, paracol, attrib, upgreek, cleveref, amsthm, hyphenat, natbib, hyperref, footmisc, url, geometry, newfloat, caption %================================================================= %% Please use the following mathematics environments: Theorem, Lemma, Corollary, Proposition, Characterization, Property, Problem, Example, ExamplesandDefinitions, Hypothesis, Remark, Definition, Notation, Assumption %% For proofs, please use the proof environment (the amsthm package is loaded by the MDPI class). %================================================================= % Full title of the paper (Capitalized) \Title{On The Complete Description Of Entangled Systems\\ Part II: The (Meta)Physical Status And Semantic Aspects} % MDPI internal command: Title for citation in the left column \TitleCitation{The (Meta)Physical Status And Semantic Aspects Of Entangled Systems} % Author Orchid ID: enter ID or remove command \newcommand{\orcidauthorA}{0000-0001-6554-2802} % Add \orcidA{} behind the author's name %\newcommand{\orcidauthorB}{0000-0000-0000-000X} % Add \orcidB{} behind the author's name % Authors, for the paper (add full first names) \Author{Karl Svozil $^{1}$\orcidA{}} % MDPI internal command: Authors, for metadata in PDF \AuthorNames{Karl Svozil} % MDPI internal command: Authors, for citation in the left column \AuthorCitation{Svozil, K.} % If this is a Chicago style journal: Lastname, Firstname, Firstname Lastname, and Firstname Lastname. % Affiliations / Addresses (Add [1] after \address if there is only one affiliation.) \address[1]{% $^{1}$ \quad Institute for Theoretical Physics, TU Wien, Wiedner Hauptstrasse 8-10/136, 1040 Vienna, Austria; svozil@tuwien.ac.at; \url{http://tph.tuwien.ac.at/~svozil}} % Contact information of the corresponding author \corres{Correspondence: svozil@tuwien.ac.at} % Current address and/or shared authorship %\firstnote{Current address: Affiliation 3} %\secondnote{These authors contributed equally to this work.} % The commands \thirdnote{} till \eighthnote{} are available for further notes %\simplesumm{} % Simple summary %\conference{} % An extended version of a conference paper % Abstract (Do not insert blank lines, i.e. \\) \abstract{We review some semantical aspects of probability bounds from Boole's ``conditions on possible experience'' violated by quantum mechanics. We also speculate about emerging space-time categories as an epiphenomenon of quantization and the resulting breakdown of relativity theory by non-unitary and non-linear processes.} % Keywords \keyword{communication cost, simulating quantum correlations, contextuality} % The fields PACS, MSC, and JEL may be left empty or commented out if not applicable %\PACS{} %\MSC{} %\JEL{} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Only for the journal Diversity %\LSID{\url{http://}} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Only for the journal Applied Sciences: %\featuredapplication{Authors are encouraged to provide a concise description of the specific application or a potential application of the work. This section is not mandatory.} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Only for the journal Data: %\dataset{DOI number or link to the deposited data set in cases where the data set is published or set to be published separately. If the data set is submitted and will be published as a supplement to this paper in the journal Data, this field will be filled by the editors of the journal. In this case, please make sure to submit the data set as a supplement when entering your manuscript into our manuscript editorial system.} %\datasetlicense{license under which the data set is made available (CC0, CC-BY, CC-BY-SA, CC-BY-NC, etc.)} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Only for the journal Toxins %\keycontribution{The breakthroughs or highlights of the manuscript. Authors can write one or two sentences to describe the most important part of the paper.} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Only for the journal Encyclopedia %\encyclopediadef{Instead of the abstract} %\entrylink{The Link to this entry published on the encyclopedia platform.} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %\usepackage{amsmath,amssymb} %\usepackage{mathbbol} %%%% for \mathds{1} \DeclareFontFamily{U}{bbold}{} \DeclareFontShape{U}{bbold}{m}{n} { <-5.5> s*[1.069] bbold5 <5.5-6.5> s*[1.069] bbold6 <6.5-7.5> s*[1.069] bbold7 <7.5-8.5> s*[1.069] bbold8 <8.5-9.5> s*[1.069] bbold9 <9.5-11> s*[1.069] bbold10 <11-15> s*[1.069] bbold12 <15-> s*[1.069] bbold17 }{} \DeclareRobustCommand{\Eins}{% \text{\usefont{U}{bbold}{m}{n}1}% } \begin{document} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %\setcounter{section}{-1} %% Remove this when starting to work on the template. \else \documentclass[% reprint, twocolumn, %superscriptaddress, %groupedaddress, %unsortedaddress, %runinaddress, %frontmatterverbose, % preprint, % showpacs, % showkeys, % preprintnumbers, % nofootinbib, %nobibnotes, %bibnotes, amsmath,amssymb, aps, % prl, pra, % prb, % rmp, %prstab, %prstper, longbibliography, floatfix, %lengthcheck,% ]{revtex4-2} %\usepackage{cdmtcs-pdf} \usepackage[dvipsnames]{xcolor} %\usepackage{mathptmx}% http://ctan.org/pkg/mathptmx \usepackage{amssymb,amsthm,amsmath,bm} \usepackage{tikz} \usetikzlibrary{angles, arrows.meta, positioning, quotes, decorations.pathmorphing, decorations.pathreplacing, decorations.shapes,calc,decorations.pathreplacing,decorations.markings,positioning,shapes,snakes} %\usetikzlibrary{calc,decorations.pathreplacing,decorations.markings,positioning,shapes,snakes,external} %\tikzexternalize \usepackage[breaklinks=true,colorlinks=true,anchorcolor=blue,citecolor=blue,filecolor=blue,menucolor=blue,pagecolor=blue,urlcolor=blue,linkcolor=blue]{hyperref} %\usepackage{graphicx}% Include figure files \usepackage{url} %%%%%%%%%%%%%%%%%%%%%%%%%%%%% %\usepackage{iftex} \ifxetex % % XeLaTeX % \usepackage{fontspec} \usepackage{fontspec} \setmainfont{Garamond} \setsansfont{Garamond} % \fi %%%%%%%%%%%%%%%%%%%%%%%%%%%%% \usepackage{mathbbol} %%%% for \mathds{1} \begin{document} %\title{On the complete description of entangled systems} \title{On The Complete Description Of Entangled Systems\\ Part II: The (Meta)Physical Status And Semantic Aspects} \author{Karl Svozil} \email{svozil@tuwien.ac.at} \homepage{http://tph.tuwien.ac.at/~svozil} \affiliation{Institute for Theoretical Physics, TU Wien, Wiedner Hauptstrasse 8-10/136, 1040 Vienna, Austria} \date{\today} \begin{abstract} We review some semantical aspects of probability bounds from Boole's ``conditions on possible experience'' violated by quantum mechanics. We also speculate about emerging space-time categories as an epiphenomenon of quantization and the resulting breakdown of relativity theory by non-unitary and non-linear processes. \end{abstract} \keywords{communication cost, simulating quantum correlations, contextuality} %\pacs{} \maketitle \fi \section{What the Einstein-Podolsky-Rosen (EPR) conundrum (and this year's Nobel prize for physics) is not about} Many presentations of what is often referred to as ``Einstein's spooky action at a distance'' do not grasp the strangeness of the quantum phenomena. You hear statements like {\it ``Suppose the outcome of Alice's measurement is random. Suppose further Bob who is far away from Alice (say, spatially separated under strict Einstein locality conditions), also registers a random outcome. Yet, through some kind of `quantum magic', Bob's and Alice's outcomes turn out to be the exact opposite of one another''.} Such claims add to the quantum hocus-pocus that is staged for a lay audience willing to believe that, finally, at the end of a long road of rationality, physics has recovered magic, mysticism, and esoterics. Indeed, such relational phenomena as described in the previous paragraph, can also be realized by entirely classical means. All that is necessary is that both parties---Alice and Bob---use (hidden) shares that encode opposite directions. This can be done even for all conceivable directions Alice and Bob might measure. For instance, Peres introduced the following ``bomb'' example~\cite{peres222}: consider an (intact) bomb that has an angular momentum of zero initially. Then the bomb explodes into two fragments with non-zero opposite angular momenta (because of conservation of angular momentum). These fragments can serve as shares for Alice and Bob. They can measure the dichotomic observables $A_\mathbf{a} = \mathrm{sgn} \big( \mathbf{J} \cdot \mathbf{a}\big)$ and $B_\mathbf{b} = \mathrm{sgn} \big( \mathbf{-J} \cdot \mathbf{b}\big)$ based on the respective angular momenta $\mathbf{J}$ and $-\mathbf{J}$ along the directions encoded by (unit) vectors $\mathbf{a}$ and $\mathbf{b}$ on their side. If Alice's and Bob's measurement directions coincide---that is, if $\mathbf{a}=\mathbf{b}$---then we obtain a perfect relational encoding: whenever Alices measures the outcome $+1$, Bob obtains the outcome $-1$, and {\it vice versa}. So if their share---the angular momenta $\pm \mathbf{J}$ of the bomb fragments---is supposed to be uniformly distributed and occur randomly, then Peres' exploding bomb can perform some of the ``magic'' that is allegedly ascribed to the quanta. To fully appreciate the quantum strangeness as compared to classical models such as Peres' bomb scenario recall that the joint probability of two events $A$ and $B$ is (symmetrically with respect to exchange of $A$ and $B$) defined as the probability $P(A \text{ and } B) = P(A \text{ given } B) P(B) = P(B \text{ given } A) P(A)$. Furthermore, two events $A$ and $B$ are (again symmetrically with respect to exchange of $A$ and $B$) defined to be independent if the occurrence of $A$ has no influence on the probability of $B$, and vice versa; that is, $P(B \text{ given } A) = P(B)$ as well as $P(A \text{ given } B) = P(A)$. Therefore, the aforementioned joint probability of two independent events is the product of their probabilities, that is, $P(A \text{ and } B) = P(A) P(B)$. Note that this does not exclude relational dependencies on the outcome level: occurrence of $A$ ``here'' could well alter or even completely determine the occurrence of $B$ ``there'', regardless of the (space-time) distance between $A$ and $B$. Translated into the EPR context, the probability of $A$---say, Alice's outcome---is in no way altered by any particular outcome $B$ on Bob's side, and vice versa. In the aforementioned bomb example, this is guaranteed by the absence of communication or connection altering the causal~\cite{frank,franke,Korotaev-2010,pearl-causality} relation between its bomb fragments after their (explosion, aka) separation. If one is willing to invoke relativity theory under strict Einstein locality conditions, then independence can be enforced and certified by a space-like separation of $A$ and $B$. Stated pointedly, irrespective of whatever conditions or causes, relative to (the validity of) relativity theory, if $A$ and $B$ are separated by a space-like interval---such that there is a reference frame in which both events occur at the same time, and there is no reference frame in which the events occur in the same place---their joint probabilities must be the product of their single probabilities. So far we have implicitly assumed that it makes sense to conceptualize the simultaneous ``existence'' of value definiteness of $A$ and $B$ affirmatively. This amounts to the supposition of the ``reality'' of counterfactual observables (beyond their actual operationalizability)~\cite{specker-60}. However, if this cannot be assumed the very notion of their ``jointness'' or ``joint existence'' breaks down. One may be tempted to consider such considerations to be sophistry of remote utility. Yet because of the strangeness encountered in the quantum predictions corroborated by the experiments, it might appear prudent to exclude no options for a breakdown of the EPR argument in quantized systems. Now, for the sake of further pursuing the classical notion of joint probabilities, suppose the simultaneous existence of four pairs of observables pairs $(A,B)$, $(A,B')$, $(A',B)$, and $(A',B')$ formed by the single observables $A$ and $A'$ measured by Alice, as well as $B$ and $B'$ measured by Bob. (There is nothing special about the choice of these joint observables; we might as well have considered only three pairs, or more observable types on Alice's and Bob's sides.) Suppose further, to push things to the greatest certification level possible, that all those observations are space-like separated. Let us again assume that the observables are dichotomic; say they take on the values $+1$ or $-1$ (or their respective affine transforms $0$ and $1$). All conceivable $2^4=16$ assignments result in the joint expectations formed by products of pairs $AB$, $AB'$, $A'B$, and $A'B'$ enumerated in Table~\ref{2022-epr2-table1}. \begin{table} \caption{\label{2022-epr2-table1} Peres-type valuation table enumerating all $2^4=16$ potential outcomes of four events in the second to fifth columns, joint outcomes (assuming independence) and thus products of certain pairs of outcomes in the sixth to ninth colums, and the resulting Clauser-Horne-Shimony-Holt summations $CHSH=AB+AB'+A'B-A'B'$ in the last column.} \begin{center} %\resizebox{.5\textwidth}{!}{ \begin{ruledtabular} \begin{tabular}{c|cccc|cccc||r} valuation \# & $A$ & $A'$ & $B$ & $B'$ & $AB$ & $AB'$ & $A'B$ & $A'B'$ & $CHSH$ \\ \hline 1 & $+1$ &$+1$ & $+1$ & $+1$ & $+1$ & $+1$ & $+1$ & $+1$ & 2 \\ 2 & $+1$ &$+1$ & $+1$ & $-1$ & $+1$ & $-1$ & $+1$ & $-1$ & 2 \\ 3 & $+1$ &$+1$ & $-1$ & $+1$ & $-1$ & $+1$ & $-1$ & $+1$ & -2 \\ 4 & $+1$ &$+1$ & $-1$ & $-1$ & $-1$ & $-1$ & $-1$ & $-1$ & -2 \\ 5 & $+1$ &$-1$ & $+1$ & $+1$ & $+1$ & $+1$ & $-1$ & $-1$ & 2 \\ 6 & $+1$ &$-1$ & $+1$ & $-1$ & $+1$ & $-1$ & $-1$ & $+1$ & -2 \\ 7 & $+1$ &$-1$ & $-1$ & $+1$ & $-1$ & $+1$ & $+1$ & $-1$ & 2 \\ 8 & $+1$ &$-1$ & $-1$ & $-1$ & $-1$ & $-1$ & $+1$ & $+1$ & -2 \\ 9 & $-1$ &$+1$ & $+1$ & $+1$ & $-1$ & $-1$ & $+1$ & $+1$ & -2 \\ 10 & $-1$ &$+1$ & $+1$ & $-1$ & $-1$ & $+1$ & $+1$ & $-1$ & 2 \\ 11 & $-1$ &$+1$ & $-1$ & $+1$ & $+1$ & $-1$ & $-1$ & $+1$ & -2 \\ 12 & $-1$ &$+1$ & $-1$ & $-1$ & $+1$ & $+1$ & $-1$ & $-1$ & 2 \\ 13 & $-1$ &$-1$ & $+1$ & $+1$ & $-1$ & $-1$ & $-1$ & $-1$ & -2 \\ 14 & $-1$ &$-1$ & $+1$ & $-1$ & $-1$ & $+1$ & $-1$ & $+1$ & -2 \\ 15 & $-1$ &$-1$ & $-1$ & $+1$ & $+1$ & $-1$ & $+1$ & $-1$ & 2 \\ 16 & $-1$ &$-1$ & $-1$ & $-1$ & $+1$ & $+1$ & $+1$ & $+1$ & 2 \\ \end{tabular} \end{ruledtabular} %} \end{center} \end{table} If we are lead, by some good intuition or in some systematic ways~\cite{Boole,Boole-62,froissart-81,pitowsky-86,pitowsky-89a}, to sum up the first three terms $AB$, $AB'$, $A'B$, and subtract the last ``double primed'' term $A'B'$, then we arrive at the $AB+AB'+A'B-A'B'$ evaluated in the last column of Table~\ref{2022-epr2-table1}. Note that, for purely algebraic reasons, all conceivable configurations enumerated result in either $+2$ or $-2$, and nothing else. (All possible probabilities and correlations can be obtained by the convex sum of these 16 extreme dispersionless cases.) From this, we conclude that whatever distribution of the $2^4=16$ assignments we may consider, the average over all instances of evaluations of $AB+AB'+A'B-A'B'$ must fall in-between the $\big[-2,2\big]$ bracket; that is, the average obeys $\big\vert \langle AB+AB'+A'B-A'B' \rangle \big\vert \le 2$. For historical reasons, this is called the Clauser-Horne-Shimony-Holt (CHSH) inequality~\cite{chsh}, in short $\big\vert \langle CHSH \rangle \big\vert \le 2$, and $CHSH=AB+AB'+A'B-A'B'$ is called the CHSH sum. \section{What the Einstein-Podolsky-Rosen (EPR) conundrum (and this year's Nobel prize for physics) is about} So what is the EPR conundrum about? To approach an answer we might concentrate our attention on what happens with the entries of Table~\ref{2022-epr2-table1} if instead of classical shares we use quantum shares. A little min-max calculation~\cite{cirelson:87,filipp-svo-04-qpoly-prl} shows that the quantum average $\big\vert \langle CHSH \rangle \big\vert=\big\vert \langle AB+AB'+A'B-A'B' \rangle \big\vert \le 2\sqrt{2}$ exceeds the classical bound $2$. How can this happen and manifest itself on an outcome level? Such a violation of the CHSH inequality (and their variations obtained by permutations of the observables entering the correlation terms) can only be obtained by allowing the correlations and expectations to disobey the product rule from independence; that is, by for instance taking $-A'=B=+1$ and $A'B=+1$. A quantum simulation of such a situation has been enumerated in the first part~\cite{svozil-2022-epr} of this series of essays. A similar simulation run with 11 trials is presented in Table~\ref{2022-epr2-table2}. %\clearpage \begin{table} \caption{\label{2022-epr2-table2} Peres-type valuation table of a quantum simulation (by non-local context communication) whose CHSH sum converges, in the limit of many trials, towards the maximal quantum violation $2 \sqrt{2}$ of the CHSH inequality.} \begin{center} %\resizebox{.5\textwidth}{!}{ \begin{ruledtabular} \begin{tabular}{c|cccc|cccc||r} trial \# & $A$ & $A'$ & $B$ & $B'$ & $AB$ & $AB'$ & $A'B$ & $A'B'$ & $CHSH$ \\ \hline 1 & $+1$ & $-1$ & $+1$ & $+1$ & $+1$ & $+1$ & $+1$ & $-1$ & 4 \\ 2 & $+1$ & $+1$ & $+1$ & $+1$ & $+1$ & $+1$ & $+1$ & $-1$ & 4 \\ 3 & $+1$ & $+1$ & $+1$ & $+1$ & $+1$ & $+1$ & $+1$ & $-1$ & 4 \\ 4 & $+1$ & $+1$ & $+1$ & $+1$ & $+1$ & $+1$ & $+1$ & $-1$ & 4 \\ 5 & $+1$ & $+1$ & $+1$ & $+1$ & $+1$ & $+1$ & $+1$ & $+1$ & 2 \\ 6 & $+1$ & $-1$ & $+1$ & $+1$ & $+1$ & $+1$ & $+1$ & $-1$ & 4 \\ 7 & $+1$ & $+1$ & $+1$ & $+1$ & $+1$ & $+1$ & $+1$ & $-1$ & 4 \\ 8 & $+1$ & $-1$ & $-1$ & $-1$ & $-1$ & $-1$ & $-1$ & $-1$ & -2 \\ 9 & $+1$ & $-1$ & $-1$ & $-1$ & $-1$ & $-1$ & $-1$ & $-1$ & -2 \\ 10 & $+1$ & $-1$ & $-1$ & $-1$ & $-1$ & $-1$ & $-1$ & $-1$ & -2 \\ 11 & $+1$ & $-1$ & $+1$ & $+1$ & $+1$ & $+1$ & $+1$ & $-1$ & 4 \\ $\vdots$& $\vdots$ & $\vdots$ & $\vdots$ & $\vdots$ & $\vdots$ & $\vdots$ & $\vdots$ & $\vdots$ & $\vdots$\\ \end{tabular} \end{ruledtabular} %} \end{center} \end{table} As a side note, it might be quite amusing to push these violations of the CHSH inequalities even beyond the quantum [also called Tsirelson (Cirel'son)] bound~\cite{pop-rohr,svozil-krenn,svozil-2004-brainteaser-erratum,popescu-2014} by non-local exchange of information. These protocols yield violations of independence for every individual trial run, resulting in the algebraically maximal value of the CHSH sum of four. So, what does a violation of the product rule indicate? One straightforward answer might challenge independence: it might mean that measurement on one side changes the probabilities on the other side. This comes close to Einstein's motivations for writing the EPR paper~\cite{einstei-letter-to-schr,Meyenn-2011,Howard1985171,Howard1990}: that the measurement of an outcome on one side ``collapses'' the state on the other side---it changes the state globally rather than locally---regardless of whether those sides are spatially separated under strict Einstein locality conditions. Let us recapitulate some (more) possibilities why and how independence, and thus the classical bounds on probability, Boole's conditions of possible experience, can be violated. (In no way do I claim the following list to be exhaustive.) \begin{itemize} \item[(i)] There may be non-local communication between Alice and Bob, or between their shares, resulting in some form of contextuality. This can be achieved by either communicating the outcome of Bob's measurement to Alice (or vice versa)~\cite{toner-bacon-03,svozil-2004-brainteaser,svozil-2004-brainteaser-erratum}, or by invoking a non-local machine~\cite{cerf-gisin-massar-pop-04}, or by communicating the context in the form of the setting of Bob's measurement to Alice (or vice versa)~\cite{svozil-2022-epr}. The transactional interpretation~\cite{Cramer-RevModPhys.58.647} offers an alternative approach by considering retarded (forward in time) and advanced (backward in time) flows (of waves or information) from interactions. \item[(ii)] Due to complementarity it may be improper to assume the simultaneous co-existence of the observables involved. This is corroborated by (extended) Kochen-Specker type theorems~\cite{specker-60,ZirlSchl-65,Zierler1975,kochen2,specker-ges,pitowsky:218,hru-pit-2003,2015-AnalyticKS} disallowing any simultaneous co-existence of complementary dispersion-free quantum observables. \item[(iii)] Probability theory has to be modified by, for instance, either restricting sets of observables~\cite{meyer:99}, or invoking non-constructive means~\cite{pitowsky-83}. We do not discuss these possibilities further than mentioning that physical and formal objections have been raised against them. %\item[(iv)] %\item[(i)] \end{itemize} My opinion is that there is not the slightest indication that some form of non-local communication happens after the entangled constituents are separated. Also, there is not the slightest evidence that the constituents carry hidden variables or hidden shares. So one should take seriously the possibility that those outcomes yielding non-classical correlations are formed (``during'' or) through measurements. Nevertheless, the relational encoding of the entangled quantum state enforces a kind of non-locality (through outcome but not parameter dependence) that is ``weak'' in the sense that it obeys relativity theory---a peaceful coexistence of sorts between quantum and relativity~\cite{shimony2,shimony3}---in which randomness plays a crucial role. We shall thus sharpen our understanding of this aspect of the EPR conundrum next. \section{The role and locatedness of randomness in the Einstein-Podolsky-Rosen (EPR) conundrum} Let us explore the strangeness of the EPR phenomenology by concentrating on the role randomness plays in it. But first, let us recall that the randomness in classical relational encoding (such as Peres' bomb example~\cite{peres222}) resides in the uniform stochastic distribution of the parameter(s) of the shares involved. Quantum mechanics suggests that there are no value definite shares encoded in the constituents of entangled states. Indeed, because of the unitary state evolution (allowing only kinds of, possibly continuous, one-to-one state changes akin to what for a finite number of elements is known as ``permutations of order arrangements''), there is a tradeoff---a zero-sum game of sorts---between the relational encoding and the value definiteness of individual constituents. More explicitly, nothing in, say, the four vectors of the Bell basis $ \vert \Phi_\pm \rangle = (1/\sqrt{2})\big( \vert ++ \rangle \pm \vert -- \rangle \big) $ and $ \vert \Psi_\pm \rangle = (1/\sqrt{2})\big( \vert +- \rangle \pm \vert -+ \rangle \big) $ indicates that there is more information in these states than the bare (unavoidable) minimum~\cite{jaynes}: a 50:50 chance of observing either plus or minus on each one of the two ``particles'' or shares or fragments. Indeed, these states encode complete value indefiniteness for single share properties; the entire information encoded by the shares is relational. From the point of view of Jaynes' principle~\cite{jaynes}---stating that a ``good'' encoding is one that ``gets rid'' of all information not justified or implied by the empirical data---quantum state encoding is ``perfect''. So one might say that, in contradistinction to quantum value indefiniteness, classical randomness is epistemic. The shares are value definite but these definite values are unknown. As the state is chosen (at its preparation) from a continuum of possible states it contains an infinity of bits of information (with probability one). That is, classical states contain ``very much'' information. So it might be tempting to state that the classical states appear ``over-defined'' by requiring the existence of ``too many'' observables. In contradistinction, the individual properties of a quantum entangled state appears value indefinite. Such a ``lean'' state may contain no information about the properties of the respective individual quantum constituents whatsoever; that is, it appears ``und(erd)efined''. Let me dwell for one paragraph into the metaphysical status of quantum value indefiniteness [which also applies to (extended) Kochen-Specker theorems]. We might be tempted to ask: if it is not epistemic randomness residing in the value definiteness of the shares, exactly where does the randomness originate? The standard canonical answer might be: as the individual states of the fragments or shares are value indefinite, measurement of such non-existing ``properties'' must result in irreducible indeterminism~\cite{zeil-05_nature_ofQuantum}. In theological terms, such claim amounts to {\it ``creatio continua''}---the continuous creation of random bits that semantically are without any meaning or message or cause---on a massive scale. In more secular terms, these random bits ``come or emerge from nowhere'' and are consistent with the assumption of gaps in the physical description~\cite[\S~III.12-14]{frank,franke}. [This is the antithesis to the Principle of Sufficient Reason~\cite{sep-sufficient-reason}, as exposed by Spinoza and Leibnitz, because {\it ``ex nihilo, nihil fit''} (``from nothing, nothing comes'').] One might try to conceptualize measurements by modeling them by some sort of amplifiers of micro-physical signals (quantum states) to the macroscopic level, as proposed by Glauber's treatment of cat states~\cite{Glauber-cat-86,glauber-collected-cat}. In such a scenario, the contrast or signal-to-noise ratio of the original signal cannot be enhanced; only noise is added. So if the measurement outcome is entirely due to noise on either side (because there is no signal for the individual states of constituents of the entangled pair), and both sides are (space-like under strict Einstein locality conditions) separated---how come there is a relational encoding? This question is particularly pressing in the case of total alignment of Alice's and Bob's instruments on either side. One might attempt to answer: if one would merely consider the constituents of an entangled pair on the (spatially) separated ends of the EPR setup, one could not understand relational encoding because one would improperly interpret or view the quantum share---the entangled state---from a (separate) observable context. A proper context needs to view the share in its full context, which requires the inclusion of all (in this case two) constituents involved. This is the ``message'' of inseparable, entangled states of two or more constituent quanta. \section{Relativity from quantum as epiphenomenon} A caveat is in order: the following section is very speculative and should be perceived accordingly. In Glauber's model~\cite{Glauber-cat-86,glauber-collected-cat} mentioned earlier, relational encoding amounts to noise that is both correlated with respect to entangled constituents, as well as random with respect to outcomes on either side of an EPR-type setup. Because even as the amplifiers add noise on both sides, they are acting upon a non-local share (such as the vectors of the Bell basis). Therefore, their respective noise is relationally correlated, although the single outcomes appear random. One reason for such a statement is that, within the quantum formalism, there is no a priori means of space-time locatedness; thus entangled pairs do not appear to be separated at all. From the relational encoding the ``peaceful coexistence'' appears straightforward: because for relational encoding, the only information is about the relative states of its constituents, not about the individual constituents. Therefore, no communication of any sort can be performed by variation of the properties of the individual constituents. This represents a very radical digression from relativity theory; in particular for spatial separability. Some immediate questions arise: \begin{itemize} \item[(i)] When can two outcomes be considered independent and separated? I guess one could attempt to interpret ``spatial separation''---two distinct points in space-time---by decomposability of the quantum state; that is, whether the states of the constituents factorize. \item[(ii)] Can it occur that, for two (or more) of the same constituents, some of their observables factorize (aka separable, not entangled) and are therefore categorized as ``spatially separate or apart'', and other observables are inseparable (aka not factorable, entangled)? This results in a notion of ``spatial separateness or apartness'' that means relative with respect to the observables continued. Consequently, there is no absolute notion of spatial separation unless all observables are disentangled. \item[(iii)] Can it happen that all observables of two quanta are disentangled? My best guess is: for-all-practical-purposes (FAPP~\cite{bell-a}) yes, but in principle, no. The situation might be just like for the second law of thermodynamics~\cite{Myrvold2011237}: if one looks ``sufficiently careful'', separability is untenable. Because if there has been (in the past and at present) no interaction and, therefore, no entanglement between two outcomes of experiments, there is no connection at all between these events, and they might as well occur in different universes. Consequently, space-time separation appears means relative; and all protocols such as for Poincar\'e-Einstein synchronization~\cite{ein-05,Minguzzi_2011} are means relative. \item[(iv)] Is it possible to generate emerging space-time categories such as frames or coordinatizations, by purely quantum mechanical means? \end{itemize} \section{Breakdown of relativity theory from non-unitary and non-linear processes} Again, a caveat is in order: the following section is very speculative and conjectural. Because of the linear, unitary quantum evolution ---essentially restricting quantum evolution to one-to-one processes---the no-cloning theorem (beyond a single context~\cite[pp.~39,40]{mermin-07}) blocks instantaneous or space-like (aka faster-than-light) communication~\cite{herbert,wo-zu,mil-hard,mandel:83,Glauber-cat-86,glauber-collected-cat} by disallowing the replication of quanta in states associated with complementary observables. And yet, might it be possible to perform such tasks in, say, a non-unitary or in non-linear frameworks, such as in non-linear optics? The aforementioned no-cloning theorem would not apply to such capacities, if they exist. For the sake of examples, I have put forward a scheme based on the stimulated emission of photons in the presence (or absence) of ``a large number'' of photons in identical states~\cite{svozil-slash}. The Bose statistics demands stimulated emissions to occur more likely in the presence of other identical photons. More precisely, the probability that a photon will be absorbed in the presence of $n$ photons (in identical mode) is $n \vert a \vert^2$, where $a$ stands for the probability amplitude of absorption of a single photon when no other photon (in identical mode) is present~\cite[\S~4.4]{feynman-III}. This photon bunching corresponds to, say, electron or neutron anti-bunching: A similar ``inverse'' argument holds for quanta obeying Fermi statistics. One might argue against such scenarios by stating that such statistical processes can occur only at the site of the production of particles; in this case fir instance inside the non-linear crystal emitting two photons in a singlet state. But delayed-choice experiments and the aforementioned non-local aspects of entanglement might put such counter-arguments in question. Of course one has to be cautious and remember that, ``when analyzing $\ldots$ we can fall into all kinds of traps'' by reifying---``to take too realistically---concepts like wave and particle''~\cite{Zeilinger2005-kj}. \section{Summary} We have reviewed several (mis)conceptions regarding the EPR framework. One point made is that relationality, that is, (perfect) correlations among the constituents of once interacting particles, or partitions of objects that were once inseparable, is neither mindboggling nor ``spooky''. Rather the quantum ``advantage'' or distinction over classical systems lies in the particular modulation of the respective correlations. This comes about by the particular probabilities of quantum mechanics, which need to be based on Hilbert space entities such as vectors ``viewed from'' orthonormal basis frames or contexts~\cite{Gleason}. The quantum shares are state-as-vectors, and when confronted with the respective orthogonal projection operators corresponding to elementary yes-no propositions~\cite{birkhoff-36}, they are mapped into the well-known trigonometric (e.g. cosine) correlations. If (unless perpendicular) there is a ``mismatch'' between state vectors and the vector corresponding to the projectors (formed by the dyadic product of the respective vectors), this amounts to ``stronger-than-classical'' correlations, which in turn result in violations of Boole's conditions of possible experience for probabilities based upon observables representable by a single Boolean algebra or by partition logic (a set representable pasting of Boolean algebras). This view also entails a modification of the space-time concept---in particular, the adjustment of an a priori Kantian framework of space-time---very much in the spirit of Einstein's operationalization of synchronicity and space-time frames~\cite{ein-05}. What is usually considered as ``non-locality'' is re-interpreted as an artifact of the intrinsic perception of a ``vector world'', when confused with the inappropriate idealization of a ``classical'' universe conceptualized by (power) sets, and set-theoretical operations, such as the formation of set-theoretical intersections and unions. We have also speculated that perhaps not the last word is spoken about the current no-cloning concepts. While these are unavoidable consequences of, and undoubtedly valid relative to, their premises and the means involved, in particular, linearity and one-to-one unitary state evolution that essentially amounts to a ``continuous permutation'' of the quantum state, any digression or allowance of, say, non-linear means, could give rise to an end of Shimony's ``peaceful co-existence''~\cite{shimony2,shimony3} of quantum mechanics and relativity theory. In such a case, a rather straightforward choice would be to conceptualize space-time categories by grounding them in quantum mechanical means and terms. \ifx\revtex\undefined \funding{This research was funded in whole, or in part, by the Austrian Science Fund (FWF), Project No. I 4579-N. For the purpose of open access, the author has applied a CC BY public copyright licence to any Author Accepted Manuscript version arising from this submission. } %\acknowledgments{I kindly acknowledge discussions with and suggestions by Thomas Sommer.} \conflictsofinterest{ The author declares no conflict of interest. The funders had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, or in the decision to publish the~results.} \else \begin{acknowledgments} %I kindly acknowledge discussions with and suggestions by Diederik Aerts. This research was funded in whole, or in part, by the Austrian Science Fund (FWF), Project No. I 4579-N. For the purpose of open access, the author has applied a CC BY public copyright licence to any Author Accepted Manuscript version arising from this submission. The author declares no conflict of interest. \end{acknowledgments} \fi \ifx\revtex\undefined %\end{paracol} %\reftitle{References} % Please provide either the correct journal abbreviation (e.g. according to the “List of Title Word Abbreviations” http://www.issn.org/services/online-services/access-to-the-ltwa/) or the full name of the journal. % Citations and References in Supplementary files are permitted provided that they also appear in the reference list here. %===================================== % References, variant A: external bibliography %===================================== \externalbibliography{yes} \bibliography{svozil,ufo} \else % \bibliography{svozil,ufo} %apsrev4-2.bst 2019-01-14 (MD) hand-edited version of apsrev4-1.bst %Control: key (0) %Control: author (8) initials jnrlst %Control: editor formatted (1) identically to author %Control: production of article title (0) allowed %Control: page (0) single %Control: year (1) truncated %Control: production of eprint (0) enabled \begin{thebibliography}{57}% \makeatletter \providecommand \@ifxundefined [1]{% \@ifx{#1\undefined} }% \providecommand \@ifnum [1]{% \ifnum #1\expandafter \@firstoftwo \else \expandafter \@secondoftwo \fi }% \providecommand \@ifx [1]{% \ifx #1\expandafter \@firstoftwo \else \expandafter \@secondoftwo \fi }% \providecommand \natexlab [1]{#1}% \providecommand \enquote [1]{``#1''}% \providecommand \bibnamefont [1]{#1}% \providecommand \bibfnamefont [1]{#1}% \providecommand \citenamefont [1]{#1}% \providecommand \href@noop [0]{\@secondoftwo}% \providecommand \href [0]{\begingroup \@sanitize@url \@href}% \providecommand \@href[1]{\@@startlink{#1}\@@href}% \providecommand \@@href[1]{\endgroup#1\@@endlink}% \providecommand \@sanitize@url [0]{\catcode `\\12\catcode `\$12\catcode `\&12\catcode `\#12\catcode `\^12\catcode `\_12\catcode `\%12\relax}% \providecommand \@@startlink[1]{}% \providecommand \@@endlink[0]{}% \providecommand \url [0]{\begingroup\@sanitize@url \@url }% \providecommand \@url [1]{\endgroup\@href {#1}{\urlprefix }}% \providecommand \urlprefix [0]{URL }% \providecommand \Eprint [0]{\href }% \providecommand \doibase [0]{https://doi.org/}% \providecommand \selectlanguage [0]{\@gobble}% \providecommand \bibinfo [0]{\@secondoftwo}% \providecommand \bibfield [0]{\@secondoftwo}% \providecommand \translation [1]{[#1]}% \providecommand \BibitemOpen [0]{}% \providecommand \bibitemStop [0]{}% \providecommand \bibitemNoStop [0]{.\EOS\space}% \providecommand \EOS [0]{\spacefactor3000\relax}% \providecommand \BibitemShut [1]{\csname bibitem#1\endcsname}% \let\auto@bib@innerbib\@empty % \bibitem [{\citenamefont {Peres}(1978)}]{peres222}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Peres}},\ }\bibfield {title} {\bibinfo {title} {Unperformed experiments have no results},\ }\href {https://doi.org/10.1119/1.11393} {\bibfield {journal} {\bibinfo {journal} {American Journal of Physics}\ }\textbf {\bibinfo {volume} {46}},\ \bibinfo {pages} {745} (\bibinfo {year} {1978})}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Frank}(1932)}]{frank}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {P.}~\bibnamefont {Frank}},\ }\href@noop {} {\emph {\bibinfo {title} {Das {K}ausalgesetz und seine {G}renzen}}}\ (\bibinfo {publisher} {Springer},\ \bibinfo {address} {Vienna},\ \bibinfo {year} {1932})\BibitemShut {NoStop}% \bibitem [{\citenamefont {Frank}\ and\ \citenamefont {{R. S. Cohen (Editor)}}(1997)}]{franke}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {P.}~\bibnamefont {Frank}}\ and\ \bibinfo {author} {\bibnamefont {{R. S. Cohen (Editor)}}},\ }\href {https://doi.org/10.1007/978-94-011-5516-8} {\emph {\bibinfo {title} {The Law of Causality and its Limits (Vienna Circle Collection)}}}\ (\bibinfo {publisher} {Springer},\ \bibinfo {address} {Vienna},\ \bibinfo {year} {1997})\BibitemShut {NoStop}% \bibitem [{\citenamefont {Korotaev}\ \emph {et~al.}(2010)\citenamefont {Korotaev}, \citenamefont {Kiktenko}, \citenamefont {Amoroso}, \citenamefont {Rowlands},\ and\ \citenamefont {Jeffers}}]{Korotaev-2010}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {S.~M.}\ \bibnamefont {Korotaev}}, \bibinfo {author} {\bibfnamefont {E.~O.}\ \bibnamefont {Kiktenko}}, \bibinfo {author} {\bibfnamefont {R.~L.}\ \bibnamefont {Amoroso}}, \bibinfo {author} {\bibfnamefont {P.}~\bibnamefont {Rowlands}},\ and\ \bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Jeffers}},\ }\bibfield {title} {\bibinfo {title} {Causal analysis of the quantum states},\ }in\ \href {https://doi.org/10.1063/1.3536443} {\emph {\bibinfo {booktitle} {{AIP} Conference Proceedings}}},\ Vol.\ \bibinfo {volume} {1316}\ (\bibinfo {publisher} {{AIP}},\ \bibinfo {year} {2010})\ pp.\ \bibinfo {pages} {295--328}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Pearl}(2009)}]{pearl-causality}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Pearl}},\ }\href {www.cambridge.org/9780521895606} {\emph {\bibinfo {title} {Causality}}},\ \bibinfo {edition} {2nd}\ ed.\ (\bibinfo {publisher} {Cambridge University Press},\ \bibinfo {address} {New York},\ \bibinfo {year} {2000, 2009})\BibitemShut {NoStop}% \bibitem [{\citenamefont {Specker}(1960)}]{specker-60}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {E.}~\bibnamefont {Specker}},\ }\bibfield {title} {\bibinfo {title} {{D}ie {L}ogik nicht gleichzeitig entscheidbarer {A}ussagen},\ }\href {https://doi.org/10.1111/j.1746-8361.1960.tb00422.x} {\bibfield {journal} {\bibinfo {journal} {Dialectica}\ }\textbf {\bibinfo {volume} {14}},\ \bibinfo {pages} {239} (\bibinfo {year} {1960})},\ \bibinfo {note} {english translation at {https://arxiv.org/abs/1103.4537}},\ \Eprint {https://arxiv.org/abs/arXiv:1103.4537} {arXiv:1103.4537} \BibitemShut {NoStop}% \bibitem [{\citenamefont {Boole}(2009)}]{Boole}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {G.}~\bibnamefont {Boole}},\ }\href {https://doi.org/10.1017/CBO9780511693090} {\emph {\bibinfo {title} {An Investigation of the Laws of Thought}}}\ (\bibinfo {publisher} {Walton and Maberly, MacMillan and Co., Cambridge University Press},\ \bibinfo {address} {London, UK and Cambridge, UK and New York, NY, USA},\ \bibinfo {year} {1854, 2009})\BibitemShut {NoStop}% \bibitem [{\citenamefont {Boole}(1862)}]{Boole-62}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {G.}~\bibnamefont {Boole}},\ }\bibfield {title} {\bibinfo {title} {On the theory of probabilities},\ }\href {https://doi.org/10.1098/rstl.1862.0015} {\bibfield {journal} {\bibinfo {journal} {Philosophical Transactions of the Royal Society of London}\ }\textbf {\bibinfo {volume} {152}},\ \bibinfo {pages} {225} (\bibinfo {year} {1862})}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Froissart}(1981)}]{froissart-81}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Froissart}},\ }\bibfield {title} {\bibinfo {title} {Constructive generalization of {B}ell's inequalities},\ }\href {https://doi.org/10.1007/BF02903286} {\bibfield {journal} {\bibinfo {journal} {Il Nuovo Cimento B (11, 1971-1996)}\ }\textbf {\bibinfo {volume} {64}},\ \bibinfo {pages} {241} (\bibinfo {year} {1981})}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Pitowsky}(1986)}]{pitowsky-86}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {I.}~\bibnamefont {Pitowsky}},\ }\bibfield {title} {\bibinfo {title} {The range of quantum probability},\ }\href {https://doi.org/10.1063/1.527066} {\bibfield {journal} {\bibinfo {journal} {Journal of Mathematical Physics}\ }\textbf {\bibinfo {volume} {27}},\ \bibinfo {pages} {1556} (\bibinfo {year} {1986})}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Pitowsky}(1989)}]{pitowsky-89a}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {I.}~\bibnamefont {Pitowsky}},\ }\bibfield {title} {\bibinfo {title} {From {G}eorge {B}oole to {J}ohn {B}ell: The origin of {B}ell's inequality},\ }in\ \href {https://doi.org/10.1007/978-94-017-0849-4\_6} {\emph {\bibinfo {booktitle} {{B}ell's Theorem, Quantum Theory and the Conceptions of the Universe}}},\ \bibinfo {series} {Fundamental Theories of Physics}, Vol.~\bibinfo {volume} {37},\ \bibinfo {editor} {edited by\ \bibinfo {editor} {\bibfnamefont {M.}~\bibnamefont {Kafatos}}}\ (\bibinfo {publisher} {Kluwer Academic Publishers, Springer Netherlands},\ \bibinfo {address} {Dordrecht},\ \bibinfo {year} {1989})\ pp.\ \bibinfo {pages} {37--49}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Clauser}\ \emph {et~al.}(1969)\citenamefont {Clauser}, \citenamefont {Horne}, \citenamefont {Shimony},\ and\ \citenamefont {Holt}}]{chsh}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {J.~F.}\ \bibnamefont {Clauser}}, \bibinfo {author} {\bibfnamefont {M.~A.}\ \bibnamefont {Horne}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Shimony}},\ and\ \bibinfo {author} {\bibfnamefont {R.~A.}\ \bibnamefont {Holt}},\ }\bibfield {title} {\bibinfo {title} {Proposed experiment to test local hidden-variable theories},\ }\href {https://doi.org/10.1103/PhysRevLett.23.880} {\bibfield {journal} {\bibinfo {journal} {Physical Review Letters}\ }\textbf {\bibinfo {volume} {23}},\ \bibinfo {pages} {880} (\bibinfo {year} {1969})}\BibitemShut {NoStop}% \bibitem [{\citenamefont {{Cirel'son (=Tsirel'son)}}(1987)}]{cirelson:87}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {B.~S.}\ \bibnamefont {{Cirel'son (=Tsirel'son)}}},\ }\bibfield {title} {\bibinfo {title} {Quantum analogues of the {B}ell inequalities. {T}he case of two spatially separated domains},\ }\href {https://doi.org/10.1007/BF01663472} {\bibfield {journal} {\bibinfo {journal} {Journal of Soviet Mathematics}\ }\textbf {\bibinfo {volume} {36}},\ \bibinfo {pages} {557} (\bibinfo {year} {1987})}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Filipp}\ and\ \citenamefont {Svozil}(2004)}]{filipp-svo-04-qpoly-prl}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Filipp}}\ and\ \bibinfo {author} {\bibfnamefont {K.}~\bibnamefont {Svozil}},\ }\bibfield {title} {\bibinfo {title} {Generalizing {T}sirelson's bound on {B}ell inequalities using a min-max principle},\ }\href {https://doi.org/10.1103/PhysRevLett.93.130407} {\bibfield {journal} {\bibinfo {journal} {Physical Review Letters}\ }\textbf {\bibinfo {volume} {93}},\ \bibinfo {pages} {130407} (\bibinfo {year} {2004})},\ \Eprint {https://arxiv.org/abs/arXiv:quant-ph/0403175} {arXiv:quant-ph/0403175} \BibitemShut {NoStop}% \bibitem [{\citenamefont {Svozil}()}]{svozil-2022-epr}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {K.}~\bibnamefont {Svozil}},\ }\href {https://doi.org/10.48550/arXiv.2209.09590} {\bibinfo {title} {On the complete description of entangled systems. {P}art {I}: {H}idden variables and the context communication cost of simulating quantum correlations}},\ \Eprint {https://arxiv.org/abs/arXiv:2209.09590} {arXiv:2209.09590} \BibitemShut {NoStop}% \bibitem [{\citenamefont {Popescu}\ and\ \citenamefont {Rohrlich}(1994)}]{pop-rohr}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Popescu}}\ and\ \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Rohrlich}},\ }\bibfield {title} {\bibinfo {title} {Quantum nonlocality as an axiom},\ }\href {https://doi.org/10.1007/BF02058098} {\bibfield {journal} {\bibinfo {journal} {Foundations of Physics}\ }\textbf {\bibinfo {volume} {24}},\ \bibinfo {pages} {379} (\bibinfo {year} {1994})}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Krenn}\ and\ \citenamefont {Svozil}(1998)}]{svozil-krenn}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {G.}~\bibnamefont {Krenn}}\ and\ \bibinfo {author} {\bibfnamefont {K.}~\bibnamefont {Svozil}},\ }\bibfield {title} {\bibinfo {title} {Stronger-than-quantum correlations},\ }\href {https://doi.org/10.1023/A:1018821314465} {\bibfield {journal} {\bibinfo {journal} {Foundations of Physics}\ }\textbf {\bibinfo {volume} {28}},\ \bibinfo {pages} {971} (\bibinfo {year} {1998})}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Svozil}(2007)}]{svozil-2004-brainteaser-erratum}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {K.}~\bibnamefont {Svozil}},\ }\bibfield {title} {\bibinfo {title} {Erratum: {C}ommunication cost of breaking the bell barrier [phys. rev. a 72, 050302 (2005)]},\ }\bibfield {journal} {\bibinfo {journal} {Physical Review A}\ }\textbf {\bibinfo {volume} {75}},\ \href {https://doi.org/10.1103/physreva.75.069902} {10.1103/physreva.75.069902} (\bibinfo {year} {2007})\BibitemShut {NoStop}% \bibitem [{\citenamefont {Popescu}(2014)}]{popescu-2014}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Popescu}},\ }\bibfield {title} {\bibinfo {title} {Nonlocality beyond quantum mechanics},\ }\href {https://doi.org/10.1038/nphys2916} {\bibfield {journal} {\bibinfo {journal} {Nature Physics}\ }\textbf {\bibinfo {volume} {10}},\ \bibinfo {pages} {264} (\bibinfo {year} {2014})}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Einstein}(1935)}]{einstei-letter-to-schr}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Einstein}},\ }\href {http://alberteinstein.info/vufind1/Record/EAR000024019} {\bibinfo {title} {Letter to {S}chr\"odinger}} (\bibinfo {year} {1935}),\ \bibinfo {note} {old Lyme, dated 19.6.35, Einstein Archives 22-047 (searchable by document nr. 22-47), Reprinted as letter~206~\cite[537-539]{Meyenn-2011}}\BibitemShut {NoStop}% \bibitem [{\citenamefont {{von Meyenn}}(2011)}]{Meyenn-2011}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {K.}~\bibnamefont {{von Meyenn}}},\ }\href {https://doi.org/10.1007/978-3-642-04335-2} {\emph {\bibinfo {title} {{E}ine {E}ntdeckung von ganz au{\ss}erordentlicher {T}ragweite. {S}chr{\"{o}}dingers {B}riefwechsel zur {W}ellenmechanik und zum {K}atzenparadoxon}}}\ (\bibinfo {publisher} {Springer},\ \bibinfo {address} {Heidelberg, Dordrecht, London, New York},\ \bibinfo {year} {2011})\BibitemShut {NoStop}% \bibitem [{\citenamefont {Howard}(1985)}]{Howard1985171}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Howard}},\ }\bibfield {title} {\bibinfo {title} {{E}instein on locality and separability},\ }\href {https://doi.org/10.1016/0039-3681(85)90001-9} {\bibfield {journal} {\bibinfo {journal} {Studies in History and Philosophy of Science Part A}\ }\textbf {\bibinfo {volume} {16}},\ \bibinfo {pages} {171} (\bibinfo {year} {1985})}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Howard}(1990)}]{Howard1990}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Howard}},\ }\bibfield {title} {\bibinfo {title} {``{N}icht sein kann was nicht sein darf,'' or the prehistory of {EPR}, 1909--1935: {E}instein's early worries about the quantum mechanics of composite systems},\ }in\ \href {https://doi.org/10.1007/978-1-4684-8771-8\_6} {\emph {\bibinfo {booktitle} {Sixty-Two Years of Uncertainty: Historical, Philosophical, and Physical Inquiries into the Foundations of Quantum Mechanics}}},\ \bibinfo {editor} {edited by\ \bibinfo {editor} {\bibfnamefont {A.~I.}\ \bibnamefont {Miller}}}\ (\bibinfo {publisher} {Springer US},\ \bibinfo {address} {Boston, MA},\ \bibinfo {year} {1990})\ pp.\ \bibinfo {pages} {61--111}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Toner}\ and\ \citenamefont {Bacon}(2003)}]{toner-bacon-03}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {B.~F.}\ \bibnamefont {Toner}}\ and\ \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Bacon}},\ }\bibfield {title} {\bibinfo {title} {Communication cost of simulating {B}ell correlations},\ }\href {https://doi.org/10.1103/PhysRevLett.91.187904} {\bibfield {journal} {\bibinfo {journal} {Physical Review Letters}\ }\textbf {\bibinfo {volume} {91}},\ \bibinfo {pages} {187904} (\bibinfo {year} {2003})}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Svozil}(2005)}]{svozil-2004-brainteaser}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {K.}~\bibnamefont {Svozil}},\ }\bibfield {title} {\bibinfo {title} {Communication cost of breaking the {B}ell barrier},\ }\href {https://doi.org/10.1103/PhysRevA.72.050302} {\bibfield {journal} {\bibinfo {journal} {Physical Review A}\ }\textbf {\bibinfo {volume} {72}},\ \bibinfo {pages} {050302} (\bibinfo {year} {2005})},\ \Eprint {https://arxiv.org/abs/arXiv:physics/0510050} {arXiv:physics/0510050} \BibitemShut {NoStop}% \bibitem [{\citenamefont {Cerf}\ \emph {et~al.}(2005)\citenamefont {Cerf}, \citenamefont {Gisin}, \citenamefont {Massar},\ and\ \citenamefont {Popescu}}]{cerf-gisin-massar-pop-04}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {N.~J.}\ \bibnamefont {Cerf}}, \bibinfo {author} {\bibfnamefont {N.}~\bibnamefont {Gisin}}, \bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Massar}},\ and\ \bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Popescu}},\ }\bibfield {title} {\bibinfo {title} {Simulating maximal quantum entanglement without communication},\ }\href {https://doi.org/10.1103/PhysRevLett.94.220403} {\bibfield {journal} {\bibinfo {journal} {Physical Review Letters}\ }\textbf {\bibinfo {volume} {94}},\ \bibinfo {pages} {2220403} (\bibinfo {year} {2005})},\ \Eprint {https://arxiv.org/abs/arXiv:quant-ph/0410027} {arXiv:quant-ph/0410027} \BibitemShut {NoStop}% \bibitem [{\citenamefont {Cramer}(1986)}]{Cramer-RevModPhys.58.647}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {J.~G.}\ \bibnamefont {Cramer}},\ }\bibfield {title} {\bibinfo {title} {The transactional interpretation of quantum mechanics},\ }\href {https://doi.org/10.1103/RevModPhys.58.647} {\bibfield {journal} {\bibinfo {journal} {Reviews of Modern Physics}\ }\textbf {\bibinfo {volume} {58}},\ \bibinfo {pages} {647} (\bibinfo {year} {1986})}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Zierler}\ and\ \citenamefont {Schlessinger}(1965)}]{ZirlSchl-65}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {N.}~\bibnamefont {Zierler}}\ and\ \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Schlessinger}},\ }\bibfield {title} {\bibinfo {title} {Boolean embeddings of orthomodular sets and quantum logic},\ }\href {https://doi.org/10.1215/S0012-7094-65-03224-2} {\bibfield {journal} {\bibinfo {journal} {Duke Mathematical Journal}\ }\textbf {\bibinfo {volume} {32}},\ \bibinfo {pages} {251} (\bibinfo {year} {1965})},\ \bibinfo {note} {reprinted in Ref.~\cite{Zierler1975}}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Zierler}\ and\ \citenamefont {Schlessinger}(1975)}]{Zierler1975}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {N.}~\bibnamefont {Zierler}}\ and\ \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Schlessinger}},\ }\bibfield {title} {\bibinfo {title} {Boolean embeddings of orthomodular sets and quantum logic},\ }in\ \href {https://doi.org/10.1007/978-94-010-1795-4_14} {\emph {\bibinfo {booktitle} {The Logico-Algebraic Approach to Quantum Mechanics: Volume {I}: Historical Evolution}}},\ \bibinfo {editor} {edited by\ \bibinfo {editor} {\bibfnamefont {C.~A.}\ \bibnamefont {Hooker}}}\ (\bibinfo {publisher} {Springer Netherlands},\ \bibinfo {address} {Dordrecht},\ \bibinfo {year} {1975})\ pp.\ \bibinfo {pages} {247--262}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Kochen}\ and\ \citenamefont {Specker}(1965)}]{kochen2}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Kochen}}\ and\ \bibinfo {author} {\bibfnamefont {E.~P.}\ \bibnamefont {Specker}},\ }\bibfield {title} {\bibinfo {title} {Logical structures arising in quantum theory},\ }in\ \href {https://doi.org/978-3-0348-9259-9_19} {\emph {\bibinfo {booktitle} {The Theory of Models, {P}roceedings of the 1963 International Symposium at {B}erkeley}}},\ \bibinfo {editor} {edited by\ \bibinfo {editor} {\bibfnamefont {J.~W.}\ \bibnamefont {Addison}}, \bibinfo {editor} {\bibfnamefont {L.}~\bibnamefont {Henkin}},\ and\ \bibinfo {editor} {\bibfnamefont {A.}~\bibnamefont {Tarski}}}\ (\bibinfo {publisher} {North Holland},\ \bibinfo {address} {Amsterdam, New York, Oxford},\ \bibinfo {year} {1965})\ pp.\ \bibinfo {pages} {177--189},\ \bibinfo {note} {reprinted in Ref.~\cite[pp.~209-221]{specker-ges}}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Specker}(1990)}]{specker-ges}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {E.}~\bibnamefont {Specker}},\ }\href {https://doi.org/10.1007/978-3-0348-9259-9} {\emph {\bibinfo {title} {Selecta}}}\ (\bibinfo {publisher} {Birkh{\"{a}}user Verlag},\ \bibinfo {address} {Basel},\ \bibinfo {year} {1990})\BibitemShut {NoStop}% \bibitem [{\citenamefont {Pitowsky}(1998)}]{pitowsky:218}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {I.}~\bibnamefont {Pitowsky}},\ }\bibfield {title} {\bibinfo {title} {Infinite and finite {G}leason's theorems and the logic of indeterminacy},\ }\href {https://doi.org/10.1063/1.532334} {\bibfield {journal} {\bibinfo {journal} {Journal of Mathematical Physics}\ }\textbf {\bibinfo {volume} {39}},\ \bibinfo {pages} {218} (\bibinfo {year} {1998})}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Hrushovski}\ and\ \citenamefont {Pitowsky}(2004)}]{hru-pit-2003}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {E.}~\bibnamefont {Hrushovski}}\ and\ \bibinfo {author} {\bibfnamefont {I.}~\bibnamefont {Pitowsky}},\ }\bibfield {title} {\bibinfo {title} {Generalizations of {K}ochen and {S}pecker's theorem and the effectiveness of {G}leason's theorem},\ }\href {https://doi.org/10.1016/j.shpsb.2003.10.002} {\bibfield {journal} {\bibinfo {journal} {Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics}\ }\textbf {\bibinfo {volume} {35}},\ \bibinfo {pages} {177} (\bibinfo {year} {2004})},\ \Eprint {https://arxiv.org/abs/arXiv:quant-ph/0307139} {arXiv:quant-ph/0307139} \BibitemShut {NoStop}% \bibitem [{\citenamefont {Abbott}\ \emph {et~al.}(2015)\citenamefont {Abbott}, \citenamefont {Calude},\ and\ \citenamefont {Svozil}}]{2015-AnalyticKS}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {A.~A.}\ \bibnamefont {Abbott}}, \bibinfo {author} {\bibfnamefont {C.~S.}\ \bibnamefont {Calude}},\ and\ \bibinfo {author} {\bibfnamefont {K.}~\bibnamefont {Svozil}},\ }\bibfield {title} {\bibinfo {title} {A variant of the {K}ochen-{S}pecker theorem localising value indefiniteness},\ }\href {https://doi.org/10.1063/1.4931658} {\bibfield {journal} {\bibinfo {journal} {Journal of Mathematical Physics}\ }\textbf {\bibinfo {volume} {56}},\ \bibinfo {eid} {102201} (\bibinfo {year} {2015})},\ \Eprint {https://arxiv.org/abs/arXiv:1503.01985} {arXiv:1503.01985} \BibitemShut {NoStop}% \bibitem [{\citenamefont {Meyer}(1999)}]{meyer:99}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {D.~A.}\ \bibnamefont {Meyer}},\ }\bibfield {title} {\bibinfo {title} {Finite precision measurement nullifies the {K}ochen-{S}pecker theorem},\ }\href {https://doi.org/10.1103/PhysRevLett.83.3751} {\bibfield {journal} {\bibinfo {journal} {Physical Review Letters}\ }\textbf {\bibinfo {volume} {83}},\ \bibinfo {pages} {3751} (\bibinfo {year} {1999})},\ \Eprint {https://arxiv.org/abs/arXiv:quant-ph/9905080} {arXiv:quant-ph/9905080} \BibitemShut {NoStop}% \bibitem [{\citenamefont {Pitowsky}(1983)}]{pitowsky-83}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {I.}~\bibnamefont {Pitowsky}},\ }\bibfield {title} {\bibinfo {title} {Deterministic model of spin and statistics},\ }\href {https://doi.org/10.1103/PhysRevD.27.2316} {\bibfield {journal} {\bibinfo {journal} {Physical Review D}\ }\textbf {\bibinfo {volume} {27}},\ \bibinfo {pages} {2316} (\bibinfo {year} {1983})}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Shimony}(1984)}]{shimony2}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Shimony}},\ }\bibfield {title} {\bibinfo {title} {Controllable and uncontrollable non-locality},\ }in\ \href@noop {} {\emph {\bibinfo {booktitle} {Proceedings of the International Symposium... Proceedings of the International Symposium Foundations of Quantum Mechanics in the Light of New Technology}}},\ \bibinfo {editor} {edited by\ \bibinfo {editor} {\bibfnamefont {S.}~\bibnamefont {Kamefuchi}}\ and\ \bibinfo {editor} {\bibfnamefont {N.~B.}\ \bibnamefont {Gakkai}}}\ (\bibinfo {publisher} {Physical Society of Japan},\ \bibinfo {address} {Tokyo},\ \bibinfo {year} {1984})\ pp.\ \bibinfo {pages} {225--230},\ \bibinfo {note} {see also J. Jarrett, {\sl Bell's Theorem, Quantum Mechanics and Local Realism}, Ph. D. thesis, Univ. of Chicago, 1983; {\sl Nous}, {\bf 18}, 569 (1984)}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Shimony}(1986)}]{shimony3}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Shimony}},\ }\bibfield {title} {\bibinfo {title} {Events and processes in the quantum world},\ }in\ \href@noop {} {\emph {\bibinfo {booktitle} {Quantum Concepts in Space and Time}}},\ \bibinfo {editor} {edited by\ \bibinfo {editor} {\bibfnamefont {R.}~\bibnamefont {Penrose}}\ and\ \bibinfo {editor} {\bibfnamefont {C.~I.}\ \bibnamefont {Isham}}}\ (\bibinfo {publisher} {Clarendon Press},\ \bibinfo {address} {Oxford},\ \bibinfo {year} {1986})\ pp.\ \bibinfo {pages} {182--203}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Jaynes}(2012)}]{jaynes}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {E.~T.}\ \bibnamefont {Jaynes}},\ }\href {https://doi.org/10.1017/CBO9780511790423} {\emph {\bibinfo {title} {Probability Theory: {T}he Logic Of Science}}}\ (\bibinfo {publisher} {Cambridge University Press},\ \bibinfo {address} {Cambridge},\ \bibinfo {year} {2003,2012})\ \bibinfo {note} {edited by G. Larry Bretthorst}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Zeilinger}(2005)}]{zeil-05_nature_ofQuantum}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Zeilinger}},\ }\bibfield {title} {\bibinfo {title} {The message of the quantum},\ }\href {https://doi.org/10.1038/438743a} {\bibfield {journal} {\bibinfo {journal} {Nature}\ }\textbf {\bibinfo {volume} {438}},\ \bibinfo {pages} {743} (\bibinfo {year} {2005})}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Melamed}\ and\ \citenamefont {Lin}(2020)}]{sep-sufficient-reason}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {Y.~Y.}\ \bibnamefont {Melamed}}\ and\ \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Lin}},\ }\bibfield {title} {\bibinfo {title} {Principle of sufficient reason},\ }in\ \href {https://plato.stanford.edu/archives/spr2020/entries/sufficient-reason/} {\emph {\bibinfo {booktitle} {The {}Stanford Encyclopedia of Philosophy}}},\ \bibinfo {editor} {edited by\ \bibinfo {editor} {\bibfnamefont {E.~N.}\ \bibnamefont {Zalta}}}\ (\bibinfo {publisher} {Metaphysics Research Lab, Stanford University},\ \bibinfo {year} {2020})\ \bibinfo {edition} {spring 2020}\ ed.\BibitemShut {Stop}% \bibitem [{\citenamefont {Glauber}(1986)}]{Glauber-cat-86}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {R.~J.}\ \bibnamefont {Glauber}},\ }\bibfield {title} {\bibinfo {title} {Amplifiers, attenuators, and {S}chr\"odinger's cat},\ }\href {https://doi.org/10.1111/j.1749-6632.1986.tb12437.x} {\bibfield {journal} {\bibinfo {journal} {Annals of the New York Academy of Sciences}\ }\textbf {\bibinfo {volume} {480}},\ \bibinfo {pages} {336} (\bibinfo {year} {1986})},\ \bibinfo {note} {reprinted in Ref.~\cite{glauber-collected-cat}}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Glauber}(2007)}]{glauber-collected-cat}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {R.~J.}\ \bibnamefont {Glauber}},\ }\bibinfo {title} {Amplifiers, attenuators and {S}chr\"odingers cat},\ in\ \href {https://doi.org/10.1002/9783527610075.ch14} {\emph {\bibinfo {booktitle} {Quantum Theory of Optical Coherence}}}\ (\bibinfo {publisher} {Wiley-VCH Verlag GmbH \& Co. KGaA},\ \bibinfo {address} {Weinheim, Germany},\ \bibinfo {year} {2007})\ pp.\ \bibinfo {pages} {537--576}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Bell}(1990)}]{bell-a}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {J.~S.}\ \bibnamefont {Bell}},\ }\bibfield {title} {\bibinfo {title} {Against `measurement'},\ }\href {https://doi.org/10.1088/2058-7058/3/8/26} {\bibfield {journal} {\bibinfo {journal} {Physics World}\ }\textbf {\bibinfo {volume} {3}},\ \bibinfo {pages} {33} (\bibinfo {year} {1990})}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Myrvold}(2011)}]{Myrvold2011237}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {W.~C.}\ \bibnamefont {Myrvold}},\ }\bibfield {title} {\bibinfo {title} {Statistical mechanics and thermodynamics: A {M}axwellian view},\ }\href {https://doi.org/10.1016/j.shpsb.2011.07.001} {\bibfield {journal} {\bibinfo {journal} {Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics}\ }\textbf {\bibinfo {volume} {42}},\ \bibinfo {pages} {237} (\bibinfo {year} {2011})}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Einstein}(1905)}]{ein-05}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Einstein}},\ }\bibfield {title} {\bibinfo {title} {{Z}ur {E}lektrodynamik bewegter {K}{\"{o}}rper},\ }\href {https://doi.org/10.1002/andp.19053221004} {\bibfield {journal} {\bibinfo {journal} {Annalen der Physik}\ }\textbf {\bibinfo {volume} {322}},\ \bibinfo {pages} {891} (\bibinfo {year} {1905})}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Minguzzi}(2011)}]{Minguzzi_2011}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {E.}~\bibnamefont {Minguzzi}},\ }\bibfield {title} {\bibinfo {title} {The poincar{\'{e}}-einstein synchronization: historical aspects and new developments},\ }\href {https://doi.org/10.1088/1742-6596/306/1/012059} {\bibfield {journal} {\bibinfo {journal} {Journal of Physics: Conference Series}\ }\textbf {\bibinfo {volume} {306}},\ \bibinfo {pages} {012059} (\bibinfo {year} {2011})}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Mermin}(2007)}]{mermin-07}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {D.~N.}\ \bibnamefont {Mermin}},\ }\href {https://doi.org/10.1017/CBO9780511813870} {\emph {\bibinfo {title} {Quantum Computer Science}}}\ (\bibinfo {publisher} {Cambridge University Press},\ \bibinfo {address} {Cambridge},\ \bibinfo {year} {2007})\BibitemShut {NoStop}% \bibitem [{\citenamefont {Herbert}(1982)}]{herbert}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {N.}~\bibnamefont {Herbert}},\ }\bibfield {title} {\bibinfo {title} {{FLASH}---{A} superluminal communicator based upon a new kind of quantum measurement},\ }\href {https://doi.org/10.1007/BF00729622} {\bibfield {journal} {\bibinfo {journal} {Foundation of Physics}\ }\textbf {\bibinfo {volume} {12}},\ \bibinfo {pages} {1171} (\bibinfo {year} {1982})}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Wootters}\ and\ \citenamefont {Zurek}(1982)}]{wo-zu}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {W.~K.}\ \bibnamefont {Wootters}}\ and\ \bibinfo {author} {\bibfnamefont {W.~H.}\ \bibnamefont {Zurek}},\ }\bibfield {title} {\bibinfo {title} {A single quantum cannot be cloned},\ }\href {https://doi.org/10.1038/299802a0} {\bibfield {journal} {\bibinfo {journal} {Nature}\ }\textbf {\bibinfo {volume} {299}},\ \bibinfo {pages} {802} (\bibinfo {year} {1982})}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Milonni}\ and\ \citenamefont {Hardies}(1982)}]{mil-hard}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {P.~W.}\ \bibnamefont {Milonni}}\ and\ \bibinfo {author} {\bibfnamefont {M.~L.}\ \bibnamefont {Hardies}},\ }\bibfield {title} {\bibinfo {title} {Photons cannot always be replicated},\ }\href {https://doi.org/10.1016/0375-9601(82)90899-4} {\bibfield {journal} {\bibinfo {journal} {Physics Letters A}\ }\textbf {\bibinfo {volume} {92}},\ \bibinfo {pages} {321} (\bibinfo {year} {1982})}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Mandel}(1983)}]{mandel:83}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {L.}~\bibnamefont {Mandel}},\ }\bibfield {title} {\bibinfo {title} {Is a photon amplifier always polarization dependent?},\ }\href {https://doi.org/10.1038/304188a0} {\bibfield {journal} {\bibinfo {journal} {Nature}\ }\textbf {\bibinfo {volume} {304}},\ \bibinfo {pages} {188} (\bibinfo {year} {1983})}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Svozil}(1989)}]{svozil-slash}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {K.}~\bibnamefont {Svozil}},\ }\bibfield {title} {\bibinfo {title} {What is wrong with {SLASH}?},\ }\Eprint {https://arxiv.org/abs/arXiv:quant-ph/0103166} {arXiv:quant-ph/0103166} (\bibinfo {year} {1989}),\ \bibinfo {note} {eprint arXiv:quant-ph/0103166}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Feynman}\ \emph {et~al.}(2011)\citenamefont {Feynman}, \citenamefont {Leighton},\ and\ \citenamefont {Sands}}]{feynman-III}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {R.~P.}\ \bibnamefont {Feynman}}, \bibinfo {author} {\bibfnamefont {R.~B.}\ \bibnamefont {Leighton}},\ and\ \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Sands}},\ }\href {https://www.basicbooks.com/titles/richard-p-feynman/the-feynman-lectures-on-physics-vol-iii/9780465040834/} {\emph {\bibinfo {title} {The {F}eynman Lectures on Physics, {V}ol.~{III}. {Q}uantum Mechanics}}}\ (\bibinfo {publisher} {Addison-Wesley, Basic Books},\ \bibinfo {address} {Reading, MA},\ \bibinfo {year} {1965, 2011})\BibitemShut {NoStop}% \bibitem [{\citenamefont {Zeilinger}\ \emph {et~al.}(2005)\citenamefont {Zeilinger}, \citenamefont {Weihs}, \citenamefont {Jennewein},\ and\ \citenamefont {Aspelmeyer}}]{Zeilinger2005-kj}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Zeilinger}}, \bibinfo {author} {\bibfnamefont {G.}~\bibnamefont {Weihs}}, \bibinfo {author} {\bibfnamefont {T.}~\bibnamefont {Jennewein}},\ and\ \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Aspelmeyer}},\ }\bibfield {title} {\bibinfo {title} {Happy centenary, photon},\ }\href {https://doi.org/10.1038/nature03280} {\bibfield {journal} {\bibinfo {journal} {Nature}\ }\textbf {\bibinfo {volume} {433}},\ \bibinfo {pages} {230} (\bibinfo {year} {2005})}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Gleason}(1957)}]{Gleason}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {A.~M.}\ \bibnamefont {Gleason}},\ }\bibfield {title} {\bibinfo {title} {Measures on the closed subspaces of a {H}ilbert space},\ }\href {https://doi.org/10.1512/iumj.1957.6.56050} {\bibfield {journal} {\bibinfo {journal} {Journal of Mathematics and Mechanics (now Indiana University Mathematics Journal)}\ }\textbf {\bibinfo {volume} {6}},\ \bibinfo {pages} {885} (\bibinfo {year} {1957})}\BibitemShut {NoStop}% \bibitem [{\citenamefont {Birkhoff}\ and\ \citenamefont {{von Neumann}}(1936)}]{birkhoff-36}% \BibitemOpen \bibfield {author} {\bibinfo {author} {\bibfnamefont {G.}~\bibnamefont {Birkhoff}}\ and\ \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {{von Neumann}}},\ }\bibfield {title} {\bibinfo {title} {The logic of quantum mechanics},\ }\href {https://doi.org/10.2307/1968621} {\bibfield {journal} {\bibinfo {journal} {Annals of Mathematics}\ }\textbf {\bibinfo {volume} {37}},\ \bibinfo {pages} {823} (\bibinfo {year} {1936})}\BibitemShut {NoStop}% \end{thebibliography}% \fi \end{document} (*##########################################################################################*) # Created 2014 by Karl Svozil # Adapted 04-2014 by Karl Svozil for CHSH etc # Adapted 10-2022 by Karl Svozil for CHSH # get name of input source file; entries are ";"-delimited (CSV) $sourcefilename = "2_2"; # get date use Time::Piece; my $today = Time::Piece->new->strftime('%Y-%m-%d'); #print ">".$today."-".$sourcefilename."-anonymous.txt"; open (OUTA, ">".$today."-".$sourcefilename.".ext"); for ($count1 = 1; $count1 >= -1; $count1-- ) { for ($count2 = 1; $count2 >= -1; $count2-- ) { for ($count3 = 1; $count3 >= -1; $count3-- ) { for ($count4 = 1; $count4 >= -1; $count4-- ) { if ( $count1*$count2*$count3*$count4 != 0) { print OUTA sprintf ("%5.0f",$count1); print OUTA sprintf ("%5.0f",$count2); print OUTA sprintf ("%5.0f",$count3); print OUTA sprintf ("%5.0f",$count4); print OUTA sprintf ("%5.0f",$count1*$count3); print OUTA sprintf ("%5.0f",$count1*$count4); print OUTA sprintf ("%5.0f",$count2*$count3); print OUTA sprintf ("%5.0f",$count2*$count4); print OUTA sprintf ("%5.0f",$count1*$count3+$count1*$count4+$count2*$count3-$count2*$count4); print OUTA "\n"; } } } } } close OUTA; exit; (*##########################################################################################*) (*##########################################################################################*) ElasticBandVector[ ll2_ ] := { Cos[ll2] , Sin[ll2] }; PoM[ aa_ , ll2_ , ll1_ ] := If[ { Cos[aa] , Sin[aa] } . ElasticBandVector[ll2] <= ll1 , -1 , 1 ]; a= 0; ap= Pi / 2; b = Pi / 4; bp = -Pi/4; MM = 11; sum1 ={0,0,0,0,0,0,0,0,0}; PeresTable = TableForm[ Table[ ( lll1 = RandomReal[{-1, 1}]; lll2 = 0; entry = { PoM[ a , lll2 , lll1 ], PoM[ ap , lll2 , lll1 ], PoM[ b , lll2 , lll1 ], PoM[ bp , lll2 , lll1 ] , PoM[0, lll2 , lll1 ]*PoM[ b - a , lll2 , lll1 ], PoM[0, lll2 , lll1 ]*PoM[ bp- a , lll2 , lll1 ], PoM[0 , lll2 , lll1 ]*PoM[ b - ap, lll2 , lll1 ], PoM[0 , lll2 , lll1 ]*PoM[ bp- ap , lll2 , lll1 ] , PoM[0, lll2 , lll1 ]*PoM[ b - a , lll2 , lll1 ] + PoM[ 0 , lll2 , lll1 ]*PoM[ bp - a , lll2 , lll1 ] + PoM[ 0 , lll2 , lll1 ]*PoM[ b - ap , lll2 , lll1 ] - PoM[ 0 , lll2 , lll1 ]*PoM[ bp - ap , lll2 , lll1 ] }; sum1 += entry/MM ; Prepend[entry, i] ) , {i, MM}] ]; sum1 N[sum1] (* *) TeXForm[PeresTable] (*##########################################################################################*) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% R1: This short paper is one among the many works that are constantly appears in the pertinent scientific journals concerning the ontological nature of quantum mechanics and its semantic interpretation. Just like most of these works, more than giving answers raises questions! However, I believe that the paper is reasonably well written and with its own logic. Therefore, I have no objection to its publication in its current form. Response: I agree with the reviewer that this is a paper (among many because of the challenge) trying to address the "meaning" of the subject. It contributes to the debate with the particular means involved. R2: The manuscript is a metaphysical overview of the phenomena associated with entanglement. As a result of the review, some possible ideas in the interpretation of quantum information from the point of view of relativity theory and the nature of space-time are suggested. The author confesses very speculative character of these suggestions. I do not see any there is no iformal mistakes in the text, except for a slight inaccuracy in lines 220-221: " there is no interaction and, therefore, no entanglement between two outcomes of experiments". In fact, there may not be any interaction now, as long as it was in the past. It is easy to correctand and I suppose that manuscript can be accepted almost as it is. However I strongly recommend to the author to iclude in the text and to express his attitude to the following works: 1. Transactional interpretation of entanglement by J. Cramer. The possibility of quantum information propagation both in forward and reversed time exclude questions about "instnenious" correlations and contradiction with relativity theory. 2. Entanglement does not exclude causality namely: asymmetric mixed states are causal, and quantum causality has richer and more interesting properties than classical. This is the subject of a series of articles by E. Kiktenko 2010-2015. 3. The idea that space-time is not primary, but can be constructed on the basis of binary relations is not new. In particular, it is developed in the works of Yu. Vladimirov Response: I would kindly like to thank the Reviewer for pointing out a lapsus that I herewith correct by stating "Because if there has been (in the past and at present) no interaction and, therefore, no entanglement between two outcomes of experiments ..." In accordance with the Referee's suggestion I have added the following references: 1. "The transactional interpretation~\cite{Cramer-RevModPhys.58.647} offers an alternative approach by considering retarded (forward in time) and advanced (backward in time) flows (of waves or information) from interactions." 2. a paper on causality in quantum mechanics by Korotaev, Kiktenko, Amoroso, Rowlands, and Jeffers. I have also added a book on this topic by Judea Pearl. R3: This paper is a philosophical discussion of what the violation of the CHSH form of the Bell inequality means, and the ways we should (and should not) think about it. It is a subject of great interest, particularly in a year when the first Nobel prize has been awarded in the subject to three researchers who have made major contributors to it. Svozil himself has contributed to the theoretical discussion of the inequalities over the years, and this is the second in a series of papers by him to draw some lessons from work on it. I find his views interesting, and while questionable and debatable in places, also well put and thought provoking. I think the paper is likely to be read with interest by a number of readers and so I would recommend publishing it. Response: Thank you for this kind evaluation.