Readit News logoReadit News
daynthelife commented on What is an elliptic curve? (2019)   johndcook.com/blog/2019/0... · Posted by u/tzury
soVeryTired · 2 days ago
Anyone have a good explanation for why elliptic curves have a 'natural' group law? I've seen the definition of the group law in R before, where you draw a line through two points, find the third point, and mirror-image. I feel like there's something deeper going on though.

As far as I've seen, the group law is what makes elliptic curves special. Are they the _only_ flavour of curve that has a nice geometric group law? (let's say aside from really simple cases like lines through the origin, where you can just port over the additive group from R)

daynthelife · 2 days ago
I find a lot of motivation from topology. If you plot a smooth degree d curve over the complex numbers, it forms a surface of degree g=(d-1)(d-2)/2. In the case of a cubic, we get genus 1, i.e. a torus. Now tori admit a very natural group action, namely addition in (R/Z)^2. And sure enough, if you pick the right homeomorphism, this corresponds to the group action given by the elliptical curve.

Of course, the homeomorphism to (R/Z)^2 does not respect the geometry (it is not conformal). If we want the map to preserve angles, we need our fundamental domain to be a parallelogram instead of a rigid square. The shape of the parallelogram depends on the coefficients of the cubic, and the isomorphism is uniquely defined up to choice of a base point O (mapping to the identity element; for elliptic curves, this is normally taken to be the point at infinity). You still get a group law on the parallelogram from vector addition in the same way, and this pulls back to the precise group action on the elliptic curve.

The real magic is that the resulting group law is algebraic, meaning that a*b can be written as an algebraic function of a and b. This means you can do the same arithmetic over any field, not just the complex numbers, and still get a group action.

daynthelife commented on How geometry is fundamental for chess   lichess.org/@/RuyLopez100... · Posted by u/fzliu
KK7NIL · 4 days ago
Indeed, it's not even the same between pieces!

Kings have Chebysev geometry while Rooks have taxicab geometry: https://en.wikipedia.org/wiki/Taxicab_geometry#See_also

It's left as an exercise for the reader to figure out the geometry of the remaining pieces.

daynthelife · 4 days ago
Rooks don't have taxicab geometry. Their metric space is compact even on an infinite board. I think you're thinking of the wazir: https://en.wikipedia.org/wiki/Wazir_(chess)
daynthelife commented on ChatControl: EU wants to scan all private messages, even in encrypted apps   metalhearf.fr/posts/chatc... · Posted by u/Metalhearf
palata · 3 months ago
> Unless you want to scan all chat messages for potential signs of adults engaging in grooming of children too?

Well, the point is to scan all messages, period.

And then to detect those that come from predators, not adults. How often do parents convince their children to send... revealing pictures? Or to meet them somewhere? How often do parents introduce themselves to their children in messages?

You can't seriously believe that a conversation between parents and children always looks like a conversation between a predator and children, can you?

daynthelife · 3 months ago
Sure, but who's reading the conversation to determine whether it "looks suspicious"? A regex? A neural network? Who decides the algorithm, and do you really can believe they won't ever change it to serve other more nefarious purposes like suppressing dissent?
daynthelife commented on A short proof of the Hairy Ball theorem (2016) [pdf]   www2.math.upenn.edu/~pjmc... · Posted by u/fzliu
daynthelife · 4 months ago
I am confused how we can define a rotation number of the map from S^1 to R^3 defined at the end of the second paragraph. R^3 is nullhomotopic, after all...
daynthelife commented on Let's stop counting centuries   dynomight.net/centuries/... · Posted by u/surprisetalk
mmmmmbop · a year ago
> We do the same with people's ages.

No, we don't.

When we refer to 'the first year of life', we mean the time from birth until you turn 1.

Similarly, you'd say something like 'you're a child in the first decade of your life and slowly start to mature into a young adult by the end of the second decade', referring to 0-9 and 10-19, respectively.

daynthelife · a year ago
My preference is semi-compatible with both conventions:

First = 0 Second = 1 Toward = 2 Third = 3 …

This way, the semantic meaning of the words “first” (prior to all others) and “second” (prior to all but one) are preserved, but we get sensical indexing as well.

daynthelife commented on Lessons I Wish I Had Been Taught (1996) [pdf]   ams.org/notices/199701/co... · Posted by u/zerojames
schubart · a year ago
And a light foot is a nanosecond. Think about it…
daynthelife · a year ago
Beat me to it!
daynthelife commented on Lessons I Wish I Had Been Taught (1996) [pdf]   ams.org/notices/199701/co... · Posted by u/zerojames
velcrovan · a year ago
Some of my favorites:

nanoacre = about 4 square millimeters

microfortnight = about 1.2 seconds

beard-second = 5-10 nanometers (depending on who you ask), or the length an average beard grows in one second

daynthelife · a year ago
Working in HFT, my favorite is 1 nanosecond ≈ 1 foot

Deleted Comment

daynthelife commented on One Million Checkboxes   onemillioncheckboxes.com/... · Posted by u/LorenDB
eieio · a year ago
(developer here)

this is....more popular than i expected. the server's gonna be having some problems for a while

daynthelife · a year ago
Can you make the checkboxes indexed from zero?

(Maybe I am too dogmatic)

daynthelife commented on Calculus with Julia   jverzani.github.io/Calcul... · Posted by u/barrenko
FabHK · 2 years ago
You think mathematicians had it all wrong for centuries?

Incidentally, I find it amusing that in Europe, the ground floor is zero, while in the US, it's one. (A friend of mine arrived at college in the US and was told that her room was on the first floor. She asked whether there was a lift as her suitcase was quite heavy...)

daynthelife · 2 years ago
> You think mathematicians had it all wrong for centuries

As a mathematician, yes, I do. Pretty much everything becomes simpler if you treat zero as the first natural number.

> Incidentally, I find it amusing that in Europe, the ground floor is zero, while in the US, it's one.

I really think it makes no sense to number the ground floor as 1. This means if you want to know the height of the nth floor, you have to multiply the height of a story by (n-1).

There are a ton of other cases where you have to needlessly subtract 1 when people use 1-based indexing. To name a few

- Dates: why did the 21st century start on 1/1/2001? Why are the 1800s the 19th century? It doesn’t make any sense. If we indexed from zero, today would be 5/0/2023 (5 months, 0 days, 2023 years since the common era), in the 20th century. It all becomes so easy and intuitive. - Mathematical foundations: If we are using set theory to encode mathematics, how is the number 1 defined? As a set containing itself? This leads to paradoxes in many cases. As the set containing a different single element? Then we can call its contents 0. - Musical intervals: why do two thirds (ok, major and minor, but I’ll gloss over that) make a fifth? Does 3+3=5? The fact that musical intervals index from 1 significantly increases the cognitive burden for music theory. It becomes much easier when we index from 0. - Birthdays: Age is correctly indexed from zero, but it may seem counterintuitive that your first birthday is the day you are born. So when is your second birthday? The day you turn 1, of course. The word “third” sounds like 3, so it seems reasonable to me to introduce a new ordinal here (I like “toward”). - Computing: languages that use 1-based indexing are obscuring what is actually going on; they generally just subtract 1 internally from the user’s input. They have to, since indexing from 0 is fundamentally more efficient at the hardware level. 4 bits can only store 15 possible addresses if you throw away 0.

These are just a few examples and by no means an exhaustive list. Conversely, I have yet to know of a single instance where 1-based indexing makes more sense or simplifies things (aside from being more compatible with legacy features of our society).

After a while, when you think deeply about it, you start to feel that 0-based indexing is something closer to a fundamental truth, rather than simply a convention. Indeed, I propose that the only reason people find 0-based indexing counterintuitive is due to social conditioning.

u/daynthelife

KarmaCake day86July 31, 2023View Original