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||=+.     

Lp Lq Estimates for Parabolic Systems in Non-Divergence Form with VMO Coefficients

Consider a parabolic NxN-system of order m on ⁿ with top-ordercoefficients a VMOL. Let 1 < p, q < and let be a Muckenhouptweight. It is proved that systems of this kind possess a uniquesolution u satisfying whereAu = _||m a Du and J = [0,). In particular, choosing = 1, therealization of A in L^p(ⁿ)^N has maximal L^p – L^q regularity.     

Theta-characteristics on singular curves

On a smooth curve a theta-characteristic is a line bundle L,the square of which is the canonical line bundle . The equivalentcondition om(L, ) L generalizes well to singular curves, asapplications show. More precisely, a theta-characteristic isa torsion-free sheaf of rank 1 with om(, ) . If the curvehas non-ADE singularities, then there are infinitely many theta-characteristics.Therefore, theta-characteristics are distinguished by theirlocal type. The main purpose of this article is to compute thenumber of even and odd theta-characteristics (that is withh⁰(C, ) 0 and h⁰(C, ) 1 modulo 2, respectively) in terms ofthe geometric genus of the curve and certain discrete invariantsof a fixed local type.     

Majorations Uniformes de Normes D'Inverses Dans Les Algebres de Beurling

The Beurling algebras l¹(D,)(D=N,Z) that are semi-simple, withcompact Gelfand transform, are considered. The paper gives anecessary and sufficient condition (on ) such that l¹(D,) possessesa uniform quantitative version of Wiener's theorem in the sensethat there exists a function :]0,+[]0,+ such that, for everyinvertible element x in the unit ball of l¹(D,), we have ||x^–1||(r(x^–1)) r(x^–1) is the spectral radiusof x^–1.     

Constructing {kappa}-like Models of Arithmetic

A model (M, <, ...) is -like if M has cardinality but, forall M, the cardinality of {x M : x < a} is strictly lessthan . In this paper we shall give constructions of -like modelsof arithmetic satisfying an arbitrarily large finite part ofPA but not PA itself, for various singular cardinals . The mainresults are: (1) for each countable nonstandard M ₂–Th(PA)with arbitrarily large initial segments satisfying PA and eachuncountable of cofinality there is a cofinal extension K ofM which is -like; also hierarchical variants of this resultfor _n–Th(PA); and (2) for every n 1, every singular and every M B_n+exp+¬ I_n there is a -like model K elementarilyequivalent to M.     

Extremal Subgroups in Chevalley Groups

Throughout this paper G(k) denotes a Chevalley group of rankn defined over the field k, where n3. Let be the root systemassociated with G(k) and let ={₁, ₂, ..., _n} be a set of fundamentalroots of , with ⁺ being the set of positive roots of with respectto . For and ⁺, let n() be the coefficient of in the expressionof as a sum of fundamental roots; so =n(). Also we recall thatht(), the height of , is given by ht()=n(). The highest rootin ⁺ will be denoted by . We additionally assume that the Dynkindiagram of G(k) is connected.     

Normal and Non-Normal Points of Self-Similar Sets and Divergence Points of Self-Similar Measures

Let K and µ be the self-similar set and the self-similarmeasure associated with an IFS (iterated function system) withprobabilities (S_i, p_i)_i=1,...,N satisfying the open set condition.Let ={1,...,N}^N denote the full shift space and let : K denotethe natural projection. The (symbolic) local dimension of µat is defined by lim_n (log µK_|n/log diam K_|n), where for = (₁, ₂,...) . A point for which the limit lim_n (log µK_|n/log diam K_|n) doesnot exist is called a divergence point. In almost all of theliterature the limit lim_n (log µK_|n/log diam K_|n) is assumedto exist, and almost nothing is known about the set of divergencepoints. In the paper a detailed analysis is performed of theset of divergence points and it is shown that it has a surprisinglyrich structure. For a sequence (_n)_n, let A(_n) denote the setof accumulation points of (_n)_n. For an arbitrary subset I ofR, the Hausdorff and packing dimension of the set and related sets is computed. An interesting and surprisingcorollary to this result is that the set of divergence pointsis extremely ‘visible’; it can be partitioned intoan uncountable family of pairwise disjoint sets each with fulldimension. In order to prove the above statements the theory of normaland non-normal points of a self-similar set is formulated anddeveloped in detail. This theory extends the notion of normaland non-normal numbers to the setting of self-similar sets andhas numerous applications to the study of the local propertiesof self-similar measures including a detailed study of the setof divergence points.     

Inverse Spectral Problems for Sturm-Liouville Equations with Eigenparameter Dependent Boundary Conditions

Inverse Sturm–Liouville problems with eigenparameter-dependentboundary conditions are considered. Theorems analogous to thoseof both Hochstadt and Gelfand and Levitan are proved. In particular, let ly = (1/r)(–(py')'+qy), , where det = > 0, c 0, det > 0, t 0 and (cs + dr –au – tb)² < 4(cr – ta)(ds – ub). Denoteby (l; ; ) the eigenvalue problem ly = y with boundary conditionsy(0)cos+y'(0)sin = 0 and (a+b)y(1) = (c+d)(py')(1). Define (; ; ) as above but with l replacedby . Let w_n denote the eigenfunctionof (l; ; ) having eigenvalue n and initial conditions w_n(0)= sin and pw'_n(0) = –cos and let _n = –aw_n(1)+cpw'_n(1).Define _n and _n similarly. As sample results, it is proved that if (l; ; ) and (; ; ) have the same spectrum, and (l;; ) and (; ; ) have the samespectrum or for all n, thenq/r = /.     

BOUNDARY CONCENTRATION IN RADIAL SOLUTIONS TO A SYSTEM OF SEMILINEAR ELLIPTIC EQUATIONS

We study concentration phenomena for the system in the unit ball B₁ of ³ with Dirichlet boundaryconditions. Here , , > 0 and p > 1. We prove the existenceof positive radial solutions (, ) such that concentrates ata distance (/2)|log | away from the boundary B₁ as the parameter tends to 0. The approach is based on a combination of Lyapunov–Schmidtreduction procedure together with a variational method.     

An Access Theorem for Continuous Functions

Let f be a continuous function on an open subset of R² suchthat for every x there exists a continuous map : [–1,1] with (0) = x and f increasing on [–1, 1]. Thenfor every there exists a continuous map : [0, 1) suchthat (0) = y, f is increasing on [0; 1), and for every compactsubset K of , max{t : (t) K} < 1. This result gives an answerto a question posed by M. Ortel. Furthermore, an example showsthat this result is not valid in higher dimensions.     

Interpolation of Vector-Valued Real Analytic Functions

Let R^d be an open domain. The sequentially complete DF-spacesE are characterized such that for each (some) discrete sequence(z_n) , a sequence of natural numbers (k_n) and any family the infinite system of equations has an E-valued real analytic solution f.     

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.     

The Rationals have an AZ-Enumeration

Let M be an -categorical structure (that is, M is countableand Th(M) is -categorical). A nice enumeration of M is a totalordering of M having order-type and satisfying the following.Whenever a_i, i<, is a sequence of elements from M, thereexist some i<j< and an automorphism of M such that (a_i)= a_j and whenever ba_i, then (b)a_j. Such enumerations were introduced by Ahlbrandt and Ziegler in[1] where they showed that any Grassmannian of an infinite-dimensionalprojective space over a finite field (or of a disintegratedset) admits a nice enumeration; this combinatorial propertyplayed an essential role in their proof that almost stronglyminimal totally categorical structures are quasi-finitely axiomatisable. Recall that if M is -categorical and is a k-tuple of distinctelements from M (with tp() non-algebraic), then the GrassmannianGr(M; ) is defined as follows. The domain of Gr(M; ) is theset of realisations of tp() in M^k, modulo the equivalence relationxEy if x and y are equal as sets. This is a 0-definable subsetof M^eq, and now the relations on Gr(M; ) are by definition preciselythose which are 0-definable in the structure M^eq. (In particular,Gr(M; ) is also -categorical.) Notice that it is by no means clear that if M admits a niceenumeration, then so do Grassmannians of M. However, there isa strengthening of the notion of nice enumeration for whichthis is the case.     

Asymptotics for Fractional Nonlinear Heat Equations

The Cauchy problem is studied for the nonlinear equations withfractional power of the negative Laplacian where (0,2), with critical = /n and sub-critical (0,/n)powers of the nonlinearity. Let u₀ L^1,a L C, u₀(x) 0 in Rⁿ, = . The case of not small initial data is of interest. It is proved that the Cauchy problemhas a unique global solution u C([0,); L L^1,a C) and the largetime asymptotics are obtained.     

Identity Theorems for Functions of Bounded Characteristic

Suppose that f(z) is a meromorphic function of bounded characteristicin the unit disk :|z|<1. Then we shall say that f(z)N. Itfollows (for example from [3, Lemma 6.7, p. 174 and the following])that where h₁(z), h₂(z) are holomorphic in and have positive realpart there, while ₁(z), ₂(z) are Blaschke products, that is, where p is a positive integer or zero, 0<|a_j|<1, c isa constant and (1–|a_j|)<. We note in particular that, if c0, so that f(z)0, (1.1) so that f(z)=0 only at the points a_j. Suppose now that z_j isa sequence of distinct points in such that |z_j|1 as j and (1–|z_j|)=. (1.2) If f(z_j)=0 for each j and fN, then f(z)0. N. Danikas [1] has shown that the same conclusion obtains iff(z_j)0 sufficiently rapidly as j. Let _j, _j be sequences of positivenumbers such that _j< and _j as j. Danikas then defines and proves Theorem A.     

Immanant Inequalities, Induced Characters, and Rank Two Partitions

If = {₁, ₂, ..., _s}, where _{1 2} ... _s > 0, is a partitionof n then denotes the associated irreducible character of S_n,the symmetric group on {1, 2, ..., n}, and, if cCS_n, the groupalgebra generated by C and S_n, then d_c(·) denotes thegeneralized matrix function associated with c. If c₁, c₂ CS_nthen we write c₁ c₂ in case (A) (A) for each n x n positivesemi-definite Hermitian matrix A. If cCS_n and c(e) 0, wheree denotes the identity in S_n, then or denotes (c(e))^–1 c. The main result, an estimate for the norms of tensors of a certainanti-symmetry type, implies that if = {₁, ₂, ..., _s, 1^t} isa partition of n such that s > 1 and _s = 2, and ' denotes{₁, ₂, ..., _s-1, 1^t} then (, _{2}) where denotes characterinduction from S_n–2 x S₂ to S_n. This in turn implies thatif = {₁, ₂, ..., _s, 1^t} with s > 1, _s = 2, and ßdenotes {₁ + 2, ₂, ..., _s-1, 1^t} then _ß which,in conjunction with other known results, provides many new inequalitiesamong immanants. In particular it implies that the permanentfunction dominates all normalized immanants whose associatedpartitions are of rank 2, a result which has proved elusivefor some years. We also consider the non-relationship problem for immanants– that is the problem of identifying pairs, (,ß)such that _ß and _ß are both false.     

Base Sizes and Regular Orbits for Coprime Affine Permutation Groups

Let G be a permutation group on a finite set . A sequence B=(₁,..., _b) of points in is called a base if its pointwise stabilizerin G is the identity. Bases are of fundamental importance incomputational algorithms for permutation groups. For both practicaland theoretical reasons, one is interested in the minimal basesize for (G, ), For a nonredundant base B, the elementary inequality2^|B||G|||^|B| holds; in particular, |B|log|G|/log||. In the casewhen G is primitive on , Pyber [8, p. 207] has conjectured thatthe minimal base size is less than Clog|G|/log|| for some (large)universal constant C. It appears that the hardest case of Pyber's conjecture is thatof primitive affine groups. Let H=GV be a primitive affine group;here the point stabilizer G acts faithfully and irreduciblyon the elementary abelian regular normal subgroup V of H, andwe may assume that =V. For positive integers m, let mV denotethe direct sum of m copies of V. If (v₁, ..., v_m)mV belongsto a regular G-orbit, then (0, v₁, ..., v_m) is a base for theprimitive affine group H. Conversely, a base (₁, ..., _b) forH which contains 0V= gives rise to a regular G-orbit on (b–1)V. Thus Pyber's conjecture for affine groups can be viewed asa regular orbit problem for G-modules, and it is therefore aspecial case of an important problem in group representationtheory. For a related result on regular orbits for quasisimplegroups, see [4, Theorem 6].     

Faithful Representations of Free Products

In 1940 Nisnevi published the following theorem [3]. Let (G) be a family of groups indexed by some set and (F) a family of fields of the same characteristic p0. Iffor each the group G has a faithful representation of degreen over F then the free product* G has a faithful representationof degree n+1 over some field of characteristic p. In [6] Wehrfritzextended this idea. If (G) GL(n, F) is a family of subgroupsfor which there exists ZGL(n, F) such that for all the intersectionGF.1_n=Z, then the free product of the groups *_ZG with Z amalgamatedvia the identity map is isomorphic to a linear group of degreen over some purely transcendental extension of F. Initially, the purpose of this paper was to generalize theseresults from the linear to the skew-linear case, that is, togroups isomorphic to subgroups of GL(n, D) where the D are divisionrings. In fact, many of the results can be generalized to ringswhich, although not necessarily commutative, contain no zero-divisors.We have the following.     

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.     

TURAN'S EXTREMAL PROBLEM FOR POSITIVE DEFINITE FUNCTIONS ON GROUPS

We study the following question: given an open set , symmetricabout 0, and a continuous, integrable, positive definite functionf, supported in and with f(0) = 1, how large can f be? Thisproblem has been studied so far mostly for convex domains inEuclidean space. In this paper we study the question in arbitrarylocally compact abelian groups and for more general domains.Our emphasis is on finite groups as well as Euclidean spacesand ^d. We exhibit upper bounds for f assuming geometric propertiesof of two types: (a) packing properties of and (b) spectralproperties of . Several examples and applications of the maintheorems are shown. In particular, we recover and extend severalknown results concerning convex domains in Euclidean space.Also, we investigate the question of estimating f over possiblydispersed sets solely in dependence of the given measure m :=||of . In this respect we show that in and the integral is maximalfor intervals.