A priori bounds and weak solutions for the nonlinear Schrödinger equation in Sobolev spaces of negative order

Solutions to the Cauchy problem for the one-dimensional cubic nonlinear Schrödinger equation on the real line are studied in Sobolev spaces Hs, for s negative but close to 0. For smooth solutions there is an a priori upper bound for the Hs norm of the solution, in terms of the Hs norm of the datum, for arbitrarily large data, for sufficiently short time. Weak solutions are constructed for arbitrary initial data in Hs.     

Optimal graphs for chromatic polynomials

Let F(n,e) be the collection of all simple graphs with n vertices and e edges, and for G∈F(n,e) let P(G;λ) be the chromatic polynomial of G. A graph G∈F(n,e) is said to be optimal if another graph H∈F(n,e) does not exist with P(H;λ)?P(G;λ) for all λ, with strict inequality holding for some λ. In this paper we derive necessary conditions for bipartite graphs to be optimal, and show that, contrarily to the case of lower bounds, one can find values of n and e for which optimal graphs are not unique. We also derive necessary conditions for bipartite graphs to have the greatest number of cycles of length 4.     

Generalized Browder's and Weyl's theorems for Banach space operators

We find necessary and sufficient conditions for a Banach space operator T to satisfy the generalized Browder's theorem. We also prove that the spectral mapping theorem holds for the Drazin spectrum and for analytic functions on an open neighborhood of σ(T). As applications, we show that if T is algebraically M-hyponormal, or if T is algebraically paranormal, then the generalized Weyl's theorem holds for f(T), where f∈H((T)), the space of functions analytic on an open neighborhood of σ(T). We also show that if T is reduced by each of its eigenspaces, then the generalized Browder's theorem holds for f(T), for each f∈H(σ(T)).     

Tree spanners in planar graphs

A tree t-spanner of a graph G is a spanning subtree T of G in which the distance between every pair of vertices is at most t times their distance in G. Spanner problems have received some attention, mostly in the context of communication networks. It is known that for general unweighted graphs, the problem of deciding the existence of a tree t-spanner can be solved in polynomial time for t=2, while it is NP-hard for any t⩾4; the case t=3 is open, but has been conjectured to be hard. In this paper, we consider tree spanners in planar graphs. We show that even for planar unweighted graphs, it is NP-hard to determine the minimum t for which a tree t-spanner exists. On the other hand, we give a polynomial algorithm for any fixed t that decides for planar unweighted graphs with bounded face length whether there is a tree t-spanner. Furthermore, we prove that it can be decided in polynomial time whether a planar unweighted graph has a tree t-spanner for t=3.     

Lyapunov,Bézout,and Hankel

Given a polynomial f of degree n, we denote by C its companion matrix, and by S the truncated shift operator of order n. We consider Lyapunov-type equations of the form X?SXC=>W and X?CXS=W. We derive some properties of these equations which make it possible to characterize Bezoutian matrices as solutions of the first equation with suitable right-hand sides W (similarly for Hankel and the second equation) and to write down explicit expressions for these solutions. This yields explicit factorization formulae for polynomials in C, for the Schur-Cohn matrix, and for matrices satisfying certain intertwining relations, as well as for Bezoutian matrices.     

Log-convexity and log-concavity of hypergeometric-like functions

We find sufficient conditions for log-convexity and log-concavity for the functions of the forms a?∑fkk(a)xk, a?∑fkΓ(a+k)xk and a?∑fkxk/k(a). The most useful examples of such functions are generalized hypergeometric functions. In particular, we generalize the Turán inequality for the confluent hypergeometric function recently proved by Barnard, Gordy and Richards and log-convexity results for the same function recently proved by Baricz. Besides, we establish a reverse inequality which complements naturally the inequality of Barnard, Gordy and Richards. Similar results are established for the Gauss and the generalized hypergeometric functions. A conjecture about monotonicity of a quotient of products of confluent hypergeometric functions is made.     

Non-Hamiltonian simple 3-polytopes having just two types of faces

It is shown that for every value of an integer k, k?11, there exist 3-valent 3-connected planar graphs having just two types of faces, pentagons and k-gons, and which are non- Hamiltonian. Moreover, there exist ?=?(k) > 0, for these values of k, and sequences (G_n)^∞_n=1 of the said graphs for which V(G_n)→∞ and the size of a largest circuit of G_n is at most (1??)V(G_n); similar result for the size of a largest path in such graphs is established for all k, k?11, except possibly for k = 14, 17, 22 and k = 5m+ 5 for all m?2.     

Simplest cases of nth-degree stochastic dominance

Le p(n) be the fewest number of support points for probability distributions p and q for which p stochastically dominates q of degree n but not of any degrees less than n. Then ?(n) = n + 1 for n = 1,2,3, and ?(n) = 4 for all larger n.     

Set-valued contractions and fixed points

A common fixed point theorem is proved for a family of set-valued contraction mappings in gauge spaces. This result is related to a recent result of Frigon for ‘generalized contractions’ and it includes a method for approximating the fixed point. The remainder of the paper is devoted to results for families of set-valued contraction mappings in hyperconvex spaces. It is proved, for example, that if M is a hyperconvex metric space and f_α is a family of set-valued contractions indexed over a directed set Λ and taking values in the space of all nonempty admissible subsets of M endowed with the Hausdorff metric, then the condition f_β(x)⊆f_α(x) for all x∈M and β⩾α implies that the set of points x∈M for which x∈⋂_α∈Λf_β(x) is nonempty and hyperconvex.     

A small decrease in the degree of a polynomial with a given sign function can exponentially increase its weight and length

A Boolean function f: {?1, +1} ⁿ → {?1, +1} is called the sign function of an integer-valued polynomial p(x) if f(x) = sgn(p(x)) for all x ∈ {?1, +1} ⁿ . In this case, the polynomial p(x) is called a perceptron for the Boolean function f. The weight of a perceptron is the sum of absolute values of the coefficients of p. We prove that, for a given function, a small change in the degree of a perceptron can strongly affect the value of the required weight. More precisely, for each d = 1, 2, ..., n ? 1, we explicitly construct a function f: {?1, +1} ⁿ → {?1, +1} that requires a weight of the form exp{Θ(n)} when it is represented by a degree d perceptron, and that can be represented by a degree d + 1 perceptron with weight equal to only O(n ²). The lower bound exp{Θ(n)} for the degree d also holds for the size of the depth 2 Boolean circuit with a majority function at the top and arbitrary gates of input degree d at the bottom. This gap in the weight values is exponentially larger than those that have been previously found. A similar result is proved for the perceptron length, i.e., for the number of monomials contained in it.     

An upper bound for permanents of nonnegative matrices

A recent conjecture of Caputo, Carlen, Lieb, and Loss, and, independently, of the author, states that the maximum of the permanent of a matrix whose rows are unit vectors in lp is attained either for the identity matrix I or for a constant multiple of the all-1 matrix J.The conjecture is known to be true for p=1 (I) and for p?2 (J).We prove the conjecture for a subinterval of (1,2), and show the conjectured upper bound to be true within a subexponential factor (in the dimension) for all 1<p<2. In fact, for p bounded away from 1, the conjectured upper bound is true within a constant factor.     

An upper bound for the minimum rank of a graph

For a graph G of order n, the minimum rank of G is defined to be the smallest possible rank over all real symmetric n×n matrices A whose (i,j)th entry (for i≠j) is nonzero whenever {i,j} is an edge in G and is zero otherwise. We prove an upper bound for minimum rank in terms of minimum degree of a vertex is valid for many graphs, including all bipartite graphs, and conjecture this bound is true over for all graphs, and prove a related bound for all zero-nonzero patterns of (not necessarily symmetric) matrices. Most of the results are valid for matrices over any infinite field, but need not be true for matrices over finite fields.     

Bounded point evaluations and capacity

Let E be a compact set in the complex plane with positive Lebesgue measure, and denote by R^p(E), p ? 1, the closure in the L^p(E) norm of the rational functions with poles off E. A point z?E is said to be a bounded point evaluation for R^p(E) if the map z   ?(z), defined for the rational functions, can be extended to a bounded linear functional on R^p(E). For p < 2 there are no other bounded point evaluations for R^p(E) than the interior points of E, but for p ? 2 there may be bounded point evaluations on the boundary, ∂E. We give a condition, in terms of capacity, which is necessary and sufficient for a point on ∂E to be a bounded point evaluation for R^p(E), 2 < p < ∞, and close to necessary and sufficient when p = 2. We also treat bounded point derivations, and the corresponding problems for L_p-spaces of analytic functions on open sets.     

On universal spaces and absorbing sets related to a transfinite extension of covering dimension

R. Pol has shown that for every countable ordinal number α there exists a universal space for separable metrizable spaces X with trindX?α. W. Olszewski has shown that for every countable limit ordinal number λ there is no universal space for separable metrizable space with trIndX?λ. T. Radul and M. Zarichnyi have proved that for every countable limit ordinal number there is no universal space for separable metrizable spaces with dimWX?α where dimW is a transfinite extension of covering dimension introduced by P. Borst. We prove the same result for another transfinite extension dimC of the covering dimension.As an application, we show that there is no absorbing sets (in the sense of Bestvina and Mogilski) for the classes of spaces X with dimCX?α belonging to some absolute Borel class.     

An improvement of the Nevanlinna-Gundersen theorem

A well-known result of Nevanlinna states that for two nonconstant meromorphic functions f and g on the complex plane C and for four distinct values aj∈C∪{∞}, if νf−aj=νg−aj for all 1?j?4, then g is a Möbius transformation of f. In 1983, Gundersen generalized the result of Nevanlinna to the case where the above condition is replaced by: min{νf−aj,1}=min{νg−aj,1} for j=1,2 and νf−aj=νg−aj for j=3,4. In this paper, we prove that the theorem of Gundersen remains valid to the case where min{νf−aj,1}=min{νg−aj,1} for j=1,2, and min{νf−aj,2}=min{νg−aj,2} for j=3,4. Furthermore, we work on the case where {aj} are small functions.     

An asymptotic formula for the t-core partition function and a conjecture of Stanton

For a positive integer t, a partition is said to be a t-core if each of the hook numbers from its Ferrers-Young diagram is not a multiple of t. In 1996, Granville and Ono proved the t-core partition conjecture, that at(n), the number of t-core partitions of n, is positive for every nonnegative integer n as long as t?4. As part of their proof, they showed that if p?5 is prime, the generating function for ap(n) is essentially a multiple of an explicit Eisenstein Series together with a cusp form. This representation of the generating function leads to an asymptotic formula for ap(n) involving L-functions and divisor functions. In 1999, Stanton conjectured that for t?4 and n?t+1, at(n)?at+1(n). Here we prove a weaker form of this conjecture, that for t?4 and n sufficiently large, at(n)?at+1(n). Along the way, we obtain an asymptotic formula for at(n) which, in the cases where t is coprime to 6, is a generalization of the formula which follows from the work of Granville and Ono when t=p?5 is prime.     

On a generalization of distance sets

A subset X in the d-dimensional Euclidean space is called a k-distance set if there are exactly k distinct distances between two distinct points in X and a subset X is called a locally k-distance set if for any point x in X, there are at most k distinct distances between x and other points in X.Delsarte, Goethals, and Seidel gave the Fisher type upper bound for the cardinalities of k-distance sets on a sphere in 1977. In the same way, we are able to give the same bound for locally k-distance sets on a sphere. In the first part of this paper, we prove that if X is a locally k-distance set attaining the Fisher type upper bound, then determining a weight function w, (X,w) is a tight weighted spherical 2k-design. This result implies that locally k-distance sets attaining the Fisher type upper bound are k-distance sets. In the second part, we give a new absolute bound for the cardinalities of k-distance sets on a sphere. This upper bound is useful for k-distance sets for which the linear programming bound is not applicable. In the third part, we discuss about locally two-distance sets in Euclidean spaces. We give an upper bound for the cardinalities of locally two-distance sets in Euclidean spaces. Moreover, we prove that the existence of a spherical two-distance set in (d−1)-space which attains the Fisher type upper bound is equivalent to the existence of a locally two-distance set but not a two-distance set in d-space with more than d(d+1)/2 points. We also classify optimal (largest possible) locally two-distance sets for dimensions less than eight. In addition, we determine the maximum cardinalities of locally two-distance sets on a sphere for dimensions less than forty.     

A new construction for Hadamard matrices of orders 8t + 4

In Hadamard matrices of orders 8t + 4, there are usually four rows which agree on exactly one column. In fact, for t = 0, 1, 2 such a “Hall set” always occurs. This is obvious for t = 0, 1 and Hall has shown this for t = 2. When t = 3, the evidence indicates that nearly all H(28) have a Hall set. (Nearly the opposite seems to be true for matrices H(8t).) If a Hall set is assumed to exist for some H and some t, the remaining rows fall into 4 sets which determine 16 submatrices of order t. Several well-known techniques may be applied to such a configuration, and give immediate examples for t = 1, 2, 3, 4.     

Extension results for slice regular functions of a quaternionic variable

In this paper we prove a new Representation Formula for slice regular functions, which shows that the value of a slice regular function f at a point q=x+yI can be recovered by the values of f at the points q+yJ and q+yK for any choice of imaginary units I,J,K. This result allows us to extend the known properties of slice regular functions defined on balls centered on the real axis to a much larger class of domains, called axially symmetric domains. We show, in particular, that axially symmetric domains play, for slice regular functions, the role played by domains of holomorphy for holomorphic functions.