-
Exact zero modes in the interacting Majorana X- and Y-junctions
Authors:
Rik Mulder,
Bowy M. La Rivière,
Natalia Chepiga
Abstract:
We report the appearance of exact zero modes in junctions of interacting Majorana wires. We consider two, three and four short Majorana chains coupled to each other at one edge and forming a longer chain with an impurity bond, Y- and X- junctions correspondingly. The exact zero modes emerge as a result of incommensurate short-range correlations resulting from interacting Majorana fermions and mani…
▽ More
We report the appearance of exact zero modes in junctions of interacting Majorana wires. We consider two, three and four short Majorana chains coupled to each other at one edge and forming a longer chain with an impurity bond, Y- and X- junctions correspondingly. The exact zero modes emerge as a result of incommensurate short-range correlations resulting from interacting Majorana fermions and manifest themselves as unavoided crossing of energy levels of in-gap states continuously tuned by hopping and interaction strength. For the Y- and X-junctions, we detect four in-gap states that are clearly visible below the bulk excitations. In the X-junction, the energy levels cross pairwise; in the Y-junction, the crossings happen simultaneously in all four levels. We argue that this peculiarity is a result of fractional degrees of freedom localized at the center of junctions with an odd number of arms, which mediate the interaction of the outer edge states. Furthermore, we show that zero modes in multiple-arm junctions can be effectively modeled by a single chain with a strong impurity bond.
△ Less
Submitted 12 June, 2025;
originally announced June 2025.
-
A Hybridizable Discontinuous Galerkin Method for the Miscible Displacement Problem Under Minimal Regularity
Authors:
Keegan L. A. Kirk,
Beatrice Riviere
Abstract:
A numerical method based on the hybridizable discontinuous Galerkin method in space and backward Euler in time is formulated and analyzed for solving the miscible displacement problem. Under low regularity assumptions, convergence is established by proving that, up to a subsequence, the discrete pressure, velocity and concentration converge to a weak solution as the mesh size and time step tend to…
▽ More
A numerical method based on the hybridizable discontinuous Galerkin method in space and backward Euler in time is formulated and analyzed for solving the miscible displacement problem. Under low regularity assumptions, convergence is established by proving that, up to a subsequence, the discrete pressure, velocity and concentration converge to a weak solution as the mesh size and time step tend to zero. The analysis is based on several key features: an H(div) reconstruction of the velocity, the skew-symmetrization of the concentration equation, the introduction of an auxiliary variable and the definition of a new numerical flux. Numerical examples demonstrate optimal rates of convergence for smooth solutions, and convergence for problems of low regularity.
△ Less
Submitted 15 May, 2025; v1 submitted 9 May, 2025;
originally announced May 2025.
-
Deconfined quantum criticality in a frustrated Haldane chain with single-ion anisotropy
Authors:
Niels T. Pronk,
Bowy M. La Rivière,
Natalia Chepiga
Abstract:
We report a phase diagram of the antiferromagnetic spin-1 chain with nearest-neighbor Heisenberg and three-site interactions in the presence of single-ion anisotropy. We show that the Gaussian and Ising transitions that separate the topological Haldane phase from the two anisotropic phases eventually fuse into a higher symmetry point characterized by the Wess-Zumino-Witten (WZW) SU(2)$_2$ critical…
▽ More
We report a phase diagram of the antiferromagnetic spin-1 chain with nearest-neighbor Heisenberg and three-site interactions in the presence of single-ion anisotropy. We show that the Gaussian and Ising transitions that separate the topological Haldane phase from the two anisotropic phases eventually fuse into a higher symmetry point characterized by the Wess-Zumino-Witten (WZW) SU(2)$_2$ critical theory providing a lattice realization of the conformal embedding. On the other side of the WZW multi-critical point, the Ising critical line reappears together with the eight-vertex transition. This transition is a one-dimensional realization of a deconfined quantum criticality separating the dimerized and Ising antiferromagnetic phases - two ordered phases with incompatible order parameters.
△ Less
Submitted 17 June, 2025; v1 submitted 14 March, 2025;
originally announced March 2025.
-
A Priori Generalizability Estimate for a CNN
Authors:
Cito Balsells,
Beatrice Riviere,
David Fuentes
Abstract:
We formulate truncated singular value decompositions of entire convolutional neural networks. We demonstrate the computed left and right singular vectors are useful in identifying which images the convolutional neural network is likely to perform poorly on. To create this diagnostic tool, we define two metrics: the Right Projection Ratio and the Left Projection Ratio. The Right (Left) Projection R…
▽ More
We formulate truncated singular value decompositions of entire convolutional neural networks. We demonstrate the computed left and right singular vectors are useful in identifying which images the convolutional neural network is likely to perform poorly on. To create this diagnostic tool, we define two metrics: the Right Projection Ratio and the Left Projection Ratio. The Right (Left) Projection Ratio evaluates the fidelity of the projection of an image (label) onto the computed right (left) singular vectors. We observe that both ratios are able to identify the presence of class imbalance for an image classification problem. Additionally, the Right Projection Ratio, which only requires unlabeled data, is found to be correlated to the model's performance when applied to image segmentation. This suggests the Right Projection Ratio could be a useful metric to estimate how likely the model is to perform well on a sample.
△ Less
Submitted 24 February, 2025;
originally announced February 2025.
-
DISC: DISC: Dynamic Decomposition Improves LLM Inference Scaling
Authors:
Jonathan Light,
Wei Cheng,
Benjamin Riviere,
Wu Yue,
Masafumi Oyamada,
Mengdi Wang,
Yisong Yue,
Santiago Paternain,
Haifeng Chen
Abstract:
Inference scaling methods for large language models often work by breaking problems into steps or groups of tokens, then sampling and selecting the best next steps. However, these steps and their sizes are usually fixed or manually designed based on domain knowledge. We introduce dynamic decomposition, a method that adaptively and automatically breaks down solution and reasoning traces into manage…
▽ More
Inference scaling methods for large language models often work by breaking problems into steps or groups of tokens, then sampling and selecting the best next steps. However, these steps and their sizes are usually fixed or manually designed based on domain knowledge. We introduce dynamic decomposition, a method that adaptively and automatically breaks down solution and reasoning traces into manageable steps during inference. By allocating compute more effectively - especially by subdividing difficult steps and prioritizing their sampling - dynamic decomposition significantly boosts inference efficiency. Experiments on benchmarks like APPS, MATH, and LiveCodeBench show that dynamic decomposition outperforms fixed strategies such as token-level, sentence-level, and single-step decompositions, reducing the pass@10 error rate by 5.0%, 6.7%, and 10.5% respectively. These results show the promise of dynamic decomposition for improving a broad range of inference scaling techniques.
△ Less
Submitted 6 June, 2025; v1 submitted 23 February, 2025;
originally announced February 2025.
-
Learning Discontinuous Galerkin Solutions to Elliptic Problems via Small Linear Convolutional Neural Networks
Authors:
Adrian Celaya,
Yimo Wang,
David Fuentes,
Beatrice Riviere
Abstract:
In recent years, there has been an increasing interest in using deep learning and neural networks to tackle scientific problems, particularly in solving partial differential equations (PDEs). However, many neural network-based methods, such as physics-informed neural networks, depend on automatic differentiation and the sampling of collocation points, which can result in a lack of interpretability…
▽ More
In recent years, there has been an increasing interest in using deep learning and neural networks to tackle scientific problems, particularly in solving partial differential equations (PDEs). However, many neural network-based methods, such as physics-informed neural networks, depend on automatic differentiation and the sampling of collocation points, which can result in a lack of interpretability and lower accuracy compared to traditional numerical methods. To address this issue, we propose two approaches for learning discontinuous Galerkin solutions to PDEs using small linear convolutional neural networks. Our first approach is supervised and depends on labeled data, while our second approach is unsupervised and does not rely on any training data. In both cases, our methods use substantially fewer parameters than similar numerics-based neural networks while also demonstrating comparable accuracy to the true and DG solutions for elliptic problems.
△ Less
Submitted 12 February, 2025;
originally announced February 2025.
-
An Adaptive Collocation Point Strategy For Physics Informed Neural Networks via the QR Discrete Empirical Interpolation Method
Authors:
Adrian Celaya,
David Fuentes,
Beatrice Riviere
Abstract:
Physics-informed neural networks (PINNs) have gained significant attention for solving forward and inverse problems related to partial differential equations (PDEs). While advancements in loss functions and network architectures have improved PINN accuracy, the impact of collocation point sampling on their performance remains underexplored. Fixed sampling methods, such as uniform random sampling a…
▽ More
Physics-informed neural networks (PINNs) have gained significant attention for solving forward and inverse problems related to partial differential equations (PDEs). While advancements in loss functions and network architectures have improved PINN accuracy, the impact of collocation point sampling on their performance remains underexplored. Fixed sampling methods, such as uniform random sampling and equispaced grids, can fail to capture critical regions with high solution gradients, limiting their effectiveness for complex PDEs. Adaptive methods, inspired by adaptive mesh refinement from traditional numerical methods, address this by dynamically updating collocation points during training but may overlook residual dynamics between updates, potentially losing valuable information. To overcome this limitation, we propose an adaptive collocation point selection strategy utilizing the QR Discrete Empirical Interpolation Method (QR-DEIM), a reduced-order modeling technique for efficiently approximating nonlinear functions. Our results on benchmark PDEs, including the wave, Allen-Cahn, and Burgers' equations, demonstrate that our QR-DEIM-based approach improves PINN accuracy compared to existing methods, offering a promising direction for adaptive collocation point strategies.
△ Less
Submitted 18 January, 2025; v1 submitted 13 January, 2025;
originally announced January 2025.
-
Monte Carlo Tree Search with Spectral Expansion for Planning with Dynamical Systems
Authors:
Benjamin Riviere,
John Lathrop,
Soon-Jo Chung
Abstract:
The ability of a robot to plan complex behaviors with real-time computation, rather than adhering to predesigned or offline-learned routines, alleviates the need for specialized algorithms or training for each problem instance. Monte Carlo Tree Search is a powerful planning algorithm that strategically explores simulated future possibilities, but it requires a discrete problem representation that…
▽ More
The ability of a robot to plan complex behaviors with real-time computation, rather than adhering to predesigned or offline-learned routines, alleviates the need for specialized algorithms or training for each problem instance. Monte Carlo Tree Search is a powerful planning algorithm that strategically explores simulated future possibilities, but it requires a discrete problem representation that is irreconcilable with the continuous dynamics of the physical world. We present Spectral Expansion Tree Search (SETS), a real-time, tree-based planner that uses the spectrum of the locally linearized system to construct a low-complexity and approximately equivalent discrete representation of the continuous world. We prove SETS converges to a bound of the globally optimal solution for continuous, deterministic and differentiable Markov Decision Processes, a broad class of problems that includes underactuated nonlinear dynamics, non-convex reward functions, and unstructured environments. We experimentally validate SETS on drone, spacecraft, and ground vehicle robots and one numerical experiment, each of which is not directly solvable with existing methods. We successfully show SETS automatically discovers a diverse set of optimal behaviors and motion trajectories in real time.
△ Less
Submitted 15 December, 2024;
originally announced December 2024.
-
Model Predictive Trees: Sample-Efficient Receding Horizon Planning with Reusable Tree Search
Authors:
John Lathrop,
Benjamin Rivi`ere,
Jedidiah Alindogan,
Soon-Jo Chung
Abstract:
We present Model Predictive Trees (MPT), a receding horizon tree search algorithm that improves its performance by reusing information efficiently. Whereas existing solvers reuse only the highest-quality trajectory from the previous iteration as a "hotstart", our method reuses the entire optimal subtree, enabling the search to be simultaneously guided away from the low-quality areas and towards th…
▽ More
We present Model Predictive Trees (MPT), a receding horizon tree search algorithm that improves its performance by reusing information efficiently. Whereas existing solvers reuse only the highest-quality trajectory from the previous iteration as a "hotstart", our method reuses the entire optimal subtree, enabling the search to be simultaneously guided away from the low-quality areas and towards the high-quality areas. We characterize the restrictions on tree reuse by analyzing the induced tracking error under time-varying dynamics, revealing a tradeoff between the search depth and the timescale of the changing dynamics. In numerical studies, our algorithm outperforms state-of-the-art sampling-based cross-entropy methods with hotstarting. We demonstrate our planner on an autonomous vehicle testbed performing a nonprehensile manipulation task: pushing a target object through an obstacle field. Code associated with this work will be made available at https://github.com/jplathrop/mpt.
△ Less
Submitted 23 November, 2024;
originally announced November 2024.
-
1D Thermoembolization Model Using CT Imaging Data for Porcine Liver
Authors:
Rohan Amare,
Danielle Stolley,
Steve Parrish,
Megan Jacobsen,
Rick Layman,
Chimamanda Santos,
Beatrice Riviere,
Natalie Fowlkes,
David Fuentes,
Erik Cressman
Abstract:
Objective: Innovative therapies such as thermoembolization are expected to play an important role in improvising care for patients with diseases such as hepatocellular carcinoma. Thermoembolization is a minimally invasive strategy that combines thermal ablation and embolization in a single procedure. This approach exploits an exothermic chemical reaction that occurs when an acid chloride is delive…
▽ More
Objective: Innovative therapies such as thermoembolization are expected to play an important role in improvising care for patients with diseases such as hepatocellular carcinoma. Thermoembolization is a minimally invasive strategy that combines thermal ablation and embolization in a single procedure. This approach exploits an exothermic chemical reaction that occurs when an acid chloride is delivered via an endovascular route. However, comprehension of the complexities of the biophysics of thermoembolization is challenging. Mathematical models can aid in understanding such complex processes and assisting clinicians in making informed decisions. In this study, we used a Hagen Poiseuille 1D blood flow model to predict the mass transport and possible embolization locations in a porcine hepatic artery.
Method: The 1D flow model was used on in vivo embolization imaging data of three pigs. The hydrolysis time constant of acid chloride chemical reaction was optimized for each pig, and LOOCV method was used to test the model's predictive ability.
Conclusion: This basic model provided a balanced accuracy rate of 66.8% for identifying the possible locations of embolization in the hepatic artery. Use of the model provides an initial understanding of the vascular transport phenomena that are predicted to occur as a result of thermoembolization.
△ Less
Submitted 10 September, 2024;
originally announced September 2024.
-
MIST: A Simple and Scalable End-To-End 3D Medical Imaging Segmentation Framework
Authors:
Adrian Celaya,
Evan Lim,
Rachel Glenn,
Brayden Mi,
Alex Balsells,
Dawid Schellingerhout,
Tucker Netherton,
Caroline Chung,
Beatrice Riviere,
David Fuentes
Abstract:
Medical imaging segmentation is a highly active area of research, with deep learning-based methods achieving state-of-the-art results in several benchmarks. However, the lack of standardized tools for training, testing, and evaluating new methods makes the comparison of methods difficult. To address this, we introduce the Medical Imaging Segmentation Toolkit (MIST), a simple, modular, and end-to-e…
▽ More
Medical imaging segmentation is a highly active area of research, with deep learning-based methods achieving state-of-the-art results in several benchmarks. However, the lack of standardized tools for training, testing, and evaluating new methods makes the comparison of methods difficult. To address this, we introduce the Medical Imaging Segmentation Toolkit (MIST), a simple, modular, and end-to-end medical imaging segmentation framework designed to facilitate consistent training, testing, and evaluation of deep learning-based medical imaging segmentation methods. MIST standardizes data analysis, preprocessing, and evaluation pipelines, accommodating multiple architectures and loss functions. This standardization ensures reproducible and fair comparisons across different methods. We detail MIST's data format requirements, pipelines, and auxiliary features and demonstrate its efficacy using the BraTS Adult Glioma Post-Treatment Challenge dataset. Our results highlight MIST's ability to produce accurate segmentation masks and its scalability across multiple GPUs, showcasing its potential as a powerful tool for future medical imaging research and development.
△ Less
Submitted 18 November, 2024; v1 submitted 31 July, 2024;
originally announced July 2024.
-
$\mathbb{Z}_4$ transitions in quantum loop models on a zig-zag ladder
Authors:
Bowy M. La Rivière,
Natalia Chepiga
Abstract:
We study the nature of quantum phase transitions out of $\mathbb{Z}_4$ ordered phases in quantum loop models on a zig-zag ladder. We report very rich critical behavior that includes a pair of Ising transitions, a multi-critical Ashkin-Teller point and a remarkably extended interval of a chiral transition. Although plaquette states turn out to be essential to realize chiral transitions, we demonstr…
▽ More
We study the nature of quantum phase transitions out of $\mathbb{Z}_4$ ordered phases in quantum loop models on a zig-zag ladder. We report very rich critical behavior that includes a pair of Ising transitions, a multi-critical Ashkin-Teller point and a remarkably extended interval of a chiral transition. Although plaquette states turn out to be essential to realize chiral transitions, we demonstrate that critical regimes can be manipulated by deforming the model as to increase the presence of leg-dimerized states. This can be done to the point where the chiral transition turns into first order, we argue that this is associated with the emergence of a critical end point.
△ Less
Submitted 19 September, 2024; v1 submitted 28 June, 2024;
originally announced June 2024.
-
Discontinuous Galerkin methods for 3D-1D systems
Authors:
Rami Masri,
Miroslav Kuchta,
Beatrice Riviere
Abstract:
We propose and analyze discontinuous Galerkin (dG) approximations to 3D-1D coupled systems which model diffusion in a 3D domain containing a small inclusion reduced to its 1D centerline. Convergence to weak solutions of a steady state problem is established via deriving a posteriori error estimates and bounds on residuals defined with suitable lift operators. For the time dependent problem, a back…
▽ More
We propose and analyze discontinuous Galerkin (dG) approximations to 3D-1D coupled systems which model diffusion in a 3D domain containing a small inclusion reduced to its 1D centerline. Convergence to weak solutions of a steady state problem is established via deriving a posteriori error estimates and bounds on residuals defined with suitable lift operators. For the time dependent problem, a backward Euler dG formulation is also presented and analysed. Further, we propose a dG method for networks embedded in 3D domains, which is, up to jump terms, locally mass conservative on bifurcation points. Numerical examples in idealized geometries portray our theoretical findings, and simulations in realistic 1D networks show the robustness of our method.
△ Less
Submitted 27 December, 2023;
originally announced December 2023.
-
Joint-Space Multi-Robot Motion Planning with Learned Decentralized Heuristics
Authors:
Fengze Xie,
Marcus Dominguez-Kuhne,
Benjamin Riviere,
Jialin Song,
Wolfgang Hönig,
Soon-Jo Chung,
Yisong Yue
Abstract:
In this paper, we present a method of multi-robot motion planning by biasing centralized, sampling-based tree search with decentralized, data-driven steer and distance heuristics. Over a range of robot and obstacle densities, we evaluate the plain Rapidly-expanding Random Trees (RRT), and variants of our method for double integrator dynamics. We show that whereas plain RRT fails in every instance…
▽ More
In this paper, we present a method of multi-robot motion planning by biasing centralized, sampling-based tree search with decentralized, data-driven steer and distance heuristics. Over a range of robot and obstacle densities, we evaluate the plain Rapidly-expanding Random Trees (RRT), and variants of our method for double integrator dynamics. We show that whereas plain RRT fails in every instance to plan for $4$ robots, our method can plan for up to 16 robots, corresponding to searching through a very large 65-dimensional space, which validates the effectiveness of data-driven heuristics at combating exponential search space growth. We also find that the heuristic information is complementary; using both heuristics produces search trees with lower failure rates, nodes, and path costs when compared to using each in isolation. These results illustrate the effective decomposition of high-dimensional joint-space motion planning problems into local problems.
△ Less
Submitted 21 November, 2023;
originally announced November 2023.
-
Solutions to Elliptic and Parabolic Problems via Finite Difference Based Unsupervised Small Linear Convolutional Neural Networks
Authors:
Adrian Celaya,
Keegan Kirk,
David Fuentes,
Beatrice Riviere
Abstract:
In recent years, there has been a growing interest in leveraging deep learning and neural networks to address scientific problems, particularly in solving partial differential equations (PDEs). However, many neural network-based methods like PINNs rely on auto differentiation and sampling collocation points, leading to a lack of interpretability and lower accuracy than traditional numerical method…
▽ More
In recent years, there has been a growing interest in leveraging deep learning and neural networks to address scientific problems, particularly in solving partial differential equations (PDEs). However, many neural network-based methods like PINNs rely on auto differentiation and sampling collocation points, leading to a lack of interpretability and lower accuracy than traditional numerical methods. As a result, we propose a fully unsupervised approach, requiring no training data, to estimate finite difference solutions for PDEs directly via small linear convolutional neural networks. Our proposed approach uses substantially fewer parameters than similar finite difference-based approaches while also demonstrating comparable accuracy to the true solution for several selected elliptic and parabolic problems compared to the finite difference method.
△ Less
Submitted 22 April, 2024; v1 submitted 31 October, 2023;
originally announced November 2023.
-
Bound-preserving discontinuous Galerkin methods for compressible two-phase flows in porous media
Authors:
M. S. Joshaghani,
B. Riviere
Abstract:
This paper presents a numerical study of immiscible, compressible two-phase flows in porous media, that takes into account heterogeneity, gravity, anisotropy, and injection/production wells. We formulate a fully implicit stable discontinuous Galerkin solver for this system that is accurate, that respects the maximum principle for the approximation of saturation, and that is locally mass conservati…
▽ More
This paper presents a numerical study of immiscible, compressible two-phase flows in porous media, that takes into account heterogeneity, gravity, anisotropy, and injection/production wells. We formulate a fully implicit stable discontinuous Galerkin solver for this system that is accurate, that respects the maximum principle for the approximation of saturation, and that is locally mass conservative. To completely eliminate the overshoot and undershoot phenomena, we construct a flux limiter that produces bound-preserving elementwise average of the saturation. The addition of a slope limiter allows to recover a pointwise bound-preserving discrete saturation. Numerical results show that both maximum principle and monotonicity of the solution are satisfied. The proposed flux limiter does not impact the local mass error and the number of nonlinear solver iterations.
△ Less
Submitted 4 September, 2023;
originally announced September 2023.
-
A simple and efficient convex optimization based bound-preserving high order accurate limiter for Cahn-Hilliard-Navier-Stokes system
Authors:
Chen Liu,
Beatrice Riviere,
Jie Shen,
Xiangxiong Zhang
Abstract:
For time-dependent PDEs, the numerical schemes can be rendered bound-preserving without losing conservation and accuracy, by a post processing procedure of solving a constrained minimization in each time step. Such a constrained optimization can be formulated as a nonsmooth convex minimization, which can be efficiently solved by first order optimization methods, if using the optimal algorithm para…
▽ More
For time-dependent PDEs, the numerical schemes can be rendered bound-preserving without losing conservation and accuracy, by a post processing procedure of solving a constrained minimization in each time step. Such a constrained optimization can be formulated as a nonsmooth convex minimization, which can be efficiently solved by first order optimization methods, if using the optimal algorithm parameters. By analyzing the asymptotic linear convergence rate of the generalized Douglas-Rachford splitting method, optimal algorithm parameters can be approximately expressed as a simple function of the number of out-of-bounds cells. We demonstrate the efficiency of this simple choice of algorithm parameters by applying such a limiter to cell averages of a discontinuous Galerkin scheme solving phase field equations for 3D demanding problems. Numerical tests on a sophisticated 3D Cahn-Hilliard-Navier-Stokes system indicate that the limiter is high order accurate, very efficient, and well-suited for large-scale simulations. For each time step, it takes at most $20$ iterations for the Douglas-Rachford splitting to enforce bounds and conservation up to the round-off error, for which the computational cost is at most $80N$ with $N$ being the total number of cells.
△ Less
Submitted 29 March, 2024; v1 submitted 18 July, 2023;
originally announced July 2023.
-
CaRT: Certified Safety and Robust Tracking in Learning-based Motion Planning for Multi-Agent Systems
Authors:
Hiroyasu Tsukamoto,
Benjamin Rivière,
Changrak Choi,
Amir Rahmani,
Soon-Jo Chung
Abstract:
The key innovation of our analytical method, CaRT, lies in establishing a new hierarchical, distributed architecture to guarantee the safety and robustness of a given learning-based motion planning policy. First, in a nominal setting, the analytical form of our CaRT safety filter formally ensures safe maneuvers of nonlinear multi-agent systems, optimally with minimal deviation from the learning-ba…
▽ More
The key innovation of our analytical method, CaRT, lies in establishing a new hierarchical, distributed architecture to guarantee the safety and robustness of a given learning-based motion planning policy. First, in a nominal setting, the analytical form of our CaRT safety filter formally ensures safe maneuvers of nonlinear multi-agent systems, optimally with minimal deviation from the learning-based policy. Second, in off-nominal settings, the analytical form of our CaRT robust filter optimally tracks the certified safe trajectory, generated by the previous layer in the hierarchy, the CaRT safety filter. We show using contraction theory that CaRT guarantees safety and the exponential boundedness of the trajectory tracking error, even under the presence of deterministic and stochastic disturbance. Also, the hierarchical nature of CaRT enables enhancing its robustness for safety just by its superior tracking to the certified safe trajectory, thereby making it suitable for off-nominal scenarios with large disturbances. This is a major distinction from conventional safety function-driven approaches, where the robustness originates from the stability of a safe set, which could pull the system over-conservatively to the interior of the safe set. Our log-barrier formulation in CaRT allows for its distributed implementation in multi-agent settings. We demonstrate the effectiveness of CaRT in several examples of nonlinear motion planning and control problems, including optimal, multi-spacecraft reconfiguration.
△ Less
Submitted 13 August, 2023; v1 submitted 13 July, 2023;
originally announced July 2023.
-
FMG-Net and W-Net: Multigrid Inspired Deep Learning Architectures For Medical Imaging Segmentation
Authors:
Adrian Celaya,
Beatrice Riviere,
David Fuentes
Abstract:
Accurate medical imaging segmentation is critical for precise and effective medical interventions. However, despite the success of convolutional neural networks (CNNs) in medical image segmentation, they still face challenges in handling fine-scale features and variations in image scales. These challenges are particularly evident in complex and challenging segmentation tasks, such as the BraTS mul…
▽ More
Accurate medical imaging segmentation is critical for precise and effective medical interventions. However, despite the success of convolutional neural networks (CNNs) in medical image segmentation, they still face challenges in handling fine-scale features and variations in image scales. These challenges are particularly evident in complex and challenging segmentation tasks, such as the BraTS multi-label brain tumor segmentation challenge. In this task, accurately segmenting the various tumor sub-components, which vary significantly in size and shape, remains a significant challenge, with even state-of-the-art methods producing substantial errors. Therefore, we propose two architectures, FMG-Net and W-Net, that incorporate the principles of geometric multigrid methods for solving linear systems of equations into CNNs to address these challenges. Our experiments on the BraTS 2020 dataset demonstrate that both FMG-Net and W-Net outperform the widely used U-Net architecture regarding tumor subcomponent segmentation accuracy and training efficiency. These findings highlight the potential of incorporating the principles of multigrid methods into CNNs to improve the accuracy and efficiency of medical imaging segmentation.
△ Less
Submitted 10 November, 2023; v1 submitted 5 April, 2023;
originally announced April 2023.
-
Numerical analysis of a hybridized discontinuous Galerkin method for the Cahn-Hilliard problem
Authors:
Keegan L. A. Kirk,
Rami Masi,
Beatrice Riviere
Abstract:
The mixed form of the Cahn-Hilliard equations is discretized by the hybridizable discontinuous Galerkin method. For any chemical energy density, existence and uniqueness of the numerical solution is obtained. The scheme is proved to be unconditionally stable. Convergence of the method is obtained by deriving a priori error estimates that are valid for the Ginzburg-Lindau chemical energy density an…
▽ More
The mixed form of the Cahn-Hilliard equations is discretized by the hybridizable discontinuous Galerkin method. For any chemical energy density, existence and uniqueness of the numerical solution is obtained. The scheme is proved to be unconditionally stable. Convergence of the method is obtained by deriving a priori error estimates that are valid for the Ginzburg-Lindau chemical energy density and for convex domains. The paper also contains discrete functional tools, namely discrete Agmon and Gagliardo-Nirenberg inequalities, which are proved to be valid in the hybridizable discontinuous Galerkin spaces.
△ Less
Submitted 27 February, 2023;
originally announced February 2023.
-
A Generalized Surface Loss for Reducing the Hausdorff Distance in Medical Imaging Segmentation
Authors:
Adrian Celaya,
Beatrice Riviere,
David Fuentes
Abstract:
Within medical imaging segmentation, the Dice coefficient and Hausdorff-based metrics are standard measures of success for deep learning models. However, modern loss functions for medical image segmentation often only consider the Dice coefficient or similar region-based metrics during training. As a result, segmentation architectures trained over such loss functions run the risk of achieving high…
▽ More
Within medical imaging segmentation, the Dice coefficient and Hausdorff-based metrics are standard measures of success for deep learning models. However, modern loss functions for medical image segmentation often only consider the Dice coefficient or similar region-based metrics during training. As a result, segmentation architectures trained over such loss functions run the risk of achieving high accuracy for the Dice coefficient but low accuracy for Hausdorff-based metrics. Low accuracy on Hausdorff-based metrics can be problematic for applications such as tumor segmentation, where such benchmarks are crucial. For example, high Dice scores accompanied by significant Hausdorff errors could indicate that the predictions fail to detect small tumors. We propose the Generalized Surface Loss function, a novel loss function to minimize Hausdorff-based metrics with more desirable numerical properties than current methods and with weighting terms for class imbalance. Our loss function outperforms other losses when tested on the LiTS and BraTS datasets using the state-of-the-art nnUNet architecture. These results suggest we can improve medical imaging segmentation accuracy with our novel loss function.
△ Less
Submitted 23 January, 2024; v1 submitted 7 February, 2023;
originally announced February 2023.
-
Convergence of a Decoupled Splitting Scheme for the Cahn-Hilliard-Navier-Stokes System
Authors:
Chen Liu,
Rami Masri,
Beatrice Riviere
Abstract:
This paper is devoted to the analysis of an energy-stable discontinuous Galerkin algorithm for solving the Cahn-Hilliard-Navier-Stokes equations within a decoupled splitting framework. We show that the proposed scheme is uniquely solvable and mass conservative. The energy dissipation and the $L^\infty$ stability of the order parameter are obtained under a CFL condition. Optimal a priori error esti…
▽ More
This paper is devoted to the analysis of an energy-stable discontinuous Galerkin algorithm for solving the Cahn-Hilliard-Navier-Stokes equations within a decoupled splitting framework. We show that the proposed scheme is uniquely solvable and mass conservative. The energy dissipation and the $L^\infty$ stability of the order parameter are obtained under a CFL condition. Optimal a priori error estimates in the broken gradient norm and in the $L^2$ norm are derived. The stability proofs and error analysis are based on induction arguments and do not require any regularization of the potential function.
△ Less
Submitted 11 October, 2022;
originally announced October 2022.
-
Discontinuous Galerkin Approximations to Elliptic and Parabolic Problems with a Dirac Line Source
Authors:
Rami Masri,
Boqian Shen,
Beatrice Riviere
Abstract:
The analyses of interior penalty discontinuous Galerkin methods of any order k for solving elliptic and parabolic problems with Dirac line sources are presented. For the steady state case, we prove convergence of the method by deriving a priori error estimates in the L2 norm and in weighted energy norms. In addition, we prove almost optimal local error estimates in the energy norm for any approxim…
▽ More
The analyses of interior penalty discontinuous Galerkin methods of any order k for solving elliptic and parabolic problems with Dirac line sources are presented. For the steady state case, we prove convergence of the method by deriving a priori error estimates in the L2 norm and in weighted energy norms. In addition, we prove almost optimal local error estimates in the energy norm for any approximation order. Further, almost optimal local error estimates in the L2 norm are obtained for the case of piecewise linear approximations whereas suboptimal error bounds in the L2 norm are shown for any polynomial degree. For the time-dependent case, convergence of semi-discrete and of backward Euler fully discrete scheme is established by proving error estimates in L2 in time and in space. Numerical results for the elliptic problem are added to support the theoretical results.
△ Less
Submitted 18 July, 2022;
originally announced July 2022.
-
A Sequential Discontinuous Galerkin Method for Two-Phase Flow in Deformable Porous Media
Authors:
Boqian Shen,
Beatrice Riviere
Abstract:
We formulate a numerical method for solving the two-phase flow poroelasticity equations. The scheme employs the interior penalty discontinuous Galerkin method and a sequential time-stepping method. The unknowns are the phase pressures and the displacement. Existence of the solution is proved. Three-dimensional numerical results show the accuracy and robustness of the proposed method.
We formulate a numerical method for solving the two-phase flow poroelasticity equations. The scheme employs the interior penalty discontinuous Galerkin method and a sequential time-stepping method. The unknowns are the phase pressures and the displacement. Existence of the solution is proved. Three-dimensional numerical results show the accuracy and robustness of the proposed method.
△ Less
Submitted 21 January, 2022;
originally announced January 2022.
-
Improved a priori error estimates for a discontinuous Galerkin pressure correction scheme for the Navier-Stokes equations
Authors:
Rami Masri,
Chen Liu,
Beatrice Riviere
Abstract:
The pressure correction scheme is combined with interior penalty discontinuous Galerkin method to solve the time-dependent Navier-Stokes equations. Optimal error estimates are derived for the velocity in the L$^2$ norm in time and in space. Error bounds for the discrete time derivative of the velocity and for the pressure are also established.
The pressure correction scheme is combined with interior penalty discontinuous Galerkin method to solve the time-dependent Navier-Stokes equations. Optimal error estimates are derived for the velocity in the L$^2$ norm in time and in space. Error bounds for the discrete time derivative of the velocity and for the pressure are also established.
△ Less
Submitted 7 December, 2021;
originally announced December 2021.
-
Existence and convergence of a discontinuous Galerkin method for the incompressible three-phase flow problem in porous media
Authors:
Giselle Sosa Jones,
Beatrice Riviere,
Loic Cappanera
Abstract:
This paper presents and analyzes a discontinuous Galerkin method for the incompressible three-phase flow problem in porous media. We use a first order time extrapolation which allows us to solve the equations implicitly and sequentially. We show that the discrete problem is well-posed, and obtain a priori error estimates. Our numerical results validate the theoretical results, i.e. the algorithm c…
▽ More
This paper presents and analyzes a discontinuous Galerkin method for the incompressible three-phase flow problem in porous media. We use a first order time extrapolation which allows us to solve the equations implicitly and sequentially. We show that the discrete problem is well-posed, and obtain a priori error estimates. Our numerical results validate the theoretical results, i.e. the algorithm converges with first order.
△ Less
Submitted 10 January, 2022; v1 submitted 15 October, 2021;
originally announced October 2021.
-
A discontinuous Galerkin pressure correction scheme for the incompressible Navier-Stokes equations: stability and convergence
Authors:
Rami Masri,
Chen Liu,
Beatrice Riviere
Abstract:
A discontinuous Galerkin pressure correction numerical method for solving the incompressible Navier-Stokes equations is formulated and analyzed. We prove unconditional stability of the propose scheme. Convergence of the discrete velocity is established by deriving a priori error estimates. Numerical results verify the convergence rates.
A discontinuous Galerkin pressure correction numerical method for solving the incompressible Navier-Stokes equations is formulated and analyzed. We prove unconditional stability of the propose scheme. Convergence of the discrete velocity is established by deriving a priori error estimates. Numerical results verify the convergence rates.
△ Less
Submitted 22 September, 2021;
originally announced September 2021.
-
Maximum-principle-satisfying discontinuous Galerkin methods for incompressible two-phase immiscible flow
Authors:
M. S. Joshaghani,
B. Riviere,
M. Sekachev
Abstract:
This paper proposes a fully implicit numerical scheme for immiscible incompressible two-phase flow in porous media taking into account gravity, capillary effects, and heterogeneity. The objective is to develop a fully implicit stable discontinuous Galerkin (DG) solver for this system that is accurate, bound-preserving, and locally mass conservative. To achieve this, we augment our DG formulation w…
▽ More
This paper proposes a fully implicit numerical scheme for immiscible incompressible two-phase flow in porous media taking into account gravity, capillary effects, and heterogeneity. The objective is to develop a fully implicit stable discontinuous Galerkin (DG) solver for this system that is accurate, bound-preserving, and locally mass conservative. To achieve this, we augment our DG formulation with post-processing flux and slope limiters. The proposed framework is applied to several benchmark problems and the discrete solutions are shown to be accurate, to satisfy the maximum principle and local mass conservation.
△ Less
Submitted 22 June, 2021;
originally announced June 2021.
-
H-TD2: Hybrid Temporal Difference Learning for Adaptive Urban Taxi Dispatch
Authors:
Benjamin Rivière,
Soon-Jo Chung
Abstract:
We present H-TD2: Hybrid Temporal Difference Learning for Taxi Dispatch, a model-free, adaptive decision-making algorithm to coordinate a large fleet of automated taxis in a dynamic urban environment to minimize expected customer waiting times. Our scalable algorithm exploits the natural transportation network company topology by switching between two behaviors: distributed temporal-difference lea…
▽ More
We present H-TD2: Hybrid Temporal Difference Learning for Taxi Dispatch, a model-free, adaptive decision-making algorithm to coordinate a large fleet of automated taxis in a dynamic urban environment to minimize expected customer waiting times. Our scalable algorithm exploits the natural transportation network company topology by switching between two behaviors: distributed temporal-difference learning computed locally at each taxi and infrequent centralized Bellman updates computed at the dispatch center. We derive a regret bound and design the trigger condition between the two behaviors to explicitly control the trade-off between computational complexity and the individual taxi policy's bounded sub-optimality; this advances the state of the art by enabling distributed operation with bounded-suboptimality. Additionally, unlike recent reinforcement learning dispatch methods, this policy estimation is adaptive and robust to out-of-training domain events. This result is enabled by a two-step modelling approach: the policy is learned on an agent-agnostic, cell-based Markov Decision Process and individual taxis are coordinated using the learned policy in a distributed game-theoretic task assignment. We validate our algorithm against a receding horizon control baseline in a Gridworld environment with a simulated customer dataset, where the proposed solution decreases average customer waiting time by 50% over a wide range of parameters. We also validate in a Chicago city environment with real customer requests from the Chicago taxi public dataset where the proposed solution decreases average customer waiting time by 26% over irregular customer distributions during a 2016 Major League Baseball World Series game.
△ Less
Submitted 5 May, 2021;
originally announced May 2021.
-
PocketNet: A Smaller Neural Network for Medical Image Analysis
Authors:
Adrian Celaya,
Jonas A. Actor,
Rajarajeswari Muthusivarajan,
Evan Gates,
Caroline Chung,
Dawid Schellingerhout,
Beatrice Riviere,
David Fuentes
Abstract:
Medical imaging deep learning models are often large and complex, requiring specialized hardware to train and evaluate these models. To address such issues, we propose the PocketNet paradigm to reduce the size of deep learning models by throttling the growth of the number of channels in convolutional neural networks. We demonstrate that, for a range of segmentation and classification tasks, Pocket…
▽ More
Medical imaging deep learning models are often large and complex, requiring specialized hardware to train and evaluate these models. To address such issues, we propose the PocketNet paradigm to reduce the size of deep learning models by throttling the growth of the number of channels in convolutional neural networks. We demonstrate that, for a range of segmentation and classification tasks, PocketNet architectures produce results comparable to that of conventional neural networks while reducing the number of parameters by multiple orders of magnitude, using up to 90% less GPU memory, and speeding up training times by up to 40%, thereby allowing such models to be trained and deployed in resource-constrained settings.
△ Less
Submitted 18 September, 2022; v1 submitted 21 April, 2021;
originally announced April 2021.
-
Neural Tree Expansion for Multi-Robot Planning in Non-Cooperative Environments
Authors:
Benjamin Riviere,
Wolfgang Hoenig,
Matthew Anderson,
Soon-Jo Chung
Abstract:
We present a self-improving, Neural Tree Expansion (NTE) method for multi-robot online planning in non-cooperative environments, where each robot attempts to maximize its cumulative reward while interacting with other self-interested robots. Our algorithm adapts the centralized, perfect information, discrete-action space method from AlphaZero to a decentralized, partial information, continuous act…
▽ More
We present a self-improving, Neural Tree Expansion (NTE) method for multi-robot online planning in non-cooperative environments, where each robot attempts to maximize its cumulative reward while interacting with other self-interested robots. Our algorithm adapts the centralized, perfect information, discrete-action space method from AlphaZero to a decentralized, partial information, continuous action space setting for multi-robot applications. Our method has three interacting components: (i) a centralized, perfect-information "expert" Monte Carlo Tree Search (MCTS) with large computation resources that provides expert demonstrations, (ii) a decentralized, partial-information "learner" MCTS with small computation resources that runs in real-time and provides self-play examples, and (iii) policy & value neural networks that are trained with the expert demonstrations and bias both the expert and the learner tree growth. Our numerical experiments demonstrate Neural Tree Expansion's computational advantage by finding better solutions than a MCTS with 20 times more resources. The resulting policies are dynamically sophisticated, demonstrate coordination between robots, and play the Reach-Target-Avoid differential game significantly better than the state-of-the-art control-theoretic baseline for multi-robot, double-integrator systems. Our hardware experiments on an aerial swarm demonstrate the computational advantage of Neural Tree Expansion, enabling online planning at 20Hz with effective policies in complex scenarios.
△ Less
Submitted 9 July, 2021; v1 submitted 19 April, 2021;
originally announced April 2021.
-
A vertex scheme for two-phase flow in heterogeneous media
Authors:
M. S. Joshaghani,
V. Girault,
B. Riviere
Abstract:
This paper presents the numerical solution of immiscible two-phase flows in porous media, obtained by a first-order finite element method equipped with mass-lumping and flux up-winding. The unknowns are the physical phase pressure and phase saturation. Our numerical experiments confirm that the method converges optimally for manufactured solutions. For both structured and unstructured meshes, we o…
▽ More
This paper presents the numerical solution of immiscible two-phase flows in porous media, obtained by a first-order finite element method equipped with mass-lumping and flux up-winding. The unknowns are the physical phase pressure and phase saturation. Our numerical experiments confirm that the method converges optimally for manufactured solutions. For both structured and unstructured meshes, we observe the high-accuracy wetting saturation profile that ensures minimal numerical diffusion at the front. Performing several examples of quarter-five spot problems in two and three dimensions, we show that the method can easily handle heterogeneities in the permeability field. Two distinct features that make the method appealing to reservoir simulators are: (i) maximum principle is satisfied, and (ii) mass balance is locally conserved.
△ Less
Submitted 21 June, 2021; v1 submitted 4 March, 2021;
originally announced March 2021.
-
A pressure-correction and bound-preserving discretization of the phase-field method for variable density two-phase flows
Authors:
Chen Liu,
Deep Ray,
Christopher Thiele,
Lu Lin,
Beatrice Riviere
Abstract:
In this paper, we present an efficient numerical algorithm for solving the time-dependent Cahn--Hilliard--Navier--Stokes equations that model the flow of two phases with different densities. The pressure-correction step in the projection method consists of a Poisson problem with a modified right-hand side. Spatial discretization is based on discontinuous Galerkin methods with piecewise linear or p…
▽ More
In this paper, we present an efficient numerical algorithm for solving the time-dependent Cahn--Hilliard--Navier--Stokes equations that model the flow of two phases with different densities. The pressure-correction step in the projection method consists of a Poisson problem with a modified right-hand side. Spatial discretization is based on discontinuous Galerkin methods with piecewise linear or piecewise quadratic polynomials. Flux and slope limiting techniques successfully eliminate the bulk shift, overshoot and undershoot in the order parameter, which is shown to be bound-preserving. Several numerical results demonstrate that the proposed numerical algorithm is effective and robust for modeling two-component immiscible flows in porous structures and digital rocks.
△ Less
Submitted 29 October, 2020;
originally announced October 2020.
-
A discontinuous Galerkin method for a diffuse-interface model of immiscible two-phase flows with soluble surfactant
Authors:
Deep Ray,
Chen Liu,
Beatrice Riviere
Abstract:
A numerical method using discontinuous polynomial approximations is formulated for solving a phase-field model of two immiscible fluids with a soluble surfactant. The scheme recovers the Langmuir adsorption isotherms at equilibrium. Simulations of spinodal decomposition, flow through a cylinder and flow through a sequence of pore throats show the dynamics of the flow with and without surfactant. F…
▽ More
A numerical method using discontinuous polynomial approximations is formulated for solving a phase-field model of two immiscible fluids with a soluble surfactant. The scheme recovers the Langmuir adsorption isotherms at equilibrium. Simulations of spinodal decomposition, flow through a cylinder and flow through a sequence of pore throats show the dynamics of the flow with and without surfactant. Finally the numerical method is used to simulate fluid flows in the pore space of Berea sandstone obtained by micro-CT imaging.
△ Less
Submitted 4 October, 2020;
originally announced October 2020.
-
Distributed Adaptive Reinforcement Learning: A Method for Optimal Routing
Authors:
Salar Rahili,
Benjamin Riviere,
Soon-Jo Chung
Abstract:
In this paper, a learning-based optimal transportation algorithm for autonomous taxis and ridesharing vehicles is presented. The goal is to design a mechanism to solve the routing problem for multiple autonomous vehicles and multiple customers in order to maximize the transportation company's profit. As a result, each vehicle selects the customer whose request maximizes the company's profit in the…
▽ More
In this paper, a learning-based optimal transportation algorithm for autonomous taxis and ridesharing vehicles is presented. The goal is to design a mechanism to solve the routing problem for multiple autonomous vehicles and multiple customers in order to maximize the transportation company's profit. As a result, each vehicle selects the customer whose request maximizes the company's profit in the long run. To solve this problem, the system is modeled as a Markov Decision Process (MDP) using past customers data. By solving the defined MDP, a centralized high-level planning recommendation is obtained, where this offline solution is used as an initial value for the real-time learning. Then, a distributed SARSA reinforcement learning algorithm is proposed to capture the model errors and the environment changes, such as variations in customer distributions in each area, traffic, and fares, thereby providing optimal routing policies in real-time. Vehicles, or agents, use only their local information and interaction, such as current passenger requests and estimates of neighbors' tasks and their optimal actions, to obtain the optimal policies in a distributed fashion. An optimal adaptive rate is introduced to make the distributed SARSA algorithm capable of adapting to changes in the environment and tracking the time-varying optimal policies. Furthermore, a game-theory-based task assignment algorithm is proposed, where each agent uses the optimal policies and their values from distributed SARSA to select its customer from the set of local available requests in a distributed manner. Finally, the customers data provided by the city of Chicago is used to validate the proposed algorithms.
△ Less
Submitted 5 May, 2020;
originally announced May 2020.
-
GLAS: Global-to-Local Safe Autonomy Synthesis for Multi-Robot Motion Planning with End-to-End Learning
Authors:
Benjamin Rivière,
Wolfgang Hoenig,
Yisong Yue,
Soon-Jo Chung
Abstract:
We present GLAS: Global-to-Local Autonomy Synthesis, a provably-safe, automated distributed policy generation for multi-robot motion planning. Our approach combines the advantage of centralized planning of avoiding local minima with the advantage of decentralized controllers of scalability and distributed computation. In particular, our synthesized policies only require relative state information…
▽ More
We present GLAS: Global-to-Local Autonomy Synthesis, a provably-safe, automated distributed policy generation for multi-robot motion planning. Our approach combines the advantage of centralized planning of avoiding local minima with the advantage of decentralized controllers of scalability and distributed computation. In particular, our synthesized policies only require relative state information of nearby neighbors and obstacles, and compute a provably-safe action. Our approach has three major components: i) we generate demonstration trajectories using a global planner and extract local observations from them, ii) we use deep imitation learning to learn a decentralized policy that can run efficiently online, and iii) we introduce a novel differentiable safety module to ensure collision-free operation, thereby allowing for end-to-end policy training. Our numerical experiments demonstrate that our policies have a 20% higher success rate than optimal reciprocal collision avoidance, ORCA, across a wide range of robot and obstacle densities. We demonstrate our method on an aerial swarm, executing the policy on low-end microcontrollers in real-time.
△ Less
Submitted 28 June, 2020; v1 submitted 26 February, 2020;
originally announced February 2020.
-
A reduced model for solute transport in compliant blood vessels with arbitrary axial velocity profile
Authors:
Rami Masri,
Charles Puelz,
Beatrice Riviere
Abstract:
We derive a reduced model of solute transport in blood based on the center manifold theory. The derivation is carried out on a convection diffusion equation with general axial and radial velocity profiles in a blood vessel of varying cross section. We couple the resulting one dimensional equation to a reduced model for blood flow in a compliant vessel. In the special case of a no--slip axial veloc…
▽ More
We derive a reduced model of solute transport in blood based on the center manifold theory. The derivation is carried out on a convection diffusion equation with general axial and radial velocity profiles in a blood vessel of varying cross section. We couple the resulting one dimensional equation to a reduced model for blood flow in a compliant vessel. In the special case of a no--slip axial velocity profile, we study the dependence of the diffusion coefficient and corresponding numerical solutions on the shape of the profile.
△ Less
Submitted 19 December, 2019;
originally announced December 2019.
-
An interior penalty discontinuous Galerkin approach for 3D incompressible Navier--Stokes equation for permeability estimation of porous media
Authors:
Chen Liu,
Florian Frank,
Faruk O. Alpak,
Beatrice Riviere
Abstract:
Permeability estimation of porous media from direct solving Navier--Stokes equation has a wide spectrum of applications in petroleum industry. In this paper, we utilize a pressure-correction projection algorithm in conjunction with the interior penalty discontinuous Galerkin scheme for space discretization to build an incompressible Navier--Stokes simulator and to use this simulator to calculate p…
▽ More
Permeability estimation of porous media from direct solving Navier--Stokes equation has a wide spectrum of applications in petroleum industry. In this paper, we utilize a pressure-correction projection algorithm in conjunction with the interior penalty discontinuous Galerkin scheme for space discretization to build an incompressible Navier--Stokes simulator and to use this simulator to calculate permeability of real rock sample. The proposed method is accurate, numerically robust, and exhibits the potential for tackling realistic problems.
△ Less
Submitted 25 September, 2018;
originally announced October 2018.
-
A high order hybridizable discontinuous Galerkin method for incompressible miscible displacement in heterogeneous media
Authors:
Maurice S. Fabien,
Matthew G. Knepley,
Beatrice M. Riviere
Abstract:
We present a new method for approximating solutions to the incompressible miscible displacement problem in porous media. At the discrete level, the coupled nonlinear system has been split into two linear systems that are solved sequentially. The method is based on a hybridizable discontinuous Galerkin method for the Darcy flow, which produces a mass--conservative flux approximation, and a hybridiz…
▽ More
We present a new method for approximating solutions to the incompressible miscible displacement problem in porous media. At the discrete level, the coupled nonlinear system has been split into two linear systems that are solved sequentially. The method is based on a hybridizable discontinuous Galerkin method for the Darcy flow, which produces a mass--conservative flux approximation, and a hybridizable discontinuous Galerkin method for the transport equation. The resulting method is high order accurate. Due to the implicit treatment of the system of partial differential equations, we observe computationally that no slope limiters are needed. Numerical experiments are provided that show that the method converges optimally and is robust for highly heterogeneous porous media in 2D and 3D.
△ Less
Submitted 16 September, 2018; v1 submitted 3 September, 2018;
originally announced September 2018.
-
Numerical analysis of a discontinuous Galerkin method for Cahn-Hilliard-Navier-Stokes equations
Authors:
Chen Liu,
Beatrice Riviere
Abstract:
In this paper, we derive a theoretical analysis of an interior penalty discontinuous Galerkin methods for solving the Cahn-Hilliard-Navier-Stokes model problem. We prove unconditional unique solvability of the discrete system, obtain unconditional discrete energy dissipation law, and derive stability bounds with a generalized chemical energy density. Convergence of the method is obtained by provin…
▽ More
In this paper, we derive a theoretical analysis of an interior penalty discontinuous Galerkin methods for solving the Cahn-Hilliard-Navier-Stokes model problem. We prove unconditional unique solvability of the discrete system, obtain unconditional discrete energy dissipation law, and derive stability bounds with a generalized chemical energy density. Convergence of the method is obtained by proving optimal a priori error estimates. Our analysis of the unique solvability is valid for both symmetric and non-symmetric versions of the discontinuous Galerkin formulation.
△ Less
Submitted 14 November, 2018; v1 submitted 7 July, 2018;
originally announced July 2018.
-
A hybridizable discontinuous Galerkin method for two-phase flow in heterogeneous porous media
Authors:
Maurice S. Fabien,
Matthew G. Knepley,
Beatrice M. Riviere
Abstract:
We present a new method for simulating incompressible immiscible two-phase flow in porous media. The semi-implicit method decouples the wetting phase pressure and saturation equations. The equations are discretized using a hybridizable discontinuous Galerkin (HDG) method. The proposed method is of high order, conserves global/local mass balance, and the number of globally coupled degrees of freedo…
▽ More
We present a new method for simulating incompressible immiscible two-phase flow in porous media. The semi-implicit method decouples the wetting phase pressure and saturation equations. The equations are discretized using a hybridizable discontinuous Galerkin (HDG) method. The proposed method is of high order, conserves global/local mass balance, and the number of globally coupled degrees of freedom is significantly reduced compared to standard interior penalty discontinuous Galerkin methods. Several numerical examples illustrate the accuracy and robustness of the method. These examples include verification of convergence rates by manufactured solutions, common 1D benchmarks and realistic discontinuous permeability fields.
△ Less
Submitted 16 February, 2018;
originally announced February 2018.
-
A finite element method with strong mass conservation for Biot's linear consolidation model
Authors:
Beatrice Riviere,
Guido Kanschat
Abstract:
An H(div) conforming finite element method for solving the linear Biot equations is analyzed. Formulations for the standard mixed method are combined with formulation of interior penalty discontinuous Galerkin method to obtain a consistent scheme. Optimal convergence rates are obtained.
An H(div) conforming finite element method for solving the linear Biot equations is analyzed. Formulations for the standard mixed method are combined with formulation of interior penalty discontinuous Galerkin method to obtain a consistent scheme. Optimal convergence rates are obtained.
△ Less
Submitted 20 December, 2017;
originally announced December 2017.
-
An energy-based equilibrium contact angle boundary condition on jagged surfaces for phase-field methods
Authors:
Florian Frank,
Chen Liu,
Alessio Scanziani,
Faruk O. Alpak,
Beatrice Riviere
Abstract:
We consider an energy-based boundary condition to impose an equilibrium wetting angle for the Cahn-Hilliard-Navier-Stokes phase-field model on voxel-set-type computational domains. These domains typically stem from the micro-CT imaging of porous rock and approximate a (on μm scale) smooth domain with a certain resolution. Planar surfaces that are perpendicular to the main axes are naturally approx…
▽ More
We consider an energy-based boundary condition to impose an equilibrium wetting angle for the Cahn-Hilliard-Navier-Stokes phase-field model on voxel-set-type computational domains. These domains typically stem from the micro-CT imaging of porous rock and approximate a (on μm scale) smooth domain with a certain resolution. Planar surfaces that are perpendicular to the main axes are naturally approximated by a layer of voxels. However, planar surfaces in any other directions and curved surfaces yield a jagged/rough surface approximation by voxels. For the standard Cahn-Hilliard formulation, where the contact angle between the diffuse interface and the domain boundary (fluid-solid interface/wall) is 90 degrees, jagged surfaces have no impact on the contact angle. However, a prescribed contact angle smaller or larger than 90 degrees on jagged voxel surfaces is amplified in either direction. As a remedy, we propose the introduction of surface energy correction factors for each fluid-solid voxel face that counterbalance the difference of the voxel-set surface area with the underlying smooth one. The discretization of the model equations is performed with the discontinuous Galerkin method, however, the presented semi-analytical approach of correcting the surface energy is equally applicable to other direct numerical methods such as finite elements, finite volumes, or finite differences, since the correction factors appear in the strong formulation of the model.
△ Less
Submitted 15 November, 2017;
originally announced November 2017.
-
Manycore parallel computing for a hybridizable discontinuous Galerkin nested multigrid method
Authors:
M. S. Fabien,
M. G. Knepley,
R. T. Mills,
B. M. Riviere
Abstract:
We present a parallel computing strategy for a hybridizable discontinuous Galerkin (HDG) nested geometric multigrid (GMG) solver. Parallel GMG solvers require a combination of coarse-grain and fine-grain parallelism to improve time to solution performance. In this work we focus on fine-grain parallelism. We use Intel's second generation Xeon Phi (Knights Landing) many-core processor. The GMG metho…
▽ More
We present a parallel computing strategy for a hybridizable discontinuous Galerkin (HDG) nested geometric multigrid (GMG) solver. Parallel GMG solvers require a combination of coarse-grain and fine-grain parallelism to improve time to solution performance. In this work we focus on fine-grain parallelism. We use Intel's second generation Xeon Phi (Knights Landing) many-core processor. The GMG method achieves ideal convergence rates of $0.2$ or less, for high polynomial orders. A matrix free (assembly free) technique is exploited to save considerable memory usage and increase arithmetic intensity. HDG enables static condensation, and due to the discontinuous nature of the discretization, we developed a matrix vector multiply routine that does not require any costly synchronizations or barriers. Our algorithm is able to attain 80\% of peak bandwidth performance for higher order polynomials. This is possible due to the data locality inherent in the HDG method. Very high performance is realized for high order schemes, due to good arithmetic intensity, which declines as the order is reduced.
△ Less
Submitted 17 July, 2019; v1 submitted 28 May, 2017;
originally announced May 2017.
-
A priori error estimates of Adams-Bashforth discontinuous Galerkin methods for scalar nonlinear conservation laws
Authors:
Charles Puelz,
Beatrice Riviere
Abstract:
In this paper we show theoretical convergence of a second-order Adams-Bashforth discontinuous Galerkin method for approximating smooth solutions to scalar nonlinear conservation laws with E-fluxes. A priori error estimates are also derived for a first-order forward Euler discontinuous Galerkin method. Rates are optimal in time and suboptimal in space; they are valid under a CFL condition.
In this paper we show theoretical convergence of a second-order Adams-Bashforth discontinuous Galerkin method for approximating smooth solutions to scalar nonlinear conservation laws with E-fluxes. A priori error estimates are also derived for a first-order forward Euler discontinuous Galerkin method. Rates are optimal in time and suboptimal in space; they are valid under a CFL condition.
△ Less
Submitted 10 February, 2017; v1 submitted 27 January, 2017;
originally announced January 2017.
-
A finite volume/discontinuous Galerkin method for the advective Cahn-Hilliard equation with degenerate mobility on porous domains stemming from micro-CT imaging
Authors:
Florian Frank,
Chen Liu,
Faruk O. Alpak,
Beatrice Riviere
Abstract:
A numerical method is formulated for the solution of the advective Cahn-Hilliard (CH) equation with constant and degenerate mobility in three-dimensional porous media with non-vanishing velocity on the exterior boundary. The CH equation describes phase separation of an immiscible binary mixture at constant temperature in the presence of a mass constraint and dissipation of free energy. Porous medi…
▽ More
A numerical method is formulated for the solution of the advective Cahn-Hilliard (CH) equation with constant and degenerate mobility in three-dimensional porous media with non-vanishing velocity on the exterior boundary. The CH equation describes phase separation of an immiscible binary mixture at constant temperature in the presence of a mass constraint and dissipation of free energy. Porous media/pore-scale problems specifically entail high-resolution images of rocks in which the solid matrix and pore spaces are fully resolved. The interior penalty discontinuous Galerkin method is used for the spatial discretization of the CH equation in mixed form, while a semi-implicit convex-concave splitting is utilized for temporal discretization. The spatial approximation order is arbitrary, while it reduces to a finite volume scheme for the choice of elementwise constants. The resulting nonlinear systems of equations are reduced using the Schur complement and solved via Newton's method. The numerical scheme is first validated using numerical convergence tests and then applied to a number of fundamental problems for validation and numerical experimentation purposes including the case of degenerate mobility. First-order physical applicability and robustness of the numerical method are shown in a breakthrough scenario on a voxel set obtained from a micro-CT scan of a real sandstone rock sample.
△ Less
Submitted 11 October, 2016;
originally announced October 2016.
-
Comparison of reduced models for blood flow using Runge-Kutta discontinuous Galerkin methods
Authors:
Charles Puelz,
Suncica Canic,
Beatrice Riviere,
Craig G. Rusin
Abstract:
One-dimensional blood flow models take the general form of nonlinear hyperbolic systems but differ greatly in their formulation. One class of models considers the physically conserved quantities of mass and momentum, while another class describes mass and velocity. Further, the averaging process employed in the model derivation requires the specification of the axial velocity profile; this choice…
▽ More
One-dimensional blood flow models take the general form of nonlinear hyperbolic systems but differ greatly in their formulation. One class of models considers the physically conserved quantities of mass and momentum, while another class describes mass and velocity. Further, the averaging process employed in the model derivation requires the specification of the axial velocity profile; this choice differentiates models within each class. Discrepancies among differing models have yet to be investigated. In this paper, we systematically compare several reduced models of blood flow for physiologically relevant vessel parameters, network topology, and boundary data. The models are discretized by a class of Runge-Kutta discontinuous Galerkin methods.
△ Less
Submitted 17 April, 2016; v1 submitted 17 November, 2015;
originally announced November 2015.
-
Numerical method of characteristics for one-dimensional blood flow
Authors:
Sebastian Acosta,
Charles Puelz,
Beatrice Riviere,
Daniel J. Penny,
Craig G. Rusin
Abstract:
Mathematical modeling at the level of the full cardiovascular system requires the numerical approximation of solutions to a one-dimensional nonlinear hyperbolic system describing flow in a single vessel. This model is often simulated by computationally intensive methods like finite elements and discontinuous Galerkin, while some recent applications require more efficient approaches (e.g. for real-…
▽ More
Mathematical modeling at the level of the full cardiovascular system requires the numerical approximation of solutions to a one-dimensional nonlinear hyperbolic system describing flow in a single vessel. This model is often simulated by computationally intensive methods like finite elements and discontinuous Galerkin, while some recent applications require more efficient approaches (e.g. for real-time clinical decision support, phenomena occurring over multiple cardiac cycles, iterative solutions to optimization/inverse problems, and uncertainty quantification). Further, the high speed of pressure waves in blood vessels greatly restricts the time step needed for stability in explicit schemes. We address both cost and stability by presenting an efficient and unconditionally stable method for approximating solutions to diagonal nonlinear hyperbolic systems. Theoretical analysis of the algorithm is given along with a comparison of our method to a discontinuous Galerkin implementation. Lastly, we demonstrate the utility of the proposed method by implementing it on small and large arterial networks of vessels whose elastic and geometrical parameters are physiologically relevant.
△ Less
Submitted 27 March, 2015; v1 submitted 20 November, 2014;
originally announced November 2014.
