Posts tagged with noncommutative

Playing around with polaroid screens at Google.

If you shine light through

• a light polariser A
• another light polariser B that’s perpendicular to A (i.e., A ⊥B or A×B=0)
• i.e., AB represents “shine the light through A then through B which ⊥A
• then no light comes through (it’s black.)

If you shine light through

• a polaroid A
• another polaroid B ⊥ A
• a third polaroid C that’s halfway between A and B (either halfway)

then no light comes through (it’s black.)

So far, formulaically, we have:

• AB=0
• BA=0
• whence it follows
• ABC=(AB)C=(0)C=0
• CBA=C(0)=0
• BAC=0
• CBA=0

But! This is surprising to watch and surprising to see the formula.

• If you shine through A then C then B, it’s kind of light!
• ACB≠0
• furthermore
• BCA≠0

Woo-hoo, Noncommutativity!

Earlier in the talk Ron Garret does a two-slit experient with two mechanical-pencil leads and a laser pointer. Wave-particle duality with an at-home science kit.

16 pages for non-brainiacs on the Hopf fibration by David Lyons

• mapping from S³→S²
• ƒ(a,b,c,d) = (a²+b²−c²−d²,,)
• in general a linear transformation in 3-D requires 9 parameters (3×3 matrix — see general linear group)
• but a rotation only requires ≤4 parameter
• mapping from S³→S²
• ƒ[a,b,c,d] = [a²+b²−c²−d²,2(ad+bc),2(bd−ac)]
• but a rotation only requires 4 parameters
• understanding maps from high-dimensional spheres to low-dimensional spheres is a Hard Problem
• Gimbal lock, composition of rotation maps

to get the general three-angle rotation group

but this is ugly and wrong—not because there are too many trig words, but because if you play around with it enough you’ll see that—just like the North Pole and South Pole have redundant longitude coordinates—various combinations of [phi;,theta;,psi;] can overlap each other or even get caught in a Gimbal Lock.

hi-res

Noncommutative & irreducible

• a−a+b−b=0
• a+b−a−b≠0

An organon of economic theory, contra Foucault, is that—just as a gas is nothing more than a composite of molecules—so is “a society” nothing more than a composite of individuals. (Although individuals vary considerably more than do atoms; a gas molecule can be characterised with only a handful of numbers.) “‘Society’ does not exist”if I cared to google some more, I could I think find utterances by Prime Minister Thatcher, Alan Greenspan, Russ Roberts, and Ayn Rand, to this effect.

Is that rubbish? I only specialise in stage 17 of the industrial-steel treatment process because other people have specialised in stages 16 and 18. But if we tossed out Cartesian decomposability, we’d be tossing out science (=reductionistic experimental method), and mathematics, and logic itself … right?

Here with the Borromean rings, as with cohomology elements, we get an example of a global property which is lost at the local level. Nothing is special about any of the individual rings. It’s the way they combine that’s special—not an independent Cartesian product, but a thoroughly intermeshed interlinking. The whole is more than the sum of the parts.

Not saying that the world is Borromean or something as simplistic as that. But just like Cantor’s laughably small example of a three-part system (ω,ω²,π∙ω) disproved Nietzsche’s unfounded assertion (in The Eternal Return) that “Any complex system must return to its original state” (naïve conception of infinity) without suggesting that Society is a three-part system,—we might take the existence of a tiny primitive with global-non-local properties as at least evidence against the Great Organon, and possibly pointing the way toward a theory in which “society” can have a meaning beyond “collection of individuals”.



Echoes of financial crisis. If you removed 30% of the banksters (and attorneys) from the problem centres (wherever they were!) in the instigation of the financial crisis, would we have averted an O($10 trillion) destruction of wealth? Or is it the incentives (echoes of Richie/Rosen’s “entailment structures”)? Or the “culture” (and can we give this meaning?) in which Gordon Gekko-worshipping acolytes of capitalism buy and resell a Panglossian view of price-as-value-added where success comes only to those who serve the most? vision of capitalism—if indeed that replaced some earlier less casino-like culture to investment banking (http://www.tubechop.com/watch/923989). But this sounds too vague and hand-wavy. A dystopian “system” that controls free-willed individuals? Constituted of “military-industrial-lobbying-banking complexes” and shadowy networks of faceless vice-presidents—but when one asks those who propound this woolly claptrap to point to specifics or give an atomistic description of what they think is going on, they can’t! Proving of course that their accusations are baseless. Where could anyone ever hope to find the tools to make a rigorous theory out of it? (Source: math.cornell.edu) ## More Quasimetrics ## What Comes After Infinity? When I was in kindergarten, we would argue about whose dad made the most money. I can’t fathom the reason. I guess it’s like arguing about who’s taller? Or who’s older? Or who has a later bedtime. I don’t know why we did it. • Josh Lenaigne: My Dad makes one million dollars a year. • Me: Oh yeah? Well, my Dad makes two million dollars a year. • Josh Lenaigne: Oh yeah?! Well My Dad makes five, hundred, BILLION dollars a year!! He makes a jillion dollars a year. (um, nevermind that we were obviously lying by this point, having already claimed a much lower figure … the rhetoric continued …) • Me: Nut-uh! Well, my Dad makes, um, Infinity Dollars per year! (I seriously thought I had won the argument by this tactic. You know what they say: Go Ugly Early.) • Josh Lenaigne: Well, my Dad makes Infinity Plus One dollars a year. I felt so out-gunned. It was like I had pulled out a bazooka during a kickball game and then my opponent said “Oh, I got one-a those too”. Sigh. Now many years later, I find out that transfinite arithmetic actually justifies Josh Lenaigne’s cheap shot. Josh, if you’re reading this, I was always a bit afraid of you because you wore a camouflage T-shirt and talked about wrestling moves. Georg Cantor took the idea of ∞ + 1 and developed a logically sound way of actually doing that infinitary arithmetic. #### ¿¿¿¿¿ INFINITY PLUS ????? You might object that if you add a finite amount to infinity, you are still left with infinity. • 3 + ∞ = ∞ • 555 + ∞ = ∞ • 3^3^3^3^3 + ∞ = ∞ and Georg Cantor would agree with you. But he was so clever — he came up with a way to preserve that intuition (finite + infinite = infinite) while at the same time giving force to 5-year-old Josh Lenaigne’s idea of infinity, plus one. Nearly a century before C++, Cantor overloaded the plus operator. Plus on the left means something different than plus on the right. $\large \dpi{200} \bg_white 1 + \infty \ \ = \ \ \infty\ \ < \ \ \infty + 1$ • ∞ + 1 • ∞ + 2 • ∞ + 3 • ∞ + 936 That’s his way of counting "to infinity, then one more." If you define the + symbol noncommutatively, the maths logically work out just fine. So transfinite arithmetic works like this: All those big numbers on the left don’t matter a tad. But ∞+3 on the right still holds … because we ”went to infinity, then counted three more”. By the way, Josh Lenaigne, if you’re still reading: you’ve got something on your shirt. No, over there. Yeah, look down. Now, flick yourself in the nose. That’s from me. Special delivery. #### #### ORDINAL NUMBERS #### W******ia's articles on ordinal arithmetic, ordinal numbers, and cardinality flesh out Cantor's transfinite arithmetic in more detail (at least at the time of this writing, they did). If you know what a “well-ordering” is, then you’ll be able to understand even the technical parts. They answer questions like: • What about ∞ × 2 ? • What about ∞ + ? (They should be the same, right? And they are.) • Does the entire second infinity come after the first one? (Yes, it does. In a < sense.) • What’s the deal with parentheses, since we’re using that differently defined plus sign? Transfinite arithmetic is associative, but as stated above, not commutative. So (∞ + 19) + ∞ = ∞ + (19 + ∞) • What about ∞ × ∞ × ∞ × ∞ × ∞ × ∞ × ? Cantor made sense of that, too. • What about ∞ ^ ? Yep. Also that. • OK, what about ∞ ^ ∞ ^ ∞ ^ ∞ ^ ∞ ^ ∞ ^ ∞ ^ ? Push a little further. I cease to comprehend the infinitary arithmetic when the ordinals reach up to the limit of the above expression, i.e. taken to the exponent of times: $\large \dpi{200} \bg_white \lim_{i \to \infty} \ \underbrace{{{{{{{{ \infty ^ \infty } ^ { ^ \infty} } ^ {^ \infty}} ^ {^ \infty}} ^ { ^ \infty }} ^ {^ \infty }} ^ {^ \infty} } ^ {^ \ldots } }_i$ It’s called ε, short for “epsilon nought gonna understand what you are talking about anymore”. More comes after ε but Peano arithmetic ceases to function at that point. Or should I say, 1-arithmetic ceases to function and you have to move up to 2-arithmetic. #### ===== SO … WHAT COMES AFTER INFINITY? ===== You remember the tens place, the hundreds place, the thousands place from third grade. Well after infinity there’s a ∞ place, a ∞2 place, a ∞3 place, and so on. To keep counting after infinity you go: • 1, 2, 3, … 100, …, 10^99, … , 3→3→64→2 , … , ∞ + 1, ∞ + 2, …, ∞ 43252003274489856000 , ∞×2∞×2 + 1, ∞×2 + 2, … , ∞×84, ∞×84 + 1, … , ∞^∞∞^∞ + 1, …, ∞^∞^∞^∞^∞^… , ε0, ε+ 1, … Man, infinity just got a lot bigger. PS Hey Josh: Cobra Kai sucks. Can’t catch me! ## The Hardest Sport "Hitting a baseball is the hardest thing to do in sports." —Ted Williams On the subject of noncommutative things from everyday life: what’s the hardest sport? People love to debate this question. Fans with a favourite sport say their athletes are the fastest, strongest, most adept, or otherwise better than athletes from other sports. These disputes se basan the television show Last Man Standing, which pits strongmen against outdoorsmen against finesse athletes against … yoga instructors? Well, I’ve even heard the argument made that skateboarding is the most difficult sport.   One way to justify that one sport is more difficult than another is to measure how long it takes for sportsman A to master sportsman B’s sport and vice-versa. This gives rise to a connected graph with sports at each node. Suppose an objectively hardest sport exists — i.e., it is easier to transition from Calvinball to another sport than the reverse, for every sport which is not Calvinball. $\large \dpi{150} \bg_white \forall \text{ sport } S, \quad \exists\ \mathrm{Calvinball} \text{ such that } \\ \mathbf{dist}(\mathrm{Calvinball}, \ S) \ \ \mathbf{<} \ \ \mathbf{dist}(S, \ \mathrm{Calvinball})$ Even if such a sport exists, there’s no reason to think that the graph would look at all symmetrical, transitive, or obey other nice mathematical properties. addition or composition would be obeyed on the graph. In the scenario I drew above, the ease with which a Calvinballer can transition to another sport tells you very little about how easy it is for an athlete from Sport S to transition to Calvinball. One could measure difficulty of a sport other than Calvinball either by how hard it is for a Calvinballer to transition to it, or by many other measures (aggregate or individual).   It would be more accurate to put individual athletes at each node rather than “a sport”. That I can mathematically write down either scenario shows how varying levels of abstraction (even prejudice) can be incorporated into a mathematical model. ## Valuation Whenever a government assesses “the” value of a property for tax purposes; whenever you project figures in a pitch to investors; whenever an accountant writes a single number on a line that isn’t referring to Cash Itself — a distribution has collapsed. I put "the value" in scare quotes because one number can’t express an asset’s worth. Even if dollar-value-to-me is a 1-D concept — a dubious proposition itself — there are still many other players who value the asset differently. And those valuations could change with new laws, market conditions, reading a book and getting a crazy idea, etc. It all depends. It’s a function; it’s multi-dimensional; it has a topology; different opinions = different metrics, and so on. Anyone who has done accounting in the real world knows intuitively that Numbers Aren’t Facts. Numbers are opinions. Numbers are estimates. Numbers are vague, but less vague than the alternative. Let me delve into the economics of one imaginary ambiguous valuation for the more scholarly readers. ### Family Farm Imagine a farmer who owns land in Montana and has worked it all his life — never considering selling the farm because he loves farming, is a farmer, sees himself as a farmer, and wouldn’t know what to do with himself if he didn’t farm. He wants to pass the farm on to his kids, but the property will be subject to taxes as it passes from hand to hand. How much should the government tax his land asset? They have to estimate the worth of the property and then charge a fair, fixed percentage that they would charge to anyone else. But there is no single worth of the property. It’s worth different amounts to different people, for different reasons. • In the hands of his kids, and in his hands, it has sentimental value. • In a farmer’s hands, it has agricultural value as well as the utilitarian pleasure the farmer gets from working the land. • In a real estate developer’s hands, if the developer does everything right and sells a good number of lots, the property will be worth a lot of dollar bills. • In a rich fool’s hands, the property is worth as much as he thinks it’s worth. • In a rich sentimentalist’s hands, the property is worth whatever s/he has to pay to acquire that beautiful thing. • In a conservation fund’s hands, the property’s worth will fluctuate with the carbon price, donations (which in turn will fluctuate with certain segments of the economy), grant money, the fund’s ability to obtain other nearby properties, the priorities and opinions of the Board of Directors, and the migratory patterns of endangered species. By the way, I could also add this family farm story to my list of noncommutative phenomena in business — because the price to develop farmland into a subdivision isn’t the same as to go the reverse direction. (Similarly for conservation or any different use of the land.) The farmer may want to live in his own universe where he works the land, his kids work the land, their own little economy — but the tax man’s assessment will definitely look at what other people outside that universe are willing to pay for the property. ### Econ 101 A Marshallian supply & demand graph from Econ 101 makes the point. This is a 1-D chart so it doesn’t capture the full variegation of the stories I sketched above. But it shows more detail than a single number “the” value of the property. The farmer only has one of “good X” to sell, so supply is inelastic. In Econ 101, the market clearing price is the price which makes all units ship. In this graph there are multiple prices which would make all units ship, so there is no single market price. In the family farmer situation, the farmer doesn’t even want to put his place up for public auction. But the ambitions and tastes of some rich guy or group of rich guys can still sway how much tax the farmer pays handing the property over to his kids. The farmer can choose whom he sells it to (and refuse to sell to a developer for instance), but that preference has no effect on the tax rate. The family farm story isn’t the only case where a unique asset has to be assigned “a” single value. • Selling a restaurant — will the next owner sell alcohol there? • Shares of Bear Stearns around February 2008. • Any of the hot potatoes the Fed scooped up during the financial crisis. (google “mark to market” or “fair market value” for illiquid securities, it’s a controversial issue) • Any asset I buy for use in my business. Obviously I wouldn’t buy$10M of factory equipment if I didn’t think they would be worth much more than \$10M to me. But their value in a liquidation would have to be lower, especially if the buyers know the liquidator is under time pressure and can’t use the stuff any other way.

Everything is connected — fortunately or unfortunately.

## Circles

A circle is made up of points equidistant from the center. But what does “equidistant” mean? Measuring distance implies a value judgment — for example, that moving to the left is just the same as moving to the right, moving forward is just as hard as moving back.

But what if you’re on a hill? Then the amount of force to go uphill is different than the amount to go downhill. If you drew a picture of all the points you could reach with a fixed amount of work (equiforce or equiwork or equi-effort curve) then it would look different — slanted, tilted, bowed — but still be “even” in the same sense that a circle is.

Here’re some brain-wrinkling pictures of “circles”, under different L_p metrics:

p = ⅔

The subadditive “triangle inequality” A→B→C > A→C no longer holds when p<1.

p = 4

p
= ½
. (Think about a Poincaré disk to see how these pointy astroids can be “circles”.)
p = 3/2

The moves available to a knight ♘ ♞ in chess are a circle under L1 metric over a discrete 2-D space.