View source for Talk:Penrose tiling

{{Article history
| action1 = GAN
| action1date = 17:22, 27 November 2009
| action1link = Talk:Penrose tiling/GA1
| action1result = listed
| action1oldid = 328217263
| topic = Math
| action2       = GAR
| action2date   = 16:46, 7 April 2020 (UTC)
| action2link   = Wikipedia:Good article reassessment/Penrose tiling/1
| action2result = Kept
| action2oldid  = 949112746
| currentstatus = GA
}}
{{WikiProject banner shell|class=GA|
{{WikiProject Mathematics|importance=mid}}
}}
==No [[crystallographic restriction]]? ==

I find it odd that the whole article makes no mention of the significance of Penrose tiles as a quasi-counterexample of the [[crystallographic restriction]], since they exhibit five-fold symmetry. Why is that? Was it deliberately decided to omit what looks like one of the most important facts about Penrose tiles, or am I confused about their nature? [[User:Digana|Swap]] ([[User talk:Digana|talk]]) 04:30, 7 March 2008 (UTC) 

==What is a Tiling?==

What, then, is a "tiling"? Is there such a thing as "aperiodic tiling"? For that matter what is "the penrose tiling"? 

Unfortunately, the terms, as used in this article, are thoroughly entrenched, even though they are not mathematically defined.  (I've made several changes to this article, and the article on Aperiodic tiling to reflect this. Much more work is needed.) 

A tiling is a covering of the plane by a set of tiles with non-overlapping interiors. A given set of tiles "admits" a tiling iff there is a tiling by congruent copies of tiles in the set. One can consider the collection of all tilings admitted by a given set of tiles. 

(And here's the trouble-- everything in the paragraph above is often collectively referred to as "tiling"; The Penrose Tiling, approximately, seems to refer to a system consisting of the Penrose tiles (in one of their variations), and all of the tilings they produce)

A given "set of tiles" is '''aperiodic''' iff it admits only non-periodic tilings. So aperiodicity, formally, is a property of a set of tiles, not a tiling. This is an important distinction--- mere non-periodicity, a property of tilings,  is not so special.

I guess one could mathematically define tiling ''and'' Tiling, but as tempting as that might be,  I don't think there is any precedent for that kind of nonsense. The fact is, we have a well established, but inadequate, informal term, and a less-known, but more precise mathematical term.

In casual conversation, to be frank, I'm as likely as the next guy to refer to The Penrose Tiling; but it is not a completely meaningful term in itself.  This is subtle, but essential.  — C. Goodman-Strauss

:If 'aperiodic tiling' is a misnomer then we cannot have the genus-species explanation, i.e. tiling>aperiodic tiling>Penrose tiling.
:This suggests to [http://en.wikipedia.org/wiki/Talk:Aperiodic-tiling discuss] a [[Wikipedia:Rename|'''renaming''']] of the [[aperiodic tiling]] page.
:For  mathematicians, apparently, sets of tiles come before tilings, so finite precedes infinite. But there is the awkward point about the (aperiodic) sets of tiles which do not admit a tiling - why call such shapes 'tiles'?[[User:Ael 2|al]] 12:01, 23 September 2007 (UTC)

::The genus-species definition is possible as
:: tiling>nonperiodic tiling>Penrose tiling
:: which avoids the term 'aperiodic tiling' and also the quaint wording that presents a tiling as set of tiles. [[User:195.96.229.83|195.96.229.83]]  <small>—Preceding [[Wikipedia:Signatures|comment]] was added at 12:04, 18 October 2007 (UTC)</small><!--Template:Undated--> <!--Autosigned by SineBot-->

==L-systems==
Several images were not Penrose tilings, but were outputs from L-systems.  I've moved them to [[L-system]].  Now someone needs to explain in that article what those images actually are, and how the L-system generated them.

:Now I too wonder how the L-system generates the tilings. I have one guess: it might use deflation. Is this correct? [[User:Sverdrup|&mdash;Sverdrup]][[User talk:Sverdrup|(talk)]] 15:31, 27 Dec 2003 (UTC)

A free Microsft Windows program to generate and explore rhombic Penrose tiling is available at http://www.stephencollins.net/penrose.  The software was written by Stephen Collins of Splendid Software, in collaboration with the Universities of York, UK and Tsuka, Japan.

LSystems can be generated using the free Software http://jlsystem.sourceforge.net. [[User:Helohe|helohe]] 12:10, 1 October 2005 (UTC)

== Clark Richert ==

Yeah, I know that a reference to a random guy posting at Slashdot is exactly what Wikipedia needs. :) But his [http://science.slashdot.org/comments.pl?sid=148921&cid=12503476 post] mentions tome interesting things about the tiles, including that Clark Richert has figured at least a part of that at the same time as Penrose. [[User:Paranoid|Paranoid]] 15:05, 12 May 2005 (UTC)

: A very important distinction is that Richert does not claim he had invented the matching rules; as I understand it, he only is claiming to have discovered the pattern they force. This is the crux of the matter: the Penrose tiles are interesting because they can ''only'' form this particular non-periodic structure. Of course, Kimberly-Clark was only printing the pattern on it's tissues, not making any infringement, I think, on the matching rules and tiles themselves. --[[User:69.152.216.28|69.152.216.28]] 18:53, 17 September 2007 (UTC)

==Projection==
Note that the Penrose tiling is a [[projection]] of a five dimensional lattice (which has [[cubic symmetry]]) down to two dimensions; thus, the readily apparent symmetry in five dimensions is rather hidden and obfuscated when seen in two.

:I heard that it is not a projection of the entire five dimensional lattice, but just of the part of the lattice within a slab between two parallel four-dimensional flats. Is that right? [[User:JRSpriggs|JRSpriggs]] 07:19, 28 February 2007 (UTC)

== No Matching Rules Discussed ==

There is a serious-- indeed critical!-- flaw in this article. The rhombs shown CAN tile periodically. (indeed, of course, any quadrilateral can). The essential aspect of the Penrose tiles is that they are marked in such a way that they can ONLY tile non-periodically. With no discussion or illustration of the matching rules that drive the construction, unfortunately, the article is nonsense. 

(The illustrations do show the structure the Penrose tiles are forced to assume, but not the actual tiles themselves) 

Here is a reference, chosen by Google: www2.spsu.edu/math/tile/aperiodic/penrose/penrose2.htm --<small>—Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/69.151.118.199|69.151.118.199]] ([[User talk:69.151.118.199|talk]]) {{{2|}}}</small><!-- Template:UnsignedIP -->

:The article currently reads (after describing the shapes):
:<blockquote>The tiles are put together with one rule: no two tiles can be touching so as to form a single parallelogram. The tiles can be modified with bumps and dents around the perimeter to enforce this rule, but the tiling looks better if they have smooth sides.</blockquote>
:Perhaps this should be more emphasized to avoid confusion by other future readers.  --[[User:C S|C S]][[User talk:C S| (Talk)]] 03:26, 11 March 2006 (UTC)

::That rule is erroneous.  The actual matching rule can be made by placing an arrow on each side of each rhomb, using two colors as in the diagram.  The directions of the arrows can be assigned by choosing a direction for one edge in the diagram and propagating it.  The rule is that when two rhombs are placed together, the arrows and colors must match.  This seems to boil down to the above rule '''plus the color constraint''' when placing two '''identical''' rhombs together, but the actual rule also constrains putting different rhombs together. &ndash;Dan Hoey 02:28, 24 April 2007 (UTC)

Thank you; I did overlook this. But of course I wouldn't have been the only one. And the standard stripes that are often drawn on the rhombs are quite attractive!

:True. This needs to be covered in the article, preferably with a picture. [[User:Reyk|<span style="color:maroon;">'''Reyk'''</span>]] [[User talk:Reyk|'''<sub style="color:blue;">YO!</sub>''']] 22:08, 20 May 2006 (UTC)

::Is there any reference or better description for that strange rule
::<blockquote>The tiles are put together with one rule: no two tiles can be touching so as to form a single parallelogram. The tiles can be modified with bumps and dents around the perimeter to enforce this rule, but the tiling looks better if they have smooth sides.</blockquote>
::? While the second (well-known) method implies the first, the converse does not hold, i.e. the "one rule" is not sufficient to guarantee non-periodicity: One big rhomb and two small ones can be put together to form a hexagon and these tile the plane periodically and obeying that rule (smeone produced some piece ASCII art of this on the talk page of the german article).--[[User:Hagman-de|Hagman-de]] 08:58, 10 March 2007 (UTC)

::[[Image:PenroseBogus.GIF|thumb|200px|Periodic tiling showing that the parallelogram rule is insufficient]] Here is an example of the parallelogram-free hexagon tiling. &ndash;[[User:Dan Hoey|Dan Hoey]]<sup>[[User_talk:Dan Hoey|talk]]</sup> 23:04, 30 April 2007 (UTC)

::[[Image:Penrose-tiles-bump-and-color-coded.svg|thumb|200px|bump-and-color-coding for rhombs]] I see that [[Commons:User:Hagman]] has put up an image of a real set of matching rules.  I prefer these rules to the arrow rules by [[User_talk:Ael 2]]. Actually, it would look even better without the bumps. Getting the colored arcs into a larger picture for the beginning of the article would require more work, unless we can find something in one of the other wikipedia articles--both the French and German versions seem to have better content than this one. &ndash;[[User:Dan Hoey|Dan Hoey]]<sup>[[User_talk:Dan Hoey|talk]]</sup> 23:42, 30 April 2007 (UTC)

=== Proposal for matching rules ===

I made a christmas and new-year card for my friends using penrose tilings. The program that I wrote for this card can also easily generate other figures, and I believe they are usefull for explaining the matching rules. I have split up the section "Drawing the penrose tiling" two subsections: "L-Systems" and "Deflation". Under the section "Deflation" I have put some figures and explanations about how to generate a penrose tiling based on the matching rule, using of the deflation principle. It is certainly instructive to have some extra words about these matching rules in the introduction. <small>—The preceding [[Wikipedia:Sign your posts on talk pages|unsigned]] comment was added by [[User:Tovrstra|Tovrstra]] ([[User talk:Tovrstra|talk]] • [[Special:Contributions/Tovrstra|contribs]]) 14:35, 30 December 2006 (UTC).</small><!-- HagermanBot Auto-Unsigned -->

== Explanation? ==

How about a section explaining why the tiling is aperiodic, how it works, and why this is interesting? [[User:Torokun|Torokun]] 22:05, 28 March 2006 (UTC)
And also, why insist (as many others do) that ' given a bounded region of the pattern, no matter how large, that region will be repeated an infinite number of times within the tiling' which is a feature of random systems? [[User:85.187.217.182|85.187.217.182]] 23:17, 13 November 2006 (UTC)

== More penrose tiles needed? ==
See ''The colossal book of mathematics'', Gardner M., ''Penrose tiles''. The tiles featured there are more interesting and should be added.[[User:Doomed Rasher|Doomed Rasher]] 18:19, 2 September 2006 (UTC)

== Link to a Penrose-base artistic image ==
Ref: Kepler/Penrose tiling problem...i am an independent artist/designer and about 20 yrs ago i painted a picture depicting a periodic pattern using the Kepler/Penrose tiles (derived from the dissection of a pentagon)...and this image can be perused on my web-site at:
:http://www.peterhugomcclure.com/colour%20images/36.htm

Best regards pete mcclure.--[[User:81.86.8.62|81.86.8.62]] 13:00, 22 November 2006 (UTC)

:Hi Pete. Are you willing to allow use of the image directly on the wikipedia? There's a choice of copyright tags to go with an image here; see [[WP:TAG]].--[[User:Noe|Niels Ø]] 09:08, 23 November 2006 (UTC)

::Jos Leys has also made some imagery using Penrose Tiles.  Jos Leys's website is [http://www.josleys.com/ here], while the Penrose specific images can be perused [http://www.josleys.com/show_gallery.php?galid=238 here].  Still, I think these images should only considered if they can add something to the article.  Or maybe in a section on the use of Penrose Tiles by artists.  [[User:Scribblesinmindscapes|Scribblesinmindscapes]] 17:04, 23 January 2007 (UTC)

:::I think you misunderstand the significance of Pete's work. He has created a ''periodic'' Penrose tiling having ''translational'' symmetry in both dimensions (wich I verified in a paint program). This contradicts a statement in the article that the "parallelogram rule" results in an aperiodic tiling. =[[User:Axlq|Axlq]] 19:21, 27 January 2007 (UTC)

::::Aaah, okay, I initially just took Pete's comment as artistic, as being indicative of an artistic work inspired by Penrose Tiling.  The tiling in his picture is not the Penrose tiling.  It has translational symmetry and it uses the constituents of a Penrose tiling to form a tiling with translational symmetry - but the real Penrose tiling must use the constituent tiles in a certain manner as discussed in the wikipedia article.  Penrose's original paper also starts by saying: "'kites' and 'darts', which, when matched according to certain simple rules, could tile the entire plane, but only in a non-periodic way".  Penrose's article can be found here (and should perhaps be included as an external link): [http://www.ma.utexas.edu/users/radin/aperiodicity.html]  Pete's work does not agree with the pictures in the wikipedia article and I can therefore only assume that it doesn't match the tiles correctly.  I think the usage of the words Penrose Tiles for the constituents  are a bit misleading as indicated they need to be tiled in a certain way to be aperiodic.  I'm not a researcher in the field of aperiodic tilings or quasicrystals so disagreement welcomed.  [[User:Scribblesinmindscapes|Scribblesinmindscapes]] 09:24, 28 January 2007 (UTC)

:::::Pete's work falls under the section of this article titled "Rhombus tiling" – not kites and darts – and follows the rhombus tiling rule exactly.
:::::I just confirmed that the picture now shown in that section also has translational symmetry in both dimensions — the region outline itself is tile-able. There is a disconnect between the text in that section and the picture; now that I know the picture has translational symmetry, the text now seems flawed or unclear. =[[User:Axlq|Axlq]] 19:23, 28 January 2007 (UTC)

== Kite or Kile? ==

Most (all?) of the times that the word appears in the text, it's 'kite.'  However, the word appears in some images (and the name of the images) as 'kile.'  I expect that 'kite' is correct, though I have no idea.  It'd be a good thing for someone knowledgeable in Penrose tiling to make consistent.

<small>—The preceding [[Wikipedia:Sign your posts on talk pages|unsigned]] comment was added by [[User:Stomv|Stomv]] ([[User talk:Stomv|talk]] • [[Special:Contributions/Stomv|contribs]]) 12:45, 23 February 2007 (UTC).</small><!-- HagermanBot Auto-Unsigned -->

: Probably some typing error; never heard about 'kile', definitely.[[User:Ael 2|al]] 20:39, 26 February 2007 (UTC)

: "Kile" in norwegian means a '''wedge''' (or ''to tickle'') [[User:Cuddlyable3|Cuddlyable3]] 07:57, 15 May 2007 (UTC)

== More external links ==

Some more external links which I thought was quite good concerning Penrose Tiles (see below).  I'm adding this here so that someone more familiar with the topic can review it and see if it might be useful re the article.

American Mathematical Society article:  [http://www.ams.org/featurecolumn/archive/penrose.html]  

Clay Mathematics Institute article:  [http://www.claymath.org/library/senior_scholars/stanley_ardila_tilings.pdf]

[[User:Scribblesinmindscapes|Scribblesinmindscapes]] 16:40, 10 January 2007 (UTC)

: Another Penrose Tiles article at AMS:  [http://www.ams.org/featurecolumn/archive/ribbons.html]
: [[User:Scribblesinmindscapes|Scribblesinmindscapes]] 18:48, 27 January 2007 (UTC)

===Media Hype===
Rewrote the passage about the Steinhardt & Lu paper and trimmed irrelevant links. The idea is not really new, but the name of Steinhardt, an acknowledged expert, gives it now more weight. Artisanal practices suggest  examples, but do not produce mathematical objects; an ellipse does not prove that its daughtsman had a theory of conic sections.[[User:195.96.229.83|195.96.229.83]] 13:28, 27 February 2007 (UTC)

:I think that this paper is important, not just for the link to Islamic architecture, but because it gives tiles which allow you to achieve 10-fold rotational symmetry rather than the mere 5-fold symmetry achievable with the Penrose's own tilings. In both cases there is also an additional reflectional symmetry. So the pattern can be generated by reflections of an 18 degree (for Lu's scheme) or 36 degree (for Penrose's scheme) section between two mirrors. [[User:JRSpriggs|JRSpriggs]] 07:19, 28 February 2007 (UTC)

:If you believe that tenfold symmetry is somehow superior to fivefold perhaps you should appreciate the [[pinwheel tiling]] which has symmetry of infinite order. The Radin paper [1]  explains that the Penrose tiling has indeed a tenfold statistical symmetry  but the  local is just fivefold (added this just the other day and meant to clean up references and notes).
A place for links to art could be the end section ('Triva') which we should perhaps rename. I agree that Jos Leys' site mentioned somewhere above should not be missed. [[User:195.96.229.83|195.96.229.83]]

:::I am not talking about some kind of average or statistical symmetry. I am talking about a perfect rotational symmetry around a single point. [[User:JRSpriggs|JRSpriggs]] 10:39, 28 February 2007 (UTC)

:::A nice symmetry around a central point  can be easily achieved by arranging mirror pairs of identical pie-slices from an aperiodic tiling. Their angle should be pi/n. A more elegant solution would be to find an aperiodic decomposition of a triangle and to arrange (pairs of) triangles to form a vertex. Tubingen triangles, Robinson triangles and the pinwheel substitution illustrate this idea.
:::The main interst in an aperiodic tiling is a lack of symmetry: aperiodic means lacking translational symmetry. The surprise is that only with an aperiodic tiling you can achieve otherwise 'forbidden' symmetries.
:Roger Penrose was searching to decrease the number of tiles needed for an aperidic tiling and he arrived at two. The medieval islamic decorators needed some more.
:And their interest was to  obtain a complicated and elegant  motif.  In the Mediterranean world  interlaced motifs are believed to be  a charm against the evil eye, which is apparently one of the sources for interest in them. One might speculate that aperiodic tilings have  a particular effect on the perceptive apparatus which could explain their psychological appeal.[[User:195.96.229.83|195.96.229.83]]

::Peter J. Lu has combined inflation rules for two tiles defined by the Islamic architects with one inflation rule of his own devising and gotten a set of rules for three tiles (all used by the architects along with two other tiles) which can tile the plane with perfect ten-fold rotational symmetry. In my opinion, this is an improvement on the five-fold symmetry of the Penrose tiling. I hope to get a link to a file with all three of Lu's tiles. [[User:JRSpriggs|JRSpriggs]] 09:26, 7 March 2007 (UTC)

Removed ref to Islamic art from lead as it is out of place and incorrect: see above and also reactions to the Steinhardt-Lou paper. One can say that something equivalent to a Penrose tiling might have been obtained as it is done later in the article.[[Special:Contributions/195.96.229.104|195.96.229.104]] ([[User talk:195.96.229.104|talk]]) 09:35, 13 December 2007 (UTC)

===Substitution Matrix===
The word "Substitution Matrix" is used without reference and introduction. Is it related to the substitutions used to build a penrose tiling and if so, how is it defined? <small>—The preceding [[Wikipedia:Sign your posts on talk pages|unsigned]] comment was added by [[Special:Contributions/80.202.238.117|80.202.238.117]] ([[User talk:80.202.238.117|talk]]) 20:24, 6 March 2007 (UTC).</small><!-- HagermanBot Auto-Unsigned -->

Substitutions are transforms which for simple 'linear' cases are represented a matrix, hence the name. The usual notation is New=Matrix.Old, e.g for the penrose tiling:
<math> \begin{bmatrix} T \\ t  \end{bmatrix} =
\begin{bmatrix}
2 & 1 \\
1 & 1  \end{bmatrix}
\begin{bmatrix} T \\ t  \end{bmatrix}</math>

If the eigenvalues of the substitution matrix are [[pisot number]]s the 
substitution generates a [[quasicrystal]] and the physicists say that it 
produces [[Bragg diffraction]].[[User:91.92.179.156|91.92.179.156]] 23:36, 7 March 2007 (UTC)

== use of the word "uncountable" ==

the article says "there are many ways (infact, uncountably many).." This is kinda vague and might lead someone to think uncountable is a synonym of infinite. In fact, countability/uncountability really has nothing to do with the size of a set. It should definitely be mentioned that the ways to form a penrose tiling is uncountable, but it should not be confused with an implication about the size of the set. [[User:164.76.162.135|164.76.162.135]] 16:56, 5 December 2006 (UTC)

i just decided to go for it and made this change myself [[User:164.76.162.135|164.76.162.135]] 17:05, 5 December 2006 (UTC)

Uncountable/countable are characteristics of the two basic infinite sets and the first is more 'powerful' than the second. This funny talk tries to avoid the paradoxes and confusions  when dealing with the infinite. The assertion that there are  uncountable ways to arrange a Penrose tiling sounds plausible as different tilings within the same perimeter are possible.
:There is however a serious problem here: if the Penrose tiling is in fact an infinite set of variants,  what is the meaning of the definite article?  'The' Penrose tiling is the one that Roger Penrose first proposed, but how to define the rest? In the recent hype an attempt to escape from this ambiguity has been made by speaking about the quasicrystalline Penrose tiling. 'Perfect' would have been a better choice of adjective as the variants are seen to be produced by local 'defects' and thus considered to be 'imperfect'. I suspect that the second illustration in the article has been the cause for the unfortunate word choice but it replaced an older picture of something that was not a Penrose tiling.[[User:91.92.179.156|91.92.179.156]] 21:08, 7 March 2007 (UTC)

::The word ''uncountable'' has a special meaning in Mathematics; have a look at the article about the [[countable set]].  In short, something can be ''finite'' or it can be ''infinite''.  The latter can be distinguished into ''countably infinite'' and ''uncountably infinite''.  In my opinion, you can find a bijection to the set of the natural numbers, so the set of Penrose tilings is ''countably infinite''.  This bijection is an algorithm (not really, because it does not terminate, but otherwise it is) creating all possible penrose tilings in an infinite number of steps.  It starts with a single tile.  Then it enters an endless loop (could be implemented using a width-search) in which it branches a finite number of times to place a neighbouring tile to all possible positions on the current tiling.  This way each given possible tiling is generated in a specific amount of steps.  This is a bijection to the set of the natural numbers (the numbers of steps are members of this set), so we have the necessary bijection.  qed.  So it should be ''countably infinite''.  [[User:Alfe|Alfe]] 07:38, 10 March 2007 (UTC)

:::The article says "It is easy to check that some of the compact patches consisting of three tiles admit two different arrangements within the same perimeter and thus variations are possible.". If that is true and there are a countably infinite number of such patches (as there must be), then the number of variations which can be achieved this way is [[uncountable]] in the technical mathematical sense used in set theory. [[User:JRSpriggs|JRSpriggs]] 11:10, 10 March 2007 (UTC)

:::That's not a proof, though. The proof of uncountability that I know of is by deflation. It's easier to prove that there are uncountable choices of a single tile in a tiling; since each tiling only has countably many tiles, it amounts to the same thing. To choose a single tile in a tiling, first choose whether it is a kite or a dart, second choose what kind of patch this tile is part of at the second level of deflation, etc. Thus one can specify the whole tiling by an infinite sequence of finite choices of this type. The number of sequences of choices that can be made is the number of the continuum. —[[User:David Eppstein|David Eppstein]] 16:05, 10 March 2007 (UTC)

:::Yes, David. My argument was for the rhombus tilings. Yours works for the kite and dart tilings (and would work also for the rhombus tiles with a different choice of words). What would you like me to clarify or justify to make my proof complete in your eyes? [[User:JRSpriggs|JRSpriggs]] 09:54, 11 March 2007 (UTC)

:::The algorithm I presented above produces a countably infinite number of finite tilings.  So it proves that the number of finite tilings is countably infinite.  It seems to be of more importance, though, what the number of tilings is which fill the whole infinite plane.  That number may likely be uncountably infinite.  The text could point out that difference more clearly.  [[User:Alfe|Alfe]] 01:47, 15 March 2007 (UTC)

::::Sorry, Alfe, you're mistaken.  You said you branch a finite number of times, but that only tiles a finite part of the plane.  If you want to tile the entire plane, then you have to branch infinitely many times, and that makes the number of tilings uncountable.  If we take them modulo rotations and translations (placing a vertex at the origin and including a horizontal edge) that's still uncountable.  So there are uncountably many different tilings of the plane, but you only can tell if you look at the whole plane.  If you look at a finite patch, all the tilings agree (and each agrees in a set translation that is not only infinite, but has positive density.)  Only two of the tilings (up to symmetry) have a fivefold center of symmetry. &ndash;[[User:Dan Hoey|Dan Hoey]]<sup>[[User_talk:Dan Hoey|talk]]</sup> 14:59, 5 June 2007 (UTC)

=== Multiple tilings and rotational symmetry ===

There are certainly finitely many connected tilings given any finite number N of tiles, but there are uncountably many tilings of the plane, using the deflation argument.  However, it is important to note that only two of the tilings possess five-fold rotational symmetry.  This renders most of the statements about five-fold symmetry false.  It should be mentioned that these two, and uncountably many others, also possess mirror symmetry; only the two rotationally-symmetric ones possess mirror symmetry through more than one line.  The distinction between finite and infinite tilings is crucial here, since a finite subtiling cannot be used to determine which infinite tiling you are in, nor even where you are in that infinite tiling.

Statements about a "rule" that no two rhombs can form a parallelogram are also incorrect, as noted above.  The true rule can be seen in the diagram; color the edges of the rhombs as in that diagram, and only allow matching-colored edges to be adjacent.

There doesn't seem to be a rating for an article that has quite a bit of good stuff and some glaring falsehoods.  &ndash;Dan Hoey 02:28, 24 April 2007 (UTC)

: I removed the statement of the bogus rule about two rhombs being forbidden to form a parallelogram.  I also removed the statement ''It is easy to check that some of the compact patches consisting of three tiles admit two different arrangements within the same perimeter and thus variations are possible'' which I believe to be incorrect (not in that it is not "easy", but in that it is "impossible").  Perhaps it was referring to the bogus rule, which permits reorientation of the convex hexagon formed of two thin and one thick rhomb.  That cannot be made with correct matching rules.

: I'm about ready to dike out the discussion of [[:image:VarPenrT.jpg]] since it does not seem to be relevant to Penrose tilings.  I don't know what it means to say it is "not a quasicrystal"  Does it represent an aperiodic tiling rule or not?

: The statement that there are 23 ways that these rhombs can meet at a vertex is apparently wrong; I don't know how it was determined.  I count 49 ways; as multiples of 36 degrees, these are 1111111111, 111111112, 11111113, 11111122, 1111114, 11111212, 1111123, 11112112, 1111213, 111124, 111133, 111121112, 1111213, 111124, 111133, 11121112, 1112113, 1112122, 111214, 111223, 111313, 11134, 1121122, 112114, 1121212, 112123, 112213, 112222, 11224, 11233, 11242, 113113, 11314, 11323, 1144, 121222, 121213, 12124, 12133, 122122, 12214, 12223, 12313, 1234, 1324, 1333, 1414, 22222, 2224, 2233, 2323, 244, and 334.  This was done by hand and may not be entirely complete, so I changed the wording to "over twenty".
:: Indeed, there are 54 ways: My list omitted 1111222, 111232, 112132, 12232, and 1243.  Of course, to write "54" would be OR.  Perhaps the OEIS has a sequence for "necklaces from {1,2,3,4} summing to n".  Or I could send them that sequence, if find the time to compute it (and its relatives) properly.  Or is there a combinatorial objects server that would cough up the answer in a citable way?&ndash;[[User:Dan Hoey|Dan Hoey]]<sup>[[User_talk:Dan Hoey|talk]]</sup> 15:38, 12 June 2007 (UTC) 

:The statement did not originally say 23 ways (which is vague), it said 23 combinations (which is specific). I believe your 54 figure refers to permutations. For example you count 11233, 11323, 12133, 12313 separately, these are all permutations of the 11233 combination.  I wouldn't mind if the article says "there are X combinations" or "there are Y permutations", but it should be precise; "there are at least Z ways" is vague in two ways - the use of the phrase "at least", and the use of the term "way".  There are, as far as I know, 23 combinations of vertex. Until you can precisely say how many permutations there are, we should stick with this statement.
For completeness the 23 combinations are: 1111111111, 111111112, 11111113, 11111122, 1111114, 1111123, 1111222, 111124, 111133, 111223, 11134, 112222, 11224, 11233, 1144, 12223, 1234, 1333, 22222, 2224, 2233, 244, 334.
[[User:Crispyhull|Chris]] 10:53, 21 June 2007 (UTC)

:: "Combinations" may be ordered or not, so it is nearly as ambiguous as "way"; "permutations" usually refers to bijections between sets of distinct objects, so is incongruous here.  I claim that cyclically ordered combinations of rhombus angles are the appropriate statistic, because the rules of the tiling are based on tiles that share an edge, not a vertex.  Thus 11233, 11323, 12133, 12313 are distinguished by rules that specify whether or not a "2" angle may abut a "1" or "3" and whether a "1" may abut "3"s on both sides. So counting the number of cyclically ordered combinations,
::: the unordered angle multiset 111223 appears in six distinct cyclically ordered combinations (namely 111223, 111232, 112123, 112213, 112312, and 121213),
::: the multisets 11111122, 1111222, 11224, and 11233 appear in four ordered combinations each,
::: the multisets 1111123, 111124, 111133, 112222, and 1234 appear in three ordered combinations each, and
::: the multisets 11134, 1144, 12223, and 2233 appear in two ordered combinations each.
:: Thus your count of 23 is short by 5 + 4&times;3 + 5&times;2 + 4&times;1 = 31, and the total of ordered combinations is 54.

::: I appreciate that you have now clarified your language on the article, but I dispute your contention that "combinations" may be ordered or not: in combinatorial mathematics  [[combination]] refers to an unordered collection of elements, whereas [[permutation]] refers to distinguishable sequences.  If you dispute this, you'd better sort out the pages for these terms.  Taking this definition of combination, my count of 23 combinations is spot on. My original point was that when the article said there were over 20 ways to add up to 360 degrees at the vertex, this was unnecessarily vague.  The current wording is better, although I'd still prefer the word permutation since it has more specific meaning in this context (as long as you are sure there are 54 permutations - do you have a citation? - you shouldn't really be working the combinations/permutations out yourself since that would constitute original research). [[User:Crispyhull|Chris]] 15:44, 21 June 2007 (UTC)

:: I am still concerned that there is no citable reference for either of these numbers, nor for the number of vertices of these types that appear in a Penrose tiling.&ndash;[[User:Dan Hoey|Dan Hoey]]<sup>[[User_talk:Dan Hoey|talk]]</sup> 14:37, 21 June 2007 (UTC)
::: Agreed - I've seen both numbers used in text books before, but unfortunately can't remember them: doesn't really count as a proper citation does it?[[User:Crispyhull|Chris]] 15:44, 21 June 2007 (UTC)
:::: The vague wording '23 combination' being replaced by '54 cyclically ordered',  what about the 7 allowed combinations? Are they ordered? In fact some people prefer to say 8 as they count two types of 5-stars due to the matching rules.
If counting is OR and unacceptable, I guess that here at least two citations are needed.[[User:Ael 2|al]] 21:36, 28 July 2007 (UTC)
 
:  Also, the statement that the frequencies of the two rhombs are equal is incorrect: there are more thick rhombs than thin ones, in the golden ratio. &ndash;[[User:Dan Hoey|Dan Hoey]]<sup>[[User_talk:Dan Hoey|talk]]</sup> 14:43, 12 June 2007 (UTC)

:: I figured out that what was meant was that the frequency of each orientation of a rhomb is equal, so I clarified that.  This whole discussion should be moved to a section that treats both rhombus tiles and kite and dart tiles together, since much of  its content is applicable to both.&ndash;[[User:Dan Hoey|Dan Hoey]]<sup>[[User_talk:Dan Hoey|talk]]</sup> 14:58, 21 June 2007 (UTC)

==The Pentagonal Penrose Tiling==
Perhaps something should be said about the earlier steps, when Penrose proposed a 'Keplerian' tilings built with more than two tiles. Apparently the original Penrose tiling was built with pentagons, rhombuses, stars and boats (3/5 of a star). The  derivation can be seen on Savard's page [http://www.quadibloc.com/math/pen01.htm].
Here is a good introduction [http://www.ams.org/featurecolumn/archive/penrose.html] which  includes all of this and  could be linked somewhere.
In  professional jargon the Penrose tiling(s) are just P1, P2 and P3, which correspond to the pentagonal, kite and dart and rhombus variants. [[User:Ael 2|al]] 22:22, 30 June 2007 (UTC)

==Importance==
Just added a section about the Decagonal covering which seems important in physics. 
Removed the high-rating tag on this page as I believe that the Penrose tiling is mathematically trivial and pertains more to recreational maths.
If people believe that tenfold symmetry is somehow important, here is perhaps an important link [http://www.uwgb.edu/DutchS/symmetry/penrose.htm].[[User:Ael 2|al]] 17:49, 14 March 2007 (UTC)

:Please don't remove the rating template. If you feel that "High" is the wrong importance, that can be changed, but changing it is very different from ripping out the whole rating block. As for mathematical triviality, I disagree but more importantly I think that mathematical depth is far from the only thing determining importance. —[[User:David Eppstein|David Eppstein]] 20:57, 14 March 2007 (UTC)

:Sorry for the tag; please explain why the importance is high.Imho it is very low, the Penrose tiling being just an example.I believe that the quality is also low and a lot of rewriting has to be done (Be bold).[[User:Ael 2|al]] 18:32, 16 March 2007 (UTC)

::My feeling is that in terms of mathematical depth the importance of Penrose tilings should be mid, not low. The concept of a periodic tiling itself is nontrivial, as is the construction of Penrose tilings by inflation and deflation, as is the relation to duals of pentagrids, as is the connection to sections of higher dimensional lattices. However, since Penrose tilings are so well known popularly, and have some relation to physical quasicrystals as well, I think it's enough to boost the importance to high. As a similar example, I've been editing [[regular number]] recently; in terms of mathematical content it is much more trivial (merely the numbers which have only 2, 3, or 5 in their prime factorization) so in mathematical depth I would rate it as low, but again it is a concept with several important applications outside of mathematics, due to which I boosted the rating to mid. —[[User:David Eppstein|David Eppstein]] 18:51, 16 March 2007 (UTC)

::There is no doubt that the  PT is the paradigmatic case, but it is just an instance of an aperiodic tiling. Everything that is known about  the PT, has been found to be valid mutatis mutandis for the Ammann-Beenker tiling. As I see it, aperiodic to periodic  is just as rational to irrational. The binary Fibonacci word can be inflated, deflated and projected and it offers a more obvious access to understanding the properties of the PT, which is more or less its generalization. Socolar's multigrid approach is perhaps 'deep', but it is also a much more general topic than PT. Briefly: popular is not the same as important. Shall we lower the rating with one or two notches? [[User:Ael 2|al]] 17:03, 17 March 2007 (UTC)

Let's try a different tack. My feeling of the importance rating is, again, not so much importance within mathematics, but importance as a contribution to an encyclopedia. How embarrassed should we be if this topic were missing? Not embarrassed at all, it's so trivial as to be unimportant, and there is room for legitimate debate about whether it even meets WP's standards of notability: low importance. The article makes a solid positive contribution to the encyclopedia's overall depth, is on a clearly notable topic, has some applications and connections to other topics, but could be removed without causing us significant embarrassment: mid importance. The topic is notable enough that any encyclopedia worthy of the name should carry it, and it would be a clear embarrassment to us not to carry it: high importance. The topic is central to human knowledge and any educated person should be embarrassed not to know a little about what it is: top importance. That's my own calibration, anyway, and I think it's more conservative than the calibration described at [[Wikipedia:WikiProject_Mathematics/Wikipedia_1.0]]. Now, where does Penrose tiling fit on this scale? I think mid or high are both defensible choices, but I'd pick high because I'd be embarrassed to be working on an encyclopedia that doesn't carry an article on a mathematical topic that is so well known in popular culture. —[[User:David Eppstein|David Eppstein]] 18:33, 17 March 2007 (UTC)

:I would go for mid importance for this article, but I'd accept high. Low is really for the very obscure stuff, see [[:Category:Low-importance mathematics articles]] (although there are a few there which I think deserve mid). I do think this is mathematically important as it opened up a new area of investigation, it what was beleived to be a closed book. It further prompted investigation into real world crystals which had five-fold symmetry where none were thought to exist. Hence is has implication outside of mathematics, which is one reason for for an increased rating. --[[User:Salix alba|Salix alba]] ([[User talk:Salix alba|talk]]) 22:00, 17 March 2007 (UTC)

OK, I see I got it wrong, but I was mislead by the Physics project which explicitely says to rate importance 'within physics'. The Maths project, being tied with the W_1.0, suggests the oposite. Sorry for the trouble.[[User:Ael 2|al]] 18:00, 25 March 2007 (UTC)

[[Alain Connes]] considers the space of Penrose tilings a "very interesting `noncommutative' space" and makes it a main example in his book, [[Noncommutative geometry]].  So I think calling the topic "mathematically trivial" is a rather narrow viewpoint and one that would presumably change with more experience and knowledge.  --[[User:C S|C S]][[User talk:C S| (Talk)]] 22:39, 11 June 2007 (UTC)

== Early history ==

I think that the content of 'Early history' paragraph  did not match 
its title and I have modified it.  Penrose's name is still  buried among 
technical details but I have tried to connect it with a larger context 
(not just mathematics). Perhaps  Dürer and [[girih tiles]] should also be 
moved here. The discarded ending could be moved to [[Wang tiles]]. [[User:91.92.179.156|91.92.179.156]] 09:33, 21 September 2007 (UTC)

== Surprising ==

The opening section states "* any finite region in a tiling appears infinitely many times in that tiling and, in fact, in any other tiling. This property would be expected if the tilings had translational symmetry so it is not a surprising fact given their lack of translational symmetry." Why does the fact that it is expected given translational symmetry (isn't that a tautology anyway?) mean that it isn't surprising given no translational symmetry. I believe the statement due to the largeness of infinite tilings, but I don't see the link to the statement made. -- [[User:SGBailey|SGBailey]] ([[User talk:SGBailey|talk]]) 22:48, 22 June 2008 (UTC)

== Is there a better L-System rule set? ==

As can be seen by this [http://intertwingly.net/stories/2006/07/06/penroseTiling.svg SVG file with ECMAScript animation] of a Penrose tiling using an L-System (essentially following the given axiom/rules in this article), this particular rule set covers many rhombus edges MUCH more then twice.

This leads to MANY edges overlapping each other, especially near the center.

Also some of the pathes are closed (and then can be filled with a color), but others are open and can't be filled.

Does anybody know of a better rule set, only producing closed pathes for the neccessary rhombuses?

Every single rule in the given set forms essentially a narrow or a wide rhombus (2 of them each, the narrow ones have an additional entry/exit line, which can't be removed without breaking the over all tiling. I can provide an SVG file demonstrating the single rules on request).

Would a better rule set even be possible?

[[User:Deerwood|Deerwood]] ([[User talk:Deerwood|talk]]) 06:20, 7 July 2008 (UTC)

== Contradiction between Penrose and Aperiodic articles? ==

The introduction here says that Penrose tilings are '''not''' correctly described as aperiodic tilings.  Yet the introduction of [[Aperiodic tiling]] article says "the various Penrose tiles are best known examples of an aperiodic set of tiles" and "the Penrose tiles are an aperiodic set of tiles."  Unless I'm missing some subtle semantics, this is confusing to a reader. --[[User:Ds13|Ds13]] ([[User talk:Ds13|talk]]) 07:48, 11 July 2008 (UTC)
:I noticed that contradiction as well, and you seem to be correct. Under the citation I just added ([http://www.ms.uky.edu/~lee/zerhusen/quasi.html]), which distinguishes between aperiodic and nonperiodic tiling, the Penrose tiling is indeed aperiodic, since it is not also possible to construct a periodic tiling from Penrose tiles. I've updated the article accordingly. --[[User:ArthurDenture|ArthurDenture]] ([[User talk:ArthurDenture|talk]]) 05:05, 26 August 2008 (UTC)

== Removed muddled legal section ==

I removed the following from the article, as it has multiple errors of sourcing and fact. Since someone reverted the removal with claim that it is "notable" I am taking the time to explain in more detail. The content was so screwed up it was dangerously misleading and could not stay. Perhaps with some work it can be reworded to be accurate and adequately sourced.

:''Pentaplex Ltd., a company in [[Yorkshire]], England controlled by Penrose, owns the licensing rights to Penrose tilings.''<ref> Penrose, Roger, {{US patent|4133152}} "Set of tiles for covering a surface", [[patent]] issued January 9, 1979 (expired) </ref> 

This sentence is severely flawed. First up, ownership of intellectual property is always contentious issue, and Wikipedia itself should not take sides on claims of ownership. If Pentaplex asserts ownership to some sort of legally enforceable intellectual property, then we need to be specific in what they claim to own and in what jurisdictions. The ref that was provided here says they have a US patent -- but it also says it's expired. Thus the only reliable source provided shows no ownership rights at all, and only former potential rights (patents can be disputed, ownership comes after it's been tested and prevailed in court), and only in the United States... which is a problem, as Pentaplex is in the UK. If they assert any ownership then it must be something other than this patent. We need a reliable source about their claims if we are going to list these claims... and then they are only claims, not findings of law.

:''Penrose and Pentaplex filed a lawsuit against [[Kimberly-Clark]] for breach of copyright.''

Is there a reliable source about the lawsuit and what exactly the grounds were? It sounds dubious to me, as copyrights are only for fixed forms, not theoretical constructs like tilings. 

:''Kimberly-Clark had allegedly embossed Penrose tilings on [[Kleenex]] quilted [[toilet paper]] in the UK.'' 

This is probably the least bothersome sentence. It could use a real source, but it's not exactly confusing or misleading.

:''SCA Hygiene Products later came to control Kleenex products and reached an agreement with Penrose and Pentaplex on the Penrose tiling issue.'' 

In which case no ownership rights were legally established, just that a settlement of some sort was made. And a source would be needed here

:''SCA is not involved in the copyright dispute.''[http://docs.law.gwu.edu/facweb/claw/penrose.htm]

OK... the ref cited here doesn't seem to meet Wikipedia standards either. It comes from a law dept. at a genuine school, but it's not a publshed source and appears to be just a handout to students or something. On top of that, claims of a single law professor in an informal way is not a reliable, primary source on a law case. There must be real sources, and ones that can better sort out what really happened. Until that happens the section is extremely misleading (so an expired US patent gives a UK copyright on something most courts say can't be copyrighted at all??) and can't be in the article.  [[User:DreamGuy|DreamGuy]] ([[User talk:DreamGuy|talk]]) 14:57, 20 November 2008 (UTC)

:[http://news.google.com/archivesearch?q=kimberly-clark+penrose Google news archive search] provides a number of sources. The [http://www.time.com/time/magazine/article/0,9171,986297,00.html Time Magazine] one supports precisely the second sentence quoted: that Penrose and Pentaplex sued Kimberly-Clark for copyright infringement. And I don't see how a handout in an intellectual property law class at a law school fails [[WP:RS]]: it is a [[WP:SPS|self-published sources]], but falls into the "established expert" clause of that part of the verifiability policy. [[WP:OR|Your interpretation]] about whether using copyright law in such cases could be an "error" is not grounds for removing this sourced material from the article. [[User:David Eppstein|David Eppstein]] ([[User talk:David Eppstein|talk]]) 15:16, 20 November 2008 (UTC)

:: Part of why this case might be tricky to find is it may have been settled out of court, if indeed ever filed.  If someone is interested in learning more, here's some citations which might help you.  [[User:Brain|brain]] ([[User talk:Brain|talk]]) 23:48, 19 April 2010 (UTC)
:::  Mirsky, S. "The Emperor's New Toilet Paper." Sci. Amer. 277, 24, July 1997.
::: Science Magazine, 25 April 1997

=="Citation needed"? ==

I'm unsure of the protocol, so rather than make the (trivial) edit I'm putting this on the Talk page.  My concern relates to the usage of "citation needed" tags, and it's bothered me in many articles... perhaps someone can set me straight on this one, so I'll know how to deal with it elsewhere?  In this article I'm unsure about the state of the following sentence:

:"[[Robert Ammann]] independently discovered the tiling at approximately the same time as Penrose.[citation needed]"

Given that Ammann's name is a link, and that following that link leads you to a Wikipedia article that addresses the statement in some detail and cites some sources of its own (which, unfortunately, don't include links to web-accessible information), is the "citation needed" tag truly needed here?  It seems to me there are a few possibilities:

*Cite the same sources as Ammann's Wikipedia page.  This seems a bit pedantic.
*Cite Ammann's Wikipedia page itself.  This seems redundant, since that link is already in the sentence.
*Find newer and more useful citation sources, and update the article, Ammann's article, or both.  While this would solidify things a bit, it also just adds a layer of abstraction to the question: the placement and propagation of the citations would still need to be determined.
*Remove the "citation needed" tag.  Assume that the link at the beginning of the sentence is a sufficient guide for interested readers.

I lean toward the final option, but I don't know if my inclinations are at odds with the customs here.  Would somebodt please help a brother out and chime in on this issue?  Thanks.  [[Special:Contributions/76.105.238.158|76.105.238.158]] ([[User talk:76.105.238.158|talk]]) 15:28, 6 January 2009 (UTC)

:Removing the tag seems OK to me. The obvious problem is that the person who originally put it there may, without reading this discussion, put it back. Nevertheless I should try removing the tag, and, if it comes back, copying the references from the other article to here. [[User:JamesBWatson|JamesBWatson]] ([[User talk:JamesBWatson|talk]]) 15:41, 22 January 2009 (UTC)

::Thanks for your input.  I just removed the one instance mentioned above, and will observe how things play out in the future.  [[Special:Contributions/76.105.238.158|76.105.238.158]] ([[User talk:76.105.238.158|talk]]) 02:00, 28 January 2009 (UTC)


'''Refs'''
<references/>

== Gummelt's Decagons ==

Hi, I was trying to make some images for the Gummelt's decagon section, and I've run into what appears to be an error in the article. It states that the ''only'' two allowed overlaps are those shown in [[:File:Gummelts.png|this image]]. However, the following sources seem to say that so long as the red areas only overlap other red areas, anything goes.

*[http://www.ias.ac.in/currsci/jan102000/RESEARCHARTICLE.PDF Source 1 (p. 2)]
*[http://www.userwebs.pomona.edu/~ragl4747/home/papers_penrose/From%20tilings%20to%20coverings.pdf Source 2 (p. 2)]

Now, as I was drawing [http://img520.imageshack.us/img520/6315/gummeltsdecagon3wq1.png this image], I found that I could not get the current "only-two" rule to hold as I built the tiling, but if I used the "so-long-as-they-match" rule, it would work. Is the article wrong, or have I got it mixed up?
Cheers, - [[User:Inductiveload|Inductiveload]] ([[User talk:Inductiveload|talk]]) 04:37, 1 February 2009 (UTC)

: That's a nice image you made. Is it public domain? Thanks for helping to clarify a confusion. My understanding from the sources is that Gummelt's matching rules permit only two kinds of overlapping region (by one or two red kites), but such an overlap can be achieved in multiple ways. I have clarified the article and image based upon the article by Lord et al. ''[[User talk:Geometry guy|Geometry guy]]'' 22:16, 13 December 2009 (UTC)

{{Talk:Penrose_tiling/GA1}}

== Plans ==

I've made quite a few edits to the article without significantly changing the basic content. However, based upon  the sources, I am intending to expand the article to include more discussion e.g. of [[Nicolaas Govert de Bruijn|de Bruijn]]'s work (as described by Senechal). There are also topics such as Ammann bars which need to be discussed, and many things that need to be explained more clearly and in more detail, including various representations of matching rules, and their relation to aperiodic sets. Additionally, there are coherence and ordering issues that need to be fixed (e.g., introducing Robinson triangles before they are used). Help would be appreciated!

I even hope to reinclude a segment on the commercial aspect (Pentaplex and the Kleenex suit) but I don't think it is appropriate to do so until the rest of the article is sufficiently developed and robust. ''[[User talk:Geometry guy|Geometry guy]]'' 21:43, 10 December 2009 (UTC)

PS. I found it interesting to discover that the notation P1-P3 comes from Grunbaum and Shephard. This was not in the sources a month ago. The reason for this is that the article owes much of its pre-GA structure to [http://en.wikipedia.org/w/index.php?title=Penrose_tiling&action=historysubmit&diff=165811791&oldid=165390944 a single remarkable edit] by [[User talk:Ael 2|Ael]], which improved the article substantially, but did not provide a source for this material (other than adding Luck and Penrose). Now there is a likely candidate for the source Ael was using.

:There is an interesting approach in the French version: it starts with P0 which is the decomposition into Robinson triangles. Later it is noted that decorating the rhombuses allows to transform P3 into P1. Next by labeling the pentagons' corners  1,3,5,2,4 the P0 is recovered and a by-product, the (bow)tie-and-navette tiling is also mentioned, see there ref.3 Lück R., Penrose Sublattices, J. of Non Crystaline Solids 117-8 (90)832-5. Perhaps this could be sneaked in somewhere. Fig4 of the article presents a "genealogy" of related tilings;  Grunbaum and Shephard are cited, while the P1-P3 naming  is used as a matter of fact (and probably I took it from here, but my memory is blank about the 'P0'). 
Congratulations for the GA status.[[User:Ael 2|Ael 2]] ([[User talk:Ael 2|talk]]) 10:10, 2 July 2010 (UTC)

There is a saying "Better is the enemy of Good", so I have added the Tie and navette tiling; if it is to stay perhaps somebody would produce a better image.[[Special:Contributions/91.92.179.172|91.92.179.172]] ([[User talk:91.92.179.172|talk]]) 09:57, 6 November 2010 (UTC)

== P1 matching rules ==

"there are matching rules that specify how tiles may meet each other"

but what are they?   [[User:Brain|brain]] ([[User talk:Brain|talk]]) 23:39, 19 April 2010 (UTC)

== Kindly meant suggestions ==

I'll be going through the article slowly, and will leave suggestions here from time to time.  Please be patient, and also with the comments themselves! :) [[User:WillowW|Willow]] ([[User talk:WillowW|talk]]) 14:37, 26 June 2010 (UTC)
: Hey Willow, thanks for commenting here! There is certainly no rush, as there is still quite a bit to do content-wise to go from broad to comprehensive. Note also that the lead is in very poor shape (don't tell anyone at GA :) ), but I would rather hold off rewriting it until the body of the article is more complete. ''[[User talk:Geometry guy|Geometry guy]]'' 20:13, 29 June 2010 (UTC)

* The article would benefit, I believe, from a more thorough introduction for lay-people, particularly in the lead and in the initial "Background" section.  Accessibility is always the bugbear for articles in higher mathematics.  Of course, it may be premature to for re-writing or adding new sections. [[User:WillowW|Willow]] ([[User talk:WillowW|talk]]) 14:37, 26 June 2010 (UTC)
*: A rewritten lead will help here, as will some expansion of the background. ''[[User talk:Geometry guy|Geometry guy]]'' 20:13, 29 June 2010 (UTC)

* In the "Background and history" section, you might devote the first subsections to "Periodic tilings", just to help the reader get adjusted to tilings whatsoever.  Then the next subsection could be "Discovery of aperiodic tilings". [[User:WillowW|Willow]] ([[User talk:WillowW|talk]]) 14:57, 26 June 2010 (UTC)
*: Periodic tilings are a bit off-topic, so I would not want to see them discussed extensively here - this is an encyclopedia, not a textbook, and readers are expected to follow wikilinks if they are completely lost :)
*: I'm certainly up for improving related articles, though, so that the wikilinks are more helpful. ''[[User talk:Geometry guy|Geometry guy]]'' 20:13, 29 June 2010 (UTC)

* Figure 1, the illustration of a periodic tiling, might be confusing, because it looks three-dimensional.  I understand that you'd like to use a tiling with at least two proto-tiles, but perhaps an Archimedean tiling would be better, such as the [[truncated square tiling]]? [[User:WillowW|Willow]] ([[User talk:WillowW|talk]]) 14:59, 26 June 2010 (UTC)
*: You are quite right. Figure 1 is used later to illustrate that Penrose rhombs can tile periodically unless matching rules are imposed. ''[[User talk:Geometry guy|Geometry guy]]'' 20:13, 29 June 2010 (UTC)

* I'm unclear when the concept of an aperiodic tiling was first enunciated or illustrated?  The subsection on the Wang tiles speaks of "renewed interest" in aperiodic tilings.  It seems as though you could construct an aperiodic tiling from a periodic tiling such as the [[square tiling]] by shifting every row over (relative to the previous row) by an irrational fraction of the lattice spacing.  Surely there are many other such constructions that someone must have considered before Wang?  Do we need to add another constraint beyond aperiodicity?  [[User:WillowW|Willow]] ([[User talk:WillowW|talk]]) 15:14, 26 June 2010 (UTC)
*: Me too. First though, we need to distinguish between non-periodic and aperiodic tilings. In current terminology, aperiodic means more than non-periodic: it means additionally that the tiles used ''cannot'' tile the plane periodically, so a shifted square tiling is non-periodic but not aperiodic. According to G&S, the first aperiodic tilings were Wang tilings, so it may be better to speak of "renewed interest in non-periodic tilings". Nevertheless, some of the non-periodic tilings considered previously may in fact have been aperiodic, but without proof. Non-periodic tilings were considered by Kepler, and also feature in Islamic art. Alas (or fortunately per WP:NOR), I am not an expert on this stuff, so I have to rely upon what the sources I have found have to say. ''[[User talk:Geometry guy|Geometry guy]]'' 20:13, 29 June 2010 (UTC)

==Confusing statements==

I have a concern with the understandability of the following statements:

A Penrose tiling has many remarkable properties, most notably:

*''It is non-periodic, which means that it lacks any [[translational symmetry]]. More informally, a shifted copy will never match the original exactly.''

I understand what the writer intended to say, but shouldn't it be better formulated saying that a Penrose tiling cannot be generated by a Primitive cell? I mean if we have an infinite tiling of the plane, even a periodic one, how could we shift it to 'match the original'? If it is already infinite, it makes no sense to shift it in any direction lying in the plane it is embedded in. The correct definition would be saying it cannot be generated by translating a finite primitive cell.

*''Any finite region in a tiling appears infinitely many times in that tiling and, in fact, in any other tiling. This property would be trivially true of a tiling with translational symmetry but is non-trivial when applied to the non-periodic Penrose tilings.''

I don't think it is clear to most readers what 'any other tilings' are meant here. I guess it talks about the inflated and deflated tilings in the inflation hierarchy that are generated by the composition / decomposition of the tiles. But this formulation is not very understandable.

*''It is a [[quasicrystal]]: implemented as a physical structure a Penrose tiling will produce [[Bragg diffraction]]; the diffractogram reveals both the underlying fivefold symmetry and the long range order. This order reflects the fact that the tilings are organized, not through translational symmetry, but rather through a process sometimes called "deflation" or "inflation."''

I really have trouble to understand what is meant here. How is the geometric structure commonly called a Penrose tiling a quasicrystal? A Penrose tiling is simply an abstract geometric structure and the atomic arrangement in quasicrystals somehow resembles this structure. I don't understand the sense of treating this relationship the other way round and what is got by this.

All these statements should be completely rewritten or ultimately deleted. In the current condition they are simply confusing and have no value for the article.

Thoughts and commons on this are welcome.

[[User:Toshio Yamaguchi|Toshio Yamaguchi]] ([[User talk:Toshio Yamaguchi|talk]]) 11:31, 12 October 2010 (UTC)
:: I tend to disagree with these remarks and the corresponding tags asking for clarification.
:: For instance the article  says "implemented as a ''physical'' structure"; actually, in the seventies a crystallographer (Mackay? not sure) checked experimentally  the diffraction; today there is a separate theory of mathematical diffraction i.e. properties of Fourier transforms for such geometrical structures.
:: Also explaining lack of translational symmetry by the lack of a primitive cell makes things less intuitive.[[User:Ael 2|Ael 2]] ([[User talk:Ael 2|talk]]) 19:27, 4 November 2010 (UTC)
:::The lead needs to be rewritten anyway, as the article has evolved substantially and the lead no longer provides an adequate summary. This is on my to-do list, but I would be happy if someone else had a go. ''[[User talk:Geometry guy|Geometry guy]]'' 23:38, 4 November 2010 (UTC)

:::The lead has been rewritten quite a few times without getting any better so I would just wish you good luck. It is perhaps worth considering if the second 'remarkable property' is actually a feature of the Penrose tiling or just a consequence of infinity which is obtained with a finite number of elements. In an infinite random sequence of zeros and ones any finite string appears again and again:  here the case is similar. Unfortunately many sources have noted the property as 'remarkable' without any caveat.[[User:Ael 2|Ael 2]] ([[User talk:Ael 2|talk]]) 15:05, 5 November 2010 (UTC)
::::The second property isn't a consequence of infinitely many pieces in the tiling. For instance, the sequence "01001000100001000001..." contains no "11"'s even though it's infinitely long. Your random sequence only almost surely contains each finite subsequence infinitely many times as well. I'm not very familiar with Penrose tilings, but I find the second property both remarkable and nontrivial. [[Special:Contributions/67.158.43.41|67.158.43.41]] ([[User talk:67.158.43.41|talk]]) 03:12, 16 November 2010 (UTC)

::::The second property is a consequence of the finite number (e.g. two or five) of pieces which are repeated infinitely many times. A ''random'' sequence of 1 and 0 contains any finite string you can think of and it is repeated again and again; a Penrose tiling contains copies of any finite patch you pick from it (but not any arbitrarily invented one, there are restrictions (see above about the vertices)).
:::::I disagree for the reasons stated in the post immediately preceding yours. For instance, a random sequence generator could be astonishingly unlucky and just give 0's. [[Special:Contributions/67.158.43.41|67.158.43.41]] ([[User talk:67.158.43.41|talk]]) 09:45, 19 November 2010 (UTC)
As it is currently explained, the remarkable feature appears to be its self-similarity and this could be stated more clearly.[[Special:Contributions/195.96.229.83|195.96.229.83]] ([[User talk:195.96.229.83|talk]]) 09:34, 18 November 2010 (UTC)

:I disagree with the "translational" clarification needed tag. It's quite clear to me what's meant, and I have no misgivings about translating an infinite set of objects in hypothetical space. If I were to formalize what's written, I'd translate a tiling to a graph whose vertexes are labeled with the shape they represent and whose edges are labeled with the line segment connecting two adjacent shapes. A translational symmetry would then be an [[endomorphism]] of the graph preserving adjacencies and both edge and vertex labels. The property could then read "all translational symmetries are trivial". I believe this communicates almost exactly what is meant but with more (unnecessary) precision. [[Special:Contributions/67.158.43.41|67.158.43.41]] ([[User talk:67.158.43.41|talk]]) 03:12, 16 November 2010 (UTC)

::Will every reader coming into this article necessarily have knowledge about [[graph theory]]? I don't think so. Thus if you think the statement can be explained applying graph theory, please keep in mind that your "translation of a tiling to a graph whose vertexes are labeled with the shape they represent" might not be obvious to the reader. If we let the statement stay, this connection needs to be explained. [[User:Toshio Yamaguchi|Toshio Yamaguchi]] ([[User talk:Toshio Yamaguchi|talk]]) 15:33, 19 November 2010 (UTC)

In the section Background and history - Periodic and aperiodic tilings it says 
* ''Such a translation is called a period of the tiling; more informally, this means that the tiling repeats itself.''

How is the mere repetition of a part of a tiling descriptive of a periodic tiling? A Penrose tiling, for example, also repeats itself; in fact any finite region in a Penrose tiling (no matter how large) is repeated an infinite number of times in that Penrose tiling. The difference between a periodic tiling and a Penrose tiling is, that in a periodic tiling a finite portion of that tiling is repeated in constant intervals. In a Penrose tiling, every finite region is repeated an infinite number of times in that tiling, but is not repeated in constant intervals. [[User:Toshio Yamaguchi|Toshio Yamaguchi]] ([[User talk:Toshio Yamaguchi|talk]]) 11:39, 10 November 2010 (UTC)
::As I read it: in a tiling which is not periodic any element appears non-periodically - is that remarkable or tautological? And do we call 'remarkable' something that needs a convoluted explanation such as the newly rewritten  lead offers?[[User:Ael 2|Ael 2]] ([[User talk:Ael 2|talk]]) 16:50, 10 November 2010 (UTC)

===Third remarkable property===
I still have to question the rationale for having the third 'remarkable property' in the lead section. I fail to see how this statement, which would be more appropriate in the article on [[Quasicrystals]] is helpful for giving the reader an accessible overview of the article's key points. Talking about x-ray diffraction without even briefly describing it or mentioning why it is important in the study of Penrose tilings and without any further description of x-ray diffractograms in the rest of the article doesnt help in making the article accessible to areader.[[User:Toshio Yamaguchi|Toshio Yamaguchi]] ([[User talk:Toshio Yamaguchi|talk]]) 18:15, 15 January 2011 (UTC)

==Linking Penrose tilings to fractals?==
There is a deep and illuminating connection between the two, at least imho, but the attempt to mention this was rejected offhand as "too vague to be useful" which is not really an argument. For the general reader the article is probably much too technical and elaborating this would just make matters worse. The interested reader could perhaps be directed to the [[pinwheel tiling]].
This is how I see it:...
''The substitution rules decompose each tile into smaller tiles of the same shape as those used in the tiling (and thus allow larger tiles to be "composed" from smaller ones). This approach makes rather obvious a close link between aperiodic structures and [[fractals]]''. [[User:Ael 2|Ael 2]] ([[User talk:Ael 2|talk]]) 19:27, 4 November 2010 (UTC)
: The thing to do is find a reliable source that relates Penrose tilings to fractals. Then the material in that source will guide you as to how to present the idea. ''[[User talk:Geometry guy|Geometry guy]]'' 23:42, 4 November 2010 (UTC)

:::Here is the beginning of the article ''On the fractal nature of Penrose tiling'' by Ramachandrarao P., in Current Science 79(2000)p364:

"The tilings can be generated from one another by the methods of inflation or deflation. For example, in deflation a cluster of tiles is subdivided into smaller pieces following specific procedures. Performing such operations iteratively, one can generate an aperiodic
tiling with a much larger number of smaller tiles. These procedures endow the tiling with the property of self-similarity. These properties have suggested, right from the time of the discovery of Penrose tilings, that the tiling is fractal in nature /ref to Gardner chap.1/."

So I have restored the previous text an added this ref available online.[[User:Ael 2|Ael 2]] ([[User talk:Ael 2|talk]]) 10:04, 5 November 2010 (UTC)

:"A close link between aperiodic structures and fractals" really was extremely vague, and what it appeared to vaguely hint at was simply wrong - most aperiodic structures are not fractals at all. What the source you quote actually says is that the inflation/deflation construction shows that the Penrose tiling has a scaling self-similarity, and so can be though of as a fractal. I have amended the text in our article to correctly say this. [[User:Gandalf61|Gandalf61]] ([[User talk:Gandalf61|talk]]) 13:00, 5 November 2010 (UTC)

== Illustration of inflated tiling ==

I've produced an overlay illustration of a tiling and its inflation overlaid. The article is a bit messy with illustrations (and the text) as it is, especially mixing the various types of tilings. Anyway, this image or something like it could be useful to add [[User:Sverdrup|-- Sverdrup]] ([[User talk:Sverdrup|talk]]) 19:56, 27 September 2011 (UTC)

[[File:Penrose rhomb tiling with inflated overlay.svg|thumb|]]

== Robinson triangles ==

The article doesn't actually say what a Robinson triangle actually is. The nearest I got to an explanation/definition was 
[[Golden triangle (mathematics)#Golden gnomon]]. The first use of the term in the current article is in the 
'''Kite and dart tiling (P2)''' section:
{{quotation|Both the kite and dart are composed of two triangles, called ''Robinson triangles'', after 1975 notes by Robinson.}}

How about linking it thus:
''[[Golden triangle (mathematics)#Golden gnomon|Robinson triangles]]'' ? >[[User:MinorProphet|MinorProphet]] ([[User talk:MinorProphet|talk]]) 16:40, 5 February 2012 (UTC)

:It could also be linked to the Robinson triangle entry at [[List of aperiodic sets of tiles#List]] by inserting an [[WP:ANCHOR|anchor]] there. [[User:Toshio Yamaguchi|Toshio Yamaguchi]] ([[User talk:Toshio Yamaguchi|talk]]) 11:39, 6 February 2012 (UTC)

:: linked to Gnomon, also on List_page; 'tie' and 'navette' are in fact two of the girih shapes, I am hesitating where to mention it.[[Special:Contributions/195.96.229.83|195.96.229.83]] ([[User talk:195.96.229.83|talk]]) 12:51, 6 February 2012 (UTC)

:::I made also an anchor at [[List of aperiodic sets of tiles#Robinson triangle]]. Maybe this could be used at the start of the '''Robinson triangle decompositions''' section, perhaps something like this:
{{quotation|The substitution method for both P2 and P3 tilings can be described using [[List of aperiodic sets of tiles#Robinson triangle|Robinson triangles]] of different sizes. The Robinson triangles arising in P2 tilings (by bisecting kites and darts) are called A-tiles...}}
:::>[[User:MinorProphet|MinorProphet]] ([[User talk:MinorProphet|talk]]) 15:39, 6 February 2012 (UTC)
::::Thanks for these improvements. I actually wanted to clarify more that substitution properties of P2 and P3 tilings could be derived from those of Robinson triangles, but I had trouble finding a source for this approach (per [[WP:NOR]]). Do editors commenting here have any suggestions? ''[[User talk:Geometry guy|Geometry guy]]'' 00:00, 7 February 2012 (UTC)
::: See sec. Related tilings; I believe Reinhard Luck (ref.47 the 'tie and navette' paper) had explained it (can't check it just now).[[Special:Contributions/91.92.179.172|91.92.179.172]] ([[User talk:91.92.179.172|talk]]) 10:47, 7 February 2012 (UTC)
::::Thanks for this: I will try to get hold of the article. ''[[User talk:Geometry guy|Geometry guy]]'' 00:37, 8 February 2012 (UTC)

== Tie and navette tiling ==

[[file:quasi periodic tiling.svg|840px]]Tie-and-Navette tiling showing many properties of the penrose tiling. [[User:Ad Huikeshoven|Ad Huikeshoven]] ([[User talk:Ad Huikeshoven|talk]]) 09:48, 2 January 2015 (UTC)

== Dart and kite substitution rules ==

The substitution rules for the P2 tiling as given in the article appear to be redundant:  the "sun" and "star" rules just consist of the application of the already-given half-dart and half-kite rules to those particular structures.  Is there any reason the sun and star need to be included as separate cases? [[Special:Contributions/130.226.142.243|130.226.142.243]] ([[User talk:130.226.142.243|talk]]) 09:00, 15 January 2015 (UTC)

== Periodicity and matching ==

The article lead currently states that, "The aperiodicity of the Penrose prototiles implies that a shifted copy of a Penrose tiling will never match the original." This is not correct. It is an extraordinary property of the Penrose tiling that any given finite pattern will be repeated within a certain (and remarkably short) distance from it. I don't have a good source handy: does anybody know of one? &mdash; Cheers, [[User:Steelpillow|Steelpillow]] ([[User Talk:Steelpillow|Talk]]) 05:58, 19 August 2015 (UTC)

==Assessment comment==
{{Substituted comment|length=158|lastedit=20080212105146|comment=This article contains serious inaccuracies, notably in (1) the matching rule and (2) the statements about symmetry. &ndash;Dan Hoey 02:33, 24 April 2007 (UTC)}}
Substituted at 02:27, 5 May 2016 (UTC)

== A contradiction? ==

[[File:Step7wPaper600DPI.png|thumb|Wallpaper created by applying several deflations to a Penrose [[tessellation|tiling]] of type P2 (kite and dart).]]

The article is clear that kites and darts, with the standard matching rule, cannot tile the plane periodically. Yet the article contains an image, as at the right, which appears to be of a repeating unit of a periodic tiling. What's going on here? It looks to me like there's a mistake somewhere. Even if there isn't, there's an apparent contradiction that needs explaining. [[User:Maproom|Maproom]] ([[User talk:Maproom|talk]]) 17:08, 11 July 2018 (UTC)
:The image isn't a repeating unit of a periodic tiling. I looks symmetric Up/Down but not Left/Right, and is also cropped in a way that the edges don't match up. [[User:Jonpatterns|Jonpatterns]] ([[User talk:Jonpatterns|talk]]) 17:17, 11 July 2018 (UTC)
::In that case, captioning it "Wallpaper" is misleading, it suggests the word is being used as in [[Wallpaper group]]. [[User:Maproom|Maproom]] ([[User talk:Maproom|talk]]) 18:54, 11 July 2018 (UTC)
:::I can see the confusion, as wallpaper was used in the loose way meaning [[Wallpaper (computing)]]. As this is a maths article I've updated the describe to ''Part of the plane covered by Penrose [[tessellation|tiling]] of type P2 (kite and dart). Created by applying several deflations, see section below.''. [[User:Jonpatterns|Jonpatterns]] ([[User talk:Jonpatterns|talk]]) 11:30, 13 July 2018 (UTC)

== hoping to de-jargonate ==

I've read a couple of books by Penrose and, though he makes my head spin, I managed to keep up — something I cannot yet say for this article. I've reworked the opening of '''Background and history''' and may move this up to the lede; I'm not totally happy to set down a jargon-heavy statement and then backfill an explanation of the terminology but haven't yet figured out how better to approach. (As well, the thought occurs to me that a [[mosaic]] is essentially a tiling with a potentially infinite set of nonrepeating tiles. Though at risk of coatracking, this may be a valuable illustration for the non-mathematician.)

In addition, I hope to clarify that Penrose tilings predate Penrose, as illustrated at the very end of the article, else the impression is given that he is somehow the inventor.<br>[[User:Weeb Dingle|Weeb Dingle]] ([[User talk:Weeb Dingle|talk]]) 05:29, 13 October 2019 (UTC)

One more thought: aside from the title and references, the term "Penrose tiling" appears 49 times in the article. This feels a little like it may be browbeating the reader. Could this be productively reduced?<br>[[User:Weeb Dingle|Weeb Dingle]] ([[User talk:Weeb Dingle|talk]]) 05:36, 13 October 2019 (UTC)
:Please be more careful. Tilings using pentagonal motifs certainly predate Penrose; the Czech example at the end of the article is one, but by far not the earliest. However, that is not the same thing as a Penrose tiling. To be a Penrose tiling, it must have much more specific mathematical properties. —[[User:David Eppstein|David Eppstein]] ([[User talk:David Eppstein|talk]]) 05:47, 13 October 2019 (UTC)

::Please be more careful: Wikipedia is not (by any stretch of the imagination) a blog for math wonks. The concept needs to be readily apprehended by the lay reader.

::For instance, how far into the text is it made explicit that "Penrose tilings have specific mathematical properties"? Admittedly, I somehow missed that part, though in any case it sounds like a mere ''post hoc'' rationale, as where it's stated that
:::''a Penrose tiling underlies some examples of medieval Islamic geometric patterns''
::which seems to establish that Roger Penrose is at least a few centuries old — or Penrose explored a preexisting phenomenon thus creating a definable discipline.

::(Who first used the term "Penrose tiling"? and when?)

::Until this article can explain the topic — like in the first words, call it fifty — in such a manner that it can be readily grasped by a moderately intelligent average teenager, it fails its purpose as a generally encyclopedic article. Per [[Wikipedia:Writing better articles#State the obvious]]:
:::''State facts that may be obvious to you, but are not necessarily obvious to the reader. Usually, such a statement will be in the first sentence or two of the article.''
::And per [[Wikipedia:Writing better articles#The rest of the lead section]]:
:::''…the first paragraph should be short and to the point, with a clear explanation of what the subject of the page is. The following paragraphs should give a summary of the article. They should provide an overview of the main points the article will make''
::Rather than clarity, the first short paragraph of [[Penrose tiling]] infodumps a stack of terms, none of which has a non-techy explanation within spitting distance:
::* non-periodic
::* tiling
::* generated
::* aperiodic set
::* prototiles
::It's intellectually dishonest (at very best) to hide behind the "it's buried down there in the text, somewhere" excuse. Perhaps someone can go ahead and explain these, right at the beginning, then this is well on the way to becoming a useful article for a '''''general encyclopedia'''''. If nobody is capable of that, I am happy to step up and translate. From there, others are (of course) welcome to fine-tune my explanation for accuracy. After that can be argued how deeply the present article flies against [[WP:NOHOWTO]] and similar.<br>[[User:Weeb Dingle|Weeb Dingle]] ([[User talk:Weeb Dingle|talk]]) 05:21, 14 October 2019 (UTC)
:::The non-techy explanations of most of those terms are right there in the "Periodic and aperiodic tilings" section. If you find even those too technical, then editing this article might not be for you. —[[User:David Eppstein|David Eppstein]] ([[User talk:David Eppstein|talk]]) 05:49, 14 October 2019 (UTC)

::::Per [[Wikipedia|Manual of style/Lead section#Provide an accessible overview]]:
::::::''Where uncommon terms are essential, they should be placed in context, linked and briefly defined. The subject should be placed in a context familiar to a normal reader. … Readers should not be dropped into the middle of the subject from the first word; they should be eased into it.''
::::That's in the lede — not "hold yer horses, kid, it'll all be explained eventually." Any less effort is contrary to not just common sense but WP style. Links alone are grossly insufficient. 
::::Preemptive mention: Another recurring techspeakist dodge is "an average reader can figure it out," which may be true — although the argument is synthesis/o.r. unless sourced! While maybe someone moderately literate can recognize "periodic" as the root of "aperiodic," and might infer at least superficially that it therefore means "not regularly repeating," that reader at that point is not only pulled out of immersion in the article (which is NOT encyclopedic at all) but is being put at risk of misinterpreting what comes next due to a simple lack of understanding — so the prudent editor ''assists in understanding''. At the opening, it's MUCH better to explain stuff "a rung below" your desired audience, and risk a slight insult to their perceived intelligence, than to happily shoot over the heads of most and blame THEM for not working hard enough to keep up.

::::Again: if nobody wants to do the heavy lifting here, I'll volunteer, and leave the fine-tuning to others more specialized. I'm certain I have at least two dusty Penrose books on the shelf (and I think Gleick or Gardner or Hofstadter may have touched on it as well) so there's probably a generally accessible '''and incontrovertible''' introit that has thus far been overlooked.<br>[[User:Weeb Dingle|Weeb Dingle]] ([[User talk:Weeb Dingle|talk]]) 15:58, 19 October 2019 (UTC)

== Saint John of Nepomuk ==

[[File:Tiling at Zelena Hora.jpg|thumb|18th-century church floor tiling]]
Our article currently exhibits a photo of a floor tiling at the Pilgrimage Church of Saint John of Nepomuk at Zelena Hora, Czech republic; see right. It does not mention, although it is true, that the two tiles of this tiling (pentagons and thin rhombs), meeting in the vertices of the two types visible in the photo, do not and cannot form a Penrose tiling. I analyzed the same set of tiles in a different context in a blog post [https://11011110.github.io/blog/2018/06/26/copenhagen-non-penrose.html]. The tiling from the blog post (in a downtown shopping street of Copenhagen) is I think more or less the same as the one in this photo, with the center of symmetry of the tiling at the top center of the photo. It is not a Penrose tiling (it has periodic patches that extend in wedges from the center). But more strongly, as the post explains, this set of prototiles, meeting in this way, cannot be made to form Penrose tilings. Because it is my own blog post, I am not going to add it to this article, but I think it would be appropriate to mention in the caption that it is not a Penrose tiling. —[[User:David Eppstein|David Eppstein]] ([[User talk:David Eppstein|talk]]) 21:05, 20 January 2020 (UTC)
:I moved it up a section to the "related tilings" discussion. It's not that great a picture (poor angle, not much color contrast); maybe we should just leave it out altogether? [[User:XOR&#39;easter|XOR&#39;easter]] ([[User talk:XOR&#39;easter|talk]]) 21:08, 20 January 2020 (UTC)
::I do think it's interesting that people other than Kepler were using tilings of this type, long before Penrose, so my (weak) preference would be to keep it in. —[[User:David Eppstein|David Eppstein]] ([[User talk:David Eppstein|talk]]) 21:20, 20 January 2020 (UTC)
:::That's a fair point. [[User:XOR&#39;easter|XOR&#39;easter]] ([[User talk:XOR&#39;easter|talk]]) 02:40, 21 January 2020 (UTC)
:: I did a little image processing on the picture to correct exposure and bring out the tiling a bit more strongly. See if you think it is an improvement. --<code>&#123;&#123;u&#124;[[User:Mark viking|Mark viking]]&#125;&#125;&nbsp;{[[User talk:Mark viking|Talk]]}</code> 04:13, 21 January 2020 (UTC)
::: Yes, that does look better. Thank you. [[User:XOR&#39;easter|XOR&#39;easter]] ([[User talk:XOR&#39;easter|talk]]) 15:42, 21 January 2020 (UTC)
:I agree it has periodic patches in wedges, but the pattern as a whole never repeats. Thus it lacks translational symmetry yet has reflection symmetry and rotational symmetry. Isn't that the definition of a Penrose Tiling as given in this article? --[[User:Skintigh|Skintigh]] ([[User talk:Skintigh|talk]]) 21:21, 10 December 2021 (UTC)
::No. That is neither the definition of a Penrose tiling (which is a specific aperiodic tiling, different from this tiling and from other aperiodic tilings) nor the definition of an aperiodic tiling (which requires that it does not contain arbitrarily-large periodic patches, or sometimes more strongly that the local rules used to piece together the tiles cannot produce arbitrarily-large periodic patches). Being aperiodic is a much stronger condition than merely not being periodic. —[[User:David Eppstein|David Eppstein]] ([[User talk:David Eppstein|talk]]) 22:54, 10 December 2021 (UTC)
::: I didn't realize the term [[aperiodic tiling]] implied more than nonperiodic. Like [https://link.springer.com/content/pdf/10.1007/BF02293033.pdf Aperiodic tiles] I wonder if set of tiles could be periodic in one direction and "aperiodic" in the other, a [[frieze pattern]] symmetry, or maybe it is just an aperiodic tiling on an infinite cylinder rather than infinite plane? [[User:Tomruen|Tom Ruen]] ([[User talk:Tomruen|talk]]) 08:10, 11 December 2021 (UTC)
::::There's an example like that for the hyperbolic plane: the [[binary tiling]] has versions that have infinite one-dimensional symmetry groups, but cannot have a two-dimensional family of symmetries. —[[User:David Eppstein|David Eppstein]] ([[User talk:David Eppstein|talk]]) 08:52, 11 December 2021 (UTC)

== Einstein shape ==

Is this new discovery better here or in the [[Aperiodic tiling]] page?  Thanks

: https://phys.org/news/2023-03-geometric-tiled.html
: [[User:Samw|Samw]] ([[User talk:Samw|talk]]) 19:17, 24 March 2023 (UTC)
::Better in the [[einstein problem]] page. Definitely not here. This article is about a specific and different family of aperiodic tilings, not about the general concept of aperiodic tilings. —[[User:David Eppstein|David Eppstein]] ([[User talk:David Eppstein|talk]]) 23:27, 24 March 2023 (UTC)

== Definition of aperiodic tiling ==

I changed the definition of an aperiodic tiling because under the previous definition, the Penrose tiling is not aperiodic (since the tiles can be arranged periodically as in Figure 1). [[User:David9550|David9550]] ([[User talk:David9550|talk]]) 20:06, 30 March 2023 (UTC)