Regions of Applicability of Aubry-Mather Theory for Non-convex Hamiltonian

Herman constructed an autonomous system of two degrees of freedom which says that in non-convex situations, oscillations do happen and Aubry-Mather Theory cannot apply (see the results due to W. F. Chen in 1992). In this paper, it is shown that although the orbits could visit a region far away from the initial point in phase space, they can only exist in some fixed regions in I = (I ₁, I ₂) plane. Moreover, Aubry-Mather Theory can be applied outside the regions.     

Stability Analysis of the Cambridge Ring

A ring of I cells rotates past I queues, carrying customers from their origins to their destinations. The system is modelled as a Markov chain, and the exact ergodicity conditions are given. They are shown to depend on the precise travel lengths distributions, that is, not only on their means. Ergodicity is proven through the stability analysis of the associated fluid limits. The arrivals distributions, which in the ergodicity conditions appear only through their means, are more subtly involved in the fluid limits behaviour, in that they determine the probabilities of random bifurcations that occur infinitely often in a simple system of I=2 queues.     

The subalgebra systems of direct powers

A simple characterization of the subalgebra systems of direct powers of finitary universal algebras on a fixed infinite setA is given. For |I|≥|A| such subalgebra system of anI-power is precisely an algebraic closure systemS onA ^I closed under mutations ofI (which encompass both the precomposition by permutations ofI and allowing the values at specified elements ofI to become unrestricted) and such that each function in the intersection ofS is constant. For |I|<|A| the subalgebra systems ofI-powers are obtained as the restrictions toI of such closure systems on someA ^J withJ⊇I and |J|=|A|. Presented by J. D. Monk.     

Remarks on derived complete modules and complexes

Let R be a commutative ring and $I\subset R$ a finitely generated ideal. We discuss two definitions of derived I-adically complete (also derived I-torsion) complexes of R-modules, which appear in the literature: the idealistic and the sequential ones. The two definitions are known to be equivalent for a weakly proregular ideal I; we show that they are different otherwise. We argue that the sequential approach works well, but the idealistic one needs to be reinterpreted or properly understood. We also consider I-adically flat R-modules.     

An application of prophet regions to optimal stopping with a random number of observations

Let X ₁,X ₂ ,?…?be any sequence of nonnegative integrable random variables, and let N∈{1,2 , …} be a random variable with known distribution, independent of X ₁,X ₂ , …. The optimal stopping value sup _t E(X_t I(N≥ t)) is considered for two players: one who has advance knowledge of the value of N, and another who does not. Sharp ratio and difference inequalities relating the two players' optimal values are given in a number of settings. The key to the proofs is an application of a prophet region for arbitrarily dependent random variables by Hill and Kertz [T.P. Hill and R.P. Kertz (1983). Stop rule inequalities for uniformly bounded sequences of random variables. Trans. Amer. Math. Soc., 278, 197–207].     

Note on ideal-transforms, Rees rings, and Krull rings

Let I be an ideal in a Noetherian ring R and let T(I) be the ideal-transform of R with respect to I. Several necessary and sufficient conditions are given for T(I) to be Noetherian for a height one ideal I in an important class of altitude two local domains, and some specific examples are given to show that the integral closure T(I)′ and the complete integral closure T(I)″ of T(I) may differ, even when R is an altitude two Cohen-Macaulay local domain whose integral closure is a regular domain and a finite R-module. It is then shown that T(I)″ is always a Krull ring, and if the integral closure of R is a finite R-module, then T(I)′ is contained in a finite T(I)-module. Finally, these last two results are applied to certain symbolic Rees rings.     

A criterion for the primeness of ideals generated by polynomials with separated variables

Proving primeness of an idealI=〈f ₁, …,f _m〉 in a polynomial ringR=K[X ₁, …,X _n]ofn indeterminates over an algebraically closed fieldK is a difficult task in general. Although there are straightforward algorithms that decide whetherI is prime or not, they are prohibitively lengthy if the number of indeterminates or the degrees of thef _iare large. In this paper we will give an easy criterion for the primeness ofI if thef _iare polynomials with separated variables, i.e. no mixed monomials occur in thef _i. The work on this paper was done while the author was a MINERVA fellow at Tel Aviv University.     

An existence theorem for optimal control systems with state variable inC,and stochastic control problems

We consider an existence theorem for control systems whose state variables for everyt are inC, the set of continuous functions varying over a given setI. The dependence of the state variables upona I is induced by their dependence upon the initial state and the state equation governing the system. In contrast, the controlu=u(t) is taken as a measurable function oft alone. The usual space constraints and boundary conditions are also allowed to vary overaI, and the cost functional is now taken to be a continuous functional over a suitable class of continuous functions. We also discuss an application of these results to control systems with stochastic boundary conditions.This research was accomplished under Grant No. AF-AFOSR-942-65. The author is grateful to Dr. Lamberto Cesari for his suggestions and assistance in the preparation of this paper.     

ON THE NORMALITY OF MONOMIAL IDEALS OF MIXED PRODUCTS

Let R = K[x, y] be a polynomial ring in two disjoint sets of variables x, y over a field K. We study ideals of mixed products L = I_kJ_r + I_sJ_t such that k + r = s + t, where I_k (resp. J_r ) denotes the ideal of R generated by the square-free monomials of degree k (resp. r) in the x (resp. y ) variables. Our main result is a characterization of when a given ideal L of mixed products is normal.

     

Split-By-Nilpotent Extensions Algebras and Stratifying Systems

Let Γ and Λ be artin algebras such that Γ is a split-by-nilpotent extension of Λ by a two sided ideal I of Γ. Consider the change of rings functors G: =_ΓΓ_Λ ?_Λ ? and F: =_ΛΛ_Γ ?_Γ ?. In this article, by assuming that I _Λ is projective, we find the necessary and sufficient conditions under which a stratifying system (Θ, ≤) in modΛ can be lifted to a stratifying system (GΘ, ≤) in mod(Γ). Furthermore, by using the functors F and G, we study the relationship between their filtered categories of modules; and some connections with their corresponding standardly stratified algebras are stated (see Theorem 5.12, Theorem 5.15 and Theorem 5.18). Finally, a sufficient condition is given for stratifying systems in mod(Γ) in such a way that they can be restricted, through the functor F, to stratifying systems in mod(Λ).     

A central limit theorem with applications to random hypergraphs

Define for each subset I included in {1, …, n} the σ-algebra F_I = σ {X_i:iϵI} with X₁, …, X_n independent random variables. In this paper we consider F_I-measurable random variables W_isubject to the centering condition E(W_I|F_J) = 0 a.s., unless I ⊂ J. A central limit theorem is proved for sums of a finite degree Z = Σ_{I included in {1, …, n},|I|⩽d} W_I under the condition that certain partial sums of the fourth moment vanish. This result is applied to generalizations of the random graph model. © 1996 John Wiley & Sons, Inc.     

Analytic functions over a field of power series

 We extend the notion of absolute convergence for real series in several variables to a notion of convergence for series in a power series field ℝ((t ^Γ)) with coefficients in ℝ. Subsequently, we define a natural notion of analytic function at a point of ℝ((t ^Γ))^m. Then, given a real function f analytic on a open box I of ℝ ^m , we extend f to a function f ^★ which is analytic on a subset of ℝ((t ^Γ)) ^m containing I. We prove that the functions f ^★ share with real analytic functions certain basic properties: they are , they have usual Taylor development, they satisfy the inverse function theorem and the implicit function theorem. Received: 5 October 2000 / Revised version: 19 June 2001 / Published online: 12 July 2002     

Absolute value programming

We investigate equations, inequalities and mathematical programs involving absolute values of variables such as the equation Ax+B|x| = b, where A and B are arbitrary m× n real matrices. We show that this absolute value equation is NP-hard to solve, and that solving it with B = I solves the general linear complementarity problem. We give sufficient optimality conditions and duality results for absolute value programs as well as theorems of the alternative for absolute value inequalities. We also propose concave minimization formulations for absolute value equations that are solved by a finite succession of linear programs. These algorithms terminate at a local minimum that solves the absolute value equation in almost all solvable random problems tried.     

When ∏ is Isomorphic to ⊕

For a category , we investigate the problem of when the coproduct ⊕ and the product functor ∏ from  ^I to  are isomorphic for a fixed set I, or, equivalently, when the two functors are Frobenius functors. We show that for an Ab category  this happens if and only if the set I is finite (and even in a much general case, if there is a morphism in  that is invertible with respect to addition). However, we show that ⊕ and ∏ are always isomorphic on a suitable subcategory of  ^I which is isomorphic to  ^I but is not a full subcategory. If  is only a preadditive category, then we give an example that shows that the two functors can be isomorphic for infinite sets I. For the module category case, we provide a different proof to display an interesting connection to the notion of Frobenius corings.     

A procedure to compute prime filtration

Let K be a field, S = K[x ₁, … x _n ] be a polynomial ring in n variables over K and I ⊂ S be an ideal. We give a procedure to compute a prime filtration of S/I. We proceed as in the classical case by constructing an ascending chain of ideals of S starting from I and ending at S. The procedure of this paper is developed and has been implemented in the computer algebra system Singular.     

Generic initial ideals of Artinian ideals having Lefschetz properties or the strong Stanley property

For a standard Artinian k-algebra A=R/I, we give equivalent conditions for A to have the weak (or strong) Lefschetz property or the strong Stanley property in terms of the minimal system of generators of gin(I). Using the equivalent condition for the weak Lefschetz property, we show that some graded Betti numbers of gin(I) are determined just by the Hilbert function of I if A has the weak Lefschetz property. Furthermore, for the case that A is a standard Artinian k-algebra of codimension 3, we show that every graded Betti number of gin(I) is determined by the graded Betti numbers of I if A has the weak Lefschetz property. And if A has the strong Lefschetz (respectively Stanley) property, then we show that the minimal system of generators of gin(I) is determined by the graded Betti numbers (respectively by the Hilbert function) of I.     

Algebraic properties of first integrals for systems of second-order ordinary differential equations of maximal symmetry

Symmetries of the first integrals for scalar linear or linearizable secondorder ordinary di?erential equations (ODEs) have already been derived and shown to exhibit interesting properties. One of these is that the symmetry algebra sl(3, IR) is generated by the three triplets of symmetries of the functionally independent first integrals and its quotient. In this paper, we first investigate the Lie-like operators of the basic first integrals for the linearizable maximally symmetric system of two second-order ODEs represented by the free particle system, obtainable from a complex scalar free particle equation, by splitting the corresponding complex basic first integrals and its quotient as well as their associated symmetries. It is proved that the 14 Lie-like operators corresponding to the complex split of the symmetries of the functionally independent first integrals I₁, I₂ and their quotient I₂/I₁ are precisely the Lie-like operators corresponding to the complex split of the symmetries of the scalar free particle equation in the complex domain. Then, it is shown that there are distinguished four symmetries of each of the four basic integrals and their quotients of the two-dimensional free particle system which constitute four-dimensional Lie algebras which are isomorphic to each other and generate the full symmetry algebra sl(4, IR) of the free particle system. It is further shown that the (n + 2)-dimensional algebras of the n + 2 first integrals of the system of n free particle equations are isomorphic to each other and generate the full symmetry algebra sl(n + 2, IR) of the free particle system.     

A central limit theorem for generalized multilinear forms

Let X₁, …, X_n be independent random variables and define for each finite subset I {1, …, n} the σ-algebra = σ{X_i : i ε I}. In this paper -measurable random variables W_I are considered, subject to the centering condition E(W_I ) = 0 a.s. unless I J. A central limit theorem is proven for d-homogeneous sums W(n) = Σ_{I = d}W_I, with var W(n) = 1, where the summation extends over all (_n^d) subsets I {1, …, n} of size I = d, under the condition that the normed fourth moment of W(n) tends to 3. Under some extra conditions the condition is also necessary.