An Improvement of an Inequality of Fiedler Leading to a New Conjecture on Nonnegative Matrices

Suppose that A is an n × n nonnegative matrix whose eigenvalues are = (A), ₂, ..., _n. Fiedler and others have shown that \det( I -A) ⁿ - ⁿ, for all > with equality for any such if and only if A is the simple cycle matrix. Let a _i be the signed sum of the determinants of the principal submatrices of A of order i × i, i=1, ..., n - 1. We use similar techniques to Fiedler to show that Fiedler's inequality can be strengthened to: for all . We use this inequality to derive the inequality that: . In the spirit of a celebrated conjecture due to Boyle-Handelman, this inequality inspires us to conjecture the following inequality on the nonzero eigenvalues of A: If ₁ = (A), ₂,...,_k are (all) the nonzero eigenvalues of A, then . We prove this conjecture for the case when the spectrum of A is real.     

Isolated point of spectrum ofP-hyponormal, log-hyponormal operators

LetT B(H) be a bounded linear operator on a complex Hilbert spaceH. Let ₀ (T) be an isolated point of (T) and let be the Riesz idempotent for ₀. In this paper, we prove that ifT isp-hyponormal or log-hyponormal, thenE is self-adjoint andE H=ker(H–₀)=ker(H–₀ ^*.This research was supported by Grant-in-Aid Research 1 No. 12640187.     

Extremal problems of Bloch function spaces

Letf be analytic in a hyperbolic region . The Bloch constant _f off is defined by , where (z)|dz| is the Poincaré metric in . Suppose is hyperbolic and where . Then for allf withf() , we have _f 1/(). In this paper we study the extremal functions defined by _f =1/() and the existence of those functions.Supported by the National Natural Science Foundation of China.     

Optimal Upper and Lower Bounds for the Upper Tails of Compound Poisson Processes

A compound Poisson process is of the form where Z, Z ₁, Z ₂, are arbitrary i.i.d. random variables and N is an independent Poisson random variable with parameter . This paper identifies the degree of precision that can be achieved when using exponential bounds together with a single truncation to approximate . The truncation level introduced depends only on and Z and not on the overall exceedance level a.     

The eigenvalues of the Sinyukov mapping for geodesically equivalent metrics are globally ordered

Suppose all geodesics of two Riemannian metrics g and defined on a (connected, geodesically complete) manifold M ⁿ coincide. At each point x M ⁿ , consider the common eigenvalues ₁, ₂, ... , _n of the two metrics (we assume that _{1 2 n}) and the numbers . We show that the numbers _i are ordered over the entire manifold: for any two points x and y in M the number _k(x) is not greater than _k+1(y). If _k(x)= _k+1(y), then there is a point z M _n such that _k(z)= _k+1(z). If the manifold is closed and all the common eigenvalues of the metrics are pairwise distinct at each point, then the manifold can be covered by the torus.Translated from Matematicheskie Zametki, vol. 77, no. 3, 2005, pp. 412–423.Original Russian Text Copyright © 2005 by V. S. Matveev.This revised version was published online in April 2005 with a corrected issue number.     

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

AnL 1 smoothing spline algorithm with cross validation

We propose an algorithm for the computation ofL ₁ (LAD) smoothing splines in the spacesW _M (D), with . We assume one is given data of the formy _i =(f(t _i ) + _i , i=1,...,N with {itt_i} _i=1 ^{N D} , the _i are errors withE( _i )=0, andf is assumed to be inW _M . The LAD smoothing spline, for fixed smoothing parameter0, is defined as the solution,s , of the optimization problem (1/N) _i=1 ^N ¦y _i –g(t _i ¦+J _M (g), whereJ _M (g) is the seminorm consisting of the sum of the squaredL ₂ norms of theMth partial derivatives ofg. Such an LAD smoothing spline,s , would be expected to give robust smoothed estimates off in situations where the _i are from a distribution with heavy tails. The solution to such a problem is a thin plate spline of known form. An algorithm for computings is given which is based on considering a sequence of quadratic programming problems whose structure is guided by the optimality conditions for the above convex minimization problem, and which are solved readily, if a good initial point is available. The data driven selection of the smoothing parameter is achieved by minimizing aCV() score of the form .The combined LAD-CV smoothing spline algorithm is a continuation scheme in 0 taken on the above SQPs parametrized in, with the optimal smoothing parameter taken to be that value of at which theCV() score first begins to increase. The feasibility of constructing the LAD-CV smoothing spline is illustrated by an application to a problem in environment data interpretation.     

Bifurcation of periodic solutions to variational inequalities in R κ based on Alexander-Yorke theorem

Variational inequalities are studied, where K is a closed convex cone in , 3, B is a × matrix, G is a small perturbation, a real parameter. The assumptions guaranteeing a Hopf bifurcation at some ₀ for the corresponding equation are considered and it is proved that then, in some situations, also a bifurcation of periodic solutions to our inequality occurs at some _{I 0}. Bifurcating solutions are obtained by the limiting process along branches of solutions to penalty problems starting at ₀ constructed on the basis of the Alexander-Yorke theorem as global bifurcation branches of a certain enlarged system.     

The Lattice of Interpretability Types of Cantor Varieties

For integers 1 m < n, a Cantor variety with m basic n-ary operations _i and n basic m-ary operations _k is a variety of algebras defined by identities _k(₁( ), ... , _m( )) = _k and i(₁( ), ... ,_n( )) = y _i, where = (x ₁., ... , x _n) and = (y ₁, ... , y _m). We prove that interpretability types of Cantor varieties form a distributive lattice, , which is dual to the direct product ₁ × ₂ of a lattice, ₁, of positive integers respecting the natural linear ordering and a lattice, ₂, of positive integers with divisibility. The lattice is an upper subsemilattice of the lattice of all interpretability types of varieties of algebras.     

Lecture Hall Partitions II

For a non-decreasing integer sequence a=(a₁,...,a_n) we define L_a to be the set of n-tuples of integers = (₁,...,_n) satisfying . This generalizes the so-called lecture hall partitions corresponding to a_i=i and previously studied by the authors and by Andrews. We find sequences a such that the weight generating function for these a-lecture hall partitions has the remarkable form In the limit when n tends to infinity, we obtain a family of identities of the kind the number of partitions of an integer m such that the quotient between consecutive parts is greater than is equal to the number of partitions of m into parts belonging to the set P, for certain real numbers and integer sets P. We then underline the connection between lecture hall partitions and Ehrhart theory and discuss some reciprocity results.     

Nondiagonal Hermite–Sobolev Orthogonal Polynomials

In this work, we study algebraic and analytic properties for the polynomials { Q _n } _{n 0}, which are orthogonal with respect to the inner product where , R such that – ² > 0.     

On the positive solutions of some nonlinear diffusion problems

We consider the nonlinear diffusion equationu _t –a(x, u _{x x} )+b(x, u)=g(x, u) with initial boundary conditions andu(t, 0)=u(t, 1)=0. Here,a, b, andg denote some real functions which are monotonically increasing with respect to the second variable. Then, the corresponding stationary problem has a positive solution if and only if(0, ^*) or(0, ^*]. The endpoint ^* can be estimated by , where ₁ u denotes the first eigenvalue of the stationary problem linearized at the pointu. The minimal positive steady state solutions are stable with respect to the nonlinear parabolic equation.

---

Zusammenfassung Wir betrachten die nichtlineare Diffusionsgleichungu _t –a(x, u _x ) _x +b(x, u)=g(x, u) mit Randbedingungen undu (t, 0)=u (t, 1)=0. Dabei sinda, b, undg monoton wachsende Funktionen bzgl. des zweiten Argumentes. Das zugehörige stationäre Problem hat genau dann eine positive Lösung, falls (0, ^*) oder(0, ^*]. Der Endpunkt ^* kann durch abgeschätzt werden, wobei ₁ u den ersten Eigenwert des an der Stelleu linearisierten stationären Problems bezeichnet. Die minimale positive stationäre Lösung ist stabil bzgl. der obigen nichtlinearen parabolischen Gleichung.

     

On Some Proximinal Subspaces of Modular Spaces

Let (, , ) be a complete measure space, L⁰ the vector lattice of -measurable real functions on , : L⁰ [0, )] a lattice semimodular, the corresponding modular space, S₀ the ideal generated by and 0,{\text{ }}\exists {\text{ }}s \in {\text{ }}S_{\text{0}} {\text{ such that }}\rho \left( {\frac{{x - s}}{\user1{\lambda }}} \right) < \infty } \right\}$$ " align="middle" border="0"> . In X consider the distance 0:\rho \left( {\frac{{x - y}}{\user1{\lambda }}} \right) \leqq \user1{\lambda }} \right\}$$ " align="middle" border="0"> and, if is convex, the distances d_L, d_o subordinated to the Luxemburg and Amemiya-Orlicz norms, respectively. We give necessary and sufficient conditions for H(S_o) in order to be proximinal in X with the distances d, d_L and d_o.     

Oscillatory Behaviour of Solutions of Two-Dimensional Differential Systems with Deviated Arguments

Sufficient conditions are established for the oscillation of proper solutions of the system

Relations of Borel Type for Generalizations of Exponential Series

We prove that the condition is necessary and sufficient for the validity of the relation ln F() ln (, F), +, outside a certain set for every function from the class . Here, H(, f) is the class of series that converge for all 0 and have a form

Reconstruction of a rational nonsquare matrix function from local data

In many problems the local zero-pole structure (i.e. locations of zeros and poles together with their orders) of a scalar rational functionw is a key piece of structure. Knowledge of the order of the pole or zero of the rational functionw at the point is equivalent to knowledge of the -module (where is the space of rational functions analytic at ). For the more intricate case of a rationalp×m matrix functionW, we consider the structure of the module as the appropriate analogue of zero-pole structure (location of zeros and poles together with directional information), where is the set of column vectors of heightm with entries equal to rational functions which are analytic at . Modules of the form in turn can be explicitly parametrized in terms of a collection of matrices (C ,A ,B ,B , ) together with a certain row-reduced(p–m)×m matrix polynomialP(z) (which is independent of ) which satisfy certain normalization and consistency conditions. We therefore define the collection (C ,A ,Z ,B , ,P(z)) to be the local spectral data set of the rational matrix functionW at . We discuss the direct problem of how to compute the local spectral data explicitly from a realizationW(z)=D+C(z–A) ^–1 B forW and solve the inverse problem of classifying which collections (C ,A ,Z ,B , ,P(z)) satisfying the local consistency and normalization conditions arise as the local spectral data sets of some rational matrix functionW. Earlier work in the literature handles the case whereW is square with nonzero determinant.     

Some asymptotic results related to the law of iterated logarithm for Brownian motion

For 0<<1, let . The questions addressed in this paper are motivated by a result due to Strassen: almost surely, lim sup _t U ((t))=1–exp{–4(^–1)–1}. We show that Strassen's result is closely related to a large deviations principle for the family of random variablesU (t), t>0. Also, when =1,U (t)0 almost surely and we obtain some bounds on the rate of convergence. Finally, we prove an analogous limit theorem for discounted averages of the form as 0, whereD is a suitable discount function. These results also hold for symmetric random walks.     

Generalization of some classical inequalities in the theory of orthogonal series

Let {X_i} _– be a sequence of random variables, E(X_i) 0. If 1, estimates for the -th moments can be derived from known estimates of the -th moment. Here we generalized the Men'shov-Rademacher inequality for =2 for orthonormal X_i, to the case 1 and dependent random variables. The Men'shov-Payley inequality >2 for orthonormal X_i) is generalized for >2 to general random variables. A theorem is also proved that contains both the Erdös -Stechkin theorem and Serfling's theorem withv > 2 for dependent random variables.Translated from Matematicheskie Zametki, Vol. 17, No. 2, pp. 219–230, February, 1975.This article was written while the author was working in the V. A. Steklov Mathematics Institute, Academy of Sciences of the USSR.     

Quasi-conformal mapping theorem and bifurcations

LetH be a germ of holomorphic diffeomorphism at 0 . Using the existence theorem for quasi-conformal mappings, it is possible to prove that there exists a multivalued germS at 0, such thatS(ze ²ⁱ )=HS(z) (1). IfH is an unfolding of diffeomorphisms depending on (,0), withH ₀=Id, one introduces its ideal . It is the ideal generated by the germs of coefficients (a _i (), 0) at 0 ^k , whereH (z)–z=a _i ()z ⁱ . Then one can find a parameter solutionS (z) of (1) which has at each pointz ₀ belonging to the domain of definition ofS ₀, an expansion in seriesS (z)=z+b _i ()(z–z ₀) ⁱ with , for alli.This result may be applied to the bifurcation theory of vector fields of the plane. LetX be an unfolding of analytic vector fields at 0 ² such that this point is a hyperbolic saddle point for each . LetH (z) be the holonomy map ofX at the saddle point and its associated ideal of coefficients. A consequence of the above result is that one can find analytic intervals , , transversal to the separatrices of the saddle point, such that the difference between the transition mapD (z) and the identity is divisible in the ideal . Finally, suppose thatX is an unfolding of a saddle connection for a vector fieldX ₀, with a return map equal to identity. It follows from the above result that the Bautin ideal of the unfolding, defined as the ideal of coefficients of the difference between the return map and the identity at any regular pointz, can also be computed at the singular pointz=0. From this last observation it follows easily that the cyclicity of the unfoldingX , is finite and can be computed explicity in terms of the Bautin ideal.Dedicated to the memory of R. Mañé