Eric Peterson

Results 90 issues of Eric Peterson

There is a translator chain for parametric compilation of CPHASE gates to ISWAP architectures: CPHASE gets compiled to a pair of CNOTs, each CNOT gets compiled to a pair of...

good first issue
math

This PR adds handlers for the new link protocol, introduced in OTP 23 and required beginning with OTP 26. Closes #87. ## Notes ### Signal ordering constraints I'm concerned by...

When I ping Pyrlang from a 26.0 Erlang node, I see the following error on the Erlang side: ``` =ERROR REPORT==== 28-May-2023::14:02:36.033971 === ** '[email protected]': Connection attempt to node '[email protected]'...

Crucially, one should pick the largest d such that C_d >= C >/= C_{d+1}.

I don't see any justification given as to why the self-map of KO_p has this form. The original paper blames this on the unstable Adams conjecture — why?

The formula given for finite K(n)-localization is valid only for finite complexes of type exactly n.

At the very least, there's a missing "to" after the word "corresponding".

https://projecteuclid.org/journals/homology-homotopy-and-applications/volume-6/issue-1/Operations-and-co-operations-in-Morava-E-theory/hha/1139839552.full

I’d removed Lior’s results from B.2 in fd2f83d for fear that the slow-to-appear citation meant that the statements were missing something. The preprint is out now https://arxiv.org/abs/2303.02603 , so there’s...