On solutions of the Ricci curvature equation and the Einstein equation

We consider the pseudo-Euclidean space (R ⁿ , g), with n ≥ 3 and g _ij = δ _ij ε _i , ε _i = ±1, where at least one ε _i = 1 and nondiagonal tensors of the form T = Σ _ij f _ij dx _i dx _j such that, for i ≠ j, f _ij (x _i , x _j ) depends on x _i and x _j . We provide necessary and sufficient conditions for such a tensor to admit a metric ḡ, conformal to g, that solves the Ricci tensor equation or the Einstein equation. Similar problems are considered for locally conformally flat manifolds. Examples are provided of complete metrics on R ⁿ , on the n-dimensional torus T ⁿ and on cylinders T ^k ×R ^n-k , that solve the Ricci equation or the Einstein equation. Partially supported by CAPES/PROCAD. Partially Supported By Cnpq, Capes/Procad.     

Three-dimensional Yang-Mills-Higgs equations in gauge-invariant variables

A formulation of three-dimensionalSU(2) andSO(1,2) Yang-Mills theories in the gauge-invariant variablesG _ij=tr^* F _i ^* F_j is proposed. It is shown that the tensorG _ij satisfies three-dimensional Einstein equations with simple right-hand side andG _ij playing the role of a metric. This result is generalized to the case of a system of Yang-Mills-Higgs fields.Moscow State University. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 94, No. 1, pp. 66–75, January, 1993.     

A generalization of the Gagliardo inequality

Consider functions u₁, u₂,..., u_n ∈ D(ℝ^k) and assume that we are given a certain set of linear combinations of the form ∑_{i, j} a _ij ^(l) ∂_ju_i. Sufficient conditions in terms of coefficients a _ij ^(l) are indicated under which the norms are controlled in terms of the L¹-norms of these linear combinations. These conditions are mostly transparent if k = 2. The classical Gagliardo inequality corresponds to a single function u₁ = u and the collection of its partial derivatives ∂₁u,..., ∂_ku. Bibliography: 2 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 345, 2007, pp. 120–139.     

The bandwidth problem for graphs and matrices—a survey

The bandwidth problem for a graph G is to label its n vertices v_i with distinct integers f(v_i) so that the quantity max{| f(v_i) ? f(v_i)| : (v_i v_j) ∈ E(G)} is minimized. The corresponding problem for a real symmetric matrix M is to find a symmetric permutation M' of M so that the quantity max{| i ? j| : m'_ij ≠ 0} is minimized. This survey describes all the results known to the authors as of approximately August 1981. These results include the effect on bandwidth of local operations such as refinement and contraction of graphs, bounds on bandwidth in terms of other graph invariants, the bandwidth of special classes of graphs, and approximate bandwidth algorithms for graphs and matrices. The survey concludes with a brief discussion of some problems related to bandwidth.     

Möbius Isoparametric Hypersurfaces in S n+1 with Two Distinct Principal Curvatures

A hypersurface x : M → S ⁿ⁺¹ without umbilic point is called a Möbius isoparametric hypersurface if its Möbius form Φ = ?ρ ^?2∑ _i (e _i (H) + ∑ _j (h _ij ?Hδ _ij )e _j (log ρ))θ _i vanishes and its Möbius shape operator $ {\Bbb {S}}A hypersurface x : M → S ^{n +1} without umbilic point is called a M?bius isoparametric hypersurface if its M?bius form Φ = −ρ⁻²∑ _i (e _i (H) + ∑ _j (h _ij −Hδ _ij )e _j (log ρ))θ _i vanishes and its M?bius shape operator ? = ρ⁻¹(S−Hid) has constant eigenvalues. Here {e _i } is a local orthonormal basis for I = dx·dx with dual basis {θ _i }, II = ∑ _ij h _ij θ _i ⊗θ _i is the second fundamental form, and S is the shape operator of x. It is clear that any conformal image of a (Euclidean) isoparametric hypersurface in S ^{n +1} is a M?bius isoparametric hypersurface, but the converse is not true. In this paper we classify all M?bius isoparametric hypersurfaces in S ^{n +1} with two distinct principal curvatures up to M?bius transformations. By using a theorem of Thorbergsson [1] we also show that the number of distinct principal curvatures of a compact M?bius isoparametric hypersurface embedded in S ^{n +1} can take only the values 2, 3, 4, 6. Received September 7, 2001, Accepted January 30, 2002     

A Berry–Esseen Bound for U-Statistics in the Non-I.I.D. Case

Let X ₁,..., X _n be independent, not necessarily identically distributed random variables. An optimal Berry–Esseen bound is derived for U-statistics of order 2, that is, statistics of the form T=_1i<jn g _ij(X _i, X _j), where the g _ij are measurable functions such that |g _ij(X _i, X _j)|<. An application is given concerning Wilcoxon's rank-sum test.     

On the blow-up of solutions to anisotropic parabolic equations with variable nonlinearity

The aim of this paper is to establish sufficient conditions of the finite time blow-up in solutions of the homogeneous Dirichlet problem for the anisotropic parabolic equations with variable nonlinearity $ u_t = \sum\nolimits_{i = 1}^n {D_i (a_i (x,t)|D_i u|^{p^i (x) - 2} D_i u) + \sum\nolimits_{i = 1}^K {b_i (x,t)|u|^{\sigma _i (x,t) - 2} u} } $ u_t = \sum\nolimits_{i = 1}^n {D_i (a_i (x,t)|D_i u|^{p^i (x) - 2} D_i u) + \sum\nolimits_{i = 1}^K {b_i (x,t)|u|^{\sigma _i (x,t) - 2} u} } . Two different cases are studied. In the first case a _i ≡ a _i (x), p _i ≡ 2, σ _i ≡ σ _i (x, t), and b _i (x, t) ≥ 0. We show that in this case every solution corresponding to a “large” initial function blows up in finite time if there exists at least one j for which min σ _j (x, t) > 2 and either b _j > 0, or b _j (x, t) ≥ 0 and Σ_π b _j ^−ρ(t)(x, t) dx < ∞ with some σ(t) > 0 depending on σ _j . In the case of the quasilinear equation with the exponents p _i and σ _i depending only on x, we show that the solutions may blow up if min σ _i ≥ max p _i , b _i ≥ 0, and there exists at least one j for which min σ _j > max p _j and b _j > 0. We extend these results to a semilinear equation with nonlocal forcing terms and quasilinear equations which combine the absorption (b _i ≤ 0) and reaction terms.     

Generalized Hadamard Matrices

The paper studies a generalized Hadamard matrix H = (g _{i j}) of order n with entries gi j from a group G of order n. We assume that H satisfies: (i) For m k, G = {g _{m i} g k i ^-1 i = 1,...., n} (ii) g _1i = g _i1 = 1 for each i; (iii) g _ij ^-1 = g _ji for all i, j. Conditions (i) and (ii) occur whenever G is a(P, L) -transitivity for a projective plane of order n. Condition (iii) holds in the case that H affords a symmetric incidence matrix for the plane. The paper proves that G must be a 2-group and extends previous work to the case that n is a square.     

A Load-Balanced Network with Two Servers

A load-balanced network with two queues Q ₁ and Q ₂ is considered. Each queue receives a Poisson stream of customers at rate _i , i=1,2. In addition, a Poisson stream of rate arrives to the system; the customers from this stream join the shorter of two queues. After being served in the ith queue, i=1,2, customers leave the system with probability 1–p _i ^*, join the jth queue with probability p(i,j), j=1,2, and choose the shortest of two queues with probability p(i,{1,2}). We establish necessary and sufficient conditions for stability of the system.     

The Hyperbolic Geometric Flow on Riemann Surfaces

In this paper the authors study the hyperbolic geometric flow on Riemann surfaces. This new nonlinear geometric evolution equation was recently introduced by the first two authors, motivated by Einstein equation and Hamilton's Ricci flow. We prove that, for any given initial metric on ?² in certain class of metrics, one can always choose suitable initial velocity symmetric tensor such that the solution exists for all time, and the scalar curvature corresponding to the solution metric g _ij keeps uniformly bounded for all time; moreover, if the initial velocity tensor is suitably “large", then the solution metric g _ij converges to the flat metric at an algebraic rate. If the initial velocity tensor does not satisfy the condition, then the solution blows up at a finite time, and the scalar curvature R(t, x) goes to positive infinity as (t, x) tends to the blowup points, and a flow with surgery has to be considered. The authors attempt to show that, comparing to Ricci flow, the hyperbolic geometric flow has the following advantage: the surgery technique may be replaced by choosing suitable initial velocity tensor. Some geometric properties of hyperbolic geometric flow on general open and closed Riemann surfaces are also discussed.     

Pressure in Classical Statistical Mechanics and Interacting Brownian Particles in Multi-dimensions

. Let P(u) denote the pressure at the density u defined in the Gibbs statistical mechanics determined by a 2 body potential U (_qi - _qj). The function U(x) is supposed rotationally invariant and of finite range but may be unbounded about the origin. We establish a representation of P(u) by means of the law of large numbers for the virial ?_i,j q_i ·? U(q_i-q_j)\sum_{i,j} q_i \cdot {\nabla} U(q_i-q_j), whether or not there occur phase transitions. This result on P(u) is motivated by a study of the hydrodynamic behavior of a system of a large number of interacting Brownian particles moving on a d-dimensional torus (d = 1, 2, ...) in which the interaction is given by binary potential forces of potential U. Employing our representation of P(u), we also show that in the hydrodynamic limit of such a system there arises a non linear evolution equation of the form u_t = ¹/₂ DP(u)u_t = {1\over2} \Delta P(u) under a certain hypothetical postulate concerning concentration of particles.     

Lax Representation for a Triplet of Scalar Fields

We construct a 3×3 matrix zero-curvature representation for the system of three two-dimensional relativistically invariant scalar fields. This system belongs to the class described by the Lagrangian L = [g _ij(u)u _x ⁱ u _t ^j]/2+f(u), where g _ij is the metric tensor of a three-dimensional reducible Riemannian space. We previously found all systems of this class that have higher polynomial symmetries of the orders 2, 3, 4, or 5. In this paper, we find a zero-curvature representation for one of these systems. The calculation is based on the analysis of an evolutionary system u _t = S(u), where S is one of the higher symmetries. This approach can also be applied to other hyperbolic systems. We also find recursion relations for a sequence of conserved currents of the triplet of scalar fields under consideration.     

Gersgorin variations II: On themes of Fan and Gudkov

Assume F={f₁,. . .,f_n} is a family of nonnegative functions of n−1 nonnegative variables such that, for every matrix A of order n, |a_ii|>f_i (moduli of off-diagonal entries in row i of A) for all i implies A nonsingular. We show that there is a positive vector x, depending only on F, such that for all A=(a_ij), and all i, f_i≥∑_j|a_ij|{x_j}/x_i. This improves a theorem of Ky Fan, and yields a generalization of a nonsingularity criterion of Gudkov. Dedicated to Charles A. Micchelli, in celebration of his 60th birthday and our 30 years of friendship     

Positive Periodic Solutions of N-Species Neutral Delay Systems

In this paper, we employ some new techniques to study the existence of positive periodic solution of n-species neutral delay system N _i = N _i (t)[ _i (t) — _ij (t)N _j (t) — b _ij (t)N _j (t— _ij (t))— c _ij (t)N _j (t— _ij (t))].As a corollary, we answer an open problem proposed by Y. Kuang.     

Simultaneous weighted sums of elements of finitely generated multiplicative groups

Let {G_j}_jεJ be a finite set of finitely generated subgroups of the multiplicative group of complex numbers C^x. Write H=∩ _jεJ G_j. Let n be a positive integer and a_ij a complex number for i = 1, ..., n and j ε J. Then there exists a set W with the following properties. The cardinality of W depends only on {G_j}_jεJ and n. If, for each jεJ, α has a representation α = Σ _iⁿ = ₁a _ijg_ij in elements g_ij of G_j, then α has a representation a= Σ_k=1ⁿ w_kh_k with w_kεW, h_k εH for k = 1,..., n. The theorem in this note gives information on such representations.     

Invertible relations on polytopes

Ifg andh are any nonzero functions on the class of convex polytopes then (F ⁱ ,F ^j ) =g(F ⁱ )/h(F ^j ) is a valuation whose inverse is (F ⁱ ,F ^j ) = (–1) ^j–i h(F ⁱ )/g(F ^j ). This is proved and a smaller class of valuations are characterized: those (F ⁱ ,F ^j ) which depend only oni andj and which have inverses of the same form.     

Departures from queues with changeover times

We consider the M/M ^ij /1 queue as a model of queues with changeover times, i.e., the service is exponential with parameter _ij depending on the previous job type (i) and the current job type (j). It is shown that the departure process is renewal and Poisson iff _ij = (constant). In this case, types of departures are dependent renewal processes. Crosscovariance and crosscorrelations are given.     

Gradient estimates below duality exponent for a class of linear elliptic systems

We provide sharp estimates in Lorentz spaces for the solution of the Dirichlet problem associated to the system $\left\{ \begin{array}{ll} A(u)\equiv-D_i (A_{ij}(x) D_j u)=f\\ u \in W^{1,1}_{0}(\Omega, \mathbb {R}^N) \end{array} \right.$ where Ω is an open bounded subset of ${\mathbb R^n}We provide sharp estimates in Lorentz spaces for the solution of the Dirichlet problem associated to the system

{ ll A(u) o -Di (Aij(x) Dj u)=fu ? W1,10(W, \mathbb RN) \left\{ \begin{array}{ll} A(u)\equiv-D_i (A_{ij}(x) D_j u)=f\\ u \in W^{1,1}_{0}(\Omega, \mathbb {R}^N) \end{array} \right.      19. Exact laws for sums of ratios of order statistics from the Pareto distribution      André Adler 《Central European Journal of Mathematics》2006,4(1):1-4 Consider independent and identically distributed random variables {X nk, 1 ≤ k ≤ m, n ≤ 1} from the Pareto distribution. We select two order statistics from each row, X n(i) ≤ X n(j), for 1 ≤ i < j ≤ = m. Then we test to see whether or not Laws of Large Numbers with nonzero limits exist for weighted sums of the random variables R ij = X n(j)/X n(i).      20. Ōtsukische Räume mit Einem Zweifach Rekurrenten Metrischen Grundtensor      A. Moór 《Periodica Mathematica Hungarica》1982,13(2):129-135 In this note necessary and sufficient conditions are determined for Weyl—tsukispaces to have a birecurrent metric, i.e., m k g ij = km g ij . It is proved that in this space the metric tensor is an eigen-tensor. The special caseP j i = (x) j i is examined and we prove that in this case the recurrent metric tensor is likewise birecurrent.

Exact laws for sums of ratios of order statistics from the Pareto distribution

Consider independent and identically distributed random variables {X _nk, 1 ≤ k ≤ m, n ≤ 1} from the Pareto distribution. We select two order statistics from each row, X _n(i) ≤ X _n(j), for 1 ≤ i < j ≤ = m. Then we test to see whether or not Laws of Large Numbers with nonzero limits exist for weighted sums of the random variables R _ij = X _n(j)/X _n(i).     

Ōtsukische Räume mit Einem Zweifach Rekurrenten Metrischen Grundtensor

In this note necessary and sufficient conditions are determined for Weyl—tsukispaces to have a birecurrent metric, i.e., _{m k} g _ij = _km g _ij . It is proved that in this space the metric tensor is an eigen-tensor. The special caseP _j ⁱ = (x) _j ⁱ is examined and we prove that in this case the recurrent metric tensor is likewise birecurrent.