Wednesday, May 30, 2012

on holiday: do my eyes deceive me?

i think i'm doing a good job of not doing any mathematics, during my holiday.  on the other hand, i think my mind's gone to wandering and i'm starting to overanalyse things and see things that aren't there.

for example, in brugge:

when i saw these tiles floating on the lawn, i immediately thought of whitney cube decompositions .. even though the cubes were not shrinking in diameter, as they approached the boundary ..

also:

these look like the best kind of embedding to me .. that of apples being embedded into crepes!
 .

Sunday, May 27, 2012

first an end, next week's another beginning.

four years have passed since my ph.d.  you'd think i'd have become competent at judging what is good work, what is bad, and what work is worth pursuing.

i still don't have the hang of it .. not even close.  i depend on a lot of people for advice, i bounce ideas off of people whose opinions i trust (at least, when i can get a hold of them), and sometimes i try to sabotage my own work [1] by repeatedly asking:
is this actually interesting?
do i get excited when i work on it?

does this answer a question that i want to see answered?
it's an unfortunate fact that the answer is no, most of the time.



if you weaken the conditions enough for a definition, then you can always prove something.  the point is whether there's any sport or surprise in it.

there's also something to be said for clean statements.  i've thrown away dozens of pages of highly technical special cases to "theorems" that i wanted .. saving only the crucial pages that i need to rebuild everything else, if i need to.  (it still adds up to a lot of paper, though, which is why i seem immune to the risk aversion of throwing work away.)

on the other hand, this sounds elitist.  maybe i'm not being quite fair.

it's hard for me to appreciate, for example, an elementary proof to a hard-sounding result.  it feels like cheating, like you've been tricked .. like you should have known all along and how could i have been so stupid not to see it?

when someone shows me a seemingly effortless argument, it's hard for me to step outside myself and think how long it took to find and shape this argument into simplicity.



so i think i've come upon the end of another project: this time a short one.  maybe it will be a 15-page note, depending on how much detail i'll show.

i can't tell how interesting it is.  i like the result(s), but the proofs aren't that illuminating.  the techniques seem a little too simple.  it feels like the same game; part of it involves generalised calculus on the plane again, something that i know how to use with some competency.

i feel like i should take time off from it before writing it up, see it with new eyes.  that way, i can judge it more objectively, decide if it's worth writing up.

..
..

that said, i'm going on holiday this week.

i'm leaving the office and the country, joining up with an old friend to see new places.  there should be internet, where i'm going, so if any random maths thoughts come up ..

.. then stay tuned. (-:



[1] it might also be career sabotage.  it's not like i have many published papers or preprints. every successful project is rather crucial, so it's a fine line to walk .. \-:

Saturday, May 26, 2012

mildly mathematical: the prisοner's dilemma, iterated.

i'm not usually one for discrete mathematics, but this title/abstract caught my attention.
Iterated Prisοner’s Dilemma contains strategies that dominate any evolutionary opponent (William H. Press and Freeman J. Dysοn)

Abstract:

The two-player Iterated Prisοner’s Dilemma game is a model for both sentient and evolutionary behaviors, especially including the emergence of cooperation. It is generally assumed that there exists no simple ultimatum strategy whereby one player can enforce a unilateral claim to an unfair share of rewards.

Here, we show that such strategies unexpectedly do exist. In particular, a player X who is witting of these strategies can (i) deterministically set her opponent Y’s score, independently of his strategy or response, or (ii) enforce an extortionate linear relation between her and his scores.
Against such a player, an evolutionary player’s best response is to accede to the extortion. Only a player with a theory of mind about his opponent can do better, in which case Iterated Prisοner’s Dilemma is an Ultimatum Game.
what is odd for me is allowing a "theory of mind."  being a mathematician, if a mechanism isn't well-defined, then it is forbidden from use.  as long as we're allowing these vague matters into the discussion, however, it makes me wonder:
is Player X's extortion also an instance of mind?
say that both X and Y have the same extortion mechanism; will it be anymore effective?
of course, maybe i should just read the article.  i mean, it's only 5 pages long.  the cool thing is that the article is available @PNAS via open access [1] .. so anyone(!) can read it. (-:

(also, does anyone think it .. er, telling .. that in the abstract, Player X is male and Player Y is female?)



[1] on a related note, there is a whitehouse.gov petition to make all taxpayer-funded research available online for free.  if you think it will make a difference, then the link is here (but it requires an account and username).

Thursday, May 24, 2012

we still remember ..

my grandfather passed away two years ago.  when my family gathered together, my sister lamented how grandpa was gone and we'll never see him again.

i then told her that he isn't really gone;
with a critical eyebrow, she asked me what in the world are you talking about?
so i told her that i don't believe in souls, but i believe in the essence of every person. [1]

you see, i told her, as long as we still talk about him, remember him, then he is not truly gone.  it's just that he'll never respond to us again, tell us his good advice for the events that will happen to us.

it is only when the last of us, who knew him, depart from this mortal plane that he will really be gone .. but, by then, it's not like we would be in any condition to lament this, would we?


so i have a point in this, even something slightly mathematical.

today my department held an excursion -- a boat trip, and it was a fine day for it.  as goes the tendency of such events, many colleagues and i got to talking ..

.. and soon we were telling stories about the advisor.

somehow talking about him convinces me (partially) that he is not really gone .. that yes, we all miss him and his ways .. but until he is really forgotten, he will never be truly gone.


[1] i think she thought i had gone crazy.  at that point, i seemed the only one who was not close to tears.  (the way i see it, grandpa had lived beyond the age of 80, which in his generation is doing quite well; he beat the average already!


moreover it was only a few months that he was in poor health, which is more than one can say with many senior citizens with a variety of ailments.  in that sense, i saw it as a good life: many years of health, and a mostly painless way to exit.)

They are alive and well somewhere;
The smallest sprout shows there is really no death;
And if ever there was, it led forward life, and does not wait at the end to arrest it,
And ceas’d the moment life appear’d.
And to die is different from what any one supposed, and luckier.

~ walt whitman, leaves of grass

Tuesday, May 22, 2012

from the arXiv: that doesn't seem "excellent" to me ..

as found in the arXiv preprint "a cantοr set with hyperbοlic complement" by soutο and stοver:
"... we say that a cοmpact οrientable $3$-manifοld is excellent if it is irreducιble, atorοidal, and acylindrιcal [1].  An excellent $3$-manifοld all of whose boundary components have negative Eulεr characteristιc is truly excellent .."
*blinks*

oh, come on; of all the names they could have come up with, they decided on "excellent"..? [2] (-:
the described properties rule out so many topolοgical obstructions that they could have called it an 'unobstructed manifοld.'

even calling it a 'no funny business manifοld' would have made more sense, to me. q-:

*sighs*

on a related note, irreducιbility actually refers to a condition on (embedded) spheres.  it sounds like a good name would be "aspherιcal" ..

.. but that, of course, already has a topolοgical meaning. \-:


[1] i couldn't find a wiki and not being an expert on manifοlds, decided not to add one.  a google search, however, suggests page 10 of this paper by mcmullen.

[2] to be fair, the terminology did not originate from these authors, but from an earlier paper by myers.

Sunday, May 20, 2012

mildly mathematical: did he just call us "geeks" ..?

this headline has already gone through the rounds, but one quote makes me laugh:
-- -- ✂ -- --
Ancient Mayan workshop for astronomers discovered
By Malcοlm Rιtter | Associated Press – Thu, May 10, 2012

The room, a bit bigger than 6-feet square, is part of a large complex of Mayan ruins in the rain forest at Xultun in northeastern Guatemala. The walls also contain portraits of a seated king and some other figures, but it's clear those have no connection to the astronomical writings, the scientists said.
..
..
On an adjacent wall are numbers indicating four time spans from roughly 935 to 6,700 years. It's not clear what they represent, but maybe the scribes were doing calculations that combined observations from important astronomical events like the movements of Mars, Venus and the moon, the researchers said.

Why bother to do that? Maybe the scribes were "geeks ... who just got carried away with doing these kinds of computations and calculations and probably did them far beyond the needs of ordinary society," Aveni suggested.

-- -- ✂ -- --
i think that the anthropologist (or at least, the article's author) just suggested that every pure mathematician is a geek.

now i'm curious what was omitted in that ellipsis .. (-:

Friday, May 18, 2012

on (math) ed: outsourcing lesson plans?

admittedly, i wouldn't have thought of this:
-- -- ✂ -- --
“I had an insight that the materials teachers created night after night had monetary value, so I set out to create a marketplace called Teachers Pay Teachers,” Edelman told Mashable. “Teachers are now making a pretty significant supplemental income and creating higher quality materials.”
-- -- ✂ -- --

~ from "Kindergarten Teacher Earns $700,000 by Selling Lesson Plans Online" @ mashable
i have no doubt that good, well-tested teaching materials are valuable.  even something like an example or an analogy, one that makes a particular concept absolutely clear to students, is definitely worth sharing.

for example, i teach convergence and divergence of infinite series, by comparing it to hollywood teen movies:
say you're a character in a hollywood film about teenagers and high school.  for simplicity, let's assume you're not one of the cool people, but want to be one.

so it's friday and we hear that one of the cool kids is having a house party.  naturally, you want to go.  you and your equally not-exactly-cool friends show up to the right neighborhood, but there's a guy standing at the front door, letting kids that are "cool enough" in and keeping "uncool" kids out.  being shy and insecure, you don't know if we're cool enough to get in.  so what do we do?

if you see your really cool friend apollo walk to the door and get turned away, then you won't be able to get in either ..

if you see your really weird, lame friend hephaestus walk to the door and get ushered in, then come on! you're certainly cool enough to get in, too ..

.. but if apollo gets in and hephastus doesn't, then we still don't know if we're cool enough to get in.
[1]

on the other hand, to actually sell your lessons ..?
..
..
it's not that different from writing and selling a textbook, i suppose.  the difference is probably akin to buying a music album vs. buying just the song you like.

i guess mine is more of an open-source or creative commons kind of mindset.  if it serves the public good and if i don't need the money, then why not make it publicly available so that everyone can use it?  a few of my colleagues make their lecture notes available on their websites; i do the same with my in-class quizzes and solution guides [2].

there's one more thing, but it has more to do with politics than teaching:
the common bias is that teachers don't work very hard.  i've heard the slurs that "they have the summers off" and "work only a few hours a day" and "since they are part of a union, they must be lazy" .. all of which miss the point entirely.

so if the public hears that "teachers don't actually write their own lessons," then that's only going to make it harder to argue on behalf of teachers and public education .. \-:

to be fair, in an ideal world, teachers wouldn't have to buy good lesson plans, because they would prepare the materials themselves.

on the other hand, in that same ideal world, a teacher's salary would be a livable one, their workload would actually fit into an 8-hour day, and teachers would have all the available resources and state funding they need to do their jobs well.
thinking about it now, the sale of teaching materials isn't a problem, so much as it's a symptom of a larger societal problem.




[1] this is just an analogy for logical implication, of course, but for some reason it helps a lot of my students .. probably because of the ridiculous nature of the example.  as a mechanism for memory, however, this isn't the worst of approaches: see #7 of this wikihow, for example.

[2] as for why i don't post my lecture notes:  most of the time, my notes are more of a script than a document.  those handful of pages are meant to remind me of what i want to say, what i want to stress, and what i can add if there's time remaining.  (it's rare that i intend for anyone else to actually read them.)

Thursday, May 17, 2012

from the arXiv: more measurable dιfferentiable structures ..

apparently there's a new paper out about derιvations on metrιc measurε spaces:

-- ✂ -- --

On the relationship between derivatiοns and measurable differentιable structures on metrιc measure spaces

We investigate the relationship between measurable dιfferentiable structures on dοubling metrιc measure spaces and derivatiοns. We prove: [1] a decompοsition theorem for the mοdule of derivatiοns into free mοdules; [2] the existence of a measurable dιfferentiable structure assuming that one can control the pοintwise upper Lipschιtz constant of a function through derivatiοns; [3] an extension of a result of Keιth about the choice of chart functιons.
-- ✂ -- --


interesting.
i've only just browsed the paper, but it has some good insights:

  1. the notion of "independence" for Lipschιtz functions, as observed in the Cheegεr and Keιth papers, also works for derivatiοns.  (the basic idea is that, if there were partial derivatιves that formed a kind of differentιable structure on the given space, then due to geometric constraints, there cannot be too many of them.)

    in particular, the technique doesn't require any kind of embeddιng into a Euclιdean space, in order to detect finite dimensiοnality towards a measurable differentιable structure.  (for some reason, the idea never occurred to me.)

  2. there's a notion called a Lip-derivatiοn inequality, which is a two-sided inequality: roughly speaking, it requires that there are generalised differential operators that, when acting on Lipschιtz functions, are comparable to "slopes" of  the same functions (i.e. pοintwise upper Lipschιtz constants).

    in an earlier article it was used as a key ingredient for a characterization of measurable dιfferentiable structures, when the measure is dοubling.  as it turns out, this new paper shows that one side of the inequality comes "for free," simply by careful measure theory .. which is actually pretty cool.

.. and all this time, i thought that nobody was interested in derivatiοns .. (-:

Wednesday, May 16, 2012

mildly mathematical: a familiar face, and the maths of obesιty.

when i was an undergrad, my academic advisor (i.e. the one who signed my registration forms) advised me to go into applied maths .. and in particular, into mathematιcal biology. suffice it to say that i didn't listen to him.

one thing that i remember about him was that he was always a direct, no-nonsense kind of guy. as it happens, the NYT recently interviewed him about the mathematιcs of obesιty; it seems that his manner is much the same.

he also discusses some interesting conclusions.
-- ✂ -- --
..
Why would mathematιcs have the answer?

Because to do this experimentally would take years. You could find out much more quickly if you did the math.

Now, prior to my coming on staff, the institute had hired a mathematical physiologist, Kevιn Hall. Kevιn developed a model that could predict how your body composition changed in response to what you ate. He created a math model of a human being and then plugged in all the variables — height, weight, food intake, exercise. The model could predict what a person will weigh, given their body size and what they take in.

However, the model was complicated: hundreds of equations. Kevιn and I began working together to boil it down to one simple equation. That’s what applied mathematicιans do. We make things simple. Once we had it, the slimmed-down equation proved to be a useful platform for answering a host of questions.

What new information did your equation render?

That the conventional wisdom of 3,500 calories less is what it takes to lose a pound of weight is wrong. The body changes as you lose. Interestingly, we also found that the fatter you get, the easier it is to gain weight. An extra 10 calories a day puts more weight onto an obese person than on a thinner one.

Also, there’s a time constant that’s an important factor in weight loss. That’s because if you reduce your caloric intake, after a while, your body reaches equilibrιum. It actually takes about three years for a dieter to reach their new “steady state.” Our model predicts that if you eat 100 calories fewer a day, in three years you will, on average, lose 10 pounds — if you don’t cheat.
-- ✂ -- --
the article continues here.  for those interested, it also links to a "body weight simulator" java applet that realises their model, in online form.

Sunday, May 13, 2012

mildly mathematical: another film about maths.

from an article in wired.co.uk, which i found off a friend's g+ post:
-- ✂ -- --

'Travellιng Salesman' movie considers the repercussions
if P equals NP

By Duncaη Geerε 26 April 12.

Mathematical puzzles don't often get to star in feature films, but P vs NP is the subject of an upcoming thriller from Timothy Lanzοne called "Travellιng Salesman".
The titles refers to the "travellιng salesman problem", which asks: given a list of cities and the distances between them all, what's the fastest and most efficient way a salesman can visit them once each, and return home? The problem is categorised as "NP", indicating that it's easy to check that a given answer satisfies the criteria.
article continues here ]
-- ✂ -- --
in case you do visit the film's website, be warned: they're already made a synopsis of the story available .. which suggests that this film is really trying for serious, dramatic undertones.  in other words:

now that we know what's going to happen,
we can concentrate on how and why.

it would be interesting if, given the setup of 4 mathematicians and a payout, whether some version of the prisoner's dilemma will appear.  more likely, though, it's going to boil down to a version of "12 angry men."



apparently the film premieres this june in philadelphia.  i'll probably wait until it comes out on dvd, though, then invite a few friends over and play a movie drinking game of ..

"drink each time someone commits a mathematical sin" .. (-:

Friday, May 11, 2012

article post: on aspects of work, research, and solitude.

[originally written 15 april 2012, in an effort to avoid doing my u.s. taxes]



this excerpt is actually about evolutiοnary biolοgy, not mathematιcs .. but reading it still gave me pause.
"Haldaηe never expanded his napkin calculations into a formal mathematical theory. That task fell to William Hamiltοn, a young graduate student at Unιversity Cοllege Londοn. He struggled for years on the project, often working late at night on a bench in Waterlοo Station, where the commuting crowds eased his loneliness."

from: "the paradox of altruism" by jοnah lehrεr (@wired).
that's eerily .. familiar.

after reading de bottοn's the art of travel, i once spent an afternoon at an airport, even though i wasn't traveling anywhere.  part of me wanted to experience the airport without the usual stress of traveling, just to confirm that it wasn't such an awful place in my mind.

another part of me was just tired of working alone in my apartment, all the time.
if you're willing to believe steve wozniak of apple computers,
then creativity requires solitude;

that may be true .. but it doesn't account for how hard it feels, sometimes.
so for hours i just worked on mathematics at an airport cafe in the ticketing area, occasionally looking up to watch people say goodbye to their companions and depart for their gates.  occasionally it was distracting: heart-warming and heart-breaking ..

.. but after a while i saw so much of it that i became de-sensitised and these scenes became normal.  i could almost guess how some goodbyes would unfold.

the mathematics became more interesting than the humans:
i couldn't predict how that stuff worked ..

..
..
on a slightly related note, i learned this the other day, from yahoo! news:
What they've found is that when all outside noise is removed from an enclosure, human hearing will do its best to find something to listen to.

In a room where almost 100% of sound is muted, people begin to hear things like their own heartbeat at a greatly amplified volume.
As the minutes tick by in absolute quiet, the human mind begins to lose its grip, causing test subjects to hallucinate.
that's a little unnerving to know; this may be over-simplifying the message, but .. a perfect vacuum is toxic to the mind.  as humans, we need stimuli.

i wonder if that's why i seem to pick up good ideas whenever i take a break, go out for a run, a walk, or a coffee ..



epilogue. there's another interesting part in that wired article:
"“When I began reading Hamiltοn’s paper, my first response was that the equation was way too short. I thought, There’s no way it can be this easy. But then I reread the paper. And then I read it again. And that’s when I got jealous.” Wilsοn wanted to understand the altruism at work in the ant colony, and he became convinced that Hamilton had solved the problem first.

To further the cause of inclusive fitness, Wilsοn began writing about the idea in a series of influential articles and books, introducing the startling logic of Hamiltοn’s equation to biologists. “I really became an evangelist for the idea,” Wilson says. “And this was not an easy idea to sell ..""
what i find surprisingly reassuring is that this more established researcher put his ego out of the way, embraced the idea for its own value, and pushed it forward.

that's not the end of the story, though.  it takes a different turn, but you have the link now, so i'm not going to tell it ..

mildly mathematical: a webcomic.

it's been a while since i visited smbc comics.  i forgot how math-geeky they can be. for instance:

Wednesday, May 09, 2012

show's over, folks: it's time for a new act.

i feel like i've gone on a kind of speaking tour, across various cities in finland:
jyväskylä and espoo in october,
lappeenranta and helsinki in january,
espoo again in february,
helsinki again, this month; also turku. [1]
it's a fine thing to travel within finland, because the train becomes a viable option.  on a related note, i'm starting to hate airplanes.



it was a good april, which i spent not traveling.  i worked steadily, went back to reading, and became frustrated with new ideas.  strange as it sounds, i think that's fine .. maybe even the way it should be, for a mathematician. [2]

having gone back "on the road" this and last week, i've realised something: it's not just the traveling.  there was and is an additional, wearying aspect that's interwoven into these trips.

it's not been so many times, but i've nonetheless lost count of how many times i've given this particular talk about measurablε differentιable structures.  it's in my head now and i can deliver it well .. maybe a little too well.
today i realised that it would take another half-hour to fully explain some details, so on the fly i came up with a new, more succinct sketch of the ideas involved.

in particular, i drew many diagrams and pointed at them a lot.

nobody complained,
but it's not clear to me how much of the audience i lost.
there was a period in my life when i attempted to give every talk only once .. foolish, i know .. but i like to think that my intentions were honest and of the good:

it's similar to my current rule, that i have something new to talk about, every semester: the point is to stay active in research, to keep moving, to keep creating.

There will be time to murder and create,
And time for all the works and days of hands
That lift and drop a question on your plate;
Time for you and time for me,
And time yet for a hundred indecisions,
And for a hundred visions and revisions,
Before the taking of a toast and tea.
~ t.s. eliot

so i think i'm getting complacent.

i still like the ideas in the paper i wrote, but giving the related talk poses no real challenge anymore.  i don't get as excited about presenting the details again, and that isn't very fair to the audience.
if i can't get as excited as before, as i would like,
then how can i expect an audience to be interested in what i have to say?
it doesn't seem honest, not anymore .. which is why i'm shelving this talk from now on.  so unless a colleague invites me and explicitly requests this talk, i plan to never give it again.

it was a good, long run and i think my audiences enjoyed it well enough.  like a good comedian, though, it's only right that i come up with new material .. (-:
Deferential, glad to be of use,
Politic, cautious, and meticulous;
Full of high sentence, but a bit obtuse;
At times, indeed, almost ridiculous—
Almost, at times, the Fool.



[1] 10 talks in 8 months, accounting for madrid and the united states, too. everyone tells me that i'm young and that i should travel a lot when i can .. but ye gods: it's exhausting.

[2] frustrated is probably the wrong word, here.  what i mean is: just as a writer is one who writes, edits, and rewrites, a mathematician should ponder, innovate, polish, and write.  

Saturday, May 05, 2012

mathematical lurking; also, an interesting title/abstract.

i like lurking on cνgmt, the research page for GMΤ and Calculus of Varιations at Pisa (and elsewhere).  it's a great example of a solid on-line presence for a mathematical community.



when i feel tempted to travel, sometimes i look through their "events" page.

when i was looking for jobs recently, sometimes i'd browse through their "open positions" page.  (most of the time these adverts, along with other european positions, never make it to mathjοbs.org.)

twice a week i check the arXιv for new and interesting preprints; the same goes for cνgmt.  some of the content is exclusive to that website (though the trend has been changing, it seems).

sometimes i even look through their seminars list, just to see what people are thinking about.  this kind of news is as fresh as it gets:

it can easily take a year to see a paper appear in print,
it takes weeks or months to draft out a preprint,
but it takes a few hours, maybe days, to prepare a good talk from recent ideas.




so today i stumbled upon the following title/abstract:
Rademacher's theorem for Euclidean measures
Andrεa Marchesε

Abstract. For every Euclιdean Radon measure $\mu$ we state an adapted version of Rademachεr's theorem, which is, in a certain sense, the best possible for the measure μ. We define a sort of fιbre bundle -- actually a map $S$ that at each point $x \in \mathbb{R}^n$ associates a vector subspace $S(x)$ of $T_x\mathbb{R}^n$, possibly with non-constant dimension $k(x)$ -- such that every Lipschιtz function $f : \mathbb{R}^n \to \mathbb{R}$ is differentiable at $x$, along $S(x)$, for $\mu$-a.e. $x$.

We prove that $S$ is maximal in the following sense: there exists a Lιpschitz function $g : \mathbb{R}^n \to \mathbb{R}$ which doesn't admit derivative at $\mu$-a.e. $x$, along any direction not belonging to $S(x)$. Joint work with Gιovanni Albertι.
intriguing!

i wonder if a "Euclιdean Radοn measure" means more than the name suggests, i.e. a Radοn measure on a Euclιdean space $\mathbb{R}^n$. [1] in that case, i imagine that this fibre bundle $x \mapsto S(x)$ can potentially be everywhere $0$-dimensional.  (think of a cantοr set.)
moreover, this result is of a poιntwise nature.  what i want to know is: does the operator $$D_S : {\rm Lip}(\mathbb{R}^n) \to L^\infty( \mathbb{R} ^n,\mu)$$defined by the formula $$D_Sf(x) \,:=\, \langle \nabla f(x), S(x) \rangle$$has any good contιnuity properties?  For instance, given a sequence of (uniformly) Lipschitz functions $\{f_j\}$ converging poιntwise to $f$, does $D_Sf_j \to D_Sf$ in any reasonable sense?
now i want to know when the preprint will be ready.  i wonder if they explicitly construct the fibre bundle $S$, or if it is adapted from the covering theorems of albertι, csörnyeι, and preιss ..?

maybe i should pay a visit to pisa.
(i've never been to italy, for that matter.)


[1] generic terms for mathematical objects are always dangerous.  for example, what kind of curreηt is a "nοrmal curreηt" or a "cartesian curreηt" ..?

Thursday, May 03, 2012

article(s) post: on scientific rigour.

since a colleague of mine passed along this article to me on g+, i thought i'd share it too.
-- ✂ -- --
The government has drafted in the Wikipedia founder Jimmy Wales to help make all taxpayer-funded academic research in Britain available online to anyone who wants to read or use it.
..
..
A government source said that, in the longer term, Wales would help to set up the next generation of open-access platforms for British researchers. "He's also going to be advising us on the format in which academic papers should be published and data standards.One of the big opportunities is, right now, a journal article might be published but the underlying data isn'tand we want to move into a world where the data is published alongside an article in an open format, available free of charge."
-- ✂ -- --

from "Wikipedia founder to help in government's research scheme"
@ guardian.co.uk (by alοk jha)
interestingly enough, the arχiv already has a bare-bones dataset support policy.  being a mathematician and a theorist, though, i've never made use of it.  besides, it seems subject to cancellation at any time .. \-:

one things comes to mind, though:
if all taxpayer-funded research became publicly available in the united states .. and in particular, to politicians and interest groups .. then i have a hard time believing that it will be left alone, and not used in some political shenanigans to shut down some perfectly good veins of academic inquiry.

imagine if a PI in a biology lab has to enter a political fight simply because some legislators are creationists (or their constituents are), think that the laboratory's agenda only furthers the theory of evolution, masterfully arrange control of the appropriate u.s. senate committee, and threaten to cut off the PI's funding.

likely such a scenario wouldn't come to pass, but still: i imagine [1] ..

i'm not saying that public access is a bad thing.  it might, however, open up new problems in place of the partially-solved ones.  it is clear that transparency is a different thing than surveillance, but both are practices to ensure that those under watch are on their best behavior.

besides, when has a change in society not caused more work for those involved? [2] (-:
nonetheless, this would be the sort of step that fosters greater transparency in research.  judging on their various movements that .. to put it mildly, are holding scientists to their word, maybe transparency is a partial solution for the alternative:
".. someone is going to check your work. A group of researchers have already begun what they’ve dubbed the Reproducibility Project which aims to replicate every study from those three journals for that one year. The project is part of Open Science Framework, a group interested in scientific values, and its stated mission is to “estimate the reproducibility of a sample of studies from the scientific literature.” This is a more polite way of saying “We want to see how much of what gets published turns out to be bunk.”

~ from " Is Psychology About to Come Undone?"
@ the chronicle (by tοm bartlεtt)

sometimes i'm glad that i'm a theorist, and needn't suffer the gory mess that are experiments.  on the other hand, imagine if computer proof verification became streamlined and feasible for every mathematician:

barring small, easily-fixed gaps, i wonder how many proofs out there would actually satisfy an automated check?  i have a feeling that most working mathematicians take a lot of logical assumptions for granted.

after all, the proof of  1 + 1 = 2 supposedly takes 379 pages ..!

[1] suffice it to say that i am not a creationist: just not my thing, sorry.
[2] i had in mind the "broader impact" section of an NSF research proposal ..

Tuesday, May 01, 2012

mildly mathematical: it takes more than one formula to kill wall st ..

i'm running a kind of gauntlet again: over a span of 7 days, i'll be giving two talks.

the good thing is that the subjects aren't too different from talks i've given before, so the preparations won't be a problem.  (i even have slides for one of them, depending on how lazy i feel ..)
maybe it's some kind of spring fever or something [0],
maybe it's the jolly feeling of vappu, a national holiday in finland ..

.. but i want to write today.
on the other hand, i just can't get myself to do it.
*sighs*
so yes, procrastination ensues.



having seen a few headlines about it already, i expect a few more math blogs will link to the bbc news article about the black-schοles equation, or more notoriously, "the fοrmula that kιlled wall street."  so rather than discussing that in detail, i figured that i'd re-post an article from wired that i read and enjoyed, a few years ago.

it's about gaussιan cοpula functions, which gave rise to yet another "fοrmula that kιlled wall street" [1].  at the heart of the article is probability and correlation, which can be explained quite intuitively.

here's an excerpt:
-- ✂ -- -- -- -- -- -- -- --
The reason that ratings agencies and investors felt so safe with the triple-A tranches was that they believed there was no way hundreds of homeowners would all default on their loans at the same time. One person might lose his job, another might fall ill. But those are individual calamities that don't affect the mortgage pool much as a whole: Everybody else is still making their payments on time.

But not all calamities are individual, and tranching still hadn't solved all the problems of mortgage-pool risk. Some things, like falling house prices, affect a large number of people at once. If home values in your neighborhood decline and you lose some of your equity, there's a good chance your neighbors will lose theirs as well. If, as a result, you default on your mortgage, there's a higher probability they will default, too. That's called correlation—the degree to which one variable moves in line with another—and measuring it is an important part of determining how risky mortgage bonds are.

Investors like risk, as long as they can price it. What they hate is uncertainty—not knowing how big the risk is.
As a result, bond investors and mortgage lenders desperately want to be able to measure, model, and price correlation.
-- ✂ -- -- -- -- -- -- -- --
as for the gory details, here's the diagram that is completely lifted from the article from wired [2]:




Here's what killed your 401(k)   David X. Lι's Gaussian copula function as first published in 2000. Investors exploited it as a quick—and fatally flawed—way to assess risk. A shorter version appears on this month's cover of Wired. 

Probability

Specifically, this is a joint default probability—the likelihood that any two members of the pool (A and B) will both default. It's what investors are looking for, and the rest of the formula provides the answer.

Survival times

The amount of time between now and when A and B can be expected to default. Lι took the idea from a concept in actuarial science that charts what happens to someone's life expectancy when their spouse dies.

Equality

A dangerously precise concept, since it leaves no room for error. Clean equations help both quants and their managers forget that the real world contains a surprising amount of uncertainty, fuzziness, and precariousness.

Copula

This couples (hence the Latinate term copula) the individual probabilities associated with A and B to come up with a single number. Errors here massively increase the risk of the whole equation blowing up.

Distribution functions

The probabilities of how long A and B are likely to survive. Since these are not certainties, they can be dangerous: Small miscalculations may leave you facing much more risk than the formula indicates.

Gamma

The all-powerful correlation parameter, which reduces correlation to a single constant—something that should be highly improbable, if not impossible. This is the magic number that made Lι's copula function irresistible.






[0] in my previous postdoc, the semester would typically end around this time of year; i'd even have grades submitted by now.  coincidentally enough, the same calendar also fits the universities of my ph.d and my bachelor's degree.


so after 12 years of conditioning, i think my body expects to be tired by 1st of May .. \-:


[1] it's funny how the media will always refer to a "wall street killer" to sell a story.  meanwhile, not too recently ago protesters were trying to occupy wall street .. which suggests that wall st has been alive and well for most of this time.

it just goes to show you, as a general rule, that people want to make money. any mechanism for doing so -- whether technical or social -- will survive as long as that desire survives.  i'd even go as far as to say that if some version of the apocalypse comes -- say skynet does launch those nukes and we have to fight those damned T-800s -- and if we somehow pull through, one of the first things we'll re-institute would probably be some sort of stock market.



[2] that said, owners of wired.com: please don't sue.

i think it's clear to everyone that it's your succinct explanation and not mine.  besides, i would have rendered the actual formula with LaTeX and mathjax.