@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.

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

Are you OK, Science magazine?

“The therapy, an injectable monoclonal antibody callnative to antimalarials used in areas where malaria is endemic; those drugs have to be taed L9LS, offers a possible alterken for several days each month to be protective.”

https://www.science.org/content/article/news-glance-infrared-telescope-debuts-gm-rice-stumbles-maternal-mortality-drops

Edited to add:

This should almost certainly be:

“The therapy, an injectable monoclonal antibody called L9LS, offers a possible alternative to antimalarials used in areas where malaria is endemic; those drugs have to be taken for several days each month to be protective.”

@narain diagnosed inadvertent drag & drop.

narain,
@narain@mathstodon.xyz avatar

@mjambon @gregeganSF Ohhh now it makes sense.

"The therapy, an injectable monoclonal antibody call|native to antimalarials used in areas where malaria is endemic; those drugs have to be ta(ed L9LS, offers a possible alter)ken for several days each month to be protective."

It's an inadvertent drag-and-drop in the word processor. The parenthesised part got moved from its original place at | to where it shouldn't be.

narain, to random
@narain@mathstodon.xyz avatar

I spent a couple hours today working out a Newton method for finding the closest rotation to a given matrix A, i.e. min ‖R − A‖² over R ∈ SO(3). Then I found out that Kugelstadt et al. already figured it out: https://animation.rwth-aachen.de/publication/0561/

Oh well. Glad to verify that I got the same result, but I like my derivation better; it's much shorter :)

narain,
@narain@mathstodon.xyz avatar

@johncarlosbaez Same thing that happens every time you ask Newton's method to find the minimum of a constant function: the gradient and Hessian are both zero and you can't go any further.

narain, to random
@narain@mathstodon.xyz avatar

Hey @lisyarus, I was going through your blog and saw that in your 2D soft-body physics engine post (https://lisyarus.github.io/blog/posts/soft-body-physics.html) you wrote about a technique you derived:

"I don't know a well-established name for this, and a quick google search failed to reveal anything of releavance, so I will call this method /shape matching/. If you know some resources on this, I would love to know them, since I had to derive all the equations myself :)"

Good news: it's literally called shape matching! https://matthias-research.github.io/pages/publications/MeshlessDeformations_SIG05.pdf

(P.S. I know your post is almost a year old, so I'm sorry if someone else has already told you this)

christianp, to firefox
@christianp@mathstodon.xyz avatar

Here's a question:
I have two virtual desktops on Ubuntu. On desktop 1, I have a firefox window with my email and calendar and mastodon tabs. On desktop 2, I have a firefox window with whatever I'm working on.
When I open a GitHub issue from an email, I'd like that tab to be in the window on desktop 2.
At the moment, the only way I know to do it is to drag the tab out of the window, then press ctrl+alt+shift+right to move it to desktop 2, then resize it and drag it onto the existing window there.

On the right-click menu on tabs, there's a "Move tab" submenu, but it doesn't offer the other window as an option, just "new window".
Is this something an extension could help me do?

narain,
@narain@mathstodon.xyz avatar

@christianp This extension seems to do the job (I just tried it out): https://addons.mozilla.org/en-US/firefox/addon/move-tab-to-next-window/

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

TIL if you do a comb filter (flange kinda) on a video, and invert phase, it amplifies motion. Neat!
https://youtu.be/JSm7Tp8iv3o?si=OcoTiR8ejk33R8p0

narain,
@narain@mathstodon.xyz avatar

@demofox It's basically a edge detection filter / finite difference gradient (convolve with [-1, 0, 1]) except applied in time rather than space.

Which suggests to me that convolving with [-1, 2, -1] (i.e. do sharpening instead of edge detection) may give more naturalistic results...

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

In differential geometry, if you have coordinates u and v on a surface, and someone talks about “the u-curves”, would you take this to mean:

(A) the various curves of constant u, and varying v
(B) the various curves of constant v, and varying u?

narain,
@narain@mathstodon.xyz avatar

@gregeganSF Surely "u-curve" is analogous to "x-axis"?

narain,
@narain@mathstodon.xyz avatar

@gregeganSF Makes sense. In a ≥3-manifold the u-curves would be unambiguous, and transverse to the u-surfaces.

christianp, to random
@christianp@mathstodon.xyz avatar

who knew that if you multiply a small number by a big number you get a number big enough to worry about?

shaking here

narain,
@narain@mathstodon.xyz avatar

@christianp As someone who works with floating point I only worry if the small number was first created by subtracting two big numbers

(I know what you mean though. Sympathies!)

narain, to random
@narain@mathstodon.xyz avatar

An interesting counterargument to the recent popularizations of geometric algebra as the ideal language for doing geometry in physics, computer graphics, and so on.

I haven't actually worked with GA enough to have an opinion either way, but their basic argument seems compelling:

"1. The wedge product and the rest of Exterior Algebra is 100% amazing, S-tier stuff, definitely something everybody who uses mathematics should know about [...]
2. The geometric product, though, is kinda weird and bad.
3. A lot of other parts of GA are working around the fact that the geometric product is weird and bad.
4. The “better” version of Geometric Algebra [...] which we are... slowly unearthing... will be mostly the same as GA but it will discard the geometric product as a basic operation, to everyone’s benefit. [...]"

https://alexkritchevsky.com/2024/02/28/geometric-algebra.html

j_bertolotti, to physics
@j_bertolotti@mathstodon.xyz avatar


The Lorenz system is a common example of chaotic dynamics and of a strange attractor.
Points with very similar initial conditions initially evolve very similarly to each other, until their trajectories diverge from each other, and start moving on a "butterfly"-shaped fractal.

Trajectories of a number of points following the Lorenz system equations, rendered as yellow tubes.

narain,
@narain@mathstodon.xyz avatar

@j_bertolotti @bleuje But Etienne is correctly concerned that in chaotic dynamics, the error grows exponentially with time, so you would have to stop very quickly! A more relevant result is the shadowing lemma:

"Although a numerically computed chaotic trajectory diverges exponentially from the true trajectory with the same initial coordinates, there exists an errorless trajectory with a slightly different initial condition that stays near ("shadows") the numerically computed one. Therefore, the fractal structure of chaotic trajectories seen in computer maps is real."

https://mathworld.wolfram.com/ShadowingTheorem.html
http://www.scholarpedia.org/article/Shadowing

christianp, to random
@christianp@mathstodon.xyz avatar

They all laughed when I wrote code to simulate long division by hand!

Well, today I had a serious reason to use it.

Who's laughing now?!

(not me, I'm crying about the edge cases)

narain,
@narain@mathstodon.xyz avatar

@christianp What fun!

diffgeom, to mathematics
@diffgeom@mathstodon.xyz avatar

Three-sheet Monty, branched over the origin: The complex cubing map (top to bottom) and multi-valued cube root (bottom to top) branched along the negative real axis.

Complex analysis books generally describe the Riemann surface of the cube root as something like "three copies of the slit complex plane, with the lower edge of each cut joined cyclically to the upper edge of the next cut." This description is correct, but (for me, at least) hides the simple global picture: The Riemann surface of the multi-valued cube root function is itself a complex plane.

The discontinuity of the principal cube root across the branch cut is depicted geometrically in the top plane by the jump in position of the larger dot. The continuity of the multi-valued function is similarly depicted as a rotating equilateral triangle of cube roots.

Comparable pictures hold for square roots, fourth roots, etc.

An animation loop depicting the complex cubing function and cube root multi-function against a black background. The plane at bottom is a gold rectangle with a blue Cartesian grid. The plane at top is a curvilinear dodecagon, the image of the Cartesian grid under the cube root. The principal cube root has the colors of the bottom, blue on gold. The other two branches, multiplied by non-trivial cube roots of unity, are gold on blue.

narain,
@narain@mathstodon.xyz avatar

@diffgeom Very nice picture, and it makes a lot of sense!

Your use of the phrase "continuity of the multi-valued function" piqued my interest. Is there a general theory of continuity of multi-valued functions? I've had reason to wonder about this from time to time, but never enough to really look into it.

narain,
@narain@mathstodon.xyz avatar

@diffgeom I wish I knew enough topology and complex analysis to find this intuitive 😅

I was thinking along these lines. One wants to be able to say, for example, that the map from a matrix to its eigenvalues is continuous. How would one formalize that? In fact this is a many-to-many map, so I'm not sure it's possible to perform a useful quotient here.

narain,
@narain@mathstodon.xyz avatar

@diffgeom Interesting, I didn't get a notification for this post. It doesn't show up in my replies/mentions tab either, even though I'm clearly tagged. @christianp, is this a bug in @Mastodon ?

christianp, to random
@christianp@mathstodon.xyz avatar

arg, I'm in the office today and I've left my TODO file on my home PC without any way of accessing it remotely

narain,
@narain@mathstodon.xyz avatar

@christianp TODO: Set up a way to access your TODO file remotely
TODO: Add above TODO item to your TODO file

christianp, to random
@christianp@mathstodon.xyz avatar

Inspired by @slowe sharing a chart showing a permutation, I nerdsniped myself into looking at how the curves between points are drawn, looking to make it easier to trace individual curves.
I've set up a @glitchdotcom experiment comparing curves with randomised control points against curves with fixed control points:
https://randomised-permutation-chart-curves.glitch.me/

I think the randomised one looks better more often than not, but it occasionally produces worse results.
If I was really getting stuck into this, I'd look into trying to make all the intersections happen as close to right-angles as possible.

narain,
@narain@mathstodon.xyz avatar

@christianp @lisyarus Iteratively moving the worst control point is coordinate descent!

ColinTheMathmo, to random
@ColinTheMathmo@mathstodon.xyz avatar

Live as if you were to die tomorrow. Learn as if you were to live forever. -- Mahatma Gandhi

narain,
@narain@mathstodon.xyz avatar

@ColinTheMathmo 'Variant on aphorism "Study as if you were to live forever. Live as if you were to die tomorrow" pre-dating Gandhi, variously attributed to Isidore of Seville (c. 560 – 636), in FPA Book of Quotations (1952) by Franklin Pierce Adams, to Edmund Rich (1175–1240) in American Journal of Education (1877), or to Alain de Lille in Samuel Smiles's Duty (1881).' https://en.wikiquote.org/wiki/Mahatma_Gandhi

gregeganSF, to random
@gregeganSF@mathstodon.xyz avatar

TIL that “spinor” is pronounced “spin”+“or”, which makes perfect sense ... but either none of my physics lecturers used the word, or I forgot how they said it. When reading it in text for the last 4 decades, I’ve been mentally pronouncing it “spine”+“or”.

https://www.bbc.co.uk/programmes/m000fw0p

narain,
@narain@mathstodon.xyz avatar

@gregeganSF
✋: Brent spinor
👉: fidget spinor

narain, to random
@narain@mathstodon.xyz avatar

A few months ago I came across a paper about how rational numbers can be represented as LEFT-infinite digit sequences without a decimal point.

For example, in base ten,
−1 = ...9999
because adding 1 to it gives ...0000. Similarly,
1/3 = ...6667
because multiplying it by 3 gives ...0001. It's a fun exercise to verify that 1/3 − 1 = −2/3 indeed holds in this system.

I can't find this paper any more. Does anyone know what it might be?

christianp, to random
@christianp@mathstodon.xyz avatar

Thought I'd have a look at @mscroggs's advent calendar (https://www.mscroggs.co.uk/)

narain,
@narain@mathstodon.xyz avatar

@christianp Sadly, after getting bored of enumerating things you also had to enumerate the number of things you enumerated before getting bored

narain, to random
@narain@mathstodon.xyz avatar

What is the area of a 3D polygon p₁p₂...pₙp₁? If the polygon is non-planar, this is not well-defined: if you split up the polygon into triangles pᵢpⱼpₖ and add up their areas ½‖(pⱼ−pᵢ)×(pₖ×pᵢ)‖, the result depends on the choice of triangulation. However, if you forget to take norms and just add up the vectors ½(pⱼ−pᵢ)×(pₖ×pᵢ) instead, you always get the same result: the "vector area" of the polygon! So if you're dealing with non-planar polygons, or non-planar curves in general, it makes sense to think of area as a vector rather than a scalar.

Further reading: https://en.wikipedia.org/wiki/Vector_area

narain, to random
@narain@mathstodon.xyz avatar

(axiom|Advent|Alexandria)
(of|Ocasio)
(Code|choice|Cortez)

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

If you draw all roots of all polynomials whose coefficients are ±1, you get an amazing picture that raises lots of challenging puzzles!

I really hope someone reads our short article:

https://www.ams.org/journals/notices/202309/rnoti-p1495.pdf

and solves the main puzzle: why do the fractal regions of this set look so much like "dragon sets"? We have a good heuristic explanation, but no proof yet.

People sometimes get excited about math when they learn about fractals, and then disappointed when they discover rather few professional mathematicians prove theorems about fractals. If you ever wanted to prove a cool theorem about fractals, this could be your chance!

If you read part 2, I'll show you what I'm talking about.

(1/2)

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

@gregeganSF @johncarlosbaez There's also an x ↔ −x symmetry in your plot that's absent in Thurston's.

narain,
@narain@mathstodon.xyz avatar

@johncarlosbaez @gregeganSF I found this hard to believe, because Fig 1 in Thurston's paper definitely doesn't look like it has the right symmetries, even inside the unit disk: the fern/tree-like parts on the left and the right look quite different. But on further inspection, I can imagine that the underlying point set could be symmetric although the density distribution is not (maybe some points have more multiplicity on one side than on the other).

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