A generalization of the inversion formulas of systems of power series in systems of implicit functions

Using a multidimensional analog of the logarithmic residue, equations are derived expressing the coefficients of the power series of implicit functionsx _j =_j(w)=_j(w₁,...,w_m), j=1,...,n, defined by the system of equations f_j(w, x)=F_j (w₁,...,w_m:z₁,...,x _n )=0, j=1,...,n,f _j , (0, 0)=0, F_j(0, 0)/z_k=_jk in a neighborhood of the point (0, 0)C _(w,x) ^m+n , in terms of the coefficients of the power series of the functions F_j(w, z), j=1, ..., n. As a corollary, well-known formulas are obtained for the inversion of multiple power series.Translated from Matematicheskie Zametki, Vol. 23, No. 1, pp. 47–54, January, 1978.     

A convexity-preservingC 2 parametric rational cubic interpolation

Summary AC ² parametric rational cubic interpolantr(t)=x(t) i+y(t) j,t[t ₁,t _n] to data S={(x_j, y_j)|j=1,...,n} is defined in terms of non-negative tension parameters _j ,j=1,...,n–1. LetP be the polygonal line defined by the directed line segments joining the points (x _j ,y _j ),t=1,...,n. Sufficient conditions are derived which ensure thatr(t) is a strictly convex function on strictly left/right winding polygonal line segmentsP. It is then proved that there always exist _j ,j=1,...,n–1 for whichr(t) preserves the local left/righ winding properties of any polygonal lineP. An example application is discussed.This research was supported in part by the natural Sciences and Engineering Research Council of Canada.     

Some properties related to torsion of a two-dimensional surface

We consider a two-dimensional surface F² of class C³ in Euclidean spaceE ⁿ ,n4. We introduce the concepts of the normal curvature vectork _N (x; t) and the Euler curvature vectorv _N (x; t) of the normalp _N (x;t) and the Euler _N (x;t) torsion of surface F² at the point x in the tangent directiont. We show that these magnitudes are characteristics of surface F² at the point x in the directiont, and derive formulas for their calculation. We establish necessary and sufficient conditions under which the directions of vectorsk _N (x; t) andp _N (x; t) are parallel displaced in the normal fiber bundle on F² from the pointx ¯F ² in the directiont. In particular, the following assertion holds: the direction of the Euler curvature vectorp _N (x; t) is parallel displaced in the normal fiber bundle on F² along any geodesic on F² if and only ifv _N (x; t) 0, x F ². t.Translated from Ukrainskii Geometricheskii Sbornik, No. 33, pp. 45–52, 1990.     

On the maximal number of certain subgraphs inK r -free graphs

Given two graphsH andG, letH(G) denote the number of subgraphs ofG isomorphic toH. We prove that ifH is a bipartite graph with a one-factor, then for every triangle-free graphG withn verticesH(G) H(T ₂(n)), whereT ₂(n) denotes the complete bipartite graph ofn vertices whose colour classes are as equal as possible. We also prove that ifK is a completet-partite graph ofm vertices,r > t, n max(m, r – 1), then there exists a complete (r – 1)-partite graphG* withn vertices such thatK(G) K(G*) holds for everyK _r -free graphG withn vertices. In particular, in the class of allK _r -free graphs withn vertices the complete balanced (r – 1)-partite graphT _r–1(n) has the largest number of subgraphs isomorphic toK _t (t < r),C ₄,K _2,3. These generalize some theorems of Turán, Erdös and Sauer.Dedicated to Paul Turán on his 80th Birthday     

Weakly irregular quasiperiodic solutions of nonlinear Pfaff systems

We consider the nonlinear quasiperiodic Pfaff system

$$\frac{{\partial x}}{{\partial t_j }} = F^{(j)} (t,x) + G^{(j)} (t,x)(j = 1,...,m).$$

Let K ^(j) be a frequency basis with respect to t _j of the functions F ⁽¹⁾,...,F ^(m), and let L ^(j) be a frequency basis with respect to t _j of the functions G ⁽¹⁾,...,G ^(m). Suppose that the set K ^(j) ∪ L ^(j) of numbers is rationally linearly independent. We obtain necessary and sufficient conditions for the existence of quasiperiodic solutions with frequency bases L ⁽¹⁾,..., L ^(m).

     

Partitions of bi-partite numbers into at mostj parts

The number of partitions of a bi-partite number into at mostj parts is studied. We consider this function,p _j (x, y), on the linex+y=2n. Forj4, we show that this function is maximized whenx=y. Forj>4 we provide an explicit formula forn _j so that, for allnn _j ,x=y yields a maximum forp _j (x,y).     

On the cost of approximating all roots of a complex polynomial

This work examines the computational complexity of a homotopy algorithm in approximating all roots of a complex polynomialf. It is shown that, probabilistically, monotonic convergence to each of the roots occurs after a determined number of steps. Moreover, in all subsequent steps, each rootz is approximated by a complex numberx, where ifx ₀ =x, x _j =x _j–1 –f(x _j–1)/f(x _j–1),j = 1, 2,, then |x _j –z| < (1/|x ₀ –z|)|x _j–1–z|².     

Splittings of spaces CX

The n-fold free loop space ⁿSⁿX is for connected spaces X weakly equivalent to a simpler space C_nX, which has a natural filtration F_inr C_nX. It is well known that there is a splitting S^tF_r(C_nX) V _m=1 ^p S^t(F_m(C_nX)¦F_m–1(C_nX) inducing a stable splitting of C_nX. We give a simple construction for such a splitting with comparatively low estimates for the number t of necessary suspension coordinates.     

Riesz Exponential Families on Symmetric Cones

Let E be a simple Euclidean Jordan algebra of rank r and let be its symmetric cone. Given a Jordan frame on E, the generalized power _s (– ^–1) defined on – is the Laplace transform of some positive measure R _s on E if and only if s is in a given subset of R ^r . The aim of this paper is to study the natural exponential families (NEFs) F(R _s ) associated to the measures R _s . We give a condition on s so that R _s generates a NEF, we calculate the variance function of F(R _s ) and we show that a NEF F on E is invariant by the triangular group if and only if there exists s in such that either F=F(R _s ) or F is the image of F(R _s ) under the map x–x.     

Processes of flats induced by higher dimensional processes III

Stationary processes of k-flats in ^d can be thought of as point processes on the Grassmannian _k ^d of k-dimensional subspaces of ^d . If such a process is sampled by a (d–k+ j)-dimensional space F, it induces a process of j-flats in F. In this work we will investigate the possibility of determining the original k-process from knowledge of the intensity measures of the induced j-processes. We will see that this is impossible precisely when 1<k<d–1 and j=0,...,2[r/2]–1, where r is the rank of the manifold _k ^d . We will show how the problem is equivalent to the study of the kernel of various integral transforms, these will then be investigated using harmonic analysis on Grassmannian manifolds.The research of the first and third authors was supported in part by NSF grants DMS-9207019 and DMS-9304284. The research of the second author was supported in part by NFR contract number R-RA 4873-306 and the Swedish Academy of Sciences.     

Tate cohomology and periodic localization of polynomial functors

In this paper, we show that Goodwillie calculus, as applied to functors from stable homotopy to itself, interacts in striking ways with chromatic aspects of the stable category. Localized at a fixed prime p, let T(n) be the telescope of a v_n self map of a finite S–module of type n. The Periodicity Theorem of Hopkins and Smith implies that the Bousfield localization functor associated to T(n)_* is independent of choices. Goodwillies general theory says that to any homotopy functor F from S–modules to S–modules, there is an associated tower under F, {P_dF}, such that FP_dF is the universal arrow to a d–excisive functor. Our first main theorem says that P_dFP_d-1F always admits a homotopy section after localization with respect to T(n)_* (and so also after localization with respect to Morava K–theory K(n)_*). Thus, after periodic localization, polynomial functors split as the product of their homogeneous factors. This theorem follows from our second main theorem which is equivalent to the following: for any finite group G, the Tate spectrum is weakly contractible. This strengthens and extends previous theorems of Greenlees–Sadofsky, Hovey–Sadofsky, and Mahowald–Shick. The Periodicity Theorem is used in an essential way in our proof. The connection between the two theorems is via a reformulation of a result of McCarthy on dual calculus. Mathematics Subject Classification (2000) 55P65, 55N22, 55P60, 55P91     

Stability of the C *-Algebra Associated with Twisted CCR

The universal enveloping C ^*-algebra A of twisted canonical commutation relations is considered. It is shown that, for any (–1,1), the C ^*-algebra A is isomorphic to the C ^*-algebra A ₀ generated by partial isometries t _i ,t _i ^*,i=1,¨,d satisfying the relations t _i ^* t _j = _ij (1– _k<i t _k t _k ^*), t _j t _i =0, ij and it is proved that the Fock representation of A is faithful.     

Surjectivity of quotient maps for algebraic (ℂ,+)-actions and polynomial maps with contractible fibers

In this paper we establish two results concerning algebraic (,+)-actions on ⁿ . First, let be an algebraic (,+)-action on ³. By a result of Miyanishi, its ring of invariants is isomorphic to [t ₁,t ₂]. Iff ₁,f ₂ generate this ring, the quotient map of is the mapF:³²,x(f ₁(x), f₂(x)). By using some topological arguments we prove thatF is always surjective. Secon, we are interested in dominant polynomial mapsF: ^{n n-1} whose connected components of their generic fibers are contractible. For such maps, we prove the existence of an algebraic (,+)-action on ⁿ for whichF is invariant. Moreover we give some conditions so thatF*([t ₁,...,t _n-1 ]) is the ring of invariants of .Dedicated to all my friends and my family     

Transformation of Wiener measure under anticipative flows

Summary LetT()=+F() be a transformation from the Wiener space to itself with the range ofF() assumed to be in the Cameron-Martin space. The absolute continuity and the density function associated withT is considered;T is assumed to be embedded in or defined through a parameterizationT _t =+F _t () andF _t is assumed to be differentiable int. The paper deals first with the case where the range of thet-derivative ofF _t () is also in the Cameron-Martin space and new representations for the Radon-Nikodym derivative and the Carleman-Fredholm determinant are derived. The case where thet-derivative ofF _t is not in the Cameron-Martin space is considered next and results on the absolute continuity and the density function, under conditions which are considerably weaker than previously known conditions, are presented.The work of the second author was supported by the fund for promotion of research at the Technion     

The limit of the spectral radius of block Toeplitz matrices with nonnegative entries

A bi-infinite sequence ...,t _–2,t _–1,t ₀,t ₁,t ₂,... of nonnegativep×p matrices defines a sequence of block Toeplitz matricesT _n =(t _ik ),n=1,2,...,, wheret _ik =t _k–i ,i,k=1,...,n. Under certain irreducibility assumptions, we show that the limit of the spectral radius ofT _n , asn tends to infinity, is given by inf{()[0,]}, where () is the spectral radius of _jz t _j ^j .Supported by SFB 343 Diskrete Strukturen in der Mathematik, Universität Bielefeld     

Heat equation for an arbitrary doubly-connected region inR 2 with mixed boundary conditions

The basic problem in this paper is that of determining the geometry of an arbitrary doubly-connected region inR ² with mixed boundary conditions, from the complete knowledge of the eigenvalues { _j } _j=1 for the Laplace operator, using the asymptotic expansion of the spectral function (t)= _j=1 exp(–t _j ) ast0.     

Shock fluctuations in the asymmetric simple exclusion process

Summary We consider the one dimensional nearest neighbors asymmetric simple exclusion process with ratesq andp for left and right jumps respectively;q<p. Ferrari et al. (1991) have shown that if the initial measure isv _, , a product measure with densities and to the left and right of the origin respectively, <, then there exists a (microscopic) shock for the system. A shock is a random positionX _t such that the system as seen from this position at timet has asymptotic product distributions with densities and to the left and right of the origin respectively, uniformly int. We compute the diffusion coefficient of the shockD=lim _t t ^–1(E(X _t )²–(EX _t )²) and findD=(p–q)(–)^–1((1–)+(1–)) as conjectured by Spohn (1991). We show that in the scale the position ofX _t is determined by the initial distribution of particles in a region of length proportional tot. We prove that the distribution of the process at the average position of the shock converges to a fair mixture of the product measures with densities and . This is the so called dynamical phase transition. Under shock initial conditions we show how the density fluctuation fields depend on the initial configuration.     

Limit theorems for trimmed sums

This paper studies the heavily trimmed sums (*) _{[ns] + 1} ^[nt] X _j ⁽ⁿ⁾ , where {X _j ⁽ⁿ⁾ } _{j = 1} ⁿ are the order statistics from independent random variables {X ₁,...,X _n } having a common distributionF. The main theorem gives the limiting process of (*) as a process oft. More smoothly trimmed sums like _{j = 1} ^[nt] J(j/n)X _j ⁽ⁿ⁾ are also discussed.     

On the Similarity of Analytic Matrix Functions

Consider a domain , and two analytic matrix-valued functions functions . Consider also points and positive integers n ₁, n ₂, . . . , n _N . We are interested in the existence of an analytic function such that X(ω) is invertible, and G(ω) coincides with X(ω)F(ω)X(ω)⁻¹ up to order n _j at the point ω _j . We will see that such a function exists provided that F(ω _j ),G(ω _j ) have cyclic vectors, and the characteristic polynomials of F,G coincide up to order n _j at ω _j . This allows one to give a short proof to a result of Huang, Marcantognini and Young concerning spectral interpolation in the unit disk. The author was partially supported by a grant from the National Science Foundation. Received: September 8, 2006. Accepted: January 11, 2007.     

Existence of quantum diffusions

Summary A quantum diffusion (A, A, j) comprises of unital *-algebras A and A and a family of identity preserving *-homomorphisms j=(j _t : t0) from A into A. Also j satisfies a system of quantum stochastic differential equations dj _t (x ₀=j _t( _j ⁱ (x ₀))dM _i ⁱ , j ₀(x ₀)=x ₀I for all x ₀A where _j ⁱ , 1i, jN are maps from A to itself and are known as the structure maps. In this paper an existence proof is given for a class of quantum diffusions, for which the structure maps are bounded in the operator norm sense. A solution to the system of quantum stochastic differential equations is first produced using a variation of the Picard iteration method. Another application of this method shows that the solution is a quantum diffusion.