Showing 1–50 of 69 results for author: Muller, T

Higher dimensional floorplans and Baxter d-permutations

Authors: Nicolas Bonichon, Thomas Muller, Adrian Tanasa

Abstract: A $2-$dimensional mosaic floorplan is a partition of a rectangle by other rectangles with no empty rooms. These partitions (considered up to some deformations) are known to be in bijection with Baxter permutations. A $d$-floorplan is the generalisation of mosaic floorplans in higher dimensions, and a $d$-permutation is a $(d-1)$-tuple of permutations. Recently, in N. Bonichon and P.-J. Morel, {\it… ▽ More A $2-$dimensional mosaic floorplan is a partition of a rectangle by other rectangles with no empty rooms. These partitions (considered up to some deformations) are known to be in bijection with Baxter permutations. A $d$-floorplan is the generalisation of mosaic floorplans in higher dimensions, and a $d$-permutation is a $(d-1)$-tuple of permutations. Recently, in N. Bonichon and P.-J. Morel, {\it J. Integer Sequences} 25 (2022), Baxter $d$-permutations generalising the usual Baxter permutations were introduced. In this paper, we consider mosaic floorplans in arbitrary dimensions, and we construct a generating tree for $d$-floorplans, which generalises the known generating tree structure for $2$-floorplans. The corresponding labels and rewriting rules appear to be significantly more involved in higher dimensions. Moreover we give a bijection between the $2^{d-1}$-floorplans and $d$-permutations characterized by forbidden vincular patterns. Surprisingly, this set of $d$-permutations is strictly contained within the set of Baxter $d$-permutations. △ Less

Submitted 1 April, 2025; originally announced April 2025.

Comments: 34 pages, 24 figures

Algebraic Constraints and Algorithms for Common Lines in Cryo-EM

Authors: Tommi Muller, Adriana L. Duncan, Eric J. Verbeke, Joe Kileel

Abstract: We revisit the topic of common lines between projection images in single particle cryo-electron microscopy (cryo-EM). We derive a novel low-rank constraint on a certain $2n \times n$ matrix storing properly-scaled basis vectors for the common lines between $n$ projection images of one molecular conformation. Using this algebraic constraint and others, we give optimization algorithms to denoise com… ▽ More We revisit the topic of common lines between projection images in single particle cryo-electron microscopy (cryo-EM). We derive a novel low-rank constraint on a certain $2n \times n$ matrix storing properly-scaled basis vectors for the common lines between $n$ projection images of one molecular conformation. Using this algebraic constraint and others, we give optimization algorithms to denoise common lines and recover the unknown 3D rotations associated to the images. As an application, we develop a clustering algorithm to partition a set of noisy images into homogeneous communities using common lines, in the case of discrete heterogeneity in cryo-EM. We demonstrate the methods on synthetic and experimental datasets. △ Less

Submitted 6 June, 2024; v1 submitted 25 March, 2024; originally announced March 2024.

MSC Class: 90C26; 14Q30

Journal ref: Biological Imaging, 1-30 (2024)

Measurement Uncertainty: Relating the uncertainties of physical and virtual measurements

Authors: Simon Cramer, Tobias Müller, Robert H. Schmitt

Abstract: In the context of industrially mass-manufactured products, quality management is based on physically inspecting a small sample from a large batch and reasoning about the batch's quality conformance. When complementing physical inspections with predictions from machine learning models, it is crucial that the uncertainty of the prediction is known. Otherwise, the application of established quality m… ▽ More In the context of industrially mass-manufactured products, quality management is based on physically inspecting a small sample from a large batch and reasoning about the batch's quality conformance. When complementing physical inspections with predictions from machine learning models, it is crucial that the uncertainty of the prediction is known. Otherwise, the application of established quality management concepts is not legitimate. Deterministic (machine learning) models lack quantification of their predictive uncertainty and are therefore unsuitable. Probabilistic (machine learning) models provide a predictive uncertainty along with the prediction. However, a concise relationship is missing between the measurement uncertainty of physical inspections and the predictive uncertainty of probabilistic models in their application in quality management. Here, we show how the predictive uncertainty of probabilistic (machine learning) models is related to the measurement uncertainty of physical inspections. This enables the use of probabilistic models for virtual inspections and integrates them into existing quality management concepts. Thus, we can provide a virtual measurement for any quality characteristic based on the process data and achieve a 100 percent inspection rate. In the field of Predictive Quality, the virtual measurement is of great interest. Based on our results, physical inspections with a low sampling rate can be accompanied by virtual measurements that allow an inspection rate of 100 percent. We add substantial value, especially to complex process chains, as faulty products/parts are identified promptly and upcoming process steps can be aborted. △ Less

Submitted 21 February, 2024; originally announced February 2024.

Multilinear Hyperquiver Representations

Authors: Tommi Muller, Vidit Nanda, Anna Seigal

Abstract: We count singular vector tuples of a system of tensors assigned to the edges of a directed hypergraph. To do so, we study the generalisation of quivers to directed hypergraphs. Assigning vector spaces to the nodes of a hypergraph and multilinear maps to its hyperedges gives a hyperquiver representation. Hyperquiver representations generalise quiver representations (where all hyperedges are edges)… ▽ More We count singular vector tuples of a system of tensors assigned to the edges of a directed hypergraph. To do so, we study the generalisation of quivers to directed hypergraphs. Assigning vector spaces to the nodes of a hypergraph and multilinear maps to its hyperedges gives a hyperquiver representation. Hyperquiver representations generalise quiver representations (where all hyperedges are edges) and tensors (where there is only one multilinear map). The singular vectors of a hyperquiver representation are a compatible assignment of vectors to the nodes. We compute the dimension and degree of the variety of singular vectors of a sufficiently generic hyperquiver representation. Our formula specialises to known results that count the singular vectors and eigenvectors of a generic tensor. Lastly, we study a hypergraph generalisation of the inverse tensor eigenvalue problem and solve it algorithmically. △ Less

Submitted 4 December, 2024; v1 submitted 9 May, 2023; originally announced May 2023.

Comments: December 4 2024: New Section 8 added

MSC Class: 14D21; 14C17; 15A69; 15A18; 16G20

The congruence properties of Romik's sequence of Taylor coefficients of Jacobi's theta function $θ_3$

Authors: Christian Krattenthaler, Thomas W. Müller

Abstract: In [Ramanujan J. 52 (2020), 275-290], Romik considered the Taylor expansion of Jacobi's theta function $θ_3(q)$ at $q=e^{-π}$ and encoded it in an integer sequence $(d(n))_{n\ge0}$ for which he provided a recursive procedure to compute the terms of the sequence. He observed intriguing behaviour of $d(n)$ modulo primes and prime powers. Here we prove (1) that $d(n)$ eventually vanishes modulo any p… ▽ More In [Ramanujan J. 52 (2020), 275-290], Romik considered the Taylor expansion of Jacobi's theta function $θ_3(q)$ at $q=e^{-π}$ and encoded it in an integer sequence $(d(n))_{n\ge0}$ for which he provided a recursive procedure to compute the terms of the sequence. He observed intriguing behaviour of $d(n)$ modulo primes and prime powers. Here we prove (1) that $d(n)$ eventually vanishes modulo any prime power $p^e$ with $p\equiv3$ (mod 4), (2) that $d(n)$ is eventually periodic modulo any prime power $p^e$ with $p\equiv1$ (mod 4), and (3) that $d(n)$ is purely periodic modulo any 2-power $2^e$. Our results also provide more detailed information on period length, respectively from when on the sequence vanishes or becomes periodic. The corresponding bounds may not be optimal though, as computer data suggest. Our approach shows that the above congruence properties hold at a much finer, polynomial level. △ Less

Submitted 13 October, 2024; v1 submitted 22 April, 2023; originally announced April 2023.

Comments: 59 pages; AmS-LaTeX; improved results for p congruent to 3 modulo 4; added reference [6]

MSC Class: Primary 11F37; Secondary 11B83 14K25

Logical limit laws for Mallows random permutations

Authors: Tobias Muller, Fiona Skerman, Teun W. Verstraaten

Abstract: A random permutation $Π_n$ of $\{1,\dots,n\}$ follows the $\DeclareMathOperator{\Mallows}{Mallows}\Mallows(n,q)$ distribution with parameter $q>0$ if $\mathbb{P} ( Π_n = π)$ is proportional to $\DeclareMathOperator{\inv}{inv} q^{\inv(π)}$ for all $π$. Here $\DeclareMathOperator{\inv}{inv} \inv(π) := |\{ i<j : π(i)> π(j) \}|$ denotes the number of inversions of $π$. We consider properties of permut… ▽ More A random permutation $Π_n$ of $\{1,\dots,n\}$ follows the $\DeclareMathOperator{\Mallows}{Mallows}\Mallows(n,q)$ distribution with parameter $q>0$ if $\mathbb{P} ( Π_n = π)$ is proportional to $\DeclareMathOperator{\inv}{inv} q^{\inv(π)}$ for all $π$. Here $\DeclareMathOperator{\inv}{inv} \inv(π) := |\{ i<j : π(i)> π(j) \}|$ denotes the number of inversions of $π$. We consider properties of permutations that can be expressed by the sentences of two different logical languages. Namely, the theory of one bijection ($\mathsf{TOOB}$), which describes permutations via a single binary relation, and the theory of two orders ($\mathsf{TOTO}$), where we describe permutations by two total orders. We say that the convergence law holds with respect to one of these languages if, for every sentence $φ$ in the language, the probability $\mathbb{P} (Π_n\text{ satisfies } φ)$ converges to a limit as $n\to\infty$. If moreover that limit is in the set $\{0,1\}$ for all sentences, then the zero-one law holds. We will show that with respect to $\mathsf{TOOB}$ the $\Mallows(n,q)$ distribution satisfies the zero-one law when $0<q<1$ is fixed, and for fixed $q>1$ the convergence law fails. (In the case when $q=1$ Compton has shown the convergence law holds but not the zero-one law.) We will prove that with respect to $\mathsf{TOTO}$ the $\Mallows(n,q)$ distribution satisfies the convergence law but not the zero-one law for any fixed $q\neq 1$, and that if $q=q(n)$ satisfies $1 - 1/\log^*n < q < 1 + 1/\log^*n$ then $\Mallows(n,q)$ fails the convergence law. Here $\log^*$ denotes the discrete inverse of the tower function. △ Less

Submitted 26 May, 2024; v1 submitted 20 February, 2023; originally announced February 2023.

Comments: 47 pages. Minor changes since the last version

Comparing Approaches to Distributed Control of Fluid Systems based on Multi-Agent Systems

Authors: Kevin T. Logan, J. Marius Stürmer, Tim M. Müller, Peter F. Pelz

Abstract: Conventional control of fluid systems does not consider system-wide knowledge for optimising energy efficient operation. Distributed control of fluid systems combines reliable local control of components while using system-wide cooperation to ensure energy efficient operation. The presented work compares three approaches to distributed control based on multi-agent systems, distributed model predic… ▽ More Conventional control of fluid systems does not consider system-wide knowledge for optimising energy efficient operation. Distributed control of fluid systems combines reliable local control of components while using system-wide cooperation to ensure energy efficient operation. The presented work compares three approaches to distributed control based on multi-agent systems, distributed model predictive control (DMPC), multi-agent deep reinforcement learning (MADRL) and market mechanism design. These approaches were applied to a generic fluid system and evaluated with regard to functionality, energy efficient operation, modeling effort, reliability in the face of disruptions, and transparency of control decisions. All approaches were shown to fulfil the functionality, though a trade-off between functional quality and energy efficiency was identified. Increased modeling effort was shown to improve the performance slightly while a strong interdependence of information caused by excessive information sharing has proven to be disadvantageous. DMPC and partially observable MADRL were less sensitive to disruptions than market mechanism. In conclusion, agent-based control of fluid systems achieves greater energy efficiency than conventional methods, with values similar to centralized optimal control and thus represent a viable design approach of fluid system control. △ Less

Submitted 25 April, 2023; v1 submitted 16 December, 2022; originally announced December 2022.

Comments: 42 pages, 10 figures updated DOI in Data Availability Statement; updated links in figure captions to files in new version of dataset; dataset changed due to correcting links to raw data files in figure.json files

On the common transversal probability in finite groups

Authors: S. Aivazidis, M. Loukaki, T. W. Mueller

Abstract: Let $G$ be a finite group, and let $H$ be a subgroup of $G$. We compute the probability, denoted by $P_G(H)$, that a left transversal of $H$ in $G$ is also a right transversal, thus a two-sided one. Moreover, we define, and denote by $\mathrm{tp}(G)$, the common transversal probability of $G$ to be the minimum, taken over all subgroups $H$ of $G$, of $P_G(H)$. We prove a number of results regardin… ▽ More Let $G$ be a finite group, and let $H$ be a subgroup of $G$. We compute the probability, denoted by $P_G(H)$, that a left transversal of $H$ in $G$ is also a right transversal, thus a two-sided one. Moreover, we define, and denote by $\mathrm{tp}(G)$, the common transversal probability of $G$ to be the minimum, taken over all subgroups $H$ of $G$, of $P_G(H)$. We prove a number of results regarding the invariant $\mathrm{tp}(G)$, like lower and upper bounds, and possible values it can attain. We also show that $\mathrm{tp}(G)$ determines structural properties of $G$. Finally, several open problems are formulated and discussed. △ Less

Submitted 31 May, 2023; v1 submitted 2 September, 2022; originally announced September 2022.

Comments: 40 pages

Journal ref: Journal of Group Theory 27, 6, 1233-1285 (2024)

Cycles in Mallows random permutations

Authors: Jimmy He, Tobias Müller, Teun Verstraaten

Abstract: We study cycle counts in permutations of $1,\dots,n$ drawn at random according to the Mallows distribution. Under this distribution, each permutation $π\in S_n$ is selected with probability proportional to $q^{\text{inv}(π)}$, where $q>0$ is a parameter and $\text{inv}(π)$ denotes the number of inversions of $π$. For $\ell$ fixed, we study the vector $(C_1(Π_n),\dots,C_\ell(Π_n))$ where $C_i(π)$ d… ▽ More We study cycle counts in permutations of $1,\dots,n$ drawn at random according to the Mallows distribution. Under this distribution, each permutation $π\in S_n$ is selected with probability proportional to $q^{\text{inv}(π)}$, where $q>0$ is a parameter and $\text{inv}(π)$ denotes the number of inversions of $π$. For $\ell$ fixed, we study the vector $(C_1(Π_n),\dots,C_\ell(Π_n))$ where $C_i(π)$ denotes the number of cycles of length $i$ in $π$ and $Π_n$ is sampled according to the Mallows distribution. Here we show that if $0<q<1$ is fixed and $n\to\infty$ then there are positive constants $m_i$ such that each $C_i(Π_n)$ has mean $(1+o(1)) \cdot m_i\cdot n$ and the vector of cycle counts can be suitably rescaled to tend to a joint Gaussian distribution. Our results also show that when $q>1$ there is striking difference between the behaviour of the even and the odd cycles. The even cycle counts still have linear means, and when properly rescaled tend to a multivariate Gaussian distribution. For the odd cycle counts on the other hand, the limiting behaviour depends on the parity of $n$ when $q>1$. Both $(C_1(Π_{2n}),C_3(Π_{2n}),\dots)$ and $(C_1(Π_{2n+1}),C_3(Π_{2n+1}),\dots)$ have discrete limiting distributions -- they do not need to be renormalized -- but the two limiting distributions are distinct for all $q>1$. We describe these limiting distributions in terms of Gnedin and Olshanski's bi-infinite extension of the Mallows model. We also investigate these limiting distributions, and study the behaviour of the constants involved in the Gaussian limit laws. We for example show that as $q\downarrow 1$ the expected number of 1-cycles tends to $1/2$ -- which, curiously, differs from the value corresponding to $q=1$. In addition we exhibit an interesting "oscillating" behaviour in the limiting probability measures for $q>1$ and $n$ odd versus $n$ even. △ Less

Submitted 1 June, 2022; v1 submitted 27 January, 2022; originally announced January 2022.

Comments: This is a merger of previous version with arXiv:2112.09789 42 pages, 4 figures

MSC Class: 60C05 (Primary) 05A05; 60F05 (Secondary)

Robust Eigenvectors of Symmetric Tensors

Authors: Tommi Muller, Elina Robeva, Konstantin Usevich

Abstract: The tensor power method generalizes the matrix power method to higher order arrays, or tensors. Like in the matrix case, the fixed points of the tensor power method are the eigenvectors of the tensor. While every real symmetric matrix has an eigendecomposition, the vectors generating a symmetric decomposition of a real symmetric tensor are not always eigenvectors of the tensor. In this paper we… ▽ More The tensor power method generalizes the matrix power method to higher order arrays, or tensors. Like in the matrix case, the fixed points of the tensor power method are the eigenvectors of the tensor. While every real symmetric matrix has an eigendecomposition, the vectors generating a symmetric decomposition of a real symmetric tensor are not always eigenvectors of the tensor. In this paper we show that whenever an eigenvector is a generator of the symmetric decomposition of a symmetric tensor, then (if the order of the tensor is sufficiently high) this eigenvector is robust, i.e., it is an attracting fixed point of the tensor power method. We exhibit new classes of symmetric tensors whose symmetric decomposition consists of eigenvectors. Generalizing orthogonally decomposable tensors, we consider equiangular tight frame decomposable and equiangular set decomposable tensors. Our main result implies that such tensors can be decomposed using the tensor power method. △ Less

Submitted 27 March, 2025; v1 submitted 12 November, 2021; originally announced November 2021.

Comments: 22 pages, 3 figures

MSC Class: 15A69; 15A18; 42C15; 65F15

Journal ref: SIAM J. Matrix Anal. Appl., 43(4):1784--1805, 2022

Poisson-Voronoi percolation in the hyperbolic plane with small intensities

Authors: Benjamin T. Hansen, Tobias Müller

Abstract: We consider percolation on the Voronoi tessellation generated by a homogeneous Poisson point process on the hyperbolic plane. We show that the critical probability for the existence of an infinite cluster is asymptotically equal to $πλ/3$ as $λ\to0.$ This answers a question of Benjamini and Schramm. We consider percolation on the Voronoi tessellation generated by a homogeneous Poisson point process on the hyperbolic plane. We show that the critical probability for the existence of an infinite cluster is asymptotically equal to $πλ/3$ as $λ\to0.$ This answers a question of Benjamini and Schramm. △ Less

Submitted 16 February, 2023; v1 submitted 8 November, 2021; originally announced November 2021.

Comments: 70 pages, 11 figures, various corrections made compared to the last version

MSC Class: 60K35

On the contractibility of random Vietoris-Rips complexes

Authors: Tobias Müller, Matěj Stehlík

Abstract: We show that the Vietoris-Rips complex $\mathcal R(n,r)$ built over $n$ points sampled at random from a uniformly positive probability measure on a convex body $K\subseteq \mathbb R^d$ is a.a.s. contractible when $r \geq c \left(\frac{\ln n}{n}\right)^{1/d}$ for a certain constant that depends on $K$ and the probability measure used. This answers a question of Kahle [Discrete Comput. Geom. 45 (201… ▽ More We show that the Vietoris-Rips complex $\mathcal R(n,r)$ built over $n$ points sampled at random from a uniformly positive probability measure on a convex body $K\subseteq \mathbb R^d$ is a.a.s. contractible when $r \geq c \left(\frac{\ln n}{n}\right)^{1/d}$ for a certain constant that depends on $K$ and the probability measure used. This answers a question of Kahle [Discrete Comput. Geom. 45 (2011), 553-573]. We also extend the proof to show that if $K$ is a compact, smooth $d$-manifold with boundary - but not necessarily convex - then $\mathcal R(n,r)$ is a.a.s. homotopy equivalent to $K$ when $c_1 \left(\frac{\ln n}{n}\right)^{1/d} \leq r \leq c_2$ for constants $c_1=c_1(K), c_2=c_2(K)$. Our proofs expose a connection with the game of cops and robbers. △ Less

Submitted 2 November, 2021; v1 submitted 8 March, 2021; originally announced March 2021.

Comments: 15 pages

MSC Class: 60D05; 55U10; 05C80

Journal ref: Discrete and Computational Geometry 69: 1139-1156, 2023

Component Games on Random Graphs

Authors: Rani Hod, Michael Krivelevich, Tobias Müller, Alon Naor, Nicholas Wormald

Abstract: In the $\left(1:b\right)$ component game played on a graph $G$, two players, Maker and Breaker, alternately claim~$1$ and~$b$ previously unclaimed edges of $G$, respectively. Maker's aim is to maximise the size of a largest connected component in her graph, while Breaker is trying to minimise it. We show that the outcome of the game on the binomial random graph is strongly correlated with the appe… ▽ More In the $\left(1:b\right)$ component game played on a graph $G$, two players, Maker and Breaker, alternately claim~$1$ and~$b$ previously unclaimed edges of $G$, respectively. Maker's aim is to maximise the size of a largest connected component in her graph, while Breaker is trying to minimise it. We show that the outcome of the game on the binomial random graph is strongly correlated with the appearance of a nonempty $(b+2)$-core in the graph. For any integer $k$, the $k$-core of a graph is its largest subgraph of minimum degree at least $k$. Pittel, Spencer and Wormald showed in 1996 that for any $k\ge3$ there exists an explicitly defined constant $c_{k}$ such that $p=c_{k}/n$ is the threshold function for the appearance of the $k$-core in $G(n,p)$. More precisely, $G(n,c/n)$ has WHP a linear-size $k$-core when the constant $c>c_{k}$, and an empty $k$-core when $c<c_{k}$. We show that for any positive constant $b$, when playing the $(1:b)$ component game on $G(n,c/n)$, Maker can WHP build a linear-size component if $c>c_{b+2}$, while Breaker can WHP prevent Maker from building larger than polylogarithmic-size components if $c<c_{b+2}$. For Breaker's strategy, we prove a theorem which may be of independent interest. The standard algorithm for computing the $k$-core of any graph is to repeatedly delete ("peel") all vertices of degree less than $k$, as long as such vertices remain. When $G(n,c/n)$ for $c<c_{k}$, it was shown by Jiang, Mitzenmacher and Thaler that $\log_{k-1}\log n+Θ(1)$ peeling iterations are WHP necessary and sufficient to obtain the (empty) $k$-core of~$G$. Our theorem states that already after a constant number of iterations, $G$ is WHP shattered into pieces of polylogarithmic size. △ Less

Submitted 17 December, 2020; v1 submitted 16 December, 2020; originally announced December 2020.

Comments: 31 pages

MSC Class: 05C80; 91A24

Orthogonal Decomposition of Tensor Trains

Authors: Karim Halaseh, Tommi Muller, Elina Robeva

Abstract: In this paper we study the problem of decomposing a given tensor into a tensor train such that the tensors at the vertices are orthogonally decomposable. When the tensor train has length two, and the orthogonally decomposable tensors at the two vertices are symmetric, we recover the decomposition by considering random linear combinations of slices. Furthermore, if the tensors at the vertices are s… ▽ More In this paper we study the problem of decomposing a given tensor into a tensor train such that the tensors at the vertices are orthogonally decomposable. When the tensor train has length two, and the orthogonally decomposable tensors at the two vertices are symmetric, we recover the decomposition by considering random linear combinations of slices. Furthermore, if the tensors at the vertices are symmetric and low-rank but not orthogonally decomposable, we show that a whitening procedure can transform the problem into the orthogonal case. When the tensor network has length three or more and the tensors at the vertices are symmetric and orthogonally decomposable, we provide an algorithm for recovering them subject to some rank conditions. Finally, in the case of tensor trains of length two in which the tensors at the vertices are orthogonally decomposable but not necessarily symmetric, we show that the decomposition problem reduces to the novel problem of decomposing a matrix into an orthogonal matrix multiplied by diagonal matrices on either side. We provide and compare two solutions, one based on Sinkhorn's theorem and one on Procrustes' algorithm. We conclude with a multitude of open problems in linear and multilinear algebra that arose in our study. △ Less

Submitted 24 September, 2021; v1 submitted 8 October, 2020; originally announced October 2020.

MSC Class: 15A69; 15A29; 15B10

Limiting probabilities of first order properties of random sparse graphs and hypergraphs

Authors: Alberto Larrauri, Tobias Müller, Marc Noy

Abstract: Let $G_n$ be the binomial random graph $G(n,p=c/n)$ in the sparse regime, which as is well-known undergoes a phase transition at $c=1$. Lynch (Random Structures Algorithms, 1992) showed that for every first order sentence $φ$, the limiting probability that $G_n$ satisfies $φ$ as $n\to\infty$ exists, and moreover it is an analytic function of $c$. In this paper we consider the closure… ▽ More Let $G_n$ be the binomial random graph $G(n,p=c/n)$ in the sparse regime, which as is well-known undergoes a phase transition at $c=1$. Lynch (Random Structures Algorithms, 1992) showed that for every first order sentence $φ$, the limiting probability that $G_n$ satisfies $φ$ as $n\to\infty$ exists, and moreover it is an analytic function of $c$. In this paper we consider the closure $\overline{L_c}$ in $[0,1]$ of the set $L_c$ of all limiting probabilities of first order sentences in $G_n$. We show that there exists a critical value $c_0 \approx0.93$ such that $\overline{L_c}= [0,1]$ when $c \ge c_0$, whereas $\overline{L_c}$ misses at least one subinterval when $c<c_0$. We extend these results to random $d$-uniform sparse hypergraphs, where the probability of a hyperedge is given by $p=c/n^{d-1}$. △ Less

Submitted 20 August, 2020; originally announced August 2020.

The critical probability for Voronoi percolation in the hyperbolic plane tends to $1/2$

Authors: Benjamin T. Hansen, Tobias Müller

Abstract: We consider percolation on the Voronoi tessellation generated by a homogeneous Poisson point process on the hyperbolic plane. We show that the critical probability for the existence of an infinite cluster tends to $1/2$ as the intensity of the Poisson process tends to infinity. This confirms a conjecture of Benjamini and Schramm. We consider percolation on the Voronoi tessellation generated by a homogeneous Poisson point process on the hyperbolic plane. We show that the critical probability for the existence of an infinite cluster tends to $1/2$ as the intensity of the Poisson process tends to infinity. This confirms a conjecture of Benjamini and Schramm. △ Less

Submitted 16 February, 2021; v1 submitted 3 April, 2020; originally announced April 2020.

Comments: 15 pages, 6 figures, to be published in Random Structures and Algorithms, very minor corrections since the last version

MSC Class: 60K35

Realizing Artin-Schreier Covers with Minimal $a$-numbers in Positive Characteristic

Authors: Fiona Abney-McPeek, Hugo Berg, Jeremy Booher, Sun Mee Choi, Viktor Fukala, Miroslav Marinov, Theo Müller, Paweł Narkiewicz, Rachel Pries, Nancy Xu, Andrew Yuan

Abstract: Suppose $X$ is a smooth projective connected curve defined over an algebraically closed field of characteristic $p>0$ and $B \subset X$ is a finite, possibly empty, set of points. Booher and Cais determined a lower bound for the $a$-number of a $\mathbf{Z}/p \mathbf{Z}$-cover of $X$ with branch locus $B$. For odd primes $p$, in most cases it is not known if this lower bound is realized. In this no… ▽ More Suppose $X$ is a smooth projective connected curve defined over an algebraically closed field of characteristic $p>0$ and $B \subset X$ is a finite, possibly empty, set of points. Booher and Cais determined a lower bound for the $a$-number of a $\mathbf{Z}/p \mathbf{Z}$-cover of $X$ with branch locus $B$. For odd primes $p$, in most cases it is not known if this lower bound is realized. In this note, when $X$ is ordinary, we use formal patching to reduce that question to a computational question about $a$-numbers of $\mathbf{Z}/p\mathbf{Z}$-covers of the affine line. As an application, when $p=3$ or $p=5$, for any ordinary curve $X$ and any choice of $B$, we prove that the lower bound is realized for Artin-Schreier covers of $X$ with branch locus $B$. △ Less

Submitted 5 December, 2022; v1 submitted 19 March, 2020; originally announced March 2020.

Comments: parts from PROMYS 2019; typos fixed and numbering-style modified to match journal

MSC Class: 11G20; 11T06; 14D15; 14H40; 15A04

Journal ref: Involve 15 (2022) 559-590

Clustering in a hyperbolic model of complex networks

Authors: Nikolaos Fountoulakis, Pim van der Hoorn, Tobias Müller, Markus Schepers

Abstract: In this paper we consider the clustering coefficient and clustering function in a random graph model proposed by Krioukov et al.~in 2010. In this model, nodes are chosen randomly inside a disk in the hyperbolic plane and two nodes are connected if they are at most a certain hyperbolic distance from each other. It has been shown that this model has various properties associated with complex network… ▽ More In this paper we consider the clustering coefficient and clustering function in a random graph model proposed by Krioukov et al.~in 2010. In this model, nodes are chosen randomly inside a disk in the hyperbolic plane and two nodes are connected if they are at most a certain hyperbolic distance from each other. It has been shown that this model has various properties associated with complex networks, e.g. power-law degree distribution, short distances and non-vanishing clustering coefficient. Here we show that the clustering coefficient tends in probability to a constant $γ$ that we give explicitly as a closed form expression in terms of $α, ν$ and certain special functions. This improves earlier work by Gugelmann et al., who proved that the clustering coefficient remains bounded away from zero with high probability, but left open the issue of convergence to a limiting constant. Similarly, we are able to show that $c(k)$, the average clustering coefficient over all vertices of degree exactly $k$, tends in probability to a limit $γ(k)$ which we give explicitly as a closed form expression in terms of $α, ν$ and certain special functions. We are able to extend this last result also to sequences $(k_n)_n$ where $k_n$ grows as a function of $n$. Our results show that $γ(k)$ scales differently, as $k$ grows, for different ranges of $α$. More precisely, there exists constants $c_{α,ν}$ depending on $α$ and $ν$, such that as $k \to \infty$, $γ(k) \sim c_{α,ν} \cdot k^{2 - 4α}$ if $\frac{1}{2} < α< \frac{3}{4}$, $γ(k) \sim c_{α,ν} \cdot \log(k) \cdot k^{-1} $ if $α=\frac{3}{4}$ and $γ(k) \sim c_{α,ν} \cdot k^{-1}$ when $α> \frac{3}{4}$. These results contradict a claim of Krioukov et al., which stated that the limiting values $γ(k)$ should always scale with $k^{-1}$ as we let $k$ grow. △ Less

Submitted 17 December, 2020; v1 submitted 11 March, 2020; originally announced March 2020.

Comments: 127 pages

Finite non-cyclic $p$-groups whose number of subgroups is minimal

Authors: Stefanos Aivazidis, Thomas Müller

Abstract: Recent results of Qu and Tuarnauceanu describe explicitly the finite p-groups which are not elementary abelian and have the property that the number of their subgroups is maximal among p-groups of a given order. We complement these results from the bottom level up by determining completely the non-cyclic finite p-groups whose number of subgroups among p-groups of a given order is minimal. Recent results of Qu and Tuarnauceanu describe explicitly the finite p-groups which are not elementary abelian and have the property that the number of their subgroups is maximal among p-groups of a given order. We complement these results from the bottom level up by determining completely the non-cyclic finite p-groups whose number of subgroups among p-groups of a given order is minimal. △ Less

Submitted 24 May, 2019; originally announced May 2019.

Comments: 4 pages

MSC Class: 20D15 (20D60)

Hamilton cycles and perfect matchings in the KPKVB model

Authors: Nikolaos Fountoulakis, Dieter Mitsche, Tobias Müller, Markus Schepers

Abstract: In this paper we consider the existence of Hamilton cycles and perfect matchings in a random graph model proposed by Krioukov et al.~in 2010. In this model, nodes are chosen randomly inside a disk in the hyperbolic plane and two nodes are connected if they are at most a certain hyperbolic distance from each other. It has been previously shown that this model has various properties associated with… ▽ More In this paper we consider the existence of Hamilton cycles and perfect matchings in a random graph model proposed by Krioukov et al.~in 2010. In this model, nodes are chosen randomly inside a disk in the hyperbolic plane and two nodes are connected if they are at most a certain hyperbolic distance from each other. It has been previously shown that this model has various properties associated with complex networks, including a power-law degree distribution, "short distances" and a strictly positive clustering coefficient. The model is specified using three parameters: the number of nodes $n$, which we think of as going to infinity, and $α, ν> 0$, which we think of as constant. Roughly speaking $α$ controls the power law exponent of the degree sequence and $ν$ the average degree. Here we show that for every $α< 1/2$ and $ν=ν(α)$ sufficiently small, the model does not contain a perfect matching with high probability, whereas for every $α< 1/2$ and $ν=ν(α)$ sufficiently large, the model contains a Hamilton cycle with high probability. △ Less

Submitted 26 January, 2019; originally announced January 2019.

Comments: 18 pages, 2 figures

Optimal Cheeger cuts and bisections of random geometric graphs

Authors: Tobias Müller, Mathew D. Penrose

Abstract: Let $d \geq 2$. The Cheeger constant of a graph is the minimum surface-to-volume ratio of all subsets of the vertex set with relative volume at most 1/2. There are several ways to define surface and volume here: the simplest method is to count boundary edges (for the surface) and vertices (for the volume). We show that for a geometric (possibly weighted) graph on $n$ random points in a $d$-dimensi… ▽ More Let $d \geq 2$. The Cheeger constant of a graph is the minimum surface-to-volume ratio of all subsets of the vertex set with relative volume at most 1/2. There are several ways to define surface and volume here: the simplest method is to count boundary edges (for the surface) and vertices (for the volume). We show that for a geometric (possibly weighted) graph on $n$ random points in a $d$-dimensional domain with Lipschitz boundary and with distance parameter decaying more slowly (as a function of $n$) than the connectivity threshold, the Cheeger constant (under several possible definitions of surface and volume), also known as conductance, suitably rescaled, converges for large $n$ to an analogous Cheeger-type constant of the domain. Previously, García Trillos {\em et al.} had shown this for $d \geq 3$ but had required an extra condition on the distance parameter when $d=2$. △ Less

Submitted 22 May, 2018; originally announced May 2018.

Comments: 33 pages

MSC Class: 05C80 (Primary) 60D05; 62H30 (Secondary)

The first order convergence law fails for random perfect graphs

Authors: Tobias Müller, Marc Noy

Abstract: We consider first order expressible properties of random perfect graphs. That is, we pick a graph $G_n$ uniformly at random from all (labelled) perfect graphs on $n$ vertices and consider the probability that it satisfies some graph property that can be expressed in the first order language of graphs. We show that there exists such a first order expressible property for which the probability that… ▽ More We consider first order expressible properties of random perfect graphs. That is, we pick a graph $G_n$ uniformly at random from all (labelled) perfect graphs on $n$ vertices and consider the probability that it satisfies some graph property that can be expressed in the first order language of graphs. We show that there exists such a first order expressible property for which the probability that $G_n$ satisfies it does not converge as $n\to\infty$. △ Less

Submitted 1 October, 2018; v1 submitted 29 November, 2017; originally announced November 2017.

Comments: 11 pages. Minor corrections since last version

Large subgroups in finite groups

Authors: Stefanos Aivazidis, Thomas W. Müller

Abstract: Following Isaacs (see [Isa08, p. 94]), we call a normal subgroup N of a finite group G large, if $C_G(N) \leq N$, so that N has bounded index in G. Our principal aim here is to establish some general results for systematically producing large subgroups in finite groups (see Theorems A and C). We also consider the more specialised problems of finding large (non-abelian) nilpotent as well as abelian… ▽ More Following Isaacs (see [Isa08, p. 94]), we call a normal subgroup N of a finite group G large, if $C_G(N) \leq N$, so that N has bounded index in G. Our principal aim here is to establish some general results for systematically producing large subgroups in finite groups (see Theorems A and C). We also consider the more specialised problems of finding large (non-abelian) nilpotent as well as abelian subgroups in soluble groups. △ Less

Submitted 23 October, 2017; originally announced October 2017.

MSC Class: 20D10; 20D25

Generalised Mycielski graphs and the Borsuk-Ulam theorem

Authors: Tobias Müller, Matěj Stehlík

Abstract: Stiebitz determined the chromatic number of generalised Mycielski graphs using the topological method of Lovasz, which invokes the Borsuk-Ulam theorem. Van Ngoc and Tuza used elementary combinatorial arguments to prove Stiebitz's theorem for 4-chromatic generalised Mycielski graphs, and asked if there is also an elementary combinatorial proof for higher chromatic number. We answer their question b… ▽ More Stiebitz determined the chromatic number of generalised Mycielski graphs using the topological method of Lovasz, which invokes the Borsuk-Ulam theorem. Van Ngoc and Tuza used elementary combinatorial arguments to prove Stiebitz's theorem for 4-chromatic generalised Mycielski graphs, and asked if there is also an elementary combinatorial proof for higher chromatic number. We answer their question by showing that Stiebitz's theorem can be deduced from a version of Fan's combinatorial lemma. Our proof uses topological terminology, but is otherwise completely discrete and could be rewritten to avoid topology altogether. However, doing so would be somewhat artificial, because we also show that Stiebitz's theorem is equivalent to the Borsuk-Ulam theorem. △ Less

Submitted 3 October, 2017; originally announced October 2017.

Comments: 7 pages

Journal ref: Electronic Journal of Combinatorics 26(4) (2019) #P4.81

On residuals of finite groups

Authors: Stefanos Aivazidis, Thomas Mueller

Abstract: A theorem of Dolfi, Herzog, Kaplan, and Lev \cite[Thm.~C]{DHKL} asserts that in a finite group with trivial Fitting subgroup, the size of the soluble residual of the group is bounded from below by a certain power of the group order, and that the inequality is sharp. Inspired by this result and some of the arguments in \cite{DHKL}, we establish the following generalisation: if $\mathfrak{X}$ is a s… ▽ More A theorem of Dolfi, Herzog, Kaplan, and Lev \cite[Thm.~C]{DHKL} asserts that in a finite group with trivial Fitting subgroup, the size of the soluble residual of the group is bounded from below by a certain power of the group order, and that the inequality is sharp. Inspired by this result and some of the arguments in \cite{DHKL}, we establish the following generalisation: if $\mathfrak{X}$ is a subgroup-closed Fitting formation of full characteristic which does not contain all finite groups and $\overline{\mathfrak{X}}$ is the extension-closure of $\mathfrak{X}$, then there exists an (optimal) constant $γ$ depending only on $\mathfrak{X}$ such that, for all non-trivial finite groups $G$ with trivial $\mathfrak{X}$-radical, \begin{equation} \left\lvert G^{\overline{\mathfrak{X}}}\right\rvert \,>\, \vert G\vert^γ, \end{equation} where $G^{\overline{\mathfrak{X}}}$ is the ${\overline{\mathfrak{X}}}$-residual of $G$. When $\mathfrak{X} = \mathfrak{N}$, the class of finite nilpotent groups, it follows that $\overline{\mathfrak{X}} = \mathfrak{S}$, the class of finite soluble groups, thus we recover the original theorem of Dolfi, Herzog, Kaplan, and Lev. In the last section of our paper, building on J.\,G. Thompson's classification of minimal simple groups, we exhibit a family of subgroup-closed Fitting formations $\mathfrak{X}$ of full characteristic such that $\mathfrak{S} \subset \overline{\mathfrak{X}} \subset \mathfrak{E}$, thus providing applications of our main result beyond the reach of \cite[Thm.~C]{DHKL}. △ Less

Submitted 14 August, 2017; originally announced August 2017.

Comments: 19 pages

MSC Class: 20D10 (20B05)

The diameter of KPKVB random graphs

Authors: Tobias Müller, Merlijn Staps

Abstract: We consider a model for complex networks that was recently proposed as a model for complex networks by Krioukov et al. In this model, nodes are chosen randomly inside a disk in the hyperbolic plane and two nodes are connected if they are at most a certain hyperbolic distance from each other. It has been previously shown that this model has various properties associated with complex networks, inclu… ▽ More We consider a model for complex networks that was recently proposed as a model for complex networks by Krioukov et al. In this model, nodes are chosen randomly inside a disk in the hyperbolic plane and two nodes are connected if they are at most a certain hyperbolic distance from each other. It has been previously shown that this model has various properties associated with complex networks, including a power-law degree distribution and a strictly positive clustering coefficient. The model is specified using three parameters : the number of nodes $N$, which we think of as going to infinity, and $α, ν> 0$ which we think of as constant. Roughly speaking $α$ controls the power law exponent of the degree sequence and $ν$ the average degree. Earlier work of Kiwi and Mitsche has shown that when $α< 1$ (which corresponds to the exponent of the power law degree sequence being $< 3$) then the diameter of the largest component is a.a.s.~polylogarithmic in $N$. Friedrich and Krohmer have shown it is a.a.s.~$Ω(\log N)$ and they improved the exponent of the polynomial in $\log N$ in the upper bound. Here we show the maximum diameter over all components is a.a.s.~$O(\log N)$ thus giving a bound that is tight up to a multiplicative constant. △ Less

Submitted 29 January, 2019; v1 submitted 29 July, 2017; originally announced July 2017.

Comments: very minor corrections since the last version

MSC Class: 05C80; 05C82

Journal ref: Adv. Appl. Probab. 51 (2019) 358-377

Coloring Jordan regions and curves

Authors: Wouter Cames van Batenburg, Louis Esperet, Tobias Müller

Abstract: A Jordan region is a subset of the plane that is homeomorphic to a closed disk. Consider a family $\mathcal{F}$ of Jordan regions whose interiors are pairwise disjoint, and such that any two Jordan regions intersect in at most one point. If any point of the plane is contained in at most $k$ elements of $\mathcal{F}$ (with $k$ sufficiently large), then we show that the elements of $\mathcal{F}$ can… ▽ More A Jordan region is a subset of the plane that is homeomorphic to a closed disk. Consider a family $\mathcal{F}$ of Jordan regions whose interiors are pairwise disjoint, and such that any two Jordan regions intersect in at most one point. If any point of the plane is contained in at most $k$ elements of $\mathcal{F}$ (with $k$ sufficiently large), then we show that the elements of $\mathcal{F}$ can be colored with at most $k+1$ colors so that intersecting Jordan regions are assigned distinct colors. This is best possible and answers a question raised by Reed and Shepherd in 1996. As a simple corollary, we also obtain a positive answer to a problem of Hliněný (1998) on the chromatic number of contact systems of strings. We also investigate the chromatic number of families of touching Jordan curves. This can be used to bound the ratio between the maximum number of vertex-disjoint directed cycles in a planar digraph, and its fractional counterpart. △ Less

Submitted 14 September, 2017; v1 submitted 29 August, 2016; originally announced August 2016.

Comments: 17 pages, 7 figures - final version

Journal ref: SIAM Journal on Discrete Mathematics 31(3) (2017), 1670-1684

Motzkin numbers and related sequences modulo powers of $2$

Authors: Christian Krattenthaler, Thomas W. Müller

Abstract: We show that the generating function $\sum_{n\ge0}M_n\,z^n$ for Motzkin numbers $M_n$, when coefficients are reduced modulo a given power of $2$, can be expressed as a polynomial in the basic series $\sum _{e\ge0} ^{} {z^{4^e}}/( {1-z^{2\cdot 4^e}})$ with coefficients being Laurent polynomials in $z$ and $1-z$. We use this result to determine $M_n$ modulo $8$ in terms of the binary digits of~$n$,… ▽ More We show that the generating function $\sum_{n\ge0}M_n\,z^n$ for Motzkin numbers $M_n$, when coefficients are reduced modulo a given power of $2$, can be expressed as a polynomial in the basic series $\sum _{e\ge0} ^{} {z^{4^e}}/( {1-z^{2\cdot 4^e}})$ with coefficients being Laurent polynomials in $z$ and $1-z$. We use this result to determine $M_n$ modulo $8$ in terms of the binary digits of~$n$, thus improving, respectively complementing earlier results by Eu, Liu and Yeh [Europ. J. Combin. 29 (2008), 1449-1466] and by Rowland and Yassawi [J. Théorie Nombres Bordeaux 27 (2015), 245-288]. Analogous results are also shown to hold for related combinatorial sequences, namely for the Motzkin prefix numbers, Riordan numbers, central trinomial coefficients, and for the sequence of hex tree numbers. △ Less

Submitted 13 June, 2018; v1 submitted 19 August, 2016; originally announced August 2016.

Comments: 28 pages, AmS-LaTeX; minor typos corrected

MSC Class: 05A15 (Primary); 05E99; 11A07; 68W30 (Secondary)

Journal ref: Europ. J. Combin. 73 (2018), 114-137

Group actions, deformations, polygroup extensions, and group presentations

Authors: Serban A. Basarab, Thomas W. Müller

Abstract: Generalizing classical extension theory, we solve a Schreier-type extension problem for polygroups by groups. As a consequence, we obtain a method for computing a presentation for a group from its action on a set. The usefulness of this method is illustrated by deriving explicit presentations for the groups $GL_2$ over valuation rings and over valued fields, for the groups $SL_3$ over arbitrary fi… ▽ More Generalizing classical extension theory, we solve a Schreier-type extension problem for polygroups by groups. As a consequence, we obtain a method for computing a presentation for a group from its action on a set. The usefulness of this method is illustrated by deriving explicit presentations for the groups $GL_2$ over valuation rings and over valued fields, for the groups $SL_3$ over arbitrary fields, as well as for the five Mathieu groups. Moreover, we sketch some aspects of a new deformation technique for groups, their actions, and presentations, and apply it to compute presentations for the sharply $3$-transitive Zassenhaus groups $M(q^2)$ (in the notation of Huppert and Blackburn) for any odd prime power $q$. This computation serves to demonstrate how suitable deformation of groups and their actions interacts with, and thereby enhances, the presentation method. △ Less

Submitted 12 August, 2016; originally announced August 2016.

Comments: 69 pages, AmS-LaTeX

MSC Class: 20B20; 20B22; 20F05 (Primary); 16W60; 20D08 (Secondary)

Normalising graphs of groups

Authors: Christian Krattenthaler, Thomas W. Müller

Abstract: We discuss a partial normalisation of a finite graph of finite groups $(Γ(-), X)$ which leaves invariant the fundamental group. In conjunction with an easy graph-theoretic result, this provides a flexible and rather useful tool in the study of finitely generated virtually free groups. Applications discussed here include (i) an important inequality for the number of edges in a Stallings decompositi… ▽ More We discuss a partial normalisation of a finite graph of finite groups $(Γ(-), X)$ which leaves invariant the fundamental group. In conjunction with an easy graph-theoretic result, this provides a flexible and rather useful tool in the study of finitely generated virtually free groups. Applications discussed here include (i) an important inequality for the number of edges in a Stallings decomposition $Γ\cong π_1(Γ(-), X)$ of a finitely generated virtually free group, (ii) the proof of equivalence of a number of conditions for such a group to be `large', as well as (iii) the classification up to isomorphism of virtually free groups of (free) rank $2$. We also discuss some number-theoretic consequences of the last result. △ Less

Submitted 11 August, 2016; originally announced August 2016.

Comments: 16 pages, AmS-LaTeX. arXiv admin note: substantial text overlap with arXiv:1404.1258

MSC Class: 20E06 (Primary); 20E08 (Secondary)

Journal ref: Monatsh. Math. 185 (2018), 269-286

Law of large numbers for the largest component in a hyperbolic model of complex networks

Authors: Nikolaos Fountoulakis, Tobias Müller

Abstract: We consider the component structure of a recent model of random graphs on the hyperbolic plane that was introduced by Krioukov et al. The model exhibits a power law degree sequence, small distances and clustering, features that are associated with the so-called complex networks. The model is controlled by two parameters $α$ and $ν$ where, roughly speaking, $α$ controls the exponent of the power la… ▽ More We consider the component structure of a recent model of random graphs on the hyperbolic plane that was introduced by Krioukov et al. The model exhibits a power law degree sequence, small distances and clustering, features that are associated with the so-called complex networks. The model is controlled by two parameters $α$ and $ν$ where, roughly speaking, $α$ controls the exponent of the power law and $ν$ controls the average degree. Refining earlier results, we are able to show a law of large numbers for the largest component. That is, we show that the fraction of points in the largest component tends in probability to a constant $c$ that depends only on $α,ν$, while all other components are sublinear. We also study how $c$ depends on $α, ν$. To deduce our results, we introduce a local approximation of the random graph by a continuum percolation model on $\mathbb{R}^2$ that may be of independent interest. △ Less

Submitted 2 September, 2016; v1 submitted 7 April, 2016; originally announced April 2016.

Comments: 35 pages, 7 figures

MSC Class: 05C80; 05C82; 60D05; 82B43

Free subgroup numbers modulo prime powers: the non-periodic case

Authors: Christian Krattenthaler, Thomas W. Müller

Abstract: In [J. Algebra 452 (2016), 372-389], we characterise when the sequence of free subgroup numbers of a finitely generated virtually free group $Γ$ is ultimately periodic modulo a given prime power. Here, we show that, in the remaining cases, in which the sequence of free subgroup numbers is not ultimately periodic modulo a given prime power, the number of free subgroups of index~$λ$ in $Γ$ is - esse… ▽ More In [J. Algebra 452 (2016), 372-389], we characterise when the sequence of free subgroup numbers of a finitely generated virtually free group $Γ$ is ultimately periodic modulo a given prime power. Here, we show that, in the remaining cases, in which the sequence of free subgroup numbers is not ultimately periodic modulo a given prime power, the number of free subgroups of index~$λ$ in $Γ$ is - essentially - congruent to a binomial coefficient times a rational function in $λ$ modulo a power of a prime that divides a certain invariant of the group $Γ$, respectively to a binomial sum involving such numbers. These results, apart from their intrinsic interest, in particular allow for a much more efficient computation of congruences for free subgroup numbers in these cases compared to the direct recursive computation of these numbers implied by the generating function results in [J. London Math. Soc. (2) 44 (1991), 75-94]. △ Less

Submitted 28 February, 2016; originally announced February 2016.

Comments: AmS-LaTeX; 23 pages

MSC Class: 05A15 (Primary); 05E99 11A07 20E06 20E07 68W30 (Secondary)

Journal ref: J. Combin. Theory Ser. A 154 (2018), 49-76

A geometric Achlioptas process

Authors: Tobias Müller, Reto Spöhel

Abstract: The random geometric graph is obtained by sampling $n$ points from the unit square (uniformly at random and independently), and connecting two points whenever their distance is at most $r$, for some given $r=r(n)$. We consider the following variation on the random geometric graph: in each of $n$ rounds in total, a player is offered two random points from the unit square, and has to select exactly… ▽ More The random geometric graph is obtained by sampling $n$ points from the unit square (uniformly at random and independently), and connecting two points whenever their distance is at most $r$, for some given $r=r(n)$. We consider the following variation on the random geometric graph: in each of $n$ rounds in total, a player is offered two random points from the unit square, and has to select exactly one of these two points for inclusion in the evolving geometric graph. We study the problem of avoiding a linear-sized (or "giant") component in this setting. Specifically, we show that for any $r\ll(n\log\log n)^{-1/3}$ there is a strategy that succeeds in keeping all component sizes sublinear, with probability tending to one as $n\to\infty$. We also show that this is tight in the following sense: for any $r\gg(n\log\log n)^{-1/3}$, the player will be forced to create a component of size $(1-o(1))n$, no matter how he plays, again with probability tending to one as $n\to\infty$. We also prove that the corresponding offline problem exhibits a similar threshold behaviour at $r(n)=Θ(n^{-1/3})$. These findings should be compared to the existing results for the (ordinary) random geometric graph: there a giant component arises with high probability once $r$ is of order $n^{-1/2}$. Thus, our results show, in particular, that in the geometric setting the power of choices can be exploited to a much larger extent than in the classical Erdős-Rényi random graph, where the appearance of a giant component can only be delayed by a constant factor. △ Less

Submitted 26 October, 2015; originally announced October 2015.

Comments: Published at http://dx.doi.org/10.1214/14-AAP1074 in the Annals of Applied Probability (http://www.imstat.org/aap/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AAP-AAP1074

Journal ref: Annals of Applied Probability 2015, Vol. 25, No. 6, 3295-3337

A method for determining the mod-$p^k$ behaviour of recursive sequences

Authors: Christian Krattenthaler, Thomas W. Müller

Abstract: We present a method for obtaining congruences modulo powers of a prime number~$p$ for combinatorial sequences whose generating function satisfies an algebraic differential equation. This method generalises the one by Kauers and the authors [Electron. J. Combin. 8(2) (2012), Art. P37; arXiv:1107.2015] from $p=2$ to arbitrary primes. Our applications include congruences for numbers of non-crossing g… ▽ More We present a method for obtaining congruences modulo powers of a prime number~$p$ for combinatorial sequences whose generating function satisfies an algebraic differential equation. This method generalises the one by Kauers and the authors [Electron. J. Combin. 8(2) (2012), Art. P37; arXiv:1107.2015] from $p=2$ to arbitrary primes. Our applications include congruences for numbers of non-crossing graphs and numbers of Kreweras walks modulo powers of~$3$, as well as congruences for Fuß-Catalan numbers and blossom tree numbers modulo powers of arbitrary primes. △ Less

Submitted 11 August, 2015; originally announced August 2015.

Comments: AmS-LaTeX, 35 pages. arXiv admin note: substantial text overlap with arXiv:1107.2015

MSC Class: Primary 05A15; Secondary 05E99; 11A07; 68W30

The critical probability for confetti percolation equals $1/2$

Authors: Tobias Muller

Abstract: In the confetti percolation model, or two-coloured dead leaves model, radius one disks arrive on the plane according to a space-time Poisson process. Each disk is coloured black with probability $p$ and white with probability $1-p$. In this paper we show that the critical probability for confetti percolation equals $1/2$. That is, if $p>1/2$ then a.s.~there is an unbounded curve in the plane all o… ▽ More In the confetti percolation model, or two-coloured dead leaves model, radius one disks arrive on the plane according to a space-time Poisson process. Each disk is coloured black with probability $p$ and white with probability $1-p$. In this paper we show that the critical probability for confetti percolation equals $1/2$. That is, if $p>1/2$ then a.s.~there is an unbounded curve in the plane all of whose points are black; while if $p \leq 1/2$ then a.s.~all connected components of the set of black points are bounded. This answers a question of Benjamini and Schramm. The proof builds on earlier work by Hirsch and makes use of an adaptation of a sharp thresholds result of Bourgain. △ Less

Submitted 5 March, 2016; v1 submitted 29 April, 2015; originally announced April 2015.

Comments: 19 pages, 4 figures

Truncated versions of Dwork's lemma for exponentials of power series and $p$-divisibility of arithmetic functiens

Authors: Christian Krattenthaler, Thomas W. Müller

Abstract: (Dieudonné and) Dwork's lemma gives a necessary and sufficient condition for an exponential of a formal power series $S(z)$ with coefficients in $Q_p$ to have coefficients in $Z_p$. We establish theorems on the $p$-adic valuation of the coefficients of the exponential of $S(z)$, assuming weaker conditions on the coefficients of $S(z)$ than in Dwork's lemma. As applications, we provide several resu… ▽ More (Dieudonné and) Dwork's lemma gives a necessary and sufficient condition for an exponential of a formal power series $S(z)$ with coefficients in $Q_p$ to have coefficients in $Z_p$. We establish theorems on the $p$-adic valuation of the coefficients of the exponential of $S(z)$, assuming weaker conditions on the coefficients of $S(z)$ than in Dwork's lemma. As applications, we provide several results concerning lower bounds on the $p$-adic valuation of the number of permutation representations of finitely generated groups. In particular, we give fairly tight lower bounds in the case of an arbitrary finite Abelian $p$-group, thus generalising numerous results in special cases that had appeared earlier in the literature. Further applications include sufficient conditions for ultimate periodicity of subgroup numbers modulo $p$ for free products of finite Abelian $p$-groups, results on $p$-divisibility of permutation numbers with restrictions on their cycle structure, and a curious "supercongruence" for a certain binomial sum. △ Less

Submitted 2 August, 2015; v1 submitted 22 December, 2014; originally announced December 2014.

Comments: AmS-LaTeX; 34 pages; several typos corrected; final version, to appear in Adv. Math

MSC Class: Primary 20K01; Secondary 05A15 05E99 11A07 20E06 20E07 20E08

Journal ref: Adv. Math. 283 (2015), 489-529

On r-dynamic Coloring of Grids

Authors: Ross Kang, Tobias Muller, Douglas B. West

Abstract: An \textit{$r$-dynamic $k$-coloring} of a graph $G$ is a proper $k$-coloring of $G$ such that every vertex in $V(G)$ has neighbors in at least $\min\{d(v),r\}$ different color classes. The \textit{$r$-dynamic chromatic number} of a graph $G$, written $χ_r(G)$, is the least $k$ such that $G$ has such a coloring. Proving a conjecture of Jahanbekam, Kim, O, and West, we show that the $m$-by-$n$ grid… ▽ More An \textit{$r$-dynamic $k$-coloring} of a graph $G$ is a proper $k$-coloring of $G$ such that every vertex in $V(G)$ has neighbors in at least $\min\{d(v),r\}$ different color classes. The \textit{$r$-dynamic chromatic number} of a graph $G$, written $χ_r(G)$, is the least $k$ such that $G$ has such a coloring. Proving a conjecture of Jahanbekam, Kim, O, and West, we show that the $m$-by-$n$ grid has no $3$-dynamic $4$-coloring when $mn\equiv2\mod 4$. This completes the determination of the $r$-dynamic chromatic number of the $m$-by-$n$ grid for all $r,m,n$. △ Less

Submitted 13 July, 2014; originally announced July 2014.

Journal ref: Discrete Applied Mathematics 186: 286-290, 2015

Periodicity of free subgroup numbers modulo prime powers

Authors: Christian Krattenthaler, Thomas W. Müller

Abstract: We completely characterise when the sequence of free subgroup numbers of a finitely generated virtually free group is ultimately periodic modulo a given prime power. We completely characterise when the sequence of free subgroup numbers of a finitely generated virtually free group is ultimately periodic modulo a given prime power. △ Less

Submitted 4 April, 2014; originally announced April 2014.

Comments: AmS-LaTeX; 18 pages

MSC Class: Primary 20E06; Secondary 05A15 05E99 11A07 20E07

Journal ref: J. Algebra 452 (2016), 372-389

Traces for functions of bounded variation on manifolds with applications to conservation laws on manifolds with boundary

Authors: Dietmar Kröner, Thomas Müller, Lena Maria Strehlau

Abstract: In this paper we show existence of a trace for functions of bounded variation on Riemannian manifolds with boundary. The trace, which is bounded in $L^\infty$, is reached via $L^1$-convergence and allows an integration by parts formula. We apply these results in order to show well-posedness and total variation estimates for the initial boundary value problem for a scalar conservation law on compac… ▽ More In this paper we show existence of a trace for functions of bounded variation on Riemannian manifolds with boundary. The trace, which is bounded in $L^\infty$, is reached via $L^1$-convergence and allows an integration by parts formula. We apply these results in order to show well-posedness and total variation estimates for the initial boundary value problem for a scalar conservation law on compact Riemannian manifolds with boundary in the context of functions of bounded variation via the vanishing viscosity method. The flux function is assumed to be time-dependent and divergence-free. △ Less

Submitted 20 March, 2014; originally announced March 2014.

Comments: 21 pages

MSC Class: 35L65; 58J45; 76N10

Linkages in Large Graphs of Bounded Tree-Width

Authors: Jan-Oliver Fröhlich, Ken-ichi Kawarabayashi, Theodor Müller, Julian Pott, Paul Wollan

Abstract: We show that all sufficiently large (2k+3)-connected graphs of bounded tree-width are k-linked. Thomassen has conjectured that all sufficiently large (2k+2)-connected graphs are k-linked. We show that all sufficiently large (2k+3)-connected graphs of bounded tree-width are k-linked. Thomassen has conjectured that all sufficiently large (2k+2)-connected graphs are k-linked. △ Less

Submitted 22 February, 2014; originally announced February 2014.

Comments: 68 pages, 1 figure

MSC Class: 05C83 (Primary) 05C38; 05C40; 05C57 (Secondary) ACM Class: G.2.2

Logical limit laws for minor-closed classes of graphs

Authors: Peter Heinig, Tobias Muller, Marc Noy, Anusch Taraz

Abstract: Let $\mathcal G$ be an addable, minor-closed class of graphs. We prove that the zero-one law holds in monadic second-order logic (MSO) for the random graph drawn uniformly at random from all {\em connected} graphs in $\mathcal G$ on $n$ vertices, and the convergence law in MSO holds if we draw uniformly at random from all graphs in $\mathcal G$ on $n$ vertices. We also prove analogues of these res… ▽ More Let $\mathcal G$ be an addable, minor-closed class of graphs. We prove that the zero-one law holds in monadic second-order logic (MSO) for the random graph drawn uniformly at random from all {\em connected} graphs in $\mathcal G$ on $n$ vertices, and the convergence law in MSO holds if we draw uniformly at random from all graphs in $\mathcal G$ on $n$ vertices. We also prove analogues of these results for the class of graphs embeddable on a fixed surface, provided we restrict attention to first order logic (FO). Moreover, the limiting probability that a given FO sentence is satisfied is independent of the surface $S$. We also prove that the closure of the set of limiting probabilities is always the finite union of at least two disjoint intervals, and that it is the same for FO and MSO. For the classes of forests and planar graphs we are able to determine the closure of the set of limiting probabilities precisely. For planar graphs it consists of exactly 108 intervals, each of length $\approx 5\cdot 10^{-6}$. Finally, we analyse examples of non-addable classes where the behaviour is quite different. For instance, the zero-one law does not hold for the random caterpillar on $n$ vertices, even in FO. △ Less

Submitted 9 January, 2018; v1 submitted 27 January, 2014; originally announced January 2014.

Comments: minor changes; accepted for publication by JCTB

Supporting document to the paper "Logical limit laws for minor-closed classes of graphs"

Authors: Peter Heinig, Tobias Muller, Anusch Taraz

Abstract: We provide a hand-checkable proof for Lemma 4.9 in the paper "Logical limit laws for minor-closed classes of graphs" by Heinig, Muller, Noy and Taraz. We provide a hand-checkable proof for Lemma 4.9 in the paper "Logical limit laws for minor-closed classes of graphs" by Heinig, Muller, Noy and Taraz. △ Less

Submitted 29 January, 2014; v1 submitted 24 January, 2014; originally announced January 2014.

Generalised Apéry numbers modulo $9$

Authors: C. Krattenthaler, Thomas W. Müller

Abstract: We characterise the modular behaviour of (generalised) Apéry number modulo $9$, thereby in particular establishing two conjectures in "A method for determining the mod-$3^k$ behaviour of recursive sequences" [arXiv:1308.2856]. We characterise the modular behaviour of (generalised) Apéry number modulo $9$, thereby in particular establishing two conjectures in "A method for determining the mod-$3^k$ behaviour of recursive sequences" [arXiv:1308.2856]. △ Less

Submitted 7 January, 2014; originally announced January 2014.

Comments: AmS-LaTeX, 22 pages

MSC Class: Primary 05A15; Secondary 11A07

Journal ref: J. Number Theory 147 (2015), 708-720

The acquaintance time of (percolated) random geometric graphs

Authors: Tobias Muller, Pawel Pralat

Abstract: In this paper, we study the acquaintance time $\AC(G)$ defined for a connected graph $G$. We focus on $\G(n,r,p)$, a random subgraph of a random geometric graph in which $n$ vertices are chosen uniformly at random and independently from $[0,1]^2$, and two vertices are adjacent with probability $p$ if the Euclidean distance between them is at most $r$. We present asymptotic results for the acquaint… ▽ More In this paper, we study the acquaintance time $\AC(G)$ defined for a connected graph $G$. We focus on $\G(n,r,p)$, a random subgraph of a random geometric graph in which $n$ vertices are chosen uniformly at random and independently from $[0,1]^2$, and two vertices are adjacent with probability $p$ if the Euclidean distance between them is at most $r$. We present asymptotic results for the acquaintance time of $\G(n,r,p)$ for a wide range of $p=p(n)$ and $r=r(n)$. In particular, we show that with high probability $\AC(G) = Θ(r^{-2})$ for $G \in \G(n,r,1)$, the "ordinary" random geometric graph, provided that $πn r^2 - \ln n \to \infty$ (that is, above the connectivity threshold). For the percolated random geometric graph $G \in \G(n,r,p)$, we show that with high probability $\AC(G) = Θ(r^{-2} p^{-1} \ln n)$, provided that $p n r^2 \geq n^{1/2+\eps}$ and $p < 1-\eps$ for some $\eps>0$. △ Less

Submitted 26 December, 2013; originally announced December 2013.

Maker-Breaker games on random geometric graphs

Authors: Andrew Beveridge, Andrzej Dudek, Alan Frieze, Tobias Muller, Milos Stojakovic

Abstract: In a Maker-Breaker game on a graph $G$, Breaker and Maker alternately claim edges of $G$. Maker wins if, after all edges have been claimed, the graph induced by his edges has some desired property. We consider four Maker-Breaker games played on random geometric graphs. For each of our four games we show that if we add edges between $n$ points chosen uniformly at random in the unit square by order… ▽ More In a Maker-Breaker game on a graph $G$, Breaker and Maker alternately claim edges of $G$. Maker wins if, after all edges have been claimed, the graph induced by his edges has some desired property. We consider four Maker-Breaker games played on random geometric graphs. For each of our four games we show that if we add edges between $n$ points chosen uniformly at random in the unit square by order of increasing edge-length then, with probability tending to one as $n\to\infty$, the graph becomes Maker-win the very moment it satisfies a simple necessary condition. In particular, with high probability, Maker wins the connectivity game as soon as the minimum degree is at least two; Maker wins the Hamilton cycle game as soon as the minimum degree is at least four; Maker wins the perfect matching game as soon as the minimum degree is at least two and every edge has at least three neighbouring vertices; and Maker wins the $H$-game as soon as there is a subgraph from a finite list of "minimal graphs". These results also allow us to give precise expressions for the limiting probability that $G(n,r)$ is Maker-win in each case, where $G(n,r)$ is the graph on $n$ points chosen uniformly at random on the unit square with an edge between two points if and only if their distance is at most $r$. △ Less

Submitted 23 September, 2013; originally announced September 2013.

Comments: 46 pages, 9 figures

A method for deterining the mod-$3^k$ behaviour of recursive sequences

Authors: Christian Krattenthaler, Thomas W. Müller

Abstract: We present a method for obtaining congruences modulo powers of 3 for sequences given by recurrences of finite depth with polynomial coefficients. We apply this method to Catalan numbers, Motzkin numbers, Riordan numbers, Schröder numbers, Eulerian numbers, trinomial coefficients, Delannoy numbers, and to functions counting free subgroups of finite index in the inhomogeneous modular group and its l… ▽ More We present a method for obtaining congruences modulo powers of 3 for sequences given by recurrences of finite depth with polynomial coefficients. We apply this method to Catalan numbers, Motzkin numbers, Riordan numbers, Schröder numbers, Eulerian numbers, trinomial coefficients, Delannoy numbers, and to functions counting free subgroups of finite index in the inhomogeneous modular group and its lifts. This leads to numerous new results, including many extensions of known results to higher powers of 3. △ Less

Submitted 13 August, 2013; originally announced August 2013.

Comments: AmS-LaTeX, 82 pages

MSC Class: Primary 05A15; Secondary 05E99 11A07 20E06 20E07 68W30

Scalar conservation laws on moving hypersurfaces

Authors: Gerhard Dziuk, Dietmar Kröner, Thomas Müller

Abstract: We consider conservation laws on moving hypersurfaces. In this work the velocity of the surface is prescribed. But one may think of the velocity to be given by PDEs in the bulk phase. We prove existence and uniqueness for a scalar conservation law on the moving surface. This is done via a parabolic regularization of the hyperbolic PDE. We then prove suitable estimates for the solution of the regul… ▽ More We consider conservation laws on moving hypersurfaces. In this work the velocity of the surface is prescribed. But one may think of the velocity to be given by PDEs in the bulk phase. We prove existence and uniqueness for a scalar conservation law on the moving surface. This is done via a parabolic regularization of the hyperbolic PDE. We then prove suitable estimates for the solution of the regularized PDE, that are independent of the regularization parameter. We introduce the concept of an entropy solution for a scalar conservation law on a moving hypersurface. We also present some numerical experiments. As in the Euclidean case we expect discontinuous solutions, in particular shocks. It turns out that in addition to the "Euclidean shocks" geometrically induced shocks may appear. △ Less

Submitted 3 July, 2013; originally announced July 2013.

Comments: 34 pages, 3 figures, submitted to Interfaces and Free Boundaries

MSC Class: 35L65 58J45 76N10 65M08

Geometric Error of Finite Volume Schemes for Conservation Laws on Evolving Surfaces

Authors: Jan Giesselmann, Thomas Müller

Abstract: This paper studies finite volume schemes for scalar hyperbolic conservation laws on evolving hypersurfaces of $\mathbb{R}^3$. We compare theoretical schemes assuming knowledge of all geometric quantities to (practical) schemes defined on moving polyhedra approximating the surface. For the former schemes error estimates have already been proven, but the implementation of such schemes is not feasibl… ▽ More This paper studies finite volume schemes for scalar hyperbolic conservation laws on evolving hypersurfaces of $\mathbb{R}^3$. We compare theoretical schemes assuming knowledge of all geometric quantities to (practical) schemes defined on moving polyhedra approximating the surface. For the former schemes error estimates have already been proven, but the implementation of such schemes is not feasible for complex geometries. The latter schemes, in contrast, only require (easily) computable geometric quantities and are thus more useful for actual computations. We prove that the difference between approximate solutions defined by the respective families of schemes is of the order of the mesh width. In particular, the practical scheme converges to the entropy solution with the same rate as the theoretical one. Numerical experiments show that the proven order of convergence is optimal. △ Less

Submitted 3 March, 2014; v1 submitted 7 January, 2013; originally announced January 2013.

Comments: 23 pages, 5 figures, to appear in Numerische Mathematik

MSC Class: 65M08 35L65 58J45

Parameterized Uniform Complexity in Numerics: from Smooth to Analytic, from NP-hard to Polytime

Authors: Akitoshi Kawamura, Norbert Th. Müller, Carsten Rösnick, Martin Ziegler

Abstract: The synthesis of classical Computational Complexity Theory with Recursive Analysis provides a quantitative foundation to reliable numerics. Here the operators of maximization, integration, and solving ordinary differential equations are known to map (even high-order differentiable) polynomial-time computable functions to instances which are `hard' for classical complexity classes NP, #P, and CH; b… ▽ More The synthesis of classical Computational Complexity Theory with Recursive Analysis provides a quantitative foundation to reliable numerics. Here the operators of maximization, integration, and solving ordinary differential equations are known to map (even high-order differentiable) polynomial-time computable functions to instances which are `hard' for classical complexity classes NP, #P, and CH; but, restricted to analytic functions, map polynomial-time computable ones to polynomial-time computable ones -- non-uniformly! We investigate the uniform parameterized complexity of the above operators in the setting of Weihrauch's TTE and its second-order extension due to Kawamura&Cook (2010). That is, we explore which (both continuous and discrete, first and second order) information and parameters on some given f is sufficient to obtain similar data on Max(f) and int(f); and within what running time, in terms of these parameters and the guaranteed output precision 2^(-n). It turns out that Gevrey's hierarchy of functions climbing from analytic to smooth corresponds to the computational complexity of maximization growing from polytime to NP-hard. Proof techniques involve mainly the Theory of (discrete) Computation, Hard Analysis, and Information-Based Complexity. △ Less

Submitted 21 November, 2012; originally announced November 2012.

MSC Class: 65Y20; 68Q15 ACM Class: F.1.3; G.1

A Riccati differential equation and free subgroup numbers for lifts of $\PSL_2(\Z)$ modulo powers of primes

Authors: Christian Krattenthaler, Thomas W. Müller

Abstract: It is shown that the number $f_λ$ of free subgroups of index $6λ$ in the modular group $\PSL_2(\Z)$, when considered modulo a prime power $p^\al$ with $p\ge5$, is always (ultimately) periodic. In fact, an analogous result is established for a one-parameter family of lifts of the modular group (containing $\PSL_2(\Z)$ as a special case), and for a one-parameter family of lifts of the Hecke group… ▽ More It is shown that the number $f_λ$ of free subgroups of index $6λ$ in the modular group $\PSL_2(\Z)$, when considered modulo a prime power $p^\al$ with $p\ge5$, is always (ultimately) periodic. In fact, an analogous result is established for a one-parameter family of lifts of the modular group (containing $\PSL_2(\Z)$ as a special case), and for a one-parameter family of lifts of the Hecke group $\mathfrak{H}(4)=C_2*C_4$. All this is achieved by explicitly determining Padé approximants to solutions of a certain multi-parameter family of Riccati differential equations. Our main results complement previous work by Kauers and the authors (arXiv:1107.2015 and ["A method for determining the mod-$3^k$ behaviour of recursive sequences"}, preprint]), where it is shown, among other things, that the free subgroup numbers of $\PSL_2(\Z)$ and its lifts display rather complex behaviour modulo powers of 2 and 3. △ Less

Submitted 23 August, 2013; v1 submitted 13 November, 2012; originally announced November 2012.

Comments: AmS-LaTeX; 30 pages; superfluous equation number dropped

MSC Class: Primary 05A15; Secondary 05E99 11A07 20E06 20E07 68W30

Journal ref: J. Combin. Theory Ser. A 120 (2013), 2039-2063