The Right Stuff of Emptiness
How ∅ versus {ε} can be a life-and-death difference
Cropped from source |
Jeff Skiles was the co-pilot on US Airways Flight 1549 from New York’s LaGuardia Airport headed for Charlotte on January 15, 2009. The Airbus A320 lost power in both engines after striking birds at altitude about 850 meters and famously ditched in the Hudson River with no loss of life. As Skiles’s website relates, he had manual charge of the takeoff but upon his losing his instrument panel when the engines failed,
“Captain Chesley Sullenberger took over flying the plane and tipped the nose down to retain airspeed.”
Skiles helped contact nearby airports for emergency landing permission but within 60 seconds Sullenberger and he determined that the Hudson was the only option. His front page does not say he did anything else.
Today we tell some stories about the technical content of forms of emptiness.
I am teaching Buffalo’s undergraduate theory of computation course again. I like to emphasize early on that an alphabet need not be only a set of letter or digit symbols, even though it will be or or similar in nearly all instances. The textbook by Mike Sipser helps by having examples where tokens like “REAR” or “<RESET>” denoting actions are treated as single symbols. An alphabet can be the set of atomic actions from an aircraft or video game console. Some controls such as joysticks may be analog, but their output can be transmitted digitally. What’s important is that any sequence of actions is represented by a string over an appropriately chosen alphabet.
I go on to say that strings over any alphabet can be re-coded over . Or over ASCII or UTF-8 or UNICODE, but those in turn are encoded in 8-bit or 16-bit binary anyway. I say all this justifies flexible thinking in that we can regard as “the” alphabet for theory but can speak in terms of a generic char type for practice. Then in terms of the C++ standard library I write alphabet = set<char>, string = list<char>, language = set<string>, and class = set<language>. I go on to say how “” abbreviates object-oriented class notation in which set<State;> Q; and alphabet Sigma; and State start; and set<State> finalStates; are fields and delta can be variously a map or a function pointer or a set of tuples regarded as instructions.
Emptiness
In the course I’m glad to go into examples of DFAs and NFAs and regular expressions right away, but reaching the last is high time to say more on formal language theory. I’ve earlier connected and to Boolean or and and, but concatenation of languages needs explaining as a kind of “and then.” One point needing reinforcement is that the concatenation of a language with itself, written or , equals , not . The most confusion and error I see, however, arises from the empty language versus the empty string (or in other sources).
I explain the analogy between multiplication and concatenation although the latter is not commutative, and that the operation between languages naturally “lifts” the definition of for strings. I then say that behaves like and behaves like under this analogy, but I don’t know how well that catches on with the broad range of students. So not always but a few times when lecture prep and execution has left 6–10 minutes in the period, I wrap a story into an example:
Let denote the alphabet of controls on a typical twin-engine Cessna business jet. I will define two languages over this alphabet—you tell me what they are:
- represents an appropriate sequence of actions for the co-pilot to initiate if 1 engine fails at 100 meters altitude, and with there is a non-miraculous chance of saving the plane.
- represents an appropriate sequence of actions for the co-pilot to initiate if 2 engines fail at 2000 meters altitude, and with there is a non-miraculous chance of saving the plane.
After carefully writing this on board or slide, I say, “you have enough information to answer this; it could be a pop quiz.” I let 15–20 seconds go by to see if someone raises a hand amid bewildered looks in silence, and then I say, “OK—I’ll tell a real-life story.”
The Story
My father Robert Regan was a financial reporter specializing in aluminum and magnesium. Once in the 1970s he covered a meeting of aluminum company executives in North Carolina. One of the executives failed to show for the first evening, and the news of why was not conveyed until he appeared in splint and bandages at breakfast the next morning.
He told how his twin-engine crew-of-two jet had lost all power immediately after takeoff. With no time or room for turning back, the pilot spotted the flat roof of a nearby bowling alley and steered for it as little he could. The jet pancaked on the roof and bounced into the mercifully empty parking lot. Everyone survived and could thank the way the force of impact had been broken into two lesser jolts. The end of the executive’s tale and interaction with my father in the breakfast-room audience went about as follows:
Exec: I have never seen such a great piece of quick thinking and calm control in my lifetime of business, to say nothing of the sheer flying skill. That pilot ought to get a medal.
RR: The co-pilot deserves a medal too.
Exec: Why? He didn’t do anything.
RR: Exactly.
Maybe only then the significance of the words “appropriate for the co-pilot to initiate” in my definitions of and dawns on the class, as well as the Boolean and. The appropriate string is in both cases: the co-pilot should not “initiate” any actions.
As witnessed by the stories above, in the case of there is a good chance even if both engines fail, so the second clause is certainly satisfied. Thus . Perhaps the example of Sullenberger and Skiles at 850 meters makes it too pessimistic for me to say is a goner at 2,000 meters, but the point of the example is that an unsatisfied conjunct in a set definition makes the whole predicate false even if the part depending on is true. Thus the intent is .
There it is: the difference between and can be one of life and death. How much the story helps burnish the difference is hard to quantify, but at least much of the class tends to get a later test question involving this difference right.
Zero to the Zero
Whether I tell the story or not, I next have to convey why turns around and becomes . I say that the convention helps make the power law true for all , but why is this law relevant for ? Why do we need to define anyway, let alone stipulate that it equals ?
If I say it’s like in arithmetic, the students can find various sources saying is a “convention” and “controversial.” So I say it’s like the convention that a for-loop
for (int i = 0; i < n; i++) { ... }
naturally “falls through” when . Even if the loop is checking for conditions that might force your code to terminate—and even if the body is definitely going to kill your program on entry—if the loop executes 0 times then you’re still flying. It’s a no-op represented by rather than a killing , so the whole flow-of-control analysis is
Thus it comes down to the logical requirement that a universally quantified test on an empty domain defaults to true. Not just they but I can feel this requirement better in programming terms.
To go deeper—usually as notes for TAs if time permits in recitations or as a note in the course forum—I connect to logic and relations. I’ve defined a function from a set to a set as a relation that satisfies the test
Now we can ask:
Is the empty relation a function?
There’s an impulse to answer, “of course it isn’t—there aren’t any function values.” But when the test becomes a universally quantified formula over an empty domain, and so it defaults to true. Thus counts as a function regardless of what is, even if too.
Because , the only possible relation on is . So the cardinality of the set of functions from to is . The notation for the set of functions from a set to a set , namely , is motivated by examples like being the set of binary functions on . There are such functions, and in general
With all this gives . Thus and are needed for the universe of mathematics based on sets and logic to come out right.
Emptiness and Type
The same analysis shows that an empty relation on a nonempty domain is not a function. This means that even when stuff is empty, the type signature of the stuff matters too. One student in my course told me last week that the realization that “empty” could come with a type helped him figure things out.
Real advances in mathematics have come from structure channeling content even when the content is degenerate or empty. There are more hints of deeper structure even in basic formal language theory. I generally encourage the notation for regular expressions over Sipser’s in order to leverage the analogy between concatenation and multiplication, even though equals not any notion of “.” The property does not hold over any field, except for the possibility of the “field of one element” which we discussed some time back.
Now consider the suggestive analogy
What substance does it have beyond optics? The latter equation holds provided even over the complex numbers, and also holds in a sense for . The analogy , works in both equations to yield and . We then find it disturbing, however, that substituting , fails because which is not infinite.
Does it really fail? Perhaps it succeeds in some structure that embraces both equations—perhaps involving ? Our earlier post and its links noted that has an awful lot of structure and connections to other parts of mathematics despite its quasi-empty content.
We know several ways to build a universe on emptiness. In them the supporting cast of structure rather than is the real lead. The new actor in town, Homotopy Type Theory, aims to find the right stuff directly in terms of types and the identity relation and a key notion and axiom of univalence. As related in a recent survey by Álvaro Pelayo and Martin Warren in the AMS Bulletin, the object is to make and other sets emerge from the framework rather than form its base.
Open Problems
Does handling and right take care of everything?
That’s like P=NP… It’s ε percent false, but not zero percent!🙂
I don’t know about Cessnas, but if I’m not mistaken, a lot of aircraft can glide and attempt to find a safe landing that way, even if all the engines give out. Now, if a wing comes off, that’s another story…
Very interesting! (as usual)
The last paragraph about the free monoid construction, and the analogy with the formula $\frac{1}{1-a} = 1 + a + a^2 + \dots$ is also discussed in this post https://golem.ph.utexas.edu/category/2013/04/iterating_the_free_monoid_cons.html
Also, I don’t know if it is completely unrelated or not, but there is this weird “Euler-Maclaurin” formula
$$
1 + 1 + 1 + \dots = – 1/2
$$
(as discussed e.g. here https://terrytao.wordpress.com/2010/04/10/the-euler-maclaurin-formula-bernoulli-numbers-the-zeta-function-and-real-variable-analytic-continuation/ )
Is there any relation with the free monoid construction ? I have no idea …
Regards,
pb
Very interesting post. Re the benefit of “not doing anything,” I remember my flight instructor describing the first two steps in the event of an emergency: Step 1: Stop, and take a deep breath. Step 2: Stop, and take *another* deep breath.
This brings to mind an old puzzle that I puzzle over from time to time —
☞ Negate, Augment, Denominate
That’s an old write up — I think I can improve it with a little thought.
Dear Dick & Ken,
I had a paper submitted (to the most prestigious conference) about the empty string. I got the following feedback:
======================================================
On a personal note, I am sincerely worried about you. Your obsession with the
empty string might be due to a medical problem. Please talk to a doctor about
it. I am not trying to dismiss you, and I am not making a joke. Your
considerable mental energy should have a healthier focus.
=========================================================
According to the TCS communit: Aristtle, Descartes should consult a doctor because they suffer from a medical problem.
Your post proposes the inconsistency conjecture:”0=1″.
Leave the proof for your students.
Best,
Rafee Kamouna.
Interesting thoughts here. I especially enjoy the story of the pilots. Thanks for sharing.
The description of your class lesson reminds me of a question that I had as a student.
On the undecidable problem of computing the halting of a Turing Machiner with the empty string as input what is the difference of when
a) the tape of the machine has nothing printed on and
b) when the tape has printed on the character # which we define that it represents emptyness.
At that time I had thought that it must be pretty much the same.
Paradoxical being # and empty at the same time. Your question is banned among all TCS journals/conferences. Why? because you proved P=NP Iff P!=NP.
best,
Rafee Kamouna.
Check this book chapter
http://www.cs.um.edu.mt/gordon.pace/Teaching/Complexity/CoursePage/Notes/chapter5.pdf
see in page 59 the definition of blank symbol; it could be #.
So, as a student I thought of the case where the empty string consists of blank symbols, like #. Such a string would represent emptyness, meaning no information.
Think of it in Java terms, what’s the difference between declaring
String myvar;
and
String myvar = “”;
In the first case we have a declared string with no information in the second case a declared and defined empty string.
It may sound paradoxical but it is not.
myvar=”” has an internal form which must not be empty. Thus, if it is empty, then it is not empty.
best,
Rafee Kamouna.
I found the cessna analogy more confusing than helpful, particularly since as you say the distinction isn’t true.
Honestly I find it clearer without symbols, just writing {} and {{}} the difference is obvious as the difference between 0 and 1 (particularly since for one model of the naturals that’s exactly what it is). And then the idea that {}* = {{}} is obvious, just as the power set P({}) = {{}} – that is, the set of all subsets of the empty set is the set containing the empty set. (If this is confusing, it becomes less so when you remember that P({x}) = {{}, {x}}). Likewise the piece about relations is just that a function is a “mapping” of every element of its domain – so just as {x → y} is a valid function from {x} to {y}, {} is a valid function from {} to {}.
I’m not at all convinced that the final “analogy” is valid – it holds for 0 as you say, but does it hold for any other values? To my mind any definition of + under which r + r = r for r != 0 is too different to justify using the symbol.
I don’t wish to identify {ε} with {{}} or {∅} since set-emptyset has type set-of-languages in the type classification. It is the class of languages containing ∅ and nothing else, an entity that might come up in a discussion of Rice’s Theorem later on, for instance. Nor do I wish to involve Church numerals, and I don’t see the lower-level explanatory power in the reference to “mapping”.
In answer also to Sniffnoy above, the issue for me is the presentation value of keeping the alliteration of “L_1, 1 engine, 100m” versus “L_2, 2 engines, 2000m” with everything else unchanged so the intended contrast is clear—while also avoiding the “downer” of writing something actually hopeless like losing a wing…
All mathematical systems have an empty set and an empty element (string). Thus, 2 different models of the natural numbers. If a number theory result is proved on one model, it remains ridiculously open on the other.
In any case, all mathematicians who love numbers will feel that this is UGLY.
They will run away. They will never attempt the inconsistency conjecture. I feel sorry for them. Imagine someone proved to Beethoven that music is wrong, what response do you expect?
best,
Rafee Kamouna.
Well, in rational power series theory, $r + r$ is indeed $2r$, and the term *rational* itself comes from the power series expansion of $\frac{1}{1-a}$. Taking the underlying semiring to be the Boolean one, $2r = r$. Arguably, we should skip all of this regular language nonsense and go directly to rational formal power series🙂
Reblogged this on Pathological Handwaving.
How does one make a career out of bullshit?