-
Multiple Forms of Knowing in Mathematics: A Scoping Literature Study
Authors:
Hongzhang Xu,
Rowena Ball
Abstract:
We present a scoping review of published literature on ethnomathematics and Indigenous mathematics as a step towards a goal to decolonize the prevailing Eurocentric view of the provenance of mathematics. Mathematical practices were identified globally from 169 included studies. We map three development stages of ethnomathematical research from 1984 to 2023 and identify 20 categories of Indigenous…
▽ More
We present a scoping review of published literature on ethnomathematics and Indigenous mathematics as a step towards a goal to decolonize the prevailing Eurocentric view of the provenance of mathematics. Mathematical practices were identified globally from 169 included studies. We map three development stages of ethnomathematical research from 1984 to 2023 and identify 20 categories of Indigenous and traditional cultural activities that evidence mathematical design and expression. We address two challenges of investigating non-Western based mathematics: where to look for mathematical knowledge, and how to decode it from cultural practices. These two hurdles are overcome by cluster analysis of the keywords of included studies. Existing research falls into two categories: I. identification of mathematical concepts used in Indigenous societies, and II. systematizing identified mathematical concepts. Both approaches are essential for research on Indigenous mathematics to flourish, in order to empower Indigenous knowledge holders and deconstruct restrictive colonial boundaries of mathematical knowledge and education.
△ Less
Submitted 10 June, 2024;
originally announced June 2024.
-
Comparative Study of Sand Drawings in Oceania and Africa
Authors:
Linbin Wang,
Rowena Ball,
Hongzhang Xu
Abstract:
People typically consider only European mathematics as orthodox, often intentionally or unintentionally overlooking the existence of mathematics from non-European societies. Inspired by Maria Ascher's two well-known papers on sand drawings in Oceania and Africa, this paper focuses on the strong link between modern mathematics and the mathematics behind the sand drawings. Beginning with a compariso…
▽ More
People typically consider only European mathematics as orthodox, often intentionally or unintentionally overlooking the existence of mathematics from non-European societies. Inspired by Maria Ascher's two well-known papers on sand drawings in Oceania and Africa, this paper focuses on the strong link between modern mathematics and the mathematics behind the sand drawings. Beginning with a comparison of the geography, history, and the cultural context of sand drawings in Oceania and Africa, we will examine shared geometric features of European graph theory and Indigenous sand drawings, including continuity, cyclicity, and symmetry. The paper will also delve into the origin of graph theory, exploring whether the famous European mathematician Leonhard Euler, who published his solution to the Konigsberg bridge problem in 1736, was the true inventor of graph theory. The potential for incorporating sand drawings into the school curriculum is highlighted at the end. Overall, this paper aims to make readers realise the importance of ethnomathematics studies and appreciate the intelligence of Indigenous people.
△ Less
Submitted 6 April, 2024;
originally announced April 2024.
-
Pointless Parts of Completely Regular Locales
Authors:
Richard N. Ball
Abstract:
(Completely regular) locales generalize (Tychonoff) spaces; indeed, the passage from a locale to its spatial sublocale is a well understood coreflection. But a locale also possesses an equally important pointless sublocale, and with morphisms suitably restricted, the passage from a locale to its pointless sublocale is also a coreflection. Our main theorem is that every locale can be uniquely repre…
▽ More
(Completely regular) locales generalize (Tychonoff) spaces; indeed, the passage from a locale to its spatial sublocale is a well understood coreflection. But a locale also possesses an equally important pointless sublocale, and with morphisms suitably restricted, the passage from a locale to its pointless sublocale is also a coreflection. Our main theorem is that every locale can be uniquely represented as a subdirect product of its pointless and spatial parts, again with suitably restricted projections. We then exploit this representation by showing that any locale is determined by (what may be described as) the placement of its points in its pointless part.
△ Less
Submitted 28 April, 2023;
originally announced May 2023.
-
Is the study of Indigenous mathematics ill-directed or beneficial?
Authors:
Hongzhang Xu,
Rowena Ball
Abstract:
The old lie of mathematical inadequacy of Indigenous communities has been curiously persistent despite increasing evidence shows that many Indigenous communities practiced mathematics. Attempts to study and teach Indigenous mathematical knowledge have always been questioned and even denied validity. The Aboriginal and Torres Strait Islander Histories and Cultures cross-curriculum priority in the F…
▽ More
The old lie of mathematical inadequacy of Indigenous communities has been curiously persistent despite increasing evidence shows that many Indigenous communities practiced mathematics. Attempts to study and teach Indigenous mathematical knowledge have always been questioned and even denied validity. The Aboriginal and Torres Strait Islander Histories and Cultures cross-curriculum priority in the F-10 Australian schools curriculum, from 2022 onwards, includes content elaborations related to Indigenous mathematics, which have been developed and refined by expert Indigenous advisers. We celebrate this initiative, but experience also tells us to expect some resistance from sectors of the education communities who hold to an exclusively Anglo-European provenance of mathematics. Through this review article we seek to constructively forestall potential pushback and address concerns regarding the legitimacy and pedagogical value of Indigenous mathematics, by countering with evidence some published claims of mathematical inadequacies of Australian First Nations cultures.
△ Less
Submitted 6 December, 2022;
originally announced December 2022.
-
Machine Learning Panel Data Regressions with Heavy-tailed Dependent Data: Theory and Application
Authors:
Andrii Babii,
Ryan T. Ball,
Eric Ghysels,
Jonas Striaukas
Abstract:
The paper introduces structured machine learning regressions for heavy-tailed dependent panel data potentially sampled at different frequencies. We focus on the sparse-group LASSO regularization. This type of regularization can take advantage of the mixed frequency time series panel data structures and improve the quality of the estimates. We obtain oracle inequalities for the pooled and fixed eff…
▽ More
The paper introduces structured machine learning regressions for heavy-tailed dependent panel data potentially sampled at different frequencies. We focus on the sparse-group LASSO regularization. This type of regularization can take advantage of the mixed frequency time series panel data structures and improve the quality of the estimates. We obtain oracle inequalities for the pooled and fixed effects sparse-group LASSO panel data estimators recognizing that financial and economic data can have fat tails. To that end, we leverage on a new Fuk-Nagaev concentration inequality for panel data consisting of heavy-tailed $τ$-mixing processes.
△ Less
Submitted 22 November, 2021; v1 submitted 8 August, 2020;
originally announced August 2020.
-
Structural aspects of truncated archimedean vector lattices: simple elements, good sequences
Authors:
Richard N. Ball
Abstract:
The truncation operation facilitates the articulation and analysis of several aspects of the structure of archimedean vector lattices; we investigate two such aspects in this article. We refer to archimedean vector lattices equipped with a truncation as \emph{truncs}. In the first part of the article we review the basic definitions, state the (pointed) Yosida Representation Theorem for truncs, and…
▽ More
The truncation operation facilitates the articulation and analysis of several aspects of the structure of archimedean vector lattices; we investigate two such aspects in this article. We refer to archimedean vector lattices equipped with a truncation as \emph{truncs}. In the first part of the article we review the basic definitions, state the (pointed) Yosida Representation Theorem for truncs, and then prove a representation theorem which subsumes and extends the (pointfree) Madden Representation Theorem. The proof has the virtue of being much shorter than the one in the literature, but the real novelty of the theorem lies in the fact that the topological data dual to a given trunc $G$ is a (localic) compactification, i.e., a dense pointed frame surjection $q \colon M \to L$ out of a compact regular pointed frame $M$. The representation is an amalgam of the Yosida and Madden representations; the compact frame $M$ is sufficient to describe the behavior of the bounded part $G^*$ of $G$ in the sense that $\widetilde{G}^*$ separates the points of the compact Hausdorff pointed space $X$ dual to $M$, while the frame $L$ is just sufficient to capture the behavior of the unbounded part of $G$ in $\mathcal{R}_0 L$. The truncation operation lends itself to identifying those elements of a trunc which behave like characteristic functions, and in the second part of the article we characterize in several ways those truncs composed of linear combinations of such elements. Along the way, we show that the category of such truncs is equivalent to the category of pointed Boolean spaces, and to the category of generalized Boolean algebras. The short third part contains a characterization of the kernels of truncation homomorphisms in terms of pointwise closure. In it we correct an error in the literature.
△ Less
Submitted 2 June, 2019;
originally announced June 2019.
-
Colored graphs without colorful cycles
Authors:
Richard N. Ball,
Aleš Pultr,
Petr Vojtěchovský
Abstract:
A colored graph is a complete graph in which a color has been assigned to each edge, and a colorful cycle is a cycle in which each edge has a different color. We first show that a colored graph lacks colorful cycles iff it is Gallai, i.e., lacks colorful triangles. We then show that, under the operation $m\circ n\equiv m+n-2$, the omitted lengths of colorful cycles in a colored graph form a monoid…
▽ More
A colored graph is a complete graph in which a color has been assigned to each edge, and a colorful cycle is a cycle in which each edge has a different color. We first show that a colored graph lacks colorful cycles iff it is Gallai, i.e., lacks colorful triangles. We then show that, under the operation $m\circ n\equiv m+n-2$, the omitted lengths of colorful cycles in a colored graph form a monoid isomorphic to a submonoid of the natural numbers which contains all integers past some point. We prove that several but not all such monoids are realized.
We then characterize exact Gallai graphs, i.e., graphs in which every triangle has edges of exactly two colors. We show that these are precisely the graphs which can be iteratively built up from three simple colored graphs, having $2$, $4$, and $5$ vertices, respectively. We then characterize in two different ways the monochromes, i.e., the connected components of maximal monochromatic subgraphs, of exact Gallai graphs. The first characterization is in terms of their reduced form, a notion which hinges on the important idea of a full homomorphism. The second characterization is by means of a homomorphism duality.
△ Less
Submitted 18 September, 2015;
originally announced September 2015.
-
Pointfree pointwise suprema in unital archimedean $\ell$-groups
Authors:
Richard N. Ball,
Anthony W. Hager,
Joanne Walters-Wayland
Abstract:
We generalize the concept of the pointwise supremum of real-valued functions to the pointfree setting. The concept itself admits a direct and intuitive formulation which makes no mention of points. But our aim here is to investigate pointwise suprema of subsets of $\mathcal{R}L$, the family of continuous real valued functions on a locale, or pointfree space. Our setting is the category…
▽ More
We generalize the concept of the pointwise supremum of real-valued functions to the pointfree setting. The concept itself admits a direct and intuitive formulation which makes no mention of points. But our aim here is to investigate pointwise suprema of subsets of $\mathcal{R}L$, the family of continuous real valued functions on a locale, or pointfree space. Our setting is the category $\mathbf{W}$ of archimedean lattice-ordered groups ($\ell$-groups) with designated weak order unit, with morphisms which preserve the group and lattice operations and take units to units.
A main result is the appropriate analog of the Nakano-Stone Theorem: a (completely regular) locale $L$ has the feature that $\mathcal{R}L$ is conditionally pointwise complete ($σ$-complete), i.e., every bounded (countable) family from $\mathcal{R}L$ has a pointwise supremum in $\mathcal{R}L$, iff $L $ is boolean (a $P$-locale).
We adopt a maximally broad definition of unconditional pointwise completeness ($σ$-completeness): a divisible $\mathbf{W}$-object $G$ is pointwise complete ($σ$-complete) if it contains a pointwise supremum for every subset which has a supremum in any extension. We show that the pointwise complete ($σ$-complete) $\mathbf{W}$-objects are those of the form $\mathcal{R}L$ for $L$ a boolean locale ($P$-locale). Finally, we show that a $\mathbf{W}$-object $G$ is pointwise $σ$-complete iff it is epicomplete.
△ Less
Submitted 12 November, 2014;
originally announced November 2014.
-
Truncated Abelian Lattice-Ordered Groups II: the Pointfree (Madden) Representation
Authors:
Richard N. Ball
Abstract:
This is the second of three articles on the topic of truncation as an operation on divisible abelian lattice-ordered groups, or simply $\ell$-groups. This article uses the notation and terminology of the first article and assumes its results. In particular, we refer to an $\ell$-group with truncation as a truncated $\ell$-group, or simply a trunc, and denote the category of truncs with truncation…
▽ More
This is the second of three articles on the topic of truncation as an operation on divisible abelian lattice-ordered groups, or simply $\ell$-groups. This article uses the notation and terminology of the first article and assumes its results. In particular, we refer to an $\ell$-group with truncation as a truncated $\ell$-group, or simply a trunc, and denote the category of truncs with truncation morphisms by $\mathbf{AT}$.
Here we develop the analog for $\mathbf{AT}$ of Madden's pointfree representation for $\mathbf{W}$, the category of archimedean $\ell$-groups with designated order unit. More explicitly, for every archimedean trunc $A$ there is a regular Lindelöf frame $L$ equipped with a designated point $\ast : L \rightarrow 2$, a subtrunc $\widehat{A}$ of $\mathcal{R}_{0}L$, the trunc of pointed frame maps $\mathcal{O}_{0}\mathbb{R}\rightarrow L$, and a trunc isomorphism $A\rightarrow\widehat{A}$. A pointed frame map is just a frame map between frames which commutes with their designated points, and $\mathcal{O}_{0}\mathbb{R}$ stands for the pointed frame which is the topology $\mathcal{O}\mathbb{R}$ of the real numbers equipped with the frame map of the insertion $0 \to \mathbb{R}$. $\left( L,\ast\right) $ is unique up to pointed frame isomorphism with respect to its properties. Finally, we reprove an important result from the first article, namely that $\mathbf{W}$ is a non-full monoreflective subcategory of $\mathbf{AT}$.
△ Less
Submitted 28 June, 2014;
originally announced June 2014.
-
From Freudenthal's Spectral Theorem to projectable hulls of unital Archimedean lattice-groups, through compactifications of minimal spectra
Authors:
Richard N. Ball,
Vincenzo Marra,
Daniel McNeill,
Andrea Pedrini
Abstract:
We use a landmark result in the theory of Riesz spaces - Freudenthal's 1936 Spectral Theorem - to canonically represent any Archimedean lattice-ordered group $G$ with a strong unit as a (non-separating) lattice-group of real valued continuous functions on an appropriate $G$-indexed zero-dimensional compactification $w_GZ_G$ of its space $Z_G$ of \emph{minimal} prime ideals. The two further ingredi…
▽ More
We use a landmark result in the theory of Riesz spaces - Freudenthal's 1936 Spectral Theorem - to canonically represent any Archimedean lattice-ordered group $G$ with a strong unit as a (non-separating) lattice-group of real valued continuous functions on an appropriate $G$-indexed zero-dimensional compactification $w_GZ_G$ of its space $Z_G$ of \emph{minimal} prime ideals. The two further ingredients needed to establish this representation are the Yosida representation of $G$ on its space $X_G$ of \emph{maximal} ideals, and the well-known continuous surjection of $Z_G$ onto $X_G$. We then establish our main result by showing that the inclusion-minimal extension of this representation of $G$ that separates the points of $Z_G$ - namely, the sublattice subgroup of ${\rm C}\,(Z_G)$ generated by the image of $G$ along with all characteristic functions of clopen (closed and open) subsets of $Z_G$ which are determined by elements of $G$ - is precisely the classical projectable hull of $G$. Our main result thus reveals a fundamental relationship between projectable hulls and minimal spectra, and provides the most direct and explicit construction of projectable hulls to date. Our techniques do require the presence of a strong unit.
△ Less
Submitted 14 May, 2015; v1 submitted 12 June, 2014;
originally announced June 2014.
-
Unital hyperarchimedean vector lattices
Authors:
Richard N. Ball,
Vincenzo Marra
Abstract:
We prove that the category of unital hyperarchimedean vector lattices is equivalent to the category of Boolean algebras. The key result needed to establish the equivalence is that, via the Yosida representation, such a vector lattice is naturally isomorphic to the vector lattice of all locally constant real-valued continuous functions on a Boolean (=compact Hausdorff totally disconnected) space. W…
▽ More
We prove that the category of unital hyperarchimedean vector lattices is equivalent to the category of Boolean algebras. The key result needed to establish the equivalence is that, via the Yosida representation, such a vector lattice is naturally isomorphic to the vector lattice of all locally constant real-valued continuous functions on a Boolean (=compact Hausdorff totally disconnected) space. We give two applications of our main result.
△ Less
Submitted 8 October, 2013;
originally announced October 2013.
-
Oscillatory thermal instability - the Bhopal disaster and liquid bombs
Authors:
Rowena Ball
Abstract:
Thermal runaway reactions were involved in the Bhopal disaster of 1984, in which methyl isocyanate was vented from a storage tank of the liquid, and occur in liquid peroxide explosions, yet to date there have been few investigations into the mechanism of thermal runaway in such liquid thermoreactive systems. Consequently protocols for storing thermally unstable liquids and deactivating liquid bomb…
▽ More
Thermal runaway reactions were involved in the Bhopal disaster of 1984, in which methyl isocyanate was vented from a storage tank of the liquid, and occur in liquid peroxide explosions, yet to date there have been few investigations into the mechanism of thermal runaway in such liquid thermoreactive systems. Consequently protocols for storing thermally unstable liquids and deactivating liquid bombs may be suboptimal. In this work the hydrolysis of methyl isocyanate and the thermal decomposition of triacetone triperoxide were simulated using a gradientless, continuous-flow reactor paradigm. This approximation enabled stability analyses on the steady state solutions of the dynamical mass and enthalpy equations. The results indicate that thermal runaway in both systems is due to the onset of a large amplitude, hard thermal oscillation initiated at a subcritical Hopf bifurcation. This type of thermal misbehaviour cannot be predicted using classical ignition theory, and may be typical of liquid thermoreactive systems. The mechanism of oscillatory thermal instability on the nanoscale is elucidated.
△ Less
Submitted 18 May, 2011;
originally announced May 2011.
-
Oscillatory thermal instability and the Bhopal disaster
Authors:
R. Ball
Abstract:
A stability analysis is presented of the hydrolysis of methyl isocyanate (MIC) using a homogeneous flow reactor paradigm. The results simulate the thermal runaway that occurred inside the storage tank of MIC at the Bhopal Union Carbide plant in December 1984. The stability properties of the model indicate that the thermal runaway may have been due to a large amplitude, hard thermal oscillation ini…
▽ More
A stability analysis is presented of the hydrolysis of methyl isocyanate (MIC) using a homogeneous flow reactor paradigm. The results simulate the thermal runaway that occurred inside the storage tank of MIC at the Bhopal Union Carbide plant in December 1984. The stability properties of the model indicate that the thermal runaway may have been due to a large amplitude, hard thermal oscillation initiated at a subcritical Hopf bifurcation. This type of thermal misbehavior cannot be predicted using conventional thermal diagrams, and may be typical of liquid thermoreactive systems.
△ Less
Submitted 8 July, 2010;
originally announced July 2010.
-
Separation of carbon dioxide from flue emissions using Endex principles
Authors:
R. Ball,
M. G. Sceats
Abstract:
In an Endex reactor endothermic and exothermic reactions are directly thermally coupled and kinetically matched to achieve intrinsic thermal stability, efficient conversion, autothermal operation, and minimal heat losses. Applied to the problem of in-line carbon dioxide separation from flue gas, Endex principles hold out the promise of effecting a carbon dioxide capture technology of unprecedent…
▽ More
In an Endex reactor endothermic and exothermic reactions are directly thermally coupled and kinetically matched to achieve intrinsic thermal stability, efficient conversion, autothermal operation, and minimal heat losses. Applied to the problem of in-line carbon dioxide separation from flue gas, Endex principles hold out the promise of effecting a carbon dioxide capture technology of unprecedented economic viability. In this work we describe an Endex Calcium Looping reactor, in which heat released by chemisorption of carbon dioxide onto calcium oxide is used directly to drive the reverse reaction, yielding a pure stream of carbon dioxide for compression and geosequestration. In this initial study we model the proposed reactor as a continuous-flow dynamical system in the well-stirred limit, compute the steady states and analyse their stability properties over the operating parameter space, flag potential design and operational challenges, and suggest an optimum regime for effective operation.
△ Less
Submitted 14 February, 2010; v1 submitted 28 November, 2009;
originally announced November 2009.
-
The case of the trapped singularities
Authors:
R. Ball
Abstract:
A case study in bifurcation and stability analysis is presented, in which reduced dynamical system modelling yields substantial new global and predictive information about the behaviour of a complex system. The first smooth pathway, free of pathological and persistent degenerate singularities, is surveyed through the parameter space of a nonlinear dynamical model for a gradient-driven, turbulenc…
▽ More
A case study in bifurcation and stability analysis is presented, in which reduced dynamical system modelling yields substantial new global and predictive information about the behaviour of a complex system. The first smooth pathway, free of pathological and persistent degenerate singularities, is surveyed through the parameter space of a nonlinear dynamical model for a gradient-driven, turbulence-shear flow energetics in magnetized fusion plasmas. Along the route various obstacles and features are identified and treated appropriately. An organizing centre of low codimension is shown to be robust, several trapped singularities are found and released, and domains of hysteresis, threefold stable equilibria, and limit cycles are mapped. Characterization of this rich dynamical landscape achieves unification of previous disparate models for plasma confinement transitions, supplies valuable intelligence on the big issue of shear flow suppression of turbulence, and suggests targeted experimental design, control and optimization strategies.
△ Less
Submitted 19 October, 2004;
originally announced October 2004.
-
The geometry of bifurcation surfaces in parameter space. I. A walk through the pitchfork
Authors:
Rowena Ball
Abstract:
The classical pitchfork of singularity theory is a twice-degenerate bifurcation that typically occurs in dynamical system models exhibiting Z_2 symmetry. Non-classical pitchfork singularities also occur in many non-symmetric systems, where the total bifurcation environment is usually more complex. In this paper three-dimensional manifolds of critical points, or limit-point shells, are introduced…
▽ More
The classical pitchfork of singularity theory is a twice-degenerate bifurcation that typically occurs in dynamical system models exhibiting Z_2 symmetry. Non-classical pitchfork singularities also occur in many non-symmetric systems, where the total bifurcation environment is usually more complex. In this paper three-dimensional manifolds of critical points, or limit-point shells, are introduced by examining several bifurcation problems that contain a pitchfork as an organizing centre. Comparison of these surfaces shows that notionally equivalent problems can have significant positional differences in their bifurcation behaviour. As a consequence, the parameter range of jump, hysteresis, or phase transition phenomena in dynamical models (and the physical systems they purport to represent) is determined by other singularities that shape the limit-point shell.
△ Less
Submitted 31 October, 1999;
originally announced October 1999.
-
Singularity theory study of overdetermination in models for L-H transitions
Authors:
R. Ball,
R. L. Dewar
Abstract:
Two dynamical models that have been proposed to describe transitions between low and high confinement states (L-H transitions) in confined plasmas are analysed using singularity theory and stability theory. It is shown that the stationary-state bifurcation sets have qualitative properties identical to standard normal forms for the pitchfork and transcritical bifurcations. The analysis yields the…
▽ More
Two dynamical models that have been proposed to describe transitions between low and high confinement states (L-H transitions) in confined plasmas are analysed using singularity theory and stability theory. It is shown that the stationary-state bifurcation sets have qualitative properties identical to standard normal forms for the pitchfork and transcritical bifurcations. The analysis yields the codimension of the highest-order singularities, from which we find that the unperturbed systems are overdetermined bifurcation problems and derive appropriate universal unfoldings. Questions of mutual equivalence and the character of the state transitions are addressed.
△ Less
Submitted 5 February, 2000; v1 submitted 25 August, 1999;
originally announced August 1999.