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?     

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 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.     

Undecidability of a simple fragment of a positive theory with a single constant for a free semigroup of rank two

In the paper we study the algorithmic nature of some “simple” fragments of positive theories with “few” constants for free noncyclic semigroups. Translated fromMatematicheskie Zametki, Vol. 67, No. 2, pp. 191–200, February, 2000.     

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.     

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.     

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.     

On a smooth solution of a boundary-value problem

We study a periodic boundary-value problem for the quasilinear equation u _tt −u _xx =F[u, u _t , u _x ], u(x, 0)=u(x, π)=0, u(x + ω, t) = u(x, t), x ∈ ℝ t ∈ [0, π], and establish conditions that guarantee the validity of a theorem on unique solvability. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 50, No. 9, pp. 1293–1296, September, 1998.     

Hofer geometry of a subset of a symplectic manifold

To every closed subset X of a symplectic manifold (M, ω) we associate a natural group of Hamiltonian diffeomorphisms Ham (X, ω). We equip this group with a semi-norm ${\Vert\cdot\Vert^{X, \omega}}$ , generalizing the Hofer norm. We discuss Ham (X, ω) and ${\Vert\cdot\Vert^{X, \omega}}$ if X is a symplectic or isotropic submanifold. The main result involves the relative Hofer diameter of X in M. Its first part states that for the unit sphere in ${\mathbb{R}^{2n}}$ this diameter is bounded below by ${\frac{\pi}{2}}$ , if n ≥ 2. Its second part states that for n ≥ 2 and d ≥ n there exists a compact subset X of the closed unit ball in ${\mathbb{R}^{2n}}$ , such that X has Hausdorff dimension at most d + 1 and relative Hofer diameter bounded below by π / k(n, d), where k(n, d) is an explicitly defined integer.     

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.     

The rank of a completion of a dedekind domain

Let D be a Dedekind domain with quotient field K. Let C_p be the completion of the localisationD_p , of D at a nonzero prime idealp, of D. Let r_p be the rank of C_p as a D-module, ier_p , is the dimension of the K-vector space K_p , = K? _DC_p . The following results on r_p are deduced from well-known theorems: if r_p is finite for at least one prime ideal p, then D is a discrete valuation ring; and D = C_p if _p = 1. If D is a discrete valuation ring, then r_p = dimExt(K, D) + 1. A module M is extensionless if every extension of M by M splits. The D-module r_C is an estensionless indecomposable module. If r_C is infinite for every nonzero prime ideal, it is shown that an estensionless D-module of finite rank is a direct sum or certain rank one modulcs.     

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     

Diameter of a direct power of a finite group

We present two conjectures concerning the diameter of a direct power of a finite group. The first conjecture states that the diameter of Gⁿ with respect to each generating set is at most n(|G|?rank(G)); and the second one states that there exists a generating set 𝒜, of minimum size, for Gⁿ such that the diameter of Gⁿ with respect to 𝒜 is at most n(|G|?rank(G)). We will establish evidence for each of the above mentioned conjectures.     

On a characterization of irreducibility of a non-negative matrix

Let A denote an n×n matrix with all its elements real and non-negative, and let r_i be the sum of the elements in the ith row of A, i=1,…,n. Let B=A?D(r₁,…,r_n), where D(r₁,…,r_n) is the diagonal matrix with r_i at the position (i,i). Then it is proved that A is irreducible if and only if rank B=n?1 and the null space of B^T contains a vector d whose entries are all non-null.     

Homomorphisms of extensions of a semigroup within a variety

LetV be a semigroup variety containing all commutative semigroups such that the law of exponents (xy) ⁿ =xⁿyⁿ fails inV for everyn > 1. For every semigroupS V such that the reflection of the semigroup obtained fromS by an adding unity has only one idempotent there exists a semigroupT V extendingS without non-trivial endomorphisms. In more general, the full subcategory ofV formed by all extensions ofS withinV is universal.Presented by B. M. Schein.     

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 ^∞.     

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.     

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.     

Defining a metric in a linear space by means of a family of subsets

Necessary and sufficient conditions are given on a familyA _r ^r>0 of subsets of a real linear space X under which infr > 0 x A _r is a quasinorm [l] on X. It is shown that for any symmetric (about zero) closed set A in a normed space X containing the ball {x X: x l there exists a quasinorm ¦·¦ on X such that A = {x X ¦x¦ 1}. Examples are constructed of linear metric spaces in which there exists a Chebyshev line which is not an approximately compact set.Translated from Matematicheskie Zametki, Vol. 19, No. 2, pp. 237–246, February, 1976.