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

At the origins and in the vanguard of peri-dynamics, non-local and higher gradient continuum mechanics. An underestimated and still topical contribution of Gabrio Piola

Abstract: Gabrio Piola's scientific papers have been underestimated in the mathematical-physics literature. Indeed a careful reading of them proves that they are original, deep and far reaching. Actually -even if his contribution to mechanical sciences is not completely ignored- one can undoubtedly say that the greatest part of his novel contributions to mechanics, although having provided a great impetus and substantial influence on the work of many preminent mechanicians, is in fact generally ignored. It has to be remarked that authors [10] dedicated many efforts to the aim of unveiling the true value of Gabrio Piola as a scientist; however, some deep parts of his scientific results remain not yet sufficiently illustrated. Our aim is to prove that non-local and higher gradient continuum mechanics was conceived already in Piola's works and to try to explain the reasons of the unfortunate circumstance which caused the erasure of the memory of this aspect of Piola's contribution. Some relevant differential relationships obtained in Piola [Piola, 1845-6] are carefully discussed, as they are still nowadays too often ignored in the continuum mechanics literature and can be considered the starting point of Levi-Civita's theory of Connection for Riemannian manifolds.

On Hilbert's fourth problem

Abstract: Hilbert's fourth problem asks for the construction and the study of metrics on subsets of projective space for which the projective line segments are geodesics. Several solutions of the problem were given so far, depending on more precise interpretations of this problem, with various additional conditions satisfied. The most interesting solutions are probably those inspired from an integral formula that was first introduced in this theory by Herbert Busemann. Besides that, Busemann and his school made a thorough investigation of metrics defined on subsets of projective space for which the projective lines are geodesics and they obtained several results, characterizing several classes of such metrics. We review some of the developments and important results related to Hilbert's problem, especially those that arose from Busemann's work, mentioning recent results and connections with several branches of mathematics, including Riemannian geometry, the foundations of mathematics, the calculus of variations, metric geometry and Finsler geometry.

Is mathematical history written by the victors

Abstract: We examine prevailing philosophical and historical views about the origin of infinitesimal mathematics in light of modern infinitesimal theories, and show the works of Fermat, Leibniz, Euler, Cauchy and other giants of infinitesimal mathematics in a new light. We also detail several procedures of the historical infinitesimal calculus that were only clarified and formalized with the advent of modern infinitesimals. These procedures include Fermat's adequality; Leibniz's law of continuity and the transcendental law of homogeneity; Euler's principle of cancellation and infinite integers with the associated infinite products; Cauchy's infinitesimal-based definition of continuity and "Dirac" delta function. Such procedures were interpreted and formalized in Robinson's framework in terms of concepts like microcontinuity (S-continuity), the standard part principle, the transfer principle, and hyperfinite products. We evaluate the critiques of historical and modern infinitesimals by their foes from Berkeley and Cantor to Bishop and Connes. We analyze the issue of the consistency, as distinct from the issue of the rigor, of historical infinitesimals, and contrast the methodologies of Leibniz and Nieuwentijt in this connection.

Multivector Differential Calculus

Abstract: Universal geometric calculus simplifies and unifies the structure and notation of mathematics for all of science and engineering, and for technological applications. This paper treats the fundamentals of the multivector differential calculus part of geometric calculus. The multivector differential is introduced, followed by the multivector derivative and the adjoint of multivector functions. The basic rules of multivector differentiation are derived explicitly, as well as a variety of basic multivector derivatives. Finally factorization, which relates functions of vector variables and multivector variables is discussed, and the concepts of both simplicial variables and derivatives are explained. Everything is proven explicitly in a very elementary level step by step approach. The paper is thus intended to serve as reference material, providing a number of details, which are usually skipped in more advanced discussions of the subject matter. The arrangement of the material closely follows {chapter 2 of D. Hestenes, G. Sobczyk, Clifford Algebra to Geometric Calculus, Kluwer, Dordrecht, 1999}.

The problem of space in the light of relativity: the views of H. Weyl and E. Cartan

Abstract: Starting from a short review of the "classical" space problem in the sense of the 19th century (Helmholtz -- Lie -- Klein) it is discussed how the challenges posed by special and general relativity to the classical analysis were taken up by Hermann Weyl and Elie Cartan. Both mathematicians reconsidered the space problem from the point of view of transformations operating in the infinitesimal neighbourhoods of a manifold (spacetime). In a short outlook we survey further developments in mathematics and physics of the second half of the 20th century, in which core ideas of Weyl's and/or Cartan's analysis of the space problem were further investigated (mathematics) or incorporated into basic theories (physics).

Illustrating Mathematics using 3D Printers

Abstract: 3D printing technology can help to visualize proofs in mathematics. In this document we aim to illustrate how 3D printing can help to visualize concepts and mathematical proofs. As already known to educators in ancient Greece, models allow to bring mathematics closer to the public. The new 3D printing technology makes the realization of such tools more accessible than ever. This is an updated version of a paper included in book Low-Cost 3D Printing for science, education and Sustainable Development, ICTP, 2013 edited by Carlo Fonda Enrique Canessa and Marco Zennaro.

Mathematics in the Age of the Turing Machine

Abstract: The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs.

Commuting and noncommuting infinitesimals

Abstract: Infinitesimals are natural products of the human imagination. Their history goes back to the Greek antiquity. Their role in the calculus and analysis has seen dramatic ups and downs. They have stimulated strong opinions and even vitriol. Edwin Hewitt developed hyperreal fields in the 1940s. Abraham Robinson's infinitesimals date from the 1960s. A noncommutative version of infinitesimals, due to Alain Connes, has been in use since the 1990s. We review some of the hyperreal concepts, and compare them with some of the concepts underlying noncommutative geometry.

A personal account of the discovery of hyperbolic structures on some knot complements

Abstract: I give my view of the early history of the discovery of hyperbolic structures on knot complements from my early work on representations of knot groups into matrix groups to my meeting with William Thurston in 1976. (This article was written by Robert Riley about ten years before his death in 2000 and never submitted for publication. An explanation of why it is being published now and some information about Riley and this article is given in the article by Brin, Jones and Singerman which accompanies this article in this issue of the [journal | arxiv].)

Geometry of moduli spaces of meromorphic connections on curves, Stokes data, wild nonabelian Hodge theory, hyperkahler manifolds, isomonodromic deformations, Painleve equations, and relations to Lie theory.

Abstract: HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés. Geometry of moduli spaces of meromorphic connections on curves, Stokes data, wild nonabelian Hodge theory, hyperkahler manifolds, isomonodromic deformations, Painleve equations, and relations to Lie theory. Philip Boalch

Infinitesimals as an issue in neo-Kantian philosophy of science

Abstract: We seek to elucidate the philosophical context in which one of the most important conceptual transformations of modern mathematics took place, namely the so-called revolution in rigor in infinitesimal calculus and mathematical analysis. Some of the protagonists of the said revolution were Cauchy, Cantor, Dedekind, and Weierstrass. The dominant current of philosophy in Germany at the time was neo-Kantianism. Among its various currents, the Marburg school (Cohen, Natorp, Cassirer, and others) was the one most interested in matters scientific and mathematical. Our main thesis is that Marburg neo-Kantian philosophy formulated a sophisticated position towards the problems raised by the concepts of limits and infinitesimals. The Marburg school neither clung to the traditional approach of logically and metaphysically dubious infinitesimals, nor whiggishly subscribed to the new orthodoxy of the "great triumvirate" of Cantor, Dedekind, and Weierstrass that declared infinitesimals conceptus nongrati in mathematical discourse. Rather, following Cohen's lead, the Marburg philosophers sought to clarify Leibniz's principle of continuity, and to exploit it in making sense of infinitesimals and related concepts.

Experimental library of univalent formalization of mathematics

Abstract: This paper contains a discussion of a library of formalized mathematics for the proof assistant Coq which the author worked on in 2011-13.

On the concept of (homo)morphism : a key notion in the learning of abstract algebra

Abstract: This article is dedicated to the investigation of difficulties involved in the understanding of the homomorphism concept. It doesn't restrict to group-theory but on the contrary raises the issue of developing teaching strategies aiming at gaining access to structuralist thinking. Emphasis is put on epistemological analysis and its interaction with didactics in an attempt to make Abstract Algebra more accessible.

The Fundamental Theorem on Symmetric Polynomials: History's First Whiff of Galois Theory

Abstract: We describe the Fundamental Theorem on Symmetric Polynomials (FTSP), exposit a classical proof, and offer a novel proof that arose out of an informal course on group theory. The paper develops this proof in tandem with the pedagogical context that led to it. We also discuss the role of the FTSP both as a lemma in the original historical development of Galois theory and as an early example of the connection between symmetry and expressibility that is described by the theory.

Fingerprint databases for theorems

Abstract: We discuss the advantages of searchable, collaborative, language-independent databases of mathematical results, indexed by "fingerprints" of small and canonical data. Our motivating example is Neil Sloane's massively influential On-Line Encyclopedia of Integer Sequences. We hope to encourage the greater mathematical community to search for the appropriate fingerprints within each discipline, and to compile fingerprint databases of results wherever possible. The benefits of these databases are broad - advancing the state of knowledge, enhancing experimental mathematics, enabling researchers to discover unexpected connections between areas, and even improving the refereeing process for journal publication.

Incomputability after Alan Turing

Abstract: Incomputability as a mathematical notion arose from work of Alan Turing and Alonzo Church in the 1930s. Like Turing himself, it attracted less attention than it deserved beyond the confines of mathematics. Today our experiences in computer science, physics, biology, artificial intelligence, economics and the humanities point to the importance of the notion for understanding the world around us. This article takes a Turing centenary look at how the interface between the computable world and the incomputable formed a central theme in Turing's work - from the early establishment of the standard model of the stored program computer, to the late work on emergence of form in nature, and the first approaches to understanding and simulating human intelligence. Turing's thinking was remarkably prescient, and his legacy still impacts on much of our work. The incomputable may turn out to be a specially important part of the legacy, with consequences that Alan Turing himself could not have envisaged.

Thinking like Archimedes with a 3D printer

Abstract: We illustrate Archimedes' method using models produced with 3D printers. This approach allowed us to create physical proofs of results known to Archimedes and illustrate ideas of a mathematician who is known both for his for his mechanical inventions as well as his breakthroughs in geometry and calculus. We use technology from the 21st century to trace intellectual achievements from the 3rd century BC. While we celebrate the 2300th birthday of Archimedes (287-212 BC) in 2013, we also live in an exciting time, where 3D printing is becoming popular and affordable.

Updates on Hirzebruch's 1954 Problem List

Abstract: We present updates to the problems on Hirzebruch's 1954 problem list focussing on open problems, and on those where substantial progress has been made in recent years. We discuss some purely topological problems, as well as geometric problems about (almost) complex structures, both algebraic and non-algebraic, about contact structures, and about (complementary pairs of) foliations.

Boris Venkov's Theory of Lattices and Spherical Designs

Abstract: Boris Venkov passed away on November 10 2011 just 5 days before his 77th birthday. This article gives a short survey of the mathematical work of Boris Venkov in this direction.

Kolmogorov complexity as a hidden factor of scientific discourse: from Newton's law to data mining

Abstract: The word "complexity" is most often used as a meta--linguistic expression referring to certain intuitive characteristics of a natural system and/or its scientific description. These characteristics may include: sheer amount of data that must be taken into account; visible "chaotic" character of these data and/or space distribution/time evolution of a system etc. This talk is centered around the precise mathematical notion of "Kolmogorov complexity", originated in the early theoretical computer science and measuring the degree to which an available information can be compressed. In the first part, I will argue that a characteristic feature of basic scientific theories, from Ptolemy's epicycles to the Standard Model of elementary particles, is their splitting into two very distinct parts: the part of relatively small Kolmogorov complexity ("laws", "basic equations", "periodic table", "natural selection, genotypes, mutations") and another part, of indefinitely large Kolmogorov complexity ("initial and boundary conditions", "phenotypes", "populations"). The data constituting this latter part are obtained by planned observations, focussed experiments, and afterwards collected in growing databases (formerly known as "books", "tables", "encyclopaedias" etc). In this discussion Kolomogorov complexity plays a role of the central metaphor. The second part and Appendix 1 are dedicated to more precise definitions and examples of complexity.

Wronskians and linear independence

Abstract: We give a new and simple proof of the fact that a finite family of analytic functions has a zero Wronskian only if it is linearly dependent.

Historical account and ultra-simple proofs of Descartes's rule of signs, De Gua, Fourier, and Budan's rule

Abstract: It may seem a funny notion to write about theorems as old and rehashed as Descartes's rule of signs, De Gua's rule or Budan's Admittedly, these theorems were proved numerous times over the centuries However, despite the popularity of these results, it seems that no thorough and up-to-date historical account of their proofs has ever been given, nor has an effort been made to reformulate the oldest demonstrations in modern terms The motivation of this paper is to put these strongly related theorems back in their historical perspective More importantly, we suggest a way to understand Descartes's original statement, which yet remains somewhat of an enigma We found that this question is related to a certain way of counting the alternations and permanences of signs of the polynomial coefficients, and may have been the convention used by Descartes Remarkably, this convention not only provides a ultra-simple proof of Descartes's rule, but it can also be used to simplify the proofs of the titular theorems Without claiming to be exhaustive, we shall present in this paper an historical account of these theorems and their proofs, and clarify their mutual relation We will explain how a suitable convention can help understand the original statement of Descartes and greatly simplify its proof, as well as the proofs of the above-mentioned theorems With the exception of the proof of Fourier's theorem and its generalizations, which run on rudiments of infinitesimal calculus (Taylor's theorem), the proposed demonstrations are so short and elementary they could be taught at the undergraduate level

V.A. Steklov and the Problem of Sharp (Exact) Constants in Inequalities of Mathematical Physics

Abstract: The 150th anniversary of the birth of the outstanding Russian mathematician Vladimir Andreevich Steklov falls on January 9, 2014. In this paper (it is a part of survey to be published in January 2014), we describe advances in one of several areas influenced by Steklov's work.

A trick around Fibonacci, Lucas and Chebyshev

Abstract: In this article, we present a trick around Fibonacci numbers which can be found in several magic books. It consists in computing quickly the sum of the successive terms of a Fibonacci-like sequence. We give explanations and extensions of this trick to more general sequences. This study leads us to interesting connections between Fibonacci, Lucas sequences and Chebyshev polynomials.

Mathematics via Symmetry

Abstract: We state the defining characteristic of mathematics as a type of symmetry where one can change the connotation of a mathematical statement in a certain way when the statement's truth value remains the same. This view of mathematics as satisfying such symmetry places mathematics as comparable with modern views of physics and science where, over the past century, symmetry also plays a defining role. We explore the very nature of mathematics and its relationship with natural science from this perspective. This point of view helps clarify some standard problems in the philosophy of mathematics.

Circular reasoning: who first proved that $C/d$ is a constant?

Abstract: We answer the question: who first proved that $C/d$ is a constant? We argue that Archimedes proved that the ratio of the circumference of a circle to its diameter is a constant independent of the circle and that the circumference constant equals the area constant ($C/d=A/r^{2}$). He stated neither result explicitly, but both are implied by his work. His proof required the addition of two axioms beyond those in Euclid's \emph{Elements}; this was the first step toward a rigorous theory of arc length. We also discuss how Archimedes's work coexisted with the 2000-year belief -- championed by scholars from Aristotle to Descartes -- that it is impossible to find the ratio of a curved line to a straight line.

On the Cookie Monster Problem

Abstract: The Cookie Monster Problem supposes that the Cookie Monster wants to empty a set of jars filled with various numbers of cookies. On each of his moves, he may choose any subset of jars and take the same number of cookies from each of those jars. The Cookie Monster number of a set is the minimum number of moves the Cookie Monster must use to empty all of the jars. This number depends on the initial distribution of cookies in the jars. We discuss bounds of the Cookie Monster number and explicitly find the Cookie Monster number for jars containing cookies in the Fibonacci, Tribonacci, n-nacci, and Super-n-nacci sequences. We also construct sequences of k jars such that their Cookie Monster numbers are asymptotically rk, where r is any real number between 0 and 1 inclusive.

Mathematical analysis in high school : a fundamental dilemma

Abstract: We provide a theoretical framework for analysing and comparing different forms of organizing introductions to mathematical analysis at the secondary level, then illustrate it by two characteristic examples from certain periods of change in the 20th century, as they occurred in Denmark. We conclude by extracting from this a fundamental dilemma for the teaching of analysis at secondary level in view of the requirements and affordances provided by computer algebra systems on the one hand, and contemporary utilitarian school pedagogies on the other hand.

Commentary on Robert Riley's article "A personal account of the discovery of hyperbolic structures on some knot complements"

Abstract: We give some background and biographical commentary on the postumous article that appears in this [journal issue | ArXiv] by Robert Riley on his part of the early history of hyperbolic structures on some compact 3-manifolds. A complete list of Riley's publications appears at the end of the article.

A contribution to the connections between Fibonacci Numbers and Matrix Theory

Abstract: We present a lovely connection between the Fibonacci numbers and the sums of inverses of $(0,1)-$ triangular matrices, namely, a number $S$ is the sum of the entries of the inverse of an $n \times n$ $(n \geq 3)$ $(0,1)-$ triangular matrix iff $S$ is an integer between $2-F_{n-1}$ and $2+F_{n-1}$. Corollaries include Fibonacci identities and a Fibonacci type result on determinants of family of (1,2)-matrices.