We prove the equivalence of two tensor products over a category of W*-algebras with normal (not necessarily unital) *-homomorphisms, defined by Guichardet and Dauns, respectively. This structure differs from the standard tensor product construction by Misonou--Takeda--Turumaru, which is based on weak topological completion, and does not have a categorical universality property.
We introduce, and investigate the properties of, the family of quantum Brègman distances, based on embeddings into suitable vector spaces (with the reflexive noncommutative Orlicz spaces over semi-finite W*-algebras and noncommutative Lp spaces over any W*-algebras providing two important examples). This allows us to define geometric categories for nonlinear quantum inference theory, with morphisms given by constrained minimisations of quantum Brègman distances.
This paper is intended to: 1) show how the local smooth geometry of spaces of normal quantum states over W*-algebras (generalised spaces of density matrices) may be used to substantially enrich the description of quantum dynamics in the algebraic and path integral approaches; 2) provide a framework for construction of quantum information theories beyond quantum mechanics, such that linearity holds only locally, while the nonlocal multi-user dynamics exhibits some similarity with general relativity. In the algebraic setting, we propose a method of incorporating nonlinear Poisson and relative entropic local dynamics, as well as local gauge and local source structures, into an effective description of local temporal evolution of quantum states by using fibrewise perturbations of liouvilleans in the fibre bundle of Hilbert spaces over the quantum state manifold. We apply this method to construct also an exact algebraic generalisation of Savvidou's action operator. In the path integral setting, motivated by the Savvidou--Anastopoulous analysis of the role of Kähler space geometry in the Isham--Linden quantum histories, we propose to incorporate local geometry by means of a generalisation of the Daubechies--Klauder coherent state phase space propagator formula. Finally, we discuss the role of Brègman relative entropy in the Jaynes--Mitchell--Favretti renormalisation scheme. Using these tools we show that: 1) the propagation of quantum particles (in Wigner's sense) can be naturally explained as a free fall along the trajectories locally minimising the quantum relative entropy; 2) the contribution of particular trajectories to the global path integral is weighted by the local quantum entropic prior, measuring user's lack of information; 3) the presence of nonlinear quantum control variables results in the change of the curvature of the global quantum state space; 4) the behaviour of zero-point energy under renormalisation of local entropic dynamics is maintained by local redefinition of information mass (prior), which encodes the curvature change. We conclude this work with a proposal of a new framework for nonequilibrium quantum statistical mechanics based on quantum Orlicz spaces, quantum Brègman distances and Banach Lie algebras.
Using the Falcone--Takesaki theory of noncommutative integration and Kosaki's canonical representation, we construct a family of noncommutative Orlicz spaces that are associated to an arbitrary W*-algebra without any choice of weight involved, and we show that this construction is functorial over the category of W*-algebras with *-isomorphisms as arrows. Under a choice of representation, these spaces are isometrically isomorphic to Kunze's noncommutative Orlicz spaces over crossed products.
We prove that the standard quantum mechanical description of a quantum state change due to measurement, given by Lüders' rules, is a special case of the constrained maximisation of a quantum relative entropy functional. This result is a quantum analogue of the derivation of the Bayes--Laplace rule as a special case of the constrained maximisation of relative entropy. The proof is provided for the Umegaki relative entropy of density operators over a Hilbert space as well as for the Araki relative entropy of normal states over a W*-algebra. We also introduce a quantum analogue of Jeffrey's rule, derive it in the same way as above, and discuss the meaning of these results for quantum bayesianism.
We show that the von Neumann--Lüders collapse rules in quantum mechanics always select the unique state that maximises the quantum relative entropy with respect to the premeasurement state, subject to the constraint that the postmeasurement state has to be compatible with the knowledge gained in the measurement. This way we provide an information theoretic characterisation of quantum collapse rules by means of the maximum relative entropy principle.
This text is a detailed overview of the theories of W*-algebras and noncommutative integration, up to the Falcone--Takesaki theory of noncommutative Lp spaces over arbitrary W*-algebras, and its extension to noncommutative Orlicz spaces. The topics under consideration include the Tomita--Takesaki modular theory, the relative modular theory (featuring bimodules, spatial quotients, and canonical representation), the theory of W*-dynamical systems (featuring derivations, liouvilleans, and crossed products), noncommutative Radon--Nikodým type theorems, and operator valued weights. We pay special attention to abstract algebraic formulation of all properties (avoiding the dependence on Hilbert spaces wherever it is possible), to functoriality of canonical structures arising in the theory, and to the relationship between commutative and noncommutative integration theories. Several new results are proved.
early papers on quantum inference, quantum entropy, and quantum foundations:
Using new approach to construction of space-times emerging from quantum information theory, we identify the space of quantum states that generates the Schwarzschild space-time. No quantisation procedure is used. The emergent space-time is obtained by the Poincaré--Wick rotation and Fronsdal embedding of certain submanifold of the riemanian manifold of six-dimensional strictly positive matrices with the Bogolyubov--Kubo--Mori metric.
We discuss new approach to mathematical foundations of quantum theory, which is completely independent of Hilbert spaces and measure spaces. New kinematics is defined by non-linear geometry of spaces of integrals on abstract non-commutative algebras. New dynamics is defined by constrained maximisation of quantum relative entropy. We recover Hilbert space based approach (including unitary evolution and the von Neumann--Lüders rule) and measure theoretic approach to probability theory (including Bayes' rule) as special cases of our approach.
On principles of inductive inference
in: Goyal P. et al (eds.), Proceedings of the 31st International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering, 9–16 July 2011, Waterloo, Canada, AIP Conf. Proc. 1443 (2012), 22-31.
We propose an intersubjective epistemic approach to foundations of probability theory and statistical inference, based on relative entropy and category theory, and aimed to bypass the mathematical and conceptual problems of existing foundational approaches.
We use the Falcone--Takesaki non-commutative flow of weights and the resulting theory of non-commutative Lp spaces in order to define the family of relative entropy functionals that naturally generalise the quantum relative entropies of Jenčová--Ojima and the classical relative entropies of Zhu--Rohwer, and belong to an intersection of families of Petz relative entropies with Bregman relative entropies. For the purpose of this task, we generalise the notion of Bregman entropy to the infinite-dimensional non-commutative case using the Legendre--Fenchel duality. In addition, we use the Falcone--Takesaki duality to extend the duality between coarse--grainings and Markov maps to the infinite-dimensional non-commutative case. Following the recent result of Amari for the Zhu--Rohwer entropies, we conjecture that the proposed family of relative entropies is uniquely characterised by the Markov monotonicity and the Legendre--Fenchel duality. The role of these results in the foundations and applications of quantum information theory is discussed.
Quantum theory as inductive inference
extended version of a paper published in: Mohammad-Djafari A., Bercher J.-F., Bessière P. (eds.), Proceedings of the 30th International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering, AIP Conf. Proc. 1305 (2010), 28-35.
We present the elements of a new approach to the foundations of quantum theory and probability theory which is based on the algebraic approach to integration, information geometry, and maximum relative entropy methods. It enables us to deal with conceptual and mathematical problems of quantum theory without any appeal to frameworks of Hilbert spaces and measure spaces.
This text is a detailed overview of the quantum and classical information geometry, containing several new concepts and some new results. The key role played by the relative entropy is exposed, and the interconnections between various structures are analysed. We consider the convex/variational nonsmooth part of the theory on the equal footing with the smooth/infinitesimal part, and we also consider the duality principles (as embodied in the concepts of Brègman relative entropy and dually flat smooth geometries) on the equal footing with monotonicity under quantum channels. All results are spelled out with the maximal available generality, so the functional analytic setting of W*-algebras and Banach spaces is widely used.
The purpose of this text is to equip the reader with an intuitive but precise understanding of elementary structures of category and topos theory. In order to achieve this goal, we provide a guided tour through category theory, leading to the definition of an elementary (Lawvere--Tierney) topos. Then we turn to the investigation of consequences of this definition. In particular, we analyse in detail the topos Set2op, the internal structure of its subobject classifier and its variation over stages. Next we turn to the discussion of the interpretation of a logic and language in topos, viewed as a model of higher order intuitionistic multisort type theory, as well as the geometric perspective on a topos, viewed as a category of set-valued sheaves over base category equipped with a Grothendieck topology. This text is designed as an elementary introduction, written in a self-contained way, with no previous knowledge required.
Krótka historia matematyki, wydany we fragmentach jako cykl artykułów Na przestrzeni dziejów: Jak liczyli Babilończycy?, Jak liczyli Chińczycy?, Jak liczyli Majowie?, Jak liczyli starożytni Hindusi?, Jak liczyli starożytni Egipcjanie?, Matematyka375, 29-30; 376, 40-41; 377, 38-39; 378, 25-27; 379, 12-14 (2011)
Konsultacja naukowa, korekta tłumaczenia, oraz przypisy do polskiego wydania książki Einstein. Jego życie, jego wszechświat, Walter Isaacson, Wydawnictwo W.A.B., Warszawa [ISBN: 9788301165987] (2010)
Redakcja działu Spadająca winda, czyli fizyka na lekko w czasopiśmie Fizyka w Szkole(2005)
30.06.2015 - Operator-algebraic quantum foundations revisited, 34 Workshop on Geometric Methods in Physics, University of Białystok, Białowieża.
24.06.2015 - Towards geometric (and nonlinear) quantum information theory, National Quantum Information Centre, Sopot.
22.06.2015 - Is mathematics the vanguard of culture? - Some sketches on anthropology of mathematics in the context of category theory, Polish Academy of Arts and Sciences, Commission for Philosophy of Science, Kraków.
21.05.2015 - Quantum information geometric approach to quantum foundations, Underground seminar on open problems in quantum foundations, Perimeter Institute, Waterloo.
18.07.2011 - Categories of quantum theoretic models, International Category Theory Conference CT2011, University of British Columbia, Vancouver.
12.07.2011 - Information geometric foundations of quantum theory, Quantum Foundations Seminar, Perimeter Institute, Waterloo.
11.07.2011 - Information geometric foundations of quantum theory (poster), 31th International Workshop on Bayesian Inference and Maximum Entropy Methods, Perimeter Institute, Waterloo.
07.07.2011 - The emergence of space-time geometry from quantum theory, Quantum Gravity Group Meeting, Perimeter Institute, Waterloo.
29.06.2011 - Quantum entropy and information geometry based on non-commutative integration, 30th Workshop of Geometric Methods in Physics, University of Białystok, Białowieża.
24.06.2011 - Quantum theory and space-time from quantum information geometry, Underground seminar on open problems in quantum foundations, University of Warsaw, Warszawa.
22.06.2011 - New results on quantum relative entropy and quantum information geometry, 43th Symposium on Mathematical Physics, Institute of Physics, Uniwersytet Toruński, Toruń.
16.06.2011 - Information geometric foundations of quantum theory, Foundations of Probability and Physics 6, Linnaeus University, Växjö.
31.03.2011 - Algebraic approach to quantum theory, Underground seminar on open problems in quantum foundations, University of Warsaw, Warszawa.
17.02.2011 - Esquisse d'un programme, Underground seminar on open problems in quantum foundations, University of Warsaw, Warszawa.
08.10.2010 - Riemannian geometry on the spaces of quantum states, Exact Results in Quantum and Gravity Seminar, Institute for Theoretical Physics, Warszawa.
02.08.2010 - Quantum information geometry and non-commutative flow of weights (poster), Information Geometry and Applications III, Max-Planck-Institut für Mathematik in den Naturwissenschaften, Leipzig.
04.07.2010 - Quantum theory as inductive inference, 30th International Workshop on Bayesian Inference and Maximum Entropy Methods, Centre National de la Recherche Scientifique, Chamonix.
22.06.2010 - Information dynamics and geometric foundations of quantum theory, 42th Symposium on Mathematical Physics, Institute of Physics, Uniwersytet Toruński, Toruń.
03.04.2009 - Riemannian and dual geometries on the spaces of probabilistic measures, Exact Results in Quantum and Gravity Seminar, Institute for Theoretical Physics, Warszawa.
22.07.2008 - Differential geometry and smooth analysis in toposes, Underground seminar on open problems in quantum foundations, Institute for Theoretical Physics, Warszawa.
07.05.2008 - The physical meaning of the modular theory and the measurement problem, 4th Quantum Gravity Colloquium, Albert-Einstein-Institute, Golm.
05.01.2007 - Ponzano-Regge reloaded, Exact Results in Quantum and Gravity Seminar, Institute for Theoretical Physics, Warszawa.
15.12.2006 - Ponzano-Regge model for 2+1 quantum gravity, Exact Results in Quantum and Gravity Seminar, Institute for Theoretical Physics, Warszawa.
11.01.2006 - Category theory as a mathematical framework for the concept of inner relation, Seminar on Categories of Reality in Shamanism, Daoism, and Buddhism, Centre for Studies on the Classical Tradition, Warszawa.
13.11.2004 - Black holes in 45 minutes, Theoretical Physics Seminar, Institute for Theoretical Physics, Warszawa.
01.06.2004 - Inflation in cosmology, Particle Physics Student Seminar, Institute for Theoretical Physics, Warszawa.
06.01.2004 - Well-adapted topos models of synthetic differential geometry, Category Theory Seminar, Department of Mathematics, University of Warsaw, Warszawa.
Some other public talks
22.06.2015 - On cultural anthropology of mathematics (a discussion with Michał Heller) - De Revolutionibus, Copernicus Center, Kraków
21.01.2011 - Photos and stories from travel through Tibet - Klub Hoża 69, Faculty of Physics, University of Warsaw.
05.11.2009 - Photos and stories from travel through Mongolia and Buriyatiya - Slajdowiska SKPB, Warsaw University of Technology.
11.01.2006 - Tibetian Book of the dead, Seminar on categories of reality in Shamanism, Daoism, and Buddhism, Centre for Studies on the Classical Tradition, University of Warsaw.
30.11.2005 - Pozdneev's description of Buddhist monasteries in Mongolia, Seminar on categories of reality in Shamanism, Daoism, and Buddhism, Centre for Studies on the Classical Tradition, University of Warsaw.
20.04.2004 - Critical analysis of Ken Wilber's philosophy, Tranpersonal psychology seminar, Faculty of Psychology, University of Warsaw.
15.01.2004 - Form is easy meaning is hard, Seminar on developmental psycholinguistics, Faculty of Psychology, University of Warsaw.
14.01.2004 - Narration as a method of understanding of reality, Seminar on cognitive development, Faculty of Psychology, University of Warsaw.
06.11.2003 - Infants' cognition of intentionality, Seminar on developmental psycholinguistics, Faculty of Psychology, University of Warsaw.
Black Hole Stalker(II.2016) // The world's first shamanic meditation music based on the real sound of merging black holes feat.: Jessy Cerritos on bass & LIGO's registration of gravitational wave signal of a black hole binary system
(a contextual semiotisation - unfortunaltely, written only in Polish - is available; check out also the paper)
Lucid user 047 (a music synthesised using Aaron Labbé's Lucid neurofeedback system, on the basis of EEG of my brainwaves, recorded during meditative state while listening to the sound, as it was generated, 4.XI.2017)
Minoru Tomita - 1967 - Standard forms of von Neumann algebras, unpublished preprint, Kyūshū University, Fukuoka (this preprint is mis-referenced in M. Takesaki's books "Tomita's theory of modular Hilbert algebras and its applications" and "Theory of operator algebras", and since then in all other publications, as "Quasi-standard von Neumann algebras", yet it is properly referenced in Tomita's own paper "von Neumann 代数の標準型について" [On canonical forms of von Neumann algebras, in Japanese], 1967, published in: Fifth Functional Analysis Symposium of Mathematical Society of Japan, Tōhoku University, Sendai, pp.101-102)
Bogdan Mielnik - 1976 - Quantum logic: is it necessarily orthocomplemented?, in: Flato M. et al (eds.), Quantum mechanics, determinism, causality, and particles. An international collection of contributions in honor of Louis de Broglie on the occasion of the jubilee of His celebrated thesis, Reidel, Dordrecht, p.117
Many thanks to Piotr Achinger, Dorota Czarnocka-Cieciura, Tobias Fritz, Jeremy Gibbons, Paolo Gibilisco, Carlos Guedes, Nicolas Hadjisavvas, Grzegorz Kapustka, Marcin Kotowski, Aleksander Kubica, Pekka Lahti, Mustafa Muratov, Hiroshi Nagaoka, Lech Piotrowski, Angelina Romaniuk, Piotr Sołtan, Marek Zawadowski, and László Zsidó for their help in obtaining some of those works.