http://arxiv.org/api/tddIM6xmNRAPX9mNHUaCbxqT1Bo 2025-04-22T00:00:00-04:00 3862 90 15 http://arxiv.org/abs/2502.04731v1 2025-02-07T08:01:26Z 2025-02-07T08:01:26Z

In this article, we derive a congruence property of particular sum rules involving prime numbers. The resulting expression involves Bernoulli numbers and polynomials, for which we obtain, as a consequence, a general congruence relation as well.

Jean-Christophe Pain http://arxiv.org/abs/2501.17406v3 2025-02-02T02:13:23Z 2025-01-29T04:05:32Z

The initial techniques developed in Euclid's Elements, well before the use of the parallel postulate, are reexamined in order to clarify even the most obscure details, particularly those related to equality, superposition and angle comparison. Some commentary on modern developments is included. The known but often misunderstood implicit handling of betweenness and points of intersection is briefly treated. We also sketch a rigorous treatment of absolute geometry in a spirit similar to Euclid's, one that allows properties of angles and triangles to be derived from two simple axioms on right angles, which then leads to rigid motions of certain planar geometries.

Peter M Johnson 20 pages. Comments welcome. v2: References reformatted to allow breaks in URLs; v3: missing reference added http://arxiv.org/abs/2501.18374v1 2025-01-30T14:26:29Z 2025-01-30T14:26:29Z

Rigorous statements and formal proofs are presented for both foundational and advanced folklore theorems on the Radon-Nikodym derivative. The cases of product and marginal measures are carefully considered; and the hypothesis under which the statements hold are rigorously enumerated.

Yaiza Bermudez Gaetan Bisson Iñaki Esnaola Samir M. Perlaza Submitted to the IEEE International Symposium on Information Theory 2025, 6 pages http://arxiv.org/abs/2501.18306v1 2025-01-30T12:27:37Z 2025-01-30T12:27:37Z

The theory of one-relator groups is now almost a century old. The authors therefore feel that a comprehensive survey of this fascinating subject is in order, and this document is an attempt at precisely such a survey. This article is divided into two chapters, reflecting the two different phases in the story of one-relator groups. The first chapter, written by the second author, covers the historical development of the theory roughly until the advent of geometric group theory. The second chapter, written by the first author, covers the recent progress in the theory up until the present day. The two chapters can be read independently of one another and have minimal overlap.

Marco Linton Carl-Fredrik Nyberg-Brodda 165 pages, 10 figures, 661 references. Comments welcome! http://arxiv.org/abs/2501.18248v1 2025-01-30T10:29:27Z 2025-01-30T10:29:27Z

This is an English translation of three articles, originally written in German, by Wilhelm Magnus (1907--1990). The articles are from 1930, 1931, and 1932, respectively, and were the first articles published on one-relator group theory. The first article gives a proof of the famous Freiheitssatz, and many applications of the same. The second investigates various topics in combinatorial group theory, including determining the automorphism group of the figure-eight knot group, listing the subgroups of the modular group, and a proof of the decidability of the word problem in a restricted class of one-relator groups. The third gives a proof of the decidability of the word problem in all one-relator groups. A short preface is provided, summarizing the articles.

Carl-Fredrik Nyberg-Brodda 58 pages. Three articles and a translator's preface. Comments welcome! http://arxiv.org/abs/2502.08656v1 2025-01-29T02:12:44Z 2025-01-29T02:12:44Z

We study triangles and quadrilaterals which are inscribed in a circle and circumscribed about a parabola. Although these are particular cases of the celebrated Poncelet's Theorem, in this paper we {\it do not assume} the theorem but prove it along the way. Similarly, our arguments here \emph{are logically independent} from Cayley's condition, describing points of a finite order on an elliptic curve or any other use of the theory of elliptic curves. Instead, we use purely planimetric methods, including the Joachimsthal notation, to fully describe such polygons and associated circles and parabolas. We prove that a circle contains the focus of a parabola if and only if there is a triangle inscribed in the circle and circumscribed about the parabola. We prove that if the center of a circle coincides with the focus of a parabola, then there exists a quadrilateral inscribed in the circle and circumscribed about the parabola. We further prove that the quadrilaterals obtained in such a way are antiparallelograms. If the center of a circle does not coincide with the focus of a parabola, then a quadrilateral inscribed in the circle and circumscribed about the parabola exists if and only if the directrix of the parabola contains the point of intersection of the polar of the focus with respect to the circle with the line determined by the center and the focus. That point coincides with the intersection of the diagonals of any quadrilateral inscribed in the circle and circumscribed about the parabola. In particular, for a given circle and a confocal pencil of parabolas with the focus different than the center of the circle, there is a unique parabola for which there exists a quadrilateral circumscribed about it and inscribed in the circle.

Vladimir Dragović Mohammad Hassan Murad http://arxiv.org/abs/2501.17293v1 2025-01-28T20:50:08Z 2025-01-28T20:50:08Z

In the 1970s, structural Ramsey theory emerged as a new branch of combinatorics. This development came with the isolation of the concepts of the $\mathbf{A}$-Ramsey property and Ramsey class. Following the influential Ne\v{s}et\v{r}il-R\"{o}dl theorem, several Ramsey classes have been identified. In the 1980s Ne\v{s}et\v{r}il, inspired by a seminar of Lachlan, discovered a crucial connection between Ramsey classes and Fra\"{\i}ss\'{e} classes and, in his 1989 paper, connected the classification programme of homogeneous structures to structural Ramsey theory. In 2005, Kechris, Pestov, and Todor\v{c}evi\'{c} revitalized the field by connecting Ramsey classes to topological dynamics. This breakthrough motivated Ne\v{s}et\v{r}il to propose a program for classifying Ramsey classes. We review the progress made on this program in the past two decades, list open problems, and discuss recent extensions to new areas, namely the extension property for partial automorphisms (EPPA), and big Ramsey structures.

Jan Hubička Matěj Konečný http://arxiv.org/abs/2502.06792v1 2025-01-25T22:24:51Z 2025-01-25T22:24:51Z

We discuss the significance of some interesting results by Barbara Rokowska about combinatorial constructions. Her interest in finite mathematics and number theory began with an embellishment and detailing of some work by Erdos. Rokowska and Schinzel then solved the problem posed by Paul Erdos concerning the existence of prime numbers of a certain kind. Her subsequent work highlighted the difficulty in constructing Steiner systems with certain properties and showed the importance of rigorous proof techniques in this area of mathematics. This is the first such summary of the main results obtained by Rokowska, her collaborators and PhD students. A biography of Barbara Rokowska has been added as an appendix.

Krzysztof J. Szajowski 28 pages, 8 figures http://arxiv.org/abs/2502.06790v1 2025-01-25T02:45:24Z 2025-01-25T02:45:24Z

In this work, we study the maximum scores that can be achieved in a team-based domino game. Specifically, we show that if the game ends because it is blocked, then the maximum score that can be obtained under this assumption is 107. -- En este trabajo estudiamos los puntajes m\'aximos que se pueden obtener en una partida, por equipos, en el juego del domin\'o. Concretamente; nosotros mostramos que, si la partida termina porque el juego esta trancado, entonces el puntaje m\'aximo que se puede obtener bajo este supuesto es de 107.

Carlos E. Parra Eugenio Trucco in Spanish language http://arxiv.org/abs/2202.11211v3 2025-01-23T21:24:03Z 2022-02-22T22:11:27Z

The first two installments of this series of papers dealt with the maximum area polygons: Parallelogram, Rectangle, Square or Equilateral Triangle, in given triangles. Minimum area polygons were also considered in the second paper on Equilateral Triangles. In this paper the puzzle will be turned the other way around. Given the regular unit polygons, a Square, Pentagon, or Hexagon, we searched for the smallest area triangle(s) which contains it. The Dynamic Software Sketchpad v5.10 BETA was used for all examples and figures throughout the work.

James M Parks 6 pages, 18 figures, 11 examples, 3 Theorem/puzzles http://arxiv.org/abs/2501.13548v1 2025-01-23T10:48:41Z 2025-01-23T10:48:41Z

We present a simple elementary recursive representation of the so called Faulhaber series $\sum_{k=1}^n k^N$ for integer $n$ and $N$, without reference to Bernoulli numbers or polynomials.

Dietmar Pfeifer 93 pages http://arxiv.org/abs/2501.12978v1 2025-01-22T16:05:59Z 2025-01-22T16:05:59Z

This paper introduces a novel approach to understanding Galois theory, one of the foundational areas of algebra, through the lens of machine learning. By analyzing polynomial equations with machine learning techniques, we aim to streamline the process of determining solvability by radicals and explore broader applications within Galois theory. This summary encapsulates the background, methodology, potential applications, and challenges of using data science in Galois theory. More specifically, we design a neurosymbolic network to classify Galois groups and show how this is more efficient than usual neural networks. We discover some very interesting distribution of polynomials for groups not isomorphic to the symmetric groups and alternating groups.

Elira Shaska Tony Shaska http://arxiv.org/abs/2501.12366v1 2025-01-21T18:45:43Z 2025-01-21T18:45:43Z

The "Mathematics in Three Acts" approach, proposed by Dan Meyer, aims to transform the teaching of mathematics through a model that encourages active student participation, fostering creativity, problem-solving, and metacognition. This study explores the implementation of this approach in a mathematics contest for secondary school students, evaluating its impact on various key competencies. Aspects such as mathematical creativity, problem-solving skills, metacognitive abilities, and students' perceptions of mathematics are examined. The results show that the approach contributes to the development of creative skills, improves understanding and problem-solving abilities, and increases student motivation and confidence. However, areas for improvement are also identified, particularly in the justification of procedures and cognitive flexibility. This study highlights the effectiveness of the "Mathematics in Three Acts" approach as an innovative methodology that fosters more meaningful, reflective, and autonomous learning, suggesting its potential to transform mathematics teaching in diverse educational contexts.

Felix De la Cruz Serrano 36 paginas, in Spanish language http://arxiv.org/abs/2201.08352v4 2025-01-21T16:38:56Z 2022-01-20T18:35:57Z

In this paper we continue the investigation of finding the max/min polygons which can be inscribed in a given triangle. Here we are concerned with equilateral triangles. This may seem uninteresting or benign at first, but there are some surprises later.

James M Parks 8 pages, 15 figures, 1 chart, 6 puzzles http://arxiv.org/abs/2501.10823v1 2025-01-18T16:58:36Z 2025-01-18T16:58:36Z

We report on the process of taking an early 2000's mathematical library, the Small Phylogenetic Trees, and transforming it into a FAIR, modern, and sustainable repository for data from algebraic phylogenetics. This process is based on a three-fold strategy: (1) writing a software package which enables the user to reproduce results of the database; (2) setting up a user-friendly new website with cross links to theoretical publications, code snippets, and serialized output of computations; and (3) all-the-while documenting the steps we take in order to derive lessons learned which may be generalised to other such projects. This paper addresses (3). (1) is found in https://docs.oscar-system.org/dev/Experimental/AlgebraicStatistics/phylogenetics, and (2) is located at https://algebraicphylogenetics.org.

Tabea Bacher Marina Garrote-López Christiane Görgen Marius Neubert 10 pages, 3 figures, Version 0.1 of https://algebraicphylogenetics.org will be launched on Jan 24