-
Mouse Lockbox Dataset: Behavior Recognition for Mice Solving Lockboxes
Authors:
Patrik Reiske,
Marcus N. Boon,
Niek Andresen,
Sole Traverso,
Katharina Hohlbaum,
Lars Lewejohann,
Christa Thöne-Reineke,
Olaf Hellwich,
Henning Sprekeler
Abstract:
Machine learning and computer vision methods have a major impact on the study of natural animal behavior, as they enable the (semi-)automatic analysis of vast amounts of video data. Mice are the standard mammalian model system in most research fields, but the datasets available today to refine such methods focus either on simple or social behaviors. In this work, we present a video dataset of indi…
▽ More
Machine learning and computer vision methods have a major impact on the study of natural animal behavior, as they enable the (semi-)automatic analysis of vast amounts of video data. Mice are the standard mammalian model system in most research fields, but the datasets available today to refine such methods focus either on simple or social behaviors. In this work, we present a video dataset of individual mice solving complex mechanical puzzles, so-called lockboxes. The more than 110 hours of total playtime show their behavior recorded from three different perspectives. As a benchmark for frame-level action classification methods, we provide human-annotated labels for all videos of two different mice, that equal 13% of our dataset. Our keypoint (pose) tracking-based action classification framework illustrates the challenges of automated labeling of fine-grained behaviors, such as the manipulation of objects. We hope that our work will help accelerate the advancement of automated action and behavior classification in the computational neuroscience community. Our dataset is publicly available at https://doi.org/10.14279/depositonce-23850
△ Less
Submitted 28 May, 2025; v1 submitted 21 May, 2025;
originally announced May 2025.
-
Search Timelines: Visualizing Search History to Enable Cross-Session Exploratory Search
Authors:
Orland Hoeber,
Md Nazmul Islam,
Miriam Boon,
Dale Storie,
Veronica Ramshaw
Abstract:
Purpose: The timespan over which exploratory searching can occur, as well as the scope and volume of the search activities undertaken, can make it difficult for searchers to remember key details about their search activities. These difficulties are present both in the midst of searching as well as when resuming a search that spans multiple sessions. In this paper, we present a search interface des…
▽ More
Purpose: The timespan over which exploratory searching can occur, as well as the scope and volume of the search activities undertaken, can make it difficult for searchers to remember key details about their search activities. These difficulties are present both in the midst of searching as well as when resuming a search that spans multiple sessions. In this paper, we present a search interface designed to support cross-session exploratory search in a public digital library context. Methods: Search Timelines provides a visualization of current and past search activities via a dynamic timeline of the search activity (queries and saved resources). This timeline is presented at two levels of detail. An overview timeline is provided alongside the search results in a typical search engine results page design. A detailed timeline is provided in the workspace, where searchers can review the history of their search activities and their saved resources. A controlled laboratory study was conducted to compare this approach to a baseline interface modelled after a typical public digital library search/workspace interface. Results: Participants who used Search Timelines reported higher levels of user engagement, usability, and perceived knowledge gain, during an initial search session and when resuming the search after a 7-8 day interval. This came at the expense of the searchers taking more time to complete the search task, which we view as positive evidence of engagement in cross-session exploratory search processes. Conclusion: Search Timelines serves as an example of how lightweight visualization approaches can be used to enhance typical search interface designs to support exploratory search. The results highlight the value of providing persistent representations of past search activities within the search interface.
△ Less
Submitted 23 April, 2025;
originally announced April 2025.
-
Tracking Mouse from Incomplete Body-Part Observations and Deep-Learned Deformable-Mouse Model Motion-Track Constraint for Behavior Analysis
Authors:
Olaf Hellwich,
Niek Andresen,
Katharina Hohlbaum,
Marcus N. Boon,
Monika Kwiatkowski,
Simon Matern,
Patrik Reiske,
Henning Sprekeler,
Christa ThöneReineke,
Lars Lewejohann,
Huma Ghani Zada,
Michael Brück,
Soledad Traverso
Abstract:
Tracking mouse body parts in video is often incomplete due to occlusions such that - e.g. - subsequent action and behavior analysis is impeded. In this conceptual work, videos from several perspectives are integrated via global exterior camera orientation; body part positions are estimated by 3D triangulation and bundle adjustment. Consistency of overall 3D track reconstruction is achieved by intr…
▽ More
Tracking mouse body parts in video is often incomplete due to occlusions such that - e.g. - subsequent action and behavior analysis is impeded. In this conceptual work, videos from several perspectives are integrated via global exterior camera orientation; body part positions are estimated by 3D triangulation and bundle adjustment. Consistency of overall 3D track reconstruction is achieved by introduction of a 3D mouse model, deep-learned body part movements, and global motion-track smoothness constraint. The resulting 3D body and body part track estimates are substantially more complete than the original single-frame-based body part detection, therefore, allowing improved animal behavior analysis.
△ Less
Submitted 19 January, 2025;
originally announced January 2025.
-
Parameter-robust Preconditioners for the Stokes-Darcy Coupled Problem without Fractional Operators
Authors:
Wietse M. Boon,
Xiaozhe Hu,
Xue Wang
Abstract:
We consider the Stokes-Darcy coupled problem, which models the interaction between free-flow and porous medium flow. By enforcing the normal flux continuity interface condition directly within the finite-element spaces, we establish unified well-posedness results for the coupled system under various boundary condition scenarios. Using the operator preconditioning framework, we develop a parameter-…
▽ More
We consider the Stokes-Darcy coupled problem, which models the interaction between free-flow and porous medium flow. By enforcing the normal flux continuity interface condition directly within the finite-element spaces, we establish unified well-posedness results for the coupled system under various boundary condition scenarios. Using the operator preconditioning framework, we develop a parameter-robust preconditioner that avoids the use of fractional operators. Numerical experiments employing both $H(\operatorname{div})$-conforming and nonconforming finite-element methods are presented to confirm the theoretical findings and demonstrate the robustness of the proposed block preconditioners with respect to the physical parameters and mesh size.
△ Less
Submitted 10 January, 2025;
originally announced January 2025.
-
Large Physics Models: Towards a collaborative approach with Large Language Models and Foundation Models
Authors:
Kristian G. Barman,
Sascha Caron,
Emily Sullivan,
Henk W. de Regt,
Roberto Ruiz de Austri,
Mieke Boon,
Michael Färber,
Stefan Fröse,
Faegheh Hasibi,
Andreas Ipp,
Rukshak Kapoor,
Gregor Kasieczka,
Daniel Kostić,
Michael Krämer,
Tobias Golling,
Luis G. Lopez,
Jesus Marco,
Sydney Otten,
Pawel Pawlowski,
Pietro Vischia,
Erik Weber,
Christoph Weniger
Abstract:
This paper explores ideas and provides a potential roadmap for the development and evaluation of physics-specific large-scale AI models, which we call Large Physics Models (LPMs). These models, based on foundation models such as Large Language Models (LLMs) - trained on broad data - are tailored to address the demands of physics research. LPMs can function independently or as part of an integrated…
▽ More
This paper explores ideas and provides a potential roadmap for the development and evaluation of physics-specific large-scale AI models, which we call Large Physics Models (LPMs). These models, based on foundation models such as Large Language Models (LLMs) - trained on broad data - are tailored to address the demands of physics research. LPMs can function independently or as part of an integrated framework. This framework can incorporate specialized tools, including symbolic reasoning modules for mathematical manipulations, frameworks to analyse specific experimental and simulated data, and mechanisms for synthesizing theories and scientific literature. We begin by examining whether the physics community should actively develop and refine dedicated models, rather than relying solely on commercial LLMs. We then outline how LPMs can be realized through interdisciplinary collaboration among experts in physics, computer science, and philosophy of science. To integrate these models effectively, we identify three key pillars: Development, Evaluation, and Philosophical Reflection. Development focuses on constructing models capable of processing physics texts, mathematical formulations, and diverse physical data. Evaluation assesses accuracy and reliability by testing and benchmarking. Finally, Philosophical Reflection encompasses the analysis of broader implications of LLMs in physics, including their potential to generate new scientific understanding and what novel collaboration dynamics might arise in research. Inspired by the organizational structure of experimental collaborations in particle physics, we propose a similarly interdisciplinary and collaborative approach to building and refining Large Physics Models. This roadmap provides specific objectives, defines pathways to achieve them, and identifies challenges that must be addressed to realise physics-specific large scale AI models.
△ Less
Submitted 9 January, 2025;
originally announced January 2025.
-
Solvers for mixed finite element problems using Poincaré operators based on spanning trees
Authors:
Wietse M. Boon
Abstract:
We propose an explicit construction of Poincaré operators for the lowest order finite element spaces, by employing spanning trees in the grid. In turn, a stable decomposition of the discrete spaces is derived that leads to an efficient numerical solver for the Hodge-Laplace problem. The solver consists of solving four smaller, symmetric positive definite systems. We moreover place the decompositio…
▽ More
We propose an explicit construction of Poincaré operators for the lowest order finite element spaces, by employing spanning trees in the grid. In turn, a stable decomposition of the discrete spaces is derived that leads to an efficient numerical solver for the Hodge-Laplace problem. The solver consists of solving four smaller, symmetric positive definite systems. We moreover place the decomposition in the framework of auxiliary space preconditioning and propose robust preconditioners for elliptic mixed finite element problems. The efficiency of the approach is validated by numerical experiments.
△ Less
Submitted 11 October, 2024;
originally announced October 2024.
-
Neural network solvers for parametrized elasticity problems that conserve linear and angular momentum
Authors:
Wietse M. Boon,
Nicola R. Franco,
Alessio Fumagalli
Abstract:
We consider a mixed formulation of parametrized elasticity problems in terms of stress, displacement, and rotation. The latter two variables act as Lagrange multipliers to enforce conservation of linear and angular momentum. Due to the saddle-point structure, the resulting system is computationally demanding to solve directly, and we therefore propose an efficient solution strategy based on a deco…
▽ More
We consider a mixed formulation of parametrized elasticity problems in terms of stress, displacement, and rotation. The latter two variables act as Lagrange multipliers to enforce conservation of linear and angular momentum. Due to the saddle-point structure, the resulting system is computationally demanding to solve directly, and we therefore propose an efficient solution strategy based on a decomposition of the stress variable. First, a triangular system is solved to obtain a stress field that balances the body and boundary forces. Second, a trained neural network is employed to provide a correction without affecting the conservation equations. The displacement and rotation can be obtained by post-processing, if necessary. The potential of the approach is highlighted by three numerical test cases, including a non-linear model.
△ Less
Submitted 9 October, 2024;
originally announced October 2024.
-
Subexponential growth and $C^1$ actions on one-manifolds
Authors:
Sang-hyun Kim,
Nicolás Matte Bon,
Mikael de la Salle,
Michele Triestino
Abstract:
Let $G$ be a countable group with no finitely generated subgroup of exponential growth. We show that every action of $G$ on a countable set preserving a linear (respectively, circular) order can be realised as the restriction of some action by $C^1$ diffeomorphisms on an interval (respectively, the circle) to an invariant subset. As a consequence, every action of $G$ by homeomorphisms on a compact…
▽ More
Let $G$ be a countable group with no finitely generated subgroup of exponential growth. We show that every action of $G$ on a countable set preserving a linear (respectively, circular) order can be realised as the restriction of some action by $C^1$ diffeomorphisms on an interval (respectively, the circle) to an invariant subset. As a consequence, every action of $G$ by homeomorphisms on a compact connected one-manifold can be made $C^1$ upon passing to a semi-conjugate action. The proof is based on a functional characterisation of groups of local subexponential growth.
△ Less
Submitted 3 October, 2024;
originally announced October 2024.
-
Mixed finite element and TPSA finite volume methods for linearized elasticity and Cosserat materials
Authors:
Jan Martin Nordbotten,
Wietse M. Boon,
Omar Duran,
Eirik Keilegavlen
Abstract:
Cosserat theory of elasticity is a generalization of classical elasticity that allows for asymmetry in the stress tensor by taking into account micropolar rotations in the medium. The equations involve a rotation field and associated "couple stress" as variables, in addition to the conventional displacement and Cauchy stress fields.
In recent work, we derived a mixed finite element method (MFEM)…
▽ More
Cosserat theory of elasticity is a generalization of classical elasticity that allows for asymmetry in the stress tensor by taking into account micropolar rotations in the medium. The equations involve a rotation field and associated "couple stress" as variables, in addition to the conventional displacement and Cauchy stress fields.
In recent work, we derived a mixed finite element method (MFEM) for the linear Cosserat equations that converges optimally in these four variables. The drawback of this method is that it retains the stresses as unknowns, and therefore leads to relatively large saddle point system that are computationally demanding to solve.
As an alternative, we developed a finite volume method in which the stress variables are approximated using a minimal, two-point stencil (TPSA). The system consists of the displacement and rotation variables, with an additional "solid pressure" unknown.
Both the MFEM and TPSA methods are robust in the incompressible limit and in the Cauchy limit, for which the Cosserat equations degenerate to classical linearized elasticity. We report on the construction of the methods, their a priori properties, and compare their numerical performance against an MPSA finite volume method.
△ Less
Submitted 20 September, 2024;
originally announced September 2024.
-
H(curl)-based approximation of the Stokes problem with slip boundary conditions
Authors:
Wietse M. Boon,
Ralf Hiptmair,
Wouter Tonnon,
Enrico Zampa
Abstract:
The equations governing incompressible Stokes flow are reformulated such that the velocity is sought in the space H(curl). This relaxed regularity assumption leads to conforming finite element methods using spaces common to discretizations of Maxwell's equations. A drawback of this approach, however, is that it is not immediately clear how to enforce Navier-slip boundary conditions. By recognizing…
▽ More
The equations governing incompressible Stokes flow are reformulated such that the velocity is sought in the space H(curl). This relaxed regularity assumption leads to conforming finite element methods using spaces common to discretizations of Maxwell's equations. A drawback of this approach, however, is that it is not immediately clear how to enforce Navier-slip boundary conditions. By recognizing the slip condition as a Robin boundary condition, we show that the continuous system is well-posed, propose finite element methods, and analyze the discrete system by deriving stability and a priori error estimates. Numerical experiments in 2D confirm the derived, optimal convergence rates.
△ Less
Submitted 18 July, 2024;
originally announced July 2024.
-
Mixed finite element methods for linear Cosserat equations
Authors:
Wietse Marijn Boon,
Omar Duran,
Jan Martin Nordbotten
Abstract:
We consider the equilibrium equations for a linearized Cosserat material and provide two perspectives concerning well-posedness. First, the system can be viewed as the Hodge Laplace problem on a differential complex. On the other hand, we show how the Cosserat materials can be analyzed by inheriting results from linearized elasticity. Both perspectives give rise to mixed finite element methods, wh…
▽ More
We consider the equilibrium equations for a linearized Cosserat material and provide two perspectives concerning well-posedness. First, the system can be viewed as the Hodge Laplace problem on a differential complex. On the other hand, we show how the Cosserat materials can be analyzed by inheriting results from linearized elasticity. Both perspectives give rise to mixed finite element methods, which we refer to as strongly and weakly coupled, respectively. We prove convergence of both classes of methods, with particular attention to improved convergence rate estimates, and stability in the limit of vanishing characteristic length of the micropolar structure. The theoretical results are fully reflected in the actual performance of the methods, as shown by the numerical verifications.
△ Less
Submitted 18 October, 2024; v1 submitted 22 March, 2024;
originally announced March 2024.
-
A mortar method for the coupled Stokes-Darcy problem using the MAC scheme for Stokes and mixed finite elements for Darcy
Authors:
Wietse M. Boon,
Dennis Gläser,
Rainer Helmig,
Kilian Weishaupt,
Ivan Yotov
Abstract:
A discretization method with non-matching grids is proposed for the coupled Stokes-Darcy problem that uses a mortar variable at the interface to couple the marker and cell (MAC) method in the Stokes domain with the Raviart-Thomas mixed finite element pair in the Darcy domain. Due to this choice, the method conserves linear momentum and mass locally in the Stokes domain and exhibits local mass cons…
▽ More
A discretization method with non-matching grids is proposed for the coupled Stokes-Darcy problem that uses a mortar variable at the interface to couple the marker and cell (MAC) method in the Stokes domain with the Raviart-Thomas mixed finite element pair in the Darcy domain. Due to this choice, the method conserves linear momentum and mass locally in the Stokes domain and exhibits local mass conservation in the Darcy domain. The MAC scheme is reformulated as a mixed finite element method on a staggered grid, which allows for the proposed scheme to be analyzed as a mortar mixed finite element method. We show that the discrete system is well-posed and derive a priori error estimates that indicate first order convergence in all variables. The system can be reduced to an interface problem concerning only the mortar variables, leading to a non-overlapping domain decomposition method. Numerical examples are presented to illustrate the theoretical results and the applicability of the method.
△ Less
Submitted 16 February, 2024;
originally announced February 2024.
-
On the growth of actions of free products
Authors:
Adrien Le Boudec,
Nicolás Matte Bon,
Ville Salo
Abstract:
If $G$ is a finitely generated group and $X$ a $G$-set, the growth of the action of $G$ on $X$ is the function that measures the largest cardinality of a ball of radius $n$ in the Schreier graph $Γ(G,X)$. In this note we consider the following stability problem: if $G,H$ are finitely generated groups admitting a faithful action of growth bounded above by a function $f$, does the free product…
▽ More
If $G$ is a finitely generated group and $X$ a $G$-set, the growth of the action of $G$ on $X$ is the function that measures the largest cardinality of a ball of radius $n$ in the Schreier graph $Γ(G,X)$. In this note we consider the following stability problem: if $G,H$ are finitely generated groups admitting a faithful action of growth bounded above by a function $f$, does the free product $G \ast H$ also admit a faithful action of growth bounded above by $f$? We show that the answer is positive under additional assumptions, and negative in general. In the negative direction, our counter-examples are obtained with $G$ either the commutator subgroup of the topological full group of a minimal and expansive homeomorphism of the Cantor space; or $G$ a Houghton group. In both cases, the group $G$ admits a faithful action of linear growth, and we show that $G\ast H$ admits no faithful action of subquadratic growth provided $H$ is non-trivial. In the positive direction, we describe a class of groups that admit actions of linear growth and is closed under free products and exhibit examples within this class, among which the Grigorchuk group.
△ Less
Submitted 12 January, 2024;
originally announced January 2024.
-
Deep learning based reduced order modeling of Darcy flow systems with local mass conservation
Authors:
Wietse M. Boon,
Nicola R. Franco,
Alessio Fumagalli,
Paolo Zunino
Abstract:
We propose a new reduced order modeling strategy for tackling parametrized Partial Differential Equations (PDEs) with linear constraints, in particular Darcy flow systems in which the constraint is given by mass conservation. Our approach employs classical neural network architectures and supervised learning, but it is constructed in such a way that the resulting Reduced Order Model (ROM) is guara…
▽ More
We propose a new reduced order modeling strategy for tackling parametrized Partial Differential Equations (PDEs) with linear constraints, in particular Darcy flow systems in which the constraint is given by mass conservation. Our approach employs classical neural network architectures and supervised learning, but it is constructed in such a way that the resulting Reduced Order Model (ROM) is guaranteed to satisfy the linear constraints exactly. The procedure is based on a splitting of the PDE solution into a particular solution satisfying the constraint and a homogenous solution. The homogeneous solution is approximated by mapping a suitable potential function, generated by a neural network model, onto the kernel of the constraint operator; for the particular solution, instead, we propose an efficient spanning tree algorithm. Starting from this paradigm, we present three approaches that follow this methodology, obtained by exploring different choices of the potential spaces: from empirical ones, derived via Proper Orthogonal Decomposition (POD), to more abstract ones based on differential complexes. All proposed approaches combine computational efficiency with rigorous mathematical interpretation, thus guaranteeing the explainability of the model outputs. To demonstrate the efficacy of the proposed strategies and to emphasize their advantages over vanilla black-box approaches, we present a series of numerical experiments on fluid flows in porous media, ranging from mixed-dimensional problems to nonlinear systems. This research lays the foundation for further exploration and development in the realm of model order reduction, potentially unlocking new capabilities and solutions in computational geosciences and beyond.
△ Less
Submitted 24 November, 2023;
originally announced November 2023.
-
Trajectories and Platoon-forming Algorithm for Intersections with Heterogeneous Autonomous Traffic
Authors:
P. C. Joshi,
M. A. A. Boon,
S. C. Borst
Abstract:
The anticipated launch of fully autonomous vehicles presents an opportunity to develop and implement novel traffic management systems. Intersections are one of the bottlenecks for urban traffic, and thus offer tremendous potential for performance improvements of traffic flow if managed efficiently. Platoon-forming algorithms, in which vehicles are grouped together with short inter-vehicular distan…
▽ More
The anticipated launch of fully autonomous vehicles presents an opportunity to develop and implement novel traffic management systems. Intersections are one of the bottlenecks for urban traffic, and thus offer tremendous potential for performance improvements of traffic flow if managed efficiently. Platoon-forming algorithms, in which vehicles are grouped together with short inter-vehicular distances just before arriving at an intersection at high speed, seem particularly promising in this aspect. In this work, we present an intersection access control system based on platoon-forming for heterogeneous autonomous traffic. The heterogeneity of traffic arises from vehicles with different acceleration capabilities and safety constraints. We focus on obtaining computationally fast and interpretable closed-form expressions for safe and efficient vehicle trajectories that lead to platoon formation, and show that these trajectories are solutions to certain classes of optimisation problems. Additionally, we conduct a numerical study to obtain approximations for intersection capacity as a result of such platoon formation.
△ Less
Submitted 24 January, 2024; v1 submitted 13 November, 2023;
originally announced November 2023.
-
GAGTA 2023 Problem Session
Authors:
Henry Bradford,
Christopher H. Cashen,
Francesco Fournier-Facio,
Nicolás Matte Bon,
Harry Petyt
Abstract:
The conference `Geometric and Asymptotic Group Theory with Applications (GAGTA) 2023: Groups and Dynamics' took place at the Erwin Schrödinger Institute on July 17-21. These are the problems that were proposed during the Problem Session: Residual finiteness growth, Geometric v. random walk boundaries, Stability, Cogrowth, Embedding left orderable groups, Schreier growth gap, $\ell^p$ models for hy…
▽ More
The conference `Geometric and Asymptotic Group Theory with Applications (GAGTA) 2023: Groups and Dynamics' took place at the Erwin Schrödinger Institute on July 17-21. These are the problems that were proposed during the Problem Session: Residual finiteness growth, Geometric v. random walk boundaries, Stability, Cogrowth, Embedding left orderable groups, Schreier growth gap, $\ell^p$ models for hyperbolic groups, Characterizing hyperbolic groups
△ Less
Submitted 6 October, 2023;
originally announced October 2023.
-
Net electrophilicity as computational route for the choice of favorable ionic liquids in nanoparticle production
Authors:
Marta Bon,
Debora Keller,
Rolf Erni,
Daniele Passerone
Abstract:
In the last years, the potential of using ionic liquids (IL)s as an environment for nanoparticle (NP) synthesis has been demonstrated and in particular, triggering NP formation in ILs by electron irradiation has been reported as a very simple and clean route for NP production. Starting from the recent evidence for a correlation between an IL's capability to support NP production and the radiochemi…
▽ More
In the last years, the potential of using ionic liquids (IL)s as an environment for nanoparticle (NP) synthesis has been demonstrated and in particular, triggering NP formation in ILs by electron irradiation has been reported as a very simple and clean route for NP production. Starting from the recent evidence for a correlation between an IL's capability to support NP production and the radiochemical instability of the IL's cation, we used conceptual Density Functional Theory (DFT) to provide a pre-screening of a set of different IL cations. The screened quantity is the net electrophilicity which we suggest as possible measure of this instability. Therefore, our work not only gives a measure for the likelihood of NP generation in different ILs, but it also provides a model which can further be extended and applied to obtain information about any other IL of interest. Moreover, our theoretical approach outlines a strategy which may reduce a lengthy experimental investigation for the identification of the most suitable IL for a particular reaction.
△ Less
Submitted 26 June, 2023;
originally announced June 2023.
-
A realisation result for moduli spaces of group actions on the line
Authors:
Joaquín Brum,
Nicolás Matte Bon,
Cristóbal Rivas,
Michele Triestino
Abstract:
Given a finitely generated group $G$, the possible actions of $G$ on the real line (without global fixed points), considered up to semi-conjugacy, can be encoded by the space of orbits of a flow on a compact space $(Y, Φ)$ naturally associated with $G$ and uniquely defined up to flow equivalence, that we call the \emph{Deroin space} of $G$. We show a realisation result: every expansive flow…
▽ More
Given a finitely generated group $G$, the possible actions of $G$ on the real line (without global fixed points), considered up to semi-conjugacy, can be encoded by the space of orbits of a flow on a compact space $(Y, Φ)$ naturally associated with $G$ and uniquely defined up to flow equivalence, that we call the \emph{Deroin space} of $G$. We show a realisation result: every expansive flow $(Y, Φ)$ on a compact metrisable space of topological dimension 1, satisfying some mild additional assumptions, arises as the Deroin space of a finitely generated group. This is proven by identifying the Deroin space of an explicit family of groups acting on suspension flows of subshifts, which is a variant of a construction introduced by the second and fourth authors. This result provides a source of examples of finitely generated groups satisfying various new phenomena for actions on the line, related to their rigidity/flexibility properties and to the structure of (path-)connected components of the space of actions.
△ Less
Submitted 2 September, 2024; v1 submitted 6 June, 2023;
originally announced June 2023.
-
Liouville property for groups and conformal dimension
Authors:
Nicolás Matte Bon,
Volodymyr Nekrashevych,
Tianyi Zheng
Abstract:
Conformal dimension is a fundamental invariant of metric spaces, particularly suited to the study of self-similar spaces, such as spaces with an expanding self-covering (e.g. Julia sets of complex rational functions). The dynamics of these systems are encoded by the associated iterated monodromy groups, which are examples of contracting self-similar groups. Their amenability is a well-known open q…
▽ More
Conformal dimension is a fundamental invariant of metric spaces, particularly suited to the study of self-similar spaces, such as spaces with an expanding self-covering (e.g. Julia sets of complex rational functions). The dynamics of these systems are encoded by the associated iterated monodromy groups, which are examples of contracting self-similar groups. Their amenability is a well-known open question. We show that if $G$ is an iterated monodromy group, and if the (Alfhors-regular) conformal dimension of the underlying space is strictly less than 2, then every symmetric random walk with finite second moment on $G$ has the Liouville property. As a corollary, every such group is amenable. This criterion applies to all examples of contracting groups previously known to be amenable, and to many new ones. In particular, it implies that for every sub-hyperbolic complex rational function $f$ whose Julia set is not the whole sphere, the iterated monodromy group of $f$ is amenable.
△ Less
Submitted 20 February, 2025; v1 submitted 23 May, 2023;
originally announced May 2023.
-
Mixed and multipoint finite element methods for rotation-based poroelasticity
Authors:
Wietse M. Boon,
Alessio Fumagalli,
Anna Scotti
Abstract:
This work proposes a mixed finite element method for the Biot poroelasticity equations that employs the lowest-order Raviart-Thomas finite element space for the solid displacement and piecewise constants for the fluid pressure. The method is based on the formulation of linearized elasticity as a weighted vector Laplace problem. By introducing the solid rotation and fluid flux as auxiliary variable…
▽ More
This work proposes a mixed finite element method for the Biot poroelasticity equations that employs the lowest-order Raviart-Thomas finite element space for the solid displacement and piecewise constants for the fluid pressure. The method is based on the formulation of linearized elasticity as a weighted vector Laplace problem. By introducing the solid rotation and fluid flux as auxiliary variables, we form a four-field formulation of the Biot system, which is discretized using conforming mixed finite element spaces. The auxiliary variables are subsequently removed from the system in a local hybridization technique to obtain a multipoint rotation-flux mixed finite element method. Stability and convergence of the four-field and multipoint mixed finite element methods are shown in terms of weighted norms, which additionally leads to parameter-robust preconditioners. Numerical experiments confirm the theoretical results.
△ Less
Submitted 23 December, 2022;
originally announced December 2022.
-
Flux-mortar mixed finite element methods with multipoint flux approximation
Authors:
Wietse M. Boon,
Dennis Gläser,
Rainer Helmig,
Ivan Yotov
Abstract:
The flux-mortar mixed finite element method was recently developed for a general class of domain decomposition saddle point problems on non-matching grids. In this work we develop the method for Darcy flow using the multipoint flux approximation as the subdomain discretization. The subdomain problems involve solving positive definite cell-centered pressure systems. The normal flux on the subdomain…
▽ More
The flux-mortar mixed finite element method was recently developed for a general class of domain decomposition saddle point problems on non-matching grids. In this work we develop the method for Darcy flow using the multipoint flux approximation as the subdomain discretization. The subdomain problems involve solving positive definite cell-centered pressure systems. The normal flux on the subdomain interfaces is the mortar coupling variable, which plays the role of a Lagrange multiplier to impose weakly continuity of pressure. We present well-posedness and error analysis based on reformulating the method as a mixed finite element method with a quadrature rule. We develop a non-overlapping domain decomposition algorithm for the solution of the resulting algebraic system that reduces it to an interface problem for the flux-mortar, as well as an efficient interface preconditioner. A series of numerical experiments is presented illustrating the performance of the method on general grids, including applications to flow in complex porous media.
△ Less
Submitted 30 November, 2022;
originally announced November 2022.
-
The Hodge-Laplacian on the Čech-de Rham complex governs coupled problems
Authors:
Wietse Marijn Boon,
Daniel Førland Holmen,
Jan Martin Nordbotten,
Jon Eivind Vatne
Abstract:
By endowing the Čech-de Rham complex with a Hilbert space structure, we obtain a Hilbert complex with sufficient properties to allow for well-posed Hodge-Laplace problems. We observe that these Hodge-Laplace equations govern a class of coupled problems arising from physical systems including elastically attached strings, multiple-porosity flow systems and 3D-1D coupled flow models.
By endowing the Čech-de Rham complex with a Hilbert space structure, we obtain a Hilbert complex with sufficient properties to allow for well-posed Hodge-Laplace problems. We observe that these Hodge-Laplace equations govern a class of coupled problems arising from physical systems including elastically attached strings, multiple-porosity flow systems and 3D-1D coupled flow models.
△ Less
Submitted 10 August, 2023; v1 submitted 8 November, 2022;
originally announced November 2022.
-
A Parameter-Robust Iterative Method for Stokes-Darcy Problems Retaining Local Mass Conservation
Authors:
Wietse M. Boon
Abstract:
We consider a coupled model of free-flow and porous medium flow, governed by stationary Stokes and Darcy flow, respectively. The coupling between the two systems is enforced by introducing a single variable representing the normal flux across the interface. The problem is reduced to a system concerning only the interface flux variable, which is shown to be well-posed in appropriately weighted norm…
▽ More
We consider a coupled model of free-flow and porous medium flow, governed by stationary Stokes and Darcy flow, respectively. The coupling between the two systems is enforced by introducing a single variable representing the normal flux across the interface. The problem is reduced to a system concerning only the interface flux variable, which is shown to be well-posed in appropriately weighted norms. An iterative solution scheme is then proposed to solve the reduced problem such that mass is conserved at each iteration. By introducing a preconditioner based on the weighted norms from the analysis, the performance of the iterative scheme is shown to be robust with respect to material and discretization parameters. By construction, the scheme is applicable to a wide range of locally conservative discretization schemes and we consider explicit examples in the framework of Mixed Finite Element methods. Finally, the theoretical results are confirmed with the use of numerical experiments.
△ Less
Submitted 27 September, 2022;
originally announced September 2022.
-
Solvable Groups and Affine Actions on the Line
Authors:
Joaquín Brum,
Nicolás Matte Bon,
Cristóbal Rivas,
Michele Triestino
Abstract:
We prove a structural result for orientation-preserving actions of finitely generated solvable groups on real intervals, considered up to semi-conjugacy. As applications we obtain new answers to a problem first considered by J. F. Plante, which asks under which conditions an action of a solvable group on a real interval is semi-conjugate to an action on the line by affine transformations. We show…
▽ More
We prove a structural result for orientation-preserving actions of finitely generated solvable groups on real intervals, considered up to semi-conjugacy. As applications we obtain new answers to a problem first considered by J. F. Plante, which asks under which conditions an action of a solvable group on a real interval is semi-conjugate to an action on the line by affine transformations. We show that this is always the case for actions by $C^1$ diffeomorphisms on closed intervals. For arbitrary actions by homeomorphisms, for which this result is no longer true (as shown by Plante), we show that a semi-conjugacy to an affine action still exists in a local sense, at the level of germs near the endpoints. Finally for a vast class of solvable groups, including all solvable linear groups, we show that the family of affine actions on the line is robust, in the sense that any action by homeomorphisms on the line which is sufficiently close to an affine action must be semi-conjugate to an affine action. This robustness fails for general solvable groups, as illustrated by a counterexample.
△ Less
Submitted 3 September, 2024; v1 submitted 31 August, 2022;
originally announced September 2022.
-
Estimating Probability Distributions of Travel Times by Fitting a Markovian Velocity Model
Authors:
Nikki Levering,
Marko Boon,
Michel Mandjes
Abstract:
To improve the routing decisions of individual drivers and the management policies designed by traffic operators, one needs reliable estimates of travel time distributions. Since congestion caused by both recurrent patterns (e.g., rush hours) and non-recurrent events (e.g., traffic incidents) leads to potentially substantial delays in highway travel times, we focus on a framework capable of incorp…
▽ More
To improve the routing decisions of individual drivers and the management policies designed by traffic operators, one needs reliable estimates of travel time distributions. Since congestion caused by both recurrent patterns (e.g., rush hours) and non-recurrent events (e.g., traffic incidents) leads to potentially substantial delays in highway travel times, we focus on a framework capable of incorporating both effects. To this end, we propose to work with the Markovian Velocity model (MVM), based on an environmental background process that tracks both random and (semi-)predictable events affecting the vehicle speeds in a highway network. We show how to operationalize this flexible data-driven model in order to obtain the travel time distribution for a vehicle departing at a known day and time to traverse a given path. Specifically, we detail how to structure the background process and set the speed levels corresponding to the different states of this process. First, for the inclusion of non-recurrent events, we study incident data to describe the random durations of the incident and inter-incident times. Both of them depend on the time of day, but we identify periods in which they can be considered time-independent. Second, for an estimation of the speed patterns in both incident and inter-incident regime, loop detector data for each of the identified periods is studied. In numerical examples that use road network detector data of the Dutch highway network, we obtain the travel time distribution estimates that arise under different traffic regimes, and illustrate the advantages compared to traditional travel-time prediction methods.
△ Less
Submitted 11 October, 2022; v1 submitted 1 August, 2022;
originally announced August 2022.
-
A multipoint vorticity mixed finite element method for incompressible Stokes flow
Authors:
Wietse M. Boon,
Alessio Fumagalli
Abstract:
We propose a mixed finite element method for Stokes flow with one degree of freedom per element and facet of simplicial grids. The method is derived by considering the vorticity-velocity-pressure formulation and eliminating the vorticity locally through the use of a quadrature rule. The discrete solution is pointwise divergence-free and the method is pressure robust. The theoretically derived conv…
▽ More
We propose a mixed finite element method for Stokes flow with one degree of freedom per element and facet of simplicial grids. The method is derived by considering the vorticity-velocity-pressure formulation and eliminating the vorticity locally through the use of a quadrature rule. The discrete solution is pointwise divergence-free and the method is pressure robust. The theoretically derived convergence rates are confirmed by numerical experiments.
△ Less
Submitted 29 August, 2022;
originally announced August 2022.
-
Heavy-traffic single-server queues and the transform method
Authors:
M. A. A. Boon,
A. J. E. M. Janssen,
J. S. H. van Leeuwaarden
Abstract:
Heavy-traffic limit theory deals with queues that operate close to criticality and face severe queueing times. Let $W$ denote the steady-state waiting time in the ${\rm GI}/{\rm G}/1$ queue. Kingman (1961) showed that $W$, when appropriately scaled, converges in distribution to an exponential random variable as the system's load approaches 1. The original proof of this famous result uses the trans…
▽ More
Heavy-traffic limit theory deals with queues that operate close to criticality and face severe queueing times. Let $W$ denote the steady-state waiting time in the ${\rm GI}/{\rm G}/1$ queue. Kingman (1961) showed that $W$, when appropriately scaled, converges in distribution to an exponential random variable as the system's load approaches 1. The original proof of this famous result uses the transform method. Starting from the Laplace transform of the pdf of $W$ (Pollaczek's contour integral representation), Kingman showed convergence of transforms and hence weak convergence of the involved random variables. We apply and extend this transform method to obtain convergence of moments with error assessment. We also demonstrate how the transform method can be applied to so-called nearly deterministic queues in a Kingman-type and a Gaussian heavy-traffic regime. We demonstrate numerically the accuracy of the various heavy-traffic approximations.
△ Less
Submitted 20 June, 2022;
originally announced June 2022.
-
Some torsion-free solvable groups with few subquotients
Authors:
Adrien Le Boudec,
Nicolás Matte Bon
Abstract:
We construct finitely generated torsion-free solvable groups $G$ that have infinite rank, but such that all finitely generated torsion-free metabelian subquotients of $G$ are virtually abelian. In particular all finitely generated metabelian subgroups of $G$ are virtually abelian. The existence of such groups shows that there is no "torsion-free version" of P. Kropholler's theorem, which character…
▽ More
We construct finitely generated torsion-free solvable groups $G$ that have infinite rank, but such that all finitely generated torsion-free metabelian subquotients of $G$ are virtually abelian. In particular all finitely generated metabelian subgroups of $G$ are virtually abelian. The existence of such groups shows that there is no "torsion-free version" of P. Kropholler's theorem, which characterises solvable groups of infinite rank via their metabelian subquotients.
△ Less
Submitted 29 August, 2023; v1 submitted 14 June, 2022;
originally announced June 2022.
-
A Reduced Basis Method for Darcy flow systems that ensures local mass conservation by using exact discrete complexes
Authors:
Wietse M. Boon,
Alessio Fumagalli
Abstract:
A solution technique is proposed for flows in porous media that guarantees local conservation of mass. We first compute a flux field to balance the mass source and then exploit exact co-chain complexes to generate a solenoidal correction. A reduced basis method based on proper orthogonal decomposition is employed to construct the correction and we show that mass balance is ensured regardless of th…
▽ More
A solution technique is proposed for flows in porous media that guarantees local conservation of mass. We first compute a flux field to balance the mass source and then exploit exact co-chain complexes to generate a solenoidal correction. A reduced basis method based on proper orthogonal decomposition is employed to construct the correction and we show that mass balance is ensured regardless of the quality of the reduced basis approximation. The method is directly applicable to mixed finite and virtual element methods, among other structure-preserving discretization techniques, and we present the extension to Darcy flow in fractured porous media.
△ Less
Submitted 31 May, 2022;
originally announced May 2022.
-
Growth of actions of solvable groups
Authors:
Adrien Le Boudec,
Nicolás Matte Bon
Abstract:
Given a finitely generated group $G$, we are interested in common geometric properties of all graphs of faithful actions of $G$. In this article we focus on their growth. We say that a group $G$ has a Schreier growth gap $f(n)$ if every faithful $G$-set $X$ satisfies $\mathrm{vol}_{G, X}(n)\succcurlyeq f(n)$, where $\mathrm{vol}_{G, X}(n)$ is the growth of the action of $G$ on $X$. Here we study S…
▽ More
Given a finitely generated group $G$, we are interested in common geometric properties of all graphs of faithful actions of $G$. In this article we focus on their growth. We say that a group $G$ has a Schreier growth gap $f(n)$ if every faithful $G$-set $X$ satisfies $\mathrm{vol}_{G, X}(n)\succcurlyeq f(n)$, where $\mathrm{vol}_{G, X}(n)$ is the growth of the action of $G$ on $X$. Here we study Schreier growth gaps for finitely generated solvable groups.
We prove that if a metabelian group $G$ is either finitely presented or torsion-free, then $G$ has a Schreier growth gap $n^2$, provided $G$ is not virtually abelian. We also prove that if $G$ is a metabelian group of Krull dimension $k$, then $G$ has a Schreier growth gap $n^k$. For instance the wreath product $C_p \wr \mathbb{Z}^d$ has a Schreier growth gap $n^d$, and $\mathbb{Z} \wr \mathbb{Z}^d$ has a Schreier growth gap $n^{d+1}$. These lower bounds are sharp. For solvable groups of finite Prüfer rank, we establish a Schreier growth gap $\exp(n)$, provided $G$ is not virtually nilpotent. This covers all solvable groups that are linear over $\mathbb{Q}$. Finally for a vast class of torsion-free solvable groups, which includes solvable groups that are linear, we establish a Schreier growth gap $n^2$.
△ Less
Submitted 13 July, 2022; v1 submitted 24 May, 2022;
originally announced May 2022.
-
A quantitative Neumann lemma for finitely generated groups
Authors:
Elia Gorokhovsky,
Nicolás Matte Bon,
Omer Tamuz
Abstract:
We study the coset covering function $\mathfrak{C}(r)$ of a finitely generated group: the number of cosets of infinite index subgroups needed to cover the ball of radius $r$. We show that $\mathfrak{C}(r)$ is of order at least $\sqrt{r}$ for all groups. Moreover, we show that $\mathfrak{C}(r)$ is linear for a class of amenable groups including virtually nilpotent and polycyclic groups, and that it…
▽ More
We study the coset covering function $\mathfrak{C}(r)$ of a finitely generated group: the number of cosets of infinite index subgroups needed to cover the ball of radius $r$. We show that $\mathfrak{C}(r)$ is of order at least $\sqrt{r}$ for all groups. Moreover, we show that $\mathfrak{C}(r)$ is linear for a class of amenable groups including virtually nilpotent and polycyclic groups, and that it is exponential for property (T) groups.
△ Less
Submitted 19 May, 2022; v1 submitted 21 March, 2022;
originally announced March 2022.
-
An Adaptive Penalty Method for Inequality Constrained Minimization Problems
Authors:
Wietse M. Boon,
Jan M. Nordbotten
Abstract:
The primal-dual active set method is observed to be the limit of a sequence of penalty formulations. Using this perspective, we propose a penalty method that adaptively becomes the active set method as the residual of the iterate decreases. The adaptive penalty method (APM) therewith combines the main advantages of both methods, namely the ease of implementation of penalty methods and the exact im…
▽ More
The primal-dual active set method is observed to be the limit of a sequence of penalty formulations. Using this perspective, we propose a penalty method that adaptively becomes the active set method as the residual of the iterate decreases. The adaptive penalty method (APM) therewith combines the main advantages of both methods, namely the ease of implementation of penalty methods and the exact imposition of inequality constraints inherent to the active set method. The scheme can be considered a quasi-Newton method in which the Jacobian is approximated using a penalty parameter. This spatially varying parameter is chosen at each iteration by solving an auxiliary problem.
△ Less
Submitted 7 January, 2022;
originally announced January 2022.
-
The Fixed-Cycle Traffic-Light queue with multiple lanes and temporary blockages
Authors:
Rik W. Timmerman,
Marko A. A. Boon
Abstract:
Traffic-light modelling is a complex task, because many factors have to be taken into account. In particular, capturing all traffic flows in one model can significantly complicate the model. Therefore, several realistic features are typically omitted from most models. We introduce a mechanism to include pedestrians and focus on situations where they may block vehicles that get a green light simult…
▽ More
Traffic-light modelling is a complex task, because many factors have to be taken into account. In particular, capturing all traffic flows in one model can significantly complicate the model. Therefore, several realistic features are typically omitted from most models. We introduce a mechanism to include pedestrians and focus on situations where they may block vehicles that get a green light simultaneously. More specifically, we consider a generalization of the Fixed-Cycle Traffic-Light (FCTL) queue. Our framework allows us to model situations where (part of the) vehicles are blocked, e.g. by pedestrians that block turning traffic and where several vehicles might depart simultaneously, e.g. in case of multiple lanes receiving a green light simultaneously. We rely on probability generating function and complex analysis techniques which are also used to study the regular FCTL queue. We study the effect of several parameters on performance measures such as the mean delay and queue-length distribution.
△ Less
Submitted 3 August, 2022; v1 submitted 21 December, 2021;
originally announced December 2021.
-
Mixed-dimensional poromechanical models of fractured porous media
Authors:
Wietse M. Boon,
Jan M. Nordbotten
Abstract:
We combine classical continuum mechanics with the recently developed calculus for mixed-dimensional problems to obtain governing equations for flow in, and deformation of, fractured materials. We present models both in the context of finite and infinitesimal strain, and discuss non-linear (and non-differentiable) constitutive laws such as friction models and contact mechanics in the fracture. Usin…
▽ More
We combine classical continuum mechanics with the recently developed calculus for mixed-dimensional problems to obtain governing equations for flow in, and deformation of, fractured materials. We present models both in the context of finite and infinitesimal strain, and discuss non-linear (and non-differentiable) constitutive laws such as friction models and contact mechanics in the fracture. Using the theory of well-posedness for evolutionary equations with maximal monotone operators, we show well-posedness of the model in the case of infinitesimal strain and under certain assumptions on the model parameters.
△ Less
Submitted 9 December, 2021;
originally announced December 2021.
-
A Framework for Efficient Dynamic Routing under Stochastically Varying Conditions
Authors:
Nikki Levering,
Marko Boon,
Michel Mandjes,
Rudesindo Núñez-Queija
Abstract:
Despite measures to reduce congestion, occurrences of both recurrent and non-recurrent congestion cause large delays in road networks with important economic implications. Educated use of Intelligent Transportation Systems (ITS) can significantly reduce travel times. We focus on a dynamic stochastic shortest path problem: our objective is to minimize the expected travel time of a vehicle, assuming…
▽ More
Despite measures to reduce congestion, occurrences of both recurrent and non-recurrent congestion cause large delays in road networks with important economic implications. Educated use of Intelligent Transportation Systems (ITS) can significantly reduce travel times. We focus on a dynamic stochastic shortest path problem: our objective is to minimize the expected travel time of a vehicle, assuming the vehicle may adapt the chosen route while driving. We introduce a new stochastic process that incorporates ITS information to model the uncertainties affecting congestion in road networks. A Markov-modulated background process tracks traffic events that affect the speed of travelers. The resulting continuous-time routing model allows for correlation between velocities on the arcs and incorporates both recurrent and non-recurrent congestion. Obtaining the optimal routing policy in the resulting semi-Markov decision process using dynamic programming is computationally intractable for realistic network sizes. To overcome this, we present the EDSGER* algorithm, a Dijkstra-like shortest path algorithm that can be used dynamically with real-time response. We develop additional speed-up techniques that reduce the size of the network model. We quantify the performance of the algorithms by providing numerical examples that use road network detector data for The Netherlands.
△ Less
Submitted 22 November, 2021;
originally announced November 2021.
-
Parameter-robust methods for the Biot-Stokes interfacial coupling without Lagrange multipliers
Authors:
Wietse M. Boon,
Martin Hornkjøl,
Miroslav Kuchta,
Kent-Andre Mardal,
Ricardo Ruiz-Baier
Abstract:
In this paper we advance the analysis of discretizations for a fluid-structure interaction model of the monolithic coupling between the free flow of a viscous Newtonian fluid and a deformable porous medium separated by an interface. A five-field mixed-primal finite element scheme is proposed solving for Stokes velocity-pressure and Biot displacement-total pressure-fluid pressure. Adequate inf-sup…
▽ More
In this paper we advance the analysis of discretizations for a fluid-structure interaction model of the monolithic coupling between the free flow of a viscous Newtonian fluid and a deformable porous medium separated by an interface. A five-field mixed-primal finite element scheme is proposed solving for Stokes velocity-pressure and Biot displacement-total pressure-fluid pressure. Adequate inf-sup conditions are derived, and one of the distinctive features of the formulation is that its stability is established robustly in all material parameters. We propose robust preconditioners for this perturbed saddle-point problem using appropriately weighted operators in fractional Sobolev and metric spaces at the interface. The performance is corroborated by several test cases, including the application to interfacial flow in the brain.
△ Less
Submitted 10 November, 2021;
originally announced November 2021.
-
Robust monolithic solvers for the Stokes-Darcy problem with the Darcy equation in primal form
Authors:
Wietse M. Boon,
Timo Koch,
Miroslav Kuchta,
Kent-Andre Mardal
Abstract:
We construct mesh-independent and parameter-robust monolithic solvers for the coupled primal Stokes-Darcy problem. Three different formulations and their discretizations in terms of conforming and non-conforming finite element methods and finite volume methods are considered. In each case, robust preconditioners are derived using a unified theoretical framework. In particular, the suggested precon…
▽ More
We construct mesh-independent and parameter-robust monolithic solvers for the coupled primal Stokes-Darcy problem. Three different formulations and their discretizations in terms of conforming and non-conforming finite element methods and finite volume methods are considered. In each case, robust preconditioners are derived using a unified theoretical framework. In particular, the suggested preconditioners utilize operators in fractional Sobolev spaces. Numerical experiments demonstrate the parameter-robustness of the proposed solvers.
△ Less
Submitted 14 October, 2021;
originally announced October 2021.
-
Piecewise strongly proximal actions, free boundaries and the Neretin groups
Authors:
Pierre-Emmanuel Caprace,
Adrien Le Boudec,
Nicolás Matte Bon
Abstract:
A closed subgroup $H$ of a locally compact group $G$ is confined if the closure of the conjugacy class of $H$ in the Chabauty space of $G$ does not contain the trivial subgroup. We establish a dynamical criterion on the action of a totally disconnected locally compact group $G$ on a compact space $X$ ensuring that no relatively amenable subgroup of $G$ can be confined. This property is equivalent…
▽ More
A closed subgroup $H$ of a locally compact group $G$ is confined if the closure of the conjugacy class of $H$ in the Chabauty space of $G$ does not contain the trivial subgroup. We establish a dynamical criterion on the action of a totally disconnected locally compact group $G$ on a compact space $X$ ensuring that no relatively amenable subgroup of $G$ can be confined. This property is equivalent to the fact that the action of $G$ on its Furstenberg boundary is free. Our criterion applies to the Neretin groups. We deduce that each Neretin group has two inequivalent irreducible unitary representations that are weakly equivalent. This implies that the Neretin groups are not of type I, thereby answering a question of Y.~Neretin.
△ Less
Submitted 8 December, 2022; v1 submitted 16 July, 2021;
originally announced July 2021.
-
Gradient descent in materia through homodyne gradient extraction
Authors:
Marcus N. Boon,
Lorenzo Cassola,
Hans-Christian Ruiz Euler,
Tao Chen,
Bram van de Ven,
Unai Alegre Ibarra,
Peter A. Bobbert,
Wilfred G. van der Wiel
Abstract:
Deep learning, a multi-layered neural network approach inspired by the brain, has revolutionized machine learning. One of its key enablers has been backpropagation, an algorithm that computes the gradient of a loss function with respect to the weights and biases in the neural network model, in combination with its use in gradient descent. However, the implementation of deep learning in digital com…
▽ More
Deep learning, a multi-layered neural network approach inspired by the brain, has revolutionized machine learning. One of its key enablers has been backpropagation, an algorithm that computes the gradient of a loss function with respect to the weights and biases in the neural network model, in combination with its use in gradient descent. However, the implementation of deep learning in digital computers is intrinsically energy hungry, with energy consumption becoming prohibitively high for many applications. This has stimulated the development of specialized hardware, ranging from neuromorphic CMOS integrated circuits and integrated photonic tensor cores to unconventional, material-based computing system. The learning process in these material systems, realized, e.g., by artificial evolution, equilibrium propagation or surrogate modelling, is a complicated and time-consuming process. Here, we demonstrate a simple yet efficient and accurate gradient extraction method, based on the principle of homodyne detection, for performing gradient descent on a loss function directly in a physical system without the need of an analytical description. By perturbing the parameters that need to be optimized using sinusoidal waveforms with distinct frequencies, we effectively obtain the gradient information in a highly robust and scalable manner. We illustrate the method in dopant network processing units, but argue that it is applicable in a wide range of physical systems. Homodyne gradient extraction can in principle be fully implemented in materia, facilitating the development of autonomously learning material systems.
△ Less
Submitted 7 January, 2025; v1 submitted 15 May, 2021;
originally announced May 2021.
-
Locally moving groups and laminar actions on the line
Authors:
Joaquín Brum,
Nicolás Matte Bon,
Cristóbal Rivas,
Michele Triestino
Abstract:
We prove various results that, given a sufficiently rich subgroup $G$ of the group of homeomorphisms on the real line, describe the structure of the other possible actions of $G$ on the line, and address under which conditions such actions must be semi-conjugate to the natural defining action of $G$. The main assumption is that $G$ should be locally moving, meaning that for every open interval the…
▽ More
We prove various results that, given a sufficiently rich subgroup $G$ of the group of homeomorphisms on the real line, describe the structure of the other possible actions of $G$ on the line, and address under which conditions such actions must be semi-conjugate to the natural defining action of $G$. The main assumption is that $G$ should be locally moving, meaning that for every open interval the subgroup of elements fixing pointwise its complement, acts on it without fixed points. We show that when $G$ is a locally moving group, every $C^1$ action of $G$ on the real line is semi-conjugate to its standard action or to a non-faithful action. The situation is much wilder when considering actions by homeomorphisms: for a large class of groups, we describe uncountably many conjugacy classes of faithful minimal actions. Next, we prove structure theorems for $C^0$ actions, based on the study of laminar actions, which are actions on the line preserving a lamination. When $G$ is a group of homeomorphisms of the line acting minimally, and with a non-trivial compactly supported element, then any faithful minimal action of $G$ on the line is either laminar or conjugate to its standard action. Moreover, when $G$ is a locally moving group with a suitable finite generation condition, for any faithful minimal laminar action there is a map from the lamination to the line, called a horograding, which is equivariant with respect to the action on the lamination and the standard one, and with some extra suitable conditions. This establishes a tight relation between all minimal actions on the line of such groups, and their standard actions. Finally, based on an analysis of the space of harmonic actions, we show that for a large class of locally moving groups, the standard action is locally rigid, in the sense that sufficiently small perturbations in the compact-open topology give semi-conjugate actions.
△ Less
Submitted 21 November, 2024; v1 submitted 29 April, 2021;
originally announced April 2021.
-
Optimal capacity allocation for heavy-traffic fixed-cycle traffic-light queues and intersections
Authors:
Marko Boon,
Guido Janssen,
Johan van Leeuwaarden,
Rik Timmerman
Abstract:
Setting traffic light signals is a classical topic in traffic engineering, and important in heavy-traffic conditions when green times become scarce and longer queues are inevitably formed. For the fixed-cycle traffic-light queue, an elementary queueing model for one traffic light with cyclic signaling, we obtain heavy-traffic limits that capture the long-term queue behavior. We leverage the limit…
▽ More
Setting traffic light signals is a classical topic in traffic engineering, and important in heavy-traffic conditions when green times become scarce and longer queues are inevitably formed. For the fixed-cycle traffic-light queue, an elementary queueing model for one traffic light with cyclic signaling, we obtain heavy-traffic limits that capture the long-term queue behavior. We leverage the limit theorems to obtain sharp performance approximations for one queue in heavy traffic. We also consider optimization problems that aim for optimal division of green times among multiple conflicting traffic streams. We show that inserting heavy-traffic approximations leads to tractable optimization problems and close-to-optimal signal prescriptions. The same type of limiting result can be established for several vehicle-actuated strategies which adds to the general applicability of the framework presented in this paper.
△ Less
Submitted 11 August, 2022; v1 submitted 9 April, 2021;
originally announced April 2021.
-
Dynamic Appointment Scheduling
Authors:
Roshan Mahes,
Michel Mandjes,
Marko Boon,
Peter Taylor
Abstract:
This paper considers appointment scheduling in a setting in which at every client arrival the schedule of all future clients can be adapted. Starting our analysis with an explicit treatment of the case of exponentially distributed service times, we then develop a phase-type-based approach to also cover cases in which the service times' squared coefficient of variation differs from 1. The approach…
▽ More
This paper considers appointment scheduling in a setting in which at every client arrival the schedule of all future clients can be adapted. Starting our analysis with an explicit treatment of the case of exponentially distributed service times, we then develop a phase-type-based approach to also cover cases in which the service times' squared coefficient of variation differs from 1. The approach relies on dynamic programming, with the state information being the number of clients waiting, the elapsed service time of the client in service, and the number of clients still to be scheduled. The use of dynamic schedules is illustrated through a set of numerical experiments, showing (i) the effect of wrongly assuming exponentially distributed service times, and (ii) the gains (over static schedules, that is) achieved by rescheduling.
△ Less
Submitted 16 May, 2023; v1 submitted 17 March, 2021;
originally announced March 2021.
-
Confined subgroups and high transitivity
Authors:
Adrien Le Boudec,
Nicolás Matte Bon
Abstract:
An action of a group $G$ is highly transitive if $G$ acts transitively on $k$-tuples of distinct points for all $k \geq 1$. Many examples of groups with a rich geometric or dynamical action admit highly transitive actions. We prove that if a group $G$ admits a highly transitive action such that $G$ does not contain the subgroup of finitary alternating permutations, and if $H$ is a confined subgrou…
▽ More
An action of a group $G$ is highly transitive if $G$ acts transitively on $k$-tuples of distinct points for all $k \geq 1$. Many examples of groups with a rich geometric or dynamical action admit highly transitive actions. We prove that if a group $G$ admits a highly transitive action such that $G$ does not contain the subgroup of finitary alternating permutations, and if $H$ is a confined subgroup of $G$, then the action of $H$ remains highly transitive, possibly after discarding finitely many points.
This result provides a tool to rule out the existence of highly transitive actions, and to classify highly transitive actions of a given group. We give concrete illustrations of these applications in the realm of groups of dynamical origin. In particular we obtain the first non-trivial classification of highly transitive actions of a finitely generated group.
△ Less
Submitted 19 November, 2021; v1 submitted 7 December, 2020;
originally announced December 2020.
-
Robust preconditioners for perturbed saddle-point problems and conservative discretizations of Biot's equations utilizing total pressure
Authors:
Wietse M. Boon,
Miroslav Kuchta,
Kent-Andre Mardal,
Ricardo Ruiz-Baier
Abstract:
We develop robust solvers for a class of perturbed saddle-point problems arising in the study of a second-order elliptic equation in mixed form (in terms of flux and potential), and of the four-field formulation of Biot's consolidation problem for linear poroelasticity (using displacement, filtration flux, total pressure and fluid pressure). The stability of the continuous variational mixed proble…
▽ More
We develop robust solvers for a class of perturbed saddle-point problems arising in the study of a second-order elliptic equation in mixed form (in terms of flux and potential), and of the four-field formulation of Biot's consolidation problem for linear poroelasticity (using displacement, filtration flux, total pressure and fluid pressure). The stability of the continuous variational mixed problems, which hinges upon using adequately weighted spaces, is addressed in detail; and the efficacy of the proposed preconditioners, as well as their robustness with respect to relevant material properties, is demonstrated through several numerical experiments.
△ Less
Submitted 10 November, 2020;
originally announced November 2020.
-
Containment strategies after the first wave of COVID-19 using mobility data
Authors:
Martijn Gösgens,
Teun Hendriks,
Marko Boon,
Stijn Keuning,
Wim Steenbakkers,
Hans Heesterbeek,
Remco van der Hofstad,
Nelly Litvak
Abstract:
In their response to the COVID-19 outbreak, governments face the dilemma to balance public health and economy. Mobility plays a central role in this dilemma because the movement of people enables both economic activity and virus spread. We use mobility data in the form of counts of travelers between regions, to extend the often-used SEIR models to include mobility between regions. We quantify the…
▽ More
In their response to the COVID-19 outbreak, governments face the dilemma to balance public health and economy. Mobility plays a central role in this dilemma because the movement of people enables both economic activity and virus spread. We use mobility data in the form of counts of travelers between regions, to extend the often-used SEIR models to include mobility between regions. We quantify the trade-off between mobility and infection spread in terms of a single parameter, to be chosen by policy makers, and propose strategies for restricting mobility so that the restrictions are minimal while the infection spread is effectively limited. We consider restrictions where the country is divided into regions, and study scenarios where mobility is allowed within these regions, and disallowed between them. We propose heuristic methods to approximate optimal choices for these regions. We evaluate the obtained restrictions based on our trade-off. The results show that our methods are especially effective when the infections are highly concentrated, e.g., around a few municipalities, as resulting from superspreading events that play an important role in the spread of COVID-19. We demonstrate our method in the example of the Netherlands. The results apply more broadly when mobility data is available.
△ Less
Submitted 27 October, 2020;
originally announced October 2020.
-
Flux-mortar mixed finite element methods on non-matching grids
Authors:
Wietse M. Boon,
Dennis Gläser,
Rainer Helmig,
Ivan Yotov
Abstract:
We investigate a mortar technique for mixed finite element approximations of Darcy flow on non-matching grids in which the normal flux is chosen as the coupling variable. It plays the role of a Lagrange multiplier to impose weakly continuity of pressure. In the mixed formulation of the problem, the normal flux is an essential boundary condition and it is incorporated with the use of suitable exten…
▽ More
We investigate a mortar technique for mixed finite element approximations of Darcy flow on non-matching grids in which the normal flux is chosen as the coupling variable. It plays the role of a Lagrange multiplier to impose weakly continuity of pressure. In the mixed formulation of the problem, the normal flux is an essential boundary condition and it is incorporated with the use of suitable extension operators. Two such extension operators are considered and we analyze the resulting formulations with respect to stability and convergence. We further generalize the theoretical results, showing that the same domain decomposition technique is applicable to a class of saddle point problems satisfying mild assumptions. An example of coupled Stokes-Darcy flows is presented.
△ Less
Submitted 21 August, 2020;
originally announced August 2020.
-
A commutator lemma for confined subgroups and applications to groups acting on rooted trees
Authors:
Adrien Le Boudec,
Nicolás Matte Bon
Abstract:
A subgroup $H$ of a group $G$ is confined if the $G$-orbit of $H$ under conjugation is bounded away from the trivial subgroup in the space $\operatorname{Sub}(G)$ of subgroups of $G$. We prove a commutator lemma for confined subgroups. For groups of homeomorphisms, this provides the exact analogue for confined subgroups (hence in particular for URSs) of the classical commutator lemma for normal su…
▽ More
A subgroup $H$ of a group $G$ is confined if the $G$-orbit of $H$ under conjugation is bounded away from the trivial subgroup in the space $\operatorname{Sub}(G)$ of subgroups of $G$. We prove a commutator lemma for confined subgroups. For groups of homeomorphisms, this provides the exact analogue for confined subgroups (hence in particular for URSs) of the classical commutator lemma for normal subgroups: if $G$ is a group of homeomorphisms of a Hausdorff space $X$ and $H$ is a confined subgroup of $G$, then $H$ contains the derived subgroup of the rigid stabilizer of some open subset of $X$. We apply this commutator lemma in the setting of groups acting on rooted trees. We prove a theorem describing the structure of URSs of weakly branch groups and of their non-topologically free minimal actions. Among the applications of these results, we show: 1) if $G$ is a finitely generated branch group, the $G$-action on $\partial T$ has the smallest possible growth among all faithful $G$-actions; 2) if $G$ is a finitely generated branch group, then every embedding from $G$ into a group of homeomorphisms of strongly bounded type (e.g. a bounded automaton group) must be spatially realized; 3) if $G$ is a finitely generated weakly branch group, then $G$ does not embed into the group IET of interval exchange transformations.
△ Less
Submitted 5 July, 2023; v1 submitted 15 June, 2020;
originally announced June 2020.
-
Estimating Individual Treatment Effects through Causal Populations Identification
Authors:
Céline Beji,
Michaël Bon,
Florian Yger,
Jamal Atif
Abstract:
Estimating the Individual Treatment Effect from observational data, defined as the difference between outcomes with and without treatment or intervention, while observing just one of both, is a challenging problems in causal learning. In this paper, we formulate this problem as an inference from hidden variables and enforce causal constraints based on a model of four exclusive causal populations.…
▽ More
Estimating the Individual Treatment Effect from observational data, defined as the difference between outcomes with and without treatment or intervention, while observing just one of both, is a challenging problems in causal learning. In this paper, we formulate this problem as an inference from hidden variables and enforce causal constraints based on a model of four exclusive causal populations. We propose a new version of the EM algorithm, coined as Expected-Causality-Maximization (ECM) algorithm and provide hints on its convergence under mild conditions. We compare our algorithm to baseline methods on synthetic and real-world data and discuss its performances.
△ Less
Submitted 6 May, 2020; v1 submitted 10 April, 2020;
originally announced April 2020.
-
New vehicle-actuated access algorithms for intersections close to oversaturation
Authors:
Rik W. Timmerman,
Marko A. A. Boon
Abstract:
Optimal traffic-light settings are generally hard to obtain, certainly for actuated access control of an intersection. Typically, computationally expensive (microscopic) simulations or complicated optimization schemes are required to find those optimal settings. Based on recent developments regarding the Fixed-Cycle Traffic-Light (FCTL) queue, we propose a new allocation scheme for actuated access…
▽ More
Optimal traffic-light settings are generally hard to obtain, certainly for actuated access control of an intersection. Typically, computationally expensive (microscopic) simulations or complicated optimization schemes are required to find those optimal settings. Based on recent developments regarding the Fixed-Cycle Traffic-Light (FCTL) queue, we propose a new allocation scheme for actuated access control at isolated intersections. Our scheme allows for very easy computations and an intuitive explanation, which are both based on the Central Limit Theorem, a key tool in probability theory. The desirable properties observed for the FCTL queue can also be achieved in case of actuated access control of an intersection. We show this by means of simulation of the underlying queueing model, because the actuated control defies an exact analysis so far. We also observe the same type of results employing the microscopic traffic simulator SUMO. The intuition and insights obtained might also open up new possibilities for obtaining optimal actuated access control for a network of intersections.
△ Less
Submitted 16 July, 2020; v1 submitted 9 March, 2020;
originally announced April 2020.
-
Computing first passage times for Markov-modulated fluid models using numerical PDE problem solvers
Authors:
Debarati Bhaumik,
Marko A. A. Boon,
Daan Crommelin,
Barry Koren,
Bert Zwart
Abstract:
A popular method to compute first-passage probabilities in continuous-time Markov chains is by numerically inverting their Laplace transforms. Past decades, the scientific computing community has developed excellent numerical methods for solving problems governed by partial differential equations (PDEs), making the availability of a Laplace transform not necessary here for computational purposes.…
▽ More
A popular method to compute first-passage probabilities in continuous-time Markov chains is by numerically inverting their Laplace transforms. Past decades, the scientific computing community has developed excellent numerical methods for solving problems governed by partial differential equations (PDEs), making the availability of a Laplace transform not necessary here for computational purposes. In this study we demonstrate that numerical PDE problem solvers are suitable for computing first passage times, and can be very efficient for this purpose. By doing extensive computational experiments, we show that modern PDE problem solvers can outperform numerical Laplace transform inversion, even if a transform is available. When the Laplace transform is explicit (e.g. does not require the computation of an eigensystem), numerical transform inversion remains the primary method of choice.
△ Less
Submitted 30 March, 2020;
originally announced March 2020.