Differences between revisions 2 and 54 (spanning 52 versions)
Revision 2 as of 2015-05-27 19:44:35
Size: 4900
Editor: stumpc5
Comment: not yet complete version
Revision 54 as of 2015-06-05 21:48:14
Size: 10743
Editor: stumpc5
Comment:
Deletions are marked like this. Additions are marked like this.
Line 3: Line 3:
The official webpage of the meeting is at the [[http://www.ima.umn.edu/2013-2014/SW6.1-5.15|IMA website]]. If you want to know who was physically participating, check out our [[attachment:GroupPhoto.jpg|group photo|&do=get]]. Here are two more pictures of the [[attachment:GroupPhoto2.jpg|group|&do=get]] and of [[attachment:SalvatoreDylan.jpg|Salvatore and Dylan|&do=get]]. Finally, we had a little walk with another two pictures with some of us, [[attachment:GroupPhoto3.jpg|partial group photo|&do=get]], [[attachment:GroupPhoto4.jpg|partial group photo|&do=get]].
Line 17: Line 17:
All talks and coffee breaks will be in [[http://campusmap.ucdavis.edu/|Mathematical Sciences Building (MSB)]] 1147.
Coding sprints will take place in MSB 1147, MSB 3240, MSB 3236, MSB 3106 (after 3pm on Wednesday).


|||||| Tuesday 3/17 ||
|| 9:30 AM |||| Coffee break ||
|| 10 - 11 AM || Nicolas Thiéry || Introduction to Sage Development I ||
|| 11 - 12 AM || Franco Saliola || Introduction to Sage Development II ||
|| 12 - 12:30 PM |||| Introductions and discussions of projects ||
|| 12:30 - 1:30 PM |||| Lunch ||
|| 3:30 PM |||| Coffee break ||
|||||| Wednesday 3/18 ||
|| 9:30 AM |||| Coffee break ||
|| 10 - 11 AM || Vivien Ripoll & Jean-Philippe Labbé || Computing and displaying infinite root systems ||
|| 11 - 12 AM || Mark Shimozono || Implementation of double affine Hecke algebra in Sage ||
|| 12 - 1:30 PM |||| Lunch ||
|| 1:30-2:15pm|| Eric Gourgoulhon || Introduction to !SageManifolds ([[http://sagemanifolds.obspm.fr/doc/sagemanifolds-days64.pdf|slides]], [[http://sagemanifolds.obspm.fr/examples/html/SM_sphere_S2_days64.html|example worksheet]]) ||
|| 3:30 PM |||| Coffee break ||
|||||| Thursday 3/19 ||
|| 9:30 AM |||| Coffee break ||
|| 10 - 11 AM || Nathan Williams || Sage Days $dim(V_{\rho}(A_3))$ ||
|| 11 - 12pm || Nicolas Thiéry || Writing a parent and a category in Sage: [[attachment:WritingAParentAndACategoryDemo.ipynb|Jupyter notebook]] [[attachment:WritingAParentAndACategoryDemo.pdf|pdf]] ||
|| 12 - 1 PM |||| Lunch ||
|| 3:30 PM |||| Coffee break ||
|||||| Friday 3/20 ||
|| 9:30 AM |||| Coffee break ||
|| 10 AM || Everyone || [[http://en.wikipedia.org/wiki/Show_and_tell_(education)|Visualization Show & Tell]] ||
|| || || [[http://wiki.sagemath.org/combinat/CoolPictures|Cool Pictures in combinatorics]] (add more!)||
|| || || [[http://sagemanifolds.obspm.fr/gallery.html|Cool Pictures produced with SageManifolds]]||
|| 12 - 1 PM |||| Lunch ||
|| 3:30 PM |||| Coffee break ||

All other time will be devoted to coding sprints.

== Projects ==

 *

== Speakers ==

 *

== Participants ==

  * Darlayne Addabbo, University of Illinois at Urbana-Champaign
  * Eric Bucher, Louisiana State University
  * Xueqing Chen, University of Wisconsin
  * Man Wai Cheung, University of California, San Diego
  * Aram Dermenjian, École Polytechnique
  * Salomon Dominguez de la Cruz, National Autonomous University of Mexico (UNAM)
  * Christopher Fraser, University of Michigan
  * Ana Garcia Elsener, National University of La Plata
  * Florian Gellert, Universität Bielefeld
  * Jan Geuenich, Rheinische Friedrich-Wilhelms-Universität Bonn
  * Emily Gunawan, University of Minnesota
  * Simon King, Friedrich-Schiller-Universität
  * Tri Lai, University of Minnesota
  * Jesse Levitt, Louisiana State University
  * Jacob Matherne, Louisiana State University
  * Matt Mills, Wayne State University
  * Greg Muller, University of Michigan
  * Gregg Musiker, University of Minnesota
  * Vincent Pilaud, École Polytechnique
  * Viviane PonsUniversité de Paris XI (Paris-Sud)
  * Nathan Reading, North Carolina State University
  * Dylan Rupel, Northeastern University
  * Stella Salvatore, Università di Roma "La Sapienza"
  * David Speyer, University of Michigan
  * Christian Stump, Freie Universität Berlin
  * Kurt Trampel, Louisiana State University
  * Panupong Vichitkunakorn, University of Illinois at Urbana-Champaign
  * Harold Williams, University of Texas, Austin
  * Nathan Williams, University of Quebec

== Organizers ==

  * MUSIKER, Gregg (University of Minnesota)
  * RUPEL, Dylan (Northeastern University)
  * STELLA, Salvatore (Università di Roma "La Sapienza")
  * STUMP, Christian (Freie Universitat Berlin)
All talks will be held in Lind 305, and all coffee breaks in Lind Hall 400.

|| || || '''Monday June 01, 2015''' ||
|| 08:30am - 09:00am || || Registration and Coffee ||
|| 09:00am - 09:15am || || Welcome ||
|| 09:15am - 10:00am || Gregg Musiker || Tutorial: Sage Introduction and Installation Assistance ([[attachment:IMA-Demo.sagews|cloud|&do=get]], [[attachment:IMA Demo (Notebook)|notebook|&do=get]])||
|| 10:00am - 11:00am || Dylan Rupel || Tutorial: Current State of the Cluster Package ([[attachment:DylanWorksheet|notebook|&do=get]]) ||
|| 11:00am - 11:30am || || Break ||
|| 11:30am - 12:30pm || Harold Williams || Cluster Algebras IV: Cluster Algebras from C to G ||
|| 12:30pm - 02:30pm || || Lunch ||
|| 02:30pm - 03:30pm || Greg Muller || Finite Order Approximations of Scattering Diagrams ([[attachment:SageDaysSD.pdf|slides|&do=get]],[[attachment:SDNotes(rough).pdf|notes|&do=get]],[[https://github.com/morilac/SageDaysSD|github]]) ||
|| 03:30pm - 04:00pm || || Break ||
|| 04:00pm - 04:45pm || || Discussion: Introductions and Functionality Wish Lists ||
|| 04:45pm - 05:45pm || || Group Meetings/Coding Sprints start ||
|| 06:00pm - 08:30pm || || Social Hour at Stub and Herbs ||
|| || || '''Tuesday June 02, 2015''' ||
|| 08:30am - 09:00am || || Coffee ||
|| 09:00am - 10:00am || Stella Salvatore || Tutorial: Contributing to Sage ([[https://www.dropbox.com/s/r5zbera6lwu1p8s/talk.txt?dl=0|slides]])||
|| 10:00am - 11:00am || || Coding Sprints ||
|| 11:00am - 11:10am || || Group Photo ||
|| 11:10am - 11:30am || || Break ||
|| 11:30am - 12:30pm || David Speyer || Combinatorics of Cluster Structures on the Grassmannian ([[attachment:SpeyerSlides.pdf|slides|&do=get]]) ||
|| 12:30pm - 02:30pm || || Lunch ||
|| 02:30pm - 03:30pm || Simon King || An F5 Algorithm for Modules Over Path Algebra Quotients and the Computation of Loewy Layers ([[attachment:F5Loewy.pdf|slides|&do=get]], [[http://trac.sagemath.org/sage_trac/ticket/17435|#17435]])||
|| 03:30pm - 04:00pm || || Break ||
|| 04:00pm - 06:00pm || || Group Meetings and Coding Sprints ||
|| || || '''Wednesday June 03, 2015''' ||
|| 08:30am - 09:00am || || Coffee ||
|| 09:00am - 10:00am || Nathan Reading || Sortable Elements in Cluster-algebra Computations ([[attachment:Reading.jpg|board with things to know|&do=get]]) ||
|| 10:00am - 11:00am || || Coding Sprints ||
|| 11:00am - 11:30am || || Break ||
|| 11:30am - 12:30pm || || Coding Sprints ||
|| 12:30pm - 02:30pm || || Lunch ||
|| 02:30pm - 03:30pm || Vincent Pilaud || Compatibility Fans for Graphical Nested Complexes ([[attachment:PilaudSlides.pdf|slides|&do=get]]) ||
|| 03:30pm - 04:00pm || || Break ||
|| 04:00pm - 04:30pm || || Discussion: Status Reports ||
|| 04:30pm - 06:00pm || || Group Meetings and Coding Sprints ||
|| || || '''Thursday June 04, 2015''' ||
|| 08:30am - 09:00am || || Coffee ||
|| 09:00am - 10:00am || Christian Stump || Talk: Subword complexes ||
|| 10:00am - 11:00am || || Coding Sprints ||
|| 11:00am - 11:30am || || Break ||
|| 11:30am - 12:30pm || David Speyer || Positroid Cluster Algebras and the Octahedron Recurrence [[attachment:WeakSepSAGE2.pdf|slides|&do=get]] ||
|| 12:30pm - 02:30pm || || Lunch ||
|| 02:30pm - 02:45pm || Florian Gellert || Short presentation on the {{{Sage cell}}} [[https://www.math.uni-bielefeld.de/~fgellert/SageDaysShowcase.php|link]] ||
|| 02:45pm - 03:30pm || || Coding Sprints ||
|| 03:30pm - 04:00pm || || Break ||
|| 04:00pm - 06:00pm || || Group Meetings and Coding Sprints ||
|| || || '''Friday June 05, 2015''' ||
|| 08:30am - 09:00am || || Coffee ||
|| 09:00am - 10:30am || || Coding Sprints ||
|| 10:30am - 11:00am || || Break ||
|| 11:00am - 12:00pm || || Coding Sprints ||
|| 12:00pm - 02:00pm || || Lunch ||
|| 02:00pm - 03:00pm || || Final Status Reports ||

The starting point is the core implementation of cluster algebras as merged in Sage-5.9, see [[http://trac.sagemath.org/sage_trac/ticket/10298|#10298]], with possible new features discussed in spring 2013 in Minneapolis.

=== Topics ===

 Topics and goals for the week will be discussed the first day of the workshop. Below is a list of possible topics:

=== Progress Report on Wednesday ===

* Salvatore, Dylan: Re-implementing ClusterSeeds using F-polys and g-vectors. Also, implementing Tropical Semifields

* Jesse, Chris - Add modularity so that one can compute certain cluster seed quantities without others

* Gregg, Chris, Jesse, Emily - Related to above, allowing other names for cluster variables. (Goal is to merge all three of these pieces together to have trac tickets rewriting ClusterSeed)
  * Ticket numbers: #18615

* Simon - Working on F5 algorithm, have a ticket for review

* Anna, Emily - fixed bug in snake graphs and triangulation

* Aram, Vivianne - mutation analyzer, using functions to only mutate at certain type of vertices 18594
  * Ticket numbers: #18594

* Greg, Jacob, Matt, ?? - implementing upper cluster algebra presentation algorithm but saturation is computing a quotient ideal that is time intensive.
  * Ticket numbers: tba, 18619

* Christian, Vincent, Nathan W., Simon - Chevie interface for reflection groups. Almost ready for review.
  * Ticket number :11187

* Vincent, Christian - Subword complexes. Almost ready for review.
  * Ticket number: 11010

* Nathan W. - m-eralized Cambrian lattices
  * Ticket number: 18597

* Chris and David - code for weakly separated sets and visualization

* Greg, Mandy, Eric, Trey - working with Greg's stereographic projection, modeling them internally where they intersect
  * Ticket number: 16310

* Florian - added class for Quantum Tori

* Greg, Mandy - Scattering diagrams (visualization and algebraic computations of broken lines, consistent completions)
  * Ticket number: ?

=== Topics from first feature meeting (6+ votes) ===

 * Implementing g-vectors, c-vectors and F-polynomials without cluster mutation; possibly replace mutation
  - Gregg Musiker
  - Dylan Rupel
  - Jesse Levitt
  - Greg Muller
  - Salvadore Stela
  - Harold
  - Natan

 * Quantum cluster algebras
  - Dylan
  - Florian
  - Mandy
  - Jesse Levitt
  - Chen

 * Finite order scattering diagrams
  - Salvatore Stella
  - Greg
  - Dylan
  - Mandy
  - Gregg
  - Erick
  - Jacob
  - Trey
  - Harold

 * Flexibility to name cluster variables; perhaps label internally by g-vectors?
  - Gregg Musiker
  - David Speyer
  - Christian
  - Panupong
  - Chris
  - Anna
  - Darlayne


 * Considering mutation sequences of a restricted type: Sink/source, urban renewal, green
  - Salvatore Stella
  - Aram
  - Matt
  - Eric
  - Gregg
  - Jan

 * Presenting upper cluster algebras
  - Harold
  - Greg
  - Jacob
  - Matt
  - Natan

 * Interface to gap3/chevie; subword complexes, reflection groups, and sorting
  - Christian
  - Vincent Pilaud
  - Simon
  - Aram
  - Salomon
  - Nathan
  - Viviane

 * Path algebra arithmetic
  - Simon
  - Christian
  - Salomon
  - Anna
  - Chen
  - Trey
  - Jacob
  - Eric
==== Important features ====

 * Allow labellings of the vertices of quivers and cluster seeds (i.e., provide a dict that contains this information, and which is used all over to work with cluster seeds)
    
 * in some situations, it might be nice to update variable names. E.g., for Plücker coords and SL[N].

 * generalized associahedra from cluster complexes (Christian) - http://trac.sagemath.org/sage_trac/ticket/10817

 * Check why variable_class() is so much slower compared with cluster_class(). This might be because Laurent polynomials are slow in sage. (Christian)

 * Finish the implementation of finite reflection groups (Christian) -- http://trac.sagemath.org/ticket/11187

 * Allowing options to work with g-vectors, d-vectors, c-vectors directly rather than with cluster variables

 * Cluster algebras as algebras

==== Other features ====

 * Quantum cluster algebras

 * Generalized cluster algebras

 * Visualize ideal triangulations

 * Exotic Belavin-Drinfeld cluster algebras or cluster algebras from Double Bruhat Cells

 * Urban Renewal

 * more on Quiver Representations?

==== Other features, easy ====

 * Include new Quiver mutation types for Gale-Robinson Quivers (Gregg) - http://trac.sagemath.org/sage_trac/ticket/14444

 * Add sum of quivers/cluster seed as disjoint union

Sage Days 64.5: Cluster Algebras

If you want to know who was physically participating, check out our group photo. Here are two more pictures of the group and of Salvatore and Dylan. Finally, we had a little walk with another two pictures with some of us, partial group photo, partial group photo.

General Information

Sage Days 64.5: Cluster Algebras will be a five-day workshop to design and implement algorithms and computer exploration tools for research in cluster algebras and quiver representations. All software developed during the workshop will be made freely available as part of the free and open-source mathematics software system Sage (http://www.sagemath.org).

The workshop will consist of both talks on cluster algebras (focusing on features to be implemented) as well as on logistics of Sage development. In particular, students and researchers with background in cluster algebras are very welcome to attend and to get involved in computer explorations and development of Sage's cluster package. There will be ample time allotted for design discussions and coding sprints to implement the developed algorithms.

When and where?

June 1-5, 2015, at the IMA, University of Minnesota, in Minneapolis, MN, USA.

Schedule

All talks will be held in Lind 305, and all coffee breaks in Lind Hall 400.

Monday June 01, 2015

08:30am - 09:00am

Registration and Coffee

09:00am - 09:15am

Welcome

09:15am - 10:00am

Gregg Musiker

Tutorial: Sage Introduction and Installation Assistance (cloud, notebook)

10:00am - 11:00am

Dylan Rupel

Tutorial: Current State of the Cluster Package (notebook)

11:00am - 11:30am

Break

11:30am - 12:30pm

Harold Williams

Cluster Algebras IV: Cluster Algebras from C to G

12:30pm - 02:30pm

Lunch

02:30pm - 03:30pm

Greg Muller

Finite Order Approximations of Scattering Diagrams (slides,notes,github)

03:30pm - 04:00pm

Break

04:00pm - 04:45pm

Discussion: Introductions and Functionality Wish Lists

04:45pm - 05:45pm

Group Meetings/Coding Sprints start

06:00pm - 08:30pm

Social Hour at Stub and Herbs

Tuesday June 02, 2015

08:30am - 09:00am

Coffee

09:00am - 10:00am

Stella Salvatore

Tutorial: Contributing to Sage (slides)

10:00am - 11:00am

Coding Sprints

11:00am - 11:10am

Group Photo

11:10am - 11:30am

Break

11:30am - 12:30pm

David Speyer

Combinatorics of Cluster Structures on the Grassmannian (slides)

12:30pm - 02:30pm

Lunch

02:30pm - 03:30pm

Simon King

An F5 Algorithm for Modules Over Path Algebra Quotients and the Computation of Loewy Layers (slides, #17435)

03:30pm - 04:00pm

Break

04:00pm - 06:00pm

Group Meetings and Coding Sprints

Wednesday June 03, 2015

08:30am - 09:00am

Coffee

09:00am - 10:00am

Nathan Reading

Sortable Elements in Cluster-algebra Computations (board with things to know)

10:00am - 11:00am

Coding Sprints

11:00am - 11:30am

Break

11:30am - 12:30pm

Coding Sprints

12:30pm - 02:30pm

Lunch

02:30pm - 03:30pm

Vincent Pilaud

Compatibility Fans for Graphical Nested Complexes (slides)

03:30pm - 04:00pm

Break

04:00pm - 04:30pm

Discussion: Status Reports

04:30pm - 06:00pm

Group Meetings and Coding Sprints

Thursday June 04, 2015

08:30am - 09:00am

Coffee

09:00am - 10:00am

Christian Stump

Talk: Subword complexes

10:00am - 11:00am

Coding Sprints

11:00am - 11:30am

Break

11:30am - 12:30pm

David Speyer

Positroid Cluster Algebras and the Octahedron Recurrence slides

12:30pm - 02:30pm

Lunch

02:30pm - 02:45pm

Florian Gellert

Short presentation on the Sage cell link

02:45pm - 03:30pm

Coding Sprints

03:30pm - 04:00pm

Break

04:00pm - 06:00pm

Group Meetings and Coding Sprints

Friday June 05, 2015

08:30am - 09:00am

Coffee

09:00am - 10:30am

Coding Sprints

10:30am - 11:00am

Break

11:00am - 12:00pm

Coding Sprints

12:00pm - 02:00pm

Lunch

02:00pm - 03:00pm

Final Status Reports

The starting point is the core implementation of cluster algebras as merged in Sage-5.9, see #10298, with possible new features discussed in spring 2013 in Minneapolis.

Topics

  • Topics and goals for the week will be discussed the first day of the workshop. Below is a list of possible topics:

Progress Report on Wednesday

* Salvatore, Dylan: Re-implementing ClusterSeeds using F-polys and g-vectors. Also, implementing Tropical Semifields

* Jesse, Chris - Add modularity so that one can compute certain cluster seed quantities without others

* Gregg, Chris, Jesse, Emily - Related to above, allowing other names for cluster variables. (Goal is to merge all three of these pieces together to have trac tickets rewriting ClusterSeed)

  • Ticket numbers: #18615

* Simon - Working on F5 algorithm, have a ticket for review

* Anna, Emily - fixed bug in snake graphs and triangulation

* Aram, Vivianne - mutation analyzer, using functions to only mutate at certain type of vertices 18594

  • Ticket numbers: #18594

* Greg, Jacob, Matt, ?? - implementing upper cluster algebra presentation algorithm but saturation is computing a quotient ideal that is time intensive.

  • Ticket numbers: tba, 18619

* Christian, Vincent, Nathan W., Simon - Chevie interface for reflection groups. Almost ready for review.

  • Ticket number :11187

* Vincent, Christian - Subword complexes. Almost ready for review.

  • Ticket number: 11010

* Nathan W. - m-eralized Cambrian lattices

  • Ticket number: 18597

* Chris and David - code for weakly separated sets and visualization

* Greg, Mandy, Eric, Trey - working with Greg's stereographic projection, modeling them internally where they intersect

  • Ticket number: 16310

* Florian - added class for Quantum Tori

* Greg, Mandy - Scattering diagrams (visualization and algebraic computations of broken lines, consistent completions)

  • Ticket number: ?

Topics from first feature meeting (6+ votes)

  • Implementing g-vectors, c-vectors and F-polynomials without cluster mutation; possibly replace mutation
    • - Gregg Musiker - Dylan Rupel - Jesse Levitt - Greg Muller - Salvadore Stela - Harold - Natan
  • Quantum cluster algebras
    • - Dylan - Florian - Mandy - Jesse Levitt - Chen
  • Finite order scattering diagrams
    • - Salvatore Stella - Greg - Dylan - Mandy - Gregg - Erick - Jacob - Trey - Harold
  • Flexibility to name cluster variables; perhaps label internally by g-vectors?
    • - Gregg Musiker - David Speyer - Christian - Panupong - Chris - Anna - Darlayne
  • Considering mutation sequences of a restricted type: Sink/source, urban renewal, green
    • - Salvatore Stella - Aram - Matt - Eric - Gregg - Jan
  • Presenting upper cluster algebras
    • - Harold - Greg - Jacob - Matt - Natan
  • Interface to gap3/chevie; subword complexes, reflection groups, and sorting
    • - Christian - Vincent Pilaud - Simon - Aram - Salomon - Nathan - Viviane
  • Path algebra arithmetic
    • - Simon - Christian - Salomon - Anna - Chen - Trey - Jacob - Eric

Important features

  • Allow labellings of the vertices of quivers and cluster seeds (i.e., provide a dict that contains this information, and which is used all over to work with cluster seeds)
  • in some situations, it might be nice to update variable names. E.g., for Plücker coords and SL[N].
  • generalized associahedra from cluster complexes (Christian) - http://trac.sagemath.org/sage_trac/ticket/10817

  • Check why variable_class() is so much slower compared with cluster_class(). This might be because Laurent polynomials are slow in sage. (Christian)
  • Finish the implementation of finite reflection groups (Christian) -- http://trac.sagemath.org/ticket/11187

  • Allowing options to work with g-vectors, d-vectors, c-vectors directly rather than with cluster variables
  • Cluster algebras as algebras

Other features

  • Quantum cluster algebras
  • Generalized cluster algebras
  • Visualize ideal triangulations
  • Exotic Belavin-Drinfeld cluster algebras or cluster algebras from Double Bruhat Cells
  • Urban Renewal
  • more on Quiver Representations?

Other features, easy

days64.5 (last edited 2015-06-28 04:17:37 by jmatherne)