%\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,accept,pdftex,oneauthor]{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, alloys, analytica, animals, antibiotics, antibodies, antioxidants, applbiosci, appliedchem, appliedmath, applmech, applmicrobiol, applnano, applsci, aquacj, architecture, arts, asc, asi, astronomy, atmosphere, atoms, audiolres, automation, axioms, bacteria, batteries, bdcc, behavsci, beverages, biochem, bioengineering, biologics, biology, biomass, biomechanics, biomed, biomedicines, biomedinformatics, biomimetics, biomolecules, biophysica, biosensors, biotech, birds, bloods, blsf, brainsci, breath, buildings, businesses, cancers, carbon, cardiogenetics, catalysts, cells, ceramics, challenges, chemengineering, chemistry, chemosensors, chemproc, children, chips, cimb, civileng, cleantechnol, climate, clinpract, clockssleep, cmd, coasts, coatings, colloids, colorants, commodities, compounds, computation, computers, condensedmatter, conservation, constrmater, cosmetics, covid, crops, cryptography, crystals, csmf, ctn, curroncol, currophthalmol, cyber, dairy, data, dentistry, dermato, dermatopathology, designs, diabetology, diagnostics, dietetics, digital, disabilities, diseases, diversity, dna, drones, dynamics, earth, ebj, ecologies, econometrics, economies, education, ejihpe, electricity, electrochem, electronicmat, electronics, encyclopedia, endocrines, energies, eng, engproc, ent, entomology, entropy, environments, environsciproc, epidemiologia, epigenomes, est, fermentation, fibers, fintech, fire, fishes, fluids, foods, forecasting, forensicsci, forests, foundations, fractalfract, fuels, futureinternet, futureparasites, futurepharmacol, futurephys, futuretransp, galaxies, games, gases, gastroent, gastrointestdisord, gels, genealogy, genes, geographies, geohazards, geomatics, geosciences, geotechnics, geriatrics, hazardousmatters, healthcare, hearts, hemato, heritage, highthroughput, histories, horticulturae, humanities, humans, hydrobiology, hydrogen, hydrology, hygiene, idr, ijerph, ijfs, ijgi, ijms, ijns, ijtm, ijtpp, immuno, informatics, information, infrastructures, inorganics, insects, instruments, inventions, iot, j, jal, jcdd, jcm, jcp, jcs, jdb, jeta, jfb, jfmk, jimaging, jintelligence, jlpea, jmmp, jmp, jmse, jne, jnt, jof, joitmc, jor, journalmedia, jox, jpm, jrfm, jsan, jtaer, jzbg, kidney, kidneydial, knowledge, land, languages, laws, life, liquids, literature, livers, logics, logistics, lubricants, lymphatics, machines, macromol, magnetism, magnetochemistry, make, marinedrugs, materials, materproc, mathematics, mca, measurements, medicina, medicines, medsci, membranes, merits, metabolites, metals, meteorology, methane, metrology, micro, microarrays, microbiolres, micromachines, microorganisms, microplastics, minerals, mining, modelling, molbank, molecules, mps, msf, mti, muscles, nanoenergyadv, nanomanufacturing, nanomaterials, ncrna, network, neuroglia, neurolint, neurosci, nitrogen, notspecified, nri, nursrep, nutraceuticals, nutrients, obesities, oceans, ohbm, onco, oncopathology, optics, oral, organics, organoids, osteology, oxygen, parasites, parasitologia, particles, pathogens, pathophysiology, pediatrrep, pharmaceuticals, pharmaceutics, pharmacoepidemiology, pharmacy, philosophies, photochem, photonics, phycology, physchem, physics, physiologia, plants, plasma, pollutants, polymers, polysaccharides, poultry, powders, preprints, proceedings, processes, prosthesis, proteomes, psf, psych, psychiatryint, psychoactives, publications, quantumrep, quaternary, qubs, radiation, reactions, recycling, regeneration, religions, remotesensing, reports, reprodmed, resources, rheumato, risks, robotics, ruminants, safety, sci, scipharm, seeds, sensors, separations, sexes, signals, sinusitis, skins, smartcities, sna, societies, socsci, software, soilsystems, solar, solids, sports, standards, stats, stresses, surfaces, surgeries, suschem, sustainability, symmetry, synbio, systems, taxonomy, technologies, telecom, test, textiles, thalassrep, thermo, tomography, tourismhosp, toxics, toxins, transplantology, transportation, traumacare, traumas, tropicalmed, universe, urbansci, uro, vaccines, vehicles, venereology, vetsci, vibration, viruses, vision, waste, water, wem, wevj, wind, women, world, youth, zoonoticdis %--------- % 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{2022} \copyrightyear{2022} \externaleditor{Academic Editor: Vladimir I. Manko} \datereceived{} %\daterevised{} % Only for the journal Acoustics \dateaccepted{} \datepublished{} %\datecorrected{} % Corrected papers include a "Corrected: XXX" date in the original paper. %\dateretracted{} % Corrected papers include a "Retracted: XXX" date in the original paper. \hreflink{https://doi.org/} % If needed use \linebreak %\doinum{} %------------------------------------------------------------------ % The following line should be uncommented if the LaTeX file is uploaded to arXiv.org %\pdfoutput=1 %================================================================= % 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, 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). \Title{Extending Kolmogorov's Axioms for a Generalized Probability Theory on Collections of Contexts} \TitleCitation{Extending Kolmogorov's Axioms for a Generalized Probability Theory on Collections of Contexts} \newcommand{\orcidauthorA}{0000-0001-6554-2802} \Author{Karl Svozil \orcidA{}}% %MDPI:Please carefully check the accuracy of names and affiliations. \AuthorNames{Karl Svozil} \AuthorCitation{Svozil, K.} \address[1]{Institute for Theoretical Physics, TU Wien, Wiedner Hauptstrasse 8-10/136, 1040 Vienna, Austria; svozil@tuwien.ac.at } %MDPI: Link is not allowed to appear here, we removed it, please confirm \corres{\hangafter=1 \hangindent=1.05em \hspace{-0.82em} Correspondence: svozil@tuwien.ac.at} \abstract{Kolmogorov's axioms of probability theory are extended to conditional probabilities among distinct (and sometimes intertwining) contexts. Formally, this amounts to row stochastic matrices whose entries characterize the conditional probability to find some observable (postselection) in one context, given an observable (preselection) in another context. As the respective probabilities need not (but, depending on the physical/model realization, can) be of the Born rule type, this generalizes approaches to quantum probabilities by Auff\'eves and Grangier, which in turn are inspired by Gleason's theorem.} % Keywords \keyword{value indefiniteness; Kolmogorov axioms of probability theory; Pitowsky's logical indeterminacy principle; quantum mechanics; Gleason theorem; Kochen--Specker theorem; Born rule} % The fields PACS, MSC, and JEL may be left empty or commented out if not applicable %\PACS{J0101} %\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 if the data set is published separately. If the data set shall be published as a supplement to this paper, this field will be filled by the journal editors. In this case, please submit the data set as a supplement.} %\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{For entry manuscripts only: please provide a brief overview of the entry title instead of an abstract.} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Only for the journal Advances in Respiratory Medicine %\addhighlights{yes} %\renewcommand{\addhighlights}{% % \begin{itemize}[labelsep=2.5mm] % \item This is an obligatory section in ``Advances in Respiratory Medicine'', whose goal is to increase the discoverability and readability of the article via search engines and other scholars. % \item Highlights consist of a short collection of (3–6) bullet points that capture the gap in knowledge the manuscript is addressing, as well as breakthroughs and other important points. % \item The Highlights section may also be used to showcase a new method used during the study (if any). % \end{itemize} %} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \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{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{Extending Kolmogorov's axioms for a generalized probability theory on collections of contexts} \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} Kolmogorov's axioms of probability theory are extended to conditional probabilities among distinct (and sometimes intertwining) contexts. Formally, this amounts to row stochastic matrices whose entries characterize the conditional probability to find some observable (postselection) in one context, given an observable (preselection) in another context. As the respective probabilities need not (but, depending on the physical/model realization, can) be of the Born rule type, this generalizes approaches to quantum probabilities by Auff\'eves and Grangier, which in turn are inspired by Gleason's theorem. \end{abstract} \keywords{Value indefiniteness, Kolmogorov Axioms of probability theory, Pitowsky's Logical Indeterminacy Principle, Quantum mechanics, Gleason theorem, Kochen-Specker theorem, Born rule} %\pacs{} \maketitle \fi %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{Kolmogorov-Type Conditional Probabilities among Distinct Contexts} A physical system or a mathematical entity may permit not only one ``view'' on it but may allow ``many'' such views. For the sake of an illustration, imagine a metaphor mentioned by Schr\"odinger~(\cite{book:1170675} p.~15~{and}~95): a single crystal cluster whose light, depending on the viewpoint, may appear very different; the Vedantic analogy of a {\em ``many-faceted crystal which, while showing hundreds of little pictures of what is in reality a single existent object, does not really multiply that object. $\ldots$ A comparison used in Hinduism is of the many almost identical images which a many-faceted diamond makes of some one object such as the sun.''} Another example is the coordinatization or coding and encryption of a vector with respect to different bases, thereby in physical terms appearing as ``coherent superpositions'' (linear combinations) of the respective vectors of these bases. Still another example is the representation of an entity by isomorphic graphs. This idea is grounded in epistemology and in issues related to the (empirical) cognition of ontology and might appear both trivial and sophistic at first glance. Nevertheless, it may be difficult to find means or formal models exhibiting multiple contextual views of one and the same entity. Many conceptualizations of such situations are motivated by quantum complementarity~\cite{aerts:82,aerts-69,Khrennikov2010,Dzhafarov-2017}. A ``view'' or (used synonymously) ``frame''~\cite{Gleason} or ``context'' will be in full generality and thus informally (by glancing at heuristics from quantum mechanics and partition logic) characterized as some domain or set of observables or properties that is \begin{itemize} \item[(i)] {\em largest} or {\em maximal} in the sense that any extension yields redundancies, \item[(ii)] yet at the same time in the {\em finest resolution} in the sense that the respective observables or properties are ``no composite'' of ``more elementary'' ones, \item[(iii)] contains only {\em mutually exclusive} observables in the sense that one property or observation excludes another, different property or observation, while at the same time \item[(iv)] includes only {\em simultaneously measurable, compatible} observables or properties. \end{itemize} In what follows, I shall develop a conceptual framework for very general probabilities on such collections of contexts. This amounts to an extension of Kolomogorov probabilities which are defined in a single context to a multi-context situation. Scrutinized separately, every single context has ``legit local'' classical Kolomogorov probabilities. In addition to those local structures and measures, (intertwined) multi-context configurations and their probabilities have to be ``joined'', ``woven'', ``meshed'' or ``stitched'' together to result in consistent and coherent ``global'' multi-aspect views and probabilities. In particular, one needs to cope with possible overlaps of contexts in common, intertwining, observables. Because two or more contexts need not (but may) be separated from one another, they may indeed intertwine in one or more common elements and form complex propositional structures serving a variety of counterfactual~\cite{specker-60,svozil-2020-c} purposes~\cite{kochen1,2015-AnalyticKS,svozil-2017-b}. In terms of probabilistic language, one might interpret contexts as conditions. Intertwining contexts might be identified with different conditionings with non-empty intersection(s). This text is organized as follows: first, Kolmogorov's axioms or principles for probabilities are generalized to arbitrary event structures not necessarily dominated by the quantum formalism. Then these principles will be applied to quantum bistochasticity, as well as partition logics which offer an abundance of alternate configurations. Some ``exotic'' probabilities as well as possible generalizations by Cauchy's functional equations are briefly discussed. Throughout this article, only finite contexts will be considered. \section{Generalization of Kolmogorov's Axioms to Arbitrary Event Structures} Suppose that, as it is assumed for classical Kolmogorov probabilities, the elements ${\bf c}_1$ within any given single, individual finite context ${\cal C}=\{ {\bf c}_1, \ldots {\bf c}_n \}$ are mutually exclusive, compatible and exhaustive; that is, the context contains a ``maximal'' set of mutually exclusive compatible elements. Kolmogorov's axioms demand that (i) probabilities are non-negative; (ii) additivity of mutually exclusive events or outcomes $ P({\bf c}_i) + P({\bf c}_j) = P({\bf c}_i \cup {\bf c}_j) $; (iii) the probability of the tautology formed by the union of all elements in the context adds up to one; that is, $ \sum_{{\bf c}_i \in {\cal C}} P({\bf c}_i)= P \left(\bigcup_{{\bf c}_i \in {\cal C}} {\bf c}_i \right) = 1$. Inspired by the multi-context quantum case discussed later, the following generalization to two- or, by induction, to a multi-context configuration is suggested: Suppose two arbitrary contexts ${\cal C}_1=\{ {\bf e}_1, \ldots {\bf e}_n \}$ and ${\cal C}_2=\{ {\bf f}_1, \ldots {\bf f}_m \}$. The conditional probabilities $P( {\bf f}_j \vert {\bf e}_i )$, with $1 \le j \le m$ and $1 \le i \le n$, which alternatively can be considered as either measuring the Bayesian degree of reasonable expectation representing a state of knowledge or as quantification of a personal belief~\cite{Uffink2011-UFFSPS} or the frequency of occurrence of ``${\bf f}_j$ given ${\bf e}_i$'', can be arranged into a $(n \times m)$-matrix whose entries are $P( {\bf f}_j \vert {\bf e}_i )$,=; that is, \begin{equation} \begin{split} \left[ P( {\cal C}_2 \vert {\cal C}_1 )\right] = \left[ P( \{{\bf f}_1, \ldots {\bf f}_m \} \vert \{ {\bf e}_1, \ldots {\bf e}_n \} ) \right] \\ \equiv \begin{bmatrix} {P({\bf f}_1 \vert {\bf e}_1)} & \cdots & {P({\bf f}_m \vert {\bf e}_1)} \\ \cdots & \cdots & \cdots \\ {P({\bf f}_1 \vert {\bf e}_n)} & \cdots & {P({\bf f}_m \vert {\bf e}_n)} \end{bmatrix} . \end{split} \label{2020-k-gka} \end{equation} Assume as axiom the following criterion: the conditional probabilities of the elements of the second context with respect to an arbitrary element ${\bf e}_k\in {\cal C}_1$ of the first context ${\cal C}_1$ are non-negative, additive, and, if this sum is extended over the entire second context ${\cal C}_2$, add up to one: \begin{equation} \begin{split} P({\bf f}_i \vert {\bf e}_k) + P({\bf f}_j \vert {\bf e}_k) = P[({\bf f}_i \cup {\bf f}_j) \vert {\bf e}_k]\\ \sum_{{\bf f}_i \in {\cal C}_2} P({\bf f}_i \vert {\bf e}_k) = P\left[\left(\bigcup_{{\bf f}_i \in {\cal C}_2} {\bf f}_i \right) \vert {\bf e}_k\right] = 1 . \end{split} \label{2020-k-gka12} \end{equation}%MDPI: Please check if there should be indentation here, same below {That} is, the row sum taken within every single row of $\left[ P( {\cal C}_2 \vert {\cal C}_1 )\right]$ adds up to one. This presents a generalization of Kolmogorov's axioms, as it allows cases in which both contexts do not coincide. It just reduces to the classical axioms for single contexts if, instead of a single element ${\bf e}_k\in {\cal C}_1$ of the first context ${\cal C}_1$, the union of elements of this entire context ${\cal C}_1$ -- and thus the tautology $\bigcup_{{\bf e}_i \in {\cal C}_1} {\bf e}_i$ -- is inserted into~(\ref{2020-k-gka12}). We shall mostly be concerned with cases for which $n=m$; that is, the associated matrix is a row (right) stochastic (square) matrix. Formally, such a matrix $\textsf{\textbf{A}}$ has nonnegative entries $a_{ij} \ge 0$ for $i,j =1,\ldots , n$ whose row sums add up to one: $\sum_{j=1}^n a_{ij}=1$ for $i =1,\ldots , n$. If, in addition to the row sums, also the column sums add up to one; that is, if $\sum_{i=1}^n a_{ij}=1$ for $j =1,\ldots , n$, then the matrix is called doubly stochastic. If $\textsf{\textbf{J}}$ is a $(n\times n)$--matrix whose entries are $1$, then a $(n\times n)$--matrix $\textsf{\textbf{A}}$ is row stochastic if $\textsf{\textbf{A}} \textsf{\textbf{J}} = \textsf{\textbf{J}}$. It is instructive to ponder why intuitively those conditional probabilities should be arranged in right- but not in bistochastic matrices. Suppose a (physical or another model) system is in a state characterized by some element ${\bf e}_j\in {\cal C}_1$ of the first context ${\cal C}_1$. Then, if one takes the (union of elements of the) entire other context ${\cal C}_2$, thereby exhausting all possible outcomes of the second ``view'', the conditional probability for this system to be in {\em any} element of ${\cal C}_2$ given ${\bf e}_j\in {\cal C}_1$ should add up to one because this includes all that can be (or happen or exist) with respect to the second ``view''. Indeed, if this conditional probability would not add up to one, say if it adds up to something strictly smaller or larger than one, then either some elements would be missing in, or be ``external'' to, the context ${\cal C}_2$, which cannot occur since by assumption contexts are ``maximal''. On the other hand, if a particular element ${\bf f}_i\in {\cal C}_2$ of the second context ${\cal C}_2$ remains fixed, and the column sum $\sum_{{\bf e}_j \in {\cal C}_1} P({\bf f}_i \vert {\bf e}_j) $ extends over all ${\bf e}_j \in {\cal C}_1$, then there is no convincing reason why this column sum should add up to one. Indeed, as will be argued later, while quantum mechanics results in bistochastic matrices for pure states, generalized urn models result in partitions of (hidden) variables that will not induce bistochasticity. \section{Cauchy's Functional Equation Encoding Additivity} One way of looking at generalized global probabilities from ``stitching'' local classical Kolmogorov probabilities is to maintain the essence of the axioms, namely positivity, probability one (certainty) for tautologies and, in particular, additivity. Additivity requires that, for mutually exclusive compatible events ${\bf c}_i$ and ${\bf c}_j$ within a given context, their probabilities can be expressed in terms of a Cauchy-type functional equation $P({\bf c}_i) + P({\bf c}_j) = P({\bf c}_i \cup {\bf c}_j)$. With ``reasonable'' side assumptions, this amounts to the linearity of probabilities in the argument~\cite{Aczel-1966,Reem2017}. For operators in Hilbert spaces of dimensions higher than two, and in particular for linear operators $\textsf{\textbf{A}}$ and $\textsf{\textbf{B}}$ with an operator norm $\vert \textsf{\textbf{A}} \vert = + \sqrt{ \langle \textsf{\textbf{A}} \vert \textsf{\textbf{A}} \rangle }$ based on the Hilbert--Schmidt inner product $\langle \textsf{\textbf{A}} \vert \textsf{\textbf{B}} \rangle = \text{Trace} \left( \textsf{\textbf{A}}^\ast \textsf{\textbf{B}}\right)$, where $\textsf{\textbf{A}}^\ast$ stands for the adjoint of $\textsf{\textbf{A}}$, Cauchy's functional equation can be related to Gleason-type theorems~\cite{Busch-2003,caves-fuchs-2004,Granstrom-mt,wright-Victoria,Wright_2019,Wright2019}. The general case may involve other, hitherto unknown, arguments besides scalars and entities related to vector (or Hilbert) spaces. The discussion will not be extended to potential inputs and sources for generalized probabilities as the main interest is in developing a generalizing probability theory in the multi-context setting, but clearly these questions remain pertinent. \section{Examples of Application of the Generalized Kolmogorov Axioms} \subsection{Quantum Bistochasticity for Pure States} The multi-context quantum case has been studied in great detail with emphasis on motivating and deriving the Born rule~\cite{Auffeves-Grangier-2017,Auffeves-Grangier-2018} from elementary foundations. Recall that a context has been defined as the ``largest'' or ``maximal'' domain of both mutually exclusive as well as simultaneously measurable, compatible observables. In quantum mechanics, ``simultaneously measurability'' transforms into {\em compatibility} and {\em commutativity}; that is, such observables are not complementary and can be jointly measured without restrictions. ``Mutual exclusivity'' is defined in terms of {\em orthogonality} of the respective observables. The spectral theorem asserts mutual orthogonality of unit eigenvectors $\vert {\bf e}_i \rangle$ and the associated orthogonal projection operators $\textsf{\textbf{E}}_i$ formed by the dyadic product $\textsf{\textbf{E}}_i= \vert {\bf e}_i \rangle \langle {\bf e}_i \vert$. A context can be equivalently represented by (i) an orthonormal basis, (ii) the respective one-dimensional orthogonal projection operators associated with the basis elements, or (iii) a single maximal operator (maximal observable) whose spectral sum is non-degenerate~\cite{halmos-vs,kochen1}. An essential assumption entering Gleason's derivation~\cite{Gleason} of the Born rule for quantum probabilities is the validity of classical probability theory whenever the respective observables are compatible. Formally, this amounts to the validity of Kolmogorov probability theory for mutually commuting observables; and in particular, to the assumption of Kolmogorov's axioms within contexts. Already Gleason pointed out~\cite{Gleason} that it is quite straightforward to find an {ad hoc} probability satisfying this aforementioned assumption, which is based on the Pythagorean property: suppose (i) a quantized system is in a pure state $\vert \psi \rangle$ formalized by some unit vector, and (ii) some ``measurement frame'' formalized by an orthonormal basis ${\cal C}=\{ \vert {\bf e}_1 \rangle , \ldots , \vert {\bf e}_n \rangle \}$. Then, the probabilities of outcomes of observable propositions associated with the orthogonal projection operators formed by the dyadic products $\vert {\bf e}_i \rangle \langle {\bf e}_i \vert$ of the vectors of the orthonormal basis can be obtained by taking the absolute square of the length of those projections of $\vert \psi \rangle$ onto $\vert {\bf e}_i \rangle$ along the remaining basis vectors, which amounts to taking the scalar products $\vert \langle \psi \vert {\bf e}_i \rangle \vert^2$. Since the vector associated with the pure state as well as all the vectors in the orthonormal system are of length one, and since these latter vectors (of the orthonormal system) are mutually orthogonal, the sum $\sum_{i=1}^n \vert \langle \psi \vert {\bf e}_i \rangle \vert^2$ of all these terms, taken over all the basis elements, needs to add up to one. The respective absolute squares are bounded between zero and one. In effect, the orthonormal basis ``grants a view'' of the pure quantum state. The absolute square can be rewritten in terms of a trace (over some arbitrary orthonormal basis) into the standard form known as the Born rule of quantum probabilities: $ \vert \langle \psi \vert {\bf e}_i \rangle \vert^2 = \langle \psi \vert {\bf e}_i \rangle \langle {\bf e}_i \vert \psi \rangle = \langle \psi \vert {\bf e}_i \rangle \langle {\bf e}_i \vert \mathbb{I}_n \psi \rangle = \sum_{j=1}^n \langle \psi \vert {\bf e}_i \rangle \langle {\bf e}_i \vert {\bf g}_j \rangle \langle {\bf g}_j \vert \psi \rangle = \sum_{j=1}^n \langle {\bf g}_j \vert \underbrace{\psi \rangle\langle \psi}_{=\textsf{\textbf{E}}_\psi} \vert \underbrace{ {\bf e}_i \rangle \langle {\bf e}_i }_{=\textsf{\textbf{E}}_i} \vert {\bf g}_j \rangle = \text{Trace}(\textsf{\textbf{E}}_\psi \textsf{\textbf{E}}_i) $, where $\textsf{\textbf{E}}_\psi$ and $\textsf{\textbf{E}}_i$ are the orthogonal projection operators representing the state $\vert \psi \rangle$ and the (unit) vectors of the orthonormal basis $\vert {\bf e}_i\rangle$, respectively, and ${\cal C}'=\{ \vert {\bf g}_1 \rangle , \ldots , \vert {\bf g}_n \rangle \}$ is an arbitrary orthonormal basis, so that a resolution of the identity is $ \mathbb{I}_n = \sum_{j=1}^n \vert {\bf g}_j \rangle \langle {\bf g}_j \vert$. It is also well known that, at least from a formal perspective, unit vectors in quantum mechanics serve a dual role. On the one hand, they represent pure states. On the other hand, by the associated one-dimensional orthogonal projection operator, they represent an observable: the proposition that the system is in such a pure state~\cite{v-neumann-49,birkhoff-36}. Suppose now that we exploit this dual role by {\em expanding} the pure prepared state into a full orthonormal basis, of which its vector must be an element. (For dimensions greater than two, such an expansion will not be unique as there is a continuous infinity of ways to achieve this.) Once the latter basis is fixed, it can be used to obtain a ``view'' on the former (measurement) basis, and a completely symmetric situation/configuration is attained. We might even go so far as to say that which basis is associated with the ``observed object'' and with the ``measurement apparatus,'' respectively, is purely a matter of convention and subjective perspective. Therefore, as has been pointed out earlier, an orthogonal projection operator serves a dual role. On the one handm it is a formalization of a dichotomic observable, more precisely, an elementary yes--no proposition $\textsf{\textbf{E}} = \vert {\bf x} \rangle \langle {\bf x} \vert $ associated with the claim that ``the quantized system is in state $\vert {\bf x} \rangle$. On the other hand, it is the formal representation of a pure quantum state $\vert {\bf y} \rangle$ equivalent to the operator $\textsf{\textbf{F}} = \vert {\bf y} \rangle \langle {\bf y} \vert $. By the Born rule, the conditional probabilities are symmetric with respect to exchange of $\vert {\bf x} \rangle$ and $\vert {\bf y} \rangle$: let ${\cal C}'=\{ \vert {\bf g}_1 \rangle , \ldots , \vert {\bf g}_n \rangle \}$ be some arbitrary orthonormal basis of $\mathbb{C}^n$, then $P( \textsf{\textbf{E}} \vert \textsf{\textbf{F}} ) =\text{Trace} \left( \textsf{\textbf{E}} \textsf{\textbf{F}}\right) =\text{Trace} \left( \textsf{\textbf{F}} \textsf{\textbf{E}}\right) =P( \textsf{\textbf{F}} \vert \textsf{\textbf{E}} )$; or, more explicitly, $P( \textsf{\textbf{E}} \vert \textsf{\textbf{F}} ) = \sum_{i=1}^n \langle {\bf g}_i \vert {\bf x} \rangle \langle {\bf x} \vert {\bf y} \rangle \langle {\bf y} \vert {\bf g}_i \rangle = \sum_{i=1}^n \langle {\bf x} \vert {\bf y} \rangle \langle {\bf y} \vert \underbrace{{\bf g}_i \rangle \langle {\bf g}_i}_{=\mathbb{I}_n} \vert {\bf x} \rangle = \left| \langle {\bf x} \vert {\bf y} \rangle \right|^2 = \left| \langle {\bf y} \vert {\bf x} \rangle \right|^2 =P( \textsf{\textbf{F}} \vert \textsf{\textbf{E}} ) $. Therefore, the respective conditional probabilities form a doubly stochastic (bistochastic) square matrix. This result is a special case of a more general result on quadratic forms on the set of eigenvectors of normal operators~\cite{marcus-1960}. Consider two orthonormal bases (two contexts). Their respective conditional probabilities can be arranged into a matrix form. The $i$th row $j$th column component corresponds to the conditional probability associated with the probability of occurrence of the $j$th element (observable) of the second context, given the $i$th element (observable) of the first context. By taking into account that cyclically interchanging factors inside a trace does not change its value, this matrix needs to be not only row (right) stochastic but doubly stochastic (bistochastic)~\cite{Auffeves-Grangier-2017,Auffeves-Grangier-2018}; that is, the sum is taken within every single row and every single column adds up to one. It is important to emphasize that bistochasticity holds for pure states but not for more general ones. In particular, for non-rank-one density matrices that are the product of two vectors, such as for mixed states, the above arguments do not apply. \subsection{Quasi-Classical Partition Logics} In what follows, we shall study sets of partitions of a given set. They have models~\cite{svozil-2001-eua} based on (i) the finite automata initial state identification problem~\cite{e-f-moore} as well as (ii) generalized urns~\cite{wright:pent,wright}. Partition logics are quasi-classical and value-definite in so far as they allow a separating set of ``classical'' two-valued states~\cite[Theorem~0]{kochen1}, and yet they feature complementarity. Many of these logics are {\it doubles} of quantum logics, such as for spin-state measurements, and thereby their graphs also allow faithful orthogonal representations~\cite{svozil-2018-b}. Yet some of them have no quantum analog. Therefore, they neither form a proper subset of all quantum logics nor do they contain all logical structures encountered in quantum logics (they are neither continuous nor can they have a non-separating or nonexisting set of two-valued states). However, partition logics overlaps significantly with quantum logics, as they bear strong similarities with the structures arising in quantum theory. If some (partition) logic which is a pasting~\cite{greechie:71,kalmbach-83,nav:91} of contexts has a separating set of two-valued states~\cite[Theorem~0]{kochen1}, then there is a constructive, algorithmic~\cite{tkadlec-2states-2017} way of finding a ``canonical'' partition logic~\cite{svozil-2001-eua}, and associated with it, all classical probabilities on it. First, find all the two-valued states on the logic and assign consecutive number to these states. Then, for any atom (element of a context), find the index set of all two-valued states which are~one on this atom. Associate with each one, say, the $i$th, of the two valued states a nonnegative weight $i \rightarrow \lambda_i$, and require that the (convex) sum of these weights $\sum_i \lambda_i=1$ is 1. Since all two-valued states are included, the Kolmogorov axioms guarantee that the sum of measures/weights within each of the contexts in the logic exactly adds up to one. It will be argued that in this case, and unlike for quantum conditional probabilities, the conditional probabilities, in general, do not form a bistochastic matrix. \subsubsection{Two Non-Intertwining Two-Atomic Contexts} In the Babylonian spirit~(\cite{neugeb} p.~172), consider some anecdotal examples which have quantum doubles. The first one will be analogous to a spin-$\frac{1}{2}$ state measurement. The logic in Figure~\ref{2019-k-f1} enumerates the labels of the atoms (elementary propositions) according to the ``inverse construction'' based on all four two-valued states on the logic mentioned earlier, using all two-valued measures thereon~\cite{svozil-2001-eua}. With the identifications ${\bf e}_1 \equiv \{1,2\}$, ${\bf e}_2 \equiv \{3,4\}$, ${\bf f}_1 \equiv \{1,3\}$, and ${\bf f}_2 \equiv \{2,4\}$, we obtain all classical probabilities by identifying $i \rightarrow \lambda_i > 0$. The respective conditional probabilities are \begin{equation} \begin{split} \left[ P( {\cal C}_2 \vert {\cal C}_1 )\right] = \left[ P( \{ {\bf f}_1, {\bf f}_2 \} \vert \{ {\bf e}_1,{\bf e}_2 ) \right] \equiv \begin{bmatrix} {P({\bf f}_1 \vert {\bf e}_1)} & {P({\bf f}_2 \vert {\bf e}_1)} \\ {P({\bf f}_1 \vert {\bf e}_2)} & {P({\bf f}_2 \vert {\bf e}_2)} \end{bmatrix} \\ = \begin{bmatrix} \frac{P({\bf f}_1 \cap {\bf e}_1)}{P({\bf e}_1)} & \frac{P({\bf f}_2 \cap {\bf e}_1)}{P({\bf e}_1)} \\ \frac{P({\bf f}_1 \cap {\bf e}_2)}{P({\bf e}_2)} & \frac{P({\bf f}_2 \cap {\bf e}_2)}{P({\bf e}_2)} \end{bmatrix} = \begin{bmatrix} \frac{P( \{1,3\} \cap \{1,2\} )}{P( \{1,2\} )} & \frac{P( \{2,4\} \cap \{1,2\} )}{P( \{1,2\} )} \\ \frac{P( \{1,3\} \cap \{3,4\} )}{P( \{3,4\} )} & \frac{P( \{2,4\} \cap \{3,4\} )}{P( \{3,4\} )} \end{bmatrix} \\ = \begin{bmatrix} \frac{P( \{1\} )}{P( \{1,2\} )} & \frac{P( \{2\} )}{P( \{1,2\} )} \\ \frac{P( \{3\} )}{P( \{3,4\} )} & \frac{P( \{4\} )}{P( \{3,4\} )} \end{bmatrix} = \begin{bmatrix} \frac{ \lambda_1 }{ \lambda_1+\lambda_2 } & \frac{ \lambda_2 }{ \lambda_1+\lambda_2 } \\ \frac{ \lambda_3 }{ \lambda_3+\lambda_4 } & \frac{ \lambda_4 }{ \lambda_3+\lambda_4 } \end{bmatrix}, \end{split} \end{equation} as well as \begin{equation} \begin{split} \left[ P( {\cal C}_1 \vert {\cal C}_2 )\right] = \left[ P( \{ {\bf e}_1, {\bf e}_2 \} \vert \{ {\bf f}_1,{\bf f}_2 \} ) \right] \\ \equiv %\begin{bmatrix} %{P({\bf e}_1 \vert {\bf f}_1)} & {P({\bf e}_2 \vert {\bf f}_1)} \\ %{P({\bf e}_1 \vert {\bf f}_2)} & {P({\bf e}_2 \vert {\bf f}_2)} %\end{bmatrix} %\\ %= %\begin{bmatrix} %\frac{P( \{1,2\} \cap \{1,3\} )}{P( \{1,3\} )} & \frac{P( \{3,4\} \cap \{1,3\} )}{P( \{1,3\} )} \\ %\frac{P( \{1,2\} \cap \{2,4\} )}{P( \{2,4\} )} & \frac{P( \{3,4\} \cap \{2,4\} )}{P( \{2,4\} )} %\end{bmatrix} %\\ %= \begin{bmatrix} \frac{P( \{1\} )}{P( \{1,3\} )} & \frac{P( \{3\} )}{P( \{1,3\} )} \\ \frac{P( \{2\} )}{P( \{2,4\} )} & \frac{P( \{4\} )}{P( \{2,4\} )} \end{bmatrix} = \begin{bmatrix} \frac{ \lambda_1 }{ \lambda_1+\lambda_3 } & \frac{ \lambda_3 }{ \lambda_1+\lambda_3 } \\ \frac{ \lambda_2 }{ \lambda_2+\lambda_4 } & \frac{ \lambda_4 }{ \lambda_2+\lambda_4 } \end{bmatrix} . \end{split} \end{equation} \begin{figure}[H] \begin{tabular}{cc} \begin{tikzpicture} [scale=0.3] \newdimen\ms \ms=0.05cm \tikzstyle{every path}=[line width=1.5pt] \tikzstyle{c3}=[circle,inner sep={\ms/8},minimum size=4.5*\ms] \tikzstyle{c2}=[circle,inner sep={\ms/8},minimum size=3*\ms] \tikzstyle{c1}=[circle,inner sep={\ms/8},minimum size=1.5*\ms] % Define positions of all observables \path (0,0) coordinate(1) (6,0 ) coordinate(2) (0,6 ) coordinate(3) (6,6 ) coordinate(4) ; % draw contexts \draw [color=orange] (1) -- (2); \draw [color=blue] (3) -- (4); % %% %% draw atoms %% % \draw (1) coordinate[c3,fill=orange,label={above:\footnotesize $\{1,3\}$}]; % % \draw (2) coordinate[c3,fill=orange,label={above:\footnotesize $\{2,4\}$}]; % % \draw (3) coordinate[c3,fill=blue,label={above:\footnotesize $\{1,2\}$}]; % % \draw (4) coordinate[c3,fill=blue,label={above:\footnotesize $\{3,4\}$}]; % % % \end{tikzpicture} & \begin{tikzpicture} [scale=0.3] \newdimen\ms \ms=0.05cm \tikzstyle{every path}=[line width=1.5pt] \tikzstyle{c3}=[circle,inner sep={\ms/8},minimum size=4.5*\ms] \tikzstyle{c2}=[circle,inner sep={\ms/8},minimum size=3*\ms] \tikzstyle{c1}=[circle,inner sep={\ms/8},minimum size=1.5*\ms] % Define positions of all observables \path (0,0) coordinate(1) (6,0 ) coordinate(2) (0,6 ) coordinate(3) (6,6 ) coordinate(4) ; % draw contexts \draw [color=orange] (1) -- (2); \draw [color=blue] (3) -- (4); % %% %% draw atoms %% % \draw (1) coordinate[c3,fill=orange,label={above:\footnotesize $\frac{1}{\sqrt{2}}\begin{pmatrix}1,1\end{pmatrix}^\intercal$}]; % % \draw (2) coordinate[c3,fill=orange,label={above:\footnotesize $\frac{1}{\sqrt{2}}\begin{pmatrix}1,-1\end{pmatrix}^\intercal$}]; % % \draw (3) coordinate[c3,fill=blue,label={above:\footnotesize $\begin{pmatrix}1,0\end{pmatrix}^\intercal$}]; % % \draw (4) coordinate[c3,fill=blue,label={above:\footnotesize $\begin{pmatrix}0,1\end{pmatrix}^\intercal$}]; % % % \end{tikzpicture} \\ (\textbf{a})&(\textbf{b}) \end{tabular} \caption{Greechie orthogonality (hyper)diagram of a logic consisting of two nonintertwining contexts: (\textbf{a}) the associated (quasi) classical partition logic representations obtained by an inverse construction using all two-valued measures therein~\cite{svozil-2001-eua}; (\textbf{b}) a faithful orthogonal representation~\cite{lovasz-79} rendering a quantum {\it double}. } \label{2019-k-f1} \end{figure} \subsubsection{Two Intertwining Three-Atomic Contexts} In what follows, we shall investigate a ``firefly'' model that has been introduced~(\cite{cohen} Fig~3A.1, p.~22) to investigate a quasi-classical example of an empirical situation occurring in quantized systems with three exclusive outcomes formalized by three-dimensional Hilbert space. It comprises a box with two perpendicular windows and a firefly inside. Suppose that sometimes the firefly radiates some light, and sometimes it does not shine. Suppose further that each one of the two perpendicular windows has a thin vertical line drawn down the center to divide the respective window in half. This configuration allows two types of experiments corresponding to looking through exactly one of the two windows, respectively. Each type of experiment has three outcomes, labeled as follows: \begin{itemize} \item[(i)] ${\bf e}_1$ (first type of experiment) or ${\bf f}_1$ (second type of experiment): the light of the firefly is in the left half of the window; \item[(ii)] ${\bf e}_2$ (first type of experiment) or ${\bf f}_2$ (second type of experiment): the light of the firefly is in the right half of the window; \item[(iii)] ${\bf e}_3$ (first type of experiment) and ${\bf f}_3$ (second type of experiment): the firefly does not shine (does not emit light). \end{itemize} The two observers at the two windows may observe any of the four combinations ${\bf e}_1$ or ${\bf f}_1$, ${\bf e}_1$ or ${\bf f}_2$, ${\bf e}_2$ or ${\bf f}_1$, or ${\bf e}_2$ or ${\bf f}_2$. Ideally, it will always be the case that whenever the first observer registers no light---that is, ${\bf e}_3$---also the second observer will register no light---that is, ${\bf f}_3$---and vice versa. This firefly configuration thus gives rise to two contexts $\{{\bf e}_1, {\bf e}_2, {\bf e}_3\}$ and $\{{\bf f}_1, {\bf f}_2, {\bf f}_3\}$, associated with the two observers, respectively. These contexts are ``tied together'' and intertwine at the ``no light'' event or outcomes ${\bf e}_3$ and ${\bf f}_3$. Together, this results in five conceivable experimental outcomes for two observers, corresponding to five two-valued measures representing these outcomes, respectively. The associated $L_{12}$ firefly logic depicted in Fig.~\ref{2019-k-f-ffl} uses labels for the atoms (elementary propositions) that can be obtained by an ``inverse construction'' using all its five two-valued measures~\cite{svozil-2001-eua,svozil-2016-s}. By design, it will be very similar to the earlier logic with four atoms. With the identifications ${\bf e}_1 \equiv \{1,2\}$, ${\bf e}_2 \equiv \{3,4\}$, ${\bf e}_3 = {\bf f}_3 \equiv \{5\}$, ${\bf f}_1 \equiv \{1,3\}$ and ${\bf f}_2 \equiv \{2,4\}$, we obtain all classical probabilities by identifying $i \rightarrow \lambda_i > 0$. The respective conditional probabilities are \begin{equation} \begin{split} \left[ P( {\cal C}_2 \vert {\cal C}_1 )\right] = \left[ P( \{ {\bf f}_1, {\bf f}_2, {\bf f}_3 \} \vert \{ {\bf e}_1,{\bf e}_2,{\bf e}_3 \} ) \right] \\ \equiv %\begin{bmatrix} %{P({\bf f}_1 \vert {\bf e}_1)} & {P({\bf f}_2 \vert {\bf e}_1)} & {P({\bf f}_3 \vert {\bf e}_1)} \\ %{P({\bf f}_1 \vert {\bf e}_2)} & {P({\bf f}_2 \vert {\bf e}_2)} & {P({\bf f}_3 \vert {\bf e}_2)} \\ %{P({\bf f}_1 \vert {\bf e}_3)} & {P({\bf f}_2 \vert {\bf e}_3)} & {P({\bf f}_3 \vert {\bf e}_3)} %\end{bmatrix} %\\ %= %\begin{bmatrix} %\frac{P({\bf f}_1 \cap {\bf e}_1)}{P({\bf e}_1)} & \frac{P({\bf f}_2 \cap {\bf e}_1)}{P({\bf e}_1)} & \frac{P({\bf f}_3 \cap {\bf e}_1)}{P({\bf e}_1)} \\ %\frac{P({\bf f}_1 \cap {\bf e}_2)}{P({\bf e}_2)} & \frac{P({\bf f}_2 \cap {\bf e}_2)}{P({\bf e}_2)} & \frac{P({\bf f}_3 \cap {\bf e}_2)}{P({\bf e}_2)} \\ %\frac{P({\bf f}_1 \cap {\bf e}_3)}{P({\bf e}_3)} & \frac{P({\bf f}_2 \cap {\bf e}_3)}{P({\bf e}_3)} & \frac{P({\bf f}_3 \cap {\bf e}_3)}{P({\bf e}_3)} %\end{bmatrix} %\\ %= %\begin{bmatrix} %\frac{P( \{1,3\} \cap \{1,2\} )}{P( \{1,2\} )} & \frac{P( \{2,4\} \cap \{1,2\} )}{P( \{1,2\} )} & \frac{P( \{5\} \cap \{1,2\} )}{P( \{1,2\} )} \\ %\frac{P( \{1,3\} \cap \{3,4\} )}{P( \{3,4\} )} & \frac{P( \{2,4\} \cap \{3,4\} )}{P( \{3,4\} )} & \frac{P( \{5\} \cap \{3,4\} )}{P( \{3,4\} )} \\ %\frac{P( \{1,3\} \cap \{5\} )}{P( \{5\} )} & \frac{P( \{2,4\} \cap \{5\} )}{P( \{5\} )} & \frac{P( \{5\} \cap \{5\} )}{P( \{5\} )} %\end{bmatrix} %\\ %= \begin{bmatrix} \frac{P( \{1\} )}{P( \{1,2\} )} & \frac{P( \{2\} )}{P( \{1,2\} )} & \frac{P( \emptyset )}{P( \{1,2\} )} \\ \frac{P( \{3\} )}{P( \{3,4\} )} & \frac{P( \{4\} )}{P( \{3,4\} )} & \frac{P( \emptyset )}{P( \{3,4\} )} \\ \frac{P( \emptyset )}{P( \{5\} )} & \frac{P( \emptyset )}{P( \{5\} )} & \frac{P( \{5\} )}{P( \{5\} )} \end{bmatrix} = \begin{bmatrix} \frac{ \lambda_1 }{ \lambda_1+\lambda_2 } & \frac{ \lambda_2 }{ \lambda_1+\lambda_2 } & 0 \\ \frac{ \lambda_3 }{ \lambda_3+\lambda_4 } & \frac{ \lambda_4 }{ \lambda_3+\lambda_4 } & 0 \\ 0 & 0 & 1 \end{bmatrix}, \end{split} \end{equation} as well as \begin{equation} \begin{split} \left[ P( {\cal C}_1 \vert {\cal C}_2 )\right] = \left[ P( \{ {\bf e}_1, {\bf e}_2, {\bf e}_3 \} \vert \{ {\bf f}_1,{\bf f}_2,{\bf f}_3 \} ) \right] \\ \equiv %\begin{bmatrix} %{P({\bf e}_1 \vert {\bf f}_1)} & {P({\bf e}_2 \vert {\bf f}_1)} & {P({\bf e}_3 \vert {\bf f}_1)} \\ %{P({\bf e}_1 \vert {\bf f}_2)} & {P({\bf e}_2 \vert {\bf f}_2)} & {P({\bf e}_3 \vert {\bf f}_2)} \\ %{P({\bf e}_1 \vert {\bf f}_3)} & {P({\bf e}_2 \vert {\bf f}_3)} & {P({\bf e}_3 \vert {\bf f}_3)} %\end{bmatrix} %\\ %= %\begin{bmatrix} %\frac{P({\bf e}_1 \cap {\bf f}_1)}{P({\bf f}_1)} & \frac{P({\bf e}_2 \cap {\bf f}_1)}{P({\bf f}_1)} & \frac{P({\bf e}_3 \cap {\bf f}_1)}{P({\bf f}_1)} \\ %\frac{P({\bf e}_1 \cap {\bf f}_2)}{P({\bf f}_2)} & \frac{P({\bf e}_2 \cap {\bf f}_2)}{P({\bf f}_2)} & \frac{P({\bf e}_3 \cap {\bf f}_2)}{P({\bf f}_2)} \\ %\frac{P({\bf e}_1 \cap {\bf f}_3)}{P({\bf f}_3)} & \frac{P({\bf e}_2 \cap {\bf f}_3)}{P({\bf f}_3)} & \frac{P({\bf e}_3 \cap {\bf f}_3)}{P({\bf f}_3)} %\end{bmatrix} %\\ %= %\begin{bmatrix} %\frac{P( \{1,2\} \cap \{1,3\} )}{P( \{1,3\} )} & \frac{P( \{3,4\} \cap \{1,3\} )}{P( \{1,3\} )} & \frac{P( \{5\} \cap \{1,3\} )}{P( \{1,3\} )} \\ %\frac{P( \{1,2\} \cap \{2,4\} )}{P( \{2,4\} )} & \frac{P( \{3,4\} \cap \{2,4\} )}{P( \{2,4\} )} & \frac{P( \{5\} \cap \{2,4\} )}{P( \{2,4\} )} \\ %\frac{P( \{1,2\} \cap \{5\} )}{P( \{5\} )} & \frac{P( \{3,4\} \cap \{5\} )}{P( \{5\} )} & \frac{P( \{5\} \cap \{5\} )}{P( \{5\} )} %\end{bmatrix} %\\ %= \begin{bmatrix} \frac{P( \{1\} )}{P( \{1,3\} )} & \frac{P( \{3\} )}{P( \{1,3\} )} & \frac{P( \emptyset )}{P( \{1,3\} )} \\ \frac{P( \{2\} )}{P( \{2,4\} )} & \frac{P( \{4\} )}{P( \{2,4\} )} & \frac{P( \emptyset )}{P( \{2,4\} )} \\ \frac{P( \emptyset )}{P( \{5\} )} & \frac{P( \emptyset )}{P( \{5\} )} & \frac{P( \{5\} )}{P( \{5\} )} \end{bmatrix} = \begin{bmatrix} \frac{ \lambda_1 }{ \lambda_1+\lambda_3 } & \frac{ \lambda_3 }{ \lambda_1+\lambda_3 } & 0 \\ \frac{ \lambda_2 }{ \lambda_2+\lambda_4 } & \frac{ \lambda_4 }{ \lambda_2+\lambda_4 } & 0 \\ 0 & 0 & 1 \end{bmatrix} . \end{split} \label{2019-k-e-fireflyrsm} \end{equation} The conditional probabilities of the firefly logic, as depicted in Figure~\ref{2019-k-f-ffl}a, and enumerated in Equation~(\ref{2019-k-e-fireflyrsm}) form a right stochastic matrix. As mentioned earlier, given any particular outcome ${\bf f}_i$ of the second context corresponding to some respective row in the matrix~(\ref{2019-k-e-fireflyrsm}), the row-sum of the conditional probabilities of all the conceivable mutually exclusive outcomes of the first context $ {\cal C}_1 = \{ {\bf e}_1,{\bf e}_2,{\bf e}_3 \}$ must be one. However, the ``transposed'' statement is not true. The column-sum of the conditional probabilities of a particular element ${\bf e}_j$ with respect to all the mutually exclusive outcomes of the second context $ {\cal C}_2 = \{ {\bf f}_1,{\bf f}_2,{\bf f}_3 \}$ needs not be one. \begin{figure}[H] \begin{tabular}{cc} \begin{tikzpicture} [scale=0.2] \newdimen\ms \ms=0.05cm \tikzstyle{every path}=[line width=1.5pt] \tikzstyle{c3}=[circle,inner sep={\ms/8},minimum size=4.5*\ms] \tikzstyle{c2}=[circle,inner sep={\ms/8},minimum size=3*\ms] \tikzstyle{c1}=[circle,inner sep={\ms/8},minimum size=1.5*\ms] % Radius of regular polygons \newdimen\R \R=6cm % outer circle %\r= { \R * sqrt(3) } % inner circle %\newdimen\r %\r= {\R * sqrt(3)/2} % inner circle %\newdimen\K %\K=3cm % Define positions of all observables \path (0,6 ) coordinate(1) (3,3 ) coordinate(2) (6,0 ) coordinate(3) (9,3) coordinate(4) (12,6 ) coordinate(5) ; % draw contexts \draw [color=orange] (1) -- (2) -- (3); \draw [color=blue] (3) -- (4) -- (5); % %% %% draw atoms %% % \draw (1) coordinate[c3,fill=orange,label={above:\footnotesize $\{1,2\}$}]; % % \draw (2) coordinate[c3,fill=orange,label={left:\footnotesize $\{3,4\}$}]; % % \draw (3) coordinate[c3,fill=blue,label={below:\footnotesize $\{5\}$}]; % \draw (3) coordinate[c2,fill=orange]; % % \draw (4) coordinate[c3,fill=blue,label={right:\footnotesize $\{2,4\}$}]; % % \draw (5) coordinate[c3,fill=blue,label={above:\footnotesize $\{1,3\}$}]; % % % \end{tikzpicture} & \begin{tikzpicture} [scale=0.2] \newdimen\ms \ms=0.05cm \tikzstyle{every path}=[line width=1.5pt] \tikzstyle{c3}=[circle,inner sep={\ms/8},minimum size=4.5*\ms] \tikzstyle{c2}=[circle,inner sep={\ms/8},minimum size=3*\ms] \tikzstyle{c1}=[circle,inner sep={\ms/8},minimum size=1.5*\ms] % Radius of regular polygons \newdimen\R \R=6cm % outer circle %\r= { \R * sqrt(3) } % inner circle %\newdimen\r %\r= {\R * sqrt(3)/2} % inner circle %\newdimen\K %\K=3cm % Define positions of all observables \path (0,6 ) coordinate(1) (3,3 ) coordinate(2) (6,0 ) coordinate(3) (9,3) coordinate(4) (12,6 ) coordinate(5) ; % draw contexts \draw [color=orange] (1) -- (2) -- (3); \draw [color=blue] (3) -- (4) -- (5); % %% %% draw atoms %% % \draw (1) coordinate[c3,fill=orange,label={above:\footnotesize $\begin{pmatrix}1,0,0\end{pmatrix}^\intercal$}]; % % \draw (2) coordinate[c3,fill=orange,label={left:\footnotesize $\begin{pmatrix}0,1,0\end{pmatrix}^\intercal$}]; % % \draw (3) coordinate[c3,fill=blue,label={below:\footnotesize $\begin{pmatrix}0,0,1\end{pmatrix}^\intercal$}]; % \draw (3) coordinate[c2,fill=orange]; % % \draw (4) coordinate[c3,fill=blue,label={right:\footnotesize $\frac{1}{\sqrt{2}}\begin{pmatrix}1,1,0\end{pmatrix}^\intercal$}]; % % \draw (5) coordinate[c3,fill=blue,label={above:\footnotesize $\frac{1}{\sqrt{2}}\begin{pmatrix}1,-1,0\end{pmatrix}^\intercal$}]; % % % \end{tikzpicture} \\ (\textbf{a})&(\textbf{b}) \\ \begin{tikzpicture} [scale=0.2] \newdimen\ms \ms=0.05cm \tikzstyle{every path}=[line width=1.5pt] \tikzstyle{s1}=[color=red,inner sep=2,rectangle,minimum size=6] \tikzstyle{c2}=[circle,inner sep=2,minimum size=4] % Radius of regular polygons \newdimen\R \R=6cm % outer circle %\r= { \R * sqrt(3) } % inner circle %\newdimen\r %\r= {\R * sqrt(3)/2} % inner circle %\newdimen\K %\K=3cm % Define positions of all observables \path (0,6 ) coordinate(1) (3,3 ) coordinate(2) (6,0 ) coordinate(3) (9,3) coordinate(4) (12,6 ) coordinate(5) ; % draw contexts \draw [color=orange] (1) -- (2) -- (3); \draw [color=blue] (3) -- (4) -- (5); % %% %% draw atoms %% % \draw (1) coordinate[s1,fill=red,label={above:\footnotesize $\{1,2\}$}]; % % \draw (2) coordinate[c2,fill=green,label={left:\footnotesize $\{3,4\}$}]; % % \draw (3) coordinate[c2,fill=green,label={below:\footnotesize $\{5\}$}]; % \draw (3) coordinate[c2,fill=green]; % % \draw (4) coordinate[c2,fill=green,label={right:\footnotesize $\{2,4\}$}]; % % \draw (5) coordinate[s1,fill=red,label={above:\footnotesize $\{1,3\}$}]; % % % \end{tikzpicture} & \begin{tikzpicture} [scale=0.2] \newdimen\ms \ms=0.05cm \tikzstyle{every path}=[line width=1.5pt] \tikzstyle{s1}=[color=red,inner sep=2,rectangle,minimum size=6] \tikzstyle{c2}=[circle,inner sep=2,minimum size=4] % Radius of regular polygons \newdimen\R \R=6cm % outer circle %\r= { \R * sqrt(3) } % inner circle %\newdimen\r %\r= {\R * sqrt(3)/2} % inner circle %\newdimen\K %\K=3cm % Define positions of all observables \path (0,6 ) coordinate(1) (3,3 ) coordinate(2) (6,0 ) coordinate(3) (9,3) coordinate(4) (12,6 ) coordinate(5) ; % draw contexts \draw [color=orange] (1) -- (2) -- (3); \draw [color=blue] (3) -- (4) -- (5); % %% %% draw atoms %% % \draw (1) coordinate[s1,fill=red,label={above:\footnotesize $\begin{pmatrix}1,0,0\end{pmatrix}^\intercal$}]; % % \draw (2) coordinate[c2,fill=green,label={left:\footnotesize $\begin{pmatrix}0,1,0\end{pmatrix}^\intercal$}]; % % \draw (3) coordinate[c2,fill=green,label={below:\footnotesize $\begin{pmatrix}0,0,1\end{pmatrix}^\intercal$}]; % \draw (3) coordinate[c2,fill=green]; % % \draw (4) coordinate[c2,fill=gray,label={right:\footnotesize $\frac{1}{\sqrt{2}}\begin{pmatrix}1,1,0\end{pmatrix}^\intercal$}]; % % \draw (5) coordinate[c2,fill=gray,label={above:\footnotesize $\frac{1}{\sqrt{2}}\begin{pmatrix}1,-1,0\end{pmatrix}^\intercal$}]; % % % \end{tikzpicture} \\ (\textbf{c})&(\textbf{d}) \end{tabular} \caption{Greechie orthogonality (hyper)diagram of the $L_{12}$ ``firefly'' logic: (\textbf{a}) the associated (quasi)classical partition logic representation obtained through in inverse construction using all two-valued measures therein~\cite{svozil-2001-eua}; (\textbf{b}) a faithful orthogonal representation~\cite{lovasz-79} rendering a quantum {\it double}; (\textbf{c}) the ``classical'' two-valued measure or truth assignment number one (of five); (\textbf{d}) a pure quantum state prepared as $\begin{pmatrix}1,0,0\end{pmatrix}^\intercal$. A red square and gray and green circles indicate value assignments $1$, $\frac{1}{2}$ and $0$, respectively. } \label{2019-k-f-ffl} \end{figure} Take, for example, the singular distribution case such that $\lambda_1=1$, and therefore, by positivity and convexity, $\lambda_{i \neq 1}=0$; that is, $\lambda_2=\lambda_3=\lambda_4=\lambda_5=0$. This configuration, depicted in Fig.~\ref{2019-k-f-ffl}(c), results in the following, partial (undefined components are indicated by the symbol ``$\frac{0}{0}$'') right stochastic matrix~(\ref{2019-k-e-fireflyrsm-be}) derived from~(\ref{2019-k-e-fireflyrsm}): \begin{equation} \begin{split} \begin{bmatrix} \frac{P( \{1\} )}{P( \{1,3\} )} & \frac{P( \{3\} )}{P( \{1,3\} )} & \frac{P( \emptyset )}{P( \{1,3\} )} \\ \frac{P( \{2\} )}{P( \{2,4\} )} & \frac{P( \{4\} )}{P( \{2,4\} )} & \frac{P( \emptyset )}{P( \{2,4\} )} \\ \frac{P( \emptyset )}{P( \{5\} )} & \frac{P( \emptyset )}{P( \{5\} )} & \frac{P( \{5\} )}{P( \{5\} )} \end{bmatrix} \\ = \begin{bmatrix} \frac{ \lambda_1 }{ \lambda_1+\lambda_3 } & \frac{ \lambda_3 }{ \lambda_1+\lambda_3 } & 0 \\ \frac{ \lambda_2 }{ \lambda_2+\lambda_4 } & \frac{ \lambda_4 }{ \lambda_2+\lambda_4 } & 0 \\ 0 & 0 & 1 \end{bmatrix} = \begin{bmatrix} 1 & 0 & 0 \\ \frac{0}{0} & \frac{0}{0} & 0 \\ 0 & 0 & 1 \end{bmatrix} . \label{2019-k-e-fireflyrsm-be} \end{split} \end{equation} {In} such a case, in terms of, say, a generalized urn model, the observable proposition $\{2,4\}$ associated with the plaintext {\em ``looked upon in the first color (in this case blue), the ball drawn from the urn shows the symbols $2$ or $4$''} will never occur; regardless of which ball type associated with the other context $\{1,2\}$, $\{3,4\}$ or $\{5\}$ one would have (counterfactually) drawn because the generalized urn is only loaded with balls of one type, namely the first type, with the symbol ``$\{1,2\}$'' painted on them in the first color, and the symbols ``$\{1,3\}$'' painted on them in the second color. (Instead of labels indicating the elements of the partition, one may choose other symbols, such as $\{1,3\} \equiv a \equiv \{1,2\}$, $\{2,4\} \equiv b \equiv \{3,4\}$ and $c \equiv \{5\}$, in the respective colors~\cite{svozil-2001-eua,svozil-2008-ql}.) Ultimately, one may say that it is the {\em discontinuity} of the two-valued measures which ``prevents'' the quasiclassical conditional probabilities to be arranged in a bistochastic matrix. A similar quantum realization could, for instance, be obtained by the three-dimensional faithful orthogonal representation~\cite{lovasz-79} $\{1,2\} \equiv \begin{pmatrix}1,0,0\end{pmatrix}^\intercal$, $\{3,4\} \equiv \begin{pmatrix}0,1,0\end{pmatrix}^\intercal$, $\{5\} \equiv \begin{pmatrix}0,0,1\end{pmatrix}^\intercal$, $\{1,3\} \equiv (1/\sqrt{2})\begin{pmatrix}1,1,0\end{pmatrix}^\intercal$ and $\{2,4\} \equiv (1/\sqrt{2})\begin{pmatrix}1,-1,0\end{pmatrix}^\intercal$. Preparition ( ``loading the quantum urn'') with state $\{1,2\} \equiv \begin{pmatrix}1,0,0\end{pmatrix}^\intercal$, as depicted in Fig.~\ref{2019-k-f-ffl}(d), yields the quantum bistochastic matrix % ~(\ref{2019-k-e-fireflyrsm-beq}) %\resizebox{.50\textwidth}{!}{ %%%%%%%%%%%%%%%%%%\begin{widetext} \begin{equation} \begin{split} \left[ P \left( \left\{ \begin{pmatrix}1 \\ 0 \\ 0\end{pmatrix} , \begin{pmatrix}0 \\ 1 \\ 0\end{pmatrix} ,\begin{pmatrix}0 \\ 0 \\ 1\end{pmatrix} \right\} \middle\vert \left\{\begin{pmatrix} \frac{1}{\sqrt{2}} \\ \frac{1}{\sqrt{2}} \\ 0\end{pmatrix} , \begin{pmatrix} \frac{1}{\sqrt{2}} \\ -\frac{1}{\sqrt{2}} \\ 0\end{pmatrix} ,\begin{pmatrix}0 \\ 0 \\ 1\end{pmatrix} \right\} \right) \right] %\\ = \begin{bmatrix} \frac{1}{ {2}} & \frac{1}{ {2}} & 0 \\ \frac{1}{ {2}} & \frac{1}{ {2}} & 0 \\ 0 & 0 & 1 \end{bmatrix} . \end{split} \label{2019-k-e-fireflyrsm-beq} \end{equation} %%%%%%%%%%%%%%%%%%\end{widetext} %} \subsubsection{Different Intrinsically Operational State Preparation} A different approach to partition logic would be to insist that only {\em intrinsical}---that is, for any embedded observer having access to means and methods available ``from within'' the system---operational state preparations should be allowed. In such a scenario, it is operationally impossible for an observer with access to only one context---in the generalized urn model only one color---to single out the particular type of two-valued measure (ball). Thereby, effectively any state preparation is reduced to the elements of the partition in the respective context (color). Therefore, in the earlier firefly model depicted in Fig.~\ref{2019-k-f-ffl}, the intrinsic operational resolution is among the {\em subsets resulting from the unions of two-valued states} in $\{1,2\}$, $\{3,4\}$ and $\{5\}$ in the first context (color); and among $\{1,3\}$, $\{2,4\}$ and $\{5\}$ in the second context ( color), as opposed to the single two-valued state discussed earlier. Stated differently, an observer accessing a generalized urn in the first context (color) is not capable to differentiate between the first and the second two-valued measure (ball type), and would produce a mixture among them if asked to prepare the state $\{1,2\}$. Similarly, the observer would not be able to differentiate between the third and the fourth two-valued measure (ball type) and would thus produce a mixture between those when preparing the state $\{3,4\}$. However, the ball type $\{5\}$ is recognized and prepared without ambiguity. Indeed, if one assumes equidistribution (uniform mixtures~(\cite{Auffeves-Grangier-2015} Assumption~1)) of measures (ball types), a very similar situation as in quantum mechanics [cf Figure~\ref{2019-k-f-ffl}(d), Equation~(\ref{2019-k-e-fireflyrsm-beq})] would result as $\lambda_1=\lambda_2=\lambda_3=\lambda_4=\lambda_5=\frac{1}{5}$, and one would thus ``recover'' the matrix in Equation~(\ref{2019-k-e-fireflyrsm-beq}). Pointedly stated, there is an epistemic issue of state preparation. If one demands that the state has to be prepared by the distinctions accessible from a single context (color in the generalized urn model), then there is no way to prepare or access "ontologic states", say, selecting balls of type $1$ (first two-valued measure) only. The difference is subtle. In the ``ontic'' state case, one can resolve (and has access to) every single two-valued measure (ball type). In the ``epistemic,'' intrinsic, operational state case, one is limited to the operational procedures available. For example, one cannot ``take off the colored glasses'' in Wright's generalized urn model. That is, the resolution of balls is limited to whatever types can be differentiated in that color. Whenever such a scenario is considered, the respective matrices representing all conditional probabilities may be very different from the previous scenarios. Indeed, one may suspect that with the assumption of preservation of equidistributed uniform mixtures across context changes, the respective matrices are bistochastic (at least for equidistributed urns) because of a certain type of ``epistemic continuity''. The sum of the conditional probabilities for any particular outcome of the second context relative to all other outcomes of the first context should add up to unity. \subsubsection{Pentagon/Pentagram/House Logic with Five Cyclically Intertwining Three-Atomic Contexts} By now, it should be clear how classical conditional probabilities work on partition logics. Consider one more example: the pentagon/pentagram/(orthomodular) house~(\cite{kalmbach-83} [p.~46, Fig.~4.4]) logic in Figure~\ref{2019-k-f-pentagon}. Labels of the atoms (elementary propositions) are again obtained by an ``inverse construction'' using all 11 two-valued measures thereon~\cite{wright:pent}. Take, for example, one of the two contexts ${\cal C}_4=\{ \{ 2,7,8\}, \{ 1,3,9,10,11 \}, \{ 4,5,6 \} \}$ ``opposite'' to the context ${\cal C}_1=\{ \{ 1,2,3\}, \{ 4,5,7,9,11\}, \{ 6,8,10 \} \}$. \begin{figure}[H]%[htpb] \begin{tikzpicture} [scale=0.3] \newdimen\ms \ms=0.05cm \tikzstyle{every path}=[line width=1.5pt] \tikzstyle{c3}=[circle,inner sep={\ms/8},minimum size=4.5*\ms] \tikzstyle{c2}=[circle,inner sep={\ms/8},minimum size=3*\ms] \tikzstyle{c1}=[circle,inner sep={\ms/8},minimum size=1.5*\ms] % Radius of regular polygons \newdimen\R \R=6cm % outer circle %\r= { \R * sqrt(3) } % inner circle %\newdimen\r %\r= {\R * sqrt(3)/2} % inner circle %\newdimen\K %\K=3cm % Define positions of all observables \path ({90 + 0 * 360 /5}:\R ) coordinate(1) ({90 + 36 + 0 * 360 /5}:{\R * sqrt((25+10*sqrt(5))/(50+10*sqrt(5)))} ) coordinate(2) ({90 + 1 * 360 /5}:\R ) coordinate(3) ({90 + 36 + 1 * 360 /5}:{\R * sqrt((25+10*sqrt(5))/(50+10*sqrt(5)))} ) coordinate(4) ({90 + 2 * 360 /5}:\R ) coordinate(5) ({90 + 36 + 2 * 360 /5}:{\R * sqrt((25+10*sqrt(5))/(50+10*sqrt(5)))} ) coordinate(6) ({90 + 3 * 360 /5}:\R ) coordinate(7) ({90 + 36 + 3 * 360 /5}:{\R * sqrt((25+10*sqrt(5))/(50+10*sqrt(5)))} ) coordinate(8) ({90 + 4 * 360 /5}:\R ) coordinate(9) ({90 + 36 + 4 * 360 /5}:{\R * sqrt((25+10*sqrt(5))/(50+10*sqrt(5)))} ) coordinate(10) ; % draw contexts \draw [color=orange] (1) -- (2) -- (3); \draw [color=red] (3) -- (4) -- (5); \draw [color=green] (5) -- (6) -- (7); \draw [color=blue] (7) -- (8) -- (9); \draw [color=magenta] (9) -- (10) -- (1); % % %% %% draw atoms %% % \draw (1) coordinate[c3,fill=orange,label=90:{\footnotesize $\{ 1,2,3\} $}]; % \draw (1) coordinate[c2,fill=magenta]; % % \draw (2) coordinate[c3,fill=orange,label={above left:\footnotesize $\{ 7,8,9,10,11\}$}]; % % \draw (3) coordinate[c3,fill=red,label={left:\footnotesize $\{ 4,5,6\} $}]; % \draw (3) coordinate[c2,fill=orange]; % % \draw (4) coordinate[c3,fill=red,label={left:\footnotesize $\{ 1,3,9,10,11\}$}]; % % \draw (5) coordinate[c3,fill=green,label={left:\footnotesize $\{ 2,7,8\} $}]; % \draw (5) coordinate[c2,fill=red]; % % \draw (6) coordinate[c3,fill=green,label={below:\footnotesize $\{ 1,4,6,10,11\} $}]; % \draw (7) coordinate[c3,fill=blue,label={right:\footnotesize $\{ 3,5,9\}$}]; % \draw (7) coordinate[c2,fill=green]; % % \draw (8) coordinate[c3,fill=blue,label={right:\footnotesize $\{ 1,2,4,7,11\}$}]; % % \draw (9) coordinate[c3,fill=magenta,label={right:\footnotesize $\{ 6,8,10\}$}]; \draw (9) coordinate[c2,fill=blue]; % % \draw (10) coordinate[c3,fill=magenta,label={above right:\footnotesize $\{ 4,5,7,9,11\}$}]; % % % \end{tikzpicture} \caption{Greechie orthogonality (hyper)diagram of the pentagon/pentagram/house logic, based on eleven two-valued states. } \label{2019-k-f-pentagon} \end{figure} With the identifications ${\bf e}_1 \equiv \{1,2,3\}$, ${\bf e}_2 \equiv \{4,5,7,9,11\}$, ${\bf e}_3 \equiv \{6,8,10\}$, ${\bf f}_1 \equiv \{2,7,8\}$, ${\bf f}_2 \equiv \{1,3,9,10,11\}$, and ${\bf f}_3 \equiv \{4,5,6\}$. The respective conditional probabilities are %%%%%%%%%%%%%%%%%%\begin{widetext} \begin{equation} \begin{split} \left[ P( {\cal C}_2 \vert {\cal C}_1 )\right] = \left[ P( \{ {\bf f}_1, {\bf f}_2, {\bf f}_3 \} \vert \{ {\bf e}_1,{\bf e}_2,{\bf e}_3 \} ) \right] \\ \equiv %\begin{bmatrix} %{P({\bf f}_1 \vert {\bf e}_1)} & {P({\bf f}_2 \vert {\bf e}_1)} & {P({\bf f}_3 \vert {\bf e}_1)} \\ %{P({\bf f}_1 \vert {\bf e}_2)} & {P({\bf f}_2 \vert {\bf e}_2)} & {P({\bf f}_3 \vert {\bf e}_2)} \\ %{P({\bf f}_1 \vert {\bf e}_3)} & {P({\bf f}_2 \vert {\bf e}_3)} & {P({\bf f}_3 \vert {\bf e}_3)} %\end{bmatrix} %= %\begin{bmatrix} %\frac{P({\bf f}_1 \cap {\bf e}_1)}{P({\bf e}_1)} & \frac{P({\bf f}_2 \cap {\bf e}_1)}{P({\bf e}_1)} & \frac{P({\bf f}_3 \cap {\bf e}_1)}{P({\bf e}_1)} \\ %\frac{P({\bf f}_1 \cap {\bf e}_2)}{P({\bf e}_2)} & \frac{P({\bf f}_2 \cap {\bf e}_2)}{P({\bf e}_2)} & \frac{P({\bf f}_3 \cap {\bf e}_2)}{P({\bf e}_2)} \\ %\frac{P({\bf f}_1 \cap {\bf e}_3)}{P({\bf e}_3)} & \frac{P({\bf f}_2 \cap {\bf e}_3)}{P({\bf e}_3)} & \frac{P({\bf f}_3 \cap {\bf e}_3)}{P({\bf e}_3)} %\end{bmatrix} %\\ %= \begin{bmatrix} \frac{P( \{2,7,8\} \cap \{1,2,3\} )}{P( \{1,2,3\} )} & \frac{P( \{1,3,9,10,11\} \cap \{1,2,3\} )}{P( \{1,2,3\} )} & \frac{P( \{4,5,6\} \cap \{1,2,3\} )}{P( \{1,2,3\} )} \\ \frac{P( \{2,7,8\} \cap \{4,5,7,9,11\} )}{P( \{4,5,7,9,11\} )} & \frac{P( \{1,3,9,10,11\} \cap \{4,5,7,9,11\} )}{P( \{4,5,7,9,11\} )} & \frac{P( \{4,5,6\} \cap \{4,5,7,9,11\} )}{P( \{4,5,7,9,11\} )} \\ \frac{P( \{2,7,8\} \cap \{6,8,10\} )}{P( \{6,8,10\} )} & \frac{P( \{1,3,9,10,11\} \cap \{6,8,10\} )}{P( \{6,8,10\} )} & \frac{P( \{4,5,6\} \cap \{6,8,10\} )}{P( \{6,8,10\} )} \end{bmatrix} \\ = \begin{bmatrix} \frac{P( \{2\} )}{P( \{1,2,3\} )} & \frac{P( \{1,3\} )}{P( \{1,2,3\} )} & \frac{P( \emptyset)}{P( \{1,2,3\} )} \\ \frac{P( \{7\} )}{P( \{4,5,7,9,11\} )} & \frac{P( \{11\} )}{P( \{4,5,7,9,11\} )} & \frac{P( \{4,5 \} )}{P( \{4,5,7,9,11\} )} \\ \frac{P( \{8\} )}{P( \{6,8,10\} )} & \frac{P( \{10\} )}{P( \{6,8,10\} )} & \frac{P( \{6\} )}{P( \{6,8,10\} )} \end{bmatrix} \\ = \begin{bmatrix} \frac{ \lambda_2 }{ \lambda_1+\lambda_2 +\lambda_3} & \frac{ \lambda_1 + \lambda_3 }{\lambda_1+\lambda_2 +\lambda_3 } & 0 \\ \frac{ \lambda_7 }{ \lambda_4+\lambda_5 + \lambda_7+\lambda_9 +\lambda_{11} } & \frac{ \lambda_9 + \lambda_{11}}{ \lambda_4+\lambda_5 + \lambda_7+\lambda_9 +\lambda_{11} } & \frac{ \lambda_4+\lambda_5 }{ \lambda_4+\lambda_5 + \lambda_7+\lambda_9 +\lambda_{11} } \\ \frac{ \lambda_8 }{ \lambda_6+\lambda_8+\lambda_{10} } & \frac{ \lambda_{10} }{ \lambda_6+\lambda_8+\lambda_{10} } & \frac{ \lambda_6 }{ \lambda_6+\lambda_8+\lambda_{10} } \end{bmatrix}. \end{split} \end{equation} %%%%%%%%%%%%%%%%%%\end{widetext} \section{Greechie and Wright'S Twelfth Dispersionless State on the Pentagon/Pentagram/House Logic} Despite the aforementioned 11 two-valued states, there exists another dispersionless state on cyclic pastings of an odd number of contexts, namely, a state being equal to $\frac{1}{2}$ on all intertwines/bi-connections~\cite{greechie-1974,wright:pent}. This state and its associated probability distribution are neither realizable by quantum nor by classical probability distributions. In this case, the conditional probabilities of any two distinct contexts ${\cal C}_i$ and ${\cal C}_j$, for $1\le i,j \le 5$ are \begin{equation} \begin{split} \left[ P( {\cal C}_i \vert {\cal C}_j )\right] \equiv \begin{bmatrix} \frac{ 1 }{ 2 } & 0 & \frac{ 1 }{ 2 } \\ 0 & 0 & 0 \\ \frac{ 1 }{ 2 } & 0 & \frac{ 1 }{ 2 } \end{bmatrix} . \end{split} \end{equation} \section{Three-Colorable Dense Points on the Sphere} There exist dense subsets of the unit sphere in three dimensions which require just three colors for associating different colors within every mutually orthogonal triple of (unit) vectors~\cite{godsil-zaks,meyer:99,havlicek-2000} forming an orthonormal basis. By identifying two of these colors with the value ``$0$'', and the remaining color with the value ``$1$'', one obtains a two-valued measure on this ``reduced'' sphere. The resulting conditional probabilities are discontinuous. \section{Extrema of Conditional Probabilities in Row and Doubly Stochastic Matrices} The row stochastic matrices representing conditional probabilities form a polytope in $\mathbb{R}^{n^2}$ whose vertices are the $n^n$ matrices $\textsf{\textbf{T}}_i$, $i= 1, \ldots , n^n$, with exactly one entry $1$ in each row~(\cite{Berman-Plemmons-NNM} {p.~49).} Therefore, a row stochastic matrix can be represented as the convex sum $\sum_{i=1}^{n^n} \lambda_i \textsf{\textbf{T}}_i$, with nonnegative $\lambda_i \ge 0$ and $\sum_{i=1}^{n^n} \lambda_i =1$. For conditional probabilities yielding doubly stochastic matrices, such as, for instance, the quantum case, the Birkhoff theorem~\cite{marcus-1960} yields more restricted linear bounds. It states that any doubly stochastic $(n\times n)$--matrix is the convex hull of $m\le (n-1)^2+1 \le n!$ permutation matrices. That is, if $\textsf{\textbf{A}}\equiv a_{ij}$ is a doubly stochastic matrix such that $a_{ij} \ge 0$ and $ \sum_{i=1}^n a_{ij} = \sum_{i=1}^n a_{ji} =1 $ for $1\le i,j \le n$, then there exists a convex sum decomposition $\textsf{\textbf{A}} =\sum_{k=1}^{m \le (n-1)^2+1 \le n!} \lambda_k \textsf{\textbf{P}}_k$ in terms of $m\le (n-1)^2+1$ linear independent permutation matrices $\textsf{\textbf{P}}_k$ such that $\lambda_k \ge 0$ and $\sum_{k=1}^{m \le (n-1)^2+1 \le n!} \lambda_k =1$. \section{Summary} I have attempted to sketch a generalized probability theory for multi-context configurations of observables which may or may not be embeddable into a single classical Boolean algebra. Complementarity and distinct contexts require an extension of the Kolmogorov axioms. This has been achieved by an additional axiom ascertaining that the conditional probabilities of observables in one context, given the occurrence of observables in another context, form a stochastic matrix. Various models have been discussed. In the case of doubly stochastic matrices, linear bounds have been derived from the convex hull of permutation matrices. \vspace{6pt} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \funding{This research was funded in whole, or in part, by the Austrian Science Fund (FWF), Project No. I 4579-N. Open Access Funding by the Austrian Science Fund (FWF).} \dataavailability{Not applicable} \acknowledgments{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 acknowledges an invitation to the Santiago based IFICC, where enlightening discussions with Tomas Veloz and Philippe Grangier took place. All misconceptions and errors are mine. Valuable comments and suggestions by two Referees are gratefully acknowledged. } \conflictsofinterest{The author declares no conflict of interest.} \ifx\revtex\undefined \begin{adjustwidth}{-\extralength}{0cm} %\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} \begin{thebibliography}{999} \bibitem[Schr{\"{o}}dinger(1951)]{book:1170675} \textls[-25]{Schr{\"{o}}dinger, E. \newblock {\em My View of the World}; Cambridge University Press: Cambridge, UK, 1951. \newblock { {https://doi.org/10.1017/CBO9781107049710}}.} \bibitem[Aerts(1982)]{aerts:82} Aerts, D. \newblock Example of a macroscopic classical situation that violates {B}ell inequalities. \newblock {\em Lett. Nuovo C.} {\bf 1982}, {\em 34},~107--111. \newblock { {https://doi.org/10.1007/bf02817207}}. \bibitem[Aerts(1986)]{aerts-69} Aerts, D. \newblock A possible explanation for the probabilities of quantum mechanics. \newblock {\em J. Math. Phys.} {\bf 1986}, {\em 27},~202--210. \newblock { {https://doi.org/10.1063/1.527362}}. \bibitem[Khrennikov(2010)]{Khrennikov2010} Khrennikov, A.Y. \newblock {\em Ubiquitous Quantum Structure}; Springer: Berlin/Heidelberg, Germany, 2010. \newblock { {https://doi.org/10.1007/978-3-642-05101-2}}. \bibitem[Dzhafarov \em{et~al.}(2017)Dzhafarov, Cervantes, and Kujala]{Dzhafarov-2017} Dzhafarov, E.N.; Cervantes, V.H.; Kujala, J.V. \newblock Contextuality in canonical systems of random variables. \newblock {\em Philos. Trans. R. Soc. Math. Phys. Eng. Sci.} {\bf 2017}, {\em 375},~20160389, %\href{http://xxx.lanl.gov/abs/arXiv:1703.01252}{{\normalfont % [arXiv:1703.01252]}}. \newblock { {https://doi.org/10.1098/rsta.2016.0389}}. \bibitem[Gleason(1957)]{Gleason} Gleason, A.M. \newblock Measures on the closed subspaces of a {H}ilbert space. \newblock {\em J. Math. Mech. (Now Indiana Univ. Math. J.)} {\bf 1957}, {\em 6},~885--893. \newblock { {https://doi.org/10.1512/iumj.1957.6.56050}}. \bibitem[Specker(1960)]{specker-60} Specker, E. \newblock {D}ie {L}ogik nicht gleichzeitig entscheidbarer {A}ussagen. \newblock {\em Dialectica} {\bf 1960}, {\em 14},~239--246, % \href{http://xxx.lanl.gov/abs/arXiv:1103.4537}{{\normalfont % [arXiv:1103.4537]}}. %MDPI: Please check if it is necessary, can be deleted? \newblock English translation at {https://arxiv.org/abs/1103.4537}, { {https://doi.org/10.1111/j.1746-8361.1960.tb00422.x}}. \bibitem[Svozil(2020)]{svozil-2020-c} Svozil, K. \newblock Classical Predictions for Intertwined Quantum Observables Are Contingent and Thus Inconclusive. \newblock {\em Quantum Rep.} {\bf 2020}, {\em 2},~278--292, % \href{http://xxx.lanl.gov/abs/arXiv:1808.00813}{{\normalfont % [arXiv:1808.00813]}}. \newblock { {https://doi.org/10.3390/quantum2020018}}. \bibitem[Kochen and Specker(1967)]{kochen1} Kochen, S.; Specker, E.P. \newblock The Problem of Hidden Variables in Quantum Mechanics. \newblock {\em J. Math. Mech. (Now Indiana Univ. Math. J.)} {\bf 1967}, {\em 17},~59--87. \newblock { {https://doi.org/10.1512/iumj.1968.17.17004}}. \bibitem[Abbott \em{et~al.}(2015)Abbott, Calude, and Svozil]{2015-AnalyticKS} Abbott, A.A.; Calude, C.S.; Svozil, K. \newblock A variant of the {K}ochen-{S}pecker theorem localising value indefiniteness. \newblock {\em J. Math. Phys.} {\bf 2015}, {\em 56},~102201, % \href{http://xxx.lanl.gov/abs/arXiv:1503.01985}{{\normalfont % [arXiv:1503.01985]}}. \newblock {{https://doi.org/10.1063/1.4931658}}. \bibitem[Svozil(2020)]{svozil-2017-b} Svozil, K. \newblock What Is so Special about Quantum Clicks? \newblock {\em Entropy} {\bf 2020}, {\em 22},~602, % \href{http://xxx.lanl.gov/abs/arXiv:1707.08915}{{\normalfont % [arXiv:1707.08915]}}. \newblock {{https://doi.org/10.3390/e22060602}}. \bibitem[Uffink(2011)]{Uffink2011-UFFSPS} Uffink, J. \newblock Subjective Probability and Statistical Physics. In {\em Probabilities in Physics}; Beisbart, C., Hartmann, S., Eds.; Oxford University Press: Oxford, UK, 2011; pp. 25--49. \newblock { {https://doi.org/10.1093/acprof:oso/9780199577439.003.0002}}. \bibitem[Acz\'{e}l(1966)]{Aczel-1966} Acz\'{e}l, J. \newblock { Lectures on functional equations and their applications}. In {\em Mathematics in Science and Engineering}, Academic Press: New York, NY, USA, London, UK, 1966; Volume~19, pp. xx+510. \bibitem[Reem(2017)]{Reem2017} Reem, D. \newblock Remarks on the {C}auchy functional equation and variations of it. \newblock {\em Aequationes Math.} {\bf 2017}, {\em 91},~237--264. \newblock { {https://doi.org/10.1007/s00010-016-0463-6}}. \bibitem[Busch(2003)]{Busch-2003} Busch, P. \newblock Quantum states and generalized observables: a simple proof of {G}leason's theorem. \newblock {\em Phys. Rev. Lett.} {\bf 2003}, {\em 91},~120403. \newblock { {https://doi.org/10.1103/PhysRevLett.91.120403}}. \bibitem[Caves \em{et~al.}(2004)Caves, Fuchs, Manne, and Renes]{caves-fuchs-2004} Caves, C.M.; Fuchs, C.A.; Manne, K.K.; Renes, J.M. \newblock Gleason-type derivations of the quantum probability rule for generalized measurements. \newblock {\em Found. Physics. Int. J. Devoted Concept. Bases Fundam. Theor. Mod. Phys.} {\bf 2004}, {\em 34},~193--209. \newblock { {https://doi.org/10.1023/B:FOOP.0000019581.00318.a5}}. \bibitem[Granstr\"om(2006)]{Granstrom-mt} Granstr\"om, H. \newblock {G}leason's Theorem. \newblock Master's Thesis, Stockholm University, Stockholm, Sweden, 2006. \bibitem[Wright(2019)]{wright-Victoria} Wright, V.J. \newblock {G}leason-Type Theorems and General Probabilistic Theories. \newblock Ph.D. Thesis, University of York, Heslington, UK, 2019. \bibitem[Wright and Weigert(2019{\natexlab{a}})]{Wright_2019} Wright, V.J.; Weigert, S. \newblock A Gleason-type theorem for qubits based on mixtures of projective measurements. \newblock {\em J. Phys. Math. Theor.} {\bf 2019}, {\em 52},~055301. \newblock { {https://doi.org/10.1088/1751-8121/aaf93d}}. \bibitem[Wright and Weigert(2019{\natexlab{b}})]{Wright2019} Wright, V.J.; Weigert, S. \newblock {G}leason-Type Theorems from {C}auchy's {F}unctional {E}quation. \newblock {\em Found. Phys.} {\bf 2019}, {\em 49},~594--606. \newblock { {https://doi.org/10.1007/s10701-019-00275-x}}. \bibitem[Auff\'eves and Grangier(2017)]{Auffeves-Grangier-2017} Auff\'eves, A.; Grangier, P. \newblock Recovering the quantum formalism from physically realist axioms. \newblock {\em Sci. Rep.} {\bf 2017}, {\em 7},~43365. % \href{http://xxx.lanl.gov/abs/arXiv:1610.06164}{{\normalfont % [arXiv:1610.06164]}}. \newblock { {https://doi.org/10.1038/srep43365}}. \bibitem[Auff\'eves and Grangier(2018)]{Auffeves-Grangier-2018} Auff\'eves, A.; Grangier, P. \newblock Extracontextuality and extravalence in quantum mechanics. \newblock {\em Philos. Trans. R. Soc. {A}: Math. Phys. Eng. Sci.} {\bf 2018}, {\em 376},~20170311,% \href{http://xxx.lanl.gov/abs/arXiv:1801.01398}{{\normalfont % [arXiv:1801.01398]}}. \newblock { {https://doi.org/10.1098/rsta.2017.0311}}. \bibitem[Halmos(1958)]{halmos-vs} Halmos, P.R. \newblock {\em Finite-Dimensional Vector Spaces}; Undergraduate Texts in Mathematic; Springer: New York, NY, USA, 1958. \newblock { {https://doi.org/10.1007/978-1-4612-6387-6}}. \bibitem[{von Neumann}(1932, 1996)]{v-neumann-49} {von Neumann}, J. \newblock {\em Mathematische Grundlagen der Quantenmechanik}, second ed.; Springer: Berlin/Heidelberg, Germany, 1996. \newblock English translation published by Princeton University Press, { {https://doi.org/10.1007/978-3-642-61409-5}}. \bibitem[Birkhoff and {von Neumann}(1936)]{birkhoff-36} Birkhoff, G.; {von Neumann}, J. \newblock The Logic of Quantum Mechanics. \newblock {\em Ann. Math.} {\bf 1936}, {\em 37},~823--843. \newblock { {https://doi.org/10.2307/1968621}}. \bibitem[Marcus(1960)]{marcus-1960} Marcus, M. \newblock Some Properties and Applications of Doubly Stochastic Matrices. \newblock {\em Am. Math. Mon.} {\bf 1960}, {\em 67},~215--221. \newblock { {https://doi.org/10.1080/00029890.1960.11989480}}. \bibitem[Svozil(2005)]{svozil-2001-eua} Svozil, K. \newblock Logical equivalence between generalized urn models and finite automata. \newblock {\em Int. J. Theor. Phys.} {\bf 2005}, {\em 44},~745--754, %\href{http://xxx.lanl.gov/abs/arXiv:quant-ph/0209136}{{\normalfont % [arXiv:quant-ph/0209136]}}. \newblock { {https://doi.org/10.1007/s10773-005-7052-0}}. \bibitem[Moore(1956)]{e-f-moore} Moore, E.F. \newblock Gedanken-Experiments on Sequential Machines. In {\em Automata Studies. {(AM-34)}}; Shannon, C.E., McCarthy, J., Eds.; Princeton University Press: Princeton, NJ, USA, 1956; pp. 129--153. \newblock { {https://doi.org/10.1515/9781400882618-006}}. \bibitem[Wright(1978)]{wright:pent} Wright, R. \newblock The state of the pentagon. {A} nonclassical example. In {\em Mathematical Foundations of Quantum Theory}; Marlow, A.R., Ed.; Academic Press: New York, NY, USA, 1978; pp. 255--274. \newblock { {https://doi.org/10.1016/B978-0-12-473250-6.50015-7}}. \bibitem[Wright(1990)]{wright} Wright, R. \newblock Generalized urn models. \newblock {\em Found. Phys.} {\bf 1990}, {\em 20},~881--903. \newblock { {https://doi.org/10.1007/BF01889696}}. \bibitem[Svozil(2020)]{svozil-2018-b} Svozil, K. \newblock Faithful orthogonal representations of graphs from partition logics. \newblock {\em Soft Comput.} {\bf 2020}, {\em 24},~10239--10245, % \href{http://xxx.lanl.gov/abs/arXiv:1810.10423}{{\normalfont % [arXiv:1810.10423]}}. \newblock { {https://doi.org/10.1007/s00500-019-04425-1}}. \bibitem[Greechie(1971)]{greechie:71} Greechie, R.J. \newblock Orthomodular lattices admitting no states. \newblock {\em J. Comb. Theory. Ser. {A}} {\bf 1971}, {\em 10},~119--132. \newblock { {https://doi.org/10.1016/0097-3165(71)90015-X}}. \bibitem[Kalmbach(1983)]{kalmbach-83} Kalmbach, G. \newblock { Orthomodular Lattices}; In {\em London Mathematical Society Monographs}; Academic Press: London, UK; New York, NY, USA, 1983; Volume~18. \bibitem[Navara and Rogalewicz(1991)]{nav:91} Navara, M.; Rogalewicz, V. \newblock The pasting constructions for orthomodular posets. \newblock {\em Math. Nachrichten} {\bf 1991}, {\em 154},~157--168. \newblock { {https://doi.org/10.1002/mana.19911540113}}. \bibitem[Tkadlec(2009, 2017)]{tkadlec-2states-2017} Tkadlec, J. (Czech Technical University in Prague). \newblock \newblock {Private communication, electronic message from Aug 23nd, 2017.} \bibitem[Neugebauer(1934)]{neugeb} Neugebauer, O. \newblock {\em {V}orlesungen {\"{u}}ber die {G}eschichte der antiken mathematischen {W}issenschaften. 1. {B}and: {V}orgriechische {M}athematik}; Springer: Berlin/Heidelberg, Germany, 1934. \newblock { {https://doi.org/10.1007/978-3-642-95095-7}}. \bibitem[Lov\'asz(1979)]{lovasz-79} Lov\'asz, L. \newblock On the {S}hannon capacity of a graph. \newblock {\em IEEE Trans. Inf. Theory} {\bf 1979}, {\em 25},~1--7. \newblock { {https://doi.org/10.1109/TIT.1979.1055985}}. \bibitem[Cohen(1989)]{cohen} Cohen, D.W. \newblock {\em An Introduction to Hilbert Space and Quantum Logic}; Problem Books in Mathematics, Springer: New York, NY, USA, 1989. \newblock { {https://doi.org/10.1007/978-1-4613-8841-8}}. \bibitem[Svozil(2016)]{svozil-2016-s} Svozil, K. \newblock Generalized event structures and probabilities. In {\em Information and Complexity}; Burgin, M., Calude, C.S., Eds.; World Scientific Series in Information Studies: Volume 6, Chapter 11; World Scientific: Singapore, 2016; pp. 276--300, \newblock { {https://doi.org/10.1142/9789813109032\_0011}}. \bibitem[Svozil(2009)]{svozil-2008-ql} Svozil, K. \newblock Contexts in quantum, classical and partition logic. In {\em Handbook of Quantum Logic and Quantum Structures}; Engesser, K., Gabbay, D.M., Lehmann, D., Eds.; Elsevier: Amsterdam, The Netherlands, 2009; pp. 551--586, % \href{http://xxx.lanl.gov/abs/arXiv:quant-ph/0609209}{{\normalfont % [arXiv:quant-ph/0609209]}}. \newblock {{https://doi.org/10.1016/B978-0-444-52869-8.50015-3}}. \bibitem[Auff\'eves and Grangier(2015)]{Auffeves-Grangier-2015} Auff\'eves, A.; Grangier, P. \newblock Stochastic, bistochastic, and unistochastic matrices for quantum probabilities, 2015. \newblock \emph{unpublished draft}. \bibitem[Gerelle \em{et~al.}(1974)Gerelle, Greechie, and Miller]{greechie-1974} Gerelle, E.R.; Greechie, R.J.; Miller, F.R. \newblock Weights on Spaces. In {\em Physical Reality and Mathematical Description}; Enz, C.P., Mehra, J., Eds.; D. Reidel Publishing Company, Springer: Dordrecht, The Netherlands, 1974; pp. 167--192. \newblock { {https://doi.org/10.1007/978-94-010-2274-3}}. \bibitem[Godsil and Zaks(1988, 2012)]{godsil-zaks} Godsil, C.D.; Zaks, J. \newblock Colouring the sphere, University of Waterloo research report CORR 88-12 and \emph{arXiv} {\bf 2012}, arXiv:1201.0486. \newblock { {https://doi.org/10.48550/arXiv.1201.0486}}. \bibitem[Meyer(1999)]{meyer:99} Meyer, D.A. \newblock Finite precision measurement nullifies the {K}ochen-{S}pecker theorem. \newblock {\em Phys. Rev. Lett.} {\bf 1999}, {\em 83},~3751--3754, %\href{http://xxx.lanl.gov/abs/arXiv:quant-ph/9905080}{{\normalfont % [arXiv:quant-ph/9905080]}}. \newblock { {https://doi.org/10.1103/PhysRevLett.83.3751}}. \bibitem[Havlicek \em{et~al.}(2001)Havlicek, Krenn, Summhammer, and Svozil]{havlicek-2000} Havlicek, H.; Krenn, G.; Summhammer, J.; Svozil, K. \newblock Colouring the rational quantum sphere and the {K}ochen-{S}pecker theorem. \newblock {\em J. Phys. Math. Gen.} {\bf 2001}, {\em 34},~3071--3077, % \href{http://xxx.lanl.gov/abs/arXiv:quant-ph/9911040}{{\normalfont % [arXiv:quant-ph/9911040]}}. \newblock { {https://doi.org/10.1088/0305-4470/34/14/312}}. \bibitem[Berman and Plemmons(1994)]{Berman-Plemmons-NNM} Berman, A.; Plemmons, R.J. \newblock {\em Nonnegative Matrices in the Mathematical Sciences}; Society for Industrial and Applied Mathematics (SIAM): Philadelphia, PA, USA, 1994. \newblock { {https://doi.org/10.1137/1.9781611971262.fm}}. %\bibitem[{von Neumann}(1955)]{v-neumann-55} %{Von Neumann}, J. %\newblock {\em Mathematical Foundations of Quantum Mechanics}; Princeton % University Press: Princeton, NJ, USA, 1955. %\newblock {\hl{G}erman original } %MDPI: [24] can not be in reference part, please move into main text %in~\cite{v-neumann-49}. \end{thebibliography} \end{adjustwidth} \else \bibliography{svozil} \fi \end{document} Response to the Comments of the first Referee: This Referee Report brought forward conceptualizations I have not been aware of, and it pointed out a case where the manuscript needed revisions. In particular, I have added a paragraph stating that, as expressed by the Referee, "In terms of probabilistic language, one might interpret contexts as conditions. Intertwining contexts might be identified with different conditionings with non-empty intersection(s)." I also acknowledged that bi-stochasticity in quantum mechanics is valid for pure states, but need not be valid for more general states. Therefore, I have changed the title of Section 4.1. to "Quantum bi-stochasticity for pure states" and added a paragraph at the end of this section with the following wording: "It is important to emphasize that bistochasticity holds for pure states but not for more general ones. In particular, for non-rank-one density matrices that are the product of two vectors, such as for mixed states, the above arguments do not apply." I also mentioned this restriction to pure state at the end of Section 2. Last, let me kindly point out that I take the impressions and general criticism mentioned by this Referee very seriously. It would be nice, in particular, for future publications, to learn more about the research alluded to by the Referee. In any case, I would kindly like to thank the Referee for the hints and terms mentioned in the Referee Report. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Response to the Comments of the second Referee: The Referee kindly observed an error in one of the expressions that I corrected accordingly. The corrected passage C_f -> C_2 is now on lines 84 and 85 and reads: "On the other hand, if a particular element f_i \in C_2 of the second context C_2 remains fixed and the column sum \sum_{e_j \in C_1} P(f_i|e_j) extends over all e_j \in C_1 ..." According to the suggestions of the Referee I have added a discussion of a particular example---the "firefly logic"---and explained and motivated it in more detail This exposition can now be found at the beginning of Section 4.2.2. Two intertwining three-atomic contexts, and extends over several new paragraphs: "In what follows, we shall investigate a �firefly� model that has been introduced [38, Fig. 3A.1, p. 22] to investigate a quasi-classical example of an empirical situation occurring in quantized systems with three exclusive outcomes, formalized by three-dimensional Hilbert space. It comprises a box with two perpendicular windows and a firefly inside. Suppose that sometimes the firefly radiates some light, and sometimes it does not shine. Suppose further that each one of the two perpendicular windows has a thin vertical line drawn down the center to divide the respective window in half. This configuration allows two types of experiments corresponding to looking through exactly one of the two windows, respectively. Each type of experiment has three outcomes, labeled as follows: (i) e_1 (first type of experiment) or f_1 (second type of experiment): the light of the firefly is in the left half of the window; (ii) e_2 (first type of experiment) or f_2 (second type of experiment): the light of the firefly is in the right half of the window; (iii) e_3 (first type of experiment) and f_3 (second type of experiment): the firefly does not shine (emit light). The two observers at the two windows may observe any of the four combinations e_1 or f_1, e_1 or f_2, e_2 or f_1, or e_2 or f_2. And ideally, it will always be the case that, whenever the first observer registers no light�that is, e_3�also the second observer will register no light�that is, f_3, and vice versa. This firefly configuration thus gives rise to two contexts {e_1, e_2, e_3} and {f_1, f_2, f_3}, associated with the two observers, respectively. These contexts are �tied together� and intertwine at the �no light� event or outcomes e_3 and f_3. Together this results in five conceivable experimental outcomes for two observers, corresponding to five two-valued measures representing these outcomes, respectively." I hope this contributes to a better understanding of at least some of the examples involved and improves the overall comprehensibility of the manuscript.