-
DG-IMEX Method for a Two-Moment Model for Radiation Transport in the $\mathcal{O}(v/c)$ Limit
Authors:
M. Paul Laiu,
Eirik Endeve,
J. Austin Harris,
Zachary Elledge,
Anthony Mezzacappa
Abstract:
We consider particle systems described by moments of a phase-space density and propose a realizability-preserving numerical method to evolve a spectral two-moment model for particles interacting with a background fluid moving with nonrelativistic velocities. The system of nonlinear moment equations, with special relativistic corrections to $\mathcal{O}(v/c)$, expresses a balance between phase-spac…
▽ More
We consider particle systems described by moments of a phase-space density and propose a realizability-preserving numerical method to evolve a spectral two-moment model for particles interacting with a background fluid moving with nonrelativistic velocities. The system of nonlinear moment equations, with special relativistic corrections to $\mathcal{O}(v/c)$, expresses a balance between phase-space advection and collisions and includes velocity-dependent terms that account for spatial advection, Doppler shift, and angular aberration. This model is closely related to the one promoted by Lowrie et al. (2001; JQSRT, 69, 291-304) and similar to models currently used to study transport phenomena in large-scale simulations of astrophysical environments. The method is designed to preserve moment realizability, which guarantees that the moments correspond to a nonnegative phase-space density. The realizability-preserving scheme consists of the following key components: (i) a strong stability-preserving implicit-explicit (IMEX) time-integration method; (ii) a discontinuous Galerkin (DG) phase-space discretization with carefully constructed numerical fluxes; (iii) a realizability-preserving implicit collision update; and (iv) a realizability-enforcing limiter. In time integration, nonlinearity of the moment model necessitates solution of nonlinear equations, which we formulate as fixed-point problems and solve with tailored iterative solvers that preserve moment realizability with guaranteed convergence. We also analyze the simultaneous Eulerian-frame number and energy conservation properties of the semi-discrete DG scheme and propose an "energy limiter" that promotes Eulerian-frame energy conservation. Through numerical experiments, we demonstrate the accuracy and robustness of this DG-IMEX method and investigate its Eulerian-frame energy conservation properties.
△ Less
Submitted 8 September, 2023;
originally announced September 2023.
-
Bulgarian Solitaire: A new representation for depth generating functions
Authors:
A. J. Harris,
Son Nguyen
Abstract:
Bulgarian Solitaire is an interesting self-map on the set of integer partitions of a fixed number $n$. As a finite dynamical system, its long-term behavior is well-understood, having recurrent orbits parametrized by necklaces of beads with two colors black $B$ and white $W$. However, the behavior of the transient elements within each orbit is much less understood.
Recent work of Pham considered…
▽ More
Bulgarian Solitaire is an interesting self-map on the set of integer partitions of a fixed number $n$. As a finite dynamical system, its long-term behavior is well-understood, having recurrent orbits parametrized by necklaces of beads with two colors black $B$ and white $W$. However, the behavior of the transient elements within each orbit is much less understood.
Recent work of Pham considered the orbits corresponding to a family of necklaces $P^\ell$ that are concatenations of $\ell$ copies of a fixed primitive necklace $P$. She proved striking limiting behavior as $\ell$ goes to infinity: the level statistic for the orbit, counting how many steps it takes a partition to reach the recurrent cycle, has a limiting distribution, whose generating function $H_p(x)$ is rational. Pham also conjectured that $H_P(x), H_{P^*}(x)$ share the same denominator whenever $P^*$ is obtained from $P$ by reading it backwards and swapping $B$ for $W$.
Here we introduce a new representation of Bulgarian Solitaire that is convenient for the study of these generating functions. We then use it to prove two instances of Pham's conjecture, showing that
$$H_{BWBWB \cdots WB}(x)=H_{WBWBW \cdots BW}(x)$$ and that $H_{BWWW\cdots W}(x),H_{WBBB\cdots B}(x)$ share the same denominator.
△ Less
Submitted 9 August, 2023;
originally announced August 2023.
-
Fourier Spectral Methods with Exponential Time Differencing for Space-Fractional Partial Differential Equations in Population Dynamics
Authors:
A. P. Harris,
T. A. Biala,
A. Q. M. Khaliq
Abstract:
Physical laws governing population dynamics are generally expressed as differential equations. Research in recent decades has incorporated fractional-order (non-integer) derivatives into differential models of natural phenomena, such as reaction-diffusion systems. In this paper, we develop a method to numerically solve a multi-component and multi-dimensional space-fractional system. For space disc…
▽ More
Physical laws governing population dynamics are generally expressed as differential equations. Research in recent decades has incorporated fractional-order (non-integer) derivatives into differential models of natural phenomena, such as reaction-diffusion systems. In this paper, we develop a method to numerically solve a multi-component and multi-dimensional space-fractional system. For space discretization, we apply a Fourier spectral method that is suited for multidimensional PDE systems. Efficient approximation of time-stepping is accomplished with a locally one dimensional exponential time differencing approach. We show the effect of different fractional parameters on growth models and consider the convergence, stability, and uniqueness of solutions, as well as the biological interpretation of parameters and boundary conditions.
△ Less
Submitted 6 December, 2022;
originally announced December 2022.
-
On the relation between non-homogeneous fractional Burgers equations and time-dependent harmonic oscillator
Authors:
P. Artale Harris,
R. Droghei,
R. Garra,
E. Salusti
Abstract:
In this paper we discuss the relation between non-homogeneous nonlinear fractional diffusive equations and the Schrodinger equation with time-dependent harmonic potential. It is well known that the Cole-Hopf transformation allows to linearize non-homogeneous nonlinear diffusive equations (NHNDEs) into a Schrodinger-type equation with time-dependent potential. We first discuss the utility of the re…
▽ More
In this paper we discuss the relation between non-homogeneous nonlinear fractional diffusive equations and the Schrodinger equation with time-dependent harmonic potential. It is well known that the Cole-Hopf transformation allows to linearize non-homogeneous nonlinear diffusive equations (NHNDEs) into a Schrodinger-type equation with time-dependent potential. We first discuss the utility of the results about time-dependent harmonic oscillator to build explicit solution of such non-homogeneous nonlinear partial differential equations. In particular, we recall that starting from a trial polynomial solution of the NHNDE, it is possible to construct other solutions by using linear invariants of the Schrodinger equation with time-dependent potential. Finally we apply these results to find explicit solutions to a novel non-homogeneous fractional Burgers-type equation.
△ Less
Submitted 16 January, 2020;
originally announced January 2020.
-
Ricci-Positive geodesic flows and point-completion of static monopole fields
Authors:
Kumbu Dorji,
Adam Harris
Abstract:
We use methods of complex analysis to extend the bundle structure across a removable point-singularity in a Sasakian three-manifold.
We use methods of complex analysis to extend the bundle structure across a removable point-singularity in a Sasakian three-manifold.
△ Less
Submitted 9 September, 2018;
originally announced September 2018.
-
Weak solutions to Allen-Cahn-like equations modelling consolidation of porous media
Authors:
P. Artale Harris,
E. N. M. Cirillo,
A. Muntean
Abstract:
We study the weak solvability of a system of coupled Allen-Cahn-like equations resembling cross-diffusion which is arising as a model for the consolidation of saturated porous media. Besides using energy like estimates, we cast the special structure of the system in the framework of the Leray-Schauder fixed point principle and ensure this way the local existence of strong solutions to a regularise…
▽ More
We study the weak solvability of a system of coupled Allen-Cahn-like equations resembling cross-diffusion which is arising as a model for the consolidation of saturated porous media. Besides using energy like estimates, we cast the special structure of the system in the framework of the Leray-Schauder fixed point principle and ensure this way the local existence of strong solutions to a regularised version of our system. Furthermore, weak convergence techniques ensure the existence of weak solutions to the original consolidation problem. The uniqueness of global-in-time solutions is guaranteed in a particular case. Moreover, we use a finite difference scheme to show the negativity of the vector of solutions.
△ Less
Submitted 23 February, 2015;
originally announced February 2015.
-
Categoricity and covering spaces
Authors:
Adam Harris
Abstract:
This thesis develops some of the basic model theory of covers of algebraic curves. In particular, an equivalence between the good model-theoretic behaviour of the modular j-function, and the openness of certain Galois representations in the Tate-modules of abelian varieties is described.
This thesis develops some of the basic model theory of covers of algebraic curves. In particular, an equivalence between the good model-theoretic behaviour of the modular j-function, and the openness of certain Galois representations in the Tate-modules of abelian varieties is described.
△ Less
Submitted 10 December, 2014;
originally announced December 2014.
-
Conformal great circle flows on the three-sphere
Authors:
Adam Harris,
Gabriel P. Paternain
Abstract:
We consider a closed orientable Riemannian 3-manifold $(M,g)$ and a vector field $X$ with unit norm whose integral curves are geodesics of $g$. Any such vector field determines naturally a 2-plane bundle contained in the kernel of the contact form of the geodesic flow of $g$. We study when this 2-plane bundle remains invariant under two natural almost complex structures. We also provide a geometri…
▽ More
We consider a closed orientable Riemannian 3-manifold $(M,g)$ and a vector field $X$ with unit norm whose integral curves are geodesics of $g$. Any such vector field determines naturally a 2-plane bundle contained in the kernel of the contact form of the geodesic flow of $g$. We study when this 2-plane bundle remains invariant under two natural almost complex structures. We also provide a geometric condition that ensures that $X$ is the Reeb vector field of the 1-form $λ$ obtained by contracting $g$ with $X$. We apply these results to the case of great circle flows on the 3-sphere with two objectives in mind: one is to recover the result in \cite{GG} that a volume preserving great circle flow must be Hopf and the other is to characterize in a similar fashion great circle flows that are conformal relative to the almost complex structure in the kernel of $λ$ given by rotation by $π/2$ according to the orientation of $M$.
△ Less
Submitted 5 May, 2015; v1 submitted 29 August, 2013;
originally announced August 2013.
-
Categoricity of modular and Shimura curves
Authors:
Christopher Daw,
Adam Harris
Abstract:
We describe a model-theoretic setting for the study of Shimura varieties, and study the interaction between model theory and arithmetic geometry in this setting. In particular, we show that the model-theoretic statement of a certain $\mathcal{L}_{ω_1, ω}$-sentence having a unique model of cardinality $\aleph_1$ is equivalent to a condition regarding certain Galois representations associated with H…
▽ More
We describe a model-theoretic setting for the study of Shimura varieties, and study the interaction between model theory and arithmetic geometry in this setting. In particular, we show that the model-theoretic statement of a certain $\mathcal{L}_{ω_1, ω}$-sentence having a unique model of cardinality $\aleph_1$ is equivalent to a condition regarding certain Galois representations associated with Hodge-generic points. We then show that for modular and Shimura curves this $\mathcal{L}_{ω_1, ω}$-sentence has a unique model in every infinite cardinality. In the process, we prove a new characterisation of the special points on any Shimura variety.
△ Less
Submitted 14 September, 2015; v1 submitted 17 April, 2013;
originally announced April 2013.
-
Categoricity of the two sorted j-function
Authors:
Adam Harris
Abstract:
We show that a natural, two sorted $\cL_{ω_1,ω}$ theory involving the modular $j$-function is categorical in all uncountable cardinaities. It is also shown that a slight weakening of the adelic Mumford-Tate conjecture for products of elliptic curves is necessary and (along with a couple of other results from arithmetic geometry) sufficient for categoricity.
We show that a natural, two sorted $\cL_{ω_1,ω}$ theory involving the modular $j$-function is categorical in all uncountable cardinaities. It is also shown that a slight weakening of the adelic Mumford-Tate conjecture for products of elliptic curves is necessary and (along with a couple of other results from arithmetic geometry) sufficient for categoricity.
△ Less
Submitted 17 April, 2013;
originally announced April 2013.
-
A short proof of the thumbtack lemma
Authors:
Adam Harris
Abstract:
We give a short proof of the main algebraic result of \cite{zilber2006covers}, also known as the `thumbtack lemma'.
We give a short proof of the main algebraic result of \cite{zilber2006covers}, also known as the `thumbtack lemma'.
△ Less
Submitted 17 April, 2013;
originally announced April 2013.
-
Toward a Unit Distance Embedding for the Heawood graph
Authors:
Mitchell A. Harris
Abstract:
The unit distance embeddability of a graph, like planarity, involves a mix of constraints that are combinatorial and geometric. We construct a unit distance embedding for $H-e$ in the hope that it will lead to an embedding for $H$. We then investigate analytical methods for a general decision procedure for testing unit distance embeddability.
The unit distance embeddability of a graph, like planarity, involves a mix of constraints that are combinatorial and geometric. We construct a unit distance embedding for $H-e$ in the hope that it will lead to an embedding for $H$. We then investigate analytical methods for a general decision procedure for testing unit distance embeddability.
△ Less
Submitted 7 November, 2007;
originally announced November 2007.
-
Dynamically convex Finsler metrics and $J$-holomorphic embedding of asymptotic cylinders
Authors:
Adam Harris,
Gabriel P. Paternain
Abstract:
We explore the relationship between contact forms on $\mathbb S^3$ defined by Finsler metrics on $\mathbb S^2$ and the theory developed by H. Hofer, K. Wysocki and E. Zehnder in \cite{HWZ,HWZ1}. We show that a Finsler metric on $\mathbb S^2$ with curvature $K\geq 1$ and with all geodesic loops of length $>π$ is dynamically convex and hence it has either two or infinitely many closed geodesics. W…
▽ More
We explore the relationship between contact forms on $\mathbb S^3$ defined by Finsler metrics on $\mathbb S^2$ and the theory developed by H. Hofer, K. Wysocki and E. Zehnder in \cite{HWZ,HWZ1}. We show that a Finsler metric on $\mathbb S^2$ with curvature $K\geq 1$ and with all geodesic loops of length $>π$ is dynamically convex and hence it has either two or infinitely many closed geodesics. We also explain how to explicitly construct $J$-holomorphic embeddings of cylinders asymptotic to Reeb orbits of contact structures arising from Finsler metrics on $\mathbb S^2$ with K=1 thus complementing the results obtained in \cite{HW}.
△ Less
Submitted 22 January, 2007;
originally announced January 2007.
-
Branch structure of J-holomorphic curves near periodic orbits of a contact manifold
Authors:
Adam Harris,
Krzysztof Wysocki
Abstract:
Let $M$ be a three-dimensional contact manifold and $ψ:D\setminus\{0\}\to M\times{\Bbb R}$ a finite-energy pseudoholomorphic map from a punctured disc in ${\Bbb C}$, that is asymptotic to a periodic orbit of the Reeb vector field. This article examines conditions under which smooth coordinates may be defined in a tubular neighbourhood of the orbit such that $ψ$ resembles a holomorphic curve, inv…
▽ More
Let $M$ be a three-dimensional contact manifold and $ψ:D\setminus\{0\}\to M\times{\Bbb R}$ a finite-energy pseudoholomorphic map from a punctured disc in ${\Bbb C}$, that is asymptotic to a periodic orbit of the Reeb vector field. This article examines conditions under which smooth coordinates may be defined in a tubular neighbourhood of the orbit such that $ψ$ resembles a holomorphic curve, invoking comparison with the theory of topological linking of plane complex algebroid curves near a singularity. Examples of this behaviour which are studied in some detail include pseudoholomorphic maps into ${\Bbb E}_{p,q}\times{\Bbb R}$, where ${\Bbb E}_{p,q}$ denotes a rational ellipsoid with contact structure induced by the complex structure of the ambient ${\Bbb C}^{2}$. Contact structures arising from non-standard circle-fibrations of the three-sphere are also examined.
△ Less
Submitted 17 January, 2007;
originally announced January 2007.
-
Cocycle Knot Invariants, Quandle Extensions, and Alexander Matrices
Authors:
J. Scott Carter,
Angela Harris,
Marina Appiou Nikiforou,
Masahico Saito
Abstract:
The theory of quandle (co)homology and cocycle knot invariants is rapidly being developed. We begin with a summary of these recent advances. One such advance is the notion of a dynamical cocycle.
We show how dynamical cocycles can be used to color knotted surfaces that are obtained from classical knots by twist-spinning. We also demonstrate relations between cocycle invariants and Alexander ma…
▽ More
The theory of quandle (co)homology and cocycle knot invariants is rapidly being developed. We begin with a summary of these recent advances. One such advance is the notion of a dynamical cocycle.
We show how dynamical cocycles can be used to color knotted surfaces that are obtained from classical knots by twist-spinning. We also demonstrate relations between cocycle invariants and Alexander matrices.
△ Less
Submitted 10 April, 2002;
originally announced April 2002.
-
Unbounded Symmetric Homogeneous Domains in Spaces of Operators
Authors:
Lawrence A. Harris
Abstract:
We define the domain of a linear fractional transformation in a space of operators and show that both the affine automorphisms and the compositions of symmetries act transitively on these domains. Further, we show that Liouville's theorem holds for domains of linear fractional transformations, and, with an additional trace class condition, so does the Riemann removable singularities theorem. We…
▽ More
We define the domain of a linear fractional transformation in a space of operators and show that both the affine automorphisms and the compositions of symmetries act transitively on these domains. Further, we show that Liouville's theorem holds for domains of linear fractional transformations, and, with an additional trace class condition, so does the Riemann removable singularities theorem. We also show that every biholomorphic mapping of the operator domain $I < Z^*Z$ is a linear isometry when the space of operators is a complex Jordan subalgebra of ${\cal L}(H)$ with the removable singularity property and that every biholomorphic mapping of the operator domain $I + Z_1^*Z_1 < Z_2^*Z_2$ is a linear map obtained by multiplication on the left and right by J-unitary and unitary operators, respectively.
Readers interested only in the finite dimensional case may identify our spaces of operators with spaces of square and rectangular matrices.
△ Less
Submitted 30 January, 1995;
originally announced January 1995.
