About me
Research interests: Hopf algebras and Hopf monoids; Combinatorics of graphs, permutation patterns, posets and polytopes; root systems and Coxeter groups.
I'm currently a software engineer at Haeusler AG in Basel, Switzerland.
My research projects as of 30th of September, 2022.
I finished my PhD at Universität Zürich, under the supervision of Valentin Feray. My PhD thesis can be found here.
You can also see my master thesis, and a work on the chromatic symmetric function developed during my masters.
You can also see more photos of me: building an oven, in my masters cerimony, hiking in Kyrgyzstan and in Switzerland.
Contact Me
| Raul Penaguiao | |
|---|---|
Location  |
Contact  |
| MPI Leipzig | raul.penaguiao(at)mis.mpg.de |
| Inselstraße 22 | +49 (0) 341 - 9959 - 811 |
| Office number: G3 04 | |
| Leipzig, Germany | |
Publications and Research
Papers accepted for publication
- The kernel of chromatic quasisymmetric functions on graphs and nestohedra, pdf version and arxiv webpage, published in Journal of Combinatorial Theory, Series A.
- The feasible region for consecutive patterns of permutations is a cycle polytope (joint work with Jacopo Borga), pdf version and arxiv webpage, published in Algebraic Combinatorics.
- Pattern Hopf algebras, pdf version and arxiv webpage, published in Annals of Combinatorics.
- The feasible regions for consecutive patterns of pattern avoiding permutations (joint work with Jacopo Borga), pdf version and arxiv webpage, accepted for publication in Discrete Mathematics.
Papers submited for publication
- Antipode formulas for pattern Hopf algebras (joint work with Yannic Vargas), pdf version and arxiv webpage .
- The maximum likelihood degree of a matroid (joint work with Federico Ardila and Christopher Eur), pdf version and arxiv webpage.
- Discrete signature varieties (joint work with Carlo Bellingeri), pdf version and arxiv webpage.
Conference proceedings
- The kernel of chromatic quasisymmetric functions on graphs and nestohedra, 30th International Conference on Formal Power Series and Algebraic Combinatorics - pdf version and arxiv webpage.
- The feasible region for consecutive patterns of permutations is a cycle polytope, 32nd International Conference on Formal Power Series and Algebraic Combinatorics - pdf version and arxiv webpage.
- Pattern Hopf algebras on marked permutations and enriched set species, Permutation Patterns 2019 - pdf version.
- The maximum likelihood degree of a matroid (joint work with Federico Ardila and Christopher Eur), pdf version.
Talks and Seminares
- The tropical critical points of an affine matroid, at FPSAC, Davis USA - July 2023 - slides
- SIAM AG, Eindhoven Netherlands - July 2023 - slides
- Discrete Geometry and Topological Combinatorics Seminar, Berlin Germany - May 2023 - slides
- MaTroCom, London UK - January 2023 - slides
- Seminar Algebra and Combinatorics, Leipzig Germany - December 2022 - slides
- Discrete Geometry and Combinatorics Seminar, Leipzig Germany - November 2022 - slides
- The discrete signature Veronese variety, at Probabilistic methods, Signatures, Cubature and Geometry, York UK - January 2023 - slides
- A new cancellation-free formula for permutation patterns Hopf algebra, at ACPMS, Online - August 2022 - slides
- Cancellation-free formulas on pattern Hopf algebras, at Summer school in algebraic combinatorics, Krakow Poland - July 2022 - poster
- Pattern Hopf algebras in combinatorial presheaves, at Rough Algebra Workshop, Berlin Germany - March, 2022 - slides.
- Using intersection of fans to construct more fans?, at AGC Seminar SFSU San Francisco - February 2022 - slides.
- The Birkoff von Neumann polytope, at Alternating sign matrices FU Berlin Seminar FU Berlin - June 2021 - slides.
- Feasible regions on permutation patters - with dimension results, at Permutation Patterns 2021, Virtual Workshop Online - June 2021 - slides.
- Matroids: the five ways to think about them, at the Villa Student Seminar in FU Berlin - April 2021 - slides.
- Feasible regions meet pattern avoidance. The awaited 3rd part on feasible regions, at Algebra, Geometry, and Combinatorics Seminar SFSU San Francisco US - February 2021 - slides.
- The UC Berkeley combinatorics seminar, Berkeley US - March 2021 - slides
- The Virtual 10th Combinatorics Days, Coimbra Portugal - November 2020 - slides.
- University of Florida Combinatorics Seminar, Florida USA - November 2020 - slides.
- Another set composition Hopf algebra and a commutative diagram with polytopes, at Hopf District seminar - January 2021 - slides.
- Yet another cancellation-free antipode formula - new and old methods, at your group seminar? - transparencies.
- Hopf algebras and combinatorics, at my thesis defense - Zürich Switzerland, May 2020 - slides and video of the defense.
- Quantum probability and density matrices - at reading group on quantum computing - May, 2020 Beamer
- The feasible region for consecutive occurrences of large permutations, at Formal Power Series and Algebraic Combinatorics, video-poster session - July, 2020 poster.
- Séminaire Combinatoire et Théorie des Nombres ICJ, Lyon France - December 2019.
- CMUC seminar, Coimbra Portugal - January, 2020.
- Pattern Hopf algebras in combinatorial presheaves, at Rencontre du GDR Renormalisation 2019, Calais France - October, 2019 - slides.
- Permutation Patterns 2019, Zürich - June, 2019 - slides.
- 82nd Séminaire Lotharingien de Combinatoire, Curia Portugal - April, 2019 - slides.
- Zurich Graduate Seminar, Zurich Switzerland - November 2019 - slides.
- Chromatic symmetric functions on graphs and nestohedra, at Formal Power Series and Algebraic Combinatorics, Darmouth USA - July, 2018 - slides.
- CMUC seminar, Coimbra Portugal - June, 2018 - slides.
- 8th Combinatorics day, Porto Portugal - June, 2018 - slides.
- 80th Séminaire Lotharingien de Combinatoire, Lyon France - March, 2018 - slides.
- Discrete mathematics seminar, University of Zürich - December, 2017 - slides.
- Coefficients of a random invariant in random graphs, at Discrete mathematics seminar, University of Zürich - September, 2016 - slides.
- Flips in triangulations, at Class seminar in "Geometry: Combinatorics and Algorithms", ETH Zürich, (May, 2015) - slides.
- Non-repetitive sequences in paths and graphs, at Mittagseminar, ETH Zürich, (May, 2015) - slides.
- Quandle Structures On Knots, at Diagonal School, Universidade Nova de Lisboa, (February, 2014) - slides.
You can also find me on the following events:
- FPSAC at UC Davis - Sacramento CA, July 2023 link.
- SIAM AG - Eindhoven, July 2023 link.
- SLC - Bertinoro, March 2023 link.
- MaTroComb - London, January 2023 link.
- Probabilistic methods, Signatures, Cubature and Geometry - York, January 2023.
- Macaulay2 Bootcamp - Leipzig, Dezember 2022 link.
- Two combinatorial viewpoints on geometry - Online, December 2022.
- Pfaffians, Tensors, and Applications - Leipzig, Dezember 2022 link.
- MOM workshop on MaRDI, OSCAR and MATHREPO - Berlin, November 2022 link.
- Geometry and Renormalisation - Potsdam, September 2022 link.
- Vector Bundles on Algebraic Curves - Warwick, July 2022 link.
- Summer School in Algebraic Combinatorics - Krakow, July 2022 link.
- AlCoVE: an Algebraic Combinatorics Virtual Expedition - Online, June 2021 link.
- Permutation Patterns 2021, Virtual Workshop - Online, June 2021 link.
- AMS Special Session, Algebraic and Combinatorial Aspects of Polytopes - Online, May 2021 link.
- (Polytop)ics: Recent advances on polytopes - Max Planck Institute (Online), April 2021 link.
- Hopf Extravaganza - Online, January 2021.
- FPSAC 2020 Ramat-Gan - Ramat-Gan Israel, July 2019 link.
- Algebraic Combinatorics Krakow 2020 - Krakow Poland, July 2019 link.
- ECCO 2020 - Bogota Colombia, June 2019 link.
- 84th SLC - Joyeuse France, March 2019 link.
- Rencontre du GDR Renormalisation - Calais France, September 2019 link.
- FPSAC'19, University of Ljubljana - Ljubljana Slovenia, July 2019 link.
- Summer School on Geometric and Algebraic Combinatorics, Paris France, June 2019 - link.
- Permutation Patterns 2019, University of Zurich - Zurich Switzerland, June 2019 - link.
- Permutation Patterns Pre-Conference Workshop, University of Zurich - Zurich Switzerland, June 2019 - link.
- 82nd SLC, Coimbra - Curia Portugal, April 2019 - link.
- Einstein workshop on Algebraic Combinatorics, FU Berlin - Berlin Germany, November 2018 - link.
- 81st SLC - KrattentalerFest, Strobl Austria, September 2018 - link.
- 4th AEC summer school, Hagenberg Austria, August 2018 - link.
- FPSAC'18, Dartmouth univeristy - Hanover NH USA, July 2018 - link.
- 8th Combinatorics Day, Faculdade de Ciencias da Unversidade do Porto - Porto Portgual, June 2018 - link.
- 80th SLC, Lyon 1 - Lyon France, March 2018 - link.
- 79th SLC, Bertinoro Italy, September 2017 - link.
- FPSAC'17, Queen Mary university - London UK, July 2017 - link.
- 78th SLC - Thibon Fest, Muhlhouse France, March 2017 - link.
- 3rd AEC summer school, Hagenberg Austria, August 2016 - link.
What are student projects
If you have asked me to do a student project with me (be it a master thesis or a semester paper) I probably directed you to this section. This is not an exaustive list of all the projects that I propose, so after giving them a short look you can ask me your question or suggest another topic.
However, this is not supposed to tell the whole story of your project: Be patient, and if you have picked a topic that thrills you, you will notice a natural development that transcends the first impressions.
Do not endeavout in these projects without talking with me. It is important to set up guidelines and expectations, adapt to certain timelines, etc. If you find a book or a project here that spikes your interest, feel free to send me an e-mail.
What are the student projects
- The cycle polytope is a graph invariant that still has many hidden properties. Understand some chromatic graph invariants, for instance exploring the book Graph theory. Investigate which graph invariants can you obtain from the cycle polytope, etc. See this paper for an introduction to the cycle polytope.
- Understand spectal theory of graphs, for instance exploring the book Spectra of graphs. You can apply these methods to the cycle polytope introduced in this paper.
- Analyse new methods in machine learning: A new paper from Michael Joswig details an intermediate polytope that can be useful for machine learning methods in classification problems.
- A new and exciting problem, by Christoph Hertrich has been proposed. This takes advantage of a new connection between a specific neural network architecture (ReLU), tropical geometry and the Minkowski sum of polytopes, see the paper. This paper translates the question of representability of certain function in ReLU into a geometrical problem. Its deceiving simplicity may be the begining of several new methods and applications of geometry in ReLU neural networks.
- In this paper, some polytopes related to permutation patterns is studied, so called the restricted feasible region for consecutive patterns. There, the restricted feasible region avoiding the patterns 123 and 132 is calculated, and some methods that can be applied to some other patterns of permutations are laid out.
- In this paper, a symmetric function is associated to each graph. As it turns out, the same can be done in the context of any graded Hopf algebra, see this paper. Your task is to understand the shuffle algebra and obtain symmetric function invariants from this algebra.
- Take notes on The Probabilistic Method.
- Take notes on Combinatorial Theory.
- Take notes on Symmetry groups and Coxeter groups.
Teaching
Courses at Leipzig University
Principal instructor in 2023 spring semester Algebraic Methods in Combinatorics - Course webpage
Assistant at courses in San Francisco State University
Principal instructor in 2021 fall semester MATH 226 (Calculus) - Course webpage
Assistant in the online student seminar on polytopes in 2020 fall semester - Federico Ardila. A report by Christina Nguyen on tree polytopes.
Assistant at courses in Universitat of Zürich
Assistant in the student seminar on automatic proofs of binomial identities in 2019 fall semester - Valentin Féray - Seminar webpage
Assistant in probability II in 2019 fall semester - Valentin Féray - Course webpage
Assistant in stochastics in 2018 fall semester - Christoph Luchsinger - Course webpage
Assistant in linear algebra I in 2018 fall semester - Alberto Cattaneo - Course webpage
Assistant in Hopf algebras in 2018 spring semester - Benedict Stufler - Course webpage
Assistant in probability II in 2017 fall semester - Valentin Féray - Course webpage
Assistant in linear algebra II in 2017 spring semester - Andrew Kresch - Course webpage
Assistant in foundations of mathematics in 2016 fall semester - Mathilde Bouvel - Course webpage
Assistant at courses in ETH Zürich
Assistant in Analysis II in 2016 spring semester Course webpage
Assistant in MMP I in 2015 fall semester - Course webpage
My Vita
You can download my CV here, as of the 11th of August, 2020.
Researcher
- MPI, Leipzig, Germany
- SFSU, San Francisco, US
- FU Berlin, Berlin, Germany
- Zurich University, Zurich, Switzerland
Post Doctoral researcher supported by Max Planck Institute.
September 2022 - August 2023
Post Doctoral researcher supported by Early PostDoc.Mobility grant from SNF.
August 2021 - August 2022
Post Doctoral researcher supported by Early PostDoc.Mobility grant from SNF.
April 2021 - July 2021
Doctoral researcher supported by SNF.
October 2016 - August 2020
Studies
Doctorate Studies
UZH, University of Zürich, Switzerland
Doctoral studies in mathematics - Degree (PhD) in Pure Mathematics
September 2016 - May 2020
Masters
ETH Zürich, Federal University of Zürich, Switzerland
Masters of Science in Mathematics - Degree (MSc) in Pure Mathematics
September 2014 - June 2016
Bachelor
Instituto Superior Técnico, University of Lisbon, Lisbon, Portugal.
Degree (BSc) in Applied Mathematics and Computation
September 2011 - August 2014
| Software Habilities | ||
|---|---|---|
| Technical languages | General purpose languages | Markup languages |
| Mathematica | C++ | HTML |
| MatLab | Python | |
| SAGE math | ||
| Languages spoken | ||||
|---|---|---|---|---|
| Portuguese | English | German | Spanish | French |
| Mother tongue | Proficient - C1 | Intermediate - B1 | Beginner - A2 | Beginner - A1 |
.
Documents
| Reports and projects | ||
|---|---|---|
| An abstract "Pattern Hopf algebras, antipodes and reciprocity" for a conference in Hopf algebras in permutations in 2022 (joint work with Yannic Vargas), see FPSAC. | PDF(EN) | |
| An abstract for a Workshop in permutation patterns in 2021, see their website. | PDF(EN) | |
| A report on Quandules, an algebraic structure related to knots. | PDF(EN) | |
| A report on one of the proofs from the book, Gale Shapeley algorithm and Dinitz conjecture. | PDF(EN), PDF(PT) | |
| My master thesis in the chromatic symmetric function of random graphs. | PDF(EN) | |
| A report done on the chromatic symmetric function and Stanley's conjecture. | PDF(EN) | |
| A presentation on quantum probability and density matrices for a reading group on quantum computing. | PDF(EN) | |
| Exercises on Hopf algebras | ||
|---|---|---|
| Exercise 1 - link | Solutions 1 - link | |
| Exercise 2 - link | Solutions 2 - link | |
| Exercise 3 - link | Solutions 3 - link | |
| Exercise 4 - link | Solutions 4 - link | |
| Exercise 5 - link | Solutions 5 - link | |
| Exercise 6 - link | Solutions 6 - link | |
| Exercise 7 - link | Solutions 7 - link | |
| Exercise 8 - link | Solutions 8 - link | |
| Exercises on Probability 2 | ||
|---|---|---|
| Exercise 0 - link | Solutions 0 - link | |
| Exercise 1 - link | Solutions 1 - link | |
| Exercise 2 - link | Solutions 2 - link | |
| Exercise 3 - link | Solutions 3 - link | |
| Exercise 4 - link | Solutions 4 - link | |
| Exercise 5 - link | Solutions 5 - link | |
| Exercise 6 - link | Solutions 6 - link | |
| Exercise 7 - link | Solutions 7 - link | |
| Exercise 8 - link | Solutions 8 - link | |
| Exercise 9 - link | Solutions 9 - link | |
| Exercise 10 - link | Solutions 10 - link | |
| Exercise 11 - link | Solutions 11 - link | |
| Exercise 12 - link | Solutions 12 - link | |
| Exercise 13 - link | Solutions 13 - link | |
| Projects on Calculus | ||
|---|---|---|
| Projects derivation- link | Projects integration - link | |
.