Some graphs with small second eigenvalue

For any prime,p, we construct a Cayley graph on the group,G, of affine linear transformations ofℤ/pℤ of degree 2(p−1) and second eigenvalue 652l6/493_2005_Article_BF01294458_TeX2GIFIE1.gif" alt=" $$2\sqrt p $$ " align="middle" border="0"> with the following special property: the adjacency matrix of the graph is supported on the “blocks” associated to the trivial representation and the irreducible representation of sizep−1. SinceG is of orderp(p−1), the correspondingt-uniform Cayley hypergraph has essentially optimal second eigenvalue for this degree and size of the graph (see [2] for definitions). En route we give, for any integerk>1, a simple Cayley graph onp ^k nodes of degreep of second eigenvalue 652l6/493_2005_Article_BF01294458_TeX2GIFIE2.gif" alt=" $$ \leqslant (k - 1)\sqrt p $$ " align="middle" border="0"> . The author wishes to acknowledge the National Science Foundation for supporting this research in part under Grant CCR-8858788, and the Office of Naval Research under Grant N00014-87-K-0467.     

Reflected Brownian motion in a cone: Semimartingale property

Summary In this paper, the object of study is reflected Brownian motion in a cone ind-dimensions (d3) with nonconstant oblique reflection on each radial line emanating from the vertex of the cone. The basic question considered here is When is this process a semimartingale?. Conditions for the existence and uniqueness of the process for which the vertex is an instantaneous state were given by Kwon, which is resolved in terms of a real parameter depending on the cone and the direction of reflection. It is shown that starting from any point of the cone, the process is a semimartingale if < 1, + 0 and not a semimartingale if < < 2.This research is supported by KOSEF grant 941-0100-011-1     

On the occupation times of cones by Brownian motion

Summary We study some features concerning the occupation timeA _t of a d-dimensional coneC by Brownian motion. In particular, in the case whereC is convex, we investigate the asymptotic behaviour ofP(A₁u0, when the Brownian motion starts at the vertex ofC. We also give the precise integral test, which decides whether a.s., lim inf _t A _t/(tf(t))=0 or for a decreasing functionf.     

Polar actions on Hilbert space

An isometricH-action on a Riemannian manifoldX is calledpolar if there exists a closed submanifoldS ofX that meets everyH-orbit and always meets orbits orthogonally (S is called a section). LetG be a compact Lie group equipped with a biinvariant metric,H a closed subgroup ofG ×G, and letH act onG isometrically by (h ₁,h ₂) ·x = h ₁ xh ₂ ⁻¹ · LetP(G, H) denote the group ofH ¹-pathsg: [0, 1] →G such that (g(0),g (1)) ∈H, and letP(G, H) act on the Hilbert spaceV = H ⁰([0, 1], g) isometrically byg * u = gug ⁻¹ −g′g ⁻¹. We prove that if the action ofH onG is polar with a flat section then the action ofP(G, H) onV is polar. Principal orbits of polar actions onV are isoparametric submanifolds ofV and are infinite-dimensional generalized real or complex flag manifolds. We also note that the adjoint actions of affine Kac-Moody groups and the isotropy action corresponding to an involution of an affine Kac-Moody group are special examples ofP(G, H)-actions for suitable choice ofH andG. Work supported partially by NSF Grant DMS 8903237 and by The Max-Planck-Institut für Mathematik in Bonn.     

A regularity result for critical points of conformally invariant functionals

Let be an open set inR ² andI be a conformally invariant functional defined onH ¹(,R ^d ). Letu be a critical point ofI. We show that, ifu is apriori assumed to be bounded, thenu is smooth in , up to (ifu _| is smooth). This is a partial (positive) answer to a conjecture of S. Hildebrandt [13]. As an application, we establish a regularity result for weak solutions to the equation of surfaces of prescribed mean curvature in a three-dimensional compact riemannian manifold.     

Relationship between tetrahedron shape measures

Tetrahedron shape measures are used for evaluating the quality of tetrahedra in finite element meshes. Three shape measures, theminimum solid angle _min theradius ratio , and themean ratio , are discussed in this paper. A new formula for the computation of a solid angle of tetrahedron is derived. For different shape measures andv (with values 1), we establish a relationship between andv of the form wherec ₀,c ₁,e ₀, ande ₁ are positive constants. This means that if one measure approaches zero for a poorly-shaped tetrahedron, so does the other. Combined with the property that each measure attains a maximum value only for the regular tetrahedron, this means that the shape measures are equivalent.This work was partially supported by a grant from the Natural Sciences and Engineering Research Council of Canada.     

The non-existence of symplectic multi-derivative Runge-Kutta methods

A sufficient condition for the symplecticness ofq-derivative Runge-Kutta methods has been derived by F. M. Lasagni. In the present note we prove that this condition can only be satisfied for methods withq1, i.e., for standard Runge-Kutta methods. We further show that the conditions of Lasagni are also necessary for symplecticness so that no symplectic multi-derivative Runge-Kutta method can exist.This research has been supported by project PB89-0351 (Dirección General de Investigación Científica y Técnica) and by project No. 20-32354.91 of Swiss National Science Foundation.     

Asynchronous two-stage iterative methods

Summary. Parallel block two-stage iterative methods for the solution of linear systems of algebraic equations are studied. Convergence is shown for monotone matrices and for -matrices. Two different asynchronous versions of these methods are considered and their convergence investigated. Received September 7, 1993 / Revised version received April 21, 1994     

Convergence of diagonally stationary sequences in convex optimization

LetX be a real normed linear space,f, f ⁿ, n , be extended real-valued proper closed convex functions onX. A sequence {x _n} inX is called diagonally stationary for {f ⁿ} if for alln there existsx* _n f ⁿ (x _n) such that x* _{n *} 0. Such sequences arise in approximation methods for the problem of minimizingf. Some general convergence results based upon variational convergence theory and appropriate equi-well-posedness are presented.