-
Hacc-Man: An Arcade Game for Jailbreaking LLMs
Authors:
Matheus Valentim,
Jeanette Falk,
Nanna Inie
Abstract:
The recent leaps in complexity and fluency of Large Language Models (LLMs) mean that, for the first time in human history, people can interact with computers using natural language alone. This creates monumental possibilities of automation and accessibility of computing, but also raises severe security and safety threats: When everyone can interact with LLMs, everyone can potentially break into th…
▽ More
The recent leaps in complexity and fluency of Large Language Models (LLMs) mean that, for the first time in human history, people can interact with computers using natural language alone. This creates monumental possibilities of automation and accessibility of computing, but also raises severe security and safety threats: When everyone can interact with LLMs, everyone can potentially break into the systems running LLMs. All it takes is creative use of language. This paper presents Hacc-Man, a game which challenges its players to "jailbreak" an LLM: subvert the LLM to output something that it is not intended to. Jailbreaking is at the intersection between creative problem solving and LLM security. The purpose of the game is threefold: 1. To heighten awareness of the risks of deploying fragile LLMs in everyday systems, 2. To heighten people's self-efficacy in interacting with LLMs, and 3. To discover the creative problem solving strategies, people deploy in this novel context.
△ Less
Submitted 24 May, 2024;
originally announced May 2024.
-
Nucleation transitions in polycontextural networks towards consensus
Authors:
Johannes Falk,
Edwin Eichler,
Katja Windt,
Marc-Thorsten Hütt
Abstract:
Recently, we proposed polycontextural networks as a model of evolving systems of interacting beliefs. Here, we present an analysis of the phase transition as well as the scaling properties. The model contains interacting agents that strive for consensus, each with only subjective perception. Depending on a parameter that governs how responsive the agents are to changing their belief systems the mo…
▽ More
Recently, we proposed polycontextural networks as a model of evolving systems of interacting beliefs. Here, we present an analysis of the phase transition as well as the scaling properties. The model contains interacting agents that strive for consensus, each with only subjective perception. Depending on a parameter that governs how responsive the agents are to changing their belief systems the model exhibits a phase transition that mediates between an active phase where the agents constantly change their beliefs and a frozen phase, where almost no changes appear. We observe the build-up of convention-aligned clusters only in the intermediate regime of diverging susceptibility. Here, we analyze in detail the behavior of polycontextural networks close to this transition. We provide an analytical estimate of the critical point and show that the scaling properties and the space-time structure of these clusters show self-similar behavior. Our results not only contribute to a better understanding of the emergence of consensus in systems of distributed beliefs but also show that polycontextural networks are models, motivated by social systems, where susceptibility -- the sensitivity to change own beliefs -- drives the growth of consensus clusters.
△ Less
Submitted 25 April, 2024;
originally announced April 2024.
-
Exploring Multi-Reader Buffers and Channel Placement during Dataflow Network Map** to Heterogeneous Many-core Systems
Authors:
Martin Letras,
Joachim Falk,
Jürgen Teich
Abstract:
This paper presents an approach for reducing the memory requirements of dataflow applications, while minimizing the execution period when deployed on a many-core target. Often, straightforward implementations of dataflow applications suffer from data duplication if identical data has to be processed by multiple actors. In fact, multi-cast actors can produce huge memory overheads when storing and c…
▽ More
This paper presents an approach for reducing the memory requirements of dataflow applications, while minimizing the execution period when deployed on a many-core target. Often, straightforward implementations of dataflow applications suffer from data duplication if identical data has to be processed by multiple actors. In fact, multi-cast actors can produce huge memory overheads when storing and communicating copies of the same data. As a remedy, so-called Multi-Reader Buffers (MRBs) can be utilized to forward identical data to multiple actors in a FIFO manner while storing each data item only once. However, MRBs may increase the achievable period due to communication contention when accessing the shared data. A novel multi-objective design space exploration approach is proposed that selectively replaces multi-cast actors with MRBs and explores actor and FIFO channel map**s to find trade-offs between the objectives of period, memory footprint, and core cost. Our approach considers (i) memory-size constraints, (ii) hierarchical memories to implement the buffers, (iii) supports heterogeneous many-core platforms, and (iv) optimizes the buffer placement and overall scheduling to minimize the execution period by proposing a novel combined actor and communications scheduling heuristic for period minimization called CAPS-HMS. Our results show that the explored Pareto fronts improve a hypervolume indicator over a reference approach by up to 66 % for small to mid-size applications and 90 % for large applications. Moreover, selectively replacing multi-cast actors with corresponding MRBs proves to be always superior to never or always replacing them. Finally, it is shown that the quality of the explored Pareto fronts does not degrade when replacing the efficient scheduling heuristic CAPS-HMS by an exact integer linear programming (ILP) solver.
△ Less
Submitted 29 November, 2023;
originally announced November 2023.
-
Transfer learning for atomistic simulations using GNNs and kernel mean embeddings
Authors:
John Falk,
Luigi Bonati,
Pietro Novelli,
Michele Parrinello,
Massimiliano Pontil
Abstract:
Interatomic potentials learned using machine learning methods have been successfully applied to atomistic simulations. However, accurate models require large training datasets, while generating reference calculations is computationally demanding. To bypass this difficulty, we propose a transfer learning algorithm that leverages the ability of graph neural networks (GNNs) to represent chemical envi…
▽ More
Interatomic potentials learned using machine learning methods have been successfully applied to atomistic simulations. However, accurate models require large training datasets, while generating reference calculations is computationally demanding. To bypass this difficulty, we propose a transfer learning algorithm that leverages the ability of graph neural networks (GNNs) to represent chemical environments together with kernel mean embeddings. We extract a feature map from GNNs pre-trained on the OC20 dataset and use it to learn the potential energy surface from system-specific datasets of catalytic processes. Our method is further enhanced by incorporating into the kernel the chemical species information, resulting in improved performance and interpretability. We test our approach on a series of realistic datasets of increasing complexity, showing excellent generalization and transferability performance, and improving on methods that rely on GNNs or ridge regression alone, as well as similar fine-tuning approaches.
△ Less
Submitted 20 January, 2024; v1 submitted 2 June, 2023;
originally announced June 2023.
-
Designing Participatory AI: Creative Professionals' Worries and Expectations about Generative AI
Authors:
Nanna Inie,
Jeanette Falk,
Steven Tanimoto
Abstract:
Generative AI, i.e., the group of technologies that automatically generate visual or written content based on text prompts, has undergone a leap in complexity and become widely available within just a few years. Such technologies potentially introduce a massive disruption to creative fields. This paper presents the results of a qualitative survey ($N$ = 23) investigating how creative professionals…
▽ More
Generative AI, i.e., the group of technologies that automatically generate visual or written content based on text prompts, has undergone a leap in complexity and become widely available within just a few years. Such technologies potentially introduce a massive disruption to creative fields. This paper presents the results of a qualitative survey ($N$ = 23) investigating how creative professionals think about generative AI. The results show that the advancement of these AI models prompts important reflections on what defines creativity and how creatives imagine using AI to support their workflows. Based on these reflections, we discuss how we might design \textit{participatory AI} in the domain of creative expertise with the goal of empowering creative professionals in their present and future coexistence with AI.
△ Less
Submitted 15 March, 2023;
originally announced March 2023.
-
Structural insulators and promotors in networks under generic problem-solving dynamics
Authors:
Johannes Falk,
Edwin Eichler,
Katja Windt,
Marc-Thorsten Hütt
Abstract:
The collective coordination of distributed tasks in a complex system can be represented as decision dynamics on a graph. This abstract representation allows studying the performance of local decision heuristics as a function of task complexity and network architecture. Here we identify hard-to-solve and easy-to-solve networks in a social differentiation task within the basic model of small-world g…
▽ More
The collective coordination of distributed tasks in a complex system can be represented as decision dynamics on a graph. This abstract representation allows studying the performance of local decision heuristics as a function of task complexity and network architecture. Here we identify hard-to-solve and easy-to-solve networks in a social differentiation task within the basic model of small-world graphs. We show that, depending on the details of the decision heuristic as well as the length of the added links, shortcuts can serve as structural promotors, which speed up convergence towards a solution, but also as structural insulators, which make the network more difficult to solve. Our findings have implications for situations where, in distributed decision systems, regional solutions emerge, which are globally incompatible as for example during the emergence of technological standards.
△ Less
Submitted 25 April, 2024; v1 submitted 25 January, 2023;
originally announced January 2023.
-
The Future of Hackathon Research and Practice
Authors:
Jeanette Falk,
Alexander Nolte,
Daniela Huppenkothen,
Marion Weinzierl,
Kiev Gama,
Daniel Spikol,
Erik Tollerud,
Neil Chue Hong,
Ines Knäpper,
Linda Bailey Hayden
Abstract:
Hackathons are time-bounded collaborative events which have become a global phenomenon adopted by both researchers and practitioners in a plethora of contexts. Hackathon events are generally used to accelerate the development of, for example, scientific results and collaborations, communities, and innovative prototypes addressing urgent challenges. As hackathons have been adopted into many differe…
▽ More
Hackathons are time-bounded collaborative events which have become a global phenomenon adopted by both researchers and practitioners in a plethora of contexts. Hackathon events are generally used to accelerate the development of, for example, scientific results and collaborations, communities, and innovative prototypes addressing urgent challenges. As hackathons have been adopted into many different contexts, the events have also been adapted in numerous ways corresponding to the unique needs and situations of organizers, participants and other stakeholders. While these interdisciplinary adaptions, in general affords many advantages - such as tailoring the format to specific needs - they also entail certain challenges, specifically: 1) limited exchange of best practices, 2) limited exchange of research findings, and 3) larger overarching questions that require interdisciplinary collaboration are not discovered and remain unaddressed. We call for interdisciplinary collaborations to address these challenges. As a first initiative towards this, we performed an interdisciplinary collaborative analysis in the context of a workshop at the Lorentz Center, Leiden in December 2021. In this paper, we present the results of this analysis in terms of six important areas which we envision to contribute to maturing hackathon research and practice: 1) hackathons for different purposes, 2) socio-technical event design, 3) scaling up, 4) making hackathons equitable, 5) studying hackathons, and 6) hackathon goals and how to reach them. We present these areas in terms of the state of the art and research proposals and conclude the paper by suggesting next steps needed for advancing hackathon research and practice.
△ Less
Submitted 16 November, 2022;
originally announced November 2022.
-
Curiosity-driven search for novel non-equilibrium behaviors
Authors:
Martin J. Falk,
Finnegan D. Roach,
William Gilpin,
Arvind Murugan
Abstract:
Exploring the spectrum of novel behaviors a physical system can produce can be a labor-intensive task. Active learning is a collection of iterative sampling techniques developed in response to this challenge. However, these techniques often require a pre-defined metric, such as distance in a space of known order parameters, in order to guide the search for new behaviors. Order parameters are rarel…
▽ More
Exploring the spectrum of novel behaviors a physical system can produce can be a labor-intensive task. Active learning is a collection of iterative sampling techniques developed in response to this challenge. However, these techniques often require a pre-defined metric, such as distance in a space of known order parameters, in order to guide the search for new behaviors. Order parameters are rarely known for non-equilibrium systems a priori, especially when possible behaviors are also unknown, creating a chicken-and-egg problem. Here, we combine active and unsupervised learning for automated exploration of novel behaviors in non-equilibrium systems with unknown order parameters. We iteratively use active learning based on current order parameters to expand the library of known behaviors and then relearn order parameters based on this expanded library. We demonstrate the utility of this approach in Kuramoto models of coupled oscillators of increasing complexity. In addition to reproducing known phases, we also reveal previously unknown behavior and the related order parameter.
△ Less
Submitted 1 August, 2023; v1 submitted 4 November, 2022;
originally announced November 2022.
-
Learning to learn: Non-equilibrium design protocols for adaptable materials
Authors:
Martin J. Falk,
Jiayi Wu,
Ayanna Matthews,
Vedant Sachdeva,
Nidhi Pashine,
Margaret Gardel,
Sidney Nagel,
Arvind Murugan
Abstract:
Evolution in time-varying environments naturally leads to adaptable biological systems that can easily switch functionalities. Advances in the synthesis of environmentally-responsive materials therefore open up the possibility of creating a wide range of synthetic materials which can also be trained for adaptability. We consider high-dimensional inverse problems for materials where any particular…
▽ More
Evolution in time-varying environments naturally leads to adaptable biological systems that can easily switch functionalities. Advances in the synthesis of environmentally-responsive materials therefore open up the possibility of creating a wide range of synthetic materials which can also be trained for adaptability. We consider high-dimensional inverse problems for materials where any particular functionality can be realized by numerous equivalent choices of design parameters. By periodically switching targets in a given design algorithm, we can teach a material to perform incompatible functionalities with minimal changes in design parameters. We exhibit this learning strategy for adaptability in two simulated settings: elastic networks that are designed to switch deformation modes with minimal bond changes; and heteropolymers whose folding pathway selections are controlled by a minimal set of monomer affinities. The resulting designs can reveal physical principles, such as nucleation-controlled folding, that enable adaptability.
△ Less
Submitted 4 November, 2022;
originally announced November 2022.
-
Group Meritocratic Fairness in Linear Contextual Bandits
Authors:
Riccardo Grazzi,
Arya Akhavan,
John Isak Texas Falk,
Leonardo Cella,
Massimiliano Pontil
Abstract:
We study the linear contextual bandit problem where an agent has to select one candidate from a pool and each candidate belongs to a sensitive group. In this setting, candidates' rewards may not be directly comparable between groups, for example when the agent is an employer hiring candidates from different ethnic groups and some groups have a lower reward due to discriminatory bias and/or social…
▽ More
We study the linear contextual bandit problem where an agent has to select one candidate from a pool and each candidate belongs to a sensitive group. In this setting, candidates' rewards may not be directly comparable between groups, for example when the agent is an employer hiring candidates from different ethnic groups and some groups have a lower reward due to discriminatory bias and/or social injustice. We propose a notion of fairness that states that the agent's policy is fair when it selects a candidate with highest relative rank, which measures how good the reward is when compared to candidates from the same group. This is a very strong notion of fairness, since the relative rank is not directly observed by the agent and depends on the underlying reward model and on the distribution of rewards. Thus we study the problem of learning a policy which approximates a fair policy under the condition that the contexts are independent between groups and the distribution of rewards of each group is absolutely continuous. In particular, we design a greedy policy which at each round constructs a ridge regression estimate from the observed context-reward pairs, and then computes an estimate of the relative rank of each candidate using the empirical cumulative distribution function. We prove that, despite its simplicity and the lack of an initial exploration phase, the greedy policy achieves, up to log factors and with high probability, a fair pseudo-regret of order $\sqrt{dT}$ after $T$ rounds, where $d$ is the dimension of the context vectors. The policy also satisfies demographic parity at each round when averaged over all possible information available before the selection. Finally, we use simulated settings and experiments on the US census data to show that our policy achieves sub-linear fair pseudo-regret also in practice.
△ Less
Submitted 20 December, 2022; v1 submitted 7 June, 2022;
originally announced June 2022.
-
How Game Jams and Hackathons Accelerate Design Processes
Authors:
Jeanette Falk
Abstract:
This dissertation presents three years of research on how design processes in game jams and hackathons can be understood as accelerated. Hackathons and game jams can both be described as formats where participants engage in designing and develo** prototypes during an intentionally short time frame, such as 48 hours, which is meant to facilitate creativity, and encourage fast decision making and…
▽ More
This dissertation presents three years of research on how design processes in game jams and hackathons can be understood as accelerated. Hackathons and game jams can both be described as formats where participants engage in designing and develo** prototypes during an intentionally short time frame, such as 48 hours, which is meant to facilitate creativity, and encourage fast decision making and rapid prototy**. Game jams and hackathons are organised in many different contexts and for many different purposes as well, such as: internally in companies to spark new ideas; for fostering citizen innovation for municipalities; in cultural and governmental agencies; integral parts of education; entry points for developers wanting to enter especially the game industry (Olesen, 2020; Kultima, 2015). During the recent decade, game jams and hackathons have been introduced to academia as well, as formats for teaching and learning, and as research platforms as well. Only few research contributions engage with understanding how accelerated design processes in game jams and hackathons unfold, or how the organisation of game jam and hackathon formats influence these accelerated design processes.
The main contributions of my PhD project are: 1) Descriptive process-level knowledge, which contextualise and solidify how accelerated design processes unfold under the circumstances of a game jam and a hackathon. 2) Overviews of how game jams have been organised for supporting participants' creativity and of how hackathons have been used as means and as research focus within academia. 3) Exploring how game jam and hackathon formats may be organised in order to support knowledge generation such as within academia, and in order to support creativity.
△ Less
Submitted 11 May, 2022; v1 submitted 10 May, 2022;
originally announced May 2022.
-
Network location and clustering of genetic mutations determine chronicity in a stylized model of genetic diseases
Authors:
Piotr Nyczka,
Johannes Falk,
Marc-Thorsten Hütt
Abstract:
In a highly simplified view, a disease can be seen as the phenotype emerging from the interplay of genetic predisposition and fluctuating environmental stimuli. We formalize this situation in a minimal model, where a network (representing cellular regulation) serves as an interface between an input layer (representing environment) and an output layer (representing functional phenotype). Genetic pr…
▽ More
In a highly simplified view, a disease can be seen as the phenotype emerging from the interplay of genetic predisposition and fluctuating environmental stimuli. We formalize this situation in a minimal model, where a network (representing cellular regulation) serves as an interface between an input layer (representing environment) and an output layer (representing functional phenotype). Genetic predisposition for a disease is represented as a loss of function of some network nodes. Reduced, but non-zero, output indicates disease. The simplicity of this genetic disease model and its deep relationship to percolation theory allows us to understand the interplay between disease, network topology and the location and clusters of affected network nodes. We find that our model generates two different characteristics of diseases, which can be interpreted as chronic and acute diseases. In its stylized form, our model provides a new view on the relationship between genetic mutations and the type and severity of a disease.
△ Less
Submitted 26 April, 2022;
originally announced April 2022.
-
Physics is organized around transformations connecting contextures in a polycontextural world
Authors:
Johannes Falk,
Edwin Eichler,
Katja Windt,
Marc-Thorsten Hütt
Abstract:
The rich body of physical theories defines the foundation of our understanding of the world. Its mathematical formulation is based on classical Aristotelian (binary) logic. In the philosophy of science the ambiguities, paradoxes, and the possibility of subjective interpretations of facts have challenged binary logic, leading, among other developments, to Gotthard Günther's theory of polycontextura…
▽ More
The rich body of physical theories defines the foundation of our understanding of the world. Its mathematical formulation is based on classical Aristotelian (binary) logic. In the philosophy of science the ambiguities, paradoxes, and the possibility of subjective interpretations of facts have challenged binary logic, leading, among other developments, to Gotthard Günther's theory of polycontexturality (often also termed 'transclassical logic'). Günther's theory explains how observers with subjective perception can become aware of their own subjectivity and provides means to describe contradicting or even paradox observations in a logically sound formalism. Here we summarize the formalism behind Günther's theory and apply it to two well-known examples from physics where different observers operate in distinct and only locally valid logical systems. Using polycontextural logic we show how the emerging awareness of these limitations of logical systems entails the design of mathematical transformations, which then become an integral part of the theory. In our view, this approach offers a novel perspective on the structure of physical theories and, at the same time, emphasizes the relevance of the theory of polycontexturality in modern sciences.
△ Less
Submitted 7 April, 2022;
originally announced April 2022.
-
Collective patterns and stable misunderstandings in networks striving for consensus without a common value system
Authors:
Johannes Falk,
Edwin Eichler,
Katja Windt,
Marc-Thorsten Hütt
Abstract:
Collective phenomena in systems of interacting agents have helped us understand diverse social, ecological and biological observations. The corresponding explanations are challenged by incorrect information processing. In particular, the models typically assume a shared understanding of signals or a common truth or value system, i.e., an agreement of whether the measurement or perception of inform…
▽ More
Collective phenomena in systems of interacting agents have helped us understand diverse social, ecological and biological observations. The corresponding explanations are challenged by incorrect information processing. In particular, the models typically assume a shared understanding of signals or a common truth or value system, i.e., an agreement of whether the measurement or perception of information is `right' or `wrong'. It is an open question whether a collective consensus can emerge without these conditions. Here we introduce a model of interacting agents that strive for consensus, however, each with only a subjective perception of the world. Our communication model does not presuppose a definition of right or wrong and the actors can hence not distinguish between correct and incorrect observations. Depending on a single parameter that governs how responsive the agents are to changing their world-view we observe a transition between an unordered phase of individuals that are not able to communicate with each other and a phase of an emerging shared signalling framework. We find that there are two types of convention-aligned clusters: one, where all social actors in the cluster have the same set of conventions, and one, where neighbouring actors have different but compatible conventions (`stable misunderstandings').
△ Less
Submitted 7 April, 2022;
originally announced April 2022.
-
Learning to Control Active Matter
Authors:
Martin J Falk,
Vahid Alizadehyazdi,
Heinrich Jaeger,
Arvind Murugan
Abstract:
The study of active matter has revealed novel non-equilibrium collective behaviors, illustrating their potential as a new materials platform. However, most works treat active matter as unregulated systems with uniform microscopic energy input, which we refer to as activity. In contrast, functionality in biological materials results from regulating and controlling activity locally over space and ti…
▽ More
The study of active matter has revealed novel non-equilibrium collective behaviors, illustrating their potential as a new materials platform. However, most works treat active matter as unregulated systems with uniform microscopic energy input, which we refer to as activity. In contrast, functionality in biological materials results from regulating and controlling activity locally over space and time, as has only recently become experimentally possible for engineered active matter. Designing functionality requires navigation of the high dimensional space of spatio-temporal activity patterns, but brute force approaches are unlikely to be successful without system-specific intuition. Here, we apply reinforcement learning to the task of inducing net transport in a specific direction for a simulated system of Vicsek-like self-propelled disks using a spotlight that increases activity locally. The resulting time-varying patterns of activity learned exploit the distinct physics of the strong and weak coupling regimes. Our work shows how reinforcement learning can reveal physically interpretable protocols for controlling collective behavior in non-equilibrium systems.
△ Less
Submitted 6 October, 2021; v1 submitted 10 May, 2021;
originally announced May 2021.
-
Dynamic QoS-Aware Traffic Planning for Time-Triggered Flows in the Real-time Data Plane
Authors:
Jonathan Falk,
Heiko Geppert,
Frank Dürr,
Sukanya Bhowmik,
Kurt Rothermel
Abstract:
Many networked applications, e.g., in the domain of cyber-physical systems, require strict service guarantees, usually in the form of jitter and latency bounds, for time-triggered traffic flows. It is a notoriously hard problem to compute a network-wide traffic plan that satisfies these requirements, and dynamic changes in the flow set add even more challenges. Existing traffic-planning methods ar…
▽ More
Many networked applications, e.g., in the domain of cyber-physical systems, require strict service guarantees, usually in the form of jitter and latency bounds, for time-triggered traffic flows. It is a notoriously hard problem to compute a network-wide traffic plan that satisfies these requirements, and dynamic changes in the flow set add even more challenges. Existing traffic-planning methods are ill-suited for dynamic scenarios because they either suffer from high computational cost, can result in low network utilization, or provide no explicit guarantees when transitioning to a new traffic plan that incorporates new flows.
Therefore, we present a novel approach for dynamic traffic planning of time-triggered flows. Our conflict-graph based modeling of the traffic planning problem allows to reconfigure active flows to increase the network utilization, while also providing per-flow QoS guarantees during the transition to the new traffic plan. Additionally, we introduce a novel heuristic for computing the new traffic plans. Evaluations of our prototypical implementation show that we can efficiently compute new traffic plans in scenarios with hundreds of active flows for a wide range of scenarios.
△ Less
Submitted 30 June, 2022; v1 submitted 5 May, 2021;
originally announced May 2021.
-
Energy Minimization in DAG Scheduling on MPSoCs at Run-Time: Theory and Practice
Authors:
Bertrand Simon,
Joachim Falk,
Nicole Megow,
Jürgen Teich
Abstract:
Static (offline) techniques for map** applications given by task graphs to MPSoC systems often deliver overly pessimistic and thus suboptimal results w.r.t. exploiting time slack in order to minimize the energy consumption. This holds true in particular in case computation times of tasks may be workload-dependent and becoming known only at runtime or in case of conditionally executed tasks or sc…
▽ More
Static (offline) techniques for map** applications given by task graphs to MPSoC systems often deliver overly pessimistic and thus suboptimal results w.r.t. exploiting time slack in order to minimize the energy consumption. This holds true in particular in case computation times of tasks may be workload-dependent and becoming known only at runtime or in case of conditionally executed tasks or scenarios. This paper studies and quantitatively evaluates different classes of algorithms for scheduling periodic applications given by task graphs (i.e., DAGs) with precedence constraints and a global deadline on homogeneous MPSoCs purely at runtime on a per-instance base. We present and analyze algorithms providing provably optimal results as well as approximation algorithms with proven guarantees on the achieved energy savings. For problem instances taken from realistic embedded system benchmarks as well as synthetic scalable problems, we provide results on the computation time and quality of each algorithm to perform a) scheduling and b) voltage/speed assignments for each task at runtime. In our portfolio, we distinguish as well continuous and discrete speed (e.g., DVFS-related) assignment problems. In summary, the presented ties between theory (algorithmic complexity and optimality) and execution time analysis deliver important insights on the practical usability of the presented algorithms for runtime optimization of task scheduling and speed assignment on MPSoCs.
△ Less
Submitted 19 December, 2019;
originally announced December 2019.
-
On graphic arrangement groups
Authors:
Daniel C Cohen,
Michael J Falk
Abstract:
A finite simple graph $Γ$ determines a quotient $P_Γ$ of the pure braid group, called a graphic arrangement group. We analyze homomorphisms of these groups defined by deletion of sets of vertices, using methods developed in prior joint work with R. Randell. We show that, for a $K_4$-free graph $Γ$, a product of deletion maps is injective, embedding $P_Γ$ in a product of free groups. Then $P_Γ$ is…
▽ More
A finite simple graph $Γ$ determines a quotient $P_Γ$ of the pure braid group, called a graphic arrangement group. We analyze homomorphisms of these groups defined by deletion of sets of vertices, using methods developed in prior joint work with R. Randell. We show that, for a $K_4$-free graph $Γ$, a product of deletion maps is injective, embedding $P_Γ$ in a product of free groups. Then $P_Γ$ is residually free, torsion-free, residually torsion-free nilpotent, and acts properly on a CAT(0) cube complex. We also show $P_Γ$ is of homological finiteness type $F_{m-1}$, but not $F_m$, where $m$ is the number of copies of $K_3$ in $Γ$, except in trivial cases. The embedding result is extended to graphs whose 4-cliques share at most one edge, giving an injection of $P_Γ$ into the product of pure braid groups corresponding to maximal cliques of $Γ$. We give examples showing that this map may inject in more general circumstances. We define the graphic braid group $B_Γ$ as a natural extension of $P_Γ$ by the automorphism group of $Γ$, and extend our homological finiteness result to these groups.
△ Less
Submitted 20 August, 2019;
originally announced August 2019.
-
Adaptive Predictive Power Management for Mobile LTE Devices
Authors:
Peter Brand,
Joachim Falk,
Jonathan Ah Sue,
Johannes Brendel,
Ralph Hasholzner,
Jürgen Teich
Abstract:
Reducing the energy consumption of mobile phones is a crucial design goal for cellular modem solutions for LTE and 5G standards. In addition to improving the power efficiency of components through structural and technological advances, optimizing the energy efficiency through improved dynamic power management is an integral part in contemporary hardware design. Most techniques targeting mobile dev…
▽ More
Reducing the energy consumption of mobile phones is a crucial design goal for cellular modem solutions for LTE and 5G standards. In addition to improving the power efficiency of components through structural and technological advances, optimizing the energy efficiency through improved dynamic power management is an integral part in contemporary hardware design. Most techniques targeting mobile devices proposed so far, however, are purely reactive in powering down and up system components. Promising approaches extend this, by predicting and using information from the environment and the communication protocol to take proactive decisions. In this paper, we propose and compare two proactive algorithmic approaches for light-weight machine learning to predict the control information needed to allow a mobile device to go to sleep states more often, e.g., in time slots of transmission inactivity in a cell. The first approach is based on supervised learning, the second one based on reinforcement learning. As the implementation of learning techniques also creates energy and resource costs, both approaches are carefully evaluated not only in terms of prediction accuracy, but also overall energy savings. Using the presented technique, we observe achievable energy savings of up to 17%.
△ Less
Submitted 5 July, 2019;
originally announced July 2019.
-
Context in Synthetic Biology: Memory Effects of Environments with Mono-molecular Reactions
Authors:
Johannes Falk,
Leo Bronstein,
Maleen Hanst,
Barbara Drossel,
Heinz Koeppl
Abstract:
Synthetic biology aims at designing modular genetic circuits that can be assembled according to the desired function. When embedded in a cell, a circuit module becomes a small subnetwork within a larger environmental network, and its dynamics is therefore affected by potentially unknown interactions with the environment. It is well-known that the presence of the environment not only causes extrins…
▽ More
Synthetic biology aims at designing modular genetic circuits that can be assembled according to the desired function. When embedded in a cell, a circuit module becomes a small subnetwork within a larger environmental network, and its dynamics is therefore affected by potentially unknown interactions with the environment. It is well-known that the presence of the environment not only causes extrinsic noise but also memory effects, which means that the dynamics of the subnetwork is affected by its past states via a memory function that is characteristic of the environment. We study several generic scenarios for the coupling between a small module and a larger environment, with the environment consisting of a chain of mono-molecular reactions. By map** the dynamics of this coupled system onto random walks, we are able to give exact analytical expressions for the arising memory functions. Hence, our results give insights into the possible types of memory functions and thereby help to better predict subnetwork dynamics.
△ Less
Submitted 11 January, 2019; v1 submitted 25 September, 2018;
originally announced September 2018.
-
Analysis of stochastic bifurcations with phase portraits
Authors:
Marc Mendler,
Johannes Falk,
Barbara Drossel
Abstract:
We propose a method to obtain phase portraits for stochastic systems. Starting from the Fokker-Planck equation, we separate the dynamics into a convective and a diffusive part. We show that stable and unstable fixed points of the convective field correspond to maxima and minima of the stationary probability distribution if the probability current vanishes at these points. Stochastic phase portrait…
▽ More
We propose a method to obtain phase portraits for stochastic systems. Starting from the Fokker-Planck equation, we separate the dynamics into a convective and a diffusive part. We show that stable and unstable fixed points of the convective field correspond to maxima and minima of the stationary probability distribution if the probability current vanishes at these points. Stochastic phase portraits, which are vector plots of the convective field, therefore indicate the extrema of the stationary distribution and can be used to identify stochastic bifurcations that change the number and stability of these extrema. We show that limit cycles in stochastic phase portraits can indicate ridges of the probability distribution, and we identify a novel type of stochastic bifurcations, where the probability maximum moves to the edge of the system through a gap between the two nullclines of the convective field.
△ Less
Submitted 7 February, 2018;
originally announced February 2018.
-
Algebra and valuations related to the Tutte polynomial
Authors:
Michael J. Falk,
Joseph P. S. Kung
Abstract:
This is a chapter destined for the book "Handbook of the Tutte Polynomial". The chapter is a composite. The first part is a brief introduction to Orlik-Solomon algebras. The second part sketches the theory of evaluative functions on matroid base polytopes and in particular, the G-invariant (as the subject is known late 2015). A third very short section is on Hopf-algebra or coalgebra structures in…
▽ More
This is a chapter destined for the book "Handbook of the Tutte Polynomial". The chapter is a composite. The first part is a brief introduction to Orlik-Solomon algebras. The second part sketches the theory of evaluative functions on matroid base polytopes and in particular, the G-invariant (as the subject is known late 2015). A third very short section is on Hopf-algebra or coalgebra structures in Tutte polynomial theory.
△ Less
Submitted 23 November, 2017;
originally announced November 2017.
-
A Minimal Model of Burst-Noise Induced Bistability
Authors:
Johannes Falk,
Marc Mendler,
Barbara Drossel
Abstract:
We investigate the influence of intrinsic noise on stable states of a one-dimensional dynamical system that shows in its deterministic version a saddle-node bifurcation between monostable and bistable behaviour. The system is a modified version of the Schlögl model, which is a chemical reaction system with only one type of molecule. The strength of the intrinsic noise is varied without changing th…
▽ More
We investigate the influence of intrinsic noise on stable states of a one-dimensional dynamical system that shows in its deterministic version a saddle-node bifurcation between monostable and bistable behaviour. The system is a modified version of the Schlögl model, which is a chemical reaction system with only one type of molecule. The strength of the intrinsic noise is varied without changing the deterministic description by introducing bursts in the autocatalytic production step. We study the transitions between monostable and bistable behavior in this system by evaluating the number of maxima of the stationary probability distribution. We find that changing the size of bursts can destroy and even induce saddle-node bifurcations. This means that a bursty production of molecules can qualitatively change the dynamics of a chemical reaction system even when the deterministic description remains unchanged.
△ Less
Submitted 2 May, 2017; v1 submitted 19 December, 2016;
originally announced December 2016.
-
On the effect of the drive on self-organized criticality
Authors:
Marco Winkler,
Johannes Falk,
Wolfgang Kinzel
Abstract:
The well known Sandpile model of self-organized criticality generates avalanches of all length and time scales, without tuning any parameters. In the original models the external drive is randomly selected. Here we investigate a drive which depends on the present state of the system, namely the effect of favoring sites with a certain height in the deposition process. If sites with height three are…
▽ More
The well known Sandpile model of self-organized criticality generates avalanches of all length and time scales, without tuning any parameters. In the original models the external drive is randomly selected. Here we investigate a drive which depends on the present state of the system, namely the effect of favoring sites with a certain height in the deposition process. If sites with height three are favored, the system stays in a critical state. Our numerical results indicate the same universality class as the original model with random depositition, although the stationary state is approached very differently. In constrast, when favoring sites with height two, only avalanches which cover the entire system occur. Furthermore, we investigate the distributions of sites with a certain height, as well as the transient processes of the different variants of the external drive.
△ Less
Submitted 18 March, 2015; v1 submitted 21 October, 2014;
originally announced October 2014.
-
An equivariant discrete model for complexified arrangement complements
Authors:
Emanuele Delucchi,
Michael J. Falk
Abstract:
We define a partial ordering on the set Q = Q(M) of pairs of topes of an oriented matroid M, and show the geometric realization |Q| of the order complex of Q has the same homotopy type as the Salvetti complex of M. For any element e of the ground set, the complex |Qe| associated to the rank-one oriented matroid on {e} has the homotopy type of the circle. There is a natural free simplicial action o…
▽ More
We define a partial ordering on the set Q = Q(M) of pairs of topes of an oriented matroid M, and show the geometric realization |Q| of the order complex of Q has the same homotopy type as the Salvetti complex of M. For any element e of the ground set, the complex |Qe| associated to the rank-one oriented matroid on {e} has the homotopy type of the circle. There is a natural free simplicial action of Z4 on |Q|, with orbit space isomorphic to the order complex of the poset Q(M,e) associated to the pointed (or affine) oriented matroid (M,e). If M is the oriented matroid of an arrangement A of linear hyperplanes in real space, the Z_4 action corresponds to the diagonal action of C* on the complement M of the complexification of A: |Q| is equivariantly homotopy-equivalent to M under the identification of Z_4 with {+1, i, -1, -i}, and |Q(M, e)| is homotopy-equivalent to the complement of the decone of A relative to the hyperplane corresponding to e. All constructions and arguments are carried out at the level of the underlying posets. If a group G acts on the set of topes of M preserving adjacency, then G acts simplicially on |Q|. We also show that the class of fundamental groups of such complexes is strictly larger than the class of fundamental groups of complements of complex hyperplane arrangements. Specifically, the group of the non-Pappus arrange- ment is not isomorphic to any realizable arrangement group.
△ Less
Submitted 1 May, 2013;
originally announced May 2013.
-
The contravariant form on singular vectors of a projective arrangement
Authors:
Michael J. Falk,
Alexander N. Varchenko
Abstract:
We define the flag space and space of singular vectors for an arrangement A of hyperplanes in projective space equipped with a system of weights a: A --> C. We show that the contravariant bilinear form of the corresponding weighted central arrangement induces a well-defined form on the space of singular vectors of the projectivization. If the sum of the weights a(H), H in A, is zero, then this for…
▽ More
We define the flag space and space of singular vectors for an arrangement A of hyperplanes in projective space equipped with a system of weights a: A --> C. We show that the contravariant bilinear form of the corresponding weighted central arrangement induces a well-defined form on the space of singular vectors of the projectivization. If the sum of the weights a(H), H in A, is zero, then this form is naturally isomorphic to the restriction to the space of singular vectors of the contravariant form of any affine arrangement obtained from A by dehomogenizing with respect to one of its hyperplanes.
△ Less
Submitted 18 August, 2011;
originally announced August 2011.
-
Discriminantal bundles, arrangement groups, and subdirect products of free groups
Authors:
Daniel C. Cohen,
Michael J. Falk,
Richard C. Randell
Abstract:
We construct bundles $E_k(\A,\F) \to M$ over the complement $M$ of a complex hyperplane arrangement \A, depending on an integer $k \geq 1$ and a set $\F=\{f_1, \ldots, f_μ\}$ of continuous functions $f_i \colon M \to \C$ whose differences are nonzero on $M$, generalizing the configuration space bundles arising in the Lawrence-Krammer-Bigelow representation of the pure braid group. We display such…
▽ More
We construct bundles $E_k(\A,\F) \to M$ over the complement $M$ of a complex hyperplane arrangement \A, depending on an integer $k \geq 1$ and a set $\F=\{f_1, \ldots, f_μ\}$ of continuous functions $f_i \colon M \to \C$ whose differences are nonzero on $M$, generalizing the configuration space bundles arising in the Lawrence-Krammer-Bigelow representation of the pure braid group. We display such families \F\ for rank two arrangements, reflection arrangements of types $A_\ell$, $B_\ell$, $D_\ell$, $F_4$, and for arrangements supporting multinet structures with three classes, with the resulting bundles having nontrivial monodromy around each hyperplane. The construction extends to arbitrary arrangements by pulling back these bundles along products of inclusions arising from subarrangements of these types.
We then consider the faithfulness of the resulting representations of the arrangement group $π_1(M)$. We describe the kernel of the product $ρ_\X \colon G \to \prod_{S \in \X} G_S$ of homomorphisms of a finitely-generated group $G$ onto quotient groups $G_S$ determined by a family \X\ of subsets of a fixed set of generators of $G$, extending a result of T.~Stanford about Brunnian braids. When the projections $G \to G_S$ split in a compatible way, we show the image of $ρ_\X$ is normal with free abelian quotient, and identify the cohomological finiteness type of $G$. These results apply to some well-studied arrangements, implying several qualitative and residual properties of $π_1(M)$, including an alternate proof of a result of Artal, Cogolludo, and Matei on arrangement groups and Bestvina-Brady groups, and a dichotomy for a decomposable arrangement \A: either $π_1(M)$ has a conjugation-free presentation or it is not residually nilpotent.
△ Less
Submitted 14 May, 2020; v1 submitted 2 August, 2010;
originally announced August 2010.
-
Parallel connections and bundles of arrangements
Authors:
Michael J. Falk,
Nicholas J. Proudfoot
Abstract:
Let \A be a complex hyperplane arrangement, and let $X$ be a modular element of arbitrary rank in the intersection lattice of \A. We show that projection along $X$ restricts to a fiber bundle projection of the complement of \A to the complement of the localization $\A_X$ of \A at $X$. The fiber is the decone of a realization of the complete principal truncation of the underlying matroid of \A al…
▽ More
Let \A be a complex hyperplane arrangement, and let $X$ be a modular element of arbitrary rank in the intersection lattice of \A. We show that projection along $X$ restricts to a fiber bundle projection of the complement of \A to the complement of the localization $\A_X$ of \A at $X$. The fiber is the decone of a realization of the complete principal truncation of the underlying matroid of \A along the flat corresponding to $X$. This result gives a topological realization of results of Stanley, Brylawsky, and Terao on modular factorization. We show that (generalized) parallel connection of matroids corresponds to pullback of fiber bundles, clarifying the notion that all examples of diffeomorphisms of complements of inequivalent arrangements result from the triviality of the restriction of the Hopf bundle to the complement of a hyperplane. The modular fibration result also yields a new method for identifying $K(π,1)$ arrangements of rank greater than three. We identify a new families of $K(π,1)$ arrangements, providing more evidence for the conjecture that factored arrangements of arbitrary rank are $K(π,1)$.
△ Less
Submitted 18 July, 2000; v1 submitted 11 February, 2000;
originally announced February 2000.