Mathematicians Make Even Better Never-Repeating Tile Discovery

An unsatisfying caveat in a mathematical breakthrough discovery of a single tile shape that can cover a surface without ever creating a repeating pattern has been eradicated. The newly discovered “spectre” shape can cover a surface without repeating and without mirror images.

The pattern on the left side is made up of the “hat” shape, including reflections. The pattern on the right is made up of round-edged “spectre” shapes that repeat infinitely without reflections

David Smith et al

Mathematicians solved a decades-long mystery earlier this year when they discovered a shape that can cover a surface completely without ever creating a repeating pattern. But the breakthrough had come with a caveat: both the shape and its mirror image were required. Now the same team has discovered that a tweaked version of the original shape can complete the task without its mirror.

Simple shapes such as squares and equilateral triangles can tile a surface without gaps in a repeating pattern. Mathematicians have long been interested in a more complex version of tiling, known as aperiodic tiling, which involves using more complex shapes that never form such a repeating pattern.

The most famous aperiodic tiles were created by mathematician Roger Penrose, who in the 1970s discovered that two different shapes could be combined to create an infinite, never-repeating tiling. In March, Chaim Goodman-Strauss at the University of Arkansas and his colleagues found the “hat”, a shape that could technically do it alone, but using a left-handed and right-handed version. This was a slightly unsatisfying solution and left the question of whether a single shape could achieve the same thing with no reflections remaining.

The researchers have now tweaked the equilateral polygon from their previous research to create a new family of shapes called spectres. These shapes allow non-repeating pattern tiling using no reflections at all.

Until now, it wasn’t clear whether such a single shape, known as an einstein (from the German “ein stein” or “one stone”), could even exist. The researchers say in their paper that the previous discovery of the hat was a reminder of how little understood tiling patterns are, and that they were surprised to make another breakthrough so soon.

“Certainly there is no evidence to suggest that the hat (and the continuum of shapes to which it belongs) is somehow unique, and we might therefore hope that a zoo of interesting new monotiles will emerge in its wake,” the researchers write in their new paper. “Nonetheless, we did not expect to find one so close at hand.”

Sarah Hart at Birkbeck, University of London, says the new result is even more impressive than the original finding. “It’s very intellectually satisfying to have a solution that doesn’t need the mirror image because if you actually had real tiles then a tile and its mirror image are not the same,” she says. “With this new tile there are no such caveats.”

For more such insights, log into www.international-maths-challenge.com.

*Credit for article given to Matthew Sparkes*


Exploring ‘compellingness’ in mechanism design

Consider an auction. You have two types of main protagonists or agents: a seller (or auctioneer) and many potential buyers. There are, of course, certain ground rules. For instance, one objective may be to design the auction in such a way that the person buying the item(s) up for sale is the buyer “who values that good the most.”

But, says Singapore Management University Associate Professor of Economics Takashi Kunimoto, what if you do not know which potential buyer does give the item the highest valuation?

“For example, I want to design a scheme in such a way that they’re willing to tell the truth about their valuation, and I can choose the person who values it the most. So that’s the kind of framework I have in mind to determine who’s going to be a winner, with what probability, and who pays how much.”

Professor Kunimoto, whose research interests include game theory, mechanism design, and macroeconomic theory, has written a paper in conjunction with two other SMU researchers, Professor of Economics Shurojit Chatterji, and Research Fellow Paulo Ramos, titled “Compellingness in Nash Implementation.”

John Nash, who featured in the Russell Crowe movie “A Beautiful Mind,” was awarded the Nobel Prize for Economics in 1994 for his work on the mathematics of game theory. Professor Kunimoto says that, when it comes to a group of agents interacting with each other—whether it be in an auction or in an institution or organization—he has to make a “fundamental assumption about where their interactions will lead,” often referred to as “Nash equilibrium.” (This is when no player can benefit by unilaterally changing their strategy and consequently is “somehow locked in and therefore cannot find anything better.”)

One potential issue with this framework, however, is that there may be many different Nash equilibria. “As a designer I don’t really know which one is going to be played,” says Professor Kunimoto.

This is where Nash implementation comes in. “Can I design a mechanism in such a way that every Nash equilibrium delivers an outcome I want to implement?”

Another Nobel laureate, Eric Maskin, had already established this basic framework, Professor Kunimoto told the Office of Research, but “one issue was omitted in literature. Even though you’re looking at many equilibria, somehow, they only focus on ‘pure strategy’ equilibria so they don’t resort to randomization.” (Pure strategy implies that the player chooses the same strategy each time in a deterministic manner).

This is where the classic example of a penalty shoot-out in football comes in. There is a striker and a goalkeeper. They can go left or right (although, in reality, there are other options). It is, as Professor Kunimoto points out, a zero-sum game. Either the striker scores or does not. “So, my best strategy is the worst strategy for the other. There’s a complete conflict of interest.”

In this zero-sum game, the equilibrium plays entails randomization, implying that the striker does not always try to place the ball in the same part of the net. “But implementing such a randomizing strategy might be quite sophisticated.”

“When I say that with Nash implementation, every Nash equilibrium delivers the right outcome, somehow I implicitly assume they’re going to play some pure strategy which involves no randomization.”

Professor Kunimoto then opts for a mixed strategy approach which does involve randomization and “should be even better” at predicting outcomes. “If that’s the case, maybe I’d better be more careful about how I design the mechanism.”

Of course, the mixed strategy equilibrium could be less likely to be played than the pure strategy equilibrium. If this is the case, one can call such a mixed strategy equilibrium ‘not compelling.” On the contrary, the mixed strategy equilibrium could be more likely to be played than the pure strategy equilibrium. In this case, one can call such a mixed strategy equilibrium ‘compelling.”

But, on the assumption that more than one mixed strategy could be played, “one might be called ‘compelling’ and the other might not.” (In the paper, the researchers call a mixed strategy equilibrium ‘compelling’ if its outcome Pareto—an action resulting in no one losing out although it helps one party—dominates any pure strategy outcome.)

To what extent then does the design of the mechanism need to be modified?

“The question is fundamental and was already addressed in the literature,” says Professor Kunimoto, “but somehow it was overlooked and that’s the context of the question I’m interested in.”

As we have seen, many assumptions are made in understanding the plausibility of both pure and mixed strategy equilibria in Nash implementation. However, isn’t a study of just two participating parties or agents somewhat limited in its focused approach?

“Yes, but we encountered difficulty characterizing how mixed strategy equilibria look like in the mechanism with more than two agents. To avoid some of the technical issues, we decided to confine our attention to the case of two agents.”

“When I design a mechanism, I do not necessarily look at one that works in the real world. To do that, maybe I have to come up with some robustness requirement, which, I hope, leads us to more natural mechanisms.”

“I just hope that finding a more natural mechanism might lead to a mechanism which might work in the real world, and I think my contribution is going to be somehow pushing this agenda towards finding more effective institutions—but it’s still a long way off.”

“Hopefully if we provide the set of guidelines, policymakers and others may find some of the applications useful, although given what I’ve said in the paper, it’s still a long shot.”

As for the paper itself, it has yet to be published and is likely to need some revision.

For instance, in the abstract, the researchers state that they “illustrate the difficulty of extending our result to the case of more than two agents.”

“When we extend our results to environments with three or more agents in a straightforward manner,” the paper concludes, “the class of environments in which compelling implementation is possible becomes very small.”

Professor Kunimoto says, however, they can handle more than two agents as this, he acknowledges, “was a significant limitation in the draft paper. Fortunately, we’re almost able to overcome that deficiency.”

To do that, they are now considering “mini versions of the two-person case, but in many pairs.”

In essence, it all comes down to ‘reverse engineering’ game theory. Instead of trying to make predictions about how the game is going to be played, “we want to go the other way round this,” Professor Kunimoto says.

“Somehow, I really want a particular prediction to be consistent with the objective I want to achieve. I want to design a mechanism, but the outcome is going to be exactly the one I want implemented.”

For more such insights, log into our website https://international-maths-challenge.com

Credit of the article given to Stuart Pallister, Singapore Management University


Theoretical study offers proof that one parallel world cannot be extremely different from the other

Theoretical string theory in theoretical physics predicts the existence of parallel worlds (mirror symmetry prediction). These two worlds (A-side and B-side) are supposed to differ in terms of the six-dimensional spaces (A and B) hidden in each world.

However, as these spaces are extremely similar and invisible, theoretically, we cannot distinguish them from the world that we live in. Considerable research has been conducted on the properties of space A, and extreme changes (i.e., blowing up) do not occur in it under certain conditions.

However, recently it has been discovered that spaces A and B are transformed in certain ways and their apparently different objects correspond to each other. However, the nature and extent of this transformation are not well understood, and research on the properties of space B has not yet progressed.

In this new study, published in the Asian Journal of Mathematics, researchers mathematically investigated whether the behaviour of space B also has the same properties as that of space A. They transferred a known phenomenon from the A-side to the B-side and proved that blowing up does not occur even in space B under certain conditions.

This achievement provides mathematical proof for one of the previously intuitively expected similarities between the A-side and B-side. Although the researchers made some assumptions to prove this theorem, in the future, they aim to clarify whether the theorem holds even without these assumptions.

For more such insights, log into our website https://international-maths-challenge.com

Credit of the article given to University of Tsukuba