Some properties of the moduli of families of curves

Let A={a₁,...,a_n} and B={b₁,...,b_m} be systems of distinct points in , let be a family of homotopic classes H_i,i=1,..., j+m, of closed Jordan curves on, where the classes H_j+l, l=1,...,m, consist of curves that are homotopic to a point curve in b. Let =₁,..., _j+m be a system of positive numbers and letU be the modulus of the extremal-metric problem for the family and the system . In this paper we investigate the dependence of the modulusU=U(,A,B) on the parameters _i and on the disposition of the points a_k and b. One shows thatU is a smooth function of the indicated arguments and one obtains expressions for the derivatives U, U, and U. One gives some applications of these results.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 144, pp. 72–82, 1985.     

A remark on interpolation in spaces of vector functions

Let B(H) be the space of bounded operators in a Hubert space H, let B _p ^s (_p) be the Besov class of functions, analytic in the unit circle and taking values in the Schatten-von Neumann class _p (H), and let . The fundamental result is that (B _p ^1/p (r_p),X)_Q,q=B _q ^1/g (r_q), 1 p , 0<Q<1, q=p/(1–).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 141, pp. 162–164, 1985.     

Transfinite interpolation on the medians of a triangle and best L 1-approximation

Let be a triangle in and let be the set of its three medians. We construct interpolants to smooth functions using transfinite (or blending) interpolation on The interpolants are of type f(₁)+g(₂)+h(₃), where (₁,₂,₃) are the barycentric coordinates with respect to the vertices of . Based on an error representation formula, we prove that the interpolant is the unique best L¹-approximant by functions of this type subject the function to be approximated is from a certain convexity cone in C³().Received: 17 December 2003     

Existence of a Phase Transition for the Potts p-adic Model on the Set ℤ

We consider the Potts model on the set in the field Q _p of p-adic numbers. The range of the spin variables (n), , in this model is . We show that there are some values q=q(p) for which phase transitions occur.     

Note on the existence of large minimal blocking sets in galois planes

A subsetS of a finite projective plane of orderq is called a blocking set ifS meets every line but contains no line. For the size of an inclusion-minimal blocking setq+ +Sq +1 holds ([6]). Ifq is a square, then inPG(2,q) there are minimal blocking sets with cardinalityq +1. Ifq is not a square, then the various constructions known to the author yield minimal blocking sets with less than 3q points. In the present note we show that inPG(2,q),q1 (mod 4) there are minimal blocking sets having more thanqlog₂ q/2 points. The blocking sets constructed in this note contain the union ofk conics, whereklog₂ q/2. A slight modification of the construction works forq3 (mod 4) and gives the existence of minimal blocking sets of sizecqlog₂ q for some constantc.As a by-product we construct minimal blocking sets of cardinalityq +1, i.e. unitals, in Galois planes of square order. Since these unitals can be obtained as the union of parabolas, they are not classical.     

Criteria of algebraic independence of complex numbers over a field of finite transcendence type (II)

In the present paper we establish a criterion of algebraic independence of complex numbers ₁, ..., _n over a field of finite transcendence type using a sequence of nonzero polynomials in several variables with integral coefficients, which satisfy simultaneously certain upper and lower estimates in different orders of magnitude at the point ( ₁, ..., _q , ₁, ..., _n ), where { ₁, ..., _q } is a transcendence basis of over .The Project Supported by the National Natural Science Foundation of China     

On the Influence of Weights on Extremes

Let X ₁, ..., X_n be an i.i.d. sequence of random variables, from an unknown distribution F, and X ₁ ^W , ... X _n ^W be a sample from , the weighted empirical distribution function of X ₁, ..., X_n. We define the order statistics X _1,n ^W ... X _n,n ^W of X ₁ ^W , ..., X _n ^W . Under suitable assumptions on weights, we study the influence of the maxima in the construction of limit theorems. We choose a resample size m(n) and we derive conditions on m(n) for the in probability and with probability 1 consistency of X _m(n),m(n) ^W . The presence of weights has an influence on the resample size and requires the use of new tools. When X _n,n is in the domain of attraction of an extreme value distribution, m(n) , and , as n , all our results hold.     

Tensor ideals in the category of tilting modules

We study the tensor category of tilting modules over a quantum groupU _q with divided powers. The setX ₊ of dominant weights is a union of closed alcoves numbered by the elementswW ^f of a certain subset of affine Weyl groupW. G. Lusztig and N. Xi defined a partition ofW ^f into canonical right cells and the right order _R on the set of cells. For a cellAW ^f we consider a full subcategory formed by direct sums of tilting modulesQ() with highest weights . We prove that is a tensor ideal in , generalizing H. Andersen's theorem about the ideal of negligible modules which in our notations is nothing else then . The proof is an application of a recent result by W. Soergel who has computed the characters of tilting modules.This material is based upon work supported by the U.S. Civilian Research and Development Foundation under Award No. RM1-265.     

Induktive Definitionen und Dilatoren

Summary In this paper we give a new and comparatively simple proof of the following theorem by Girard [1]:If x y (x,y) (where the relation is arithmetic and positive in Kleene's ), then there exists a recursive DilatorD such that x ^<y ^{(x, y).The essential feature of our proof is its very direct definition of the dilatorD. Within a certain infinitary cutfree system of inductive logic (which in fact is a modification of Girard's system in [1]) we construct in a uniform way for each ordinal a derivation T of the formula x <y (x, y), and then defineD immediately from the family (T)_On. Especially we set D():=Kleene-Brouwer length of (T).}     

A 2-extension of the field ℚ of rational numbersof rational numbers

It is proved that the rational number field has one, and only one, normal 2-extension (_{2, t8)}/with group isomorphic to .If is the maximal subfield of a real-closed field, which does not contain ,then the algebraic closure of is isomorphic to the field .Bibliography: 7titles.Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 236, 1997, pp. 192–196.     

On flag-transitive affine planes of orderq 3

Let be a translation plane of orderq ³,q an odd prime power, whose kern GF(q). Letl be the line at infinity of . LetG be a solvable collineation group of in the linear translation complement, which acts transitively onl , and letH be a maximal normal cyclic subgroup ofG. Then the restriction ofH onl acts semiregularly onl and {1, 2, 3, 6}, where is the restriction ofG onl (ifq –1(mod 3), then {1, 2}). Ifq {3, 5} and {1, 2}, then is determined completely, using a computer.     

Some remarks on embeddings of the flag geometries of projective planes in finite projective spaces

The flag geometry of a finite projective plane II of orders is the generalized hexagon of order (s, 1) obtained from II by putting equal to the set of all flags of II, by putting equal to the set of all points and lines of II and where I is the natural incidence relation (inverse containment), that is, is the dual of the double of II in the sense of [8]. Then we say that is fully (and weakly) embedded in the finite projective space PG(d, q) if is a subgeometry of the natural point-line geometry associated with PG(d, q), if s=q, if the set of points of generates PG(d, q) (and if the set of points of not opposite any given point of does not generate PG(d, q)). We have classified all such embeddings in [3, 4, 5, 6]. In the present paper, we weaken the hypotheses in some special cases, and we give an alternative formulation of the classification.     

On the number of rational points of a plane algebraic curve

The number of F_q -rational points of a plane non-singular algebraic curve defined over a finite field F_q is computed, provided that the generic point of is not an inflexion and that is Frobenius non-classical with respect to conics. Received: 18 March 2003     

On the Structure of a Certain Class of Mixed Tsirelson Spaces

We study Banach spaces of the form We call such a space a p-space, p[1,), if for every k the space is isomorphic to _pk and the sequence (p_k) strictly decreases to p. We examine the finite block representability of the spaces _r in a p-space proving that it depends not only on p but also on the sequences (p_k) and (n_k). Assuming that _i n_i ^1/q decreases to 0, where q is the conjugate exponent of p, we prove the existence of an asymptotic biorthogonal system in X and also that c ₀ is finitely representable in X. Moreover we investigate the modified versions of p-spaces proving that, if n_km1/pkm-1/pk_m-1 increases to infinity for a subsequence (n_km) , then ₁ embeds into X. We also investigate complemented minimality for the class of spaces where is either a subsequence of the sequence of Schreier classes ( _n)_{n N} or a subsequence of ( _n)_{n N}.     

On a Problem of the Theory of Multiply Local Formations

We describe the -closed n-multiply local formations such that the lattice of all -closed n-multiply local formations between and is Boolean.     

On the Admissibility of Some Linear and Projective Groups in Odd Characteristic

A bijective mapping defined on a finite group G is complete if the mapping defined by , , is bijective. In 1955 M. Hall and L. J. Paige conjectured that a finite group G has a complete mapping if and only if a Sylow 2-subgroup of G is non-cyclic or trivial. This conjecture is still open. In this paper we construct a complete mapping for the projective groups PSL and PGL(2,q),q odd. As a consequence, we prove that in odd characteristic the projective groups PGL(n,q GL , admit a complete mapping.     

Cotype of operators fromC(K)

Summary Forq>2, an operator fromC(K) toX is of cotypeq if and only if it factors through the Lorentz space . Forq=2, ifX is a rearrangement invariant space on [0, 1], the injectionC([0, 1])X is of cotype 2 if and only if it factors through the Lorentz space ; but there is a cotype 2 operator C(K) that does not factor through . If a Banach latticeX satisfies the Orlicz property, any bounded lattice operatorT:C(K)X is of cotype 2. We however construct a Banach lattice with the Orlicz property, but that fails to be of cotype 2.Oblatum 4-VII-1990 & 18-IV-1991Work partially supported by an NSF grant     

A strong law for weighted sums of i.i.d. random variables

A strong law is proved for weighted sumsS _n=a _in X _i whereX _i are i.i.d. and {a _in} is an array of constants. When sup(n ^–1|a _in | ^q )^1/q <, 1<q andX _i are mean zero, we showE|X| ^p <,p ^l+q ^–1=1 impliesS _n /n 0. Whenq= this reduces to a result of Choi and Sung who showed that when the {a _in} are uniformly bounded,EX=0 andE|X|< impliesS _n /n 0. The result is also true whenq=1 under the additional assumption that lim sup |a _in |n ^–1 logn=0. Extensions to more general normalizing sequences are also given. In particular we show that when the {a _in} are uniformly bounded,E|X|^1/< impliesS _n /n 0 for >1, but this is not true in general for 1/2<<1, even when theX _i are symmetric. In that case the additional assumption that (x ^1/ log^1/–1 x)P(|X|x)0 asx provides necessary and sufficient conditions for this to hold for all (fixed) uniformly bounded arrays {a _in}.     

Rates of Decay and h-Processes for One Dimensional Diffusions Conditioned on Non-Absorption

Let (X _t ) be a one dimensional diffusion corresponding to the operator , starting from x>0 and T ₀ be the hitting time of 0. Consider the family of positive solutions of the equation with (0, ), where . We show that the distribution of the h-process induced by any such is , for a suitable sequence of stopping times (S _M : M0) related to which converges to with M. We also give analytical conditions for , where is the smallest point of increase of the spectral measure associated to .