-
Constrained mixers for the quantum approximate optimization algorithm
Authors:
Franz G. Fuchs,
Kjetil Olsen Lye,
Halvor Møll Nilsen,
Alexander J. Stasik,
Giorgio Sartor
Abstract:
The quantum approximate optimization algorithm/quantum alternating operator ansatz (QAOA) is a heuristic to find approximate solutions of combinatorial optimization problems. Most literature is limited to quadratic problems without constraints. However, many practically relevant optimization problems do have (hard) constraints that need to be fulfilled. In this article, we present a framework for…
▽ More
The quantum approximate optimization algorithm/quantum alternating operator ansatz (QAOA) is a heuristic to find approximate solutions of combinatorial optimization problems. Most literature is limited to quadratic problems without constraints. However, many practically relevant optimization problems do have (hard) constraints that need to be fulfilled. In this article, we present a framework for constructing mixing operators that restrict the evolution to a subspace of the full Hilbert space given by these constraints; We generalize the "XY"-mixer designed to preserve the subspace of "one-hot" states to the general case of subspaces given by a number of computational basis states. We expose the underlying mathematical structure which reveals more of how mixers work and how one can minimize their cost in terms of number of CX gates, particularly when Trotterization is taken into account. Our analysis also leads to valid Trotterizations for "XY"-mixer with fewer CX gates than is known to date. In view of practical implementations, we also describe algorithms for efficient decomposition into basis gates. Several examples of more general cases are presented and analyzed.
△ Less
Submitted 22 June, 2022; v1 submitted 11 March, 2022;
originally announced March 2022.
-
Using flow models with sensitivities to study cost efficient monitoring programs of co2 storage sites
Authors:
Halvor Møll Nilsen,
Stein Krogstad,
Odd Andersen,
Rebecca Allen,
Knut-Andreas Lie
Abstract:
A key part of planning CO2 storage sites is to devise a monitoring strategy. The aim of this strategy is to fulfill the requirements of legislations and lower cost of the operation by avoiding operational problems. If CCS is going to be a widespread technology to deliver energy without CO2 emissions, cost-efficient monitoring programs will be a key to reduce the storage costs. A simulation framewo…
▽ More
A key part of planning CO2 storage sites is to devise a monitoring strategy. The aim of this strategy is to fulfill the requirements of legislations and lower cost of the operation by avoiding operational problems. If CCS is going to be a widespread technology to deliver energy without CO2 emissions, cost-efficient monitoring programs will be a key to reduce the storage costs. A simulation framework, previously used to estimate flow parameters at Sleipner Layer 9 [1], is here extended and employed to identify how the number of measurements can be reduced without significantly reducing the obtained information. The main part of the methodology is based on well-proven, stable and robust, simulation technology together with adjoint-based sensitivities and data mining techniques using singular value decomposition (SVD). In particular we combine the simulation framework with time-dependent (seismic) measurements of the migrating plume. We also study how uplift data and gravitational data give complementary information.
We apply this methodology to the Sleipner project, which provides the most extensive data for CO2 storage to date. For this study we utilize a vertical-equilibrium (VE) flow model for computational efficiency as implemented in the open-source software MRST-co2lab.
However, our methodology for deriving efficient monitoring schemes is not restricted to VE-type flow models, and at the end, we discuss how the methodology can be used in the context of full 3D simulations.
△ Less
Submitted 22 November, 2017;
originally announced December 2017.
-
Multiresolution Coupled Vertical Equilibrium Model for Fast Flexible Simulation of CO$_2$ Storage
Authors:
Olav Møyner,
Halvor Møll Nilsen
Abstract:
CO2 capture and storage is an important technology for mitigating climate change. Design of efficient strategies for safe, long-term storage requires the capability to efficiently simulate processes taking place on very different temporal and spatial scales. The physical laws describing CO2 storage are the same as for hydrocarbon recovery, but the characteristic spatial and temporal scales are qui…
▽ More
CO2 capture and storage is an important technology for mitigating climate change. Design of efficient strategies for safe, long-term storage requires the capability to efficiently simulate processes taking place on very different temporal and spatial scales. The physical laws describing CO2 storage are the same as for hydrocarbon recovery, but the characteristic spatial and temporal scales are quite different. Petroleum reservoirs seldom extend more than tens of kilometers and have operational horizons spanning decades. Injected CO2 needs to be safely contained for hundreds or thousands of years, during which it can migrate hundreds or thousands of kilometers. Because of the vast scales involved, conventional 3D reservoir simulation quickly becomes computationally unfeasible. Large density difference between injected CO2 and resident brine means that vertical segregation will take place relatively quickly, and depth-integrated models assuming vertical equilibrium (VE) often represents a better strategy to simulate long-term migration of CO2 in large-scale aquifer systems. VE models have primarily been formulated for relatively simple rock formations and have not been coupled to 3D simulation in a uniform way. In particular, known VE simulations have not been applied to models of realistic geology in which many flow compartments may exist in-between impermeable layers. In this paper, we generalize the concept of VE models, formulated in terms of well-proven reservoir simulation technology, to complex aquifer systems with multiple layers and regions. We also introduce novel formulations for multi-layered VE models by use of both direct spill and diffuse leakage between individual layers. This new layered 3D model is then coupled to a state-of-the-art, 3D black-oil type model.
△ Less
Submitted 24 October, 2017;
originally announced October 2017.
-
Combining the Modified Discrete Element Method with the Virtual Element Method for Fracturing of Porous Media
Authors:
Halvor Møll Nilsen,
Idar Larsen,
Xavier Raynaud
Abstract:
Simulation of fracturing processes in porous rocks can be divided into two main branches: (i) modeling the rock as a continuum which is enhanced with special features to account for fractures, or (ii) modeling the rock by a discrete (or discontinuous) approach that describes the material directly as a collection of separate blocks or particles, e.g., as in the discrete element method (DEM). In the…
▽ More
Simulation of fracturing processes in porous rocks can be divided into two main branches: (i) modeling the rock as a continuum which is enhanced with special features to account for fractures, or (ii) modeling the rock by a discrete (or discontinuous) approach that describes the material directly as a collection of separate blocks or particles, e.g., as in the discrete element method (DEM). In the modified discrete element (MDEM) method, the effective forces between virtual particles are modified in all regions, without failing elements, so that they reproduce the discretization of a first order finite element method (FEM) for linear elasticity. This provides an expression of the virtual forces in terms of general Hook's macro-parameters. Previously, MDEM has been formulated through an analogy with linear elements for FEM. We show the connection between MDEM and the virtual element method (VEM), which is a generalization of FEM to polyhedral grids. Unlike standard FEM, which computes strain-states in a reference space, MDEM and VEM compute stress-states directly in real space. This connection leads us to a new derivation of the MDEM method. Moreover, it gives the basis for coupling (M)DEM to domain with linear elasticity described by polyhedral grids, which makes it easier to apply realistic boundary conditions in hydraulic-fracturing simulations. This approach also makes it possible to combine fine-scale (M)DEM behavior near the fracturing region with linear elasticity on complex reservoir grids in the far-field region without regridding. To demonstrate the simulation of hydraulic fracturing, the coupled (M)DEM-VEM method is implemented using the Matlab Reservoir Simulation Toolbox (MRST) and linked to an industry-standard reservoir simulator.
△ Less
Submitted 6 February, 2017;
originally announced February 2017.
-
Modelling Geomechanical Impact of CO2 Injection Using Precomputed Response Functions
Authors:
Odd Andersen,
Halvor M. Nilsen,
Sarah E. Gasda
Abstract:
When injecting CO2 or other fluids into a geological formation, pressure plays an important role both as a driver of flow and as a risk factor for mechanical integrity.
The full effect of geomechanics on aquifer flow can only be captured using a coupled flow-geomechanics model. In order to solve this computationally expensive system, various strategies have been put forwards over the years, with…
▽ More
When injecting CO2 or other fluids into a geological formation, pressure plays an important role both as a driver of flow and as a risk factor for mechanical integrity.
The full effect of geomechanics on aquifer flow can only be captured using a coupled flow-geomechanics model. In order to solve this computationally expensive system, various strategies have been put forwards over the years, with some of the best current methods based on sequential splitting.
In the present work, we seek to approximate the full geomechanical effect on flow without the need of coupling with a geomechanics solver during simulation, and at a computational cost comparable to that of an uncoupled model. We do this by means of precomputed pressure response functions. At grid model generation time, a geomechanics solver is used to compute the mechanical response of the aquifer for a set of pressure fields. The relevant information from these responses is then stored in a compact form and embedded with the grid model.
We test the accuracy and computational performance of our approach on a simple 2D and a more complex 3D model, and compare the results with those produced by a fully coupled approach as well as from a simple decoupled method based on Geertsma's uniaxial expansion coefficient.
△ Less
Submitted 2 September, 2016;
originally announced September 2016.
-
Virtual Element Method for geomechanics on reservoir grids
Authors:
Odd Andersen,
Halvor M. Nilsen,
Xavier Raynaud
Abstract:
In this paper we study the use of Virtual Element method for geomechanics. Our emphasis is on applications to reservoir simulations. The physical processes that form the reservoirs, such as sedimentation, erosion and faulting, lead to complex geometrical structures. A minimal representation, with respect to the physical parameters of the system, then naturally leads to general polyhedral grids. Nu…
▽ More
In this paper we study the use of Virtual Element method for geomechanics. Our emphasis is on applications to reservoir simulations. The physical processes that form the reservoirs, such as sedimentation, erosion and faulting, lead to complex geometrical structures. A minimal representation, with respect to the physical parameters of the system, then naturally leads to general polyhedral grids. Numerical methods which can directly handle this representation will be highly favorable, in particular in the setting of advanced work-flows. The Virtual Element method is a promising candidate to solve the linear elasticity equations on such models. In this paper, we investigate some of the limits of the VEM method when used on reservoir models. First, we demonstrate that care must be taken to make the method robust for highly elongated cells, which is common in these applications, and show the importance of calculating forces in terms of traction on the boundary of the elements for elongated distorted cells. Second, we study the effect of triangulations on the surfaces of curved faces, which also naturally occur in subsurface models. We also demonstrate how a more stable regularization term for reservoir application can be derived.
△ Less
Submitted 8 February, 2017; v1 submitted 30 June, 2016;
originally announced June 2016.
-
Long term dynamics of the splitting of a doubly quantized vortex in a two-dimensional condensate
Authors:
Halvor M. Nilsen,
Emil Lundh
Abstract:
We study the nonlinear dynamics of the splitting of a doubly quantized vortex in a trapped condensate. The dynamics is studied in detail by solving the Gross-Pitaevskii equation. The main dynamical features are explained in terms of a nonlinear three-level system. We find an analytical solution for the characteristics of the dynamics. It is concluded that the time scale for the splitting is main…
▽ More
We study the nonlinear dynamics of the splitting of a doubly quantized vortex in a trapped condensate. The dynamics is studied in detail by solving the Gross-Pitaevskii equation. The main dynamical features are explained in terms of a nonlinear three-level system. We find an analytical solution for the characteristics of the dynamics. It is concluded that the time scale for the splitting is mainly determined by the instability of the linearized system, and nonlinear effects contribute logarithmically.
△ Less
Submitted 7 August, 2007;
originally announced August 2007.
-
Effective interactions and large-scale diagonalization for quantum dots
Authors:
Simen Kvaal,
Morten Hjorth-Jensen,
Halvor Moll Nilsen
Abstract:
The widely used large-scale diagonalization method using harmonic oscillator basis functions (an instance of the Rayleigh-Ritz method, also called a spectral method, configuration-interaction method, or ``exact diagonalization'' method) is systematically analyzed using results for the convergence of Hermite function series. We apply this theory to a Hamiltonian for a one-dimensional model of a q…
▽ More
The widely used large-scale diagonalization method using harmonic oscillator basis functions (an instance of the Rayleigh-Ritz method, also called a spectral method, configuration-interaction method, or ``exact diagonalization'' method) is systematically analyzed using results for the convergence of Hermite function series. We apply this theory to a Hamiltonian for a one-dimensional model of a quantum dot. The method is shown to converge slowly, and the non-smooth character of the interaction potential is identified as the main problem with the chosen basis, while on the other hand its important advantages are pointed out. An effective interaction obtained by a similarity transformation is proposed for improving the convergence of the diagonalization scheme, and numerical experiments are performed to demonstrate the improvement. Generalizations to more particles and dimensions are discussed.
△ Less
Submitted 22 April, 2007; v1 submitted 19 April, 2007;
originally announced April 2007.
-
Dynamical stability of a doubly quantized vortex in a three-dimensional condensate
Authors:
Emil Lundh,
Halvor M. Nilsen
Abstract:
The Bogoliubov equations are solved for a three-dimensional Bose-Einstein condensate containing a doubly quantized vortex, trapped in a harmonic potential. Complex frequencies, signifying dynamical instability, are found for certain ranges of parameter values. The existence of alternating windows of stability and instability, respectively, is explained qualitatively and quantitatively using vari…
▽ More
The Bogoliubov equations are solved for a three-dimensional Bose-Einstein condensate containing a doubly quantized vortex, trapped in a harmonic potential. Complex frequencies, signifying dynamical instability, are found for certain ranges of parameter values. The existence of alternating windows of stability and instability, respectively, is explained qualitatively and quantitatively using variational calculus and direct numerical solution. It is seen that the windows of stability are much smaller for a cigar shaped condensate than for a pancake shaped one, which is consistent with the findings of recent experiments.
△ Less
Submitted 24 August, 2006;
originally announced August 2006.
-
BCS-BEC Crossover in Atomic Fermi Gases with a Narrow Resonance
Authors:
L. M. Jensen,
H. M. Nilsen,
Gentaro Watanabe
Abstract:
We determine the effects on the BCS-BEC crossover of the energy dependence of the effective two-body interaction, which at low energies is determined by the effective range. To describe interactions with an effective range of either sign, we consider a single-channel model with a two-body interaction having an attractive square well and a repulsive square barrier. We investigate the two-body sca…
▽ More
We determine the effects on the BCS-BEC crossover of the energy dependence of the effective two-body interaction, which at low energies is determined by the effective range. To describe interactions with an effective range of either sign, we consider a single-channel model with a two-body interaction having an attractive square well and a repulsive square barrier. We investigate the two-body scattering properties of the model, and then solve the Eagles-Leggett equations for the zero temperature crossover, determining the momentum dependent gap and the chemical potential self-consistently. From this we investigate the dependence of the crossover on the effective range of the interaction.
△ Less
Submitted 5 April, 2006;
originally announced April 2006.
-
Velocity of vortices in inhomogeneous Bose-Einstein condensates
Authors:
Halvor M. Nilsen,
Gordon Baym,
C. J. Pethick
Abstract:
We derive, from the Gross-Pitaevskii equation, an exact expression for the velocity of any vortex in a Bose-Einstein condensate, in equilibrium or not, in terms of the condensate wave function at the center of the vortex. In general, the vortex velocity is a sum of the local superfluid velocity, plus a correction related to the density gradient near the vortex. A consequence is that in rapidly r…
▽ More
We derive, from the Gross-Pitaevskii equation, an exact expression for the velocity of any vortex in a Bose-Einstein condensate, in equilibrium or not, in terms of the condensate wave function at the center of the vortex. In general, the vortex velocity is a sum of the local superfluid velocity, plus a correction related to the density gradient near the vortex. A consequence is that in rapidly rotating harmonically trapped Bose-Einstein condensates, unlike in the usual situation in slowly rotating condensates and in hydrodynamics, vortices do not move with the local fluid velocity. We indicate how Kelvin's conservation of circulation theorem is compatible with the velocity of the vortex center being different from the local fluid velocity. Finally we derive an exact wave function for a single vortex near the rotation axis in a weakly interacting system, from which we derive the vortex precession rate.
△ Less
Submitted 24 May, 2006; v1 submitted 8 August, 2005;
originally announced August 2005.
-
Gyroscopic motion of superfluid trapped atomic condensates
Authors:
Halvor Moll Nilsen,
Dermot McPeake,
J F McCann
Abstract:
The gyroscopic motion of a trapped Bose gas containing a vortex is studied.
We model the system as a classical top, as a superposition of coherent hydrodynamic states, by solution of the Bogoliubov equations, and by integration of the time-dependent Gross-Pitaevskii equation. The frequency spectrum of Bogoliubov excitations, including quantum frequency shifts, is calculated and the quantal prec…
▽ More
The gyroscopic motion of a trapped Bose gas containing a vortex is studied.
We model the system as a classical top, as a superposition of coherent hydrodynamic states, by solution of the Bogoliubov equations, and by integration of the time-dependent Gross-Pitaevskii equation. The frequency spectrum of Bogoliubov excitations, including quantum frequency shifts, is calculated and the quantal precession frequency is found to be consistent with experimental results, though a small discrepancy exists. The superfluid precession is found to be well described by the classical and hydrodynamic models. However the frequency shifts and helical oscillations associated with vortex bending and twisting require a quantal treatment. In gyroscopic precession, the vortex excitation modes $m=\pm 1$ are the dominant features giving a vortex kink or bend, while the $m=+2$ is found to be the dominant Kelvin wave associated with vortex twisting.
△ Less
Submitted 12 March, 2003; v1 submitted 12 December, 2002;
originally announced December 2002.
-
Collective excitations of trapped Bose condensates in the energy and time domains
Authors:
Dermot McPeake,
Halvor Moll Nilsen,
J. F. McCann
Abstract:
A time-dependent method for calculating the collective excitation frequencies and densities of a trapped, inhomogeneous Bose-Einstein condensate with circulation is presented. The results are compared with time-independent solutions of the Bogoliubov-deGennes equations. The method is based on time-dependent linear-response theory combined with spectral analysis of moments of the excitation modes…
▽ More
A time-dependent method for calculating the collective excitation frequencies and densities of a trapped, inhomogeneous Bose-Einstein condensate with circulation is presented. The results are compared with time-independent solutions of the Bogoliubov-deGennes equations. The method is based on time-dependent linear-response theory combined with spectral analysis of moments of the excitation modes of interest. The technique is straightforward to apply, is extremely efficient in our implementation with parallel FFT methods, and produces highly accurate results. The method is suitable for general trap geometries, condensate flows and condensates permeated with vortex structures.
△ Less
Submitted 12 December, 2001; v1 submitted 11 December, 2001;
originally announced December 2001.