Monday seminar

Our regular monday seminar takes place at Faculty of Information Technology in building TH:A, room 1247. We start at 01:00 PM, refreshment 🍽️ is usually available from 12:15 PM in the kitchen on the same floor. All talks are streamed via Zoom.

Next seminar ()

Robert Hancock: Typical Ramsey properties of the primes and abelian groups

Given a matrix \(A\) with integer entries, a subset \(S\) of an abelian group and integer \(r\) we say that \(S\) is \((A,r)\)-Rado if any \(r\)-colouring of \(S\) yields a monochromatic solution to the system of equations \(Ax=0\). A classical result of Rado characterises all those matrices \(A\) such that the natural numbers are \((A,r)\)-Rado for all integers \(r\). Rödl and Ruciński and Friedgut, Rödl and Schacht proved a random version of Rado’s theorem where one considers a random subset of \([n]:=\{1,..,n\}\).

We investigate the analogous random Ramsey problem in the more general setting of abelian groups. Given a sequence \(S_n\) of finite subsets of abelian groups, let \(S_{n,p}\) be a random subset of \(S_n\) obtained by including each element of \(S_n\) independently with probability \(p\). We are interested in determining the probability threshold for \(S_{n,p}\) being \((A,r)\)-Rado.

Our main result is a general black box for hypergraphs which we use to tackle problems of this type. Using this tool in conjunction with a series of supersaturation results, we determine the probability threshold for a number of different cases. A consequence of the Green-Tao theorem is the van der Waerden theorem for the primes: every finite colouring of the primes contains arbitrarily long monochromatic arithmetic progressions. Using our machinery, we obtain a random version of this result. We also prove a novel supersaturation result for \([n]^d\) and use it to prove an integer lattice generalisation of the random version of Rado’s theorem.

Joint work with Andrea Freschi (Alfréd Rényi Institute of Mathematics) and Andrew Treglown (University of Birmingham)

Full Schedule

8 Dec 2025 Foivos Fioravantes Exact Algorithms for Distance to Unique Vertex Cover
1 Dec 2025 Robert Hancock Typical Ramsey properties of the primes and abelian groups
24 Nov 2025 Jan Grebík Translational monotilings 🎥
3 Nov 2025 Maria Saumell Mendiola Guarding a 1.5D terrain with Imprecise Viewpoints 🎥
27 Oct 2025 Jan Jedelský Transductions between sparse graph classes
20 Oct 2025 Krisztina Szilágyi Fine-Grained Complexity of Computing Degree-Constrained Spanning Trees 🎥
13 Oct 2025 Jan Matyáš Křišťan Heterogeneous facility location game with discrete utility 🎥
29 Sep 2025 Tomáš Jakl A categorical view on the Constraint Satisfaction Problem: the wonderland of adjunctions
22 Sep 2025 Petr Laštovička NAC-coloring search: complexity and algorithms 🎥
23 Jun 2025 Eduard Eiben The Parameterized Complexity of Coordinated Motion Planning
12 May 2025 Daniela Černá Shattering triples with six permutations 🎥
5 May 2025 Alexander Clifton Rainbow Separating Path Systems 🎥
28 Apr 2025 Michal Opler Solving Multiagent Path Finding on Highly Centralized Networks 🎥
14 Apr 2025 Bartłomiej Kielak Curves on the torus with few intersections 🎥
7 Apr 2025 Jan Starý Ultrafilters as dictators 🎥
31 Mar 2025 Lluís Sabater Rojas Eliminating Majority Illusions 🎥
24 Mar 2025 Václav Blažej On the Parameterized Complexity of Eulerian Strong Component Arc Deletion 🎥
17 Mar 2025 Herman Goulet-Ouellet Density of group languages under ergodic probability measures 🎥
3 Mar 2025 Václav Rozhoň Applications of beyond-worst-case heaps 🎥
2 Mar 2025 David Bradley-Williams Extending partial automorphisms of graphs
24 Feb 2025 Jan Matyáš Křišťan Decreasing verification radius in local certification 🎥
17 Feb 2025 Petr Šťastný Symbolic Execution of Interpreted Languages 🎥
9 Dec 2024 Václav Blažej Flow Augmentation - Solving edge cutting problems using a cutting-edge method
2 Dec 2024 Tung Anh Vu (Near)-Optimal Algorithms for Sparse Separable Convex Integer Programs 🎥
25 Nov 2024 Ondřej Suchý Parameterized Algorithms for Traveling Salesperson Problem and Its Generalizations 🎥
18 Nov 2024 Krisztina Szilágyi XNLP-hardness of Parameterized Problems on Planar Graphs 🎥
11 Nov 2024 Jan Legerský Flexibility, NAC-colorings and stable cuts 🎥
4 Nov 2024 Foivos Fioravantes A parameterized point of view on forming small coalitions 🎥
21 Oct 2024 Tomáš Jakl Introducing project ALGACOM - Algorithms and Game Comonads
14 Oct 2024 Manolis Vasilakis Structural Parameterizations for Bounded Degree Vertex Deletion Revisited 🎥
7 Oct 2024 Michal Opler An Optimal Algorithm for Sorting Pattern-Avoiding Sequences 🎥
30 Sep 2024 Nikolaos Melissinos Parameterised distance to local irregularity 🎥
23 Sep 2024 Tesshu Hanaka Multi Agent Path Finding with Crossing Cost 🎥
23 Sep 2024 Hirotaka Ono Theoretical Aspects of Generating Instances with Unique Solutions: Pre-assignment Models for Unique Vertex Cover 🎥
13 May 2024 Pavel Dvořák Almost Complete Characterization of Functionality of Random Graphs 🎥
6 May 2024 Michal Opler Optimization with pattern-avoiding input 🎥
29 Apr 2024 Jan Matyáš Křišťan Reconfiguration Using Generalized Token Jumping 🎥
22 Apr 2024 Grzegorz Lisowski Discovering Hidden Subelections 🎥
15 Apr 2024 Jan Starý Ramsey properties of ultrafilters 🎥
8 Apr 2024 Jan Volec Subgraphs with a positive minimum semidegree in digraphs with large outdegree 🎥
25 Mar 2024 José Gaspar Smutný The Parameterized Complexity of Maximum Betweenness Centrality 🎥
18 Mar 2024 Foivos Fioravantes Exact Algorithms and Lowerbounds for Multiagent Path Finding: Power of Treelike Topology
11 Mar 2024 Dominika Draesslerová Taxonomic classification with maximal exact matches in KATKA kernels and minimizer digests
26 Feb 2024 Štěpán Plachý Shortest Characteristic Factors of a Deterministic Finite Automaton and Computing Its Positive Position Run by Pattern Set Matching 🎥
19 Feb 2024 Radovan Červený Generating faster algorithms for d-Path Vertex Cover 🎥
18 Dec 2023 Gaurav Kucheriya Characterization of edge-ordered graphs with linear extremal functions
11 Dec 2023 Maria Saumell Mendiola Computing largest minimum color-spanning intervals of imprecise points
4 Dec 2023 Michal Opler The Hierarchy of Hereditary Sorting Operators 🎥
27 Nov 2023 Matěj Konečný EPPA numbers of graphs 🎥
20 Nov 2023 Arun Kumar Das Approximation Algorithms for Orthogonal Line Centers
13 Nov 2023 Denys Bulavka Strict Erdős-Ko-Rado theorems for simplicial complexes 🎥
6 Nov 2023 Martin Doležal Categorical approach to graph limits
30 Oct 2023 Nikolaos Melissinos Odd Chromatic Number of Graph Classes 🎥
23 Oct 2023 Jan Matyáš Křišťan Shortest Dominating Set Reconfiguration under Token Sliding 🎥
16 Oct 2023 Rostilav Horčík Classical Planning and Cost-Adversarial Planning Games 🎥
9 Oct 2023 Foivos Fioravantes Recontamination helps a lot to hunt a rabbit 🎥
2 Oct 2023 Ondřej Guth On expressive power of regular expressions with subroutine calls and lookaround assertions 🎥
25 Sep 2023 Pavel Dvořák Sliding Window Algorithms for Weighted Matching 🎥
5 Jun 2023 Harmender Gahlawat On the cop number of string graphs 🎥
22 May 2023 Ivan Bliznets Fair Division with Minimal Withheld Information in Social Networks 🎥
15 May 2023 Michal Dvořák Establishing Herd Immunity is Hard Even in Simple Geometric Networks 🎥
2 May 2023 Kristýna Pekárková Matrices with Bounded Graver Bases
24 Apr 2023 Jan Starý Unfriendly Partitions 🎥
17 Apr 2023 Vít Jelínek On Fishburn numbers 🎥
3 Apr 2023 Štěpán Plachý On the smallest synchronizing terms of finite tree automata
27 Mar 2023 Kristina Asimi Promise CSP (standard and seen from the other side) 🎥
20 Mar 2023 Kristian Hengster-Movric Models of Disagreement and Polarization on Social Networks 🎥
13 Mar 2023 Václav Blažej Constrained Level Planarity
6 Mar 2023 Nikolaos Melissinos Digraph Coloring and Distance to Acyclicity 🎥
27 Feb 2023 Radek Hušek Counting Cycle Double Covers 🎥
20 Feb 2023 Jan Pokorný The Parameterized Complexity of Network Microaggregation 🎥
12 Dec 2022 Jan Hubička Introduction to big Ramsey degrees 🎥
5 Dec 2022 Jakub Balabán Bounding twin-width using red potential 🎥
28 Nov 2022 Georg Grasegger Paradoxical motions and edge colorings
21 Nov 2022 Kateřina Trlifajová Sizes of countable sets 🎥
14 Nov 2022 Tung Anh Vu Capacitated k-Center in Low Doubling and Highway Dimension
7 Nov 2022 Foivos Fioravantes Complexity of Finding Maximum Locally Irregular Induced Subgraphs 🎥
31 Oct 2022 Michal Opler Griddings of permutations and hardness of pattern matching
24 Oct 2022 Václav Blažej On Polynomial Kernels for Traveling Salesperson Problem and its Generalizations 🎥
17 Oct 2022 Jan Matyáš Křišťan Constant Factor Approximation for Tracking Paths and Fault Tolerant Feedback Vertex Set 🎥
10 Oct 2022 Jocelyn Thiebaut Sparse tournaments and their generalisation 🎥
3 Oct 2022 Dušan Knop Scheduling Kernels via Configuration LP
26 Sep 2022 Antonio Bellon Time-Varying Semidefinite Programming: Geometry of the Trajectory of Solutions 🎥
19 Sep 2022 Jan Volec The sixth Ramsey number is at most 147
2 May 2022 Petr Fišer SAT-Based Generation of Optimum Circuits 🎥
25 Apr 2022 Pavel Paták Shellability 🎥
11 Apr 2022 Francesco Dolce Representing infinite words on cellular automata
4 Apr 2022 Tomáš Jakl Game comonads in Finite Model Theory 🎥
28 Mar 2022 Michal Opler Long paths, deep trees and permutation pattern-counting 🎥
14 Mar 2022 Jan Legerský Flexibility of braced Penrose tilings and other infinite frameworks 🎥
7 Mar 2022 Sanjukta Roy Fractional Matchings under Preferences: Stability and Optimality 🎥
28 Feb 2022 Pavel Hrabák Agents Heterogeneity in Cellular Models of Pedestrian Flow 🎥
21 Feb 2022 Christoph Kirsch Quantum Advantage for All 🎥
14 Feb 2022 Jocelyn Thiebaut On the Approximation Hardness of Geodetic Set and its Variants 🎥
13 Dec 2021 Abhishek Sahu Dynamic Parameterized Problems 🎥
6 Dec 2021 Filip Křikava Large-scale program analysis for language evolution 🎥
22 Nov 2021 Eng Keat Hng Minimum Degree Conditions for Powers of Cycles and Paths 🎥
15 Nov 2021 Maria Saumell Mendiola Minimum Color Spanning Circle in Imprecise Setup 🎥
8 Nov 2021 Ondřej Suchý Beyond Max-Cut: λ-Extendible Properties Parameterized Above the Poljak-Turzík Bound 🎥
1 Nov 2021 Robert Šámal Interval representation of balanced separators in graphs avoiding a minor 🎥
25 Oct 2021 Andreas Emil Feldmann The Parameterized Complexity of the Survivable Network Design Problem 🎥
18 Oct 2021 Václav Blažej Bears with Hats and Independence Polynomials 🎥
16 Oct 2021 Maria Saumell Mendiola Minimum Color Spanning Circle in Imprecise Setup
11 Oct 2021 Ondřej Guth Automata Approach to Inexact Tree Pattern Matching Using 1-degree Edit Distance 🎥
4 Oct 2021 Jan Volec Existence of common graphs with large chromatic number 🎥
20 Sep 2021 Radovan Červený On Kernels for d-Path Vertex Cover 🎥