A survey on Hedetniemi's conjecture

2025-02-22T04:43:35Z

In 1966, Hedetniemi conjectured that for any positive integer $n$ and graphs $G$ and $H$, if neither $G$ nor $H$ is $n$-colourable, then $G \times H$ is not $n$-colourable. This conjecture has received significant attention over the past half century, and was disproved by Shitov in 2019. Shitov's proof shows that Hedetniemi's conjecture fails for sufficiently large $n$. Shortly after Shitov's result, smaller counterexamples were found in a series of papers, and it is now known that Hedetniemi's conjecture fails for all $n \ge 4$, and holds for $n \le 3$. Hedetniemi's conjecture has inspired extensive research, and many related problems remain open. This paper surveys the results and problems associated with the conjecture, and explains the ideas used in finding counterexamples.

Bernstein polynomials: a bibliometric data analysis since the year 1949 based on the Scopus database

2025-02-21T23:46:47Z

It's hard to imagine human life in the digital and AI age without polynomials because they are everywhere but mostly invisible to ordinary people: in data trends, on computer screens, in the shapes around us, and in the very fabric of technology. One of these, the simple but elegant Bernstein polynomials, was discovered by a scientist from the Russian Empire, Sergei Bernstein, in 1912 and plays a central role in mathematical analysis, computational and applied mathematics, geometric modelling, computer-aided geometric design, computer graphics and other areas of science and engineering. They have been the sub-ject of much research for over a hundred years. However, no work has carried out database-derived research analysis, such as bibliometric, keyword or network analysis, or more generally, data analysis of manuscript data related to Bernstein polynomials extracted from digital academic databases. This work, which appears to be the first-ever attempt at the bibliometric data analysis of Bernstein polynomials, aims to fill this gap and open researchers' eyes to potentially new or underexplored areas of mathematics and engineering where Bernstein polynomials may one day be used to make discoveries. The results may be helpful to academics researching Bernstein polynomials and looking for potential applications, collaborators, supervisors, funding or journals to publish in.

Hegel and Modern Topology

2025-02-21T14:34:27Z

In this paper we show how some fundamental concepts of modern topology can be understood philosophically in the light of Hegel's Logic as well how modern topological concepts can provide concrete illustrations of many of the concepts and deductions that Hegel used. This paper can be seen as a continuation of our paper \cite{pro} where we argued that the prototypes of many fundamental notions of modern topology were already found in Aristotle's Physics.

Indigenous Mathematics I. Smoke Telegraphy

2025-02-21T10:07:14Z

This article is the first in an occasional series for the Australian Mathematical Society Gazette on diverse aspects and topics of Indigenous mathematical knowledge. This is an important, but neglected, part of the mathematical heritage of humankind, and as such is the concern of the mathematics community as a whole. It is hoped that this and future articles may help to inspire mathematics researchers, students, and educators at tertiary and school levels who are seeking to widen their mathematical horizons and develop course and research materials of broad cultural relevance. I would like to honour the Mithaka peoples of the Kurrawoolben and Kirrenderri (Diamantina) and Nooroondinna (Georgina) river channel country of south-western Qld, Australia. The material in this article does not involve culturally restricted knowledge or images, and is shared with respect for the Mithaka ancestors and their descendants.

Testing GPT-4 with Wolfram Alpha and Code Interpreter plug-ins on math and science problems

2025-02-20T15:16:06Z

This report describes a test of the large language model GPT-4 with the Wolfram Alpha and the Code Interpreter plug-ins on 105 original problems in science and math, at the high school and college levels, carried out in June-August 2023. Our tests suggest that the plug-ins significantly enhance GPT's ability to solve these problems. Having said that, there are still often "interface" failures; that is, GPT often has trouble formulating problems in a way that elicits useful answers from the plug-ins. Fixing these interface failures seems like a central challenge in making GPT a reliable tool for college-level calculation problems.

An elementary algebraic proof of the fundamental theorem of algebra

2025-02-18T20:45:06Z

We give a new proof of the fundamental theorem of algebra. It is entirely elementary, focused on using long division to its fullest extent. Further, the method quickly recovers a more general version of the theorem recently obtained by Joseph Shipman.

Network visualisations related to special functions based on the Scopus data since 1940

2025-02-18T14:26:02Z

Special functions are essential in theoretical and applied mathematics and have various applications in the applied sciences. Mathematicians have studied them for centuries, but there is still no bibliometric analysis that summarises the datasets of publications showing different network visualisations, such as co-author and keyword visualisations, basic keyword statistics and other data analyses. This work appears to be the first attempt to fill this gap by presenting different network visualisations based on 4025 documents with the keyword "special function" in their title, abstract or keywords belonging to the field of mathematics in the Scopus database. We also show that special functions are rarely used in geometric modelling, a mathematical foundation for CAD, industrial design, architecture, and other applied fields, and we discuss how different visualisations for special functions can be generated in the Julia programming language. The generated image and video visualisations can be helpful to academics to see the impact of different authors, to define their new research topics, to see connections or lack thereof between various topics, to find the most popular special functions, or for teaching purposes to show the importance of special functions and links to other topics in modern pure and applied mathematics and other sciences.

Computational and Algebraic Structure of Board Games

2025-02-18T00:52:37Z

We provide two methodologies in the area of computation theory to solve optimal strategies for board games such as Xi Gua Qi and Go. From experimental results, we find relevance to graph theory, matrix representation, and mathematical consciousness. We prove that the decision strategy of movement for Xi Gua Qi and Chinese checker games belongs to a subset that is neither a ring nor a group over set Y={-1,0,1}. Additionally, the movement for any board game with two players belongs to a subset that is neither a ring nor a group from the razor of Occam. We derive the closed form of the transition matrix for any board game with two players such as chess and Chinese chess. We discover that the element of the transition matrix belongs to a rational number. We propose a different methodology based on algebra theory to analyze the complexity of board games in their entirety, instead of being limited solely to endgame results. It is probable that similar decision processes of people may also belong to a matrix representation that is neither a ring nor a group.

Eigenvalues in microeconomics

2025-02-17T20:30:52Z

Square matrices often arise in microeconomics, particularly in network models addressing applications from opinion dynamics to platform regulation. Spectral theory provides powerful tools for analyzing their properties. We present an accessible overview of several fundamental applications of spectral methods in microeconomics, focusing especially on the Perron-Frobenius Theorem's role and its connection to centrality measures. Applications include social learning, network games, public goods provision, and market intervention under uncertainty. The exposition assumes minimal social science background, using spectral theory as a unifying mathematical thread to introduce interested readers to some exciting current topics in microeconomic theory.

Please, do tell

2025-02-17T18:21:35Z

"Math is not a spectator sport." "Lecturing is educational malpractice." Slogans like these rally some mathematicians to teach classes that feature "active learning", where lecturing is eschewed for student participation. Yet as much as I believe that students must do math to learn math, I also find blanket statements to be more about bandwagons than considered reflection on teaching. In this column, published in the Fall 2021 AWM Newsletter, I urge us to think through the math we offer students and how we set up students to learn. Although I draw primarily from my experiences teaching proofs in abstract algebra and real analysis, the scenarios extend to other topics in first year undergraduate education and beyond.

On the robustness of ChatGPT in teaching Korean Mathematics

2025-02-17T15:31:27Z

ChatGPT, an Artificial Intelligence model, has the potential to revolutionize education. However, its effectiveness in solving non-English questions remains uncertain. This study evaluates ChatGPT's robustness using 586 Korean mathematics questions. ChatGPT achieves 66.72% accuracy, correctly answering 391 out of 586 questions. We also assess its ability to rate mathematics questions based on eleven criteria and perform a topic analysis. Our findings show that ChatGPT's ratings align with educational theory and test-taker perspectives. While ChatGPT performs well in question classification, it struggles with non-English contexts, highlighting areas for improvement. Future research should address linguistic biases and enhance accuracy across diverse languages. Domain-specific optimizations and multilingual training could improve ChatGPT's role in personalized education.

Explaining Necessary Truths

2025-02-16T20:11:39Z

Knowing the truth is rarely enough -- we also seek out reasons why the fact is true. While much is known about how we explain contingent truths, we understand less about how we explain facts, such as those in mathematics, that are true as a matter of logical necessity. We present a framework, based in computational complexity, where explanations for deductive truths co-emerge with discoveries of simplifying steps during the search process. When such structures are missing, we revert, in turn, to error-based reasons, where a (corrected) mistake can serve as fictitious, but explanatory, contingency-cause: not making the mistake serves as a reason why the truth takes the form it does. We simulate human subjects, using GPT-4o, presented with SAT puzzles of varying complexity and reasonableness, validating our theory and showing how its predictions can be tested in future human studies.

Proof of the Goldbach's Strong Conjecture by Using Semi-Continuous Model of Even Numbers

2025-02-16T18:11:36Z

In this paper, we present an explicit and analytic proof for still unproven Goldbach's strong conjecture. To derive this proof, we first define a heuristic model for representing even numbers called Semi-continuous Model for Even Numbers or briefly S.C.E Model, and then we employ this model along with using the inequality \begin{center} $\dfrac{x}{\ln x}\leq_{x\geq 17}\pi(x)\leq_{x>1}1.2251\dfrac{x}{\ln x}$, \end{center} where $\pi(x)$ denotes the number of all primes smaller than and equal to $x$, and is presented by Pierre Dusart in his paper [P. Dusart, \textit{Explicit estimates of some functions over primes}, Ramanujan J. \textbf{45} (2016), No. 1, 227--251]. On the one hand, this proof is given for all even numbers $E\geq22864$. On the other hand, since the assertion of Goldbach's strong conjecture is easy to verify for all even numbers $4\leq E<22864$, we turn this conjecture into a theorem.

How did Fermat discover his theorem?

2025-02-16T15:30:56Z

In 1640 Pierre de Fermat discovered his theorem that if $p$ is prime and $a$ is not divisible by $p$, then $a^{p-1}-1$ is divisible by $p$; or, as we write today, $a^{p-1}\equiv1\pmod{p}$. This is perhaps the first and the most important surprising property ever discovered about primes. There is little in number theory that is not dependent on it or intertwined with it, and its significance is amply demonstrated by the fact that today, almost four centuries later, Fermat's theorem provides the mathematical foundation for the RSA cryptosystem, which is still central to society's communications security even after several decades serving as its heart. Fermat's theorem is totally unexpected and truly astonishing. So why and how did he discover it? We know that Fermat was studying perfect numbers from classical Greek mathematics. But exactly how did that lead to his discovery? The secret lies in patterns in prime factorizations of Mersenne numbers, and Fermat's letters reveal hints of his path. We can reconstruct details of how Mersenne numbers led to Fermat's discoveries.

Of pashas, popes, and indivisibles

2025-02-16T14:26:36Z

The studies of Bonaventura Cavalieri's indivisibles by Giusti, Andersen, Mancosu and others provide a comprehensive picture of Cavalieri's mathematics, as well as of the mathematical objections to it as formulated by Paul Guldin and other critics. An issue that has been studied in less detail concerns the theological underpinnings of the contemporary debate over indivisibles, its historical roots, the geopolitical situation at the time, and its relation to the ultimate suppression of Cavalieri's religious order. We analyze sources from the 17th through 21st centuries to investigate such a relation.