On a mapping of a projective space into a sphere

We obtain an exact estimate for the minimum multiplicity of a continuous finite-to-one mapping of a projective space into a sphere for all dimensions. For finite-to-one mappings of a projective space into a Euclidean space, we obtain an exact estimate for this multiplicity for n = 2, 3. For n ≥ 4, we prove that this estimate does not exceed 4. Several open questions are formulated.     

Motion of a container as a nonholonomous system in a curved section of a horizontal pipeline

The problem of the motion of a container in a curved section of a horizontal pipeline is solved using second-order Lagrange equations in the presence of nonholonous couplings. The special case of the motion of a container in a circular curve is examined.Translated from Matematicheskie Metody i Fiziko-Mekhanicheskie Polya, No. 25, pp. 90–95, 1987.     

Determining a Rotation of a Tetrahedron from a Projection

The following problem, arising from medical imaging, is addressed: Suppose that T is a known tetrahedron in ?³ with centroid at the origin. Also known is the orthogonal projection U of the vertices of the image ?T of T under an unknown rotation ? about the origin. Under what circumstances can ? be determined from T and U?     

Optimal construction of a selection of a subpopulation

Summary The problem of selecting a subpopulation from a given populationII is to be, on the basis of measurements of members ofII, achieved by choosing those members ofII who satisfy the standards determined by a given selection cirterion and rejecting those who do not. Since the optimum selection depends on the unknown parameter of the probability distribution ofII, it is here considered how to construct a decision function from the space of subsidiary sample having infor-mation on θ to the space of selections. Thus the existence of Bayes and minimax decision functions under the constraint defined by the selection criterion is proved. A necessary and sufficient condition for a decision function satisfying the constraint to be a Bayes decision function is also obtained. The Institute of Statistical Mathematics     

Refinement of a criterion for superfluidity of a classical liquid in a nanotube

The problem has a large parameter, the number N of particles (outside the condensate), and a small parameter, Planck’s constant ħ (more precisely, a dimensionless parameter containing ħ in the numerator). They turn out to be interrelated for Bose particles. Using the exact solution of the variational equation for a bosonic system in a capillary, we can obtain precise criteria restricting the superfluidity of a classical liquid in the capillary. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 155, No. 3, pp. 524–528, June, 2008.     

Calculating a function of a matrix with a real spectrum

Let T be a square matrix with a real spectrum, and let f be an analytic function. The problem of the approximate calculation of f(T) is discussed. Applying the Schur triangular decomposition and the reordering, one can assume that T is triangular and its diagonal entries t_ii are arranged in increasing order. To avoid calculations using the differences t_ii ? t_jj with close (including equal) t_ii and t_jj, it is proposed to represent T in a block form and calculate the two main block diagonals using interpolating polynomials. The rest of the f(T) entries can be calculated using the Parlett recurrence algorithm. It is also proposed to perform some scalar operations (such as the building of interpolating polynomials) with an enlarged number of significant decimal digits.

     

On stable estimation of a function of a parameter

Given the function f and the vector-statistic t_N which is a mean square consistent estimator of a parameter a, the problem is to estimate f(a). The criteria for the mean square consistency of the estimator f(t_N) are considered. In the case where the estimator f(t_N) is not mean square consistent, a class of estimators of f(a) is proposed, and it is proved that the estimators of the class are mean square consistent for all distribution of t_N. Translated fromStatisticheskie Metody Otsenivaniya i Proverki Gipotez, pp. 44–55, Perm, 1990.     

On a class of isometric subgraphs of a graph

In a graphG, which has a loop at every vertex, a connected subgraphH=(V(H),E(H)) is a retract if, for anya, b ∈V(H) and for any pathsP, Q inG, both joininga tob, and satisfying |Q|≧ ≧|P|, thenP ⫅V(H) wheneverQ ⫅V(H). As such subgraphs can be described by a closure operator we are led to the investigation of the corresponding complete lattice of “closed” subgraphs. For example, in this complete lattice every element is the infimum of an irredundant family of infimum irreducible elements. The work presented here was supported in part by N.S.E.R.C. Operating Grant No. A4077.     

Numerical solutions of a model for the propagation of a surface-catalysed flame in a tube

Numerical simulations of a surface-catalysed flame in a tubeare performed, corresponding to an experiment where a premixedfuel is fed into a tube whose inner surface is coated with acatalyst. In these experiments, subsequent to ignition, a reactionwave can be seen as a red-hot region which propagates back alongthe tube towards the inlet, and is due to low temperature combustionoccurring only on the inner surface of the tube where the catalystis present. The solutions of a mathematical model for this behaviourshow that initial-value problems do indeed result in such steadilypropagating waves. The numerically obtained wave speeds andsteady solution are compared to a previous large Damköhlernumber (D_a) asymptotic analysis using a simple reaction ratemodel, and agreement is very good even for moderately largevalues of D_a. However, for such Damköhler numbers, thewave speeds are found to be much larger than observed experimentally.Indeed, the simulations show that O(1) values of D_a are requiredto obtain the lower experimental wave speeds. Nevertheless,the wave speeds as a function of flow rate through the tubedo not agree well with the preliminary experimental resultsfor any choice of the parameters. A more realistic, Arrheniusreaction rate model is then considered. The Arrhenius modelpredicts a rapid change in temperature at the wave front, inmuch better agreement with the experiments than for the simplerreaction model.     

The torsion of a submanifold of a Riemannian manifold

For a submanifoldM ⁿ of a Riemannian manifoldM ^q, the concept of a torsion bivector at the point x M ⁿ for given one- and two-dimensional directions fromT _x M ⁿ is introduced using only the first and second fundamental forms ofM ⁿ. Its relation to the concept of Gaussian torsion is then established. It is proved that: 1) equality to zero of the torsion bivector is necessary and, whenM ⁿ is a nondevelopable surface of a space of constant curvature with nonzero second fundamental form, is also sufficient for the "flattening" ofM ⁿ into some totally geodesicM ⁿ⁺¹ inM ^q; 2) when n = 2, the independence of the nonzero torsion bivector of direction characterizes a minimalM ² inM ^q.Translated from Ukrainskii Geometricheskii Sbornik, No. 34, pp. 39–42, 1991.     

Lusternik-Schnirelmann category of a sphere-bundle over a sphere

We determine the Lusternik-Schnirelmann (L-S) category of a total space of a sphere-bundle over a sphere in terms of primary homotopy invariants of its characteristic map, and thus providing a complete answer to Ganea's Problem 4. As a result, we obtain a necessary and sufficient condition for a total space N to have the same L-S category as its ‘once punctured submanifold’ N\{P},P∈N. Also, necessary and sufficient conditions for a total space M to satisfy Ganea's conjecture are described.     

Study of a discrete dynamic system in a neighborhood of a quasi-periodic trajectory

We study a discrete system in a neighborhood of a quasi-periodic trajectory. We obtain conditions for reducing a system in this neighborhood to a system with quasi-periodic coefficients. We determine the behavior of this system under the action of small perturbations.This work was prepared with the financial support of the Ukrainian State Committee on Science and Technology.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 44, No. 12, pp. 1702–1711, December, 1992.     

Composition of a pseudodifferential operator and of a restriction to a submanifold

The results of Seeley on admissible Cauchy data for the solutions of a homogeneous elliptic equation on a manifold with boundary are extended to equations with a pseudodifferential operator.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 110, pp. 217–224, 1981.     

Asymptotic properties of a solution of a boundary-value problem

The asymptotic behavior of the solution of a boundary-value problem for the equation u_txx+ u_x =f when the time tends to infinity is investigated. It is proved that the time mean of the solution tends to a stationary solution everywhere except in a boundary region at the left end of the interval.Translated from Matematicheskie Zametki, Vol. 8, No. 3, pp. 273–284, September, 1970.     

Fast computation of a rational point of a variety over a finite field

We exhibit a probabilistic algorithm which computes a rational point of an absolutely irreducible variety over a finite field defined by a reduced regular sequence. Its time-space complexity is roughly quadratic in the logarithm of the cardinality of the field and a geometric invariant of the input system. This invariant, called the degree, is bounded by the Bézout number of the system. Our algorithm works for fields of any characteristic, but requires the cardinality of the field to be greater than a quantity which is roughly the fourth power of the degree of the input variety.

     

Measures of affinity of a sequence for a number

We define strong and weak affinities of a number a for a sequence (x_k ) denoted by L (a,(x_k )) and U (a, (x_k )) respectively. We show U (a,(x_k )) > 0 if and only if the number a is a statistical limit point of the sequence (x_k ). We consider the distribution of sequences with positive weak and strong measures of affinity within the space l ^∞ of bounded sequences. The main result is that the set of bounded sequences with U (a,(x_k )) > 0, that is, the set of sequences with statistical limit points, is a dense subset in l ^∞ of the first category. We also show the set of sequences with positive strong affinities is a nowhere dense subset of l ^∞.     

Fitting a Set of Points by a Circle

Given a set of points S={p ₁ ,. . ., p _n } in Euclidean d -dimensional space, we address the problem of computing the d -dimensional annulus of smallest width containing the set. We give a complete characterization of the centers of annuli which are locally minimal in arbitrary dimension and we show that, for d=2 , a locally minimal annulus has two points on the inner circle and two points on the outer circle that interlace anglewise as seen from the center of the annulus. Using this characterization, we show that, given a circular order of the points, there is at most one locally minimal annulus consistent with that order and it can be computed in time O(n log n) using a simple algorithm. Furthermore, when points are in convex position, the problem can be solved in optimal Θ(n) time. Received June 25, 1997, and in revised form March 5, 1998.     

Representations of a p-Elementary Form by a Genus

We study the branching of representations of a p-elementary quadratic form by a genus of positive definite locally p-two-dimensional forms. A primitive representation of a p-elementary form is decomposed into a direct sum of minimal indecomposable representations; the latter representations are found in an explicit form. For the case of branching, we find local multipliers of the weight of representations of a form by a genus. As an application, we calculate the number of embeddings into the classical root lattices. The method of orthogonal complement is applied in constructing new genera of quadratic forms. Bibliography: 9 titles.     

Uniform convergence of a sequence of functions at a point

It is well known that the uniform limit of a sequence of continuous real-valued functions defined on an interval I is itself continuous. However, if the convergence is pointwise, the limit function need not be continuous (take ? _n (x) = x ⁿ on [0, 1], for example). Boas has shown that the pointwise limit function of a sequence of continuous real-valued functions defined on the compact interval [a,b] is, nonetheless, continuous on a dense subset of [a,b]. In this paper, the notion of uniform convergence at a point is offered as an alternative to the Boas approach in establishing this and, consequently, other results. The arguments stay within the realm of a first proof course in classical mathematical analysis.     

Two equivalent definitions of a congruence on a finitary model in a quasivariety

LetL be a finitary language and letK be a subcategory of the category of allL-models andL-morphisms. For aK-objectA we consider two definitions of aK-congruence relation onA: that given by Rosenberg and Sturm [2], and that given by Adámek [1]. Both definitions are external definitions in the sense that they depend on the otherK-objects. IfK is a full subcategory, such that theK-objects form a quasivariety, then it is shown that the definitions ofK-congruence are equivalent and a purely internal characterisation is given.Presented by I. Rosenberg.I am indebted to Professor Teo Sturm as this paper originated from his seminar series on Algebraic Structures.