From df1d1038048c1db7e1f7c2436993c3017de2542a Mon Sep 17 00:00:00 2001 From: bnewbold Date: Fri, 16 Jan 2009 04:29:16 -0500 Subject: initial import of existing content --- .gitignore | 5 + edwin-cheatsheet.txt | 84 ++++++++++++++++ proposal/bnewbold_8thesis_proposal.lyx | 146 ++++++++++++++++++++++++++++ proposal/bnewbold_8thesis_proposal.pdf | Bin 0 -> 45946 bytes proposal/bnewbold_8thesis_proposal.skel.pdf | Bin 0 -> 42278 bytes references.html | 42 ++++++++ sage-scheme-notes.txt | 9 ++ sicm-fall08.html | 127 ++++++++++++++++++++++++ to_athena.sh | 3 + 9 files changed, 416 insertions(+) create mode 100644 .gitignore create mode 100644 edwin-cheatsheet.txt create mode 100644 proposal/bnewbold_8thesis_proposal.lyx create mode 100644 proposal/bnewbold_8thesis_proposal.pdf create mode 100644 proposal/bnewbold_8thesis_proposal.skel.pdf create mode 100644 references.html create mode 100644 sage-scheme-notes.txt create mode 100644 sicm-fall08.html create mode 100644 to_athena.sh diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..72ecbcb --- /dev/null +++ b/.gitignore @@ -0,0 +1,5 @@ +downloads +toread +sage +scheme_stuff +proposal/bnewbold_8thesis_proposal.skel.pdf diff --git a/edwin-cheatsheet.txt b/edwin-cheatsheet.txt new file mode 100644 index 0000000..68ffd2c --- /dev/null +++ b/edwin-cheatsheet.txt @@ -0,0 +1,84 @@ + +-*-mode: Text; tab-width: 4; -*- + + EDWIN CHEAT SHEET + (keep under your pillow) + + 6.090, IAP 2005 + +Reading Edwin key combinations: + C-x Ctrl+x + M-x Alt+x + C-x, y Ctrl+x, release both, y + C-M-x Ctrl+Alt+x + +Stuff You *Need* to Know: + Starting Edwin Start Menu > MIT Scheme > Edwin + Quitting Edwin C-x, C-c + Opening a file C-x, C-f + Closing a file (aka buffer) C-x, k + Evaluate current expression C-x, C-e + (expression ending just before + insertion point) + Evaluate entire buffer + (works only on Scheme files!) M-o + +The Edwin Window and Scheme: + When you start it, the Edwin window looks like a plain text + editor. It has a large blank area for entering text, one black + line at the bottom with some information displayed (the modeline), + and a blank white line below that (the minibuffer). + + The text area + is where the file you're viewing shows up. You can edit the + file here, with the usual keys (up, down, page up, left... you + get the idea). + + The modeline + displays the name of the current buffer (file), your position + in it, and the kind of file Edwin thinks it is (text, scheme + code etc.). + + The minibuffer + is where you interact with Edwin's commands. For example, when + you press C-x, C-f to open a file, you enter the filename in + the minibuffer. + + Edwin is more than just an editor, though. It also features a + Scheme evaluator, to which it can send your code. So when you + press C-x, C-e at the end of an expression, it gets evaluated by + this evaluator (more on evaluators and evaluation in class). + + Try out the key combinations below to see what they do. Don't try + to memorize them. Your finger muscles will learn them as time goes + on :-) + +Inessential Edwin: + Editing + Marking/selecting text Go to one end of the block, press + C-space, go to the other end. You won't + see any visual indication of the + selection. + Cut C-w + Copy M-w + Paste C-y + Cut from point to end of like C-k + + Multiple Windows and Buffers + Switch buffer C-x, b + Switch window C-x, o + Split window vertically C-x, 2 + Split window horizontally C-x, 3 + Delete current split C-x, 0 + Create new frame (window) C-x, 5, 2 + Delete current frame C-x, 5, 0 + +Interactive Scheme: + When you are in the buffer called *scheme*, everything you type goes + directly to the evaluator, and the results are displayed below your + expressions. When you make an error, the evaluator gives you a set of + choices to help you debug your code. Usually, it is best to type (restart 1) + at the next prompt to abort the current evaluation, so you can go back and + examine your code to see what went wrong. For more advanced debugging tools, + talk to an LA. + diff --git a/proposal/bnewbold_8thesis_proposal.lyx b/proposal/bnewbold_8thesis_proposal.lyx new file mode 100644 index 0000000..708b44d --- /dev/null +++ b/proposal/bnewbold_8thesis_proposal.lyx @@ -0,0 +1,146 @@ +#LyX 1.5.2 created this file. For more info see http://www.lyx.org/ +\lyxformat 276 +\begin_document +\begin_header +\textclass article +\language english +\inputencoding auto +\font_roman default +\font_sans default +\font_typewriter default +\font_default_family default +\font_sc false +\font_osf false +\font_sf_scale 100 +\font_tt_scale 100 +\graphics default +\paperfontsize default +\papersize default +\use_geometry false +\use_amsmath 1 +\use_esint 1 +\cite_engine basic +\use_bibtopic false +\paperorientation portrait +\secnumdepth 3 +\tocdepth 3 +\paragraph_separation indent +\defskip medskip +\quotes_language english +\papercolumns 1 +\papersides 1 +\paperpagestyle default +\tracking_changes false +\output_changes false +\author "" +\author "" +\end_header + +\begin_body + +\begin_layout Title +A Computational Elucidation of Curved Spacetime +\end_layout + +\begin_layout Date +\begin_inset Formula $\today$ +\end_inset + + +\end_layout + +\begin_layout Author +Bryan Newbold +\end_layout + +\begin_layout Quotation +Advisor: Prof. + Gerald J. + Sussman, EECS +\end_layout + +\begin_layout Standard +I propose to implement a geometric formulation of curved space time in a + functional computer programming language, and to explore the space of simulatio +ns and manipulations made possible by such a formulation. + A primary motivation is to state the foundations of General Relativity + in a non-ambiguous manner. + +\end_layout + +\begin_layout Standard +This work follows several attempts to formulate curved spacetime on computers + for the purpose of numerical calculations and algebraic manipulation. + Most of these packages are specially designed for the tasks of tensor analysis + and/or efficient numerical calculation, as is appropriate for use in calculatio +ns. + A crucial difference of this proposed work will be to carefully build up + the geometric and analytical tools in a general purpose functional programing + language (mit-scheme). + As a learning and reference tool, this will allow users to explore the + inner workings and structure of the system, which I believe is essential + to understanding the system as a whole. + +\end_layout + +\begin_layout Standard +The frame field representation will be used to emphasize the geometric propertie +s of curved space time, as opposed to the more traditional coordinate heavy + tensor analysis approach. +\end_layout + +\begin_layout Standard +The resulting work will include a full implementation with source code and + documentation, as well as example problems and qualitative comparisons + with existing packages and software systems. +\end_layout + +\begin_layout Bibliography +\begin_inset LatexCommand bibitem +key "key-1" + +\end_inset + +Functional Differential Geometry, G. + Sussman and J. + Wisdom (2005) +\end_layout + +\begin_layout Bibliography +\begin_inset LatexCommand bibitem +key "key-2" + +\end_inset + +Structure and Interpretation of Classical Mechanics, G. + Sussman and J. + Wisdom (2001) +\end_layout + +\begin_layout Bibliography +\begin_inset LatexCommand bibitem +key "key-1" + +\end_inset + +"Algebraic Computing in General Relativity", Ray d'Inverno (from General + Relativity, G. + Hall and J. + Pulham) +\end_layout + +\begin_layout Bibliography +\begin_inset LatexCommand bibitem +key "key-2" + +\end_inset + +"The Use of Algebraic Computing in General Relativity", H. + I. + Cohen, A. + Leringe and Y. + Sundblad +\end_layout + +\end_body +\end_document diff --git a/proposal/bnewbold_8thesis_proposal.pdf b/proposal/bnewbold_8thesis_proposal.pdf new file mode 100644 index 0000000..095e7ce Binary files /dev/null and b/proposal/bnewbold_8thesis_proposal.pdf differ diff --git a/proposal/bnewbold_8thesis_proposal.skel.pdf b/proposal/bnewbold_8thesis_proposal.skel.pdf new file mode 100644 index 0000000..b9d2632 Binary files /dev/null and b/proposal/bnewbold_8thesis_proposal.skel.pdf differ diff --git a/references.html b/references.html new file mode 100644 index 0000000..5481396 --- /dev/null +++ b/references.html @@ -0,0 +1,42 @@ + +bnewbold 8 thesis references + +

References

+Bryan Newbold, bnewbold@mit.edu
+ +http://web.mit.edu/bnewbold/thesis/references.html + +The SICM text book is free online; +so is the SICP book. +
+There is an unofficial SICM mailing list.
+
+Computational GR +
Try this google search? + + +Other (download) + + + + diff --git a/sage-scheme-notes.txt b/sage-scheme-notes.txt new file mode 100644 index 0000000..0b88a90 --- /dev/null +++ b/sage-scheme-notes.txt @@ -0,0 +1,9 @@ + +in sage-###/devel/sage/sage/interfaces/, copy template.py to mitscheme.py +edit all.py and add appropriate objects, strings + +then compile everything: +./sage -b + + + diff --git a/sicm-fall08.html b/sicm-fall08.html new file mode 100644 index 0000000..db6c70e --- /dev/null +++ b/sicm-fall08.html @@ -0,0 +1,127 @@ + +SICM Material Fall 2008 + +

Functional Relativity, Symbolic Geometry, et al

+Bryan Newbold, bnewbold@mit.edu
+ +http://web.mit.edu/bnewbold/Public/sicm-fall08.html + +

Informal Background

+For the fall of 2008 I'm very interested in investigating gravitation and +other physical theories using functional programming techniques. I find that +formalizing physical systems into a computer model is the best way to solidify +my understanding of the system; using functional languages and techniques +makes the conceptual wall between mathematical abstraction and programming +implementation much lower; the result is a more reusable and general model +well suited for experimentation and exploration. +

+I am planning on getting my undergraduate physics degree in spring 2009, for +which I will need a thesis. I am hoping to develop skills and tools this fall +with which to accomplish Real Live Science over IAP and in the early spring. +

+The stimulus for this course of study was the class +Classical +Mechanics: A Computational Approach taught by G. Sussman and J. Wisdom +at MIT. I had trouble with the later sections +of the book/course and am hoping that now with an eta of math under my belt I +can chip away at it. + +

Potential Fall Projects

+ +Integration of mit-scheme and scmutils into Sage +(yes) +
The Sage math system is an open-source +alternative to Mathematica, Maple, etc. It provides an easy to learn html +notebook interface (as well as command line) and is bundled with a plethora +of high performance libraries (like PARI, GMP, MAXIMA, SINGULAR, see this +list).
+A number of other packages (including common lisp) already have interfaces +based around a fake TTY device; this should be easy with mit-scheme. Or a more +complete object-style interface could be implemented. There is documentation +for writing interfaces +here and here +
+There is a public demo server at sagenb.org, +but it's usually slow. Try this +server instead (user: +ableseaman, password: bottlerum, if you don't want to fill out the form). +Sage has been used in math classes at MIT already; Tim Abbot is working +on "debianizing" the whole system, after which it should be on Athena. +

+ +Exploration of "higher order dynamics" +(possible) +
+I'd like to play with systems involving "higher order dynamics", aka {jerk, +yank, snap, crackle, pop}. These dynamics have become interesting to cosmologists? +
See arxiv one, two, other chaotic pdf. +

+ +General Relativity Simulations: compact bodies, inspirals, precession +(possible) +
Should talk with Lee Finn +@penn, pranesh@mit? Go to +mki journal club. +

+ +Modified Newtonian Dynamics +(possible) +
MOND +was originally proposed to explain the galactic rotation curve +problem; it has been extended as a relativistic field theory as +TeVeS +(Tensor-vector-scalar gravity, described in 2004). +
+I think it would be interesting to implement and play with MOND or other +alternative gravitational theories in a symbolic computation framework. +Assumptions could be checked quickly and easily (eg, behaves like X in the +short distance limit, behaves like Y in the high stress-energy limit). +The process of formalization could also be a good test; if the theory can't +be coded, is it a valid theory? Would also demonstrate that programming tools +are general and can be used to explore non-physical theories. +
See also Henon-Heiles. +

+ +Action Minimization Problems +(possible) +
+Minimization of action over path integrals is a classic hammer in the physics +toolbox (everything looks like an oscillating nail). It might be fun to +play with some old classics like optics or Ohm-ic resistance. +

+ +Basic Quantum Mechanics +(unlikely) +
Methods with Wilkson-Sommerfeld quantization? I don't know enough +QM to go beyond simple, introductory quantum systems, but might be interesting. +

+ +Quantum Computation +(unlikely) +
There is already extensive work done here; see +http://tph.tuwien.ac.at/~oemer/qcl.html

+ + +

Resources

+The SICM text book is free online; +so is the SICP book. +
+There is an unofficial SICM mailing list.
+
+Papers to read? (download) + + + + diff --git a/to_athena.sh b/to_athena.sh new file mode 100644 index 0000000..d3bf910 --- /dev/null +++ b/to_athena.sh @@ -0,0 +1,3 @@ +#!/bin/sh + +scp -r journal bnewbold@linux.mit.edu:thesis/ -- cgit v1.2.3