-
Vertex models for the product of a permuted-basement Demazure atom and a Schur polynomial
Authors:
Timothy C. Miller
Abstract:
We present the first positive combinatorial rule for expanding the product of a permuted-basement Demazure atom and a Schur polynomial. Special cases of permuted-basement Demazure atoms include Demazure atoms and characters. These cases have known tableau formulas for their expansions when multiplied by a Schur polynomial, due to Haglund, Luoto, Mason and van Willigenburg. We find a vertex model f…
▽ More
We present the first positive combinatorial rule for expanding the product of a permuted-basement Demazure atom and a Schur polynomial. Special cases of permuted-basement Demazure atoms include Demazure atoms and characters. These cases have known tableau formulas for their expansions when multiplied by a Schur polynomial, due to Haglund, Luoto, Mason and van Willigenburg. We find a vertex model formula, giving a new rule even in these special cases, extending a technique introduced by Zinn-Justin for calculating Littlewood-Richardson coefficients.
We derive a coloured vertex model for permuted-basement Demazure atoms, inspired by Borodin and Wheeler's model for non-symmetric Macdonald polynomials. We make this model compatible with an uncoloured vertex model for Schur polynomials, putting them in a single framework. Unlike previous work on structure coefficients via vertex models, a remarkable feature of our construction is that it relies on a Yang-Baxter equation that only holds for certain boundary conditions. However, this restricted Yang-Baxter equation is sufficient to show our result.
△ Less
Submitted 2 May, 2025; v1 submitted 12 March, 2025;
originally announced March 2025.
-
Shock selection in reaction--diffusion equations with partially negative diffusivity using nonlinear regularisation
Authors:
Thomas Miller,
Alexander K. Y. Tam,
Robert Marangell,
Martin Wechselberger,
Bronwyn H. Bradshaw-Hajek
Abstract:
We consider a general reaction--nonlinear-diffusion equation with a region of negative diffusivity, and show how a nonlinear regularisation selects a shock position. Negative diffusivity can model population aggregation, but leads to shock-fronted solutions for population density. In general the shock position is non-unique. Previous studies have defined shock selection criteria such as the equal…
▽ More
We consider a general reaction--nonlinear-diffusion equation with a region of negative diffusivity, and show how a nonlinear regularisation selects a shock position. Negative diffusivity can model population aggregation, but leads to shock-fronted solutions for population density. In general the shock position is non-unique. Previous studies have defined shock selection criteria such as the equal area rule, and shown how these arise from specific regularisations to the reaction--diffusion equation. In this work, we show that a nonlinear regularisation leads to travelling wave solutions where the shock is selected according to a modified equal area rule. Adjusting the nonlinearity in the regularisation moves the shock location. We focus on attaining shocks that conserve diffusivity across the shock, and demonstrate that this condition yields the longest possible shock length. Using geometric singular perturbation theory, we prove the existence of shock-fronted travelling wave solutions with continuous diffusivity, show how to construct them, and demonstrate that they correspond to a unique wave speed. Numerical solutions align with theoretical predictions for shock position and wave speed, confirming that a single regularisation term can vary the shock position and attain shocks with continuous diffusivity.
△ Less
Submitted 5 October, 2024;
originally announced October 2024.
-
On the diagonal product of special unitary matrices
Authors:
Tomasz Miller
Abstract:
We study the image of $\textrm{SU}(n)$ under the diagonal product map. Using only elementary tools of linear algebra, analysis and general topology, we find the analytical formula for the boundary of this image and find all special unitary matrices whose diagonal product lies on that boundary.
We study the image of $\textrm{SU}(n)$ under the diagonal product map. Using only elementary tools of linear algebra, analysis and general topology, we find the analytical formula for the boundary of this image and find all special unitary matrices whose diagonal product lies on that boundary.
△ Less
Submitted 1 December, 2023;
originally announced December 2023.
-
Conjugating Representations in $PGL(k, \mathbb{C})$ into $PGL(k, \mathbb{R})$
Authors:
Jared T. Miller
Abstract:
The space of representations of a surface group into a given simple Lie group is a very active area of research and is particularly relevant to higher Teichmüller theory. For a closed surface, classical Teichmüller space is a connected component of the moduli space of representations into $PSL(2, \mathbb{R})$ and [Fock:2006] showed that the space of positive representations into…
▽ More
The space of representations of a surface group into a given simple Lie group is a very active area of research and is particularly relevant to higher Teichmüller theory. For a closed surface, classical Teichmüller space is a connected component of the moduli space of representations into $PSL(2, \mathbb{R})$ and [Fock:2006] showed that the space of positive representations into $PSL(k, \mathbb{R})$ coincides with the Hitchin component. In this paper we study representations of finitely generated groups into $PGL(k, \mathbb{C})$ and determine necessary and sufficient conditions for such a representation to be conjugate into $PGL(k, \mathbb{R})$. In this way, we identify representations in the larger representation variety which are conjugate in $PGL(k, \mathbb{C})$ to a representation in $\hom ( π_1 (Σ), PGL(k, \mathbb{R}) ) / PGL(k, \mathbb{R})$.
△ Less
Submitted 16 October, 2023;
originally announced October 2023.
-
Analytic shock-fronted solutions to a reaction-diffusion equation with negative diffusivity
Authors:
Thomas Miller,
Alexander K. Y. Tam,
Robert Marangell,
Martin Wechselberger,
Bronwyn H. Bradshaw-Hajek
Abstract:
Reaction-diffusion equations (RDEs) model the spatiotemporal evolution of a density field $u(\vec{x},t)$ according to diffusion and net local changes. Usually, the diffusivity is positive for all values of $u,$ which causes the density to disperse. However, RDEs with partially negative diffusivity can model aggregation, which is the preferred behaviour in some circumstances. In this paper, we cons…
▽ More
Reaction-diffusion equations (RDEs) model the spatiotemporal evolution of a density field $u(\vec{x},t)$ according to diffusion and net local changes. Usually, the diffusivity is positive for all values of $u,$ which causes the density to disperse. However, RDEs with partially negative diffusivity can model aggregation, which is the preferred behaviour in some circumstances. In this paper, we consider a nonlinear RDE with quadratic diffusivity $D(u) = (u - a)(u - b)$ that is negative for $u\in(a,b)$. We use a nonclassical symmetry to construct analytic receding time-dependent, colliding wave, and receding travelling wave solutions. These solutions are multi-valued, and we convert them to single-valued solutions by inserting a shock. We examine properties of these analytic solutions including their Stefan-like boundary condition, and perform a phase plane analysis. We also investigate the spectral stability of the $u = 0$ and $u = 1$ constant solutions, and prove for certain $a$ and $b$ that receding travelling waves are spectrally stable. Additionally, we introduce a new shock condition where the diffusivity and flux are continuous across the shock. For diffusivity symmetric about the midpoint of its zeros, this condition recovers the well-known equal-area rule, but for non-symmetric diffusivity it results in a different shock position.
△ Less
Submitted 23 December, 2023; v1 submitted 31 August, 2023;
originally announced September 2023.
-
End-to-End Ascent-Entry Mission Performance Optimization Using Gaussian Quadrature Collocation
Authors:
Alexander T. Miller,
Anil V. Rao
Abstract:
The performance optimization for a combined ascent-entry mission subject to constraints on heating rate and heating load is studied. The ascent vehicle is modeled as a three-stage rocket that places the vehicle onto a suborbital exo-atmopheric trajectory after which the vehicle undergoes an unpowered entry and descent to a vertically downward terminal condition. The entry vehicle is modeled as a h…
▽ More
The performance optimization for a combined ascent-entry mission subject to constraints on heating rate and heating load is studied. The ascent vehicle is modeled as a three-stage rocket that places the vehicle onto a suborbital exo-atmopheric trajectory after which the vehicle undergoes an unpowered entry and descent to a vertically downward terminal condition. The entry vehicle is modeled as a high lift-to-drag ratio vehicle that is capable of withstanding high levels of thermal and structural loads. A performance index is designed to improve control margin while attenuating phugoid oscillations during atmospheric entry. Furthermore, a mission corresponding to a prototype launch and target point is used in this study. The trajectory optimization problem is formulated as a multiple-phase optimal control problem, and the optimal control problem is solved using an adaptive Gaussian quadrature collocation method. A key aspect of the optimized trajectories is that, for particular ranges of maximum allowable heating rate and heating load during entry, relatively small adjustments made during ascent can potentially decrease the control effort required during atmospheric entry. Outside of these ranges for maximum allowable heating rate and heating load, however, it is found that the required control effort increases and eventually saturates the commanded angle of attack upon initial descent. The key features of the optimized trajectories and controls are identified, and the approach developed in this paper provides a systematic method for end-to-end ascent-entry trajectory optimization.
△ Less
Submitted 25 April, 2021;
originally announced April 2021.
-
Nonsingular Euler Parameterizations for Motion of a Point Mass in Atmospheric Flight
Authors:
Alexander T. Miller,
Anil V. Rao
Abstract:
Three parameterizations are developed for modeling translational motion of a point mass in atmosphere flight over a central rotating body. Unlike well-known parameterizations such as spherical coordinate parameterizations, where position and velocity are parameterized using a magnitude an an Euler angle rotation sequence, the method presented in this research employs Euler parameters. Consequently…
▽ More
Three parameterizations are developed for modeling translational motion of a point mass in atmosphere flight over a central rotating body. Unlike well-known parameterizations such as spherical coordinate parameterizations, where position and velocity are parameterized using a magnitude an an Euler angle rotation sequence, the method presented in this research employs Euler parameters. Consequently, singularities and trigonometric functions are eliminated from the differential equations of motion. As a result, the new parameterizations presented in this paper offer computational advantages over standard parameterizations that employ Euler angle sequences. Finally, an example is studied where an atmospheric vehicle moves while in vertical flight, demonstrating the nonsingular nature of the formulations developed in this paper.
△ Less
Submitted 18 April, 2021;
originally announced April 2021.
-
Causal evolution of probability measures and continuity equation
Authors:
Tomasz Miller
Abstract:
We study the notion of a causal time-evolution of a conserved nonlocal physical quantity in a globally hyperbolic spacetime $\mathcal{M}$. The role of the `global time' is played by a chosen Cauchy temporal function $\mathcal{T}$, whereas the instantaneous configurations of the nonlocal quantity are modeled by probability measures $μ_t$ supported on the corresponding time slices…
▽ More
We study the notion of a causal time-evolution of a conserved nonlocal physical quantity in a globally hyperbolic spacetime $\mathcal{M}$. The role of the `global time' is played by a chosen Cauchy temporal function $\mathcal{T}$, whereas the instantaneous configurations of the nonlocal quantity are modeled by probability measures $μ_t$ supported on the corresponding time slices $\mathcal{T}^{-1}(t)$. We show that the causality of such an evolution can be expressed in three equivalent ways: (i) via the causal precedence relation $\preceq$ extended to probability measures, (ii) with the help of a probability measure $σ$ on the space of future-directed continuous causal curves endowed with the compact-open topology and (iii) through a causal vector field $X$ of $L^\infty_{\textrm{loc}}$-regularity, with which the map $t \mapsto μ_t$ satisfies the continuity equation in the distributional sense. In the course of the proof we find that the compact-open topology is sensitive to the differential properties of the causal curves, being equal to the topology induced from a suitable $H^1_{\textrm{loc}}$-Sobolev space. This enables us to construct $X$ as a vector field in a sense `tangent' to $σ$. In addition, we discuss the general covariance of descriptions (i)-(iii), unraveling the geometrical, observer-independent notions behind them.
△ Less
Submitted 28 December, 2024; v1 submitted 6 April, 2021;
originally announced April 2021.
-
Reproducing Kernel Hilbert Space Associated with a Unitary Representation of a Groupoid
Authors:
Monika Drewnik,
Tomasz Miller,
Zbigniew Pasternak-Winiarski
Abstract:
The aim of the paper is to create a link between the theory of reproducing kernel Hilbert spaces (RKHS) and the notion of a unitary representation of a group or of a groupoid. More specifically, it is demonstrated on one hand, how to construct a positive definite kernel and an RKHS for a given unitary representation of a group(oid), and on the other hand how to retrieve the unitary representation…
▽ More
The aim of the paper is to create a link between the theory of reproducing kernel Hilbert spaces (RKHS) and the notion of a unitary representation of a group or of a groupoid. More specifically, it is demonstrated on one hand, how to construct a positive definite kernel and an RKHS for a given unitary representation of a group(oid), and on the other hand how to retrieve the unitary representation of a group or a groupoid from a positive definite kernel defined on that group(oid) with the help of the Moore-Aronszajn theorem. The kernel constructed from the group(oid) representation is inspired by the kernel defined in terms of the convolution of functions on a locally compact group. Several illustrative examples of reproducing kernels related with unitary representations of groupoids are discussed in detail. The paper is concluded with the brief overview of the possible applications of the proposed constructions.
△ Less
Submitted 18 February, 2021;
originally announced February 2021.
-
Nonsingular Parameterization for Modeling Translational Motion Using Euler Parameters
Authors:
Alexander T. Miller,
Anil V. Rao
Abstract:
A parameterization is described for quantifying translational motion of a point in three-dimensional Euclidean space. The parameterization is similar to well-known parameterizations such as spherical coordinates in that both position and velocity are decoupled into magnitude and orientation components. Unlike these standard parameterizations, where principal rotation sequences are employed, the me…
▽ More
A parameterization is described for quantifying translational motion of a point in three-dimensional Euclidean space. The parameterization is similar to well-known parameterizations such as spherical coordinates in that both position and velocity are decoupled into magnitude and orientation components. Unlike these standard parameterizations, where principal rotation sequences are employed, the method presented in this research employs Euler parameters. By using Euler parameters instead of Euler angles, singularities and trigonometric functions are removed from the equations of motion. The parameterization is demonstrated on two examples, where it is found that the new parameterization offers both mathematical and computational advantages over other commonly used parameterizations.
△ Less
Submitted 22 November, 2020;
originally announced November 2020.
-
A generalized class of strongly stable and dimension-free T-RPMD integrators
Authors:
Jorge L. Rosa-Raíces,
Jiace Sun,
Nawaf Bou-Rabee,
Thomas F. Miller III
Abstract:
Recent work shows that strong stability and dimensionality freedom are essential for robust numerical integration of thermostatted ring-polymer molecular dynamics (T-RPMD) and path-integral molecular dynamics (PIMD), without which standard integrators exhibit non-ergodicity and other pathologies [J. Chem. Phys. 151, 124103 (2019); J. Chem. Phys. 152, 104102 (2020)]. In particular, the BCOCB scheme…
▽ More
Recent work shows that strong stability and dimensionality freedom are essential for robust numerical integration of thermostatted ring-polymer molecular dynamics (T-RPMD) and path-integral molecular dynamics (PIMD), without which standard integrators exhibit non-ergodicity and other pathologies [J. Chem. Phys. 151, 124103 (2019); J. Chem. Phys. 152, 104102 (2020)]. In particular, the BCOCB scheme, obtained via Cayley modification of the standard BAOAB scheme, features a simple reparametrization of the free ring-polymer sub-step that confers strong stability and dimensionality freedom and has been shown to yield excellent numerical accuracy in condensed-phase systems with large time-steps. Here, we introduce a broader class of T-RPMD numerical integrators that exhibit strong stability and dimensionality freedom, irrespective of the Ornstein-Uhlenbeck friction schedule. In addition to considering equilibrium accuracy and time-step stability as in previous work, we evaluate the integrators on the basis of their rates of convergence to equilibrium and their efficiency at evaluating equilibrium expectation values. Within the generalized class, we find BCOCB to be superior with respect to accuracy and efficiency for various configuration-dependent observables, although other integrators within the generalized class perform better for velocity-dependent quantities. Extensive numerical evidence indicates that the stated performance guarantees hold for the strongly anharmonic case of liquid water. Both analytical and numerical results indicate that BCOCB excels over other known integrators in terms of accuracy, efficiency, and stability with respect to time-step for practical applications.
△ Less
Submitted 9 November, 2020; v1 submitted 3 November, 2020;
originally announced November 2020.
-
Mesh Refinement Method for Solving Optimal Control Problems with Nonsmooth Solutions Using Jump Function Approximations
Authors:
Alexander T. Miller,
WIlliam W. Hager,
Anil V. Rao
Abstract:
A mesh refinement method is described for solving optimal control problems using Legendre-Gauss-Radau collocation. The method detects discontinuities in the control solution by employing an edge detection scheme based on jump function approximations. When discontinuities are identified, the mesh is refined with a targeted $h$-refinement approach whereby the discontinuity locations are bracketed wi…
▽ More
A mesh refinement method is described for solving optimal control problems using Legendre-Gauss-Radau collocation. The method detects discontinuities in the control solution by employing an edge detection scheme based on jump function approximations. When discontinuities are identified, the mesh is refined with a targeted $h$-refinement approach whereby the discontinuity locations are bracketed with mesh points. The remaining smooth portions of the mesh are refined using previously developed techniques. The method is demonstrated on two examples, and results indicate that the method solves optimal control problems with discontinuous control solutions using fewer mesh refinement iterations and less computation time when compared with previously developed methods.
△ Less
Submitted 25 March, 2020;
originally announced March 2020.
-
Method for Chance Constrained Optimal Control Using Biased Kernel Density Estimators
Authors:
Rachel E. Keil,
Alexander T. Miller,
Mrinal Kumar,
Anil V. Rao
Abstract:
A method is developed to numerically solve chance constrained optimal control problems. The chance constraints are reformulated as nonlinear constraints that retain the probability properties of the original constraint. The reformulation transforms the chance constrained optimal control problem into a deterministic optimal control problem that can be solved numerically. The new method developed in…
▽ More
A method is developed to numerically solve chance constrained optimal control problems. The chance constraints are reformulated as nonlinear constraints that retain the probability properties of the original constraint. The reformulation transforms the chance constrained optimal control problem into a deterministic optimal control problem that can be solved numerically. The new method developed in this paper approximates the chance constraints using Markov Chain Monte Carlo (MCMC) sampling and kernel density estimators whose kernels have integral functions that bound the indicator function. The nonlinear constraints resulting from the application of kernel density estimators are designed with bounds that do not violate the bounds of the original chance constraint. The method is tested on a non-trivial chance constrained modification of a soft lunar landing optimal control problem and the results are compared with results obtained using a conservative deterministic formulation of the optimal control problem. The results show that this new method efficiently solves chance constrained optimal control problems.
△ Less
Submitted 27 May, 2020; v1 submitted 17 March, 2020;
originally announced March 2020.
-
Dimension-free path-integral molecular dynamics without preconditioning
Authors:
Roman Korol,
Jorge L. Rosa-Raíces,
Nawaf Bou-Rabee,
Thomas F. Miller III
Abstract:
Convergence with respect to imaginary-time discretization is an essential part of any path-integral-based calculation. However, an unfortunate property of existing non-preconditioned numerical integration schemes for path-integral molecular dynamics (PIMD) - including ring-polymer molecular dynamics (RPMD) and thermostatted RPMD (T-RPMD) - is that for a given MD timestep, the overlap between the e…
▽ More
Convergence with respect to imaginary-time discretization is an essential part of any path-integral-based calculation. However, an unfortunate property of existing non-preconditioned numerical integration schemes for path-integral molecular dynamics (PIMD) - including ring-polymer molecular dynamics (RPMD) and thermostatted RPMD (T-RPMD) - is that for a given MD timestep, the overlap between the exact ring-polymer Boltzmann-Gibbs distribution and that sampled using MD becomes zero in the infinite-bead limit. This has clear implications for hybrid Metropolis Monte-Carlo/MD sampling schemes. We show that these problems can be avoided through the introduction of "dimension-free" numerical integration schemes for which the sampled ring-polymer position distribution has non-zero overlap with the exact distribution in the infinite-bead limit for the case of a harmonic potential. We show that dimension freedom can be achieved via mollification of the forces from the physical potential and with the BCOCB integration scheme. The dimension-free numerical integration schemes yield finite error bounds for a given MD timestep as the number of beads is taken to infinity; these conclusions are proven for harmonic potential and borne out numerically for anharmonic systems, including water. The numerical results for BCOCB are particularly striking, allowing for three-fold increases in the stable timestep for liquid water with respect to the Bussi-Parrinello (OBABO) and Leimkuhler (BAOAB) integrators while introducing negligible errors in the statistical properties and absorption spectrum. Importantly, the dimension-free, non-preconditioned integration schemes introduced here preserve ergodicity and global second-order accuracy, and they remain simple, black-box methods that avoid additional computational costs, tunable parameters, or system-specific implementations.
△ Less
Submitted 15 March, 2020; v1 submitted 3 November, 2019;
originally announced November 2019.
-
Finite Element Formulation for a Poroelasticity Problem Stemming from Mixture Theory
Authors:
Francesco Costanzo,
Scott T. Miller
Abstract:
A finite element formulation is developed for a poroelastic medium consisting of an incompressible hyperelastic skeleton saturated by an incompressible fluid. The governing equations stem from mixture theory and the application is motivated by the study of interstitial fluid flow in brain tissue. The formulation is based on the adoption of an ALE perspective. We focus on a flow regime in which ine…
▽ More
A finite element formulation is developed for a poroelastic medium consisting of an incompressible hyperelastic skeleton saturated by an incompressible fluid. The governing equations stem from mixture theory and the application is motivated by the study of interstitial fluid flow in brain tissue. The formulation is based on the adoption of an ALE perspective. We focus on a flow regime in which inertia forces are negligible. The stability and convergence of the formulation is discussed, and numerical results demonstrate agreement with the theory.
△ Less
Submitted 30 September, 2016;
originally announced October 2016.
