A newly-generalized problem from a problem for the Mathematical Olympiad and the methods to solve it

Yasushi Ieno

DOI: https://doi.org/10.48550/arXiv.2012.12655

2020-12-22

General Mathematics

Abstract:A newly-generalized problem from a problem initially thought for the Mathematical Olympiad and the methods to solve it.

What problem does this paper attempt to address?

Generalisation of an IMO Geometry Problem

Dina Kamber Hamzić,László Németh,Zenan Šabanac

2024-08-02

Abstract:In this paper, we generalise an interesting geometry problem from the 1995 edition of the International Mathematical Olympiad (IMO) using analytic geometry tools.

Metric Geometry
A curriculum for mathematical competitions

José Heber Nieto-Said,Rafael Sánchez-Lamoneda

DOI: https://doi.org/10.1007/s11858-022-01389-9

2022-06-25

Abstract:In this paper, we consider mathematical competitions for pre-university students, such as the International Mathematical Olympiad (IMO) and many national and regional Olympiads following a similar model. The problems proposed in these contests must be solvable by 'elementary' methods (i.e., without using calculus) and belong traditionally to four areas, namely, algebra, combinatorics, geometry, and number theory. Usually there is no explicit curriculum prescribing what parts of these subjects may be involved in the problems, however there is a hidden curriculum (HC) that may be deduced from the problems proposed and from what is considered a complete solution. In this paper, we try to characterize this HC showing typical problems, subjects, solutions, and strategies for each of the main areas. We also make a comparison of the HC with the traditional secondary school curriculum (SSC), with the following two goals: (1) to identify the main points that should be addressed in the preparation of students aspiring to participate in mathematical competitions, and (2) to suggest possible changes to it and diminish the gap between school and contemporary mathematics.

education & educational research
Generalizations of noncommutative Noether's problem

João Schwarz

2024-05-25

Abstract:Noether's problem is classical and very important problem in algebra. It is an intrinsically interesting problem in invariant theory, but with far reaching applications in the sutdy of moduli spaces, PI-algebras, and the Inverse problem of Galois theory, among others. To obtain an noncommutative analogue of Noether's problem, one would need a significant skew field that shares a role similar to the field of ratioal functions. Given the importance of the Weyl fields due to Gelfand-Kirillov's Conjecture, in 2006 J. Alev and F. Dumas introduced what is nowdays called the noncommutative Noether's problem. Many papers in recent years \cite{FMO}, \cite{EFOS}, \cite{FS}, \cite{Tikaradze} have been dedicated to the subject. The aim of this article is to generalize the main result of \cite{FS} for more general versions of Noether's problem; and consider its analogue in prime characteristic.

Rings and Algebras
Challenging Theorem Provers with Mathematical Olympiad Problems in Solid Geometry

Changpeng Shao,Hongbo Li,Lei Huang

DOI: https://doi.org/10.1007/s11786-016-0256-2

2016-01-01

Mathematics in Computer Science

Abstract:Mathematical Olympiad problems can be used to evaluate the performance of theorem provers. In the encyclopedia (Wu et al. in The Dictionary of International Mathematical Olympiads, Volume of Geometry. Hebei Children Press, Shijiazhuang, 2012 ) there are 207 Mathematical Olympiad contest problems in solid geometry collected around the world and ranging over one century, among which 97 problems can be used to test algebraic provers of equality type. Three general-purpose theorem proving methods are used in the test: the characteristic set method, the Gröbner basis method, and the vector algebra method. 91 out of the 97 problems are proved by the provers, and some contest problems are found to need additional specification to be correct. The proving efficiency and geometric interpretability of the additional non-degeneracy conditions for the 91 problems by the three provers are compared.
A generalized initial value problem for ODE's

Andrés García,Juan Andrés Roteta Lannes

DOI: https://doi.org/10.48550/arXiv.2206.05769

2022-06-12

Abstract:This paper introduces, up to the author's knowledge, for the first time the generalized initial value problem. In this problem, given an ordinary differential equation defined in some set, the initial conditions are mapped to a subset of that domain. This generalization allows some systems to radically change their properties, in fact some obstructions to asymptotic stability are get rid of by mapping the initial conditions set using modularity.

Dynamical Systems
A Mathematical Benchmark for Inductive Theorem Provers

Thibault Gauthier,Chad E. Brown,Mikolas Janota,Josef Urban

2023-04-06

Abstract:We present a benchmark of 29687 problems derived from the On-Line Encyclopedia of Integer Sequences (OEIS). Each problem expresses the equivalence of two syntactically different programs generating the same OEIS sequence. Such programs were conjectured by a learning-guided synthesis system using a language with looping operators. The operators implement recursion, and thus many of the proofs require induction on natural numbers. The benchmark contains problems of varying difficulty from a wide area of mathematical domains. We believe that these characteristics will make it an effective judge for the progress of inductive theorem provers in this domain for years to come.

Logic in Computer Science
Proving Olympiad Algebraic Inequalities without Human Demonstrations

Chenrui Wei,Mengzhou Sun,Wei Wang

2024-10-31

Abstract:Solving Olympiad-level mathematical problems represents a significant advancement in machine intelligence and automated reasoning. Current machine learning methods, however, struggle to solve Olympiad-level problems beyond Euclidean plane geometry due to a lack of large-scale, high-quality datasets. The challenge is even greater in algebraic systems, which involve infinite reasoning spaces within finite conditions. To address these issues, we propose AIPS, an Algebraic Inequality Proving System capable of autonomously generating complex inequality theorems and effectively solving Olympiad-level inequality problems without requiring human demonstrations. During proof search in a mixed reasoning manner, a value curriculum learning strategy on generated datasets is implemented to improve proving performance, demonstrating strong mathematical intuitions. On a test set of 20 International Mathematical Olympiad-level inequality problems, AIPS successfully solved 10, outperforming state-of-the-art methods. Furthermore, AIPS automatically generated a vast array of non-trivial theorems without human intervention, some of which have been evaluated by professional contestants and deemed to reach the level of the International Mathematical Olympiad. Notably, one theorem was selected as a competition problem in a major city 2024 Mathematical Olympiad.

Artificial Intelligence
An Indirect Method for Solving Combinatorial Problems

Margarita Shevtsova,Alexei Kanel-Belov,Mehdi Golafshan

DOI: https://doi.org/10.48550/arXiv.2302.09761

2023-02-20

History and Overview

Abstract:This article introduces a pedagogical method for {\it solving combinatorial problems} that frequently involve structures that are unfamiliar or less familiar. Indeed, an indirect method has been proposed in order to evade any possible questions that might obstruct our path to the correct answer and final solution. With this method, the desired configuration can be formulated. This method is effective for solving problems in Olympiads and mathematical competitions as well as for teaching combinations and counting science in the elementary school mathematics curriculum.
A Mathematical Model of Go Upstairs and Its Solving

Yan Zhidan,Wang Wei

DOI: https://doi.org/10.3969/j.issn.1009-0568.2009.04.008

2009-01-01

Abstract:The problem of going upstairs is a classic mathematical problem which often appeared in mathematical contest of various kinds.In this paper,the problem of going upstairs is analyzed in depth by the use of linear algebra and combinatorial mathematics.The general formula of the problem is obtained in three cases.
Generalized Set-valued Nonlinear Variational-like Inequalities and Fixed Point Problems: Existence and Approximation Solvability Results

Chang, Shih-sen

DOI: https://doi.org/10.1007/s10957-023-02182-8

2023-03-12

Journal of Optimization Theory and Applications

Abstract:The paper is devoted to the introduction of a new class of generalized set-valued nonlinear variational-like inequality problems in the setting of Banach spaces. By means of the notion of P - -proximal mapping, we prove its equivalence with a class of generalized implicit Wiener–Hopf equations and employ the obtained equivalence relationship and Nadler's technique to suggest a new iterative algorithm for finding an approximate solution of the considered problem. The existence of solution and the strong convergence of the sequences generated by our proposed iterative algorithm to the solution of our considered problem are verified. The problem of finding a common element of the set of solutions of a generalized nonlinear variational-like inequality problem and the set of fixed points of a total asymptotically nonexpansive mapping is also investigated. The final section deals with the investigation and analysis of the main results appeared in Kazmi and Bhat (Appl Math Comput 166:164–180, 2005) and some comments relating to them are given. The results presented in this article extend and improve some known results in the literature.

mathematics, applied,operations research & management science
Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned

Belén Ariño-Morera,Zoltán Kovács,Tomás Recio,Piedad Tolmos

DOI: https://doi.org/10.4204/EPTCS.398.13

2024-01-22

Abstract:We address, through the automated reasoning tools in GeoGebra Discovery, a problem from a regional phase of the Austrian Mathematics Olympiad 2023. Trying to solve this problem gives rise to four different kind of feedback: the almost instantaneous, automated solution of the proposed problem; the measure of its complexity, according to some recent proposals; the automated discovery of a generalization of the given assertion, showing that the same statement is true over more general polygons than those mentioned in the problem; and the difficulties associated to the analysis of the surprising and involved high number of degenerate cases that appear when using the LocusEquation command in this problem. In our communication we will describe and reflect on these diverse issues, enhancing its exemplar role for showing some of the advantages, problems, and current fields of development of GeoGebra Discovery.

Symbolic Computation,Artificial Intelligence,Computational Geometry
Generalization of nonlocally related partial differential equation systems: unknown symmetric properties and analytical solutions

Huanjin Wang,Qiulan Zhao,Xinyue Li

2024-01-26

Abstract:Symmetry, which describes invariance, is an eternal concern in mathematics and physics, especially in the investigation of solutions to the partial differential equation (PDE). A PDE's nonlocally related PDE systems provide excellent approaches to search for various symmetries that expand the range of its known solutions. They composed of potential systems based on conservation laws and inverse potential systems (IPS) based on differential invariants. Our study is devoted to generalizing their construction and application in three-dimensional circumstances. Concretely, the potential of the algebraic gauge-constrained potential system is simplified without weakening its solution space. The potential system is extended via nonlocal conservation laws and double reductions. Afterwards, nonlocal symmetries are identified in the IPS.\@ The IPS is extended by the solvable Lie algebra and type \Rmnum{2} hidden symmetries. Besides, systems among equations can be connected via Cole-Hopf transformation.\@ Ultimately, established and extended systems embody rich symmetric properties and unprecedented analytical solutions, and may even further facilitate general coordinate-independent analysis in qualitative, numerical, perturbation, etc., this can be illustrated by several Burgers-type equations.

Mathematical Physics,Exactly Solvable and Integrable Systems
Trigonometry and Analytic Tools in Olympiad Geometry Problems, Part I

Orestis Lignos

2023-12-11

Abstract:This is the first part of a series of papers aiming to show how trigonometry and analytic tools can help into tackling demanding Olympiad geometry problems. We present several novel techniques for tackling hard problems from various international and national mathematical competitions, and develop the appropriate theoretical background.

General Mathematics
Generalized Popoviciu's problem

Yu.G. Nikonorov,Yu.V. Nikonorova

DOI: https://doi.org/10.48550/arXiv.1806.03345

2018-06-07

Abstract:This is an English translation of the following paper, published several years ago: Nikonorov Yu.G., Nikonorova Yu.V. Generalized Popoviciu's problem (Russian), Tr. Rubtsovsk. Ind. Inst., 7, 229-232 (2000), Zbl. <a class="link-https" data-arxiv-id="0958.51021" href="https://arxiv.org/abs/0958.51021">0958.51021</a>. All inserted footnotes provide additional information related to the mentioned problem.

History and Overview
An Infeasible Homotopy Method for Solving Fixed Point Problems on a General Unbounded Set

Xiaona Fan,Furong Gao,Tingting Xu

DOI: https://doi.org/10.1007/s12190-014-0775-4

2014-01-01

Abstract:In this paper, we consider an infeasible homotopy method to solve fixed point problems on a general unbounded set. The method enlarges the choice scope of initial points by a perturbation on equality constraint. Under a new and weaker condition for the defining mapping \(\Phi \), a constructive proof of the existence of fixed points and the global convergence are obtained. The computational result illustrates that our method improves greatly the computational efficiency than the existing interior point homotopy methods.
A systematic approach to Diophantine equations: open problems

Bogdan Grechuk

2024-10-15

Abstract:This paper collects polynomial Diophantine equations that are amazingly simple to write down but are apparently difficult to solve.

General Mathematics
Generalized Optimization Modulo Theories

Nestan Tsiskaridze,Clark Barrett,Cesare Tinelli

2024-04-29

Abstract:Optimization Modulo Theories (OMT) has emerged as an important extension of the highly successful Satisfiability Modulo Theories (SMT) paradigm. The OMT problem requires solving an SMT problem with the restriction that the solution must be optimal with respect to a given objective function. We introduce a generalization of the OMT problem where, in particular, objective functions can range over partially ordered sets. We provide a formalization of and an abstract calculus for the generalized OMT problem and prove their key correctness properties. Generalized OMT extends previous work on OMT in several ways. First, in contrast to many current OMT solvers, our calculus is theory-agnostic, enabling the optimization of queries over any theories or combinations thereof. Second, our formalization unifies both single- and multi-objective optimization problems, allowing us to study them both in a single framework and facilitating the use of objective functions that are not supported by existing OMT approaches. Finally, our calculus is sufficiently general to fully capture a wide variety of current OMT approaches (each of which can be realized as a specific strategy for rule application in the calculus) and to support the exploration of new search strategies. Much like the original abstract DPLL(T) calculus for SMT, our Generalized OMT calculus is designed to establish a theoretical foundation for understanding and research and to serve as a framework for studying variations of and extensions to existing OMT methodologies.

Logic in Computer Science
Problem-posing triggers or where do mathematics competition problems come from?

Igor’ Kontorovich

DOI: https://doi.org/10.1007/s10649-020-09964-1

2020-09-11

Educational Studies in Mathematics

Abstract:Abstract Spurred by Kilpatrick’s (1987) “Where do good problems come from?”, this study explores problem-posing triggers of experienced problem posers for mathematics competitions. Triggers are conceived as instances of noticing, where an impulse draws a poser’s attention and “triggers off” a mathematical re-action, one of the outcomes of which is a creation of a problem that gets accepted to some mathematics competition. The data were collected from 26 problem posers residing in nine countries, and who had experience in creating problems for national, regional, and international competitions. Three types of triggers emerged from the analysis: (i) Instances where the participants extracted mathematical phenomena from activities that are replete with modern elementary mathematics. These triggers were described in emotionally loaded terms that resonated with appreciation, surprise, challenge, and feeling of innovation. (ii) Cases where the participants abstracted mathematical phenomena from common everyday-life tasks in which mathematical optimization was beneficial. These situations emphasized participants’ desire to compensate for self-disappointment with an initially made decision and the value of finding a better alternative. (iii) Situations where the participants were asked to pose a problem ‘here and now’. The posers were unanimous in their dislike of such situations. They elaborated on how difficult it is to pose ‘here and now’ and highlighted the low quality of the resulting problems. The findings are situated in the body of knowledge on expert problem posing and educational literature on school students and teachers.

education & educational research
On the Computational Complexity of Generalized Common Shape Puzzles

Mutsunori Banbara,Shin-ichi Minato,Hirotaka Ono,Ryuhei Uehara

2023-05-18

Abstract:In this study, we investigate the computational complexity of some variants of generalized puzzles. We are provided with two sets S_1 and S_2 of polyominoes. The first puzzle asks us to form the same shape using polyominoes in S_1 and S_2. We demonstrate that this is polynomial-time solvable if S_1 and S_2 have constant numbers of polyominoes, and it is strongly NP-complete in general. The second puzzle allows us to make copies of the pieces in S_1 and S_2. That is, a polyomino in S_1 can be used multiple times to form a shape. This is a generalized version of the classical puzzle known as the common multiple shape puzzle. For two polyominoes P and Q, the common multiple shape is a shape that can be formed by many copies of P and many copies of Q. We show that the second puzzle is undecidable in general. The undecidability is demonstrated by a reduction from a new type of undecidable puzzle based on tiling. Nevertheless, certain concrete instances of the common multiple shape can be solved in a practical time. We present a method for determining the common multiple shape for provided tuples of polyominoes and outline concrete results, which improve on the previously known results in puzzle society.

Computational Complexity,Computational Geometry
Generalizing Math Word Problem Solvers Via Solution Diversification

Zhenwen Liang,Jipeng Zhang,Lei Wang,Yan Wang,Jie Shao,Xiangliang Zhang

DOI: https://doi.org/10.1609/aaai.v37i11.26548

2023-01-01

Proceedings of the AAAI Conference on Artificial Intelligence

Abstract:Current math word problem (MWP) solvers are usually Seq2Seq models trained by the (one-problem; one-solution) pairs, each of which is made of a problem description and a solution showing reasoning flow to get the correct answer. However, one MWP problem naturally has multiple solution equations. The training of an MWP solver with (one-problem; one-solution) pairs excludes other correct solutions, and thus limits the generalizability of the MWP solver. One feasible solution to this limitation is to augment multiple solutions to a given problem. However, it is difficult to collect diverse and accurate augment solutions through human efforts. In this paper, we design a new training framework for an MWP solver by introducing a solution buffer and a solution discriminator. The buffer includes solutions generated by an MWP solver to encourage the training data diversity. The discriminator controls the quality of buffered solutions to participate in training. Our framework is flexibly applicable to a wide setting of fully, semi-weakly and weakly supervised training for all Seq2Seq MWP solvers. We conduct extensive experiments on a benchmark dataset Math23k and a new dataset named Weak12k, and show that our framework improves the performance of various MWP solvers under different settings by generating correct and diverse solutions.

A newly-generalized problem from a problem for the Mathematical Olympiad and the methods to solve it

Generalisation of an IMO Geometry Problem

A curriculum for mathematical competitions

Generalizations of noncommutative Noether's problem

Challenging Theorem Provers with Mathematical Olympiad Problems in Solid Geometry

A generalized initial value problem for ODE's

A Mathematical Benchmark for Inductive Theorem Provers

Proving Olympiad Algebraic Inequalities without Human Demonstrations

An Indirect Method for Solving Combinatorial Problems

A Mathematical Model of Go Upstairs and Its Solving

Generalized Set-valued Nonlinear Variational-like Inequalities and Fixed Point Problems: Existence and Approximation Solvability Results

Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned

Generalization of nonlocally related partial differential equation systems: unknown symmetric properties and analytical solutions

Trigonometry and Analytic Tools in Olympiad Geometry Problems, Part I

Generalized Popoviciu's problem

An Infeasible Homotopy Method for Solving Fixed Point Problems on a General Unbounded Set

A systematic approach to Diophantine equations: open problems

Generalized Optimization Modulo Theories

Problem-posing triggers or where do mathematics competition problems come from?

On the Computational Complexity of Generalized Common Shape Puzzles

Generalizing Math Word Problem Solvers Via Solution Diversification