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.     

On the principal components of sample covariance matrices

We introduce a class of \(M \times M\) sample covariance matrices \({\mathcal {Q}}\) which subsumes and generalizes several previous models. The associated population covariance matrix \(\Sigma = \mathbb {E}{\mathcal {Q}}\) is assumed to differ from the identity by a matrix of bounded rank. All quantities except the rank of \(\Sigma - I_M\) may depend on \(M\) in an arbitrary fashion. We investigate the principal components, i.e. the top eigenvalues and eigenvectors, of \({\mathcal {Q}}\). We derive precise large deviation estimates on the generalized components \(\langle {\mathbf{{w}}} , {\varvec{\xi }_i}\rangle \) of the outlier and non-outlier eigenvectors \(\varvec{\xi }_i\). Our results also hold near the so-called BBP transition, where outliers are created or annihilated, and for degenerate or near-degenerate outliers. We believe the obtained rates of convergence to be optimal. In addition, we derive the asymptotic distribution of the generalized components of the non-outlier eigenvectors. A novel observation arising from our results is that, unlike the eigenvalues, the eigenvectors of the principal components contain information about the subcritical spikes of \(\Sigma \). The proofs use several results on the eigenvalues and eigenvectors of the uncorrelated matrix \({\mathcal {Q}}\), satisfying \(\mathbb {E}{\mathcal {Q}} = I_M\), as input: the isotropic local Marchenko–Pastur law established in Bloemendal et al. (Electron J Probab 19:1–53, 2014), level repulsion, and quantum unique ergodicity of the eigenvectors. The latter is a special case of a new universality result for the joint eigenvalue–eigenvector distribution.     

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.     

Helicoidal minimal surfaces of prescribed genus

For every genus g, we prove that \({\mathbf{S}^2\times\mathbf{R}}\) contains complete, properly embedded, genus-g minimal surfaces whose two ends are asymptotic to helicoids of any prescribed pitch. We also show that as the radius of the \({\mathbf{S}^2}\) tends to infinity, these examples converge smoothly to complete, properly embedded minimal surfaces in \({\mathbf{R}^3}\) that are helicoidal at infinity. We prove that helicoidal surfaces in \({\mathbf{R}^3}\) of every prescribed genus occur as such limits of examples in \({\mathbf{S}^2\times\mathbf{R}}\).     

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.

     

Helicoidal surfaces satisfying {\Delta ^{II}\mathbf{G}=f(\mathbf{G}+C)}

In this paper, we study helicoidal surfaces without parabolic points in Euclidean 3-space \({\mathbb{R} ^{3}}\), satisfying the condition \({\Delta ^{II}\mathbf{G}=f(\mathbf{G}+C)}\), where \({\Delta ^{II}}\) is the Laplace operator with respect to the second fundamental form, f is a smooth function on the surface and C is a constant vector. Our main results state that helicoidal surfaces without parabolic points in \({ \mathbb{R} ^{3}}\) which satisfy the condition \({\Delta ^{II} \mathbf{G}=f(\mathbf{G}+C)}\), coincide with helicoidal surfaces with non-zero constant Gaussian curvature.     

Bilinear dual hyperovals in the largest ambient spaces

The following facts are shown for a bilinear dual hyperoval \({\mathcal {S}}\) of rank n. The ambient space \({\mathbf {A}}({\mathcal {S}})\) has vector dimension at most \(n(n+1)/2\). The dimension of \({\mathbf {A}}({\mathcal {S}})\) is \(n(n+1)/2\) if and only if \({\mathcal {S}}\) is isomorphic to the Huybrechts or the Buratti–Del Fra dual hyperoval.     

Arithmetic Groups,Base Change,and Representation Growth

Consider an arithmetic group \({\mathbf{G}(O_S)}\), where \({\mathbf{G}}\) is an affine group scheme with connected, simply connected absolutely almost simple generic fiber, defined over the ring of S-integers O _S of a number field K with respect to a finite set of places S. For each \({n \in \mathbb{N}}\), let \({R_n(\mathbf{G}(O_S))}\) denote the number of irreducible complex representations of \({\mathbf{G}(O_S)}\) of dimension at most n. The degree of representation growth \({\alpha(\mathbf{G}(O_S)) = \lim_{n \rightarrow\infty}\log R_n(\mathbf{G}(O_S)) / \log n}\) is finite if and only if \({\mathbf{G}(O_S)}\) has the weak Congruence Subgroup Property. We establish that for every \({\mathbf{G}(O_S)}\) with the weak Congruence Subgroup Property the invariant \({\alpha(\mathbf{G}(O_S))}\) is already determined by the absolute root system of \({\mathbf{G}}\). To show this we demonstrate that the abscissae of convergence of the representation zeta functions of such groups are invariant under base extensions \({K{\subset}L}\). We deduce from our result a variant of a conjecture of Larsen and Lubotzky regarding the representation growth of irreducible lattices in higher rank semi-simple groups. In particular, this reduces Larsen and Lubotzky’s conjecture to Serre’s conjecture on the weak Congruence Subgroup Property, which it refines.     

Clusters of varieties of completely regular semigroups

The class \({\mathcal{CR}}\) of completely regular semigroups equipped with the unary operation of inversion forms a variety whose lattice of subvarieties is denoted by \({\mathcal{L(CR)}}\). The variety \({\mathcal B}\) of all bands induces two relations \({\mathbf{B}^{\land}}\) and \({\mathbf{B}^{\lor} }\) by meet and join with \({\mathcal B}\). Their classes are intervals with lower ends \({\mathcal V_{B^{\land}}}\) and \({\mathcal V_{B^{\lor}}}\), and upper ends \({\mathcal V^{B^{\land}}}\) and \({\mathcal V^{B^{\lor}}}\). These objects induce four operators on \({\mathcal{L(CR)}}\).The cluster at a variety \({\mathcal V}\) is the set of all varieties obtained from \({\mathcal V}\) by repeated application of these four operators. We identify the cluster at any variety in \({\mathcal{L(CR)}}\).     

Why there is no an existence theorem for a convex polytope with prescribed directions and perimeters of the faces?

We choose some special unit vectors \({\mathbf {n}}_1,\ldots ,{\mathbf {n}}_5\) in \({\mathbb {R}}^3\) and denote by \({\mathscr {L}}\subset {\mathbb {R}}^5\) the set of all points \((L_1,\ldots ,L_5)\in {\mathbb {R}}^5\) with the following property: there exists a compact convex polytope \(P\subset {\mathbb {R}}^3\) such that the vectors \({\mathbf {n}}_1,\ldots ,{\mathbf {n}}_5\) (and no other vector) are unit outward normals to the faces of P and the perimeter of the face with the outward normal \({\mathbf {n}}_k\) is equal to \(L_k\) for all \(k=1,\ldots ,5\). Our main result reads that \({\mathscr {L}}\) is not a locally-analytic set, i.e., we prove that, for some point \((L_1,\ldots ,L_5)\in {\mathscr {L}}\), it is not possible to find a neighborhood \(U\subset {\mathbb {R}}^5\) and an analytic set \(A\subset {\mathbb {R}}^5\) such that \({\mathscr {L}}\cap U=A\cap U\). We interpret this result as an obstacle for finding an existence theorem for a compact convex polytope with prescribed directions and perimeters of the faces.     

Convergence analysis for Lasserre’s measure-based hierarchy of upper bounds for polynomial optimization

We consider the problem of minimizing a continuous function f over a compact set \({\mathbf {K}}\). We analyze a hierarchy of upper bounds proposed by Lasserre (SIAM J Optim 21(3):864–885, 2011), obtained by searching for an optimal probability density function h on \({\mathbf {K}}\) which is a sum of squares of polynomials, so that the expectation \(\int _{{\mathbf {K}}} f(x)h(x)dx\) is minimized. We show that the rate of convergence is no worse than \(O(1/\sqrt{r})\), where 2r is the degree bound on the density function. This analysis applies to the case when f is Lipschitz continuous and \({\mathbf {K}}\) is a full-dimensional compact set satisfying some boundary condition (which is satisfied, e.g., for convex bodies). The rth upper bound in the hierarchy may be computed using semidefinite programming if f is a polynomial of degree d, and if all moments of order up to \(2r+d\) of the Lebesgue measure on \({\mathbf {K}}\) are known, which holds, for example, if \({\mathbf {K}}\) is a simplex, hypercube, or a Euclidean ball.     

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.     

Derivations,Local and 2-Local Derivations on Some Algebras of Operators on Hilbert C*-Modules

For a commutative C*-algebra \({\mathcal {A}}\) with unit e and a Hilbert \({\mathcal {A}}\)-module \({\mathcal {M}}\), denote by End\(_{{\mathcal {A}}}({\mathcal {M}})\) the algebra of all bounded \({\mathcal {A}}\)-linear mappings on \({\mathcal {M}}\), and by End\(^*_{{\mathcal {A}}}({\mathcal {M}})\) the algebra of all adjointable mappings on \({\mathcal {M}}\). We prove that if \({\mathcal {M}}\) is full, then each derivation on End\(_{{\mathcal {A}}}({\mathcal {M}})\) is \({\mathcal {A}}\)-linear, continuous, and inner, and each 2-local derivation on End\(_{{\mathcal {A}}}({\mathcal {M}})\) or End\(^{*}_{{\mathcal {A}}}({\mathcal {M}})\) is a derivation. If there exist \(x_0\) in \({\mathcal {M}}\) and \(f_0\) in \({\mathcal {M}}^{'}\), such that \(f_0(x_0)=e\), where \({\mathcal {M}}^{'}\) denotes the set of all bounded \({\mathcal {A}}\)-linear mappings from \({\mathcal {M}}\) to \({\mathcal {A}}\), then each \({\mathcal {A}}\)-linear local derivation on End\(_{{\mathcal {A}}}({\mathcal {M}})\) is a derivation.     

Inequalities between Dirichlet and Neumann eigenvalues of vibrating strings

The Dirichlet eigenvalues \({\{\lambda_{n}\}_{n=1}^{\infty}}\) and Neumann eigenvalues \({\{\mu_{n}\}_{n=1}^{\infty}}\) of the string equation \({\varphi'' (x) +\lambda \rho (x) \varphi(x) =0}\) are considered. It is known that \({ \mu_{n} < \lambda_{n} < \mu_{n+2}}\) for all n. The purpose of this paper is to provide conditions on the mass density \({\rho(x)}\) under which \({\lambda_{n} < \mu_{n+1}}\) or \({\mu_{n+1} < \lambda_{n}.}\)     

On homomorphisms between products of median algebras

Homomorphisms of products of median algebras are studied with particular attention to the case when the codomain is a tree. In particular, we show that all mappings from a product \({\mathbf{A_1} \times\ldots\times {\mathbf{A}_{n}}}\) of median algebras to a median algebra \({\mathbf{B}}\) are essentially unary whenever the codomain \({\mathbf{B}}\) is a tree. In view of this result, we also characterize trees as median algebras and semilattices by relaxing the defining conditions of conservative median algebras.     

On the Convergence to Equilibrium of Unbounded Observables Under a Family of Intermittent Interval Maps

We consider a family \({\{T_{r}: [0, 1] \circlearrowleft \}_{r\in[0, 1]}}\) of Markov interval maps interpolating between the tent map \({T_{0}}\) and the Farey map \({T_{1}}\). Letting \({\mathcal{P}_{r}}\) denote the Perron–Frobenius operator of \({T_{r}}\), we show, for \({\beta \in [0, 1]}\) and \({\alpha \in (0, 1)}\), that the asymptotic behaviour of the iterates of \({\mathcal{P}_{r}}\) applied to observables with a singularity at \({\beta}\) of order \({\alpha}\) is dependent on the structure of the \({\omega}\)-limit set of \({\beta}\) with respect to \({T_{r}}\). The results presented here are some of the first to deal with convergence to equilibrium of observables with singularities.     

Convergence in p-mean for arrays of row-wise extended negatively dependent random variables

It is known that the maximal operator \({\sigma^{\kappa,*}(f)} := sup_{n \in \mathbf{P}}{|{\sigma}_{n}^{\kappa} (f)|}\) is bounded from the dyadic Hardy space \({H_{p}}\) into the space \({L_{p}}\) for \({p > 2/3}\) [6]. Moreover, Goginava and Nagy showed that \({\sigma^{\kappa,*}}\) is not bounded from the Hardy space \({H_{2/3}}\) to the space \({L_{2/3}}\) [9]. The main aim of this paper is to investigate the case \({0 < p < 2/3}\). We show that the weighted maximal operator \({\tilde{\sigma}^{\kappa,*,p}(f) :=sup_{n\in \mathbf{P}} \frac{|{\sigma}_{n}^\kappa (f)|}{n^{2/p-3}}}\), is bounded from the Hardy space \({H_{p}}\) into the space \({L_{p}}\) for any \({0 < p < 2/3}\). With its aid we provide a necessary and sufficient condition for the convergence of Walsh–Kaczmarz–Marcinkiewicz means in terms of modulus of continuity on the Hardy space \({H_p}\), and prove a strong convergence theorem for this means.     

Joins and subdirect products of varieties

We generalise in three different directions two well-known results in universal algebra. Grätzer, Lakser and P?onka proved that independent subvarieties \({\mathcal{V}_{1}, \mathcal{V}_{2}}\) of a variety \({\mathcal{V}}\) are disjoint and such that their join \({\mathcal{V}_{1} \vee \mathcal{V}_{2}}\) (in the lattice of subvarieties of \({\mathcal{V}}\)) is their direct product \({\mathcal{V}_{1} \times \mathcal{V}_{2}}\) . Jónsson and Tsinakis provided a partial converse to this result: if \({\mathcal{V}}\) is congruence permutable and \({\mathcal{V}_{1}, \mathcal{V}_{2}}\) are disjoint, then they are independent (and so \({\mathcal{V}_{1} \vee \mathcal{V}_{2} = \mathcal{V}_{1} \times \mathcal{V}_{2}}\)). We show that (i) if \({\mathcal{V}}\) is subtractive, then Jónsson’s and Tsinakis’ result holds under some minimal assumptions; (ii) if \({\mathcal{V}}\) satisfies some weakened permutability conditions, then disjointness implies a generalised notion of independence and \({\mathcal{V}_{1} \vee \mathcal{V}_{2}}\) is the subdirect product of \({\mathcal{V}_{1}}\) and \({\mathcal{V}_2}\) ; (iii) the same holds if \({\mathcal{V}}\) is congruence 3-permutable.     

Heat Kernel Empirical Laws on $${\mathbb {U}}_N$$ and $${\mathbb {GL}}_N$$GLN

This paper studies the empirical laws of eigenvalues and singular values for random matrices drawn from the heat kernel measures on the unitary groups \({\mathbb {U}}_N\) and the general linear groups \({\mathbb {GL}}_N\), for \(N\in {\mathbb {N}}\). It establishes the strongest known convergence results for the empirical eigenvalues in the \({\mathbb {U}}_N\) case, and the first known almost sure convergence results for the eigenvalues and singular values in the \({\mathbb {GL}}_N\) case. The limit noncommutative distribution associated with the heat kernel measure on \({\mathbb {GL}}_N\) is identified as the projection of a flow on an infinite-dimensional polynomial space. These results are then strengthened from variance estimates to \(L^p\) estimates for even integers p.