Other proposed projects

From Polymath1Wiki

(Difference between revisions)
Jump to: navigation, search
(Outline for a NP vs P/Poly proof)
(Outline for a NP vs P/Poly proof)
Line 60: Line 60:
== Outline for a NP vs P/Poly proof ==
== Outline for a NP vs P/Poly proof ==
-
[http://vzn1.wordpress.com/2012/12/08/outline-for-a-np-vsppoly-proof-based-on-monotone-circuits-hypergraphs-and-factoring/ outline/overview for a NP vs P/Poly proof] based on monotone circuits, hypergraphs, factoring, and slice functions was posted to a blog 12/8/2012. the author is not claiming a proof but presents a general/novel high-level outline based on many years of research. the author is active online and has [http://cstheory.stackexchange.com/users/7884/vzn 2.7K rep] on the [http://cstheory.stackexchange.com/ theoretical computer science stack exchange] and has posted a peer-reviewed fragment of the outline there, [http://cstheory.stackexchange.com/questions/13967/factoring-cartesian-bitwise-join-of-bit-vectors "cartesian bitwise join of bit vectors"], and also on [http://mathoverflow.net/questions/108655/hypergraph-cartesian-join-operation-over-same-vertex-set mathoverflow] where there is a distant link to research on [http://www.cs.cmu.edu/~katayanagi/2009/knuth_abstract.html ZDDs] by Knuth. —[[User:Vzn|Vzn]] 18:11, 28 December 2012 (UTC)
+
[http://vzn1.wordpress.com/2012/12/08/outline-for-a-np-vsppoly-proof-based-on-monotone-circuits-hypergraphs-and-factoring/ outline/overview for a NP vs P/Poly proof] based on monotone circuits, hypergraphs, factoring, and slice functions was posted to a blog 12/8/2012. the author is not claiming a proof but presents a general/novel high-level outline/overview based on many years of research. the author is active online and has [http://cstheory.stackexchange.com/users/7884/vzn 2.7K rep] on the [http://cstheory.stackexchange.com/ theoretical computer science stack exchange] and has posted a peer-reviewed fragment of the outline there, [http://cstheory.stackexchange.com/questions/13967/factoring-cartesian-bitwise-join-of-bit-vectors "cartesian bitwise join of bit vectors"], and also on [http://mathoverflow.net/questions/108655/hypergraph-cartesian-join-operation-over-same-vertex-set mathoverflow] where there is a distant link to research on [http://www.cs.cmu.edu/~katayanagi/2009/knuth_abstract.html ZDDs] by Knuth. —[[User:Vzn|Vzn]] 18:11, 28 December 2012 (UTC)

Revision as of 18:45, 28 December 2012

This page is a repository for any polymath proposals which are not fleshed out enough to have their own separate posts for the proposal. Contributions are welcome.

Contents

Beating the trivial subset sum algorithm

This problem was proposed by Ernie Croot, though he would not have the time to run a project based on this problem.

It is a problem that is easy to state, probably will succumb to elementary methods, and probably could be solved if enough people contributed ideas. Here goes: consider the usual subset sum (or is it knapsack?) problem where you are given a list of positive integers N_1, …, N_k, and a target number T, and you must decide whether there is some subset of N_1, …, N_k that sums to T. The problem is to beat the “trivial algorithm”, which I shall describe presently.

The first thing to realize is that there is a subset sum equal to T iff there is one equal to S-T, where S=N_1 + … + N_k. Furthermore, subsets of size t summing to T correspond uniquely to subsets of size k-t summing to S-T. In this way, you only need to consider subsets of size at most k/2 (and check whether they sum of T or S-T) to solve the problem. But now you can use the usual “collision technique” to reduce the problem to subsets of size at most k/4, by forming a table of all subsets of at most this size, along with their sum of elements, until you find a disjoint pair of subsets that sums to either T or S-T. The running time of this procedure should be comparable to (k choose k/4) = c^(k+o(k)), for a certain constant c that is easy to work out. This is what I mean by the “trivial algorithm”. Now, the problem is find an algorithm — any at all — that runs in time at most d^k, where d < c. To my knowledge no such algorithm is know to exist!

note: Stasys Jukna has worked on lower bounds wrt dynamic programming algorithms running on the Knapsack problem which the Subset Sum is a special case. see sec 3.2 of this ECCC paper, Limitations of Incremental Dynamic Programming Vzn 17:50, 28 December 2012 (UTC)


Coupling determinantal processes

Any n-dimensional subspace V of a Euclidean space {\Bbb R}^N gives rise to a random subset A_V of {1,...,N}, with the probability that A_V = \{i_1,\ldots,i_k\} being the square of the magnitude of the projection of e_{i_1} \wedge \ldots \wedge e_{i_n} to V. This is known as the determinantal process associated to V.

If V is a subspace of W, it is known that one can couple AV to AW in such a way that the former set is a subset of the latter, but no "natural" way of doing this is known. One problem in this project would be to find such a natural way.

A related problem: if V, W are orthogonal, is it always possible to couple AV,AW,AV + W together in such a way that A_{V + W} = A_V \cup A_W?

These questions are raised in page 38 of this paper of Lyons, and also discussed at this blog post.


Stable commutator length in the free group

Let G be the free group on two generators, and let [G,G] be the commutator subgroup. Given any g in [G,G], the commutator length cl(g) is the least number of commutators needed to express g, and the stable commutator length scl(g) is the lim of cl(g^n)/n.

It is known that scl(g) >= 1/2 for any non-trivial g. Find a combinatorial proof of this fact.

It is conjectured that { scl(g): g in [G,G] } has an isolated point at 1/2. Prove this.

Reference: scl, Danny Calegari


Quantum cellular automata

The proposal is tackling these 2 questions.


Yang-Mills existence and mass gap

Quite recently, Alexander Dynin, a mathematician at Ohio State University with a reputable CV, proposed a solution of the Millennium prize problem on Yang-Mills existence and mass gap (see here and here). I have discussed this in my blog (see here) but I am a physicist and I cannot be sure about the correctness of all the mathematical arguments by the author. Of course, I am involved in this line of research as a physicist and, in our area, significant progress seems to have been made (e.g., besides my works, see Alexander (Sasha) Migdal's papers here and refs. therein and my blog entry). So, it would be of paramount importance to have such a question addressed by the community of mathematicians at large, much in the same way as happened last year with "N vs. NP" question for Deolalikar's paper, in order to fix the avenues to pursue for the community of theoretical physicists.--Marco Frasca 09:30, 30 November 2011 (UTC)


2012 is the 100th anniversary of Landau's problems

I am suggesting a "Just For Grins" attack on Oppermann's Conjecture that, once proved, makes proofs of Legendre's Conjecture, Brocard's Conjecture, and Andrica's Conjecture slam dunks. Also, there is an outside chance that the twin-primes conjecture could be proved (requires Brocard's Conjecture).

http://en.wikipedia.org/wiki/Landau_problems

User: Rudy Toody


Jun Fukuyama NP vs P/Poly proof

Jun Fukuyama, PhD announced a proof for NP vs P/Poly in July 2012 but the theoretical computer science and mathematics communities have not engaged with it much so far. this page Jun Fukuyama's P≠NP Paper has more info on his background, the proof, discussion, etc —Vzn 17:34, 28 December 2012 (UTC)


Outline for a NP vs P/Poly proof

outline/overview for a NP vs P/Poly proof based on monotone circuits, hypergraphs, factoring, and slice functions was posted to a blog 12/8/2012. the author is not claiming a proof but presents a general/novel high-level outline/overview based on many years of research. the author is active online and has 2.7K rep on the theoretical computer science stack exchange and has posted a peer-reviewed fragment of the outline there, "cartesian bitwise join of bit vectors", and also on mathoverflow where there is a distant link to research on ZDDs by Knuth. —Vzn 18:11, 28 December 2012 (UTC)

Personal tools