Showing posts with label Maths. Show all posts
Showing posts with label Maths. Show all posts

Tuesday, June 30, 2026

Math teachers: here's an end-of-term puzzle for your class!


The Four Fours Puzzle by ChatGPT (v. 5.5 thinking)

As the summer term came to an end, Nigel, in his teaching days, found that the puzzle below got a maths class interested very quickly, especially when tackled collaboratively in pairs, groups or competing teams.

The problem is simple to state. Can you make every whole number from 1 to 100 using exactly four 4s and standard arithmetic operations? 

For example, 2 can be made as:

4/4 + 4/4 = 2

Every expression must contain exactly four 4s. The operations may include addition, subtraction, multiplication, division, brackets, square roots, powers, factorials, decimal points, recurring decimals and joining two 4s together to make 44.

In the solutions below, 4! means 4 factorial, so 4! = 24. A dot above a 4 means that the 4 recurs: for example, .4̇ means 0.4444..., and .44̇ also means 0.4444..., but uses two written 4s.

144/44
24 × (4/(4 + 4))
3(4 + 4 + 4)/4
44 + 4 × (4 − 4)
5(4 + 4 × 4)/4
64 + (4 + 4)/4
744/4 − 4
84 + 4 + 4 − 4
94 + 4 + 4/4
10(44 − 4)/4
1144/√(4 × 4)
12(4 + 44)/4
13√4 + 44/4
144 + 4 + 4 + √4
154 + 44/4
164 + 4 + 4 + 4
174 × 4 + 4/4
1844/√4 − 4
194! − 4/4 − 4
204 × (4 + 4/4)
214! + 4/4 − 4
22√4 × 44/4
23(4 × 4! − 4)/4
244 + 4 + 4 × 4
25(4 + 4 × 4!)/4
264 + 44/√4
274 + 4! − 4/4
2844 − 4 × 4
294 + 4! + 4/4
304 × (4 + 4) − √4
314! + (4 + 4!)/4
324 × 4 + 4 × 4
334 + 4! + √4/.4
34√4 + 4 × (4 + 4)
354! + 44/4
3644 − 4 − 4
374! + (√4 + 4!)/√4
3844 − √4 − 4
3944 − √4/.4
4044 − √(4 × 4)
41(.4 + 4 × 4)/.4
42√4 + 44 − 4
4344 − 4/4
444 + 44 − 4
4544 + 4/4
464 − (√4 − 44)
47√4 × 4! − 4/4
484 × (4 + 4 + 4)
494/4 + √4 × 4!
504 + √4 + 44
51((4! − √4)/.4) − 4
524 + 4 + 44
5344 + 4/.4̇
5444 + 4/.4
55(44/√4)/.4
564 × (4 × 4 − √4)
57√4 − (√4 − 4!)/.4
58(44 − 4!)/4
594!/.4 − 4/4
6044 + 4 × 4
614/4 + 4!/.4
624 × 4 × 4 − √4
63(44 − 4)/4
64(4 + 4) × (4 + 4)
65(4 + 44)/4
66√4 + 4 × 4 × 4
67√4 + (√4 + 4!)/.4
684 + 4 × 4 × 4
694 + (√4 + 4!)/.4
70√4 + 4! + 44
71(4! + 4.4)/.4
724 + 4! + 44
73(√(.4̇) + √4 × 4!)/√(.4̇)
744 + (4 + 4!)/.4
75(4 + √4 + 4!)/.4
764 × (4! − 4) − 4
77(√(4/.4̇))4 − 4
784 × (4! − 4) − √4
794! − (√4 − 4!)/.4
804 × (4 + 4 × 4)
81(4 − 4/4)4
82√4 − 4 × (4 − 4!)
834! − (.4 − 4!)/.4
84√4 × 44 − 4
85(4! + 4/.4)/.4
86√4 × 44 − √4
874 × 4! − 4/.4̇
8844 + 44
894! + (√4 + 4!)/.4
90√4 + √4 × 44
914 × 4! − √4/.4
924 + √4 × 44
934 × 4! − √(4/.4̇)
94√4 + 4 × 4! − 4
954 × 4! − 4/4
96√4 × (4 + 44)
974/4 + 4 × 4!
984 − (√4 − 4 × 4!)
994.4/(.4̇ − .4)
1004 × (4! + 4/4)

Some numbers are easy to construct, others bafflingly hard - tell them not to try working through 1-100 in order, go for the low-hanging fruit first.


Thursday, June 19, 2025

Operators, measurements and probabilities

 

Amazon link
---

When I was learning quantum theory at the OU, I was confused for a long time about observables, operators and measurements. I could see the trees: Hermitian operator, eigenvectors, orthonormal basis, eigenvalues, quantum state - expressed in terms of the operator basis with amplitudes projected onto each eigenvector, the application of the operator to the system quantum state, the application of the Born Rule

Possible measurement values with their probabilities.

That's a lot of trees - but where was the wood?

When I was at school, in the sixth form, I wanted to study mathematical physics at university. Maths by itself was too abstract and purposeless for me; physics too sloppy and hand-wavy. In the end I drifted to philosophy and politics, showing how useless Warwick University was in engaging my youthful intellectual passions.

The OU course also mixed minimal maths with less-than-compelling intuitions (and a fair share of conceptual confusions resulting from inadequate maths - Hilbert Space was a space too far, it seemed).

This is not a criticism of the OU: all undergraduate physics is like that: sloppy and hand-wavy, remember?

So it takes a mathematician to do it right: thank you Michel Talagrand (above). Despite the QFT of the title, it's aimed at undergraduates and does QM first. Properly.

The following is not from the book, but it paraphrases (via Gemini) the section I am currently reading there.


Quantum Mechanics: Observables, Operators, and Probabilities

In quantum mechanics, observables—measurable properties of a system—are represented by Hermitian operators. Here's a mini-tutorial on how we connect these operators to the possible measurement outcomes and their probabilities:

1. Hermitian Operators and Eigenvalues

Every observable is associated with a Hermitian operator (let's call it Â). Hermitian operators have a crucial property: their eigenvalues are always real numbers, and their eigenvectors form a complete, orthonormal basis for the system's Hilbert space (assume its dimension is n).

The eigenvalue equation is fundamental: Â|i⟩ = λi|i⟩

Where:

  •  is the Hermitian operator.
  • |i⟩ is the i-th eigenvector of Â (i ranging from 1 to n).
  • λi is the corresponding eigenvalue for that eigenvector.

The eigenvalues λi represent the possible outcomes of a measurement of the observable represented by Â.

2. Representing Quantum States

The quantum state of the system, represented by a state vector |α⟩, can be expressed as a linear combination of the eigenvectors of Â:

|α⟩ = Σi ci|i⟩     where ci are complex coefficients (i from 1 to n).

3. Applying the Operator and Finding Probabilities

To understand the probabilities of measurement outcomes, consider applying the operator Â to the state ∣α⟩ mathematically - we get:

Â|α⟩ = Âi ci|i⟩) = Σi ciÂ|i⟩ = Σi ciλi|i⟩

The probability P of measuring the eigenvalue λi is given by the squared magnitude of the corresponding coefficient ci:

P(λi) = |ci|2

Where ci = ⟨i|α⟩ is the projection of the state |α⟩ onto the eigenvector |i⟩ - its amplitude in that direction.

Remember that the state |α⟩ must be normalized, meaning:

Σi |ci|2 = 1

This ensures that the probabilities of all possible outcomes sum to 1.

4. Measurement and 'State Collapse' (Copenhagen)

During a measurement, the system "collapses" into one of the eigenvectors |i⟩. The measured value is the corresponding eigenvalue λi. The state after the measurement is the eigenstate corresponding to the measured eigenvalue. (This is the Copenhagen interpretation).

5. Expected Value

The expected value (average) of the observable represented by the operator Â in the state |α⟩ is:

Â⟩ = ⟨ α|Â|α⟩ = Σi |ci|2 λi    (the weighted average of possible values).

In essence, this is how we connect the mathematical representation of observables (Hermitian operators) to the probabilistic outcomes we observe in quantum measurements.


Question: So another way to say it? We have an operator Â. We form a basis for the Hilbert space from the eigenvectors of Â. Each eigenvector now corresponds to (is tagged by) a possible measurement (eigen)value.

If we now project the abstract quantum state ψ onto each of these basis eigenvectors, the projected amplitude gives us - via Born's rule - the probability of observing that particular (eigen)value?

---

Gemini

Indeed, if we take a Hermitian operator Â representing a physical observable:

  1. Eigenbasis Formation: We can find the set of its eigenvectors {ai​​⟩} which form a complete orthonormal basis for the Hilbert space of the system. Each eigenvector ai is associated with a specific real eigenvalue ai​, representing a possible outcome of measuring the observable A.

  2. Projection and Amplitude: When we project the abstract quantum state ψ onto one of these basis eigenvectors ai, we then obtain the complex amplitude ai​​ψ. This amplitude encodes the "overlap" of the state with that particular eigenstate.

  3. Born's Rule and Probability: According to Born's rule, the probability of observing the eigenvalue ai​ when the observable A is measured on the system in state ∣ψ⟩ is given by the squared magnitude of this projection amplitude:

    P(ai​​)=∣⟨ai​∣ψ⟩∣2

So, in essence, the eigenvectors of the operator provide the "labels" (the eigenvalues) for the possible measurement outcomes. The projection of the quantum state onto each of these "labeled" basis vectors gives us the amplitude, which then dictates the probability of observing that specific outcome.


So Why Do Eigenvalues Correspond to Measurement Outcomes?

In quantum mechanics, we are told that the possible outcomes of a measurement correspond to the eigenvalues of a Hermitian operator acting on a Hilbert space. But why? What is the deeper reason that a purely mathematical spectrum of an abstract operator should dictate the real outcomes we see on measuring devices in spacetime?

1. The Short Answer

Because quantum theory is built that way. According to its postulates:

  • States are represented by vectors |ψ⟩ in a Hilbert space H.
  • Observables are Hermitian operators  on H.
  • The possible outcomes of measuring  are its eigenvalues λi.
  • The probability of measuring λi is |⟨i|ψ⟩|², where |i⟩ is the corresponding eigenvector.

This structure is postulated — but it is not arbitrary.

2. Symmetries Determine Observables

In physics, observables arise from symmetry principles. Time translation symmetry gives rise to the Hamiltonian Ĥ. Spatial translations give us the momentum operator . Rotations yield angular momentum operators . These symmetries act via unitary transformations on the Hilbert space, and their infinitesimal generators are Hermitian operators.

So the operator structure of quantum theory is not just decoration — it is forced upon us by the demand for symmetry and conservation.

3. Measurement Projects onto Eigenstates

A measuring device interacts with a quantum system. That interaction can be modeled as coupling to a "pointer" system, followed by decoherence. The mathematics of projection captures this: measurement extracts the component of the quantum state aligned with a particular eigenvector of the observable.

This is why eigenvectors are special: they correspond to stable, repeatable outcomes. If a system is in an eigenstate, repeated measurements of the same observable yield the same result.

4. Eigenvalues Are Measurement Invariants

When an operator  acts on its eigenstate |a⟩, it simply returns a multiple of that state:

Â|a⟩ = a|a⟩

This means that a measurement corresponding to  does not disturb the system — it remains in the same state. The number "a" is the only value consistent with both the structure of the operator and the stability of the measurement process. So eigenvalues become the only meaningful "answers" the system can give.

5. Representation Theory: Bridging Hilbert Space and Spacetime

The real bridge between abstract Hilbert space and physical spacetime lies in representation theory. In relativistic quantum field theory, the states of a system form representations of the Poincaré group (the group of spacetime symmetries). The observables — energy, momentum, spin, charge — arise as generators of these symmetries.

The Casimir operators of the symmetry group — such as mass and spin — label the irreducible representations. Their eigenvalues classify particles and define measurable quantities. In this way, the algebraic structure of operators in Hilbert space becomes the language of physical reality.

Conclusion

The identification of eigenvalues with measurement outcomes is not an accident. It emerges from the confluence of:

  • symmetry principles,
  • linear operator theory,
  • the mathematical structure of Hilbert space,
  • and the decohering nature of measurement interactions.

An eigenvalue is what survives the entanglement of quantum structure with classical observation. It is the fixed point where mathematics and measurement meet.

Friday, April 03, 2015

All is geometry

Here's a little puzzle. Suppose you pick a number randomly between 0 and 1: call it x. Now pick a second one, also between 0 and 1: call it y. What's the average distance between x and y?

Hands up those who called out zero! Well, you clever, but you bad! I mean the distance you could measure with a ruler, no negative distances.

Not so trivial now, is it.

So here's a picture of us choosing x and y (figure 1). Let's agree that the order makes no difference to the gap between them, so we'll just arrange things so that x is the bigger one (don't care, if x = y).

Figure 1
We'll let z be the distance measured by our mathematical ruler between the two numbers - we want to know the average value of z over many trials. We can plot x and y as separate choices in the X-Y plane (figure 2).

Figure 2

The space of possible choices for x and y is the shaded triangle above. The area of the triangle is one half - we'll need this later.

Now, we add the Z-axis where we can plot the distance between them, z = x-y.

Figure 3

The volume z = x-y is a right-angled triangular pyramid. As you can see, when y is zero, z is just equal to x so z slopes upwards on the X-axis. When y = x, z is zero - that's where the pyramid meets the X-Y plane. The volume of the pyramid is a third the base-area times the height so that's (1/3) * (1/2) * 1 = 1/6; we'll need that in a moment.

I hope you'll agree that this three-dimensional volume showing the variation in distance between two randomly chosen points in the [0, 1] interval is not exactly obvious. To work out the average value of the distance z, we consider a shape which "sits" on the shaded area of figure 2 above, which has the same volume as figure 3 but is of uniform z-height.

Here's the picture (figure 4).

Figure 4

As you can see, z here is a constant 1/3, because (1/3) * (1/2) = (1/6), the same volume as before.

So that's the answer: the average distance between two randomly-chosen points is one third. Did you guess that correctly?

[Note: you might be surprised by how hard this problem is in general].

---

Here's another puzzle. You throw an ordinary six-faced die twice (example: getting 5 and 2). Call the difference between the two scores z (example: z = 5-2 = 3).

What's the average value of z? Fancy a guess?

Suppose the faces of the die were labelled (1/6), (2/6), ..., (6/6). Then these six points are uniformly distributed along the interval [0, 1] so we could use the result we already showed above and estimate that the average distance between them should be one third.

Of course the actual values on the die are six times bigger, so we would expect the value of z here also to be six times bigger, so 6 * (1/3) = 2.

Rough, obviously. We're talking a continuous approximation to a discrete distribution. We can get the right answer by simply listing cases.

6-1 = 5, 6-2 = 4, 6-3 = 3, 6-4 = 2, 6-5=1, 6-6 = 0
5-1 = 4, 5-2 = 3, 5-3 = 2, 5-4 = 1, 5-5 = 0
4-1 = 3, 4-2 = 2, 4-3 = 1, 4-4 = 0
3-1 = 2, 3-2 = 1, 3-3 = 0
2-1 = 1, 2-2 = 0
1-1 = 0

Total of differences = 35; total number of cases = 21 so average difference = 35/21 = 5/3 = 1.67 .. or, as we say, two to the nearest whole number :-).

(Do you see how you could draw pictures of these cases paralleling figures 2-4 above? You'd get a lumpy three-dimensional histogram rather than the smooth pyramid.)

---

There is a point to this amateur theorising. Mathematics sometimes seems very abstract and textual: axioms and long strings of deduction. This is to take a very lexical-syntactic view; to reduce ourselves to automated theorem-provers. The language of mathematics is about something, and that something is structure, geometry. The entities of mathematics are structural objects, often of high-complexity, of infinite size and inhabiting many dimensions. Our axioms and theorems describe properties of these structures; our proofs are like a blind man feeling his way around an elephant, encountering its aspects deduction by deduction.

When you truly understand a mathematical object in its full "shape", its nature is obvious. But it's hard for mortals to encompass the infinite - mere glimpses are sometimes as good as it gets.

Since physics is finding mathematical structures which can be brought into correspondence with measured reality, it is equally true - in some sense - that physics is geometry. There is a programme in physics, Geometrodynamics, which takes this rather literally.

You might also like to take a look at the hottest of new physics ideas: ER = EPR (wormholes in general relativity = quantum entanglement).
"I’ve mentioned before that John Wheeler was one of my heros during my formative years. Back in the 1950s, Wheeler held a passionate belief that “everything is geometry,” and one particularly intriguing idea he called “charge without charge.” There are no pointlike electric charges, Wheeler proclaimed; rather, electric field lines can thread the mouth of a wormhole. What looks to you like an electron is actually a tiny wormhole mouth. If you were small enough, you could dive inside the electron and emerge from a positron far away."
---

"Where did all this come from?" you ask wonderingly. Amazingly, I was working this out in bed this morning at 6.30 am. I have no idea why.

Thursday, January 17, 2013

The Anticipation of Snow

Matt, the gym manager warned me yesterday: we might be closed on Friday, there's a forecast of ten inches of snow.

The TV is full of it: so, eager to enter into the snow-spirit, I'm about to strew sand and rock salt onto our steep driveway. See next post.

It must be that time of the year but an astounding number of our relations have recently been in hospital, for operations or serious infections. Adding in parents, siblings and nephews/nieces I count four separate and ongoing cases. Their NHS experiences have been excellent to awful with points in between.

As well as hanging out at the gym (pet beef: bunnies who chill on the equipment chatting to their mates, failing to show my own obsessional dedication to work-rate) I have also been working through the Open University's M820 text (Calculus of Variations).

I'm still in chapter 1, a review of standard calculus - as I'm not registered, this doesn't count towards an MSc, my motives include a self-diagnostic for Alzheimer's.

So far I can report my concentration falls off a cliff at the one hour point, but it was ever thus.

Tuesday, December 25, 2012

The Calculus of Variations

I had to drop out of my maths MSc course with the Open University back in 2010 - yet another busy-busy client contract. I do have all the material, though and will do the course on my own account starting next week. No doubt you'll be hearing more here soon.

I had the material out this afternoon for review so Alex and Clare were at least subliminally aware of my plans. Towards the end of the afternoon they both decided to go for a walk on our local part of the Mendips, to take the air.

Top of the hill, they were discussing my folly when they were overtaken by a hobbity sort of guy - big beard, bush hat, short and dumpy, hairy feet .. well, you know. He hears the word OU and strikes up a conversation. Alex mentions I'm doing M820 and he immediately recognises the Calculus of Variations. Turns out the hobbity guy has almost finished his OU maths MSc, finishing this year with the formidable Functional Analysis module.

Only in Wells, huh?

Pictured below, the author with SF books from Adrian (thanks!) and backed by a van Gogh church, a present to Alex from the Musee d'Orsay (via us).