# Bifurcation

And so ethereally walked the shadowy figure alongside the river fork. Perhaps yet again shall his new companion meet its kin; perhaps too shall his kin beget a new companion. He had hitherto accompanied the river, and it him. Its origin is now but a subtle memory, an ephemeral effervescence. It beget to him a reflection, a projection of his own intricacy. Yet it solemnly made for a banal companion. The bifurcation incited a novel awareness, yet a dismal prospect, for his new companion was much like the previous: it beget nothing more than a reflection.

# Strange Military Law

Major Nidal Hasan, the accused 2009 Fort Hood shooter, attempted to plead guilty to the shootings, but was denied this plea by the judge. The government is seeking the death penalty in this case. As [1] states, “under military law, Hasan is not allowed to plead guilty because the premeditated murder charges carry death as the maximum sentence and the government is pursuing the death penalty in Hasan’s case”. [1] states that under military law, he could plead guilty to lesser charges that do not carry the death penalty (which presumably would concurrently prevent him from being charged with the more serious crimes). The telegram reporter is quoted as saying “‘Judge Gross said he would enter not guilty pleas in behalf of Hasan, if necessary'”.

[2] clarified some of my confusion. It simply said “military law does not allow for guilty pleas in death penalty trials”. It’s fine that the prosecution seeks the death penalty, but it’s absurd that the defendant doesn’t have a guilty plea option under military law, or that a judge could enter a “not guilty” plea against the defendant’s will. It’s a technicality that really needs to be fixed.

Also, “On Wednesday, for the fifth time, the judge started the hearing with a contempt charge against Hasan and fined him $1,000, for showing up unshaven”. This seems pretty ridiculous too, although [2] says the beard is “in violation of Army regulations”.

[2] http://www.military.com/daily-news/2012/08/16/ft-hood-judge-rejects-hasans-guilty-plea.html

# Lessons in Venn Diagrams

The Romney campaign released the following diagram several weeks back. Alright those familiar with set theory, what is the problem with this diagram? Also, if you figure it out, the Romney campaign may want to hire you.

Some other interesting ones:

(for citations, see http://www.upworthy.com/everything-you-need-to-know-about-mitt-romney-in-one-graphic)

# Fluid Mechanics in Seven Dimensions?

**Cayley-Dickson Algebras:**

The Cayley-Dickson algebras are special real algebras satisfying

for If we let be the basis of then the algebra is generated by the relations

where Hence and is called the **quaternions** and is often denoted and are called the **octonions** and **sedenions** respectively and are respectively also denoted and

The Cayley-Dickson algebras can also be constructed inductively using a recursive unary operation (called conjugation). It proceeds as follows, let We define constructively. Let and define the following operations:

One can verify this structure is isomorphic to Next we let and define its structure

and addition remaining the same and the inner conjugation being complex conjugation. How does is this retain isomorphism to our original definition of Note the dimension is retained by the fact that

Hence using this as our inclusion, we show the original requirements that

We have

Similar computations can be done for and and for showing that

It turns out and beyond are not associative, so in our initial requirement that

we will clarify that we mean

We continue inductively be setting and defining product and conjugation as before (and componentwise addition). One can establish the following table of properties

where associativity and commutativity refer to the multiplication (the addition is always both). All of the above properties (save the division algebra structure) can at this point (albeit with some tediousness) be shown. If we can define its **real part** as

Note for we have

For we can define For we have

Similarly we can define For we have

Hence And similarly for we have

so Inductively, one can see that the norm on coincides with the euclidean norm in We can also note that the multiplicative inverse of an element is

Although it turns out that in the sedenions and above ( for ), there are zero divisors (for example, ), so the algebra fails to be a division algebra.

**Theorem 1. (Hurwitz’ Theorem)** If is a real normed division algebra with identity, then

**Corollary 2. (Frobenius’ Theorem)** If is an associative real division algebra, then

**Generalized Cross Products:**

The cross product of two elements can be written

There is a natural way to define a cross product of elements in by

However, our ultimate objective is to define vorticity in other dimensions. So we will want a binary cross product that we can apply to our differential operator and a vector field: We want to satisfy some conditions

These conditions are respectively called *bilinearity*, *orthogonality*, and *magnitude*. Hence we want to be the product in a real normed algebra. Moreover magnitude tells us that we want We also have in our Cayley-Dickson algebras. It turns out that the cross product in can be modeled in as follows. Define by

and by

Then one can verify that for

Note that in the cross product is trivial for all This is obvious if we require it to satisfy orthogonality—where the dot product is just multiplication. So the zero-product property implies the cross product must be It is compatible with our map as well (in this case ):

Hence we are left with one remaining cross product: the cross product in where, hereafter, is defined by

and is the imaginary map

The cross product of is defined by

We will now define

If is differentiable, then we define its curl by

# The -logy and -nomy Suffixes

I had mentioned before about how philosophy and mathematics used to be equivalent before math diverged by making solid, technical assumptions, and proving what followed. Similarly is the case with regards to astrology and astronomy. Both began by looking for correlation between the stars and X, where X was pretty much any Earthly phenomenon. Then astronomy used counterexamples to the anthropic principle to establish more consistent theories, and astrology was properly buried. Then for some reason in the 20th century horoscopes reincarnated astrology.^{1} While technically the position of the stars infinitesimally changes the net gravitational force on a human, the fact that cognitive activity is based on electric potentials that globally dominate any infinitesimal net gravitational change on the body renders their study on personality irrelevant.

This being the case, the suffix -logy on astrology seems insulting to the scientific community. The suffix -log means “to speak”.^{2} Coupled with -y, it takes the meaning of “speaker” which appears to conventionally translate to “generic speaker”, or, “department/field”. Xlogy thus becomes “study/department of X”. In this case, X being astro–deriving from “stars”. At the same time, -nomy derives from “law”. How should we distinguish the two suffixes? We could say Xlogy is the general inquiry into X, which builds upon the object Xnomy. Xnomics could then be reserved for when Xlogy leads to multiple instances of an Xnomy. Hence we should have the following conventional-to-literal semantic assignments:

Astrology

Astronomy (inquiry component) Astrology

Astronomy (law component) Astronomy.

What would academic departments call themselves then? We could pick the Xlogy form. In this case “economics” would be called “ecology”? The prefix eco- derives from the study of environments of living organisms. In this sense, conventional “economics” is far more abstract than it semantically pretends to be. I would consider something along the lines of

Economics Elogy

where E derives from something like “token”. Although trade itself may prove to be more fundamental and inherently connected to physics (think conservation of energy). We could then have

Physics Cosmology,

which one could plausibly argue. I’m not sure to what we could assign mathematics. It may not even matter since math, physics, and economics may share a fundamental equivalence (all could be construed as structures of symbols=0 volume energy regions=tokens).

[1] Campion, Nicholas, 2009. *A History of Western Astrology, Vol. 2, The Medieval and Modern Worlds.* London: Continuum. (via “Astrology” on Wikipedia).