Showing 1–50 of 116 results for author: Carvalho, M

Capacity Planning in Stable Matching with Truthful or Strategic Preference Uncertainty

Authors: Maria Bazotte, Margarida Carvalho, Thibaut Vidal

Abstract: Recent studies on many-to-one matching markets have explored agents with flexible capacity and truthful preference reporting, focusing on mechanisms that jointly design capacities and select a matching. However, in real-world applications such as school choice and residency matching, preferences are revealed after capacity decisions are made, with matching occurring afterward; uncertainty about ag… ▽ More Recent studies on many-to-one matching markets have explored agents with flexible capacity and truthful preference reporting, focusing on mechanisms that jointly design capacities and select a matching. However, in real-world applications such as school choice and residency matching, preferences are revealed after capacity decisions are made, with matching occurring afterward; uncertainty about agents' preferences must be considered during capacity planning. Moreover, even under strategy-proof mechanisms, agents may strategically misreport preferences based on beliefs about admission chances. We introduce a two-stage stochastic matching problem with uncertain preferences, using school choice as a case study. In the first stage, the clearinghouse expands schools' capacities before observing students' reported preferences. Students either report their true preferences, producing exogenous uncertainty, or act strategically, submitting reported preferences based on their true preferences and admission chances (which depend on capacities), introducing endogenous uncertainty. In the second stage, the clearinghouse computes the student-optimal stable matching based on schools' priorities and students' reported preferences. In strategic cases, endogenous reported preferences are utility-maximizing transformations of capacity decisions and exogenous true preferences; we handle uncertainty using sample average approximation(SAA). We develop behavior-based mathematical formulations and, due to problem complexity, propose Lagrangian- and local-search-based behavior-specific heuristics for near-optimal solutions. Our SAA-based approaches outperform the average scenario approach on students' matching preferences and admission outcomes, emphasizing the impact of stochastic preferences on capacity decisions. Student behavior notably influences capacity design, stressing the need to consider misreports. △ Less

Submitted 27 June, 2025; originally announced June 2025.

What makes a good public EV charging station? A revealed preference study

Authors: Steven Lamontagne, Margarida Carvalho, Emma Frejinger, Ribal Atallah

Abstract: To determine the optimal locations for electric vehicle charging stations, optimisation models need to predict which charging stations users will select. We estimate discrete choice models to predict the usage of charging stations using only readily available information for charging network operators. Our parameter values are estimated from a unique, revealed preferences dataset of charging sessi… ▽ More To determine the optimal locations for electric vehicle charging stations, optimisation models need to predict which charging stations users will select. We estimate discrete choice models to predict the usage of charging stations using only readily available information for charging network operators. Our parameter values are estimated from a unique, revealed preferences dataset of charging sessions in Montreal, Quebec. We find that user distance to stations, proximity to home areas, and the number of outlets at each station are significant factors for predicting station usage. Additionally, amenities near charging stations have a neutral effect overall, with some users demonstrating strong preference or aversion for these locations. High variability among the preferences of users highlight the importance of models which incorporate panel effects. Moreover, integrating mixed logit models within the optimization of charging station network design yields high-quality solutions, even when evaluated under other model specifications. △ Less

Submitted 24 April, 2025; originally announced April 2025.

Multiplicity of solutions for singular elliptic problems with Stein-Weiss term

Authors: Márcia S. B. A. Cardoso, Edcarlos D. Silva, Marcos. L. M. Carvalho, Minbo Yang

Abstract: In the present work, we establish the existence and multiplicity of positive solutions for the singular elliptic equations with a double weighted nonlocal interaction term defined in the whole space $\mathbb{R}^N$. The nonlocal term and the fact that the energy functional is not differentiable are the main difficulties for this kind of problem. We apply the Nehari method and the nonlinear Rayleigh… ▽ More In the present work, we establish the existence and multiplicity of positive solutions for the singular elliptic equations with a double weighted nonlocal interaction term defined in the whole space $\mathbb{R}^N$. The nonlocal term and the fact that the energy functional is not differentiable are the main difficulties for this kind of problem. We apply the Nehari method and the nonlinear Rayleigh quotient to prove that our main problem has at least two positive weak solutions. Furthermore, we prove a nonexistence result related to the extreme $λ^*> 0$ given by the nonlinear Rayleigh quotient. △ Less

Submitted 7 March, 2025; originally announced March 2025.

Long-term predictive models for mosquito borne diseases: a narrative review

Authors: Marcio Maciel Bastos, Luiz Max Carvalho, Eduardo Correa Araujo, Flávio Codeço Coelho

Abstract: In face of climate change and increasing urbanization, the predictive mosquito-borne diseases (MBD) transmission models require constant updates. Thus, is urgent to comprehend the driving forces of this non stationary behavior, observed through spatial and incidence expansion. We observed that temperature is a critical driver in predictive models for MBD transmission, also being consistently used… ▽ More In face of climate change and increasing urbanization, the predictive mosquito-borne diseases (MBD) transmission models require constant updates. Thus, is urgent to comprehend the driving forces of this non stationary behavior, observed through spatial and incidence expansion. We observed that temperature is a critical driver in predictive models for MBD transmission, also being consistently used in multiple reviewed papers with considerable incidence predictive capacity. Rainfall, however, have more subtle importance as moderate precipitation creates breeding sites for mosquitoes, but excessive rainfall can reduce larvae populations. We highlight the frequent use of mechanistic models, particularly those that integrate temperature-dependent biological parameters of disease transmission in incidence proxies as the Vectorial Capacity (VC) and temperature-based basic reproduction number $R_0(t)$, for example. These models show the importance of climate variables, but the socio-demographic factors are often not considered. This gap is a significant opportunity for future research to incorporate socio-demographic data into long-term predictive models for more comprehensive and reliable forecasts. With this survey, we outline the most promising paths to be followed by long-term MBD transmission research and highlighting the potential facing challenges. Thus, we offer a valuable foundation for enhancing disease forecasting models and supporting more effective public health interventions, specially in the long term. △ Less

Submitted 20 November, 2024; originally announced November 2024.

Stein-Weiss problems via nonlinear Rayleigh quotient for concave-convex nonlinearities

Authors: Edcarlos D. Silva, Marcos. L. M. Carvalho, Márcia S. B. A. Cardoso

Abstract: In the present work, we consider existence and multiplicity of positive solutions for nonlocal elliptic problems driven by the Stein-Weiss problem with concave-convex nonlinearities defined in the whole space $\mathbb{R}^N$. More precisely, we consider the following nonlocal elliptic problem: \begin{equation*} - Δu + V(x)u = λa(x) |u|^{q-2} u + \displaystyle \int \limits_{\mathbb{R}^N}\frac{b(… ▽ More In the present work, we consider existence and multiplicity of positive solutions for nonlocal elliptic problems driven by the Stein-Weiss problem with concave-convex nonlinearities defined in the whole space $\mathbb{R}^N$. More precisely, we consider the following nonlocal elliptic problem: \begin{equation*} - Δu + V(x)u = λa(x) |u|^{q-2} u + \displaystyle \int \limits_{\mathbb{R}^N}\frac{b(y)\vert u(y) \vert^p dy}{\vert x\vert^α\vert x-y\vert^μ\vert y\vert^α} b(x)\vert u\vert^{p-2}u, \,\, \hbox{in}\ \mathbb{R}^N, \,\, u\in H^1(\mathbb{R}^N), \end{equation*} where $λ>0, α\in (0,N), N\geq3, 0<μ<N, 0 < μ+ 2 α< N$. Furthermore, we assume also that $V: \mathbb{R}^N \to \mathbb{R}$ is a bounded potential, $a \in{L}^r(\mathbb{R}^N), a > 0$ in $\mathbb{R}^N$ and $b\in{L}^{t}(\mathbb{R}^N), b>0$ in $\mathbb{R}^N$ for some specific $r, t > 1$. We assume also that $1\leq q<2$ and $2_{α,μ} < p<2_{α,μ}^*$ where $2_{α,μ}=(2N-2α-μ)/N$ and $2_{α,μ}^*= (2N-2α-μ)/(N-2)$. Our main contribution is to find the largest $λ^* > 0$ in such way that our main problem admits at least two positive solutions for each $λ\in (0, λ^*)$. In order to do that we apply the nonlinear Rayleigh quotient together with the Nehari method. Moreover, we prove a Brezis-Lieb type Lemma and a regularity result taking into account our setting due to the potentials $a, b : \mathbb{R}^N \to \mathbb{R}$. △ Less

Submitted 9 November, 2024; originally announced November 2024.

Comments: In the present work, we consider existence and multiplicity of positive solutions for nonlocal elliptic problems driven by the Stein-Weiss problem with concave-convex nonlinearities defined in the whole space $\mathbb{R}^N$

Qualitative analysis of HAART effects on HIV and SARS-CoV-2 coinfection

Authors: João P. S. Maurício de Carvalho

Abstract: HIV is known for causing the destruction of the immune system by affecting different types of cells, while SARS-CoV-2 is an extremely contagious virus that leads to the development of COVID-19. In this study, we propose a mathematical model to investigate the interaction between HIV and SARS-CoV-2 under highly active antiretroviral therapy (HAART). We determine the conditions for the endemic equil… ▽ More HIV is known for causing the destruction of the immune system by affecting different types of cells, while SARS-CoV-2 is an extremely contagious virus that leads to the development of COVID-19. In this study, we propose a mathematical model to investigate the interaction between HIV and SARS-CoV-2 under highly active antiretroviral therapy (HAART). We determine the conditions for the endemic equilibria of both viruses, showing that transcritical bifurcations occur when the basic reproduction numbers of HIV and SARS-CoV-2 pass through 1. We set the condition for the stability of the disease-free equilibrium point of the model with coinfection as a function of the basic reproduction number $\mathcal{R}_0$. Through numerical simulations, we conclude that HAART, used to control HIV, also reduces the proliferation of SARS-CoV-2-infected cells in coinfected hosts. These findings provide important insights into the epidemiological dynamics of HIV and SARS-CoV-2 coinfection. △ Less

Submitted 2 November, 2024; originally announced November 2024.

On the lumpability of tree-valued Markov chains

Authors: Rodrigo B. Alves, Yuri F. Saporito, Luiz M. Carvalho

Abstract: Phylogenetic trees constitute an interesting class of objects for stochastic processes due to the non-standard nature of the space they inhabit. In particular, many statistical applications require the construction of Markov processes on the space of trees, whose cardinality grows superexponentially with the number of leaves considered. We investigate whether certain lower-dimensional projections… ▽ More Phylogenetic trees constitute an interesting class of objects for stochastic processes due to the non-standard nature of the space they inhabit. In particular, many statistical applications require the construction of Markov processes on the space of trees, whose cardinality grows superexponentially with the number of leaves considered. We investigate whether certain lower-dimensional projections of tree space preserve the Markov property in tree-valued Markov processes. We study exact lumpability of tree shapes and $\varepsilon$-lumpability of clades, exploiting the combinatorial structure of the SPR graph to obtain bounds on the lumping error under the random walk and Metropolis-Hastings processes. Finally, we show how to use these results in empirical investigation, leveraging exact and $\varepsilon$-lumpability to improve Monte Carlo estimation of tree-related quantities. △ Less

Submitted 23 October, 2024; originally announced October 2024.

2D Basement Relief Inversion using Sparse Regularization

Authors: Francisco Márcio Barboza, Arthur Anthony da Cunha Romão E Silva, Bruno Motta de Carvalho

Abstract: Basement relief gravimetry is crucial in geophysics, especially for oil exploration and mineral prospecting. It involves solving an inverse problem to infer geological model parameters from observed data. The model represents basement relief with constant-density prisms, and the data reflect gravitational anomalies from these prisms. Inverse problems are often ill-posed, meaning small data changes… ▽ More Basement relief gravimetry is crucial in geophysics, especially for oil exploration and mineral prospecting. It involves solving an inverse problem to infer geological model parameters from observed data. The model represents basement relief with constant-density prisms, and the data reflect gravitational anomalies from these prisms. Inverse problems are often ill-posed, meaning small data changes can lead to large solution variations. To mitigate this, regularization techniques like Tikhonov's are used to stabilize solutions. This study compares regularization methods applied to gravimetric inversion, including Smoothness Constraints, Total Variation, Discrete Cosine Transform (DCT), and Discrete Wavelet Transform (DWT) using Daubechies D4 wavelets. Optimization, particularly with Genetic Algorithms (GA), is used to find prism depths that best match observed anomalies. GA, inspired by natural selection, selects the best solutions to minimize the objective function. The results, evaluated through fit metrics and error analysis, show the effectiveness of all regularization methods and GA, with the Smoothness constraint performing best in synthetic models. For the real data model, all methods performed similarly. △ Less

Submitted 18 October, 2024; originally announced October 2024.

Comments: 8 pages, 13 figures, Submitted to Acta Geophysica

On sufficient conditions for the transitivity of homeomorphisms

Authors: Maria Carvalho, Vinícius Coelho, Luciana Salgado

Abstract: We derive a necessary and sufficient condition for a homeomorphism with the shadowing property to be topologically transitive: to have an invariant subset $A$, dense in the non-wandering set, where the barycenter property holds. To elucidate its dynamical nature, we compare this condition with other properties known to be sufficient for an Anosov diffeomorphism to be topologically transitive. We a… ▽ More We derive a necessary and sufficient condition for a homeomorphism with the shadowing property to be topologically transitive: to have an invariant subset $A$, dense in the non-wandering set, where the barycenter property holds. To elucidate its dynamical nature, we compare this condition with other properties known to be sufficient for an Anosov diffeomorphism to be topologically transitive. We also describe the $C^1$ interior of the set of diffeomorphisms which comply with this condition, discuss examples with a variety of dynamics and present some applications of interest. △ Less

Submitted 27 May, 2025; v1 submitted 16 October, 2024; originally announced October 2024.

Comments: Changed the paper Title and Abstract, emphasizing broader result, and not just a consquence of this with respect to the Anosov dipheomorphisms, 33 pages, no figures, minor corrections in the text, omitted one example of the previous version, added a financial support

MSC Class: 37B65; 37C20; 37C75; 37D20

Quasilinear elliptic problems via nonlinear Rayleigh quotient

Authors: Edcarlos D. Silva, Marcos L. M. Carvalho, Leszek Gasinski, João R. Santos Júnior

Abstract: It is established existence and multiplicity of solution for the following class of quasilinear elliptic problems $$ \left\{ \begin{array}{lr} -Δ_Φu = λa(x) |u|^{q-2}u + |u|^{p-2}u, & x\inΩ, u = 0, & x \in \partial Ω, \end{array} \right. $$ where $Ω\subset \mathbb{R}^N, N \geq 2,$ is a smooth bounded domain, $1 < q < \ell \leq m < p < \ell^*$ and $Φ: \mathbb{R} \to \mathbb{R}$ is… ▽ More It is established existence and multiplicity of solution for the following class of quasilinear elliptic problems $$ \left\{ \begin{array}{lr} -Δ_Φu = λa(x) |u|^{q-2}u + |u|^{p-2}u, & x\inΩ, u = 0, & x \in \partial Ω, \end{array} \right. $$ where $Ω\subset \mathbb{R}^N, N \geq 2,$ is a smooth bounded domain, $1 < q < \ell \leq m < p < \ell^*$ and $Φ: \mathbb{R} \to \mathbb{R}$ is suitable $N$-function. The main feature here is to show whether the Nehari method can be applied to find the largest positive number $λ^* > 0$ in such way that our main problem admits at least two distinct solutions for each $λ\in (0, λ^*)$. Furthermore, using some fine estimates and some extra assumptions on $Φ$, we prove the existence of at least two positive solutions for $λ= λ^*$ and $λ\in (λ^*, \overlineλ)$ where $\overlineλ > λ^*$. △ Less

Submitted 1 October, 2024; originally announced October 2024.

A $Δ$-evaluation function for column permutation problems

Authors: Júnior R. Lima, Viníicius Gandra M. Santos, Marco Antonio M. Carvalho

Abstract: In this study, a new $Δ$-evaluation method is introduced for solving a column permutation problem defined on a sparse binary matrix with the consecutive ones property. This problem models various $\mathcal{NP}$-hard problems in graph theory and industrial manufacturing contexts. The computational experiments compare the processing time of the $Δ$-evaluation method with two other methods used in we… ▽ More In this study, a new $Δ$-evaluation method is introduced for solving a column permutation problem defined on a sparse binary matrix with the consecutive ones property. This problem models various $\mathcal{NP}$-hard problems in graph theory and industrial manufacturing contexts. The computational experiments compare the processing time of the $Δ$-evaluation method with two other methods used in well-known local search procedures. The study considers a comprehensive set of instances of well-known problems, such as Gate Matrix Layout and Minimization of Open Stacks. The proposed evaluation method is generally competitive and particularly useful for large and dense instances. It can be easily integrated into local search and metaheuristic algorithms to improve solutions without significantly increasing processing time. △ Less

Submitted 7 September, 2024; originally announced September 2024.

Comments: technical report

MSC Class: 90 ACM Class: J.6

Stable Matching with Contingent Priorities

Authors: Ignacio Rios, Federico Bobbio, Margarida Carvalho, Alfredo Torrico

Abstract: Using school choice as a motivating example, we introduce a stylized model of a many-to-one matching market where the clearinghouse aims to implement contingent priorities, i.e., priorities that depend on the current assignment, to prioritize students with siblings and match them together. We provide a series of guidelines and introduce two natural approaches to implement them: (i) absolute, where… ▽ More Using school choice as a motivating example, we introduce a stylized model of a many-to-one matching market where the clearinghouse aims to implement contingent priorities, i.e., priorities that depend on the current assignment, to prioritize students with siblings and match them together. We provide a series of guidelines and introduce two natural approaches to implement them: (i) absolute, whereby a prioritized student can displace any student without siblings assigned to the school, and (ii) partial, whereby prioritized students can only displace students that have a less favorable lottery than their priority provider. We study several properties of the corresponding mechanisms, including the existence of a stable assignment under contingent priorities, the complexity of deciding whether there exists one, and its incentive properties. Furthermore, we introduce a soft version of these priorities to guarantee existence, and we provide mathematical programming formulations to find such stable matching or certify that one does not exist. Finally, using data from the Chilean school choice system, we show that our framework can significantly increase the number of students assigned to their top preference and the number of siblings assigned together relative to current practice. △ Less

Submitted 7 September, 2024; originally announced September 2024.

The Strength of Fuel Refueling Location Problem Formulations

Authors: Nagisa Sugishita, Margarida Carvalho, Ribal Atallah

Abstract: The Fuel Refueling Location Problem (FRLP) is a stylized model for determining the optimal siting of refueling stations for vehicles with limited travel ranges, such as hydrogen fuel cell vehicles and electric vehicles. This problem becomes particularly relevant when the goal is to facilitate long-distance travel using these vehicles. A variant of the FRLP, known as the Deviation Fuel Refueling Lo… ▽ More The Fuel Refueling Location Problem (FRLP) is a stylized model for determining the optimal siting of refueling stations for vehicles with limited travel ranges, such as hydrogen fuel cell vehicles and electric vehicles. This problem becomes particularly relevant when the goal is to facilitate long-distance travel using these vehicles. A variant of the FRLP, known as the Deviation Fuel Refueling Location Problem, accounts for the possibility that drivers may deviate from their preferred routes to ensure sufficient fuel or charging to complete their trips. While solution techniques based on various mathematical programming formulations have been thoroughly explored for these problems, there is a lack of theoretical insights into the relationships and strengths of these formulations. In this work, we study formulations of these problems used in the literature and compare their strengths in terms of linear programming relaxations. Furthermore, we explore approaches to tighten the formulations. △ Less

Submitted 6 September, 2024; originally announced September 2024.

Comments: 24 pages, 2 figures

Shift operators and their classification

Authors: Maria Carvalho, Udayan B. Darji, Paulo Varandas

Abstract: We introduce a class of linear bounded invertible operators on Banach spaces, called shift operators, which comprises weighted backward shifts and models finite products of weighted backward shifts and dissipative composition operators. We classify vast families of these shift operators, including the ones generated by orthogonal, diagonalizable, rotation or hyperbolic matrices. and this classific… ▽ More We introduce a class of linear bounded invertible operators on Banach spaces, called shift operators, which comprises weighted backward shifts and models finite products of weighted backward shifts and dissipative composition operators. We classify vast families of these shift operators, including the ones generated by orthogonal, diagonalizable, rotation or hyperbolic matrices. and this classification yields verifiable conditions which we use to construct concrete examples of shift operators with a variety of dynamical properties. As a consequence, we show that, for large classes of shift operators, generalized hyperbolicity is equivalent to the shadowing property. △ Less

Submitted 30 July, 2024; originally announced July 2024.

Comments: 29 pages

MSC Class: Primary 37C50; 47B37; 37B65; Secondary 47B33; 47B01;

Metric mean dimension, Hölder regularity and Assouad spectrum

Authors: Alexandre Baraviera, Maria Carvalho, Gustavo Pessil

Abstract: Metric mean dimension is a geometric invariant of dynamical systems with infinite topological entropy. We relate this concept with the fractal structure of the phase space and the Hölder regularity of the map. Afterwards we improve our general estimates in a family of interval maps by computing the metric mean dimension in a way similar to the Misiurewicz formula for the entropy, which in particul… ▽ More Metric mean dimension is a geometric invariant of dynamical systems with infinite topological entropy. We relate this concept with the fractal structure of the phase space and the Hölder regularity of the map. Afterwards we improve our general estimates in a family of interval maps by computing the metric mean dimension in a way similar to the Misiurewicz formula for the entropy, which in particular shows that our bounds are sharp. As an application, we determine the metric mean dimension of the classical Weierstrass functions. Of independent interest, we develop a dynamical analogue of the Minkowski-Bouligand dimension for subshifts on Ahlfors regular alphabets, which also provides an entropy formula in terms of the size of the set of admissible words, generalizing the classical result for subshifts on finite alphabets. △ Less

Submitted 28 May, 2025; v1 submitted 22 July, 2024; originally announced July 2024.

Comments: Accepted version in Journal of Fractal Geometry. We have clarified the role of Theorem 4.3, which has become Theorem C in the introduction, since its proof also provides a formula for the topological entropy of any subshift on an Ahlfors alphabet in terms of the size of the set of its admissible words, thus generalizing the well known formula for subshifts on finite alphabets

On the completeness of several fortification-interdiction games in the Polynomial Hierarchy

Authors: Alberto Boggio Tomasaz, Margarida Carvalho, Roberto Cordone, Pierre Hosteins

Abstract: Fortification-interdiction games are tri-level adversarial games where two opponents act in succession to protect, disrupt and simply use an infrastructure for a specific purpose. Many such games have been formulated and tackled in the literature through specific algorithmic methods, however very few investigations exist on the completeness of such fortification problems in order to locate them ri… ▽ More Fortification-interdiction games are tri-level adversarial games where two opponents act in succession to protect, disrupt and simply use an infrastructure for a specific purpose. Many such games have been formulated and tackled in the literature through specific algorithmic methods, however very few investigations exist on the completeness of such fortification problems in order to locate them rigorously in the polynomial hierarchy. We clarify the completeness status of several well-known fortification problems, such as the Tri-level Interdiction Knapsack Problem with unit fortification and attack weights, the Max-flow Interdiction Problem and Shortest Path Interdiction Problem with Fortification, the Multi-level Critical Node Problem with unit weights, as well as a well-studied electric grid defence planning problem. For all of these problems, we prove their completeness either for the $Σ^p_2$ or the $Σ^p_3$ class of the polynomial hierarchy. We also prove that the Multi-level Fortification-Interdiction Knapsack Problem with an arbitrary number of protection and interdiction rounds and unit fortification and attack weights is complete for any level of the polynomial hierarchy, therefore providing a useful basis for further attempts at proving the completeness of protection-interdiction games at any level of said hierarchy. △ Less

Submitted 16 April, 2025; v1 submitted 3 June, 2024; originally announced June 2024.

Dynamic Facility Location under Cumulative Customer Demand

Authors: Warley Almeida Silva, Margarida Carvalho, Sanjay Dominik Jena

Abstract: Dynamic facility location problems aim at placing one or more valuable resources over a planning horizon to meet customer demand. Existing literature commonly assumes that customer demand quantities are defined independently for each time period. In many planning contexts, however, unmet demand carries over to future time periods. Unmet demand at some time periods may therefore affect decisions of… ▽ More Dynamic facility location problems aim at placing one or more valuable resources over a planning horizon to meet customer demand. Existing literature commonly assumes that customer demand quantities are defined independently for each time period. In many planning contexts, however, unmet demand carries over to future time periods. Unmet demand at some time periods may therefore affect decisions of subsequent time periods. This work studies a novel location problem, where the decision maker places facilities over time to capture cumulative customer demand. We propose two mixed-integer programming models for this problem, and show that one of them has a tighter continuous relaxation and allows the representation of more general customer demand behaviour. We characterize the computational complexity for this problem, and analyze which problem characteristics result in NP-hardness. We then propose an exact branch-and-Benders-cut method, and show that this method is approximately five times faster than solving the tighter formulation directly. Our results also quantify the benefit of accounting for cumulative customer demand within the optimization framework, since the corresponding planning solutions perform much better than those obtained by ignoring cumulative demand or employing myopic heuristics. We also draw managerial insights about the service quality perceived by customers when the provider places facilities under cumulative customer demand. △ Less

Submitted 26 March, 2025; v1 submitted 3 May, 2024; originally announced May 2024.

Comments: 43 pages, 7 figures

ANPP: the Adapted Normalized Power Prior for Borrowing Information from Multiple Historical Datasets in Clinical Trials

Authors: Yueqi Shen, Matthew A. Psioda, Luiz M. Carvalho, Joseph G. Ibrahim

Abstract: The power prior is a popular class of informative priors for incorporating information from historical data. It involves raising the likelihood for the historical data to a power, which acts as a discounting parameter. When the discounting parameter is modeled as random, the normalized power prior (NPP) is recommended. When there are multiple historical datasets, there has been limited research on… ▽ More The power prior is a popular class of informative priors for incorporating information from historical data. It involves raising the likelihood for the historical data to a power, which acts as a discounting parameter. When the discounting parameter is modeled as random, the normalized power prior (NPP) is recommended. When there are multiple historical datasets, there has been limited research on how to choose priors for the multiple discounting parameters of the NPP to induce desirable information borrowing behavior. In this work, we address this question by investigating the analytical relationship between the NPP and the Bayesian hierarchical model (BHM), which is a widely used method for synthesizing information from different sources. We develop the adapted normalized power prior (ANPP), which establishes dependence between the dataset-specific discounting parameters of the NPP, leading to inferences that are identical to the BHM. We establish a direct relationship between the prior for the dataset-specific discounting parameters of the ANPP and the prior for the variance parameter of the BHM. Establishing this relationship not only justifies the NPP from the perspective of hierarchical modeling, but also achieves easy prior elicitation for the NPP for the purpose of dynamic borrowing. We examine the borrowing properties of the ANPP through simulations, and apply it to a case study for a pediatric lupus trial. △ Less

Submitted 23 May, 2025; v1 submitted 3 April, 2024; originally announced April 2024.

Solving Combinatorial Pricing Problems using Embedded Dynamic Programming Models

Authors: Quang Minh Bui, Margarida Carvalho, José Neto

Abstract: The combinatorial pricing problem (CPP) is a bilevel problem in which the leader maximizes their revenue by imposing tolls on certain items that they can control. Based on the tolls set by the leader, the follower selects a subset of items corresponding to an optimal solution of a combinatorial optimization problem. To accomplish the leader's goal, the tolls need to be sufficiently low to discoura… ▽ More The combinatorial pricing problem (CPP) is a bilevel problem in which the leader maximizes their revenue by imposing tolls on certain items that they can control. Based on the tolls set by the leader, the follower selects a subset of items corresponding to an optimal solution of a combinatorial optimization problem. To accomplish the leader's goal, the tolls need to be sufficiently low to discourage the follower from choosing the items offered by the competitors. In this paper, we derive a single-level reformulation for the CPP by rewriting the follower's problem as a longest path problem using a dynamic programming model, and then taking its dual and applying strong duality. We proceed to solve the reformulation in a dynamic fashion with a cutting plane method. We apply this methodology to two distinct dynamic programming models, namely, a novel formulation designated as selection diagram and the well-known decision diagram. We also produce numerical results to evaluate their performances across three different specializations of the CPP and a closely related problem that is the knapsack interdiction problem. Our results showcase the potential of the two proposed reformulations over the natural value function approach, expanding the set of tools to solve combinatorial bilevel programs. △ Less

Submitted 29 March, 2025; v1 submitted 19 March, 2024; originally announced March 2024.

MSC Class: 90C46; 90C27; 90C39

Journal ref: INFORMS Journal on Computing, 2025

Solving Two-Stage Stochastic Programs with Endogenous Uncertainty via Random Variable Transformation

Authors: Maria Bazotte, Margarida Carvalho, Thibaut Vidal

Abstract: Real-world decision-making problems often involve decision-dependent uncertainty, where the probability distribution of the random vector depends on the model decisions. Few studies focus on two-stage stochastic programs with this type of endogenous uncertainty, and those that do lack general methodologies. We propose a general method for solving a class of these programs based on random variable… ▽ More Real-world decision-making problems often involve decision-dependent uncertainty, where the probability distribution of the random vector depends on the model decisions. Few studies focus on two-stage stochastic programs with this type of endogenous uncertainty, and those that do lack general methodologies. We propose a general method for solving a class of these programs based on random variable transformation, a technique widely employed in probability and statistics. The random variable transformation converts a stochastic program with endogenous uncertainty (original program) into an equivalent stochastic program with decision-independent uncertainty (transformed program), for which solution procedures are well-studied. Additionally, endogenous uncertainty usually leads to nonlinear nonconvex programs, which are theoretically intractable. Nonetheless, we show that, for some classical endogenous distributions, the proposed method yields mixed-integer linear or convex programs with exogenous uncertainty. We validate this method by applying it to a network design and facility-protection problem, considering distinct decision-dependent distributions for the random variables. While the original formulation of this problem is nonlinear nonconvex for most endogenous distributions, the proposed method transforms it into mixed-integer linear programs with exogenous uncertainty. We solve these transformed programs with the sample average approximation method. We highlight the superior performance of our approach compared to solving the original program in the case a mixed-integer linear formulation of this program exists. △ Less

Submitted 5 July, 2025; v1 submitted 23 February, 2024; originally announced February 2024.

Journal ref: INFORMS Journal on Computing, 2025

Computing Approximate Nash Equilibria for Integer Programming Games

Authors: Aloïs Duguet, Margarida Carvalho, Gabriele Dragotto, Sandra Ulrich Ngueveu

Abstract: We propose a framework to compute approximate Nash equilibria in integer programming games with nonlinear payoffs, i.e., simultaneous and non-cooperative games where each player solves a parametrized mixed-integer nonlinear program. We prove that using absolute approximations of the players' objective functions and then computing its Nash equilibria is equivalent to computing approximate Nash equi… ▽ More We propose a framework to compute approximate Nash equilibria in integer programming games with nonlinear payoffs, i.e., simultaneous and non-cooperative games where each player solves a parametrized mixed-integer nonlinear program. We prove that using absolute approximations of the players' objective functions and then computing its Nash equilibria is equivalent to computing approximate Nash equilibria where the approximation factor is doubled. In practice, we propose an algorithm to approximate the players' objective functions via piecewise linear approximations. Our numerical experiments on a cybersecurity investment game show the computational effectiveness of our approach. △ Less

Submitted 6 February, 2024; originally announced February 2024.

A Comparison of Image and Scalar-Based Approaches in Preconditioner Selection

Authors: Michael Souza, Luiz M. Carvalho, Douglas Augusto, Jairo Panetta, Paulo Goldfeld, José R. P. Rodrigues

Abstract: Within high-performance computing (HPC), solving large sparse linear systems efficiently remains paramount, with iterative methods being the predominant choice. However, the performance of these methods is tightly coupled to the aptness of the chosen preconditioner. The multifaceted nature of sparse matrices makes the universal prescription of preconditioners elusive. Notably, the key attribute of… ▽ More Within high-performance computing (HPC), solving large sparse linear systems efficiently remains paramount, with iterative methods being the predominant choice. However, the performance of these methods is tightly coupled to the aptness of the chosen preconditioner. The multifaceted nature of sparse matrices makes the universal prescription of preconditioners elusive. Notably, the key attribute of sparsity is not precisely captured by scalar metrics such as bandwidth or matrix dimensions. Advancing prior methodologies, this research introduces matrix sparsity depiction via RGB images. Utilizing a convolutional neural network (CNN), the task of preconditioner selection turns into a multi-class classification problem. Extensive tests on 126 SuiteSparse matrices emphasize the enhanced prowess of the CNN model, noting a 32% boost in accuracy and a 25% reduction in computational slowdown. △ Less

Submitted 25 December, 2023; originally announced December 2023.

Comments: 23 pages, 8 figures, 9 tables

MSC Class: 65F08; 65F10; 68T20

Maximum flow-based formulation for the optimal location of electric vehicle charging stations

Authors: Pierre-Luc Parent, Margarida Carvalho, Miguel F. Anjos, Ribal Atallah

Abstract: With the increasing effects of climate change, the urgency to step away from fossil fuels is greater than ever before. Electric vehicles (EVs) are one way to diminish these effects, but their widespread adoption is often limited by the insufficient availability of charging stations. In this work, our goal is to expand the infrastructure of EV charging stations, in order to provide a better quality… ▽ More With the increasing effects of climate change, the urgency to step away from fossil fuels is greater than ever before. Electric vehicles (EVs) are one way to diminish these effects, but their widespread adoption is often limited by the insufficient availability of charging stations. In this work, our goal is to expand the infrastructure of EV charging stations, in order to provide a better quality of service in terms of user satisfaction (and availability of charging stations). Specifically, our focus is directed towards urban areas. We first propose a model for the assignment of EV charging demand to stations, framing it as a maximum flow problem. This model is the basis for the evaluation of user satisfaction with a given charging infrastructure. Secondly, we incorporate the maximum flow model into a mixed-integer linear program, where decisions on the opening of new stations and on the expansion of their capacity through additional outlets is accounted for. We showcase our methodology for the city of Montreal, demonstrating the scalability of our approach to handle real-world scenarios. We conclude that considering both spacial and temporal variations in charging demand is meaningful when solving realistic instances. △ Less

Submitted 10 December, 2023; originally announced December 2023.

Pulse vaccination in a SIR model: global dynamics, bifurcations and seasonality

Authors: João P. S. Maurício de Carvalho, Alexandre A. Rodrigues

Abstract: We analyze a periodically-forced dynamical system inspired by the SIR model with impulsive vaccination. We fully characterize its dynamics according to the proportion $p$ of vaccinated individuals and the time $T$ between doses. If the basic reproduction number is less than 1 (i.e. $\mathcal{R}_p<1$), then we obtain precise conditions for the existence and global stability of a disease-free it… ▽ More We analyze a periodically-forced dynamical system inspired by the SIR model with impulsive vaccination. We fully characterize its dynamics according to the proportion $p$ of vaccinated individuals and the time $T$ between doses. If the basic reproduction number is less than 1 (i.e. $\mathcal{R}_p<1$), then we obtain precise conditions for the existence and global stability of a disease-free it $T$-periodic solution. Otherwise, if $\mathcal{R}_p>1$, then a globally stable $T$-periodic solution emerges with positive coordinates. We draw a bifurcation diagram $(T,p)$ and we describe the associated bifurcations. We also find analytically and numerically chaotic dynamics by adding seasonality to the disease transmission rate. In a realistic context, low vaccination coverage and intense seasonality may result in unpredictable dynamics. Previous experiments have suggested chaos in periodically-forced biological impulsive models, but no analytic proof has been given. △ Less

Submitted 1 August, 2024; v1 submitted 4 December, 2023; originally announced December 2023.

Penalties and Rewards for Fair Learning in Paired Kidney Exchange Programs

Authors: Margarida Carvalho, Alison Caulfield, Yi Lin, Adrian Vetta

Abstract: A kidney exchange program, also called a kidney paired donation program, can be viewed as a repeated, dynamic trading and allocation mechanism. This suggests that a dynamic algorithm for transplant exchange selection may have superior performance in comparison to the repeated use of a static algorithm. We confirm this hypothesis using a full scale simulation of the Canadian Kidney Paired Donation… ▽ More A kidney exchange program, also called a kidney paired donation program, can be viewed as a repeated, dynamic trading and allocation mechanism. This suggests that a dynamic algorithm for transplant exchange selection may have superior performance in comparison to the repeated use of a static algorithm. We confirm this hypothesis using a full scale simulation of the Canadian Kidney Paired Donation Program: learning algorithms, that attempt to learn optimal patient-donor weights in advance via dynamic simulations, do lead to improved outcomes. Specifically, our learning algorithms, designed with the objective of fairness (that is, equity in terms of transplant accessibility across cPRA groups), also lead to an increased number of transplants and shorter average waiting times. Indeed, our highest performing learning algorithm improves egalitarian fairness by 10% whilst also increasing the number of transplants by 6% and decreasing waiting times by 24%. However, our main result is much more surprising. We find that the most critical factor in determining the performance of a kidney exchange program is not the judicious assignment of positive weights (rewards) to patient-donor pairs. Rather, the key factor in increasing the number of transplants, decreasing waiting times and improving group fairness is the judicious assignment of a negative weight (penalty) to the small number of non-directed donors in the kidney exchange program. △ Less

Submitted 23 September, 2023; originally announced September 2023.

Comments: Shorter version accepted in WINE 2023

Accelerated Benders Decomposition and Local Branching for Dynamic Maximum Covering Location Problems

Authors: Steven Lamontagne, Margarida Carvalho, Ribal Atallah

Abstract: The maximum covering location problem (MCLP) is a key problem in facility location, with many applications and variants. One such variant is the dynamic (or multi-period) MCLP, which considers the installation of facilities across multiple time periods. To the best of our knowledge, no exact solution method has been proposed to tackle large-scale instances of this problem. To that end, in this wor… ▽ More The maximum covering location problem (MCLP) is a key problem in facility location, with many applications and variants. One such variant is the dynamic (or multi-period) MCLP, which considers the installation of facilities across multiple time periods. To the best of our knowledge, no exact solution method has been proposed to tackle large-scale instances of this problem. To that end, in this work, we expand upon the current state-of-the-art branch-and-Benders-cut solution method in the static case, by exploring several acceleration techniques. Additionally, we propose a specialised local branching scheme, that uses a novel distance metric in its definition of subproblems and features a new method for efficient and exact solving of the subproblems. These methods are then compared through extensive computational experiments, highlighting the strengths of the proposed methodologies. △ Less

Submitted 25 October, 2023; v1 submitted 1 September, 2023; originally announced September 2023.

Comments: V2: Minor corrections for references and invalid URL

On the completely irregular set for systems with the shadowing property

Authors: Maria Carvalho, Vinícius Coelho, Luciana Salgado

Abstract: We prove that the completely irregular set is Baire generic for every non-uniquely ergodic transitive continuous map which satisfies the shadowing property and acts on a compact metric space without isolated points. We also show that, under the previous assumptions, the orbit of any completely irregular point is dense. Afterwards, we analyze the connection between transitivity and the shadowing pr… ▽ More We prove that the completely irregular set is Baire generic for every non-uniquely ergodic transitive continuous map which satisfies the shadowing property and acts on a compact metric space without isolated points. We also show that, under the previous assumptions, the orbit of any completely irregular point is dense. Afterwards, we analyze the connection between transitivity and the shadowing property, draw a few consequences of their joint action within the family of expansive homeomorphisms, and discuss several examples to test the scope of our results. △ Less

Submitted 18 July, 2023; v1 submitted 5 July, 2023; originally announced July 2023.

Comments: 32 pages, no figures, Changes in Abstract and distribution of sections

MSC Class: 37A30; 37C10; 37C40; 37D20

Integer Programming Games: A Gentle Computational Overview

Authors: Margarida Carvalho, Gabriele Dragotto, Andrea Lodi, Sriram Sankaranarayanan

Abstract: In this tutorial, we present a computational overview on computing Nash equilibria in Integer Programming Games ($IPG$s), $i.e.$, how to compute solutions for a class of non-cooperative and nonconvex games where each player solves a mixed-integer optimization problem. $IPG$s are a broad class of games extending the modeling power of mixed-integer optimization to multi-agent settings. This class of… ▽ More In this tutorial, we present a computational overview on computing Nash equilibria in Integer Programming Games ($IPG$s), $i.e.$, how to compute solutions for a class of non-cooperative and nonconvex games where each player solves a mixed-integer optimization problem. $IPG$s are a broad class of games extending the modeling power of mixed-integer optimization to multi-agent settings. This class of games includes, for instance, any finite game and any multi-agent extension of traditional combinatorial optimization problems. After providing some background motivation and context of applications, we systematically review and classify the state-of-the-art algorithms to compute Nash equilibria. We propose an essential taxonomy of the algorithmic ingredients needed to compute equilibria, and we describe the theoretical and practical challenges associated with equilibria computation. Finally, we quantitatively and qualitatively compare a sequential Stackelberg game with a simultaneous $IPG$ to highlight the different properties of their solutions. △ Less

Submitted 12 June, 2023; v1 submitted 5 June, 2023; originally announced June 2023.

Comments: To appear in INFORMS TutORials in Operations Research 2023

Asymptotic behavior of Musielak-Orlicz-Sobolev modulars

Authors: J. C. de Albuquerque, L. R. S. de Assis, M. L. M. Carvalho, A. Salort

Abstract: In this article we study the asymptotic behavior of anisotropic nonlocal nonstandard growth seminorms and modulars as the fractional parameter goes to 1. This gives a so-called Bourgain-Brezis-Mironescu type formula for a very general family of functionals. In the particu\-lar case of fractional Sobolev spaces with variable exponent, we point out that our proof asks for a weaker regularity of the… ▽ More In this article we study the asymptotic behavior of anisotropic nonlocal nonstandard growth seminorms and modulars as the fractional parameter goes to 1. This gives a so-called Bourgain-Brezis-Mironescu type formula for a very general family of functionals. In the particu\-lar case of fractional Sobolev spaces with variable exponent, we point out that our proof asks for a weaker regularity of the exponent than the considered in previous articles. △ Less

Submitted 13 April, 2023; v1 submitted 10 April, 2023; originally announced April 2023.

Optimization of the location and design of urban green spaces

Authors: Caroline Leboeuf, Margarida Carvalho, Yan Kestens, Benoît Thierry

Abstract: The recent promotion of sustainable urban planning combined with a growing need for public interventions to improve well-being and health have led to an increased collective interest for green spaces in and around cities. In particular, parks have proven a wide range of benefits in urban areas. This also means inequities in park accessibility may contribute to health inequities. In this work, we s… ▽ More The recent promotion of sustainable urban planning combined with a growing need for public interventions to improve well-being and health have led to an increased collective interest for green spaces in and around cities. In particular, parks have proven a wide range of benefits in urban areas. This also means inequities in park accessibility may contribute to health inequities. In this work, we showcase the application of classic tools from Operations Research to assist decision-makers to improve parks' accessibility, distribution and design. Given the context of public decision-making, we are particularly concerned with equity and environmental justice, and are focused on an advanced assessment of users' behavior through a spatial interaction model. We present a two-stage fair facility location and design model, which serves as a template model to assist public decision-makers at the city-level for the planning of urban green spaces. The first-stage of the optimization model is about the optimal city-budget allocation to neighborhoods based on a data exposing inequality attributes. The second-stage seeks the optimal location and design of parks for each neighborhood, and the objective consists of maximizing the total expected probability of individuals visiting parks. We show how to reformulate the latter as a mixed-integer linear program. We further introduce a clustering method to reduce the size of the problem and determine a close to optimal solution within reasonable time. The model is tested using the case study of the city of Montreal and comparative results are discussed in detail to justify the performance of the model. △ Less

Submitted 13 March, 2023; originally announced March 2023.

On Fractional Musielak-Sobolev spaces and applications to nonlocal problems

Authors: J. C. de Albuquerque, L. R. S. de Assis, M. L. M. Carvalho, A. Salort

Abstract: In this work, we establish some abstract results on the perspective of the fractional Musielak-Sobolev spaces, such as: uniform convexity, Radon-Riesz property with respect to the modular function, $(S_{+})$-property, Brezis-Lieb type Lemma to the modular function and monotonicity results. Moreover, we apply the theory developed to study the existence of solutions to the following class of nonloca… ▽ More In this work, we establish some abstract results on the perspective of the fractional Musielak-Sobolev spaces, such as: uniform convexity, Radon-Riesz property with respect to the modular function, $(S_{+})$-property, Brezis-Lieb type Lemma to the modular function and monotonicity results. Moreover, we apply the theory developed to study the existence of solutions to the following class of nonlocal problems \begin{equation*} \left\{ \begin{array}{ll} (-Δ)_{Φ_{x,y}}^s u = f(x,u),& \mbox{in }Ω, u=0,& \mbox{on }\mathbb{R}^N\setminus Ω, \end{array} \right. \end{equation*} where $N\geq 2$, $Ω\subset \mathbb{R}^N$ is a bounded domain with Lipschitz boundary $\partial Ω$ and $f:Ω\times \mathbb{R} \rightarrow \mathbb{R}$ is a Carathéodory function not necessarily satisfying the Ambrosetti-Rabinowitz condition. Such class of problems enables the presence of many particular operators, for instance, the fractional operator with variable exponent, double-phase and double-phase with variable exponent operators, anisotropic fractional $p$-Laplacian, among others. △ Less

Submitted 11 January, 2023; originally announced January 2023.

MSC Class: 46E30; 35R11; 47G20

Asymmetry in the Complexity of the Multi-Commodity Network Pricing Problem

Authors: Quang Minh Bui, Margarida Carvalho, José Neto

Abstract: The network pricing problem (NPP) is a bilevel problem, where the leader optimizes its revenue by deciding on the prices of certain arcs in a graph, while expecting the followers (also known as the commodities) to choose a shortest path based on those prices. In this paper, we investigate the complexity of the NPP with respect to two parameters: the number of tolled arcs, and the number of commodi… ▽ More The network pricing problem (NPP) is a bilevel problem, where the leader optimizes its revenue by deciding on the prices of certain arcs in a graph, while expecting the followers (also known as the commodities) to choose a shortest path based on those prices. In this paper, we investigate the complexity of the NPP with respect to two parameters: the number of tolled arcs, and the number of commodities. We devise a simple algorithm showing that if the number of tolled arcs is fixed, then the problem can be solved in polynomial time with respect to the number of commodities. In contrast, even if there is only one commodity, once the number of tolled arcs is not fixed, the problem becomes NP-hard. We characterize this asymmetry in the complexity with a novel property named strong bilevel feasibility. Finally, we describe an algorithm to generate valid inequalities to the NPP based on this property, accommodated with numerical results to demonstrate its effectiveness in solving the NPP with a high number of commodities. △ Less

Submitted 12 January, 2023; v1 submitted 20 December, 2022; originally announced December 2022.

Comments: 37 pages, 12 figures. Mathematical Programming (2024)

MSC Class: 90C46; 90C25; 90C35 ACM Class: G.1.6; G.2.2

SIR model with vaccination: bifurcation analysis

Authors: João P. S. Maurício de Carvalho, Alexandre A. Rodrigues

Abstract: There are few adapted SIR models in the literature that combine vaccination and logistic growth. In this article, we study bifurcations of a SIR model where the class of Susceptible individuals grows logistically and has been subject to constant vaccination. We explicitly prove that the endemic equilibrium is a codimension two singularity in the parameter space $(\mathcal{R}_0, p)$, where… ▽ More There are few adapted SIR models in the literature that combine vaccination and logistic growth. In this article, we study bifurcations of a SIR model where the class of Susceptible individuals grows logistically and has been subject to constant vaccination. We explicitly prove that the endemic equilibrium is a codimension two singularity in the parameter space $(\mathcal{R}_0, p)$, where $\mathcal{R}_0$ is the basic reproduction number and $p$ is the proportion of Susceptible individuals successfully vaccinated at birth. We exhibit explicitly the Hopf, transcritical, Belyakov, heteroclinic and saddle-node bifurcation curves unfolding the singularity. The two parameters $(\mathcal{R}_0, p)$ are written in a useful way to evaluate the proportion of vaccinated individuals necessary to eliminate the disease and to conclude how the vaccination may affect the outcome of the epidemic. We also exhibit the region in the parameter space where the disease persists and we illustrate our main result with numerical simulations, emphasizing the role of the parameters. △ Less

Submitted 25 April, 2023; v1 submitted 29 November, 2022; originally announced November 2022.

MSC Class: 37G10; 37G15; 34C23; 37D05; 92B05

Heavy-Tailed NGG Mixture Models

Authors: Vianey Palacios Ramirez, Miguel de Carvalho, Luis Gutierrez Inostroza

Abstract: Heavy tails are often found in practice, and yet they are an Achilles heel of a variety of mainstream random probability measures such as the Dirichlet process (DP). The first contribution of this paper focuses on characterizing the tails of the so-called normalized generalized gamma (NGG) process. We show that the right tail of an NGG process is heavy-tailed provided that the centering distributi… ▽ More Heavy tails are often found in practice, and yet they are an Achilles heel of a variety of mainstream random probability measures such as the Dirichlet process (DP). The first contribution of this paper focuses on characterizing the tails of the so-called normalized generalized gamma (NGG) process. We show that the right tail of an NGG process is heavy-tailed provided that the centering distribution is itself heavy-tailed; the DP is the only member of the NGG class that fails to obey this convenient property. A second contribution of the paper rests on the development of two classes of heavy-tailed mixture models and the assessment of their relative merits. Multivariate extensions of the proposed heavy-tailed mixtures are devised here, along with a predictor-dependent version, to learn about the effect of covariates on a multivariate heavy-tailed response. The simulation study suggests that the proposed method performs well in various scenarios, and we showcase the application of the proposed methods in a neuroscience dataset. △ Less

Submitted 3 April, 2025; v1 submitted 2 November, 2022; originally announced November 2022.

Comments: 24 pages

Journal ref: Bayesian Analysis (2024)

A stochastic integer programming approach to reserve staff scheduling with preferences

Authors: Carl Perreault-Lafleur, Margarida Carvalho, Guy Desaulniers

Abstract: Nowadays, reaching a high level of employee satisfaction in efficient schedules is an important and difficult task faced by companies. We tackle a new variant of the personnel scheduling problem under unknown demand by considering employee satisfaction via endogenous uncertainty depending on the combination of their preferred and received schedules. We address this problem in the context of reserv… ▽ More Nowadays, reaching a high level of employee satisfaction in efficient schedules is an important and difficult task faced by companies. We tackle a new variant of the personnel scheduling problem under unknown demand by considering employee satisfaction via endogenous uncertainty depending on the combination of their preferred and received schedules. We address this problem in the context of reserve staff scheduling, an unstudied operational problem from the transit industry. To handle the challenges brought by the two uncertainty sources, regular employee and reserve employee absences, we formulate this problem as a two-stage stochastic integer program with mixed-integer recourse. The first-stage decisions consist in finding the days off of the reserve employees. After the unknown regular employee absences are revealed, the second-stage decisions are to schedule the reserve staff duties. We incorporate reserve employees' days-off preferences into the model to examine how employee satisfaction may affect their own absence rates. △ Less

Submitted 10 October, 2022; originally announced October 2022.

Comments: 25 pages, 4 figures, International Transactions in Operational Research (2023)

Topological and metric emergence of continuous maps

Authors: Maria Carvalho, Fagner B. Rodrigues, Paulo Varandas

Abstract: We prove that the homeomorphisms of a compact manifold with dimension one have zero topological emergence, whereas in dimension greater than one the topological emergence of a C^0-generic conservative homeomorphism is maximal, equal to the dimension of the manifold. Moreover, we show that the metric emergence of continuous self-maps on compact metric spaces has the intermediate value property. We prove that the homeomorphisms of a compact manifold with dimension one have zero topological emergence, whereas in dimension greater than one the topological emergence of a C^0-generic conservative homeomorphism is maximal, equal to the dimension of the manifold. Moreover, we show that the metric emergence of continuous self-maps on compact metric spaces has the intermediate value property. △ Less

Submitted 13 October, 2022; v1 submitted 1 August, 2022; originally announced August 2022.

Comments: Now the paper also contains results about generic dissipative homeomorphisms on dimension greater than two and an application about the metric order of the space of pseudo-physical measures of C^0-generic homeomorphisms

MSC Class: 37C45; 54H20; 37B40; 54F45

Journal ref: Math. Proc. Camb. Phil. Soc. 177 (2024) 525-551

Adaptation, Comparison and Practical Implementation of Fairness Schemes in Kidney Exchange Programs

Authors: William St-Arnaud, Margarida Carvalho, Golnoosh Farnadi

Abstract: In Kidney Exchange Programs (KEPs), each participating patient is registered together with an incompatible donor. Donors without an incompatible patient can also register. Then, KEPs typically maximize overall patient benefit through donor exchanges. This aggregation of benefits calls into question potential individual patient disparities in terms of access to transplantation in KEPs. Considering… ▽ More In Kidney Exchange Programs (KEPs), each participating patient is registered together with an incompatible donor. Donors without an incompatible patient can also register. Then, KEPs typically maximize overall patient benefit through donor exchanges. This aggregation of benefits calls into question potential individual patient disparities in terms of access to transplantation in KEPs. Considering solely this utilitarian objective may become an issue in the case where multiple exchange plans are optimal or near-optimal. In fact, current KEP policies are all-or-nothing, meaning that only one exchange plan is determined. Each patient is either selected or not as part of that unique solution. In this work, we seek instead to find a policy that contemplates the probability of patients of being in a solution. To guide the determination of our policy, we adapt popular fairness schemes to KEPs to balance the usual approach of maximizing the utilitarian objective. Different combinations of fairness and utilitarian objectives are modelled as conic programs with an exponential number of variables. We propose a column generation approach to solve them effectively in practice. Finally, we make an extensive comparison of the different schemes in terms of the balance of utility and fairness score, and validate the scalability of our methodology for benchmark instances from the literature. △ Less

Submitted 21 April, 2023; v1 submitted 1 July, 2022; originally announced July 2022.

Journal ref: European Journal of Operational Research, 2025

Optimising Electric Vehicle Charging Station Placement using Advanced Discrete Choice Models

Authors: Steven Lamontagne, Margarida Carvalho, Emma Frejinger, Bernard Gendron, Miguel F. Anjos, Ribal Atallah

Abstract: We present a new model for finding the optimal placement of electric vehicle charging stations across a multi-period time frame so as to maximise electric vehicle adoption. Via the use of advanced discrete choice models and user classes, this work allows for a granular modelling of user attributes and their preferences in regard to charging station characteristics. Instead of embedding an analytic… ▽ More We present a new model for finding the optimal placement of electric vehicle charging stations across a multi-period time frame so as to maximise electric vehicle adoption. Via the use of advanced discrete choice models and user classes, this work allows for a granular modelling of user attributes and their preferences in regard to charging station characteristics. Instead of embedding an analytical probability model in the formulation, we adopt a simulation approach and pre-compute error terms for each option available to users for a given number of scenarios. This results in a bilevel optimisation model that is, however, intractable for all but the simplest instances. Using the pre-computed error terms to calculate the users covered by each charging station allows for a maximum covering model, for which solutions can be found more efficiently than for the bilevel formulation. The maximum covering formulation remains intractable in some instances, so we propose rolling horizon, greedy, and GRASP heuristics to obtain good quality solutions more efficiently. Extensive computational results are provided, which compare the maximum covering formulation with the current state-of-the-art, both for exact solutions and the heuristic methods. Keywords: Electric vehicle charging stations, facility location, integer programming, discrete choice models, maximum covering △ Less

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

Comments: v3. Accepted-as manuscript. Minor alterations, including a link to the data instances. v2.Major revision, but core results unchanged; Revised models, but Greedy and GRASP are still best methods. Merging and reduction of the section for bilevel model. New sections with additional computational results. Minor notation changes and sentence clarifications

COSMIC: fast closed-form identification from large-scale data for LTV systems

Authors: Maria Carvalho, Claudia Soares, Pedro Lourenço, Rodrigo Ventura

Abstract: We introduce a closed-form method for identification of discrete-time linear time-variant systems from data, formulating the learning problem as a regularized least squares problem where the regularizer favors smooth solutions within a trajectory. We develop a closed-form algorithm with guarantees of optimality and with a complexity that increases linearly with the number of instants considered pe… ▽ More We introduce a closed-form method for identification of discrete-time linear time-variant systems from data, formulating the learning problem as a regularized least squares problem where the regularizer favors smooth solutions within a trajectory. We develop a closed-form algorithm with guarantees of optimality and with a complexity that increases linearly with the number of instants considered per trajectory. The COSMIC algorithm achieves the desired result even in the presence of large volumes of data. Our method solved the problem using two orders of magnitude less computational power than a general purpose convex solver and was about 3 times faster than a Stochastic Block Coordinate Descent especially designed method. Computational times of our method remained in the order of magnitude of the second even for 10k and 100k time instants, where the general purpose solver crashed. To prove its applicability to real world systems, we test with spring-mass-damper system and use the estimated model to find the optimal control path. Our algorithm was applied to both a Low Fidelity and Functional Engineering Simulators for the Comet Interceptor mission, that requires precise pointing of the on-board cameras in a fast dynamics environment. Thus, this paper provides a fast alternative to classical system identification techniques for linear time-variant systems, while proving to be a solid base for applications in the Space industry and a step forward to the incorporation of algorithms that leverage data in such a safety-critical environment. △ Less

Submitted 29 May, 2022; v1 submitted 8 December, 2021; originally announced December 2021.

Existence of S-shaped type bifurcation curve with dual cusp catastrophe via variational methods

Authors: Marcos Leandro Carvalho, Yavdat Il'yasov, Carlos Alberto Santos

Abstract: We discuss the existence of multiple positive solutions leading to the occurrence of an S-shaped bifurcation curve to the equations of the form $$ -Δ_p u= f(μ,λ, u)~ \mbox{in} ~Ω\subset \mathbb{R}^N $$ where $Δ_p$ is a $p$-Laplacian, $p>1$, $N\geq 1$, $μ, λ\in \mathbb{R}$. We deal with relatively unexplored cases when $f(μ,λ, u)$ is non-Lipschitz at $u=0$, $f(μ,λ, 0) = 0 $ and $ f(μ,λ, u) <0$,… ▽ More We discuss the existence of multiple positive solutions leading to the occurrence of an S-shaped bifurcation curve to the equations of the form $$ -Δ_p u= f(μ,λ, u)~ \mbox{in} ~Ω\subset \mathbb{R}^N $$ where $Δ_p$ is a $p$-Laplacian, $p>1$, $N\geq 1$, $μ, λ\in \mathbb{R}$. We deal with relatively unexplored cases when $f(μ,λ, u)$ is non-Lipschitz at $u=0$, $f(μ,λ, 0) = 0 $ and $ f(μ,λ, u) <0$, $u \in (0,r)$, for some $r<+\infty$. We develop the nonlinear generalized Rayleigh quotients method to find a range of parameters where the equation may have distinct branches of positive solutions. As a consequence, applying the Nehari manifold method and the mountain pass theorem, we prove that the equation for some range of values $μ, λ$, has at least three positive solutions with two linearly unstable solutions and one linearly stable. The results evidence that the bifurcation curve is S-shaped and exhibits the so-called dual cusp catastrophe which is characterized by the fact that the corresponding dynamic equation has stable states only within the cusp-shaped region in the control plane of parameters. Our results are new even in the one-dimensional case and $p=2$. △ Less

Submitted 4 December, 2021; originally announced December 2021.

Comments: 25 pages, 4 figures

MSC Class: 35J60; 35J20; 35B30

ZERO: Playing Mathematical Programming Games

Authors: Gabriele Dragotto, Sriram Sankaranarayanan, Margarida Carvalho, Andrea Lodi

Abstract: We present ZERO, a modular and extensible C++ library interfacing Mathematical Programming and Game Theory. ZERO provides a comprehensive toolkit of modeling interfaces and algorithms for Reciprocally Bilinear Games (RBGs), i.e., simultaneous non-cooperative games where each player solves a mathematical program with a linear objective in the player's variable and bilinear in its opponents' variabl… ▽ More We present ZERO, a modular and extensible C++ library interfacing Mathematical Programming and Game Theory. ZERO provides a comprehensive toolkit of modeling interfaces and algorithms for Reciprocally Bilinear Games (RBGs), i.e., simultaneous non-cooperative games where each player solves a mathematical program with a linear objective in the player's variable and bilinear in its opponents' variables. This class of games generalizes the classical problems of Operations Research to a multi-agent setting. ZERO modular structure gives users all the elementary ingredients to design new game-theoretic models and algorithms for RBGs, and find their Nash equilibria. The library provides additional extended support for integer non-convexities, linear bilevel problems, and linear equilibrium problems with equilibrium constraints. We provide an overview of the software's key components and showcase a Knapsack Game, i.e., a game where each player solves a binary knapsack problem. Aiming to boost practical methodological contributions at the interplay of Mathematical Programming and Game Theory, we release ZERO as open-source software. Source code, documentation and examples are available at www.getzero.one. △ Less

Submitted 12 December, 2021; v1 submitted 15 November, 2021; originally announced November 2021.

Sensitivity and historic behavior for continuous maps on Baire metric spaces

Authors: M. Carvalho, V. Coelho, L. Salgado, P. Varandas

Abstract: We introduce a notion of sensitivity, with respect to a continuous bounded observable, which provides a sufficient condition for a continuous map, acting on a Baire metric space, to exhibit a Baire generic subset of points with historic behavior. The applications of this criterion recover, and extend, several known theorems on the genericity of the irregular set, besides yielding a number of new r… ▽ More We introduce a notion of sensitivity, with respect to a continuous bounded observable, which provides a sufficient condition for a continuous map, acting on a Baire metric space, to exhibit a Baire generic subset of points with historic behavior. The applications of this criterion recover, and extend, several known theorems on the genericity of the irregular set, besides yielding a number of new results, including information on the irregular set of geodesic flows, in both negative and non-positive curvature, and semigroup actions. △ Less

Submitted 13 November, 2021; originally announced November 2021.

MSC Class: 37A30; 37C10; 37C40; 37D20

The Cut-and-Play Algorithm: Computing Nash Equilibria via Outer Approximations

Authors: Margarida Carvalho, Gabriele Dragotto, Andrea Lodi, Sriram Sankaranarayanan

Abstract: We introduce Cut-and-Play, a practically-efficient algorithm for computing Nash equilibria in simultaneous non-cooperative games where players decide via nonconvex and possibly unbounded optimization problems with separable payoff functions. Our algorithm exploits an intrinsic relationship between the equilibria of the original nonconvex game and the ones of a convexified counterpart. In practice,… ▽ More We introduce Cut-and-Play, a practically-efficient algorithm for computing Nash equilibria in simultaneous non-cooperative games where players decide via nonconvex and possibly unbounded optimization problems with separable payoff functions. Our algorithm exploits an intrinsic relationship between the equilibria of the original nonconvex game and the ones of a convexified counterpart. In practice, Cut-and-Play formulates a series of convex approximations of the game and iteratively refines them with cutting planes and branching operations. Our algorithm does not require convexity or continuity of the player's optimization problems and can be integrated with existing optimization software. We test Cut-and-Play on two families of challenging nonconvex games involving discrete decisions and bilevel problems, and we empirically demonstrate that it efficiently computes equilibria while outperforming existing game-specific algorithms. △ Less

Submitted 3 May, 2024; v1 submitted 10 November, 2021; originally announced November 2021.

Regularity results for quasilinear elliptic problems driven by the fractional $Φ$-Laplacian operator

Authors: M. L. Carvalho, E. D. Silva, J. C. de Albuquerque, S. Bahrouni

Abstract: It is established $L^{p}$ estimates for the fractional $Φ$-Laplacian operator defined in bounded domains where the nonlinearity is subcritical or critical in a suitable sense. Furthermore, using some fine estimates together with the Moser's iteration, we prove that any weak solution for fractional $Φ$-Laplacian operator defined in bounded domains belongs to $L^\infty(Ω)$ under appropriate hypothes… ▽ More It is established $L^{p}$ estimates for the fractional $Φ$-Laplacian operator defined in bounded domains where the nonlinearity is subcritical or critical in a suitable sense. Furthermore, using some fine estimates together with the Moser's iteration, we prove that any weak solution for fractional $Φ$-Laplacian operator defined in bounded domains belongs to $L^\infty(Ω)$ under appropriate hypotheses on the $N$-function $Φ$. Using the Orlicz space and taking into account the fractional setting for our problem the main results are stated for a huge class of nonlinear operators and nonlinearities. △ Less

Submitted 9 November, 2021; originally announced November 2021.

Capacity Planning in Stable Matching

Authors: Federico Bobbio, Margarida Carvalho, Andrea Lodi, Ignacio Rios, Alfredo Torrico

Abstract: Motivated by the shortage of seats that the Chilean school choice system is facing, we introduce the problem of jointly increasing school capacities and finding a student-optimal assignment in the expanded market. Due to the theoretical and practical complexity of the problem, we provide a comprehensive set of tools to solve the problem, including different mathematical programming formulations, a… ▽ More Motivated by the shortage of seats that the Chilean school choice system is facing, we introduce the problem of jointly increasing school capacities and finding a student-optimal assignment in the expanded market. Due to the theoretical and practical complexity of the problem, we provide a comprehensive set of tools to solve the problem, including different mathematical programming formulations, a cutting plane algorithm, and two heuristics that allow obtaining near-optimal solutions quickly. On the theoretical side, we show the correctness of our formulations, different properties of the objective and feasible region that facilitate computation, and also several properties of the underlying mechanism to find a student-optimal matching under capacity expansions. On the computational side, we use data from the Chilean school choice system to demonstrate the impact of our framework and derive insights that could help alleviate the problem. Our results show that each additional seat can benefit multiple students and that we can effectively target the assignment of previously unassigned students or improve the assignment of several students through improvement chains. Nevertheless, our results show that the marginal effect of each additional seat is decreasing and that simply adding seats is insufficient to ensure every student gets assigned to some school. Finally, we discuss several extensions of our framework, showcasing its flexibility to accommodate different needs. △ Less

Submitted 7 August, 2024; v1 submitted 2 October, 2021; originally announced October 2021.

A QUBO Formulation for Minimum Loss Spanning Tree Reconfiguration Problems in Electric Power Networks

Authors: Filipe F. C. Silva, Pedro M. S. Carvalho, Luis A. F. M. Ferreira, Yasser Omar

Abstract: We introduce a novel quadratic unconstrained binary optimization (QUBO) formulation for a classical problem in electrical engineering -- the optimal reconfiguration of distribution grids. For a given graph representing the grid infrastructure and known nodal loads, the problem consists in finding the spanning tree that minimizes the total link ohmic losses. A set of constraints is initially define… ▽ More We introduce a novel quadratic unconstrained binary optimization (QUBO) formulation for a classical problem in electrical engineering -- the optimal reconfiguration of distribution grids. For a given graph representing the grid infrastructure and known nodal loads, the problem consists in finding the spanning tree that minimizes the total link ohmic losses. A set of constraints is initially defined to impose topologically valid solutions. These constraints are then converted to a QUBO model as penalty terms. The electrical losses terms are finally added to the model as the objective function to minimize. In order to maximize the performance of solution searching with classical solvers, with hybrid quantum-classical solvers and with quantum annealers, our QUBO formulation has the goal of being very efficient in terms of variables usage. A standard 33-node test network is used as an illustrative example of our general formulation. Model metrics for this example are presented and discussed. Finally, the optimal solution for this example was obtained and validated through comparison with the optimal solution from an independent method. △ Less

Submitted 15 March, 2022; v1 submitted 20 September, 2021; originally announced September 2021.

Comments: 21 pages, 9 figures. v2: Added new sections on model scaling and validation. Minor editorial changes

Genericity of historic behavior for maps and flows

Authors: Maria Carvalho, Paulo Varandas

Abstract: We establish a sufficient condition for a continuous map, acting on a compact metric space, to have a Baire residual set of points exhibiting historic behavior (also known as irregular points). This criterion applies, for instance, to a minimal and non-uniquely ergodic map; to maps preserving two distinct probability measures with full support; to non-trivial homoclinic classes; to some non-unifor… ▽ More We establish a sufficient condition for a continuous map, acting on a compact metric space, to have a Baire residual set of points exhibiting historic behavior (also known as irregular points). This criterion applies, for instance, to a minimal and non-uniquely ergodic map; to maps preserving two distinct probability measures with full support; to non-trivial homoclinic classes; to some non-uniformly expanding maps; and to partially hyperbolic diffeomorphisms with two periodic points whose stable manifolds are dense, including Mañé and Shub examples of robustly transitive diffeomorphisms. This way, our unifying approach recovers a collection of known deep theorems on the genericity of the irregular set, for both additive and sub-additive potentials, and also provides a number of new applications. △ Less

Submitted 2 July, 2021; originally announced July 2021.

Comments: 14 pages, revised and improved version of previous preprint "Minimality and irregular sets"

A Catalog of Formulations for the Network Pricing Problem

Authors: Quang Minh Bui, Bernard Gendron, Margarida Carvalho

Abstract: We study the network pricing problem where the leader maximizes their revenue by determining the optimal amounts of tolls to charge on a set of arcs, under the assumption that the followers will react rationally and choose the shortest paths to travel. Many distinct single-level reformulations to this bilevel optimization program have been proposed, however, their relationship has not been establi… ▽ More We study the network pricing problem where the leader maximizes their revenue by determining the optimal amounts of tolls to charge on a set of arcs, under the assumption that the followers will react rationally and choose the shortest paths to travel. Many distinct single-level reformulations to this bilevel optimization program have been proposed, however, their relationship has not been established. In this paper, we aim to build a connection between those reformulations and explore the combination of the path representation with various modeling options, allowing us to generate 12 different reformulations of the problem. Moreover, we propose a new path enumeration scheme, path-based preprocessing, and hybrid framework to further improve performance and robustness when solving the final model. We provide numerical results, comparing all the derived reformulations and confirming the efficiency of the novel dimensionality reduction procedures. △ Less

Submitted 7 June, 2021; originally announced June 2021.

Comments: 35 pages, 7 figures

MSC Class: 90C35 ACM Class: G.1.6

Journal ref: INFORMS Journal on Computing 2022 34:5, 2658-2674

A fractional-order model for CoViD-19 dynamics with reinfection and the importance of quarantine

Authors: João P. S. Maurício de Carvalho, Beatriz Moreira-Pinto

Abstract: Coronavirus disease 2019 (CoViD-19) is an infectious disease caused by severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2). Among many symptoms, cough, fever and tiredness are the most common. People over 60 years old and with associated comorbidities are most likely to develop a worsening health condition. This paper proposes a non-integer order model to describe the dynamics of CoViD-19… ▽ More Coronavirus disease 2019 (CoViD-19) is an infectious disease caused by severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2). Among many symptoms, cough, fever and tiredness are the most common. People over 60 years old and with associated comorbidities are most likely to develop a worsening health condition. This paper proposes a non-integer order model to describe the dynamics of CoViD-19 in a standard population. The model incorporates the reinfection rate in the individuals recovered from the disease. Numerical simulations are performed for different values of the order of the fractional derivative and of reinfection rate. The results are discussed from a biological point of view. △ Less

Submitted 19 July, 2021; v1 submitted 9 April, 2021; originally announced April 2021.

MSC Class: 37M05; 37N25; 65P99; 92B05

Strange attractors in a dynamical system inspired by a seasonally forced SIR model

Authors: João P. S. Maurício de Carvalho, Alexandre A. Rodrigues

Abstract: We analyze a multiparameter periodically-forced dynamical system inspired in the SIR endemic model. We show that the condition on the \emph{basic reproduction number} $\mathcal{R}_0 < 1$ is not sufficient to guarantee the elimination of \emph{Infectious} individuals due to a \emph{backward bifurcation}. Using the theory of rank-one attractors, for an open subset in the space of parameters where… ▽ More We analyze a multiparameter periodically-forced dynamical system inspired in the SIR endemic model. We show that the condition on the \emph{basic reproduction number} $\mathcal{R}_0 < 1$ is not sufficient to guarantee the elimination of \emph{Infectious} individuals due to a \emph{backward bifurcation}. Using the theory of rank-one attractors, for an open subset in the space of parameters where $\mathcal{R}_0<1$, the flow exhibits \emph{persistent strange attractors}. These sets are not confined to a tubular neighbourhood in the phase space, are numerically observable and shadow the ghost of a two-dimensional invariant torus. Although numerical experiments have already suggested that periodically-forced biological models may exhibit observable chaos, a rigorous proof was not given before. Our results agree well with the empirical belief that intense seasonality induces chaos. This work provides a preliminary investigation of the interplay between seasonality, deterministic dynamics and the prevalence of strange attractors in a nonlinear forced system inspired by biology. △ Less

Submitted 21 March, 2022; v1 submitted 24 March, 2021; originally announced March 2021.

Comments: Accepted in Physica D

MSC Class: 37D45; 37G10; 37G15; 03C25