Permutation polynomials of the form

Recently, several classes of permutation polynomials of the form (x²+x+δ)^s+x over have been discovered. They are related to Kloosterman sums. In this paper, the permutation behavior of polynomials of the form (x^p−x+δ)^s+L(x) over is investigated, where L(x) is a linearized polynomial with coefficients in . Six classes of permutation polynomials on are derived. Three classes of permutation polynomials over are also presented.     

On coefficients of polynomials over finite fields

In this paper we study the relation between coefficients of a polynomial over finite field Fq and the moved elements by the mapping that induces the polynomial. The relation is established by a special system of linear equations. Using this relation we give the lower bound on the number of nonzero coefficients of polynomial that depends on the number m of moved elements. Moreover we show that there exist permutation polynomials of special form that achieve this bound when m|q−1. In the other direction, we show that if the number of moved elements is small then there is an recurrence relation among these coefficients. Using these recurrence relations, we improve the lower bound of nonzero coefficients when m?q−1 and . As a byproduct, we show that the moved elements must satisfy certain polynomial equations if the mapping induces a polynomial such that there are only two nonzero coefficients out of 2m consecutive coefficients. Finally we provide an algorithm to compute the coefficients of the polynomial induced by a given mapping with O(q3/2) operations.     

Smoothness of the moduli space of complexes of coherent sheaves on an abelian or a projective K3 surface

For an abelian or a projective K3 surface X over an algebraically closed field k, consider the moduli space of the objects E in Db(Coh(X)) satisfying and Hom(E,E)≅k. Then we can prove that is smooth and has a symplectic structure.     

On the irrationality of factorial series III

In this paper we derive some irrationality and linear independence results for series of the form where is either a non-negative integer sequence with υ_n = o(log n/log log n) or a non-decreasing integer sequence with .     

On the layered nearest neighbour estimate, the bagged nearest neighbour estimate and the random forest method in regression and classification

Let be identically distributed random vectors in R^d, independently drawn according to some probability density. An observation is said to be a layered nearest neighbour (LNN) of a point if the hyperrectangle defined by and contains no other data points. We first establish consistency results on , the number of LNN of . Then, given a sample of independent identically distributed random vectors from R^d×R, one may estimate the regression function by the LNN estimate , defined as an average over the Y_i’s corresponding to those which are LNN of . Under mild conditions on r, we establish the consistency of towards 0 as n→∞, for almost all and all p≥1, and discuss the links between r_n and the random forest estimates of Breiman (2001) [8]. We finally show the universal consistency of the bagged (bootstrap-aggregated) nearest neighbour method for regression and classification.     

CERES in higher-order logic

We define a generalization of the first-order cut-elimination method CERES to higher-order logic. At the core of lies the computation of an (unsatisfiable) set of sequents (the characteristic sequent set) from a proof π of a sequent S. A refutation of in a higher-order resolution calculus can be used to transform cut-free parts of π (the proof projections) into a cut-free proof of S. An example illustrates the method and shows that can produce meaningful cut-free proofs in mathematics that traditional cut-elimination methods cannot reach.     

Independence results for variants of sharply bounded induction

The theory , axiomatized by the induction scheme for sharply bounded formulae in Buss’ original language of bounded arithmetic (with ⌊x/2⌋ but not ⌊x/2^y⌋), has recently been unconditionally separated from full bounded arithmetic S₂. The method used to prove the separation is reminiscent of those known from the study of open induction.We make the connection to open induction explicit, showing that models of can be built using a “nonstandard variant” of Wilkie’s well-known technique for building models of IOpen. This makes it possible to transfer many results and methods from open to sharply bounded induction with relative ease.We provide two applications: (i) the Shepherdson model of IOpen can be embedded into a model of , which immediately implies some independence results for ; (ii) extended by an axiom which roughly states that every number has a least 1 bit in its binary notation, while significantly stronger than plain , does not prove the infinity of primes.     

The higher-order Picone identity and comparison of half-linear differential equations of even order

An identity of the Picone type for higher-order half-linear ordinary differential operators of the form and where p_j and P_j, j=0,…,n, are continuous functions defined on [a,b] and , is derived and then the Sturmian comparison theory for the corresponding 2nth-order equations l_α[x]=0 and L_α[y]=0 based on this identity is developed.     

Modulation spaces, Wiener amalgam spaces, and Brownian motions

We study the local-in-time regularity of the Brownian motion with respect to localized variants of modulation spaces and Wiener amalgam spaces . We show that the periodic Brownian motion belongs locally in time to and for (s−1)q<−1, and the condition on the indices is optimal. Moreover, with the Wiener measure μ on T, we show that and form abstract Wiener spaces for the same range of indices, yielding large deviation estimates. We also establish the endpoint regularity of the periodic Brownian motion with respect to a Besov-type space . Specifically, we prove that the Brownian motion belongs to for (s−1)p=−1, and it obeys a large deviation estimate. Finally, we revisit the regularity of Brownian motion on usual local Besov spaces , and indicate the endpoint large deviation estimates.     

Bogomolov restriction theorem for Higgs bundles

Let (E,θ) be a stable Higgs bundle of rank r on a smooth complex projective surface X equipped with a polarization H. Let C⊂X be a smooth complete curve with [C]=n⋅H. If where , then we prove that the restriction of (E,θ) to C is a stable Higgs bundle. This is a Higgs bundle analog of Bogomolov's restriction theorem for stable vector bundles.     

Reduced class groups grafting relative invariants

Let (X,T) be a regular stable conical action of an algebraic torus on an affine normal conical variety X defined over an algebraically closed field of characteristic zero. We define a certain subgroup of Cl(X//T) and characterize its finiteness in terms of a finite T-equivariant Galois descent of X. Consequently we show that the action (X,T) is equidimensional if and only if there exists a T-equivariant finite Galois covering such that is cofree. Moreover the order of is controlled by a certain subgroup of Cl(X). The present result extends thoroughly the equivalence of equidimensionality and cofreeness of (X,T) for a factorial X. The purpose of this paper is to evaluate orders of divisor classes associated to modules of relative invariants for a Krull domain with a group action. This is useful in studying on equidimensional torus actions as above. The generalization of R.P. Stanley?s criterion for freeness of modules of relative invariants plays an important role in showing key assertions.     

Dual generalized Bernstein basis

The generalized Bernstein basis in the space Π_n of polynomials of degree at most n, being an extension of the q-Bernstein basis introduced by Philips [Bernstein polynomials based on the q-integers, Ann. Numer. Math. 4 (1997) 511–518], is given by the formula [S. Lewanowicz, P. Woźny, Generalized Bernstein polynomials, BIT Numer. Math. 44 (2004) 63–78],

We give explicitly the dual basis functions for the polynomials , in terms of big q-Jacobi polynomials P_k(x;a,b,ω/q;q), a and b being parameters; the connection coefficients are evaluations of the q-Hahn polynomials. An inverse formula—relating big q-Jacobi, dual generalized Bernstein, and dual q-Hahn polynomials—is also given. Further, an alternative formula is given, representing the dual polynomial (0jn) as a linear combination of min(j,n-j)+1 big q-Jacobi polynomials with shifted parameters and argument. Finally, we give a recurrence relation satisfied by , as well as an identity which may be seen as an analogue of the extended Marsden's identity [R.N. Goldman, Dual polynomial bases, J. Approx. Theory 79 (1994) 311–346].     

Radially increasing minimizing surfaces or deformations under pointwise constraints on positions and gradients

In this paper, we prove existence of radially symmetric minimizersu_A(x)=U_A(|x|), having U_A(⋅)AC monotone and increasing, for the convex scalar multiple integral(∗ ) among those u(⋅) in the Sobolev space. Here, |∇u(x)| is the Euclidean norm of the gradient vector and B_R is the ball ; while A is the boundary data.Besides being e.g. superlinear (but no growth needed if (∗) is known to have minimum), our Lagrangian?^∗∗:R×R→[0,∞] is just convex lsc and and ?^∗∗(s,⋅) is even; while ρ₁(⋅) and ρ₂(⋅) are Borel bounded away from .Remarkably, (∗) may also be seen as the calculus of variations reformulation of a distributed-parameter scalar optimal control problem. Indeed, state and gradient pointwise constraints are, in a sense, built-in, since ?^∗∗(s,v)=∞ is freely allowed.     

Euler–Lehmer constants and a conjecture of Erdös

The Euler–Lehmer constants γ(a,q) are defined as the limits We show that at most one number in the infinite list is an algebraic number. The methods used to prove this theorem can also be applied to study the following question of Erdös. If f:Z/qZ→Q is such that f(a)=±1 and f(q)=0, then Erdös conjectured that If , we show that the Erdös conjecture is true.     

Quantitative recurrence properties for beta-dynamical system

This note is concerned with the quantitative recurrence properties of beta dynamical system ([0,1],Tβ) for general β>1; the size of points with the prescribed recurrence rate is determined. More precisely, Hausdorff dimensions of the sets and are obtained completely, where ψ is a positive function defined on N and f is a positive continuous function on [0,1]. Besides, the pressure function P(f,Tβ) with a continuous potential f is proven to be continuous with respect to β.     

Ratio and relative asymptotics of polynomials orthogonal with respect to varying Denisov-type measures

Let μ be a finite positive Borel measure with compact support consisting of an interval plus a set of isolated points in , such that μ^′>0 almost everywhere on [c,d]. Let , be a sequence of polynomials, , with real coefficients whose zeros lie outside the smallest interval containing the support of μ. We prove ratio and relative asymptotics of sequences of orthogonal polynomials with respect to varying measures of the form dμ/w_2n. In particular, we obtain an analogue for varying measures of Denisov's extension of Rakhmanov's theorem on ratio asymptotics. These results on varying measures are applied to obtain ratio asymptotics for orthogonal polynomials with respect to fixed measures on the unit circle and for multi-orthogonal polynomials in which the measures involved are of the type described above.     

Hochster's theta invariant and the Hodge–Riemann bilinear relations

Let R be an isolated hypersurface singularity, and let M and N be finitely generated R-modules. As R is a hypersurface, the torsion modules of M against N are eventually periodic of period two (i.e., for i?0). Since R has only an isolated singularity, these torsion modules are of finite length for i?0. The theta invariant of the pair (M,N) is defined by Hochster to be for i?0. H. Dao has conjectured that the theta invariant is zero for all pairs (M,N) when R has even dimension and contains a field. This paper proves this conjecture under the additional assumption that R is graded with its irrelevant maximal ideal giving the isolated singularity. We also give a careful analysis of the theta pairing when the dimension of R is odd, and relate it to a classical pairing on the smooth variety Proj(R).     

Orthogonal polynomials on the disc

We consider the space P_n of orthogonal polynomials of degree n on the unit disc for a general radially symmetric weight function. We show that there exists a single orthogonal polynomial whose rotations through the angles , j=0,1,…,n forms an orthonormal basis for P_n, and compute all such polynomials explicitly. This generalises the orthonormal basis of Logan and Shepp for the Legendre polynomials on the disc.Furthermore, such a polynomial reflects the rotational symmetry of the weight in a deeper way: its rotations under other subgroups of the group of rotations forms a tight frame for P_n, with a continuous version also holding. Along the way, we show that other frame decompositions with natural symmetries exist, and consider a number of structural properties of P_n including the form of the monomial orthogonal polynomials, and whether or not P_n contains ridge functions.     

Isochronicity conditions for some planar polynomial systems

We study the isochronicity of centers at O∈R² for systems , , where A,B∈R[x,y], which can be reduced to the Liénard type equation. Using the so-called C-algorithm we have found 27 new multiparameter isochronous centers.     

Polynomials with Odd Orthogonal Multiplicity

Let theorthogonal multiplicityof a monic polynomialgover a field be the number of polynomialsfover , coprime togand of degree less than that ofg, such that all the partial quotients of the continued fraction expansion off/gare of degree 1. Polynomials with positive orthogonal multiplicity arise in stream cipher theory, part of cryptography, as the minimal polynomials of the initial segments of sequences which have perfect linear complexity profiles. This paper focuses on polynomials which have odd orthogonal multiplicity; such polynomials are characterized and a lower bound on their orthogonal multiplicity is given. A special case of a conjecture on rational functions over the finite field of two elements with partial quotients of degree 1 or 2 in their continued fraction expansion is also proved.