-
Linear Semi-discrete Polyharmonic Flows of Closed Polygons
Authors:
James McCoy,
Jahne Meyer
Abstract:
In 2007, Chow and Glickenstein considered a linear semi-discrete analogue of the second-order curve shortening flow for smooth closed curves. In this article, we consider linear semi-discrete analogues of the polyharmonic curve diffusion flows for curves in $\mathbb{R}^p, p\geq 2$. Since our flows correspond to first-order systems of linear ordinary differential equations with constant coefficient…
▽ More
In 2007, Chow and Glickenstein considered a linear semi-discrete analogue of the second-order curve shortening flow for smooth closed curves. In this article, we consider linear semi-discrete analogues of the polyharmonic curve diffusion flows for curves in $\mathbb{R}^p, p\geq 2$. Since our flows correspond to first-order systems of linear ordinary differential equations with constant coefficients, solutions can be written down explicitly. As an application of similar ideas, we consider a linear semi-discrete answer to Yau's question of when one can flow one curve to another by a curvature flow. In this setting, we are able to flow any closed polygonal curve to any other with the same or differing number of vertices, in the sense of exponential convergence in infinite time to a translate of the target polygon.
△ Less
Submitted 7 February, 2025;
originally announced February 2025.
-
Semi-discrete linear hyperbolic polyharmonic flows of closed polygons
Authors:
James McCoy,
Jahne Meyer
Abstract:
We consider the damped hyperbolic motion of polygons by a linear semi-discrete analogue of polyharmonic curve diffusion. We show that such flows may transition any polygon to any other polygon, reminiscent of the Yau problem of evolving one curve to another by a curvature flow, before converging exponentially to a point that, under appropriate rescaling, is a planar basis polygon. We also consider…
▽ More
We consider the damped hyperbolic motion of polygons by a linear semi-discrete analogue of polyharmonic curve diffusion. We show that such flows may transition any polygon to any other polygon, reminiscent of the Yau problem of evolving one curve to another by a curvature flow, before converging exponentially to a point that, under appropriate rescaling, is a planar basis polygon. We also consider a hyperbolic linear semi-discrete flow of the Yau curvature difference flow, where a polygonal curve is able to flow to any other such that we get convergence to the target polygon in infinite time.
△ Less
Submitted 7 February, 2025;
originally announced February 2025.
-
Theorems and Conjectures on an Arithmetic Sum Associated with the Classical Theta Function $θ_3$
Authors:
Bruce C. Berndt,
Raghavendra N. Bhat,
Jeffrey L. Meyer,
Likun Xie,
Alexandru Zaharescu
Abstract:
Appearing in the modular transformation formula for the classical theta function $θ_3(z)$ is the sum $S(h,k):=\sum_{j=1}^{k-1}(-1)^{j+1+[hj/k]}$, which is an analogue of the classical Dedekind sum $s(h,k).$ We establish several properties for $S(h,k)$ and $S(k) := \sum_{h=1}^{k-1}S(h,k).$ Several conjectures about the values of $S(k)$ are given.
Appearing in the modular transformation formula for the classical theta function $θ_3(z)$ is the sum $S(h,k):=\sum_{j=1}^{k-1}(-1)^{j+1+[hj/k]}$, which is an analogue of the classical Dedekind sum $s(h,k).$ We establish several properties for $S(h,k)$ and $S(k) := \sum_{h=1}^{k-1}S(h,k).$ Several conjectures about the values of $S(k)$ are given.
△ Less
Submitted 10 December, 2024;
originally announced January 2025.
-
A note on time-asymptotic bounds with a sharp algebraic rate and a transitional exponent for the sublinear Fujita problem
Authors:
David John Needham,
John Christopher Meyer
Abstract:
This note establishes sharp time-asymptotic algebraic rate bounds for the classical evolution problem of Fujita, but with sublinear rather than superlinear exponent. A transitional stability exponent is identified, which has a simple reciprocity relation with the classical Fujita critical blow-up exponent.
This note establishes sharp time-asymptotic algebraic rate bounds for the classical evolution problem of Fujita, but with sublinear rather than superlinear exponent. A transitional stability exponent is identified, which has a simple reciprocity relation with the classical Fujita critical blow-up exponent.
△ Less
Submitted 11 November, 2024;
originally announced November 2024.
-
Are zero-symmetric simple nearrings with identity equiprime?
Authors:
Wen-Fong Ke,
Johannes H. Meyer
Abstract:
We show that there exist zero-symmetric simple nearrings with identity which are not equiprime, solving a longstanding open problem.
We show that there exist zero-symmetric simple nearrings with identity which are not equiprime, solving a longstanding open problem.
△ Less
Submitted 6 November, 2024; v1 submitted 21 May, 2024;
originally announced May 2024.
-
Solving Boltzmann Optimization Problems with Deep Learning
Authors:
Fiona Knoll,
John T. Daly,
Jess J. Meyer
Abstract:
Decades of exponential scaling in high performance computing (HPC) efficiency is coming to an end. Transistor based logic in complementary metal-oxide semiconductor (CMOS) technology is approaching physical limits beyond which further miniaturization will be impossible. Future HPC efficiency gains will necessarily rely on new technologies and paradigms of compute. The Ising model shows particular…
▽ More
Decades of exponential scaling in high performance computing (HPC) efficiency is coming to an end. Transistor based logic in complementary metal-oxide semiconductor (CMOS) technology is approaching physical limits beyond which further miniaturization will be impossible. Future HPC efficiency gains will necessarily rely on new technologies and paradigms of compute. The Ising model shows particular promise as a future framework for highly energy efficient computation. Ising systems are able to operate at energies approaching thermodynamic limits for energy consumption of computation. Ising systems can function as both logic and memory. Thus, they have the potential to significantly reduce energy costs inherent to CMOS computing by eliminating costly data movement. The challenge in creating Ising-based hardware is in optimizing useful circuits that produce correct results on fundamentally nondeterministic hardware. The contribution of this paper is a novel machine learning approach, a combination of deep neural networks and random forests, for efficiently solving optimization problems that minimize sources of error in the Ising model. In addition, we provide a process to express a Boltzmann probability optimization problem as a supervised machine learning problem.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
Design of General Purpose Minimal-Auxiliary Ising Machines
Authors:
Isaac K. Martin,
Andrew G. Moore,
John T. Daly,
Jess J. Meyer,
Teresa M. Ranadive
Abstract:
Ising machines are a form of quantum-inspired processing-in-memory computer which has shown great promise for overcoming the limitations of traditional computing paradigms while operating at a fraction of the energy use. The process of designing Ising machines is known as the reverse Ising problem. Unfortunately, this problem is in general computationally intractable: it is a nonconvex mixed-integ…
▽ More
Ising machines are a form of quantum-inspired processing-in-memory computer which has shown great promise for overcoming the limitations of traditional computing paradigms while operating at a fraction of the energy use. The process of designing Ising machines is known as the reverse Ising problem. Unfortunately, this problem is in general computationally intractable: it is a nonconvex mixed-integer linear programming problem which cannot be naively brute-forced except in the simplest cases due to exponential scaling of runtime with number of spins. We prove new theoretical results which allow us to reduce the search space to one with quadratic scaling. We utilize this theory to develop general purpose algorithmic solutions to the reverse Ising problem. In particular, we demonstrate Ising formulations of 3-bit and 4-bit integer multiplication which use fewer total spins than previously known methods by a factor of more than three. Our results increase the practicality of implementing such circuits on modern Ising hardware, where spins are at a premium.
△ Less
Submitted 24 October, 2023;
originally announced October 2023.
-
Consistency of Random Forest Type Algorithms under a Probabilistic Impurity Decrease Condition
Authors:
Ricardo Blum,
Munir Hiabu,
Enno Mammen,
Joseph T. Meyer
Abstract:
This paper derives a unifying theorem establishing consistency results for a broad class of tree-based algorithms. It improves current results in two aspects. First of all, it can be applied to algorithms that vary from traditional Random Forests due to additional randomness for choosing splits, extending split options, allowing partitions into more than two cells in a single iteration step, and c…
▽ More
This paper derives a unifying theorem establishing consistency results for a broad class of tree-based algorithms. It improves current results in two aspects. First of all, it can be applied to algorithms that vary from traditional Random Forests due to additional randomness for choosing splits, extending split options, allowing partitions into more than two cells in a single iteration step, and combinations of those. In particular, we prove consistency for Extremely Randomized Trees, Interaction Forests and Oblique Regression Trees using our general theorem. Secondly, it can be used to demonstrate consistency for a larger function class compared to previous results on Random Forests if one allows for additional random splits. Our results are based on the extension of the recently introduced notion of sufficient impurity decrease to a probabilistic sufficient impurity decrease condition.
△ Less
Submitted 20 February, 2024; v1 submitted 4 September, 2023;
originally announced September 2023.
-
The evolution problem for the 1D nonlocal Fisher-KPP equation with a top hat kernel. Part 1. The Cauchy problem on the real line
Authors:
D. J. Needham,
J. Billingham,
N. M. Ladas,
J. C. Meyer
Abstract:
We study the Cauchy problem on the real line for the nonlocal Fisher-KPP equation in one spatial dimension, \[ u_t = D u_{xx} + u(1-φ*u), \] where $φ*u$ is a spatial convolution with the top hat kernel, $φ(y) \equiv H\left(\frac{1}{4}-y^2\right)$.
After showing that the problem is globally well-posed, we demonstrate that positive, spatially-periodic solutions bifurcate from the spatially-uniform…
▽ More
We study the Cauchy problem on the real line for the nonlocal Fisher-KPP equation in one spatial dimension, \[ u_t = D u_{xx} + u(1-φ*u), \] where $φ*u$ is a spatial convolution with the top hat kernel, $φ(y) \equiv H\left(\frac{1}{4}-y^2\right)$.
After showing that the problem is globally well-posed, we demonstrate that positive, spatially-periodic solutions bifurcate from the spatially-uniform steady state solution $u=1$ as the diffusivity, $D$, decreases through $Δ_1 \approx 0.00297$. We explicitly construct these spatially-periodic solutions as uniformly-valid asymptotic approximations for $D \ll 1$, over one wavelength, via the method of matched asymptotic expansions. These consist, at leading order, of regularly-spaced, compactly-supported regions with width of $O(1)$ where $u=O(1)$, separated by regions where $u$ is exponentially small at leading order as $D \to 0^+$.
From numerical solutions, we find that for $D \geq Δ_1$, permanent form travelling waves, with minimum wavespeed, $2 \sqrt{D}$, are generated, whilst for $0 < D < Δ_1$, the wavefronts generated separate the regions where $u=0$ from a region where a steady periodic solution is created. The structure of these transitional travelling waves is examined in some detail.
△ Less
Submitted 12 March, 2024; v1 submitted 21 April, 2023;
originally announced April 2023.
-
The Riemann problem for a generalised Burgers equation with spatially decaying sound speed. II General qualitative theory
Authors:
John Christopher Meyer,
David John Needham
Abstract:
We establish that the initial value problem for a generalised Burgers equation considered in part I of this paper, is well-posed. We also establish several qualitative properties of solutions to the initial value problem utilised in part I of the paper.
We establish that the initial value problem for a generalised Burgers equation considered in part I of this paper, is well-posed. We also establish several qualitative properties of solutions to the initial value problem utilised in part I of the paper.
△ Less
Submitted 11 September, 2022;
originally announced September 2022.
-
Unifying local and global model explanations by functional decomposition of low dimensional structures
Authors:
Munir Hiabu,
Joseph T. Meyer,
Marvin N. Wright
Abstract:
We consider a global representation of a regression or classification function by decomposing it into the sum of main and interaction components of arbitrary order. We propose a new identification constraint that allows for the extraction of interventional SHAP values and partial dependence plots, thereby unifying local and global explanations. With our proposed identification, a feature's partial…
▽ More
We consider a global representation of a regression or classification function by decomposing it into the sum of main and interaction components of arbitrary order. We propose a new identification constraint that allows for the extraction of interventional SHAP values and partial dependence plots, thereby unifying local and global explanations. With our proposed identification, a feature's partial dependence plot corresponds to the main effect term plus the intercept. The interventional SHAP value of feature $k$ is a weighted sum of the main component and all interaction components that include $k$, with the weights given by the reciprocal of the component's dimension. This brings a new perspective to local explanations such as SHAP values which were previously motivated by game theory only. We show that the decomposition can be used to reduce direct and indirect bias by removing all components that include a protected feature. Lastly, we motivate a new measure of feature importance. In principle, our proposed functional decomposition can be applied to any machine learning model, but exact calculation is only feasible for low-dimensional structures or ensembles of those. We provide an algorithm and efficient implementation for gradient-boosted trees (xgboost) and random planted forest. Conducted experiments suggest that our method provides meaningful explanations and reveals interactions of higher orders. The proposed methods are implemented in an R package, available at \url{https://github.com/PlantedML/glex}.
△ Less
Submitted 23 February, 2023; v1 submitted 12 August, 2022;
originally announced August 2022.
-
Optimal Convergence Rates of Deep Neural Networks in a Classification Setting
Authors:
Joseph T. Meyer
Abstract:
We establish optimal convergence rates up to a log-factor for a class of deep neural networks in a classification setting under a restraint sometimes referred to as the Tsybakov noise condition. We construct classifiers in a general setting where the boundary of the bayes-rule can be approximated well by neural networks. Corresponding rates of convergence are proven with respect to the misclassifi…
▽ More
We establish optimal convergence rates up to a log-factor for a class of deep neural networks in a classification setting under a restraint sometimes referred to as the Tsybakov noise condition. We construct classifiers in a general setting where the boundary of the bayes-rule can be approximated well by neural networks. Corresponding rates of convergence are proven with respect to the misclassification error. It is then shown that these rates are optimal in the minimax sense if the boundary satisfies a smoothness condition. Non-optimal convergence rates already exist for this setting. Our main contribution lies in improving existing rates and showing optimality, which was an open problem. Furthermore, we show almost optimal rates under some additional restraints which circumvent the curse of dimensionality. For our analysis we require a condition which gives new insight on the restraint used. In a sense it acts as a requirement for the "correct noise exponent" for a class of functions.
△ Less
Submitted 25 July, 2022;
originally announced July 2022.
-
Local linear smoothing in additive models as data projection
Authors:
Munir Hiabu,
Enno Mammen,
Joseph T. Meyer
Abstract:
We discuss local linear smooth backfitting for additive non-parametric models. This procedure is well known for achieving optimal convergence rates under appropriate smoothness conditions. In particular, it allows for the estimation of each component of an additive model with the same asymptotic accuracy as if the other components were known. The asymptotic discussion of local linear smooth backfi…
▽ More
We discuss local linear smooth backfitting for additive non-parametric models. This procedure is well known for achieving optimal convergence rates under appropriate smoothness conditions. In particular, it allows for the estimation of each component of an additive model with the same asymptotic accuracy as if the other components were known. The asymptotic discussion of local linear smooth backfitting is rather complex because typically an overwhelming notation is required for a detailed discussion. In this paper we interpret the local linear smooth backfitting estimator as a projection of the data onto a linear space with a suitably chosen semi-norm. This approach simplifies both the mathematical discussion as well as the intuitive understanding of properties of this version of smooth backfitting.
△ Less
Submitted 26 January, 2022;
originally announced January 2022.
-
The Development of a Wax Layer on the Interior Wall of a Circular Pipe Transporting Heated Oil -- The Effects of Temperature Dependent Wax Conductivity
Authors:
Sophie Lauren Mason,
John Christopher Meyer,
David John Needham
Abstract:
In this paper we develop and significantly extend the thermal phase change model, introduced in [12], describing the process of paraffinic wax layer formation on the interior wall of a circular pipe transporting heated oil, when subject to external cooling. In particular we allow for the natural dependence of the solidifying paraffinic wax conductivity on local temperature. We are able to develop…
▽ More
In this paper we develop and significantly extend the thermal phase change model, introduced in [12], describing the process of paraffinic wax layer formation on the interior wall of a circular pipe transporting heated oil, when subject to external cooling. In particular we allow for the natural dependence of the solidifying paraffinic wax conductivity on local temperature. We are able to develop a complete theory, and provide efficient numerical computations, for this extended model. Comparison with recent experimental observations is made, and this, together with recent reviews of the physical mechanisms associated with wax layer formation, provide significant support for the thermal model considered here.
△ Less
Submitted 29 April, 2021;
originally announced April 2021.
-
Universal systole bounds for arithmetic locally symmetric spaces
Authors:
Sara Lapan,
Benjamin Linowitz,
Jeffrey S. Meyer
Abstract:
The systole of a closed Riemannian manifold is the minimal length of a non-contractible closed loop. We give a uniform lower bound for the systole for large classes of simple arithmetic locally symmetric orbifolds. We establish new bounds for the translation length of a semisimple element x in SL_n(R) in terms of its associated Mahler measure. We use these geometric methods to prove the existence…
▽ More
The systole of a closed Riemannian manifold is the minimal length of a non-contractible closed loop. We give a uniform lower bound for the systole for large classes of simple arithmetic locally symmetric orbifolds. We establish new bounds for the translation length of a semisimple element x in SL_n(R) in terms of its associated Mahler measure. We use these geometric methods to prove the existence of extensions of number fields in which fixed sets of primes have certain prescribed splitting behavior.
△ Less
Submitted 2 February, 2021;
originally announced February 2021.
-
Random Planted Forest: a directly interpretable tree ensemble
Authors:
Munir Hiabu,
Enno Mammen,
Joseph T. Meyer
Abstract:
We introduce a novel interpretable tree based algorithm for prediction in a regression setting. Our motivation is to estimate the unknown regression function from a functional decomposition perspective in which the functional components correspond to lower order interaction terms. The idea is to modify the random forest algorithm by keeping certain leaves after they are split instead of deleting t…
▽ More
We introduce a novel interpretable tree based algorithm for prediction in a regression setting. Our motivation is to estimate the unknown regression function from a functional decomposition perspective in which the functional components correspond to lower order interaction terms. The idea is to modify the random forest algorithm by keeping certain leaves after they are split instead of deleting them. This leads to non-binary trees which we refer to as planted trees. An extension to a forest leads to our random planted forest algorithm. Additionally, the maximum number of covariates which can interact within a leaf can be bounded. If we set this interaction bound to one, the resulting estimator is a sum of one-dimensional functions. In the other extreme case, if we do not set a limit, the resulting estimator and corresponding model place no restrictions on the form of the regression function. In a simulation study we find encouraging prediction and visualisation properties of our random planted forest method. We also develop theory for an idealized version of random planted forests in cases where the interaction bound is low. We show that if it is smaller than three, the idealized version achieves asymptotically optimal convergence rates up to a logarithmic factor. Code is available on GitHub https://github.com/PlantedML/randomPlantedForest.
△ Less
Submitted 3 August, 2023; v1 submitted 28 December, 2020;
originally announced December 2020.
-
Intensity -- A Metric Approach to Quantifying Attractor Robustness in ODEs
Authors:
Katherine J. Meyer,
Richard P. McGehee
Abstract:
Although mathematical models do not fully match reality, robustness of dynamical objects to perturbation helps bridge from theoretical to real-world dynamical systems. Classical theories of structural stability and isolated invariant sets treat robustness of qualitative dynamics to sufficiently small errors. But they do not indicate just how large a perturbation can become before the qualitative b…
▽ More
Although mathematical models do not fully match reality, robustness of dynamical objects to perturbation helps bridge from theoretical to real-world dynamical systems. Classical theories of structural stability and isolated invariant sets treat robustness of qualitative dynamics to sufficiently small errors. But they do not indicate just how large a perturbation can become before the qualitative behavior of our system changes fundamentally. Here we introduce a quantity, intensity of attraction, that measures the robustness of attractors in metric terms. Working in the setting of ordinary differential equations on $\mathbb{R}^n$, we consider robustness to vector field perturbations that are time-dependent or -independent. We define intensity in a control-theoretic framework, based on the magnitude of control needed to steer trajectories out of a domain of attraction. Our main result is that intensity also quantifies the robustness of an attractor to time-independent vector field perturbations; we prove this by connecting the reachable sets of control theory to isolating blocks of Conley theory. In addition to treating classical questions of robustness in a new metric framework, intensity of attraction offers a novel tool for resilience quantification in ecological applications. Unlike many measurements of resilience, intensity detects the strength of transient dynamics in a domain of attraction.
△ Less
Submitted 19 December, 2020;
originally announced December 2020.
-
Comparison principles for a class of nonlinear non-local integro-differential operators on unbounded domains
Authors:
Nikolaos Michael Ladas,
John Christopher Meyer
Abstract:
We present extensions of the comparison and maximum principles available for nonlinear non-local integro-differential operators $P:\mathcal{C}^{2,1}(Ω\times (0,T])\times L^\infty (Ω\times (0,T])\to\mathbb{R}$, of the form $P[u] = L[u] -f(\cdot ,\cdot ,u,Ju)$ on $Ω\times (0,T]$. Here, we consider: unbounded spatial domains $Ω\subset \mathbb{R}^n$, with $T>0$; sufficiently regular second order linea…
▽ More
We present extensions of the comparison and maximum principles available for nonlinear non-local integro-differential operators $P:\mathcal{C}^{2,1}(Ω\times (0,T])\times L^\infty (Ω\times (0,T])\to\mathbb{R}$, of the form $P[u] = L[u] -f(\cdot ,\cdot ,u,Ju)$ on $Ω\times (0,T]$. Here, we consider: unbounded spatial domains $Ω\subset \mathbb{R}^n$, with $T>0$; sufficiently regular second order linear parabolic partial differential operators $L$; sufficiently regular semi-linear terms $f:(Ω\times (0,T]) \times \mathbb{R}^2\to\mathbb{R}$; and the non-local term $Ju= \int_{Ω}φ(x-y)u(y,t)dy$, with $φ$ in a class of non-negative sufficiently summable kernels. We also provide examples illustrating the limitations and applicability of our results.
△ Less
Submitted 30 November, 2020;
originally announced November 2020.
-
A note on boundary point principles for partial differential inequalities of elliptic type
Authors:
John Christopher Meyer
Abstract:
In this note we consider boundary point principles for partial differential inequalities of elliptic type. Firstly, we highlight the difference between conditions required to establish classical strong maximum principles and classical boundary point lemmas for second order linear elliptic partial differential inequalities. We highlight this difference by introducing a singular set in the domain wh…
▽ More
In this note we consider boundary point principles for partial differential inequalities of elliptic type. Firstly, we highlight the difference between conditions required to establish classical strong maximum principles and classical boundary point lemmas for second order linear elliptic partial differential inequalities. We highlight this difference by introducing a singular set in the domain where the coefficients of the partial differential inequality need not be defined, and in a neighborhood of which, can blow-up. Secondly, as a consequence, we establish a comparison-type boundary point lemma for classical elliptic solutions to quasi-linear partial differential inequalities. Thirdly, we consider tangency principles, for $C^1$ elliptic weak solutions to quasi-linear divergence structure partial differential inequalities. We highlight the necessity of certain hypotheses in the aforementioned results via simple examples.
△ Less
Submitted 12 November, 2019;
originally announced November 2019.
-
On two-signed solutions to a second order semi-linear parabolic partial differential equation with non-Lipschitz nonlinearity
Authors:
Victoria Clark,
John Christopher Meyer
Abstract:
In this paper, we establish the existence of a 1-parameter family of spatially inhomogeneous radially symmetric classical self-similar solutions to a Cauchy problem for a semi-linear parabolic PDE with non-Lipschitz nonlinearity and trivial initial data. Specifically we establish well-posedness for an associated initial value problem for a singular two-dimensional non-autonomous dynamical system w…
▽ More
In this paper, we establish the existence of a 1-parameter family of spatially inhomogeneous radially symmetric classical self-similar solutions to a Cauchy problem for a semi-linear parabolic PDE with non-Lipschitz nonlinearity and trivial initial data. Specifically we establish well-posedness for an associated initial value problem for a singular two-dimensional non-autonomous dynamical system with non-Lipschitz nonlinearity. Additionally, we establish that solutions to the initial value problem converge algebraically to the origin and oscillate as $η\to \infty$.
△ Less
Submitted 21 June, 2019;
originally announced June 2019.
-
Arithmeticity and Hidden Symmetries of Fully Augmented Pretzel Link Complements
Authors:
Jeffrey S. Meyer,
Christian Millichap,
Rolland Trapp
Abstract:
This paper examines number theoretic and topological properties of fully augmented pretzel link complements. In particular, we determine exactly when these link complements are arithmetic and exactly which are commensurable with one another. We show these link complements realize infinitely many CM-fields as invariant trace fields, which we explicitly compute. Further, we construct two infinite fa…
▽ More
This paper examines number theoretic and topological properties of fully augmented pretzel link complements. In particular, we determine exactly when these link complements are arithmetic and exactly which are commensurable with one another. We show these link complements realize infinitely many CM-fields as invariant trace fields, which we explicitly compute. Further, we construct two infinite families of non-arithmetic fully augmented link complements: one that has no hidden symmetries and the other where the number of hidden symmetries grows linearly with volume. This second family realizes the maximal growth rate for the number of hidden symmetries relative to volume for non-arithmetic hyperbolic 3-manifolds. Our work requires a careful analysis of the geometry of these link complements, including their cusp shapes and totally geodesic surfaces inside of these manifolds.
△ Less
Submitted 17 February, 2020; v1 submitted 1 November, 2018;
originally announced November 2018.
-
Functions realising as abelian group automorphisms
Authors:
B-E de Klerk,
JH Meyer,
J Szigeti,
L van Wyk
Abstract:
Let $A$ be a set and $f:A\rightarrow A$ a bijective function. Necessary and sufficient conditions on $f$ are determined which makes it possible to endow $A$ with a binary operation $*$ such that $(A,*)$ is a cyclic group and $f\in \mbox{Aut}(A)$. This result is extended to all abelian groups in case $|A|=p^2, \ p$ a prime. Finally, in case $A$ is countably infinite, those $f$ for which it is possi…
▽ More
Let $A$ be a set and $f:A\rightarrow A$ a bijective function. Necessary and sufficient conditions on $f$ are determined which makes it possible to endow $A$ with a binary operation $*$ such that $(A,*)$ is a cyclic group and $f\in \mbox{Aut}(A)$. This result is extended to all abelian groups in case $|A|=p^2, \ p$ a prime. Finally, in case $A$ is countably infinite, those $f$ for which it is possible to turn $A$ into a group $(A,*)$ isomorphic to ${\Bbb Z}^n$ for some $n\ge 1$, and with $f\in \mbox{Aut} (A)$, are completely characterised.
△ Less
Submitted 17 October, 2018;
originally announced October 2018.
-
Systole inequalities for arithmetic locally symmetric spaces
Authors:
Sara Lapan,
Benjamin Linowitz,
Jeffrey S. Meyer
Abstract:
In this paper we study the systole growth of arithmetic locally symmetric spaces up congruence covers and show that this growth is at least logarithmic in volume. This generalizes previous work of Buser and Sarnak as well as Katz, Schaps and Vishne where the case of compact hyperbolic 2- and 3-manifolds was considered.
In this paper we study the systole growth of arithmetic locally symmetric spaces up congruence covers and show that this growth is at least logarithmic in volume. This generalizes previous work of Buser and Sarnak as well as Katz, Schaps and Vishne where the case of compact hyperbolic 2- and 3-manifolds was considered.
△ Less
Submitted 8 April, 2018; v1 submitted 29 September, 2017;
originally announced October 2017.
-
The evolution to localized and front solutions in a non-Lipschitz reaction-diffusion Cauchy problem with trivial initial data
Authors:
John Christopher Meyer,
David John Needham
Abstract:
In this paper, we establish the existence of spatially inhomogeneous classical self-similar solutions to a non-Lipschitz semi-linear parabolic Cauchy problem with trivial initial data. Specifically we consider bounded solutions to an associated two-dimensional non-Lipschitz non-autonomous dynamical system, for which, we establish the existence of a two-parameter family of homoclinic connections on…
▽ More
In this paper, we establish the existence of spatially inhomogeneous classical self-similar solutions to a non-Lipschitz semi-linear parabolic Cauchy problem with trivial initial data. Specifically we consider bounded solutions to an associated two-dimensional non-Lipschitz non-autonomous dynamical system, for which, we establish the existence of a two-parameter family of homoclinic connections on the origin, and a heteroclinic connection between two equilibrium points. Additionally, we obtain bounds and estimates on the rate of convergence of the homoclinic connections to the origin.
△ Less
Submitted 28 July, 2016;
originally announced July 2016.
-
On a $L^\infty$ functional derivative estimate relating to the Cauchy problem for scalar semi-linear parabolic partial differential equations with general continuous nonlinearity
Authors:
John Christopher Meyer,
David John Needham
Abstract:
In this paper, we consider a $L^\infty$ functional derivative estimate for the first spatial derivative of bounded classical solutions $u:\mathbb{R}\times [0,T]\to\mathbb{R}$ to the Cauchy problem for scalar semi-linear parabolic partial differential equations with a continuous nonlinearity $f:\mathbb{R}\to\mathbb{R}$ and initial data $u_0:\mathbb{R}\to\mathbb{R}$, of the form, \[ \sup_{x\in\mathb…
▽ More
In this paper, we consider a $L^\infty$ functional derivative estimate for the first spatial derivative of bounded classical solutions $u:\mathbb{R}\times [0,T]\to\mathbb{R}$ to the Cauchy problem for scalar semi-linear parabolic partial differential equations with a continuous nonlinearity $f:\mathbb{R}\to\mathbb{R}$ and initial data $u_0:\mathbb{R}\to\mathbb{R}$, of the form, \[ \sup_{x\in\mathbb{R}}|u_x (x , t)| \leq \mathcal{F}_t (f,u_0,u) \ \ \ \forall t\in [0,T] . \] Here $\mathcal{F}_t:\mathcal{A}_t\to\mathbb{R}$ is a functional as defined in \textsection 1. We establish that the functional derivative estimate is non-trivially sharp, by constructing a sequence $(f_n,0,u^{(n)})$, where for each $n\in\mathbb{N}$, $u^{(n)}:\mathbb{R}\times [0,T]\to\mathbb{R}$ is a solution to the Cauchy problem with zero initial data and nonlinearity $f_n:\mathbb{R}\to\mathbb{R}$, and for which $\sup_{x\in\mathbb{R}} |u_x^{(n)}(x,T)| \geq α>0$, with \[ \lim_{n\to\infty} \left( \inf_{t\in [0,T]} \left( \sup_{x\in\mathbb{R}}|u_x^{(n)}(\cdot , t)| - \mathcal{F}_t (f_n , 0 , u^{(n)}) \right) \right) = 0 . \]
△ Less
Submitted 24 July, 2016;
originally announced July 2016.
-
Constructing Geometrically Equivalent Hyperbolic Orbifolds
Authors:
D. B. McReynolds,
Jeffrey S. Meyer,
Matthew Stover
Abstract:
In this paper, we construct families of nonisometric hyperbolic orbifolds that contain the same isometry classes of nonflat totally geodesic subspaces. The main tool is a variant of the well-known Sunada method for constructing length-isospectral Riemannian manifolds that handles totally geodesic submanifolds of multiple codimensions simultaneously.
In this paper, we construct families of nonisometric hyperbolic orbifolds that contain the same isometry classes of nonflat totally geodesic subspaces. The main tool is a variant of the well-known Sunada method for constructing length-isospectral Riemannian manifolds that handles totally geodesic submanifolds of multiple codimensions simultaneously.
△ Less
Submitted 15 November, 2016; v1 submitted 23 July, 2015;
originally announced July 2015.
-
Systolic Surfaces of Arithmetic Hyperbolic 3-Manifolds
Authors:
Benjamin Linowitz,
Jeffrey S. Meyer
Abstract:
In this paper we examine the geometry of minimal surfaces of arithmetic hyperbolic 3-manifolds. In particular, we give bounds on the totally geodesic 2-systole, construct infinitely many incommensurable manifolds with the same initial geometric genus spectrum in which volume and 1-systole are controlled, and analyze the growth of the genera of minimal surfaces across commensurability classes. Thes…
▽ More
In this paper we examine the geometry of minimal surfaces of arithmetic hyperbolic 3-manifolds. In particular, we give bounds on the totally geodesic 2-systole, construct infinitely many incommensurable manifolds with the same initial geometric genus spectrum in which volume and 1-systole are controlled, and analyze the growth of the genera of minimal surfaces across commensurability classes. These results have applications to the study of how Heegard genus grows across commensurability classes.
△ Less
Submitted 27 June, 2015;
originally announced June 2015.
-
The length spectra of arithmetic hyperbolic 3-manifolds and their totally geodesic surfaces
Authors:
Benjamin Linowitz,
Jeffrey S. Meyer,
Paul Pollack
Abstract:
In this paper we examine the relationship between the length spectrum and the geometric genus spectrum of an arithmetic hyperbolic 3-orbifold M. In particular we analyze the extent to which the geometry of M is determined by the closed geodesics coming from finite area totally geodesic surfaces. Using a variety of techniques from analytic number theory, we address the following problems: Is the co…
▽ More
In this paper we examine the relationship between the length spectrum and the geometric genus spectrum of an arithmetic hyperbolic 3-orbifold M. In particular we analyze the extent to which the geometry of M is determined by the closed geodesics coming from finite area totally geodesic surfaces. Using a variety of techniques from analytic number theory, we address the following problems: Is the commensurability class of an arithmetic hyperbolic 3-orbifold determined by the lengths of closed geodesics lying on totally geodesic surfaces?, Do there exist arithmetic hyperbolic 3-orbifolds whose "short" geodesics do not lie on any totally geodesic surfaces?, and Do there exist arithmetic hyperbolic 3-orbifolds whose "short" geodesics come from distinct totally geodesic surfaces?
△ Less
Submitted 18 May, 2015;
originally announced May 2015.
-
Quantization of the Laplacian operator on vector bundles I
Authors:
Julien Keller,
Julien Meyer,
Reza Seyyedali
Abstract:
Let $(E,h)$ be a holomorphic Hermitian vector bundle over a polarized manifold. We provide a canonical quantization of the Laplacian operator acting on sections of the bundle of Hermitian endomorphisms of $E$. If $E$ is simple we obtain an approximation of the eigenvalues and eigenspaces of the Laplacian.
Let $(E,h)$ be a holomorphic Hermitian vector bundle over a polarized manifold. We provide a canonical quantization of the Laplacian operator acting on sections of the bundle of Hermitian endomorphisms of $E$. If $E$ is simple we obtain an approximation of the eigenvalues and eigenspaces of the Laplacian.
△ Less
Submitted 14 May, 2015;
originally announced May 2015.
-
Totally Geodesic Spectra of Quaternionic Hyperbolic Orbifolds
Authors:
Jeffrey S. Meyer
Abstract:
In this paper we analyze and classify the totally geodesic subspaces of finite volume quaternionic hyperbolic orbifolds and their generalizations, locally symmetric orbifolds arising from irreducible lattices in Lie groups of the form $(\mathbf{Sp}_{2n}(\mathbb{R}))^q \times \prod_{i=1}^r \mathbf{Sp}(p_i,n-p_i) \times (\mathbf{Sp}_{2n}(\mathbb{C}))^s$. We give criteria for when the totally geodesi…
▽ More
In this paper we analyze and classify the totally geodesic subspaces of finite volume quaternionic hyperbolic orbifolds and their generalizations, locally symmetric orbifolds arising from irreducible lattices in Lie groups of the form $(\mathbf{Sp}_{2n}(\mathbb{R}))^q \times \prod_{i=1}^r \mathbf{Sp}(p_i,n-p_i) \times (\mathbf{Sp}_{2n}(\mathbb{C}))^s$. We give criteria for when the totally geodesic subspaces of such an orbifold determine its commensurability class. We give a parametrization of the commensurability classes of finite volume quaternionic hyperbolic orbifolds in terms of arithmetic data, which we use to show that the complex hyperbolic totally geodesic subspaces of a quaternionic hyperbolic orbifold determine its commensurability class, but the real hyperbolic totally geodesic subspaces do not. Lastly, our tools allow us to show that every cocompact lattice $Γ<\mathbf{Sp}(m,1)$, $m\ge 2$, contains quasiconvex surface subgroups.
△ Less
Submitted 14 May, 2015;
originally announced May 2015.
-
On the isospectral orbifold-manifold problem for nonpositively curved locally symmetric spaces
Authors:
Benjamin Linowitz,
Jeffrey S. Meyer
Abstract:
An old problem asks whether a Riemannian manifold can be isospectral to a Riemannian orbifold with nontrivial singular set. In this short note we show that under the assumption of Schanuel's conjecture in transcendental number theory, this is impossible whenever the orbifold and manifold in question are length-commensurable compact locally symmetric spaces of nonpositive curvature associated to si…
▽ More
An old problem asks whether a Riemannian manifold can be isospectral to a Riemannian orbifold with nontrivial singular set. In this short note we show that under the assumption of Schanuel's conjecture in transcendental number theory, this is impossible whenever the orbifold and manifold in question are length-commensurable compact locally symmetric spaces of nonpositive curvature associated to simple Lie groups.
△ Less
Submitted 7 April, 2015;
originally announced April 2015.
-
Totally Geodesic Spectra of Arithmetic Hyperbolic Spaces
Authors:
Jeffrey S. Meyer
Abstract:
In this paper we show that totally geodesic subspaces determine the commensurability class of a standard arithmetic hyperbolic $n$-orbifold, $n\ge 4$. Many of the results are more general and apply to locally symmetric spaces associated to arithmetic lattices in $\mathbb{R}$-simple Lie groups of type $B_n$ and $D_n$. We use a combination of techniques from algebraic groups and quadratic forms to p…
▽ More
In this paper we show that totally geodesic subspaces determine the commensurability class of a standard arithmetic hyperbolic $n$-orbifold, $n\ge 4$. Many of the results are more general and apply to locally symmetric spaces associated to arithmetic lattices in $\mathbb{R}$-simple Lie groups of type $B_n$ and $D_n$. We use a combination of techniques from algebraic groups and quadratic forms to prove several results about these spaces.
△ Less
Submitted 9 June, 2015; v1 submitted 11 August, 2014;
originally announced August 2014.
-
Matrix representations of finitely generated Grassmann algebras and some consequences
Authors:
László Márki,
Johan Meyer,
Jenő Szigeti,
Leon van Wyk
Abstract:
We prove that the m-generated Grassmann algebra can be embedded into a 2^{m-1}x2^{m-1} matrix algebra over a factor of a commutative polynomial algebra in m indeterminates. Cayley-Hamilton and standard identities for nxn matrices over the m-generated Grassmann algebra are derived from this embedding. Other related embedding results are also presented.
We prove that the m-generated Grassmann algebra can be embedded into a 2^{m-1}x2^{m-1} matrix algebra over a factor of a commutative polynomial algebra in m indeterminates. Cayley-Hamilton and standard identities for nxn matrices over the m-generated Grassmann algebra are derived from this embedding. Other related embedding results are also presented.
△ Less
Submitted 24 December, 2014; v1 submitted 1 July, 2013;
originally announced July 2013.
-
Division Algebras With Infinite Genus
Authors:
Jeffrey S. Meyer
Abstract:
To what extent does the maximal subfield spectrum of a division algebra determine the isomorphism class of that algebra? It has been shown that over some fields a quaternion division algebra's isomorphism class is largely if not entirely determined by its maximal subfield spectrum. However in this paper, we show that there are fields for which the maximal subfield spectrum says little to nothing a…
▽ More
To what extent does the maximal subfield spectrum of a division algebra determine the isomorphism class of that algebra? It has been shown that over some fields a quaternion division algebra's isomorphism class is largely if not entirely determined by its maximal subfield spectrum. However in this paper, we show that there are fields for which the maximal subfield spectrum says little to nothing about a quaternion division algebra's isomorphism class. We give an explicit construction of a division algebra with infinite genus. Along the way we introduce the notion of a "linking field extension," which we hope will be of independent interest. We go on to show that there exists a field K for which (1) there are infinitely many nonisomorphic quaternion division algebras with center K, and (2) any two quaternion division algebra with center K are pairwise weakly isomorphic. In fact we show that there are infinitely many nonisomorphic fields satisfying these two conditions.
△ Less
Submitted 12 August, 2014; v1 submitted 23 January, 2013;
originally announced January 2013.
-
A Cayley-Hamilton trace identity for 2 x 2 matrices over Lie-solvable rings
Authors:
Johan Meyer,
Jeno Szigeti,
Leon van Wyk
Abstract:
We exhibit a Cayley-Hamilton trace identity for $2\times2$ matrices with entries in a ring $R$ satisfying $[[x,y],[x,z]]=0$ and 1/2 \in R$.
We exhibit a Cayley-Hamilton trace identity for $2\times2$ matrices with entries in a ring $R$ satisfying $[[x,y],[x,z]]=0$ and 1/2 \in R$.
△ Less
Submitted 30 June, 2011;
originally announced June 2011.
-
The escaping set of a quasiregular mapping
Authors:
Walter Bergweiler,
Alastair Fletcher,
Jim Langley,
Janis Meyer
Abstract:
We show that if the maximum modulus of a quasiregular mapping f grows sufficiently rapidly then there exists a non-empty escaping set I(f) consisting of points whose forward orbits under iteration tend to infinity. This set I(f) has an unbounded component but, in contrast to the case of entire functions on the complex plane, the closure of I(f) may have a bounded component.
We show that if the maximum modulus of a quasiregular mapping f grows sufficiently rapidly then there exists a non-empty escaping set I(f) consisting of points whose forward orbits under iteration tend to infinity. This set I(f) has an unbounded component but, in contrast to the case of entire functions on the complex plane, the closure of I(f) may have a bounded component.
△ Less
Submitted 1 February, 2008;
originally announced February 2008.
-
On $qp$-Deformations in Statistical Mechanics of Bosons in D Dimensions
Authors:
M. R. Kibler,
J. Meyer,
M. Daoud
Abstract:
The Bose distribution for a gas of nonrelativistic free bosons is derived in the framework of $qp$-deformed second quantization. Some thermodynamical functions for such a system in D dimensions are derived. Bose-Einstein condensation is discussed in terms of the parameters q and p as well as a parameter $ν_0'$ which characterizes the representation space of the oscillator algebra.
The Bose distribution for a gas of nonrelativistic free bosons is derived in the framework of $qp$-deformed second quantization. Some thermodynamical functions for such a system in D dimensions are derived. Bose-Einstein condensation is discussed in terms of the parameters q and p as well as a parameter $ν_0'$ which characterizes the representation space of the oscillator algebra.
△ Less
Submitted 6 November, 1996;
originally announced November 1996.
-
An $U_{qp}(u_2)$ Rotor Model for Rotational Bands of Superdeformed Nuclei
Authors:
R. Barbier,
J. Meyer,
M. Kibler
Abstract:
A nonrigid rotor model is developed from the two-parameter quantum algebra $U_{qp}({\rm u}_2)$. [This model presents the $U_{qp}({\rm u}_2)$ symmetry and shall be referred to as the qp-rotor model.] A rotational energy formula as well as a qp-deformation of E2 reduced transition probabilities are derived. The qp-rotor model is applied (through fitting procedures) to twenty rotational bands of su…
▽ More
A nonrigid rotor model is developed from the two-parameter quantum algebra $U_{qp}({\rm u}_2)$. [This model presents the $U_{qp}({\rm u}_2)$ symmetry and shall be referred to as the qp-rotor model.] A rotational energy formula as well as a qp-deformation of E2 reduced transition probabilities are derived. The qp-rotor model is applied (through fitting procedures) to twenty rotational bands of superdeformed nuclei in the $A \sim 130$, 150 and 190 mass regions. Systematic comparisons between the qp-rotor model and the q-rotor model of Raychev, Roussev and Smirnov, on one hand, and a basic three-parameter model, on the other hand, are performed on energy spectra, on dynamical moments of inertia and on B(E2) values. The physical signification of the deformation parameters q and p is discussed.
△ Less
Submitted 25 January, 1995;
originally announced January 1995.
