Surfaces of Rotation with Constant Extrinsic Curvature in a Conformally Flat 3-Space

In this work, we relate the extrinsic curvature of surfaces with respect to the Euclidean metric and any metrics that are conformal to the Euclidean metric. We introduce the space ${\mathbb{E}_3}$ ??the 3-dimensional real vector space equipped with a conformally flat metric that is a solution of the Einstein equation. We characterize the surfaces of rotation with constant extrinsic curvature in the space ${\mathbb{E}_3}$ . We obtain a one-parameter family of two-sheeted hyperboloids that are complete surfaces with zero extrinsic curvature in ${\mathbb{E}_3}$ . Moreover, we obtain a one-parameter family of cones and show that there exists another one-parameter family of complete surfaces of rotation with zero extrinsic curvature in ${\mathbb{E}_3}$ . Moreover, we show that there exist complete surfaces with constant negative extrinsic curvature in ${\mathbb{E}_3}$ . As an application we prove that there exist complete surfaces with Gaussian curvature K ?? ? ?? < 0, in contrast with Efimov??s Theorem for the Euclidean space, and Schlenker??s Theorem for the hyperbolic space.     

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.     

Lower large deviations for the maximal flow through a domain of {\mathbb{R}^d} in first passage percolation

We consider the standard first passage percolation model in the rescaled graph ${\mathbb{Z}^d/n}$ for d??? 2, and a domain ?? of boundary ?? in ${\mathbb{R}^d}$ . Let ??¹ and ??² be two disjoint open subsets of ??, representing the parts of ?? through which some water can enter and escape from ??. We investigate the asymptotic behaviour of the flow ${\phi_n}$ through a discrete version ?? _n of ?? between the corresponding discrete sets ${\Gamma^{1}_{n}}$ and ${\Gamma^{2}_{n}}$ . We prove that under some conditions on the regularity of the domain and on the law of the capacity of the edges, the lower large deviations of ${\phi_n/ n^{d-1}}$ below a certain constant are of surface order.     

Isolated boundary singularities of semilinear elliptic equations

Given a smooth domain ${\Omega\subset\mathbb{R}^N}$ such that ${0 \in \partial\Omega}$ and given a nonnegative smooth function ?? on ???, we study the behavior near 0 of positive solutions of ???u?=?u ^q in ?? such that u =? ?? on ???\{0}. We prove that if ${\frac{N+1}{N-1} < q < \frac{N+2}{N-2}}$ , then ${u(x)\leq C |x|^{-\frac{2}{q-1}}}$ and we compute the limit of ${|x|^{\frac{2}{q-1}} u(x)}$ as x ?? 0. We also investigate the case ${q= \frac{N+1}{N-1}}$ . The proofs rely on the existence and uniqueness of solutions of related equations on spherical domains.     

Higher complexity search problems for bounded arithmetic and a formalized no-gap theorem

We give a new characterization of the strict $\forall {\Sigma^b_j}$ sentences provable using ${\Sigma^b_k}$ induction, for 1 ?? j ?? k. As a small application we show that, in a certain sense, Buss??s witnessing theorem for strict ${\Sigma^b_k}$ formulas already holds over the relatively weak theory PV. We exhibit a combinatorial principle with the property that a lower bound for it in constant-depth Frege would imply that the narrow CNFs with short depth j Frege refutations form a strict hierarchy with j, and hence that the relativized bounded arithmetic hierarchy can be separated by a family of $\forall {\Sigma^b_1}$ sentences.     

Democracy functions and optimal embeddings for approximation spaces

We prove optimal embeddings for nonlinear approximation spaces $\mathcal{A}^{\alpha}_q$ , in terms of weighted Lorentz sequence spaces, with the weights depending on the democracy functions of the basis. As applications we recover known embeddings for N-term wavelet approximation in L ^p , Orlicz, and Lorentz norms. We also study the ??greedy classes?? ${\mathcal{G}_{q}^{\alpha}}$ introduced by Gribonval and Nielsen, obtaining new counterexamples which show that ${\mathcal{G}_{q}^{\alpha}}\not=\mathcal{A}^{\alpha}_q$ for most non-democratic unconditional bases.     

A geometric interpretation of the transition density of a symmetric Lévy process

We study for a class of symmetric Lévy processes with state space R n the transition density pt（x） in terms of two one-parameter families of metrics, （dt）t>0 and （δt）t>0. The first family of metrics describes the diagonal term pt（0）; it is induced by the characteristic exponent ψ of the Lévy process by dt（x, y） = ^1/2tψ（x-y）. The second and new family of metrics δt relates to ^1/2tψ through the formulawhere F denotes the Fourier transform. Thus we obtain the following "Gaussian" representation of the transition density: pt（x） = pt（0）e- δ2t （x,0） where pt（0） corresponds to a volume term related to tψ and where an "exponential" decay is governed by δ2t . This gives a complete and new geometric, intrinsic interpretation of pt（x）.     

Strong Central Limit Theorem for isotropic random walks in {\mathbb{R}^d}

We prove an optimal Gaussian upper bound for the densities of isotropic random walks on ${\mathbb{R}^d}$ in spherical case (d ?? 2) and ball case (d ?? 1). We deduce the strongest possible version of the Central Limit Theorem for the isotropic random walks: if ${\tilde S_n}$ denotes the normalized random walk and Y the limiting Gaussian vector, then ${\mathbb{E} f(\tilde S_{n}) \rightarrow \mathbb{E} f(Y)}$ for all functions f integrable with respect to the law of Y. We call such result a ??Strong CLT??. We apply our results to get strong hypercontractivity inequalities and strong Log-Sobolev inequalities.     

Inscribing nonmeasurable sets

Our main inspiration is the work in paper (Gitik and Shelah in Isr J Math 124(1):221?C242, 2001). We will prove that for a partition ${\mathcal{A}}$ of the real line into meager sets and for any sequence ${\mathcal{A}_n}$ of subsets of ${\mathcal{A}}$ one can find a sequence ${\mathcal{B}_n}$ such that ${\mathcal{B}_{n}}$ ??s are pairwise disjoint and have the same ??outer measure with respect to the ideal of meager sets??. We get?also generalization of this result to a class of ??-ideals posessing Suslin property. However, in that case we use additional set-theoretical assumption about non-existing of quasi-measurable cardinal below continuum.     

Ground state and multiple solutions for a critical exponent problem

We study the following Brezis?CNirenberg type critical exponent equation which is related to the Yamabe problem: $$-\Delta u=\lambda u+ |u|^{2^{\ast}-2}u, \quad u\in H_0^1 (\Omega),$$ where ?? is a smooth bounded domain in ${{\mathbb R}^N(N\ge3)}$ and 2^* is the critical Sobolev exponent. We show that, if N ?? 5, this problem has at least ${\lceil\frac{N+1}{2}\rceil}$ pairs of nontrivial solutions for each fixed ?? ?? ??₁, where ??₁ is the first eigenvalue of ??? with the Dirichlet boundary condition. For N ?? 3, we give energy estimates from below for ground state solutions.     

Liouville Systems of Mean Field Equations

In this article, we discuss the recent work of Lin and Zhang on the Liouville system of mean field equations: $$\Delta{u}_i+\sum_{j}a_{ij}\rho_{j} ({\frac{{h_j}e^{u_{j}}}{\int_{M}{h_{j}e^{u_{j}}}}-{\frac{1}{|M|}}})=0\,\, \quad{\rm on}\, M,$$ where M is a compact Riemann surface and |M| is the area, or $$\Delta{u}_i+\sum_{j}a_{ij}\rho_{j} \frac{{h_j}e^{u_{j}}}{\int_{\Omega}{h_{j}e^{u_{j}}}}=0\,\, \quad{\rm in}\, \Omega,$$ $${u_j}=0,\,\, \quad{\rm on}\, \partial\Omega, $$ where ?? is a bounded domain in ${\mathbb{R}^2}$ . Among other things, we completely determine the set of non-critical parameters and derive a degree counting formula for these systems.     

Projective curves with maximal regularity and applications to syzygies and surfaces

We first show that the union of a projective curve with one of its extremal secant lines satisfies the linear general position principle for hyperplane sections. We use this to give an improved approximation of the Betti numbers of curves ${{\mathcal C}\subset \mathbb P^r_K}$ of maximal regularity with ${{\rm deg}\, {\mathcal C}\leq 2r -3}$ . In particular we specify the number and degrees of generators of the vanishing ideal of such curves. We apply these results to study surfaces ${X \subset \mathbb P^r_K}$ whose generic hyperplane section is a curve of maximal regularity. We first give a criterion for ??an early descent of the Hartshorne-Rao function?? of such surfaces. We use this criterion to give a lower bound on the degree for a class of these surfaces. Then, we study surfaces ${X \subset\mathbb P^r_K}$ for which ${h^1(\mathbb P^r_K, {\mathcal I}_X(1))}$ takes a value close to the possible maximum deg X ? r +?1. We give a lower bound on the degree of such surfaces. We illustrate our results by a number of examples, computed by means of Singular, which show a rich variety of occuring phenomena.     

On the stability of the L p -norm of the Riemannian curvature tensor

We consider the Riemannian functional \(\mathcal {R}_{p}(g)={\int }_{M}|R(g)|^{p}dv_{g}\) defined on the space of Riemannian metrics with unit volume on a closed smooth manifold M where R(g) and dv _g denote the corresponding Riemannian curvature tensor and volume form and p ∈ (0, ∞). First we prove that the Riemannian metrics with non-zero constant sectional curvature are strictly stable for \(\mathcal {R}_{p}\) for certain values of p. Then we conclude that they are strict local minimizers for \(\mathcal {R}_{p}\) for those values of p. Finally generalizing this result we prove that product of space forms of same type and dimension are strict local minimizer for \(\mathcal {R}_{p}\) for certain values of p.     

Limit computable integer parts

Let R be a real closed field. An integer part I for R is a discretely ordered subring such that for every ${r \in R}$ , there exists an ${i \in I}$ so that i ?? r < i?+?1. Mourgues and Ressayre (J Symb Logic 58:641?C647, 1993) showed that every real closed field has an integer part. The procedure of Mourgues and Ressayre appears to be quite complicated. We would like to know whether there is a simple procedure, yielding an integer part that is ${\Delta^0_2(R)}$ ??limit computable relative to R. We show that there is a maximal Z-ring ${I \subseteq R}$ which is ${\Delta^0_2(R)}$ . However, this I may not be an integer part for R. By a result of Wilkie (Logic Colloquium ??77), any Z-ring can be extended to an integer part for some real closed field. Using Wilkie??s ideas, we produce a real closed field R with a Z-ring ${I \subseteq R}$ such that I does not extend to an integer part for R. For a computable real closed field, we do not know whether there must be an integer part in the class ${\Delta^0_2}$ . We know that certain subclasses of ${\Delta^0_2}$ are not sufficient. We show that for each ${n \in \omega}$ , there is a computable real closed field with no n-c.e. integer part. In fact, there is a computable real closed field with no n-c.e. integer part for any n.     

Continuity of solutions of a problem in the calculus of variations

We study the problem of minimizing ${\int_{\Omega} L(x,u(x),Du(x))\,{\rm d}x}$ over the functions ${u\in W^{1,p}(\Omega)}$ that assume given boundary values ${\phi}$ on ???. We assume that L(x, u, Du)?=?F(Du)?+?G(x, u) and that F is convex. We prove that if ${\phi}$ is continuous and ?? is convex, then any minimum u is continuous on the closure of ??. When ?? is not convex, the result holds true if F(Du)?=?f(|Du|). Moreover, if ${\phi}$ is Lipschitz continuous, then u is H?lder continuous.     

Prescribed diagonal Schouten tensor in locally conformally flat manifolds

We consider the pseudo-euclidean space ${(\mathbb{R}^n, g)}$ , with n ≥  3 and ${g_{ij} = \delta_{ij} \varepsilon_i, \varepsilon_i = \pm 1}$ and tensors of the form ${T = \sum \nolimits_i \varepsilon_i f_i (x) dx_i^2}$ . In this paper, we obtain necessary and sufficient conditions for a diagonal tensor to admit a metric ${\bar{g}}$ , conformal to g, so that ${A_{\bar g}=T}$ , where ${A_{\bar g}}$ is the Schouten Tensor of the metric ${\bar g}$ . The solution to this problem is given explicitly for special cases for the tensor T, including a case where the metric ${\bar g}$ is complete on ${\mathbb{R}^n}$ . Similar problems are considered for locally conformally flat manifolds. As an application of these results we consider the problem of finding metrics ${\bar g}$ , conformal to g, such that ${\sigma_2 ({\bar g })}$ or ${\frac{\sigma_2 ({\bar g })}{\sigma_1 ({\bar g })}}$ is equal to a given function. We prove that for some functions, f ₁ and f ₂, there exist complete metrics ${\bar{g} = g/{\varphi^2}}$ , such that ${\sigma_2 ({\bar g }) = f_1}$ or ${\frac{\sigma_2 ({\bar g })}{\sigma_1 ({\bar g })} = f_2}$ .     

Axiomatisability problems for S-acts, revisited

This paper discusses necessary and sufficient conditions on a monoid S, such that a class of left S-acts is first order axiomatisable. Such questions have previously been considered by Bulman-Fleming, Gould, Stepanova and others. Let $\mathcal{C}$ be a class of embeddings of right S-acts. A left S-act B is $\mathcal{C}$ -flat if tensoring with B preserves the embeddings in $\mathcal{C}$ . We find two sets (depending on a property of $\mathcal{C}$ ) of necessary and sufficient conditions on S such that the class of all $\mathcal{C}$ -flat left S-acts is axiomatisable. These results are similar to the ??replacement tossings?? results of Gould and Shaheen for S-posets. Further, we show how to axiomatise some classes using both replacement tossings and interpolation conditions, thus throwing some light on the former technique.     

Missing edge coverings of bipartite graphs and the geometry of the Hausdorff metric

In this paper, we examine the problem of finding the number ${k}$ of elements at a given location on the line segment between two elements in the geometry the Hausdorff metric imposes on the set ${\mathcal{H} (\mathbb{R}^{n})}$ of all nonempty compact sets in n-dimensional real space. We demonstrate that this problem is equivalent to counting the edge coverings of simple bipartite graphs. We prove the novel results that there exist no simple bipartite graphs with exactly 19 or 37 edge coverings, and hence there do not exist any two elements of ${\mathcal{H} (\mathbb{R}^{n})}$ with exactly 19 or 37 elements at a given location lying between them—although there exist pairs of elements in ${\mathcal{H} (\mathbb{R}^{n})}$ that have k elements at any given location between them for infinitely many values of k, including k from 1 to 18 and 20 to 36. This paper extends results in the geometry of the Hausdorff metric given in J. Geom. 92: 28–59 (2009). In addition to our results about counting edge coverings, we give a brief introduction to this geometry.     

Interpolation on the hypersphere with Thiele type rational interpolants

In order to interpolate 2n?+?1 points on the unit hypersphere $ \mathcal{S}^{d-1}$ with a vector-valued rational function, we use the Generalised Inverse Rational Interpolants (GIRI) of Graves?CMorris. The construction process of these Thiele type rational interpolants is based on the Samelson??s inverse for vectors. We show that in general any GIRI of 2n?+?1 points of $ \mathcal{S}^{d-1}$ lies on $ \mathcal{S}^{d-1}$ . We also show that the stereographic projection induces a one-to-one correspondence between the set of vector-valued rational functions lying on $ \mathcal{S}^{d-1}$ and the set of Generalised Inverse Rational Fractions in the equator plane.