Knot at Lunch on July 30 2008 - Revision history

Drorbn: /* Some Content */

2008-07-30T20:33:23Z

Some Content

← Older revision		Revision as of 16:33, 30 July 2008
Line 37:		Line 37:
	==Some Content==		==Some Content==

	Some content is at {{BBS Link\|Archibald-080730-144620.jpg}}.		Some content is at this {{MathBlog Link\|2008-07/Archibald-080730.png\|handout}}, this {{MathBlog Link\|2008-07/AlexTangles.nb\|definitions notebook}}, this {{MathBlog Link\|2008-07/AlexRelations.nb\|examples notebook}} and at {{BBS Link\|Archibald-080730-144620.jpg}}.

Drorbn at 20:00, 30 July 2008

2008-07-30T20:00:38Z

← Older revision		Revision as of 16:00, 30 July 2008
Line 34:		Line 34:

	{{Dror}}.		{{Dror}}.

			==Some Content==

			Some content is at {{BBS Link\|Archibald-080730-144620.jpg}}.

Drorbn at 18:54, 7 July 2008

2008-07-07T18:54:46Z

← Older revision		Revision as of 14:54, 7 July 2008
Line 5:		Line 5:
	Dear Knot at Lunch People,		Dear Knot at Lunch People,

	* Note the unusual time and content! Please let me know if you are planning to come (no need to respond otherwise).		'''Note the unusual time, place and content!''' Please let me know if you are planning to come (no need to respond otherwise).

	On Wednesday July 30 2008 Jana Archibald and I will hold an "Alexander Relations Marathon", replacing our regular knot at lunch meeting.		On Wednesday July 30 2008 Jana Archibald and I will hold an "Alexander Relations Marathon", replacing our regular knot at lunch meeting.

	There are many relations satisfied by the Alexander polynomial and its weight system; around 20 of them are on one blackboard, available for everybody's ~~joy~~ at {{BBS Link\|Archibald-080610-142712.jpg}}. Some are well known, some are known but less well, some are known only to us (Jana and I), and some are not yet proven. Each one seems to have a different proof, and these proofs appear in many separate references.		There are many relations satisfied by the Alexander polynomial and its weight system; around 20 of them are on one blackboard, available for everybody's delight at {{BBS Link\|Archibald-080610-142712.jpg}}. Some are well known, some are known but less well, some are known only to us (Jana and I), and some are not yet proven. Each one seems to have a different proof, and these proofs appear in many separate references.

	Jana and I think we have a technique for proving all these identities cleanly and uniformly. The idea is to interpret all of them as certain computations that are carried out within certain exterior algebras: the exterior algebras and the descriptions of the computations fall under "conceptual mathematics"; the computations themselves are, well, just dull and brainless computations, that may well be delegated to a machine. So our hope is to write clean and elegant programs that clearly reflect the mathematics to carry out those computations, thus providing uniform verifications to all those relations.		Jana and I think we have a technique for proving all these identities cleanly and uniformly. The idea is to interpret all of them as certain computations that are carried out within certain exterior algebras: the exterior algebras and the descriptions of the computations fall under "conceptual mathematics"; the computations themselves are, well, just dull and brainless computations, that may well be delegated to a machine. So our hope is to write clean and elegant programs that clearly reflect the mathematics to carry out those computations, thus providing uniform verifications of all those relations.

	As always, it is hard to plan math in advance; our "conceptual story" may collapse, or everything may be completed by Jana before we even start on July 30. Yet a realistic expectation and plan would be:		As always, it is hard to plan math in advance; our "conceptual story" may collapse, or everything may be completed by Jana before we even start on July 30. Yet a realistic expectation and plan would be:

Drorbn at 20:50, 2 July 2008

2008-07-02T20:50:37Z

← Older revision		Revision as of 16:50, 2 July 2008
Line 25:		Line 25:
	We will meet at 9AM (July 30) either in small boardroom (Bahen 6290B) or in my house, depending on the number of people planning to come (so please let me know!!) and the availability of alternate company for my son, whose mother and brother will be out of town that week. The location will be emailed to those planning on coming around July 29.		We will meet at 9AM (July 30) either in small boardroom (Bahen 6290B) or in my house, depending on the number of people planning to come (so please let me know!!) and the availability of alternate company for my son, whose mother and brother will be out of town that week. The location will be emailed to those planning on coming around July 29.

	Note that we will '''not'' have Knot at Lunch meetings on July 9, 16 and 23.		Note that we will '''not''' have Knot at Lunch meetings on July 9, 16 and 23.

	Further information about this Knot at Lunch meeting may be posted later at <span class="plainlinks">{{SERVER}}/drorbn/index.php?title={{PAGENAMEE}}</span>.		Further information about this Knot at Lunch meeting may be posted later at <span class="plainlinks">{{SERVER}}/drorbn/index.php?title={{PAGENAMEE}}</span>.

Drorbn at 20:50, 2 July 2008

2008-07-02T20:50:24Z

← Older revision		Revision as of 16:50, 2 July 2008
Line 24:		Line 24:

	We will meet at 9AM (July 30) either in small boardroom (Bahen 6290B) or in my house, depending on the number of people planning to come (so please let me know!!) and the availability of alternate company for my son, whose mother and brother will be out of town that week. The location will be emailed to those planning on coming around July 29.		We will meet at 9AM (July 30) either in small boardroom (Bahen 6290B) or in my house, depending on the number of people planning to come (so please let me know!!) and the availability of alternate company for my son, whose mother and brother will be out of town that week. The location will be emailed to those planning on coming around July 29.

			Note that we will '''not'' have Knot at Lunch meetings on July 9, 16 and 23.

	Further information about this Knot at Lunch meeting may be posted later at <span class="plainlinks">{{SERVER}}/drorbn/index.php?title={{PAGENAMEE}}</span>.		Further information about this Knot at Lunch meeting may be posted later at <span class="plainlinks">{{SERVER}}/drorbn/index.php?title={{PAGENAMEE}}</span>.

Drorbn at 20:48, 2 July 2008

2008-07-02T20:48:37Z

← Older revision		Revision as of 16:48, 2 July 2008
Line 5:		Line 5:
	Dear Knot at Lunch People,		Dear Knot at Lunch People,

	* Note the unusual time and content!		* Note the unusual time and content! Please let me know if you are planning to come (no need to respond otherwise).

	On Wednesday July 30 2008 Jana Archibald and I will hold an "Alexander Relations Marathon", replacing our regular knot at lunch meeting.		On Wednesday July 30 2008 Jana Archibald and I will hold an "Alexander Relations Marathon", replacing our regular knot at lunch meeting.

	There are many relations satisfied by the Alexander polynomial and its weight system; around 20 of them are on one blackboard, available for everybody's joy at ~~http://katlas.math.toronto.edu/drorbn/bbs/show?shot=~~Archibald-080610-142712.jpg.		There are many relations satisfied by the Alexander polynomial and its weight system; around 20 of them are on one blackboard, available for everybody's joy at {{BBS Link\|Archibald-080610-142712.jpg}}. Some are well known, some are known but less well, some are known only to us (Jana and I), and some are not yet proven. Each one seems to have a different proof, and these proofs appear in many separate references.

			Jana and I think we have a technique for proving all these identities cleanly and uniformly. The idea is to interpret all of them as certain computations that are carried out within certain exterior algebras: the exterior algebras and the descriptions of the computations fall under "conceptual mathematics"; the computations themselves are, well, just dull and brainless computations, that may well be delegated to a machine. So our hope is to write clean and elegant programs that clearly reflect the mathematics to carry out those computations, thus providing uniform verifications to all those relations.

			As always, it is hard to plan math in advance; our "conceptual story" may collapse, or everything may be completed by Jana before we even start on July 30. Yet a realistic expectation and plan would be:

			# Before July 30 Jana will already have a running program that does everything, perhaps with the exception of "clearly reflecting the mathematics". Thus we will be confident that the theory is right.
			# Jana will start the marathon by briefly explaining the math (along with a nice handout?). She will also provide us with printouts of her program and the output of running it on all or most of the relations in {{BBS Link\|Archibald-080610-142712.jpg}}.
			# Strengthened by the confidence that the theory works, Jana and I will do our best to rewrite the program from scratch with two goals in mind:
			#* Our end result should clearly reflect the mathematics.
			#* Dror should also get the confidence one gets from explicitly applying a theory.

			As with our [[Knot at Lunch on June 16-22\|previous marathon]], the main beneficiaries will be the main participants - this time, Jana and Dror. But all are welcome to join, and all may have something to contribute.

			We will meet at 9AM (July 30) either in small boardroom (Bahen 6290B) or in my house, depending on the number of people planning to come (so please let me know!!) and the availability of alternate company for my son, whose mother and brother will be out of town that week. The location will be emailed to those planning on coming around July 29.

	Further information about this Knot at Lunch meeting may be posted later at <span class="plainlinks">{{SERVER}}/drorbn/index.php?title={{PAGENAMEE}}</span>.		Further information about this Knot at Lunch meeting may be posted later at <span class="plainlinks">{{SERVER}}/drorbn/index.php?title={{PAGENAMEE}}</span>.

Drorbn at 20:11, 2 July 2008

2008-07-02T20:11:34Z

New page

{{KAL/Navigation}}

==Invitation==

Dear Knot at Lunch People,

* Note the unusual time and content!

On Wednesday July 30 2008 Jana Archibald and I will hold an "Alexander Relations Marathon", replacing our regular knot at lunch meeting.

There are many relations satisfied by the Alexander polynomial and its weight system; around 20 of them are on one blackboard, available for everybody's joy at http://katlas.math.toronto.edu/drorbn/bbs/show?shot=Archibald-080610-142712.jpg.

Further information about this Knot at Lunch meeting may be posted later at <span class="plainlinks">{{SERVER}}/drorbn/index.php?title={{PAGENAMEE}}</span>.

As always, if you know anyone I should add to this mailing list or if you wish to be removed from this mailing list please let me know. To prevent junk accumulation in mailboxes, I will actively remove inactive people unless they request otherwise.

Best,

{{Dror}}.