arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

Author

Jerry Lodder

27 papers · 1998–2024

1998: 11999: 12000: 02001: 12002: 02003: 12004: 02005: 32006: 02007: 02008: 22009: 52010: 02011: 22012: 22013: 02014: 22015: 12016: 32017: 02018: 12019: 02020: 12021: 02022: 02023: 02024: 1
1998peak 5 in 20092024

Frequent co-authors

Papers

showing 1–25 of 27 RSS

Binary Arithmetic: From Leibniz to von Neumann

Jerry Lodder

Computational Theory and Mathematics · Mathematical Association of America eBooks · · cited 26× · DOI ↗ · more like this ·

Before I reached the school-class in which logic was taught, I was deep into the historians and poets, for I began to read the historians almost as soon as I was able to read at all, and I found great pleasure and ease in verse. But as soon as I began to learn logic, I was greatly excited by the division and order in it. I immediately noticed, to the extent that a boy of 13 could, that there must be a great deal in it [5, p. 516]. His study of logic and intellectual quest for order continued throughout his life and became a basic principle to his method of inquiry. At the age of 20 he published Dissertatio de arte combinatoria (Dissertation on the Art of Combinatorics) in which he sought a characteristica generalis (general characteristic) or a lingua generalis (general language) that would serve as a universal symbolic language and reduce all debate to calculation. Leibniz maintained:

Designing Student Projects for Teaching and Learning Discrete Mathematics and Computer Science via Primary Historical Sources

Janet Heine Barnett, Jerry Lodder, David Pengelley +2 more

Theoretical Computer Science · · cited 25× · DOI ↗ · more like this ·

A discrete mathematics course often teaches about precise logical and algorithmic thought and methods of proof to students studying mathematics, computer science, or teacher education. The roots of such methods of thought, and of discrete mathematics itself, are as old as mathematics, with the notion of counting, a discrete operation, usually cited as the first mathematical development in ancient cultures [7]. However, a typical course frequently presents a fast-paced news reel of facts and formulae, often memorized by the students, with the text offering only passing mention of the motivating problems and original work that eventually found resolution in the modern concepts. This paper describes a pedagogical approach to teaching topics in discrete mathematics and computer science intended to place the material in context and provide direction to the subject matter via student projects…

Curvature in the Calculus Curriculum

Jerry Lodder

Theoretical Computer Science · American Mathematical Monthly · · cited 13× · DOI ↗ · more like this ·

university was the repeated correction of the same problem on 150 calculus exams. The course material was the calculus of curves and surfaces in three-space, and the problem was a routine calculation of curvature, requiring the memorization of a particular formula and the mechanics of differentiation. Being conscientious in my duties,

Rigidity of Secondary Characteristic Classes

Jerry Lodder

math.DG · · cited 11× · arXiv ↗ · more like this ·

In this paper we study the variability and rigidity of secondary characteristic classes which arise from flat connections on a manifold. Considering the connection as a Lie-algebra valued one-form, we study the characteristic map from Lie algebra cohomology to de Rham cohomology of the manifold, and prove that if the Leibniz cohomology of the Lie algebra vanishes, then all secondary characteristic classes are rigid. In the case of codimension one foliations (with trivial normal bundle), we show that a characteristic map from the Leibniz cohomology of formal vector fields to the de Rham cohomology of the manifold detects a one-parameter variation of the Godbillon-Vey class. Recall that Leibniz cohomology groups are invariants of Lie algebras defined by J-L. Loday.

Teaching and Learning Mathematics From Primary Historical Sources

Janet Heine Barnett, Jerry Lodder, David Pengelley

Theoretical Computer Science · PRIMUS · · cited 9× · DOI ↗ · more like this ·

Why would anyone think of teaching and learning mathematics directly from primary historical sources? We aim to answer this question while sharing our own experiences, and those of our students across several decades. We will first describe the evolution of our motivation for teaching with primary sources, and our current view of the advantages and challenges of a pedagogy based on teaching with primary sources. We then present three lower-division case studies based on our classroom experience of teaching discrete mathematics courses with student projects based on primary sources, and comment on how these could be adapted for use with other lower-division audiences.

Networks and Spanning Trees: The Juxtaposition of Prüfer and Borůvka

Jerry Lodder

Theoretical Computer Science · PRIMUS · · cited 7× · DOI ↗ · more like this ·

This paper outlines a method for teaching topics in undergraduate mathematics or computer science via historical curricular modules. The contents of one module, “Networks and Spanning Trees,” are discussed from the original work of Arthur Cayley, Heinz Prüfer, and Otakar Borůvka that motivates the enumeration and application of trees in graph theory. Cayley correctly identifies a pattern for the number of (labeled) trees on n fixed vertices. Prüfer’s paper provides a rigorous verification of this pattern, whereas Borůvka’s paper offers one of the first algorithms for finding a minimal spanning tree over the domain of labeled trees. These latter two papers in juxtaposition offer a pleasing confluence of concepts and applications, written verbally before the modern terminology of graph theory had been formulated.

Teaching Discrete Mathematics Entirely From Primary Historical Sources

Janet Heine Barnett, Guram Bezhanishvili, Jerry Lodder +1 more

Theoretical Computer Science · PRIMUS · · cited 5× · DOI ↗ · more like this ·

We describe teaching an introductory discrete mathematics course entirely from student projects based on primary historical sources. We present case studies of four projects that cover the content of a one-semester course, and mention various other courses that we have taught with primary source projects.

A Comparison of Products in Hochschild Cohomology

Jerry Lodder

math.AT · · cited 2× · arXiv ↗ · more like this ·

We transport Steenrod's cup-i products from the singular cochains on the free loop space Maps(S^1, BG) to Hochschild's original cochain complex Hom (k[G]^*, k[G]) defining Hochschild cohomology. Here G is a discrete group, k an arbitrary coefficient ring, and BG the classifying space of G. For cochains supported on BG, we prove that Gerstenhaber's cup product agrees with the simplicial cup product and Gerstenhaber's pre-Lie product agrees with Steenrod's cup-one product. As a consequence, for cocycles f and g supported on BG, the Gerstenhaber bracket [f, g] = 0 in Hochschild cohomology. This is interpreted in terms of the Batalin-Vilkovisky structure on the Hochschild cohomology of k[G].

Introduction

Janet Heine Barnett, Guram Bezhanishvili, Hing Leung +3 more

Theoretical Computer Science · Mathematical Association of America eBooks · · cited 2× · DOI ↗ · more like this ·

A course in discrete mathematics is a relatively recent addition, within the last 30 or 40 years, to the modern American undergraduate curriculum, born out of a need to instruct computer science majors in algorithmic thought. The roots of discrete mathematics, however, are as old as mathematics itself, with the notion of counting a discrete operation, usually cited as the first mathematical development in ancient cultures. By contrast, a course in finite mathematics is sometimes presented as a fast-paced news reel of facts and formulae, often memorized by the students, with the text offering only passing mention of the motivating problems and original work that eventually found resolution in the modern concepts of induction, recursion and algorithm. This chapter focuses on the pedagogy of historical projects, which offer excerpts from original sources, place the material in context, and…

Leibniz Cohomology and the Calculus of Variations

Jerry Lodder

math.AT · · cited 2× · arXiv ↗ · more like this ·

In this paper we continue the investigation of Loday's Leibniz cohomology as a new invariant for differentiable manifolds. In particular the Leibniz coboundary of a k-tensor (in the sense of differential geometry) is computed in a local coordinate chart and then interpreted in terms of the calculus of variations. For example, the Leibniz coboundary of the metric two-tensor reduces to the first variation of arc length.

Leibniz Homology, Characteristic Classes and K-theory

Jerry Lodder

math.KT · · cited 1× · arXiv ↗ · more like this ·

In this paper we identify many striking elements in Leibniz (co)homology which arise from characteristic classes and K-theory. For a group G a field k of characteristic zero, it is shown that all primary characteristic classes, i.e. H^*(BG; k), naturally inject into certain Leibniz cohomology groups via an explicit chain map. Moreover, if f: A \to B is a homomorphism of algebras or rigns, the relative Leibniz homology groups HL_*(f) are defined, and if in addition f is surjective with nilpotent kernel, A and B algebras over the rationals, then there is a natural surjection HL_{*+1}(gl(f)) \to HC_*(f), where HC_*(f) denotes relative cyclic homology, and gl(f): gl(A) \to gl(B) is the induced map on matrices. Here again, the surjection is realized via an explicit chain map, and offers a relation between Leibniz homology and K-theory.

The Figurate Numbers: From Verbal Expression to Algebraic Symbolism

Jerry Lodder

Theoretical Computer Science · The Mathematics Enthusiast · · cited 0× · DOI ↗ · more like this ·

We study the historical development of the figurate numbers, from ancient Greece through Pierre de Fermat to the work of Blaise Pascal, examining key passages for the construction and computation of the figurate numbers as well as their use in enumerating combinations. To assist in a transition to algebraic equivalents of these verbal passages, we introduce tools from transformational grammar to rewrite the surface structure of certain sentences in terms of more streamlined sentences amenable to algebraic formation. These linguistic techniques allow for the identification of key nouns that become single algebraic symbols, while other linguistic rules show how these nouns are modified either by algebraic operations or by the inclusion of modern-day subscripts. The material can be adapted for a number of undergraduate mathematics classroom settings, e.g., general education courses…

Hochschild and Simplicial Cohomology

Jerry Lodder

math.AT · · cited 0× · arXiv ↗ · more like this ·

We study a naturally occurring $E_{\infty}$-subalgebra of the full $E_2$-Hochschild cochain complex arising from coherent cochains. For group rings and certain category algebras, these cochains detect $H^*(B {\cal{C}})$, the simplicial cohomology of the classifying space of the underlying group or category, $\cal{C}$. In this setting the simplicial cup product of cochains on $B{\cal{C}}$ agrees with the Gerstenhaber product and Steenrod's cup-one product of cochains agrees with the pre-Lie product. We extend the idea of coherent cochains to algebras more general than category algebras and dub the resulting cochains autopoietic. Coefficients are from a commutative ring $k$ with unit, not necessarily a field.

Hochschild cohomology of poset algebras and Steenrod operations

Jerry Lodder

Mathematical Physics · Comptes Rendus Mathématique · · cited 0× · DOI ↗ · more like this ·

We show that the isomorphism from the Hochschild cohomology of a poset algebra A to the simplicial cohomology of the classifying space of the category associated with A maps Gerstenhaber's pre-Lie product to Steenrod's cup-one product. On cochains, this map becomes an isomorphism of differential graded homotopy commutative algebras.

DISCRETE MATHEMATICS 1 TEACHING DISCRETE MATHEMATICS ENTIRELY FROM PRIMARY HISTORICAL SOURCES

Janet Heine Barnett, Guram Bezhanishvili, Jerry Lodder +5 more

Theoretical Computer Science · · cited 0× · OpenAlex ↗ · more like this ·

Abstract: We describe teaching an introductory discrete mathematics course entirely from student projects based on primary historical sources. We present case studies of four projects that cover the content of a one-semester course, and mention various other courses that we have taught with primary source projects.

Hochschild cochains as a Frobenius algebra

Jerry Lodder

math.AT · · cited 0× · arXiv ↗ · more like this ·

We construct a Frobenius algebra structure on the Hochschild cochains of a group ring k[G] that extends the known structure of a <1, 2> topological quantum field theory on HH^0(k[G]; k[G]), k a field and G a finite group. The convolution product extends to the homotopy commutative Gerstenhaber product on cochains, the Frobenius coproduct extends to a coproduct on the chain complex for Hochschild homology, and there is a pairing on Hochschild cocahins satisfying Frobenius associativity. The pairing, however, degenerates on a certain subcomplex of Hochschild cochains. The cochain complex for group cohomology under the simplicial cup product occurs as a homotopy commutative subalgebra of the Hochschild cochain complex under the Gerstenhaber product.

Historical Projects in Discrete Mathematics and Computer Science

Janet Barnett, Guram Bezhanishvili, Hing Leung +3 more

Computer Science Applications · · cited 0× · OpenAlex ↗ · more like this ·

A course in discrete mathematics is a relatively recent addition, within the last 30 or 40 years, to the modern American undergraduate curriculum, born out of a need to instruct computer science majors in algorithmic thought. The roots of discrete mathematics, however, are as old as mathematics itself, with the notion of counting a discrete operation, usually cited as the first mathematical development

Arithmetic Backwards from Shannon to the Chinese Abacus

Jerry Lodder

Computer Science Applications · Mathematical Association of America eBooks · · cited 0× · DOI ↗ · more like this ·

A circuit is to be designed that will automatically add two numbers, using only relays and switches. Although any numbering base could be used the circuit is greatly simplified by using the scale of two. Each digit is thus either 0 or 1; the number whose digits in order are ak, ak-1, ak-2,..., a2, a1, a0 has the value Pkj=0 aj 2j. 1. Explain how the base 10 number 95 can be written in base 2 using the above formula. In particular, compute ak, ak-1, ak-2,..., a2, a1, a0 for the number 95. What is k in this case? WriteP

Binary Arithmetic: From Leibniz to von Neumann The Era of Leibniz

Jerry M. Lodder

Theoretical Computer Science · · cited 0× · OpenAlex ↗ · more like this ·

Gottfried Wilhelm Leibniz (1646–1716) is often described as the last universalist, having contributed to virtually all fields of scholarly interest of his time, including law, history, theology, politics, engineering, geology, physics, and perhaps most importantly, philosophy, mathematics and logic [1, 9, 11]. The young Leibniz began to teach himself Latin at the age of 8, and Greek a few years later, in order to read classics not written in his native language, German. Later in life, he wrote: Before I reached the school-class in which logic was taught, I was deep into the historians and poets, for I began to read the historians almost as soon as I was able to read at all, and I found great pleasure and ease in verse. But as soon as I began to learn logic, I was greatly excited by the division and order in it. I immediately noticed, to the extent that a boy of 13 could, that there must…

A Characteristic Map for Symplectic Manifolds

Jerry Lodder

math.SG · · cited 0× · arXiv ↗ · more like this ·

We construct a local characteristic map to a symplectic manifold M via certain cohomology groups of Hamiltonian vector fields. For each p in M, the Leibniz cohomology of the Hamiltonian vector fields on R^{2n} maps to the Leibniz cohomology of all Hamiltonian vector fields on M. For a particular extension g_n of the symplectic Lie algebra, the Leibniz cohomology of g_n is shown to be an exterior algebra on the canonical symplectic two-form. The Leibniz homology of g_n then maps to the Leibniz homology of Hamiltonian vector fields on R^{2n}.

A Comparison of Leibniz and Cyclic Homologies

Jerry Lodder

math.KT · · cited 0× · arXiv ↗ · more like this ·

We relate Leibniz homology to cyclic homology by studying a map from a long exact sequence in the Leibniz theory to the ISB periodicity sequence in the cyclic theory. This provides a setting by which the two theories can be compared via the 5-lemma. We then show that the Godbillon-Vey invariant, as detected by the Leibniz homology of formal vector fields, maps to the Godbillon-Vey invariant as detected by the cyclic homology of the universal enveloping algebra of these vector fields.

Introducing Logic via Turing Machines

Jerry Lodder

Computational Theory and Mathematics · · cited 0× · DOI ↗ · more like this ·

A curious situation has arisen today in the undergraduate curriculum with many computer science majors learning the fundamentals of logic from a memorized list of truth tables and rules of inference, without regard to the original problems whose solutions involved the logic that would become part of the programmable computer. Current discrete mathematics textbooks, which often cover combinatorics, deductive reasoning and predicate logic, present the material as a fast-paced news reel of facts and formulae, with only passing mention of the original work and pioneering solutions that eventually found resolution through the modern concepts of induction, recursion and algorithm. Presented here are curricular materials, based on primary historical sources, designed for use in an introductory discrete mathematics course, particularly one with a significant number of computer science majors.…

A Comparison of Leibniz and Cyclic

Jerry M. Lodder

Mathematical Physics · · cited 0× · OpenAlex ↗ · more like this ·

Abstract. We relate Leibniz homology to cyclic homology by studying a map from a long exact sequence in the Leibniz theory to the ISB exact sequence in the cyclic theory. This provides a setting by which the two theories can be compared via the 5-lemma. We then show that the Godbillon-Vey invariant, as detected by the Leibniz homology of formal vector fields, maps to the Godbillon-Vey invariant as detected by the cyclic homology of the universal enveloping algebra of these vector fields.