Showing 1–10 of 10 results for author: Kontogeorgiou, G

Separating edges by linearly many subdivisions

Authors: George Kontogeorgiou, Matias Pavez-Signe, Maya Stein, S Taruni, Ana Trujillo-Negrete

Abstract: We prove that for any two graphs $G$ and $H$, the edges of $G$ can be strongly separated by a collection of linearly many subdivisions of $H$ and single edges. This confirms a conjecture of Botler and Naia. We prove that for any two graphs $G$ and $H$, the edges of $G$ can be strongly separated by a collection of linearly many subdivisions of $H$ and single edges. This confirms a conjecture of Botler and Naia. △ Less

Submitted 16 June, 2025; originally announced June 2025.

Comments: 12 pages, 5 figures

MSC Class: 05C38; 05C83

Antidirected trees in directed graphs

Authors: George Kontogeorgiou, Giovanne Santos, Maya Stein

Abstract: The Komlós-Sárközy-Szemerédi (KSS) theorem establishes that a certain bound on the minimum degree of a graph guarantees it contains all bounded degree trees of the same order. Recently several authors put forward variants of this result, where the tree is of smaller order than the host graph, and the host graph also obeys a maximum degree condition. Also, Kathapurkar and Montgomery extended the KS… ▽ More The Komlós-Sárközy-Szemerédi (KSS) theorem establishes that a certain bound on the minimum degree of a graph guarantees it contains all bounded degree trees of the same order. Recently several authors put forward variants of this result, where the tree is of smaller order than the host graph, and the host graph also obeys a maximum degree condition. Also, Kathapurkar and Montgomery extended the KSS theorem to digraphs. We bring these two directions together by establishing minimum and maximum degree bounds for digraphs that ensure the containment of oriented trees of smaller order. Our result is restricted to balanced antidirected trees of bounded degree. More precisely, we show that for every $γ> 0$, $c\in\mathbb{R}$, $\ell\geq 2$ sufficiently large $n$ and all $k\geqγn$, the following holds for every $n$-vertex digraph $D$ and every balanced antidirected tree $T$ with $k$ arcs whose total maximum degree is bounded by $(\log n)^c$. If $D$ has a vertex of outdegree at least $(1+γ)(\ell -1)k$, a vertex of indegree at least $(1+γ)(\ell -1)k$ and minimum semidegree $δ^0(D)\geq\left(\frac{\ell}{2\ell -1}+γ\right)k$, then $D$ contains $T$. △ Less

Submitted 2 July, 2025; v1 submitted 20 January, 2025; originally announced January 2025.

Comments: Minor improvements in exposition

MSC Class: 05D10; 05C05; 05C20

Exact upper bounds for the minimum sizes of strong and weak separating path systems of cliques

Authors: George Kontogeorgiou, Maya Stein

Abstract: We prove an upper bound of $n+9$ for the strong separation number of the complete graph $K_n$, and an upper bound of $n+1$ for its weak separation number. This improves on the previous best known bound of $(1+o(1))n$ for both cases. We prove an upper bound of $n+9$ for the strong separation number of the complete graph $K_n$, and an upper bound of $n+1$ for its weak separation number. This improves on the previous best known bound of $(1+o(1))n$ for both cases. △ Less

Submitted 19 February, 2025; v1 submitted 12 March, 2024; originally announced March 2024.

Comments: 10 pages; previous version only concerned the weak separation number

MSC Class: 05C38

Towards a Stallings-type theorem for finite groups

Authors: Johannes Carmesin, George Kontogeorgiou, Jan Kurkofka, Will J. Turner

Abstract: A recent development in graph-minor theory is to study local separators, vertex-sets that separate graphs locally but not necessarily globally. The local separators of a graph roughly correspond to the genuine separators of its local covering: a usually infinite graph obtained by keeping all local structure of the original graph while unfolding all other structure as much as possible. We use loc… ▽ More A recent development in graph-minor theory is to study local separators, vertex-sets that separate graphs locally but not necessarily globally. The local separators of a graph roughly correspond to the genuine separators of its local covering: a usually infinite graph obtained by keeping all local structure of the original graph while unfolding all other structure as much as possible. We use local separators and local coverings to discover and prove a low-order Stallings-type result for finite nilpotent groups $Γ$: the $r$-local covering of some Cayley graph $G$ of $Γ$ has $\geq 2$ ends that are separated by $\leq 2$ vertices iff $G$ has an $r$-local separator of size $\leq 2$ and $Γ$ has order $>r$, iff $Γ$ is isomorphic to $C_i\times C_j$ for some $i>r$ and $j\in\{1,2\}$. △ Less

Submitted 14 January, 2025; v1 submitted 12 March, 2024; originally announced March 2024.

Comments: 27 pages, approx 18 figures

MSC Class: 05C40 (Primary); 05C83; 20F65; 05E18; 20E34; 20F18 (Secondary)

A short proof of the existence of a minor-universal countable planar graph

Authors: George Kontogeorgiou

Abstract: We produce a new, shorter construction of a minor-universal planar graph. We produce a new, shorter construction of a minor-universal planar graph. △ Less

Submitted 12 September, 2023; originally announced September 2023.

Comments: 5 pages, 3 figures

MSC Class: 05C10 (Primary); 05C63 (Secondary)

Branchwidth is (1,g)-self-dual

Authors: Georgios Kontogeorgiou, Alexandros Leivaditis, Kostas I. Psaromiligkos, Giannos Stamoulis, Dimitris Zoros

Abstract: A graph parameter is self-dual in some class of graphs embeddable in some surface if its value does not change in the dual graph by more than a constant factor. We prove that the branchwidth of connected hypergraphs without bridges and loops that are embeddable in some surface of Euler genus at most g is an (1,g)-self-dual parameter. This is the first proof that branchwidth is an additively self-d… ▽ More A graph parameter is self-dual in some class of graphs embeddable in some surface if its value does not change in the dual graph by more than a constant factor. We prove that the branchwidth of connected hypergraphs without bridges and loops that are embeddable in some surface of Euler genus at most g is an (1,g)-self-dual parameter. This is the first proof that branchwidth is an additively self-dual width parameter. △ Less

Submitted 5 June, 2023; v1 submitted 29 May, 2023; originally announced May 2023.

Comments: 10 pages

(Random) Trees of Intermediate Uniform Growth

Authors: George Kontogeorgiou, Martin Winter

Abstract: For every sufficiently well-behaved function $g:\mathbb{R}_{\ge 0}\rightarrow\mathbb{R}_{\ge 0}$ that grows at least linearly and at most exponentially we construct a tree $T$ of uniform volume growth $g$, that is, $$C_1\cdot g(r/4)\le |B_{T}(v,r)| \le C_2\cdot g(4r),\quad\text{for all $r\ge 0$ and $v\in V(T)$},$$ where $B_{T}(v,r)$ denotes the ball of radius $r$ centered at a vertex $v… ▽ More For every sufficiently well-behaved function $g:\mathbb{R}_{\ge 0}\rightarrow\mathbb{R}_{\ge 0}$ that grows at least linearly and at most exponentially we construct a tree $T$ of uniform volume growth $g$, that is, $$C_1\cdot g(r/4)\le |B_{T}(v,r)| \le C_2\cdot g(4r),\quad\text{for all $r\ge 0$ and $v\in V(T)$},$$ where $B_{T}(v,r)$ denotes the ball of radius $r$ centered at a vertex $v$. In particular, this yields examples of trees of uniform intermediate (i.e. super-polynomial and sub-exponential) volume growth. We use this construction to provide first examples of unimodular random rooted trees of uniform intermediate growth, answering a question by Itai Benjamini. We find a peculiar change in structural properties for these trees at growth $r^{\log\log r}$. △ Less

Submitted 9 November, 2023; v1 submitted 4 December, 2022; originally announced December 2022.

Comments: 23 pages, 6 figures

MSC Class: 05C05; 05C80; 60B10; 60C05

Discrete group actions on 3-manifolds and embeddable Cayley complexes

Authors: Agelos Georgakopoulos, George Kontogeorgiou

Abstract: We prove that a group $Γ$ admits a discrete topological (equivalently, smooth) action on some simply-connected 3-manifold if and only if $Γ$ has a Cayley complex embeddable -- with certain natural restrictions -- in one of the following four 3-manifolds: (i) $\mathbb{S}^3$, (ii) $\mathbb{R}^3$, (iii) $\mathbb{S}^2 \times \mathbb{R}$, (iv) the complement of a tame Cantor set in $\mathbb{S}^3$. We prove that a group $Γ$ admits a discrete topological (equivalently, smooth) action on some simply-connected 3-manifold if and only if $Γ$ has a Cayley complex embeddable -- with certain natural restrictions -- in one of the following four 3-manifolds: (i) $\mathbb{S}^3$, (ii) $\mathbb{R}^3$, (iii) $\mathbb{S}^2 \times \mathbb{R}$, (iv) the complement of a tame Cantor set in $\mathbb{S}^3$. △ Less

Submitted 21 August, 2022; originally announced August 2022.

MSC Class: 57M60; 57S25; 57S30; 57S17; 57K30; 05E45

Haystack Hunting Hints and Locker Room Communication

Authors: Artur Czumaj, George Kontogeorgiou, Mike Paterson

Abstract: We want to efficiently find a specific object in a large unstructured set, which we model by a random $n$-permutation, and we have to do it by revealing just a single element. Clearly, without any help this task is hopeless and the best one can do is select the element at random, and achieve the success probability $\frac{1}{n}$. Can we do better with some small amount of advice about the permutat… ▽ More We want to efficiently find a specific object in a large unstructured set, which we model by a random $n$-permutation, and we have to do it by revealing just a single element. Clearly, without any help this task is hopeless and the best one can do is select the element at random, and achieve the success probability $\frac{1}{n}$. Can we do better with some small amount of advice about the permutation, even without knowing the object sought? We show that by providing advice of just one integer in $\{0,1,...,n-1\}$, one can improve the success probability considerably, by a $Θ(\frac{logn}{loglogn})$ factor. We study this and related problems, and show asymptotically matching upper and lower bounds for their optimal probability of success.Our analysis relies on a close relationship of such problems to some intrinsic properties of rendom permutations related to the rencontres number. △ Less

Submitted 3 June, 2021; v1 submitted 26 August, 2020; originally announced August 2020.

Comments: 27 pages, 1 figure

The problème des ménages revisited

Authors: Lefteris Kirousis, Georgios Kontogeorgiou

Abstract: We present an alternative proof to the Touchard-Kaplansky formula for the problème des ménages, which, we believe, is simpler than the extant ones and is in the spirit of the elegant original proof by Kaplansky (1943). About the latter proof, Bogart and Doyle (1986) argued that despite its cleverness, suffered from opting to give precedence to one of the genders for the couples involved (Bogart an… ▽ More We present an alternative proof to the Touchard-Kaplansky formula for the problème des ménages, which, we believe, is simpler than the extant ones and is in the spirit of the elegant original proof by Kaplansky (1943). About the latter proof, Bogart and Doyle (1986) argued that despite its cleverness, suffered from opting to give precedence to one of the genders for the couples involved (Bogart and Doyle supplied an elegant proof that avoided such gender-dependent bias). △ Less

Submitted 24 July, 2016; v1 submitted 14 July, 2016; originally announced July 2016.