-
Fast reconstruction of degenerate populations of conductance-based neuron models from spike times
Authors:
Julien Brandoit,
Damien Ernst,
Guillaume Drion,
Arthur Fyon
Abstract:
Neurons communicate through spikes, and spike timing is a crucial part of neuronal processing. Spike times can be recorded experimentally both intracellularly and extracellularly, and are the main output of state-of-the-art neural probes. On the other hand, neuronal activity is controlled at the molecular level by the currents generated by many different transmembrane proteins called ion channels.…
▽ More
Neurons communicate through spikes, and spike timing is a crucial part of neuronal processing. Spike times can be recorded experimentally both intracellularly and extracellularly, and are the main output of state-of-the-art neural probes. On the other hand, neuronal activity is controlled at the molecular level by the currents generated by many different transmembrane proteins called ion channels. Connecting spike timing to ion channel composition remains an arduous task to date. To address this challenge, we developed a method that combines deep learning with a theoretical tool called Dynamic Input Conductances (DICs), which reduce the complexity of ion channel interactions into three interpretable components describing how neurons spike. Our approach uses deep learning to infer DICs directly from spike times and then generates populations of "twin" neuron models that replicate the observed activity while capturing natural variability in membrane channel composition. The method is fast, accurate, and works using only spike recordings. We also provide open-source software with a graphical interface, making it accessible to researchers without programming expertise.
△ Less
Submitted 16 September, 2025;
originally announced September 2025.
-
Impartial removing games on grid graphs
Authors:
Bret J. Benesh,
Dana C. Ernst,
Marie Meyer,
Sarah K. Salmon,
Nandor Sieben
Abstract:
A subset of the vertex set of a graph is geodetically convex if it contains every vertex on any shortest path between two elements of the subset. The convex hull of a set of vertices is the smallest convex set containing the set. We study two games in which two players take turns selecting vertices of a graph until the convex hull of the remaining unselected vertices is too small. The last player…
▽ More
A subset of the vertex set of a graph is geodetically convex if it contains every vertex on any shortest path between two elements of the subset. The convex hull of a set of vertices is the smallest convex set containing the set. We study two games in which two players take turns selecting vertices of a graph until the convex hull of the remaining unselected vertices is too small. The last player to move is the winner. The achievement game ends when the convex hull of the unselected vertices does not contain every vertex in the graph. In the avoidance game, the convex hull of the remaining vertices must contain every vertex. We determine the nim-number of these games for the family of grid graphs. We also provide some results for lattice graphs. Key tools in this analysis are delayed gamegraphs, option preserving maps, and case analysis diagrams.
△ Less
Submitted 13 May, 2025;
originally announced May 2025.
-
Isomorphism Theorems for Impartial Combinatorial Games
Authors:
Mikhail Baltushkin,
Dana C. Ernst,
Nándor Sieben
Abstract:
We introduce the category of optiongraphs and option preserving maps as a model to study impartial combinatorial games. Outcomes, remoteness, and extended nim-values are preserved under option preserving maps. We show that the four isomorphism theorems from universal algebra are valid in this category. Quotient optiongraphs, including the minimum quotient, provide simplifications that can help in…
▽ More
We introduce the category of optiongraphs and option preserving maps as a model to study impartial combinatorial games. Outcomes, remoteness, and extended nim-values are preserved under option preserving maps. We show that the four isomorphism theorems from universal algebra are valid in this category. Quotient optiongraphs, including the minimum quotient, provide simplifications that can help in the analysis of games.
△ Less
Submitted 7 May, 2025;
originally announced May 2025.
-
Investigating the Monte-Carlo Tree Search Approach for the Job Shop Scheduling Problem
Authors:
Laurie Boveroux,
Damien Ernst,
Quentin Louveaux
Abstract:
The Job Shop Scheduling Problem (JSSP) is a well-known optimization problem in manufacturing, where the goal is to determine the optimal sequence of jobs across different machines to minimize a given objective. In this work, we focus on minimising the weighted sum of job completion times. We explore the potential of Monte Carlo Tree Search (MCTS), a heuristic-based reinforcement learning technique…
▽ More
The Job Shop Scheduling Problem (JSSP) is a well-known optimization problem in manufacturing, where the goal is to determine the optimal sequence of jobs across different machines to minimize a given objective. In this work, we focus on minimising the weighted sum of job completion times. We explore the potential of Monte Carlo Tree Search (MCTS), a heuristic-based reinforcement learning technique, to solve large-scale JSSPs, especially those with recirculation. We propose several Markov Decision Process (MDP) formulations to model the JSSP for the MCTS algorithm. In addition, we introduce a new synthetic benchmark derived from real manufacturing data, which captures the complexity of large, non-rectangular instances often encountered in practice. Our experimental results show that MCTS effectively produces good-quality solutions for large-scale JSSP instances, outperforming our constraint programming approach.
△ Less
Submitted 29 January, 2025;
originally announced January 2025.
-
Efficient LP warmstarting for linear modifications of the constraint matrix
Authors:
Guillaume Derval,
Bardhyl Miftari,
Damien Ernst,
Quentin Louveaux
Abstract:
We consider the problem of computing the optimal solution and objective of a linear program under linearly changing linear constraints. More specifically, we want to compute the optimal solution of a linear optimization where the constraint matrix linearly depends on a paramater that can take p different values. Based on the information given by a precomputed basis, we present three efficient LP w…
▽ More
We consider the problem of computing the optimal solution and objective of a linear program under linearly changing linear constraints. More specifically, we want to compute the optimal solution of a linear optimization where the constraint matrix linearly depends on a paramater that can take p different values. Based on the information given by a precomputed basis, we present three efficient LP warm-starting algorithms. Each algorithm is either based on the eigenvalue decomposition, the Schur decomposition, or a tweaked eigenvalue decomposition to evaluate the optimal solution and optimal objective of these problems. The three algorithms have an overall complexity O(m^3 + pm^2) where m is the number of constraints of the original problem and p the number of values of the parameter that we want to evaluate. We also provide theorems related to the optimality conditions to verify when a basis is still optimal and a local bound on the objective.
△ Less
Submitted 7 January, 2025;
originally announced January 2025.
-
Hardware Trends Impacting Floating-Point Computations In Scientific Applications
Authors:
Jack Dongarra,
John Gunnels,
Harun Bayraktar,
Azzam Haidar,
Dan Ernst
Abstract:
The evolution of floating-point computation has been shaped by algorithmic advancements, architectural innovations, and the increasing computational demands of modern technologies, such as artificial intelligence (AI) and high-performance computing (HPC). This paper examines the historical progression of floating-point computation in scientific applications and contextualizes recent trends driven…
▽ More
The evolution of floating-point computation has been shaped by algorithmic advancements, architectural innovations, and the increasing computational demands of modern technologies, such as artificial intelligence (AI) and high-performance computing (HPC). This paper examines the historical progression of floating-point computation in scientific applications and contextualizes recent trends driven by AI, particularly the adoption of reduced-precision floating-point types. The challenges posed by these trends, including the trade-offs between performance, efficiency, and precision, are discussed, as are innovations in mixed-precision computing and emulation algorithms that offer solutions to these challenges. This paper also explores architectural shifts, including the role of specialized and general-purpose hardware, and how these trends will influence future advancements in scientific computing, energy efficiency, and system design.
△ Less
Submitted 20 December, 2024; v1 submitted 18 November, 2024;
originally announced November 2024.
-
Sensitivity analysis for linear changes of the constraint matrix of a linear program
Authors:
Bardhyl Miftari,
Quentin Louveaux,
Damien Ernst,
Guillaume Derval
Abstract:
Understanding the variation of the optimal value with respect to change in the data is an old problem of mathematical optimisation. This paper focuses on the linear problem $f(λ) = \min c^t x$ such that $(A+λD)x \leq b$, where $λ$ is an unknown parameter that varies within an interval and $D$ is a matrix modifying the coefficients of the constraint matrix $A$. This problem is used to analyse the i…
▽ More
Understanding the variation of the optimal value with respect to change in the data is an old problem of mathematical optimisation. This paper focuses on the linear problem $f(λ) = \min c^t x$ such that $(A+λD)x \leq b$, where $λ$ is an unknown parameter that varies within an interval and $D$ is a matrix modifying the coefficients of the constraint matrix $A$. This problem is used to analyse the impact of multiple affine changes in the constraint matrix on the objective function. The function $f(λ)$ can have an erratic behaviour and computing it for a large number of points is computationally heavy while not providing any guarantees in between the computed points. As a new approach to the problem, we derive several bounding methods that provide guarantees on the objective function's behaviour. Those guarantees can be exploited to avoid recomputing the problem for numerous $λ$. The bounding methods are based on approaches from robust optimisation or Lagrangian relaxations. For each approach, we derive three methods of increasing complexity and precision, one that provides constant bounds, one that provides $λ$-dependant bounds and envelope bounds. We assess each bounding method in terms of precision, availability and timing. We show that for a large number of problems, the bound approach outperforms the naive sampling approach considered with 100 points while still providing a good precision and stronger guarantees on a large dataset of problems. We also introduce an iterative algorithm that uses these bounds to compute an approximation of the original function within a given error threshold and discuss its performances.
△ Less
Submitted 13 November, 2024; v1 submitted 18 October, 2024;
originally announced October 2024.
-
Braid graphs in simply-laced triangle-free Coxeter systems are median
Authors:
Jillian Barnes,
Jadyn V. Breland,
Dana C. Ernst,
Ruth Perry
Abstract:
Any two reduced expressions for the same Coxeter group element are related by a sequence of commutation and braid moves. Two reduced expressions are said to be braid equivalent if they are related via a sequence of braid moves. Braid equivalence is an equivalence relation and the corresponding equivalence classes are called braid classes. Each braid class can be encoded in terms of a braid graph i…
▽ More
Any two reduced expressions for the same Coxeter group element are related by a sequence of commutation and braid moves. Two reduced expressions are said to be braid equivalent if they are related via a sequence of braid moves. Braid equivalence is an equivalence relation and the corresponding equivalence classes are called braid classes. Each braid class can be encoded in terms of a braid graph in a natural way. In a recent paper, Awik et al.~proved that when a Coxeter system is simply laced and triangle free (i.e., the corresponding Coxeter graph has no three-cycles), the braid graph for a reduced expression is a partial cube (i.e., isometric to a subgraph of a hypercube). In this paper, we will provide an alternate proof of this fact, as well as determine the minimal dimension hypercube into which a braid graph can be isometrically embedded, which addresses an open question posed by Awik et al. For our main result, we prove that braid graphs in simply-laced triangle-free Coxeter systems are median, which is a strengthening of previous results.
△ Less
Submitted 29 August, 2024;
originally announced August 2024.
-
Pattern-avoiding Cayley permutations via combinatorial species
Authors:
Anders Claesson,
Giulio Cerbai,
Dana C. Ernst,
Hannah Golab
Abstract:
A Cayley permutation is a word of positive integers such that if a letter appears in this word, then all positive integers smaller than that letter also appear. We initiate a systematic study of pattern avoidance on Cayley permutations adopting a combinatorial species approach. Our methods lead to species equations, generating series, and counting formulas for Cayley permutations avoiding any patt…
▽ More
A Cayley permutation is a word of positive integers such that if a letter appears in this word, then all positive integers smaller than that letter also appear. We initiate a systematic study of pattern avoidance on Cayley permutations adopting a combinatorial species approach. Our methods lead to species equations, generating series, and counting formulas for Cayley permutations avoiding any pattern of length at most three. We also introduce the species of primitive structures as a generalization of Cayley permutations with no "flat steps". Finally, we explore various notions of Wilf equivalence arising in this context.
△ Less
Submitted 28 July, 2024;
originally announced July 2024.
-
Categories of impartial rulegraphs and gamegraphs
Authors:
Bojan Bašić,
Paul Ellis,
Dana C. Ernst,
Danijela Popović,
Nándor Sieben
Abstract:
The traditional mathematical model for an impartial combinatorial game is defined recursively as a set of the options of the game, where the options are games themselves. We propose a model called gamegraph, together with its generalization rulegraph, based on the natural description of a game as a digraph where the vertices are positions and the arrows represent possible moves. Such digraphs form…
▽ More
The traditional mathematical model for an impartial combinatorial game is defined recursively as a set of the options of the game, where the options are games themselves. We propose a model called gamegraph, together with its generalization rulegraph, based on the natural description of a game as a digraph where the vertices are positions and the arrows represent possible moves. Such digraphs form a category where the morphisms are option preserving maps. We study several versions of this category. Our development includes congruence relations, quotients, and isomorphism theorems and is analogous to the corresponding notions in universal algebra. The quotient by the maximum congruence relation produces an object that is essentially equivalent to the traditional model. After the development of the general theory, we count the number of non-isomorphic gamegraphs and rulegraphs by formal birthday and the number of positions.
△ Less
Submitted 3 November, 2024; v1 submitted 1 December, 2023;
originally announced December 2023.
-
Synthetic methane for closing the carbon loop: Comparative study of three carbon sources for remote carbon-neutral fuel synthetization
Authors:
Michaël Fonder,
Pierre Counotte,
Victor Dachet,
Jehan de Séjournet,
Damien Ernst
Abstract:
Achieving carbon neutrality is probably one of the most important challenges of the 21st century for our societies. Part of the solution to this challenge is to leverage renewable energies. However, these energy sources are often located far away from places that need the energy, and their availability is intermittent, which makes them challenging to work with. In this paper, we build upon the con…
▽ More
Achieving carbon neutrality is probably one of the most important challenges of the 21st century for our societies. Part of the solution to this challenge is to leverage renewable energies. However, these energy sources are often located far away from places that need the energy, and their availability is intermittent, which makes them challenging to work with. In this paper, we build upon the concept of Remote Renewable Energy Hubs (RREHs), which are hubs located at remote places with abundant renewable energy sources whose purpose is to produce carbon-neutral synthetic fuels. More precisely, we model and study the Energy Supply Chain (ESC) that would be required to provide a constant source of carbon-neutral synthetic methane, also called e-NG (electric Natural Gas) or e-methane (electric methane), in Belgium from an RREH located in Morocco. To be carbon neutral, a synthetic fuel has to be produced from existing carbon dioxide (CO2) that needs to be captured using either Direct Air Capture (DAC) or Post Combustion Carbon Capture (PCCC). In this work, we detail the impact of three different carbon sourcing configurations on the price of the e-methane delivered in Belgium. Our results show that sourcing CO2 through a combination of DAC and PCCC is more cost-effective, resulting in a cost of 146 e/MWh for e-methane delivered in Belgium, as opposed to relying solely on DAC, which leads to a cost of 158 e/MWh. Moreover, these scenarios are compared to a scenario where CO2 is captured in Morocco from a CO2 emitting asset that allows to deliver e-methane for a cost of 136 e/MWh.
△ Less
Submitted 12 January, 2024; v1 submitted 3 October, 2023;
originally announced October 2023.
-
Impartial geodetic building games on graphs
Authors:
Bret J. Benesh,
Dana C. Ernst,
Marie Meyer,
Sarah Salmon,
Nandor Sieben
Abstract:
A subset of the vertex set of a graph is geodetically convex if it contains every vertex on any shortest path between two elements of the set. The convex hull of a set of vertices is the smallest convex set containing the set. We study variations of two games introduced by Buckley and Harary, where two players take turns selecting previously-unselected vertices of a graph until the convex hull of…
▽ More
A subset of the vertex set of a graph is geodetically convex if it contains every vertex on any shortest path between two elements of the set. The convex hull of a set of vertices is the smallest convex set containing the set. We study variations of two games introduced by Buckley and Harary, where two players take turns selecting previously-unselected vertices of a graph until the convex hull of the jointly-selected vertices becomes too large. The last player to move is the winner. The achievement game ends when the convex hull contains every vertex. In the avoidance game, the convex hull is not allowed to contain every vertex. We determine the nim-value of these games for several graph families.
△ Less
Submitted 15 October, 2024; v1 submitted 13 July, 2023;
originally announced July 2023.
-
Policy Gradient Algorithms Implicitly Optimize by Continuation
Authors:
Adrien Bolland,
Gilles Louppe,
Damien Ernst
Abstract:
Direct policy optimization in reinforcement learning is usually solved with policy-gradient algorithms, which optimize policy parameters via stochastic gradient ascent. This paper provides a new theoretical interpretation and justification of these algorithms. First, we formulate direct policy optimization in the optimization by continuation framework. The latter is a framework for optimizing nonc…
▽ More
Direct policy optimization in reinforcement learning is usually solved with policy-gradient algorithms, which optimize policy parameters via stochastic gradient ascent. This paper provides a new theoretical interpretation and justification of these algorithms. First, we formulate direct policy optimization in the optimization by continuation framework. The latter is a framework for optimizing nonconvex functions where a sequence of surrogate objective functions, called continuations, are locally optimized. Second, we show that optimizing affine Gaussian policies and performing entropy regularization can be interpreted as implicitly optimizing deterministic policies by continuation. Based on these theoretical results, we argue that exploration in policy-gradient algorithms consists in computing a continuation of the return of the policy at hand, and that the variance of policies should be history-dependent functions adapted to avoid local extrema rather than to maximize the return of the policy.
△ Less
Submitted 21 October, 2023; v1 submitted 11 May, 2023;
originally announced May 2023.
-
Towards CO2 valorization in a multi remote renewable energy hub framework
Authors:
Victor Dachet,
Amina Benzerga,
Raphaël Fonteneau,
Damien Ernst
Abstract:
In this paper, we propose a multi-RREH (Remote Renewable Energy Hub) based optimization framework. This framework allows a valorization of CO2 using carbon capture technologies. This valorization is grounded on the idea that CO2 gathered from the atmosphere or post combustion can be combined with hydrogen to produce synthetic methane. The hydrogen is obtained from water electrolysis using renewabl…
▽ More
In this paper, we propose a multi-RREH (Remote Renewable Energy Hub) based optimization framework. This framework allows a valorization of CO2 using carbon capture technologies. This valorization is grounded on the idea that CO2 gathered from the atmosphere or post combustion can be combined with hydrogen to produce synthetic methane. The hydrogen is obtained from water electrolysis using renewable energy (RE). Such renewable energy is generated in RREHs, which are locations where RE is cheap and abundant (e.g., solar PV in the Sahara Desert, or wind in Greenland). We instantiate our framework on a case study focusing on Belgium and 2 RREHs, and we conduct a techno-economic analysis. This analysis highlights the key role played by the cost of the two main carbon capture technologies: Post Combustion Carbon Capture (PCCC) and Direct Air Capture (DAC). In addition, we use our framework to derive a carbon price threshold above which carbon capture technologies may start playing a pivotal role in the decarbonation process of our industries. For example, this price threshold may give relevant information for calibrating the EU Emission Trading System so as to trigger the emergence of the multi-RREH.
△ Less
Submitted 17 July, 2023; v1 submitted 14 March, 2023;
originally announced March 2023.
-
Multi-objective near-optimal necessary conditions for multi-sectoral planning
Authors:
Antoine Dubois,
Jonathan Dumas,
Paolo Thiran,
Gauthier Limpens,
Damien Ernst
Abstract:
This paper extends the concepts of epsilon-optimal spaces and necessary conditions for near-optimality from single-objective to multi-objective optimisation. These notions are first presented for single-objective optimisation, and the mathematical formulation is adapted to address the multi-objective framework. Afterwards, we illustrate the newly developed methodology by conducting multi-sectoral…
▽ More
This paper extends the concepts of epsilon-optimal spaces and necessary conditions for near-optimality from single-objective to multi-objective optimisation. These notions are first presented for single-objective optimisation, and the mathematical formulation is adapted to address the multi-objective framework. Afterwards, we illustrate the newly developed methodology by conducting multi-sectoral planning of the Belgian energy system with an open-source model called EnergyScope TD. The cost and energy invested in the system are used as objectives. Optimal and efficient solutions for these two objectives are computed and analysed. These results are then used to obtain necessary conditions corresponding to the minimum amount of energy from different sets of resources, including endogenous and exogenous resources. This case study highlights the high dependence of Belgium on imported energy while demonstrating that no individual resource is essential on its own.
△ Less
Submitted 24 February, 2023;
originally announced February 2023.
-
Computing Necessary Conditions for Near-Optimality in Capacity Expansion Planning Problems
Authors:
Antoine Dubois,
Damien Ernst
Abstract:
In power systems, large-scale optimisation problems are extensively used to plan for capacity expansion at the supra-national level. However, their cost-optimal solutions are often not exploitable by decision-makers who are preferably looking for features of solutions that can accommodate their different requirements. This paper proposes a generic framework for addressing this problem. It is based…
▽ More
In power systems, large-scale optimisation problems are extensively used to plan for capacity expansion at the supra-national level. However, their cost-optimal solutions are often not exploitable by decision-makers who are preferably looking for features of solutions that can accommodate their different requirements. This paper proposes a generic framework for addressing this problem. It is based on the concept of the epsilon-optimal feasible space of a given optimisation problem and the identification of necessary conditions over this space. This framework has been developed in a generic case, and an approach for solving this problem is subsequently described for a specific case where conditions are constrained sums of variables. The approach is tested on a case study about capacity expansion planning of the European electricity network to determine necessary conditions on the minimal investments in transmission, storage and generation capacity.
△ Less
Submitted 31 May, 2022; v1 submitted 29 September, 2021;
originally announced September 2021.
-
Braid graphs in simply-laced triangle-free Coxeter systems are partial cubes
Authors:
Fadi Awik,
Jadyn Breland,
Quentin Cadman,
Dana C. Ernst
Abstract:
In this paper, we study the structure of braid graphs in simply-laced Coxeter systems. We prove that every reduced expression has a unique factorization as a product of so-called links, which in turn induces a decomposition of the braid graph into a box product of the braid graphs for each link factor. When the Coxeter graph has no three-cycles, we use the decomposition to prove that braid graphs…
▽ More
In this paper, we study the structure of braid graphs in simply-laced Coxeter systems. We prove that every reduced expression has a unique factorization as a product of so-called links, which in turn induces a decomposition of the braid graph into a box product of the braid graphs for each link factor. When the Coxeter graph has no three-cycles, we use the decomposition to prove that braid graphs are partial cubes, i.e., can be isometrically embedded into a hypercube. For a special class of links, called Fibonacci links, we prove that the corresponding braid graphs are Fibonacci cubes.
△ Less
Submitted 5 September, 2024; v1 submitted 25 April, 2021;
originally announced April 2021.
-
The spectrum of nim-values for achievement games for generating finite groups
Authors:
Bret J. Benesh,
Dana C. Ernst,
Nandor Sieben
Abstract:
We study an impartial achievement game introduced by Anderson and Harary. The game is played by two players who alternately select previously unselected elements of a finite group. The game ends when the jointly selected elements generate the group. The last player able to make a move is the winner of the game. We prove that the spectrum of nim-values of these games is $\{0,1,2,3,4\}$. This positi…
▽ More
We study an impartial achievement game introduced by Anderson and Harary. The game is played by two players who alternately select previously unselected elements of a finite group. The game ends when the jointly selected elements generate the group. The last player able to make a move is the winner of the game. We prove that the spectrum of nim-values of these games is $\{0,1,2,3,4\}$. This positively answers two conjectures from a previous paper by the last two authors.
△ Less
Submitted 13 July, 2023; v1 submitted 19 April, 2020;
originally announced April 2020.
-
Impartial achievement games for generating nilpotent groups
Authors:
Bret J. Benesh,
Dana C. Ernst,
Nandor Sieben
Abstract:
We study an impartial game introduced by Anderson and Harary. The game is played by two players who alternately choose previously-unselected elements of a finite group. The first player who builds a generating set from the jointly-selected elements wins. We determine the nim-numbers of this game for finite groups of the form $T \times H$, where $T$ is a $2$-group and $H$ is a group of odd order. T…
▽ More
We study an impartial game introduced by Anderson and Harary. The game is played by two players who alternately choose previously-unselected elements of a finite group. The first player who builds a generating set from the jointly-selected elements wins. We determine the nim-numbers of this game for finite groups of the form $T \times H$, where $T$ is a $2$-group and $H$ is a group of odd order. This includes all nilpotent and hence abelian groups.
△ Less
Submitted 16 November, 2018; v1 submitted 3 May, 2018;
originally announced May 2018.
-
Pulse-Based Control Using Koopman Operator Under Parametric Uncertainty
Authors:
Aivar Sootla,
Damien Ernst
Abstract:
In applications, such as biomedicine and systems/synthetic biology, technical limitations in actuation complicate implementation of time-varying control signals. In order to alleviate some of these limitations, it may be desirable to derive simple control policies, such as step functions with fixed magnitude and length (or temporal pulses). In this technical note, we further develop a recently pro…
▽ More
In applications, such as biomedicine and systems/synthetic biology, technical limitations in actuation complicate implementation of time-varying control signals. In order to alleviate some of these limitations, it may be desirable to derive simple control policies, such as step functions with fixed magnitude and length (or temporal pulses). In this technical note, we further develop a recently proposed pulse-based solution to the convergence problem, i.e., minimizing the convergence time to the target exponentially stable equilibrium, for monotone systems. In particular, we extend this solution to monotone systems with parametric uncertainty. Our solutions also provide worst-case estimates on convergence times. Furthermore, we indicate how our tools can be used for a class of non-monotone systems, and more importantly how these tools can be extended to other control problems. We illustrate our approach on switching under parametric uncertainty and regulation around a saddle point problems in a genetic toggle switch system.
△ Less
Submitted 1 August, 2017;
originally announced August 2017.
-
An Optimal Control Formulation of Pulse-Based Control Using Koopman Operator
Authors:
Aivar Sootla,
Alexandre Mauroy,
Damien Ernst
Abstract:
In many applications, and in systems/synthetic biology, in particular, it is desirable to compute control policies that force the trajectory of a bistable system from one equilibrium (the initial point) to another equilibrium (the target point), or in other words to solve the switching problem. It was recently shown that, for monotone bistable systems, this problem admits easy-to-implement open-lo…
▽ More
In many applications, and in systems/synthetic biology, in particular, it is desirable to compute control policies that force the trajectory of a bistable system from one equilibrium (the initial point) to another equilibrium (the target point), or in other words to solve the switching problem. It was recently shown that, for monotone bistable systems, this problem admits easy-to-implement open-loop solutions in terms of temporal pulses (i.e., step functions of fixed length and fixed magnitude). In this paper, we develop this idea further and formulate a problem of convergence to an equilibrium from an arbitrary initial point. We show that this problem can be solved using a static optimization problem in the case of monotone systems. Changing the initial point to an arbitrary state allows to build closed-loop, event-based or open-loop policies for the switching/convergence problems. In our derivations we exploit the Koopman operator, which offers a linear infinite-dimensional representation of an autonomous nonlinear system. One of the main advantages of using the Koopman operator is the powerful computational tools developed for this framework. Besides the presence of numerical solutions, the switching/convergence problem can also serve as a building block for solving more complicated control problems and can potentially be applied to non-monotone systems. We illustrate this argument on the problem of synchronizing cardiac cells by defibrillation. Potentially, our approach can be extended to problems with different parametrizations of control signals since the only fundamental limitation is the finite time application of the control signal.
△ Less
Submitted 28 June, 2018; v1 submitted 26 July, 2017;
originally announced July 2017.
-
Impartial achievement games for generating generalized dihedral groups
Authors:
Bret J. Benesh,
Dana C. Ernst,
Nandor Sieben
Abstract:
We study an impartial game introduced by Anderson and Harary. This game is played by two players who alternately choose previously-unselected elements of a finite group. The first player who builds a generating set from the jointly-selected elements wins. We determine the nim-numbers of this game for generalized dihedral groups, which are of the form…
▽ More
We study an impartial game introduced by Anderson and Harary. This game is played by two players who alternately choose previously-unselected elements of a finite group. The first player who builds a generating set from the jointly-selected elements wins. We determine the nim-numbers of this game for generalized dihedral groups, which are of the form $\operatorname{Dih}(A)= \mathbb{Z}_2 \ltimes A$ for a finite abelian group $A$.
△ Less
Submitted 19 May, 2017; v1 submitted 31 July, 2016;
originally announced August 2016.
-
On the number of commutation classes of the longest element in the symmetric group
Authors:
Hugh Denoncourt,
Dana C. Ernst,
Dustin Story
Abstract:
Using the standard Coxeter presentation for the symmetric group $S_n$, two reduced expressions for the same group element are said to be commutation equivalent if we can obtain one expression from the other by applying a finite sequence of commutations. The resulting equivalence classes of reduced expressions are called commutation classes. How many commutation classes are there for the longest el…
▽ More
Using the standard Coxeter presentation for the symmetric group $S_n$, two reduced expressions for the same group element are said to be commutation equivalent if we can obtain one expression from the other by applying a finite sequence of commutations. The resulting equivalence classes of reduced expressions are called commutation classes. How many commutation classes are there for the longest element in $S_n$?
△ Less
Submitted 29 February, 2016; v1 submitted 25 January, 2016;
originally announced February 2016.
-
Factorization of Temperley--Lieb diagrams
Authors:
Dana C. Ernst,
Michael G. Hastings,
Sarah K. Salmon
Abstract:
The Temperley--Lieb algebra is a finite dimensional associative algebra that arose in the context of statistical mechanics and occurs naturally as a quotient of the Hecke algebra arising from a Coxeter group of type $A$. It is often realized in terms of a certain diagram algebra, where every diagram can be written as a product of "simple diagrams." These factorizations correspond precisely to fact…
▽ More
The Temperley--Lieb algebra is a finite dimensional associative algebra that arose in the context of statistical mechanics and occurs naturally as a quotient of the Hecke algebra arising from a Coxeter group of type $A$. It is often realized in terms of a certain diagram algebra, where every diagram can be written as a product of "simple diagrams." These factorizations correspond precisely to factorizations of the so-called fully commutative elements of the Coxeter group that index a particular basis. Given a reduced factorization of a fully commutative element, it is straightforward to construct the corresponding diagram. On the other hand, it is generally difficult to reconstruct the factorization given an arbitrary diagram. We present an efficient algorithm for obtaining a reduced factorization for a given diagram.
△ Less
Submitted 5 September, 2016; v1 submitted 3 September, 2015;
originally announced September 2015.
-
Impartial avoidance and achievement games for generating symmetric and alternating groups
Authors:
Bret J. Benesh,
Dana C. Ernst,
Nandor Sieben
Abstract:
We study two impartial games introduced by Anderson and Harary. Both games are played by two players who alternately select previously-unselected elements of a finite group. The first player who builds a generating set from the jointly-selected elements wins the first game. The first player who cannot select an element without building a generating set loses the second game. We determine the nim-n…
▽ More
We study two impartial games introduced by Anderson and Harary. Both games are played by two players who alternately select previously-unselected elements of a finite group. The first player who builds a generating set from the jointly-selected elements wins the first game. The first player who cannot select an element without building a generating set loses the second game. We determine the nim-numbers, and therefore the outcomes, of these games for symmetric and alternating groups.
△ Less
Submitted 14 July, 2016; v1 submitted 14 August, 2015;
originally announced August 2015.
-
Impartial avoidance games for generating finite groups
Authors:
Bret J. Benesh,
Dana C. Ernst,
Nandor Sieben
Abstract:
We study an impartial avoidance game introduced by Anderson and Harary. The game is played by two players who alternately select previously unselected elements of a finite group. The first player who cannot select an element without making the set of jointly-selected elements into a generating set for the group loses the game. We develop criteria on the maximal subgroups that determine the nim-num…
▽ More
We study an impartial avoidance game introduced by Anderson and Harary. The game is played by two players who alternately select previously unselected elements of a finite group. The first player who cannot select an element without making the set of jointly-selected elements into a generating set for the group loses the game. We develop criteria on the maximal subgroups that determine the nim-numbers of these games and use our criteria to study our game for several families of groups, including nilpotent, sporadic, and symmetric groups.
△ Less
Submitted 31 January, 2016; v1 submitted 23 June, 2015;
originally announced June 2015.
-
Prime Vertex Labelings of Several Families of Graphs
Authors:
Nathan Diefenderfer,
Dana C. Ernst,
Michael Hastings,
Levi N. Heath,
Hannah Prawzinsky,
Briahna Preston,
Jeff Rushall,
Emily White,
Alyssa Whittemore
Abstract:
A simple and connected $n$-vertex graph has a prime vertex labeling if the vertices can be injectively labeled with the integers $1, 2, 3,\ldots, n$, such that adjacent vertices have relatively prime labels. We will present previously unknown prime vertex labelings for new families of graphs including cycle pendant stars, cycle chains, prisms, and generalized books.
A simple and connected $n$-vertex graph has a prime vertex labeling if the vertices can be injectively labeled with the integers $1, 2, 3,\ldots, n$, such that adjacent vertices have relatively prime labels. We will present previously unknown prime vertex labelings for new families of graphs including cycle pendant stars, cycle chains, prisms, and generalized books.
△ Less
Submitted 15 September, 2015; v1 submitted 29 March, 2015;
originally announced March 2015.
-
Impartial achievement and avoidance games for generating finite groups
Authors:
Dana C. Ernst,
Nandor Sieben
Abstract:
We study two impartial games introduced by Anderson and Harary and further developed by Barnes. Both games are played by two players who alternately select previously unselected elements of a finite group. The first player who builds a generating set from the jointly selected elements wins the first game. The first player who cannot select an element without building a generating set loses the sec…
▽ More
We study two impartial games introduced by Anderson and Harary and further developed by Barnes. Both games are played by two players who alternately select previously unselected elements of a finite group. The first player who builds a generating set from the jointly selected elements wins the first game. The first player who cannot select an element without building a generating set loses the second game. After the development of some general results, we determine the nim-numbers of these games for abelian and dihedral groups. We also present some conjectures based on computer calculations. Our main computational and theoretical tool is the structure diagram of a game, which is a type of identification digraph of the game digraph that is compatible with the nim-numbers of the positions. Structure diagrams also provide simple yet intuitive visualizations of these games that capture the complexity of the positions.
△ Less
Submitted 30 September, 2017; v1 submitted 3 July, 2014;
originally announced July 2014.
-
Relaxations for multi-period optimal power flow problems with discrete decision variables
Authors:
Quentin Gemine,
Damien Ernst,
Quentin Louveaux,
Bertrand Cornélusse
Abstract:
We consider a class of optimal power flow (OPF) applications where some loads offer a modulation service in exchange for an activation fee. These applications can be modeled as multi-period formulations of the OPF with discrete variables that define mixed-integer non-convex mathematical programs. We propose two types of relaxations to tackle these problems. One is based on a Lagrangian relaxation…
▽ More
We consider a class of optimal power flow (OPF) applications where some loads offer a modulation service in exchange for an activation fee. These applications can be modeled as multi-period formulations of the OPF with discrete variables that define mixed-integer non-convex mathematical programs. We propose two types of relaxations to tackle these problems. One is based on a Lagrangian relaxation and the other is based on a network flow relaxation. Both relaxations are tested on several benchmarks and, although they provide a comparable dual bound, it appears that the constraints in the solutions derived from the network flow relaxation are significantly less violated.
△ Less
Submitted 6 January, 2014;
originally announced January 2014.
-
On Periodic Reference Tracking Using Batch-Mode Reinforcement Learning with Application to Gene Regulatory Network Control
Authors:
Aivar Sootla,
Natalja Strelkowa,
Damien Ernst,
Mauricio Barahona,
Guy-Bart Stan
Abstract:
In this paper, we consider the periodic reference tracking problem in the framework of batch-mode reinforcement learning, which studies methods for solving optimal control problems from the sole knowledge of a set of trajectories. In particular, we extend an existing batch-mode reinforcement learning algorithm, known as Fitted Q Iteration, to the periodic reference tracking problem. The presented…
▽ More
In this paper, we consider the periodic reference tracking problem in the framework of batch-mode reinforcement learning, which studies methods for solving optimal control problems from the sole knowledge of a set of trajectories. In particular, we extend an existing batch-mode reinforcement learning algorithm, known as Fitted Q Iteration, to the periodic reference tracking problem. The presented periodic reference tracking algorithm explicitly exploits a priori knowledge of the future values of the reference trajectory and its periodicity. We discuss the properties of our approach and illustrate it on the problem of reference tracking for a synthetic biology gene regulatory network known as the generalised repressilator. This system can produce decaying but long-lived oscillations, which makes it an interesting system for the tracking problem. In our companion paper we also take a look at the regulation problem of the toggle switch system, where the main goal is to drive the system's states to a specific bounded region in the state space.
△ Less
Submitted 12 March, 2013;
originally announced March 2013.
-
On the Cyclically Fully Commutative Elements of Coxeter Groups
Authors:
Tomas Boothby,
Jeffrey Burkert,
Morgan Eichwald,
R. M. Green,
Dana C. Ernst,
Matthew Macauley
Abstract:
Let W be an arbitrary Coxeter group. If two elements have expressions that are cyclic shifts of each other (as words), then they are conjugate (as group elements) in W. We say that w is "cyclically fully commutative" (CFC) if every cyclic shift of any reduced expression for w is fully commutative (i.e., avoids long braid relations). These generalize Coxeter elements in that their reduced expressio…
▽ More
Let W be an arbitrary Coxeter group. If two elements have expressions that are cyclic shifts of each other (as words), then they are conjugate (as group elements) in W. We say that w is "cyclically fully commutative" (CFC) if every cyclic shift of any reduced expression for w is fully commutative (i.e., avoids long braid relations). These generalize Coxeter elements in that their reduced expressions can be described combinatorially by acyclic directed graphs, and cyclically shifting corresponds to source-to-sink conversions. In this paper, we explore the combinatorics of the CFC elements and enumerate them in all Coxeter groups. Additionally, we characterize precisely which CFC elements have the property that powers of them remain fully commutative, via the presence of a simple combinatorial feature called a "band." This allows us to give necessary and sufficient conditions for a CFC element w to be "logarithmic," that is, l(w^k) = k l(w) for all k > 0, for a large class of Coxeter groups that includes all affine Weyl groups and simply-laced Coxeter groups. Finally, we give a simple non-CFC element that fails to be logarithmic under these conditions.
△ Less
Submitted 29 February, 2012;
originally announced February 2012.
-
Scenario trees and policy selection for multistage stochastic programming using machine learning
Authors:
Boris Defourny,
Damien Ernst,
Louis Wehenkel
Abstract:
We propose a hybrid algorithmic strategy for complex stochastic optimization problems, which combines the use of scenario trees from multistage stochastic programming with machine learning techniques for learning a policy in the form of a statistical model, in the context of constrained vector-valued decisions. Such a policy allows one to run out-of-sample simulations over a large number of indepe…
▽ More
We propose a hybrid algorithmic strategy for complex stochastic optimization problems, which combines the use of scenario trees from multistage stochastic programming with machine learning techniques for learning a policy in the form of a statistical model, in the context of constrained vector-valued decisions. Such a policy allows one to run out-of-sample simulations over a large number of independent scenarios, and obtain a signal on the quality of the approximation scheme used to solve the multistage stochastic program. We propose to apply this fast simulation technique to choose the best tree from a set of scenario trees. A solution scheme is introduced, where several scenario trees with random branching structure are solved in parallel, and where the tree from which the best policy for the true problem could be learned is ultimately retained. Numerical tests show that excellent trade-offs can be achieved between run times and solution quality.
△ Less
Submitted 19 December, 2011;
originally announced December 2011.
-
Optimal discovery with probabilistic expert advice
Authors:
Sébastien Bubeck,
Damien Ernst,
Aurélien Garivier
Abstract:
We consider an original problem that arises from the issue of security analysis of a power system and that we name optimal discovery with probabilistic expert advice. We address it with an algorithm based on the optimistic paradigm and the Good-Turing missing mass estimator. We show that this strategy uniformly attains the optimal discovery rate in a macroscopic limit sense, under some assumptions…
▽ More
We consider an original problem that arises from the issue of security analysis of a power system and that we name optimal discovery with probabilistic expert advice. We address it with an algorithm based on the optimistic paradigm and the Good-Turing missing mass estimator. We show that this strategy uniformly attains the optimal discovery rate in a macroscopic limit sense, under some assumptions on the probabilistic experts. We also provide numerical experiments suggesting that this optimal behavior may still hold under weaker assumptions.
△ Less
Submitted 25 October, 2011;
originally announced October 2011.
-
Diagram calculus for a type affine $C$ Temperley--Lieb algebra, II
Authors:
Dana C. Ernst
Abstract:
In a previous paper, we presented an infinite dimensional associative diagram algebra that satisfies the relations of the generalized Temperley--Lieb algebra having a basis indexed by the fully commutative elements of the Coxeter group of type affine $C$. We also provided an explicit description of a basis for the diagram algebra. In this paper, we show that the diagrammatic representation is fait…
▽ More
In a previous paper, we presented an infinite dimensional associative diagram algebra that satisfies the relations of the generalized Temperley--Lieb algebra having a basis indexed by the fully commutative elements of the Coxeter group of type affine $C$. We also provided an explicit description of a basis for the diagram algebra. In this paper, we show that the diagrammatic representation is faithful and establish a correspondence between the basis diagrams and the so-called monomial basis of the Temperley--Lieb algebra of type affine $C$.
△ Less
Submitted 31 December, 2017; v1 submitted 21 January, 2011;
originally announced January 2011.
-
Diagram calculus for a type affine $C$ Temperley--Lieb algebra, I
Authors:
Dana C. Ernst
Abstract:
In this paper, we present an infinite dimensional associative diagram algebra that satisfies the relations of the generalized Temperley--Lieb algebra having a basis indexed by the fully commutative elements (in the sense of Stembridge) of the Coxeter group of type affine $C$. Moreover, we provide an explicit description of a basis for the diagram algebra. In the sequel to this paper, we show that…
▽ More
In this paper, we present an infinite dimensional associative diagram algebra that satisfies the relations of the generalized Temperley--Lieb algebra having a basis indexed by the fully commutative elements (in the sense of Stembridge) of the Coxeter group of type affine $C$. Moreover, we provide an explicit description of a basis for the diagram algebra. In the sequel to this paper, we show that this diagrammatic representation is faithful. The results of this paper and its sequel will be used to construct a Jones-type trace on the Hecke algebra of type affine $C$, allowing us to non-recursively compute leading coefficients of certain Kazhdan--Lusztig polynomials.
△ Less
Submitted 24 June, 2015; v1 submitted 6 October, 2009;
originally announced October 2009.
-
Non-cancellable elements in type affine $C$ Coxeter groups
Authors:
Dana C. Ernst
Abstract:
Let $(W,S)$ be a Coxeter system and suppose that $w \in W$ is fully commutative (in the sense of Stembridge) and has a reduced expression beginning (respectively, ending) with $s \in S$. If there exists $t\in S$ such that $s$ and $t$ do not commute and $tw$ (respectively, $wt$) is no longer fully commutative, we say that $w$ is left (respectively, right) weak star reducible by $s$ with respect to…
▽ More
Let $(W,S)$ be a Coxeter system and suppose that $w \in W$ is fully commutative (in the sense of Stembridge) and has a reduced expression beginning (respectively, ending) with $s \in S$. If there exists $t\in S$ such that $s$ and $t$ do not commute and $tw$ (respectively, $wt$) is no longer fully commutative, we say that $w$ is left (respectively, right) weak star reducible by $s$ with respect to $t$. In this paper, we classify the fully commutative elements in Coxeter groups of types $B$ and affine $C$ that are irreducible under weak star reductions. In a sequel to this paper, the classification of the weak star irreducible elements in a Coxeter system of type affine $C$ will provide the groundwork for inductive arguments used to prove the faithfulness of a generalized Temperley--Lieb algebra of type affine $C$ by a particular diagram algebra.
△ Less
Submitted 2 January, 2018; v1 submitted 6 October, 2009;
originally announced October 2009.
-
A diagrammatic representation of an affine $C$ Temperley--Lieb algebra
Authors:
Dana C. Ernst
Abstract:
In this thesis, I present an associative diagram algebra that is a faithful representation of a particular Temperley--Lieb algebra of type affine $C$, which has a basis indexed by the fully commutative elements of the Coxeter group of the same type. The Coxeter group of type affine $C$ contains an infinite number of fully commutative elements, and so the corresponding Temperley--Lieb algebra is…
▽ More
In this thesis, I present an associative diagram algebra that is a faithful representation of a particular Temperley--Lieb algebra of type affine $C$, which has a basis indexed by the fully commutative elements of the Coxeter group of the same type. The Coxeter group of type affine $C$ contains an infinite number of fully commutative elements, and so the corresponding Temperley--Lieb algebra is of infinite rank. With the exception of type affine $A$, all other generalized Temperley--Lieb algebras with known diagrammatic representations are of finite rank. In the finite rank case, counting arguments are employed to prove faithfulness, but these techniques are not available in the affine $C$ case. To prove faithfulness, I classify the fully commutative elements in Coxeter groups of types $B$ and affine $C$ that are irreducible under weak star reductions. The classification of these irreducible elements provides the groundwork for inductive arguments that are used to prove faithfulness. The classification of the weak star irreducible elements of type $B$ also verifies C.K. Fan's unproved claim about about the set of fully commutative elements in a Coxeter group of type $B$ having no generator appearing in the left or right descent set that can be left or right cancelled, respectively. The results of this thesis will be used to construct a trace on the Hecke algebra of type affine $C$, which will then be used to compute leading coefficients of certain Kazhdan--Lusztig polynomials in a non-recursive way.
△ Less
Submitted 27 May, 2009;
originally announced May 2009.
-
Cell Complexes for Arrangements with Group Actions
Authors:
Dana C. Ernst
Abstract:
For a real oriented hyperplane arrangement, we show that the corresponding Salvetti complex is homotopy equivalent to the complement of the complexified arrangement. This result was originally proved by M. Salvetti. Our proof follows the framework of a proof given by L. Paris and relies heavily on the notation of oriented matroids. We also show that homotopy equivalence is preserved when we quot…
▽ More
For a real oriented hyperplane arrangement, we show that the corresponding Salvetti complex is homotopy equivalent to the complement of the complexified arrangement. This result was originally proved by M. Salvetti. Our proof follows the framework of a proof given by L. Paris and relies heavily on the notation of oriented matroids. We also show that homotopy equivalence is preserved when we quotient by the action of the corresponding reflection group. In particular, the Salvetti complex of the braid arrangement in $\ell$ dimensions modulo the action of the symmetric group is a cell complex which is homotopy equivalent to the space of unlabelled configurations of $\ell$ distinct points. Lastly, we describe a construction of the orbit complex from the dual complex for all finite reflection arrangements in dimension 2. This description yields an easy derivation of the so-called "braid relations" in the case of braid arrangement.
△ Less
Submitted 27 May, 2009;
originally announced May 2009.
