Showing 1–50 of 96 results for author: Boon, M

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. We identify their structure in terms of a differential complex, which is isomorphic to six copies of the de Rham complex through an algebraic isomorphism. Moreover, we show how the Cosserat materials can be analyzed by inheriting results from linearized elasticity. Both perspectives give rise to mixed finite element methods,… ▽ More We consider the equilibrium equations for a linearized Cosserat material. We identify their structure in terms of a differential complex, which is isomorphic to six copies of the de Rham complex through an algebraic isomorphism. Moreover, 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 Cosserat material parameters. The theoretical results are fully reflected in the actual performance of the methods, as shown by the numerical verifications. △ Less

Submitted 27 March, 2024; v1 submitted 22 March, 2024; originally announced March 2024.

Comments: A typo was corrected, a boken citation was fixed, and a footnote was added to BGG sequences

MSC Class: 68Q25; 68R10; 68U05

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-overlap** 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 map** 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.

Comments: 42 pages, 16 figures. 3D Animations included as ancillary files

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.

Comments: 10 pages

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.

Comments: 12 pages, 11 figures, 2 tables (including SI)

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 29 June, 2023; v1 submitted 6 June, 2023; originally announced June 2023.

Comments: 32 pages; v2: minor changes

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 post-critically finite complex rational function $f$ whose Julia set is not the whole sphere, the iterated monodromy group of $f$ is amenable. △ Less

Submitted 22 June, 2023; v1 submitted 23 May, 2023; originally announced May 2023.

Comments: 36 pages, 5 figures, v2: minor changes

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.

MSC Class: 65N12; 65N22; 65N30

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-overlap** 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.

Comments: 16 pages, 4 figures

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.

MSC Class: 65N12; 65N55; 76D07; 76S05

Journal ref: ESAIM: Mathematical Modelling and Numerical Analysis 54.6 (2020): 2045-2067

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 31 August, 2022; originally announced September 2022.

Comments: 30 pages

MSC Class: 20F16; 37C85; 20E08; 20F60; 57M60 (primary) 37E05; 37B05 (secondary)

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.

MSC Class: 65N22; 76M10; 55U15; 65N30

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.

Comments: v2: updated version; Proposition 2.3 added

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.

Comments: 12 pages

Journal ref: Israel Journal of Mathematics, 2024

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.

Journal ref: Numerical Mathematics and Advanced Applications ENUMATH 2019, pp. 155-164. Springer, Cham, 2021

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.

MSC Class: 65N60; 76S05; 74F10; 92C35

Journal ref: Journal of Computational Physics, volume 467, paper 111464, year 2022

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.

MSC Class: 65F08

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 Materio

Authors: Marcus N. Boon, 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 in the neural network model, in combination with its use in gradient descent. However, the implementation of deep learning in digital computers is i… ▽ 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 in the neural network model, in combination with its use in gradient descent. However, the implementation of deep learning in digital computers is intrinsically wasteful, 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 systems. The learning process in these material systems, taking place, e.g., by artificial evolution or surrogate neural network modelling, is still a complicated and time-consuming process. Here, we demonstrate an efficient and accurate homodyne gradient extraction method for performing gradient descent on the loss function directly in the material system. We demonstrate the method in our recently developed dopant network processing units, where we readily realize all Boolean gates. This shows that gradient descent can in principle be fully implemented in materio using simple electronics, opening up the way to autonomously learning material systems. △ Less

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 28 June, 2024; v1 submitted 29 April, 2021; originally announced April 2021.

Comments: 201 pages, 11 figures; v2 is a major revision after the referee report: title changed (previously 'Locally moving groups acting on the line and $\mathbb{R}$-focal actions'), structure reworked (chapters organized into 3 parts, each devoted to a single main theorem), many results strengthend to nearly optimal statements (requiring different approaches), digressions removed

MSC Class: {Primary 37C85. Secondary 20E08; 20F60; 37E05; 37B05; 57M60

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.

Comments: final version

MSC Class: 20B22; 20B35; 20B07; 37B05

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.

Comments: 24 pages, 19 figures

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.

MSC Class: 65N12; 65N15; 65N55

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.

Comments: 49 pages, final version (v3->v4: typesetting fixed)

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.

Comments: Accepted (to appear) in ESANN 2020 proceedings, European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. Bruges (Belgium), 2-4 October 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.

Verification benchmarks for single-phase flow in three-dimensional fractured porous media

Authors: Inga Berre, Wietse M. Boon, Bernd Flemisch, Alessio Fumagalli, Dennis Gläser, Eirik Keilegavlen, Anna Scotti, Ivar Stefansson, Alexandru Tatomir, Konstantin Brenner, Samuel Burbulla, Philippe Devloo, Omar Duran, Marco Favino, Julian Hennicker, I-Hsien Lee, Konstantin Lipnikov, Roland Masson, Klaus Mosthaf, Maria Giuseppina Chiara Nestola, Chuen-Fa Ni, Kirill Nikitin, Philipp Schädle, Daniil Svyatskiy, Ruslan Yanbarisov , et al. (1 additional authors not shown)

Abstract: Flow in fractured porous media occurs in the earth's subsurface, in biological tissues, and in man-made materials. Fractures have a dominating influence on flow processes, and the last decade has seen an extensive development of models and numerical methods that explicitly account for their presence. To support these developments, we present a portfolio of four benchmark cases for single-phase flo… ▽ More Flow in fractured porous media occurs in the earth's subsurface, in biological tissues, and in man-made materials. Fractures have a dominating influence on flow processes, and the last decade has seen an extensive development of models and numerical methods that explicitly account for their presence. To support these developments, we present a portfolio of four benchmark cases for single-phase flow in three-dimensional fractured porous media. The cases are specifically designed to test the methods' capabilities in handling various complexities common to the geometrical structures of fracture networks. Based on an open call for participation, results obtained with 17 numerical methods were collected. This paper presents the underlying mathematical model, an overview of the features of the participating numerical methods, and their performance in solving the benchmark cases. △ Less

Submitted 17 February, 2020; originally announced February 2020.

The Reaction Mechanism of the Azide-Alkyne Huisgen Cycloaddition

Authors: Martina Danese, Marta Bon, GiovanniMaria Piccini, Daniele Passerone

Abstract: The azide-alkyne Huisgen cycloaddition has a key role in click chemistry and configures as powerful tool in pharmaceutical and medicinal chemistry. Although this reaction has already been largely studied, there is an ongoing debate about its mechanism. In this work we study the dynamical aspects of the process using metadynamics computer simulation. We focus on the conformational aspects that dete… ▽ More The azide-alkyne Huisgen cycloaddition has a key role in click chemistry and configures as powerful tool in pharmaceutical and medicinal chemistry. Although this reaction has already been largely studied, there is an ongoing debate about its mechanism. In this work we study the dynamical aspects of the process using metadynamics computer simulation. We focus on the conformational aspects that determine the course of the reaction and characterize the free energy landscape of the process. To properly capture the thermodynamics of the process we select optimal collective variables using harmonic linear discriminant analysis. The results confirm the experimental evidence qualitatively and give insight on the role of the substituents and the possible transition mechanisms. △ Less

Submitted 13 January, 2020; originally announced January 2020.

Journal ref: Phys. Chem. Chem. Phys., 2019, 21, 19281-19287

A Novel Data-driven Algorithm for the Automated Detection of Unexpectedly High Traffic Flow in Uncongested Traffic States

Authors: Bo Klaasse, Rik Timmerman, Tessel van Ballegooijen, Marko Boon, Gerard Eijkelenboom

Abstract: We present an algorithm to identify days that exhibit the seemingly paradoxical behaviour of high traffic flow and, simultaneously, a striking absence of traffic jams. We introduce the notion of high-performance days to refer to these days. The developed algorithm consists of three steps: step 1, based on the fundamental diagram (i.e. an empirical relation between the traffic flow and traffic dens… ▽ More We present an algorithm to identify days that exhibit the seemingly paradoxical behaviour of high traffic flow and, simultaneously, a striking absence of traffic jams. We introduce the notion of high-performance days to refer to these days. The developed algorithm consists of three steps: step 1, based on the fundamental diagram (i.e. an empirical relation between the traffic flow and traffic density), we estimate the critical speed by using robust regression as a tool for labelling congested and uncongested data points; step 2, based on this labelling of the data, the breakdown probability can be estimated (i.e. the probability that the average speed drops below the critical speed); step 3, we identify unperturbed moments (i.e. moments when a breakdown is expected, but does not occur) and subsequently identify the high-performance days based on the number of unperturbed moments. Identifying high-performance days could be a building block in the quest for traffic jam reduction; using more detailed data one might be able to identify specific characteristics of high-performance days. The algorithm is applied to a case study featuring the highly congested A15 motorway in the Netherlands. △ Less

Submitted 6 March, 2020; v1 submitted 26 September, 2019; originally announced September 2019.

Comments: 19 pages, 7 figures

Triple transitivity and non-free actions in dimension one

Authors: Adrien Le Boudec, Nicolás Matte Bon

Abstract: The transitivity degree of a group $G$ is the supremum of all integers $k$ such that $G$ admits a faithful $k$-transitive action. Few obstructions are known to impose an upper bound on the transitivity degree for infinite groups. The results of this article provide two new classes of groups whose transitivity degree can be computed, as a corollary of a classification of all $3$-transitive actions… ▽ More The transitivity degree of a group $G$ is the supremum of all integers $k$ such that $G$ admits a faithful $k$-transitive action. Few obstructions are known to impose an upper bound on the transitivity degree for infinite groups. The results of this article provide two new classes of groups whose transitivity degree can be computed, as a corollary of a classification of all $3$-transitive actions of these groups. More precisely, suppose that $G$ is a subgroup of the homeomorphism group of the circle $\mathsf{Homeo}(\mathbb{S}^1)$ or the automorphism group of a tree $\mathsf{Aut}(\mathbb{T})$. Under natural assumptions on the stabilizers of the action of $G$ on $\mathbb{S}^1$ or $\partial \mathbb{T}$, we use the dynamics of this action to show that every faithful action of $G$ on a set that is at least $3$-transitive must be conjugate to the action of $G$ on one of its orbits in $\mathbb{S}^1$ or $\partial \mathbb{T}$. △ Less

Submitted 15 June, 2021; v1 submitted 13 June, 2019; originally announced June 2019.

Comments: 26 pages. v1-> v2: addition of an appendix and some minor corrections, v2->v3: Minor corrections and abstract rewritten. Final version to appear in the journal of the London Math. Soc

Reliability of two Embedded Atom Models for the Description of Ag@Au Nanoalloys

Authors: Marta Bon, Nabeel Ahmad, Rolf Erni, Daniele Passerone

Abstract: The validation of embedded atom models (EAM) for modelling nanoalloys requires to verify both a faithful description of the individual phases and a convincing scheme for the mixed interactions. In this work, we present a systematic benchmarking of two widely adopted EAM parameterizations, i.e. by Foiles [S. M. Foiles et al. Phys. Rev. B 33, 7983 (1986)] and by Zhou [X. W. Zhou et al. Phys. Rev. B,… ▽ More The validation of embedded atom models (EAM) for modelling nanoalloys requires to verify both a faithful description of the individual phases and a convincing scheme for the mixed interactions. In this work, we present a systematic benchmarking of two widely adopted EAM parameterizations, i.e. by Foiles [S. M. Foiles et al. Phys. Rev. B 33, 7983 (1986)] and by Zhou [X. W. Zhou et al. Phys. Rev. B, 69, 144113 (2004)] with density functional theory calculations for the description of processes at Ag@Au nanoalloys surfaces and nanoclusters. △ Less

Submitted 25 August, 2019; v1 submitted 24 April, 2019; originally announced April 2019.

Comments: Accepted Version

Journal ref: The Journal of Chemical Physics, 151 (2019): 064105

Stable Mixed Finite Elements for Linear Elasticity with Thin Inclusions

Authors: Wietse M. Boon, Jan M. Nordbotten

Abstract: We consider mechanics of composite materials in which thin inclusions are modeled by lower-dimensional manifolds. By successively applying the dimensional reduction to junctions and intersections within the material, a geometry of hierarchically connected manifolds is formed which we refer to as mixed-dimensional. The governing equations with respect to linear elasticity are then defined on this… ▽ More We consider mechanics of composite materials in which thin inclusions are modeled by lower-dimensional manifolds. By successively applying the dimensional reduction to junctions and intersections within the material, a geometry of hierarchically connected manifolds is formed which we refer to as mixed-dimensional. The governing equations with respect to linear elasticity are then defined on this mixed-dimensional geometry. The resulting system of partial differential equations is also referred to as mixed-dimensional, since functions defined on domains of multiple dimensionalities are considered in a fully coupled manner. With the use of a semi-discrete differential operator, we obtain the variational formulation of this system in terms of both displacements and stresses. The system is then analyzed and shown to be well-posed with respect to appropriately weighted norms. Numerical discretization schemes are proposed using well-known mixed finite elements in all dimensions. The schemes conserve linear momentum locally while relaxing the symmetry condition on the stress tensor. Stability and convergence are shown using a priori error estimates. △ Less

Submitted 5 March, 2019; originally announced March 2019.

MSC Class: 65N12; 65N30; 74S05; 74K20

Coupling Staggered-Grid and MPFA Finite Volume Methods for Free Flow/Porous-Medium Flow Problems

Authors: Martin Schneider, Kilian Weishaupt, Dennis Gläser, Wietse M. Boon, Rainer Helmig

Abstract: A discretization is proposed for models coupling free flow with anisotropic porous medium flow. Our approach employs a staggered grid finite volume method for the Navier-Stokes equations in the free flow subdomain and a MPFA finite volume method to solve Darcy flow in the porous medium. After appropriate spatial refinement in the free flow domain, the degrees of freedom are conveniently located to… ▽ More A discretization is proposed for models coupling free flow with anisotropic porous medium flow. Our approach employs a staggered grid finite volume method for the Navier-Stokes equations in the free flow subdomain and a MPFA finite volume method to solve Darcy flow in the porous medium. After appropriate spatial refinement in the free flow domain, the degrees of freedom are conveniently located to allow for a natural coupling of the two discretization schemes. In turn, we automatically obtain a more accurate description of the flow field surrounding the porous medium. Numerical experiments highlight the stability and applicability of the scheme in the presence of anisotropy and show good agreement with existing methods, verifying our approach. △ Less

Submitted 7 February, 2019; originally announced February 2019.

Platoon Forming Algorithms for Intelligent Street Intersections

Authors: R. W. Timmerman, M. A. A. Boon

Abstract: We study intersection access control for autonomous vehicles. Platoon forming algorithms, which aim to organize individual vehicles in platoons, are very promising. To create those platoons, we slow down vehicles before the actual arrival at the intersection in such a way that each vehicle can traverse the intersection at high speed. This increases the capacity of the intersection significantly, o… ▽ More We study intersection access control for autonomous vehicles. Platoon forming algorithms, which aim to organize individual vehicles in platoons, are very promising. To create those platoons, we slow down vehicles before the actual arrival at the intersection in such a way that each vehicle can traverse the intersection at high speed. This increases the capacity of the intersection significantly, offering huge potential savings with respect to travel time compared to nowadays traffic. We propose several new platoon forming algorithms and provide an approximate mean delay analysis for our algorithms. A comparison between the current day practice at intersections (through a case study in SUMO) and our proposed algorithms is provided. Simulation results for fairness are obtained as well, showing that platoon forming algorithms with a low mean delay sometimes are relatively unfair, indicating a potential need for balancing mean delay and fairness. △ Less

Submitted 24 July, 2019; v1 submitted 2 January, 2019; originally announced January 2019.

Applications of the $M^X/\text{semi-Markov}/1$ queue to road traffic

Authors: Abhishek, Marko Boon, Rudesindo Núñez-Queija

Abstract: The single server queue with multiple customer types and semi-Markovian service times, sometimes referred to as the $M/SM/1$ queue, has been well-studied since its introduction by Neuts in 1966. In this paper, we apply an extension of this model, with batch arrivals and exceptional first service, to road traffic situations involving multiple streams of conflicting traffic. In particular, we use it… ▽ More The single server queue with multiple customer types and semi-Markovian service times, sometimes referred to as the $M/SM/1$ queue, has been well-studied since its introduction by Neuts in 1966. In this paper, we apply an extension of this model, with batch arrivals and exceptional first service, to road traffic situations involving multiple streams of conflicting traffic. In particular, we use it in the context of gap acceptance models where low-priority traffic needs to cross (or, depending on the application, merge with) another traffic flow of higher priority. Traditionally, gap acceptance models are based on the $M/G/1$ queue with exceptional first service, in this application area commonly referred to as the $M/G2/1$ queue. In an earlier study, we showed how the $M^X/SM/1$ queue with exceptional first service can be applied in this context to extend the model with driver impatience and more realistic merging behaviour. In this paper, we show how this same queueing system can be used to model a Markov modulated Poisson arrival process of the high-priority traffic stream. Due to its flexibility, this arrival process is very relevant in this application, particularly because it allows the modelling of platoon forming of vehicles. The correlated inter-arrival times of these high priority vehicles cause the merging times of two subsequent low priority vehicles to become dependent as well (as they correspond with the service times in the underlying queueing model). We derive the waiting time and sojourn time distributions of an arbitrary customer, showing that these depend on the position of the customer inside the batch, as well as on the type of the first customer in the batch. △ Less

Submitted 6 December, 2018; originally announced December 2018.

Heavy-traffic analysis of the $M^X/\text{semi-Markov}/1$ queue

Authors: Abhishek, Rudesindo Núñez Queija, Marko Boon

Abstract: In this paper we analyze a single server queue with batch arrivals and semi-Markovian service times. We also include the feature that the first service of each busy period might have a different distribution than subsequent service times. Our generating function based approach allows us to determine the heavy traffic limit of the scaled queue-length distribution. It turns out that this distributio… ▽ More In this paper we analyze a single server queue with batch arrivals and semi-Markovian service times. We also include the feature that the first service of each busy period might have a different distribution than subsequent service times. Our generating function based approach allows us to determine the heavy traffic limit of the scaled queue-length distribution. It turns out that this distribution converges to an exponential distribution. Nonsurprisingly, the exceptional first service does not influence this limiting distribution. We identify a sufficient and necessary condition under which the dependence between successive service times disappears in the limit, which we illustrate in a numerical example. △ Less

Submitted 6 December, 2018; originally announced December 2018.