Related papers: A tree--arrowing graph
Two $a{-}b$ paths in a graph $G$ are order-compatible if their common vertices occur in the same order when travelling from $a$ to $b$. Suppose a graph contains an infinite number $\delta$ of edge-disjoint $a{-}b$ paths. G.A. Dirac asked…
For every $n\in\mathbb N$ we construct a finite graph $G$ such that every orientation $\vec G$ of $G$ contains an isometric copy of any oriented tree on $n$ vertices, and evaluate the smallest possible cardinality of $G$. On the other hand,…
We call a bipartite graph {\it homogeneous} if every finite partial automorphism which respects left and right can be extended to a total automorphism. A $(\kappa,{\lambda} )$ bipartite graph is a bipartite graph with left side of size…
We continue the work of [KlSh:362] and prove that for lambda successor, a lambda-categorical theory T in L_{kappa^*, omega} is mu-categorical for every mu, mu <= lambda which is above the (2^{LS(T)})^+-beth cardinal.
Let $G_{n,p}^{[\kappa]}$ denote the space of $n$-vertex edge coloured graphs, where each edge occurs independently with probability $p$. The colour of each existing edge is chosen independently and uniformly at random from the set…
For a ring R, denote by Spec^R_kappa(Gamma) the kappa-spectrum of the Gamma-invariant of strongly uniform right R-modules. Recent realization techniques of Goodearl and Wehrung show that Spec^R_{aleph_1}(Gamma) is full for suitable von…
The structure of automorphism groups of $\kappa$-existentially closed groups are studied by Kaya-Kuzucuo\u{g}lu in 2022. It was proved that Aut(G) is the union of subgroups of level preserving automorphisms and $|Aut(G)|=2^\kappa$ whenever…
An open conjecture of Erd\H{o}s states that for every positive integer $k$ there is a (least) positive integer $f(k)$ so that whenever a tournament has its edges colored with $k$ colors, there exists a set $S$ of at most $f(k)$ vertices so…
Let $\lambda$ and $\kappa$ be cardinal numbers such that $\kappa$ is infinite and either $2\leq \lambda\leq \kappa$, or $\lambda=2^\kappa$. We prove that there exists a lattice $L$ with exactly $\lambda$ many congruences, $2^\kappa$ many…
We show that every graph admits a canonical tree-like decomposition into its $k$-edge-connected pieces for all $k\in\mathbb{N}\cup\{\infty\}$ simultaneously.
Assume $ k $ is a positive integer, $ \lambda=\{k_1,k_2,...,k_q\} $ is a partition of $ k $ and $ G $ is a graph. A $\lambda$-assignment of $ G $ is a $ k $-assignment $ L $ of $ G $ such that the colour set $ \bigcup_{v\in V(G)} L(v) $ can…
We prove that consistently every bipartite graph of size $\kappa^+\times\kappa^+$ contains either a clique or an independent subset of size $\tau\times\tau$ for every $\tau\in\kappa^+$, where $\kappa$ is a successor cardinal.
A vertex colouring of a graph is called asymmetric if the only automorphism which preserves it is the identity. Tucker conjectured that if every automorphism of a connected, locally finite graph moves infinitely many vertices, then there is…
In a paper from 1997, Shelah asked whether $Pr_1(\lambda^+,\lambda^+,\lambda^+,\lambda)$ holds for every inaccessible cardinal $\lambda$. Here, we prove that an affirmative answer follows from $\square(\lambda^+)$. Furthermore, we establish…
We prove that a hereditary graph class $\mathcal{G}$ defined by finitely many excluded induced subgraphs has bounded tree-$\alpha$ if and only if it is "$(\mathrm{tw},\omega)$-bounded" (that is, for all $t\in \mathbb N$, the class of all…
The generalized $k$-connectivity $\kappa_k(G)$ of a graph $G$, introduced by Hager in 1985, is a nice generalization of the classical connectivity. Recently, as a natural counterpart, we proposed the concept of generalized…
Assume ZFC. Let $\kappa$ be a cardinal. Recall that a ${<\kappa}$-ground is a transitive proper class $W$ modelling ZFC such that $V$ is a generic extension of $W$ via a forcing $\mathbb{P}\in W$ of cardinality ${<\kappa}$, and the…
Given a $k$-graph $\Lambda$ and an element $p$ of $\NN^k$, we define the dual $k$-graph, $p\Lambda$. We show that when $\Lambda$ is row-finite and has no sources, the $C^*$-algebras $C^*(\Lambda)$ and $C^*(p\Lambda)$ coincide. We use this…
We continue our study of strongly unbounded colorings, this time focusing on subadditive maps. In Part I of this series, we showed that, for many pairs of infinite cardinals $\theta<\kappa$, the existence of a strongly unbounded coloring…
We show that the tree property, stationary reflection and the failure of approachability at $\kappa^{++}$ are consistent with $\mathfrak{u}(\kappa) = \kappa^+ < 2^\kappa$, where $\kappa$ is a singular strong limit cardinal with the…