You are currently browsing the monthly archive for avril 2015.
Two posts in french have already appeared on this topic, showing that the maximal number of unit vectors having pairwise negative (resp. non-positive) inner products grow linearly wit the dimension of the space they live in. This is good fun; however, as mentioned in a comment, it becomes even better fun when one bothers asking, for
how big a family of unit vectors
can be if…
- … for all
, one requires
;
- … for all
, one requires
;
Let’s deal with the first question. This involves the remarkable fact that on the sphere of very large dimension, almost all the area is concentrated on a small band near the equator (or any equator). This is the phenomenon called concentration of measure ; so pick a vector . To continue your family, you have to pick a vector outside the spherical ball
. So the concentration of measure implies that the forbidden area is of order
. When you have picked already
vectors, the forbidden area for the choice of the next one is at most
which is strictly less than 1 until
. Then not all the sphere is forbidden, so you can accommodate certainly
: exponentially (in the dimension) many instead of linearly.
The second one is easier. Indeed,
which implies so we get a constant bound, certainly much lower than
for large dimensions.
I devised yesterday a false calculation of the area of the sphere . The idea is quite natural. Decompose the sphere in circles
of radius
. Thus it seems that the area of a sphere should be
. However, by the change of variable
, we easily notice that
, so we get
, instead of
, the well known value we should find. What’s wrong?
Well why should it be true on the first place? The intuitive reason why this should be true consists in approximating our sphere by a ziggurat of cylinders, of height 1/n and radius , thus getting something like
for the area of our tower. This Riemann sum does converge to
, but there’s no reason why it should be the area of the sphere. There’s no reason why it should be the area of anything definite either… Notice by cutting this picture by a plane, it amounts to approximating a (quarter of a) circle by a bunch of vertical segments… whose sum of lengths is of course constantly equal to 1, instead of converging to
.
In the same vein, take a half circle based on the segment [-1,1], and then two smaller half circles under it, and split again each arc into two arcs. This yields a sequence of curves which converge in the
norm to the straight line segment, but which have a constant length
which doesn’t converge to the length of the limit curve. Indeed, the length of a curve is not a continuous function, only semi-continous.
So we have to think hard about the notion of surface area of a (say convex) body in the space. Certainly the right way to proceed is via Minkowski content (in other words in this case: derivative of the volume of the sphere) or Hausdorff measure.
In the Green-Tao method appear quite often expressions such as for some system of affine linear forms
where the
are some positive integers. The most basic example would be
where the last equality is here only to insist heavily on the form a general statement will have to take. A bit more generally, one easily sees that if
is d-periodic, then its average until
is basically its average until
. Following the ideas from Green-Tao, in fact we can show that for our general problem, the asymptotic should be analogously
where
is the gcd of the d’s.
Thus, applying this method, one has frequently to deal with such « local densities », the intersection of the zero sets of affine forms. More generally again, one may have to deal with things like for some polynomial
. Say
where the
are affine linear forms, so that
is of degree
. Suppose also that no two of them are affinely dependant, even when reduced modulo
. Then to compute
, notice that in order for
to satisfy
, either two of the forms must be divisible by
in n, or one must be divisible by
there.
To analyse the first possibility, reduce the forms modulo p, so they are as seen affine forms on the field . They are non-zero form, so the image of each linear part is of dimension
and the kernels of dimension
; so the zero locus of each of our affine forms is a hyperplane, and the hypothesis of no affine dependance ensures that the intersection of any two of these hyperplanes is of dimension
. So there are only
common zero for each pair of forms. But each point of
gives rise to
antecedents in
under the map of reduction modulo p. Finally, this possibility provides a summand of at most
to
.
To compute now , notice that any such 0 must arise from a 0 mod p. Now there are
0 mod p, because the set of zeros is a hyperplane. Then we can use a form of Hensel’s lemma in several variables. To obtain such a statement, we rely on the following simple identy for any
:
which shows that if , so
latex \text{grad}(Q)\neq 0\text{ mod }p$ then the vector
is constrained to live in a hyperplane if
is to vanish. So there are only
elements
with
and
. Of course if
is affine then the gradient is simply the linear part. Thus the number of roots modulo
is
. By the union bound, we see that:
. In the end,
.
To find more about this calculation and similar ones and the reason why I am interested in them, look at this article here.
Commentaires récents