English
Related papers

Related papers: Invariance under permutations as a semantic motiva…

200 papers

This paper presents a new `partitional' approach to understanding or interpreting standard quantum mechanics (QM). The thesis is that the mathematics (not the physics) of QM is the Hilbert space version of the math of partitions on a set…

Quantum Physics · Physics 2023-04-20 David Ellerman

Justification theory is a unifying framework for semantics of non-monotonic logics. It is built on the notion of a justification, which intuitively is a graph that explains the truth value of certain facts in a structure. Knowledge…

Logic in Computer Science · Computer Science 2019-05-16 Simon Marynissen

We consider the Non-Abelian Chern-Simons term coupled to external particles, in a gauge and diffeomorphism invariant form. The classical equations of motion are perturbativelly studied, and the on-shell action is shown to produce…

High Energy Physics - Theory · Physics 2016-09-06 Lorenzo Leal

This paper proposes a novel perspective on learning, positing it as the pursuit of dynamical invariants -- data combinations that remain constant or exhibit minimal change over time as a system evolves. This concept is underpinned by both…

Artificial Intelligence · Computer Science 2024-01-22 Alex Ushveridze

We introduce new motivic invariants of arbitrary varieties over a perfect field. These cohomological invariants take values in the category of one-motives (considered up to isogeny in positive characteristic). The algebraic definition of…

Algebraic Geometry · Mathematics 2015-06-29 Niranjan Ramachandran

A Lorentz covariant quantization of membrane dynamics is defined, which also leaves unbroken the full three dimensional diffeomorphism invariance of the membrane. Among the applications studied are the reduction to string theory, which may…

High Energy Physics - Theory · Physics 2016-08-25 Lee Smolin

Feature Structures (FSs) are a widespread tool used for decompositional frameworks of Attribute-Value associations. Even though they thrive in simple systems, they lack a way of representing higher-order entities and relations. This is…

Logic in Computer Science · Computer Science 2020-02-06 Valentin D. Richard

The paper adresses the problem of reasoning with ambiguities. Semantic representations are presented that leave scope relations between quantifiers and/or other operators unspecified. Truth conditions are provided for these representations…

cmp-lg · Computer Science 2008-02-03 Uwe Reyle

Choices in the semantics and the signature of a theory are integral in determining how the theory is used and how challenging it is to reason over it. Our interest in this paper lies in the SMT theory of sequences. Various versions of it…

Logic in Computer Science · Computer Science 2024-11-05 Hichem Rami Ait El Hara , François Bobot , Guillaume Bury

We investigate the relationship between two properties of quantum transformations often studied in popular subtheories of quantum theory: covariance of the Wigner representation of the theory and the existence of a transformation…

Quantum Physics · Physics 2022-11-08 Lorenzo Catani

An infinite permutation is a linear ordering of the set of non-negative integers. Generally, the properties of infinite permutations analogous to those of infinite words show some resemblances and some differences between permutations and…

Combinatorics · Mathematics 2009-11-09 S. V. Avgustinovich , A. E. Frid , T. Kamae , P. V. Salimov

In the present paper, we propose a new theory named "Theory of indeterminate natural transformation (TINT)" to investigate the dynamical creation of meanings as association relationships between images, focusing on the metaphor…

Category Theory · Mathematics 2018-02-01 Miho Fuyama , Hayato Saigo

We argue that it is a fluctuational underpinning of the Quantum vacuum which on the one hand gives a stochastic character to the conservation laws, and on the other is required for explaining the recently observed acceleration of the…

General Physics · Physics 2015-06-26 B. G. Sidharth

A gauge invariant partition function is defined for gauge theories which leads to the standard quantization. It is shown that the descent equations and consequently the consistent anomalies and Schwinger terms can be extracted from this…

High Energy Physics - Theory · Physics 2015-05-27 Amir Abbass Varshovi

We give many examples of non stable rationalities for projective approximations of classifying spaces. Here we use the new invariant by Benoit-Ottem, and also use the classical unramified cohomology..

Algebraic Geometry · Mathematics 2024-05-14 Nobuaki Yagita

The relation between symmetry reduction before and after quantization of a field theory is discussed using a toy model: the axisymmetric Klein-Gordon field. We consider three possible notions of symmetry at the quantum level: invariance…

General Relativity and Quantum Cosmology · Physics 2009-11-11 Jonathan Engle

Any permutation has a disjoint cycle decomposition and concept generates an equivalence class on the symmetry group called the cycle-type. The main focus of this work is on permutations of restricted cycle-types, with particular emphasis on…

Combinatorics · Mathematics 2014-06-11 Tewodros Amdeberhan , Victor H. Moll

The search for a theory that unifies general relativity and quantum theory has focused attention on models of physics at the Planck scale. One possible consequence of models such as string theory may be that Lorentz invariance is not an…

High Energy Physics - Phenomenology · Physics 2023-09-06 Floyd W. Stecker

Language has been a dynamic system and word meanings always have been changed over times. Every time a novel concept or sense is introduced, we need to assign it a word to express it. Also, some changes have happened because the result of a…

Computation and Language · Computer Science 2020-03-12 Zahra Shekarchi , Yang Xu

We introduce and prove the consistency of a new set theoretic axiom we call the \emph{Invariant Ideal Axiom}. The axiom enables us to provide (consistently) a full topological classification of countable sequential groups, as well as fully…

General Topology · Mathematics 2022-04-08 Michael Hrušák , Alexander Shibakov