Related papers: Standard and Hyperfinite Unifications for All Phys…
This thesis constitutes a first attempt to derive aspects of standard model particle physics from little more than an algebra. Here, we argue that physical concepts such as particles, causality, and irreversible time may result from the…
Every lattice is isomorphic to a lattice whose elements are sets of sets, and whose operations are intersection and an operation extending the union of two sets of sets A and B by the set of all sets in which the intersection of an element…
In this work we propose a multi-valued extension of logic programs under the stable models semantics where each true atom in a model is associated with a set of justifications, in a similar spirit than a set of proof trees. The main…
We obtain necessary and sufficient conditions for the admissible vectors of a new unitary non irreducible representation $U$. The group $G$ is an arbitrary semidirect product whose normal factor $A$ is abelian and whose homogeneous factor…
Matching logic is a logical framework for specifying and reasoning about programs using pattern matching semantics. A pattern is made up of a number of structural components and constraints. Structural components are syntactically matched,…
We provide a reformulation of finite dimensional quantum theory in the circuit framework in terms of mathematical axioms, and a reconstruction of quantum theory from operational postulates. The mathematical axioms for quantum theory are the…
An abstract formulation of quantum dynamics in the presence of a general set of quantum constraints is developed. Our constructive procedure is such that the relevant projection operator onto the physical Hilbert space is obtained with a…
We show that (for the weak operator topology) the set of unitary operators on a separable infinite-dimensional Hilbert space is residual in the set of all contractions. The analogous result holds for isometries and the strong operator…
One of the most beautiful results in the integral representation theory of finite groups is a theorem of A. Weiss that detects a permutation $R$-lattice for the finite $p$-group $G$ in terms of the restriction to a normal subgroup $N$ and…
We reconsider the problem of discretising the worldsheet for the gauge-fixed Green-Schwarz superstring on a null cusp background, and present a setup which fully preserves its global $U(1)\times SU(4)$ symmetry. We discuss divergences by…
In the former article "Formal mathematical systems including a structural induction principle" we have presented a unified theory for formal mathematical systems including recursive systems closely related to formal grammars, including the…
The structures $\langle M,\subseteq^M\rangle$ arising as the inclusion relation of a countable model of sufficient set theory $\langle M,\in^M\rangle$, whether well-founded or not, are all isomorphic. These structures $\langle…
An introduction to the most important concepts in the subject of supersymmetric unified theories is presented. The emphasis is on the practical aspects leading to state-of-the-art calculations in this renascent subject. The topics covered…
Let G be a simple algebraic group over C with the Weyl group W. For a unipotent element u of G, let B_u be the variety of Borel subgroups of G containing u. Let L be a Levi subgroup of a parabolic subgroup of G with the Weyl subgroup W_L.…
In this paper, firstly, we determine the number of sublogics of variable inclusion of an arbitrary finitary logic L with partition function. Then, we investigate their position into the lattice of consequence relations over the language of…
The traditional, standard approach to quantum theory is to assume that the theory ``really'' contains only unitary physical dynamics--i.e., that the only physically quantifiable evolution is that given by the time-dependent Schrodinger…
This paper describes a procedure that system developers can follow to translate typical mathematical representations of linearized control systems into logic theories. These theories are then used to verify system requirements and find…
We discuss the canonical quantization of $U(1)_k$ Chern-Simons theory on a spatial lattice. In addition to the usual local Gauss law constraints, the physical Hilbert space is defined by 1-form gauge constraints implementing the compactness…
First order formulas in a relational signature can be considered as operations on the relations of an underlying set, giving rise to multisorted algebras we call first order algebras. We present universal axioms so that an algebra satisfies…
With the aim of completing the previous study by A. Or{\l}owski and the author concerning intertwining maps between induced representations and conjugation representation, termed here weighted class operators, we compute the latter…