On a class of maximality principles

We study various classes of maximality principles, \(\mathrm {MP}(\kappa ,\Gamma )\), introduced by Hamkins (J Symb Log 68(2):527–550, 2003), where \(\Gamma \) defines a class of forcing posets and \(\kappa \) is an infinite cardinal. We explore the consistency strength and the relationship of \(\textsf {MP}(\kappa ,\Gamma )\) with various forcing axioms when \(\kappa \in \{\omega ,\omega _1\}\). In particular, we give a characterization of bounded forcing axioms for a class of forcings \(\Gamma \) in terms of maximality principles MP\((\omega _1,\Gamma )\) for \(\Sigma _1\) formulas. A significant part of the paper is devoted to studying the principle MP\((\kappa ,\Gamma )\) where \(\kappa \in \{\omega ,\omega _1\}\) and \(\Gamma \) defines the class of stationary set preserving forcings. We show that MP\((\kappa ,\Gamma )\) has high consistency strength; on the other hand, if \(\Gamma \) defines the class of proper forcings or semi-proper forcings, then by Hamkins (2003), MP\((\kappa ,\Gamma )\) is consistent relative to \(V=L\).     

Vanishing theorems for constructible sheaves on abelian varieties over finite fields

Let \(\kappa \) be a field, finitely generated over its prime field, and let k denote an algebraically closed field containing \(\kappa \). For a perverse \(\overline{\mathbb {Q}}_\ell \)-adic sheaf \(K_0\) on an abelian variety \(X_0\) over \(\kappa \), let K and X denote the base field extensions of \(K_0\) and \(X_0\) to k. Then, the aim of this note is to show that the Euler–Poincare characteristic of the perverse sheaf K on X is a non-negative integer, i.e. \(\chi (X,K)=\sum _\nu (-1)^\nu \dim _{\overline{\mathbb {Q}}_\ell }(H^\nu (X,K))\ge 0\). This generalizes the result of Franecki and Kapranov [9] for fields of characteristic zero. Furthermore we show that \(\chi (X,K)=0\) implies K to be translation invariant. This result allows to considerably simplify the proof of the generic vanishing theorems for constructible sheaves on complex abelian varieties of [11]. Furthermore it extends these vanishing theorems to constructible sheaves on abelian varieties over finite fields.     

Zero varieties for the Nevanlinna class in weakly pseudoconvex domains of maximal type F in $$\mathbb {C}^2$$

Let \(\Omega \) be a bounded, uniformly totally pseudoconvex domain in \(\mathbb {C}^2\) with smooth boundary \(b\Omega \). Assume that \(\Omega \) is a domain admitting a maximal type F. Here, the condition maximal type F generalizes the condition of finite type in the sense of Range (Pac J Math 78(1):173–189, 1978; Scoula Norm Sup Pisa, pp 247–267, 1978) and includes many cases of infinite type. Let \(\alpha \) be a d-closed (1, 1)-form in \(\Omega \). We study the Poincaré–Lelong equation

$$\begin{aligned} i\partial \bar{\partial }u=\alpha \quad \text {on}\, \Omega \end{aligned}$$

in \(L^1(b\Omega )\) norm by applying the \(L^1(b\Omega )\) estimates for \(\bar{\partial }_b\)-equations in [11]. Then, we also obtain a prescribing zero set of Nevanlinna holomorphic functions in \(\Omega \).

     

Functional Convergence of Linear Processes with Heavy-Tailed Innovations

We study convergence in law of partial sums of linear processes with heavy-tailed innovations. In the case of summable coefficients, necessary and sufficient conditions for the finite dimensional convergence to an \(\alpha \)-stable Lévy Motion are given. The conditions lead to new, tractable sufficient conditions in the case \(\alpha \le 1\). In the functional setting, we complement the existing results on \(M_1\)-convergence, obtained for linear processes with nonnegative coefficients by Avram and Taqqu (Ann Probab 20:483–503, 1992) and improved by Louhichi and Rio (Electr J Probab 16(89), 2011), by proving that in the general setting partial sums of linear processes are convergent on the Skorokhod space equipped with the \(S\) topology, introduced by Jakubowski (Electr J Probab 2(4), 1997).     

Global Solutions to a Nonlocal Fisher-KPP Type Problem

We consider a nonlocal Fisher-KPP reaction-diffusion model arising from population dynamics, consisting of a certain type reaction term \(u^{\alpha} ( 1-\int_{\varOmega}u^{\beta}dx ) \), where \(\varOmega\) is a bounded domain in \(\mathbb{R}^{n}(n \ge1)\). The energy method is applied to prove the global existence of the solutions and the results show that the long time behavior of solutions heavily depends on the choice of \(\alpha\), \(\beta\). More precisely, for \(1 \le\alpha <1+ ( 1-2/p ) \beta\), where \(p\) is the exponent from the Sobolev inequality, the problem has a unique global solution. Particularly, in the case of \(n \ge3\) and \(\beta=1\), \(\alpha<1+2/n\) is the known Fujita exponent (Fujita in J. Fac. Sci., Univ. Tokyo, Sect. 1A, Math. 13:109–124, 1966). Comparing to Fujita equation (Fujita in J. Fac. Sci., Univ. Tokyo, Sect. 1A, Math. 13:109–124, 1966), this paper will give an opposite result to our nonlocal problem.     

On quasi-inversions

Given a bounded domain \(D \subset {\mathbb R}^n\) strictly starlike with respect to \(0 \in D\,,\) we define a quasi-inversion w.r.t. the boundary \(\partial D \,.\) We show that the quasi-inversion is bi-Lipschitz w.r.t. the chordal metric if and only if every “tangent line” of \(\partial D\) is far away from the origin. Moreover, the bi-Lipschitz constant tends to 1,  when \(\partial D\) approaches the unit sphere in a suitable way. For the formulation of our results we use the concept of the \(\alpha \)-tangent condition due to Gehring and Väisälä (Acta Math 114:1–70,1965). This condition is shown to be equivalent to the bi-Lipschitz and quasiconformal extension property of what we call the polar parametrization of \(\partial D\). In addition, we show that the polar parametrization, which is a mapping of the unit sphere onto \(\partial D\), is bi-Lipschitz if and only if D satisfies the \(\alpha \)-tangent condition.     

Estimates for large solutions of a quasilinear elliptic equation

Let \(\Omega \) be a bounded smooth domain of \(R^{n}\). We study the asymptotic behaviour of the solutions to the equation \(\triangle u-|Du|^{q}=f(u)\) in \(\Omega , 1<q<2,\) which satisfy the boundary condition \(u(x)\rightarrow \infty \) as \(x\rightarrow \partial \Omega \). These solutions are called large or blowup solutions. Near the boundary we give lower and upper bounds for the ratio \(\psi (u)/\delta \), where \(\psi (u) = \int _{u}^{\infty }1/\sqrt{2F}dt\), \(F'=f\), \(\delta =dist(x,\partial \Omega )\) or for the ratio \(u/\delta ^{(2-q)/(1-q)}\). When in particular the ratio \(f/F^{q/2}\)is regular at infinity, we find again known results (Bandle and Giarrusso, in Adv Diff Equ 1, 133–150, 1996; Giarrusso, in Comptes Rendus de l’Acad Sci 331, 777–782 2000).     

On Some Properties of a Class of Fractional Stochastic Heat Equations

We consider nonlinear parabolic stochastic equations of the form \(\partial _t u=\mathcal {L}u + \lambda \sigma (u)\dot{\xi }\) on the ball \(B(0,\,R)\), where \(\dot{\xi }\) denotes some Gaussian noise and \(\sigma \) is Lipschitz continuous. Here \(\mathcal {L}\) corresponds to a symmetric \(\alpha \)-stable process killed upon exiting B(0, R). We will consider two types of noises: space-time white noise and spatially correlated noise. Under a linear growth condition on \(\sigma \), we study growth properties of the second moment of the solutions. Our results are significant extensions of those in Foondun and Joseph (Stoch Process Appl, 2014) and complement those of Khoshnevisan and Kim (Proc AMS, 2013, Ann Probab, 2014).     

Revisiting Fryszkowski’s problem

Professor Andrzej Fryszkowski formulated, at the 2nd Symposium on Nonlinear Analysis in Toruń, September 13–17, 1999, the following problem: given \(\alpha \in (0,1)\), an arbitrary non-empty set \(\Omega \) and a set-valued mapping \(F:\Omega \rightarrow 2^{\Omega }\), find necessary and (or) sufficient conditions for the existence of a (complete) metric d on \(\Omega \) having the property that F is a Nadler set-valued \(\alpha \)-contraction with respect to d. Com?neci (Stud. Univ. Babe?-Bolyai Math. 62:537–542, 2017) provided necessary and sufficient conditions for the existence of a complete and bounded metric d on \(\Omega \) having the property that F is a Nadler set-valued \(\alpha \)-contraction with respect to d, in case that \(\alpha \in (0,\frac{1}{2})\) and there exists \(z\in \Omega \) such that \(F(z)=\{z\}\) . We improve Com?neci’s result by allowing \(\alpha \) to belong to the interval (0, 1). In addition, we provide necessary and sufficient conditions for the existence of a complete and bounded metric d on \(\Omega \) such that F is a Nadler set-valued \(\alpha \)-similarity with respect to d, in case that \(\alpha \in (0,1)\), there exists \(z\in \Omega \) such that \(F(z)=\{z\}\) and F is non-overlapping.     

Rulesets for Beatty games

We describe a ruleset for a 2-pile subtraction game with P-positions \(\{(\lfloor \alpha n \rfloor ,\lfloor \beta n \rfloor ) : n \in \mathbb Z_{\ge 0} \}\) for any irrational \(1< \alpha < 2\), and \(\beta \) such that \(1/\alpha +1/\beta = 1\). We determine the \(\alpha \)’s for which the game can be represented as a finite modification of t-Wythoff (Holladay, Math Mag 41:7–13, 1968; Fraenkel, Am Math Mon 89(6):353–361, 1982) and describe this modification.     

Generic Vopěnka’s Principle,remarkable cardinals,and the weak Proper Forcing Axiom

We introduce and study the first-order Generic Vopěnka’s Principle, which states that for every definable proper class of structures \(\mathcal {C}\) of the same type, there exist \(B\ne A\) in \(\mathcal {C}\) such that B elementarily embeds into A in some set-forcing extension. We show that, for \(n\ge 1\), the Generic Vopěnka’s Principle fragment for \(\Pi _n\)-definable classes is equiconsistent with a proper class of n-remarkable cardinals. The n-remarkable cardinals hierarchy for \(n\in \omega \), which we introduce here, is a natural generic analogue for the \(C^{(n)}\)-extendible cardinals that Bagaria used to calibrate the strength of the first-order Vopěnka’s Principle in Bagaria (Arch Math Logic 51(3–4):213–240, 2012). Expanding on the theme of studying set theoretic properties which assert the existence of elementary embeddings in some set-forcing extension, we introduce and study the weak Proper Forcing Axiom, \(\mathrm{wPFA}\). The axiom \(\mathrm{wPFA}\) states that for every transitive model \(\mathcal M\) in the language of set theory with some \(\omega _1\)-many additional relations, if it is forced by a proper forcing \(\mathbb P\) that \(\mathcal M\) satisfies some \(\Sigma _1\)-property, then V has a transitive model \(\bar{\mathcal M}\), satisfying the same \(\Sigma _1\)-property, and in some set-forcing extension there is an elementary embedding from \(\bar{\mathcal M}\) into \(\mathcal M\). This is a weakening of a formulation of \(\mathrm{PFA}\) due to Claverie and Schindler (J Symb Logic 77(2):475–498, 2012), which asserts that the embedding from \(\bar{\mathcal M}\) to \(\mathcal M\) exists in V. We show that \(\mathrm{wPFA}\) is equiconsistent with a remarkable cardinal. Furthermore, the axiom \(\mathrm{wPFA}\) implies \(\mathrm{PFA}_{\aleph _2}\), the Proper Forcing Axiom for antichains of size at most \(\omega _2\), but it is consistent with \(\square _\kappa \) for all \(\kappa \ge \omega _2\), and therefore does not imply \(\mathrm{PFA}_{\aleph _3}\).     

Some classes of operators with symbol on the Lipschitz space of a tree

In this paper, we expand the study of the multiplication operators on the Lipschitz space of a tree begun in Colonna and Easley (Integral Equ Oper Theory 68:391–411, 2010) by focusing on their adjoint acting on a certain separable subspace of the Lipschitz space whose dual is isometrically isomorphic to \(\mathbf L^1\). We then study the properties of two useful operators \(\nabla \) and \(\Delta \) and use them (along with the multiplicative symbol \(\psi \)) to define the Toeplitz operator \(T_\psi \) on the space \(\mathbf L^p\) for \(1\le p \le \infty \). We give conditions for its boundedness and study its point spectrum.     

A note on signs of Fourier coefficients of two cusp forms

Kohnen and Sengupta (Proc. Am. Math. Soc. 137(11) (2009) 3563–3567) showed that if two Hecke eigencusp forms of weight \(k_1\) and \(k_2\) respectively, with \(1<k_1<k_2\) over \(\Gamma _0({N})\), have totally real algebraic Fourier coefficients \(\lbrace a(n) \rbrace \) and \(\lbrace b(n) \rbrace \) respectively for \(n \ge 1\) with \(a(1)=1=b(1)\), then there exists an element \(\sigma \) of the absolute Galois group \(\mathrm{Gal}({\bar{\mathbb {Q}}}/{\mathbb {Q}})\) such that \(a(n)^{\sigma } b(n)^{\sigma } < 0\) for infinitely many n. Later Gun et al. (Arch. Math. (Basel) 105(5) (2015) 413–424) extended their result by showing that if two Hecke eigen cusp forms, with \(1<k_1<k_2\), have real Fourier-coefficients \(\lbrace a(n)\rbrace \) and \(\lbrace b(n)\rbrace \) for \(n \ge 1\) and \(a(1)b(1) \ne 0\), then there exists infinitely many n such that \(a(n)b(n) > 0\) and infinitely many n such that \(a(n)b(n) < 0\). When \(k_1=k_2\), the simultaneous sign changes of Fourier coefficients of two normalized Hecke eigen cusp forms follow from an earlier work of Ram Murty (Math. Ann. 262 (1983) 431–446). In this note, we compare the signs of the Fourier coefficients of two cusp forms simultaneously for the congruence subgroup \(\Gamma _0({N})\) where the coefficients lie in an arithmetic progression. Next, we consider an analogous question for the particular sparse sequences of Fourier coefficients of normalized Hecke eigencusp forms for the full modular group.     

Bumpy metrics on spheres and minimal index growth

The existence of two geometrically distinct closed geodesics on an n-dimensional sphere \(S^n\) with a non-reversible and bumpy Finsler metric was shown independently by Duan and Long [7] and the author [25]. We simplify the proof of this statement by the following observation: If for some \(N \in \mathbb {N}\) all closed geodesics of index \(\le \)N of a non-reversible and bumpy Finsler metric on \(S^n\) are geometrically equivalent to the closed geodesic c, then there is a covering \(c^r\) of minimal index growth, i.e.,

$$\begin{aligned} \mathrm{ind}(c^\mathrm{rm})=m \,\mathrm{ind}(c^r)-(m-1)(n-1), \end{aligned}$$

for all \(m \ge 1\) with \(\mathrm{ind}\left( c^\mathrm{rm}\right) \le N.\) But this leads to a contradiction for \(N =\infty \) as pointed out by Goresky and Hingston [13]. We also discuss perturbations of Katok metrics on spheres of even dimension carrying only finitely many closed geodesics. For arbitrarily large \(L>0\), we obtain on \(S^2\) a metric of positive flag curvature carrying only two closed geodesics of length \(<L\) which do not intersect.

     

Embedding of Möbius Invariant Function Spaces into Tent Spaces

On the unit disk we introduce a new class of tent spaces \(T^q_{s,t}(\mu )\) for any positive Borel measure \(\mu \), consider a class of Möbius invariant spaces \(Z_p\) of analytic functions, and show that \(Z_p\) is contained in \(T^1_{p,1}\) if and only if \(\mu \) is a p-Carleson measure. This could be considered a continuation or variation of the work initiated by Xiao (Adv Math 217:2075–2088, 2008).     

A Theory of Super-Resolution from Short-Time Fourier Transform Measurements

While spike trains are obviously not band-limited, the theory of super-resolution tells us that perfect recovery of unknown spike locations and weights from low-pass Fourier transform measurements is possible provided that the minimum spacing, \(\Delta \), between spikes is not too small. Specifically, for a measurement cutoff frequency of \(f_c\), Donoho (SIAM J Math Anal 23(5):1303–1331, 1992) showed that exact recovery is possible if the spikes (on \(\mathbb {R}\)) lie on a lattice and \(\Delta > 1/f_c\), but does not specify a corresponding recovery method. Candès and Fernandez-Granda (Commun Pure Appl Math 67(6):906–956, 2014; Inform Inference 5(3):251–303, 2016) provide a convex programming method for the recovery of periodic spike trains (i.e., spike trains on the torus \(\mathbb {T}\)), which succeeds provably if \(\Delta > 2/f_c\) and \(f_c \ge 128\) or if \(\Delta > 1.26/f_c\) and \(f_c \ge 10^3\), and does not need the spikes within the fundamental period to lie on a lattice. In this paper, we develop a theory of super-resolution from short-time Fourier transform (STFT) measurements. Specifically, we present a recovery method similar in spirit to the one in Candès and Fernandez-Granda (2014) for pure Fourier measurements. For a STFT Gaussian window function of width \(\sigma = 1/(4f_c)\) this method succeeds provably if \(\Delta > 1/f_c\), without restrictions on \(f_c\). Our theory is based on a measure-theoretic formulation of the recovery problem, which leads to considerable generality in the sense of the results being grid-free and applying to spike trains on both \(\mathbb {R}\) and \(\mathbb {T}\). The case of spike trains on \(\mathbb {R}\) comes with significant technical challenges. For recovery of spike trains on \(\mathbb {T}\) we prove that the correct solution can be approximated—in weak-* topology—by solving a sequence of finite-dimensional convex programming problems.     

Convergence of empirical spectral distributions of large dimensional quaternion sample covariance matrices

In this paper, we establish the limit of empirical spectral distributions of quaternion sample covariance matrices. Motivated by Bai and Silverstein (Spectral analysis of large dimensional random matrices, Springer, New York, 2010) and Mar?enko and Pastur (Matematicheskii Sb, 114:507–536, 1967), we can extend the results of the real or complex sample covariance matrix to the quaternion case. Suppose \(\mathbf X_n = ({x_{jk}^{(n)}})_{p\times n}\) is a quaternion random matrix. For each \(n\), the entries \(\{x_{ij}^{(n)}\}\) are independent random quaternion variables with a common mean \(\mu \) and variance \(\sigma ^2>0\). It is shown that the empirical spectral distribution of the quaternion sample covariance matrix \(\mathbf S_n=n^{-1}\mathbf X_n\mathbf X_n^*\) converges to the Mar?enko–Pastur law as \(p\rightarrow \infty \), \(n\rightarrow \infty \) and \(p/n\rightarrow y\in (0,+\infty )\).     

Eigenvalue Counting Function for Robin Laplacians on Conical Domains

We study the discrete spectrum of the Robin Laplacian \(Q^{\Omega }_\alpha \) in \(L^2(\Omega )\), \(u\mapsto -\Delta u, \quad D_n u=\alpha u \text { on }\partial \Omega \), where \(D_n\) is the outer unit normal derivative and \(\Omega \subset {\mathbb {R}}^{3}\) is a conical domain with a regular cross-section \(\Theta \subset {\mathbb {S}}^2\), n is the outer unit normal, and \(\alpha >0\) is a fixed constant. It is known from previous papers that the bottom of the essential spectrum of \(Q^{\Omega }_\alpha \) is \(-\alpha ^2\) and that the finiteness of the discrete spectrum depends on the geometry of the cross-section. We show that the accumulation of the discrete spectrum of \(Q^\Omega _\alpha \) is determined by the discrete spectrum of an effective Hamiltonian defined on the boundary and far from the origin. By studying this model operator, we prove that the number of eigenvalues of \(Q^{\Omega }_\alpha \) in \((-\infty ,-\alpha ^2-\lambda )\), with \(\lambda >0\), behaves for \(\lambda \rightarrow 0\) as

$$\begin{aligned} \dfrac{\alpha ^2}{8\pi \lambda } \int _{\partial \Theta } \kappa _+(s)^2\mathrm {d}s +o\left( \frac{1}{\lambda }\right) , \end{aligned}$$

where \(\kappa _+\) is the positive part of the geodesic curvature of the cross-section boundary.

     

Improved Moser–Trudinger inequality of Tintarev type in dimension <Emphasis Type="Italic">n</Emphasis> and the existence of its extremal functions

Let \(\Omega \) be a smooth bounded domain in \(\mathbb R^n\) with \(n\ge 2\), \(W^{1,n}_0(\Omega )\) be the usual Sobolev space on \(\Omega \) and define \(\lambda _1(\Omega ) = \inf \nolimits _{u\in W^{1,n}_0(\Omega )\setminus \{0\}}\frac{\int _\Omega |\nabla u|^n \mathrm{d}x}{\int _\Omega |u|^n \mathrm{d}x}\). Based on the blow-up analysis method, we shall establish the following improved Moser–Trudinger inequality of Tintarev type

$$\begin{aligned} \sup _{u\in W^{1,n}_0(\Omega ), \int _\Omega |\nabla u|^n \mathrm{{d}}x-\alpha \int _\Omega |u|^n \mathrm{{d}}x \le 1} \int _\Omega \exp (\alpha _{n} |u|^{\frac{n}{n-1}}) \mathrm{{d}}x < \infty , \end{aligned}$$

for any \(0 \le \alpha < \lambda _1(\Omega )\), where \(\alpha _{n} = n \omega _{n-1}^{\frac{1}{n-1}}\) with \(\omega _{n-1}\) being the surface area of the unit sphere in \(\mathbb R^n\). This inequality is stronger than the improved Moser–Trudinger inequality obtained by Adimurthi and Druet (Differ Equ 29:295–322, 2004) in dimension 2 and by Yang (J Funct Anal 239:100–126, 2006) in higher dimension and extends a result of Tintarev (J Funct Anal 266:55–66, 2014) in dimension 2 to higher dimension. We also prove that the supremum above is attained for any \(0< \alpha < \lambda _{1}(\Omega )\). (The case \(\alpha =0\) corresponding to the Moser–Trudinger inequality is well known.)

     

Improved Upper Bounds on the Domination Number of Graphs With Minimum Degree at Least Five

An algorithmic upper bound on the domination number \(\gamma \) of graphs in terms of the order n and the minimum degree \(\delta \) is proved. It is demonstrated that the bound improves best previous bounds for any \(5\le \delta \le 50\). In particular, for \(\delta =5\), Xing et al. (Graphs Comb. 22:127–143, 2006) proved that \(\gamma \le 5n/14 < 0.3572 n\). This bound is improved to 0.3440 n. For \(\delta =6\), Clark et al. (Congr. Numer. 132:99–123, 1998) established \(\gamma <0.3377 n\), while Biró et al. (Bull. Inst. Comb. Appl. 64:73–83, 2012) recently improved it to \(\gamma <0.3340 n\). Here the bound is further improved to \(\gamma < 0.3159n\). For \(\delta =7\), the best earlier bound 0.3088n is improved to \(\gamma < 0.2927n\).