-
INetCEP: In-Network Complex Event Processing for Information-Centric Networking
Authors:
Manisha Luthra,
Boris Koldehofe,
Jonas Höchst,
Patrick Lampe,
Ali Haider Rizvi,
Ralf Kundel,
Bernd Freisleben
Abstract:
Emerging network architectures like Information-centric Networking (ICN) offer simplicity in the data plane by addressing named data. Such flexibility opens up the possibility to move data processing inside network elements for high-performance computation, known as in-network processing. However, existing ICN architectures are limited in terms of data plane programmability due to the lack of (i)…
▽ More
Emerging network architectures like Information-centric Networking (ICN) offer simplicity in the data plane by addressing named data. Such flexibility opens up the possibility to move data processing inside network elements for high-performance computation, known as in-network processing. However, existing ICN architectures are limited in terms of data plane programmability due to the lack of (i) in-network processing and (ii) data plane programming abstractions. Such architectures can benefit from Complex Event Processing (CEP), an in-network processing paradigm to efficiently process data inside the data plane. Yet, it is extremely challenging to integrate CEP because the current communication model of ICN is limited to consumer-initiated interaction that comes with significant overhead in a number of requests to process continuous data streams. In contrast, a change to producer-initiated interaction, as favored by CEP, imposes severe limitations for request-reply interactions. In this paper, we propose an in-network CEP architecture, INetCEP that supports unified interaction patterns (consumer- and producer-initiated). In addition, we provide a CEP query language and facilitate CEP operations while increasing the range of applications that can be supported by ICN. We provide an open-source implementation and evaluation of INetCEP over an ICN architecture, Named Function Networking, and two applications: energy forecasting in smart homes and a disaster scenario.
△ Less
Submitted 14 December, 2020; v1 submitted 9 December, 2020;
originally announced December 2020.
-
PIMOD: A Tool for Configuring Single-Board Computer Operating System Images
Authors:
Jonas Höchst,
Alvar Penning,
Patrick Lampe,
Bernd Freisleben
Abstract:
Computer systems used in the field of humanitarian technology are often based on general-purpose single-board computers, such as Raspberry Pis. While these systems offer great flexibility for developers and users, configuration and deployment either introduces overhead by executing scripts on multiple devices or requires deeper technical understanding when building operating system images for such…
▽ More
Computer systems used in the field of humanitarian technology are often based on general-purpose single-board computers, such as Raspberry Pis. While these systems offer great flexibility for developers and users, configuration and deployment either introduces overhead by executing scripts on multiple devices or requires deeper technical understanding when building operating system images for such small computers from scratch. In this paper, we present PIMOD, a software tool for configuring operating system images for single-board computer systems. We propose a simple yet comprehensive configuration language. In a configuration profile, called Pifile, a small set of commands is used to describe the configuration of an operating system image. Virtualization techniques are used during the execution of the profile in order to be distribution and platform independent. Commands can be issued in the guest operating system, providing access to the distribution specific tools, e.g., to configure hardware parameters. The implementation of PIMOD is made public under a free and open source license. PIMOD is evaluated in terms of user benefits, performance compared to on-system configuration, and applicability across different hardware platforms and operating systems.
△ Less
Submitted 15 October, 2020;
originally announced October 2020.
-
Snake graphs and their characteristic polynomials
Authors:
James P. Bradshaw,
Philipp Lampe,
Dusan Ziga
Abstract:
The aim of the article is to understand the combinatorics of snake graphs by means of linear algebra. In particular, we apply Kasteleyn's and Temperley--Fisher's ideas about spectral properties of weighted adjacency matrices of planar bipartite graphs to snake graphs. First we focus on snake graphs whose set of turning vertices is monochromatic. We provide recursive sequences to compute the charac…
▽ More
The aim of the article is to understand the combinatorics of snake graphs by means of linear algebra. In particular, we apply Kasteleyn's and Temperley--Fisher's ideas about spectral properties of weighted adjacency matrices of planar bipartite graphs to snake graphs. First we focus on snake graphs whose set of turning vertices is monochromatic. We provide recursive sequences to compute the characteristic polynomials; they are indexed by the upper or the lower boundary of the graph and are determined by a neighbour count. As an application, we compute the characteristic polynomials for L-shaped snake graphs and staircases in terms of Fibonacci product polynomials. Next, we introduce a method to compute the characteristic polynomials as convergents of continued fractions. Finally, we show how to transform a snake graph with turning vertices of two colours into a graph with the same number of perfect matchings to which we can apply the results above.
△ Less
Submitted 25 October, 2019;
originally announced October 2019.
-
Smart Street Lights and Mobile Citizen Apps for Resilient Communication in a Digital City
Authors:
Lars Baumgärtner,
Jonas Höchst,
Patrick Lampe,
Ragnar Mogk,
Artur Sterz,
Pascal Weisenburger,
Mira Mezini,
Bernd Freisleben
Abstract:
Currently, nearly four billion people live in urban areas. Since this trend is increasing, natural disasters or terrorist attacks in such areas affect an increasing number of people. While information and communication technology is crucial for the operation of urban infrastructures and the well-being of its inhabitants, current technology is quite vulnerable to disruptions of various kinds. In fu…
▽ More
Currently, nearly four billion people live in urban areas. Since this trend is increasing, natural disasters or terrorist attacks in such areas affect an increasing number of people. While information and communication technology is crucial for the operation of urban infrastructures and the well-being of its inhabitants, current technology is quite vulnerable to disruptions of various kinds. In future smart cities, a more resilient urban infrastructure is imperative to handle the increasing number of hazardous situations. We present a novel resilient communication approach based on smart street lights as part of the public infrastructure. It supports people in their everyday life and adapts its functionality to the challenges of emergency situations. Our approach relies on various environmental sensors and in-situ processing for automatic situation assessment, and a range of communication mechanisms (e.g., public WiFi hotspot functionality and mesh networking) for maintaining a communication network. Furthermore, resilience is not only achieved based on infrastructure deployed by a digital city's municipality, but also based on integrating citizens through software that runs on their mobile devices (e.g., smartphones and tablets). Web-based zero-installation and platform-agnostic apps can switch to device-to-device communication to continue benefiting people even during a disaster situation. Our approach, featuring a covert channel for professional responders and the zero-installation app, is evaluated through a prototype implementation based on a commercially available street light.
△ Less
Submitted 27 August, 2019;
originally announced August 2019.
-
OPPLOAD: Offloading Computational Workflows in Opportunistic Networks
Authors:
Artur Sterz,
Lars Baumgärtner,
Jonas höchst,
Patrick Lampe,
Bernd Freisleben
Abstract:
Computation offloading is often used in mobile cloud, edge, and/or fog computing to cope with resource limitations of mobile devices in terms of computational power, storage, and energy. Computation offloading is particularly challenging in situations where network connectivity is intermittent or error-prone. In this paper, we present OPPLOAD, a novel framework for offloading computational workflo…
▽ More
Computation offloading is often used in mobile cloud, edge, and/or fog computing to cope with resource limitations of mobile devices in terms of computational power, storage, and energy. Computation offloading is particularly challenging in situations where network connectivity is intermittent or error-prone. In this paper, we present OPPLOAD, a novel framework for offloading computational workflows in opportunistic networks. The individual tasks forming a workflow can be assigned to particular remote execution platforms (workers) either preselected ahead of time or decided just in time where a matching worker will automatically be assigned for the next task. Tasks are only assigned to capable workers that announce their capabilities. Furthermore, tasks of a workflow can be executed on multiple workers that are automatically selected to balance the load. Our Python implementation of OPPLOAD is publicly available as open source software. The results of our experimental evaluation demonstrate the feasibility of our approach.
△ Less
Submitted 25 July, 2019;
originally announced July 2019.
-
Exchange graphs for mutation-finite non-integer quivers of rank 3
Authors:
Anna Felikson,
Philipp Lampe
Abstract:
Skew-symmetric non-integer matrices with real entries can be viewed as quivers with non-integer weights of arrows. One can mutate such quivers according to usual rules of quiver mutation. Felikson and Tumarkin show that rank 3 mutation-finite non-integer quivers admit geometric realisations by partial reflections. This allows to define a notion of seeds (as Y-seeds), and hence, to define the excha…
▽ More
Skew-symmetric non-integer matrices with real entries can be viewed as quivers with non-integer weights of arrows. One can mutate such quivers according to usual rules of quiver mutation. Felikson and Tumarkin show that rank 3 mutation-finite non-integer quivers admit geometric realisations by partial reflections. This allows to define a notion of seeds (as Y-seeds), and hence, to define the exchange graphs for mutation classes. In this paper we study exchange graphs of mutation-finite quivers in rank 3. The concept of finite and affine type generalises naturally to non-integer quivers. In particular, exchange graphs of finite type quivers are finite, while exchange graphs of affine quivers are finite modulo the action of a finite-dimensional lattice.
△ Less
Submitted 8 April, 2019;
originally announced April 2019.
-
Cluster algebras and discrete integrability
Authors:
Andrew N. W. Hone,
Philipp Lampe,
Theodoros E. Kouloukas
Abstract:
Cluster algebras are a class of commutative algebras whose generators are defined by a recursive process called mutation. We give a brief introduction to cluster algebras, and explain how discrete integrable systems can appear in the context of cluster mutation. In particular, we give examples of birational maps that are integrable in the Liouville sense and arise from cluster algebras with period…
▽ More
Cluster algebras are a class of commutative algebras whose generators are defined by a recursive process called mutation. We give a brief introduction to cluster algebras, and explain how discrete integrable systems can appear in the context of cluster mutation. In particular, we give examples of birational maps that are integrable in the Liouville sense and arise from cluster algebras with periodicity, as well as examples of discrete Painlevé equations that are derived from Y-systems.
△ Less
Submitted 19 March, 2019;
originally announced March 2019.
-
An expansion formula for type A and Kronecker quantum cluster algebras
Authors:
Ilke Canakci,
Philipp Lampe
Abstract:
We introduce an expansion formula for elements in quantum cluster algebras associated to type A and Kronecker quivers with principal quantization. Our formula is parametrized by perfect matchings of snake graphs as in the classical case. In the Kronecker case, the coefficients are q-powers whose exponents are given by a weight function induced by the lattice of perfect matchings. As an application…
▽ More
We introduce an expansion formula for elements in quantum cluster algebras associated to type A and Kronecker quivers with principal quantization. Our formula is parametrized by perfect matchings of snake graphs as in the classical case. In the Kronecker case, the coefficients are q-powers whose exponents are given by a weight function induced by the lattice of perfect matchings. As an application, we prove that a reflectional symmetry on the set of perfect matchings satisfies Stembridge's q=-1 phenomenon with respect to the weight function.
△ Less
Submitted 19 September, 2018; v1 submitted 19 July, 2018;
originally announced July 2018.
-
Factoriality and class groups of cluster algebras
Authors:
Ana Garcia Elsener,
Philipp Lampe,
Daniel Smertnig
Abstract:
Locally acyclic cluster algebras are Krull domains. Hence their factorization theory is determined by their (divisor) class group and the set of classes containing height-1 prime ideals. Motivated by this, we investigate class groups of cluster algebras. We show that any cluster algebra that is a Krull domain has a finitely generated free abelian class group, and that every class contains infinite…
▽ More
Locally acyclic cluster algebras are Krull domains. Hence their factorization theory is determined by their (divisor) class group and the set of classes containing height-1 prime ideals. Motivated by this, we investigate class groups of cluster algebras. We show that any cluster algebra that is a Krull domain has a finitely generated free abelian class group, and that every class contains infinitely many height-$1$ prime ideals. For a cluster algebra associated to an acyclic seed, we give an explicit description of the class group in terms of the initial exchange matrix. As a corollary, we reprove and extend a classification of factoriality for cluster algebras of Dynkin type. In the acyclic case, we prove the sufficiency of necessary conditions for factoriality given by Geiss--Leclerc--Schröer.
△ Less
Submitted 6 August, 2019; v1 submitted 18 December, 2017;
originally announced December 2017.
-
Variations on Baur--Marsh's determinant
Authors:
Philipp Lampe
Abstract:
Baur and Marsh computed the determinant of a matrix assembled from the cluster variables in a cluster algebra of type A. In this article we wish to describe two variations. On the one hand, we compute determinants of matrices assembled from the squares of the cluster variables in Baur--Marsh's matrix. One such determinant admits an interpretation as a Cayley--Menger determinant. On the other hand,…
▽ More
Baur and Marsh computed the determinant of a matrix assembled from the cluster variables in a cluster algebra of type A. In this article we wish to describe two variations. On the one hand, we compute determinants of matrices assembled from the squares of the cluster variables in Baur--Marsh's matrix. One such determinant admits an interpretation as a Cayley--Menger determinant. On the other hand, we wish to present a formula for the determinant of a matrix of cluster variables in a cluster algebra of type D. This cluster algebra is associated with a marked oriented surface. As in Baur--Marsh's setup the matrix is indexed by the marked points of the surface and an entry is given by the cluster variable corresponding to an arc between two marked points. Our formula asserts that the determinant may again be written as a product of cluster variables.
△ Less
Submitted 8 September, 2017;
originally announced September 2017.
-
Maximum antichains in posets of quiver representations
Authors:
Florian Gellert,
Philipp Lampe
Abstract:
We study maximum antichains in two posets related to quiver representations. Firstly, we consider the set of isomorphism classes of indecomposable representations ordered by inclusion. For various orientations of the Dynkin diagram of type A we construct a maximum antichain in the poset. Secondly, we consider the set of subrepresentations of a given quiver representation, again ordered by inclusio…
▽ More
We study maximum antichains in two posets related to quiver representations. Firstly, we consider the set of isomorphism classes of indecomposable representations ordered by inclusion. For various orientations of the Dynkin diagram of type A we construct a maximum antichain in the poset. Secondly, we consider the set of subrepresentations of a given quiver representation, again ordered by inclusion. It is a finite set if we restrict to linear representations over finite fields or to representations with values in the category of pointed sets. For particular situations we prove that this poset is Sperner.
△ Less
Submitted 11 August, 2016;
originally announced August 2016.
-
On the approximate periodicity of sequences attached to noncrystallographic root systems
Authors:
Philipp Lampe
Abstract:
We study Fomin-Zelevinsky's mutation rule in the context of noncrystallographic root systems. In particular, we construct approximately periodic sequences of real numbers for the noncrystallographic root systems of rank 2 by adjusting the exchange relation for cluster algebras. Moreover, we describe matrix mutation classes for type H3 and H4.
We study Fomin-Zelevinsky's mutation rule in the context of noncrystallographic root systems. In particular, we construct approximately periodic sequences of real numbers for the noncrystallographic root systems of rank 2 by adjusting the exchange relation for cluster algebras. Moreover, we describe matrix mutation classes for type H3 and H4.
△ Less
Submitted 14 July, 2016;
originally announced July 2016.
-
Diophantine equations via cluster transformations
Authors:
Philipp Lampe
Abstract:
Motivated by Fomin and Zelevinsky's theory of cluster algebras we introduce a variant of the Markov equation; we show that all natural solutions of the equation arise from an initial solution by cluster transformations.
Motivated by Fomin and Zelevinsky's theory of cluster algebras we introduce a variant of the Markov equation; we show that all natural solutions of the equation arise from an initial solution by cluster transformations.
△ Less
Submitted 2 February, 2016;
originally announced February 2016.
-
Quantisation Spaces of Cluster Algebras
Authors:
Florian Gellert,
Philipp Lampe
Abstract:
The article concerns the existence and uniqueness of quantisations of cluster algebras. We prove that cluster algebras with an initial exchange matrix of full rank admit a quantisation in the sense of Berenstein-Zelevinsky and give an explicit generating set to construct all quantisations.
The article concerns the existence and uniqueness of quantisations of cluster algebras. We prove that cluster algebras with an initial exchange matrix of full rank admit a quantisation in the sense of Berenstein-Zelevinsky and give an explicit generating set to construct all quantisations.
△ Less
Submitted 5 February, 2014;
originally announced February 2014.
-
Acyclic cluster algebras from a ring theoretic point of view
Authors:
Philipp Lampe
Abstract:
The article gives a ring theoretic perspective on cluster algebras. Geiß-Leclerc-Schröer prove that all cluster variables in a cluster algebra are irreducible elements. Furthermore, they provide two necessary conditions for a cluster algebra to be a unique factorization domain, namely the irreducibility and the coprimality of the initial exchange polynomials.
We present a sufficient condition fo…
▽ More
The article gives a ring theoretic perspective on cluster algebras. Geiß-Leclerc-Schröer prove that all cluster variables in a cluster algebra are irreducible elements. Furthermore, they provide two necessary conditions for a cluster algebra to be a unique factorization domain, namely the irreducibility and the coprimality of the initial exchange polynomials.
We present a sufficient condition for a cluster algebra to be a unique factorization domain in terms of primary decompositions of certain ideals generated by initial cluster variables and initial exchange polynomials. As an application, the criterion enables us to decide which coefficient-free cluster algebras of Dynkin type A, D or E are unique factorization domains. Moreover, it yields a normal form for irreducible elements in cluster algebras that satisfy the condition. Proof techniques include methods from commutative algebra.
In addition, we state a conjecture about the range of application of the criterion.
△ Less
Submitted 4 October, 2012;
originally announced October 2012.
-
Quantum cluster algebras of type A and the dual canonical basis
Authors:
Philipp Lampe
Abstract:
The article concerns the subalgebra U_v^+(w) of the quantized universal envelo** algebra of the complex Lie algebra sl_{n+1} associated with a particular Weyl group element of length 2n. We verify that U_v^+(w) can be endowed with the structure of a quantum cluster algebra of type A_n. The quantum cluster algebra is a deformation of the ordinary cluster algebra Geiss-Leclerc-Schroeer attached to…
▽ More
The article concerns the subalgebra U_v^+(w) of the quantized universal envelo** algebra of the complex Lie algebra sl_{n+1} associated with a particular Weyl group element of length 2n. We verify that U_v^+(w) can be endowed with the structure of a quantum cluster algebra of type A_n. The quantum cluster algebra is a deformation of the ordinary cluster algebra Geiss-Leclerc-Schroeer attached to w using the representation theory of the preprojective algebra. Furthermore, we prove that the quantum cluster variables are, up to a power of v, elements in the dual of Lusztig's canonical basis under Kashiwara's bilinear form.
△ Less
Submitted 23 May, 2013; v1 submitted 3 January, 2011;
originally announced January 2011.
-
A quantum cluster algebra of Kronecker type and the dual canonical basis
Authors:
Philipp Lampe
Abstract:
The article concerns the dual of Lusztig's canonical basis of a subalgebra of the positive part U_q(n) of the universal envelo** algebra of a Kac-Moody Lie algebra of type A_1^{(1)}. The examined subalgebra is associated with a terminal module M over the path algebra of the Kronecker quiver via an Weyl group element w of length four.
Geiss-Leclerc-Schroeer attached to M a category C_M of nil…
▽ More
The article concerns the dual of Lusztig's canonical basis of a subalgebra of the positive part U_q(n) of the universal envelo** algebra of a Kac-Moody Lie algebra of type A_1^{(1)}. The examined subalgebra is associated with a terminal module M over the path algebra of the Kronecker quiver via an Weyl group element w of length four.
Geiss-Leclerc-Schroeer attached to M a category C_M of nilpotent modules over the preprojective algebra of the Kronecker quiver together with an acyclic cluster algebra A(C_M). The dual semicanonical basis contains all cluster monomials. By construction, the cluster algebra A(C_M) is a subalgebra of the graded dual of the (non-quantized) universal envelo** algebra U(n).
We transfer to the quantized setup. Following Lusztig we attach to w a subalgebra U_q^+(w) of U_q(n). The subalgebra is generated by four elements that satisfy straightening relations; it degenerates to a commutative algebra in the classical limit q=1. The algebra U_q^+(w) possesses four bases, a PBW basis, a canonical basis, and their duals. We prove recursions for dual canonical basis elements. The recursions imply that every cluster variable in A(C_M) is the specialization of the dual of an appropriate canonical basis element. Therefore, U_q^+(w) is a quantum cluster algebra in the sense of Berenstein-Zelevinsky. Furthermore, we give explicit formulae for the quantized cluster variables and for expansions of products of dual canonical basis elements.
△ Less
Submitted 19 February, 2010; v1 submitted 14 February, 2010;
originally announced February 2010.