On value sets of polynomials over a field

Let F be any field. Let p(F) be the characteristic of F if F is not of characteristic zero, and let p(F)=+∞ otherwise. Let A₁,…,A_n be finite nonempty subsets of F, and let

with k{1,2,3,…}, a₁,…,a_nF{0} and degg<k. We show that

When kn and |A_i|i for i=1,…,n, we also have

consequently, if nk then for any finite subset A of F we have

In the case n>k, we propose a further conjecture which extends the Erdős–Heilbronn conjecture in a new direction.     

About the geometry of almost para-quaternionic manifolds

We provide a general criterion for the integrability of the almost para-quaternionic structure of an almost para-quaternionic manifold of dimension 4m8 in terms of the integrability of two or three sections of the defining rank three vector bundle . We relate it with the integrability of the canonical almost complex structure of the twistor space and with the integrability of the canonical almost para-complex structure of the reflector space of . We deduce that has plenty of locally defined, compatible, complex and para-complex structures, provided that is integrable.     

A supplement to the Davis–Gut law

Let {X,X_n;n1} be a sequence of i.i.d. real-valued random variables and set , n1. Let h() be a positive nondecreasing function such that . Define Lt=log_emax{e,t} for t0. In this note we prove that

if and only if E(X)=0 and E(X²)=1, where , t1. When h(t)≡1, this result yields what is called the Davis–Gut law. Specializing our result to h(t)=(Lt)^r, 0<r1, we obtain an analog of the Davis–Gut law.     

On a Liouville phenomenon for entire weak supersolutions of elliptic partial differential equations

We study a new Liouville-type phenomenon for entire weak supersolutions of elliptic partial differential equations of the form A(u)=0 on , n2. Typical examples of the operator A(u) are the p-Laplacian for p>1, the mean curvature operator, and their well-known modifications.     

Generalised twists, , and the p-energy over a space of measure preserving maps

Let be a bounded Lipschitz domain and consider the energy functional

with p]1,∞[ over the space of measure preserving maps

In this paper we introduce a class of maps referred to as generalised twists and examine them in connection with the Euler–Lagrange equations associated with over . The main result is a surprising discrepancy between even and odd dimensions. Here we show that in even dimensions the latter system of equations admit infinitely many smooth solutions, modulo isometries, amongst such maps. In odd dimensions this number reduces to one. The result relies on a careful analysis of the full versus the restricted Euler–Lagrange equations where a key ingredient is a necessary and sufficient condition for an associated vector field to be a gradient.     

An optimal symbolic calculus on Besov algebras

In this paper we consider Besov algebras on , that is Besov spaces for s>1/p. For s>1+(1/p), p>4/3, and qp we prove that the above algebras have a maximal symbolic calculus in the following sense: for any function f belonging locally to and such that f(0)=0, the associated superposition operator T_f(g):=f○g takes to itself.     

Cohomology and deformations of the infinite-dimensional filiform Lie algebra

Denote the infinite-dimensional -graded Lie algebra defined by basis e_i, i1, and relations [e₁,e_i]=e_i+1 for all i2. We compute in this article the bracket structure on , and in relation to this, we establish that there are only finitely many true deformations of in each non-positive weight by constructing them explicitly. It turns out that in weight 0 one gets exactly the other two filiform Lie algebras.     

Quadrature in Besov spaces on the Euclidean sphere

Let q1 be an integer, denote the unit sphere embedded in the Euclidean space , and μ_q be its Lebesgue surface measure. We establish upper and lower bounds for

where is the unit ball of a suitable Besov space on the sphere. The upper bounds are obtained for choices of x_k and w_k that admit exact quadrature for spherical polynomials of a given degree, and satisfy a certain continuity condition; the lower bounds are obtained for the infimum of the above quantity over all choices of x_k and w_k. Since the upper and lower bounds agree with respect to order, the complexity of quadrature in Besov spaces on the sphere is thereby established.     

A characterization of Q-polynomial distance-regular graphs

Let Γ denote a distance-regular graph with diameter D3. Let θ denote a nontrivial eigenvalue of Γ and let denote the corresponding dual eigenvalue sequence. In this paper we prove that Γ is Q-polynomial with respect to θ if and only if the following (i)–(iii) hold:

(i) There exist such that

(1)

(ii) There exist such that the intersection numbers a_i satisfy

for 0iD, where and are the scalars which satisfy Eq. (1) for i=0, i=D, respectively.

(iii) for 1iD.

Hilbert's Tenth Problem for function fields of varieties over number fields and p-adic fields

Let k be a subfield of a p-adic field of odd residue characteristic, and let be the function field of a variety of dimension n1 over k. Then Hilbert's Tenth Problem for is undecidable. In particular, Hilbert's Tenth Problem for function fields of varieties over number fields of dimension 1 is undecidable.     

Weight distribution of some reducible cyclic codes

Let q=p^m where p is an odd prime, m3, k1 and gcd(k,m)=1. Let Tr be the trace mapping from to and . In this paper we determine the value distribution of following two kinds of exponential sums

and

where is the canonical additive character of . As an application, we determine the weight distribution of the cyclic codes and over with parity-check polynomial h₂(x)h₃(x) and h₁(x)h₂(x)h₃(x), respectively, where h₁(x), h₂(x) and h₃(x) are the minimal polynomials of π⁻¹, π⁻² and π^−(pk+1) over , respectively, for a primitive element π of .     

Ground states of nonlinear Schrödinger equations with potentials

In this paper we study the nonlinear Schrödinger equation:

We give general conditions which assure the existence of ground state solutions. Under a Nehari type condition, we show that the standard Ambrosetti–Rabinowitz super-linear condition can be replaced by a more natural super-quadratic condition.     

On the chromatic number of an oriented matroid

We prove that the chromatic number of an oriented matroid of rank r3 is at most r+1 with equality if and only if is the oriented matroid of an orientation of K_r+1, the complete graph on r+1 vertices.     

On new Bloch-type spaces

We introduce a new Bloch-type space, so called, the logarithmic Bloch-type space on the unit disc , as the space of all holomorphic functions f on such that

where α>0 and β0, and present some basic properties of the space. A necessary and a sufficient condition for a function with Hadamard gaps to belong to the logarithmic Bloch-type space are given, as well as some applications of these results to a composition operator.     

Partial regularity for solutions of a nonlinear elliptic equation with singular nonlinearity

We consider the following nonlinear elliptic equation with singular nonlinearity:

where α>β>1, a>0, and Ω is an open subset of , n2. Let uH¹(Ω) with and be a nonnegative stationary solution. If we denote the zero set of u by

we shall prove that the Hausdorff dimension of Σ is less than or equal to .     

On hypersurfaces with two distinct principal curvatures in a unit sphere

We investigate the immersed hypersurfaces in a unit sphere . By using Otsuki's idea, we obtain the local and global classification results for immersed hypersurfaces in of constant m-th mean curvature and two distinct principal curvatures of multiplicities n−1,1 (in the local version, we assume that the principal curvatures are non-zero when m2). As the result, we prove that any local hypersurface in of constant mean curvature and two distinct principal curvatures is an open part of a complete hypersurface of the same curvature properties. The corresponding result does not hold for m-th mean curvature when m2.     

Construction of nonseparable dual -wavelet frames in

Suppose and are two pairs of dual M-wavelet frames and N-wavelet frames in and , respectively, where M and N are s₁×s₁ and s₂×s₂ dilation matrices with a₁(|det(M)|-1) and (2a₂+1)(|det(N)|-1). Moreover, their mask symbols both satisfy mixed extension principle (MEP). Based on the mask symbols, a family of nonseparable dual Ω-wavelet frames in are constructed, where s=s₁+s₂, and with Θ and M^-1Θ both being integer matrices. Then a convolution scheme for improving regularity of wavelet frames is given. From the nonseparable dual Ω-wavelet frames, nonseparable Ω-wavelet frames with high regularity can be constructed easily. We give an algorithm for constructing nonseparable dual symmetric or antisymmetric wavelet frames in . From the dual Ω-wavelet frames, nonseparable dual Ω-wavelet frames with symmetry can be obtained easily. In the end, two examples are given.     

Ratewise-optimal non-sequential search strategies under constraints on the tests

Already in his Lectures on Search [A. Rényi, Lectures on the theory of search, University of North Carolina, Chapel Hill, Institute of Statistics, Mimeo Series No. 6007, 1969. [11]] Renyi suggested to consider a search problem, where an unknown is to be found by asking for containment in a minimal number m(n,k) of subsets A₁,…,A_m with the restrictions |A_i|k<n/2 for i=1,2,…,m.Katona gave in 1966 the lower bound m(n,k)logn/h(k/n) in terms of binary entropy and the upper bound m(n,k)(logn+1)/logn/k·n/k, which was improved by Wegener in 1979 to m(n,k)logn/logn/k(n/k-1).We prove here for k=pn that m(n,k)=logn+o(logn)/h(p), that is, ratewise optimality of the entropy bound: .Actually this work was motivated by a more recent study of Karpovsky, Chakrabarty, Levitin and Avresky of a problem on fault diagnosis in hypercubes, which amounts to finding the minimal number M(n,r) of Hamming balls of radius r=ρn with in the Hamming space , which separate the vertices. Their bounds on M(n,r) are far from being optimal. We establish bounds implying

However, it must be emphasized that the methods of prove for our two upper bounds are quite different.     

disjoint cycles containing specified independent vertices

Let k1 be an integer and G be a graph of order n3k satisfying the condition that σ₂(G)n+k-1. Let v₁,…,v_k be k independent vertices of G, and suppose that G has k vertex-disjoint triangles C₁,…,C_k with v_iV(C_i) for all 1ik.Then G has k vertex-disjoint cycles such that

(i) for all 1ik.

(ii) , and

(iii) At least k-1 of the k cycles are triangles.

The condition of degree sum σ₂(G)n+k-1 is sharp.

Hypercyclic sequences of PDE-preserving operators

A sequence of continuous linear operators is said to be hypercyclic if there exists a vector , called hypercyclic for , such that {T_nx:n0} is dense. A continuous linear operator, acting on some suitable function space, is PDE-preserving for a given set of convolution operators, when it map every kernel set for these operators invariantly. We establish hypercyclic sequences of PDE-preserving operators on , and study closed infinite-dimensional subspaces of, except for zero, hypercyclic vectors for these sequences.