• ### Anisotropic Quadratic Forms and Inversive Geometry(1509.05104)

Dec. 19, 2019 math.MG, math.AC, math.HO
We develop an inversive geometry for anisotropic quadradic spaces, in analogy with the classical inversive geometry of a Euclidean plane.
• ### Symmetric Matrices: Theory and Applications(1408.5923)

April 23, 2020 math.HO
This text is a survey on symmetric matrices. It serves as a script for a module taught at university.
• ### Graphs, friends and acquaintances(1611.07462)

Feb. 27, 2019 math.CO, math.HO
As is well known, a graph is a mathematical object modeling the existence of a certain relation between pairs of elements of a given set. Therefore, it is not surprising that many of the first results concerning graphs made reference to relationships between people or groups of people. In this article, we comment on four results of this kind, which are related to various general theories on graphs and their applications: the Handshake lemma (related to graph colorings and Boolean algebra), a lemma on known and unknown people at a cocktail party (to Ramsey theory), a theorem on friends in common (to distance-regularity and coding theory), and Hall's Marriage theorem (to the theory of networks). These four areas of graph theory, often with problems which are easy to state but difficult to solve, are extensively developed and currently give rise to much research work. As examples of representative problems and results of these areas, which are discussed in this paper, we may cite the following: the Four Colors Theorem (4CTC), the Ramsey numbers, problems of the existence of distance-regular graphs and completely regular codes, and finally the study of topological proprieties of interconnection networks.
• ### Affine and convex spaces: blending the analytic and geometric viewpoints(1104.0032)

This is a short introduction to affine and convex spaces, written especially for physics students. It summarizes different elementary presentations available in the mathematical literature, and blends analytic- and geometric-flavoured presentations. References are also provided, as well as a brief discussion of Grassmann spaces and an example showing the relevance and usefulness of affine spaces in Newtonian physics.
• ### Fun with "Analysis I": basic theorems in calculus revisited(0709.4492)

Jan. 30, 2019 math.CA, math.FA, math.HO
This note tries to show that a re-examination of a first course in analysis, using the more sophisticated tools and approaches obtained in later stages, can be a real fun for experts, advanced students, etc. We start by going to the extreme, namely we present two proofs of the Extreme Value Theorem: "the programmer proof" that suggests a method (which is practical in down-to-earth settings) to approximate, to any required precision, the extreme values of the given function in a metric space setting, and an abstract space proof ("the level-set proof") for semicontinuous functions defined on compact topological spaces. Next, in the intermediate part, we consider the Intermediate Value Theorem, generalize it to a wide class of discontinuous functions, and re-examine the meaning of the intermediate value property. The trek reaches the final frontier when we discuss the Uniform Continuity Theorem, generalize it, re-examine the meaning of uniform continuity, and find the optimal delta of the given epsilon. Have fun!
• ### Geometry Beyond Algebra. The Theorem of Overlapped Polynomials (TOP) and its Application to the Sawa Masayoshi\'s Sangaku Problem. The Adventure of Solving a Mathematical Challenge Stated in 1821(1110.1299)

Jan. 25, 2019 math.HO
This work presents for the first time a solution to the 1821 unsolved Sawa Masayoshi's problem, giving an explicit and algebraically exact solution for the symmetric case (particular case b = c, i.e., ABC \equiv right-angled isosceles triangle), see (1.60) and (1.61). Despite the isosceles triangle restriction is not necessary, in view of the complexity of the explicit algebraic solution for the symmetric case, one can guessing the impossibility of achieving an explicit relationship for the asymmetric case (the more general case: ABC \equiv right-angled scalene triangle). For this case is given a proof of existence and uniqueness of solution and a proof of the impossibility of getting such a relationship, even implicitly, if the sextic equation (2.54) it isn't solvable. Nevertheless, in (2.56) - (2.58) it is shown the way to solve the asymmetric case under the condition that (2.54) be solvable. Furthermore, it is proved that with a slight modification in the final set of variables (F), it is still possible to establish a relation between them, see (2.59) and (2.61), which provides a bridge that connects the primitive relationship by means of numerical methods, for every given right-angled triangle ABC. And as the attempt to solve Fermat's conjecture (or Fermat's last theorem), culminated more than three centuries later by Andrew Wiles, led to the development of powerful theories of more general scope, the attempt to solve the Masayoshi's problem has led to the development of the Theory of Overlapping Polynomials (TOP), whose application to this problem reveals a great potential that might be extrapolated to other frameworks.
• ### Mathematical aspect of the combinatorial game "Mahjong"(1707.07345)

Jan. 23, 2019 math.CO, math.HO
We illustrate how one can use basic combinatorial theory and computer programming technique (Python) to analyze the combinatorial game: Mahjong. The results confirm some folklore concerning the game, and expose some unexpected results. Related results and possible future research in connection to artificial intelligence are mentioned. Readers interested in the subject may further develop the techniques to deepen the study of the game, or study other combinatorial games.
• ### A short elementary proof of the insolvability of the equation of degree 5(1508.03317)

April 3, 2020 math.AG, math.HO
We present short elementary proofs of the well-known Ruffini-Abel-Galois theorems on insolvability of algebraic equations in radicals. These proofs are obtained from existing expositions by stripping away material not required for the proofs (but presumably required elsewhere). In particular, we do not use the terms Galois group' and even group'. However, our presentation is a good way to learn (or to recall) a starting idea of Galois theory: the symmetry of a polynomial of several variables is decreased when a radical is extracted. So the note provides a bridge (by showing that there is no gap) between elementary mathematics and Galois theory. The note is accessible to students familiar with polynomials, complex numbers and permutations; so the note might be interesting easy reading for professional mathematicians.
• ### Euclidean plane and its relatives; a minimalist introduction(1302.1630)

Dec. 12, 2020 math.MG, math.HO
The book is designed for a semester-long course in Foundations of Geometry and meant to be rigorous, conservative, elementary and minimalist. List of topics: Euclidean geometry: The Axioms / Half-planes / Congruent triangles / Perpendicular lines / Similar triangles / Parallel lines / Triangle geometry. Inversive geometry: Inscribed angles / Inversion. Non-Euclidean geometry: Neutral plane / Hyperbolic plane / Geometry of h-plane. Additional topics: Affine geometry / Projective geometry / Spherical geometry / Projective model / Complex coordinates / Geometric constructions / Area.
• ### Explanation of a Polynomial Identity(1706.08396)

Dec. 26, 2018 math.NT, math.HO
In this note, we provide a conceptual explanation of a well-known polynomial identity used in algebraic number theory.
• ### Josef Meixner: his life and his orthogonal polynomials(1609.02588)

Oct. 7, 2020 math.CA, math.HO
This paper starts with a biographical sketch of the life of Josef Meixner. Then his motivations to work on orthogonal polynomials and special functions are reviewed. Meixner's 1934 paper introducing the Meixner and Meixner-Pollaczek polynomials is discussed in detail. Truksa's forgotten 1931 paper, which already contains the Meixner polynomials, is mentioned. The paper ends with a survey of the reception of Meixner's 1934 paper.
• ### The construction of mechanics. A new path to Newton's equations(1705.10870)

Dec. 5, 2018 math.HO
In the present essay we attempt to reconstruct Newtonian mechanics under the guidance of logical principles and of a constructive approach related to the genetic epistemology of J. Piaget and R. Garc\'ia \citep{piag89}. Instead of addressing Newton's equations as a set of axioms, ultimately given by the revelation of a prodigious mind, we search for the fundamental knowledge, beliefs and provisional assumptions that can produce classical mechanics. We start by developing our main tool: the No Arbitrariness Principle, that we present in a form that is apt for a mathematical theory as classical mechanics. Subsequently, we introduce the presence of the observer, analysing then the relation objective-subjective and seeking objectivity going across subjectivity. We take special care of establishing the precedence among all contributions to mechanics, something that can be better appreciated by considering the consequences of removing them: (a) the consequence of renouncing logic and the laws of understanding is not being able to understand the world, (b) renouncing the early elaborations of primary concepts such as time and space leads to a dissociation between everyday life and physics, the latter becoming entirely pragmatic and justified \emph{a-posteriori} (because it is convenient), (c) changing our temporary beliefs has no real cost other than effort. Finally, we exemplify the present approach by reconsidering the constancy of the velocity of light. It is shown that it is a result of Newtonian mechanics, rather than being in contradiction with it. We also indicate the hidden assumption that leads to the (apparent) contradiction.
• ### Helen of Troy, and the birth of Fuzzy Logic(1702.03397)

Dec. 1, 2018 math.HO
The poem Helen of the Nobel laureate George Seferis was inspired by the anti war play Helen of Euripides. In his poem, Seferis empathizes with the hero of the tragedy, Teucer, who opposed the involvement of The Gods in the lives of the humans, posing unanswered and contradictory questions. With the verse What is god; What is not a god; what is there in between them, the ancient poet Euripides sets foundations to the kind of logic that one can consider as a predecessor of Fuzzy Logic. It is worth noting that when Seferis received the Nobel Prize in Stockholm in 1963, he stated: Right now I feel I am a contradiction myself, a sentence charged with the new language of mathematical logic of the 20th century. Interplaying with the famous words of Karl Weierstrass It is true that a mathematician who is not somewhat of a poet, will never be a perfect mathematician in this article we discuss, through two poems, of how poetry and mathematical logic might have influenced each other.
• ### Solution of the Mayan Calendar Enigma(1601.03132)

Nov. 15, 2018 physics.hist-ph, math.HO
The Mayan calendar is proposed to derive from an arithmetical model of naked-eye astronomy. The Palenque and Copan lunar equations, used during the Maya Classic period (200 to 900 AD) are solution of the model and the results are expressed as a function of the Xultun numbers, four enigmatic Long Count numbers deciphered in the Maya ruins of Xultun, dating from the IX century AD, providing strong arguments in favor of the use of the model by the Maya. The different Mayan Calendar cycles can be derived from this model and the position of the Calendar Round at the mythical date of creation 13(0).0.0.0.0 4 Ahau 8 Cumku is calculated. This study shows the high proficiency of Mayan mathematics as applied to astronomy and timekeeping for divinatory purposes.
• ### An outlook on self-assessment of homework assignments in higher mathematics education(1707.05688)

Nov. 3, 2018 math.HO
We discuss first experiences with a new variant of self-assessment in higher mathematics education. In our setting, the students of the course have to mark a part of their homework assignments themselves and they receive the corresponding credit without that any later changes are carried out by the teacher. In this way we seek to correct the imbalance between student-centered learning arrangements and assessment concepts that keep the privilege to grade (or mark) completely with the teacher. We present results in the form of student feedback from a course on functional analysis for 3rd and 4th year students. Moreover we analyze marking results from two courses on real analysis. Here, we compare tasks marked by the teacher and tasks marked by the students.
• ### Sturm's theorem on zeros of linear combinations of eigenfunctions(1706.08247)

Oct. 16, 2018 math.CA, math.SP, math.HO
Motivated by recent questions about the extension of Courant's nodal domain theorem, we revisit a theorem published by C. Sturm in 1836, which deals with zeros of linear combination of eigenfunctions of Sturm-Liouville problems. Although well known in the nineteenth century, this theorem seems to have been ignored or forgotten by some of the specialists in spectral theory since the second half of the twentieth-century. Although not specialists in History of Sciences, we have tried to put these theorems into the context of nineteenth century mathematics.
• ### Phragm\'en's and Thiele's election methods(1611.08826)

Oct. 12, 2018 cs.GT, math.HO
The election methods introduced in 1894--1895 by Phragm\'en and Thiele, and their somewhat later versions for ordered (ranked) ballots, are discussed in detail. The paper includes definitions and examples and discussion of whether the methods satisfy some properties, including monotonicity, consistency and various proportionality criteria. The relation with STV is also discussed. The paper also contains historical information on the methods.
• ### PIGTIKAL (puzzles in geometry that I know and love)(0906.0290)

Feb. 6, 2021 math.DG, math.MG, math.HO
Problems for the graduate students who want to improve problem-solving skills in geometry. Every problem has a short elegant solution -- this gives a hint which was not available when the problem was discovered.
• ### Contrapuntal Aspects of the Mystic Chord and Scriabin's Piano Sonata No. 5(1606.05833)

Sept. 26, 2018 math.HO
We present statistical evidence for the importance of the "mystic chord" in Scriabin's Piano Sonata No. 5, Op. 53, from a computational and mathematical counterpoint perspective. More specifically, we compute the effect sizes and $\chi^{2}$ tests with respect to the distributions of counterpoint symmetries in the Fuxian and mystic counterpoint worlds in two passages of the work, which provide evidence of a qualitative change between them.
• ### An idelic view of ideals(1610.07946)

Sept. 9, 2018 math.NT, math.HO
Ideles and adeles can be viewed as a generalization of Minkowski theory, in which embedding of a number field to the Cartesian product of its completions at the archimedean valuation is generalized to an embedding of the Cartesian product of all its completions with some restriction. This paper introduces the basic notions of point-set topology and builds the real numbers from the rational numbers. Then we review concepts from local fields that will lead to the product formula and the approximation theorem. We, then, construct adeles and ideles. The ideles modulo $k^*$ maps surjectively to the ideal class group, and the compactness of $C_S^0$ will give rise to an alternative proof to the Dirichlet's S-unit theorem and the finiteness of ideal class group. The paper assumes that the reader is familiar with Dedekind domain, principal ideal domain, unique factorization of Dedekind domain, and field norm and traces. The first few parts of Chapter 1 in Neukirch's Algebraic Number Theory will be sufficient for the paper.
• ### Maximum genus of the Jenga like configurations(1708.01503)

Aug. 31, 2018 math.CO, math.GT, math.HO
We treat the boundary of the union of blocks in the Jenga game as a surface with a polyhedral structure and consider its genus. We generalize the game and determine the maximum genus of the generalized game.
• ### Studies on the Pea Pattern Sequence(1708.06452)

Aug. 18, 2020 math.HO
The paper will formally define the family of sequences know as "Pea Pattern". It will then anaylize its behaviour and conditions for fixed and periodic points. The paper ends with a list of fixed points and cycles.
• ### Yet another proof of the Ado theorem(1507.02233)

July 29, 2018 math.RT, math.RA, math.HO
We give a simple proof of the Birkhoff theorem about existence of a faithful representation for any finite-dimensional nilpotent Lie algebra of characteristic zero.
• ### On the last question of Stefan Banach(1408.2982)

July 29, 2018 math.CO, math.GR, math.HO
We discuss the last question of Banach, posed by him in 1944, shortly before his death, about extension of a ternary map to superposition of a binary map. We try to put things into the context of Polish mathematics of that time, and touch upon subsequent developments in such diverse areas as multivalued logics, binary and ternary semigroups, theory of clones, and Hilbert's 13th problem. Making almost a full circle in time, we show how variants of Banach's question may be settled using a 1949 idea of Jacobson about envelopes of Lie triple systems.
• ### Walks on chains(1701.00827)

July 16, 2018 math.PR, math.HO
We discuss a couple of examples of Markov chains. This note is written primarily for school students; it is based on a lecture given by the first author at a Math Circle at NAS (www.assagames.com/nas).