Related papers: The Adams trace theorem for product Morrey spaces
This paper is devoted to a generalization of a Hadamard type inequality for the permanent of a complex square matrix. Our proof is based on a non-trivial extension of a technique used in Carlen, Lieb and Loss (Methods and Applications of…
Kadeishvili's minimal model theorem establishes the existence of an $A_\infty$-structure, unique up to isomorphism, on the cohomology of a dg associative algebra, which captures its homotopy type. In this note we prove the existence of…
In this note we show that McGee's {\omega}-inconsistency result can be derived from L\"ob's theorem.
Some new counterparts of Bessel's inequality for orthornormal families in real or complex inner product spaces are pointed out. Applications for some Gruss type inequalities are also empahsized.
Trace conjunction integrals are introduced and studied. They appear in trace conjunction inequalities which unify the Hardy inequality on a halfspace and the classical Gagliardo trace inequality. At the endpoint they satisfy a…
We show that the Adams operations in complex K-theory lift to operations in smooth K-theory. The main result is a Riemann-Roch type theorem about the compatibility of the Adams operations and the integration in smooth K-theory.
This paper studies trace-based equivalences for systems combining nondeterministic and probabilistic choices. We show how trace semantics for such processes can be recovered by instantiating a coalgebraic construction known as the…
Extending several works, we prove a general Adams-Moser-Trudinger type inequality for the embedding of Bessel-potential spaces $\tilde H^{\frac{n}{p},p}(\Omega)$ into Orlicz spaces for an arbitrary domain $\Omega\subset \mathbb{R}^n$ with…
Homotopy connectedness theorems for complex submanifolds of homogeneous spaces (sometimes referred to as theorems of Barth-Lefshetz type) have been established by a number of authors. Morse Theory on the space of paths lead to an elegant…
Let $\nu$ be a probability measure that is ergodic under the endomorphism $(\times p, \times p)$ of the torus $\mathbb{T}^2$, such that $\dim \pi \mu < \dim \mu$ for some non-principal projection $\pi$. We show that, if both $m\neq n$ are…
Let $\mathfrak{M}$ be a semifinite von Neumann algebra on a Hilbert space equipped with a faithful normal semifinite trace $\tau$. A closed densely defined operator $x$ affiliated with $\mathfrak{M}$ is called $\tau$-measurable if there…
Some new reverses for the generalised triangle inequality in inner product spaces and applications are given. Applications in connection to the Schwarz inequality are provided as well.
We employ Clarkson's inequality to deduce that each extremal of Morrey's inequality is axially symmetric and is antisymmetric with respect to reflection about a plane orthogonal to its axis of symmetry. We also use symmetrization methods to…
We survey the extensions of a group by a group using crossed products instead of exact sequences of groups. The approach has various advantages, one of them being that the crossed product is an universal object. Several new applications are…
Let C be a separable unital C*-algebra, not isomorphic to the complex numbers, equipped with a faithful tracial state. Let A be a unital direct limit of one dimensional NCCW complexes, also equipped with a faithful tracial state. Suppose…
We prove a matrix trace inequality for completely monotone functions and for Bernstein functions. As special cases we obtain non-trivial trace inequalities for the power function x->x^q, which for certain values of q complement McCarthy's…
In the setting of a non-complete doubling metric measure space $(\Omega,d,\mu)$, we construct various bounded linear trace and extension operators for homogeneous and inhomogeneous Besov spaces $B^\alpha_{p,q}$. Equipping the boundary…
We establish some new generalizations of Erd\H{o}s-Mordell inequality by adding weights to its terms. Using these generalizations, we derived strengthened versions of the original Erd\H{o}s-Mordell inequality. We also found two other…
We extend a theorem of Maa, Pearl, and Bartoszynski, which links equality of interpoint distance distributions to equality of underlying multivariate distributions, beyond the restrictive class of homogeneous, translation-invariant distance…
The Finsleroid--induced scalar product, and hence the angle, proves to remain unchanged under the Finsleroid--type parallel transportation of involved vectors in the Landsberg case. The two--vector extension of the Finsleroid metric tensor…