Related papers: A Le Page--Kaplansky theorem characterizing commut…

Let $p$ be an odd prime, Jianqiang Zhao has established a curious congruence $$ \sum_{i+j+k=p \atop i,j,k > 0} \frac{1}{ijk} \equiv -2B_{p-3}\pmod p , $$ where $B_{n}$ denotes the $n-$th Bernoulli numbers. In this paper, we will generalize…

We show that there are {\it 13 types} of commutator algebras leading to the new closed forms of the Baker-Campbell-Hausdorff (BCH) formula $$\exp(X)\exp(Y)\exp(Z)=\exp({AX+BZ+CY+DI}) \ , $$ derived in arXiv:1502.06589, JHEP {\bf 1505}…

We prove that if $G$ is a countably infinite group and $(L, \lambda)$ and $(K, \kappa)$ are probability spaces having equal Shannon entropy, then the Bernoulli shifts $G \curvearrowright (L^G, \lambda^G)$ and $G \curvearrowright (K^G,…

The unitary Birkhoff theorem states that any unitary matrix with all row sums and all column sums equal unity can be decomposed as a weighted sum of permutation matrices, such that both the sum of the weights and the sum of the squared…

We consider the notion of equivariant uniform property Gamma for actions of countable discrete groups on C*-algebras that admit traces. In case the group is amenable and the C*-algebra has a compact tracial state space, we prove that this…

We give a new purely algebraic proof of the Baker-Campbell-Hausdorff theorem, which states that the homogeneous components of the formal expansion of $\log(e^Ae^B)$ are Lie polynomials. Our proof is based on a recurrence formula for these…

For any unital separable simple infinite-dimensional nuclear C*-algebra with finitely many extremal traces, we prove that Z-absorption, strict comparison, and property (SI) are equivalent. We also show that any unital separable simple…

A classical theorem due to Mycielski states that an equivalence relation $E$ having the Baire property and meager equivalence classes must have a perfect set of pairwise inequivalent elements. We consider equivalence relations with…

By studying $L^p$-combinations of strongly isomorphic polytopes, we prove the equivalence of the $L^p$-Brunn-Minkowski inequality conjectured by B\"or\"oczky, Lutwak, Yang and Zhang to the local version of the inequality studied by…

We show that a $KK$-equivalence between two unital $C^*$-algebras produces a correspondence between their DG categories of finitely generated projective modules which is a $\mathbf{K}_*$-equivalence, where $\mathbf{K}_*$ is Waldhausen's…

Let $p$ be an odd prime, Jianqiang Zhao has established a curious congruence, which is $$ \sum_{i+j+k=p \atop i,j,k > 0} \frac{1}{ijk} \equiv -2B_{p-3}\pmod p , $$ where $B_{n}$ denotes the $n$-th Bernoulli number. In this paper, we will…

We exhibit a countably infinite family of simple, separable, nuclear, and mutually non-isomorphic C*-algebras which agree on K-theory and traces. The algebras do not absorb the Jiang-Su algebra Z tensorially, answering a question of N. C.…

For any integer $d \geq 1$, we verify the Jacobian Conjecture for a $d$-linear map in two variables. We prove that almost all the coefficients of the formal inverse are in the ideal specified by the Jacobian condition. We find expressions…

Let $\F$ be an algebraically closed field. Let $\V$ be a vector space equipped with a non-degenerate symmetric or symplectic bilinear form $B$ over $\F$. Suppose the characteristic of $\F$ is \emph{large}, i.e. either zero or greater than…

In this paper, we first show that the Jacobian Conjecture is true for non-homogeneous power linear mappings under some conditions. Secondly, we prove an equivalent statement about the Jacobian Conjecture in dimension $r\geq 1$ and give some…

We construct uncountably many mutually nonisomorphic simple separable stably finite unital exact C$^\ast$-algebras which are not isomorphic to their opposite algebras. In particular, we prove that there are uncountably many possibilities…

For a graph $G$, Postnikov-Shapiro \cite{PS04} construct two ideals $I_G$ and $J_G.$ $I_G$ is a monomial ideal and $J_G$ is generated by powers of linear forms. They proved the equality of their Hilbert series and conjectured that the…

We describe and characterize the contractively decomposable projections on noncommutative $\mathrm{L}^p$-spaces. Our result relies on a new lifting result for decomposable maps of independent interest and on some tools from ergodic theory.…

We show that for $0<\gamma, \gamma' <1$ and for measurable subsets of the unit square with Lebesgue measure $\gamma$ there exist bi-Lipschitz maps with bounded Lipschitz constant (uniformly over all such sets) which are identity on the…

We establish necessary and sufficient conditions on a (not necessarily countable) graph E for the graph C*-algebra C*(E) to be primitive. Along with a known characterization of the graphs E for which C*(E) is prime, our main result provides…