Все выпуски

Определена конформная связность со скалярной кривизной как обобщение псевдориманова пространства постоянной кривизны. Вычислена матрица кривизны такой связности. Доказано, что на многообразии конформной связности со скалярной кривизной имеется конформная связность с нулевой матрицей кривизны. Дано определение перенормируемого скаляра и доказано существование перенормируемых скаляров на любом многообразии конформной связности, где существует разбиение единицы. Доказано: 1) существование на многообразии конформной связности с нулевой матрицей кривизны конформной связности с положительной, отрицательной и знакопеременной скалярной кривизной; 2) существование на многообразии конформной связности глобальной калибровочно-инвариантной метрики; 3) на гиперповерхности конформного пространства индуцированная конформная связность не может быть с ненулевой скалярной кривизной.

A conformal connection with scalar curvature is defined as a generalization of a pseudo-Riemannian space of constant curvature. The curvature matrix of such connection is computed. It is proved that on a conformally connected manifold with scalar curvature there is a conformal connection with zero curvature matrix. We give a definition of a rescalable scalar and prove the existence of rescalable scalars on any manifold with conformal connection where a partition of unity exists. It is proved: 1) on any manifold with conformal connection and zero curvature matrix there exists a conformal connection with positive, negative and alternating scalar curvature; 2) on any conformally connected manifold there exists a global gauge-invariant metric; 3) on a hypersurface of a conformal space the induced conformal connection can not be of nonzero scalar curvature.

Описан универсальный метод для моделирования равномерных распределений точек на гладких регулярных поверхностях в евклидовых пространствах различной размерности. Представлена интерпретация множества возможных значений параметров Родрига-Гамильтона, используемых при описании вращения твердого тела как множества точек трехмерной гиперсферы в четырехмерном евклидовом пространстве. Установлена связь между случайными равновероятными вращениями твердого тела и равномерным распределением точек на поверхности трехмерной гиперсферы в четырехмерном евклидовом пространстве.

The paper describes a universal method for simulation of uniform distributions of points on smooth regular surfaces in Euclidean spaces of various dimensions. The authors give an interpretation of a set of possible values of Rodrigues-Hamilton parameters used to describe a rigid rotation as a set of points of a three-dimensional hypersphere in four-dimensional Euclidean space. The relationship between random equiprobable rotations of a rigid body and a uniform distribution of points on the surface of a three-dimensional hypersphere in four-dimensional Euclidean space is established.

Доказано, что общая кубическая форма над полем комплексных чисел преобразуется к виду без мономов от ровно двух переменных каждый посредством невырожденной линейной замены координат. Если коэффициенты при мономах от одной переменной равны единице, а остальные коэффициенты принадлежат достаточно маленькому полидиску около нуля, то преобразование может быть аппроксимировано с помощью итерационного алгоритма. При этих ограничениях тот же результат справедлив над полем вещественных чисел. Этот результат обобщает теорему Леви-Деспланка о матрицах со строгим диагональным преобладанием. Нами подробно рассмотрены свойства приводимых кубических форм. Так нами доказано существование приводимой вещественной кубической формы, которая не эквивалентна никакой форме со всеми мономами от ровно одной переменной и без мономов от ровно двух переменных каждый. Предложено достаточное условие существования особой точки на проективной кубической гиперповерхности. Обсуждается вычислительная сложность распознавания особых точек.

It is proved that a general cubic form over the field of complex numbers can be transformed into a form without monomials of exactly two variables by means of a non-degenerate linear transformation of coordinates. If the coefficients of monomials in only one variable are equal to one, and the remaining coefficients belong to sufficiently small polydisc near zero, then the transformation can be approximated by iterative algorithm. Under these restrictions the same result holds over the reals. This result generalizes the Levy-Desplanques theorem on strictly diagonally dominant matrices. We discuss in detail the properties of reducible cubic forms. So we prove the existence of a reducible real cubic form that is not equivalent to any form with all monomials in only one variable and without any monomials in exactly two variables. We suggest a sufficient condition for the existence of a singular point on a projective cubic hypersurface. The computational complexity of singular points recognition is discussed.

В статье рассмотрены методы для обнаружения особых точек на аффинной гиперповерхности или подтверждения гладкости этой гиперповерхности. Наш подход основан на построении касательных прямых к данной гиперповерхности. Существование хотя бы одной особой точки накладывает ограничение на алгебраическое уравнение, определяющее совокупность касательных прямых, проходящих через выделенную точку в пространстве. Это уравнение основано на формуле для дискриминанта многочлена от одной переменной. Для произвольно фиксированной степени гиперповерхности нами предложен детерминированный алгоритм полиномиального времени для вычисления базиса в подпространстве соответствующих многочленов. Если линейная комбинация таких многочленов не обращается в нуль на гиперповерхности, то гиперповерхность гладкая. Мы формулируем достаточное условие гладкости, проверяемое за полиномиальное время. Для некоторых гладких аффинных гиперповерхностей это условие выполнено. Этот набор включает графики кубических многочленов от нескольких переменных, а также другие примеры кубических гиперповерхностей. С другой стороны, это условие не выполняется для некоторых кубических гиперповерхностей высокой размерности. Это не мешает применению метода в низких размерностях. Также поиск особых точек важен для решения некоторых задач машинного зрения, в том числе для обнаружения угла у препятствия по последовательности кадров с одной камеры на движущемся транспортном средстве.

The article focuses on methods to look for singular points of an affine hypersurface or to confirm the smoothness of the hypersurface. Our approach is based on the description of tangent lines to the hypersurface. The existence of at least one singular point imposes a restriction on the algebraic equation that determines the set of tangent lines passing through the selected point of the space. This equation is based on the formula for the discriminant of a univariate polynomial. For an arbitrary fixed hypersurface degree, we have proposed a deterministic polynomial time algorithm for computing a basis for the subspace of the corresponding polynomials. If a linear combination of these polynomials does not vanish on the hypersurface, then the hypersurface is smooth. We state a sufficient smoothness condition, which is verifiable in polynomial time. There are smooth affine hypersurfaces for which the condition is satisfied. The set includes the graphs of cubic polynomials in many variables as well as other examples of cubic hypersurfaces. On the other hand, the condition is violated for some high-dimensional cubic hypersurfaces. This does not prevent the application of the method in low dimensions. Searching for singular points is also important for solving some problems of machine vision, including detection of a corner by means of the frame sequence with one camera on a moving vehicle.