Left and right negatively orderable semigroups and a one-sided version of Simon’s theorem

We study the classes \(\mathrm {LNO}\) and \(\mathrm {RNO}\) of left and right negatively orderable semigroups, arising as natural one-sided generalizations of negatively orderable semigroups (\(\mathrm {NO}\)). Negatively ordered monoids are well-known, for instance, from an equivalent formulation by Straubing and Thérien, of a celebrated theorem by I. Simon on piecewise testable languages. The main aim of this paper is to prove a one-sided version of Simon’s theorem for \(\mathrm {LNO}\) (\(\mathrm {RNO}\)). Analogues of some well-known results about negatively orderable semigroups are established in these cases. A characterisation of right negatively orderable semigroups as semigroups of certain type of decreasing mappings on partially ordered sets is obtained. We present sets of quasi-identities defining the quasivarieties \(\mathrm {LNO}\) and \(\mathrm {RNO}\) and show that these classes cannot be defined by finite sets of quasi-identities. We prove \(\mathrm {NO}=\mathrm {LNO}\cap \mathrm {RNO}\) and describe \(\mathrm {LNO}\vee \mathrm {RNO}\). As a one-sided version of Simon’s theorem, the pseudovariety generated by all finite semigroups in \(\mathrm {LNO}\) (\(\mathrm {RNO}\)) is determined and an Eilenberg-type correspondence between this pseudovariety and a variety of languages is established.     

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.     

Absolute continuity and singularity of Palm measures of the Ginibre point process

We prove a dichotomy between absolute continuity and singularity of the Ginibre point process \(\mathsf {G}\) and its reduced Palm measures \(\{\mathsf {G}_{\mathbf {x}}, \mathbf {x} \in \mathbb {C}^{\ell }, \ell = 0,1,2\ldots \}\), namely, reduced Palm measures \(\mathsf {G}_{\mathbf {x}}\) and \(\mathsf {G}_{\mathbf {y}}\) for \(\mathbf {x} \in \mathbb {C}^{\ell }\) and \(\mathbf {y} \in \mathbb {C}^{n}\) are mutually absolutely continuous if and only if \(\ell = n\); they are singular each other if and only if \(\ell \not = n\). Furthermore, we give an explicit expression of the Radon–Nikodym density \(d\mathsf {G}_{\mathbf {x}}/d \mathsf {G}_{\mathbf {y}}\) for \(\mathbf {x}, \mathbf {y} \in \mathbb {C}^{\ell }\).     

Reducibility of pointlike problems

We show that the pointlike and the idempotent pointlike problems are reducible with respect to natural signatures in the following cases: the pseudovariety of all finite semigroups in which the order of every subgroup is a product of elements of a fixed set \(\pi \) of primes; the pseudovariety of all finite semigroups in which every regular \(\mathcal J\)-class is the product of a rectangular band by a group from a fixed pseudovariety of groups that is reducible for the pointlike problem, respectively graph reducible. Allowing only trivial groups, we obtain \(\omega \)-reducibility of the pointlike and idempotent pointlike problems, respectively for the pseudovarieties of all finite aperiodic semigroups (\(\mathsf{A}\)) and of all finite semigroups in which all regular elements are idempotents (\(\mathsf{DA}\)).     

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.     

Sparse Recovery from Inaccurate Saturated Measurements

This article studies a variation of the standard compressive sensing problem, in which sparse vectors \(\mathbf{x}\in\mathbb{R}^{N}\) are acquired through inaccurate saturated measurements \(\mathbf{y}= \mathcal{S}(\mathbf {A}\mathbf{x}+ \mathbf{e}) \in\mathbb{R}^{m}\), \(m \ll N\). The saturation function \(\mathcal{S}\) acts componentwise by sending entries that are large in absolute value to plus-or-minus a threshold while keeping the other entries unchanged. The present study focuses on the effect of the presaturation error \(\mathbf{e}\in\mathbb{R}^{m}\). The existing theory for accurate saturated measurements, i.e., the case \(\mathbf{e}= \mathbf{0}\), which exhibits two regimes depending on the magnitude of \(\mathbf{x}\in\mathbb {R}^{N}\), is extended here. A recovery procedure based on convex optimization is proposed and shown to be robust to presaturation error in both regimes. Another procedure ignoring the presaturation error is also analyzed and shown to be robust in the small magnitude regime.     

On Lattices Embeddable into Lattices of Order-Convex Sets. II Star-like Posets

We find a syntactic characterization of the class \(\mathrm{\mathbf{SUB}}(\mathcal{S})\cap\mathrm{Fin}\) of finite lattices embeddable into convexity lattices of a certain class of posets which we call star-like posets and which is a proper subclass in the class of N-free posets. The characterization implies that the class \(\mathrm{\mathbf{SUB}}(\mathcal{S})\cap\mathrm{Fin}\) forms a pseudovariety.     

Admissibility in Positive Logics

The paper studies admissibility of multiple-conclusion rules in positive logics. Using modification of a method employed by M. Wajsberg in the proof of the separation theorem, it is shown that the problem of admissibility of multiple-conclusion rules in the positive logics is equivalent to the problem of admissibility in intermediate logics defined by positive additional axioms. Moreover, a multiple-conclusion rule \(\mathsf {r}\) follows from a set of multiple-conclusion rules \(\mathsf {R}\) over a positive logic \(\mathsf {P}\) if and only if \(\mathsf {r}\) follows from \(\mathsf {R}\) over \(\mathbf {Int}+ \mathsf {P}\).     

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.     

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.     

Special elements of the lattice of monoid varieties

We completely classify all neutral and costandard elements in the lattice \(\mathbb {MON}\) of all monoid varieties. Further, we prove that an arbitrary upper-modular element of \(\mathbb {MON}\) except the variety of all monoids is either a completely regular or a commutative variety. Finally, we verify that all commutative varieties of monoids are codistributive elements of \(\mathbb {MON}\). Thus, the problems of describing codistributive or upper-modular elements of \(\mathbb {MON}\) are completely reduced to the completely regular case.     

On square-increasing ordered monoids and idempotent semirings

Let \(\mathcal {V}\) be the variety of square-increasing idempotent semirings. Its members can be viewed as semilattice-ordered monoids satisfying \(x\le x^{2}\). We show that the universal theory of \(\mathcal {V}\) is decidable. In order to prove this result, we investigate the class \(\mathcal {Q}\) whose members are ordered-monoid subreducts of members from \(\mathcal {V}\). In particular, we prove that finitely generated members from \(\mathcal {Q}\) are well-partially-ordered and residually finite.     

Malcev products of unipotent monoids and varieties of bands

Let \(\mathcal{U}\) be the class of all unipotent monoids and \(\mathcal{B}\) the variety of all bands. We characterize the Malcev product \(\mathcal{U} \circ \mathcal{V}\) where \(\mathcal{V}\) is a subvariety of \(\mathcal{B}\) low in its lattice of subvarieties, \(\mathcal{B}\) itself and the subquasivariety \(\mathcal{S} \circ \mathcal{RB}\), where \(\mathcal{S}\) stands for semilattices and \(\mathcal{RB}\) for rectangular bands, in several ways including by a set of axioms. For members of some of them we describe the structure as well. This succeeds by using the relation \(\widetilde{\mathcal{H}}= \widetilde{\mathcal{L}} \cap \widetilde{\mathcal{R}}\), where \(a\;\,\widetilde{\mathcal{L}}\;\,b\) if and only if a and b have the same idempotent right identities, and \(\widetilde{\mathcal{R}}\) is its dual.We also consider \((\mathcal{U} \circ \mathcal{RB}) \circ \mathcal{S}\) which provides the motivation for this study since \((\mathcal{G} \circ \mathcal{RB}) \circ \mathcal{S}\) coincides with completely regular semigroups, where \(\mathcal{G}\) is the variety of all groups. All this amounts to a generalization of the latter: \(\mathcal{U}\) instead of \(\mathcal{G}\).     

Transformation formulae and asymptotic expansions for double holomorphic Eisenstein series of two complex variables

The main object of study in this paper is the double holomorphic Eisenstein series \(\widetilde{\zeta _{\mathbb {Z}^2}}(\mathbf{s};\mathbf{z})\) having two complex variables \(\mathbf{s}=(s_1,s_2)\) and two parameters \(\mathbf{z}= (z_1,z_2)\) which satisfies either \(\mathbf{z}\in (\mathfrak {H}^+)^2\) or \(\mathbf{z}\in (\mathfrak {H}^-)^2\), where \(\mathfrak {H}^{\pm }\) denotes the complex upper and lower half-planes, respectively. For \(\widetilde{\zeta _{\mathbb {Z}^2}}(\mathbf{s};\mathbf{z})\), its transformation properties and asymptotic aspects are studied when the distance \(|z_2-z_1|\) becomes both small and large under certain natural settings on the movement of \(\mathbf{z}\in (\mathfrak {H}^{\pm })^2\). Prior to the proofs our main results, a new parameter \(\eta \), which plays a pivotal role in describing our results, is introduced in connection with the difference \(z_2-z_1\). We then establish complete asymptotic expansions for \(\widetilde{\zeta _{\mathbb {Z}^2}}(\mathbf{s};\mathbf{z})\) when \(\mathbf{z}\) moves within the poly-sector either \((\mathfrak {H}^+)^2\) or \((\mathfrak {H}^-)^2\), so as to \(\eta \rightarrow 0\) through \(|\arg \eta |<\pi /2\) in the ascending order of \(\eta \) (Theorem 1). This further leads us to show that counterpart expansions exist for \(\widetilde{\zeta _{\mathbb {Z}^2}}(\mathbf{s};\mathbf{z})\) in the descending order of \(\eta \) as \(\eta \rightarrow \infty \) through \(|\arg \eta |<\pi /2\) (Theorem 2). Our second main formula in Theorem 2 yields a functional equation for \(\widetilde{\zeta _{\mathbb {Z}^2}}(\mathbf{s};\mathbf{z})\) (Corollaries 2.1, 2.2), and also reduces naturally to various expressions of \(\widetilde{\zeta _{\mathbb {Z}^2}}(\mathbf{s};\mathbf{z})\) in closed forms for integer lattice point \(\mathbf{s}\in \mathbb {Z}^2\) (Corollaries 2.3–2.17). Most of these results reveal that the particular values of \(\widetilde{\zeta _{\mathbb {Z}^2}}(\mathbf{s};\mathbf{z})\) at \(\mathbf{s}\in \mathbb {Z}^2\) are closely linked to Weierstraß’ elliptic function, the classical Eisenstein series reformulated by Ramanujan, and the Jordan–Kronecker type functions, each associated with the bases \(2\pi (1, z_j)\), \(j=1,2\). The latter two functions were extensively utilized by Ramanujan in the course of developing his theories of Eisenstein series, elliptic functions, and theta functions. As for the methods used, crucial roles in the proofs are played by the Mellin–Barnes type integrals, manipulated with several properties of hypergeometric functions; the transference from Theorem 1 to Theorem 2 is, for instance, achieved by a connection formula for Kummer’s confluent hypergeometric functions.     

On the image,characterization, and automatic continuity of $$\varvec{(\sigma }, \varvec{\tau }$$ )-derivations

The first main theorem of this paper asserts that any \((\sigma , \tau )\)-derivation d, under certain conditions, either is a \(\sigma \)-derivation or is a scalar multiple of (\(\sigma - \tau \)), i.e. \(d = \lambda (\sigma - \tau )\) for some \(\lambda \in \mathbb {C} \backslash \{0\}\). By using this characterization, we achieve a result concerning the automatic continuity of \((\sigma , \tau \))-derivations on Banach algebras which reads as follows. Let \(\mathcal {A}\) be a unital, commutative, semi-simple Banach algebra, and let \(\sigma , \tau : \mathcal {A} \rightarrow \mathcal {A}\) be two distinct endomorphisms such that \(\varphi \sigma (\mathbf e )\) and \(\varphi \tau (\mathbf e )\) are non-zero complex numbers for all \(\varphi \in \Phi _\mathcal {A}\). If \(d : \mathcal {A} \rightarrow \mathcal {A}\) is a \((\sigma , \tau )\)-derivation such that \(\varphi d\) is a non-zero linear functional for every \(\varphi \in \Phi _\mathcal {A}\), then d is automatically continuous. As another objective of this research, we prove that if \(\mathfrak {M}\) is a commutative von Neumann algebra and \(\sigma :\mathfrak {M} \rightarrow \mathfrak {M}\) is an endomorphism, then every Jordan \(\sigma \)-derivation \(d:\mathfrak {M} \rightarrow \mathfrak {M}\) is identically zero.     

Infinitary Baker–Pixley theorem

An important theorem of Baker and Pixley states that if \(\mathbf {A}\) is a finite algebra with a \((d+1)\)-ary near-unanimity term and f is an n-ary operation on A such that every subalgebra of \(\mathbf {A}^{d}\) is closed under f, then f is representable by a term in \(\mathbf {A}\). It is well known that the Baker–Pixley theorem does not hold when \(\mathbf {A}\) is infinite. We give an infinitary version of the Baker–Pixley theorem which applies to an arbitrary class of structures with a \((d+1)\)-ary near-unanimity term instead of a single finite algebra.     

On the Relationship Between Two Kinds of Besov Spaces with Smoothness Near Zero and Some Other Applications of Limiting Interpolation

Using limiting interpolation techniques we study the relationship between Besov spaces \(\mathbf B ^{0,-1/q}_{p,q}\) with zero classical smoothness and logarithmic smoothness \(-1/q\) defined by means of differences with similar spaces \(B^{0,b,d}_{p,q}\) defined by means of the Fourier transform. Among other things, we prove that \(\mathbf B ^{0,-1/2}_{2,2}=B^{0,0,1/2}_{2,2}\). We also derive several results on periodic spaces \(\mathbf B ^{0,-1/q}_{p,q}(\mathbb {T})\), including embeddings in generalized Lorentz–Zygmund spaces and the distribution of Fourier coefficients of functions of \(\mathbf B ^{0,-1/q}_{p,q}(\mathbb {T})\).