相关论文: Taming non-analyticities of QFT observables
Summation of the perturbation series for the Gell-Mann--Low function \beta(g) of \phi^4 theory leads to the asymptotics \beta(g)=\beta_\infty g^\alpha at g\to\infty, where \alpha\approx 1 for space dimensions d=2,3,4. The natural hypothesis…
We give an example of a dense o-minimal structure in which there is a definable quotient that cannot be eliminated, even after naming parameters. Equivalently, there is an interpretable set which cannot be put in parametrically definable…
The most peculiar, specifically quantum, features of quantum mechanics --- quantum nonlocality, indeterminism, interference of probabilities, quantization, wave function collapse during measurement --- are explained on a logical-geometrical…
Founding our analysis on the Geneva-Brussels approach to the foundations of physics, we provide a clarification and classification of the key concept of observation. An entity can be observed with or without a scope. In the second case, the…
Recently, weak measurements have attracted a lot of interest as an experimental method for the investigation of non-classical correlations between observables that cannot be measured jointly. Here, I explain how the complex valued…
We introduce a realist, unextravagant interpretation of quantum theory that builds on the existing physical structure of the theory and allows experiments to have definite outcomes, but leaves the theory's basic dynamical content…
A visceral structure on M is given by a definable base for a uniform topology on its universe in which all basic open sets are infinite and any infinite definable subset X of M has non-empty interior. This context includes o-minimal ordered…
Algebraic quantum field theory provides a general, mathematically precise description of the structure of quantum field theories, and then draws out consequences of this structure by means of various mathematical tools -- the theory of…
In quantum measurement theory, a measurement scheme describes how an observable of a given system can be measured indirectly using a probe. The measurement scheme involves the specification of a probe theory, an initial probe state, a probe…
Quantum field theory - our basic framework for describing all non-gravitational physics - conflicts with general relativity: the latter precludes the standard definition of the former's essential principle of locality, in terms of commuting…
In a series of papers we have argued that the 'basic' physical procedure of minimal coupling giving the quantum description of a Hamiltonian system interacting with a magnetic field, can be given a very satisfactory mathematical formulation…
Many quantum field theories in one, two and four dimensions possess remarkable limits in which the instantons are present, the anti-instantons are absent, and the perturbative corrections are reduced to one-loop. We analyze the…
An observable effects a schematization of the Quantum event structure by correlating Boolean algebras picked by measurements with the Borel algebra of the real line. In a well-defined sense Boolean observables play the role of…
We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o-minimal structure. This fact together with the results in a previous paper implies tame dimension theory and…
We study some logical interrelationships between fundamental properties in (relativistic) quantum theories. An operational no-signalling condition is first introduced in the context of quantum mechanics, where we prove its equivalence to an…
Given an o-minimal structure expanding the field of reals, we show a piecewise Weierstrass preparation theorem and a piecewise Weierstrass division theorem for definable holomorphic functions. In the semialgebraic setting and for the…
We describe a system of axioms that, on one hand, is sufficient for constructing the standard mathematical formalism of quantum mechanics and, on the other hand, is necessary from the phenomenological standpoint. In the proposed scheme, the…
Godel's theory T can be understood as a theory of the simply-typed lambda calculus that is extended to include the constant 0, the successor function S, and the operator R_tau for primitive recursion on objects of type tau. It is known that…
Perturbative algebraic quantum field theory (pAQFT) is a mathematically rigorous framework that allows to construct models of quantum field theories on a general class of Lorentzian manifolds. Recently this idea has been applied also to…
In Tensor Field Theory (TFT), observables are defined through tensor field contractions that produce unitary invariants for complex-valued tensor fields. Traditionally, these observables are constructed using tensor fields of a fixed order…