Shakedown Social

Constraints JournalHappy Monday everyone!Here's something to brighten up the start of your week: a paper about solving mathemusical problems with ILP and SAT, from our latest issue:Computing aperiodic tiling rhythmic canons via SAT models <a href="https://link.springer.com/article/10.1007/s10601-024-09375-6" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://link.springer.com/article/10.1007/s10601-024-09375-6</a>To make this Monday extra sweet: the authors use MapleSAT!<a href="https://mastodon.acm.org/tags/Mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Mathematics</a> <a href="https://mastodon.acm.org/tags/Music" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Music</a> <a href="https://mastodon.acm.org/tags/ConstraintProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ConstraintProgramming</a> <a href="https://mastodon.acm.org/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> <a href="https://mastodon.acm.org/tags/Rhythm" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Rhythm</a> <a href="https://mastodon.acm.org/tags/AcademicMastodon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AcademicMastodon</a> <a href="https://mastodon.acm.org/tags/BooleanSatisfiability" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#BooleanSatisfiability</a> <a href="https://mastodon.acm.org/tags/AperiodicTiling" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AperiodicTiling</a> <a href="https://mastodon.acm.org/tags/MapleSAT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MapleSAT</a> <a href="https://mastodon.acm.org/tags/ILP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ILP</a> <a href="https://mastodon.acm.org/tags/CombinatorialAlgorithms" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CombinatorialAlgorithms</a> <a href="https://mastodon.acm.org/tags/ArtificialIntelligence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ArtificialIntelligence</a>

Karthik SrinivasanWow!! What a breathe of fresh air this paper is in the midst of suffocating levels of "AI solves everything" hype cycle. <a href="https://arxiv.org/abs/2303.10798" rel="nofollow noopener noreferrer" target="_blank">https://arxiv.org/abs/2303.10798</a>They have found at long last, a single tile, an "einstein", which they call a "hat"/polykite that tiles the entire plane aperiodically. Previously the best known aperiodic tiling of the plane required at the least two different tiles, the most famous ones being the Penrose tiles, and those that adorn Alhambra. It is all the more wonderful that the first two authors don't have any academic/research affiliations. They write somewhere in the paper, how it all started, so wonderful: "One of the authors (Smith) began investigating the hat polykite as part of his open-ended visual exploration of shapes and their tiling properties. Working largely by hand, with the assistance of Scherphuis’s PolyForm Puzzle Solver software (<a href="http://www.jaapsch.net/puzzles/polysolver.htm" rel="nofollow noopener noreferrer" target="_blank">www.jaapsch.net/puzzles/polysolver.htm</a>), he could find no obvious barriers to the construction of large patches, and yet no clear cluster of tiles that filled the plane periodically." Why is the study of tilings such a big deal? Well, it hints at and tries to formalize various physics concepts that are of immense interest to many of us (and dare I say, even neuroscientists): quasi crystals!, possible new states of matter, emergent structures from simple units, how symmetries and asymmetries arise, stability of heterogenous media, soft matter physics, order without periodicity, criticality etc., etc., On quasi-crystals and their search, applications, uses etc., I recommend the wonderful Paul Steinhardt's book: "The Second Kind of Impossible: The Extraordinary Quest for a New Form of Matter" <a href="https://neuromatch.social/tags/Physics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Physics</a> <a href="https://neuromatch.social/tags/Maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Maths</a> <a href="https://neuromatch.social/tags/Combinatorics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Combinatorics</a> <a href="https://neuromatch.social/tags/AperiodicTiling" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AperiodicTiling</a> <a href="https://neuromatch.social/tags/PenroseTiles" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PenroseTiles</a> <a href="https://neuromatch.social/tags/Einstein" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Einstein</a> <a href="https://neuromatch.social/tags/Emergence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Emergence</a> <a href="https://neuromatch.social/tags/condensedmatter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#condensedmatter</a>

Recent searches

Search options

Administered by:

Server stats:

#aperiodictiling