Indira Lara Chatterji has some nice open-licensed animated gifs of concepts in low-dimensional geometry and topology at math.unice.fr/~indira/Mygifs.h

This is one of them, unzipping a 2-torus.

@sarielhp Thanks. I'll be sure to add a citation the next time I revise.

0xDE boosted

One of the first non-trivial straight skeletons (as a roof model), from _Kotirte Ebenen (Kotirte Projektionen) und deren Anwendung_ by Gustav A. von Peschka (1877). See en.wikipedia.org/wiki/Straight

The world's hardest irregular sudoku: puzzling.stackexchange.com/que

The joke is that the puzzle itself is easy. "Hardest" means only that it has few givens. The meta-puzzle is to construct the puzzle: a 9x9 grid divided into 9 9-ominoes (analogous to the 3x3 blogs of standard sudoku), with as few grid cells as possible specified as givens so that there is a unique solution.

@RefurioAnachro The other one that comes to mind for me is greedy embedding (en.wikipedia.org/wiki/Greedy_e) where every graph has one in the hyperbolic plane but not even a six-leaf star has one in the Euclidean plane.

A quasi-polynomial algorithm for well-spaced hyperbolic TSP: arxiv.org/abs/2002.05414

This new preprint by Sándor Kisfaludi-Bak (accepted to SoCG) just came out and caught my attention. TSP is NP-hard for Euclidean points or close-together hyperbolic points. This paper shows that it's much easier when the points are widely spaced in the hyperbolic plane. The idea is to separate the input by a short line segment that the solution crosses few times and apply dynamic programming.

Jorge Hirsch repudiates the h-index he invented: arxiv.org/abs/2001.09496

"I have now come to believe that it can also fail spectacularly and have severe unintended negative consequences. I can understand how the sorcerer’s apprentice must have felt."

(This is an aside; the actual article is about Hirsch's difficulty in breaching the orthodox consensus on superconductivity.)

TeX in real world production 

How to generate all flats of the cycle matroid of a graph: mathoverflow.net/a/350526/440

A flat is a partition of vertices into connected induced subgraphs. If you give edges distinct weights and look at the minimum spanning forests of the flats, you get a nice tree structure on the space of all flats where the parent of a flat removes the heaviest edge from its forest (partitioning one tree and therefore one subgraph into two). This leads to efficient enumeration algorithms using reverse search.

Targets for these big proposed budget cuts also include the Centers for Disease Control and the part of the CDC that handles animal-to-human disease transmission (like the current coronavirus outbreak): arstechnica.com/science/2020/0, via dailykos.com/stories/2020/2/11

The list of accepted papers for this year's Symposium on Computational Geometry (late June in Zürich) is online: socg20.inf.ethz.ch/socg-accept

So far there are only authors and titles (by the date of the conference the full papers will be online open access) but probably for many of them you can search for the title and find more.

Big cuts to most US research funding agencies in Trump's proposed 2021 budget: sciencemag.org/news/2020/02/tr

The only not-so-bad news here is that actual federal budgets have to start in the House of Representatives, not the White House. But this is probably a warning of budget battles to come soon.

Visualize how much junk from third-party sites you download when you visit your favorite web site: simonhearne.com/2015/find-thir

Mathstodon.xyz: Completely clean. Wikipedia: only a few small bits and pieces from other Wikimedia sites. Some other sites that I visit regularly: lots of junk. Adblockers help, but attention to keeping things slim in site design would help more.

Triangle dissection, no shared edges: math.stackexchange.com/questio
(the intended target of a recent broken link from mathpuzzle.com)

The question is how to divide a triangle into smaller triangles, no two sharing a whole edge, but the solutions shown also have no separating triangles and a straight angle at each interior vertex. Double-counting angles and combining with Euler shows that, with these conditions, \(F=V-1\). Do all internally-4-connected planar graphs with \(F=V-1\) work?

@JordiGH Maybe the extroverts are all on that other more-widely-used microblogging site?

@jsiehler The ACM compiles an annual "Notable books of the year" listing in computingreviews.com/recommend but I don't think it really serves the same purpose. Probably the CS literature changes too rapidly to make this as feasible as it is for mathematics.

Schnittpunkte: walser-h-m.ch/hans/Schnittpunk

Hans Walser extends his book 99 Points of Intersection (en.wikipedia.org/wiki/99_Point) to over 800 geometric constructions involving points where three or more lines, circles, or other curves all cross each other.

The text is in German but that doesn't matter because there's so little of it. Most of the content is a figure for each point of intersection, with three smaller figures showing its construction.

@JordiGH @Shufei The ones that don't require a phone are starting to require a facebook account. (I have a phone, but not facebook.)

The plum trees (or cherry? I don't know) are in bloom outside the building I work in this week.

Show more
Mathstodon

A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes. Use \( and \) for inline LaTeX, and \[ and \] for display mode.