Related papers: Constructive aspects of algebraic euclidean field …
We analyse the axioms of Euclidean geometry according to standard object-oriented software development methodology. We find a perfect match: the main undefined concepts of the axioms translate to object classes. The result is a suite of C++…
The lattice construction of Euclidean path integrals has been a successful approach of deriving 2+1D field theory dualities with a U$(1)$ gauge field. In this work, we generalize this lattice construction to dualities with non-Abelian gauge…
We set up a strategy for studying large families of logarithmic conformal field theories by using the enlarged symmetries and non--semi-simple associative algebras appearing in their lattice regularizations (as discussed in a companion…
Motivated by algebraic quantum field theory and our previous work we study properties of inductive systems of \ $C^*$-algebras over arbitrary partially ordered sets. A partially ordered set can be represented as the union of the family of…
Euclidean geometry consists of straightedge-and-compass constructions and reasoning about the results of those constructions. We show that Euclidean geometry can be developed using only intuitionistic logic. We consider three versions of…
In this paper we study the C*-algebras associated to continuous fields over locally compact metrisable zero dimensional spaces whose fibers are Kirchberg C*-algebras satisfying the UCT. We show that these algebras are inductive limits of…
We discuss general aspects of charge conjugation symmetry in Euclidean lattice field theories, including its dynamical gauging. Our main focus is $O(2) = U(1)\rtimes \mathbb{Z}_2 $ gauge theory, which we construct using a non-abelian…
Constructive-deductive method for plane Euclidean geometry is proposed and formalized within Coq Proof Assistant. This method includes both postulates that describe elementary constructions by idealized geometric tools (pencil, straightedge…
The fields nonlinear modes quantization scheme is discussed. New form of the perturbation theory achieved by unitary mapping the quantum dynamics in the space $W_G$ of (action, angle)-type collective variables. It is shown why the…
Path integration over Euclidean chiral fermions is replaced by the quantum mechanics of an auxiliary system of non--interacting fermions. Our construction avoids the no--go theorem and faithfully maintains all the known important features…
Field theory is an area in physics with a deceptively compact notation. Although general purpose computer algebra systems, built around generic list-based data structures, can be used to represent and manipulate field-theory expressions,…
In order to construct examples for interacting quantum field theory models, the methods of euclidean field theory turned out to be powerful tools since they make use of the techniques of classical statistical mechanics. Starting from an…
This paper is primarily intended as an introduction for the mathematically inclined to some of the rich algebraic combinatorics arising in for instance CFT. It is essentially self-contained, apart from some of the background motivation and…
We introduce a finite-dimensional algebra that controls the possible boundary conditions of a conformal field theory. For theories that are obtained by modding out a Z_2 symmetry (corresponding to a so-called D_odd-type, or half-integer…
In this paper we study structural properties of the Cuntz semigroup and its functionals for continuous fields of C*-algebras over finite dimensional spaces. In a variety of cases, this leads to an answer to a conjecture posed by Blackadar…
I explain the motivation for investigating the high energy limit of QCD and give a brief presentation of recent progress in the understanding of unitarity corrections in this kinematic regime. Special emphasis is given to the conformal…
The phase structure of the scalar field theory with arbitrary powers of the gradient operator and a local non-analytic potential is investigated by the help of the RG in Euclidean space. The RG equation for the generating function of the…
An effective field theory exists describing a very large class of biophysically interesting Coulomb gas systems: the lowest order (mean-field) version of this theory takes the form of a generalized Poisson-Boltzmann theory. Interaction…
By recasting metrical geometry in a purely algebraic setting, both Euclidean and non-Euclidean geometries can be studied over a general field with an arbitrary quadratic form. Both an affine and a projective version of this new theory are…
We expand our previously founded basic theory of equiresidual algebraic geometry over an arbitrary commutative field, to a well-behaved theory of (equiresidual) algebraic varieties over a commutative field, thanks to the generalisation of…