Not especially famous, long-open problems which higher mathematics beginners can understand - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T00:57:45Z http://mathoverflow.net/feeds/question/101169 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/101169/not-especially-famous-long-open-problems-which-higher-mathematics-beginners-can Not especially famous, long-open problems which higher mathematics beginners can understand David Feldman 2012-07-02T18:25:01Z 2013-02-23T16:53:15Z <p>This is a pair to</p> <p><a href="http://mathoverflow.net/questions/100265/not-especially-famous-long-open-problems-which-anyone-can-understand" rel="nofollow">http://mathoverflow.net/questions/100265/not-especially-famous-long-open-problems-which-anyone-can-understand</a></p> <p>So this time I'm asking for open questions so easy to state for students of subjects such as undergraduate abstract algebra, linear algebra, real analysis, topology (etc.?) that a teacher could mention the questions almost immediately after stating very basic definitions. </p> <p>If they weren't either too famous or already solved, appropriate answers might include the Koethe Nil Conjecture, the existence of odd order finite simple groups or the continuum hypothesis.</p> <p>Thanks</p> http://mathoverflow.net/questions/101169/not-especially-famous-long-open-problems-which-higher-mathematics-beginners-can/101180#101180 Answer by Alexander Chervov for Not especially famous, long-open problems which higher mathematics beginners can understand Alexander Chervov 2012-07-02T21:04:50Z 2013-02-22T07:31:33Z <p>The <strong>Hot spot conjecture</strong> The conjecture seems quite amazing and simple to formulate, it can be even understood by persons "from the street" seems its prediction can be tested experimentally. It is a subject of <a href="http://michaelnielsen.org/polymath1/index.php?title=The_hot_spots_conjecture" rel="nofollow">"polymath project 7"</a>. Let me quote:</p> <blockquote> <p>The hotspots conjecture can be expressed in simple English as:</p> <p><strong>Suppose a flat piece of metal, represented by a two-dimensional bounded connected domain, is given an initial heat distribution which then flows throughout the metal. Assuming the metal is insulated (i.e. no heat escapes from the piece of metal), then given enough time, the hottest point on the metal will lie on its boundary.</strong></p> <p>In mathematical terms, we consider a two-dimensional bounded connected domain D and let u(x,t) (the heat at point x at time t) satisfy the heat equation with Neumann boundary conditions. We then conjecture that</p> <p><strong>For sufficiently large t > 0, u(x,t) achieves its maximum on the boundary of D</strong></p> <p>This conjecture has been proven for some domains and proven to be false for others. In particular it has been proven to be true for obtuse and right triangles, but the case of an acute triangle remains open. The proposal is that we prove the Hot Spots conjecture for acute triangles! Note: strictly speaking, the conjecture is only believed to hold for generic solutions to the heat equation. As such, the conjecture is then equivalent to the assertion that the generic eigenvectors of the second eigenvalue of the Laplacian attain their maximum on the boundary. A stronger version of the conjecture asserts that</p> <p>For all non-equilateral acute triangles, the second Neumann eigenvalue is simple; and The second Neumann eigenfunction attains its extrema only at the boundary of the triangle.</p> <p>(In fact, it appears numerically that for acute triangles, the second eigenfunction only attains its maximum on the vertices of the longest side.)</p> </blockquote> <p>==========================================================</p> <p>May be this problem can be mentioned when teaching determinants and in particular: </p> <p>$\det(AB)= \det(A)\det(B).$</p> <p>There are so-called <a href="http://en.wikipedia.org/wiki/Capelli%27s_identity" rel="nofollow">Capelli identities</a> which generalize this formula for specific matrices with non-commutative entries. In the paper <a href="http://arxiv.org/abs/0809.3516" rel="nofollow">Noncommutative determinants, Cauchy-Binet formulae, and Capelli-type identities</a> by Sergio Caracciolo, Andrea Sportiello, Alan D. Sokal they formulate certain conjectures of the type $$\det(A)\det(B)=\det(AB+\text{correction})$$ on the page 36 (bottom), conjectures 5.1, 5.2.</p> <p>I think these are quite non-trivial, but probably some smart young mathematician may solve them, given some amount of time (some months may be). I spent some amount of time thinking on them without success, and moreover let me mention that D. Zeileberger and D. Foata also failed to find a combinatorial proof of the Capelli identity of very similar type -- the one proved by Kostant-Sahi and Howe-Umeda -- see their comments in <a href="http://arxiv.org/abs/math/9309212" rel="nofollow">Combinatorial Proofs of Capelli's and Turnbull's Identities from Classical Invariant Theory</a> page 9 bottom: "Although we are unable to prove the above identity combinatorially ... ". So words above are some idications of non-triviality of the conjectures.</p> <p>Personally I am quite interested in a proof, probably it can give clue for further generalizations.</p> http://mathoverflow.net/questions/101169/not-especially-famous-long-open-problems-which-higher-mathematics-beginners-can/101186#101186 Answer by Yemon Choi for Not especially famous, long-open problems which higher mathematics beginners can understand Yemon Choi 2012-07-02T23:21:03Z 2012-07-02T23:21:03Z <p>I think the following were <strong>already mentioned</strong> in answers to <a href="http://mathoverflow.net/questions/100265/not-especially-famous-long-open-problems-which-anyone-can-understand" rel="nofollow">http://mathoverflow.net/questions/100265/not-especially-famous-long-open-problems-which-anyone-can-understand</a></p> <p>Are there circulant Hadamard matrices of degree > 4?</p> <p>What is the actual value of R(5,5)?</p> <p>The integer brick problem.</p> http://mathoverflow.net/questions/101169/not-especially-famous-long-open-problems-which-higher-mathematics-beginners-can/122673#122673 Answer by Asaf Karagila for Not especially famous, long-open problems which higher mathematics beginners can understand Asaf Karagila 2013-02-22T23:27:31Z 2013-02-22T23:27:31Z <p>These two are probably my favourite.</p> <p>We all know that cardinals are ordered by injections, i.e. $|A|\leq|B|$ if there is an injection from $A$ into $B$. But it's clear that we can also order the cardinals by surjections, $|A|\leq^\ast|B|$ if $A$ is empty, or $B$ can be mapped onto $A$.</p> <p>Assuming the axiom of choice these two notions are obviously equivalent. But what happens without the axiom of choice?</p> <p>Well, it is easy enough to give counterexamples that $|A|\leq^\ast|B|$ and $|A|\nleq|B|$ (e.g. Dedekind-finite sets that can be mapped onto $\omega$; $\Bbb R$ can be mapped onto $\aleph_1$ in Solovay's model).</p> <blockquote> <p><strong>The Partition Principle.</strong> If $|A|\leq^\ast|B|$ then $|A|\leq|B|$.</p> </blockquote> <p>For over a century now it is open whether or not this principle implies the axiom of choice in ZF. Russell claimed to have a proof, but it was never published.</p> <hr> <p>The second open problem is also related to cardinals and their order:</p> <p>Assuming the axiom of choice all the cardinals are ordinals, and since there are no decreasing sequences of ordinals, the $\leq$ relation is well-founded.</p> <p>But what happens without the axiom of choice? Well we know that every partial order can be realized as cardinals of some model of ZF (in fact we can assume dependent choice to hold as high as we want to). An immediate consequence is that it is consistent that the cardinals are not well-founded. Even the existence of a Dedekind-finite set implies this easily, because removing one element decreases the cardinality and so we can find a decreasing sequence of cardinals (but we can't find a decreasing chain of subsets!).</p> <p>The question whether or not the assumption that there is no decreasing sequence of cardinals implies the axiom of choice in ZF is open, for about a century as well.</p> <p>Unlike the previous problem where pretty much everyone feels that the answer is positive, this problem had people arguing for both sides. Some people suggested that it will imply choice, others suggested that it will not imply the axiom of choice. But no one has an answer yet.</p> http://mathoverflow.net/questions/101169/not-especially-famous-long-open-problems-which-higher-mathematics-beginners-can/122677#122677 Answer by Koushik for Not especially famous, long-open problems which higher mathematics beginners can understand Koushik 2013-02-23T00:43:44Z 2013-02-23T10:03:21Z <p>Showing that if product of $n$ Toeplitz operators is again a Toeplitz Operator.this is open and quite elementary to state. <a href="http://www.mathnet.or.kr/mathnet/thesis_file/WYLee.pdf" rel="nofollow">http://www.mathnet.or.kr/mathnet/thesis_file/WYLee.pdf</a></p>