arXiv subjects

Florian Lehner

Publications and source records attributed to Florian Lehner.

At least 19 recordsLinked to original sources

arXiv2026

Countable Graphs with Finite Path-width: Characterisation and Universality

We study path-width and the closely related parameter line-width in countably infinite graphs. Our first result characterises the graphs of finite path-width: they are the graphs that do not have infinitely many vertices of infinite degree, do not have infinitely many pairwise disjoint infinite paths, and contain no subdivision of some finite tree of maximum degree 3. We then investigate universality under the subgraph relation for graphs of bounded path-width or line-width. In particular, we prove that there exists a universal graph with line-width $\mathcal{O}(k^2)$ for the class of graphs with line-width at most $k$. In contrast, we show that no graph of finite path-width is universal for the class of locally finite graphs with path-width $1$. Finally, we show that for each $k\geq 2$, every universal graph for the class of graphs with path-width at most $k$ has line-width at least $k + 1$.

math.CO↗

arXiv2026

The 2-Cops-Move Cop Number of Graphs on the Torus, Klein Bottle, and Projective Plane

We study the $2$-cops-move variant of the game of cops and robber, in which at most two cops may move in each turn. Let $c_2(G)$ denote the corresponding cop number. We prove that every graph embeddable on the torus, Klein bottle, or projective plane satisfies $c_2(G)\le 3$, extending a recent result of Gonz\'alez Hermosillo de la Maza and Mohar for planar graphs.

math.CO↗

arXiv2026

Cayley Graphs Of Order $pqrs$ Are Hamiltonian

Assume $ G $ is a finite group with order $ |G| = pqrs $, where $ p $, $ q $, $ r $, and $ s $ are distinct prime numbers. We prove that every connected Cayley graph of $ G $ contains a hamiltonian cycle. Our result drops all restrictions of all previously known results on hamiltonian cycles in Cayley graphs of groups of order $pqrs$.

math.CO↗

arXiv2026

Graphs of group actions and group actions on trees

Bass-Serre theory provides a powerful framework for studying group actions on trees. While extremely effective for structural questions in group theory, it is less suited to the systematic construction of group actions with prescribed local behaviour. Motivated by local-to-global constructions such as the Burger-Mozes universal groups and local action diagrams, we develop an analogue of Bass-Serre theory for group actions. The central object of study in our are graphs of group actions, combinatorial structures similar to graphs of groups from Bass-Serre theory, encoding compatible local permutation actions on a base graph. From these we can construct groups which act on tree-like graphs called scaffoldings and hence also on trees. We prove uniqueness and universality results for the resulting groups and show that our framework unifies and generalises (among other known constructions) both graphs of groups and local action diagrams. Remarkably, we are able to encapsulate the full generality of the former while still allowing for efficient construction of groups with certain local properties like in the latter.

math.GR↗

arXiv2026

Edge Inversions in $(P_k)$-closed Groups

We construct $(P_2)$-closed groups acting on $T_3$ in which all edge inversions have infinite order. This provides a negative answer to a question posed by Tornier. We also construct a family of $(P_2)$-closed groups for which the smallest order of an edge inversion is an arbitrarily high finite number.

math.GR↗

arXiv2025

Bounding the number of holes required for folding rectangular polyominoes into cubes

We study the problem of whether rectangular polyominoes with holes are cube-foldable, that is, whether they can be folded into a cube, if creases are only allowed along grid lines. It is known that holes of sufficient size guarantee that this is the case. Smaller holes which by themselves do not make a rectangular polyomino cube-foldable can sometimes be combined to create cube-foldable polyominoes. We investigate minimal sets of holes which guarantee cube-foldability. We show that if all holes are of the same type, the these minimal sets have size at most 4, and if we allow different types of holes, then there is no upper bound on the size.

cs.CG↗

arXiv2025

Distinguishing finite and infinite trees of arbitrary cardinality

Let $G$ be a finite or infinite graph and $m(G)$ the minimum number of vertices moved by the non-identity automorphisms of $G$. We are interested in bounds on the supremum $\Delta(G)$ of the degrees of the vertices of $G$ that assure the existence of vertex colorings of $G$ with two colors that are preserved only by the identity automorphism, and, in particular, in the number $a(G)$ of such colorings that are mutually inequivalent. For trees $T$ with finite $m(T)$ we obtain the bound $\Delta(T)\leq2^{m(T)/2}$ for the existence of such a coloring, and show that $a(T)= 2^{|T|}$ if $T$ is infinite. Similarly, we prove that $a(G) = 2^{|G|}$ for all tree-like graphs $G$ with $\Delta(G)\le 2^{\aleph_0}$. For rayless or one-ended trees $T$ with arbitrarily large infinite $m(T)$, we prove directly that $a(T)= 2^{|T|}$ if $\Delta(T)\le 2^{m(T)}$.

math.CO↗

arXiv2025

On weak cop numbers of transitive graphs

The weak cop number of infinite graphs can be seen as a coarse-geometric analogue to the cop number of finite graphs. We show that every vertex transitive graph with at least one thick end has infinite weak cop number. It follows that every connected, vertex transitive graph has weak cop number $1$ or $\infty$, answering a question posed by Lee, Mart\'inez-Pedroza, and Rodr\'iguez-Quinche, and reiterated in recent preprints by Appenzeller and Klinge, and by Esperet, Gahlawat, and Giocanti.

math.CO↗

arXiv2024

Hamiltonicity of Transitive Graphs Whose Automorphism Group Has $\Z_{p}$ as Commutator Subgroups

In 1982, Durnberger proved that every connected Cayley graph of a finite group with a commutator subgroup of prime order contains a hamiltonian cycle. In this paper, we extend this result to the infinite case. Additionally, we generalize this result to a broader class of infinite graphs $X$, where the automorphism group of $X$ contains a transitive subgroup $G$ with a cyclic commutator subgroup of prime order.

math.CO↗

arXiv2024

Basis number of bounded genus graphs

The basis number of a graph $G$ is the smallest integer $k$ such that $G$ admits a basis $B$ for its cycle space, where each edge of $G$ belongs to at most $k$ members of $B$. In this note, we show that every non-planar graph that can be embedded on a surface with Euler characteristic $0$ has a basis number of exactly $3$, proving a conjecture of Schmeichel from 1981. Additionally, we show that any graph embedded on a surface $\Sigma$ (whether orientable or non-orientable) of genus $g$ has a basis number of $O(\log^2 g)$.

math.CO↗

arXiv2024

Locally finite graphs and their localization numbers

We study the Localization game on locally finite graphs trees, where each of the countably many vertices have finite degree. In contrast to the finite case, we construct a locally finite tree with localization number $n$ for any choice of positive integer $n$. Our examples have uncountably many ends, and we show that this is necessary by proving that locally finite trees with finitely or countably many ends have localization number at most 2. Finally, as is the case for finite graphs, we prove that any locally finite graph contains a subdivision where one cop can capture the robber.

math.CO↗

arXiv2024

Self-avoiding walk is ballistic on graphs with more than one end

We prove that on any transitive graph $G$ with infinitely many ends, a self-avoiding walk of length $n$ is ballistic with extremely high probability, in the sense that there exist constants $c,t>0$ such that $\mathbb{P}_n(d_G(w_0,w_n)\geq cn)\geq 1-e^{-tn}$ for every $n\geq 1$. Furthermore, we show that the number of self-avoiding walks of length $n$ grows asymptotically like $\mu_w^n$, in the sense that there exists $C>0$ such that $\mu_w^n\leq c_n\leq C\mu_w^n$ for every $n\geq 1$. Our results extend more generally to quasi-transitive graphs with infinitely many ends, satisfying the additional technical property that there is a quasi-transitive group of automorphisms of $G$ which does not fix an end of $G$.

math.CO↗

arXiv2024

Folding polyominoes into cubes

Which polyominoes can be folded into a cube, using only creases along edges of the square lattice underlying the polyomino, with fold angles of $\pm 90^\circ$ and $\pm 180^\circ$, and allowing faces of the cube to be covered multiple times? Prior results studied tree-shaped polyominoes and polyominoes with holes and gave partial classifications for these cases. We show that there is an algorithm deciding whether a given polyomino can be folded into a cube. This algorithm essentially amounts to trying all possible ways of mapping faces of the polyomino to faces of the cube, but (perhaps surprisingly) checking whether such a mapping corresponds to a valid folding is equivalent to the unlink recognition problem from topology. We also give further results on classes of polyominoes which can or cannot be folded into cubes. Our results include (1) a full characterisation of all tree-shaped polyominoes that can be folded into the cube (2) that any rectangular polyomino which contains only one simple hole (out of five different types) does not fold into a cube, (3) a complete characterisation when a rectangular polyomino with two or more unit square holes (but no other holes) can be folded into a cube, and (4) a sufficient condition when a simply-connected polyomino can be folded to a cube. These results answer several open problems of previous work and close the cases of tree-shaped polyominoes and rectangular polyominoes with just one simple hole.

cs.CG↗

arXiv2023

Catching a robber on a random $k$-uniform hypergraph

The game of \emph{Cops and Robber} is usually played on a graph, where a group of cops attempt to catch a robber moving along the edges of the graph. The \emph{cop number} of a graph is the minimum number of cops required to win the game. An important conjecture in this area, due to Meyniel, states that the cop number of an $n$-vertex connected graph is $O(\sqrt{n})$. In 2016, Pra{\l}at and Wormald [Meyniel's conjecture holds for random graphs, Random Structures Algorithms. 48 (2016), no. 2, 396-421. MR3449604] showed that this conjecture holds with high probability for random graphs above the connectedness threshold. Moreoever, {\L}uczak and Pra{\l}at [Chasing robbers on random graphs: Zigzag theorem, Random Structures Algorithms. 37 (2010), no. 4, 516-524. MR2760362] showed that on a $\log$-scale the cop number demonstrates a surprising \emph{zigzag} behaviour in dense regimes of the binomial random graph $G(n,p)$. In this paper, we consider the game of Cops and Robber on a hypergraph, where the players move along hyperedges instead of edges. We show that with high probability the cop number of the $k$-uniform binomial random hypergraph $G^k(n,p)$ is $O\left(\sqrt{\frac{n}{k}}\, \log n \right)$ for a broad range of parameters $p$ and $k$ and that on a $\log$-scale our upper bound on the cop number arises as the minimum of \emph{two} complementary zigzag curves, as opposed to the case of $G(n,p)$. Furthermore, we conjecture that the cop number of a connected $k$-uniform hypergraph on $n$ vertices is $O\left(\sqrt{\frac{n}{k}}\,\right)$.

math.CO↗

arXiv2023

Chromatic number is not tournament-local

Scott and Seymour conjectured the existence of a function $f \colon \mathbb{N} \to \mathbb{N}$ such that, for every graph $G$ and tournament $T$ on the same vertex set, $\chi(G) \geqslant f(k)$ implies that $\chi(G[N_T^+(v)]) \geqslant k$ for some vertex $v$. In this note we disprove this conjecture even if $v$ is replaced by a vertex set of size $\mathcal{O}(\log{\lvert V(G)\rvert})$. As a consequence, we answer in the negative a question of Harutyunyan, Le, Thomass\'{e}, and Wu concerning the corresponding statement where the graph $G$ is replaced by another tournament, and disprove a related conjecture of Nguyen, Scott, and Seymour. We also show that the setting where chromatic number is replaced by degeneracy exhibits a quite different behaviour.

math.CO↗

arXiv2023

Asymmetrizing infinite trees

A graph $G$ is asymmetrizable if it has a set of vertices whose setwise stablizer only consists of the identity automorphism. The motion $m$ of a graph is the minimum number of vertices moved by any non-identity automorphism. It is known that infinite trees $T$ with motion $m=\aleph_0$ are asymmetrizable if the vertex-degrees are bounded by $2^m.$ We show that this also holds for arbitrary, infinite $m$, and that the number of inequivalent asymmetrizing sets is $2^{|T|}$.

math.CO↗

arXiv2022

Tipsy cop and tipsy robber: collisions of biased random walks on graphs

Introduced by Harris, Insko, Prieto Langarica, Stoisavljevic, and Sullivan, the \emph{tipsy cop and drunken robber} is a variant of the cop and robber game on graphs in which the robber simply moves randomly along the graph, while the cop moves directed towards the robber some fixed proportion of the time and randomly the remainder. In this article, we adopt a slightly different interpretation of tipsiness of the cop and robber where we assume that in any round of the game there are four possible outcomes: a sober cop move, a sober robber move, a tipsy (uniformly random) move by the cop, and a tipsy (uniformly random) move by the robber. We study this tipsy cop and tipsy robber game on the infinite grid graph and on certain families of infinite trees including $\delta$-regular trees %infinite binary trees with an infinite path rooted at every vertex, and $\delta$-regular trees rooted to a $\Delta$-regular tree, where $\Delta \geq \delta$. Our main results analyze strategies for the cop and robber on these graphs. We conclude with some directions for further study.

math.PR↗

arXiv2022

Asymmetric colouring of locally compact permutation groups

Let $G \leq \mathrm{Sym} (X)$ for a countable set $X$. Call a colouring of $X$ asymmetric, if the identity is the only element of $G$ which preserves all colours. The motion (also called minimal degree) of $G$ is the minimal number of elements moved by an element $g \in G \setminus\{\mathrm{id}\}$. We show that every locally compact, closed permutation group with infinite motion admits an asymmetric $2$-colouring. This generalises a recent result by Babai and confirms a conjecture by Imrich, Smith, Tucker, and Watkins from 2015.

math.GR↗