Error Correction - Physical Constants in the Present and New Versions of the International System of Units (SI)

Original author: Michael Trott
  • Transfer
March 29, 2019 - Michael Trott, Principal Researcher





Introduction


In the so-called “new SI” - an updated version of the International System of Units , which will determine seven basic units of measurement (second, meter, kilogram, ampere, kelvin, mole and candela) and which will enter into force on May 20, 2019, all SI units will be determined through the exact values ​​of the fundamental physical constants. As a result, all of the above SI units (Newton, Volt, Ohm, Pascal, etc.) will ultimately be expressed in terms of fundamental constants. (Finally, fundamental physics will literally control our daily lives ☺)

The table below shows how everything will change from Monday evening May 20 to Tuesday morning of May 21 this year.

image

Computing data from this table is the goal of this blog. So, let's start with a brief overview of what will change in the new SI.

In addition to the well-known exact value of the speed of light, in four weeks another four physical constants - the Planck constant, the Boltzmann constant, the Avogadro constant and the Millikan constant (often called the elementary electric charge) - will have exact values. The decision on this change was made internationally in November last year (I wrote about it in my last imageblog).

Below is a snippet of page 12 of the current draft SI brochure .

image

Note that in these definitions, decimal numbers are meant as exact decimal numbers, not, say, machine numbers on a computer that have finite precision and are not exact numbers. The transition frequency in the split superfine structure of Cs-133, the speed of light and "light efficiency" already have exact values ​​today.


The world discusses future changes


This change will have some interesting consequences for other physical constants: some constants that are currently measured and have errors will become accurate, and some constants that are currently accurate will have approximate values ​​with finite errors in the future . These changes are unavoidable to guarantee overall system consistency.

This year’s first issue of Physics of the World addressed this subject in a letter to the editor from William Hough; He wrote:

With charge fixation on the electron ( e ) and Planck's constant ( h ), all physical units are now “immortalized in stone”, which is very nice. But that raises one awkward question. Fine structure constant image, where c is the speed of light and imagethis image. From the familiar equations image, imagewe quickly find that image. This, of course, is a pure number with a dimensionless quantity, and it is now fixed forever as equal to 1 / 137.13601, which is very close to the accepted value. This is not surprising, since the latter value would be used in the agreed new values ​​for e and . But nature has its own value, unknown to us at present, which, because of this, is immortalized in diamond. We can be forgiven for hinting that we know better than nature. But what if the future theory of the universe becomes accepted and gives an exact value imagethat differs significantly from the accepted value? Could this happen? There have been attempts to find a theoretical value for α , but they include menacing and controversial quantum electrodynamics.


The problem is that in the new SI system, the two imageandimagewill now have inaccurate values ​​with some error. In this blog, we will use the Wolfram Language and its knowledge of physical units and constants to see how these and other physical constants gain (or lose) error, and why this is a mathematical consequence of the definition of basic units.


A Brief Overview of the Relevant Wolfram Language Ingredients


Wolfram Language is a unique medium for conducting numerical experiments and symbolic calculations, identifying possible consequences. In addition to the general computing capabilities, three components of the system are very useful here:

1) Wolfram Language units and the structure of physical quantities.

Classical units (such as meters, feet, etc.) can be used in calculations and visualizations. And, of course, in the conversion of units of measure.

image

Converting to ordinary US units results in a fraction (rather than an approximate value of the real number!) Due to the well-defined ratios of the two units.

image

Physicists (especially) like to use "natural" units. Often these natural units are simply physical constants or combinations thereof. For example, the speed of light (natural language input is used here).

image

Expressed in SI units (since this is speed and units in meters and seconds are required), the speed of light has an accurate value.

image

On the other hand, the Planck constant does not currently have an exact value. Thus, its value, expressed in SI base units, is an approximate decimal number.

image

image

Please note that the accuracy of 6.626070 ... reflects the number of known numbers.

image

image

image

This is the last recommended value for the Planck constant published in CODATA 2017 in preparation for the refinement of constants. The corresponding table is presented below:

image

Physical constants (or combinations thereof) that link two physical quantities can often be used as natural units. The simplest examples would be the measurement of speed in terms of the speed of light or the microscopic torque in terms of . Or energy can be measured in terms of mass with an implied factor image. DimensionalCombinations Functioncan be used to search for combinations of physical constants that allow you to relate two given physical quantities. For example, the following relationships between mass and energy can be built:

image

The first equality reflects Einstein's famous formula image, the second is the equivalent of the first relation, and the third - (dimensionally) states that image.

2) The entity class “ PhysicalConstant ” recently added to the Wolfram Knowledgebase .

Functions and objects in the Wolfram Language are “born computationally”, that is, they are ready for use in computing. But to describe and simulate the real world, you need data about the real world. Entity structure is a convenient and fully integrated way to obtain such data. Below are some data on the electron, proton and neutron.

image

One of the new entity units is physical constants. Currently, the Knowledge Base contains more than 250 physical constants.

image

Below are a dozen randomly selected examples. Moreover, without a clear definition of what constants are physical constants, masses of fundamental particles, Lagrange parameters of the standard model, etc. For convenience, the list also contains astronomical constants in accordance with the Astronomical Almanac.

image

Most of the fundamental physical constants were called class C constants in the famous work of Jean-Marc Levy-Leblond. The constants of classes C and B are given below.

image

image

Take, for example, the natural unit of time, Planck time. The ToEntity and FromEntity functions make it easy to go back and forth between physical constants as units and physical constants as entities. An entity corresponding to a unit of Planck time is demonstrated below.

image

image

The knowledge base has a lot of meta-information about him, for example, its values ​​in the latest CODATA lists.

image

The last conclusion, which contains meaning and error, leads us to the third important function, which will be useful later:

3) Introduction of the Around [] function in version 12 of the Wolfram Language. The Around [] function provides an inaccurate value, indicating the average value and the error. The arithmetic model Around [] is based on the GUM (Guide to Expressing Measurement Error) - not to be confused with the Leibniz Plus-Minus-calculus. Here is such a value with an error.

image

The most important and useful aspect of computing with values ​​that have errors is that they take correlations into account. The naive use of such values ​​in arithmetic numbers or intervals can underestimate or overestimate the resulting error.

image

Below we see that the AroundReplace [] function takes into account correlation.

image


Back to the letter to the editor


Now let's use these three components and the more detailed William Hough letter to the editor.

At current approximate values ​​for e and , these two values ​​for the fine structure constant are consistent within the limits of their errors. The first is the expression from the letter to the editor, and the second is the quantity ( Quantity []), which represents the fine structure constant.

image

Every few years, CODATA publishes official values ​​of fundamental constants (see fine structure constants ); as I said, the values ​​used in the Wolfram Language are the latest CODATA values ​​and the final error is reflected in the accuracy of the number.

Please note that the directly measured fine structure constant is slightly more accurate than the one that expresses the fine structure constant through other constants.

image

If we use the forthcoming exact values ​​of e and , and use the current exact value image, we get the following exact value for the fine structure constant in the form image.

image

It is unlikely that the Lord, who does not even play dice , would choose such a number for significance imagein our universe. This means that while e and will be fixed in the new SI, the current exact value imageand imagewill inevitably have to be "Unlock" (see. Also Article Goldfarb on the value of imagethe new SI). (We will return to why imageand imageshould soon become inaccurate.)

Это означает, что после 20 мая этого года эти результаты станут другими, отличающимися от приведенных ниже.

image

image

(В кратком примечании, класс сущности "PhysicalConstant" также имеет предполагаемые значения для констант, таких как константа тонкой структуры):

image

image

Теперь, если не считать теологического аргумента о точной форме постоянной тонкой структуры, с физической точки зрения, почему image и image должны быть неточными? В качестве аргумента вероятности давайте рассмотрим image. Один из самых выдающихся результатов, это закон Кулона.

image

In the existing SI system, an ampere has an “exact” definition: An

ampere is the direct current that, if maintained in two parallel conductors of infinite length with an insignificant circular cross-section and placed at a distance of 1 meter in a vacuum, will create a force between these conductors equal to imageNewton per meter length.

This definition uses purely mechanical quantities Newton and meter (that is, after expansion, this is a second, meter and kilogram). No relationship is made with the charge of the electron, and in the existing SI system, the elementary charge is an experimentally measured quantity.

image

And this experimentally measured value has changed over the years, becoming more accurate.

image

The force on the left side of the Coulomb law (expressed in Newtons) contains the basic unit of kilogram, which, after the value of the Planck constant becomes constant, also becomes precisely definable. Since there is no reason to assume that all the laws of nature can be expressed in finite rational numbers, the only possible “moving part” in the Coulomb law will be image. Its numerical value must be determined, and it will make the left and right sides of Coulomb's law coincide.

From a more fundamental point of view of physics, the fine structure constant is the interaction constant, which determines the strength of electromagnetic interactions. And, perhaps one day, physics can calculate the value of the fine structure constant, but we are still far from this. Just choosing unit definitions cannot fix the value image.

Are the two imageand imagebecome a non-fixed, or maybe keep one of them accurate? Due to the already accurate speed of light and the ratio image, if one is imageor is imageaccurate, the other must also be accurate. We know that at least one must become uncommitted, so it follows that both must be uncommitted.

The values ​​that are now given by the Planck constant, the Boltzmann constant, the Avogadro constant, and the elementary charge are neither arbitrary nor fully defined. They are determined up to approximately eight characters, so the units of measurement that they determine after May 20 correspond to the "size" of the units that they determine before May 20. But the numbers in the lower right are not defined. Thus, the value of the future exact value of the elementary charge may be image, rather than image. It is Occam's razor and rationality that allow us to use image.

On a more technical level, the substitution in the previous calculation was that through the term imagein the formula the imageampere was used before redefinition (remember image), but the exact value of the elementary charge was also used, meaning the definition of ampere after redefinition. And we always need to stay in one system of units.


Calculation of error-optimized form table


So, the natural question arises: what should these “unfixed” meanings be? In my last blog, I manually created a new value image. What can be done manually can be done using a computer program, so let's implement a small program that calculates the error-optimized form of derivatives of physical constants. In a future-oriented approach, an entity class of seven constants that defines a new SI is already available.

Below are constants that will have an exact value in the new SI.

image

The current values ​​of these constants together with their error (calculated using the Around [] function ) have the form:

image

Using the entity class “ PhysicalConstant ” we can get new, upcoming values ​​of physical quantities. Note that, as in all computer languages, exact integers and rational numbers are either explicit integers or rational (but not decimal) numbers.

image

image

Many physical constants can be related by equations given by physical theories of various fields of physics. In the future, we want to limit ourselves to the theory of fundamental electromagnetic phenomena, in which the error of the constants will be reduced to the error of the fine structure imageconstant and Rydberg constant image. If we included, for example, gravitational phenomena, we would have to use the gravitational constant G, which is measured independently, although it has a very large error (which is why the NSF had the so-called " Big-G Challenge ").

Further, we restrict ourselves to electric, magnetic, and mass quantities, whose errors are reduced to units of imageand image.

Below we use the new Around function to express values ​​with corresponding errors imageand image.

image
image

Currently, according to CODATA 2014, the relative error for imageis about image, and for imageabout image. As you can see, the error for imagemore than for image.

image

image

The following is a graph of the log base-10 relative error imageas a function of a and b . Obviously, for small degrees, the relative error of the product weakly depends on the exponents a and b . This graph shows that the dependence of the error imagedominates with respect to a(an indicator of the degree of fine structure). This observation is explained by the fact that the error of the Rydberg constant is 50 times less than the error of the fine structure constant.

image

In order to calculate the errors of various constants in the new SI, we will use the following steps:

• Retrieve equivalent representations for physical constants accessible from the PhysicalConstant entity class .

These identical equalities between physical constants are the laws of physics and as such should be preserved in both the old and the new SI.

• Think of formulas as a set of algebraic equalities to which various exclusion methods can be applied to express a constant through a combination of seven basic constants of the new SI, as well as fine structure imageconstants and Rydberg constants image.

These are the nine basic constants that we allow to apply in the definitions of each new constant considered. (Technically, there are 10 constants in the list, but because of the simple scaling relation between h and , there are actually nine “different” constants in this list.)

image

The entity class “ PhysicalConstant ” contains a lot of information about the relationships between physical constants. For example, here are equivalent forms of four constants that are currently being measured and will soon be identified as having accurate values.

image

Within the accuracy of the measured values, all these unit elements work now. Here's a quick numerical check of alternative forms of the Planck constant. But the specific numerical value, especially the error, depends on the actual form of presentation. Using Around [], we can easily calculate the resulting errors.

image
image

Below is a graphical representation of the resulting errors of various representations. A very large error of dozens of representations can be traced to a large error in the second radiation constant.

image

And again, within the framework of the error of constants, these relations should be preserved after redefinition. So which of these representations is best used after redefinition in order to minimize errors? Perhaps none of the above equivalents is optimal, and by combining some of these ideas, it is possible to build the best one, which has a smaller resulting error.

Now, for the next steps of algebraic exceptions, we convert the constants that occur in equivalent classes (this is possible because the second arguments inEntity [" PhysicalConstant" ,. ] and in Quantity [ 1 ,. ] are equated). The reason we use entities, rather than quantities in subsequent calculations, is twofold: firstly, entities are convenient, easy-to-read representations; and secondly, algebraic functions (such as GroebnerBasis ) do not penetrate the quantities to determine the nature of their first argument.

image
image
image

Then we make all identities polynomial. The last step means: (1) subtracting the left side from the right side; and (2) that no fractional powers (e.g., square roots) of constants no longer appear. We carry out such a conversion to a polynomial by looking for all the fractional exponents and finding the LCM (smallest common factor) of all their denominators.

image

Below is one of the previous equations that contains constants with a fractional power.

image

After polynomialization, we come to polynomials of several variables in the three constants present. These polynomials must be eliminated.

image

The following table demonstrates how the toPolynomial function applies to the equivalent forms shown earlier for an elementary charge. After the canonization of ℏ inimage, some of the resulting polynomials become identical.

image

Now, based on the available physical constants (without the constants used in the definition of the new SI), we get enough equivalent forms to create a set of equations.

image

Below is a list of the obtained polynomial equations for the expression of an elementary charge.

image

We express all errors through errors imageandimage. Only these two constants are enough to express the error of many physical constants. And since their errors are independent of each other, and since the errors are quite small, these two fairly well-known constants are best suited to express an optimized (in the sense of errors) new version of many physical constants. And, of course, we allow all seven exact constants from the new SI; since they are accurate quantities, their presence will not change the error.

image

The main work on the expression of a given constant through the constants and the SI image, and imagewill be a function of GroebnerBasis . Setting the MonomialOrder -> ElventionOrder parameter is a critical step that removes all “unnecessary” physical quantities, leaving one polynomial equation with precisely defined constants and (if necessary) fine structure and Rydberg constants.

image

By eliminating the constants bound by the mass of the electron, we obtain image.

image
image

The error of this expression arises from the member image. We can define a function that removes the member imagecausing the error.

image
image

For a more compact representation, we can define a function that returns an equivalent form, as well as old and new errors - in the form of a string.

image

We end the blog by presenting a table of old and new errors for more than a dozen physical constants. This list is selected as a representative example; other constants can be processed in a similar way (this may require the addition of additional inaccurate constants for conservation, such as the gravitational constant or the parameters of the standard model).

image

Combining the rows in a table gives the following result for the optimal representation of these constants in the new SI unit system.

image

It was a table that we intended to display, and we managed to display it. Pay attention to the appearance imagein the numerator and denominator imageand imagein such a way that after reduction the result imagebecomes image. A similar list can be found at the bottom of the Wikipedia page on redefining SI units .

Now we can calmly expect 2019 World Metrology Day for a fundamentally better world, described through fundamental constants.

Download the Wolfram Notebook Blog .
Free temporary Wolfram Mathematica system
Have a question? Contact info-russia@wolfram.com

Also popular now: