from Hacker News

Complex Systems and Quantitative Mereology

by abelaer on 2/5/25, 2:06 PM with 17 comments

  • by derbOac on 2/7/25, 3:51 PM

    Interesting essay. Not sure it really provides insights into the problem spaces I'm interested in personally, but it's interesting to see a formal connection to mereology.

    One of the problems in many of these domains is that the potential higher-order interaction space is so large that it's impossible to make inferences about them (in an exploratory way at least). So in genetics for example, there's a lot of genes, and the number of potential combinations of causal factors is huge. Unless you have an a priori reason to think a particular P-way combination of factors is important, it's impossible to search for them because the resources required to make inferences about the P-way interactions exceeds any computational resources available to study them.

    This is kind of the idea of emergence, that at some point the information involved in representing a set of higher-order interactions becomes too great to actually represent, so we measure some property of the system that summarizes these interactions instead.

    I think the problem scientifically always is knowing whether that information required actually is too large, or whether we just don't understand what is exactly involved. Unknown unknowns or something like that, but where some of the unknowns might in fact be fundamentally unknowable.

    I've always found it might be useful to have an estimate of the predictability of some system from some level of analysis of predictors, so we at least know how much we can ever expect to explain from them. In some cases I think this might be doable and others impossible.

  • by agnishom on 2/7/25, 1:54 AM

    This is a great philosophical motivation for https://en.wikipedia.org/wiki/Incidence_algebra
  • by carsonlauer on 2/7/25, 12:03 AM

    Studying probability right now and seeing how the powerset mobius function immediately implies the inclusion-exclusion formula is pretty cool. Thanks for this!
  • by cgadski on 2/7/25, 2:57 PM

    Super incomplete thought: how does this point of view relate to Euler characteristic? Can I get to Euler characteristic by asking how to solve an equation for some quantities q in terms of some quantities Q?
  • by a333999 on 2/7/25, 2:23 AM

    > any description purely in terms of pairwise relationships would miss the fact that the three rings are connected.

    Here is one:

    A is connected to B

    B is connected to C

    C is connected to A

    This is a description in terms of pairs, and from it is trivial to deduce how the rings are connected.

  • by Onavo on 2/7/25, 4:55 AM

    I thought it was about Meteorology and got unreasonably excited for a second.