On the Ricci and Einstein equations on the pseudo-euclidean and hyperbolic spaces

We consider tensors T=fg on the pseudo-euclidean space Rn and on the hyperbolic space Hn, where n?3, g is the standard metric and f is a differentiable function. For such tensors, we consider, in both spaces, the problems of existence of a Riemannian metric , conformal to g, such that , and the existence of such a metric which satisfies , where is the scalar curvature of . We find the restrictions on the Ricci candidate for solvability and we construct the solutions when they exist. We show that these metrics are unique up to homothety, we characterize those globally defined and we determine the singularities for those which are not globally defined. None of the non-homothetic metrics , defined on Rn or Hn, are complete. As a consequence of these results, we get positive solutions for the equation , where g is the pseudo-euclidean metric.     

On the log-Sobolev constant for the simple random walk on the n-cycle: the even cases

Consider the simple random walk on the n-cycle . For this example, Diaconis and Saloff-Coste (Ann. Appl. Probab. 6 (1996) 695) have shown that the log-Sobolev constant α is of the same order as the spectral gap λ. However the exact value of α is not known for n>4. (For n=2, it is a well known result of Gross (Amer. J. Math. 97 (1975) 1061) that α is . For n=3, Diaconis and Saloff-Coste (Ann. Appl. Probab. 6 (1996) 695) showed that . For n=4, the fact that follows from n=2 by tensorization.) Based on an idea that goes back to Rothaus (J. Funct. Anal. 39 (1980) 42; 42 (1981) 110), we prove that if n?4 is even, then the log-Sobolev constant and the spectral gap satisfy . This implies that when n is even and n?4.     

Cospectral graphs and the generalized adjacency matrix

Let J be the all-ones matrix, and let A denote the adjacency matrix of a graph. An old result of Johnson and Newman states that if two graphs are cospectral with respect to yJ − A for two distinct values of y, then they are cospectral for all y. Here we will focus on graphs cospectral with respect to yJ − A for exactly one value of y. We call such graphs -cospectral. It follows that is a rational number, and we prove existence of a pair of -cospectral graphs for every rational . In addition, we generate by computer all -cospectral pairs on at most nine vertices. Recently, Chesnokov and the second author constructed pairs of -cospectral graphs for all rational , where one graph is regular and the other one is not. This phenomenon is only possible for the mentioned values of , and by computer we find all such pairs of -cospectral graphs on at most eleven vertices.     

Some relations between rank of a graph and its complement

Let G be a graph of order n and rank(G) denotes the rank of its adjacency matrix. Clearly, . In this paper we characterize all graphs G such that or n + 2. Also for every integer n ? 5 and any k, 0 ? k ? n, we construct a graph G of order n, such that .     

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.     

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.     

On estimating the memory for finitarily Markovian processes

Finitarily Markovian processes are those processes for which there is a finite K () such that the conditional distribution of X₁ given the entire past is equal to the conditional distribution of X₁ given only . The least such value of K is called the memory length. We give a rather complete analysis of the problems of universally estimating the least such value of K, both in the backward sense that we have just described and in the forward sense, where one observes successive values of {Xn} for n?0 and asks for the least value K such that the conditional distribution of Xn+1 given is the same as the conditional distribution of Xn+1 given . We allow for finite or countably infinite alphabet size.     

Zeros of linear combinations of Laguerre polynomials from different sequences

We study interlacing properties of the zeros of two types of linear combinations of Laguerre polynomials with different parameters, namely and . Proofs and numerical counterexamples are given in situations where the zeros of R_n, and S_n, respectively, interlace (or do not in general) with the zeros of , , k=n or n−1. The results we prove hold for continuous, as well as integral, shifts of the parameter α.     

Vertex coloring acyclic digraphs and their corresponding hypergraphs

We consider vertex coloring of an acyclic digraph in such a way that two vertices which have a common ancestor in receive distinct colors. Such colorings arise in a natural way when bounding space for various genetic data for efficient analysis. We discuss the corresponding down-chromatic number and derive an upper bound as a function of , the maximum number of descendants of a given vertex, and the degeneracy of the corresponding hypergraph. Finally, we determine an asymptotically tight upper bound of the down-chromatic number in terms of the number of vertices of and .     

The topology of the monodromy map of a second order ODE

We consider the following question: given A∈SL(2,R), which potentials q for the second order Sturm-Liouville problem have A as its Floquet multiplier? More precisely, define the monodromy map μ taking a potential q∈L²([0,2π]) to , the lift to the universal cover of SL(2,R) of the fundamental matrix map ,

     

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ψ‖.     

Limiting subdifferentials of indefinite integrals

We compute the limiting subdifferential of the indefinite integral of the form where f is an essentially bounded measurable function, or a function continuous on an interval containing (except for, possibly, ), or a step-function which has a countable number of steps around . The related problem of computing the Aumann integral of the limiting subdifferential mapping ∂f(⋅), where f is a Lipschitz real function defined on an open set U⊂Rn, is also investigated.     

2-Cosemisimplicial objects in a 2-category, permutohedra and deformations of pseudofunctors

In this paper we take up again the deformation theory for K-linear pseudofunctors initiated in Elgueta (Adv. Math. 182 (2004) 204-277). We start by introducing a notion of 2-cosemisimplicial object in an arbitrary 2-category and analyzing the corresponding coherence question, where the permutohedra make their appearance. We then describe a general method to obtain usual cochain complexes of K-modules from (enhanced) 2-cosemisimplicial objects in the 2-category of small K-linear categories and prove that the deformation complex introduced in Elgueta (to appear) can be obtained by this method from a 2-cosemisimplicial object that can be associated to . Finally, using this 2-cosemisimplicial object of and a generalization to the context of K-linear categories of the deviation calculus introduced by Markl and Stasheff for K-modules (J. Algebra 170 (1994) 122), it is shown that the obstructions to the integrability of an nth-order deformation of indeed correspond to cocycles in the third cohomology group , a question which remained open in Elgueta (Adv. Math. 182 (2004) 204-277).     

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 .     

Monoids with sub-log-exponential free spectra

A classic result from the 1960s states that the asymptotic growth of the free spectrum of a finite group is sub-log-exponential if and only if is nilpotent. Thus a monoid is sub-log-exponential implies , the pseudovariety of semigroups with nilpotent subgroups. Unfortunately, little more is known about the boundary between the sub-log-exponential and log-exponential monoids.The pseudovariety consists of those finite semigroups satisfying (x^ωy^ω)^ω(y^ωx^ω)^ω(x^ωy^ω)^ω≈(x^ωy^ω)^ω. Here it is shown that a monoid is sub-log-exponential implies . A quick application: a regular sub-log-exponential monoid is orthodox. It is conjectured that a finite monoid is sub-log-exponential if and only if it is , the finite monoids in having nilpotent subgroups. The forward direction of the conjecture is proved; moreover, the conjecture is proved for when is completely (0)-simple. In particular, the six-element Brandt monoid (the Perkins semigroup) is sub-log-exponential.     

Large matchings from eigenvalues

We find lower bounds on the difference between the spectral radius λ₁ and the average degree of an irregular graph G of order n and size e. In particular, we show that, if n ? 4, then