Skip to main content

Timeline for Counting points in elliptic curves

Current License: CC BY-SA 4.0

15 events
when toggle format what by license comment
Jul 17, 2020 at 12:12 history undeleted VS.
Jul 11, 2020 at 9:03 history deleted VS. via Vote
Jul 10, 2020 at 16:38 comment added VS. I understand. I am asking converse question.
Jul 10, 2020 at 16:31 comment added Will Sawin I'm just saying you could first factor and then count points on each prime. This means counting points can't be #P-hard unless factoring is.
Jul 10, 2020 at 16:11 comment added VS. @willsawin Does counting points give factors?
Jul 10, 2020 at 15:23 comment added Will Sawin For a reference, see the Wikipedia page on "Counting points on elliptic curves" en.wikipedia.org/wiki/Counting_points_on_elliptic_curves
Jul 10, 2020 at 15:17 comment added Will Sawin For $n$ prime we have Schoof's algorithm which is polynomial in the number of bits, so all these problems are in $P$. For other $n$ the hardest step might be factoring, which is not believed to be polynomial time, but also not expected to be hard for any of these hardness classes.
Jul 10, 2020 at 14:48 comment added Chris Wuthrich Thanks to the Chinese remainder theorem and the known structure of the formal group of elliptic curves, these questions all boil down to calculating group orders for elliptic curves over $\mathbb{F}_p$. In particular 2 should be easy and 3 is trivial as there is not problem checking if there are $2$-torsion points.
Jul 10, 2020 at 14:37 history edited VS. CC BY-SA 4.0
deleted 56 characters in body
Jul 10, 2020 at 14:35 comment added VS. I was just think $\mathbb Z/n\mathbb Z$. I doubt over infinite sets the problem makes sense.
Jul 10, 2020 at 14:31 history edited YCor CC BY-SA 4.0
formatting
Jul 10, 2020 at 14:30 comment added YCor And even define $\mathbb{Z}_n$ as it's both used for $\mathbb{Z}/n\mathbb{Z}$ and for the $n$-adics (projective limit of $\mathbb{Z}/n^k\mathbb{Z}$).
Jul 10, 2020 at 14:24 comment added VS. Sorry I was thinking on this mathoverflow.net/questions/95408/elliptic-curves-over-rings. If not appropriate I can take it down or just use $\mathbb F_q$ since that does not change the nature of the question.
Jul 10, 2020 at 14:22 comment added abx Could you define what you call an elliptic curve over $\Bbb{Z}_n$?
Jul 10, 2020 at 14:11 history asked VS. CC BY-SA 4.0