Related papers: Morikawa's Unsolved Problem
We resolve the complexity of the point-boundary variant of the art gallery problem, showing that it is $\exists\mathbb{R}$-complete, meaning that it is equivalent under polynomial time reductions to deciding whether a system of polynomial…
Miura-Ori, a celebrated origami pattern that facilitates functionality in matter, has found multiple applications in the field of mechanical metamaterials. Modifications of Miura-Ori pattern can produce curved configurations during folding,…
In previous work, we introduced a version of the Fukaya algebra associated to a degeneration of a symplectic manifold, whose structure maps count collections of maps in the components of the degeneration satisfying matching conditions. In…
Algebraic quantization has been applied on the class of globally hyperbolic spacetime for many decades, leading to remarkable results. Nonetheless, the presence of a boundary calls for a separate treatment, since, in general, it breaks…
In 2018, Legrand and Paran proved a weaker form of the Inverse Galois Problem for all Hilbertian fields and all finite groups: that is, there exist possibly non-Galois extensions over given Hilbertian base field with given finite group as…
By exploiting the arithmetic homotopy of the moduli spaces of curves, Galois-Teichm\"uller theory stands at the interface of braid-mapping class groups and of anabelian geometry. Starting from the classical braid-theoretic construction of…
Over the past decade, we have designed six typefaces based on mathematical theorems and open problems, specifically computational geometry. These typefaces expose the general public in a unique way to intriguing results and hard problems in…
The perfect cuboid problem is an old famous unsolved problem in mathematics concerning the existence or non-existence of a rectangular parallelepiped whose edges, face diagonals, and space diagonal are of integer lengths. Recently Walter…
We classify all totally real number fields of degree at most 5 that admit a universal quadratic form with rational integer coefficients; in fact, there are none over the previously unsolved cases of quartic and quintic fields. This fully…
We present updates to the problems on Hirzebruch's 1954 problem list focussing on open problems, and on those where substantial progress has been made in recent years. We discuss some purely topological problems, as well as geometric…
How does an irreducible representation of a group behave when restricted to a subgroup? This is part of branching problems, which are one of the fundamental problems in representation theory, and also interact naturally with other fields of…
Icosoku is a challenging and interesting puzzle that exhibits highly symmetrical and combinatorial nature. In this paper, we pose the questions derived from the puzzle, but with more difficulty and generality. In addition, we also present a…
In this paper, an approach is developed to solve the three body problem involving masses which posses spherical symmetry. The problem dates back to the times of Poincare, and is undoubtedly one of the oldest of unsolved problems of…
The fundamental concepts in the Galois Theory are separable, normal and Galois field extensions. These concepts are central in proofs of the Galois Theory. In the paper, we introduce a new approach, a ring theoretic approach, to the Galois…
In this paper we revisit the following inverse problem: given a curve invariant under an irreducible finite linear algebraic group, can we construct an ordinary linear differential equation whose Schwarz map parametrizes it? We present an…
We study the Fourier--Mukai numbers of rational elliptic surfaces. As its application, we give an example of a pair of minimal 3-folds with Kodaira dimensions 1, $h^1(\mc O)=h^2(\mc O)=0$ such that they are mutually derived equivalent,…
A new class of noncommutative $k$-algebras (for $k$ an algebraically closed field) is defined and shown to contain some important examples of quantum groups. To each such algebra, a first order theory is assigned describing models of a…
We prove that every unconditionally closed subset of a free group is algebraic, thereby answering affirmatively a 76 years old problem of Markov for free groups. In modern terminology, this means that Markov and Zariski topologies coincide…
We give a hierarchial set of axioms for mathematical origami. The hierachy gives the fields of Pythagorean numbers, first discussed by Hilbert, the field of Euclidean constructible numbers which are obtained by the usual constructions of…
We construct a compatible family of global cohomology classes (an Euler system) for the symmetric square of a modular form, and apply this to bounding Selmer groups of the symmetric square Galois representation and its twists.