Corrector–predictor methods for monotone linear complementarity problems in a wide neighborhood of the central path

Two corrector–predictor interior point algorithms are proposed for solving monotone linear complementarity problems. The algorithms produce a sequence of iterates in the neighborhood of the central path. The first algorithm uses line search schemes requiring the solution of higher order polynomial equations in one variable, while the line search procedures of the second algorithm can be implemented in arithmetic operations, where n is the dimension of the problems, is a constant, and m is the maximum order of the predictor and the corrector. If then both algorithms have iteration complexity. They are superlinearly convergent even for degenerate problems.      

Laguerre geometry of hypersurfaces in $$\mathbb{R}^{n}$$

Laguerre geometry of surfaces in is given in the book of Blaschke [Vorlesungen über Differentialgeometrie, Springer, Berlin Heidelberg New York (1929)], and has been studied by Musso and Nicolodi [Trans. Am. Math. soc. 348, 4321–4337 (1996); Abh. Math. Sem. Univ. Hamburg 69, 123–138 (1999); Int. J. Math. 11(7), 911–924 (2000)], Palmer [Remarks on a variation problem in Laguerre geometry. Rendiconti di Mathematica, Serie VII, Roma, vol. 19, pp. 281–293 (1999)] and other authors. In this paper we study Laguerre differential geometry of hypersurfaces in . For any umbilical free hypersurface with non-zero principal curvatures we define a Laguerre invariant metric g on M and a Laguerre invariant self-adjoint operator : TM → TM, and show that is a complete Laguerre invariant system for hypersurfaces in with n≥ 4. We calculate the Euler–Lagrange equation for the Laguerre volume functional of Laguerre metric by using Laguerre invariants. Using the Euclidean space , the semi-Euclidean space and the degenerate space we define three Laguerre space forms , and and define the Laguerre embeddings and , analogously to what happens in the Moebius geometry where we have Moebius space forms S ⁿ , and (spaces of constant curvature) and conformal embeddings and [cf. Liu et al. in Tohoku Math. J. 53, 553–569 (2001) and Wang in Manuscr. Math. 96, 517–534 (1998)]. Using these Laguerre embeddings we can unify the Laguerre geometry of hypersurfaces in , and . As an example we show that minimal surfaces in or are Laguerre minimal in .C. Wang Partially supported by RFDP and Chuang-Xin-Qun-Ti of NSFC.     

An inexact primal–dual path following algorithm for convex quadratic SDP

We propose primal–dual path-following Mehrotra-type predictor–corrector methods for solving convex quadratic semidefinite programming (QSDP) problems of the form: , where is a self-adjoint positive semidefinite linear operator on , b∈R ^m , and is a linear map from to R ^m . At each interior-point iteration, the search direction is computed from a dense symmetric indefinite linear system (called the augmented equation) of dimension m + n(n + 1)/2. Such linear systems are typically very large and can only be solved by iterative methods. We propose three classes of preconditioners for the augmented equation, and show that the corresponding preconditioned matrices have favorable asymptotic eigenvalue distributions for fast convergence under suitable nondegeneracy assumptions. Numerical experiments on a variety of QSDPs with n up to 1600 are performed and the computational results show that our methods are efficient and robust. Research supported in part by Academic Research Grant R146-000-076-112.     

On the minimality of the p-harmonic ma p $$x/\|x\|$$ for weighted energy

In this paper, we study the minimality of the map for the weighted energy functional , where is a continuous function. We prove that for any integer and any non-negative, non-decreasing continuous function f, the map minimizes E _f,p among the maps in which coincide with on . The case p = 1 has been already studied in [Bourgoin J.-C. Calc. Var. (to appear)]. Then, we extend results of Hong (see Ann. Inst. Poincaré Anal. Non-linéaire 17: 35–46 (2000)). Indeed, under the same assumptions for the function f, we prove that in dimension n ≥  7 for any real with , the map minimizes E _f,p among the maps in which coincide with on .      

Convex sets with semidefinite representation

We provide a sufficient condition on a class of compact basic semialgebraic sets for their convex hull co(K) to have a semidefinite representation (SDr). This SDr is explicitly expressed in terms of the polynomials g _j that define K. Examples are provided. We also provide an approximate SDr; that is, for every fixed , there is a convex set such that (where B is the unit ball of ), and has an explicit SDr in terms of the g _j ’s. For convex and compact basic semi-algebraic sets K defined by concave polynomials, we provide a simpler explicit SDr when the nonnegative Lagrangian L _f associated with K and any linear is a sum of squares. We also provide an approximate SDr specific to the convex case.      

Stable constant mean curvature hypersurfaces in the real projective space

In this paper, we prove that the only compact two-sided hypersurfaces with constant mean curvature H which are weakly stable in and have constant scalar curvature are (i) the twofold covering of a totally geodesic projective space; (ii) the geodesic spheres in ; and (iii) the quotient to of the hypersurface obtained as the product of two spheres of dimensions k and n − k, with k = 1,..., n − 1, and radii r and , respectively, with .     

An Extension of Sums of Squares Relaxations to Polynomial Optimization Problems Over Symmetric Cones

This paper is based on a recent work by Kojima which extended sums of squares relaxations of polynomial optimization problems to polynomial semidefinite programs. Let and be a finite dimensional real vector space and a symmetric cone embedded in ; examples of and include a pair of the N-dimensional Euclidean space and its nonnegative orthant, a pair of the N-dimensional Euclidean space and N-dimensional second-order cones, and a pair of the space of m × m real symmetric (or complex Hermitian) matrices and the cone of their positive semidefinite matrices. Sums of squares relaxations are further extended to a polynomial optimization problem over , i.e., a minimization of a real valued polynomial a(x) in the n-dimensional real variable vector x over a compact feasible region , where b(x) denotes an - valued polynomial in x. It is shown under a certain moderate assumption on the -valued polynomial b(x) that optimal values of a sequence of sums of squares relaxations of the problem, which are converted into a sequence of semidefinite programs when they are numerically solved, converge to the optimal value of the problem. Research supported by Grant-in-Aid for Scientific Research on Priority Areas 16016234.     

The Product Formula in Unitary Deformation K-theory

For finitely generated groups G and H, we prove that there is a weak equivalence G H (G × H) of ku-algebra spectra, where denotes the “unitary deformation K-theory” functor. Additionally, we give spectral sequences for computing the homotopy groups of G and HG in terms of connective K-theory and homology of spaces of G-representations.     

Necessary and Sufficient Conditions for the Solvability of the L p Dirichlet Problem on Lipschitz Domains

We study the homogeneous elliptic systems of order $2\ellWe study the homogeneous elliptic systems of order with real constant coefficients on Lipschitz domains in, . For any fixed p > 2, we show that a reverse H?lder condition with exponent p is necessary and sufficient for the solvability of the Dirichlet problem with boundary data in L ^p . We also obtain a simple sufficient condition. As a consequence, we establish the solvability of the L ^p Dirichlet problem for and . The range of p is known to be sharp if and . For the polyharmonic equation, the sharp range of p is also found in the case n = 6, 7 if , and if .Research supported in part by the NSF.     

A local rigidity theorem for minimal surfaces in Minkowski 3-space of Randers type

Let be a Minkowski 3-space of Randers type with , where is the Euclidean metric and . We consider minimal surfaces in and prove that if a connected surface M in is minimal with respect to both the Busemann–Hausdorff volume form and the Holmes–Thompson volume form, then up to a parallel translation of , M is either a piece of plane or a piece of helicoid which is generated by lines screwing about the x ³-axis.      

Exact Distribution of the Local Score for Markovian Sequences

Let be a sequence of letters taken in a finite alphabet Θ. Let be a scoring function and the corresponding score sequence where X _i = s(A _i ). The local score is defined as follows: . We provide the exact distribution of the local score in random sequences in several models. We will first consider a Markov model on the score sequence , and then on the letter sequence . The exact P-value of the local score obtained with both models are compared thanks to several datasets. They are also compared with previous results using the independent model.     

A note on simultaneous Diophantine approximation on planar curves

Let denote the set of simultaneously - approximable points in and denote the set of multiplicatively ψ-approximable points in . Let be a manifold in . The aim is to develop a metric theory for the sets and analogous to the classical theory in which is simply . In this note, we mainly restrict our attention to the case that is a planar curve . A complete Hausdorff dimension theory is established for the sets and . A divergent Khintchine type result is obtained for ; i.e. if a certain sum diverges then the one-dimensional Lebesgue measure on of is full. Furthermore, in the case that is a rational quadric the convergent Khintchine type result is obtained for both types of approximation. Our results for naturally generalize the dimension and Lebesgue measure statements of Beresnevich et al. (Mem AMS, 179 (846), 1–91 (2006)). Moreover, within the multiplicative framework, our results for constitute the first of their type. The research of Victor V. Beresnevich was supported by an EPSRC Grant R90727/01. Sanju L. Velani is a Royal Society University Research Fellow. For Iona and Ayesha on No. 3.     

Transition Semi–groups on a Local Field Induced by Galois Group and their Representation

For a given map defined on the field of p-adic numbers satisfying

The integral monodromy of hyperelliptic and trielliptic curves

We compute the and monodromy of every irreducible component of the moduli spaces of hyperelliptic and trielliptic curves. In particular, we provide a proof that the monodromy of the moduli space of hyperelliptic curves of genus g is the symplectic group . We prove that the monodromy of the moduli space of trielliptic curves with signature (r,s) is the special unitary group . Rachel Pries was partially supported by NSF grant DMS-04-00461.     

An extension of Takahashi theorem for the linearized operators of the higher order mean curvatures

We study hypersurfaces in Euclidean space whose position vector x satisfies the condition L _k x = Ax + b, where L _k is the linearized operator of the (k + 1)th mean curvature of the hypersurface for a fixed , is a constant matrix and is a constant vector. For every k, we prove that the only hypersurfaces satisfying that condition are hypersurfaces with zero (k + 1)th mean curvature and open pieces of round hyperspheres and generalized right spherical cylinders of the form , with . This extends a previous classification for hypersurfaces in satisfying , where is the Laplacian operator of the hypersurface, given independently by Hasanis and Vlachos [J. Austral. Math. Soc. Ser. A 53, 377–384 (1991) and Chen and Petrovic [Bull. Austral. Math. Soc. 44, 117–129 (1991)].      

Limit distributions of upper order statistics for families of multivariate distributions

We consider a portfolio of dependent exchangeable random variables , where the dependence structure is generated by a mixture model (Archimedean copulas belong to this class of models). Define the ordered sample . We prove results of the following type: fix and choose appropriately, then converges in distribution to a random vector as , for which we can explicitly give the distribution.     

Deep Matrix Algebras of Finite Type

Deep matrix algebras based on a set over a ring are introduced and studied by McCrimmon when has infinite cardinality. Here, we construct a new -module that is faithful for of any cardinality. For a field of arbitrary characteristic and , is studied in depth. The algebra is shown to possess a unique proper non-zero ideal, isomorphic to . This leads to a new and interesting simple algebra, , the quotient of by its unique ideal. Both and the quotient algebra are shown to have centers isomorphic to . Via the new faithful representation, all automorphisms of are shown to be inner in the sense of Definition 18.Presented by D. Passman.     

Rank one solvable <Emphasis Type="Italic">p</Emphasis>-adic differential equations and finite Abelian characters via Lubin–Tate groups

We introduce a new class of exponentials of Artin–Hasse type, called π-exponentials. These exponentials depend on the choice of a generator π of the Tate module of a Lubin–Tate group over . They arise naturally as solutions of solvable differential modules over the Robba ring. If is isomorphic to over , we develop methods to test their over-convergence, and get in this way a stronger version of the Frobenius structure theorem for differential equations. We define a natural transformation of the Artin–Schreier complex into the Kummer complex. This provides an explicit generator of the Kummer unramified extension of , whose residue field is a given Artin–Schreier extension of , where k is the residue field of K. We then compute explicitly the group, under tensor product, of isomorphism classes of rank one solvable differential equations. Moreover, we get a canonical way to compute the rank one φ-module over attached to a rank one representation of , defined by an Artin–Schreier character.     

Sums of random symmetric matrices and quadratic optimization under orthogonality constraints

Let B _i be deterministic real symmetric m × m matrices, and ξ _i be independent random scalars with zero mean and “of order of one” (e.g., ). We are interested to know under what conditions “typical norm” of the random matrix is of order of 1. An evident necessary condition is , which, essentially, translates to ; a natural conjecture is that the latter condition is sufficient as well. In the paper, we prove a relaxed version of this conjecture, specifically, that under the above condition the typical norm of S _N is : for all Ω > 0 We outline some applications of this result, primarily in investigating the quality of semidefinite relaxations of a general quadratic optimization problem with orthogonality constraints , where F is quadratic in X = (X ₁,... ,X _k ). We show that when F is convex in every one of X _j , a natural semidefinite relaxation of the problem is tight within a factor slowly growing with the size m of the matrices . Research was partly supported by the Binational Science Foundation grant #2002038.     

Rigidity and holomorphic Segre transversality for holomorphic Segre maps

Let and denote the complexifications of Heisenberg hypersurfaces in and , respectively. We show that non-degenerate holomorphic Segre mappings from into with possess a partial rigidity property. As an application, we prove that the holomorphic Segre non-transversality for a holomorphic Segre map from into with propagates along Segre varieties. We also give an example showing that this propagation property of holomorphic Segre transversality fails when N > 2n − 2.