COLORING SUBGRAPHS OF THE RADO GRAPH

Given a universal binary countable homogeneous structure U and n∈ω, there is a partition of the induced n-element substructures of U into finitely many classes so that for any partition C₀,C₁, . . .,C_m−1 of such a class Q into finitely many parts there is a number k∈m and a copy U* of U in U so that all of the induced n-element substructures of U* which are in Q are also in C_k. The partition of the induced n-element substructures of U is explicitly given and a somewhat sharper result as the one stated above is proven. * Supported by NSERC of Canada Grant # 691325.     

κ-Gorenstein Modules

Let A and F be artin algebras and ∧UГa paper, we first introduce the notion of k-Gorenstein faithfully balanced selforthogonal bimodule. In this modules with respect to ∧UГ and then characterize it in terms of the U-resolution dimension of some special injective modules and the property of the functors Ext^i （Ext^i （-, U）, U） preserving monomorphisms, which develops a classical result of Auslander. As an application, we study the properties of dual modules relative to Gorenstein bimodules. In addition, we give some properties of ∧UГwith finite left or right injective dimension.     

Holomorphic liftings and Bergman kernel estimates for 𝒟ℱ𝒩‐domains

Let E be a 𝒟ℱ𝒩‐space and let U ⊂ E be open. By applying the nuclearity of the Fréchet space ℋ︁(U) of holomorphic functions on U we show that there are finite measures μ on U leading to Bergman spaces of μ ‐square integrable holomorphic functions. We give an explicit construction for μ by using infinite dimensional Gaussian measures. Moreover, we prove boundary estimates for the corresponding Bergman kernels K_μ on the diagonal and we give an application of our results to liftings of μ ‐square integrable Banach space valued holomorphic functions over U. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Square-free Lucas <Emphasis Type="Italic">d</Emphasis>-pseudoprimes and Carmichael-Lucas numbers

Let d be a fixed positive integer. A Lucas d-pseudoprime is a Lucas pseudoprime N for which there exists a Lucas sequence U(P, Q) such that the rank of N in U(P, Q) is exactly (N − ε(N))/d, where ε is the signature of U(P, Q). We prove here that all but a finite number of Lucas d-pseudoprimes are square free. We also prove that all but a finite number of Lucas d-pseudoprimes are Carmichael-Lucas numbers.     

SCORE LISTS IN （h, k）-BIPARTITE HYPERTOURNAMENTS

Given non-negative integers m,n,h and k with m ≥ h ＞ 1 and n ≥ k ＞ 1, an (h, k)-bipartite hypertournament on m n vertices is a triple (U, V, A), where U and V are two sets of vertices with |U| = m and |V| = n, and A is a set of (h k)-tuples of vertices,called arcs, with at most h vertices from U and at most k vertices from V, such that for any h k subsets U1 ∪ V1 of U ∪ V, A contains exactly one of the (h k)! (h k)-tuples whose entries belong to U1 ∪ V1. Necessary and sufficient conditions for a pair of non-decreasing sequences of non-negative integers to be the losing score lists or score lists of some(h, k)-bipartite hypertournament are obtained.     

High quality preconditioning of a general symmetric positive definite matrix based on its UTU + UTR + RTU-decomposition

A new matrix decomposition of the form A = U^TU + U^TR + R^TU is proposed and investigated, where U is an upper triangular matrix (an approximation to the exact Cholesky factor U₀), and R is a strictly upper triangular error matrix (with small elements and the fill-in limited by that of U₀). For an arbitrary symmetric positive matrix A such a decomposition always exists and can be efficiently constructed; however it is not unique, and is determined by the choice of an involved truncation rule. An analysis of both spectral and K-condition numbers is given for the preconditioned matrix M = U^−T AU⁻¹ and a comparison is made with the RIC preconditioning proposed by Ajiz and Jennings. A concept of approximation order of an incomplete factorization is introduced and it is shown that RIC is the first order method, whereas the proposed method is of second order. The idea underlying the proposed method is also applicable to the analysis of CGNE-type methods for general non-singular matrices and approximate LU factorizations of non-symmetric positive definite matrices. Practical use of the preconditioning techniques developed is discussed and illustrated by an extensive set of numerical examples. Copyright © 1999 John Wiley & Sons, Ltd.     

Ahlfors-régularité des quasi-minima de Mumford–Shah

Let be an open set. We consider on Ω the competitors (U,K) for the reduced Mumford–Shah functional, that is to say the Mumford–Shah functional in which the -norm of U term is removed, where K is a closed subset of Ω and U is a function on ΩK with gradient in  . The main result of this paper is the following: there exists a constant c for which, whenever (U,K) is a quasi-minimizer for the reduced Mumford–Shah functional and B(x,r) is a ball centered on K and contained in Ω with bounded radius, the -measure of is bounded above by cr^N−1 and bounded below by c⁻¹r^N−1.     

On <Emphasis Type="Italic">U</Emphasis>-orthodox semigroups

As a generalization of an orthodox semigroup in the class of regular semigroups, a type W semigroup was first investigated by El-Qallali and Fountain. As an analogy of the type W semigroups in the class of abundant semigroups, we introduce the U-orthodox semigroups. It is shown that the maximum congruence μ contained in on U-orthodox semigroups can be determined. As a consequence, we show that a U-orthodox semigroup S can be expressed by the spined product of a Hall semigroup W _U and a V-ample semigroup (T,V). This theorem not only generalizes a known result of Hall-Yamada for orthodox semigroups but also generalizes another known result of El-Qallali and Fountain for type W semigroups. This work was supported by National Natural Science Foundation of China (Grant No. 10671151) and Natural Science Foundation of Shaanxi Province (Grant No. SJ08A06), and partially by UGC (HK) (Grant No. 2160123)     

Hopf Algebras of Type <Emphasis Type="Italic">A</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>, Twistings and the FRT-construction

We study pointed Hopf algebras of the form U(R _Q ), (Faddeev et al., Quantization of Lie groups and Lie algebras. Algebraic Analysis, vol. I, Academic, Boston, MA, pp. 129–139, 1988; Faddeev et al., Quantum groups. Braid group, knot theory and statistical mechanics. Adv. Ser. Math. Phys., vol. 9, World Science, Teaneck, NJ, pp. 97–110, 1989; Larson and Towber, Commun. Algebra 19(12):3295–3345, 1991), where R _Q is the Yang–Baxter operator associated with the multiparameter deformation of GL _n supplied in Artin et al. (Commun. Pure Appl. Math. 44:8–9, 879–895, 1991) and Sudbery (J. Phys. A, 23(15):697–704, 1990). We show that U(R _Q ) is of type A _n in the sense of Andruskiewitsch and Schneider (Adv. Math. 154:1–45, 2000; Pointed Hopf algebras. Recent developments in Hopf Algebras Theory, MSRI Series, Cambridge University Press, Cambridge, 2002). We consider the non-negative part of U(R _Q ) and show that for two sets of parameters, the corresponding Hopf sub-algebras can be obtained from each other by twisting the multiplication if and only if they possess the same groups of grouplike elements. We exhibit families of finite-dimensional Hopf algebras arising from U(R _Q ) with non-isomorphic groups of grouplike elements. We then discuss the case when the quantum determinant is central in A(R _Q ) and show that under some assumptions on the group of grouplike elements, two finite-dimensional Hopf algebras U(R _Q ), U(R _Q′) can be obtained from each other by twisting the comultiplication if and only if In the last part we show that U _Q is always a quotient of a double crossproduct. I wish to thank UIC, where some of the work was done, for hospitality.     

Eigenvalue Bounds for the Orr–Sommerfeld Equation and Their Relevance to the Existence of Backward Wave Motion

Theoretical estimates of the phase velocity c_r of an arbitrary unstable, marginally stable or stable wave derived on the basis of the classical Orr–Sommerfeld eigenvalue problem governing the linear instability of plane Poiseuille flow or nearly parallel viscous shear flows in straight channels with velocity U(z) (=1?z², z∈[?1, +1] for plane Poiseuille flow), leave open the possibility that these phase velocities lie outside the range U_min<c_r<U_max but not a single experimental or numerical investigation, concerned with unstable waves in the context of flows with (d²U/dz²)_max≤0, has supported such a possibility as yet. U_min, U_max and (d²U/dz²)_max are, respectively, the minimum value of U(z), the maximum value of U(z), and the maximum value of (d²U/dz²) for z∈[?1, +1]. This gap between the theory on one hand and experiment and computation on the other has remained unexplained ever since Joseph [3] derived these estimates, first in 1968, and has even led to the speculation of a negative phase velocity in plane Poiseuille flow (i.e., c_r<U_min=0) and hence the possibility of a “backward” wave as in Jeffrey-Hamel flow in a diverging channel with backflow [1]. A simple mathematical proof of the nonexistence of such a possibility is given herein by showing that if (d²U/dz²)_max≤0 and (d⁴U/dz⁴)_min≥0 for z∈[?1, +1], then the phase velocity c_r of an arbitrary unstable wave must satisfy the inequality U_min<c_r<U_max, (d⁴U/dz⁴)_min is the minimum value of (d⁴U/dz⁴) for z∈[?1, +1], and therefore c_r cannot be negative when U_min=0. Another result that provides valuable insight into the general modal structure of the problem of instability of the above class of flows with U_min≥0 (e.g., plane Poiseuille flow) is that all standing waves, that is, modes for which c_r=0, are stable.     

Nearly <Emphasis Type="Italic">H</Emphasis>-closed spaces

For a subset M of a topological space X, the θ-closure {ie626-01} M is defined as the set of all x ∈ X such that any closed neighborhood of x intersects M. A Urysohn space X is said to be U-closed if, whenever X ∪ {ξ} is a Urysohn space obtained from X by adding one point ξ, the point ξ is isolated in X ∪ {ξ}. The θ-closure operator is applied to study compactness-type properties of (weakly) U-and H-closed and closed-hereditarily U-and H-closed spaces. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 48, General Topology, 2007.     

THE CLASSIFICATION OF CONVEX ORDERS ON AFFINE ROOT SYSTEMS

We classify all total orders with a convex property on the positive root system of an arbitrary untwisted affine Lie algebra g. Such total orders are called convex orders and are used to construct convex bases of Poincaré-Birkhoff-Witt type of the upper triangular subalgebra U_q ⁺ of the quantized universal enveloping algebra U_q (g).     

The small‐is‐very‐small principle

The central result of this paper is the small‐is‐very‐small principle for restricted sequential theories. The principle says roughly that whenever the given theory shows that a definable property has a small witness, i.e., a witness in a sufficiently small definable cut, then it shows that the property has a very small witness: i.e., a witness below a given standard number. Which cuts are sufficiently small will depend on the complexity of the formula defining the property. We draw various consequences from the central result. E.g., roughly speaking, (i) every restricted, recursively enumerable sequential theory has a finitely axiomatized extension that is conservative with respect to formulas of complexity $\le n$; (ii) every sequential model has, for any n, an extension that is elementary for formulas of complexity $\le n$, in which the intersection of all definable cuts is the natural numbers; (iii) we have reflection for ${\mathrm{\Sigma }}_2^0$‐sentences with sufficiently small witness in any consistent restricted theory U; (iv) suppose U is recursively enumerable and sequential. Suppose further that every recursively enumerable and sequential V that locally inteprets U, globally interprets U. Then, U is mutually globally interpretable with a finitely axiomatized sequential theory. The paper contains some careful groundwork developing partial satisfaction predicates in sequential theories for the complexity measure depth of quantifier alternations.     

A class of asymptotically normal degenerate quasi <Emphasis Type="Italic">U</Emphasis>-statistics

Some quasi U-statistics, unlike other variants of U-statistics, arising in distance based tests for homogeneity of groups, have first-order stationary kernels of degree 2, and yet they enjoy asymptotic normality under suitable hypotheses of invariance. Central limit theorems for a more general class of quasi U-statistics with possibly higher order stationarity (and degree) are formulated with the aid of appropriate martingale (array) characterizations as well as permutational invariance structures.     

Topological hypercovers and <Superscript>1</Superscript>-realizations

We show that if U_* is a hypercover of a topological space X then the natural map hocolim U_* X is a weak equivalence. This fact is used to construct topological realization functors for the ¹-homotopy theory of schemes over real and complex fields. In an appendix, we also prove a theorem about computing homotopy colimits of spaces that are not cofibrant.Mathematics Subject Classification (2000):55U35, 14F20, 14F42The second author was supported by an NSF Postdoctoral Research Fellowship     

Average‐case analyses of first fit and random fit bin packing

We prove that the First Fit bin packing algorithm is stable under the input distribution U{k−2, k} for all k≥3, settling an open question from the recent survey by Coffman, Garey, and Johnson [“Approximation algorithms for bin backing: A survey,” Approximation algorithms for NP‐hard problems, D. Hochbaum (Editor), PWS, Boston, 1996]. Our proof generalizes the multidimensional Markov chain analysis used by Kenyon, Sinclair, and Rabani to prove that Best Fit is also stable under these distributions [Proc Seventh Annual ACM‐SIAM Symposium on Discrete Algorithms, 1995, pp. 351–358]. Our proof is motivated by an analysis of Random Fit, a new simple packing algorithm related to First Fit, that is interesting in its own right. We show that Random Fit is stable under the input distributions U{k−2, k}, as well as present worst case bounds and some results on distributions U{k−1, k} and U{k, k} for Random Fit. © 2000 John Wiley & Sons, Inc. Random Struct. Alg., 16: 240–259, 2000     

Dual canonical bases,quantum shuffles and <Emphasis Type="Italic">q</Emphasis>-characters

Rosso and Green have shown how to embed the positive part U_q() of a quantum enveloping algebra U_q() in a quantum shuffle algebra. In this paper we study some properties of the image of the dual canonical basis B^* of U_q() under this embedding . This is motivated by the fact that when is of type A_r, the elements of (B^*) are q-analogues of irreducible characters of the affine Iwahori-Hecke algebras attached to the groups GL(m) over a p-adic field.     

On the structure of spaces of uniformly convergent Fourier series

We first give some new examples of translation invariant subspaces of C or U without local unconditional structure. In the second part, we prove that U and U ⁺ do not have the Gordon–Lewis property. In the third part, we show that absolutely summing operators from U to a K-convex space are compact. As a consequence, U and U ⁺ are not isomorphic. At last, we prove that U and U ⁺ do not have the Daugavet property.     

A Unified Treatment of the Geometric Algebra of Matroids and Even Δ-Matroids

The concept of acombinatorial(W; P; U)-geometryfor a Coxeter groupW, a subsetPof its generating involutions and a subgroupUofWwithP  Uyields the combinatorial foundation for a unified treatment of the representation theories of matroids and of even Δ-matroids. The concept of a (W, P)-matroid as introduced by I. M. Gelfand and V. V. Serganova is slightly different, although for many important classes ofWandPone gets the same structures. In the present paper, we extend the concept of the Tutte group of an ordinary matroid to combinatorial (W; P; U)-geometries and suggest two equivalent definitions of a (W; P; U)-matroid with coefficients in a fuzzy ringK. While the first one is more appropriate for many theoretical considerations, the second one has already been used to show that (W; P; U)-matroids with coefficients encompass matroids with coefficients and Δ-matroids with coefficients.