Все выпуски

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

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

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

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