6.1: Frequency
- Page ID
- 3452
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Learning Objectives
- Explain time and clock
This chapter and the preceding one have good, solid physical titles. Inertia. Waves. But underlying the physical content is a thread of mathematics designed to teach you a language for describing spacetime. Without this language, the complications of relativity rapidly build up and become unmanageable. In section 5.2, we saw that there are physically compelling reasons for switching back and forth between different coordinate systems — different ways of attaching names to the events that make up spacetime. A toddler in a bilingual family gets a payoff for switching back and forth between asking Mamá in Spanish for dulces and alerting Daddy in English that Barbie needs to be rescued from falling off the couch. She may bounce back and forth between the two languages in a single sentence — a habit that linguists call “code switching.” In relativity, we need to build fluency in a language that lets us talk about actual phenomena without getting hung up on the naming system.
Is time’s flow constant?
The simplest naming task is in \(0 + 1\) dimensions: a time-line like the ones in history class. If we name the points in time \(A, B, C, ...\) or \(1, 2, 3, ...\), or Bush, Clinton, Bush, ..., how do we know that we’re marking off equal time intervals? Does it make sense to imagine that time itself might speed up and slow down, or even start and stop? The second law of thermodynamics encourages us to think that it could. If the universe had existed for an infinite time, then entropy would have maximized itself — a long time ago, presumably — and we would not exist, because the heat death of the universe would already have happened.
Clock-comparison experiments
But what would it actually mean empirically for time’s rate of flow to vary? Unless we can tie this to the results of experiments, it’s nothing but cut-rate metaphysics. In a Hollywood movie where time could stop, the scriptwriters would show us the stopping through the eyes of an observer, who would stroll past frozen waterfalls and snapshotted bullets in mid-flight. The observer’s brain is a kind of clock, and so is the waterfall. We’re left with what’s known as a clock-comparison experiment. To date, all clock-comparison experiments have given null results. Matsakis et al.1 found that pulsars match the rates of atomic clocks with a drift of less than about \(10^{-6}\) seconds over \(10\) years. Guéna et al.2 observed that atomic clocks using atoms of different isotopes drifted relative to one another by no more than about \(10^{-16}\) per year. Any non-null result would have caused serious problems for relativity. One of the expectations in an Aristotelian description of spacetime is that the motion of material objects on earth would naturally slow down relative to celestial phenomena such as the rising and setting of the sun. The relativistic interpretation of time dilation as an effect on time itself also depends crucially on the null results of these experiments.
Birdtracks notation
As a simple example of clock comparison, let’s imagine using the hourly emergence of a mechanical bird from a pendulum-driven cuckoo clock to measure the rate at which the earth spins. There is clearly a kind of symmetry here, since we could equally well take our planet’s rotation as the standard and use it to measure the frequency with which the bird pops out of the door. Schematically, let’s represent this measurement process with the following notation, which is part of a system called called birdtracks:3
\[c \rightarrow e = 24\]
Here \(c\) represents the cuckoo clock and e the rotation of the earth. Although the measurement relationship is nearly symmetric, the arrow has a direction, because, for example, the measurement of the earth’s rotational period in terms of the clock’s frequency is
\[c \rightarrow e = (1\: hr^{-1})(24\: hr) = 24\]
but the clock’s period in terms of the earth’s frequency is
\[e \rightarrow c = \frac{1}{24}\]
We say that the relationship is not symmetric but “dual.” By the way, it doesn’t matter how we arrange these diagrams on the page. The notations \(c \rightarrow e\) and \(e \rightarrow c\) mean exactly the same thing, and expressions like this can even be drawn vertically.
Suppose that \(e\) is a displacement along some one-dimensional line of time, and we want to think of it as the thing being measured. Then we expect that the measurement process represented by \(c\) produces a real-valued result and is a linear function of \(e\). Since the relationship between \(c\) and \(e\) is dual, we expect that \(c\) also belongs to some vector space. For example, vector spaces allow multiplication by a scalar: we could double the frequency of the cuckoo clock by making the bird come out on the half hour as well as on the hour, forming \(2c\). Measurement should be a linear function of both vectors; we say it is “bilinear.”
Duality
The two vectors \(c\) and \(e\) have different units, \(hr^{-1}\) and \(hr\), and inhabit two different one-dimensional vector spaces. The “flavor” of the vector is represented by whether the arrow goes into it or comes out. Just as we used notation like \(\overrightarrow{v}\) in freshman physics to tell vectors apart from scalars, we can employ arrows in the birdtracks notation as part of the notation for the vector, so that instead of writing the two vectors as \(c\) and \(e\), we can notate them as \(c \to\) and \(\to e\). Performing a measurement is like plumbing. We join the two “pipes” in \(c \to\; \to e\) and simplify to \(c \to e\).
A confusing and nonstandardized jungle of notation and terminology has grown up around these concepts. For now, let’s refer to a vector such as \(\to e\), with the arrow coming in, simply as a “vector,” and the type like \(c \to\) as a “covector.” In the one-dimensional example of the earth and the cuckoo clock, the roles played by the two things were completely equivalent, and it didn’t matter which one we expressed as a vector and which as a covector.
References
1 Astronomy and Astrophysics 326 (1997) 924, adsabs.harvard.edu/full/1997A&26A...326..924M
2 arxiv.org/abs/1205.4235
3 The system used in this book follows the one defined by Cvitanovi´c, which was based closely on a graphical notation due to Penrose. For a more complete exposition, see the Wikipedia article “Penrose graphical notation” and Cvitanovi´c’s online book at birdtracks.eu.