Degrees of Freedom: Varying Routes to Math Readiness and the Challenge of Intersegmental Alignment (Report 2 of a 3-Part Series)

ERIC Educational Resources Information Center

Burdman, Pamela

2015-01-01

The conventional algebra-intensive math curriculum commonly dictates students' options for entering and completing college, including their ability to transfer from two-year to four-year institutions. The assumption that higher-level algebra is necessary for college success has led some equity advocates to promote algebra for all students. Nearly…

The Algebra Teacher's Guide to Reteaching Essential Concepts and Skills: 150 Mini-Lessons for Correcting Common Mistakes

ERIC Educational Resources Information Center

Muschla, Judith A.; Muschla, Gary Robert; Muschla, Erin

2011-01-01

Many students have trouble grasping algebra. In this book, bestselling authors Judith, Gary, and Erin Muschla offer help for math teachers who must instruct their students (even those who are struggling) about the complexities of algebra. In simple terms, the authors outline 150 classroom-tested lessons, focused on those concepts often most…

On the intersection of irreducible components of the space of finite-dimensional Lie algebras

DOE Office of Scientific and Technical Information (OSTI.GOV)

Gorbatsevich, Vladimir V

2012-07-31

The irreducible components of the space of n-dimensional Lie algebras are investigated. The properties of Lie algebras belonging to the intersection of all the irreducible components of this kind are studied (these Lie algebras are said to be basic or founding Lie algebras). It is proved that all Lie algebras of this kind are nilpotent and each of these Lie algebras has an Abelian ideal of codimension one. Specific examples of founding Lie algebras of arbitrary dimension are described and, to describe the Lie algebras in general, we state a conjecture. The concept of spectrum of a Lie algebra ismore » considered and some of the most elementary properties of the spectrum are studied. Bibliography: 6 titles.« less

A matrix dependent/algebraic multigrid approach for extruded meshes with applications to ice sheet modeling

DOE PAGES

Tuminaro, Raymond S.; Perego, Mauro; Tezaur, Irina Kalashnikova; ...

2016-10-06

A multigrid method is proposed that combines ideas from matrix dependent multigrid for structured grids and algebraic multigrid for unstructured grids. It targets problems where a three-dimensional mesh can be viewed as an extrusion of a two-dimensional, unstructured mesh in a third dimension. Our motivation comes from the modeling of thin structures via finite elements and, more specifically, the modeling of ice sheets. Extruded meshes are relatively common for thin structures and often give rise to anisotropic problems when the thin direction mesh spacing is much smaller than the broad direction mesh spacing. Within our approach, the first few multigridmore » hierarchy levels are obtained by applying matrix dependent multigrid to semicoarsen in a structured thin direction fashion. After sufficient structured coarsening, the resulting mesh contains only a single layer corresponding to a two-dimensional, unstructured mesh. Algebraic multigrid can then be employed in a standard manner to create further coarse levels, as the anisotropic phenomena is no longer present in the single layer problem. The overall approach remains fully algebraic, with the minor exception that some additional information is needed to determine the extruded direction. Furthermore, this facilitates integration of the solver with a variety of different extruded mesh applications.« less

Ada Linear-Algebra Program

NASA Technical Reports Server (NTRS)

Klumpp, A. R.; Lawson, C. L.

1988-01-01

Routines provided for common scalar, vector, matrix, and quaternion operations. Computer program extends Ada programming language to include linear-algebra capabilities similar to HAS/S programming language. Designed for such avionics applications as software for Space Station.

High-performance image processing architecture

NASA Astrophysics Data System (ADS)

Coffield, Patrick C.

1992-04-01

The proposed architecture is a logical design specifically for image processing and other related computations. The design is a hybrid electro-optical concept consisting of three tightly coupled components: a spatial configuration processor (the optical analog portion), a weighting processor (digital), and an accumulation processor (digital). The systolic flow of data and image processing operations are directed by a control buffer and pipelined to each of the three processing components. The image processing operations are defined by an image algebra developed by the University of Florida. The algebra is capable of describing all common image-to-image transformations. The merit of this architectural design is how elegantly it handles the natural decomposition of algebraic functions into spatially distributed, point-wise operations. The effect of this particular decomposition allows convolution type operations to be computed strictly as a function of the number of elements in the template (mask, filter, etc.) instead of the number of picture elements in the image. Thus, a substantial increase in throughput is realized. The logical architecture may take any number of physical forms. While a hybrid electro-optical implementation is of primary interest, the benefits and design issues of an all digital implementation are also discussed. The potential utility of this architectural design lies in its ability to control all the arithmetic and logic operations of the image algebra's generalized matrix product. This is the most powerful fundamental formulation in the algebra, thus allowing a wide range of applications.

Noncommutative Common Cause Principles in algebraic quantum field theory

DOE Office of Scientific and Technical Information (OSTI.GOV)

Hofer-Szabo, Gabor; Vecsernyes, Peter

2013-04-15

States in algebraic quantum field theory 'typically' establish correlation between spacelike separated events. Reichenbach's Common Cause Principle, generalized to the quantum field theoretical setting, offers an apt tool to causally account for these superluminal correlations. In the paper we motivate first why commutativity between the common cause and the correlating events should be abandoned in the definition of the common cause. Then we show that the Noncommutative Weak Common Cause Principle holds in algebraic quantum field theory with locally finite degrees of freedom. Namely, for any pair of projections A, B supported in spacelike separated regions V{sub A} and V{submore » B}, respectively, there is a local projection C not necessarily commuting with A and B such that C is supported within the union of the backward light cones of V{sub A} and V{sub B} and the set {l_brace}C, C{sup Up-Tack }{r_brace} screens off the correlation between A and B.« less

Heterogeneous Software System Interoperability Through Computer-Aided Resolution of Modeling Differences

DTIC Science & Technology

2002-06-01

techniques for addressing the software component retrieval problem. Steigerwald [Ste91] introduced the use of algebraic specifications for defining the...provided in terms of a specification written using Luqi’s Prototype Specification Description Language (PSDL) [LBY88] augmented with an algebraic

Teaching Structure in Algebra

ERIC Educational Resources Information Center

Merlin, Ethan M.

2013-01-01

This article describes how the author has developed tasks for students that address the missed "essence of the matter" of algebraic transformations. Specifically, he has found that having students practice "perceiving" algebraic structure--by naming the "glue" in the expressions, drawing expressions using…

Highest weight representation for Sklyanin algebra sl(3)(u) with application to the Gaudin model

DOE Office of Scientific and Technical Information (OSTI.GOV)

Burdik, C., E-mail: burdik@kmlinux.fjfi.cvut.cz; Navratil, O.

2011-06-15

We study the infinite-dimensional Sklyanin algebra sl(3)(u). Specifically we construct the highest weight representation for this algebra in an explicit form. Its application to the Gaudin model is mentioned.

Application of polynomial su(1, 1) algebra to Pöschl-Teller potentials

DOE Office of Scientific and Technical Information (OSTI.GOV)

Zhang, Hong-Biao, E-mail: zhanghb017@nenu.edu.cn; Lu, Lu

2013-12-15

Two novel polynomial su(1, 1) algebras for the physical systems with the first and second Pöschl-Teller (PT) potentials are constructed, and their specific representations are presented. Meanwhile, these polynomial su(1, 1) algebras are used as an algebraic technique to solve eigenvalues and eigenfunctions of the Hamiltonians associated with the first and second PT potentials. The algebraic approach explores an appropriate new pair of raising and lowing operators K-circumflex{sub ±} of polynomial su(1, 1) algebra as a pair of shift operators of our Hamiltonians. In addition, two usual su(1, 1) algebras associated with the first and second PT potentials are derivedmore » naturally from the polynomial su(1, 1) algebras built by us.« less

Simultaneous quantification of protein phosphorylation sites using liquid chromatography-tandem mass spectrometry-based targeted proteomics: a linear algebra approach for isobaric phosphopeptides.

PubMed

Xu, Feifei; Yang, Ting; Sheng, Yuan; Zhong, Ting; Yang, Mi; Chen, Yun

2014-12-05

As one of the most studied post-translational modifications (PTM), protein phosphorylation plays an essential role in almost all cellular processes. Current methods are able to predict and determine thousands of phosphorylation sites, whereas stoichiometric quantification of these sites is still challenging. Liquid chromatography coupled with tandem mass spectrometry (LC-MS/MS)-based targeted proteomics is emerging as a promising technique for site-specific quantification of protein phosphorylation using proteolytic peptides as surrogates of proteins. However, several issues may limit its application, one of which relates to the phosphopeptides with different phosphorylation sites and the same mass (i.e., isobaric phosphopeptides). While employment of site-specific product ions allows for these isobaric phosphopeptides to be distinguished and quantified, site-specific product ions are often absent or weak in tandem mass spectra. In this study, linear algebra algorithms were employed as an add-on to targeted proteomics to retrieve information on individual phosphopeptides from their common spectra. To achieve this simultaneous quantification, a LC-MS/MS-based targeted proteomics assay was first developed and validated for each phosphopeptide. Given the slope and intercept of calibration curves of phosphopeptides in each transition, linear algebraic equations were developed. Using a series of mock mixtures prepared with varying concentrations of each phosphopeptide, the reliability of the approach to quantify isobaric phosphopeptides containing multiple phosphorylation sites (≥ 2) was discussed. Finally, we applied this approach to determine the phosphorylation stoichiometry of heat shock protein 27 (HSP27) at Ser78 and Ser82 in breast cancer cells and tissue samples.

An Analysis of Content Knowledge and Cognitive Abilities as Factors That Are Associated with Algebra Performance

ERIC Educational Resources Information Center

McLean, Tamika Ann

2017-01-01

The current study investigated college students' content knowledge and cognitive abilities as factors associated with their algebra performance, and examined how combinations of content knowledge and cognitive abilities related to their algebra performance. Specifically, the investigation examined the content knowledge factors of computational…

Genetic algorithms in teaching artificial intelligence (automated generation of specific algebras)

NASA Astrophysics Data System (ADS)

Habiballa, Hashim; Jendryscik, Radek

2017-11-01

The problem of teaching essential Artificial Intelligence (AI) methods is an important task for an educator in the branch of soft-computing. The key focus is often given to proper understanding of the principle of AI methods in two essential points - why we use soft-computing methods at all and how we apply these methods to generate reasonable results in sensible time. We present one interesting problem solved in the non-educational research concerning automated generation of specific algebras in the huge search space. We emphasize above mentioned points as an educational case study of an interesting problem in automated generation of specific algebras.

Selecting reusable components using algebraic specifications

NASA Technical Reports Server (NTRS)

Eichmann, David A.

1992-01-01

A significant hurdle confronts the software reuser attempting to select candidate components from a software repository - discriminating between those components without resorting to inspection of the implementation(s). We outline a mixed classification/axiomatic approach to this problem based upon our lattice-based faceted classification technique and Guttag and Horning's algebraic specification techniques. This approach selects candidates by natural language-derived classification, by their interfaces, using signatures, and by their behavior, using axioms. We briefly outline our problem domain and related work. Lattice-based faceted classifications are described; the reader is referred to surveys of the extensive literature for algebraic specification techniques. Behavioral support for reuse queries is presented, followed by the conclusions.

N  =  2 and N  =  4 subalgebras of super vertex operator algebras

NASA Astrophysics Data System (ADS)

Mason, Geoffrey; Tuite, Michael; Yamskulna, Gaywalee

2018-02-01

We develop criteria to decide if an N  =  2 or N  =  4 superconformal algebra is a subalgebra of a super vertex operator algebra in general, and of a super lattice theory in particular. We give some specific examples.

Teaching the "Diagonalization Concept" in Linear Algebra with Technology: A Case Study at Galatasaray University

ERIC Educational Resources Information Center

Yildiz Ulus, Aysegul

2013-01-01

This paper examines experimental and algorithmic contributions of advanced calculators (graphing and computer algebra system, CAS) in teaching the concept of "diagonalization," one of the key topics in Linear Algebra courses taught at the undergraduate level. Specifically, the proposed hypothesis of this study is to assess the effective…

From rational numbers to algebra: separable contributions of decimal magnitude and relational understanding of fractions.

PubMed

DeWolf, Melissa; Bassok, Miriam; Holyoak, Keith J

2015-05-01

To understand the development of mathematical cognition and to improve instructional practices, it is critical to identify early predictors of difficulty in learning complex mathematical topics such as algebra. Recent work has shown that performance with fractions on a number line estimation task predicts algebra performance, whereas performance with whole numbers on similar estimation tasks does not. We sought to distinguish more specific precursors to algebra by measuring multiple aspects of knowledge about rational numbers. Because fractions are the first numbers that are relational expressions to which students are exposed, we investigated how understanding the relational bipartite format (a/b) of fractions might connect to later algebra performance. We presented middle school students with a battery of tests designed to measure relational understanding of fractions, procedural knowledge of fractions, and placement of fractions, decimals, and whole numbers onto number lines as well as algebra performance. Multiple regression analyses revealed that the best predictors of algebra performance were measures of relational fraction knowledge and ability to place decimals (not fractions or whole numbers) onto number lines. These findings suggest that at least two specific components of knowledge about rational numbers--relational understanding (best captured by fractions) and grasp of unidimensional magnitude (best captured by decimals)--can be linked to early success with algebraic expressions. Copyright © 2015 Elsevier Inc. All rights reserved.

Blur kernel estimation with algebraic tomography technique and intensity profiles of object boundaries

NASA Astrophysics Data System (ADS)

Ingacheva, Anastasia; Chukalina, Marina; Khanipov, Timur; Nikolaev, Dmitry

2018-04-01

Motion blur caused by camera vibration is a common source of degradation in photographs. In this paper we study the problem of finding the point spread function (PSF) of a blurred image using the tomography technique. The PSF reconstruction result strongly depends on the particular tomography technique used. We present a tomography algorithm with regularization adapted specifically for this task. We use the algebraic reconstruction technique (ART algorithm) as the starting algorithm and introduce regularization. We use the conjugate gradient method for numerical implementation of the proposed approach. The algorithm is tested using a dataset which contains 9 kernels extracted from real photographs by the Adobe corporation where the point spread function is known. We also investigate influence of noise on the quality of image reconstruction and investigate how the number of projections influence the magnitude change of the reconstruction error.

Mathematics in the Early Grades: Operations & Algebraic Thinking. Interactive STEM Research + Practice Brief

ERIC Educational Resources Information Center

Education Development Center, Inc., 2016

2016-01-01

In the domain of "Operations & Algebraic Thinking," Common Core State Standards indicate that in kindergarten, first grade, and second grade, children should demonstrate and expand their ability to understand, represent, and solve problems using the operations of addition and subtraction, laying the foundation for operations using…

78 FR 24393 - Agency Information Collection Activities; Comment Request; Promoting Student Success in Algebra I...

Federal Register 2010, 2011, 2012, 2013, 2014

2013-04-25

... learning/ double-dose algebra can serve as possible avenues for improving student success in mathematics... needs in mathematics. This work will make an important contribution by producing actionable information... Common Core State Standards for Mathematics (CCSSM). The study centers around three major research...

Interactions between Language and Mathematics with Deaf Students: Defining the "Language-Mathematics" Equation.

ERIC Educational Resources Information Center

Hillegeist, Eleanor; Epstein, Kenneth

The study examined the relationship between language and mathematics with 11 classes of deaf students taking Algebra 1 or Algebra 2 at the Gallaudet University School of Preparatory Studies. Specifically, the study attempted to predict the difficulty of a variety of relatively simple algebra problems based on the abstractness of the math and the…

Strategies for Solving Fraction Tasks and Their Link to Algebraic Thinking

ERIC Educational Resources Information Center

Pearn, Catherine; Stephens, Max

2015-01-01

Many researchers argue that a deep understanding of fractions is important for a successful transition to algebra. Teaching, especially in the middle years, needs to focus specifically on those areas of fraction knowledge and operations that support subsequent solution processes for algebraic equations. This paper focuses on the results of Year 6…

Iterative methods for tomography problems: implementation to a cross-well tomography problem

NASA Astrophysics Data System (ADS)

Karadeniz, M. F.; Weber, G. W.

2018-01-01

The velocity distribution between two boreholes is reconstructed by cross-well tomography, which is commonly used in geology. In this paper, iterative methods, Kaczmarz’s algorithm, algebraic reconstruction technique (ART), and simultaneous iterative reconstruction technique (SIRT), are implemented to a specific cross-well tomography problem. Convergence to the solution of these methods and their CPU time for the cross-well tomography problem are compared. Furthermore, these three methods for this problem are compared for different tolerance values.

Principal Component Analysis: Resources for an Essential Application of Linear Algebra

ERIC Educational Resources Information Center

Pankavich, Stephen; Swanson, Rebecca

2015-01-01

Principal Component Analysis (PCA) is a highly useful topic within an introductory Linear Algebra course, especially since it can be used to incorporate a number of applied projects. This method represents an essential application and extension of the Spectral Theorem and is commonly used within a variety of fields, including statistics,…

An Investigation of Selected Variables Related to Student Algebra I Performance in Mississippi

ERIC Educational Resources Information Center

Scott, Undray

2016-01-01

This research study attempted to determine if specific variables were related to student performance on the Algebra I subject-area test. This study also sought to determine in which of grades 8, 9, or 10 students performed better on the Algebra I Subject Area Test. This study also investigated the different criteria that are used to schedule…

Libraries for Software Use on Peregrine | High-Performance Computing | NREL

Science.gov Websites

-specific libraries. Libraries List Name Description BLAS Basic Linear Algebra Subroutines, libraries only managing hierarchically structured data. LAPACK Standard Netlib offering for computational linear algebra

Algebraic reasoning and bat-and-ball problem variants: Solving isomorphic algebra first facilitates problem solving later.

PubMed

Hoover, Jerome D; Healy, Alice F

2017-12-01

The classic bat-and-ball problem is used widely to measure biased and correct reasoning in decision-making. University students overwhelmingly tend to provide the biased answer to this problem. To what extent might reasoners be led to modify their judgement, and, more specifically, is it possible to facilitate problem solution by prompting participants to consider the problem from an algebraic perspective? One hundred ninety-seven participants were recruited to investigate the effect of algebraic cueing as a debiasing strategy on variants of the bat-and-ball problem. Participants who were cued to consider the problem algebraically were significantly more likely to answer correctly relative to control participants. Most of this cueing effect was confined to a condition that required participants to solve isomorphic algebra equations corresponding to the structure of bat-and-ball question types. On a subsequent critical question with differing item and dollar amounts presented without a cue, participants were able to generalize the learned information to significantly reduce overall bias. Math anxiety was also found to be significantly related to bat-and-ball problem accuracy. These results suggest that, under specific conditions, algebraic reasoning is an effective debiasing strategy on bat-and-ball problem variants, and provide the first documented evidence for the influence of math anxiety on Cognitive Reflection Test performance.

Algebra and Problem-Solving in Down Syndrome: A Study with 15 Teenagers

ERIC Educational Resources Information Center

Martinez, Elisabetta Monari; Pellegrini, Katia

2010-01-01

There is a common opinion that mathematics is difficult for persons with Down syndrome, because of a weakness in numeracy and in abstract thinking. Since 1996, some single case studies have suggested that new opportunities in mathematics are possible for these students: some of them learned algebra and also learned to use equations in…

Effective Teaching Practices. Research Watch. E&R Report No. 10.01

ERIC Educational Resources Information Center

Haynie, Glenda

2010-01-01

This paper reports the overall findings of research on effective teaching practices in Wake County Public Schools (WCPSS). It is a cross-case analysis of five earlier studies (Biology, Algebra I, U.S. History, middle school Algebra I, and English I). Despite subject implementation differences, four common themes were found: (1) high academic…

Some Comments on 'The Role of Proof in Comprehending and Teaching Elementary Linear Algebra' by F. Uhlig.

ERIC Educational Resources Information Center

Dorier, Jean-Luc; Robert, Aline; Rogalski, Marc

2002-01-01

Underlines the common points in F. Uhlig's approach published in an earlier issue of this journal about the question of proof in linear algebra. Describes some of his ideas in a new light and gives perspective for a further didactical development of Uhlig's first experiments. (Author/KHR)

Examinations in the Final Year of Transition to Mathematical Methods Computer Algebra System (CAS)

ERIC Educational Resources Information Center

Leigh-Lancaster, David; Les, Magdalena; Evans, Michael

2010-01-01

2009 was the final year of parallel implementation for Mathematical Methods Units 3 and 4 and Mathematical Methods (CAS) Units 3 and 4. From 2006-2009 there was a common technology-free short answer examination that covered the same function, algebra, calculus and probability content for both studies with corresponding expectations for key…

Application of the algebraic difference approach for developing self-referencing specific gravity and biomass equations

Treesearch

Lewis Jordan; Ray Souter; Bernard Parresol; Richard F. Daniels

2006-01-01

Biomass estimation is critical for looking at ecosystem processes and as a measure of stand yield. The density-integral approach allows for coincident estimation of stem profile and biomass. The algebraic difference approach (ADA) permits the derivation of dynamic or nonstatic functions. In this study we applied the ADA to develop a self-referencing specific gravity...

Metric 3-Leibniz algebras and M2-branes

NASA Astrophysics Data System (ADS)

Méndez-Escobar, Elena

2010-08-01

This thesis is concerned with superconformal Chern-Simons theories with matter in 3 dimensions. The interest in these theories is two-fold. On the one hand, it is a new family of theories in which to test the AdS/CFT correspondence and on the other, they are important to study one of the main objects of M-theory (M2-branes). All these theories have something in common: they can be written in terms of 3-Leibniz algebras. Here we study the structure theory of such algebras, paying special attention to a subclass of them that gives rise to maximal supersymmetry and that was the first to appear in this context: 3-Lie algebras. In chapter 2, we review the structure theory of metric Lie algebras and their unitary representations. In chapter 3, we study metric 3-Leibniz algebras and show, by specialising a construction originally due to Faulkner, that they are in one to one correspondence with pairs of real metric Lie algebras and unitary representations of them. We also show a third characterisation for six extreme cases of 3-Leibniz algebras as graded Lie (super)algebras. In chapter 4, we study metric 3-Lie algebras in detail. We prove a structural result and also classify those with a maximally isotropic centre, which is the requirement that ensures unitarity of the corresponding conformal field theory. Finally, in chapter 5, we study the universal structure of superpotentials in this class of superconformal Chern-Simons theories with matter in three dimensions. We provide a uniform formulation for all these theories and establish the connection between the amount of supersymmetry preserved and the gauge Lie algebra and the appropriate unitary representation to be used to write down the Lagrangian. The conditions for supersymmetry enhancement are then expressed equivalently in the language of representation theory of Lie algebras or the language of 3-Leibniz algebras.

SD-CAS: Spin Dynamics by Computer Algebra System.

PubMed

Filip, Xenia; Filip, Claudiu

2010-11-01

A computer algebra tool for describing the Liouville-space quantum evolution of nuclear 1/2-spins is introduced and implemented within a computational framework named Spin Dynamics by Computer Algebra System (SD-CAS). A distinctive feature compared with numerical and previous computer algebra approaches to solving spin dynamics problems results from the fact that no matrix representation for spin operators is used in SD-CAS, which determines a full symbolic character to the performed computations. Spin correlations are stored in SD-CAS as four-entry nested lists of which size increases linearly with the number of spins into the system and are easily mapped into analytical expressions in terms of spin operator products. For the so defined SD-CAS spin correlations a set of specialized functions and procedures is introduced that are essential for implementing basic spin algebra operations, such as the spin operator products, commutators, and scalar products. They provide results in an abstract algebraic form: specific procedures to quantitatively evaluate such symbolic expressions with respect to the involved spin interaction parameters and experimental conditions are also discussed. Although the main focus in the present work is on laying the foundation for spin dynamics symbolic computation in NMR based on a non-matrix formalism, practical aspects are also considered throughout the theoretical development process. In particular, specific SD-CAS routines have been implemented using the YACAS computer algebra package (http://yacas.sourceforge.net), and their functionality was demonstrated on a few illustrative examples. Copyright © 2010 Elsevier Inc. All rights reserved.

The Predictive Validity of Coordinate Algebra Common District Assessments on High-Stakes Coordinate Algebra End of Course Assessment

ERIC Educational Resources Information Center

Ainsworth, Jessica Marie

2016-01-01

Formative assessments have been deemed the key to effectively measuring if students have mastered the understanding of curriculum standards. Thus, allowing teachers to use the results to tailor remediation and use other efforts to support mastery of student learning before the end of the school year has positive effects on student achievement.…

Quantum error-correcting codes from algebraic geometry codes of Castle type

NASA Astrophysics Data System (ADS)

Munuera, Carlos; Tenório, Wanderson; Torres, Fernando

2016-10-01

We study algebraic geometry codes producing quantum error-correcting codes by the CSS construction. We pay particular attention to the family of Castle codes. We show that many of the examples known in the literature in fact belong to this family of codes. We systematize these constructions by showing the common theory that underlies all of them.

Ermakov's Superintegrable Toy and Nonlocal Symmetries

NASA Astrophysics Data System (ADS)

Leach, P. G. L.; Karasu Kalkanli, A.; Nucci, M. C.; Andriopoulos, K.

2005-11-01

We investigate the symmetry properties of a pair of Ermakov equations. The system is superintegrable and yet possesses only three Lie point symmetries with the algebra sl(2, R). The number of point symmetries is insufficient and the algebra unsuitable for the complete specification of the system. We use the method of reduction of order to reduce the nonlinear fourth-order system to a third-order system comprising a linear second-order equation and a conservation law. We obtain the representation of the complete symmetry group from this system. Four of the required symmetries are nonlocal and the algebra is the direct sum of a one-dimensional Abelian algebra with the semidirect sum of a two-dimensional solvable algebra with a two-dimensional Abelian algebra. The problem illustrates the difficulties which can arise in very elementary systems. Our treatment demonstrates the existence of possible routes to overcome these problems in a systematic fashion.

Properties of coupled-cluster equations originating in excitation sub-algebras

NASA Astrophysics Data System (ADS)

Kowalski, Karol

2018-03-01

In this paper, we discuss properties of single-reference coupled cluster (CC) equations associated with the existence of sub-algebras of excitations that allow one to represent CC equations in a hybrid fashion where the cluster amplitudes associated with these sub-algebras can be obtained by solving the corresponding eigenvalue problem. For closed-shell formulations analyzed in this paper, the hybrid representation of CC equations provides a natural way for extending active-space and seniority number concepts to provide an accurate description of electron correlation effects. Moreover, a new representation can be utilized to re-define iterative algorithms used to solve CC equations, especially for tough cases defined by the presence of strong static and dynamical correlation effects. We will also explore invariance properties associated with excitation sub-algebras to define a new class of CC approximations referred to in this paper as the sub-algebra-flow-based CC methods. We illustrate the performance of these methods on the example of ground- and excited-state calculations for commonly used small benchmark systems.

Tensor Algebra Library for NVidia Graphics Processing Units

DOE Office of Scientific and Technical Information (OSTI.GOV)

Liakh, Dmitry

This is a general purpose math library implementing basic tensor algebra operations on NVidia GPU accelerators. This software is a tensor algebra library that can perform basic tensor algebra operations, including tensor contractions, tensor products, tensor additions, etc., on NVidia GPU accelerators, asynchronously with respect to the CPU host. It supports a simultaneous use of multiple NVidia GPUs. Each asynchronous API function returns a handle which can later be used for querying the completion of the corresponding tensor algebra operation on a specific GPU. The tensors participating in a particular tensor operation are assumed to be stored in local RAMmore » of a node or GPU RAM. The main research area where this library can be utilized is the quantum many-body theory (e.g., in electronic structure theory).« less

Non-AdS holography in 3-dimensional higher spin gravity — General recipe and example

NASA Astrophysics Data System (ADS)

Afshar, H.; Gary, M.; Grumiller, D.; Rashkov, R.; Riegler, M.

2012-11-01

We present the general algorithm to establish the classical and quantum asymptotic symmetry algebra for non-AdS higher spin gravity and implement it for the specific example of spin-3 gravity in the non-principal embedding with Lobachevsky ( {{{{H}}^2}× {R}} ) boundary conditions. The asymptotic symmetry algebra for this example consists of a quantum W_3^{(2) } (Polyakov-Bershadsky) and an affine û(1) algebra. We show that unitary representations of the quantum W_3^{(2) } algebra exist only for two values of its central charge, the trivial c = 0 "theory" and the simple c = 1 theory.

Algebra? There's an App for That: Florida Goes Online with Math Support for Teachers and Students

ERIC Educational Resources Information Center

Schackow, Joy Bronston; Cugini, Stephanie

2016-01-01

The transition to Common Core State Standards for Mathematics has created a need for high-quality professional learning on content and pedagogy. This is especially true for algebra 1 teachers in Florida, where students must pass a standards-based exam as a requirement to earning a high school diploma. Time, distance, and cost constraints can get…

Computing the Moore-Penrose Inverse of a Matrix with a Computer Algebra System

ERIC Educational Resources Information Center

Schmidt, Karsten

2008-01-01

In this paper "Derive" functions are provided for the computation of the Moore-Penrose inverse of a matrix, as well as for solving systems of linear equations by means of the Moore-Penrose inverse. Making it possible to compute the Moore-Penrose inverse easily with one of the most commonly used Computer Algebra Systems--and to have the blueprint…

A rigorous approach to facilitate and guarantee the correctness of the genetic testing management in human genome information systems.

PubMed

Araújo, Luciano V; Malkowski, Simon; Braghetto, Kelly R; Passos-Bueno, Maria R; Zatz, Mayana; Pu, Calton; Ferreira, João E

2011-12-22

Recent medical and biological technology advances have stimulated the development of new testing systems that have been providing huge, varied amounts of molecular and clinical data. Growing data volumes pose significant challenges for information processing systems in research centers. Additionally, the routines of genomics laboratory are typically characterized by high parallelism in testing and constant procedure changes. This paper describes a formal approach to address this challenge through the implementation of a genetic testing management system applied to human genome laboratory. We introduced the Human Genome Research Center Information System (CEGH) in Brazil, a system that is able to support constant changes in human genome testing and can provide patients updated results based on the most recent and validated genetic knowledge. Our approach uses a common repository for process planning to ensure reusability, specification, instantiation, monitoring, and execution of processes, which are defined using a relational database and rigorous control flow specifications based on process algebra (ACP). The main difference between our approach and related works is that we were able to join two important aspects: 1) process scalability achieved through relational database implementation, and 2) correctness of processes using process algebra. Furthermore, the software allows end users to define genetic testing without requiring any knowledge about business process notation or process algebra. This paper presents the CEGH information system that is a Laboratory Information Management System (LIMS) based on a formal framework to support genetic testing management for Mendelian disorder studies. We have proved the feasibility and showed usability benefits of a rigorous approach that is able to specify, validate, and perform genetic testing using easy end user interfaces.

A rigorous approach to facilitate and guarantee the correctness of the genetic testing management in human genome information systems

PubMed Central

2011-01-01

Background Recent medical and biological technology advances have stimulated the development of new testing systems that have been providing huge, varied amounts of molecular and clinical data. Growing data volumes pose significant challenges for information processing systems in research centers. Additionally, the routines of genomics laboratory are typically characterized by high parallelism in testing and constant procedure changes. Results This paper describes a formal approach to address this challenge through the implementation of a genetic testing management system applied to human genome laboratory. We introduced the Human Genome Research Center Information System (CEGH) in Brazil, a system that is able to support constant changes in human genome testing and can provide patients updated results based on the most recent and validated genetic knowledge. Our approach uses a common repository for process planning to ensure reusability, specification, instantiation, monitoring, and execution of processes, which are defined using a relational database and rigorous control flow specifications based on process algebra (ACP). The main difference between our approach and related works is that we were able to join two important aspects: 1) process scalability achieved through relational database implementation, and 2) correctness of processes using process algebra. Furthermore, the software allows end users to define genetic testing without requiring any knowledge about business process notation or process algebra. Conclusions This paper presents the CEGH information system that is a Laboratory Information Management System (LIMS) based on a formal framework to support genetic testing management for Mendelian disorder studies. We have proved the feasibility and showed usability benefits of a rigorous approach that is able to specify, validate, and perform genetic testing using easy end user interfaces. PMID:22369688

Workflows in bioinformatics: meta-analysis and prototype implementation of a workflow generator.

PubMed

Garcia Castro, Alexander; Thoraval, Samuel; Garcia, Leyla J; Ragan, Mark A

2005-04-07

Computational methods for problem solving need to interleave information access and algorithm execution in a problem-specific workflow. The structures of these workflows are defined by a scaffold of syntactic, semantic and algebraic objects capable of representing them. Despite the proliferation of GUIs (Graphic User Interfaces) in bioinformatics, only some of them provide workflow capabilities; surprisingly, no meta-analysis of workflow operators and components in bioinformatics has been reported. We present a set of syntactic components and algebraic operators capable of representing analytical workflows in bioinformatics. Iteration, recursion, the use of conditional statements, and management of suspend/resume tasks have traditionally been implemented on an ad hoc basis and hard-coded; by having these operators properly defined it is possible to use and parameterize them as generic re-usable components. To illustrate how these operations can be orchestrated, we present GPIPE, a prototype graphic pipeline generator for PISE that allows the definition of a pipeline, parameterization of its component methods, and storage of metadata in XML formats. This implementation goes beyond the macro capacities currently in PISE. As the entire analysis protocol is defined in XML, a complete bioinformatic experiment (linked sets of methods, parameters and results) can be reproduced or shared among users. http://if-web1.imb.uq.edu.au/Pise/5.a/gpipe.html (interactive), ftp://ftp.pasteur.fr/pub/GenSoft/unix/misc/Pise/ (download). From our meta-analysis we have identified syntactic structures and algebraic operators common to many workflows in bioinformatics. The workflow components and algebraic operators can be assimilated into re-usable software components. GPIPE, a prototype implementation of this framework, provides a GUI builder to facilitate the generation of workflows and integration of heterogeneous analytical tools.

A spatial operator algebra for manipulator modeling and control

NASA Technical Reports Server (NTRS)

Rodriguez, G.; Kreutz, Kenneth; Jain, Abhinandan

1989-01-01

A recently developed spatial operator algebra, useful for modeling, control, and trajectory design of manipulators is discussed. The elements of this algebra are linear operators whose domain and range spaces consist of forces, moments, velocities, and accelerations. The effect of these operators is equivalent to a spatial recursion along the span of a manipulator. Inversion of operators can be efficiently obtained via techniques of recursive filtering and smoothing. The operator algebra provides a high level framework for describing the dynamic and kinematic behavior of a manipulator and control and trajectory design algorithms. The interpretation of expressions within the algebraic framework leads to enhanced conceptual and physical understanding of manipulator dynamics and kinematics. Furthermore, implementable recursive algorithms can be immediately derived from the abstract operator expressions by inspection. Thus, the transition from an abstract problem formulation and solution to the detailed mechanizaton of specific algorithms is greatly simplified. The analytical formulation of the operator algebra, as well as its implementation in the Ada programming language are discussed.

DOE Office of Scientific and Technical Information (OSTI.GOV)

Chung, Won Sang, E-mail: mimip4444@hanmail.net; Hounkonnou, Mahouton Norbert, E-mail: norbert.hounkonnou@cipma.uac.bj; Arjika, Sama, E-mail: rjksama2008@gmail.com

In this paper, we propose a full characterization of a generalized q-deformed Tamm-Dancoff oscillator algebra and investigate its main mathematical and physical properties. Specifically, we study its various representations and find the condition satisfied by the deformed q-number to define the algebra structure function. Particular Fock spaces involving finite and infinite dimensions are examined. A deformed calculus is performed as well as a coordinate realization for this algebra. A relevant example is exhibited. Associated coherent states are constructed. Finally, some thermodynamics aspects are computed and discussed.

Reusable Software Component Retrieval via Normalized Algebraic Specifications

DTIC Science & Technology

1991-12-01

outputs. In fact, this method of query is simpler for matching since it relieves the system from the burden of generating a test set. Eichmann [Eich9l...September 1991. [Eich9l] Eichmann , David A., "Selecting Reusable Components Using Algebraic Specifications", Proceedings of the Second International...Technology Atlanta, Georgia 30332-0800 12. Dr. David Eichmann 1 Department of Statistics and Computer Science Knapp Hall West Virginia University Morgantown, West Virginia 26506 226

A rigorous approach to investigating common assumptions about disease transmission: Process algebra as an emerging modelling methodology for epidemiology.

PubMed

McCaig, Chris; Begon, Mike; Norman, Rachel; Shankland, Carron

2011-03-01

Changing scale, for example, the ability to move seamlessly from an individual-based model to a population-based model, is an important problem in many fields. In this paper, we introduce process algebra as a novel solution to this problem in the context of models of infectious disease spread. Process algebra allows us to describe a system in terms of the stochastic behaviour of individuals, and is a technique from computer science. We review the use of process algebra in biological systems, and the variety of quantitative and qualitative analysis techniques available. The analysis illustrated here solves the changing scale problem: from the individual behaviour we can rigorously derive equations to describe the mean behaviour of the system at the level of the population. The biological problem investigated is the transmission of infection, and how this relates to individual interactions.

Decomposition of algebraic sets and applications to weak centers of cubic systems

NASA Astrophysics Data System (ADS)

Chen, Xingwu; Zhang, Weinian

2009-10-01

There are many methods such as Gröbner basis, characteristic set and resultant, in computing an algebraic set of a system of multivariate polynomials. The common difficulties come from the complexity of computation, singularity of the corresponding matrices and some unnecessary factors in successive computation. In this paper, we decompose algebraic sets, stratum by stratum, into a union of constructible sets with Sylvester resultants, so as to simplify the procedure of elimination. Applying this decomposition to systems of multivariate polynomials resulted from period constants of reversible cubic differential systems which possess a quadratic isochronous center, we determine the order of weak centers and discuss the bifurcation of critical periods.

Algebra. A Guidebook for Teaching.

ERIC Educational Resources Information Center

Goodman, Terry A.; And Others

This book provides a general framework for organizing the instructional program in algebra. For each topic, a general approach for instruction, together with specific strategies, activities, and resources that can be used daily, are provided. Also included are worksheet pages that can be used with students. Most activities provide for student…

Processes and Reasoning in Representations of Linear Functions

ERIC Educational Resources Information Center

Adu-Gyamfi, Kwaku; Bossé, Michael J.

2014-01-01

This study examined student actions, interpretations, and language in respect to questions raised regarding tabular, graphical, and algebraic representations in the context of functions. The purpose was to investigate students' interpretations and specific ways of working within table, graph, and the algebraic on notions fundamental to a…

Situating Student Errors: Linguistic-to-Algebra Translation Errors

ERIC Educational Resources Information Center

Adu-Gyamfi, Kwaku; Bossé, Michael J.; Chandler, Kayla

2015-01-01

While it is well recognized that students are prone to difficulties when performing linguistic-to-algebra translations, the nature of students' difficulties remain an issue of contention. Moreover, the literature indicates that these difficulties are not easily remediated by domain-specific instruction. Some have opined that this is the case…

An Analysis of the Algebraic Method for Balancing Chemical Reactions.

ERIC Educational Resources Information Center

Olson, John A.

1997-01-01

Analyzes the algebraic method for balancing chemical reactions. Introduces a third general condition that involves a balance between the total amount of oxidation and reduction. Requires the specification of oxidation states for all elements throughout the reaction. Describes the general conditions, the mathematical treatment, redox reactions, and…

Elementary Algebra Connections to Precalculus

ERIC Educational Resources Information Center

Lopez-Boada, Roberto; Daire, Sandra Arguelles

2013-01-01

This article examines the attitudes of some precalculus students to solve trigonometric and logarithmic equations and systems using the concepts of elementary algebra. With the goal of enticing the students to search for and use connections among mathematical topics, they are asked to solve equations or systems specifically designed to allow…

Inverse Modelling Problems in Linear Algebra Undergraduate Courses

ERIC Educational Resources Information Center

Martinez-Luaces, Victor E.

2013-01-01

This paper will offer an analysis from a theoretical point of view of mathematical modelling, applications and inverse problems of both causation and specification types. Inverse modelling problems give the opportunity to establish connections between theory and practice and to show this fact, a simple linear algebra example in two different…

Curve Fitting via the Criterion of Least Squares. Applications of Algebra and Elementary Calculus to Curve Fitting. [and] Linear Programming in Two Dimensions: I. Applications of High School Algebra to Operations Research. Modules and Monographs in Undergraduate Mathematics and Its Applications Project. UMAP Units 321, 453.

ERIC Educational Resources Information Center

Alexander, John W., Jr.; Rosenberg, Nancy S.

This document consists of two modules. The first of these views applications of algebra and elementary calculus to curve fitting. The user is provided with information on how to: 1) construct scatter diagrams; 2) choose an appropriate function to fit specific data; 3) understand the underlying theory of least squares; 4) use a computer program to…

Artificial Neural Networks Equivalent to Fuzzy Algebra T-Norm Conjunction Operators

NASA Astrophysics Data System (ADS)

Iliadis, L. S.; Spartalis, S. I.

2007-12-01

This paper describes the construction of three Artificial Neural Networks with fuzzy input and output, imitating the performance of fuzzy algebra conjunction operators. More specifically, it is applied over the results of a previous research effort that used T-Norms in order to produce a characteristic torrential risk index that unified the partial risk indices for the area of Xanthi. Each one of the three networks substitutes a T-Norm and consequently they can be used as equivalent operators. This means that ANN performing Fuzzy Algebra operations can be designed and developed.

Mastering algebra retrains the visual system to perceive hierarchical structure in equations.

PubMed

Marghetis, Tyler; Landy, David; Goldstone, Robert L

2016-01-01

Formal mathematics is a paragon of abstractness. It thus seems natural to assume that the mathematical expert should rely more on symbolic or conceptual processes, and less on perception and action. We argue instead that mathematical proficiency relies on perceptual systems that have been retrained to implement mathematical skills. Specifically, we investigated whether the visual system-in particular, object-based attention-is retrained so that parsing algebraic expressions and evaluating algebraic validity are accomplished by visual processing. Object-based attention occurs when the visual system organizes the world into discrete objects, which then guide the deployment of attention. One classic signature of object-based attention is better perceptual discrimination within, rather than between, visual objects. The current study reports that object-based attention occurs not only for simple shapes but also for symbolic mathematical elements within algebraic expressions-but only among individuals who have mastered the hierarchical syntax of algebra. Moreover, among these individuals, increased object-based attention within algebraic expressions is associated with a better ability to evaluate algebraic validity. These results suggest that, in mastering the rules of algebra, people retrain their visual system to represent and evaluate abstract mathematical structure. We thus argue that algebraic expertise involves the regimentation and reuse of evolutionarily ancient perceptual processes. Our findings implicate the visual system as central to learning and reasoning in mathematics, leading us to favor educational approaches to mathematics and related STEM fields that encourage students to adapt, not abandon, their use of perception.

Relative Critical Points

NASA Astrophysics Data System (ADS)

Lewis, Debra

2013-05-01

Relative equilibria of Lagrangian and Hamiltonian systems with symmetry are critical points of appropriate scalar functions parametrized by the Lie algebra (or its dual) of the symmetry group. Setting aside the structures - symplectic, Poisson, or variational - generating dynamical systems from such functions highlights the common features of their construction and analysis, and supports the construction of analogous functions in non-Hamiltonian settings. If the symmetry group is nonabelian, the functions are invariant only with respect to the isotropy subgroup of the given parameter value. Replacing the parametrized family of functions with a single function on the product manifold and extending the action using the (co)adjoint action on the algebra or its dual yields a fully invariant function. An invariant map can be used to reverse the usual perspective: rather than selecting a parametrized family of functions and finding their critical points, conditions under which functions will be critical on specific orbits, typically distinguished by isotropy class, can be derived. This strategy is illustrated using several well-known mechanical systems - the Lagrange top, the double spherical pendulum, the free rigid body, and the Riemann ellipsoids - and generalizations of these systems.

A Method for the Microanalysis of Pre-Algebra Transfer

ERIC Educational Resources Information Center

Pavlik, Philip I., Jr.; Yudelson, Michael; Koedinger, Kenneth R.

2011-01-01

The objective of this research was to better understand the transfer of learning between different variations of pre-algebra problems. While the authors could have addressed a specific variation that might address transfer, they were interested in developing a general model of transfer, so we gathered data from multiple problem types and their…

A Study of the Use of a Handheld Computer Algebra System in Discrete Mathematics

ERIC Educational Resources Information Center

Powers, Robert A.; Allison, Dean E.; Grassl, Richard M.

2005-01-01

This study investigated the impact of the TI-92 handheld Computer Algebra System (CAS) on student achievement in a discrete mathematics course. Specifically, the researchers examined the differences between a CAS section and a control section of discrete mathematics on students' in-class examinations. Additionally, they analysed student approaches…

Stability of Linear Equations--Algebraic Approach

ERIC Educational Resources Information Center

Cherif, Chokri; Goldstein, Avraham; Prado, Lucio M. G.

2012-01-01

This article could be of interest to teachers of applied mathematics as well as to people who are interested in applications of linear algebra. We give a comprehensive study of linear systems from an application point of view. Specifically, we give an overview of linear systems and problems that can occur with the computed solution when the…

Coherent population transfer in multilevel systems with magnetic sublevels. II. Algebraic analysis

NASA Astrophysics Data System (ADS)

Martin, J.; Shore, B. W.; Bergmann, K.

1995-07-01

We extend previous theoretical work on coherent population transfer by stimulated Raman adiabatic passage for states involving nonzero angular momentum. The pump and Stokes fields are either copropagating or counterpropagating with the corresponding linearly polarized electric-field vectors lying in a common plane with the magnetic-field direction. Zeeman splitting lifts the magnetic sublevel degeneracy. We present an algebraic analysis of dressed-state properties to explain the behavior noted in numerical studies. In particular, we discuss conditions which are likely to lead to a failure of complete population transfer. The applied strategy, based on simple methods of linear algebra, will also be successful for other types of discrete multilevel systems, provided the rotating-wave and adiabatic approximation are valid.

Using Spherical-Harmonics Expansions for Optics Surface Reconstruction from Gradients.

PubMed

Solano-Altamirano, Juan Manuel; Vázquez-Otero, Alejandro; Khikhlukha, Danila; Dormido, Raquel; Duro, Natividad

2017-11-30

In this paper, we propose a new algorithm to reconstruct optics surfaces (aka wavefronts) from gradients, defined on a circular domain, by means of the Spherical Harmonics. The experimental results indicate that this algorithm renders the same accuracy, compared to the reconstruction based on classical Zernike polynomials, using a smaller number of polynomial terms, which potentially speeds up the wavefront reconstruction. Additionally, we provide an open-source C++ library, released under the terms of the GNU General Public License version 2 (GPLv2), wherein several polynomial sets are coded. Therefore, this library constitutes a robust software alternative for wavefront reconstruction in a high energy laser field, optical surface reconstruction, and, more generally, in surface reconstruction from gradients. The library is a candidate for being integrated in control systems for optical devices, or similarly to be used in ad hoc simulations. Moreover, it has been developed with flexibility in mind, and, as such, the implementation includes the following features: (i) a mock-up generator of various incident wavefronts, intended to simulate the wavefronts commonly encountered in the field of high-energy lasers production; (ii) runtime selection of the library in charge of performing the algebraic computations; (iii) a profiling mechanism to measure and compare the performance of different steps of the algorithms and/or third-party linear algebra libraries. Finally, the library can be easily extended to include additional dependencies, such as porting the algebraic operations to specific architectures, in order to exploit hardware acceleration features.

Using Spherical-Harmonics Expansions for Optics Surface Reconstruction from Gradients

PubMed Central

Solano-Altamirano, Juan Manuel; Khikhlukha, Danila

2017-01-01

In this paper, we propose a new algorithm to reconstruct optics surfaces (aka wavefronts) from gradients, defined on a circular domain, by means of the Spherical Harmonics. The experimental results indicate that this algorithm renders the same accuracy, compared to the reconstruction based on classical Zernike polynomials, using a smaller number of polynomial terms, which potentially speeds up the wavefront reconstruction. Additionally, we provide an open-source C++ library, released under the terms of the GNU General Public License version 2 (GPLv2), wherein several polynomial sets are coded. Therefore, this library constitutes a robust software alternative for wavefront reconstruction in a high energy laser field, optical surface reconstruction, and, more generally, in surface reconstruction from gradients. The library is a candidate for being integrated in control systems for optical devices, or similarly to be used in ad hoc simulations. Moreover, it has been developed with flexibility in mind, and, as such, the implementation includes the following features: (i) a mock-up generator of various incident wavefronts, intended to simulate the wavefronts commonly encountered in the field of high-energy lasers production; (ii) runtime selection of the library in charge of performing the algebraic computations; (iii) a profiling mechanism to measure and compare the performance of different steps of the algorithms and/or third-party linear algebra libraries. Finally, the library can be easily extended to include additional dependencies, such as porting the algebraic operations to specific architectures, in order to exploit hardware acceleration features. PMID:29189722

A simple method for constructing the inhomogeneous quantum group IGLq(n) and its universal enveloping algebra Uq(igl(n))

NASA Astrophysics Data System (ADS)

Shariati, A.; Aghamohammadi, A.

1995-12-01

We propose a simple and concise method to construct the inhomogeneous quantum group IGLq(n) and its universal enveloping algebra Uq(igl(n)). Our technique is based on embedding an n-dimensional quantum space in an n+1-dimensional one as the set xn+1=1. This is possible only if one considers the multiparametric quantum space whose parameters are fixed in a specific way. The quantum group IGLq(n) is then the subset of GLq(n+1), which leaves the xn+1=1 subset invariant. For the deformed universal enveloping algebra Uq(igl(n)), we will show that it can also be embedded in Uq(gl(n+1)), provided one uses the multiparametric deformation of U(gl(n+1)) with a specific choice of its parameters.

Diagnosing students' misconceptions in algebra: results from an experimental pilot study.

PubMed

Russell, Michael; O'Dwyer, Laura M; Miranda, Helena

2009-05-01

Computer-based diagnostic assessment systems hold potential to help teachers identify sources of poor performance and to connect teachers and students to learning activities designed to help advance students' conceptual understandings. The present article presents findings from a study that examined how students' performance in algebra and their overcoming of common algebraic misconceptions were affected by the use of a diagnostic assessment system that focused on important algebra concepts. This study used a four-group randomized cluster trial design in which teachers were assigned randomly to one of four groups: a "business as usual" control group, a partial intervention group that was provided with access to diagnostic tests results, a partial intervention group that was provided with access to the learning activities, and a full intervention group that was given access to the test results and learning activities. Data were collected from 905 students (6th-12th grade) nested within 44 teachers. We used hierarchical linear modeling techniques to compare the effects of full, partial, and no (control) intervention on students' algebraic ability and misconceptions. The analyses indicate that full intervention had a net positive effect on ability and misconception measures.

Generic, Type-Safe and Object Oriented Computer Algebra Software

NASA Astrophysics Data System (ADS)

Kredel, Heinz; Jolly, Raphael

Advances in computer science, in particular object oriented programming, and software engineering have had little practical impact on computer algebra systems in the last 30 years. The software design of existing systems is still dominated by ad-hoc memory management, weakly typed algorithm libraries and proprietary domain specific interactive expression interpreters. We discuss a modular approach to computer algebra software: usage of state-of-the-art memory management and run-time systems (e.g. JVM) usage of strongly typed, generic, object oriented programming languages (e.g. Java) and usage of general purpose, dynamic interactive expression interpreters (e.g. Python) To illustrate the workability of this approach, we have implemented and studied computer algebra systems in Java and Scala. In this paper we report on the current state of this work by presenting new examples.

Lambda: A Mathematica package for operator product expansions in vertex algebras

NASA Astrophysics Data System (ADS)

Ekstrand, Joel

2011-02-01

We give an introduction to the Mathematica package Lambda, designed for calculating λ-brackets in both vertex algebras, and in SUSY vertex algebras. This is equivalent to calculating operator product expansions in two-dimensional conformal field theory. The syntax of λ-brackets is reviewed, and some simple examples are shown, both in component notation, and in N=1 superfield notation. Program summaryProgram title: Lambda Catalogue identifier: AEHF_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEHF_v1_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: GNU General Public License No. of lines in distributed program, including test data, etc.: 18 087 No. of bytes in distributed program, including test data, etc.: 131 812 Distribution format: tar.gz Programming language: Mathematica Computer: See specifications for running Mathematica V7 or above. Operating system: See specifications for running Mathematica V7 or above. RAM: Varies greatly depending on calculation to be performed. Classification: 4.2, 5, 11.1. Nature of problem: Calculate operator product expansions (OPEs) of composite fields in 2d conformal field theory. Solution method: Implementation of the algebraic formulation of OPEs given by vertex algebras, and especially by λ-brackets. Running time: Varies greatly depending on calculation requested. The example notebook provided takes about 3 s to run.

Computers in the Classroom: Teacher's Resource Manual for Algebra.

ERIC Educational Resources Information Center

Koetke, Walter

Demonstration programs, possible assignments for students (with solutions), and remedial drill programs for students to use are presented to aid teachers using a computer or a computer terminal in the teaching of algebra. The text can be followed page by page or used as a well-indexed reference work, and specific suggestions are made on how and…

Early Childhood Teachers' Professional Learning in Early Algebraic Thinking: A Model that Supports New Knowledge and Pedagogy

ERIC Educational Resources Information Center

Warren, Elizabeth

2009-01-01

The implementation of a new mathematics syllabus in the elementary context is problematic, especially if it contains a new content area. A professional development model, Transformative Teaching in the Early Years Mathematics (TTEYM) was specifically developed to support the implementation of the new Patterns and Algebra strand. The model was…

Examining the Conceptual Organization of Students in an Integrated Algebra and Physical Science Class.

ERIC Educational Resources Information Center

Westbrook, Susan L.

1998-01-01

Compares the conceptual organization of students in an integrated algebra and physical science class (SAM 9) with that of students in a discipline-specific physical science class (PSO). Analysis of students' concept maps indicates that the SAM9 students used a greater number of procedural linkages to connect mathematics and science concepts than…

Is the Role of Equations in the Doing of Word Problems in School Algebra Changing? Initial Indications from Teacher Study Groups

ERIC Educational Resources Information Center

Chazan, Daniel; Sela, Hagit; Herbst, Patricio

2012-01-01

We illustrate a method, which is modeled on "breaching experiments," for studying tacit norms that govern classroom interaction around particular mathematical content. Specifically, this study explores norms that govern teachers' expectations for the doing of word problems in school algebra. Teacher study groups discussed representations of…

Linear Algebra and the Experiences of a "Flipper"

ERIC Educational Resources Information Center

Wright, Sarah E.

2015-01-01

This paper describes the linear algebra class I taught during Spring 2014 semester at Adelphi University. I discuss the details of how I flipped the class and incorporated elements of inquiry-based learning as well as the reasoning behind specific decisions I made. I give feedback from the students on the success of the course and provide my own…

Comparison of Virginia's College and Career Ready Mathematics Performance Expectations with the Common Core State Standards for Mathematics

ERIC Educational Resources Information Center

Virginia Department of Education, 2010

2010-01-01

This paper presents a comparison of Virginia's mathematics performance expectations with the common core state standards for mathematics. The comparison focuses on number and quantity, algebra, functions, geometry, and statistics and probability. (Contains 1 footnote.)

HOMAR: A computer code for generating homotopic grids using algebraic relations: User's manual

NASA Technical Reports Server (NTRS)

Moitra, Anutosh

1989-01-01

A computer code for fast automatic generation of quasi-three-dimensional grid systems for aerospace configurations is described. The code employs a homotopic method to algebraically generate two-dimensional grids in cross-sectional planes, which are stacked to produce a three-dimensional grid system. Implementation of the algebraic equivalents of the homotopic relations for generating body geometries and grids are explained. Procedures for controlling grid orthogonality and distortion are described. Test cases with description and specification of inputs are presented in detail. The FORTRAN computer program and notes on implementation and use are included.

Teaching Algebra to Students With Learning Disabilities: Where Have We Come and Where Should We Go?

PubMed

Watt, Sarah J; Watkins, Jessie R; Abbitt, Jason

2016-07-01

This review investigates effective interventions for teaching algebra to students with learning disabilities and evaluates the complexity and alignment of skills with the Common Core State Standards in math. The review includes the results of 10 experimental and 5 single-subject designs (N = 15) producing a moderate overall effect size (g = 0.48). A total of five interventions were identified and analyzed across the studies using effect size data. © Hammill Institute on Disabilities 2014.

Interruption as a test of the user-computer interface

NASA Technical Reports Server (NTRS)

Kreifeldt, J. G.; Mccarthy, M. E.

1981-01-01

In order to study the effects different logic systems might have on interrupted operation, an algebraic calculator and a reverse polish notation calculator were compared when trained users were interrupted during problem entry. The RPN calculator showed markedly superior resistance to interruption effects compared to the AN calculator although no significant differences were found when the users were not interrupted. Causes and possible remedies for interruption effects are speculated. It is proposed that because interruption is such a common occurrence, it be incorporated into comparative evaluation tests of different logic system and control/display system and that interruption resistance be adopted as a specific design criteria for such design.

Decryption of pure-position permutation algorithms.

PubMed

Zhao, Xiao-Yu; Chen, Gang; Zhang, Dan; Wang, Xiao-Hong; Dong, Guang-Chang

2004-07-01

Pure position permutation image encryption algorithms, commonly used as image encryption investigated in this work are unfortunately frail under known-text attack. In view of the weakness of pure position permutation algorithm, we put forward an effective decryption algorithm for all pure-position permutation algorithms. First, a summary of the pure position permutation image encryption algorithms is given by introducing the concept of ergodic matrices. Then, by using probability theory and algebraic principles, the decryption probability of pure-position permutation algorithms is verified theoretically; and then, by defining the operation system of fuzzy ergodic matrices, we improve a specific decryption algorithm. Finally, some simulation results are shown.

Quantum theory of the generalised uncertainty principle

NASA Astrophysics Data System (ADS)

Bruneton, Jean-Philippe; Larena, Julien

2017-04-01

We extend significantly previous works on the Hilbert space representations of the generalized uncertainty principle (GUP) in 3 + 1 dimensions of the form [X_i,P_j] = i F_{ij} where F_{ij} = f({{P}}^2) δ _{ij} + g({{P}}^2) P_i P_j for any functions f. However, we restrict our study to the case of commuting X's. We focus in particular on the symmetries of the theory, and the minimal length that emerge in some cases. We first show that, at the algebraic level, there exists an unambiguous mapping between the GUP with a deformed quantum algebra and a quadratic Hamiltonian into a standard, Heisenberg algebra of operators and an aquadratic Hamiltonian, provided the boost sector of the symmetries is modified accordingly. The theory can also be mapped to a completely standard Quantum Mechanics with standard symmetries, but with momentum dependent position operators. Next, we investigate the Hilbert space representations of these algebraically equivalent models, and focus specifically on whether they exhibit a minimal length. We carry the functional analysis of the various operators involved, and show that the appearance of a minimal length critically depends on the relationship between the generators of translations and the physical momenta. In particular, because this relationship is preserved by the algebraic mapping presented in this paper, when a minimal length is present in the standard GUP, it is also present in the corresponding Aquadratic Hamiltonian formulation, despite the perfectly standard algebra of this model. In general, a minimal length requires bounded generators of translations, i.e. a specific kind of quantization of space, and this depends on the precise shape of the function f defined previously. This result provides an elegant and unambiguous classification of which universal quantum gravity corrections lead to the emergence of a minimal length.

Chiropractic biophysics technique: a linear algebra approach to posture in chiropractic.

PubMed

Harrison, D D; Janik, T J; Harrison, G R; Troyanovich, S; Harrison, D E; Harrison, S O

1996-10-01

This paper discusses linear algebra as applied to human posture in chiropractic, specifically chiropractic biophysics technique (CBP). Rotations, reflections and translations are geometric functions studied in vector spaces in linear algebra. These mathematical functions are termed rigid body transformations and are applied to segmental spinal movement in the literature. Review of the literature indicates that these linear algebra concepts have been used to describe vertebral motion. However, these rigid body movers are presented here as applying to the global postural movements of the head, thoracic cage and pelvis. The unique inverse functions of rotations, reflections and translations provide a theoretical basis for making postural corrections in neutral static resting posture. Chiropractic biophysics technique (CBP) uses these concepts in examination procedures, manual spinal manipulation, instrument assisted spinal manipulation, postural exercises, extension traction and clinical outcome measures.

Using MathCAD to Teach One-Dimensional Graphs

ERIC Educational Resources Information Center

Yushau, B.

2004-01-01

Topics such as linear and nonlinear equations and inequalities, compound inequalities, linear and nonlinear absolute value equations and inequalities, rational equations and inequality are commonly found in college algebra and precalculus textbooks. What is common about these topics is the fact that their solutions and graphs lie in the real line…

Conformal Galilei algebras, symmetric polynomials and singular vectors

NASA Astrophysics Data System (ADS)

Křižka, Libor; Somberg, Petr

2018-01-01

We classify and explicitly describe homomorphisms of Verma modules for conformal Galilei algebras cga_ℓ (d,C) with d=1 for any integer value ℓ \\in N. The homomorphisms are uniquely determined by singular vectors as solutions of certain differential operators of flag type and identified with specific polynomials arising as coefficients in the expansion of a parametric family of symmetric polynomials into power sum symmetric polynomials.

Solution Strategies, Modes of Representation and Justifications of Primary Five Pupils in Solving Pre Algebra Problems: An Experience of Using Task-Based Interview and Verbal Protocol Analysis

ERIC Educational Resources Information Center

Ling, Gan We; Ghazali, Munirah

2007-01-01

This descriptive study was aimed at looking into how Primary 5 pupils solve pre-algebra problems concerning patterns and unknown quantities. Specifically, objectives of this study were to describe Primary 5 pupils' solution strategies, modes of representations and justifications in: (a) discovering, describing and using numerical and geometrical…

Some Issues about the Introduction of First Concepts in Linear Algebra during Tutorial Sessions at the Beginning of University

ERIC Educational Resources Information Center

Grenier-Boley, Nicolas

2014-01-01

Certain mathematical concepts were not introduced to solve a specific open problem but rather to solve different problems with the same tools in an economic formal way or to unify several approaches: such concepts, as some of those of linear algebra, are presumably difficult to introduce to students as they are potentially interwoven with many…

Numerical methods on some structured matrix algebra problems

DOE Office of Scientific and Technical Information (OSTI.GOV)

Jessup, E.R.

1996-06-01

This proposal concerned the design, analysis, and implementation of serial and parallel algorithms for certain structured matrix algebra problems. It emphasized large order problems and so focused on methods that can be implemented efficiently on distributed-memory MIMD multiprocessors. Such machines supply the computing power and extensive memory demanded by the large order problems. We proposed to examine three classes of matrix algebra problems: the symmetric and nonsymmetric eigenvalue problems (especially the tridiagonal cases) and the solution of linear systems with specially structured coefficient matrices. As all of these are of practical interest, a major goal of this work was tomore » translate our research in linear algebra into useful tools for use by the computational scientists interested in these and related applications. Thus, in addition to software specific to the linear algebra problems, we proposed to produce a programming paradigm and library to aid in the design and implementation of programs for distributed-memory MIMD computers. We now report on our progress on each of the problems and on the programming tools.« less

Image-algebraic design of multispectral target recognition algorithms

NASA Astrophysics Data System (ADS)

Schmalz, Mark S.; Ritter, Gerhard X.

1994-06-01

In this paper, we discuss methods for multispectral ATR (Automated Target Recognition) of small targets that are sensed under suboptimal conditions, such as haze, smoke, and low light levels. In particular, we discuss our ongoing development of algorithms and software that effect intelligent object recognition by selecting ATR filter parameters according to ambient conditions. Our algorithms are expressed in terms of IA (image algebra), a concise, rigorous notation that unifies linear and nonlinear mathematics in the image processing domain. IA has been implemented on a variety of parallel computers, with preprocessors available for the Ada and FORTRAN languages. An image algebra C++ class library has recently been made available. Thus, our algorithms are both feasible implementationally and portable to numerous machines. Analyses emphasize the aspects of image algebra that aid the design of multispectral vision algorithms, such as parameterized templates that facilitate the flexible specification of ATR filters.

Spherical Hecke algebra in the Nekrasov-Shatashvili limit

NASA Astrophysics Data System (ADS)

Bourgine, Jean-Emile

2015-01-01

The Spherical Hecke central (SHc) algebra has been shown to act on the Nekrasov instanton partition functions of gauge theories. Its presence accounts for both integrability and AGT correspondence. On the other hand, a specific limit of the Omega background, introduced by Nekrasov and Shatashvili (NS), leads to the appearance of TBA and Bethe like equations. To unify these two points of view, we study the NS limit of the SHc algebra. We provide an expression of the instanton partition function in terms of Bethe roots, and define a set of operators that generates infinitesimal variations of the roots. These operators obey the commutation relations defining the SHc algebra at first order in the equivariant parameter ɛ 2. Furthermore, their action on the bifundamental contributions reproduces the Kanno-Matsuo-Zhang transformation. We also discuss the connections with the Mayer cluster expansion approach that leads to TBA-like equations.

A Genetically Optimized Predictive System for Success in General Chemistry Using a Diagnostic Algebra Test

NASA Astrophysics Data System (ADS)

Cooper, Cameron I.; Pearson, Paul T.

2012-02-01

In higher education, many high-enrollment introductory courses have evolved into "gatekeeper" courses due to their high failure rates. These courses prevent many students from attaining their educational goals and often become graduation roadblocks. At the authors' home institution, general chemistry has become a gatekeeper course in which approximately 25% of students do not pass. This failure rate in chemistry is common, and often higher, at many other institutions of higher education, and mathematical deficiencies are perceived to be a large contributing factor. This paper details the development of a highly accurate predictive system that identifies students at the beginning of the semester who are "at-risk" for earning a grade of C- or below in chemistry. The predictive accuracy of this system is maximized by using a genetically optimized neural network to analyze the results of a diagnostic algebra test designed for a specific population. Once at-risk students have been identified, they can be helped to improve their chances of success using techniques such as concurrent support courses, online tutorials, "just-in-time" instructional aides, study skills, motivational interviewing, and/or peer mentoring.

Successfully Transitioning to Linear Equations

ERIC Educational Resources Information Center

Colton, Connie; Smith, Wendy M.

2014-01-01

The Common Core State Standards for Mathematics (CCSSI 2010) asks students in as early as fourth grade to solve word problems using equations with variables. Equations studied at this level generate a single solution, such as the equation x + 10 = 25. For students in fifth grade, the Common Core standard for algebraic thinking expects them to…

Prime factorization using quantum annealing and computational algebraic geometry

NASA Astrophysics Data System (ADS)

Dridi, Raouf; Alghassi, Hedayat

2017-02-01

We investigate prime factorization from two perspectives: quantum annealing and computational algebraic geometry, specifically Gröbner bases. We present a novel autonomous algorithm which combines the two approaches and leads to the factorization of all bi-primes up to just over 200000, the largest number factored to date using a quantum processor. We also explain how Gröbner bases can be used to reduce the degree of Hamiltonians.

Noncommuting local common causes for correlations violating the Clauser-Horne inequality

DOE Office of Scientific and Technical Information (OSTI.GOV)

Hofer-Szabo, Gabor; Vecsernyes, Peter

2012-12-15

In the paper, the EPR-Bohm scenario will be reproduced in an algebraic quantum field theoretical setting with locally finite degrees of freedom. It will be shown that for a set of spatially separated correlating events (projections) maximally violating the Clauser-Horne inequality there can be given a common causal explanation if commutativity is abandoned between the common cause and the correlating events. Moreover, the noncommuting common cause will be local and supported in the common past of the correlating events.

Two dissimilar approaches to dynamical systems on hyper MV -algebras and their information entropy

NASA Astrophysics Data System (ADS)

Mehrpooya, Adel; Ebrahimi, Mohammad; Davvaz, Bijan

2017-09-01

Measuring the flow of information that is related to the evolution of a system which is modeled by applying a mathematical structure is of capital significance for science and usually for mathematics itself. Regarding this fact, a major issue in concern with hyperstructures is their dynamics and the complexity of the varied possible dynamics that exist over them. Notably, the dynamics and uncertainty of hyper MV -algebras which are hyperstructures and extensions of a central tool in infinite-valued Lukasiewicz propositional calculus that models many valued logics are of primary concern. Tackling this problem, in this paper we focus on the subject of dynamical systems on hyper MV -algebras and their entropy. In this respect, we adopt two varied approaches. One is the set-based approach in which hyper MV -algebra dynamical systems are developed by employing set functions and set partitions. By the other method that is based on points and point partitions, we establish the concept of hyper injective dynamical systems on hyper MV -algebras. Next, we study the notion of entropy for both kinds of systems. Furthermore, we consider essential ergodic characteristics of those systems and their entropy. In particular, we introduce the concept of isomorphic hyper injective and hyper MV -algebra dynamical systems, and we demonstrate that isomorphic systems have the same entropy. We present a couple of theorems in order to help calculate entropy. In particular, we prove a contemporary version of addition and Kolmogorov-Sinai Theorems. Furthermore, we provide a comparison between the indispensable properties of hyper injective and semi-independent dynamical systems. Specifically, we present and prove theorems that draw comparisons between the entropies of such systems. Lastly, we discuss some possible relationships between the theories of hyper MV -algebra and MV -algebra dynamical systems.

Knotted optical vortices in exact solutions to Maxwell's equations

NASA Astrophysics Data System (ADS)

de Klerk, Albertus J. J. M.; van der Veen, Roland I.; Dalhuisen, Jan Willem; Bouwmeester, Dirk

2017-05-01

We construct a family of exact solutions to Maxwell's equations in which the points of zero intensity form knotted lines topologically equivalent to a given but arbitrary algebraic link. These lines of zero intensity, more commonly referred to as optical vortices, and their topology are preserved as time evolves and the fields have finite energy. To derive explicit expressions for these new electromagnetic fields that satisfy the nullness property, we make use of the Bateman variables for the Hopf field as well as complex polynomials in two variables whose zero sets give rise to algebraic links. The class of algebraic links includes not only all torus knots and links thereof, but also more intricate cable knots. While the unknot has been considered before, the solutions presented here show that more general knotted structures can also arise as optical vortices in exact solutions to Maxwell's equations.

Data-Driven Process Discovery: A Discrete Time Algebra for Relational Signal Analysis

DTIC Science & Technology

1996-12-01

would also like to thank Dr. Mark Oxley for his assistance in developing this abstract algebra and the mathematical notation found herein. Lastly, I... Mathematical Result.. 4-13 4.4. Demostration of Coefficient Signature Additon ........................ 4-14 4.5. Multivariate Relational Discovery...spaces with the recognition of cues in a specific space" [21]. Up to now, most of the Artificial Intelligence (Al) ’discovery’ work has emphasized one

C-semiring Frameworks for Minimum Spanning Tree Problems

NASA Astrophysics Data System (ADS)

Bistarelli, Stefano; Santini, Francesco

In this paper we define general algebraic frameworks for the Minimum Spanning Tree problem based on the structure of c-semirings. We propose general algorithms that can compute such trees by following different cost criteria, which must be all specific instantiation of c-semirings. Our algorithms are extensions of well-known procedures, as Prim or Kruskal, and show the expressivity of these algebraic structures. They can deal also with partially-ordered costs on the edges.

Prime factorization using quantum annealing and computational algebraic geometry

PubMed Central

Dridi, Raouf; Alghassi, Hedayat

2017-01-01

We investigate prime factorization from two perspectives: quantum annealing and computational algebraic geometry, specifically Gröbner bases. We present a novel autonomous algorithm which combines the two approaches and leads to the factorization of all bi-primes up to just over 200000, the largest number factored to date using a quantum processor. We also explain how Gröbner bases can be used to reduce the degree of Hamiltonians. PMID:28220854

On the construction of unitary quantum group differential calculus

NASA Astrophysics Data System (ADS)

Pyatov, Pavel

2016-10-01

We develop a construction of the unitary type anti-involution for the quantized differential calculus over {{GL}}q(n) in the case | q| =1. To this end, we consider a joint associative algebra of quantized functions, differential forms and Lie derivatives over {{GL}}q(n)/{{SL}}q(n), which is bicovariant with respect to {{GL}}q(n)/{{SL}}q(n) coactions. We define a specific non-central spectral extension of this algebra by the spectral variables of three matrices of the algebra generators. In the spectrally expended algebra, we construct a three-parametric family of its inner automorphisms. These automorphisms are used for the construction of the unitary anti-involution for the (spectrally extended) calculus over {{GL}}q(n). This work has been funded by the Russian Academic Excellence Project ‘5-100’. The results of section 5 (propositions 5.2, 5.3 and theorem 5.5) have been obtained under support of the RSF grant No.16-11-10160.

On an example of a system of differential equations that are integrated in Abelian functions

NASA Astrophysics Data System (ADS)

Malykh, M. D.; Sevastianov, L. A.

2017-12-01

The short review of the theory of Abelian functions and its applications in mechanics and analytical theory of differential equations is given. We think that Abelian functions are the natural generalization of commonly used functions because if the general solution of the 2nd order differential equation depends algebraically on the constants of integration, then integrating this equation does not lead out of the realm of commonly used functions complemented by the Abelian functions (Painlevé theorem). We present a relatively simple example of a dynamical system that is integrated in Abelian integrals by “pairing” two copies of a hyperelliptic curve. Unfortunately, initially simple formulas unfold into very long ones. Apparently the theory of Abelian functions hasn’t been finished in the last century because without computer algebra systems it was impossible to complete the calculations to the end. All calculations presented in our report are performed in Sage.

Private algebras in quantum information and infinite-dimensional complementarity

DOE Office of Scientific and Technical Information (OSTI.GOV)

Crann, Jason, E-mail: jason-crann@carleton.ca; Laboratoire de Mathématiques Paul Painlevé–UMR CNRS 8524, UFR de Mathématiques, Université Lille 1–Sciences et Technologies, 59655 Villeneuve d’Ascq Cédex; Kribs, David W., E-mail: dkribs@uoguelph.ca

We introduce a generalized framework for private quantum codes using von Neumann algebras and the structure of commutants. This leads naturally to a more general notion of complementary channel, which we use to establish a generalized complementarity theorem between private and correctable subalgebras that applies to both the finite and infinite-dimensional settings. Linear bosonic channels are considered and specific examples of Gaussian quantum channels are given to illustrate the new framework together with the complementarity theorem.

Robot Control Based On Spatial-Operator Algebra

NASA Technical Reports Server (NTRS)

Rodriguez, Guillermo; Kreutz, Kenneth K.; Jain, Abhinandan

1992-01-01

Method for mathematical modeling and control of robotic manipulators based on spatial-operator algebra providing concise representation and simple, high-level theoretical frame-work for solution of kinematical and dynamical problems involving complicated temporal and spatial relationships. Recursive algorithms derived immediately from abstract spatial-operator expressions by inspection. Transition from abstract formulation through abstract solution to detailed implementation of specific algorithms to compute solution greatly simplified. Complicated dynamical problems like two cooperating robot arms solved more easily.

Estrategias Didácticas y Conocimiento Especializado de Profesores de Matemáticas. Un Caso en Álgebra Escolar = Teaching Strategies and Mathematics Teacher's Specialized Knowledge. A Case in School Algebra

ERIC Educational Resources Information Center

Sandoval, Ivonne; Solares Rojas, Armando; García-Campos, Montserrat

2017-01-01

We present results of the analysis of knowledge used by a secondary school mathematics teacher in her classroom practice. This knowledge takes shape and is displayed as specific teaching strategies in the management of her class when she incorporates Computer Algebra Systems. Based on observations of regular classes, we find that her knowledge…

High-Order Automatic Differentiation of Unmodified Linear Algebra Routines via Nilpotent Matrices

NASA Astrophysics Data System (ADS)

Dunham, Benjamin Z.

This work presents a new automatic differentiation method, Nilpotent Matrix Differentiation (NMD), capable of propagating any order of mixed or univariate derivative through common linear algebra functions--most notably third-party sparse solvers and decomposition routines, in addition to basic matrix arithmetic operations and power series--without changing data-type or modifying code line by line; this allows differentiation across sequences of arbitrarily many such functions with minimal implementation effort. NMD works by enlarging the matrices and vectors passed to the routines, replacing each original scalar with a matrix block augmented by derivative data; these blocks are constructed with special sparsity structures, termed "stencils," each designed to be isomorphic to a particular multidimensional hypercomplex algebra. The algebras are in turn designed such that Taylor expansions of hypercomplex function evaluations are finite in length and thus exactly track derivatives without approximation error. Although this use of the method in the "forward mode" is unique in its own right, it is also possible to apply it to existing implementations of the (first-order) discrete adjoint method to find high-order derivatives with lowered cost complexity; for example, for a problem with N inputs and an adjoint solver whose cost is independent of N--i.e., O(1)--the N x N Hessian can be found in O(N) time, which is comparable to existing second-order adjoint methods that require far more problem-specific implementation effort. Higher derivatives are likewise less expensive--e.g., a N x N x N rank-three tensor can be found in O(N2). Alternatively, a Hessian-vector product can be found in O(1) time, which may open up many matrix-based simulations to a range of existing optimization or surrogate modeling approaches. As a final corollary in parallel to the NMD-adjoint hybrid method, the existing complex-step differentiation (CD) technique is also shown to be capable of finding the Hessian-vector product. All variants are implemented on a stochastic diffusion problem and compared in-depth with various cost and accuracy metrics.

Explicating mathematical thinking in differential equations using a computer algebra system

NASA Astrophysics Data System (ADS)

Zeynivandnezhad, Fereshteh; Bates, Rachel

2018-07-01

The importance of developing students' mathematical thinking is frequently highlighted in literature regarding the teaching and learning of mathematics. Despite this importance, most curricula and instructional activities for undergraduate mathematics fail to bring the learner beyond the mathematics. The purpose of this study was to enhance students' mathematical thinking by implementing a computer algebra system and active learning pedagogical approaches. students' mathematical thinking processes were analyzed while completing specific differential equations tasks based on posed prompts and questions and Instrumental Genesis. Data were collected from 37 engineering students in a public Malaysian university. This study used the descriptive and interpretive qualitative research design to investigate the students' perspectives of emerging mathematical understanding and approaches to learning mathematics in an undergraduate differential equations course. Results of this study concluded that students used a variety of mathematical thinking processes in a non-sequential manner. Additionally, the outcomes provide justification for continued use of technologies such as computer algebra systems in undergraduate mathematics courses and the need for further studies to uncover the various processes students utilize to complete specific mathematical tasks.

Computer programs for the solution of systems of linear algebraic equations

NASA Technical Reports Server (NTRS)

Sequi, W. T.

1973-01-01

FORTRAN subprograms for the solution of systems of linear algebraic equations are described, listed, and evaluated in this report. Procedures considered are direct solution, iteration, and matrix inversion. Both incore methods and those which utilize auxiliary data storage devices are considered. Some of the subroutines evaluated require the entire coefficient matrix to be in core, whereas others account for banding or sparceness of the system. General recommendations relative to equation solving are made, and on the basis of tests, specific subprograms are recommended.

A spatial operator algebra for manipulator modeling and control

NASA Technical Reports Server (NTRS)

Rodriguez, G.; Kreutz, K.; Jain, A.

1989-01-01

A spatial operator algebra for modeling the control and trajectory design of manipulation is discussed, with emphasis on its analytical formulation and implementation in the Ada programming language. The elements of this algebra are linear operators whose domain and range spaces consist of forces, moments, velocities, and accelerations. The effect of these operators is equivalent to a spatial recursion along the span of the manipulator. Inversion is obtained using techniques of recursive filtering and smoothing. The operator alegbra provides a high-level framework for describing the dynamic and kinematic behavior of a manipulator and control and trajectory design algorithms. Implementable recursive algorithms can be immediately derived from the abstract operator expressions by inspection, thus greatly simplifying the transition from an abstract problem formulation and solution to the detailed mechanization of a specific algorithm.

Understanding measurement in light of its origins.

PubMed

Humphry, Stephen

2013-01-01

During the course of history, the natural sciences have seen the development of increasingly convenient short-hand symbolic devices for denoting physical quantities. These devices ultimately took the form of physical algebra. However, the convenience of algebra arguably came at a cost - a loss of the clarity of direct insights by Euclid, Galileo, and Newton into natural quantitative relations. Physical algebra is frequently interpreted as ordinary algebra; i.e., it is interpreted as though symbols denote (a) numbers and operations on numbers, as opposed to (b) physical quantities and quantitative relations. The paper revisits the way in which Newton understood and expressed physical definitions and laws. Accordingly, it reviews a compact form of notation that has been used to denote both: (a) ratios of physical quantities; and (b) compound ratios, involving two or more kinds of quantity. The purpose is to show that it is consistent with historical developments to regard physical algebra as a device for denoting relations among ratios. Understood in the historical context, the objective of measurement is to establish that a physical quantity stands in a specific ratio to another quantity of the same kind. To clarify the meaning of measurement in terms of the historical origins of physics carries basic implications for the way in which measurement is understood and approached. Possible implications for the social sciences are considered.

A Process Algebra Approach to Quantum Electrodynamics

NASA Astrophysics Data System (ADS)

Sulis, William

2017-12-01

The process algebra program is directed towards developing a realist model of quantum mechanics free of paradoxes, divergences and conceptual confusions. From this perspective, fundamental phenomena are viewed as emerging from primitive informational elements generated by processes. The process algebra has been shown to successfully reproduce scalar non-relativistic quantum mechanics (NRQM) without the usual paradoxes and dualities. NRQM appears as an effective theory which emerges under specific asymptotic limits. Space-time, scalar particle wave functions and the Born rule are all emergent in this framework. In this paper, the process algebra model is reviewed, extended to the relativistic setting, and then applied to the problem of electrodynamics. A semiclassical version is presented in which a Minkowski-like space-time emerges as well as a vector potential that is discrete and photon-like at small scales and near-continuous and wave-like at large scales. QED is viewed as an effective theory at small scales while Maxwell theory becomes an effective theory at large scales. The process algebra version of quantum electrodynamics is intuitive and realist, free from divergences and eliminates the distinction between particle, field and wave. Computations are carried out using the configuration space process covering map, although the connection to second quantization has not been fully explored.

Voxel-based morphometry study of the insular cortex in bipolar depression.

PubMed

Tang, Li-Rong; Liu, Chun-Hong; Jing, Bin; Ma, Xin; Li, Hai-Yun; Zhang, Yu; Li, Feng; Wang, Yu-Ping; Yang, Zhi; Wang, Chuan-Yue

2014-11-30

Bipolar depression (BD) is a common psychiatric illness characterized by deficits in emotional and cognitive processing. Abnormalities in the subregions of the insula are common findings in neuroanatomical studies of patients with bipolar disorder. However, the specific relationships between morphometric changes in specific insular subregions and the pathogenesis of BD are not clear. In this study, structural magnetic resonance imaging (MRI) was used to investigate gray matter volume abnormalities in the insular subregion in 27 patients with BD and in 27 age and sex-matched controls. Using DARTEL (diffeomorphic anatomical registration through exponentiated lie algebra) for voxel-based morphometry (VBM), we examined changes in regional gray matter volumes of the insula in patients with BD. As compared with healthy controls, the BD patients showed decreased gray matter volumes in the right posterior insula and left ventral anterior insula and increased gray matter volumes in the left dorsal anterior insula. Consistent with the emerging theory of insular interference as a contributor to emotional-cognitive dysregulation, the current findings suggest that the insular cortex may be involved in the neural substrates of BD. Copyright © 2014 Elsevier Ireland Ltd. All rights reserved.

On the origin of dual Lax pairs and their r-matrix structure

NASA Astrophysics Data System (ADS)

Avan, Jean; Caudrelier, Vincent

2017-10-01

We establish the algebraic origin of the following observations made previously by the authors and coworkers: (i) A given integrable PDE in 1 + 1 dimensions within the Zakharov-Shabat scheme related to a Lax pair can be cast in two distinct, dual Hamiltonian formulations; (ii) Associated to each formulation is a Poisson bracket and a phase space (which are not compatible in the sense of Magri); (iii) Each matrix in the Lax pair satisfies a linear Poisson algebra a la Sklyanin characterized by the same classical r matrix. We develop the general concept of dual Lax pairs and dual Hamiltonian formulation of an integrable field theory. We elucidate the origin of the common r-matrix structure by tracing it back to a single Lie-Poisson bracket on a suitable coadjoint orbit of the loop algebra sl(2 , C) ⊗ C(λ ,λ-1) . The results are illustrated with the examples of the nonlinear Schrödinger and Gerdjikov-Ivanov hierarchies.

Generalized EMV-Effect Algebras

NASA Astrophysics Data System (ADS)

Borzooei, R. A.; Dvurečenskij, A.; Sharafi, A. H.

2018-04-01

Recently in Dvurečenskij and Zahiri (2017), new algebraic structures, called EMV-algebras which generalize both MV-algebras and generalized Boolean algebras, were introduced. We present equivalent conditions for EMV-algebras. In addition, we define a partial algebraic structure, called a generalized EMV-effect algebra, which is close to generalized MV-effect algebras. Finally, we show that every generalized EMV-effect algebra is either an MV-effect algebra or can be embedded into an MV-effect algebra as a maximal ideal.

Continuum analogues of contragredient Lie algebras (Lie algebras with a Cartan operator and nonlinear dynamical systems)

NASA Astrophysics Data System (ADS)

Saveliev, M. V.; Vershik, A. M.

1989-12-01

We present an axiomatic formulation of a new class of infinitedimensional Lie algebras-the generalizations of Z-graded Lie algebras with, generally speaking, an infinite-dimensional Cartan subalgebra and a contiguous set of roots. We call such algebras “continuum Lie algebras.” The simple Lie algebras of constant growth are encapsulated in our formulation. We pay particular attention to the case when the local algebra is parametrized by a commutative algebra while the Cartan operator (the generalization of the Cartan matrix) is a linear operator. Special examples of these algebras are the Kac-Moody algebras, algebras of Poisson brackets, algebras of vector fields on a manifold, current algebras, and algebras with differential or integro-differential cartan operator. The nonlinear dynamical systems associated with the continuum contragredient Lie algebras are also considered.

Correlates of gender and achievement in introductory algebra based physics

NASA Astrophysics Data System (ADS)

Smith, Rachel Clara

The field of physics is heavily male dominated in America. Thus, half of the population of our country is underrepresented and underserved. The identification of factors that contribute to gender disparity in physics is necessary for educators to address the individual needs of students, and, in particular, the separate and specific needs of female students. In an effort to determine if any correlations could be established or strengthened between sex, gender identity, social network, algebra skill, scientific reasoning ability, and/or student attitude, a study was performed on a group of 82 students in an introductory algebra based physics course. The subjects each filled out a survey at the beginning of the semester of their first semester of algebra based physics. They filled out another survey at the end of that same semester. These surveys included physics content pretests and posttests, as well as questions about the students' habits, attitudes, and social networks. Correlates of posttest score were identified, in order of significance, as pretest score, emphasis on conceptual learning, preference for male friends, number of siblings (negatively correlated), motivation in physics, algebra score, and parents' combined education level. Number of siblings was also found to negatively correlate with, in order of significance, gender identity, preference for male friends, emphasis on conceptual learning, and motivation in physics. Preference for male friends was found to correlate with, in order of significance, emphasis on conceptual learning, gender identity, and algebra score. Also, gender identity was found to correlate with emphasis on conceptual learning, the strongest predictor of posttest score other than pretest score.

Balance point characterization of interstitial fluid volume regulation.

PubMed

Dongaonkar, R M; Laine, G A; Stewart, R H; Quick, C M

2009-07-01

The individual processes involved in interstitial fluid volume and protein regulation (microvascular filtration, lymphatic return, and interstitial storage) are relatively simple, yet their interaction is exceedingly complex. There is a notable lack of a first-order, algebraic formula that relates interstitial fluid pressure and protein to critical parameters commonly used to characterize the movement of interstitial fluid and protein. Therefore, the purpose of the present study is to develop a simple, transparent, and general algebraic approach that predicts interstitial fluid pressure (P(i)) and protein concentrations (C(i)) that takes into consideration all three processes. Eight standard equations characterizing fluid and protein flux were solved simultaneously to yield algebraic equations for P(i) and C(i) as functions of parameters characterizing microvascular, interstitial, and lymphatic function. Equilibrium values of P(i) and C(i) arise as balance points from the graphical intersection of transmicrovascular and lymph flows (analogous to Guyton's classical cardiac output-venous return curves). This approach goes beyond describing interstitial fluid balance in terms of conservation of mass by introducing the concept of inflow and outflow resistances. Algebraic solutions demonstrate that P(i) and C(i) result from a ratio of the microvascular filtration coefficient (1/inflow resistance) and effective lymphatic resistance (outflow resistance), and P(i) is unaffected by interstitial compliance. These simple algebraic solutions predict P(i) and C(i) that are consistent with reported measurements. The present work therefore presents a simple, transparent, and general balance point characterization of interstitial fluid balance resulting from the interaction of microvascular, interstitial, and lymphatic function.

Necessary and sufficient conditions for R₀ to be a sum of contributions of fertility loops.

PubMed

Rueffler, Claus; Metz, Johan A J

2013-03-01

Recently, de-Camino-Beck and Lewis (Bull Math Biol 69:1341-1354, 2007) have presented a method that under certain restricted conditions allows computing the basic reproduction ratio R₀ in a simple manner from life cycle graphs, without, however, giving an explicit indication of these conditions. In this paper, we give various sets of sufficient and generically necessary conditions. To this end, we develop a fully algebraic counterpart of their graph-reduction method which we actually found more useful in concrete applications. Both methods, if they work, give a simple algebraic formula that can be interpreted as the sum of contributions of all fertility loops. This formula can be used in e.g. pest control and conservation biology, where it can complement sensitivity and elasticity analyses. The simplest of the necessary and sufficient conditions is that, for irreducible projection matrices, all paths from birth to reproduction have to pass through a common state. This state may be visible in the state representation for the chosen sampling time, but the passing may also occur in between sampling times, like a seed stage in the case of sampling just before flowering. Note that there may be more than one birth state, like when plants in their first year can already have different sizes at the sampling time. Also the common state may occur only later in life. However, in all cases R₀ allows a simple interpretation as the expected number of new individuals that in the next generation enter the common state deriving from a single individual in this state. We end with pointing to some alternative algebraically simple quantities with properties similar to those of R₀ that may sometimes be used to good effect in cases where no simple formula for R₀ exists.

The Effectiveness of Professional Development Using a Checklist of Common Core State Standards for Mathematical Practice for Designing and Delivering Instruction on Algebra I Achievement

ERIC Educational Resources Information Center

Peretin, Janeen

2014-01-01

This study was designed to determine whether or not the use of focused professional development using a checklist based on the Common Core State Standards Mathematical Practices impacted students' math scores as measured by an assessment that requires the use of the practices. Additionally, the researcher sought to determine whether or not the use…

The VATES-Diamond as a Verifier's Best Friend

NASA Astrophysics Data System (ADS)

Glesner, Sabine; Bartels, Björn; Göthel, Thomas; Kleine, Moritz

Within a model-based software engineering process it needs to be ensured that properties of abstract specifications are preserved by transformations down to executable code. This is even more important in the area of safety-critical real-time systems where additionally non-functional properties are crucial. In the VATES project, we develop formal methods for the construction and verification of embedded systems. We follow a novel approach that allows us to formally relate abstract process algebraic specifications to their implementation in a compiler intermediate representation. The idea is to extract a low-level process algebraic description from the intermediate code and to formally relate it to previously developed abstract specifications. We apply this approach to a case study from the area of real-time operating systems and show that this approach has the potential to seamlessly integrate modeling, implementation, transformation and verification stages of embedded system development.

On Various Nonlinearity Measures for Boolean Functions*

PubMed Central

Boyar, Joan; Find, Magnus Gausdal; Peralta, René

2016-01-01

A necessary condition for the security of cryptographic functions is to be “sufficiently distant” from linear, and cryptographers have proposed several measures for this distance. In this paper, we show that six common measures, nonlinearity, algebraic degree, annihilator immunity, algebraic thickness, normality, and multiplicative complexity, are incomparable in the sense that for each pair of measures, μ1, μ2, there exist functions f1, f2 with f1 being more nonlinear than f2 according to μ1, but less nonlinear according to μ2. We also present new connections between two of these measures. Additionally, we give a lower bound on the multiplicative complexity of collision-free functions. PMID:27458499

Applications of algebraic topology to compatible spatial discretizations.

DOE Office of Scientific and Technical Information (OSTI.GOV)

Bochev, Pavel Blagoveston; Hyman, James M.

We provide a common framework for compatible discretizations using algebraic topology to guide our analysis. The main concept is the natural inner product on cochains, which induces a combinatorial Hodge theory. The framework comprises of mutually consistent operations of differentiation and integration, has a discrete Stokes theorem, and preserves the invariants of the DeRham cohomology groups. The latter allows for an elementary calculation of the kernel of the discrete Laplacian. Our framework provides an abstraction that includes examples of compatible finite element, finite volume and finite difference methods. We describe how these methods result from the choice of a reconstructionmore » operator and when they are equivalent.« less

DOE Office of Scientific and Technical Information (OSTI.GOV)

Hart, William; Laird, Carl; Siirola, John

Pyomo provides a rich software environment for formulating and analyzing optimization applications. Pyomo supports the algebraic specification of complex sets of objectives and constraints, which enables optimization solvers to exploit problem structure to efficiently perform optimization.

Formal mechanization of device interactions with a process algebra

NASA Technical Reports Server (NTRS)

Schubert, E. Thomas; Levitt, Karl; Cohen, Gerald C.

1992-01-01

The principle emphasis is to develop a methodology to formally verify correct synchronization communication of devices in a composed hardware system. Previous system integration efforts have focused on vertical integration of one layer on top of another. This task examines 'horizontal' integration of peer devices. To formally reason about communication, we mechanize a process algebra in the Higher Order Logic (HOL) theorem proving system. Using this formalization we show how four types of device interactions can be represented and verified to behave as specified. The report also describes the specification of a system consisting of an AVM-1 microprocessor and a memory management unit which were verified in previous work. A proof of correct communication is presented, and the extensions to the system specification to add a direct memory device are discussed.

Nifty Nines and Repeating Decimals

ERIC Educational Resources Information Center

Brown, Scott A.

2016-01-01

The traditional technique for converting repeating decimals to common fractions can be found in nearly every algebra textbook that has been published, as well as in many precalculus texts. However, students generally encounter repeating decimal numerals earlier than high school when they study rational numbers in prealgebra classes. Therefore, how…

Mathematical Modeling and Pure Mathematics

ERIC Educational Resources Information Center

Usiskin, Zalman

2015-01-01

Common situations, like planning air travel, can become grist for mathematical modeling and can promote the mathematical ideas of variables, formulas, algebraic expressions, functions, and statistics. The purpose of this article is to illustrate how the mathematical modeling that is present in everyday situations can be naturally embedded in…

Mathematical Modeling of Chemical Stoichiometry

ERIC Educational Resources Information Center

Croteau, Joshua; Fox, William P.; Varazo, Kristofoland

2007-01-01

In beginning chemistry classes, students are taught a variety of techniques for balancing chemical equations. The most common method is inspection. This paper addresses using a system of linear mathematical equations to solve for the stoichiometric coefficients. Many linear algebra books carry the standard balancing of chemical equations as an…

Personalized Learning in Algebra

ERIC Educational Resources Information Center

Walkington, Candace; Sherman, Milan; Howell, Elizabeth

2014-01-01

Mathematical "funds of knowledge" (Civil 2007) that students bring from their community and home lives can offer entry points for concepts such as functions and rate of change, which are important "big ideas" across all grade levels (NCTM 2000). The Common Core State Standards (CCSSI 2010) ask high school students to…

Cultivating Deductive Thinking with Angle Chasing

ERIC Educational Resources Information Center

Edwards, Michael todd; Quinlan, James; Harper, Suzanne R.; Cox, Dana C.; Phelps, Steve

2014-01-01

Despite Common Core State Standards for Mathematics (CCSSI 2010) recommendations, too often students' introduction to proof consists of the study of formal axiomatic systems--for example, triangle congruence proofs--typically in an introductory geometry course with no connection back to previous work in earlier algebra courses. Van Hiele…

Technology-Rich Mathematics Instruction

ERIC Educational Resources Information Center

Thach, Kim J.; Norman, Kimberly A.

2008-01-01

This article uses one of the authors' classroom experiences to explore how teachers can create technology-rich learning environments that support upper elementary students' mathematical understanding of algebra and number and operations. They describe a unit that presents a common financial problem (the use of credit cards) to engage sixth graders…

Visualizing the Arithmetic of Complex Numbers

ERIC Educational Resources Information Center

Soto-Johnson, Hortensia

2014-01-01

The Common Core State Standards Initiative stresses the importance of developing a geometric and algebraic understanding of complex numbers in their different forms (i.e., Cartesian, polar and exponential). Unfortunately, most high school textbooks do not offer such explanations much less exercises that encourage students to bridge geometric and…

Testing Transitivity of Preferences on Two-Alternative Forced Choice Data

PubMed Central

Regenwetter, Michel; Dana, Jason; Davis-Stober, Clintin P.

2010-01-01

As Duncan Luce and other prominent scholars have pointed out on several occasions, testing algebraic models against empirical data raises difficult conceptual, mathematical, and statistical challenges. Empirical data often result from statistical sampling processes, whereas algebraic theories are nonprobabilistic. Many probabilistic specifications lead to statistical boundary problems and are subject to nontrivial order constrained statistical inference. The present paper discusses Luce's challenge for a particularly prominent axiom: Transitivity. The axiom of transitivity is a central component in many algebraic theories of preference and choice. We offer the currently most complete solution to the challenge in the case of transitivity of binary preference on the theory side and two-alternative forced choice on the empirical side, explicitly for up to five, and implicitly for up to seven, choice alternatives. We also discuss the relationship between our proposed solution and weak stochastic transitivity. We recommend to abandon the latter as a model of transitive individual preferences. PMID:21833217

Construction of Orthonormal Wavelets Using Symbolic Algebraic Methods

NASA Astrophysics Data System (ADS)

Černá, Dana; Finěk, Václav

2009-09-01

Our contribution is concerned with the solution of nonlinear algebraic equations systems arising from the computation of scaling coefficients of orthonormal wavelets with compact support. Specifically Daubechies wavelets, symmlets, coiflets, and generalized coiflets. These wavelets are defined as a solution of equation systems which are partly linear and partly nonlinear. The idea of presented methods consists in replacing those equations for scaling coefficients by equations for scaling moments. It enables us to eliminate some quadratic conditions in the original system and then simplify it. The simplified system is solved with the aid of the Gröbner basis method. The advantage of our approach is that in some cases, it provides all possible solutions and these solutions can be computed to arbitrary precision. For small systems, we are even able to find explicit solutions. The computation was carried out by symbolic algebra software Maple.

Reflective thinking in solving an algebra problem: a case study of field independent-prospective teacher

NASA Astrophysics Data System (ADS)

Agustan, S.; Juniati, Dwi; Yuli Eko Siswono, Tatag

2017-10-01

Nowadays, reflective thinking is one of the important things which become a concern in learning mathematics, especially in solving a mathematical problem. The purpose of this paper is to describe how the student used reflective thinking when solved an algebra problem. The subject of this research is one female student who has field independent cognitive style. This research is a descriptive exploratory study with data analysis using qualitative approach to describe in depth reflective thinking of prospective teacher in solving an algebra problem. Four main categories are used to analyse the reflective thinking in solving an algebra problem: (1) formulation and synthesis of experience, (2) orderliness of experience, (3) evaluating the experience and (4) testing the selected solution based on the experience. The results showed that the subject described the problem by using another word and the subject also found the difficulties in making mathematical modelling. The subject analysed two concepts used in solving problem. For instance, geometry related to point and line while algebra is related to algebra arithmetic operation. The subject stated that solution must have four aspect to get effective solution, specifically the ability to (a) understand the meaning of every words; (b) make mathematical modelling; (c) calculate mathematically; (d) interpret solution obtained logically. To test the internal consistency or error in solution, the subject checked and looked back related procedures and operations used. Moreover, the subject tried to resolve the problem in a different way to compare the answers which had been obtained before. The findings supported the assertion that reflective thinking provides an opportunity for the students in improving their weakness in mathematical problem solving. It can make a grow accuracy and concentration in solving a mathematical problem. Consequently, the students will get the right and logic answer by reflective thinking.

Analytical derivation: An epistemic game for solving mathematically based physics problems

NASA Astrophysics Data System (ADS)

Bajracharya, Rabindra R.; Thompson, John R.

2016-06-01

Problem solving, which often involves multiple steps, is an integral part of physics learning and teaching. Using the perspective of the epistemic game, we documented a specific game that is commonly pursued by students while solving mathematically based physics problems: the analytical derivation game. This game involves deriving an equation through symbolic manipulations and routine mathematical operations, usually without any physical interpretation of the processes. This game often creates cognitive obstacles in students, preventing them from using alternative resources or better approaches during problem solving. We conducted hour-long, semi-structured, individual interviews with fourteen introductory physics students. Students were asked to solve four "pseudophysics" problems containing algebraic and graphical representations. The problems required the application of the fundamental theorem of calculus (FTC), which is one of the most frequently used mathematical concepts in physics problem solving. We show that the analytical derivation game is necessary, but not sufficient, to solve mathematically based physics problems, specifically those involving graphical representations.

Virasoro algebra in the KN algebra; Bosonic string with fermionic ghosts on Riemann surfaces

DOE Office of Scientific and Technical Information (OSTI.GOV)

Koibuchi, H.

1991-10-10

In this paper the bosonic string model with fermionic ghosts is considered in the framework of the KN algebra. The authors' attentions are paid to representations of KN algebra and a Clifford algebra of the ghosts. The authors show that a Virasoro-like algebra is obtained from KN algebra when KN algebra has certain antilinear anti-involution, and that it is isomorphic to the usual Virasoro algebra. The authors show that there is an expected relation between a central charge of this Virasoro-like algebra and an anomaly of the combined system.

Lie-algebraic Approach to Dynamics of Closed Quantum Systems and Quantum-to-Classical Correspondence

NASA Astrophysics Data System (ADS)

Galitski, Victor

2012-02-01

I will briefly review our recent work on a Lie-algebraic approach to various non-equilibrium quantum-mechanical problems, which has been motivated by continuous experimental advances in the field of cold atoms. First, I will discuss non-equilibrium driven dynamics of a generic closed quantum system. It will be emphasized that mathematically a non-equilibrium Hamiltonian represents a trajectory in a Lie algebra, while the evolution operator is a trajectory in a Lie group generated by the underlying algebra via exponentiation. This turns out to be a constructive statement that establishes, in particular, the fact that classical and quantum unitary evolutions are two sides of the same coin determined uniquely by the same dynamic generators in the group. An equation for these generators - dubbed dual Schr"odinger-Bloch equation - will be derived and analyzed for a few of specific examples. This non-linear equation allows one to construct new exact non-linear solutions to quantum-dynamical systems. An experimentally-relevant example of a family of exact solutions to the many-body Landau-Zener problem will be presented. One practical application of the latter result includes dynamical means to optimize molecular production rate following a quench across the Feshbach resonance.

pyomo.dae: a modeling and automatic discretization framework for optimization with differential and algebraic equations

DOE PAGES

Nicholson, Bethany; Siirola, John D.; Watson, Jean-Paul; ...

2017-12-20

We describe pyomo.dae, an open source Python-based modeling framework that enables high-level abstract specification of optimization problems with differential and algebraic equations. The pyomo.dae framework is integrated with the Pyomo open source algebraic modeling language, and is available at http://www.pyomo.org. One key feature of pyomo.dae is that it does not restrict users to standard, predefined forms of differential equations, providing a high degree of modeling flexibility and the ability to express constraints that cannot be easily specified in other modeling frameworks. Other key features of pyomo.dae are the ability to specify optimization problems with high-order differential equations and partial differentialmore » equations, defined on restricted domain types, and the ability to automatically transform high-level abstract models into finite-dimensional algebraic problems that can be solved with off-the-shelf solvers. Moreover, pyomo.dae users can leverage existing capabilities of Pyomo to embed differential equation models within stochastic and integer programming models and mathematical programs with equilibrium constraint formulations. Collectively, these features enable the exploration of new modeling concepts, discretization schemes, and the benchmarking of state-of-the-art optimization solvers.« less

pyomo.dae: a modeling and automatic discretization framework for optimization with differential and algebraic equations

DOE Office of Scientific and Technical Information (OSTI.GOV)

Nicholson, Bethany; Siirola, John D.; Watson, Jean-Paul

We describe pyomo.dae, an open source Python-based modeling framework that enables high-level abstract specification of optimization problems with differential and algebraic equations. The pyomo.dae framework is integrated with the Pyomo open source algebraic modeling language, and is available at http://www.pyomo.org. One key feature of pyomo.dae is that it does not restrict users to standard, predefined forms of differential equations, providing a high degree of modeling flexibility and the ability to express constraints that cannot be easily specified in other modeling frameworks. Other key features of pyomo.dae are the ability to specify optimization problems with high-order differential equations and partial differentialmore » equations, defined on restricted domain types, and the ability to automatically transform high-level abstract models into finite-dimensional algebraic problems that can be solved with off-the-shelf solvers. Moreover, pyomo.dae users can leverage existing capabilities of Pyomo to embed differential equation models within stochastic and integer programming models and mathematical programs with equilibrium constraint formulations. Collectively, these features enable the exploration of new modeling concepts, discretization schemes, and the benchmarking of state-of-the-art optimization solvers.« less

Mathematical Modeling for Inherited Diseases.

PubMed

Anis, Saima; Khan, Madad; Khan, Saqib

2017-01-01

We introduced a new nonassociative algebra, namely, left almost algebra, and discussed some of its genetic properties. We discussed the relation of this algebra with flexible algebra, Jordan algebra, and generalized Jordan algebra.

The Standard Model Algebra - a summary

NASA Astrophysics Data System (ADS)

Cristinel Stoica, Ovidiu

2017-08-01

A generation of leptons and quarks and the gauge symmetries of the Standard Model can be obtained from the Clifford algebra ℂℓ 6. An instance of ℂℓ 6 is implicitly generated by the Dirac algebra combined with the electroweak symmetry, while the color symmetry gives another instance of ℂℓ 6 with a Witt decomposition. The minimal mathematical model proposed here results by identifying the two instances of ℂℓ 6. The left ideal decomposition generated by the Witt decomposition represents the leptons and quarks, and their antiparticles. The SU(3)c and U(1)em symmetries of the SM are the symmetries of this ideal decomposition. The patterns of electric charges, colors, chirality, weak isospins, and hypercharges, follow from this, without predicting additional particles or forces, or proton decay. The electroweak symmetry is present in its broken form, due to the geometry. The predicted Weinberg angle is given by sin2 W = 0.25. The model shares common features with previously known models, particularly with Chisholm and Farwell, 1996, Trayling and Baylis, 2004, and Furey, 2016.

The Spreadsheet in an Educational Setting. Microcomputing Working Paper Series F 84-4.

ERIC Educational Resources Information Center

Wozny, Lucy

This overview of a specific spreadsheet, Microsoft's Multiplan for the Apple Macintosh microcomputer, emphasizes specific features that are important to the academic community, including the mathematical functions of algebra, trigonometry, and statistical analysis. Additional features are summarized, including data formats for both numerical and…

Mathematical Modeling for Inherited Diseases

PubMed Central

Khan, Saqib

2017-01-01

We introduced a new nonassociative algebra, namely, left almost algebra, and discussed some of its genetic properties. We discussed the relation of this algebra with flexible algebra, Jordan algebra, and generalized Jordan algebra. PMID:28781606

A Simple Interactive Software Package for Plotting, Animating, and Calculating

ERIC Educational Resources Information Center

Engelhardt, Larry

2012-01-01

We introduce a new open source (free) software package that provides a simple, highly interactive interface for carrying out certain mathematical tasks that are commonly encountered in physics. These tasks include plotting and animating functions, solving systems of coupled algebraic equations, and basic calculus (differentiating and integrating…

Investigating Integer Restrictions in Linear Programming

ERIC Educational Resources Information Center

Edwards, Thomas G.; Chelst, Kenneth R.; Principato, Angela M.; Wilhelm, Thad L.

2015-01-01

Linear programming (LP) is an application of graphing linear systems that appears in many Algebra 2 textbooks. Although not explicitly mentioned in the Common Core State Standards for Mathematics, linear programming blends seamlessly into modeling with mathematics, the fourth Standard for Mathematical Practice (CCSSI 2010, p. 7). In solving a…

Core-Plus Mathematics. What Works Clearinghouse Intervention Report

ERIC Educational Resources Information Center

What Works Clearinghouse, 2010

2010-01-01

"Core-Plus Mathematics" is a four-year curriculum that replaces the traditional sequence with courses that each feature interwoven strands of algebra and functions, statistics and probability, geometry and trigonometry, and discrete mathematics. The first three courses in the series provide a common core of broadly useful mathematics,…

Energy is Not the Ability to do Work

ERIC Educational Resources Information Center

Lehrman, Robert L.

1973-01-01

The common definition is shown to be false. A modern definition must be based on the first and second laws of thermodynamics and in terms of a set of algebraic expressions written in such a way that their sum does not change when a system is isolated. (DF)

Compressed Continuous Computation v. 12/20/2016

DOE Office of Scientific and Technical Information (OSTI.GOV)

Gorodetsky, Alex

2017-02-17

A library for performing numerical computation with low-rank functions. The (C3) library enables performing continuous linear and multilinear algebra with multidimensional functions. Common tasks include taking "matrix" decompositions of vector- or matrix-valued functions, approximating multidimensional functions in low-rank format, adding or multiplying functions together, integrating multidimensional functions.

Teaching Third-Degree Price Discrimination

ERIC Educational Resources Information Center

Round, David K.; McIver, Ron P.

2006-01-01

Third-degree price discrimination is taught in almost every intermediate microeconomics class. The theory, geometry, and the algebra behind the concept are simple, and the phenomenon is commonly associated with the sale of many of the goods and services used frequently by students. Classroom discussion is usually vibrant as students can relate…

Controlling Population with Pollution

ERIC Educational Resources Information Center

Browne, Joseph

2010-01-01

Population models are often discussed in algebra, calculus, and differential equations courses. In this article we will use the human population of the world as our application. After quick looks at two common models we'll investigate more deeply a model which incorporates the negative effect that accumulated pollution may have on population.

Using Virtual Manipulatives with Pre-Service Mathematics Teachers to Create Representational Models

ERIC Educational Resources Information Center

Cooper, Thomas E.

2012-01-01

In mathematics education, physical manipulatives such as algebra tiles, pattern blocks, and two-colour counters are commonly used to provide concrete models of abstract concepts. With these traditional manipulatives, people can communicate with the tools only in one another's presence. This limitation poses difficulties concerning assessment and…

Effective Lagrangians and Current Algebra in Three Dimensions

NASA Astrophysics Data System (ADS)

Ferretti, Gabriele

In this thesis we study three dimensional field theories that arise as effective Lagrangians of quantum chromodynamics in Minkowski space with signature (2,1) (QCD3). In the first chapter, we explain the method of effective Langrangians and the relevance of current algebra techniques to field theory. We also provide the physical motivations for the study of QCD3 as a toy model for confinement and as a theory of quantum antiferromagnets (QAF). In chapter two, we derive the relevant effective Lagrangian by studying the low energy behavior of QCD3, paying particular attention to how the global symmetries are realized at the quantum level. In chapter three, we show how baryons arise as topological solitons of the effective Lagrangian and also show that their statistics depends on the number of colors as predicted by the quark model. We calculate mass splitting and magnetic moments of the soliton and find logarithmic corrections to the naive quark model predictions. In chapter four, we drive the current algebra of the theory. We find that the current algebra is a co -homologically non-trivial generalization of Kac-Moody algebras to three dimensions. This fact may provide a new, non -perturbative way to quantize the theory. In chapter five, we discuss the renormalizability of the model in the large-N expansion. We prove the validity of the non-renormalization theorem and compute the critical exponents in a specific limiting case, the CP^ {N-1} model with a Chern-Simons term. Finally, chapter six contains some brief concluding remarks.

Children's understanding of fraction and decimal symbols and the notation-specific relation to pre-algebra ability.

PubMed

Hurst, Michelle A; Cordes, Sara

2018-04-01

Fraction and decimal concepts are notoriously difficult for children to learn yet are a major component of elementary and middle school math curriculum and an important prerequisite for higher order mathematics (i.e., algebra). Thus, recently there has been a push to understand how children think about rational number magnitudes in order to understand how to promote rational number understanding. However, prior work investigating these questions has focused almost exclusively on fraction notation, overlooking the open questions of how children integrate rational number magnitudes presented in distinct notations (i.e., fractions, decimals, and whole numbers) and whether understanding of these distinct notations may independently contribute to pre-algebra ability. In the current study, we investigated rational number magnitude and arithmetic performance in both fraction and decimal notation in fourth- to seventh-grade children. We then explored how these measures of rational number ability predicted pre-algebra ability. Results reveal that children do represent the magnitudes of fractions and decimals as falling within a single numerical continuum and that, despite greater experience with fraction notation, children are more accurate when processing decimal notation than when processing fraction notation. Regression analyses revealed that both magnitude and arithmetic performance predicted pre-algebra ability, but magnitude understanding may be particularly unique and depend on notation. The educational implications of differences between children in the current study and previous work with adults are discussed. Copyright © 2017 Elsevier Inc. All rights reserved.

Accelerate quasi Monte Carlo method for solving systems of linear algebraic equations through shared memory

NASA Astrophysics Data System (ADS)

Lai, Siyan; Xu, Ying; Shao, Bo; Guo, Menghan; Lin, Xiaola

2017-04-01

In this paper we study on Monte Carlo method for solving systems of linear algebraic equations (SLAE) based on shared memory. Former research demostrated that GPU can effectively speed up the computations of this issue. Our purpose is to optimize Monte Carlo method simulation on GPUmemoryachritecture specifically. Random numbers are organized to storein shared memory, which aims to accelerate the parallel algorithm. Bank conflicts can be avoided by our Collaborative Thread Arrays(CTA)scheme. The results of experiments show that the shared memory based strategy can speed up the computaions over than 3X at most.

Hamiltonian approach to continuum dynamics

NASA Astrophysics Data System (ADS)

Isaev, A. A.; Kovalevskii, M. Yu.; Peletminskii, S. V.

1995-02-01

A study is made of the problem of obtaining the Poisson-bracket algebra of the dynamical variables of continuous media on the basis of specification of the kinematic part of the Lagrangian in terms of generalized coordinates and momenta. Within this algebra, subalgebras of variables corresponding to the description of elastic media, the hydrodynamics of ordinary liquids, and the dynamics of some phases of liquid crystals are identified. The differential conservation laws associated with the symmetries of the Hamiltonian of the system are studied. The dynamics of nematics is considered, and features of the dynamics of the cholesteric, smectic, and discotic phases are noted.

Using Linear Algebra to Introduce Computer Algebra, Numerical Analysis, Data Structures and Algorithms (and To Teach Linear Algebra, Too).

ERIC Educational Resources Information Center

Gonzalez-Vega, Laureano

1999-01-01

Using a Computer Algebra System (CAS) to help with the teaching of an elementary course in linear algebra can be one way to introduce computer algebra, numerical analysis, data structures, and algorithms. Highlights the advantages and disadvantages of this approach to the teaching of linear algebra. (Author/MM)

Compositional Specification of Software Architecture

NASA Technical Reports Server (NTRS)

Penix, John; Lau, Sonie (Technical Monitor)

1998-01-01

This paper describes our experience using parameterized algebraic specifications to model properties of software architectures. The goal is to model the decomposition of requirements independent of the style used to implement the architecture. We begin by providing an overview of the role of architecture specification in software development. We then describe how architecture specifications are build up from component and connector specifications and give an overview of insights gained from a case study used to validate the method.

A note on derivations of Murray-von Neumann algebras.

PubMed

Kadison, Richard V; Liu, Zhe

2014-02-11

A Murray-von Neumann algebra is the algebra of operators affiliated with a finite von Neumann algebra. In this article, we first present a brief introduction to the theory of derivations of operator algebras from both the physical and mathematical points of view. We then describe our recent work on derivations of Murray-von Neumann algebras. We show that the "extended derivations" of a Murray-von Neumann algebra, those that map the associated finite von Neumann algebra into itself, are inner. In particular, we prove that the only derivation that maps a Murray-von Neumann algebra associated with a factor of type II1 into that factor is 0. Those results are extensions of Singer's seminal result answering a question of Kaplansky, as applied to von Neumann algebras: The algebra may be noncommutative and may even contain unbounded elements.

Banach Synaptic Algebras

NASA Astrophysics Data System (ADS)

Foulis, David J.; Pulmannov, Sylvia

2018-04-01

Using a representation theorem of Erik Alfsen, Frederic Schultz, and Erling Størmer for special JB-algebras, we prove that a synaptic algebra is norm complete (i.e., Banach) if and only if it is isomorphic to the self-adjoint part of a Rickart C∗-algebra. Also, we give conditions on a Banach synaptic algebra that are equivalent to the condition that it is isomorphic to the self-adjoint part of an AW∗-algebra. Moreover, we study some relationships between synaptic algebras and so-called generalized Hermitian algebras.

Hopf algebras of rooted forests, cocyles, and free Rota-Baxter algebras

NASA Astrophysics Data System (ADS)

Zhang, Tianjie; Gao, Xing; Guo, Li

2016-10-01

The Hopf algebra and the Rota-Baxter algebra are the two algebraic structures underlying the algebraic approach of Connes and Kreimer to renormalization of perturbative quantum field theory. In particular, the Hopf algebra of rooted trees serves as the "baby model" of Feynman graphs in their approach and can be characterized by certain universal properties involving a Hochschild 1-cocycle. Decorated rooted trees have also been applied to study Feynman graphs. We will continue the study of universal properties of various spaces of decorated rooted trees with such a 1-cocycle, leading to the concept of a cocycle Hopf algebra. We further apply the universal properties to equip a free Rota-Baxter algebra with the structure of a cocycle Hopf algebra.

The Unitality of Quantum B-algebras

NASA Astrophysics Data System (ADS)

Han, Shengwei; Xu, Xiaoting; Qin, Feng

2018-02-01

Quantum B-algebras as a generalization of quantales were introduced by Rump and Yang, which cover the majority of implicational algebras and provide a unified semantic for a wide class of substructural logics. Unital quantum B-algebras play an important role in the classification of implicational algebras. The main purpose of this paper is to construct unital quantum B-algebras from non-unital quantum B-algebras.

Generalizing the bms3 and 2D-conformal algebras by expanding the Virasoro algebra

NASA Astrophysics Data System (ADS)

Caroca, Ricardo; Concha, Patrick; Rodríguez, Evelyn; Salgado-Rebolledo, Patricio

2018-03-01

By means of the Lie algebra expansion method, the centrally extended conformal algebra in two dimensions and the bms3 algebra are obtained from the Virasoro algebra. We extend this result to construct new families of expanded Virasoro algebras that turn out to be infinite-dimensional lifts of the so-called Bk, Ck and Dk algebras recently introduced in the literature in the context of (super)gravity. We also show how some of these new infinite-dimensional symmetries can be obtained from expanded Kač-Moody algebras using modified Sugawara constructions. Applications in the context of three-dimensional gravity are briefly discussed.

DOE Office of Scientific and Technical Information (OSTI.GOV)

Suh, Uhi Rinn, E-mail: uhrisu1@math.snu.ac.kr

We introduce a classical BRST complex (See Definition 3.2.) and show that one can construct a classical affine W-algebra via the complex. This definition clarifies that classical affine W-algebras can be considered as quasi-classical limits of quantum affine W-algebras. We also give a definition of a classical affine fractional W-algebra as a Poisson vertex algebra. As in the classical affine case, a classical affine fractional W-algebra has two compatible λ-brackets and is isomorphic to an algebra of differential polynomials as a differential algebra. When a classical affine fractional W-algebra is associated to a minimal nilpotent, we describe explicit forms ofmore » free generators and compute λ-brackets between them. Provided some assumptions on a classical affine fractional W-algebra, we find an infinite sequence of integrable systems related to the algebra, using the generalized Drinfel’d and Sokolov reduction.« less

A note on derivations of Murray–von Neumann algebras

PubMed Central

Kadison, Richard V.; Liu, Zhe

2014-01-01

A Murray–von Neumann algebra is the algebra of operators affiliated with a finite von Neumann algebra. In this article, we first present a brief introduction to the theory of derivations of operator algebras from both the physical and mathematical points of view. We then describe our recent work on derivations of Murray–von Neumann algebras. We show that the “extended derivations” of a Murray–von Neumann algebra, those that map the associated finite von Neumann algebra into itself, are inner. In particular, we prove that the only derivation that maps a Murray–von Neumann algebra associated with a factor of type II1 into that factor is 0. Those results are extensions of Singer’s seminal result answering a question of Kaplansky, as applied to von Neumann algebras: The algebra may be noncommutative and may even contain unbounded elements. PMID:24469831

A double commutant theorem for Murray–von Neumann algebras

PubMed Central

Liu, Zhe

2012-01-01

Murray–von Neumann algebras are algebras of operators affiliated with finite von Neumann algebras. In this article, we study commutativity and affiliation of self-adjoint operators (possibly unbounded). We show that a maximal abelian self-adjoint subalgebra of the Murray–von Neumann algebra associated with a finite von Neumann algebra is the Murray–von Neumann algebra , where is a maximal abelian self-adjoint subalgebra of and, in addition, is . We also prove that the Murray–von Neumann algebra with the center of is the center of the Murray–von Neumann algebra . Von Neumann’s celebrated double commutant theorem characterizes von Neumann algebras as those for which , where , the commutant of , is the set of bounded operators on the Hilbert space that commute with all operators in . At the end of this article, we present a double commutant theorem for Murray–von Neumann algebras. PMID:22543165

Baryon spectrum from superconformal quantum mechanics and its light-front holographic embedding

DOE PAGES

de Teramond, Guy F.; Dosch, Hans Gunter; Brodsky, Stanley J.

2015-02-27

We describe the observed light-baryon spectrum by extending superconformal quantum mechanics to the light front and its embedding in AdS space. This procedure uniquely determines the confinement potential for arbitrary half-integer spin. To this end, we show that fermionic wave equations in AdS space are dual to light-front supersymmetric quantum-mechanical bound-state equations in physical space-time. The specific breaking of conformal invariance explains hadronic properties common to light mesons and baryons, such as the observed mass pattern in the radial and orbital excitations, from the spectrum generating algebra. Lastly, the holographic embedding in AdS also explains distinctive and systematic features, suchmore » as the spin-J degeneracy for states with the same orbital angular momentum, observed in the light-baryon spectrum.« less

Mathematics Objectives and Measurement Specifications 1986-1990. Exit Level. Texas Educational Assessment of Minimum Skills (TEAMS).

ERIC Educational Resources Information Center

Texas Education Agency, Austin. Div. of Educational Assessment.

This document lists the objectives for the Texas educational assessment program in mathematics. Eighteen objectives for exit level mathematics are listed, by category: number concepts (4); computation (3); applied computation (5); statistical concepts (3); geometric concepts (2); and algebraic concepts (1). Then general specifications are listed…

Assessing Algebraic Solving Ability: A Theoretical Framework

ERIC Educational Resources Information Center

Lian, Lim Hooi; Yew, Wun Thiam

2012-01-01

Algebraic solving ability had been discussed by many educators and researchers. There exists no definite definition for algebraic solving ability as it can be viewed from different perspectives. In this paper, the nature of algebraic solving ability in terms of algebraic processes that demonstrate the ability in solving algebraic problem is…

Duncan F. Gregory, William Walton and the development of British algebra: 'algebraical geometry', 'geometrical algebra', abstraction.

PubMed

Verburgt, Lukas M

2016-01-01

This paper provides a detailed account of the period of the complex history of British algebra and geometry between the publication of George Peacock's Treatise on Algebra in 1830 and William Rowan Hamilton's paper on quaternions of 1843. During these years, Duncan Farquharson Gregory and William Walton published several contributions on 'algebraical geometry' and 'geometrical algebra' in the Cambridge Mathematical Journal. These contributions enabled them not only to generalize Peacock's symbolical algebra on the basis of geometrical considerations, but also to initiate the attempts to question the status of Euclidean space as the arbiter of valid geometrical interpretations. At the same time, Gregory and Walton were bound by the limits of symbolical algebra that they themselves made explicit; their work was not and could not be the 'abstract algebra' and 'abstract geometry' of figures such as Hamilton and Cayley. The central argument of the paper is that an understanding of the contributions to 'algebraical geometry' and 'geometrical algebra' of the second generation of 'scientific' symbolical algebraists is essential for a satisfactory explanation of the radical transition from symbolical to abstract algebra that took place in British mathematics in the 1830s-1840s.

What is Your Time Worth? A Meaningful Introductory Project in Algebra

ERIC Educational Resources Information Center

Courtney, Scott A.; Gibson, Jessica

2017-01-01

There have been many recent policy and program changes in K-12 education across the United States, particularly in area of mathematics. Changes, such as the Common Core State Standards for Mathematics and standards-aligned year-end summative assessments, require an increase in student-centered, cognitively demanding activities in the classroom.…

Using Nonlinear Programming in International Trade Theory: The Factor-Proportions Model

ERIC Educational Resources Information Center

Gilbert, John

2004-01-01

Students at all levels benefit from a multi-faceted approach to learning abstract material. The most commonly used technique in teaching the pure theory of international trade is a combination of geometry and algebraic derivations. Numerical simulation can provide a valuable third support to these approaches. The author describes a simple…

Developing Preservice Teachers' Understanding of Function Using a Vending Machine Metaphor Applet

ERIC Educational Resources Information Center

McCulloch, Allison; Lovett, Jennifer; Edgington, Cyndi

2017-01-01

The purpose of this study is to examine the use of a Vending Machine applet as a cognitive root for the development of preservice teachers understanding of function. The applet was designed to purposefully problematize common misconceptions associated with the algebraic nature of typical function machines. Findings indicated affordances and…

Return of the Tug-of-War

ERIC Educational Resources Information Center

McNamara, Julie

2017-01-01

Long before the release of the Common Core State Standards (CCSSI 2010), the Mathematical Tug-of-War was engaging students in the type of reasoning and problem solving described by the Standards for Mathematical Practice (SMP). In this updated version of a Marilyn Burns task, students use algebraic reasoning to determine the outcome of a contest…

Sound Off! Don't Sacrifice Geometry on the Common Core Altar

ERIC Educational Resources Information Center

Nirode, Wayne

2013-01-01

Although high school geometry could be a meaningful course in exploring, reasoning, proving, and communicating, it often lacks authentic proof and has become just another course in algebra. This article examines why geometry is important to learn and provides an outline of what that learning experience should be.

Mathematically Rich, Investigative Tasks for Teaching Algebra

ERIC Educational Resources Information Center

Day, Lorraine

2015-01-01

A challenge for teachers is to incorporate the Standards for Mathematical Practice (CCSSI 2010) throughout their teaching of mathematics so that the Common Core Standards do not revert back to a purely content-driven curriculum. One way to achieve this is through the use of mathematically rich, investigative tasks. These tasks encourage students…

The Popcorn Box Activity and Reasoning about Optimization

ERIC Educational Resources Information Center

Whiteley, Walter J.; Mamolo, Ami

2012-01-01

A well-known optimization problem is the Popcorn Box investigation, which involves a movie theater snack container. The problem has been tailored for classroom investigations by the Ontario Association for Mathematics Education. The exploration was designed for students in grades 9 through 12. A common strategy proposed for algebra students is to…

Deriving the Quadratic Regression Equation Using Algebra

ERIC Educational Resources Information Center

Gordon, Sheldon P.; Gordon, Florence S.

2004-01-01

In discussions with leading educators from many different fields, MAA's CRAFTY (Curriculum Renewal Across the First Two Years) committee found that one of the most common mathematical themes in those other disciplines is the idea of fitting a function to a set of data in the least squares sense. The representatives of those partner disciplines…

A Finite Abelian Group of Two-Letter Inversions

ERIC Educational Resources Information Center

Balbuena, Sherwin E.

2015-01-01

In abstract algebra, the study of concrete groups is fundamentally important to beginners. Most commonly used groups as examples are integer addition modulo n, real number addition and multiplication, permutation groups, and groups of symmetry. The last two examples are finite non-abelian groups and can be investigated with the aid of concrete…

From simplicial Lie algebras and hypercrossed complexes to differential graded Lie algebras via 1-jets

NASA Astrophysics Data System (ADS)

Jurčo, Branislav

2012-12-01

Let g be a simplicial Lie algebra with Moore complex Ng of length k. Let G be the simplicial Lie group integrating g, such that each Gn is simply connected. We use the 1-jet of the classifying space W¯ G to construct, starting from g, a Lie k-algebra L. The so constructed Lie k-algebra L is actually a differential graded Lie algebra. The differential and the brackets are explicitly described in terms (of a part) of the corresponding k-hypercrossed complex structure of Ng. The result can be seen as a geometric interpretation of Quillen's (purely algebraic) construction of the adjunction between simplicial Lie algebras and dg-Lie algebras.

Spectral relationships between kicked Harper and on-resonance double kicked rotor operators

DOE Office of Scientific and Technical Information (OSTI.GOV)

Lawton, Wayne; Mouritzen, Anders S.; Wang Jiao

2009-03-15

Kicked Harper operators and on-resonance double kicked rotor operators model quantum systems whose semiclassical limits exhibit chaotic dynamics. Recent computational studies indicate a striking resemblance between the spectra of these operators. In this paper we apply C*-algebra methods to explain this resemblance. We show that each pair of corresponding operators belongs to a common rotation C*-algebra B{sub {alpha}}, prove that their spectra are equal if {alpha} is irrational, and prove that the Hausdorff distance between their spectra converges to zero as q increases if {alpha}=p/q with p and q coprime integers. Moreover, we show that corresponding operators in B{sub {alpha}}more » are homomorphic images of mother operators in the universal rotation C*-algebra A{sub {alpha}} that are unitarily equivalent and hence have identical spectra. These results extend analogous results for almost Mathieu operators. We also utilize the C*-algebraic framework to develop efficient algorithms to compute the spectra of these mother operators for rational {alpha} and present preliminary numerical results that support the conjecture that their spectra are Cantor sets if {alpha} is irrational. This conjecture for almost Mathieu operators, called the ten Martini problem, was recently proven after intensive efforts over several decades. This proof for the almost Mathieu operators utilized transfer matrix methods, which do not exist for the kicked operators. We outline a strategy, based on a special property of loop groups of semisimple Lie groups, to prove this conjecture for the kicked operators.« less

A Domain-Specific Language for Discrete Mathematics

NASA Astrophysics Data System (ADS)

Jha, Rohit; Samuel, Alfy; Pawar, Ashmee; Kiruthika, M.

2013-05-01

This paper discusses a Domain Specific Language (DSL) that has been developed to enable implementation of concepts of discrete mathematics. A library of data types and functions provides functionality which is frequently required by users. Covering the areas of Mathematical Logic, Set Theory, Functions, Graph Theory, Number Theory, Linear Algebra and Combinatorics, the language's syntax is close to the actual notation used in the specific fields.

Making Algebra Work: Instructional Strategies that Deepen Student Understanding, within and between Algebraic Representations

ERIC Educational Resources Information Center

Star, Jon R.; Rittle-Johnson, Bethany

2009-01-01

Competence in algebra is increasingly recognized as a critical milestone in students' middle and high school years. The transition from arithmetic to algebra is a notoriously difficult one, and improvements in algebra instruction are greatly needed (National Research Council, 2001). Algebra historically has represented students' first sustained…

Algebraic K-theory, K-regularity, and -duality of -stable C ∗-algebras

NASA Astrophysics Data System (ADS)

Mahanta, Snigdhayan

2015-12-01

We develop an algebraic formalism for topological -duality. More precisely, we show that topological -duality actually induces an isomorphism between noncommutative motives that in turn implements the well-known isomorphism between twisted K-theories (up to a shift). In order to establish this result we model topological K-theory by algebraic K-theory. We also construct an E ∞ -operad starting from any strongly self-absorbing C ∗-algebra . Then we show that there is a functorial topological K-theory symmetric spectrum construction on the category of separable C ∗-algebras, such that is an algebra over this operad; moreover, is a module over this algebra. Along the way we obtain a new symmetric spectra valued functorial model for the (connective) topological K-theory of C ∗-algebras. We also show that -stable C ∗-algebras are K-regular providing evidence for a conjecture of Rosenberg. We conclude with an explicit description of the algebraic K-theory of a x+ b-semigroup C ∗-algebras coming from number theory and that of -stabilized noncommutative tori.

Learning algebra on screen and on paper: The effect of using a digital tool on students' understanding

NASA Astrophysics Data System (ADS)

Jupri, Al; Drijvers, Paul; van den Heuvel-Panhuizen, Marja

2016-02-01

The use of digital tools in algebra education is expected to not only contribute to master skill, but also to acquire conceptual understanding. The question is how digital tools affect students" thinking and understanding. This paper presents an analysis of data of one group of three grade seventh students (12-13 year-old) on the use of a digital tool for algebra, the Cover-up applet for solving equations in particular. This case study was part of a larger teaching experiment on initial algebra enriched with digital technology which aimed to improve students" conceptual understanding and skills in solving equations in one variable. The qualitative analysis of a video observation, digital and written work showed that the use of the applet affects student thinking in terms of strategies used by students while dealing with the equations. We conclude that the effects of the use of the digital tool can be traced from student problem solving strategies on paper-and-pencil environment which are similar to strategies while working with the digital tool. In future research, we recommend to use specific theoretical lenses, such as the theory of instrumental genesis and the onto-semiotic approach, to reveal more explicit relationships between students" conceptual understanding and the use of a digital tool.

Generalized Clifford Algebras as Algebras in Suitable Symmetric Linear Gr-Categories

NASA Astrophysics Data System (ADS)

Cheng, Tao; Huang, Hua-Lin; Yang, Yuping

2016-01-01

By viewing Clifford algebras as algebras in some suitable symmetric Gr-categories, Albuquerque and Majid were able to give a new derivation of some well known results about Clifford algebras and to generalize them. Along the same line, Bulacu observed that Clifford algebras are weak Hopf algebras in the aforementioned categories and obtained other interesting properties. The aim of this paper is to study generalized Clifford algebras in a similar manner and extend the results of Albuquerque, Majid and Bulacu to the generalized setting. In particular, by taking full advantage of the gauge transformations in symmetric linear Gr-categories, we derive the decomposition theorem and provide categorical weak Hopf structures for generalized Clifford algebras in a conceptual and simpler manner.

Solution of the classical Yang-Baxter equation with an exotic symmetry, and integrability of a multi-species boson tunnelling model

NASA Astrophysics Data System (ADS)

Links, Jon

2017-03-01

Solutions of the classical Yang-Baxter equation provide a systematic method to construct integrable quantum systems in an algebraic manner. A Lie algebra can be associated with any solution of the classical Yang-Baxter equation, from which commuting transfer matrices may be constructed. This procedure is reviewed, specifically for solutions without skew-symmetry. A particular solution with an exotic symmetry is identified, which is not obtained as a limiting expansion of the usual Yang-Baxter equation. This solution facilitates the construction of commuting transfer matrices which will be used to establish the integrability of a multi-species boson tunnelling model. The model generalises the well-known two-site Bose-Hubbard model, to which it reduces in the one-species limit. Due to the lack of an apparent reference state, application of the algebraic Bethe Ansatz to solve the model is prohibitive. Instead, the Bethe Ansatz solution is obtained by the use of operator identities and tensor product decompositions.

Computation of indirect nuclear spin-spin couplings with reduced complexity in pure and hybrid density functional approximations.

PubMed

Luenser, Arne; Kussmann, Jörg; Ochsenfeld, Christian

2016-09-28

We present a (sub)linear-scaling algorithm to determine indirect nuclear spin-spin coupling constants at the Hartree-Fock and Kohn-Sham density functional levels of theory. Employing efficient integral algorithms and sparse algebra routines, an overall (sub)linear scaling behavior can be obtained for systems with a non-vanishing HOMO-LUMO gap. Calculations on systems with over 1000 atoms and 20 000 basis functions illustrate the performance and accuracy of our reference implementation. Specifically, we demonstrate that linear algebra dominates the runtime of conventional algorithms for 10 000 basis functions and above. Attainable speedups of our method exceed 6 × in total runtime and 10 × in the linear algebra steps for the tested systems. Furthermore, a convergence study of spin-spin couplings of an aminopyrazole peptide upon inclusion of the water environment is presented: using the new method it is shown that large solvent spheres are necessary to converge spin-spin coupling values.

Tropical geometry of statistical models.

PubMed

Pachter, Lior; Sturmfels, Bernd

2004-11-16

This article presents a unified mathematical framework for inference in graphical models, building on the observation that graphical models are algebraic varieties. From this geometric viewpoint, observations generated from a model are coordinates of a point in the variety, and the sum-product algorithm is an efficient tool for evaluating specific coordinates. Here, we address the question of how the solutions to various inference problems depend on the model parameters. The proposed answer is expressed in terms of tropical algebraic geometry. The Newton polytope of a statistical model plays a key role. Our results are applied to the hidden Markov model and the general Markov model on a binary tree.

Dynamical systems defined on infinite dimensional lie algebras of the ''current algebra'' or ''Kac-Moody'' type

NASA Astrophysics Data System (ADS)

Hermann, Robert

1982-07-01

Recent work by Morrison, Marsden, and Weinstein has drawn attention to the possibility of utilizing the cosymplectic structure of the dual of the Lie algebra of certain infinite dimensional Lie groups to study hydrodynamical and plasma systems. This paper treats certain models arising in elementary particle physics, considered by Lee, Weinberg, and Zumino; Sugawara; Bardacki, Halpern, and Frishman; Hermann; and Dolan. The lie algebras involved are associated with the ''current algebras'' of Gell-Mann. This class of Lie algebras contains certain of the algebras that are called ''Kac-Moody algebras'' in the recent mathematics and mathematical physics literature.

Acoustooptic linear algebra processors - Architectures, algorithms, and applications

NASA Technical Reports Server (NTRS)

Casasent, D.

1984-01-01

Architectures, algorithms, and applications for systolic processors are described with attention to the realization of parallel algorithms on various optical systolic array processors. Systolic processors for matrices with special structure and matrices of general structure, and the realization of matrix-vector, matrix-matrix, and triple-matrix products and such architectures are described. Parallel algorithms for direct and indirect solutions to systems of linear algebraic equations and their implementation on optical systolic processors are detailed with attention to the pipelining and flow of data and operations. Parallel algorithms and their optical realization for LU and QR matrix decomposition are specifically detailed. These represent the fundamental operations necessary in the implementation of least squares, eigenvalue, and SVD solutions. Specific applications (e.g., the solution of partial differential equations, adaptive noise cancellation, and optimal control) are described to typify the use of matrix processors in modern advanced signal processing.

Phased-mission system analysis using Boolean algebraic methods

NASA Technical Reports Server (NTRS)

Somani, Arun K.; Trivedi, Kishor S.

1993-01-01

Most reliability analysis techniques and tools assume that a system is used for a mission consisting of a single phase. However, multiple phases are natural in many missions. The failure rates of components, system configuration, and success criteria may vary from phase to phase. In addition, the duration of a phase may be deterministic or random. Recently, several researchers have addressed the problem of reliability analysis of such systems using a variety of methods. A new technique for phased-mission system reliability analysis based on Boolean algebraic methods is described. Our technique is computationally efficient and is applicable to a large class of systems for which the failure criterion in each phase can be expressed as a fault tree (or an equivalent representation). Our technique avoids state space explosion that commonly plague Markov chain-based analysis. A phase algebra to account for the effects of variable configurations and success criteria from phase to phase was developed. Our technique yields exact (as opposed to approximate) results. The use of our technique was demonstrated by means of an example and present numerical results to show the effects of mission phases on the system reliability.

Using computer algebra and SMT-solvers to analyze a mathematical model of cholera propagation

NASA Astrophysics Data System (ADS)

Trujillo Arredondo, Mariana

2014-06-01

We analyze a mathematical model for the transmission of cholera. The model is already defined and involves variables such as the pathogen agent, which in this case is the bacterium Vibrio cholera, and the human population. The human population is divided into three classes: susceptible, infectious and removed. Using Computer Algebra, specifically Maple we obtain two equilibrium states: the disease free state and the endemic state. Using Maple it is possible to prove that the disease free state is locally asymptotically stable if and only if R0 < 1. Using Maple it is possible to prove that the endemic equilibrium state is locally stable when it exists, it is to say when R0 > 1. Using the package Red-Log of the Computer algebra system Reduce and the SMT-Solver Z3Py it is possible to obtain numerical conditions for the model. The formula for the basic reproductive number makes a synthesis with all epidemic parameters in the model. Also it is possible to make numerical simulations which are very illustrative about the epidemic patters that are expected to be observed in real situations. We claim that these kinds of software are very useful in the analysis of epidemic models given that the symbolic computation provides algebraic formulas for the basic reproductive number and such algebraic formulas are very useful to derive control measures. For other side, computer algebra software is a powerful tool to make the stability analysis for epidemic models given that the all steps in the stability analysis can be made automatically: finding the equilibrium points, computing the jacobian, computing the characteristic polynomial for the jacobian, and applying the Routh-Hurwitz theorem to the characteristic polynomial. Finally, using SMT-Solvers is possible to make automatically checks of satisfiability, validity and quantifiers elimination being these computations very useful to analyse complicated epidemic models.

The general symmetry algebra structure of the underdetermined equation ux=(vxx)2

NASA Astrophysics Data System (ADS)

Kersten, Paul H. M.

1991-08-01

In a recent paper, Anderson, Kamran, and Olver [``Interior, exterior, and generalized symmetries,'' preprint (1990)] obtained the first- and second-order generalized symmetry algebra for the system ux=(vxx)2, leading to the noncompact real form of the exceptional Lie algebra G2. Here, the structure of the general higher-order symmetry algebra is obtained. Moreover, the Lie algebra G2 is obtained as ordinary symmetry algebra of the associated first-order system. The general symmetry algebra for ux=f(u,v,vx,...,) is established also.

A calculus based on a q-deformed Heisenberg algebra

DOE PAGES

Cerchiai, B. L.; Hinterding, R.; Madore, J.; ...

1999-04-27

We show how one can construct a differential calculus over an algebra where position variables $x$ and momentum variables p have be defined. As the simplest example we consider the one-dimensional q-deformed Heisenberg algebra. This algebra has a subalgebra generated by cursive Greek chi and its inverse which we call the coordinate algebra. A physical field is considered to be an element of the completion of this algebra. We can construct a derivative which leaves invariant the coordinate algebra and so takes physical fields into physical fields. A generalized Leibniz rule for this algebra can be found. Based on thismore » derivative differential forms and an exterior differential calculus can be constructed.« less

Teachers' Implementation of Pre-Constructed Dynamic Geometry Tasks in Technology-Intensive Algebra 1 Classrooms

ERIC Educational Resources Information Center

Cayton, Charity Sue-Adams

2012-01-01

Technology use and a focus on 21st century skills, coupled with recent adoption of Common Core State Standards for Mathematics, marks a new challenge for mathematics teachers. Communication, discourse, and tools for enhancing discourse (NCTM, 1991, 2000) play an integral role in successful implementation of technology and mathematics standards.…

Toward a New Method of Decoding Algebraic Codes Using Groebner Bases

DTIC Science & Technology

1993-10-01

variables over GF(2m). A celebrated algorithm by Buchberger produces a reduced Groebner basis of that ideal. It tums out that, since the common roots of...all the polynomials in the ideal are a set of isolated points, this reduced Groebner basis is in triangular form, and the univariate polynomial in that

Substitution and Sameness: Two Components of a Relational Conception of the Equals Sign

ERIC Educational Resources Information Center

Jones, Ian; Inglis, Matthew; Gilmore, Camilla; Dowens, Margaret

2012-01-01

A sophisticated and flexible understanding of the equals sign (=) is important for arithmetic competence and for learning further mathematics, particularly algebra. Research has identified two common conceptions held by children: the equals sign as an operator and the equals sign as signaling the same value on both sides of the equation. We argue…

An Exact Algebraic Evaluation of Path-Length Difference for Two-Source Interference

ERIC Educational Resources Information Center

Hopper, Seth; Howell, John

2006-01-01

When studying wave interference, one often wants to know the difference in path length for two waves arriving at a common point P but coming from adjacent sources. For example, in many contexts interference maxima occur where this path-length difference is an integer multiple of the wavelength. The standard approximation for the path-length…

Highest-weight representations of Brocherd`s algebras

DOE Office of Scientific and Technical Information (OSTI.GOV)

Slansky, R.

1997-01-01

General features of highest-weight representations of Borcherd`s algebras are described. to show their typical features, several representations of Borcherd`s extensions of finite-dimensional algebras are analyzed. Then the example of the extension of affine- su(2) to a Borcherd`s algebra is examined. These algebras provide a natural way to extend a Kac-Moody algebra to include the hamiltonian and number-changing operators in a generalized symmetry structure.

Identities of Finitely Generated Algebras Over AN Infinite Field

NASA Astrophysics Data System (ADS)

Kemer, A. R.

1991-02-01

It is proved that for each finitely generated associative PI-algebra U over an infinite field F, there is a finite-dimensional F-algebra C such that the ideals of identities of the algebras U and C coincide. This yields a positive solution to the local problem of Specht for algebras over an infinite field: A finitely generated free associative algebra satisfies the maximum condition for T-ideals.

Quantum cluster algebras and quantum nilpotent algebras.

PubMed

Goodearl, Kenneth R; Yakimov, Milen T

2014-07-08

A major direction in the theory of cluster algebras is to construct (quantum) cluster algebra structures on the (quantized) coordinate rings of various families of varieties arising in Lie theory. We prove that all algebras in a very large axiomatically defined class of noncommutative algebras possess canonical quantum cluster algebra structures. Furthermore, they coincide with the corresponding upper quantum cluster algebras. We also establish analogs of these results for a large class of Poisson nilpotent algebras. Many important families of coordinate rings are subsumed in the class we are covering, which leads to a broad range of applications of the general results to the above-mentioned types of problems. As a consequence, we prove the Berenstein-Zelevinsky conjecture [Berenstein A, Zelevinsky A (2005) Adv Math 195:405-455] for the quantized coordinate rings of double Bruhat cells and construct quantum cluster algebra structures on all quantum unipotent groups, extending the theorem of Geiß et al. [Geiß C, et al. (2013) Selecta Math 19:337-397] for the case of symmetric Kac-Moody groups. Moreover, we prove that the upper cluster algebras of Berenstein et al. [Berenstein A, et al. (2005) Duke Math J 126:1-52] associated with double Bruhat cells coincide with the corresponding cluster algebras.

Quantum cluster algebras and quantum nilpotent algebras

PubMed Central

Goodearl, Kenneth R.; Yakimov, Milen T.

2014-01-01

A major direction in the theory of cluster algebras is to construct (quantum) cluster algebra structures on the (quantized) coordinate rings of various families of varieties arising in Lie theory. We prove that all algebras in a very large axiomatically defined class of noncommutative algebras possess canonical quantum cluster algebra structures. Furthermore, they coincide with the corresponding upper quantum cluster algebras. We also establish analogs of these results for a large class of Poisson nilpotent algebras. Many important families of coordinate rings are subsumed in the class we are covering, which leads to a broad range of applications of the general results to the above-mentioned types of problems. As a consequence, we prove the Berenstein–Zelevinsky conjecture [Berenstein A, Zelevinsky A (2005) Adv Math 195:405–455] for the quantized coordinate rings of double Bruhat cells and construct quantum cluster algebra structures on all quantum unipotent groups, extending the theorem of Geiß et al. [Geiß C, et al. (2013) Selecta Math 19:337–397] for the case of symmetric Kac–Moody groups. Moreover, we prove that the upper cluster algebras of Berenstein et al. [Berenstein A, et al. (2005) Duke Math J 126:1–52] associated with double Bruhat cells coincide with the corresponding cluster algebras. PMID:24982197

The Feigin Tetrahedron

NASA Astrophysics Data System (ADS)

Rupel, Dylan

2015-03-01

The first goal of this note is to extend the well-known Feigin homomorphisms taking quantum groups to quantum polynomial algebras. More precisely, we define generalized Feigin homomorphisms from a quantum shuffle algebra to quantum polynomial algebras which extend the classical Feigin homomorphisms along the embedding of the quantum group into said quantum shuffle algebra. In a recent work of Berenstein and the author, analogous extensions of Feigin homomorphisms from the dual Hall-Ringel algebra of a valued quiver to quantum polynomial algebras were defined. To relate these constructions, we establish a homomorphism, dubbed the quantum shuffle character, from the dual Hall-Ringel algebra to the quantum shuffle algebra which relates the generalized Feigin homomorphisms. These constructions can be compactly described by a commuting tetrahedron of maps beginning with the quantum group and terminating in a quantum polynomial algebra. The second goal in this project is to better understand the dual canonical basis conjecture for skew-symmetrizable quantum cluster algebras. In the symmetrizable types it is known that dual canonical basis elements need not have positive multiplicative structure constants, while this is still suspected to hold for skew-symmetrizable quantum cluster algebras. We propose an alternate conjecture for the symmetrizable types: the cluster monomials should correspond to irreducible characters of a KLR algebra. Indeed, the main conjecture of this note would establish this ''KLR conjecture'' for acyclic skew-symmetrizable quantum cluster algebras: that is, we conjecture that the images of rigid representations under the quantum shuffle character give irreducible characters for KLR algebras. We sketch a proof in the symmetric case giving an alternative to the proof of Kimura-Qin that all non-initial cluster variables in an acyclic skew-symmetric quantum cluster algebra are contained in the dual canonical basis. With these results in mind we interpret the cluster mutations directly in terms of the representation theory of the KLR algebra.

Form in Algebra: Reflecting, with Peacock, on Upper Secondary School Teaching.

ERIC Educational Resources Information Center

Menghini, Marta

1994-01-01

Discusses algebra teaching by looking back into the history of algebra and the work of George Peacock, who considered algebra from two points of view: symbolic and instrumental. Claims that, to be meaningful, algebra must be linked to real-world problems. (18 references) (MKR)

Mathematization in introductory physics

NASA Astrophysics Data System (ADS)

Brahmia, Suzanne M.

Mathematization is central to STEM disciplines as a cornerstone of the quantitative reasoning that characterizes these fields. Introductory physics is required for most STEM majors in part so that students develop expert-like mathematization. This dissertation describes coordinated research and curriculum development for strengthening mathematization in introductory physics; it blends scholarship in physics and mathematics education in the form of three papers. The first paper explores mathematization in the context of physics, and makes an original contribution to the measurement of physics students' struggle to mathematize. Instructors naturally assume students have a conceptual mastery of algebra before embarking on a college physics course because these students are enrolled in math courses beyond algebra. This paper provides evidence that refutes the validity of this assumption and categorizes some of the barriers students commonly encounter with quantification and representing ideas symbolically. The second paper develops a model of instruction that can help students progress from their starting points to their instructor's desired endpoints. Instructors recognize that the introductory physics course introduces new ideas at an astonishing rate. More than most physicists realize, however, the way that mathematics is used in the course is foreign to a large portion of class. This paper puts forth an instructional model that can move all students toward better quantitative and physical reasoning, despite the substantial variability of those students' initial states. The third paper describes the design and testing of curricular materials that foster mathematical creativity to prepare students to better understand physics reasoning. Few students enter introductory physics with experience generating equations in response to specific challenges involving unfamiliar quantities and units, yet this generative use of mathematics is typical of the thinking involved in doing physics. It contrasts with their more common experience with mathematics as the practice of specified procedures to improve efficiency. This paper describes new curricular materials based on invention instruction provide students with opportunities to generate mathematical relationships in physics, and the paper presents preliminary evidence of the effectiveness of this method with mathematically underprepared engineering students.

Constructing Meanings and Utilities within Algebraic Tasks

ERIC Educational Resources Information Center

Ainley, Janet; Bills, Liz; Wilson, Kirsty

2004-01-01

The Purposeful Algebraic Activity project aims to explore the potential of spreadsheets in the introduction to algebra and algebraic thinking. We discuss two sub-themes within the project: tracing the development of pupils' construction of meaning for variable from arithmetic-based activity, through use of spreadsheets, and into formal algebra,…

Equivariant Gromov-Witten Invariants of Algebraic GKM Manifolds

NASA Astrophysics Data System (ADS)

Liu, Chiu-Chu Melissa; Sheshmani, Artan

2017-07-01

An algebraic GKM manifold is a non-singular algebraic variety equipped with an algebraic action of an algebraic torus, with only finitely many torus fixed points and finitely many 1-dimensional orbits. In this expository article, we use virtual localization to express equivariant Gromov-Witten invariants of any algebraic GKM manifold (which is not necessarily compact) in terms of Hodge integrals over moduli stacks of stable curves and the GKM graph of the GKM manifold.

Asymptotic aspect of derivations in Banach algebras.

PubMed

Roh, Jaiok; Chang, Ick-Soon

2017-01-01

We prove that every approximate linear left derivation on a semisimple Banach algebra is continuous. Also, we consider linear derivations on Banach algebras and we first study the conditions for a linear derivation on a Banach algebra. Then we examine the functional inequalities related to a linear derivation and their stability. We finally take central linear derivations with radical ranges on semiprime Banach algebras and a continuous linear generalized left derivation on a semisimple Banach algebra.

Lie algebra of conformal Killing-Yano forms

NASA Astrophysics Data System (ADS)

Ertem, Ümit

2016-06-01

We provide a generalization of the Lie algebra of conformal Killing vector fields to conformal Killing-Yano forms. A new Lie bracket for conformal Killing-Yano forms that corresponds to slightly modified Schouten-Nijenhuis bracket of differential forms is proposed. We show that conformal Killing-Yano forms satisfy a graded Lie algebra in constant curvature manifolds. It is also proven that normal conformal Killing-Yano forms in Einstein manifolds also satisfy a graded Lie algebra. The constructed graded Lie algebras reduce to the graded Lie algebra of Killing-Yano forms and the Lie algebras of conformal Killing and Killing vector fields in special cases.

Generalized Galilean algebras and Newtonian gravity

NASA Astrophysics Data System (ADS)

González, N.; Rubio, G.; Salgado, P.; Salgado, S.

2016-04-01

The non-relativistic versions of the generalized Poincaré algebras and generalized AdS-Lorentz algebras are obtained. These non-relativistic algebras are called, generalized Galilean algebras of type I and type II and denoted by GBn and GLn respectively. Using a generalized Inönü-Wigner contraction procedure we find that the generalized Galilean algebras of type I can be obtained from the generalized Galilean algebras type II. The S-expansion procedure allows us to find the GB5 algebra from the Newton Hooke algebra with central extension. The procedure developed in Ref. [1] allows us to show that the nonrelativistic limit of the five dimensional Einstein-Chern-Simons gravity is given by a modified version of the Poisson equation. The modification could be compatible with the effects of Dark Matter, which leads us to think that Dark Matter can be interpreted as a non-relativistic limit of Dark Energy.

On the structure of quantum L∞ algebras

NASA Astrophysics Data System (ADS)

Blumenhagen, Ralph; Fuchs, Michael; Traube, Matthias

2017-10-01

It is believed that any classical gauge symmetry gives rise to an L∞ algebra. Based on the recently realized relation between classical W algebras and L∞ algebras, we analyze how this generalizes to the quantum case. Guided by the existence of quantum W algebras, we provide a physically well motivated definition of quantum L∞ algebras describing the consistency of global symmetries in quantum field theories. In this case we are restricted to only two non-trivial graded vector spaces X 0 and X -1 containing the symmetry variations and the symmetry generators. This quantum L∞ algebra structure is explicitly exemplified for the quantum W_3 algebra. The natural quantum product between fields is the normal ordered one so that, due to contractions between quantum fields, the higher L∞ relations receive off-diagonal quantum corrections. Curiously, these are not present in the loop L∞ algebra of closed string field theory.

ImgLib2--generic image processing in Java.

PubMed

Pietzsch, Tobias; Preibisch, Stephan; Tomancák, Pavel; Saalfeld, Stephan

2012-11-15

ImgLib2 is an open-source Java library for n-dimensional data representation and manipulation with focus on image processing. It aims at minimizing code duplication by cleanly separating pixel-algebra, data access and data representation in memory. Algorithms can be implemented for classes of pixel types and generic access patterns by which they become independent of the specific dimensionality, pixel type and data representation. ImgLib2 illustrates that an elegant high-level programming interface can be achieved without sacrificing performance. It provides efficient implementations of common data types, storage layouts and algorithms. It is the data model underlying ImageJ2, the KNIME Image Processing toolbox and an increasing number of Fiji-Plugins. ImgLib2 is licensed under BSD. Documentation and source code are available at http://imglib2.net and in a public repository at https://github.com/imagej/imglib. Supplementary data are available at Bioinformatics Online. saalfeld@mpi-cbg.de

Using quantum filters to process images of diffuse axonal injury

NASA Astrophysics Data System (ADS)

Pineda Osorio, Mateo

2014-06-01

Some images corresponding to a diffuse axonal injury (DAI) are processed using several quantum filters such as Hermite Weibull and Morse. Diffuse axonal injury is a particular, common and severe case of traumatic brain injury (TBI). DAI involves global damage on microscopic scale of brain tissue and causes serious neurologic abnormalities. New imaging techniques provide excellent images showing cellular damages related to DAI. Said images can be processed with quantum filters, which accomplish high resolutions of dendritic and axonal structures both in normal and pathological state. Using the Laplacian operators from the new quantum filters, excellent edge detectors for neurofiber resolution are obtained. Image quantum processing of DAI images is made using computer algebra, specifically Maple. Quantum filter plugins construction is proposed as a future research line, which can incorporated to the ImageJ software package, making its use simpler for medical personnel.

libdrdc: software standards library

NASA Astrophysics Data System (ADS)

Erickson, David; Peng, Tie

2008-04-01

This paper presents the libdrdc software standards library including internal nomenclature, definitions, units of measure, coordinate reference frames, and representations for use in autonomous systems research. This library is a configurable, portable C-function wrapped C++ / Object Oriented C library developed to be independent of software middleware, system architecture, processor, or operating system. It is designed to use the automatically-tuned linear algebra suite (ATLAS) and Basic Linear Algebra Suite (BLAS) and port to firmware and software. The library goal is to unify data collection and representation for various microcontrollers and Central Processing Unit (CPU) cores and to provide a common Application Binary Interface (ABI) for research projects at all scales. The library supports multi-platform development and currently works on Windows, Unix, GNU/Linux, and Real-Time Executive for Multiprocessor Systems (RTEMS). This library is made available under LGPL version 2.1 license.

Eigenmode computation of cavities with perturbed geometry using matrix perturbation methods applied on generalized eigenvalue problems

NASA Astrophysics Data System (ADS)

Gorgizadeh, Shahnam; Flisgen, Thomas; van Rienen, Ursula

2018-07-01

Generalized eigenvalue problems are standard problems in computational sciences. They may arise in electromagnetic fields from the discretization of the Helmholtz equation by for example the finite element method (FEM). Geometrical perturbations of the structure under concern lead to a new generalized eigenvalue problems with different system matrices. Geometrical perturbations may arise by manufacturing tolerances, harsh operating conditions or during shape optimization. Directly solving the eigenvalue problem for each perturbation is computationally costly. The perturbed eigenpairs can be approximated using eigenpair derivatives. Two common approaches for the calculation of eigenpair derivatives, namely modal superposition method and direct algebraic methods, are discussed in this paper. Based on the direct algebraic methods an iterative algorithm is developed for efficiently calculating the eigenvalues and eigenvectors of the perturbed geometry from the eigenvalues and eigenvectors of the unperturbed geometry.

An algebraic iterative reconstruction technique for differential X-ray phase-contrast computed tomography.

PubMed

Fu, Jian; Schleede, Simone; Tan, Renbo; Chen, Liyuan; Bech, Martin; Achterhold, Klaus; Gifford, Martin; Loewen, Rod; Ruth, Ronald; Pfeiffer, Franz

2013-09-01

Iterative reconstruction has a wide spectrum of proven advantages in the field of conventional X-ray absorption-based computed tomography (CT). In this paper, we report on an algebraic iterative reconstruction technique for grating-based differential phase-contrast CT (DPC-CT). Due to the differential nature of DPC-CT projections, a differential operator and a smoothing operator are added to the iterative reconstruction, compared to the one commonly used for absorption-based CT data. This work comprises a numerical study of the algorithm and its experimental verification using a dataset measured at a two-grating interferometer setup. Since the algorithm is easy to implement and allows for the extension to various regularization possibilities, we expect a significant impact of the method for improving future medical and industrial DPC-CT applications. Copyright © 2012. Published by Elsevier GmbH.

On special Lie algebras having a faithful module with Krull dimension

NASA Astrophysics Data System (ADS)

Pikhtilkova, O. A.; Pikhtilkov, S. A.

2017-02-01

For special Lie algebras we prove an analogue of Markov's theorem on {PI}-algebras having a faithful module with Krull dimension: the solubility of the prime radical. We give an example of a semiprime Lie algebra that has a faithful module with Krull dimension but cannot be represented as a subdirect product of finitely many prime Lie algebras. We prove a criterion for a semiprime Lie algebra to be representable as such a subdirect product.

Algebra for Everyone.

ERIC Educational Resources Information Center

Edwards, Edgar L., Jr., Ed.

The fundamentals of algebra and algebraic thinking should be a part of the background of all citizens in society. The vast increase in the use of technology requires that school mathematics ensure the teaching of algebraic thinking as well as its use at both the elementary and secondary school levels. Algebra is a universal theme that runs through…

Chinese Algebra: Using Historical Problems to Think about Current Curricula

ERIC Educational Resources Information Center

Tillema, Erik

2005-01-01

The Chinese used the idea of generating equivalent expressions for solving problems where the problems from a historical Chinese text are studied to understand the ways in which the ideas can lead into algebraic calculations and help students to learn algebra. The texts unify algebraic problem solving through complex algebraic thought and afford…

Conceptualizing Routines of Practice That Support Algebraic Reasoning in Elementary Schools: A Constructivist Grounded Theory

ERIC Educational Resources Information Center

Store, Jessie Chitsanzo

2012-01-01

There is ample literature documenting that, for many decades, high school students view algebra as difficult and do not demonstrate understanding of algebraic concepts. Algebraic reasoning in elementary school aims at meaningfully introducing algebra to elementary school students in preparation for higher-level mathematics. While there is research…

Derive Workshop Matrix Algebra and Linear Algebra.

ERIC Educational Resources Information Center

Townsley Kulich, Lisa; Victor, Barbara

This document presents the course content for a workshop that integrates the use of the computer algebra system Derive with topics in matrix and linear algebra. The first section is a guide to using Derive that provides information on how to write algebraic expressions, make graphs, save files, edit, define functions, differentiate expressions,…

Prospective Teachers' Views on the Use of Calculators with Computer Algebra System in Algebra Instruction

ERIC Educational Resources Information Center

Ozgun-Koca, S. Ash

2010-01-01

Although growing numbers of secondary school mathematics teachers and students use calculators to study graphs, they mainly rely on paper-and-pencil when manipulating algebraic symbols. However, the Computer Algebra Systems (CAS) on computers or handheld calculators create new possibilities for teaching and learning algebraic manipulation. This…

A Richer Understanding of Algebra

ERIC Educational Resources Information Center

Foy, Michelle

2008-01-01

Algebra is one of those hard-to-teach topics where pupils seem to struggle to see it as more than a set of rules to learn, but this author recently used the software "Grid Algebra" from ATM, which engaged her Year 7 pupils in exploring algebraic concepts for themselves. "Grid Algebra" allows pupils to experience number,…

A set for relational reasoning: Facilitation of algebraic modeling by a fraction task.

PubMed

DeWolf, Melissa; Bassok, Miriam; Holyoak, Keith J

2016-12-01

Recent work has identified correlations between early mastery of fractions and later math achievement, especially in algebra. However, causal connections between aspects of reasoning with fractions and improved algebra performance have yet to be established. The current study investigated whether relational reasoning with fractions facilitates subsequent algebraic reasoning using both pre-algebra students and adult college students. Participants were first given either a relational reasoning fractions task or a fraction algebra procedures control task. Then, all participants solved word problems and constructed algebraic equations in either multiplication or division format. The word problems and the equation construction tasks involved simple multiplicative comparison statements such as "There are 4 times as many students as teachers in a classroom." Performance on the algebraic equation construction task was enhanced for participants who had previously completed the relational fractions task compared with those who completed the fraction algebra procedures task. This finding suggests that relational reasoning with fractions can establish a relational set that promotes students' tendency to model relations using algebraic expressions. Copyright © 2016 Elsevier Inc. All rights reserved.

Topics in elementary particle physics

NASA Astrophysics Data System (ADS)

Jin, Xiang

The author of this thesis discusses two topics in elementary particle physics: n-ary algebras and their applications to M-theory (Part I), and functional evolution and Renormalization Group flows (Part II). In part I, Lie algebra is extended to four different n-ary algebraic structure: generalized Lie algebra, Filippov algebra, Nambu algebra and Nambu-Poisson tensor; though there are still many other n-ary algebras. A natural property of Generalized Lie algebras — the Bremner identity, is studied, and proved with a totally different method from its original version. We extend Bremner identity to n-bracket cases, where n is an arbitrary odd integer. Filippov algebras do not focus on associativity, and are defined by the Fundamental identity. We add associativity to Filippov algebras, and give examples of how to construct Filippov algebras from su(2), bosonic oscillator, Virasoro algebra. We try to include fermionic charges into the ternary Virasoro-Witt algebra, but the attempt fails because fermionic charges keep generating new charges that make the algebra not closed. We also study the Bremner identity restriction on Nambu algebras and Nambu-Poisson tensors. So far, the only example 3-algebra being used in physics is the BLG model with 3-algebra A4, describing two M2-branes interactions. Its extension with Nambu algebra, BLG-NB model, is believed to describe infinite M2-branes condensation. Also, there is another propose for M2-brane interactions, the ABJM model, which is constructed by ordinary Lie algebra. We compare the symmetry properties between them, and discuss the possible approaches to include these three models into a grand unification theory. In Part II, we give an approximate solution for Schroeder's equations, based on series and conjugation methods. We use the logistic map as an example, and demonstrate that this approximate solution converges to known analytical solutions around the fixed point, around which the approximate solution is constructed. Although the closed-form solutions for Schroeder's equations can not always be approached analytically, by fitting the approximation solutions, one can still obtain closed-form solutions sometimes. Based on Schroeder's theory, approximate solutions for trajectories, velocities and potentials can also be constructed. The approximate solution is significantly useful to calculate the beta function in renormalization group trajectory. By "wrapping" the series solutions with the conjugations from different inverse functions, we generate different branches of the trajectory, and construct a counterexample for a folk theorem about limited cycles.

Solving multi-customer FPR model with quality assurance and discontinuous deliveries using a two-phase algebraic approach.

PubMed

Chiu, Yuan-Shyi Peter; Chou, Chung-Li; Chang, Huei-Hsin; Chiu, Singa Wang

2016-01-01

A multi-customer finite production rate (FPR) model with quality assurance and discontinuous delivery policy was investigated in a recent paper (Chiu et al. in J Appl Res Technol 12(1):5-13, 2014) using differential calculus approach. This study employs mathematical modeling along with a two-phase algebraic method to resolve such a specific multi-customer FPR model. As a result, the optimal replenishment lot size and number of shipments can be derived without using the differential calculus. Such a straightforward method may assist practitioners who with insufficient knowledge of calculus in learning and managing the real multi-customer FPR systems more effectively.

On genera of curves from high-loop generalized unitarity cuts

NASA Astrophysics Data System (ADS)

Huang, Rijun; Zhang, Yang

2013-04-01

Generalized unitarity cut of a Feynman diagram generates an algebraic system of polynomial equations. At high-loop levels, these equations may define a complex curve or a (hyper-)surface with complicated topology. We study the curve cases, i.e., a 4-dimensional L-loop diagram with (4 L-1) cuts. The topology of a complex curve is classified by its genus. Hence in this paper, we use computational algebraic geometry to calculate the genera of curves from two and three-loop unitarity cuts. The global structure of degenerate on-shell equations under some specific kinematic configurations is also sketched. The genus information can also be used to judge if a unitary cut solution could be rationally parameterized.

An Algebraic Construction of the First Integrals of the Stationary KdV Hierarchy

NASA Astrophysics Data System (ADS)

Matsushima, Masatomo; Ohmiya, Mayumi

2009-09-01

The stationary KdV hierarchy is constructed using a kind of recursion operator called Λ-operator. The notion of the maximal solution of the n-th stationary KdV equation is introduced. Using this maximal solution, a specific differential polynomial with the auxiliary spectral parameter called the spectral M-function is constructed as the quadratic form of the fundamental system of the eigenvalue problem for the 2-nd order linear ordinary differential equation which is related to the linearizing operator of the hierarchy. By calculating a perfect square condition of the quadratic form by an elementary algebraic method, the complete set of first integrals of this hierarchy is constructed.

Accuracy requirements of optical linear algebra processors in adaptive optics imaging systems

NASA Technical Reports Server (NTRS)

Downie, John D.; Goodman, Joseph W.

1989-01-01

The accuracy requirements of optical processors in adaptive optics systems are determined by estimating the required accuracy in a general optical linear algebra processor (OLAP) that results in a smaller average residual aberration than that achieved with a conventional electronic digital processor with some specific computation speed. Special attention is given to an error analysis of a general OLAP with regard to the residual aberration that is created in an adaptive mirror system by the inaccuracies of the processor, and to the effect of computational speed of an electronic processor on the correction. Results are presented on the ability of an OLAP to compete with a digital processor in various situations.

Reduction by invariants and projection of linear representations of Lie algebras applied to the construction of nonlinear realizations

NASA Astrophysics Data System (ADS)

Campoamor-Stursberg, R.

2018-03-01

A procedure for the construction of nonlinear realizations of Lie algebras in the context of Vessiot-Guldberg-Lie algebras of first-order systems of ordinary differential equations (ODEs) is proposed. The method is based on the reduction of invariants and projection of lowest-dimensional (irreducible) representations of Lie algebras. Applications to the description of parameterized first-order systems of ODEs related by contraction of Lie algebras are given. In particular, the kinematical Lie algebras in (2 + 1)- and (3 + 1)-dimensions are realized simultaneously as Vessiot-Guldberg-Lie algebras of parameterized nonlinear systems in R3 and R4, respectively.

(Fuzzy) Ideals of BN-Algebras

PubMed Central

Walendziak, Andrzej

2015-01-01

The notions of an ideal and a fuzzy ideal in BN-algebras are introduced. The properties and characterizations of them are investigated. The concepts of normal ideals and normal congruences of a BN-algebra are also studied, the properties of them are displayed, and a one-to-one correspondence between them is presented. Conditions for a fuzzy set to be a fuzzy ideal are given. The relationships between ideals and fuzzy ideals of a BN-algebra are established. The homomorphic properties of fuzzy ideals of a BN-algebra are provided. Finally, characterizations of Noetherian BN-algebras and Artinian BN-algebras via fuzzy ideals are obtained. PMID:26125050

The algebra of supertraces for 2+1 super de Sitter gravity

NASA Technical Reports Server (NTRS)

Urrutia, L. F.; Waelbroeck, H.; Zertuche, F.

1993-01-01

The algebra of the observables for 2+1 super de Sitter gravity, for one genus of the spatial surface is calculated. The algebra turns out to be an infinite Lie algebra subject to non-linear constraints. The constraints are solved explicitly in terms of five independent complex supertraces. These variables are the true degrees of freedom of the system and their quantized algebra generates a new structure which is referred to as a 'central extension' of the quantum algebra SU(2)q.

a Triangular Deformation of the Two-Dimensional POINCARÉ Algebra

NASA Astrophysics Data System (ADS)

Khorrami, M.; Shariati, A.; Abolhassani, M. R.; Aghamohammadi, A.

Contracting the h-deformation of SL(2, ℝ), we construct a new deformation of two-dimensional Poincaré's algebra, the algebra of functions on its group and its differential structure. It is seen that these dual Hopf algebras are isomorphic to each other. It is also shown that the Hopf algebra is triangular, and its universal R-matrix is also constructed explicitly. We then find a deformation map for the universal enveloping algebra, and at the end, give the deformed mass shells and Lorentz transformation.

Computer algebra and operators

NASA Technical Reports Server (NTRS)

Fateman, Richard; Grossman, Robert

1989-01-01

The symbolic computation of operator expansions is discussed. Some of the capabilities that prove useful when performing computer algebra computations involving operators are considered. These capabilities may be broadly divided into three areas: the algebraic manipulation of expressions from the algebra generated by operators; the algebraic manipulation of the actions of the operators upon other mathematical objects; and the development of appropriate normal forms and simplification algorithms for operators and their actions. Brief descriptions are given of the computer algebra computations that arise when working with various operators and their actions.

An Arithmetic-Algebraic Work Space for the Promotion of Arithmetic and Algebraic Thinking: Triangular Numbers

ERIC Educational Resources Information Center

Hitt, Fernando; Saboya, Mireille; Cortés Zavala, Carlos

2016-01-01

This paper presents an experiment that attempts to mobilise an arithmetic-algebraic way of thinking in order to articulate between arithmetic thinking and the early algebraic thinking, which is considered a prelude to algebraic thinking. In the process of building this latter way of thinking, researchers analysed pupils' spontaneous production…

Spontaneous Meta-Arithmetic as a First Step toward School Algebra

ERIC Educational Resources Information Center

Caspi, Shai; Sfard, Anna

2012-01-01

Taking as the point of departure the vision of school algebra as a formalized meta-discourse of arithmetic, we have been following five pairs of 7th grade students as they progress in algebraic discourse during 24 months, from their informal algebraic talk to the formal algebraic discourse, as taught in school. Our analysis follows changes that…

Gender differences in algebraic thinking ability to solve mathematics problems

NASA Astrophysics Data System (ADS)

Kusumaningsih, W.; Darhim; Herman, T.; Turmudi

2018-05-01

This study aimed to conduct a gender study on students' algebraic thinking ability in solving a mathematics problem, polyhedron concept, for grade VIII. This research used a qualitative method. The data was collected using: test and interview methods. The subjects in this study were eight male and female students with different level of abilities. It was found that the algebraic thinking skills of male students reached high group of five categories. They were superior in terms of reasoning and quick understanding in solving problems. Algebraic thinking ability of high-achieving group of female students also met five categories of algebraic thinking indicators. They were more diligent, tenacious and thorough in solving problems. Algebraic thinking ability of male students in medium category only satisfied three categories of algebraic thinking indicators. They were sufficient in terms of reasoning and understanding in solving problems. Algebraic thinking ability group of female students in medium group also satisfied three categories of algebraic thinking indicators. They were fairly diligent, tenacious and meticulous on working on the problems.

Particle-like structure of coaxial Lie algebras

NASA Astrophysics Data System (ADS)

Vinogradov, A. M.

2018-01-01

This paper is a natural continuation of Vinogradov [J. Math. Phys. 58, 071703 (2017)] where we proved that any Lie algebra over an algebraically closed field or over R can be assembled in a number of steps from two elementary constituents, called dyons and triadons. Here we consider the problems of the construction and classification of those Lie algebras which can be assembled in one step from base dyons and triadons, called coaxial Lie algebras. The base dyons and triadons are Lie algebra structures that have only one non-trivial structure constant in a given basis, while coaxial Lie algebras are linear combinations of pairwise compatible base dyons and triadons. We describe the maximal families of pairwise compatible base dyons and triadons called clusters, and, as a consequence, we give a complete description of the coaxial Lie algebras. The remarkable fact is that dyons and triadons in clusters are self-organised in structural groups which are surrounded by casings and linked by connectives. We discuss generalisations and applications to the theory of deformations of Lie algebras.

Capitalizing on the Dynamic Features of Excel to Consider Growth Rates and Limits

ERIC Educational Resources Information Center

Taylor, Daniel; Moore-Russo, Deborah

2012-01-01

It is common for both algebra and calculus instructors to use power functions of various degrees as well as exponential functions to examine and compare rates of growth. This can be done on a chalkboard, with a graphing calculator, or with a spreadsheet. Instructors often are careful to connect the symbolic and graphical (and occasionally the…

Attending High School Algebra I: In Search of Well-Managed, Engaging, Culturally Relevant, and Caring Classrooms

ERIC Educational Resources Information Center

Gannett, Cassandra Dunn

2012-01-01

The inequities in learning between the rich and the poor have become pervasive in United States. This is evidenced by the high school graduation rates, college attendance percentages, and employment statistics. Upon another wave of reform, the Common Core State Standards in mathematics are currently being adopted in hopes of increasing learning…

The Growing Importance of Linear Algebra in Undergraduate Mathematics.

ERIC Educational Resources Information Center

Tucker, Alan

1993-01-01

Discusses the theoretical and practical importance of linear algebra. Presents a brief history of linear algebra and matrix theory and describes the place of linear algebra in the undergraduate curriculum. (MDH)

Representing k-graphs as Matrix Algebras

NASA Astrophysics Data System (ADS)

Rosjanuardi, R.

2018-05-01

For any commutative unital ring R and finitely aligned k-graph Λ with |Λ| < ∞ without cycles, we can realise Kumjian-Pask algebra KP R (Λ) as a direct sum of of matrix algebra over some vertices v with properties ν = νΛ, i.e: ⊕ νΛ=ν M |Λv|(R). When there is only a single vertex ν ∈ Λ° such that ν = νΛ, we can realise the Kumjian-Pask algebra as the matrix algebra M |ΛV|(R). Hence the matrix algebra M |vΛ|(R) can be regarded as a representation of the k-graph Λ. In this talk we will figure out the relation between finitely aligned k-graph and matrix algebra.

A description of pseudo-bosons in terms of nilpotent Lie algebras

NASA Astrophysics Data System (ADS)

Bagarello, Fabio; Russo, Francesco G.

2018-02-01

We show how the one-mode pseudo-bosonic ladder operators provide concrete examples of nilpotent Lie algebras of dimension five. It is the first time that an algebraic-geometric structure of this kind is observed in the context of pseudo-bosonic operators. Indeed we do not find the well known Heisenberg algebras, which are involved in several quantum dynamical systems, but different Lie algebras which may be decomposed into the sum of two abelian Lie algebras in a prescribed way. We introduce the notion of semidirect sum (of Lie algebras) for this scope and find that it describes very well the behavior of pseudo-bosonic operators in many quantum models.

Compositional Analysis of Asymmetric and Symmetric Dimethylated H3R2 Using Liquid Chromatography-Tandem Mass Spectrometry-Based Targeted Proteomics.

PubMed

Xu, Qingqing; Xu, Feifei; Liu, Liang; Chen, Yun

2016-09-06

Protein arginine methylation is one of the common post-translational modifications in cellular processes. To date, two isomeric forms of dimethylated arginine have been identified: asymmetric N(G),N(G)-dimethylarginine (aDMA), and symmetric N(G),N'(G)-dimethylarginine (sDMA). Evidence indicated that these isomers can coexist and have different or even opposite functions, with aDMA and sDMA forms of arginine 2 on histone H3 (i.e., H3R2me2a and H3R2me2s) being an example. Thus, specific detection and quantification of each isomeric form is important. Current methods are capable of predicting and detecting thousands of methylarginine sites in proteins, whereas differentiation and stoichiometric measurement of dimethylated protein isomers are still challenging. Liquid chromatography coupled with tandem mass spectrometry (LC-MS/MS)-based targeted proteomics has emerged as a promising technique for site-specific quantification of protein methylation using enzymatic peptides as surrogates of target proteins. However, it should be pointed out that a routine targeted proteomics strategy cannot easily distinguish sDMA- and aDMA-containing surrogate peptides due to their common nature. The estimated amount should be considered as the sum of both arginine dimethylated isomers. In this study, compositional analysis based on a linear algebra algorithm as an add-on to targeted proteomics was employed to quantify H3R2me2a and H3R2me2s (i.e., surrogate peptides of AR(me2a)TK(me1/2)QT and AR(me2s)TK(me1/2)QT). To achieve this simultaneous quantification, a targeted proteomics assay was developed and validated for each isomer first. With the slope and intercept of their calibration curves for each multiple reaction monitoring (MRM) transition, linear algebraic equations were derived. Using a series of mock mixtures consisting of isomers in varying concentrations, the reliability of the method was confirmed. Finally, the H3R2 dimethylation status was analyzed in normal MCF-10A cells, parental drug-sensitive MCF-7/WT cancer cells, and drug-resistant MCF-7/ADR cancer cells. Dimethylated H3R2 was also monitored in MCF-7/WT cells with the treatment of doxorubicin (DOX) for confirmation.

The hopf algebra of vector fields on complex quantum groups

NASA Astrophysics Data System (ADS)

Drabant, Bernhard; Jurčo, Branislav; Schlieker, Michael; Weich, Wolfgang; Zumino, Bruno

1992-10-01

We derive the equivalence of the complex quantum enveloping algebra and the algebra of complex quantum vector fields for the Lie algebra types A n , B n , C n , and D n by factorizing the vector fields uniquely into a triangular and a unitary part and identifying them with the corresponding elements of the algebra of regular functionals.

Algorithms for computations of Loday algebras' invariants

NASA Astrophysics Data System (ADS)

Hussain, Sharifah Kartini Said; Rakhimov, I. S.; Basri, W.

2017-04-01

The paper is devoted to applications of some computer programs to study structural determination of Loday algebras. We present how these computer programs can be applied in computations of various invariants of Loday algebras and provide several computer programs in Maple to verify Loday algebras' identities, the isomorphisms between the algebras, as a special case, to describe the automorphism groups, centroids and derivations.

Algebra for All: The Effect of Algebra Coursework and Classroom Peer Academic Composition on Low-Achieving Students

ERIC Educational Resources Information Center

Nomi, Takako; Raudenbush, Stephen W.

2014-01-01

Algebra is often considered as a gateway for later achievement. A recent report by the Mathematics Advisory Panel (2008) underscores the importance of improving algebra learning in secondary school. Today, a growing number of states and districts require algebra for all students in ninth grade or earlier. Chicago is at the forefront of this…

Rupture or Continuity: The Arithmetico-Algebraic Thinking as an Alternative in a Modelling Process in a Paper and Pencil and Technology Environment

ERIC Educational Resources Information Center

Hitt, Fernando; Saboya, Mireille; Zavala, Carlos Cortés

2017-01-01

Part of the research community that has followed the Early Algebra paradigm is currently delimiting the differences between arithmetic thinking and algebraic thinking. This trend could prevent new research approaches to the problem of learning algebra, hiding the importance of considering an arithmetico-algebraic thinking, a new approach which…

Calculation and Specification of the Multiple Chirality Displayed by Sugar Pyranoid Ring Structures.

ERIC Educational Resources Information Center

Shallenberger, Robert S.; And Others

1981-01-01

Describes a method, using simple algebraic notation, for calculating the nature of the salient features of a sugar pyranoid ring, the steric disposition of substituents about the reference, and the anomeric carbon atoms contained within the ring. (CS)

R&D 100, 2016: Pyomo 4.0 – Python Optimization Modeling Objects

ScienceCinema

Hart, William; Laird, Carl; Siirola, John

2018-06-13

Pyomo provides a rich software environment for formulating and analyzing optimization applications. Pyomo supports the algebraic specification of complex sets of objectives and constraints, which enables optimization solvers to exploit problem structure to efficiently perform optimization.

The Slow Learner in Mathematics: Aids and Activities

ERIC Educational Resources Information Center

Maletsky, Evan M.

1973-01-01

Specific examples of effective use of multisensory aids are given. All can easily and inexpensively be made by the teacher or the students. Examples are grouped under the following major headings: number patterns, arithmetic skills, geometric concepts, algebraic concepts, and models. (LS)

Derivation in INK-algebras

NASA Astrophysics Data System (ADS)

Kaviyarasu, M.; Indhira, K.

2018-04-01

In 2017 we introduced a new notion of algebra called IKN-algebra. Motivated by some result on derivations (rightleft)-derivation and (leftright)- derivation in ring. In this paper we introduce derivation in INK-Algebras and investigate some important result.

Projective loop quantum gravity. II. Searching for semi-classical states

NASA Astrophysics Data System (ADS)

Lanéry, Suzanne; Thiemann, Thomas

2017-05-01

In the first paper of this series, an extension of the Ashtekar-Lewandowski state space of loop quantum gravity was set up with the help of a projective formalism introduced by Kijowski. The motivation for this work was to achieve a more balanced treatment of the position and momentum variables (also known as holonomies and fluxes). While this is the first step toward the construction of states semi-classical with respect to a full set of observables, one uncovers a deeper issue, which we analyse in the present article in the case of real-valued holonomies. Specifically, we show that, in this case, there does not exist any state on the holonomy-flux algebra in which the variances of the holonomy and flux observables would all be finite, let alone small. It is important to note that this obstruction cannot be bypassed by further enlarging the quantum state space, for it arises from the structure of the algebra itself. A way out would be to suitably restrict the algebra of observables: we take the first step in this direction in a companion paper.

Contractions and deformations of quasiclassical Lie algebras preserving a nondegenerate quadratic Casimir operator

DOE Office of Scientific and Technical Information (OSTI.GOV)

Campoamor-Stursberg, R., E-mail: rutwig@mat.ucm.e

2008-05-15

By means of contractions of Lie algebras, we obtain new classes of indecomposable quasiclassical Lie algebras that satisfy the Yang-Baxter equations in its reformulation in terms of triple products. These algebras are shown to arise naturally from noncompact real simple algebras with nonsimple complexification, where we impose that a nondegenerate quadratic Casimir operator is preserved by the limiting process. We further consider the converse problem and obtain sufficient conditions on integrable cocycles of quasiclassical Lie algebras in order to preserve nondegenerate quadratic Casimir operators by the associated linear deformations.

Roughness in Lattice Ordered Effect Algebras

PubMed Central

Xin, Xiao Long; Hua, Xiu Juan; Zhu, Xi

2014-01-01

Many authors have studied roughness on various algebraic systems. In this paper, we consider a lattice ordered effect algebra and discuss its roughness in this context. Moreover, we introduce the notions of the interior and the closure of a subset and give some of their properties in effect algebras. Finally, we use a Riesz ideal induced congruence and define a function e(a, b) in a lattice ordered effect algebra E and build a relationship between it and congruence classes. Then we study some properties about approximation of lattice ordered effect algebras. PMID:25170523

D{sub {infinity}}-differential E{sub {infinity}}-algebras and spectral sequences of fibrations

DOE Office of Scientific and Technical Information (OSTI.GOV)

Lapin, Sergei V

2007-10-31

The notion of an E{sub {infinity}}-algebra with a filtration is introduced. The connections are established between E{sub {infinity}}-algebras with filtrations and the theory of D{sub {infinity}}-differential E{sub {infinity}}-algebras over fields. Based on the technique of D{sub {infinity}}-differential E{sub {infinity}}-algebras, the apparatus of spectral sequences is developed for E{sub {infinity}}-algebras with filtrations, and applications of this apparatus to the multiplicative cohomology spectral sequences of fibrations are given. Bibliography: 21 titles.

q-Derivatives, quantization methods and q-algebras

DOE Office of Scientific and Technical Information (OSTI.GOV)

Twarock, Reidun

1998-12-15

Using the example of Borel quantization on S{sup 1}, we discuss the relation between quantization methods and q-algebras. In particular, it is shown that a q-deformation of the Witt algebra with generators labeled by Z is realized by q-difference operators. This leads to a discrete quantum mechanics. Because of Z, the discretization is equidistant. As an approach to a non-equidistant discretization of quantum mechanics one can change the Witt algebra using not the number field Z as labels but a quadratic extension of Z characterized by an irrational number {tau}. This extension is denoted as quasi-crystal Lie algebra, because thismore » is a relation to one-dimensional quasicrystals. The q-deformation of this quasicrystal Lie algebra is discussed. It is pointed out that quasicrystal Lie algebras can be considered also as a 'deformed' Witt algebra with a 'deformation' of the labeling number field. Their application to the theory is discussed.« less

Generalized conformal realizations of Kac-Moody algebras

DOE Office of Scientific and Technical Information (OSTI.GOV)

Palmkvist, Jakob

2009-01-15

We present a construction which associates an infinite sequence of Kac-Moody algebras, labeled by a positive integer n, to one single Jordan algebra. For n=1, this reduces to the well known Kantor-Koecher-Tits construction. Our generalization utilizes a new relation between different generalized Jordan triple systems, together with their known connections to Jordan and Lie algebras. Applied to the Jordan algebra of Hermitian 3x3 matrices over the division algebras R, C, H, O, the construction gives the exceptional Lie algebras f{sub 4}, e{sub 6}, e{sub 7}, e{sub 8} for n=2. Moreover, we obtain their infinite-dimensional extensions for n{>=}3. In the casemore » of 2x2 matrices, the resulting Lie algebras are of the form so(p+n,q+n) and the concomitant nonlinear realization generalizes the conformal transformations in a spacetime of signature (p,q)« less

Filiform Lie algebras of order 3

DOE Office of Scientific and Technical Information (OSTI.GOV)

Navarro, R. M., E-mail: rnavarro@unex.es

2014-04-15

The aim of this work is to generalize a very important type of Lie algebras and superalgebras, i.e., filiform Lie (super)algebras, into the theory of Lie algebras of order F. Thus, the concept of filiform Lie algebras of order F is obtained. In particular, for F = 3 it has been proved that by using infinitesimal deformations of the associated model elementary Lie algebra it can be obtained families of filiform elementary lie algebras of order 3, analogously as that occurs into the theory of Lie algebras [M. Vergne, “Cohomologie des algèbres de Lie nilpotentes. Application à l’étude de lamore » variété des algèbres de Lie nilpotentes,” Bull. Soc. Math. France 98, 81–116 (1970)]. Also we give the dimension, using an adaptation of the sl(2,C)-module Method, and a basis of such infinitesimal deformations in some generic cases.« less

Labeled trees and the efficient computation of derivations

NASA Technical Reports Server (NTRS)

Grossman, Robert; Larson, Richard G.

1989-01-01

The effective parallel symbolic computation of operators under composition is discussed. Examples include differential operators under composition and vector fields under the Lie bracket. Data structures consisting of formal linear combinations of rooted labeled trees are discussed. A multiplication on rooted labeled trees is defined, thereby making the set of these data structures into an associative algebra. An algebra homomorphism is defined from the original algebra of operators into this algebra of trees. An algebra homomorphism from the algebra of trees into the algebra of differential operators is then described. The cancellation which occurs when noncommuting operators are expressed in terms of commuting ones occurs naturally when the operators are represented using this data structure. This leads to an algorithm which, for operators which are derivations, speeds up the computation exponentially in the degree of the operator. It is shown that the algebra of trees leads naturally to a parallel version of the algorithm.

Differential calculus and gauge transformations on a deformed space

NASA Astrophysics Data System (ADS)

Wess, Julius

2007-08-01

We consider a formalism by which gauge theories can be constructed on noncommutative space time structures. The coordinates are supposed to form an algebra, restricted by certain requirements that allow us to realise the algebra in terms of star products. In this formulation it is useful to define derivatives and to extend the algebra of coordinates by these derivatives. The elements of this extended algebra are deformed differential operators. We then show that there is a morphism between these deformed differential operators and the usual higher order differential operators acting on functions of commuting coordinates. In this way we obtain deformed gauge transformations and a deformed version of the algebra of diffeomorphisms. The deformation of these algebras can be clearly seen in the category of Hopf algebras. The comultiplication will be twisted. These twisted algebras can be realised on noncommutative spaces and allow the construction of deformed gauge theories and deformed gravity theory.

Three-Dimensional Algebraic Models of the tRNA Code and 12 Graphs for Representing the Amino Acids.

PubMed

José, Marco V; Morgado, Eberto R; Guimarães, Romeu Cardoso; Zamudio, Gabriel S; de Farías, Sávio Torres; Bobadilla, Juan R; Sosa, Daniela

2014-08-11

Three-dimensional algebraic models, also called Genetic Hotels, are developed to represent the Standard Genetic Code, the Standard tRNA Code (S-tRNA-C), and the Human tRNA code (H-tRNA-C). New algebraic concepts are introduced to be able to describe these models, to wit, the generalization of the 2n-Klein Group and the concept of a subgroup coset with a tail. We found that the H-tRNA-C displayed broken symmetries in regard to the S-tRNA-C, which is highly symmetric. We also show that there are only 12 ways to represent each of the corresponding phenotypic graphs of amino acids. The averages of statistical centrality measures of the 12 graphs for each of the three codes are carried out and they are statistically compared. The phenotypic graphs of the S-tRNA-C display a common triangular prism of amino acids in 10 out of the 12 graphs, whilst the corresponding graphs for the H-tRNA-C display only two triangular prisms. The graphs exhibit disjoint clusters of amino acids when their polar requirement values are used. We contend that the S-tRNA-C is in a frozen-like state, whereas the H-tRNA-C may be in an evolving state.

Using process algebra to develop predator-prey models of within-host parasite dynamics.

PubMed

McCaig, Chris; Fenton, Andy; Graham, Andrea; Shankland, Carron; Norman, Rachel

2013-07-21

As a first approximation of immune-mediated within-host parasite dynamics we can consider the immune response as a predator, with the parasite as its prey. In the ecological literature of predator-prey interactions there are a number of different functional responses used to describe how a predator reproduces in response to consuming prey. Until recently most of the models of the immune system that have taken a predator-prey approach have used simple mass action dynamics to capture the interaction between the immune response and the parasite. More recently Fenton and Perkins (2010) employed three of the most commonly used prey-dependent functional response terms from the ecological literature. In this paper we make use of a technique from computing science, process algebra, to develop mathematical models. The novelty of the process algebra approach is to allow stochastic models of the population (parasite and immune cells) to be developed from rules of individual cell behaviour. By using this approach in which individual cellular behaviour is captured we have derived a ratio-dependent response similar to that seen in the previous models of immune-mediated parasite dynamics, confirming that, whilst this type of term is controversial in ecological predator-prey models, it is appropriate for models of the immune system. Copyright © 2013 Elsevier Ltd. All rights reserved.

I CAN Learn[R] Pre-Algebra and Algebra. What Works Clearinghouse Intervention Report

ERIC Educational Resources Information Center

What Works Clearinghouse, 2009

2009-01-01

The I CAN Learn[R] Education System is an interactive, self-paced, mastery-based software system that includes the I CAN Learn[R] Fundamentals of Math (5th-6th grade math) curriculum, the I CAN Learn[R] Pre-Algebra curriculum, and the I CAN Learn[R] Algebra curriculum. College algebra credit is also available to students in participating schools…

A Characterization of a Unified Notion of Mathematical Function: The Case of High School Function and Linear Transformation

ERIC Educational Resources Information Center

Zandieh, Michelle; Ellis, Jessica; Rasmussen, Chris

2017-01-01

As part of a larger study of student understanding of concepts in linear algebra, we interviewed 10 university linear algebra students as to their conceptions of functions from high school algebra and linear transformation from their study of linear algebra. An overarching goal of this study was to examine how linear algebra students see linear…

Simple nuclear C*-algebras not isomorphic to their opposites

PubMed Central

Hirshberg, Ilan

2017-01-01

We show that it is consistent with Zermelo–Fraenkel set theory with the axiom of choice (ZFC) that there is a simple nuclear nonseparable C∗-algebra, which is not isomorphic to its opposite algebra. We can furthermore guarantee that this example is an inductive limit of unital copies of the Cuntz algebra O2 or of the canonical anticommutation relations (CAR) algebra. PMID:28559339

Implementation of Algebra I in Eighth Grade: An "Ex-Post Facto" Study on Student Achievement

ERIC Educational Resources Information Center

Realdine, Dorothy S.

2010-01-01

Only recently have school districts across the nation begun to offer Algebra I to all eighth grade students. Currently, most eighth grade Algebra I curriculum does not have a national consistent focus of topics or level of rigor. A key issue of implementing Algebra I in eighth grade is defining national Algebra I concepts and skills that students…

The applications of a higher-dimensional Lie algebra and its decomposed subalgebras

PubMed Central

Yu, Zhang; Zhang, Yufeng

2009-01-01

With the help of invertible linear transformations and the known Lie algebras, a higher-dimensional 6 × 6 matrix Lie algebra sμ(6) is constructed. It follows a type of new loop algebra is presented. By using a (2 + 1)-dimensional partial-differential equation hierarchy we obtain the integrable coupling of the (2 + 1)-dimensional KN integrable hierarchy, then its corresponding Hamiltonian structure is worked out by employing the quadratic-form identity. Furthermore, a higher-dimensional Lie algebra denoted by E, is given by decomposing the Lie algebra sμ(6), then a discrete lattice integrable coupling system is produced. A remarkable feature of the Lie algebras sμ(6) and E is used to directly construct integrable couplings. PMID:20084092

The applications of a higher-dimensional Lie algebra and its decomposed subalgebras.

PubMed

Yu, Zhang; Zhang, Yufeng

2009-01-15

With the help of invertible linear transformations and the known Lie algebras, a higher-dimensional 6 x 6 matrix Lie algebra smu(6) is constructed. It follows a type of new loop algebra is presented. By using a (2 + 1)-dimensional partial-differential equation hierarchy we obtain the integrable coupling of the (2 + 1)-dimensional KN integrable hierarchy, then its corresponding Hamiltonian structure is worked out by employing the quadratic-form identity. Furthermore, a higher-dimensional Lie algebra denoted by E, is given by decomposing the Lie algebra smu(6), then a discrete lattice integrable coupling system is produced. A remarkable feature of the Lie algebras smu(6) and E is used to directly construct integrable couplings.

Schwarz maps of algebraic linear ordinary differential equations

NASA Astrophysics Data System (ADS)

Sanabria Malagón, Camilo

2017-12-01

A linear ordinary differential equation is called algebraic if all its solution are algebraic over its field of definition. In this paper we solve the problem of finding closed form solution to algebraic linear ordinary differential equations in terms of standard equations. Furthermore, we obtain a method to compute all algebraic linear ordinary differential equations with rational coefficients by studying their associated Schwarz map through the Picard-Vessiot Theory.

An algebraic algorithm for nonuniformity correction in focal-plane arrays.

PubMed

Ratliff, Bradley M; Hayat, Majeed M; Hardie, Russell C

2002-09-01

A scene-based algorithm is developed to compensate for bias nonuniformity in focal-plane arrays. Nonuniformity can be extremely problematic, especially for mid- to far-infrared imaging systems. The technique is based on use of estimates of interframe subpixel shifts in an image sequence, in conjunction with a linear-interpolation model for the motion, to extract information on the bias nonuniformity algebraically. The performance of the proposed algorithm is analyzed by using real infrared and simulated data. One advantage of this technique is its simplicity; it requires relatively few frames to generate an effective correction matrix, thereby permitting the execution of frequent on-the-fly nonuniformity correction as drift occurs. Additionally, the performance is shown to exhibit considerable robustness with respect to lack of the common types of temporal and spatial irradiance diversity that are typically required by statistical scene-based nonuniformity correction techniques.

SYVA: A program to analyze symmetry of molecules based on vector algebra

NASA Astrophysics Data System (ADS)

Gyevi-Nagy, László; Tasi, Gyula

2017-06-01

Symmetry is a useful concept in physics and chemistry. It can be used to find out some simple properties of a molecule or simplify complex calculations. In this paper a simple vector algebraic method is described to determine all symmetry elements of an arbitrary molecule. To carry out the symmetry analysis, a program has been written, which is also capable of generating the framework group of the molecule, revealing the symmetry properties of normal modes of vibration and symmetrizing the structure. To demonstrate the capabilities of the program, it is compared to other common widely used stand-alone symmetry analyzer (SYMMOL, Symmetrizer) and molecular modeling (NWChem, ORCA, MRCC) software. SYVA can generate input files for molecular modeling programs, e.g. Gaussian, using precisely symmetrized molecular structures. Possible applications are also demonstrated by integrating SYVA with the GAMESS and MRCC software.

On the falsifiability of matching theory.

PubMed Central

McDowell, J J

1986-01-01

Herrnstein's matching theory requires the parameter, k, which appears in the single-alternative form of the matching equation, to remain invariant with respect to changes in reinforcement parameters like magnitude or immediacy. Recent experiments have disconfirmed matching theory by showing that the invariant-k requirement does not hold. However, the theory can be asserted in a purely algebraic form that does not require an invariant k and that is not disconfirmed by the recent findings. In addition, both the original and the purely algebraic versions of matching theory can be asserted in forms that allow for commonly observed deviations from matching (bias, undermatching, and overmatching). The recent finding of a variable k does not disconfirm these versions of matching theory either. As a consequence, matching remains a viable theory of behavior, the strength of which lies in its general conceptualization of all behavior as choice, and in its unified mathematical treatment of single- and multialternative environments. PMID:3950535

Difficulties in initial algebra learning in Indonesia

NASA Astrophysics Data System (ADS)

Jupri, Al; Drijvers, Paul; van den Heuvel-Panhuizen, Marja

2014-12-01

Within mathematics curricula, algebra has been widely recognized as one of the most difficult topics, which leads to learning difficulties worldwide. In Indonesia, algebra performance is an important issue. In the Trends in International Mathematics and Science Study (TIMSS) 2007, Indonesian students' achievement in the algebra domain was significantly below the average student performance in other Southeast Asian countries such as Thailand, Malaysia, and Singapore. This fact gave rise to this study which aims to investigate Indonesian students' difficulties in algebra. In order to do so, a literature study was carried out on students' difficulties in initial algebra. Next, an individual written test on algebra tasks was administered, followed by interviews. A sample of 51 grade VII Indonesian students worked the written test, and 37 of them were interviewed afterwards. Data analysis revealed that mathematization, i.e., the ability to translate back and forth between the world of the problem situation and the world of mathematics and to reorganize the mathematical system itself, constituted the most frequently observed difficulty in both the written test and the interview data. Other observed difficulties concerned understanding algebraic expressions, applying arithmetic operations in numerical and algebraic expressions, understanding the different meanings of the equal sign, and understanding variables. The consequences of these findings on both task design and further research in algebra education are discussed.

A systematic examination of a random sampling strategy for source apportionment calculations.

PubMed

Andersson, August

2011-12-15

Estimating the relative contributions from multiple potential sources of a specific component in a mixed environmental matrix is a general challenge in diverse fields such as atmospheric, environmental and earth sciences. Perhaps the most common strategy for tackling such problems is by setting up a system of linear equations for the fractional influence of different sources. Even though an algebraic solution of this approach is possible for the common situation with N+1 sources and N source markers, such methodology introduces a bias, since it is implicitly assumed that the calculated fractions and the corresponding uncertainties are independent of the variability of the source distributions. Here, a random sampling (RS) strategy for accounting for such statistical bias is examined by investigating rationally designed synthetic data sets. This random sampling methodology is found to be robust and accurate with respect to reproducibility and predictability. This method is also compared to a numerical integration solution for a two-source situation where source variability also is included. A general observation from this examination is that the variability of the source profiles not only affects the calculated precision but also the mean/median source contributions. Copyright © 2011 Elsevier B.V. All rights reserved.

Algebraic special functions and SO(3,2)

DOE Office of Scientific and Technical Information (OSTI.GOV)

Celeghini, E., E-mail: celeghini@fi.infn.it; Olmo, M.A. del, E-mail: olmo@fta.uva.es

2013-06-15

A ladder structure of operators is presented for the associated Legendre polynomials and the sphericas harmonics. In both cases these operators belong to the irreducible representation of the Lie algebra so(3,2) with quadratic Casimir equals to −5/4. As both are also bases of square-integrable functions, the universal enveloping algebra of so(3,2) is thus shown to be homomorphic to the space of linear operators acting on the L{sup 2} functions defined on (−1,1)×Z and on the sphere S{sup 2}, respectively. The presence of a ladder structure is suggested to be the general condition to obtain a Lie algebra representation defining inmore » this way the “algebraic special functions” that are proposed to be the connection between Lie algebras and square-integrable functions so that the space of linear operators on the L{sup 2} functions is homomorphic to the universal enveloping algebra. The passage to the group, by means of the exponential map, shows that the associated Legendre polynomials and the spherical harmonics support the corresponding unitary irreducible representation of the group SO(3,2). -- Highlights: •The algebraic ladder structure is constructed for the associated Legendre polynomials (ALP). •ALP and spherical harmonics support a unitary irreducible SO(3,2)-representation. •A ladder structure is the condition to get a Lie group representation defining “algebraic special functions”. •The “algebraic special functions” connect Lie algebras and L{sup 2} functions.« less

Locally Compact Quantum Groups. A von Neumann Algebra Approach

NASA Astrophysics Data System (ADS)

Van Daele, Alfons

2014-08-01

In this paper, we give an alternative approach to the theory of locally compact quantum groups, as developed by Kustermans and Vaes. We start with a von Neumann algebra and a comultiplication on this von Neumann algebra. We assume that there exist faithful left and right Haar weights. Then we develop the theory within this von Neumann algebra setting. In [Math. Scand. 92 (2003), 68-92] locally compact quantum groups are also studied in the von Neumann algebraic context. This approach is independent of the original C^*-algebraic approach in the sense that the earlier results are not used. However, this paper is not really independent because for many proofs, the reader is referred to the original paper where the C^*-version is developed. In this paper, we give a completely self-contained approach. Moreover, at various points, we do things differently. We have a different treatment of the antipode. It is similar to the original treatment in [Ann. Sci. & #201;cole Norm. Sup. (4) 33 (2000), 837-934]. But together with the fact that we work in the von Neumann algebra framework, it allows us to use an idea from [Rev. Roumaine Math. Pures Appl. 21 (1976), 1411-1449] to obtain the uniqueness of the Haar weights in an early stage. We take advantage of this fact when deriving the other main results in the theory. We also give a slightly different approach to duality. Finally, we collect, in a systematic way, several important formulas. In an appendix, we indicate very briefly how the C^*-approach and the von Neumann algebra approach eventually yield the same objects. The passage from the von Neumann algebra setting to the C^*-algebra setting is more or less standard. For the other direction, we use a new method. It is based on the observation that the Haar weights on the C^*-algebra extend to weights on the double dual with central support and that all these supports are the same. Of course, we get the von Neumann algebra by cutting down the double dual with this unique support projection in the center. All together, we see that there are many advantages when we develop the theory of locally compact quantum groups in the von Neumann algebra framework, rather than in the C^*-algebra framework. It is not only simpler, the theory of weights on von Neumann algebras is better known and one needs very little to go from the C^*-algebras to the von Neumann algebras. Moreover, in many cases when constructing examples, the von Neumann algebra with the coproduct is constructed from the very beginning and the Haar weights are constructed as weights on this von Neumann algebra (using left Hilbert algebra theory). This paper is written in a concise way. In many cases, only indications for the proofs of the results are given. This information should be enough to see that these results are correct. We will give more details in forthcoming paper, which will be expository, aimed at non-specialists. See also [Bull. Kerala Math. Assoc. (2005), 153-177] for an 'expanded' version of the appendix.

Algebraic theory of molecules

NASA Technical Reports Server (NTRS)

Iachello, Franco

1995-01-01

An algebraic formulation of quantum mechanics is presented. In this formulation, operators of interest are expanded onto elements of an algebra, G. For bound state problems in nu dimensions the algebra G is taken to be U(nu + 1). Applications to the structure of molecules are presented.

FRT presentation of the Onsager algebras

NASA Astrophysics Data System (ADS)

Baseilhac, Pascal; Belliard, Samuel; Crampé, Nicolas

2018-03-01

A presentation à la Faddeev-Reshetikhin-Takhtajan (FRT) of the Onsager, augmented Onsager and sl_2 -invariant Onsager algebras is given, using the framework of the nonstandard classical Yang-Baxter algebras. Associated current algebras are identified, and generating functions of mutually commuting quantities are obtained.

The BMS4 algebra at spatial infinity

NASA Astrophysics Data System (ADS)

Troessaert, Cédric

2018-04-01

We show how a global BMS4 algebra appears as part of the asymptotic symmetry algebra at spatial infinity. Using linearised theory, we then show that this global BMS4 algebra is the one introduced by Strominger as a symmetry of the S-matrix.

The conceptual basis of mathematics in cardiology: (I) algebra, functions and graphs.

PubMed

Bates, Jason H T; Sobel, Burton E

2003-02-01

This is the first in a series of four articles developed for the readers of. Without language ideas cannot be articulated. What may not be so immediately obvious is that they cannot be formulated either. One of the essential languages of cardiology is mathematics. Unfortunately, medical education does not emphasize, and in fact, often neglects empowering physicians to think mathematically. Reference to statistics, conditional probability, multicompartmental modeling, algebra, calculus and transforms is common but often without provision of genuine conceptual understanding. At the University of Vermont College of Medicine, Professor Bates developed a course designed to address these deficiencies. The course covered mathematical principles pertinent to clinical cardiovascular and pulmonary medicine and research. It focused on fundamental concepts to facilitate formulation and grasp of ideas. This series of four articles was developed to make the material available for a wider audience. The articles will be published sequentially in Coronary Artery Disease. Beginning with fundamental axioms and basic algebraic manipulations they address algebra, function and graph theory, real and complex numbers, calculus and differential equations, mathematical modeling, linear system theory and integral transforms and statistical theory. The principles and concepts they address provide the foundation needed for in-depth study of any of these topics. Perhaps of even more importance, they should empower cardiologists and cardiovascular researchers to utilize the language of mathematics in assessing the phenomena of immediate pertinence to diagnosis, pathophysiology and therapeutics. The presentations are interposed with queries (by Coronary Artery Disease, abbreviated as CAD) simulating the nature of interactions that occurred during the course itself. Each article concludes with one or more examples illustrating application of the concepts covered to cardiovascular medicine and biology.

Selected computations of transonic cavity flows

NASA Technical Reports Server (NTRS)

Atwood, Christopher A.

1993-01-01

An efficient diagonal scheme implemented in an overset mesh framework has permitted the analysis of geometrically complex cavity flows via the Reynolds averaged Navier-Stokes equations. Use of rapid hyperbolic and algebraic grid methods has allowed simple specification of critical turbulent regions with an algebraic turbulence model. Comparisons between numerical and experimental results are made in two dimensions for the following problems: a backward-facing step; a resonating cavity; and two quieted cavity configurations. In three-dimensions the flow about three early concepts of the stratospheric Observatory For Infrared Astronomy (SOFIA) are compared to wind-tunnel data. Shedding frequencies of resolved shear layer structures are compared against experiment for the quieted cavities. The results demonstrate the progress of computational assessment of configuration safety and performance.

Connes' embedding problem and Tsirelson's problem

DOE Office of Scientific and Technical Information (OSTI.GOV)

Junge, M.; Palazuelos, C.; Navascues, M.

2011-01-15

We show that Tsirelson's problem concerning the set of quantum correlations and Connes' embedding problem on finite approximations in von Neumann algebras (known to be equivalent to Kirchberg's QWEP conjecture) are essentially equivalent. Specifically, Tsirelson's problem asks whether the set of bipartite quantum correlations generated between tensor product separated systems is the same as the set of correlations between commuting C{sup *}-algebras. Connes' embedding problem asks whether any separable II{sub 1} factor is a subfactor of the ultrapower of the hyperfinite II{sub 1} factor. We show that an affirmative answer to Connes' question implies a positive answer to Tsirelson's. Conversely,more » a positive answer to a matrix valued version of Tsirelson's problem implies a positive one to Connes' problem.« less

Combining Automated Theorem Provers with Symbolic Algebraic Systems: Position Paper

NASA Technical Reports Server (NTRS)

Schumann, Johann; Koga, Dennis (Technical Monitor)

1999-01-01

In contrast to pure mathematical applications where automated theorem provers (ATPs) are quite capable, proof tasks arising form real-world applications from the area of Software Engineering show quite different characteristics: they usually do not only contain much arithmetic (albeit often quite simple one), but they also often contain reasoning about specific structures (e.g. graphics, sets). Thus, an ATP must be capable of performing reasoning together with a fair amount of simplification, calculation and solving. Therefore, powerful simplifiers and other (symbolic and semi-symbolic) algorithms seem to be ideally suited to augment ATPs. In the following we shortly describe two major points of interest in combining SASs (symbolic algebraic systems) with top-down automated theorem provers (here: SETHEO [Let92, GLMS94]).

The Implementation and Effects of the Mathematics Design Collaborative (MDC): Early Findings from Kentucky Ninth-Grade Algebra 1 Courses. CRESST Report 845

ERIC Educational Resources Information Center

Herman, Joan L.; Matrundola, Deborah La Torre; Epstein, Scott; Leon, Seth; Dai, Yunyun; Reber, Sarah; Choi, Kilchan

2015-01-01

With support from the Bill and Melinda Gates Foundation, researchers and experts in mathematics education developed the Mathematics Design Collaborative (MDC) as a strategy to support the transition to Common Core State Standards in math. MDC provides short formative assessment lessons known as Classroom Challenges for use in middle and high…

The Kadison–Singer Problem in mathematics and engineering

PubMed Central

Casazza, Peter G.; Tremain, Janet Crandell

2006-01-01

We will see that the famous intractible 1959 Kadison–Singer Problem in C*-algebras is equivalent to fundamental open problems in a dozen different areas of research in mathematics and engineering. This work gives all these areas common ground on which to interact as well as explaining why each area has volumes of literature on their respective problems without a satisfactory resolution. PMID:16461465

Pyomo v5.0

DOE Office of Scientific and Technical Information (OSTI.GOV)

Woodruff, David; Hackebeil, Gabe; Laird, Carl Damon

Pyomo supports the formulation and analysis of mathematical models for complex optimization applications. This capability is commonly associated with algebraic modeling languages (AMLs), which support the description and analysis of mathematical models with a high-level language. Although most AMLs are implemented in custom modeling languages, Pyomo's modeling objects are embedded within Python, a full- featured high-level programming language that contains a rich set of supporting libraries.

Discovery and Optimization of Low-Storage Runge-Kutta Methods

DTIC Science & Technology

2015-06-01

NAVAL POSTGRADUATE SCHOOL MONTEREY, CALIFORNIA THESIS DISCOVERY AND OPTIMIZATION OF LOW-STORAGE RUNGE-KUTTA METHODS by Matthew T. Fletcher June 2015... methods are an important family of iterative methods for approximating the solutions of ordinary differential equations (ODEs) and differential...algebraic equations (DAEs). It is common to use an RK method to discretize in time when solving time dependent partial differential equations (PDEs) with a

Extended Decentralized Linear-Quadratic-Gaussian Control

NASA Technical Reports Server (NTRS)

Carpenter, J. Russell

2000-01-01

A straightforward extension of a solution to the decentralized linear-Quadratic-Gaussian problem is proposed that allows its use for commonly encountered classes of problems that are currently solved with the extended Kalman filter. This extension allows the system to be partitioned in such a way as to exclude the nonlinearities from the essential algebraic relationships that allow the estimation and control to be optimally decentralized.

Post-Lie algebras and factorization theorems

NASA Astrophysics Data System (ADS)

Ebrahimi-Fard, Kurusch; Mencattini, Igor; Munthe-Kaas, Hans

2017-09-01

In this note we further explore the properties of universal enveloping algebras associated to a post-Lie algebra. Emphasizing the role of the Magnus expansion, we analyze the properties of group like-elements belonging to (suitable completions of) those Hopf algebras. Of particular interest is the case of post-Lie algebras defined in terms of solutions of modified classical Yang-Baxter equations. In this setting we will study factorization properties of the aforementioned group-like elements.

Comparison of the Effectiveness of a Traditional Intermediate Algebra Course With That of a Less Rigorous Intermediate Algebra Course in Preparing Students for Success in a Subsequent Mathematics Course

ERIC Educational Resources Information Center

Sworder, Steven C.

2007-01-01

An experimental two-track intermediate algebra course was offered at Saddleback College, Mission Viejo, CA, between the Fall, 2002 and Fall, 2005 semesters. One track was modeled after the existing traditional California community college intermediate algebra course and the other track was a less rigorous intermediate algebra course in which the…

Hom Gel'fand-Dorfman bialgebras and Hom-Lie conformal algebras

DOE Office of Scientific and Technical Information (OSTI.GOV)

Yuan, Lamei, E-mail: lmyuan@hit.edu.cn

2014-04-15

The aim of this paper is to introduce the notions of Hom Gel'fand-Dorfman bialgebra and Hom-Lie conformal algebra. In this paper, we give four constructions of Hom Gel'fand-Dorfman bialgebras. Also, we provide a general construction of Hom-Lie conformal algebras from Hom-Lie algebras. Finally, we prove that a Hom Gel'fand-Dorfman bialgebra is equivalent to a Hom-Lie conformal algebra of degree 2.

Internally connected graphs and the Kashiwara-Vergne Lie algebra

NASA Astrophysics Data System (ADS)

Felder, Matteo

2018-06-01

It is conjectured that the Kashiwara-Vergne Lie algebra \\widehat{krv}_2 is isomorphic to the direct sum of the Grothendieck-Teichmüller Lie algebra grt_1 and a one-dimensional Lie algebra. In this paper, we use the graph complex of internally connected graphs to define a nested sequence of Lie subalgebras of \\widehat{krv}_2 whose intersection is grt_1, thus giving a way to interpolate between these two Lie algebras.

Discrimination in a General Algebraic Setting

PubMed Central

Fine, Benjamin; Lipschutz, Seymour; Spellman, Dennis

2015-01-01

Discriminating groups were introduced by G. Baumslag, A. Myasnikov, and V. Remeslennikov as an outgrowth of their theory of algebraic geometry over groups. Algebraic geometry over groups became the main method of attack on the solution of the celebrated Tarski conjectures. In this paper we explore the notion of discrimination in a general universal algebra context. As an application we provide a different proof of a theorem of Malcev on axiomatic classes of Ω-algebras. PMID:26171421

Generalized derivation extensions of 3-Lie algebras and corresponding Nambu-Poisson structures

NASA Astrophysics Data System (ADS)

Song, Lina; Jiang, Jun

2018-01-01

In this paper, we introduce the notion of a generalized derivation on a 3-Lie algebra. We construct a new 3-Lie algebra using a generalized derivation and call it the generalized derivation extension. We show that the corresponding Leibniz algebra on the space of fundamental objects is the double of a matched pair of Leibniz algebras. We also determine the corresponding Nambu-Poisson structures under some conditions.

On Maximal Subalgebras and the Hypercentre of Lie Algebras.

ERIC Educational Resources Information Center

Honda, Masanobu

1997-01-01

Derives two sufficient conditions for a finitely generated Lie algebra to have the nilpotent hypercenter. Presents a relatively large class of generalized soluble Lie algebras. Proves that if a finitely generated Lie algebra has a nilpotent maximal subalgebra, the Fitting radical is nilpotent. (DDR)

An algebra of reversible computation.

PubMed

Wang, Yong

2016-01-01

We design an axiomatization for reversible computation called reversible ACP (RACP). It has four extendible modules: basic reversible processes algebra, algebra of reversible communicating processes, recursion and abstraction. Just like process algebra ACP in classical computing, RACP can be treated as an axiomatization foundation for reversible computation.

On Weak-BCC-Algebras

PubMed Central

Thomys, Janus; Zhang, Xiaohong

2013-01-01

We describe weak-BCC-algebras (also called BZ-algebras) in which the condition (x∗y)∗z = (x∗z)∗y is satisfied only in the case when elements x, y belong to the same branch. We also characterize ideals, nilradicals, and nilpotent elements of such algebras. PMID:24311983

Macdonald index and chiral algebra

NASA Astrophysics Data System (ADS)

Song, Jaewon

2017-08-01

For any 4d N = 2 SCFT, there is a subsector described by a 2d chiral algebra. The vacuum character of the chiral algebra reproduces the Schur index of the corresponding 4d theory. The Macdonald index counts the same set of operators as the Schur index, but the former has one more fugacity than the latter. We conjecture a prescription to obtain the Macdonald index from the chiral algebra. The vacuum module admits a filtration, from which we construct an associated graded vector space. From this grading, we conjecture a notion of refined character for the vacuum module of a chiral algebra, which reproduces the Macdonald index. We test this prescription for the Argyres-Douglas theories of type ( A 1 , A 2 n ) and ( A 1 , D 2 n+1) where the chiral algebras are given by Virasoro and \\widehat{su}(2) affine Kac-Moody algebra. When the chiral algebra has more than one family of generators, our prescription requires a knowledge of the generators from the 4d.

Macdonald index and chiral algebra

DOE Office of Scientific and Technical Information (OSTI.GOV)

Song, Jaewon

For any 4dN = 2 SCFT, there is a subsector described by a 2d chiral algebra. The vacuum character of the chiral algebra reproduces the Schur index of the corresponding 4d theory. The Macdonald index counts the same set of operators as the Schur index, but the former has one more fugacity than the latter. Here, we conjecture a prescription to obtain the Macdonald index from the chiral algebra. The vacuum module admits a filtration, from which we construct an associated graded vector space. From this grading, we conjecture a notion of refined character for the vacuum module of a chiral algebra, which reproduces the Macdonald index. We test this prescription for the Argyres-Douglas theories of type (A 1, A 2n) and (A 1, D 2n+1) where the chiral algebras are given by Virasoro andmore » $$ˆ\\atop{su}$$(2) affine Kac-Moody algebra. When the chiral algebra has more than one family of generators, our prescription requires a knowledge of the generators from the 4d.« less

Macdonald index and chiral algebra

DOE PAGES

Song, Jaewon

2017-08-10

For any 4dN = 2 SCFT, there is a subsector described by a 2d chiral algebra. The vacuum character of the chiral algebra reproduces the Schur index of the corresponding 4d theory. The Macdonald index counts the same set of operators as the Schur index, but the former has one more fugacity than the latter. Here, we conjecture a prescription to obtain the Macdonald index from the chiral algebra. The vacuum module admits a filtration, from which we construct an associated graded vector space. From this grading, we conjecture a notion of refined character for the vacuum module of a chiral algebra, which reproduces the Macdonald index. We test this prescription for the Argyres-Douglas theories of type (A 1, A 2n) and (A 1, D 2n+1) where the chiral algebras are given by Virasoro andmore » $$ˆ\\atop{su}$$(2) affine Kac-Moody algebra. When the chiral algebra has more than one family of generators, our prescription requires a knowledge of the generators from the 4d.« less

Line defect Schur indices, Verlinde algebras and U(1) r fixed points

NASA Astrophysics Data System (ADS)

Neitzke, Andrew; Yan, Fei

2017-11-01

Given an N=2 superconformal field theory, we reconsider the Schur index ℐ L ( q) in the presence of a half line defect L. Recently Cordova-Gaiotto-Shao found that ℐ L ( q) admits an expansion in terms of characters of the chiral algebra A introduced by Beem et al., with simple coefficients υ L, β ( q). We report a puzzling new feature of this expansion: the q → 1 limit of the coefficients υ L, β ( q) is linearly related to the vacuum expectation values 〈 L〉 in U(1) r -invariant vacua of the theory compactified on S 1. This relation can be expressed algebraically as a commutative diagram involving three algebras: the algebra generated by line defects, the algebra of functions on U(1) r -invariant vacua, and a Verlindelike algebra associated to A . Our evidence is experimental, by direct computation in the Argyres-Douglas theories of type ( A 1, A 2), ( A 1, A 4), ( A 1, A 6), ( A 1, D 3) and ( A 1, D 5). In the latter two theories, which have flavor symmetries, the Verlinde-like algebra which appears is a new deformation of algebras previously considered.

Two Essays in Economic Education

ERIC Educational Resources Information Center

Evans, Brent A.

2013-01-01

Prior researchers (Anderson et al. 1994; Ballard & Johnson 2004; Hoag & Benedict 2010) have shown that different math abilities do not equally correlate with success in economics, yet no research has specifically compared algebra and geometry skills as predictors of economics success. In the first essay, I find that students' standardized…

Incorporating Writing in an Integrated Calculus, Linear Algebra, and Differential Equations Sequence.

ERIC Educational Resources Information Center

Kelly, Susan E.; LeDocq, Rebecca Lewin

2001-01-01

Describes the specific courses in a sequence along with how the writing has been implemented in each course. Provides ideas for how to efficiently handle the additional paper load so students receive the necessary feedback while keeping the grading time reasonable. (Author/ASK)

Institute for Defense Analysis. Annual Report 1995.

DTIC Science & Technology

1995-01-01

staff have been involved in the community-wide development of MPI as well as in its application to specific NSA problems. 35 Parallel Groebner ...Basis Code — Symbolic Computing on Parallel Machines The Groebner basis method is a set of algorithms for reformulating very complex algebraic expres

Constraint-Referenced Analytics of Algebra Learning

ERIC Educational Resources Information Center

Sutherland, Scot M.; White, Tobin F.

2016-01-01

The development of the constraint-referenced analytics tool for monitoring algebra learning activities presented here came from the desire to firstly, take a more quantitative look at student responses in collaborative algebra activities, and secondly, to situate those activities in a more traditional introductory algebra setting focusing on…

Teaching Strategies to Improve Algebra Learning

ERIC Educational Resources Information Center

Zbiek, Rose Mary; Larson, Matthew R.

2015-01-01

Improving student learning is the primary goal of every teacher of algebra. Teachers seek strategies to help all students learn important algebra content and develop mathematical practices. The new Institute of Education Sciences[IES] practice guide, "Teaching Strategies for Improving Algebra Knowledge in Middle and High School Students"…

Preparing Elementary Prospective Teachers to Teach Early Algebra

ERIC Educational Resources Information Center

Hohensee, Charles

2017-01-01

Researchers have argued that integrating early algebra into elementary grades will better prepare students for algebra. However, currently little research exists to guide teacher preparation programs on how to prepare prospective elementary teachers to teach early algebra. This study examines the insights and challenges that prospective teachers…

Difficulties in Initial Algebra Learning in Indonesia

ERIC Educational Resources Information Center

Jupri, Al; Drijvers, Paul; van den Heuvel-Panhuizen, Marja

2014-01-01

Within mathematics curricula, algebra has been widely recognized as one of the most difficult topics, which leads to learning difficulties worldwide. In Indonesia, algebra performance is an important issue. In the Trends in International Mathematics and Science Study (TIMSS) 2007, Indonesian students' achievement in the algebra domain was…

Visual Salience of Algebraic Transformations

ERIC Educational Resources Information Center

Kirshner, David; Awtry, Thomas

2004-01-01

Information processing researchers have assumed that algebra symbol skills depend on mastery of the abstract rules presented in the curriculum (Matz, 1980; Sleeman, 1986). Thus, students' ubiquitous algebra errors have been taken as indicating the need to embed algebra in rich contextual settings (Kaput, 1995; National Council of Teachers of…

Quantum walled Brauer algebra: commuting families, Baxterization, and representations

NASA Astrophysics Data System (ADS)

Semikhatov, A. M.; Tipunin, I. Yu

2017-02-01

For the quantum walled Brauer algebra, we construct its Specht modules and (for generic parameters of the algebra) seminormal modules. The latter construction yields the spectrum of a commuting family of Jucys-Murphy elements. We also propose a Baxterization prescription; it involves representing the quantum walled Brauer algebra in terms of morphisms in a braided monoidal category and introducing parameters into these morphisms, which allows constructing a ‘universal transfer matrix’ that generates commuting elements of the algebra.

Abstract Numeric Relations and the Visual Structure of Algebra

ERIC Educational Resources Information Center

Landy, David; Brookes, David; Smout, Ryan

2014-01-01

Formal algebras are among the most powerful and general mechanisms for expressing quantitative relational statements; yet, even university engineering students, who are relatively proficient with algebraic manipulation, struggle with and often fail to correctly deploy basic aspects of algebraic notation (Clement, 1982). In the cognitive tradition,…

Classical versus Computer Algebra Methods in Elementary Geometry

ERIC Educational Resources Information Center

Pech, Pavel

2005-01-01

Computer algebra methods based on results of commutative algebra like Groebner bases of ideals and elimination of variables make it possible to solve complex, elementary and non elementary problems of geometry, which are difficult to solve using a classical approach. Computer algebra methods permit the proof of geometric theorems, automatic…

UCSMP Algebra. What Works Clearinghouse Intervention Report

ERIC Educational Resources Information Center

What Works Clearinghouse, 2007

2007-01-01

"University of Chicago School Mathematics Project (UCSMP) Algebra," designed to increase students' skills in algebra, is appropriate for students in grades 7-10, depending on the students' incoming knowledge. This one-year course highlights applications, uses statistics and geometry to develop the algebra of linear equations and inequalities, and…

Teacher Actions to Facilitate Early Algebraic Reasoning

ERIC Educational Resources Information Center

Hunter, Jodie

2015-01-01

In recent years there has been an increased emphasis on integrating the teaching of arithmetic and algebra in primary school classrooms. This requires teachers to develop links between arithmetic and algebra and use pedagogical actions that facilitate algebraic reasoning. Drawing on findings from a classroom-based study, this paper provides an…

Abstract Algebra to Secondary School Algebra: Building Bridges

ERIC Educational Resources Information Center

Christy, Donna; Sparks, Rebecca

2015-01-01

The authors have experience with secondary mathematics teacher candidates struggling to make connections between the theoretical abstract algebra course they take as college students and the algebra they will be teaching in secondary schools. As a mathematician and a mathematics educator, the authors collaborated to create and implement a…

A Proposed Algebra Assessment for Use in a Problem-Analysis Framework

ERIC Educational Resources Information Center

Walick, Christopher M.; Burns, Matthew K.

2017-01-01

Algebra is critical to high school graduation and college success, but student achievement in algebra frequently falls significantly below expected proficiency levels. While existing research emphasizes the importance of quality algebra instruction, there is little research about how to conduct problem analysis for struggling secondary students.…

Assessing Mathematics Automatically Using Computer Algebra and the Internet

ERIC Educational Resources Information Center

Sangwin, Chris

2004-01-01

This paper reports some recent developments in mathematical computer-aided assessment which employs computer algebra to evaluate students' work using the Internet. Technical and educational issues raised by this use of computer algebra are addressed. Working examples from core calculus and algebra which have been used with first year university…

Matematica Para La Escuela Secundaria, Primer Curso de Algebra (Parte 1). Traduccion Preliminar de la Edicion Inglesa Revisada. (Mathematics for High School, First Course in Algebra, Part 1. Preliminary Translation of the Revised English Edition).

ERIC Educational Resources Information Center

Allen, Frank B.; And Others

This is the student text for part one of a three-part SMSG algebra course for high school students. The principal objective of the text is to help the student develop an understanding and appreciation of some of the algebraic structure as a basis for the techniques of algebra. Chapter topics include congruence; numbers and variables; operations;…

Matematica Para La Escuela Secundaria, Primer Curso de Algebra (Parte 1), Comentario. Traduccion Preliminar de la Edicion en Ingles Revisada. (Mathematics for High School, First Course in Algebra, Part 1, Teacher's Commentary. Translation of the Revised English Edition).

ERIC Educational Resources Information Center

Allen, Frank B.; And Others

This is the teacher's commentary for part one of a three-part SMSG algebra text for high school students. The principal objective of the text is to help the student develop an understanding and appreciation of some of the algebraic structure as a basis for the techniques of algebra. Chapter topics include congruence; numbers and variables;…

Matematica Para La Escuela Secundaria, Primer Curso de Algebra (Parte 2). Traduccion Preliminar de la Edicion Inglesa Revisada. (Mathematics for High School, First Course in Algebra, Part 2. Preliminary Translation of the Revised English Edition).

ERIC Educational Resources Information Center

Allen, Frank B.; And Others

This is part two of a three-part SMSG algebra text for high school students. The principal objective of the text is to help the student develop an understanding and appreciation of some of the algebraic structure as a basis for the techniques of algebra. Chapter topics include addition and multiplication of real numbers, subtraction and division…

Quiver W-algebras

NASA Astrophysics Data System (ADS)

Kimura, Taro; Pestun, Vasily

2018-06-01

For a quiver with weighted arrows, we define gauge-theory K-theoretic W-algebra generalizing the definition of Shiraishi et al. and Frenkel and Reshetikhin. In particular, we show that the qq-character construction of gauge theory presented by Nekrasov is isomorphic to the definition of the W-algebra in the operator formalism as a commutant of screening charges in the free field representation. Besides, we allow arbitrary quiver and expect interesting applications to representation theory of generalized Borcherds-Kac-Moody Lie algebras, their quantum affinizations and associated W-algebras.

An Algebraic Formulation of Level One Wess-Zumino Models

NASA Astrophysics Data System (ADS)

Böckenhauer, Jens

The highest weight modules of the chiral algebra of orthogonal WZW models at level one possess a realization in fermionic representation spaces; the Kac-Moody and Virasoro generators are represented as unbounded limits of even CAR algebras. It is shown that the representation theory of the underlying even CAR algebras reproduces precisely the sectors of the chiral algebra. This fact allows to develop a theory of local von Neumann algebras on the punctured circle, fitting nicely in the Doplicher-Haag-Roberts framework. The relevant localized endomorphisms which generate the charged sectors are explicitly constructed by means of Bogoliubov transformations. Using CAR theory, the fusion rules in terms of sector equivalence classes are proven.

The Chess and Mathematics Connection: More than Just a Game

ERIC Educational Resources Information Center

Berkman, Robert M.

2004-01-01

This article describes connections between chess and mathematics, including examples of activities that connect chess with set theory, patterns, algebra, geometry, combinatorics, and Pascal's triangle. The author observes that competitive games play a dual purpose in advancing the work of mathematics educators: to reinforce a specific skill and to…

Elliptic Curve Cryptography with Java

ERIC Educational Resources Information Center

Klima, Richard E.; Sigmon, Neil P.

2005-01-01

The use of the computer, and specifically the mathematics software package Maple, has played a central role in the authors' abstract algebra course because it provides their students with a way to see realistic examples of the topics they discuss without having to struggle with extensive computations. However, Maple does not provide the computer…

Computer Activities for College Algebra and Precalculus.

ERIC Educational Resources Information Center

White, Jacci Wozniak; Norwich, Vicki Howard

Mathematics software can be a great aid in understanding difficult mathematics concepts at all levels. This paper presents nine exercises on calculus concepts by using different software used in mathematics education. Each exercise includes instruction on how to use software in order to highlight a specific concept in mathematics. This paper also…

Intelligent Tutoring Systems and Learning Outcomes: A Meta-Analysis

ERIC Educational Resources Information Center

Ma, Wenting; Adesope, Olusola O.; Nesbit, John C.; Liu, Qing

2014-01-01

Intelligent Tutoring Systems (ITS) are computer programs that model learners' psychological states to provide individualized instruction. They have been developed for diverse subject areas (e.g., algebra, medicine, law, reading) to help learners acquire domain-specific, cognitive and metacognitive knowledge. A meta-analysis was conducted on…

Exploring Attitudes and Achievement of Web-Based Homework in Developmental Algebra

ERIC Educational Resources Information Center

Leong, Kwan Eu; Alexander, Nathan

2013-01-01

The purpose of this study was to understand how students' attitudes were connected to their mathematics learning. This investigation was specific to web-based homework in developmental courses in the community college environment. The mixed-methods approach was used to analyze the relationship between students' attitudes and mathematical…

Math for Electronics; Industrial Electronics 1: 9323.04.

ERIC Educational Resources Information Center

Dade County Public Schools, Miami, FL.

This curriculum guide is designed for the student interested in preparing for vocational electronics and related fields of electricity, emphasizing the mathematics necessary for an indepth study of electronics. Included in the course content are goals, specific block objectives, basic algebra, powers of 10, the slide rule, basic trigonometry…

On Correspondence of BRST-BFV, Dirac, and Refined Algebraic Quantizations of Constrained Systems

NASA Astrophysics Data System (ADS)

Shvedov, O. Yu.

2002-11-01

The correspondence between BRST-BFV, Dirac, and refined algebraic (group averaging, projection operator) approaches to quantizing constrained systems is analyzed. For the closed-algebra case, it is shown that the component of the BFV wave function corresponding to maximal (minimal) value of number of ghosts and antighosts in the Schrodinger representation may be viewed as a wave function in the refined algebraic (Dirac) quantization approach. The Giulini-Marolf group averaging formula for the inner product in the refined algebraic quantization approach is obtained from the Batalin-Marnelius prescription for the BRST-BFV inner product, which should be generally modified due to topological problems. The considered prescription for the correspondence of states is observed to be applicable to the open-algebra case. The refined algebraic quantization approach is generalized then to the case of nontrivial structure functions. A simple example is discussed. The correspondence of observables for different quantization methods is also investigated.

Toward the classification of differential calculi on κ-Minkowski space and related field theories

NASA Astrophysics Data System (ADS)

Jurić, Tajron; Meljanac, Stjepan; Pikutić, Danijel; Štrajn, Rina

2015-07-01

Classification of differential forms on κ-Minkowski space, particularly, the classification of all bicovariant differential calculi of classical dimension is presented. By imposing super-Jacobi identities we derive all possible differential algebras compatible with the κ-Minkowski algebra for time-like, space-like and light-like deformations. Embedding into the super-Heisenberg algebra is constructed using non-commutative (NC) coordinates and one-forms. Particularly, a class of differential calculi with an undeformed exterior derivative and one-forms is considered. Corresponding NC differential calculi are elaborated. Related class of new Drinfeld twists is proposed. It contains twist leading to κ-Poincaré Hopf algebra for light-like deformation. Corresponding super-algebra and deformed super-Hopf algebras, as well as the symmetries of differential algebras are presented and elaborated. Using the NC differential calculus, we analyze NC field theory, modified dispersion relations, and discuss further physical applications.

Eighth Grade Algebra Placement Policies: Promoting Equity, Achievement, and Access

ERIC Educational Resources Information Center

Wambsgans, Cynthia

2014-01-01

This study was an investigation of a standardized 8th grade Algebra I placement policy across multiple educational districts. Researchers have documented benefits of students' 8th grade Algebra I education, while others have detailed the consequences of algebra enrollment without necessary prerequisite skills. The purpose of this study was to…

Designing Virtual Worlds for Use in Mathematics Education: The Example of Experiential Algebra.

ERIC Educational Resources Information Center

Winn, William; Bricken, William

1992-01-01

Discussion of the use of virtual reality (VR) to help students learn highlights the use of VR with elementary algebra. Learning theory is examined, including knowledge construction; knowledge representation is discussed, including the symbol systems of algebra; and spatial algebra is described and illustrated. (34 references) (LRW)

Meanings Given to Algebraic Symbolism in Problem-Posing

ERIC Educational Resources Information Center

Cañadas, María C.; Molina, Marta; del Río, Aurora

2018-01-01

Some errors in the learning of algebra suggest that students might have difficulties giving meaning to algebraic symbolism. In this paper, we use problem posing to analyze the students' capacity to assign meaning to algebraic symbolism and the difficulties that students encounter in this process, depending on the characteristics of the algebraic…

Build an Early Foundation for Algebra Success

ERIC Educational Resources Information Center

Knuth, Eric; Stephens, Ana; Blanton, Maria; Gardiner, Angela

2016-01-01

Research tells us that success in algebra is a factor in many other important student outcomes. Emerging research also suggests that students who are started on an algebra curriculum in the earlier grades may have greater success in the subject in secondary school. What's needed is a consistent, algebra-infused mathematics curriculum all…

A Balancing Act: Making Sense of Algebra

ERIC Educational Resources Information Center

Gavin, M. Katherine; Sheffield, Linda Jensen

2015-01-01

For most students, algebra seems like a totally different subject than the number topics they studied in elementary school. In reality, the procedures followed in arithmetic are actually based on the properties and laws of algebra. Algebra should be a logical next step for students in extending the proficiencies they developed with number topics…

Unifying the Algebra for All Movement

ERIC Educational Resources Information Center

Eddy, Colleen M.; Quebec Fuentes, Sarah; Ward, Elizabeth K.; Parker, Yolanda A.; Cooper, Sandi; Jasper, William A.; Mallam, Winifred A.; Sorto, M. Alejandra; Wilkerson, Trena L.

2015-01-01

There exists an increased focus on school mathematics, especially first-year algebra, due to recent efforts for all students to be college and career ready. In addition, there are calls, policies, and legislation advocating for all students to study algebra epitomized by four rationales of the "Algebra for All" movement. In light of this…

A Meta-Analysis of Algebra Interventions for Learners with Disabilities and Struggling Learners

ERIC Educational Resources Information Center

Hughes, Elizabeth M.; Witzel, Bradley S.; Riccomini, Paul J.; Fries, Karen M.; Kanyongo, Gibbs Y.

2014-01-01

The need for global competence in mathematics is apparent. Algebra is considered a gateway course to prepare students for the demands of a competitive global market. Many students demonstrate low performance in algebra; this is especially true for students with disabilities. Effective algebra instruction is essential to increase algebra…

Effectiveness of Cognitive Tutor Algebra I at Scale

ERIC Educational Resources Information Center

Pane, John F.; Griffin, Beth Ann; McCaffrey, Daniel F.; Karam, Rita

2014-01-01

This article examines the effectiveness of a technology-based algebra curriculum in a wide variety of middle schools and high schools in seven states. Participating schools were matched into similar pairs and randomly assigned to either continue with the current algebra curriculum for 2 years or to adopt Cognitive Tutor Algebra I (CTAI), which…

Using Linguistics in the Teaching of Developmental and Remedial Algebra.

ERIC Educational Resources Information Center

Lesnak, Richard J.

Basic algebra at Robert Morris College (RMC) in Pittsburgh, Pennsylvania, is a remedial course for students with virtually no algebra background, and for students whose previous experiences with algebra have created math blocks and math anxiety. A study was conducted in an effort to measure quantitatively the benefits of using linguistic methods…

How Middle Grade Teachers Think about Algebraic Reasoning

ERIC Educational Resources Information Center

Glassmeyer, David; Edwards, Belinda

2016-01-01

Algebraic reasoning is an essential habit of mind for building conceptual knowledge in K-12 mathematics, yet little is known about how middle school mathematics teachers think about algebraic reasoning. In this article we describe a research project examining how algebraic reasoning was considered by grades 6, 7, or 8 mathematics teachers in a…

Assessing Elementary Algebra with STACK

ERIC Educational Resources Information Center

Sangwin, Christopher J.

2007-01-01

This paper concerns computer aided assessment (CAA) of mathematics in which a computer algebra system (CAS) is used to help assess students' responses to elementary algebra questions. Using a methodology of documentary analysis, we examine what is taught in elementary algebra. The STACK CAA system, http://www.stack.bham.ac.uk/, which uses the CAS…

Students’ Algebraic Reasonsing In Solving Mathematical Problems With Adversity Quotient

NASA Astrophysics Data System (ADS)

Aryani, F.; Amin, S. M.; Sulaiman, R.

2018-01-01

Algebraic reasoning is a process in which students generalize mathematical ideas from a set of particular instances and express them in increasingly formal and age-appropriate ways. Using problem solving approach to develop algebraic reasoning of mathematics may enhace the long-term learning trajectory of the majority students. The purpose of this research was to describe the algebraic reasoning of quitter, camper, and climber junior high school students in solving mathematical problems. This research used qualitative descriptive method. Subjects were determined by purposive sampling. The technique of collecting data was done by task-based interviews.The results showed that the algebraic reasoning of three students in the process of pattern seeking by identifying the things that are known and asked in a similar way. But three students found the elements of pattern recognition in different ways or method. So, they are generalize the problem of pattern formation with different ways. The study of algebraic reasoning and problem solving can be a learning paradigm in the improve students’ knowledge and skills in algebra work. The goal is to help students’ improve academic competence, develop algebraic reasoning in problem solving.

Asymptotic symmetries of Rindler space at the horizon and null infinity

DOE Office of Scientific and Technical Information (OSTI.GOV)

Chung, Hyeyoun

2010-08-15

We investigate the asymptotic symmetries of Rindler space at null infinity and at the event horizon using both systematic and ad hoc methods. We find that the approaches that yield infinite-dimensional asymptotic symmetry algebras in the case of anti-de Sitter and flat spaces only give a finite-dimensional algebra for Rindler space at null infinity. We calculate the charges corresponding to these symmetries and confirm that they are finite, conserved, and integrable, and that the algebra of charges gives a representation of the asymptotic symmetry algebra. We also use relaxed boundary conditions to find infinite-dimensional asymptotic symmetry algebras for Rindler spacemore » at null infinity and at the event horizon. We compute the charges corresponding to these symmetries and confirm that they are finite and integrable. We also determine sufficient conditions for the charges to be conserved on-shell, and for the charge algebra to give a representation of the asymptotic symmetry algebra. In all cases, we find that the central extension of the charge algebra is trivial.« less

The Dixmier Map for Nilpotent Super Lie Algebras

NASA Astrophysics Data System (ADS)

Herscovich, Estanislao

2012-07-01

In this article we prove that there exists a Dixmier map for nilpotent super Lie algebras. In other words, if we denote by {Prim({U}({g}))} the set of (graded) primitive ideals of the enveloping algebra {{U}({g})} of a nilpotent Lie superalgebra {{g}} and {{A}d0} the adjoint group of {{g}0}, we prove that the usual Dixmier map for nilpotent Lie algebras can be naturally extended to the context of nilpotent super Lie algebras, i.e. there exists a bijective map I : {g}0^{*}/{A}d0 rightarrow Prim({U}({g})) defined by sending the equivalence class [ λ] of a functional λ to a primitive ideal I( λ) of {{U}({g})}, and which coincides with the Dixmier map in the case of nilpotent Lie algebras. Moreover, the construction of the previous map is explicit, and more or less parallel to the one for Lie algebras, a major difference with a previous approach ( cf. [18]). One key fact in the construction is the existence of polarizations for super Lie algebras, generalizing the concept defined for Lie algebras. As a corollary of the previous description, we obtain the isomorphism {{U}({g})/I(λ) ˜eq Cliffq(k) ⊗ Ap(k)}, where {(p,q) = (dim({g}0/{g}0^{λ})/2,dim({g}1/{g}1^{λ}))}, we get a direct construction of the maximal ideals of the underlying algebra of {{U}({g})} and also some properties of the stabilizers of the primitive ideals of {{U}({g})}.

ADAM: analysis of discrete models of biological systems using computer algebra.

PubMed

Hinkelmann, Franziska; Brandon, Madison; Guang, Bonny; McNeill, Rustin; Blekherman, Grigoriy; Veliz-Cuba, Alan; Laubenbacher, Reinhard

2011-07-20

Many biological systems are modeled qualitatively with discrete models, such as probabilistic Boolean networks, logical models, Petri nets, and agent-based models, to gain a better understanding of them. The computational complexity to analyze the complete dynamics of these models grows exponentially in the number of variables, which impedes working with complex models. There exist software tools to analyze discrete models, but they either lack the algorithmic functionality to analyze complex models deterministically or they are inaccessible to many users as they require understanding the underlying algorithm and implementation, do not have a graphical user interface, or are hard to install. Efficient analysis methods that are accessible to modelers and easy to use are needed. We propose a method for efficiently identifying attractors and introduce the web-based tool Analysis of Dynamic Algebraic Models (ADAM), which provides this and other analysis methods for discrete models. ADAM converts several discrete model types automatically into polynomial dynamical systems and analyzes their dynamics using tools from computer algebra. Specifically, we propose a method to identify attractors of a discrete model that is equivalent to solving a system of polynomial equations, a long-studied problem in computer algebra. Based on extensive experimentation with both discrete models arising in systems biology and randomly generated networks, we found that the algebraic algorithms presented in this manuscript are fast for systems with the structure maintained by most biological systems, namely sparseness and robustness. For a large set of published complex discrete models, ADAM identified the attractors in less than one second. Discrete modeling techniques are a useful tool for analyzing complex biological systems and there is a need in the biological community for accessible efficient analysis tools. ADAM provides analysis methods based on mathematical algorithms as a web-based tool for several different input formats, and it makes analysis of complex models accessible to a larger community, as it is platform independent as a web-service and does not require understanding of the underlying mathematics.

Integrable systems with BMS3 Poisson structure and the dynamics of locally flat spacetimes

NASA Astrophysics Data System (ADS)

Fuentealba, Oscar; Matulich, Javier; Pérez, Alfredo; Pino, Miguel; Rodríguez, Pablo; Tempo, David; Troncoso, Ricardo

2018-01-01

We construct a hierarchy of integrable systems whose Poisson structure corresponds to the BMS3 algebra, and then discuss its description in terms of the Riemannian geometry of locally flat spacetimes in three dimensions. The analysis is performed in terms of two-dimensional gauge fields for isl(2,R) , being isomorphic to the Poincaré algebra in 3D. Although the algebra is not semisimple, the formulation can still be carried out à la Drinfeld-Sokolov because it admits a nondegenerate invariant bilinear metric. The hierarchy turns out to be bi-Hamiltonian, labeled by a nonnegative integer k, and defined through a suitable generalization of the Gelfand-Dikii polynomials. The symmetries of the hierarchy are explicitly found. For k ≥ 1, the corresponding conserved charges span an infinite-dimensional Abelian algebra without central extensions, so that they are in involution; while in the case of k = 0, they generate the BMS3 algebra. In the special case of k = 1, by virtue of a suitable field redefinition and time scaling, the field equations are shown to be equivalent to the ones of a specific type of the Hirota-Satsuma coupled KdV systems. For k ≥ 1, the hierarchy also includes the so-called perturbed KdV equations as a particular case. A wide class of analytic solutions is also explicitly constructed for a generic value of k. Remarkably, the dynamics can be fully geometrized so as to describe the evolution of spacelike surfaces embedded in locally flat spacetimes. Indeed, General Relativity in 3D can be endowed with a suitable set of boundary conditions, so that the Einstein equations precisely reduce to the ones of the hierarchy aforementioned. The symmetries of the integrable systems then arise as diffeomorphisms that preserve the asymptotic form of the spacetime metric, and therefore, they become Noetherian. The infinite set of conserved charges is then recovered from the corresponding surface integrals in the canonical approach.

On the performance of SART and ART algorithms for microwave imaging

NASA Astrophysics Data System (ADS)

Aprilliyani, Ria; Prabowo, Rian Gilang; Basari

2018-02-01

The development of advanced technology leads to the change of human lifestyle in current society. One of the disadvantage impact is arising the degenerative diseases such as cancers and tumors, not just common infectious diseases. Every year, victims of cancers and tumors grow significantly leading to one of the death causes in the world. In early stage, cancer/tumor does not have definite symptoms, but it will grow abnormally as tissue cells and damage normal tissue. Hence, early cancer detection is required. Some common diagnostics modalities such as MRI, CT and PET are quite difficult to be operated in home or mobile environment such as ambulance. Those modalities are also high cost, unpleasant, complex, less safety and harder to move. Hence, this paper proposes a microwave imaging system due to its portability and low cost. In current study, we address on the performance of simultaneous algebraic reconstruction technique (SART) algorithm that was applied in microwave imaging. In addition, SART algorithm performance compared with our previous work on algebraic reconstruction technique (ART), in order to have performance comparison, especially in the case of reconstructed image quality. The result showed that by applying SART algorithm on microwave imaging, suspicious cancer/tumor can be detected with better image quality.

A Categorification of the Crystal Isomorphism B 1,1 B + B(Lambda i) = B(Lambdasigma (i) and a Graphical Calculus for the Shifted Symmetric Functions

NASA Astrophysics Data System (ADS)

Kvinge, Henry

We prove two results at the intersection of Lie theory and the representation theory of symmetric groups, Hecke algebras, and their generalizations. The first is a categorification of the crystal isomorphism B. (1,1) tensor B1,1 ⊕ B(Lambdai ) ≅ B(Lambdasigma (i)). Here B(Lambdai and B(Lambda sigma(i)) are two affine type highest weight crystals of weight Lambdai and Lambdasigma (i) respectively, sigma is a specific map from the Dynkin indexing set I to itself, and B1,1 is a Kirillov-Reshetikhin crystal. We show that this crystal isomorphism is in fact the shadow of a richer module-theoretic phenomenon in the representation theory of Khovanov-Lauda-Rouquier algebras of classical affine type. Our second result identifies the center EndH'( 1) of Khovanov's Heisenberg category H', as the algebra of shifted symmetric functions Lambda* of Okounkov and Olshanski, i.e. End H'(1) ≅ Lambda*. This isomorphism provides us with a graphical calculus for Lambda*. It also allows us to describe EndH'(1) in terms of the transition and co-transition measure of Kerov and the noncommutative probability spaces of Biane.

Mathematical model for Dengue with three states of infection

NASA Astrophysics Data System (ADS)

Hincapie, Doracelly; Ospina, Juan

2012-06-01

A mathematical model for dengue with three states of infection is proposed and analyzed. The model consists in a system of differential equations. The three states of infection are respectively asymptomatic, partially asymptomatic and fully asymptomatic. The model is analyzed using computer algebra software, specifically Maple, and the corresponding basic reproductive number and the epidemic threshold are computed. The resulting basic reproductive number is an algebraic synthesis of all epidemic parameters and it makes clear the possible control measures. The microscopic structure of the epidemic parameters is established using the quantum theory of the interactions between the atoms and radiation. In such approximation, the human individual is represented by an atom and the mosquitoes are represented by radiation. The force of infection from the mosquitoes to the humans is considered as the transition probability from the fundamental state of atom to excited states. The combination of computer algebra software and quantum theory provides a very complete formula for the basic reproductive number and the possible control measures tending to stop the propagation of the disease. It is claimed that such result may be important in military medicine and the proposed method can be applied to other vector-borne diseases.

Two-spectral Yang-Baxter operators in topological quantum computation

NASA Astrophysics Data System (ADS)

Sanchez, William F.

2011-05-01

One of the current trends in quantum computing is the application of algebraic topological methods in the design of new algorithms and quantum computers, giving rise to topological quantum computing. One of the tools used in it is the Yang-Baxter equation whose solutions are interpreted as universal quantum gates. Lately, more general Yang-Baxter equations have been investigated, making progress as two-spectral equations and Yang-Baxter systems. This paper intends to apply these new findings to the field of topological quantum computation, more specifically, the proposition of the two-spectral Yang-Baxter operators as universal quantum gates for 2 qubits and 2 qutrits systems, obtaining 4x4 and 9x9 matrices respectively, and further elaboration of the corresponding Hamiltonian by the use of computer algebra software Mathematica® and its Qucalc package. In addition, possible physical systems to which the Yang-Baxter operators obtained can be applied are considered. In the present work it is demonstrated the utility of the Yang-Baxter equation to generate universal quantum gates and the power of computer algebra to design them; it is expected that these mathematical studies contribute to the further development of quantum computers

NOSS altimeter algorithm specifications

NASA Technical Reports Server (NTRS)

Hancock, D. W.; Forsythe, R. G.; Mcmillan, J. D.

1982-01-01

A description of all algorithms required for altimeter processing is given. Each description includes title, description, inputs/outputs, general algebraic sequences and data volume. All required input/output data files are described and the computer resources required for the entire altimeter processing system were estimated. The majority of the data processing requirements for any radar altimeter of the Seasat-1 type are scoped. Additions and deletions could be made for the specific altimeter products required by other projects.

Attributions for Success and Failure in Algebra of Samoan Community College Students: A Profile Analysis.

ERIC Educational Resources Information Center

Powers, Stephen; And Others

Sex differences in attributions for success and failure in algebra of Samoan community college students were examined and compared with attributions of a large group of mainland U.S. students. study included the Mathematics Attribution Scale: Algebra Version (MAS), which assessed students' attributions of achievement in algebra to their effort,…

Using CRA to Teach Algebra to Students with Math Difficulties in Inclusive Settings

ERIC Educational Resources Information Center

Witzel, Bradley S.

2005-01-01

The importance of algebra instruction has increased in the United States in the past few years. Thus, in most states, middle school students are required to take Algebra 1. Middle school students with math difficulties in inclusion algebra settings may require a different instructional approach. The purpose of this research was to compare student…

Learning to Apply Algebra in the Community for Adults with Intellectual Developmental Disabilities

ERIC Educational Resources Information Center

Rodriguez, Anthony M.

2016-01-01

Students with intellectual and developmental disabilities (IDD) are routinely excluded from algebra and other high-level mathematics courses. High school students with IDD take courses in arithmetic and life skills rather than having an opportunity to learn algebra. Yet algebra skills can support the learning of money and budgeting skills. This…

Capitalizing on Basic Brain Processes in Developmental Algebra--Part 2

ERIC Educational Resources Information Center

Laughbaum, Edward D.

2011-01-01

Basic brain function is not a mystery. Given that neuroscientists understand its basic functioning processes, one wonders what their research suggests to teachers of developmental algebra. What if we knew how to teach so as to improve understanding of the algebra taught to developmental algebra students? What if we knew how the brain processes…

Capitalizing on Basic Brain Processes in Developmental Algebra--Part One

ERIC Educational Resources Information Center

Laughbaum, Edward D.

2011-01-01

Basic brain function is not a mystery. Given that neuroscientists understand the brain's basic functioning processes, one wonders what their research suggests to teachers of developmental algebra. What if we knew how to teach so as to improve understanding of the algebra taught to developmental algebra students? What if we knew how the brain…

Reinventing Fractions and Division as They Are Used in Algebra: The Power of Preformal Productions

ERIC Educational Resources Information Center

Peck, Frederick; Matassa, Michael

2016-01-01

In this paper, we explore algebra students' mathematical realities around fractions and division, and the ways in which students reinvented mathematical productions involving fractions and division. We find that algebra students' initial realities do not include the fraction-as-quotient sub-construct. This can be problematic because in algebra,…

The Development of Children's Algebraic Thinking: The Impact of a Comprehensive Early Algebra Intervention in Third Grade

ERIC Educational Resources Information Center

Blanton, Maria; Stephens, Ana; Knuth, Eric; Gardiner, Angela Murphy; Isler, Isil; Kim, Jee-Seon

2015-01-01

This article reports results from a study investigating the impact of a sustained, comprehensive early algebra intervention in third grade. Participants included 106 students; 39 received the early algebra intervention, and 67 received their district's regularly planned mathematics instruction. We share and discuss students' responses to a written…

Algebra? A Gate! A Barrier! A Mystery!

ERIC Educational Resources Information Center

Mathematics Educatio Dialogues, 2000

2000-01-01

This issue of Mathematics Education Dialogues focuses on the nature and the role of algebra in the K-14 curriculum. Articles on this theme include: (1) "Algebra For All? Why?" (Nel Noddings); (2) "Algebra For All: It's a Matter of Equity, Expectations, and Effectiveness" (Dorothy S. Strong and Nell B. Cobb); (3) "Don't Delay: Build and Talk about…

Introducing Algebraic Structures through Solving Equations: Vertical Content Knowledge for K-12 Mathematics Teachers

ERIC Educational Resources Information Center

Wasserman, Nicholas H.

2014-01-01

Algebraic structures are a necessary aspect of algebraic thinking for K-12 students and teachers. An approach for introducing the algebraic structure of groups and fields through the arithmetic properties required for solving simple equations is summarized; the collective (not individual) importance of these axioms as a foundation for algebraic…

The State of the Gate: A Description of Instructional Practice in Algebra in Five Urban Districts

ERIC Educational Resources Information Center

Litke, Erica G.

2015-01-01

Algebra is considered a linchpin for success in secondary mathematics, serving as a gatekeeper to higher-level courses. Access to algebra is also considered an important lever for educational equity. Yet despite its prominence, large-scale examinations of algebra instruction are rare. In my dissertation, I endeavor to better understand what…

Relationships between Classroom Schedule Types and Performance on the Algebra I Criterion-Referenced Test

ERIC Educational Resources Information Center

Murray, Gregory V.; Moyer-Packenham, Patricia S.

2014-01-01

One option for length of individual mathematics class periods is the schedule type selected for Algebra I classes. This study examined the relationship between student achievement, as indicated by Algebra I Criterion-Referenced Test scores, and the schedule type for Algebra I classes. Data obtained from the Utah State Office of Education included…

Grade 11 Students' Interconnected Use of Conceptual Knowledge, Procedural Skills, and Strategic Competence in Algebra: A Mixed Method Study of Error Analysis

ERIC Educational Resources Information Center

Egodawatte, Gunawardena; Stoilescu, Dorian

2015-01-01

The purpose of this mixed-method study was to investigate grade 11 university/college stream mathematics students' difficulties in applying conceptual knowledge, procedural skills, strategic competence, and algebraic thinking in solving routine (instructional) algebraic problems. A standardized algebra test was administered to thirty randomly…

The Ideas of Algebra, K-12. 1988 Yearbook.

ERIC Educational Resources Information Center

Coxford, Arthur F., Ed.; Shulte, Albert P., Ed.

This volume is organized into six parts. Chapters 1-5, which make up Part 1, first discuss the forces impinging on algebra in the curriculum and suggest possible directions for change. Chapters 6-8, Part 2, concentrate on concepts and teaching possibilities available prior to the formal introduction of algebra. The notion that algebraic ideas are…

Solving the Unknown with Algebra: Poster/Teaching Guide for Pre-Algebra Students. Expect the Unexpected with Math[R

ERIC Educational Resources Information Center

Actuarial Foundation, 2013

2013-01-01

"Solving the Unknown with Algebra" is a new math program aligned with the National Council of Teachers of Mathematics (NCTM) standards and designed to help students practice pre-algebra skills including using formulas, solving for unknowns, and manipulating equations. Developed by The Actuarial Foundation with Scholastic, this program provides…

Developing "Algebraic Thinking": Two Key Ways to Establish Some Early Algebraic Ideas in Primary Classrooms

ERIC Educational Resources Information Center

Ormond, Christine

2012-01-01

Primary teachers play a key role in their students' future mathematical success in the early secondary years. While the word "algebra" may make some primary teachers feel uncomfortable or worried, the basic arithmetic ideas underlying algebra are vitally important for older primary students as they are increasingly required to use "algebraic…

Investigating Students' Modes of Thinking in Linear Algebra: The Case of Linear Independence

ERIC Educational Resources Information Center

Çelik, Derya

2015-01-01

Linear algebra is one of the most challenging topics to learn and teach in many countries. To facilitate the teaching and learning of linear algebra, priority should be given to epistemologically analyze the concepts that the undergraduate students have difficulty in conceptualizing and to define their ways of reasoning in linear algebra. After…

Exploring Teacher Noticing of Student Algebraic Thinking in a Video Club

ERIC Educational Resources Information Center

Walkoe, Janet

2015-01-01

Learning algebra is critical for students in the USA today, yet many students in the USA struggle in algebra classes. Researchers claim that one reason for these difficulties is that algebra classes often focus on symbol manipulation and procedures above, and many times at the expense of, a more conceptual understanding of the content. Teaching…

Algebra and Algebraic Thinking in School Math: 70th YB

ERIC Educational Resources Information Center

National Council of Teachers of Mathematics, 2008

2008-01-01

Algebra is no longer just for college-bound students. After a widespread push by the National Council of Teachers of Mathematics (NCTM) and teachers across the country, algebra is now a required part of most curricula. However, students' standardized test scores are not at the level they should be. NCTM's seventieth yearbook takes a look at the…

Matematica Para La Escuela Secundaria, Primer Curso de Algebra (Parte 2), Comentario. Traduccion Preliminar de la Edicion en Ingles Revisada. (Mathematics for High School, First Course in Algebra, Part 2, Teacher's Commentary. Preliminary Translation of the Revised English Edition).

ERIC Educational Resources Information Center

Allen, Frank B.; And Others

This is the teacher's commentary for part two of a three-part SMSG algebra text for high school students. The principal objective of the text is to help the student develop an understanding and appreciation of some of the algebraic structure as a basis for the techniques of algebra. Chapter topics include addition and multiplication of real…

Quantum superintegrable system with a novel chain structure of quadratic algebras

NASA Astrophysics Data System (ADS)

Liao, Yidong; Marquette, Ian; Zhang, Yao-Zhong

2018-06-01

We analyse the n-dimensional superintegrable Kepler–Coulomb system with non-central terms. We find a novel underlying chain structure of quadratic algebras formed by the integrals of motion. We identify the elements for each sub-structure and obtain the algebra relations satisfied by them and the corresponding Casimir operators. These quadratic sub-algebras are realized in terms of a chain of deformed oscillators with factorized structure functions. We construct the finite-dimensional unitary representations of the deformed oscillators, and give an algebraic derivation of the energy spectrum of the superintegrable system.

Literal algebra for satellite dynamics. [perturbation analysis

NASA Technical Reports Server (NTRS)

Gaposchkin, E. M.

1975-01-01

A description of the rather general class of operations available is given and the operations are related to problems in satellite dynamics. The implementation of an algebra processor is discussed. The four main categories of symbol processors are related to list processing, string manipulation, symbol manipulation, and formula manipulation. Fundamental required operations for an algebra processor are considered. It is pointed out that algebra programs have been used for a number of problems in celestial mechanics with great success. The advantage of computer algebra is its accuracy and speed.

Contractions from grading

NASA Astrophysics Data System (ADS)

Krishnan, Chethan; Raju, Avinash

2018-04-01

We note that large classes of contractions of algebras that arise in physics can be understood purely algebraically via identifying appropriate Zm-gradings (and their generalizations) on the parent algebra. This includes various types of flat space/Carroll limits of finite and infinite dimensional (A)dS algebras, as well as Galilean and Galilean conformal algebras. Our observations can be regarded as providing a natural context for the Grassmann approach of Krishnan et al. [J. High Energy Phys. 2014(3), 36]. We also introduce a related notion, which we call partial grading, that arises naturally in this context.

DOE Office of Scientific and Technical Information (OSTI.GOV)

Mozrzymas, Marek; Horodecki, Michał; Studziński, Michał

We consider the structure of algebra of operators, acting in n-fold tensor product space, which are partially transposed on the last term. Using purely algebraical methods we show that this algebra is semi-simple and then, considering its regular representation, we derive basic properties of the algebra. In particular, we describe all irreducible representations of the algebra of partially transposed operators and derive expressions for matrix elements of the representations. It appears that there are two kinds of irreducible representations of the algebra. The first one is strictly connected with the representations of the group S(n − 1) induced by irreduciblemore » representations of the group S(n − 2). The second kind is structurally connected with irreducible representations of the group S(n − 1)« less

Three-Dimensional Algebraic Models of the tRNA Code and 12 Graphs for Representing the Amino Acids

PubMed Central

José, Marco V.; Morgado, Eberto R.; Guimarães, Romeu Cardoso; Zamudio, Gabriel S.; de Farías, Sávio Torres; Bobadilla, Juan R.; Sosa, Daniela

2014-01-01

Three-dimensional algebraic models, also called Genetic Hotels, are developed to represent the Standard Genetic Code, the Standard tRNA Code (S-tRNA-C), and the Human tRNA code (H-tRNA-C). New algebraic concepts are introduced to be able to describe these models, to wit, the generalization of the 2n-Klein Group and the concept of a subgroup coset with a tail. We found that the H-tRNA-C displayed broken symmetries in regard to the S-tRNA-C, which is highly symmetric. We also show that there are only 12 ways to represent each of the corresponding phenotypic graphs of amino acids. The averages of statistical centrality measures of the 12 graphs for each of the three codes are carried out and they are statistically compared. The phenotypic graphs of the S-tRNA-C display a common triangular prism of amino acids in 10 out of the 12 graphs, whilst the corresponding graphs for the H-tRNA-C display only two triangular prisms. The graphs exhibit disjoint clusters of amino acids when their polar requirement values are used. We contend that the S-tRNA-C is in a frozen-like state, whereas the H-tRNA-C may be in an evolving state. PMID:25370377

Invariant Poisson-Nijenhuis structures on Lie groups and classification

NASA Astrophysics Data System (ADS)

Ravanpak, Zohreh; Rezaei-Aghdam, Adel; Haghighatdoost, Ghorbanali

We study right-invariant (respectively, left-invariant) Poisson-Nijenhuis structures (P-N) on a Lie group G and introduce their infinitesimal counterpart, the so-called r-n structures on the corresponding Lie algebra 𝔤. We show that r-n structures can be used to find compatible solutions of the classical Yang-Baxter equation (CYBE). Conversely, two compatible r-matrices from which one is invertible determine an r-n structure. We classify, up to a natural equivalence, all r-matrices and all r-n structures with invertible r on four-dimensional symplectic real Lie algebras. The result is applied to show that a number of dynamical systems which can be constructed by r-matrices on a phase space whose symmetry group is Lie group a G, can be specifically determined.

Numerical algebraic geometry for model selection and its application to the life sciences

PubMed Central

Gross, Elizabeth; Davis, Brent; Ho, Kenneth L.; Bates, Daniel J.

2016-01-01

Researchers working with mathematical models are often confronted by the related problems of parameter estimation, model validation and model selection. These are all optimization problems, well known to be challenging due to nonlinearity, non-convexity and multiple local optima. Furthermore, the challenges are compounded when only partial data are available. Here, we consider polynomial models (e.g. mass-action chemical reaction networks at steady state) and describe a framework for their analysis based on optimization using numerical algebraic geometry. Specifically, we use probability-one polynomial homotopy continuation methods to compute all critical points of the objective function, then filter to recover the global optima. Our approach exploits the geometrical structures relating models and data, and we demonstrate its utility on examples from cell signalling, synthetic biology and epidemiology. PMID:27733697

Linear systems with structure group and their feedback invariants

NASA Technical Reports Server (NTRS)

Martin, C.; Hermann, R.

1977-01-01

A general method described by Hermann and Martin (1976) for the study of the feedback invariants of linear systems is considered. It is shown that this method, which makes use of ideas of topology and algebraic geometry, is very useful in the investigation of feedback problems for which the classical methods are not suitable. The transfer function as a curve in the Grassmanian is examined. The general concepts studied in the context of specific systems and applications are organized in terms of the theory of Lie groups and algebraic geometry. Attention is given to linear systems which have a structure group, linear mechanical systems, and feedback invariants. The investigation shows that Lie group techniques are powerful and useful tools for analysis of the feedback structure of linear systems.

Superconformal Baryon-Meson Symmetry and Light-Front Holographic QCD

DOE PAGES

Dosch, Hans Guenter; de Teramond, Guy F.; Brodsky, Stanley J.

2015-04-10

We construct an effective QCD light-front Hamiltonian for both mesons and baryons in the chiral limit based on the generalized supercharges of a superconformal graded algebra. The superconformal construction is shown to be equivalent to a semi-classical approximation to light-front QCD and its embedding in AdS space. The specific breaking of conformal invariance inside the graded algebra uniquely determines the effective confinement potential. The generalized supercharges connect the baryon and meson spectra to each other in a remarkable manner. In particular, the π/b 1 Regge trajectory is identified as the superpartner of the nucleon trajectory. However, the lowest-lying state onmore » this trajectory, the π-meson is massless in the chiral limit and has no supersymmetric partner.« less

Systems with outer constraints. Gupta-Bleuler electromagnetism as an algebraic field theory

NASA Astrophysics Data System (ADS)

Grundling, Hendrik

1988-03-01

Since there are some important systems which have constraints not contained in their field algebras, we develop here in a C*-context the algebraic structures of these. The constraints are defined as a group G acting as outer automorphisms on the field algebra ℱ, α: G ↦ Aut ℱ, α G ⊄ Inn ℱ, and we find that the selection of G-invariant states on ℱ is the same as the selection of states ω on M( G M(Gmathop × limits_α F) ℱ) by ω( U g)=1∨ g∈ G, where U g ∈ M ( G M(Gmathop × limits_α F) ℱ)/ℱ are the canonical elements implementing α g . These states are taken as the physical states, and this specifies the resulting algebraic structure of the physics in M( G M(Gmathop × limits_α F) ℱ), and in particular the maximal constraint free physical algebra ℛ. A nontriviality condition is given for ℛ to exist, and we extend the notion of a crossed product to deal with a situation where G is not locally compact. This is necessary to deal with the field theoretical aspect of the constraints. Next the C*-algebra of the CCR is employed to define the abstract algebraic structure of Gupta-Bleuler electromagnetism in the present framework. The indefinite inner product representation structure is obtained, and this puts Gupta-Bleuler electromagnetism on a rigorous footing. Finally, as a bonus, we find that the algebraic structures just set up, provide a blueprint for constructive quadratic algebraic field theory.

Developing Meaning for Algebraic Procedures: An Exploration of the Connections Undergraduate Students Make between Algebraic Rational Expressions and Basic Number Properties

ERIC Educational Resources Information Center

Yantz, Jennifer

2013-01-01

The attainment and retention of later algebra skills in high school has been identified as a factor significantly impacting the postsecondary success of students majoring in STEM fields. Researchers maintain that learners develop meaning for algebraic procedures by forming connections to the basic number system properties. The present study…

Curricula Alignment and Its Impact on End of Course Assessment Scores

ERIC Educational Resources Information Center

Burti, Neil, Jr.

2011-01-01

The purpose of this mixed methods study was to examine the alignment of the written, enacted, and tested Algebra I curricula in the Cherry Hill (NJ) Public School District. Furthermore, this QUAN-QUAL study sought to determine the impact of course selection (Algebra I, Enriched Algebra) on achievement as measured by the Algebra I End of Course…

The Impact of New State Accountability Standards on Algebra I Students

ERIC Educational Resources Information Center

Heath, Kyle G.

2013-01-01

The purpose of this quasi-experimental quantitative study was to determine if a new Algebra I curriculum resulted in improved student performance on the state Algebra I exam. The treatment group consisted of 383 9th grade Algebra I students who received the college-ready standards-based (CRSB) curricula. The control group consisted of 338 9th…

From No to Yes: The Impact of an Intervention on The Persistence of Algebraic Misconceptions among Secondary School Algebra Students

ERIC Educational Resources Information Center

Zielinski, Susan F.

2017-01-01

Many students enter high school with persistent algebraic misconceptions that limit their success in mathematics and, by extension, limit potential educational attainment and future earnings. The purpose of this study was to assess the effectiveness of a warm conceptual change based intervention on remediating algebraic misconceptions held by…

Card Games and Algebra Tic Tacmatics on Achievement of Junior Secondary II Students in Algebraic Expressions

ERIC Educational Resources Information Center

Okpube, Nnaemeka Michael; Anugwo, M. N.

2016-01-01

This study investigated the Card Games and Algebra tic-Tacmatics on Junior Secondary II Students' Achievement in Algebraic Expressions. Three research questions and three null hypotheses guided the study. The study adopted the pre-test, post-test control group design. A total of two hundred and forty (240) Junior Secondary School II students were…

A Study of Improving Eighth Graders' Learning Deficiency in Algebra by Applying a Realistic Context Instructional Design

ERIC Educational Resources Information Center

Chang, Yu-Liang; Huang, Yu-I

2014-01-01

The intention of this study was to improve the learning deficiency in algebraic learning and to enhance Taiwanese middle students' learning achievement and interest in algebra. By using a grade skipping experimental design, the research team intended to find out an effective way to benefit these students' leaning in abstract algebraic concepts.…

Effects of Comparison and Game-Challenge on Sixth Graders' Algebra Variable Learning Achievement, Learning Attitude, and Meta-Cognitive Awareness

ERIC Educational Resources Information Center

Sun Lin, Hong-Zheng; Chiou, Guey-Fa

2017-01-01

This study examined the effects of comparison and game-challenge strategies on sixth graders' learning achievement of algebra variable, learning attitude towards algebra variable learning, and meta-cognitive awareness of algebra variable learning. A 2 × 2 factorial design was used, and 86 students were invited to participate in the experimental…

Middle School Math Acceleration and Equitable Access to Eighth-Grade Algebra: Evidence from the Wake County Public School System

ERIC Educational Resources Information Center

Dougherty, Shaun M.; Goodman, Joshua S.; Hill, Darryl V.; Litke, Erica G.; Page, Lindsay C.

2015-01-01

Taking algebra by eighth grade is considered an important milestone on the pathway to college readiness. We highlight a collaboration to investigate one district's effort to increase middle school algebra course-taking. In 2010, the Wake County Public Schools began assigning middle school students to accelerated math and eighth-grade algebra based…

It's a Wonderful Life: Using Public Domain Cinema Clips To Teach Affective Objectives and Illustrate Real-World Algebra Applications.

ERIC Educational Resources Information Center

Palmer, Loretta

A basic algebra unit was developed at Utah Valley State College to emphasize applications of mathematical concepts in the work world, using video and computer-generated graphics to integrate textual material. The course was implemented in three introductory algebra sections involving 80 students and taught algebraic concepts using such areas as…

Linking Computer Algebra Systems and Paper-and-Pencil Techniques To Support the Teaching of Mathematics.

ERIC Educational Resources Information Center

van Herwaarden, Onno A.; Gielen, Joseph L. W.

2002-01-01

Focuses on students showing a lack of conceptual insight while using computer algebra systems (CAS) in the setting of an elementary calculus and linear algebra course for first year university students in social sciences. The use of a computer algebra environment has been incorporated into a more traditional course but with special attention on…

Assessing non-uniqueness: An algebraic approach

DOE Office of Scientific and Technical Information (OSTI.GOV)

Vasco, Don W.

Geophysical inverse problems are endowed with a rich mathematical structure. When discretized, most differential and integral equations of interest are algebraic (polynomial) in form. Techniques from algebraic geometry and computational algebra provide a means to address questions of existence and uniqueness for both linear and non-linear inverse problem. In a sense, the methods extend ideas which have proven fruitful in treating linear inverse problems.

Teaching Strategies for Improving Algebra Knowledge in Middle and High School Students. Educator's Practice Guide. What Works Clearinghouse.™ NCEE 2015-4010

ERIC Educational Resources Information Center

Star, Jon R.; Foegen, Anne; Larson, Matthew R.; McCallum, William G.; Porath, Jane; Zbiek, Rose Mary; Caronongan, Pia; Furgeson, Joshua,; Keating, Betsy; Lyskawa, Julia

2015-01-01

Mastering algebra is important for future math and postsecondary success. Educators will find practical recommendations for how to improve algebra instruction in the What Works Clearinghouse (WWC) practice guide, "Teaching Strategies for Improving Algebra Knowledge in Middle and High School Students". The methods and examples included in…

Symbolic inversion of control relationships in model-based expert systems

NASA Technical Reports Server (NTRS)

Thomas, Stan

1988-01-01

Symbolic inversion is examined from several perspectives. First, a number of symbolic algebra and mathematical tool packages were studied in order to evaluate their capabilities and methods, specifically with respect to symbolic inversion. Second, the KATE system (without hardware interface) was ported to a Zenith Z-248 microcomputer running Golden Common Lisp. The interesting thing about the port is that it allows the user to have measurements vary and components fail in a non-deterministic manner based upon random value from probability distributions. Third, INVERT was studied as currently implemented in KATE, its operation documented, some of its weaknesses identified, and corrections made to it. The corrections and enhancements are primarily in the way that logical conditions involving AND's and OR's and inequalities are processed. In addition, the capability to handle equalities was also added. Suggestions were also made regarding the handling of ranges in INVERT. Last, other approaches to the inversion process were studied and recommendations were made as to how future versions of KATE should perform symbolic inversion.

Nonlinear Bogolyubov-Valatin transformations: Two modes

NASA Astrophysics Data System (ADS)

Scharnhorst, K.; van Holten, J.-W.

2011-11-01

Extending our earlier study of nonlinear Bogolyubov-Valatin transformations (canonical transformations for fermions) for one fermionic mode, in the present paper, we perform a thorough study of general (nonlinear) canonical transformations for two fermionic modes. We find that the Bogolyubov-Valatin group for n=2 fermionic modes, which can be implemented by means of unitary SU(2n=4) transformations, is isomorphic to SO(6;R)/Z2. The investigation touches on a number of subjects. As a novelty from a mathematical point of view, we study the structure of nonlinear basis transformations in a Clifford algebra [specifically, in the Clifford algebra C(0,4)] entailing (supersymmetric) transformations among multivectors of different grades. A prominent algebraic role in this context is being played by biparavectors (linear combinations of products of Dirac matrices, quadriquaternions, sedenions) and spin bivectors (antisymmetric complex matrices). The studied biparavectors are equivalent to Eddington's E-numbers and can be understood in terms of the tensor product of two commuting copies of the division algebra of quaternions H. From a physical point of view, we present a method to diagonalize any arbitrary two-fermion Hamiltonians. Relying on Jordan-Wigner transformations for two-spin- {1}/{2} and single-spin- {3}/{2} systems, we also study nonlinear spin transformations and the related problem of diagonalizing arbitrary two-spin- {1}/{2} and single-spin- {3}/{2} Hamiltonians. Finally, from a calculational point of view, we pay due attention to explicit parametrizations of SU(4) and SO(6;R) matrices (of respective sizes 4×4 and 6×6) and their mutual relation.

Students’ Algebraic Thinking Process in Context of Point and Line Properties

NASA Astrophysics Data System (ADS)

Nurrahmi, H.; Suryadi, D.; Fatimah, S.

2017-09-01

Learning of schools algebra is limited to symbols and operating procedures, so students are able to work on problems that only require the ability to operate symbols but unable to generalize a pattern as one of part of algebraic thinking. The purpose of this study is to create a didactic design that facilitates students to do algebraic thinking process through the generalization of patterns, especially in the context of the property of point and line. This study used qualitative method and includes Didactical Design Research (DDR). The result is students are able to make factual, contextual, and symbolic generalization. This happen because the generalization arises based on facts on local terms, then the generalization produced an algebraic formula that was described in the context and perspective of each student. After that, the formula uses the algebraic letter symbol from the symbol t hat uses the students’ language. It can be concluded that the design has facilitated students to do algebraic thinking process through the generalization of patterns, especially in the context of property of the point and line. The impact of this study is this design can use as one of material teaching alternative in learning of school algebra.

A Geometric Construction of Cyclic Cocycles on Twisted Convolution Algebras

NASA Astrophysics Data System (ADS)

Angel, Eitan

2010-09-01

In this thesis we give a construction of cyclic cocycles on convolution algebras twisted by gerbes over discrete translation groupoids. In his seminal book, Connes constructs a map from the equivariant cohomology of a manifold carrying the action of a discrete group into the periodic cyclic cohomology of the associated convolution algebra. Furthermore, for proper étale groupoids, J.-L. Tu and P. Xu provide a map between the periodic cyclic cohomology of a gerbe twisted convolution algebra and twisted cohomology groups. Our focus will be the convolution algebra with a product defined by a gerbe over a discrete translation groupoid. When the action is not proper, we cannot construct an invariant connection on the gerbe; therefore to study this algebra, we instead develop simplicial notions related to ideas of J. Dupont to construct a simplicial form representing the Dixmier-Douady class of the gerbe. Then by using a JLO formula we define a morphism from a simplicial complex twisted by this simplicial Dixmier-Douady form to the mixed bicomplex of certain matrix algebras. Finally, we define a morphism from this complex to the mixed bicomplex computing the periodic cyclic cohomology of the twisted convolution algebras.

Eighth Grade Algebra Course Placement and Student Motivation for Mathematics

PubMed Central

Simzar, Rahila M.; Domina, Thurston; Tran, Cathy

2016-01-01

This study uses student panel data to examine the association between Algebra placement and student motivation for mathematics. Changes in achievement goals, expectancy, and task value for students in eighth grade Algebra are compared with those of peers placed in lower-level mathematics courses (N = 3,306). In our sample, students placed in Algebra reported an increase in performance-avoidance goals as well as decreases in academic self-efficacy and task value. These relations were attenuated for students who had high mathematics achievement prior to Algebra placement. Whereas all students reported an overall decline in performance-approach goals over the course of eighth grade, previously high-achieving students reported an increase in these goals. Lastly, previously high-achieving students reported an increase in mastery goals. These findings suggest that while previously high-achieving students may benefit motivationally from eighth grade Algebra placement, placing previously average- and low-performing students in Algebra can potentially undermine their motivation for mathematics. PMID:26942210

On the homotopy equivalence of simple AI-algebras

DOE Office of Scientific and Technical Information (OSTI.GOV)

Aristov, O Yu

1999-02-28

Let A and B be simple unital AI-algebras (an AI-algebra is an inductive limit of C*-algebras of the form BigOplus{sub i}{sup k}C([0,1],M{sub N{sub i}}). It is proved that two arbitrary unital homomorphisms from A into B such that the corresponding maps K{sub 0}A{yields}K{sub 0}B coincide are homotopic. Necessary and sufficient conditions on the Elliott invariant for A and B to be homotopy equivalent are indicated. Moreover, two algebras in the above class having the same K-theory but not homotopy equivalent are constructed. A theorem on the homotopy of approximately unitarily equivalent homomorphisms between AI-algebras is used in the proof, whichmore » is deduced in its turn from a generalization to the case of AI-algebras of a theorem of Manuilov stating that a unitary matrix almost commuting with a self-adjoint matrix h can be joined to 1 by a continuous path consisting of unitary matrices almost commuting with h.« less

On the quantum symmetry of the chiral Ising model

NASA Astrophysics Data System (ADS)

Vecsernyés, Peter

1994-03-01

We introduce the notion of rational Hopf algebras that we think are able to describe the superselection symmetries of rational quantum field theories. As an example we show that a six-dimensional rational Hopf algebra H can reproduce the fusion rules, the conformal weights, the quantum dimensions and the representation of the modular group of the chiral Ising model. H plays the role of the global symmetry algebra of the chiral Ising model in the following sense: (1) a simple field algebra F and a representation π on Hπ of it is given, which contains the c = {1}/{2} unitary representations of the Virasoro algebra as subrepresentations; (2) the embedding U: H → B( Hπ) is such that the observable algebra π( A) - is the invariant subalgebra of B( Hπ) with respect to the left adjoint action of H and U(H) is the commutant of π( A); (3) there exist H-covariant primary fields in B( Hπ), which obey generalized Cuntz algebra properties and intertwine between the inequivalent sectors of the observables.

Non-associativity in non-geometric string and M-theory backgrounds, the algebra of octonions, and missing momentum modes

DOE PAGES

Günaydin, Murat; Lüst, Dieter; Malek, Emanuel

2016-11-07

We propose a non-associative phase space algebra for M-theory backgrounds with locally non-geometric fluxes based on the non-associative algebra of octonions. Our proposal is based on the observation that the non-associative algebra of the non-geometric R-flux background in string theory can be obtained by a proper contraction of the simple Malcev algebra generated by imaginary octonions. Furthermore, by studying a toy model of a four-dimensional locally non-geometric M-theory background which is dual to a twisted torus, we show that the non-geometric background is “missing” a momentum mode. The resulting seven-dimensional phase space can thus be naturally identified with the imaginarymore » octonions. This allows us to interpret the full uncontracted algebra of imaginary octonions as the uplift of the string theory R-flux algebra to M-theory, with the contraction parameter playing the role of the string coupling constant g s.« less

Non-associativity in non-geometric string and M-theory backgrounds, the algebra of octonions, and missing momentum modes

DOE Office of Scientific and Technical Information (OSTI.GOV)

Günaydin, Murat; Lüst, Dieter; Malek, Emanuel

We propose a non-associative phase space algebra for M-theory backgrounds with locally non-geometric fluxes based on the non-associative algebra of octonions. Our proposal is based on the observation that the non-associative algebra of the non-geometric R-flux background in string theory can be obtained by a proper contraction of the simple Malcev algebra generated by imaginary octonions. Furthermore, by studying a toy model of a four-dimensional locally non-geometric M-theory background which is dual to a twisted torus, we show that the non-geometric background is “missing” a momentum mode. The resulting seven-dimensional phase space can thus be naturally identified with the imaginarymore » octonions. This allows us to interpret the full uncontracted algebra of imaginary octonions as the uplift of the string theory R-flux algebra to M-theory, with the contraction parameter playing the role of the string coupling constant g s.« less

Eighth Grade Algebra Course Placement and Student Motivation for Mathematics.

PubMed

Simzar, Rahila M; Domina, Thurston; Tran, Cathy

2016-01-01

This study uses student panel data to examine the association between Algebra placement and student motivation for mathematics. Changes in achievement goals, expectancy, and task value for students in eighth grade Algebra are compared with those of peers placed in lower-level mathematics courses (N = 3,306). In our sample, students placed in Algebra reported an increase in performance-avoidance goals as well as decreases in academic self-efficacy and task value. These relations were attenuated for students who had high mathematics achievement prior to Algebra placement. Whereas all students reported an overall decline in performance-approach goals over the course of eighth grade, previously high-achieving students reported an increase in these goals. Lastly, previously high-achieving students reported an increase in mastery goals. These findings suggest that while previously high-achieving students may benefit motivationally from eighth grade Algebra placement, placing previously average- and low-performing students in Algebra can potentially undermine their motivation for mathematics.

A natural history of mathematics: George Peacock and the making of English algebra.

PubMed

Lambert, Kevin

2013-06-01

In a series of papers read to the Cambridge Philosophical Society through the 1820s, the Cambridge mathematician George Peacock laid the foundation for a natural history of arithmetic that would tell a story of human progress from counting to modern arithmetic. The trajectory of that history, Peacock argued, established algebraic analysis as a form of universal reasoning that used empirically warranted operations of mind to think with symbols on paper. The science of counting would suggest arithmetic, arithmetic would suggest arithmetical algebra, and, finally, arithmetical algebra would suggest symbolic algebra. This philosophy of suggestion provided the foundation for Peacock's "principle of equivalent forms," which justified the practice of nineteenth-century English symbolic algebra. Peacock's philosophy of suggestion owed a considerable debt to the early Cambridge Philosophical Society culture of natural history. The aim of this essay is to show how that culture of natural history was constitutively significant to the practice of nineteenth-century English algebra.

Situating the Debate on "Geometrical Algebra" within the Framework of Premodern Algebra.

PubMed

Sialaros, Michalis; Christianidis, Jean

2016-06-01

Argument The aim of this paper is to employ the newly contextualized historiographical category of "premodern algebra" in order to revisit the arguably most controversial topic of the last decades in the field of Greek mathematics, namely the debate on "geometrical algebra." Within this framework, we shift focus from the discrepancy among the views expressed in the debate to some of the historiographical assumptions and methodological approaches that the opposing sides shared. Moreover, by using a series of propositions related to Elem. II.5 as a case study, we discuss Euclid's geometrical proofs, the so-called "semi-algebraic" alternative demonstrations attributed to Heron of Alexandria, as well as the solutions given by Diophantus, al-Sulamī, and al-Khwārizmī to the corresponding numerical problem. This comparative analysis offers a new reading of Heron's practice, highlights the significance of contextualizing "premodern algebra," and indicates that the origins of algebraic reasoning should be sought in the problem-solving practice, rather than in the theorem-proving tradition.

Visualizing the inner product space ℝm×n in a MATLAB-assisted linear algebra classroom

NASA Astrophysics Data System (ADS)

Caglayan, Günhan

2018-05-01

This linear algebra note offers teaching and learning ideas in the treatment of the inner product space ? in a technology-supported learning environment. Classroom activities proposed in this note demonstrate creative ways of integrating MATLAB technology into various properties of Frobenius inner product as visualization tools that complement the algebraic approach. As implemented in linear algebra lessons in a university in the Unites States, the article also incorporates algebraic and visual work of students who experienced these activities with MATLAB software. The connection between the Frobenius norm and the Euclidean norm is also emphasized.

Spatial-Operator Algebra For Flexible-Link Manipulators

NASA Technical Reports Server (NTRS)

Jain, Abhinandan; Rodriguez, Guillermo

1994-01-01

Method of computing dynamics of multiple-flexible-link robotic manipulators based on spatial-operator algebra, which originally applied to rigid-link manipulators. Aspects of spatial-operator-algebra approach described in several previous articles in NASA Tech Briefs-most recently "Robot Control Based on Spatial-Operator Algebra" (NPO-17918). In extension of spatial-operator algebra to manipulators with flexible links, each link represented by finite-element model: mass of flexible link apportioned among smaller, lumped-mass rigid bodies, coupling of motions expressed in terms of vibrational modes. This leads to operator expression for modal-mass matrix of link.

Graph C ∗-algebras and Z2-quotients of quantum spheres

NASA Astrophysics Data System (ADS)

Hajac, Piotr M.; Matthes, Rainer; Szymański, Wojciech

2003-06-01

We consider two Z2-actions on the Podleś generic quantum spheres. They yield, as noncommutative quotient spaces, the Klimek-Lesmewski q-disc and the quantum real projective space, respectively. The C ∗-algebas of all these quantum spaces are described as graph C ∗-algebras. The K-groups of the thus presented C ∗-algebras are then easily determined from the general theory of graph C ∗-algebas. For the quantum real projective space, we also recall the classification of the classes of irreducible ∗-representations of its algebra and give a linear basis for this algebra.

Quiver elliptic W-algebras

NASA Astrophysics Data System (ADS)

Kimura, Taro; Pestun, Vasily

2018-06-01

We define elliptic generalization of W-algebras associated with arbitrary quiver using our construction (Kimura and Pestun in Quiver W-algebras, 2015. arXiv:1512.08533 [hep-th]) with six-dimensional gauge theory.

Hurwitz Algebras and the Octonion Algebra

NASA Astrophysics Data System (ADS)

Burdik, Čestmir; Catto, Sultan

2018-02-01

We explore some consequences of a theory of internal symmetries for elementary particles constructed on exceptional quantum mechanical spaces based on Jordan algebra formulation that admit exceptional groups as gauge groups.

Computer Program For Linear Algebra

NASA Technical Reports Server (NTRS)

Krogh, F. T.; Hanson, R. J.

1987-01-01

Collection of routines provided for basic vector operations. Basic Linear Algebra Subprogram (BLAS) library is collection from FORTRAN-callable routines for employing standard techniques to perform basic operations of numerical linear algebra.

The effects of an integrated Algebra 1/physical science curriculum on student achievement in Algebra 1, proportional reasoning and graphing abilities

NASA Astrophysics Data System (ADS)

Lawrence, Lettie Carol

1997-08-01

The purpose of this investigation was to determine if an integrated curriculum in algebra 1/physical science facilitates acquisition of proportional reasoning and graphing abilities better than a non-integrated, traditional, algebra 1 curriculum. Also, this study was to ascertain if the integrated algebra 1/physical science curriculum resulted in greater student achievement in algebra 1. The curriculum used in the experimental class was SAM 9 (Science and Mathematics 9), an investigation-based curriculum that was written to integrate physical science and basic algebra content. The experiment was conducted over one school year. The subjects in the study were 61 ninth grade students. The experimental group consisted of one class taught concurrently by a mathematics teacher and a physical science teacher. The control group consisted of three classes of algebra 1 students taught by one mathematics teacher and taking physical science with other teachers in the school who were not participating in the SAM 9 program. This study utilized a quasi-experimental non-randomized control group pretest-posttest design. The investigator obtained end-of-algebra 1 scores from student records. The written open-ended graphing instruments and the proportional reasoning instrument were administered to both groups as pretests and posttests. The graphing instruments were also administered as a midtest. A two sample t-test for independent means was used to determine significant differences in achievement on the end-of-course algebra 1 test. Quantitative data from the proportional reasoning and graphing instruments were analyzed using a repeated measures analysis of variance to determine differences in scores over time for the experimental and control groups. The findings indicate no significant difference between the experimental and control groups on the end-of-course algebra 1 test. Results also indicate no significant differences in proportional reasoning and graphing abilities between the two groups over time. However, all subjects (experimental and control groups) made significant improvement in graphing abilities over one school year. In this study, students participating in an investigation-based curriculum integrating algebra 1 and physical science performed as well on the instruments as the students in the traditional curriculum. Therefore, an argument can be made that instruction using an integrated curriculum (algebra l/physical science) is a viable alternative to instruction using a more traditional algebra 1 curriculum. Finally, the integrated curriculum adheres to the constructivist theoretical perspective (Krupnik-Gotlieb, 1995) and is more consistent with recommendations in the NCTM Standards (1992) than the traditional curriculum.

Secondary Schools Curriculum Guide, Mathematics, Grades 10-12, Levels 87-112.

ERIC Educational Resources Information Center

Rogers, Arnold R., Ed.; And Others

Behavioral objectives for geometry, algebra, computer mathematics, trigonometry, analytic geometry, calculus, and probability are specified for grades 10 through 12. General objectives are stated for major areas under each topic and are followed by a list of specific objectives for that area. This work was prepared under an ESEA Title III…

Comparison of different models for non-invasive FFR estimation

NASA Astrophysics Data System (ADS)

Mirramezani, Mehran; Shadden, Shawn

2017-11-01

Coronary artery disease is a leading cause of death worldwide. Fractional flow reserve (FFR), derived from invasively measuring the pressure drop across a stenosis, is considered the gold standard to diagnose disease severity and need for treatment. Non-invasive estimation of FFR has gained recent attention for its potential to reduce patient risk and procedural cost versus invasive FFR measurement. Non-invasive FFR can be obtained by using image-based computational fluid dynamics to simulate blood flow and pressure in a patient-specific coronary model. However, 3D simulations require extensive effort for model construction and numerical computation, which limits their routine use. In this study we compare (ordered by increasing computational cost/complexity): reduced-order algebraic models of pressure drop across a stenosis; 1D, 2D (multiring) and 3D CFD models; as well as 3D FSI for the computation of FFR in idealized and patient-specific stenosis geometries. We demonstrate the ability of an appropriate reduced order algebraic model to closely predict FFR when compared to FFR from a full 3D simulation. This work was supported by the NIH, Grant No. R01-HL103419.

A Systematic Approach for Obtaining Performance on Matrix-Like Operations

NASA Astrophysics Data System (ADS)

Veras, Richard Michael

Scientific Computation provides a critical role in the scientific process because it allows us ask complex queries and test predictions that would otherwise be unfeasible to perform experimentally. Because of its power, Scientific Computing has helped drive advances in many fields ranging from Engineering and Physics to Biology and Sociology to Economics and Drug Development and even to Machine Learning and Artificial Intelligence. Common among these domains is the desire for timely computational results, thus a considerable amount of human expert effort is spent towards obtaining performance for these scientific codes. However, this is no easy task because each of these domains present their own unique set of challenges to software developers, such as domain specific operations, structurally complex data and ever-growing datasets. Compounding these problems are the myriads of constantly changing, complex and unique hardware platforms that an expert must target. Unfortunately, an expert is typically forced to reproduce their effort across multiple problem domains and hardware platforms. In this thesis, we demonstrate the automatic generation of expert level high-performance scientific codes for Dense Linear Algebra (DLA), Structured Mesh (Stencil), Sparse Linear Algebra and Graph Analytic. In particular, this thesis seeks to address the issue of obtaining performance on many complex platforms for a certain class of matrix-like operations that span across many scientific, engineering and social fields. We do this by automating a method used for obtaining high performance in DLA and extending it to structured, sparse and scale-free domains. We argue that it is through the use of the underlying structure found in the data from these domains that enables this process. Thus, obtaining performance for most operations does not occur in isolation of the data being operated on, but instead depends significantly on the structure of the data.

The Great Debate: Should All 8th Graders Take Algebra?

ERIC Educational Resources Information Center

McKibben, Sarah

2009-01-01

While 8th grade algebra was once reserved as a course for the gifted, today, more U.S. 8th graders take algebra than any other math course. This article discusses a report from the Brookings Institution which chronicles the history of the 8th-grade algebra surge and its impact on today's low-performing students. The report indicates that many of…

Characterizing the Nature of Students' Feature Noticing-and-Using with Respect to Mathematical Symbols across Different Levels of Algebra Exposure

ERIC Educational Resources Information Center

Sullivan, Patrick

2013-01-01

The purpose of this study is to examine the nature of what students notice about symbols and use as they solve unfamiliar algebra problems based on familiar algebra concepts and involving symbolic inscriptions. The researcher conducted a study of students at three levels of algebra exposure: (a) students enrolled in a high school pre-calculus…

The Effects of Teacher Collective Responsibility on the Mathematics Achievement of Students Who Repeat Algebra

ERIC Educational Resources Information Center

Morales-Chicas, Jessica; Agger, Charlotte

2017-01-01

In this article, the authors use the national High School Longitudinal Study of 2009 (HSLS:09) dataset to explore (a) if repeating algebra in the eighth grade was associated with overall mathematics grades and course-taking patterns by twelfth grade, (b) if repeating algebra in the eighth grade was associated with students' final grade in algebra,…

Quantum mechanics on periodic and non-periodic lattices and almost unitary Schwinger operators

NASA Astrophysics Data System (ADS)

Arik, Metin; Ildes, Medine

2018-05-01

In this work, we uncover the mathematical structure of the Schwinger algebra and introduce almost unitary Schwinger operators which are derived by considering translation operators on a finite lattice. We calculate mathematical relations between these algebras and show that the almost unitary Schwinger operators are equivalent to the Schwinger algebra. We introduce new representations for MN(C) in terms of these algebras.

Those Do What? Connecting Eigenvectors and Eigenvalues to the Rest of Linear Algebra: Using Visual Enhancements to Help Students Connect Eigenvectors to the Rest of Linear Algebra

ERIC Educational Resources Information Center

Nyman, Melvin A.; Lapp, Douglas A.; St. John, Dennis; Berry, John S.

2010-01-01

This paper discusses student difficulties in grasping concepts from Linear Algebra--in particular, the connection of eigenvalues and eigenvectors to other important topics in linear algebra. Based on our prior observations from student interviews, we propose technology-enhanced instructional approaches that might positively impact student…

Change in Peer Ability as a Mediator and Moderator of the Effect of the Algebra-For-All Policy on Ninth Graders' Math Outcomes

ERIC Educational Resources Information Center

Hong, Guanglei; Nomi, Takako

2011-01-01

A recent report by the Mathematics Advisory Panel referred to algebra as a "gateway" to later achievement (National Mathematics Advisory Panel, 2008). To address the problem of low academic performance in algebra, an increasing number of states and districts have started to implement a policy of requiring algebra for all students in…

The Effect of Scheduling Models for Introductory Algebra on 9th-Grade Students, Test Scores and Grades

ERIC Educational Resources Information Center

O'Hanlon, Angela L.

2011-01-01

The purpose of the study was to determine the effect of pacing and scheduling of algebra coursework on assigned 9th-grade students who traditionally would qualify for pre-algebra instruction and same course 9th-grade students who traditionally would qualify for standard algebra instruction. Students were selected based on completion of first-year…

Associative Algebraic Approach to Logarithmic CFT in the Bulk: The Continuum Limit of the {gl(1|1)} Periodic Spin Chain, Howe Duality and the Interchiral Algebra

NASA Astrophysics Data System (ADS)

Gainutdinov, A. M.; Read, N.; Saleur, H.

2016-01-01

We develop in this paper the principles of an associative algebraic approach to bulk logarithmic conformal field theories (LCFTs). We concentrate on the closed {gl(1|1)} spin-chain and its continuum limit—the {c=-2} symplectic fermions theory—and rely on two technical companion papers, Gainutdinov et al. (Nucl Phys B 871:245-288, 2013) and Gainutdinov et al. (Nucl Phys B 871:289-329, 2013). Our main result is that the algebra of local Hamiltonians, the Jones-Temperley-Lieb algebra JTL N , goes over in the continuum limit to a bigger algebra than {V}, the product of the left and right Virasoro algebras. This algebra, {S}—which we call interchiral, mixes the left and right moving sectors, and is generated, in the symplectic fermions case, by the additional field {S(z,bar{z})≡ S_{αβ} ψ^α(z)bar{ψ}^β(bar{z})}, with a symmetric form {S_{αβ}} and conformal weights (1,1). We discuss in detail how the space of states of the LCFT (technically, a Krein space) decomposes onto representations of this algebra, and how this decomposition is related with properties of the finite spin-chain. We show that there is a complete correspondence between algebraic properties of finite periodic spin chains and the continuum limit. An important technical aspect of our analysis involves the fundamental new observation that the action of JTL N in the {gl(1|1)} spin chain is in fact isomorphic to an enveloping algebra of a certain Lie algebra, itself a non semi-simple version of {sp_{N-2}}. The semi-simple part of JTL N is represented by {U sp_{N-2}}, providing a beautiful example of a classical Howe duality, for which we have a non semi-simple version in the full JTL N image represented in the spin-chain. On the continuum side, simple modules over {S} are identified with "fundamental" representations of {sp_∞}.

Deformed twistors and higher spin conformal (super-)algebras in four dimensions

DOE PAGES

Govil, Karan; Gunaydin, Murat

2015-03-05

Massless conformal scalar field in d = 4 corresponds to the minimal unitary representation (minrep) of the conformal group SU(2, 2) which admits a one-parameter family of deformations that describe massless fields of arbitrary helicity. The minrep and its deformations were obtained by quantization of the nonlinear realization of SU(2, 2) as a quasiconformal group in arXiv:0908.3624. We show that the generators of SU(2,2) for these unitary irreducible representations can be written as bilinears of deformed twistorial oscillators which transform nonlinearly under the Lorentz group and apply them to define and study higher spin algebras and superalgebras in AdS 5.more » The higher spin (HS) algebra of Fradkin-Vasiliev type in AdS 5 is simply the enveloping algebra of SU(2, 2) quotiented by a two-sided ideal (Joseph ideal) which annihilates the minrep. We show that the Joseph ideal vanishes identically for the quasiconformal realization of the minrep and its enveloping algebra leads directly to the HS algebra in AdS 5. Furthermore, the enveloping algebras of the deformations of the minrep define a one parameter family of HS algebras in AdS 5 for which certain 4d covariant deformations of the Joseph ideal vanish identically. These results extend to superconformal algebras SU(2, 2|N) and we find a one parameter family of HS superalgebras as enveloping algebras of the minimal unitary supermultiplet and its deformations. Our results suggest the existence of a family of (supersymmetric) HS theories in AdS 5 which are dual to free (super)conformal field theories (CFTs) or to interacting but integrable (supersymmetric) CFTs in 4d. We also discuss the corresponding picture in HS algebras in AdS 4 where the corresponding 3d conformal group Sp(4,R) admits only two massless representations (minreps), namely the scalar and spinor singletons.« less

Combinatorial Formulas for Characteristic Classes, and Localization of Secondary Topological Invariants.

NASA Astrophysics Data System (ADS)

Smirnov, Mikhail

1995-01-01

The problems solved in this thesis originated from combinatorial formulas for characteristic classes. This thesis deals with Chern-Simons classes, their generalizations and related algebraic and analytic problems. (1) In this thesis, I describe a new class of algebras whose elements contain Chern and generalized Chern -Simons classes. There is a Poisson bracket in these algebras, similar to the bracket in Kontsevich's noncommutative symplectic geometry (Kon). I prove that the Poisson bracket gives rise to a graded Lie algebra containing differential forms representing Chern and Chern-Simons classes. This is a new result. I describe algebraic analogs of the dilogarithm and higher polylogarithms in the algebra corresponding to Chern-Simons classes. (2) I study the properties of this bracket. It is possible to write the exterior differential and other operations in the algebra using this bracket. The bracket of any two Chern classes is zero and the bracket of a Chern class and a Chern-Simons class is d-closed. The construction developed here easily gives explicit formulas for known secondary classes and makes it possible to construct new ones. (3) I develop an algebraic model for the action of the gauge group and describe how elements of algebra corresponding to the secondary characteristic classes change under this action (see theorem 3 page xi). (4) It is possible give new explicit formulas for cocycles on a gauge group of a bundle and for the corresponding cocycles on the Lie algebra of the gauge group. I use formulas for secondary characteristic classes and an algebraic approach developed in chapter 1. I also use the work of Faddeev, Reiman and Semyonov-Tian-Shanskii (FRS) on cocycles as quantum anomalies. (5) I apply the methods of differential geometry of formal power series to construct universal characteristic and secondary characteristic classes. Given a pair of gauge equivalent connections using local formulas I obtain dilogarithmic and trilogarithmic analogs of Chern-Simons classes.

The Houdini Transformation: True, but Illusory.

PubMed

Bentler, Peter M; Molenaar, Peter C M

2012-01-01

Molenaar (2003, 2011) showed that a common factor model could be transformed into an equivalent model without factors, involving only observed variables and residual errors. He called this invertible transformation the Houdini transformation. His derivation involved concepts from time series and state space theory. This paper verifies the Houdini transformation on a general latent variable model using algebraic methods. The results show that the Houdini transformation is illusory, in the sense that the Houdini transformed model remains a latent variable model. Contrary to common knowledge, a model that is a path model with only observed variables and residual errors may, in fact, be a latent variable model.

The Houdini Transformation: True, but Illusory

PubMed Central

Bentler, Peter M.; Molenaar, Peter C. M.

2012-01-01

Molenaar (2003, 2011) showed that a common factor model could be transformed into an equivalent model without factors, involving only observed variables and residual errors. He called this invertible transformation the Houdini transformation. His derivation involved concepts from time series and state space theory. This paper verifies the Houdini transformation on a general latent variable model using algebraic methods. The results show that the Houdini transformation is illusory, in the sense that the Houdini transformed model remains a latent variable model. Contrary to common knowledge, a model that is a path model with only observed variables and residual errors may, in fact, be a latent variable model. PMID:23180888

Algebra for Gifted Third Graders.

ERIC Educational Resources Information Center

Borenson, Henry

1987-01-01

Elementary school children who are exposed to a concrete, hands-on experience in algebraic linear equations will more readily develop a positive mind-set and expectation for success in later formal, algebraic studies. (CB)

Using Student Work to Develop Teachers' Knowledge of Algebra

ERIC Educational Resources Information Center

Herbel-Eisenmann, Beth A.; Phillips, Elizabeth Difanis

2005-01-01

This article describes a set of learning activities that use algebraic problems and written student work to help preservice and in-service teachers understand students' algebraic thinking. (Contains 4 figures.)

Quantum Superalgebras at Roots of Unity and Topological Invariants of Three-manifolds

NASA Astrophysics Data System (ADS)

Blumen, Sacha C.

2006-01-01

The general method of Reshetikhin and Turaev is followed to develop topological invariants of closed, connected, orientable 3-manifolds from a new class of algebras called pseudo-modular Hopf algebras. Pseudo-modular Hopf algebras are a class of Z_2-graded ribbon Hopf algebras that generalise the concept of a modular Hopf algebra. The quantum superalgebra U_q(osp(1|2n)) over C is considered with q a primitive N^th root of unity for all integers N >= 3. For such a q, a certain left ideal I of U_q(osp(1|2n)) is also a two-sided Hopf ideal, and the quotient algebra U_q^(N)(osp(1|2n)) = U_q(osp(1|2n)) / I is a Z_2-graded ribbon Hopf algebra. For all n and all N >= 3, a finite collection of finite dimensional representations of U_q^(N)(osp(1|2n)) is defined. Each such representation of U_q^(N)(osp(1|2n)) is labelled by an integral dominant weight belonging to the truncated dominant Weyl chamber. Properties of these representations are considered: the quantum superdimension of each representation is calculated, each representation is shown to be self-dual, and more importantly, the decomposition of the tensor product of an arbitrary number of such representations is obtained for even N. It is proved that the quotient algebra U_q^(N)(osp(1|2n)), together with the set of finite dimensional representations discussed above, form a pseudo-modular Hopf algebra when N >= 6 is twice an odd number. Using this pseudo-modular Hopf algebra, we construct a topological invariant of 3-manifolds. This invariant is shown to be different to the topological invariants of 3-manifolds arising from quantum so(2n+1) at roots of unity.

A Loomis-Sikorski theorem and functional calculus for a generalized Hermitian algebra

NASA Astrophysics Data System (ADS)

Foulis, David J.; Jenčová, Anna; Pulmannová, Sylvia

2017-10-01

A generalized Hermitian (GH-) algebra is a generalization of the partially ordered Jordan algebra of all Hermitian operators on a Hilbert space. We introduce the notion of a gh-tribe, which is a commutative GH-algebra of functions on a nonempty set X with pointwise partial order and operations, and we prove that every commutative GH-algebra is the image of a gh-tribe under a surjective GH-morphism. Using this result, we prove that each element a of a GH-algebra A corresponds to a real observable ξa on the σ-orthomodular lattice of projections in A and that ξa determines the spectral resolution of a. Also, if f is a continuous function defined on the spectrum of a, we formulate a definition of f (a), thus obtaining a continuous functional calculus for A.

Symmetries and Invariants of Twisted Quantum Algebras and Associated Poisson Algebras

NASA Astrophysics Data System (ADS)

Molev, A. I.; Ragoucy, E.

We construct an action of the braid group BN on the twisted quantized enveloping algebra U q'( {o}N) where the elements of BN act as automorphisms. In the classical limit q → 1, we recover the action of BN on the polynomial functions on the space of upper triangular matrices with ones on the diagonal. The action preserves the Poisson bracket on the space of polynomials which was introduced by Nelson and Regge in their study of quantum gravity and rediscovered in the mathematical literature. Furthermore, we construct a Poisson bracket on the space of polynomials associated with another twisted quantized enveloping algebra U q'( {sp}2n). We use the Casimir elements of both twisted quantized enveloping algebras to reproduce and construct some well-known and new polynomial invariants of the corresponding Poisson algebras.

Analysis of Secondary School Students’ Algebraic Thinking and Math-Talk Learning Community to Help Students Learn

NASA Astrophysics Data System (ADS)

Nurhayati, D. M.; Herman, T.; Suhendra, S.

2017-09-01

This study aims to determine the difficulties of algebraic thinking ability of students in one of secondary school on quadrilateral subject and to describe Math-Talk Learning Community as the alternative way that can be done to overcome the difficulties of the students’ algebraic thinking ability. Research conducted by using quantitative approach with descriptive method. The population in this research was all students of that school and twenty three students as the sample that was chosen by purposive sampling technique. Data of algebraic thinking were collected through essay test. The results showed the percentage of achievement of students’ algebraic thinking’s indicators on three aspects: a) algebra as generalized arithmetic with the indicators (conceptually based computational strategies and estimation); b) algebra as the language of mathematics (meaning of variables, variable expressions and meaning of solution); c) algebra as a tool for functions and mathematical modelling (representing mathematical ideas using equations, tables, or words and generalizing patterns and rules in real-world contexts) is still low. It is predicted that because the secondary school students was not familiar with the abstract problem and they are still at a semi-concrete stage where the stage of cognitive development is between concrete and abstract. Based on the percentage achievement of each indicators, it can be concluded that the level of achievement of student’s mathematical communication using conventional learning is still low, so students’ algebraic thinking ability need to be improved.

Minimal unitary representation of 5d superconformal algebra F(4) and AdS 6/CFT 5 higher spin (super)-algebras

DOE PAGES

Fernando, Sudarshan; Günaydin, Murat

2014-11-28

We study the minimal unitary representation (minrep) of SO(5, 2), obtained by quantization of its geometric quasiconformal action, its deformations and supersymmetric extensions. The minrep of SO(5, 2) describes a massless conformal scalar field in five dimensions and admits a unique “deformation” which describes a massless conformal spinor. Scalar and spinor minreps of SO(5, 2) are the 5d analogs of Dirac’s singletons of SO(3, 2). We then construct the minimal unitary representation of the unique 5d supercon-formal algebra F(4) with the even subalgebra SO(5, 2) ×SU(2). The minrep of F(4) describes a massless conformal supermultiplet consisting of two scalar andmore » one spinor fields. We then extend our results to the construction of higher spin AdS 6/CFT 5 (super)-algebras. The Joseph ideal of the minrep of SO(5, 2) vanishes identically as operators and hence its enveloping algebra yields the AdS 6/CFT 5 bosonic higher spin algebra directly. The enveloping algebra of the spinor minrep defines a “deformed” higher spin algebra for which a deformed Joseph ideal vanishes identically as operators. These results are then extended to the construction of the unique higher spin AdS 6/CFT 5 superalgebra as the enveloping algebra of the minimal unitary realization of F(4) obtained by the quasiconformal methods.« less

Responsibility for proving and defining in abstract algebra class

NASA Astrophysics Data System (ADS)

Fukawa-Connelly, Timothy

2016-07-01

There is considerable variety in inquiry-oriented instruction, but what is common is that students assume roles in mathematical activity that in a traditional, lecture-based class are either assumed by the teacher (or text) or are not visible at all in traditional math classrooms. This paper is a case study of the teaching of an inquiry-based undergraduate abstract algebra course. In particular, gives a theoretical account of the defining and proving processes. The study examines the intellectual responsibility for the processes of defining and proving that the professor devolved to the students. While the professor wanted the students to engage in all aspects of defining and proving, he was only successful at devolving responsibility for certain aspects and much more successful at devolving responsibility for proving than conjecturing or defining. This study suggests that even a well-intentioned instructor may not be able to devolve responsibility to students for some aspects of mathematical practice without using a research-based curriculum or further professional development.

Double-Stage Delay Multiply and Sum Beamforming Algorithm Applied to Ultrasound Medical Imaging.

PubMed

Mozaffarzadeh, Moein; Sadeghi, Masume; Mahloojifar, Ali; Orooji, Mahdi

2018-03-01

In ultrasound (US) imaging, delay and sum (DAS) is the most common beamformer, but it leads to low-quality images. Delay multiply and sum (DMAS) was introduced to address this problem. However, the reconstructed images using DMAS still suffer from the level of side lobes and low noise suppression. Here, a novel beamforming algorithm is introduced based on expansion of the DMAS formula. We found that there is a DAS algebra inside the expansion, and we proposed use of the DMAS instead of the DAS algebra. The introduced method, namely double-stage DMAS (DS-DMAS), is evaluated numerically and experimentally. The quantitative results indicate that DS-DMAS results in an approximately 25% lower level of side lobes compared with DMAS. Moreover, the introduced method leads to 23%, 22% and 43% improvement in signal-to-noise ratio, full width at half-maximum and contrast ratio, respectively, compared with the DMAS beamformer. Copyright © 2018. Published by Elsevier Inc.

A Structural Model of Algebra Achievement: Computational Fluency and Spatial Visualisation as Mediators of the Effect of Working Memory on Algebra Achievement

ERIC Educational Resources Information Center

Tolar, Tammy Daun; Lederberg, Amy R.; Fletcher, Jack M.

2009-01-01

The goal of this study was to develop and evaluate a structural model of the relations among cognitive abilities and arithmetic skills and college students' algebra achievement. The model of algebra achievement was compared to a model of performance on the Scholastic Assessment in Mathematics (SAT-M) to determine whether the pattern of relations…

Students' Perceptions about the Symbols, Letters and Signs in Algebra and How Do These Affect Their Learning of Algebra: A Case Study in a Government Girls Secondary School Karachi

ERIC Educational Resources Information Center

Samo, Mashooque Ali

2009-01-01

Algebra uses symbols for generalizing arithmetic. These symbols have different meanings and interpretations in different situations. Students have different perceptions about these symbols, letters and signs. Despite the vast research by on the students' difficulties in understanding letters in Algebra, the overall image that emerges from the…

Continuous family of finite-dimensional representations of a solvable Lie algebra arising from singularities

PubMed Central

Yau, Stephen S.-T.

1983-01-01

A natural mapping from the set of complex analytic isolated hypersurface singularities to the set of finite dimensional Lie algebras is first defined. It is proven that the image under this natural mapping is contained in the set of solvable Lie algebras. This approach gives rise to a continuous inequivalent family of finite dimensional representations of a solvable Lie algebra. PMID:16593401

A differential operator realisation approach for constructing Casimir operators of non-semisimple Lie algebras

NASA Astrophysics Data System (ADS)

Alshammari, Fahad; Isaac, Phillip S.; Marquette, Ian

2018-02-01

We introduce a search algorithm that utilises differential operator realisations to find polynomial Casimir operators of Lie algebras. To demonstrate the algorithm, we look at two classes of examples: (1) the model filiform Lie algebras and (2) the Schrödinger Lie algebras. We find that an abstract form of dimensional analysis assists us in our algorithm, and greatly reduces the complexity of the problem.

Exceptional quantum geometry and particle physics

NASA Astrophysics Data System (ADS)

Dubois-Violette, Michel

2016-11-01

Based on an interpretation of the quark-lepton symmetry in terms of the unimodularity of the color group SU (3) and on the existence of 3 generations, we develop an argumentation suggesting that the "finite quantum space" corresponding to the exceptional real Jordan algebra of dimension 27 (the Euclidean Albert algebra) is relevant for the description of internal spaces in the theory of particles. In particular, the triality which corresponds to the 3 off-diagonal octonionic elements of the exceptional algebra is associated to the 3 generations of the Standard Model while the representation of the octonions as a complex 4-dimensional space C ⊕C3 is associated to the quark-lepton symmetry (one complex for the lepton and 3 for the corresponding quark). More generally it is suggested that the replacement of the algebra of real functions on spacetime by the algebra of functions on spacetime with values in a finite-dimensional Euclidean Jordan algebra which plays the role of "the algebra of real functions" on the corresponding almost classical quantum spacetime is relevant in particle physics. This leads us to study the theory of Jordan modules and to develop the differential calculus over Jordan algebras (i.e. to introduce the appropriate notion of differential forms). We formulate the corresponding definition of connections on Jordan modules.

Working memory, worry, and algebraic ability.

PubMed

Trezise, Kelly; Reeve, Robert A

2014-05-01

Math anxiety (MA)-working memory (WM) relationships have typically been examined in the context of arithmetic problem solving, and little research has examined the relationship in other math domains (e.g., algebra). Moreover, researchers have tended to examine MA/worry separate from math problem solving activities and have used general WM tasks rather than domain-relevant WM measures. Furthermore, it seems to have been assumed that MA affects all areas of math. It is possible, however, that MA is restricted to particular math domains. To examine these issues, the current research assessed claims about the impact on algebraic problem solving of differences in WM and algebraic worry. A sample of 80 14-year-old female students completed algebraic worry, algebraic WM, algebraic problem solving, nonverbal IQ, and general math ability tasks. Latent profile analysis of worry and WM measures identified four performance profiles (subgroups) that differed in worry level and WM capacity. Consistent with expectations, subgroup membership was associated with algebraic problem solving performance: high WM/low worry>moderate WM/low worry=moderate WM/high worry>low WM/high worry. Findings are discussed in terms of the conceptual relationship between emotion and cognition in mathematics and implications for the MA-WM-performance relationship. Copyright © 2013 Elsevier Inc. All rights reserved.

DOE Office of Scientific and Technical Information (OSTI.GOV)

Miyadera, Takayuki; Imai, Hideki; Graduate School of Science and Engineering, Chuo University, 1-13-27 Kasuga, Bunkyo-ku, Tokyo 112-8551

This paper discusses the no-cloning theorem in a logicoalgebraic approach. In this approach, an orthoalgebra is considered as a general structure for propositions in a physical theory. We proved that an orthoalgebra admits cloning operation if and only if it is a Boolean algebra. That is, only classical theory admits the cloning of states. If unsharp propositions are to be included in the theory, then a notion of effect algebra is considered. We proved that an atomic Archimedean effect algebra admitting cloning operation is a Boolean algebra. This paper also presents a partial result, indicating a relation between the cloningmore » on effect algebras and hidden variables.« less

The noncommutative Poisson bracket and the deformation of the family algebras

DOE Office of Scientific and Technical Information (OSTI.GOV)

Wei, Zhaoting, E-mail: zhaotwei@indiana.edu

The family algebras are introduced by Kirillov in 2000. In this paper, we study the noncommutative Poisson bracket P on the classical family algebra C{sub τ}(g). We show that P controls the first-order 1-parameter formal deformation from C{sub τ}(g) to Q{sub τ}(g) where the latter is the quantum family algebra. Moreover, we will prove that the noncommutative Poisson bracket is in fact a Hochschild 2-coboundary, and therefore, the deformation is infinitesimally trivial. In the last part of this paper, we discuss the relation between Mackey’s analogue and the quantization problem of the family algebras.

On character amenability of Banach algebras

NASA Astrophysics Data System (ADS)

Kaniuth, E.; Lau, A. T.; Pym, J.

2008-08-01

We continue our work [E. Kaniuth, A.T. Lau, J. Pym, On [phi]-amenability of Banach algebras, Math. Proc. Cambridge Philos. Soc. 144 (2008) 85-96] in the study of amenability of a Banach algebra A defined with respect to a character [phi] of A. Various necessary and sufficient conditions of a global and a pointwise nature are found for a Banach algebra to possess a [phi]-mean of norm 1. We also completely determine the size of the set of [phi]-means for a separable weakly sequentially complete Banach algebra A with no [phi]-mean in A itself. A number of illustrative examples are discussed.

Gopakumar-Vafa Invariants Do Not Determine Flops

NASA Astrophysics Data System (ADS)

Brown, Gavin; Wemyss, Michael

2017-11-01

Two 3-fold flops are exhibited, both of which have precisely one flopping curve. One of the two flops is new and is distinct from all known algebraic D 4-flops. It is shown that the two flops are neither algebraically nor analytically isomorphic, yet their curve-counting Gopakumar-Vafa invariants are the same. We further show that the contraction algebras associated to both are not isomorphic, so the flops are distinguished at this level. This shows that the contraction algebra is a finer invariant than various curve-counting theories, and it also provides more evidence for the proposed analytic classification of 3-fold flops via contraction algebras.

Homomorphisms in C*-ternary algebras and JB*-triples

NASA Astrophysics Data System (ADS)

Park, Choonkil; Rassias, Themistocles M.

2008-01-01

In this paper, we investigate homomorphisms between C*-ternary algebras and derivations on C*-ternary algebras, and homomorphisms between JB*-triples and derivations on JB*-triples, associated with the following Apollonius type additive functional equation

Using Homemade Algebra Tiles To Develop Algebra and Prealgebra Concepts.

ERIC Educational Resources Information Center

Leitze, Annette Ricks; Kitt, Nancy A.

2000-01-01

Describes how to use homemade tiles, sketches, and the box method to reach a broader group of students for successful algebra learning. Provides a list of concepts appropriate for such an approach. (KHR)

Non-commutative methods in quantum mechanics

NASA Astrophysics Data System (ADS)

Millard, Andrew Clive

1997-09-01

Non-commutativity appears in physics almost hand in hand with quantum mechanics. Non-commuting operators corresponding to observables lead to Heisenberg's Uncertainty Principle, which is often used as a prime example of how quantum mechanics transcends 'common sense', while the operators that generate a symmetry group are usually given in terms of their commutation relations. This thesis discusses a number of new developments which go beyond the usual stopping point of non-commuting quantities as matrices with complex elements. Chapter 2 shows how certain generalisations of quantum mechanics, from using complex numbers to using other (often non-commutative) algebras, can still be written as linear systems with symplectic phase flows. Chapter 3 deals with Adler's trace dynamics, a non-linear graded generalisation of Hamiltonian dynamics with supersymmetry applications, where the phase space coordinates are (generally non-commuting) operators, and reports on aspects of a demonstration that the statistical averages of the dynamical variables obey the rules of complex quantum field theory. The last two chapters discuss specific aspects of quaternionic quantum mechanics. Chapter 4 reports a generalised projective representation theory and presents a structure theorem that categorises quaternionic projective representations. Chapter 5 deals with a generalisation of the coherent states formalism and examines how it may be applied to two commonly used groups.

Yang-Baxter algebras, integrable theories and Bethe Ansatz

DOE Office of Scientific and Technical Information (OSTI.GOV)

De Vega, H.J.

1990-03-10

This paper presents the Yang-Baxter algebras (YBA) in a general framework stressing their power to exactly solve the lattice models associated to them. The algebraic Behe Ansatz is developed as an eigenvector construction based on the YBA. The six-vertex model solution is given explicitly. The generalization of YB algebras to face language is considered. The algebraic BA for the SOS model of Andrews, Baxter and Forrester is described using these face YB algebras. It is explained how these lattice models yield both solvable massive QFT and conformal models in appropriated scaling (continuous) limits within the lattice light-cone approach. This approachmore » permit to define and solve rigorously massive QFT as an appropriate continuum limit of gapless vertex models. The deep links between the YBA and Lie algebras are analyzed including the quantum groups that underlay the trigonometric/hyperbolic YBA. Braid and quantum groups are derived from trigonometric/hyperbolic YBA in the limit of infinite spectral parameter. To conclude, some recent developments in the domain of integrable theories are summarized.« less

A new family of N dimensional superintegrable double singular oscillators and quadratic algebra Q(3) ⨁ so(n) ⨁ so(N-n)

NASA Astrophysics Data System (ADS)

Fazlul Hoque, Md; Marquette, Ian; Zhang, Yao-Zhong

2015-11-01

We introduce a new family of N dimensional quantum superintegrable models consisting of double singular oscillators of type (n, N-n). The special cases (2,2) and (4,4) have previously been identified as the duals of 3- and 5-dimensional deformed Kepler-Coulomb systems with u(1) and su(2) monopoles, respectively. The models are multiseparable and their wave functions are obtained in (n, N-n) double-hyperspherical coordinates. We obtain the integrals of motion and construct the finitely generated polynomial algebra that is the direct sum of a quadratic algebra Q(3) involving three generators, so(n), so(N-n) (i.e. Q(3) ⨁ so(n) ⨁ so(N-n)). The structure constants of the quadratic algebra itself involve the Casimir operators of the two Lie algebras so(n) and so(N-n). Moreover, we obtain the finite dimensional unitary representations (unirreps) of the quadratic algebra and present an algebraic derivation of the degenerate energy spectrum of the superintegrable model.

Deformed oscillator algebra approach of some quantum superintegrable Lissajous systems on the sphere and of their rational extensions

DOE Office of Scientific and Technical Information (OSTI.GOV)

Marquette, Ian, E-mail: i.marquette@uq.edu.au; Quesne, Christiane, E-mail: cquesne@ulb.ac.be

2015-06-15

We extend the construction of 2D superintegrable Hamiltonians with separation of variables in spherical coordinates using combinations of shift, ladder, and supercharge operators to models involving rational extensions of the two-parameter Lissajous systems on the sphere. These new families of superintegrable systems with integrals of arbitrary order are connected with Jacobi exceptional orthogonal polynomials of type I (or II) and supersymmetric quantum mechanics. Moreover, we present an algebraic derivation of the degenerate energy spectrum for the one- and two-parameter Lissajous systems and the rationally extended models. These results are based on finitely generated polynomial algebras, Casimir operators, realizations as deformedmore » oscillator algebras, and finite-dimensional unitary representations. Such results have only been established so far for 2D superintegrable systems separable in Cartesian coordinates, which are related to a class of polynomial algebras that display a simpler structure. We also point out how the structure function of these deformed oscillator algebras is directly related with the generalized Heisenberg algebras spanned by the nonpolynomial integrals.« less

Algebraic Systems and Pushdown Automata

NASA Astrophysics Data System (ADS)

Petre, Ion; Salomaa, Arto

We concentrate in this chapter on the core aspects of algebraic series, pushdown automata, and their relation to formal languages. We choose to follow here a presentation of their theory based on the concept of properness. We introduce in Sect. 2 some auxiliary notions and results needed throughout the chapter, in particular the notions of discrete convergence in semirings and C-cycle free infinite matrices. In Sect. 3 we introduce the algebraic power series in terms of algebraic systems of equations. We focus on interconnections with context-free grammars and on normal forms. We then conclude the section with a presentation of the theorems of Shamir and Chomsky-Schützenberger. We discuss in Sect. 4 the algebraic and the regulated rational transductions, as well as some representation results related to them. Section 5 is dedicated to pushdown automata and focuses on the interconnections with classical (non-weighted) pushdown automata and on the interconnections with algebraic systems. We then conclude the chapter with a brief discussion of some of the other topics related to algebraic systems and pushdown automata.

Linear {GLP}-algebras and their elementary theories

NASA Astrophysics Data System (ADS)

Pakhomov, F. N.

2016-12-01

The polymodal provability logic {GLP} was introduced by Japaridze in 1986. It is the provability logic of certain chains of provability predicates of increasing strength. Every polymodal logic corresponds to a variety of polymodal algebras. Beklemishev and Visser asked whether the elementary theory of the free {GLP}-algebra generated by the constants \\mathbf{0}, \\mathbf{1} is decidable [1]. For every positive integer n we solve the corresponding question for the logics {GLP}_n that are the fragments of {GLP} with n modalities. We prove that the elementary theory of the free {GLP}_n-algebra generated by the constants \\mathbf{0}, \\mathbf{1} is decidable for all n. We introduce the notion of a linear {GLP}_n-algebra and prove that all free {GLP}_n-algebras generated by the constants \\mathbf{0}, \\mathbf{1} are linear. We also consider the more general case of the logics {GLP}_α whose modalities are indexed by the elements of a linearly ordered set α: we define the notion of a linear algebra and prove the latter result in this case.

A method to perform a fast fourier transform with primitive image transformations.

PubMed

Sheridan, Phil

2007-05-01

The Fourier transform is one of the most important transformations in image processing. A major component of this influence comes from the ability to implement it efficiently on a digital computer. This paper describes a new methodology to perform a fast Fourier transform (FFT). This methodology emerges from considerations of the natural physical constraints imposed by image capture devices (camera/eye). The novel aspects of the specific FFT method described include: 1) a bit-wise reversal re-grouping operation of the conventional FFT is replaced by the use of lossless image rotation and scaling and 2) the usual arithmetic operations of complex multiplication are replaced with integer addition. The significance of the FFT presented in this paper is introduced by extending a discrete and finite image algebra, named Spiral Honeycomb Image Algebra (SHIA), to a continuous version, named SHIAC.

Using linear algebra for protein structural comparison and classification

PubMed Central

2009-01-01

In this article, we describe a novel methodology to extract semantic characteristics from protein structures using linear algebra in order to compose structural signature vectors which may be used efficiently to compare and classify protein structures into fold families. These signatures are built from the pattern of hydrophobic intrachain interactions using Singular Value Decomposition (SVD) and Latent Semantic Indexing (LSI) techniques. Considering proteins as documents and contacts as terms, we have built a retrieval system which is able to find conserved contacts in samples of myoglobin fold family and to retrieve these proteins among proteins of varied folds with precision of up to 80%. The classifier is a web tool available at our laboratory website. Users can search for similar chains from a specific PDB, view and compare their contact maps and browse their structures using a JMol plug-in. PMID:21637532

Using linear algebra for protein structural comparison and classification.

PubMed

Gomide, Janaína; Melo-Minardi, Raquel; Dos Santos, Marcos Augusto; Neshich, Goran; Meira, Wagner; Lopes, Júlio César; Santoro, Marcelo

2009-07-01

In this article, we describe a novel methodology to extract semantic characteristics from protein structures using linear algebra in order to compose structural signature vectors which may be used efficiently to compare and classify protein structures into fold families. These signatures are built from the pattern of hydrophobic intrachain interactions using Singular Value Decomposition (SVD) and Latent Semantic Indexing (LSI) techniques. Considering proteins as documents and contacts as terms, we have built a retrieval system which is able to find conserved contacts in samples of myoglobin fold family and to retrieve these proteins among proteins of varied folds with precision of up to 80%. The classifier is a web tool available at our laboratory website. Users can search for similar chains from a specific PDB, view and compare their contact maps and browse their structures using a JMol plug-in.

NPTool: Towards Scalability and Reliability of Business Process Management

NASA Astrophysics Data System (ADS)

Braghetto, Kelly Rosa; Ferreira, João Eduardo; Pu, Calton

Currently one important challenge in business process management is provide at the same time scalability and reliability of business process executions. This difficulty becomes more accentuated when the execution control assumes complex countless business processes. This work presents NavigationPlanTool (NPTool), a tool to control the execution of business processes. NPTool is supported by Navigation Plan Definition Language (NPDL), a language for business processes specification that uses process algebra as formal foundation. NPTool implements the NPDL language as a SQL extension. The main contribution of this paper is a description of the NPTool showing how the process algebra features combined with a relational database model can be used to provide a scalable and reliable control in the execution of business processes. The next steps of NPTool include reuse of control-flow patterns and support to data flow management.

Computer Algebra Systems in Undergraduate Instruction.

ERIC Educational Resources Information Center

Small, Don; And Others

1986-01-01

Computer algebra systems (such as MACSYMA and muMath) can carry out many of the operations of calculus, linear algebra, and differential equations. Use of them with sketching graphs of rational functions and with other topics is discussed. (MNS)

Operator algebra as an application of logarithmic representation of infinitesimal generators

NASA Astrophysics Data System (ADS)

Iwata, Yoritaka

2018-02-01

The operator algebra is introduced based on the framework of logarithmic representation of infinitesimal generators. In conclusion a set of generally-unbounded infinitesimal generators is characterized as a module over the Banach algebra.

Quantum deformations of conformal algebras with mass-like deformation parameters

DOE Office of Scientific and Technical Information (OSTI.GOV)

Frydryszak, Andrzej; Lukierski, Jerzy; Mozrzymas, Marek

1998-12-15

We recall the mathematical apparatus necessary for the quantum deformation of Lie algebras, namely the notions of coboundary Lie algebras, classical r-matrices, classical Yang-Baxter equations (CYBE), Froebenius algebras and parabolic subalgebras. Then we construct the quantum deformation of D=1, D=2 and D=3 conformal algebras, showing that this quantization introduce fundamental mass parameters. Finally we consider with more details the quantization of D=4 conformal algebra. We build three classes of sl(4,C) classical r-matrices, satisfying CYBE and depending respectively on 8, 10 and 12 generators of parabolic subalgebras. We show that only the 8-dimensional r-matrices allow to impose the D=4 conformal o(4,2){approx_equal}su(2,2)more » reality conditions. Weyl reflections and Dynkin diagram automorphisms for o(4,2) define the class of admissible bases for given classical r-matrices.« less

Quantum teleportation and Birman-Murakami-Wenzl algebra

NASA Astrophysics Data System (ADS)

Zhang, Kun; Zhang, Yong

2017-02-01

In this paper, we investigate the relationship of quantum teleportation in quantum information science and the Birman-Murakami-Wenzl (BMW) algebra in low-dimensional topology. For simplicity, we focus on the two spin-1/2 representation of the BMW algebra, which is generated by both the Temperley-Lieb projector and the Yang-Baxter gate. We describe quantum teleportation using the Temperley-Lieb projector and the Yang-Baxter gate, respectively, and study teleportation-based quantum computation using the Yang-Baxter gate. On the other hand, we exploit the extended Temperley-Lieb diagrammatical approach to clearly show that the tangle relations of the BMW algebra have a natural interpretation of quantum teleportation. Inspired by this interpretation, we construct a general representation of the tangle relations of the BMW algebra and obtain interesting representations of the BMW algebra. Therefore, our research sheds a light on a link between quantum information science and low-dimensional topology.

Sixth SIAM conference on applied linear algebra: Final program and abstracts. Final technical report

DOE Office of Scientific and Technical Information (OSTI.GOV)

NONE

1997-12-31

Linear algebra plays a central role in mathematics and applications. The analysis and solution of problems from an amazingly wide variety of disciplines depend on the theory and computational techniques of linear algebra. In turn, the diversity of disciplines depending on linear algebra also serves to focus and shape its development. Some problems have special properties (numerical, structural) that can be exploited. Some are simply so large that conventional approaches are impractical. New computer architectures motivate new algorithms, and fresh ways to look at old ones. The pervasive nature of linear algebra in analyzing and solving problems means that peoplemore » from a wide spectrum--universities, industrial and government laboratories, financial institutions, and many others--share an interest in current developments in linear algebra. This conference aims to bring them together for their mutual benefit. Abstracts of papers presented are included.« less

Algebra for Enterprise Ontology: towards analysis and synthesis of enterprise models

NASA Astrophysics Data System (ADS)

Suga, Tetsuya; Iijima, Junichi

2018-03-01

Enterprise modeling methodologies have made enterprises more likely to be the object of systems engineering rather than craftsmanship. However, the current state of research in enterprise modeling methodologies lacks investigations of the mathematical background embedded in these methodologies. Abstract algebra, a broad subfield of mathematics, and the study of algebraic structures may provide interesting implications in both theory and practice. Therefore, this research gives an empirical challenge to establish an algebraic structure for one aspect model proposed in Design & Engineering Methodology for Organizations (DEMO), which is a major enterprise modeling methodology in the spotlight as a modeling principle to capture the skeleton of enterprises for developing enterprise information systems. The results show that the aspect model behaves well in the sense of algebraic operations and indeed constructs a Boolean algebra. This article also discusses comparisons with other modeling languages and suggests future work.

The development and nature of problem-solving among first-semester calculus students

NASA Astrophysics Data System (ADS)

Dawkins, Paul Christian; Mendoza Epperson, James A.

2014-08-01

This study investigates interactions between calculus learning and problem-solving in the context of two first-semester undergraduate calculus courses in the USA. We assessed students' problem-solving abilities in a common US calculus course design that included traditional lecture and assessment with problem-solving-oriented labs. We investigate this blended instruction as a local representative of the US calculus reform movements that helped foster it. These reform movements tended to emphasize problem-solving as well as multiple mathematical registers and quantitative modelling. Our statistical analysis reveals the influence of the blended traditional/reform calculus instruction on students' ability to solve calculus-related, non-routine problems through repeated measures over the semester. The calculus instruction in this study significantly improved students' performance on non-routine problems, though performance improved more regarding strategies and accuracy than it did for drawing conclusions and providing justifications. We identified problem-solving behaviours that characterized top performance or attrition in the course. Top-performing students displayed greater algebraic proficiency, calculus skills, and more general heuristics than their peers, but overused algebraic techniques even when they proved cumbersome or inappropriate. Students who subsequently withdrew from calculus often lacked algebraic fluency and understanding of the graphical register. The majority of participants, when given a choice, relied upon less sophisticated trial-and-error approaches in the numerical register and rarely used the graphical register, contrary to the goals of US calculus reform. We provide explanations for these patterns in students' problem-solving performance in view of both their preparation for university calculus and the courses' assessment structure, which preferentially rewarded algebraic reasoning. While instruction improved students' problem-solving performance, we observe that current instruction requires ongoing refinement to help students develop multi-register fluency and the ability to model quantitatively, as is called for in current US standards for mathematical instruction.

Algebraic function operator expectation value based quantum eigenstate determination: A case of twisted or bent Hamiltonian, or, a spatially univariate quantum system on a curved space

DOE Office of Scientific and Technical Information (OSTI.GOV)

Baykara, N. A.

Recent studies on quantum evolutionary problems in Demiralp’s group have arrived at a stage where the construction of an expectation value formula for a given algebraic function operator depending on only position operator becomes possible. It has also been shown that this formula turns into an algebraic recursion amongst some finite number of consecutive elements in a set of expectation values of an appropriately chosen basis set over the natural number powers of the position operator as long as the function under consideration and the system Hamiltonian are both autonomous. This recursion corresponds to a denumerable infinite number of algebraicmore » equations whose solutions can or can not be obtained analytically. This idea is not completely original. There are many recursive relations amongst the expectation values of the natural number powers of position operator. However, those recursions may not be always efficient to get the system energy values and especially the eigenstate wavefunctions. The present approach is somehow improved and generalized form of those expansions. We focus on this issue for a specific system where the Hamiltonian is defined on the coordinate of a curved space instead of the Cartesian one.« less

Automation of Presentation Record Production Based on Rich-Media Technology Using SNT Petri Nets Theory.

PubMed

Martiník, Ivo

2015-01-01

Rich-media describes a broad range of digital interactive media that is increasingly used in the Internet and also in the support of education. Last year, a special pilot audiovisual lecture room was built as a part of the MERLINGO (MEdia-rich Repository of LearnING Objects) project solution. It contains all the elements of the modern lecture room determined for the implementation of presentation recordings based on the rich-media technologies and their publication online or on-demand featuring the access of all its elements in the automated mode including automatic editing. Property-preserving Petri net process algebras (PPPA) were designed for the specification and verification of the Petri net processes. PPPA does not need to verify the composition of the Petri net processes because all their algebraic operators preserve the specified set of the properties. These original PPPA are significantly generalized for the newly introduced class of the SNT Petri process and agent nets in this paper. The PLACE-SUBST and ASYNC-PROC algebraic operators are defined for this class of Petri nets and their chosen properties are proved. The SNT Petri process and agent nets theory were significantly applied at the design, verification, and implementation of the programming system ensuring the pilot audiovisual lecture room functionality.

Automation of Presentation Record Production Based on Rich-Media Technology Using SNT Petri Nets Theory

PubMed Central

Martiník, Ivo

2015-01-01

Rich-media describes a broad range of digital interactive media that is increasingly used in the Internet and also in the support of education. Last year, a special pilot audiovisual lecture room was built as a part of the MERLINGO (MEdia-rich Repository of LearnING Objects) project solution. It contains all the elements of the modern lecture room determined for the implementation of presentation recordings based on the rich-media technologies and their publication online or on-demand featuring the access of all its elements in the automated mode including automatic editing. Property-preserving Petri net process algebras (PPPA) were designed for the specification and verification of the Petri net processes. PPPA does not need to verify the composition of the Petri net processes because all their algebraic operators preserve the specified set of the properties. These original PPPA are significantly generalized for the newly introduced class of the SNT Petri process and agent nets in this paper. The PLACE-SUBST and ASYNC-PROC algebraic operators are defined for this class of Petri nets and their chosen properties are proved. The SNT Petri process and agent nets theory were significantly applied at the design, verification, and implementation of the programming system ensuring the pilot audiovisual lecture room functionality. PMID:26258164

Using CAS to Solve a Mathematics Task: A Deconstruction

ERIC Educational Resources Information Center

Berger, Margot

2010-01-01

I investigate how and whether a heterogeneous group of first-year university mathematics students in South Africa harness the potential power of a computer algebra system (CAS) when doing a specific mathematics task. In order to do this, I develop a framework for deconstructing a mathematics task requiring the use of CAS, into its primary…

Using the Computer Algebra System "Maple" to Generate Research Questions for Pre-Service Teachers in a Capstone Course

ERIC Educational Resources Information Center

Farley, Rosemary Carroll

2013-01-01

At Manhattan College, secondary mathematics education students take a capstone course designed specifically for them. In this course, students revisit important topics in the high school curriculum from a mathematically advanced perspective; incorporating the mathematical knowledge they have attained in their college mathematics classes to an…

Effects of a Reform High School Mathematics Curriculum on Student Achievement: Whom Does It Benefit?

ERIC Educational Resources Information Center

Krupa, Erin E.; Confrey, Jere

2017-01-01

This study compared the effects of an integrated reform-based curriculum to a subject-specific curriculum on student learning of 19,526 high school algebra students. Using hierarchical linear modelling to account for variation in student achievement, the impact of the reform-based "Core-Plus Mathematics" curricular materials on student…

Biomedical Mathematics, Unit I: Measurement, Linear Functions and Dimensional Algebra. Student Text. Revised Version, 1975.

ERIC Educational Resources Information Center

Biomedical Interdisciplinary Curriculum Project, Berkeley, CA.

This text presents lessons relating specific mathematical concepts to the ideas, skills, and tasks pertinent to the health care field. Among other concepts covered are linear functions, vectors, trigonometry, and statistics. Many of the lessons use data acquired during science experiments as the basis for exercises in mathematics. Lessons present…

A Comparison Study of Student Performance and Study Habits in College Algebra at a Hispanic Serving College

ERIC Educational Resources Information Center

Salinas, Lelia

2011-01-01

Large numbers of students arrive at colleges and universities unprepared, specifically in the area of mathematics. In Texas, approximately 47% of entering freshman students enroll in developmental mathematics. Mathematics is cited in the literature as cornerstone for success in science, and advanced technology. In this study, the extent to which…

The Cognitive Underpinnings of Emerging Mathematical Skills: Executive Functioning, Patterns, Numeracy, and Arithmetic

ERIC Educational Resources Information Center

Lee, Kerry; Ng, Swee Fong; Pe, Madeline Lee; Ang, Su Yin; Hasshim, Muhammad Nabil Azhar Mohd; Bull, Rebecca

2012-01-01

Background: Exposure to mathematical pattern tasks is often deemed important for developing children's algebraic thinking skills. Yet, there is a dearth of evidence on the cognitive underpinnings of pattern tasks and how early competencies on these tasks are related to later development. Aims: We examined the domain-specific and domain-general…

Arithmetic and Algebra in the Schools: Recommendations for a Return to Reality.

ERIC Educational Resources Information Center

Ailles, Douglas S.; And Others

The aim of this report is to suggest aspects of mathematics education that should be incorporated into curricula rather than to outline specific courses of study. General recommendations are made regarding curriculum, instructional methods, and textbooks. The suggestion that graphs and relations to be used as a unifying theme is followed by…

OBJ-1, A Study in Executable Algebraic Formal Specification.

DTIC Science & Technology

1981-07-01

natural way; 2. Achievement of a high level of abstraction in a natural way; 3. The possibility of executing test cases; 4I. User definition of data types...languages. Goguen has defined a new data type, called symboltree, in OBJ. The purpose of this data type is to provide for fast checking of certain... data type work, is given in Appendix C of this report. K. Parsaye-Ghomi, with A. B. C. Sampaio of UCLA, has written a specification of a hardware

Category-theoretic models of algebraic computer systems

NASA Astrophysics Data System (ADS)

Kovalyov, S. P.

2016-01-01

A computer system is said to be algebraic if it contains nodes that implement unconventional computation paradigms based on universal algebra. A category-based approach to modeling such systems that provides a theoretical basis for mapping tasks to these systems' architecture is proposed. The construction of algebraic models of general-purpose computations involving conditional statements and overflow control is formally described by a reflector in an appropriate category of algebras. It is proved that this reflector takes the modulo ring whose operations are implemented in the conventional arithmetic processors to the Łukasiewicz logic matrix. Enrichments of the set of ring operations that form bases in the Łukasiewicz logic matrix are found.

Elliptic biquaternion algebra

NASA Astrophysics Data System (ADS)

Özen, Kahraman Esen; Tosun, Murat

2018-01-01

In this study, we define the elliptic biquaternions and construct the algebra of elliptic biquaternions over the elliptic number field. Also we give basic properties of elliptic biquaternions. An elliptic biquaternion is in the form A0 + A1i + A2j + A3k which is a linear combination of {1, i, j, k} where the four components A0, A1, A2 and A3 are elliptic numbers. Here, 1, i, j, k are the quaternion basis of the elliptic biquaternion algebra and satisfy the same multiplication rules which are satisfied in both real quaternion algebra and complex quaternion algebra. In addition, we discuss the terms; conjugate, inner product, semi-norm, modulus and inverse for elliptic biquaternions.

A spatial operator algebra for manipulator modeling and control

NASA Technical Reports Server (NTRS)

Rodriguez, G.; Jain, A.; Kreutz-Delgado, K.

1991-01-01

A recently developed spatial operator algebra for manipulator modeling, control, and trajectory design is discussed. The elements of this algebra are linear operators whose domain and range spaces consist of forces, moments, velocities, and accelerations. The effect of these operators is equivalent to a spatial recursion along the span of a manipulator. Inversion of operators can be efficiently obtained via techniques of recursive filtering and smoothing. The operator algebra provides a high-level framework for describing the dynamic and kinematic behavior of a manipulator and for control and trajectory design algorithms. The interpretation of expressions within the algebraic framework leads to enhanced conceptual and physical understanding of manipulator dynamics and kinematics.

Learning to Apply Algebra in the Community for Adults With Intellectual Developmental Disabilities.

PubMed

Rodriguez, Anthony M

2016-02-01

Students with intellectual and developmental disabilities (IDD) are routinely excluded from algebra and other high-level mathematics courses. High school students with IDD take courses in arithmetic and life skills rather than having an opportunity to learn algebra. Yet algebra skills can support the learning of money and budgeting skills. This study explores the feasibility of algebra instruction for adults with IDD through an experimental curriculum. Ten individuals with IDD participated in a 6-week course framing mathematics concepts within the context of everyday challenges in handling money. The article explores classroom techniques, discusses student strategies, and proposes possible avenues for future research analyzing mathematics instructional design strategies for individuals with IDD.

Computing Gröbner Bases within Linear Algebra

NASA Astrophysics Data System (ADS)

Suzuki, Akira

In this paper, we present an alternative algorithm to compute Gröbner bases, which is based on computations on sparse linear algebra. Both of S-polynomial computations and monomial reductions are computed in linear algebra simultaneously in this algorithm. So it can be implemented to any computational system which can handle linear algebra. For a given ideal in a polynomial ring, it calculates a Gröbner basis along with the corresponding term order appropriately.