-
An application of sums of triple products of binomials
Authors:
Michael J. J. Barry
Abstract:
We prove that a certain family of sums of products of three binomials has alternating behavior modulo a prime $p$. To accomplish this we rewrite these sums as signed sums of products of three binomials, the better to handle $p$, and we give closed-form expressions for two related sums of signed products of three binomials.
We prove that a certain family of sums of products of three binomials has alternating behavior modulo a prime $p$. To accomplish this we rewrite these sums as signed sums of products of three binomials, the better to handle $p$, and we give closed-form expressions for two related sums of signed products of three binomials.
△ Less
Submitted 23 February, 2022;
originally announced February 2022.
-
Generators for Decompositions of Tensor Products of Indecomposable Modules
Authors:
Michael J. J. Barry
Abstract:
Let $F$ be a field of non-zero characteristic $p$, let $G$ be a cyclic group of order $q =p^a$ for some positive integer $a$, and let $U$ and $W$ be indecomposable $F G$-modules. We identify a generator for each of the indecomposable components of $U \otimes W$ in terms of a particular $F$-basis of $U \otimes W$, extending previous work in which each component occurred with multiplicity one. An an…
▽ More
Let $F$ be a field of non-zero characteristic $p$, let $G$ be a cyclic group of order $q =p^a$ for some positive integer $a$, and let $U$ and $W$ be indecomposable $F G$-modules. We identify a generator for each of the indecomposable components of $U \otimes W$ in terms of a particular $F$-basis of $U \otimes W$, extending previous work in which each component occurred with multiplicity one. An anonymous reviewer helped us realize that our results are really just a translation of previous results of Iiwa and Iwamatsu to our situation.
△ Less
Submitted 10 January, 2022;
originally announced January 2022.
-
Optimal Seat Allocation Under Social Distancing Constraints
Authors:
Michael Barry,
Claudio Gambella,
Fabio Lorenzi,
John Sheehan,
Joern Ploennigs
Abstract:
The Covid-19 pandemic introduces new challenges and constraints for return to work business planning. We describe a space allocation problem that incorporates social distancing constraints while optimising the number of available safe workspaces in a return to work scenario. We propose and demonstrate a graph based approach that solves the optimisation problem via modelling as a bipartite graph of…
▽ More
The Covid-19 pandemic introduces new challenges and constraints for return to work business planning. We describe a space allocation problem that incorporates social distancing constraints while optimising the number of available safe workspaces in a return to work scenario. We propose and demonstrate a graph based approach that solves the optimisation problem via modelling as a bipartite graph of disconnected components over a graph of constraints. We compare results obtained with a constrained random walk and a linear programming approach.
△ Less
Submitted 11 May, 2021;
originally announced May 2021.
-
Set Equality in Combinatorial Game Theory
Authors:
Michael J. J. Barry
Abstract:
In Combinatorial Game Theory, the fundamental relation of game equivalence, denoted by $=$, is introduced early on and overrides the notion of set equality. We explore what happens if set equality is given its due before game equivalence is introduced.
In Combinatorial Game Theory, the fundamental relation of game equivalence, denoted by $=$, is introduced early on and overrides the notion of set equality. We explore what happens if set equality is given its due before game equivalence is introduced.
△ Less
Submitted 2 September, 2020;
originally announced September 2020.
-
More on Periodicity and Duality associated with Jordan partitions
Authors:
Michael J. J. Barry
Abstract:
Let $J_r$ denote a full $r \times r$ Jordan block matrix with eigenvalue $1$ over a field $F$ of characteristic $p$. For positive integers $r$ and $s$ with $r \leq s$, the Jordan canonical form of the $r s \times r s$ matrix $J_{r} \otimes J_{s}$ has the form $J_{λ_1} \oplus J_{λ_2} \oplus \dots \oplus J_{λ_{r}}$ where $λ_1 \geq λ_2 \geq \dots \geq λ_{r}>0$. This decomposition determines a partiti…
▽ More
Let $J_r$ denote a full $r \times r$ Jordan block matrix with eigenvalue $1$ over a field $F$ of characteristic $p$. For positive integers $r$ and $s$ with $r \leq s$, the Jordan canonical form of the $r s \times r s$ matrix $J_{r} \otimes J_{s}$ has the form $J_{λ_1} \oplus J_{λ_2} \oplus \dots \oplus J_{λ_{r}}$ where $λ_1 \geq λ_2 \geq \dots \geq λ_{r}>0$. This decomposition determines a partition $λ(r,s,p)=(λ_1,λ_2,\dots, λ_{r})$ of $r s$, known as the \textbf{Jordan partition}, but the values of the parts depend on $r$, $s$, and $p$. Write \[(λ_1,λ_2,\dots, λ_{r})=(\overbrace{μ_1,\dots,μ_1}^{m_1},\overbrace{μ_2,\dots,μ_2}^{m_2},\dots, \overbrace{μ_k,\dots,μ_k}^{m_k}) =(m_1 \cdot μ_1, \dots,m_k \cdot μ_k),\] where $μ_1>μ_2>\dots>μ_k>0$, and denote the composition $(m_1,\dots,m_k)$ of $r$ by $c(r,s,p)$. A recent result of Glasby, Praeger, and Xia in \cite{GPX} implies that if $r \leq p^β$, $c(r,s,p)$ is periodic in the second variable $s$ with period length $p^β$ and exhibits a reflection property within that period. We determine the least period length and we exhibit new partial subperiodic and partial subreflective behavior.
△ Less
Submitted 15 July, 2019;
originally announced July 2019.
-
Generators for Decompositions of Tensor Products of Modules associated with standard Jordan partitions
Authors:
Michael J. J. Barry
Abstract:
If $K$ is a field of finite characteristic $p$, $G$ is a cyclic group of order $q=p^α$, $U$ and $W$ are indecomposable $KG$-modules with $\dim U=m$ and $\dim W=n$, and $λ(m,n,p)$ is a standard Jordan partition of $ m n$, we describe how to find a generator for each of the indecomposable components of the $KG$-module $U \otimes W$.
If $K$ is a field of finite characteristic $p$, $G$ is a cyclic group of order $q=p^α$, $U$ and $W$ are indecomposable $KG$-modules with $\dim U=m$ and $\dim W=n$, and $λ(m,n,p)$ is a standard Jordan partition of $ m n$, we describe how to find a generator for each of the indecomposable components of the $KG$-module $U \otimes W$.
△ Less
Submitted 7 August, 2015;
originally announced August 2015.
-
Nonsmooth frameworks for an extended Budyko model
Authors:
Anna M. Barry,
Esther Widiasih,
Richard McGehee
Abstract:
In latitude-dependent energy balance models, ice-free and ice-covered conditions form physical boundaries of the system. With carbon dioxide treated as a bifurcation parameter, the resulting bifurcation diagram is nonsmooth with curves of equilibria and boundaries forming corners at points of intersection. Over long time scales, atmospheric carbon dioxide varies dynamically and the nonsmooth diagr…
▽ More
In latitude-dependent energy balance models, ice-free and ice-covered conditions form physical boundaries of the system. With carbon dioxide treated as a bifurcation parameter, the resulting bifurcation diagram is nonsmooth with curves of equilibria and boundaries forming corners at points of intersection. Over long time scales, atmospheric carbon dioxide varies dynamically and the nonsmooth diagram becomes a set of quasi-equilibria. {However, when introducing carbon dynamics, care must be taken with the physical boundaries and appropriate boundary motion specified. In this article, we extend an energy balance model to include slowly varying carbon dioxide and develop a nonsmooth framework based on physically relevant boundary dynamics. Within this framework, we prove existence and uniqueness of solutions, as well as invariance of the region of phase space bounded by ice-free and ice-covered states.
△ Less
Submitted 13 December, 2017; v1 submitted 23 June, 2014;
originally announced June 2014.
-
On a Question of Glasby, Praeger, and Xia in Characteristic $2$
Authors:
Michael J. J. Barry
Abstract:
Recently, Glasby, Praeger, and Xia asked for necessary and sufficient conditions for the `Jordan partition' $λ(m,n,p)$ to be standard. Previously we gave such conditions when $p$ is any odd prime. Here we give such conditions when $p=2$. Our main result is that $λ(m,n,2)$ is never standard for $4 \leq m \leq n$.
Recently, Glasby, Praeger, and Xia asked for necessary and sufficient conditions for the `Jordan partition' $λ(m,n,p)$ to be standard. Previously we gave such conditions when $p$ is any odd prime. Here we give such conditions when $p=2$. Our main result is that $λ(m,n,2)$ is never standard for $4 \leq m \leq n$.
△ Less
Submitted 14 March, 2014;
originally announced March 2014.
-
On a Question of Glasby, Praeger, and Xia
Authors:
Michael J. J. Barry
Abstract:
Recently, Glasby, Praeger, and Xia asked for necessary and sufficient conditions for the `Jordan Partition' $λ(r,s,p)$ to be standard. We give such conditions when $p$ is an odd prime.
Recently, Glasby, Praeger, and Xia asked for necessary and sufficient conditions for the `Jordan Partition' $λ(r,s,p)$ to be standard. We give such conditions when $p$ is an odd prime.
△ Less
Submitted 26 February, 2014;
originally announced February 2014.
-
On Conditions Relating to Nonsolvability
Authors:
Michael J. J. Barry
Abstract:
Recent work of Kaplan and Levy refining a nonsolvability criterion proved by Thompson in his N-Groups paper prompts questions on whether certain conditions on groups are equivalent to nonsolvability.
Recent work of Kaplan and Levy refining a nonsolvability criterion proved by Thompson in his N-Groups paper prompts questions on whether certain conditions on groups are equivalent to nonsolvability.
△ Less
Submitted 22 September, 2011;
originally announced September 2011.
-
A showcase of torus canards in neuronal bursters
Authors:
John Burke,
Mathieu Desroches,
Anna M. Barry,
Tasso J. Kaper,
Mark A. Kramer
Abstract:
Rapid action potential generation --- spiking --- and alternating intervals of spiking and quiescence --- bursting --- are two dynamic patterns observed in neuronal activity. In computational models of neuronal systems, the transition from spiking to bursting often exhibits complex bifurcation structure. One type of transition involves the torus canard, which was originally observed in a simple bi…
▽ More
Rapid action potential generation --- spiking --- and alternating intervals of spiking and quiescence --- bursting --- are two dynamic patterns observed in neuronal activity. In computational models of neuronal systems, the transition from spiking to bursting often exhibits complex bifurcation structure. One type of transition involves the torus canard, which was originally observed in a simple biophysical model of a Purkinje cell. In this article, we expand on that original result by showing that torus canards arise in a broad array of well-known computational neuronal models with three different classes of bursting dynamics: sub-Hopf/fold cycle bursting, circle/fold cycle bursting, and fold/fold cycle bursting. The essential features that these models share are multiple time scales leading naturally to decomposition into slow and fast systems, a saddle-node of periodic orbits in the fast system, and a torus bifurcation in the full system. We show that the transition from spiking to bursting in each model system is given by an explosion of torus canards. Based on these examples, as well as on emerging theory, we propose that torus canards are a common dynamic phenomenon separating the regimes of spiking and bursting activity.
△ Less
Submitted 14 July, 2011;
originally announced July 2011.
-
Relative Equilibria of the $(1+N)$-Vortex Problem
Authors:
Anna M. Barry,
Glen R. Hall,
C. Eugene Wayne
Abstract:
We examine existence and stability of relative equilibria of the $n$-vortex problem specialized to the case where $N$ vortices have small and equal circulation and one vortex has large circulation. As the small circulation tends to zero, the weak vortices tend to a circle centered on the strong vortex. A special potential function of this limiting problem can be used to characterize orbits and sta…
▽ More
We examine existence and stability of relative equilibria of the $n$-vortex problem specialized to the case where $N$ vortices have small and equal circulation and one vortex has large circulation. As the small circulation tends to zero, the weak vortices tend to a circle centered on the strong vortex. A special potential function of this limiting problem can be used to characterize orbits and stability. Whenever a critical point of this function is nondegenerate, we prove that the orbit can be continued, and its linear stability is determined by properties of the potential. For $N\geq 3$ there are at least three distinct families of critical points associated to the limiting problem. Assuming nondegeneracy, one of these families continues to a linearly stable class of relative equilibria with small and large circulation of the same sign. This class becomes unstable as the small circulation passes through zero and changes sign. Another family of critical points which is always nondegenerate continues to a configuration with small vortices arranged in an $N$-gon about the strong central vortex. This class of relative equilibria is linearly unstable regardless of the sign of the small circulation when $N\geq 4$. Numerical results suggest that the third family of critical points of the limiting problem also continues to a linearly unstable class of solutions of the full problem independent of the sign of the small circulation. Thus there is evidence that linearly stable relative equilibria exist when the large and small circulation strengths are of the same sign, but that no such solutions exist when they have opposite signs. The results of this paper are in contrast to those of the analogous celestial mechanics problem, for which the $N$-gon is the only relative equilibrium for $N$ sufficiently large, and is linearly stable if and only if $N\geq 7$.
△ Less
Submitted 5 December, 2010;
originally announced December 2010.
