Properties of singular integral operators $$\varvec{S}_{\varvec{\alpha ,\beta }}$$

For \(\alpha , \beta \in L^{\infty } (S^1),\) the singular integral operator \(S_{\alpha ,\beta }\) on \(L^2 (S^1)\) is defined by \(S_{\alpha ,\beta }f:= \alpha Pf+\beta Qf\), where P denotes the orthogonal projection of \(L^2(S^1)\) onto the Hardy space \(H^2(S^1),\) and Q denotes the orthogonal projection onto \(H^2(S^1)^{\perp }\). In a recent paper, Nakazi and Yamamoto have studied the normality and self-adjointness of \(S_{\alpha ,\beta }\). This work has shown that \(S_{\alpha ,\beta }\) may have analogous properties to that of the Toeplitz operator. In this paper, we study several other properties of \(S_{\alpha ,\beta }\).     

On height isotopy classes of embeddings in the plane of a Morse function of a circle

Let \(\mathrm{SM}_{2n}(S^1,\mathbb {R})\) be a set of stable Morse functions of an oriented circle such that the number of singular points is \(2n\in \mathbb {N}\) and the order of singular values satisfies the particular condition. For an orthogonal projection \(\pi :\mathbb {R}^2\rightarrow \mathbb {R}\), let \({\tilde{f}}_0\) and \({\tilde{f}}_1:S^1\rightarrow \mathbb {R}^2\) be embedding lifts of f. If there is an ambient isotopy \(\tilde{\varphi }_t:\mathbb {R}^2\rightarrow \mathbb {R}^2\) \((t\in [0,1])\) such that \({\pi \circ \tilde{\varphi }}_t(y_1,y_2)=y_1\) and \(\tilde{\varphi }_1\circ {\tilde{f}}_0={\tilde{f}}_1\), we say that \({\tilde{f}}_0\) and \({\tilde{f}}_1\) are height isotopic. We define a function \(I:\mathrm{SM}_{2n}(S^1,\mathbb {R})\rightarrow \mathbb {N}\) as follows: I(f) is the number of height isotopy classes of embeddings such that each rotation number is one. In this paper, we determine the maximal value of the function I equals the n-th Baxter number and the minimal value equals \(2^{n-1}\).     

Reconstruction Algorithms for a Class of Restricted Ray Transforms Without Added Singularities

Let X and \(X^*\) denote a restricted ray transform along curves and a corresponding backprojection operator, respectively. Theoretical analysis of reconstruction from the data Xf is usually based on a study of the composition \(X^* D X\), where D is some local operator (usually a derivative). If \(X^*\) is chosen appropriately, then \(X^* D X\) is a Fourier integral operator (FIO) with singular symbol. The singularity of the symbol leads to the appearance of artifacts (added singularities) that can be as strong as the original (or, useful) singularities. By choosing D in a special way one can reduce the strength of added singularities, but it is impossible to get rid of them completely. In the paper we follow a similar approach, but make two changes. First, we replace D with a nonlocal operator \(\tilde{D}\) that integrates Xf along a curve in the data space. The result \(\tilde{D} Xf\) resembles the generalized Radon transform R of f. The function \(\tilde{D} Xf\) is defined on pairs \((x_0,\Theta )\in U\times S^2\), where \(U\subset {\mathbb R}^3\) is an open set containing the support of f, and \(S^2\) is the unit sphere in \({\mathbb R}^3\). Second, we replace \(X^*\) with a backprojection operator \(R^*\) that integrates with respect to \(\Theta \) over \(S^2\). It turns out that if \(\tilde{D}\) and \(R^*\) are appropriately selected, then the composition \(R^* \tilde{D} X\) is an elliptic pseudodifferential operator of order zero with principal symbol 1. Thus, we obtain an approximate reconstruction formula that recovers all the singularities correctly and does not produce artifacts. The advantage of our approach is that by inserting \(\tilde{D}\) we get access to the frequency variable \(\Theta \). In particular, we can incorporate suitable cut-offs in \(R^*\) to eliminate bad directions \(\Theta \), which lead to added singularities.     

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.     

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.     

Sandwich semigroups in locally small categories I: foundations

Fix (not necessarily distinct) objects i and j of a locally small category S, and write \(S_{ij}\) for the set of all morphisms \(i\rightarrow j\). Fix a morphism \(a\in S_{ji}\), and define an operation \(\star _a\) on \(S_{ij}\) by \(x\star _ay=xay\) for all \(x,y\in S_{ij}\). Then \((S_{ij},\star _a)\) is a semigroup, known as a sandwich semigroup, and denoted by \(S_{ij}^a\). This article develops a general theory of sandwich semigroups in locally small categories. We begin with structural issues such as regularity, Green’s relations and stability, focusing on the relationships between these properties on \(S_{ij}^a\) and the whole category S. We then identify a natural condition on a, called sandwich regularity, under which the set \({\text {Reg}}(S_{ij}^a)\) of all regular elements of \(S_{ij}^a\) is a subsemigroup of \(S_{ij}^a\). Under this condition, we carefully analyse the structure of the semigroup \({\text {Reg}}(S_{ij}^a)\), relating it via pullback products to certain regular subsemigroups of \(S_{ii}\) and \(S_{jj}\), and to a certain regular sandwich monoid defined on a subset of \(S_{ji}\); among other things, this allows us to also describe the idempotent-generated subsemigroup \(\mathbb E(S_{ij}^a)\) of \(S_{ij}^a\). We also study combinatorial invariants such as the rank (minimal size of a generating set) of the semigroups \(S_{ij}^a\), \({\text {Reg}}(S_{ij}^a)\) and \(\mathbb E(S_{ij}^a)\); we give lower bounds for these ranks, and in the case of \({\text {Reg}}(S_{ij}^a)\) and \(\mathbb E(S_{ij}^a)\) show that the bounds are sharp under a certain condition we call MI-domination. Applications to concrete categories of transformations and partial transformations are given in Part II.     

On the gaps between non-zero Fourier coefficients of cusp forms of higher weight

We show that if a modular cuspidal eigenform f of weight 2k is 2-adically close to an elliptic curve \(E/\mathbb {Q}\), which has a cyclic rational 4-isogeny, then n-th Fourier coefficient of f is non-zero in the short interval \((X, X + cX^{\frac{1}{4}})\) for all \(X \gg 0\) and for some \(c > 0\). We use this fact to produce non-CM cuspidal eigenforms f of level \(N>1\) and weight \(k > 2\) such that \(i_f(n) \ll n^{\frac{1}{4}}\) for all \(n \gg 0\).     

Triviality of Iwasawa module associated to some abelian fields of prime conductors

Let p be an odd prime number and \(\ell \) an odd prime number dividing \(p-1\). We denote by \(F=F_{p,\ell }\) the real abelian field of conductor p and degree \(\ell \), and by \(h_F\) the class number of F. For a prime number \(r \ne p,\,\ell \), let \(F_{\infty }\) be the cyclotomic \(\mathbb {Z}_r\)-extension over F, and \(M_{\infty }/F_{\infty }\) the maximal pro-r abelian extension unramified outside r. We prove that \(M_{\infty }\) coincides with \(F_{\infty }\) and consequently \(h_F\) is not divisible by r when r is a primitive root modulo \(\ell \) and r is smaller than an explicit constant depending on p.     

Homotopy type of neighborhood complexes of Kneser graphs, $$\varvec{KG_{2,k}}$$

Schrijver (Nieuw Archief voor Wiskunde, 26(3) (1978) 454–461) identified a family of vertex critical subgraphs of the Kneser graphs called the stable Kneser graphs \(SG_{n,k}\). Björner and de Longueville (Combinatorica 23(1) (2003) 23–34) proved that the neighborhood complex of the stable Kneser graph \(SG_{n,k}\) is homotopy equivalent to a k-sphere. In this article, we prove that the homotopy type of the neighborhood complex of the Kneser graph \(KG_{2,k}\) is a wedge of \((k+4)(k+1)+1\) spheres of dimension k. We construct a maximal subgraph \(S_{2,k}\) of \(KG_{2,k}\), whose neighborhood complex is homotopy equivalent to the neighborhood complex of \(SG_{2,k}\). Further, we prove that the neighborhood complex of \(S_{2,k}\) deformation retracts onto the neighborhood complex of \(SG_{2,k}\).     

Packing Chromatic Number of Base-3 Sierpiński Graphs

The packing chromatic number \(\chi _{\rho }(G)\) of a graph G is the smallest integer k such that there exists a k-vertex coloring of G in which any two vertices receiving color i are at distance at least \(i+1\). Let \(S^n\) be the base-3 Sierpiński graph of dimension n. It is proved that \(\chi _{\rho }(S^1) = 3\), \(\chi _{\rho }(S^2) = 5\), \(\chi _{\rho }(S^3) = \chi _{\rho }(S^4) = 7\), and that \(8\le \chi _\rho (S^n) \le 9\) holds for any \(n\ge 5\).     

A generalization of the Dedekind–MacNeille completion

In this paper we introduce the notion of \(Z_{\delta }\)-continuity as a generalization of precontinuity, complete continuity and \(s_{2}\)-continuity, where Z is a subset selection. And for each poset P, a closure space \(Z^{c}_{\delta }(P)\) arises naturally. For any subset system Z, we define a new type of completion, called \(Z_{\delta }\)-completion, extending each poset P to a Z-complete poset. The main results are: (1) if a subset system Z is subset-hereditary, then \(cl_{Z}(\Psi (P))\), the Z-closure of all principal ideals \(\Psi (P)\) of poset P in \(Z^{c}_{\delta }(P)\), is a \(Z_{\delta }\)-completion of P and \(Z^{c}_{\delta }(P) \cong Z^{c}_{\delta }(cl_{Z}(\Psi (P)))\); (2) let Z be an HUL-system and P a \(Z_{\delta }\)-continuous poset, then the \(Z_{\delta }\)-completion of P is also \(Z_{\delta }\)-continuous, and a Z-complete poset L is a \(Z_{\delta }\)-completion of P iff P is an embedded \(Z_{\delta }\)-basis of L; (3) the Dedekind–MacNeille completion is a special case of the \(Z_{\delta }\)-completion.     

The Frobenius problem for the shuffle operation

Given a set S of words, let \(S^\dagger \) denote the iterated shuffle of S. We characterize the finite sets S for which \(S^\dagger \) is co-finite, and we give some bounds on the length of a longest word not in \(S^\dagger \).     

The Fischer–Marsden conjecture and contact geometry

In this paper, we consider the Fischer–Marsden conjecture within the frame-work of K-contact manifolds and \((\kappa ,\mu )\)-contact manifolds. First, we prove that a complete K-contact metric satisfying \(\mathcal {L}^{*}_g(\lambda )=0\) is Einstein and is isometric to a unit sphere \(S^{2n+1}\). Next, we prove that if a non-Sasakian \((\kappa ,\mu )\)-contact metric satisfies \(\mathcal {L}^{*}_g(\lambda )=0\), then \( M^{3} \) is flat, and for \(n > 1\), \(M^{2n+1}\) is locally isometric to the product of a Euclidean space \(E^{n+1}\) and a sphere \(S^n(4)\) of constant curvature \(+\,4\).     

Generating Hyperbolic Singularities in Semitoric Systems Via Hopf Bifurcations

Let \((M,\Omega )\) be a connected symplectic 4-manifold and let \(F=(J,H) :M\rightarrow \mathbb {R}^2\) be a completely integrable system on M with only non-degenerate singularities. Assume that F does not have singularities with hyperbolic blocks and that \(p_1,\ldots ,p_n\) are the focus–focus singularities of F. For each subset \(S=\{i_1,\ldots ,i_j\}\), we will show how to modify F locally around any \(p_i, i \in S\), in order to create a new integrable system \(\widetilde{F}=(J, \widetilde{H}) :M \rightarrow \mathbb {R}^2\) such that its classical spectrum \(\widetilde{F}(M)\) contains j smooth curves of singular values corresponding to non-degenerate transversally hyperbolic singularities of \(\widetilde{F}\). Moreover the focus–focus singularities of \(\widetilde{F}\) are precisely \(p_i\), \(i \in \{1,\ldots ,n\} \setminus S\). The proof is based on Eliasson’s linearization theorem for non-degenerate singularities, and properties of the Hamiltonian Hopf bifurcation.     

Tightness and Convergence of Trimmed Lévy Processes to Normality at Small Times

For nonnegative integers r, s, let \(^{(r,s)}X_t\) be the Lévy process \(X_t\) with the r largest positive jumps and the s smallest negative jumps up till time t deleted, and let \(^{(r)}\widetilde{X}_t\) be \(X_t\) with the r largest jumps in modulus up till time t deleted. Let \(a_t \in \mathbb {R}\) and \(b_t>0\) be non-stochastic functions in t. We show that the tightness of \(({}^{(r,s)}X_t - a_t)/b_t\) or \(({}^{(r)}{\widetilde{X}}_t - a_t)/b_t\) as \(t\downarrow 0\) implies the tightness of all normed ordered jumps, and hence the tightness of the untrimmed process \((X_t -a_t)/b_t\) at 0. We use this to deduce that the trimmed process \(({}^{(r,s)}X_t - a_t)/b_t\) or \(({}^{(r)}{\widetilde{X}}_t - a_t)/b_t\) converges to N(0, 1) or to a degenerate distribution as \(t\downarrow 0\) if and only if \((X_t-a_t)/b_t \) converges to N(0, 1) or to the same degenerate distribution, as \(t \downarrow 0\).     

Bergman interpolation on finite Riemann surfaces. Part II: Poincaré-Hyperbolic Case

Let M be a 3-manifold with torus boundary components \(T_{1}\) and \(T_2\). Let \(\phi :T_{1} \rightarrow T_{2}\) be a homeomorphism, \(M_\phi \) the manifold obtained from M by gluing \(T_{1}\) to \(T_{2}\) via the map \(\phi \), and T the image of \(T_{1}\) in \(M_\phi \). We show that if \(\phi \) is “sufficiently complicated” then any incompressible or strongly irreducible surface in \(M_\phi \) can be isotoped to be disjoint from T. It follows that every Heegaard splitting of a 3-manifold admitting a “sufficiently complicated” JSJ decomposition is an amalgamation of Heegaard splittings of the components of the JSJ decomposition.     

A generalization of sumset and its applications

Let A be a nonempty finite subset of an additive abelian group G and let r and h be positive integers. The generalized h-fold sumset of A, denoted by \(h^{(r)}A\), is the set of all sums of h elements of A, where each element appears in a sum at most r times. The direct problem for \(h^{(r)}A\) is to find a lower bound for \(|h^{(r)}A|\) in terms of |A|. The inverse problem for \(h^{(r)}A\) is to determine the structure of the finite set A for which \(|h^{(r)}A|\) is minimal with respect to some fixed value of |A|. If \(G = \mathbb {Z}\), the direct and inverse problems are well studied. In case of \(G = \mathbb {Z}/p\mathbb {Z}\), p a prime, the direct problem has been studied very recently by Monopoli (J. Number Theory, 157 (2015) 271–279). In this paper, we express the generalized sumset \(h^{(r)}A\) in terms of the regular and restricted sumsets. As an application of this result, we give a new proof of the theorem of Monopoli and as the second application, we present new proofs of direct and inverse theorems for the case \(G = \mathbb {Z}\).     

The Sobolev Stability Threshold for 2D Shear Flows Near Couette

We consider the 2D Navier–Stokes equation on \(\mathbb T \times \mathbb R\), with initial datum that is \(\varepsilon \)-close in \(H^N\) to a shear flow (U(y), 0), where \(\Vert U(y) - y\Vert _{H^{N+4}} \ll 1\) and \(N>1\). We prove that if \(\varepsilon \ll \nu ^{1/2}\), where \(\nu \) denotes the inverse Reynolds number, then the solution of the Navier–Stokes equation remains \(\varepsilon \)-close in \(H^1\) to \((e^{t \nu \partial _{yy}}U(y),0)\) for all \(t>0\). Moreover, the solution converges to a decaying shear flow for times \(t \gg \nu ^{-1/3}\) by a mixing-enhanced dissipation effect, and experiences a transient growth of gradients. In particular, this shows that the stability threshold in finite regularity scales no worse than \(\nu ^{1/2}\) for 2D shear flows close to the Couette flow.     

Affine ADE bundles over surfaces with $$ p _{g}=0$$

Given any Kodaira curve C in a complex surface X, we construct a simply-laced affine Lie algebra bundle \(\mathcal {E}\) over X. When \( p _{g}(X)=0\), we construct deformations of holomorphic structures on \(\mathcal {E}\) such that the new bundle is trivial over any ADE curve \( C^{\prime }\) inside C and therefore descends to the singular surface obtained by contracting \(C^{\prime }\).