Arbitrary rank jumps for A-hypergeometric systems through Laurent polynomials

We investigate the solution space of hypergeometric systemsof differential equations in the sense of Gel’fand, Graev,Kapranov and Zelevinski. For any integer d 2, we constructa matrix A_(d) ^{d x 2d} and a parameter vector ß_(d)such that the holonomic rank of the A-hypergeometric systemH_A(d)(ß_(d)) exceeds the simplicial volume vol(A_(d))by at least d – 1. The largest previously known gap betweenrank and volume was 2. Our construction gives evidence to the general observation thatrank jumps seem to go hand in hand with the existence of multipleLaurent (or Puiseux) polynomial solutions.     

Normal Transversality and Uniform Bounds

Let A be a commutative ring. A graded A-algebra U = _n0 U_n isa standard A-algebra if U₀ = A and U = A[U₁] is generated asan A-algebra by the elements of U₁. A graded U-module F = _n0F_nis a standard U-module if F is generated as a U-module by theelements of F₀, that is, F_n = U_nF₀ for all n 0. In particular,F_n = U₁F_n–1 for all n 1. Given I, J, two ideals of A,we consider the following standard algebras: the Rees algebraof I, R(I) = _n0Iⁿtⁿ = A[It] A[t], and the multi-Rees algebraof I and J, R(I, J) = _n0(_p+q=nI^pJ^qu^pv^q) = A[Iu, Jv] A[u, v].Consider the associated graded ring of I, G(I) = R(I) A/I =_n0Iⁿ/Iⁿ⁺¹, and the multi-associated graded ring of I and J,G(I, J) = R(I, J) A/(I+J) = _n0(_p+q=nI^pJ^q/(I+J)I^pJ^q). We canalways consider the tensor product of two standard A-algebrasU = _p0U_p and V = _q0V_q as a standard A-algebra with the naturalgrading U V = _n0(_p+q=nU_p V_q). If M is an A-module, we havethe standard modules: the Rees module of I with respect to M,R(I; M) = _n0IⁿMtⁿ = M[It] M[t] (a standard R(I)-module), andthe multi-Rees module of I and J with respect to M, R(I, J;M) = _n0(_p+q=nI^pJ^qMu^pv^q) = M[Iu, Jv] M[u, v] (a standard R(I,J)-module). Consider the associated graded module of M withrespect to I, G(I; M) = R(I; M) A/I = _n0IⁿM/Iⁿ⁺¹M (a standardG(I)-module), and the multi-associated graded module of M withrespect to I and J, G(I, J; M) = R(I, J; M) A/(I+J) = _n0(_p+q=nI^pJ^qM/(I+J)I^pJ^qM)(a standard G(I, J)-module). If U, V are two standard A-algebras,F is a standard U-module and G is a standard V-module, thenF G = _n0(_p+q=nF_p G_q) is a standard U V-module. Denote by :R(I) R(J; M) R(I, J; M) and :R(I, J; M) R(I+J;M) the natural surjective graded morphisms of standard RI) R(J)-modules. Let :R(I) R(J; M) R(I+J; M) be . Denote by :G(I) G(J; M) G(I, J; M) and :G(I, J; M) G(I+J; M) the tensor productof and by A/(I+J); these are two natural surjective gradedmorphisms of standard G(I) G(J)-modules. Let :G(I) G(J; M) G(I+J; M) be . The first purpose of this paper is to prove the following theorem.     

A Torsion-Free Milnor-Moore Theorem

Let X be the space of Moore loops on a finite, q-connected,n-dimensional CW complex X, and let R Q be a subring containing1/2. Let (R) be the least non-invertible prime in R. For a gradedR-module M of finite type, let FM = M/Torsion M. We show thatthe inclusion P FH_*(X;R) of the sub-Lie algebra of primitiveelements induces an isomorphism of Hopf algebras provided that (R) n/q. Furthermore, the Hurewiczhomomorphism induces an embedding of F(_*(X) R) in P, with P/F(_*(X)R)torsion. As a corollary, if X is elliptic, then FH_*(X;R) isa finitely generated R-algebra.     

Some Remarks on the Cone of Completely Positive Maps between Von Neumann Algebras

The close relationship between the notions of positive formsand representations for a C*-algebra A is one of the most basicfacts in the subject. In particular the weak containment ofrepresentations is well understood in terms of positive forms:given a representation of A in a Hilbert space H and a positiveform on A, its associated representation is weakly containedin (that is, ker ker ) if and only if belongs to the weak*closure of the cone of all finite sums of coefficients of .Among the results on the subject, let us recall the followingones. Suppose that A is concretely represented in H. Then everypositive form on A is the weak* limit of forms of the typex ^k_{i=1 i}, x_i with the _i in H; moreover if A is a von Neumannsubalgebra of (H) and is normal, there exists a sequence (_i)_{i 1} in H such that (x) = _{i 1 i}, x_i for all x.     

Contractions et Hyperdistributions a Spectre de Carleson

Let =(_n)_n1 be a log concave sequence such that lim inf_n+n/n^c>0for some c>0 and ((log _n)/n)_n1 is nonincreasing for some<1/2. We show that, if T is a contraction on the Hilbertspace with spectrum a Carleson set, and if ||T^–n||=O(_n)as n tends to + with _n11/(n log _n)=+, then T is unitary. Onthe other hand, if _n11/(n log _n)<+, then there exists a (non-unitary)contraction T on the Hilbert space such that the spectrum ofT is a Carleson set, ||T^–n||=O(_n) as n tends to +, andlim sup_n+||T^–n||=+.     

The Hausdorff Dimension of Julia Sets of Meromorphic Functions II

A family of transcendental meromorphic functions, f_p(z), p N is considered. It is shown that, if p 6, then the Hausdorffdimension of the Julia set of f_p satisfies dim J(f_p) 1/p, for0 < < 1/6^p, and dim J(f_p) 1–(30 ln ln p/ln p),for p^4p–1/10⁵ ln p < < p^4p–1/10⁴ ln p. Theseresults are used elsewhere to show that, for each d (0, 1),there exists a transcendental meromorphic function for whichdim J(f) = d.     

The Convergence of a Class of Quasimonotone Reaction-Diffusion Systems

It is proved that every solution of the Neumann initial-boundaryproblem converges to some equilibrium, if the system satisfies (i) F_i/u_j 0 for all 1 i j n, (ii) F(u * g(s)) h(s) * F(u) wheneveru and 0 s 1, where x *y = (x₁y₁, ..., x_ny_n) and g, h : [0, 1] [0, 1]ⁿ are continuousfunctions satisfying g_i(0) = h_i(0) = 0, g_i(1) = h_i(1) = 1, 0< g_i(s); h_i(s) < 1 for all s (0, 1) and i = 1, 2, ...,n, and (iii) the solution of the corresponding ordinary differentialequation system is bounded in . We also study the convergence of the solution of the Lotka–Volterrasystem where r_i > 0, 0, and a_ij 0 for i j.     

Sandwiching C0-Semigroups

Let T = {T(t)}_t0 be a C₀-semigroup on a Banach space X. Thefollowing results are proved. (i) If X is separable, there exist separable Hilbert spacesX₀ and X₁, continuous dense embeddings j₀:X₀ X and j₁:X X₁,and C₀-semigroups T₀ and T₁ on X₀ and X₁ respectively, suchthat j₀ T₀(t) = T(t) j₀ and T₁(t) j₁ = j₁ T(t) for all t 0. (ii) If T is -reflexive, there exist reflexive Banach spacesX₀ and X₁ , continuous dense embeddings j:D(A²) X₀, j₀:X₀ X, j₁:X X₁, and C₀-semigroups T₀ and T₁ on X₀ and X₁ respectively,such that T₀(t) j = j T(t), j₀ T₀(t) = T(t) j₀ and T(t) j₁ = j₁ T(t) for all t 0, and such that (A₀) = (A) = (A₁),where A_k is the generator of T_k, k = 0, Ø, 1.     

Necessary and Sufficient Conditions for Exponential Stability and Ultimate Boundedness of Systems Governed by Stochastic Partial Differential Equations

Consider the following infinite dimensional stochastic evolutionequation over some Hilbert space H with norm |·|: It is proved that under certain mild assumptions, the strongsolution X_t(x₀)VHV*, t 0, is mean square exponentially stableif and only if there exists a Lyapunov functional (·,·):HxR₊R¹ which satisfies the following conditions: (i)c₁|x|²–k₁e^–µ₁t(x,t)c₂|x|²+k₂+k₂e^–µ₂t; (ii) L(x,t)–c₃(x,t)+k₃e^–µ₃t, xV, t0; where L is the infinitesimal generator of the Markov processX_t and c_i, k_i, µ_i, i = 1, 2, 3, are positive constants.As a by-product, the characterization of exponential ultimateboundedness of the strong solution is established as the nulldecay rates (that is, µ_i = 0) are considered.     

On the Length of Snakes in Powers of Complete Graphs

The conjecture stated in an earlier paper by the author thatthere is a constant (independent from both n and k) such that n^d–1 holds for everyn 2 and d 2, where is the length of the longest snake (cycle without chords) in the Cartesianproduct of d copies of thecomplete graph K_n, is proved.     

Homology of GLn over algebraically closed fields

In this paper we define higher pre-Bloch groups _n(F) of a fieldF. When the base field is algebraically closed, we study itsconnection to the homology of the general linear groups withcoefficients in /l , where l is a positive integer. As a resultof our investigation we give a necessary and sufficient conditionfor the natural map H_n(GL_n–1(F), /l ) H_n(GL_n(F), /l )to be bijective. We prove that this map is bijective for n4.We also demonstrate that a certain property of _n() is equivalentto the validity of the Friedlander–Milnor isomorphismconjecture for (n+1)th homology of GL_n().     

On the Error Term for the Fourth Moment of the Riemann Zeta-Function

Let E₂(T) denote the error term in the asymptotic formula for^T₀|(+it)|⁴dt. It is proved that there exist constants A>0,B>1 such that for TT₀>0 every interval [T, BT] containspoints T₁, T₂ for which and that ^T₀|E₂(t)|^adt>>T^1+(a/2) for any fixed a1. Theseresults complement earlier results of Motohashi and Ivi that^T₀E₂(t)dt<<T^3/2 and that ^T₀E²₂(t)dt<<T²log^CT forsome C>0. Omega-results analogous to the above ones are obtainedalso for the error term in the asymptotic formula for the Laplacetransform of |(+it)|⁴.     

On Positive Multipeak Solutions of a Nonlinear Elliptic Problem

In this paper we continue our investigation in [5, 7, 8] onmultipeak solutions to the problem –²u+u=Q(x)|u|^q–2u, xR^N, uH¹(R^N) (1.1) where = ^N_i=1²/x²_i is the Laplace operator in R^N, 2 < q < for N = 1, 2, 2 < q < 2N/(N–2) for N3, and Q(x)is a bounded positive continuous function on R^N satisfying thefollowing conditions. (Q₁) Q has a strict local minimum at some point x₀R^N, that is,for some > 0 Q(x)>Q(x₀) for all 0 < |x–x₀| < . (Q₂) There are constants C, > 0 such that |Q(x)–Q(y)|C|x–y| for all |x–x₀| , |y–y₀| . Our aim here is to show that corresponding to each strict localminimum point x₀ of Q(x) in R^N, and for each positive integerk, (1.1) has a positive solution with k-peaks concentratingnear x₀, provided is sufficiently small, that is, a solutionwith k-maximum points converging to x₀, while vanishing as 0 everywhere else in R^N.     

A Graph-Theoretic Approach to the Unique Midset Property of Metric Spaces

A metric space X has the unique midset property if there isa topology-preserving metric d on X such that for every pairof distinct points x, y there is one and only one point p suchthat d(x, p) = d(y, p). The following are proved. (1) The discretespace with cardinality n has the unique midset property if andonly if n 2, 4 and n c, where c is the cardinality of thecontinuum. (2) If D is a discrete space with cardinality notgreater than c, then the countable power D^N of D has the uniquemidset property. In particular, the Cantor set and the spaceof irrational numbers have the unique midset property. A finite discrete space with n points has the unique midsetproperty if and only if there is an edge colouring of the completegraph K_n such that for every pair of distinct vertices x, ythere is one and only one vertex p such that (xp) = (yp). Letump(K_n) be the smallest number of colours necessary for sucha colouring of K_n. The following are proved. (3) For each k 0, ump(K_2k+1) = k. (4) For each k 3, k ump(K_2k) 2k–1.     

Concavity and B-Concavity of Solutions of Quasilinear Filtration Equations

Spatial concavity properties of non-negative weak solutionsof the filtration equations with absorption u_t = ((u))_xx–(u)in Q = Rx(0, ), '0, 0 are studied. Under certain assumptionson the coefficients , it is proved that concavity of the pressurefunction is a consequence of a ‘weak’ convexityof travelling-wave solutions of the form V(x, t) = (x–t+a).It is established that the global structure of a so-called properset B = {V} of such particular solutions determines a propertyof B-concavity for more general solutions which is preservedin time. For the filtration equation u_t = ((u))_xx a semiconcavityestimate for the pressure, v_xx(t+)^–1'(), due to the B-concavityof the solution to the subset B of the explicit self-similarsolutions (x/t+)) is proved. The analysis is based on the intersection comparison based onthe Sturmian argument of the general solution u(x, t) with subsetsB of particular solutions. Also studied are other aspects ofthe B-concavity/convexity with respect to different subsetsof explicit solutions.     

On the Total Coloring of Graphs Embeddable in Surfaces

The paper shows that any graph G with the maximum degree (G) 8, which is embeddable in a surface of Euler characteristic() 0, is totally ((G)+2)-colorable. In general, it is shownthat any graph G which is embeddable in a surface and satisfiesthe maximum degree (G) (20/9) (3–())+1 is totally ((G)+2)-colorable.     

Acyclic Colourings of Planar Graphs with Large Girth

A proper vertex-colouring of a graph is acyclic if there areno 2-coloured cycles. It is known that every planar graph isacyclically 5-colourable, and that there are planar graphs withacyclic chromatic number _a = 5 and girth g = 4. It is provedhere that a planar graph satisfies _a 4 if g 5 and _a 3 ifg 7.     

On the Greatest Prime Divisor of the Sum of Two Squares of Primes

One of the most famous theorems in number theory states thatthere are infinitely many positive prime numbers (namely p =2 and the primes p 1 mod4) that can be represented in the formx²₁+x²₂, where x₁ and x₂ are positive integers. In a recentpaper, Fouvry and Iwaniec [2] have shown that this statementremains valid even if one of the variables, say x₂, is restrictedto prime values only. In the sequel, the letter p, possiblywith an index, is reserved to denote a positive prime number.As p²₁=p²₂ = p is even for p₁, p₂ > 2, it is reasonable toconjecture that the equation p²₁=p²₂ = 2p has an infinity ofsolutions. However, a proof of this statement currently seemsfar beyond reach. As an intermediate step in this direction,one may quantify the problem by asking what can be said aboutlower bounds for the greatest prime divisor, say P(N), of thenumbers p²₁=p²₂, where p₁, p₂ N, as a function of the realparameter N 1. The well-known Chebychev–Hooley methodcombined with the Barban–Davenport–Halberstam theoremalmost immediately leads to the bound P(N) N^1–, if N N_o(); here, denotes some arbitrarily small fixed positivereal number. The first estimate going beyond the exponent 1has been achieved recently by Dartyge [1, Théorème1], who showed that P(N) N^10/9–. Note that Dartyge'sproof provides the more general result that for any irreduciblebinary form f of degree d 2 with integer coefficients the greatestprime divisor of the numbers |f(p₁, p₂)|, p₁, p₂ N, exceedsN^_d–, where _d = 2 – 8/(d = 7). We in particular wantto point out that Dartyge does not make use of the specificfeatures provided by the form x²₁+x²₂. By taking advantage ofsome special properties of this binary form, we are able toimprove upon the exponent ₂ = 10/9 considerably.