Epireflective subcategories of TOP,T$$_$$UNIF,UNIF, closed under epimorphic images,or being algebraic

The epireflective subcategories of \(\mathbf{Top}\), that are closed under epimorphic (or bimorphic) images, are \(\{ X \mid |X| \le 1 \} \), \(\{ X \mid X\) is indiscrete\(\} \) and \(\mathbf{Top}\). The epireflective subcategories of \(\mathbf{T_2Unif}\), closed under epimorphic images, are: \(\{ X \mid |X| \le 1 \} \), \(\{ X \mid X\) is compact \(T_2 \} \), \(\{ X \mid \) covering character of X is \( \le \lambda _0 \} \) (where \(\lambda _0\) is an infinite cardinal), and \(\mathbf{T_2Unif}\). The epireflective subcategories of \(\mathbf{Unif}\), closed under epimorphic (or bimorphic) images, are: \(\{ X \mid |X| \le 1 \} \), \(\{ X \mid X\) is indiscrete\(\} \), \(\{ X \mid \) covering character of X is \( \le \lambda _0 \} \) (where \(\lambda _0\) is an infinite cardinal), and \(\mathbf{Unif}\). The epireflective subcategories of \(\mathbf{Top}\), that are algebraic categories, are \(\{ X \mid |X| \le 1 \} \), and \(\{ X \mid X\) is indiscrete\(\} \). The subcategories of \(\mathbf{Unif}\), closed under products and closed subspaces and being varietal, are \(\{ X \mid |X| \le 1 \} \), \(\{ X \mid X\) is indiscrete\(\} \), \(\{ X \mid X\) is compact \(T_2 \} \). The subcategories of \(\mathbf{Unif}\), closed under products and closed subspaces and being algebraic, are \(\{ X \mid X\) is indiscrete\( \} \), and all epireflective subcategories of \(\{ X \mid X\) is compact \(T_2 \} \). Also we give a sharpened form of a theorem of Kannan-Soundararajan about classes of \(T_3\) spaces, closed for products, closed subspaces and surjective images.     

Few associative triples,isotopisms and groups

Let Q be a quasigroup. For \(\alpha ,\beta \in S_Q\) let \(Q_{\alpha ,\beta }\) be the principal isotope \(x*y = \alpha (x)\beta (y)\). Put \(\mathbf a(Q)= |\{(x,y,z)\in Q^3;\) \(x(yz)) = (xy)z\}|\) and assume that \(|Q|=n\). Then \(\sum _{\alpha ,\beta }\mathbf a(Q_{\alpha ,\beta })/(n!)^2 = n^2(1+(n-1)^{-1})\), and for every \(\alpha \in S_Q\) there is \(\sum _\beta \mathbf a(Q_{\alpha ,\beta })/n! = n(n-1)^{-1}\sum _x(f_x^2-2f_x+n)\ge n^2\), where \(f_x=|\{y\in Q;\) \( y = \alpha (y)x\}|\). If G is a group and \(\alpha \) is an orthomorphism, then \(\mathbf a(G_{\alpha ,\beta })=n^2\) for every \(\beta \in S_Q\). A detailed case study of \(\mathbf a(G_{\alpha ,\beta })\) is made for the situation when \(G = \mathbb Z_{2d}\), and both \(\alpha \) and \(\beta \) are “natural” near-orthomorphisms. Asymptotically, \(\mathbf a(G_{\alpha ,\beta })>3n\) if G is an abelian group of order n. Computational results: \(\mathbf a(7) = 17\) and \(\mathbf a(8) \le 21\), where \(\mathbf a(n) = \min \{\mathbf a(Q);\) \( |Q|=n\}\). There are also determined minimum values for \(\mathbf a(G_{\alpha ,\beta })\), G a group of order \(\le 8\).     

Optimal bounds for convergence of expected spectral distributions to the semi-circular law

Let \(\mathbf {X}=(X_{jk})_{j,k=1}^n\) denote a Hermitian random matrix with entries \(X_{jk}\), which are independent for \(1\le j\le k\le n\). We consider the rate of convergence of the empirical spectral distribution function of the matrix \(\mathbf {X}\) to the semi-circular law assuming that \(\mathbf{E}X_{jk}=0\), \(\mathbf{E}X_{jk}^2=1\) and that

$$\begin{aligned} \sup _{n\ge 1}\sup _{1\le j,k\le n}\mathbf{E}|X_{jk}|^4=:\mu _4<\infty , \end{aligned}$$

and

$$\begin{aligned} \sup _{1\le j,k\le n}|X_{jk}|\le D_0n^{\frac{1}{4}}. \end{aligned}$$

By means of a recursion argument it is shown that the Kolmogorov distance between the expected spectral distribution of the Wigner matrix \(\mathbf {W}=\frac{1}{\sqrt{n}}\mathbf {X}\) and the semicircular law is of order \(O(n^{-1})\).

     

Generalized Bernstein Operators on the Classical Polynomial Spaces

We study generalizations of the classical Bernstein operators on the polynomial spaces \(\mathbb {P}_{n}[a,b]\), where instead of fixing \(\mathbf {1}\) and x, we reproduce exactly \(\mathbf {1}\) and a polynomial \(f_1\), strictly increasing on [a, b]. We prove that for sufficiently large n, there always exist generalized Bernstein operators fixing \(\mathbf {1}\) and \(f_1\). These operators are defined by non-decreasing sequences of nodes precisely when \(f_1^\prime > 0\) on (a, b), but even if \(f_1^\prime \) vanishes somewhere inside (a, b), they converge to the identity.     

Existence of positive solution for nonlocal singular fourth order Kirchhoff equation with Hardy potential

This paper is concerned with the existence of positive solution to a class of singular fourth order elliptic equation of Kirchhoff type

$$\begin{aligned} \triangle ^2 u-\lambda M(\Vert \nabla u\Vert ^2)\triangle u-\frac{\mu }{\vert x\vert ^4}u=\frac{h(x)}{u^\gamma }+k(x)u^\alpha , \end{aligned}$$

under Navier boundary conditions, \(u=\triangle u=0\). Here \(\varOmega \subset {\mathbf {R}}^N\), \(N\ge 1\) is a bounded \(C^4\)-domain, \(0\in \varOmega \), h(x) and k(x) are positive continuous functions, \(\gamma \in (0,1)\), \(\alpha \in (0,1)\) and \(M:{\mathbf {R}}^+\rightarrow {\mathbf {R}}^+\) is a continuous function. By using Galerkin method and sharp angle lemma, we will show that this problem has a positive solution for \(\lambda > \frac{\mu }{\mu ^*m_0}\) and \(0<\mu <\mu ^*\). Here \(\mu ^*=\Big (\frac{N(N-4)}{4}\Big )^2\) is the best constant in the Hardy inequality. Besides, if \(\mu =0\), \(\lambda >0\) and h, k are Lipschitz functions, we show that this problem has a positive smooth solution. If \(h,k\in C^{2,\,\theta _0}(\overline{\varOmega })\) for some \(\theta _0\in (0,1)\), then this problem has a positive classical solution.

     

Heinz mean curvature estimates in warped product spaces $$M\times _{e^{\psi }}N$$

If a graph submanifold (x, f(x)) of a Riemannian warped product space \((M^m\times _{e^{\psi }}N^n,\tilde{g}=g+ e^{2\psi }h)\) is immersed with parallel mean curvature H, then we obtain a Heinz-type estimation of the mean curvature. Namely, on each compact domain D of M, \(m\Vert H\Vert \le \frac{A_{\psi }(\partial D)}{V_{\psi }(D)}\) holds, where \(A_{\psi }(\partial D)\) and \(V_{\psi }(D)\) are the \({\psi }\)-weighted area and volume, respectively. In particular, \(H=0\) if (M, g) has zero-weighted Cheeger constant, a concept recently introduced by Impera et al. (Height estimates for killing graphs. arXiv:1612.01257, 2016). This generalizes the known cases \(n=1\) or \(\psi =0\). We also conclude minimality using a closed calibration, assuming \((M,g_*)\) is complete where \(g_*=g+e^{2\psi }f^*h\), and for some constants \(\alpha \ge \delta \ge 0\), \(C_1>0\) and \(\beta \in [0,1)\), \(\Vert \nabla ^*\psi \Vert ^2_{g_*}\le \delta \), \(\mathrm {Ricci}_{\psi ,g_*}\ge \alpha \), and \({\mathrm{det}}_g(g_*)\le C_1 r^{2\beta }\) holds when \(r\rightarrow +\infty \), where r(x) is the distance function on \((M,g_*)\) from some fixed point. Both results rely on expressing the squared norm of the mean curvature as a weighted divergence of a suitable vector field.     

On partial disjunction properties of theories containing Peano arithmetic

Let \(\varGamma \) be a class of formulas. We say that a theory T in classical logic has the \(\varGamma \)-disjunction property if for any \(\varGamma \) sentences \(\varphi \) and \(\psi \), either \(T \vdash \varphi \) or \(T \vdash \psi \) whenever \(T \vdash \varphi \vee \psi \). First, we characterize the \(\varGamma \)-disjunction property in terms of the notion of partial conservativity. Secondly, we prove a model theoretic characterization result for \(\varSigma _n\)-disjunction property. Thirdly, we investigate relationships between partial disjunction properties and several other properties of theories containing Peano arithmetic. Finally, we investigate unprovability of formalized partial disjunction properties.     

Strong extensions for q-summing o perators acting in p-convex Banach function s paces for $$1 \le p \le q$$1≤ p≤ q

Let \(1\le p\le q<\infty \) and let X be a p-convex Banach function space over a \(\sigma \)-finite measure \(\mu \). We combine the structure of the spaces \(L^p(\mu )\) and \(L^q(\xi )\) for constructing the new space \(S_{X_p}^{\,q}(\xi )\), where \(\xi \) is a probability Radon measure on a certain compact set associated to X. We show some of its properties, and the relevant fact that every q-summing operator T defined on X can be continuously (strongly) extended to \(S_{X_p}^{\,q}(\xi )\). Our arguments lead to a mixture of the Pietsch and Maurey-Rosenthal factorization theorems, which provided the known (strong) factorizations for q-summing operators through \(L^q\)-spaces when \(1 \le q \le p\). Thus, our result completes the picture, showing what happens in the complementary case \(1\le p\le q\).     

Lower order eigenvalues of a system of equations of the drifting Laplacian on the metric measure spaces

Let \(\Omega \) be a bounded domain with smooth boundary in an n-dimensional metric measure space \((\mathbb {R}^n, \langle ,\rangle , e^{-\phi }dv)\) and let \(\mathbf {u}=(u^1, \ldots , u^n)\) be a vector-valued function from \(\Omega \) to \(\mathbb {R}^n\). In this paper, we investigate the Dirichlet eigenvalue problem of a system of equations of the drifting Laplacian: \(\mathbb {L}_{\phi } \mathbf {u} + \alpha [ \nabla (\mathrm {div}\mathbf { u}) -\nabla \phi \mathrm {div} \mathbf {u}]= - \widetilde{\sigma } \mathbf {u}\), in \( \Omega \), and \(u|_{\partial \Omega }=0,\) where \(\mathbb {L}_{\phi } = \Delta - \nabla \phi \cdot \nabla \) is the drifting Laplacian and \(\alpha \) is a nonnegative constant. We establish some universal inequalities for lower order eigenvalues of this problem on the metric measure space \((\mathbb {R}^n, \langle ,\rangle , e^{-\phi }dv)\) and the Gaussian shrinking soliton \((\mathbb {R}^n, \langle ,\rangle _{\mathrm {can}}, e^{-\frac{|x|^2}{4}}dv, \frac{1}{2})\). Moreover, we give an estimate for the upper bound of the second eigenvalue of this problem in terms of its first eigenvalue on the gradient product Ricci soliton \((\Sigma \times \mathbb {R}, \langle ,\rangle , e^{-\frac{\kappa t^2}{2}}dv, \kappa )\), where \( \Sigma \) is an Einstein manifold with constant Ricci curvature \(\kappa \).     

On the peripheral spectrum of positive elements

Let A be an ordered Banach algebra with a unit \(\mathbf{e}\) and a cone \(A^+\). An element p of A is said to be an order idempotent if \(p^2 = p\) and \(0 \le p\le \mathbf{e}\). An element \(a\in A^+\) is said to be irreducible if the relation \((\mathbf{e}-p)ap = 0\), where p is an order idempotent, implies \(p = 0\) or \(p = \mathbf{e}\). For an arbitrary element a of A the peripheral spectrum \(\sigma _\mathrm{per}(a)\) of a is the set \(\sigma _\mathrm{per}(a) = \{\lambda \in \sigma (a):|\lambda | = r(a)\}\), where \(\sigma (a)\) is the spectrum of a and r(a) is the spectral radius of a. We investigate properties of the peripheral spectrum of an irreducible element a. Conditions under which \(\sigma _\mathrm{per}(a)\) contains or coincides with \(r(a)H_m\), where \(H_m\) is the group of all \(m^\mathrm{th}\) roots of unity, and the spectrum \(\sigma (a)\) is invariant under rotation by the angle \(\frac{2\pi }{m}\) for some \(m\in {\mathbb N}\), are given. The correlation between these results and the existence of a cyclic form of a is considered. The conditions under which a is primitive, i.e., \(\sigma _\mathrm{per}(a) = \{r(a)\}\), are studied. The necessary assumptions on the algebra A which imply the validity of these results, are discussed. In particular, the Lotz–Schaefer axiom is introduced and finite-rank elements of A are defined. Other approaches to the notions of irreducibility and primitivity are discussed. Conditions under which the inequalities \(0 \le b < a\) imply \(r(b) < r(a)\) are studied. The closedness of the center \(A_\mathbf{e}\), i.e., of the order ideal generated by \(\mathbf{e}\) in A, is proved.     

Associate space with respect to a locally $$\sigma $$-finite measure on a $$\delta $$δ-ring and applications to spaces of integrable functions defined by a vector measure

We show that for a locally \(\sigma \)-finite measure \(\mu \) defined on a \(\delta \)-ring, the associate space theory can be developed as in the \(\sigma \)-finite case, and corresponding properties are obtained. Given a saturated \(\sigma \)-order continuous \(\mu \)-Banach function space E, we prove that its dual space can be identified with the associate space \(E ^\times \) if, and only if, \(E^\times \) has the Fatou property. Applying the theory to the spaces \(L^p (\nu )\) and \(L_w^p (\nu )\), where \(\nu \) is a vector measure defined on a \(\delta \)-ring \(\mathcal {R}\) and \(1 \le p < \infty \), we establish results corresponding to those of the case when the vector measure is defined on a \(\sigma \)-algebra.     

Sequences of Weighted Composition Operators on the Hardy–Hilbert Space

Let \(\varphi \) be an analytic self map of the open unit disc \(\mathbb {D}\). Assume that \(\psi \) is an analytic map of \(\mathbb {D}\). Suppose that f is in the Hardy–Hilbert space of the open unit disc \(H^2\). The operator that takes f into \(\psi \cdot f \circ \varphi \) is a weighted composition operator, and is denoted by \(C_{\psi ,\varphi }\). In this paper we relate the convergence of the sequence \(\{ C_{\psi _n,\varphi _n}\}\) in different operator topologies to the convergence of the two sequences of maps \(\{\varphi _n \}\) and \(\{ \psi _n\}\).     

Partial regularity and smooth topology-preserving approximations of rough domains

For a bounded domain \(\Omega \subset {\mathbb R}^m, m\ge 2,\) of class \(C^0\), the properties are studied of fields of ‘good directions’, that is the directions with respect to which \(\partial \Omega \) can be locally represented as the graph of a continuous function. For any such domain there is a canonical smooth field of good directions defined in a suitable neighbourhood of \(\partial \Omega \), in terms of which a corresponding flow can be defined. Using this flow it is shown that \(\Omega \) can be approximated from the inside and the outside by diffeomorphic domains of class \(C^\infty \). Whether or not the image of a general continuous field of good directions (pseudonormals) defined on \(\partial \Omega \) is the whole of \(S^{m-1}\) is shown to depend on the topology of \(\Omega \). These considerations are used to prove that if \(m=2,3\), or if \(\Omega \) has nonzero Euler characteristic, there is a point \(P\in \partial \Omega \) in the neighbourhood of which \(\partial \Omega \) is Lipschitz. The results provide new information even for more regular domains, with Lipschitz or smooth boundaries.     

Fourier Spectrum Characterizations of $$H^{p}$$ Spaces on Tubes Over Cones for $$1\le p \le \infty $$1≤p≤∞

We give Fourier spectrum characterizations of functions in the Hardy \(H^p\) spaces on tubes for \(1\le p \le \infty .\) For \(F\in L^p(\mathbb {R}^n), \) we show that F is the non-tangential boundary limit of a function in a Hardy space, \(H^{p}(T_\Gamma ),\) where \(\Gamma \) is an open cone of \(\mathbb {R}^n\) and \(T_\Gamma \) is the related tube in \(\mathbb {C}^n,\) if and only if the classical or the distributional Fourier transform of F is supported in \(\Gamma ^*,\) where \(\Gamma ^*\) is the dual cone of \(\Gamma .\) This generalizes the results of Stein and Weiss for \(p=2\) in the same context, as well as those of Qian et al. in one complex variable for \(1\le p\le \infty .\) Furthermore, we extend the Poisson and Cauchy integral representation formulas to the \(H^p\) spaces on tubes for \(p\in [1, \infty ]\) and \(p\in [1,\infty ),\) with, respectively, the two types of representations.     

Unconventional height functions in simultaneous Diophantine approximation

Simultaneous Diophantine approximation is concerned with the approximation of a point \(\mathbf x\in \mathbb R^d\) by points \(\mathbf r\in \mathbb Q^d\), with a view towards jointly minimizing the quantities \(\Vert \mathbf x - \mathbf r\Vert \) and \(H(\mathbf r)\). Here \(H(\mathbf r)\) is the so-called “standard height” of the rational point \(\mathbf r\). In this paper the authors ask: What changes if we replace the standard height function by a different one? As it turns out, this change leads to dramatic differences from the classical theory and requires the development of new methods. We discuss three examples of nonstandard height functions, computing their exponents of irrationality as well as giving more precise results. A list of open questions is also given.     

ANCOVA: a heteroscedastic global test when there is curvature and two covariates

For two independent groups, let \(M_j(\mathbf {X})\) be some conditional measure of location for the jth group associated with some random variable Y given \(\mathbf {X}=(X_1, X_2)\). Let \(\Omega =\{\mathbf {X}_1, \ldots , \mathbf {X}_K\}\) be a set of K points to be determined. An extant technique can be used to test \(H_0\): \(M_1(\mathbf {X})=M_2(\mathbf {X})\) for each \(\mathbf {X} \in \Omega \) without making any parametric assumption about \(M_j(\mathbf {X})\). But there are two general reasons to suspect that the method can have relatively low power. The paper reports simulation results on an alternative approach that is designed to test the global hypothesis \(H_0\): \(M_1(\mathbf {X})=M_2(\mathbf {X})\) for all \(\mathbf {X} \in \Omega \). The main result is that the new method offers a distinct power advantage. Using data from the Well Elderly 2 study, it is illustrated that the alternative method can make a practical difference in terms of detecting a difference between two groups.     

Percolation of random nodal lines

We prove a Russo-Seymour-Welsh percolation theorem for nodal domains and nodal lines associated to a natural infinite dimensional space of real analytic functions on the real plane. More precisely, let \(U\) be a smooth connected bounded open set in \(\mathbf{R}^{2}\) and \(\gamma, \gamma '\) two disjoint arcs of positive length in the boundary of \(U\). We prove that there exists a positive constant \(c\), such that for any positive scale \(s\), with probability at least \(c\) there exists a connected component of the set \(\{x\in \smash{\bar{U}},\ f(sx) > 0\} \) intersecting both \(\gamma \) and \(\gamma '\), where \(f\) is a random analytic function in the Wiener space associated to the real Bargmann-Fock space. For \(s\) large enough, the same conclusion holds for the zero set \(\{x\in \smash{\bar{U}},\ f(sx) = 0\} \). As an important intermediate result, we prove that sign percolation for a general stationary Gaussian field can be made equivalent to a correlated percolation model on a lattice.     

Sharp MSE Bounds for Proximal Denoising

Denoising has to do with estimating a signal \(\mathbf {x}_0\) from its noisy observations \(\mathbf {y}=\mathbf {x}_0+\mathbf {z}\). In this paper, we focus on the “structured denoising problem,” where the signal \(\mathbf {x}_0\) possesses a certain structure and \(\mathbf {z}\) has independent normally distributed entries with mean zero and variance \(\sigma ^2\). We employ a structure-inducing convex function \(f(\cdot )\) and solve \(\min _\mathbf {x}\{\frac{1}{2}\Vert \mathbf {y}-\mathbf {x}\Vert _2^2+\sigma {\lambda }f(\mathbf {x})\}\) to estimate \(\mathbf {x}_0\), for some \(\lambda >0\). Common choices for \(f(\cdot )\) include the \(\ell _1\) norm for sparse vectors, the \(\ell _1-\ell _2\) norm for block-sparse signals and the nuclear norm for low-rank matrices. The metric we use to evaluate the performance of an estimate \(\mathbf {x}^*\) is the normalized mean-squared error \(\text {NMSE}(\sigma )=\frac{{\mathbb {E}}\Vert \mathbf {x}^*-\mathbf {x}_0\Vert _2^2}{\sigma ^2}\). We show that NMSE is maximized as \(\sigma \rightarrow 0\) and we find the exact worst-case NMSE, which has a simple geometric interpretation: the mean-squared distance of a standard normal vector to the \({\lambda }\)-scaled subdifferential \({\lambda }\partial f(\mathbf {x}_0)\). When \({\lambda }\) is optimally tuned to minimize the worst-case NMSE, our results can be related to the constrained denoising problem \(\min _{f(\mathbf {x})\le f(\mathbf {x}_0)}\{\Vert \mathbf {y}-\mathbf {x}\Vert _2\}\). The paper also connects these results to the generalized LASSO problem, in which one solves \(\min _{f(\mathbf {x})\le f(\mathbf {x}_0)}\{\Vert \mathbf {y}-{\mathbf {A}}\mathbf {x}\Vert _2\}\) to estimate \(\mathbf {x}_0\) from noisy linear observations \(\mathbf {y}={\mathbf {A}}\mathbf {x}_0+\mathbf {z}\). We show that certain properties of the LASSO problem are closely related to the denoising problem. In particular, we characterize the normalized LASSO cost and show that it exhibits a “phase transition” as a function of number of observations. We also provide an order-optimal bound for the LASSO error in terms of the mean-squared distance. Our results are significant in two ways. First, we find a simple formula for the performance of a general convex estimator. Secondly, we establish a connection between the denoising and linear inverse problems.     

Two Novel Characterizations of Self-Decomposability on the Half-Line

Two novel characterizations of self-decomposable Bernstein functions are provided. The first one is purely analytic, stating that a function \(\varPsi \) is the Bernstein function of a self-decomposable probability law \(\pi \) on the positive half-axis if and only if alternating sums of \(\varPsi \) satisfy certain monotonicity conditions. The second characterization is of probabilistic nature, showing that \(\varPsi \) is a self-decomposable Bernstein function if and only if a related d-variate function \(C_{\psi ,d}\), \(\psi :=\exp (-\varPsi )\), is a d-variate copula for each \(d \ge 2\). A canonical stochastic construction is presented, in which \(\pi \) (respectively \(\varPsi \)) determines the probability law of an exchangeable sequence of random variables \(\{U_k\}_{k\in {\mathbb {N}}}\) such that \((U_1,\ldots ,U_d) \sim C_{\psi ,d}\) for each \(d \ge 2\). The random variables \(\{U_k\}_{k\in {\mathbb {N}}},\) are i.i.d. conditioned on an increasing Sato process whose law is characterized by \(\varPsi \). The probability law of \(\{U_k\}_{k \in {\mathbb {N}}}\) is studied in quite some detail.