Tuesday, February 06, 2018

Some implications of Haag's Theorem.

Monday, January 29, 2018

Thursday, January 25, 2018

An amateur found a satellite NASA lost a dozen years ago.

Friday, January 12, 2018

Tensor squares entangle.

Reading (arXiv:1208.0928) about quantum error correction, I was very confused for a while when the paper described a tensor product of measurement operators as "simultaneous" measurement. Actually, a tensor product A⊗B corresponds to measuring the arithmetic product of an A measurement value and a B measurement value.

The context involves a pair of particles which we will assume to be electrons for simplicity. Let Xn measure the spin of the nth electron with respect to the x-axis. Applying Xn will put the nth electron's spin in the +x or -x direction; the corresponding macroscopic observation will be +1 or -1 (ignoring physical units). Let Yn be the analog of Xn for the y-axis. If we measure with Xn then Yn then Xn again, then the first and second Xn measurements merely have a 1/2 chance of being the same. In general, if spin of an electron is along one axis and we measure its spin with respect to another axis, we effectively destroy information. (Technically, the information is not destroyed. But recovering it is like unscrambling an egg.)

The above information loss is algebraically manifested as Xn and Yn not commuting. However, these operators do anti-commute: XnYn=-YnXn. Therefore, assuming our two electrons' spin states are independent of each other (which is approximately true if the electrons are not too close together), a little algebra shows that the tensor products X=X1X2 and Y=Y1Y2 do commute. Physically, this means that if we measure with X then Y then X again, the two X measurements will agree with probability 1, not 1/2. If we physically interpret a tensor product as simply performing two measurements at the same time, then this makes no sense.

But X actually measures the product of a potential X1 measurement value and a potential X2 measurement value. This will be +1 if the X1 and X2 both output +1 or both output -1, and will be -1 otherwise. In other words, X is measuring merely whether the two particles have the same or opposite spin with respect to the x-axis. Unlike an Xn, the act of measuring X does not align either particle's spin to the x-axis (unless it was already there). Instead, applying X merely changes the joint state of the particles such that the results of potential future X1 and X2 measurements are now either perfectly correlated or perfectly anti-correlated, depending on whether X measured +1 or -1.

The bottom line is that, by measuring with X and then Y, that is, by measuring with respect to each of two perpendicular axes merely whether our two particles have the same or opposite spins, we put the two particles into one of four maximally entangled joint states with the very nice property that repeated measurements of X and Y will preserve the joint state of the electrons. If the X output changes or the Y output ever changes when performing these repeated measurements, that indicates outside "noise." This is a simple instance of quantum error detection for two qubits. With more electrons, the paper explains how to achieve quantum error correction.

Monday, January 08, 2018

Following up on this post, more ugly hacks to fight Spectre and Meltdown.

Saturday, January 06, 2018

Thursday, January 04, 2018

You know a new class of vulnerabilities is really bad when the LLVM compiler is desperately resorting to this ugly hack.

Friday, November 24, 2017

Tuesday, November 21, 2017

Tuesday, November 14, 2017

Mere existence of God is a powerful but actually relatively weak in its logical consequences, much like the existence of an inaccessible is a relatively weak large cardinal axiom in set theory. On the other hand, I0 is a very strong axiom only one step removed from logical impossibility, Perhaps the analogously strong axiom of the faith is the Incarnation.

Saturday, September 09, 2017

Spontaneous symmetry breaking is much easier to wrap my mind around using a Newtonian example.

Tuesday, September 05, 2017

Regarding the Nashville statement, anthropology:chastity::keep:castle. It's good but insufficient to fortify the keep. Two of the castle walls are respectively located at divorce and contraception.

Wednesday, July 12, 2017

On a randomized control trial at CUNY on replacing remedial college algebra with introductory college statistics:
[T]here is a significant and fairly large (16% without covariates in the model, 14% with) difference in odds of passing the course for those randomized to the intro stats course compared to the elementary algebra course...

I will hold with Hacker in suggesting that this does represent a lowering of standards, and that this is a feature, not a bug. That is, I think we should allow some students to avoid harder math requirements precisely because the current standards are too high. Students in deeply quantitative fields will have higher in-major math requirements anyway.

Yep. And statistics is more directly useful for non-STEM majors who, for example, want to understand the news.

I also found it interesting that "support workshops" for remedial college algebra students didn't measurably improve pass rates in this study. I'm not sure what to make of that. I suppose it's consistent with my anecdotal, non-randomized-control-trial experience that more conscientious students are both more likely to pass and more likely to take the time to get help from tutors and/or their professors on a regular basis.

Saturday, July 08, 2017

Replace the federal income tax deduction of state income taxes with block grants for states with below-average per capita income. Such "equalization grants" work well in Canada and Australia.

Saturday, July 01, 2017

I've long been a fan of Scott Sumner's views on monetary policy. I recently commented on Arnold Kling's blog in defense of Sumner. In summary:
If the Fed wanted 2018 US NGDP to be more than $20T (for example), it could say, "whenever betting markets generally predict 2018 US NGDP under $20T, we will start to buy and hold assets of our choosing, at a rate of $1B the first day and doubling the rate every day thereafter, until betting markets generally predict 2018 US NGDP over $20T."

When there is a large negative expected NGDP, the mismatch between downward-sticky wages and much more plastic hiring/firing/layoffs aggregates into a large short-term misallocation of real resources.

Therefore, the Fed should buy whatever it takes to reverse large downward surprises in expected NGDP.

Monday, June 26, 2017

News of MIT's NAT saddens me.

I remember when the names iteration.mit.edu and recursion.mit.edu were mine; they pointed to my public IPv4 address I don't claim to have done anything innovative with them, but what I did was very educational. I wrote a minimal http server in C++ and hosted a static website with fractal images I created and a Mandelbrot set Java applet I wrote.

I probably never would have been motivated to learn how to write an http server without such public visibility. Security risks? Yes. (I promptly fixed that one.) Despite this, MIT thrived without a NAT for many years. Even if security risks are greater today, firewalls can be made arbitrarily strict without a NAT.

Monday, June 19, 2017

A bit of TeX hacking

I've decided that if I state, say, Theorem 2.2.15 but don't prove it until many pages and lemmas later in Section 5, then, for the reader's sake, I should repeat the theorem verbatim, including the original theorem number, immediately before the proof, as opposed to going straight from the proof of Lemma 5.2.33 to "Proof of Theorem 2.2.15." (Granted, if the delay between statement and proof is just for one "Main Theorem" whose statement is easy to remember, then this is not necessary. My decision is in the context of revising a longer paper with several theorems stated early and proved much later.)

%#1 theoremstyle inpute (plain/definition/remark/...)
%#2 type of theorem (Theorem/Lemma/Corollary/...)
%#3 label of theorem to be repeated 
%#4 unique new input for \newtheorem 
%#5 statement of theorem
  \newtheorem*{#4}{#2 \ref{#3}}

  \repeattheoremhelper{plain}{#1}{#2}{repeat#2}{\csname state#2\endcsname}

%usage example
%\def\statemytheorem{blah blah}

Saturday, November 19, 2016

I think I need a red ink pad and stamp with "AlgebraRules.com" on it.

Thursday, November 03, 2016

Tuesday, October 18, 2016

Saturday, October 08, 2016

Thursday, September 22, 2016

Tuesday, September 20, 2016

No torque, no spill (in the accelerated reference frame).

Friday, September 09, 2016

An excellent two-minute time-lapse video of two weeks of evolution of antibiotic resistance.

Wednesday, September 07, 2016

Struggles with the Continuum, the most enjoyable survey paper I've read in a long time. It concerns singularities in mathematical physics.

Monday, August 29, 2016

Thursday, August 25, 2016

How much damage would a space probe take flying through the interstellar medium at v=0.2c? (See also this.)

Bottom line: I am seriously entertaining the possibility that I will live to see digital images transmitted from another planetary system.

Wednesday, August 24, 2016

If Saudi Arabia and Iran are fighting a proxy war in Yemen, why is the US taking sides?

Tuesday, August 23, 2016

Saturday, August 20, 2016