%%% This file is part of PlanetPhysics snapshot of 2011-09-01
%%% Primary Title: quantum LM-algebraic logic
%%% Primary Category Code: 02.
%%% Filename: QuantumLMAlgebraicLogic.tex
%%% Version: 14
%%% Owner: bci1
%%% Author(s): bci1
%%% PlanetPhysics is released under the GNU Free Documentation License.
%%% You should have received a file called fdl.txt along with this file.
%%% If not, please write to gnu@gnu.org.
\documentclass[12pt]{article}
\pagestyle{empty}
\setlength{\paperwidth}{8.5in}
\setlength{\paperheight}{11in}
\setlength{\topmargin}{0.00in}
\setlength{\headsep}{0.00in}
\setlength{\headheight}{0.00in}
\setlength{\evensidemargin}{0.00in}
\setlength{\oddsidemargin}{0.00in}
\setlength{\textwidth}{6.5in}
\setlength{\textheight}{9.00in}
\setlength{\voffset}{0.00in}
\setlength{\hoffset}{0.00in}
\setlength{\marginparwidth}{0.00in}
\setlength{\marginparsep}{0.00in}
\setlength{\parindent}{0.00in}
\setlength{\parskip}{0.15in}
\usepackage{html}
% this is the default PlanetPhysics preamble. as your knowledge
% of TeX increases, you will probably want to edit this, but
% it should be fine as is for beginners.
% almost certainly you want these
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
% used for TeXing text within eps files
%\usepackage{psfrag}
% need this for including graphics (\includegraphics)
%\usepackage{graphicx}
% for neatly defining theorems and propositions
%\usepackage{amsthm}
% making logically defined graphics
%\usepackage{xypic}
% there are many more packages, add them here as you need them
% define commands here
\usepackage{amsmath, amssymb, amsfonts, amsthm, amscd, latexsym,color,enumerate}
\usepackage{xypic}
\xyoption{curve}
\usepackage[mathscr]{eucal}
%the next gives two direction arrows at the top of a 2 x 2 matrix
\newcommand{\directs}[2]{\def\objectstyle{\scriptstyle} \objectmargin={0pt}
\xy
(0,4)*+{}="a",(0,-2)*+{\rule{0em}{1.5ex}#2}="b",(7,4)*+{\;#1}="c"
\ar@{->} "a";"b" \ar @{->}"a";"c" \endxy }
\theoremstyle{plain}
\newtheorem{lemma}{Lemma}[section]
\newtheorem{proposition}{Proposition}[section]
\newtheorem{theorem}{Theorem}[section]
\newtheorem{corollary}{Corollary}[section]
\newtheorem{conjecture}{Conjecture}[section]
\theoremstyle{definition}
\newtheorem{definition}{Definition}[section]
\newtheorem{example}{Example}[section]
%\theoremstyle{remark}
\newtheorem{remark}{Remark}[section]
\newtheorem*{notation}{Notation}
\newtheorem*{claim}{Claim}
\theoremstyle{plain}
\renewcommand{\thefootnote}{\ensuremath{\fnsymbol{footnote}}}
\numberwithin{equation}{section}
\newcommand{\Ad}{{\rm Ad}}
\newcommand{\Aut}{{\rm Aut}}
\newcommand{\Cl}{{\rm Cl}}
\newcommand{\Co}{{\rm Co}}
\newcommand{\DES}{{\rm DES}}
\newcommand{\Diff}{{\rm Diff}}
\newcommand{\Dom}{{\rm Dom}}
\newcommand{\Hol}{{\rm Hol}}
\newcommand{\Mon}{{\rm Mon}}
\newcommand{\Hom}{{\rm Hom}}
\newcommand{\Ker}{{\rm Ker}}
\newcommand{\Ind}{{\rm Ind}}
\newcommand{\IM}{{\rm Im}}
\newcommand{\Is}{{\rm Is}}
\newcommand{\ID}{{\rm id}}
\newcommand{\GL}{{\rm GL}}
\newcommand{\Iso}{{\rm Iso}}
\newcommand{\Sem}{{\rm Sem}}
\newcommand{\St}{{\rm St}}
\newcommand{\Sym}{{\rm Sym}}
\newcommand{\SU}{{\rm SU}}
\newcommand{\Tor}{{\rm Tor}}
\newcommand{\U}{{\rm U}}
\newcommand{\A}{\mathcal A}
\newcommand{\D}{\mathcal D}
\newcommand{\E}{\mathcal E}
\newcommand{\F}{\mathcal F}
\newcommand{\G}{\mathcal G}
\newcommand{\R}{\mathcal R}
\newcommand{\cS}{\mathcal S}
\newcommand{\cU}{\mathcal U}
\newcommand{\W}{\mathcal W}
\newcommand{\Ce}{\mathsf{C}}
\newcommand{\Q}{\mathsf{Q}}
\newcommand{\grp}{\mathsf{G}}
\newcommand{\dgrp}{\mathsf{D}}
\newcommand{\bA}{\mathbb{A}}
\newcommand{\bB}{\mathbb{B}}
\newcommand{\bC}{\mathbb{C}}
\newcommand{\bD}{\mathbb{D}}
\newcommand{\bE}{\mathbb{E}}
\newcommand{\bF}{\mathbb{F}}
\newcommand{\bG}{\mathbb{G}}
\newcommand{\bK}{\mathbb{K}}
\newcommand{\bM}{\mathbb{M}}
\newcommand{\bN}{\mathbb{N}}
\newcommand{\bO}{\mathbb{O}}
\newcommand{\bP}{\mathbb{P}}
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bV}{\mathbb{V}}
\newcommand{\bZ}{\mathbb{Z}}
\newcommand{\bfE}{\mathbf{E}}
\newcommand{\bfX}{\mathbf{X}}
\newcommand{\bfY}{\mathbf{Y}}
\newcommand{\bfZ}{\mathbf{Z}}
\renewcommand{\O}{\Omega}
\renewcommand{\o}{\omega}
\newcommand{\vp}{\varphi}
\newcommand{\vep}{\varepsilon}
\newcommand{\diag}{{\rm diag}}
\newcommand{\desp}{{\mathbb D^{\rm{es}}}}
\newcommand{\hgr}{{\mathbb H}}
\newcommand{\mgr}{{\mathbb M}}
\newcommand{\ob}{\operatorname{Ob}}
\newcommand{\obg}{{\rm Ob(\mathbb G)}}
\newcommand{\obgp}{{\rm Ob(\mathbb G')}}
\newcommand{\obh}{{\rm Ob(\mathbb H)}}
\newcommand{\Osmooth}{{\Omega^{\infty}(X,*)}}
\newcommand{\ghomotop}{{\rho_2^{\square}}}
\newcommand{\gcalp}{{\mathbb G(\mathcal P)}}
\newcommand{\rf}{{R_{\mathcal F}}}
\newcommand{\glob}{{\rm glob}}
\newcommand{\loc}{{\rm loc}}
\newcommand{\TOP}{{\rm TOP}}
\newcommand{\wti}{\widetilde}
\newcommand{\what}{\widehat}
\renewcommand{\a}{\alpha}
\newcommand{\be}{\beta}
\newcommand{\ga}{\gamma}
\newcommand{\Ga}{\Gamma}
\newcommand{\de}{\delta}
\newcommand{\del}{\partial}
\newcommand{\ka}{\kappa}
\newcommand{\si}{\sigma}
\newcommand{\ta}{\tau}
\newcommand{\lra}{{\longrightarrow}}
\newcommand{\ra}{{\rightarrow}}
\newcommand{\rat}{{\rightarrowtail}}
\newcommand{\oset}[1]{\overset {#1}{\ra}}
\newcommand{\osetl}[1]{\overset {#1}{\lra}}
\newcommand{\hr}{{\hookrightarrow}}
\newcommand{\hdgb}{\boldsymbol{\rho}^\square}
\newcommand{\hdg}{\rho^\square_2}
\renewcommand{\leq}{{\leqslant}}
\renewcommand{\geq}{{\geqslant}}
\def\red{\textcolor{red}}
\def\magenta{\textcolor{magenta}}
\def\blue{\textcolor{blue}}
\def\<{\langle}
\def\>{\rangle}
\begin{document}
This is a topic entry on {\em Categorical \htmladdnormallink{quantum logics}{http://planetphysics.us/encyclopedia/LQG2.html}} focusing on
Quantum \L{}M-algebraic Logic and applications in quantum physics, QED,
QFT, relativity theories, AQFT and quantum gravity.
\subsection{Fundamental Concepts of Space, Time and Space-Times in Quantum Theory vs. General Relativity}
A notable feature of current 21-st century physical thought involves a close examination of the validity of the classical model of \htmladdnormallink{space-time}{http://planetphysics.us/encyclopedia/SR.html} as a $4$--dimensional \htmladdnormallink{manifold}{http://planetphysics.us/encyclopedia/NoncommutativeGeometry4.html} equipped with a Lorentz \htmladdnormallink{metric}{http://planetphysics.us/encyclopedia/MetricTensor.html}. The expectation of the earlier approaches to \htmladdnormallink{quantum gravity}{http://planetphysics.us/encyclopedia/LQG2.html} (\htmladdnormallink{QG}{http://planetphysics.us/encyclopedia/LQG2.html}) was to cope with microscopic length scales where a traditional manifold structure (in the conventional sense) needs to be forsaken (for instance, at the Planck length,
$$L_p = (\frac{G\hslash}{c^3})^{\frac{1}{2}} \approx 10^{-35}m)$$.
Whereas Newton, Riemann, \htmladdnormallink{Einstein}{http://planetphysics.us/encyclopedia/AlbertEinstein.html}, Weyl, Hawking, Penrose, Weinberg and many other exceptionally creative theoreticians regarded physical space as represented by a \emph{continuum}, there is an increasing number of proponents for a \emph{discrete, or`quantized'} structure of space--time, since space itself is considered as discrete on the Planck scale. Like most radical
theories, the latter view carries its own set of problems. The
biggest problem arises from the fact that any discrete,
`point-set' (or discrete topology), view of physical space--time
is not only in immediate conflict with Einstein's General
Relativity \htmladdnormallink{representation}{http://planetphysics.us/encyclopedia/CategoricalGroupRepresentation.html} of space--time as a \emph{continuous
Riemann} space, but it also conflicts with the fundamental
impossibility of carrying out \htmladdnormallink{quantum measurements}{http://planetphysics.us/encyclopedia/CosmologicalConstant.html} that would
localize precisely either quantum events or \htmladdnormallink{masses}{http://planetphysics.us/encyclopedia/CosmologicalConstant.html} at `singular points' (in
the sense of disconnected, or isolated , sharply defined,
geometric points) in space--time. Since \htmladdnormallink{GR}{http://planetphysics.us/encyclopedia/SR.html} seems to break down at the Planck scale,
\emph{space--time may no longer be describable by a smooth manifold
structure} such as a Riemann \htmladdnormallink{metric tensor}{http://planetphysics.us/encyclopedia/Curved4DimensionalSpace.html}. While not neglecting the large scale classical model,
one needs to propose a structure of `ideal observations' as manifest
in a limit, in some sense, of `discrete', or at least separable,
measurements, where in such a limit it also encompasses the classical event.
Further details are given in our recent, related paper (Baianu et al, 2007b).
\subsection{Quantum Logics (QL) and Logic Lattice Algebras (LA): Operational Quantum Logic (OQL) and \L{}ukasiewicz Quantum Logic (LQL).}
\emph{\htmladdnormallink{quantum fields}{http://planetphysics.us/encyclopedia/CosmologicalConstant2.html}, General Relativity and Symmetries.}
As the experimental findings in high-energy physics--coupled
with theoretical studies-- have revealed the presence of new \htmladdnormallink{fields}{http://planetphysics.us/encyclopedia/CosmologicalConstant.html} and symmetries, there appeared the need in modern physics to develop
systematic procedures for generalizing space--time and \htmladdnormallink{quantum state space}{http://planetphysics.us/encyclopedia/QuantumSpinNetworkFunctor2.html} (\htmladdnormallink{QSS}{http://planetphysics.us/encyclopedia/QuantumSpinNetworkFunctor2.html}) representations in order to reflect these new
\htmladdnormallink{concepts}{http://planetphysics.us/encyclopedia/PreciseIdea.html}. In the General Relativity (GR) formulation, the local structure of
space--time, characterized by its various \htmladdnormallink{tensors}{http://planetphysics.us/encyclopedia/Tensor.html} (of
energy--momentum, torsion, curvature, etc.), incorporates \htmladdnormallink{The Gravitational Fields}{http://planetphysics.us/encyclopedia/GravitationalField.html} surrounding various masses. In Einstein's own
representation, the physical space--time of GR has the structure
of a Riemannian $R^4$ space over large distances, although the
detailed local structure of space--time -- as Einstein perceived
it -- is likely to be significantly different. On the other hand, there is a growing consensus in \htmladdnormallink{theoretical physics}{http://planetphysics.us/encyclopedia/PhysicalMathematics2.html} that a valid theory of Quantum Gravity requires a much deeper understanding of the small(est)--scale structure of Quantum Space--Time (\htmladdnormallink{QST}{http://planetphysics.us/encyclopedia/SUSY2.html}) than currently developed. In Einstein's GR
theory and his subsequent attempts at developing a \htmladdnormallink{unified field theory}{http://planetphysics.us/encyclopedia/QAT.html} (as in the space concept advocated by Leibnitz), space-time
does \emph{not} have an \emph{independent existence} from \htmladdnormallink{objects}{http://planetphysics.us/encyclopedia/TrivialGroupoid.html},
matter or fields, but is instead an entity generated by the
\emph{continuous} transformations of fields. Hence, the continuous
nature of space--time was adopted in GR and Einstein's subsequent
field theoretical developments. Furthermore, the quantum, or
`quantized', versions of space-time, QST, are operationally
defined through local quantum measurements in general \htmladdnormallink{reference frames}{http://planetphysics.us/encyclopedia/CosmologicalConstant2.html} that are prescribed by GR theory. Such a definition is
therefore subject to the postulates of both GR theory and the
axioms of \htmladdnormallink{local quantum physics}{http://planetphysics.us/encyclopedia/MathematicalFoundationsOfQuantumTheories.html}. We must emphasize, however, that
this is \emph{not} the usual definition of \htmladdnormallink{position}{http://planetphysics.us/encyclopedia/Position.html} and time
\htmladdnormallink{observables}{http://planetphysics.us/encyclopedia/QuantumSpinNetworkFunctor2.html} in `standard' \htmladdnormallink{QM}{http://planetphysics.us/encyclopedia/FTNIR.html}. The general reference
frame positioning in QST is itself subject to the \htmladdnormallink{Heisenberg uncertainty principle}{http://planetphysics.us/encyclopedia/QuantumParticle.html}, and therefore it acquires through quantum
measurements, a certain `fuzziness' at the Planck scale which is
intrinsic to all microphysical quantum \htmladdnormallink{systems}{http://planetphysics.us/encyclopedia/SimilarityAndAnalogousSystemsDynamicAdjointnessAndTopologicalEquivalence.html}. Such systems with
fuzziness include \emph{\htmladdnormallink{spin networks}{http://planetphysics.us/encyclopedia/SimplicialCWComplex.html}} that change in time thus giving birth
to \emph{\htmladdnormallink{spin foam}{http://planetphysics.us/encyclopedia/ComplexOfSpinNetworks.html}}.
\emph{Operational Quantum Logic (OQL) and \L{}ukasiewicz Quantum Logic (LQL)}
As pointed out by von Neumann and Birkhoff (1930), a logical foundation of \htmladdnormallink{quantum mechanics}{http://planetphysics.us/encyclopedia/QuantumParadox.html} consistent with \htmladdnormallink{quantum algebra}{http://planetphysics.us/encyclopedia/QuantumAlgebra.html} is essential for both the completeness and mathematical validity of
the theory. The development of Quantum Mechanics from its very beginnings both inspired and required the consideration of specialized logics compatible with a new theory of measurements
for microphysical systems. Such a specialized logic was initially formulated by von Neumann and Birkhoff (1932) and called `Quantum Logic'. Subsequent research on Quantum Logics (Chang, 1958;
Genoutti, 1968; Dalla Chiara, 1968, 2004) resulted in several approaches that involve several \htmladdnormallink{types}{http://planetphysics.us/encyclopedia/Bijective.html} of non-distributive lattice (algebra) for $n$--valued quantum logics. Thus, modifications of
the \L ukasiewicz Logic Algebras that were introduced in the context of \htmladdnormallink{algebraic categories}{http://planetphysics.us/encyclopedia/CategoryOfLogicAlgebras.html} by Georgescu and Vraciu (1973), also recently reviewed and expanded by Georgescu (2006),
can provide an appropriate framework for representing quantum systems, or-- in their unmodified form- for describing the activities of complex networks in \htmladdnormallink{categories}{http://planetphysics.us/encyclopedia/Cod.html} of \L{}ukasiewicz
Logic Algebras (Baianu, 1977).
\emph{Lattices and Von Neumann-Birkhoff (VNB) Quantum Logic: Definition and Some Logical Properties.}
We commence here by giving the \emph{set-based definition of a
Lattice}. An \emph{s--lattice} $\mathbf{L}$, or a `set-based'
lattice, is defined as a \emph{partially ordered set} that has all
binary products (defined by the $s$--lattice \htmladdnormallink{operation}{http://planetphysics.us/encyclopedia/Cod.html} ``
$\bigwedge$") and \htmladdnormallink{coproducts}{http://planetphysics.us/encyclopedia/Coproduct.html} (defined by the $s$--lattice
operation ``$ \bigvee$ "), with the "partial ordering" between two
elements X and Y belonging to the $s$--lattice being written as
``$X \preceq Y$". The partial order defined by $\preceq$ holds in
\textbf{L}as $X \preceq Y$ if and only if
$X = X \bigwedge Y $ (or equivalently, $Y = X \bigvee Y $
Eq.(3.1)(p. 49 of Mac Lane and Moerdijk, 1992).
\emph{\L{}ukasiewicz-Moisil (LM) Quantum Logic (LQL) and Algebras.}
With all truth 'nuances' or assertions of the type $<<$ \emph{system A} is excitable
to the $i$-th level and system B is excitable to the $j$-th level $>>$ one can define
a special type of lattice which is subject to the axioms introduced by Georgescu and Vraciu
( 1970) and that becomes a \emph{$n$-valued \L ukasiewicz-Moisil, or LM, algebra}. Further
\htmladdnormallink{algebraic}{http://planetphysics.us/encyclopedia/CoIntersections.html} and logic details are provided in Georgescu (2006) and Baianu et al (2007b).
In order to have the $n$-valued \L{}ukasiewicz Logic Algebra
represent correctly the basic behaviour of quantum systems
(i.e., as observed through measurements that involve a quantum system
interactions with a measuring instrument --which is a macroscopic
object), several of these axioms have to be significantly changed
so that the resulting lattice becomes \emph{non-distributive} and also
(possibly) \emph{non--associative} (Dalla Chiara, 2004), in addition to being \emph{\htmladdnormallink{non-commutative}{http://planetphysics.us/encyclopedia/AbelianCategory3.html}}. With an appropriately defined quantum logic of events one can proceed to define Hilbert, or `nuclear'/Frechet, spaces in order to be able to utilize the `standard' procedures of \htmladdnormallink{quantum theories}{http://planetphysics.us/encyclopedia/SpaceTimeQuantizationInQuantumGravityTheories.html}.
\emph{Deterministic Time--reversible-- vs. Probabilistic Time--Irreversibility and its Laws- Unitary vs. General Transformations}
A significant part of the scientific--philosophical \htmladdnormallink{work}{http://planetphysics.us/encyclopedia/Work.html} of Ilya
Prigogine (see e.g. Prigogine, 1980) has been devoted to the
dynamical meaning of \emph{irreversibility} expressed in terms of
the second law of \htmladdnormallink{Thermodynamics}{http://planetphysics.us/encyclopedia/Thermodynamics.html}. For systems with strong enough
instability of \htmladdnormallink{motion}{http://planetphysics.us/encyclopedia/CosmologicalConstant2.html}, the concept of phase space trajectories is
no longer meaningful and the dynamical description has to be
replaced by the notion of distribution \htmladdnormallink{functions}{http://planetphysics.us/encyclopedia/Bijective.html} on the phase
space. The viewpoint is that quantum theory produces a more
coherent type of motion than in the classical setting, and the
quantum effects induce correlations between neighbouring classical
trajectories in phase space (which can be compared with the
Bohr--Sommerfeld postulate of the image of phase cells having area
$\hslash$). Prigogine's idea (1980) is to associate a
macroscopic \htmladdnormallink{entropy}{http://planetphysics.us/encyclopedia/ThermodynamicLaws.html} (or Lyapounov function) with a microscopic
entropy \htmladdnormallink{operator}{http://planetphysics.us/encyclopedia/QuantumSpinNetworkFunctor2.html} $M$~. One also notes the possibility of `contingent \htmladdnormallink{Universes}{http://planetphysics.us/encyclopedia/MultiVerses.html}' with this `probabilistic time'
paradigm.
We must mention here that the time operator $T$ represents the `internal
time', whereas the usual, `secondary' time in quantum \htmladdnormallink{dynamics}{http://planetphysics.us/encyclopedia/MathematicalFoundationsOfQuantumTheories.html} is regarded as an
average over $T$ (AN-2.6). Given the internal time's ability to distinguish between between future and past, a self-consistent scheme may be summarized in the following \htmladdnormallink{diagram}{http://planetphysics.us/encyclopedia/TrivialGroupoid.html} (Prigogine, 1980):
\begin{equation}
\def\labelstyle{\textstyle}
\xymatrix@M=0.1pc @=5pc{& {\text{Observer}} \ar[r] &
{\text{Dynamics}} \ar[d]
\\ &{\text{Broken time symmetry}} \ar[u] &
\text{Dissipative structures} \ar[l] }
\end{equation}
for which `irreversibility' occurs as the intermediary in the following sequence:
$$ \text{Dynamics} \Longrightarrow \text{Irreversibility}
\Longrightarrow \text{Dissipative structures} $$
Note however that certain quantum theorists, including Einstein, regarded the irreversibility of time as an `illusion'. Others-- operating with minimal representations in quantum logic for finite quantum systems-- go further still by denying that there is any need for real time to appear in the formulation of quantum theory.
\emph{Fundamental Concepts of \htmladdnormallink{algebraic topology}{http://planetphysics.us/encyclopedia/CubicalHigherHomotopyGroupoid.html} with Potential Application to Ontology Levels Theory and Space-Time Structures.}
We shall consider briefly the potential impact of novel Algebraic Topology concepts, methods and results on the problems of defining and classifying rigorously \htmladdnormallink{quantum space-times}{http://planetphysics.us/encyclopedia/SUSY2.html}. With the advent of Quantum Groupoids--generalizing Quantum \htmladdnormallink{groups}{http://planetphysics.us/encyclopedia/TrivialGroupoid.html}, Quantum Algebra and \htmladdnormallink{Quantum Algebraic Topology}{http://planetphysics.us/encyclopedia/TriangulationMethodsForQuantizedSpacetimes2.html}, several fundamental concepts and new \htmladdnormallink{theorems}{http://planetphysics.us/encyclopedia/Formula.html} of Algebraic Topology may also acquire an enhanced importance through their potential applications to current problems in theoretical and mathematical physics, such as those described in an available preprint (Baianu, Brown and Glazebrook, 2006), and also in several recent publications (Baianu et al 2007a,b; Brown et al 2007).
Now, if quantum mechanics is to reject the notion of a continuum,
then it must also reject the notion of the real line and the notion
of a path. How then is one to construct a \htmladdnormallink{homotopy theory}{http://planetphysics.us/encyclopedia/CubicalHigherHomotopyGroupoid.html}?
One possibility is to take the route signalled by \v{C}ech, and which
later developed in the hands of Borsuk into `Shape Theory' (see,
Cordier and Porter, 1989). Thus a quite general space is studied by
means of its approximation by open covers.
A few fundamental concepts of Algebraic Topology and \htmladdnormallink{category theory}{http://planetphysics.us/encyclopedia/TrivialGroupoid.html} are summarized here that have an extremely wide range of applicability to the higher \htmladdnormallink{complexity}{http://planetphysics.us/encyclopedia/Complexity.html} levels of reality as well as to the fundamental, quantum level(s). Technical details are omitted in this \htmladdnormallink{section}{http://planetphysics.us/encyclopedia/IsomorphicObjectsUnderAnIsomorphism.html} in order to focus only on the ontologically-relevant aspects; full mathematical details are however also available in a recent paper by Brown et al (2007) that focuses on a mathematical/conceptual framework for a completely formal approach to \htmladdnormallink{categorical ontology}{http://planetphysics.us/encyclopedia/CategoricalOntology.html} and the theory of levels.
\subsubsection{Local--to--Global (LG) Construction Principles consistent with Quantum `Axiomatics'.}
A novel approach to QST construction in Algebraic/Axiomatic \htmladdnormallink{QFT}{http://planetphysics.us/encyclopedia/QuantumOperatorAlgebra5.html} involves the use of generalized fundamental theorems of algebraic topology from
specialized, `globally well-behaved' \htmladdnormallink{topological}{http://planetphysics.us/encyclopedia/CoIntersections.html} spaces, to
arbitrary ones (Baianu et al, 2007c). In this category, are the generalized, \emph{\htmladdnormallink{higher homotopy van Kampen Theorems}{http://planetphysics.us/encyclopedia/ModuleAlgebraic.html} (HHvKT)} of Algebraic Topology with
novel and unique \htmladdnormallink{non-Abelian}{http://planetphysics.us/encyclopedia/AbelianCategory3.html} applications. Such theorems greatly aid
the calculation of \htmladdnormallink{higher homotopy}{http://planetphysics.us/encyclopedia/ModuleAlgebraic.html} of topological spaces. R. Brown and coworkers (1999, 2004a,b,c) generalized the \htmladdnormallink{Van Kampen theorem}{http://planetphysics.us/encyclopedia/VanKampenTheorems.html}, at first to \htmladdnormallink{fundamental groupoids}{http://planetphysics.us/encyclopedia/CubicalHigherHomotopyGroupoid.html} on a set of base points (Brown,1967), and
then, to \htmladdnormallink{higher dimensional algebras}{http://planetphysics.us/encyclopedia/2Groupoid2.html} involving, for example,
\htmladdnormallink{homotopy}{http://planetphysics.us/encyclopedia/ThinEquivalence.html} \htmladdnormallink{double groupoids}{http://planetphysics.us/encyclopedia/WeakHomotopy.html} and \htmladdnormallink{2-categories}{http://planetphysics.us/encyclopedia/2Category.html} (Brown, 2004a). The more
sensitive \emph{algebraic invariant} of topological spaces seems to
be, however, captured only by \emph{cohomology} theory through an
algebraic \emph{ring} structure that is not accessible either in
\htmladdnormallink{homology theory}{http://planetphysics.us/encyclopedia/CubicalHigherHomotopyGroupoid.html}, or in the existing homotopy theory. Thus, two
arbitrary topological spaces that have isomorphic \htmladdnormallink{homology groups}{http://planetphysics.us/encyclopedia/ExtendedHurewiczFundamentalTheorem.html} may not have isomorphic cohomological ring structures, and may also
not be homeomorphic, even if they are of the same homotopy type.
Furthermore, several \emph {non-Abelian} results in algebraic topology could only be derived from the \htmladdnormallink{generalized Van Kampen theorem}{http://planetphysics.us/encyclopedia/SingularComplexOfASpace.html} (\emph{viz}. Brown, 2004a), so that one may find links of such results to the expected
\emph{`non-commutative} geometrical' structure of quantized space--time
(Connes, 1994). In this context, the important algebraic--topological concept of a \emph{Fundamental Homotopy \htmladdnormallink{groupoid}{http://planetphysics.us/encyclopedia/GroupoidHomomorphism2.html} (FHG) is applied to a Quantum Topological Space (QTS)} as a ``partial classifier" of the \emph{invariant} topological properties of quantum spaces of \emph{any} dimension; quantum topological spaces are then linked together in a \emph{\htmladdnormallink{crossed complex}{http://planetphysics.us/encyclopedia/SingularComplexOfASpace.html} over a
\htmladdnormallink{quantum groupoid}{http://planetphysics.us/encyclopedia/WeakHopfAlgebra.html}} (Baianu, Brown and Glazebrook, 2006), thus
suggesting the construction of global \htmladdnormallink{topological structures}{http://planetphysics.us/encyclopedia/TrivialGroupoid.html} from
local ones with well-defined quantum homotopy groupoids. The latter
theme is then further pursued through defining locally \htmladdnormallink{topological groupoids}{http://planetphysics.us/encyclopedia/GroupoidHomomorphism2.html} that can be globally characterized by applying the
Globalization Theorem, which involves the \emph{unique} construction
of the Holonomy Groupoid. We are considering in a separate publication(Baianu et al 2007c) how such concepts might be applied in the context of Algebraic or \htmladdnormallink{Axiomatic Quantum Field Theory}{http://planetphysics.us/encyclopedia/CosmologicalConstant.html} (\htmladdnormallink{AQFT}{http://planetphysics.us/encyclopedia/SUSY2.html}) to provide a local-to-global construction of Quantum space-times which would still be valid in the presence of intense gravitational fields without generating singularities as in GR. The result of such a construction is a \emph{Quantum Holonomy Groupoid}, (QHG) which is unique up to an \htmladdnormallink{isomorphism}{http://planetphysics.us/encyclopedia/IsomorphicObjectsUnderAnIsomorphism.html}.
\subsection{Theories: Axioms, Principles, Postulates and Laws.}
The Greeks devised \emph{the axiomatic method}, but thought of it
in a different manner to that we do today. One can imagine that
the way Euclid's Geometry evolved was simply through the
delivering of a course \htmladdnormallink{covering}{http://planetphysics.us/encyclopedia/CubicalHigherHomotopyGroupoid.html} the established facts of the time.
In delivering such a course, it is natural to formalize the
starting points, and so arranging a sensible structure. These
starting points came to be called \emph{postulates, definitions
and axioms}, and they were thought to deal with real, or even
ideal, objects, named points, lines, distance and so on. The
modern view, initiated by the discovery of non Euclidean geometry,
is that the words points, lines, etc. should be taken as undefined
terms, and that axioms give the \emph{\htmladdnormallink{relations}{http://planetphysics.us/encyclopedia/Bijective.html}} between these.
This allows the axioms to apply to many other instances, and has
led to the \htmladdnormallink{power}{http://planetphysics.us/encyclopedia/Power.html} of modern geometry and algebra. Clarifying the meaning to be ascribed to `concept', `percept', `thought', `emotion', etc., and above all the \emph{relations} between these words, is clearly a fundamental but
time--consuming step. Although relations--in their turn--can be, and
were, defined in terms of sets, their axiomatic/categorical
introduction greatly expands their range of applicability well beyond that of set-relations.
Ultimately, one deals with \emph{relations among relations} and relations of higher order.
The more rigorous scientific theories, including those founded in
Logics and Mathematics, proceed at a fundamental level from axioms
and principles, followed in the case of `natural sciences' by laws
of nature that are valid in specific contexts or well-defined
situations. Whereas the hierarchical theory of levels provides a powerful,
systemic approach through categorical ontology, the foundation
of science involves \emph{universal} models and theories
pertaining to different levels of reality. Such theories are based
on axioms, principles, postulates and laws operating on distinct
levels of reality with a specific degree of complexity.
Because of such distinctions, inter-level principles or laws are rare and
over-simplified principles abound. As relevant examples, consider
the Chemical/ Biochemical Thermodynamics, Physical Biochemistry
and Molecular Biology fields which have developed a rich structure
of specific-level laws and principles, however, without `breaking
through' to the higher, emergent/integrative level of organismic
biology. This does not detract of course from their usefulness, it
simply renders them incomplete as theories of biological reality.
With the possible exceptions of Evolution and Genetic Principles
or Laws, Biology has until recently lacked other universal principles
for highly complex dynamics in organisms, populations and species,
as it will be shown in the following sections. One
can therefore consider Biology to be at an almost `pre--Newtonian'
stage by comparison with either Physics or Chemistry.
Whereas axioms are rarely invoked in the natural
sciences perhaps because of their abstract and exacting
attributes, (as well as their coming into existence through
elaborate processes of repeated abstraction and refinement),
postulates are `obvious assumptions' of extreme generality that do
not require proof but just like axioms are accepted on the basis
of their very numerous, valid consequences. Principles and laws, even though quite strict, may not apply under certain exceptional, or `singular' situations. Natural laws are applicable to well-defined zones or levels of reality, and are thus less general, or universal, than principles. Unlike \htmladdnormallink{physical laws}{http://planetphysics.us/encyclopedia/PrincipleOfCorrespondingStates.html} that are often expressed through
mathematical equations, principles are instead often explained in words,
and tend to have the most general form attainable/acceptable in an
established theory. It is interesting to note that in Greek, and later
Roman antiquity, both philosophers and orators did link philosophy and logic; moreover,
in medieval time, first Francis Bacon, then Newton opted for quite precise formulations
of ``natural philosophy" and a logical approach to `objective' reality. In Newton's
approach, the logical and precise formulation of such ``natural principles" demanded the
development of mathematical concepts suitable for the exact determination and quantification
of the rate of a change in the ``state of motion" of any mechanical body, or system.
Later philosophical developments have strayed from such precise formulations and, indeed,
mathematical developments seem to have lost their appeal in `natural philosophy'.
It is also in this context that the `local-to-global' model approach becomes relevant, as in the case of generalized van Kampen theorems (see the Brown, Glazebrook and Baianu (2007) paper for a concise presentation of the van Kampen generalized theorems).
Interestingly, the founder of \htmladdnormallink{relational biology}{http://planetphysics.us/encyclopedia/RSystemsCategory.html}, \htmladdnormallink{Nicolas Rashevsky}{http://planetphysics.us/encyclopedia/NicolasRashevsky.html} (1968) proposed that physical laws and principles can be expressed in terms of \emph{mathematical functions}, or mappings, and are thus being predominantly expressed in a \emph{numerical} form, whereas the laws and principles of biological organisms and societies need take a more general form in terms of quite general, or abstract--mathematical and logical relations which cannot always be expressed numerically; the latter are often qualitative, whereas the former are predominantly quantitative. According to his suggested criterion, \htmladdnormallink{string theories}{http://planetphysics.us/encyclopedia/10DBrane.html} may not be characteristic of the physical \htmladdnormallink{domain}{http://planetphysics.us/encyclopedia/Bijective.html} as they involve many qualitative relations and features. In this respect, one may also suggest that modern, Abstract Art, in its various forms-- if considered as a distinct class of representations--has moved ahead of modern philosophy to attempt universal representations of reality in a precise but flexible manner, thus appealing to both reason and emotions combined.
\emph{Symmetry, \htmladdnormallink{commutativity}{http://planetphysics.us/encyclopedia/TrivialGroupoid.html} and Abelian Structures.}
The hierarchy constructed above, up to level 3, can be
further extended to higher, $n$-levels, always in a consistent,
natural manner, that is using \htmladdnormallink{commutative diagrams}{http://planetphysics.us/encyclopedia/Commutativity.html}. Let us see
therefore a few simple examples or specific instances of
commutative properties. The type of global, natural hierarchy of
items inspired by the mathematical TC-FNT has a kind of
\emph{internal symmetry} because at all levels, the link
\htmladdnormallink{compositions}{http://planetphysics.us/encyclopedia/Cod.html} are \emph{natural}, that is, if $f: x \lra y$ and $g: y \lra z
\Longrightarrow h: x \lra z$, then the composition of \htmladdnormallink{morphism}{http://planetphysics.us/encyclopedia/TrivialGroupoid.html} $g$ with $f$ is
given by another unique morphism $h = g \circ f$. This general property involving the equality of such link composition chains or diagrams comprising any number of sequential links between the same beginning and ending objects is called \emph{commutativity} (see for example Samuel and Zarisky, 1957), and is often expressed as a \emph{\htmladdnormallink{naturality condition}{http://planetphysics.us/encyclopedia/TrivialGroupoid.html} for diagrams}. This key mathematical property also includes the mirror-like symmetry $x\star y = y\star x$; when $x$ and $y$ are \htmladdnormallink{operators}{http://planetphysics.us/encyclopedia/QuantumOperatorAlgebra4.html} and the symbol '$\star$' represents the
operator multiplication. Then, the equality of $x\star y$ with
$y\star x$ defines the statement that "the $x$ and $y$
operators \emph{\htmladdnormallink{commute}{http://planetphysics.us/encyclopedia/Commutator.html}}"; in physical terms, this translates
into a sharing of the same set of eigenvalues by the two commuting
operators, thus leading to `equivalent' numerical results {i.e.,
up to a multiplication constant); furthermore, the observations
X and Y corresponding, respectively, to these two operators
would yield the same result if X is performed before Y in time,
or if Y is performed first followed by X. This property, when present,
is very convenient for both mathematical and physical applications (such as those encountered in quantum mechanics). When commutativity is global in a structure, as in an Abelian (or commutative) group, \htmladdnormallink{commutative groupoid}{http://planetphysics.us/encyclopedia/AbelianCategory3.html}, \htmladdnormallink{commutative ring}{http://planetphysics.us/encyclopedia/CommutativeRing.html}, etc., such a structure that is commutative throughout is usually called \textbf{\emph{Abelian}}. However, in the case of category theory, this concept of Abelian structure has been extended to a special class of categories that have meta-properties formally similar to those of the category of \htmladdnormallink{commutative groups}{http://planetphysics.us/encyclopedia/AbelianCategory3.html}, \emph{Ab}-\textbf{G}; the necessary and sufficient conditions for such `Abelianness' of categories other than that of \htmladdnormallink{Abelian groups}{http://planetphysics.us/encyclopedia/TrivialGroupoid.html} were expressed as three axioms \textbf{Ab1} to \textbf{Ab3} and their duals (Freyd, 1964; see also the details in Baianu et al 2007b and Brown et al 2007). A first step towards re-gaining something like the `global commutativity' of an Abelian group is to require that all classes of morphisms [A,B] or Hom(A,B) have the structure of commutative groups; subject to a few other general conditions such categories are called \textbf{additive}. Then, some kind of global commutativity is assured for all morphisms of \emph{additive} categories. However, further conditions are needed to make \htmladdnormallink{additive categories}{http://planetphysics.us/encyclopedia/DenseSubcategory.html} `Abelian', and additional properties were also posited for \htmladdnormallink{abelian categories}{http://planetphysics.us/encyclopedia/AbelianCategory2.html} in order to extend the applications of Abelian category theory to other fields of modern mathematics (Grothendieck, 1957; Grothendieck and Dieudon\'{e} 1960; Oberst 1969; Popescu 1973.) A Homotopy theory was also formulated in Abelian categories (Kleisli, 1962). The equivalence of Abelian categories was reported by Roux, and important imbedding theorems were proved by Mitchell (1964) and by Lubkin (1960); a characterization of Abelian categories with \htmladdnormallink{generators}{http://planetphysics.us/encyclopedia/Generator.html} and exact limits was presented by Gabriel and Popescu (1964). As one can see from both earlier and recent literature, Abelian categories have been studied in great detail, even though one cannot say that all their properties have been already found.
However, not all \htmladdnormallink{quantum operators}{http://planetphysics.us/encyclopedia/QuantumOperatorAlgebra5.html} `commute', and not all \htmladdnormallink{categorical diagrams}{http://planetphysics.us/encyclopedia/CategoricalDiagramsDefinedByFunctors.html} or mathematical structures are, or need be, commutative. \emph{Non-commutativity} may therefore appear as a result of `breaking' the `internal symmetry' represented by commutativity. As a physical analogy, this might be considered a kind of \emph{`symmetry breaking'} which is thought to be responsible for our \htmladdnormallink{expanding universe}{http://planetphysics.us/encyclopedia/ExpandingUniverse.html} and \htmladdnormallink{CPT}{http://planetphysics.us/encyclopedia/NonNewtonian2.html} violation, as well as many other physical phenomena such as phase transitions and \htmladdnormallink{superconductivity}{http://planetphysics.us/encyclopedia/QuantumStatisticalTheories.html} (Weinberg, 2003).
\begin{thebibliography}{9}
\bibitem{ICB-RO2k8}
Baianu, I.C. and R. Poli. (2008), From Simple to Complex and Ultra-Complex Systems:
A Paradigm Shift Towards Non-Abelian Systems Dynamics., In: {\em Theory and Applications of Ontology},
vol. \textbf{1}, R. Poli, Ed., Springer: Berlin.
\bibitem{BGB2k7b}
Brown, R., Glazebrook, J. F. and I.C. Baianu.(2007), A Conceptual, Categorical and Higher Dimensional Algebra Framework of Universal Ontology and the Theory of Levels for Highly Complex Structures and Dynamics., \emph{Axiomathes} (17): 321--379.
\bibitem{BBGG1}
Baianu I. C., Brown R., Georgescu G. and J. F. Glazebrook.(2006), Complex Nonlinear Biodynamics in Categories, Higher Dimensional Algebra and \L{}ukasiewicz--Moisil Topos: Transformations of Neuronal, Genetic and Neoplastic Networks,
\emph{Axiomathes}, \textbf{16} Nos. 1--2: 65--122.
\bibitem{Bggb4}
Baianu, I.C., R. Brown and J. F. Glazebrook.(2007), A Non-Abelian, Categorical Ontology of Spacetimes and Quantum Gravity, {\em Axiomathes}, \textbf{17}: 169-225.
\bibitem{Poli1}
Poli, R. (1998), Levels,\emph{Axiomathes}, \textbf{9}, 1-2, pp. 197-211.
\bibitem{Poli2}
Poli, R. (2001a), The Basic Problem of the Theory of Levels of Reality, \emph{Axiomathes}, \textbf{12}, 3-4, pp. 261-283.
\bibitem{Poli3}
Poli, R. (2001b), Alwis. {\em Ontology for Knowledge Engineers}. PhD Thesis, Univ. of Utrecht.
\end{thebibliography}
\end{document}
