November 2018 - mathfun@mailman.xmission.com

Re: [math-fun] Hopefully simple question re matrices
by Henry Baker 24 Nov '18

24 Nov '18

This paper seems to nail my question right on the head! Mucho thanks! At 01:20 PM 11/23/2018, W. Edwin Clark wrote: >See the paper Left Eucclidean Rings by H H Brungs, Pacific J Math 1973 >https://projecteuclid.org/download/pdf_1/euclid.pjm/1102947704 >In particular on page 31 you will find the Corollary: > >COROLLARY. If R is a division ring then R_n is left (and right) Euclidean with Ï(M) = n-rank (M) + 1 if M <> 0 and Ï(0) = 0. > >Here R_n is the ring of n by n matrices over R. Theorem 1 is a more general statement. > >On Fri, Nov 23, 2018 at 3:48 PM Henry Baker <hbaker1(a)pipeline.com> wrote: >Euclidean algorithm / continued fraction on *square matrices* ?? > >3 issues: left/right variants; how to stop; how to get "smaller" remainder. > >Left/right variants: I accept that non-commutativity will produce 2 variants. > >How to stop: det(remainder)=0 > >What is the definition of "smaller" in: > >remainder = dividend - quotient*divisor, > >such that norm(remainder)<norm(divisor) > >I.e., what should be the definition of norm(), or are there multiple definitions that work?

1 0

[math-fun] Another chess variant
by Dan Asimov 24 Nov '18

24 Nov '18

I just saw this a couple of days ago on YouTube: The idea is to pit K of one piece against L of another in the context of avoiding checkmate. Two different pieces, one for each player, are chosen, like K white queens and L black knights. The W and B kings are in their usual starting positions; the rest of the squares on the board are filled up with (say) the K W queens and L B knights. Like (lowercase = B, uppercase = W): n n n n k n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n Q Q Q Q Q Q Q Q Q Q Q Q Q Q Q Q Q Q Q Q K Q Q Q (Of course the numbers K of W and L of B pieces need not be of form 8J + 7.) It might be interesting to determine which ratios of which pieces lead to a fairly even game. —Dan

4 4

[math-fun] Ford circles
by Henry Baker 24 Nov '18

24 Nov '18

I just discovered this paper on "Ford circles" (1938) for fractions and continued fractions. Very very cool & elementary. Suitable for high school students. Either https://trungtuan.files.wordpress.com/2017/06/ford1938.pdf or https://www.maths.ed.ac.uk/~v1ranick/papers/ford.pdf

1 0

[math-fun] Hopefully simple question re matrices
by Henry Baker 23 Nov '18

23 Nov '18

Euclidean algorithm / continued fraction on *square matrices* ?? 3 issues: left/right variants; how to stop; how to get "smaller" remainder. Left/right variants: I accept that non-commutativity will produce 2 variants. How to stop: det(remainder)=0 What is the definition of "smaller" in: remainder = dividend - quotient*divisor, such that norm(remainder)<norm(divisor) I.e., what should be the definition of norm(), or are there multiple definitions that work?

2 1

Re: [math-fun] The Case Against Quantum Computing
by Dan Asimov 22 Nov '18

22 Nov '18

I am a complete ignoramus about quantum computing, so this article roughly doubled my knowledge of it. I will say this: That article by Mikhail Dyakonov is *extremely* clear and well-written. —Dan Hans Havermann schrieb: ----- In the IEEE Spectrum last week, Mikhail Dyakonov presented his overview of the field: https://spectrum.ieee.org/computing/hardware/the-case-against-quantum-compu… -----

7 7

[math-fun] Network on sphere puzzle
by Dan Asimov 19 Nov '18

19 Nov '18

Let a network N on the sphere S^2 = {p in R^3 | ||p|| = 1} be defined as a finite set of K >= 2 points in S^2 with some pairs of these points connected by a shortest (or tied for shortest) geodesic. We say a network N is "minimal" if for some epsilon > 0, all networks obtained from N by varying the position of each point by less than epsilon (and connecting each pair of corresponding points by a geodesic) cannot decrease the total length of N (the sum of the lengths of all geodesics). Puzzle: ------- What are the minimal networks on S^2 ? Extra credit:* ------------- What are the minimal networks on the square torus T^2 = R^2 / Z^2 ? —Dan ————— * I don't know the answer to this one yet. But I suspect Neil Sloane does.

1 0

Re: [math-fun] Candela
by Keith F. Lynch 18 Nov '18

18 Nov '18

Simon Plouffe <simon.plouffe(a)gmail.com> wrote: > This is why they decided to make the kilogram definition based > on the Planck constant , there was also a project to define the > kilogram using a specific portion of 1 element based on the mole : > 6.022 x 10^23 atoms, they made 1 prototype of a <perfect> sphere > for it but that idea was abandoned. > Personaly, I prefered the second definition (the sphere), mainly > because it uses Pi. ;-). It does. In the new system, the kilogram depends on Planck's reduced constant, which is defined as being exactly 6.62607015*10^-34/(2 pi) joule seconds. :-)

1 0

[math-fun] Fwd: Rational-coefficient polynomial, applied to integers
by Bill Gosper 18 Nov '18

18 Nov '18

If I were your doctor I would prescribe Mozart. ---------- Forwarded message --------- From: Julian Ziegler Hunts <julianj.zh(a)gmail.com> Date: Sat, Nov 17, 2018 at 8:47 PM Subject: Re: [math-fun] Rational-coefficient polynomial, applied to integers To: Bill Gosper <billgosper(a)gmail.com> Two more obvious errors in (v): that should be a product, not a sum, and there's a fencepost error. The actual formula is product(p^(a(j)(d-jp+1)), j=1,…,l-1)*p^((m-h)(d-lp+1)), which can probably be rearranged to something nicer. Apart from that, I think everything is correct. The faster method I mentioned is the following: if m≤p, then a polynomial which is identically zero mod p^m is a sum of multiples of (x^p-x)^m, p*(x^p-x)^(m-1), …, p^(m-1)*(x^p-x), and this condition can, I think, be checked faster than plugging in (it definitely can for m very small, e.g. m=3). Julian On Sat, Nov 17, 2018 at 1:01 AM Bill Gosper <billgosper(a)gmail.com> wrote: > Man, before falling asleep (like now) I can't even stay focused enough > to make your edits, let alone find bugs. Instead I wake up to find > characters repeated thousands of times. —Bill > > On Sat, Nov 17, 2018 at 12:14 AM Julian Ziegler Hunts < > julianj.zh(a)gmail.com> wrote: > >> Naturally I found an error while struggling to fall asleep: the sum in >> (v) is the number of such polynomials of degree at most d. >> >> I think the (somewhat) simpler/faster methods in (iv) apply up to p^p, >> but fail for p^(p+1), though they may be able to be modified. >> >> Julian >> >> On Fri, Nov 16, 2018 at 11:47 PM Julian Ziegler Hunts < >> julianj.zh(a)gmail.com> wrote: >> >>> You can forward it if you want to. It's not like everything posted to >>> math-fun is correct, and if someone else finds an error or refinement >>> before I do, that's fine with me. >>> >>> Julian >>> >>> On Fri, Nov 16, 2018 at 11:40 PM Bill Gosper <billgosper(a)gmail.com> >>> wrote: >>> >>>> Do you want me to hold off forwarding this to math-fun? —Bill >>>> >>>

1 0

Re: [math-fun] Candela
by Keith F. Lynch 17 Nov '18

17 Nov '18

"Adam P. Goucher" <apgoucher(a)gmx.com> wrote: > There seems to be a lot of recent excitement about the redefinition > of the kilogram, but I'm more worried about the candela. Kilograms are more fundamental. I'm surprised they even keep the candela in SI. Lots of old metric-system units aren't in SI, for instance the calorie. I'm interested in the philosophical implications of the several changes. They aren't just changing the values of the various units, they're subtly changing what they're units *of*. For instance an earlier change in SI had the side effect of defining the vacuum speed of light as a specific constant. Before, people could debate whether that speed was constant, and could measure it. Today, it's constant by definition and any attempt to measure the speed is actually measuring the length of the meter. Since the fine structure constant is dimensionless, SI can't, and didn't attempt to, define its value. Its value depends on the speed of light, Planck's constant, the charge of the electron, and the permeability of space. Suppose that it's discovered that the fine structure constant isn't constant. Is it meaningful to say which of the four things it depends on has changed, or is it completely arbitrary? Previously, the speed of light and the permeability of space had defined values, so we'd have the choice of saying that Planck's constant or the charge of the electron had changed. With this week's change in SI, Planck's constant and the charge of the electron have been given defined values, and the permeability of space has lost its defined value, so we'd be required to say that if the fine structure changes, the permeability of space had changed. Getting back to the kilogram, there are several definitions of mass: Energy divided by the square of the speed of light. Resistance to acceleration (which can be subdivided into resistance in each of the X, Y, and Z directions). Tendency to attract other masses (which again might vary with direction). Tendency to be attracted by other masses (which again might vary with direction). Resistance to torque (which might vary with direction of the axis). Quantity of atoms of a specified type or mixture of types. Formerly the last definition was used, now the first one is being used. General relativity implies that those definitions are all equivalent. SI now implicitly assumes that general relativity is correct. (Nitpick: This week's changes won't actually take effect until next May.) Now, back to the candela: > On the face of it, it seems to have a relatively simple definition: > "The candela is the luminous intensity, in a given direction, of a > source that emits monochromatic radiation of frequency 540*10^12 Hz > and that has a radiant intensity in that direction of 1/683 watt per > steradian." > where luminous intensity is defined as: > I_v = 683 V(gamma) I_e > where I_e is the radiant intensity (in watts per steradian) and > V(gamma) is the 'standard luminosity function' (which must be equal > to exactly 1 when gamma = 540*10^12 Hz, for these definitions to be > consistent). > But this raises the question: what is V(gamma) in general? I've > found a tabulation of values for integer * 10^-9 metre wavelengths > in the visible interval: > http://donklipstein.com/photopic.html > but no indication as to how to compute V(gamma) for any of > the 2^(aleph_null) other wavelengths beside the 401 provided. > Any ideas? It can't be computed, only measured. Unlike other SI units, it's subjective. That table came from asking volunteers which spots of colored light, of various wavelengths and luminous fluxes, appeared brighter. It varies between individuals. The table even mentions that younger people generally see better in the blue. (That's because eye lenses turn yellowish with age, much as many clear plastics do.) It varies strongly with luminous flux (Purkinje effect). And it would be unethical to measure it outside the range of that table, since a light bright enough to be seen might be bright enough to damage the eye. Of course anyone can come up with a heuristic formula based on that table. Or based on another table made by testing a different set of people. At first I thought that that table isn't consistent with SI, since SI implies that V(gamma) is 1 for 540 THz, and the table states that it's 1 for 555 nm, which is not the same. 540 THz is about 555.171 nm, which has a lower value in the table, and 555 nm is about 540.167 THz. But then I realized that I was assuming a vacuum. Obviously, these tests were done in air (again, for ethical reasons). To make those numbers consistent would require an index of refraction of about 1.0003, which is indeed reasonable for typical comfortable temperatures and pressures of air.

3 2

Re: [math-fun] Candela
by Dan Asimov 17 Nov '18

17 Nov '18

I recall that in college ('68-'72) a standard joke when someone asked "What's new?" was to answer "E/h" (since E = h nu describes Planck's constant h (I think) ... where nu is the frequency of a photon. If so, I'd guess that for an arbitrary (constant) frequency nu (OK, gamma), V(gamma) just needs to be multiplied by the ratio gamma / (540*10^12 Hz), or in other words for any frequencies gamma_1, gamma_2: V(gamma_1) / V(gamma_2) = gamma_1 / gamma_2. (If this is dumb, sorry about that.) —Dan Adam Goucher wrote: ----- ... "The candela is the luminous intensity, in a given direction, of a source that emits monochromatic radiation of frequency 540*10^12 Hz and that has a radiant intensity in that direction of 1/683 watt per steradian." where luminous intensity is defined as: I_v = 683 V(gamma) I_e where I_e is the radiant intensity (in watts per steradian) and V(gamma) is the 'standard luminosity function' (which must be equal to exactly 1 when gamma = 540*10^12 Hz, for these definitions to be consistent). But this raises the question: what is V(gamma) in general? I've found a tabulation of values for integer * 10^-9 metre wavelengths in the visible interval: http://donklipstein.com/photopic.html but no indication as to how to compute V(gamma) for any of the 2^(aleph_null) other wavelengths beside the 401 provided. Any ideas? -----

2 1