MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Denote by $\newcommand{\bC}{\mathbb{C}}$ $\newcommand{\bT}{\mathbb{T}}$ $\bT^N$ the real torus

$$\mathbb{T}^N :=\bigl\lbrace\vec{z}\in\bC^N;\;\;|z_1|=\cdots =|z_N|=1\bigr\rbrace$$

To each $\newcommand{\vez}{\vec{z}}$ $\vez\in\bT^N$ we associate the $N\times N$ Vandermonde matrix $V(\vec{z})$

$$V_{ij}(\vec{z})= z_j^{i-1}. $$

Now form the hermitian and positive semi-definite matrix

$$ A(\vez)= V(\vez)^\ast \cdot V(\vez). $$

As is well known $A(\vez)$ is invertible if and only if $\vez$ is nondegenerate, i.e., the components $z_j$ are pairwise distinct. In general

$$\dim \ker A(\vez) = N-\nu(\vez), $$

where $\nu(\vez)$ denotes the number of distinct elements in the list $(z_1,\dotsc,z_N)$. Denote by $\lambda_1(\vez)$ the smallest eigenvalue of $A(\vez)$. The map

$$\bT^N\ni \vez\mapsto \lambda_1(\vez) \in [0,\infty) $$

is continuous and semi-algebraic and vanishes exactly when $\det A(\vez)$ vanishes, where we recall that

$$ \det A(\vez)=\prod_{j > k} |z_j-z_k|^2. $$

We deduce from the Lojasewicz's inequality that there exists a positive rational number $r$ and a constant $C=C_r>0$ such that

$$ \lambda_1(\vez)\geq C(\det A(\vez) )^r,\;\;\forall\vec{z}\in\bT^N. \tag{1} $$

Observe that if $(1)$ holds for some $r$ and $C$, it also holds for any given $r'>r$ (with a different constant $C$). Denote by $R$ the set of $r$'s for which $(1)$ holds, and set $\rho:=\inf R$. Note that

$$\lambda_1(\vez) \leq \bigl( \det A(\vez)\bigr)^{\frac{1}{N}}, $$

which shows that $\rho\geq \frac{1}{N}$.

  1. Is it true that $\rho=\frac{1}{N}$, i.e., for any $\varepsilon >0$ there exists $C=C_\varepsilon >0$ such that $$ \lambda_1(\vez) \geq C\bigl( \det A(\vez)\bigr)^{\frac{1}{N}+\varepsilon} ? $$

  2. Can one indicate another explicit and notrivial lower bound for $\lambda_1(\vez)$?

share|cite|improve this question
Dear Liviu Nicolaescu, if you do not mind, I have tried to adjust the references you included. – Giuseppe Dec 5 '12 at 20:18
Thanks! I've had some problems with MathJax. – Liviu Nicolaescu Dec 5 '12 at 20:58

The answer on the first question is no. Consider what happens if two points (say $z_1$ and $z_2$), approach each other. Then only one eigenvalue approaches zero (just by trivial rank consideration), and $\lambda_1\leq C\det A$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.