Related papers: Cut-off Function Lemma in Projective Spaces
Any subset Q' of the domain Q of a learning space defines a projection of that learning space on Q' which is itself a learning space consistent with the original one. Moreover, such a construction defines a partition of Q having each of its…
Swierczkowski's Lemma - as it is usually formulated - asserts that if f is an at least quaternary operation on a finite set A and every operation obtained from f by identifying a pair of variables is a projection, then f is a…
We prove a quantitative averaging lemma for spatially dependent vector fields. Our proof is based on an iteration of the regularizing operator and some elementary considerations about the local inversion theorem.
We propose in this paper a general framework for deriving loss functions for structured prediction. In our framework, the user chooses a convex set including the output space and provides an oracle for projecting onto that set. Given that…
In this paper, structural properties of lower semi-frames in separable Hilbert spaces are explored with a focus on transformations under linear operators (may be unbounded). Also, the direct sum of lower semi-frames, providing necessary and…
Let X be a zero-dimensional scheme contained in a multiprojective space. Let $s_i$ be the length of the projection of X onto the i-th component of the multiprojective space. A result of Van Tuyl states that the Hilbert function of X, in the…
We consider cylindrical algebraic decomposition (CAD) and the key concept of delineability which underpins CAD theory. We introduce the novel concept of projective delineability which is easier to guarantee computationally. We prove results…
In this short article, we state a Hopf type lemma for fractional equations and the outline of its proof. We believe that it will become a powerful tool in applying the method of moving planes on fractional equations to obtain qualitative…
We derive several new applications of the concept of sequences of Laplacian cut-off functions on Riemannian manifolds (which we prove to exist on geodesically complete Riemannian manifolds with nonnegative Ricci curvature): In particular,…
Classification is an important goal in many branches of mathematics. The idea is to describe the members of some class of mathematical objects, up to isomorphism or other important equivalence in terms of relatively simple invariants. Where…
Some concepts, such as non-compactness measure and condensing operators, defined on metric spaces are extended to uniform spaces. Such extensions allow us to locate, in the context of uniform spaces, some classical results existing in…
In recent years, a number of tools have become available that recover the underlying control policy from constrained movements. However, few have explicitly considered learning the constraints of the motion and ways to cope with unknown…
We present a friendly introduction to the very detailed results in [9,10,11] and as an illustration we discuss here the issue of {\em linearization of products}. We find some interesting new phenomena.
We develop a version of Herbrand's theorem for continuous logic and use it to prove that definable functions in infinite-dimensional Hilbert spaces are piecewise approximable by affine functions. We obtain similar results for definable…
By studying the spectral aspects of the fractional part function in a well-known separable Hilbert space, we show, among other things, a rational approximation of the Riemann zeta function and its derivatives valid on every vertical line in…
Our previously-developed calculational method (the partial wave cutoff method) is employed to evaluate explicitly scalar one-loop effective actions in a class of radially symmetric background gauge fields. Our method proves to be…
Image Segmentation has been an active field of research as it has a wide range of applications, ranging from automated disease detection to self-driving cars. In the past five years, various papers came up with different objective loss…
A weighted space of entire functions rapidly decreasing on the real line is considered in the paper. A growth of these functions along the imaginary axis is controlled by some system of weight functions. The Fourier transform of functions…
The derivative expansion of the effective action is considered in the model with two interacting real scalar fields in curved spacetime. Using the functional approach and local momentum representation, the coefficient of the derivative term…
The function spaces of continuously differentiable functions are extensively studied and appear in various mathematical settings. In this context, we investigate the spaces of continuously fractional differentiable functions of order…