<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0" xml:base="http://openproblemgarden.org" xmlns:dc="http://purl.org/dc/elements/1.1/">
<channel>
 <title>Open Problem Garden - Difference between neighbors in a matrix - Comments</title>
 <link>http://openproblemgarden.org/op/difference_between_neighbors_in_a_matrix</link>
 <description>Comments for &quot;Difference between neighbors in a matrix&quot;</description>
 <language>en</language>
<item>
 <title>bandwidth  (re: Difference between neighbors in a matrix)</title>
 <link>http://openproblemgarden.org/op/difference_between_neighbors_in_a_matrix#comment-45710</link>
 <description>&lt;p&gt;Dear Dr. Lioubimov!&lt;/p&gt;
&lt;p&gt;At first sight your feeling seemed plausible, but since then i managed to find the more general problem: The graph bandwidth problem.  (see wiki page)&lt;/p&gt;
&lt;p&gt;At the wikipedia page, you can see that a classical result of Harper is the bandwidth of the hypercube. Well, if your feeling were true, the bandwidth of the cube would be the middle binomial coefficient, which is not true. &lt;/p&gt;
&lt;p&gt;We can see this in a different way too, i&#039;ll give some heuristics. Take a look at the proof of the 2 dimensional case: We had a single vertex which had a big label (at least n(n-1)/2+n). And we concluded that since it has at least one vertex with &quot;small&quot; label, we found a big difference. If we only have 2 dimensions, this bound is sharp, because the degrees of the vertices are not too big. In higher dimensionan grids there are more neighbours of this vertex with &quot;small&quot; labell. Thus a better lower bound can be obtained.&lt;/p&gt;
&lt;p&gt;Sincerely, Daniel Soltész&lt;/p&gt;
</description>
 <pubDate>Sat, 20 Jul 2013 17:03:54 +0200</pubDate>
 <dc:creator>Daniel Soltész</dc:creator>
 <guid isPermaLink="false">comment 45710 at http://openproblemgarden.org</guid>
</item>
<item>
 <title>Related questions: continued  (re: Difference between neighbors in a matrix)</title>
 <link>http://openproblemgarden.org/op/difference_between_neighbors_in_a_matrix#comment-42295</link>
 <description>&lt;p&gt;2. What is the smallest number, denoted &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/151c9642b6dcad4fd30cde9e2aadb7c8529b73e2.png&quot; alt=&quot;$ P(k,n) $&quot; /&gt;, to guarantee that a &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/2b7d2c8c7995ee0622330e8af48a18f578ee7ebc.png&quot; alt=&quot;$ [k]^n $&quot; /&gt;-matrix &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/7a8d9782350e8eb5a84c149576d83160492cbdd3.png&quot; alt=&quot;$ A $&quot; /&gt; with the entries &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/4b7fd2697422fa70e52892429fa1ce7451c795a6.png&quot; alt=&quot;$ [k^n] $&quot; /&gt;  has 2 neighboring entries &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/64da95924369e81372c4b004946b26a170ee14d2.png&quot; alt=&quot;$ a,b $&quot; /&gt; such that &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/0392f3ea1031d8dda562a77861758edd04dfbe09.png&quot; alt=&quot;$ b-a\ge V(k,n) $&quot; /&gt; and &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/9e5e72a47b617d07674e1e977238443a17a78bed.png&quot; alt=&quot;$ a \le P(k,n) $&quot; /&gt;? Obviously, &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/8360db886ac24656fc1dfb752d3ec090a42612b9.png&quot; alt=&quot;$ P(k,n)\le U(k,n) $&quot; /&gt;, where &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/ae5862b2b8df72758eb077b9c5bd92be45eb4413.png&quot; alt=&quot;$ U(k,n) $&quot; /&gt; is the smallest number such that any subset of &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/2b7d2c8c7995ee0622330e8af48a18f578ee7ebc.png&quot; alt=&quot;$ [k]^n $&quot; /&gt; of size &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/ae5862b2b8df72758eb077b9c5bd92be45eb4413.png&quot; alt=&quot;$ U(k,n) $&quot; /&gt; has at least &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/ccd59b448806e4c66d52afbcb13a4ac5fdeb7b0a.png&quot; alt=&quot;$ V(k,n) $&quot; /&gt; neighbors.  Due to Theorem 11, &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/ae5862b2b8df72758eb077b9c5bd92be45eb4413.png&quot; alt=&quot;$ U(k,n) $&quot; /&gt; is the smallest number &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/ddaab6dc091926fb1da549195000491cefae85c1.png&quot; alt=&quot;$ m $&quot; /&gt; such that the initial segment &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/16af01176adbffb7aeb35ebce614c8fda876ec40.png&quot; alt=&quot;$ C_{k,n}(m) $&quot; /&gt; of length &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/ddaab6dc091926fb1da549195000491cefae85c1.png&quot; alt=&quot;$ m $&quot; /&gt; in the simplicial order on &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/2b7d2c8c7995ee0622330e8af48a18f578ee7ebc.png&quot; alt=&quot;$ [k]^n $&quot; /&gt; has &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/ccd59b448806e4c66d52afbcb13a4ac5fdeb7b0a.png&quot; alt=&quot;$ V(k,n) $&quot; /&gt; neighbors. In your proof you used the fact that &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/82ad6334cecf0ad84b14e583bf3cbca998a54f6f.png&quot; alt=&quot;$ |b\big(B_{k,2}(k-1)\big)| = k $&quot; /&gt;, which implies by Theorem 11 that &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/d4bba53b33f5d3ffa6a2a57e77b9820542659b58.png&quot; alt=&quot;$ U(k,2)\le |B_{k,2}(k-1)| = k(k-1)/2 $&quot; /&gt;.  However this bound is not tight.  Consider the hamming ball &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/011567128f8c231cef6bf2d08890896a16cb5796.png&quot; alt=&quot;$ H:=C_{k,n}\big(|B_{k,2}(k-2)|+1\big) $&quot; /&gt;. It is easy to see that &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/c38b0ca1fbda3e2258f0e345c20c9ed2f19b5981.png&quot; alt=&quot;$ |b(H)| = k $&quot; /&gt; and &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/3815f68440b95d951e71c67f24f33e37752c8e67.png&quot; alt=&quot;$ |b\big(B_{k,2}(k-2)\big)| = k-1 $&quot; /&gt;. Thus &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/18c0866b338012d77e3d94e1e9395f81472ef114.png&quot; alt=&quot;$ U(k,2)= |H| = (k-1)(k-2)/2 +1 $&quot; /&gt;. What about higher dimensions?&lt;/p&gt;
</description>
 <pubDate>Sat, 06 Jul 2013 20:53:47 +0200</pubDate>
 <dc:creator>Vadim Lioubimov</dc:creator>
 <guid isPermaLink="false">comment 42295 at http://openproblemgarden.org</guid>
</item>
<item>
 <title>Related questions  (re: Difference between neighbors in a matrix)</title>
 <link>http://openproblemgarden.org/op/difference_between_neighbors_in_a_matrix#comment-42293</link>
 <description>&lt;p&gt;Dear Daniel, thank you for the very nice proof!  Theorem 11 from the lecture notes you refer to suggests some answers to other general questions related to the conjecture (let us now refer to it as Theorem 0).  In particular I have the following 2 questions in mind.&lt;/p&gt;
&lt;p&gt;1. I wonder how the generalization of Theorem 0 to higher dimensional matrices looks like.  More specifically, given integers &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/1041e1f578aec49a27fbc841578eac3503c9f753.png&quot; alt=&quot;$ k,n\ge2 $&quot; /&gt;, what is the smallest value, denoted &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/ccd59b448806e4c66d52afbcb13a4ac5fdeb7b0a.png&quot; alt=&quot;$ V(k,n) $&quot; /&gt;, of &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/ea9bbf1851f1c1cffde88413d9841088347a6691.png&quot; alt=&quot;$ v(A) $&quot; /&gt; among all &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/2b7d2c8c7995ee0622330e8af48a18f578ee7ebc.png&quot; alt=&quot;$ [k]^n $&quot; /&gt;-matrices &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/7a8d9782350e8eb5a84c149576d83160492cbdd3.png&quot; alt=&quot;$ A $&quot; /&gt; with distinct integer entries? Theorem 0 states that &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/49dd9c7a52f31ff167370962780fbb2e65df486a.png&quot; alt=&quot;$ V(k,2)= k $&quot; /&gt;. Theorem 11 implies that  &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/09e7afeebe861c75bce0d8aa14b74e10d1e130e6.png&quot; alt=&quot;$$ V(k,n)\ge |b\big( B_{k,n}(k+n-2)\big)| = |S_{k,n}(k+n-1)|, $$&quot; /&gt;  where &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/65beeb7dfef6b4f8c24171d57526bda6ffada536.png&quot; alt=&quot;$ B_{k,n}(r):=\{x\in[k]^n : |x| \le r\} $&quot; /&gt; and &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/68c4d6db4a884ab1ad555d28cfb1dd7597bd45e3.png&quot; alt=&quot;$ S_{k,n}(r):=\{x\in[k]^n : |x| = r\} $&quot; /&gt;.  My feeling is that &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/d71a6b76db7025ca5dd56b578f111b7f36745526.png&quot; alt=&quot;$ V(k,n)= |S_{k,n}(k+n-1)| $&quot; /&gt;. What do you think?  Note that &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/d8009833e0f68cd8bfdd620b598a5342de1c6afd.png&quot; alt=&quot;$ |S_{k,n}(r)| $&quot; /&gt; is the number of all ordered partitions of &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/535dee6c3b72bcc4d571239ed00be162ee1e6fbe.png&quot; alt=&quot;$ r $&quot; /&gt; into exactly &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/ec63d7020a64c039d5f6703b8fa3ab7393358b5b.png&quot; alt=&quot;$ n $&quot; /&gt; parts not exceeding &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/c450c3185f7285cfa0b88d3a903c54f7df601201.png&quot; alt=&quot;$ k $&quot; /&gt;.&lt;/p&gt;
</description>
 <pubDate>Sat, 06 Jul 2013 20:49:51 +0200</pubDate>
 <dc:creator>Vadim Lioubimov</dc:creator>
 <guid isPermaLink="false">comment 42293 at http://openproblemgarden.org</guid>
</item>
<item>
 <title>Solution  (re: Difference between neighbors in a matrix)</title>
 <link>http://openproblemgarden.org/op/difference_between_neighbors_in_a_matrix#comment-31522</link>
 <description>&lt;p&gt;Dear Dr. Lioubimov&lt;/p&gt;
&lt;p&gt;Your problem is equivalent to the following: We label the vertces of the nxn grid graph with distinct elements from the set [n^2]. Then there are adjacent vertices such that their labels differ by at least n. I think i found a solution. The key related result is the vertex isoperimetric inequality in the grid. For our problem it is enough to consider the corollary 12 in the following .pdf:&lt;/p&gt;
&lt;p&gt;https://www.dpmms.cam.ac.uk/~par31/notes/extcomb.pdf&lt;/p&gt;
&lt;p&gt;With parameters: n=2 since we are in a 2 dimensional grid. Let A be the set which have the labels: 1,2,..., n(n-1)/2. Clearly then we can set r=n-1 and with t=1 we obtain that there are at least n neighbors of this set.  This finishes our proof since one of these neighbors will have a label of at least n(n-1)/2+n.&lt;/p&gt;
&lt;p&gt;Sincerely Daniel Soltész&lt;/p&gt;
</description>
 <pubDate>Tue, 28 May 2013 06:29:50 +0200</pubDate>
 <dc:creator>Daniel Soltész</dc:creator>
 <guid isPermaLink="false">comment 31522 at http://openproblemgarden.org</guid>
</item>
<item>
 <title>Difference between neighbors in a matrix</title>
 <link>http://openproblemgarden.org/op/difference_between_neighbors_in_a_matrix</link>
 <description>&lt;table cellspacing=&quot;10&quot;&gt;
&lt;tr&gt;
  &lt;td&gt;
    Author(s):
        &lt;a href=&quot;/category/vadim_lioubimov&quot;&gt;Vadim Lioubimov&lt;/a&gt;&amp;nbsp;&amp;nbsp;
  &lt;/td&gt;
  &lt;td align=right&gt;
    Subject:
        &lt;a href=&quot;/category/combinatorics&quot;&gt;Combinatorics&lt;/a&gt; » &lt;a href=&quot;/category/matrices&quot;&gt;Matrices&lt;/a&gt;&amp;nbsp;&amp;nbsp;
  &lt;/td&gt;
&lt;/tr&gt;

&lt;tr&gt;
  &lt;td colspan=2&gt;
    &lt;table border=1 cellspacing=&quot;5&quot;&gt;
      &lt;tr&gt;&lt;td&gt;
        &lt;div class=&quot;envtheorem&quot;&gt;&lt;b&gt;Conjecture&lt;/b&gt;&amp;nbsp;&amp;nbsp; Any &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/fa8a80b851db772ca137604ed0743959f0f57c34.png&quot; alt=&quot;$ n\times n $&quot; /&gt; matrix with different integer entries has two neighboring entries &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/64da95924369e81372c4b004946b26a170ee14d2.png&quot; alt=&quot;$ a,b $&quot; /&gt; with &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/4756586ec3217a243500a0f6527e9cd6ab86891b.png&quot; alt=&quot;$ |a-b|\ge n $&quot; /&gt;. &lt;/div&gt;

      &lt;/tr&gt;&lt;/td&gt;
    &lt;/table&gt;
  &lt;/td&gt;
&lt;/tr&gt;
&lt;/table&gt;</description>
 <category domain="http://openproblemgarden.org/category/vadim_lioubimov">Vadim Lioubimov</category>
 <category domain="http://openproblemgarden.org/category/combinatorics">Combinatorics</category>
 <category domain="http://openproblemgarden.org/category/matrices">Matrices</category>
 <comments>http://openproblemgarden.org/op/difference_between_neighbors_in_a_matrix#comment</comments>
 <pubDate>Mon, 20 May 2013 01:39:45 +0200</pubDate>
 <dc:creator>Vadim Lioubimov</dc:creator>
 <guid isPermaLink="false">49675 at http://openproblemgarden.org</guid>
</item>
</channel>
</rss>
