Showing 1–6 of 6 results for author: Harris, J M

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.

Comments: 25 pages, 10 figures

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.

Comments: 9 pages

MSC Class: 20G40; 20E45

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.

Comments: 11 pages. Added references, corrected typos, improved presentation

MSC Class: 20G40; 20E45

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.

Comments: 21 pages

MSC Class: 57M27

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.

MSC Class: 54A05

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.

Comments: corrected summation signs in figures 14, 15, 17. Other minor changes

MSC Class: 59M99

Journal ref: J. Knot Theory Ramifications 16, 103 (2007)