Distance-two labelings of digraphs

For positive integers j?k, an L(j,k)-labeling of a digraph D is a function f from V(D) into the set of nonnegative integers such that |f(x)-f(y)|?j if x is adjacent to y in D and |f(x)-f(y)|?k if x is of distance two to y in D. Elements of the image of f are called labels. The L(j,k)-labeling problem is to determine the -number of a digraph D, which is the minimum of the maximum label used in an L(j,k)-labeling of D. This paper studies -numbers of digraphs. In particular, we determine -numbers of digraphs whose longest dipath is of length at most 2, and -numbers of ditrees having dipaths of length 4. We also give bounds for -numbers of bipartite digraphs whose longest dipath is of length 3. Finally, we present a linear-time algorithm for determining -numbers of ditrees whose longest dipath is of length 3.     

Congruences involving Bernoulli polynomials

Let {B_n(x)} be the Bernoulli polynomials. In the paper we establish some congruences for , where p is an odd prime and x is a rational p-integer. Such congruences are concerned with the properties of p-regular functions, the congruences for and the sum , where h(d) is the class number of the quadratic field of discriminant d and p-regular functions are those functions f such that are rational p-integers and for n=1,2,3,… . We also establish many congruences for Euler numbers.     

Generalized almost periodic and ergodic solutions of linear differential equations on the half-line in Banach spaces

The Bohl-Bohr-Amerio-Kadets theorem states that the indefinite integral y=Pφ of an almost periodic (ap) is again ap if y is bounded and the Banach space X does not contain a subspace isomorphic to c₀. This is here generalized in several directions: Instead of it holds also for φ defined only on a half-line , instead of ap functions abstract classes with suitable properties are admissible, can be weakened to φ in some “mean” class , then ; here contains all f∈L¹_loc with in for all h>0 (usually strictly); furthermore, instead of boundedness of y mean boundedness, y in some , or in , ergodic functions, suffices. The Loomis-Doss result on the almost periodicity of a bounded Ψ for which all differences Ψ(t+h)−Ψ(t) are ap for h>0 is extended analogously, also to higher order differences. Studying “difference spaces” in this connection, we obtain decompositions of the form: Any bounded measurable function is the sum of a bounded ergodic function and the indefinite integral of a bounded ergodic function. The Bohr-Neugebauer result on the almost periodicity of bounded solutions y of linear differential equations P(D)y=φ of degree m with ap φ is extended similarly for ; then provided, for example, y is in some with U=L^∞ or is totally ergodic and, for the half-line, Reλ?0 for all eigenvalues P(λ)=0. Analogous results hold for systems of linear differential equations. Special case: φ bounded and Pφ ergodic implies Pφ bounded. If all Reλ>0, there exists a unique solution y growing not too fast; this y is in if , for quite general .     

Invariant algebraic curves for the cubic Liénard system with linear damping

We show that the system , with f,g polynomials of degree 1 and 3 respectively cannot have simultaneously an algebraic invariant curve and a limit cycle.     

Combinatorial sums and finite differences

We present a new approach to evaluating combinatorial sums by using finite differences. Let and be sequences with the property that Δb_k=a_k for k?0. Let , and let . We derive expressions for g_n in terms of h_n and for h_n in terms of g_n. We then extend our approach to handle binomial sums of the form , , and , as well as sums involving unsigned and signed Stirling numbers of the first kind, and . For each type of sum we illustrate our methods by deriving an expression for the power sum, with a_k=k^m, and the harmonic number sum, with a_k=H_k=1+1/2+?+1/k. Then we generalize our approach to a class of numbers satisfying a particular type of recurrence relation. This class includes the binomial coefficients and the unsigned Stirling numbers of the first kind.     

Estimates of weighted Hardy-Littlewood averages on the p-adic vector space

In the p-adic vector space , we characterize those non-negative functions ψ defined on for which the weighted Hardy-Littlewood average is bounded on (1?r?∞), and on . Also, in each case, we find the corresponding operator norm ‖Uψ‖.     

Polynomial differential systems having a given Darbouxian first integral

The Darbouxian theory of integrability allows to determine when a polynomial differential system in has a first integral of the kind f₁^λ₁?f_p^λ_pexp(g/h) where f_i, g and h are polynomials in , and for i=1,…,p. The functions of this form are called Darbouxian functions. Here, we solve the inverse problem, i.e. we characterize the polynomial vector fields in having a given Darbouxian function as a first integral.On the other hand, using information about the degree of the invariant algebraic curves of a polynomial vector field, we improve the conditions for the existence of an integrating factor in the Darbouxian theory of integrability.     

How to regularize singular vectors and kill the dynamical Weyl group

Let be a simple Lie algebra, and let M_λ be the Verma module over with highest weight λ. For a finite-dimensional -module U we introduce a notion of a regularizing operator, acting in U, which makes the meromorphic family of intertwining operators holomorphic, and conjugates the dynamical Weyl group operators A_w(λ)∈End(U) to constant operators. We establish fundamental properties of regularizing operators, including uniqueness, and prove the existence of a regularizing operator in the case .     

The Lichtenbaum-Hartshorne theorem for modules which are finite over a ring homomorphism

Let φ:(R,m)→S be a flat ring homomorphism such that mS≠S. Assume that M is a finitely generated S-module with dim_R(M)=d. If the set of support of M has a special property, then it is shown that if and only if for each prime ideal satisfying , we have . This gives a generalization of the Lichtenbaum-Hartshorne vanishing theorem for modules which are finite over a ring homomorphism. Furthermore, we provide two extensions of Grothendieck’s non-vanishing theorem. Applications to connectedness properties of the support are given.     

Sections of convex bodies and splitting problem for selections

Let and be any convex-valued lower semicontinuous mappings and let be any linear surjection. The splitting problem is the problem of representation of any continuous selection f of the composite mapping L(F₁;F₂) in the form f=L(f₁;f₂), where f₁ and f₂ are some continuous selections of F₁ and F₂, respectively. We prove that the splitting problem always admits an approximate solution with fi being an ε-selection (Theorem 2.1). We also propose a special case of finding exact splittings, whose occurrence is stable with respect to continuous variations of the data (Theorem 3.1) and we show that, in general, exact splittings do not exist even for the finite-dimensional range.     

Moduli of metaplectic bundles on curves and Theta-sheaves

We give a geometric interpretation of the Weil representation of the metaplectic group, placing it in the framework of the geometric Langlands program.For a smooth projective curve X we introduce an algebraic stack of metaplectic bundles on X. It also has a local version , which is a gerbe over the affine Grassmanian of G. We define a categorical version of the (nonramified) Hecke algebra of the metaplectic group. This is a category of certain perverse sheaves on , which act on by Hecke operators. A version of the Satake equivalence is proved describing as a tensor category. Further, we construct a perverse sheaf on corresponding to the Weil representation and show that it is a Hecke eigen-sheaf with respect to .