Related papers: Trace arithmetic--$\kappa_p$ inequality

The best constant and extremal functions are well known of the following Caffarelli-Kohn-Nirenberg inequality \[ \int_{\mathbb{R}^N}|\nabla u|^p\frac{\mathrm{d}x}{|x|^{\mu}}\geq \mathcal{S}…

We establish a sharp inequality between the blocks of positive partitioned matrices and conjecture a triangle type inequality for contractions: Given three contactions A,B,C, we conjecture that the constant c=3/4 is sharp in the triangle…

We examine a number of known inequalities for $L^p$ functions with reverse representations for $s<1$ with complex matrices under the $p$-norms $||X||_p=\text{Tr}[(X^\ast X)^{p/2}]^{1/p}$, and similarly defined quasinorm or antinorm…

For $n\ge2$ and $1<p<\infty$ we prove an $L^p$-version of the generalized Korn-type inequality for incompatible, $p$-integrable tensor fields $P:\Omega \to \mathbb{R}^{n\times n}$ having $p$-integrable generalized…

If $a,b$ are $n\times n$ matrices, Ando proved that Young's inequality is valid for their singular values: if $p>1$ and $1/p+1/q=1$, then $$ \lambda_k|ab^*|\le \lambda_k( \frac1p |a|^p+\frac 1q |b|^q ) \, \textit{ for all }k. $$ Later, this…

For positive definite matrices $A$ and $B$, the Kubo-Ando matrix power mean is defined as $$ P_\mu(p, A, B) = A^{1/2}\left(\frac{1+(A^{-1/2}BA^{-1/2})^p}{2}\right )^{1/p} A^{1/2}\quad (p \ge 0). $$ In this paper, for $0\le p \le 1 \le q$,…

Let $||X||_p=\text{Tr}[(X^\ast X)^{p/2}]^{1/p}$ denote the $p$-Schatten norm of a matrix $X\in M_{n\times n}(\mathbb{C})$, and $\sigma(X)$ the singular values with $\uparrow$ $\downarrow$ indicating its increasing or decreasing…

Every copula $ C $ for a random vector $ {\bf X}=(X_1,\dots,X_d) $ with identically distributed coordinates determines a unique copula $ C_{:d} $ for its order statistic $ {\bf X}_{:d}=(X_{1:d},\dots,X_{d:d}) $. In the present paper we…

This paper formulates Young-type inequalities for singular values (or $s$-numbers) and traces in the context of von Neumann algebras. In particular, it shown that if $\t(\cdot)$ is a faithful semifinite normal trace on a semifinite von…

Let $A_i$ and $B_i$ be positive definite matrices for all $i=1,\cdots,m.$ It is shown that $$\left|\left|\sum_{i=1}^m(A_i^2\sharp…

In this note, we prove a Trudinger-Moser inequality for conical metric in the unit ball. Precisely, let $\mathbb{B}$ be the unit ball in $\mathbb{R}^N$ $(N\geq 2)$, $p>1$, $g=|x|^{\frac{2p}{N}\beta}(dx_1^2+\cdots+dx_N^2)$ be a conical…

We prove continuity and Harnack's inequality for bounded solutions to the equation $$ {\rm div}\big(|\nabla u|^{p(x)-2}\,\nabla u \big)=0, \quad p(x)= p + L\frac{\log\log\frac{1}{|x-x_{0}|}}{\log\frac{1}{|x-x_{0}|}},\quad L > 0, $$ under…

Let $p$ be an odd prime number, $D_p$ be the dihedral group of order $2p$, $h_p$ and $h^+_p$ be the class numbers of $\bm{Q}(\zeta_p)$ and $\bm{Q}(\zeta_p+ \zeta_p^{-1})$ respectively. Theorem. $h_p^+=1$ if and only if, for any field $k$…

Let $\kappa$ be an inaccessible cardinal, $\mathfrak{U}$ be a universal algebra, and $\sim$ be the equivalence relation on $\mathfrak{U}^{\kappa}$ of eventual equality. From mild assumptions on $\kappa$ we give general constructions of…

We consider weighted norm inequalities for the Riesz potentials $I_\alpha$, also referred to as fractional integral operators. First we prove mixed $A_p$-$A_\infty$ type estimates in the spirit of [13, 15, 17]. Then we prove strong and weak…

We prove that, for $\kappa\in(0,4)$ and $\rho\ge (\kappa-4)/2$, the chordal SLE$(\kappa;\rho)$ trace started from $(0;0^+)$ or $(0;0^-)$ satisfies the reversibility property. And we obtain the equation for the reversal of the chordal…

A refinement of a trace inequality of McCarthy establishing the uniform convexity of the Schatten $p$-classes for p>2 is proved

We show that for a number of theories $T^*$ of model-theoretic interest there is a simpler theory $T$ and $\kappa \ge \aleph_0$ such that $T^*$ is trace equivalent to the theory of $\kappa$-dimensional space over a model of $T$.

Let T be a complete, first-order theory in a finite or countable language having infinite models. Let I(T,kappa) be the number of isomorphism types of models of T of cardinality \kappa. We denote by \mu (respectively \hat\mu) the number of…

In this note we prove a trace theorem in fractional spaces with variable exponents. To be more precise, we show that if $p\colon\overline{\Omega}\times \overline{\Omega}\to (1,\infty)$ and $q:\partial \Omega \rightarrow (1,\infty)$ are…