Live data from Hacker News

New proof shows when structure must emerge in graphs

quantamagazine.org

21–26 of 26 posts

Re: New proof shows when structure must emerge in graphs

#21

Earlier quoted context omitted.

Yes, if "untangled" means "no edge crossings", then 3 dimensions is enough for any graph to be untangled. As a proof, you can put the vertices at coordinates (0, 0, 0), (1, 1, 1), (2, 4, 8), (3, 9, 27), ..., (n, n^2, n^3), and then no two edges will cross. A different definition of "untangled" might be that all edges have roughly the same length (which could be formally defined in lots of different ways), in which ca…

Ah indeed. I was meaning 'untangled' in the looser sense of 'can be spread out over 3D space with most/all connected points reasonably close to each other'. Seems like this is a topological property, that the 'neighbourhoods' defined by the connections 'tessellate' in some sense.

You can place all n vertices within a unit sphere, with a roughly uniform distribution. Then the distance between two vertices is at most 2 and at least roughly around the cubic root of 4π/3n (sphere volume divided by number of vertices). So the maximum factor between edge lengths in that construction is proportional to the cubic root of n. I would suspect that it’s possible to construct graphs where that factor cannot be significantly improved upon.

Re: New proof shows when structure must emerge in graphs

#22
post #3

I thought this was going to be about https://en.wikipedia.org/wiki/Szemer%C3%A9di_regularity_lemm...

"Limit cycles" come to mind. How you translate "cycle detection" from and to a continuous space?

I can't even understand your question.

Re: New proof shows when structure must emerge in graphs

#23
post #2

Appearance of fixed length cycles in random graphs makes a nice Proof-of-Work puzzle, that takes lots of SRAM to solve efficiently [1], while remaining instantly verifiable. [1] https://github.com/tromp/cuckoo

The world needs less of proof of work, as it is synonymous with proof of burning energy.

Re: New proof shows when structure must emerge in graphs

#24
post #10
post #2

Appearance of fixed length cycles in random graphs makes a nice Proof-of-Work puzzle, that takes lots of SRAM to solve efficiently [1], while remaining instantly verifiable. [1] https://github.com/tromp/cuckoo

Does it being memory bound make it have less power consumption than CPU bound tasks?

For a fixed ASIC die cost, an SRAM dominated chip would indeed have a lower power limit, so the mining costs would shift somewhat from opex to capex...

Re: New proof shows when structure must emerge in graphs

#25
post #23
post #2

Appearance of fixed length cycles in random graphs makes a nice Proof-of-Work puzzle, that takes lots of SRAM to solve efficiently [1], while remaining instantly verifiable. [1] https://github.com/tromp/cuckoo

The world needs less of proof of work, as it is synonymous with proof of burning energy.

Agreed, but note that the power used on cuckoo cycle is less than 1 windmill can provide...

Re: New proof shows when structure must emerge in graphs

#26
post #25
post #23

Earlier quoted context omitted.

The world needs less of proof of work, as it is synonymous with proof of burning energy.

Agreed, but note that the power used on cuckoo cycle is less than 1 windmill can provide...

As long as we get energy from non-renewable sources, that argument doesn't fly.
Post reply on HN