Source author record

Martin Doležal

Martin Doležal appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.FA math.LO math.GN math.CO math.GR

Catalog footprint

What is connected

8works

5topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2022arXiv

Polish spaces of Banach spaces

We present and thoroughly study natural Polish spaces of separable Banach spaces. These spaces are defined as spaces of norms, resp. pseudonorms, on the countable infinite-dimensional rational vector space. We provide an exhaustive comparison of these spaces with admissible topologies recently introduced by Godefroy and Saint-Raymond and show that Borel complexities differ little with respect to these two different topological approaches. We investigate generic properties in these spaces and compare them with those in admissible topologies, confirming the suspicion of Godefroy and Saint-Raymond that they depend on the choice of the admissible topology.

preprint2022arXiv

Polish spaces of Banach spaces. Complexity of isometry and isomorphism classes

We study the complexities of isometry and isomorphism classes of separable Banach spaces in the Polish spaces of Banach spaces recently introduced and investigated by the authors in [14]. We obtain sharp results concerning the most classical separable Banach spaces. We prove that the infinite-dimensional separable Hilbert space is characterized as the unique separable infinite-dimensional Banach space whose isometry class is closed, and also as the unique separable infinite-dimensional Banach space whose isomorphism class is $F_σ$. For $p\in\left[1,2\right)\cup\left(2,\infty\right)$, we show that the isometry classes of $L_p[0,1]$ and $\ell_p$ are $G_δ$-complete sets and $F_{σδ}$-complete sets, respectively. Then we show that the isometry class of $c_0$ is an $F_{σδ}$-complete set. Additionally, we compute the complexities of many other natural classes of separable Banach spaces; for instance, the class of separable $\mathcal{L}_{p,λ+}$-spaces, for $p,λ\geq 1$, is shown to be a $G_δ$-set, the class of superreflexive spaces is shown to be an $F_{σδ}$-set, and the class of spaces with local $Π$-basis structure is shown to be a $\boldsymbolΣ^0_6$-set. The paper is concluded with many open problems and suggestions for a future research.

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

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 $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".

preprint2016arXiv

Haar meager sets, their hulls, and relationship to compact sets

Let $G$ be an abelian Polish group. We show that there is a strongly Haar meager set in $G$ without any $F_σ$ Haar meager hull (and that this still remains true if we replace $F_σ$ by any other class of the Borel hierarchy). We also prove that there is a coanalytic naively strongly Haar meager set without any Haar meager hull. Further, we investigate the relationship of the collection of all compact sets to the collection of all Haar meager sets in non-locally compact Polish groups.

preprint2015arXiv

Haar meager sets revisited

In the present article we investigate Darji's notion of Haar meager sets from several directions. We consider alternative definitions and show that some of them are equivalent to the original one, while others fail to produce interesting notions. We define Haar meager sets in nonabelian Polish groups and show that many results, including the facts that Haar meager sets are meager and form a $σ$-ideal, are valid in the more general setting as well. The article provides various examples distinguishing Haar meager sets from Haar null sets, including decomposition theorems for some subclasses of Polish groups. As a corollary we obtain, for example, that $\mathbb Z^ω$, $\mathbb R^ω$ or any Banach space can be decomposed into a Haar meager set and a Haar null set. We also establish the stability of non-Haar meagerness under Cartesian product.

preprint2015arXiv

Perfect independent sets with respect to infinitely many relations

We prove a result on perfect cliques with respect to countably many G-delta relations on a complete metric space. As an application, we show that a Polish group contains a free subgroup generated by a perfect set as long as it contains any uncountable free subgroup. This answers a recent question of Głcab and Strobin.

preprint2014arXiv

Classification of the spaces $C_p^*(X)$ within the Borel-Wadge hierarchy for a projective space $X$

We study the complexity of the space $C^*_p(X)$ of bounded continuous functions with the topology of pointwise convergence. We are allowed to use descriptive set theoretical methods, since for a separable metrizable space $X$, the measurable space of Borel sets in $C^*_p(X)$ (and also in the space $C_p(X)$ of all continuous functions) is known to be isomorphic to a subspace of a standard Borel space. It was proved by A. Andretta and A. Marcone that if $X$ is a $σ$-compact metrizable space, then the measurable spaces $C_p(X)$ and $C^*_p(X)$ are standard Borel and if $X$ is a metrizable analytic space which is not $σ$-compact then the spaces of continuous functions are Borel-$Π^1_1$-complete. They also determined under the assumption of projective determinacy (PD) the complexity of $C_p(X)$ for any projective space $X$ and asked whether a similar result holds for $C^*_p(X)$. We provide a positive answer, i.e. assuming PD we prove, that if $n \geq 2$ and if $X$ is a separable metrizable space which is in $Σ^1_n$ but not in $Σ^1_{n-1}$ then the measurable space $C^*_p(X)$ is Borel-$Π^1_n$-complete. This completes under the assumption of PD the classification of Borel-Wadge complexity of $C^*_p(X)$ for $X$ projective.