Sunday, August 31, 2014

Search Theory And Idle Capacity

Through Mainly Macro, a blog about macroeconomics from a New Keynesian perspective, I discovered this paper by Pascal Michaillat and Emmanuel Saez. The associated slides are a good summary. The paper is very hardcore economics theory paper, aimed a a very hardcore economics question - why does unemployment lurch around the way it does? It's a difficult question. Why did people gainfully employed in 1928 suddenly find themselves without jobs for 11 years? No matter what your opinions  are on this matter, this paper will be of a benefit to you for clarifying how that cause got into the economy as a whole.


This paper takes a search theory perspective on the subject. This improves on the repeatedly cited Barro model because it allows Saez and Michaillat to use supply and demand to analyze the situation. In addition, they are able to use this model in a compartmentalized way. For instance, in this paper, they just use aggregate demand, but the model can be relaxed with different models of demand. Different ways of finding prices are examined in this paper, from crude price fixing to Nash bargaining. As far as I can tell, one could take any pricing mechanism and get a new version of this model as a result. Risk and uncertainty are abstracted out, meaning this is not a model of - say - the 2007-8 financial crisis (which in this model is just "some demand shock"), but rather of how the crisis got into the economy. Since prices are affected by risk and the pricing mechanism in this model is arbitrary, this would be a good place to put that. For instance, there is a great deal of difference (in productivity) in hiring different people for a given position, even a "low skill" position. How is the model affected by increasing uncertainty of hiring?


I don't know much about the relevant precursor model. I will say that as a mathematician, I think that the name "disequilibrium" is a bad choice of words. The word "equilibrium" means that there is no change over time, the use comes from mechanics and has been extended by physicists and mathematicians (and economists!) in appropriate ways. When Barro, Fisher, etc. call a model "disequilibrium", they mean that the economy is not assumed to rapidly respond to changes in the way that the old fashioned Alfred Marshall model. That means that this paper is equilibrium analyses of a disequilibrium model, which is comprehensible only if you already know what this is all about. I am against this word, antidisequilibrium. But unfortunately antidisequilibriumism has little chance against established use.


Also, economists draw charts sideways. The variable x (market tightness, illustrated on slide 9 and 10) is the independent variable and quantity of a good is the dependent variable (with a maximum capacity k). They can't help it, Alfred Marshall did it and people had to do it to match him, then their students had to do it to match them, etc. But surely even economists can see that this is worse than Hitler and that the only use for such charts is discovery of landmines? Can't economists and publishers band together to rid of us this evil?

Why are they doing that? I've seen this show and I have no idea...

Because there is already a good explanation of the bones of the model (from a New Keynesian perspective) on the blog I found this paper on, I'll end by talking about myself. Though you can't tell from this post (in which I talked about famous crises), I have a really hard time thinking about economic models in relationship with the world I am in directly. When I read the excellent textbook The Spatial Economy I found myself thinking a lot more about Sun Tzu than the highway system. When I read this paper, up until section 5 (the empirical part) I found myself thinking a lot more about feudal societies (such as the Tokugawa Shogunate) than modern fluctuations. It's strange, because the modern ones have actual time series and other empirical data - which is what I do! Perhaps it is just more fun.

Thursday, August 28, 2014

Feynman On What "Science" Is


In celebration of the decision of CalTech to put The Feynman Lectures On Physics online, I thought I'd reproduce something he wrote in his wonderful little lecture QED: The Strange Theory of Light and Matter. The full lecture can be found here. As far as I know, this is the only lecture on quantum field theory aimed at a popular audience. I first read this book years ago, and I often find myself using Feynman's visualization tricks often. For instance, Feynman's visualization of complex numbers as being little clocks on points helped me make sense of complex analysis. I've found that even the obvious fact that \( e^z \) can pass from positive to negative without hitting zero can be a stumbling block for people raised on real numbers

Naturally, this lecture series starts out with a sort of mission statement and declaration of purpose. Reviewers prefer to skip these, instead reviewing the book/lecture/etc that they want instead of what they are really getting. And I'm sure that some will be disappointed that this book doesn't go into detail about, for instance, the mathematics of path integrals. But this throat clearing is an important part of engaging with an audience, even an audience that wants to see you. In so doing, Feynman actually produces an interesting thesis on the philosophy of science:

"The Maya Indians were interested in the rising and setting of Venus as a morning 'star' and as an evening 'star' - they were very interested in when it would appear. After some years of observation, they noted that five cycles of Venus were very nearly equal to eight of their 'nominal years' of 365 days (they were aware that the true year of seasons was different and they made calculations of that also). To make calculations, the Maya invented a system of bars and dots to represent numbers (including zero), and had rules by which to calculate and predict not only the risings and settings of Venus, but other celestial phenomena, such as lunar eclipses.

In those days, only a few Maya priests could do such elaborate calculations. Now, suppose we were to ask one of them how to do just one step in the process of predicting when Venus will rise as a morning star - subtracting two numbers. And let's assume that, unlike today, we had not gone to school and did not know how to subtract. How would the priest explain to us what subtraction is?

He could either teach us the numbers represented by the bars and dots and the rules for 'subtracting' them, or he could tell us what he is really doing: 'Suppose we want to subtract 236 from 584. First, count out 584 beans and put them in a pot. Then take out 236 beans and put them on one side. Finally, count the beans left in the pot. That number is the result of subtracting 236 from 584.'

You might say, 'My Quetzalcoatl! What tedium - counting beans, putting them in, taking them out - what a job!'

To which the priest would reply, 'That's why we have the rules for the bars and dots. The rules are tricky, but a much more efficient way of getting the answer than by counting beans. The important thing is, it makes no difference as far as the answer is concerned: we can predict the appearance of Venus by counting beans (which is slow, but easy to understand) or by using tricky rules (which is much faster, but you must spend years in school to learn them).'"

I think this is a wonderful metaphor for mathematical modeling, and it is a very good approach to teaching students. In my teaching, I very frequently encounter students completely uninterested in my subject - it would be more correct to say that I occasionally find students interested in math. What I do to engage the students is to encourage them to think that what I am teaching is not abstracta to be vomited onto a test, but tools they can use as scientists and engineers. I notice that I get much more engagement when I do this (it seems to also get higher grades, but I haven't done a regression or anything...).

Incidentally, Feynman earlier admits that his history of QED is a Whig history, and mentions a couple of other issues in then contemporary philosophy of science. Feyerabend's claim that he was philosophically ignorant was always complete horseshit, based on Feyerabend's unwillingness to confront new scientific and philosophical difficulties. For instance, Feynman's anti-foundationalism shows up in a later part of this section - to him, it's modeling all the way down. I don't know whether this is trivially true or exaggerated. Just wanted to beat that dead horse a little more.

Tuesday, August 26, 2014

Foundations and Other Unneccessary Things


The economist John Maynard Keynes once said "Madmen in authority, who hear voices in the air, are distilling their frenzy from some academic scribbler of a few years back.". Practical men, to paraphrase, are usually under the spell of popular philosophy. A few weeks back I did a post on Wittgenstein's criticism of the logicist program. I concentrated on a technical aspect, he pointed out that the interpretation of quantification over infinite sets is left open (that is, there are multiple models for given sets of axioms), therefore the alleged foundations of mathematics don't specify a specific mathematical language. Modern mathematicians admit this, but don't care. I didn't go into as much detail about a stronger, but more philosophical, criticism. Principa Mathematica , Die Grundlagen der Arithmetik, etc claimed to be the foundations of mathematics, but if we found an error in them (and an error was found in Grundlagen), then we would dispose of the book and not mathematics. In other words, in practice, there is nothing special about axioms that make them "below" theorems. Mathematics, and Wittgenstein argues science and even more life in general, is more like a hyperbolic tower where everything leans on everything else than an inverted pyramid where everything leans on the bottom stone. I bring up Keynes because I realize now that there is no way to read this and not be affected. I may or may not be a Wittgensteinian, but he has affected how I see things in a fundamental way. I must keep this in mind when I enter into "foundational" controversies.


After my Jaynes post, I did a bit of re-reading of his big book. What is the value of Cox's Theorem? What makes it superior to the usual Kolmogorov Axioms? To the extent that Cox and Kolmogorov disagree, so much the worse for Cox (as far as I can tell). Kolmogorov's axioms are deliberately vague as to interpretation. They are models for statements about normalized mass or subjective valuations of probability. Cox's theorem is no shorter or more intuitive. I don't think that the interpretation that the functional equations are about subjective degrees of belief is any more suggested than in the Kolmogorov axioms (that is, it isn't at all). Why? We can interpret f to be "the sand in this unit bucket outside this set", then recognize that being outside the outside is being inside, etc. Therefore, Cox isn't any better a foundations for subjective probability than Kolmogorov.

Azazoth

Cox's theorem isn't strong enough to constrain countable unions, which means that if it was The Real foundation of probability then it would run into strange problems. As I said in the Wittgenstein post, mathematicians like to deal with the infinite by making it as much like the finite as we can without risking contradiction. Countable additivity is a way of doing this. If you have half a bucket of sand and half a bucket of sand, then you have (half plus half equals) one bucket of sand. That's additivity in a nutshell. But if you add up infinitesimal (that is, limits of smaller and smaller scoops of) grains of sand (in a limiting procedure), what happens? In countable additivity, you get a bucket of sand - lucky you. In finite additivity, the answer isn't defined. There's no reason to think that you wont add up bits of sand and get Azazoth. In other words, you give up the ability to compute probabilities.


The problems are even worse for the Bayesian, because finite additivity isn't consistent with conditionalization (hat tip: A Fine Theorem). Since finite additivity is all Cox's Theorem gives you, clearly it needs to be made more robust! (Unlike, say Kolmogorov's Axioms) Obviously, I strongly disagree with that paper's thesis that de Finetti gave "compelling reasons" to abandon countable additivity, and regard de Finetti's examples of "intuitive priors" as bizarre. (Also, I find A Fine Theorem's Kevin Bryan's arguments even weaker. It isn't obvious to me that his hostile description of frequentist consistency is induction in any sense, much less a bad one...). The famous Bayesian Jaynes must have at least sensed this, because he was always combatitively pro-countable unions. But is his foundation for himself a castle built on sand? The answer is obvious to me, Jaynes just never cared about such things, thought it was a merely technical problem without deep import to general theory (he says in the appendix that the only difference between his approach and Kolmogorov's was that Kolmogorov took an infinity first method and him an infinity last).

Dr Fine, Dr Howard and Dr Howard in deep philosophical debate

This issue might be worth maintaining low level controversy about it, and Kolmogorov put it in the right place - as a questionable but reasonable assumption. An "axiom" as we mathematicians say. Sure, countable additivity is so useful and clearly correct in so many contexts that giving it up seems like giving up your legs. But science is multithreaded being, and intellectual controversy often ends in clarification. But in the Cox framework, finite additivity isn't a theorem, it's just a quirk of not constraining our function enough. It just doesn't feel like enough to me, it seems to me that if Kolmogorov, Doob et al were wrong they must be wrong in a much deeper way. Anyway, that's enough about countable probability.

As I said from the outset, it seems obvious to me that axioms are philosophical matters and arguing about them gets you into nothing but a Wittgensteinian language game. But there are differences between Kolmogorov and Cox about finite additivity (and whether functional equations are more intuitive than measure theory). So maybe there is some, small content there. Therefore, I will now e-beg for answers. Tell me about the wonders of Cox's Theorem, internet! I'm all ears!

Saturday, August 23, 2014

Quick Review: Phoenix Wright - Ace Attorney



Well, you can't spend all your time working hard. Even the sick, dying and people in dire poverty have to entertain themselves. Even though I have a plethora of projects, a few ideas that need exploration to become projects and of course there's all the time I ought to be improving myself in some way. Let me share with you some of what I spend that time doing:


The Ace Attorney series is a set of video games, members of a genre called visual novels. A visual novel is sort of like the old choose-your-own-adventure books or, more directly, adventure games where the main form of puzzle is choosing dialog. I don't have much experience with this genre of games, in fact this series is basically the only ones I've played. Even then, I've only played the core part of the series the Phoenix Wright trilogy. From the little bit of research I did, it seems that Ace Attorney is a bit more like an adventure game in that there are many puzzles other than choosing dialog. The idea is that a visual novel will make up for its reduced emphasis on traditional video game design to tell a more compelling story. Again, I haven't played much, but I expect that the quality of the stories varies wildly.

P Mason

In essence, these are murder mystery stories where you are cast in the role of the great detective yourself. If you've seen or read Perry Mason, you'll find the basic goals familiar. You have the clues, you have to solve the case and you have to force the killer into a dramatic courtroom confession. This participation, a fact unique to its video game format, is what sets the series apart. Well, that and its off the wall humor.


The legal system in the game is vaguely based on the Japanese legal system (very judge oriented, confessions by the defendant aren't compelling, prosecutors take even the concept of losing a case to be a personal insult, etc.) and beyond that fairly absurd. I'd like to read a lawyer's comments, but what I'd really like to read is a philosopher of law talk about the series. The reason is that a good lawyer has a lot of knowledge of one kind of law, just like a good surgeon has a knowledge of one species, but a philosopher of law would be better to comment on an arbitrary legal system - and the legal system of the Ace Attorney series is often very arbitrary!


Being a series of stories about murder, betrayal, decade long schemes, endless lies, corruption at high levels of government and innumerable small ills that accompany the big ones, the series is mostly a comedy. The characters are as over-the-top and broadly drawn as anything Dickens wrote. David Simon once said "Murderers lie because they have to; witnesses and other participants lie because they think they have to; everyone else lies for the sheer joy of it...". And so it is, everybody is filled with secrets, sometimes things embarrassing only to them and sometimes issues that are more comprehensible. One murder involved a low rent tokusatsu studio. One young fan refused to tell what he saw because he was traumatized. Not by seeing a murder, but because he thinks he saw his favorite hero be defeated! Truly we live in trying times.


Another recurring element in the series is mysticism. Not dark, esoteric lore like Eric Voeglin or more intellectual fare like the Shin Megami Tensei series. Possession and spirit channeling are major elements of the series. This seems to be a trademark of producer and man in charge Shu Takumi, since he also made the excellent puzzle game Ghost Trick which is about ... well, ghosts. If this bugs you, then so it goes.


Complaints, I have a few. The series is sometimes too linear. Many of the times I've failed to present evidence it was because there are two problems with testimony and I was going to present them in the wrong order. The series doesn't have a lot of replay value, especially since you'll spend time asking everybody everything the first run through. Well, anyway, back to work - this time for real!

Personal Note: Posts full of dull pictures of scientists streak broken! Now I will be less self-conscious.

Wednesday, August 20, 2014

Pseudo-Review: Physical Cosmology And Philosophy

The first place I ever read about Physical Cosmology was Jim Peebles's Principals of Physical Cosmology, a good case study in the genre "textbook". If I were to publish any real philosophy of science, I would certainly place the chapter gently, but firmly explaining what is wrong with fractal cosmology ideas high on the list of things to analyze.

Imagine my surprise when a philosophy section in a local used book store, a section usually barren of anything interesting, contained a collection essays Physical Cosmology and Philosophy. I haven't read every essay yet, so this is a tentative pseudo-review. Most of the writers are pursuing their own hobby horses, and the editor can't be accused of homogenizing them. I don't know how he made decisions with respect to ordering. Many writers talk about deep issues such as the interpretation of quantum mechanics and singularities in general relativity, but there's no essay introducing those concepts for non-experts.

G Gamow

I skipped the first essay, so that the book starts for me on page 51, with the second essay - Modern Cosmology, written by George Gamow. Gamow is a very good writer, and the essay is sufficiently hedged and popular that it hasn't aged terribly bad. Good enough for philosophers, but Cosmology today is a very lively and data-driven field, so it might not be best for people who want hard equations. This is continued by an essay by W B Bonner on the cosmological principle. Big Crunch and steady state theories were once popular, and one shows up in this and several other essays. These are no longer of great interest, and won't be without a significant theoretical and empirical revolution.

 Trurl

There was one essay that annoyed me. Richard Swinburne makes an extremely crude argument from design for the existence of God, quite inferior to what I expect are his abilities. I think he is out of his element. His argument is, of course, subject to all the objections of Hume and his successors. He certainly fails to give any reason to suspect that The Ancient of Days rather than Trurl is behind things.

There are many essays by people with non-standard views on cosmology, frequently airing their methodological views on why the evidence isn't as strongly pro-standard view as it might seem. This is to be expected, but I think that the standard view could be expounded and defended. As it is, nobody is given the chance to answer these arguments.

In summary, this is a highly variable book that shouldn't be read by those who are looking for a quick introduction to a field and it's possible philosophical implications, but to those who are learned enough not to fall for everything they read and willing to put up with some old fashioned views and ... well, I guess that's not too many people anyway.

Tuesday, August 19, 2014

Bayesian Theory and the Supernatural: Edwin Jaynes's Perspective

E Jaynes (top left)

Edwin Jaynes was a physicist, statistician and probability theorist. He believed these fields to be inexorably linked, that they were all extended forms of logic applied to experimental experience. He was, in essence, a hardcore logical positivist who fully embraced Positivism's subjective implications. Obviously, Jaynes was a Bayesian. For him probability was just the formal thinking through of beliefs. He was inspired by Gibbs's approach to statistical mechanics, which involves (most importantly) an ensemble defined by what experimental parameters you can measure or control - that is, subjectively. What you can't control is considered to be maximally random given what you can, that is, the entropy is maximized. This is all done before the data was looked at, which is to say a priori. Therefore, the distribution over the ensemble is called the "prior" distribution. Gibbs could be confident in this approach, he had physical and mathematical arguments that gave him seemingly reasonable priors. Beyond these priors, we can use Bayes rule to change our beliefs when we get data. Therefore, this method is called "Bayesianism".

T Bayes

Jaynes felt that all of science could be done with just those mathematical arguments to do all of science. He was inspired by Claude Shannon's information theory, which made Jaynes realize that there was a certain universality about Gibbs's arguments beyond their physical basis. There have been objections. I want to emphasize that these are objections to the basics of the theory. Obviously, with enough unmotivated tricks and lowering of standards, any philosophy can be saved (it isn't as clear to me that any theory can be, but philosophers of science seem to think so). Anti-Bayesian Cosma Shalizi notes that the core method always gives exponential distributions, which is very worrying. One can do different things to get heavy tails, but it's not obvious to me that these are well motivated in Jaynesian theory. We were promised that the Gibbs Approach To Statistical Mechanics was the path to science because of the universality of Shannon Entropy theorems. How much of that can we get rid of before we are sold a bill of goods?

 
Psychic Phenomena

I would like to open a line of inquisition that I think goes deeper than technical matters. I will do so in a specific context: parapsychology. In many situations, Bayesian solutions do not appear to give us what we want, evaluations of whether a phenomenon is real or not. The reason is not just subjectivism, but personal subjectivism (if that makes sense).

A young person who reads history may be surprised how many Victorian thinkers were deeply interested in the supernatural, and not just the usual crowd. Henry Sidgwick, an economist, philosopher and moralist, was a founder of the Society for Psychical Research and his successors included the psychologist and philosopher William James and the physicist William Crookes. Ian Hacking has shown that the philosopher, mathematician, statistician, physicist and co-founder of experimental psychology Charles Sanders Peirce invented the modern concept of randomization partly to deal with practical theories in psychology (namely, "Is there a threshold below which weights cannot be distinguished?" is answered "No."), and it was applied widely to para-psychological research, where it has been a powerful force for skepticism. The classic randomization set up is described by R A Fisher to test whether a lady could tell whether tea or milk was added to a cup first (the answer, incidentally, was "Yes."). This simple test was perceived by Fisher to have deep lessons for experiments in general. Randomization is a part of (note: not the foundation, as Hacking above makes clear) Deborah Mayo's error statistics approach to frequentism, because randomization is a kind of error probe. And in this case, it gives us what we say we want, an answer to the question" Are the alleged phenomena distinguishable from blind chance?".


My objection to Jaynes concerns Chapter 5 of Probability Theory: The Logic Of Science, "Queer Uses For Probability Theory". In this chapter, Jaynes takes up the subject of psychic phenomena, as an example of how probability theory can be used to evaluate subjective degrees of belief. This is an important subject. In truth, Professor X cannot tell whether tea or or milk was put first in the cup, but Dr Bristol can. Of course, Professor X claims otherwise. His claim might be honest, as many magicians fool themselves eventually. RA Fisher would say, let's see how they do in the same test, and he'd compare the likelihood ratio, etc. Jaynes's examination is different. Jaynes does and must say that we should start by evaluating our internal degree of belief in the manner of IJ Good:

"Our brains work pretty much the way this [Bayesian] robot works, but we have an intuitive feeling for plausibility only when it's not too far from 0 db. We get fairly definite feelings that something is more than likely to be so or less than likely to be so. So the trick is to imagine an experiment. How much evidence would it take to bring your state of belief up to the place where you felt very perplexed and unsure about it? Not to the place where you believed it - that would overshoot the mark, and again we'd lose our resolving power. How much evidence would it take to bring you just up to the point where you were beginning to consider the possibility seriously?

We take this man who says he has extrasensory perception, and we will write down some numbers from 1 to 10 on a piece of paper and ask him to guess which numbers we've written down. We'll take the usual precautions to make sure against other ways of finding out. If he guesses the first number correctly, of course we will all say 'You're a very lucky person, but I don't believe it.' And if he guesses two numbers correctly, we'll still say 'You're a very lucky person, but I don't believe it.' By the time he's guessed four numbers correctly - well, I still wouldn't believe it. So my state of belief is certainly lower than 40 db."

Jaynes estimates that he has a belief degree of -100 db in psychic phenomena. These so-called psychics often ask us to keep our minds open, to not do what Jaynes is doing. Why should we not oblige them, at least in a formal manner? It seems that it would be better dialectically if they still couldn't convince us even if we gave them the benefit of the doubt. In the long run, experiments will eventually overcome any initial degree of belief, but strong disbelief can make it take a very long time. Jaynes goes on to give himself another out: "In fact, if he guessed 1000 numbers correctly, I still would not believe that he has ESP...". He describes an experiment that supposedly gives very strong evidence of psychic phenomena. But it would not convince Jaynes. "[The psychic] will then react with anger and dismay when, in spite of what he considers this overwhelming evidence, we persist in not believing in ESP. Why are we [Jaynesians], as [the psychic] sees it, so perversely illogical and unscientific?". Jaynes argues that the data can never prove psychic phenomena to Jaynes, because all a high likelihood (that is, data improbable to be produced by chance) does is increase the probability of error and deception.

But this is not what we say we want. How do we know that if this idea were not pursued that it wouldn't end up giving you error statistics, perhaps error statistics constrained by Bayesian constraints? I think that it would, though I don't have much argument for it. Further, how does this rule in cases of mistaken disbelief. If I had a mathematically intimidating (but physically naive) argument from statistical mechanics that it shouldn't matter whether tea or milk is put first, I could and should use this out to disbelieve Dr Bristol as much as Professor X. The fact of her complete success is meaningless, since I can simply say that she managed to deceive me. Write mathematically intimidating but ill founded models, and bend the evidence to their will? Perhaps this is what economists do all day (joke)!

What is "wrong" here is that the Bayesian solution is for yourself. If you are a firm that is evaluating its goods and you want to convince yourself they are good, then Bayesianism works well. Good (and Savage and Friedman, etc.) broke their teeth on the statistical problems of WWII, many of which were of this sort. But one advantage of the error statistics approach is dialectical - it is for convincing others. At the end of the experiment, Dr Bristol and Sir Fisher agree. When particle physicists discovered the Higgs Boson, they used (among other things) p-value analysis and other frequentist techniques. This is because they are in dialog with themselves about what the ultimate laws of physics are, not loners trying to make their priors a little sharper. Minimax estimators are the ultimate expression of the Hegelian philosophy (even worse joke)!


Don't make the mistake that dogmatic adherence to only the strictest of frequentist ideas (for instance, banishing stopping times) is the only path forward! In fact, the man who designed the lady drinking tea experiment described had some very strange ideas about probability. Problems formally equivalent to interior monologues happen all the time. Bayesian theorists have made many contributions to science. I mean to say this as a corrective, not as a declaration of purpose. It's an easy mistake to make that just because one side seems wrong, the other must be right. Instead, what I think is right is to let one hundred flowers bloom, but only enjoy them at the appropriate time. For instance, if optional stopping is desirable, there is no reason to report statistics unstable in their presence. If broad agreement is necessary then there is no reason to report "results" that depend on unmotivated priors. This is obviously correct, but sadly totally informal. What is to be done?