Related papers: Residues and Telescopers for Rational Functions
This paper investigates an iterative rank-one decomposition scheme for positive operators on a Hilbert space based on a residual-weighted congruence update. At each step the operator is compressed along a chosen unit vector while remaining…
This paper outlines a general formal framework for reasoning systems, intended to support future analysis of inference architectures across domains. We model reasoning systems as structured tuples comprising phenomena, explanation space,…
In this monograph we develop magnetic pseudodifferential theory for operator-valued and equivariant operator-valued functions and distributions from first principles. These have found plentiful applications in mathematical physics,…
Functors with an instance of the Traversable type class can be thought of as data structures which permit a traversal of their elements. This has been made precise by the correspondence between traversable functors and finitary containers…
The continuity problem, i.e., the question whether effective maps between effectively given topological spaces are effectively continuous, is reconsidered. In earlier work it was shown that this is always the case, if the effective map also…
It has been speculated that gravity could be an emergent phenomenon, with classical general relativity as an effective, macroscopic theory, valid only for classical systems at large temporal and spatial scales. As in classical continuum…
We investigate the fate of diffeomorphisms when the radial gauge is imposed in canonical general relativity. As shown elsewhere, the radial gauge is closely related to the observer's observables. These observables are invariant under a…
We study the class $\boldsymbol{Q}$ of distribution functions $F$ that have the property of rational-infinite divisibility: there exist some infinitely divisible distribution functions $F_1$ and $F_2$ such that $F_1=F*F_2$. The class…
The development of logic has largely been through the 'deductive' paradigm: conclusions are inferred from established premisses. However, the use of logic in the context of both human and machine reasoning is typically through the dual…
We describe the structure of all codimension-two lattice configurations $A$ which admit a stable rational $A$-hypergeometric function, that is a rational function $F$ all whose partial derivatives are non zero, and which is a solution of…
Tracking quintessence, in a spatially flat and isotropic space-time with a minimally coupled canonical scalar field and an asymptotically inverse power-law potential $V(\varphi)\propto\varphi^{-p}$, $p>0$, as $\varphi\rightarrow0$, is…
Julia Robinson has given a first-order definition of the rational integers Z in the rational numbers Q by a formula (\forall \exists \forall \exists)(F=0) where the \forall-quantifiers run over a total of 8 variables, and where F is a…
We discuss the relation between discrete and continuous linear teleportation, i.e. teleportation schemes that use only linear optical elements and photodetectors. For this the existing qubit protocols are generalized to qudits with a…
In this report, we consider extended real-valued functions on some real vector space. Gerstewitz functionals are used to construct all translative functions. We derive formulas for translative functions which are lower semicontinuous,…
We prove a dichotomy between rationality and a natural boundary for the analytic behavior of the Reidemeister zeta function for automorphisms of non-finitely generated torsion abelian groups and for endomorphisms of groups $\mathbb Z_p^d,$…
Mumford defined a rational pullback for Weil divisors on normal surfaces, which is linear, respects effectivity, and satisfies the projection formula. In higher dimensions, the existence of small resolutions of singularities precludes such…
After recalling the precise existence conditions of the zeta function of a pseudodifferential operator, and the concept of reflection formula, an exponentially convergent expression for the analytic continuation of a multidimensional…
We establish common fixed point theorems for two pairs of weakly compatible self-mappings using an auxiliary function of two variables. Unlike classical results, our theorems do not assume continuity of the mappings and require completeness…
We use the remark that, through Bargmann-Fock representation, diagonal operators of the Heisenberg-Weyl algebra are scalars for the Hadamard product to give some properties (like the stability of periodic fonctions) of the Hadamard product…
Unlike standard quantum mechanics, dynamical reduction models assign no particular a priori status to `measurement processes', `apparata', and `observables', nor self-adjoint operators and positive operator valued measures enter the…