Mathematics Faculty Publications and PresentationsCopyright (c) 2015 Boise State University All rights reserved.
http://scholarworks.boisestate.edu/math_facpubs
Recent documents in Mathematics Faculty Publications and Presentationsen-usMon, 30 Mar 2015 14:27:33 PDT3600High Rayleigh Number Mantle Convection on GPU
http://scholarworks.boisestate.edu/math_facpubs/154
http://scholarworks.boisestate.edu/math_facpubs/154Fri, 27 Mar 2015 11:37:26 PDT
We implemented two- and three-dimensional Rayleigh-Benard convection on Nvidia GPUs by utilizing a 2nd-order finite difference method. By exploiting the massive parallelism of GPU using both CUDA for C and optimized CUBLAS routines, we have on a single Fermi GPU run simulations of Rayleigh number up to 6×10^{10 }(on a mesh of 2000×4000 uniform grid points) in two dimensions and up to 10^{7} (on a mesh of 450×450×225 uniform grid points) for three dimensions. On Nvidia Tesla C2070 GPUs, these implementations enjoy single-precision performance of 535 GFLOP/s and 100 GFLOP/s respectively, and double-precision performance of 230 GFLOP/s and 70 GFLOP/s respectively.
]]>
David A. Sanchez et al.On Constructions of Generalized Skein Modules
http://scholarworks.boisestate.edu/math_facpubs/153
http://scholarworks.boisestate.edu/math_facpubs/153Wed, 25 Mar 2015 15:31:21 PDT
Jozef Przytycki introduced skein modules of 3-manifolds and skein deformation initiating algebraic topology based on knots. We discuss the generalized skein modules of Walker, defined by fields and local relations. Some results by Przytycki are proven in a more general setting of fields defined by decorated cell-complexes in manifolds. A construction of skein theory from embedded TQFT-functors is given, and the corresponding background is developed. The possible coloring of fields by elements of TQFT-modules is discussed for those generalized skein modules. Also an approach of defining skein modules from studying compressions of fields is described.
]]>
Uwe KaiserArithmetic Toric Varieties
http://scholarworks.boisestate.edu/math_facpubs/152
http://scholarworks.boisestate.edu/math_facpubs/152Wed, 25 Mar 2015 13:04:25 PDT
We study toric varieties over a field k that split in a Galois extension K/k using Galois cohomology with coefficients in the toric automorphism group. Part of this Galois cohomology fits into an exact sequence induced by the presentation of the class group of the toric variety. This perspective helps to compute the Galois cohomology, particularly for cyclic Galois groups. We use Galois cohomology to classify k-forms of projective spaces when K/k is cyclic, and we also study k-forms of surfaces.
]]>
E. Javier Elizondo et al.Navigating the Seas of Mathematics Education: New Waves in Research to Improve Student Learning
http://scholarworks.boisestate.edu/math_facpubs/151
http://scholarworks.boisestate.edu/math_facpubs/151Wed, 25 Mar 2015 08:45:23 PDT
This issue focuses on research in the domain of mathematics education. Although mathematics has been a subject of study for many centuries, mathematics education is a relatively new field of scholarly inquiry, having been established as an independent field of research only in the early twentieth century. The most significant milestone was the establishment of the International Commission on Mathematical Instruction (ICMI) in 1908. Since 1969, ICMI has organized the International Congress on Mathematical Education, a quadrennial international meeting whose aim is to present the current states and trends in mathematics education research and in the practice of mathematics teaching at all levels.
]]>
Jinfa Cai et al.Order-Preserving Derivative Approximation with Periodic Radial Basis Functions
http://scholarworks.boisestate.edu/math_facpubs/150
http://scholarworks.boisestate.edu/math_facpubs/150Mon, 09 Mar 2015 14:14:11 PDT
In this exploratory paper we study the convergence rates of an iterated method for approximating derivatives of periodic functions using radial basis function (RBF) interpolation. Given a target function sampled on some node set, an approximation of the m^{th} derivative is obtained by m successive applications of the operator “interpolate, then differentiate”- this process is known in the spline community as successive splines or iterated splines. For uniformly spaced nodes on the circle, we give a sufficient condition on the RBF kernel to guarantee that, when the error is measured only at the nodes, this iterated method approximates all derivatives with the same rate of convergence. We show that thin-plate spline, power function, and Matérn kernels restricted to the circle all satisfy this condition, and numerical evidence is provided to show that this phenomena occurs for some other popular RBF kernels. Finally, we consider possible extensions to higher-dimensional periodic domains by numerically studying the convergence of an iterated method for approximating the surface Laplace (Laplace-Beltrami) operator using RBF interpolation on the unit sphere and a torus.
]]>
Edward Fuselier et al.Air Pollution and Children: Neural and Tight Junction Antibodies and Combustion Metals, the Role of Barrier Breakdown and Brain Immunity in Neurodegeneration
http://scholarworks.boisestate.edu/math_facpubs/149
http://scholarworks.boisestate.edu/math_facpubs/149Thu, 22 Jan 2015 12:07:34 PST
Millions of children are exposed to concentrations of air pollutants, including fine particulate matter (PM_{2.5}), above safety standards. In the Mexico City Metropolitan Area (MCMA) megacity, children show an early brain imbalance in oxidative stress, inflammation, innate and adaptive immune response-associated genes, and blood-brain barrier breakdown. We investigated serum and cerebrospinal fluid (CSF) antibodies to neural and tight junction proteins and environmental pollutants in 139 children ages 11.91 ± 4.2 y with high versus low air pollution exposures. We also measured metals in serum and CSF. MCMA children showed significantly higher serum actin IgG, occludin/zonulin 1 IgA, IgG, myelin oligodendrocyte glycoprotein IgG and IgM (p < 0.01), myelin basic protein IgA and IgG, S-100 IgG and IgM, and cerebellar IgG (p < 0.001). Serum IgG antibodies to formaldehyde, benzene, and bisphenol A, and concentrations of Ni and Cd were significantly higher in exposed children (p < 0.001). CSF MBP antibodies and nickel concentrations were higher in MCMA children (p = 0.03). Air pollution exposure damages epithelial and endothelial barriers and is a robust trigger of tight junction and neural antibodies. Cryptic ‘self’ tight junction antigens can trigger an autoimmune response potentially contributing to the neuroinflammatory and Alzheimer and Parkinson’s pathology hallmarks present in megacity children. The major factor determining the impact of neural antibodies is the integrity of the blood-brain barrier. Defining the air pollution linkage of the brain/immune system interactions and damage to physical and immunological barriers with short and long term neural detrimental effects to children’s brains ought to be of pressing importance for public health.
]]>
Partha Sarathi-MukherjeeClinical Study and Numerical Simulation of Brain Cancer Dynamics Under Radiotherapy
http://scholarworks.boisestate.edu/math_facpubs/148
http://scholarworks.boisestate.edu/math_facpubs/148Wed, 10 Dec 2014 14:40:26 PST
We perform a clinical and numerical study of the progression of brain cancer tumor growth dynamics coupled with the effects of radiotherapy. We obtained clinical data from a sample of brain cancer patients undergoing radiotherapy and compare it to our numerical simulations to a mathematical model of brain tumor cell population growth influenced by radiation treatment. We model how the body biologically receives a physically delivered dose of radiation to the affected tumorous area in the form of a generalized LQ model, modified to account for the conversion process of sublethal lesions into lethal lesions at high radiation doses. We obtain good agreement between our clinical data and our numerical simulations of brain cancer progression given by the mathematical model, which couples tumor growth dynamics and the effect of irradiation. The correlation, spanning a wide dataset, demonstrates the potential of the mathematical model to describe the dynamics of brain tumor growth influenced by radiotherapy.
]]>
S. Nawrocki et al.The Axiom Scheme of Acyclic Comprehension
http://scholarworks.boisestate.edu/math_facpubs/147
http://scholarworks.boisestate.edu/math_facpubs/147Wed, 05 Nov 2014 10:25:16 PST
A “new” criterion for set existence is presented, namely, that a set {x|φ} should exist if the multigraph whose nodes are variables in φ and whose edges are occurrences of atomic formulas in φ is acyclic. Formulas with acyclic graphs are stratified in the sense of New Foundations, so consistency of the set theory with weak extensionality and acyclic comprehension follows from the consistency of Jensen’s system NFU. It is much less obvious, but turns out to be the case, that this theory is equivalent to NFU: it appears at first blush that it ought to be weaker. This paper verifies that acyclic comprehension and stratified comprehension are equivalent by verifying that each axiom in a finite axiomatization of stratified comprehension follows from acyclic comprehension.
]]>
Zuhair Al-Johar et al.A Fast Parallel Algorithm for Delay Partial Differential Equations Modeling the Cell Cycle in Cell Lines Derived from Human Tumors
http://scholarworks.boisestate.edu/math_facpubs/146
http://scholarworks.boisestate.edu/math_facpubs/146Wed, 22 Oct 2014 09:27:10 PDT
We present a fast numerical algorithm for solving delay partial differential equations that model the growth of human tumor cells. The undetermined model parameters need to be estimated according to experimental data and it is desired to shorten the computational time needed in estimating them. To speed up the computations, we present an algorithm invoking parallelization designed for arbitrary numbers of available processors. The presented numerical results demonstrate the efficiency of the algorithm.
]]>
Barbara Zubik-KowalOn the Sensitivity of 3-D Thermal Convection Codes to Numerical Discretization: A Model Intercomparison
http://scholarworks.boisestate.edu/math_facpubs/145
http://scholarworks.boisestate.edu/math_facpubs/145Fri, 12 Sep 2014 12:31:50 PDT
Fully 3-D numerical simulations of thermal convection in a spherical shell have become a standard for studying the dynamics of pattern formation and its stability under perturbations to various parameter values. The question arises as to how does the discretization of the governing equations affect the outcome and thus any physical interpretation. This work demonstrates the impact of numerical discretization on the observed patterns, the value at which symmetry is broken, and how stability and stationary behavior is dependent upon it. Motivated by numerical simulations of convection in the Earth's mantle, we consider isoviscous Rayleigh-Bénard convection at infinite Prandtl number, where the aspect ratio between the inner and outer shell is 0.55. We show that the subtleties involved in development mantle convection models are considerably more delicate than has been previously appreciated, due to the rich dynamical behavior of the system. Two codes with different numerical discretization schemes: an established, community-developed, and benchmarked finite element code (CitcomS) and a novel spectral method that combines Chebyshev polynomials with radial basis functions (RBF) are compared. A full numerical study is investigated for the following three cases. The first case is based on the cubic (or octahedral) initial condition (spherical harmonics of degree ℓ =4). How variations in the behavior of the cubic pattern to perturbations in the initial condition and Rayleigh number between the two numerical discrezations is studied. The second case investigates the stability of the dodecahedral (or icosahedral) initial condition (spherical harmonics of degree ℓ = 6). Although both methods converge first to the same pattern, this structure is ultimately unstable and systematically degenerates to cubic or tetrahedral symmetries, depending on the code used. Lastly, a new steady state pattern is presented as a combination of order 3 and 4 spherical harmonics leading to a five cell or a hexahedral pattern and stable up to 70 times the critical Rayleigh number. This pattern can provide the basis for a new accuracy benchmark for 3-D spherical mantle convection codes.
]]>
P.-A. Arrial et al.Castelnuovo–Mumford Regularity and Arithmetic Cohen–Macaulayness of Complete Bipartite Subspace Arrangements
http://scholarworks.boisestate.edu/math_facpubs/144
http://scholarworks.boisestate.edu/math_facpubs/144Mon, 25 Aug 2014 16:17:33 PDT
We give the Castelnuovo–Mumford regularity of arrangements of (n−2)-planes in P^{n} whose incidence graph is a sufficiently large complete bipartite graph, and determine when such arrangements are arithmetically Cohen–Macaulay.
]]>
Zach Teitler et al.Kernel Based Quadrature on Spheres and Other Homogeneous Spaces
http://scholarworks.boisestate.edu/math_facpubs/143
http://scholarworks.boisestate.edu/math_facpubs/143Mon, 18 Aug 2014 15:21:37 PDT
Quadrature formulas for spheres, the rotation group, and other compact, homogeneous manifolds are important in a number of applications and have been the subject of recent research. The main purpose of this paper is to study coordinate independent quadrature (or cubature) formulas associated with certain classes of positive definite and conditionally positive definite kernels that are invariant under the group action of the homogeneous manifold. In particular, we show that these formulas are accurate—optimally so in many cases—and stable under an increasing number of nodes and in the presence of noise, provided the set X of quadrature nodes is quasi-uniform. The stability results are new in all cases. In addition, we may use these quadrature formulas to obtain similar formulas for manifolds diffeomorphic to S^{n}, oblate spheroids for instance. The weights are obtained by solving a single linear system. For S^{2}, and the restricted thin plate spline kernel r^{2}log r, these weights can be computed for two-thirds of a million nodes, using a preconditioned iterative technique introduced by us.
]]>
E. Fuselier et al.How Do They Know It Is a Parallelogram? Analysing Geometric Discourse at Van Hiele Level 3
http://scholarworks.boisestate.edu/math_facpubs/142
http://scholarworks.boisestate.edu/math_facpubs/142Fri, 08 Aug 2014 11:56:26 PDT
In this article, we introduce Sfard's discursive framework and use it to investigate prospective teachers' geometric discourse in the context of quadrilaterals. In particular, we focus on describing and analysing two participants' use of mathematical words and substantiation routines related to parallelograms and their properties at van Hiele level 3 thinking. Our findings suggest that a single van Hiele level of thinking encompasses a range of complexity of reasoning and differences in discourse and thus a deeper investigation of students' mathematical thinking within assigned van Hiele levels is warranted.
]]>
Sasha Wang et al.Prospective Teachers’ Learning in Geometry: Changes in Discourse and Thinking
http://scholarworks.boisestate.edu/math_facpubs/141
http://scholarworks.boisestate.edu/math_facpubs/141Wed, 09 Jul 2014 08:46:59 PDT
This study investigates changes in prospective teachers’ levels of geometric thinking and the development of their geometric discourses in the classification of quadrilaterals. To examine prospective teachers’ thinking about geometry, this study connects Sfard’s discursive framework to another, namely the van Hiele theory. Findings of the study reveal discursive similarities and differences in participants’ geometric discourses within the same van Hiele level, as well as changes in geometric discourse as a result of changes in levels of geometric thinking. The study also investigates the usefulness of a discursive framework in providing rich descriptions of prospective teachers’ thinking processes.
]]>
Sasha WangFlavonol-Rich Dark Cocoa Significantly Decreases Plasma Endothelin-1 and Improves Cognition in Urban Children
http://scholarworks.boisestate.edu/math_facpubs/140
http://scholarworks.boisestate.edu/math_facpubs/140Tue, 01 Jul 2014 12:42:37 PDT
Air pollution exposures are linked to systemic inflammation, cardiovascular and respiratory morbidity and mortality, neuroinflammation and neuropathology in young urbanites. In particular, most Mexico City Metropolitan Area (MCMA) children exhibit subtle cognitive deficits, and neuropathology studies show 40% of them exhibiting frontal tau hyperphosphorylation and 51% amyloid-β diffuse plaques (compared to 0% in low pollution control children). We assessed whether a short cocoa intervention can be effective in decreasing plasma endothelin 1 (ET-1) and/or inflammatory mediators in MCMA children. Thirty gram of dark cocoa with 680 mg of total flavonols were given daily for 10.11 ± 3.4 days (range 9–24 days) to 18 children (10.55 years, SD = 1.45; 11F/7M). Key metabolite ratios in frontal white matter and in hippocampus pre and during cocoa intervention were quantified by magnetic resonance spectroscopy. ET-1 significantly decreased after cocoa treatment (p = 0.0002). Fifteen children (83%) showed a marginally significant individual improvement in one or both of the applied simple short memory tasks. Endothelial dysfunction is a key feature of exposure to particulate matter (PM) and decreased endothelin-1 bioavailability is likely useful for brain function in the context of air pollution. Our findings suggest that cocoa interventions may be critical for early implementation of neuroprotection of highly exposed urban children. Multi-domain nutraceutical interventions could limit the risk for endothelial dysfunction, cerebral hypoperfusion, neuroinflammation, cognitive deficits, structural volumetric detrimental brain effects, and the early development of the neuropathological hallmarks of Alzheimer's and Parkinson's diseases.
]]>
Partha S. MukherjeeTrends in Extreme U.S. Temperatures
http://scholarworks.boisestate.edu/math_facpubs/139
http://scholarworks.boisestate.edu/math_facpubs/139Tue, 24 Jun 2014 15:18:26 PDT
This paper develops trend estimation techniques for monthly maximum and minimum temperature time series observed in the 48 conterminous United States over the last century. While most scientists concur that this region has warmed on aggregate, there is no a priori reason to believe that temporal trends in extremes and averages will exhibit the same patterns. Indeed, under minor regularity conditions, the sample partial sum and maximum of stationary time series are asymptotically independent (statistically). Previous authors have suggested that minimum temperatures are warming faster than maximum temperatures in the United States; such an aspect can be investigated via the methods discussed in this study. Here, statistical models with extreme value and changepoint features are used to estimate trends and their standard errors. A spatial smoothing is then done to extract general structure. The results show that monthly maximum temperatures are not often greatly changing—perhaps surprisingly, there are many stations that show some cooling. In contrast, the minimum temperatures show significant warming. Overall, the southeastern United States shows the least warming (even some cooling), and the western United States, northern Midwest, and New England have experienced the most warming.
]]>
Jaechoul Lee et al.The Prevalence of Antibodies Against Wheat and Milk Proteins in Blood Donors and Their Contribution to Neuroimmune Reactivities
http://scholarworks.boisestate.edu/math_facpubs/138
http://scholarworks.boisestate.edu/math_facpubs/138Thu, 12 Jun 2014 10:38:42 PDT
The aim of this study was to look for the presence of IgG, IgM, and IgA antibodies against two widely consumed foods, wheat and milk, in a relatively large number of specimens. As wheat, milk, and their antigens have been found to be involved in neuroimmune disorders, we measured the co-occurrence of their antibodies against various neural antigens. We assessed the reactivity of sera from 400 donors to wheat and milk proteins, GAD-65, cerebellar, MBP, and MOG. Statistical analysis showed significant clustering when certain wheat and milk protein antibodies were cross-referenced with neural antibodies. Approximately half of the sera with antibody elevation against gliadin reacted significantly with GAD-65 and cerebellar peptides; about half of the sera with elevated antibodies against α + β-casein and milk butyrophilin also showed antibody elevation against MBP and MOG. Inhibition studies showed that only two out of four of the samples with elevated cerebellar or MOG antibodies could be inhibited by gliadin or α + β-casein, confirming individual variation in epitope recognition. We conclude that a subgroup of blood donors, due to a breakdown in immunological tolerance, may react and produce significant levels of antibodies (p-values less than 0.05) against wheat and milk antigens that cross-react with different neural antigens, which may have broader implications in the induction of neuroimmune reactivities.
]]>
Aristo Vojdani et al.On Hereditarily Small Sets in ZF
http://scholarworks.boisestate.edu/math_facpubs/137
http://scholarworks.boisestate.edu/math_facpubs/137Fri, 16 May 2014 10:02:21 PDT
We show in (the usual set theory without Choice) that for any set X, the collection of sets Y such that each element of the transitive closure of is strictly smaller in size than X (the collection of sets hereditarily smaller than X) is a set. This result has been shown by Jech in the case (where the collection under consideration is the set of hereditarily countable sets).
]]>
M. Randall HolmesAutomorphisms of Cornoa Algebras, and Group Cohomology
http://scholarworks.boisestate.edu/math_facpubs/136
http://scholarworks.boisestate.edu/math_facpubs/136Tue, 06 May 2014 10:02:41 PDT
In 2007 Phillips and Weaver showed that, assuming the Continuum Hypothesis, there exists an outer automorphism of the Calkin algebra. (The Calkin algebra is the algebra of bounded operators on a separable complex Hilbert space, modulo the compact operators.) In this paper we establish that the analogous conclusion holds for a broad family of quotient algebras. Specifically, we will show that assuming the Continuum Hypothesis, if A is a separable algebra which is either simple or stable, then the corona of A has nontrivial automorphisms. We also discuss a connection with cohomology theory, namely, that our proof can be viewed as a computation of the cardinality of a particular derived inverse limit.
]]>
Samuel Coskey et al.Ioana's Superrigidity Theorem and Orbit Equivalence Relations
http://scholarworks.boisestate.edu/math_facpubs/135
http://scholarworks.boisestate.edu/math_facpubs/135Fri, 14 Mar 2014 15:05:40 PDT
We give a survey of Adrian Ioana’s cocycle superrigidity theoremfor profinite actions of Property (T) groups and its applications to ergodic theory and set theory in this expository paper. In addition to a statement and proof of Ioana’s theorem, this paper features the following: (i) an introduction to rigidity, including a crash course in Borel cocycles and a summary of some of the best-known superrigidity theorems; (ii) some easy applications of superrigidity, both to ergodic theory (orbit equivalence) and set theory (Borel reducibility); and (iii) a streamlined proof of Simon Thomas’s theorem that the classification of torsion-free abelian groups of finite rank is intractable.
]]>
Samuel Coskey