Related papers: Girard's $!()$ as a reversible fixed-point operato…
A recent result characterizes the fully order reversing operators acting on the class of lower semicontinuous proper convex functions in a real Banach space as certain linear deformations of the Legendre-Fenchel transform. Motivated by the…
In this paper, we study the nonexpansive properties of a generalized forward-backward splitting (G-FBS) operator, particularly under the setting of degenerate metric, from which follow the convergence results in terms of degenerate metric…
In this paper we give a proof of the Lefschetz fixed point formula of Freed$^{\rm [1]}$ for an orientation-reversing involution on an odd dimensional spin manifold by using the direct geometric method introduced in [2] and then we…
This paper verifies a conjecture posed in a pair of papers on the fixed point sets for a class of quantum operations. Specifically, it is proved that if a quantum operation has mutually commuting operation elements that are effects forming…
The general n-point information (n-pi) are introduced and equations for them are considered. The role of right and left invertible interaction operators occurring in these equations together with their interpretation is discussed. Some…
The main purpose of this work is to extend the properties of multivalued transformations to the integral type transformations and to obtain the existence of fixed points under F-contraction. In addition, the results of this study were…
Given an automorphism and an anti-automorphism of a semigroup of a Geometric Algebra, then for each element of the semigroup a (generalized) projection operator exists that is defined on the entire Geometric Algebra. A single fundamental…
This paper provides an alternative description for the fixed points of the fractal operator associated with a mixed possibly infinite iterated function system via a canonical projection type function. Some visual aspects of our results are…
An explicit vertex operator algebra construction is given of a class of irreducible modules for toroidal Lie algebras.
We consider several formalizations in the language of second-order arithmetic of "The formula $\phi$ is a theorem of $\omega$-logic", including some which have been studied in the literature and a new variant defined via a least fixed…
We use the method of monotone iterations to obtain fixed point and coupled fixed point results for mixed monotone operators in the setting of partially ordered sets, with no additional assumptions on the partial order and with no…
We consider irreversible translation-invariant interacting particle systems on the $d$-dimensional cubic lattice with finite local state space, which admit at least one Gibbs measure as a time-stationary measure. Under some mild degeneracy…
Solving linear systems is a ubiquitous task in science and engineering. Because directly inverting a large-scale linear system can be computationally expensive, iterative algorithms are often used to numerically find the inverse. To…
We look at characterizing which formulas are expressible in rich decidable logics such as guarded fixpoint logic, unary negation fixpoint logic, and guarded negation fixpoint logic. We consider semantic characterizations of definability, as…
We establish three major fixed-point theorems for functions satisfying an odd power type contractive condition in G-metric spaces. We first consider the case of a single mapping, followed by that of a triplet of mappings and we conclude by…
Conjugation, or Legendre transformation, is a basic tool in convex analysis, rational mechanics, economics and optimization. It maps a function on a linear topological space into another one, defined in the dual of the linear space by…
We give an adaptive, fixed-point version of Grover's algorithm. By this we mean that our algorithm performs an infinite sequence of gradually diminishing steps (so we say it's adaptive) that drives the starting state to the target state…
We study weak and strong solutions of nonlinear non-compact operator equations in abstract spaces of adapted random points. The main result of the paper is similar to Schauder's fixed-point theorem for compact operators. The illustrative…
Negation operation is important in intelligent information processing. Different with existing arithmetic negation, an exponential negation is presented in this paper. The new negation can be seen as a kind of geometry negation. Some basic…
An explicit counterexample shows that contrary to the situation in the special Colombeau algebra, positivity and invertibility cannot be characterized pointwise in algebras of tempered generalized functions. Further a point value…