A covering lemma for {K(\mathbb {R})}

The Dodd–Jensen Covering Lemma states that “if there is no inner model with a measurable cardinal, then for any uncountable set of ordinals X, there is a ${Y\in K}$ such that ${X\subseteq Y}$ and |X| = |Y|”. Assuming ZF+AD alone, we establish the following analog: If there is no inner model with an ${\mathbb {R}}$ –complete measurable cardinal, then the real core model ${K(\mathbb {R})}$ is a “very good approximation” to the universe of sets V; that is, ${K(\mathbb {R})}$ and V have exactly the same sets of reals and for any set of ordinals X with ${|{X}|\ge\Theta}$ , there is a ${Y\in K(\mathbb {R})}$ such that ${X\subseteq Y}$ and |X| = |Y|. Here ${\mathbb {R}}$ is the set of reals and ${\Theta}$ is the supremum of the ordinals which are the surjective image of ${\mathbb {R}}$ .     

Lower bounds on the number of maximal subgroups in a finite group

For a finite group G, let m(G) denote the set of maximal subgroups of G and π(G) denote the set of primes which divide |G|. When G is a cyclic group, an elementary calculation proves that |m(G)| = |π(G)|. In this paper, we prove lower bounds on |m(G)| when G is not cyclic. In general, ${|m(G)| \geq |\pi(G)|+p}$ | m ( G ) | ≥ | π ( G ) | + p , where ${p \in \pi(G)}$ p ∈ π ( G ) is the smallest prime that divides |G|. If G has a noncyclic Sylow subgroup and ${q \in \pi(G)}$ q ∈ π ( G ) is the smallest prime such that ${Q \in {\rm syl}_q(G)}$ Q ∈ syl q ( G ) is noncyclic, then ${|m(G)| \geq |\pi(G)|+q}$ | m ( G ) | ≥ | π ( G ) | + q . Both lower bounds are best possible.     

Geometry of the Funk metric on Weil–Petersson spaces

We discuss the Funk function $F(x,y)$ on a Teichmüller space with its Weil–Petersson metric $(\mathcal{T },d)$ introduced in Yamada (Convex bodies in Euclidean and Weil–Petersson geometries, 2011), which was originally studied for an open convex subset in a Euclidean space by Funk [cf. Papadopoulos and Troyanov (Math Proc Cambridge Philos Soc 147:419–437, 2009)]. $F(x,y)$ is an asymmetric distance and invariant by the action of the mapping class group. Unlike the original one, $F(x,y)$ is not always convex in $y$ with $x$ fixed (Corollary 2.11, Theorem 5.1). For each pseudo-Anosov mapping class $g$ and a point $x \in \mathcal{T }$ , there exists $E$ such that for all $n\not = 0$ , $ \log |n| -E \le F(x,g^n.x) \le \log |n|+E$ (Corollary 2.10), while $F(x,g^n.x)$ is bounded if $g$ is a Dehn twist (Proposition 2.13). The translation length is defined by $|g|_F=\inf _{x \in \mathcal{T }}F(x,g.x)$ for a map $g: \mathcal{T }\rightarrow \mathcal{T }$ . If $g$ is a pseudo-Anosov mapping class, there exists $Q$ such that for all $n \not = 0$ , $\log |n| -Q \le |g^n|_F \le \log |n| + Q.$ For sufficiently large $n$ , $|g^n|_F >0$ and the infimum is achieved. If $g$ is a Dehn twist, then $|g^n|_F=0$ for each $n$ (Theorem 2.16). Some geodesics in $(\mathcal{T },d)$ are geodesics in terms of $F$ as well. We find a decomposition of $\mathcal{T }$ by sets, each of which is foliated by those geodesics (Theorem 4.10).     

Two inequalities for pseudo-differential operators

Изучается ограничен ность псевдодиффере нциальных операторов на \(L^2 (R^n )\) и на пр остранствах Харди в \(R^n \) . Пусть \(D_k = \{ \xi \in R^n :2^{k - 1} \leqq \left| \xi \right|< 2^k \} , k = 1,2,3, \ldots ,\) и \(D_0 = \{ \xi \in R^n :\left| \xi \right|< 1\} \) . Псевдодиффер енциальный операторP с символом p определяется соотно шением $$Pf(x) = \int\limits_{R^n } {e^{ix \cdot \xi } p(x,\xi )\hat f(\xi )d\xi ,x \in R^n .} $$ Будем говорить, что p пр инадлежит классу \(\bar S_{\varrho ,} {}_\delta (M,N), 0 \leqq \delta ,\varrho \leqq 1\) , ес ли $$\left| {D_x^a p(x,\xi )} \right| \leqq C_a (1 + \left| \xi \right|)^{\delta \left| a \right|} , x,\xi \in R^n ,\left| a \right| \leqq M,$$ и $$\int\limits_{D_k } {\left| {D_x^a D_\xi ^\beta p(x,\xi )} \right|d\xi \leqq C_{a\beta } 2^{kn} 2^{k(\delta |a| - \varrho |\beta |)} , x} \in R^n , k = 0,1,2, \ldots ;|a| \leqq M, |\beta | \leqq N.$$ Изучаются условия, ко торым должны удовлет ворять ?. δ,M иN, чтобы для каждого символа \(p \in \bar S_\varrho , {}_\delta (M,N)\) соответствующий оп ераторP был ограниче н на \(L^2 (R^n )\) . Далее, пусть \(p \in S_\varrho , {}_\delta \) , если дл я всех мультииндексо в а и β выполнено условие $$|D_x^a D_\xi ^\beta p(x,\xi )| \leqq C_{a\beta } (1 + |\xi |)^{\delta |\alpha | - \varrho |\beta |} , x,\xi \in R^n .$$ Доказывается, что при 0≦δ<1 операторP отображ ает пространство Харди \(H^p (R^n )\) в локальное пространство Харди ? ^p , если символp принадл ежит классуS ₁, δ.     

Banach spaces of locally Schlicht functions with the Hornich operations

Let \(S_ \propto ( \propto \geqq 0)\) be the set of normalized (see (1.2)) functions f holomorphic in D:|z|<1 with \(f''(z)/f'(z) = 0((1 - \left| z \right|^2 )^{ - \propto } )\) , and let be the set of normalized (see (1.6)) functions f meromorphic in D with the Schwarzian derivative \(\left\{ {f,z} \right\} = 0((1 - \left| z \right|^2 )^{ - \propto } )\) . We shall show that some topological properties of \(S_ \propto\) and , and of subsets of them, follow from those of the weighted H^∞ space \(H_ \propto ^\infty\) , consisting of functions f holomorphic in D with \(f(z) = 0((1 - \left| z \right|^2 )^{ - \propto } )\) , and those of subsets of \(H_ \propto ^\infty\) . The set S₁ is denoted by X in [3] and [4].     

Generalized absolute Hausdorff summability of orthogonal series

For 1≦k≦2 and a sequence $\gamma :={\{\gamma(n)\}}_{n=1}^{\infty}$ that is quasi β-power monotone decreasing with ${\beta>1-\frac{1}{k}}$ , we prove the |A,γ| _k summability of an orthogonal series, where A is either a regular or Hausdorff matrix. For ${\beta>-\frac{3}{4}}$ , we give a necessary and sufficient condition for |A,γ| _k summability, where A is Hausdorff matrix. Our sufficient condition for ${\beta>-\frac{3}{4}}$ is weaker than that of Kantawala [1], ${\beta>-\frac{1}{k}}$ for |E,q,γ| _k summability; and of Leindler [4], β>?1 for |C,α,γ| _k , ${\alpha<\frac{1}{4}}$ . Also, our result generalizes the result of Spevakov [6] for |E,q,1|₁ summability.     

Sensitivity of best recovery in the Sobolev spaces W_\infty ^{r,d} , \widetilde W_\infty ^{r,d}for perturbed sampling

Let $I^d $ be the d‐dimensional cube, $I^d = [0,1]^d $ , and let $F \ni f \mapsto Sf \in L_\infty (I^d ) $ be a linear operator acting on the Sobolev space F, where Fis either $$$$ or $$$$ where $$\left\| f \right\|_F = \sum\limits_{\left| m \right| = r} {\mathop {{\text{esssup}}}\limits_{x \in I^d } \left| {\frac{{\partial f^{\left| m \right|} }} {{\partial x_1^{m_1 } \partial x_2^{m_2 } \cdot \cdot \cdot \partial x_d^{m_d } }}(x)} \right|.} $$ We assume that the problem elements fsatisfy the condition $\sum\nolimits_{\left| m \right| = r} {{\text{esssup}}} _{x \in I^d } \left| {f^{(m)} (x)} \right| \leqslant 1 $ and that Sis continuous with respect to the supremum norm. We study sensitivity of optimal recovery of Sfrom inexact samples of ftaken at npoints forming a uniform grid on $I^d $ . We assume that the inaccuracy in reading the sample vector is measured in the pth norm and bounded by a nonnegative number δ. The sensitivity is defined by the difference between the optimal errors corresponding to the exact and perturbed readings, respectively. Our main result is that this difference is bounded by $\mathcal{A}\delta $ , where $\mathcal{A} $ is a positive constant independent of the number of samples. This indicates that the curse of dimension, which badly affects the optimal errors, does not extend to sensitivity.     

On Isomorphisms of Hardy Spaces Associated with Schrödinger Operators

Let L=?Δ+V is a Schrödinger operator on $\mathbb{R}^{d}$ , d≥3, V≥0. Let $H^{1}_{L}$ denote the Hardy space associated with L. We shall prove that there is an L-harmonic function w, 0<δ≤w(x)≤C, such that the mapping $$H_L^1 \ni f\mapsto wf\in H^1\bigl(\mathbb{R}^d\bigr) $$ is an isomorphism from the Hardy space $H_{L}^{1}$ onto the classical Hardy space $H^{1}(\mathbb{R}^{d})$ if and only if $\Delta^{-1}V(x)=-c_{d}\int_{\mathbb{R}^{d}} |x-y|^{2-d} V(y) dy$ belongs to $L^{\infty}(\mathbb{R}^{d})$ .     

Isomorphic Steiner symmetrization of p-convex sets

In this paper we show that given a \(p\) -convex set \(K \subset \mathbb{R }^n\) , there exist \(5n\) Steiner symmetrizations that transform it into an isomorphic Euclidean ball. That is, if \(|K| = |D_n| = \kappa _n\) , we may symmetrize it, using \(5n\) Steiner symmetrizations, into a set \(K'\) such that \(c_p D_n \subset K' \subset C_p D_n\) , where \(c_p\) and \(C_p\) are constants dependent on \(p\) only.     

Boundaries of Disk-Like Self-affine Tiles

Let $T:= T(A, \mathcal{D })$ T : = T ( A , D ) be a disk-like self-affine tile generated by an integral expanding matrix $A$ A and a consecutive collinear digit set $\mathcal{D }$ D , and let $f(x)=x^{2}+px+q$ f ( x ) = x 2 + px + q be the characteristic polynomial of $A$ A . In the paper, we identify the boundary $\partial T$ ? T with a sofic system by constructing a neighbor graph and derive equivalent conditions for the pair $(A,\mathcal{D })$ ( A , D ) to be a number system. Moreover, by using the graph-directed construction and a device of pseudo-norm $\omega $ ω , we find the generalized Hausdorff dimension $\dim _H^{\omega } (\partial T)=2\log \rho (M)/\log |q|$ dim H ω ( ? T ) = 2 log ρ ( M ) / log | q | where $\rho (M)$ ρ ( M ) is the spectral radius of certain contact matrix $M$ M . Especially, when $A$ A is a similarity, we obtain the standard Hausdorff dimension $\dim _H (\partial T)=2\log \rho /\log |q|$ dim H ( ? T ) = 2 log ρ / log | q | where $\rho $ ρ is the largest positive zero of the cubic polynomial $x^{3}-(|p|-1)x^{2}-(|q|-|p|)x-|q|$ x 3 ? ( | p | ? 1 ) x 2 ? ( | q | ? | p | ) x ? | q | , which is simpler than the known result.     

Oscillations of difference equations with several deviated arguments

We find the solutions ${f,g,h \colon G \to X,\,\varphi \colon G \to \mathbb{K}}$ of each of the functional equation $$\sum\limits_{\lambda \in K} f(x + \lambda y) = |K| \varphi (y) g(x) + |K|h(y), \quad x, y \in G$$ , where (G, + ) is an abelian group, K is a finite, abelian subgroup of the automorphism group of G, X is a linear space over the field ${\mathbb{K} \in \{ \mathbb{R},\mathbb{C}\}}$ .     

Pinned distance sets, k-simplices, Wolff’s exponent in finite fields and sum-product estimates

An analog of the Falconer distance problem in vector spaces over finite fields asks for the threshold α?>?0 such that ${|\Delta(E)| \gtrsim q}$ whenever ${|E| \gtrsim q^{\alpha}}$ , where ${E \subset {\mathbb {F}}_q^d}$ , the d-dimensional vector space over a finite field with q elements (not necessarily prime). Here ${\Delta(E)=\{{(x_1-y_1)}^2+\dots+{(x_d-y_d)}^2: x,y \in E\}}$ . Iosevich and Rudnev (Trans Am Math Soc 359(12):6127–6142, 2007) established the threshold ${\frac{d+1}{2}}$ , and in Hart et?al. (Trans Am Math Soc 363:3255–3275, 2011) proved that this exponent is sharp in odd dimensions. In two dimensions we improve the exponent to ${\tfrac{4}{3}}$ , consistent with the corresponding exponent in Euclidean space obtained by Wolff (Int Math Res Not 10:547–567, 1999). The pinned distance set ${\Delta_y(E)=\{{(x_1-y_1)}^2+\dots+{(x_d-y_d)}^2: x\in E\}}$ for a pin ${y\in E}$ has been studied in the Euclidean setting. Peres and Schlag (Duke Math J 102:193–251, 2000) showed that if the Hausdorff dimension of a set E is greater than ${\tfrac{d+1}{2}}$ , then the Lebesgue measure of Δ _y (E) is positive for almost every pin y. In this paper, we obtain the analogous result in the finite field setting. In addition, the same result is shown to be true for the pinned dot product set ${\Pi_y(E)=\{x\cdot y: x\in E\}}$ . Under the additional assumption that the set E has Cartesian product structure we improve the pinned threshold for both distances and dot products to ${\frac{d^2}{2d-1}}$ . The pinned dot product result for Cartesian products implies the following sum-product result. Let ${A\subset \mathbb F_q}$ and ${z\in \mathbb F^*_q}$ . If ${|A|\geq q^{\frac{d}{2d-1}}}$ then there exists a subset ${E'\subset A\times \dots \times A=A^{d-1}}$ with ${|E'|\gtrsim |A|^{d-1}}$ such that for any ${(a_1,\dots, a_{d-1}) \in E'}$ , $$ |a_1A+a_2A+\dots +a_{d-1}A+zA| > \frac{q}{2}$$ where ${a_j A=\{a_ja:a \in A\},j=1,\dots,d-1}$ . A generalization of the Falconer distance problem is to determine the minimal α?>?0 such that E contains a congruent copy of a positive proportion of k-simplices whenever ${|E| \gtrsim q^{\alpha}}$ . Here the authors improve on known results (for k?>?3) using Fourier analytic methods, showing that α may be taken to be ${\frac{d+k}{2}}$ .     

The limitations of the Poincaré inequality for Grušin type operators

We examine the validity of the Poincaré inequality for degenerate, second-order, elliptic operators H in divergence form on \({L_2(\mathbf{R}^{n}\times \mathbf{R}^{m})}\) . We assume the coefficients are real symmetric and \({a_1H_\delta\geq H\geq a_2H_\delta}\) for some \({a_1,a_2>0}\) where H _δ is a generalized Gru?in operator, $$H_\delta=-\nabla_{x_1}\,|x_1|^{\left(2\delta_1,2\delta_1'\right)} \,\nabla_{x_1}-|x_1|^{\left(2\delta_2,2\delta_2'\right)} \,\nabla_{x_2}^2.$$ Here \({x_1 \in \mathbf{R}^n,\; x_2 \in \mathbf{R}^m,\;\delta_1,\delta_1'\in[0,1\rangle,\;\delta_2,\delta_2'\geq0}\) and \({|x_1|^{\left(2\delta,2\delta'\right)}=|x_1|^{2\delta}}\) if \({|x_1|\leq 1}\) and \({|x_1|^{\left(2\delta,2\delta'\right)}=|x_1|^{2\delta'}}\) if \({|x_1|\geq 1}\) . We prove that the Poincaré inequality, formulated in terms of the geometry corresponding to the control distance of H, is valid if n ≥ 2, or if n = 1 and \({\delta_1\vee\delta_1'\in[0,1/2\rangle}\) but it fails if n = 1 and \({\delta_1\vee\delta_1'\in[1/2,1\rangle}\) . The failure is caused by the leading term. If \({\delta_1\in[1/2, 1\rangle}\) , it is an effect of the local degeneracy \({|x_1|^{2\delta_1}}\) , but if \({\delta_1\in[0, 1/2\rangle}\) and \({\delta_1'\in [1/2,1\rangle}\) , it is an effect of the growth at infinity of \({|x_1|^{2\delta_1'}}\) . If n = 1 and \({\delta_1\in[1/2, 1\rangle}\) , then the semigroup S generated by the Friedrichs’ extension of H is not ergodic. The subspaces \({x_1\geq 0}\) and \({x_1\leq 0}\) are S-invariant, and the Poincaré inequality is valid on each of these subspaces. If, however, \({n=1,\; \delta_1\in[0, 1/2\rangle}\) and \({\delta_1'\in [1/2,1\rangle}\) , then the semigroup S is ergodic, but the Poincaré inequality is only valid locally. Finally, we discuss the implication of these results for the Gaussian and non-Gaussian behaviour of the semigroup S.     

On a certain sum-product estimate in fields of prime order

Let Fp be the finite field of p elements with p prime.If A is a subset of Fp and g is an element of F*p with order ν,then max{|A + g·A|,|A·A|} (ν/(ν + |A|2) )1/12|A|13/12.     

On oscillatory integral Hilbert transformation with trigonometric polynomial phase

Let $ \mathcal{P}_n $ denote the set of algebraic polynomials of degree n with the real coefficients. Stein and Wpainger [1] proved that $$ \mathop {\sup }\limits_{p( \cdot ) \in \mathcal{P}_n } \left| {p.v.\int_\mathbb{R} {\frac{{e^{ip(x)} }} {x}dx} } \right| \leqslant C_n , $$ where C _n depends only on n. Later A. Carbery, S. Wainger and J. Wright (according to a communication obtained from I. R. Parissis), and Parissis [3] obtained the following sharp order estimate $$ \mathop {\sup }\limits_{p( \cdot ) \in \mathcal{P}_n } \left| {p.v.\int_\mathbb{R} {\frac{{e^{ip(x)} }} {x}dx} } \right| \sim \ln n. $$ . Now let $ \mathcal{T}_n $ denote the set of trigonometric polynomials $$ t(x) = \frac{{a_0 }} {2} + \sum\limits_{k = 1}^n {(a_k coskx + b_k sinkx)} $$ with real coefficients a _k , b _k . The main result of the paper is that $$ \mathop {\sup }\limits_{t( \cdot ) \in \mathcal{T}_n } \left| {p.v.\int_\mathbb{R} {\frac{{e^{it(x)} }} {x}dx} } \right| \leqslant C_n , $$ with an effective bound on C _n . Besides, an analog of a lemma, due to I. M. Vinogradov, is established, concerning the estimate of the measure of the set, where a polynomial is small, via the coefficients of the polynomial.     

Subsets of PG(n,2) and Maximal Partial Spreads in PG(4,2)

Put θ _n = # {points in PG(n,2)} and φ _n = #{lines in PG(n,2)}. Let ψ be anypoint-subset of PG(n,2). It is shown thatthe sum of L = #{internal lines of ψ} and L′= #{external lines of ψ} is the same for all ψ having the same cardinality:[6pt] Theorem A If k is defined by k = |ψ| ? θ _{n ? 1}, then $$L + L' = \phi _{n - 1} + k(k - 1)/2.$$ (The generalization of this to subsets of PG(n,3) is also obtained.) Let $\mathcal{S}$ be a partial spreadof lines in PG(4,2) and let N denote the number of reguli contained in $\mathcal{S}$ .Use of Theorem A gives rise to a simple proof of:[6pt] Theorem B If $\mathcal{S}$ is maximal then one of the followingholds: (i) $\left| \mathcal{S} \right| = 5,{\text{ }}N = 10;{\text{ }}$ (ii) $\left| \mathcal{S} \right| = 7,{\text{ }}N = 4;{\text{ }}$ (iii) $\left| \mathcal{S} \right| = 9,{\text{ }}N = 4.$ If (i) holds then $\mathcal{S}$ is spread in a hyperplane.It is shown that possibility (ii) is realized by precisely threeprojectively distinct types of partial spread. Explicit examplesare also given of four projectively distinct types of partialspreads which realize possibility (iii). For one of these types,type X, the four reguli have a common line. It isshown that those partial spreads in PG(4,2) of size 9 which arise, by a simple construction, from a spreadin PG(5,2), are all of type X.     

Sign-changing stationary solutions and blowup for a nonlinear heat equation in dimension two

Consider the nonlinear heat equation $$v_t -\Delta v=|v|^{p-1}v \qquad \qquad \qquad (NLH)$$ in the unit ball of \({\mathbb{R}^2}\) , with Dirichlet boundary condition. Let \({u_{p,\mathcal{K}}}\) be a radially symmetric, sign-changing stationary solution having a fixed number \({\mathcal{K}}\) of nodal regions. We prove that the solution of (NLH) with initial value \({\lambda u_{p,\mathcal{K}}}\) blows up in finite time if |λ ?1| > 0 is sufficiently small and if p is sufficiently large. The proof is based on the analysis of the asymptotic behavior of \({u_{p,\mathcal{K}}}\) and of the linearized operator \({L= -\Delta - p | u_{p,\mathcal{K}} | ^{p-1}}\) .     

A smooth global branch of solutions for a semilinear elliptic equation on {\mathbb{R}^N}

The existence of a global branch of positive spherically symmetric solutions ${\{(\lambda,u(\lambda)):\lambda\in(0,\infty)\}}$ of the semilinear elliptic equation $$\Delta u - \lambda u + V(x)|u|^{p-1}u = 0 \quad \text{in}\,\mathbb{R}^N\,\text{with}\,N\geq3$$ is proved for ${1 < p < 1+\frac{4-2b}{N-2}}$ , where ${b\in(0,2)}$ is such that the radial function V vanishes at infinity like |x|^?b . V is allowed to be singular at the origin but not worse than |x|^?b . The mapping ${\lambda\mapsto u(\lambda)}$ is of class ${C^r((0,\infty),H^1(\mathbb{R}^N))}$ if ${V\in C^r(\mathbb{R}^N\setminus\{0\},\mathbb{R})}$ , for r = 0, 1. Further properties of regularity and decay at infinity of solutions are also established. This work is a natural continuation of previous results by Stuart and the author, concerning the existence of a local branch of solutions of the same equation for values of the bifurcation parameter λ in a right neighbourhood of λ = 0. The variational structure of the equation is deeply exploited and the global continuation is obtained via an implicit function theorem.     

The large rank of a finite semigroup using prime subsets

The large rank of a finite semigroup \(\Gamma \) , denoted by \(r_5(\Gamma )\) , is the least number \(n\) such that every subset of \(\Gamma \) with \(n\) elements generates \(\Gamma \) . Howie and Ribeiro showed that \(r_5(\Gamma ) = |V| + 1\) , where \(V\) is a largest proper subsemigroup of \(\Gamma \) . This work considers the complementary concept of subsemigroups, called prime subsets, and gives an alternative approach to find the large rank of a finite semigroup. In this connection, the paper provides a shorter proof of Howie and Ribeiro’s result about the large rank of Brandt semigroups. Further, this work obtains the large rank of the semigroup of order-preserving singular selfmaps.