Related papers: Some Problems in Defining Functional Integration o…
Challenging the standard notion of totality in computable functions, one has that, given any sufficiently expressive formal axiomatic system, there are total functions that, although computable and "intuitively" understood as being total,…
Fuzzy logic programming is a growing declarative paradigm aiming to integrate fuzzy logic into logic programming. One of the most difficult tasks when specifying a fuzzy logic program is determining the right weights for each rule, as well…
In this paper, we present the definitions and some properties of the general fractional integrals (GFIs) and general fractional derivatives (GFDs) of a function f(x) with respect to another function g(x). Examples of special cases of…
The paper is devoted to the linearization of the non linear Signorini functional in the incompressible case. The limit functional, in the sense of Gamma-convergence, may coincide with the expected one only in some particular cases.
Expanding upon recent work, a new class of $A$-functions is introduced that can be viewed as an appropriate generalization of the class of regular $A$-functions, the class of structured $A$-functions, and the class of perfect $A$-functions.…
We provide a novel notion of what it means to be interpretable, looking past the usual association with human understanding. Our key insight is that interpretability is not an absolute concept and so we define it relative to a target model,…
The quantum gravity problem of N point particles interacting with the gravitational field in 2+1 dimensions is approached working out the phase-space functional integral. The maximally slicing gauge is adopted for a non compact open…
This article focuses on the study of cut groups, i.e., the groups which have only trivial central units in their integral group ring. We provide state of art for cut groups. The results are compiled in a systematic manner and have also been…
An operatorial method, already employed to formulate a generalization of the Ramanujan master theorem, is applied to the evaluation of integrals of various type. This technique provide a very flexible and powerful tool yielding new results…
We consider the computational problem of determining the unit group of a finite ring, by which we mean the computation of a finite presentation together with an algorithm to express units as words in the generators. We show that the problem…
We develop a notion of limit for dagger categories, that we show is suitable in the following ways: it subsumes special cases known from the literature; dagger limits are unique up to unitary isomorphism; a wide class of dagger limits can…
In this talk, we briefly review the basic concepts of anomalous gauge theories. It has been known for some time how theories with local anomalies can be handled. Recently it has been pointed out that global anomalies, which obstruct the…
On the example of topologically massive gauge field theory we find the origin of possible inconsistency of working with gauge fixing terms (together with relevant ghost sector)
We analyze a class of sublinear functionals which characterize the interior and the exterior of a convex cone in a normed linear space.
We begin by defining general hypergeometric functions over finite fields and obtaining a finite field analogue of a classical symmetry in their complex counterparts. We give a geometric proof for the symmetry by constructing isomorphisms…
In the theory of crossed modules, considering arbitrary self-actions instead of conjugation allows for the extension of the concept of crossed modules and thus the notion of generalized crossed module emerges. In this paper we give a…
We consider generalised Mehler semigroups and, assuming the existence of an associated invariant measure $\sigma$, we prove functional integral inequalities with respect to $\sigma$, such as logarithmic Sobolev and Poincar\'{e} type.…
One of the most common types of functions in mathematics, physics, and engineering is a sum of products, sometimes called a partition function. After "normalization," a sum of products has a natural graphical representation, called a normal…
Current critical systems commonly use a lot of floating-point computations, and thus the testing or static analysis of programs containing floating-point operators has become a priority. However, correctly defining the semantics of common…
It is known that inner functions exist on strongly pseudoconvex domains. In this paper we will show that they exist on a more general type of domains, including some domains of finite type.