Related papers: Yoneda Completeness
In the first part of the paper, we define an approximated Brunn-Minkowski inequality which generalizes the classical one for length spaces. Our new definition based only on distance properties allows us also to deal with discrete spaces.…
We prove a general quantitative theorem on the asymptotic behavior of stochastic quasi-Fej\'er monotone sequences in a broad metric context. Concretely, our result explicitly constructs a rate of convergence for such process, both in mean…
A complete and explicit classification of generalized, or local, symmetries of massless free fields of spin $s \geq 1/2$ is carried out. Up to equivalence, these are found to consists of the conformal symmetries and their duals, new chiral…
This paper is devoted to investigate cylindrical solutions in mimetic gravity. The explicit forms of the metric of this theory, namely mimetic-Kasner (say) have been obtained. In this study we have noticed that the Kasner's family of exact…
Complete hyperbolicity of small Euclidean balls with respect to a C^1-smooth almost complex structure standard at origin is improved to give a complete hyperbolicity of strictly pseudoconvex domains. More precise (and lower) regularity…
We study tetrahedra and the space of tetrahedra from the viewpoint of local and global maxima for intrinsic distance functions.
We review Yafaev's approach to asymptotic completeness for systems of particles mutually interacting with short-range potentials. The theory is based on computation of commutators with time-independent (mostly bounded) observables yielding…
This work provides a general overview for the treatment of symmetries in classical field theories and (pre)multisymplectic geometry. The geometric characteristics of the relation between how symmetries are interpreted in theoretical physics…
In this paper we prove the Jordan-Kronecker theorem which gives a canonical form for a pair of skew-symmetric bilinear forms on a finite-dimensional vector space over an algebraically closed field.
A new and extensive formalism is developed for monads and galaxies in non-standard enlargements. It is shown that monads and galaxies can be manipulated using order-preserving and order-reversing set-to-set maps, and that set properties…
The theory of plasma physics offers a number of nontrivial examples of partial differential equations, which can be successfully treated with symmetry methods. We propose three different examples which may illustrate the reciprocal…
The notion of Fej\'er monotonicity is instrumental in unifying the convergence proofs of many iterative methods, such as the Krasnoselskii-Mann iteration, the proximal point method, the Douglas-Rachford splitting algorithm, and many others.…
We extend the Watanabe--Sagawa--Ueda (WSU) uncertainty relations for measurement errors to infinite-dimensional systems. The original WSU formulation provided a definition of measurement errors with a clear physical interpretation based on…
In this note we give a detailed proof of certain results on geometry of numbers in the $S$-adic case. These results are well-known to experts, so the aim here is to provide a convenient reference for the people who need to use them.
It is shown that classical nonsupersymmetric Yang-Mills theory in 4 dimensions is symmetric under a generalized dual transform which reduces to the usual dual *-operation for electromagnetism. The parallel phase transport $\tilde{A}_\mu(x)$…
We prove complete monotonicity of sums of squares of generalized Baskakov basis functions by deriving the corresponding results for hypergeometric functions. Moreover, in the central Baskakov case we study the distribution of the complex…
Goedel's completeness theorem is concerned with provability, while Girard's theorem in ludics (as well as full completeness theorems in game semantics) are concerned with proofs. Our purpose is to look for a connection between these two…
A direct analog of Hadamard's three-circle theorem is obtained for harmonic functions (in weighted L^2-norm) in case of (n-1)-dimensional non-concentric spheres in R^n. The result extends the concentric case to correlated non-concentric,…
We prove existence of Yamabe metrics on singular manifolds with conical points and conical links of Einstein type that include orbifold structures. We deal with metrics of generic type and derive a counterpart of Aubin's classical result.…
We prove that the set of directions of lines intersecting three disjoint balls in $R^3$ in a given order is a strictly convex subset of $S^2$. We then generalize this result to $n$ disjoint balls in $R^d$. As a consequence, we can improve…