Centralizing traces with automorphisms on triangular algebras

Let \({\mathcal{T}}\) be a triangular algebra over a commutative ring \({\mathcal{R}}\), \({\xi}\) be an automorphism of \({\mathcal{T}}\) and \({\mathcal{Z}_{\xi}(\mathcal{T})}\) be the \({\xi}\)-center of \({\mathcal{T}}\). Suppose that \({\mathfrak{q}\colon \mathcal{T}\times \mathcal{T}\longrightarrow \mathcal{T}}\) is an \({\mathcal{R}}\)-bilinear mapping and that \({\mathfrak{T}_{\mathfrak{q}}\colon \mathcal{T}\longrightarrow \mathcal{T}}\) is a trace of \({\mathfrak{q}}\). The aim of this article is to describe the form of \({\mathfrak{T}_{\mathfrak{q}}}\) satisfying the commuting condition \({[\mathfrak{T}_{\mathfrak{q}}(x), x]_{\xi}=0}\) (resp. the centralizing condition \({[\mathfrak{T}_{\mathfrak{q}}(x), x]_{\xi}\in \mathcal{Z}_\xi(\mathcal{T})}\)) for all \({x\in \mathcal{T}}\). More precisely, we will consider the question of when \({\mathfrak{T}_{\mathfrak{q}}}\) satisfying the previous condition has the so-called proper form.     

On the global convergence rate of the gradient descent method for functions with Hölder continuous gradients

The gradient descent method minimizes an unconstrained nonlinear optimization problem with \({\mathcal {O}}(1/\sqrt{K})\), where K is the number of iterations performed by the gradient method. Traditionally, this analysis is obtained for smooth objective functions having Lipschitz continuous gradients. This paper aims to consider a more general class of nonlinear programming problems in which functions have Hölder continuous gradients. More precisely, for any function f in this class, denoted by \({{\mathcal {C}}}^{1,\nu }_L\), there is a \(\nu \in (0,1]\) and \(L>0\) such that for all \(\mathbf{x,y}\in {{\mathbb {R}}}^n\) the relation \(\Vert \nabla f(\mathbf{x})-\nabla f(\mathbf{y})\Vert \le L \Vert \mathbf{x}-\mathbf{y}\Vert ^{\nu }\) holds. We prove that the gradient descent method converges globally to a stationary point and exhibits a convergence rate of \({\mathcal {O}}(1/K^{\frac{\nu }{\nu +1}})\) when the step-size is chosen properly, i.e., less than \([\frac{\nu +1}{L}]^{\frac{1}{\nu }}\Vert \nabla f(\mathbf{x}_k)\Vert ^{\frac{1}{\nu }-1}\). Moreover, the algorithm employs \({\mathcal {O}}(1/\epsilon ^{\frac{1}{\nu }+1})\) number of calls to an oracle to find \({\bar{\mathbf{x}}}\) such that \(\Vert \nabla f({{\bar{\mathbf{x}}}})\Vert <\epsilon \).     

Endpoint Properties of Localized Riesz Transforms and Fractional Integrals Associated to Schrödinger Operators

Let \({\mathcal L}\equiv-\Delta+V\) be the Schrödinger operator in \({{\mathbb R}^n}\), where V is a nonnegative function satisfying the reverse Hölder inequality. Let ρ be an admissible function modeled on the known auxiliary function determined by V. In this paper, the authors characterize the localized Hardy spaces \(H^1_\rho({{\mathbb R}^n})\) in terms of localized Riesz transforms and establish the boundedness on the BMO-type space \({\mathop\mathrm{BMO_\rho({\mathbb R}^n)}}\) of these operators as well as the boundedness from \({\mathop\mathrm{BMO_\rho({\mathbb R}^n)}}\) to \({\mathop\mathrm{BLO_\rho({\mathbb R}^n)}}\) of their corresponding maximal operators, and as a consequence, the authors obtain the Fefferman–Stein decomposition of \({\mathop\mathrm{BMO_\rho({\mathbb R}^n)}}\) via localized Riesz transforms. When ρ is the known auxiliary function determined by V, \({\mathop\mathrm{BMO_\rho({\mathbb R}^n)}}\) is just the known space \(\mathop\mathrm{BMO}_{\mathcal L}({{\mathbb R}^n})\), and \({\mathop\mathrm{BLO_\rho({\mathbb R}^n)}}\) in this case is correspondingly denoted by \(\mathop\mathrm{BLO}_{\mathcal L}({{\mathbb R}^n})\). As applications, when n?≥?3, the authors further obtain the boundedness on \(\mathop\mathrm{BMO}_{\mathcal L}({{\mathbb R}^n})\) of Riesz transforms \(\nabla{\mathcal L}^{-1/2}\) and their adjoint operators, as well as the boundedness from \(\mathop\mathrm{BMO}_{\mathcal L}({{\mathbb R}^n})\) to \(\mathop\mathrm{BLO}_{\mathcal L}({{\mathbb R}^n})\) of their maximal operators. Also, some endpoint estimates of fractional integrals associated to \({\mathcal L}\) are presented.     

Aspects of the Segre variety $${\mathcal{S}_{1,1,1}(2)}$$

We consider various aspects of the Segre variety \({\mathcal{S}:=\mathcal{S} _{1,1,1}(2)}\) in PG(7, 2), whose stabilizer group \({\mathcal{G}_{\mathcal{S}}<{\rm GL}(8,2)}\) has the structure \({\mathcal{N}\rtimes{\rm Sym}(3),}\) where \({\mathcal{N} :={\rm GL}(2,2)\times{\rm GL}(2,2)\times{\rm GL} (2,2).}\) In particular we prove that \({\mathcal{S}}\) determines a distinguished Z ₃-subgroup \({\mathcal{Z}<{\rm GL}(8,2)}\) such that \({A\mathcal{Z}A^{-1}=\mathcal{Z},}\) for all \({A\in\mathcal{G}_{\mathcal{S}},}\) and in consequence \({\mathcal{S}}\) determines a \({\mathcal{G}_{\mathcal{S}}}\)-invariant spread of 85 lines in PG(7, 2). Furthermore we see that Segre varieties \({\mathcal{S}_{1,1,1}(2)}\) in PG(7, 2) come along in triplets \({\{\mathcal{S},\mathcal{S}^{\prime},\mathcal{S}^{\prime\prime}\}}\) which share the same distinguished Z ₃-subgroup \({\mathcal{Z}<{\rm GL}(8,2).}\) We conclude by determining all fifteen \({\mathcal{G}_{\mathcal{S}}}\)-invariant polynomial functions on PG(7, 2) which have degree < 8, and their relation to the five \({\mathcal{G}_{\mathcal{S}}}\)-orbits of points in PG(7, 2).     

Decorated marked surfaces: spherical twists versus braid twists

We are interested in the 3-Calabi-Yau categories \({\mathcal {D}}\) arising from quivers with potential associated to a triangulated marked surface \(\mathbf {S}\) (without punctures). We prove that the spherical twist group \(\mathrm{ST}\) of \({\mathcal {D}}\) is isomorphic to a subgroup (generated by braid twists) of the mapping class group of the decorated marked surface \({\mathbf {S}}_\bigtriangleup \). Here \({\mathbf {S}}_\bigtriangleup \) is the surface obtained from \(\mathbf {S}\) by decorating with a set of points, where the number of points equals the number of triangles in any triangulations of \(\mathbf {S}\). For instance, when \(\mathbf {S}\) is an annulus, the result implies that the corresponding spaces of stability conditions on \({\mathcal {D}}\) are contractible.     

Invariant {\varphi}-means on left introverted subspaces with application to locally compact quantum groups

Given a Banach algebra \({{\mathcal{A}}}\), for a non-zero character \({\varphi}\) on \({{\mathcal{A}}}\), we characterize the existence of \({\varphi}\)-means on a left introverted subspace of \({{\mathcal{A}^{*}}}\) containing \({\varphi}\) in terms of certain derivations from \({{\mathcal{A}}}\) into certain Banach \({{\mathcal{A}}}\)-bimodules. We also adapt and extend a result in (Crann and Neufang, Trans Amer Math Soc 368:495–513, 2016) on locally compact quantum groups to the Banach algebra setting which, in particular, answers a question of Bédos and Tuset, concerning the amenability of locally compact quantum groups.     

Fractional Differentiability for Solutions of Nonlinear Elliptic Equations

We study nonlinear elliptic equations in divergence form

$$\text {div }{\mathcal A}(x,Du)=\text {div } G.$$

When \({\mathcal A}\) has linear growth in D u, and assuming that \(x\mapsto {\mathcal A}(x,\xi )\) enjoys \(B^{\alpha }_{\frac {n}\alpha , q}\) smoothness, local well-posedness is found in \(B^{\alpha }_{p,q}\) for certain values of \(p\in [2,\frac {n}{\alpha })\) and \(q\in [1,\infty ]\). In the particular case \({\mathcal A}(x,\xi )=A(x)\xi \), G = 0 and \(A\in B^{\alpha }_{\frac {n}\alpha ,q}\), \(1\leq q\leq \infty \), we obtain \(Du\in B^{\alpha }_{p,q}\) for each \(p<\frac {n}\alpha \). Our main tool in the proof is a more general result, that holds also if \({\mathcal A}\) has growth s?1 in D u, 2 ≤ s ≤ n, and asserts local well-posedness in L ^q for each q > s, provided that \(x\mapsto {\mathcal A}(x,\xi )\) satisfies a locally uniform VMO condition.

     

Additive iterative roots of identity and Hamel bases

We describe a class of discontinuous additive functions \({a:X\to X}\) on a real topological vector space X such that \({a^n={\rm id}_X}\) and \({a({\mathcal{H}}){\setminus} {\mathcal{H}}\neq\emptyset}\) for every infinite set \({{\mathcal{H}}\subset X}\) of vectors linearly independent over \({\mathbb{Q}}\). We prove the density of the family of all such functions in the linear topological space \({{\mathcal{A}}_X}\) of all additive functions \({a:X\to X}\) with the topology induced on \({{\mathcal{A}}_X}\) by the Tychonoff topology of the space X^X. Moreover, we consider additive functions \({a\in{\mathcal{A}}_X}\) satisfying \({a^n={\rm id}_X}\) and \({a({\mathcal{H}})= {\mathcal{H}}}\) for some Hamel basis \({{\mathcal{H}}}\) of X. We show that the class of all such functions is also dense in \({{\mathcal{A}}_X}\). The method is based on decomposition theorems for linear endomorphisms.     

Central Limit Theorem for Linear Eigenvalue Statistics for a Tensor Product Version of Sample Covariance Matrices

For \(k,m,n\in {\mathbb {N}}\), we consider \(n^k\times n^k\) random matrices of the form

$$\begin{aligned} {\mathcal {M}}_{n,m,k}({\mathbf {y}})=\sum _{\alpha =1}^m\tau _\alpha {Y_\alpha }Y_\alpha ^T,\quad {Y}_\alpha ={\mathbf {y}}_\alpha ^{(1)}\otimes \cdots \otimes {\mathbf {y}}_\alpha ^{(k)}, \end{aligned}$$

where \(\tau _{\alpha }\), \(\alpha \in [m]\), are real numbers and \({\mathbf {y}}_\alpha ^{(j)}\), \(\alpha \in [m]\), \(j\in [k]\), are i.i.d. copies of a normalized isotropic random vector \({\mathbf {y}}\in {\mathbb {R}}^n\). For every fixed \(k\ge 1\), if the Normalized Counting Measures of \(\{\tau _{\alpha }\}_{\alpha }\) converge weakly as \(m,n\rightarrow \infty \), \(m/n^k\rightarrow c\in [0,\infty )\) and \({\mathbf {y}}\) is a good vector in the sense of Definition 1.1, then the Normalized Counting Measures of eigenvalues of \({\mathcal {M}}_{n,m,k}({\mathbf {y}})\) converge weakly in probability to a nonrandom limit found in Marchenko and Pastur (Math USSR Sb 1:457–483, 1967). For \(k=2\), we define a subclass of good vectors \({\mathbf {y}}\) for which the centered linear eigenvalue statistics \(n^{-1/2}{{\mathrm{Tr}}}\varphi ({\mathcal {M}}_{n,m,2}({\mathbf {y}}))^\circ \) converge in distribution to a Gaussian random variable, i.e., the Central Limit Theorem is valid.

     

On the additivity of block designs

We show that symmetric block designs \({\mathcal {D}}=({\mathcal {P}},{\mathcal {B}})\) can be embedded in a suitable commutative group \({\mathfrak {G}}_{\mathcal {D}}\) in such a way that the sum of the elements in each block is zero, whereas the only Steiner triple systems with this property are the point-line designs of \({\mathrm {PG}}(d,2)\) and \({\mathrm {AG}}(d,3)\). In both cases, the blocks can be characterized as the only k-subsets of \(\mathcal {P}\) whose elements sum to zero. It follows that the group of automorphisms of any such design \(\mathcal {D}\) is the group of automorphisms of \({\mathfrak {G}}_\mathcal {D}\) that leave \(\mathcal {P}\) invariant. In some special cases, the group \({\mathfrak {G}}_\mathcal {D}\) can be determined uniquely by the parameters of \(\mathcal {D}\). For instance, if \(\mathcal {D}\) is a 2-\((v,k,\lambda )\) symmetric design of prime order p not dividing k, then \({\mathfrak {G}}_\mathcal {D}\) is (essentially) isomorphic to \(({\mathbb {Z}}/p{\mathbb {Z}})^{\frac{v-1}{2}}\), and the embedding of the design in the group can be described explicitly. Moreover, in this case, the blocks of \(\mathcal {B}\) can be characterized also as the v intersections of \(\mathcal {P}\) with v suitable hyperplanes of \(({\mathbb {Z}}/p{\mathbb {Z}})^{\frac{v-1}{2}}\).     

Conformally Covariant Differential Operators for the Diagonal Action of $$O(p,\,q)$$ on Real Quadrics

Let \(X=G/P\) be a real projective quadric, where \(G=O(p,\,q)\) and P is a parabolic subgroup of G. Let \((\pi _{\lambda ,\epsilon },\, \mathcal H_{\lambda ,\epsilon })_{ (\lambda ,\epsilon )\in {\mathbb {C}}\times \{\pm \}}\) be the family of (smooth) representations of G induced from the characters of P. For \((\lambda ,\, \epsilon ),\, (\mu ,\, \eta )\in {\mathbb {C}}\times \{\pm \},\) a differential operator \(\mathbf D_{(\mu ,\eta )}^\mathrm{reg}\) on \(X\times X,\) acting G-covariantly from \({\mathcal {H}}_{\lambda ,\epsilon } \otimes {\mathcal {H}}_{\mu , \eta }\) into \({\mathcal {H}}_{\lambda +1,-\epsilon } \otimes {\mathcal {H}}_{\mu +1, -\eta }\) is constructed.     

Infra-nilmanifolds modeled on the group of uni-triangular matrices

Let \({\mathcal {N}}_m\) be the group of \(m\times m\) upper triangular real matrices with all the diagonal entries 1. Then it is an \((m-1)\)-step nilpotent Lie group, diffeomorphic to \({\mathbb {R}}^{\frac{1}{2} m(m-1)}\). It contains all the integer matrices as a lattice \(\Gamma _m\). The automorphism group of \({\mathcal {N}}_m \ (m\ge 4)\) turns out to be extremely small. In fact, \(\mathrm {Aut}({\mathcal {N}})=\mathcal {I} \rtimes \mathrm {Out}({\mathcal {N}})\), where \(\mathcal {I}\) is a connected, simply connected nilpotent Lie group, and \(\mathrm {Out}({\mathcal {N}})={{\tilde{K}}}={(\mathbb {R}^*)^{m-1}\rtimes \mathbb {Z}_2}\). With a nice left-invariant Riemannian metric on \({\mathcal {N}}\), the isometry group is \(\mathrm {Isom}({\mathcal {N}})= {\mathcal {N}} \rtimes K\), where \(K={(\mathbb {Z}_2)^{m-1}\rtimes \mathbb {Z}_2}\subset {{\tilde{K}}}\) is a maximal compact subgroup of \(\mathrm {Aut}({\mathcal {N}})\). We prove that, for odd \(m\ge 4\), there is no infra-nilmanifold which is essentially covered by the nilmanifold \(\Gamma _m\backslash {\mathcal {N}}_m\). For \(m=2n\ge 4\) (even), there is a unique infra-nilmanifold which is essentially (and doubly) covered by the nilmanifold \(\Gamma _m\backslash {\mathcal {N}}_m\).     

Nonlinear $$\ast$$-Lie-type derivations on von Neumann algebras

Let \({\mathcal{H}}\) be a complex Hilbert space, \({\mathcal{B(H)}}\) be the algebra of all bounded linear operators on \({\mathcal{H}}\) and \({\mathcal{A} \subseteq \mathcal{B(H)}}\) be a von Neumann algebra without nonzero central abelian projections. Let \({p_n(x_1,x_2 ,\ldots ,x_n)}\) be the commutator polynomial defined by n indeterminates \({x_1, \ldots , x_n}\) and their skew Lie products. It is shown that a mapping \({\delta \colon \mathcal{A} \longrightarrow \mathcal{B(H)}}\) satisfies

$$\delta(p_n(A_1, A_2 ,\ldots , A_n))=\sum_{k=1}^np_n(A_1 ,\ldots , A_{k-1}, \delta(A_k), A_{k+1} ,\ldots , A_n)$$

for all \({A_1, A_2 ,\ldots , A_n \in \mathcal{A}}\) if and only if \({\delta}\) is an additive *-derivation. This gives a positive answer to Conjecture 4.2 of [14].

     

Integer Decomposition Property of Free Sums of Convex Polytopes

Let \({\mathcal{P} \subset \mathbb{R}^{d}}\) and \({\mathcal{Q} \subset \mathbb{R}^{e}}\) be integral convex polytopes of dimension d and e which contain the origin of \({\mathbb{R}^{d}}\) and \({\mathbb{R}^{e}}\), respectively. We say that an integral convex polytope \({\mathcal{P}\subset \mathbb{R}^{d}}\) possesses the integer decomposition property if, for each \({n\geq1}\) and for each \({\gamma \in n\mathcal{P}\cap\mathbb{Z}^{d}}\), there exist \({\gamma^{(1)}, . . . , \gamma^{(n)}}\) belonging to \({\mathcal{P}\cap\mathbb{Z}^{d}}\) such that \({\gamma = \gamma^{(1)} +. . .+\gamma^{(n)}}\). In the present paper, under some assumptions, the necessary and sufficient condition for the free sum of \({\mathcal{P}}\) and \({\mathcal{Q}}\) to possess the integer decomposition property will be presented.     

Unitary Equivalence of Composition C$$^*$$-Algebras on the Hardy and Weighted Bergman Spaces

Let \(\varphi \) be an arbitrary linear-fractional self-map of the unit disk \({\mathbb {D}}\) and consider the composition operator \(C_{-1, \varphi }\) and the Toeplitz operator \(T_{-1,z}\) on the Hardy space \(H^2\) and the corresponding operators \(C_{\alpha , \varphi }\) and \(T_{\alpha , z}\) on the weighted Bergman spaces \(A^2_{\alpha }\) for \(\alpha >-1\). We prove that the unital C\(^*\)-algebra \(C^*(T_{\alpha , z}, C_{\alpha , \varphi })\) generated by \(T_{\alpha , z}\) and \(C_{\alpha , \varphi }\) is unitarily equivalent to \(C^*(T_{-1, z}, C_{-1, \varphi }),\) which extends a known result for automorphism-induced composition operators. For maps \(\varphi \) that are not automorphisms of \({\mathbb {D}}\), we show that \(C^*(C_{\alpha , \varphi }, {\mathcal {K}}_{\alpha })\) is unitarily equivalent to \(C^*(C_{-1, \varphi }, {\mathcal {K}}_{-1})\), where \({\mathcal {K}}_{\alpha }\) and \({\mathcal {K}}_{-1}\) denote the ideals of compact operators on \(A^2_{\alpha }\) and \(H^2\), respectively, and apply existing structure theorems for \(C^*(C_{-1, \varphi }, {\mathcal {K}}_{-1})/{\mathcal {K}}_{-1}\) to describe the structure of \(C^*(C_{\alpha , \varphi }, {\mathcal {K}}_{\alpha })/\mathcal {K_{\alpha }}\), up to isomorphism. We also establish a unitary equivalence between related weighted composition operators induced by maps \(\varphi \) that fix a point on the unit circle.     

Weyl Type Asymptotics and Bounds for the Eigenvalues of Functional-Difference Operators for Mirror Curves

We investigate Weyl type asymptotics of functional-difference operators associated to mirror curves of special del Pezzo Calabi-Yau threefolds. These operators are \({H(\zeta) = U + U^{-1} + V + \zeta V^{-1}}\) and \({H_{m,n} = U + V + q^{-mn}U^{-m}V^{-n}}\), where \({U}\) and \({V}\) are self-adjoint Weyl operators satisfying \({UV = q^{2}VU}\) with \({q = {\rm e}^{{\rm i}\pi b^{2}}}\), \({b > 0}\) and \({\zeta > 0}\), \({m, n \in \mathbb{N}}\). We prove that \({H(\zeta)}\) and \({H_{m,n}}\) are self-adjoint operators with purely discrete spectrum on \({L^{2}(\mathbb{R})}\). Using the coherent state transform we find the asymptotical behaviour for the Riesz mean \({\sum_{j\ge 1}(\lambda - \lambda_{j})_{+}}\) as \({\lambda \to \infty}\) and prove the Weyl law for the eigenvalue counting function \({N(\lambda)}\) for these operators, which imply that their inverses are of trace class.     

A partition relation for pairs on $$\omega ^{\omega ^\omega }$$

We consider colorings of the pairs of a family \(\mathcal {F}\subseteq {{\mathrm{FIN}}}\) of topological type \(\omega ^{\omega ^k}\), for \(k>1\); and we find a homogeneous family \(\mathcal {G}\subseteq \mathcal {F}\) for each coloring. As a consequence, we complete our study of the partition relation \({\forall l>1,\, \alpha \rightarrow ({{\mathrm{top}}}\;\omega ^2+1)^2_{l,m}}\) identifying \(\omega ^{\omega ^\omega }\) as the smallest ordinal space \(\alpha <\omega _1\) satisfying \({\forall l>1,\, \alpha \rightarrow ({{\mathrm{top}}}\;\omega ^2+1)^2_{l,4}}\).     

Some Properties of Approximately Dual Frames in Hilbert Spaces

In this paper, a new characterization is obtained for approximately dual frames of a given frame. Among other things, it is proved that if the sequence \({\Psi=(\psi_n)_n}\) is sufficiently close to the frame \({\Phi=(\varphi_n)_n}\), then \({\Psi}\) is a frame for \({\mathcal{H}}\) and approximately dual frames \({\Phi^{ad}=(\varphi^{ad}_n)_n}\) and \({\Psi^{ad}=(\psi^{ad}_n)_n}\) can be found which are close to each other and \({T_\Phi U_{\Phi^{ad}}=T_\Psi U_{\Psi^{ad}}}\), where T_X and U_X denote the synthesis and analysis operators of the frame X, respectively. Finally, the results are applied to Gabor systems to obtain some practical examples.     

On the Almost Sure Location of the Singular Values of Certain Gaussian Block-Hankel Large Random Matrices

This paper studies the almost sure location of the eigenvalues of matrices \({\mathbf{W}}_N {\mathbf{W}}_N^{*}\), where \({\mathbf{W}}_N = ({\mathbf{W}}_N^{(1)T}, \ldots , {\mathbf{W}}_N^{(M)T})^{T}\) is a \({\textit{ML}} \times N\) block-line matrix whose block-lines \(({\mathbf{W}}_N^{(m)})_{m=1, \ldots , M}\) are independent identically distributed \(L \times N\) Hankel matrices built from i.i.d. standard complex Gaussian sequences. It is shown that if \(M \rightarrow +\infty \) and \(\frac{{\textit{ML}}}{N} \rightarrow c_* (c_* \in (0, \infty ))\), then the empirical eigenvalue distribution of \({\mathbf{W}}_N {\mathbf{W}}_N^{*}\) converges almost surely towards the Marcenko–Pastur distribution. More importantly, it is established using the Haagerup–Schultz–Thorbjornsen ideas that if \(L = O(N^{\alpha })\) with \(\alpha < 2/3\), then, almost surely, for \(N\) large enough, the eigenvalues of \({\mathbf{W}}_N {\mathbf{W}}_N^{*}\) are located in the neighbourhood of the Marcenko–Pastur distribution. It is conjectured that the condition \(\alpha < 2/3\) is optimal.