Showing 1–35 of 35 results for author: Soukup, D

Complexity of sign imbalance, parity of linear extensions, and height 2 posets

Authors: David Soukup

Abstract: Sign imbalance is a statistic on posets which counts the difference between the number of even and odd linear extensions. We prove complexity results about the sign imbalance and parity of linear extensions, focusing on the representative case of height 2 posets. We then consider a recent conjecture of Chan and Pak. Sign imbalance is a statistic on posets which counts the difference between the number of even and odd linear extensions. We prove complexity results about the sign imbalance and parity of linear extensions, focusing on the representative case of height 2 posets. We then consider a recent conjecture of Chan and Pak. △ Less

Submitted 3 November, 2023; originally announced November 2023.

Comments: 9 pages

MSC Class: 06A07 (primary); 68Q15; 68Q17

Complexity of quiver mutation equivalence

Authors: David Soukup

Abstract: We prove $\textsf{NP-hardness}$ results for determining whether quivers are mutation equivalent to quivers with given properties. Specifically, determining whether a quiver is mutation-equivalent to a quiver with exactly $k$ arrows between any two of its vertices is $\textsf{NP-hard}$. Also, determining whether a quiver is mutation equivalent to a quiver with no edges between frozen vertices is… ▽ More We prove $\textsf{NP-hardness}$ results for determining whether quivers are mutation equivalent to quivers with given properties. Specifically, determining whether a quiver is mutation-equivalent to a quiver with exactly $k$ arrows between any two of its vertices is $\textsf{NP-hard}$. Also, determining whether a quiver is mutation equivalent to a quiver with no edges between frozen vertices is $\textsf{strongly NP-hard}$. Finally, we present a characterization of mutation classes of quivers with two mutable vertices. △ Less

Submitted 20 June, 2023; v1 submitted 5 June, 2023; originally announced June 2023.

Comments: 7 pages

MSC Class: 05C85; 16G20; 68Q17

Active Learning Framework to Automate NetworkTraffic Classification

Authors: Jaroslav Pešek, Dominik Soukup, Tomáš Čejka

Abstract: Recent network traffic classification methods benefitfrom machine learning (ML) technology. However, there aremany challenges due to use of ML, such as: lack of high-qualityannotated datasets, data-drifts and other effects causing aging ofdatasets and ML models, high volumes of network traffic etc. Thispaper argues that it is necessary to augment traditional workflowsof ML training&deployment and… ▽ More Recent network traffic classification methods benefitfrom machine learning (ML) technology. However, there aremany challenges due to use of ML, such as: lack of high-qualityannotated datasets, data-drifts and other effects causing aging ofdatasets and ML models, high volumes of network traffic etc. Thispaper argues that it is necessary to augment traditional workflowsof ML training&deployment and adapt Active Learning concepton network traffic analysis. The paper presents a novel ActiveLearning Framework (ALF) to address this topic. ALF providesprepared software components that can be used to deploy an activelearning loop and maintain an ALF instance that continuouslyevolves a dataset and ML model automatically. The resultingsolution is deployable for IP flow-based analysis of high-speed(100 Gb/s) networks, and also supports research experiments ondifferent strategies and methods for annotation, evaluation, datasetoptimization, etc. Finally, the paper lists some research challengesthat emerge from the first experiments with ALF in practice. △ Less

Submitted 26 October, 2022; originally announced November 2022.

Algebraic and arithmetic properties of the cogrowth sequence of nilpotent groups

Authors: Igor Pak, David Soukup

Abstract: We prove that congruences of the cogrowth sequence in a unitriangular group UT$(m, \Bbb Z)$ are undecidable. This is in contrast with abelian groups, where the congruences of the cogrowth sequence are decidable. As an application, we conclude that there is no algorithm to present the cogrowth series as the diagonal of a rational function. We prove that congruences of the cogrowth sequence in a unitriangular group UT$(m, \Bbb Z)$ are undecidable. This is in contrast with abelian groups, where the congruences of the cogrowth sequence are decidable. As an application, we conclude that there is no algorithm to present the cogrowth series as the diagonal of a rational function. △ Less

Submitted 17 October, 2022; originally announced October 2022.

Comments: 20 pages

MSC Class: 20F18 (Primary); 03B25; 05A15; 11U05; 20F10 (Secondary)

Representative & Fair Synthetic Data

Authors: Paul Tiwald, Alexandra Ebert, Daniel T. Soukup

Abstract: Algorithms learn rules and associations based on the training data that they are exposed to. Yet, the very same data that teaches machines to understand and predict the world, contains societal and historic biases, resulting in biased algorithms with the risk of further amplifying these once put into use for decision support. Synthetic data, on the other hand, emerges with the promise to provide a… ▽ More Algorithms learn rules and associations based on the training data that they are exposed to. Yet, the very same data that teaches machines to understand and predict the world, contains societal and historic biases, resulting in biased algorithms with the risk of further amplifying these once put into use for decision support. Synthetic data, on the other hand, emerges with the promise to provide an unlimited amount of representative, realistic training samples, that can be shared further without disclosing the privacy of individual subjects. We present a framework to incorporate fairness constraints into the self-supervised learning process, that allows to then simulate an unlimited amount of representative as well as fair synthetic data. This framework provides a handle to govern and control for privacy as well as for bias within AI at its very source: the training data. We demonstrate the proposed approach by amending an existing generative model architecture and generating a representative as well as fair version of the UCI Adult census data set. While the relationships between attributes are faithfully retained, the gender and racial biases inherent in the original data are controlled for. This is further validated by comparing propensity scores of downstream predictive models that are trained on the original data versus the fair synthetic data. We consider representative & fair synthetic data a promising future building block to teach algorithms not on historic worlds, but rather on the worlds that we strive to live in. △ Less

Submitted 7 April, 2021; originally announced April 2021.

Extremal triangle-free and odd-cycle-free colourings of uncountable graphs

Authors: Chris Lambie-Hanson, Dániel T. Soukup

Abstract: The optimality of the Erdős-Rado theorem for pairs is witnessed by the colouring $Δ_κ: [2^κ]^2 \rightarrow κ$ recording the least point of disagreement between two functions. This colouring has no monochromatic triangles or, more generally, odd cycles. We investigate a number of questions investigating the extent to which $Δ_κ$ is an \emph{extremal} such triangle-free or odd-cycle-free colouring.… ▽ More The optimality of the Erdős-Rado theorem for pairs is witnessed by the colouring $Δ_κ: [2^κ]^2 \rightarrow κ$ recording the least point of disagreement between two functions. This colouring has no monochromatic triangles or, more generally, odd cycles. We investigate a number of questions investigating the extent to which $Δ_κ$ is an \emph{extremal} such triangle-free or odd-cycle-free colouring. We begin by introducing the notion of $Δ$-regressive and almost $Δ$-regressive colourings and studying the structures that must appear as monochromatic subgraphs for such colourings. We also consider the question as to whether $Δ_κ$ has the minimal cardinality of any \emph{maximal} triangle-free or odd-cycle-free colouring into $κ$. We resolve the question positively for odd-cycle-free colourings. △ Less

Submitted 5 March, 2020; v1 submitted 6 February, 2020; originally announced February 2020.

Comments: 16 pages

MSC Class: 03E02; 05C63; 03E05

On the estimation of the Wasserstein distance in generative models

Authors: Thomas Pinetz, Daniel Soukup, Thomas Pock

Abstract: Generative Adversarial Networks (GANs) have been used to model the underlying probability distribution of sample based datasets. GANs are notoriuos for training difficulties and their dependence on arbitrary hyperparameters. One recent improvement in GAN literature is to use the Wasserstein distance as loss function leading to Wasserstein Generative Adversarial Networks (WGANs). Using this as a ba… ▽ More Generative Adversarial Networks (GANs) have been used to model the underlying probability distribution of sample based datasets. GANs are notoriuos for training difficulties and their dependence on arbitrary hyperparameters. One recent improvement in GAN literature is to use the Wasserstein distance as loss function leading to Wasserstein Generative Adversarial Networks (WGANs). Using this as a basis, we show various ways in which the Wasserstein distance is estimated for the task of generative modelling. Additionally, the secrets in training such models are shown and summarized at the end of this work. Where applicable, we extend current works to different algorithms, different cost functions, and different regularization schemes to improve generative models. △ Less

Submitted 2 October, 2019; originally announced October 2019.

Comments: Accepted and presented at GCPR 2019 (http://gcpr2019.tu-dortmund.de/)

Reducing the dichromatic number via cycle reversions in infinite digraphs

Authors: Paul Ellis, Attila Joó, Dániel T. Soukup

Abstract: We prove the following conjecture of S. Thomassé: for every (potentially infinite) digraph $ D $ it is possible to iteratively reverse directed cycles in such a way that the dichromatic number of the final reorientation $ D^{*} $ of $ D $ is at most two and each edge is flipped only finitely many times. In addition, we guarantee that in every strong component of $ D^{*} $ all the local edge-connec… ▽ More We prove the following conjecture of S. Thomassé: for every (potentially infinite) digraph $ D $ it is possible to iteratively reverse directed cycles in such a way that the dichromatic number of the final reorientation $ D^{*} $ of $ D $ is at most two and each edge is flipped only finitely many times. In addition, we guarantee that in every strong component of $ D^{*} $ all the local edge-connectivities are finite and any edge is reversed at most twice. △ Less

Submitted 21 July, 2020; v1 submitted 2 September, 2019; originally announced September 2019.

Comments: 19 pages

On the complexity of classes of uncountable structures: trees on $\aleph_1$

Authors: Sy-David Friedman, Dániel T. Soukup

Abstract: We analyse the complexity of the class of (special) Aronszajn, Suslin and Kurepa trees in the projective hierarchy of the higher Baire-space $ω_1^{ω_1}$. First, we will show that none of these classes have the Baire property (unless they are empty). Moreover, under $(V=L)$, (a) the class of Aronszajn and Suslin trees is $Π_1^1$-complete, (b) the class of special Aronszajn trees is $Σ_1^1$-complete… ▽ More We analyse the complexity of the class of (special) Aronszajn, Suslin and Kurepa trees in the projective hierarchy of the higher Baire-space $ω_1^{ω_1}$. First, we will show that none of these classes have the Baire property (unless they are empty). Moreover, under $(V=L)$, (a) the class of Aronszajn and Suslin trees is $Π_1^1$-complete, (b) the class of special Aronszajn trees is $Σ_1^1$-complete, and (c) the class of Kurepa trees is $Π^1_2$-complete. We achieve these results by finding nicely definable reductions that map subsets $X$ of $ω_1$ to trees $T_X$ so that $T_X$ is in a given tree-class $\mathcal T$ if and only if $X$ is stationary/non-stationary (depending on the class $\mathcal T$). Finally, we present models of CH where these classes have lower projective complexity. △ Less

Submitted 3 June, 2019; originally announced June 2019.

Comments: 16 pages

MSC Class: 03D45; 03E15; 03E05

Towers and gaps at uncountable cardinals

Authors: Vera Fischer, Diana Carolina Montoya, Jonathan Schilhan, Dániel T. Soukup

Abstract: Our goal is to study the pseudo-intersection and tower numbers on uncountable regular cardinals, whether these two cardinal characteristics are necessarily equal, and related problems on the existence of gaps. First, we prove that either $\mathfrak p(κ)=\mathfrak t(κ)$ or there is a $(\mathfrak p(κ),λ)$-gap of club-supported slaloms for some $λ< \mathfrak p(κ)$. While the existence of such gaps is… ▽ More Our goal is to study the pseudo-intersection and tower numbers on uncountable regular cardinals, whether these two cardinal characteristics are necessarily equal, and related problems on the existence of gaps. First, we prove that either $\mathfrak p(κ)=\mathfrak t(κ)$ or there is a $(\mathfrak p(κ),λ)$-gap of club-supported slaloms for some $λ< \mathfrak p(κ)$. While the existence of such gaps is unclear, this is a promising step to lift Malliaris and Shelah's proof of $\mathfrak p=\mathfrak t$ to uncountable cardinals. We do analyze gaps of slaloms and, in particular, show that $\mathfrak p(κ)$ is always regular; the latter extends results of Garti. Finally, we turn to club variants of $\mathfrak p(κ)$ and present a new model for the inequality $\mathfrak{p}(κ) = κ^+ < \mathfrak{p}_{cl}(κ) = 2^κ$. In contrast to earlier arguments by Shelah and Spasojevic, we achieve this by adding $κ$-Cohen reals and then successively diagonalising the club-filter; the latter is shown to preserve a Cohen witness to $\mathfrak{p}(κ) = κ^+$. △ Less

Submitted 3 June, 2019; originally announced June 2019.

Comments: 24 pages

MSC Class: 03E05; 03E17

A 0-dimensional, Lindelöf space that is not strongly D

Authors: Daniel T. Soukup, Paul J. Szeptycki

Abstract: A topological space $X$ is strongly $D$ if for any neighbourhood assignment $\{U_x:x\in X\}$, there is a $D\subseteq X$ such that $\{U_x:x\in D\}$ covers $X$ and $D$ is locally finite in the topology generated by $\{U_x:x\in X\}$. We prove that $\diamondsuit$ implies that there is an $HFC_w$ space in $2^{ω_1}$ (hence 0-dimensional, Hausdorff and hereditarily Lindelöf) which is not strongly $D$. We… ▽ More A topological space $X$ is strongly $D$ if for any neighbourhood assignment $\{U_x:x\in X\}$, there is a $D\subseteq X$ such that $\{U_x:x\in D\}$ covers $X$ and $D$ is locally finite in the topology generated by $\{U_x:x\in X\}$. We prove that $\diamondsuit$ implies that there is an $HFC_w$ space in $2^{ω_1}$ (hence 0-dimensional, Hausdorff and hereditarily Lindelöf) which is not strongly $D$. We also show that any $HFC$ space $X$ is dually discrete and if additionally, countable sets have Menger closure then $X$ is a $D$-space. △ Less

Submitted 18 February, 2019; originally announced February 2019.

Comments: 14 pages, 1 figure, sumitted to Topology and its Applications

MSC Class: 54D20; 54A35

Ladder system uniformization on trees I & II

Authors: Dániel T. Soukup

Abstract: Given a tree $T$ of height $ω_1$, we say that a ladder system colouring $(f_α)_{α\in \limω_1}$ has a $T$-uniformization if there is a function $\varphi$ defined on a subtree $S$ of $T$ so that for any $s\in S_α$ of limit height and almost all $ξ\in {dom} (f_α)$, $\varphi(s\upharpoonright ξ)=f_α(ξ)$. In sharp contrast to the classical theory of uniformizations on $ω_1$, J. Moore proved that CH is c… ▽ More Given a tree $T$ of height $ω_1$, we say that a ladder system colouring $(f_α)_{α\in \limω_1}$ has a $T$-uniformization if there is a function $\varphi$ defined on a subtree $S$ of $T$ so that for any $s\in S_α$ of limit height and almost all $ξ\in {dom} (f_α)$, $\varphi(s\upharpoonright ξ)=f_α(ξ)$. In sharp contrast to the classical theory of uniformizations on $ω_1$, J. Moore proved that CH is consistent with the statement that any ladder system colouring has a $T$-uniformization (for any Aronszajn tree $T$). Our goal is to present a fine analysis of ladder system uniformization on trees pointing out the analogies and differences between the classical and this new theory. We show that if $S$ is a Suslin tree then (i) CH implies that there is a ladder system colouring without $S$-uniformization; (ii) the restricted forcing axiom $MA(S)$ implies that any ladder system colouring has an $ω_1$-uniformization. For an arbitrary Aronszajn tree $T$, we show how diamond-type assumptions affect the existence of ladder system colourings without a $T$-uniformization. Furthermore, it is consistent that for any Aronszajn tree $T$ and ladder system $\mathbf C$ there is a colouring of $\mathbf C$ without a $T$-uniformization; however, and quite surprisingly, $\diamondsuit^+$ implies that for any ladder system $\mathbf C$ there is an Aronszajn tree $T$ so that any monochromatic colouring of $\mathbf C$ has a $T$-uniformization. We also prove positive uniformization results in ZFC for some well-studied trees of size continuum, and finish with a list of open problems. △ Less

Submitted 4 January, 2019; v1 submitted 11 June, 2018; originally announced June 2018.

Comments: Revised version with improved presentation and updated problem list; 30 pages and 2 figures; submitted for publication

MSC Class: 03E05; 03E35; 03E50

Two infinite quantities and their surprising relationship

Authors: Dániel T. Soukup

Abstract: As early as the 17th century, Galileo Galilei wondered how to compare the sizes of infinite sets. Fast forward almost four hundred years, and in the summer of 2017, at the 6th European Set Theory Conference, a young model theorist, Maryanthe Malliaris, and the well-known polymath, Saharon Shelah, received the Hausdorff Medal for the most influential work in set theory published in the last five ye… ▽ More As early as the 17th century, Galileo Galilei wondered how to compare the sizes of infinite sets. Fast forward almost four hundred years, and in the summer of 2017, at the 6th European Set Theory Conference, a young model theorist, Maryanthe Malliaris, and the well-known polymath, Saharon Shelah, received the Hausdorff Medal for the most influential work in set theory published in the last five years. Malliaris and Shelah made significant breakthroughs both regarding a model theoretic classification problem (that is, sorting certain objects into types), and proved that two well-studied infinite quantities, $\mathfrak{p}$ and $\mathfrak{t}$, are in fact the same. This latter result is the focus of our expository paper. △ Less

Submitted 12 March, 2018; originally announced March 2018.

Comments: 5 pages, prepared for a general mathematical audience with no background in logic or set theory

MSC Class: 01-02; 03E17

A model with Suslin trees but no minimal uncountable linear orders other than $ω_1$ and $-ω_1$

Authors: Dániel T. Soukup

Abstract: We show that the existence of a Suslin tree does not necessarily imply that there are uncountable minimal linear orders other than $ω_1$ and $-ω_1$, answering a question of J. Baumgartner. This is done by a Jensen-type iteration, proving that one can force CH together with a restricted form of ladder system uniformization on trees, all while preserving a rigid Suslin tree. We show that the existence of a Suslin tree does not necessarily imply that there are uncountable minimal linear orders other than $ω_1$ and $-ω_1$, answering a question of J. Baumgartner. This is done by a Jensen-type iteration, proving that one can force CH together with a restricted form of ladder system uniformization on trees, all while preserving a rigid Suslin tree. △ Less

Submitted 12 March, 2018; v1 submitted 9 March, 2018; originally announced March 2018.

Comments: 19 pages, 4 figures, first public version. Comments are very welcome. +minor corrections

MSC Class: 03E35; 03E04; 06A05

The open dihypergraph dichotomy and the second level of the Borel hierarchy

Authors: Raphaël Carroy, Benjamin D. Miller, Dániel T. Soukup

Abstract: We show that several dichotomy theorems concerning the second level of the Borel hierarchy are special cases of the $\aleph_0$-dimensional generalization of the open graph dichotomy, which itself follows from the usual proof(s) of the perfect set theorem. Under the axiom of determinacy, we obtain the generalizations of these results from analytic metric spaces to separable metric spaces. We also c… ▽ More We show that several dichotomy theorems concerning the second level of the Borel hierarchy are special cases of the $\aleph_0$-dimensional generalization of the open graph dichotomy, which itself follows from the usual proof(s) of the perfect set theorem. Under the axiom of determinacy, we obtain the generalizations of these results from analytic metric spaces to separable metric spaces. We also consider connections between cardinal invariants and the chromatic numbers of the corresponding dihypergraphs. △ Less

Submitted 8 March, 2018; originally announced March 2018.

MSC Class: 03E15; 26A21; 28A05; 54H05

More ZFC inequalities between cardinal invariants

Authors: Vera Fischer, Daniel T. Soukup

Abstract: Motivated by recent results and questions of D. Raghavan and S. Shelah, we present ZFC theorems on the bounding and various almost disjointness numbers, as well as on rea** and dominating families on uncountable, regular cardinals. We show that if $κ=λ^+$ for some $λ\geq ω$ and $\mathfrak b(κ)=κ^+$ then $\mathfrak a_e(κ)=\mathfrak a_p(κ)=κ^+$. If, additionally, $2^{<λ}=λ$ then… ▽ More Motivated by recent results and questions of D. Raghavan and S. Shelah, we present ZFC theorems on the bounding and various almost disjointness numbers, as well as on rea** and dominating families on uncountable, regular cardinals. We show that if $κ=λ^+$ for some $λ\geq ω$ and $\mathfrak b(κ)=κ^+$ then $\mathfrak a_e(κ)=\mathfrak a_p(κ)=κ^+$. If, additionally, $2^{<λ}=λ$ then $\mathfrak a_g(κ)=κ^+$ as well. Furthermore, we prove a variety of new bounds for $\mathfrak d(κ)$ in terms of $\mathfrak r(κ)$, including $\mathfrak d(κ)\leq \mathfrak r_σ(κ)\leq \mathrm{cof}([\mathfrak r(κ)]^ω)$, and $\mathfrak d(κ)\leq \mathfrak r(κ)$ whenever $\mathfrak r(κ)<\mathfrak b(κ)^{+κ}$ or $\mathrm{cof}(\mathfrak r(κ))\leq κ$ holds. △ Less

Submitted 8 March, 2018; v1 submitted 8 February, 2018; originally announced February 2018.

Comments: 15 pages, significantly extended with new results and diagrams, comments are very welcome. Minor corrections

MSC Class: 03E05; 03E17

Embeddings of weighted graphs in Erdős-type settings

Authors: David M. Soukup

Abstract: Many recent results in combinatorics concern the relationship between the size of a set and the number of distances determined by pairs of points in the set. One extension of this question considers configurations within the set with a specified pattern of distances. In this paper, we use graph-theoretic methods to prove that a sufficiently large set $E$ must contain at least $C_G|E|$ distinct cop… ▽ More Many recent results in combinatorics concern the relationship between the size of a set and the number of distances determined by pairs of points in the set. One extension of this question considers configurations within the set with a specified pattern of distances. In this paper, we use graph-theoretic methods to prove that a sufficiently large set $E$ must contain at least $C_G|E|$ distinct copies of any given weighted tree $G$, where $C_G$ is a constant depending only on the graph $G$. △ Less

Submitted 11 December, 2017; originally announced December 2017.

MSC Class: 97K20; 97K30

Journal ref: Moscow J. Comb. Number Th. 8 (2019) 117-123

Infinite monochromatic sumsets for colourings of the reals

Authors: Péter Komjáth, Imre Leader, Paul A. Russell, Saharon Shelah, Dániel T. Soukup, Zoltán Vidnyánszky

Abstract: N. Hindman, I. Leader and D. Strauss proved that it is consistent that there is a finite colouring of $\mathbb R$ so that no infinite sumset $X+X=\{x+y:x,y\in X\}$ is monochromatic. Our aim in this paper is to prove a consistency result in the opposite direction: we show that, under certain set-theoretic assumptions, for any $c:\mathbb R\to r$ with $r$ finite there is an infinite… ▽ More N. Hindman, I. Leader and D. Strauss proved that it is consistent that there is a finite colouring of $\mathbb R$ so that no infinite sumset $X+X=\{x+y:x,y\in X\}$ is monochromatic. Our aim in this paper is to prove a consistency result in the opposite direction: we show that, under certain set-theoretic assumptions, for any $c:\mathbb R\to r$ with $r$ finite there is an infinite $X\subseteq \mathbb R$ so that $c$ is constant on $X+X$. △ Less

Submitted 2 January, 2019; v1 submitted 20 October, 2017; originally announced October 2017.

Comments: 12 pages, final version accepted for publication in the Proceedings of AMS (https://doi.org/10.1090/proc/14431). Paper 1129 on S. Shelah's list. Comments are very welcome

MSC Class: 03E02; 03E35; 05D10

Cycle reversions and dichromatic number in tournaments

Authors: Paul Ellis, Daniel T. Soukup

Abstract: We show that if $D$ is a tournament of arbitrary size then $D$ has finite strong components after reversing a locally finite sequence of cycles. In turn, we prove that any tournament can be covered by two acyclic sets after reversing a locally finite sequence of cycles. This provides a partial solution to a conjecture of S. Thomassé. We show that if $D$ is a tournament of arbitrary size then $D$ has finite strong components after reversing a locally finite sequence of cycles. In turn, we prove that any tournament can be covered by two acyclic sets after reversing a locally finite sequence of cycles. This provides a partial solution to a conjecture of S. Thomassé. △ Less

Submitted 8 August, 2017; originally announced August 2017.

Comments: 23 pages, first public version. Comments are very welcome

MSC Class: 05C20; 05C63; 05C15; 05C38; 03E05

Uncountable strongly surjective linear orders

Authors: Dániel T. Soukup

Abstract: A linear order $L$ is strongly surjective if $L$ can be mapped onto any of its suborders in an order preserving way. We prove various results on the existence and non-existence of uncountable strongly surjective linear orders answering questions of Camerlo, Carroy and Marcone. In particular, $\diamondsuit^+$ implies the existence of a lexicographically ordered Suslin-tree which is strongly surject… ▽ More A linear order $L$ is strongly surjective if $L$ can be mapped onto any of its suborders in an order preserving way. We prove various results on the existence and non-existence of uncountable strongly surjective linear orders answering questions of Camerlo, Carroy and Marcone. In particular, $\diamondsuit^+$ implies the existence of a lexicographically ordered Suslin-tree which is strongly surjective and minimal; every strongly surjective linear order must be an Aronszajn type under $2^{\aleph_0}<2^{\aleph_1}$ or in the Cohen and other canonical models (where $2^{\aleph_0}=2^{\aleph_1}$); finally, we prove that it is consistent with CH that there are no uncountable strongly surjective linear orders at all. We end the paper with a healthy list of open problems. △ Less

Submitted 30 January, 2018; v1 submitted 30 June, 2017; originally announced June 2017.

Comments: 21 pages, revised version; to appear in Order; comments are very welcome

MSC Class: 03E04; 03E35

Infinite combinatorics plain and simple

Authors: Dániel T. Soukup, Lajos Soukup

Abstract: We explore a general method based on trees of elementary submodels in order to present highly simplified proofs to numerous results in infinite combinatorics. While countable elementary submodels have been employed in such settings already, we significantly broaden this framework by develo** the corresponding technique for countably closed models of size continuum. The applications range from va… ▽ More We explore a general method based on trees of elementary submodels in order to present highly simplified proofs to numerous results in infinite combinatorics. While countable elementary submodels have been employed in such settings already, we significantly broaden this framework by develo** the corresponding technique for countably closed models of size continuum. The applications range from various theorems on paradoxical decompositions of the plane, to coloring sparse set systems, results on graph chromatic number and constructions from point-set topology. Our main purpose is to demonstrate the ease and wide applicability of this method in a form accessible to anyone with a basic background in set theory and logic. △ Less

Submitted 5 February, 2018; v1 submitted 17 May, 2017; originally announced May 2017.

Comments: 29 pages, small revisions, to appear in JSL

MSC Class: 03E05; 03C98; 05C63; 03E35; 54A35

On spaces with $σ$-closed-discrete dense sets

Authors: Rodrigo R. Dias, Daniel T. Soukup

Abstract: The main purpose of this paper is to study \emph{$e$-separable spaces}, originally introduced by Kurepa as $K_0'$ spaces; we call a space $X$ $e$-separable iff $X$ has a dense set which is the union of countably many closed discrete sets. We primarily focus on the behaviour of $e$-separable spaces under products and the cardinal invariants that are naturally related to $e$-separable spaces. Our ma… ▽ More The main purpose of this paper is to study \emph{$e$-separable spaces}, originally introduced by Kurepa as $K_0'$ spaces; we call a space $X$ $e$-separable iff $X$ has a dense set which is the union of countably many closed discrete sets. We primarily focus on the behaviour of $e$-separable spaces under products and the cardinal invariants that are naturally related to $e$-separable spaces. Our main results show that the statement "there is a product of at most $\mathfrak c$ many $e$-separable spaces that fails to be $e$-separable'" is equiconsistent with the existence of a weakly compact cardinal. △ Less

Submitted 6 June, 2017; v1 submitted 2 January, 2017; originally announced January 2017.

Comments: 19 pages, improved results, submitted to Topology Proceedings

MSC Class: 54D65; 54A25; 54A35; 03E55

Balanced independent sets in graphs omitting large cliques

Authors: Claude Laflamme, Andres A. Lopez, Daniel T. Soukup, Robert Woodrow

Abstract: Our goal is to investigate a close relative of the independent transversal problem in the class of infinite $K_n$-free graphs: we show that for any infinite $K_n$-free graph $G=(V,E)$ and $m\in \mathbb N$ there is a minimal $r=r(G,m)$ such that for any balanced $r$-colouring of the vertices of $G$ one can find an independent set which meets at least $m$ colour classes in a set of size $|V|$. Answe… ▽ More Our goal is to investigate a close relative of the independent transversal problem in the class of infinite $K_n$-free graphs: we show that for any infinite $K_n$-free graph $G=(V,E)$ and $m\in \mathbb N$ there is a minimal $r=r(G,m)$ such that for any balanced $r$-colouring of the vertices of $G$ one can find an independent set which meets at least $m$ colour classes in a set of size $|V|$. Answering a conjecture of S. Thomassé, we express the exact value of $r(H_n,m)$ (using Ramsey-numbers for finite digraphs), where $H_n$ is Henson's countable universal homogeneous $K_n$-free graph. In turn, we deduce a new partition property of $H_n$ regarding balanced embeddings of bipartite graphs: for any finite bipartite $G$ with bipartition $A,B$, if the vertices of $H_n$ are partitioned into two infinite classes then there is an induced copy of $G$ in $H_n$ such that the images of $A$ and $B$ are contained in different classes. △ Less

Submitted 1 June, 2017; v1 submitted 18 November, 2016; originally announced November 2016.

Comments: 23 pages, minor changes, version submitted to JCTB

MSC Class: 05C55; 05C63; 05C69; 03E02

Orientations of graphs with uncountable chromatic number

Authors: Dániel T. Soukup

Abstract: Motivated by an old conjecture of P. Erdős and V. Neumann-Lara, our aim is to investigate digraphs with uncountable dichromatic number and orientations of undirected graphs with uncountable chromatic number. A graph has uncountable chromatic number if its vertices cannot be covered by countably many independent sets, and a digraph has uncountable dichromatic number if its vertices cannot be covere… ▽ More Motivated by an old conjecture of P. Erdős and V. Neumann-Lara, our aim is to investigate digraphs with uncountable dichromatic number and orientations of undirected graphs with uncountable chromatic number. A graph has uncountable chromatic number if its vertices cannot be covered by countably many independent sets, and a digraph has uncountable dichromatic number if its vertices cannot be covered by countably many acyclic sets. We prove that consistently there are digraphs with uncountable dichromatic number and arbitrarily large digirth; this is in surprising contrast with the undirected case: any graph with uncountable chromatic number contains a 4-cycle. Next, we prove that several well known graphs (uncountable complete graphs, certain comparability graphs, and shift graphs) admit orientations with uncountable dichromatic number in ZFC. However, we show that the statement "every graph $G$ of size and chromatic number $ω_1$ has an orientation $D$ with uncountable dichromatic number" is independent of ZFC. △ Less

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

Comments: 25 pages, revised version prepared for publication in the Journal of Graph Theory

MSC Class: 05C63; 05C20; 05C15; 05E35; 03E35

Decompositions of edge-coloured infinite complete graphs into monochromatic paths II

Authors: Daniel T. Soukup

Abstract: P. Erdős proved that every 2-edge coloured complete graph on the natural numbers can be vertex decomposed into two monochromatic paths of different colour. This result was extended by R. Rado to an arbitrary finite number of colours. We prove that the vertices of every finite-edge coloured infinite complete graph can be partitioned into disjoint monochromatic paths of different colours. This answe… ▽ More P. Erdős proved that every 2-edge coloured complete graph on the natural numbers can be vertex decomposed into two monochromatic paths of different colour. This result was extended by R. Rado to an arbitrary finite number of colours. We prove that the vertices of every finite-edge coloured infinite complete graph can be partitioned into disjoint monochromatic paths of different colours. This answers a question of R. Rado from 1978. △ Less

Submitted 16 March, 2016; v1 submitted 22 July, 2015; originally announced July 2015.

Comments: 32 pages, minor changes made to previous version, accepted at the Israel Journal of Mathematics

MSC Class: 05C63; 05C70

Decompositions of edge-colored infinite complete graphs into monochromatic paths

Authors: M. Elekes, D. T. Soukup, L. Soukup, Z. Szentmiklóssy

Abstract: An $r$-edge coloring of a graph or hypergraph $G=(V,E)$ is a map $c:E\to \{0, \dots, r-1\}$. Extending results of Rado and answering questions of Rado, Gyárfás and Sárközy we prove that (1.) the vertex set of every $r$-edge colored countably infinite complete $k$-uniform hypergraph can be partitioned into $r$ monochromatic tight paths with distinct colors (a tight path in a $k$-uniform hypergrap… ▽ More An $r$-edge coloring of a graph or hypergraph $G=(V,E)$ is a map $c:E\to \{0, \dots, r-1\}$. Extending results of Rado and answering questions of Rado, Gyárfás and Sárközy we prove that (1.) the vertex set of every $r$-edge colored countably infinite complete $k$-uniform hypergraph can be partitioned into $r$ monochromatic tight paths with distinct colors (a tight path in a $k$-uniform hypergraph is a sequence of distinct vertices such that every set of $k$ consecutive vertices forms an edge), (2.) for all natural numbers $r$ and $k$ there is a natural number $M$ such that the vertex set of every $r$-edge colored countably infinite complete graph can be partitioned into $M$ monochromatic $k^{th}$ powers of paths apart from a finite set (a $k^{th}$ power of a path is a sequence $v_0, v_1, \dots$ of distinct vertices such that $1\le|i-j| \le k$ implies that $v_iv_j$ is an edge), (3.) the vertex set of every $2$-edge colored countably infinite complete graph can be partitioned into $4$ monochromatic squares of paths, but not necessarily into $3$, (4.) the vertex set of every $2$-edge colored complete graph on $ω_1$ can be partitioned into $2$ monochromatic paths with distinct colors. △ Less

Submitted 6 January, 2016; v1 submitted 17 February, 2015; originally announced February 2015.

MSC Class: 05C63; 05C70

Trees, ladders and graphs

Authors: Dániel T. Soukup

Abstract: We introduce a new method to construct uncountably chromatic graphs from non special trees and ladder systems. Answering a question of P. Erdős and A. Hajnal from 1985, we construct graphs of chromatic number $ω_1$ without uncountable $ω$-connected subgraphs. Second, we build triangle free graphs of chromatic number $ω_1$ without subgraphs isomorphic to $H_{ω,ω+2}$. We introduce a new method to construct uncountably chromatic graphs from non special trees and ladder systems. Answering a question of P. Erdős and A. Hajnal from 1985, we construct graphs of chromatic number $ω_1$ without uncountable $ω$-connected subgraphs. Second, we build triangle free graphs of chromatic number $ω_1$ without subgraphs isomorphic to $H_{ω,ω+2}$. △ Less

Submitted 9 September, 2014; originally announced September 2014.

Comments: 23 pages, 2 figures, submitted to the Journal of Comb. Theory Series B

MSC Class: 05C63; 05C15; 03E05

Davies-trees in infinite combinatorics

Authors: Daniel T. Soukup

Abstract: This short note, prepared for the Logic Colloquium 2014, provides an introduction to Davies-trees and presents new applications in infinite combinatorics. In particular, we give new and simple proofs to the following theorems of P. Komjáth: every $n$-almost disjoint family of sets is essentially disjoint for any $n\in \mathbb N$; $\mathbb R^2$ is the union of $n+2$ clouds if the continuum is at mo… ▽ More This short note, prepared for the Logic Colloquium 2014, provides an introduction to Davies-trees and presents new applications in infinite combinatorics. In particular, we give new and simple proofs to the following theorems of P. Komjáth: every $n$-almost disjoint family of sets is essentially disjoint for any $n\in \mathbb N$; $\mathbb R^2$ is the union of $n+2$ clouds if the continuum is at most $\aleph_n$ for any $n\in \mathbb N$; every uncountably chromatic graph contains $n$-connected uncountably chromatic subgraphs for every $n\in \mathbb N$. △ Less

Submitted 14 July, 2014; originally announced July 2014.

Comments: 8 pages, prepared for the Logic Colloquium 2014

MSC Class: 03E05; 03C98; 05C63

Partitioning bases of topological spaces

Authors: Daniel T. Soukup, Lajos Soukup

Abstract: We investigate whether an arbitrary base for a dense-in-itself topological space can be partitioned into two bases. We prove that every base for a T_3 Lindelöf topology can be partitioned into two bases while there exists a consistent example of a first countable, 0-dimensional, Hausdorff space of size continuum and weight ω_1 which admits a point countable base without a partition to two bases. S… ▽ More We investigate whether an arbitrary base for a dense-in-itself topological space can be partitioned into two bases. We prove that every base for a T_3 Lindelöf topology can be partitioned into two bases while there exists a consistent example of a first countable, 0-dimensional, Hausdorff space of size continuum and weight ω_1 which admits a point countable base without a partition to two bases. Several related results are proved and the paper finishes with a list of open problems. △ Less

Submitted 24 January, 2014; v1 submitted 1 April, 2013; originally announced April 2013.

Comments: 26 pages, revised, submitted to CMUC

MSC Class: 54A35; 03E35; 54A25

Comparing weak versions of separability

Authors: Daniel T. Soukup, Lajos Soukup, Santi Spadaro

Abstract: Our aim is to investigate spaces with sigma-discrete and meager dense sets, as well as selective versions of these properties. We construct numerous examples to point out the differences between these classes while answering questions of Tkachuk [30], Hutchinson [17] and the authors of [8]. Our aim is to investigate spaces with sigma-discrete and meager dense sets, as well as selective versions of these properties. We construct numerous examples to point out the differences between these classes while answering questions of Tkachuk [30], Hutchinson [17] and the authors of [8]. △ Less

Submitted 17 October, 2012; originally announced October 2012.

Comments: 31 pages, submitted to Top. Appl. Special Edition on Selection Principles

MSC Class: 54D65; 54B10; 54C35

A counterexample in the theory of $D$-spaces

Authors: Daniel T. Soukup, Paul J. Szeptycki

Abstract: Assuming $\diamondsuit$, we construct a $T_2$ example of a hereditarily Lindelöf space of size $ω_1$ which is not a $D$-space. The example has the property that all finite powers are also Lindelöf. Assuming $\diamondsuit$, we construct a $T_2$ example of a hereditarily Lindelöf space of size $ω_1$ which is not a $D$-space. The example has the property that all finite powers are also Lindelöf. △ Less

Submitted 25 June, 2011; originally announced June 2011.

Comments: 15 pages, submitted to Top. Appl

MSC Class: 54D20; 54A35

The Collins-Roscoe mechanism and D-spaces

Authors: Yuming Xu, Dániel Soukup

Abstract: We prove that if a space X is well ordered $(αA)$, or linearly semi-stratifiable, or elastic then X is a D-space. We prove that if a space X is well ordered $(αA)$, or linearly semi-stratifiable, or elastic then X is a D-space. △ Less

Submitted 17 October, 2010; originally announced October 2010.

MSC Class: 54D20 (Primary) 54E20 (Secondary)

Guessing clubs for aD, non D-spaces

Authors: Daniel Soukup

Abstract: We prove that there exists a 0-dimensional, scattered $T_2$ space $X$ such that $X$ is aD but not linearly D, answering a question of Arhangel'skii. The constructions are based on Shelah's club guessing principles. We prove that there exists a 0-dimensional, scattered $T_2$ space $X$ such that $X$ is aD but not linearly D, answering a question of Arhangel'skii. The constructions are based on Shelah's club guessing principles. △ Less

Submitted 11 August, 2010; v1 submitted 9 July, 2010; originally announced July 2010.

Comments: 9 pages, extended with remarks

MSC Class: 54D20; 03E75

Club guessing for dummies

Authors: Daniel Soukup, Lajos Soukup

Abstract: We give a direct, detailed and relatively short proof of Shelah's theorem on club guessing sequences on $S^{μ^+}_μ$ (for any regular, uncountable cardinal $μ$). We give a direct, detailed and relatively short proof of Shelah's theorem on club guessing sequences on $S^{μ^+}_μ$ (for any regular, uncountable cardinal $μ$). △ Less

Submitted 24 March, 2010; originally announced March 2010.

MSC Class: 03E04

Properties D and aD are different

Authors: Daniel Soukup

Abstract: Under $(\diamondsuit^*)$ we construct a locally countable, locally compact, 0-dimensional $T_2$ space $X$ of size $\omg$ which is aD however not even linearly D. This consistently answers a question of Arhangel'skii, whether aD implies D. Furthermore we answer two problems concerning characterization of linearly D-spaces, raised by Guo and Junnila. Under $(\diamondsuit^*)$ we construct a locally countable, locally compact, 0-dimensional $T_2$ space $X$ of size $\omg$ which is aD however not even linearly D. This consistently answers a question of Arhangel'skii, whether aD implies D. Furthermore we answer two problems concerning characterization of linearly D-spaces, raised by Guo and Junnila. △ Less

Submitted 18 April, 2010; v1 submitted 12 February, 2010; originally announced February 2010.

Comments: 17 pages, corrected, restructured and extended with a stronger result

MSC Class: 54A25; 54A35