Classical Symmetries of Some Two-Dimensional Models

It is well-known that principal chiral models and symmetric space models in two-dimensional Minkowski space have an infinite-dimensional algebra of hidden symmetries. Because of the relevance of symmetric space models to duality symmetries in string theory, the hidden symmetries of these models are explored in some detail. The string theory application requires including coupling to gravity, supersymmetrization, and quantum effects. However, as a first step, this paper only considers classical bosonic theories in flat space-time. Even though the algebra of hidden symmetries of principal chiral models is confirmed to include a Kac--Moody algebra (or a current algebra on a circle), it is argued that a better interpretation is provided by a doubled current algebra on a semi-circle (or line segment). Neither the circle nor the semi-circle bears any apparent relationship to the physical space. For symmetric space models the line segment viewpoint is shown to be essential, and special boundary conditions need to be imposed at the ends. The algebra of hidden symmetries also includes Virasoro-like generators. For both principal chiral models and symmetric space models, the hidden symmetry stress tensor is singular at the ends of the line segment.Comment: 51 pages, minor corrections and added reference

Gravitational Billiards, Dualities and Hidden Symmetries

The purpose of this article is to highlight the fascinating, but only very incompletely understood relation between Einstein's theory and its generalizations on the one hand, and the theory of indefinite, and in particular hyperbolic, Kac Moody algebras on the other. The elucidation of this link could lead to yet another revolution in our understanding of Einstein's theory and attempts to quantize it.Comment: 37 pages, invited contribution to the volume "100 years of relativity spacetime structure: Einstein and beyond", ed. A. Ashteka

Hidden Symmetries and Dirac Fermions

In this paper, two things are done. First, we analyze the compatibility of Dirac fermions with the hidden duality symmetries which appear in the toroidal compactification of gravitational theories down to three spacetime dimensions. We show that the Pauli couplings to the p-forms can be adjusted, for all simple (split) groups, so that the fermions transform in a representation of the maximal compact subgroup of the duality group G in three dimensions. Second, we investigate how the Dirac fermions fit in the conjectured hidden overextended symmetry G++. We show compatibility with this symmetry up to the same level as in the pure bosonic case. We also investigate the BKL behaviour of the Einstein-Dirac-p-form systems and provide a group theoretical interpretation of the Belinskii-Khalatnikov result that the Dirac field removes chaos.Comment: 30 page

Matching Logic

This paper presents matching logic, a first-order logic (FOL) variant for specifying and reasoning about structure by means of patterns and pattern matching. Its sentences, the patterns, are constructed using variables, symbols, connectives and quantifiers, but no difference is made between function and predicate symbols. In models, a pattern evaluates into a power-set domain (the set of values that match it), in contrast to FOL where functions and predicates map into a regular domain. Matching logic uniformly generalizes several logical frameworks important for program analysis, such as: propositional logic, algebraic specification, FOL with equality, modal logic, and separation logic. Patterns can specify separation requirements at any level in any program configuration, not only in the heaps or stores, without any special logical constructs for that: the very nature of pattern matching is that if two structures are matched as part of a pattern, then they can only be spatially separated. Like FOL, matching logic can also be translated into pure predicate logic with equality, at the same time admitting its own sound and complete proof system. A practical aspect of matching logic is that FOL reasoning with equality remains sound, so off-the-shelf provers and SMT solvers can be used for matching logic reasoning. Matching logic is particularly well-suited for reasoning about programs in programming languages that have an operational semantics, but it is not limited to this

From Simple to Complex and Ultra-complex Systems:\ud A Paradigm Shift Towards Non-Abelian Systems Dynamics

Atoms, molecules, organisms distinguish layers of reality because of the causal links that govern their behavior, both horizontally (atom-atom, molecule-molecule, organism-organism) and vertically (atom-molecule-organism). This is the first intuition of the theory of levels. Even if the further development of the theory will require imposing a number of qualifications to this initial intuition, the idea of a series of entities organized on different levels of complexity will prove correct. Living systems as well as social systems and the human mind present features remarkably different from those characterizing non-living, simple physical and chemical systems. We propose that super-complexity requires at least four different categorical frameworks, provided by the theories of levels of reality, chronotopoids, (generalized) interactions, and anticipation

From Simple to Complex and Ultra-complex Systems:\ud A Paradigm Shift Towards Non-Abelian Systems Dynamics

Atoms, molecules, organisms distinguish layers of reality because of the causal links that govern their behavior, both horizontally (atom-atom, molecule-molecule, organism-organism) and vertically (atom-molecule-organism). This is the first intuition of the theory of levels. Even if the further development of the theory will require imposing a number of qualifications to this initial intuition, the idea of a series of entities organized on different levels of complexity will prove correct. Living systems as well as social systems and the human mind present features remarkably different from those characterizing non-living, simple physical and chemical systems. We propose that super-complexity requires at least four different categorical frameworks, provided by the theories of levels of reality, chronotopoids, (generalized) interactions, and anticipation

Almost product manifolds as the low energy geometry of Dirichlet branes

Any candidate theory of quantum gravity must address the breakdown of the classical smooth manifold picture of space-time at distances comparable to the Planck length. String theory, in contrast, is formulated on conventional space-time. However, we show that in the low energy limit, the dynamics of generally curved Dirichlet p-branes possess an extended local isometry group, which can be absorbed into the brane geometry as an almost product structure. The induced kinematics encode two invariant scales, namely a minimal length and a maximal speed, without breaking general covariance. Quantum gravity effects on D-branes at low energy are then seen to manifest themselves by the kinematical effects of a maximal acceleration. Experimental and theoretical implications of such new kinematics are easily derived. We comment on consequences for brane world phenomenology.Comment: 12 pages, invited article in European Physical Journal C, reprinted in Proceedings of the International School on Subnuclear Physics 2003 Erice (World Scientific

Categorical Ontology of Complex Systems, Meta-Systems and Theory of Levels: The Emergence of Life, Human Consciousness and Society

Single cell interactomics in simpler organisms, as well as somatic cell interactomics in multicellular organisms, involve biomolecular interactions in complex signalling pathways that were recently represented in modular terms by quantum automata with ‘reversible behavior’ representing normal cell cycling and division. Other implications of such quantum automata, modular modeling of signaling pathways and cell differentiation during development are in the fields of neural plasticity and brain development leading to quantum-weave dynamic patterns and specific molecular processes underlying extensive memory, learning, anticipation mechanisms and the emergence of human consciousness during the early brain development in children. Cell interactomics is here represented for the first time as a mixture of ‘classical’ states that determine molecular dynamics subject to Boltzmann statistics and ‘steady-state’, metabolic (multi-stable) manifolds, together with ‘configuration’ spaces of metastable quantum states emerging from complex quantum dynamics of interacting networks of biomolecules, such as proteins and nucleic acids that are now collectively defined as quantum interactomics. On the other hand, the time dependent evolution over several generations of cancer cells --that are generally known to undergo frequent and extensive genetic mutations and, indeed, suffer genomic transformations at the chromosome level (such as extensive chromosomal aberrations found in many colon cancers)-- cannot be correctly represented in the ‘standard’ terms of quantum automaton modules, as the normal somatic cells can. This significant difference at the cancer cell genomic level is therefore reflected in major changes in cancer cell interactomics often from one cancer cell ‘cycle’ to the next, and thus it requires substantial changes in the modeling strategies, mathematical tools and experimental designs aimed at understanding cancer mechanisms. Novel solutions to this important problem in carcinogenesis are proposed and experimental validation procedures are suggested. From a medical research and clinical standpoint, this approach has important consequences for addressing and preventing the development of cancer resistance to medical therapy in ongoing clinical trials involving stage III cancer patients, as well as improving the designs of future clinical trials for cancer treatments.\ud \ud \ud KEYWORDS: Emergence of Life and Human Consciousness;\ud Proteomics; Artificial Intelligence; Complex Systems Dynamics; Quantum Automata models and Quantum Interactomics; quantum-weave dynamic patterns underlying human consciousness; specific molecular processes underlying extensive memory, learning, anticipation mechanisms and human consciousness; emergence of human consciousness during the early brain development in children; Cancer cell ‘cycling’; interacting networks of proteins and nucleic acids; genetic mutations and chromosomal aberrations in cancers, such as colon cancer; development of cancer resistance to therapy; ongoing clinical trials involving stage III cancer patients’ possible improvements of the designs for future clinical trials and cancer treatments. \ud \u

Weighted logics for artificial intelligence : an introductory discussion

International audienceBefore presenting the contents of the special issue, we propose a structured introductory overview of a landscape of the weighted logics (in a general sense) that can be found in the Artificial Intelligence literature, highlighting their fundamental differences and their application areas