Symmetric multi-box splines for higher degree

We consider the space S _n =S _n (v ₀,…,v _n+r ) of compactly supported C ^n?1 piecewise polynomials on a mesh M of lines through ?² in directions v ₀,…,v _n+r . A sequence ψ=(ψ ₁,…,ψ _r ) of elements of S _n is called a multi-box spline if every element of S _n is a finite linear combination of shifts of (the components of) ψ. For the case n=2, 3 we give some examples for multi-box splines and show that they are not always stable. It is further shown that any C ^n?1 piecewise polynomial of degree n≥2 on M, is possibly a symmetric multi-box spline.     

Diagonal norm hermitian matrices

If v is a norm on $\text{C}$ⁿ, let H(v) denote the set of all norm-Hermitians in $\text{C}$ⁿⁿ. Let S be a subset of the set of real diagonal matrices D. Then there exists a norm v such that S=H(v) (or S = H(v)∩D) if and only if S contains the identity and S is a subspace of D with a basis consisting of rational vectors. As a corollary, it is shown that, for a diagonable matrix h with distinct eigenvalues λ₁,…, λ_r, r?n, there is a norm v such that h ∈ H(v), but h^s?H(v), for some integer s, if and only if λ₂–λ₁,…, λ_r–λ₁ are linearly dependent over the rationals. It is also shown that the set of all norms v, for which H(v) consists of all real multiples of the identity, is an open, dense subset, in a natural metric, of the set of all norms.     

Isomorphism of circulant graphs and digraphs

Let S? {1, …, n?1} satisfy ?S = S mod n. The circulant graph G(n, S) with vertex set {v₀, v₁,…, v_n?1} and edge set E satisfies v_iv_j?E if and only if j ? i ∈ S, where all arithmetic is done mod n. The circulant digraph G(n, S) is defined similarly without the restriction S = ? S. Ádám conjectured that $\text{G(n, S) ? G(n, S′)}$ if and only if S = uS′ for some unit u mod n. In this paper we prove the conjecture true if n = pq where p and q are distinct primes. We also show that it is not generally true when n = p², and determine exact conditions on S that it be true in this case. We then show as a simple consequence that the conjecture is false in most cases when n is divisible by p² where p is an odd prime, or n is divisible by 2⁴.     

Interpolation by Integer-Valued Polynomials

LetRbe a Krull ring with quotient fieldKanda₁,…,a_ninR. If and only if thea_iare pairwise incongruent mod every height 1 prime ideal of infinite index inRdoes there exist for all valuesb₁,…,b_ninRan interpolating integer-valued polynomial, i.e., anf ∈ K[x] withf(a_i) = b_iandf(R) ⊆ R.IfSis an infinite subring of a discrete valuation ringR_vwith quotient fieldKanda₁,…,a_ninSare pairwise incongruent mod allM^k_v ∩ Sof infinite index inS, we also determine the minimald(depending on the distribution of thea_iamong residue classes of the idealsM^k_v ∩ S) such that for allb₁,…,b_n ∈ R_vthere exists a polynomialf ∈ K[x] of degree at mostdwithf(a_i) = b_iandf(S) ⊆ R_v.     

Divisibility properties of power GCD matrices and power LCM matrices

Let a,b and n be positive integers and the set S={x₁,…,x_n} of n distinct positive integers be a divisor chain (i.e. there exists a permutation σ on {1,…,n} such that x_σ(1)|…|x_σ(n)). In this paper, we show that if a|b, then the ath power GCD matrix (S^a) having the ath power (x_i,x_j)^a of the greatest common divisor of x_i and x_j as its i,j-entry divides the bth power GCD matrix (S^b) in the ring M_n(Z) of n×n matrices over integers. We show also that if a?b and n?2, then the ath power GCD matrix (S^a) does not divide the bth power GCD matrix (S^b) in the ring M_n(Z). Similar results are also established for the power LCM matrices.     

On cyclic decompositions of the complete graph into the 2-regular graphs

The symbol C(m₁ ⁿ ₁m₂ ⁿ ₂...m_s ⁿ _s) denotes a 2-regular graph consisting ofn _i cycles of lengthm _i , i=1, 2,…,s. In this paper, we give some construction methods of cyclic(K _v ,G)-designs, and prove that there exists a cyclic(K _v , G)-design whenG=C((4m ₁) ⁿ ₁(4m ₂) ⁿ ₂...(4m _s ) ⁿ _s andv ≡ 1 (mod 2¦G¦).     

A Characterization of Quadric Constant Scalar Curvature Hypersurfaces of Spheres

Let M?S ⁴ be a complete orientable hypersurface with constant scalar curvature. For any v∈R ⁵, let us define the two real functions \(l_{v}, f_{v}:M\to{\bf R}\) on M by l _v (x)=〈x,v〉 and f _v (x)=〈ν(x),v〉 with ν:M→S ⁴ a Gauss map of M. In this paper, we show that if we have that l _v =λf _v for some nonzero vector v∈R ⁵ and some real number λ, then M is either totally umbilical (a Euclidean sphere) or M is a Cartesian product of Euclidean spheres. We will also show with an example that the completeness condition is needed in this theorem.     

Calcul fonctionnel a plusieurs variables pour des operateurs pseudodifferentiels dansR n

We study aC ^∞ functional calculus with several variables forv pseudodifferential operatorsP ₁, …,P _v inR ⁿ . Whenf is a function belonging to the classS _1.0 ^r (R ^v ) of Hörmander, we prove that, under some conditions,f(P ₁,…,P _v) is a pseudodifferential operator, and we give an asymptotic formula for its symbol.     

An algorithm for unimodular completion over Laurent polynomial rings

We present a new and simple algorithm for completion of unimodular vectors with entries in a multivariate Laurent polynomial ring over an infinite field K. More precisely, given n?3 and a unimodular vector V=^t(v₁,…,v_n)∈Rⁿ (that is, such that 〈v₁,…,v_n〉=R), the algorithm computes a matrix M in M_n(R) whose determinant is a monomial such that MV=^t(1,0,…,0), and thus M^-1 is a completion of V to an invertible matrix.     

The rigidity of Clifford torusS^1 \left( {\sqrt {\frac{1}{n}} } \right) \times S^{n - 1} \left( {\sqrt {\frac{{n - 1}}{n}} } \right)

In this paper, we prove that ifM is ann-dimensional closed minimal hypersurface with two distinct principal curvatures of a unit sphereS ⁿ⁺¹ (1), thenS=n andM is a Clifford torus ifn≤S≤n+[2n ²(n+4)/3(n(n+4)+4)], whereS is the squared norm of the second fundamental form ofM.     

Halving Steiner 2-designs

A Steiner 2-design S(2,k,v) is said to be halvable if the block set can be partitioned into two isomorphic sets. This is equivalent to an edge-disjoint decomposition of a self-complementary graph G on v vertices into K_ks. The obvious necessary condition of those orders v for which there exists a halvable S(2,k,v) is that v admits the existence of an S(2,k,v) with an even number of blocks. In this paper, we give an asymptotic solution for various block sizes. We prove that for any k?5 or any Mersenne prime k, there is a constant number v₀ such that if v>v₀ and v satisfies the above necessary condition, then there exists a halvable S(2,k,v). We also show that a halvable S(2,2ⁿ,v) exists for over a half of possible orders. Some recursive constructions generating infinitely many new halvable Steiner 2-designs are also presented.     

Minimal tori with low nullity

The nullity of a minimal submanifold M⊂Sn is the dimension of the nullspace of the second variation of the area functional. That space contains as a subspace the effect of the group of rigid motions SO(n+1) of the ambient space, modulo those motions which preserve M, whose dimension is the Killing nullitykn(M) of M. In the case of 2-dimensional tori M in S³, there is an additional naturally-defined 2-dimensional subspace that contributes to the nullity; the dimension of the sum of the action of the rigid motions and this space is the natural nullitynnt(M). In this paper we will study minimal tori in S³ with natural nullity less than 8. We construct minimal immersions of the plane R² in S³ that contain all possible examples of tori with nnt(M)<8. We prove that the examples of Lawson and Hsiang with kn(M)=5 also have nnt(M)=5, and we prove that if the nnt(M)?6 then the group of isometries of M is not trivial.     

Only the first term of some series counts

Let X,X₁,X₂,… be i.i.d. random variables, and set S_n=X₁+?+X_n. We prove that for three important distributions of X, namely normal, exponential and geometric, series of the type ∑_n≥1a_nP(|S_n|≥xb_n) or ∑_n≥1a_nP(S_n≥xb_n) behave like their first term as x→∞.     

A set intersection theorem and applications

Using Scarf's algorithm for “computing” a fixed point of a continuous mapping, the following is proved: LetM ₁ ? M _n be closed sets inR ⁿ which cover the standard simplexS, so thatM _i coversS _i , the face ofS opposite vertexi. We say a point inS iscompletely labeled if it belongs to everyM _i andk-almost-completely labeled if it belongs to all butM _k . Then there exists a closed setT ofk-almost-completely labeled points which connects vertexk with some completely labeled point. This result is used to prove Browder's theorem (a parametric fixed-point theorem) inR ⁿ . It is also used to generate “algorithms” for the nonlinear complementarity problem which are analogous to the Lemke—Howson algorithm and the Cottle—Dantzig algorithm, respectively, for the linear complementarity problem.     

On Cohen braids

For a general connected surface M and an arbitrary braid α from the surface braid group B _n?1(M), we study the system of equations d ₁ β = … = d _n β = α, where the operation d _i is the removal of the ith strand. We prove that for M ≠ S ² and M ≠ ?P², this system of equations has a solution β ∈ B _n (M) if and only if d ₁ α = … = d _n?1 α. We call the set of braids satisfying the last system of equations Cohen braids. We study Cohen braids and prove that they form a subgroup. We also construct a set of generators for the group of Cohen braids. In the cases of the sphere and the projective plane we give some examples for a small number of strands.     

Complete Minimal Hypersurfaces in a Sphere

In this paper we investigate complete minimal hypersurfaces f : Mⁿ? \Bbb Sⁿ⁺¹f : M^{n}\rightarrow {\Bbb S}^{n+1} with at most two principal curvatures. We prove that if the squared norm S of the second fundamental form satisfies S ≥ n, then S = n and f(Mⁿ) is a minimal Clifford torus.     

Weak limits of zeros of orthogonal polynomials

Letμ be a positive unit Borel measure with infinite support on the interval [?1, 1]. LetP _n(x, μ) denote the monic orthogonal polynomial of degreen associated withμ, and letv _n(μ) denote the unit measure with mass 1/n at each zero ofP _n(x, μ). A carrier is a Borel subset of the support ofμ having unitμ-measure, and a measurev is carrier related toμ when it has the same carriers asμ. We demonstrate that for each carrierB of positive capacity there is a measurev, which is carrier related toμ, such that the equilibrium measure of the carrierB is the weak limit of the sequence {v _n(v)} _n ^=1/∞ .     

First nonzero eigenvalue of a pseudo-umbilical hypersurface in the unit sphere

S. Deshmukh has obtained interesting results for first nonzero eigenvalue of a minimal hypersurface in the unit sphere. In the present article, we generalize these results to pseudoumbilical hypersurface and prove: What conditions are satisfied by the first nonzero eigenvalue λ ₁ of the Laplacian operator on a compact immersed pseudo-umbilical hypersurface M in the unit sphere S ⁿ⁺¹. We also show that a compact immersed pseudo-umbilical hypersurface of the unit sphere S ⁿ⁺¹ with λ ₁ = n is either isometric to the sphere S ⁿ or for this hypersurface an inequaluity is fulfilled in which sectional curvatures of the hypersuface M participate.     

On the Behaviour of the spectral characteristic of Feigenbaum’s map

Let T _g : [?1, 1] ?? [?1, 1] be the Feigenbaum map. It is well known that T _g has a Cantor-type attractor F and a unique invariant measure ??₀ supported on F. The corresponding unitary operator (U _g ??)(x) = ??(g(x)) has pure point spectrum consisting of eigenvalues ?? _n,r , n ?? 1, 0 ?? r ?? 2 ^n?1 ? 1 with eigenfunctions e _r ⁽ⁿ⁾ (x). Suppose that f ?? C ¹([?1, 1]), f?? is absolutely continuous on [?1, 1] and f?? ?? L ^p ([?1, 1], d??₀), p > 1. Consider the sum of the amplitudes of the spectral measure of f: $$ Sn(f): = \sum\limits_{r = 0}^{2^n - 1} {|\rho _r^{(n)} |^2 ,\rho _r^{(n)} = \int\limits_{ - 1}^1 {f(x)\overline {e_r^{(n)} (x)} d\mu _o } } (x). $$ Using the thermodynamic formalism for T _g we prove that S _n (f) ?? 2^?n q ⁿ , as n ?? ??, where the constant q ?? (0, 1) does not depend on f.     

On the existence of bounded solutions for a nonlinear elliptic system

This work deals with the system (?Δ) ^m u?= a(x) v ^p , (?Δ) ^m v?=?b(x)?u ^q with Dirichlet boundary condition in a domain ${\Omega\subset\mathbb{R}^n}$ , where Ω is a ball if n ≥ 3 or a smooth perturbation of a ball when n?=?2. We prove that, under appropriate conditions on the parameters (a, b, p, q, m, n), any nonnegative solution (u, v) of the system is bounded by a constant independent of (u, v). Moreover, we prove that the conditions are sharp in the sense that, up to some border case, the relation on the parameters are also necessary. The case m?=?1 was considered by Souplet (Nonlinear Partial Differ Equ Appl 20:464–479, 2004). Our paper generalize to m ≥ 1 the results of that paper.