Ciro Santilli @cirosantilli 37

Accounts controlled by Ciro Santilli on Twitter:

Types:

Collection of coordinate charts.

The key element in the definition of a manifold.

Some criticisms:

This is an important metric, because it takes some time for the quantum operations to propagate, and so the depth of a circuit gives you an idea of how long the coherence time a hardware needs to support a given circuit.

Bibliography:

Every Lie algebra corresponds to a single simply connected Lie group.

The Baker-Campbell-Hausdorff formula basically defines how to map an algebra to the group.

Bibliography:

Techniques to get numerical approximations to numeric mathematical problems.

The entire field comes down to estimating the true values with a known error bound, and creating algorithms that make those error bounds asymptotically smaller.

Not the most beautiful field of pure mathematics, but fundamentally useful since we can't solve almost any useful equation without computers!

The solution visualizations can also provide valuable intuition however.

Important numerical analysis problems include solving:

AGI-complete in general? Obviously. But still, a lot can be done. See e.g.: