MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

We say that a matrix $A\in M_n(\mathbb{C})$ is a conditionaly negative definite matrix if it is hermitian and if for all complex numbers $c_1,\ldots,c_n$ such that $c_1+\cdots +c_n=0$ we have $$ \sum_{j,k=1}^{n}c_j\overline{c_k}a_{jk}\leq 0. $$

I'm interested by non-trivial families $(A_n)_{n\in \mathbb{N}}$ of concrete matrices where each $A_n$ is a conditionaly negative definite matrix of $M_n(\mathbb{C})$ such that all diagonal entries are null (important: the dimension of $A_n$ grows with $n$).

Has anyone seen this sort of thing in the literature?

I'm also interested by the related examples of non-trivial infinite conditionaly negative definite matrices (the definition of these is similar) such that all diagonal entries are null.

share|cite|improve this question
You question introduces a family of matrices, but then doesn't ask anything about the family. So I don't really understand if you are asking just about "conditionally negative definite matrices with zero diagonal entries", or something else...? – Matthew Daws Feb 3 '12 at 16:48
I'm interested by complicated or interesting examples of conditionally negative definite matrices with zero diagonal entries. – BigBill Feb 3 '12 at 16:52
Also, looking in Bekka, de la Harpe and Valette's book on Kazhdan's property (T), appendix C, then "conditionally negative type" is those real matrices which satisfy your condition (for real numbers $(c_i)$) with already the condition that $a_{jj}=0$ for all $j$. Such things always arise as $a_{ij} = \|x_i-x_j\|^2$ where $(x_i)$ is a sequence in a real Hilbert space. So if you question really about the fact you wish to use complex numbers? – Matthew Daws Feb 3 '12 at 16:56
You can read Berg "Harmonic analysis on Semigroups" for some information of the useful definition of my post (page 67, with complex numbers). – BigBill Feb 3 '12 at 17:07
Yep, that's a good reference! But doesn't Proposition 3.2 in that book basically answer your question-- it gives a Hilbert space representation (a bit more complicated than my comment before). That would surely give you lots of non-trivial examples...? – Matthew Daws Feb 3 '12 at 17:49
up vote 3 down vote accepted

Please have a look at: my answer here---there you will find several references, from which you can gather a list of nontrivial cnd matrices (especially, the nontrivial ones that arise from cnd kernels, which are related to Hilbert space embeddable (isometrically) metrics).

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.