Search

Mathematics has become inescapable in modern, digitized societies: there is hardly any area of life left that isn't affected by it, and we as mathematicians play a central role in this. Our actions affect what others, in particular our students, decide to do with mathematics, and how mathematics affects the world, for better or worse. In return, the study of ethics in mathematics (EiM) has become increasingly important, even though it is still unknown to many. This exposition tries to change that, by motivating ethics in mathematics as an interesting, tractable, non-trivial, well-defined and good research area for mathematicians to consider., Comment: 10 pages, 1 figure. This article is a preliminary version of an article that will be published in the Notices of the AMS. It is currently under review

The resources compiled in this document provide an approach to embed and teach Ethics in Mathematics at the undergraduate level. We provide mathematical exercises and homework problems that teach students ethical awareness and transferable skills, for many of the standard courses in the first and second years of a university degree in mathematics or related courses with significant mathematical content (e.g., physics, engineering, computer science, economics, etc). In addition to the exercises, this document also contains a list of projects, essay topics, and handouts for use as final projects and in seminars. This is a living document, and additional contributions are welcome., Comment: 95 pages, 2 figures. This is the first version, and we intend to make revisions. Comments and feedback are welcome - please get in touch with us

We extend Langdon Winner's idea that artifacts have politics into the realm of mathematics. To do so, we first provide a list of examples showing the existence of mathematical artifacts that have politics. In the second step, we provide an argument that shows that all mathematical artifacts have politics. We conclude by showing the implications for embedding ethics into mathematical curricula. We show how acknowledging that mathematical artifacts have politics can help mathematicians design better exercises for their mathematics students., Comment: 23 pages; keywords: artifacts have politics, embedded ethics, mathematics in society, ethics in mathematics, mathematics education

This manifesto has been written as a practical tool and aid for anyone carrying out, managing or influencing mathematical work. It provides insight into how to undertake and develop mathematically-powered products and services in a safe and responsible way. Rather than give a framework of objectives to achieve, we instead introduce a process that can be integrated into the common ways in which mathematical products or services are created, from start to finish. This process helps address the various issues and problems that can arise for the product, the developers, the institution, and for wider society. To do this, we break down the typical procedure of mathematical development into 10 key stages; our "10 pillars for responsible development" which follow a somewhat chronological ordering of the steps, and associated challenges, that frequently occur in mathematical work. Together these 10 pillars cover issues of the entire lifecycle of a mathematical product or service, including the preparatory work required to responsibly start a project, central questions of good technical mathematics and data science, and issues of communication, deployment and follow-up maintenance specifically related to mathematical systems. This manifesto, and the pillars within it, are the culmination of 7 years of work done by us as part of the Cambridge University Ethics in Mathematics Project. These are all tried-and-tested ideas, that we have presented and used in both academic and industrial environments. In our work, we have directly seen that mathematics can be an incredible tool for good in society, but also that without careful consideration it can cause immense harm. We hope that following this manifesto will empower its readers to reduce the risk of undesirable and unwanted consequences of their mathematical work., Comment: 33 pages, 1 figure. This is the first version, and we intend to make revisions. Comments and feedback are welcome - please get in touch with us

An argument is presented that mathematics teachers would benefit from an ethics framework that allows them to reflect upon their position regarding the teaching of ethics within mathematics. We present such a framework, adapted from Chiodo and Bursill-Hall's (2018) levels of ethical engagement for mathematicians, with discussion of its applications and implications. Awareness of ethical and social responsibility amongst mathematicians and mathematics educators is a newly established field, and yet it is crucially important, if we are to use mathematics for good and the avoidance of harm - in other words to use mathematics for justice, belonging, peace, care, education, lawmaking, building, creativity, equity, connection, fairness, rulemaking and order. Here, we present a way to extend ideas from ethics in the field of mathematics for mathematicians to the field of mathematics education for mathematics teachers, aiming to contribute to this transdisciplinary work and to advance the field further. We also explore links to ideas of equity, and silence and voice, drawing on the consequences of a deeper examination of the entanglements of mathematical-ethical dilemmas for mathematics teachers both inside and outside the classroom., Comment: 36 pages, submitted

When conducting COVID-19-related research, mathematicians may find themselves in public service roles. They might engage in policy discussions, collaborate with politicians and other non-scientists, and use the predictive power of mathematics to shape substantial decisions. We aim to promote good practice for ethical mathematical modelling in these difficult times. We begin with some observations about mathematical modellers, then derive eight questions that all mathematicians should constantly ask themselves, in order to develop their mathematics responsibly and ethically., Comment: 6 pages

Building on Chiodo and Bursill-Hall (2018), we outline that mathematicians can demonstrate what we term the "four levels of ethical engagement.", Comment: 5 pages

Machine learning based image classification algorithms, such as deep neural network approaches, will be increasingly employed in critical settings such as quality control in industry, where transparency and comprehensibility of decisions are crucial. Therefore, we aim to extend the defect detection task towards an interactive human-in-the-loop approach that allows us to integrate rich background knowledge and the inference of complex relationships going beyond traditional purely data-driven approaches. We propose an approach for an interactive support system for classifications in an industrial quality control setting that combines the advantages of both (explainable) knowledge-driven and data-driven machine learning methods, in particular inductive logic programming and convolutional neural networks, with human expertise and control. The resulting system can assist domain experts with decisions, provide transparent explanations for results, and integrate feedback from users; thus reducing workload for humans while both respecting their expertise and without removing their agency or accountability., Comment: to be published in AAAI 2022

In this paper, we situate the educational movement of "Ethics in Mathematics," as outlined by the Cambridge University Ethics in Mathematics Project, in the wider area of mathematics ethics education. By focusing on the core message coming out of Ethics in Mathematics, its target group, and educational philosophy, we set it into relation with "Mathematics for Social Justice" and Paul Ernest's recent work on ethics of mathematics. We conclude that, although both Ethics in Mathematics and Mathematics for Social Justice appear antagonistic at first glance, they can be understood as complementary rather than competing educational strategies., Comment: 15 pages

While the consequences of mathematically-based software, algorithms and strategies have become ever wider and better appreciated, ethical reflection on mathematics has remained primitive. We review the somewhat disconnected suggestions of commentators in recent decades with a view to piecing together a coherent approach to ethics in mathematics. Calls for a Hippocratic Oath for mathematicians are examined and it is concluded that while lessons can be learned from the medical profession, the relation of mathematicians to those affected by their work is significantly different. There is something to be learned also from the codes of conduct of cognate but professionalised quantitative disciplines such as engineering and accountancy, as well as from legal principles bearing on professional work. We conclude with recommendations that professional societies in mathematics should sponsor an (international) code of ethics, institutional mission statements for mathematicians and syllabuses for incorporation into mathematics degrees., Comment: 20 pages. Submitted to Science and Engineering Ethics

The encoding of all possible sets of Bethe equations for a spin chain with SU(N|M) symmetry into a QQ-system calls for an expression of spin chain overlaps entirely in terms of Q-functions. We take a significant step towards deriving such a universal formula in the case of overlaps between Bethe eigenstates and integrable boundary states, of relevance for AdS/dCFT, by determining the transformation properties of the overlaps under fermionic as well as bosonic dualities which allows us to move between any two descriptions of the spin chain encoded in the QQ-system. An important part of our analysis involves introducing a suitable regularization for singular Bethe root configurations., Comment: 28 pages, 3 figures; v2: minor changes

We propose the task of disambiguating symbolic expressions in informal STEM documents in the form of LaTeX files - that is, determining their precise semantics and abstract syntax tree - as a neural machine translation task. We discuss the distinct challenges involved and present a dataset with roughly 33,000 entries. We evaluated several baseline models on this dataset, which failed to yield even syntactically valid LaTeX before overfitting. Consequently, we describe a methodology using a transformer language model pre-trained on sources obtained from arxiv.org, which yields promising results despite the small size of the dataset. We evaluate our model using a plurality of dedicated techniques, taking the syntax and semantics of symbolic expressions into account., Comment: ICLR 2021 conference paper

The psu(2,2|4) integrable super spin chain underlying the AdS/CFT correspondence has integrable boundary states which describe set-ups where k D3-branes get dissolved in a probe D5-brane. Overlaps between Bethe eigenstates and these boundary states encode the one-point functions of conformal operators and are expressed in terms of the superdeterminant of the Gaudin matrix that in turn depends on the Dynkin diagram of the symmetry algebra. The different possible Dynkin diagrams of super Lie algebras are related via fermionic dualities and we determine how overlap formulae transform under these dualities. As an application we show how to consistently move between overlap formulae obtained for k=1 from different Dynkin diagrams., Comment: 34 pages, 8 figures; v2: a few clarifications added

We extend the study of the recently discovered Yangian symmetry of massive Feynman integrals and its relation to massive momentum space conformal symmetry. After proving the symmetry statements in detail at one and two loop orders, we employ the conformal and Yangian constraints to bootstrap various one-loop examples of massive Feynman integrals. In particular, we explore the interplay between Yangian symmetry and hypergeometric expressions of the considered integrals. Based on these examples we conjecture single series representations for all dual conformal one-loop integrals in D spacetime dimensions with generic massive propagators., Comment: 61 pages

In the context of planar holography, integrability plays an important role for solving certain massless quantum field theories such as N=4 SYM theory. In this letter we show that integrability also features in the building blocks of massive quantum field theories. At one-loop order we prove that all massive n-gon Feynman integrals in generic spacetime dimensions are invariant under a massive Yangian symmetry. At two loops similar statements can be proven for graphs built from two n-gons. At generic loop order we conjecture that all graphs cut from regular tilings of the plane with massive propagators on the boundary are invariant. We support this conjecture by a number of numerical tests for higher loops and legs. The observed Yangian extends the bosonic part of the massive dual conformal symmetry that was found a decade ago on the Coulomb branch of N=4 SYM theory. By translating the Yangian level-one generators from dual to original momentum space, we introduce a massive generalization of momentum space conformal symmetry. Even for non-dual conformal integrals this novel symmetry persists. The Yangian can thus be understood as the closure of massive dual conformal symmetry and this new massive momentum space conformal symmetry, which suggests an interpretation via AdS/CFT. As an application of our findings, we bootstrap the hypergeometric building blocks for examples of massive Feynman integrals., Comment: 6 pages, v2: typos corrected, clarifications added, v3: minor improvements/corrections, title adapted to journal title, v4: signs in (11) and (23) and prefactors in (22) and footnote [20] corrected

A D3-D5 intersection gives rise to a defect CFT, wherein the rank of the gauge group jumps by k units across a domain wall. The one-point functions of local operators in this set-up map to overlaps between on-shell Bethe states in the underlying spin chain and a boundary state representing the D5 brane. Focussing on the k=1 case, we extend the construction to gluonic and fermionic sectors, which was prohibitively difficult to achieve for k>1. As a byproduct, we test an all-loop proposal for the one-point functions in the su(2) sector at the half-wrapping order of perturbation theory., Comment: 30 pages, 3 figures; v2: distinction between asymptotic and wrapping contributions clarified

Mathematical software systems are becoming more and more important in pure and applied mathematics in order to deal with the complexity and scalability issues inherent in mathematics. In the last decades we have seen a cambric explosion of increasingly powerful but also diverging systems. To give researchers a guide to this space of systems, we devise a novel conceptualization of mathematical software that focuses on five aspects: inference covers formal logic and reasoning about mathematical statements via proofs and models, typically with strong emphasis on correctness; computation covers algorithms and software libraries for representing and manipulating mathematical objects, typically with strong emphasis on efficiency; concretization covers generating and maintaining collections of mathematical objects conforming to a certain pattern, typically with strong emphasis on complete enumeration; narration covers describing mathematical contexts and relations, typically with strong emphasis on human readability; finally, organization covers representing mathematical contexts and objects in machine-actionable formal languages, typically with strong emphasis on expressivity and system interoperability. Despite broad agreement that an ideal system would seamlessly integrate all these aspects, research has diversified into families of highly specialized systems focusing on a single aspect and possibly partially integrating others, each with their own communities, challenges, and successes. In this survey, we focus on the commonalities and differences of these systems from the perspective of a future multi-aspect system.

We explore the idea to bootstrap Feynman integrals using integrability. In particular, we put the recently discovered Yangian symmetry of conformal Feynman integrals to work. As a prototypical example we demonstrate that the D-dimensional box integral with generic propagator powers is completely fixed by its symmetries to be a particular linear combination of Appell hypergeometric functions. In this context the Bloch-Wigner function arises as a special Yangian invariant in 4D. The bootstrap procedure for the box integral is naturally structured in algorithmic form. We then discuss the Yangian constraints for the six-point double box integral as well as for the related hexagon. For the latter we argue that the constraints are solved by a set of generalized Lauricella functions and we comment on complications in identifying the integral as a certain linear combination of these. Finally, we elaborate on the close relation to the Mellin-Barnes technique and argue that it generates Yangian invariants as sums of residues., Comment: 20 pages, v2: minor improvements

Logical frameworks are meta-formalisms in which the syntax and semantics of object logics and related formal systems can be defined. This allows object logics to inherit implementations from the framework including, e.g., parser, type checker, or module system. But if the desired object logic falls outside the comfort zone of the logical framework, these definitions may become cumbersome or infeasible. Therefore, the MMT system abstracts even further than previous frameworks: it assumes no type system or logic at all and allows its kernel algorithms to be customized by almost arbitrary sets of rules. In particular, this allows implementing standard logical frameworks like LF in MMT. But it does so without chaining users to one particular meta-formalism: users can flexibly adapt MMT whenever the object logic demands it. In this paper, we present a series of case studies that do just that, defining increasingly complex object logics in MMT. We use elegant declarative logic definitions wherever possible, but inject entirely new rules into the kernel when necessary. Our experience shows that the MMT approach allows deriving prototype implementations of very diverse formal systems very easily and quickly., Comment: In Proceedings LFMTP 2019, arXiv:1910.08712

Translating expressions between different logics and theorem provers is notoriously and often prohibitively difficult, due to the large differences between the logical foundations, the implementations of the systems, and the structure of the respective libraries. Practical solutions for exchanging theorems across theorem provers have remained both weak and brittle. Consequently, libraries are not easily reusable across systems, and substantial effort must be spent on reformalizing and proving basic results in each system. Notably, this problem exists already if we only try to exchange theorem statements and forgo exchanging proofs. In previous work we introduced alignments as a lightweight standard for relating concepts across libraries and conjectured that it would provide a good base for translating expressions. In this paper, we demonstrate the feasibility of this approach. We use a foundationally uncommitted framework to write interface theories that abstract from logical foundation, implementation, and library structure. Then we use alignments to record how the concepts in the interface theories are realized in several major proof assistant libraries, and we use that information to translate expressions across libraries. Concretely, we present exemplary interface theories for several areas of mathematics and - in total - several hundred alignments that were found manually., Comment: In Proceedings PxTP 2017, arXiv:1712.00898

Various classes of fishnet Feynman graphs are shown to feature a Yangian symmetry over the conformal algebra. We explicitly discuss scalar graphs in three, four and six spacetime dimensions as well as the inclusion of fermions in four dimensions. The Yangian symmetry results in novel differential equations for these families of largely unsolved Feynman integrals. Notably, the considered fishnet graphs in three and four dimensions dominate the correlation functions and scattering amplitudes in specific double scaling limits of planar, gamma-twisted N=4 super Yang-Mills or ABJM theory. Consequently, the study of fishnet graphs allows us to get deep insights into the integrability of the planar AdS/CFT correspondence., Comment: 6 pages, 5 figures

We establish an all-loop conformal Yangian symmetry for the full set of planar amplitudes in the recently proposed integrable bi-scalar field theory in four dimensions. This chiral theory is a particular double scaling limit of gamma-twisted weakly coupled N=4 SYM theory. Each amplitude with a certain order of scalar particles is given by a single fishnet Feynman graph of disc topology cut out of a regular square lattice. The Yangian can be realized by the action of a product of Lax operators with a specific sequence of inhomogeneity parameters on the boundary of the disc. Based on this observation, the Yangian generators of level one for generic bi-scalar amplitudes are explicitly constructed. Finally, we comment on the relation to the dual conformal symmetry of these scattering amplitudes., Comment: 40 pages, 20 figures

This paper studies the excursion set of a real stationary isotropic Gaussian random field above a fixed level. We show that the standardized Lipschitz-Killing curvatures of the intersection of the excursion set with a window converges in distribution to a normal distribution as the window grows to the $d$-dimensional Euclidean space. Moreover a lower bound for the asymptotic variance is shown., Comment: Minor changes