Where have you used computer programming in your career as an (applied/pure) mathematician? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T01:12:15Z http://mathoverflow.net/feeds/question/23982 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/23982/where-have-you-used-computer-programming-in-your-career-as-an-applied-pure-math Where have you used computer programming in your career as an (applied/pure) mathematician? Michael Hoffman 2010-05-09T03:06:25Z 2010-09-05T22:03:05Z <p>For background: I'm working on a book to help mathematicians learn how to program. However, I need to see some examples from people in the field that have done different kinds of things than I have.</p> <p>Where have you used programming in your career as a mathematician? (If you haven't feel free to say so, though it isn't very helpful)</p> <p>I've currently used programming in several math-y settings. Computational Biology, Image Processing (Fourier Transforms and other things like that), writing scripts that comply to a certain data restriction or to a library. I've looked at some computational algebraic geometry, but not much as of yet, and I'd use SAGE or sympy if I needed that.</p> http://mathoverflow.net/questions/23982/where-have-you-used-computer-programming-in-your-career-as-an-applied-pure-math/23983#23983 Answer by Andy Putman for Where have you used computer programming in your career as an (applied/pure) mathematician? Andy Putman 2010-05-09T03:31:46Z 2010-05-09T03:31:46Z <p>I've used computers to do some group theory calculations. I was too lazy to figure out how to do them in GAP, so I wrote the programs I needed in C++. One particular paper that I used them in is my paper "The Picard Group of the Moduli Space of Curves with Level Structures". The paper and code are available on my webpage at <a href="http://www-math.mit.edu/~andyp/papers/PicardGroupLevel.html" rel="nofollow">http://www-math.mit.edu/~andyp/papers/PicardGroupLevel.html</a></p> <p>In that paper, I needed to know some twisted group cohomology groups. The groups depended on a parameter $g$, but I could prove that they were independent of the parameter once $g$ was large, so I was able to reduce myself to computing a finite number of cases on a computer.</p> http://mathoverflow.net/questions/23982/where-have-you-used-computer-programming-in-your-career-as-an-applied-pure-math/23987#23987 Answer by Steve Huntsman for Where have you used computer programming in your career as an (applied/pure) mathematician? Steve Huntsman 2010-05-09T04:17:46Z 2010-05-09T04:17:46Z <p>I've used programming in MATLAB for countless things. Some highlights:</p> <ul> <li>bioinformatics: besides testing published algorithms, I also developed algorithms for producing surrogate *NAs with completely specified short-range subsequences and biologically plausible codon structure, for molecular phylogeny, and a toy model of *NAs with specified nearest-neighbor thermodynamical properties. In related work I used a numerical calculation to rule out a class of hypotheses about the binding kinetics of oligomers;</li> <li>networks: modeling queueing networks and prototyping network monitoring data structures, visualizations and algorithms involving generalized statistical physics and continuous-time martingales and change detection techniques, as well as post-processing outputs from multiple prototype network monitoring systems. Besides prototyping, I've also used MATLAB for QA purposes in my company;</li> <li>I outlined some combinatorial calculations about necklaces in MATLAB and C for porting to a reconfigurable computer;</li> <li>I elucidated the structure of the Lie algebra of the stochastic group, particularly completely explicit Levi decompositions (this is no trivial feat in a numerical language)--someday I'll clean this up and put it on the arXiv;</li> <li>I produced periodic lattices with permutohedral boundary conditions (used so far to validate a 2D lattice Boltzmann model by approximating the initial decay of a Taylor-Green vortex);</li> <li>I enumerated the minimal periodic colorings of the root lattice $A_N$ for $N$ small by means of permutation matrices;</li> <li>I've analyzed detailed behavior of Anosov systems (e.g., the cat map and a map topologically conjugate to the cross section of the geodesic flow on a surface of negative curvature).</li> </ul> <p>I'm sure I could think of other stuff that has been especially useful to my work. I use MATLAB more days than not. </p> http://mathoverflow.net/questions/23982/where-have-you-used-computer-programming-in-your-career-as-an-applied-pure-math/23988#23988 Answer by Scott Morrison for Where have you used computer programming in your career as an (applied/pure) mathematician? Scott Morrison 2010-05-09T04:22:17Z 2010-05-09T04:22:17Z <p>Look at any of my published papers! :-)</p> <p>I've</p> <ol> <li>Solved huge systems of quadratics in order to <a href="http://sbseminar.wordpress.com/2009/03/25/extended-haagerup-exists/" rel="nofollow">construct exotic subfactors</a>.</li> <li>Calculated R-matrices for representations of various quantum groups, in order to systematically <a href="http://sbseminar.wordpress.com/2010/03/01/knot-polynomial-identities-and-quantum-group-coincidences-february/" rel="nofollow">identify coincidences</a> amongst small modular tensor categories.</li> <li>Implemented a parallelisable, caching algorithm for computing Khovanov homology, in an attempt to <a href="http://sbseminar.wordpress.com/2009/06/29/man-and-machine-thinking-about-spc4/" rel="nofollow">disprove the smooth 4-d Poincare conjecture</a>.</li> <li>Enumerated bipartite graphs satisfying certain combinatorial conditions, filtered by largest eigenvalue, in order to classify subfactors up to index 5 (<a href="http://tqft.net/ncgoa2010" rel="nofollow">slides</a>).</li> <li>Looked for small real cyclotomic integers which are larger than all their conjugates, in order to verify the many cases of <a href="http://sbseminar.wordpress.com/2010/04/15/cyclotomic-integers-fusion-categories-and-subfactors-march/" rel="nofollow">a theorem identifying those smaller than 76/33</a>.</li> <li><a href="http://arxiv.org/abs/0704.1503" rel="nofollow">Proved identities involving q-binomial coefficients</a> using the methods of A=B.</li> </ol> <p>and then a whole lot of stuff that hasn't yet, or won't ever, make it into print.</p> http://mathoverflow.net/questions/23982/where-have-you-used-computer-programming-in-your-career-as-an-applied-pure-math/36876#36876 Answer by sleepless in beantown for Where have you used computer programming in your career as an (applied/pure) mathematician? sleepless in beantown 2010-08-27T11:48:21Z 2010-09-01T07:23:59Z <p>I've worked (and still continue to work) on K-nearest-neighbor analysis for image segmentation and multispectral and hyperspectral data classification, and worked on trying to improve the algorithms for speed and to require less interaction. I've also worked on writing C programs, which work much faster than interpreted Octave or Matlab code, for image analysis and texture analysis, and for image segmentation based on local feature analysis. This is all very different from the types of mathematics I used and learned in academia.</p> <p>I've also run simulations of some games I've played recreationally to answer some simple questions using backtracking algorithms, for example, a card game akin to playing tic-tac-toe on a 4-dimensional lattice which I used as an <a href="http://mathoverflow.net/questions/35600/what-are-your-favorite-puzzles-toys-for-introducing-new-mathematical-concepts-to/37050#37050" rel="nofollow">answer</a> to <a href="http://mathoverflow.net/questions/35600/what-are-your-favorite-puzzles-toys-for-introducing-new-mathematical-concepts-to/37050#37050" rel="nofollow">Favorite mathematical puzzles and toys</a>.</p> http://mathoverflow.net/questions/23982/where-have-you-used-computer-programming-in-your-career-as-an-applied-pure-math/36933#36933 Answer by lhf for Where have you used computer programming in your career as an (applied/pure) mathematician? lhf 2010-08-27T22:10:03Z 2010-08-27T22:10:03Z <p>I've used computers to prove a theorem about a complex dynamical system. See <a href="http://www.ams.org/mathscinet-getitem?mr=1836429" rel="nofollow">http://www.ams.org/mathscinet-getitem?mr=1836429</a>. So have others. See <a href="http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.4676" rel="nofollow">Proving Conjectures by Use of Interval Arithmetic</a>.</p> http://mathoverflow.net/questions/23982/where-have-you-used-computer-programming-in-your-career-as-an-applied-pure-math/36935#36935 Answer by Nate Eldredge for Where have you used computer programming in your career as an (applied/pure) mathematician? Nate Eldredge 2010-08-27T22:16:02Z 2010-08-27T22:16:02Z <p>I often write small programs in various languages (Perl, C, Maple, <a href="http://en.wikipedia.org/wiki/Hp50g#HP_50g" rel="nofollow">HP 50G</a>) to generate complicated pictures, perform tedious algebraic computations to test conjectures, or simulate random processes.</p> http://mathoverflow.net/questions/23982/where-have-you-used-computer-programming-in-your-career-as-an-applied-pure-math/37013#37013 Answer by Hiraku Nakajima for Where have you used computer programming in your career as an (applied/pure) mathematician? Hiraku Nakajima 2010-08-29T01:31:48Z 2010-08-29T01:31:48Z <p>I am a pure mathematician interested in representation theory.</p> <p>I computed $q$-characters of $\ell$-fundamental representations for the quantum affine $E_8$ by a SUPERCOMPUTER. See</p> <p><a href="http://arxiv.org/abs/math/0606637" rel="nofollow">http://arxiv.org/abs/math/0606637</a></p> <p>There is more famous project on $E_8$:</p> <p><a href="http://www.aimath.org/E8/" rel="nofollow">http://www.aimath.org/E8/</a></p> <p>I believe there are lots of other computation in the representation theory of exceptional groups, which require lots of memory. </p> <p>They are usually based on recursive algorithms, and one cannot use the parallel computing.</p> <p>When I computed $q$-characters, I could not find any guides explaining how to code a program for such a problem. I appreciate very much if an expert could give me any references.</p> http://mathoverflow.net/questions/23982/where-have-you-used-computer-programming-in-your-career-as-an-applied-pure-math/37367#37367 Answer by Josh Roberts for Where have you used computer programming in your career as an (applied/pure) mathematician? Josh Roberts 2010-09-01T11:27:11Z 2010-09-01T11:27:11Z <p>I wrote a series of algorithms to find bounds on the homology of finitely-presented groups and implemented them in GAP in <a href="http://www.intlpress.com/HHA/v12/n1/a3/" rel="nofollow">http://www.intlpress.com/HHA/v12/n1/a3/</a>. Graham Ellis has written the GAP package HAP, <a href="http://www.gap-system.org/Packages/hap.html" rel="nofollow">http://www.gap-system.org/Packages/hap.html</a>, which does some group (co)homology calculations.</p>