- mathfun@mailman.xmission.com - mailman.xmission.com

Re: [math-fun] preprint: uncertainty principle in AIT
by Mike Stay 23 Feb '04

23 Feb '04

Eugene Salamin wrote: > > > I see no application of Godel incompleteness to > > > physics. Questions such as whether the whole of > > > physics is finitely describable are unanswerable, > > > since, unlike mathematics, physics is limited by what > > > can be measured rather than by what can be postulated. > > > > I agree. One interesting paper I read claimed to show > > that if your physical theory predicts that some > > measureable quantity is equal to an uncomputable number, > > you'll never be able to verify your theory > > algorithmically! Of course, if the Church-Turing thesis > > is false for some physical system, then perhaps we could > use that to verify it. > > To obtain an uncomputable number as a measurement result > requires measuring to infinite precision, and this is not > possible. > > Gene It's not the infinite precision that's the important part, it's that you can't know how close your approximation to the number is. Say, for instance, the theory predicts Omega. You go and measure the appropriate property to a known accuracy, and then try to compute bits of Omega to compare it with. You can only prove a finite number of bits with any given algorithm. You could start enumerating programs and running them; if the "weight" of the halting programs exceeds the measured value, then you can falsify the theory. But if they're less than the measured number, there's no way to determine how close you are to the correct value, so you can never verify the theory to an arbitrary but finite accuracy algorithmically. -- Mike Stay staym(a)clear.net.nz http://www.cs.auckland.ac.nz/~msta039

1 0

Re: [math-fun] preprint: uncertainty principle in AIT
by Mike Stay 23 Feb '04

23 Feb '04

Eugene Salamin wrote: > I don't see your connection between mathematics and > physics. Your only reference to physics is the brief > introduction to the Heisenberg uncertainty principle in > Section 3, but where does it relate to the mathematical > content of your paper? The second-to-last paragraph of chapter 6 argues that for computers whose halting probabilities are computable, you can construct a quantum state where the standard deviation in an observable corresponds to the complexity term in the uncertainty relation. -- Mike Stay staym(a)clear.net.nz http://www.cs.auckland.ac.nz/~msta039

1 0

Re: [math-fun] preprint: uncertainty principle in AIT
by Mike Stay 23 Feb '04

23 Feb '04

(Comments inline) Eugene Salamin wrote: > I failed to find in the paper any connection between > Godel's incompleteness and randomness in physics, other > than a stated conjecture that such exists. Well, the abstract does say that we're *not* looking at incompleteness implying randomness in physics. What we showed was that uncertainty--formally equivalent to Heisenberg's relation in all cases and physically equivalent in some particular cases--implies incompleteness. Perhaps we need to emphasize that more? The conjecture was made by my professor's friend (and I'm sure it has been made before); the only thing our paper contributes toward that conjecture is another hint that some kind of relationship between them seems to exist. Do you think we should strike the conjecture? It was really tacked on at the end. > I see no application of Godel incompleteness to physics. > Questions such as whether the whole of physics is finitely > describable are unanswerable, since, unlike mathematics, > physics is limited by what can be measured rather than by > what can be postulated. I agree. One interesting paper I read claimed to show that if your physical theory predicts that some measureable quantity is equal to an uncomputable number, you'll never be able to verify your theory algorithmically! Of course, if the Church-Turing thesis is false for some physical system, then perhaps we could use that to verify it. > > But here is something to contemplate. A polarizing beam > splitter is a device that splits an input light beam into > its horizontally and vertically polarized components, and > both of these beams are output. Unlike Polaroid sheet, > there is no absorption. If the input light is linearly > polarized at 45 degrees, the output beams have equal > power. Measure each output beam with a detector that can > detect individual photons. For each horizontally > polarized photon, output a zero; for each vertically > polarized photon, output a one. Now you have a random bit > stream. Because of alignment and material imperfections, > the probability of 0 and 1 cannot be made precisely 1/2. > Computer scientists expend a tremendous effort trying to > design computational pseudorandom number generators. But > through quantum mechanics, you get it for free as a gift > from nature. > > Gene > > --- Mike Stay <staym(a)clear.net.nz> wrote: > > Greg Chaitin defined Omega_U as the halting probability > > for a self-delimiting Turing machine U. > > (Self-delimiting means that the domain of U is a > > prefix-free set; that is, no program is the prefix of > > another.) I noticed that Chaitin's theorem about the > > (un)computability of bits of Omega_U can be recast as an > > uncertainty principle. My professor and I have written > > a paper; a preprint is available at > > > http://www.cs.auckland.ac.nz/CDMTCS/researchreports/235cris.pdf > > > > I'd appreciate any comments. > > > > Thanks! > > > > > > -- > > Mike Stay > > staym(a)clear.net.nz > > http://www.cs.auckland.ac.nz/~msta039 -- Mike Stay staym(a)clear.net.nz http://www.cs.auckland.ac.nz/~msta039

2 1

[math-fun] Experimental math workshop
by David H Bailey 23 Feb '04

23 Feb '04

Here's the full announcement, with the tentative program. DHB Experimental Math Workshop Oakland, CA March 29-30, 2004 The University of California, Berkeley, and the Lawrence Berkeley Laboratory are pleased to host a workshop on experimental mathematics, to be held Mar. 29-30, in Oakland, California, USA. Logistics and a preliminary program are shown below. This workshop is designed to bring together a number of leading researchers and students in the emerging field of "experimental mathematics," namely the utilization of advanced computer technology as an active tool for mathematical research. Topics to be covered include computational number theory, symbolic computing tools, high-precision arithmetic techniques, integer relation algorithms, numerical discovery of new mathematical identities, applications of experimental mathematics in physics and other disciplines, experimental mathematics and art, computational techniques for formal proof, parallel computing for experimental mathematics, and others. Organizers: David H. Bailey, Lawrence Berkeley Laboratory, Berkeley, California, USA, dhbailey(a)lbl.gov, 510-495-2773. Jonathan M. Borwein, Dalhousie University, Halifax, Nova Scotia, Canada. Borwein and Bailey are co-authors of the new books "Mathematics by Experiment: Plausible Reasoning in the 21st Century" and "Experimentation in Mathematics: Computational Paths to Discovery." If you wish to attend or participate, please contact Bailey. Logistics: The workshop will be held at the Oakland Marriott City Center Hotel, 1001 Broadway, Oakland, California, USA. The hotel's website is at: http://marriott.com/property/propertyPage.mi?marshaCode=OAKDT A block of sleeping rooms at the group rate of $105 + tax per night, single or double occupancy, has been negotiated with the Marriott Oakland City Center for this meeting. The block starts on Sunday, March 28, ending on Tuesday, March 30. To make a reservation, please call Marriott Reservations at 1-800-991-7249 between 6:00 am and 11:00 pm (PST). Request the "Experimental Math" block in order to receive the group rate. ***Reservations must be made no later than March 7, 2004 to obtain this rate.*** Hotel room rates are subject to applicable state and local taxes (currently 11%) in effect at time of check in. Cancellations must be made at least 72 hours prior to the scheduled date of arrival, or one night's room and tax will be applied to the credit card on file. The hotel is accessible from either the Oakland International Airport (most convenient) or the San Francisco International Airport. From the Oakland airport, you can take a taxi (approx $30), or the Bay Area Rapid Transit train ($3.25). From the San Francisco airport, take an airport shuttle van (fare about $40). Preliminary Program: Monday Mar. 29: 9:00am David H. Bailey, LBNL Welcome 9:15am Jonathan M. Borwein, Dalhousie University "Mathematics by Experiment: Plausible Reasoning in the 21st Century" 10:30am Break 10:45am Richard E. Crandall, Center for Advanced Computation, Reed College "Experimental Mathematics and Bioterror" 11:30am Victor H. Moll, Tulane University "Closed Form Evaluation of Definite Integrals" 12:15pm Lunch (provided) 1:15pm Helaman Ferguson, CCS "Mathematical Sculpture and PSLQ" 2:00pm Sherry Li "A Comparison of Three High-Precision Quadrature Schemes" 2:45pm Break 3:00pm Sinai Robins, Temple University "Sifting Arithmetic Progressions from Taylor Series Coefficients" 3:45pm Open 4:30pm Adjourn for the day 6:00pm Dinner (optional - not provided) Tuesday Mar. 30: 9:00am David H. Bailey, LBNL "Experimental Mathematics and the Normality of Pi" 10:15am Break 10:30am Panel/Group Discussion "What Tools Are Needed for Experimental Mathematics" 11:30am Panel/Group Discussion "What Areas Are Most Fertile for Future Experimental Breakthroughs?" 12:15pm Lunch (provided) 1:15pm Rob Scharein, Simon Fraser University "Knot Plot" 2:00pm Ruchira Datta, U.C. Davis/LBNL "The Experimental Mathematician's Toolkit" 2:45pm Break 3:00pm Andrew de Laix, Wolfram Research, Inc. "Numerical Experiments Using Mathematica" 3:45pm Thayne Plambeck Pretending in Misere Combinatorial Games 4:30pm Adjourn

1 0

[math-fun] Experimental math workshop
by David H Bailey 22 Feb '04

22 Feb '04

Experimental Math Workshop Oakland, CA March 29-30, 2004 The University of California, Berkeley, and the Lawrence Berkeley Laboratory are pleased to host a workshop on experimental mathematics, to be held Mar. 29-30, in Oakland, California, USA. Logistics and a preliminary program are available from Bailey (see below). This workshop is designed to bring together a number of leading researchers and students in the emerging field of "experimental mathematics," namely the utilization of advanced computer technology as an active tool for mathematical research. Topics to be covered include computational number theory, symbolic computing tools, high-precision arithmetic techniques, integer relation algorithms, numerical discovery of new mathematical identities, applications of experimental mathematics in physics and other disciplines, experimental mathematics and art, computational techniques for formal proof, parallel computing for experimental mathematics, and others. Organizers: David H. Bailey, Lawrence Berkeley Laboratory, Berkeley, California, USA, dhbailey(a)lbl.gov, 510-495-2773. Jonathan M. Borwein, Dalhousie University, Halifax, Nova Scotia, Canada. Borwein and Bailey are co-authors of the new books "Mathematics by Experiment: Plausible Reasoning in the 21st Century" and "Experimentation in Mathematics: Computational Paths to Discovery." If you wish to attend or participate, please contact Bailey.

1 0

[math-fun] Permutations
by Jon Perry 20 Feb '04

20 Feb '04

Sum of zero moments of partitions gives A055303 { for (i=1,8, c=0; for (j=1,i!, x=numtoperm(i,j); c+=sum(k=1,i,(k-1)*x[k])); print1(","c)) } Why does sum of second moments = sum of first moments of permutations of 2,3,..n? { for (i=1,8, c=0; for (j=1,i!, x=numtoperm(i,j); c+=sum(k=1,i,(k+1)*x[k])); print1(","c)) } { for (i=1,8, c=0; for (j=1,i!, x=numtoperm(i,j); c+=sum(k=1,i,k*(x[k]+1))); print1(","c)) } Jon Perry perry(a)globalnet.co.uk http://www.users.globalnet.co.uk/~perry/maths/ http://www.users.globalnet.co.uk/~perry/DIVMenu/ BrainBench MVP for HTML and JavaScript http://www.brainbench.com

1 0

[math-fun] Five-field Kono...
by Guy Haworth 19 Feb '04

19 Feb '04

Marc Bourzutschky reports that: "Even counting stalemates as wins, Five Field Kono is rather drawish. More than 95% of the possible positions are draws, and the longest winning sequence is only 12 moves. The a-e symmetry can be applied to both the "even" and "odd" boards separately, reducing the number of combinations by a factor of four. I wrote a simple program with two bitvectors for win/loss/draw only, without taking into account the a-e symmetry. Even with more than 1 billion positions this only took a few minutes on a 2Ghz machine." Guy

1 0

[math-fun] Conway's 5^3 blockpacking puzzle
by R. William Gosper 18 Feb '04

18 Feb '04

still works with the 2^3 replaced by a (fourteenth) 1x2x4. Which version is harder? --rwg

1 0

[math-fun] another limit question
by Jon Perry 17 Feb '04

17 Feb '04

Everyone knows that the n-th triangular number squared is the sum of the first n cubes, but do you know that the n-th triangular number cubed divided by the sum of the first n fifth powers tends to 0.75? And also t(n)^4/sum of seventh powers tends to 0.5. And t(n)^5/sum of ninth powers tends to 5/16... t^6/sum_11 tends to 3/16, the next are 7/64 and 1/16, what is the general limit for t^k/sum_{2k-1}? Jon Perry perry(a)globalnet.co.uk http://www.users.globalnet.co.uk/~perry/maths/ http://www.users.globalnet.co.uk/~perry/DIVMenu/ BrainBench MVP for HTML and JavaScript http://www.brainbench.com

2 1

[math-fun] P'r'aps not fun, but curious
by Richard Guy 14 Feb '04

14 Feb '04

In CMP 2003 #17 Dec19 2003 under 11D I find a paper by Liss, G'eza. First query: the accent is an apostrophe between the G and the e and surmounted by ' (acute accent). My Hungarian colleague isn't in this morning, so I can't get any further explanation. But the amazing thing is: when I search MathSciNet with Liss I get 3 hits: a William J. Liss, an Elizabeth D. Liss and the following, which agrees with the CMP entry in all but the K. MR1995985 Kiss, G. On the extremal Frobenius problem in a new aspect. Ann. Univ. Sci. Budapest. EÃ¶tvÃ¶s Sect. Math. 45 (2002), 139--142 (2003). 11D04 (11B13 11D85) References: 0 Reference Citations: 0 Review Citations: 0 {A review for this item is in process.} What's going on? Incidentally, the family name of my beautiful and talented neurosurgeon is Kiss. R.

2 2