Rational holomorphic maps from \mathbb{B}^2 into \mathbb{B}^N with degree 2

Rational proper holomorphic maps from the unit ball in ?² into the unit ball ? ^N with degree 2 are studied. Any such map must be equivalent to one of the four types of maps.     

Classification of rotational special Weingarten surfaces of minimal type in {\mathbb{S}^2 \times \mathbb{R}} and {\mathbb{H}^2 \times \mathbb{R}}

In this paper we classify the complete rotational special Weingarten surfaces in ${\mathbb{S}^2 \times \mathbb{R}}$ and ${\mathbb{H}^2 \times \mathbb{R}}$ ; i.e. rotational surfaces in ${\mathbb{S}^2 \times \mathbb{R}}$ and ${\mathbb{H}^2 \times \mathbb{R}}$ whose mean curvature H and extrinsic curvature K _e satisfy H = f(H ² ? K _e ), for some function ${f \in \mathcal{C}^1([0,+\infty))}$ such that f(0) = 0 and 4x(f′(x))² < 1 for any x ≥ 0. Furthermore we show the existence of non-complete examples of such surfaces.     

Point Sets on the Sphere \mathbb{S}^{2} with Small Spherical Cap Discrepancy

In this paper we study the geometric discrepancy of explicit constructions of uniformly distributed points on the two-dimensional unit sphere. We show that the spherical cap discrepancy of random point sets, of spherical digital nets and of spherical Fibonacci lattices converges with order?N ^?1/2. Such point sets are therefore useful for numerical integration and other computational simulations. The proof uses an area-preserving Lambert map. A?detailed analysis of the level curves and sets of the pre-images of spherical caps under this map is given.     

Linearity and Second Fundamental Forms for Proper Holomorphic Maps from \mathbb{B}^{n+1} to \mathbb{B}^{4n-3}

For a holomorphic proper map F from the ball $\mathbb{B}^{n+1}$ into $\mathbb{B}^{N+1}$ that is C ³ smooth up to the boundary, the image $M=F(\partial\mathbb{B}^{n})$ is an immersed CR submanifold in the sphere $\partial \mathbb{B}^{N+1}$ on which some second fundamental forms II _M and $\mathit{II}^{CR}_{M}$ can be defined. It is shown that when 4??n+1<N+1??4n?3, F is linear fractional if and only if $\mathit{II}_{M} - \mathit{II}_{M}^{CR} \equiv 0$ .     

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}.}$      

The Hilbert functions ofk-configurations in\mathbb{P}^2 and\mathbb{P}^3

In this paper, we proved the set of points which are the vertices of then-gon in $\mathbb{P}^2 $ (n ≥ 3) has the Uniform Position Property and what the graded free resolutions of the ideals ofk-configurations in $\mathbb{P}^3 $ are.     

Biharmonic Submanifolds with Parallel Mean Curvature in \mathbb{S}^{n}\times\mathbb{R}

We find a Simons type formula for submanifolds with parallel mean curvature vector (pmc submanifolds) in product spaces M ⁿ (c)×?, where M ⁿ (c) is a space form with constant sectional curvature c, and then we use it to prove a gap theorem for the mean curvature of certain complete proper-biharmonic pmc submanifolds, and classify proper-biharmonic pmc surfaces in $\mathbb{S}^{n}(c)\times\mathbb{R}$ .     

Rank-one convex hulls in \mathbb{R}^{2\times2}

We study the rank-one convex hull of compact sets . We show that if K contains no two matrices whose difference has rank one, and if K contains no four matrices forming a T ₄ configuration, then the rank-one convex hull K ^rc is equal to K. Furthermore, we give a simple numerical criterion for testing for T ₄ configurations. Received: 20 August 2003, Accepted: 3 March 2004, Published online: 12 May 2004 Mathematics Subject Classification (2000): 49J45, 52A30 An erratum to this article can be found at     

Metrics with nonnegative curvature on {S^2 \times \mathbb{R}^4}

We study nonnegatively curved metrics on S²×\mathbbR⁴{S^2\times\mathbb{R}^4}. First, we prove rigidity theorems for connection metrics; for example, the holonomy group of the normal bundle of the soul must lie in a maximal torus of SO(4). Next, we prove that Wilking’s almost-positively curved metric on S ² × S ³ extends to a nonnegatively curved metric on S²×\mathbbR⁴{S^2\times\mathbb{R}^4} (so that Wilking’s space becomes the distance sphere of radius 1 about the soul). We describe in detail the geometry of this extended metric.     

Geodesics on the Moduli Space of Oriented Circles in \mathbb{S}^{3}

Let ${\mathbb{Q}^3}$ be the moduli space of oriented circles in the three dimensional unit sphere ${\mathbb{S}^3}$ . Given a natural complex structure such space becomes a three dimensional complex manifold, with a M?bius invariant Hermitian metric h of type (2, 1). Up to M?bius transformations, all geodesics with respect to the Lorentz metric g = Re(h) on ${\mathbb{Q}^3}$ are determined to form a one-parameter family of circles on a helicoid in a space form ${\mathbb{R}^3, \mathbb{H}^3}$ or ${\mathbb{S}^{3}}$ , resp. We show also that any two oriented circles in ${\mathbb{S}^3}$ are connected by countably infinitely many geodesics in ${\mathbb{Q}^3}$ .     

Construction of scrambled polynomial lattice rules over \mathbb{F}_{2} with small mean square weighted \mathcal{L}_{2} discrepancy

The \(\mathcal{L}_{2}\) discrepancy is one of several well-known quantitative measures for the equidistribution properties of point sets in the high-dimensional unit cube. The concept of weights was introduced by Sloan and Wo?niakowski to take into account the relative importance of the discrepancy of lower dimensional projections. As known under the name of quasi-Monte Carlo methods, point sets with small weighted \(\mathcal{L}_{2}\) discrepancy are useful in numerical integration. This study investigates the component-by-component construction of polynomial lattice rules over the finite field \(\mathbb{F}_{2}\) whose scrambled point sets have small mean square weighted \(\mathcal{L}_{2}\) discrepancy. An upper bound on this discrepancy is proved, which converges at almost the best possible rate of N ^?2+δ for all δ>0, where N denotes the number of points. Numerical experiments confirm that the performance of our constructed polynomial lattice point sets is comparable or even superior to that of Sobol’ sequences.     

Convergence of polyharmonic splines on semi-regular grids \mathbb{Z}{{\boldsymbol{\times}} \boldsymbol{a}} {\mathbb{Z}^{\it\boldsymbol{n}}} for {\boldsymbol{a}\rightarrow\mathbf {0}}

Let p, n ∈ ? with 2p ≥ n + 2, and let I _a be a polyharmonic spline of order p on the grid ? × a? ⁿ which satisfies the interpolating conditions $I_{a}\left( j,am\right) =d_{j}\left( am\right) $ for j ∈ ?, m ∈ ? ⁿ where the functions d _j : ? ⁿ → ? and the parameter a > 0 are given. Let $B_{s}\left( \mathbb{R}^{n}\right) $ be the set of all integrable functions f : ? ⁿ → ? such that the integral $$ \left\| f\right\| _{s}:=\int_{\mathbb{R}^{n}}\left| \widehat{f}\left( \xi\right) \right| \left( 1+\left| \xi\right| ^{s}\right) d\xi $$ is finite. The main result states that for given $\mathbb{\sigma}\geq0$ there exists a constant c>0 such that whenever $d_{j}\in B_{2p}\left( \mathbb{R}^{n}\right) \cap C\left( \mathbb{R}^{n}\right) ,$ j ∈ ?, satisfy $\left\| d_{j}\right\| _{2p}\leq D\cdot\left( 1+\left| j\right| ^{\mathbb{\sigma}}\right) $ for all j ∈ ? there exists a polyspline S : ? ⁿ⁺¹ → ? of order p on strips such that $$ \left| S\left( t,y\right) -I_{a}\left( t,y\right) \right| \leq a^{2p-1}c\cdot D\cdot\left( 1+\left| t\right| ^{\mathbb{\sigma}}\right) $$ for all y ∈ ? ⁿ , t ∈ ? and all 0 < a ≤ 1.     

On the Best Pinching Constant of Conformal Metrics on \mathbb {S}^{2} with One and Two Conical Singularities

We answer a long-standing open question asked by Thurston (The Geometry and Topology of Three-Manifolds. Princeton University Press, Princeton, 1978) concerning the best pinching constant for conformal metrics on $\mathbb {S}^{2}$ with one and two conical singularities of angles 2π(1+α ₁) and 2π(1+α ₁),2π(1+α ₂) in case α ₁∈(?1,0) and ?1<α ₁<α ₂<0, respectively. The case of one conical singularity is a corollary of a result in Chen and Lin (Commun. Anal. Geom. 6(1):1–19, 1998) concerning the curvature of conformal metrics on ?² with bounded Gaussian curvature 0<a≤K≤b<+∞. The case with two conical singularities is worked out by a generalization of that result.     

Independence entropy of \mathbb{Z}^{d}-shift spaces

We introduce a concept of independence entropy for symbolic dynamical systems. This notion of entropy measures the extent to which one can freely insert symbols in positions without violating the constraint defined by the shift space. We show that for a certain class of one-dimensional shift spaces X, the independence entropy coincides with the limiting, as d tends to infinity, topological entropy of the dimensional shift defined by imposing the constraints of X in each of the d cardinal directions. This is of interest because for these shift spaces independence entropy is easy to compute. Thus, while in these cases, the topological entropy of the d-dimensional shift (d≥2) is difficult to compute, the limiting topological entropy is easy to compute. In some cases, we also compute the rate of convergence of the sequence of d-dimensional entropies. This work generalizes earlier work on constrained systems with unconstrained positions.     

Atomic Decomposition of a Weighted Inductive Limit in \mathbb{C}^{n}

We construct an atomic decomposition of the space H_V^∞ consisting of analytic functions on the open unit disc. The research of the second named author was supported by the Academy of Finland project “Functional Analysis and Applications”.     

Cyclic DNA codes over the ring $$\mathbb {F}_2+u\mathbb {F}_2+v\mathbb {F}_2+uv\mathbb {F}_2+v^2\mathbb {F}_2+uv^2\mathbb {F}_2$$

We study the structure of cyclic DNA codes of odd length over the finite commutative ring \(R=\mathbb {F}_2+u\mathbb {F}_2+v\mathbb {F}_2+uv\mathbb {F}_2 + v^2\mathbb {F}_2+uv^2\mathbb {F}_2,~u^2=0, v^3=v\), which plays an important role in genetics, bioengineering and DNA computing. A direct link between the elements of the ring R and 64 codons used in the amino acids of living organisms is established by introducing a Gray map from R to \(R_1=\mathbb {F}_2+u\mathbb {F}_2 ~(u^2=0)\). The reversible and the reversible-complement codes over R are investigated. We also discuss the binary image of the cyclic DNA codes over R. Among others, some examples of DNA codes obtained via Gray map are provided.     

A Class of Integral Operators on the Unit Ball of \mathbb{C}^{n}

For real parameters a, b, c, and t, where c is not a nonpositive integer, we determine exactly when the integral operator

On Discrete groups of automorphisms of \mathbb P ^2_\mathbb{C }

We study the geometry and dynamics of discrete subgroups $\Gamma $ of $\mathrm{PSL}(3,\mathbb C )$ with an open invariant set $\Omega \subset \mathbb P _\mathbb{C }^2$ where the action is properly discontinuous and the quotient $\Omega /\Gamma $ contains a connected component whicis compact. We call such groups quasi-cocompact. In this case $\Omega /\Gamma $ is a compact complex projective orbifold and $\Omega $ is a divisible set. Our first theorem refines classical work by Kobayashi–Ochiai and others about complex surfaces with a projective structure: We prove that every such group is either virtually affine or complex hyperbolic. We then classify the divisible sets that appear in this way, the corresponding quasi-cocompact groups and the orbifolds $\Omega /\Gamma $ . We also prove that excluding a few exceptional cases, the Kulkarni region of discontinuity coincides with the equicontinuity region and is the largest open invariant set where the action is properly discontinuous.     

A new family of differentially 4-uniform permutations over $$\mathbb{F}_{2^{2k} }$$ for odd k

We study the differential uniformity of a class of permutations over \(\mathbb{F}_{2^n } \) with n even. These permutations are different from the inverse function as the values x^?1 are modified to be (γx)^? on some cosets of a fixed subgroup 〈γ〉 of \(\mathbb{F}_{2^n }^* \). We obtain some sufficient conditions for this kind of permutations to be differentially 4-uniform, which enable us to construct a new family of differentially 4-uniform permutations that contains many new Carlet-Charpin-Zinoviev equivalent (CCZ-equivalent) classes as checked by Magma for small numbers n. Moreover, all of the newly constructed functions are proved to possess optimal algebraic degree and relatively high nonlinearity.     

Uniqueness of \mathbb{C}^{ * } - and \mathbb{C}_{{\text{ + }}} -actions on Gizatullin Surfaces

A Gizatullin surface is a normal affine surface V over $ \mathbb{C} $ , which can be completed by a zigzag; that is, by a linear chain of smooth rational curves. In this paper we deal with the question of uniqueness of $ \mathbb{C}^{ * } $ -actions and $ \mathbb{A}^{{\text{1}}} $ -fibrations on such a surface V up to automorphisms. The latter fibrations are in one to one correspondence with $ \mathbb{C}_{{\text{ + }}} $ -actions on V considered up to a “speed change”. Non-Gizatullin surfaces are known to admit at most one $ \mathbb{A}^{1} $ -fibration V → S up to an isomorphism of the base S. Moreover, an effective $ \mathbb{C}^{ * } $ -action on them, if it does exist, is unique up to conjugation and inversion t $ \mapsto $ t ^?1 of $ \mathbb{C}^{ * } $ . Obviously, uniqueness of $ \mathbb{C}^{ * } $ -actions fails for affine toric surfaces. There is a further interesting family of nontoric Gizatullin surfaces, called the Danilov-Gizatullin surfaces, where there are in general several conjugacy classes of $ \mathbb{C}^{ * } $ -actions and $ \mathbb{A}^{{\text{1}}} $ -fibrations, see, e.g., [FKZ1]. In the present paper we obtain a criterion as to when $ \mathbb{A}^{{\text{1}}} $ -fibrations of Gizatullin surfaces are conjugate up to an automorphism of V and the base $ S \cong \mathbb{A}^{{\text{1}}} $ . We exhibit as well large subclasses of Gizatullin $ \mathbb{C}^{ * } $ -surfaces for which a $ \mathbb{C}^{ * } $ -action is essentially unique and for which there are at most two conjugacy classes of $ \mathbb{A}^{{\text{1}}} $ -fibrations over $ \mathbb{A}^{{\text{1}}} $ .