{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T07:38:59Z","timestamp":1747208339396,"version":"3.40.5"},"reference-count":62,"publisher":"Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften","license":[{"start":{"date-parts":[[2020,12,24]],"date-time":"2020-12-24T00:00:00Z","timestamp":1608768000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Quantum"],"abstract":"A sequential effect algebra (SEA) is an effect algebra equipped with a sequential product<\/mml:mtext><\/mml:mrow><\/mml:math> operation modeled after the L\u00fcders product (<\/mml:mo>a<\/mml:mi>,<\/mml:mo>b<\/mml:mi>)<\/mml:mo>\u21a6<\/mml:mo>a<\/mml:mi><\/mml:msqrt>b<\/mml:mi>a<\/mml:mi><\/mml:msqrt><\/mml:math> on C\u2217<\/mml:mo><\/mml:msup><\/mml:math>-algebras. A SEA is called normal<\/mml:mtext><\/mml:mrow><\/mml:math> when it has all suprema of directed sets, and the sequential product interacts suitably with these suprema. The effects on a Hilbert space and the unit interval of a von Neumann or JBW algebra are examples of normal SEAs that are in addition convex<\/mml:mtext><\/mml:mrow><\/mml:math>, i.e. possess a suitable action of the real unit interval on the algebra. Complete Boolean algebras form normal SEAs too, which are convex only when 0<\/mml:mn>=<\/mml:mo>1<\/mml:mn><\/mml:math>.We show that any normal SEA E<\/mml:mi><\/mml:math> splits as a direct sum E<\/mml:mi>=<\/mml:mo>E<\/mml:mi>b<\/mml:mi><\/mml:msub>\u2295<\/mml:mo>E<\/mml:mi>c<\/mml:mi><\/mml:msub>\u2295<\/mml:mo>E<\/mml:mi>a<\/mml:mi>c<\/mml:mi><\/mml:mrow><\/mml:msub><\/mml:math> of a complete Boolean algebra E<\/mml:mi>b<\/mml:mi><\/mml:msub><\/mml:math>, a convex normal SEA E<\/mml:mi>c<\/mml:mi><\/mml:msub><\/mml:math>, and a newly identified type of normal SEA E<\/mml:mi>a<\/mml:mi>c<\/mml:mi><\/mml:mrow><\/mml:msub><\/mml:math> we dub purely almost-convex<\/mml:mtext><\/mml:mrow><\/mml:math>.Along the way we show, among other things, that a SEA which contains only idempotents must be a Boolean algebra; and we establish a spectral theorem using which we settle for the class of normal SEAs a problem of Gudder regarding the uniqueness of square roots. After establishing our main result, we propose a simple extra axiom for normal SEAs that excludes the seemingly pathological a-convex SEAs. We conclude the paper by a study of SEAs with an associative sequential product. We find that associativity forces normal SEAs satisfying our new axiom to be commutative, shedding light on the question of why the sequential product in quantum theory should be non-associative.<\/jats:p>","DOI":"10.22331\/q-2020-12-24-378","type":"journal-article","created":{"date-parts":[[2020,12,24]],"date-time":"2020-12-24T12:41:33Z","timestamp":1608813693000},"page":"378","source":"Crossref","is-referenced-by-count":4,"title":["The three types of normal sequential effect algebras"],"prefix":"10.22331","volume":"4","author":[{"given":"Abraham","family":"Westerbaan","sequence":"first","affiliation":[{"name":"Radboud Universiteit Nijmegen"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bas","family":"Westerbaan","sequence":"additional","affiliation":[{"name":"Radboud Universiteit Nijmegen"},{"name":"University College London"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5405-8959","authenticated-orcid":false,"given":"John van de","family":"Wetering","sequence":"additional","affiliation":[{"name":"Radboud Universiteit Nijmegen"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"9598","published-online":{"date-parts":[[2020,12,24]]},"reference":[{"key":"0","doi-asserted-by":"publisher","unstructured":"Samson Abramsky and Adam Brandenburger. The sheaf-theoretic structure of non-locality and contextuality. New Journal of Physics, 13 (11): 113036, 2011. 10.1088\/1367-2630.","DOI":"10.1088\/1367-2630"},{"key":"1","doi-asserted-by":"publisher","unstructured":"Samson Abramsky and Achim Jung. Domain Theory, page 1\u2013168. Oxford University Press, Inc., USA, 1995. ISBN 019853762X. 10.5555\/218742.218744.","DOI":"10.5555\/218742.218744"},{"key":"2","doi-asserted-by":"publisher","unstructured":"Erik M Alfsen and Frederic W Shultz. Geometry of State Spaces of Operator Algebras. Springer Science & Business Media, 2012. 10.1007\/978-1-4612-0019-2.","DOI":"10.1007\/978-1-4612-0019-2"},{"key":"3","unstructured":"Howard Barnum and Joachim Hilgert. Strongly symmetric spectral convex bodies are jordan algebra state spaces. Preprint, 2019."},{"key":"4","doi-asserted-by":"publisher","unstructured":"Howard Barnum, Markus P M\u00fcller, and Cozmin Ududec. Higher-order interference and single-system postulates characterizing quantum theory. New Journal of Physics, 16 (12): 123029, 2014. 10.1088\/1367-2630\/16\/12\/123029.","DOI":"10.1088\/1367-2630\/16\/12\/123029"},{"key":"5","doi-asserted-by":"publisher","unstructured":"Jonathan Barrett. Information processing in generalized probabilistic theories. Physical Review A, 75 (3): 032304, 2007. 10.1103\/PhysRevA.75.032304.","DOI":"10.1103\/PhysRevA.75.032304"},{"key":"6","doi-asserted-by":"publisher","unstructured":"Ivan Chajda, Radomir Hala\u0161, and Jan K\u00fchr. Every effect algebra can be made into a total algebra. Algebra universalis, 61 (2): 139, 2009. 10.1007\/s00012-009-0010-6.","DOI":"10.1007\/s00012-009-0010-6"},{"key":"7","unstructured":"Kenta Cho. Effectuses in Categorical Quantum Foundations. PhD thesis, Radboud Universiteit Nijmegen, 2019. URL: https:\/\/arxiv.org\/abs\/1910.12198."},{"key":"8","unstructured":"Kenta Cho, Bart Jacobs, Bas E Westerbaan, and Abraham A Westerbaan. An introduction to effectus theory. 2015. URL: https:\/\/arxiv.org\/abs\/1512.05813."},{"key":"9","doi-asserted-by":"publisher","unstructured":"Anatolij Dvure\u010denskij. Every state on interval effect algebra is integral. Journal of Mathematical Physics, 51 (8): 083508, 2010. 10.1063\/1.3467463.","DOI":"10.1063\/1.3467463"},{"key":"10","doi-asserted-by":"publisher","unstructured":"Anatolij Dvurecenskij and Sylvia Pulmannov\u00e1. New trends in quantum structures, volume 516. Springer Science & Business Media, 2013. ISBN 978-94-017-2422-7. 10.1007\/978-94-017-2422-7.","DOI":"10.1007\/978-94-017-2422-7"},{"key":"11","doi-asserted-by":"publisher","unstructured":"Pau Enrique Moliner, Chris Heunen, and Sean Tull. Space in monoidal categories. In Bob Coecke and Aleks Kissinger, editors, Proceedings 14th International Conference on Quantum Physics and Logic, Nijmegen, The Netherlands, 3-7 July 2017, volume 266 of Electronic Proceedings in Theoretical Computer Science, pages 399\u2013410. Open Publishing Association, 2018. 10.4204\/EPTCS.266.25.","DOI":"10.4204\/EPTCS.266.25"},{"key":"12","doi-asserted-by":"publisher","unstructured":"David J Foulis and Mary K Bennett. Effect algebras and unsharp quantum logics. Foundations of physics, 24 (10): 1331\u20131352, 1994. 10.1007\/BF02283036.","DOI":"10.1007\/BF02283036"},{"key":"13","doi-asserted-by":"publisher","unstructured":"David J Foulis and Sylvia Pulmannov\u00e1. Type-decomposition of an effect algebra. Foundations of Physics, 40 (9-10): 1543\u20131565, 2010. 10.1007\/s10701-009-9344-3.","DOI":"10.1007\/s10701-009-9344-3"},{"key":"14","doi-asserted-by":"publisher","unstructured":"Leonard Gillman and Meyer Jerison. Rings of continuous functions. Springer, 2013. 10.1007\/978-1-4615-7819-2.","DOI":"10.1007\/978-1-4615-7819-2"},{"key":"15","unstructured":"Zahra Eslami Giski and Mohamad Ebrahimi. Entropy of countable partitions on effect algebra with Riesz decomposition property and weak sequential effect algebra. \u00c7ankaya \u00dcniversitesi Bilim ve M\u00fchendislik Dergisi, 12 (1), 2015. ISSN 1309-6788. URL: https:\/\/dergipark.org.tr\/en\/pub\/cankujse\/issue\/33130\/368655."},{"key":"16","doi-asserted-by":"publisher","unstructured":"Zahra Eslami Giski and Abolfazl Ebrahimzadeh. An introduction of logical entropy on sequential effect algebra. Indagationes Mathematicae, 28 (5): 928\u2013937, 2017. 10.1016\/j.indag.2017.06.007.","DOI":"10.1016\/j.indag.2017.06.007"},{"key":"17","doi-asserted-by":"publisher","unstructured":"Stan Gudder. Open problems for sequential effect algebras. International Journal of Theoretical Physics, 44 (12): 2199\u20132206, 2005. 10.1007\/s10773-005-8015-1.","DOI":"10.1007\/s10773-005-8015-1"},{"key":"18","unstructured":"Stan Gudder. Convex and sequential effect algebras. 2018. URL: https:\/\/arxiv.org\/abs\/1802.01265."},{"key":"19","doi-asserted-by":"publisher","unstructured":"Stan Gudder and Richard Greechie. Sequential products on effect algebras. Reports on Mathematical Physics, 49 (1): 87\u2013111, 2002. 10.1016\/S0034-4877(02)80007-6.","DOI":"10.1016\/S0034-4877(02)80007-6"},{"key":"20","doi-asserted-by":"publisher","unstructured":"Stan Gudder and Richard Greechie. Uniqueness and order in sequential effect algebras. International Journal of Theoretical Physics, 44 (7): 755\u2013770, 2005. 10.1007\/s10773-005-7054-y.","DOI":"10.1007\/s10773-005-7054-y"},{"key":"21","doi-asserted-by":"publisher","unstructured":"Stan Gudder and Fr\u00e9d\u00e9ric Latr\u00e9moli\u00e8re. Characterization of the sequential product on quantum effects. Journal of Mathematical Physics, 49 (5): 052106, 2008. 10.1063\/1.2904475.","DOI":"10.1063\/1.2904475"},{"key":"22","doi-asserted-by":"publisher","unstructured":"Stan Gudder and Gabriel Nagy. Sequential quantum measurements. Journal of Mathematical Physics, 42 (11): 5212\u20135222, 2001. 10.1063\/1.1407837.","DOI":"10.1063\/1.1407837"},{"key":"23","doi-asserted-by":"publisher","unstructured":"Stanley Gudder. Examples, problems, and results in effect algebras. International Journal of Theoretical Physics, 35 (11): 2365\u20132376, 1996. 10.1007\/bf02302453.","DOI":"10.1007\/bf02302453"},{"key":"24","doi-asserted-by":"publisher","unstructured":"Stanley Gudder. Convex structures and effect algebras. International Journal of Theoretical Physics, 38 (12): 3179\u20133187, 1999. 10.1023\/A:1026678114856.","DOI":"10.1023\/A:1026678114856"},{"key":"25","unstructured":"Stanley Gudder and Sylvia Pulmannov\u00e1. Representation theorem for convex effect algebras. Commentationes Mathematicae Universitatis Carolinae, 39 (4): 645\u2013660, 1998. ISSN 0010-2628. URL: https:\/\/dml.cz\/handle\/10338.dmlcz\/119041."},{"key":"26","unstructured":"Stanley P Gudder and Richard Greechie. Effect algebra counterexamples. Mathematica Slovaca, 46 (4): 317\u2013325, 1996. ISSN 0139-9918. URL: https:\/\/dml.cz\/handle\/10338.dmlcz\/129156."},{"key":"27","doi-asserted-by":"publisher","unstructured":"Eissa D Habil. Tensor product of distributive sequential effect algebras and product effect algebras. International Journal of Theoretical Physics, 47 (1): 280\u2013290, 2008. 10.1007\/s10773-007-9472-5.","DOI":"10.1007\/s10773-007-9472-5"},{"key":"28","unstructured":"Harald Hanche-Olsen and Erling St\u00f8rmer. Jordan Operator Algebras, volume 21. Pitman Advanced Pub. Program, 1984. ISBN 978-0273086192."},{"key":"29","doi-asserted-by":"publisher","unstructured":"Teiko Heinosaari, Leevi Lepp\u00e4j\u00e4rvi, and Martin Pl\u00e1vala. No-free-information principle in general probabilistic theories. Quantum, 3: 157, 7 2019. ISSN 2521-327X. 10.22331\/q-2019-07-08-157. URL https:\/\/doi.org\/10.22331\/q-2019-07-08-157.","DOI":"10.22331\/q-2019-07-08-157"},{"key":"30","doi-asserted-by":"publisher","unstructured":"Samuel S Holland. The current interest in orthomodular lattices. In The Logico-Algebraic Approach to Quantum Mechanics, pages 437\u2013496. 1975. 10.1007\/978-94-010-1795-4_25.","DOI":"10.1007\/978-94-010-1795-4_25"},{"key":"31","doi-asserted-by":"publisher","unstructured":"Bart Jacobs. Probabilities, distribution monads, and convex categories. Theoretical Computer Science, 412 (28): 3323\u20133336, 2011. 10.1016\/j.tcs.2011.04.005.","DOI":"10.1016\/j.tcs.2011.04.005"},{"key":"32","doi-asserted-by":"publisher","unstructured":"Bart Jacobs and Jorik Mandemaker. Coreflections in algebraic quantum logic. Foundations of physics, 42 (7): 932\u2013958, 2012. 10.1007\/s10701-012-9654-8.","DOI":"10.1007\/s10701-012-9654-8"},{"key":"33","doi-asserted-by":"publisher","unstructured":"Bart Jacobs and Abraham A Westerbaan. An effect-theoretic account of Lebesgue integration. Electronic Notes in Theoretical Computer Science, 319: 239\u2013253, 2015. 10.1016\/j.entcs.2015.12.015.","DOI":"10.1016\/j.entcs.2015.12.015"},{"key":"34","doi-asserted-by":"publisher","unstructured":"Gejza Jen\u010da. Blocks of homogeneous effect algebras. Bulletin of the Australian Mathematical Society, 64 (1): 81\u201398, 2001. 10.1017\/s0004972700019705.","DOI":"10.1017\/s0004972700019705"},{"key":"35","doi-asserted-by":"publisher","unstructured":"Anna Jen\u010dov\u00e1 and Martin Pl\u00e1vala. On the properties of spectral effect algebras. Quantum, 3: 148, June 2019. ISSN 2521-327X. 10.22331\/q-2019-06-03-148.","DOI":"10.22331\/q-2019-06-03-148"},{"key":"36","unstructured":"Pascual Jordan. \u00dcber Verallgemeinerungsm\u00f6glichkeiten des Formalismus der Quantenmechanik. Weidmann, 1933."},{"key":"37","doi-asserted-by":"publisher","unstructured":"Shen Jun and Wu Junde. Sequential product on standard effect algebra. Journal of Physics A: Mathematical and Theoretical, 42 (34): 345203, 2009. 10.1088\/1751-8113\/42\/34\/345203.","DOI":"10.1088\/1751-8113\/42\/34\/345203"},{"key":"38","doi-asserted-by":"publisher","unstructured":"Shen Jun and Junde Wu. Remarks on the sequential effect algebras. Reports on Mathematical Physics, 63 (3): 441\u2013446, 2009. 10.1016\/s0034-4877(09)90015-5.","DOI":"10.1016\/s0034-4877(09)90015-5"},{"key":"39","doi-asserted-by":"publisher","unstructured":"Richard V Kadison. Operator algebras with a faithful weakly-closed representation. Annals of mathematics, pages 175\u2013181, 1956. 10.2307\/1969954.","DOI":"10.2307\/1969954"},{"key":"40","doi-asserted-by":"publisher","unstructured":"Richard V Kadison and Gert Kj\u00e6rgaard Pedersen. Equivalence in operator algebras. Mathematica Scandinavica, 27 (2): 205\u2013222, 1971. 10.7146\/math.scand.a-10999.","DOI":"10.7146\/math.scand.a-10999"},{"key":"41","doi-asserted-by":"crossref","unstructured":"Max Koecher. Positivitatsbereiche im $R^n$. American Journal of Mathematics, pages 575\u2013596, 1957.","DOI":"10.2307\/2372563"},{"key":"42","doi-asserted-by":"crossref","unstructured":"Lynn H Loomis. The lattice theoretic background of the dimension theory of operator algebras, volume 18. American Mathematical Soc., 1955.","DOI":"10.1090\/memo\/0018"},{"key":"43","doi-asserted-by":"crossref","unstructured":"Sh\u00fbichir\u00f4 Maeda et al. Dimension functions on certain general lattices. Journal of Science of the Hiroshima University, Series A (Mathematics, Physics, Chemistry), 19 (2): 211\u2013237, 1955.","DOI":"10.32917\/hmj\/1556071219"},{"key":"44","unstructured":"Kuppusamy Ravindran. On a Structure Theory of Effect Algebras. PhD thesis, Kansas State University, 1996."},{"key":"45","doi-asserted-by":"publisher","unstructured":"Mathys Rennela. Towards a quantum domain theory: order-enrichment and fixpoints in W*-algebras. Electronic Notes in Theoretical Computer Science, 308: 289\u2013307, 2014. 10.1016\/j.entcs.2014.10.016.","DOI":"10.1016\/j.entcs.2014.10.016"},{"key":"46","doi-asserted-by":"publisher","unstructured":"Frank Roumen. Cohomology of effect algebras. In QPL 2016, volume 236 of EPTCS, pages 174\u2013202, 2016. 10.4204\/eptcs.236.12.","DOI":"10.4204\/eptcs.236.12"},{"key":"47","unstructured":"Leonardo Santos and Barbara Amaral. On possibilistic conditions to contextuality and nonlocality. arXiv preprint arXiv:2011.04111, 2020."},{"key":"48","doi-asserted-by":"publisher","unstructured":"Jun Shen and Junde Wu. Not each sequential effect algebra is sharply dominating. Physics Letters A, 373 (20): 1708\u20131712, 2009. 10.1016\/j.physleta.2009.02.073.","DOI":"10.1016\/j.physleta.2009.02.073"},{"key":"49","doi-asserted-by":"publisher","unstructured":"Jun Shen and Junde Wu. The $n$th root of sequential effect algebras. Journal of mathematical physics, 51 (6): 063514, 2010. 10.1063\/1.3431627.","DOI":"10.1063\/1.3431627"},{"key":"50","doi-asserted-by":"publisher","unstructured":"Sam Staton and Sander Uijlen. Effect algebras, presheaves, non-locality and contextuality. Information and Computation, 261: 336\u2013354, 2018. 10.1016\/j.ic.2018.02.012.","DOI":"10.1016\/j.ic.2018.02.012"},{"key":"51","doi-asserted-by":"publisher","unstructured":"Josef Tkadlec. Atomic sequential effect algebras. International Journal of Theoretical Physics, 47 (1): 185\u2013192, 2008. 10.1007\/s10773-007-9492-1.","DOI":"10.1007\/s10773-007-9492-1"},{"key":"52","doi-asserted-by":"publisher","unstructured":"John van de Wetering. Three characterisations of the sequential product. Journal of Mathematical Physics, 59 (8), 2018. 10.1063\/1.5031089.","DOI":"10.1063\/1.5031089"},{"key":"53","doi-asserted-by":"publisher","unstructured":"John van de Wetering. An effect-theoretic reconstruction of quantum theory. Compositionality, 1: 1, 12 2019a. ISSN 2631-4444. 10.32408\/compositionality-1-1.","DOI":"10.32408\/compositionality-1-1"},{"key":"54","doi-asserted-by":"publisher","unstructured":"John van de Wetering. Sequential product spaces are Jordan algebras. Journal of Mathematical Physics, 60 (6): 062201, 2019b. 10.1063\/1.5093504.","DOI":"10.1063\/1.5093504"},{"key":"55","doi-asserted-by":"publisher","unstructured":"John van de Wetering. Commutativity in Jordan operator algebras. Journal of Pure and Applied Algebra, page 106407, 2020. ISSN 0022-4049. 10.1016\/j.jpaa.2020.106407.","DOI":"10.1016\/j.jpaa.2020.106407"},{"key":"56","unstructured":"Ernest B Vinberg. Theory of homogeneous convex cones. Trans. Moscow Math. Soc., 12: 303\u2013368, 1967."},{"key":"57","doi-asserted-by":"publisher","unstructured":"Liu Weihua and Wu Junde. A uniqueness problem of the sequence product on operator effect algebra E(H). Journal of Physics A: Mathematical and Theoretical, 42 (18): 185206, 2009. 10.1088\/1751-8113\/42\/18\/185206.","DOI":"10.1088\/1751-8113\/42\/18\/185206"},{"key":"58","doi-asserted-by":"publisher","unstructured":"Abraham Westerbaan, Bas Westerbaan, and John van de Wetering. A characterisation of ordered abstract probabilities. In Proceedings of the 35th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS \u201920, page 944\u2013957, New York, NY, USA, 2020. Association for Computing Machinery. ISBN 9781450371049. 10.1145\/3373718.3394742.","DOI":"10.1145\/3373718.3394742"},{"key":"59","unstructured":"Abraham A Westerbaan. The Category of Von Neumann Algebras. PhD thesis, Radboud Universiteit Nijmegen, 2019a. https:\/\/arxiv.org\/abs\/1804.02203."},{"key":"60","unstructured":"Bas E Westerbaan. Sequential product on effect logics. Master's thesis, Radboud University Nijmegen, 2013. Available at https:\/\/www.ru.nl\/publish\/pages\/813276\/masterscriptie_bas_westerbaan.pdf."},{"key":"61","unstructured":"Bas E Westerbaan. Dagger and Dilations in the Category of von Neumann Algebras. PhD thesis, Radboud Universiteit Nijmegen, 2019b. https:\/\/arxiv.org\/abs\/1803.01911."}],"container-title":["Quantum"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/quantum-journal.org\/papers\/q-2020-12-24-378\/pdf\/","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,12,24]],"date-time":"2020-12-24T12:41:43Z","timestamp":1608813703000},"score":1,"resource":{"primary":{"URL":"https:\/\/quantum-journal.org\/papers\/q-2020-12-24-378\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,24]]},"references-count":62,"URL":"https:\/\/doi.org\/10.22331\/q-2020-12-24-378","archive":["CLOCKSS"],"relation":{},"ISSN":["2521-327X"],"issn-type":[{"type":"electronic","value":"2521-327X"}],"subject":[],"published":{"date-parts":[[2020,12,24]]},"article-number":"378"}}