-
Localising invariants in derived bornological geometry
Authors:
Jack Kelly,
Devarshi Mukherjee
Abstract:
We study several categories of analytic stacks relative to the category of bornological modules over a Banach ring. When the underlying Banach ring is a nonarchimedean valued field, this category contains derived rigid analytic spaces as a full subcategory. When the underlying field is the complex numbers, it contains the category of derived complex analytic spaces. In the second part of the paper…
▽ More
We study several categories of analytic stacks relative to the category of bornological modules over a Banach ring. When the underlying Banach ring is a nonarchimedean valued field, this category contains derived rigid analytic spaces as a full subcategory. When the underlying field is the complex numbers, it contains the category of derived complex analytic spaces. In the second part of the paper, we consider localising invariants of rigid categories associated to bornological algebras. The main results in this part include Nisnevich descent for derived analytic spaces and a version of the Grothendieck-Riemann-Roch Theorem for derived dagger analytic spaces over an arbitrary Banach ring.
△ Less
Submitted 29 May, 2025; v1 submitted 21 May, 2025;
originally announced May 2025.
-
Making Space for Time: The Special Galilean Group and Its Application to Some Robotics Problems
Authors:
Jonathan Kelly
Abstract:
The special Galilean group, usually denoted SGal(3), is a 10-dimensional Lie group whose important subgroups include the special orthogonal group, the special Euclidean group, and the group of extended poses. We briefly describe SGal(3) and its Lie algebra and show how the group structure supports a unified representation of uncertainty in space and time. Our aim is to highlight the potential usef…
▽ More
The special Galilean group, usually denoted SGal(3), is a 10-dimensional Lie group whose important subgroups include the special orthogonal group, the special Euclidean group, and the group of extended poses. We briefly describe SGal(3) and its Lie algebra and show how the group structure supports a unified representation of uncertainty in space and time. Our aim is to highlight the potential usefulness of this group for several robotics problems.
△ Less
Submitted 3 October, 2024; v1 submitted 21 September, 2024;
originally announced September 2024.
-
Multiscale Modeling Framework using Element-based Galerkin Methods for Moist Atmospheric Limited-Area Simulations
Authors:
Soonpil Kang,
James F. Kelly,
Anthony P. Austin,
Francis X. Giraldo
Abstract:
This paper presents a multiscale modeling framework (MMF) to model moist atmospheric limited-area weather. The MMF resolves large-scale convection using a coarse grid while simultaneously resolving local features through numerous fine local grids and coupling them seamlessly. Both large- and small-scale processes are modeled using the compressible Navier-Stokes equations within the Nonhydrostatic…
▽ More
This paper presents a multiscale modeling framework (MMF) to model moist atmospheric limited-area weather. The MMF resolves large-scale convection using a coarse grid while simultaneously resolving local features through numerous fine local grids and coupling them seamlessly. Both large- and small-scale processes are modeled using the compressible Navier-Stokes equations within the Nonhydrostatic Unified Model of the Atmosphere (NUMA), and they are discretized using a continuous element-based Galerkin method (spectral elements) with high-order basis functions. Consequently, the large-scale and small-scale models share the same dynamical core but have the flexibility to be adjusted individually. The proposed MMF method is tested in 2D and 3D idealized limited-area weather problems involving storm clouds produced by squall line and supercell simulations. The MMF numerical results showed enhanced representation of cloud processes compared to the coarse model.
△ Less
Submitted 11 May, 2024;
originally announced July 2024.
-
A Perspective on the Foundations of Derived Analytic Geometry
Authors:
Oren Ben-Bassat,
Jack Kelly,
Kobi Kremnizer
Abstract:
We show how one can do algebraic geometry with respect to the category of simplicial objects in an exact category. As a biproduct, we get a theory of derived analytic geometry.
We show how one can do algebraic geometry with respect to the category of simplicial objects in an exact category. As a biproduct, we get a theory of derived analytic geometry.
△ Less
Submitted 13 May, 2024;
originally announced May 2024.
-
Flat model structures for accessible exact categories
Authors:
Jack Kelly
Abstract:
We develop techniques for constructing model structures on chain complexes valued in accessible exact categories, and apply this to show that for a closed symmetric monoidal, locally presentable exact category $\mathpzc{E}$ with exact filtered colimits and enough flat objects, the flat cotorsion pair on $\mathpzc{E}$ induces an exact model structure on $\mathrm{Ch}(\mathpzc{E})$. Further we show t…
▽ More
We develop techniques for constructing model structures on chain complexes valued in accessible exact categories, and apply this to show that for a closed symmetric monoidal, locally presentable exact category $\mathpzc{E}$ with exact filtered colimits and enough flat objects, the flat cotorsion pair on $\mathpzc{E}$ induces an exact model structure on $\mathrm{Ch}(\mathpzc{E})$. Further we show that when enriched over $\mathbb{Q}$ such categories furnish convenient settings for homotopical algebra - in particular that they are Homotopical Algebra Contexts, and admit powerful Koszul duality theorems. As an example, we consider categories of sheaves valued in monoidal locally presentable exact categories.
△ Less
Submitted 12 January, 2024;
originally announced January 2024.
-
Efficient Spectral Element Method for the Euler Equations on Unbounded Domains
Authors:
Yassine Tissaoui,
James F. Kelly,
Simone Marras
Abstract:
Mitigating the impact of waves leaving a numerical domain has been a persistent challenge in numerical modeling. Reducing wave reflection at the domain boundary is crucial for accurate simulations. Absorbing layers, while common, often incur significant computational costs. This paper introduces an efficient application of a Legendre-Laguerre basis for absorbing layers for two-dimensional non-line…
▽ More
Mitigating the impact of waves leaving a numerical domain has been a persistent challenge in numerical modeling. Reducing wave reflection at the domain boundary is crucial for accurate simulations. Absorbing layers, while common, often incur significant computational costs. This paper introduces an efficient application of a Legendre-Laguerre basis for absorbing layers for two-dimensional non-linear compressible Euler equations. The method couples a spectral-element bounded domain with a semi-infinite region, employing a tensor product of Lagrange and scaled Laguerre basis functions. Semi-infinite elements are used in the absorbing layer with Rayleigh damping. In comparison to existing methods with similar absorbing layer extensions, this approach, a pioneering application to the Euler equations of compressible and stratified flows, demonstrates substantial computational savings. The study marks the first application of semi-infinite elements to mitigate wave reflection in the solution of the Euler equations, particularly in nonhydrostatic atmospheric modeling. A comprehensive set of tests demonstrates the method's versatility for general systems of conservation laws, with a focus on its effectiveness in damping vertically propagating mountain gravity waves, a benchmark for atmospheric models. Across all tests, the model presented in this paper consistently exhibits notable performance improvements compared to a traditional Rayleigh damping approach.
△ Less
Submitted 18 November, 2024; v1 submitted 10 January, 2024;
originally announced January 2024.
-
A coarse geometric approach to graph layout problems
Authors:
Wanying Huang,
David Hume,
Samuel J. Kelly,
Ryan Lam
Abstract:
We define a range of new coarse geometric invariants based on various graph-theoretic measures of complexity for finite graphs, including: treewidth, pathwidth, cutwidth, search number, topological bandwidth, bandwidth, minimal linear arrangment, sumcut, profile, vertex and edge separation. We prove that, for bounded degree graphs, these invariants can be used to define functions which satisfy a s…
▽ More
We define a range of new coarse geometric invariants based on various graph-theoretic measures of complexity for finite graphs, including: treewidth, pathwidth, cutwidth, search number, topological bandwidth, bandwidth, minimal linear arrangment, sumcut, profile, vertex and edge separation. We prove that, for bounded degree graphs, these invariants can be used to define functions which satisfy a strong monotonicity property, namely they are monotonically non-decreasing with respect to regular maps, and as such have potential applications in coarse geometry and geometric group theory. On the graph-theoretic side, we prove asymptotically optimal upper bounds on the treewidth, pathwidth, cutwidth, search number, topological bandwidth, vertex separation, edge separation, minimal linear arrangement, sumcut and profile for the family of all finite subgraphs of any bounded degree graph whose separation profile is known to be of the form $r^a\log(r)^b$ for some $a>0$. This large class includes the Diestel-Leader graph, all Cayley graphs of non-virtually cyclic polycyclic groups, uniform lattices in almost all connected unimodular Lie groups, and certain hyperbolic groups.
△ Less
Submitted 12 December, 2023;
originally announced December 2023.
-
A Performance Study of Horizontally Explicit Vertically Implicit (HEVI) Time-Integrators for Non-Hydrostatic Atmospheric Models
Authors:
Francis X. Giraldo,
Felipe Augusto Ventura de Braganca Alves,
James F. Kelly,
Soonpil Kang,
P. Alex Reiencke
Abstract:
We conduct a thorough study of different forms of horizontally explicit and vertically implicit (HEVI) time-integration strategies for the compressible Euler equations on spherical domains typical of nonhydrostatic global atmospheric applications. We compare the computational time and complexity of two nonlinear variants (NHEVI-GMRES and NHEVI-LU) and a linear variant (LHEVI). We report on the per…
▽ More
We conduct a thorough study of different forms of horizontally explicit and vertically implicit (HEVI) time-integration strategies for the compressible Euler equations on spherical domains typical of nonhydrostatic global atmospheric applications. We compare the computational time and complexity of two nonlinear variants (NHEVI-GMRES and NHEVI-LU) and a linear variant (LHEVI). We report on the performance of these three variants for a number of additive Runge-Kutta Methods ranging in order of accuracy from second through fifth, and confirm the expected order of accuracy of the HEVI methods for each time-integrator. To gauge the maximum usable time-step of each HEVI method, we run simulations of a nonhydrostatic baroclinic instability for 100 days and then use this time-step to compare the time-to-solution of each method. The results show that NHEVI-LU is 2x faster than NHEVI-GMRES, and LHEVI is 5x faster than NHEVI-LU, for the idealized cases tested. The baroclinic instability and inertia-gravity wave simulations indicate that the optimal choice of time-integrator is LHEVI with either second or third order schemes, as both schemes yield similar time to solution and relative L2 error at their maximum usable time-steps. In the future, we will report on whether these results hold for more complex problems using, e.g., real atmospheric data and/or a higher model top typical of space weather applications.
△ Less
Submitted 19 November, 2023;
originally announced November 2023.
-
The Spectrum of Self-Adjoint Extensions associated with Exceptional Laguerre Differential Expressions
Authors:
Dale Frymark,
Jessica Stewart Kelly
Abstract:
Exceptional Laguerre-type differential expressions make up an infinite class of Schrödinger operators having rational potentials and one limit-circle endpoint. In this manuscript, the spectrum of all self-adjoint extensions for a general exceptional Laguerre-type differential expression is given in terms of the Darboux transformations which relate the expression to the classical Laguerre different…
▽ More
Exceptional Laguerre-type differential expressions make up an infinite class of Schrödinger operators having rational potentials and one limit-circle endpoint. In this manuscript, the spectrum of all self-adjoint extensions for a general exceptional Laguerre-type differential expression is given in terms of the Darboux transformations which relate the expression to the classical Laguerre differential expression. The spectrum is extracted from an explicit Weyl $m$-function, up to a sign.
The construction relies primarily on two tools: boundary triples, which parameterize the self-adjoint extensions and produce the Weyl $m$-functions, and manipulations of Maya diagrams and partitions, which classify the seed functions defining the relevant Darboux transforms. Several examples are presented.
△ Less
Submitted 19 August, 2022;
originally announced August 2022.
-
Analytic Hochschild-Kostant-Rosenberg Theorem
Authors:
Jack Kelly,
Kobi Kremnizer,
Devarshi Mukherjee
Abstract:
Let $R$ be a Banach ring. We prove that the category of chain complexes of complete bornological $R$-modules (and several related categories) is a derived algebraic context in the sense of Raksit. We then use the framework of derived algebra to prove a version of the Hochschild-Kostant-Rosenberg Theorem, which relates the circle action on the Hochschild algebra to the de Rham-differential-enriched…
▽ More
Let $R$ be a Banach ring. We prove that the category of chain complexes of complete bornological $R$-modules (and several related categories) is a derived algebraic context in the sense of Raksit. We then use the framework of derived algebra to prove a version of the Hochschild-Kostant-Rosenberg Theorem, which relates the circle action on the Hochschild algebra to the de Rham-differential-enriched-de Rham algebra of a simplicial, commutative, complete bornological algebra. This has a geometric interpretation in the language of derived analytic geometry, namely, the derived loop stack of a derived analytic stack is equivalent to the shifted tangent stack. Using this geometric interpretation we extend our results to derived schemes.
△ Less
Submitted 5 November, 2021;
originally announced November 2021.
-
Topological dynamics of Markov multi-maps of the interval
Authors:
James P. Kelly,
Kevin McGoff
Abstract:
We study Markov multi-maps of the interval from the point of view of topological dynamics. Specifically, we investigate whether they have various properties, including topological transitivity, topological mixing, dense periodic points, and specification. To each Markov multi-map, we associate a shift of finite type (SFT), and then our main results relate the properties of the SFT with those of th…
▽ More
We study Markov multi-maps of the interval from the point of view of topological dynamics. Specifically, we investigate whether they have various properties, including topological transitivity, topological mixing, dense periodic points, and specification. To each Markov multi-map, we associate a shift of finite type (SFT), and then our main results relate the properties of the SFT with those of the Markov multi-map. These results complement existing work showing a relationship between the topological entropy of a Markov multi-map and its associated SFT. We also characterize when the inverse limit systems associated to the Markov multi-maps have the properties mentioned above.
△ Less
Submitted 15 September, 2021;
originally announced September 2021.
-
A note on deriving unbounded functors of exact categories, with applications to Ind- and Pro- functors
Authors:
Jack Kelly
Abstract:
In this short note we show that under very mild conditions on a functor between exact categories $F:\mathcal{D}\rightarrow\mathcal{E}$ it is possible to derive $F$ at the level of unbounded complexes. We also give applications to deriving functors between $Pro$- and $Ind$- categories.
In this short note we show that under very mild conditions on a functor between exact categories $F:\mathcal{D}\rightarrow\mathcal{E}$ it is possible to derive $F$ at the level of unbounded complexes. We also give applications to deriving functors between $Pro$- and $Ind$- categories.
△ Less
Submitted 1 April, 2021;
originally announced April 2021.
-
Lossy Checkpoint Compression in Full Waveform Inversion: a case study with ZFPv0.5.5 and the Overthrust Model
Authors:
Navjot Kukreja,
Jan Hueckelheim,
Mathias Louboutin,
John Washbourne,
Paul H. J. Kelly,
Gerard J. Gorman
Abstract:
This paper proposes a new method that combines check-pointing methods with error-controlled lossy compression for large-scale high-performance Full-Waveform Inversion (FWI), an inverse problem commonly used in geophysical exploration. This combination can significantly reduce data movement, allowing a reduction in run time as well as peak memory. In the Exascale computing era, frequent data transf…
▽ More
This paper proposes a new method that combines check-pointing methods with error-controlled lossy compression for large-scale high-performance Full-Waveform Inversion (FWI), an inverse problem commonly used in geophysical exploration. This combination can significantly reduce data movement, allowing a reduction in run time as well as peak memory. In the Exascale computing era, frequent data transfer (e.g., memory bandwidth, PCIe bandwidth for GPUs, or network) is the performance bottleneck rather than the peak FLOPS of the processing unit. Like many other adjoint-based optimization problems, FWI is costly in terms of the number of floating-point operations, large memory footprint during backpropagation, and data transfer overheads. Past work for adjoint methods has developed checkpointing methods that reduce the peak memory requirements during backpropagation at the cost of additional floating-point computations. Combining this traditional checkpointing with error-controlled lossy compression, we explore the three-way tradeoff between memory, precision, and time to solution. We investigate how approximation errors introduced by lossy compression of the forward solution impact the objective function gradient and final inverted solution. Empirical results from these numerical experiments indicate that high lossy-compression rates (compression factors ranging up to 100) have a relatively minor impact on convergence rates and the quality of the final solution.
△ Less
Submitted 15 September, 2021; v1 submitted 26 September, 2020;
originally announced September 2020.
-
Entropy conjugacy for Markov multi-maps of the interval
Authors:
James P. Kelly,
Kevin McGoff
Abstract:
We consider a class $\mathcal{F}$ of Markov multi-maps on the unit interval. Any multi-map gives rise to a space of trajectories, which is a closed, shift-invariant subset of $[0,1]^{\mathbb{Z}_+}$. For a multi-map in $\mathcal{F}$, we show that the space of trajectories is (Borel) entropy conjugate to an associated shift of finite type. Additionally, we characterize the set of numbers that can be…
▽ More
We consider a class $\mathcal{F}$ of Markov multi-maps on the unit interval. Any multi-map gives rise to a space of trajectories, which is a closed, shift-invariant subset of $[0,1]^{\mathbb{Z}_+}$. For a multi-map in $\mathcal{F}$, we show that the space of trajectories is (Borel) entropy conjugate to an associated shift of finite type. Additionally, we characterize the set of numbers that can be obtained as the topological entropy of a multi-map in $\mathcal{F}$.
△ Less
Submitted 1 October, 2019;
originally announced October 2019.
-
Inverse Kinematics for Serial Kinematic Chains via Sum of Squares Optimization
Authors:
Filip Maric,
Matthew Giamou,
Soroush Khoubyarian,
Ivan Petrovic,
Jonathan Kelly
Abstract:
Inverse kinematics is a fundamental problem for articulated robots: fast and accurate algorithms are needed for translating task-related workspace constraints and goals into feasible joint configurations. In general, inverse kinematics for serial kinematic chains is a difficult nonlinear problem, for which closed form solutions cannot be easily obtained. Therefore, computationally efficient numeri…
▽ More
Inverse kinematics is a fundamental problem for articulated robots: fast and accurate algorithms are needed for translating task-related workspace constraints and goals into feasible joint configurations. In general, inverse kinematics for serial kinematic chains is a difficult nonlinear problem, for which closed form solutions cannot be easily obtained. Therefore, computationally efficient numerical methods that can be adapted to a general class of manipulators are of great importance. % to motion planning and workspace generation tasks. In this paper, we use convex optimization techniques to solve the inverse kinematics problem with joint limit constraints for highly redundant serial kinematic chains with spherical joints in two and three dimensions. This is accomplished through a novel formulation of inverse kinematics as a nearest point problem, and with a fast sum of squares solver that exploits the sparsity of kinematic constraints for serial manipulators. Our method has the advantages of post-hoc certification of global optimality and a runtime that scales polynomialy with the number of degrees of freedom. Additionally, we prove that our convex relaxation leads to a globally optimal solution when certain conditions are met, and demonstrate empirically that these conditions are common and represent many practical instances. Finally, we provide an open source implementation of our algorithm.
△ Less
Submitted 29 October, 2020; v1 submitted 20 September, 2019;
originally announced September 2019.
-
Linear operators with infinite entropy
Authors:
Will Brian,
James P. Kelly
Abstract:
We examine the chaotic behavior of certain continuous linear operators on infinite-dimensional Banach spaces, and provide several equivalent characterizations of when these operators have infinite topological entropy.
For example, it is shown that infinite topological entropy is equivalent to non-zero topological entropy for translation operators on weighted Lebesgue function spaces. In particul…
▽ More
We examine the chaotic behavior of certain continuous linear operators on infinite-dimensional Banach spaces, and provide several equivalent characterizations of when these operators have infinite topological entropy.
For example, it is shown that infinite topological entropy is equivalent to non-zero topological entropy for translation operators on weighted Lebesgue function spaces. In particular, finite non-zero entropy is impossible for this class of operators, which answers a question raised by Yin and Wei.
△ Less
Submitted 1 August, 2019;
originally announced August 2019.
-
Koszul duality in exact categories
Authors:
Jack Kelly
Abstract:
In this paper we establish Koszul duality type results in the setting of chain complexes in exact categories. In particular we prove generalisations of Vallette's cooperadic Koszul duality theorem, and operadic Koszul duality along the lines of Lurie. We also prove a connective version. We conclude with some applications, including our main example, the category of complete bornological spaces ove…
▽ More
In this paper we establish Koszul duality type results in the setting of chain complexes in exact categories. In particular we prove generalisations of Vallette's cooperadic Koszul duality theorem, and operadic Koszul duality along the lines of Lurie. We also prove a connective version. We conclude with some applications, including our main example, the category of complete bornological spaces over a Banach field.
△ Less
Submitted 27 December, 2023; v1 submitted 24 May, 2019;
originally announced May 2019.
-
Characterization of the Pareto social choice correspondence
Authors:
Jerry S. Kelly
Abstract:
Necessary and sufficient conditions are derived for a social choice correspondence to be the one that selects the Pareto optimal alternatives.
Necessary and sufficient conditions are derived for a social choice correspondence to be the one that selects the Pareto optimal alternatives.
△ Less
Submitted 29 October, 2019; v1 submitted 10 April, 2018;
originally announced April 2018.
-
Balancedness of Social Choice Correspondences
Authors:
Jerry S. Kelly,
Shaofang Qi
Abstract:
A social choice correspondence satisfies balancedness if, for every pair of alternatives, x and y, and every pair of individuals, i and j, whenever a profile has x adjacent to but just above y for individual i while individual j has y adjacent to but just above x, then only switching x and y in the orderings for both of those two individuals leaves the choice set unchanged. We show how the balance…
▽ More
A social choice correspondence satisfies balancedness if, for every pair of alternatives, x and y, and every pair of individuals, i and j, whenever a profile has x adjacent to but just above y for individual i while individual j has y adjacent to but just above x, then only switching x and y in the orderings for both of those two individuals leaves the choice set unchanged. We show how the balancedness condition interacts with other social choice properties, especially tops-only. We also use balancedness to characterize the Borda rule (for a fixed number of voters) within the class of scoring rules.
△ Less
Submitted 11 April, 2018; v1 submitted 9 April, 2018;
originally announced April 2018.
-
Range results for some social choice correspondences
Authors:
Jerry S. Kelly
Abstract:
Determination of the range of a variety of social choice correspondences: Plurality voting, the Borda rule, the Pareto rule, the Copeland correspondence, approval voting, and the top cycle correspondence
Determination of the range of a variety of social choice correspondences: Plurality voting, the Borda rule, the Pareto rule, the Copeland correspondence, approval voting, and the top cycle correspondence
△ Less
Submitted 27 December, 2017;
originally announced December 2017.
-
Direct Limits of Adèle Rings and Their Completions
Authors:
James P. Kelly,
Charles L. Samuels
Abstract:
The adèle ring $\mathbb A_K$ of a global field $K$ is a locally compact, metrizable topological ring which is complete with respect to any invariant metric on $\mathbb A_K$. For a fixed global field $F$ and a possibly infinite algebraic extension $E/F$, there is a natural partial ordering on $\{\mathbb A_K:F\subseteq K\subseteq E\}$. Therefore, we may form the direct limit \[
\mathbb A_E = \vari…
▽ More
The adèle ring $\mathbb A_K$ of a global field $K$ is a locally compact, metrizable topological ring which is complete with respect to any invariant metric on $\mathbb A_K$. For a fixed global field $F$ and a possibly infinite algebraic extension $E/F$, there is a natural partial ordering on $\{\mathbb A_K:F\subseteq K\subseteq E\}$. Therefore, we may form the direct limit \[
\mathbb A_E = \varinjlim \mathbb A_K \] which provides one possible generalization of adèle rings to arbitrary algebraic extensions $E/F$. In the case where $E/F$ is Galois, we define an alternate generalization of the adèles, denoted $\bar{\mathbb V}_E$, to be a certain metrizable topological ring of continuous functions on the set of places of $E$. We show that $\bar{\mathbb V}_E$ is isomorphic to the completion of $\mathbb A_E$ with respect to any invariant metric and use this isomorphism to establish several topological properties of $\mathbb A_E$.
△ Less
Submitted 19 December, 2019; v1 submitted 21 December, 2017;
originally announced December 2017.
-
Moment Representations of Type I X2 Exceptional Laguerre Polynomials
Authors:
Constanze Liaw,
Jessica Stewart Kelly,
John Osborn
Abstract:
The $X_m$ exceptional orthogonal polynomials (XOP) form a complete set of eigenpolynomials to a differential equation. Despite being complete, the XOP set does not contain polynomials of every degree. Thereby, the XOP escape the Bochner classification theorem.
In literature two ways to obtain XOP have been presented. When m=1, Gram-Schmidt orthogonalization of a so-called "flag" was used. For ge…
▽ More
The $X_m$ exceptional orthogonal polynomials (XOP) form a complete set of eigenpolynomials to a differential equation. Despite being complete, the XOP set does not contain polynomials of every degree. Thereby, the XOP escape the Bochner classification theorem.
In literature two ways to obtain XOP have been presented. When m=1, Gram-Schmidt orthogonalization of a so-called "flag" was used. For general m, the Darboux transform was applied.
Here, we present a possible flag for the X_m exceptional Laguerre polynomials. We can write more about this. We only want to make specific picks when we also derive determinantal representations. There is a large degree of freedom in doing so. Further, we derive determinantal representations of the X_2 exceptional Laguerre polynomials involving certain adjusted moments of the exceptional weights. We find a recursion formula for these adjusted moments. The particular canonical flag we pick keeps both the determinantal representation and the moment recursion manageable.
△ Less
Submitted 22 May, 2017;
originally announced May 2017.
-
Moment Representations of Exceptional $X_1$ Orthogonal Polynomials
Authors:
Constanze Liaw,
Jessica Stewart Kelly,
John Osborn
Abstract:
We obtain representations of $X_1$ exceptional orthogonal polynomials through determinants of matrices that have certain adjusted moments as entries. We start out directly from the Darboux transformation, allowing for a universal perspective, rather than dependent upon the particular system (Jacobi or Type of Laguerre polynomials). We include a recursion formula for the adjusted moments and provid…
▽ More
We obtain representations of $X_1$ exceptional orthogonal polynomials through determinants of matrices that have certain adjusted moments as entries. We start out directly from the Darboux transformation, allowing for a universal perspective, rather than dependent upon the particular system (Jacobi or Type of Laguerre polynomials). We include a recursion formula for the adjusted moments and provide the initial adjusted moments for each system.
Throughout we relate to the various examples of $X_1$ exceptional orthogonal polynomials. We especially focus on and provide complete proofs for the Jacobi and the Type III Laguerre case, as they are less prevalent in literature.
Lastly, we include a preliminary discussion explaining that the higher co-dimension setting becomes more involved. The number of possibilities and choices is exemplified, but only starts, with the lack of a canonical flag.
△ Less
Submitted 20 October, 2016;
originally announced October 2016.
-
Homotopy in Exact Categories
Authors:
Jack Kelly
Abstract:
In this monograph we develop various aspects of the homotopy theory of exact categories. We introduce different notions of compactness and generation in exact categories $E$, and use these to study model structures on categories of chain complexes $Ch_{*}(E)$ which are induced by cotorsion pairs on $E$. As a special case we show that under very general conditions the categories $Ch_{+}(E)$,…
▽ More
In this monograph we develop various aspects of the homotopy theory of exact categories. We introduce different notions of compactness and generation in exact categories $E$, and use these to study model structures on categories of chain complexes $Ch_{*}(E)$ which are induced by cotorsion pairs on $E$. As a special case we show that under very general conditions the categories $Ch_{+}(E)$, $Ch_{\ge0}(E)$, and $Ch(E)$ are equipped with the projective model structure, and that a generalisation of the Dold-Kan correspondence holds. We also establish conditions under which categories of filtered objects in exact categories are equipped with natural model structures. When $E$ is monoidal we also examine when these model structures are monoidal and conclude by studying some homotopical algebra in such categories. In particular we provide conditions under which $Ch(E)$ and $Ch_{\ge0}(E)$ are homotopical algebra contexts, thus making them suitable settings for derived geometry.
△ Less
Submitted 26 July, 2021; v1 submitted 21 March, 2016;
originally announced March 2016.
-
Topological entropy on set-valued functions
Authors:
James Kelly,
Tim Tennant
Abstract:
Topological entropy is a widely studied indicator of chaos in topological dynamics. Here we give a generalized definition of topological entropy which may be applied to set-valued functions. We demonstrate that some of the well-known results concerning topological entropy of continuous (single-valued) functions extend naturally to set-valued functions while others must be altered. We also present…
▽ More
Topological entropy is a widely studied indicator of chaos in topological dynamics. Here we give a generalized definition of topological entropy which may be applied to set-valued functions. We demonstrate that some of the well-known results concerning topological entropy of continuous (single-valued) functions extend naturally to set-valued functions while others must be altered. We also present sufficient conditions for a set-valued function to have positive or infinite topological entropy.
△ Less
Submitted 28 September, 2015;
originally announced September 2015.
-
A Class of Orderings in the Range of Borda's Rule
Authors:
Jerry S. Kelly,
Shaofang Qi
Abstract:
We present a class of orderings L for which there exists a profile u of preferences for a fixed odd number of individuals such that Borda's rule maps u to L.
We present a class of orderings L for which there exists a profile u of preferences for a fixed odd number of individuals such that Borda's rule maps u to L.
△ Less
Submitted 13 July, 2015;
originally announced July 2015.
-
Strategy-proofness on the Non-Paretian Subdomain
Authors:
Donald E. Campbell,
Jerry S. Kelly
Abstract:
Let g be a strategy-proof rule on the domain NP of profiles where no alternative Pareto-dominates any other. Then we establish a result with a Gibbard-Satterthwaite flavor: g is dictatorial if its range contains at least three alternatives.
Let g be a strategy-proof rule on the domain NP of profiles where no alternative Pareto-dominates any other. Then we establish a result with a Gibbard-Satterthwaite flavor: g is dictatorial if its range contains at least three alternatives.
△ Less
Submitted 25 February, 2015;
originally announced February 2015.
-
Firedrake: automating the finite element method by composing abstractions
Authors:
Florian Rathgeber,
David A. Ham,
Lawrence Mitchell,
Michael Lange,
Fabio Luporini,
Andrew T. T. McRae,
Gheorghe-Teodor Bercea,
Graham R. Markall,
Paul H. J. Kelly
Abstract:
Firedrake is a new tool for automating the numerical solution of partial differential equations. Firedrake adopts the domain-specific language for the finite element method of the FEniCS project, but with a pure Python runtime-only implementation centred on the composition of several existing and new abstractions for particular aspects of scientific computing. The result is a more complete separat…
▽ More
Firedrake is a new tool for automating the numerical solution of partial differential equations. Firedrake adopts the domain-specific language for the finite element method of the FEniCS project, but with a pure Python runtime-only implementation centred on the composition of several existing and new abstractions for particular aspects of scientific computing. The result is a more complete separation of concerns which eases the incorporation of separate contributions from computer scientists, numerical analysts and application specialists. These contributions may add functionality, or improve performance.
Firedrake benefits from automatically applying new optimisations. This includes factorising mixed function spaces, transforming and vectorising inner loops, and intrinsically supporting block matrix operations. Importantly, Firedrake presents a simple public API for escaping the UFL abstraction. This allows users to implement common operations that fall outside pure variational formulations, such as flux-limiters.
△ Less
Submitted 1 July, 2016; v1 submitted 8 January, 2015;
originally announced January 2015.
-
Two Theorems on the Range of Strategy-proof Rules on a Restricted Domain
Authors:
Donald E. Campbell,
Jerry S. Kelly
Abstract:
Let g be a strategy-proof rule on the domain NP of profiles where no alternative Pareto-dominates any other and let g have range S on NP. We complete the proof of a Gibbard-Satterthwaite result - if S contains more than two elements, then g is dictatorial - by establishing a full range result on two subdomains of NP.
Let g be a strategy-proof rule on the domain NP of profiles where no alternative Pareto-dominates any other and let g have range S on NP. We complete the proof of a Gibbard-Satterthwaite result - if S contains more than two elements, then g is dictatorial - by establishing a full range result on two subdomains of NP.
△ Less
Submitted 29 August, 2014;
originally announced August 2014.
