http://arxiv.org/api/ZF618roZTOEzk8kBOtZANZtnnjs 2025-04-22T00:00:00-04:00 3862 105 15 http://arxiv.org/abs/2406.16705v2 2025-01-17T10:02:01Z 2024-04-22T07:44:29Z

In this expository paper we present some ideas of algebraic topology (more precisely, of homology theory) in a language accessible to non-specialists in the area. A $1$-cycle in a graph is a set $C$ of edges such that every vertex is contained in an even number of edges from $C$. It is easy to check that the sum (modulo $2$) of $1$-cycles is a $1$-cycle. We start from the following problems: to find $\bullet$ the number of all $1$-cycles in a given graph; $\bullet$ a small number of $1$-cycles in a given graph such that any $1$-cycle is the sum of some of them. We consider generalizations (of these problems) to graphs with symmetry, to $2$-cycles in $2$-dimensional hypergraphs, and to certain configuration spaces of graphs (namely, to the square and the deleted square).

A. Miroshnikov O. Nikitenko A. Skopenkov 34 pages, in Russian language, 20 figures http://arxiv.org/abs/2501.09448v1 2025-01-16T10:22:45Z 2025-01-16T10:22:45Z

In the present chapter, we obtain the reconstruction of Theaetetus' theory of ratios of magnitudes based, according to Aristotle's Topics 158b, on the definition of proportion in terms of equal anthyphairesis. Our reconstruction is built on the anthyphairetic interpretation of the notoriously difficult Theaetetus 147d6-e1 passage on Theaetetus' mathematical discovery of quadratic incommensurabilities, itself based on the traces it has left on Plato's philosophical definition of Knowledge in his dialogues Theaetetus, Sophist and Meno. Contrary to earlier reconstructions by Becker, van der Waerden and Knorr, our reconstruction reveals a theory that (a) applies only to the restricted class of pairs of magnitudes whose anthyphairesis is finite or eventually periodic, and (b) avoids the problematic use of Eudoxus' definition 4 of Book V of Euclid's Elements. The final version of this paper will appear as a chapter in the book Essays on Topology: Dedicated to Valentin Po\'enaru, ed. L. Funar and A. Papadopoulos, Springer, 2025.

Stelios Negrepontis Dimitrios Protopapas http://arxiv.org/abs/2501.08830v1 2025-01-15T14:32:46Z 2025-01-15T14:32:46Z

In this work, we offer a historical stroll through the vast topic of binary quadratic forms. We begin with a quick review of their history and then an overview of contemporary algebraic developments on the subject.

Ayberk Zeytin Dedicated to Athanase Papadopoulos for the occasion of his 65th birthday http://arxiv.org/abs/2501.17870v1 2025-01-15T13:46:25Z 2025-01-15T13:46:25Z

Infinitary Combinatorics shows interesting contrasts, with many similarities but also several important differences with its finite analog. The purpose of this paper is to present some concrete examples, both of similarities and of radical differences, in order to provide some intuition about the behaviour of infinity in the combinatorial setting. Our examples are taken from the branch of mathematics known as Graph Theory. -- La combinatoria infinita (tem\'atica que, a ra\'{\i}z del trabajo de Cantor, actualmente es posible estudiar de manera completamente formal) nos presenta un interesante contraste de semejanzas y diferencias con su an\'alogo finito. El prop\'osito de este art\'{\i}culo es presentar algunos ejemplos concretos tanto de semejanzas, como de diferencias radicales, para proporcionar cierta intuici\'on acerca del comportamiento del infinito en el \'ambito combinatorio. Nuestros ejemplos son tomados de la rama de las matem\'aticas conocida como Teor\'{\i}a de Gr\'aficas.

David J. Fernández-Bretón Jesús A. Flores Hinostrosa V. Adrián Meza-Campa L. Gerardo Núñez Olmedo 38 pages, in Spanish http://arxiv.org/abs/2501.08762v1 2025-01-15T12:31:29Z 2025-01-15T12:31:29Z

Back in 1755, Euler explored an interesting array of numbers that now frequently appears in polynomial identities, combinatorial problems, and finite calculus, among other places. These numbers share a strong connection with well-known number families, such as those of Stirling, Bernoulli, and Fubini. Despite their importance, they often go unnoticed because of the lack of a specific name and standard notation. This paper aims to address this oversight by proposing an appropriate name and notation, aligned with established mathematical conventions, and supported by (we hope) strong enough arguments to facilitate their acceptance from the mathematical community.

Mircea Dan Rus 14 pages, 1 figure, 2 tables http://arxiv.org/abs/2501.08708v1 2025-01-15T10:49:23Z 2025-01-15T10:49:23Z

Unquestionably the greatest discovery of the Pythagoreans is the existence of incommensurable magnitudes, most probably the incommensurability of the diameter to the side of a square, but there is no agreement among historians of Greek mathematics on their method of proof. In this chapter we present novel arguments not only for an anthyphairetic reconstruction of the original Pythagorean proof of incommensurability, but also in favor of one that employs the Pythagorean Application of Areas in Excess and in fact Geometric Algebra. The main tool for this reconstruction is the restoration of Book II of the Elements to its original Pythagorean form. The final version of this paper will appear as a chapter in the book Essays on Geometry: Celebrating the 65th Birthday of Athanase Papadopoulos, ed. A. Muhammed Uluda\u{g} and A. Zeytin, Springer International Publishing, 2025.

Stelios Negrepontis Vassiliki Farmaki http://arxiv.org/abs/2201.02050v6 2025-01-13T21:30:29Z 2022-01-04T22:16:48Z

The objective here is to find the maximum polygon, in area, which can be enclosed in a given triangle, for the polygons: parallelograms, rectangles and squares. It will initially be assumed that the choices are inscribed polygons, that is all vertices of the polygon are on the sides of the triangle. This concept will be generalized later to include wedged polygons.

James M Parks 11 pages, 19 figures, 10 Puzzles http://arxiv.org/abs/2501.07660v1 2025-01-13T19:41:29Z 2025-01-13T19:41:29Z

In 1929 Jan Lukasiewicz used, apparently for the first time, his Polish notation to represent the operations of formal logic. This is a parenthesis-free notation, which also implies that logical functions are operators preceding the variables on which they act. In the 1980s, within the framework of research into mathematical models on the parallel processing of neural systems, a group of operators emerged -- neurally inspired and based on matrix algebra -- which computed logical operations automatically. These matrix operators reproduce the order of operators and variables of Polish notation. These logical matrices can also generate a three-valued logic with broad similarities to Lukasiewicz's three-valued logic. In this paper, a parallel is drawn between relevant formulas represented in Polish notation, and their counterparts in terms of neurally based matrix operators. Lukasiewicz's three-valued logic, shown in Polish notation has several points of contact with what matrices produce when they process uncertain truth vectors. This formal parallelism opens up scientific and philosophical perspectives that deserve to be further explored.

Eduardo Mizraji 9 pages http://arxiv.org/abs/2307.09998v5 2025-01-13T17:01:23Z 2023-07-19T14:13:02Z

This paper investigates how hallucination rates in Large Language Models (LLMs) may be controlled via a symbolic data generation framework, exploring a fundamental relationship between the rate of certain mathematical errors and types of input intervention. Specifically, we systematically generate data for a derivation generation task using a symbolic engine, applying targeted interventions to prompts to perturb features of mathematical derivations such as the surface forms of symbols, equational tree structures, and mathematical context. We then evaluate the effect of prompt interventions across a range of LLMs including fine-tuned T5 models, GPT, and LLaMa-based models. Our experiments suggest that T5-Large can outperform the few-shot performance of GPT-4 on various evaluation sets generated via the framework. However, an extensive evaluation based on human analysis, template-based error detection, and text generation metrics reveals model weaknesses beyond what the reference-based metrics singularly describe. We use these results to tie characteristic distributional footprints of interventions to the human evaluation of LLM derivation quality, potentially leading to significant control over fine-grained mathematical capabilities of language models with respect to specific types of errors.

Jordan Meadows Marco Valentino Andre Freitas AAAI 2025 (7 pages) http://arxiv.org/abs/2501.03352v3 2025-01-13T08:33:34Z 2025-01-06T19:35:05Z

This study aims to observe if the theorem prover Lean positively influences students' understanding of mathematical proving. To this end, we perform a pilot study concerning freshmen students at the University of Zurich (UZH). While doing so, we apply certain teaching methods and gather data from the volunteer students enrolled in the ``Foundations of Mathematics'' course. After eleven weeks of study covering some exercise questions implemented with Lean, we measure Lean students' performances in proving mathematical statements, compared to other students who are not engaged with Lean. For this measurement, we interview five Lean and four Non-Lean students and we analyze the scores of all students in the final exam. Finally, we check significance by performing a $t$-test for independent samples and the Mann-Whitney $U$-test.

Mattia Luciano Bottoni Alberto S. Cattaneo Elif Sacikara http://arxiv.org/abs/2501.07090v1 2025-01-13T06:53:40Z 2025-01-13T06:53:40Z

The properties of convex pentagonal monotiles in the 15 Type families and their tilings are summarized. The Venn diagrams of the 15 Type families are also shown.

Teruhisa Sugimoto 22 pages, 19 figures. arXiv admin note: text overlap with arXiv:2404.00534 http://arxiv.org/abs/2501.13935v1 2025-01-10T12:43:56Z 2025-01-10T12:43:56Z

The Netflix problem (from machine learning) asks the following. Given a ratings matrix in which each entry $(i,j)$ represents the rating of movie $j$ by customer $i$, if customer $i$ has watched movie $j$, and is otherwise missing, we would like to predict the remaining entries in order to make good recommendations to customers on what to watch next. The remaining entries are predicted so as to minimize the {\it rank} of the completed matrix. In this survey we study a more general problem, in which instead of knowing specific matrix elements, we know linear relations on such elements. We describe applications of these results to embeddings of graphs in surfaces (more precisely, embeddings with rotation systems, and embeddings modulo 2).

S. Dzhenzher T. Garaev O. Nikitenko A. Petukhov A. Skopenkov A. Voropaev 21 pages, 6 figures http://arxiv.org/abs/2111.14633v9 2025-01-10T10:18:29Z 2021-11-25T11:59:36Z

This text is a support for different courses of the master of Mechanics of the University Paris-Saclay. The content of this text is an introduction, for graduate students, to tensor algebra and analysis. Far from being exhaustive, the text focuses on some subjects, with the intention of providing the reader with the main algebraic tools necessary for a modern course in continuum mechanics. The presentation of tensor algebra and analysis is intentionally done in Cartesian coordinates, that are normally used for classical problems. Then, an entire chapter is devoted to the passage to curvilinear coordinates and to the formalism of co- and contra-variant components. The tensor theory and results are specially applied to introduce some subjects concerning differential geometry of curves and surfaces. Also in this case, the presentation is mainly intended for applications to continuum mechanics.

Paolo Vannucci 179 pages, 7 chapters, more than 100 exercices with solutions, 49 figures http://arxiv.org/abs/2302.02449v2 2025-01-10T09:17:53Z 2023-02-05T18:21:36Z

This paper examines various methods and ideas for humanizing mathematics. The term 'humanizing mathematics' which includes elements of 'aesthetic mathematics' refers to approaches that emphasize the aesthetic, philosophical, and subjective dimensions of mathematics. These approaches aim to make mathematics humanize. It proposes novel directions in mathematics, stressing that the ideas presented here are provisional. Furthermore, it argues that mathematics can take multiple humanized forms. Even traditional mathematics can be interpreted as a form of humanized mathematics. To support this perspective, several mathematical observations are provided. Additionally, a general approach to addressing the Riemann Hypothesis, focusing on proof by contradiction and mathematical logic, particularly model theory, is outlined. The paper also briefly reflects on my prior research through this idea on humanization and concludes with general remarks and future directions.

Takao Inoué 8 pages http://arxiv.org/abs/2406.10147v2 2025-01-09T16:10:51Z 2024-06-14T15:59:33Z

Despite the extensive amount of scholarly work done on Indian mathematics in the last 200 years, the conditions under which it originated and evolved is still not clear. Often, one reads the ancient texts with the present concepts and methods in mind. The fact of absence of script over a long stretch of Indian history in ancient times also gets overlooked in such readings. The purpose of this article is to explore the journey of mathematics by examining what the ancient texts tell us about the nature of mathematics in their times. What one finds from the investigation of arithmetic, geometry and algebra is that while it was concrete and context bound, rooted in solving practical problems in ancient times, Indian mathematics transitioned to context free, abstract stage with the advent of algebra supported by writing.

Jaidev Dasgupta Revised, 21 pages, 3 figures