How to make symmetric colorings

This is the fourth part of a series about symmetry in origami.

Given an origami model, what are the possible symmetric colorings?

This is a question I posed in an earlier post, and I said I didn’t know the solution.  I thought about it a lot, and I found the solution. I will write up a mathematical proof in a later post.  Here I will just explain the result.

A brief review: Each origami model has an associated shape symmetry group, which is the set of all transformations (rotations and reflections) which leave the shape unchanged. There is also an associated color symmetry group, which leaves the shape and colors unchanged. Then there is the pattern symmetry group, which may swap the identities of some of the colors, but leaves the color patterns unchanged. In this post, C is the color symmetry group, and P is the pattern symmetry group.

I defined a “symmetric coloring” to be one where P is “large” and C is “small”. I didn’t say how large P needed to be, or how small C needed to be, but it doesn’t matter. I found a method that can construct any and all symmetric colorings.

Fundamental domains

Suppose we want to find a symmetrical coloring of a cube. First question: Are we assigning a color to each face, each vertex, or each edge? We want to find a general solution that will work in all three cases, as well as any more complicated case. So the first thing we need to do is divide the cube into fundamental domains.

A cube. Each face of the cube has been divided into eight triangles.

Each triangle on the cube’s surface represents a fundamental domain. In total, there are 48 fundamental domains.

[Read more…]

The impossible symmetry

This is the third part of a series about symmetry in origamiPreviously, I established the idea of a symmetry group, a set of transformations that leaves a model’s shape unchanged.  Next, I talked about how the colors of a model define a subgroup.  In this post, I will explain the concept of a normal subgroup.

First illustration: The Umulius

We begin with a case study of one of my favorite models, Thoki Yenn’s Umulius.  “Umulius” is a Danish insult meaning “impossible person”.

Umulius

Ignoring the colors, the Umulius nearly has cubic symmetry.  Here I have a series of diagrams “cleaning up” the details to make the underlying cubic symmetry clear.

A series of diagrams showing how the Umulius can be fit into a cube

[Read more…]

Colorful origami subgroups

This is the second part of a series about symmetry in origami. Here I talk about the role colors play in reducing symmetry.

Let’s return to the ninja star that I showed you last time. I said that it has a symmetry group of order 4, because there are four transformations preserve the shape of the ninja star: rotation by 0, 90, 180, or 270 degrees.

But suppose we want to preserve more than the ninja star’s shape. We also want to preserve its color. The only tranformations that preserve shape and color are rotations by 0 and 180 degrees. So the ninja star actually has two kinds of symmetry groups: the shape symmetry group of order 4, and the color symmetry group of order 2.

The color symmetry group is always a subset of the shape symmetry group. We have a special name for groups which are subsets of other groups, we call them subgroups.

[Read more…]

What is a symmetry group?

This is the first part of a series about symmetry in origami. Here I will explain what a symmetry group is through a series of examples.

An origami heart

This image is sourced from a video with folding instructions.

This heart illustrates one of the most basic forms of symmetry. A symmetry is a transformation that preserves the shape and orientation of the object. In this case, the transformation is a reflection. If you reflect the heart across a vertical line, you get back the same heart. But with further examples, we can see that this is not the only kind of symmetry.

[Read more…]

Origami symmetry masterpost

When I was very young, I remember doing some math problems where I was given a shape, and asked whether there was a line of symmetry. This seemed very basic to me even at the time, and I thought that was all there was to it. But there is, in fact, much more. This has been particularly impressed upon me by my work in modular origami. For example, some of the most basic shapes I can make are the Platonic solids, which are very symmetrical indeed.

Photos of 5 origami models, one for each platonic solid

These are models I’ve folded for each of the platonic solids. From left to right, top to bottom: tetrahedron, octahedron, cube, dodecahedron, icosahedron.

Unfortunately, if you really want to understand the kind of symmetry extant in origami, you might need to take a course in advance mathematics. Specifically, this would be taught in Abstract Algebra, and even more specifically, finite group theory.

I intend to write a series explaining some of the basic concepts behind the symmetry of origami, but in a way that people can understand even without being into math. This isn’t necessary to creating or appreciating symmetrical origami, but you may find it helpful or interesting. For the readers who are into math, I hope you enjoy a more visually-oriented discussion of a topic that is typically discussed in rather abstract terms.

Articles in this series so far:
1. What is a symmetry group?

2. Colorful origami subgroups

3. The impossible symmetry

4. How to make symmetric colorings

5. Tessellation symmetry

Appendix: Proof of the symmetrical coloring theorem

Biased Tests

[cn: Bayesian math]

Suppose that I create a test to measure suitability for a particular job. I give this test to a bunch of people, and I find that women on average perform more poorly. Does this mean that women are less suitable for the job, or does it mean that my test is biased against women?

Psychologists do this all the time. They create new tests to measure new things, and then they give the tests to a variety of different groups to observe average differences. So they have a standard statistical procedure to assess whether these tests are biased.

But I recently learned that the standard procedure is mathematically flawed. In fact, rather than producing an unbiased test, the standard procedure practically guarantees a biased test. This is an issue that causes much distress among psychometricians such as Roger Millsap.

Following Millsap, I will describe the standard method for assessing test bias, sketch a proof that it must fail, and discuss some of the consequences.

[Read more…]

Gödel’s Second Incompleteness Theorem Explained

This is a followup to an earlier post where I talked about Gödel’s First Incompleteness Theorem. Here, I discuss the Second Incompleteness Theorem, and further implications.

Could you remind me what the theorem was?

The theorem states that a consistent formal system cannot prove its own consistency.

As previously discussed, there are a couple qualifiers. The formal system must include some amount of arithmetic, and must have a computable set of axioms.

What does consistency mean?

A system is consistent if it cannot prove any contradictions. A system is inconsistent if it can prove a contradiction.

Contradictions sound bad. Are they bad?

Yes. The Explosion Principle states that if you can prove a direct contradiction, then you can prove absolutely any statement.

Here’s how the Explosion Principle works. Suppose A and not-A are both provable. Now consider statement B. “(A implies B) or (not-A implies B)” is a tautology. Since both A and not-A, that means we can prove B. Following the same procedure we can also prove not-B.

[Read more…]