Related papers: More Reduced Obstruction Theories
Using periodic orbit theory, we evaluate the form factor of a quantum graph to which a very weak magnetic field is applied. The first correction to the diagonal approximation describing the transition between the universality classes is…
Cut-elimination is the bedrock of proof theory with a multitude of applications from computational interpretations to proof analysis. It is also the starting point for important meta-theoretical investigations including decidability,…
Group counterfactual explanations find a set of counterfactual instances to explain a group of input instances contrastively. However, existing methods either (i) optimize counterfactuals only for a fixed group and do not generalize to new…
This note is supposed to answer some questions on deformation theory in derived algebraic geometry. We show that derived algebraic geometry allows for a geometrical interpretation of the full cotangent complex and gives a natural setting…
In this paper we formalize some foundation concepts and theorems of group theory in a variant of type theory called the Calculus of Constructions with Definitions. In this theory we introduce definition of a group, which is both general and…
In this paper, a new general decomposition theory inspired from modular graph decomposition is presented. Our main result shows that, within this general theory, most of the nice algorithmic tools developed for modular decomposition are…
A generalization of topos theory is proposed giving an abstract realization of such categories as, say, the categories of manifolds and of Grothendieck schemes on the one hand, and permitting one, on the other hand, a view on…
The paper presents shortly the geometric approach to the problem of a general quantization formalism, both physically meaningful and mathematically consistent.
In general a universal covering of a non connected topological group need not admit a topological group structure such that the covering map is a morphism of topological groups. This result is due to R.L. Taylor (1953). We generalise this…
Let $f_1,..., f_k:X\to N$ be maps from a complex $X$ to a compact manifold $N$, $k\ge 2$. In previous works \cite{BLM,MS}, a Lefschetz type theorem was established so that the non-vanishing of a Lefschetz type coincidence class…
Fractional calculus is a generalization of classical theories of integration and differentiation to arbitrary order (i.e., real or complex numbers). In the last two decades, this new mathematical modeling approach has been widely used to…
In this talk the main features of the operator formalism for the $b-c$ systems on general algebraic curves developed in refs. [1-2] are reviewed. The first part of the talk is an introduction to the language of algebraic curves. Some…
It has been proposed to study the theory resulting from setting the gravitational constant to zero in the first order formalism for general relativity. In this letter we investigate this theory in the presence of matter fields, establish…
Lyons' Rough Path theory is currently formulated in p-variation topology. We extend his main-result, the Universal Limit Theorem, to a stronger Hoelder topology. Several approximations to Brownian Rough Paths are studied. As application of…
The main formal structures of Generalized Quantum Theory are summarized. Recent progress has sharpened some of the concepts, in particular the notion of an observable, the action of an observable on states (putting more emphasis on the role…
We discuss the issues with tentative generalisations of the process matrix formalism from finite-dimensional mechanical systems all the way to quantum field theory. We present a detailed overview of possible open problems that arise when…
This paper introduces a reformulation of the classical convergence theorem for spectral sequences of filtered complexes which provides an algorithm to effectively compute the induced filtration on the total (co)homology, as soon as the…
This paper is devoted to the explicit description of the Galois descent obstruction for hyperelliptic curves of arbitrary genus whose reduced automorphism group is cyclic of order coprime to the characteristic of their ground field. Along…
Given a functional for a one-dimensional physical system, a classical problem is to minimize it by finding stationary solutions and then checking the positive definiteness of the second variation. Establishing the positive definiteness is,…
Quantum field theory is the traditional solution to the problems inherent in melding quantum mechanics with special relativity. However, it has also long been known that an alternative first-quantized formulation can be given for…