Showing papers in "arXiv: History and Overview in 2015"

What is Aperiodic Order

Abstract: The theory of aperiodic order is concerned with the development of ideas stimulated by the discovery of quasicrystals We give a gentle introduction to some mathematical aspects of aperiodic order, aimed at a more general audience

Analytical Methods for Squaring the Disc

Abstract: We present and discuss several old and new methods for mapping a circular disc to a square. In particular, we present analytical expressions for mapping each point (u,v) inside the circular disc to a point (x,y) inside a square region. Ideally, we want the mapping to be smooth and invertible. In addition, we put emphasis on mappings with desirable properties. These include conformal, equiareal, and radially-constrained mappings. Finally, we present applications to logo design, panoramic photography, and hyperbolic art.

Six mathematical gems from the history of Distance Geometry

Abstract: This is a partial account of the fascinating history of Distance Geometry. We make no claim to completeness, but we do promise a dazzling display of beautiful, elementary mathematics. We prove Heron's formula, Cauchy's theorem on the rigidity of polyhedra, Cayley's generalization of Heron's formula to higher dimensions, Menger's characterization of abstract semi-metric spaces, a result of Goedel on metric spaces on the sphere, and Schoenberg's equivalence of distance and positive semidefinite matrices, which is at the basis of Multidimensional Scaling.

Digital Technologies in the Early Primary School Classroom

Abstract: Papert's (1980) work with Turtle Geometry offered an early and provocative vision of how digital technologies could be used with young learners. Since then, research on digital technology use has focused on the middle and high school levels. Given the increasing diversity of digital technologies, and their varied underlying pedagogical goals and design choices, Clements' (2002) claim that there is no single effect of the computer on mathematics achievement is as true now as it was a decade ago. However, many advances have been made in better articulating the range of design choices that are possible, their potential effect on the cognitive and affective dimensions on mathematics learning, and their varying demands on the teacher. The aim of this chapter is to summarise the research literature on the use of digital technologies in the teaching and learning of mathematics at the k-2 level. In particular, we focus on literature that contributes to our understanding of how the use of digital technologies affects and changes the teaching and learning of mathematics - that is, how different affordances and design choices impact on the way teachers and learners interact and express themselves mathematically. By digital technologies we refer to a range of tools including multi-purpose computer-based software programs, web-based applets, virtual manipulatives, programming languages, CD-ROMs, games, calculators, touchscreen applications and interactive whiteboards. The distinction between these various types is not always evident and, indeed, one goal of this chapter is to provide useful distinguishing features of these various technologies in order to help educators better evaluate and choose amongst them.

The Riemann Hypothesis over Finite Fields: From Weil to the Present Day

Abstract: The statement of the Riemann hypothesis makes sense for all global fields, not just the rational numbers. For function fields, it has a natural restatement in terms of the associated curve. Weil's work on the Riemann hypothesis for curves over finite fields led him to state his famous "Weil conjectures", which drove much of the progress in algebraic and arithmetic geometry in the following decades. In this article, I describe Weil's work and some of the ensuing progress: Weil cohomology (etale, crystalline); Grothendieck's standard conjectures; motives; Deligne's proof; Hasse-Weil zeta functions and Langlands functoriality.

Addressing the underrepresentation of women in mathematics conferences

Abstract: Despite significant improvements over the last few generations, the discipline of mathematics still counts a disproportionately small number of women among its practitioners. These women are underrepresented as conference speakers, even more so than the underrepresentation of women among PhD-earners as a whole. This underrepresentation is the result of implicit biases present within all of us, which cause us (on average) to perceive and treat women and men differently and unfairly. These mutually reinforcing biases begin in primary school, remain active through university study, and continue to oppose women's careers through their effects on hiring, evaluation, awarding of prizes, and inclusion in journal editorial boards and conference organization committees. Underrepresentation of women as conference speakers is a symptom of these biases, but it also serves to perpetuate them; therefore, addressing the inequity at conferences is valuable and necessary for countering this underrepresentation. We describe in detail the biases against women in mathematics, knowing that greater awareness of them leads to a better ability to mitigate them. Finally, we make explicit suggestions for organizing conferences in ways that are equitable for female mathematicians.

A Construction of the Total Spherical Perspective in Ruler, Compass and Nail

Abstract: We obtain a construction of the total spherical perspective with ruler, compass, and nail. This is a generalization of the spherical perspective of Barre and Flocon to a 360 degree field of view. Since the 1960s, several generalizations of this perspective have been proposed, but they were either works of a computational nature, inadequate for drawing with simple instruments, or lacked a general method for solving all vanishing points. We establish a general setup for anamorphosis and central perspective, define the total spherical perspective within this framework, study its topology, and show how to solve it with simple instruments. We consider its uses both in freehand drawing and in computer visualization, and its relation with the problem of reflection on a sphere.

Ideas and Results in Model Theory: Reference, Realism, Structure and Categoricity

Abstract: The topics of reference, realism, and structure have been discussed extensively in the philosophy of mathematics of the last decades. There have been some parallel discussions in certain parts of philosophy of science and metaphysics. The technical apparatus which serves as the formal backdrop to these discussions is model theory, a branch of mathematical logic, and the key results in model theory which have been thought to be of primary philosophical significance are the famous categoricity theorems of Dedekind and Zermelo. The aim of this paper is to survey this recent literature, using basic ideas and results from model theory to aid in organizing the discussion. Some of the specific topics covered are: Putnam's permutation argument and the just more theory manoeuvre; the Newman objection and notions of conservation; the import of the L\"owenheim-Skolem theorems; the invocation of second-order logic in debates about realism and reference; the distinctive challenges posed by quasi-categoricity results in set theory, the structuralism of Shapiro and Parsons, and the aims and goals of recent work on uncountable categoricity.

Hyperbolic Pascal triangles

Abstract: In this paper, we introduce a new generalization of Pascal's triangle. The new object is called the hyperbolic Pascal triangle since the mathematical background goes back to regular mosaics on the hyperbolic plane. We describe precisely the procedure of how to obtain a given type of hyperbolic Pascal triangle from a mosaic. Then we study certain quantitative properties such as the number, the sum, and the alternating sum of the elements of a row. Moreover, the pattern of the rows, and the appearence of some binary recurrences in a fixed hyperbolic triangle are investigated.

Test anxiety in mathematics among early undergraduate students in a British university in Malaysia

Abstract: The level of test anxiety in mathematics subjects among early undergraduate students at The University of Nottingham Malaysia Campus is studied in this paper. The sample consists of 206 students taking several mathematics modules who completed the questionnaires on test anxiety just before they entered the venue for midterm exams. The sample data include the differences in the context of academic levels, gender groups and nationality backgrounds. The level of test anxiety in mathematics is measured using seven Likert questionnaire statements adapted from the Test Anxiety Inventory describing one's emotional feeling before the exam start. In general, the result shows that the students who had a lower score expectation were more anxious than those who had a higher score expectation, but that they obtained a better score than the expected score. In the context of academic levels, gender groups and nationality backgrounds, there were no significant correlations between the level of test anxiety and the students' academic performance. The effect size of the correlation values ranged from extremely small to moderate.

Random Triangle Theory with Geometry and Applications

Abstract: What is the probability that a random triangle is acute? We explore this old question from a modern viewpoint, taking into account linear algebra, shape theory, numerical analysis, random matrix theory, the Hopf fibration, and much much more. One of the best distributions of random triangles takes all six vertex coordinates as independent standard Gaussians. Six can be reduced to four by translation of the center to $(0,0)$ or reformulation as a 2x2 matrix problem. In this note, we develop shape theory in its historical context for a wide audience. We hope to encourage other to look again (and differently) at triangles. We provide a new constructive proof, using the geometry of parallelians, of a central result of shape theory: Triangle shapes naturally fall on a hemisphere. We give several proofs of the key random result: that triangles are uniformly distributed when the normal distribution is transferred to the hemisphere. A new proof connects to the distribution of random condition numbers. Generalizing to higher dimensions, we obtain the "square root ellipticity statistic" of random matrix theory. Another proof connects the Hopf map to the SVD of 2 by 2 matrices. A new theorem describes three similar triangles hidden in the hemisphere. Many triangle properties are reformulated as matrix theorems, providing insight to both. This paper argues for a shift of viewpoint to the modern approaches of random matrix theory. As one example, we propose that the smallest singular value is an effective test for uniformity. New software is developed and applications are proposed.

Euler's lute and Edwards' oud

Abstract: In a piece published in 1981, H. M. Edwards touts the benefits of reading the masters. A quarter-century later, Edwards takes seriously his own advice by publishing an encomium on Euler's Institutiones (1755). While we agree with Edwards that we shall all do well by studying the masters, we argue that to derive the full benefit, one must read historically important texts without interposing a lens formed by one's own mathematical accomplishments. We show, in particular, that Edwards misses much of the style and substance of Euler's Institutiones by reading the text through a constructivist lens.

The real numbers--A survey of constructions

Abstract: We present a comprehensive survey of constructions of the real numbers (from either the rationals or the integers) in a unified fashion, thus providing an overview of most (if not all) known constructions ranging from the earliest attempts to recent results, and allowing for a simple comparison-at-a-glance between different constructions.

Jost B\"urgi's Method for Calculating Sines

Abstract: For a long time it has been known that in the 16th century the Swiss mathematician Jost B\"urgi found a new method for calculating sines, but no information about the details has been available. Recently a manuscript written by B\"urgi himself has come to light in which he explains his algorithm. It is totally different from the traditional procedure which was used until the 17th century. In the first part of the article the standard method is explained which was rooted in Greek antiquity with Ptolemy's computation of chords and which was used in the Arabic-Islamic tradition and in the Western European Middle Ages for calculating chords as well as sines. The main part of the article deals with B\"urgi's way. By only using additions and halving, his procedure is elementary and it converges quickly. B\"urgi does not explain why his method is correct, but in the last part of the article a modern proof for the correctness of his algorithm is provided.

Poincaré’s Odds

Abstract: This paper is devoted to Poincare’s work in probability Though the subject does not represent a large part of the mathematician’s achievements, it provides significant insight into the evolution of Poincare’s thought on several important matters such as the changes in physics implied by statistical mechanics and molecular theories After having drawn the general historical context of this evolution, I focus on several important steps in Poincare’s texts dealing with probability theory, and eventually consider how his legacy was developed by the next generation

Mathematical Student Education - "listki" or dialog?

Abstract: The paper is devoted to technology of math. education in Russia in special mathematical schools ("listkovaya systema"). This system has positive sides and most classes in Russian mathematical schools or circles almost always uses it. However, this system is not good to teach students, in particular to theoretical thinking. We discourse positive and negative sides of it and explain why it should be complimented. The second part of paper devoted to some specific items - information theory, algebra and non-Euclidean geometry. We show, where is dialog is necessary.

Object oriented models vs. data analysis -- is this the right alternative?

Abstract: I analyze the new emerging role of mathematics for extracting structure from data. This role is different from the traditional role of mathematics as a tool for other sciences. Each such science had provided a theoretical framework in which experiments acquired meaning, with which the quality of data could be assessed and which could be explored with the formal methods of mathematics. The challenge for mathematics now is to handle data without such theoretical guidance from other disciplines. This calls for new principles that are structural, abstract and independent of specific content. Mathematics then is no longer the tool of science, but becomes the science of tools.

Visualizing Hyperbolic Honeycombs

Abstract: We explore visual representations of tilings corresponding to Schlafli symbols. In three dimensions, we call these tilings "honeycombs". Schlafli symbols encode, in a very efficient way, regular tilings of spherical, euclidean and hyperbolic spaces in all dimensions. In three dimensions, there are only a finite number of spherical and euclidean honeycombs, but infinitely many hyperbolic honeycombs. Moreover, there are only four hyperbolic honeycombs with material vertices and material cells (the cells are entirely inside of hyperbolic space), eleven with ideal vertices or cells (the cells touch the boundary of hyperbolic space in some way), and all others have either hyperideal vertices or hyperideal cells (the cells go outside of the boundary of hyperbolic space in some way). We develop strategies for visualizing honeycombs in all of these categories, either via rendered images or 3D prints. High resolution images are available at this http URL.

Game Theory (Open Access textbook with 165 solved exercises)

Abstract: Author(s): Bonanno, Giacomo | Abstract: This is an Open Access textbook on non-cooperative Game Theory with 165 solved exercises.

A One-Sentence and Truly Elementary Proof of the Basel Problem

Abstract: By doing a slight change to a beautiful and widely unknown argument by E. L. Stark [E. L. Stark, Application of a Mean Value Theorem for Integrals to Series Summation, Amer. Math. Monthly 85 (1978) 481--483.] we get a candidate to be considered as one of the shortest and most elementary proofs of the celebrated Basel Problem. Furthermore, we give a comprehensive list of references on this topic, displayed in chronological order from Euler to present.

Mathematics and group theory in music

Abstract: The purpose of this paper is to show through particular examples how group theory is used in music The examples are chosen from the theoretical work and from the compositions of Olivier Messiaen (1908-1992), one of the most influential twentieth century composers and pedagogues Messiaen consciously used mathematical concepts derived from symmetry and groups, in his teaching and in his compositions Before dwelling on this, I will give a quick overview of the relation between mathematics and music This will put the discussion on symmetry and group theory in music in a broader context and it will provide the reader of this handbook some background and some motivation for the subject The relation between mathematics and music, during more than two millennia, was lively, widespread, and extremely enriching for both domains

A Purely Algebraic Proof of the Fundamental Theorem of Algebra

Abstract: Proofs of the fundamental theorem of algebra can be divided up into three groups according to the techniques involved: proofs that rely on real or complex analysis, algebraic proofs, and topological proofs. Algebraic proofs make use of the fact that odd-degree real polynomials have real roots. This assumption, however, requires analytic methods, namely, the intermediate value theorem for real continuous functions. In this paper, we develop the idea of algebraic proof further towards a purely algebraic proof of the intermediate value theorem for real polynomials. In our proof, we neither use the notion of continuous function nor refer to any theorem of real and complex analysis. Instead, we apply techniques of modern algebra: we extend the field of real numbers to the non-Archimedean field of hyperreals via an ultraproduct construction and explore some relationships between the subring of limited hyperreals, its maximal ideal of infinitesimals, and real numbers.

Apportionment methods

Abstract: Most democratic countries use election methods to transform election results into whole numbers which usually give the number of seats in a legislative body the parties obtained Which election method does this best can be specified by measuring the error between the allocated result and the ideal proportion We show how to find an election method which is best suited to a given error function We also discuss several properties of election methods that have been labelled paradoxa In particular we explain the highly publicised ``Alabama'' Paradox for the Hare/Hamilton method and show that other popular election methods come with their very own paradoxa

Feller's Contributions to Mathematical Biology

Abstract: This is a review of William Feller's important contributions to mathematical biology. The seminal paper [Feller1951] "Diffusion processes in genetics" was particularly influential on the development of stochastic processes at the interface to evolutionary biology, and interesting ideas in this direction (including a first characterization of what is nowadays known as "Feller's branching diffusion") already shaped up in the paper [Feller 1939] (written in German) "The foundations of a probabistic treatment of Volterra's theory of the struggle for life". Feller's article "On fitness and the cost of natural selection" [Feller 1967] contains a critical analysis of the concept of "genetic load".

Structure and Categoricity: Determinacy of Reference and Truth-Value in the Philosophy of Mathematics

Abstract: This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent `internal' renditions of the famous categoricity arguments for arithmetic and set theory.

Intuition, iteration, induction

Abstract: In Mathematical Thought and Its Objects, Charles Parsons argues that our knowledge of the iterability of functions on the natural numbers and of the validity of complete induction is not intuitive knowledge; Brouwer disagrees on both counts. I will compare Parsons' argument with Brouwer's and defend the latter. I will not argue that Parsons is wrong once his own conception of intuition is granted, as I do not think that that is the case. But I will try to make two points: (1) Using elements from Husserl and from Brouwer, Brouwer's claims can be justified in more detail than he has done; (2) There are certain elements in Parsons' discussion that, when developed further, would lead to Brouwer's notion thus analysed, or at least something relevantly similar to it. (This version contains a postscript of May, 2015.)

The exterior algebra and central notions in mathematics

Abstract: This note surveys how the exterior algebra and deformations or quotients of it, gives rise to centrally important notions in five domains of mathematics: Combinatorics, Topology, Lie theory, Mathematical physics, and Algebraic geometry

An Elementary Proof That Symplectic Matrices Have Determinant One

Abstract: We give one more proof of the fact that symplectic matrices over real and complex fields have determinant one. While this has already been proved many times, there has been lasting interest in finding an elementary proof. Our result is restricted to the real and complex case due to its reliance on field-dependent spectral theory, however in this setting we obtain a proof which is more elementary in the sense that it is direct and requires only well-known facts. Finally, an explicit formula for the determinant of conjugate symplectic matrices in terms of its square subblocks is given.

A new parameterisation of Pythagorean triples in terms of odd and even series

Abstract: In this paper we introduce a formula that parameterises the Pythagorean triples as elements of two series. With respect to the standard Euclidean formula, this parameterisation does not generate the Pythagorean triples where the elements of the triple are all divisible by 2. A necessary and sufficient condition is also proposed for a Pythagorean triple obtained from this formula to be primitive.

Women's Representation in Mathematics Subfields: Evidence from the arXiv

Abstract: We use data from papers posted to the Mathematics section of the arXiv to explore the representation of women in mathematics research. We show that women are under-represented as authors of mathematics papers on the arXiv, even in comparison to the proportion of women who hold full-time positions in mathematics departments. However, some subfields have much greater participation than others.