Related papers: Trace arithmetic--$\kappa_p$ inequality
Let $M,N$ be real-valued martingales such that $N$ is differentially subordinate to $M$. The paper contains the proofs of the following weak-type inequalities: (i) If $M\geq0$ and $0<p\leq1$, then \[\Vert N\Vert_{p,\infty}\leq2\Vert…
We prove that there are infinitely many solutions of $$ |\lambda_0+\lambda_1p+\lambda_2P_r|<p^{-\tau}, $$ where $r=3,$ $\tau=\frac1{118}$, and $\lambda_0$ is an arbitrary real number and $\lambda_1,\lambda_2\in\BR$ with $\lambda_2\neq0$ and…
In this paper we develop a general theoretical tool for the establishment of the boundedness of notoriously difficult operators (such as potentials) on certain specific types of rearrangement-invariant function spaces from analogous…
We show that if $f$ is a non-negative superquadratic function, then $A\mapsto\mathrm{Tr}f(A)$ is a superquadratic function on the matrix algebra. In particular, \begin{align*} \tr f\left( {\frac{{A + B}}{2}} \right) +\tr f\left(\left|…
Let $\mathcal{A}$ be a unital $\mathbf{C}^*$-algebra with unit $e$. We develop several inequalities for a positive linear functional $f$ on $\mathcal{A}$ and obtain several bounds for the numerical radius $v(a)$ of an element $a\in…
Assume that $p > 1$ and $p - 1 \le \alpha \le p$ are real numbers and $\Omega$ is a non-empty open subset of ${\mathbb R}^n$, $n \ge 2$. We consider the inequality $$ {\rm div} \, A (x, D u) + b (x) |D u|^\alpha \ge 0, $$ where $D =…
Let $\left( p,q\right) \mapsto \beta \left( p,q\right) $ be a function defined on $\mathbb{R}^{2}$. We determine the best or better $p,q$ such that the inequality% \begin{equation*} \left( \frac{\sin x}{x}\right) ^{p}<\left( >\right)…
We show that the validity of the non-commutative Khintchine inequality for some $q$ with $1<q<2$ implies its validity (with another constant) for all $1\le p<q$. We prove this for the inequality involving the Rademacher functions, but also…
The symmetric binary perceptron ($\mathrm{SBP}_{\kappa}$) problem with parameter $\kappa : \mathbb{R}_{\geq1} \to [0,1]$ is an average-case search problem defined as follows: given a random Gaussian matrix $\mathbf{A} \sim…
We prove that on the Baire space $(D^{\kappa},\pi)$, $\kappa \geq \omega_0$ where $D$ is a uniformly discrete space having $\omega _1$-strongly compact cardinal and $\pi$ denotes the product uniformity on $D^\kappa$, there exists a…
Our goal is to study the pseudo-intersection and tower numbers on uncountable regular cardinals, whether these two cardinal characteristics are necessarily equal, and related problems on the existence of gaps. First, we prove that either…
The uniform tracial completion of a C*-algebra A with compact non-empty trace space T(A) is obtained by completing the unit ball with respect to the uniform 2-seminorm $\|a\|_{2,T(A)}=\sup_{\tau \in T(A)} \tau(a^*a)^{1/2}$. The trace…
We prove a revised version of Laver's indestructibility theorem which slightly improves over the classical result. An application yields the consistency of $(\kappa^+,\kappa)\notcc(\aleph\_1,\aleph\_0)$ when $\kappa$ is supercompact. The…
We extend Hardy's inequality from sequences of non-negative numbers to sequences of positive semi-definite operators if the parameter p satisfies 1<p<=2, and to operators under a trace for arbitrary p>1. Applications to trace functions are…
We find some statements in the language of asymmetric topology and continuous partial orders which are equivalent to the statements $\kappa < \mathfrak m$ or $\kappa < \mathfrak p$.
Given a weakly compact cardinal $\kappa$, we give an axiomatization of intuitionistic first-order logic over $\mathcal{L}_{\kappa^+, \kappa}$ and prove it is sound and complete with respect to Kripke models. As a consequence we get the…
In this article the problem to be studied is the following $$ (P) \left\{ \begin{array}{rcll} u_t+(-\D^s_{p}) u & = & f(x,t) & \text{ in } \O_{T}\equiv \Omega \times (0,T), \\ u & = & 0 & \text{ in }(\ren\setminus\O) \times (0,T), \\ u &…
We give a classification theorem for unital separable nuclear simple \CA s with tracial rank no more than one. Let $A$ and $B$ be two unital separable simple nuclear \CA s with $TR(A), TR(B)\le 1$ which satisfy the universal coefficient…
A simple, self-contained proof is presented for the concavity of the map (A,B) --> Tr(A^p K^* B^(1-p) K). The author makes no claim to originality; this note gives Lieb's original argument in its simplest, rather than its most general,…
Suppose t = (T,T_1, p) is a triple of two theories T subset T_1 in vocabularies tau subset tau_1 (respectively) of cardinality lambda and a tau_1-type p over the empty set; in the main case here is with T stable. We show the Hanf number for…