Showing 1–50 of 95 results for author: Johnson, A

On the Modulation of Wave Trains in the Ostrovsky Equation

Authors: Mathew A. Johnson, Jeffrey Oregero, Wesley R. Perkins

Abstract: We consider the nonlinear wave modulation of arbitrary amplitude periodic traveling wave solutions of the Ostrovsky equation, which arises as a model for the unidirectional propagation of small-amplitude, weakly nonlinear surface and internal gravity waves in a rotating fluid of finite depth. While the modulation of such waves with asymptotically small amplitudes of oscillation (the so-called Stok… ▽ More We consider the nonlinear wave modulation of arbitrary amplitude periodic traveling wave solutions of the Ostrovsky equation, which arises as a model for the unidirectional propagation of small-amplitude, weakly nonlinear surface and internal gravity waves in a rotating fluid of finite depth. While the modulation of such waves with asymptotically small amplitudes of oscillation (the so-called Stokes waves) has been studied in several works, our goal is to understand the modulational dynamics of general amplitude wave trains. To this end, we first use Whitham's theory of modulations to derive a dispersionless system of quasilinear partial differential equations that is expected to model the slow evolution of the fundamental characteristics of a given wave train. In practice, the modulational stability or instability of a given wave train is considered to be determined by the hyperbolicity or ellipticity, respectively, of the resulting system of Whitham modulation equations. Using rigorous spectral perturbation theory we then study the spectral (linearized) stability problem for a given wave train solution of the Ostrovsky equation, directly connecting the hyperbolicity or ellipticity of the associated Whitham system to the rigorous spectral stability problem for the underlying wave. Specifically, we prove that strict hyperbolicity of the Whitham system implies spectral stability near the origin in the spectral plane, i.e. so-called spectral modulational stability, while ellipticity implies spectral instability of the underlying wave train. △ Less

Submitted 27 May, 2025; originally announced May 2025.

Comments: 42 pages

Likelihood Level Adapted Estimation of Marginal Likelihood for Bayesian Model Selection

Authors: Subhayan De, Reza Farzad, Patrick T. Brewick, Erik A. Johnson, Steven F. Wojtkiewicz

Abstract: In computational mechanics, multiple models are often present to describe a physical system. While Bayesian model selection is a helpful tool to compare these models using measurement data, it requires the computationally expensive estimation of a multidimensional integral -- known as the marginal likelihood or as the model evidence (\textit{i.e.}, the probability of observing the measured data gi… ▽ More In computational mechanics, multiple models are often present to describe a physical system. While Bayesian model selection is a helpful tool to compare these models using measurement data, it requires the computationally expensive estimation of a multidimensional integral -- known as the marginal likelihood or as the model evidence (\textit{i.e.}, the probability of observing the measured data given the model). This study presents efficient approaches for estimating this marginal likelihood by transforming it into a one-dimensional integral that is subsequently evaluated using a quadrature rule at multiple adaptively-chosen iso-likelihood contour levels. Three different algorithms are proposed to estimate the probability mass at each adapted likelihood level using samples from importance sampling, stratified sampling, and Markov chain Monte Carlo sampling, respectively. The proposed approach is illustrated through four numerical examples. The first example validates the algorithms against a known exact marginal likelihood. The second example uses an 11-story building subjected to an earthquake excitation with an uncertain hysteretic base isolation layer with two models to describe the isolation layer behavior. The third example considers flow past a cylinder when the inlet velocity is uncertain. Based on these examples, the method with stratified sampling is by far the most accurate and efficient method for complex model behavior in low dimension. In the fourth example, the proposed approach is applied to heat conduction in an inhomogeneous plate with uncertain thermal conductivity modeled through a 100 degree-of-freedom Karhunen-Loève expansion. The results indicate that MultiNest cannot efficiently handle the high-dimensional parameter space, whereas the proposed MCMC-based method more accurately and efficiently explores the parameter space. △ Less

Submitted 10 April, 2025; v1 submitted 29 March, 2025; originally announced March 2025.

Comments: 38 pages, 11 figures

Constructing optimal treatment length strategies to maximize quality-adjusted lifetimes

Authors: Hao Sun, Ashkan Ertefaie, Luke Duttweiler, Brent A. Johnson

Abstract: Real-world clinical decision making is a complex process that involves balancing the risks and benefits of treatments. Quality-adjusted lifetime is a composite outcome that combines patient quantity and quality of life, making it an attractive outcome in clinical research. We propose methods for constructing optimal treatment length strategies to maximize this outcome. Existing methods for estimat… ▽ More Real-world clinical decision making is a complex process that involves balancing the risks and benefits of treatments. Quality-adjusted lifetime is a composite outcome that combines patient quantity and quality of life, making it an attractive outcome in clinical research. We propose methods for constructing optimal treatment length strategies to maximize this outcome. Existing methods for estimating optimal treatment strategies for survival outcomes cannot be applied to a quality-adjusted lifetime due to induced informative censoring. We propose a weighted estimating equation that adjusts for both confounding and informative censoring. We also propose a nonparametric estimator of the mean counterfactual quality-adjusted lifetime survival curve under a given treatment length strategy, where the weights are estimated using an undersmoothed sieve-based estimator. We show that the estimator is asymptotically linear and provide a data-dependent undersmoothing criterion. We apply our method to obtain the optimal time for percutaneous endoscopic gastrostomy insertion in patients with amyotrophic lateral sclerosis. △ Less

Submitted 6 December, 2024; originally announced December 2024.

Solving Diffusion and Wave Equations Meshlessly via Helmholtz Equations

Authors: Adam Johnson

Abstract: In this paper, using the approximate particular solutions of Helmholtz equations, we solve the boundary value problems of Helmholtz equations by combining the methods of fundamental solutions (MFS) with the methods of particular solutions (MPS). Then the initial boundary value problems of the time dependent diffusion and wave equations are discretized numerically into a sequence of Helmholtz equat… ▽ More In this paper, using the approximate particular solutions of Helmholtz equations, we solve the boundary value problems of Helmholtz equations by combining the methods of fundamental solutions (MFS) with the methods of particular solutions (MPS). Then the initial boundary value problems of the time dependent diffusion and wave equations are discretized numerically into a sequence of Helmholtz equations with the appropriate boundary value conditions, which is done by either using the Laplace transform or by using time difference methods. Then Helmholtz problems are solved consequently in an iterative manner, which leads to the solutions of diffusion or wave equations. Several numerical examples are presented to show the efficiency of the proposed methods. △ Less

Submitted 26 November, 2024; originally announced November 2024.

Path Integral Control for Hybrid Dynamical Systems

Authors: Hongzhe Yu, Diana Frias Franco, Aaron M. Johnson, Yongxin Chen

Abstract: This work introduces a novel paradigm for solving optimal control problems for hybrid dynamical systems under uncertainties. Robotic systems having contact with the environment can be modeled as hybrid systems. Controller design for hybrid systems under disturbances is complicated by the discontinuous jump dynamics, mode changes with inconsistent state dimensions, and variations in jumping timing… ▽ More This work introduces a novel paradigm for solving optimal control problems for hybrid dynamical systems under uncertainties. Robotic systems having contact with the environment can be modeled as hybrid systems. Controller design for hybrid systems under disturbances is complicated by the discontinuous jump dynamics, mode changes with inconsistent state dimensions, and variations in jumping timing and states caused by noise. We formulate this problem into a stochastic control problem with hybrid transition constraints and propose the Hybrid Path Integral (H-PI) framework to obtain the optimal controller. Despite random mode changes across stochastic path samples, we show that the ratio between hybrid path distributions with varying drift terms remains analogous to the smooth path distributions. We then show that the optimal controller can be obtained by evaluating a path integral with hybrid constraints. Importance sampling for path distributions with hybrid dynamics constraints is introduced to reduce the variance of the path integral evaluation, where we leverage the recently developed Hybrid iterative-Linear-Quadratic-Regulator (H-iLQR) controller to induce a hybrid path distribution proposal with low variance. The proposed method is validated through numerical experiments on various hybrid systems and extensive ablation studies. All the sampling processes are conducted in parallel on a Graphics Processing Unit (GPU). △ Less

Submitted 1 November, 2024; originally announced November 2024.

Comments: 14 pages

Modulational Stability of Wave Trains in the Camassa-Holm Equation

Authors: Mathew A. Johnson, Jeffrey Oregero

Abstract: In this paper, we study the nonlinear wave modulation of arbitrary amplitude periodic traveling wave solutions of the Camassa-Holm (CH) equation. Slow modulations of wave trains is often described through Whitham's theory of modulations, which at leading order models the slow evolution of the fundamental wave characteristics (such as the wave's frequency, mass and momentum) through a disperionless… ▽ More In this paper, we study the nonlinear wave modulation of arbitrary amplitude periodic traveling wave solutions of the Camassa-Holm (CH) equation. Slow modulations of wave trains is often described through Whitham's theory of modulations, which at leading order models the slow evolution of the fundamental wave characteristics (such as the wave's frequency, mass and momentum) through a disperionless system of quasi-linear partial differential equations. The modulational stability or instability of such a slowly modulated wave is considered to be determined by the hyperbolicity or ellipticity of this Whitham modulation system of equations. In work by Abenda \& Grava, the Whitham modulation system for the CH equation was derived through averaged Lagrangian methods and was further shown to always be hyperbolic (although strict hyperbolicity may fail). In this work, we provide an independent derivation of the Whitham modulation system for the CH equation through nonlinear WKB / multiple scales expansions. We further provide a rigorous connection between the Whitham modulation equations for the CH equation and the spectral stability of the underlying periodic wave train to localized (i.e. integrable on the line) perturbations. In particular, we prove that the strict hyperbolicity of the Whitham system implies spectral stability in a neighborhood of the origin in the spectral plane, i.e. spectral modulational stability. As an illustration of our theory, we examine the Whitham modulation system for wave trains with asymptotically small oscillations about their total mass. △ Less

Submitted 29 October, 2024; originally announced October 2024.

Comments: 35 pages, 2 figures

Optimal Covariance Steering of Linear Stochastic Systems with Hybrid Transitions

Authors: Hongzhe Yu, Diana Frias Franco, Aaron M. Johnson, Yongxin Chen

Abstract: This work addresses the problem of optimally steering the state covariance of a linear stochastic system from an initial to a target, subject to hybrid transitions. The nonlinear and discontinuous jump dynamics complicate the control design for hybrid systems. Under uncertainties, stochastic jump timing and state variations further intensify this challenge. This work aims to regulate the hybrid sy… ▽ More This work addresses the problem of optimally steering the state covariance of a linear stochastic system from an initial to a target, subject to hybrid transitions. The nonlinear and discontinuous jump dynamics complicate the control design for hybrid systems. Under uncertainties, stochastic jump timing and state variations further intensify this challenge. This work aims to regulate the hybrid system's state trajectory to stay close to a nominal deterministic one, despite uncertainties and noises. We address this problem by directly controlling state covariances around a mean trajectory, and this problem is termed the Hybrid Covariance Steering (H-CS) problem. The jump dynamics are approximated to the first order by leveraging the Saltation Matrix. When the jump dynamics are nonsingular, we derive an analytical closed-form solution to the H-CS problem. For general jump dynamics with possible singularity and changes in the state dimensions, we reformulate the problem into a convex optimization over path distributions by leveraging Schrodinger's Bridge duality to the smooth covariance control problem. The covariance propagation at hybrid events is enforced as equality constraints to handle singularity issues. The proposed convex framework scales linearly with the number of jump events, ensuring efficient, optimal solutions. This work thus provides a computationally efficient solution to the general H-CS problem. Numerical experiments are conducted to validate the proposed method. △ Less

Submitted 17 October, 2024; originally announced October 2024.

Comments: 14 pages

Modulational Instability of Small Amplitude Periodic Traveling Waves in the Novikov Equation

Authors: Brett Ehrman, Mathew A. Johnson, Stéphane Lafortune

Abstract: We study the spectral stability of smooth, small-amplitude periodic traveling wave solutions of the Novikov equation, which is a Camassa-Holm type equation with cubic nonlinearities. Specifically, we investigate the $L^2(\mathbb{R})$-spectrum of the associated linearized operator, which in this case is an integro-differential operator with periodic coefficients, in a neighborhood of the origin in… ▽ More We study the spectral stability of smooth, small-amplitude periodic traveling wave solutions of the Novikov equation, which is a Camassa-Holm type equation with cubic nonlinearities. Specifically, we investigate the $L^2(\mathbb{R})$-spectrum of the associated linearized operator, which in this case is an integro-differential operator with periodic coefficients, in a neighborhood of the origin in the spectral plane. Our analysis shows that such small-amplitude periodic solutions are spectrally unstable to long-wavelength perturbations if the wave number if greater than a critical value, bearing out the famous Benmajin-Feir instability for the Novikov equation. On the other hand, such waves with wave number less than the critical value are shown to be spectrally stable. Our methods are based on applying spectral perturbation theory to the associated linearization. △ Less

Submitted 20 September, 2024; originally announced September 2024.

Comments: 21 pages, 1 figure

MSC Class: 35Q51 35Q51 35Q51; 35B10; 35B35; 35Q35

On digital H-spaces

Authors: Wayne A. Johnson, Dae-Woong Lee, P. Christopher Staecker

Abstract: In this article, we investigate properties of digital H-spaces in the graph theoretic model of digital topology. As in prior work, the results obtained often depend fundamentally on the choice between NP$_1$ and NP$_2$ product adjacencies. We explore algebraic properties of digital H-spaces preserved under digital homotopy equivalence, and we give a general construction that produces examples of d… ▽ More In this article, we investigate properties of digital H-spaces in the graph theoretic model of digital topology. As in prior work, the results obtained often depend fundamentally on the choice between NP$_1$ and NP$_2$ product adjacencies. We explore algebraic properties of digital H-spaces preserved under digital homotopy equivalence, and we give a general construction that produces examples of digital H-spaces which are not homotopy-equivalent to digital topological groups in both categories. Further, we show that this construction essentially classifies all NP$_2$-digital H-spaces. In a short appendix, we resolve a question that was left unresolved in [17], and complete the full classification of digital topological groups. △ Less

Submitted 19 August, 2024; originally announced August 2024.

MSC Class: 68U03; 55P45; 22A05; 05C30

Orbital Stability of Smooth Solitary Waves for the Novikov Equation

Authors: Brett Ehrman, Mathew A. Johnson, Stéphane Lafortune

Abstract: We study the orbital stability of smooth solitary wave solutions of the Novikov equation, which is a Camassa-Holm type equation with cubic nonlinearities. These solitary waves are shown to exist as a one-parameter family (up to spatial translations) parameterized by their asymptotic endstate, and are encoded as critical points of a particular action functional. As an important step in our analysis… ▽ More We study the orbital stability of smooth solitary wave solutions of the Novikov equation, which is a Camassa-Holm type equation with cubic nonlinearities. These solitary waves are shown to exist as a one-parameter family (up to spatial translations) parameterized by their asymptotic endstate, and are encoded as critical points of a particular action functional. As an important step in our analysis we must study the spectrum the Hessian of this action functional, which turns out to be a nonlocal integro-differential operator acting on $L^2(\mathbb{R})$. We provide a combination of analytical and numerical evidence that the necessary spectral hypotheses always holds for the Novikov equation. Together with a detailed study of the associated Vakhitov-Kolokolov condition, our analysis indicates that all smooth solitary wave solutions of the Novikov equation are nonlinearly orbitally stable. △ Less

Submitted 15 March, 2024; originally announced March 2024.

Comments: 34 pages, 4 figures

Rigidity of Kantorovich solutions in discrete Optimal Transport

Authors: Alexander Bruce Johnson, Stefan Steinerberger

Abstract: We study optimal transport plans from $m$ equally weighted points (with weights $1/m$) to $n$ equally weighted points (with weights $1/n$). The Birkhoff-von Neumann Theorem implies that if $m=n$, then the optimal transport plan can be realized by a bijective map: the mass from each $x_i$ is sent to a unique $y_j$. This is impossible when $m \neq n$, however, a certain degree of rigidity prevails.… ▽ More We study optimal transport plans from $m$ equally weighted points (with weights $1/m$) to $n$ equally weighted points (with weights $1/n$). The Birkhoff-von Neumann Theorem implies that if $m=n$, then the optimal transport plan can be realized by a bijective map: the mass from each $x_i$ is sent to a unique $y_j$. This is impossible when $m \neq n$, however, a certain degree of rigidity prevails. We prove, assuming w.l.o.g. $m < n$, that for generic transport costs the optimal transport plan sends mass from each source $x_i$ to $n/m \leq \mbox{different targets} \leq n/m + m-1$. Moreover, the average target receives mass from $\leq 1 + m/\sqrt{n}$ sources. Stronger results might be true: in experiments, one observes that each source tends to distribute its mass over roughly $n/m +c$ different targets where $c$ appears to be rather small. △ Less

Submitted 6 December, 2023; v1 submitted 30 November, 2023; originally announced November 2023.

Comments: We discovered that the result is implied by a known fact (details on page 1). This manuscript is not submitted anywhere

An explicit formula for the Hilbert series of a partial flag variety

Authors: Wayne A. Johnson

Abstract: For a semisimple, simply-connected linear algebraic group, $G$, and parabolic subgroup, $P\subseteq G$, we use the fact that the Hilbert polynomial of the equivariant embedding of $G/P$ is equal to the Hilbert function to compute an explicit formula for the Hilbert series of $G/P$ in terms of the dimensions of finitely many irreducible representations of $G$. As an example, we compute the Hilbert… ▽ More For a semisimple, simply-connected linear algebraic group, $G$, and parabolic subgroup, $P\subseteq G$, we use the fact that the Hilbert polynomial of the equivariant embedding of $G/P$ is equal to the Hilbert function to compute an explicit formula for the Hilbert series of $G/P$ in terms of the dimensions of finitely many irreducible representations of $G$. As an example, we compute the Hilbert series of the adjoint variety of $SL(n+1,\mathbb{C})$. We conclude by computing the linear term of the numerator of the Hilbert series of any fundamental representation in type $A$. △ Less

Submitted 16 October, 2023; originally announced October 2023.

Orbital Stability of Periodic Traveling Waves in the $b$-Camassa-Holm Equation

Authors: Brett Ehrman, Mathew A. Johnson

Abstract: In this paper, we identify criteria that guarantees the nonlinear orbital stability of a given periodic traveling wave solution within the b-family Camassa-Holm equation. These periodic waves exist as 3-parameter families (up to spatial translations) of smooth traveling wave solutions, and their stability criteria are expressed in terms of Jacobians of the conserved quantities with respect to thes… ▽ More In this paper, we identify criteria that guarantees the nonlinear orbital stability of a given periodic traveling wave solution within the b-family Camassa-Holm equation. These periodic waves exist as 3-parameter families (up to spatial translations) of smooth traveling wave solutions, and their stability criteria are expressed in terms of Jacobians of the conserved quantities with respect to these parameters. The stability criteria utilizes a general Hamiltonian structure which exists for every $b>1$, and hence applies outside of the completely integrable cases ($b=2$ and $b=3$). △ Less

Submitted 19 February, 2024; v1 submitted 29 September, 2023; originally announced September 2023.

Comments: 26 pages, 1 figure. This update fixes some typos, and adds discussion regarding numerical calculations and verification of our stability conditions

Nonparametric estimation of a covariate-adjusted counterfactual treatment regimen response curve

Authors: Ashkan Ertefaie, Luke Duttweiler, Brent A. Johnson, Mark J. van der Laan

Abstract: Flexible estimation of the mean outcome under a treatment regimen (i.e., value function) is the key step toward personalized medicine. We define our target parameter as a conditional value function given a set of baseline covariates which we refer to as a stratum based value function. We focus on semiparametric class of decision rules and propose a sieve based nonparametric covariate adjusted regi… ▽ More Flexible estimation of the mean outcome under a treatment regimen (i.e., value function) is the key step toward personalized medicine. We define our target parameter as a conditional value function given a set of baseline covariates which we refer to as a stratum based value function. We focus on semiparametric class of decision rules and propose a sieve based nonparametric covariate adjusted regimen-response curve estimator within that class. Our work contributes in several ways. First, we propose an inverse probability weighted nonparametrically efficient estimator of the smoothed regimen-response curve function. We show that asymptotic linearity is achieved when the nuisance functions are undersmoothed sufficiently. Asymptotic and finite sample criteria for undersmoothing are proposed. Second, using Gaussian process theory, we propose simultaneous confidence intervals for the smoothed regimen-response curve function. Third, we provide consistency and convergence rate for the optimizer of the regimen-response curve estimator; this enables us to estimate an optimal semiparametric rule. The latter is important as the optimizer corresponds with the optimal dynamic treatment regimen. Some finite-sample properties are explored with simulations. △ Less

Submitted 27 September, 2023; originally announced September 2023.

Nonlinear Subharmonic Dynamics of Spectrally Stable Lugiato-Lefever Periodic Waves

Authors: Mariana Haragus, Mathew A. Johnson, Wesley R. Perkins, Björn de Rijk

Abstract: We study the nonlinear dynamics of perturbed, spectrally stable $T$-periodic stationary solutions of the Lugiato-Lefever equation (LLE), a damped nonlinear Schrödinger equation with forcing that arises in nonlinear optics. It is known that for each $N\in\mathbb{N}$, such a $T$-periodic wave train is (orbitally) asymptotically stable against $NT$-periodic, i.e. subharmonic, perturbations. Unfortuna… ▽ More We study the nonlinear dynamics of perturbed, spectrally stable $T$-periodic stationary solutions of the Lugiato-Lefever equation (LLE), a damped nonlinear Schrödinger equation with forcing that arises in nonlinear optics. It is known that for each $N\in\mathbb{N}$, such a $T$-periodic wave train is (orbitally) asymptotically stable against $NT$-periodic, i.e. subharmonic, perturbations. Unfortunately, in such results both the allowable size of initial perturbations as well as the exponential decay rates of perturbations depend on $N$ and, in fact, tend to zero as $N\to\infty$, leading to a lack of uniformity in the period of the perturbation. In recent work, the authors performed a delicate decomposition of the associated linearized solution operator and obtained linear estimates which are uniform in $N$. The dynamical description suggested by this uniform linear theory indicates that the corresponding nonlinear iteration can only be closed if one allows for a spatio-temporal phase modulation of the underlying wave. However, such a modulated perturbation is readily seen to satisfy a quasilinear equation, yielding an inherent loss of regularity. We regain regularity by transferring a nonlinear damping estimate, which has recently been obtained for the LLE in the case of localized perturbations to the case of subharmonic perturbations. Thus, we obtain a nonlinear, subharmonic stability result for periodic stationary solutions of the LLE that is uniform in $N$. This in turn yields an improved nonuniform subharmonic stability result providing an $N$-independent ball of initial perturbations which eventually exhibit exponential decay at an $N$-dependent rate. Finally, we argue that our results connect in the limit $N \to \infty$ to previously established stability results against localized perturbations, thereby unifying existing theories. △ Less

Submitted 23 July, 2024; v1 submitted 3 July, 2023; originally announced July 2023.

Comments: 31 pages. Minor update

Finite odometer factors of rank one $\mathbb{Z}^d$-actions

Authors: Aimee S. A. Johnson, David M. McClendon

Abstract: In this paper, we give explicit conditions characterizing the Følner rank one $\mathbb{Z}^d$-actions that factor onto a finite odometer; those that factor onto an arbitrary, but specified $\mathbb{Z}^d$-odometer, and those that factor onto an unspecified $\mathbb{Z}^d$-odometer. We also give explicit conditions describing the Følner rank one $\mathbb{Z}^d$-actions that are conjugate to a specific… ▽ More In this paper, we give explicit conditions characterizing the Følner rank one $\mathbb{Z}^d$-actions that factor onto a finite odometer; those that factor onto an arbitrary, but specified $\mathbb{Z}^d$-odometer, and those that factor onto an unspecified $\mathbb{Z}^d$-odometer. We also give explicit conditions describing the Følner rank one $\mathbb{Z}^d$-actions that are conjugate to a specific $\mathbb{Z}^d$-odometer, and those that are conjugate to some $\mathbb{Z}^d$-odometer. These conditions are based on cutting and stacking procedures used to generate the action, and generalize results given in \cite{FGHSW} for rank one $\mathbb{Z}$-actions. △ Less

Submitted 15 June, 2023; originally announced June 2023.

MSC Class: 37A15

Modulational Instability in the Ostrovsky Equation and Related Models

Authors: Bhavna, Mathew A. Johnson, Ashish Kumar Pandey

Abstract: We study the modulational instability of small-amplitude periodic traveling wave solutions in a dispersion generalized Ostrovsky equation. Specifically, we investigate the invertibility of the associated linearized operator in the vicinity of the origin and derive a modulational instability index that depends on the dispersion and nonlinearity. For the classical Ostrovsky equation, we recover the… ▽ More We study the modulational instability of small-amplitude periodic traveling wave solutions in a dispersion generalized Ostrovsky equation. Specifically, we investigate the invertibility of the associated linearized operator in the vicinity of the origin and derive a modulational instability index that depends on the dispersion and nonlinearity. For the classical Ostrovsky equation, we recover the well-known Lighthill condition for modulational instability of small-amplitude periodic traveling waves, and further provide a rigorous connection of the Lighthill condition to the spectral instability of the underlying wave. Our results and methodologies further apply to a wide-class of Ostrovsky type models that incorporate various dispersive effects. As such, we present new results illuminating the effects of rotation on various full-dispersion models arising in the study of weakly nonlinear surface water waves. △ Less

Submitted 23 September, 2024; v1 submitted 14 May, 2023; originally announced May 2023.

Comments: 29 pages, 11 figures. Correcting typos, adding comparison to Lighthill condition for modulational instability of small periodic waves

An Euler operator approach to Ehrhart series

Authors: Wayne A. Johnson

Abstract: We use the ordinary Euler operator to compute the Ehrhart series for an arbitrary lattice polytope. The resulting formula involves the coefficients of the Ehrhart polynomial, combined via Eulerian numbers. We use this to compute $h^*_{d-1}$ in terms of the coefficients of the Ehrhart polynomial, resulting in a new linear inequality satisfied by the coefficents of the Ehrhart polynomial. We use the ordinary Euler operator to compute the Ehrhart series for an arbitrary lattice polytope. The resulting formula involves the coefficients of the Ehrhart polynomial, combined via Eulerian numbers. We use this to compute $h^*_{d-1}$ in terms of the coefficients of the Ehrhart polynomial, resulting in a new linear inequality satisfied by the coefficents of the Ehrhart polynomial. △ Less

Submitted 29 March, 2023; originally announced March 2023.

Exponential Hilbert series and hierarchical log-linear models

Authors: Wayne A. Johnson

Abstract: Consider a hierarchical log-linear model, given by a simplicial complex, $Γ$, and integer matrix $A_Γ$. We give a new characterization of the rank of $A_Γ$ given by a logarithmic transformation on the exponential Hilbert series of $Γ$. We show that, if each random variable in $X$ has the same number of possible outcomes, then this formula reduces to a simple description in terms of the face vector… ▽ More Consider a hierarchical log-linear model, given by a simplicial complex, $Γ$, and integer matrix $A_Γ$. We give a new characterization of the rank of $A_Γ$ given by a logarithmic transformation on the exponential Hilbert series of $Γ$. We show that, if each random variable in $X$ has the same number of possible outcomes, then this formula reduces to a simple description in terms of the face vector of $Γ$. If $Γ$ further satisfies the Dehn-Sommerville relations, then we give an exceptionally simple formula for computing the rank of $A_Γ$, and thus the dimension and the number of degrees of freedom of the model. △ Less

Submitted 15 November, 2022; v1 submitted 7 November, 2022; originally announced November 2022.

Comments: Corrected typo in Corollary 2. Added comment on cyclic models

Characterization of Graphs With Failed Skew Zero Forcing Number of 1

Authors: Aidan Johnson, Andrew E. Vick, Darren A. Narayan

Abstract: Given a graph $G$, the zero forcing number of $G$, $Z(G)$, is the smallest cardinality of any set $S$ of vertices on which repeated applications of the forcing rule results in all vertices being in $S$. The forcing rule is: if a vertex $v$ is in $S$, and exactly one neighbor $u$ of $v$ is not in $S$, then $u$ is added to $S$ in the next iteration. Hence the failed zero forcing number of a graph wa… ▽ More Given a graph $G$, the zero forcing number of $G$, $Z(G)$, is the smallest cardinality of any set $S$ of vertices on which repeated applications of the forcing rule results in all vertices being in $S$. The forcing rule is: if a vertex $v$ is in $S$, and exactly one neighbor $u$ of $v$ is not in $S$, then $u$ is added to $S$ in the next iteration. Hence the failed zero forcing number of a graph was defined to be the size of the largest set of vertices which fails to force all vertices in the graph. A similar property called skew zero forcing was defined so that if there is exactly one neighbor $u$ of $v$ is not in $S$, then $u$ is added to $S$ in the next iteration. The difference is that vertices that are not in $S$ can force other vertices. This leads to the failed skew zero forcing number of a graph, which is denoted by $F^{-}(G)$. In this paper we provide a complete characterization of all graphs with $F^{-}(G)=1$. Fetcie, Jacob, and Saavedra showed that the only graphs with a failed zero forcing number of $1$ are either: the union of two isolated vertices; $P_3$; $K_3$; or $K_4$. In this paper we provide a surprising result: changing the forcing rule to a skew-forcing rule results in an infinite number of graphs with $F^{-}(G)=1$. △ Less

Submitted 19 September, 2022; originally announced September 2022.

Comments: 8 pages, this research was supported by the National Science Foundation Research forUndergraduates Award 1950189

New Self-similar Euler Flows: gradient catastrophe without shock formation

Authors: Helge Kristian Jenssen, Alexander Anthony Johnson

Abstract: We consider self-similar solutions to the full compressible Euler system for an ideal gas in two and three space dimensions. The system admits a 2-parameter family of similarity solutions depending on parameters $λ$ and $κ$. Requiring locally finite amounts of mass, momentum, and energy imply certain constraints on $λ$ and $κ$. Further constraints are imposed for particular types of flows. E.g.,… ▽ More We consider self-similar solutions to the full compressible Euler system for an ideal gas in two and three space dimensions. The system admits a 2-parameter family of similarity solutions depending on parameters $λ$ and $κ$. Requiring locally finite amounts of mass, momentum, and energy imply certain constraints on $λ$ and $κ$. Further constraints are imposed for particular types of flows. E.g., Guderley's pioneering construction of an unbounded converging shock wave invading a quiescent fluid, requires $κ=0$ and $λ>1$. In this work we analyze the regime $0<λ<1$, which does not appear to have been addressed previously. Our findings include: (i) non-existence of Guderley shock solutions; (ii) existence of bounded and continuous incoming similarity flows in 3-d provided $κ$ takes the value $\hatκ=\frac{2(1-λ)}{γ-1}$, $λ$ is sufficiently small, and $γ$ is sufficiently large; (iii) continuation of the latter flows beyond collapse as globally defined and continuous similarity solutions. A key feature of these solutions is that they, in contrast to Guderley solutions, remain bounded at time of collapse, while the density, velocity, and sound speed all suffer gradient blowup. It is noteworthy that, notwithstanding infinite gradients at collapse, no shock wave appears. The analysis is based on a combination of analytical and numerical calculations. △ Less

Submitted 31 May, 2022; originally announced May 2022.

Comments: 29 pages, 7 figures

MSC Class: 35L45; 35L67; 76N10; 35Q31

Graphs with prescribed radius, diameter, and center

Authors: Kelly Guest, Andrew Johnson, Peter Johnson, William Jones, Yuki Takahashi, Zhichun Joy Zhang

Abstract: Among other things, it is shown that for every pair of positive integers $r$, $d$, satisfying $1<r<d\leq 2r$, and every finite simple graph $H,$ there is a connected graph $G$ with diameter $d$, radius $r$, and center $H.$ Among other things, it is shown that for every pair of positive integers $r$, $d$, satisfying $1<r<d\leq 2r$, and every finite simple graph $H,$ there is a connected graph $G$ with diameter $d$, radius $r$, and center $H.$ △ Less

Submitted 31 October, 2021; originally announced November 2021.

Journal ref: Graphs with prescribed radius, diameter, and center, International Journal of Mathematics and Computer Science, 16(2021), No. 4

Sparse Plus Low Rank Matrix Decomposition: A Discrete Optimization Approach

Authors: Dimitris Bertsimas, Ryan Cory-Wright, Nicholas A. G. Johnson

Abstract: We study the Sparse Plus Low-Rank decomposition problem (SLR), which is the problem of decomposing a corrupted data matrix into a sparse matrix of perturbations plus a low-rank matrix containing the ground truth. SLR is a fundamental problem in Operations Research and Machine Learning which arises in various applications, including data compression, latent semantic indexing, collaborative filterin… ▽ More We study the Sparse Plus Low-Rank decomposition problem (SLR), which is the problem of decomposing a corrupted data matrix into a sparse matrix of perturbations plus a low-rank matrix containing the ground truth. SLR is a fundamental problem in Operations Research and Machine Learning which arises in various applications, including data compression, latent semantic indexing, collaborative filtering, and medical imaging. We introduce a novel formulation for SLR that directly models its underlying discreteness. For this formulation, we develop an alternating minimization heuristic that computes high-quality solutions and a novel semidefinite relaxation that provides meaningful bounds for the solutions returned by our heuristic. We also develop a custom branch-and-bound algorithm that leverages our heuristic and convex relaxations to solve small instances of SLR to certifiable (near) optimality. Given an input $n$-by-$n$ matrix, our heuristic scales to solve instances where $n=10000$ in minutes, our relaxation scales to instances where $n=200$ in hours, and our branch-and-bound algorithm scales to instances where $n=25$ in minutes. Our numerical results demonstrate that our approach outperforms existing state-of-the-art approaches in terms of rank, sparsity, and mean-square error while maintaining a comparable runtime. △ Less

Submitted 1 October, 2023; v1 submitted 26 September, 2021; originally announced September 2021.

Journal ref: Journal of Machine Learning Research, 24(267), 1-51 (2023)

Subharmonic Dynamics of Wave Trains in the Korteweg-de Vries / Kuramoto-Sivashinsky Equation

Authors: Mathew A. Johnson, Wesley R. Perkins

Abstract: We study the stability and nonlinear local dynamics of spectrally stable periodic wave trains of the Korteweg-de Vries / Kuramoto-Sivashinsky equation when subjected to classes of periodic perturbations. It is known that for each $N\in\mathbb{N}$, such a $T$-periodic wave train is asymptotically stable to $NT$-periodic, i.e., subharmonic, perturbations, in the sense that initially nearby data will… ▽ More We study the stability and nonlinear local dynamics of spectrally stable periodic wave trains of the Korteweg-de Vries / Kuramoto-Sivashinsky equation when subjected to classes of periodic perturbations. It is known that for each $N\in\mathbb{N}$, such a $T$-periodic wave train is asymptotically stable to $NT$-periodic, i.e., subharmonic, perturbations, in the sense that initially nearby data will converge asymptotically to a small Galilean boost of the underlying wave, with exponential rates of decay. However, both the allowable size of initial perturbations and the exponential rates of decay depend on $N$ and, in fact, tend to zero as $N\to\infty$, leading to a lack of uniformity in such subharmonic stability results. Our goal here is to build upon a recent methodology introduced by the authors in the reaction-diffusion setting and achieve a subharmonic stability result which is uniform in $N$. This work is motivated by the dynamics of such wave trains when subjected to perturbations which are localized (i.e., integrable on the line). △ Less

Submitted 17 September, 2021; originally announced September 2021.

Comments: 26 pages, 1 figure

Code-Verification Techniques for the Method-of-Moments Implementation of the Electric-Field Integral Equation

Authors: Brian A. Freno, Neil R. Matula, Justin I. Owen, William A. Johnson

Abstract: The method-of-moments implementation of the electric-field integral equation yields many code-verification challenges due to the various sources of numerical error and their possible interactions. Matters are further complicated by singular integrals, which arise from the presence of a Green's function. In this paper, we provide approaches to separately assess the numerical errors arising from the… ▽ More The method-of-moments implementation of the electric-field integral equation yields many code-verification challenges due to the various sources of numerical error and their possible interactions. Matters are further complicated by singular integrals, which arise from the presence of a Green's function. In this paper, we provide approaches to separately assess the numerical errors arising from the use of basis functions to approximate the solution and the use of quadrature to approximate the integration. Through these approaches, we are able to verify the code and compare the error from different quadrature options. △ Less

Submitted 15 December, 2021; v1 submitted 24 June, 2021; originally announced June 2021.

Comments: arXiv admin note: text overlap with arXiv:2012.08681

Journal ref: Journal of Computational Physics, 451 (2022)

Nonlinear Modulational Dynamics of Spectrally Stable Lugiato-Lefever Periodic Waves

Authors: Mariana Haragus, Mathew A. Johnson, Wesley R. Perkins, Björn de Rijk

Abstract: We consider the nonlinear stability of spectrally stable periodic waves in the Lugiato-Lefever equation (LLE), a damped nonlinear Schrödinger equation with forcing that arises in nonlinear optics. So far, nonlinear stability of such solutions has only been established against co-periodic perturbations by exploiting the existence of a spectral gap. In this paper, we consider perturbations which are… ▽ More We consider the nonlinear stability of spectrally stable periodic waves in the Lugiato-Lefever equation (LLE), a damped nonlinear Schrödinger equation with forcing that arises in nonlinear optics. So far, nonlinear stability of such solutions has only been established against co-periodic perturbations by exploiting the existence of a spectral gap. In this paper, we consider perturbations which are localized, i.e., integrable on the line. Such localized perturbations naturally yield the absence of a spectral gap, so we must rely on a substantially different method with origins in the stability analysis of periodic waves in reaction-diffusion systems. The relevant linear estimates have been obtained in recent work by the first three authors through a delicate decomposition of the associated linearized solution operator. Since its most critical part just decays diffusively, the nonlinear iteration can only be closed if one allows for a spatio-temporal phase modulation. However, the modulated perturbation satisfies a quasilinear equation yielding an apparent loss of regularity. To overcome this obstacle, we incorporate tame estimates on the unmodulated perturbation, which satisfies a semilinear equation in which no derivatives are lost, yet where decay is too slow to close an independent iteration scheme. We obtain nonlinear stability of periodic steady waves in the LLE against localized perturbations with precisely the same decay rates as predicted by the linear theory. △ Less

Submitted 10 February, 2022; v1 submitted 3 June, 2021; originally announced June 2021.

Comments: 32 pages, updated exposition

Solitary waves in a Whitham equation with small surface tension

Authors: Mathew A. Johnson, Tien Truong, Miles H. Wheeler

Abstract: Using a nonlocal version of the center manifold theorem and a normal form reduction, we prove the existence of small-amplitude generalized solitary-wave solutions and modulated solitary-wave solutions to the steady gravity-capillary Whitham equation with weak surface tension. Through the application of the center manifold theorem, the nonlocal equation for the solitary wave profiles is reduced to… ▽ More Using a nonlocal version of the center manifold theorem and a normal form reduction, we prove the existence of small-amplitude generalized solitary-wave solutions and modulated solitary-wave solutions to the steady gravity-capillary Whitham equation with weak surface tension. Through the application of the center manifold theorem, the nonlocal equation for the solitary wave profiles is reduced to a four-dimensional system of ODEs inheriting reversibility. Along particular parameter curves, relating directly to the classical gravity-capillary water wave problem, the associated linear operator is seen to undergo either a reversible $0^{2+}(i k_0)$ bifurcation or a reversible $(i s)^2$ bifurcation. Through a normal form transformation, the reduced system of ODEs along each relevant parameter curve is seen to be well approximated by a truncated system retaining only second-order or third-order terms. These truncated systems relate directly to systems obtained in the study of the full gravity-capillary water wave equation and, as such, the existence of generalized and modulated solitary waves for the truncated systems is guaranteed by classical works, and they are readily seen to persist as solutions of the gravity-capillary Whitham equation due to reversibility. Consequently, this work illuminates further connections between the gravity-capillary Whitham equation and the full two-dimensional gravity-capillary water wave problem. △ Less

Submitted 23 September, 2021; v1 submitted 3 March, 2021; originally announced March 2021.

Comments: 35 pages, 4 figures. Some mathematical typos fixed

Topological speedups of $\mathbb{Z}^d$-actions

Authors: Aimee S. A. Johnson, David M. McClendon

Abstract: We study minimal $\mathbb{Z}^d$-Cantor systems and the relationship between their speedups, their collections of invariant Borel measures, their associated unital dimension groups, and their orbit equivalence classes. In the particular case of minimal $\mathbb{Z}^d$-odometers, we show that their bounded speedups must again be odometers but, contrary to the 1-dimensional case, they need not be conj… ▽ More We study minimal $\mathbb{Z}^d$-Cantor systems and the relationship between their speedups, their collections of invariant Borel measures, their associated unital dimension groups, and their orbit equivalence classes. In the particular case of minimal $\mathbb{Z}^d$-odometers, we show that their bounded speedups must again be odometers but, contrary to the 1-dimensional case, they need not be conjugate, or even isomorphic, to the original. △ Less

Submitted 2 March, 2021; originally announced March 2021.

Comments: 37 pages

MSC Class: 37B05

Manufactured Solutions for the Method-of-Moments Implementation of the Electric-Field Integral Equation

Authors: Brian A. Freno, Neil R. Matula, William A. Johnson

Abstract: Though the method-of-moments implementation of the electric-field integral equation plays an important role in computational electromagnetics, it provides many code-verification challenges due to the different sources of numerical error. In this paper, we provide an approach through which we can apply the method of manufactured solutions to isolate and verify the solution-discretization error. We… ▽ More Though the method-of-moments implementation of the electric-field integral equation plays an important role in computational electromagnetics, it provides many code-verification challenges due to the different sources of numerical error. In this paper, we provide an approach through which we can apply the method of manufactured solutions to isolate and verify the solution-discretization error. We accomplish this by manufacturing both the surface current and the Green's function. Because the arising equations are poorly conditioned, we reformulate them as a set of constraints for an optimization problem that selects the solution closest to the manufactured solution. We demonstrate the effectiveness of this approach for cases with and without coding errors. △ Less

Submitted 14 July, 2021; v1 submitted 15 December, 2020; originally announced December 2020.

Journal ref: Journal of Computational Physics, 443 (2021)

Subharmonic Dynamics of Wave Trains in Reaction Diffusion Systems

Authors: Mathew A. Johnson, Wesley R. Perkins

Abstract: We investigate the stability and nonlinear local dynamics of spectrally stable wave trains in reaction-diffusion systems. For each $N\in\mathbb{N}$, such $T$-periodic traveling waves are easily seen to be nonlinearly asymptotically stable (with asymptotic phase) with exponential rates of decay when subject to $NT$-periodic, i.e., subharmonic, perturbations. However, both the allowable size of pert… ▽ More We investigate the stability and nonlinear local dynamics of spectrally stable wave trains in reaction-diffusion systems. For each $N\in\mathbb{N}$, such $T$-periodic traveling waves are easily seen to be nonlinearly asymptotically stable (with asymptotic phase) with exponential rates of decay when subject to $NT$-periodic, i.e., subharmonic, perturbations. However, both the allowable size of perturbations and the exponential rates of decay depend on $N$, and, in particular, they tend to zero as $N\to\infty$, leading to a lack of uniformity in such subharmonic stability results. In this work, we build on recent work by the authors and introduce a methodology that allows us to achieve a stability result for subharmonic perturbations which is uniform in $N$. Our work is motivated by the dynamics of such waves when subject to perturbations which are localized (i.e. integrable on the line), which has recently received considerable attention by many authors. △ Less

Submitted 11 March, 2021; v1 submitted 25 September, 2020; originally announced September 2020.

Comments: 24 pages. Updated exposition and incorporated referee comments

The complexity threshold for the emergence of Kakutani inequivalence

Authors: Van Cyr, Aimee Johnson, Bryna Kra, Ayse Sahin

Abstract: We show that linear complexity is the threshold for the emergence of Kakutani inequivalence for measurable systems supported on a minimal subshift. In particular, we show that there are minimal subshifts of arbitrarily low super-linear complexity that admit both loosely Bernoulli and non-loosely Bernoulli ergodic measures and that no minimal subshift with linear complexity can admit inequivalent m… ▽ More We show that linear complexity is the threshold for the emergence of Kakutani inequivalence for measurable systems supported on a minimal subshift. In particular, we show that there are minimal subshifts of arbitrarily low super-linear complexity that admit both loosely Bernoulli and non-loosely Bernoulli ergodic measures and that no minimal subshift with linear complexity can admit inequivalent measures. △ Less

Submitted 17 July, 2020; originally announced July 2020.

MSC Class: 37B10; 68R15

Linear Modulational and Subharmonic Dynamics of Spectrally Stable Lugiato-Lefever Periodic Waves

Authors: Mariana Haragus, Mathew A. Johnson, Wesley R. Perkins

Abstract: We study the linear dynamics of spectrally stable $T$-periodic stationary solutions of the Lugiato-Lefever equation (LLE), a damped nonlinear Schrödinger equation with forcing that arises in nonlinear optics. Such $T$-periodic solutions are nonlinearly stable to $NT$-periodic, i.e. subharmonic, perturbations for each $N\in\mathbb{N}$ with exponential decay rates of perturbations of the form… ▽ More We study the linear dynamics of spectrally stable $T$-periodic stationary solutions of the Lugiato-Lefever equation (LLE), a damped nonlinear Schrödinger equation with forcing that arises in nonlinear optics. Such $T$-periodic solutions are nonlinearly stable to $NT$-periodic, i.e. subharmonic, perturbations for each $N\in\mathbb{N}$ with exponential decay rates of perturbations of the form $e^{-δ_N t}$. However, both the exponential rates of decay $δ_N$ and the allowable size of the initial perturbations tend to $0$ as $N\to\infty$, so that this result is non-uniform in $N$ and, in fact, empty in the limit $N=\infty$. The primary goal of this paper is to introduce a methodology, in the context of the LLE, by which a uniform stability result for subharmonic perturbations may be achieved, at least at the linear level. The obtained uniform decay rates are shown to agree precisely with the polynomial decay rates of localized, i.e. integrable on the real line, perturbations of such spectrally stable periodic solutions of the LLE. This work both unifies and expands on several existing works in the literature concerning the stability and dynamics of such waves, and sets forth a general methodology for studying such problems in other contexts. △ Less

Submitted 14 January, 2021; v1 submitted 7 July, 2020; originally announced July 2020.

Comments: 36 pages, 2 figures. Minor typos fixed, some exposition updated

Explicit uniform bounds for Brauer groups of singular K3 surfaces

Authors: Francesca Balestrieri, Alexis Johnson, Rachel Newton

Abstract: Let $k$ be a number field. We give an explicit bound, depending only on $[k:\mathbf{Q}]$ and the discriminant of the Néron--Severi lattice, on the size of the Brauer group of a K3 surface $X/k$ that is geometrically isomorphic to the Kummer surface attached to a product of isogenous CM elliptic curves. As an application, we show that the Brauer--Manin set for such a variety is effectively computab… ▽ More Let $k$ be a number field. We give an explicit bound, depending only on $[k:\mathbf{Q}]$ and the discriminant of the Néron--Severi lattice, on the size of the Brauer group of a K3 surface $X/k$ that is geometrically isomorphic to the Kummer surface attached to a product of isogenous CM elliptic curves. As an application, we show that the Brauer--Manin set for such a variety is effectively computable. Conditional on GRH, we can also make the explicit bound depend only on $[k:\mathbf{Q}]$ and remove the condition that the elliptic curves be isogenous. In addition, we show how to obtain a bound, depending only on $[k:\mathbf{Q}]$, on the number of $\mathbf{C}$-isomorphism classes of singular K3 surfaces defined over $k$, thus proving an effective version of the strong Shafarevich conjecture for singular K3 surfaces. △ Less

Submitted 5 August, 2022; v1 submitted 26 June, 2020; originally announced June 2020.

Comments: Minor changes. Final version, to appear in Annales de l'Institut Fourier. 34 pages. Comments welcome!

MSC Class: 14F22 (Primary) 14J28; 14G05 (Secondary)

Least Squares Estimation of a Quasiconvex Regression Function

Authors: Somabha Mukherjee, Rohit K. Patra, Andrew L. Johnson, Hiroshi Morita

Abstract: We develop a new approach for the estimation of a multivariate function based on the economic axioms of quasiconvexity (and monotonicity). On the computational side, we prove the existence of the quasiconvex constrained least squares estimator (LSE) and provide a characterization of the function space to compute the LSE via a mixed integer quadratic programme. On the theoretical side, we provide f… ▽ More We develop a new approach for the estimation of a multivariate function based on the economic axioms of quasiconvexity (and monotonicity). On the computational side, we prove the existence of the quasiconvex constrained least squares estimator (LSE) and provide a characterization of the function space to compute the LSE via a mixed integer quadratic programme. On the theoretical side, we provide finite sample risk bounds for the LSE via a sharp oracle inequality. Our results allow for errors to depend on the covariates and to have only two finite moments. We illustrate the superior performance of the LSE against some competing estimators via simulation. Finally, we use the LSE to estimate the production function for the Japanese plywood industry and the cost function for hospitals across the US. △ Less

Submitted 22 October, 2023; v1 submitted 9 March, 2020; originally announced March 2020.

Comments: SM and RKP contributed equally to this work. RKP is the senior statistics author and a bulk of the work was done when SM was a PhD student at the University of Pennsylvania

Characterization and Integration of the Singular Test Integrals in the Method-of-Moments Implementation of the Electric-Field Integral Equation

Authors: Brian A. Freno, William A. Johnson, Brian F. Zinser, Donald R. Wilton, Francesca Vipiana, Salvatore Campione

Abstract: In this paper, we characterize the logarithmic singularities arising in the method of moments from the Green's function in integrals over the test domain, and we use two approaches for designing geometrically symmetric quadrature rules to integrate these singular integrands. These rules exhibit better convergence properties than quadrature rules for polynomials and, in general, lead to better accu… ▽ More In this paper, we characterize the logarithmic singularities arising in the method of moments from the Green's function in integrals over the test domain, and we use two approaches for designing geometrically symmetric quadrature rules to integrate these singular integrands. These rules exhibit better convergence properties than quadrature rules for polynomials and, in general, lead to better accuracy with a lower number of quadrature points. We demonstrate their effectiveness for several examples encountered in both the scalar and vector potentials of the electric-field integral equation (singular, near-singular, and far interactions) as compared to the commonly employed polynomial scheme and the double Ma--Rokhlin--Wandzura (DMRW) rules, whose sample points are located asymmetrically within triangles. △ Less

Submitted 29 December, 2020; v1 submitted 5 November, 2019; originally announced November 2019.

Journal ref: Engineering Analysis with Boundary Elements, 124 (2021) 185--193

Stability of Traveling wave solutions of Nonlinear Dispersive equations of NLS type

Authors: Katelyn Plaisier Leisman, Jared C Bronski, Mathew A Johnson, Robert Marangell

Abstract: In this paper we present a rigorous modulational stability theory for periodic traveling wave solutions to equations of nonlinear Schrödinger (NLS) type. We first argue that, for Hamiltonian dispersive equations with a non-singular symplectic form and $d$ conserved quantities (in addition to the Hamiltonian), one expects that generically ${\mathcal L}$, the linearization around a periodic travelin… ▽ More In this paper we present a rigorous modulational stability theory for periodic traveling wave solutions to equations of nonlinear Schrödinger (NLS) type. We first argue that, for Hamiltonian dispersive equations with a non-singular symplectic form and $d$ conserved quantities (in addition to the Hamiltonian), one expects that generically ${\mathcal L}$, the linearization around a periodic traveling wave, will have a $2d$ dimensional generalized kernel, with a particular Jordan structure: The kernel of ${\mathcal L}$ is expected to be $d$ dimensional, the first generalized kernel is expected to be $d$ dimensional, and there are expected to be no higher generalized kernels. The breakup of this $2d$ dimensional kernel under perturbations arising from a change in boundary conditions dictates the modulational stability or instability of the underlying periodic traveling wave. This general picture is worked out in detail for the case of equations of NLS type. We give explicit genericity conditions that guarantee that the Jordan form is the generic one: these take the form of non-vanishing determinants of certain matrices whose entries can be expressed in terms of a finite number of moments of the traveling wave solution. Assuming that these genericity conditions are met we give a normal form for the small eigenvalues that result from the break-up of the generalized kernel, in the form of the eigenvalues of a quadratic matrix pencil. We compare these results to direct numerical simulation in a number of cases of interest: the cubic and quintic NLS equations, for focusing and defocusing nonlinearities, subject to both longitudinal and transverse perturbations. The longitudinal stability of traveling waves of the cubic NLS has been previously studied using the integrability: in this case our results agree with those in the literature. All of the remaining cases appear to be new. △ Less

Submitted 5 November, 2019; v1 submitted 11 October, 2019; originally announced October 2019.

Comments: 59 pages, 25 subfigures of 10 figures

MSC Class: 37K45 (Primary) 35B35; 35B10; 37K05 (Secondary)

Symmetric Triangle Quadrature Rules for Arbitrary Functions

Authors: Brian A. Freno, William A. Johnson, Brian F. Zinser, Salvatore Campione

Abstract: Despite extensive research on symmetric polynomial quadrature rules for triangles, as well as approaches to their calculation, few studies have focused on non-polynomial functions, particularly on their integration using symmetric triangle rules. In this paper, we present two approaches to computing symmetric triangle rules for singular integrands by developing rules that can integrate arbitrary f… ▽ More Despite extensive research on symmetric polynomial quadrature rules for triangles, as well as approaches to their calculation, few studies have focused on non-polynomial functions, particularly on their integration using symmetric triangle rules. In this paper, we present two approaches to computing symmetric triangle rules for singular integrands by developing rules that can integrate arbitrary functions. The first approach is well suited for a moderate amount of points and retains much of the efficiency of polynomial quadrature rules. The second approach better addresses large amounts of points, though it is less efficient than the first approach. We demonstrate the effectiveness of both approaches on singular integrands, which can often yield relative errors two orders of magnitude less than those from polynomial quadrature rules. △ Less

Submitted 9 January, 2020; v1 submitted 3 September, 2019; originally announced September 2019.

Journal ref: Computers & Mathematics with Applications, 79 (2020) 2885--2896

Modulational Instability of Viscous Fluid Conduit Periodic Waves

Authors: Mathew A. Johnson, Wesley R. Perkins

Abstract: In this paper, we are interested in studying the modulational dynamics of interfacial waves rising buoyantly along a conduit of a viscous liquid. Formally, the behavior of modulated periodic waves on large space and time scales may be described through the use of Whitham modulation theory. The application of Whitham theory, however, is based on formal asymptotic (WKB) methods, thus removing a laye… ▽ More In this paper, we are interested in studying the modulational dynamics of interfacial waves rising buoyantly along a conduit of a viscous liquid. Formally, the behavior of modulated periodic waves on large space and time scales may be described through the use of Whitham modulation theory. The application of Whitham theory, however, is based on formal asymptotic (WKB) methods, thus removing a layer of rigor that would otherwise support their predictions. In this study, we aim at rigorously verifying the predictions of the Whitham theory, as it pertains to the modulational stability of periodic waves, in the context of the so-called conduit equation, a nonlinear dispersive PDE governing the evolution of the circular interface separating a light, viscous fluid rising buoyantly through a heavy, more viscous, miscible fluid at small Reynolds numbers. In particular, using rigorous spectral perturbation theory, we connect the predictions of Whitham theory to the rigorous spectral (in particular, modulational) stability of the underlying wave trains. This makes rigorous recent formal results on the conduit equation obtained by Maiden and Hoefer. △ Less

Submitted 4 November, 2019; v1 submitted 11 April, 2019; originally announced April 2019.

Comments: 31 pages, 2 figures. Minor typos corrected

On the bifurcation diagram of the capillary-gravity Whitham equation

Authors: Mats Ehrnström, Mathew A. Johnson, Ola I. H. Maehlen, Filippo Remonato

Abstract: We study the bifurcation of periodic travelling waves of the capillary-gravity Whitham equation. This is a nonlinear pseudo-differential equation that combines the canonical shallow water nonlinearity with the exact (unidirectional) dispersion for finite-depth capillary-gravity waves. Starting from the line of zero solutions, we give a complete description of all small periodic solutions, unimodal… ▽ More We study the bifurcation of periodic travelling waves of the capillary-gravity Whitham equation. This is a nonlinear pseudo-differential equation that combines the canonical shallow water nonlinearity with the exact (unidirectional) dispersion for finite-depth capillary-gravity waves. Starting from the line of zero solutions, we give a complete description of all small periodic solutions, unimodal as well bimodal, using simple and double bifurcation via Lyapunov--Schmidt reductions. Included in this study is the resonant case when one wavenumber divides another. Some bifurcation formulas are studied, enabling us, in almost all cases, to continue the unimodal bifurcation curves into global curves. By characterizing the range of the surface tension parameter for which the integral kernel corresponding to the linear dispersion operator is completely monotone (and therefore positive and convex; the threshold value for this to happen turns out to be \(T = \frac{4}{π^2}\), not the critical Bond number \(\frac{1}{3}\)), we are able to say something about the nodal properties of solutions, even in the presence of surface tension. Finally, we present a few general results for the equation and discuss, in detail, the complete bifurcation diagram as far as it is known from analytical and numerical evidence. Interestingly, we find, analytically, secondary bifurcation curves connecting different branches of solutions; and, numerically, that all supercritical waves preserve their basic nodal structure, converging asymptotically in \(L^2(\SM)\) (but not in \(L^\infty\)) towards one of the two constant solution curves. △ Less

Submitted 11 January, 2019; originally announced January 2019.

MSC Class: 35Q35; 37K50; 76N10

Autostackability of Thompson's group $F$

Authors: Nathan Corwin, Gili Golan, Susan Hermiller, Ashley Johnson, Zoran Sunic

Abstract: The word problem for Thompson's group $F$ has a solution, but it remains unknown whether $F$ is automatic or has a finite or regular convergent (terminating and confluent) rewriting system. We show that the group $F$ admits a natural extension of these two properties, namely autostackability, and we give an explicit bounded regular convergent prefix-rewriting system for $F$. The word problem for Thompson's group $F$ has a solution, but it remains unknown whether $F$ is automatic or has a finite or regular convergent (terminating and confluent) rewriting system. We show that the group $F$ admits a natural extension of these two properties, namely autostackability, and we give an explicit bounded regular convergent prefix-rewriting system for $F$. △ Less

Submitted 28 November, 2018; originally announced November 2018.

Comments: 21 pages

MSC Class: 20F10; 20F65; 68Q42

On the Dynamics of Traveling Fronts Arising in Nanoscale Pattern Formation

Authors: Mathew A. Johnson, Gregory D. Lyng, Connor Smith

Abstract: We study the stability and dynamics of traveling-front solutions of a modified Kuramoto--Sivashinsky equation arising in the modeling of nanoscale ripple patterns that form when a nominally flat solid surface is bombarded with a broad ion beam at an oblique angle of incidence. Structurally, the linearized operators associated with these fronts have unstable essential spectrum---corresponding to in… ▽ More We study the stability and dynamics of traveling-front solutions of a modified Kuramoto--Sivashinsky equation arising in the modeling of nanoscale ripple patterns that form when a nominally flat solid surface is bombarded with a broad ion beam at an oblique angle of incidence. Structurally, the linearized operators associated with these fronts have unstable essential spectrum---corresponding to instability of the spatially asymptotic states---and stable point spectrum---corresponding to stability of the transition profile of the front. We show that these waves are linearly orbitally asymptotically stable in appropriate exponentially weighted spaces. While the technical device of exponential weights allows us to accommodate the unstable essential spectrum of individual waves in our linear analysis, it does not shed light on the long-time pattern formation that is observed experimentally and in numerical simulations. To begin to address this issue, we consider a periodic array of unstable front and back solutions. While not an exact solution of the governing equation, this periodic pattern mimics experimentally observed phenomena. Our numerical experiments suggest that the convecting instabilities associated with each individual wave are damped as they pass through transition layers and that this stabilization mechanism underlies the pattern formation seen in experiments. △ Less

Submitted 2 July, 2019; v1 submitted 4 October, 2018; originally announced October 2018.

Comments: 31 pages, 14 Figures. Minor update in exposition

Generalized Solitary Waves in the Gravity-Capillary Whitham Equation

Authors: Mathew A. Johnson, J. Douglas Wright

Abstract: We study the existence of traveling wave solutions to a unidirectional shallow water model which incorporates the full linear dispersion relation for both gravitational and capillary restoring forces. Using functional analytic techniques, we show that for small surface tension (corresponding to Bond numbers between $0$ and ${1}/{3}$) there exists small amplitude solitary waves that decay to asympt… ▽ More We study the existence of traveling wave solutions to a unidirectional shallow water model which incorporates the full linear dispersion relation for both gravitational and capillary restoring forces. Using functional analytic techniques, we show that for small surface tension (corresponding to Bond numbers between $0$ and ${1}/{3}$) there exists small amplitude solitary waves that decay to asymptotically small periodic waves at spatial infinity. The size of the oscillations in the far field are shown to be small beyond all algebraic orders in the amplitude of the wave. We also present numerical evidence, based on the recent analytical work of Hur \& Johnson, that the asymptotic end states are modulationally stable for all Bond numbers between $0$ and $1/3$. △ Less

Submitted 30 July, 2018; originally announced July 2018.

MSC Class: 76B45

The $e$-vector of a simplicial complex

Authors: Wayne A. Johnson, Wiktor J. Mogilski

Abstract: We study the exponential Hilbert series (both coarsely- and finely-graded) of the Stanley-Reisner ring of an abstract simplicial complex, $Δ$, and we introduce the $e$-vector of $Δ$, which relates to the coefficients of the exponential Hilbert series. We explore the relationship of the $e$-vector with the classical $f$-vector and $h$-vector of $Δ$ while simultaneously investigating the geometric i… ▽ More We study the exponential Hilbert series (both coarsely- and finely-graded) of the Stanley-Reisner ring of an abstract simplicial complex, $Δ$, and we introduce the $e$-vector of $Δ$, which relates to the coefficients of the exponential Hilbert series. We explore the relationship of the $e$-vector with the classical $f$-vector and $h$-vector of $Δ$ while simultaneously investigating the geometric information that the $e$-vector encodes about $Δ$. We then prove a simple combinatorial identity for the $e$-vector in the case where $Δ$ is an Eulerian manifold. △ Less

Submitted 15 August, 2024; v1 submitted 13 June, 2018; originally announced June 2018.

Comments: Along with substantial updates, the new version merges the previous version with arXiv:2211.03765

MSC Class: 05E45

Exponential Hilbert series of equivariant embeddings

Authors: Wayne A. Johnson

Abstract: In this article, we study properties of the exponential Hilbert series of a $G$-equivariant projective variety, where $G$ is a semisimple, simply-connected complex linear algebraic group. We prove a relationship between the exponential Hilbert series and the degree and dimension of the variety. We then prove a combinatorial identity for the coefficients of the polynomial representing the exponenti… ▽ More In this article, we study properties of the exponential Hilbert series of a $G$-equivariant projective variety, where $G$ is a semisimple, simply-connected complex linear algebraic group. We prove a relationship between the exponential Hilbert series and the degree and dimension of the variety. We then prove a combinatorial identity for the coefficients of the polynomial representing the exponential Hilbert series. This formula is used in examples to prove further combinatorial identities involving Stirling numbers of the first and second kinds. △ Less

Submitted 13 April, 2018; originally announced April 2018.

Comments: 10 pages

MSC Class: 20G05; 17B10

Spectral Stability of Inviscid Roll Waves

Authors: Mathew A. Johnson, Pascal Noble, L. Miguel Rodrigues, Zhao Yang, Kevin Zumbrun

Abstract: We carry out a systematic analytical and numerical study of spectral stability of discontinuous roll wave solutions of the inviscid Saint Venant equations, based on a periodic Evans-Lopatinski determinant analogous to the periodic Evans function of Gardner in the (smooth) viscous case, obtaining a complete spectral stability diagram useful in hydraulic engineering and related applications. In part… ▽ More We carry out a systematic analytical and numerical study of spectral stability of discontinuous roll wave solutions of the inviscid Saint Venant equations, based on a periodic Evans-Lopatinski determinant analogous to the periodic Evans function of Gardner in the (smooth) viscous case, obtaining a complete spectral stability diagram useful in hydraulic engineering and related applications. In particular, we obtain an explicit low-frequency stability boundary, which, moreover, matches closely with its (numerically-determined) counterpart in the viscous case. This is seen to be related to but not implied by the associated formal first-order Whitham modulation equations. △ Less

Submitted 9 March, 2018; originally announced March 2018.

Comments: 45 pages, 11 figures

A Class of Logistic Functions for Approximating State-Inclusive Koopman Operators

Authors: Charles A. Johnson, Enoch Yeung

Abstract: An outstanding challenge in nonlinear systems theory is identification or learning of a given nonlinear system's Koopman operator directly from data or models. Advances in extended dynamic mode decomposition approaches and machine learning methods have enabled data-driven discovery of Koopman operators, for both continuous and discrete-time systems. Since Koopman operators are often infinite-dimen… ▽ More An outstanding challenge in nonlinear systems theory is identification or learning of a given nonlinear system's Koopman operator directly from data or models. Advances in extended dynamic mode decomposition approaches and machine learning methods have enabled data-driven discovery of Koopman operators, for both continuous and discrete-time systems. Since Koopman operators are often infinite-dimensional, they are approximated in practice using finite-dimensional systems. The fidelity and convergence of a given finite-dimensional Koopman approximation is a subject of ongoing research. In this paper we introduce a class of Koopman observable functions that confer an approximate closure property on their corresponding finite-dimensional approximations of the Koopman operator. We derive error bounds for the fidelity of this class of observable functions, as well as identify two key learning parameters which can be used to tune performance. We illustrate our approach on two classical nonlinear system models: the Van Der Pol oscillator and the bistable toggle switch. △ Less

Submitted 8 December, 2017; originally announced December 2017.

Comments: 8 pages

Numerical Bifurcation and Spectral Stability of Wavetrains in Bidirectional Whitham Models

Authors: Kyle M. Claassen, Mathew A. Johnson

Abstract: We consider several different bidirectional Whitham equations that have recently appeared in the literature. Each of these models combine the full two-way dispersion relation from the incompressible Euler equations with a canonical shallow water nonlinearity, providing nonlocal model equations that may be expected to exhibit some of the interesting high-frequency phenomena present in the Euler equ… ▽ More We consider several different bidirectional Whitham equations that have recently appeared in the literature. Each of these models combine the full two-way dispersion relation from the incompressible Euler equations with a canonical shallow water nonlinearity, providing nonlocal model equations that may be expected to exhibit some of the interesting high-frequency phenomena present in the Euler equations that standard "long-wave" theories fail to capture. Of particular interest here is the existence and stability of periodic traveling wave solutions in such models. Using numerical bifurcation techniques we construct global bifurcation diagrams for each system and compare the global structure of branches, together with the possibility of bifurcation branches terminating in a "highest" singular (peaked/cusped) wave. We also numerically approximate the stability spectrum along these bifurcation branches and compare the stability predictions of these models. Our results confirm a number of analytical results concerning the stability of asymptotically small waves in these models and provide new insights into the existence and stability of large amplitude waves. △ Less

Submitted 9 April, 2018; v1 submitted 26 October, 2017; originally announced October 2017.

Comments: 36 pages, 19 figures

Locating a robber with multiple probes

Authors: John Haslegrave, Richard A. B. Johnson, Sebastian Koch

Abstract: We consider a game in which a cop searches for a moving robber on a connected graph using distance probes, which is a slight variation on one introduced by Seager. Carragher, Choi, Delcourt, Erickson and West showed that for any $n$-vertex graph $G$ there is a winning strategy for the cop on the graph $G^{1/m}$ obtained by replacing each edge of $G$ by a path of length $m$, if $m\geq n$. The prese… ▽ More We consider a game in which a cop searches for a moving robber on a connected graph using distance probes, which is a slight variation on one introduced by Seager. Carragher, Choi, Delcourt, Erickson and West showed that for any $n$-vertex graph $G$ there is a winning strategy for the cop on the graph $G^{1/m}$ obtained by replacing each edge of $G$ by a path of length $m$, if $m\geq n$. The present authors showed that, for all but a few small values of $n$, this bound may be improved to $m\geq n/2$, which is best possible. In this paper we consider the natural extension in which the cop probes a set of $k$ vertices, rather than a single vertex, at each turn. We consider the relationship between the value of $k$ required to ensure victory on the original graph and the length of subdivisions required to ensure victory with $k=1$. We give an asymptotically best-possible linear bound in one direction, but show that in the other direction no subexponential bound holds. We also give a bound on the value of $k$ for which the cop has a winning strategy on any (possibly infinite) connected graph of maximum degree $Δ$, which is best possible up to a factor of $(1-o(1))$. △ Less

Submitted 23 August, 2017; v1 submitted 19 March, 2017; originally announced March 2017.

Comments: 16 pages, 2 figures. Updated to show that Theorem 2 also applies to infinite graphs. Accepted for publication in Discrete Mathematics

MSC Class: 05C57; 05C85

Journal ref: Discrete Mathematics 341 (2018) 184--193

Change Ringing and Hamiltonian Cycles : The Search for Erin and Stedman Triples

Authors: Michael Haythorpe, Andrew Johnson

Abstract: A very old problem in campanology is the search for peals. The latter can be thought of as a heavily constrained sequence of all possible permutations of a given size, where the exact nature of the constraints depends on which method of ringing is desired. In particular, we consider the methods of bobs-only Stedman Triples and Erin Triples; the existence of the latter is still an open problem. We… ▽ More A very old problem in campanology is the search for peals. The latter can be thought of as a heavily constrained sequence of all possible permutations of a given size, where the exact nature of the constraints depends on which method of ringing is desired. In particular, we consider the methods of bobs-only Stedman Triples and Erin Triples; the existence of the latter is still an open problem. We show that this problem can be viewed as a similarly constrained form of the Hamiltonian cycle problem (HCP). Through the use of special subgraphs, we convert this to a standard instance of HCP. The original problem can be partitioned into smaller instances, and so we use this technique to produce smaller instances of HCP as well. We note that the instances known to have solutions provide exceptionally difficult instances of HCP. △ Less

Submitted 30 April, 2018; v1 submitted 7 February, 2017; originally announced February 2017.

Comments: 13 pages, 1 figure, 2 tables

Existence of a highest wave in a fully dispersive two-way shallow water model

Authors: Mats Ehrnström, Mathew A. Johnson, Kyle M. Claassen

Abstract: We consider the existence of periodic traveling waves in a bidirectional Whitham equation, combining the full two-way dispersion relation from the incompressible Euler equations with a canonical shallow water nonlinearity. Of particular interest is the existence of a highest, cusped, traveling wave solution, which we obtain as a limiting case at the end of the main bifurcation branch of $2π$-perio… ▽ More We consider the existence of periodic traveling waves in a bidirectional Whitham equation, combining the full two-way dispersion relation from the incompressible Euler equations with a canonical shallow water nonlinearity. Of particular interest is the existence of a highest, cusped, traveling wave solution, which we obtain as a limiting case at the end of the main bifurcation branch of $2π$-periodic traveling wave solutions continuing from the zero state. Unlike the unidirectional Whitham equation, containing only one branch of the full Euler dispersion relation, where such a highest wave behaves like $|x|^{1/2}$ near its crest, the cusped waves obtained here behave like $|x\log|x||$. Although the linear operator involved in this equation can be easily represented in terms of an integral operator, it maps continuous functions out of the Hölder and Lipschitz scales of function spaces by introducing logarithmic singularities. Since the nonlinearity is also of higher order than that of the unidirectional Whitham equation, several parts of our proofs and results deviate from those of the corresponding unidirectional equation, with the analysis of the logarithmic singularity being the most subtle component. This paper is part of a longer research programme for understanding the interplay between nonlinearities and dispersion in the formation of large-amplitude waves and their singularities. △ Less

Submitted 12 April, 2018; v1 submitted 8 October, 2016; originally announced October 2016.

Comments: 34 pages, 5 figures