Quadratic formulas for quaternions

In this paper, we derive explicit formulas for computing the roots of a quaternionic quadratic polynomial.     

An upper bound for a Hilbert polynomial on quaternionic Kähler manifolds

In this article we prove an upper bound for a Hilbert polynomial on quaternionic Kähler manifolds of positive scalar curvature. As corollaries we obtain bounds on the quaternionic volume and the degree of the associated twistor space. Moreover, the article contains some details on differential equations of finite type. Part of this article is used in the proof of the main theorem.     

On Reduction of Quaternionic Polynomials and Their Identical Equality

We show that any quaternionic polynomial with one variable can be represented in such a way that the number of its terms will be not larger than a certain number depending on the degree of the polynomial. We study also some particular cases where this number can be made even smaller. Then we use the above-mentioned representation to study how to check whether two given quaternionic polynomials with one variable are identically equal. We solve this problem for all linear polynomials and for some types of nonlinear polynomials.     

On the Multiplicity of Zeroes of Polynomials with Quaternionic Coefficients

Regular polynomials with quaternionic coefficients admit only isolated zeroes and spherical zeroes. In this paper we prove a factorization theorem for such polynomials. Specifically, we show that every regular polynomial can be written as a product of degree one binomials and special second degree polynomials with real coefficients. The degree one binomials are determined (but not uniquely) by the knowledge of the isolated zeroes of the original polynomial, while the second degree factors are uniquely determined by the spherical zeroes. We also show that the number of zeroes of a polynomial, counted with their multiplicity as defined in this paper, equals the degree of the polynomial. While some of these results are known in the general setting of an arbitrary division ring, our proofs are based on the theory of regular functions of a quaternionic variable, and as such they are elementary in nature and offer explicit constructions in the quaternionic setting. Partially supported by G.N.S.A.G.A.of the I.N.D.A.M. and by M.I.U.R.. Lecture held by G. Gentili in the Seminario Matematico e Fisico on February 12, 2007. Received: August 2008     

Generating unlabeled connected cubic planar graphs uniformly at random

We present an expected polynomial time algorithm to generate an unlabeled connected cubic planar graph uniformly at random. We first consider rooted connected cubic planar graphs, i.e., we count connected cubic planar graphs up to isomorphisms that fix a certain directed edge. Based on decompositions along the connectivity structure, we derive recurrence formulas for the exact number of rooted cubic planar graphs. This leads to rooted 3‐connected cubic planar graphs, which have a unique embedding on the sphere. Special care has to be taken for rooted graphs that have a sense‐reversing automorphism. Therefore we introduce the concept of colored networks, which stand in bijective correspondence to rooted 3‐connected cubic planar graphs with given symmetries. Colored networks can again be decomposed along the connectivity structure. For rooted 3‐connected cubic planar graphs embedded in the plane, we switch to the dual and count rooted triangulations. Since all these numbers can be evaluated in polynomial time using dynamic programming, rooted connected cubic planar graphs can be generated uniformly at random in polynomial time by inverting the decomposition along the connectivity structure. To generate connected cubic planar graphs without a root uniformly at random, we apply rejection sampling and obtain an expected polynomial time algorithm. © 2008 Wiley Periodicals, Inc. Random Struct. Alg., 2008     

Reversible maps and their symmetry lines

In this paper, we present some methods to determine whether a planar map is reversible. Using these methods, we show that four automorphisms are reversible including Cremona map, cubic Hénon map, Knuth map and McMillan map. Some of them are not polynomial automorphism. We give the recurrence formulas of their symmetry lines, draw their phase portraits and symmetry lines with MATLAB software. Some special properties of their symmetry lines are explained and their beauties are also visually displayed.     

Quaternionic analysis, representation theory and physics

We develop quaternionic analysis using as a guiding principle representation theory of various real forms of the conformal group. We first review the Cauchy-Fueter and Poisson formulas and explain their representation theoretic meaning. The requirement of unitarity of representations leads us to the extensions of these formulas in the Minkowski space, which can be viewed as another real form of quaternions. Representation theory also suggests a quaternionic version of the Cauchy formula for the second order pole. Remarkably, the derivative appearing in the complex case is replaced by the Maxwell equations in the quaternionic counterpart. We also uncover the connection between quaternionic analysis and various structures in quantum mechanics and quantum field theory, such as the spectrum of the hydrogen atom, polarization of vacuum, one-loop Feynman integrals. We also make some further conjectures. The main goal of this and our subsequent paper is to revive quaternionic analysis and to show profound relations between quaternionic analysis, representation theory and four-dimensional physics.     

On the determinant of quaternionic polynomial matrices and its application to system stability

In this paper, we propose a definition of determinant for quaternionic polynomial matrices inspired by the well‐known Dieudonné determinant for the constant case. This notion allows to characterize the stability of linear dynamical systems with quaternionic coefficients, yielding results which generalize the ones obtained for the real and complex cases. Copyright © 2007 John Wiley & Sons, Ltd.     

On quaternionic analysis for the Schrödinger operator with a particular potential and its relation with the Mathieu functions

It has been found recently that there exists a theory of functions with quaternionic values and in two real variables, which is determined by a Cauchy–Riemann‐type operator with quaternionic variable coefficients, and that is intimately related to the so‐called Mathieu equations. In this work, it is all explained as well as some basic facts of the arising quaternionic function theory. We establish analogues of the basic integral formulas of complex analysis such as Borel–Pompeiu's, Cauchy's, and so on, for this version of quaternionic function theory. This theory turns out to be in the same relation with the Schrödinger operator with special potential as the usual holomorphic functions in one complex variable, or quaternionic hyperholomorphic functions, or functions of Clifford analysis, are with the corresponding Laplace operator. Moreover, it is similar to that of α‐hyperholomorphic functions and the Helmholtz operator. Copyright © 2012 John Wiley & Sons, Ltd.     

On the Navier–Stokes equations with free convection in three‐dimensional unbounded triangular channels

The quaternionic calculus is a powerful tool for treating the Navier–Stokes equations very elegantly and in a compact form, through the evaluation of two types of integral operators: the Teodorescu operator and the quaternionic Bergman projector. While the integral kernel of the Teodorescu transform is universal for all domains, the kernel function of the Bergman projector, called the Bergman kernel, depends on the geometry of the domain. In this paper, we use special variants of quaternionic‐holomorphic multiperiodic functions in order to obtain explicit formulas for unbounded three‐dimensional parallel plate channels, rectangular block domains and regular triangular channels. Copyright © 2007 John Wiley & Sons, Ltd.     

Necessary Optimality Conditions and New Optimization Methods for Cubic Polynomial Optimization Problems with Mixed Variables

Multivariate cubic polynomial optimization problems, as a special case of the general polynomial optimization, have a lot of practical applications in real world. In this paper, some necessary local optimality conditions and some necessary global optimality conditions for cubic polynomial optimization problems with mixed variables are established. Then some local optimization methods, including weakly local optimization methods for general problems with mixed variables and strongly local optimization methods for cubic polynomial optimization problems with mixed variables, are proposed by exploiting these necessary local optimality conditions and necessary global optimality conditions. A global optimization method is proposed for cubic polynomial optimization problems by combining these local optimization methods together with some auxiliary functions. Some numerical examples are also given to illustrate that these approaches are very efficient.     

The Horizontal Heat Kernel on the Quaternionic Anti-De Sitter Spaces and Related Twistor Spaces

Potential Analysis - The geometry of the quaternionic anti-de Sitter fibration is studied in details. As a consequence, we obtain formulas for the horizontal Laplacian and subelliptic heat kernel...     

一类多项式向量场的中心条件

本文研究一类多项式系统的高次奇点和无穷远点的中心问题,对有限奇点（原点）和无穷远点（Poincare球面上的赤道）的中心问题进行统一处理,给出了系统原点和无穷远点为中心的一个充分条件。     

On Some Properties of the Quaternionic Functional Calculus

In some recent works we have developed a new functional calculus for bounded and unbounded quaternionic operators acting on a quaternionic Banach space. That functional calculus is based on the theory of slice regular functions and on a Cauchy formula which holds for particular domains where the admissible functions have power series expansions. In this paper, we use a new version of the Cauchy formula with slice regular kernel to extend the validity of the quaternionic functional calculus to functions defined on more general domains. Moreover, we show some of the algebraic properties of the quaternionic functional calculus such as the S-spectral radius theorem and the S-spectral mapping theorem. Our functional calculus is also a natural tool to define the semigroup e ^tA when A is a linear quaternionic operator.      

Kinematic formulas for finite lattices

In analogy to valuation characterizations and kinematic formulas of convex geometry, we develop a combinatorial theory of invariant valuations and kinematic formulas for finite lattices. Combinatorial kinematic formulas are shown to have application to some probabilistic questions, leading in turn to polynomial identities for Möbius functions and Whitney numbers.     

Some properties of zeros of polynomials with vanishing coefficients

It is well-known that when a polynomial whose coefficients are continuous functions of a parameter loses its degree then some of its zeros must vanish at infinity. In this paper, we consider such a situation: we examine how roots of a complex polynomial tend to infinity as some of its coefficients, including the leading one, tend to zero. We show, among other things, that in such a situation the unbounded paths traced by the roots of the polynomial have asymptotes; we also obtain their formulas. Some examples are presented to complete and illustrate the results.     

Geršgorin type theorems for quaternionic matrices

This paper aims to set an account of the left eigenvalue problems for real quaternionic (finite) matrices. In particular, we will present the Geršgorin type theorems for the left (and right) eigenvalues of square quaternionic matrices. We shall conclude the paper with examples showing and summarizing some differences between complex matrices and quaternionic matrices and right and left eigenvalues of quaternionic matrices.     

线性约束三次规划问题的全局最优性必要条件和最优化算法

讨论了带线性不等式约束三次规划问题的最优性条件和最优化算法. 首先, 讨论了带有线性不等式约束三次规划问题的 全局最优性必要条件. 然后, 利用全局最优性必要条件, 设计了解线性约束三次规划问题的一个新的局部最优化算法(强局部最优化算法). 再利用辅助函数和所给出的新的局部最优化算法, 设计了带有线性不等式约束三 规划问题的全局最优化算法. 最后, 数值算例说明给出的最优化算法是可行的、有效的.     

Möbius Polynomials of Face Posets of Convex Polytopes

The Möbius polynomial is an invariant of ranked posets, closely related to the Möbius function. In this paper, we study the Möbius polynomial of face posets of convex polytopes. We present formulas for computing the Möbius polynomial of the face poset of a pyramid or a prism over an existing polytope, or of the gluing of two or more polytopes in terms of the Möbius polynomials of the original polytopes. We also present general formulas for calculating Möbius polynomials of face posets of simplicial polytopes and of Eulerian posets in terms of their f-vectors and some additional constraints.     

Complex projections of completely positive quaternionic maps

We show that the complex projection of a completely positive quaternionic map of quaternionic density matrices is a positive map in the space of complex density matrices, and we briefly outline some of its properties. To illustrate this result, we study the complex projection of a one-parameter quaternionic unitary dynamics of a spin-1/2 quantum system. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 151, No. 3, pp. 360–370, June, 2007.