Conservative fragments of {{S}^{1}_{2}} and {{R}^{1}_{2}}

Conservative subtheories of ${{R}^{1}_{2}}$ and ${{S}^{1}_{2}}$ are presented. For ${{S}^{1}_{2}}$ , a slight tightening of Je?ábek??s result (Math Logic Q 52(6):613?C624, 2006) that ${T^{0}_{2} \preceq_{\forall \Sigma^{b}_{1}}S^{1}_{2}}$ is presented: It is shown that ${T^{0}_{2}}$ can be axiomatised as BASIC together with induction on sharply bounded formulas of one alternation. Within this ${\forall\Sigma^{b}_{1}}$ -theory, we define a ${\forall\Sigma^{b}_{0}}$ -theory, ${T^{-1}_{2}}$ , for the ${\forall\Sigma^{b}_{0}}$ -consequences of ${S^{1}_{2}}$ . We show ${T^{-1}_{2}}$ is weak by showing it cannot ${\Sigma^{b}_{0}}$ -define division by 3. We then consider what would be the analogous ${\forall\hat\Sigma^{b}_{1}}$ -conservative subtheory of ${R^{1}_{2}}$ based on Pollett (Ann Pure Appl Logic 100:189?C245, 1999. It is shown that this theory, ${{T}^{0,\left\{2^{(||\dot{id}||)}\right\}}_{2}}$ , also cannot ${\Sigma^{b}_{0}}$ -define division by 3. On the other hand, we show that ${{S}^{0}_{2}+open_{\{||id||\}}}$ -COMP is a ${\forall\hat\Sigma^{b}_{1}}$ -conservative subtheory of ${R^{1}_{2}}$ . Finally, we give a refinement of Johannsen and Pollett (Logic Colloquium?? 98, 262?C279, 2000) and show that ${\hat{C}^{0}_{2}}$ is ${\forall\hat\Sigma^{b}_{1}}$ -conservative over a theory based on open _cl-comprehension.     

Zero-temperature Glauber dynamics on {\mathbb{Z}^d}

We study zero-temperature Glauber dynamics on ${\mathbb{Z}^d}$ , which is a dynamic version of the Ising model of ferromagnetism. Spins are initially chosen according to a Bernoulli distribution with density p, and then the states are continuously (and randomly) updated according to the majority rule. This corresponds to the sudden quenching of a ferromagnetic system at high temperature with an external field, to one at zero temperature with no external field. Define ${p_c(\mathbb{Z}^d)}$ to be the infimum over p such that the system fixates at ???+??? with probability 1. It is a folklore conjecture that ${p_c(\mathbb{Z}^d) = 1/2}$ for every ${2 \le d \in \mathbb{N}}$ . We prove that ${p_c(\mathbb{Z}^d) \to 1/2}$ as d ?? ??.     

Axiomatizability by {{\forall}{\exists}!}-sentences

A ${\forall\exists!}$ -sentence is a sentence of the form ${\forall x_{1}\cdots x_{n}\exists!y_{1}\cdots y_{m}O(\overline{x},\overline{y})}$ , where O is a quantifier-free formula, and ${\exists!}$ stands for ??there exist unique??. We prove that if ${\mathcal{C}}$ is (up to isomorphism) a finite class of finite models then ${\mathcal{C}}$ is axiomatizable by a set of ${\forall\exists!}$ -sentences if and only if ${\mathcal{C}}$ is closed under isomorphic images, ${\mathcal{C}}$ has the intersection property, and ${\mathcal{C}}$ is closed under fixed-point submodels. This result is employed to characterize the subclasses of finitely generated discriminator varieties axiomatizable by sentences of the form ${\forall\exists!\bigwedge p=q}$ .     

Heavy tail phenomenon and convergence to stable laws for iterated Lipschitz maps

We consider the Markov chain ${\{X_n^x\}_{n=0}^\infty}$ on ${\mathbb{R}^d}$ defined by the stochastic recursion ${X_{n}^{x}= \psi_{\theta_{n}} (X_{n-1}^{x})}$ , starting at ${x\in\mathbb{R}^d}$ , where ?? ₁, ?? ₂, . . . are i.i.d. random variables taking their values in a metric space ${(\Theta, \mathfrak{r})}$ , and ${\psi_{\theta_{n}} :\mathbb{R}^d\mapsto\mathbb{R}^d}$ are Lipschitz maps. Assume that the Markov chain has a unique stationary measure ??. Under appropriate assumptions on ${\psi_{\theta_n}}$ , we will show that the measure ?? has a heavy tail with the exponent ???>?0 i.e. ${\nu(\{x\in\mathbb{R}^d: |x| > t\})\asymp t^{-\alpha}}$ . Using this result we show that properly normalized Birkhoff sums ${S_n^x=\sum_{k=1}^n X_k^x}$ , converge in law to an ??-stable law for ${\alpha\in(0, 2]}$ .     

Helly-type theorems for intersections of sets starshaped via orthogonally convex paths

Let ${\mathcal{K}}$ be a family of simply connected sets in the plane. If every countable subfamily of ${\mathcal{K}}$ has an intersection that is starshaped via orthogonally convex paths, then ${\mathcal{K}}$ itself has such an intersection. For the d-dimensional case, let ${\mathcal{K}}$ be a family of compact sets in ${\mathbb{R}^d}$ . If every finite subfamily of ${\mathcal{K}}$ has an intersection that is starshaped via orthogonally convex paths, again ${\mathcal{K}}$ itself has such an intersection.     

On {\mathbb{F}_q} -Rational Structure of Nilpotent Orbits in the Witt Algebra

Let ${\mathfrak{g}=W_1}$ be the p-dimensional Witt algebra over an algebraically closed field ${k=\overline{\mathbb{F}}_q}$ , where p > 3 is a prime and q is a power of p. Let G be the automorphism group of ${\mathfrak{g}}$ . The Frobenius morphism F _G (resp. ${F_\mathfrak{g}}$ ) can be defined naturally on G (resp. ${\mathfrak{g}}$ ). In this paper, we determine the ${F_\mathfrak{g}}$ -stable G-orbits in ${\mathfrak{g}}$ . Furthermore, the number of ${\mathbb{F}_q}$ -rational points in each ${F_\mathfrak{g}}$ -stable orbit is precisely given. Consequently, we obtain the number of ${\mathbb{F}_q}$ -rational points in the nilpotent variety.     

A zoo of diffeomorphism groups on \mathbb{R }^{n}

We consider the groups ${\mathrm{Diff }}_\mathcal{B }(\mathbb{R }^n)$ , ${\mathrm{Diff }}_{H^\infty }(\mathbb{R }^n)$ , and ${\mathrm{Diff }}_{\mathcal{S }}(\mathbb{R }^n)$ of smooth diffeomorphisms on $\mathbb{R }^n$ which differ from the identity by a function which is in either $\mathcal{B }$ (bounded in all derivatives), $H^\infty = \bigcap _{k\ge 0}H^k$ , or $\mathcal{S }$ (rapidly decreasing). We show that all these groups are smooth regular Lie groups.     

Harmonic mappings and conformal minimal immersions of Riemann surfaces into {\mathbb {R}^{\rm N}}

We prove that for any open Riemann surface ${\mathcal{N}}$ , natural number N ≥ 3, non-constant harmonic map ${h:\mathcal{N} \to \mathbb{R}}$ ^N?2 and holomorphic 2-form ${\mathfrak{H}}$ on ${\mathcal{N}}$ , there exists a weakly complete harmonic map ${X=(X_j)_{j=1,\ldots,{\sc N}}:\mathcal{N} \to \mathbb{R}^{\sc N}}$ with Hopf differential ${\mathfrak{H}}$ and ${(X_j)_{j=3,\ldots,{\sc N}}=h.}$ In particular, there exists a complete conformal minimal immersion ${Y=(Y_j)_{j=1,\ldots,{\sc N}}:\mathcal{N} \to \mathbb{R}^{\sc N}}$ such that ${(Y_j)_{j=3,\ldots,{\sc N}}=h}$ . As some consequences of these results (1) there exist complete full non-decomposable minimal surfaces with arbitrary conformal structure and whose generalized Gauss map is non-degenerate and fails to intersect N hyperplanes of ${\mathbb{CP}^{{\sc N}-1}}$ in general position. (2) There exist complete non-proper embedded minimal surfaces in ${\mathbb{R}^{\sc N},}$ ${\forall\,{\sc N} >3 .}$      

On Quadratic Differentials and Twisted Normal Maps of Surfaces in {\mathbb{S}^{2} \times\mathbb{R}} and {\mathbb{H}^{2} \times\mathbb{R}}

Given a Lie group G with a bi-invariant metric and a compact Lie subgroup K, Bittencourt and Ripoll used the homogeneous structure of quotient spaces to define a Gauss map ${\mathcal{N}:M^{n}\rightarrow{\mathbb{S}}}$ on any hypersupersurface ${M^{n}\looparrowright G/K}$ , where ${{\mathbb{S}}}$ is the unit sphere of the Lie algebra of G. It is proved in Bittencourt and Ripoll (Pacific J Math 224:45–64, 2006) that M ⁿ having constant mean curvature (CMC) is equivalent to ${\mathcal{N}}$ being harmonic, a generalization of a Ruh–Vilms theorem for submanifolds in the Euclidean space. In particular, when n = 2, the induced quadratic differential ${\mathcal{Q}_{\mathcal{N}}:=(\mathcal{N}^{\ast}g)^{2,0}}$ is holomorphic on CMC surfaces of G/K. In this paper, we take ${G/K={\mathbb{S}}^{2}\times{\mathbb{R}}}$ and compare ${\mathcal{Q}_{\mathcal{N}}}$ with the Abresch–Rosenberg differential ${\mathcal{Q}}$ , also holomorphic for CMC surfaces. It is proved that ${\mathcal{Q}=\mathcal{Q}_{\mathcal{N}}}$ , after showing that ${\mathcal{N}}$ is the twisted normal given by (1.5) herein. Then we define the twisted normal for surfaces in ${{\mathbb{H}}^{2}\times{\mathbb{R}}}$ and prove that ${\mathcal{Q}=\mathcal{Q}_{\mathcal{N}}}$ as well. Within the unified model for the two product spaces, we compute the tension field of ${\mathcal{N}}$ and extend to surfaces in ${{\mathbb{H}}^{2}\times{\mathbb{R}}}$ the equivalence between the CMC property and the harmonicity of ${\mathcal{N}.}$      

Composition Operators on Spaces of Fractional Cauchy Transforms

For ?? > 0, the Banach space ${\mathcal{F}_{\alpha}}$ is defined as the collection of functions f which can be represented as integral transforms of an appropriate kernel against a Borel measure defined on the unit circle T. Let ?? be an analytic self-map of the unit disc D. The map ?? induces a composition operator on ${\mathcal{F}_{\alpha}}$ if ${C_{\Phi}(f) = f \circ \Phi \in \mathcal{F}_{\alpha}}$ for any function ${f \in \mathcal{F}_{\alpha}}$ . Various conditions on ?? are given, sufficient to imply that C _?? is bounded on ${\mathcal{F}_{\alpha}}$ , in the case 0 < ?? < 1. Several of the conditions involve ???? and the theory of multipliers of the space ${\mathcal{F}_{\alpha}}$ . Relations are found between the behavior of C _?? and the membership of ?? in the Dirichlet spaces. Conditions given in terms of the generalized Nevanlinna counting function are shown to imply that ?? induces a bounded composition operator on ${\mathcal{F}_{\alpha}}$ , in the case 1/2 ?? ?? < 1. For such ??, examples are constructed such that ${\| \Phi \|_{\infty} = 1}$ and ${C_{\Phi}: \mathcal{F}_{\alpha} \rightarrow \mathcal{F}_{\alpha}}$ is bounded.     

Donsker-type theorems for nonparametric maximum likelihood estimators

Let ${\mathcal{P}}$ be a nonparametric probability model consisting of smooth probability densities and let ${\hat{p}_{n}}$ be the corresponding maximum likelihood estimator based on n independent observations each distributed according to the law ${\mathbb{P}}$ . With $\hat{\mathbb{P}}_{n}$ denoting the measure induced by the density ${\hat{p}_{n}}$ , define the stochastic process ${\hat{\nu}}_{n}: f\longmapsto \sqrt{n} \int fd({\hat{\mathbb{P}}}_{n} -\mathbb{P})$ where f ranges over some function class ${\mathcal{F}}$ . We give a general condition for Donsker classes ${\mathcal{F}}$ implying that the stochastic process $\hat{\nu}_{n}$ is asymptotically equivalent to the empirical process in the space ${\ell ^{\infty }(\mathcal{F})}$ of bounded functions on ${ \mathcal{F}}$ . This implies in particular that $\hat{\nu}_{n}$ converges in law in ${\ell ^{\infty }(\mathcal{F})}$ to a mean zero Gaussian process. We verify the general condition for a large family of Donsker classes ${\mathcal{ F}}$ . We give a number of applications: convergence of the probability measure ${\hat{\mathbb{P}}_{n}}$ to ${\mathbb{P}}$ at rate ${\sqrt{n}}$ in certain metrics metrizing the topology of weak(-star) convergence; a unified treatment of convergence rates of the MLE in a continuous scale of Sobolev-norms; ${\sqrt{n}}$ -efficient estimation of nonlinear functionals defined on ${\mathcal{P}}$ ; limit theorems at rate ${\sqrt{n}}$ for the maximum likelihood estimator of the convolution product ${\mathbb{P\ast P}}$ .     

Varieties generated by modes of submodes

In a natural way, we can ??lift?? any operation defined on a set A to an operation on the set of all non-empty subsets of A and obtain from any algebra ( ${A, \Omega}$ ) its power algebra of subsets. G. Gr?tzer and H. Lakser proved that for a variety ${\mathcal{V}}$ , the variety ${\mathcal{V}\Sigma}$ generated by power algebras of algebras in ${\mathcal{V}}$ satisfies precisely the consequences of the linear identities true in ${\mathcal{V}}$ . For certain types of algebras, the sets of their subalgebras form subalgebras of their power algebras. They are called the algebras of subalgebras. In this paper, we partially solve a long-standing problem concerning identities satisfied by the variety ${\mathcal{VS}}$ generated by algebras of subalgebras of algebras in a given variety ${\mathcal{V}}$ . We prove that if a variety ${\mathcal{V}}$ is idempotent and entropic and the variety ${\mathcal{V}\Sigma}$ is locally finite, then the variety ${\mathcal{VS}}$ is defined by the idempotent and linear identities true in ${\mathcal{V}}$ .     

Proper trajectories of type {\mathbb{C}^{\ast}} of a polynomial vector field on {\mathbb{C}^2}

We prove that if a polynomial vector field on ${\mathbb{C}^2}$ has a proper and non-algebraic trajectory analytically isomorphic to ${\mathbb{C}^{\ast}}$ all its trajectories are proper, and except at most one which is contained in an algebraic curve of type ${\mathbb{C}}$ all of them are of type ${\mathbb{C}^{\ast}}$ . As corollary we obtain an analytic version of Lin?CZa?denberg Theorem for polynomial foliations.     

On Suborbital Graphs for the Extended Modular Group {\hat{\Gamma}}

In this paper, we show that the extended modular group ${\hat{\Gamma}}$ acts on ${\hat{\mathbb{Q}}}$ transitively and imprimitively. Then the number of orbits of ${\hat{\Gamma} _{0}(N)}$ on ${\hat{\mathbb{Q}}}$ is calculated and compared with the number of orbits of ${\Gamma _{0}(N)}$ on ${\hat{\mathbb{Q}}}$ . Especially, we obtain the graphs ${\hat{G}_{u, N}}$ of ${\hat{\Gamma}_{0}(N)}$ on ${\hat{\mathbb{Q}}}$ , for each ${N\in\mathbb{N}}$ and each unit ${u \in U_{N} }$ , then we determine the suborbital graph ${\hat{F}_{u,N}}$ . We also give the edge conditions in ${\hat{G}_{u, N}}$ and the necessary and sufficient conditions for a circuit to be triangle in ${\hat{F}_{u, N}.}$      

Nikodym Maximal Functions Associated with Variable Planes in {\mathbb{R}^{3}}

Given a vector field ${\mathfrak{a}}$ on ${\mathbb{R}^3}$ , we consider a mapping ${x\mapsto \Pi_{\mathfrak{a}}(x)}$ that assigns to each ${x\in\mathbb{R}^3}$ , a plane ${\Pi_{\mathfrak{a}}(x)}$ containing x, whose normal vector is ${\mathfrak{a}(x)}$ . Associated with this mapping, we define a maximal operator ${\mathcal{M}^{\mathfrak{a}}_N}$ on ${L^1_{loc}(\mathbb{R}^3)}$ for each ${N\gg 1}$ by $$\mathcal{M}^{\mathfrak{a}}_Nf(x)=\sup_{x\in\tau} \frac{1}{|\tau|} \int_{\tau}|f(y)|\,dy$$ where the supremum is taken over all 1/N ×? 1/N?× 1 tubes τ whose axis is embedded in the plane ${\Pi_\mathfrak{a}(x)}$ . We study the behavior of ${\mathcal{M}^{\mathfrak{a}}_N}$ according to various vector fields ${\mathfrak{a}}$ . In particular, we classify the operator norms of ${\mathcal{M}^{\mathfrak{a}}_N}$ on ${L^2(\mathbb{R}^3)}$ when ${\mathfrak{a}(x)}$ is the linear function of the form (a ₁₁ x ₁?+?a ₂₁ x ₂, a ₁₂ x ₁?+?a ₂₂ x ₂, 1). The operator norm of ${\mathcal{M}^\mathfrak{a}_N}$ on ${L^2(\mathbb{R}^3)}$ is related with the number given by $$D=(a_{12}+a_{21})^2-4a_{11}a_{22}.$$      

Real Hypersurfaces in Complex Two-plane Grassmannians with {\mathfrak{D}^{\bot}}-Parallel Shape Operator

In this paper we consider a new notion of ${\mathfrak{D}^{\bot}}$ -parallel shape operator for real hypersurfaces in complex two-plane Grassmannians ${G_2(\mathbb{C}^{m+2})}$ and give a non-existence theorem for a Hopf hypersurface in ${G_2(\mathbb{C}^{m+2})}$ with ${\mathfrak{D}^{\bot}}$ -parallel shape operator.     

The intersection map of subgroups and the classes {\mathcal {PST}_c}, {\mathcal {PT}_c} and {\mathcal {T}_c}

A group G is called a ${\mathcal {T}_{c}}$ -group if every cyclic subnormal subgroup of G is normal in G. Similarly, classes ${\mathcal {PT}_{c}}$ and ${\mathcal {PST}_{c}}$ are defined, by requiring cyclic subnormal subgroups to be permutable or S-permutable, respectively. A subgroup H of a group G is called normal (permutable or S-permutable) cyclic sensitive if whenever X is a normal (permutable or S-permutable) cyclic subgroup of H there is a normal (permutable or S-permutable) cyclic subgroup Y of G such that ${X=Y \cap H}$ . We analyze the behavior of a collection of cyclic normal, permutable and S-permutable subgroups under the intersection map into a fixed subgroup of a group. In particular, we tie the concept of normal, permutable and S-permutable cyclic sensitivity with that of ${\mathcal {T}_c}$ , ${\mathcal {PT}_c}$ and ${\mathcal {PST}_c}$ groups. In the process we provide another way of looking at Dedekind, Iwasawa and nilpotent groups.