-
Coupled Time-lapse Full Waveform Inversion for Subsurface Flow Problems using Intrusive Automatic Differentiation
Authors:
Dongzhuo Li,
Kailai Xu,
Jerry M. Harris,
Eric Darve
Abstract:
We describe a novel framework for estimating subsurface properties, such as rock permeability and porosity, from time-lapse observed seismic data by coupling full-waveform inversion, subsurface flow processes, and rock physics models. For the inverse modeling, we handle the back-propagation of gradients by an intrusive automatic differentiation strategy that offers three levels of user control: (1…
▽ More
We describe a novel framework for estimating subsurface properties, such as rock permeability and porosity, from time-lapse observed seismic data by coupling full-waveform inversion, subsurface flow processes, and rock physics models. For the inverse modeling, we handle the back-propagation of gradients by an intrusive automatic differentiation strategy that offers three levels of user control: (1) at the wave physics level, we adopted the discrete adjoint method in order to use our existing high-performance FWI code; (2) at the rock physics level, we used built-in operators from the $\texttt{TensorFlow}$ backend; (3) at the flow physics level, we implemented customized PDE operators for the potential and nonlinear saturation equations. These three levels of gradient computation strike a good balance between computational efficiency and programming efficiency, and when chained together, constitute a coupled inverse system. We use numerical experiments to demonstrate that (1) the three-level coupled inverse problem is superior in terms of accuracy to a traditional decoupled inversion strategy; (2) it is able to simultaneously invert for parameters in empirical relationships such as the rock physics models; and (3) the inverted model can be used for reservoir performance prediction and reservoir management/optimization purposes.
△ Less
Submitted 5 May, 2020; v1 submitted 16 December, 2019;
originally announced December 2019.
-
Learning Hidden Dynamics using Intelligent Automatic Differentiation
Authors:
Kailai Xu,
Dongzhuo Li,
Eric Darve,
Jerry M. Harris
Abstract:
Many engineering problems involve learning hidden dynamics from indirect observations, where the physical processes are described by systems of partial differential equations (PDE). Gradient-based optimization methods are considered scalable and efficient to learn hidden dynamics. However, one of the most time-consuming and error-prone tasks is to derive and implement the gradients, especially in…
▽ More
Many engineering problems involve learning hidden dynamics from indirect observations, where the physical processes are described by systems of partial differential equations (PDE). Gradient-based optimization methods are considered scalable and efficient to learn hidden dynamics. However, one of the most time-consuming and error-prone tasks is to derive and implement the gradients, especially in systems of PDEs where gradients from different systems must be correctly integrated together. To that purpose, we present a novel technique, called intelligent automatic differentiation (IAD), to leverage the modern machine learning tool $\texttt{TensorFlow}$ for computing gradients automatically and conducting optimization efficiently. Moreover, IAD allows us to integrate specially designed state adjoint method codes to achieve better performance. Numerical tests demonstrate the feasibility of IAD for learning hidden dynamics in complicated systems of PDEs; additionally, by incorporating custom built state adjoint method codes in IAD, we significantly accelerate the forward and inverse simulation.
△ Less
Submitted 16 December, 2019;
originally announced December 2019.
-
Full waveform inversion with nonlocal similarity and model-derivative domain adaptive sparsity-promoting regularization
Authors:
Dongzhuo Li,
Jerry M. Harris
Abstract:
Full waveform inversion (FWI) is a highly nonlinear and ill-posed problem. On one hand, it can be easily trapped in a local minimum. On the other hand, the inversion results may exhibit strong artifacts and reduced resolution because of inadequate constraint from data. Proper regularizations are necessary to reduce such artifacts and steer the inversion towards a good direction. In this study, we…
▽ More
Full waveform inversion (FWI) is a highly nonlinear and ill-posed problem. On one hand, it can be easily trapped in a local minimum. On the other hand, the inversion results may exhibit strong artifacts and reduced resolution because of inadequate constraint from data. Proper regularizations are necessary to reduce such artifacts and steer the inversion towards a good direction. In this study, we propose a novel adaptive sparsity-promoting regularization for FWI in the model-derivative domain which exploits nonlocal similarity in the model. This regularization can be viewed as a generalization of total variation (TV) with multi-class learning-based dictionaries. The dictionaries incorporate the prior information of nonlocal similarity into the inversion, exploiting the fact that geological patterns at different places are similar to some others up to affine transformations (translation, rotation and scaling). Such nonlocal similarity priors effectively reduce the degrees of freedom in model parameters, and may also mitigate the problem of local minima. The formulated optimization problem is solved by the Alternating Direction Method of Multipliers (ADMM). By interpreting the iterative scheme, we find our method closely connected with image processing techniques and convolutional neural networks (CNN). We test our proposed method on a modified BP 2004 velocity model and a smoothed Marmousi model. Compared with traditional FWI, our technique can better reconstruct sharp edges such as salt body boundaries, and is also able to effectively reduce artifacts. Compared with TV, our result is less blocky and more geologically realistic. Quantitatively, our result has the highest structural similarity index (SSIM) and also the lowest model mean square error.
△ Less
Submitted 5 August, 2018; v1 submitted 30 March, 2018;
originally announced March 2018.
-
On conjugacy classes of GL(n,q) and SL(n,q)
Authors:
Edith Adan-Bante,
John M. Harris
Abstract:
Let GL(n,q) be the group of nxn invertible matrices over a field with q elements, and SL(n,q) be the group of nxn matrices with determinant 1 over a field with q elements. We prove that the product of any two non-central conjugacy classes in GL(n,q) is the union of at least q-1 distinct conjugacy classes, and that the product of any two non-central conjugacy classes in SL(n,q) is the union of at…
▽ More
Let GL(n,q) be the group of nxn invertible matrices over a field with q elements, and SL(n,q) be the group of nxn matrices with determinant 1 over a field with q elements. We prove that the product of any two non-central conjugacy classes in GL(n,q) is the union of at least q-1 distinct conjugacy classes, and that the product of any two non-central conjugacy classes in SL(n,q) is the union of at least $\lceil\frac{q}{2} \rceil$ distinct conjugacy classes.
△ Less
Submitted 14 April, 2009;
originally announced April 2009.
-
On conjugacy classes of SL$(2,q)$
Authors:
Edith Adan-Bante,
John M. Harris
Abstract:
Let SL(2,q) be the group of 2X2 matrices with determinant one over a finite field F of size q.
We prove that if q is even, then the product of any two noncentral conjugacy classes of SL(2,q) is the union of at least q-1 distinct conjugacy classes of SL(2,q). On the other hand, if q>3 is odd, then the product of any two noncentral conjugacy classes of SL(2,q) is the union of at least (q+3)/2 di…
▽ More
Let SL(2,q) be the group of 2X2 matrices with determinant one over a finite field F of size q.
We prove that if q is even, then the product of any two noncentral conjugacy classes of SL(2,q) is the union of at least q-1 distinct conjugacy classes of SL(2,q). On the other hand, if q>3 is odd, then the product of any two noncentral conjugacy classes of SL(2,q) is the union of at least (q+3)/2 distinct conjugacy classes of SL(2,q).
△ Less
Submitted 1 July, 2009; v1 submitted 2 April, 2009;
originally announced April 2009.
-
On the Kauffman bracket skein module of surgery on a (2,2b) torus link
Authors:
John M. Harris
Abstract:
We show that the Kauffman bracket skein modules of certain manifolds obtained from integral surgery on a (2,2b) torus link are finitely generated, and list the generators for select examples.
We show that the Kauffman bracket skein modules of certain manifolds obtained from integral surgery on a (2,2b) torus link are finitely generated, and list the generators for select examples.
△ Less
Submitted 9 July, 2008;
originally announced July 2008.
-
Continuity and separation for pointwise-symmetric isotonic closure functions
Authors:
John M. Harris
Abstract:
In this paper, we show that a pointwise-symmetric isotonic closure function is uniquely determined by the pairs of sets it separates. We then show that when the closure function of the domain is isotonic and the closure function of the codomain is isotonic and pointwise-symmetric, functions which separate only those pairs of sets which are already separated are continuous.
In this paper, we show that a pointwise-symmetric isotonic closure function is uniquely determined by the pairs of sets it separates. We then show that when the closure function of the domain is isotonic and the closure function of the codomain is isotonic and pointwise-symmetric, functions which separate only those pairs of sets which are already separated are continuous.
△ Less
Submitted 12 July, 2005;
originally announced July 2005.
-
On the Kauffman bracket skein module of the quaternionic manifold
Authors:
Patrick M. Gilmer,
John M. Harris
Abstract:
We use recoupling theory to study the Kauffman bracket skein module of the quaternionic manifold over Z[A,A^{-1}] localized by inverting all the cyclotomic polynomials. We prove that the skein module is spanned by five elements. Using the quantum invariants of these skein elements and the Z_2 homology of the manifold, we determine that they are linearly independent.
We use recoupling theory to study the Kauffman bracket skein module of the quaternionic manifold over Z[A,A^{-1}] localized by inverting all the cyclotomic polynomials. We prove that the skein module is spanned by five elements. Using the quantum invariants of these skein elements and the Z_2 homology of the manifold, we determine that they are linearly independent.
△ Less
Submitted 14 December, 2004; v1 submitted 8 June, 2004;
originally announced June 2004.
-
Photoemission Studies on Bi2Sr2CaCuZnO - Electronic Structure Evolution and Temperature Dependence
Authors:
P. J. White,
Z. X. Shen,
D. L. Feng,
C. Kim,
M. Z. Hasan,
J. M. Harris,
A. G. Loeser,
H. Ikeda,
R. Yoshizaki,
G. D. Gu,
N. Koshizuka
Abstract:
An angle resolved photoelectron spectroscopy study was conducted on BiSrCaCuZnO. A small amount of Zn substitution for Cu almost completely suppresses the otherwise sharp spectral peak along the (0,0) to (pi,pi) direction in BiSrCaCuZnO, while superconductivity with Tc as high as 83K survives. This behavior contrasts markedly from that seen in cases where the impurities are located off the CuO p…
▽ More
An angle resolved photoelectron spectroscopy study was conducted on BiSrCaCuZnO. A small amount of Zn substitution for Cu almost completely suppresses the otherwise sharp spectral peak along the (0,0) to (pi,pi) direction in BiSrCaCuZnO, while superconductivity with Tc as high as 83K survives. This behavior contrasts markedly from that seen in cases where the impurities are located off the CuO plane, as well as when the CuO planes are underdoped. This effect is also accompanied by changes of low energy excitations at (pi,0), near the anti-node position of the d-wave pairing state. With Zn doping the size of the superconducting gap is significantly suppressed, the width of the quasiparticle peak in the superconducting state becomes wider, and the dip at higher binding energy is diminished. In addition, enhanced temperature induced spectral changes also occur. We show intriguing systematic lineshape changes with temperature that persist to a very high energy scale - a result consistent with the idea that Zn enhances the local charge inhomogeneity.
△ Less
Submitted 23 January, 2000; v1 submitted 29 January, 1999;
originally announced January 1999.
-
Measurement of an Anisotropic Energy Gap in Single Plane Bi_2Sr_(2-x)La_xCuO_(6+d)
Authors:
Jeffrey M. Harris,
P. J. White,
Z. -X. Shen,
H. Ikeda,
R. Yoshizaki,
H. Eisaki,
S. Uchida,
W. D. Si,
J. W. Xiong,
Z. -X. Zhao,
D. S. Dessau
Abstract:
We report angle-resolved photoemission spectra both above and below T_c in the single-plane cuprate superconductor Bi_2Sr_{2-x}La_xCuO_{6+d}. The superconducting state measurements show a highly anisotropic excitation gap with a maximum magnitude smaller than that of the bilayer compound Bi_2Sr_2CaCu_2O_8 by a factor of 3. For a range of doping, the gap persists well above T_c, behavior previous…
▽ More
We report angle-resolved photoemission spectra both above and below T_c in the single-plane cuprate superconductor Bi_2Sr_{2-x}La_xCuO_{6+d}. The superconducting state measurements show a highly anisotropic excitation gap with a maximum magnitude smaller than that of the bilayer compound Bi_2Sr_2CaCu_2O_8 by a factor of 3. For a range of doping, the gap persists well above T_c, behavior previously associated with underdoped bilayer cuprates. The anisotropy and magnitude of the normal-state gap are very similar to the superconducting state gap, indicating that the two gaps may have a common origin in a pairing interaction.
△ Less
Submitted 29 May, 1997;
originally announced May 1997.
-
Anomalous superconducting state gap size versus Tc behavior in underdoped Bi_2Sr_2Ca_1-xDy_xCu_2O_8+d
Authors:
J. M. Harris,
Z. -X. Shen,
P. J. White,
D. S. Marshall,
M. C. Schabel,
J. N. Eckstein,
I. Bozovic
Abstract:
We report angle-resolved photoemission spectroscopy measurements of the excitation gap in underdoped superconducting thin films of Bi_2Sr_2Ca_{1-x}Dy_xCu_2O_{8+d}. As Tc is reduced by a factor of 2 by underdoping, the superconducting state gap Δdoes not fall proportionally, but instead stays constant or increases slightly, in violation of the BCS mean-field theory result. The different doping de…
▽ More
We report angle-resolved photoemission spectroscopy measurements of the excitation gap in underdoped superconducting thin films of Bi_2Sr_2Ca_{1-x}Dy_xCu_2O_{8+d}. As Tc is reduced by a factor of 2 by underdoping, the superconducting state gap Δdoes not fall proportionally, but instead stays constant or increases slightly, in violation of the BCS mean-field theory result. The different doping dependences of Δand kT_c indicate that they represent different energy scales. The measurements also show that Δis highly anisotropic and consistent with a d_{x^2-y^2} order parameter, as in previous studies of samples with higher dopings. However, in these underdoped samples, the anisotropic gap persists well above T_c. The existence of a normal state gap is related to the failure of Δto scale with T_c in theoretical models that predict pairing without phase coherence above T_c.
△ Less
Submitted 1 November, 1996;
originally announced November 1996.
