Open problems with monetary rewards - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T21:56:44Z http://mathoverflow.net/feeds/question/66084 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/66084/open-problems-with-monetary-rewards Open problems with monetary rewards To be cont'd 2011-05-26T18:01:04Z 2013-01-17T23:36:06Z <p>Since the old days, many mathematicians have been used to attaching monetary rewards to problems they admit are difficult. Their reasons could be to draw other mathematicians' attention, to express their belief in the magnitude of the difficulty of the problem, to challenge others, "to elevate in the consciousness of the general public the fact that in mathematics, the frontier is still open and abounds in important unsolved problems.<a href="http://www.claymath.org/millennium/" rel="nofollow">1</a>", etc.</p> <p>Current major instances are</p> <ul> <li><p><a href="http://www.claymath.org/millennium/" rel="nofollow">The Millennium Prize Problems</a></p></li> <li><p><a href="http://www.bealconjecture.com/" rel="nofollow">Beal's conjecture</a></p></li> </ul> <p>Other problems with money rewards</p> <p>-<a href="http://faculty.evansville.edu/ck6/integer/unsolved.html" rel="nofollow">Kimberling's </a> list of problems</p> <p><strong>Question:</strong> What others are there? To put some order into the answers, let's put a threshold prize money of 100 USD. I expect there are more mathematicians who have tucked problems in their web-pages with some prizes. </p> <p>What this question does not intend to achieve:</p> <p>-once offered but then collected or withdrawn offers</p> <p>-new pledges of sums of money just here</p> <p><strong>P.S.</strong> Some may be intersted in the psychological aspects of money rewards. However, to keep the question focused, I hope this topic won't be ignited here. One more, I understand that mathematician's do not work merely for money.</p> http://mathoverflow.net/questions/66084/open-problems-with-monetary-rewards/66088#66088 Answer by Matthew Kahle for Open problems with monetary rewards Matthew Kahle 2011-05-26T18:17:02Z 2011-05-26T18:17:02Z <p>Paul Erdős was famous for offering money for solutions to math problems. My understanding is that those prizes are still being administered by Ron Graham, even though Erdős passed away several years ago.</p> <p>One of his most famous (and biggest money) problems is the following:</p> <blockquote> <p>Conjecture: If $S$ is a set of positive integers such that the series $\sum_{s \in S} \frac{1}{s}$ diverges, then $S$ contains arbitrarily large arithmetic progressions.</p> </blockquote> <p>I believe that $3000 is offered for a proof.</p> <p>Several graph theory related problems, with prize money listed for many of them, are collected in <em>Erdős on graphs</em>, by Chung and Graham. </p> http://mathoverflow.net/questions/66084/open-problems-with-monetary-rewards/66101#66101 Answer by Timothy Chow for Open problems with monetary rewards Timothy Chow 2011-05-26T20:01:37Z 2011-05-26T20:01:37Z <p>John Conway has prize money out for various problems, such as$1000 for the <a href="http://www.emba.uvm.edu/~archdeac/problems/thrackle.htm" rel="nofollow">thrackle conjecture</a>.</p> http://mathoverflow.net/questions/66084/open-problems-with-monetary-rewards/66107#66107 Answer by Aaron Meyerowitz for Open problems with monetary rewards Aaron Meyerowitz 2011-05-26T21:06:33Z 2011-05-26T21:06:33Z <p>Of course mathematicians do not work merely for money! They are motivated by higher things like access to moderation tools at 10000 reputation level on Mathoverflow! </p> <p>I've heard from Ron Graham that the bookkeeping for Erdos rewards is difficult because many people frame the check and never cash it. </p> <p>There is always the chance of <a href="http://en.wikipedia.org/wiki/Knuth_reward_check" rel="nofollow">earning $327.68</a> from Donald Knuth. It is stretching things more than a bit to include that in and of itself, but the linked article is amusing and the general considerations are pertinent. </p> <p>The EFF offers <a href="http://www.eff.org/awards/coop" rel="nofollow">large rewards</a> for large primes. </p> http://mathoverflow.net/questions/66084/open-problems-with-monetary-rewards/66130#66130 Answer by Steven Gubkin for Open problems with monetary rewards Steven Gubkin 2011-05-26T23:33:31Z 2011-05-26T23:33:31Z <p>I am not sure if he would still be willing to pay out, but Vaughan Pratt offers 2000 smackers for the solution to the following:</p> <p><a href="http://thue.stanford.edu/puzzle.html" rel="nofollow">http://thue.stanford.edu/puzzle.html</a></p> <p>Let D be a set of subsets of a set A with the following three properties.</p> <p>(i) D contains A and the empty set.</p> <p>(ii) Let C be any set of pairs (a,b), a,b in A, such that for all a in A, the sets {b | (a,b) is in C} and {b | (b,a) is in C} are in D. Then {b | (b,b) is in C} is in D.</p> <p>(iii) (T1) For any two distinct elements a,b of A, D contains a set containing a but not b, and another containing b but not a.</p> <p>The set D consisting of all subsets of A evidently satisfies (i)-(iii). Does any other set of subsets of A do so?</p> http://mathoverflow.net/questions/66084/open-problems-with-monetary-rewards/66133#66133 Answer by DamienC for Open problems with monetary rewards DamienC 2011-05-26T23:46:07Z 2011-05-26T23:46:07Z <p>J.-B. Zuber offered respectively 1, 2 and 3 bottles of Champagne for the classification of finite quantum subgroups of$SU_q(3)$,$SU_q(4)$, and$SU_q(5)$, respectively. </p> <p><a href="http://www.cpt.univ-mrs.fr/~coque/Bariloche2000/Bariloche2000/Photos_Champagne.html" rel="nofollow">Ocneanu</a> solved the first two cases, but as far as I know the problem for$SU_q(5)$is still open. </p> http://mathoverflow.net/questions/66084/open-problems-with-monetary-rewards/66137#66137 Answer by David Speyer for Open problems with monetary rewards David Speyer 2011-05-27T00:57:14Z 2011-05-27T21:05:49Z <p>Two which are for food rather than cash:</p> <p>Let$f = t^{2d} + f_1 t^{2d-1} + f_2 t^{2d-2}+ \cdots f_d t^d + \cdots+ f_2 t^2 +f_1 t + 1$be a palindromic polynomial, so the roots of$f$are of the form$\lambda_1$,$\lambda_2$, ...,$\lambda_d$,$\lambda_1^{-1}$,$\lambda_2^{-1}$, ...,$\lambda_d^{-1}$. Set$r_k = \prod_{j=1}^d (\lambda_j^k-1)(\lambda_j^{-k} -1)$. </p> <p><strong>Conjecture:</strong> The coefficients of$f$are uniquely determined by the values of$r_1$,$r_2$, ...$r_{d+1}$.</p> <p><strong>Motivation:</strong> When computing the zeta function of a genus$d$curve over$\mathbb{F}_q$, the numerator is essentially of the form$f$. (More precisely, it is of the form$q^d f(t/\sqrt{q})$for$f$of this form.) Certain algorithms proceed by computing the$r_k$and recovering the coefficients of$f$from them. Note that you have to recover$d$numbers, so you need at least$r_1$through$r_d$; it is known that you need at least one more and the conjecture is that exactly one more is enough.</p> <p><strong>Reward:</strong> Sturmfels and Zworski will buy you dinner at <a href="http://www.chezpanisse.com/reservations/" rel="nofollow">Chez Pannise</a> if you solve it.</p> <hr> <p>Consider the following probabilistic model: We choose an infinite string, call it$\mathcal{A}$, of$A$'s,$C$'s,$G$'s and$T$'s. Each letter of the string is chosen independently at random, with probabilities$p_A$,$p_C$,$p_G$and$p_T$. </p> <p>Next, we copy the string$\mathcal{A}$to form a new string$\mathcal{D}_1$. In the copying process, for each pair$(X, Y)$of symbols in${ A, C, G, T }$, there is some probability$p_1(X \to Y)$that we will miscopy an$X$as a$Y$. (The$16$probabilities stay constant for the entire copying procedure.) </p> <p>We repeat the procedure to form two more strings$\mathcal{D}_2$and$\mathcal{D}_3$, using new probability matrices$p_2(X \to Y)$and$p_3(X \to Y)$. </p> <p>We then forget the ancestral string$\mathcal{A}$and measure the$64$frequencies with which the various possible joint distributions of <code>$\{ A, C, G, T \}$</code> occur in the descendant strings$(\mathcal{D}_1, \mathcal{D}_2, \mathcal{D}_3)$. </p> <p>Our procedure depended on$4+3 \times 16$inputs: the$(p_A, p_C, p_G, p_T)$and the$p_i(X \to Y)$. When you remember that probabilities should add up to$1$, there are actually only$39$independent parameters here, and we are getting$63$measurements (one less than$64$because probabilities add up to$1$). So the set of possible outputs is a semialgeraic set of codimension$24$. </p> <p><strong>Conjecture:</strong> <a href="http://www.dms.uaf.edu/~eallman/" rel="nofollow">Elizabeth Allman</a> has a conjectured list of generators for the Zariski closure of the set of possible measurements. </p> <p><strong>Motivation:</strong> Obviously, this is a model of evolution, and one which (some) biologists actually use. Allman and Rhodes have shown that, if you know generators for the ideal for this particular case, then they can tell you generators for every possible evolutionary history. (More descendants, known sequence of branching, etc.) There are techniques in statistics where knowing this Zariski closure would be helpful progress. </p> <p><strong>Reward:</strong> Elizabeth Allman will personally catch, clean, smoke and ship an Alaskan Salmon to you if you find the generators. (Or serve it to you fresh, if you visit her in Alaska.)</p> http://mathoverflow.net/questions/66084/open-problems-with-monetary-rewards/66144#66144 Answer by Daniel Parry for Open problems with monetary rewards Daniel Parry 2011-05-27T02:07:06Z 2011-05-28T04:19:15Z <p>The <a href="http://en.wikipedia.org/wiki/Collatz_conjecture" rel="nofollow">$3n+1$Conjecture</a> has some money assigned to it. </p> <blockquote> <p>Define$T(n) = n/2$when$n$is even and$3n+1$when$n$is odd.</p> <p>For any positive integer$n$does there exist a positive integer$N$, such that$T^N(n) = 1$?</p> </blockquote> <p>The origin of this precise question seems to be obscure, although Lothar Collatz made similar conjectures during the 1930s<sup>1</sup>. For example, Bryan Thwaites claims to have been the first to make this conjecture in 1952<sup>2</sup>, and this does not seem to have been decisively refuted. (The 1937 dates in the Wikipedia and Mathworld articles are missing citations - the Wikipedia edit dates to 7 September 2004.)</p> <p>Rewards offered to date include 1000 UK pounds from Bryan Thwaites, 500 US dollars from Paul Erdos, and 50 dollars (Canadian?) from H.S.M. Coxeter<sup>1</sup>.</p> <ol> <li>Lagarias, <a href="http://www.jstor.org/stable/2322189" rel="nofollow">The$3x+1$problem and its generalizations</a> <em>Am. Math. Monthly</em> <strong>92</strong> (1985) 3-23.</li> <li>Bryan Thwaites, Two conjectures or how to win £1100. <em>Math. Gazette</em> <strong>80</strong> (1996) 35-36.</li> </ol> http://mathoverflow.net/questions/66084/open-problems-with-monetary-rewards/66154#66154 Answer by Gerry Myerson for Open problems with monetary rewards Gerry Myerson 2011-05-27T05:48:26Z 2011-05-27T05:48:26Z <p>Guy, Unsolved Problems In Number Theory, 3rd edition, A12 (page 45) says "Selfridge, Wagstaff &amp; Pomerance offer 500.00 + 100.00 + 20.00 for a composite$n\equiv3{\rm\ or\ }7\pmod{10}$which divides both$2^n-2$and the Fibonacci number$u_{n+1}$or 20.00 + 100.00 + 500.00 for a proof that there is no such$n$." John Selfridge having left us, I do not know whether his part of the offer still applies. </p> http://mathoverflow.net/questions/66084/open-problems-with-monetary-rewards/66166#66166 Answer by Gideon Schechtman for Open problems with monetary rewards Gideon Schechtman 2011-05-27T09:28:55Z 2011-05-27T09:28:55Z <p>See <a href="http://people.math.jussieu.fr/~talagran/prizes.pdf" rel="nofollow">http://people.math.jussieu.fr/~talagran/prizes.pdf</a> for a total of$\$7000$ offered by Michel Talagrand for a solution of three problems. In particular $\$5000$for the "Bernoulli conjecture". You may also be interested in the following picture of Mazur awarding Per Enflo a live goose as promised for the solution of the approximation problem. <a href="http://en.wikipedia.org/wiki/File:MazurGes.jpg" rel="nofollow">http://en.wikipedia.org/wiki/File:MazurGes.jpg</a></p> http://mathoverflow.net/questions/66084/open-problems-with-monetary-rewards/66219#66219 Answer by Greg Kuperberg for Open problems with monetary rewards Greg Kuperberg 2011-05-27T20:23:59Z 2012-07-26T11:59:44Z <p><strong>Addendum</strong>: There is a paper by Fan Chung similar to this book by Chung and Graham, <a href="http://math.ucsd.edu/~fan/ep.pdf" rel="nofollow">Open problems of Paul Erdős in graph theory</a>. She says there, "In November 1996, a committee of Erdős' friends decided no more such awards will be given in Erdős' name." But the same article says that Chung and Graham decided to still sponsor questions in graph theory, and <a href="http://www.sciencemag.org/content/296/5565/39.citation" rel="nofollow">this article in Science Magazine</a> implies that they are still sponsoring the Erdős problems in general.</p> <hr> <p>Some 19 years ago I collected a list of Erdős prize problems and posted them to Usenet. The problems were from "A Tribute to Paul Erdős" (1990) and "Paths, Flows, and VLSI Layout" (1980). I can repeat the problems here, although I have no idea which ones may have been solved.</p> <p>$\$10000$. (T4N) <strong>Consecutive primes are often far apart.</strong> Conjecture: For every real number $C$, the difference between the $n$'th prime and n+1'st prime exceeds</p> <p>$$C \log(n) \log(\log(n))\log(\log(\log(\log(n))))/\log(\log(\log(n)))^2$$</p> <p>infinitely often. (The wording in the source does not clearly indicate that the money will be awarded if the conjecture is disproved, only if it is proved.)</p> <p>$\$3000$. (T3N) <strong>Divergence implies arithmetic progressions.</strong> If the sum of the reciprocals of a set of positive integers is infinite, must the set contain arbitrarily long finite arithmetic progressions?</p> <p>$\$1000$. (T2N) <strong>Unavoidable sets of congruences.</strong> A set of congruences $n = a_1 \bmod b_1$, $n = a_2 \bmod b_2$,... is unavoidable if each $n$ satisfies at least one of them. Is there an $N$ such that every unavoidable set of congruences either has two equal moduli $b_i$ and $b_j$ or some modulus $b_i$ less than $N$?</p> <p>$\$1000$. (T1C) <strong>Three-petal sunflowers.</strong> Is there an integer$C$such that among$C^n$sets with$n$elements, there are always three whose mutual intersection is the same as each pairwise intersection? (Problem P2 is the same, except that Erdos asks about$k$-petal sunflowers for every$k$but then says he would be satisfied with$k=3$.)</p> <p>$\$500$. (T7N) <strong>Asymptotic bases of order 2 (I).</strong> Consider an infinite set of positive integers such that every sufficiently large integer is the sum of two members of the set. Can there be an $N$ such that no positive integer is the sum of two members of the set in more than $N$ ways?</p> <p>$\$500$. (T8N) <strong>Asymptotic bases of order 2 (II).</strong> In the context of the previous problem, let$f(n)$be the number of ways that n is the sum of two members of the set. Can$f(n)/\log(n)$converge to a finite number as$n$goes to infinity? </p> <p>$\$500$. (T9N) <strong>Evenly distributed two-colorings.</strong> Given a black-white coloring of the positive integers, let $A(n,k)$ be the number of blacks minus the number of whites among the first $n$ multiples of $k$. Can the range of $A$ be bounded on both sides? </p> <p>$\$500$. (T4C) <strong>Friendly collections of half-sized subsets.</strong> Given$1+(\binom{4n}{2n} - \binom{2n}{n}^2)/2$distinct, half-sized subsets of a set with$4n$elements, must there be two subsets which intersect only in one element? (As problem P1, 250 pounds is offered.) </p> <p>$\$500$. (T1G) <strong>Uniformity of distance in the plane (I).</strong> Is there a real number $c$ such that n points in the plane always determine at least $cn/\sqrt{\log(n)}$ distinct distances? </p> <p>$\$500$. (T1G) <strong>Uniformity of distance in the plane (II).</strong> Is there a real number$c$such that given n points in the plane, no more than$n^{(1+c/\log(\log(n)))}$pairs can be unit distance apart?</p> <p>$\$500$. (P2) <strong>Sets with distinct subset sums.</strong> Is there a real number $c$ such that, given a set of n positive integers whose subsets all have distinct sums, the largest element is at least $c2^n$? (As in problem T1N, no prize is mentioned.)</p> <p>$\$250$. (P4) <strong>Collections of sets not represented by smaller sets.</strong> Is there a real number$c$such that for infinitely many positive integers$n$, there exists$cn$or fewer sets with n elements, no two of which are disjoint, and every$(n-1)$-element set is disjoint from at least one of them?</p> <p>$\$250/\$100$. (P15) <strong>Slowly increasing Turan numbers.</strong> If H is a (simple) graph, the Turan number$T(n,H)$is the largest number of edges a graph with$n$vertices can have without containing a copy of$H$. Conjecture: the function$f(n) = T(n,H)/n^{3/2}$is bounded above if and only if every connected subgraph of$H$has a vertex of valence 1 or 2. The larger award would be granted for a proof.</p> <p>$\$100/\$25000$. (T6N) <strong>Consecutive early primes.</strong> An early prime is one which is less than the arithmetic mean of the prime before and the prime after. Conjecture: There are infinitely many consecutive pairs of early primes. The larger award would be granted for a disproof.</p> <p>$\$100$. (T8G) <strong>Quadrisecants in the plane.</strong> Given an infinite sequence of points in the plane, no five of which are collinear, let $r(n)$ be the number of lines that pass through four points among the first $n$. Can it happen that $r(n)/n^2$ does not converge to zero?</p> http://mathoverflow.net/questions/66084/open-problems-with-monetary-rewards/66221#66221 Answer by Soumya Sanyal for Open problems with monetary rewards Soumya Sanyal 2011-05-27T20:28:23Z 2011-05-27T20:36:33Z <p>A. Bressan has advertised two monetary rewards of $500 each for solutions to problems on <a href="http://www.math.psu.edu/bressan/PSPDF/prize1.pdf" rel="nofollow">mixing flows</a> and <a href="http://www.math.psu.edu/bressan/PSPDF/prize2.pdf" rel="nofollow">blocking problems</a>.</p> <p>The first problem was unsolved as of Jan. 15, 2011, although progress in relevant directions is noted in the linked announcement. The second problem was announced on Jan. 19, 2011.</p> http://mathoverflow.net/questions/66084/open-problems-with-monetary-rewards/66227#66227 Answer by Alex R. for Open problems with monetary rewards Alex R. 2011-05-27T20:54:28Z 2011-05-27T20:54:28Z <p>I remember reading in Havil's book <em>Gamma</em> that supposidly Hardy was willing to offer his Savilian Chair at Oxford University to anyone who could prove that the Euler Mascheroni constant is irrational. I wonder if this offer still stands?</p> http://mathoverflow.net/questions/66084/open-problems-with-monetary-rewards/66396#66396 Answer by Harry Altman for Open problems with monetary rewards Harry Altman 2011-05-29T21:08:22Z 2012-07-26T18:54:40Z <p><strike><a href="http://blog.computationalcomplexity.org/2009/11/17x17-challenge-worth-28900-this-is-not.html" rel="nofollow">Bill Gasarch is offering$289</a> for a 4-coloring of a 17-by-17 grid such that there is no rectangle with all four corners the same color. (No reward for proving one doesn't exist.)</strike></p> <p><strong>Edit</strong>: The above problem, of 4-coloring grids, has since been <a href="http://blog.computationalcomplexity.org/2012/02/17x17-problem-solved-also-18x18.html" rel="nofollow">solved completely</a>; see the comments for the 12x21 case.</p> <p><a href="http://www.scottaaronson.com/blog/?p=452" rel="nofollow">Scott Aaaronson offers $200</a> for an oracle relative to which BQP is not contained in PH, or$100 for an oracle relative to which BQP is not contained in AM.</p> http://mathoverflow.net/questions/66084/open-problems-with-monetary-rewards/66476#66476 Answer by Sergey Norin for Open problems with monetary rewards Sergey Norin 2011-05-30T18:19:34Z 2011-05-30T18:19:34Z <p><a href="http://integer.tepper.cmu.edu/" rel="nofollow">Gerard Cornuejols</a> offers $5000 for the first proof (or refutation) of each of the 18 conjectures in his 2001 book "<a href="http://integer.tepper.cmu.edu/webpub/notes.pdf" rel="nofollow">Combinatorial Optimization: Packing and Covering</a>". Six of the conjectures have been resolved so far, five - by Maria Chudnovsky, Paul Seymour and coauthors. </p> http://mathoverflow.net/questions/66084/open-problems-with-monetary-rewards/68336#68336 Answer by Vincent Russo for Open problems with monetary rewards Vincent Russo 2011-06-21T03:57:42Z 2011-06-21T17:05:31Z <p>I'm a computer scientist by trade, but I really just enjoy working on open mathematical problems in my free time. Kimberling's page is pretty nice as you mentioned, I was able to knock one of them out (a minor one, the Swappage Problem), and always look forward to when new ones are posted. </p> <p>One of the best places I have found for open problems is probably <a href="http://garden.irmacs.sfu.ca/" rel="nofollow">open problem garden</a>. The site is frequently updated with new problems ranging from graph theory, theoretical computer science, algebra, etc. The nice thing is that the problems are also ranked by relative difficulty. </p> <p>As for cash: A number of the problems DO offer some type of cash bounty (as clearly indicated in the summary section for the problem next to "Prize" text if it exists). Problems such as <a href="http://garden.irmacs.sfu.ca/?q=op/the_erdos_turan_conjecture_on_additive_bases" rel="nofollow">The Erdos-Turan conjecture on additive bases</a> offer cash incentives for solving.</p> <p>There are also other problems listed that offer monetary compensation and are posted periodically throughout the site. However, sifting through the problems can be time consuming as many of them do not offer cash incentives. </p> http://mathoverflow.net/questions/66084/open-problems-with-monetary-rewards/103173#103173 Answer by stankewicz for Open problems with monetary rewards stankewicz 2012-07-26T08:31:59Z 2012-07-26T08:31:59Z <p>Recently Ian Morrison issued a 100 dollar prize for the construction of an effective divisor on$\overline M_g$with slope less than 6 (See the recent preprint of Chen, Farkas and Morrison).</p> http://mathoverflow.net/questions/66084/open-problems-with-monetary-rewards/103184#103184 Answer by Adrien for Open problems with monetary rewards Adrien 2012-07-26T10:58:14Z 2012-07-26T10:58:14Z <p>It was pointed out by <a href="http://en.wikipedia.org/wiki/Randall_Munroe" rel="nofollow">Randall Munroe</a> that by proving the inconsistency of logic you can earn quite a lot of money:</p> <p><img src="http://imgs.xkcd.com/comics/applied_math.png" alt="alt text"></p> <p>(<a href="http://xkcd.com/816/" rel="nofollow">Source</a>)</p> http://mathoverflow.net/questions/66084/open-problems-with-monetary-rewards/103195#103195 Answer by Matheus for Open problems with monetary rewards Matheus 2012-07-26T13:44:25Z 2012-07-26T13:44:25Z <p>As it is pointed out in a footnote in A. Zorich's survey "<a href="http://arxiv.org/abs/math/0609392" rel="nofollow">Flat surfaces</a>", Anatole Katok promised (on behalf of the Center for Dynamics and Geometry of Penn State University) a prize of 10,000 euros for the solution of the problem of finding periodic orbits and describing the behavior of generic orbits of billiards in (all/almost all) triangular tables. See page 13 of the ArXiv version of the survey for more comments. </p> http://mathoverflow.net/questions/66084/open-problems-with-monetary-rewards/119225#119225 Answer by Harry Altman for Open problems with monetary rewards Harry Altman 2013-01-17T23:36:06Z 2013-01-17T23:36:06Z <p>Stepan Holub is offering €200 for a solution to the following problem:</p> <p>Do there exist$n\ge 2$and nonempty words$u_1,\ldots,u_n$such that</p> <p>$(u_1 \ldots u_n)^2 = u_1^2 \ldots u_n^2$and</p> <p>$(u_1 \ldots u_n)^3 = u_1^3 \ldots u_n^3$</p> <p>but the$u_i$don't all commute with one another?</p> <p>(I guess the$n\ge 2\$ and nonemptiness requirement are technically redundant.)</p> <p>Source: <a href="https://www.student.cs.uwaterloo.ca/~cs462/openproblems.html" rel="nofollow">https://www.student.cs.uwaterloo.ca/~cs462/openproblems.html</a></p>