The Euler characteristic of local systems on the moduli of genus 3 hyperelliptic curves

For a partition ={₁₂₃0} of non-negative integers, we calculate the Euler characteristic of the local system on the moduli space of genus 3 hyperelliptic curves using a suitable stratification. For some of low degree, we make a guess for the motivic Euler characteristic of using counting curves over finite fields.Mathematics Subject Classification (1991): 14J15, 20B25     

Supersingular <Emphasis Type="Italic">K</Emphasis>3 surfaces in odd characteristic and sextic double planes

We show that every supersingular K3 surface is birational to a double cover of a projective plane. Mathematics Subject Classification (2000):14J28, 14Q10, 11H55     

On Nevanlinna's second main theorem in projective space

Summary We first prove a theorem concerning higher order logarithmic partial derivatives for meromorphic functions of several complex variables. Then we show the best nature of the second main theorem in Nevanlinna theory under two different assumptions of non-degeneracy of meromorphic mappingsf : ^{n n} for arbitrary positive integersn andm. Moreover, we derive a upper bound of the error term in the second main theorem for meromorphic mappings of finite order. Finally, we demonstrate the sharpness of all upper bounds in our main theorems.Oblatum 28-IX-1994 & 29-V-1995     

Nonoscillation and asymptotic behaviour for third order nonlinear differential equations

In this paper we consider the equation y +q(t)y + p(t)h(y)=0, where p, q are real valued continuous functions on [0, ) such that q(t) 0, p(t) 0 and h(y) is continuous in (–, ) such that h(y)y > 0 for y 0. We obtain sufficient conditions for solutions of the considered equation to be nonoscillatory. Furthermore, the asymptotic behaviour of these nonoscillatory solutions is studied.     

Quasi-symmetric 3-designs with triangle-free graph

The following result is proved: Let D be a quasi-symmetric 3-design with intersection numbers x, y(0x<y<k). D has no three distinct blocks such that any two of them intersect in x points if and only if D is a Hadamard 3-design, or D has a parameter set (v, k, ) where v=(+2)(²+4+2)+1, k=²+3+2 and =1,2,..., or D is a complement of one of these designs.     

Exact Values of Widths of Classes of Analytic Functions on the Disk and Best Linear Approximation Methods

In the Hardy space H _p, (p1, 0< 1, H _p,1 H _p) we develop best linear approximation methods (previously studied by Taikov and Ainulloev) for the classes W(r,,) of analytic functions on the unit disk and calculate the exact values of linear, Gelfand, and informational n-widths of these classes.     

Local extrema of analytic functions

We give a complete answer to the problem of the finite decidability of the local extremality character of a real analytic function at a given point, a problem that found partial answers in some works by Severi and ojasiewicz. Consider a real analytic functionf defined in a neighbourhood of a pointx ₀R ⁿ . Restrictf to the spherical surface centered inx ₀ and with radiusr0 and take its infimumm(r) and its supremumM(r). We establish some properties ofm(r) andM(r) for smallr>0. In particular, we prove that they have asymptotic expansions of the formf(x ₀)+c·(r +o(r )) asr0 for a realc and a rational 1 (of course the parameters will usually be different form andM).This work was supported by the Brazilian Fundação Carlos Chagas and by the Italian Consiglio Nazionale delle Ricerche.     

A free convenient vector space for holomorphic spaces

In this paper we show that there exists a free convenient vector space for the case of holomorphic spaces and holomorphic maps. This means that for every spaceX with a holomorphic structure, there exists an appropriately complete locally convex vector space X and a holomorphic mapl _X:XX, such that for any vector space of the same kind the map (l _X )^*:L(X,E)(X,E) is a bijection. Analogously to the smooth case treated in [2, 5.1.1] the free convenient vector space X can be obtained as the Mackey closure of the linear subspace spanned by the image of the canonical mapX(X).In the second part of the paper we prove that in the case whereX is a Riemann surface, one hasX=(X,).     

Problems arising from jackknifing the estimate of a Kaplan-Meier integral

Stute and Wang (1994) considered the problem of estimating the integral S^θ = ∫ θ dF, based on a possibly censored sample from a distribution F, where θ is an F-integrable function. They proposed a Kaplan-Meier integral to approximate S^θ and derived an explicit formula for the delete-1 jackknife estimate . differs from only when the largest observation, X_(n), is not censored (δ_(n) = 1 and next-to-the-largest observation, X_(n-1), is censored (δ_(n-1) = 0). In this note, it will pointed out that when X_(n) is censored is based on a defective distribution, and therefore can badly underestimate . We derive an explicit formula for the delete-2 jackknife estimate . However, on comparing the expressions of and , their difference is negligible. To improve the performance of and , we propose a modified estimator according to Efron (1980). Simulation results demonstrate that is much less biased than and and .     

Continuous dependence of stochastic control models on the noise distribution

Given a discrete-time stochastic control systemx _t+1 =F(x _t ,a _t , _t ),t=0, 1,.., N (N), where the noise process { _t } is a sequence of i.i.d. random elements with distribution, let ^N (x) be the optimal reward function when the initial state isx and the planning horizon isN. We give conditions under whichv ^N is a continuous function in for several reward criteria. The applicability of these results to nonparametric adaptive control of stochastic systems is briefly discussed.This research was supported in part by the Consejo Nacional de Ciencia y Tecnologia (CONACYT) under Grants PCCBBNA-020630 and PCEXCNA-040640.     

Stresses due to a nucleus of thermo-elastic strain (i) in an infinite elastic solid with spherical cavity and (ii) in a solid elastic sphere

In this paper solutions in series form for the stresses due to a nucleus of thermo-elastic strain in an infinite elastic solid in the presence of a spherical cavity and also in an elastic solid sphere have been found.

---

Zusammenfassung Die thermischen Spannungen in einem festen Körper unendlicher Ausdehnung, welcher einen sphärischen Hohlraum enthält, sind bei einer Temperatur von 0°C in Gegenwart eines erhitzten Elementes, das sich in endlichem Abstand vom Hohlraum befindet, hergeleitet worden, wobei zahlenmässige Angaben für die Spannungen und Verschiebungen an der Oberfläche des Hohlraums gemacht werden können. Die Ergebnisse sind mit den entsprechenden, für den zweidimensionalen Fall gültigen Zahlenwerten verglichen worden. Ferner was es möglich, auch für das Problem einer festen Kugel von der Temperatur 0°C und einem erhitzten Kern in ihrem Innern eine Lösung zu finden.

---

Nomenclature x, y, z Cartesian coordinates; - r, , spherical polar coordinates; - u _x ,u _y ,u _z components of displacement in Cartesian coordinates; - u _r ,u ,u components of displacement in spherical coordinates; - _r , , , , _r , components of stress in spherical coordinates; - E coefficient of elasticity in stress; - G coefficient of elasticity in shear; - coefficient of linear expansion; - Poisson's ration The following nomenclature has been used in this paper:     

The Parameters of Bipartite Q-polynomial Distance-Regular Graphs

Let denote a bipartite distance-regular graph with diameter D 3 and valency k 3. Suppose ₀, ₁, ..., _D is a Q-polynomial ordering of the eigenvalues of . This sequence is known to satisfy the recurrence _{i – 1} – _i + _{i + 1} = 0 (0 > i > D), for some real scalar . Let q denote a complex scalar such that q + q ^–1 = . Bannai and Ito have conjectured that q is real if the diameter D is sufficiently large.We settle this conjecture in the bipartite case by showing that q is real if the diameter D 4. Moreover, if D = 3, then q is not real if and only if ₁ is the second largest eigenvalue and the pair (, k) is one of the following: (1, 3), (1, 4), (1, 5), (1, 6), (2, 4), or (2, 5). We observe that each of these pairs has a unique realization by a known bipartite distance-regular graph of diameter 3.     

Does polynomial parallel volume imply convexity?

For a non-empty compact set A^d, d2, and r0, let Ar denote the set of points whose distance from A is r at the most. It is well-known that the volume, V_d(A_r), of A_r is a polynomial of degree d in the parameter r if A is convex. We pursue the reverse question and ask whether A is necessarily convex if V_d(A_r) is a polynomial in r. An affirmative answer is given in dimension d=2, counterexamples are provided for d3. A positive resolution of the question in all dimensions is obtained if the assumption of a polynomial parallel volume is strengthened to the validity of a (polynomial) local Steiner formula. Mathematics Subject Classification (2000):52A38, 28A75, 52A22, 53C65     

The embedding of linearly ordered sets

It is shown that if a linearly ordered set B does not contain as subsets sets of order type and ^* then B can be embedded in 2 . We construct an example of a set satisfying the above conditions which cannot be embedded in any 2 if < . Simultaneously we show that for any ordinal, 2 ⁺¹ cannot be embedded in 2 and that there exists at least ₊₁ distinct dense order types of cardinality 2 .Translated from Matematicheskie Zametki, Vol. 11, No. 1, pp. 83–88, January, 1972.In conclusion, I wish to take the opportunity to thank Yu. L. Ershov for kindness and assistance in this work.     

Biclosed Binary Relations and Galois Connections

Given two closure spaces (E,) and (E,), a relation RE×E is said biclosed if every row of its matrix representation corresponds to a closed subset of E, and every column to a closed subset of E. An isomorphism between, on the one hand, the set of all biclosed relations and, on the other hand, the set of all Galois connections between the two lattices of closed sets is established. Several computational applications are derived from this result.     

Cut-elimination and interpolation for Ω-logic

In 1978, Girard introduced-logic to generalize-logic. The basic category of-logic is the categoryON of ordinals. For geometric structure reasons, Girard changed the basic categoryON into the more general categoryWF of well-founded orders (1983). The logic he obtained was called-logic. Here, we extend (unpublished) results of-logic to-logic.     

Intertwining operators and polynomials associated with the symmetric group

There is an algebra of commutative differential-difference operators which is very useful in studying analytic structures invariant under permutation of coordinates. This algebra is generated by the Dunkl operators , (i=1, ...,N, where (ij) denotes the transposition of the variablesx _i x _j andk is a fixed parameter). We introduce a family of functions {p }, indexed bym-tuples of non-negative integers = (₁, ..., _m ) formN, which allow a workable treatment of important constructions such as the intertwining operatorV. This is a linear map on polynomials, preserving the degree of homogeneity, for which ,i = 1, ...,N, normalized byV1=1 (seeDunkl, Canadian J. Math.43 (1991), 1213–1227). We show thatT _i p =0 fori>m, and

Hamilton cycles in random lifts of graphs

An n-lift of a graph K is a graph with vertex set V(K)×[n], and for each edge (i,j)E(K) there is a perfect matching between {i}×[n] and {j}×[n]. If these matchings are chosen independently and uniformly at random then we say that we have a random n-lift. We show that there are constants h₁,h₂ such that if h≥h₁ then a random n-lift of the complete graph K_h is hamiltonian and if h≥h₂ then a random n-lift of the complete bipartite graph K_h,h is hamiltonian .     

On obtaining a stationary process isomorphic to a given process with a desired distribution

Let _e denote the set of distributions of all stationary, ergodic, aperiodic processes with a given finite state space, and let the metric on _e be Ornstein's process distance. Suppose is a subset of _e which is a in the weak topology and for which (µ _n ,)0 whenever { _n } is a sequence from _e converging weakly to a positive entropy measure in . It is shown that ifX is a stationary ergodic aperiodic process with entropy rate less than the entropy of one of the distributions in , thenX is isomorphic to a process whose distribution lies in . As special cases, one obtains the invulnerable source coding theorem of information theory and also the Grillenberger-Krengel theorem on the existence of a generator whose process has a desired marginal distribution.Research of author supported by NSF Grant ECS-78-21335.     

Local partial regularity theorems for suitable weak solutions of a class of degenerate systems

A partial regularity theorem is established for a particular class of weak solutions to the systemu/t– div(K(u)u)=(u)¦¦², div((u))=0 on a bounded domain inR ^N . Under our assumptions, (u) may exhibit exponential decay, and thus the system may be degenerate. Our proof is based upon a blow-up argument.This work was supported in part by NSF Grant DMS9424448.