-
Čech cohomology of infinite projective spaces, flag manifolds, and related spaces
Authors:
David Anderson,
Matthias Franz
Abstract:
We compute the Čech cohomology ring of a countable product of infinite projective spaces, and that of an infinite flag manifold. The method of our first result in fact computes the cohomology ring (with integer coefficients) of a countably infinite product of paracompact Hausdorff spaces, under some mild assumptions.
We compute the Čech cohomology ring of a countable product of infinite projective spaces, and that of an infinite flag manifold. The method of our first result in fact computes the cohomology ring (with integer coefficients) of a countably infinite product of paracompact Hausdorff spaces, under some mild assumptions.
△ Less
Submitted 19 June, 2025;
originally announced June 2025.
-
Filtrations and recursions for Schubert modules
Authors:
David Anderson
Abstract:
Revisiting Kraśkiewicz and Pragacz's construction of Schubert modules, we provide a new proof that their characters are equal to Schubert polynomials. The main innovation is a representation-theoretic interpretation of a recurrence relation for Schubert polynomials recently discovered by Nadeau, Spink, and Tewari. Along the way, we review several related constructions, and show that the Nadeau-Spi…
▽ More
Revisiting Kraśkiewicz and Pragacz's construction of Schubert modules, we provide a new proof that their characters are equal to Schubert polynomials. The main innovation is a representation-theoretic interpretation of a recurrence relation for Schubert polynomials recently discovered by Nadeau, Spink, and Tewari. Along the way, we review several related constructions, and show that the Nadeau-Spink-Tewari recursion determines the characters of flagged Schur modules coming from a broader class of translucent diagrams.
△ Less
Submitted 29 August, 2024;
originally announced August 2024.
-
Parametric Sensitivity Analysis for Models of Reaction Networks within Interacting Compartments
Authors:
David F. Anderson,
Aidan S. Howells
Abstract:
Models of reaction networks within interacting compartments (RNIC) are a generalization of stochastic reaction networks. It is most natural to think of the interacting compartments as "cells" that can appear, degrade, split, and even merge, with each cell containing an evolving copy of the underlying stochastic reaction network. Such models have a number of parameters, including those associated w…
▽ More
Models of reaction networks within interacting compartments (RNIC) are a generalization of stochastic reaction networks. It is most natural to think of the interacting compartments as "cells" that can appear, degrade, split, and even merge, with each cell containing an evolving copy of the underlying stochastic reaction network. Such models have a number of parameters, including those associated with the internal chemical model and those associated with the compartment interactions, and it is natural to want efficient computational methods for the numerical estimation of sensitivities of model statistics with respect to these parameters. Motivated by the extensive work on computational methods for parametric sensitivity analysis in the context of stochastic reaction networks over the past few decades, we provide a number of methods in the basic RNIC setting. Provided methods include the (unbiased) Girsanov transformation method (also called the Likelihood Ratio method) and a number of coupling methods for the implementation of finite differences, each motivated by methods from previous work related to stochastic reaction networks. We provide several numerical examples comparing the various methods in the new setting. We find that the relative performance of each method is in line with its analog in the "standard" stochastic reaction network setting. We have made all of the Matlab code used to implement the various methods freely available for download.
△ Less
Submitted 25 February, 2025; v1 submitted 17 August, 2024;
originally announced August 2024.
-
Chemical mass-action systems as analog computers: implementing arithmetic computations at specified speed
Authors:
David F. Anderson,
Badal Joshi
Abstract:
Recent technological advances allow us to view chemical mass-action systems as analog computers. In this context, the inputs to a computation are encoded as initial values of certain chemical species while the outputs are the limiting values of other chemical species. In this paper, we design chemical systems that carry out the elementary arithmetic computations of: identification, inversion, $m$t…
▽ More
Recent technological advances allow us to view chemical mass-action systems as analog computers. In this context, the inputs to a computation are encoded as initial values of certain chemical species while the outputs are the limiting values of other chemical species. In this paper, we design chemical systems that carry out the elementary arithmetic computations of: identification, inversion, $m$th roots (for $m \ge 2$), addition, multiplication, absolute difference, rectified subtraction over non-negative real numbers, and partial real inversion over real numbers. We prove that these ``elementary modules'' have a speed of computation that is independent of the inputs to the computation. Moreover, we prove that finite sequences of such elementary modules, running in parallel, can carry out composite arithmetic over real numbers, also at a rate that is independent of inputs. Furthermore, we show that the speed of a composite computation is precisely the speed of the slowest elementary step. Specifically, the scale of the composite computation, i.e. the number of elementary steps involved in the composite, does not affect the overall asymptotic speed -- a feature of the parallel computing nature of our algorithm. Our proofs require the careful mathematical analysis of certain non-autonomous systems, and we believe this analysis will be useful in different areas of applied mathematics, dynamical systems, and the theory of computation. We close with a discussion on future research directions, including numerous important open theoretical questions pertaining to the field of computation with reaction networks.
△ Less
Submitted 20 November, 2024; v1 submitted 5 April, 2024;
originally announced April 2024.
-
Mathematical models of drug delivery via a contact lens during wear
Authors:
Daniel M. Anderson,
Rayanne A. Luke
Abstract:
In this work we develop and investigate mathematical and computational models that describe drug delivery from a contact lens during wear. Our models are designed to predict the dynamics of drug release from the contact lens and subsequent transport into the adjacent pre-lens tear film and post-lens tear film as well as into the ocular tissue (e.g. cornea), into the eyelid, and out of these region…
▽ More
In this work we develop and investigate mathematical and computational models that describe drug delivery from a contact lens during wear. Our models are designed to predict the dynamics of drug release from the contact lens and subsequent transport into the adjacent pre-lens tear film and post-lens tear film as well as into the ocular tissue (e.g. cornea), into the eyelid, and out of these regions. These processes are modeled by one dimensional diffusion out of the lens coupled to compartment-type models for drug concentrations in the various accompanying regions. In addition to numerical solutions that are compared with experimental data on drug release in an in vitro eye model, we also identify a large diffusion limit model for which analytical solutions can be written down for all quantities of interest, such as cumulative release of the drug from the contact lens. We use our models to make assessments about possible mechanisms and drug transport pathways through the pre-lens and post-lens tear films and provide interpretation of experimental observations. We discuss successes and limitations of our models as well as their potential to guide further research to help understand the dynamics of ophthalmic drug delivery via drug-eluting contact lenses.
△ Less
Submitted 7 February, 2024;
originally announced March 2024.
-
Square-difference factor absorbing ideals of a commutative ring
Authors:
David F. Anderson,
Ayman Badawi,
Jim Coykendall
Abstract:
Let $R$ be a commutative ring with $1 \neq 0$. A proper ideal $I$ of $R$ is a {\it square-difference factor absorbing ideal} (sdf-absorbing ideal) of $R$ if whenever $a^2 - b^2 \in I$ for $0 \neq a, b \in R$, then $a + b \in I$ or $a - b \in I$. In this paper, we introduce and investigate sdf-absorbing ideals.
Let $R$ be a commutative ring with $1 \neq 0$. A proper ideal $I$ of $R$ is a {\it square-difference factor absorbing ideal} (sdf-absorbing ideal) of $R$ if whenever $a^2 - b^2 \in I$ for $0 \neq a, b \in R$, then $a + b \in I$ or $a - b \in I$. In this paper, we introduce and investigate sdf-absorbing ideals.
△ Less
Submitted 28 February, 2024;
originally announced February 2024.
-
Neighboring Extremal Optimal Control Theory for Parameter-Dependent Closed-loop Laws
Authors:
Ayush Rai,
Shaoshuai Mou,
Brian D. O. Anderson
Abstract:
This study introduces an approach to obtain a neighboring extremal optimal control (NEOC) solution for a closed-loop optimal control problem, applicable to a wide array of nonlinear systems and not necessarily quadratic performance indices. The approach involves investigating the variation incurred in the functional form of a known closed-loop optimal control law due to small, known parameter vari…
▽ More
This study introduces an approach to obtain a neighboring extremal optimal control (NEOC) solution for a closed-loop optimal control problem, applicable to a wide array of nonlinear systems and not necessarily quadratic performance indices. The approach involves investigating the variation incurred in the functional form of a known closed-loop optimal control law due to small, known parameter variations in the system equations or the performance index. The NEOC solution can formally be obtained by solving a linear partial differential equation, akin to those encountered in the iterative solution of a nonlinear Hamilton-Jacobi equation. Motivated by numerical procedures for solving these latter equations, we also propose a numerical algorithm based on the Galerkin algorithm, leveraging the use of basis functions to solve the underlying Hamilton-Jacobi equation of the original optimal control problem. The proposed approach simplifies the NEOC problem by reducing it to the solution of a simple set of linear equations, thereby eliminating the need for a full re-solution of the adjusted optimal control problem. Furthermore, the variation to the optimal performance index can be obtained as a function of both the system state and small changes in parameters, allowing the determination of the adjustment to an optimal control law given a small adjustment of parameters in the system or the performance index. Moreover, in order to handle large known parameter perturbations, we propose a homotopic approach that breaks down the single calculation of NEOC into a finite set of multiple steps. Finally, the validity of the claims and theory is supported by theoretical analysis and numerical simulations.
△ Less
Submitted 7 December, 2023;
originally announced December 2023.
-
A new path method for exponential ergodicity of Markov processes on $\mathbb Z^d$, with applications to stochastic reaction networks
Authors:
David F. Anderson,
Daniele Cappelletti,
Wai-Tong Louis Fan,
Jinsu Kim
Abstract:
This paper provides a new path method that can be used to determine when an ergodic continuous-time Markov chain on $\mathbb Z^d$ converges exponentially fast to its stationary distribution in $L^2$. Specifically, we provide general conditions that guarantee the positivity of the spectral gap. Importantly, our results do not require the assumption of time-reversibility of the Markov model. We then…
▽ More
This paper provides a new path method that can be used to determine when an ergodic continuous-time Markov chain on $\mathbb Z^d$ converges exponentially fast to its stationary distribution in $L^2$. Specifically, we provide general conditions that guarantee the positivity of the spectral gap. Importantly, our results do not require the assumption of time-reversibility of the Markov model. We then apply our new method to the well-studied class of stochastically modeled reaction networks. Notably, we show that each complex-balanced model that is also ``open'' has a positive spectral gap, and is therefore exponentially ergodic. We further illustrate how our results can be applied for models that are not necessarily complex-balanced. Moreover, we provide an example of a detailed-balanced (in the sense of reaction network theory), and hence complex-balanced, stochastic reaction network that is not exponentially ergodic. We believe this to be the first such example in the literature.
△ Less
Submitted 29 September, 2023; v1 submitted 13 September, 2023;
originally announced September 2023.
-
Best Ulam constants for damped linear oscillators with variable coefficients
Authors:
Douglas R. Anderson,
Masakazu Onitsuka,
Donal O'Regan
Abstract:
This study uses an associated Riccati equation to study the Ulam stability of non-autonomous linear differential vector equations that model the damped linear oscillator. In particular, the best (minimal) Ulam constants for these non-autonomous linear differential vector equations are derived. These robust results apply to vector equations with solutions that blow up in finite time, as well as to…
▽ More
This study uses an associated Riccati equation to study the Ulam stability of non-autonomous linear differential vector equations that model the damped linear oscillator. In particular, the best (minimal) Ulam constants for these non-autonomous linear differential vector equations are derived. These robust results apply to vector equations with solutions that blow up in finite time, as well as to vector equations with solutions that exist globally on $(-\infty,\infty)$. Illustrative, non-trivial examples are presented, highlighting the main results.
△ Less
Submitted 27 July, 2023;
originally announced July 2023.
-
Best Ulam constants for two-dimensional non-autonomous linear differential systems
Authors:
Douglas R. Anderson,
Masakazu Onitsuka,
Donal O'Regan
Abstract:
This study deals with the Ulam stability of non-autonomous linear differential systems without assuming the condition that they admit an exponential dichotomy. In particular, the best (minimal) Ulam constants for two-dimensional non-autonomous linear differential systems with generalized Jordan normal forms are derived. The obtained results are applicable not only to systems with solutions that ex…
▽ More
This study deals with the Ulam stability of non-autonomous linear differential systems without assuming the condition that they admit an exponential dichotomy. In particular, the best (minimal) Ulam constants for two-dimensional non-autonomous linear differential systems with generalized Jordan normal forms are derived. The obtained results are applicable not only to systems with solutions that exist globally on $(-\infty,\infty)$, but also to systems with solutions that blow up in finite time. New results are included even for constant coefficients. A wealth of examples are presented, and approximations of node, saddle, and focus are proposed. In addition, this is the first study to derive the best Ulam constants for non-autonomous systems other than periodic systems.
△ Less
Submitted 27 July, 2023;
originally announced July 2023.
-
Integral equivariant cohomology of affine Grassmannians
Authors:
David Anderson
Abstract:
We give explicit presentations of the integral equivariant cohomology of the affine Grassmannians and flag varieties in type A, arising from their natural embeddings in the corresponding infinite (Sato) Grassmannian and flag variety. These presentations are compared with results obtained by Lam and Shimozono, for rational equivariant cohomology of the affine Grassmannian, and by Larson, for the in…
▽ More
We give explicit presentations of the integral equivariant cohomology of the affine Grassmannians and flag varieties in type A, arising from their natural embeddings in the corresponding infinite (Sato) Grassmannian and flag variety. These presentations are compared with results obtained by Lam and Shimozono, for rational equivariant cohomology of the affine Grassmannian, and by Larson, for the integral cohomology of the moduli stack of vector bundles on $\mathbb{P}^1$.
△ Less
Submitted 31 May, 2023;
originally announced May 2023.
-
Decentralised adaptive-gain control for eliminating epidemic spreading on networks
Authors:
Liam Walsh,
Mengbin Ye,
Brian D. O. Anderson,
Zhiyong Sun
Abstract:
This paper considers the classical Susceptible--Infected--Susceptible (SIS) network epidemic model, which describes a disease spreading through $n$ nodes, with the network links governing the possible transmission pathways of the disease between nodes. We consider feedback control to eliminate the disease in scenarios where the disease would otherwise persist in an uncontrolled network. We propose…
▽ More
This paper considers the classical Susceptible--Infected--Susceptible (SIS) network epidemic model, which describes a disease spreading through $n$ nodes, with the network links governing the possible transmission pathways of the disease between nodes. We consider feedback control to eliminate the disease in scenarios where the disease would otherwise persist in an uncontrolled network. We propose a family of decentralised adaptive-gain control algorithms, in which each node has a control gain that adaptively evolves according to a differential equation, independent of the gains of other nodes. The adaptive gain is applied multiplicatively to either decrease the infection rate or increase the recovery rate. To begin, we assume all nodes are controlled, and prove that both infection rate control and recovery rate control algorithms eliminate the disease with the limiting gains being positive and finite. Then, we consider the possibility of controlling a subset of the nodes, for both the infection rate control and recovery rate control. We first identify a necessary and sufficient condition for the existence of a subset of nodes, which if controlled would result in the elimination of the disease. For a given network, there may exist several such viable subsets, and we propose an iterative algorithm to identify such a subset. Simulations are provided to demonstrate the effectiveness of the various proposed controllers.
△ Less
Submitted 26 May, 2023;
originally announced May 2023.
-
Stochastic reaction networks within interacting compartments
Authors:
David F. Anderson,
Aidan S. Howells
Abstract:
Stochastic reaction networks, which are usually modeled as continuous-time Markov chains on $\mathbb Z^d_{\ge 0}$, and simulated via a version of the "Gillespie algorithm," have proven to be a useful tool for the understanding of processes, chemical and otherwise, in homogeneous environments. There are multiple avenues for generalizing away from the assumption that the environment is homogeneous,…
▽ More
Stochastic reaction networks, which are usually modeled as continuous-time Markov chains on $\mathbb Z^d_{\ge 0}$, and simulated via a version of the "Gillespie algorithm," have proven to be a useful tool for the understanding of processes, chemical and otherwise, in homogeneous environments. There are multiple avenues for generalizing away from the assumption that the environment is homogeneous, with the proper modeling choice dependent upon the context of the problem being considered. One such generalization was recently introduced in (Duso and Zechner, PNAS, 2020), where the proposed model includes a varying number of interacting compartments, or cells, each of which contains an evolving copy of the stochastic reaction system. The novelty of the model is that these compartments also interact via the merging of two compartments (including their contents), the splitting of one compartment into two, and the appearance and destruction of compartments. In this paper we begin a systematic exploration of the mathematical properties of this model. We (i) obtain basic/foundational results pertaining to explosivity, transience, recurrence, and positive recurrence of the model, (ii) explore a number of examples demonstrating some possible non-intuitive behaviors of the model, and (iii) identify the limiting distribution of the model in a special case that generalizes three formulas from an example in (Duso and Zechner, PNAS, 2020).
△ Less
Submitted 29 June, 2023; v1 submitted 24 March, 2023;
originally announced March 2023.
-
Hyers-Ulam Stability For A Type Of Discrete Hill Equation
Authors:
Douglas R. Anderson,
Masakazu Onitsuka
Abstract:
We establish the Hyers-Ulam stability of a second-order linear Hill-type $h$-difference equation with a periodic coefficient. Using results from first-order $h$-difference equations with periodic coefficient of arbitrary order, both homogeneous and non-homogeneous, we also establish a Hyers-Ulam stability constant. Several interesting examples are provided. As a powerful application, we use the ma…
▽ More
We establish the Hyers-Ulam stability of a second-order linear Hill-type $h$-difference equation with a periodic coefficient. Using results from first-order $h$-difference equations with periodic coefficient of arbitrary order, both homogeneous and non-homogeneous, we also establish a Hyers-Ulam stability constant. Several interesting examples are provided. As a powerful application, we use the main result to prove the Hyers-Ulam stability of a certain third-order $h$-difference equation with periodic coefficients of one form.
△ Less
Submitted 16 March, 2023;
originally announced March 2023.
-
Strong equivariant positivity for homogeneous varieties and back-stable coproduct coefficients
Authors:
David Anderson
Abstract:
Using a transversality argument, we demonstrate the positivity of certain coefficients in the equivariant cohomology and K-theory of a generalized flag manifold. This strengthens earlier equivariant positivity theorems (of Graham and Anderson-Griffeth-Miller) by further constraining the roots which can appear in these coefficients.
As an application, we deduce that structure constants for comult…
▽ More
Using a transversality argument, we demonstrate the positivity of certain coefficients in the equivariant cohomology and K-theory of a generalized flag manifold. This strengthens earlier equivariant positivity theorems (of Graham and Anderson-Griffeth-Miller) by further constraining the roots which can appear in these coefficients.
As an application, we deduce that structure constants for comultiplication in the equivariant K-theory of an infinite flag manifold exhibit an unusual positivity property, establishing conjectures of Lam-Lee-Shimozono. Along the way, we present alternative formulas for the back stable Grothendieck polynomials defined by those authors, as well as a new method for computing the coproduct coefficients.
△ Less
Submitted 24 February, 2023;
originally announced February 2023.
-
A note on real similarity to a diagonal dominant matrix
Authors:
Zhiyong Sun,
Brian D. O. Anderson,
Wei Chen
Abstract:
This note presents several conditions to characterize real matrix similarity between a Hurwitz matrix (and then more generally, a real square matrix) and a diagonal dominant matrix.
This note presents several conditions to characterize real matrix similarity between a Hurwitz matrix (and then more generally, a real square matrix) and a diagonal dominant matrix.
△ Less
Submitted 22 February, 2023;
originally announced February 2023.
-
Toric arc schemes and $q$-enumeration of lattice points
Authors:
Dave Anderson,
Aniket Shah
Abstract:
We introduce a natural weighted enumeration of lattice points in a polytope, and give a Brion-type formula for the corresponding generating function. The weighting has combinatorial significance, and its generating function may be viewed as a generalization of the Rogers-Szegő polynomials. It also arises from the geometry of the toric arc scheme associated to the normal fan of the polytope. We sho…
▽ More
We introduce a natural weighted enumeration of lattice points in a polytope, and give a Brion-type formula for the corresponding generating function. The weighting has combinatorial significance, and its generating function may be viewed as a generalization of the Rogers-Szegő polynomials. It also arises from the geometry of the toric arc scheme associated to the normal fan of the polytope. We show that the asymptotic behavior of the coefficients at $q = 1$ is Gaussian.
△ Less
Submitted 7 February, 2023;
originally announced February 2023.
-
Equilibria analysis of a networked bivirus epidemic model using Poincaré--Hopf and Manifold Theory
Authors:
Brian D. O. Anderson,
Mengbin Ye
Abstract:
This paper considers a deterministic Susceptible-Infected-Susceptible (SIS) networked bivirus epidemic model (termed the bivirus model for short), in which two competing viruses spread through a set of populations (nodes) connected by two graphs, which may be different if the two viruses have different transmission pathways. The networked dynamics can give rise to complex equilibria patterns, and…
▽ More
This paper considers a deterministic Susceptible-Infected-Susceptible (SIS) networked bivirus epidemic model (termed the bivirus model for short), in which two competing viruses spread through a set of populations (nodes) connected by two graphs, which may be different if the two viruses have different transmission pathways. The networked dynamics can give rise to complex equilibria patterns, and most current results identify conditions on the model parameters for convergence to the healthy equilibrium (where both viruses are extinct) or a boundary equilibrium (where one virus is endemic and the other is extinct). However, there are only limited results on coexistence equilibria (where both viruses are endemic). This paper establishes a set of ``counting'' results which provide lower bounds on the number of coexistence equilibria, and perhaps more importantly, establish properties on the local stability/instability properties of these equilibria. In order to do this, we employ the Poincaré-Hopf Theorem but with significant modifications to overcome several challenges arising from the bivirus system model, such as the fact that the system dynamics do not evolve on a manifold in the typical sense required to apply Poincaré-Hopf Theory. Subsequently, Morse inequalities are used to tighten the counting results, under the reasonable assumption that the bivirus system is a Morse-Smale dynamical system. Numerical examples are provided which demonstrate the presence of multiple attractor equilibria, and multiple coexistence equilibria.
△ Less
Submitted 25 June, 2023; v1 submitted 20 October, 2022;
originally announced October 2022.
-
Mixing times for two classes of stochastically modeled reaction networks
Authors:
David F. Anderson,
Jinsu Kim
Abstract:
The past few decades have seen robust research on questions regarding the existence, form, and properties of stationary distributions of stochastically modeled reaction networks. When a stochastic model admits a stationary distribution an important practical question is: what is the rate of convergence of the distribution of the process to the stationary distribution? With the exception of \cite{X…
▽ More
The past few decades have seen robust research on questions regarding the existence, form, and properties of stationary distributions of stochastically modeled reaction networks. When a stochastic model admits a stationary distribution an important practical question is: what is the rate of convergence of the distribution of the process to the stationary distribution? With the exception of \cite{XuHansenWiuf2022} pertaining to models whose state space is restricted to the non-negative integers, there has been a notable lack of results related to this rate of convergence in the reaction network literature. This paper begins the process of filling that hole in our understanding. In this paper, we characterize this rate of convergence, via the mixing times of the processes, for two classes of stochastically modeled reaction networks. Specifically, by applying a Foster-Lyapunov criteria we establish exponential ergodicity for two classes of reaction networks introduced in \cite{anderson2018some}. Moreover, we show that for one of the classes the convergence is uniform over the initial state.
△ Less
Submitted 13 December, 2022; v1 submitted 14 September, 2022;
originally announced September 2022.
-
Dynamics of a Rotated Orthogonal Gravitational Wedge Billiard
Authors:
K. D. Anderson
Abstract:
We investigate a rotated, orthogonal gravitational wedge billiard - a special case of the asymmetric wedge billiard - in which the dynamics are integrable. We derive equations and conditions under which periodic orbits may be constructed for this model, and show that any other trajectory will be dense in the configuration space.
We investigate a rotated, orthogonal gravitational wedge billiard - a special case of the asymmetric wedge billiard - in which the dynamics are integrable. We derive equations and conditions under which periodic orbits may be constructed for this model, and show that any other trajectory will be dense in the configuration space.
△ Less
Submitted 10 June, 2022;
originally announced June 2022.
-
Mathematics of Floating 3D Printed Objects
Authors:
Daniel M. Anderson,
Brandon G. Barreto-Rosa,
Joshua D. Calvano,
Lujain Nsair,
Evelyn Sander
Abstract:
We explore the stability of floating objects through mathematical modeling and experimentation. Our models are based on standard ideas of center of gravity, center of buoyancy, and Archimedes' Principle. We investigate a variety of floating shapes with two-dimensional cross sections and identify analytically and/or computationally a potential energy landscape that helps identify stable and unstabl…
▽ More
We explore the stability of floating objects through mathematical modeling and experimentation. Our models are based on standard ideas of center of gravity, center of buoyancy, and Archimedes' Principle. We investigate a variety of floating shapes with two-dimensional cross sections and identify analytically and/or computationally a potential energy landscape that helps identify stable and unstable floating orientations. We compare our analyses and computations to experiments on floating objects designed and created through 3D printing. In addition to our results, we provide code for testing the floating configurations for new shapes, as well as giving details of the methods for 3D printing the objects. The paper includes conjectures and open problems for further study.
△ Less
Submitted 27 October, 2022; v1 submitted 18 April, 2022;
originally announced April 2022.
-
Hyers-Ulam stability for differential systems with $2\times 2$ constant coefficient matrix
Authors:
Douglas R. Anderson,
Masakazu Onitsuka
Abstract:
We explore the Hyers-Ulam stability of perturbations for a homogeneous linear differential system with $2\times 2$ constant coefficient matrix. New necessary and sufficient conditions for the linear system to be Hyers-Ulam stable are proven, and for the first time, the best (minimal) Hyers-Ulam constant for systems is found in some cases. Several examples are provided. Obtaining the best Hyers-Ula…
▽ More
We explore the Hyers-Ulam stability of perturbations for a homogeneous linear differential system with $2\times 2$ constant coefficient matrix. New necessary and sufficient conditions for the linear system to be Hyers-Ulam stable are proven, and for the first time, the best (minimal) Hyers-Ulam constant for systems is found in some cases. Several examples are provided. Obtaining the best Hyers-Ulam constant for second-order constant coefficient differential equations illustrates the applicability of the strong results.
△ Less
Submitted 24 March, 2022;
originally announced March 2022.
-
Cooperative constrained motion coordination of networked heterogeneous vehicles
Authors:
Zhiyong Sun,
Marcus Greiff,
Anders Robertsson,
Rolf Johansson,
Brian D. O. Anderson
Abstract:
We consider the problem of cooperative motion coordination for multiple heterogeneous mobile vehicles subject to various constraints. These include nonholonomic motion constraints, constant speed constraints, holonomic coordination constraints, and equality/inequality geometric constraints. We develop a general framework involving differential-algebraic equations and viability theory to determine…
▽ More
We consider the problem of cooperative motion coordination for multiple heterogeneous mobile vehicles subject to various constraints. These include nonholonomic motion constraints, constant speed constraints, holonomic coordination constraints, and equality/inequality geometric constraints. We develop a general framework involving differential-algebraic equations and viability theory to determine coordination feasibility for a coordinated motion control under heterogeneous vehicle dynamics and different types of coordination task constraints. If a coordinated motion solution exists for the derived differential-algebraic equations and/or inequalities, a constructive algorithm is proposed to derive an equivalent dynamical system that generates a set of feasible coordinated motions for each individual vehicle. In case studies on coordinating two vehicles, we derive analytical solutions to motion generation for two-vehicle groups consisting of car-like vehicles, unicycle vehicles, or vehicles with constant speeds, which serve as benchmark coordination tasks for more complex vehicle groups. The motion generation algorithm is well-backed by simulation data for a wide variety of coordination situations involving heterogeneous vehicles. We then extend the vehicle control framework to deal with the cooperative coordination problem with time-varying coordination tasks and leader-follower structure. We show several simulation experiments on multi-vehicle coordination under various constraints to validate the theory and the effectiveness of the proposed schemes.
△ Less
Submitted 17 January, 2022;
originally announced January 2022.
-
The multiplicity of a singularity in a vexillary Schubert variety
Authors:
David Anderson,
Takeshi Ikeda,
Minyoung Jeon,
Ryotaro Kawago
Abstract:
In a classical-type flag variety, we consider a Schubert variety associated to a vexillary (signed) permutation, and establish a combinatorial formula for the Hilbert-Samuel multiplicity of a point on such a Schubert variety. The formula is expressed in terms of excited Young diagrams, and extends results for Grassmannians due to Krattenthaler, Lakshmibai-Raghavan-Sankaran, and for the maximal iso…
▽ More
In a classical-type flag variety, we consider a Schubert variety associated to a vexillary (signed) permutation, and establish a combinatorial formula for the Hilbert-Samuel multiplicity of a point on such a Schubert variety. The formula is expressed in terms of excited Young diagrams, and extends results for Grassmannians due to Krattenthaler, Lakshmibai-Raghavan-Sankaran, and for the maximal isotropic (symplectic and orthogonal) Grassmannians to Ghorpade-Raghavan, Raghavan-Upadhyay, Kreiman, and Ikeda-Naruse. We also provide a new proof of a theorem of Li-Yong in the type A vexillary case. The main ingredient is an isomorphism between certain neighborhoods of fixed points, known as Kazhdan-Lusztig varieties, which, in turn, relies on a direct sum embedding previously used by Anderson-Fulton to relate vexillary loci to Grassmannian loci.
△ Less
Submitted 14 December, 2021;
originally announced December 2021.
-
Consensus-based Distributed Optimization Enhanced by Integral Feedback
Authors:
Xuan Wang,
Shaoshuai Mou,
Brian. D. O. Anderson
Abstract:
Inspired and underpinned by the idea of integral feedback, a distributed constant gain algorithm is proposed for multi-agent networks to solve convex optimization problems with local linear constraints. Assuming agent interactions are modeled by an undirected graph, the algorithm is capable of achieving the optimum solution with an exponential convergence rate. Furthermore, inherited from the bene…
▽ More
Inspired and underpinned by the idea of integral feedback, a distributed constant gain algorithm is proposed for multi-agent networks to solve convex optimization problems with local linear constraints. Assuming agent interactions are modeled by an undirected graph, the algorithm is capable of achieving the optimum solution with an exponential convergence rate. Furthermore, inherited from the beneficial integral feedback, the proposed algorithm has attractive requirements on communication bandwidth and good robustness against disturbance. Both analytical proof and numerical simulations are provided to validate the effectiveness of the proposed distributed algorithms in solving constrained optimization problems.
△ Less
Submitted 17 November, 2021;
originally announced November 2021.
-
Convergence and Equilibria Analysis of a Networked Bivirus Epidemic Model
Authors:
Mengbin Ye,
Brian D. O. Anderson,
Ji Liu
Abstract:
This paper studies a networked bivirus model, in which two competing viruses spread across a network of interconnected populations; each node represents a population with a large number of individuals. The viruses may spread through possibly different network structures, and an individual cannot be simultaneously infected with both viruses. Focusing on convergence and equilibria analysis, a number…
▽ More
This paper studies a networked bivirus model, in which two competing viruses spread across a network of interconnected populations; each node represents a population with a large number of individuals. The viruses may spread through possibly different network structures, and an individual cannot be simultaneously infected with both viruses. Focusing on convergence and equilibria analysis, a number of new results are provided. First, we show that for networks with generic system parameters, there exist a finite number of equilibria. Exploiting monotone systems theory, we further prove that for bivirus networks with generic system parameters, then convergence to an equilibrium occurs for all initial conditions, except possibly for a set of measure zero. Given the network structure of one virus, a method is presented to construct an infinite family of network structures for the other virus that results in an infinite number of equilibria in which both viruses coexist. Necessary and sufficient conditions are derived for the local stability/instability of boundary equilibria, in which one virus is present and the other is extinct. A sufficient condition for a boundary equilibrium to be almost globally stable is presented. Then, we show how to use monotone systems theory to generate conclusions on the ordering of stable and unstable equilibria, and in some instances identify the number of equilibria via rapid simulation testing. Last, we provide an analytical method for computing equilibria in networks with only two nodes, and show that it is possible for a bivirus network to have an unstable coexistence equilibrium and two locally stable boundary equilibria.
△ Less
Submitted 14 November, 2021;
originally announced November 2021.
-
Competitive epidemic networks with multiple survival-of-the-fittest outcomes
Authors:
Mengbin Ye,
Brian D. O. Anderson,
Axel Janson,
Sebin Gracy,
Karl H. Johansson
Abstract:
We use a deterministic model to study two competing viruses spreading over a two-layer network in the Susceptible--Infected--Susceptible (SIS) framework, and address a central problem of identifying the winning virus in a "survival-of-the-fittest" battle. Existing sufficient conditions ensure that the same virus always wins regardless of initial states. For networks with an arbitrary but finite nu…
▽ More
We use a deterministic model to study two competing viruses spreading over a two-layer network in the Susceptible--Infected--Susceptible (SIS) framework, and address a central problem of identifying the winning virus in a "survival-of-the-fittest" battle. Existing sufficient conditions ensure that the same virus always wins regardless of initial states. For networks with an arbitrary but finite number of nodes, there exists a necessary and sufficient condition that guarantees local exponential stability of the two equilibria corresponding to each virus winning the battle, meaning that either of the viruses can win, depending on the initial states. However, establishing existence and finding examples of networks with more than three nodes that satisfy such a condition has remained unaddressed. In this paper, we prove that, for any arbitrary number of nodes, such networks exist. We do this by proving that given almost any network layer of one virus, there exists a network layer for the other virus such that the resulting two-layer network satisfies the aforementioned condition. To operationalize our findings, a four-step procedure is developed to reliably and consistently design one of the network layers, when given the other layer. Conclusions from numerical case studies, including a real-world mobility network that captures the commuting patterns for people between $107$ provinces in Italy, extend on the theoretical result and its consequences.
△ Less
Submitted 19 January, 2023; v1 submitted 11 November, 2021;
originally announced November 2021.
-
Infinite flags and Schubert polynomials
Authors:
David Anderson
Abstract:
We study Schubert polynomials using geometry of infinite-dimensional flag varieties and degeneracy loci. Applications include Graham-positivity of coefficients appearing in equivariant coproduct formulas and expansions of back-stable and enriched Schubert polynomials. We also construct an embedding of the type C flag variety, and study the corresponding pullback map on (equivariant) cohomology rin…
▽ More
We study Schubert polynomials using geometry of infinite-dimensional flag varieties and degeneracy loci. Applications include Graham-positivity of coefficients appearing in equivariant coproduct formulas and expansions of back-stable and enriched Schubert polynomials. We also construct an embedding of the type C flag variety, and study the corresponding pullback map on (equivariant) cohomology rings.
△ Less
Submitted 1 June, 2023; v1 submitted 24 May, 2021;
originally announced May 2021.
-
Identities for Schur-type determinants and pfaffians
Authors:
David Anderson,
William Fulton
Abstract:
We give a simple formula for some determinants, and an analogous formula for pfaffians, both of which are polynomial identities. The second involve some expressions that interpolate between determinants and pfaffians. We give several tableau formulas for difference operators in Types A and C, as well as other operators that appear in the "enriched", or "back-stable" Schubert polynomials. There are…
▽ More
We give a simple formula for some determinants, and an analogous formula for pfaffians, both of which are polynomial identities. The second involve some expressions that interpolate between determinants and pfaffians. We give several tableau formulas for difference operators in Types A and C, as well as other operators that appear in the "enriched", or "back-stable" Schubert polynomials. There are also tableau formulas for the enriched Schubert polynomials for vexillary and $321$-avoiding permutations.
△ Less
Submitted 30 March, 2021;
originally announced March 2021.
-
Schubert Polynomials in Types A and C
Authors:
David Anderson,
William Fulton
Abstract:
Enriched versions of type A Schubert polynomials are constructed with coefficients in a polynomial ring in variables $c_1, c_2, \ldots$. Specializing these variables to $0$ recovers the double Schubert polynomials of Lascoux and Schützenberger; specializing them to certain power series recovers the back-stable double Schubert polynomials of Lam, Lee, and Shimozono; specializing them to Schur Q-pol…
▽ More
Enriched versions of type A Schubert polynomials are constructed with coefficients in a polynomial ring in variables $c_1, c_2, \ldots$. Specializing these variables to $0$ recovers the double Schubert polynomials of Lascoux and Schützenberger; specializing them to certain power series recovers the back-stable double Schubert polynomials of Lam, Lee, and Shimozono; specializing them to Schur Q-polynomials relates them to the type C double Schubert polynomials of Ikeda, Mihalcea, and Naruse. Many formulas for classical Schubert polynomials generalize to this setting. They give, and are characterized by, formulas for degeneracy loci.
△ Less
Submitted 10 February, 2021;
originally announced February 2021.
-
Gillet descent for connective K-theory
Authors:
David Anderson
Abstract:
Using Gillet's technique of projective envelopes, we prove a homological descent theorem for the connective K-homology of schemes.
Using Gillet's technique of projective envelopes, we prove a homological descent theorem for the connective K-homology of schemes.
△ Less
Submitted 11 November, 2020;
originally announced November 2020.
-
On reaction network implementations of neural networks
Authors:
David F. Anderson,
Badal Joshi,
Abhishek Deshpande
Abstract:
This paper is concerned with the utilization of deterministically modeled chemical reaction networks for the implementation of (feed-forward) neural networks. We develop a general mathematical framework and prove that the ordinary differential equations (ODEs) associated with certain reaction network implementations of neural networks have desirable properties including (i) existence of unique pos…
▽ More
This paper is concerned with the utilization of deterministically modeled chemical reaction networks for the implementation of (feed-forward) neural networks. We develop a general mathematical framework and prove that the ordinary differential equations (ODEs) associated with certain reaction network implementations of neural networks have desirable properties including (i) existence of unique positive fixed points that are smooth in the parameters of the model (necessary for gradient descent), and (ii) fast convergence to the fixed point regardless of initial condition (necessary for efficient implementation). We do so by first making a connection between neural networks and fixed points for systems of ODEs, and then by constructing reaction networks with the correct associated set of ODEs. We demonstrate the theory by constructing a reaction network that implements a neural network with a smoothed ReLU activation function, though we also demonstrate how to generalize the construction to allow for other activation functions (each with the desirable properties listed previously). As there are multiple types of "networks" utilized in this paper, we also give a careful introduction to both reaction networks and neural networks, in order to disambiguate the overlapping vocabulary in the two settings and to clearly highlight the role of each network's properties.
△ Less
Submitted 8 March, 2021; v1 submitted 25 October, 2020;
originally announced October 2020.
-
Deficiency zero for random reaction networks under a stochastic block model framework
Authors:
David F. Anderson,
Tung D. Nguyen
Abstract:
Deficiency zero is an important network structure and has been the focus of many celebrated results within reaction network theory. In our previous paper \textit{Prevalence of deficiency zero reaction networks in an Erd\H os-Rényi framework}, we provided a framework to quantify the prevalence of deficiency zero among randomly generated reaction networks. Specifically, given a randomly generated bi…
▽ More
Deficiency zero is an important network structure and has been the focus of many celebrated results within reaction network theory. In our previous paper \textit{Prevalence of deficiency zero reaction networks in an Erd\H os-Rényi framework}, we provided a framework to quantify the prevalence of deficiency zero among randomly generated reaction networks. Specifically, given a randomly generated binary reaction network with $n$ species, with an edge between two arbitrary vertices occurring independently with probability $p_n$, we established the threshold function $r(n)=\frac{1}{n^3}$ such that the probability of the random network being deficiency zero converges to 1 if $\frac{p_n}{r(n)}\to 0$ and converges to 0 if $\frac{p_n}{r(n)}\to\infty$, as $n \to \infty$.
With the base Erd\H os-Rényi framework as a starting point, the current paper provides a significantly more flexible framework by weighting the edge probabilities via control parameters $α_{i,j}$, with $i,j\in \{0,1,2\}$ enumerating the types of possible vertices (zeroth, first, or second order). The control parameters can be chosen to generate random reaction networks with a specific underlying structure, such as "closed" networks with very few inflow and outflow reactions, or "open" networks with abundant inflow and outflow. Under this new framework, for each choice of control parameters $\{α_{i,j}\}$, we establish a threshold function $r(n,\{α_{i,j}\})$ such that the probability of the random network being deficiency zero converges to 1 if $\frac{p_n}{r(n,\{α_{i,j}\})}\to 0$ and converges to 0 if $\frac{p_n}{r(n,\{α_{i,j}\})}\to \infty$.
△ Less
Submitted 24 February, 2021; v1 submitted 14 October, 2020;
originally announced October 2020.
-
Motivic classes of degeneracy loci and pointed Brill-Noether varieties
Authors:
Dave Anderson,
Linda Chen,
Nicola Tarasca
Abstract:
Motivic Chern and Hirzebruch classes are polynomials with K-theory and homology classes as coefficients, which specialize to Chern-Schwartz-MacPherson classes, K-theory classes, and Cappell-Shaneson L-classes. We provide formulas to compute the motivic Chern and Hirzebruch classes of Grassmannian and vexillary degeneracy loci. We apply our results to obtain the Hirzebruch $χ_y$-genus of classical…
▽ More
Motivic Chern and Hirzebruch classes are polynomials with K-theory and homology classes as coefficients, which specialize to Chern-Schwartz-MacPherson classes, K-theory classes, and Cappell-Shaneson L-classes. We provide formulas to compute the motivic Chern and Hirzebruch classes of Grassmannian and vexillary degeneracy loci. We apply our results to obtain the Hirzebruch $χ_y$-genus of classical and one-pointed Brill-Noether varieties, and therefore their topological Euler characteristic, holomorphic Euler characteristic, and signature.
△ Less
Submitted 17 September, 2021; v1 submitted 12 October, 2020;
originally announced October 2020.
-
Bounded and finite factorization domains
Authors:
David F. Anderson,
Felix Gotti
Abstract:
An integral domain is atomic if every nonzero nonunit factors into irreducibles. Let $R$ be an integral domain. We say that $R$ is a bounded factorization domain if it is atomic and for every nonzero nonunit $x \in R$, there is a positive integer $N$ such that for any factorization $x = a_1 \cdots a_n$ of $x$ into irreducibles $a_1, \dots, a_n$ in $R$, the inequality $n \le N$ holds. In addition,…
▽ More
An integral domain is atomic if every nonzero nonunit factors into irreducibles. Let $R$ be an integral domain. We say that $R$ is a bounded factorization domain if it is atomic and for every nonzero nonunit $x \in R$, there is a positive integer $N$ such that for any factorization $x = a_1 \cdots a_n$ of $x$ into irreducibles $a_1, \dots, a_n$ in $R$, the inequality $n \le N$ holds. In addition, we say that $R$ is a finite factorization domain if it is atomic and every nonzero nonunit in $R$ factors into irreducibles in only finitely many ways (up to order and associates). The notions of bounded and finite factorization domains were introduced by D. D. Anderson, D. F. Anderson, and M. Zafrullah in their systematic study of factorization in atomic integral domains. Here we provide a survey of some of the most relevant results on bounded and finite factorization domains.
△ Less
Submitted 6 October, 2020;
originally announced October 2020.
-
On global convergence of area-constrained formations of hierarchical multi-agent systems
Authors:
Toshiharu Sugie,
Fei Tong,
Brian D. O. Anderson,
Zhiyong Sun
Abstract:
This paper is concerned with a formation shaping problem for point agents in a two-dimensional space, where control avoids the possibility of reflection ambiguities. One solution for this type of problems was given first for three or four agents by considering a potential function which consists of both the distance error and the signed area terms. Then, by exploiting a hierarchical control strate…
▽ More
This paper is concerned with a formation shaping problem for point agents in a two-dimensional space, where control avoids the possibility of reflection ambiguities. One solution for this type of problems was given first for three or four agents by considering a potential function which consists of both the distance error and the signed area terms. Then, by exploiting a hierarchical control strategy with such potential functions, the method was extended to any number of agents recently. However, a specific gain on the signed area term must be employed there, and it does not guarantee the global convergence. To overcome this issue, this paper provides a necessary and sufficient condition for the global convergence, subject to the constraint that the desired formation consists of isosceles triangles only. This clarifies the admissible range of the gain on the signed area for this case. In addition, as for formations consisting of arbitrary triangles, it is shown when high gain on the signed area is admissible for global convergence.
△ Less
Submitted 4 September, 2020;
originally announced September 2020.
-
weakly $(m,n)$-closed ideals and $(m,n)$-von Neumann regular rings
Authors:
David F. Anderson,
Ayman Badawi,
Brahim Fahid
Abstract:
Let R be a commutative ring with identity. In this paper, we introduce the concept of (m, n)-closed ideals of R and (m, n)-von Neumann regular rings
Let R be a commutative ring with identity. In this paper, we introduce the concept of (m, n)-closed ideals of R and (m, n)-von Neumann regular rings
△ Less
Submitted 1 August, 2020;
originally announced August 2020.
-
Separable Indecomposable Continuum with Exactly One Composant
Authors:
Daron Anderson
Abstract:
Indecomposable continua with one composant are $\textit{large}$ in the sense of being non-metrisable. We adapt the method of Smith $[18]$ to construct an example which is $\textit{small}$ in the sense of being separable.
Indecomposable continua with one composant are $\textit{large}$ in the sense of being non-metrisable. We adapt the method of Smith $[18]$ to construct an example which is $\textit{small}$ in the sense of being separable.
△ Less
Submitted 19 July, 2020;
originally announced July 2020.
-
Indecomposable Continuum with a Strong Non-Cut Point
Authors:
Daron Anderson
Abstract:
We construct an indecomposable continuum with exactly one strong non-cut point. The method is an adaptation of Bellamy $[1]$. We start with an $ω_1$-chain of indecomposable metric continua and retractions. The inverse limit is an indecomposable continuum with exactly two composants. Our example is formed by identifying a point in each composant.
We construct an indecomposable continuum with exactly one strong non-cut point. The method is an adaptation of Bellamy $[1]$. We start with an $ω_1$-chain of indecomposable metric continua and retractions. The inverse limit is an indecomposable continuum with exactly two composants. Our example is formed by identifying a point in each composant.
△ Less
Submitted 19 July, 2020;
originally announced July 2020.
-
The Shore Point Existence Problem is Equivalent to the Non-Block Point Existence Problem
Authors:
Daron Anderson
Abstract:
We prove the three propositions are equivalent: $(a)$ Every Hausdorff continuum has two or more shore points. $(b)$ Every Hausdorff continuum has two or more non-block points. $(c)$ Every Hausdorff continuum is coastal at each point. Thus it is consistent that all three properties fail. We also give the following characterisation of shore points: The point $p$ of the continuum $X$ is a shore point…
▽ More
We prove the three propositions are equivalent: $(a)$ Every Hausdorff continuum has two or more shore points. $(b)$ Every Hausdorff continuum has two or more non-block points. $(c)$ Every Hausdorff continuum is coastal at each point. Thus it is consistent that all three properties fail. We also give the following characterisation of shore points: The point $p$ of the continuum $X$ is a shore point if and only if there is a net of subcontinua in $\{K \in C(X): K \subset κ(p) - p\}$ tending to $X$ in the Vietoris topology. This contrasts with the standard characterisation which only demands the net elements be contained in $X-p$. In addition we prove every point of an indecomposable continuum is a shore point.
△ Less
Submitted 17 July, 2020;
originally announced July 2020.
-
Continuum Without Non-Block Points
Authors:
Daron Anderson
Abstract:
For any composant $E \subset \mathbb H^*$ and corresponding near-coherence class $\mathscr E \subset ω^*$ we prove the following are equivalent : (1) $E$ properly contains a dense semicontinuum. (2) Each countable subset of $E$ is contained in a dense proper semicontinuum of $E$. (3) Each countable subset of $E$ is disjoint from some dense proper semicontinuum of $E$. (4) $\mathscr E $ has a minim…
▽ More
For any composant $E \subset \mathbb H^*$ and corresponding near-coherence class $\mathscr E \subset ω^*$ we prove the following are equivalent : (1) $E$ properly contains a dense semicontinuum. (2) Each countable subset of $E$ is contained in a dense proper semicontinuum of $E$. (3) Each countable subset of $E$ is disjoint from some dense proper semicontinuum of $E$. (4) $\mathscr E $ has a minimal element in the finite-to-one monotone order of ultrafilters. (5) $\mathscr E $ has a $Q$-point. A consequence is that NCF is equivalent to $\mathbb H^*$ containing no proper dense semicontinuum and no non-block points. This gives an axiom-contingent answer to a question of the author. Thus every known continuum has either a proper dense semicontinuum at every point or at no points. We examine the structure of indecomposable continua for which this fails, and deduce they contain a maximum semicontinuum with dense interior.
△ Less
Submitted 17 July, 2020;
originally announced July 2020.
-
Shore and Non-Block Points in Hausdorff Continua
Authors:
Daron Anderson
Abstract:
We study the shore and non-block points of non-metric continua. We reduce the problem of showing a continuum to have non-block points to that of showing an indecomposable continuum to have non-block points. As a corollary we prove that separable continua have at least two non-block points -- and moreover are irreducible about their set of non-block points.
We study the shore and non-block points of non-metric continua. We reduce the problem of showing a continuum to have non-block points to that of showing an indecomposable continuum to have non-block points. As a corollary we prove that separable continua have at least two non-block points -- and moreover are irreducible about their set of non-block points.
△ Less
Submitted 17 July, 2020; v1 submitted 16 July, 2020;
originally announced July 2020.
-
Hyers--Ulam stability for quantum equations
Authors:
Douglas R. Anderson,
Masakazu Onitsuka
Abstract:
We introduce and study the Hyers--Ulam stability (HUS) of a Cayley quantum ($q$-difference) equation of first order, where the constant coefficient is allowed to range over the complex numbers. In particular, if this coefficient is non-zero, then the quantum equation has Hyers--Ulam stability for certain values of the Cayley parameter, and we establish the best (minimal) HUS constant in terms of t…
▽ More
We introduce and study the Hyers--Ulam stability (HUS) of a Cayley quantum ($q$-difference) equation of first order, where the constant coefficient is allowed to range over the complex numbers. In particular, if this coefficient is non-zero, then the quantum equation has Hyers--Ulam stability for certain values of the Cayley parameter, and we establish the best (minimal) HUS constant in terms of the coefficient only, independent of $q$ and the Cayley parameter. If the Cayley parameter equals one half, then there is no Hyers--Ulam stability for any coefficient value in the complex plane.
△ Less
Submitted 8 May, 2020;
originally announced May 2020.
-
On classes of reaction networks and their associated polynomial dynamical systems
Authors:
David F. Anderson,
James D. Brunner,
Gheorghe Craciun,
Matthew D. Johnston
Abstract:
In the study of reaction networks and the polynomial dynamical systems that they generate, special classes of networks with important properties have been identified. These include reversible, weakly reversible}, and, more recently, endotactic networks. While some inclusions between these network types are clear, such as the fact that all reversible networks are weakly reversible, other relationsh…
▽ More
In the study of reaction networks and the polynomial dynamical systems that they generate, special classes of networks with important properties have been identified. These include reversible, weakly reversible}, and, more recently, endotactic networks. While some inclusions between these network types are clear, such as the fact that all reversible networks are weakly reversible, other relationships are more complicated. Adding to this complexity is the possibility that inclusions be at the level of the dynamical systems generated by the networks rather than at the level of the networks themselves. We completely characterize the inclusions between reversible, weakly reversible, endotactic, and strongly endotactic network, as well as other less well studied network types. In particular, we show that every strongly endotactic network in two dimensions can be generated by an extremally weakly reversible network. We also introduce a new class of source-only networks, which is a computationally convenient property for networks to have, and show how this class relates to the above mentioned network types.
△ Less
Submitted 14 July, 2020; v1 submitted 14 April, 2020;
originally announced April 2020.
-
Best constant for Ulam stability of first-order h-difference equations with periodic coefficient
Authors:
Douglas R. Anderson,
Masakazu Onitsuka,
John Michael Rassias
Abstract:
We establish the best (minimum) constant for Ulam stability of first-order linear $h$-difference equations with a periodic coefficient. First, we show Ulam stability and find the Ulam stability constant for a first-order linear equation with a period-two coefficient, and give several examples. In the last section we prove Ulam stability for a periodic coefficient function of arbitrary finite perio…
▽ More
We establish the best (minimum) constant for Ulam stability of first-order linear $h$-difference equations with a periodic coefficient. First, we show Ulam stability and find the Ulam stability constant for a first-order linear equation with a period-two coefficient, and give several examples. In the last section we prove Ulam stability for a periodic coefficient function of arbitrary finite period. Results on the associated first-order perturbed linear equation with periodic coefficient are also included.
△ Less
Submitted 6 April, 2020;
originally announced April 2020.
-
On n-semiprimary Ideals and n-pseudo Valuation Domains
Authors:
David F. Anderson,
Ayman Badawi
Abstract:
In this paper, we introduce the concept of n-semiprimary ideals, n-powerful ideals, and n-powerful semiprimary ideals of commutative rings. We study these concepts and relate them to several generalizations of pseudo-valuation domains.
In this paper, we introduce the concept of n-semiprimary ideals, n-powerful ideals, and n-powerful semiprimary ideals of commutative rings. We study these concepts and relate them to several generalizations of pseudo-valuation domains.
△ Less
Submitted 11 March, 2020;
originally announced March 2020.
-
Distributed Computation of Graph Matching in Multi-Agent Networks
Authors:
Quoc Van Tran,
Zhiyong Sun,
Brian D. O. Anderson,
Hyo-Sung Ahn
Abstract:
This work considers the distributed computation of the one-to-one vertex correspondences between two undirected and connected graphs, which is called \textit{graph matching}, over multi-agent networks. Given two \textit{isomorphic} and \textit{asymmetric} graphs, there is a unique permutation matrix that maps the vertices in one graph to the vertices in the other. Based on a convex relaxation of g…
▽ More
This work considers the distributed computation of the one-to-one vertex correspondences between two undirected and connected graphs, which is called \textit{graph matching}, over multi-agent networks. Given two \textit{isomorphic} and \textit{asymmetric} graphs, there is a unique permutation matrix that maps the vertices in one graph to the vertices in the other. Based on a convex relaxation of graph matching in Aflalo et al. (2015), we propose a distributed computation of graph matching as a distributed convex optimization problem subject to equality constraints and a global set constraint, using a network of multiple agents whose interaction graph is connected. Each agent in the network only knows one column of each of the adjacency matrices of the two graphs, and all agents collaboratively learn the graph matching by exchanging information with their neighbors. The proposed algorithm employs a projected primal-dual gradient method to handle equality constraints and a set constraint. Under the proposed algorithm, the agents' estimates of the permutation matrix converge to the optimal permutation globally and exponentially fast. Finally, simulation results are given to illustrate the effectiveness of the method.
△ Less
Submitted 20 February, 2020;
originally announced February 2020.
-
A Multi-Valued Logarithm on Time Scales
Authors:
Douglas R. Anderson,
Martin Bohner
Abstract:
A new definition of a multi-valued logarithm on time scales is introduced for delta-differentiable functions that never vanish. This new logarithm arises naturally from the definition of the cylinder transformation that is also at the heart of the definition of exponential functions on time scales. This definition will lead to a logarithm function on arbitrary time scales with familiar and useful…
▽ More
A new definition of a multi-valued logarithm on time scales is introduced for delta-differentiable functions that never vanish. This new logarithm arises naturally from the definition of the cylinder transformation that is also at the heart of the definition of exponential functions on time scales. This definition will lead to a logarithm function on arbitrary time scales with familiar and useful properties that previous definitions in the literature lacked.
△ Less
Submitted 25 January, 2020;
originally announced January 2020.
-
Two generalizations of Krull domains
Authors:
Shiqi Xing,
Daniel D. Anderson,
Muhammad Zafrullah
Abstract:
In this paper we introduce two new generalizations of Krull domains: $\ast$-almost independent rings of Krull type ($\ast$-almost IRKTs) and $\ast$-almost generalized Krull domains ($\ast$-AGKDs), neither of which need be integrally closed. We characterize them using certain types of $\ast$-homogeneous ideals. To do this we introduce $\ast$-almost super-homogeneous ideals and $\ast$-almost super-S…
▽ More
In this paper we introduce two new generalizations of Krull domains: $\ast$-almost independent rings of Krull type ($\ast$-almost IRKTs) and $\ast$-almost generalized Krull domains ($\ast$-AGKDs), neither of which need be integrally closed. We characterize them using certain types of $\ast$-homogeneous ideals. To do this we introduce $\ast$-almost super-homogeneous ideals and $\ast$-almost super-SH domains. We prove that a domain $D$ is a $\ast$-almost IRKT if and only if $D$ is a $\ast$-almost super-SH domain and that a domain is a $\ast$-AGKD if and only if $D$ is a type 1 $\ast$-almost super-SH domain. Further, we study $\ast$-almost factorial general-SH domains ($\ast$-afg SH domains) and we prove that a domain $D$ is a $\ast$-afg-SH domain if and only if $D$ is a $\ast$-IRKT and an AGCD-domain.
△ Less
Submitted 4 December, 2019;
originally announced December 2019.
-
Almost discrete valuation domains
Authors:
Daniel D. Anderson,
Shiqi Xing,
Muhammad Zafrullah
Abstract:
Let $D$ be an integral domain. Then $D$ is an almost valuation (AV-)domain if for $a, b\in D\setminus \{0\}$ there exists a natural number $n$ with $a^{n}\mid b^{n}$ or $b^{n}\mid a^{n}$. AV-domains are closely related to valuation domains, for example, $D$ is an AV-domain if and only if the integral closure $\bar{D}$ is a valuation domain and $D\subseteq \bar{D}$ is a root extension. In this note…
▽ More
Let $D$ be an integral domain. Then $D$ is an almost valuation (AV-)domain if for $a, b\in D\setminus \{0\}$ there exists a natural number $n$ with $a^{n}\mid b^{n}$ or $b^{n}\mid a^{n}$. AV-domains are closely related to valuation domains, for example, $D$ is an AV-domain if and only if the integral closure $\bar{D}$ is a valuation domain and $D\subseteq \bar{D}$ is a root extension. In this note we explore various generalizations of DVRs (which we might call almost DVRs) such as Noetherian AV-domains, AV-domains with $\bar{D}$ a DVR, and quasilocal and local API-domains (i.e., for $\{a_α\}_{α\in Λ}\subseteq D$, there exists an $n$ with $(\{a_α^{n}\}_{α\in Λ})$ principal). The structure of complete local AV-domains and API-domains is determined.
△ Less
Submitted 4 December, 2019;
originally announced December 2019.
