Closure properties of parametric subcompleteness

For an ordinal \(\varepsilon \), I introduce a variant of the notion of subcompleteness of a forcing poset, which I call \(\varepsilon \)-subcompleteness, and show that this class of forcings enjoys some closure properties that the original class of subcomplete forcings does not seem to have: factors of \(\varepsilon \)-subcomplete forcings are \(\varepsilon \)-subcomplete, and if \(\mathbb {P}\) and \(\mathbb {Q}\) are forcing-equivalent notions, then \(\mathbb {P}\) is \(\varepsilon \)-subcomplete iff \(\mathbb {Q}\) is. I formulate a Two Step Theorem for \(\varepsilon \)-subcompleteness and prove an RCS iteration theorem for \(\varepsilon \)-subcompleteness which is slightly less restrictive than the original one, in that its formulation is more careful about the amount of collapsing necessary. Finally, I show that an adequate degree of \(\varepsilon \)-subcompleteness follows from the \(\kappa \)-distributivity of a forcing, for \(\kappa >\omega _1\).     

rthogonality Property $$\mathcal {}$$ and Compact Perturbations

A bounded linear operator T acting on a Hilbert space is said to have orthogonality property \(\mathcal {O}\) if the subspaces \(\ker (T-\alpha )\) and \(\ker (T-\beta )\) are orthogonal for all \(\alpha , \beta \in \sigma _p(T)\) with \(\alpha \ne \beta \). In this paper, the authors investigate the compact perturbations of operators with orthogonality property \(\mathcal {O}\). We give a sufficient and necessary condition to determine when an operator T has the following property: for each \(\varepsilon >0\), there exists \(K\in \mathcal {K(H)}\) with \(\Vert K\Vert <\varepsilon \) such that \(T+K\) has orthogonality property \(\mathcal {O}\). Also, we study the stability of orthogonality property \(\mathcal {O}\) under small compact perturbations and analytic functional calculus.     

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.     

Asymptotic diophantine approximation: the multiplicative case

Let \(\alpha \) and \(\beta \) be irrational real numbers and \(0<\varepsilon <1/30\). We prove a precise estimate for the number of positive integers \(q\le Q\) that satisfy \(\Vert q\alpha \Vert \cdot \Vert q\beta \Vert <\varepsilon \). If we choose \(\varepsilon \) as a function of Q, we get asymptotics as Q gets large, provided \(\varepsilon Q\) grows quickly enough in terms of the (multiplicative) Diophantine type of \((\alpha ,\beta )\), e.g., if \((\alpha ,\beta )\) is a counterexample to Littlewood’s conjecture, then we only need that \(\varepsilon Q\) tends to infinity. Our result yields a new upper bound on sums of reciprocals of products of fractional parts and sheds some light on a recent question of Lê and Vaaler.     

Almost band preservers

We study the stability of band preserving operators on Banach lattices. To this end the notion of \(\varepsilon \)-band preserving mapping is introduced. It is shown that, under quite general assumptions, a \(\varepsilon \)-band preserving operator is in fact a small perturbation of a band preserving one. However, a counterexample can be produced in some circumstances. Some results on automatic continuity of \(\varepsilon \)-band preserving maps are also obtained.     

Iterative reweighted methods for $$\ell _1-\ell _p$$ minimization

In this paper, we focus on the \(\ell _1-\ell _p\) minimization problem with \(0<p<1\), which is challenging due to the \(\ell _p\) norm being non-Lipschizian. In theory, we derive computable lower bounds for nonzero entries of the generalized first-order stationary points of \(\ell _1-\ell _p\) minimization, and hence of its local minimizers. In algorithms, based on three locally Lipschitz continuous \(\epsilon \)-approximation to \(\ell _p\) norm, we design several iterative reweighted \(\ell _1\) and \(\ell _2\) methods to solve those approximation problems. Furthermore, we show that any accumulation point of the sequence generated by these methods is a generalized first-order stationary point of \(\ell _1-\ell _p\) minimization. This result, in particular, applies to the iterative reweighted \(\ell _1\) methods based on the new Lipschitz continuous \(\epsilon \)-approximation introduced by Lu (Math Program 147(1–2):277–307, 2014), provided that the approximation parameter \(\epsilon \) is below a threshold value. Numerical results are also reported to demonstrate the efficiency of the proposed methods.     

Paley–Wiener Theorems of Generalized Fourier Transform Associated with a Cherednik Type Operator on the Real Line

We consider a singular differential-difference operator \(\Lambda \) on the real line which generalizes the Cherednik operator associated with the reflection group \(\mathbb {Z}_2\) on \(\mathbb {R}\). We establish the Paley–Wiener theorems for the generalized Fourier transform on \(\mathbb {R}\) tied to \(\Lambda \).     

Tensor-Sparsity of Solutions to High-Dimensional Elliptic Partial Differential Equations

A recurring theme in attempts to break the curse of dimensionality in the numerical approximation of solutions to high-dimensional partial differential equations (PDEs) is to employ some form of sparse tensor approximation. Unfortunately, there are only a few results that quantify the possible advantages of such an approach. This paper introduces a class \(\Sigma _n\) of functions, which can be written as a sum of rank-one tensors using a total of at most \(n\) parameters, and then uses this notion of sparsity to prove a regularity theorem for certain high-dimensional elliptic PDEs. It is shown, among other results, that whenever the right-hand side \(f\) of the elliptic PDE can be approximated with a certain rate \(\mathcal {O}(n^{-r})\) in the norm of \({\mathrm H}^{-1}\) by elements of \(\Sigma _n\), then the solution \(u\) can be approximated in \({\mathrm H}^1\) from \(\Sigma _n\) to accuracy \(\mathcal {O}(n^{-r'})\) for any \(r'\in (0,r)\). Since these results require knowledge of the eigenbasis of the elliptic operator considered, we propose a second “basis-free” model of tensor-sparsity and prove a regularity theorem for this second sparsity model as well. We then proceed to address the important question of the extent to which such regularity theorems translate into results on computational complexity. It is shown how this second model can be used to derive computational algorithms with performance that breaks the curse of dimensionality on certain model high-dimensional elliptic PDEs with tensor-sparse data.     

Approximation of Analytic Functions with an Arbitrary Order by Generalized Baskakov–Faber Operators in Compact Sets

By using a sequence \(\lambda _{n}>0\), \(n\in \mathbb {N}\) with the property that \(\lambda _{n}\rightarrow 0\) as fast we want, in this paper we obtain the approximation order \(O(\lambda _{n})\) for a generalized Baskakov–Faber operator attached to analytic functions of exponential growth in a continuum \(G\subset \mathbb {C}\). Several concrete examples of continuums G are given for which this operator can explicitly be constructed.     

Construction of sign-changing solutions for a harmonic equation with subcritical exponent

In this paper, we study the harmonic equation involving subcritical exponent \((P_{\varepsilon })\): \( \Delta u = 0 \), in \(\mathbb {B}^n\) and \(\displaystyle \frac{\partial u}{\partial \nu } + \displaystyle \frac{n-2}{2}u = \displaystyle \frac{n-2}{2} K u^{\frac{n}{n-2}-\varepsilon }\) on \( \mathbb {S}^{n-1}\) where \(\mathbb {B}^n \) is the unit ball in \(\mathbb {R}^n\), \(n\ge 5\) with Euclidean metric \(g_0\), \(\partial \mathbb {B}^n = \mathbb {S}^{n-1}\) is its boundary, K is a function on \(\mathbb {S}^{n-1}\) and \(\varepsilon \) is a small positive parameter. We construct solutions of the subcritical equation \((P_{\varepsilon })\) which blow up at two different critical points of K. Furthermore, we construct solutions of \((P_{\varepsilon })\) which have two bubbles and blow up at the same critical point of K.     

Existence of self-Cheeger sets on Riemannian manifolds

Let \(({\mathcal M},g)\) be a smooth compact Riemannian manifold of dimension \(N\ge 2\). We prove the existence of a family \((\Omega _\varepsilon )_{\varepsilon \in (0,\varepsilon _0)}\) of self-Cheeger sets in \(({\mathcal M},g)\). The domains \(\Omega _\varepsilon \subset {\mathcal M}\) are perturbations of geodesic balls of radius \(\varepsilon \) centered at \(p \in {\mathcal M}\), and in particular, if \(p_0\) is a non-degenerate critical point of the scalar curvature of g, then the family \((\partial \Omega _\varepsilon )_{\varepsilon \in (0,\varepsilon _0)}\) constitutes a smooth foliation of a neighborhood of \(p_0\).     

Eichler’s commutation relation and some other invariant subspaces of Hecke operators

Let k be an odd positive integer, L a lattice on a regular positive definite k-dimensional quadratic space over \(\mathbb {Q}\), \(N_L\) the level of L, and \(\mathscr {M}(L)\)  be the linear space of \(\theta \)-series attached to the distinct classes in the genus of L. We prove that, for an odd prime \(p|N_L\), if \(L_p=L_{p,1}\,\bot \, L_{p,2}\), where \(L_{p,1}\) is unimodular, \(L_{p,2}\) is (p)-modular, and \(\mathbb {Q}_pL_{p,2}\) is anisotropic, then \(\mathscr {M}(L;p):=\) \(\mathscr {M}(L)\) \(+T_{p^2}.\) \(\mathscr {M}(L)\)  is stable under the Hecke operator \(T_{p^2}\). If \(L_2\) is isometric to \(\left( \begin{array}{ll}0&{}\frac{1}{2}\\ \frac{1}{2}&{}0\end{array}\right) ^{\kappa }\,\bot \, \langle \varepsilon \rangle \) or \(\left( \begin{array}{ll}0&{}\frac{1}{2}\\ \frac{1}{2}&{}0\end{array}\right) ^{\kappa }\,\bot \, \langle 2\varepsilon \rangle \) or \(\left( \begin{array}{ll}0&{}1\\ 1&{}0\end{array}\right) ^{\kappa }\,\bot \, \langle \varepsilon \rangle \) with \(\varepsilon \in \mathbb {Z}_2^{\times }\) and \(\kappa :=\frac{k-1}{2}\), then \(\mathscr {M}(L;2):=T_{2^2}.\mathscr {M}(L)+T_{2^2}^2.\,\mathscr {M}(L)\) is stable under the Hecke operator \(T_{2^2}\). Furthermore, we determine some invariant subspaces of the cusp forms for the Hecke operators.     

General Natural $$(\alpha ,\varepsilon )$$-Structures

We study in a unified way the \((\alpha ,\varepsilon )\)-structures of general natural lift type on the tangent bundle of a Riemannian manifold. We characterize the general natural \(\alpha \)-structures on the total space of the tangent bundle of a Riemannian manifold, and provide their integrability conditions (the base manifold is a space form and some involved coefficients are rational functions of the other ones). Then, we characterize the two classes (with respect to the sign of \(\alpha \varepsilon \)) of \((\alpha ,\varepsilon )\)-structures of general natural type on TM. The class \(\alpha \varepsilon =-1\) is characterized by some proportionality relations between the coefficients of the metric and those of the \(\alpha \)-structure, and in this case, the structure is almost Kählerian if and only if the first proportionality factor is the derivative of the second one. Moreover, the total space of the tangent bundle is a Kähler manifold if and only if it depends on three coefficients only (two coefficients of the integrable \(\alpha \)-structure and a proportionality factor).     

Quasi-Linear Equations with a Small Diffusion Term and the Evolution of Hierarchies of Cycles

We study the long-time behavior (at times of order \(\exp (\lambda /\varepsilon ^2\))) of solutions to quasi-linear parabolic equations with a small parameter \(\varepsilon ^2\) at the diffusion term. The solution to a PDE can be expressed in terms of diffusion processes, whose coefficients, in turn, depend on the unknown solution. The notion of a hierarchy of cycles for diffusion processes was introduced by Freidlin and Wentzell and applied to the study of the corresponding linear equations. In the quasi-linear case, it is not a single hierarchy that corresponds to an equation, but rather a family of hierarchies that depend on the timescale \(\lambda \). We describe the evolution of the hierarchies with respect to \(\lambda \) in order to gain information on the limiting behavior of the solution of the PDE.     

Convergence and Precise Asymptotics for Series Involving Self-normalized Sums

Let \(X, X_{1}, X_{2}, \ldots \) be i.i.d. random variables, and set \(S_{n}=X_{1}+\cdots +X_{n}\) and \( V_{n}^{2}=X_{1}^{2}+\cdots +X_{n}^{2}.\) Without any moment conditions on \(X\), assuming that \(\{S_{n}/V_{n}\}\) is tight, we establish convergence of series of the type (*) \(\sum \nolimits _{n}w_{n}P(\left| S_{n}\right| /V_{n}\ge \varepsilon b_{n}),\) \(\varepsilon >0.\) Then, assuming that \(X\) is symmetric and belongs to the domain of attraction of a stable law, and choosing \(w_{n}\) and \(b_{n}\) suitably\(,\) we derive the precise asymptotic behavior of the series (*) as \(\varepsilon \searrow 0. \)     

Edge Flips in Surface Meshes

Little theoretical work has been done on edge flips in surface meshes despite their popular usage in graphics and solid modeling to improve mesh equality. We propose the class of \((\varepsilon ,\alpha )\)-meshes of a surface that satisfy several properties: the vertex set is an \(\varepsilon \)-sample of the surface, the triangle angles are no smaller than a constant \(\alpha \), some triangle has a good normal, and the mesh is homeomorphic to the surface. We believe that many surface meshes encountered in practice are \((\varepsilon ,\alpha )\)-meshes or close to being one. We prove that flipping the appropriate edges can smooth a dense \((\varepsilon ,\alpha )\)-mesh by making the triangle normals better approximations of the surface normals and the dihedral angles closer to \(\pi \). Moreover, the edge flips can be performed in time linear in the number of vertices. This helps to explain the effectiveness of edge flips as observed in practice and in our experiments. A corollary of our techniques is that, in \(\mathbb {R}^2\), every triangulation with a constant lower bound on the angles can be flipped in linear time to the Delaunay triangulation.     

Quasi-classical generalized CRF structures

In an earlier paper, we studied manifolds M endowed with a generalized F structure \(\Phi \in \mathrm{End}(TM\oplus T^*M)\), skew-symmetric with respect to the pairing metric, such that \(\Phi ^3+\Phi =0\). Furthermore, if \(\Phi \) is integrable (in some well-defined sense), \(\Phi \) is a generalized CRF structure. In the present paper, we study quasi-classical generalized F and CRF structures, which may be seen as a generalization of the holomorphic Poisson structures (it is well known that the latter may also be defined via generalized geometry). The structures that we study are equivalent to a pair of tensor fields \((A\in \mathrm{End}(TM),\pi \in \wedge ^2TM)\), where \(A^3+A=0\) and some relations between A and \(\pi \) hold. We establish the integrability conditions in terms of \((A,\pi )\). They include the facts that A is a classical CRF structure, \(\pi \) is a Poisson bivector field and \(\mathrm{im}\,A\) is a (non)holonomic Poisson submanifold of \((M,\pi )\). We discuss the case where either \(\mathrm{ker}\,A\) or \(\mathrm{im}\,A\) is tangent to a foliation and, in particular, the case of almost contact manifolds. Finally, we show that the dual bundle of \(\mathrm{im}\,A\) inherits a Lie algebroid structure and we briefly discuss the Poisson cohomology of \(\pi \), including an associated spectral sequence and a Dolbeault type grading.     

Complex symmetry of Toeplitz operators with continuous symbols

In this note, we consider the question of when a Toeplitz operator on the Hardy–Hilbert space \(H^2\) of the open unit disk \(\mathbb {D}\) is complex symmetric, focusing on symbols \(\phi :\mathbb {T}\rightarrow \mathbb {C}\) that are continuous on the unit circle \(\mathbb {T}=\partial \mathbb {D}\). A closed curve \(\phi \) is called nowhere winding if the winding number of \(\phi \) is 0 about every point not in the range of \(\phi \). It is then shown that if \(T_\phi \) is complex symmetric, then \(\phi \) must be nowhere winding. Hence if \(\phi \) is a simple closed curve, then \(T_\phi \) cannot be a complex symmetric operator. The spectrum and invertibility of complex symmetric Toeplitz operators with continuous symbols are then described. Finally, given any continuous curve \(\gamma :[a,b]\rightarrow \mathbb {C}\), it is shown that there exists a complex symmetric Toeplitz operator with continuous symbol whose spectrum is precisely the range of \(\gamma \).     

Appell polynomial sequences with respect to some differential operators

We present a study of a specific kind of lowering operator, herein called \(\Lambda \), which is defined as a finite sum of lowering operators and might be presented by various configurations. We characterize the polynomial sequences fulfilling an Appell relation with respect to \(\Lambda \), and considering a concrete cubic decomposition of a simple Appell sequence, we prove that the polynomial component sequences are \(\Lambda \)-Appell, with \(\Lambda \) defined as previously, although by a three term sum. Ultimately, we prove the non-existence of orthogonal polynomial sequences which are also \(\Lambda \)-Appell, when \(\Lambda \) is the lowering operator \(\Lambda =a_{0}D+a_{1}DxD+a_{2}\left( Dx\right) ^2D\), where \(a_{0}\), \(a_{1}\) and \(a_{2}\) are constants and \(a_{2} \ne 0\). The case where \(a_{2}=0\) and \(a_{1} \ne 0\) is also naturally recaptured.