Projective re-normalization for improving the behavior of a homogeneous conic linear system

In this paper we study the homogeneous conic system . We choose a point that serves as a normalizer and consider computational properties of the normalized system . We show that the computational complexity of solving F via an interior-point method depends only on the complexity value of the barrier for C and on the symmetry of the origin in the image set , where the symmetry of 0 in is

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.      

Solutions of elliptic problems with nonlinearities of linear growth

In this paper, we study existence of nontrivial solutions to the elliptic equation

Lattice based extended formulations for integer linear equality systems

We study different extended formulations for the set with in order to tackle the feasibility problem for the set Pursuing the work of Aardal, Lenstra et al. using the reformulation , our aim is to derive reformulations of the form with 0  ≤  s ≤ n − m where preferably all the coefficients of P are small compared to the coefficients of A and T. In such cases the new variables μ appear to be good branching directions, and in certain circumstances permit one to deduce rapidly that the instance is infeasible. We give a polynomial time algorithm for identifying such P, T if possible, and for the case that A has one row a we analyze the reformulation when s = 1, that is, one μ-variable is introduced. In particular, we determine the integer width of the extended formulations in the direction of the μ-variable, and derive a lower bound on the Frobenius number of a. We conclude with some preliminary tests to see if the reformulations are effective when the number s of additional constraints and variables is limited. This work was partly carried out within the framework of ADONET, a European network in Algorithmic Discrete Optimization, contract no. MRTN-CT-2003-504438. The first author is financed in part by the Dutch BSIK/BRICKS project. The research was carried out in part while the second author visited CWI, Amsterdam with the support of the NWO visitor grant number B 61-556.     

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.      

Generalised twists,stationary loops,and the Dirichlet energy over a space of measure preserving maps

Let be a bounded Lipschitz domain and consider the Dirichlet energy functional

Numerically satisfactory solutions of Kummer recurrence relations

Pairs of numerically satisfactory solutions as for the three-term recurrence relations satisfied by the families of functions , , are given. It is proved that minimal solutions always exist, except when and z is in the positive or negative real axis, and that is minimal as whenever . The minimal solution is identified for any recurrence direction, that is, for any integer values of and . When the confluent limit , with fixed, is the main tool for identifying minimal solutions together with a connection formula; for , is the main tool to be considered.     

A priori bounds and a Liouville theorem on a half-space for higher-order elliptic Dirichlet problems

We consider the 2m-th order elliptic boundary value problem Lu = f (x, u) on a bounded smooth domain with Dirichlet boundary conditions on ∂Ω. The operator L is a uniformly elliptic operator of order 2m given by . For the nonlinearity we assume that , where are positive functions and q > 1 if N ≤ 2m, if N > 2m. We prove a priori bounds, i.e, we show that for every solution u, where C > 0 is a constant. The solutions are allowed to be sign-changing. The proof is done by a blow-up argument which relies on the following new Liouville-type theorem on a half-space: if u is a classical, bounded, non-negative solution of ( − Δ) ^m u  =  u ^q in with Dirichlet boundary conditions on and q > 1 if N ≤ 2m, if N > 2m then .      

Modified low regularity well-posedness for the one-dimensional Dirac-Klein-Gordon system

The 1D Cauchy problem for the Dirac-Klein-Gordon system is shown to be locally well-posed for low regularity Dirac data in and wave data in for under certain assumptions on the parameters r and s, where , generalizing the results for p = 2 by Selberg and Tesfahun. Especially we are able to improve the results from the scaling point of view with respect to the Dirac part.      

On the Circumference of 2-Connected $$\mathcal{P}_{3}$$-Dominated Graphs

Let G be a connected graph. For at distance 2, we define , and , if then . G is quasi-claw-free if it satisfies , and G is P ₃-dominated() if it satisfies , for every pair (x, y) of vertices at distance 2. Certainly contains as a subclass. In this paper, we prove that the circumference of a 2-connected P ₃-dominated graph G on n vertices is at least min or , moreover if then G is hamiltonian or , where is a class of 2-connected nonhamiltonian graphs.     

A spectral characterization of the uniform continuity of strongly continuous groups

Let X be a Banach space and a strongly continuous group of linear operators on X. Set and where is the unit circle and denotes the spectrum of T(t). The main result of this paper is: is uniformly continuous if and only if is non-meager. Similar characterizations in terms of the approximate point spectrum and essential spectra are also derived. Received: 14 June 2006, Revised: 27 September 2007     

Bifurcations of Positive and Negative Continua in Quasilinear Elliptic Eigenvalue Problems

The main result of this work is a Dancer-type bifurcation result for the quasilinear elliptic problem

The $${\overline{\partial}}$$-equation on homogeneous varieties with an isolated singularity

Let X be a regular irreducible variety in , Y the associated homogeneous variety in , and N the restriction of the universal bundle of to X. In the present paper, we compute the obstructions to solving the -equation in the L ^p -sense on Y for 1 ≤  p ≤  ∞ in terms of cohomology groups . That allows to identify obstructions explicitly if X is specified more precisely, for example if it is equivalent to or an elliptic curve.      

Upper Triangular Operator Matrices, SVEP and Browder, Weyl Theorems

A Banach space operator T ∈ B(χ) is polaroid if points λ ∈ iso σ(T) are poles of the resolvent of T. Let denote, respectively, the approximate point, the Weyl, the Weyl essential approximate, the upper semi–Fredholm and lower semi–Fredholm spectrum of T. For A, B and C ∈ B(χ), let M _C denote the operator matrix . If A is polaroid on , M ₀ satisfies Weyl’s theorem, and A and B satisfy either of the hypotheses (i) A has SVEP at points and B has SVEP at points , or, (ii) both A and A* have SVEP at points , or, (iii) A^* has SVEP at points and B ^* has SVEP at points , then . Here the hypothesis that λ ∈ π₀(M _C ) are poles of the resolvent of A can not be replaced by the hypothesis are poles of the resolvent of A. For an operator , let . We prove that if A* and B* have SVEP, A is polaroid on π ^a ₀(M _C) and B is polaroid on π ^a ₀(B), then .      

The Kostant–García quantization of the bundle of connections

We shall call quantum states of a principal bundle π : P → M with structure group a semi-simple Lie group G, the elements of certain space of sections of the adjoint bundle , associated to the G-bundle of connections . An inner product of sections of is defined for which is a Hilbert space such that the Gauge group gau(P) of the given bundle represents in a family of self-adjoint operators. This work crystallizes some heuristic considerations, on the unitary representations of Gauge algebras, of Garcia in the already a classical article (J. Differ. Geom. 12, 209–227, 1977).     

Stabilization of the damped wave equation with Cauchy–Ventcel boundary conditions

This paper is devoted to the study of uniform energy decay rates of solutions to the wave equation with Cauchy–Ventcel boundary conditions:

Semicrossed products of simple C*-algebras

Let and be C*-dynamical systems and assume that is a separable simple C*-algebra and that α and β are *-automorphisms. Then the semicrossed products and are isometrically isomorphic if and only if the dynamical systems and are outer conjugate. K. R. Davidson was partially supported by an NSERC grant. E. G. Katsoulis was partially supported by a summer grant from ECU     

On the number of moduli of plane sextics with six cusps

Let be the variety of irreducible sextics with six cusps as singularities. Let be one of irreducible components of . Denoting by the space of moduli of smooth curves of genus 4, we consider the rational map sending the general point [Γ] of Σ, corresponding to a plane curve , to the point of parametrizing the normalization curve of Γ. The number of moduli of Σ is, by definition the dimension of Π(Σ). We know that , where ρ(2, 4, 6) is the Brill–Noether number of linear series of dimension 2 and degree 6 on a curve of genus 4. We prove that both irreducible components of have number of moduli equal to seven.      

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.     

Orthocomplemented lattices in ordered groups

On a partially ordered set G the orthogonality relation is defined by incomparability and is a complete orthocomplemented lattice of double orthoclosed sets. We will prove that the atom space of the lattice has the same order structure as G. Thus if G is a partially ordered set (an ordered group, or an ordered vector space), then is a canonically partially ordered set (an ordered quotient group, or an ordered quotient vector space, respectively). We will also prove: if G is an ordered group with a positive cone P, then the lattice has the covering property iff , where g is an element of G and M is the intersection of all maximal subgroups contained in . Received August 1, 2006; accepted in final form May 29, 2007.