@narain@mathstodon.xyz avatar

narain

@narain@mathstodon.xyz

Associate professor of computer science at IIT Delhi. Computer graphics, numerical methods, bad jokes.

I was on Mastodon before it was cool. But it's nice to have all you cool people here now too.

This profile is from a federated server and may be incomplete. Browse more on the original instance.

johncarlosbaez, (edited ) to random
@johncarlosbaez@mathstodon.xyz avatar

What's interesting about the number 52?

  1. It's the number of weeks in a year.

  2. It's the number of cards in a deck, not counting jokers. This may not be a coincidence: the 4 suits correspond to the 4 seasons, there are 13 weeks per season, and the total value of all the cards is

(1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 10 + 11 + 12 + 13) × 4 = 364

with the joker giving 365. (The second joker helps out on leap years.)

  1. There are 52 partitions of a 5-element set into disjoint nonempty subsets. So, we say 52 is the fifth 'Bell number'. They're named after Eric Temple Bell, who wrote the famous book Males of Mathematics. He did not discover these numbers.

  2. In Japan, 52 chapters of the Tale of Genji have traditional symbols on the top called 'genji-mon', which correspond visibly to the 52 partitions of a 5-element set. Unfortunately the Tale of Genji has 54 chapters, so they needed to make up two extra symbols.

For more:

https://en.wikipedia.org/wiki/Bell_number

narain,
@narain@mathstodon.xyz avatar

@johncarlosbaez In case anyone else is wondering (as I was) what two extra symbols the Japanese made up for the Tale of Genji: https://commons.wikimedia.org/wiki/File:Genji_chapter_symbols_groupings_of_5_elements.svg

topher_batty, to random
@topher_batty@mastodon.acm.org avatar

I'm very excited to share our new SIGGRAPH Asia 2023 paper on improved reconstruction of explicit surface meshes from signed distance field data: "Reach for the Spheres: Tangency-Aware Surface Reconstruction of SDFs".

https://odedstein.com/projects/reach-for-the-spheres/

narain,
@narain@mathstodon.xyz avatar

@topher_batty Neat! I found this graphics paper after searching for "closest point surfaces" https://diglib.eg.org/handle/10.2312/conf.EG2013.short.001-004 but it also cites the 2008 CPM papers as the source of the idea. Bit odd that there seems to be very little done along these lines since then. Also, since the closest point function is essentially the SDF times its gradient, I guess it's similar in spirit to the higher-order spatial interpolation methods (using both the values and the gradients of a scalar field) that people were exploring in fluid sim in the 2000s.

narain,
@narain@mathstodon.xyz avatar

@topher_batty Could this be considered an argument for using "closest point fields" which store the vector to the actual closest point on the surface, rather than just the distance to it? After all, this point is usually known at the time of SDF construction. And in your algorithm (I haven't read your paper yet, but I assume) you're having to figure out the closest point along the way, whereas if you already had it life would be much easier.

jonikorpi, to random
@jonikorpi@mastodon.gamedev.place avatar

Fellow graphics programming nerds: any ideas for how to turn noise (I’ve got gradient, value, and cellular) into a shape with sharp ”tips”, like conifer trees?

I’ve tried:

  • pow(noise, someHighNumber), but it doesn’t help with the rounded tips
  • 1 - abs(noise), but it only creates long ridges, while I’d like more or less freestanding shapes
narain,
@narain@mathstodon.xyz avatar

@jonikorpi Yeah, I think of 1 − sqrt(x² + y²) as the prototypical "sharp peak" function, so if you want lots of peaks in lots of places you can just replace x and y with noise functions. But as I was saying, 1 - cellularnoise(x, y) should work too (and give you perfectly circular peaks, unlike my method).

narain,
@narain@mathstodon.xyz avatar

@jonikorpi In n dimensions 1 - abs(noise) will always give you (n−1)-dimensional ridges. If you want 1-dimensional peaks, you need the output to be high where n ridges intersect. So: can you take 2 independent noise functions and use some variation of 1 - sqrt((noise1*noise1 + noise2*noise2)/2)?

Actually I tried it and it gives you both peaks (where two of the original ridges intersect perpendicularly) and ridges (when two ridges coincide). Not sure if that's good...

johncarlosbaez, to random
@johncarlosbaez@mathstodon.xyz avatar

Here's a fun way to define df for any function f: X → ℝ on any set X:

(df)(x,y) = f(x) - f(y)

It's like calculus without the annoying division and limits. The result df is a function on X × X.

This funny derivative obeys the usual sum and difference rules:

d(f+g) = df + dg

d(f-g) = df - dg

It obeys the usual rule for multiplying by a constant c:

d(cf) = c df

It even obeys the product rule:

d(fg) = f (dg) + (df) g

But there's a catch: the last one needs to be interpreted carefully! It means

d(fg)(x,y) = f(x) dg(x,y) + df(x,y) g(y)

Note: we multiply on the left by f(x) but on the right by g(y). Check to see that this rule is true!

Needless to say, mathematicians have a way to make this idea more general and harder to understand. For any algebra A we define a 'differential'

d: A → A ⊗ A

by

da = a ⊗ 1 - 1 ⊗ a

A ⊗ A is an A-bimodule, which basically means we can multiply guys in A ⊗ A on the left by guys in A - but also on the right:

a (b ⊗ c) = ab ⊗ c
(b ⊗ c) a = b ⊗ ca

Then we get the product rule:

d(ab) = a(db) + (da)b

Let me check it. First we have

d(ab) = ab⊗1 - 1⊗ab

Now cleverly add and subtract the same thing:

d(ab) = ab⊗1 - a⊗b + a⊗b - 1⊗ab
= a(b⊗1-1⊗b) + (a⊗1-1⊗a)b
= a(db) + (da)b

Yes! 🎉

It's really just how we usually prove the product rule, with some complications removed.

I learned this from Yemon Choi, who said a lot more in fewer - but scarier - words:

https://golem.ph.utexas.edu/category/2023/08/grothendieckgaloisbrauer_theor_2.html#c062568

narain,
@narain@mathstodon.xyz avatar

@johncarlosbaez Is there a version of the chain rule?

gregeganSF, to random
@gregeganSF@mathstodon.xyz avatar

I'd be lost without computer algebra systems, but the fact that I can often solve equations they can't just because I know what the equations mean drives home just how far these programs remain from being able to solve every problem that (in some sense) “ought” to be easy.

narain,
@narain@mathstodon.xyz avatar

@gregeganSF You started from the meaning and derived the equations, but the CAS only has the equations and not the meaning. To exploit the meaning the CAS would have to go the other way around, and that's not always easy, is it? At least, I can't tell at a glance exactly what these equations mean. Something to do with dynamics in polar coordinates?

christianp, to math
@christianp@mathstodon.xyz avatar

I've made a thing that helps you to make a printable template for a hexaflexagon, with your choice of pictures on each of the three faces: https://somethingorotherwhatever.com/hexaflexagon/

You can take a photo with your camera, or upload a file.

#hexaflexagon #math #RecreationalMath

narain,
@narain@mathstodon.xyz avatar

@christianp "Doesn't affect me; can't see colours" Brilliant

narain, to random
@narain@mathstodon.xyz avatar

If I want spherical geometry but I only have Euclidean geometry, I can get spherical geometry by restricting myself to the unit sphere.

If I want Euclidean geometry but I only have hyperbolic geometry, can I still get Euclidean geometry by restricting myself to some lower-dimensional submanifold?

narain,
@narain@mathstodon.xyz avatar

Mom, can I have spherical geometry?
No, we have spherical geometry at home.
Spherical geometry at home: {x : ‖x‖ = 1}

narain,
@narain@mathstodon.xyz avatar

I think I've found the answer: Coxeter writes¹ that "the intrinsic geometry of the horosphere² is Euclidean", and that this fact was known to Lobachevsky from the beginning.

¹ https://www.thebookshelf.auckland.ac.nz/docs/Maths/PDF/mathschron009-004.pdf
² https://en.wikipedia.org/wiki/Horosphere

narain, to random
@narain@mathstodon.xyz avatar
j_bertolotti, to random
@j_bertolotti@mathstodon.xyz avatar

Hot take: currency symbols are units, like kg or Hz. And units go AFTER the number, not before!

narain,
@narain@mathstodon.xyz avatar

@johncarlosbaez @j_bertolotti When we had just arrived in the US for grad school, I remember one of my fellow students getting very confused that when Americans say "dollar fifty" they mean $1.50 and not $50.

BartoszMilewski, to random
@BartoszMilewski@mathstodon.xyz avatar

My intuition tells me that a set has the least structure (it's a discrete category). Conversely, the category of sets has the most structure, since its morphisms don't have to preserve any structure. Does it make sense?

narain,
@narain@mathstodon.xyz avatar

@BartoszMilewski @johncarlosbaez As I understand there is an implicit ordering in which stuff > structure > properties. So "not more than structure" includes properties, because properties are "less than" structure.

manlius, to random Italian

Prigogine: “statistical mechanics and thermodynamics start where traditional dynamics (classical or quantum) breaks down.”

Maybe he's referring to non-equilibrium cases?
Otherwise 👉 quantum thermodynamics...

Ideas?

@tiago @johncarlosbaez @j_bertolotti @franco_vazza

narain,
@narain@mathstodon.xyz avatar

@johncarlosbaez Looks like your toot was inadvertently posted as a reply to an unrelated thread. Might want to repost it? Not sure it makes a difference to your followers, but it doesn't show up on your profile page.

christianp, to random
@christianp@mathstodon.xyz avatar

I poked myself in the eye with my glasses earlier () and can't reeally open my eyes. 111 said just stay at home, so I'm stuck basically immobile.
Good job I spent some time last week learning how to use BoiceOver on the work macbook. I've managed to log in and mathstodon was open, so heres a toot

narain,
@narain@mathstodon.xyz avatar

@christianp Hope your eye feels better soon!

gregeganSF, (edited ) to random
@gregeganSF@mathstodon.xyz avatar

On Tw*tter, Mike Lawler linked to a nice Physics Today article that points out that the planet whose average distance to Earth over any long period of time is the shortest is Mercury, not Venus.

I agree with their conclusions … but I wonder if there is an error in the specific formula they give for the average distance as an elliptic integral.

If we specialise to the case where one orbit is a unit circle and the other has radius r, Mathematica gives a somewhat different formula than theirs (actually two different formulas, for r>1 and r<1, blue and gold in the plot), which give close results to the Physics Today formula (green in the plot), but not exactly the same.

Numerical integration seems to confirm the formulas Mathematica gives.

Have I made some dumb mistake in the way I’ve set up the problem, or is the formula in the article wrong?

@buster and @duetosymmetry; the conventions for Mathematica’s EllipticE function and the elliptic integral function in the article are different; Mathematica’s function expects an argument that is the square of the one used in the article.]

https://pubs.aip.org/physicstoday/Online/30593/Venus-is-not-Earth-s-closest-neighbor

narain,
@narain@mathstodon.xyz avatar

@gregeganSF The case r = 1 is also interesting. It shows that over any long period of time, the Earth is on average quite far from itself. No, wait...

Breakfastisready, to random

There should be a mathstodon lemmy instance, for more organized discussions.

narain, (edited )
@narain@mathstodon.xyz avatar

@christianp @Breakfastisready @ColinTheMathmo There are already a few maths communities on existing Lemmy instances: https://browse.feddit.de/ (search for "math")
Though none of them have more than a dozen posts so far...

Edit: For convenience, here's the ones with |posts| ≥ 5 or |subscribers| ≥ 20: https://lemmy.world/c/math, https://lemmy.blahaj.zone/c/mathmemes, https://sh.itjust.works/c/math, https://lemmy.sdf.org/c/math, https://lemmygrad.ml/c/mathematics

narain, to random
@narain@mathstodon.xyz avatar

Today I learned that crocodilians are more closely related to birds than to other reptiles. WTF?
https://en.wikipedia.org/wiki/Archosaur

narain,
@narain@mathstodon.xyz avatar

@j_bertolotti I knew that about birds but didn't know it about crocs!

j_bertolotti, to random
@j_bertolotti@mathstodon.xyz avatar

The first time I ever heard the word "fortnight" was when somebody told me that one furlong per fortnight is almost exactly 1 cm per minute.
That was also the first time I was exposed to the word "furlong". You can imagine my confusion.

narain,
@narain@mathstodon.xyz avatar

@john @j_bertolotti Problem 1: It's unclear whether "biweekly" means "twice a week" or "once in two weeks".
Problem 2: It's unclear whether "bimonthly" means "twice a month" or "once in two months".

"Fortnight" swoops in to save the day! Once in two weeks = twice a month = "fortnightly". Now "biweekly" and "bimonthly" need to only mean one thing!

Problem 3: Now "bi-" means completely opposite things in "biweekly" and "bimonthly".

christianp, to random
@christianp@mathstodon.xyz avatar
narain,
@narain@mathstodon.xyz avatar

@christianp Now I'm wondering how to attach 2 handles to a sphere to make that thing.

  • All
  • Subscribed
  • Moderated
  • Favorites
  • Leos
  • ngwrru68w68
  • InstantRegret
  • thenastyranch
  • magazineikmin
  • GTA5RPClips
  • rosin
  • osvaldo12
  • tacticalgear
  • Youngstown
  • slotface
  • khanakhh
  • kavyap
  • DreamBathrooms
  • JUstTest
  • modclub
  • everett
  • provamag3
  • cubers
  • cisconetworking
  • ethstaker
  • Durango
  • mdbf
  • anitta
  • megavids
  • normalnudes
  • tester
  • lostlight
  • All magazines