Mathematicians Catch a Pattern By Figuring Out How To Avoid It (quantamagazine.org) 26
We finally know how big a set of numbers can get before it has to contain a pattern known as a "polynomial progression." From a report: A new proof by Sarah Peluse of the University of Oxford establishes that one particularly important type of numerical sequence is, ultimately, unavoidable: It's guaranteed to show up in every single sufficiently large collection of numbers, regardless of how the numbers are chosen. "There's a sort of indestructibility to these patterns," said Terence Tao of the University of California, Los Angeles. Peluse's proof concerns sequences of numbers called "polynomial progressions." They are easy to generate -- you could create one yourself in short order -- and they touch on the interplay between addition and multiplication among the numbers. For several decades, mathematicians have known that when a collection, or set, of numbers is small (meaning it contains relatively few numbers), the set might not contain any polynomial progressions. They also knew that as a set grows it eventually crosses a threshold, after which it has so many numbers that one of these patterns has to be there, somewhere. It's like a bowl of alphabet soup -- the more letters you have, the more likely it is that the bowl will contain words. But prior to Peluse's work, mathematicians didn't know what that critical threshold was. Her proof provides an answer -- a precise formula for determining how big a set needs to be in order to guarantee that it contains certain polynomial progressions. Previously, mathematicians had only a vague understanding that polynomial progressions are embedded among the whole numbers (1, 2, 3 and so on). Now they know exactly how to find them.
Useful for compression? (Score:5, Insightful)
would this be useful for finding where, say-- a given file's full contents would be found, in say, a memory device driver (think /dev/urandom, or /dev/zero) that linearly just spits out counted numbers to infinty based on a starting position?
Since the contents might be found SOONER than when the number is counted to! See for instance, output from 0 to 20,
01234567891011121314151617181920
The number 1234 is found in the first 5 bytes.
101 is found at 11 bytes.
etc
Knowing the "first instance" in the output string of such a regular expanding function, of any arbitrary expression, would let you record it at its lowest possible entropy, right?
Re: (Score:3)
It would indeed tell you how many numbers you must output from a generator to see a given pattern, assuming you met the criteria in the proof. Output 1s and 0s randomly won't ever give you a 2, unless you map groups of bits to numbers. It would not tell you where it is in the sequence.
There is series of results (of which Tao is one of the authors) on the relationship between groups addition and multiplication and entropy which culminated in the BIW paper that is a fundamental paper in extractor theory and s
Re: (Score:1)
Re: Useful for compression? (Score:2)
It has been proven for a very long time that the optimal coding of a symbol from any alphabet uses log2(1/p) bits where p is the symbols probability.
Re: (Score:2)
James Damore is actually pretty liberal / pro-feminist. read the memo itself. What he disagreed with was the "blank slate" idea. That was more of a nature vs nurture dispute rather than any sort of left vs right argument.
Re: (Score:2)
No, because you don't need some sort of an infinite random source for this. An 8-bit byte only describes 256 values. Hence, you can describe all the values in 256 bytes.
An index into a 256 byte array is still going to need to be 8 bits long, so having an index into a minimal, fixed size array is still going to result in an identical file size as what you started with (and if each byte is at its own array index, you'll just wind up with an identical file).
And that is minimal. Adding extra complexity of a
Re: (Score:2)
As an esoteric exercise, perhaps, but not in any practical sense.
Seeded pseudo-random number generators (such as your counter) have regular patterns and will not contain a useful set of data that can be used as a library. Unless the library is built from the original data, the storage requirements of all the library indexes and compressed data will almost always exceed the original data.
Re:What problems does this solve? (Score:5, Informative)
Actress Hedy Lamarr invented a frequency hopping signal in 1942 so that torpedoes couldn't be jammed by hostile forces. Because it was technically too difficult to implement at the time, the Navy didn't put it into use until the cuban missile crisis in 1962.
It is now one of the fundamental underpinnings of bluetooth, wifi and other radio frequencies.
Who can predict whether this new proof will be a key to some future advancement? Certainly not you.
Re:The opposite of Occam's razor is not smart. (Score:5, Insightful)
That's actually the point of having a brain and of the scientific method.
You aren't expected to know the history of applied number theory, but you would make your case better if you didn't act like you did.
One place where bound theorems like this tend to be useful is in establishing the computational complexity of otherwise difficult algorithms. If an algorithm searches possibilities when some criterion is met, and you know that some other problem exists that is reducible to that criterion, and that problem has a known bound, that gives you a bound on the algorithm (and hence the problem that the algorithm solves).
I don't know of any problems that this specifically is reducible to, but I've lost count of the number of times it's happened with other, seemingly very abstract, problems.
We are yet to find a field of mathematics for which there are no real world applications. Pure research almost always turns out to be valuable.
Re: (Score:2)
We are yet to find a field of mathematics for which there are no real world applications.
Superstring theory :-)
Yes, the pedantic will most certainly reply that it's physics, not mathematics, but essentially it's just a huge mathematical framework.
Still have to find out if it has any practical application whatsoever.
Re: (Score:2)
I respectfully disagree. String theory's current application is exploring and testing potential physics theories.
"Must solve a real world problem" is a very restricted definition of "practical".
That is one convenient re-definition of "purpose". (Score:2)
At best, that would be a *meta*-purpose.
One, matching literally ALL the possible actions out there.
"I am currently dancing, to explore the possibilities of architectural shapes."
You are missing the point:
I argued about directed exploring versus undirected exploring (like the pseudo-scientjfic bits of math I criticised), and about directing it to get you closer to an actual goal.
String theory is at least directed. But time and time again it has been shown to be invalid and ridiculous and hence going in the w
s/purpose/practical/ (Score:2)
Meant the same thing. /. mobile doesn't show me what I'm replying to, while replying.
Me: "I have a brain." Slashdot: "Booo! -1!". (Score:1)
America in a nutshell.
Re: What problems does this solve? (Score:2)
Re: What problems does this solve? (Score:4, Insightful)
She invented it to solve a particular problem, and then that same invention ended up being crucial for something else developed decades later that she had NO way of predicting.
That's my point - you can't predict whether this particular piece of mathematics might end up being a crucial component to some future invention or not. Maybe it could be the key behind a warp drive. You don't know.
Re:What problems does this solve? (Score:4, Informative)
Actress Hedy Lamarr invented a frequency hopping signal in 1942 so that torpedoes couldn't be jammed by hostile forces. Because it was technically too difficult to implement at the time, the Navy didn't put it into use until the cuban missile crisis in 1962.
It is now one of the fundamental underpinnings of bluetooth, wifi and other radio frequencies.
Who can predict whether this new proof will be a key to some future advancement? Certainly not you.
No! Sorry to burst your bubble, but no, Hedy Lamarr did not invent frequency hopping spread spectrum (FHSS); that was invented before World War I. Hedy LaMarr and George Antheil invented a method to coordinate the frequency hopping scheme between transmitter and receiver. And no, frequency hopping spread spectrum (FHSS) is not a fundamental underpinning of bluetooth, wifi, etc., as you claim. That role is reserved for direct sequence spread spectrum (DSSS). Don't confuse these two entirely different methods of spread spectrum. https://en.wikipedia.org/wiki/... [wikipedia.org]
Re: (Score:2)
Hedy Lamarr's system was never implemented, really. It depended on piano rolls to control the transmitter and receiver and keep them in sync while frequency hopping. It would require electronic controls, and (for any sort of practical consumer usage) transistors and integrated circuits to be rendered practical. The piano roll system might well have worked for single-use devices like torpedoes -- what good is a replay attack on a device that explodes after the first use?
This is not trolling. It was a honest question. (Score:1)
But clearly I was right with those triggered pseudo-mathematician deciples.
Well, at least somebody gave a real answer ... Thanks for that.
Re: (Score:2, Insightful)
Look. Friendly advice, if you can take it: if you don't want to be modded "troll", then try not to sound like one. That means limiting your question to the topic at hand and refraining from needless, ignorant editorializing about other people. Trolling and then complaining you were asking an honest question, is also trolling.
Re: (Score:1)
Re: (Score:2)
What problem does this solve, you ask?
A million monkeys will write Shakespeare, and Tolstoy...
Godwin and Peluse... (Score:2)
The universe can a pattern of repeating truths...
As "X" grows longer, the probability of "Y" approaches 1
Godwin:
Peluse: