Source author record

Jan Grebík

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

9works
8topics
4close collaborators

Published work

9 publications

preprint2022arXiv

Divisibility of Spheres with Measurable Pieces

For an rr-tuple (γ1,…,γr)(γ_1,\ldots,γ_r) of special orthogonal d×dd\times d matrices, we say that the Euclidean (d−1)(d-1)-dimensional sphere Sd−1S^{d-1} is (γ1,…,γr)(γ_1,\ldots,γ_r)-divisible if there is a subset A⊆Sd−1A\subseteq S^{d-1} such that its translations by the rotations γ1,…,γrγ_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 AA 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) rr-tuple of rotations. This is in stark contrast to the recent result of Conley, Marks and Unger which implies that, for every "generic" rr-tuple, divisibility is possible with parts that have the property of Baire.

preprint2021arXiv

Cut distance identifying graphon parameters over weak* limits

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 L1L^{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,⋅)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.

preprint2021arXiv

Fractional Isomorphism of Graphons

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.

preprint2020arXiv

Measurable versions of Vizing's theorem

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ε>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.

preprint2020arXiv

Relating the cut distance and the weak* topology for graphons

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 L1L^{1}-functions). We prove that a sequence W1,W2,W3,…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 W1′,W2′,W3′,…W_1',W_2',W_3',\ldots that are weakly isomorphic to W1,W2,W3,…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 KK over graphons with the weak* topology. We show that graphons with the cut distance topology are homeomorphic to a closed subset of KK, 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".

preprint2016arXiv

The Ascoli property for function spaces

The paper deals with Ascoli spaces Cp(X)C_p(X) and Ck(X)C_k(X) over Tychonoff spaces XX. The class of Ascoli spaces XX, i.e. spaces XX for which any compact subset KK of Ck(X)C_k(X) is evenly continuous, essentially includes the class of kRk_{\mathbb R}-spaces. First we prove that if Cp(X)C_p(X) is Ascoli, then it is κκ-Fréchet-Urysohn. If XX is cosmic, then Cp(X)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 XX the space Cp(X)C_p(X) is Ascoli, then XX is scattered. If XX is scattered and stratifiable, then Cp(X)C_p(X) is an Ascoli space. Consequently: (a) If XX is a complete metrizable space, then Cp(X)C_p(X) is Ascoli iff XX is scattered. (b) If XX is a Čech-complete Lindelöf space, then Cp(X)C_p(X) is Ascoli iff XX is scattered iff Cp(X)C_p(X) is Fréchet-Urysohn. Moreover, we prove that for a paracompact space XX of point-countable type the following conditions are equivalent: (i) XX is locally compact. (ii) Ck(X)C_k(X) is a kRk_{\mathbb R}-space. (iii) Ck(X)C_k(X) is an Ascoli space. The Asoli spaces Ck(X,[0,1])C_k(X,[0,1]) are also studied.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.