-
Large-Scale Collaborative Writing: Technical Challenges and Recommendations
Authors:
Markus Hofbauer,
Christoph Bachhuber,
Christopher Kuhn,
Sebastian Schwarz,
Bart Kroon,
Eckehard Steinbach
Abstract:
Collaborative writing is essential for teams that create documents together. Creating documents in large-scale collaborations is a challenging task that requires an efficient workflow. The design of such a workflow has received comparatively little attention. Conventional solutions such as working on a single Microsoft Word document or a shared online document are still widely used. In this paper,…
▽ More
Collaborative writing is essential for teams that create documents together. Creating documents in large-scale collaborations is a challenging task that requires an efficient workflow. The design of such a workflow has received comparatively little attention. Conventional solutions such as working on a single Microsoft Word document or a shared online document are still widely used. In this paper, we propose a new workflow consisting of a combination of the lightweight markup language AsciiDoc together with the state-of-the-art version control system Git. The proposed process makes use of well-established workflows in the field of software development that have grown over decades. We present a detailed comparison of the proposed markup + Git workflow to Word and Word for the Web as the most prominent examples for conventional approaches.We argue that the proposed approach provides significant benefits regarding scalability, flexibility, and structuring of most collaborative writing tasks, both in academia and industry.
△ Less
Submitted 17 March, 2023;
originally announced March 2023.
-
Linear and projective boundaries in HNN-extensions and distortion phenomena
Authors:
Bernhard Krön,
Jörg Lehnert,
Maya Stein
Abstract:
Linear and projective boundaries of Cayley graphs were introduced in~\cite{kst} as quasi-isometry invariant boundaries of finitely generated groups. They consist of forward orbits $g^\infty=\{g^i: i\in \mathbb N\}$, or orbits $g^{\pm\infty}=\{g^i:i\in\mathbb Z\}$, respectively, of non-torsion elements~$g$ of the group $G$, where `sufficiently close' (forward) orbits become identified, together wit…
▽ More
Linear and projective boundaries of Cayley graphs were introduced in~\cite{kst} as quasi-isometry invariant boundaries of finitely generated groups. They consist of forward orbits $g^\infty=\{g^i: i\in \mathbb N\}$, or orbits $g^{\pm\infty}=\{g^i:i\in\mathbb Z\}$, respectively, of non-torsion elements~$g$ of the group $G$, where `sufficiently close' (forward) orbits become identified, together with a metric bounded by 1.
We show that for all finitely generated groups, the distance between the antipodal points $g^\infty$ and $g^{-\infty}$ in the linear boundary is bounded from below by $\sqrt{1/2}$, and we give an example of a group which has two antipodal elements of distance at most $\sqrt{12/17}<1$. Our example is a derivation of the Baumslag-Gersten group. \newline We also exhibit a group with elements $g$ and $h$ such that $g^\infty = h^\infty$, but $g^{-\infty}\neq h^{-\infty}$. Furthermore, we introduce a notion of average-case-distortion---called growth---and compute explicit positive lower bounds for distances between points $g^\infty$ and $h^\infty$ which are limits of group elements $g$ and $h$ with different growth.
△ Less
Submitted 26 August, 2014; v1 submitted 15 October, 2012;
originally announced October 2012.
-
Linear and projective boundary of nilpotent groups
Authors:
Bernhard Krön,
Jörg Lehnert,
Norbert Seifter,
Elmar Teufl
Abstract:
We define a pseudometric on the set of all unbounded subsets of a metric space. The Kolmogorov quotient of this pseudometric space is a complete metric space. The definition of the pseudometric is guided by the principle that two unbounded subsets have distance 0 whenever they stay sublinearly close. Based on this pseudometric we introduce and study a general concept of boundaries of metric spaces…
▽ More
We define a pseudometric on the set of all unbounded subsets of a metric space. The Kolmogorov quotient of this pseudometric space is a complete metric space. The definition of the pseudometric is guided by the principle that two unbounded subsets have distance 0 whenever they stay sublinearly close. Based on this pseudometric we introduce and study a general concept of boundaries of metric spaces. Such a boundary is the closure of a subset in the Kolmogorov quotient determined by an arbitrarily chosen family of unbounded subsets.
Our interest lies in those boundaries which we get by choosing unbounded cyclic sub-(semi)-groups of a finitely generated group (or more general of a compactly generated, locally compact Hausdorff group). We show that these boundaries are quasi-isometric invariants and determine them in the case of nilpotent groups as a disjoint union of certain spheres (or projective spaces).
In addition we apply this concept to vertex-transitive graphs with polynomial growth and to random walks on nilpotent groups.
△ Less
Submitted 20 September, 2013; v1 submitted 27 August, 2012;
originally announced August 2012.
-
Cutting up graphs revisited - a short proof of Stallings' structure theorem
Authors:
Bernhard Krön
Abstract:
This is a new and short proof of the main theorem of classical structure tree theory. Namely, we show the existence of certain automorphism-invariant tree-decompositions of graphs based on the principle of removing finitely many edges. This was first done in "Cutting up graphs" by M.J. Dunwoody. The main ideas are based on the paper "Vertex cuts" by M.J. Dunwoody and the author. We extend the th…
▽ More
This is a new and short proof of the main theorem of classical structure tree theory. Namely, we show the existence of certain automorphism-invariant tree-decompositions of graphs based on the principle of removing finitely many edges. This was first done in "Cutting up graphs" by M.J. Dunwoody. The main ideas are based on the paper "Vertex cuts" by M.J. Dunwoody and the author. We extend the theorem to a detailed combinatorial proof of J.R. Stallings' theorem on the structure of finitely generated groups with more than one end.
△ Less
Submitted 4 March, 2010;
originally announced March 2010.
-
Vertex Cuts
Authors:
M. J. Dunwoody,
B. Krön
Abstract:
We generalise structure tree theory, which is based on removing finitely many edges, to removing finitely many vertices. This gives a significant generalization of Tutte's tree decomposition of 2-connected graphs into 3-connected blocks. For a finite graph there is a structure tree that contains information about $k$-connectivity for any $k$. The theory can also be applied to infinite graphs that…
▽ More
We generalise structure tree theory, which is based on removing finitely many edges, to removing finitely many vertices. This gives a significant generalization of Tutte's tree decomposition of 2-connected graphs into 3-connected blocks. For a finite graph there is a structure tree that contains information about $k$-connectivity for any $k$. The theory can also be applied to infinite graphs that have more than one vertex end, i.e. ends that can be separated by removing a finite number of vertices. This gives a generalization of Stallings' structure theorem for groups with more than one end.
△ Less
Submitted 2 January, 2015; v1 submitted 1 May, 2009;
originally announced May 2009.
-
Asymptotics of the transition probabilities of the simple random walk on self-similar graphs
Authors:
Bernhard Krön,
Elmar Teufl
Abstract:
It is shown explicitly how self-similar graphs can be obtained as `blow-up' constructions of finite cell graphs $\hat C$. This yields a larger family of graphs than the graphs obtained by discretising continuous self-similar fractals.
For a class of symmetrically self-similar graphs we study the simple random walk on a cell graph $\hat C$, starting in a vertex $v$ of the boundary of $\hat C$.…
▽ More
It is shown explicitly how self-similar graphs can be obtained as `blow-up' constructions of finite cell graphs $\hat C$. This yields a larger family of graphs than the graphs obtained by discretising continuous self-similar fractals.
For a class of symmetrically self-similar graphs we study the simple random walk on a cell graph $\hat C$, starting in a vertex $v$ of the boundary of $\hat C$. It is proved that the expected number of returns to $v$ before hitting another vertex in the boundary coincides with the resistance scaling factor.
Using techniques from complex rational iteration and singularity analysis for Green functions we compute the asymptotic behaviour of the $n$-step transition probabilities of the simple random walk on the whole graph. The results of Grabner and Woess for the Sierpiński graph are generalised to the class of symmetrically self-similar graphs and at the same time the error term of the asymptotic expression is improved. Finally we present a criterion for the occurrence of oscillating phenomena of the $n$-step transition probabilities.
△ Less
Submitted 12 September, 2002;
originally announced September 2002.
-
Green functions on self-similar graphs and bounds for the spectrum of the Laplacian
Authors:
Bernhard Krön
Abstract:
Combining the study of the simple random walk on graphs, generating functions (especially Green functions), complex dynamics and general complex analysis we introduce a new method of spectral analysis on self-similar graphs.
We give an axiomatic definition of self-similar graphs which correspond to general nested but not necessarily finitely ramified fractals. For this class of graphs a graph…
▽ More
Combining the study of the simple random walk on graphs, generating functions (especially Green functions), complex dynamics and general complex analysis we introduce a new method of spectral analysis on self-similar graphs.
We give an axiomatic definition of self-similar graphs which correspond to general nested but not necessarily finitely ramified fractals. For this class of graphs a graph theoretic analogue to the Banach fixed point theorem is proved.
Functional equations and a decomposition algorithm for the Green functions of self-similar graphs with some more symmetric structure are obtained. Their analytic continuations are given by rapidly converging expressions. We study the dynamics of a certain complex rational Green function $d$ on finite directed subgraphs. If the Julia set $\cj$ of $d$ is a Cantor set, then the reciprocal spectrum $\spec^{-1}P=\{1/z\mid z\in\spec P\}$ of the Markov transition operator $P$ can be identified with the set of singularities of any Green function of the whole graph. Finally we get explicit upper and lower bounds for the reciprocal spectrum, where $\cd$ is a countable set of the $d$-backwards iterates of a certain finite set of real numbers.
△ Less
Submitted 12 September, 2002; v1 submitted 18 February, 2002;
originally announced February 2002.
-
Growth of self-similar graphs
Authors:
Bernhard Krön
Abstract:
Locally finite self-similar graphs with bounded geometry and without bounded geometry as well as non-locally finite self-similar graphs are characterized by the structure of their cell graphs. Geometric properties concerning the volume growth and distances in cell graphs are discussed. The length scaling factor $ν$ and the volume scaling factor $μ$ can be defined similarly to the corresponding p…
▽ More
Locally finite self-similar graphs with bounded geometry and without bounded geometry as well as non-locally finite self-similar graphs are characterized by the structure of their cell graphs. Geometric properties concerning the volume growth and distances in cell graphs are discussed. The length scaling factor $ν$ and the volume scaling factor $μ$ can be defined similarly to the corresponding parameters of continuous self-similar sets. There are different notions of growth dimensions of graphs. For a rather general class of self-similar graphs it is proved that all these dimensions coincide and that they can be calculated in the same way as the Hausdorff dimension of continuous self-similar fractals: \[\dim X=\frac{\log μ}{\log ν}.\]
△ Less
Submitted 12 September, 2002; v1 submitted 18 February, 2002;
originally announced February 2002.
-
Quasi-isometries between non-locally-finite graphs and structure trees
Authors:
Bernhard Krön
Abstract:
We prove several criteria for quasi-isometry between non-locally-finite graphs and their structure trees. Results of Möller in \cite{moeller92ends2} for locally finite and transitive graphs are generalized. We also give a criterion which describes quasi-isometry by how edge-ends are split up by the cuts of a structure tree.
We prove several criteria for quasi-isometry between non-locally-finite graphs and their structure trees. Results of Möller in \cite{moeller92ends2} for locally finite and transitive graphs are generalized. We also give a criterion which describes quasi-isometry by how edge-ends are split up by the cuts of a structure tree.
△ Less
Submitted 4 October, 2000;
originally announced October 2000.
-
End compactifications in non-locally-finite graphs
Authors:
B. Krön
Abstract:
There are different definitions of ends in non-locally-finite graphs which are all equivalent in the locally finite case. We prove the compactness of the end-topology that is based on the principle of removing finite sets of vertices and give a proof of the compactness of the end-topology that is constructed by the principle of removing finite sets of edges. For the latter case there exists alre…
▽ More
There are different definitions of ends in non-locally-finite graphs which are all equivalent in the locally finite case. We prove the compactness of the end-topology that is based on the principle of removing finite sets of vertices and give a proof of the compactness of the end-topology that is constructed by the principle of removing finite sets of edges. For the latter case there exists already a proof in \cite{cartwright93martin}, which only works on graphs with countably infinite vertex sets and in contrast to which we do not use the Theorem of Tychonoff. We also construct a new topology of ends that arises from the principle of removing sets of vertices with finite diameter and give applications that underline the advantages of this new definition.
△ Less
Submitted 4 October, 2000; v1 submitted 3 October, 2000;
originally announced October 2000.