Representations of spaces are the key device in Type-2 Theory of Effectivity (TTE) for defining computability on non-countable spaces. Almost-compact representations permit a simple measurement of the time complexity of functions using discrete parameters, namely the desired output precision together with “size” information about the argument, rather than continuous ones. We present some intere...

In the context of Standard Model effective field theory we derive direct and indirect bounds on chromodipole operators involving bottom charm quark. We find that experimental upper limit neutron electric dipole moment puts severe constraints imaginary parts Wilson coefficients both operators. The magnitudes are instead only weakly constrained by dijet searches Z-boson production in association ...

This paper concerns the relation between a proof’s beauty and its explanatory power — that is, its capacity to go beyond proving a given theorem to explaining why that theorem holds. Explanatory power and beauty are among the many virtues that mathematicians value and seek in various proofs, and it is important to come to a better understanding of the relations among these virtues. Mathematical...