On the derivatives of X-ray functions

We show that for every n \geqq 4, 0 \leqq k \leqq n - 3, p ? (0, 3] n \geqq 4, 0 \leqq k \leqq n - 3, p \in (0, 3] and every origin-symmetric convex body K in \mathbbRⁿ \mathbb{R}^n , the function ||x ||^-k₂ ||x ||^-n+k+p_K \parallel x \parallel^{-k}_{2} \parallel x \parallel^{-n+k+p}_{K} represents a positive definite distribution on \mathbbRⁿ \mathbb{R}^n , where ||·||₂ \parallel \cdot \parallel_{2} is the Euclidean norm and ||·||_K \parallel \cdot \parallel_{K} is the Minkowski functional of K. We apply this fact to prove a result of Busemann-Petty type that the inequalities for the derivatives of order (n - 4) at zero of X-ray functions of two convex bodies imply the inequalities for the volume of average m-dimensional sections of these bodies for all 3 \leqq m \leqq n 3 \leqq m \leqq n . We also prove a sharp lower estimate for the maximal derivative of X-ray functions of the order (n - 4) at zero.     

Rigidity and finiteness under Ricci curvature and volume controls

Consider the class of closed Riemannian manifolds M of dimension dim(M) \geqq 3 \dim(M) \geqq 3 , Ricci curvature Ric(M) \geqq -(n - 1) \textrm{Ric}(M) \geqq -(n - 1) , diameter diam(M) < D and almost maximal volume. We show that the isomorphism types of fundamental groups characterize the diffeomorphism types of manifolds in such a class. In particular, it can be viewed as a generalization of the well-known Mostow‘s rigidity theorem and a finiteness theorem.     

Largest digraphs contained in alln-tournaments

Letf(n) (resp.g(n)) be the largestm such that there is a digraph (resp. a spanning weakly connected digraph) onn-vertices andm edges which is a subgraph of every tournament onn-vertices. We prove that $$n\log _2 n - c_1 n \geqq f(n) \geqq g(n) \geqq n\log _2 n - c_2 n\log \log n.$$      

On the spectral mapping theorem for perturbed strongly continuous semigroups

We consider a strongly continuous semigroup (T(t))_{t \geqq 0}(T(t))_{t \geqq 0} with generator A on a Banach space X, an A-bounded perturbation B, and the semigroup (S(t))_{t \geqq 0}(S(t))_{t \geqq 0} generated by A + B. Using the critical spectrum introduced recently, we improve existing spectral mapping theorems for the perturbed semigroup (S(t))_{t \geqq 0}(S(t))_{t \geqq 0} .     

Surface- and interface oscillations of a rotating viscoelastic liquid column of immiscible liquids

Summary The natural damped coupled frequencies of a solidly rotating visco-elastic infinite liquid column with no axial dependency (/z=0, two-dimensional problem) have been determined. The frequency equation is numerically evaluated for a single visco-elastic liquid column, where the influence of the tension parameterTa/v ², the relaxation parameter ^*/a ² and the rotational Reynoldsnumber =Taylornumber) has been determined. It was found that the liquid column becomes unstable for a rotational speed , which is much earlier than in the case of frictionless liquid, where . In addition the stability boundary does neither depend on the magnitude of the viscosity nor the Maxwell relaxation time ^* of the liquid. The complex frequencies are presented for the modem=2, where the cross-section of the liquid column assumes during its oscillation an elliptic shape.

---

Zusammenfassung Es werden die gekoppelten gedämpften Frequenzen einer rotierenden visko-elastischen Flüssigkeitssäule ohne axiale Abhängigkeit (zweidimensionales Problem) aus nichtmischbaren Flüssigkeiten bestimmt. Die Frequenzgleichung einer einfachen viskoelastischen Säule wird numerisch ausgewertet, wobei der Einfluß des OberflächenspannungsparametersTa/v ², des Relaxationparameters ^* v/a ² und der rotierenden Reynoldszahl untersucht wird. Die Flüssigkeitssäule wird instabil bei , unabhängig von der Größe der Viskosität und der Relaxationszeit. Bei reibungsfreier Flüssigkeit tritt diese Instabilität erst für größeres auf. Es werden die komplexen Frequenzen für die elliptische Querschnitts-Schwingungsform m=2 berechnet.

---

---

Die Veröffentlichung wurde aus Haushaltsmitteln der Universität der Bundeswehr München gefördert.     

Higher Order Efficiency,Saddle Point Optimality,and Duality for Vector Optimization Problems

In this paper, we intend to characterize the strict local efficient solution of order m for a vector minimization problem in terms of the vector saddle point. A new notion of strict local saddle point of higher order of the vector-valued Lagrangian function is introduced. The relationship between strict local saddle point and strict local efficient solution is derived. Lagrange duality is formulated, and duality results are presented.     

On the moduli spaces of fiber bundles of curves of genus $\geqq 2$

We determine the moduli spaces parametrizing analytic fiber bundles of curves of genus g \geqq 2g \geqq 2 over curves of genus g_b > (g + 1)/2.     

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.     

On the structure of Noetherian symbolic rees algebras

Let A be a Noetherian local ring and I an ideal of A. In this paper we use a slightly generalized notion of a symbolic power I⁽ⁿ⁾ of I and considerR = . First we characterize the property of R to be Noetherian by an equimultiplicity condition of some symbolic power I^(k). The main purpose of this note is to explore the problem whenR,R′ = and are Cohen-Macaulay or Gorenstein algebras in the case that A is a normal domain and ht I=1. Partially supported by the Max-Planck-Institute of Mathematics Bonn. Supported by a grant of the Heinrich Hertz-Stiftung. Supported by a grant of the Alexander von Humboldt-Stiftung.     

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.     

Inclusion-exclusion inequalities

Ifμ is a positive measure, andA ₂, ...,A _n are measurable sets, the sequencesS ₀, ...,S _n andP _[0], ...,P _[n] are related by the inclusion-exclusion equalities. Inequalities among theS _i are based on the obviousP _[k]≧0. Letting =the average average measure of the intersection ofk of the setsA _i , it is shown that (−1) ^k Δ ^k M _i ≧0 fori+k≦n. The casek=1 yields Fréchet’s inequalities, andk=2 yields Gumbel’s and K. L. Chung’s inequalities. Generalizations are given involvingk-th order divided differences. Using convexity arguments, it is shown that forS ₀=1, whenS ₁≧N−1, and for 1≦k<N≦n andv=0, 1, .... Asymptotic results asn → ∞ are obtained. In particular it is shown that for fixedN, for all sequencesM ₀, ...,M _n of sufficiently large length if and only if for 0<t<1.     

An asymptotically optimal maximal inequality

Доказывается следую щая теорема Пусть φ(t) — неубывающая па [0,+∞] непрерывная сле ва функция, φ(0)=0.Пусть дале е \(\Phi (t) = \mathop \smallint \limits_0^t \varphi (s) ds u \mathop {sup}\limits_{t > 0} \frac{{t\varphi (t)}}{{\Phi (t)}}< \infty \) .Если X ₁ Х ₂, ... —такая последовательность случайных величин, что $$E\left( {\Phi \left( {\left| {\mathop \sum \limits_{i = m + 1}^{m + n} X_i } \right|} \right)} \right) \leqq g^\alpha (F_{m, n} ) (m \geqq 0, n \geqq 1)$$ , где α>1, а g(F_m,n) — некоторый функционал, зависящи й от совместного распред еления X_i и удовлетворяющий ус ловиям $$g(F_{m, n} ) + g(F_{m + k, n} ) \leqq g(F_{m, n + k} ) (m \geqq 0, n \geqq 1, k \geqq 1)$$ ,k ≧1), moсправедливы оценки $$E\left( {\Phi \left( {\mathop {\max }\limits_{1 \leqq k \leqq n} \left| {\mathop \sum \limits_{i = m + 1}^{m + n} X_i } \right|} \right)} \right) = Kg^\alpha (F_{m, n} ) (m \geqq 0, n \geqq 1)$$ ,где множитель К конеч ен и не зависит от т. п.     

On the infimum of the local time of a Wiener process

Let {W(t), t0} be a standard Wiener process, and let L(x, t) be its jointly continuous local time. Define

On the non-existence of global solutions to the Cauchy problem for semilinear parabolic equations and inequalities

We generalize and improve recent non-existence results for global solutions to the Cauchy problem for the inequality as well as for the equation u_t = Δu + |u|^q in the half-space . Received: 16 September 2005     

A pinching theorem for minimal hypersurfaces in a sphere

We study compact minimal hypersurfaces Mⁿ in Sⁿ⁺¹S^{n+1} with two distinct principal curvatures and prove that if the squared norm S of the second fundamental form of Mⁿ satisfies S \geqq nS \geqq n, then S o nS \equiv n and Mⁿ is a minimal Clifford torus.     

Strong Geodesic Convex Functions of Order m

Abstract

Strong geodesic convex function and strong monotone vector field of order m on Riemannian manifolds are established. A characterization of strong geodesic convex function of order m for the continuously differentiable functions is discussed. The relation between the solution of a new variational inequality problem and the strict minimizers of order m for a multiobjective programing problem is also established.     

Enumerative inequalities in integer programming

For a linear integer programming problem, thelocal information contained at an optimal solution of the continuous linear programming extension stems from the theory of L.P. solutions. This paper proposes the use ofenvironmental information (of a global nature but pertaining to the discrete vicinity of ), in order to isolate the set of integer solutions which may be considered as true candidates for the optimum. The concept ofenumerative inequalities is introduced and it is shown how it can be obtained in the context of the convex outer-domain theory of Balas, Young, et al.Generally speaking, enumerative inequalities can be made arbitrarily strong (deep), but at the cost of an increasing amount of work (i.e. enumeration) for their construction. In particular cases, however, very little global information can produce enumerative inequalities stronger than anyvalid cut.This paper was presented at the 7th Mathematical Programming Symposium 1970, The Hague, The Netherlands.     

Lifting of convex functions on Carnot groups and lack of convexity for a gauge function

Let ${\mathbb{G}}Let \mathbbG{\mathbb{G}} be a Carnot group of step r and m generators and homogeneous dimension Q. Let \mathbbF_m,r{\mathbb{F}_{m,r}} denote the free Lie group of step r and m generators. Let also p:\mathbbF_m,r?\mathbbG{\pi:\mathbb{F}_{m,r}\to\mathbb{G}} be a lifting map. We show that any horizontally convex function u on \mathbbG{\mathbb{G}} lifts to a horizontally convex function u°p{u\circ \pi} on \mathbbF_m,r{\mathbb{F}_{m,r}} (with respect to a suitable horizontal frame on \mathbbF_m,r{\mathbb{F}_{m,r}}). One of the main aims of the paper is to exhibit an example of a sub-Laplacian L=?_j=1^m X_j²{\mathcal{L}=\sum_{j=1}^m X_j^2} on a Carnot group of step two such that the relevant L{\mathcal{L}}-gauge function d (i.e., d ^2-Q is the fundamental solution for L{\mathcal{L}}) is not h-convex with respect to the horizontal frame {X ₁, . . . , X _m }. This gives a negative answer to a question posed in Danielli et al. (Commun. Anal. Geom. 11 (2003), 263–341).     

Convex Sets in Acyclic Digraphs

A non-empty set X of vertices of an acyclic digraph is called connected if the underlying undirected graph induced by X is connected and it is called convex if no two vertices of X are connected by a directed path in which some vertices are not in X. The set of convex sets (connected convex sets) of an acyclic digraph D is denoted by and its size by co(D) (cc(D)). Gutin et al. (2008) conjectured that the sum of the sizes of all convex sets (connected convex sets) in D equals Θ(n · co(D)) (Θ(n · cc(D))) where n is the order of D. In this paper we exhibit a family of connected acyclic digraphs with and . We also show that the number of connected convex sets of order k in any connected acyclic digraph of order n is at least n − k + 1. This is a strengthening of a theorem of Gutin and Yeo.     

Theorem concerning analytic continuation

A. I. Markushevich obtained the following representation of a function in its holomorphicity star with a sequence {m _v }, for which m _v+1/m _v: Here it is proved that this condition is necessary; more precisely, . This result is derived from certain properties of over-convergent power series.Translated from Matematicheskie Zametki, Vol. 10, No. 1, pp. 57–62, July, 1971.The author wishes to thank his scientific director A. I. Markushevich for his advice concerning this work.