text:
# Talk:Wallpaper group

WikiProject Mathematics (Rated C-class, Mid-priority)
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
 C Class
 Mid Priority
Field: Geometry
A selected article on the Mathematics Portal.

## Re: Guide to recognising wallpaper groups

At least for me, the biggest difficulty is recognizing which part of the pattern is the tile. After that, finding out the group is much easier. So maybe we should add a paragraph on how to identify the tile, ideally with example(s). Trapolator 04:03, 6 Jun 2005 (UTC)

## Re: Illustrating plane isometries

A simple, easily remembered, illustration of plane isometries requires no images, merely a geometric sans-serif font.

• [d  ] Identity
• [dp] Rotation
• [dd] Translation
• [db] Reflection
• [dq] Glide reflection

I used this in the Isometries as reflections section of Euclidean plane isometry. KSmrq 14:00, 8 Jun 2005 (UTC)

I have completely redone the wallpaper group page. I borrowed some pics and links but most of the text is new. Also there is LOTS of art.

I expanded the section on euclidean plane isometry-ies and moved it into its own article. It has some material in common with Coordinate rotations and reflections. I believe these articles could be profitably merged.

Things to do include:

• stuff on the "to do" list later on this discussion page
• still need to finish labelling the example patterns of Wallpaper group; I've only done the first few. I will finish this off in the next few days. I don't suppose anyone else will have much luck with it; I happen to have the book "Grammar of Ornament" here with me.
• there should be a discussion of lattices somewhere.
• the "stub" bits need to be filled out, especially relationship between informal and formal approaches. I've noticed the text is not very explicit on that point as it stands.
• needs pretty pictures illustrating the various types of euclidean isometries.
• needs REFERENCES

Dmharvey Talk 17:02, 4 Jun 2005 (UTC)

## request for photographs of wallpaper groups

cmm pattern
p4g pattern

I hereby initiate a project to collect photographs illustrating the 17 wallpaper groups. (See examples to the side).

These patterns are used in all kinds of artistic situations, especially in architecture (bricks, tilings, pavings, etc) and in decorative art.

I am looking specifically for photographs. The article already has some "diagrammatic" representations, but I think the article could be made far more appealing if we show examples that people are familiar with in everyday life, and examples with artistic/aesthetic merit.

Also, in the next month or so, I intend to edit this article so it becomes more accessible to the non-mathematically inclined. It is an excellent example of a mathematical article that could have wide appeal.

Please deposit links to the images on this discussion page. When there are sufficiently many, I will put them in the article proper.

When you add an image, please try to identify which of the 17 patterns it corresponds to (see article), and include it in the filename. Please try to match the filename conventions I have used above. Also, give some indication in the comment field of the source of the image (e.g. "pattern on the oval office ceiling"). We might as well keep reasonably high-res versions available (the examples I have given are approx 1MB jpegs).

Make sure your photo includes a few "cells", so that the repetitive nature of the pattern can be easily seen. If possible, try to rotate the image into a sensible orientation, and make sure the brightness/saturation etc is reasonable. (I can do this myself if need be.)

Note that it is virtually impossible to get an exact representation. For example, in the p4g photo shown here, some of the tiles are slightly orange-coloured, in a manner not strictly matching the p4g description. But it's pretty close, and gets the general idea across.

If you think you can improve on one of the images already present, please go ahead! Call it for example "Wallpaper_group-cmm-2.jpg", etc.

I have made a small beginning with some of the easy ones, from my bathroom and garage (see thumbs).

Thank you so much. Dmharvey 21:32, 31 May 2005 (UTC)

## other stuff to do

• historical links to follow up at http://www.mi.sanu.ac.yu/vismath/ana/ana6.htm, would be nice to include some of this
• need a page on the crystallographic restriction theorem, i.e. why is it that the only allowable rotations are of order 2, 3, 4, or 6. Also cover higher dimensional cases involving totient function.
• would be nice eventually to have a (possibly informal) discussion on how to prove that there are exactly 17 groups
• need an informal discussion of when two groups are considered isomorphic. After all it may be difficult for someone without group theory background to recognise why two completely different looking patterns are actually "the same", or why two similar looking patterns are actually "different".
• I think there is some kind of concept of geometric isomorphism which is a priori different from isomorphism as abstract groups; although if I recall correctly it turns out that they are the same concept; i.e. all the 17 groups are non-isomorphic even abstractly.
• would be nice if this article was more in sync with the frieze groups article.

## Discrimination table

Although the text said the following table explained how to decide which group to assign to a pattern, a list was used. The list was compact in the source, but seemed awkward on the page. To try to make the decision tree easier to read, I have created a version as a table with nested tables. In an abundance of caution, should others violently disagree with the wisdom of this, I have left the previous list version in the source, commented out. Admittedly, just shuffling the deck chairs. :-) KSmrq 02:17, 11 Jun 2005 (UTC)

Thanks KSmrq, I think your table is a vast improvement in legibility. I might come back soon and change some of the labels/terminology in the table, to more closely match that used in the discussion earlier in the article. Dmharvey Talk 11:22, 23 Jun 2005 (UTC)
The most uncomfortable terminology is "rotocenter"; but alternatives sprawled out of control, so I stuck with it. Substitute "center of rotation" and you'll see what I mean. Incidentally, I found it much harder to format a table like this in Wikipedia syntax than I would in XHTML/CSS2. Admittedly, part of that was climbing the learning curve. KSmrq 05:43, 26 Jun 2005 (UTC)
Hey what happened to the table? It used to have grid lines, where did they go? Looked much better before. Dmharvey Talk 28 June 2005 16:15 (UTC)
Grid lines show up for me. Could be your browser or the new WikiMedia software. The lines do assist readability. 68.63.244.30 28 June 2005 17:23 (UTC)

## orbifold notation examples

Hi KSmrq, are you sure the "cmm" example for the orbifold notation is correct? I find that after following your instructions for the first three symbols 2*2, I am already forced to have the entire cmm group, so it is not true that the last 2 represents an independent rotation. Dmharvey Talk 28 June 2005 18:07 (UTC)

Also could you please fix up the text to clarify exactly how the terms dihedral and cyclic are used in this context. Dmharvey Talk 28 June 2005 18:07 (UTC)

Sorry, I didn't notice your questions until now. I have added links for dihedral and cyclic, which may help a little.
As for cmm and 2*22, look at the fundamental region. (Tess is handy for this.) On its border we see three rotation centers, none of which is a symmetry image of the others. (I've modified the text a little to clarify.) One of them lies on a glide reflection axis intersection but not any mirror axis. The other two lie on intersecting 45° mirror axes.
Using the idea of a fractional Euler characteristic we can count the contribution of each notated feature. The first "2" counts as 1/2; the "*" counts as 1; and each following "2" counts as 1/4. The sum is exactly 2, as is required for a wallpaper orbifold. In fact, I've been contemplating filling the "proof of 17" stub with this idea, but am a little worried about the background required. The rule is that "n" before a "*" or "x" counts as (n−1)/n; after, half that. Both "*" and "x" themselves count as 1, and "o" counts as 2. So 4*2 (p4g) adds up as 3/4 + 1 + 1/4. Similarly, 3*3 (p31m) yields 2/3 + 1 + 1/3. KSmrq 10:51, 2005 July 25 (UTC)

## Diagrams on Commons

p4mm as an example

I'm currently working on a german version of this article. For this, I created a new set of diagrams. As those images are on Wikimedia Commons, you could include them here as well. The diagrams are somewhat different than the ones currently used.

Main Advantages in my opinion are:

• Different equivalence classes of symmetry elements are colored (and rotated) differently
• Higher resolution, available as SVG as well
• F-shaped tile mark

I often use a smaller cell, which might not be rectangular in some cases, and which might also cut elemental cells in half. I do this because I think smaller cells are more intuitive, but if there is a reason why the diagrams as currently listed are better, I'd perhaps change my diagrams as well. What do you think?

If someone is interested in the XML and XSLT I used to create those images, I'm willing to release them under GPL, so feel free to ask. But beware, It's a crude job in some places, so don't expect too much.

Your diagrams are a huge improvement. I would definitely like them included in the english version, in fact to replace the current diagrams. Actually, I have a bigger job in mind: I think the "illustrations from architecture and art" need a separate page, with plenty of cross linking back and forth. Something like Wallpaper group (examples). Besides, I have a whole heap of further such examples sitting on my computer, waiting to be cleaned up. Unfortunately I don't have time right now to work on this, but please feel free to go ahead and start doing it, if you feel so inclined. Dmharvey Talk 19:59, 22 July 2005 (UTC)
Thank's for the praise. I will gladly exchange the existing images for my own, but as wikimedia servers are somewhat instable at the moment, I will do so probably next week. I was thinking about an extra examples page as well. As examples would need very little language specific text and would thus apply to all languages, perhaps such an example page would best be located on Commons as well. The images should be moved there in any case, I believe. I think I can do this as soon as I get access to the Commons bulk File upload service. -- Martin von Gagern 22:58, 22 July 2005 (UTC)
I agree that the example images should be on Commons. (I apologise for not uploading them there myself to begin with. I will do so from now on.) However, I think there should be a separate example pages on each wikipedia. The article should be part of the encyclopaedia(s) after all. Dmharvey Talk 13:30, 23 July 2005 (UTC)
I think it is sometimes helpful to have both versions, showing sometimes a different orientation, a different choice of fundamental domain, etc.--Patrick 22:46, 25 July 2005 (UTC)
Yes, the new pictures are an improvement; well done.
Coincidentally, I've recently discovered Tess is a wonderful tool for making symmetry examples, and wanted to make a new set of small images, based on "d" rather than "F". (I use "d" already on the Euclidean plane isometry page, for a few reasons.) The idea was to have a visible mnemonic; I cannot look at either Hermann-Mauguin or Conway notation and immediately picture the symmetry, and I'm sure many readers will have the same problem and thus appreciate a visual hint now and then. Especially, I thought it would be nice to accompany the classification table, so we can see all the patterns together.
An idea that just occurs to me is to trim my hints to the fundamental regions. That works nicely with Conway notation, keeps them small, and perhaps avoids duplication. I'm not sure the new pictures will work at the tiny size (inline?!) I'm contemplating. It might be nice to depict an orbifold instead of a fundamental region, but that's a graphics challenge. Meanwhile, using different colors for non-isomorphic features (centers, axes) may suffice.
One subtlety is that some of the groups allow axes of different lengths, and possibly at arbitrary angles; I'd like that depicted.
The examples themselves look clean to me, but the (old?) key looks like a crude scan, not SVG quality. Also, it doesn't quite visually match the images. It may be a temporary server problem, but p4g, p4m, and p6m are missing for me. KSmrq 11:50, 2005 July 25 (UTC)
The legend images are old, I think they have been removed some day, but for now, I think they are better than having just text describing the symbols.--Patrick 22:37, 25 July 2005 (UTC)
Re missing images: I fixed that, it was due to the use of group names with an extra m at the end.--Patrick 22:37, 25 July 2005 (UTC)
The files need to be uploaded to Commons with the correct name, and use of the alternate template removed. Otherwise consistency of the page becomes hard to maintain. I found this a problem when I tried to give all the images a descriptive tag, as web standards require. For the heck of it, I used the Conway notation, and found some minor issues: As I understand it, x should always come last, and should be lower case. KSmrq 06:10, 2005 July 26 (UTC)
I believe I read my notation with the additional m in some book as well, but I would not bet on this. I uploaded the files as SVG and used your naming scheme for this. So once the images can be migrated to use SVG, names would match notation. But before this can happen, MediaWiki bugs #5109 and #5110 need to be fixed. Otherwise, the proportions of the images are incorrect and the lines of glide reflection not dashed. I also fixed an error in the cm image pointed out by Patrick. If things turn out well, I might even get around to do SVG versions of the legend images. -- Martin von Gagern 01:40, 27 February 2006 (UTC)

It looks like this discussion ended somewhere in early 2006, but the article has been left in a state where every group has two different "cell diagram" images. Using one or the other would clean up and shorten the article. -LesPaul75talk 22:18, 15 March 2011 (UTC)

I agree that the article is too long, and some of the images are poor. This is most true of the "computer-generated" images, which are sometimes hard to make out - I feel they should all be removed. Some of the other images are in my view too small-scale, with too many repeats - these could easily be improved, by constructing "zoomed-in" versions of them. Maproom (talk) 10:04, 16 March 2011 (UTC)
I went ahead and replaced the old "cell structure" images with the newer SVG versions. I also think you're right about the "computer-generated" images. They don't add much to the article beyond what the "cell structure" images already illustrate. -LesPaul75talk 17:58, 21 March 2011 (UTC)

## Shapes and colours?

Sometimes two categorizations are meaningful, one based on shapes and one also on colors.

No further explanation is given. I don't understand what is meant. Please expand or I will remove it. Thanks Dmharvey Talk 11:19, 24 July 2005 (UTC)

E.g. a red p and a black q can together form a symmetric image, but only if we ignore color.--Patrick 23:42, 24 July 2005 (UTC)
Similarly, ignoring colors the image shown is p4, otherwise p2, I think.--Patrick 23:47, 24 July 2005 (UTC)

## Orientation of diagram vs. that of computer-generated images

It is a little confusing that the orientation of the diagram is sometimes different from that of the computer-generated image.--Patrick 10:49, 25 July 2005 (UTC)

The computer generated images are pretty much the only things left from the previous incarnation of this page. I don't mind if they disappear, especially if they get replaced by something matching the diagrams. Dmharvey Talk 18:11, 25 July 2005 (UTC)

## Fidgeting

When I filled in the section on orbifold notation, I used the spelling "center". The rest of the article uses "centre", so I changed to that everywhere. Also, the word "rotocenter" was used in several places, and I changed that to "rotation centre", for both clarity and consistency. In the classification table, I changed my original "rotocenter" to "rot. centre"; it's not quite so pretty, but may be easier to understand — and it still fits.

The constant use of quotation marks around group names like "p3m1" seemed distracting in an article that uses them so often, so I switched to either italics or boldface, depending on context.

I promise, to atone for this silly fidgeting I will fill in another section stub. :-) KSmrq 11:37, 2005 July 26 (UTC)

## Enumeration proof stub filled

Done! I'm not thrilled with my effort, but I sketched the pretty orbifold approach to enumerating the groups. My hunch is that a really satisfying, accessible, and complete proof through any route would be too long. Instead, I have inserted a provocative handwave. Is it ideal? Doubtful. Is it better than nothing? I hope so.

One benefit is that anyone can enumerate the groups, and can do a sanity check on orbifold notation. For example, is 2*2 a wallpaper group? No, the sum is 1/2+1+1/4, which is too small. Is 444 a wallpaper group? No, the sum is 3/4+3/4+3/4, which is too large. I know of no easy sanity check on crystallographic notation.

However, this topological approach offers no geometric insight. Most of the pleasure of wallpaper groups is in the geometry, and we often use them as a stepping stone to the full 3D crystallographic space groups. Sadly, I haven't found a way to condense a geometric approach to any acceptable length.

Caveat: I have not myself fully absorbed the orbifold ideas, thus I may not present them as they deserve.

But I do like filling the stub. :-) KSmrq 10:22, 2005 July 27 (UTC)

Something that isn't clear to me is why are 2,3,4,6,*,x,o the only "features" allowed? I can buy that once you restrict yourself to these, there are only 17 combinations that add up to 2 with that formula... but I'm left scratching my head as to whether we've missed possible wallpapers because of left out a "feature", called 'f', for example, so that 2f2 could be another wallpaper group. —Preceding unsigned comment added by 129.105.122.208 (talk) 15:53, 15 July 2010 (UTC)

## Crystallographic notation

I would greatly appreciate another set of eyes on the description I've written of crystallographic (Hermann-Mauguin) notation. Have I told any lies? Is there a better way to explain it? What pictures, if any, should be added?

Anyway, the section is finally filled. (That's two in two days!) Enjoy. KSmrq 20:32, 2005 July 27 (UTC)

It says "Here are all the names" and then 11 groups are listed.--Patrick 00:01, 29 July 2005 (UTC)
Thanks. I had copied the table from another site, not realizing it was incomplete. (Tess uses these pairs.) I have already fixed that problem, but it raised a question perhaps you understand. The group p2 is listed as short for p211, but p1, p3, p4, and p6 are different. Why is p6 not short for p611; or should it be? KSmrq 11:39, 2005 July 29 (UTC)
Thanks. I don't know.--Patrick 19:54, 29 July 2005 (UTC)
I see you found something to say about the distinction between p and c cells. Sadly, after reading it several times in context I still found it more confusing than helpful. The phrase you replaced does trouble me as well, being little more than a handwave. Honestly, we may never be able to say enough in a single short sentence. For now, your new material is commented out.
Ideally, any explanation should make sense in 3D as well, since this is crystallographic notation. (In 3D we have more cell types and the idea of closest-packing structures.) Part of the problem is that no rhombus is visible in the diagram(s) for cmm. Another is that the notation discussion considerably precedes the diagrams. Actually [sic], I have little confidence I could look at a pattern or its distilled cell and be able to apply the sentence, which bodes ill for our readers.
I vaguely remember that years back I sorted out something plausible and coherent for 3D, but I've not taken the time to try to resurrect it. One way to look at it is to imagine taking that rhombus as a p cell, then trying to notate the other symmetries; the whole 2-axis notation system falls apart. The central idea is not that the primitive cell has equal sides (a rhombus), but that the symmetries don't align with the cell sides. We'd have a problem empirically confirming a rhombus (from measurement error in lengths and angles); less so the symmetries. KSmrq 13:39, 2005 August 2 (UTC)
I think the figures of cm and cmm should show a rhombus, as I indicated on commons:Image talk:Wallpaper group diagram cmm.png; that is the smallest possible cell that is repeated by translation, while, as usual, having the translation vectors as its sides.--Patrick 22:33, 2 August 2005 (UTC)
The cm figure has a rhombus that is visible, though subtle. The cmm figure has no visible rhombus. On close inspection I can imagine that one is indicated by a darker shade of gray interspersed with the dots of the glide axes and hidden behind the cell boundaries, but that's rather close to a "polar bear in a snowstorm".
I've introduced an extended description of the cell distinction, split out as a separate paragraph. KSmrq 04:16, 2005 August 3 (UTC)
I don't know what you are trying to say: either that the groups have little to do with a rhombus, or that you agree that the figures should (more clearly) show a rhombus.--Patrick 07:14, 3 August 2005 (UTC)
Ah. First, the captions for cm and cmm refer to a rhombus, which is essentially invisible for cmm. If any text, whether caption or otherwise, is to refer to the rhombus, it should be visible. I believe a diamond shape will work for cmm as it did for cm, which might suffice.
The caption provisionally compensates for what is missing in the diagram. I have clarified it further. Surely you don't mean that important info missing from an image should also be missing from the text?--Patrick 20:32, 3 August 2005 (UTC)
Yes, the new caption helps. And, yes, I do mean the text should not refer to an invisible feature. If you feel that the information is important, and are not swayed by the reservations I expressed, then I expect you will want to amend the image and then augment the text. Remember, the previous attempt left me scratching my head in puzzlement, and I'm someone helping edit the article, not someone who knows nothing about wallpaper groups trying to read it. Are you incredulous, or confused, or something else with regard to my comments? Because I feel like I'm just repeating myself, which probably isn't that helpful. KSmrq 23:07, 2005 August 3 (UTC)
Second, the discussion of notation no longer refers to a rhombus, for reasons I gave above. If the cmm figure is modified, we then have the option to discuss that aspect of c cells. I'm all for visual references, so long as the language is clear and helpful. Unfortunately, the clause you introduced seemed (to me) to be confusing for discrimination and silent for explanation. For all I know, mine may seem the same for you! KSmrq 17:58, 2005 August 3 (UTC)

Another thing: "translation vector" seems clearer and more common than "translation axis" ("axis" is used for reflection and for 3D rotation, and for a line in the center). Also, there are two, but without explanation one is referred to as the "main". That seems odd.--Patrick 06:13, 4 August 2005 (UTC)

Thanks; good catch. Crystallography has conventions for choosing these axes, and choices for the cell origin as well. Axis, not vector, is the correct term in this context, so I suppose more explanation is required. It's a little frustrating, because we encounter the notation section at a point in the article where we have not yet (if ever) introduced the background needed for a proper discussion.
Anyway, briefly, we typically use the minimal translation vectors of a primitive cell as oblique axes, giving a non-orthonormal basis in which every lattice point has integer coordinates. In crystallography, positions of atoms making up a crystal are given with respect to this coordinate system. Here is an example of a calcite description:
  Calcite
Graf D L
American Mineralogist 46 (1961) 1283-1316
Crystallographic tables for the rhombohedral carbonates

4.9900 4.9900 17.0615 90 90 120 R-3c

atom     x y   z
Ca       0 0   0
C        0 0 .25
O    .2578 0 .25

The first three numbers give the lengths of the axes; the next three, the angles; then comes the space group, which in this case is based on a rhombohedral cell. (Of course, the rhombohedral symmetry partially constrains the axis lengths and completely constrains the angles.) The calcium atom is taken as the cell origin, the carbon is at a special fraction (1/4) of the z axis, and the oxygen is at a less special position with respect to the symmetry. Thus the action of the symmetry group yields the chemical formula CaCO3, with more copies of the oxygen atom.
Now the challenge is, how to say just enough to explain wallpaper group notation without dragging in all of crystallography! KSmrq 17:38, 2005 August 4 (UTC)

I have reverted your (Patrick's) edit back to my original clause, "they permit the same method of symmetry description in the other cases", to convey the correct meaning. Your edit did not make it clearer, it changed it to something completely different. My meaning, apparently misunderstood, was that by using c we can say cm and mean that the mirror is perpendicular to the first cell axis, just as pm does, and similarly for cmm. Would you prefer that I say, "in the remaining two cases"? Or perhaps you can suggest a better wording, now that you know (I hope!) what I'm trying to say. KSmrq 07:00, 2005 August 6 (UTC)

Hmm; Conway notation is looking more and more appealing! I have attempted to clarify centred cells again, along with the axes. Still left wanting an explanation is "primary" axis. Sigh. KSmrq 08:36, 2005 August 6 (UTC)

Patrick, the description of primary axis choice is a definite improvement over nothing (which is what I had said); thanks. A problem or two remains. Your phrasing is

"if there is a mirror perpendicular to a translation axis we choose that axis as the main one"

This gives us no guidance for the groups pg (p1g1) and pgg (p2gg); and for p4g (p4gm) and p31m, it's confusing. I think the underlying cause of these difficulties is not our clumsy explanations, but the way the notation really works, which is a bit backwards. We know the groups and their symmetries, and use a notation that distinguishes the groups and that depends on a proper choice of axes. The axes in each case are chosen to make the notation work. Still, we're making progress. KSmrq 19:47, 2005 August 6 (UTC)

All this discussion really points to the inadequacy of the crystallographic notation. There is nothing canonical about it. Given a new group, you would not be able to guess accurately the name used for the last 100 years. The orbifold notation really does uniquely define a symmetry, in a way that can never be mistaken and can be calculated; it generalizes to all two-dimensional symmetries, of the plane, sphere, and hyperbolic plane, and the frieze groups. Jan 25 2006.

## Problem with italics in headers

I noticed that when italics are used in a section header, after section editing one ends up at the beginning of the page instead of at the section. I find this very inconvenient. Therefore I suggest that we use normal text in section headers.--Patrick 21:56, 28 July 2005 (UTC)

Fascinating; that is an inconvenient bug. I'll follow your suggestion and change all the section headers to normal, as the context there sets off the group names anyway. (If Dmharvey doesn't object.) I'd still like to see consistent bold group names in the text. Do you disagree with that convention or just don't want to be bothered with doing it? KSmrq 12:01, 2005 July 29 (UTC)
Thanks for changing the headers. I do not find bolding very important because fortunately the codes are not normal words, except cm, but even that is not used once in the meaning of centimetre in the article. However, for uniformity I'll try to conform.--Patrick 19:50, 29 July 2005 (UTC)

## Splitting the page

Hello KSmrq and Patrick, you've both been doing a lot of great stuff to this page. I wish I had time to edit now but I don't. I have been keeping an eye on progress though.

My two cents is: The article is now way too long.

My proposal to remedy this: Split into two articles. The main Wallpaper group article covering all the theory. A separate Wallpaper group (picture gallery) or Wallpaper group (examples) or something similar, with most of the example images. The main article will have, for each group, the cell diagram, perhaps one pretty example image (perhaps more if some aspect of the theory is best explained by example), and a link to the "examples page" saying "See more examples of this group...".

This will become even more imperative when I add more of the photos that are sitting on my hard drive crying out for inclusion....

Does anyone think this is a good idea?

Dmharvey Talk 13:13, 29 July 2005 (UTC)

Hah! We don't need you to tell us it's long; every time we edit we now get a warning. :-(
The bad news is, the warning is about long text, nevermind the download time for the pictures. Two images per group — one showing the cell structure, and one as an example — sounds fine, splitting the other images to a separate gallery page for each group. I'll give some thought to what might be done about the text. It could use a little reorganizing anyway. KSmrq 21:09, 2005 July 29 (UTC)
If we have a page for each group we can also have all text about that group there, partly copied, partly moved from the main page.--Patrick 21:28, 29 July 2005 (UTC)
The main page still needs a concise, coherent survey of all the groups. Visiting separate pages for image galleries is one thing; doing so when trying to compare groups or understand all 17 as a whole is not so appealing. Of course, the current long scroll makes that awkward as well, which is one reason I've been trying to design small images (maybe like Kali's icons, maybe not) and think about reorganization. Another thing I'd like is more group-theoretic discussion, such as the subgroup relations. KSmrq 22:24, 2005 July 29 (UTC)

## Illustrations

While trying to sort out crystallographic axes, I noticed that the right-hand diagram for p3m1 should be rotated clockwise 30° so that the long diagonal becomes horizontal. The convention elsewhere is a vertical main axis, with perpendicular (horizontal) mirror. KSmrq 21:17, 2005 August 6 (UTC)

Apart from cm and cmm the convention seems to be that one of the translation vectors is horizontal.--Patrick 00:38, 7 August 2005 (UTC)
The left-hand illustration for p3m1 has a horizontal mirror line, and the discussion of axes says we should have a mirror perpendicular to the main axis. The right-hand illustration has neither a horizontal nor a vertical edge as mirror, though there is an internal vertical mirror. I can't swear to it, but I believe the vertical axis is a convention (outside Wikipedia). That's what Tess uses, though a sample of one is hardly conclusive evidence. Believe me, I understand tinkering with figures can be a pain; so I can sympathize if you don't want to change it. KSmrq 03:14, 2005 August 7 (UTC)
I think it is convenient to have the translation cell drawn the same for p3, p31m, and p3m1, as we have now. Anyway, the person to ask first would be the maker, Martin von Gagern.--Patrick 06:35, 7 August 2005 (UTC)

## Article split up?

I created a new article called List_of_Planar_Symmetry_Groups just to show the 17 groups themselves. (Quick&Dirty, but useful for reference!)

It probably wouldn't be a bad idea to move ALL the example images into 17 separate articles, one for each group. I'd do it someday, but a bit overwhelmed at the moment!

I just added articles for the 11 regular/semiregular tiling and symmetry groups for each. Like: Triangular_tiling

ANOTHER nice SHORT article would be for "Spherical symmetry groups" - page symmetry group is equally overwhelming and not clear at all. I'll do this myself when I collect some pictures of the fundamental domains....

Tom Ruen 10:55, 9 October 2005 (UTC)

## Roger Penrose tiles?

I didn't see any reference to Roger Penrose tiling in this article. Penrose put forth many mathematical examples of filling a 2 dimentional plane in a non-repeating (aperiodic) way. I think at least a mention of his contemporary work would be appropriate here as this was the mathematical evelution (AFAIK). Jeff Carr 10:41, 22 January 2006 (UTC)

We don't cover nonperiodic tiling under wallpaper groups because wallpaper groups only describe periodic tilings. An article on tilings or tesselations could raise the issue, as could an article on projections of higher-dimensional periodicity. In fact, my recollection is that such mention is made. --KSmrqT 14:09, 22 January 2006 (UTC)

## miscellaneous

This is a very nice article and I have been enjoying the cultural examples of wall paper groups. I do have a few comments:

It would be nice to more systematically interleave the orbifold and international crystallographic notations. Also, the diagrams of the "cell structures" of the various groups seem a little misleading: (a) there is usually no canonical cell structure, but you are typically showing generators for the group, so that's no big deal, but (b) there is no difference between, say the symmetry denoted o (in the orbifold notation) and p1 (in the intl cr. notation) and it seems like they should have the same diagram. Same point for the other 16.

The thread above on the crystallographic notation prompts me to write this screed:

this discussion really points to the inadequacy of the crystallographic notation. There is nothing canonical about it. Given a new group, you would not be able to guess accurately the name used for the last 100 years. The orbifold notation really does uniquely define a symmetry, in a way that can never be mistaken and can be calculated; it generalizes to all two-dimensional symmetries, of the plane, sphere, and hyperbolic plane, and the frieze groups.

Those participating in this discussion may be interested to know that Conway will be publishing a beautiful book on the subject early in 2007 (I am a co-author). Also, Conway has a nice way to understand all the 3D space groups, which will be discussed really for the first time in that book. Jan 25 2006.

Dear madam/sir, I'm glad you like the page. Most of the "cultural examples" you speak of are my fault. (Well I didn't draw them obviously, but I collected and organised them). If you have any ideas for the page, you are of course quite welcome to make changes yourself! That's what the "edit" button is for! Don't worry if you get stuck with the wiki syntax, there are plenty of people hanging around here who will help you. You might consider creating an account, since it improves your anonymity slightly (i.e. we can't guess geographical location via your IP address :-)) And of course I'm looking forward to that book. Dmharvey 02:14, 26 January 2006 (UTC)

## Formal definition

This is a beautiful article. But the formal definition doesn't make sense to me:

"A wallpaper group or plane crystallographic group is a type of topologically discrete group of isometries of the Euclidean plane which contains two linearly independent translations."

Everything is explained, except for the "type of". What does it mean for two groups of isometries of the plane to have the same type? Does it mean they are abstractly isomorphic as groups? Or is there something more subtle going on (like that they become the same group of isometries after rotation and rescaling)?

It would be nice if an expert could fix this up. Thanks. 24.82.85.97 19:43, 28 January 2006 (UTC)

Dear anon, that's an excellent point, there's something missing there. Here is my recollection of the situation (it's been a little while, and I don't have references handy). Your definition of "isomorphic" is the correct one, except that besides just rotations and rescalings, you need to include the whole group say ${\displaystyle H}$ that is generated by ${\displaystyle GL_{2}(\mathbb {R} )}$ and the translations of ${\displaystyle \mathbb {R} ^{2}}$. So, two wallpaper groups ${\displaystyle G_{1}}$ and ${\displaystyle G_{2}}$ are considered isomorphic if there exists some ${\displaystyle h\in H}$ such that ${\displaystyle G_{1}=hG_{2}h^{-1}}$, or alternatively, they are the same "up to scaling and arbitrary (invertible) linear transformations of the plane". The reason you need to include arbitrary linear transformations is that otherwise there will be infinitely many different versions of say p1, all with slightly different angles between the two independent translations. For similar reasons your definition needs to include the translations in ${\displaystyle H}$. Now, the amazing thing, is that after giving this correct "natural" definition, it turns out that two groups are isomorphic in the above sense if and only if they are isomorphic as abstract groups! Obviously you need to do a little bit of work to prove this. I believe there is a discussion of how this all works in the Grunbaum reference, but I'm not 100% sure. Dmharvey 20:13, 28 January 2006 (UTC)
Some of these things are also in Space_group#Group_theory (2D case).--Patrick 00:48, 29 January 2006 (UTC)
I added them here.--Patrick 09:19, 29 January 2006 (UTC)

## Images showing a rhombus

The images for cm and cmm are now rhombuses. With regard to the orientation of the images: it is consistent with the other images in having one translation vector horizontal. However, I wonder if it is not easier to have the diagonals horizontal and vertical (e.g., all example images have such an orientation).--Patrick 14:41, 27 February 2006 (UTC)

## A note on p1

User:KSmrq corrected a note I added on p1; thanks for that. Here's KSmrq's text: The two translations (cell sides) can each have different lengths, and can form any angle. Now, could one add something like the following: Thus, if the contents of the unit cell is asymmetric, it is irrelevant whether the shape of the unit cell is symmetrical. And why would I want this? Well, if this mathematical topic is applied to actual wallpapers (you known, things made of paper, glued on the reverse and all that), I find it a bit odd, and hence noteworthy, that

1. wallpapers with square unit cells, and
2. wallpapers with unit cells that are parallellograms with no symmetry at all

are grouped together.--Niels Ø 10:12, 10 April 2006 (UTC)

None of the other groups goes into such detail. The questions you raise are not special to p1. Please read the extensive discussion that precedes the consideration of individual groups.
However, it would be appropriate to note with each group to what extent its translation vectors are constrained. Specifically:
• p1 has independent lengths, any angle
• p2 has independent lengths, any angle
• pm has independent lengths, fixed angle
• pg has independent lengths, fixed angle
• pmm has independent lengths, fixed angle
• pgm has independent lengths, fixed angle
• pgg has independent lengths, fixed angle
• cm, cmm and all other groups have equal lengths, fixed angle
for the 3-fold and 6-fold groups, the fixed angle is 120°, else 90°
Different groups can have the same cell shape. For example, p1 and p2 both can be any parallelogram, cmm and p4g are both squares, and p31m and p6 are both 120° rhombuses. This is one reason why the "Guide to recognising wallpaper groups" has no mention of cell shape. The symmetries of the pattern are what's important. --KSmrqT 14:00, 10 April 2006 (UTC)

## Belabored?

This is a nice article, but in my view it belabors its subject. I think that it would teach people more if we simplified the wording, and removed remarks which are redundant or nearly trivial. I spent some time this morning simplifying the article, but I think that more could be done.

Likewise I think that four photographic examples is plenty for each of the symmetry groups. The page is too "tall", partly because it has so many illustrations. Greg Kuperberg 17:29, 13 February 2007 (UTC)

I appreciate that you would like to improve the article; thanks for that. Unfortunately, you made a number of edits recently with mixed results. Use of a gallery in the intro was a good idea; I have retained that. Removing images is not such a good idea; the assortment is one of the strengths of the article. Removing a level of structure around the discussion of notation is also a step in the wrong direction. Then we come to the wording. I have high standards of writing, and most Wikipedia contributions fall short, including some parts of this article. However, we need to respect mathematics as well as rhetoric, and I was uncomfortable with what I saw happening. Lacking the time and lacking the inclination to nitpick every sentence change, I simply reverted all.
Please don't take the reversion as a slight; under other circumstances I would try to work with you paragraph by paragraph. Maybe we can come back to this in the future.
If you visit my talk page, you will see a number of examples of technical illustrations that dmharvey and I were collaborating to design for the article. Unfortunately, real life intruded (he's a doctoral student in mathematics at Harvard) before we settled on a final version. In other words, I have a long-term involvement in improving the article.
I've enjoyed some of my past joint efforts on this, and hope to have more as time permits. --KSmrqT 07:56, 17 February 2007 (UTC)
Removing images is not such a good idea; the assortment is one of the strengths of the article.
I understand the general point that it's nice to have a lot of illustrations, moreover that this article in particular merits a catalogue of examples. In my opinion, the article goes overboard. You would surely agree that there is such a thing as too many examples; the question then is where to draw the line. I recommend removing some of the uglier or more indistinct examples. But I concede room for reasonable disagreement on this point and I do not mind this reversion so much.
Then we come to the wording. I have high standards of writing, and most Wikipedia contributions fall short, including some parts of this article. However, we need to respect mathematics as well as rhetoric, and I was uncomfortable with what I saw happening. Lacking the time and lacking the inclination to nitpick every sentence change, I simply reverted all.
Here, on the other hand, I think that you are being unfair. I am a professional mathematician and I certainly do have complete respect for the mathematics as well as the rhetoric. I made changes that I thought improved the explanations simultaneously at the lay level and at the technical level. I don't think that it's reasonable for you to revert these changes just because you lack the time and inclination to nitpick, because that is exactly what I did find time for. To be fair, you may not have realized how I thought about these changes.
On the subject of the structure of the notation, I strongly feel for technical reasons that the discussion is incorrectly structured and overstructured. My thinking on this point is not fully fleshed out, because I did not yet revise the obfuscated section on "why there are 17 wallpaper groups". That section, if revised, could be merged with the section on orbifold notation. But it will be difficult for me to edit this article if people undo changes just because they don't have time to think about them. Greg Kuperberg 19:00, 17 February 2007 (UTC)
Thanks for your thoughts. Perhaps we're not too far apart on what we're looking for. I did see some things I liked in your rewordings, so I don't mean to suggest it was all negative.
As I said, I saw enough places where I was uncomfortable that I (reluctantly) decided it was better to revert. I really would like to follow the one step back with two steps forward. In the real world, I've got some distractions just now, and in Wikipedia I'm trying to finish up a massive rewrite of one particular article. My head is full. Could we possibly come back to this in, say, a week?
When we do, I would love to hear your views on the notation subsections, and on the "why 17" explanation. Those are appealing for me to discuss because it's mostly my writing. "Obfuscated" surprises me; my sources were scarce and rather more difficult. I had always wanted an accessible explanation for the number, as I think many readers will, and I tried to condense the essence of the simplest argument I could find. I'm especially surprised that you propose merging this with a discussion of notation, as both the topics and audiences are distinct. If we can make things clearer for lay readers, that would be great.
Also, those revised graphics dmharvey and I were working on are long overdue, and this would be a stimulus for me to finish them off and put them in place. (The best ones do not appear on my talk page.) So, meet you back here on February 25? --KSmrqT 09:37, 18 February 2007 (UTC)

## So, why 17?

The "Why there are exactly 17 groups" subsection is not great for the layperson, as nowhere in its explanation does it actually say "There are 17 because". Indeed, the number 17 isn't even mentioned in that subsection! In a general encyclopedia, you really do need to show a little more working and not assume quite so much mathematical knowledge. Somewhere there needs to be something that shows explicitly where the 17 comes from, not leaving it to readers to infer. 81.153.111.37 00:25, 3 December 2007 (UTC)

I agree. It's been two years. Can somebody editing this page please put it in plain English, or if it just isn't that easy, change the section heading? Lime in the Coconut 20:52, 21 January 2010 (UTC)
Um, I can show where the number 17 comes from, but I don't think it will help much, because that's not the difficult part of the derivation. Anyway, here goes:
Let's start from the features with the highest value and work our way down. The possible features are:
 Feature: o x * 6 4 3 2 (*)6 (*)4 (*)3 (*)2 Value: 2 1 1 5/6 3/4 2/3 1/2 5/12 3/8 1/3 1/4
If the "no symmetry" feature "o" is there, that's 2 by itself, so no other features can be present.
1. o (2 = 2)
Next let's try "x". That's 1, so there's 1 left over. If there's another "x", we have
2. xx (1 + 1 = 2)
and if there's a "*", we have
3. *x (1 + 1 = 2)
Or there could be an "x" and multiple features that sum to 1. We can't have both "x" and "6" because that's already 1 + 5/6, and there's no feature whose value is as small as 1/6. Similarly, we can't have both "x" and "4" or "x" and "3", so the only group we can get this way is
4. 22x (1/2 + 1/2 + 1 = 2)
That's all the groups that contain either "o" or "x", so all the others must have only digits and "*". If there are two "*"s, then that's it for the group:
5. ** (1 + 1 = 2)
Now let's do the ones that have one "*". "6" can't be to the left of "*" because that's already 1 + 5/6, but "4" can be to the left of "*". In that case the remaining feature must be a "2" on the right, so we have
6. 4*2 (3/4 + 1 + 1/4 = 2)
We can have a "3" to the left of the "*", in which case the remaining feature must be a "3" on the right, so
7. 3*3 (2/3 + 1 + 1/3 = 2)
We can have a "2" to the left of the "*", and in this case there is more than one possibility. There is 1/4 left over, so there can be either another "2" to the left:
8. 22* (1/2 + 1/2 + 1 = 2)
Or there can be digits on the right, and it turns out the only possibility is
9. 2*22 (1/2 + 1 + 1/4 + 1/4 = 2)
Everything remaining must either start with a "*", or have just digits and no "*". Let's assume it starts "*6...". Then there can't be another "6" because that only leaves 1/6, which is less than 1/4 and nothing can be added to reach 2. Similarly there can't be a "4". But there can be a "3", in which case there must also be a "2", so we get
10. *632 (1 + 5/12 + 1/3 + 1/4 = 2)
It's impossible to have "*6..." and then no "3", because there's no way to make that add to 2, so let's now assume it starts "*4...". There is 5/8 left over, and the only way to make that is another "4" and a "2", yielding
11. *442 (1 + 3/8 + 3/8 + 1/4 = 2)
If it starts "*3...", then there is 2/3 left over and the only way to make that is two more "3"s:
12. *333 (1 + 1/3 + 1/3 + 1/3 = 2)
And finally if it starts "*2..." then there must be four "2"s total.
13. *2222 (1 + 1/4 + 1/4 + 1/4 + 1/4 = 2)
That exhausts the groups with a "*" and all the rest have only digits. If there is a "6", there can't be another "6" because that only leaves 1/3, which is too big for any feature as long as there's no "*" in sight. Similarly there can't be a "4". However, there can be a "6" and a "3" in which case there must also be a "2":
14. 632 (5/6 + 2/3 + 1/2 = 2)
It's impossible to have a "6" and no "3". If there is a "4", then there can be another "4" and a "2":
15. 442 (3/4 + 3/4 + 1/2 = 2)
We could try putting in both a "4" and a "3" but that just doesn't work out (try it). Similarly we can't have a "4" and a "2" without there being a second "4". So the rest of the groups don't have "4"s. If there's a "3" then the only possibility is
16. 333 (2/3 + 2/3 + 2/3 = 2)
and if there are only "2"s, then there must be four of them:
17. 2222 (1/2 + 1/2 + 1/2 + 1/2 = 2)
This exhausts the possible Conway orbifolds of genus 2 and therefore the planar symmetry groups. These seventeen are all there are and all there shall ever be. —Keenan Pepper 08:03, 22 January 2010 (UTC)

This still leaves a lot of questions for the layperson (such as myself). Why isn't, for example "x*" an 18th wallpaper group? (you only have "*x" listed above)? Also, this pretty much just transfer the question to, why are there only 7 features? 129.105.122.208 (talk) 15:59, 15 July 2010 (UTC)

See Orbifold#2-dimensional orbifolds which lists all the possible (non-hyperbolic) 2 dimensional orbifolds. You can enumerate all the possible orbifolds, and calculate their Euler characteristics, most will turn out to be hyperbolic, some are spherical and some, the one we are interested in, are parabolic. For example those with a feature 5,7,8,... or *5,*7,*8,... can't be parabolic as a triangle with these angles can't tile the plane.--Salix (talk): 17:29, 15 July 2010 (UTC)

## Why 17 redux

Having had the pleasure of being a coauthor of the "Symmetries of Things" can address a couple of issues raised here.

1) Why are the only features o,x,*, numbers. (Note, don't rule out 5, etc, a priori. This comes for free a little later) There are two kinds of feature, those that fix a point and those that don't. If a point is fixed, we can understand the feature that fixes it by looking at what happens to a little disk around it. It should be clear that all that's possible is to rotate the point, or reflect it, or have a whole bunch of reflections making a kaleidoscope there. For the rest of it, remember that we're recording the topology of the orbifold surface, and surfaces can be sorted out pretty straightforwardly by topology, into their constituent parts: cross-caps (x), handles (o) and boundaries (*). That's precisely what the notation is recording.

2) Why 17? The proof above is pretty long. Here's a faster way:

(a) If we stick with just rotations: these have cost 1/2, 2/3, 3/4, 4/5, 5/6, 6/7 etc. (i) Can't have 6/7 or higher: Clearly can't have two such, since at least 12/7 and smallest cost available is 1/2. Can't have one such either, since remaining cost is greater than 1 but no more than 8/7; 1/2+1/2 is too small and 1/2+2/3 is too big. Similarly can't have 4/5. So we're left with 1/2, 2/3, 3/4 and 5/6.

If we use 5/6, then we must have 1/2 and 2/3: 632

If we use 3/4, then we can only use 3/4+3/4+1/2: 442

If we now restrict ourselves to 1/3 and 1/2, clearly can't mix them, and we get 1/2+1/2+1/2+1/2 and 1/3+1/3+1/3 2222 and 333

Those are the only symbols with all rotations.

b) Now here's a great trick! Kaleidoscopic numbers, red in the book, those after *, cost half as much as rotation ones. Since * costs $1, and since half of$2 is \$1, we can take any of the above symbols and get one with all numbers after *:

*632, *442, *333, *2222

Since the trick is reversible, these are the only symbols with a single * followed by all numbers.

c) An even cooler trick: Can swap any pair of identical numbers after the * for a single one in front of the star, costing twice as much. Thus *3 33 yields 3*3 and *22 22 yields first 2*22 and then 22*. Since the trick is reversible, these are the only symbols of the form numbers*numbers.

d) Finally, any * not followed by numbers can be converted to a x without trouble, hence 22x My favorite symmetry. Again reversible, so again, that's it. Since * and x are too expensive to have two of with numbers in the same symbol, and o can't be combined at all, that's it for numbers. xx, **, x* and o round out the list.

## What actual groups are these?

Something I would like to see here is a listing of what groups these actually are, abstractly. What groups they are isomorphic to, if you like. For example, I think that p1 is Z×Z, and has presentation <x,y|xyx⁻¹y⁻¹>; p2 is (Z×Z)⋊C2, and has presentation <x,y,t|xyx⁻¹y⁻¹,xtxt,ytyt>, etc. (Don't trust me, I may have got this wrong; but these are examples of the kind of information I would expect to see, for all 17 wallpaper groups.)

I think this mathematical information would be more useful and relevant than the multiple images to illustrate every wallpaper group. Ok, the images are very pretty, and it would be nice to keep them; maybe they could live inside "hide" boxes, so that readers who are more interested in the mathematics only get to see one image for each wallpaper group. Maproom (talk) 11:40, 10 July 2008 (UTC) Maproom (talk) 11:40, 10 July 2008 (UTC)

I would also like to see such a listing. JackSchmidt (talk) 14:11, 10 July 2008 (UTC)
OK, but let's not assert that the only mathematical content here involves the abstract groups. The subject of wallpaper groups is a mathematical subject, namely: realizing abstract groups as certain groups of motions in the plane. The images are essential to understanding this subject, and it would be inappropriate to hide them. Ishboyfay (talk) 20:47, 30 October 2009 (UTC)
I agree with Ishboyfay. It would be very good to add the isomorphic groups, but please do not hide the figures. The real world connection for this topic is important and having several examples is very helpful for visualizing the transformations. Remember too that your audience includes more than just mathematicians. --seberle (talk) 22:41, 30 October 2009 (UTC)

## p3m1 and p31m

The "computer generated" examples for p31m and p3m1 seem to be switched, according to the definitions. Can someone verify this? --Lasunncty (talk) 01:07, 14 August 2008 (UTC)

Yes I think your right. The key difference is that one has a three fold rotation without a reflection through the point. I've now delinked the images. Well done for spotting it, only 4 year in error! --Salix alba (talk) 23:18, 14 August 2008 (UTC)

## p4 examples

One of the examples needs to be fixed. Someone has added an "Errata". First of all, it should be "Erratum". Secondly, there shouldn't be any errata at all. If the example is misclassified, please move it to the correct category.--seberle (talk) 01:21, 26 September 2009 (UTC)

## Merge with Symmetry combinations

The term Symmetry combinations seems to be a neologism coined by the article's creator and the resulting article is a content fork of this article, though written at a slightly more elementary level.--RDBury (talk) 12:15, 12 February 2010 (UTC)

Some symmetry combinations imply translational symmetry in two dimensions, so there is some overlap. However, treatment of individual wallpaper groups is not repeated.--Patrick (talk) 19:40, 12 February 2010 (UTC)
The symmetry combinations article is entirely unsourced and appears to violate WP:NOR. Any verifiable content in the article should be moved here, and the rest should be deleted. Jim.belk (talk) 16:48, 15 November 2010 (UTC)
I've now proposed it for deletion. Not sure that there is anything in it which is not already covered here. --Salix (talk): 18:24, 15 November 2010 (UTC)

## Degree symbols?

In several places, the ° symbol is displayed oddly in my browser (FF4). An example is this table. I'll copy/paste it here: °̊ (wiki seems to accept it...) Is this some sort of mathematical "double degree" notation that I don't recognize, or just an editing error, or is Firefox doing something strange with the generated HTML? -LesPaul75talk 17:58, 27 April 2011 (UTC)

" °̊ " is two unicode characters: a degree symbol, and a "combining ring above" (\u030a). No idea how it got that way, but I think I just fixed it by replacing them with simple degree symbols. —Keenan Pepper 16:17, 29 April 2011 (UTC)

## A template used on this page has been nominated for deletion

See Wikipedia:Templates_for_discussion/Log/2011_September_15#Template:Wallpaper_group_list. --99of9 (talk) 05:28, 21 September 2011 (UTC)

## What is the "F" shape in the pictures

Can someone please give an explanation of the "F" shape in the tiles. It is used in a lot of illustrations, it tantalizingly seems to contain some information, but it is never explained anywhere what that information is. It is especially frustrating because it isn't the sort of thing one can successfully google. It would probably be a good idea to explain it in the article. 76.175.173.23 (talk) 05:22, 6 October 2012 (UTC)

The "F" shape on a tile is there to destroy any internal symmetry of that tile, and to show how the symmetries of the group relate that tile to the other tiles. So the orientation of the first "F" in a diagram is arbitrary, what matters is how it relates to the orientation of the other "F"s. I have no view on whether, or how, this shoild be explained in the article. Maproom (talk) 08:23, 6 October 2012 (UTC)

## Deeply confusing

This is wallpaper

I must say I found this article deeply confusing and unhelpful. That may be because I am interested in wallpaper and not in mathmatics. None of the huge number of illustrations are much use to describe the actual issues in large pattern wallpaper design at all. What group is the picture illustrated here? Is "wallpaper group" really the WP:COMMONNAME for these things? Johnbod (talk) 02:24, 22 December 2012 (UTC)

This picture shows wallpaper with group p1. As the article says, "The group p1 contains only translations; there are no rotations, reflections, or glide reflections." If you choose some feature of the wallpaper in the picture, say one of the largest flowers, and look for a rotated version of it (the same flower a different way up), you don't find one; so there are no rotations. And if you look for a mirror-image of it, you also don't find one; so there are no reflections (either straightforward or glide). p1 is the only wallpaper group with no rotations and no reflections.
"Wallpaper group" is what mathematicians call these things. And non-mathematicians don't normally talk about "groups" in this sense.
It might be useful if the article contained what botanists call a key, which a reader could use to identify the wallpaper group of any particular wallpaper. It would probably start with the question "does the wallpaper have any rotational symmetry?" Maproom (talk) 10:47, 22 December 2012 (UTC)
Ok, that's some help. A key would be useful. Johnbod (talk) 16:20, 22 December 2012 (UTC)
I realise now that the article already provides a key. It forms the section Guide to recognizing wallpaper groups. Maproom (talk) 20:45, 2 January 2013 (UTC)

## Herringbone examples.

My understanding is that a given wallpaper cannot be classified in two different ways. That this classification scheme creates a partition of all wallpapers, is this correct. If so, then there is an issue with the images on the page. Group p2 and Group pg have the same image used as examples for both. Cliff (talk) 19:39, 10 March 2014 (UTC)

Look at the closeup images - the Egyptian mats differ in details, that's why each one belongs to a different group.--Krótki (talk) 07:32, 11 March 2014 (UTC)

## cm Unit cell picture

The section on crystallographic notation describes how the letter c denotes a face-centred cell. However the cm cell picture shows only the primitive cell. Would it be useful to have a picture that showed clearly the face-centred cell from which the name is taken? Ben476 (talk) 20:43, 20 October 2014 (UTC)

## two small errors in the section "Notations for wallpaper groups"

I think there are two small errors or typos in the section mentioned in the header:

1. "[...] four letters or digits; more usual is a shortened name like c2mm or pg." --> should read as "[...] four letters or digits; more usual is a shortened name like cmm or pg.", i.e. the short notation drops the '2' of c2mm.
2. if I understand it correctly, the bold and blue (with links) symbols are the short and the bold and black symbols in brackets are the full/long symbols? If that is true, then the two entries
• p4mg (p4mm): Primitive cell, 4-fold rotation, glide reflection perpendicular to main axis, mirror axis at 45° and
• c2mm (c2mm): Centred cell, 2-fold rotation, mirror axes both perpendicular and parallel to main axis

should be corrected to:

• p4mg (p4g): Primitive cell, 4-fold rotation, glide reflection perpendicular to main axis, mirror axis at 45° and
• c2mm (cmm): Centred cell, 2-fold rotation, mirror axes both perpendicular and parallel to main axis

I would be happy, if somebody could confirm and made changes accordingly.

kind regards
Frank --Kohaerenz (talk) 11:38, 14 November 2015 (UTC)

## Deeply confusing

Read section p3 (my comment in bold)

Imagine a tessellation of the plane with equilateral triangles of equal size (Ok, equal size), with the sides corresponding to the smallest translations. Then half of the triangles are in one orientation, and the other half upside down. This wallpaper group corresponds to the case that all triangles of the same orientation are equal (Oops! Triangles are not equal size?), while both types have rotational symmetry of order three, but the two (Triangles? Groups?) are not equal, not each other's mirror image, and not both symmetric (if the two (Triangles?) are equal we have p6, if they are each other's mirror image we have p31m, if they are both symmetric we have p3m1; if two of the three (Tree? Where from? Three type of Triangles? As I read above, we talk about only two types of triangles... Groups? Why three, not four, five, six?) apply then the third also, and we have p6m). Jumpow (talk) 16:55, 23 May 2016 (UTC)


text:
# American Institute of Mathematical Sciences

May  2021, 15(2): 365-386. doi: 10.3934/amc.2020071

## Secure and efficient multiparty private set intersection cardinality

 1 Department of Mathematics, National Institute of Technology Jamshedpur, Jamshedpur-831014, India 2 Department of Applied Mathematics, Naval Postgraduate School, Monterey, CA 93943, USA 3 Department of Mathematics, The LNM Institute of Information Technology, Jaipur-302031, India

* Corresponding author: sdebnath.math@nitjsr.ac.in

Received  August 2019 Revised  February 2020 Published  April 2020

In the field of privacy preserving protocols, Private Set Intersection (PSI) plays an important role. In most of the cases, PSI allows two parties to securely determine the intersection of their private input sets, and no other information. In this paper, employing a Bloom filter, we propose a Multiparty Private Set Intersection Cardinality (MPSI-CA), where the number of participants in PSI is not limited to two. The security of our scheme is achieved in the standard model under the Decisional Diffie-Hellman (DDH) assumption against semi-honest adversaries. Our scheme is flexible in the sense that set size of one participant is independent from that of the others. We consider the number of modular exponentiations in order to determine computational complexity. In our construction, communication and computation overheads of each participant is $O(v_{\sf max}k)$ except that the complexity of the designated party is $O(v_1)$, where $v_{\sf max}$ is the maximum set size, $v_1$ denotes the set size of the designated party and $k$ is a security parameter. Particularly, our MSPI-CA is the first that incurs linear complexity in terms of set size, namely $O(nv_{\sf max}k)$, where $n$ is the number of participants. Further, we extend our MPSI-CA to MPSI retaining all the security attributes and other properties. As far as we are aware of, there is no other MPSI so far where individual computational cost of each participant is independent of the number of participants. Unlike MPSI-CA, our MPSI does not require any kind of broadcast channel as it uses star network topology in the sense that a designated party communicates with everyone else.

Citation: Sumit Kumar Debnath, Pantelimon Stǎnicǎ, Nibedita Kundu, Tanmay Choudhury. Secure and efficient multiparty private set intersection cardinality. Advances in Mathematics of Communications, 2021, 15 (2) : 365-386. doi: 10.3934/amc.2020071
##### References:

show all references

##### References:
Setup algorithm of our MPSI-CA
Interaction among parties in ${\mbox{MPSI-CA}\sf .request}$
Interaction among parties in ${\mbox{MPSI-CA}\sf .response}$
Interaction among parties in ${\mbox{MPSI-CA}\sf .computation}$
Interaction among parties in ${\mbox{MPSI} \sf .response}$
Interaction among parties in ${\mbox{MPSI} \sf .computation}$
Complexity of MPSI and MPSI-CA
 MPSI-CA Exp GE Hash Inv $P_1$ $v_1$ $2v_1$ $kv_1$ $v_1$ $P_i,i\neq 1$ $2m+3v_1$ $2m+3v_1$ $kv_i$ MPSI Exp GE Hash Inv $P_1$ $v_1$ $2(n-1)v_1$ $kv_1$ $v_1$ $P_i,i\neq 1$ $2m+v_1$ $2m+v_1$ $kv_i$ $v_i=$ set size of $P_i$, $m = \lceil\frac{kv_{\sf max}}{\ln 2}\rceil=$ optimal size of Bloom filter, $v_{\sf max} =$ maximum of $\{v_1, \ldots, v_n\}$
 MPSI-CA Exp GE Hash Inv $P_1$ $v_1$ $2v_1$ $kv_1$ $v_1$ $P_i,i\neq 1$ $2m+3v_1$ $2m+3v_1$ $kv_i$ MPSI Exp GE Hash Inv $P_1$ $v_1$ $2(n-1)v_1$ $kv_1$ $v_1$ $P_i,i\neq 1$ $2m+v_1$ $2m+v_1$ $kv_i$ $v_i=$ set size of $P_i$, $m = \lceil\frac{kv_{\sf max}}{\ln 2}\rceil=$ optimal size of Bloom filter, $v_{\sf max} =$ maximum of $\{v_1, \ldots, v_n\}$
Comparative summary of MPSI protocols
 Protocol Adv. Security Comm. Comp. Based model assumption on [46] Mal AHE $O(n^2v_{\sf max}^2)$ $O(n^2\log n v_{\sf max}^2)$ OPE [12] Mal DCR $O((nv_{\sf max} + 10v_{\sf max}\log^2v_{\sf max}))$ $O(nv_{\sf max}^2)$ MP [10] Mal AHE $O(nv_{\sf max}^2)$ $O(nv_{\sf max}^2)$ OPE [51] Mal DCR $O(n^2\log nv_{\sf max}^2)$ $O(\log nv_{\sf max}^2)$ OPE [52] Mal SD $O(nv_{\sf max}^2)$ $O(nv_{\sf max}^2)$ BG [49] SH DDH $O(nv_{\sf max})$ $D:O(nv_{\sf max}); P_i:O(v_{\sf max})$ BF Sch. 1[39] SH DDH $O(nv_{\sf max}\kappa)$ $D:O(nv_{\sf max}^2\kappa); P_i:O(v_{\sf max}\kappa)$ OPE Sch. 2[39] Mal DDH $O((n^2+nv_{\sf max}+nw\log v_{\sf max})\kappa)$ $D:O(nv_{\sf max}^2\kappa); P_i:O(v_{\sf max}\kappa)$ OPE [47] SH $O(nv_{\sf max}\kappa)$ $D:O(n\lambda); P_i:O(t\lambda)$ OPRF Our SH DDH $O(nv_{\sf max}k)$ $D:O(v_1); P_i:O(v_{\sf max}k)$ BF OPE= Oblivious Polynomial Evaluation, MP= Multivariate Polynomials, BF= Bloom Filter, SD= Subgroup Decision, BG= Bilinear Group, Mal= Malicious, AHE= Additively Homomorphic Encryption, DDH=Decisional Diffie-Hellman, DCR=Decisional Quadratic Residuosity, SH=Semi-honest, OPRF= Oblivious Pseudorandom Function, $D$= designated party, $P_i$= participants other than designated party, $n$= number of participants, $v_1$= set size of the designated party $D$, $t$= number of dishonestly colluding participants, $v_{\sf max}$= maximum set size, $\kappa, k, \lambda$= security parameters.
 Protocol Adv. Security Comm. Comp. Based model assumption on [46] Mal AHE $O(n^2v_{\sf max}^2)$ $O(n^2\log n v_{\sf max}^2)$ OPE [12] Mal DCR $O((nv_{\sf max} + 10v_{\sf max}\log^2v_{\sf max}))$ $O(nv_{\sf max}^2)$ MP [10] Mal AHE $O(nv_{\sf max}^2)$ $O(nv_{\sf max}^2)$ OPE [51] Mal DCR $O(n^2\log nv_{\sf max}^2)$ $O(\log nv_{\sf max}^2)$ OPE [52] Mal SD $O(nv_{\sf max}^2)$ $O(nv_{\sf max}^2)$ BG [49] SH DDH $O(nv_{\sf max})$ $D:O(nv_{\sf max}); P_i:O(v_{\sf max})$ BF Sch. 1[39] SH DDH $O(nv_{\sf max}\kappa)$ $D:O(nv_{\sf max}^2\kappa); P_i:O(v_{\sf max}\kappa)$ OPE Sch. 2[39] Mal DDH $O((n^2+nv_{\sf max}+nw\log v_{\sf max})\kappa)$ $D:O(nv_{\sf max}^2\kappa); P_i:O(v_{\sf max}\kappa)$ OPE [47] SH $O(nv_{\sf max}\kappa)$ $D:O(n\lambda); P_i:O(t\lambda)$ OPRF Our SH DDH $O(nv_{\sf max}k)$ $D:O(v_1); P_i:O(v_{\sf max}k)$ BF OPE= Oblivious Polynomial Evaluation, MP= Multivariate Polynomials, BF= Bloom Filter, SD= Subgroup Decision, BG= Bilinear Group, Mal= Malicious, AHE= Additively Homomorphic Encryption, DDH=Decisional Diffie-Hellman, DCR=Decisional Quadratic Residuosity, SH=Semi-honest, OPRF= Oblivious Pseudorandom Function, $D$= designated party, $P_i$= participants other than designated party, $n$= number of participants, $v_1$= set size of the designated party $D$, $t$= number of dishonestly colluding participants, $v_{\sf max}$= maximum set size, $\kappa, k, \lambda$= security parameters.
Comparative summary of MPSI-CA protocols
 Protocol Adv. Security Comm. Comp. Based model assumption on [46] SH AHE $O(n^2v_{\sf max})$ $O(n^2v_{\sf max}^2)$ OPE Our SH DDH $O(nv_{\sf max}k)$ $D:O(v_1); P_i:O(v_{\sf max}k)$ BF OPE= Oblivious Polynomial Evaluation, BF= Bloom Filter, SH=Semi-honest, AHE= Additively Homomorphic Encryption, DDH=Decisional Diffie-Hellman, $D$= designated party, $P_i$= participants other than designated party, $n$= number of participants, $v_1$= set size of the designated party $D$, $v_{\sf max}$= maximum set size.
 Protocol Adv. Security Comm. Comp. Based model assumption on [46] SH AHE $O(n^2v_{\sf max})$ $O(n^2v_{\sf max}^2)$ OPE Our SH DDH $O(nv_{\sf max}k)$ $D:O(v_1); P_i:O(v_{\sf max}k)$ BF OPE= Oblivious Polynomial Evaluation, BF= Bloom Filter, SH=Semi-honest, AHE= Additively Homomorphic Encryption, DDH=Decisional Diffie-Hellman, $D$= designated party, $P_i$= participants other than designated party, $n$= number of participants, $v_1$= set size of the designated party $D$, $v_{\sf max}$= maximum set size.
 [1] Angelica Pachon, Federico Polito, Costantino Ricciuti. On discrete-time semi-Markov processes. Discrete & Continuous Dynamical Systems - B, 2021, 26 (3) : 1499-1529. doi: 10.3934/dcdsb.2020170 [2] Buddhadev Pal, Pankaj Kumar. A family of multiply warped product semi-Riemannian Einstein metrics. Journal of Geometric Mechanics, 2020, 12 (4) : 553-562. doi: 10.3934/jgm.2020017 [3] Xiaoming Wang. Upper semi-continuity of stationary statistical properties of dissipative systems. Discrete & Continuous Dynamical Systems - A, 2009, 23 (1&2) : 521-540. doi: 10.3934/dcds.2009.23.521 [4] Qianqian Hou, Tai-Chia Lin, Zhi-An Wang. On a singularly perturbed semi-linear problem with Robin boundary conditions. Discrete & Continuous Dynamical Systems - B, 2021, 26 (1) : 401-414. doi: 10.3934/dcdsb.2020083 [5] Ke Su, Yumeng Lin, Chun Xu. A new adaptive method to nonlinear semi-infinite programming. Journal of Industrial & Management Optimization, 2020  doi: 10.3934/jimo.2021012 [6] Mingjun Zhou, Jingxue Yin. Continuous subsonic-sonic flows in a two-dimensional semi-infinitely long nozzle. Electronic Research Archive, , () : -. doi: 10.3934/era.2020122 [7] Xin Zhao, Tao Feng, Liang Wang, Zhipeng Qiu. Threshold dynamics and sensitivity analysis of a stochastic semi-Markov switched SIRS epidemic model with nonlinear incidence and vaccination. Discrete & Continuous Dynamical Systems - B, 2020  doi: 10.3934/dcdsb.2021010 [8] Bing Sun, Liangyun Chen, Yan Cao. On the universal $\alpha$-central extensions of the semi-direct product of Hom-preLie algebras. Electronic Research Archive, , () : -. doi: 10.3934/era.2021004 [9] Karol Mikula, Jozef Urbán, Michal Kollár, Martin Ambroz, Ivan Jarolímek, Jozef Šibík, Mária Šibíková. Semi-automatic segmentation of NATURA 2000 habitats in Sentinel-2 satellite images by evolving open curves. Discrete & Continuous Dynamical Systems - S, 2021, 14 (3) : 1033-1046. doi: 10.3934/dcdss.2020231 [10] Guoliang Zhang, Shaoqin Zheng, Tao Xiong. A conservative semi-Lagrangian finite difference WENO scheme based on exponential integrator for one-dimensional scalar nonlinear hyperbolic equations. Electronic Research Archive, 2021, 29 (1) : 1819-1839. doi: 10.3934/era.2020093

2019 Impact Factor: 0.734

format: plain


text:
Evaluate the following limits. If needed, enter INF for $\infty$ and MINF for $- \infty$.

(a)

(b)

Your overall score for this problem is


text:
GMAT Question of the Day - Daily to your Mailbox; hard ones only

 It is currently 14 Nov 2018, 13:54

### GMAT Club Daily Prep

#### Thank you for using the timer - this advanced tool can estimate your performance and suggest more practice questions. We have subscribed you to Daily Prep Questions via email.

Customized
for You

we will pick new questions that match your level based on your Timer History

Track

every week, we’ll send you an estimated GMAT score based on your performance

Practice
Pays

we will pick new questions that match your level based on your Timer History

## Events & Promotions

###### Events & Promotions in November
PrevNext
SuMoTuWeThFrSa
28293031123
45678910
11121314151617
18192021222324
2526272829301
Open Detailed Calendar
• ### Free GMAT Strategy Webinar

November 17, 2018

November 17, 2018

07:00 AM PST

09:00 AM PST

Nov. 17, 7 AM PST. Aiming to score 760+? Attend this FREE session to learn how to Define your GMAT Strategy, Create your Study Plan and Master the Core Skills to excel on the GMAT.

# Eddy and Freddy start simultaneously from city A and they travel to

Author Message
TAGS:

### Hide Tags

Math Expert
Joined: 02 Sep 2009
Posts: 50585
Eddy and Freddy start simultaneously from city A and they travel to  [#permalink]

### Show Tags

09 Dec 2015, 07:12
1
3
00:00

Difficulty:

25% (medium)

Question Stats:

78% (02:09) correct 22% (02:40) wrong based on 167 sessions

### HideShow timer Statistics

Eddy and Freddy start simultaneously from city A and they travel to City B and City C respectively. Eddy takes 3 hours and Freddy takes 4 hours to complete the journey. If the distance between City A and City B is 600 kms and City A and City C is 300 kms. What is the ratio of their average speed of travel? (Eddy: Freddy)

A. 8/3
B. 3/8
C. 8/5
D. 5/8
E. 5/3

_________________
Verbal Forum Moderator
Status: Greatness begins beyond your comfort zone
Joined: 08 Dec 2013
Posts: 2108
Location: India
Concentration: General Management, Strategy
Schools: Kelley '20, ISB '19
GPA: 3.2
WE: Information Technology (Consulting)
Re: Eddy and Freddy start simultaneously from city A and they travel to  [#permalink]

### Show Tags

09 Dec 2015, 07:26
Distance traveled by Eddy = 600 km
Time taken by Eddy = 3 hours
Average speed of Eddy = 600/3 = 200 km/hour

Distance traveled by Freddy = 300 km
Time taken by Freddy = 4 hours
Average speed of Freddy = 300/4 = 75 km/hour

Ratio of average speed of Eddy to Freddy = 200/75 = 8/3
_________________

When everything seems to be going against you, remember that the airplane takes off against the wind, not with it. - Henry Ford
The Moment You Think About Giving Up, Think Of The Reason Why You Held On So Long
+1 Kudos if you find this post helpful

Current Student
Joined: 29 Apr 2015
Posts: 26
Location: Russian Federation
GMAT 1: 710 Q48 V38
GPA: 4
Re: Eddy and Freddy start simultaneously from city A and they travel to  [#permalink]

### Show Tags

09 Dec 2015, 07:50
Bunuel wrote:
Eddy and Freddy start simultaneously from city A and they travel to City B and City C respectively. Eddy takes 3 hours and Freddy takes 4 hours to complete the journey. If the distance between City A and City B is 600 kms and City A and City C is 300 kms. What is the ratio of their average speed of travel? (Eddy: Freddy)

A. 8/3
B. 3/8
C. 8/5
D. 5/8
E. 5/3

1 approach. If Eddy had traveled 300 km (two times less than Freddy), he would have come to destination in 1.5 hours. Eddy needs 3/8 (or 1.5/4) time less to get to his point than Freddy to Freddy's point. Therefore, Eddy's rate of speed is 8/3 greater than that of Freddy because time and rate are reciprocals.

2 approach. The speed of Eddy is 600km/3hours = 200 km/h. The speed of Freddy is 400km/1.5hours = 75 km/h. Therefore, the ratio of Eddy: Freddy average speed of travel is 200/75 = 8/3
DS Forum Moderator
Joined: 21 Aug 2013
Posts: 1365
Location: India
Re: Eddy and Freddy start simultaneously from city A and they travel to  [#permalink]

### Show Tags

06 Jun 2017, 18:57
Speed of Eddy = 600/3 = 200 km/h
Speed of Freddy = 300/4 = 75 km/h

Required ratio = 200/75 = 8/3. Hence A answer
Intern
Joined: 30 Jul 2016
Posts: 6
Re: Eddy and Freddy start simultaneously from city A and they travel to  [#permalink]

### Show Tags

25 Jun 2017, 06:11
Bunuel wrote:
Eddy and Freddy start simultaneously from city A and they travel to City B and City C respectively. Eddy takes 3 hours and Freddy takes 4 hours to complete the journey. If the distance between City A and City B is 600 kms and City A and City C is 300 kms. What is the ratio of their average speed of travel? (Eddy: Freddy)

A. 8/3
B. 3/8
C. 8/5
D. 5/8
E. 5/3

I consider the total distance 900 km for both. and get to 4/3. i cant get why the proposed solutions considering Eddy's distance 600 and the other 300. can you explain? ?thanks in advance
Director
Joined: 04 Dec 2015
Posts: 715
Location: India
Concentration: Technology, Strategy
Schools: ISB '19, IIMA , IIMB, XLRI
WE: Information Technology (Consulting)
Eddy and Freddy start simultaneously from city A and they travel to  [#permalink]

### Show Tags

25 Jun 2017, 06:32
Bunuel wrote:
Eddy and Freddy start simultaneously from city A and they travel to City B and City C respectively. Eddy takes 3 hours and Freddy takes 4 hours to complete the journey. If the distance between City A and City B is 600 kms and City A and City C is 300 kms. What is the ratio of their average speed of travel? (Eddy: Freddy)

A. 8/3
B. 3/8
C. 8/5
D. 5/8
E. 5/3

Eddy traveled to City B from City A.

Distance between City A and City B $$= 600$$ kms

Time taken by Eddy to travel from city A to B $$= 3$$ hours

Speed of Eddy $$= \frac{600}{3} = 200$$ kms/hr

Freddy traveled to City C from City A.

Distance between City A and City C $$= 300$$ kms

Time taken by Freddy to travel from city A to C $$= 4$$ hours

Speed of Freddy $$= \frac{300}{4} = 75$$ kms/hr

Required ratio = Average speed of Eddy / Average speed of Freddy $$= \frac{200}{75} = \frac{8}{3}$$ . Answer (A) ...
Manager
Joined: 20 Jun 2017
Posts: 68
Location: India
GMAT 1: 720 Q50 V38
GPA: 4
Re: Eddy and Freddy start simultaneously from city A and they travel to  [#permalink]

### Show Tags

25 Jun 2017, 06:47

600/3 : 300/4
200 : 75 = 8:3
Senior SC Moderator
Joined: 22 May 2016
Posts: 2092
Eddy and Freddy start simultaneously from city A and they travel to  [#permalink]

### Show Tags

25 Jun 2017, 12:30
1
Yoohanna wrote:
Bunuel wrote:
Eddy and Freddy start simultaneously from city A and they travel to City B and City C respectively. Eddy takes 3 hours and Freddy takes 4 hours to complete the journey. If the distance between City A and City B is 600 kms and City A and City C is 300 kms. What is the ratio of their average speed of travel? (Eddy: Freddy)

A. 8/3
B. 3/8
C. 8/5
D. 5/8
E. 5/3

I consider the total distance 900 km for both. and get to 4/3. i cant get why the proposed solutions considering Eddy's distance 600 and the other 300. can you explain? ?thanks in advance

I agree with you. I think the question is phrased ambiguously.

"Respectively" here could mean:

1) both Eddie and Freddie traveled to city B, then they both "doubled back" to city C (which is what I assumed, especially given test writers' penchant for subtle details); or

2) only Eddie went to city B and only Freddie went to city C.

"Respectively" typically should come at or near the end of a sentence, as long as one-to-one correspondence to its two referents is direct and apparent. "Respectively" modifies "travel," but the latter involves both the travelers and their destinations.

Yoohanna, the best I can say is that when you see the word "respectively," and it is not clear what "respectively" refers to, AND your answer doesn't show up in the choices, look for other things in the sentence to which "respectively" might refer.

The ambiguity is frustrating in an otherwise good question. YMMV
Director
Joined: 27 May 2012
Posts: 606
Re: Eddy and Freddy start simultaneously from city A and they travel to  [#permalink]

### Show Tags

05 Sep 2018, 07:26
1
Bunuel wrote:
Eddy and Freddy start simultaneously from city A and they travel to City B and City C respectively. Eddy takes 3 hours and Freddy takes 4 hours to complete the journey. If the distance between City A and City B is 600 kms and City A and City C is 300 kms. What is the ratio of their average speed of travel? (Eddy: Freddy)

A. 8/3
B. 3/8
C. 8/5
D. 5/8
E. 5/3

Dear Moderator,
Found this Distance , rate and speed problem in the combination section, hope you will do the needful. Thank you.
_________________

- Stne

Math Expert
Joined: 02 Sep 2009
Posts: 50585
Re: Eddy and Freddy start simultaneously from city A and they travel to  [#permalink]

### Show Tags

05 Sep 2018, 07:35
stne wrote:
Bunuel wrote:
Eddy and Freddy start simultaneously from city A and they travel to City B and City C respectively. Eddy takes 3 hours and Freddy takes 4 hours to complete the journey. If the distance between City A and City B is 600 kms and City A and City C is 300 kms. What is the ratio of their average speed of travel? (Eddy: Freddy)

A. 8/3
B. 3/8
C. 8/5
D. 5/8
E. 5/3

Dear Moderator,
Found this Distance , rate and speed problem in the combination section, hope you will do the needful. Thank you.

_______________
Edited. Thank you.
_________________
Re: Eddy and Freddy start simultaneously from city A and they travel to &nbs [#permalink] 05 Sep 2018, 07:35
Display posts from previous: Sort by


text:
Analytic proof of area probability

$$X,Y$$ are i.i.d. $$unif(-1,1)$$ random variables. Prove that $$P(X^2+Y^2\leq 1)=\frac{π}{4}$$

Geometrically, I understand how that happens. $$(X,Y)$$ is a random point in square having centre at origin and vertices $$(-1,-1),(-1,1),(1,-1),(1,1)$$. Probability that a random point in this square lies in the unit circle is the ratio of their areas.

But, is there any analytic proof ?

• Now that you know there is an analytic proof feel free to solve these problems geometrically. – Ethan Bolker Apr 23 at 11:44
• Definitely have to agree with Ethan here - those "analytic proofs" below are just the geometric argument you gave dressed up in the language of calculus. – Paul Sinclair Apr 23 at 16:32

$$4P(X^{2}+Y^{2} \leq 1)=\int_{-1}^{1} \int_{-\sqrt {1-x^{2}}}^{\sqrt {1-x^{2}}} dydx$$ which is $$2\int_{-1}^{1}\sqrt {1-x^{2}}dx$$. Make the substitution $$x =\sin(\theta)$$ to evaluate this.
• Thank you sir. But why is there a 4 before $P(X^2+Y^2\leq 1)$? – Martund Apr 23 at 9:44
• Well, put $4$ on the left instead of $\frac 1 4$ on the right to make typing simpler. $\frac 1 4$ on the right comes from the density of uniform distribution. – Kavi Rama Murthy Apr 23 at 9:45
Let $$D = \{(x, y): x^2+y^2 \leq 1\}$$. Let $$g(x, y)$$ be the density of $$(X, Y)$$. It exists because $$X$$ and $$Y$$ are independent, and equals to multple of their densities. (Fubini theorem) $$P(X^2+Y^2\leq1) = \iint_D g(x, y)dxdy = \frac{1}{4}\iint_D dxdy = \frac{\pi}{4}$$
$$\mathbb P\{X^2+Y^2\leq 1\}=\frac{1}{4}\int_{\{(x,y)\mid x^2+y^2\leq 1\}}\boldsymbol 1_{[-1,1]\times [-1,1]}(u,v)\,\mathrm d u\,\mathrm d v=\frac{1}{4}Area(\{(x,y)\mid x^2+y^2\leq 1\})$$