-
Humboldt Highway II -- computer cluster on renewable energies
Authors:
Danyer Perez Adan,
Luis Ignacio Estevez Banos,
Tony Cass,
Bjoern Felkers,
Fernando Guzman,
Thomas Hartmann,
Beate Heinemann,
Hannes Jung,
Yves Kemp,
Frank Lehner,
Jürgen Nicklaus,
David Gutierrez Menendez,
Sandra Consuegra Rodriguez,
Cesar Garcia Trapaga,
Lidice Vaillant,
Rodney Walker
Abstract:
In August 2023, IT experts and scientists came together for a workshop to discuss the possibilities of building a computer cluster fully on renewable energies, as a test-case at Havana University in Cuba. The discussion covered the scientific needs for a computer cluster for particle physics at the InSTEC institute at Havana University, the possibilities to use solar energy, new developments in co…
▽ More
In August 2023, IT experts and scientists came together for a workshop to discuss the possibilities of building a computer cluster fully on renewable energies, as a test-case at Havana University in Cuba. The discussion covered the scientific needs for a computer cluster for particle physics at the InSTEC institute at Havana University, the possibilities to use solar energy, new developments in computing technologies, and computer cluster operation as well as operational needs for computing in particle physics. This computer cluster on renewable energies at the InSTEC institute is seen as a prototype for a large-scale computer cluster on renewable energies for scientific computing in the Caribbean, hosted in Cuba. The project is called "Humboldt Highway", to remember Alexander von Humboldt's achievements in bringing cultures of the American and European continents closer together by exchange and travel. In this spirit, we propose a project that enables and intensifies the scientific exchange between research laboratories and universities in Europe and the Caribbean, in particular Cuba.
△ Less
Submitted 11 April, 2024;
originally announced April 2024.
-
Locally finite graphs and their localization numbers
Authors:
Anthony Bonato,
Florian Lehner,
Trent G. Marbach,
JD Nir
Abstract:
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…
▽ More
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.
△ Less
Submitted 2 April, 2024;
originally announced April 2024.
-
Self-avoiding walk is ballistic on graphs with more than one end
Authors:
Florian Lehner,
Christian Lindorfer,
Christoforos Panagiotis
Abstract:
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 $μ_w^n$, in the sense…
▽ More
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 $μ_w^n$, in the sense that there exists $C>0$ such that $μ_w^n\leq c_n\leq Cμ_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$.
△ Less
Submitted 19 March, 2024;
originally announced March 2024.
-
Folding polyominoes into cubes
Authors:
Oswin Aichholzer,
Florian Lehner,
Christian Lindorfer
Abstract:
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…
▽ More
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 map** faces of the polyomino to faces of the cube, but (perhaps surprisingly) checking whether such a map** 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.
△ Less
Submitted 22 February, 2024;
originally announced February 2024.
-
Free Integral Calculus
Authors:
Franz Lehner,
Kamil Szpojankowski
Abstract:
We study the problem of conditional expectations in free random variables and provide closed formulas for the conditional expectation of resolvents of arbitrary non-commutative polynomials in free random variables onto the subalgebra of an arbitray subset of the variables. More precisely, given a linearization of the resolvent we compute a linearization of its conditional expectation. The coeffici…
▽ More
We study the problem of conditional expectations in free random variables and provide closed formulas for the conditional expectation of resolvents of arbitrary non-commutative polynomials in free random variables onto the subalgebra of an arbitray subset of the variables. More precisely, given a linearization of the resolvent we compute a linearization of its conditional expectation. The coefficients of the expressions obtained in this process involve certain Boolean cumulant functionals which can be computed by solving a system of equations. On the way towards the main result we introduce a non-commutative differential calculus which allows to evaluate conditional expectations and the said Boolean cumulant functionals. We conclude the paper with several known and new examples which illustrate the working of the developed machinery and two appendices. The first appendix contains a purely algebraic approach to Boolean cumulants and the second appendix provides a crash course on linearizations of rational series.
△ Less
Submitted 30 May, 2024; v1 submitted 7 November, 2023;
originally announced November 2023.
-
On matrices in finite free position
Authors:
Octavio Arizmendi,
Franz Lehner,
Amnon Rosenmann
Abstract:
We study pairs $(A,B)$ of square matrices that are in additive (resp. multiplicative) finite free position, that is, the characteristic polynomial $χ_{A+B}(x)$ (resp. $χ_{AB}(x)$) equals the additive finite free convolution $χ_{A}(x) \boxplus χ_{B}(x)$ (resp. multiplicative finite free convolution $χ_{A}(x) \boxtimes χ_{B}(x)$), which equals the expected characteristic polynomial…
▽ More
We study pairs $(A,B)$ of square matrices that are in additive (resp. multiplicative) finite free position, that is, the characteristic polynomial $χ_{A+B}(x)$ (resp. $χ_{AB}(x)$) equals the additive finite free convolution $χ_{A}(x) \boxplus χ_{B}(x)$ (resp. multiplicative finite free convolution $χ_{A}(x) \boxtimes χ_{B}(x)$), which equals the expected characteristic polynomial $\mathbb{E}_U \, [ χ_{A+U^* BU}(x) ]$ (resp. $\mathbb{E}_U \, [ χ_{AU^* BU}(x) ]$) over the set of unitary matrices $U$. We examine the lattice of algebraic varieties of matrices consisting of finite free complementary pairs with respect to the additive (resp. multiplicative) convolution. We show that these pairs include the diagonal matrices vs. the principally balanced matrices, the upper (lower) triangular matrices vs. the upper (lower) triangular matrices with a single eigenvalue, and the scalar matrices vs. the set of all square matrices.
△ Less
Submitted 11 August, 2023;
originally announced September 2023.
-
Catching a robber on a random $k$-uniform hypergraph
Authors:
Joshua Erde,
Mihyun Kang,
Florian Lehner,
Bojan Mohar,
Dominik Schmid
Abstract:
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łat and Wormald […
▽ More
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ł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, Łuczak and Prał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)$.
△ Less
Submitted 11 April, 2024; v1 submitted 28 July, 2023;
originally announced July 2023.
-
Chromatic number is not tournament-local
Authors:
António Girão,
Kevin Hendrey,
Freddie Illingworth,
Florian Lehner,
Lukas Michel,
Michael Savery,
Raphael Steiner
Abstract:
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, $χ(G) \geqslant f(k)$ implies that $χ(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,…
▽ More
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, $χ(G) \geqslant f(k)$ implies that $χ(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é, 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.
△ Less
Submitted 4 December, 2023; v1 submitted 24 May, 2023;
originally announced May 2023.
-
Asymmetrizing infinite trees
Authors:
Wilfried Imrich,
Rafał Kalinowski,
Florian Lehner,
Monika Pilśniak,
Marcin Stawiski
Abstract:
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, infini…
▽ More
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|}$.
△ Less
Submitted 24 January, 2023;
originally announced January 2023.
-
Tipsy cop and tipsy robber: collisions of biased random walks on graphs
Authors:
Pamela E. Harris,
Erik Insko,
Florian Lehner
Abstract:
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…
▽ More
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 $δ$-regular trees %infinite binary trees with an infinite path rooted at every vertex, and $δ$-regular trees rooted to a $Δ$-regular tree, where $Δ\geq δ$. Our main results analyze strategies for the cop and robber on these graphs. We conclude with some directions for further study.
△ Less
Submitted 11 March, 2024; v1 submitted 26 August, 2022;
originally announced August 2022.
-
Asymmetric colouring of locally compact permutation groups
Authors:
Florian Lehner
Abstract:
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 asymmetr…
▽ More
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.
△ Less
Submitted 22 September, 2022; v1 submitted 18 August, 2022;
originally announced August 2022.
-
A note on classes of subgraphs of locally finite graphs
Authors:
Florian Lehner
Abstract:
We investigate the question how `small' a graph can be, if it contains all members of a given class of locally finite graphs as subgraphs or induced subgraphs. More precisely, we give necessary and sufficient conditions for the existence of a connected, locally finite graph $H$ containing all elements of a graph class $\mathcal G$. These conditions imply that such a graph $H$ exists for the class…
▽ More
We investigate the question how `small' a graph can be, if it contains all members of a given class of locally finite graphs as subgraphs or induced subgraphs. More precisely, we give necessary and sufficient conditions for the existence of a connected, locally finite graph $H$ containing all elements of a graph class $\mathcal G$. These conditions imply that such a graph $H$ exists for the class $\mathcal G_d$ consisting of all graphs with maximum degree $<d$ which raises the question whether in this case $H$ can be chosen to have bounded maximum degree. We show that this is not the case, thereby answering a question recently posed by Huynh et al.
△ Less
Submitted 25 May, 2022;
originally announced May 2022.
-
Cyclic independence: Boolean and monotone
Authors:
Octavio Arizmendi,
Takahiro Hasebe,
Franz Lehner
Abstract:
The present paper introduces a modified version of cyclic-monotone independence which originally arose in the context of random matrices, and also introduces its natural analogy called cyclic-Boolean independence. We investigate formulas for convolutions, limit theorems for sums of independent random variables, and also classify infinitely divisible distributions with respect to cyclic-Boolean con…
▽ More
The present paper introduces a modified version of cyclic-monotone independence which originally arose in the context of random matrices, and also introduces its natural analogy called cyclic-Boolean independence. We investigate formulas for convolutions, limit theorems for sums of independent random variables, and also classify infinitely divisible distributions with respect to cyclic-Boolean convolution. Finally, we provide applications to the eigenvalues of the adjacency matrices of iterated star products of graphs and also iterated comb products of graphs.
△ Less
Submitted 8 September, 2022; v1 submitted 31 March, 2022;
originally announced April 2022.
-
Universal planar graphs for the topological minor relation
Authors:
Florian Lehner
Abstract:
Huynh et al. recently showed that a countable graph $G$ which contains every countable planar graph as a subgraph must contain arbitrarily large finite complete graphs as topological minors, and an infinite complete graph as a minor. We strengthen this result by showing that the same conclusion holds, if $G$ contains every countable planar graph as a topological minor. In particular, there is no c…
▽ More
Huynh et al. recently showed that a countable graph $G$ which contains every countable planar graph as a subgraph must contain arbitrarily large finite complete graphs as topological minors, and an infinite complete graph as a minor. We strengthen this result by showing that the same conclusion holds, if $G$ contains every countable planar graph as a topological minor. In particular, there is no countable planar graph containing every countable planar graph as a topological minor, answering a question by Diestel and Kühn.
Moreover, we construct a locally finite planar graph which contains every locally finite planar graph as a topological minor. This shows that in the above result it is not enough to require that $G$ contains every locally finite planar graph as a topological minor.
△ Less
Submitted 18 March, 2022; v1 submitted 7 March, 2022;
originally announced March 2022.
-
Self-avoiding walks and multiple context-free languages
Authors:
Florian Lehner,
Christian Lindorfer
Abstract:
Let $G$ be a quasi-transitive, locally finite, connected graph rooted at a vertex $o$, and let $c_n(o)$ be the number of self-avoiding walks of length $n$ on $G$ starting at $o$. We show that if $G$ has only thin ends, then the generating function $F_{\mathrm{SAW},o}(z)=\sum_{n \geq 0} c_n(o) z^n$ is an algebraic function. In particular, the connective constant of such a graph is an algebraic numb…
▽ More
Let $G$ be a quasi-transitive, locally finite, connected graph rooted at a vertex $o$, and let $c_n(o)$ be the number of self-avoiding walks of length $n$ on $G$ starting at $o$. We show that if $G$ has only thin ends, then the generating function $F_{\mathrm{SAW},o}(z)=\sum_{n \geq 0} c_n(o) z^n$ is an algebraic function. In particular, the connective constant of such a graph is an algebraic number.
If $G$ is deterministically edge labelled, that is, every (directed) edge carries a label such that any two edges starting at the same vertex have different labels, then the set of all words which can be read along the edges of self-avoiding walks starting at $o$ forms a language denoted by $L_{\mathrm{SAW},o}$. Assume that the group of label-preserving graph automorphisms acts quasi-transitively. We show that $L_{\mathrm{SAW},o}$ is a $k$-multiple context-free language if and only if the size of all ends of $G$ is at most $2k$. Applied to Cayley graphs of finitely generated groups this says that $L_{\mathrm{SAW},o}$ is multiple context-free if and only if the group is virtually free.
△ Less
Submitted 10 May, 2022; v1 submitted 14 October, 2020;
originally announced October 2020.
-
Hamiltonian decompositions of 4-regular Cayley graphs of infinite abelian groups
Authors:
Joshua Erde,
Florian Lehner
Abstract:
A well-known conjecture of Alspach says that every $2k$-regular Cayley graph of an abelian group can be decomposed into Hamiltonian cycles. We consider an analogous question for infinite abelian groups. In this setting one natural analogue of a Hamiltonian cycle is a spanning double-ray. However, a naive generalisation of Alspach's conjecture fails to hold in this setting due to the existence of…
▽ More
A well-known conjecture of Alspach says that every $2k$-regular Cayley graph of an abelian group can be decomposed into Hamiltonian cycles. We consider an analogous question for infinite abelian groups. In this setting one natural analogue of a Hamiltonian cycle is a spanning double-ray. However, a naive generalisation of Alspach's conjecture fails to hold in this setting due to the existence of $2k$-regular Cayley graphs with finite cuts $F$ where $|F|$ and $k$ differ in parity, which necessarily preclude the existence of a decomposition into spanning double-rays.
We show that every $4$-regular Cayley graph of an infinite abelian group all of whose finite cuts are even can be decomposed into spanning double-rays, and so characterise when such decompositions exist. We also characterise when such graphs can be decomposed either into Hamiltonian circles, a more topological generalisation of a Hamiltonian cycle in infinite graphs, or into a Hamiltonian circle and a spanning double-ray.
△ Less
Submitted 17 June, 2020;
originally announced June 2020.
-
Combinatorial Hopf algebras in noncommutative probabilility
Authors:
Franz Lehner,
Jean-Christophe Novelli,
Jean-Yves Thibon
Abstract:
We prove that the generalized moment-cumulant relations introduced in [arXiv:1711.00219] are given by the action of the Eulerian idempotents on the Solomon-Tits algebras, whose direct sum builds up the Hopf algebra of Word Quasi-Symmetric Functions $\WQSym$. We prove $t$-analogues of these identities (in which the coefficient of $t$ gives back the original version), and a similar $t$-analogue of G…
▽ More
We prove that the generalized moment-cumulant relations introduced in [arXiv:1711.00219] are given by the action of the Eulerian idempotents on the Solomon-Tits algebras, whose direct sum builds up the Hopf algebra of Word Quasi-Symmetric Functions $\WQSym$. We prove $t$-analogues of these identities (in which the coefficient of $t$ gives back the original version), and a similar $t$-analogue of Goldberg's formula for the coefficients of the Hausdorff series. This amounts to the determination of the action of all the Eulerian idempotents on a product of exponentials.
△ Less
Submitted 3 June, 2020;
originally announced June 2020.
-
On fixity of arc-transitive graphs
Authors:
Florian Lehner,
Primoz Potocnik,
Pablo Spiga
Abstract:
The relative fixity of a permutation group is the maximum proportion of the points fixed by a non-trivial element of the group and the relative fixity of a graph is the relative fixity of its automorphism group, viewed as a permutation group on the vertex-set of the graph. We prove in this paper that the relative fixity of connected $2$-arc-transitive graphs of a fixed valence tends to $0$ as the…
▽ More
The relative fixity of a permutation group is the maximum proportion of the points fixed by a non-trivial element of the group and the relative fixity of a graph is the relative fixity of its automorphism group, viewed as a permutation group on the vertex-set of the graph. We prove in this paper that the relative fixity of connected $2$-arc-transitive graphs of a fixed valence tends to $0$ as the number of vertices grows to infinity. We prove the same result for the class of arc-transitive graphs of a fixed prime valence, and more generally, for any class of arc-transitive locally-$L$ graphs, where $L$ is a fixed quasiprimitive graph-restrictive permutation group.
△ Less
Submitted 30 December, 2020; v1 submitted 25 May, 2020;
originally announced May 2020.
-
The Free Tangent Law
Authors:
Wiktor Ejsmont,
Franz Lehner
Abstract:
Nevanlinna-Herglotz functions play a fundamental role for the study of infinitely divisible distributions in free probability. In the present paper we study the role of the tangent function, which is a fundamental Herglotz-Nevanlinna function and related functions in free probability. To be specific, we show that the function $$ \frac{\tan z}{1-x\tan z} $$ of Carlitz and Scoville describes the lim…
▽ More
Nevanlinna-Herglotz functions play a fundamental role for the study of infinitely divisible distributions in free probability. In the present paper we study the role of the tangent function, which is a fundamental Herglotz-Nevanlinna function and related functions in free probability. To be specific, we show that the function $$ \frac{\tan z}{1-x\tan z} $$ of Carlitz and Scoville describes the limit distribution of sums of free commutators and anticommutators and thus the free cumulants are given by the Euler zigzag numbers.
△ Less
Submitted 17 July, 2020; v1 submitted 6 April, 2020;
originally announced April 2020.
-
Counterexamples to "A Conjecture on Induced Subgraphs of Cayley Graphs" [arXiv:2003.13166]
Authors:
Florian Lehner,
Gabriel Verret
Abstract:
Recently, Huang gave a very elegant proof of the Sensitivity Conjecture by proving that hypercube graphs have the following property: every induced subgraph on a set of more than half its vertices has maximum degree at least $\sqrt{d}$, where $d$ is the valency of the hypercube. This was generalised by Alon and Zheng who proved that every Cayley graph on an elementary abelian $2$-group has the sam…
▽ More
Recently, Huang gave a very elegant proof of the Sensitivity Conjecture by proving that hypercube graphs have the following property: every induced subgraph on a set of more than half its vertices has maximum degree at least $\sqrt{d}$, where $d$ is the valency of the hypercube. This was generalised by Alon and Zheng who proved that every Cayley graph on an elementary abelian $2$-group has the same property. Very recently, Potechin and Tsang proved an analogous results for Cayley graphs on abelian groups. They also conjectured that all Cayley graphs have the analogous property. We disprove this conjecture by constructing various counterexamples, including an infinite family of Cayley graphs of unbounded valency which admit an induced subgraph of maximum valency $1$ on a set of more than half its vertices.
△ Less
Submitted 21 May, 2020; v1 submitted 2 April, 2020;
originally announced April 2020.
-
Comparing consecutive letter counts in multiple context-free languages
Authors:
Florian Lehner,
Christian Lindorfer
Abstract:
Context-free grammars are not able to model cross-serial dependencies in natural languages. To overcome this issue, Seki et al. introduced a generalization called $m$-multiple context-free grammars ($m$-MCFGs), which deal with $m$-tuples of strings. We show that $m$-MCFGs are capable of comparing the number of consecutive occurrences of at most $2m$ different letters. In particular, the language…
▽ More
Context-free grammars are not able to model cross-serial dependencies in natural languages. To overcome this issue, Seki et al. introduced a generalization called $m$-multiple context-free grammars ($m$-MCFGs), which deal with $m$-tuples of strings. We show that $m$-MCFGs are capable of comparing the number of consecutive occurrences of at most $2m$ different letters. In particular, the language $\{a_1^{n_1} a_2^{n_2} \dots a_{k}^{n_{2m+1}} \mid n_1 \geq n_2 \geq \dots \geq n_{2m+1} \geq 0\}$ is $(m+1)$-multiple context-free, but not $m$-multiple context-free.
△ Less
Submitted 16 March, 2021; v1 submitted 19 February, 2020;
originally announced February 2020.
-
The Trace Method for Cotangent Sums
Authors:
Wiktor Ejsmont,
Franz Lehner
Abstract:
This paper presents a combinatorial study of sums of integer powers of the cotangent which is a popular theme in classical calculus. Our main tool the realization of cotangent values as eigenvalues of a simple self-adjoint matrix with integer matrix. We use the trace method to draw conclusions about integer values of the sums and expand generating functions to obtain explicit evaluations. It is re…
▽ More
This paper presents a combinatorial study of sums of integer powers of the cotangent which is a popular theme in classical calculus. Our main tool the realization of cotangent values as eigenvalues of a simple self-adjoint matrix with integer matrix. We use the trace method to draw conclusions about integer values of the sums and expand generating functions to obtain explicit evaluations. It is remarkable that throughout the calculations the combinatorics are governed by the higher tangent and arctangent numbers exclusively. Finally we indicate a new approximation of the values of the Riemann zeta function at even integer arguments.
△ Less
Submitted 19 May, 2020; v1 submitted 14 February, 2020;
originally announced February 2020.
-
Sums of Commutators in Free Probability
Authors:
Wiktor Ejsmont,
Franz Lehner
Abstract:
We study the linear span of commutators of free random variables and show that these are the only quadratic forms which satisfy the following equivalent properties:
* preservation free infinite divisibility
* free and strong cancellation of odd cumulants
* symmetric distribution for any free family.
The main combinatorial tool is an involution on non-crossing partitions.
We study the linear span of commutators of free random variables and show that these are the only quadratic forms which satisfy the following equivalent properties:
* preservation free infinite divisibility
* free and strong cancellation of odd cumulants
* symmetric distribution for any free family.
The main combinatorial tool is an involution on non-crossing partitions.
△ Less
Submitted 7 April, 2020; v1 submitted 14 February, 2020;
originally announced February 2020.
-
On asymmetric colourings of graphs with bounded degrees and infinite motion
Authors:
Florian Lehner,
Monika Pilśniak,
Marcin Stawiski
Abstract:
A vertex colouring of a graph is called asymmetric if the only automorphism which preserves it is the identity. Tucker conjectured that if every automorphism of a connected, locally finite graph moves infinitely many vertices, then there is an asymmetric colouring with $2$ colours. We make progress on this conjecture in the special case of graphs with bounded maximal degree. More precisely, we pro…
▽ More
A vertex colouring of a graph is called asymmetric if the only automorphism which preserves it is the identity. Tucker conjectured that if every automorphism of a connected, locally finite graph moves infinitely many vertices, then there is an asymmetric colouring with $2$ colours. We make progress on this conjecture in the special case of graphs with bounded maximal degree. More precisely, we prove that if every automorphism of a connected graph with maximal degree $Δ$ moves infinitely many vertices, then there is an asymmetric colouring using $\mathcal O(\sqrt Δ\log Δ)$ colours. This is the first improvement over the trivial bound of $\mathcal O(Δ)$.
△ Less
Submitted 20 July, 2020; v1 submitted 5 December, 2019;
originally announced December 2019.
-
A bound for the distinguishing index of regular graphs
Authors:
Florian Lehner,
Monika Pilśniak,
Marcin Stawiski
Abstract:
An edge-colouring of a graph is distinguishing, if the only automorphism which preserves the colouring is the identity. It has been conjectured that all but finitely many connected, finite, regular graphs admit a distinguishing edge-colouring with two colours. We show that all such graphs except $K_2$ admit a distinguishing edge-colouring with three colours. This result also extends to infinite, l…
▽ More
An edge-colouring of a graph is distinguishing, if the only automorphism which preserves the colouring is the identity. It has been conjectured that all but finitely many connected, finite, regular graphs admit a distinguishing edge-colouring with two colours. We show that all such graphs except $K_2$ admit a distinguishing edge-colouring with three colours. This result also extends to infinite, locally finite graphs. Furthermore, we are able to show that there are arbitrary large infinite cardinals $κ$ such that every connected $κ$-regular graph has distinguishing edge-colouring with two colours.
△ Less
Submitted 10 April, 2020; v1 submitted 25 November, 2019;
originally announced November 2019.
-
Bounding the cop number of a graph by its genus
Authors:
Nathan Bowler,
Joshua Erde,
Florian Lehner,
Max Pitz
Abstract:
It is known that the cop number $c(G)$ of a connected graph $G$ can be bounded as a function of the genus of the graph $g(G)$. The best known bound, that $c(G) \leq \left\lfloor \frac{3 g(G)}{2}\right\rfloor + 3$, was given by Schröder, who conjectured that in fact $c(G) \leq g(G) + 3$. We give the first improvement to Schröder's bound, showing that $c(G) \leq \frac{4g(G)}{3} + \frac{10}{3}$.
It is known that the cop number $c(G)$ of a connected graph $G$ can be bounded as a function of the genus of the graph $g(G)$. The best known bound, that $c(G) \leq \left\lfloor \frac{3 g(G)}{2}\right\rfloor + 3$, was given by Schröder, who conjectured that in fact $c(G) \leq g(G) + 3$. We give the first improvement to Schröder's bound, showing that $c(G) \leq \frac{4g(G)}{3} + \frac{10}{3}$.
△ Less
Submitted 5 November, 2019;
originally announced November 2019.
-
Boolean Cumulants and Subordination in Free Probability
Authors:
Franz Lehner,
Kamil Szpojankowski
Abstract:
We study subordination of free convolutions. We prove that for free random variables $X,Y$ and a Borel function $f$ the conditional expectation $E_\varphi\left[ (z-X-f(X)Yf^*(X))^{-1}| X\right]$, is a resolvent again. This result allows explicit calculation of the distribution of $X+f(X)Yf^*(X)$. The main tool is a formula for conditional expectations in terms of Boolean cumulant transforms, gener…
▽ More
We study subordination of free convolutions. We prove that for free random variables $X,Y$ and a Borel function $f$ the conditional expectation $E_\varphi\left[ (z-X-f(X)Yf^*(X))^{-1}| X\right]$, is a resolvent again. This result allows explicit calculation of the distribution of $X+f(X)Yf^*(X)$. The main tool is a formula for conditional expectations in terms of Boolean cumulant transforms, generalizing subordination formulas for free additive and multiplicative convolutions.
△ Less
Submitted 29 April, 2020; v1 submitted 26 July, 2019;
originally announced July 2019.
-
On the cop number of toroidal graphs
Authors:
Florian Lehner
Abstract:
We show that the cop number of toroidal graphs is at most 3. This resolves a conjecture by Schroeder from 2001 which is implicit in a question by Andreae from 1986.
We show that the cop number of toroidal graphs is at most 3. This resolves a conjecture by Schroeder from 2001 which is implicit in a question by Andreae from 1986.
△ Less
Submitted 4 February, 2020; v1 submitted 16 April, 2019;
originally announced April 2019.
-
A Stallings' type theorem for quasi-transitive graphs
Authors:
Matthias Hamann,
Florian Lehner,
Babak Miraftab,
Tim Rühmann
Abstract:
We consider infinite connected quasi-transitive locally finite graphs and show that every such graph with more than one end is a tree amalgamation of two other such graphs. This can be seen as a graph-theoretical version of Stallings' splitting theorem for multi-ended finitely generated groups and indeed it implies this theorem. It will also lead to a characterisation of accessible graphs in terms…
▽ More
We consider infinite connected quasi-transitive locally finite graphs and show that every such graph with more than one end is a tree amalgamation of two other such graphs. This can be seen as a graph-theoretical version of Stallings' splitting theorem for multi-ended finitely generated groups and indeed it implies this theorem. It will also lead to a characterisation of accessible graphs in terms of tree amalgamations. We obtain applications of our results for hyperbolic graphs, planar graphs and graphs without any thick end. The application for planar graphs answers a question of Mohar in the affirmative.
△ Less
Submitted 18 June, 2019; v1 submitted 15 December, 2018;
originally announced December 2018.
-
Invariant spanning double rays in amenable groups
Authors:
Agelos Georgakopoulos,
Florian Lehner
Abstract:
A well-known result of Benjamini, Lyons, Peres, and Schramm states that if $G$ is a finitely generated Cayley graph of a group $Γ$, then $Γ$ is amenable if and only if $G$ admits a $Γ$-invariant random spanning tree with at most two ends. We show that this is equivalent to the existence of a $Γ$-invariant random spanning double ray in a power of $G$.
A well-known result of Benjamini, Lyons, Peres, and Schramm states that if $G$ is a finitely generated Cayley graph of a group $Γ$, then $Γ$ is amenable if and only if $G$ admits a $Γ$-invariant random spanning tree with at most two ends. We show that this is equivalent to the existence of a $Γ$-invariant random spanning double ray in a power of $G$.
△ Less
Submitted 18 October, 2018;
originally announced October 2018.
-
Distinguishing infinite graphs with bounded degrees
Authors:
Florian Lehner,
Monika Pilśniak,
Marcin Stawiski
Abstract:
Call a colouring of a graph distinguishing, if the only colour preserving automorphism is the identity. A conjecture of Tucker states that if every automorphism of a graph $G$ moves infinitely many vertices, then there is a distinguishing $2$-colouring. We confirm this conjecture for graphs with maximum degree $Δ\leq 5$. Furthermore, using similar techniques we show that if an infinite graph has m…
▽ More
Call a colouring of a graph distinguishing, if the only colour preserving automorphism is the identity. A conjecture of Tucker states that if every automorphism of a graph $G$ moves infinitely many vertices, then there is a distinguishing $2$-colouring. We confirm this conjecture for graphs with maximum degree $Δ\leq 5$. Furthermore, using similar techniques we show that if an infinite graph has maximum degree $Δ\geq 3$, then it admits a distinguishing colouring with $Δ- 1$ colours. This bound is sharp.
△ Less
Submitted 9 October, 2018;
originally announced October 2018.
-
Distinguishing numbers of finite $4$-valent vertex-transitive graphs
Authors:
Florian Lehner,
Gabriel Verret
Abstract:
The distinguishing number of a graph $G$ is the smallest $k$ such that $G$ admits a $k$-colouring for which the only colour-preserving automorphism of $G$ is the identity. We determine the distinguishing number of finite $4$-valent vertex-transitive graphs. We show that, apart from one infinite family and finitely many examples, they all have distinguishing number $2$.
The distinguishing number of a graph $G$ is the smallest $k$ such that $G$ admits a $k$-colouring for which the only colour-preserving automorphism of $G$ is the identity. We determine the distinguishing number of finite $4$-valent vertex-transitive graphs. We show that, apart from one infinite family and finitely many examples, they all have distinguishing number $2$.
△ Less
Submitted 21 February, 2020; v1 submitted 2 October, 2018;
originally announced October 2018.
-
On symmetries of edge and vertex colourings of graphs
Authors:
Florian Lehner,
Simon M. Smith
Abstract:
Let $c$ and $c'$ be edge or vertex colourings of a graph $G$. We say that $c'$ is less symmetric than $c$ if the stabiliser (in $\operatorname{Aut} G$) of $c'$ is contained in the stabiliser of $c$.
We show that if $G$ is not a bicentred tree, then for every vertex colouring of $G$ there is a less symmetric edge colouring with the same number of colours. On the other hand, if $T$ is a tree, then…
▽ More
Let $c$ and $c'$ be edge or vertex colourings of a graph $G$. We say that $c'$ is less symmetric than $c$ if the stabiliser (in $\operatorname{Aut} G$) of $c'$ is contained in the stabiliser of $c$.
We show that if $G$ is not a bicentred tree, then for every vertex colouring of $G$ there is a less symmetric edge colouring with the same number of colours. On the other hand, if $T$ is a tree, then for every edge colouring there is a less symmetric vertex colouring with the same number of edges.
Our results can be used to characterise those graphs whose distinguishing index is larger than their distinguishing number.
△ Less
Submitted 3 July, 2018;
originally announced July 2018.
-
Polynomial convolutions in max-plus algebra
Authors:
Amnon Rosenmann,
Franz Lehner,
Aljosa Peperko
Abstract:
Recently, in a work that grew out of their exploration of interlacing polynomials, Marcus, Spielman and Srivastava and then Marcus studied certain combinatorial polynomial convolutions. These convolutions preserve real-rootedness and capture expectations of characteristic polynomials of unitarily invariant random matrices, thus providing a link to free probability. We explore analogues of these ty…
▽ More
Recently, in a work that grew out of their exploration of interlacing polynomials, Marcus, Spielman and Srivastava and then Marcus studied certain combinatorial polynomial convolutions. These convolutions preserve real-rootedness and capture expectations of characteristic polynomials of unitarily invariant random matrices, thus providing a link to free probability. We explore analogues of these types of convolutions in the setting of max-plus algebra. In this setting the max-permanent replaces the determinant, the maximum is the analogue of the expected value and real-rootedness is replaced by full canonical form. Our results resemble those of Marcus et al., however, in contrast to the classical setting we obtain an exact and simple description of all roots.
△ Less
Submitted 1 December, 2018; v1 submitted 20 February, 2018;
originally announced February 2018.
-
Distinguishing density and the Distinct Spheres Condition
Authors:
Wilfried Imrich,
Florian Lehner,
Simon M. Smith
Abstract:
If a graph $G$ has distinguishing number 2, then there exists a partition of its vertex set into two parts, such that no nontrivial automorphism of $G$ fixes setwise the two parts. Such a partition is called a 2-distinguishing coloring of $G$, and the parts are called its color classes. If $G$ admits such a coloring, it is often possible to find another in which one of the color classes is sparse…
▽ More
If a graph $G$ has distinguishing number 2, then there exists a partition of its vertex set into two parts, such that no nontrivial automorphism of $G$ fixes setwise the two parts. Such a partition is called a 2-distinguishing coloring of $G$, and the parts are called its color classes. If $G$ admits such a coloring, it is often possible to find another in which one of the color classes is sparse in a certain sense. In this case we say that $G$ has 2-distinguishing density zero. An extreme example of this would be an infinite graph admitting a 2-distinguishing coloring in which one of the color classes is finite.
If a graph $G$ contains a vertex $v$ such that, for all $n \in \mathbb N$, any two distinct vertices equidistant from $v$ have nonequal $n$-spheres, then we say that $G$ satisfies the Distinct Spheres Condition. In this paper we prove a general result: any countable connected graph that satisfies the Distinct Spheres Condition is 2-distinguishable with density zero. We present two proofs of this, one that uses a deterministic coloring, and another (that applies only to locally finite graphs) using a random coloring. From this result, we deduce that several important families of countably infinite and connected graphs are 2-distinguishable with density zero, including those that are locally finite and primitive. Furthermore, we prove that any connected graph with infinite motion and subquadratic growth is 2-distinguishable with density zero.
△ Less
Submitted 8 January, 2018;
originally announced January 2018.
-
Cumulants, Spreadability and the Campbell-Baker-Hausdorff Series
Authors:
Takahiro Hasebe,
Franz Lehner
Abstract:
We define spreadability systems as a generalization of exchangeability systems in order to unify various notions of independence and cumulants known in noncommutative probability. In particular, our theory covers monotone independence and monotone cumulants which do not satisfy exchangeability. To this end we study generalized zeta and Möbius functions in the context of the incidence algebra of th…
▽ More
We define spreadability systems as a generalization of exchangeability systems in order to unify various notions of independence and cumulants known in noncommutative probability. In particular, our theory covers monotone independence and monotone cumulants which do not satisfy exchangeability. To this end we study generalized zeta and Möbius functions in the context of the incidence algebra of the semilattice of ordered set partitions and prove an appropriate variant of Faa di Bruno's theorem. With the aid of this machinery we show that our cumulants cover most of the previously known cumulants. Due to noncommutativity of independence the behaviour of these cumulants with respect to independent random variables is more complicated than in the exchangeable case and the appearance of Goldberg coefficients exhibits the role of the Campbell-Baker-Hausdorff series in this context. In a final section we exhibit an interpretation of the Campbell-Baker-Hausdorff series as a sum of cumulants in a particular spreadability system, thus providing a new derivation of the Goldberg coefficients.
△ Less
Submitted 7 September, 2023; v1 submitted 1 November, 2017;
originally announced November 2017.
-
Hamilton decompositions of one-ended Cayley graphs
Authors:
Joshua Erde,
Florian Lehner,
Max Pitz
Abstract:
We prove that any one-ended, locally finite Cayley graph with non-torsion generators admits a decomposition into edge-disjoint Hamiltonian (i.e. spanning) double-rays. In particular, the $n$-dimensional grid $\mathbb{Z}^n$ admits a decomposition into $n$ edge-disjoint Hamiltonian double-rays for all $n \in \mathbb{N}$.
We prove that any one-ended, locally finite Cayley graph with non-torsion generators admits a decomposition into edge-disjoint Hamiltonian (i.e. spanning) double-rays. In particular, the $n$-dimensional grid $\mathbb{Z}^n$ admits a decomposition into $n$ edge-disjoint Hamiltonian double-rays for all $n \in \mathbb{N}$.
△ Less
Submitted 27 September, 2017;
originally announced September 2017.
-
Firefighting on trees and Cayley graphs
Authors:
Florian Lehner
Abstract:
We study Hartnell's firefighter problem on infinite trees and characterise the branching number in terms of the firefighting game. Using our results about trees, we give a partial answer to a question of Martínez-Pedroza concerning firefighting on Cayley graphs.
We study Hartnell's firefighter problem on infinite trees and characterise the branching number in terms of the firefighting game. Using our results about trees, we give a partial answer to a question of Martínez-Pedroza concerning firefighting on Cayley graphs.
△ Less
Submitted 5 July, 2017;
originally announced July 2017.
-
On tree-decompositions of one-ended graphs
Authors:
Johannes Carmesin,
Florian Lehner,
Rögnvaldur G. Möller
Abstract:
A graph is one-ended if it contains a ray (a one way infinite path) and whenever we remove a finite number of vertices from the graph then what remains has only one component which contains rays. A vertex $v$ {\em dominates} a ray in the end if there are infinitely many paths connecting $v$ to the ray such that any two of these paths have only the vertex $v$ in common. We prove that if a one-ended…
▽ More
A graph is one-ended if it contains a ray (a one way infinite path) and whenever we remove a finite number of vertices from the graph then what remains has only one component which contains rays. A vertex $v$ {\em dominates} a ray in the end if there are infinitely many paths connecting $v$ to the ray such that any two of these paths have only the vertex $v$ in common. We prove that if a one-ended graph contains no ray which is dominated by a vertex and no infinite family of pairwise disjoint rays, then it has a tree-decomposition such that the decomposition tree is one-ended and the tree-decomposition is invariant under the group of automorphisms.
This can be applied to prove a conjecture of Halin from 2000 that the automorphism group of such a graph cannot be countably infinite and solves a recent problem of Boutin and Imrich. Furthermore, it implies that every transitive one-ended graph contains an infinite family of pairwise disjoint rays.
△ Less
Submitted 21 May, 2018; v1 submitted 26 June, 2017;
originally announced June 2017.
-
A counterexample to Montgomery's conjecture on dynamic colourings of regular graphs
Authors:
Nathan Bowler,
Joshua Erde,
Florian Lehner,
Martin Merker,
Max Pitz,
Konstantinos Stavropoulos
Abstract:
A \emph{dynamic colouring} of a graph is a proper colouring in which no neighbourhood of a non-leaf vertex is monochromatic. The \emph{dynamic colouring number} $χ_2(G)$ of a graph $G$ is the least number of colours needed for a dynamic colouring of $G$.
Montgomery conjectured that $χ_2(G) \leq χ(G) + 2$ for all regular graphs $G$, which would significantly improve the best current upper bound…
▽ More
A \emph{dynamic colouring} of a graph is a proper colouring in which no neighbourhood of a non-leaf vertex is monochromatic. The \emph{dynamic colouring number} $χ_2(G)$ of a graph $G$ is the least number of colours needed for a dynamic colouring of $G$.
Montgomery conjectured that $χ_2(G) \leq χ(G) + 2$ for all regular graphs $G$, which would significantly improve the best current upper bound $χ_2(G) \leq 2χ(G)$. In this note, however, we show that this last upper bound is sharp by constructing, for every integer $n \geq 2$, a regular graph $G$ with $χ(G) = n$ but $χ_2(G) = 2n$. In particular, this disproves Montgomery's conjecture.
△ Less
Submitted 3 February, 2017;
originally announced February 2017.
-
Non-reconstructible locally finite graphs
Authors:
Nathan Bowler,
Joshua Erde,
Peter Heinig,
Florian Lehner,
Max Pitz
Abstract:
Two graphs $G$ and $H$ are \emph{hypomorphic} if there exists a bijection $\varphi \colon V(G) \rightarrow V(H)$ such that $G - v \cong H - \varphi(v)$ for each $v \in V(G)$. A graph $G$ is \emph{reconstructible} if $H \cong G$ for all $H$ hypomorphic to $G$.
Nash-Williams proved that all locally finite graphs with a finite number $\geq 2$ of ends are reconstructible, and asked whether locally f…
▽ More
Two graphs $G$ and $H$ are \emph{hypomorphic} if there exists a bijection $\varphi \colon V(G) \rightarrow V(H)$ such that $G - v \cong H - \varphi(v)$ for each $v \in V(G)$. A graph $G$ is \emph{reconstructible} if $H \cong G$ for all $H$ hypomorphic to $G$.
Nash-Williams proved that all locally finite graphs with a finite number $\geq 2$ of ends are reconstructible, and asked whether locally finite graphs with one end or countably many ends are also reconstructible.
In this paper we construct non-reconstructible graphs of bounded maximum degree with one and countably many ends respectively, answering the two questions of Nash-Williams about the reconstruction of locally finite graphs in the negative.
△ Less
Submitted 22 January, 2018; v1 submitted 14 November, 2016;
originally announced November 2016.
-
Trees with distinguishing index equal distinguishing number plus one
Authors:
Saeid Alikhani,
Sandi Klavžar,
Florian Lehner,
Samaneh Soltani
Abstract:
The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex (edge) labeling with $d$ labels that is preserved only by the trivial automorphism. It is known that for every graph $G$ we have $D'(G) \leq D(G) + 1$. In this note we characterize trees for which this inequality is sharp. We also show that if $G$ is a connected unicyclic graph, t…
▽ More
The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex (edge) labeling with $d$ labels that is preserved only by the trivial automorphism. It is known that for every graph $G$ we have $D'(G) \leq D(G) + 1$. In this note we characterize trees for which this inequality is sharp. We also show that if $G$ is a connected unicyclic graph, then $D'(G) = D(G)$.
△ Less
Submitted 9 August, 2017; v1 submitted 11 August, 2016;
originally announced August 2016.
-
Sample Variance in Free Probability
Authors:
Wiktor Ejsmont,
Franz Lehner
Abstract:
Let $X_1, X_2,\dots, X_n$ denote i.i.d.~centered standard normal random variables, then the law of the sample variance $Q_n=\sum_{i=1}^n(X_i-\bar{X})^2$ is the $χ^2$-distribution with $n-1$ degrees of freedom. It is an open problem in classical probability to characterize all distributions with this property and in particular, whether it characterizes the normal law. In this paper we present a sol…
▽ More
Let $X_1, X_2,\dots, X_n$ denote i.i.d.~centered standard normal random variables, then the law of the sample variance $Q_n=\sum_{i=1}^n(X_i-\bar{X})^2$ is the $χ^2$-distribution with $n-1$ degrees of freedom. It is an open problem in classical probability to characterize all distributions with this property and in particular, whether it characterizes the normal law. In this paper we present a solution of the free analog of this question and show that the only distributions, whose free sample variance is distributed according to a free $χ^2$-distribution, are the semicircle law and more generally so-called \emph{odd} laws, by which we mean laws with vanishing higher order even cumulants. In the way of proof we derive an explicit formula for the free cumulants of $Q_n$ which shows that indeed the odd cumulants do not contribute and which exhibits an interesting connection to the concept of $R$-cyclicity.
△ Less
Submitted 12 May, 2017; v1 submitted 22 July, 2016;
originally announced July 2016.
-
A counterexample to the reconstruction conjecture for locally finite trees
Authors:
Nathan Bowler,
Joshua Erde,
Peter Heinig,
Florian Lehner,
Max Pitz
Abstract:
Two graphs $G$ and $H$ are hypomorphic if there exists a bijection $\varphi \colon V(G) \rightarrow V(H)$ such that $G - v \cong H - \varphi(v)$ for each $v \in V(G)$. A graph $G$ is reconstructible if $H \cong G$ for all $H$ hypomorphic to $G$.
It is well known that not all infinite graphs are reconstructible. However, the Harary-Schwenk-Scott Conjecture from 1972 suggests that all locally fini…
▽ More
Two graphs $G$ and $H$ are hypomorphic if there exists a bijection $\varphi \colon V(G) \rightarrow V(H)$ such that $G - v \cong H - \varphi(v)$ for each $v \in V(G)$. A graph $G$ is reconstructible if $H \cong G$ for all $H$ hypomorphic to $G$.
It is well known that not all infinite graphs are reconstructible. However, the Harary-Schwenk-Scott Conjecture from 1972 suggests that all locally finite trees are reconstructible.
In this paper, we construct a counterexample to the Harary-Schwenk-Scott Conjecture. Our example also answers four other questions of Nash-Williams, Halin and Andreae on the reconstruction of infinite graphs.
△ Less
Submitted 18 January, 2018; v1 submitted 9 June, 2016;
originally announced June 2016.
-
Breaking graph symmetries by edge colourings
Authors:
Florian Lehner
Abstract:
The distinguishing index $D'(G)$ of a graph $G$ is the least number of colours needed in an edge colouring which is not preserved by any non-trivial automorphism. Broere and Pilśniak conjectured that if every non-trivial automorphism of a countable graph $G$ moves infinitely many edges, then $D'(G) \leq 2$. We prove this conjecture.
The distinguishing index $D'(G)$ of a graph $G$ is the least number of colours needed in an edge colouring which is not preserved by any non-trivial automorphism. Broere and Pilśniak conjectured that if every non-trivial automorphism of a countable graph $G$ moves infinitely many edges, then $D'(G) \leq 2$. We prove this conjecture.
△ Less
Submitted 27 April, 2016;
originally announced April 2016.
-
Fast Factorization of Cartesian products of Hypergraphs
Authors:
Marc Hellmuth,
Florian Lehner
Abstract:
Cartesian products of graphs and hypergraphs have been studied since the 1960s. For (un)directed hypergraphs, unique \emph{prime factor decomposition (PFD)} results with respect to the Cartesian product are known. However, there is still a lack of algorithms, that compute the PFD of directed hypergraphs with respect to the Cartesian product.
In this contribution, we focus on the algorithmic aspe…
▽ More
Cartesian products of graphs and hypergraphs have been studied since the 1960s. For (un)directed hypergraphs, unique \emph{prime factor decomposition (PFD)} results with respect to the Cartesian product are known. However, there is still a lack of algorithms, that compute the PFD of directed hypergraphs with respect to the Cartesian product.
In this contribution, we focus on the algorithmic aspects for determining the Cartesian prime factors of a finite, connected, directed hypergraph and present a first polynomial time algorithm to compute its PFD. In particular, the algorithm has time complexity $O(|E||V|r^2)$ for hypergraphs $H=(V,E)$, where the rank $r$ is the maximum number of vertices contained in an hyperedge of $H$. If $r$ is bounded, then this algorithm performs even in $O(|E|\log^2(|V|))$ time. Thus, our method additionally improves also the time complexity of PFD-algorithms designed for undirected hypergraphs that have time complexity $O(|E||V|r^6Δ^6)$, where $Δ$ is the maximum number of hyperedges a vertex is contained in.
△ Less
Submitted 28 August, 2015;
originally announced August 2015.
-
Local finiteness, distinguishing numbers and Tucker's conjecture
Authors:
Florian Lehner,
Rögnvaldur G. Möller
Abstract:
A distinguishing colouring of a graph is a colouring of the vertex set such that no non-trivial automorphism preserves the colouring. Tucker conjectured that if every non-trivial automorphism of a locally finite graph moves infinitely many vertices, then there is a distinguishing 2-colouring.
We show that the requirement of local finiteness is necessary by giving a non-locally finite graph for w…
▽ More
A distinguishing colouring of a graph is a colouring of the vertex set such that no non-trivial automorphism preserves the colouring. Tucker conjectured that if every non-trivial automorphism of a locally finite graph moves infinitely many vertices, then there is a distinguishing 2-colouring.
We show that the requirement of local finiteness is necessary by giving a non-locally finite graph for which no finite number of colours suffices.
△ Less
Submitted 29 April, 2015; v1 submitted 2 December, 2014;
originally announced December 2014.
-
The Cartesian product of graphs with loops
Authors:
Tetiana Boiko,
Johannes Cuno,
Wilfried Imrich,
Florian Lehner,
Christiaan E. van de Woestijne
Abstract:
We extend the definition of the Cartesian product to graphs with loops and show that the Sabidussi-Vizing unique factorization theorem for connected finite simple graphs still holds in this context for all connected finite graphs with at least one unlooped vertex. We also prove that this factorization can be computed in O(m) time, where m is the number of edges of the given graph.
We extend the definition of the Cartesian product to graphs with loops and show that the Sabidussi-Vizing unique factorization theorem for connected finite simple graphs still holds in this context for all connected finite graphs with at least one unlooped vertex. We also prove that this factorization can be computed in O(m) time, where m is the number of edges of the given graph.
△ Less
Submitted 25 November, 2014;
originally announced November 2014.
-
Cops, robbers, and infinite graphs
Authors:
Florian Lehner
Abstract:
Cops and robbers is a game between two players, where one tries to catch the other by moving along the edges of a graph. It is well known that on a finite graph the cop has a winning strategy if and only if the graph is constructible and that finiteness is necessary for this result.
We propose the notion of weakly cop-win graphs, a winning criterion for infinite graphs which could lead to a gene…
▽ More
Cops and robbers is a game between two players, where one tries to catch the other by moving along the edges of a graph. It is well known that on a finite graph the cop has a winning strategy if and only if the graph is constructible and that finiteness is necessary for this result.
We propose the notion of weakly cop-win graphs, a winning criterion for infinite graphs which could lead to a generalisation. In fact, we generalise one half of the result, that is, we prove that every constructible graph is weakly cop-win. We also show that a similar notion studied by Chastand et al. (which they also dubbed weakly cop-win) is not sufficient to generalise the above result to infinite graphs.
In the locally finite case we characterise the constructible graphs as the graphs for which the cop has a so-called protective strategy and prove that the existence of such a strategy implies constructibility even for non-locally finite graphs.
△ Less
Submitted 30 March, 2015; v1 submitted 30 October, 2014;
originally announced October 2014.
-
Relations between cumulants in noncommutative probability
Authors:
Octavio Arizmendi,
Takahiro Hasebe,
Franz Lehner,
Carlos Vargas
Abstract:
We express classical, free, Boolean and monotone cumulants in terms of each other, using combinatorics of heaps, pyramids, Tutte polynomials and permutations. We completely determine the coefficients of these formulas with the exception of the formula for classical cumulants in terms of monotone cumulants whose coefficients are only partially computed.
We express classical, free, Boolean and monotone cumulants in terms of each other, using combinatorics of heaps, pyramids, Tutte polynomials and permutations. We completely determine the coefficients of these formulas with the exception of the formula for classical cumulants in terms of monotone cumulants whose coefficients are only partially computed.
△ Less
Submitted 13 August, 2014;
originally announced August 2014.