Showing 1–12 of 12 results for author: Escalante, M

The Minimum Clique Routing Problem on Cycles

Authors: Mariana Escalante, Martín Matamala, Iván Rapaport, Paola Tolomei, Luis Miguel Torres

Abstract: In the Minimum Clique Routing Problem on Cycles \textsc{MCRPC} we are given a cycle together with a set of demands (weighted origin-destination pairs) and the goal is to route all the pairs minimizing the maximum weighted clique of the intersection graph induced by the routing. The vertices of this graph are the demands with their corresponding weights and two demands are adjacent when their route… ▽ More In the Minimum Clique Routing Problem on Cycles \textsc{MCRPC} we are given a cycle together with a set of demands (weighted origin-destination pairs) and the goal is to route all the pairs minimizing the maximum weighted clique of the intersection graph induced by the routing. The vertices of this graph are the demands with their corresponding weights and two demands are adjacent when their routes share at least one arc. In this work we are not only interested in the \textsc{MCRPC} but also in two natural subproblems. First, we consider the situation where the demands are disjoint, in the sense that every two demands do not share any of their corresponding ends. Second, we analyze the subproblem where the weights of the routes are all equal. We first show that the problem is NP-complete even in the subproblem of disjoint demands. For the case of arbitrary weights, we exhibit a simple combinatorial 2-approximation algorithm and a $\frac{3}{2}$-approximation algorithm based on rounding a solution of a relaxation of an integer linear programming formulation of our problem. Finally, we give a Fixed Parameter Tractable algorithm for the case of uniform weights, whose parameter is related to the maximum degree of the intersection graph induced by any routing. △ Less

Submitted 16 November, 2023; originally announced November 2023.

NIPG-DG schemes for transformed master equations modeling open quantum systems

Authors: Jose A. Morales Escalante

Abstract: This work presents a numerical analysis of a Discontinuous Galerkin (DG) method for a transformed master equation modeling an open quantum system: a quantum sub-system interacting with a noisy environment. It is shown that the presented transformed master equation has a reduced computational cost in comparison to a Wigner-Fokker-Planck model of the same system for the general case of non-harmonic… ▽ More This work presents a numerical analysis of a Discontinuous Galerkin (DG) method for a transformed master equation modeling an open quantum system: a quantum sub-system interacting with a noisy environment. It is shown that the presented transformed master equation has a reduced computational cost in comparison to a Wigner-Fokker-Planck model of the same system for the general case of non-harmonic potentials via DG schemes. Specifics of a Discontinuous Galerkin (DG) numerical scheme adequate for the system of convection-diffusion equations obtained for our Lindblad master equation in position basis are presented. This lets us solve computationally the transformed system of interest modeling our open quantum system problem. The benchmark case of a harmonic potential is then presented, for which the numerical results are compared against the analytical steady-state solution of this problem. Two non-harmonic cases are then presented: the linear and quartic potentials are modeled via our DG framework, for which we show our numerical results. △ Less

Submitted 19 December, 2024; v1 submitted 22 August, 2023; originally announced August 2023.

Comments: 28 pages, 13 figures. Added sample cases beyond benchmark harmonic problem, corrected typos, added references, included convergence study with homogeneous boundary conditions in addition to steady state boundary conditions, therefore increasing the number of pages and figures

Entropy-stable positivity-preserving DG schemes for Boltzmann-Poisson models of collisional electronic transport along energy bands

Authors: Jose A. Morales Escalante, Irene M. Gamba

Abstract: This work is related to developing entropy-stable positivity-preserving Discontinuous Galerkin (DG) methods as a computational scheme for Boltzmann-Poisson systems modeling the probability density of collisional electronic transport along semiconductor energy bands. In momentum coordinates representing spherical / energy-angular variables, we pose the respective Vlasov-Boltzmann equation with a li… ▽ More This work is related to developing entropy-stable positivity-preserving Discontinuous Galerkin (DG) methods as a computational scheme for Boltzmann-Poisson systems modeling the probability density of collisional electronic transport along semiconductor energy bands. In momentum coordinates representing spherical / energy-angular variables, we pose the respective Vlasov-Boltzmann equation with a linear collision operator and a singular measure, modeling scatterings as functions of the band structure appropriately for hot electron nanoscale transport. We show stability results of semi-discrete DG schemes under an entropy norm for 1D-position (2D-momentum) and 2D-position (3D-momentum), using dissipative properties of the collisional operator given its entropy inequality. The latter depends on an exponential of the Hamiltonian rather than the Maxwellian associated with only kinetic energy. For the 1D problem, knowing the analytic solution to the Poisson equation and convergence to a constant current is crucial to obtaining full stability (weighted entropy norm decreasing over time). For the 2D problem, specular reflection boundary conditions and periodicity are considered in estimating stability under an entropy norm. Regarding the positivity-preservation proofs in the DG scheme for the 1D problem, inspired by \cite{ZhangShu1}, \cite{ZhangShu2}, and \cite{CGP}, \cite{EECHXM-JCP}, we treat collisions as a source and find convex combinations of the transport and collision terms which guarantee positivity of the cell average of our numerical probability density at the next time. The positivity of the numerical solution to the probability density in the domain is guaranteed by applying the limiters in \cite{ZhangShu1} and \cite{ZhangShu2} that preserve the cell average modifying the slope of the piecewise linear solutions to make the function non-negative. △ Less

Submitted 28 May, 2024; v1 submitted 1 November, 2019; originally announced November 2019.

Comments: First author acknowledges discussions with Eirik Endeve and Cory Hauck during the time spent visiting them at ORNL (restricted to positivity preservation, appearing on arXiv:1711.03949) on a trip paid by the kinet grant NSF-RNMS DMS-1107465. V3 is a much more extended version where two new proofs have been included to deal with the curvilinear momentum, related to L2-error estimate theorems

MSC Class: 65R20

Stochastic Galerkin Methods for the Boltzmann-Poisson system

Authors: Jose A. Morales Escalante, Clemens Heitzinger

Abstract: We study uncertainty quantification for a Boltzmann-Poisson system that models electron transport in semiconductors and the physical collision mechanisms over the charges. We use the stochastic Galerkin method in order to handle the randomness associated with the problem. The main uncertainty in the Boltzmann equation concerns the initial conditions for a large number of particles, which is why th… ▽ More We study uncertainty quantification for a Boltzmann-Poisson system that models electron transport in semiconductors and the physical collision mechanisms over the charges. We use the stochastic Galerkin method in order to handle the randomness associated with the problem. The main uncertainty in the Boltzmann equation concerns the initial conditions for a large number of particles, which is why the problem is formulated in terms of a probability density in phase space. The second source of uncertainty, directly related to the quantum nature of the problem, is the collision operator, as its structure in this semiclassical model comes from the quantum scattering matrices operating on the wave function associated to the electron probability density. Additional sources of uncertainty are transport, boundary data, etc. In this study we choose first the phonon energy as a random variable, since its value influences the energy jump appearing in the collision integral for electron-phonon scattering. Then we choose the lattice temperature as a random variable, since it defines the value of the collision operator terms in the case of electron-phonon scattering by being a parameter of the phonon distribution. The random variable for this case is a scalar then. Finally, we present our numerical simulations. △ Less

Submitted 16 July, 2021; v1 submitted 29 October, 2019; originally announced October 2019.

Comments: A few style corrections were performed. Extension of abstract and conclusions in preprint

Packing functions and graphs with perfect closed neighbourhood matrices

Authors: Mariana Escalante, Erica Hinrichsen, Valeria. Leoni

Abstract: In this work we consider a straightforward linear programming formulation of the recently introduced $\{k\}$-packing function problem in graphs, for each fixed value of the positive integer number $k$. We analyse a special relation between the case $ k = 1$ and $ k \geq 2$ and give a sufficient condition for optimality ---the perfection--- of the closed neighbourhood matrix $N[G]$ of the input gra… ▽ More In this work we consider a straightforward linear programming formulation of the recently introduced $\{k\}$-packing function problem in graphs, for each fixed value of the positive integer number $k$. We analyse a special relation between the case $ k = 1$ and $ k \geq 2$ and give a sufficient condition for optimality ---the perfection--- of the closed neighbourhood matrix $N[G]$ of the input graph $G$. We begin a structural study of graphs satisfying this condition. In particular, we look for a characterization of graphs that have perfect closed neighbourhood matrices which involves the property of being a clique-node matrix of a perfect graph. We present a necessary and sufficient condition for a graph to have a clique-node closed neighbourhood matrix. Finally, we study the perfection of the graph of maximal cliques associated to $N[G]$. △ Less

Submitted 21 December, 2018; originally announced December 2018.

Comments: 14 pages, 4 figures

Positivity preserving DG schemes for a Boltzmann - Poisson model of electrons in semiconductors in curvilinear momentum coordinates

Authors: José A. Morales Escalante, Irene M. Gamba, Eirik Endeve, Cory Hauck

Abstract: The work presented in this paper is related to the development of positivity preserving Discontinuous Galerkin (DG) methods for Boltzmann - Poisson (BP) computational models of electronic transport in semiconductors. We pose the Boltzmann Equation for electron transport in curvilinear coordinates for the momentum. We consider the 1D diode problem with azimuthal symmetry, which is a 3D plus time pr… ▽ More The work presented in this paper is related to the development of positivity preserving Discontinuous Galerkin (DG) methods for Boltzmann - Poisson (BP) computational models of electronic transport in semiconductors. We pose the Boltzmann Equation for electron transport in curvilinear coordinates for the momentum. We consider the 1D diode problem with azimuthal symmetry, which is a 3D plus time problem. We choose for this problem the spherical coordinate system $\vec{p}(|\vec{p}|,μ=cosθ,\varphi)$, slightly different to the choice in previous DG solvers for BP, because its DG formulation gives simpler integrals involving just piecewise polynomial functions for both transport and collision terms. Applying the strategy of Zhang \& Shu, \cite{ZhangShu1}, \cite{ZhangShu2}, Cheng, Gamba, Proft, \cite{CGP}, and Endeve et al. \cite{EECHXM-JCP}, we treat the collision operator as a source term, and find convex combinations of the transport and collision terms which guarantee the positivity of the cell average of our numerical probability density function at the next time step. The positivity of the numerical solution to the pdf in the whole domain is guaranteed by applying the limiters in \cite{ZhangShu1}, \cite{ZhangShu2} that preserve the cell average but modify the slope of the piecewise linear solutions in order to make the function non - negative. In addition of the proofs of positivity preservation in the DG scheme, we prove the stability of the semi-discrete DG scheme under an entropy norm, using the dissipative properties of our collisional operator given by its entropy inequalities. The entropy inequality we use depends on an exponential of the Hamiltonian rather than the Maxwellian associated just to the kinetic energy. △ Less

Submitted 10 November, 2017; originally announced November 2017.

Comments: Preprint

Lovász-Schrijver PSD-operator on Claw-Free Graphs

Authors: Silvia Bianchi, Mariana Escalante, Graciela Nasini, Annegret Wagler

Abstract: The subject of this work is the study of $\LS_+$-perfect graphs defined as those graphs $G$ for which the stable set polytope $\stab(G)$ is achieved in one iteration of Lovász-Schrijver PSD-operator $\LS_+$, applied to its edge relaxation $\estab(G)$. In particular, we look for a polyhedral relaxation of $\stab(G)$ that coincides with $\LS_+(\estab(G))$ and $\stab(G)$ if and only if $G$ is… ▽ More The subject of this work is the study of $\LS_+$-perfect graphs defined as those graphs $G$ for which the stable set polytope $\stab(G)$ is achieved in one iteration of Lovász-Schrijver PSD-operator $\LS_+$, applied to its edge relaxation $\estab(G)$. In particular, we look for a polyhedral relaxation of $\stab(G)$ that coincides with $\LS_+(\estab(G))$ and $\stab(G)$ if and only if $G$ is $\LS_+$-perfect. An according conjecture has been recently formulated ($\LS_+$-Perfect Graph Conjecture); here we verify it for the well-studied class of claw-free graphs. △ Less

Submitted 6 December, 2016; originally announced December 2016.

Galerkin Methods for Boltzmann-Poisson transport with reflection conditions on rough boundaries

Authors: Jose A. Morales Escalante, Irene M. Gamba

Abstract: We consider in this paper the mathematical and numerical modelling of reflective boundary conditions (BC) associated to Boltzmann - Poisson systems, including diffusive reflection in addition to specularity, in the context of electron transport in semiconductor device modelling at nano scales, and their implementation in Discontinuous Galerkin (DG) schemes. We study these BC on the physical bounda… ▽ More We consider in this paper the mathematical and numerical modelling of reflective boundary conditions (BC) associated to Boltzmann - Poisson systems, including diffusive reflection in addition to specularity, in the context of electron transport in semiconductor device modelling at nano scales, and their implementation in Discontinuous Galerkin (DG) schemes. We study these BC on the physical boundaries of the device and develop a numerical approximation to model an insulating boundary condition, or equivalently, a pointwise zero flux mathematical condition for the electron transport equation. Such condition balances the incident and reflective momentum flux at the microscopic level, pointwise at the boundary, in the case of a more general mixed reflection with momentum dependant specularity probability $p(\vec{k})$. We compare the computational prediction of physical observables given by the numerical implementation of these different reflection conditions in our DG scheme for BP models, and observe that the diffusive condition influences the kinetic moments over the whole domain in position space. △ Less

Submitted 26 February, 2018; v1 submitted 30 December, 2015; originally announced December 2015.

Comments: Paper accepted for publication in Journal of Computational Physics. -Conclusions section expanded -Title changed with respect to previous preprint version -New subsections related to simulations of 2D double gated MOSFET and comparison of bulk silicon with collisionless plasma under reflective and periodic boundary conditions

Journal ref: Journal of Computational Physics 363C (2018) pp. 302-328

Characterizing N+-perfect line graphs

Authors: M. Escalante, G. Nasini, A. Wagler

Abstract: The subject of this contribution is the study of the Lovász-Schrijver PSD-operator N+ applied to the edge relaxation of the stable set polytope of a graph. We are particularly interested in the problem of characterizing graphs for which N+ generates the stable set polytope in one step, called N+-perfect graphs. It is conjectured that the only N+-perfect graphs are those whose stable set polytope i… ▽ More The subject of this contribution is the study of the Lovász-Schrijver PSD-operator N+ applied to the edge relaxation of the stable set polytope of a graph. We are particularly interested in the problem of characterizing graphs for which N+ generates the stable set polytope in one step, called N+-perfect graphs. It is conjectured that the only N+-perfect graphs are those whose stable set polytope is described by inequalities with near-bipartite support. So far, this conjecture has been proved for near-perfect graphs, fs-perfect graphs, and webs. Here, we verify it for line graphs, by proving that in an N+-perfect line graph the only facet-defining graphs are cliques and odd holes. △ Less

Submitted 15 May, 2015; originally announced May 2015.

Lift-and-project ranks of the stable set polytope of joined a-perfect graphs

Authors: S. Bianchi, M. Escalante, M. S. Montelar

Abstract: In this paper we study lift-and-project polyhedral operators defined by Lov?asz and Schrijver and Balas, Ceria and Cornu?ejols on the clique relaxation of the stable set polytope of web graphs. We compute the disjunctive rank of all webs and consequently of antiweb graphs. We also obtain the disjunctive rank of the antiweb constraints for which the complexity of the separation problem is still unk… ▽ More In this paper we study lift-and-project polyhedral operators defined by Lov?asz and Schrijver and Balas, Ceria and Cornu?ejols on the clique relaxation of the stable set polytope of web graphs. We compute the disjunctive rank of all webs and consequently of antiweb graphs. We also obtain the disjunctive rank of the antiweb constraints for which the complexity of the separation problem is still unknown. Finally, we use our results to provide bounds of the disjunctive rank of larger classes of graphs as joined a-perfect graphs, where near-bipartite graphs belong. △ Less

Submitted 29 April, 2015; originally announced April 2015.

Boundary conditions effects by Discontinuous Galerkin solvers for Boltzmann-Poisson models of electron transport

Authors: Jose A. Morales Escalante, Irene M. Gamba

Abstract: In this paper we perform, by means of Discontinuous Galerkin (DG) Finite Element Method (FEM) based numerical solvers for Boltzmann-Poisson (BP) semiclassical models of hot electronic transport in semiconductors, a numerical study of reflective boundary conditions in the BP system, such as specular reflection, diffusive reflection, and a mixed convex combination of these reflections, and their eff… ▽ More In this paper we perform, by means of Discontinuous Galerkin (DG) Finite Element Method (FEM) based numerical solvers for Boltzmann-Poisson (BP) semiclassical models of hot electronic transport in semiconductors, a numerical study of reflective boundary conditions in the BP system, such as specular reflection, diffusive reflection, and a mixed convex combination of these reflections, and their effect on the behavior of the solution. A boundary layer effect is observed in our numerical simulations for the kinetic moments related to diffusive and mixed reflection. △ Less

Submitted 20 November, 2014; originally announced November 2014.

Comments: appears in Computational Electronics (IWCE), 2014 International Workshop on, Paris, France. (2014). IEEE Xplore Digital Library 6865873.pdf

MSC Class: 45E99; 45K05; 65C20; 65C30; 65C50

Lovász-Schrijver SDP-operator, near-perfect graphs and near-bipartite graphs

Authors: S. Bianchi, M. Escalante, G. Nasini, L. Tunçel

Abstract: We study the Lovász-Schrijver lift-and-project operator ($LS_+$) based on the cone of symmetric, positive semidefinite matrices, applied to the fractional stable set polytope of graphs. The problem of obtaining a combinatorial characterization of graphs for which the $LS_+$-operator generates the stable set polytope in one step has been open since 1990. We call these graphs $LS_+$-perfect. In the… ▽ More We study the Lovász-Schrijver lift-and-project operator ($LS_+$) based on the cone of symmetric, positive semidefinite matrices, applied to the fractional stable set polytope of graphs. The problem of obtaining a combinatorial characterization of graphs for which the $LS_+$-operator generates the stable set polytope in one step has been open since 1990. We call these graphs $LS_+$-perfect. In the current contribution, we pursue a full combinatorial characterization of $LS_+$-perfect graphs and make progress towards such a characterization by establishing a new, close relationship among $LS_+$-perfect graphs, near-bipartite graphs and a newly introduced concept of full-support-perfect graphs. △ Less

Submitted 7 November, 2014; originally announced November 2014.

Comments: 20 pages, 4 figures