Live data from Hacker News

Elegant six-page proof reveals the emergence of random structure

quantamagazine.org

21–30 of 178 posts

Re: Elegant six-page proof reveals the emergence of random structure

#21
post #8

I wish Quanta was a print publication I could subscribe to. Definitely the types of articles I'd like to sit down and read not on a computer.

I feel like there’s a market for a publishing service that could partner with popular blogs and websites. They could either allow articles to be selected by the user or the partner site, which could then be auto-paginated and printed being being posted to the subscriber. Hell, sell a service where you will curate articles based on used interests. Add some relevant Twitter threads for letters to the editor. Partner si…

Such a service exists. Here are two examples:

https://www.myscreenbreak.com/

https://waldenpond.press/

Re: Elegant six-page proof reveals the emergence of random structure

#22
post #8

Earlier quoted context omitted.

I feel like there’s a market for a publishing service that could partner with popular blogs and websites. They could either allow articles to be selected by the user or the partner site, which could then be auto-paginated and printed being being posted to the subscriber. Hell, sell a service where you will curate articles based on used interests. Add some relevant Twitter threads for letters to the editor. Partner si…

It’s a fine idea, but ignores the importance of typesetting and design for print. I’m sure plenty of people would want something like this regardless, but the product would usually look much less polished than people expect to see in printed and bound materials and that would reflect on the authors/editors. Authors and editors who take pride in the presentation of their work might be a hard sell.

Sounds like a job for a design & typesetting DALL-E AI.

BTW, Kindle is pretty successful, and pretty much all books use a standard design template, so the great importance of typesetting & design is questionable.

Re: Elegant six-page proof reveals the emergence of random structure

#23

Can someone explain to my why proving random graphing can produce known shapes is important? Because this seems absurdly obvious to any layman. Why is this a complex proof? I’m guessing it’s more that they proved the thresholds for these shapes being formed more than why?

If you think something is absurdly obvious you usually need to re-read what you've read.

Re: Elegant six-page proof reveals the emergence of random structure

#24

I wish Quanta was a print publication I could subscribe to. Definitely the types of articles I'd like to sit down and read not on a computer.

Did we all shift to a timeline where the computer printer wasn’t invented?

Re: Elegant six-page proof reveals the emergence of random structure

#25

Can someone explain to my why proving random graphing can produce known shapes is important? Because this seems absurdly obvious to any layman. Why is this a complex proof? I’m guessing it’s more that they proved the thresholds for these shapes being formed more than why?

This is quite the rabbit hole but according to some background it links to a number of interesting problems, for example phase transitions in spin-glasses in physics. The wiki page on spin glasses is a good place to start, perhaps. Here's more on background:

http://assets.press.princeton.edu/chapters/i9917.pdf

"These are all examples of what are called combinatorial optimization problems, which typically, though not always, arise from a branch of mathematics called graph theory...What have spin glasses to do with all this? As it turns out, quite a lot. Investigations into spin glasses have turned up a number of surprising features, one of which is that the problem of finding low-energy states of spin glasses is just another one of these kinds of problems. This led directly from studies of spin glasses to the creation of new algorithms for solving the TSP [Traveling Salesman] and other combinatorial optimization problems."

The first reference in the original Kahn-Kalai “expectation threshold” conjecture (as linked in the article) is this 2005 Nature paper, "Rigorous location of phase transitions in hard optimization problems"

https://www.cs.cornell.edu/selman/papers/pdf/05.nature.phase...

> "Constraint satisfaction problems are at the heart of statistical physics, information theory and computer science. Typically, they involve a large set of variables, each taking values in a small domain, such as {0, 1}, and a collection of constraints, each binding a few of the variables by forbidding some of their possible joint values. Examples include spin-glasses in statistical physics, error-correcting codes in information theory, and satisfiability and graph colouring in computer science. Given a collection of constraints, a fundamental scientific question is how many of them can be satisfied simultaneously."

So... the article notes "each property has what’s called a threshold: a probability at which the structure emerges, often very abruptly."

Here's a short video of a sudden phase transition in supercooled water, which is sort of comparable to a phase transition in a spin glass, or say, the transition from amorphous to crystalline silicon. These things happen at sharp thresholds but have defied first-principles calculation as far as I know about this (which isn't so much, but seems to agree with your latter question re importance):

https://www.youtube.com/watch?v=PM9nwYF1uR4

Perhaps then as a result of this work, your theoretical condensed matter physicists now have new proven mathematical tools to understand things like this?

Re: Elegant six-page proof reveals the emergence of random structure

#26

I wish Quanta was a print publication I could subscribe to. Definitely the types of articles I'd like to sit down and read not on a computer.

Did we all shift to a timeline where the computer printer wasn’t invented?

The commenter was probably referring to something more involved than just printing out an html page.

Re: Elegant six-page proof reveals the emergence of random structure

#28

Can someone explain to my why proving random graphing can produce known shapes is important? Because this seems absurdly obvious to any layman. Why is this a complex proof? I’m guessing it’s more that they proved the thresholds for these shapes being formed more than why?

The interesting thing a out graph properties (like the emergence of connectivity, giant components, Hamiltonian paths etc.) is that they happen as "phase transitions". A classic example is cuckoo hashing: You want to know how many edges the random graph of hashes can have before it contains a cycle, since that's when you need to rehash into a larger table. You might expect that this number is "pretty random" in that…

> However it turns out that it very predictably happens exactly when the graph gets to a certain size. In the same way as 1000 coin flips very predictably have 450-550 heads.

> What's so cool about the theorem is thst it proves _any_ property you can think of has _some_ sudden threshold like that.

...like what? The example you give, of the number of heads yielded from 1000 coin flips, doesn't have a sudden threshold at any point. What do you mean by a sudden threshold?

Re: Elegant six-page proof reveals the emergence of random structure

#29
post #12

Earlier quoted context omitted.

The interesting thing a out graph properties (like the emergence of connectivity, giant components, Hamiltonian paths etc.) is that they happen as "phase transitions". A classic example is cuckoo hashing: You want to know how many edges the random graph of hashes can have before it contains a cycle, since that's when you need to rehash into a larger table. You might expect that this number is "pretty random" in that…

Surely not _any_ property? From the article I understood that it’s only those that are monotonic under adding edges?

You are right! Luckily that's the definition of a graph property .

Something that definitely won't work: The parity of the number of edges.

Still, it's pretty general.

Re: Elegant six-page proof reveals the emergence of random structure

#30
post #15
post #12

Earlier quoted context omitted.

Surely not _any_ property? From the article I understood that it’s only those that are monotonic under adding edges?

It seems to me most graph problems that people care about are monotonic under adding edges. Actually, I can't think of a single problem in graph theory I've done where that wouldn't hold.

> It seems to me most graph problems that people care about are monotonic under adding edges. Actually, I can't think of a single problem in graph theory I've done where that wouldn't hold.

https://en.wikipedia.org/wiki/Braess%27s_paradox is very famous.

Post reply on HN