Showing 1–36 of 36 results for author: Grebík, J

Convergence of spectra of digraph limits

Authors: Jan Grebík, Daniel Král', Xizhi Liu, Oleg Pikhurko, Julia Slipantschuk

Abstract: The relation between densities of cycles and the spectrum of a graphon, which implies that the spectra of convergent graphons converge, fundamentally relies on the self-adjointness of the linear operator associated with a graphon. In this short paper, we consider the setting of digraphons, which are limits of directed graphs, and prove that the spectra of convergent digraphons converge. Using this… ▽ More The relation between densities of cycles and the spectrum of a graphon, which implies that the spectra of convergent graphons converge, fundamentally relies on the self-adjointness of the linear operator associated with a graphon. In this short paper, we consider the setting of digraphons, which are limits of directed graphs, and prove that the spectra of convergent digraphons converge. Using this result, we establish the relation between densities of directed cycles and the spectrum of a digraphon. △ Less

Submitted 4 June, 2025; originally announced June 2025.

Poisson-Voronoi percolation in higher rank

Authors: Jan Grebík, Konstantin Recke

Abstract: We show that the uniqueness thresholds for Poisson-Voronoi percolation in symmetric spaces of connected higher rank semisimple Lie groups with property (T) converge to zero in the low-intensity limit. This phenomenon is fundamentally different from situations in which Poisson-Voronoi percolation has previously been studied. Our approach builds on a recent breakthrough of Fraczyk, Mellick and Wil… ▽ More We show that the uniqueness thresholds for Poisson-Voronoi percolation in symmetric spaces of connected higher rank semisimple Lie groups with property (T) converge to zero in the low-intensity limit. This phenomenon is fundamentally different from situations in which Poisson-Voronoi percolation has previously been studied. Our approach builds on a recent breakthrough of Fraczyk, Mellick and Wilkens (arXiv:2307.01194) and provides an alternative proof strategy for Gaboriau's fixed price problem. As a further application of our result, we give a new class of examples of non-amenable Cayley graphs that admit factor of iid bond percolations with a unique infinite cluster and arbitrarily small expected degree, answering a question inspired by Hutchcroft-Pete (Invent. math. 221 (2020)).} △ Less

Submitted 3 April, 2025; originally announced April 2025.

Comments: 51 pages

From descriptive to distributed

Authors: Jan Grebík, Zoltán Vidnyánszky

Abstract: In the past couple of years a rich connection has been found between the fields of descriptive set theory and distributed computing. Frequently, and less surprisingly, finitary algorithms can be adopted to the infinite setting, resulting in theorems about infinite, definable graphs. In this survey, we take a different perspective and illustrate how results and ideas from descriptive set theory pro… ▽ More In the past couple of years a rich connection has been found between the fields of descriptive set theory and distributed computing. Frequently, and less surprisingly, finitary algorithms can be adopted to the infinite setting, resulting in theorems about infinite, definable graphs. In this survey, we take a different perspective and illustrate how results and ideas from descriptive set theory provide new insights and techniques to the theory of distributed computing. We focus on the two classical topics from graph theory, vertex and edge colorings. After summarizing the up-to-date results from both areas, we discuss the adaptation of Marks' games method to the LOCAL model of distributed computing and the development of the multi-step Vizing's chain technique, which led to the construction of the first non-trivial distributed algorithms for Vizing colorings. We provide a list of related open problems to complement our discussion. Finally, we describe an efficient deterministic distributed algorithm for Brooks coloring on graphs of subexponential growth. △ Less

Submitted 21 February, 2025; originally announced February 2025.

Fractional Divisibility of Spheres with Partially Generic Sets of Rotations

Authors: Jan Grebík, Christian Ikenmeyer, Oleg Pikhurko

Abstract: We say that an r-tuple $(g_1,...,g_r)$ of special orthogonal $d\times d$ matrices fractionally divides the $(d-1)$-dimensional sphere $S$ if there is a non-constant function in $L^2(S)$ such that its translations by $g_1,...,g_r$ sum up to the constant-1 function. Our main result shows, informally speaking, that fractional divisibility is impossible if at least $r/2$ rotations are ``generic". We say that an r-tuple $(g_1,...,g_r)$ of special orthogonal $d\times d$ matrices fractionally divides the $(d-1)$-dimensional sphere $S$ if there is a non-constant function in $L^2(S)$ such that its translations by $g_1,...,g_r$ sum up to the constant-1 function. Our main result shows, informally speaking, that fractional divisibility is impossible if at least $r/2$ rotations are ``generic". △ Less

Submitted 23 January, 2025; originally announced January 2025.

Comments: 9 pages

Complexity of Linear Equations and Infinite Gadgets

Authors: Jan Grebík, Zoltán Vidnyánszky

Abstract: We investigate the descriptive set-theoretic complexity of the solvability of a Borel family of linear equations over a finite field. Answering a question of Thornton, we show that this problem is already hard, namely $Σ^1_2$-complete. This implies that the split between easy and hard problems is at a different place in the Borel setting than in the case of the CSP Dichotomy. We investigate the descriptive set-theoretic complexity of the solvability of a Borel family of linear equations over a finite field. Answering a question of Thornton, we show that this problem is already hard, namely $Σ^1_2$-complete. This implies that the split between easy and hard problems is at a different place in the Borel setting than in the case of the CSP Dichotomy. △ Less

Submitted 10 January, 2025; originally announced January 2025.

Complexity of Finite Borel Asymptotic Dimension

Authors: Jan Grebík, Cecelia Higgins

Abstract: We show that the set of locally finite Borel graphs with finite Borel asymptotic dimension is $\mathbfΣ^1_2$-complete. The result is based on a combinatorial characterization of finite Borel asymptotic dimension for graphs generated by a single Borel function. As an application of this characterization, we classify the complexities of digraph homomorphism problems for this class of graphs. We show that the set of locally finite Borel graphs with finite Borel asymptotic dimension is $\mathbfΣ^1_2$-complete. The result is based on a combinatorial characterization of finite Borel asymptotic dimension for graphs generated by a single Borel function. As an application of this characterization, we classify the complexities of digraph homomorphism problems for this class of graphs. △ Less

Submitted 13 November, 2024; originally announced November 2024.

Comments: 15 pages

MSC Class: 03E15 (Primary) 28A05; 05C15 (Secondary)

Periodicity and decidability of translational tilings by rational polygonal sets

Authors: Jaume de Dios Pont, Jan Grebík, Rachel Greenfeld, Jose Madrid

Abstract: The periodic tiling conjecture asserts that if a region $Σ\subset \mathbb R^d$ tiles $\mathbb R^d$ by translations then it admits at least one fully periodic tiling. This conjecture is known to hold in $\mathbb R$, and recently it was disproved in sufficiently high dimensions. In this paper, we study the periodic tiling conjecture for polygonal sets: bounded open sets in $\mathbb R^2$ whose bounda… ▽ More The periodic tiling conjecture asserts that if a region $Σ\subset \mathbb R^d$ tiles $\mathbb R^d$ by translations then it admits at least one fully periodic tiling. This conjecture is known to hold in $\mathbb R$, and recently it was disproved in sufficiently high dimensions. In this paper, we study the periodic tiling conjecture for polygonal sets: bounded open sets in $\mathbb R^2$ whose boundary is a finite union of line segments. We prove the periodic tiling conjecture for any polygonal tile whose vertices are rational. As a corollary of our argument, we also obtain the decidability of tilings by rational polygonal sets. Moreover, we prove that any translational tiling by a rational polygonal tile is weakly-periodic, i.e., can be partitioned into finitely many singly-periodic pieces. △ Less

Submitted 24 September, 2024; v1 submitted 4 August, 2024; originally announced August 2024.

Comments: 15 pages, 6 figures

MSC Class: 03B25; 52C22; 52C23

Large deviation principles for graphon sampling

Authors: Jan Grebík, Oleg Pikhurko

Abstract: We investigate possible large deviation principles (LDPs) for the $n$-vertex sampling from a given graphon with various speeds $s(n)$ and resolve all the cases except when the speed $s(n)$ is of order $n^2$. For quadratic speed $s=(c+o(1))n^2$, we establish an LDP for an arbitrary $k$-step graphon, which extends a result of Chatterjee and Varadhan [Europ. J. Combin., 32 (2011) 1000-1017] who did… ▽ More We investigate possible large deviation principles (LDPs) for the $n$-vertex sampling from a given graphon with various speeds $s(n)$ and resolve all the cases except when the speed $s(n)$ is of order $n^2$. For quadratic speed $s=(c+o(1))n^2$, we establish an LDP for an arbitrary $k$-step graphon, which extends a result of Chatterjee and Varadhan [Europ. J. Combin., 32 (2011) 1000-1017] who did this for $k=1$ (that is, for the homogeneous binomial random graphs). This is done by reducing the problem to the LDP for stochastic $k$-block models established recently by Borgs, Chayes, Gaudio, Petti and Sen ["A large deviation principle for block models", arxiv:2007.14508, 2020]. Also, we improve some results by Borgs et al. △ Less

Submitted 26 April, 2025; v1 submitted 11 November, 2023; originally announced November 2023.

Comments: 41 pages, this manuscript supersedes arXiv:2101.07025, changes in Version 3: doing minor corrections and removing the statements of some standard LDP results

Local version of Vizing's theorem for multi-graphs

Authors: Clinton T. Conley, Jan Grebik, Oleg Pikhurko

Abstract: Extending a result of Christiansen, we prove that every mutli-graph $G=(V,E)$ admits a proper edge colouring $φ:E\to \{1,2,\dots\}$ which is local, that is, $φ(e)\le \max\{d(x)+π(x),d(y)+π(y)\}$ for every edge $e$ with end-points $x,y\in V$, where $d(z)$ (resp.\ $π(z)$) denotes the degree of a vertex $z$ (resp.\ the maximum edge multiplicity at $z$). This is derived from a local version of the Fan… ▽ More Extending a result of Christiansen, we prove that every mutli-graph $G=(V,E)$ admits a proper edge colouring $φ:E\to \{1,2,\dots\}$ which is local, that is, $φ(e)\le \max\{d(x)+π(x),d(y)+π(y)\}$ for every edge $e$ with end-points $x,y\in V$, where $d(z)$ (resp.\ $π(z)$) denotes the degree of a vertex $z$ (resp.\ the maximum edge multiplicity at $z$). This is derived from a local version of the Fan Equation. △ Less

Submitted 2 May, 2024; v1 submitted 7 June, 2023; originally announced June 2023.

Comments: 10 pages, minor revision

Measurable Vizing's theorem

Authors: Jan Grebík

Abstract: We prove a full measurable version of Vizing's theorem for bounded degree Borel graphs, that is, we show that every Borel graph $\mathcal{G}$ of degree uniformly bounded by $Δ\in \mathbb{N}$ defined on a standard probability space $(X,μ)$ admits a $μ$-measurable proper edge coloring with $(Δ+1)$-many colors. This answers a question of Marks [Question 4.9, J. Amer. Math. Soc. 29 (2016)] also stated… ▽ More We prove a full measurable version of Vizing's theorem for bounded degree Borel graphs, that is, we show that every Borel graph $\mathcal{G}$ of degree uniformly bounded by $Δ\in \mathbb{N}$ defined on a standard probability space $(X,μ)$ admits a $μ$-measurable proper edge coloring with $(Δ+1)$-many colors. This answers a question of Marks [Question 4.9, J. Amer. Math. Soc. 29 (2016)] also stated in Kechris and Marks as a part of [Problem 6.13, survey (2020)], and extends the result of the author and Pikhurko [Adv. Math. 374, (2020)] who derived the same conclusion under the additional assumption that the measure $μ$ is $\mathcal{G}$-invariant. △ Less

Submitted 26 July, 2024; v1 submitted 28 March, 2023; originally announced March 2023.

Comments: We were informed by Gabor Elek that our result about bounded cocycle (Theorem 1.2) was previously established by Gabriella Kuhn. Reference and discussion of this result has been added

Ramsey, expanders, and Borel chromatic numbers

Authors: Jan Grebík, Zoltán Vidnyánszky

Abstract: We construct bounded degree acyclic Borel graphs with large Borel chromatic number using a graph arising from Ramsey theory and limits of expander sequences. We construct bounded degree acyclic Borel graphs with large Borel chromatic number using a graph arising from Ramsey theory and limits of expander sequences. △ Less

Submitted 3 May, 2022; originally announced May 2022.

Deterministic Distributed algorithms and Descriptive Combinatorics on Δ-regular trees

Authors: Sebastian Brandt, Yi-Jun Chang, Jan Grebík, Christoph Grunau, Václav Rozhoň, Zoltán Vidnyánszky

Abstract: We study complexity classes of local problems on regular trees from the perspective of distributed local algorithms and descriptive combinatorics. We show that, surprisingly, some deterministic local complexity classes from the hierarchy of distributed computing exactly coincide with well studied classes of problems in descriptive combinatorics. Namely, we show that a local problem admits a contin… ▽ More We study complexity classes of local problems on regular trees from the perspective of distributed local algorithms and descriptive combinatorics. We show that, surprisingly, some deterministic local complexity classes from the hierarchy of distributed computing exactly coincide with well studied classes of problems in descriptive combinatorics. Namely, we show that a local problem admits a continuous solution if and only if it admits a local algorithm with local complexity $O(\log^* n)$, and a Baire measurable solution if and only if it admits a local algorithm with local complexity $O(\log n)$. △ Less

Submitted 20 April, 2022; originally announced April 2022.

Comments: This paper is an extension of some parts of the conference paper "Local Problems on Trees from the Perspectives of Distributed Algorithms, Finitary Factors, and Descriptive Combinatorics (arXiv:2106.02066)

Measurable tilings by abelian group actions

Authors: Jan Grebík, Rachel Greenfeld, Václav Rozhoň, Terence Tao

Abstract: Let $X$ be a measure space with a measure-preserving action $(g,x) \mapsto g \cdot x$ of an abelian group $G$. We consider the problem of understanding the structure of measurable tilings $F \odot A = X$ of $X$ by a measurable tile $A \subset X$ translated by a finite set $F \subset G$ of shifts, thus the translates $f \cdot A$, $f \in F$ partition $X$ up to null sets. Adapting arguments from prev… ▽ More Let $X$ be a measure space with a measure-preserving action $(g,x) \mapsto g \cdot x$ of an abelian group $G$. We consider the problem of understanding the structure of measurable tilings $F \odot A = X$ of $X$ by a measurable tile $A \subset X$ translated by a finite set $F \subset G$ of shifts, thus the translates $f \cdot A$, $f \in F$ partition $X$ up to null sets. Adapting arguments from previous literature, we establish a "dilation lemma" that asserts, roughly speaking, that $F \odot A = X$ implies $F^r \odot A = X$ for a large family of integer dilations $r$, and use this to establish a structure theorem for such tilings analogous to that established recently by the second and fourth authors. As applications of this theorem, we completely classify those random tilings of finitely generated abelian groups that are "factors of iid", and show that measurable tilings of a torus $\mathbb{T}^d$ can always be continuously (in fact linearly) deformed into a tiling with rational shifts, with particularly strong results in the low-dimensional cases $d=1,2$ (in particular resolving a conjecture of Conley, the first author, and Pikhurko in the $d=1$ case). △ Less

Submitted 24 February, 2023; v1 submitted 2 March, 2022; originally announced March 2022.

Comments: 3 figures

MSC Class: 52C22

On Homomorphism Graphs

Authors: Sebastian Brandt, Yi-Jun Chang, Jan Grebík, Christoph Grunau, Václav Rozhoň, Zoltán Vidnyánszky

Abstract: We introduce a new type of examples of bounded degree acyclic Borel graphs and study their combinatorial properties in the context of descriptive combinatorics, using a generalization of the determinacy method of Marks. The motivation for the construction comes from the adaptation of this method to the LOCAL model of distributed computing. Our approach unifies the previous results in the area, as… ▽ More We introduce a new type of examples of bounded degree acyclic Borel graphs and study their combinatorial properties in the context of descriptive combinatorics, using a generalization of the determinacy method of Marks. The motivation for the construction comes from the adaptation of this method to the LOCAL model of distributed computing. Our approach unifies the previous results in the area, as well as produces new ones. In particular, we show that for $Δ>2$ it is impossible to give a simple characterization of acyclic $Δ$-regular Borel graphs with Borel chromatic number at most $Δ$: such graphs form a $\mathbfΣ^1_2$-complete set. This implies a strong failure of Brooks'-like theorems in the Borel context. △ Less

Submitted 29 April, 2024; v1 submitted 5 November, 2021; originally announced November 2021.

Journal ref: Forum of Mathematics, Pi 12 (2024) e10

Approximate Schreier decorations and approximate Kőnig's line coloring Theorem

Authors: Jan Grebik

Abstract: Following recent result of L. M. T\' oth [arXiv:1906.03137] we show that every $2Δ$-regular Borel graph $\mathcal{G}$ with a (not necessarily invariant) Borel probability measure admits approximate Schreier decoration. In fact, we show that both ingredients from the analogous statements for finite graphs have approximate counterparts in the measurable setting, i.e., approximate Kőnig's line colori… ▽ More Following recent result of L. M. T\' oth [arXiv:1906.03137] we show that every $2Δ$-regular Borel graph $\mathcal{G}$ with a (not necessarily invariant) Borel probability measure admits approximate Schreier decoration. In fact, we show that both ingredients from the analogous statements for finite graphs have approximate counterparts in the measurable setting, i.e., approximate Kőnig's line coloring Theorem for Borel graphs without odd cycles and approximate balanced orientation for even degree Borel graphs. △ Less

Submitted 5 October, 2021; originally announced October 2021.

Comments: Accepted by Annales Henri Lebesgue, 11pp

MSC Class: 37A50; 03E15; 20E05; 05C15; 28A05

Borel equivalence relations induced by actions of tsi Polish groups

Authors: Jan Grebík

Abstract: We study Borel equivalence relations induced by Borel actions of tsi Polish groups on standard Borel spaces. We characterize when such an equivalence relation admits classification by countable structures using a variant of the $\mathbb G_0$-dichotomy. In particular, we find a class that serves as a base for non-classification by countable structures for these equivalence relations under Borel red… ▽ More We study Borel equivalence relations induced by Borel actions of tsi Polish groups on standard Borel spaces. We characterize when such an equivalence relation admits classification by countable structures using a variant of the $\mathbb G_0$-dichotomy. In particular, we find a class that serves as a base for non-classification by countable structures for these equivalence relations under Borel reducibility. We use this characterization together with the result of [B. D. Miller, to appear in the Journal of Mathematical Logic] to show that if such an equivalence relation admits classification by countable structures but it is not essentially countable, then the equivalence relation ${\mathbb E}^{\mathbb N}_0=\mathbb E_3$ Borel reduces to it. △ Less

Submitted 30 July, 2021; originally announced July 2021.

Local Problems on Trees from the Perspectives of Distributed Algorithms, Finitary Factors, and Descriptive Combinatorics

Authors: Sebastian Brandt, Yi-Jun Chang, Jan Grebík, Christoph Grunau, Václav Rozhoň, Zoltán Vidnyánszky

Abstract: We study connections between distributed local algorithms, finitary factors of iid processes, and descriptive combinatorics in the context of regular trees. We extend the Borel determinacy technique of Marks coming from descriptive combinatorics and adapt it to the area of distributed computing. Using this technique, we prove deterministic distributed $Ω(\log n)$-round lower bounds for problems… ▽ More We study connections between distributed local algorithms, finitary factors of iid processes, and descriptive combinatorics in the context of regular trees. We extend the Borel determinacy technique of Marks coming from descriptive combinatorics and adapt it to the area of distributed computing. Using this technique, we prove deterministic distributed $Ω(\log n)$-round lower bounds for problems from a natural class of homomorphism problems. Interestingly, these lower bounds seem beyond the current reach of the powerful round elimination technique responsible for all substantial locality lower bounds of the last years. Our key technical ingredient is a novel ID graph technique that we expect to be of independent interest. We prove that a local problem admits a Baire measurable coloring if and only if it admits a local algorithm with local complexity $O(\log n)$, extending the classification of Baire measurable colorings of Bernshteyn. A key ingredient of the proof is a new and simple characterization of local problems that can be solved in $O(\log n)$ rounds. We complement this result by showing separations between complexity classes from distributed computing, finitary factors, and descriptive combinatorics. Most notably, the class of problems that allow a distributed algorithm with sublogarithmic randomized local complexity is incomparable with the class of problems with a Borel solution. We hope that our treatment will help to view all three perspectives as part of a common theory of locality, in which we follow the insightful paper of [Bernshteyn -- arXiv 2004.04905]. △ Less

Submitted 3 June, 2021; originally announced June 2021.

Classification of Local Problems on Paths from the Perspective of Descriptive Combinatorics

Authors: Jan Grebík, Václav Rozhoň

Abstract: We classify which local problems with inputs on oriented paths have so-called Borel solution and show that this class of problems remains the same if we instead require a measurable solution, a factor of iid solution, or a solution with the property of Baire. Together with the work from the field of distributed computing [Balliu et al. PODC 2019], the work from the field of descriptive combinato… ▽ More We classify which local problems with inputs on oriented paths have so-called Borel solution and show that this class of problems remains the same if we instead require a measurable solution, a factor of iid solution, or a solution with the property of Baire. Together with the work from the field of distributed computing [Balliu et al. PODC 2019], the work from the field of descriptive combinatorics [Gao et al. arXiv:1803.03872, Bernshteyn arXiv:2004.04905] and the work from the field of random processes [Holroyd et al. Annals of Prob. 2017, Grebík, Rozhoň arXiv:2103.08394], this finishes the classification of local problems with inputs on oriented paths using complexity classes from these three fields. A simple picture emerges: there are four classes of local problems and most classes have natural definitions in all three fields. Moreover, we now know that randomness does \emph{not} help with solving local problems on oriented paths. △ Less

Submitted 25 March, 2021; originally announced March 2021.

Local Problems on Grids from the Perspective of Distributed Algorithms, Finitary Factors, and Descriptive Combinatorics

Authors: Jan Grebík, Václav Rozhoň

Abstract: We present an intimate connection among the following fields: (a) distributed local algorithms: coming from the area of computer science, (b) finitary factors of iid processes: coming from the area of analysis of randomized processes, (c) descriptive combinatorics: coming from the area of combinatorics and measure theory. In particular, we study locally checkable labellings in grid graphs… ▽ More We present an intimate connection among the following fields: (a) distributed local algorithms: coming from the area of computer science, (b) finitary factors of iid processes: coming from the area of analysis of randomized processes, (c) descriptive combinatorics: coming from the area of combinatorics and measure theory. In particular, we study locally checkable labellings in grid graphs from all three perspectives. Most of our results are for the perspective (b) where we prove time hierarchy theorems akin to those known in the field (a) [Chang, Pettie FOCS 2017]. This approach that borrows techniques from the fields (a) and (c) implies a number of results about possible complexities of finitary factor solutions. Among others, it answers three open questions of [Holroyd et al. Annals of Prob. 2017] or the more general question of [Brandt et al. PODC 2017] who asked for a formal connection between the fields (a) and (b). In general, we hope that our treatment will help to view all three perspectives as a part of a common theory of locality, in which we follow the insightful paper of [Bernshteyn 2020+] . △ Less

Submitted 25 July, 2023; v1 submitted 15 March, 2021; originally announced March 2021.

Large Deviation Principles for Block and Step Graphon Random Graph Models

Authors: Jan Grebík, Oleg Pikhurko

Abstract: Borgs, Chayes, Gaudio, Petti and Sen [arXiv:2007.14508] proved a large deviation principle for block model random graphs with rational block ratios. We strengthen their result by allowing any block ratios (and also establish a simpler formula for the rate function). We apply the new result to derive a large deviation principle for graph sampling from any given step graphon. Borgs, Chayes, Gaudio, Petti and Sen [arXiv:2007.14508] proved a large deviation principle for block model random graphs with rational block ratios. We strengthen their result by allowing any block ratios (and also establish a simpler formula for the rate function). We apply the new result to derive a large deviation principle for graph sampling from any given step graphon. △ Less

Submitted 23 November, 2023; v1 submitted 18 January, 2021; originally announced January 2021.

Comments: 18 pages; this preprint is fully superseded by arXiv:2311.06531, as its all main results are included (with the same proofs) into the latter

MSC Class: 05C80; 60F10

Divisibility of Spheres with Measurable Pieces

Authors: Clinton T. Conley, Jan Grebík, Oleg Pikhurko

Abstract: For an $r$-tuple $(γ_1,\ldots,γ_r)$ of special orthogonal $d\times d$ matrices, we say that the Euclidean $(d-1)$-dimensional sphere $S^{d-1}$ is $(γ_1,\ldots,γ_r)$-divisible if there is a subset $A\subseteq S^{d-1}$ such that its translations by the rotations $γ_1,\ldots,γ_r$ partition the sphere. Motivated by some old open questions of Mycielski and Wagon, we investigate the version of this noti… ▽ More For an $r$-tuple $(γ_1,\ldots,γ_r)$ of special orthogonal $d\times d$ matrices, we say that the Euclidean $(d-1)$-dimensional sphere $S^{d-1}$ is $(γ_1,\ldots,γ_r)$-divisible if there is a subset $A\subseteq S^{d-1}$ such that its translations by the rotations $γ_1,\ldots,γ_r$ partition the sphere. Motivated by some old open questions of Mycielski and Wagon, we investigate the version of this notion where the set $A$ has to be measurable with respect to the spherical measure. Our main result shows that measurable divisibility is impossible for a "generic" (in various meanings) $r$-tuple of rotations. This is in stark contrast to the recent result of Conley, Marks and Unger which implies that, for every "generic" $r$-tuple, divisibility is possible with parts that have the property of Baire. △ Less

Submitted 9 July, 2022; v1 submitted 9 December, 2020; originally announced December 2020.

Comments: 34 pages, minor changes, accepted by L'Enseignement Mathematique

MSC Class: 03E15; 28A05; 33C55; 43A90; 57M60

Tall $F_σ$ subideals of tall analytic ideals

Authors: Jan Grebík, Zoltán Vidnyánszky

Abstract: Answering a question of Hrušák, we show that every analytic tall ideal on $ω$ contains an $F_σ$ tall ideal. We also give an example of an $F_σ$ tall ideal without a Borel selector. Answering a question of Hrušák, we show that every analytic tall ideal on $ω$ contains an $F_σ$ tall ideal. We also give an example of an $F_σ$ tall ideal without a Borel selector. △ Less

Submitted 28 September, 2020; originally announced September 2020.

Scrambled Cantor sets

Authors: Stefan Geschke, Jan Grebík, Benjamin D. Miller

Abstract: We show that Li-Yorke chaos ensures the existence of a scrambled Cantor set. We show that Li-Yorke chaos ensures the existence of a scrambled Cantor set. △ Less

Submitted 11 September, 2020; v1 submitted 15 June, 2020; originally announced June 2020.

Comments: We have added several references in an attempt to better motivate our main result and clarify its relationship to previous work, and shifted the focus of the paper to the special case of what was previously our main result that should be of greatest interest to those working in dynamical systems

MSC Class: 03E15; 28A05; 37B05

$σ$-Lacunary actions of Polish groups

Authors: Jan Grebik

Abstract: We show that every essentially countable orbit equivalence relation induced by a continuous action of a Polish group on a Polish space is $σ$-lacunary. In combination with [Invent. Math.201 (1), 309-383, 2015] we obtain a straightforward proof of the result from [Adv. Math.307, 312-343,2017] that every essentially countable equivalence relation that is induced by an action of abelian non-archimede… ▽ More We show that every essentially countable orbit equivalence relation induced by a continuous action of a Polish group on a Polish space is $σ$-lacunary. In combination with [Invent. Math.201 (1), 309-383, 2015] we obtain a straightforward proof of the result from [Adv. Math.307, 312-343,2017] that every essentially countable equivalence relation that is induced by an action of abelian non-archimedean Polish group is essentially hyperfinite. △ Less

Submitted 18 July, 2020; v1 submitted 16 January, 2020; originally announced January 2020.

MSC Class: 03E15; 28A05

Journal ref: Proc. Amer. Math. Soc. 148 (2020), no. 8, 3583-3589

Fractional Isomorphism of Graphons

Authors: Jan Grebík, Israel Rocha

Abstract: We work out the theory of fractional isomorphism of graphons as a generalization to the classical theory of fractional isomorphism of finite graphs. The generalization is given in terms of homomorphism densities of finite trees and it is characterized in terms of distributions on iterated degree measures, Markov operators, weak isomorphism of a conditional expectation with respect to invariant sub… ▽ More We work out the theory of fractional isomorphism of graphons as a generalization to the classical theory of fractional isomorphism of finite graphs. The generalization is given in terms of homomorphism densities of finite trees and it is characterized in terms of distributions on iterated degree measures, Markov operators, weak isomorphism of a conditional expectation with respect to invariant sub-$σ$-algebras and isomorphism of certain quotients of given graphons. △ Less

Submitted 4 February, 2021; v1 submitted 9 September, 2019; originally announced September 2019.

Measurable versions of Vizing's theorem

Authors: Jan Grebík, Oleg Pikhurko

Abstract: We establish two versions of Vizing's theorem for Borel multi-graphs whose vertex degrees and edge multiplicities are uniformly bounded by respectively $Δ$ and $π$. The ``approximate'' version states that, for any Borel probability measure on the edge set and any $ε>0$, we can properly colour all but $ε$-fraction of edges with $Δ+π$ colours in a Borel way. The ``measurable'' version, which is our… ▽ More We establish two versions of Vizing's theorem for Borel multi-graphs whose vertex degrees and edge multiplicities are uniformly bounded by respectively $Δ$ and $π$. The ``approximate'' version states that, for any Borel probability measure on the edge set and any $ε>0$, we can properly colour all but $ε$-fraction of edges with $Δ+π$ colours in a Borel way. The ``measurable'' version, which is our main result, states that if, additionally, the measure is invariant, then there is a measurable proper edge colouring of the whole edge set with at most $Δ+π$ colours. △ Less

Submitted 18 July, 2020; v1 submitted 5 May, 2019; originally announced May 2019.

Cut distance identifying graphon parameters over weak* limits

Authors: Martin Doležal, Jan Grebík, Jan Hladký, Israel Rocha, Václav Rozhoň

Abstract: The theory of graphons comes with the so-called cut norm and the derived cut distance. The cut norm is finer than the weak* topology (when considering the predual of $L^{1}$-functions). Doležal and Hladký [J. Combin. Theory Ser. B 137 (2019), 232-263] showed, that given a sequence of graphons, a cut distance accumulation graphon can be pinpointed in the set of weak* accumulation points as a minimi… ▽ More The theory of graphons comes with the so-called cut norm and the derived cut distance. The cut norm is finer than the weak* topology (when considering the predual of $L^{1}$-functions). Doležal and Hladký [J. Combin. Theory Ser. B 137 (2019), 232-263] showed, that given a sequence of graphons, a cut distance accumulation graphon can be pinpointed in the set of weak* accumulation points as a minimizer of the entropy. Motivated by this, we study graphon parameters with the property that their minimizers or maximizers identify cut distance accumulation points over the set of weak* accumulation points. We call such parameters cut distance identifying. Of particular importance are cut distance identifying parameters coming from homomorphism densities, $t(H,\cdot)$. This concept is closely related to the emerging field of graph norms, and the notions of the step Sidorenko property and the step forcing property introduced by Kráľ, Martins, Pach and Wrochna [J. Combin. Theory Ser. A 162 (2019), 34-54]. We prove that a connected graph is weakly norming if and only if it is step Sidorenko, and that if a graph is norming then it is step forcing. Further, we study convexity properties of cut distance identifying graphon parameters, and find a way to identify cut distance limits using spectra of graphons. We also show that continuous cut distance identifying graphon parameters have the «pumping property», and thus can be used in the proof of the Frieze-Kannan regularity lemma. △ Less

Submitted 2 September, 2021; v1 submitted 11 September, 2018; originally announced September 2018.

Comments: 49 pages, 5 figures. Referees' comments incorporated. The most substantial change is a simplification of the proof of Proposition 2.15 (which does not rely on untrue (as we discovered) Exercise 4.18 from Lovasz's book anymore)

Journal ref: Journal of Combinatorial Theory, series A, volume 189 (2022), 105615

Free sequences in P(ω)/fin

Authors: David Chodounský, Vera Fischer, Jan Grebík

Abstract: We investigate maximal free sequences in the Boolean algebra $\mathcal{P}(ω)/\mathrm{fin}$, as defined by D. Monk. We provide some information on the general structure of these objects and we are particularly interested in the minimal cardinality of a free sequence, a cardinal characteristic of the continuum denoted $\mathfrak{f}$. Answering a question of Monk, we demonstrate the consistency of… ▽ More We investigate maximal free sequences in the Boolean algebra $\mathcal{P}(ω)/\mathrm{fin}$, as defined by D. Monk. We provide some information on the general structure of these objects and we are particularly interested in the minimal cardinality of a free sequence, a cardinal characteristic of the continuum denoted $\mathfrak{f}$. Answering a question of Monk, we demonstrate the consistency of $ω_1 = \mathfrak{i} = \mathfrak{f} < \mathfrak{u} = ω_2$. In fact, this consistency is demonstrated in the model of S. Shelah for $\mathfrak{i} < \mathfrak{u}$. Our paper provides a streamlined and mostly self contained presentation of this construction. △ Less

Submitted 26 April, 2019; v1 submitted 17 August, 2018; originally announced August 2018.

MSC Class: 03E17; 03E35; 06E05

Relating the cut distance and the weak* topology for graphons

Authors: Martin Doležal, Jan Grebík, Jan Hladký, Israel Rocha, Václav Rozhoň

Abstract: The theory of graphons is ultimately connected with the so-called cut norm. In this paper, we approach the cut norm topology via the weak* topology (when considering a predual of $L^{1}$-functions). We prove that a sequence $W_1,W_2,W_3,\ldots$ of graphons converges in the cut distance if and only if we have equality of the sets of weak* accumulation points and of weak* limit points of all sequenc… ▽ More The theory of graphons is ultimately connected with the so-called cut norm. In this paper, we approach the cut norm topology via the weak* topology (when considering a predual of $L^{1}$-functions). We prove that a sequence $W_1,W_2,W_3,\ldots$ of graphons converges in the cut distance if and only if we have equality of the sets of weak* accumulation points and of weak* limit points of all sequences of graphons $W_1',W_2',W_3',\ldots$ that are weakly isomorphic to $W_1,W_2,W_3,\ldots$. We further give a short descriptive set theoretic argument that each sequence of graphons contains a subsequence with the property above. This in particular provides an alternative proof of the theorem of Lovász and Szegedy about compactness of the space of graphons. We connect these results to "multiway cut" characterization of cut distance convergence from [Ann. of Math. (2) 176 (2012), no. 1, 151-219]. These results are more naturally phrased in the Vietoris hyperspace $K$ over graphons with the weak* topology. We show that graphons with the cut distance topology are homeomorphic to a closed subset of $K$, and deduce several consequences of this fact. From these concepts a new order on the space of graphons emerges. This order allows to compare how structured two graphons are. We establish basic properties of this "structurdness order". △ Less

Submitted 15 April, 2020; v1 submitted 19 June, 2018; originally announced June 2018.

Comments: 37 pages, 2 figures; added Sections 4.1 and 4.3, various fixes and improvements due to Ondrej Kurka and an anonymous referee

Journal ref: Journal of Combinatorial Theory, series B, Volume 147, 2021, Pages 252-298

Borel selector for hypergraphons

Authors: Jan Grebik

Abstract: We show that there is a Borel way of choosing a representative of a $k$-uniform hypergraphon. This extends the result of Orbanz and Szegedy where this was shown for graphons. We show that there is a Borel way of choosing a representative of a $k$-uniform hypergraphon. This extends the result of Orbanz and Szegedy where this was shown for graphons. △ Less

Submitted 12 December, 2017; originally announced December 2017.

Bases and selectors for tall families

Authors: Jan Grebik, Carlos Uzcategui

Abstract: We show that the Nash-Williams theorem has a uniform version and that the Galvin theorem does not. We show that there is an $F_σ$ tall ideal on $\mathbb{N}$ without a Borel selector and also construct a $\mathbfΠ^1_2$ tall ideal without a tall closed subset. We show that the Nash-Williams theorem has a uniform version and that the Galvin theorem does not. We show that there is an $F_σ$ tall ideal on $\mathbb{N}$ without a Borel selector and also construct a $\mathbfΠ^1_2$ tall ideal without a tall closed subset. △ Less

Submitted 9 November, 2017; v1 submitted 24 October, 2017; originally announced October 2017.

No minimal tall Borel ideal in the Katětov order

Authors: Jan Grebík, Michael Hrušák

Abstract: Answering a question of the second listed author we show that there is no tall Borel ideal minimal among all tall Borel ideals in the Katětov order. Answering a question of the second listed author we show that there is no tall Borel ideal minimal among all tall Borel ideals in the Katětov order. △ Less

Submitted 17 August, 2017; originally announced August 2017.

MSC Class: 03E05; 03E15; 03E17

Topological properties of function spaces over ordinals

Authors: Saak Gabriyelyan, Jan Grebik, Jerzy Kakol, Lyubomyr Zdomskyy

Abstract: A topological space $X$ is said to be an Ascoli space if any compact subset $K$ of $C_k(X)$ is evenly continuous. This definition is motivated by the classical Ascoli theorem. We study the $k_R$-property and the Ascoli property of $C_p(κ)$ and $C_k(κ)$ over ordinals $κ$. We prove that $C_p(κ)$ is always an Ascoli space, while $C_p(κ)$ is a $k_R$-space iff the cofinality of $κ$ is countable. In par… ▽ More A topological space $X$ is said to be an Ascoli space if any compact subset $K$ of $C_k(X)$ is evenly continuous. This definition is motivated by the classical Ascoli theorem. We study the $k_R$-property and the Ascoli property of $C_p(κ)$ and $C_k(κ)$ over ordinals $κ$. We prove that $C_p(κ)$ is always an Ascoli space, while $C_p(κ)$ is a $k_R$-space iff the cofinality of $κ$ is countable. In particular, this provides the first $C_p$-example of an Ascoli space which is not a $k_R$-space, namely $C_p(ω_1)$. We show that $C_k(κ)$ is Ascoli iff $cf(κ)$ is countable iff $C_k(κ)$ is metrizable. △ Less

Submitted 17 November, 2016; v1 submitted 13 June, 2016; originally announced June 2016.

Comments: 5 pages, accepted for publication in Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas

MSC Class: Primary 54C35; 54F05; Secondary 46A08; 54E18

The Ascoli property for function spaces

Authors: Saak Gabriyelyan, Jan Grebík, Jerzy Kakol, Lyubomyr Zdomskyy

Abstract: The paper deals with Ascoli spaces $C_p(X)$ and $C_k(X)$ over Tychonoff spaces $X$. The class of Ascoli spaces $X$, i.e. spaces $X$ for which any compact subset $K$ of $C_k(X)$ is evenly continuous, essentially includes the class of $k_{\mathbb R}$-spaces. First we prove that if $C_p(X)$ is Ascoli, then it is $κ$-Fréchet-Urysohn. If $X$ is cosmic, then $C_p(X)$ is Ascoli iff it is $κ$-Fr'echet-Ury… ▽ More The paper deals with Ascoli spaces $C_p(X)$ and $C_k(X)$ over Tychonoff spaces $X$. The class of Ascoli spaces $X$, i.e. spaces $X$ for which any compact subset $K$ of $C_k(X)$ is evenly continuous, essentially includes the class of $k_{\mathbb R}$-spaces. First we prove that if $C_p(X)$ is Ascoli, then it is $κ$-Fréchet-Urysohn. If $X$ is cosmic, then $C_p(X)$ is Ascoli iff it is $κ$-Fr'echet-Urysohn. This leads to the following extension of a result of Morishita: If for a Čech-complete space $X$ the space $C_p(X)$ is Ascoli, then $X$ is scattered. If $X$ is scattered and stratifiable, then $C_p(X)$ is an Ascoli space. Consequently: (a) If $X$ is a complete metrizable space, then $C_p(X)$ is Ascoli iff $X$ is scattered. (b) If $X$ is a Čech-complete Lindelöf space, then $C_p(X)$ is Ascoli iff $X$ is scattered iff $C_p(X)$ is Fréchet-Urysohn. Moreover, we prove that for a paracompact space $X$ of point-countable type the following conditions are equivalent: (i) $X$ is locally compact. (ii) $C_k(X)$ is a $k_{\mathbb R}$-space. (iii) $C_k(X)$ is an Ascoli space. The Asoli spaces $C_k(X,[0,1])$ are also studied. △ Less

Submitted 3 June, 2016; originally announced June 2016.

Comments: 15 pages. Comments are welcome

MSC Class: 54C35 (Primary); 54D50 (Secondary)

An example of a Fraïssé class without a Katětov functor

Authors: Jan Grebík

Abstract: We disprove a conjecture from [W. Kubiś, D. Mašulović, Katětov functors, preprint, https://arxiv.boxedpaper.com/abs/1412.1850] by showing the existence of a Fraïssé class $\mathcal{C}$ which does not admit a Katětov functor. On the other hand, we show that the automorphism group of the Fraïssé limit of $\mathcal{C}$ is universal, as it happens in the presence of a Katětov functor. We disprove a conjecture from [W. Kubiś, D. Mašulović, Katětov functors, preprint, https://arxiv.boxedpaper.com/abs/1412.1850] by showing the existence of a Fraïssé class $\mathcal{C}$ which does not admit a Katětov functor. On the other hand, we show that the automorphism group of the Fraïssé limit of $\mathcal{C}$ is universal, as it happens in the presence of a Katětov functor. △ Less

Submitted 1 April, 2016; originally announced April 2016.

Comments: 6 pages

MSC Class: 03C50; 18A22

A rigid Urysohn-like metric space

Authors: Jan Grebík

Abstract: Recall that the Rado graph is the unique countable graph that realizes all one-point extensions of its finite subgraphs. The Rado graph is well-known to be universal and homogeneous in the sense that every isomorphism between finite subgraphs of $R$ extends to an automorphism of $R$. We construct a graph of the smallest uncountable cardinality $ω_1$ which has the same extension property as $R$,… ▽ More Recall that the Rado graph is the unique countable graph that realizes all one-point extensions of its finite subgraphs. The Rado graph is well-known to be universal and homogeneous in the sense that every isomorphism between finite subgraphs of $R$ extends to an automorphism of $R$. We construct a graph of the smallest uncountable cardinality $ω_1$ which has the same extension property as $R$, yet its group of automorphisms is trvial. We also present a similar, although technically more complicated, construction of a complete metric space of density $ω_1$, having the extension property like the Urysohn space, yet again its group of isometries is trivial. This improves a recent result of Bielas. △ Less

Submitted 15 July, 2018; v1 submitted 30 November, 2015; originally announced November 2015.