Hecke-Clifford Algebras and Spin Hecke Algebras IV: Odd Double Affine Type
NASA Astrophysics Data System (ADS)
Khongsap, Ta; Wang, Weiqiang
2009-01-01
We introduce an odd double affine Hecke algebra (DaHa) generated by a classical Weyl group W and two skew-polynomial subalgebras of anticommuting generators. This algebra is shown to be Morita equivalent to another new DaHa which are generated by W and two polynomial-Clifford subalgebras. There is yet a third algebra containing a spin Weyl group algebra which is Morita (super)equivalent to the above two algebras. We establish the PBW properties and construct Verma-type representations via Dunkl operators for these algebras.
The Differential Graded Odd NilHecke Algebra
NASA Astrophysics Data System (ADS)
Ellis, Alexander P.; Qi, You
2016-05-01
We equip the odd nilHecke algebra and its associated thick calculus category with diagrammatically local differentials. The resulting differential graded Grothendieck groups are isomorphic to two different forms of the positive part of quantum {{{sl}_2}} at a fourth root of unity.
All exactly solvable U(1)-invariant quantum spin 1 chains from Hecke algebra
Alcarez, F.C. ); Koberle, R. ); Lima-Santos, A. )
1992-12-10
In this paper, the authors obtain all exactly integrable spin 1 quantum chains, which are U(1) invariant and satisfy the Hecke algebra. The authors present various generalizations for arbitrary spin S and discuss their solution via Bethe ansatz methods.
On boundary fusion and functional relations in the Baxterized affine Hecke algebra
Babichenko, A.; Regelskis, V.
2014-04-15
We construct boundary type operators satisfying fused reflection equation for arbitrary representations of the Baxterized affine Hecke algebra. These operators are analogues of the fused reflection matrices in solvable half-line spin chain models. We show that these operators lead to a family of commuting transfer matrices of Sklyanin type. We derive fusion type functional relations for these operators for two families of representations.
Selection and identity rules for subductions of type A quantum Iwahori-Hecke algebras
Chilla, Vincenzo
2007-11-15
This paper is concerned with the subduction problem of type A quantum Iwahori-Hecke algebras CH(S{sub f},q{sup 2}) with a real deformation parameter q, i.e., the problem of decomposing irreducible representations of such algebras as direct sum of irreducible representations of the subalgebras CH(S{sub f{sub 1}},q{sup 2})xCH(S{sub f{sub 2}},q{sup 2}), with f{sub 1}+f{sub 2}=f. After giving a suitable combinatorial description for the subduction issue, we provide a selection rule, based on the Richardson-Littlewood criterion, which allows to determine the vanishing coupling coefficients between standard basis vectors for such representations, and we also present an equivariance condition for the subduction coefficients. Such results extend those ones corresponding to the subduction problem in symmetric group algebras CS{sub f}{down_arrow}CS{sub f{sub 1}}xCS{sub f{sub 2}} which are obtained by q approaching the value of 1.
NASA Astrophysics Data System (ADS)
Shirbisheh, Vahid
2012-06-01
As the first step towards developing noncommutative geometry over Hecke C ∗-algebras, we study property (RD) (Rapid Decay) for Hecke pairs. When the subgroup H in a Hecke pair ( G, H) is finite, we show that the Hecke pair ( G, H) has (RD) if and only if G has (RD). This provides us with a family of examples of Hecke pairs with property (RD). We also adapt Paul Jolissant's works in Jolissaint (J K-Theory 2:723-735, 1989; Trans Amer Math Soc 317(1):167-196, 1990) to the setting of Hecke C ∗-algebras and show that when a Hecke pair ( G, H) has property (RD), the algebra of rapidly decreasing functions on the set of double cosets is closed under holomorphic functional calculus of the associated (reduced) Hecke C ∗-algebra. Hence they have the same K 0-groups.
NASA Astrophysics Data System (ADS)
Méliot, Pierre-Loïc
2010-12-01
In this thesis, we investigate the asymptotics of random partitions chosen according to probability measures coming from the representation theory of the symmetric groups S_n and of the finite Chevalley groups GL(n,F_q) and Sp(2n,F_q). More precisely, we prove laws of large numbers and central limit theorems for the q-Plancherel measures of type A and B, the Schur-Weyl measures and the Gelfand measures. Using the RSK algorithm, it also gives results on longest increasing subsequences in random words. We develop a technique of moments (and cumulants) for random partitions, thereby using the polynomial functions on Young diagrams in the sense of Kerov and Olshanski. The algebra of polynomial functions, or observables of Young diagrams is isomorphic to the algebra of partial permutations; in the last part of the thesis, we try to generalize this beautiful construction.
From Bar Diagrams to Letter-Symbolic Algebra: A Technology-Enabled Bridging
ERIC Educational Resources Information Center
Looi, C. -K.; Lim, K. -S.
2009-01-01
In the Singapore primary school Mathematics curriculum, students are taught the model method that uses bar diagrams to visualize the problem structure in a given word problem. When these students progress to secondary school, they learn the algebraic way of solving word problems. Studies (e.g. Ng et al.) have shown that poor bridging of students…
Bifurcation diagram and the discriminant of a spectral curve of integrable systems on Lie algebras
Konyaev, Andrei Yu
2010-11-11
A bifurcation diagram is a stratified (in general, nonclosed) set and is one of the efficient tools of studying the topology of the Liouville foliation. In the framework of the present paper, the coincidence of the closure of a bifurcation diagram {Sigma}-bar of the moment map defined by functions obtained by the method of argument shift with the closure of the discriminant D-bar{sub z} of a spectral curve is proved for the Lie algebras sl(n+1), sp(2n), so(2n+1), and g{sub 2}. Moreover, it is proved that these sets are distinct for the Lie algebra so(2n). Bibliography: 22 titles.
Bifurcation diagram and the discriminant of a spectral curve of integrable systems on Lie algebras
NASA Astrophysics Data System (ADS)
Konyaev, Andrei Yu
2010-11-01
A bifurcation diagram is a stratified (in general, nonclosed) set and is one of the efficient tools of studying the topology of the Liouville foliation. In the framework of the present paper, the coincidence of the closure of a bifurcation diagram \\overline\\Sigma of the moment map defined by functions obtained by the method of argument shift with the closure of the discriminant \\overline D_z of a spectral curve is proved for the Lie algebras \\operatorname{sl}(n+1), \\operatorname{sp}(2n), \\operatorname{so}(2n+1), and \\operatorname{g}_2. Moreover, it is proved that these sets are distinct for the Lie algebra \\operatorname{so}(2n). Bibliography: 22 titles.
Enantioselective oxidative boron Heck reactions.
Lee, A-L
2016-06-28
This review highlights the use of the oxidative boron Heck reaction in enantioselective Heck-type couplings. The enantioselective oxidative boron Heck reaction overcomes several limitations of the traditional Pd(0)-catalysed Heck coupling and has subsequently allowed for intermolecular couplings of challenging systems such as cyclic enones, acyclic alkenes, and even site selectively on remote alkenes. PMID:26529247
Visual Thinking, Algebraic Thinking, and a Full Unit-Circle Diagram.
ERIC Educational Resources Information Center
Shear, Jonathan
1985-01-01
The study of trigonometric functions in terms of the unit circle offer an example of how students can learn algebraic relations and operations while using visually oriented thinking. Illustrations are included. (MNS)
Massive 3-loop Feynman diagrams reducible to SC * primitives of algebras of the sixth root of unity
NASA Astrophysics Data System (ADS)
Broadhurst, D. J.
1999-04-01
In each of the 10 cases with propagators of unit or zero mass, the finite part of the scalar 3-loop tetrahedral vacuum diagram is reduced to 4-letter words in the 7-letter alphabet of the 1-forms Ω:=dz/z and ω_p:=dz/ (λ^{-p}-z), where λ is the sixth root of unity. Three diagrams yield only ζ(Ω^3ω_0)=frac1{90}π^4. In two cases π^4 combines with the Euler-Zagier sum ζ(Ω^2ω_3ω_0)=sum_{m> n>0}(-1)^{m+n}/m^3n; in three cases it combines with the square of Clausen's Cl_2(π/3)=Im ζ(Ωω_1)=sum_{n>0}sin(π n/3)/n^2. The case with 6 masses involves no further constant; with 5 masses a Deligne-Euler-Zagier sum appears: {frak R} ζ(Ω^2ω_3ω_1)= sum_{m>n>0}(-1)^m\\cos(2π n/3)/m^3n. The previously unidentified term in the 3-loop rho-parameter of the standard model is merely D_3=6ζ(3)-6Cl_2^2(π/3)-1/24π^4. The remarkable simplicity of these results stems from two shuffle algebras: one for nested sums; the other for iterated integrals. Each diagram evaluates to 10 000 digits in seconds, because the primitive words are transformable to exponentially convergent single sums, as recently shown for ζ(3) and ζ(5), familiar in QCD. Those are SC^*(2) constants, whose base of super-fast computation is 2. Mass involves the novel base-3 set SC^*(3). All 10 diagrams reduce to SC^*(3)\\cupSC^* (2) constants and their products. Only the 6-mass case entails both bases.
Solving Algebra Problems with Interactive Diagrams: Demonstration and Construction of Examples
ERIC Educational Resources Information Center
Naftaliev, Elena; Yerushalmy, Michal
2011-01-01
We investigated how students use the representation of data in a given example appearing in an interactive diagram (ID) and how they create additional examples with the ID. Students who worked with the ID that offered limited representations and tools ("illustrating ID") looked for ways to bypass the designed constraints: they changed the…
A q-Analogue of Derivations on the Tensor Algebra and the q-Schur-Weyl Duality
NASA Astrophysics Data System (ADS)
Itoh, Minoru
2015-10-01
This paper presents a q-analogue of an extension of the tensor algebra given by the same author. This new algebra naturally contains the ordinary tensor algebra and the Iwahori-Hecke algebra type A of infinite degree. Namely, this algebra can be regarded as a natural mix of these two algebras. Moreover, we can consider natural "derivations" on this algebra. Using these derivations, we can easily prove the q-Schur-Weyl duality (the duality between the quantum enveloping algebra of the general linear Lie algebra and the Iwahori-Hecke algebra of type A).
The nil Hecke ring and cohomology of G/P for a Kac-Moody group G
Kostant, Bertram; Kumar, Shrawan
1986-01-01
Let G be the group with Borel subgroup B, associated to a Kac-Moody Lie algebra [unk] (with Weyl group W and Cartan subalgebra [unk]). Then H*(G/B) has, among others, four distinguished structures (i) an algebra structure, (ii) a distinguished basis, given by the Schubert cells, (iii) a module for W, and (iv) a module for Hecke-type operators Aw, for w [unk] W. We construct a ring R, which we refer to as the nil Hecke ring, which is very simply and explicitly defined as a functor of W together with the W-module [unk] alone and such that all these four structures on H*(G/B) arise naturally from the ring R. PMID:16593661
The nil Hecke ring and cohomology of G/P for a Kac-Moody group G.
Kostant, B; Kumar, S
1986-03-01
Let G be the group with Borel subgroup B, associated to a Kac-Moody Lie algebra [unk] (with Weyl group W and Cartan subalgebra [unk]). Then H(*)(G/B) has, among others, four distinguished structures (i) an algebra structure, (ii) a distinguished basis, given by the Schubert cells, (iii) a module for W, and (iv) a module for Hecke-type operators A(w), for w [unk] W. We construct a ring R, which we refer to as the nil Hecke ring, which is very simply and explicitly defined as a functor of W together with the W-module [unk] alone and such that all these four structures on H(*)(G/B) arise naturally from the ring R. PMID:16593661
Copper-Catalyzed Oxidative Heck Reactions between Alkyltrifluoroborates and Vinylarenes
Liwosz, Timothy W.; Chemler, Sherry R.
2013-01-01
We report herein that potassium alkyltrifluoroborates can be utilized in oxidative Heck-type reactions with vinyl arenes. The reaction is catalyzed by a Cu(OTf)2/1,10-phenanthroline with MnO2 as the stoichiometric oxidant. In addition to the alkyl Heck, amination, esterification and dimerization reactions of alkyltrifluoroborates are demonstrated under analogous reaction conditions. Evidence for an alkyl radical intermediate is presented. PMID:23734764
Kinetic Study of the Heck Reaction: An Interdisciplinary Experiment
ERIC Educational Resources Information Center
Gozzi, Christel; Bouzidi, Naoual
2008-01-01
The aim of this experiment is to study and calculate the kinetic constant of a Heck reaction: the arylation of but-3-en-2-ol by iodobenzene catalyzed by palladium acetate in presence of triethylamine in DMF. The reaction leads to a mixture of two ketones. Students use GC analysis to quantify reagents and products of reaction. They control the…
Matsuda-Heck reaction with arenediazonium tosylates in water.
Kutonova, Ksenia V; Trusova, Marina E; Stankevich, Andrey V; Postnikov, Pavel S; Filimonov, Victor D
2015-01-01
An environmentally friendly Matsuda-Heck reaction with arenediazonium tosylates has been developed for the first time. A range of alkenes was arylated in good to quantitative yields in water. The reaction is significantly accelerated when carried out under microwave heating. The arylation of haloalkylacrylates with diazonium salts has been implemented for the first time. PMID:25977709
Wilson Loop Diagrams and Positroids
NASA Astrophysics Data System (ADS)
Agarwala, Susama; Marin-Amat, Eloi
2016-07-01
In this paper, we study a new application of the positive Grassmannian to Wilson loop diagrams (or MHV diagrams) for scattering amplitudes in N= 4 Super Yang-Mill theory (N = 4 SYM). There has been much interest in studying this theory via the positive Grassmannians using BCFW recursion. This is the first attempt to study MHV diagrams for planar Wilson loop calculations (or planar amplitudes) in terms of positive Grassmannians. We codify Wilson loop diagrams completely in terms of matroids. This allows us to apply the combinatorial tools in matroid theory used to identify positroids (non-negative Grassmannians) to Wilson loop diagrams. In doing so, we find that certain non-planar Wilson loop diagrams define positive Grassmannians. While non-planar diagrams do not have physical meaning, this finding suggests that they may have value as an algebraic tool, and deserve further investigation.
Teaching Algebra without Algebra
ERIC Educational Resources Information Center
Kalman, Richard S.
2008-01-01
Algebra is, among other things, a shorthand way to express quantitative reasoning. This article illustrates ways for the classroom teacher to convert algebraic solutions to verbal problems into conversational solutions that can be understood by students in the lower grades. Three reasonably typical verbal problems that either appeared as or…
Hecke Groups, Dessins d'Enfants and the Archimedean Solids
NASA Astrophysics Data System (ADS)
He, Yang-Hui; Read, James
2015-12-01
Grothendieck's dessins d'enfants arise with ever-increasing frequency in many areas of 21st century mathematical physics. In this paper, we review the connections between dessins and the theory of Hecke groups. Focussing on the restricted class of highly symmetric dessins corresponding to the so-called Archimedean solids, we apply this theory in order to provide a means of computing representatives of the associated conjugacy classes of Hecke subgroups in each case. The aim of this paper is to demonstrate that dessins arising in mathematical physics can point to new and hitherto unexpected directions for further research. In addition, given the particular ubiquity of many of the dessins corresponding to the Archimedean solids, the hope is that the computational results of this paper will prove useful in the further study of these objects in mathematical physics contexts.
Algebraic Lattices in QFT Renormalization
NASA Astrophysics Data System (ADS)
Borinsky, Michael
2016-07-01
The structure of overlapping subdivergences, which appear in the perturbative expansions of quantum field theory, is analyzed using algebraic lattice theory. It is shown that for specific QFTs the sets of subdivergences of Feynman diagrams form algebraic lattices. This class of QFTs includes the standard model. In kinematic renormalization schemes, in which tadpole diagrams vanish, these lattices are semimodular. This implies that the Hopf algebra of Feynman diagrams is graded by the coradical degree or equivalently that every maximal forest has the same length in the scope of BPHZ renormalization. As an application of this framework, a formula for the counter terms in zero-dimensional QFT is given together with some examples of the enumeration of primitive or skeleton diagrams.
Algebraic Lattices in QFT Renormalization
NASA Astrophysics Data System (ADS)
Borinsky, Michael
2016-04-01
The structure of overlapping subdivergences, which appear in the perturbative expansions of quantum field theory, is analyzed using algebraic lattice theory. It is shown that for specific QFTs the sets of subdivergences of Feynman diagrams form algebraic lattices. This class of QFTs includes the standard model. In kinematic renormalization schemes, in which tadpole diagrams vanish, these lattices are semimodular. This implies that the Hopf algebra of Feynman diagrams is graded by the coradical degree or equivalently that every maximal forest has the same length in the scope of BPHZ renormalization. As an application of this framework, a formula for the counter terms in zero-dimensional QFT is given together with some examples of the enumeration of primitive or skeleton diagrams.
Hazelden, Ian R; Ma, Xiaofeng; Langer, Thomas; Bower, John F
2016-09-01
Aza-Heck cyclizations initiated by oxidative addition of Pd(0) -catalysts into the N-O bond of N-(pentafluoro-benzoyloxy)sulfonamides are described. These studies, which encompass only the second class of aza-Heck reaction developed to date, provide direct access to diverse N-heterocyclic ring systems. PMID:27460965
Aqueous Oxidative Heck Reaction as a Protein-Labeling Strategy
Ourailidou, Maria Eleni; van der Meer, Jan-Ytzen; Baas, Bert-Jan; Jeronimus-Stratingh, Margot; Gottumukkala, Aditya L; Poelarends, Gerrit J; Minnaard, Adriaan J; Dekker, Frank J
2014-01-01
An increasing number of chemical reactions are being employed for bio-orthogonal ligation of detection labels to protein-bound functional groups. Several of these strategies, however, are limited in their application to pure proteins and are ineffective in complex biological samples such as cell lysates. Here we present the palladium-catalyzed oxidative Heck reaction as a new and robust bio-orthogonal strategy for linking functionalized arylboronic acids to protein-bound alkenes in high yields and with excellent chemoselectivity even in the presence of complex protein mixtures from living cells. Advantageously, this reaction proceeds under aerobic conditions, whereas most other metal-catalyzed reactions require inert atmosphere. PMID:24376051
Center of the universal Askey-Wilson algebra at roots of unity
NASA Astrophysics Data System (ADS)
Huang, Hau-Wen
2016-08-01
Inspired by a profound observation on the Racah-Wigner coefficients of Uq (sl2), the Askey-Wilson algebras were introduced in the early 1990s. A universal analog △q of the Askey-Wilson algebras was recently studied. For q not a root of unity, it is known that Z (△q) is isomorphic to the polynomial ring of four variables. A presentation for Z (△q) at q a root of unity is displayed in this paper. As an application, a presentation for the center of the double affine Hecke algebra of type (C1∨ ,C1) at roots of unity is obtained.
Bounds for Hecke eigenforms and their allied L-functions
NASA Astrophysics Data System (ADS)
Zhang, Qing
We consider Hecke eigenforms and their allied L-functions from three aspects in this thesis. First we generalize the Iwaniec's spectral large sieve estimates of Maass cusp form to the local version for all congruence groups of level q. Our approach is based on an inequality for a general bilinear form involving Kloosterman sums and Bessel functions. The exceptional eigenvalues emerge in the course of the proof. In the second part, we extend Luo's result to prove a general optimal bound for L4-norms of the dihedral Maass forms associated to Hecke's grossencharacters of a fixed real quadratic field. Given a fixed quadratic field with discriminant D, we remove the condition that the narrow class number of K is 1. The key ingredients are Watson and Ichino's formula and the local spectral large sieve inequality established in the first part. Finally we obtain a long equation intended to establish an upper bound for the second moment of symmetric square L-functions. Petersson trace formula plays an important role and we study thoroughly an analogue of Estermann series using Hurwitz zeta function and establish its meromorphic extension and functional equation. This work provides a useful approach to the further study for the central value of the symmetric square L-functions.
Stereospecific Synthesis of Tri- and Tetrasubstituted α-Fluoroacrylates by Mizoroki-Heck Reaction.
Rousée, Kevin; Bouillon, Jean-Philippe; Couve-Bonnaire, Samuel; Pannecoucke, Xavier
2016-02-01
Ligand-free, efficient, palladium-catalyzed Mizoroki-Heck reaction between methyl α-fluoroacrylate and arene or hetarene iodides is reported for the first time. The reaction is stereospecific and provides fair to quantitative yields of fluoroalkenes. The Mizoroki-Heck reaction starting from more hindered and usually reluctant trisubstituted acrylate, to access tetrasubstituted fluoroalkenes, is also reported. Finally, the use of a three-step synthesis sequence, including Mizoroki-Heck reaction, allows the synthesis of fluorinated analogues of therapeutic agents with high yield. PMID:26809942
Magnetically Separable Fe3O4@DOPA-Pd: A Heterogeneous Catalyst for Aqueous Heck Reaction
Magnetically separable Fe3O4@DOPA-Pd catalyst has been synthesized via anchoring of palladium over dopamine-coated magnetite via non-covalent interaction and the catalyst is utilized for expeditious Heck coupling in aqueous media.
On a generalization of a theorem of Erich Hecke.
Lee, R; Weintraub, S H
1982-12-01
E. Hecke initiated the application of representation theory to the study of cusp forms. He showed that, for p a prime congruent to 3 mod 4, the difference of multiplicities of certain conjugate representations of SL(F(p)) on cusp forms of degree 1, level p, and weight >/=2 is given by the class number h(-p) of the field Q( radical-p). We apply the holomorphic Lefschetz theorem to actions on the Igusa compactification of the Siegel moduli space of degree 2 to compute the values of characters of the representations of Sp(4)(F(p)) on certain spaces of cusp forms of degree 2 and level p at parabolic elements of this group. Our results imply that here too, the difference in multiplicities of conjugate representations of Sp(4)(F(p)) is a multiple of h(-p). PMID:16593264
Using geometric algebra to study optical aberrations
Hanlon, J.; Ziock, H.
1997-05-01
This paper uses Geometric Algebra (GA) to study vector aberrations in optical systems with square and round pupils. GA is a new way to produce the classical optical aberration spot diagrams on the Gaussian image plane and surfaces near the Gaussian image plane. Spot diagrams of the third, fifth and seventh order aberrations for square and round pupils are developed to illustrate the theory.
NASA Astrophysics Data System (ADS)
Chaston, Scot
1999-02-01
Thermodynamic data such as equilibrium constants, standard cell potentials, molar enthalpies of formation, and standard entropies of substances can be a very useful basis for an organized presentation of knowledge in diverse areas of applied chemistry. Thermodynamic data can become particularly useful when incorporated into thermodynamic diagrams that are designed to be easy to recall, to serve as a basis for reconstructing previous knowledge, and to determine whether reactions can occur exergonically or only with the help of an external energy source. Few students in our chemistry-based courses would want to acquire the depth of knowledge or rigor of professional thermodynamicists. But they should nevertheless learn how to make good use of thermodynamic data in their professional occupations that span the chemical, biological, environmental, and medical laboratory fields. This article discusses examples of three thermodynamic diagrams that have been developed for this purpose. They are the thermodynamic energy account (TEA), the total entropy scale, and the thermodynamic scale diagrams. These diagrams help in the teaching and learning of thermodynamics by bringing the imagination into the process of developing a better understanding of abstract thermodynamic functions, and by allowing the reader to keep track of specialist thermodynamic discourses in the literature.
Exercises in Drawing and Utilizing Free-Body Diagrams.
ERIC Educational Resources Information Center
Fisher, Kurt
1999-01-01
Finds that students taking algebra-based introductory physics have difficulty with one- and two-body problems in particle mechanics. Provides graded exercises for drawing and utilizing free-body diagrams. (CCM)
ERIC Educational Resources Information Center
Schaufele, Christopher; Zumoff, Nancy
Earth Algebra is an entry level college algebra course that incorporates the spirit of the National Council of Teachers of Mathematics (NCTM) Curriculum and Evaluation Standards for School Mathematics at the college level. The context of the course places mathematics at the center of one of the major current concerns of the world. Through…
ERIC Educational Resources Information Center
Cavanagh, Sean
2009-01-01
As educators and policymakers search for ways to prepare students for the rigors of algebra, teachers in the Helena, Montana, school system are starting early by attempting to nurture students' algebraic-reasoning ability, as well as their basic number skills, in early elementary school, rather than waiting until middle or early high school.…
Quantitative Quantum Ergodicity and the Nodal Domains of Hecke-Maass Cusp Forms
NASA Astrophysics Data System (ADS)
Jung, Junehyuk
2016-07-01
We prove a quantitative statement of the quantum ergodicity for Hecke-Maass cusp forms on the modular surface. As an application of our result, along a density 1 subsequence of even Hecke-Maass cusp forms, we obtain a sharp lower bound for the L 2-norm of the restriction to a fixed compact geodesic segment of {η={iy : y > 0} subset H}. We also obtain an upper bound of {O_ɛ (t_φ^{3/8+ɛ} )} for the {L^∞} norm along a density 1 subsequence of Hecke-Maass cusp forms; for such forms, this is an improvement over the upper bound of {O_ɛ(t_φ^{5/12+ɛ} )} given by Iwaniec and Sarnak. In a recent work of Ghosh, Reznikov, and Sarnak, the authors proved for all even Hecke-Maass forms that the number of nodal domains, which intersect a geodesic segment of {η} , grows faster than {t_φ^{1/12-ɛ}} for any {ɛ > 0} , under the assumption that the Lindelöf Hypothesis is true and that the geodesic segment is long enough. Upon removing a density zero subset of even Hecke-Maass forms, we prove without making any assumptions that the number of nodal domains grows faster than {t_φ^{1/8-ɛ}} for any {ɛ > 0}.
Constructing Causal Diagrams to Learn Deliberation
ERIC Educational Resources Information Center
Easterday, Matthew W.; Aleven, Vincent; Scheines, Richard; Carver, Sharon M.
2009-01-01
Policy problems like "What should we do about global warming?" are ill-defined in large part because we do not agree on a system to represent them the way we agree Algebra problems should be represented by equations. As a first step toward building a policy deliberation tutor, we investigated: (a) whether causal diagrams help students learn to…
Characterization of human papillomavirus type 13 from focal epithelial hyperplasia Heck lesions.
Pfister, H; Hettich, I; Runne, U; Gissmann, L; Chilf, G N
1983-01-01
Focal epithelial hyperplasia Heck lesions of a Turkish patient were shown to contain papillomavirus-specific DNA, which was molecularly cloned into bacteriophage lambda. It proved to be related to human papillomavirus (HPV) type 6 DNA and HPV type 11 DNA. Reassociation kinetics revealed a cross-hybridization of 4 and 3%, respectively. There was no cross-reactivity with HPV type 1, 2, 3, 4, 5, 8, or 10. This papillomavirus type will be referred to as HPV type 13. The DNA was characterized by cleavage with several restriction enzymes, and the cleavage sites were physically mapped. Papules from two additional cases of Morbus Heck contained HPV type 13 DNA as shown by Southern blot hybridization and by the characteristic cleavage patterns. This may indicate that HPV type 13 is more frequently associated with focal epithelial hyperplasia Heck than are other HPV types. Images PMID:6312071
Synthesis of substituted quinolines via allylic amination and intramolecular Heck-coupling.
Murru, Siva; McGough, Brandon; Srivastava, Radhey S
2014-12-01
A new catalytic approach for the synthesis of substituted quinolines via C-N and C-C bond formation using 2-haloaryl hydroxylamines and allylic C-H substrates is described. Fe-catalyzed allylic C-H amination followed by Pd-catalyzed intramolecular Heck-coupling and aerobic dehydrogenation deliver the valuable quinoline and naphthyridine heterocycles in good to excellent overall yields. In this process, Pd(OAc)2 plays a dual role in catalyzing Heck coupling as well as aerobic dehydrogenation of dihydroquinolines. PMID:25247637
Tang, Jie; Hackenberger, Dagmar; Goossen, Lukas J
2016-09-01
A decarboxylative Mizoroki-Heck coupling of aryl halides with cinnamic acids has been developed in which the carboxylate group directs the arylation into its β-position before being tracelessly removed through protodecarboxylation. In the presence of a copper/palladium catalyst, both electron-rich and electron-deficient aryl bromides and chlorides bearing numerous functionalities were successfully coupled with broadly available cinnamates, with selective formation of 1,1-disubstituted alkenes. This reaction concept, in which the carboxylate acts as a deciduous directing group, ideally complements traditional 1,2-selective Heck reactions of styrenes. PMID:27485163
The local Hurwitz constant and Diophantine approximation on Hecke groups
NASA Astrophysics Data System (ADS)
Lehner, J.
1990-10-01
Define the Hecke group by {G_q} = < {( {begin{array}{*{20}{c}} 1 & {{⪉mb... ...{array}{*{20}{c}} 0 & { - 1} 1 & 0 } )} rangle , {λ _q} = 2cos π /q , q = 3,4, ldots . We call {G_q}(∞ ) the {G_q} -rationals, and R - {G_q}(∞ ) the {G_q} -irrationals. The problem we treat here is the approximation of {G_q} -irrationals by {G_q} -rationals. Let M(α ) be the upper bound of numbers c for which \\vertα - k/m\\vert < 1/c{m^2} for all {G_q} -irrationals and infinitely many k/m in {G_q}(∞ ) . Set h_q'= {inf _α }M(α ) . We call h_q' the Hurwitz constant for {G_q} . It is known that h_q'= 2 , q even; h_q'= 2{(1 + {(1 - {λ _q}/2)^2})^{1/2}} , q odd. In this paper we prove this result by using {λ _q} -continued fractions, as developed previously by D. Rosen. Write α - frac{{{P_{n - 1}}}}{{{Q_{n - 1}}}} = frac{{{{( - 1)}^{... ...}{\\varepsilon _2} \\cdots {\\varepsilon _n}}}{{{m_{n - 1}}(α )Q_{n - 1}^2}}, where {\\varepsilon _i} = ± 1 and {P_i}/{Q_i} are the convergents of the {λ _q} -continued fraction for α . Then M(α ) = {overline {lim } _n}{m_n}(α ) . We call {m_n}(α ) the local Hurwitz constant. In the final section we prove some results on the local Hurwitz constant. For example (Theorem 4), it is shown that if q is odd and {\\varepsilon _{n + 1}} = {\\varepsilon _{n + 2}} = + 1 , then {m_i} ≥ {(λ _q^2 + 4)^{1/2}} > h_q' for at least one of i = n - 1,n,n + 1 .
Ligand-free Heck reaction: Pd(OAc)2 as an active catalyst revisited.
Yao, Qingwei; Kinney, Elizabeth P; Yang, Zhi
2003-09-19
Palladium acetate was shown to be an extremely active catalyst for the Heck reaction of aryl bromides. Both the base and the solvent were found to have a fundamental influence on the efficiency of the reaction, with K(3)PO(4) and N,N-dimethylacetamide being the optimal base and solvent, respectively. PMID:12968913
The Heck-type arylation of alkenes was achieved in aqueous polyethylene glycol using a magnetically recoverable heterogenized palladium catalyst employing diaryliodonium salts under ambient conditions. The benign reaction medium and the stability of the catalyst are the salient f...
Krajewski diagrams and the standard model
Stephan, Christoph A.
2009-04-15
This paper provides a complete list of Krajewski diagrams representing the standard model of particle physics. We will give the possible representations of the algebra and the anomaly free lifts which provide the representation of the standard model gauge group on the fermionic Hilbert space. The algebra representations following from the Krajewski diagrams are not complete in the sense that the corresponding spectral triples do not necessarily obey to the axiom of Poincare duality. This defect may be repaired by adding new particles to the model, i.e., by building models beyond the standard model. The aim of this list of finite spectral triples (up to Poincare duality) is therefore to provide a basis for model building beyond the standard model.
Twisted Quantum Toroidal Algebras
NASA Astrophysics Data System (ADS)
Jing, Naihuan; Liu, Rongjia
2014-09-01
We construct a principally graded quantum loop algebra for the Kac-Moody algebra. As a special case a twisted analog of the quantum toroidal algebra is obtained together with the quantum Serre relations.
Synthesis of tricyclic heterocycles via a tandem aryl alkylation/heck coupling sequence.
Alberico, Dino; Rudolph, Alena; Lautens, Mark
2007-02-01
A norbornene-mediated palladium-catalyzed sequence is described in which two alkyl-aryl bonds and one alkenyl-aryl bond are formed in one pot with use of microwave irradiation. A variety of symmetrical and unsymmetrical oxygen-, nitrogen-, silicon-, and sulfur-containing tricyclic heterocycles were synthesized from a Heck acceptor and an aryl iodide containing two tethered alkyl halides. This approach was further applied to the synthesis of a tricyclic mescaline analogue. PMID:17253794
Zhang, Fengwei; Niu, Jianrui; Wang, Haibo; Yang, Honglei; Jin, Jun; Liu, Na; Zhang, Yubin; Li, Rong; Ma, Jiantai
2012-02-15
Highlights: Black-Right-Pointing-Pointer Palladium-based heterogeneous catalyst was prepared facilely via the co-precipitation method. Black-Right-Pointing-Pointer The particles are nearly spherical in shape with an average size of 20 {+-} 1.0 nm. Black-Right-Pointing-Pointer The developed magnetic catalyst showed high activity for Heck reaction. Black-Right-Pointing-Pointer The catalyst was easily recovered from the reaction mixture with external magnetic field. Black-Right-Pointing-Pointer The catalytic efficiency for Heck reaction remains unaltered even after 6 repeated cycles. -- Abstract: A novel and high-performance palladium-based catalyst for Heck reaction was prepared easily by the co-precipitation method. The catalyst was characterized by transmission electron microscopy (TEM), X-ray powder diffraction (XRD), vibrating sample magnetometry (VSM), X-ray photoelectron spectroscopy (XPS) and atomic absorption spectrophotometry (AAS). The catalyst afforded a fast conversion of the 4-bromonitrobenzene to 4-nitrostilbene at a catalyst loading of 5 mol%, and the efficiency of the catalyst remains unaltered even after 6 repeated cycles. The excellent catalytic performance of the Pd/Fe{sub 3}O{sub 4} catalyst might be attributed to the enhanced synergistic effect between Pd nanoparticles and magnetite.
Algebraic vs physical N = 6 3-algebras
Cantarini, Nicoletta; Kac, Victor G.
2014-01-15
In our previous paper, we classified linearly compact algebraic simple N = 6 3-algebras. In the present paper, we classify their “physical” counterparts, which actually appear in the N = 6 supersymmetric 3-dimensional Chern-Simons theories.
Spinor representations of affine Lie algebras
Frenkel, I. B.
1980-01-01
Let [unk] be an infinite-dimensional Kac-Moody Lie algebra of one of the types Dl+1(2), Bl(1), or Dl(1). These algebras are characterized by the property that an elimination of any endpoint of their Dynkin diagrams gives diagrams of types Bl or Dl of classical orthogonal Lie algebras. We construct two representations of a Lie algebra [unk], which we call spinor representations, following the analogy with the classical case. We obtain that every spinor representation is either irreducible or has two irreducible components. This provides us with an explicit construction of fundamental representations of [unk], two for the type Dl+1(2), three for Bl(1), and four for Dl(1). We note the profound connection of our construction with quantum field theory—in particular, with fermion fields. Comparing the character formulas of our representations with another construction of the fundamental representations of Kac-Moody Lie algebras of types Al(1), Dl(1), El(1), we obtain classical Jacobi identities and addition formulas for elliptic θ-functions. PMID:16592912
ERIC Educational Resources Information Center
National Council of Teachers of Mathematics, Inc., Reston, VA.
This is a reprint of the historical capsules dealing with algebra from the 31st Yearbook of NCTM,"Historical Topics for the Mathematics Classroom." Included are such themes as the change from a geometric to an algebraic solution of problems, the development of algebraic symbolism, the algebraic contributions of different countries, the origin and…
Phase Equilibria Diagrams Database
National Institute of Standards and Technology Data Gateway
SRD 31 NIST/ACerS Phase Equilibria Diagrams Database (PC database for purchase) The Phase Equilibria Diagrams Database contains commentaries and more than 21,000 diagrams for non-organic systems, including those published in all 21 hard-copy volumes produced as part of the ACerS-NIST Phase Equilibria Diagrams Program (formerly titled Phase Diagrams for Ceramists): Volumes I through XIV (blue books); Annuals 91, 92, 93; High Tc Superconductors I & II; Zirconium & Zirconia Systems; and Electronic Ceramics I. Materials covered include oxides as well as non-oxide systems such as chalcogenides and pnictides, phosphates, salt systems, and mixed systems of these classes.
Figueroa-O'Farrill, Jose Miguel
2009-11-15
We phrase deformations of n-Leibniz algebras in terms of the cohomology theory of the associated Leibniz algebra. We do the same for n-Lie algebras and for the metric versions of n-Leibniz and n-Lie algebras. We place particular emphasis on the case of n=3 and explore the deformations of 3-algebras of relevance to three-dimensional superconformal Chern-Simons theories with matter.
Quantum cluster algebras and quantum nilpotent algebras
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
Ourailidou, Maria E.; Dockerty, Paul; Witte, Martin; Poelarends, Gerrit J.; Dekker, Frank J.
2016-01-01
The detection of protein lysine acylations remains a challenge due to a lack of specific antibodies for acylations with various chain lengths. This problem can be addressed by metabolic labeling techniques using carboxylates with reactive functionalities. Subsequent chemoselective reactions with a complementary moiety connected to a detection tag enable the visualization and quantification of the protein lysine acylome. In this study, we present EDTA-Pd(II) as a novel catalyst for the oxidative Heck reaction on protein-bound alkenes, which allows employment of fully aqueous reaction conditions. We used this reaction to monitor histone lysine acylation in vitro after metabolic incorporation of olefinic carboxylates as chemical reporters. PMID:25672493
de Azambuja, Francisco; Carmona, Rafaela C; Chorro, Tomaz H D; Heerdt, Gabriel; Correia, Carlos Roque D
2016-08-01
S- and P-Stereogenic heterocycles were synthesized by a remarkably simple enantioselective Heck desymmetrization reaction based on the unprecedented noncovalent directing effect of S=O and P=O functionalities. Selected prochiral symmetric substrates were efficiently arylated using the recently disclosed chiral PyraBOx ligand under mild and open-flask reaction conditions. Several five-membered aryl- sulfones, sulfoxides, and phosphine oxides were synthesized in good to excellent yields, in good to high diastereoselectivity, and enantiomeric ratios up to 98:2. Theoretical calculations also support the noncovalent directing effect of the S=O and P=O functionalities during the arylation process. PMID:27273079
Olefins from biomass feedstocks: catalytic ester decarbonylation and tandem Heck-type coupling.
John, Alex; Hogan, Levi T; Hillmyer, Marc A; Tolman, William B
2015-02-14
With the goal of avoiding the need for anhydride additives, the catalytic decarbonylation of p-nitrophenylesters of aliphatic carboxylic acids to their corresponding olefins, including commodity monomers like styrene and acrylates, has been developed. The reaction is catalyzed by palladium complexes in the absence of added ligands and is promoted by alkali/alkaline-earth metal halides. Combination of catalytic decarbonylation and Heck-type coupling with aryl esters in a single pot process demonstrates the viability of employing a carboxylic acid as a "masked olefin" in synthetic processes. PMID:25579879
Hauser-Heck: Efficient Synthesis of γ-Aryl-β-ketoesters en Route to Substituted Naphthalenes.
Wagner, Frederic; Harms, Klaus; Koert, Ulrich
2015-11-20
γ-Aryl-β-ketoesters can be prepared in one step from aryl bromides and bis(trimethylsilyl) enol ethers using catalytic amounts of Pd(dba)2/t-Bu3P and stoichiometric amounts of Bu3SnF. The wide range of γ-(hetero)aryl-β-ketoesters that can be obtained illustrate the scope and limitations of this novel Hauser-Heck combination. γ-Aryl-β-ketoesters with a 1,3-dioxane acetal in the ortho position can easily be transformed into the hydroxy naphthoate in very good yield. Aqueous formic acid at 65 °C provides optimal conditions for this deprotective aromatization. PMID:26536142
Gravity wave transmission diagram
NASA Astrophysics Data System (ADS)
Tomikawa, Yoshihiro
2016-07-01
A possibility of gravity wave propagation from a source region to the airglow layer around the mesopause has been discussed based on the gravity wave blocking diagram taking into account the critical level filtering alone. This paper proposes a new gravity wave transmission diagram in which both the critical level filtering and turning level reflection of gravity waves are considered. It shows a significantly different distribution of gravity wave transmissivity from the blocking diagram.
NASA Astrophysics Data System (ADS)
Chiosi, C.; Murdin, P.
2000-11-01
The Hertzsprung-Russell diagram (HR-diagram), pioneered independently by EJNAR HERTZSPRUNG and HENRY NORRIS RUSSELL, is a plot of the star luminosity versus the surface temperature. It stems from the basic relation for an object emitting thermal radiation as a black body: ...
Persistence diagrams of cortical surface data.
Chung, Moo K; Bubenik, Peter; Kim, Peter T
2009-01-01
We present a novel framework for characterizing signals in images using techniques from computational algebraic topology. This technique is general enough for dealing with noisy multivariate data including geometric noise. The main tool is persistent homology which can be encoded in persistence diagrams. These diagrams visually show how the number of connected components of the sublevel sets of the signal changes. The use of local critical values of a function differs from the usual statistical parametric mapping framework, which mainly uses the mean signal in quantifying imaging data. Our proposed method uses all the local critical values in characterizing the signal and by doing so offers a completely new data reduction and analysis framework for quantifying the signal. As an illustration, we apply this method to a 1D simulated signal and 2D cortical thickness data. In case of the latter, extra homological structures are evident in an control group over the autistic group. PMID:19694279
Learning Algebra in a Computer Algebra Environment
ERIC Educational Resources Information Center
Drijvers, Paul
2004-01-01
This article summarises a doctoral thesis entitled "Learning algebra in a computer algebra environment, design research on the understanding of the concept of parameter" (Drijvers, 2003). It describes the research questions, the theoretical framework, the methodology and the results of the study. The focus of the study is on the understanding of…
Realizations of Galilei algebras
NASA Astrophysics Data System (ADS)
Nesterenko, Maryna; Pošta, Severin; Vaneeva, Olena
2016-03-01
All inequivalent realizations of the Galilei algebras of dimensions not greater than five are constructed using the algebraic approach proposed by Shirokov. The varieties of the deformed Galilei algebras are discussed and families of one-parametric deformations are presented in explicit form. It is also shown that a number of well-known and physically interesting equations and systems are invariant with respect to the considered Galilei algebras or their deformations.
Madin, Andrew; O’Donnell, Christopher J.; Oh, Taeboem; Old, David W.; Overman, Larry E.; Sharp, Matthew J.
2008-01-01
Intramolecular Heck reactions of α,β-unsaturated 2-haloanilides derived from azatricyclo[4.4.0.02,8]decanone 5 efficiently install the congested spirooxindole functionality of gelsemine. Depending upon the Heck reaction conditions and the nature of the β-substituent, either products having the natural or unnatural configuration of the spirooxindole group are formed predominantly. Efforts to elaborate the hydropyran ring of gelsemine from the endo-oriented nitrile substituent of pentacyclic Heck product 18 were unsuccessful. Important steps in the ultimately successful route to (±)-gelsemine (1) are: (a) intramolecular Heck reaction of tricyclic β-methoxy α,β-unsaturated 2-iodoanilide 68 in the presence of silver phosphate to form pentacyclic product 69 having the unnatural configuration of the spirooxindole fragment, (b) formation of hexacyclic aziridine 80 from the reaction of cyanide with intermediate 79 containing an N-methoxycarbonyl-β-bromoethylamine fragment, (c) introduction of C17 by ring-opening of the aziridinium ion derived from aziridine 80, and (d) base-promoted skeletal rearrangement of pentacyclic equatorial alcohol 82 to form the oxacyclic ring and invert the spirooxindole functional group to provide hexacyclic gelsemine precursor 83. PMID:16366557
The kinematic algebra from the self-dual sector
NASA Astrophysics Data System (ADS)
Monteiro, Ricardo; O'Connell, Donal
2011-07-01
We identify a diffeomorphism Lie algebra in the self-dual sector of Yang-Mills theory, and show that it determines the kinematic numerators of tree-level MHV amplitudes in the full theory. These amplitudes can be computed off-shell from Feynman diagrams with only cubic vertices, which are dressed with the structure constants of both the Yang-Mills colour algebra and the diffeomorphism algebra. Therefore, the latter algebra is the dual of the colour algebra, in the sense suggested by the work of Bern, Carrasco and Johansson. We further study perturbative gravity, both in the self-dual and in the MHV sectors, finding that the kinematic numerators of the theory are the BCJ squares of the Yang-Mills numerators.
Applied Algebra Curriculum Modules.
ERIC Educational Resources Information Center
Texas State Technical Coll., Marshall.
This collection of 11 applied algebra curriculum modules can be used independently as supplemental modules for an existing algebra curriculum. They represent diverse curriculum styles that should stimulate the teacher's creativity to adapt them to other algebra concepts. The selected topics have been determined to be those most needed by students…
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.
Orientation in operator algebras
Alfsen, Erik M.; Shultz, Frederic W.
1998-01-01
A concept of orientation is relevant for the passage from Jordan structure to associative structure in operator algebras. The research reported in this paper bridges the approach of Connes for von Neumann algebras and ourselves for C*-algebras in a general theory of orientation that is of geometric nature and is related to dynamics. PMID:9618457
Developing Thinking in Algebra
ERIC Educational Resources Information Center
Mason, John; Graham, Alan; Johnson-Wilder, Sue
2005-01-01
This book is for people with an interest in algebra whether as a learner, or as a teacher, or perhaps as both. It is concerned with the "big ideas" of algebra and what it is to understand the process of thinking algebraically. The book has been structured according to a number of pedagogic principles that are exposed and discussed along the way,…
Connecting Arithmetic to Algebra
ERIC Educational Resources Information Center
Darley, Joy W.; Leapard, Barbara B.
2010-01-01
Algebraic thinking is a top priority in mathematics classrooms today. Because elementary school teachers lay the groundwork to develop students' capacity to think algebraically, it is crucial for teachers to have a conceptual understanding of the connections between arithmetic and algebra and be confident in communicating these connections. Many…
Ternary Virasoro - Witt algebra.
Zachos, C.; Curtright, T.; Fairlie, D.; High Energy Physics; Univ. of Miami; Univ. of Durham
2008-01-01
A 3-bracket variant of the Virasoro-Witt algebra is constructed through the use of su(1,1) enveloping algebra techniques. The Leibniz rules for 3-brackets acting on other 3-brackets in the algebra are discussed and verified in various situations.
Profiles of Algebraic Competence
ERIC Educational Resources Information Center
Humberstone, J.; Reeve, R.A.
2008-01-01
The algebraic competence of 72 12-year-old female students was examined to identify profiles of understanding reflecting different algebraic knowledge states. Beginning algebraic competence (mapping abilities: word-to-symbol and vice versa, classifying, and solving equations) was assessed. One week later, the nature of assistance required to map…
Spin wave Feynman diagram vertex computation package
NASA Astrophysics Data System (ADS)
Price, Alexander; Javernick, Philip; Datta, Trinanjan
Spin wave theory is a well-established theoretical technique that can correctly predict the physical behavior of ordered magnetic states. However, computing the effects of an interacting spin wave theory incorporating magnons involve a laborious by hand derivation of Feynman diagram vertices. The process is tedious and time consuming. Hence, to improve productivity and have another means to check the analytical calculations, we have devised a Feynman Diagram Vertex Computation package. In this talk, we will describe our research group's effort to implement a Mathematica based symbolic Feynman diagram vertex computation package that computes spin wave vertices. Utilizing the non-commutative algebra package NCAlgebra as an add-on to Mathematica, symbolic expressions for the Feynman diagram vertices of a Heisenberg quantum antiferromagnet are obtained. Our existing code reproduces the well-known expressions of a nearest neighbor square lattice Heisenberg model. We also discuss the case of a triangular lattice Heisenberg model where non collinear terms contribute to the vertex interactions.
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.
Permutation centralizer algebras and multimatrix invariants
NASA Astrophysics Data System (ADS)
Mattioli, Paolo; Ramgoolam, Sanjaye
2016-03-01
We introduce a class of permutation centralizer algebras which underly the combinatorics of multimatrix gauge-invariant observables. One family of such noncommutative algebras is parametrized by two integers. Its Wedderburn-Artin decomposition explains the counting of restricted Schur operators, which were introduced in the physics literature to describe open strings attached to giant gravitons and were subsequently used to diagonalize the Gaussian inner product for gauge invariants of two-matrix models. The structure of the algebra, notably its dimension, its center and its maximally commuting subalgebra, is related to Littlewood-Richardson numbers for composing Young diagrams. It gives a precise characterization of the minimal set of charges needed to distinguish arbitrary matrix gauge invariants, which are related to enhanced symmetries in gauge theory. The algebra also gives a star product for matrix invariants. The center of the algebra allows efficient computation of a sector of multimatrix correlators. These generate the counting of a certain class of bicoloured ribbon graphs with arbitrary genus.
NASA Astrophysics Data System (ADS)
Aso, N.; Ohta, K.; Ide, S.
2014-12-01
Deformation in a small volume of earth interior is expressed by a symmetric moment tensor located on a point source. The tensor contains information of characteristic directions, source amplitude, and source types such as isotropic, double-couple, or compensated-linear-vector-dipole (CLVD). Although we often assume a double couple as the source type of an earthquake, significant non-double-couple component including isotropic component is often reported for induced earthquakes and volcanic earthquakes. For discussions on source types including double-couple and non-double-couple components, it is helpful to display them using some visual diagrams. Since the information of source type has two degrees of freedom, it can be displayed onto a two-dimensional flat plane. Although the diagram developed by Hudson et al. [1989] is popular, the trace corresponding to the mechanism combined by two mechanisms is not always a smooth line. To overcome this problem, Chapman and Leaney [2012] developed a new diagram. This diagram has an advantage that a straight line passing through the center corresponds to the mechanism obtained by a combination of an arbitrary mechanism and a double-couple [Tape and Tape, 2012], but this diagram has some difficulties in use. First, it is slightly difficult to produce the diagram because of its curved shape. Second, it is also difficult to read out the ratios among isotropic, double-couple, and CLVD components, which we want to obtain from the estimated moment tensors, because they do not appear directly on the horizontal or vertical axes. In the present study, we developed another new square diagram that overcomes the difficulties of previous diagrams. This diagram is an orthogonal system of isotropic and deviatoric axes, so it is easy to get the ratios among isotropic, double-couple, and CLVD components. Our diagram has another advantage that the probability density is obtained simply from the area within the diagram if the probability density
Dong, Xu; Han, Ying; Yan, Fachao; Liu, Qing; Wang, Ping; Chen, Kexun; Li, Yueyun; Zhao, Zengdian; Dong, Yunhui; Liu, Hui
2016-08-01
A new type of palladium-catalyzed 6-endo-selective alkyl-Heck reaction of unactivated alkyl iodides has been described. This strategy provides efficient access to a variety of 5-phenyl-1,2,3,6-tetrahydropyridine derivatives, which are important structural motifs for bioactive molecules. This process displays a broad substrate scope with excellent 6-endo selectivity. Mechanistic investigations reveal that this alkyl-Heck reaction performs via a hybrid palladium-radical process. PMID:27409716
ERIC Educational Resources Information Center
Lee, Kerry; Khng, Kiat Hui; Ng, Swee Fong; Ng Lan Kong, Jeremy
2013-01-01
In Singapore, primary school students are taught to use bar diagrams to represent known and unknown values in algebraic word problems. However, little is known about students' understanding of these graphical representations. We investigated whether students use and think of the bar diagrams in a concrete or a more abstract fashion. We also…
Xie, Jin; Li, Jian; Weingand, Vanessa; Rudolph, Matthias; Hashmi, A Stephen K
2016-08-26
A practical protocol for a photocatalyzed alkyl-Heck-like reaction of unactivated alkyl bromides and different alkenes promoted by dinuclear gold photoredox catalysis in the presence of an inorganic base is reported. Primary, secondary, and tertiary unactivated alkyl bromides with β-hydrogen can be applied. Esters, aldehydes, ketones, nitriles, alcohols, heterocycles, alkynes, alkenes, ethers, and halogen moieties are all well tolerated. In addition to 1,1-diarylalkenes, silylenolethers and enamides can also be applied, which further increases the synthetic potential of the reaction. The mild reaction conditions, broad substrate scope, and an excellent functional-group tolerance deliver an ideal tool for synthetic chemists that can even be used for challenging late-stage modifications of complex natural products. PMID:27348503
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, pre-algebra, and algebra…
Jones, Gregory; Wang, John E.
2005-06-15
To capture important physical properties of a spacetime we construct a new diagram, the card diagram, which accurately draws generalized Weyl spacetimes in arbitrary dimensions by encoding their global spacetime structure, singularities, horizons, and some aspects of causal structure including null infinity. Card diagrams draw only nontrivial directions providing a clearer picture of the geometric features of spacetimes as compared to Penrose diagrams, and can change continuously as a function of the geometric parameters. One of our main results is to describe how Weyl rods are traversable horizons and the entirety of the spacetime can be mapped out. We review Weyl techniques and as examples we systematically discuss properties of a variety of solutions including Kerr-Newman black holes, black rings, expanding bubbles, and recent spacelike-brane solutions. Families of solutions will share qualitatively similar cards. In addition we show how card diagrams not only capture information about a geometry but also its analytic continuations by providing a geometric picture of analytic continuation. Weyl techniques are generalized to higher dimensional charged solutions and applied to generate perturbations of bubble and S-brane solutions by Israel-Khan rods.
NASA Astrophysics Data System (ADS)
Proxauf, B.; Kimeswenger, S.; Öttl, S.
2014-04-01
Diagnostic diagrams of forbidden lines have been a useful tool for observers in astrophysics for many decades now. They are used to obtain information on the basic physical properties of thin gaseous nebulae. Moreover they are also the initial tool to derive thermodynamic properties of the plasma from observations to get ionization correction factors and thus to obtain proper abundances of the nebulae. Some diagnostic diagrams are in wavelengths domains which were difficult to take either due to missing wavelength coverage or low resolution of older spectrographs. Thus they were hardly used in the past. An upgrade of this useful tool is necessary because most of the diagrams were calculated using only the species involved as a single atom gas, although several are affected by well-known fluorescence mechanisms as well. Additionally the atomic data have improved up to the present time. The new diagnostic diagrams are calculated by using large grids of parameter space in the photoionization code CLOUDY. For a given basic parameter the input radiation field is varied to find the solutions with cooling-heating-equilibrium. Empirical numerical functions are fitted to provide formulas usable in e.g. data reduction pipelines. The resulting diagrams differ significantly from those used up to now and will improve the thermodynamic calculations.
Trace element indiscrimination diagrams
NASA Astrophysics Data System (ADS)
Li, Chusi; Arndt, Nicholas T.; Tang, Qingyan; Ripley, Edward M.
2015-09-01
We tested the accuracy of trace element discrimination diagrams for basalts using new datasets from two petrological databases, PetDB and GEOROC. Both binary and ternary diagrams using Zr, Ti, V, Y, Th, Hf, Nb, Ta, Sm, and Sc do a poor job of discriminating between basalts generated in various tectonic environments (continental flood basalt, mid-ocean ridge basalt, ocean island basalt, oceanic plateau basalt, back-arc basin basalt, and various types of arc basalt). The overlaps between the different types of basalt are too large for the confident application of such diagrams when used in the absence of geological and petrological constraints. None of the diagrams we tested can clearly discriminate between back-arc basin basalt and mid-ocean ridge basalt, between continental flood basalt and oceanic plateau basalt, and between different types of arc basalt (intra-oceanic, island and continental arcs). Only ocean island basalt and some mid-ocean ridge basalt are generally distinguishable in the diagrams, and even in this case, mantle-normalized trace element patterns offer a better solution for discriminating between the two types of basalt.
NASA Astrophysics Data System (ADS)
Jones, Gregory; Wang, John E.
2005-06-01
To capture important physical properties of a spacetime we construct a new diagram, the card diagram, which accurately draws generalized Weyl spacetimes in arbitrary dimensions by encoding their global spacetime structure, singularities, horizons, and some aspects of causal structure including null infinity. Card diagrams draw only nontrivial directions providing a clearer picture of the geometric features of spacetimes as compared to Penrose diagrams, and can change continuously as a function of the geometric parameters. One of our main results is to describe how Weyl rods are traversable horizons and the entirety of the spacetime can be mapped out. We review Weyl techniques and as examples we systematically discuss properties of a variety of solutions including Kerr-Newman black holes, black rings, expanding bubbles, and recent spacelike-brane solutions. Families of solutions will share qualitatively similar cards. In addition we show how card diagrams not only capture information about a geometry but also its analytic continuations by providing a geometric picture of analytic continuation. Weyl techniques are generalized to higher dimensional charged solutions and applied to generate perturbations of bubble and S-brane solutions by Israel-Khan rods.
Connecting Algebra and Chemistry.
ERIC Educational Resources Information Center
O'Connor, Sean
2003-01-01
Correlates high school chemistry curriculum with high school algebra curriculum and makes the case for an integrated approach to mathematics and science instruction. Focuses on process integration. (DDR)
ERIC Educational Resources Information Center
Uesaka, Yuri; Manalo, Emmanuel; Ichikawa, Shin'ichi
2007-01-01
This study investigated factors promoting the use of self-constructed diagrams by examining students' perceptions and daily class activities, and comparing Japanese (n = 291) and New Zealand (n = 323) students. Algebra word problems and a questionnaire were administered. The results revealed that the New Zealand students used diagrams more often…
Huras, Bogumiła
2015-01-01
Summary Cinnamic acid derivatives bearing a nitroxyl moiety (2,2,6,6-tetramethyl-1-oxyl-4-piperidyl 3-E-aryl acrylates) were synthesized in 30–100% yield using a Mizoroki–Heck cross-coupling reaction between 4-acryloyloxy-2,2,6,6-tetramethylpiperidine-1-oxyl and iodobenzene derivatives in the presence of palladium(II) acetate coordinated with a tri(o-tolyl)phosphine ligand immobilized in a polyurea matrix. PMID:26199672
Zakrzewski, Jerzy; Huras, Bogumiła
2015-01-01
Cinnamic acid derivatives bearing a nitroxyl moiety (2,2,6,6-tetramethyl-1-oxyl-4-piperidyl 3-E-aryl acrylates) were synthesized in 30-100% yield using a Mizoroki-Heck cross-coupling reaction between 4-acryloyloxy-2,2,6,6-tetramethylpiperidine-1-oxyl and iodobenzene derivatives in the presence of palladium(II) acetate coordinated with a tri(o-tolyl)phosphine ligand immobilized in a polyurea matrix. PMID:26199672
Deformed Maxwell Algebras and their Realizations
Gomis, Joaquim; Kamimura, Kiyoshi; Lukierski, Jerzy
2009-12-15
We study all possible deformations of the Maxwell algebra. In D = d+1not =3 dimensions there is only one-parameter deformation. The deformed algebra is isomorphic to so(d+1, 1)+so(d, 1) or to so(d, 2)+so(d, 1) depending on the signs of the deformation parameter. We construct in the dS(AdS) space a model of massive particle interacting with Abelian vector field via nonlocal Lorentz force. In D = 2+1 the deformations depend on two parameters b and k. We construct a phase diagram, with two parts of the (b, k) plane with so(3, 1)+so(2, 1) and so( 2, 2)+so(2, 1) algebras separated by a critical curve along which the algebra is isomorphic to Iso(2, 1)+so(2, 1). We introduce in D = 2+1 the Volkov-Akulov type model for a Abelian Goldstone-Nambu vector field described by a non-linear action containing as its bilinear term the free Chern-Simons Lagrangean.
ERIC Educational Resources Information Center
Rosengrant, David
2011-01-01
Multiple representations are a valuable tool to help students learn and understand physics concepts. Furthermore, representations help students learn how to think and act like real scientists. These representations include: pictures, free-body diagrams, energy bar charts, electrical circuits, and, more recently, computer simulations and…
ERIC Educational Resources Information Center
Cavanagh, Sean
2008-01-01
A popular humorist and avowed mathphobe once declared that in real life, there's no such thing as algebra. Kathie Wilson knows better. Most of the students in her 8th grade class will be thrust into algebra, the definitive course that heralds the beginning of high school mathematics, next school year. The problem: Many of them are about three…
ERIC Educational Resources Information Center
Levy, Alissa Beth
2012-01-01
The California Department of Education (CDE) has long asserted that success Algebra I by Grade 8 is the goal for all California public school students. In fact, the state's accountability system penalizes schools that do not require all of their students to take the Algebra I end-of-course examination by Grade 8 (CDE, 2009). In this…
NASA Technical Reports Server (NTRS)
Lawson, C. L.; Krogh, F. T.; Gold, S. S.; Kincaid, D. R.; Sullivan, J.; Williams, E.; Hanson, R. J.; Haskell, K.; Dongarra, J.; Moler, C. B.
1982-01-01
The Basic Linear Algebra Subprograms (BLAS) library is a collection of 38 FORTRAN-callable routines for performing basic operations of numerical linear algebra. BLAS library is portable and efficient source of basic operations for designers of programs involving linear algebriac computations. BLAS library is supplied in portable FORTRAN and Assembler code versions for IBM 370, UNIVAC 1100 and CDC 6000 series computers.
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…
An algebraic approach to BCJ numerators
NASA Astrophysics Data System (ADS)
Fu, Chih-Hao; Du, Yi-Jian; Feng, Bo
2013-03-01
One important discovery in recent years is that the total amplitude of gauge theory can be written as BCJ form where kinematic numerators satisfy Jacobi identity. Although the existence of such kinematic numerators is no doubt, the simple and explicit construction is still an important problem. As a small step, in this note we provide an algebraic approach to construct these kinematic numerators. Under our Feynman-diagram-like construction, the Jacobi identity is manifestly satisfied. The corresponding color ordered amplitudes satisfy off-shell KK-relation and off-shell BCJ relation similar to the color ordered scalar theory. Using our construction, the dual DDM form is also established.
Tectonic discrimination diagrams revisited
NASA Astrophysics Data System (ADS)
Vermeesch, Pieter
2006-06-01
The decision boundaries of most tectonic discrimination diagrams are drawn by eye. Discriminant analysis is a statistically more rigorous way to determine the tectonic affinity of oceanic basalts based on their bulk-rock chemistry. This method was applied to a database of 756 oceanic basalts of known tectonic affinity (ocean island, mid-ocean ridge, or island arc). For each of these training data, up to 45 major, minor, and trace elements were measured. Discriminant analysis assumes multivariate normality. If the same covariance structure is shared by all the classes (i.e., tectonic affinities), the decision boundaries are linear, hence the term linear discriminant analysis (LDA). In contrast with this, quadratic discriminant analysis (QDA) allows the classes to have different covariance structures. To solve the statistical problems associated with the constant-sum constraint of geochemical data, the training data must be transformed to log-ratio space before performing a discriminant analysis. The results can be mapped back to the compositional data space using the inverse log-ratio transformation. An exhaustive exploration of 14,190 possible ternary discrimination diagrams yields the Ti-Si-Sr system as the best linear discrimination diagram and the Na-Nb-Sr system as the best quadratic discrimination diagram. The best linear and quadratic discrimination diagrams using only immobile elements are Ti-V-Sc and Ti-V-Sm, respectively. As little as 5% of the training data are misclassified by these discrimination diagrams. Testing them on a second database of 182 samples that were not part of the training data yields a more reliable estimate of future performance. Although QDA misclassifies fewer training data than LDA, the opposite is generally true for the test data. Therefore LDA is a cruder but more robust classifier than QDA. Another advantage of LDA is that it provides a powerful way to reduce the dimensionality of the multivariate geochemical data in a similar
Semigroups and computer algebra in algebraic structures
NASA Astrophysics Data System (ADS)
Bijev, G.
2012-11-01
Some concepts in semigroup theory can be interpreted in several algebraic structures. A generalization fA,B,fA,B(X) = A(X')B of the complement operator (') on Boolean matrices is made, where A and B denote any rectangular Boolean matrices. While (') is an isomorphism between Boolean semilattices, the generalized complement operator is homomorphism in the general case. The map fA,B and its general inverse (fA,B)+ have quite similar properties to those in the linear algebra and are useful for solving linear equations in Boolean matrix algebras. For binary relations on a finite set, necessary and sufficient conditions for the equation αξβ = γ to have a solution ξ are proved. A generalization of Green's equivalence relations in semigroups for rectangular matrices is proposed. Relationships between them and the Moore-Penrose inverses are investigated. It is shown how any generalized Green's H-class could be constructed by given its corresponding linear subspaces and converted into a group isomorphic to a linear group. Some information about using computer algebra methods concerning this paper is given.
Lie algebra extensions of current algebras on S3
NASA Astrophysics Data System (ADS)
Kori, Tosiaki; Imai, Yuto
2015-06-01
An affine Kac-Moody algebra is a central extension of the Lie algebra of smooth mappings from S1 to the complexification of a Lie algebra. In this paper, we shall introduce a central extension of the Lie algebra of smooth mappings from S3 to the quaternization of a Lie algebra and investigate its root space decomposition. We think this extension of current algebra might give a mathematical tool for four-dimensional conformal field theory as Kac-Moody algebras give it for two-dimensional conformal field theory.
NASA Astrophysics Data System (ADS)
Rosengrant, David
2011-01-01
Multiple representations are a valuable tool to help students learn and understand physics concepts. Furthermore, representations help students learn how to think and act like real scientists.2 These representations include: pictures, free-body diagrams,3 energy bar charts,4 electrical circuits, and, more recently, computer simulations and animations.5 However, instructors have limited choices when they want to help their students understand impulse and momentum. One of the only available options is the impulse-momentum bar chart.6 The bar charts can effectively show the magnitude of the momentum as well as help students understand conservation of momentum, but they do not easily show the actual direction. This paper highlights a new representation instructors can use to help their students with momentum and impulse—the impulse-momentum diagram (IMD).
Leibniz algebras associated with representations of filiform Lie algebras
NASA Astrophysics Data System (ADS)
Ayupov, Sh. A.; Camacho, L. M.; Khudoyberdiyev, A. Kh.; Omirov, B. A.
2015-12-01
In this paper we investigate Leibniz algebras whose quotient Lie algebra is a naturally graded filiform Lie algebra nn,1. We introduce a Fock module for the algebra nn,1 and provide classification of Leibniz algebras L whose corresponding Lie algebra L / I is the algebra nn,1 with condition that the ideal I is a Fock nn,1-module, where I is the ideal generated by squares of elements from L. We also consider Leibniz algebras with corresponding Lie algebra nn,1 and such that the action I ×nn,1 → I gives rise to a minimal faithful representation of nn,1. The classification up to isomorphism of such Leibniz algebras is given for the case of n = 4.
Wilms, R Scott; Carlson, Bryan; Coons, James; Kubic, William
2008-01-01
This presentation describes the development of the proposed Process Flow Diagram (PFD) for the Tokamak Exhaust Processing System (TEP) of ITER. A brief review of design efforts leading up to the PFD is followed by a description of the hydrogen-like, air-like, and waterlike processes. Two new design values are described; the mostcommon and most-demanding design values. The proposed PFD is shown to meet specifications under the most-common and mostdemanding design values.
Coreflections in Algebraic Quantum Logic
NASA Astrophysics Data System (ADS)
Jacobs, Bart; Mandemaker, Jorik
2012-07-01
Various generalizations of Boolean algebras are being studied in algebraic quantum logic, including orthomodular lattices, orthomodular po-sets, orthoalgebras and effect algebras. This paper contains a systematic study of the structure in and between categories of such algebras. It does so via a combination of totalization (of partially defined operations) and transfer of structure via coreflections.
Palladium(0)/NHC-Catalyzed Reductive Heck Reaction of Enones: A Detailed Mechanistic Study.
Raoufmoghaddam, Saeed; Mannathan, Subramaniyan; Minnaard, Adriaan J; de Vries, Johannes G; Reek, Joost N H
2015-12-14
We have studied the mechanism of the palladium-catalyzed reductive Heck reaction of para-substituted enones with 4-iodoanisole by using N,N-diisopropylethylamine (DIPEA) as the reductant. Kinetic studies and in situ spectroscopic analysis have provided a detailed insight into the reaction. Progress kinetic analysis demonstrated that neither catalyst decomposition nor product inhibition occurred during the catalysis. The reaction is first order in the palladium and aryl iodide, and zero order in the activated alkene, N-heterocyclic carbene (NHC) ligand, and DIPEA. The experiments with deuterated solvent ([D7]DMF) and deuterated base ([D15]Et3N) supported the role of the amine as a reductant in the reaction. The palladium complex [Pd(0)(NHC)(1)] has been identified as the resting state. The kinetic experiments by stopped-flow UV/Vis also revealed that the presence of the second substrate, benzylideneacetone 1, slows down the oxidative addition of 4-iodoanisole through its competing coordination to the palladium center. The kinetic and mechanistic studies indicated that the oxidative addition of the aryl iodide is the rate-determining step. Various scenarios for the oxidative addition step have been analyzed by using DFT calculations (bp86/def2-TZVP) that supported the inhibiting effect of substrate 1 by formation of resting state [Pd(0)(NHC)(1)] species at the cost of further increase in the energy barrier of the oxidative addition step. PMID:26561034
Developing Algebraic Thinking.
ERIC Educational Resources Information Center
Alejandre, Suzanne
2002-01-01
Presents a teaching experience that resulted in students getting to a point of full understanding of the kinesthetic activity and the algebra behind it. Includes a lesson plan for a traffic jam activity. (KHR)
Algebraic integrability: a survey.
Vanhaecke, Pol
2008-03-28
We give a concise introduction to the notion of algebraic integrability. Our exposition is based on examples and phenomena, rather than on detailed proofs of abstract theorems. We mainly focus on algebraic integrability in the sense of Adler-van Moerbeke, where the fibres of the momentum map are affine parts of Abelian varieties; as it turns out, most examples from classical mechanics are of this form. Two criteria are given for such systems (Kowalevski-Painlevé and Lyapunov) and each is illustrated in one example. We show in the case of a relatively simple example how one proves algebraic integrability, starting from the differential equations for the integrable vector field. For Hamiltonian systems that are algebraically integrable in the generalized sense, two examples are given, which illustrate the non-compact analogues of Abelian varieties which typically appear in such systems. PMID:17588863
Algebraic Semantics for Narrative
ERIC Educational Resources Information Center
Kahn, E.
1974-01-01
This paper uses discussion of Edmund Spenser's "The Faerie Queene" to present a theoretical framework for explaining the semantics of narrative discourse. The algebraic theory of finite automata is used. (CK)
Aprepro - Algebraic Preprocessor
Energy Science and Technology Software Center (ESTSC)
2005-08-01
Aprepro is an algebraic preprocessor that reads a file containing both general text and algebraic, string, or conditional expressions. It interprets the expressions and outputs them to the output file along witht the general text. Aprepro contains several mathematical functions, string functions, and flow control constructs. In addition, functions are included that, with some additional files, implement a units conversion system and a material database lookup system.
Geometric Algebra for Physicists
NASA Astrophysics Data System (ADS)
Doran, Chris; Lasenby, Anthony
2007-11-01
Preface; Notation; 1. Introduction; 2. Geometric algebra in two and three dimensions; 3. Classical mechanics; 4. Foundations of geometric algebra; 5. Relativity and spacetime; 6. Geometric calculus; 7. Classical electrodynamics; 8. Quantum theory and spinors; 9. Multiparticle states and quantum entanglement; 10. Geometry; 11. Further topics in calculus and group theory; 12. Lagrangian and Hamiltonian techniques; 13. Symmetry and gauge theory; 14. Gravitation; Bibliography; Index.
Covariant deformed oscillator algebras
NASA Technical Reports Server (NTRS)
Quesne, Christiane
1995-01-01
The general form and associativity conditions of deformed oscillator algebras are reviewed. It is shown how the latter can be fulfilled in terms of a solution of the Yang-Baxter equation when this solution has three distinct eigenvalues and satisfies a Birman-Wenzl-Murakami condition. As an example, an SU(sub q)(n) x SU(sub q)(m)-covariant q-bosonic algebra is discussed in some detail.
NASA Astrophysics Data System (ADS)
Hiley, B. J.
In this chapter, we examine in detail the non-commutative symplectic algebra underlying quantum dynamics. By using this algebra, we show that it contains both the Weyl-von Neumann and the Moyal quantum algebras. The latter contains the Wigner distribution as the kernel of the density matrix. The underlying non-commutative geometry can be projected into either of two Abelian spaces, so-called `shadow phase spaces'. One of these is the phase space of Bohmian mechanics, showing that it is a fragment of the basic underlying algebra. The algebraic approach is much richer, giving rise to two fundamental dynamical time development equations which reduce to the Liouville equation and the Hamilton-Jacobi equation in the classical limit. They also include the Schrödinger equation and its wave-function, showing that these features are a partial aspect of the more general non-commutative structure. We discuss briefly the properties of this more general mathematical background from which the non-commutative symplectic algebra emerges.
DG Poisson algebra and its universal enveloping algebra
NASA Astrophysics Data System (ADS)
Lü, JiaFeng; Wang, XingTing; Zhuang, GuangBin
2016-05-01
In this paper, we introduce the notions of differential graded (DG) Poisson algebra and DG Poisson module. Let $A$ be any DG Poisson algebra. We construct the universal enveloping algebra of $A$ explicitly, which is denoted by $A^{ue}$. We show that $A^{ue}$ has a natural DG algebra structure and it satisfies certain universal property. As a consequence of the universal property, it is proved that the category of DG Poisson modules over $A$ is isomorphic to the category of DG modules over $A^{ue}$. Furthermore, we prove that the notion of universal enveloping algebra $A^{ue}$ is well-behaved under opposite algebra and tensor product of DG Poisson algebras. Practical examples of DG Poisson algebras are given throughout the paper including those arising from differential geometry and homological algebra.
Bethe subalgebras in affine Birman–Murakami–Wenzl algebras and flat connections for q-KZ equations
NASA Astrophysics Data System (ADS)
Isaev, A. P.; Kirillov, A. N.; Tarasov, V. O.
2016-05-01
Commutative sets of Jucys–Murphy elements for affine braid groups of {A}(1),{B}(1),{C}(1),{D}(1) types were defined. Construction of R-matrix representations of the affine braid group of type {C}(1) and its distinguished commutative subgroup generated by the {C}(1)-type Jucys–Murphy elements are given. We describe a general method to produce flat connections for the two-boundary quantum Knizhnik–Zamolodchikov equations as necessary conditions for Sklyanin's type transfer matrix associated with the two-boundary multicomponent Zamolodchikov algebra to be invariant under the action of the {C}(1)-type Jucys–Murphy elements. We specify our general construction to the case of the Birman–Murakami–Wenzl algebras (BMW algebras for short). As an application we suggest a baxterization of the Dunkl–Cherednik elements {Y}\\prime {{s}} in the double affine Hecke algebra of type A. Dedicated to Professor Rodney Baxter on the occasion of his 75th Birthday.
Csaki, Csaba; Grossman, Yuval; Tanedo, Philip; Tsai, Yuhsin
2011-04-01
We present an analysis of the loop-induced magnetic dipole operator in the Randall-Sundrum model of a warped extra dimension with anarchic bulk fermions and an IR brane-localized Higgs. These operators are finite at one-loop order and we explicitly calculate the branching ratio for {mu}{yields}e{gamma} using the mixed position/momentum space formalism. The particular bound on the anarchic Yukawa and Kaluza-Klein (KK) scales can depend on the flavor structure of the anarchic matrices. It is possible for a generic model to either be ruled out or unaffected by these bounds without any fine-tuning. We quantify how these models realize this surprising behavior. We also review tree-level lepton flavor bounds in these models and show that these are on the verge of tension with the {mu}{yields}e{gamma} bounds from typical models with a 3 TeV Kaluza-Klein scale. Further, we illuminate the nature of the one-loop finiteness of these diagrams and show how to accurately determine the degree of divergence of a five-dimensional loop diagram using both the five-dimensional and KK formalism. This power counting can be obfuscated in the four-dimensional Kaluza-Klein formalism and we explicitly point out subtleties that ensure that the two formalisms agree. Finally, we remark on the existence of a perturbative regime in which these one-loop results give the dominant contribution.
Using the Logarithmic Concentration Diagram, Log "C", to Teach Acid-Base Equilibrium
ERIC Educational Resources Information Center
Kovac, Jeffrey
2012-01-01
Acid-base equilibrium is one of the most important and most challenging topics in a typical general chemistry course. This article introduces an alternative to the algebraic approach generally used in textbooks, the graphical log "C" method. Log "C" diagrams provide conceptual insight into the behavior of aqueous acid-base systems and allow…
Yao, Qingwei; Kinney, Elizabeth P; Zheng, Chong
2004-08-19
Three selenium-ligated Pd(II) complexes were readily synthesized and shown to be extremely active catalysts for the Heck reaction of various aryl bromides, including deactivated and heterocyclic ones. The catalytic activity of the selenide-based Pd(II) complexes not only rivals but vastly outperforms that of the corresponding phosphorus and sulfur analogues. Practical advantages of the selenium-based catalysts include their straightforward synthesis and high activity in the absence of any additives as well as the enhanced stability of the selenide ligands toward air oxidation. PMID:15330667
Zheng, Meifang; Chen, Pengquan; Wu, Wanqing; Jiang, Huanfeng
2016-01-01
We describe herein a palladium-catalyzed Heck-type reaction of O-acetyl ketoximes and allylic alcohols to synthesise pyridines. This protocol allows the robust synthesis of pyridines and azafluorenones in good to excellent yields with tolerance of various functional groups under mild conditions. The reaction is supposed to go through an oxidative addition of oximes to palladium(0) complexes, generating an alkylideneamino-palladium(II) species, which is utilized as a key intermediate to capture the nonbiased alkenes for carbon-carbon bond formation. PMID:26496814
The topology of Liouville foliation for the Sokolov integrable case on the Lie algebra so(4)
Haghighatdoost, Gorbanali; Oshemkov, Andrey A
2009-06-30
Several new integrable cases for Euler's equations on some six-dimensional Lie algebras were found by Sokolov in 2004. In this paper we study topological properties of one of these integrable cases on the Lie algebra so(4). In particular, for the system under consideration the bifurcation diagrams of the momentum mapping are constructed and all Fomenko invariants are calculated. Thereby, the classification of isoenergy surfaces for this system up to the rough Liouville equivalence is obtained. Bibliography: 9 titles.
Very extended Kac Moody algebras and their interpretation at low levels
NASA Astrophysics Data System (ADS)
Kleinschmidt, Axel; Schnakenburg, Igor; West, Peter
2004-05-01
We analyse the very extended Kac Moody algebras as representations in terms of certain Ad-1 subalgebras and find the generators at low levels. Our results for low levels agree precisely with the bosonic field content of the theories containing gravity, forms and scalars which upon reduction to three dimensions can be described by a nonlinear realization. We explain how the Dynkin diagrams of the very extended algebras encode information about the field content and generalized T-duality transformations.
Argument Diagramming: The Araucaria Project
NASA Astrophysics Data System (ADS)
Rowe, Glenn; Reed, Chris
Formal arguments, such as those used in science, medicine and law to establish a conclusion by providing supporting evidence, are frequently represented by diagrams such as trees and graphs. We describe the software package Araucaria which allows textual arguments to be marked up and represented as standard, Toulmin or Wigmore diagrams. Since each of these diagramming techniques was devised for a particular domain or argumentation, we discuss some of the issues involved in translating between diagrams. The exercise of translating between different diagramming types illustrates that any one diagramming system often cannot capture all of the nuances inherent in an argument. Finally, we describe some areas, such as critical thinking courses in colleges and universities and the analysis of evidence in court cases, where Araucaria has been put to practical use.
NASA Astrophysics Data System (ADS)
Roitman, Michael
2008-08-01
In this paper we prove that for any commutative (but in general non-associative) algebra A with an invariant symmetric non-degenerate bilinear form there is a graded vertex algebra V = V0 Å V2 Å V3 Å ¼, such that dim V0 = 1 and V2 contains A. We can choose V so that if A has a unit e, then 2e is the Virasoro element of V, and if G is a finite group of automorphisms of A, then G acts on V as well. In addition, the algebra V can be chosen with a non-degenerate invariant bilinear form, in which case it is simple.
Adaptive Algebraic Multigrid Methods
Brezina, M; Falgout, R; MacLachlan, S; Manteuffel, T; McCormick, S; Ruge, J
2004-04-09
Our ability to simulate physical processes numerically is constrained by our ability to solve the resulting linear systems, prompting substantial research into the development of multiscale iterative methods capable of solving these linear systems with an optimal amount of effort. Overcoming the limitations of geometric multigrid methods to simple geometries and differential equations, algebraic multigrid methods construct the multigrid hierarchy based only on the given matrix. While this allows for efficient black-box solution of the linear systems associated with discretizations of many elliptic differential equations, it also results in a lack of robustness due to assumptions made on the near-null spaces of these matrices. This paper introduces an extension to algebraic multigrid methods that removes the need to make such assumptions by utilizing an adaptive process. The principles which guide the adaptivity are highlighted, as well as their application to algebraic multigrid solution of certain symmetric positive-definite linear systems.
Program Synthesizes UML Sequence Diagrams
NASA Technical Reports Server (NTRS)
Barry, Matthew R.; Osborne, Richard N.
2006-01-01
A computer program called "Rational Sequence" generates Universal Modeling Language (UML) sequence diagrams of a target Java program running on a Java virtual machine (JVM). Rational Sequence thereby performs a reverse engineering function that aids in the design documentation of the target Java program. Whereas previously, the construction of sequence diagrams was a tedious manual process, Rational Sequence generates UML sequence diagrams automatically from the running Java code.
Abstract Algebra for Algebra Teaching: Influencing School Mathematics Instruction
ERIC Educational Resources Information Center
Wasserman, Nicholas H.
2016-01-01
This article explores the potential for aspects of abstract algebra to be influential for the teaching of school algebra (and early algebra). Using national standards for analysis, four primary areas common in school mathematics--and their progression across elementary, middle, and secondary mathematics--where teaching may be transformed by…
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.
NASA Astrophysics Data System (ADS)
Bouwknegt, Peter
1988-06-01
We investigate extensions of the Virasoro algebra by a single primary field of integer or halfinteger conformal dimension Δ. We argue that for vanishing structure constant CΔΔΔ, the extended conformal algebra can only be associative for a generic c-value if Δ=1/2, 1, 3/2, 2 or 3. For the other Δ<=5 we compute the finite set of allowed c-values and identify the rational solutions. The case CΔΔΔ≠0 is also briefly discussed. I would like to thank Kareljan Schoutens for discussions and Sander Bais for a careful reading of the manuscript.
NASA Technical Reports Server (NTRS)
Shahshahani, M.
1991-01-01
The performance characteristics are discussed of certain algebraic geometric codes. Algebraic geometric codes have good minimum distance properties. On many channels they outperform other comparable block codes; therefore, one would expect them eventually to replace some of the block codes used in communications systems. It is suggested that it is unlikely that they will become useful substitutes for the Reed-Solomon codes used by the Deep Space Network in the near future. However, they may be applicable to systems where the signal to noise ratio is sufficiently high so that block codes would be more suitable than convolutional or concatenated codes.
Pd loaded amphiphilic COF as catalyst for multi-fold Heck reactions, C-C couplings and CO oxidation
Mullangi, Dinesh; Nandi, Shyamapada; Shalini, Sorout; Sreedhala, Sheshadri; Vinod, Chathakudath P.; Vaidhyanathan, Ramanathan
2015-01-01
COFs represent a class of polymers with designable crystalline structures capable of interacting with active metal nanoparticles to form excellent heterogeneous catalysts. Many valuable ligands/monomers employed in making coordination/organic polymers are prepared via Heck and C-C couplings. Here, we report an amphiphilic triazine COF and the facile single-step loading of Pd0 nanoparticles into it. An 18–20% nano-Pd loading gives highly active composite working in open air at low concentrations (Conc. Pd(0) <0.05 mol%, average TON 1500) catalyzing simultaneous multiple site Heck couplings and C-C couplings using ‘non-boronic acid’ substrates, and exhibits good recyclability with no sign of catalyst leaching. As an oxidation catalyst, it shows 100% conversion of CO to CO2 at 150 °C with no loss of activity with time and between cycles. Both vapor sorptions and contact angle measurements confirm the amphiphilic character of the COF. DFT-TB studies showed the presence of Pd-triazine and Pd-Schiff bond interactions as being favorable. PMID:26057044
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…
Teaching Arithmetic and Algebraic Expressions
ERIC Educational Resources Information Center
Subramaniam, K.; Banerjee, Rakhi
2004-01-01
A teaching intervention study was conducted with sixth grade students to explore the interconnections between students' growing understanding of arithmetic expressions and beginning algebra. Three groups of students were chosen, with two groups receiving instruction in arithmetic and algebra, and one group in algebra without arithmetic. Students…
Spinors in the hyperbolic algebra
NASA Astrophysics Data System (ADS)
Ulrych, S.
2006-01-01
The three-dimensional universal complex Clifford algebra Cbar3,0 is used to represent relativistic vectors in terms of paravectors. In analogy to the Hestenes spacetime approach spinors are introduced in an algebraic form. This removes the dependance on an explicit matrix representation of the algebra.
Asad, Naeem; Hanson, Paul R.; Long, Toby R.; Rayabarapu, Dinesh K.; Rolfe, Alan
2011-01-01
An atom-economical purification protocol, using solution phase processing via ring-opening metathesis polymerization (ROMP) has been developed for the synthesis of tricyclic sultams. This chromatography-free method allows for convenient isolation of reductive-Heck products and reclamation of excess starting material via sequestration involving metathesis catalysts and a catalyst-armed Si-surface. PMID:21727956
The first Pd-N-heterocyclic carbene (NHC) complex in the form of organic silica is prepared using sol-gel method and its application in Heck and Suzuki reactions are demonstrated. These C-C coupling reactions proceeded efficiently under the influence of microwave irradiation, wit...
Lee, Jun; Yu, Jihyun; Son, Seung Hwan; Heo, Jinyuk; Kim, Taelim; An, Ji-Young; Inn, Kyung-Soo; Kim, Nam-Jung
2016-01-14
A variety of flavones were expediently synthesized from readily accessible chromanones via a one-pot sequence involving Pd(II)-catalyzed dehydrogenation and oxidative boron-Heck coupling with arylboronic acid pinacol esters. In particular, the use of arylboronic acid pinacol esters was found to significantly improve the yield of the reaction. PMID:26592753
Thinking Visually about Algebra
ERIC Educational Resources Information Center
Baroudi, Ziad
2015-01-01
Many introductions to algebra in high school begin with teaching students to generalise linear numerical patterns. This article argues that this approach needs to be changed so that students encounter variables in the context of modelling visual patterns so that the variables have a meaning. The article presents sample classroom activities,…
ERIC Educational Resources Information Center
Glick, David
1995-01-01
Presents a technique that helps students concentrate more on the science and less on the mechanics of algebra while dealing with introductory physics formulas. Allows the teacher to do complex problems at a lower level and not be too concerned about the mathematical abilities of the students. (JRH)
ERIC Educational Resources Information Center
Nwabueze, Kenneth K.
2004-01-01
The current emphasis on flexible modes of mathematics delivery involving new information and communication technology (ICT) at the university level is perhaps a reaction to the recent change in the objectives of education. Abstract algebra seems to be one area of mathematics virtually crying out for computer instructional support because of the…
Computer Algebra versus Manipulation
ERIC Educational Resources Information Center
Zand, Hossein; Crowe, David
2004-01-01
In the UK there is increasing concern about the lack of skill in algebraic manipulation that is evident in students entering mathematics courses at university level. In this note we discuss how the computer can be used to ameliorate some of the problems. We take as an example the calculations needed in three dimensional vector analysis in polar…
ERIC Educational Resources Information Center
Boiteau, Denise; Stansfield, David
This document describes mathematical programs on the basic concepts of algebra produced by Louisiana Public Broadcasting. Programs included are: (1) "Inverse Operations"; (2) "The Order of Operations"; (3) "Basic Properties" (addition and multiplication of numbers and variables); (4) "The Positive and Negative Numbers"; and (5) "Using Positive…
ERIC Educational Resources Information Center
Kennedy, John
This text provides information and exercises on arithmetic topics which should be mastered before a student enrolls in an Elementary Algebra course. Section I describes the fundamental properties and relationships of whole numbers, focusing on basic operations, divisibility tests, exponents, order of operations, prime numbers, greatest common…
ERIC Educational Resources Information Center
Ketterlin-Geller, Leanne R.; Jungjohann, Kathleen; Chard, David J.; Baker, Scott
2007-01-01
Much of the difficulty that students encounter in the transition from arithmetic to algebra stems from their early learning and understanding of arithmetic. Too often, students learn about the whole number system and the operations that govern that system as a set of procedures to solve addition, subtraction, multiplication, and division problems.…
ERIC Educational Resources Information Center
Barnum, Dennis W.
1982-01-01
Potential-pH diagrams show the domains of redoxpotential and pH in which major species are most stable. Constructing such diagrams provides students with opportunities to decide what species must be considered, search literature for equilibrium constants and free energies of formation, and practice in using the Nernst equation. (Author/JN)
Contingency diagrams as teaching tools
Mattaini, Mark A.
1995-01-01
Contingency diagrams are particularly effective teaching tools, because they provide a means for students to view the complexities of contingency networks present in natural and laboratory settings while displaying the elementary processes that constitute those networks. This paper sketches recent developments in this visualization technology and illustrates approaches for using contingency diagrams in teaching. ImagesFigure 2Figure 3Figure 4 PMID:22478208
Model Checking with Edge-Valued Decision Diagrams
NASA Technical Reports Server (NTRS)
Roux, Pierre; Siminiceanu, Radu I.
2010-01-01
We describe an algebra of Edge-Valued Decision Diagrams (EVMDDs) to encode arithmetic functions and its implementation in a model checking library. We provide efficient algorithms for manipulating EVMDDs and review the theoretical time complexity of these algorithms for all basic arithmetic and relational operators. We also demonstrate that the time complexity of the generic recursive algorithm for applying a binary operator on EVMDDs is no worse than that of Multi- Terminal Decision Diagrams. We have implemented a new symbolic model checker with the intention to represent in one formalism the best techniques available at the moment across a spectrum of existing tools. Compared to the CUDD package, our tool is several orders of magnitude faster
NASA Astrophysics Data System (ADS)
Zhang, Ming; Yao, JingTao
2004-04-01
The XML is a new standard for data representation and exchange on the Internet. There are studies on XML query languages as well as XML algebras in literature. However, attention has not been paid to research on XML algebras for data mining due to partially the fact that there is no widely accepted definition of XML mining tasks. This paper tries to examine the XML mining tasks and provide guidelines to design XML algebras for data mining. Some summarization and comparison have been done to existing XML algebras. We argue that by adding additional operators for mining tasks, XML algebras may work well for data mining with XML documents.
On Dunkl angular momenta algebra
NASA Astrophysics Data System (ADS)
Feigin, Misha; Hakobyan, Tigran
2015-11-01
We consider the quantum angular momentum generators, deformed by means of the Dunkl operators. Together with the reflection operators they generate a subalgebra in the rational Cherednik algebra associated with a finite real reflection group. We find all the defining relations of the algebra, which appear to be quadratic, and we show that the algebra is of Poincaré-Birkhoff-Witt (PBW) type. We show that this algebra contains the angular part of the Calogero-Moser Hamiltonian and that together with constants it generates the centre of the algebra. We also consider the gl( N ) version of the subalge-bra of the rational Cherednik algebra and show that it is a non-homogeneous quadratic algebra of PBW type as well. In this case the central generator can be identified with the usual Calogero-Moser Hamiltonian associated with the Coxeter group in the harmonic confinement.
Algebraic connectivity and graph robustness.
Feddema, John Todd; Byrne, Raymond Harry; Abdallah, Chaouki T.
2009-07-01
Recent papers have used Fiedler's definition of algebraic connectivity to show that network robustness, as measured by node-connectivity and edge-connectivity, can be increased by increasing the algebraic connectivity of the network. By the definition of algebraic connectivity, the second smallest eigenvalue of the graph Laplacian is a lower bound on the node-connectivity. In this paper we show that for circular random lattice graphs and mesh graphs algebraic connectivity is a conservative lower bound, and that increases in algebraic connectivity actually correspond to a decrease in node-connectivity. This means that the networks are actually less robust with respect to node-connectivity as the algebraic connectivity increases. However, an increase in algebraic connectivity seems to correlate well with a decrease in the characteristic path length of these networks - which would result in quicker communication through the network. Applications of these results are then discussed for perimeter security.
Concrete and abstract Voronoi diagrams
Klein, R. )
1989-01-01
The Voronoi diagram of a set of sites is a partition of the plane into regions, one to each site, such that the region of each site contains all points of the plane that are closer to this site than to the other ones. Such partitions are of great importance to computer science and many other fields. The challenge is to compute Voronoi diagrams quickly. The problem is that their structure depends on the notion of distance and the sort of site. In this book the author proposes a unifying approach by introducing abstract Voronoi diagrams. These are based on the concept of bisecting curves which are required to have some simple properties that are actually possessed by most bisectors of concrete Voronoi diagrams. Abstract Voronoi diagrams can be computed efficiently and there exists a worst-case efficient algorithm of divide-and-conquer type that applies to all abstract Voronoi diagrams satisfying a certain constraint. The author shows that this constraint is fulfilled by the concrete diagrams based no large classes of metrics in the plane.
Algebraic Theories and (Infinity,1)-Categories
NASA Astrophysics Data System (ADS)
Cranch, James
2010-11-01
We adapt the classical framework of algebraic theories to work in the setting of (infinity,1)-categories developed by Joyal and Lurie. This gives a suitable approach for describing highly structured objects from homotopy theory. A central example, treated at length, is the theory of E_infinity spaces: this has a tidy combinatorial description in terms of span diagrams of finite sets. We introduce a theory of distributive laws, allowing us to describe objects with two distributing E_infinity stuctures. From this we produce a theory of E_infinity ring spaces. We also study grouplike objects, and produce theories modelling infinite loop spaces (or connective spectra), and infinite loop spaces with coherent multiplicative structure (or connective ring spectra). We use this to construct the units of a grouplike E_infinity ring space in a natural manner. Lastly we provide a speculative pleasant description of the K-theory of monoidal quasicategories and quasicategories with ring-like structures.
Marquette, Ian
2013-07-15
We introduce the most general quartic Poisson algebra generated by a second and a fourth order integral of motion of a 2D superintegrable classical system. We obtain the corresponding quartic (associative) algebra for the quantum analog, extend Daskaloyannis construction obtained in context of quadratic algebras, and also obtain the realizations as deformed oscillator algebras for this quartic algebra. We obtain the Casimir operator and discuss how these realizations allow to obtain the finite-dimensional unitary irreducible representations of quartic algebras and obtain algebraically the degenerate energy spectrum of superintegrable systems. We apply the construction and the formula obtained for the structure function on a superintegrable system related to type I Laguerre exceptional orthogonal polynomials introduced recently.
NASA Astrophysics Data System (ADS)
Dankova, T. S.; Rosensteel, G.
1998-10-01
Mean field theory has an unexpected group theoretic mathematical foundation. Instead of representation theory which applies to most group theoretic quantum models, Hartree-Fock and Hartree-Fock-Bogoliubov have been formulated in terms of coadjoint orbits for the groups U(n) and O(2n). The general theory of mean fields is formulated for an arbitrary Lie algebra L of fermion operators. The moment map provides the correspondence between the Hilbert space of microscopic wave functions and the dual space L^* of densities. The coadjoint orbits of the group in the dual space are phase spaces on which time-dependent mean field theory is equivalent to a classical Hamiltonian dynamical system. Indeed it forms a finite-dimensional Lax system. The mean field theories for the Elliott SU(3) and symplectic Sp(3,R) algebras are constructed explicitly in the coadjoint orbit framework.
2013-05-06
AMG2013 is a parallel algebraic multigrid solver for linear systems arising from problems on unstructured grids. It has been derived directly from the Boomer AMG solver in the hypre library, a large linear solvers library that is being developed in the Center for Applied Scientific Computing (CASC) at LLNL. The driver provided in the benchmark can build various test problems. The default problem is a Laplace type problem on an unstructured domain with various jumps and an anisotropy in one part.
ERIC Educational Resources Information Center
Beigie, Darin
2014-01-01
Most people who are attracted to STEM-related fields are drawn not by a desire to take mathematics tests but to create things. The opportunity to create an algebra drawing gives students a sense of ownership and adventure that taps into the same sort of energy that leads a young person to get lost in reading a good book, building with Legos®,…
Vertex Algebras, Kac-Moody Algebras, and the Monster
NASA Astrophysics Data System (ADS)
Borcherds, Richard E.
1986-05-01
It is known that the adjoint representation of any Kac-Moody algebra A can be identified with a subquotient of a certain Fock space representation constructed from the root lattice of A. I define a product on the whole of the Fock space that restricts to the Lie algebra product on this subquotient. This product (together with a infinite number of other products) is constructed using a generalization of vertex operators. I also construct an integral form for the universal enveloping algebra of any Kac-Moody algebra that can be used to define Kac-Moody groups over finite fields, some new irreducible integrable representations, and a sort of affinization of any Kac-Moody algebra. The ``Moonshine'' representation of the Monster constructed by Frenkel and others also has products like the ones constructed for Kac-Moody algebras, one of which extends the Griess product on the 196884-dimensional piece to the whole representation.
The Model Method: Singapore Children's Tool for Representing and Solving Algebraic Word Problems
ERIC Educational Resources Information Center
Ng, Swee Fong; Lee, Kerry
2009-01-01
Solving arithmetic and algebraic word problems is a key component of the Singapore elementary mathematics curriculum. One heuristic taught, the model method, involves drawing a diagram to represent key information in the problem. We describe the model method and a three-phase theoretical framework supporting its use. We conducted 2 studies to…
NASA Astrophysics Data System (ADS)
Palmkvist, Jakob
2014-01-01
We introduce an infinite-dimensional Lie superalgebra which is an extension of the U-duality Lie algebra of maximal supergravity in D dimensions, for 3 ⩽ D ⩽ 7. The level decomposition with respect to the U-duality Lie algebra gives exactly the tensor hierarchy of representations that arises in gauge deformations of the theory described by an embedding tensor, for all positive levels p. We prove that these representations are always contained in those coming from the associated Borcherds-Kac-Moody superalgebra, and we explain why some of the latter representations are not included in the tensor hierarchy. The most remarkable feature of our Lie superalgebra is that it does not admit a triangular decomposition like a (Borcherds-)Kac-Moody (super)algebra. Instead the Hodge duality relations between level p and D - 2 - p extend to negative p, relating the representations at the first two negative levels to the supersymmetry and closure constraints of the embedding tensor.
Palmkvist, Jakob
2014-01-15
We introduce an infinite-dimensional Lie superalgebra which is an extension of the U-duality Lie algebra of maximal supergravity in D dimensions, for 3 ⩽ D ⩽ 7. The level decomposition with respect to the U-duality Lie algebra gives exactly the tensor hierarchy of representations that arises in gauge deformations of the theory described by an embedding tensor, for all positive levels p. We prove that these representations are always contained in those coming from the associated Borcherds-Kac-Moody superalgebra, and we explain why some of the latter representations are not included in the tensor hierarchy. The most remarkable feature of our Lie superalgebra is that it does not admit a triangular decomposition like a (Borcherds-)Kac-Moody (super)algebra. Instead the Hodge duality relations between level p and D − 2 − p extend to negative p, relating the representations at the first two negative levels to the supersymmetry and closure constraints of the embedding tensor.
NASA Technical Reports Server (NTRS)
Cleaveland, Rance; Luettgen, Gerald; Natarajan, V.
1999-01-01
This paper surveys the semantic ramifications of extending traditional process algebras with notions of priority that allow for some transitions to be given precedence over others. These enriched formalisms allow one to model system features such as interrupts, prioritized choice, or real-time behavior. Approaches to priority in process algebras can be classified according to whether the induced notion of preemption on transitions is global or local and whether priorities are static or dynamic. Early work in the area concentrated on global pre-emption and static priorities and led to formalisms for modeling interrupts and aspects of real-time, such as maximal progress, in centralized computing environments. More recent research has investigated localized notions of pre-emption in which the distribution of systems is taken into account, as well as dynamic priority approaches, i.e., those where priority values may change as systems evolve. The latter allows one to model behavioral phenomena such as scheduling algorithms and also enables the efficient encoding of real-time semantics. Technically, this paper studies the different models of priorities by presenting extensions of Milner's Calculus of Communicating Systems (CCS) with static and dynamic priority as well as with notions of global and local pre- emption. In each case the operational semantics of CCS is modified appropriately, behavioral theories based on strong and weak bisimulation are given, and related approaches for different process-algebraic settings are discussed.
The Hertzsprung-Russell Diagram.
ERIC Educational Resources Information Center
Woodrow, Janice
1991-01-01
Describes a classroom use of the Hertzsprung-Russell diagram to infer not only the properties of a star but also the star's probable stage in evolution, life span, and age of the cluster in which it is located. (ZWH)
Atemporal diagrams for quantum circuits
Griffiths, Robert B.; Wu Shengjun; Yu Li; Cohen, Scott M.
2006-05-15
A system of diagrams is introduced that allows the representation of various elements of a quantum circuit, including measurements, in a form which makes no reference to time (hence 'atemporal'). It can be used to relate quantum dynamical properties to those of entangled states (map-state duality), and suggests useful analogies, such as the inverse of an entangled ket. Diagrams clarify the role of channel kets, transition operators, dynamical operators (matrices), and Kraus rank for noisy quantum channels. Positive (semidefinite) operators are represented by diagrams with a symmetry that aids in understanding their connection with completely positive maps. The diagrams are used to analyze standard teleportation and dense coding, and for a careful study of unambiguous (conclusive) teleportation. A simple diagrammatic argument shows that a Kraus rank of 3 is impossible for a one-qubit channel modeled using a one-qubit environment in a mixed state.
2015-01-01
Using rational ligand design, we have developed of a second-generation ligand, bis(3,5-di-tert-butylphenyl)(tert-butyl)phosphine, for the preparation of allylsilanes using the palladium-catalyzed silyl-Heck reaction. This new ligand provides nearly complete suppression of starting material alkene isomerization that was observed with our first-generation catalyst, providing vastly improved yields of allylsilanes from simple alkene starting materials. The studies quantifying the electronic and steric properties of the new ligand are described. Finally, we report an X-ray crystal structure of a palladium complex resulting from the oxidative addition of Me3SiI using an analogous ligand that provides significant insight into the nature of the catalytic system. PMID:25003502
2015-01-01
The mechanism of the redox-relay Heck reaction was investigated using deuterium-labeled substrates. Results support a pathway through a low energy palladium–alkyl intermediate that immediately precedes product formation, ruling out a tautomerization mechanism. DFT calculations of the relevant transition structures at the M06/LAN2DZ+f/6-31+G* level of theory show that the former pathway is favored by 5.8 kcal/mol. Palladium chain-walking toward the alcohol, following successive β-hydride eliminations and migratory insertions, is also supported in this study. The stereochemistry of deuterium labels is determined, lending support that the catalyst remains bound to the substrate during the relay process and that both cis- and trans-alkenes form from β-hydride elimination. PMID:25186804
Brehm, Mary A; Gordon, Katie; Firan, Miahil; Rady, Peter; Agim, Nnenna
2016-05-01
Focal epithelial hyperplasia (FEH), or Heck's disease, is an uncommon benign proliferation of oral mucosa caused by the human papillomavirus (HPV), particularly subtypes 13 and 32. The disease typically presents in young Native American patients and is characterized by multiple asymptomatic papules and nodules on the oral mucosa, lips, tongue, and gingiva. The factors that determine susceptibility to FEH are unknown, but the ethnic and geographic distribution of FEH suggests that genetic predisposition, particularly having the human lymphocytic antigen DR4 type, may be involved in pathogenesis. We report a case of FEH with polymerase chain reaction detection of HPV13 in a healthy 11-year-old Hispanic girl and discuss the current understanding of disease pathogenesis, susceptibility, and treatment. PMID:27072123
Particles, Feynman Diagrams and All That
ERIC Educational Resources Information Center
Daniel, Michael
2006-01-01
Quantum fields are introduced in order to give students an accurate qualitative understanding of the origin of Feynman diagrams as representations of particle interactions. Elementary diagrams are combined to produce diagrams representing the main features of the Standard Model.
Compactly Generated de Morgan Lattices, Basic Algebras and Effect Algebras
NASA Astrophysics Data System (ADS)
Paseka, Jan; Riečanová, Zdenka
2010-12-01
We prove that a de Morgan lattice is compactly generated if and only if its order topology is compatible with a uniformity on L generated by some separating function family on L. Moreover, if L is complete then L is (o)-topological. Further, if a basic algebra L (hence lattice with sectional antitone involutions) is compactly generated then L is atomic. Thus all non-atomic Boolean algebras as well as non-atomic lattice effect algebras (including non-atomic MV-algebras and orthomodular lattices) are not compactly generated.
Locally finite dimensional Lie algebras
NASA Astrophysics Data System (ADS)
Hennig, Johanna
We prove that in a locally finite dimensional Lie algebra L, any maximal, locally solvable subalgebra is the stabilizer of a maximal, generalized flag in an integrable, faithful module over L. Then we prove two structure theorems for simple, locally finite dimensional Lie algebras over an algebraically closed field of characteristic p which give sufficient conditions for the algebras to be of the form [K(R, *), K( R, *)] / (Z(R) ∩ [ K(R, *), K(R, *)]) for a simple, locally finite dimensional associative algebra R with involution *. Lastly, we explore the noncommutative geometry of locally simple representations of the diagonal locally finite Lie algebras sl(ninfinity), o( ninfinity), and sp(n infinity).
Quantum computation using geometric algebra
NASA Astrophysics Data System (ADS)
Matzke, Douglas James
This dissertation reports that arbitrary Boolean logic equations and operators can be represented in geometric algebra as linear equations composed entirely of orthonormal vectors using only addition and multiplication Geometric algebra is a topologically based algebraic system that naturally incorporates the inner and anticommutative outer products into a real valued geometric product, yet does not rely on complex numbers or matrices. A series of custom tools was designed and built to simplify geometric algebra expressions into a standard sum of products form, and automate the anticommutative geometric product and operations. Using this infrastructure, quantum bits (qubits), quantum registers and EPR-bits (ebits) are expressed symmetrically as geometric algebra expressions. Many known quantum computing gates, measurement operators, and especially the Bell/magic operators are also expressed as geometric products. These results demonstrate that geometric algebra can naturally and faithfully represent the central concepts, objects, and operators necessary for quantum computing, and can facilitate the design and construction of quantum computing tools.
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. PMID:26806075
On the cohomology of Leibniz conformal algebras
NASA Astrophysics Data System (ADS)
Zhang, Jiao
2015-04-01
We construct a new cohomology complex of Leibniz conformal algebras with coefficients in a representation instead of a module. The low-dimensional cohomology groups of this complex are computed. Meanwhile, we construct a Leibniz algebra from a Leibniz conformal algebra and prove that the category of Leibniz conformal algebras is equivalent to the category of equivalence classes of formal distribution Leibniz algebras.
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…
ERIC Educational Resources Information Center
Sherlock, Alan; Brand, Timothy
1972-01-01
The use of Karnaugh maps in determining the number of elements in a set, in chains of reasoning, in comparing solutions of a problem, and in Boolean algebra is illustrated. For the first article in this series, see SE 507 074. (DT)
ERIC Educational Resources Information Center
Novotna, Jarmila; Hoch, Maureen
2008-01-01
Many students have difficulties with basic algebraic concepts at high school and at university. In this paper two levels of algebraic structure sense are defined: for high school algebra and for university algebra. We suggest that high school algebra structure sense components are sub-components of some university algebra structure sense…
Higher level twisted Zhu algebras
Ekeren, Jethro van
2011-05-15
The study of twisted representations of graded vertex algebras is important for understanding orbifold models in conformal field theory. In this paper, we consider the general setup of a vertex algebra V, graded by {Gamma}/Z for some subgroup {Gamma} of R containing Z, and with a Hamiltonian operator H having real (but not necessarily integer) eigenvalues. We construct the directed system of twisted level p Zhu algebras Zhu{sub p,{Gamma}}(V), and we prove the following theorems: For each p, there is a bijection between the irreducible Zhu{sub p,{Gamma}}(V)-modules and the irreducible {Gamma}-twisted positive energy V-modules, and V is ({Gamma}, H)-rational if and only if all its Zhu algebras Zhu{sub p,{Gamma}}(V) are finite dimensional and semisimple. The main novelty is the removal of the assumption of integer eigenvalues for H. We provide an explicit description of the level p Zhu algebras of a universal enveloping vertex algebra, in particular of the Virasoro vertex algebra Vir{sup c} and the universal affine Kac-Moody vertex algebra V{sup k}(g) at non-critical level. We also compute the inverse limits of these directed systems of algebras.
Handheld Computer Algebra Systems in the Pre-Algebra Classroom
ERIC Educational Resources Information Center
Gantz, Linda Ann Galofaro
2010-01-01
This mixed method analysis sought to investigate several aspects of student learning in pre-algebra through the use of computer algebra systems (CAS) as opposed to non-CAS learning. This research was broken into two main parts, one which compared results from both the experimental group (instruction using CAS, N = 18) and the control group…
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…
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…
Philip, Bobby; Chartier, Dr Timothy
2012-01-01
methods based on Local Sensitivity Analysis (LSA). The method can be used in the context of geometric and algebraic multigrid methods for constructing smoothers, and in the context of Krylov methods for constructing block preconditioners. It is suitable for both constant and variable coecient problems. Furthermore, the method can be applied to systems arising from both scalar and coupled system partial differential equations (PDEs), as well as linear systems that do not arise from PDEs. The simplicity of the method will allow it to be easily incorporated into existing multigrid and Krylov solvers while providing a powerful tool for adaptively constructing methods tuned to a problem.
Energy Science and Technology Software Center (ESTSC)
2013-05-06
AMG2013 is a parallel algebraic multigrid solver for linear systems arising from problems on unstructured grids. It has been derived directly from the Boomer AMG solver in the hypre library, a large linear solvers library that is being developed in the Center for Applied Scientific Computing (CASC) at LLNL. The driver provided in the benchmark can build various test problems. The default problem is a Laplace type problem on an unstructured domain with various jumpsmore » and an anisotropy in one part.« less
Statecharts Via Process Algebra
NASA Technical Reports Server (NTRS)
Luttgen, Gerald; vonderBeeck, Michael; Cleaveland, Rance
1999-01-01
Statecharts is a visual language for specifying the behavior of reactive systems. The Language extends finite-state machines with concepts of hierarchy, concurrency, and priority. Despite its popularity as a design notation for embedded system, precisely defining its semantics has proved extremely challenging. In this paper, a simple process algebra, called Statecharts Process Language (SPL), is presented, which is expressive enough for encoding Statecharts in a structure-preserving and semantic preserving manner. It is establish that the behavioral relation bisimulation, when applied to SPL, preserves Statecharts semantics
Alamsetti, Santosh Kumar; Persson, Andreas K Å; Jiang, Tuo; Bäckvall, Jan-E
2013-12-16
A whale of a scale: The title oxidative Heck coupling proceeded with unusual β selectivity to generate a variety of branched substituted oxazolones (see scheme; Ts=p-toluenesulfonyl). The three-step synthesis from readily available starting materials with a simple palladium catalyst and inexpensive reagents could be carried out in a single reaction vessel or scaled up for the preparation of large amounts of these amino acid precursors. PMID:24174347
Nishikata, Takashi; Noda, Yushi; Fujimoto, Ryo; Sakashita, Tomomi
2013-11-01
α-Halocarbonyl compounds undergo β-hydrogen elimination to give conjugated olefins in the presence of a transition-metal catalyst. However, a copper/triamine catalyst system can induce the alkylative Mizoroki–Heck reaction of styrenes with tertiary-alkyl halides possessing a withdrawing group under very mild conditions. This reaction provides an efficient synthetic methodology for tertiary-alkylated styrenes. PMID:24143934
PREFACE: Infinite Dimensional Algebras and their Applications to Quantum Integrable Systems
NASA Astrophysics Data System (ADS)
Fring, Andreas; Kulish, Petr P.; Manojlović, Nenad; Nagy, Zoltán; Nunes da Costa, Joana; Samtleben, Henning
2008-05-01
This special issue is centred around the workshop Infinite Dimensional Algebras and Quantum Integrable Systems II—IDAQUIS 2007, held at the University of Algarve, Faro, Portugal in July 2007. It was the second workshop in the IDAQUIS series following a previous meeting at the same location in 2003. The latest workshop gathered around forty experts in the field reviewing recent developments in the theory and applications of integrable systems in the form of invited lectures and in a number of contributions from the participants. All contributions contain significant new results or provide a survey of the state of the art of the subject or a critical assessment of the present understanding of the topic and a discussion of open problems. Original contributions from non-participants are also included. The origins of the topic of this issue can be traced back a long way to the early investigations of completely integrable systems of classical mechanics in the fundamental papers by Euler, Lagrange, Jacobi, Liouville, Kowalevski and others. By the end of the nineteenth century all interesting examples seemed to have been exhausted. A revival in the study of integrable systems began with the development of the classical inverse scattering method, or the theory of solitons. Later developments led to the basic geometrical ideas of the theory, of which infinite dimensional algebras are a key ingredient. In a loose sense one may think that all integrable systems possess some hidden symmetry. In the quantum version of these systems the representation theory of these algebras may be exploited in the description of the structure of the Hilbert space of states. Modern examples of field theoretical systems such as conformal field theories, with the Liouville model being a prominent example, affine Toda field theories and the AdS/CFT correspondence are based on algebraic structures like quantum groups, modular doubles, global conformal invariance, Hecke algebras, Kac
Automatically Assessing Graph-Based Diagrams
ERIC Educational Resources Information Center
Thomas, Pete; Smith, Neil; Waugh, Kevin
2008-01-01
To date there has been very little work on the machine understanding of imprecise diagrams, such as diagrams drawn by students in response to assessment questions. Imprecise diagrams exhibit faults such as missing, extraneous and incorrectly formed elements. The semantics of imprecise diagrams are difficult to determine. While there have been…
Learning Algebra from Worked Examples
ERIC Educational Resources Information Center
Lange, Karin E.; Booth, Julie L.; Newton, Kristie J.
2014-01-01
For students to be successful in algebra, they must have a truly conceptual understanding of key algebraic features as well as the procedural skills to complete a problem. One strategy to correct students' misconceptions combines the use of worked example problems in the classroom with student self-explanation. "Self-explanation" is…
ERIC Educational Resources Information Center
Instructional Objectives Exchange, Los Angeles, CA.
A complete set of behavioral objectives for first-year algebra taught in any of grades 8 through 12 is presented. Three to six sample test items and answers are provided for each objective. Objectives were determined by surveying the most used secondary school algebra textbooks. Fourteen major categories are included: (1) whole numbers--operations…
ERIC Educational Resources Information Center
Buerman, Margaret
2007-01-01
Finding real-world examples for middle school algebra classes can be difficult but not impossible. As we strive to accomplish teaching our students how to solve and graph equations, we neglect to teach the big ideas of algebra. One of those big ideas is functions. This article gives three examples of functions that are found in Arches National…
Online Algebraic Tools for Teaching
ERIC Educational Resources Information Center
Kurz, Terri L.
2011-01-01
Many free online tools exist to complement algebraic instruction at the middle school level. This article presents findings that analyzed the features of algebraic tools to support learning. The findings can help teachers select appropriate tools to facilitate specific topics. (Contains 1 table and 4 figures.)
The Algebra of Complex Numbers.
ERIC Educational Resources Information Center
LePage, Wilbur R.
This programed text is an introduction to the algebra of complex numbers for engineering students, particularly because of its relevance to important problems of applications in electrical engineering. It is designed for a person who is well experienced with the algebra of real numbers and calculus, but who has no experience with complex number…
Algebraic Squares: Complete and Incomplete.
ERIC Educational Resources Information Center
Gardella, Francis J.
2000-01-01
Illustrates ways of using algebra tiles to give students a visual model of competing squares that appear in algebra as well as in higher mathematics. Such visual representations give substance to the symbolic manipulation and give students who do not learn symbolically a way of understanding the underlying concepts of completing the square. (KHR)
Linear Algebra and Image Processing
ERIC Educational Resources Information Center
Allali, Mohamed
2010-01-01
We use the computing technology digital image processing (DIP) to enhance the teaching of linear algebra so as to make the course more visual and interesting. Certainly, this visual approach by using technology to link linear algebra to DIP is interesting and unexpected to both students as well as many faculty. (Contains 2 tables and 11 figures.)
Exploring Algebraic Patterns through Literature.
ERIC Educational Resources Information Center
Austin, Richard A.; Thompson, Denisse R.
1997-01-01
Presents methods for using literature to develop algebraic thinking in an environment that connects algebra to various situations. Activities are based on the book "Anno's Magic Seeds" with additional resources listed. Students express a constant function, exponential function, and a recursive function in their own words as well as writing about…
Condensing Algebra for Technical Mathematics.
ERIC Educational Resources Information Center
Greenfield, Donald R.
Twenty Algebra-Packets (A-PAKS) were developed by the investigator for technical education students at the community college level. Each packet contained a statement of rationale, learning objectives, performance activities, performance test, and performance test answer key. The A-PAKS condensed the usual sixteen weeks of algebra into a six-week…
Algebraic Thinking in Adult Education
ERIC Educational Resources Information Center
Manly, Myrna; Ginsburg, Lynda
2010-01-01
In adult education, algebraic thinking can be a sense-making tool that introduces coherence among mathematical concepts for those who previously have had trouble learning math. Further, a modeling approach to algebra connects mathematics and the real world, demonstrating the usefulness of math to those who have seen it as just an academic…
Thermodynamics. [algebraic structure
NASA Technical Reports Server (NTRS)
Zeleznik, F. J.
1976-01-01
The fundamental structure of thermodynamics is purely algebraic, in the sense of atopological, and it is also independent of partitions, composite systems, the zeroth law, and entropy. The algebraic structure requires the notion of heat, but not the first law. It contains a precise definition of entropy and identifies it as a purely mathematical concept. It also permits the construction of an entropy function from heat measurements alone when appropriate conditions are satisfied. Topology is required only for a discussion of the continuity of thermodynamic properties, and then the weak topology is the relevant topology. The integrability of the differential form of the first law can be examined independently of Caratheodory's theorem and his inaccessibility axiom. Criteria are established by which one can determine when an integrating factor can be made intensive and the pseudopotential extensive and also an entropy. Finally, a realization of the first law is constructed which is suitable for all systems whether they are solids or fluids, whether they do or do not exhibit chemical reactions, and whether electromagnetic fields are or are not present.
Pseudohaptic interaction with knot diagrams
NASA Astrophysics Data System (ADS)
Weng, Jianguang; Zhang, Hui
2012-07-01
To make progress in understanding knot theory, we need to interact with the projected representations of mathematical knots, which are continuous in three dimensions (3-D) but significantly interrupted in the projective images. One way to achieve such a goal is to design an interactive system that allows us to sketch two-dimensional (2-D) knot diagrams by taking advantage of a collision-sensing controller and explore their underlying smooth structures through a continuous motion. Recent advances of interaction techniques have been made that allow progress in this direction. Pseudohaptics that simulate haptic effects using pure visual feedback can be used to develop such an interactive system. We outline one such pseudohaptic knot diagram interface. Our interface derives from the familiar pencil-and-paper process of drawing 2-D knot diagrams and provides haptic-like sensations to facilitate the creation and exploration of knot diagrams. A centerpiece of the interaction model simulates a physically reactive mouse cursor, which is exploited to resolve the apparent conflict between the continuous structure of the actual smooth knot and the visual discontinuities in the knot diagram representation. Another value in exploiting pseudohaptics is that an acceleration (or deceleration) of the mouse cursor (or surface locator) can be used to indicate the slope of the curve (or surface) of which the projective image is being explored. By exploiting these additional visual cues, we proceed to a full-featured extension to a pseudohaptic four-dimensional (4-D) visualization system that simulates the continuous navigation on 4-D objects and allows us to sense the bumps and holes in the fourth dimension. Preliminary tests of the software show that main features of the interface overcome some expected perceptual limitations in our interaction with 2-D knot diagrams of 3-D knots and 3-D projective images of 4-D mathematical objects.
Invariants of triangular Lie algebras
NASA Astrophysics Data System (ADS)
Boyko, Vyacheslav; Patera, Jiri; Popovych, Roman
2007-07-01
Triangular Lie algebras are the Lie algebras which can be faithfully represented by triangular matrices of any finite size over the real/complex number field. In the paper invariants ('generalized Casimir operators') are found for three classes of Lie algebras, namely those which are either strictly or non-strictly triangular, and for so-called special upper triangular Lie algebras. Algebraic algorithm of Boyko et al (2006 J. Phys. A: Math. Gen.39 5749 (Preprint math-ph/0602046)), developed further in Boyko et al (2007 J. Phys. A: Math. Theor.40 113 (Preprint math-ph/0606045)), is used to determine the invariants. A conjecture of Tremblay and Winternitz (2001 J. Phys. A: Math. Gen.34 9085), concerning the number of independent invariants and their form, is corroborated.
Partially-massless higher-spin algebras and their finite-dimensional truncations
NASA Astrophysics Data System (ADS)
Joung, Euihun; Mkrtchyan, Karapet
2016-01-01
The global symmetry algebras of partially-massless (PM) higher-spin (HS) fields in (A)dS d+1 are studied. The algebras involving PM generators up to depth 2 ( ℓ - 1) are defined as the maximal symmetries of free conformal scalar field with 2 ℓ order wave equation in d dimensions. We review the construction of these algebras by quotienting certain ideals in the universal enveloping algebra of ( A) dS d+1 isometries. We discuss another description in terms of Howe duality and derive the formula for computing trace in these algebras. This enables us to explicitly calculate the bilinear form for this one-parameter family of algebras. In particular, the bilinear form shows the appearance of additional ideal for any non-negative integer values of ℓ - d/2 , which coincides with the annihilator of the one-row ℓ-box Young diagram representation of s{o}_{d+2} . Hence, the corresponding finite-dimensional coset algebra spanned by massless and PM generators is equivalent to the symmetries of this representation.
Voronoi Diagrams and Spring Rain
ERIC Educational Resources Information Center
Perham, Arnold E.; Perham, Faustine L.
2011-01-01
The goal of this geometry project is to use Voronoi diagrams, a powerful modeling tool across disciplines, and the integration of technology to analyze spring rainfall from rain gauge data over a region. In their investigation, students use familiar equipment from their mathematical toolbox: triangles and other polygons, circumcenters and…
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)
Chen, J.; Safro, I.
2011-01-01
Measuring the connection strength between a pair of vertices in a graph is one of the most important concerns in many graph applications. Simple measures such as edge weights may not be sufficient for capturing the effects associated with short paths of lengths greater than one. In this paper, we consider an iterative process that smooths an associated value for nearby vertices, and we present a measure of the local connection strength (called the algebraic distance; see [D. Ron, I. Safro, and A. Brandt, Multiscale Model. Simul., 9 (2011), pp. 407-423]) based on this process. The proposed measure is attractive in that the process is simple, linear, and easily parallelized. An analysis of the convergence property of the process reveals that the local neighborhoods play an important role in determining the connectivity between vertices. We demonstrate the practical effectiveness of the proposed measure through several combinatorial optimization problems on graphs and hypergraphs.
Constraint algebra in bigravity
Soloviev, V. O.
2015-07-15
The number of degrees of freedom in bigravity theory is found for a potential of general form and also for the potential proposed by de Rham, Gabadadze, and Tolley (dRGT). This aim is pursued via constructing a Hamiltonian formalismand studying the Poisson algebra of constraints. A general potential leads to a theory featuring four first-class constraints generated by general covariance. The vanishing of the respective Hessian is a crucial property of the dRGT potential, and this leads to the appearance of two additional second-class constraints and, hence, to the exclusion of a superfluous degree of freedom—that is, the Boulware—Deser ghost. The use of a method that permits avoiding an explicit expression for the dRGT potential is a distinctive feature of the present study.
Quantum algebra of N superspace
Hatcher, Nicolas; Restuccia, A.; Stephany, J.
2007-08-15
We identify the quantum algebra of position and momentum operators for a quantum system bearing an irreducible representation of the super Poincare algebra in the N>1 and D=4 superspace, both in the case where there are no central charges in the algebra, and when they are present. This algebra is noncommutative for the position operators. We use the properties of superprojectors acting on the superfields to construct explicit position and momentum operators satisfying the algebra. They act on the projected wave functions associated to the various supermultiplets with defined superspin present in the representation. We show that the quantum algebra associated to the massive superparticle appears in our construction and is described by a supermultiplet of superspin 0. This result generalizes the construction for D=4, N=1 reported recently. For the case N=2 with central charges, we present the equivalent results when the central charge and the mass are different. For the {kappa}-symmetric case when these quantities are equal, we discuss the reduction to the physical degrees of freedom of the corresponding superparticle and the construction of the associated quantum algebra.
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)
Loop Virasoro Lie conformal algebra
Wu, Henan Chen, Qiufan; Yue, Xiaoqing
2014-01-15
The Lie conformal algebra of loop Virasoro algebra, denoted by CW, is introduced in this paper. Explicitly, CW is a Lie conformal algebra with C[∂]-basis (L{sub i} | i∈Z) and λ-brackets [L{sub i} {sub λ} L{sub j}] = (−∂−2λ)L{sub i+j}. Then conformal derivations of CW are determined. Finally, rank one conformal modules and Z-graded free intermediate series modules over CW are classified.
Distance geometry and geometric algebra
NASA Astrophysics Data System (ADS)
Dress, Andreas W. M.; Havel, Timothy F.
1993-10-01
As part of his program to unify linear algebra and geometry using the language of Clifford algebra, David Hestenes has constructed a (well-known) isomorphism between the conformal group and the orthogonal group of a space two dimensions higher, thus obtaining homogeneous coordinates for conformal geometry.(1) In this paper we show that this construction is the Clifford algebra analogue of a hyperbolic model of Euclidean geometry that has actually been known since Bolyai, Lobachevsky, and Gauss, and we explore its wider invariant theoretic implications. In particular, we show that the Euclidean distance function has a very simple representation in this model, as demonstrated by J. J. Seidel.(18)
Hopf algebras and Dyson-Schwinger equations
NASA Astrophysics Data System (ADS)
Weinzierl, Stefan
2016-06-01
In this paper I discuss Hopf algebras and Dyson-Schwinger equations. This paper starts with an introduction to Hopf algebras, followed by a review of the contribution and application of Hopf algebras to particle physics. The final part of the paper is devoted to the relation between Hopf algebras and Dyson-Schwinger equations.
NASA Astrophysics Data System (ADS)
Hilgert, Joachim; Mayer, Dieter; Movasati, Hossein
2005-07-01
In this paper we report on a surprising relation between the transfer operators for the congruence subgroups Gamma_{0}(nm),n,min mathbb{N}, and some kind of Hecke operators on the space of vector valued period functions for the groups Gamma_{0}(n). We study special eigenfunctions of the transfer operators for the groups Gamma_{0}(nm) with eigenvalues mp1 which are also solutions of the Lewis equations for these groups and which are determined by eigenfunctions of the transfer operator for the congruence subgroup Gamma_{0}(n). In the language of the Atkin-Lehner theory of old and new forms one should hence call them old eigenfunctions or old solutions of the Lewis equation for Gamma_{0}(n). It turns out that certain linear combinations of the components of these old solutions for the group Gamma_{0}(nm) determine for any m a solution of the Lewis equation for the group Gamma_{0}(n) and hence also an eigenfunction of the transfer operator for this group.
Spectral Determinants on Mandelstam Diagrams
NASA Astrophysics Data System (ADS)
Hillairet, Luc; Kalvin, Victor; Kokotov, Alexey
2016-04-01
We study the regularized determinant of the Laplacian as a functional on the space of Mandelstam diagrams (noncompact translation surfaces glued from finite and semi-infinite cylinders). A Mandelstam diagram can be considered as a compact Riemann surface equipped with a conformal flat singular metric {|ω|^2}, where {ω} is a meromorphic one-form with simple poles such that all its periods are pure imaginary and all its residues are real. The main result is an explicit formula for the determinant of the Laplacian in terms of the basic objects on the underlying Riemann surface (the prime form, theta-functions, the canonical meromorphic bidifferential) and the divisor of the meromorphic form {ω}. As an important intermediate result we prove a decomposition formula of the type of Burghelea-Friedlander-Kappeler for the determinant of the Laplacian for flat surfaces with cylindrical ends and conical singularities.
Hero's journey in bifurcation diagram
NASA Astrophysics Data System (ADS)
Monteiro, L. H. A.; Mustaro, P. N.
2012-06-01
The hero's journey is a narrative structure identified by several authors in comparative studies on folklore and mythology. This storytelling template presents the stages of inner metamorphosis undergone by the protagonist after being called to an adventure. In a simplified version, this journey is divided into three acts separated by two crucial moments. Here we propose a discrete-time dynamical system for representing the protagonist's evolution. The suffering along the journey is taken as the control parameter of this system. The bifurcation diagram exhibits stationary, periodic and chaotic behaviors. In this diagram, there are transition from fixed point to chaos and transition from limit cycle to fixed point. We found that the values of the control parameter corresponding to these two transitions are in quantitative agreement with the two critical moments of the three-act hero's journey identified in 10 movies appearing in the list of the 200 worldwide highest-grossing films.
Curvature calculations with spacetime algebra
Hestenes, D.
1986-06-01
A new method for calculating the curvature tensor is developed and applied to the Scharzschild case. The method employs Clifford algebra and has definite advantages over conventional methods using differential forms or tensor analysis.
GCD, LCM, and Boolean Algebra?
ERIC Educational Resources Information Center
Cohen, Martin P.; Juraschek, William A.
1976-01-01
This article investigates the algebraic structure formed when the process of finding the greatest common divisor and the least common multiple are considered as binary operations on selected subsets of positive integers. (DT)
Sequential products on effect algebras
NASA Astrophysics Data System (ADS)
Gudder, Stan; Greechie, Richard
2002-02-01
A sequential effect algebra (SEA) is an effect algebra on which a sequential product with natural properties is defined. The properties of sequential products on Hilbert space effect algebras are discussed. For a general SEA, relationships between sequential independence, coexistence and compatibility are given. It is shown that the sharp elements of a SEA form an orthomodular poset. The sequential center of a SEA is discussed and a characterization of when the sequential center is isomorphic to a fuzzy set system is presented. It is shown that the existence, of a sequential product is a strong restriction that eliminates many effect algebras from being SEA's. For example, there are no finite nonboolean SEA's, A measure of sharpness called the sharpness index is studied. The existence of horizontal sums of SEA's is characterized and examples of horizontal sums and tensor products are presented.
Semiclassical states on Lie algebras
Tsobanjan, Artur
2015-03-15
The effective technique for analyzing representation-independent features of quantum systems based on the semiclassical approximation (developed elsewhere) has been successfully used in the context of the canonical (Weyl) algebra of the basic quantum observables. Here, we perform the important step of extending this effective technique to the quantization of a more general class of finite-dimensional Lie algebras. The case of a Lie algebra with a single central element (the Casimir element) is treated in detail by considering semiclassical states on the corresponding universal enveloping algebra. Restriction to an irreducible representation is performed by “effectively” fixing the Casimir condition, following the methods previously used for constrained quantum systems. We explicitly determine the conditions under which this restriction can be consistently performed alongside the semiclassical truncation.
Cartooning in Algebra and Calculus
ERIC Educational Resources Information Center
Moseley, L. Jeneva
2014-01-01
This article discusses how teachers can create cartoons for undergraduate math classes, such as college algebra and basic calculus. The practice of cartooning for teaching can be helpful for communication with students and for students' conceptual understanding.
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.
NASA Astrophysics Data System (ADS)
Lannes, A.; Teunissen, P. J. G.
2011-05-01
The first objective of this paper is to show that some basic concepts used in global navigation satellite systems (GNSS) are similar to those introduced in Fourier synthesis for handling some phase calibration problems. In experimental astronomy, the latter are at the heart of what is called `phase closure imaging.' In both cases, the analysis of the related structures appeals to the algebraic graph theory and the algebraic number theory. For example, the estimable functions of carrier-phase ambiguities, which were introduced in GNSS to correct some rank defects of the undifferenced equations, prove to be `closure-phase ambiguities:' the so-called `closure-delay' (CD) ambiguities. The notion of closure delay thus generalizes that of double difference (DD). The other estimable functional variables involved in the phase and code undifferenced equations are the receiver and satellite pseudo-clock biases. A related application, which corresponds to the second objective of this paper, concerns the definition of the clock information to be broadcasted to the network users for their precise point positioning (PPP). It is shown that this positioning can be achieved by simply having access to the satellite pseudo-clock biases. For simplicity, the study is restricted to relatively small networks. Concerning the phase for example, these biases then include five components: a frequency-dependent satellite-clock error, a tropospheric satellite delay, an ionospheric satellite delay, an initial satellite phase, and an integer satellite ambiguity. The form of the PPP equations to be solved by the network user is then similar to that of the traditional PPP equations. As soon as the CD ambiguities are fixed and validated, an operation which can be performed in real time via appropriate decorrelation techniques, estimates of these float biases can be immediately obtained. No other ambiguity is to be fixed. The satellite pseudo-clock biases can thus be obtained in real time. This is
Hopf algebras and topological recursion
NASA Astrophysics Data System (ADS)
Esteves, João N.
2015-11-01
We consider a model for topological recursion based on the Hopf algebra of planar binary trees defined by Loday and Ronco (1998 Adv. Math. 139 293-309 We show that extending this Hopf algebra by identifying pairs of nearest neighbor leaves, and thus producing graphs with loops, we obtain the full recursion formula discovered by Eynard and Orantin (2007 Commun. Number Theory Phys. 1 347-452).
Energy Science and Technology Software Center (ESTSC)
2005-04-11
The ALGEBRA program allows the user to manipulate data from a finite element analysis before it is plotted. The finite element output data is in the form of variable values (e.g., stress, strain, and velocity components) in an EXODUS II database. The ALGEBRA program evaluates user-supplied functions of the data and writes the results to an output EXODUS II database that can be read by plot programs.
Causal diagrams in systems epidemiology
2012-01-01
Methods of diagrammatic modelling have been greatly developed in the past two decades. Outside the context of infectious diseases, systematic use of diagrams in epidemiology has been mainly confined to the analysis of a single link: that between a disease outcome and its proximal determinant(s). Transmitted causes ("causes of causes") tend not to be systematically analysed. The infectious disease epidemiology modelling tradition models the human population in its environment, typically with the exposure-health relationship and the determinants of exposure being considered at individual and group/ecological levels, respectively. Some properties of the resulting systems are quite general, and are seen in unrelated contexts such as biochemical pathways. Confining analysis to a single link misses the opportunity to discover such properties. The structure of a causal diagram is derived from knowledge about how the world works, as well as from statistical evidence. A single diagram can be used to characterise a whole research area, not just a single analysis - although this depends on the degree of consistency of the causal relationships between different populations - and can therefore be used to integrate multiple datasets. Additional advantages of system-wide models include: the use of instrumental variables - now emerging as an important technique in epidemiology in the context of mendelian randomisation, but under-used in the exploitation of "natural experiments"; the explicit use of change models, which have advantages with respect to inferring causation; and in the detection and elucidation of feedback. PMID:22429606
Looking inside the butterfly diagram
NASA Astrophysics Data System (ADS)
Ternullo, M.
2007-12-01
The suitability of Maunder's butterfly diagram to give a realistic picture of the photospheric magnetic flux large scale distribution is discussed. The evolution of the sunspot zone in cycle 20 through 23 is described. To reduce the noise which covers any structure in the diagram, a smoothing algorithm has been applied to the sunspot data. This operation has eliminated any short period fluctuation, and given visibility to long duration phenomena. One of these phenomena is the fact that the equatorward drift of the spot zone center of mass results from the alternation of several prograde (namely, equatorward) segments with other stationary or poleward segments. The long duration of the stationary/retrograde phases as well as the similarities among the spot zone alternating paths in the cycles under examination prevent us from considering these features as meaningless fluctuations, randomly superimposed on the continuous equatorward migration. On the contrary, these features should be considered physically meaningful phenomena, requiring adequate explanations. Moreover, even the smoothed spotted area markedly oscillates. The compared examination of area and spot zone evolution allows us to infer details about the spotted area distribution inside the butterfly diagram. Links between the changing structure of the spot zone and the tachocline rotation rate oscillations are proposed.
Twistor Diagrams and Quantum Field Theory.
NASA Astrophysics Data System (ADS)
O'Donald, Lewis
Available from UMI in association with The British Library. Requires signed TDF. This thesis uses twistor diagram theory, as developed by Penrose (1975) and Hodges (1990c), to try to approach some of the difficulties inherent in the standard quantum field theoretic description of particle interactions. The resolution of these issues is the eventual goal of the twistor diagram program. First twistor diagram theory is introduced from a physical view-point, with the aim of studying larger diagrams than have been typically explored. Methods are evolved to tackle the double box and triple box diagrams. These lead to three methods of constructing an amplitude for the double box, and two ways for the triple box. Next this theory is applied to translate the channels of a Yukawa Feynman diagram, which has more than four external states, into various twistor diagrams. This provides a test of the skeleton hypothesis (of Hodges, 1990c) in these cases, and also shows that conformal breaking must enter into twistor diagrams before the translation of loop level Feynman diagrams. The issue of divergent Feynman diagrams is then considered. By using a twistor equivalent of the sum-over -states idea of quantum field theory, twistor translations of loop diagrams are conjectured. The various massless propagator corrections and vacuum diagrams calculated give results consistent with Feynman theory. Two diagrams are also found that give agreement with the finite parts of the Feynman "fish" diagrams of phi^4 -theory. However it is found that a more rigorous translation for the time-like fish requires new boundaries to be added to the twistor sum-over-states. The twistor diagram obtained is found to give the finite part of the relevant Feynman diagram.
NASA Astrophysics Data System (ADS)
Kuzmin, Dmitri; Möller, Matthias; Gurris, Marcel
Flux limiting for hyperbolic systems requires a careful generalization of the design principles and algorithms introduced in the context of scalar conservation laws. In this chapter, we develop FCT-like algebraic flux correction schemes for the Euler equations of gas dynamics. In particular, we discuss the construction of artificial viscosity operators, the choice of variables to be limited, and the transformation of antidiffusive fluxes. An a posteriori control mechanism is implemented to make the limiter failsafe. The numerical treatment of initial and boundary conditions is discussed in some detail. The initialization is performed using an FCT-constrained L 2 projection. The characteristic boundary conditions are imposed in a weak sense, and an approximate Riemann solver is used to evaluate the fluxes on the boundary. We also present an unconditionally stable semi-implicit time-stepping scheme and an iterative solver for the fully discrete problem. The results of a numerical study indicate that the nonlinearity and non-differentiability of the flux limiter do not inhibit steady state convergence even in the case of strongly varying Mach numbers. Moreover, the convergence rates improve as the pseudo-time step is increased.
Differential Effectiveness of Two Science Diagram Types.
ERIC Educational Resources Information Center
Holliday, William G.
Reported is an Aptitude Treatment Instruction (ATI) Study designed to evaluate the aptitude of verbal comprehension in terms of two unitary complex science diagram types: a single complex block word diagram and a single complex picture word diagram.. ATI theory and research indicate that different effective instructional treatments tend to help…
Arrows in Comprehending and Producing Mechanical Diagrams
ERIC Educational Resources Information Center
Heiser, Julie; Tversky, Barbara
2006-01-01
Mechanical systems have structural organizations--parts, and their relations--and functional organizations--temporal, dynamic, and causal processes--which can be explained using text or diagrams. Two experiments illustrate the role of arrows in diagrams of mechanical systems. In Experiment 1, people described diagrams with or without arrows,…
Graphical tensor product reduction scheme for the Lie algebras so(5) = sp(2) , su(3) , and g(2)
NASA Astrophysics Data System (ADS)
Vlasii, N. D.; von Rütte, F.; Wiese, U.-J.
2016-08-01
We develop in detail a graphical tensor product reduction scheme, first described by Antoine and Speiser, for the simple rank 2 Lie algebras so(5) = sp(2) , su(3) , and g(2) . This leads to an efficient practical method to reduce tensor products of irreducible representations into sums of such representations. For this purpose, the 2-dimensional weight diagram of a given representation is placed in a "landscape" of irreducible representations. We provide both the landscapes and the weight diagrams for a large number of representations for the three simple rank 2 Lie algebras. We also apply the algebraic "girdle" method, which is much less efficient for calculations by hand for moderately large representations. Computer code for reducing tensor products, based on the graphical method, has been developed as well and is available from the authors upon request.
Nonnumeric Computer Applications to Algebra, Trigonometry and Calculus.
ERIC Educational Resources Information Center
Stoutemyer, David R.
1983-01-01
Described are computer program packages requiring little or no knowledge of computer programing for college algebra, calculus, and abstract algebra. Widely available computer algebra systems are listed. (MNS)
Orbifold singularities, Lie algebras of the third kind (LATKes), and pure Yang-Mills with matter
NASA Astrophysics Data System (ADS)
Friedmann, Tamar
2011-02-01
We discover the unique, simple Lie algebra of the third kind, or LATKe, that stems from codimension 6 orbifold singularities and gives rise to a new kind of Yang-Mills theory which simultaneously is pure and contains matter. The root space of the LATKe is one-dimensional and its Dynkin diagram consists of one point. The uniqueness of the LATKe is a vacuum selection mechanism. [ {c} {The World in a Point?}{Blow-up of} C^3/Z_3| {Dynkin diagram of the LATKe}bullet {Pure Yang-Mills with matter}
Virasoro algebra in the KN algebra; Bosonic string with fermionic ghosts on Riemann surfaces
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.
Invertible linear transformations and the Lie algebras
NASA Astrophysics Data System (ADS)
Zhang, Yufeng; Tam, Honwah; Guo, Fukui
2008-07-01
With the help of invertible linear transformations and the known Lie algebras, a way to generate new Lie algebras is given. These Lie algebras obtained have a common feature, i.e. integrable couplings of solitary hierarchies could be obtained by using them, specially, the Hamiltonian structures of them could be worked out. Some ways to construct the loop algebras of the Lie algebras are presented. It follows that some various loop algebras are given. In addition, a few new Lie algebras are explicitly constructed in terms of the classification of Lie algebras proposed by Ma Wen-Xiu, which are bases for obtaining new Lie algebras by using invertible linear transformations. Finally, some solutions of a (2 + 1)-dimensional partial-differential equation hierarchy are obtained, whose Hamiltonian form-expressions are manifested by using the quadratic-form identity.
Understanding machines from text and diagrams
NASA Astrophysics Data System (ADS)
Hegarty, Mary; Just, Marcel A.
1987-12-01
Instructional materials typically use both text and diagrams to explain how machines work. In this paper we give an account of what information is involved in understanding a mechanical device and the role that diagrams might play in communicating this information. We propose a model of how people read a text and inspect an accompanying diagram which states that people inspect diagrams for three reasons: (1) to form a representation of information read in the text, (2) to reactivate information that has already been represented, and (3) to encode information that is absent from the text. Using data from subjects' eye fixations while they read a text and inspected an accompanying diagram, we find that low-ability subjects need to inspect diagrams more often than high-ability text. The data also suggest that knowledge of what is relevant in a diagram might be a prerequisite for encoding new information from a diagram. Instructional materials typically use both text and diagrams to explain how machines work. In this paper we give an account of what information is involved in understanding a mechanical device and the role that diagrams might play in communicating this information. We propose a model of how people read a text and inspect an accompanying diagram which states that people inspect diagrams for three reasons: (1) to form a representation of information read in the text; (2) to reactivate information that was alsready represented, and *3) to encode information that is absent from the text. Uinsg data from subjects' eye fixations while they read a text and inspected an accompanying diagram, we find that low-ability subjects need to inspect diagrmas more often than high-ability tesxt. The data also suggest that knowledge of what is relevant in a diagram might be a prerequisite and encoding information on a diagram.
Diagram, a Learning Environment for Initiation to Object-Oriented Modeling with UML Class Diagrams
ERIC Educational Resources Information Center
Py, Dominique; Auxepaules, Ludovic; Alonso, Mathilde
2013-01-01
This paper presents Diagram, a learning environment for object-oriented modelling (OOM) with UML class diagrams. Diagram an open environment, in which the teacher can add new exercises without constraints on the vocabulary or the size of the diagram. The interface includes methodological help, encourages self-correcting and self-monitoring, and…
Model-Checking with Edge-Valued Decision Diagrams
NASA Technical Reports Server (NTRS)
Roux, Pierre; Siminiceanu, Radu I.
2010-01-01
We describe an algebra of Edge-Valued Decision Diagrams (EVMDDs) to encode arithmetic functions and its implementation in a model checking library along with state-of-the-art algorithms for building the transition relation and the state space of discrete state systems. We provide efficient algorithms for manipulating EVMDDs and give upper bounds of the theoretical time complexity of these algorithms for all basic arithmetic and relational operators. We also demonstrate that the time complexity of the generic recursive algorithm for applying a binary operator on EVMDDs is no worse than that of Multi-Terminal Decision Diagrams. We have implemented a new symbolic model checker with the intention to represent in one formalism the best techniques available at the moment across a spectrum of existing tools: EVMDDs for encoding arithmetic expressions, identity-reduced MDDs for representing the transition relation, and the saturation algorithm for reachability analysis. We compare our new symbolic model checking EVMDD library with the widely used CUDD package and show that, in many cases, our tool is several orders of magnitude faster than CUDD.
Optical generation of Voronoi diagram.
Giavazzi, F; Cerbino, R; Mazzoni, S; Giglio, M; Vailati, A
2008-03-31
We present results of experiments of diffraction by an amplitude screen, made of randomly distributed circular holes. By careful selection of the experimental parameters we obtain an intensity pattern strongly connected to the Voronoi diagram (VD) generated by the centers of the apertures. With the help of simulations we give a description of the observed phenomenon and elucidate the optimal parameters for its observation. Finally, we also suggest how it can be used for a fast, all-optical generation of VDs. PMID:18542580
NASA Astrophysics Data System (ADS)
Risaliti, Guido; Lusso, Elisabeta
2015-09-01
We present a new method to test the cosmological model at high z, and measure the cosmological parameters, based on the non-linear correlation between UV and X-ray luminosity in quasars. While the method can be successfully tested with the data available today, a deep X-ray survey matching the future LSST and Euclid quasar catalogs is needed to achieve a high precision. Athena could provide a Hubble diagram for quasar analogous to that available today for supernovae, but extending up to z>6.
Ternary generalization of Heisenberg's algebra
NASA Astrophysics Data System (ADS)
Kerner, Richard
2015-06-01
A concise study of ternary and cubic algebras with Z3 grading is presented. We discuss some underlying ideas leading to the conclusion that the discrete symmetry group of permutations of three objects, S3, and its abelian subgroup Z3 may play an important role in quantum physics. We show then how most of important algebras with Z2 grading can be generalized with ternary composition laws combined with a Z3 grading. We investigate in particular a ternary, Z3-graded generalization of the Heisenberg algebra. It turns out that introducing a non-trivial cubic root of unity, , one can define two types of creation operators instead of one, accompanying the usual annihilation operator. The two creation operators are non-hermitian, but they are mutually conjugate. Together, the three operators form a ternary algebra, and some of their cubic combinations generate the usual Heisenberg algebra. An analogue of Hamiltonian operator is constructed by analogy with the usual harmonic oscillator, and some properties of its eigenfunctions are briefly discussed.
Beyond Dirac - a Unified Algebra
NASA Astrophysics Data System (ADS)
Lundberg, Wayne R.
2001-10-01
A introductory insight will be shared regarding a 'separation of variables' approach to understanding the relationship between QCD and the origins of cosmological and particle mass. The discussion will then build upon work presented at DFP 2000, focussing on the formal basis for using 3x3x3 matrix algebra as it underlies and extends Dirac notation. A set of restrictions are established which break the multiple symmetries of the 3x3x3 matrix algebra, yielding Standard Model QCD objects and interactions. It will be shown that the 3x3x3 matrix representation unifies the algebra of strong and weak (and by extension, electromagnetic) interactions. A direct correspondence to string theoretic objects is established by considering the string to be partitioned in thirds. Rubik's cube is used as a graphical means of handling algebraic manipulation of 3x3x3 algebra. Further, its potential utility for advancing pedagogical methods through active engagement is discussed. A simulated classroom exercize will be conducted.
Cell flipping in permutation diagrams
NASA Astrophysics Data System (ADS)
Golumbic, Martin Charles; Kaplang, Haim
Permutation diagrams have been used in circuit design to model a set of single point nets crossing a channel, where the minimum number of layers needed to realize the diagram equals the clique number ω(G) of its permutation graph, the value of which can be calculated in O(n log n) time. We consider a generalization of this model motivated by "standard cell" technology in which the numbers on each side of the channel are partitioned into consecutive subsequences, or cells, each of which can be left unchanged or flipped (i.e., reversed). We ask, for what choice of fiippings will the resulting clique number be minimum or maximum. We show that when one side of the channel is fixed (no flipping), an optimal flipping for the other side can be found in O(n log n) time for the maximum clique number. We prove that the general problem is NP-complete for the minimum clique number and O(n 2) for the maximum clique number. Moreover, since the complement of a permutation graph is also a permutation graph, the same complexity results hold for the independence number.
Phase Diagrams of Nuclear Pasta
NASA Astrophysics Data System (ADS)
Caplan, Matthew; Horowitz, Chuck; Berry, Don; da Silva Schneider, Andre
2016-03-01
In the inner crust of neutrons stars, where matter is near the saturation density, protons and neutrons arrange themselves into complex structures called nuclear pasta. Early theoretical work predicted a simple graduated hierarchy of pasta phases, consisting of spheres, cylinders, slabs, and uniform matter with voids. Previous work has simulated these phases with a simple classical model and has shown that the formation of these structures is dependent on the temperature, density, and proton fraction. However, previous work only studied a limited range of these parameters due to computational limitations. Thanks to recent advances in computing it is now possible to survey the structure of nuclear pasta for a larger range of parameters. By simulating nuclear pasta with constant temperature and proton fraction in an expanding simulation volume we are able to study the phase transitions in nuclear pasta, and thus produce a set of phase diagrams. We report on these phase diagrams as well as newly identified phases of nuclear pasta and discuss their implications for neutron star observables.
Moving frames and prolongation algebras
NASA Technical Reports Server (NTRS)
Estabrook, F. B.
1982-01-01
Differential ideals generated by sets of 2-forms which can be written with constant coefficients in a canonical basis of 1-forms are considered. By setting up a Cartan-Ehresmann connection, in a fiber bundle over a base space in which the 2-forms live, one finds an incomplete Lie algebra of vector fields in the fields in the fibers. Conversely, given this algebra (a prolongation algebra), one can derive the differential ideal. The two constructs are thus dual, and analysis of either derives properties of both. Such systems arise in the classical differential geometry of moving frames. Examples of this are discussed, together with examples arising more recently: the Korteweg-de Vries and Harrison-Ernst systems.
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)
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.
Motivating Activities that Lead to Algebra
ERIC Educational Resources Information Center
Menon, Ramakrishnan
2004-01-01
Four activities consisting of puzzles are introduced, which help students to recognize the strength of algebraic generalizations. They also assist them to comprehend algebraic concepts, and enable them to develop their individual puzzles and games.
Scalable Parallel Algebraic Multigrid Solvers
Bank, R; Lu, S; Tong, C; Vassilevski, P
2005-03-23
The authors propose a parallel algebraic multilevel algorithm (AMG), which has the novel feature that the subproblem residing in each processor is defined over the entire partition domain, although the vast majority of unknowns for each subproblem are associated with the partition owned by the corresponding processor. This feature ensures that a global coarse description of the problem is contained within each of the subproblems. The advantages of this approach are that interprocessor communication is minimized in the solution process while an optimal order of convergence rate is preserved; and the speed of local subproblem solvers can be maximized using the best existing sequential algebraic solvers.
Computational triadic algebras of signs
Zadrozny, W.
1996-12-31
We present a finite model of Peirce`s ten classes of signs. We briefly describe Peirce`s taxonomy of signs; we prove that any finite collection of signs can be extended to a finite algebra of signs in which all interpretants are themselves being interpreted; and we argue that Peirce`s ten classes of signs can be defined using constraints on algebras of signs. The paper opens the possibility of defining multimodal cognitive agents using Peirce`s classes of signs, and is a first step towards building a computational logic of signs based on Peirce`s taxonomies.
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…
Spatial-Operator Algebra For Robotic Manipulators
NASA Technical Reports Server (NTRS)
Rodriguez, Guillermo; Kreutz, Kenneth K.; Milman, Mark H.
1991-01-01
Report discusses spatial-operator algebra developed in recent studies of mathematical modeling, control, and design of trajectories of robotic manipulators. Provides succinct representation of mathematically complicated interactions among multiple joints and links of manipulator, thereby relieving analyst of most of tedium of detailed algebraic manipulations. Presents analytical formulation of spatial-operator algebra, describes some specific applications, summarizes current research, and discusses implementation of spatial-operator algebra in the Ada programming language.
The weak Hopf algebras related to generalized Kac-Moody algebra
Wu Zhixiang
2006-06-15
We define a kind of quantized enveloping algebra of a generalized Kac-Moody algebra G by adding a generator J satisfying J{sup m}=J{sup m-1} for some integer m. We denote this algebra by wU{sub q}{sup {tau}}(G). This algebra is a weak Hopf algebra if and only if m=2. In general, it is a bialgebra, and contains a Hopf subalgebra. This Hopf subalgebra is isomorphic to the usually quantum envelope algebra U{sub q}(G) of a generalized Kac-Moody algebra G.
Hubble's diagram and cosmic expansion
Kirshner, Robert P.
2004-01-01
Edwin Hubble's classic article on the expanding universe appeared in PNAS in 1929 [Hubble, E. P. (1929) Proc. Natl. Acad. Sci. USA 15, 168–173]. The chief result, that a galaxy's distance is proportional to its redshift, is so well known and so deeply embedded into the language of astronomy through the Hubble diagram, the Hubble constant, Hubble's Law, and the Hubble time, that the article itself is rarely referenced. Even though Hubble's distances have a large systematic error, Hubble's velocities come chiefly from Vesto Melvin Slipher, and the interpretation in terms of the de Sitter effect is out of the mainstream of modern cosmology, this article opened the way to investigation of the expanding, evolving, and accelerating universe that engages today's burgeoning field of cosmology. PMID:14695886
Phase diagram of ammonium nitrate
NASA Astrophysics Data System (ADS)
Dunuwille, M.; Yoo, C. S.
2014-05-01
Ammonium Nitrate (AN) has often subjected to uses in improvised explosive devices, due to its wide availability as a fertilizer and its capability of becoming explosive with slight additions of organic and inorganic compounds. Yet, the origin of enhanced energetic properties of impure AN (or AN mixtures) is neither chemically unique nor well understood -resulting in rather catastrophic disasters in the past1 and thereby a significant burden on safety in using ammonium nitrates even today. To remedy this situation, we have carried out an extensive study to investigate the phase stability of AN at high pressure and temperature, using diamond anvil cells and micro-Raman spectroscopy. The present results confirm the recently proposed phase IV-to-IV' transition above 17 GPa2 and provide new constraints for the melting and phase diagram of AN to 40 GPa and 400 °C.
Lessons for Algebraic Thinking. Grades K-2.
ERIC Educational Resources Information Center
von Rotz, Leyani; Burns, Marilyn
Algebra is one of the top priorities of mathematics instruction for the elementary and middle grades. This book is designed to help K-2 teachers meet the challenge of making algebra an integral part of their mathematics instruction and realize both what to teach and how to teach central algebraic concepts. Classroom-tested lessons help teachers…