Community

Try our innovative online adaptive learning system, Alcumus.
Over 1100 problems and 60+ video lessons. FREE!
Login Register Memberlist Search AoPS Blogs Contests Galleries Forum Index
The time now is Tue Dec 01, 2009 7:23 am
All times are UTC - 8
View posts since last visit
View unanswered posts
20.17
Moderators: Altheman, harazi
Post new topic   Reply to topic View previous topicView next topic
4 Posts • Page 1 of 1
Author Message
Altheman
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer


Offline
Joined: 28 Jun 2005
Posts: 6121
Location: Illinois
United States

To rate posts you must be logged in
#1
20.17
Marius Cavachi

Prove that given any n^2 integers, we can always put
them in an n\times n matrix whose determinant is divisible by
n^{\lfloor \frac{n-1}{2}\rfloor}.
_________________
-Alex
Altheman's Problem Column

PostPosted: Wed Jul 22, 2009 8:23 pm  Back to top 
  ProfilePMAIMBlog
fedja
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer

Offline
Joined: 04 Feb 2005
Posts: 4279
Russian FederationUnited States

To rate posts you must be logged in
#2
Suppose we have more than n numbers. Then we can choose two with the same remainder modulo n. Now put n\left\lfloor\frac{n-1}2\right\rfloor vertical dominoes in our matrix starting from the left upper corner and going row by row. Fill them in any order by numbers having the same remainder modulo n (if not all dominoes are filled, there are at least n+2 numbers left, so we can fill the next one). Now, if we subtract from each odd row the following even row (which does not change the determinant), we'll get \left\lfloor\frac{n-1}2\right\rfloor rows with all numbers divisible by n in the matrix, which makes the desired divisibility statement obvious.

PostPosted: Tue Jul 28, 2009 1:44 pm  Back to top 
  ProfilePM
me@home
Navier-Stokes Equations
Navier-Stokes Equations


Offline
Joined: 02 May 2005
Posts: 2243
Location: Portland, OR - Check out the Oregon Forum!!!
United States

To rate posts you must be logged in
#3
Fedja, what exactly do you mean by n\left\lfloor\frac{n-1}2\right\rfloor vertical dominoes? n rectangles that are 1\times\left\lfloor\frac{n-1}2\right\rfloor? I do not understand your construction in either case.
construction

Consider only the residue class mod n of the n^2 numbers, that is all we need.
Now we look at the distribution of residue classes among the n classes. Suppose the class \equiv i\mod{n} contains a_i of our given elements.
In fact, reduce these a_i mod \left\lfloor\frac{n+1}2\right\rfloor to produce the sequence b_i.
Then, each a_i exceeds the nearest multiple of \left\lfloor\frac{n+1}2\right\rfloor by b_i. If we shave off (i.e., ignore) b_i elements from the ith residue class, we obtain a partition of A elements into the n residue classes, each residue class contains a multiple of \left\lfloor\frac{n+1}2\right\rfloor elements, and
A=n^2-\sum b_i\geq n^2- n\left(\left\lfloor\frac{n-1}2\right\rfloor \right)= n\left\lceil\frac{n+1}2\right\rceil
We can assume the axiom of choice and arrange some n\left\lfloor\frac{n+1}2\right\rfloor of these A elements into the first \left\lfloor\frac{n+1}2\right\rfloor rows such that each column contains a number in the same residue class. We then arrange the remaining integers arbitrarily in the rest of the matrix. The determinant of this matrix is divisible by n^{ \left\lfloor\frac{n-1}2\right\rfloor}, because we can subtract the first row from each distinct specially arranged row successively to obtain \left\lfloor\frac{n-1}2\right\rfloor rows of numbers in the 0 residue class.

We can see from the proof that the problem is "tight" only when n is odd; in that case there exists an especially "bad" distribution of residues that forces only one possible placement in the matrix (up to column permutation of special rows, and random rearrangement of ignored, non-special rows). Besides this one equality-type case, there will always be many ways to arrange the numbers, and we can notice that the numbers of essentially distinct solutions for a particular residue distribution will correspond to how far the sequence b_i is from a constant sequence.

_________________
↓What did the Buddhist monk say when ordering a hamburger?
↓Make me one with everything.
↓Check out my website... I mean, when was the last time you visited a url with "hamburger" embedded into it?

PostPosted: Sat Oct 03, 2009 9:56 pm  Back to top 
  ProfilePMWWWAlbum
fedja
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer

Offline
Joined: 04 Feb 2005
Posts: 4279
Russian FederationUnited States

To rate posts you must be logged in
#4
me@home wrote:
Fedja, what exactly do you mean by n\left\lfloor\frac {n - 1}2\right\rfloor vertical dominoes?


Or, my! I thought I wouldn't have to draw this picture... Here is what I mean for 7\times 7:
size(150);
path P=(0,0)--(1,0)--(1,2)--(0,2)--cycle;
for(int i=0;i<7;++i)
for(int j=0;j<7;++j)
D(shift((i,j))*unitsquar...
As you can see, there are 7\cdot\lfloor\tfrac{7-1}{2}\rfloor=21 red vertical dominoes.

PostPosted: Sun Oct 04, 2009 5:22 am  Back to top 
  ProfilePM
Display posts from previous:   Sort by:   
4 Posts • Page 1 of 1
Post new topic   Reply to topic View previous topicView next topic
Jump to:  

You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum
You cannot attach files in this forum
You can download files in this forum
You cannot post calendar events in this forum


© Copyright 2008 AoPS Incorporated. All Rights Reserved. • FoundationPrivacyContact Us