On the zone of a surface in a hyperplane arrangement

LetH be a collection ofn hyperplanes in ^d , letA denote the arrangement ofH, and let be a (d–1)-dimensional algebraic surface of low degree, or the boundary of a convex set in ^d . Thezone of inA is the collection of cells ofA crossed by . We show that the total number of faces bounding the cells of the zone of isO(n ^d–1 logn). More generally, if has dimensionp, 0p<d, this quantity isO(n ^[(d+p)/2]) ford–p even andO(n ^[(d+p)/2] logn) ford–p odd. These bounds are tight within a logarithmic factor.This paper is the union of two conference proceedings papers [3], [15]. Work on this paper by M. Pellegrini and M. Sharir has been supported by NSF Grant CCR-8901484. Work on this paper by M. Sharir has also been supported by ONR Grant N00014-90-J-1284 and by grants from the U.S.-Israeli Binational Science Foundation, the G.I.F. (the German-Israeli Foundation for Scientific Research and Development), and the Fund for Basic Research administered by the Israeli Academy of Sciences. M. Pellegrini's current address is Department of Computing, King's College, Strand, London WC2R 2LS, England.     

Essential spectral radius for Markov semigroups (I): discrete time case

Using two new measures of non-compactness (P) and _w (P) for a positive kernel P on a Polish space E, we obtain a new formula of Nussbaum-Gelfand type for the essential spectral radius r _ess (P) on b. Using that formula we show that different known sufficient conditions for geometric ergodicity such as Doeblins condition, drift condition by means of Lyapunov function, geometric recurrence etc lead to variational formulas of the essential spectral radius. All those can be easily transported on the weighted space b _u . Some related results on L ² () are also obtained, especially in the symmetric case. Moreover we prove that for a strongly Feller and topologically transitive Markov kernel, the large deviation principle of Donsker-Varadhan for occupation measures of the associated Markov process holds if and only if the essential spectral radius is zero; this result allows us to show that the sufficient condition of Donsker-Varadhan for the large deviation principle is in fact necessary. The knowledge of r _ess (P) allows us to estimate eigenvalues of P in L ² in the symmetric case, and to estimate the geometric convergence rate by means of that in the metric of Wasserstein. Applications to different concrete models are provided for illustrating those general results. Mathematics Subject Classification (2000):60J05, 60F10, 47A10, 47D07     

Approximate necessary conditions for locally weak Pareto optimality

Necessary conditions for a given pointx ⁰ to be a locally weak solution to the Pareto minimization problem of a vector-valued functionF=(f ₁,...,f _m ),F:XR ^m,XR ^m, are presented. As noted in Ref. 1, the classical necessary condition-conv {Df ₁(x ⁰)|i=1,...,m}T ^*(X, x ⁰) need not hold when the contingent coneT is used. We have proven, however, that a properly adjusted approximate version of this classical condition always holds. Strangely enough, the approximation form>2 must be weaker than form=2.The authors would like to thank the anonymous referee for the suggestions which led to an improved presentation of the paper.     

Nef Divisors in Codimension One on the Moduli Space of Stable Curves

Let M _g be the moduli space of smooth curves of genus g 3, and M¯ _g the Deligne-Mumford compactification in terms of stable curves. Let M¯ _g ^[1] be an open set of M¯ _g consisting of stable curves of genus g with one node at most. In this paper, we determine the necessary and sufficient condition to guarantee that a -divisor D on M¯ _g is nef over M¯ _g ^[1], that is, (D · C) 0 for all irreducible curves C on M¯ _g with C M¯ _g ^[1] .     

Partitions of finite vector spaces into subspaces

Let V_n(q) denote a vector space of dimension n over the field with q elements. A set of subspaces of V_n(q) is a partition of V_n(q) if every nonzero element of V_n(q) is contained in exactly one element of . Suppose there exists a partition of V_n(q) into x_i subspaces of dimension n_i, 1 ≤ i ≤ k. Then x₁, …, x_k satisfy the Diophantine equation . However, not every solution of the Diophantine equation corresponds to a partition of V_n(q). In this article, we show that there exists a partition of V_n(2) into x subspaces of dimension 3 and y subspaces of dimension 2 if and only if 7x + 3y = 2ⁿ ? 1 and y ≠ 1. In doing so, we introduce techniques useful in constructing further partitions. We also show that partitions of V_n(q) induce uniformly resolvable designs on qⁿ points. © 2007 Wiley Periodicals, Inc. J Combin Designs 16: 329–341, 2008     

Lifting Unitary Elements with Application to Approximately Inner Automorphisms

Let A be a separable unital nuclear simple C＊-algebra with torsion K0 （A）, free K1 （A） and with the UCT. Let T ： A→M（K）/K be a unital homomorphism. We prove that every unitary element in the commutant of T（A） is an exponent, thus it is liftable. We also prove that each automorphism α on E with α ∈ Aut0（A） is approximately inner, where E is a unital essential extension of A by K and α is the automorphism on A induced by α.     

On the number of limit cycles in perturbations of a two dimensional nonlinear differential system

Summary For the nonlinear system , which has a family { _h } of closed orbits, we consider perturbations of the type , whereP andQ are arbitrary polynomials. The abelian integralsA(h) corresponding to this family { _h } are investigated. By deriving differential equations forA(h) and proving monotonicity for quotients of abelian integrals, we obtain results on the number of zeros of abelian integrals and, hence, on the number of closed orbits _h which persist as limit cycles of the perturbed system (^*). In particular, a uniqueness theorem for limit cycles of (^*) with quadratic polynomialsP, Q is proved. Moreover, whenP, Q are of arbitrary degree, a lower bound for the possible number of limit cycles of (^*) is derived.     

Some oscillation criteria for second order nonlinear functional ordinary differential equations

The main objective of this article is to study the oscillatory behavior of the solutions of the following nonlinear functional differential equations (a(t)x'(t))' δ1p(t)x'(t) δ2q(t)f(x(g(t))) = 0,for 0 ≤ t0 ≤ t, where δ1 = ±1 and δ2 = ±1. The functions p,q,g : [t0, ∞) → R, f :R → R are continuous, a(t) ＞ 0, p(t) ≥ 0,q(t) ≥ 0 for t ≥ t0, limt→∞ g(t) = ∞, and q is not identically zero on any subinterval of [t0, ∞). Moreover, the functions q(t),g(t), and a(t) are continuously differentiable.     

A nonlinear equation for linear programming

We present a characterization of the normal optimal solution of the linear program given in canonical form max{c ^tx: Ax = b, x 0}. (P) We show thatx ^* is the optimal solution of (P), of minimal norm, if and only if there exists anR > 0 such that, for eachr R, we havex ^* = (rc – A^t_r)₊. Thus, we can findx ^* by solving the following equation for _r A(rc – A^t_r)₊ = b. Moreover,(1/r) _r then converges to a solution of the dual program.On leave from The University of Alberta, Edmonton, Canada. Research partially supported by the National Science and Engineering Research Council of Canada.     

Computation of efficient solutions of discretely distributed stochastic optimization problems

In engineering and economics often a certain vectorx of inputs or decisions must be chosen, subject to some constraints, such that the expected costs (or loss) arising from the deviation between the outputA() x of a stochastic linear systemxA()x and a desired stochastic target vectorb() are minimal. Hence, one has the following stochastic linear optimization problem minimizeF(x)=Eu(A()x b()) s.t.xD, (1) whereu is a convex loss function on ^m , (A(), b()) is a random (m,n + 1)-matrix, E denotes the expectation operator andD is a convex subset of ⁿ . Concrete problems of this type are e.g. stochastic linear programs with recourse, error minimization and optimal design problems, acid rain abatement methods, problems in scenario analysis and non-least square regression analysis.Solving (1), the loss functionu should be exactly known. However, in practice mostly there is some uncertainty in assigning appropriate penalty costs to the deviation between the outputA ()x and the targetb(). For finding in this situation solutions hedging against uncertainty a set of so-called efficient points of (1) is defined and a numerical procedure for determining these compromise solutions is derived. Several applications are discussed.     

Cyclic maps in rational homotopy theory

The notion of a cyclic map g:AX is a natural generalization of a Gottlieb element in _n(X). We investigate cyclic maps from a rational homotopy theory point of view. We show a number of results for rationalized cyclic maps which generalize well-known results on the rationalized Gottlieb groups.Mathematics Subject Classification (2000): 55P62, 55Q05     

A solution of Hadwiger's covering problem for zonoids

For a convex body M ⁿ byb(M) the least integerp is denoted, such that there are bodiesM ₁, ...,M _p each of which is homothetic toM with a positive ratiok<1 andM ₁...M _p M. H. Martini has proved [7] thatb(M)<-3·2 ^n–2 for every zonotope M ⁿ , which is not a parallelotope.In the paper this Martini's result is extended to zonoids. In the proof some notions and facts of real functions theory are used (points of density, approximative continuity).     

A preconditioner for constrained and weighted least squares problems with Toeplitz structure

We study methods for solving the constrained and weighted least squares problem min _x by the preconditioned conjugate gradient (PCG) method. HereW = diag (₁, , _m ) with _{1 m} 0, andA ^T = [T ₁ ^T , ,T _k ^T ] with Toeplitz blocksT _l R ^{n × n} ,l = 1, ,k. It is well-known that this problem can be solved by solving anaugmented linear 2 × 2 block linear systemM +Ax =b, A ^T = 0, whereM =W ^–1. We will use the PCG method with circulant-like preconditioner for solving the system. We show that the spectrum of the preconditioned matrix is clustered around one. When the PCG method is applied to solve the system, we can expect a fast convergence rate.Research supported by HKRGC grants no. CUHK 178/93E and CUHK 316/94E.     

Rectifiable oscillations in second-order half-linear differential equations

Second-order half-linear differential equation (H): on the finite interval I = (0,1] will be studied, where , p > 1 and the coefficient f(x) > 0 on I, , and . In case when p = 2, the equation (H) reduces to the harmonic oscillator equation (P): y′′ + f(x)y = 0. In this paper, we study the oscillations of solutions of (H) with special attention to some geometric and fractal properties of the graph . We establish integral criteria necessary and sufficient for oscillatory solutions with graphs having finite and infinite arclength. In case when , λ > 0, α > p, we also determine the fractal dimension of the graph G(y) of the solution y(x). Finally, we study the L ^p nonintegrability of the derivative of all solutions of the equation (H).      

Triebel-Lizorkin Spaces of Para-Accretive Type and a Tb Theorem

In this article, we use a discrete Calderón-type reproducing formula and Plancherel-Pôlya-type inequality associated to a para-accretive function to characterize the Triebel-Lizorkin spaces of para-accretive type $\dot{F}^{\alpha,q}_{b,p}In this article, we use a discrete Calderón-type reproducing formula and Plancherel-P?lya-type inequality associated to a para-accretive function to characterize the Triebel-Lizorkin spaces of para-accretive type , which reduces to the classical Triebel-Lizorkin spaces when the para-accretive function is constant. Moreover, we give a necessary and sufficient condition for the boundedness of paraproduct operators. From this, we show that a generalized singular integral operator T with M _b TM _b ∈WBP is bounded from to if and only if and T ^* b=0 for , where ε is the regularity exponent of the kernel of T. Chin-Cheng Lin supported by National Science Council, Republic of China under Grant #NSC 97-2115-M-008-021-MY3. Kunchuan Wang supported by National Science Council, Republic of China under Grant #NSC 97-2115-M-259-009 and NCU Center for Mathematics and Theoretic Physics.     

On spherical ideals of Borel subalgebras

The goal of this paper is to extend some previous results on abelian ideals of Borel subalgebras to so-called spherical ideals of These are ideals of such that their G-saturation is a spherical G-variety. We classify all maximal spherical ideals of for all simple G.Received: 25 March 2004     

Eine Variante des Fano-Axioms fü angeordnete Ebenen

An ordered plane is an incidence structure ( ) with an order function , which satisfies the axioms (G), (V) and (S), but no continuation--axiom is required. Points a, b E are said to be in distinct sides of a line iff and in the same side if , respectively. For any lines , and we prove that if b,c are in the same side of line A and a,c are in the same side of B , then a and b are in distinct sides of C. As conclusions we deduce that is harmonic and that in each complete quadrangle the intersection points of the diagonals are never collinear, which is known as the axiom of Fano. So the Fano-axiom holds in each ordered plane, and also in those with boundary points.     

Fractional Modified Dyadic Integral and Derivative on ℝ<Subscript>+</Subscript>

For functions in the Lebesgue space L(ℝ₊), a modified strong dyadic integral J _α and a modified strong dyadic derivative D ^(α) of fractional order α > 0 are introduced. For a given function f ∈ L(ℝ₊), criteria for the existence of these integrals and derivatives are obtained. A countable set of eigenfunctions for the operators J _α and D ^(α) is indicated. The formulas D ^(α)(J ^α(f)) = f and J _α(D ^(α)(f)) = f are proved for each α > 0 under the condition that . We prove that the linear operator is unbounded, where is the natural domain of J _α. A similar statement for the operator is proved. A modified dyadic derivative d ^(α)(f)(x) and a modified dyadic integral j _α(f)(x) are also defined for a function f ∈ L(ℝ₊) and a given point x ∈ ℝ₊. The formulas d ^(α)(J _α(f))(x) = f(x) and j _α(D ^(α)(f)) = f(x) are shown to be valid at each dyadic Lebesgue point x ∈ ℝ₊ of f.__________Translated from Funktsional’nyi Analiz i Ego Prilozheniya, Vol. 39, No. 2, pp. 64–70, 2005Original Russian Text Copyright © by B. I. GolubovSupported by the Russian Foundation for Basic Research (grant no. 05-01-00206).     

A Change-of-Variable Formula with Local Time on Curves

Let be a continuous semimartingale and let be a continuous function of bounded variation. Setting and suppose that a continuous function is given such that F is C^1,2 on and F is on . Then the following change-of-variable formula holds: where is the local time of X at the curve b given by and refers to the integration with respect to . A version of the same formula derived for an Itô diffusion X under weaker conditions on F has found applications in free-boundary problems of optimal stopping.