graphs algorithms and combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both...
TRANSCRIPT
![Page 1: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/1.jpg)
Graphs ALgorithms and Combinatorics
Florent Hivert
November 27-28, 2013!
!
27-28 Nov 2013 GALaC 1 / 81
![Page 2: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/2.jpg)
Contents
The Galac TeamEvolution: from the Algo&Graphs teams to the GALaC TeamResearch subjectScientific production
Scientific FocusesDeepening Ramsey and Turan theorySorting monoids and software for computer exploration
The five year planThe future of the GALaC teamSelf assessmentStrategy
27-28 Nov 2013 GALaC 2 / 81
![Page 3: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/3.jpg)
The Galac Team: Permanent Members
Professors Senior Researchers (DR-CNRS)
Evelyne FLANDRIN (em)Dominique GOUYOU-BEAUCHAMPSFlorent HIVERT Antoine DEZA (Jan. 2014)Yannis MANOUSSAKIS Hao LIFabio MARTIGNON (IUF)
Nicolas THIERY
Associate Professors (MdC) Researchers (CR-CNRS)
Lin CHEN Nathann COHEN
Sylvie DELAET (HdR) Johanne COHEN (HdR - Sept. 2013)Selma DJELLOUL Reza NASERASRFrancesca FIORENZIDavid FORGE
27-28 Nov 2013 GALaC 3 / 81
![Page 4: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/4.jpg)
Galac: PhD students and Postdocs
PhD students (11):
Jean-Alexandre ANGLES D’AURIAC Jean-Baptiste PRIEZAndrea Giuseppe ARALDO Qiang SUNYandong BAI Aladin VIRMAUXWeihua HE Weihua YANGSylvain LEGAY Jihong YUMichele MANGILI
Postdocs (2):
Meirun CHEN Leandro Pedro MONTERO
27-28 Nov 2013 GALaC 4 / 81
![Page 5: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/5.jpg)
Evolution: From Algo & Graph ...
Departures
I Sylvie CORTEEL (Sept. 2009), Jean-Paul ALLOUCHE(Sept. 2010), Pascal Ochem (Sept. 2011);
I Miklos SANTHA, Frederic MAGNIEZ, Jordanis KERENIS,Julia KEMPE, Adi ROSEN and Michel de ROUGEMONT(Nov. 2010); Sophie LAPLANTE (Sept. 2012)
I Retirement: Charles DELORME (Sept. 2013), MekkiaKOUIDER (Sept. 2010), Jean-Francois SACLE (Sept. 2012)
Arrivals
Florent HIVERT (Sept. 2011) Johanne COHEN (Sept. 2013)
Nicolas THIERY (Sept. 2012) Antoine DEZA (Jan. 2014)Nathann COHEN (Oct. 2012)
27-28 Nov 2013 GALaC 5 / 81
![Page 6: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/6.jpg)
... to the GALaC Team
June 2013: The Algo team is merging with
I From the former GraphComb team:
Selma DJELLOUL Evelyne FLANDRINDavid FORGE Hao LIReza NASERASR (Oct. 2011)
I From the former Reseaux and Parall teams:
Lin CHEN (Sept. 2009) Sylvie DELAETFabio MARTIGNON (Sept. 2011)
27-28 Nov 2013 GALaC 6 / 81
![Page 7: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/7.jpg)
Graphs, ALgorithms and Combinatorics
27-28 Nov 2013 GALaC 7 / 81
![Page 8: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/8.jpg)
Graphs Algorithms and Combinatorics
Note: Former activity “Quantum algorithms and complexity”.
27-28 Nov 2013 GALaC 8 / 81
![Page 9: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/9.jpg)
Graph Theory and algorithms
Goal: Algorithmic and structural study of graphs
I Edge-colored, signed, random graphs
I Hamiltonian cycles and paths
I Algorithms, complexity
I Extremal theory, Ramsey type theorems
I Tools: Matroids, Linear optimization
27-28 Nov 2013 GALaC 9 / 81
![Page 10: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/10.jpg)
Graph Theory and algorithms
Some results:
I Introduction of new classes of Ramsey-Turan problems(included in Shelp’s 18 new question and conjectures)(cf. focus)
I Dirac-type sufficient conditions on the colored degree of anedge colored graph for having Hamiltonian cycles and paths.
Toward applications:
I Social networks
I Biology
27-28 Nov 2013 GALaC 10 / 81
![Page 11: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/11.jpg)
Combinatorics
Algebraic and enumerative aspects of combinatorics in relation todynamical systems, numeration, and complexity analysis.
Goal: Relations between algorithms and algebraic identities
Example: Binary search vs rational fractions:
1364 + 1634 + 6134 =4
1
3
6
1x1(x1+x3)(x1+x3+x6)
+ 1x1(x1+x6)(x1+x6+x3)
+ 1x6(x6+x1)(x6+x1+x3)
= 1x3x6(x1+x3)
27-28 Nov 2013 GALaC 11 / 81
![Page 12: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/12.jpg)
Combinatorics
Some results:
I Combinatorial Hopf algebra and representation theory:Definition and in depth study of Bi-Hecke algebra and Monoid(cf. focus)
I Tableau, Partitions combinatorics
I Dynamical systems and combinatorics on words
I Cellular automata on Cayley graphs
1234
2134 1324 1243
2314 3124 2143 1342 1423
2341 3214 2413 3142 4123 1432
3241 2431 3412 4213 4132
3421 4231 4312
4321
Applications:
I Statistical physics
I Analysis of algorithms
27-28 Nov 2013 GALaC 12 / 81
![Page 13: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/13.jpg)
Algorithms for Networked Systems
Problem: Concurrence, Selfishness, Local view
I Design efficient modeling, control, and performanceoptimization algorithms for networks
I Development of new mathematical techniques and proofs
27-28 Nov 2013 GALaC 13 / 81
![Page 14: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/14.jpg)
Algorithms for Networked Systems
Tailored for:
I networked systems
I distributed systems
I robust, secure systems
Applications:
I Development of innovative tools for the optimal planning andresource allocation of Cognitive, opportunistic wireless andcontent-centric networks
27-28 Nov 2013 GALaC 14 / 81
![Page 15: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/15.jpg)
Scientific production (Algo + Graph)
I Research papers:
- Major international: 49 + 80- Other: 18 + 46
I Books and book chapters: 3
I Conferences papers:
- Major international: 21 + 5- Other: 26 + 5
I Book edition: 3
I Software: Sage-Combinat (70 tickets, 30000 lines)
27-28 Nov 2013 GALaC 15 / 81
![Page 16: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/16.jpg)
International cooperations
I Graphs:I John Hopcroft (Cornell University, USA, Turing Award)I Marek Karpinski (University of Bonn, Germany)I Raquel Agueda Mate (University of Toledo, Spain)
I Combinatorics:I Paul Schupp (University of Illinois at Urbana-Champaign)I Anne Schilling (University of California at Davis, USA)I Francois Bergeron (UQAM, Quebec)I Arvin Ayyer (Institute of Science, Bangalore)I Vic Reiner (Minneapolis)
I Algorithms for Networked Systems:I Antonio Capone (Politecnico di Milano, Italy)I Wei Wang (University of Zhejiang, China)I Alfredo Goldman (Sao Paulo University, Brazil)I Shlomi Dolev (Rita Altura Trust Chair, Ben Gurion University)
27-28 Nov 2013 GALaC 16 / 81
![Page 17: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/17.jpg)
Scientific focus
Deepening Ramsey and Turan theory
Hao Li
27-28 Nov 2013 GALaC 17 / 81
![Page 18: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/18.jpg)
Background: Ramsey and Turan Theory
Theorem. (Ramsey, 1930)
For any r , s ∈ N, there is a R such that any red/blue coloring ofthe edges of KR contains either a blue Kr or a red Ks (picture: r=s=3)
Known: R(3, 3) = 6. R(3, 4) = 9, R(3, 5) = 14, R(4, 4) = 18,R(4, 5) = 25, 43 ≤ R(5, 5) ≤ 49, 102 ≤ R(6, 6) ≤ 165.
Erdos : Imagine a powerful alien force landing on Earth anddemanding the value of R(5, 5) for NOT destroying our planet. Weshould marshal all our computers and mathematicians and computeit. If they ask for R(6, 6) instead, then we have to fight back.
27-28 Nov 2013 GALaC 18 / 81
![Page 19: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/19.jpg)
Background: Ramsey Turan Theory
A highly studied topic in Ramsey Theory:
Consider cycles subgraphs instead of complete graphs
Example: On cycle-complete graph ramsey numbers
(Erdos, Faudree,Rousseau, Schelp)
Theorem. (Turan, 1941)
Any graph G on n vertices not containing a Kk , k ≤ n satisfies:
|E (G )| ≤ e(Tn;k−1)
This bound is only reached by Tn;k−1.
27-28 Nov 2013 GALaC 19 / 81
![Page 20: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/20.jpg)
Background: Ramsey and Turan Theory
I Simonovits and Sos: ”Ramsey theorem and Turan extremalgraph theorem are both among the basic theorems of graphtheory. Both served as starting points of whole branches ingraph theory and both are applied in many fields ofmathematics. In the late 1960s a whole new theory emerged,connecting these fields.”
I Martin: With its branches reaching areas as varied as algebra,combinatorics, set theory, logic, analysis, and geometry,Ramsey theory has played an important role in a plethora ofmathematical developments throughout the last century.
I The theory was subsequently developed extensively by Erdos.
I Szemeredi was awarded the 2012 Abel Prize for his celebratedproof of the Erdos-Turan Conjecture and his RegularityLemma.
27-28 Nov 2013 GALaC 20 / 81
![Page 21: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/21.jpg)
Conjecture and Results
A new class of Ramsey-Turan problemsH. Li, V. Nikiforov, R.H. Schelp, Discrete Mathematics (2010)
Conjecture. (Li, Nikiforov and Schelp, 2010)
Let G be a graph on n ≥ 4 vertices with minimum degreeδ(G ) > 3n/4.For any red/blue coloring of the edges of G and everyk ∈ [4, dn/2e], G has a red Ck or a blue Ck .
Tightness: Let n = 4p, color the edges of the complete bipartitegraph K2p,2p in blue, and insert a red Kp,p in each vertex class.
27-28 Nov 2013 GALaC 21 / 81
![Page 22: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/22.jpg)
Conjecture and Results
A new class of Ramsey-Turan problemsH. Li, V. Nikiforov, R.H. Schelp, Discrete Mathematics (2010)
Conjecture. (Li, Nikiforov and Schelp, 2010)
Let G be a graph on n ≥ 4 vertices with minimum degreeδ(G ) > 3n/4.For any red/blue coloring of the edges of G and everyk ∈ [4, dn/2e], G has a red Ck or a blue Ck .
Tightness: Let n = 4p, color the edges of the complete bipartitegraph K2p,2p in blue, and insert a red Kp,p in each vertex class.
Theorem. (Li, Nikiforov and Schelp, 2010)
Let ε > 0. Let G be a sufficiently large graph on n vertices,δ(G ) > 3n/4.For any red/blue coloring of the edges of G andk ∈ [4, b(1/8− ε)nc], G has a red Ck or a blue Ck .
27-28 Nov 2013 GALaC 22 / 81
![Page 23: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/23.jpg)
More results
Benevides, Luczak, Scott, Skokan and White proved our conjecturein 2012, for sufficiently large n
Monochromatic cycles in 2-coloured graphsCombinatorics, Probability and Computing (2012)
27-28 Nov 2013 GALaC 23 / 81
![Page 24: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/24.jpg)
Open Questions
Question :Let 0 < c < 1 and G be a graph of sufficiently large order n.If δ(G ) > cn and E (G ) is 2-colored, how long are themonochromatic cycles?
We conjectured
Existence of monochromatic cycles of length ≥ cn
7 Disproved
The monochromatic circumference of 2-coloured graphs Matthew
White, to appear in Journal of Graph Theory.
27-28 Nov 2013 GALaC 24 / 81
![Page 25: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/25.jpg)
Open Questions
Question :Let 0 < c < 1 and G be a graph of sufficiently large order n.If δ(G ) > cn and E (G ) is 2-colored, how long are themonochromatic cycles?
We conjectured
Existence of monochromatic cycles of length ≥ cn
7 Disproved
The monochromatic circumference of 2-coloured graphs Matthew
White, to appear in Journal of Graph Theory.
27-28 Nov 2013 GALaC 25 / 81
![Page 26: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/26.jpg)
Open Questions
Based on our conjecture and the conjectures and open questionsexisting in Ramsey Theory, Schelp made 18 conjectures and openquestions on more general Ramsey-Turan theory with similar ideas.
Some Ramsey-Turan Type Problems and Related QuestionsDiscrete Mathematics
27-28 Nov 2013 GALaC 26 / 81
![Page 27: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/27.jpg)
Scientific focus
Sorting monoids &
Software for computer exploration
Nicolas M. Thiery
A story about
I Monoids arising from sorting algorithms
I Representation theory
I Computer exploration & Sage-Combinat
I Applications: Markov chains, ...
27-28 Nov 2013 GALaC 27 / 81
![Page 28: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/28.jpg)
Bubble sort algorithm
4321
Underlying algebraic structure: the right permutahedron
123
213 132
312231
321
1234
2134 1324 1243
2314 3124 2143 1342 1423
2341 3214 2413 3142 4123 1432
3241 2431 3412 4213 4132
3421 4231 4312
4321
27-28 Nov 2013 GALaC 28 / 81
![Page 29: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/29.jpg)
Bubble sort algorithm
4321
Underlying algebraic structure: the right permutahedron
123
213 132
312231
321
1234
2134 1324 1243
2314 3124 2143 1342 1423
2341 3214 2413 3142 4123 1432
3241 2431 3412 4213 4132
3421 4231 4312
4321
27-28 Nov 2013 GALaC 29 / 81
![Page 30: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/30.jpg)
Bubble sort algorithm
4312
Underlying algebraic structure: the right permutahedron
123
213 132
312231
321
1234
2134 1324 1243
2314 3124 2143 1342 1423
2341 3214 2413 3142 4123 1432
3241 2431 3412 4213 4132
3421 4231 4312
4321
27-28 Nov 2013 GALaC 30 / 81
![Page 31: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/31.jpg)
Bubble sort algorithm
4132
Underlying algebraic structure: the right permutahedron
123
213 132
312231
321
1234
2134 1324 1243
2314 3124 2143 1342 1423
2341 3214 2413 3142 4123 1432
3241 2431 3412 4213 4132
3421 4231 4312
4321
27-28 Nov 2013 GALaC 31 / 81
![Page 32: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/32.jpg)
Bubble sort algorithm
1432
Underlying algebraic structure: the right permutahedron
123
213 132
312231
321
1234
2134 1324 1243
2314 3124 2143 1342 1423
2341 3214 2413 3142 4123 1432
3241 2431 3412 4213 4132
3421 4231 4312
4321
27-28 Nov 2013 GALaC 32 / 81
![Page 33: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/33.jpg)
Bubble sort algorithm
1432
Underlying algebraic structure: the right permutahedron
123
213 132
312231
321
1234
2134 1324 1243
2314 3124 2143 1342 1423
2341 3214 2413 3142 4123 1432
3241 2431 3412 4213 4132
3421 4231 4312
4321
27-28 Nov 2013 GALaC 33 / 81
![Page 34: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/34.jpg)
Bubble sort algorithm
1423
Underlying algebraic structure: the right permutahedron
123
213 132
312231
321
1234
2134 1324 1243
2314 3124 2143 1342 1423
2341 3214 2413 3142 4123 1432
3241 2431 3412 4213 4132
3421 4231 4312
4321
27-28 Nov 2013 GALaC 34 / 81
![Page 35: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/35.jpg)
Bubble sort algorithm
1243
Underlying algebraic structure: the right permutahedron
123
213 132
312231
321
1234
2134 1324 1243
2314 3124 2143 1342 1423
2341 3214 2413 3142 4123 1432
3241 2431 3412 4213 4132
3421 4231 4312
4321
27-28 Nov 2013 GALaC 35 / 81
![Page 36: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/36.jpg)
Bubble sort algorithm
1243
Underlying algebraic structure: the right permutahedron
123
213 132
312231
321
1234
2134 1324 1243
2314 3124 2143 1342 1423
2341 3214 2413 3142 4123 1432
3241 2431 3412 4213 4132
3421 4231 4312
4321
27-28 Nov 2013 GALaC 36 / 81
![Page 37: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/37.jpg)
Bubble sort algorithm
1234
Underlying algebraic structure: the right permutahedron
123
213 132
312231
321
1234
2134 1324 1243
2314 3124 2143 1342 1423
2341 3214 2413 3142 4123 1432
3241 2431 3412 4213 4132
3421 4231 4312
4321
27-28 Nov 2013 GALaC 37 / 81
![Page 38: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/38.jpg)
Bubble sort algorithm
1234
Underlying algebraic structure: the right permutahedron
123
213 132
312231
321
1234
2134 1324 1243
2314 3124 2143 1342 1423
2341 3214 2413 3142 4123 1432
3241 2431 3412 4213 4132
3421 4231 4312
4321
27-28 Nov 2013 GALaC 38 / 81
![Page 39: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/39.jpg)
Bubble sort algorithm
1234Underlying algebraic structure: the right permutahedron
123
213 132
312231
321
1234
2134 1324 1243
2314 3124 2143 1342 1423
2341 3214 2413 3142 4123 1432
3241 2431 3412 4213 4132
3421 4231 4312
4321
27-28 Nov 2013 GALaC 39 / 81
![Page 40: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/40.jpg)
Bubble sort algorithm
1234Underlying algebraic structure: the right permutahedron
123
213 132
312231
321
1234
2134 1324 1243
2314 3124 2143 1342 1423
2341 3214 2413 3142 4123 1432
3241 2431 3412 4213 4132
3421 4231 4312
4321
27-28 Nov 2013 GALaC 40 / 81
![Page 41: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/41.jpg)
The permutohedron, as an automaton
123
213 132
312231
321
s2s1
s2 s1
s2s1
s2s1
s2 s1
s2s1
123
213 132
312231
321
π2π1
π1 π2
π2 π1
π2π1
π2 π1
π2π1
s2i = 1 π2
i = πis1s2s1 = s2s1s2 π1π2π1 = π2π1π2
Symmetric group S3 0-Hecke monoid H0(S3)
27-28 Nov 2013 GALaC 41 / 81
![Page 42: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/42.jpg)
The permutohedron, as an automaton
123
213 132
312231
321
s2s1
s2 s1
s2s1
s2s1
s2 s1
s2s1
123
213 132
312231
321
π2π1
π1 π2
π2 π1
π2π1
π2 π1
π2π1
s2i = 1 π2
i = πis1s2s1 = s2s1s2 π1π2π1 = π2π1π2
Symmetric group S3 0-Hecke monoid H0(S3)
27-28 Nov 2013 GALaC 42 / 81
![Page 43: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/43.jpg)
Monoids
Definition (Monoid)
A set (M, ·, 1)
I · an associative binary operation
I 1 a unit for ·
Example: the transition monoid of a deterministic automaton
Transition functions: fa :
{{states} 7−→ {states}q
a−→ q′
Transition monoid: (〈fa〉a∈A, ◦)
Motivation
I Study all the possible ways to compose operations together
I E.g. all algorithms built from certain building blocks
I Contains information about the language of the automaton
27-28 Nov 2013 GALaC 43 / 81
![Page 44: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/44.jpg)
Monoids
Definition (Monoid)
A set (M, ·, 1)
I · an associative binary operation
I 1 a unit for ·
Example: the transition monoid of a deterministic automaton
Transition functions: fa :
{{states} 7−→ {states}q
a−→ q′
Transition monoid: (〈fa〉a∈A, ◦)
Motivation
I Study all the possible ways to compose operations together
I E.g. all algorithms built from certain building blocks
I Contains information about the language of the automaton
27-28 Nov 2013 GALaC 44 / 81
![Page 45: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/45.jpg)
Monoids
Definition (Monoid)
A set (M, ·, 1)
I · an associative binary operation
I 1 a unit for ·
Example: the transition monoid of a deterministic automaton
Transition functions: fa :
{{states} 7−→ {states}q
a−→ q′
Transition monoid: (〈fa〉a∈A, ◦)
Motivation
I Study all the possible ways to compose operations together
I E.g. all algorithms built from certain building blocks
I Contains information about the language of the automaton
27-28 Nov 2013 GALaC 45 / 81
![Page 46: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/46.jpg)
Sorting monoids
123
213 132
312231
321
s2s1
s2 s1
s2s1
s2s1
s2 s1
s2s1
123
213 132
312231
321
π2π1
π1 π2
π2 π1
π2π1
π2 π1
π2π1
s2i = 1 π2
i = πis1s2s1 = s2s1s2 π1π2π1 = π2π1π2
Symmetric group S3 0-Hecke monoid H0(S3)
27-28 Nov 2013 GALaC 46 / 81
![Page 47: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/47.jpg)
The 0-Hecke monoid
Theorem (Norton 1979)
|H0(Sn)| = n! + lots of nice properties
Motivation
I Same relations as the divided difference operators:
∂i :=f (xi , xi+1)− f (xi+1, xi )
xi+1 − xi
(multivariate discrete derivatives introduced by Newton)
I Appears in analysis, algebraic combinatorics, probabilities,mathematical physics, ...
I Bubble sort: simple combinatorial model
27-28 Nov 2013 GALaC 47 / 81
![Page 48: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/48.jpg)
The 0-Hecke monoid
Theorem (Norton 1979)
|H0(Sn)| = n! + lots of nice properties
Motivation
I Same relations as the divided difference operators:
∂i :=f (xi , xi+1)− f (xi+1, xi )
xi+1 − xi
(multivariate discrete derivatives introduced by Newton)
I Appears in analysis, algebraic combinatorics, probabilities,mathematical physics, ...
I Bubble sort: simple combinatorial model
27-28 Nov 2013 GALaC 48 / 81
![Page 49: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/49.jpg)
The 0-Hecke monoid
Theorem (Norton 1979)
|H0(Sn)| = n! + lots of nice properties
Motivation
I Same relations as the divided difference operators:
∂i :=f (xi , xi+1)− f (xi+1, xi )
xi+1 − xi
(multivariate discrete derivatives introduced by Newton)
I Appears in analysis, algebraic combinatorics, probabilities,mathematical physics, ...
I Bubble sort: simple combinatorial model
27-28 Nov 2013 GALaC 49 / 81
![Page 50: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/50.jpg)
The 0-Hecke monoid
Theorem (Norton 1979)
|H0(Sn)| = n! + lots of nice properties
Motivation
I Same relations as the divided difference operators:
∂i :=f (xi , xi+1)− f (xi+1, xi )
xi+1 − xi
(multivariate discrete derivatives introduced by Newton)
I Appears in analysis, algebraic combinatorics, probabilities,mathematical physics, ...
I Bubble sort: simple combinatorial model
27-28 Nov 2013 GALaC 50 / 81
![Page 51: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/51.jpg)
A strange cocktail: the biHecke monoid
123
213 132
312231
321
π1 π2
π2 π1
π2π1
π2π1
π1 π2
π2 π1
π2π1
π2 π1
π2π1
π2π1
π2 π1
π2π1
What’s the transition monoid?
27-28 Nov 2013 GALaC 51 / 81
![Page 52: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/52.jpg)
The biHecke monoid
QuestionStructure of M(Sn) := 〈π1, π2, . . . , π1, π2, . . . 〉 ?
How to attack such a problem?
I Computer exploration|M(Sn)| = 1, 3, 23, 477, 31103, ...
I Generators and relations (no usable structure)
I Representation theory
Theorem (Hivert, Schilling, Thiery (FPSAC’10, ANT 2012) )
M(Sn) admits n! simple / indecomposable projective modules
|M(Sn)| =∑w∈Sn
dim Sw . dim Pw
27-28 Nov 2013 GALaC 52 / 81
![Page 53: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/53.jpg)
The biHecke monoid
QuestionStructure of M(Sn) := 〈π1, π2, . . . , π1, π2, . . . 〉 ?
How to attack such a problem?
I Computer exploration
|M(Sn)| = 1, 3, 23, 477, 31103, ...
I Generators and relations (no usable structure)
I Representation theory
Theorem (Hivert, Schilling, Thiery (FPSAC’10, ANT 2012) )
M(Sn) admits n! simple / indecomposable projective modules
|M(Sn)| =∑w∈Sn
dim Sw . dim Pw
27-28 Nov 2013 GALaC 53 / 81
![Page 54: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/54.jpg)
The biHecke monoid
QuestionStructure of M(Sn) := 〈π1, π2, . . . , π1, π2, . . . 〉 ?
How to attack such a problem?
I Computer exploration|M(Sn)| = 1, 3, 23, 477, 31103, ...
I Generators and relations (no usable structure)
I Representation theory
Theorem (Hivert, Schilling, Thiery (FPSAC’10, ANT 2012) )
M(Sn) admits n! simple / indecomposable projective modules
|M(Sn)| =∑w∈Sn
dim Sw . dim Pw
27-28 Nov 2013 GALaC 54 / 81
![Page 55: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/55.jpg)
The biHecke monoid
QuestionStructure of M(Sn) := 〈π1, π2, . . . , π1, π2, . . . 〉 ?
How to attack such a problem?
I Computer exploration|M(Sn)| = 1, 3, 23, 477, 31103, ...
I Generators and relations
(no usable structure)
I Representation theory
Theorem (Hivert, Schilling, Thiery (FPSAC’10, ANT 2012) )
M(Sn) admits n! simple / indecomposable projective modules
|M(Sn)| =∑w∈Sn
dim Sw . dim Pw
27-28 Nov 2013 GALaC 55 / 81
![Page 56: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/56.jpg)
The biHecke monoid
QuestionStructure of M(Sn) := 〈π1, π2, . . . , π1, π2, . . . 〉 ?
How to attack such a problem?
I Computer exploration|M(Sn)| = 1, 3, 23, 477, 31103, ...
I Generators and relations (no usable structure)
I Representation theory
Theorem (Hivert, Schilling, Thiery (FPSAC’10, ANT 2012) )
M(Sn) admits n! simple / indecomposable projective modules
|M(Sn)| =∑w∈Sn
dim Sw . dim Pw
27-28 Nov 2013 GALaC 56 / 81
![Page 57: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/57.jpg)
The biHecke monoid
QuestionStructure of M(Sn) := 〈π1, π2, . . . , π1, π2, . . . 〉 ?
How to attack such a problem?
I Computer exploration|M(Sn)| = 1, 3, 23, 477, 31103, ...
I Generators and relations (no usable structure)
I Representation theory
Theorem (Hivert, Schilling, Thiery (FPSAC’10, ANT 2012) )
M(Sn) admits n! simple / indecomposable projective modules
|M(Sn)| =∑w∈Sn
dim Sw . dim Pw
27-28 Nov 2013 GALaC 57 / 81
![Page 58: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/58.jpg)
The biHecke monoid
QuestionStructure of M(Sn) := 〈π1, π2, . . . , π1, π2, . . . 〉 ?
How to attack such a problem?
I Computer exploration|M(Sn)| = 1, 3, 23, 477, 31103, 7505009, ...
I Generators and relations (no usable structure)
I Representation theory
Theorem (Hivert, Schilling, Thiery (FPSAC’10, ANT 2012) )
M(Sn) admits n! simple / indecomposable projective modules
|M(Sn)| =∑w∈Sn
dim Sw . dim Pw
27-28 Nov 2013 GALaC 58 / 81
![Page 59: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/59.jpg)
Representation theory
ProblemHow to understand the product of a monoid?
AnswerRelate it with the product of some well know structure!
Representation theory
Study all morphisms from M to End(V )E.g. represent the elements of the monoid as matricesMake use of all the power of linear algebra
27-28 Nov 2013 GALaC 59 / 81
![Page 60: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/60.jpg)
Representation theory
ProblemHow to understand the product of a monoid?
AnswerRelate it with the product of some well know structure!
Representation theory
Study all morphisms from M to End(V )E.g. represent the elements of the monoid as matricesMake use of all the power of linear algebra
27-28 Nov 2013 GALaC 60 / 81
![Page 61: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/61.jpg)
Representation theory
ProblemHow to understand the product of a monoid?
AnswerRelate it with the product of some well know structure!
Representation theory
Study all morphisms from M to End(V )E.g. represent the elements of the monoid as matricesMake use of all the power of linear algebra
27-28 Nov 2013 GALaC 61 / 81
![Page 62: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/62.jpg)
Side products and applications
Aperiodic monoids (Thiery, FPSAC’12)
Algorithm for computing the Cartan matrix|M| = 31103: computation in one hour instead of weeks
J-trivial monoids (Denton, Hivert, Schilling, Thiery,keynote FPSAC 2010, SLC 2011)
Purely combinatorial description of the representation theory
Towers of monoids (Virmaux, submitted)
Toward the categorification of Combinatorial Hopf algebras
Discrete Markov chains (Ayyer, Steinberg, Schilling, Thiery)
I Directed Sandpile Models (submitted)
I R-Trivial Markov chains (in preparation)
27-28 Nov 2013 GALaC 62 / 81
![Page 63: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/63.jpg)
Side products and applications
Aperiodic monoids (Thiery, FPSAC’12)
Algorithm for computing the Cartan matrix|M| = 31103: computation in one hour instead of weeks
J-trivial monoids (Denton, Hivert, Schilling, Thiery,keynote FPSAC 2010, SLC 2011)
Purely combinatorial description of the representation theory
Towers of monoids (Virmaux, submitted)
Toward the categorification of Combinatorial Hopf algebras
Discrete Markov chains (Ayyer, Steinberg, Schilling, Thiery)
I Directed Sandpile Models (submitted)
I R-Trivial Markov chains (in preparation)
27-28 Nov 2013 GALaC 63 / 81
![Page 64: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/64.jpg)
Side products and applications
Aperiodic monoids (Thiery, FPSAC’12)
Algorithm for computing the Cartan matrix|M| = 31103: computation in one hour instead of weeks
J-trivial monoids (Denton, Hivert, Schilling, Thiery,keynote FPSAC 2010, SLC 2011)
Purely combinatorial description of the representation theory
Towers of monoids (Virmaux, submitted)
Toward the categorification of Combinatorial Hopf algebras
Discrete Markov chains (Ayyer, Steinberg, Schilling, Thiery)
I Directed Sandpile Models (submitted)
I R-Trivial Markov chains (in preparation)
27-28 Nov 2013 GALaC 64 / 81
![Page 65: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/65.jpg)
Side products and applications
Aperiodic monoids (Thiery, FPSAC’12)
Algorithm for computing the Cartan matrix|M| = 31103: computation in one hour instead of weeks
J-trivial monoids (Denton, Hivert, Schilling, Thiery,keynote FPSAC 2010, SLC 2011)
Purely combinatorial description of the representation theory
Towers of monoids (Virmaux, submitted)
Toward the categorification of Combinatorial Hopf algebras
Discrete Markov chains (Ayyer, Steinberg, Schilling, Thiery)
I Directed Sandpile Models (submitted)
I R-Trivial Markov chains (in preparation)
27-28 Nov 2013 GALaC 65 / 81
![Page 66: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/66.jpg)
Computer exploration requirements
A wide set of features
I Groups, root systems, ...
I Monoids of transformations, automatic monoids
I Automatons
I Graphs: standard algorithmic, isomorphism, visualization
I Posets, lattices
I Representations of monoids
I Linear algebra (vector spaces, morphisms, quotients, ...)
I Serialization, Parallelism, ...
A tight modelling of mathematics
27-28 Nov 2013 GALaC 66 / 81
![Page 67: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/67.jpg)
Computer exploration requirements
A wide set of features
I Groups, root systems, ...
I Monoids of transformations, automatic monoids
I Automatons
I Graphs: standard algorithmic, isomorphism, visualization
I Posets, lattices
I Representations of monoids
I Linear algebra (vector spaces, morphisms, quotients, ...)
I Serialization, Parallelism, ...
A tight modelling of mathematics
27-28 Nov 2013 GALaC 67 / 81
![Page 68: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/68.jpg)
Birth of the Sage-Combinat projet
Mission statement (Hivert, Thiery 2000)
“To improve MuPAD/Sage as an extensible toolbox for computerexploration in combinatorics, and foster code sharing amongresearchers in this area”
Strategy
I Free and open source to share widelyWhile remaining pragmatic in collaborations
I International and decentralized developmentWarranty of independence
I Developed by researchers, for researchersWith a view toward broad usage
I Core development done by permanent researchersPhD students shall focus on their own needs
I Each line of code justified by a research projectWith a long term vision (agile development)
I State of the art computer science practicesCooperative development model and tools, methodology, ...
27-28 Nov 2013 GALaC 68 / 81
![Page 69: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/69.jpg)
Birth of the Sage-Combinat projet
Mission statement (Hivert, Thiery 2000)
“To improve MuPAD/Sage as an extensible toolbox for computerexploration in combinatorics, and foster code sharing amongresearchers in this area”
Strategy
I Free and open source to share widelyWhile remaining pragmatic in collaborations
I International and decentralized developmentWarranty of independence
I Developed by researchers, for researchersWith a view toward broad usage
I Core development done by permanent researchersPhD students shall focus on their own needs
I Each line of code justified by a research projectWith a long term vision (agile development)
I State of the art computer science practicesCooperative development model and tools, methodology, ...
27-28 Nov 2013 GALaC 69 / 81
![Page 70: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/70.jpg)
Sage-Combinat: 13 years after
In a nutshell
I MuPAD-Combinat: 115k lines of MuPAD, 15k lines of C++,32k lines of tests, 600 pages of doc
I Sage-Combinat: 300 tickets / 250k lines integrated in Sage
I Sponsors: ANR, PEPS, NSF, Google Summer of Code, ...
I 100+ research articles
I Research-grade software design challenges
An international community (Australia, Canada, USA, ...):Nicolas Borie, Daniel Bump, Jason Bandlow, Adrien Boussicault, Frederic Chapoton,Vincent Delecroix, Paul-Olivier Dehaye, Tom Denton, Francois Descouens, Dan Drake,Teresa Gomez Diaz, Valentin Feray, Mike Hansen, Ralf Hemmecke, Florent Hivert,Brant Jones, Sebastien Labbe, Yann Laigle-Chapuy, Eric Laugerotte, Patrick Lemeur,Andrew Mathas, Xavier Molinero, Thierry Monteil, Olivier Mallet, Gregg Musiker,Jean-Christophe Novelli, Janvier Nzeutchap, Steven Pon, Viviane Pons,Franco Saliola, Anne Schilling, Mark Shimozono, Christian Stump, Lenny Tevlin,Nicolas M. Thiery, Justin Walker, Qiang Wang, Mike Zabrocki, ...
27-28 Nov 2013 GALaC 70 / 81
![Page 71: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/71.jpg)
Sage-Combinat: 13 years after
In a nutshell
I MuPAD-Combinat: 115k lines of MuPAD, 15k lines of C++,32k lines of tests, 600 pages of doc
I Sage-Combinat: 300 tickets / 250k lines integrated in Sage
I Sponsors: ANR, PEPS, NSF, Google Summer of Code, ...
I 100+ research articles
I Research-grade software design challenges
An international community (Australia, Canada, USA, ...):Nicolas Borie, Daniel Bump, Jason Bandlow, Adrien Boussicault, Frederic Chapoton,Vincent Delecroix, Paul-Olivier Dehaye, Tom Denton, Francois Descouens, Dan Drake,Teresa Gomez Diaz, Valentin Feray, Mike Hansen, Ralf Hemmecke, Florent Hivert,Brant Jones, Sebastien Labbe, Yann Laigle-Chapuy, Eric Laugerotte, Patrick Lemeur,Andrew Mathas, Xavier Molinero, Thierry Monteil, Olivier Mallet, Gregg Musiker,Jean-Christophe Novelli, Janvier Nzeutchap, Steven Pon, Viviane Pons,Franco Saliola, Anne Schilling, Mark Shimozono, Christian Stump, Lenny Tevlin,Nicolas M. Thiery, Justin Walker, Qiang Wang, Mike Zabrocki, ...
27-28 Nov 2013 GALaC 71 / 81
![Page 72: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/72.jpg)
Sage-Combinat: 13 years after
In a nutshell
I MuPAD-Combinat: 115k lines of MuPAD, 15k lines of C++,32k lines of tests, 600 pages of doc
I Sage-Combinat: 300 tickets / 250k lines integrated in Sage
I Sponsors: ANR, PEPS, NSF, Google Summer of Code, ...
I 100+ research articles
I Research-grade software design challenges
An international community (Australia, Canada, USA, ...):Nicolas Borie, Daniel Bump, Jason Bandlow, Adrien Boussicault, Frederic Chapoton,Vincent Delecroix, Paul-Olivier Dehaye, Tom Denton, Francois Descouens, Dan Drake,Teresa Gomez Diaz, Valentin Feray, Mike Hansen, Ralf Hemmecke, Florent Hivert,Brant Jones, Sebastien Labbe, Yann Laigle-Chapuy, Eric Laugerotte, Patrick Lemeur,Andrew Mathas, Xavier Molinero, Thierry Monteil, Olivier Mallet, Gregg Musiker,Jean-Christophe Novelli, Janvier Nzeutchap, Steven Pon, Viviane Pons,Franco Saliola, Anne Schilling, Mark Shimozono, Christian Stump, Lenny Tevlin,Nicolas M. Thiery, Justin Walker, Qiang Wang, Mike Zabrocki, ...
27-28 Nov 2013 GALaC 72 / 81
![Page 73: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/73.jpg)
Sage-Combinat: 13 years after
In a nutshell
I MuPAD-Combinat: 115k lines of MuPAD, 15k lines of C++,32k lines of tests, 600 pages of doc
I Sage-Combinat: 300 tickets / 250k lines integrated in Sage
I Sponsors: ANR, PEPS, NSF, Google Summer of Code, ...
I 100+ research articles
I Research-grade software design challenges
An international community (Australia, Canada, USA, ...):Nicolas Borie, Daniel Bump, Jason Bandlow, Adrien Boussicault, Frederic Chapoton,Vincent Delecroix, Paul-Olivier Dehaye, Tom Denton, Francois Descouens, Dan Drake,Teresa Gomez Diaz, Valentin Feray, Mike Hansen, Ralf Hemmecke, Florent Hivert,Brant Jones, Sebastien Labbe, Yann Laigle-Chapuy, Eric Laugerotte, Patrick Lemeur,Andrew Mathas, Xavier Molinero, Thierry Monteil, Olivier Mallet, Gregg Musiker,Jean-Christophe Novelli, Janvier Nzeutchap, Steven Pon, Viviane Pons,Franco Saliola, Anne Schilling, Mark Shimozono, Christian Stump, Lenny Tevlin,Nicolas M. Thiery, Justin Walker, Qiang Wang, Mike Zabrocki, ...
27-28 Nov 2013 GALaC 73 / 81
![Page 74: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/74.jpg)
Graphs, ALgorithms and Combinatorics
27-28 Nov 2013 GALaC 74 / 81
![Page 75: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/75.jpg)
The future of the GALaC team
A newly created team with many recent recruit
I Reinforce and unite
I Keep a very high production level and international visibility
Scientific goal: developing the theory of efficient algorithms.
I Algorithms, analysis, models, combinatorics, mathematical tools
I Coordination of Sage-Combinat
Mutualized software development for combinatorics, Sage platform
27-28 Nov 2013 GALaC 75 / 81
![Page 76: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/76.jpg)
Graphs theory and algorithms
Structural and Algorithmic point of view:
I Finding sufficient and computationally tractable conditions fora graph to be Hamiltonian (Thomassen’s conjecture)
I Edge and signed colored graphs, random signed graphs
I Combinatorial, computational, and geometric aspects of linearoptimization, application to graph algorithms
I Software experimentation.
Application:
I Bio-computing, Web, and distributed/networked system
27-28 Nov 2013 GALaC 76 / 81
![Page 77: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/77.jpg)
Algorithms for Networked Systems
I Establish theoretical building blocks for thedesign and optimization of networked sys-tems, including:
- Algorithmic Game Theory- Distributed Algorithms (Self-stabilization, Fault Tolerance)- Discrete Event Simulation, Markov Chains
I Design novel, efficient algorithms and protocols based on thedeveloped theoretical framework
- evaluate their performance in practical networked anddistributed scenarios
- thanks to graphs tools, combinatorics, algorithms analysis
27-28 Nov 2013 GALaC 77 / 81
![Page 78: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/78.jpg)
Combinatorics
I Algebraic structures (Combinatorial Hopf Algebras, Operads,Monoids, Markov chains...) related to algorithms
I Enumerative combinatorics and symbolic dynamics
Objectives:
I Generalization of the notion of generating series, applicationto fine analysis of algorithms
I Applications of algorithms to algebraic identities(representation theory, statistical physics)
New research theme:
I Object/aspect oriented design patterns for modelingmathematics
27-28 Nov 2013 GALaC 78 / 81
![Page 79: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/79.jpg)
Self assessment
Strengths
I Very high quality in research production
I High international visibility
I High attractivity
I Leader in development of combinatorics software(Sage-Combinat)
Weaknesses
I Lots of movements, the team is in stabilization process
I Few young researchers
I Few industrial contact
27-28 Nov 2013 GALaC 79 / 81
![Page 80: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/80.jpg)
Self assessment (2)
Risks
I Integration of the team: complete reorganization +environment (plateau de Saclay)
I Currently missing some access to Master courses
Opportunity
I Building of the Plateau de Saclay
27-28 Nov 2013 GALaC 80 / 81
![Page 81: Graphs ALgorithms and Combinatoricsjcohen/documents/lri-slides-2013.pdf · graph theory and both are applied in many elds of mathematics. In the late 1960s a whole new theory emerged,](https://reader033.vdocuments.site/reader033/viewer/2022042313/5edca5c6ad6a402d66676757/html5/thumbnails/81.jpg)
Strategy
I RecruitmentNew associate professor in June 2014. Hdhire more youngresearchers in the GALaC Team within the next five years.
I Seminaire Algorithmique et Complexite du plateau deSaclayFounded in october 2011 by the Algorithmic and Complexityteam of the LRI, Evry, LIX, PRISM, and Supelec.
I Master MIFOSACoordinators: Y. Manoussakis, S. ConchonCreation of a new Master in theoretical computer science onthe “Plateau de Saclay” involving two Universities (Evry,Paris-Sud) and five “Grandes Ecoles” (Centrale, Supelec,ENSTA, Telecom ParisTech, Telecom SudParis), with thesupport of INRIA, Alcatel and EDF.
27-28 Nov 2013 GALaC 81 / 81