Multivariate Polynomial Minimization and Its Application in Signal Processing

We make a conjecture that the number of isolated local minimum points of a 2n-degree or (2n+1)-degree r-variable polynomial is not greater than n ^r when n 2. We show that this conjecture is the minimal estimate, and is true in several cases. In particular, we show that a cubic polynomial of r variables may have at most one local minimum point though it may have 2^r critical points. We then study the global minimization problem of an even-degree multivariate polynomial whose leading order coefficient tensor is positive definite. We call such a multivariate polynomial a normal multivariate polynomial. By giving a one-variable polynomial majored below a normal multivariate polynomial, we show the existence of a global minimum of a normal multivariate polynomial, and give an upper bound of the norm of the global minimum and a lower bound of the global minimization value. We show that the quartic multivariate polynomial arising from broad-band antenna array signal processing, is a normal polynomial, and give a computable upper bound of the norm of the global minimum and a computable lower bound of the global minimization value of this normal quartic multivariate polynomial. We give some sufficient and necessary conditions for an even order tensor to be positive definite. Several challenging questions remain open.     

Divergent Cesàro and Riesz means of Jacobi and Laguerre expansions

We show that for below certain critical indices there are functions whose Jacobi or Laguerre expansions have almost everywhere divergent Cesàro and Riesz means of order .

     

A new algebraic approach to the Szegő-Widom limit theorem

We give another proof of the Szeg\H{o}–Widom Limit Theorem. This proof relies on a new Banach algebra method that can be directly applied to the asymptotic computation of the Toeplitz determinants. As a by-product, we establish an interesting identity for operator determinants of Toeplitz operators, namely if are certain matrix valued functions defined on the unit circle, then

On the Bochner theorem on orthogonal operators

We prove the following theorem. Any isometric operator , that acts from the Hilbert space with nonnegative weight to the Hilbert space with nonnegative weight , allows for the integral representation

where the kernels and satisfy certain conditions that are necessary and sufficient for these kernels to generate the corresponding isometric operators.

     

Oscillatory Properties of Second Order Half-Linear Difference Equations

We study oscillatory properties of the second order half-linear difference equation

Canonical splittings of groups and 3-manifolds

We introduce the notion of a `canonical' splitting over or for a finitely generated group . We show that when happens to be the fundamental group of an orientable Haken manifold with incompressible boundary, then the decomposition of the group naturally obtained from canonical splittings is closely related to the one given by the standard JSJ-decomposition of . This leads to a new proof of Johannson's Deformation Theorem.

     

Integral points, divisibility between values of polynomials and entire curves on surfaces

We prove some new degeneracy results for integral points and entire curves on surfaces; in particular, we provide the first examples, to our knowledge, of a simply connected smooth variety whose sets of integral points are never Zariski-dense. Some of our results are connected with divisibility problems, i.e. the problem of describing the integral points in the plane where the values of some given polynomials in two variables divide the values of other given polynomials.     

Embedding cycles of various lengths into star graphs with both edge and vertex faults

The n-dimensional star graph S_n is an attractive alternative to the hypercube graph and is a bipartite graph with two partite sets of equal size. Let F_v and F_e be the sets of faulty vertices and faulty edges of S_n, respectively. We prove that S_n − F_v − F_e contains a fault-free cycle of every even length from 6 to n! − 2∣F_v∣ with ∣F_v∣ + ∣F_e∣ ? n − 3 for every n ? 4. We also show that S_n − F_v − F_e contains a fault-free path of length n! − 2∣F_v∣ − 1 (respectively, n! − 2∣F_v∣ − 2) between two arbitrary vertices of S_n in different partite sets (respectively, the same partite set) with ∣F_v∣ + ∣F_e∣ ? n − 3 for every n ? 4.     

The Three Gap Theorem and Riemannian geometry

The classical Three Gap Theorem asserts that for a natural number n and a real number p, there are at most three distinct distances between consecutive elements in the subset of [0,1) consisting of the reductions modulo 1 of the first n multiples of p. Regarding it as a statement about rotations of the circle, we find results in a similar spirit pertaining to isometries of compact Riemannian manifolds and the distribution of points along their geodesics.      

The affine Plateau problem

In this paper, we study a second order variational problem for locally convex hypersurfaces, which is the affine invariant analogue of the classical Plateau problem for minimal surfaces. We prove existence, regularity and uniqueness results for hypersurfaces maximizing affine area under appropriate boundary conditions.