Related papers: Girard's $!()$ as a reversible fixed-point operato…
We consider the approximation of the inverse square root of regularly accretive operators in Hilbert spaces. The approximation is of rational type and comes from the use of the Gauss-Legendre rule applied to a special integral formulation…
This paper is concerned with categorical structures for reversible computation. In particular, we focus on a typed, functional reversible language based on Theseus. We discuss how join inverse rig categories do not in general capture…
Reversible computing is a computational paradigm in which computations are deterministic in both the forward and backward direction, so that programs have well-defined forward and backward semantics. We investigate the formal semantics of…
It is shown that the infinite dimensional critical surface of general euclidean lattice actions in a generic four-dimensional scalar field theory with $\Phi^4$ interactions has a domain of special multicritical points where higher…
We call an operator algebra A {\em reversible} if A with reversed multiplication is also an abstract operator algebra (in the modern operator space sense). This class of operator algebras is intimately related to the {\em symmetric operator…
We derive the recurrence relation of irreducible tensor operator for O(4) in using the Wigner-Eckart theorem. The physical process like radiative transitions in atomic physics, nuclear transitions between excited nuclear states can be…
For some time now, conformal field theories in two dimensions have been studied as integrable systems. Much of the success of these studies is related to the existence of an operator algebra of the theory. In this paper, some of the…
Let V be a simple vertex operator algebra and G a finite automorphism group. We give a construction of intertwining operators for irreducible V^G-modules which occur as submodules of irreducible V-modules by using intertwining operators for…
The fixed point Dirac operator on the lattice has exact chiral zero modes on topologically non-trivial gauge field configurations independently whether these configurations are smooth, or coarse. The relation $n_L-n_R = Q^{FP}$, where $n_L$…
In this paper, Dirac operator with some integral type nonlocal boundary conditions is studied. We show that the coefficients of the problem can be uniquely determined by a dense set of nodal points. Moreover, we give an algorithm for the…
Learned image reconstruction has become a pillar in computational imaging and inverse problems. Among the most successful approaches are learned iterative networks, which are formulated by unrolling classical iterative optimisation…
We construct a geometry of interaction (GoI: dynamic modeling of Gentzen-style cut elimination) for multiplicative-additive linear logic (MALL) by employing Bucciarelli-Ehrhard indexed linear logic MALL(I) to handle the additives. Our…
A general fixed point theorem for isometries in terms of metric functionals is proved under the assumption of the existence of a conical bicombing. It is new even for isometries of Banach spaces as well as for non-locally compact…
Vertex operator algebras are mathematically rigorous objects corresponding to chiral algebras in conformal field theory. Operads are mathematical devices to describe operations, that is, $n$-ary operations for all $n$ greater than or equal…
We construct an explicit inversion formula for Guillarmou's normal operator on closed surfaces of constant negative curvature. This normal operator can be defined as a weak limit for an "attenuated normal operator", and we prove this…
We consider compact group actions on C*- and W*- algebras. We prove results that relate the duality property of the action (as defined in the Introduction) with other relevant properties of the system such as the relative commutant of the…
Logic programming with fixed-point definitions is a useful extension of traditional logic programming. Fixed-point definitions can capture simple model checking problems and closed-world assumptions. Its operational semantics is typically…
In this paper, influenced by the ideas from A. Mihail, The canonical projection between the shift space of an IIFS and its attractor as a fixed point, Fixed Point Theory Appl., 2015, Paper No. 75, 15 p., we associate to every generalized…
Nonexpansive mappings play a central role in modern optimization and monotone operator theory because their fixed points can describe solutions to optimization or critical point problems. It is known that when the mappings are sufficiently…
We give a generalization of the Jordan canonical form theorem for a class of bounded linear operators on complex separable Hilbert spaces in terms of direct integrals. Precisely, we study the uniqueness of strongly irreducible…